user=mdettweiler [2012-02-02 00:12:58] 795*2^1003614-1 is not prime. Res64: ADFFA8A5BF257C20 Time : 0.0 sec. user=mdettweiler [2012-02-02 00:13:00] 797*2^1003614-1 is not prime. Res64: 0AA72843057497AF Time : 0.0 sec. user=mdettweiler [2012-02-02 00:13:16] 807*2^1003614-1 is not prime. Res64: D4CF227AEC2B8481 Time : 0.0 sec. user=mdettweiler [2012-02-02 00:13:18] 887*2^1003614-1 is not prime. Res64: 796000BF9196DB4D Time : 0.0 sec. user=mdettweiler [2012-02-02 00:17:33] 715*2^1003615-1 is not prime. Res64: B939136CF16A79FC Time : 0.0 sec. user=mdettweiler [2012-02-02 00:17:34] 759*2^1003615-1 is not prime. Res64: E5CA5E5171B8E3FA Time : 0.0 sec. user=mdettweiler [2012-02-02 00:20:59] 917*2^1003614-1 is not prime. Res64: EB7B5BD2F862431D Time : 0.0 sec. user=mdettweiler [2012-02-02 00:21:00] 947*2^1003614-1 is not prime. Res64: E5BFAE0C4D670561 Time : 0.0 sec. user=mdettweiler [2012-02-02 00:32:52] 855*2^1003615-1 is not prime. Res64: 53AC5CC501120FAF Time : 0.0 sec. user=mdettweiler [2012-02-02 00:32:53] 861*2^1003615-1 is not prime. Res64: 7DFE81518B1827F4 Time : 0.0 sec. user=mdettweiler [2012-02-02 00:35:29] 883*2^1003615-1 is not prime. Res64: FDBC2C710ECD4CA4 Time : 0.0 sec. user=mdettweiler [2012-02-02 00:35:30] 913*2^1003615-1 is not prime. Res64: C43DBC239F44B164 Time : 0.0 sec. user=mdettweiler [2012-02-02 00:36:38] 981*2^1003610-1 is not prime. Res64: 9D0A4C9A74A2DFD1 Time : 0.0 sec. user=mdettweiler [2012-02-02 00:36:39] 775*2^1003611-1 is not prime. Res64: 4F69596B1FDBF64F Time : 0.0 sec. user=mdettweiler [2012-02-02 00:40:47] 603*2^1003616-1 is not prime. Res64: 480DA27F26A8A3C2 Time : 0.0 sec. user=mdettweiler [2012-02-02 00:40:47] 623*2^1003616-1 is not prime. Res64: 331F2FD3D0C7795C Time : 0.0 sec. user=mdettweiler [2012-02-02 00:41:50] 919*2^1003615-1 is not prime. Res64: 72167C42BA65CD7D Time : 0.0 sec. user=mdettweiler [2012-02-02 00:41:50] 925*2^1003615-1 is not prime. Res64: 41D5EDA6CCAECC1E Time : 0.0 sec. user=mdettweiler [2012-02-02 00:52:41] 657*2^1003616-1 is not prime. Res64: 97FD14668B8D98D8 Time : 0.0 sec. user=mdettweiler [2012-02-02 00:52:42] 699*2^1003616-1 is not prime. Res64: 1AECF50D904CB7A9 Time : 0.0 sec. user=mdettweiler [2012-02-02 00:55:23] 843*2^1003616-1 is not prime. Res64: 41094CA4CEE23A9C Time : 0.0 sec. user=mdettweiler [2012-02-02 00:55:23] 869*2^1003616-1 is not prime. Res64: 9FD7B9478DF1798B Time : 0.0 sec. user=mdettweiler [2012-02-02 00:56:05] 731*2^1003614-1 is not prime. Res64: 14C6C8850EC51C39 Time : 0.0 sec. user=mdettweiler [2012-02-02 00:56:05] 765*2^1003614-1 is not prime. Res64: 22CEE3A05EBA9FE2 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:00:45] 929*2^1003612-1 is not prime. Res64: 8D696BE4ADFB6243 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:00:46] 989*2^1003612-1 is not prime. Res64: B79755743EE4AF91 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:03:53] 957*2^1003616-1 is not prime. Res64: DDAE785F853C2C17 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:03:54] 639*2^1003617-1 is not prime. Res64: 00E3D691F3316B42 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:05:10] 899*2^1003616-1 is not prime. Res64: 1D3C23670A61F93D Time : 0.0 sec. user=mdettweiler [2012-02-02 01:05:11] 917*2^1003616-1 is not prime. Res64: 1A7044D58A2E8D27 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:12:30] 649*2^1003617-1 is not prime. Res64: 0F323CCFA6724C3A Time : 0.0 sec. user=mdettweiler [2012-02-02 01:12:31] 667*2^1003617-1 is not prime. Res64: A070E839A324FFDA Time : 0.0 sec. user=mdettweiler [2012-02-02 01:15:10] 681*2^1003617-1 is not prime. Res64: FD72C1559BA797E4 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:15:11] 739*2^1003617-1 is not prime. Res64: 6443B1184CAF84DE Time : 0.0 sec. user=mdettweiler [2012-02-02 01:23:40] 623*2^1003618-1 is not prime. Res64: 46373CD52F6743B6 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:23:40] 671*2^1003618-1 is not prime. Res64: 7998E68132134E97 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:25:05] 765*2^1003618-1 is not prime. Res64: 3BB6854060A24444 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:25:06] 815*2^1003618-1 is not prime. Res64: 1264CD523DA62D41 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:32:23] 825*2^1003618-1 is not prime. Res64: AAEE7DE6CA93B536 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:32:23] 885*2^1003618-1 is not prime. Res64: EBC8B7588E52DB45 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:39:33] 911*2^1003618-1 is not prime. Res64: F13CE8C6D73602EE Time : 0.0 sec. user=mdettweiler [2012-02-02 01:39:33] 945*2^1003618-1 is not prime. Res64: 33E38CBAE18D5E49 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:43:27] 609*2^1003619-1 is not prime. Res64: 2C9FF619C1FA3157 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:43:27] 745*2^1003619-1 is not prime. Res64: 447134F4250ED202 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:44:56] 843*2^1003619-1 is not prime. Res64: 575BC3E9833DEFB1 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:44:57] 889*2^1003619-1 is not prime. Res64: 109278244EDE9207 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:52:21] 873*2^1003616-1 is not prime. Res64: 72F014DB636BE010 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:52:21] 875*2^1003616-1 is not prime. Res64: 1A7D43892B905698 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:54:23] 999*2^1003619-1 is not prime. Res64: CCEE99529F9E5AAF Time : 0.0 sec. user=mdettweiler [2012-02-02 01:54:24] 647*2^1003620-1 is not prime. Res64: B332B404E8BA823E Time : 0.0 sec. user=mdettweiler [2012-02-02 01:59:21] 753*2^1003620-1 is not prime. Res64: 456BA00885FB6236 Time : 0.0 sec. user=mdettweiler [2012-02-02 01:59:22] 795*2^1003620-1 is not prime. Res64: 561799EEBFD334FC Time : 0.0 sec. user=mdettweiler [2012-02-02 02:03:12] 797*2^1003620-1 is not prime. Res64: A6791B88E2F3C044 Time : 0.0 sec. user=mdettweiler [2012-02-02 02:03:13] 809*2^1003620-1 is not prime. Res64: EDE7527B18874BED Time : 0.0 sec. user=mdettweiler [2012-02-02 02:09:13] 927*2^1003620-1 is not prime. Res64: 6DF91A7972AE93D5 Time : 0.0 sec. user=mdettweiler [2012-02-02 02:09:14] 983*2^1003620-1 is not prime. Res64: 435BDD86BD1661B8 Time : 0.0 sec. user=mdettweiler [2012-02-02 02:12:13] 751*2^1003617-1 is not prime. Res64: 07E37B83F728B4AF Time : 0.0 sec. user=mdettweiler [2012-02-02 02:12:15] 831*2^1003617-1 is not prime. Res64: 4BA85C10B47CB1CA Time : 0.0 sec. user=mdettweiler [2012-02-02 02:14:08] 617*2^1003622-1 is not prime. Res64: D3CED48BC92DE09F Time : 0.0 sec. user=mdettweiler [2012-02-02 02:14:09] 683*2^1003622-1 is not prime. Res64: 556CDAC31AD90FA8 Time : 0.0 sec. user=mdettweiler [2012-02-02 02:16:43] 889*2^1003617-1 is not prime. Res64: 0096C222E672BD80 Time : 0.0 sec. user=mdettweiler [2012-02-02 02:19:08] 867*2^1003622-1 is not prime. Res64: 8F68DA43FE7875DA Time : 0.0 sec. user=mdettweiler [2012-02-02 02:19:09] 663*2^1003623-1 is not prime. Res64: 120B24BB1D7BBA1D Time : 0.0 sec. user=mdettweiler [2012-02-02 02:21:10] 605*2^1003618-1 is not prime. Res64: 29F219E247E4A8B3 Time : 0.0 sec. user=mdettweiler [2012-02-02 02:22:59] 765*2^1003623-1 is not prime. Res64: 601EA358DD16611B Time : 0.0 sec. user=mdettweiler [2012-02-02 02:23:00] 873*2^1003623-1 is not prime. Res64: C00CF427624309B5 Time : 0.0 sec. user=mdettweiler [2012-02-02 02:33:36] 933*2^1003623-1 is not prime. Res64: 4DA6D16159C5E40C Time : 0.0 sec. user=mdettweiler [2012-02-02 02:33:38] 943*2^1003623-1 is not prime. Res64: E8CB249B9C58168C Time : 0.0 sec. user=mdettweiler [2012-02-02 02:33:59] 827*2^1003624-1 is not prime. Res64: 08A37CBDEB9552F3 Time : 0.0 sec. user=mdettweiler [2012-02-02 02:33:59] 849*2^1003624-1 is not prime. Res64: 73648A8A57E333FF Time : 0.0 sec. user=mdettweiler [2012-02-02 02:42:49] 771*2^1003625-1 is not prime. Res64: 863899CEFD1082FF Time : 0.0 sec. user=mdettweiler [2012-02-02 02:42:50] 811*2^1003625-1 is not prime. Res64: 8370A48460F51C37 Time : 0.0 sec. user=mdettweiler [2012-02-02 02:43:30] 899*2^1003624-1 is not prime. Res64: 6AE13454B4C7CC42 Time : 0.0 sec. user=mdettweiler [2012-02-02 02:43:31] 917*2^1003624-1 is not prime. Res64: B8D8CDCE9391050A Time : 0.0 sec. user=mdettweiler [2012-02-02 02:53:19] 705*2^1003626-1 is not prime. Res64: 177E57AC599C445C Time : 0.0 sec. user=mdettweiler [2012-02-02 02:53:19] 893*2^1003626-1 is not prime. Res64: 2922426E728DB025 Time : 0.0 sec. user=mdettweiler [2012-02-02 02:56:00] 917*2^1003626-1 is not prime. Res64: 646A329B252D6966 Time : 0.0 sec. user=mdettweiler [2012-02-02 02:56:00] 691*2^1003627-1 is not prime. Res64: F671296B372515D2 Time : 0.0 sec. user=mdettweiler [2012-02-02 03:02:38] 703*2^1003627-1 is not prime. Res64: 644BFBCDD0D19C63 Time : 0.0 sec. user=mdettweiler [2012-02-02 03:02:39] 741*2^1003627-1 is not prime. Res64: E441DC059A719D00 Time : 0.0 sec. user=mdettweiler [2012-02-02 03:03:17] 759*2^1003627-1 is not prime. Res64: 021557AC2D9842E8 Time : 0.0 sec. user=mdettweiler [2012-02-02 03:03:18] 835*2^1003627-1 is not prime. Res64: 7123FBA20D9C888C Time : 0.0 sec. user=mdettweiler [2012-02-02 03:12:59] 891*2^1003627-1 is not prime. Res64: 8EC57EE08F447219 Time : 0.0 sec. user=mdettweiler [2012-02-02 03:13:00] 617*2^1003628-1 is not prime. Res64: 9FD10014A8DA7178 Time : 0.0 sec. user=mdettweiler [2012-02-02 03:15:48] 633*2^1003628-1 is not prime. Res64: 092F64541EAC3AC6 Time : 0.0 sec. user=mdettweiler [2012-02-02 03:15:49] 767*2^1003628-1 is not prime. Res64: E96F2C6749DF7B8F Time : 0.0 sec. user=mdettweiler [2012-02-02 03:23:05] 609*2^1003629-1 is not prime. Res64: 6BAD180E8C05D504 Time : 0.0 sec. user=mdettweiler [2012-02-02 03:23:05] 621*2^1003629-1 is not prime. Res64: BCE7134FC997B0A6 Time : 0.0 sec. user=mdettweiler [2012-02-02 03:24:38] 797*2^1003628-1 is not prime. Res64: 6AE1DCEFD756C40E Time : 0.0 sec. user=mdettweiler [2012-02-02 03:24:39] 957*2^1003628-1 is not prime. Res64: 9CD6E358B20B94DF Time : 0.0 sec. user=mdettweiler [2012-02-02 03:25:06] 775*2^1003621-1 is not prime. Res64: CB44FA3FAF9BEEC5 Time : 0.0 sec. user=mdettweiler [2012-02-02 03:25:07] 961*2^1003621-1 is not prime. Res64: 530110734B16DD2C Time : 0.0 sec. user=mdettweiler [2012-02-02 03:32:39] 655*2^1003629-1 is not prime. Res64: 76642299ABEDCA57 Time : 0.0 sec. user=mdettweiler [2012-02-02 03:32:43] 661*2^1003629-1 is not prime. Res64: 8AFCEC0F73D962D6 Time : 0.0 sec. user=mdettweiler [2012-02-02 03:35:30] 727*2^1003629-1 is not prime. Res64: 67023003C10831C1 Time : 0.0 sec. user=mdettweiler [2012-02-02 03:35:30] 745*2^1003629-1 is not prime. Res64: 828F4B9CFA4AB18E Time : 0.0 sec. user=mdettweiler [2012-02-02 03:42:54] 751*2^1003629-1 is not prime. Res64: 13541363CAD1451D Time : 0.0 sec. user=mdettweiler [2012-02-02 03:42:54] 769*2^1003629-1 is not prime. Res64: 563B4B77F2285BA5 Time : 0.0 sec. user=mdettweiler [2012-02-02 03:44:22] 781*2^1003629-1 is not prime. Res64: 520398F67D0183E4 Time : 0.0 sec. user=mdettweiler [2012-02-02 03:44:23] 877*2^1003629-1 is not prime. Res64: DC426F9DD3A59233 Time : 0.0 sec. user=mdettweiler [2012-02-02 03:45:24] 951*2^1003623-1 is not prime. Res64: 731CC4FB23E9D7BA Time : 0.0 sec. user=mdettweiler [2012-02-02 03:45:24] 615*2^1003624-1 is not prime. Res64: 3BDAF3A858BC710B Time : 0.0 sec. user=mdettweiler [2012-02-02 03:49:49] 969*2^1003624-1 is not prime. Res64: B8DBEFC3C5D7C8FB Time : 0.0 sec. user=mdettweiler [2012-02-02 03:49:49] 715*2^1003625-1 is not prime. Res64: A299402C57880D8F Time : 0.0 sec. user=mdettweiler [2012-02-02 03:52:27] 695*2^1003630-1 is not prime. Res64: 1399E031E5A3974B Time : 0.0 sec. user=mdettweiler [2012-02-02 03:52:27] 723*2^1003630-1 is not prime. Res64: 98DA7B61B9D4D85F Time : 0.0 sec. user=mdettweiler [2012-02-02 03:55:14] 741*2^1003630-1 is not prime. Res64: C0F4088A4CE5AD3B Time : 0.0 sec. user=mdettweiler [2012-02-02 03:55:14] 783*2^1003630-1 is not prime. Res64: 03F0072293E621D9 Time : 0.0 sec. user=mdettweiler [2012-02-02 04:02:42] 825*2^1003630-1 is not prime. Res64: AAF52254FBE9AB67 Time : 0.0 sec. user=mdettweiler [2012-02-02 04:02:43] 827*2^1003630-1 is not prime. Res64: 2640FFE936E11162 Time : 0.0 sec. user=mdettweiler [2012-02-02 04:08:46] 923*2^1003630-1 is not prime. Res64: 6BD5773EEE803A15 Time : 0.0 sec. user=mdettweiler [2012-02-02 04:08:47] 951*2^1003630-1 is not prime. Res64: 2309B3BDE0E21386 Time : 0.0 sec. user=mdettweiler [2012-02-02 04:12:15] 789*2^1003631-1 is not prime. Res64: 17C8917B301D1243 Time : 0.0 sec. user=mdettweiler [2012-02-02 04:12:21] 813*2^1003631-1 is not prime. Res64: 8F929A1E7A9A3AFD Time : 0.0 sec. user=mdettweiler [2012-02-02 04:17:16] 883*2^1003631-1 is not prime. Res64: 001A1B6E0D88C8DA Time : 0.0 sec. user=mdettweiler [2012-02-02 04:17:17] 939*2^1003631-1 is not prime. Res64: DCD1A77FB99EBA49 Time : 0.0 sec. user=mdettweiler [2012-02-02 04:24:54] 945*2^1003631-1 is not prime. Res64: 6FA33C1B751BB068 Time : 0.0 sec. user=mdettweiler [2012-02-02 04:24:55] 873*2^1003632-1 is not prime. Res64: B205B2FC02D4995A Time : 0.0 sec. user=mdettweiler [2012-02-02 04:28:39] 893*2^1003632-1 is not prime. Res64: ECF4714E49988BE9 Time : 0.0 sec. user=mdettweiler [2012-02-02 04:28:40] 639*2^1003633-1 is not prime. Res64: 87487D6CA210F74A Time : 0.0 sec. user=mdettweiler [2012-02-02 04:32:23] 729*2^1003633-1 is not prime. Res64: 5200EBE1018B54C1 Time : 0.0 sec. user=mdettweiler [2012-02-02 04:32:25] 765*2^1003633-1 is not prime. Res64: 58F631772681DE8A Time : 0.0 sec. user=mdettweiler [2012-02-02 04:41:43] 939*2^1003633-1 is not prime. Res64: 37B0749F2DAE28DB Time : 0.0 sec. user=mdettweiler [2012-02-02 04:41:44] 967*2^1003633-1 is not prime. Res64: 7D484598DEDEDCD3 Time : 0.0 sec. user=mdettweiler [2012-02-02 04:49:18] 999*2^1003633-1 is not prime. Res64: 8603EB97AD3C8EB6 Time : 0.0 sec. user=mdettweiler [2012-02-02 04:49:18] 941*2^1003634-1 is not prime. Res64: 1CBFB182F800AFE0 Time : 0.0 sec. user=mdettweiler [2012-02-02 04:49:56] 895*2^1003629-1 is not prime. Res64: 609BA840F2A4BFA0 Time : 0.0 sec. user=mdettweiler [2012-02-02 04:49:56] 919*2^1003629-1 is not prime. Res64: 6E55E27790109249 Time : 0.0 sec. user=mdettweiler [2012-02-02 04:50:49] 993*2^1003634-1 is not prime. Res64: 0FFF4C5F70A54A23 Time : 0.0 sec. user=mdettweiler [2012-02-02 04:50:50] 709*2^1003635-1 is not prime. Res64: 36464557B1358C28 Time : 0.0 sec. user=mdettweiler [2012-02-02 04:52:15] 793*2^1003635-1 is not prime. Res64: AE753B346AB9C5EC Time : 0.0 sec. user=mdettweiler [2012-02-02 04:52:15] 895*2^1003635-1 is not prime. Res64: 433DDBB8C3144F17 Time : 0.0 sec. user=mdettweiler [2012-02-02 05:05:18] 645*2^1003631-1 is not prime. Res64: 9F5DB86496EF9B1F Time : 0.0 sec. user=mdettweiler [2012-02-02 05:05:18] 741*2^1003631-1 is not prime. Res64: F48C0BE955C608FA Time : 0.0 sec. user=mdettweiler [2012-02-02 05:06:02] 943*2^1003635-1 is not prime. Res64: BB99B67CEDB0523F Time : 0.0 sec. user=mdettweiler [2012-02-02 05:06:03] 955*2^1003635-1 is not prime. Res64: 08C0AE5FF149FBD1 Time : 0.0 sec. user=mdettweiler [2012-02-02 05:09:05] 743*2^1003636-1 is not prime. Res64: D42FE9403A22F6E3 Time : 0.0 sec. user=mdettweiler [2012-02-02 05:09:07] 749*2^1003636-1 is not prime. Res64: 16AF8FAEADFF8C16 Time : 0.0 sec. user=mdettweiler [2012-02-02 05:10:33] 601*2^1003637-1 is not prime. Res64: D75C1B638689033B Time : 0.0 sec. user=mdettweiler [2012-02-02 05:10:34] 615*2^1003637-1 is not prime. Res64: 542728A063226BA5 Time : 0.0 sec. user=mdettweiler [2012-02-02 05:12:05] 649*2^1003637-1 is not prime. Res64: 2DCBCA16575A8C05 Time : 0.0 sec. user=mdettweiler [2012-02-02 05:12:07] 651*2^1003637-1 is not prime. Res64: 3285BC3BA94B4D53 Time : 0.0 sec. user=mdettweiler [2012-02-02 05:17:53] 987*2^1003630-1 is not prime. Res64: B3617A862F720A34 Time : 0.0 sec. user=mdettweiler [2012-02-02 05:17:53] 995*2^1003630-1 is not prime. Res64: E95D59F5A5140145 Time : 0.0 sec. user=mdettweiler [2012-02-02 05:28:01] 865*2^1003637-1 is not prime. Res64: A0ACF61D7EBF4179 Time : 0.0 sec. user=mdettweiler [2012-02-02 05:28:02] 939*2^1003637-1 is not prime. Res64: DB58F8019D5A9706 Time : 0.0 sec. user=mdettweiler [2012-02-02 05:30:29] 635*2^1003638-1 is not prime. Res64: 216D677DCE13E1C6 Time : 0.0 sec. user=mdettweiler [2012-02-02 05:30:30] 711*2^1003638-1 is not prime. Res64: E435AD55A953FA91 Time : 0.0 sec. user=mdettweiler [2012-02-02 05:31:17] 955*2^1003637-1 is not prime. Res64: E012D4EA5ED88198 Time : 0.0 sec. user=mdettweiler [2012-02-02 05:31:17] 605*2^1003638-1 is not prime. Res64: F0847C78844227B8 Time : 0.0 sec. user=mdettweiler [2012-02-02 05:32:04] 797*2^1003638-1 is not prime. Res64: BB0D6ABB72F37D66 Time : 0.0 sec. user=mdettweiler [2012-02-02 05:32:04] 639*2^1003639-1 is not prime. Res64: EACC229951239E5F Time : 0.0 sec. user=mdettweiler [2012-02-02 05:47:46] 855*2^1003639-1 is not prime. Res64: BC78A59C78E6641C Time : 0.0 sec. user=mdettweiler [2012-02-02 05:47:47] 629*2^1003640-1 is not prime. Res64: B214F08E84E06D6F Time : 0.0 sec. user=mdettweiler [2012-02-02 05:50:13] 803*2^1003640-1 is not prime. Res64: C9900C6E29AC132C Time : 0.0 sec. user=mdettweiler [2012-02-02 05:50:14] 827*2^1003640-1 is not prime. Res64: 891F7EB9D83D2A2D Time : 0.0 sec. user=mdettweiler [2012-02-02 05:51:08] 649*2^1003641-1 is not prime. Res64: C9E18E2227445375 Time : 0.0 sec. user=mdettweiler [2012-02-02 05:51:08] 651*2^1003641-1 is not prime. Res64: F025C54F021DBF6D Time : 0.0 sec. user=mdettweiler [2012-02-02 05:51:46] 657*2^1003641-1 is not prime. Res64: 208A21DB6255CB9A Time : 0.0 sec. user=mdettweiler [2012-02-02 05:51:47] 669*2^1003641-1 is not prime. Res64: 3BA16D79F49504B2 Time : 0.0 sec. user=mdettweiler [2012-02-02 06:07:35] 747*2^1003641-1 is not prime. Res64: 44123D78971A1FEF Time : 0.0 sec. user=mdettweiler [2012-02-02 06:07:36] 807*2^1003641-1 is not prime. Res64: 4F22169ACECE52C4 Time : 0.0 sec. user=mdettweiler [2012-02-02 06:10:52] 681*2^1003642-1 is not prime. Res64: CE3CFAD807668287 Time : 0.0 sec. user=mdettweiler [2012-02-02 06:10:53] 741*2^1003642-1 is not prime. Res64: C6EDA22147E4EB5D Time : 0.0 sec. user=mdettweiler [2012-02-02 06:11:29] 885*2^1003642-1 is not prime. Res64: 060B155C32022B29 Time : 0.0 sec. user=mdettweiler [2012-02-02 06:11:29] 685*2^1003643-1 is not prime. Res64: A547741926BFFAB6 Time : 0.0 sec. user=mdettweiler [2012-02-02 06:12:16] 907*2^1003641-1 is not prime. Res64: F7265C9025241EFD Time : 0.0 sec. user=mdettweiler [2012-02-02 06:12:17] 677*2^1003642-1 is not prime. Res64: AD9C617B53968CF7 Time : 0.0 sec. user=mdettweiler [2012-02-02 06:20:55] 799*2^1003637-1 is not prime. Res64: A183325FA9A41B52 Time : 0.0 sec. user=mdettweiler [2012-02-02 06:20:55] 861*2^1003637-1 is not prime. Res64: 287FC53FBA03116C Time : 0.0 sec. user=mdettweiler [2012-02-02 06:22:00] 939*2^1003636-1 is not prime. Res64: 1D1D8082426BF0C8 Time : 0.0 sec. user=mdettweiler [2012-02-02 06:22:01] 983*2^1003636-1 is not prime. Res64: 4CCE048EA31AAF4C Time : 0.0 sec. user=mdettweiler [2012-02-02 06:27:32] 699*2^1003643-1 is not prime. Res64: 0240CE4C435BDFD8 Time : 0.0 sec. user=mdettweiler [2012-02-02 06:27:32] 703*2^1003643-1 is not prime. Res64: 3D816A2A5EF075FD Time : 0.0 sec. user=mdettweiler [2012-02-02 06:30:45] 715*2^1003643-1 is not prime. Res64: E8B5DCF5A027456F Time : 0.0 sec. user=mdettweiler [2012-02-02 06:30:46] 889*2^1003643-1 is not prime. Res64: D15FB12C7A860108 Time : 0.0 sec. user=mdettweiler [2012-02-02 06:32:11] 689*2^1003644-1 is not prime. Res64: D5A9E8217BA0B030 Time : 0.0 sec. user=mdettweiler [2012-02-02 06:32:11] 693*2^1003644-1 is not prime. Res64: 5F634BF65EEA99A5 Time : 0.0 sec. user=mdettweiler [2012-02-02 06:33:19] 765*2^1003639-1 is not prime. Res64: 3BAA22C5A8C14727 Time : 0.0 sec. user=mdettweiler [2012-02-02 06:33:19] 789*2^1003639-1 is not prime. Res64: 05A95649F2608437 Time : 0.0 sec. user=mdettweiler [2012-02-02 06:35:55] 939*2^1003643-1 is not prime. Res64: D66D751DE18E8383 Time : 0.0 sec. user=mdettweiler [2012-02-02 06:35:55] 993*2^1003643-1 is not prime. Res64: F820C6BA589E5BFB Time : 0.0 sec. user=mdettweiler [2012-02-02 06:47:23] 625*2^1003645-1 is not prime. Res64: 47E7ADD31A8C01D3 Time : 0.0 sec. user=mdettweiler [2012-02-02 06:47:23] 715*2^1003645-1 is not prime. Res64: 99B373D843AECDC8 Time : 0.0 sec. user=mdettweiler [2012-02-02 06:52:52] 741*2^1003645-1 is not prime. Res64: 2C949857852BC464 Time : 0.0 sec. user=mdettweiler [2012-02-02 06:52:53] 975*2^1003645-1 is not prime. Res64: 0278961B58BBB505 Time : 0.0 sec. user=mdettweiler [2012-02-02 06:54:20] 985*2^1003645-1 is not prime. Res64: 8EEE3DE72FE9888A Time : 0.0 sec. user=mdettweiler [2012-02-02 06:54:20] 675*2^1003646-1 is not prime. Res64: E2174D3B00B4FBD1 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:00:19] 923*2^1003646-1 is not prime. Res64: 5DD40144678C10BF Time : 0.0 sec. user=mdettweiler [2012-02-02 07:00:20] 945*2^1003646-1 is not prime. Res64: C8443B458A18A575 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:09:29] 983*2^1003646-1 is not prime. Res64: 382DA057E5E8CEF4 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:09:31] 651*2^1003647-1 is not prime. Res64: C583D1F13E43DCD5 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:12:39] 685*2^1003647-1 is not prime. Res64: 09DF004ED4221BF5 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:12:40] 691*2^1003647-1 is not prime. Res64: 6A7B580AE5DA6106 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:14:11] 709*2^1003647-1 is not prime. Res64: B5974D63FE731EB1 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:14:12] 769*2^1003647-1 is not prime. Res64: C63BA2D475767F97 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:20:04] 793*2^1003647-1 is not prime. Res64: 481203BD13DF293C Time : 0.0 sec. user=mdettweiler [2012-02-02 07:20:05] 873*2^1003647-1 is not prime. Res64: A8BB9FDA3821025D Time : 0.0 sec. user=mdettweiler [2012-02-02 07:32:29] 707*2^1003648-1 is not prime. Res64: 5B842103D984DADE Time : 0.0 sec. user=mdettweiler [2012-02-02 07:32:30] 723*2^1003648-1 is not prime. Res64: 1863DA86052F64F6 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:33:50] 919*2^1003647-1 is not prime. Res64: C1A6E18CAF24E31E Time : 0.0 sec. user=mdettweiler [2012-02-02 07:33:51] 961*2^1003647-1 is not prime. Res64: DEDD3B24814C5383 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:34:03] 735*2^1003648-1 is not prime. Res64: 7EC83E14F6C32977 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:34:03] 849*2^1003648-1 is not prime. Res64: 91E8ECA00F3CD5D1 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:36:27] 717*2^1003644-1 is not prime. Res64: 78CD6B950F220A8D Time : 0.0 sec. user=mdettweiler [2012-02-02 07:36:27] 809*2^1003644-1 is not prime. Res64: 19178C389FDD5181 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:44:26] 909*2^1003648-1 is not prime. Res64: 83E1BCC66EDE4B01 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:44:27] 927*2^1003648-1 is not prime. Res64: 9669192791EBCBCE Time : 0.0 sec. user=mdettweiler [2012-02-02 07:45:55] 975*2^1003644-1 is not prime. Res64: 379CBF1162948804 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:45:55] 601*2^1003645-1 is not prime. Res64: 10BBD30F3E2AF598 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:52:20] 711*2^1003649-1 is not prime. Res64: 03CE2C6D5E4EC877 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:52:21] 771*2^1003649-1 is not prime. Res64: B1E8B628A9003599 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:53:37] 847*2^1003649-1 is not prime. Res64: D01C7068928B75CC Time : 0.0 sec. user=mdettweiler [2012-02-02 07:53:38] 867*2^1003649-1 is not prime. Res64: 2D10F0651C9F025A Time : 0.0 sec. user=mdettweiler [2012-02-02 07:57:28] 705*2^1003646-1 is not prime. Res64: A8622FFD12F384A7 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:57:29] 897*2^1003646-1 is not prime. Res64: 1FF25D76FED13981 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:58:24] 945*2^1003649-1 is not prime. Res64: 3A774E8436543AD6 Time : 0.0 sec. user=mdettweiler [2012-02-02 07:58:24] 997*2^1003649-1 is not prime. Res64: 10970BA2AB8A4CED Time : 0.0 sec. user=mdettweiler [2012-02-02 08:04:15] 777*2^1003650-1 is not prime. Res64: 68E8DA95A05FD5D8 Time : 0.0 sec. user=mdettweiler [2012-02-02 08:04:16] 791*2^1003650-1 is not prime. Res64: AD697E7014CA63E9 Time : 0.0 sec. user=mdettweiler [2012-02-02 08:12:03] 705*2^1003651-1 is not prime. Res64: 51C58BE0141AAB34 Time : 0.0 sec. user=mdettweiler [2012-02-02 08:12:04] 709*2^1003651-1 is not prime. Res64: 7A623B52C75BEC27 Time : 0.0 sec. user=mdettweiler [2012-02-02 08:13:19] 733*2^1003651-1 is not prime. Res64: 81063428208A029E Time : 0.0 sec. user=mdettweiler [2012-02-02 08:13:20] 741*2^1003651-1 is not prime. Res64: 2BF99FE524A4D89C Time : 0.0 sec. user=mdettweiler [2012-02-02 08:18:12] 623*2^1003652-1 is not prime. Res64: 319E579D0F7C8C7F Time : 0.0 sec. user=mdettweiler [2012-02-02 08:18:13] 669*2^1003652-1 is not prime. Res64: B0955AC44FCAD109 Time : 0.0 sec. user=mdettweiler [2012-02-02 08:24:08] 759*2^1003652-1 is not prime. Res64: E616AB70D94C9B5B Time : 0.0 sec. user=mdettweiler [2012-02-02 08:24:08] 819*2^1003652-1 is not prime. Res64: AF094F5354EA8E67 Time : 0.0 sec. user=mdettweiler [2012-02-02 08:31:51] 837*2^1003652-1 is not prime. Res64: 8BDE20641D06433E Time : 0.0 sec. user=mdettweiler [2012-02-02 08:31:52] 885*2^1003652-1 is not prime. Res64: 2E60A1C919C7403B Time : 0.0 sec. user=mdettweiler [2012-02-02 08:35:20] 999*2^1003652-1 is not prime. Res64: 2108B0E4E4AA4C77 Time : 0.0 sec. user=mdettweiler [2012-02-02 08:35:20] 639*2^1003653-1 is not prime. Res64: 26A9DFAA7C551842 Time : 0.0 sec. user=mdettweiler [2012-02-02 08:37:59] 651*2^1003653-1 is not prime. Res64: 51D1C6EC36FE326F Time : 0.0 sec. user=mdettweiler [2012-02-02 08:37:59] 681*2^1003653-1 is not prime. Res64: 4220BB69F794CC46 Time : 0.0 sec. user=mdettweiler [2012-02-02 08:43:51] 691*2^1003653-1 is not prime. Res64: 001BC4C95A6A66B7 Time : 0.0 sec. user=mdettweiler [2012-02-02 08:43:52] 727*2^1003653-1 is not prime. Res64: 8E10AD124D2DAD2D Time : 0.0 sec. user=mdettweiler [2012-02-02 08:51:58] 653*2^1003650-1 is not prime. Res64: E3F68A7D3CD50E61 Time : 0.0 sec. user=mdettweiler [2012-02-02 08:51:58] 767*2^1003650-1 is not prime. Res64: 7A3E4319554A9BA4 Time : 0.0 sec. user=mdettweiler [2012-02-02 08:53:55] 867*2^1003653-1 is not prime. Res64: 8132526BFA6AC41E Time : 0.0 sec. user=mdettweiler [2012-02-02 08:53:55] 915*2^1003653-1 is not prime. Res64: D6878B335EB2A28B Time : 0.0 sec. user=mdettweiler [2012-02-02 08:55:07] 605*2^1003654-1 is not prime. Res64: E6DAE601EB8FDA73 Time : 0.0 sec. user=mdettweiler [2012-02-02 08:55:08] 611*2^1003654-1 is not prime. Res64: 54B5A9517677E35D Time : 0.0 sec. user=mdettweiler [2012-02-02 08:57:44] 645*2^1003654-1 is not prime. Res64: 548603C3A7E3FA95 Time : 0.0 sec. user=mdettweiler [2012-02-02 08:57:44] 671*2^1003654-1 is not prime. Res64: D0DD3A2354CBCE45 Time : 0.0 sec. user=mdettweiler [2012-02-02 09:01:33] 861*2^1003650-1 is not prime. Res64: F55DE3EB41EFB137 Time : 0.0 sec. user=mdettweiler [2012-02-02 09:01:34] 651*2^1003651-1 is not prime. Res64: 0EF970ACAF004697 Time : 0.0 sec. user=mdettweiler [2012-02-02 09:03:42] 681*2^1003654-1 is not prime. Res64: D92D27579C0E29FC Time : 0.0 sec. user=mdettweiler [2012-02-02 09:03:42] 815*2^1003654-1 is not prime. Res64: E252050A042883EE Time : 0.0 sec. user=mdettweiler [2012-02-02 09:17:11] 947*2^1003654-1 is not prime. Res64: 0A553E2C79EC2941 Time : 0.0 sec. user=mdettweiler [2012-02-02 09:17:12] 643*2^1003655-1 is not prime. Res64: 12BF1C296FE8C86E Time : 0.0 sec. user=mdettweiler [2012-02-02 09:17:26] 663*2^1003655-1 is not prime. Res64: 2FCBFB90930D8E1A Time : 0.0 sec. user=mdettweiler [2012-02-02 09:17:27] 819*2^1003655-1 is not prime. Res64: E0295E2B09A2D7CB Time : 0.0 sec. user=mdettweiler [2012-02-02 09:18:20] 917*2^1003654-1 is not prime. Res64: 5D5DA68675D2E2B7 Time : 0.0 sec. user=mdettweiler [2012-02-02 09:18:20] 945*2^1003654-1 is not prime. Res64: 0806554E0D0F0ECD Time : 0.0 sec. user=mdettweiler [2012-02-02 09:22:19] 759*2^1003651-1 is not prime. Res64: 53395CFB37ABDE18 Time : 0.0 sec. user=mdettweiler [2012-02-02 09:22:19] 913*2^1003651-1 is not prime. Res64: 136EEF8D0DB2D290 Time : 0.0 sec. user=mdettweiler [2012-02-02 09:23:28] 725*2^1003656-1 is not prime. Res64: 98E9C1B1CC9FDCCD Time : 0.0 sec. user=mdettweiler [2012-02-02 09:23:29] 837*2^1003656-1 is not prime. Res64: 7E66700AD072C355 Time : 0.0 sec. user=mdettweiler [2012-02-02 09:36:59] 845*2^1003656-1 is not prime. Res64: C4E0E63DC101E006 Time : 0.0 sec. user=mdettweiler [2012-02-02 09:36:59] 875*2^1003656-1 is not prime. Res64: 3B02587C6C434748 Time : 0.0 sec. user=mdettweiler [2012-02-02 09:38:05] 625*2^1003657-1 is not prime. Res64: 9838BD2C98058ABE Time : 0.0 sec. user=mdettweiler [2012-02-02 09:38:06] 649*2^1003657-1 is not prime. Res64: AF4946EE786C56E3 Time : 0.0 sec. user=mdettweiler [2012-02-02 09:41:42] 903*2^1003656-1 is not prime. Res64: 6BF8191DF7BF8CE5 Time : 0.0 sec. user=mdettweiler [2012-02-02 09:41:42] 975*2^1003656-1 is not prime. Res64: F7AAC3DD38F09EE2 Time : 0.0 sec. user=mdettweiler [2012-02-02 09:57:00] 871*2^1003657-1 is not prime. Res64: 3ECE557DE7CA1302 Time : 0.0 sec. user=mdettweiler [2012-02-02 09:57:00] 885*2^1003657-1 is not prime. Res64: 550E6ED34C37A321 Time : 0.0 sec. user=mdettweiler [2012-02-02 10:01:41] 603*2^1003658-1 is not prime. Res64: 04AD05CE509CFDB8 Time : 0.0 sec. user=mdettweiler [2012-02-02 10:01:43] 645*2^1003658-1 is not prime. Res64: ACBDA638DE36165A Time : 0.0 sec. user=mdettweiler [2012-02-02 10:02:26] 909*2^1003657-1 is not prime. Res64: 056AD56321BA7FA5 Time : 0.0 sec. user=mdettweiler [2012-02-02 10:02:27] 939*2^1003657-1 is not prime. Res64: C69C165578B99266 Time : 0.0 sec. user=mdettweiler [2012-02-02 10:07:48] 667*2^1003657-1 is not prime. Res64: 19A77410451E9E3B Time : 0.0 sec. user=mdettweiler [2012-02-02 10:07:48] 885*2^1003655-1 is not prime. Res64: 411A7B993FED3F78 Time : 0.0 sec. user=mdettweiler [2012-02-02 10:07:49] 825*2^1003654-1 is not prime. Res64: 8B82C90C28708D75 Time : 0.0 sec. user=mdettweiler [2012-02-02 10:12:33] 831*2^1003657-1 is not prime. Res64: 71CF6DF75CD604D0 Time : 0.0 sec. user=mdettweiler [2012-02-02 10:12:34] 867*2^1003657-1 is not prime. Res64: B42D2E4135930F4C Time : 0.0 sec. user=mdettweiler [2012-02-02 10:16:56] 651*2^1003658-1 is not prime. Res64: 87D16B9B6B2BCA10 Time : 0.0 sec. user=mdettweiler [2012-02-02 10:16:57] 657*2^1003658-1 is not prime. Res64: 842D992F8072002B Time : 0.0 sec. user=mdettweiler [2012-02-02 10:24:41] 957*2^1003658-1 is not prime. Res64: 86CA46423A55F3BB Time : 0.0 sec. user=mdettweiler [2012-02-02 10:24:42] 679*2^1003659-1 is not prime. Res64: D707A8A870F1411E Time : 0.0 sec. user=mdettweiler [2012-02-02 10:26:00] 935*2^1003658-1 is not prime. Res64: BC2A93BCDB5B2AE1 Time : 0.0 sec. user=mdettweiler [2012-02-02 10:26:01] 953*2^1003658-1 is not prime. Res64: 8A8F8DFF23CEF1BD Time : 0.0 sec. user=mdettweiler [2012-02-02 10:32:25] 685*2^1003659-1 is not prime. Res64: 0F53741DCA9703AC Time : 0.0 sec. user=mdettweiler [2012-02-02 10:32:25] 741*2^1003659-1 is not prime. Res64: 1481570299939EF5 Time : 0.0 sec. user=mdettweiler [2012-02-02 10:36:41] 751*2^1003659-1 is not prime. Res64: 1703146E72C4AEEE Time : 0.0 sec. user=mdettweiler [2012-02-02 10:36:42] 823*2^1003659-1 is not prime. Res64: D3F5DF0D377FE70F Time : 0.0 sec. user=mdettweiler [2012-02-02 10:38:01] 833*2^1003654-1 is not prime. Res64: CAE53C8E6FDADD21 Time : 0.0 sec. user=mdettweiler [2012-02-02 10:45:45] 609*2^1003660-1 is not prime. Res64: E33DA59813EF1DBC Time : 0.0 sec. user=mdettweiler [2012-02-02 10:45:46] 629*2^1003660-1 is not prime. Res64: 84C507E379C8E326 Time : 0.0 sec. user=mdettweiler [2012-02-02 10:46:43] 835*2^1003659-1 is not prime. Res64: E1540E97F53194B9 Time : 0.0 sec. user=mdettweiler [2012-02-02 10:46:44] 955*2^1003659-1 is not prime. Res64: 932850A7EE300B9D Time : 0.0 sec. user=mdettweiler [2012-02-02 10:47:33] 705*2^1003656-1 is not prime. Res64: 4DBAF70F32E44414 Time : 0.0 sec. user=mdettweiler [2012-02-02 10:52:09] 797*2^1003660-1 is not prime. Res64: 2FB1AA04B34913A3 Time : 0.0 sec. user=mdettweiler [2012-02-02 10:52:10] 819*2^1003660-1 is not prime. Res64: 924743967CBE2500 Time : 0.0 sec. user=mdettweiler [2012-02-02 11:01:00] 927*2^1003660-1 is not prime. Res64: C390BC1A6293A193 Time : 0.0 sec. user=mdettweiler [2012-02-02 11:01:03] 933*2^1003660-1 is not prime. Res64: 34387D80EC9FD3BF Time : 0.0 sec. user=mdettweiler [2012-02-02 11:05:32] 757*2^1003661-1 is not prime. Res64: B42AC9FD67A5384A Time : 0.0 sec. user=mdettweiler [2012-02-02 11:05:33] 795*2^1003661-1 is not prime. Res64: 1172E436E79D6C1F Time : 0.0 sec. user=mdettweiler [2012-02-02 11:07:36] 777*2^1003657-1 is not prime. Res64: DABD01EA5679CF15 Time : 0.0 sec. user=mdettweiler [2012-02-02 11:08:49] 829*2^1003661-1 is not prime. Res64: F9F44B899E62A760 Time : 0.0 sec. user=mdettweiler [2012-02-02 11:08:49] 937*2^1003661-1 is not prime. Res64: 2537CE10B05E0A2B Time : 0.0 sec. user=mdettweiler [2012-02-02 11:14:16] 807*2^1003662-1 is not prime. Res64: 4D56B0034CC338A6 Time : 0.0 sec. user=mdettweiler [2012-02-02 11:14:18] 915*2^1003662-1 is not prime. Res64: A0E9F0D9A044D0C3 Time : 0.0 sec. user=mdettweiler [2012-02-02 11:25:26] 609*2^1003663-1 is not prime. Res64: E8ECEADEA807BFF4 Time : 0.0 sec. user=mdettweiler [2012-02-02 11:25:26] 681*2^1003663-1 is not prime. Res64: FA58BC6748A220CD Time : 0.0 sec. user=mdettweiler [2012-02-02 11:25:31] 965*2^1003662-1 is not prime. Res64: 744241D1728DE57F Time : 0.0 sec. user=mdettweiler [2012-02-02 11:25:32] 977*2^1003662-1 is not prime. Res64: FC2B31258F996A39 Time : 0.0 sec. user=mdettweiler [2012-02-02 11:30:58] 945*2^1003663-1 is not prime. Res64: 1EFC9C2F04553234 Time : 0.0 sec. user=mdettweiler [2012-02-02 11:30:58] 615*2^1003664-1 is not prime. Res64: 90A084E73790D51B Time : 0.0 sec. user=mdettweiler [2012-02-02 11:34:09] 635*2^1003664-1 is not prime. Res64: 72E5496117E50D3F Time : 0.0 sec. user=mdettweiler [2012-02-02 11:34:10] 683*2^1003664-1 is not prime. Res64: DF9327ED863219B6 Time : 0.0 sec. user=mdettweiler [2012-02-02 11:45:09] 813*2^1003664-1 is not prime. Res64: CCF06F7A5F6F3BC8 Time : 0.0 sec. user=mdettweiler [2012-02-02 11:45:10] 843*2^1003664-1 is not prime. Res64: 4E18D1772C1E3309 Time : 0.0 sec. user=mdettweiler [2012-02-02 11:47:36] 869*2^1003664-1 is not prime. Res64: 754BE5CFF5A4832F Time : 0.0 sec. user=mdettweiler [2012-02-02 11:47:36] 983*2^1003664-1 is not prime. Res64: 63FBC2C693A26B38 Time : 0.0 sec. user=mdettweiler [2012-02-02 11:50:48] 649*2^1003665-1 is not prime. Res64: 49B4582F957F76D3 Time : 0.0 sec. user=mdettweiler [2012-02-02 11:50:49] 691*2^1003665-1 is not prime. Res64: 7BE9D41E05F340C4 Time : 0.0 sec. user=mdettweiler [2012-02-02 11:53:55] 717*2^1003665-1 is not prime. Res64: D661C4D5570A7F4C Time : 0.0 sec. user=mdettweiler [2012-02-02 11:53:56] 891*2^1003665-1 is not prime. Res64: 69156C2F413BD499 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:01:53] 975*2^1003660-1 is not prime. Res64: 5C1E7A22746BB008 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:01:54] 717*2^1003661-1 is not prime. Res64: 7FA4C8AB66C640BF Time : 0.0 sec. user=mdettweiler [2012-02-02 12:07:08] 915*2^1003665-1 is not prime. Res64: 41FF0CFF53E34715 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:07:08] 645*2^1003666-1 is not prime. Res64: FC8FE4DDFDA82E17 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:09:42] 755*2^1003666-1 is not prime. Res64: BDA5FD043B7871CB Time : 0.0 sec. user=mdettweiler [2012-02-02 12:09:44] 1001*2^1003666-1 is not prime. Res64: 906F38B43C08D0BC Time : 0.0 sec. user=mdettweiler [2012-02-02 12:10:35] 651*2^1003667-1 is not prime. Res64: 14B17B4A8891FCA7 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:10:38] 711*2^1003667-1 is not prime. Res64: 4E82502A22D3E696 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:11:28] 967*2^1003661-1 is not prime. Res64: 200C00E15A62AB65 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:11:28] 681*2^1003662-1 is not prime. Res64: 90895D8FD881C12C Time : 0.0 sec. user=mdettweiler [2012-02-02 12:13:42] 759*2^1003667-1 is not prime. Res64: F6CECED63BA2286D Time : 0.0 sec. user=mdettweiler [2012-02-02 12:13:43] 825*2^1003667-1 is not prime. Res64: B3DC7F5867ECEC25 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:27:04] 615*2^1003668-1 is not prime. Res64: A3DC7CFF4F208AF8 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:27:05] 629*2^1003668-1 is not prime. Res64: E3D158CCA2483BF8 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:29:34] 663*2^1003668-1 is not prime. Res64: DCBE9ED3AEF37098 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:29:35] 749*2^1003668-1 is not prime. Res64: 3A6AF5902A1D86B6 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:32:15] 883*2^1003663-1 is not prime. Res64: E0CF7478F247E4FA Time : 0.0 sec. user=mdettweiler [2012-02-02 12:32:16] 925*2^1003663-1 is not prime. Res64: 0E94455F2CE2A724 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:33:31] 609*2^1003669-1 is not prime. Res64: 9C80E80BE2074E38 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:33:31] 757*2^1003669-1 is not prime. Res64: 544D523CEE4F955F Time : 0.0 sec. user=mdettweiler [2012-02-02 12:35:09] 899*2^1003668-1 is not prime. Res64: 9846748AD71E951D Time : 0.0 sec. user=mdettweiler [2012-02-02 12:35:10] 933*2^1003668-1 is not prime. Res64: 21C89B42E637B958 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:49:22] 635*2^1003670-1 is not prime. Res64: 6E6186F7DB864C05 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:49:23] 893*2^1003670-1 is not prime. Res64: 28EA8E76962FBD2C Time : 0.0 sec. user=mdettweiler [2012-02-02 12:51:20] 955*2^1003669-1 is not prime. Res64: FC4673DF76F43C79 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:51:21] 987*2^1003669-1 is not prime. Res64: 4BFC3B2782CF4169 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:53:17] 669*2^1003671-1 is not prime. Res64: 6C8CD2113A595EE6 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:53:18] 685*2^1003671-1 is not prime. Res64: DA737BEEDED6E033 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:57:16] 795*2^1003671-1 is not prime. Res64: DBBAC759DE076329 Time : 0.0 sec. user=mdettweiler [2012-02-02 12:57:16] 909*2^1003671-1 is not prime. Res64: 70A1CAD2844CD16A Time : 0.0 sec. user=mdettweiler [2012-02-02 13:11:26] 973*2^1003671-1 is not prime. Res64: 5EA9C7C56E7E283E Time : 0.0 sec. user=mdettweiler [2012-02-02 13:11:27] 653*2^1003672-1 is not prime. Res64: 45E317BB84A08420 Time : 0.0 sec. user=mdettweiler [2012-02-02 13:13:05] 743*2^1003672-1 is not prime. Res64: B25010A66414A016 Time : 0.0 sec. user=mdettweiler [2012-02-02 13:13:07] 857*2^1003672-1 is not prime. Res64: 3148364741178D84 Time : 0.0 sec. user=mdettweiler [2012-02-02 13:17:02] 871*2^1003673-1 is not prime. Res64: 2BA99AAD374A4A0B Time : 0.0 sec. user=mdettweiler [2012-02-02 13:17:03] 885*2^1003673-1 is not prime. Res64: 1A4672B8D05923E3 Time : 0.0 sec. user=mdettweiler [2012-02-02 13:25:27] 657*2^1003672-1 is not prime. Res64: 5CBBFCE113AC92FF Time : 0.0 sec. user=mdettweiler [2012-02-02 13:25:28] 723*2^1003672-1 is not prime. Res64: C50A743745DFCEE1 Time : 0.0 sec. user=mdettweiler [2012-02-02 13:33:18] 851*2^1003674-1 is not prime. Res64: 3CBDB8C24D11015B Time : 0.0 sec. user=mdettweiler [2012-02-02 13:33:18] 887*2^1003674-1 is not prime. Res64: 53CC5790E95AC077 Time : 0.0 sec. user=mdettweiler [2012-02-02 13:33:59] 987*2^1003673-1 is not prime. Res64: E60438ACD96C01C9 Time : 0.0 sec. user=mdettweiler [2012-02-02 13:34:00] 663*2^1003674-1 is not prime. Res64: D8D31CFBC14ADA21 Time : 0.0 sec. user=mdettweiler [2012-02-02 13:36:49] 891*2^1003674-1 is not prime. Res64: 621FB50254230C38 Time : 0.0 sec. user=mdettweiler [2012-02-02 13:36:49] 893*2^1003674-1 is not prime. Res64: 16ECA9D0B9845451 Time : 0.0 sec. user=mdettweiler [2012-02-02 13:45:18] 685*2^1003675-1 is not prime. Res64: C80DBE5B9BFA8A2C Time : 0.0 sec. user=mdettweiler [2012-02-02 13:45:18] 733*2^1003675-1 is not prime. Res64: 59F2DB6FE0462166 Time : 0.0 sec. user=mdettweiler [2012-02-02 13:53:20] 819*2^1003675-1 is not prime. Res64: 261381B5804F3C91 Time : 0.0 sec. user=mdettweiler [2012-02-02 13:53:21] 871*2^1003675-1 is not prime. Res64: 1414CA54515BF600 Time : 0.0 sec. user=mdettweiler [2012-02-02 13:53:59] 633*2^1003676-1 is not prime. Res64: D50E9FEC94035F8B Time : 0.0 sec. user=mdettweiler [2012-02-02 13:54:00] 845*2^1003676-1 is not prime. Res64: B9DA381CBE61B0BD Time : 0.0 sec. user=mdettweiler [2012-02-02 13:59:09] 983*2^1003676-1 is not prime. Res64: B8F9FC5B6C5FBDFB Time : 0.0 sec. user=mdettweiler [2012-02-02 13:59:09] 649*2^1003677-1 is not prime. Res64: 2EB966CE546B0643 Time : 0.0 sec. user=mdettweiler [2012-02-02 14:05:28] 939*2^1003667-1 is not prime. Res64: C2911176FC15DBB1 Time : 0.0 sec. user=mdettweiler [2012-02-02 14:05:30] 981*2^1003667-1 is not prime. Res64: 05B379F07C934428 Time : 0.0 sec. user=mdettweiler [2012-02-02 14:05:40] 661*2^1003677-1 is not prime. Res64: 6CFFC2BC68227D68 Time : 0.0 sec. user=mdettweiler [2012-02-02 14:05:42] 667*2^1003677-1 is not prime. Res64: EC4987EE336EBE7B Time : 0.0 sec. user=mdettweiler [2012-02-02 14:13:32] 717*2^1003677-1 is not prime. Res64: 76B68D2ED951DCAD Time : 0.0 sec. user=mdettweiler [2012-02-02 14:13:32] 819*2^1003677-1 is not prime. Res64: 02EB86A0B81DAE5A Time : 0.0 sec. user=mdettweiler [2012-02-02 14:13:38] 987*2^1003668-1 is not prime. Res64: 124595211A8C5F29 Time : 0.0 sec. user=mdettweiler [2012-02-02 14:13:39] 993*2^1003668-1 is not prime. Res64: BE9BB382DAE67613 Time : 0.0 sec. user=mdettweiler [2012-02-02 14:16:42] 991*2^1003677-1 is not prime. Res64: 795B04B3C58D45DF Time : 0.0 sec. user=mdettweiler [2012-02-02 14:16:42] 621*2^1003678-1 is not prime. Res64: F76B65C5D4A549CD Time : 0.0 sec. user=mdettweiler [2012-02-02 14:19:24] 623*2^1003678-1 is not prime. Res64: 6BAA0FC28C72BDF1 Time : 0.0 sec. user=mdettweiler [2012-02-02 14:19:25] 737*2^1003678-1 is not prime. Res64: 06A8565144DE050E Time : 0.0 sec. user=mdettweiler [2012-02-02 14:28:04] 827*2^1003678-1 is not prime. Res64: A0C26CE0734AA4EB Time : 0.0 sec. user=mdettweiler [2012-02-02 14:28:05] 951*2^1003678-1 is not prime. Res64: 52715FB380005B11 Time : 0.0 sec. user=mdettweiler [2012-02-02 14:33:32] 619*2^1003679-1 is not prime. Res64: B310B716249655E2 Time : 0.0 sec. user=mdettweiler [2012-02-02 14:33:32] 663*2^1003679-1 is not prime. Res64: 889651D903EC9363 Time : 0.0 sec. user=mdettweiler [2012-02-02 14:36:48] 711*2^1003679-1 is not prime. Res64: BB826506785A0D03 Time : 0.0 sec. user=mdettweiler [2012-02-02 14:36:48] 735*2^1003679-1 is not prime. Res64: 79330C75659FD8F8 Time : 0.0 sec. user=mdettweiler [2012-02-02 14:39:30] 843*2^1003679-1 is not prime. Res64: 02FCE5C0AFE0280E Time : 0.0 sec. user=mdettweiler [2012-02-02 14:39:30] 859*2^1003679-1 is not prime. Res64: 25EB2F31F616110D Time : 0.0 sec. user=mdettweiler [2012-02-02 14:46:15] 765*2^1003678-1 is not prime. Res64: FCB21220394C761F Time : 0.0 sec. user=mdettweiler [2012-02-02 14:52:47] 913*2^1003679-1 is not prime. Res64: C31BCD0944DBD528 Time : 0.0 sec. user=mdettweiler [2012-02-02 14:52:48] 931*2^1003679-1 is not prime. Res64: BBC2A78A858D4A8B Time : 0.0 sec. user=mdettweiler [2012-02-02 14:55:51] 979*2^1003679-1 is not prime. Res64: BFB59299013352F0 Time : 0.0 sec. user=mdettweiler [2012-02-02 14:55:52] 629*2^1003680-1 is not prime. Res64: 8FBFDBC010EAB3D6 Time : 0.0 sec. user=mdettweiler [2012-02-02 14:56:56] 689*2^1003680-1 is not prime. Res64: 690C29DFB26A3951 Time : 0.0 sec. user=mdettweiler [2012-02-02 14:56:57] 695*2^1003680-1 is not prime. Res64: 567901FBC2315AB5 Time : 0.0 sec. user=mdettweiler [2012-02-02 14:59:22] 685*2^1003679-1 is not prime. Res64: 99B035B2DD0B6C02 Time : 0.0 sec. user=mdettweiler [2012-02-02 14:59:33] 845*2^1003680-1 is not prime. Res64: 75EFB1E13AEB225F Time : 0.0 sec. user=mdettweiler [2012-02-02 14:59:33] 879*2^1003680-1 is not prime. Res64: DAA620FF14F52D3E Time : 0.0 sec. user=mdettweiler [2012-02-02 15:15:39] 983*2^1003680-1 is not prime. Res64: 5E315CBB2FD3C236 Time : 0.0 sec. user=mdettweiler [2012-02-02 15:15:39] 607*2^1003681-1 is not prime. Res64: E0124289A5459E34 Time : 0.0 sec. user=mdettweiler [2012-02-02 15:16:32] 645*2^1003681-1 is not prime. Res64: 51AD9E7F88E28BD0 Time : 0.0 sec. user=mdettweiler [2012-02-02 15:16:32] 799*2^1003681-1 is not prime. Res64: 06F44A30BDD620FA Time : 0.0 sec. user=mdettweiler [2012-02-02 15:17:27] 849*2^1003681-1 is not prime. Res64: 810FE98CFE5EFCD6 Time : 0.0 sec. user=mdettweiler [2012-02-02 15:17:27] 603*2^1003682-1 is not prime. Res64: 9BD7697BD544194F Time : 0.0 sec. user=mdettweiler [2012-02-02 15:19:59] 635*2^1003682-1 is not prime. Res64: 0F661000A21D70CF Time : 0.0 sec. user=mdettweiler [2012-02-02 15:19:59] 683*2^1003682-1 is not prime. Res64: 559E7997779EE27B Time : 0.0 sec. user=mdettweiler [2012-02-02 15:36:15] 701*2^1003682-1 is not prime. Res64: 3561953312F43D5D Time : 0.0 sec. user=mdettweiler [2012-02-02 15:36:15] 705*2^1003682-1 is not prime. Res64: CC2BD768417211A9 Time : 0.0 sec. user=mdettweiler [2012-02-02 15:36:54] 755*2^1003682-1 is not prime. Res64: 5F7863CCB85C87F5 Time : 0.0 sec. user=mdettweiler [2012-02-02 15:36:54] 767*2^1003682-1 is not prime. Res64: 627DCBBA6020C237 Time : 0.0 sec. user=mdettweiler [2012-02-02 15:40:34] 741*2^1003683-1 is not prime. Res64: 70114CD26F82679C Time : 0.0 sec. user=mdettweiler [2012-02-02 15:40:34] 765*2^1003683-1 is not prime. Res64: 8856D2CE3B0B9BCF Time : 0.0 sec. user=mdettweiler [2012-02-02 15:42:40] 935*2^1003682-1 is not prime. Res64: EB4320CE5AC63BAF Time : 0.0 sec. user=mdettweiler [2012-02-02 15:42:40] 951*2^1003682-1 is not prime. Res64: 54A3B8FDB49F1A4F Time : 0.0 sec. user=mdettweiler [2012-02-02 15:56:55] 769*2^1003683-1 is not prime. Res64: F01D856F3961F697 Time : 0.0 sec. user=mdettweiler [2012-02-02 15:56:56] 825*2^1003683-1 is not prime. Res64: 6F83E2420385F8A4 Time : 0.0 sec. user=mdettweiler [2012-02-02 15:59:43] 859*2^1003683-1 is not prime. Res64: D34E6CF80BBF3249 Time : 0.0 sec. user=mdettweiler [2012-02-02 15:59:43] 985*2^1003683-1 is not prime. Res64: 81B9425889A28A23 Time : 0.0 sec. user=mdettweiler [2012-02-02 16:01:03] 693*2^1003684-1 is not prime. Res64: 5B6E890EB8D97DDD Time : 0.0 sec. user=mdettweiler [2012-02-02 16:01:07] 855*2^1003684-1 is not prime. Res64: 004D1CE29269E16D Time : 0.0 sec. user=mdettweiler [2012-02-02 16:05:29] 869*2^1003684-1 is not prime. Res64: 3E8C8F5403CAB5F5 Time : 0.0 sec. user=mdettweiler [2012-02-02 16:05:30] 897*2^1003684-1 is not prime. Res64: 9C3107C385C311D3 Time : 0.0 sec. user=mdettweiler [2012-02-02 16:17:22] 729*2^1003685-1 is not prime. Res64: D6DAB2B01D37E7AB Time : 0.0 sec. user=mdettweiler [2012-02-02 16:17:22] 837*2^1003685-1 is not prime. Res64: 42E0EDCE60C3775A Time : 0.0 sec. user=mdettweiler [2012-02-02 16:20:05] 847*2^1003685-1 is not prime. Res64: A1AA095D2A374554 Time : 0.0 sec. user=mdettweiler [2012-02-02 16:20:05] 865*2^1003685-1 is not prime. Res64: 379A8669379BD75B Time : 0.0 sec. user=mdettweiler [2012-02-02 16:21:36] 615*2^1003686-1 is not prime. Res64: 951B63429C001D0B Time : 0.0 sec. user=mdettweiler [2012-02-02 16:21:37] 653*2^1003686-1 is not prime. Res64: FDCAC9105A498058 Time : 0.0 sec. user=mdettweiler [2012-02-02 16:25:57] 705*2^1003687-1 is not prime. Res64: 167A4D06998B05B0 Time : 0.0 sec. user=mdettweiler [2012-02-02 16:25:59] 741*2^1003687-1 is not prime. Res64: 3480E19DC46D3B85 Time : 0.0 sec. user=mdettweiler [2012-02-02 16:37:54] 805*2^1003687-1 is not prime. Res64: 5EFC30794E2F7F32 Time : 0.0 sec. user=mdettweiler [2012-02-02 16:37:55] 841*2^1003687-1 is not prime. Res64: A1BAEFB0FFFD6D32 Time : 0.0 sec. user=mdettweiler [2012-02-02 16:40:31] 683*2^1003688-1 is not prime. Res64: BCAB8C405A173DE6 Time : 0.0 sec. user=mdettweiler [2012-02-02 16:40:31] 725*2^1003688-1 is not prime. Res64: A47782DF5F009B65 Time : 0.0 sec. user=mdettweiler [2012-02-02 16:42:02] 803*2^1003688-1 is not prime. Res64: 5995363CC7D62890 Time : 0.0 sec. user=mdettweiler [2012-02-02 16:42:02] 867*2^1003688-1 is not prime. Res64: DBEB714C81CBFDB2 Time : 0.0 sec. user=mdettweiler [2012-02-02 16:48:41] 893*2^1003688-1 is not prime. Res64: 4340D7AF7CE11401 Time : 0.0 sec. user=mdettweiler [2012-02-02 16:48:42] 897*2^1003688-1 is not prime. Res64: 7B775EC54F1888F3 Time : 0.0 sec. user=mdettweiler [2012-02-02 17:00:47] 945*2^1003688-1 is not prime. Res64: D5DAA1C032A8F16F Time : 0.0 sec. user=mdettweiler [2012-02-02 17:00:49] 691*2^1003689-1 is not prime. Res64: B96E9AD2E3356F5D Time : 0.0 sec. user=mdettweiler [2012-02-02 17:02:42] 657*2^1003690-1 is not prime. Res64: 26AE826C9BFE811D Time : 0.0 sec. user=mdettweiler [2012-02-02 17:02:43] 687*2^1003690-1 is not prime. Res64: 5692A4145D815294 Time : 0.0 sec. user=mdettweiler [2012-02-02 17:05:37] 975*2^1003689-1 is not prime. Res64: F272231828F2EBA3 Time : 0.0 sec. user=mdettweiler [2012-02-02 17:05:40] 997*2^1003689-1 is not prime. Res64: 80549AE213CE291C Time : 0.0 sec. user=mdettweiler [2012-02-02 17:09:01] 695*2^1003690-1 is not prime. Res64: E0857FB415C74D6B Time : 0.0 sec. user=mdettweiler [2012-02-02 17:09:02] 801*2^1003690-1 is not prime. Res64: EEF0DD1095304C19 Time : 0.0 sec. user=mdettweiler [2012-02-02 17:12:31] 815*2^1003678-1 is not prime. Res64: 3A354A778C4E04C2 Time : 0.0 sec. user=mdettweiler [2012-02-02 17:21:28] 803*2^1003690-1 is not prime. Res64: AB5620BB465D8ADD Time : 0.0 sec. user=mdettweiler [2012-02-02 17:21:28] 825*2^1003690-1 is not prime. Res64: E0C62E20BB88C134 Time : 0.0 sec. user=mdettweiler [2012-02-02 17:22:12] 703*2^1003679-1 is not prime. Res64: B97087255A28B867 Time : 0.0 sec. user=mdettweiler [2012-02-02 17:25:28] 887*2^1003690-1 is not prime. Res64: 02226C52395EC02B Time : 0.0 sec. user=mdettweiler [2012-02-02 17:25:28] 951*2^1003690-1 is not prime. Res64: 67985AEB474B65C1 Time : 0.0 sec. user=mdettweiler [2012-02-02 17:28:21] 971*2^1003690-1 is not prime. Res64: AC28A4BBA2305536 Time : 0.0 sec. user=mdettweiler [2012-02-02 17:28:21] 711*2^1003691-1 is not prime. Res64: 39D6E46C93D9945A Time : 0.0 sec. user=mdettweiler [2012-02-02 17:29:21] 759*2^1003691-1 is not prime. Res64: 2E4DFDF01EC1C679 Time : 0.0 sec. user=mdettweiler [2012-02-02 17:29:21] 811*2^1003691-1 is not prime. Res64: B039330A40C2087B Time : 0.0 sec. user=mdettweiler [2012-02-02 17:41:14] 623*2^1003692-1 is not prime. Res64: 1C35FA458A7883D3 Time : 0.0 sec. user=mdettweiler [2012-02-02 17:41:14] 669*2^1003692-1 is not prime. Res64: FD411F44325D4ACB Time : 0.0 sec. user=mdettweiler [2012-02-02 17:45:21] 879*2^1003692-1 is not prime. Res64: 2EF67F3D355D5B4E Time : 0.0 sec. user=mdettweiler [2012-02-02 17:45:21] 681*2^1003693-1 is not prime. Res64: 31D9241745E9EC8B Time : 0.0 sec. user=mdettweiler [2012-02-02 17:48:12] 687*2^1003693-1 is not prime. Res64: 664744CF496245FA Time : 0.0 sec. user=mdettweiler [2012-02-02 17:48:12] 741*2^1003693-1 is not prime. Res64: 217E757AD13A252F Time : 0.0 sec. user=mdettweiler [2012-02-02 17:51:33] 751*2^1003693-1 is not prime. Res64: 73432569C2C363C2 Time : 0.0 sec. user=mdettweiler [2012-02-02 17:51:33] 937*2^1003693-1 is not prime. Res64: 5C5733C8FCDDAD6F Time : 0.0 sec. user=mdettweiler [2012-02-02 17:58:14] 917*2^1003670-1 is not prime. Res64: A245F13337606CAD Time : 0.0 sec. user=mdettweiler [2012-02-02 17:58:15] 639*2^1003671-1 is not prime. Res64: B0D7301FE35A4FC5 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:01:11] 675*2^1003694-1 is not prime. Res64: 629F143BFF2A4312 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:01:12] 705*2^1003694-1 is not prime. Res64: 4B3C829B4998E9F1 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:07:35] 861*2^1003694-1 is not prime. Res64: 324D85684550DF0E Time : 0.0 sec. user=mdettweiler [2012-02-02 18:07:37] 903*2^1003694-1 is not prime. Res64: 205703B5F6432A66 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:08:05] 639*2^1003695-1 is not prime. Res64: AEAACD31A7AC3C88 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:08:06] 651*2^1003695-1 is not prime. Res64: B8A1B13C4C22FCD9 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:11:23] 693*2^1003695-1 is not prime. Res64: 009F749828E35C2E Time : 0.0 sec. user=mdettweiler [2012-02-02 18:11:24] 705*2^1003695-1 is not prime. Res64: 15809BBD70BE2D04 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:16:38] 779*2^1003692-1 is not prime. Res64: 829DF65A7FA73912 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:16:39] 883*2^1003691-1 is not prime. Res64: F16536A927093481 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:21:06] 775*2^1003695-1 is not prime. Res64: 598DC2079FA1D099 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:21:06] 781*2^1003695-1 is not prime. Res64: BDD5632D177B288C Time : 0.0 sec. user=mdettweiler [2012-02-02 18:27:31] 789*2^1003695-1 is not prime. Res64: E6C56D50E586D59E Time : 0.0 sec. user=mdettweiler [2012-02-02 18:27:31] 861*2^1003695-1 is not prime. Res64: 985846D8B1B579E3 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:30:22] 933*2^1003695-1 is not prime. Res64: 22068F78C101D6B5 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:30:22] 609*2^1003696-1 is not prime. Res64: F73F0C79C452DCBD Time : 0.0 sec. user=mdettweiler [2012-02-02 18:31:14] 615*2^1003696-1 is not prime. Res64: 2466853774075641 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:31:14] 689*2^1003696-1 is not prime. Res64: D920E2D6A016F04D Time : 0.0 sec. user=mdettweiler [2012-02-02 18:40:59] 755*2^1003696-1 is not prime. Res64: EB83D99AF89A01F4 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:40:59] 765*2^1003696-1 is not prime. Res64: E998FA27C9D6E16B Time : 0.0 sec. user=mdettweiler [2012-02-02 18:43:17] 889*2^1003691-1 is not prime. Res64: 61A06CBEA6AF60F6 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:47:32] 845*2^1003696-1 is not prime. Res64: EF96E884F88F0607 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:47:32] 869*2^1003696-1 is not prime. Res64: 2FE2B9E3E880C196 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:52:37] 875*2^1003696-1 is not prime. Res64: 64B15C057ADF2A9B Time : 0.0 sec. user=mdettweiler [2012-02-02 18:52:37] 917*2^1003696-1 is not prime. Res64: 0CAF902DAB19D6C8 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:52:42] 875*2^1003692-1 is not prime. Res64: 724A91D5E55DD504 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:53:24] 999*2^1003696-1 is not prime. Res64: AFA04D01292F4849 Time : 0.0 sec. user=mdettweiler [2012-02-02 18:53:25] 691*2^1003697-1 is not prime. Res64: FD7B658C0D7F8D53 Time : 0.0 sec. user=mdettweiler [2012-02-02 19:00:52] 831*2^1003697-1 is not prime. Res64: 6E72F39311FC76F2 Time : 0.0 sec. user=mdettweiler [2012-02-02 19:00:54] 841*2^1003697-1 is not prime. Res64: 80FC11B815ACAC18 Time : 0.0 sec. user=mdettweiler [2012-02-02 19:12:10] 955*2^1003697-1 is not prime. Res64: A6DAFCDF861AB2EE Time : 0.0 sec. user=mdettweiler [2012-02-02 19:12:11] 967*2^1003697-1 is not prime. Res64: 6EF184989B3400D8 Time : 0.0 sec. user=mdettweiler [2012-02-02 19:12:25] 633*2^1003698-1 is not prime. Res64: 73F8F51C92A3936D Time : 0.0 sec. user=mdettweiler [2012-02-02 19:12:25] 677*2^1003698-1 is not prime. Res64: 438607E2A773E68A Time : 0.0 sec. user=mdettweiler [2012-02-02 19:15:38] 881*2^1003698-1 is not prime. Res64: CF1AA15297CAD201 Time : 0.0 sec. user=mdettweiler [2012-02-02 19:15:39] 927*2^1003698-1 is not prime. Res64: 35FFD848B27F909A Time : 0.0 sec. user=mdettweiler [2012-02-02 19:20:51] 733*2^1003699-1 is not prime. Res64: 213E7178B3C7196C Time : 0.0 sec. user=mdettweiler [2012-02-02 19:20:51] 745*2^1003699-1 is not prime. Res64: 42D7928E251559E9 Time : 0.0 sec. user=mdettweiler [2012-02-02 19:27:57] 735*2^1003695-1 is not prime. Res64: 085793685523055D Time : 0.0 sec. user=mdettweiler [2012-02-02 19:27:58] 765*2^1003695-1 is not prime. Res64: 5EC059E9D7559858 Time : 0.0 sec. user=mdettweiler [2012-02-02 19:32:33] 769*2^1003699-1 is not prime. Res64: 5621E66A293B1CCB Time : 0.0 sec. user=mdettweiler [2012-02-02 19:32:33] 835*2^1003699-1 is not prime. Res64: 67075FC8B4946108 Time : 0.0 sec. user=mdettweiler [2012-02-02 19:35:04] 969*2^1003699-1 is not prime. Res64: F22FB1248C90A1A1 Time : 0.0 sec. user=mdettweiler [2012-02-02 19:35:04] 707*2^1003700-1 is not prime. Res64: ED731CA517480015 Time : 0.0 sec. user=mdettweiler [2012-02-02 19:36:05] 845*2^1003700-1 is not prime. Res64: EEC76BD95A0C87AA Time : 0.0 sec. user=mdettweiler [2012-02-02 19:36:05] 855*2^1003700-1 is not prime. Res64: 4F17A5AC1C8DE17B Time : 0.0 sec. user=mdettweiler [2012-02-02 19:43:40] 875*2^1003700-1 is not prime. Res64: 434272AD7C2C02C0 Time : 0.0 sec. user=mdettweiler [2012-02-02 19:43:40] 927*2^1003700-1 is not prime. Res64: EA559E62B0AAD482 Time : 0.0 sec. user=mdettweiler [2012-02-02 19:54:48] 805*2^1003701-1 is not prime. Res64: 000A715221A8F50F Time : 0.0 sec. user=mdettweiler [2012-02-02 19:54:49] 927*2^1003701-1 is not prime. Res64: 4C6056249A7608D8 Time : 0.0 sec. user=mdettweiler [2012-02-02 19:55:08] 635*2^1003702-1 is not prime. Res64: 358E8D7F83392905 Time : 0.0 sec. user=mdettweiler [2012-02-02 19:55:09] 723*2^1003702-1 is not prime. Res64: BB7D1E120B6072CA Time : 0.0 sec. user=mdettweiler [2012-02-02 19:56:01] 761*2^1003702-1 is not prime. Res64: 0D94AD179E8A9051 Time : 0.0 sec. user=mdettweiler [2012-02-02 19:56:02] 765*2^1003702-1 is not prime. Res64: F8B2649B96EE3273 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:03:34] 827*2^1003702-1 is not prime. Res64: D51AA910D874DEF1 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:03:36] 855*2^1003702-1 is not prime. Res64: 4CE5D44E2727AEDC Time : 0.0 sec. user=mdettweiler [2012-02-02 20:10:32] 681*2^1003698-1 is not prime. Res64: 088735863C99A52D Time : 0.0 sec. user=mdettweiler [2012-02-02 20:10:33] 791*2^1003698-1 is not prime. Res64: 513EF5ADA89239C9 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:15:47] 759*2^1003703-1 is not prime. Res64: ACA260B5CA4585AF Time : 0.0 sec. user=mdettweiler [2012-02-02 20:15:48] 853*2^1003703-1 is not prime. Res64: 781351C32F482CA8 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:17:10] 983*2^1003702-1 is not prime. Res64: 856E0284010354A3 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:17:11] 661*2^1003703-1 is not prime. Res64: 7B0CB51B6E6403A7 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:18:13] 931*2^1003697-1 is not prime. Res64: A0F8E5E35B76EE95 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:18:14] 937*2^1003697-1 is not prime. Res64: ECF835FF44A3BD32 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:19:13] 915*2^1003702-1 is not prime. Res64: 7DDA5A9EC93DA3CE Time : 0.0 sec. user=mdettweiler [2012-02-02 20:19:14] 945*2^1003702-1 is not prime. Res64: 0BD340950F6FB4BD Time : 0.0 sec. user=mdettweiler [2012-02-02 20:25:45] 879*2^1003703-1 is not prime. Res64: E5C81F6D5DA6D428 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:25:45] 921*2^1003703-1 is not prime. Res64: BA0B3931BBAB1E9A Time : 0.0 sec. user=mdettweiler [2012-02-02 20:35:38] 663*2^1003704-1 is not prime. Res64: 556D06ABA918F039 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:35:39] 693*2^1003704-1 is not prime. Res64: 638BFC695C953121 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:36:55] 719*2^1003704-1 is not prime. Res64: 2BD8215078C8A96C Time : 0.0 sec. user=mdettweiler [2012-02-02 20:36:55] 857*2^1003704-1 is not prime. Res64: D807557C9B06CE9E Time : 0.0 sec. user=mdettweiler [2012-02-02 20:39:00] 635*2^1003706-1 is not prime. Res64: 5DE30C0E2DC49278 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:39:01] 711*2^1003706-1 is not prime. Res64: 3CE38F385D5890C1 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:45:09] 669*2^1003701-1 is not prime. Res64: 22DCAA227C8865B4 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:45:09] 709*2^1003701-1 is not prime. Res64: D47E8E1DFB5BF0A3 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:45:40] 801*2^1003706-1 is not prime. Res64: C6A85BAEF2CFD716 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:45:40] 831*2^1003706-1 is not prime. Res64: 4DC1D88D8534F09E Time : 0.0 sec. user=mdettweiler [2012-02-02 20:55:34] 711*2^1003707-1 is not prime. Res64: 712DB3FB81FACDE2 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:55:34] 735*2^1003707-1 is not prime. Res64: 203037277AFFFC26 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:56:49] 765*2^1003707-1 is not prime. Res64: FF75027AD6B47158 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:56:49] 793*2^1003707-1 is not prime. Res64: 278A6142720C83A1 Time : 0.0 sec. user=mdettweiler [2012-02-02 20:58:52] 805*2^1003707-1 is not prime. Res64: A13D8CF2F486EBAF Time : 0.0 sec. user=mdettweiler [2012-02-02 20:58:52] 859*2^1003707-1 is not prime. Res64: B62B15FA3CA4886D Time : 0.0 sec. user=mdettweiler [2012-02-02 21:07:43] 839*2^1003708-1 is not prime. Res64: DDEAD16D1C5EDFFD Time : 0.0 sec. user=mdettweiler [2012-02-02 21:07:44] 909*2^1003708-1 is not prime. Res64: 64366C385F1DE800 Time : 0.0 sec. user=mdettweiler [2012-02-02 21:16:39] 635*2^1003710-1 is not prime. Res64: 154EEEB7EB6F038F Time : 0.0 sec. user=mdettweiler [2012-02-02 21:16:39] 725*2^1003710-1 is not prime. Res64: 575D813F83802593 Time : 0.0 sec. user=mdettweiler [2012-02-02 21:17:38] 861*2^1003709-1 is not prime. Res64: 929E7A3D376F3C9C Time : 0.0 sec. user=mdettweiler [2012-02-02 21:17:38] 897*2^1003709-1 is not prime. Res64: 6C29CC5232559334 Time : 0.0 sec. user=mdettweiler [2012-02-02 21:18:38] 741*2^1003710-1 is not prime. Res64: 1D06FFE240CEBC3B Time : 0.0 sec. user=mdettweiler [2012-02-02 21:18:39] 821*2^1003710-1 is not prime. Res64: 8717FE2381ED7AD2 Time : 0.0 sec. user=mdettweiler [2012-02-02 21:29:49] 861*2^1003710-1 is not prime. Res64: B5097971221A98A8 Time : 0.0 sec. user=mdettweiler [2012-02-02 21:29:50] 917*2^1003710-1 is not prime. Res64: 83EB770AD4F87DEC Time : 0.0 sec. user=mdettweiler [2012-02-02 21:35:35] 607*2^1003705-1 is not prime. Res64: 0563EEDA5A2DC4E8 Time : 0.0 sec. user=mdettweiler [2012-02-02 21:35:35] 645*2^1003705-1 is not prime. Res64: 0621A46F41E9F240 Time : 0.0 sec. user=mdettweiler [2012-02-02 21:37:26] 615*2^1003711-1 is not prime. Res64: CCE29776BA92023C Time : 0.0 sec. user=mdettweiler [2012-02-02 21:37:26] 645*2^1003711-1 is not prime. Res64: 00B890FE20580797 Time : 0.0 sec. user=mdettweiler [2012-02-02 21:38:33] 819*2^1003711-1 is not prime. Res64: 2C22D1F07856703A Time : 0.0 sec. user=mdettweiler [2012-02-02 21:38:33] 861*2^1003711-1 is not prime. Res64: 4AB5C9F91D40FE7A Time : 0.0 sec. user=mdettweiler [2012-02-02 21:38:48] 941*2^1003710-1 is not prime. Res64: 0C194FEAC9BA767C Time : 0.0 sec. user=mdettweiler [2012-02-02 21:38:49] 601*2^1003711-1 is not prime. Res64: 40F9DC530576ACCA Time : 0.0 sec. user=mdettweiler [2012-02-02 21:45:40] 949*2^1003703-1 is not prime. Res64: 33AB58F1A1195074 Time : 0.0 sec. user=mdettweiler [2012-02-02 21:45:40] 969*2^1003703-1 is not prime. Res64: 46E847C28A71AEE8 Time : 0.0 sec. user=mdettweiler [2012-02-02 21:54:08] 895*2^1003711-1 is not prime. Res64: 5316463DE609B1B1 Time : 0.0 sec. user=mdettweiler [2012-02-02 21:54:09] 901*2^1003711-1 is not prime. Res64: 8A83AAA61F2743D0 Time : 0.0 sec. user=mdettweiler [2012-02-02 21:58:20] 679*2^1003713-1 is not prime. Res64: 993DA00118C41CA9 Time : 0.0 sec. user=mdettweiler [2012-02-02 21:58:21] 691*2^1003713-1 is not prime. Res64: 5DCEEED3FC1258E9 Time : 0.0 sec. user=mdettweiler [2012-02-02 21:58:38] 721*2^1003713-1 is not prime. Res64: 8E85B0C76C0AC162 Time : 0.0 sec. user=mdettweiler [2012-02-02 21:58:39] 747*2^1003713-1 is not prime. Res64: 0AA4612D16B3992E Time : 0.0 sec. user=mdettweiler [2012-02-02 21:59:28] 777*2^1003712-1 is not prime. Res64: 9E2B326700B760C0 Time : 0.0 sec. user=mdettweiler [2012-02-02 21:59:28] 917*2^1003712-1 is not prime. Res64: 88E88C6DC75CE197 Time : 0.0 sec. user=mdettweiler [2012-02-02 22:12:23] 861*2^1003707-1 is not prime. Res64: 7EFB7D164021A7B0 Time : 0.0 sec. user=mdettweiler [2012-02-02 22:12:23] 931*2^1003707-1 is not prime. Res64: 3381F24F07DFBEAF Time : 0.0 sec. user=mdettweiler [2012-02-02 22:13:51] 605*2^1003714-1 is not prime. Res64: DADE0778CA7138B2 Time : 0.0 sec. user=mdettweiler [2012-02-02 22:13:51] 621*2^1003714-1 is not prime. Res64: D327416440ABA88B Time : 0.0 sec. user=mdettweiler [2012-02-02 22:18:07] 623*2^1003714-1 is not prime. Res64: 2EBAF8996982B248 Time : 0.0 sec. user=mdettweiler [2012-02-02 22:18:07] 677*2^1003714-1 is not prime. Res64: 0BD9BA0ED8BEC5A8 Time : 0.0 sec. user=mdettweiler [2012-02-02 22:18:23] 803*2^1003714-1 is not prime. Res64: 0D770C199C144FEC Time : 0.0 sec. user=mdettweiler [2012-02-02 22:18:24] 891*2^1003714-1 is not prime. Res64: 6AC5DED9F9E693C8 Time : 0.0 sec. user=mdettweiler [2012-02-02 22:21:35] 917*2^1003714-1 is not prime. Res64: 2BF8E63F14E9FE1B Time : 0.0 sec. user=mdettweiler [2012-02-02 22:21:36] 601*2^1003715-1 is not prime. Res64: 8BA3488F145ADB7F Time : 0.0 sec. user=mdettweiler [2012-02-02 22:33:47] 801*2^1003715-1 is not prime. Res64: CB9F8BD7D553FAC6 Time : 0.0 sec. user=mdettweiler [2012-02-02 22:33:48] 829*2^1003715-1 is not prime. Res64: A4413E1C1CB21560 Time : 0.0 sec. user=mdettweiler [2012-02-02 22:40:10] 981*2^1003715-1 is not prime. Res64: A0201C31D8980DD1 Time : 0.0 sec. user=mdettweiler [2012-02-02 22:40:10] 657*2^1003716-1 is not prime. Res64: 5BD8B26608DD33B0 Time : 0.0 sec. user=mdettweiler [2012-02-02 22:41:23] 635*2^1003718-1 is not prime. Res64: DFCAA6F7CD1D0F9F Time : 0.0 sec. user=mdettweiler [2012-02-02 22:41:23] 641*2^1003718-1 is not prime. Res64: 172960CA0550152F Time : 0.0 sec. user=mdettweiler [2012-02-02 22:42:44] 903*2^1003716-1 is not prime. Res64: B1D2E5BF915BD4B1 Time : 0.0 sec. user=mdettweiler [2012-02-02 22:42:45] 939*2^1003717-1 is not prime. Res64: 99493ED0C6A53BA4 Time : 0.0 sec. user=mdettweiler [2012-02-02 22:53:32] 663*2^1003718-1 is not prime. Res64: 9E6EF61016402FF9 Time : 0.0 sec. user=mdettweiler [2012-02-02 22:53:32] 693*2^1003718-1 is not prime. Res64: F8D40F3191E474D1 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:00:00] 813*2^1003718-1 is not prime. Res64: 1643EB3672023FC9 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:00:01] 831*2^1003718-1 is not prime. Res64: 60492A3EFA15CBB0 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:02:08] 933*2^1003711-1 is not prime. Res64: 0A6314EFBA47F4A2 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:02:10] 755*2^1003712-1 is not prime. Res64: DBB5070D244E97D4 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:03:26] 887*2^1003718-1 is not prime. Res64: EED091FDA0211042 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:03:27] 945*2^1003718-1 is not prime. Res64: 6EC67CDAD5F06ED6 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:04:51] 995*2^1003718-1 is not prime. Res64: 9317B5E1AA4426D3 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:04:51] 625*2^1003719-1 is not prime. Res64: B8C350CB9D37E008 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:13:16] 679*2^1003719-1 is not prime. Res64: 59F4100A6EC8714A Time : 0.0 sec. user=mdettweiler [2012-02-02 23:13:17] 705*2^1003719-1 is not prime. Res64: B2264CC3E6D1BBC4 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:19:51] 735*2^1003719-1 is not prime. Res64: 470C4D37C24EB146 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:19:52] 859*2^1003719-1 is not prime. Res64: BDAB1984C7C31BF8 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:19:56] 895*2^1003713-1 is not prime. Res64: 402371E2BFDB4038 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:19:56] 987*2^1003713-1 is not prime. Res64: 75694CABD3CDC182 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:23:07] 605*2^1003720-1 is not prime. Res64: 540772427BD4418E Time : 0.0 sec. user=mdettweiler [2012-02-02 23:23:08] 615*2^1003720-1 is not prime. Res64: 8B986181D11231AD Time : 0.0 sec. user=mdettweiler [2012-02-02 23:24:36] 849*2^1003720-1 is not prime. Res64: FFB56562C14D9B01 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:24:36] 615*2^1003721-1 is not prime. Res64: 558A84F70A4B3E59 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:29:34] 603*2^1003715-1 is not prime. Res64: F0BB591B099F2C33 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:29:34] 699*2^1003715-1 is not prime. Res64: 1EFFB272ED0F40E6 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:33:06] 627*2^1003721-1 is not prime. Res64: 0E797FAA48F25E8A Time : 0.0 sec. user=mdettweiler [2012-02-02 23:33:06] 685*2^1003721-1 is not prime. Res64: D0209E3E3E3758C7 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:39:53] 745*2^1003721-1 is not prime. Res64: 538B1EB034B3E04A Time : 0.0 sec. user=mdettweiler [2012-02-02 23:39:53] 885*2^1003721-1 is not prime. Res64: D1237D5C314DEA04 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:42:54] 735*2^1003722-1 is not prime. Res64: 566B4DB343DABF5E Time : 0.0 sec. user=mdettweiler [2012-02-02 23:42:54] 609*2^1003723-1 is not prime. Res64: 77A1BF8DE7BC3A7C Time : 0.0 sec. user=mdettweiler [2012-02-02 23:44:25] 751*2^1003723-1 is not prime. Res64: E40C628CC0668300 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:44:26] 835*2^1003723-1 is not prime. Res64: 2FA442F83F92813D Time : 0.0 sec. user=mdettweiler [2012-02-02 23:52:52] 767*2^1003724-1 is not prime. Res64: 9010AD812C5B181F Time : 0.0 sec. user=mdettweiler [2012-02-02 23:52:53] 843*2^1003724-1 is not prime. Res64: 6B73FE53A0CECD07 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:59:37] 873*2^1003724-1 is not prime. Res64: FC5BED2E41179625 Time : 0.0 sec. user=mdettweiler [2012-02-02 23:59:38] 609*2^1003725-1 is not prime. Res64: 7AB8278670BA8011 Time : 0.0 sec.