user=mdettweiler [2012-10-05 00:02:19] 683*2^1230086-1 is not prime. Res64: 3AE211B981DB2505 Time : 0.0 sec. user=mdettweiler [2012-10-05 00:02:20] 717*2^1230086-1 is not prime. Res64: 5434A6327933B08C Time : 0.0 sec. user=odicin [2012-10-05 00:02:40] 801*2^1230086-1 is not prime. Res64: 9D4D181D32E5AB96 Time : 0.0 sec. user=mdettweiler [2012-10-05 00:14:48] 813*2^1230086-1 is not prime. Res64: 61C7CD3CB6DDA665 Time : 0.0 sec. user=mdettweiler [2012-10-05 00:14:49] 815*2^1230086-1 is not prime. Res64: 3DA88F338789937C Time : 0.0 sec. user=odicin [2012-10-05 00:14:55] 945*2^1230086-1 is not prime. Res64: CB07A98020106CD7 Time : 0.0 sec. user=mdettweiler [2012-10-05 00:22:57] 831*2^1230086-1 is not prime. Res64: F58A90FD028DBFDA Time : 0.0 sec. user=mdettweiler [2012-10-05 00:22:58] 843*2^1230086-1 is not prime. Res64: A7DFEECF6CCE8B0F Time : 0.0 sec. user=odicin [2012-10-05 00:27:10] 711*2^1230087-1 is not prime. Res64: B74CD2765780FF1F Time : 0.0 sec. user=mdettweiler [2012-10-05 00:35:32] 621*2^1230087-1 is not prime. Res64: 618E1A0F8D9FB23E Time : 0.0 sec. user=mdettweiler [2012-10-05 00:35:33] 685*2^1230087-1 is not prime. Res64: 7A99A139EF25192C Time : 0.0 sec. user=odicin [2012-10-05 00:39:30] 825*2^1230087-1 is not prime. Res64: 56EE408BE3360069 Time : 0.0 sec. user=mdettweiler [2012-10-05 00:43:37] 751*2^1230087-1 is not prime. Res64: 7B67556396E43620 Time : 0.0 sec. user=mdettweiler [2012-10-05 00:43:38] 781*2^1230087-1 is not prime. Res64: 8065A0959AEE55BF Time : 0.0 sec. user=odicin [2012-10-05 00:51:42] 615*2^1230088-1 is not prime. Res64: 1B11F334231646DD Time : 0.0 sec. user=mdettweiler [2012-10-05 00:56:09] 885*2^1230087-1 is not prime. Res64: 6A9EA2C0849F948F Time : 0.0 sec. user=mdettweiler [2012-10-05 00:56:09] 991*2^1230087-1 is not prime. Res64: 18D4734DAE557138 Time : 0.0 sec. user=odicin [2012-10-05 01:04:00] 797*2^1230088-1 is not prime. Res64: FB3F43518835D1FC Time : 0.0 sec. user=mdettweiler [2012-10-05 01:04:18] 723*2^1230088-1 is not prime. Res64: E8EA00D097573450 Time : 0.0 sec. user=mdettweiler [2012-10-05 01:04:20] 773*2^1230088-1 is not prime. Res64: A163932472988D7A Time : 0.0 sec. user=mdettweiler [2012-10-05 01:16:47] 619*2^1230089-1 is not prime. Res64: 58F4018A842405DF Time : 0.0 sec. user=mdettweiler [2012-10-05 01:16:49] 685*2^1230089-1 is not prime. Res64: FEF2FD8B5B606B94 Time : 0.0 sec. user=odicin [2012-10-05 01:16:57] 861*2^1230089-1 is not prime. Res64: 0B139845EF5C37D7 Time : 0.0 sec. user=mdettweiler [2012-10-05 01:25:06] 745*2^1230089-1 is not prime. Res64: 9344E0EEDCFF3DC0 Time : 0.0 sec. user=mdettweiler [2012-10-05 01:25:07] 747*2^1230089-1 is not prime. Res64: B75EBB24EBB7DD44 Time : 0.0 sec. user=odicin [2012-10-05 01:29:30] 909*2^1230089-1 is not prime. Res64: EE590D7115A8DAA6 Time : 0.0 sec. user=mdettweiler [2012-10-05 01:37:33] 885*2^1230089-1 is not prime. Res64: 92545DC689AF9A35 Time : 0.0 sec. user=mdettweiler [2012-10-05 01:37:33] 889*2^1230089-1 is not prime. Res64: 51EFE8990BC4AF4F Time : 0.0 sec. user=odicin [2012-10-05 01:41:56] 979*2^1230089-1 is not prime. Res64: 12D8DE249E910A5E Time : 0.0 sec. user=vaughan [2012-10-05 01:44:13] 871*2^1230087-1 is not prime. Res64: FF9AE43317479BCE Time : 0.0 sec. user=mdettweiler [2012-10-05 01:45:43] 931*2^1230089-1 is not prime. Res64: 098D29101F4A929C Time : 0.0 sec. user=mdettweiler [2012-10-05 01:45:44] 949*2^1230089-1 is not prime. Res64: CD1B6C861DFCE83E Time : 0.0 sec. user=odicin [2012-10-05 01:54:27] 747*2^1230090-1 is not prime. Res64: DBBE1CABE0CDF444 Time : 0.0 sec. user=mdettweiler [2012-10-05 01:58:10] 647*2^1230090-1 is not prime. Res64: F5B63AE096C12B37 Time : 0.0 sec. user=mdettweiler [2012-10-05 01:58:10] 723*2^1230090-1 is not prime. Res64: DFA394BF20A33F9B Time : 0.0 sec. user=mdettweiler [2012-10-05 02:06:21] 873*2^1230090-1 is not prime. Res64: EC171BD6F3F4EA19 Time : 0.0 sec. user=mdettweiler [2012-10-05 02:06:23] 649*2^1230091-1 is not prime. Res64: B5C4D046931A19BD Time : 0.0 sec. user=odicin [2012-10-05 02:06:42] 745*2^1230091-1 is not prime. Res64: 6852C35F8095275E Time : 0.0 sec. user=mdettweiler [2012-10-05 02:18:47] 951*2^1230091-1 is not prime. Res64: 824CBA67B1532D41 Time : 0.0 sec. user=mdettweiler [2012-10-05 02:18:49] 979*2^1230091-1 is not prime. Res64: 59A0B4127D438262 Time : 0.0 sec. user=odicin [2012-10-05 02:18:57] 903*2^1230092-1 is not prime. Res64: B8E242D455E4AF3A Time : 0.0 sec. user=vaughan [2012-10-05 02:22:16] 845*2^1230090-1 is not prime. Res64: 288B72209D5B5865 Time : 0.0 sec. user=mdettweiler [2012-10-05 02:27:10] 885*2^1230092-1 is not prime. Res64: BECBC72B640B8D70 Time : 0.0 sec. user=mdettweiler [2012-10-05 02:27:11] 899*2^1230092-1 is not prime. Res64: 6E9603497DC8AE54 Time : 0.0 sec. user=odicin [2012-10-05 02:31:18] 625*2^1230093-1 is not prime. Res64: DC95F66306B5636B Time : 0.0 sec. user=mdettweiler [2012-10-05 02:39:39] 977*2^1230092-1 is not prime. Res64: A6621195BB1658FB Time : 0.0 sec. user=mdettweiler [2012-10-05 02:39:40] 621*2^1230093-1 is not prime. Res64: 5D8F320646983A64 Time : 0.0 sec. user=odicin [2012-10-05 02:43:36] 645*2^1230094-1 is not prime. Res64: 2E34DA4C147D2CBB Time : 0.0 sec. user=mdettweiler [2012-10-05 02:47:48] 895*2^1230093-1 is not prime. Res64: 096245CDA1CB7B5D Time : 0.0 sec. user=mdettweiler [2012-10-05 02:47:49] 915*2^1230093-1 is not prime. Res64: 4287340E6313E6C7 Time : 0.0 sec. user=odicin [2012-10-05 02:56:12] 947*2^1230094-1 is not prime. Res64: E3C698D193E6C063 Time : 0.0 sec. user=mdettweiler [2012-10-05 03:00:28] 857*2^1230094-1 is not prime. Res64: 19FF9A899C2909BD Time : 0.0 sec. user=mdettweiler [2012-10-05 03:00:31] 861*2^1230094-1 is not prime. Res64: 634C0E2B82D37D54 Time : 0.0 sec. user=mdettweiler [2012-10-05 03:08:25] 971*2^1230094-1 is not prime. Res64: 9073DD1FE6EC4ED8 Time : 0.0 sec. user=mdettweiler [2012-10-05 03:08:28] 1001*2^1230094-1 is not prime. Res64: 2B5573B6F321B1D0 Time : 0.0 sec. user=odicin [2012-10-05 03:08:42] 655*2^1230095-1 is not prime. Res64: CE4BB81387F50EEC Time : 0.0 sec. user=odicin [2012-10-05 03:21:03] 913*2^1230095-1 is not prime. Res64: E7AD3134ED1DC4E5 Time : 0.0 sec. user=mdettweiler [2012-10-05 03:21:18] 663*2^1230095-1 is not prime. Res64: F3951EFA973E2D46 Time : 0.0 sec. user=mdettweiler [2012-10-05 03:21:19] 735*2^1230095-1 is not prime. Res64: 44CE831609DAD100 Time : 0.0 sec. user=mdettweiler [2012-10-05 03:29:09] 841*2^1230095-1 is not prime. Res64: BC9AA8C13198AED6 Time : 0.0 sec. user=mdettweiler [2012-10-05 03:29:10] 865*2^1230095-1 is not prime. Res64: BFE4BEB1263BAA36 Time : 0.0 sec. user=odicin [2012-10-05 03:33:21] 629*2^1230096-1 is not prime. Res64: 610B9F79146DED90 Time : 0.0 sec. user=vaughan [2012-10-05 03:36:20] 685*2^1230093-1 is not prime. Res64: 53BE04D2C3A34067 Time : 0.0 sec. user=mdettweiler [2012-10-05 03:41:55] 773*2^1230096-1 is not prime. Res64: 93E303EF22503F10 Time : 0.0 sec. user=mdettweiler [2012-10-05 03:41:55] 849*2^1230096-1 is not prime. Res64: B77AB95376323424 Time : 0.0 sec. user=odicin [2012-10-05 03:45:48] 649*2^1230097-1 is not prime. Res64: B617DA06C96360D3 Time : 0.0 sec. user=mdettweiler [2012-10-05 03:49:48] 999*2^1230096-1 is not prime. Res64: 6AD115BFAD40BB19 Time : 0.0 sec. user=mdettweiler [2012-10-05 03:49:48] 607*2^1230097-1 is not prime. Res64: ADA1B2EB2B232ECB Time : 0.0 sec. user=odicin [2012-10-05 03:57:59] 871*2^1230097-1 is not prime. Res64: 4F4BB4FEC2BB2768 Time : 0.0 sec. user=mdettweiler [2012-10-05 04:02:32] 777*2^1230097-1 is not prime. Res64: E24F600F004105C5 Time : 0.0 sec. user=mdettweiler [2012-10-05 04:02:34] 805*2^1230097-1 is not prime. Res64: 44970C440F0AE210 Time : 0.0 sec. user=mdettweiler [2012-10-05 04:10:23] 889*2^1230097-1 is not prime. Res64: 2193CEC7572087D1 Time : 0.0 sec. user=mdettweiler [2012-10-05 04:10:24] 945*2^1230097-1 is not prime. Res64: AF9AD3E5C896B034 Time : 0.0 sec. user=odicin [2012-10-05 04:10:28] 985*2^1230097-1 is not prime. Res64: 598160ECF4706471 Time : 0.0 sec. user=vaughan [2012-10-05 04:14:24] 747*2^1230097-1 is not prime. Res64: AA2BE2C8126C20D8 Time : 0.0 sec. user=odicin [2012-10-05 04:22:46] 845*2^1230098-1 is not prime. Res64: E47B168ED9A0E0FC Time : 0.0 sec. user=mdettweiler [2012-10-05 04:23:35] 641*2^1230098-1 is not prime. Res64: 68FE4B71C2910C57 Time : 0.0 sec. user=mdettweiler [2012-10-05 04:23:36] 657*2^1230098-1 is not prime. Res64: F237C8C57F9F60E9 Time : 0.0 sec. user=mdettweiler [2012-10-05 04:31:03] 773*2^1230098-1 is not prime. Res64: 85AA757DEEE5F7AD Time : 0.0 sec. user=mdettweiler [2012-10-05 04:31:03] 831*2^1230098-1 is not prime. Res64: D4542FD84FEDCFAC Time : 0.0 sec. user=odicin [2012-10-05 04:35:08] 941*2^1230098-1 is not prime. Res64: 598704C66012A479 Time : 0.0 sec. user=mdettweiler [2012-10-05 04:44:11] 945*2^1230098-1 is not prime. Res64: 61B7286DDF3FB994 Time : 0.0 sec. user=mdettweiler [2012-10-05 04:44:12] 953*2^1230098-1 is not prime. Res64: E97747B7E90C44FF Time : 0.0 sec. user=odicin [2012-10-05 04:47:27] 609*2^1230099-1 is not prime. Res64: 1B82DCF1DF18C9F8 Time : 0.0 sec. user=mdettweiler [2012-10-05 04:51:42] 987*2^1230098-1 is not prime. Res64: F9C262DBE6A8F214 Time : 0.0 sec. user=mdettweiler [2012-10-05 04:51:42] 995*2^1230098-1 is not prime. Res64: 3513D86EA3920792 Time : 0.0 sec. user=vaughan [2012-10-05 04:52:11] 893*2^1230098-1 is not prime. Res64: 76004A0DBD3A2331 Time : 0.0 sec. user=odicin [2012-10-05 04:59:47] 639*2^1230099-1 is not prime. Res64: 0BFBF54F027B23E9 Time : 0.0 sec. user=mdettweiler [2012-10-05 05:04:48] 615*2^1230099-1 is not prime. Res64: 5040B80EB70F4FB8 Time : 0.0 sec. user=mdettweiler [2012-10-05 05:04:50] 619*2^1230099-1 is not prime. Res64: 2F86DD86112B1D45 Time : 0.0 sec. user=odicin [2012-10-05 05:12:06] 615*2^1230100-1 is not prime. Res64: E35006CFC1B18DEC Time : 0.0 sec. user=mdettweiler [2012-10-05 05:12:19] 663*2^1230099-1 is not prime. Res64: B7E627B74206B461 Time : 0.0 sec. user=mdettweiler [2012-10-05 05:12:20] 751*2^1230099-1 is not prime. Res64: F109EAB86E6B1CCE Time : 0.0 sec. user=odicin [2012-10-05 05:24:30] 905*2^1230100-1 is not prime. Res64: 08598599403F2837 Time : 0.0 sec. user=mdettweiler [2012-10-05 05:25:36] 735*2^1230100-1 is not prime. Res64: 2724FF1E9EADDC36 Time : 0.0 sec. user=mdettweiler [2012-10-05 05:25:37] 813*2^1230100-1 is not prime. Res64: 26A313066CF1DF39 Time : 0.0 sec. user=vaughan [2012-10-05 05:29:59] 921*2^1230099-1 is not prime. Res64: 4DB68EEA0B4CC656 Time : 0.0 sec. user=mdettweiler [2012-10-05 05:33:00] 915*2^1230100-1 is not prime. Res64: E221A15533219F4E Time : 0.0 sec. user=mdettweiler [2012-10-05 05:33:00] 957*2^1230100-1 is not prime. Res64: 56CC5C933104B734 Time : 0.0 sec. user=odicin [2012-10-05 05:36:45] 983*2^1230100-1 is not prime. Res64: 6A4D0FC87CC86C69 Time : 0.0 sec. user=mdettweiler [2012-10-05 05:46:13] 989*2^1230100-1 is not prime. Res64: C1910646BD80A19A Time : 0.0 sec. user=mdettweiler [2012-10-05 05:46:14] 649*2^1230101-1 is not prime. Res64: AF5E9A803D7C51D8 Time : 0.0 sec. user=odicin [2012-10-05 05:48:59] 939*2^1230101-1 is not prime. Res64: 8CC258290277D534 Time : 0.0 sec. user=mdettweiler [2012-10-05 05:53:37] 769*2^1230101-1 is not prime. Res64: 47EE9EEA99D3F00B Time : 0.0 sec. user=mdettweiler [2012-10-05 05:53:38] 799*2^1230101-1 is not prime. Res64: 451CBBBD72CECB7D Time : 0.0 sec. user=odicin [2012-10-05 06:01:11] 947*2^1230102-1 is not prime. Res64: D5088D4E828ECCCA Time : 0.0 sec. user=mdettweiler [2012-10-05 06:06:51] 981*2^1230101-1 is not prime. Res64: DC67C255EC843446 Time : 0.0 sec. user=mdettweiler [2012-10-05 06:06:51] 741*2^1230102-1 is not prime. Res64: C684959B859ABAB2 Time : 0.0 sec. user=vaughan [2012-10-05 06:07:58] 717*2^1230101-1 is not prime. Res64: 02418AD41BA889C8 Time : 0.0 sec. user=odicin [2012-10-05 06:13:46] 765*2^1230103-1 is not prime. Res64: 4E03E8B806CC6AA4 Time : 0.0 sec. user=mdettweiler [2012-10-05 06:14:14] 983*2^1230102-1 is not prime. Res64: 252FEFFF7875B987 Time : 0.0 sec. user=mdettweiler [2012-10-05 06:14:16] 705*2^1230103-1 is not prime. Res64: D112CCBC46B6D81A Time : 0.0 sec. user=odicin [2012-10-05 06:26:06] 919*2^1230103-1 is not prime. Res64: EEF05889BD0CB944 Time : 0.0 sec. user=mdettweiler [2012-10-05 06:27:27] 775*2^1230103-1 is not prime. Res64: 54BD1012E016AE6F Time : 0.0 sec. user=mdettweiler [2012-10-05 06:27:27] 811*2^1230103-1 is not prime. Res64: 35C216C1B7820B3E Time : 0.0 sec. user=mdettweiler [2012-10-05 06:34:55] 999*2^1230103-1 is not prime. Res64: 211312A6A787CC82 Time : 0.0 sec. user=mdettweiler [2012-10-05 06:34:56] 659*2^1230104-1 is not prime. Res64: 3B0E3DDB8489BD42 Time : 0.0 sec. user=odicin [2012-10-05 06:38:23] 747*2^1230104-1 is not prime. Res64: 852F290FC0C7D026 Time : 0.0 sec. user=vaughan [2012-10-05 06:45:46] 861*2^1230103-1 is not prime. Res64: 60AC72628CDAC404 Time : 0.0 sec. user=mdettweiler [2012-10-05 06:48:04] 773*2^1230104-1 is not prime. Res64: BDD623ABB8C2AE9F Time : 0.0 sec. user=mdettweiler [2012-10-05 06:48:04] 857*2^1230104-1 is not prime. Res64: 7B2662E59B7F1A8B Time : 0.0 sec. user=odicin [2012-10-05 06:50:38] 669*2^1230105-1 is not prime. Res64: 1805E397A2D98901 Time : 0.0 sec. user=mdettweiler [2012-10-05 06:55:37] 923*2^1230104-1 is not prime. Res64: F3A9347703C6B471 Time : 0.0 sec. user=mdettweiler [2012-10-05 06:55:38] 657*2^1230105-1 is not prime. Res64: B787501DDD348664 Time : 0.0 sec. user=odicin [2012-10-05 07:02:57] 885*2^1230105-1 is not prime. Res64: 8AF63CF66929F8CF Time : 0.0 sec. user=mdettweiler [2012-10-05 07:08:40] 819*2^1230105-1 is not prime. Res64: C03ED52C4035F7CE Time : 0.0 sec. user=mdettweiler [2012-10-05 07:08:41] 877*2^1230105-1 is not prime. Res64: 622132F7FF47B9DE Time : 0.0 sec. user=odicin [2012-10-05 07:15:21] 645*2^1230106-1 is not prime. Res64: B3FA0CD39900C9F0 Time : 0.0 sec. user=mdettweiler [2012-10-05 07:16:14] 975*2^1230105-1 is not prime. Res64: 1652D771B41DEC7F Time : 0.0 sec. user=mdettweiler [2012-10-05 07:16:14] 617*2^1230106-1 is not prime. Res64: BEE39C0BFEDFB6A0 Time : 0.0 sec. user=vaughan [2012-10-05 07:23:34] 789*2^1230105-1 is not prime. Res64: 93E467CBF75B7C47 Time : 0.0 sec. user=odicin [2012-10-05 07:27:45] 651*2^1230107-1 is not prime. Res64: 2A8F736149D1B92B Time : 0.0 sec. user=mdettweiler [2012-10-05 07:29:20] 773*2^1230106-1 is not prime. Res64: 3AF4CEBDFA0A483D Time : 0.0 sec. user=mdettweiler [2012-10-05 07:29:21] 945*2^1230106-1 is not prime. Res64: 0441F54A5D522EBB Time : 0.0 sec. user=mdettweiler [2012-10-05 07:36:50] 655*2^1230107-1 is not prime. Res64: 64B3480F39041FA9 Time : 0.0 sec. user=mdettweiler [2012-10-05 07:36:51] 675*2^1230107-1 is not prime. Res64: 7785A56326E242EB Time : 0.0 sec. user=odicin [2012-10-05 07:40:01] 735*2^1230107-1 is not prime. Res64: 3611535AF86BB988 Time : 0.0 sec. user=mdettweiler [2012-10-05 07:49:57] 993*2^1230107-1 is not prime. Res64: 7B90F8936ADD1E8A Time : 0.0 sec. user=mdettweiler [2012-10-05 07:49:57] 627*2^1230108-1 is not prime. Res64: 1F10720F49FEC37C Time : 0.0 sec. user=odicin [2012-10-05 07:52:14] 789*2^1230108-1 is not prime. Res64: 5E692BF143C771F8 Time : 0.0 sec. user=mdettweiler [2012-10-05 07:57:27] 669*2^1230108-1 is not prime. Res64: BFBCFAD321B07DBB Time : 0.0 sec. user=mdettweiler [2012-10-05 07:57:28] 689*2^1230108-1 is not prime. Res64: DE94E62CDB6321FA Time : 0.0 sec. user=vaughan [2012-10-05 08:01:26] 699*2^1230107-1 is not prime. Res64: 10E973EAA8397AB3 Time : 0.0 sec. user=odicin [2012-10-05 08:04:31] 899*2^1230108-1 is not prime. Res64: 44951CE9EDC8A713 Time : 0.0 sec. user=mdettweiler [2012-10-05 08:10:34] 819*2^1230108-1 is not prime. Res64: C7E3B17041ABD142 Time : 0.0 sec. user=mdettweiler [2012-10-05 08:10:36] 825*2^1230108-1 is not prime. Res64: 99D5C34AD43AEF01 Time : 0.0 sec. user=odicin [2012-10-05 08:16:52] 759*2^1230109-1 is not prime. Res64: 95D350A9E07D4C54 Time : 0.0 sec. user=mdettweiler [2012-10-05 08:18:04] 975*2^1230108-1 is not prime. Res64: A68C4A2A3BAEC47F Time : 0.0 sec. user=mdettweiler [2012-10-05 08:18:05] 675*2^1230109-1 is not prime. Res64: 289EFF31415AA22D Time : 0.0 sec. user=odicin [2012-10-05 08:29:16] 605*2^1230110-1 is not prime. Res64: CF7DAFE225C20CEB Time : 0.0 sec. user=mdettweiler [2012-10-05 08:31:21] 877*2^1230109-1 is not prime. Res64: 05E73B84993685BD Time : 0.0 sec. user=mdettweiler [2012-10-05 08:31:21] 939*2^1230109-1 is not prime. Res64: BD1FE079464E3009 Time : 0.0 sec. user=mdettweiler [2012-10-05 08:38:43] 741*2^1230110-1 is not prime. Res64: 22D3D34EF3476240 Time : 0.0 sec. user=mdettweiler [2012-10-05 08:38:44] 791*2^1230110-1 is not prime. Res64: 3890493956B27757 Time : 0.0 sec. user=vaughan [2012-10-05 08:39:14] 681*2^1230109-1 is not prime. Res64: 306BF54011C2D5A4 Time : 0.0 sec. user=odicin [2012-10-05 08:41:33] 827*2^1230110-1 is not prime. Res64: 29F095388FA62DD2 Time : 0.0 sec. user=mdettweiler [2012-10-05 08:51:56] 923*2^1230110-1 is not prime. Res64: 4E3C1B6545BDFB16 Time : 0.0 sec. user=mdettweiler [2012-10-05 08:51:57] 977*2^1230110-1 is not prime. Res64: DE234A3A80762994 Time : 0.0 sec. user=odicin [2012-10-05 08:53:49] 653*2^1230112-1 is not prime. Res64: DD952386BF0A3875 Time : 0.0 sec. user=mdettweiler [2012-10-05 08:59:20] 609*2^1230111-1 is not prime. Res64: 19F387AF26FDB85D Time : 0.0 sec. user=mdettweiler [2012-10-05 08:59:20] 825*2^1230111-1 is not prime. Res64: BEC50C7DB64F21B3 Time : 0.0 sec. user=odicin [2012-10-05 09:06:01] 803*2^1230112-1 is not prime. Res64: 2CA16A4655435A3C Time : 0.0 sec. user=mdettweiler [2012-10-05 09:12:32] 675*2^1230112-1 is not prime. Res64: 9A2BE21825645C23 Time : 0.0 sec. user=mdettweiler [2012-10-05 09:12:33] 695*2^1230112-1 is not prime. Res64: EAC4595106DF3377 Time : 0.0 sec. user=vaughan [2012-10-05 09:17:01] 955*2^1230111-1 is not prime. Res64: 83C0B5F987A7E8EE Time : 0.0 sec. user=odicin [2012-10-05 09:18:16] 909*2^1230112-1 is not prime. Res64: 4FD316304913387B Time : 0.0 sec. user=mdettweiler [2012-10-05 09:19:56] 875*2^1230112-1 is not prime. Res64: 51193F197CC20F62 Time : 0.0 sec. user=mdettweiler [2012-10-05 09:19:56] 903*2^1230112-1 is not prime. Res64: C0FCD880B620644D Time : 0.0 sec. user=odicin [2012-10-05 09:30:28] 847*2^1230113-1 is not prime. Res64: 28EEF1FE48C8A44F Time : 0.0 sec. user=mdettweiler [2012-10-05 09:33:17] 607*2^1230113-1 is not prime. Res64: F61F1FDA6A088160 Time : 0.0 sec. user=mdettweiler [2012-10-05 09:33:17] 637*2^1230113-1 is not prime. Res64: EA7F19CBC234536C Time : 0.0 sec. user=mdettweiler [2012-10-05 09:40:33] 855*2^1230113-1 is not prime. Res64: D923CADCAE97DB76 Time : 0.0 sec. user=mdettweiler [2012-10-05 09:40:33] 633*2^1230114-1 is not prime. Res64: 691097312B2A17F1 Time : 0.0 sec. user=odicin [2012-10-05 09:42:38] 635*2^1230114-1 is not prime. Res64: 11DCF80B9038DB23 Time : 0.0 sec. user=odicin [2012-10-05 09:43:16] 681*2^1230114-1 is not prime. Res64: A5B207FC8D151A71 Time : 0.0 sec. user=mdettweiler [2012-10-05 09:53:54] 717*2^1230114-1 is not prime. Res64: 7FAA0A2E736E013F Time : 0.0 sec. user=mdettweiler [2012-10-05 09:53:54] 783*2^1230114-1 is not prime. Res64: 2794012703D06D4B Time : 0.0 sec. user=odicin [2012-10-05 09:54:43] 927*2^1230114-1 is not prime. Res64: 213A2064A73F812E Time : 0.0 sec. user=vaughan [2012-10-05 09:55:04] 775*2^1230113-1 is not prime. Res64: 23F6B564738AC07E Time : 0.0 sec. user=odicin [2012-10-05 09:55:20] 945*2^1230114-1 is not prime. Res64: FFDBD43390CFFC12 Time : 0.0 sec. user=mdettweiler [2012-10-05 10:01:10] 803*2^1230114-1 is not prime. Res64: 08915665B040E6CD Time : 0.0 sec. user=mdettweiler [2012-10-05 10:01:11] 825*2^1230114-1 is not prime. Res64: 7E149BEECA3916A5 Time : 0.0 sec. user=odicin [2012-10-05 10:06:47] 693*2^1230115-1 is not prime. Res64: 9315D3D33F468C4F Time : 0.0 sec. user=odicin [2012-10-05 10:07:25] 759*2^1230115-1 is not prime. Res64: 27D7B4B58A49E9D2 Time : 0.0 sec. user=mdettweiler [2012-10-05 10:14:30] 633*2^1230115-1 is not prime. Res64: 43C955893A5B6999 Time : 0.0 sec. user=mdettweiler [2012-10-05 10:14:34] 675*2^1230115-1 is not prime. Res64: B225759805F1F601 Time : 0.0 sec. user=odicin [2012-10-05 10:19:00] 855*2^1230115-1 is not prime. Res64: 558C507CDB6E4F60 Time : 0.0 sec. user=odicin [2012-10-05 10:19:32] 891*2^1230115-1 is not prime. Res64: 506EB4592ACB0BDB Time : 0.0 sec. user=mdettweiler [2012-10-05 10:21:47] 805*2^1230115-1 is not prime. Res64: FEE6EDF692F10535 Time : 0.0 sec. user=mdettweiler [2012-10-05 10:21:48] 853*2^1230115-1 is not prime. Res64: AC03D740063366A9 Time : 0.0 sec. user=odicin [2012-10-05 10:31:11] 759*2^1230116-1 is not prime. Res64: 7EA1937961C82C1A Time : 0.0 sec. user=odicin [2012-10-05 10:31:42] 855*2^1230116-1 is not prime. Res64: D7182234213DE2FD Time : 0.0 sec. user=vaughan [2012-10-05 10:32:50] 751*2^1230115-1 is not prime. Res64: 8AC50CCBDDC6A647 Time : 0.0 sec. user=mdettweiler [2012-10-05 10:35:11] 915*2^1230115-1 is not prime. Res64: D9DCB87012286982 Time : 0.0 sec. user=mdettweiler [2012-10-05 10:35:12] 919*2^1230115-1 is not prime. Res64: CF6D74B4F9F6EEF9 Time : 0.0 sec. user=mdettweiler [2012-10-05 10:42:24] 879*2^1230116-1 is not prime. Res64: 7B173A3B1DB175D9 Time : 0.0 sec. user=mdettweiler [2012-10-05 10:42:24] 765*2^1230117-1 is not prime. Res64: AB6B1BF663DB3B36 Time : 0.0 sec. user=odicin [2012-10-05 10:43:28] 837*2^1230117-1 is not prime. Res64: 6647BB61F5EC6E36 Time : 0.0 sec. user=odicin [2012-10-05 10:43:48] 603*2^1230118-1 is not prime. Res64: 298D242D7C71C1B4 Time : 0.0 sec. user=odicin [2012-10-05 10:55:34] 601*2^1230119-1 is not prime. Res64: 0979984FD4842473 Time : 0.0 sec. user=mdettweiler [2012-10-05 10:55:48] 687*2^1230118-1 is not prime. Res64: DB64FB51357DB089 Time : 0.0 sec. user=mdettweiler [2012-10-05 10:55:49] 747*2^1230118-1 is not prime. Res64: D3D0C6E70F0093C7 Time : 0.0 sec. user=odicin [2012-10-05 10:55:58] 619*2^1230119-1 is not prime. Res64: F3C0DA1D4DCF51CF Time : 0.0 sec. user=mdettweiler [2012-10-05 11:03:01] 773*2^1230118-1 is not prime. Res64: 3C0AFFB17A4BE1A7 Time : 0.0 sec. user=mdettweiler [2012-10-05 11:03:02] 887*2^1230118-1 is not prime. Res64: 35201FE1073863A8 Time : 0.0 sec. user=odicin [2012-10-05 11:07:45] 621*2^1230119-1 is not prime. Res64: BBBBE87AE4DB59F7 Time : 0.0 sec. user=odicin [2012-10-05 11:08:09] 885*2^1230119-1 is not prime. Res64: 2AF25F7C19129E33 Time : 0.0 sec. user=vaughan [2012-10-05 11:10:34] 671*2^1230118-1 is not prime. Res64: 1F9D07E1340680C5 Time : 0.0 sec. user=mdettweiler [2012-10-05 11:16:25] 685*2^1230119-1 is not prime. Res64: CFE093FF52B05ECF Time : 0.0 sec. user=mdettweiler [2012-10-05 11:16:25] 759*2^1230119-1 is not prime. Res64: 1E437C53BF4AE4A5 Time : 0.0 sec. user=odicin [2012-10-05 11:19:54] 753*2^1230120-1 is not prime. Res64: F6D09FE49AF1560A Time : 0.0 sec. user=odicin [2012-10-05 11:20:17] 765*2^1230120-1 is not prime. Res64: AB5B9163F384F2BD Time : 0.0 sec. user=mdettweiler [2012-10-05 11:23:42] 943*2^1230119-1 is not prime. Res64: 9843A0FC345BC973 Time : 0.0 sec. user=mdettweiler [2012-10-05 11:23:43] 737*2^1230120-1 is not prime. Res64: B4C1A8BAFB748219 Time : 0.0 sec. user=odicin [2012-10-05 11:32:18] 717*2^1230121-1 is not prime. Res64: 6A989C49B32F18E7 Time : 0.0 sec. user=odicin [2012-10-05 11:32:26] 867*2^1230121-1 is not prime. Res64: 685117A5CA4AEF97 Time : 0.0 sec. user=mdettweiler [2012-10-05 11:37:01] 933*2^1230120-1 is not prime. Res64: 89697E702BEA0717 Time : 0.0 sec. user=mdettweiler [2012-10-05 11:37:02] 959*2^1230120-1 is not prime. Res64: 7018385AC9972EF9 Time : 0.0 sec. user=mdettweiler [2012-10-05 11:44:19] 975*2^1230121-1 is not prime. Res64: 68A630D901BCFF19 Time : 0.0 sec. user=mdettweiler [2012-10-05 11:44:19] 705*2^1230122-1 is not prime. Res64: 57DFE81F87F9B423 Time : 0.0 sec. user=odicin [2012-10-05 11:44:24] 743*2^1230122-1 is not prime. Res64: CB24666C4DADB3F3 Time : 0.0 sec. user=odicin [2012-10-05 11:44:36] 843*2^1230122-1 is not prime. Res64: 52208F4CA32789D4 Time : 0.0 sec. user=vaughan [2012-10-05 11:48:24] 779*2^1230120-1 is not prime. Res64: 969FF176BE9FDE87 Time : 0.0 sec. user=odicin [2012-10-05 11:56:35] 871*2^1230123-1 is not prime. Res64: 88382E69D715932F Time : 0.0 sec. user=odicin [2012-10-05 11:56:46] 873*2^1230123-1 is not prime. Res64: 17743CC617FD91B9 Time : 0.0 sec. user=mdettweiler [2012-10-05 11:57:54] 857*2^1230122-1 is not prime. Res64: 487FA47168347702 Time : 0.0 sec. user=mdettweiler [2012-10-05 11:57:54] 685*2^1230123-1 is not prime. Res64: 298292680FC1BB1A Time : 0.0 sec. user=mdettweiler [2012-10-05 12:05:23] 775*2^1230123-1 is not prime. Res64: EF0B5AC1417190E2 Time : 0.0 sec. user=mdettweiler [2012-10-05 12:05:24] 861*2^1230123-1 is not prime. Res64: 2E6195102316F34E Time : 0.0 sec. user=odicin [2012-10-05 12:08:42] 665*2^1230124-1 is not prime. Res64: D3E7A3488B038251 Time : 0.0 sec. user=odicin [2012-10-05 12:08:56] 699*2^1230124-1 is not prime. Res64: 6928AE26F5554294 Time : 0.0 sec. user=mdettweiler [2012-10-05 12:19:00] 707*2^1230124-1 is not prime. Res64: 6154F5F424AB39F5 Time : 0.0 sec. user=mdettweiler [2012-10-05 12:19:01] 803*2^1230124-1 is not prime. Res64: AFB3CD737C10B5CA Time : 0.0 sec. user=odicin [2012-10-05 12:21:14] 955*2^1230125-1 is not prime. Res64: C00E3A038D6E898E Time : 0.0 sec. user=odicin [2012-10-05 12:21:16] 889*2^1230125-1 is not prime. Res64: 4B13CE09511C35AF Time : 0.0 sec. user=vaughan [2012-10-05 12:26:17] 921*2^1230123-1 is not prime. Res64: F11424CAF4C515EF Time : 0.0 sec. user=mdettweiler [2012-10-05 12:26:32] 989*2^1230124-1 is not prime. Res64: DA2195D809A060E7 Time : 0.0 sec. user=mdettweiler [2012-10-05 12:26:32] 619*2^1230125-1 is not prime. Res64: CC47C64167ECCA3F Time : 0.0 sec. user=odicin [2012-10-05 12:33:28] 705*2^1230126-1 is not prime. Res64: BCFB5178660609CF Time : 0.0 sec. user=odicin [2012-10-05 12:33:32] 713*2^1230126-1 is not prime. Res64: EC4C5BECE953C6C2 Time : 0.0 sec. user=mdettweiler [2012-10-05 12:40:11] 615*2^1230126-1 is not prime. Res64: E092671B173AE11F Time : 0.0 sec. user=mdettweiler [2012-10-05 12:40:12] 647*2^1230126-1 is not prime. Res64: 665F246C0D7A80D9 Time : 0.0 sec. user=odicin [2012-10-05 12:45:45] 601*2^1230127-1 is not prime. Res64: 8F0037F0D61B97E3 Time : 0.0 sec. user=odicin [2012-10-05 12:45:51] 603*2^1230127-1 is not prime. Res64: 320DAFCA70D346F0 Time : 0.0 sec. user=mdettweiler [2012-10-05 12:47:38] 963*2^1230126-1 is not prime. Res64: 560300E82BAB3B69 Time : 0.0 sec. user=mdettweiler [2012-10-05 12:47:39] 971*2^1230126-1 is not prime. Res64: D195CA2A34C9B9FB Time : 0.0 sec. user=odicin [2012-10-05 12:57:59] 829*2^1230127-1 is not prime. Res64: 763F5A2E6499A223 Time : 0.0 sec. user=odicin [2012-10-05 12:58:06] 919*2^1230127-1 is not prime. Res64: 3926CAC0FE8DB4AE Time : 0.0 sec. user=mdettweiler [2012-10-05 13:01:19] 619*2^1230127-1 is not prime. Res64: 82F16CAF7AB6B778 Time : 0.0 sec. user=mdettweiler [2012-10-05 13:01:20] 703*2^1230127-1 is not prime. Res64: 45865950CC5D9FE3 Time : 0.0 sec. user=vaughan [2012-10-05 13:04:08] 903*2^1230126-1 is not prime. Res64: 3633BBE95C2B1B5E Time : 0.0 sec. user=mdettweiler [2012-10-05 13:08:46] 993*2^1230127-1 is not prime. Res64: 2CFDB0FF146E931D Time : 0.0 sec. user=mdettweiler [2012-10-05 13:08:47] 603*2^1230128-1 is not prime. Res64: 2BB0B4E8ACB407D9 Time : 0.0 sec. user=odicin [2012-10-05 13:10:14] 615*2^1230128-1 is not prime. Res64: 31312AE276E398E5 Time : 0.0 sec. user=odicin [2012-10-05 13:10:22] 669*2^1230128-1 is not prime. Res64: 7B8145B90C84B4D0 Time : 0.0 sec. user=mdettweiler [2012-10-05 13:22:27] 689*2^1230128-1 is not prime. Res64: 0DF21FB1C102A4D1 Time : 0.0 sec. user=mdettweiler [2012-10-05 13:22:28] 699*2^1230128-1 is not prime. Res64: FBC32715229591F8 Time : 0.0 sec. user=odicin [2012-10-05 13:22:30] 867*2^1230128-1 is not prime. Res64: BD71BCB412AC395F Time : 0.0 sec. user=odicin [2012-10-05 13:22:38] 875*2^1230128-1 is not prime. Res64: 548E9ECAF85F42CB Time : 0.0 sec. user=mdettweiler [2012-10-05 13:29:45] 767*2^1230128-1 is not prime. Res64: 832B27E54C2FEB8E Time : 0.0 sec. user=mdettweiler [2012-10-05 13:29:45] 843*2^1230128-1 is not prime. Res64: 517832FD1F62BC0D Time : 0.0 sec. user=odicin [2012-10-05 13:34:53] 963*2^1230128-1 is not prime. Res64: 74C035A2BDDCCD11 Time : 0.0 sec. user=odicin [2012-10-05 13:35:00] 615*2^1230129-1 is not prime. Res64: 2BB8FC1753A868E2 Time : 0.0 sec. user=vaughan [2012-10-05 13:42:06] 747*2^1230128-1 is not prime. Res64: 80687F983C91E1A2 Time : 0.0 sec. user=mdettweiler [2012-10-05 13:43:29] 893*2^1230128-1 is not prime. Res64: F65FF87F3C34F786 Time : 0.0 sec. user=mdettweiler [2012-10-05 13:43:30] 935*2^1230128-1 is not prime. Res64: 7C2E1AE193824AF3 Time : 0.0 sec. user=odicin [2012-10-05 13:47:11] 679*2^1230129-1 is not prime. Res64: 1D2EEC6E1A3B2C9B Time : 0.0 sec. user=odicin [2012-10-05 13:47:16] 681*2^1230129-1 is not prime. Res64: 8DEE3EA82D3A2D73 Time : 0.0 sec. user=mdettweiler [2012-10-05 13:50:53] 637*2^1230129-1 is not prime. Res64: B15E73A5094A43D5 Time : 0.0 sec. user=mdettweiler [2012-10-05 13:50:53] 667*2^1230129-1 is not prime. Res64: BDB6E3DD2CA44EC9 Time : 0.0 sec. user=odicin [2012-10-05 13:59:39] 831*2^1230129-1 is not prime. Res64: 936D38E686357B6D Time : 0.0 sec. user=odicin [2012-10-05 13:59:44] 633*2^1230130-1 is not prime. Res64: 0E11DA96392B6857 Time : 0.0 sec. user=mdettweiler [2012-10-05 14:04:40] 769*2^1230129-1 is not prime. Res64: 60D1DAC94014A6E8 Time : 0.0 sec. user=mdettweiler [2012-10-05 14:04:41] 817*2^1230129-1 is not prime. Res64: 4F6B22FCAE596051 Time : 0.0 sec. user=mdettweiler [2012-10-05 14:12:06] 765*2^1230130-1 is not prime. Res64: E4A34E902B801656 Time : 0.0 sec. user=mdettweiler [2012-10-05 14:12:08] 777*2^1230130-1 is not prime. Res64: 548E58766405D1EA Time : 0.0 sec. user=vaughan [2012-10-05 14:19:53] 765*2^1230129-1 is not prime. Res64: 90D30FD15972745E Time : 0.0 sec. user=mdettweiler [2012-10-05 14:26:08] 825*2^1230130-1 is not prime. Res64: 335ED75E33DF0309 Time : 0.0 sec. user=mdettweiler [2012-10-05 14:26:09] 887*2^1230130-1 is not prime. Res64: 4B12C1014CF44D93 Time : 0.0 sec. user=mdettweiler [2012-10-05 14:33:35] 705*2^1230131-1 is not prime. Res64: B91BACC000E49B21 Time : 0.0 sec. user=mdettweiler [2012-10-05 14:33:36] 913*2^1230131-1 is not prime. Res64: 3B5D282CA7CEA594 Time : 0.0 sec. user=mdettweiler [2012-10-05 14:47:21] 981*2^1230131-1 is not prime. Res64: BEDA574AE16F5CAC Time : 0.0 sec. user=mdettweiler [2012-10-05 14:47:21] 999*2^1230131-1 is not prime. Res64: 602B9260EB02E51D Time : 0.0 sec. user=mdettweiler [2012-10-05 14:54:49] 605*2^1230132-1 is not prime. Res64: 582A4800004AFF7D Time : 0.0 sec. user=mdettweiler [2012-10-05 14:54:49] 723*2^1230132-1 is not prime. Res64: 42D7A8B89DF46E58 Time : 0.0 sec. user=vaughan [2012-10-05 14:57:45] 969*2^1230131-1 is not prime. Res64: 0FB33FAC059C93DB Time : 0.0 sec. user=mdettweiler [2012-10-05 15:08:33] 803*2^1230132-1 is not prime. Res64: F47B1A76F9D84900 Time : 0.0 sec. user=mdettweiler [2012-10-05 15:08:34] 977*2^1230132-1 is not prime. Res64: 915387624AB76E0E Time : 0.0 sec. user=mdettweiler [2012-10-05 15:16:00] 651*2^1230133-1 is not prime. Res64: F1989000FE4BB8A7 Time : 0.0 sec. user=mdettweiler [2012-10-05 15:16:00] 675*2^1230133-1 is not prime. Res64: DF391B42DB078DBE Time : 0.0 sec. user=mdettweiler [2012-10-05 15:29:55] 755*2^1230134-1 is not prime. Res64: AB846AE407127F53 Time : 0.0 sec. user=mdettweiler [2012-10-05 15:29:55] 875*2^1230134-1 is not prime. Res64: 2FD477AC4E8694E1 Time : 0.0 sec. user=vaughan [2012-10-05 15:35:30] 731*2^1230134-1 is not prime. Res64: 5348DEE382C91012 Time : 0.0 sec. user=mdettweiler [2012-10-05 15:37:12] 935*2^1230134-1 is not prime. Res64: 64098BF5F70955BC Time : 0.0 sec. user=mdettweiler [2012-10-05 15:37:12] 709*2^1230135-1 is not prime. Res64: 18B8F51FB0096E79 Time : 0.0 sec. user=mdettweiler [2012-10-05 15:51:08] 735*2^1230135-1 is not prime. Res64: DD7C4F6E46250344 Time : 0.0 sec. user=mdettweiler [2012-10-05 15:51:08] 829*2^1230135-1 is not prime. Res64: 33BEBDD78AE1F013 Time : 0.0 sec. user=mdettweiler [2012-10-05 15:58:24] 617*2^1230136-1 is not prime. Res64: 90E5F90926404129 Time : 0.0 sec. user=mdettweiler [2012-10-05 15:58:24] 645*2^1230136-1 is not prime. Res64: E200D2197BAFADF7 Time : 0.0 sec. user=mdettweiler [2012-10-05 16:12:19] 675*2^1230136-1 is not prime. Res64: A47D61AAC341B9E9 Time : 0.0 sec. user=mdettweiler [2012-10-05 16:12:21] 747*2^1230136-1 is not prime. Res64: 11A801DB5935395F Time : 0.0 sec. user=vaughan [2012-10-05 16:13:17] 859*2^1230135-1 is not prime. Res64: F0B1E8D31310B451 Time : 0.0 sec. user=mdettweiler [2012-10-05 16:19:34] 855*2^1230136-1 is not prime. Res64: 11C8A641EFCDB326 Time : 0.0 sec. user=mdettweiler [2012-10-05 16:19:35] 933*2^1230136-1 is not prime. Res64: BE503158AB49B1EA Time : 0.0 sec. user=mdettweiler [2012-10-05 16:33:33] 939*2^1230136-1 is not prime. Res64: A6EF9BBF8209661F Time : 0.0 sec. user=mdettweiler [2012-10-05 16:33:34] 983*2^1230136-1 is not prime. Res64: EDA5E153AFC0E2A2 Time : 0.0 sec. user=mdettweiler [2012-10-05 16:40:46] 909*2^1230137-1 is not prime. Res64: CA35127B6C4D012B Time : 0.0 sec. user=mdettweiler [2012-10-05 16:40:46] 967*2^1230137-1 is not prime. Res64: 8E66777C2D602787 Time : 0.0 sec. user=vaughan [2012-10-05 16:51:06] 829*2^1230137-1 is not prime. Res64: 7B9684A20B270568 Time : 0.0 sec. user=mdettweiler [2012-10-05 16:54:45] 621*2^1230138-1 is not prime. Res64: 88D4EA8B0C833284 Time : 0.0 sec. user=mdettweiler [2012-10-05 16:54:45] 681*2^1230138-1 is not prime. Res64: 76F37181616418BA Time : 0.0 sec. user=mdettweiler [2012-10-05 17:01:57] 725*2^1230138-1 is not prime. Res64: 939CB28DE89D6A81 Time : 0.0 sec. user=mdettweiler [2012-10-05 17:01:58] 735*2^1230138-1 is not prime. Res64: 0ADB7AA65818DEA0 Time : 0.0 sec. user=mdettweiler [2012-10-05 17:15:56] 803*2^1230138-1 is not prime. Res64: 083ACD6EDB87A387 Time : 0.0 sec. user=mdettweiler [2012-10-05 17:15:58] 815*2^1230138-1 is not prime. Res64: 1CE660CD5277D98B Time : 0.0 sec. user=mdettweiler [2012-10-05 17:23:20] 881*2^1230138-1 is not prime. Res64: F040033F173C028D Time : 0.0 sec. user=mdettweiler [2012-10-05 17:23:20] 633*2^1230139-1 is not prime. Res64: 6BBB6F6306F377E4 Time : 0.0 sec. user=vaughan [2012-10-05 17:28:52] 755*2^1230138-1 is not prime. Res64: 19F3E9CEED839208 Time : 0.0 sec. user=mdettweiler [2012-10-05 17:37:24] 663*2^1230139-1 is not prime. Res64: B73F6B60C60B33E1 Time : 0.0 sec. user=mdettweiler [2012-10-05 17:37:24] 741*2^1230139-1 is not prime. Res64: 8834FB90C6F9C602 Time : 0.0 sec. user=mdettweiler [2012-10-05 17:44:31] 829*2^1230139-1 is not prime. Res64: 8B6BE0880FE92A43 Time : 0.0 sec. user=mdettweiler [2012-10-05 17:44:32] 853*2^1230139-1 is not prime. Res64: 8B12E7CD46061FED Time : 0.0 sec. user=mdettweiler [2012-10-05 17:58:33] 961*2^1230139-1 is not prime. Res64: EF751EBB3638F3C2 Time : 0.0 sec. user=mdettweiler [2012-10-05 17:58:33] 975*2^1230139-1 is not prime. Res64: 24A566155D3B2473 Time : 0.0 sec. user=mdettweiler [2012-10-05 18:05:36] 629*2^1230140-1 is not prime. Res64: 37162BD6A1C911FA Time : 0.0 sec. user=mdettweiler [2012-10-05 18:05:37] 665*2^1230140-1 is not prime. Res64: F5699807309091DF Time : 0.0 sec. user=vaughan [2012-10-05 18:06:39] 873*2^1230139-1 is not prime. Res64: 76B692E3277DDCD9 Time : 0.0 sec. user=mdettweiler [2012-10-05 18:19:27] 677*2^1230140-1 is not prime. Res64: 99C32BE87267C8FF Time : 0.0 sec. user=mdettweiler [2012-10-05 18:19:28] 789*2^1230140-1 is not prime. Res64: 9E36EBEE2F4E7FF3 Time : 0.0 sec. user=mdettweiler [2012-10-05 18:26:27] 923*2^1230140-1 is not prime. Res64: 128F6B93B4D86358 Time : 0.0 sec. user=mdettweiler [2012-10-05 18:26:27] 929*2^1230140-1 is not prime. Res64: B6A544F7A638CB67 Time : 0.0 sec. user=mdettweiler [2012-10-05 18:40:10] 825*2^1230141-1 is not prime. Res64: 407F8DC03DCEA451 Time : 0.0 sec. user=mdettweiler [2012-10-05 18:40:11] 949*2^1230141-1 is not prime. Res64: 9E4956957D9C38DC Time : 0.0 sec. user=vaughan [2012-10-05 18:44:29] 777*2^1230141-1 is not prime. Res64: C9E0A233A83ADFAF Time : 0.0 sec. user=mdettweiler [2012-10-05 18:47:09] 951*2^1230141-1 is not prime. Res64: F1C7EBACE63162DF Time : 0.0 sec. user=mdettweiler [2012-10-05 18:47:09] 991*2^1230141-1 is not prime. Res64: 92E2BD68D8E24938 Time : 0.0 sec. user=mdettweiler [2012-10-05 19:01:22] 997*2^1230141-1 is not prime. Res64: 75DD83D7A4FFB139 Time : 0.0 sec. user=mdettweiler [2012-10-05 19:01:30] 681*2^1230142-1 is not prime. Res64: 82E0A57712026C92 Time : 0.0 sec. user=mdettweiler [2012-10-05 19:08:31] 815*2^1230142-1 is not prime. Res64: E22B96B9D5297F47 Time : 0.0 sec. user=mdettweiler [2012-10-05 19:08:32] 827*2^1230142-1 is not prime. Res64: 71AA54AF7398A8D4 Time : 0.0 sec. user=vaughan [2012-10-05 19:22:16] 801*2^1230142-1 is not prime. Res64: 404B474F13DB7E8D Time : 0.0 sec. user=mdettweiler [2012-10-05 19:23:09] 915*2^1230142-1 is not prime. Res64: 1D0376F45849DD05 Time : 0.0 sec. user=mdettweiler [2012-10-05 19:23:09] 923*2^1230142-1 is not prime. Res64: AB6A828661A3FAD2 Time : 0.0 sec. user=mdettweiler [2012-10-05 19:29:29] 951*2^1230142-1 is not prime. Res64: E4CE2C201582B2E7 Time : 0.0 sec. user=mdettweiler [2012-10-05 19:29:29] 603*2^1230143-1 is not prime. Res64: E8429CA08853F62E Time : 0.0 sec. user=mdettweiler [2012-10-05 19:44:01] 619*2^1230143-1 is not prime. Res64: 3483B8884500ED4E Time : 0.0 sec. user=mdettweiler [2012-10-05 19:44:01] 685*2^1230143-1 is not prime. Res64: 87520D5C453C93ED Time : 0.0 sec. user=mdettweiler [2012-10-05 19:50:25] 861*2^1230143-1 is not prime. Res64: AD6F8625982E316D Time : 0.0 sec. user=mdettweiler [2012-10-05 19:50:25] 885*2^1230143-1 is not prime. Res64: 039A8E7961E3A42B Time : 0.0 sec. user=vaughan [2012-10-05 20:00:12] 609*2^1230143-1 is not prime. Res64: 7141D7CA5D155C62 Time : 0.0 sec. user=mdettweiler [2012-10-05 20:05:03] 993*2^1230143-1 is not prime. Res64: 85362F5FEC64E18F Time : 0.0 sec. user=mdettweiler [2012-10-05 20:05:04] 759*2^1230144-1 is not prime. Res64: 10A053AAD9735E76 Time : 0.0 sec. user=mdettweiler [2012-10-05 20:11:29] 789*2^1230144-1 is not prime. Res64: 1C73BE28B26F2084 Time : 0.0 sec. user=mdettweiler [2012-10-05 20:11:30] 893*2^1230144-1 is not prime. Res64: 13F2F778850008F0 Time : 0.0 sec. user=mdettweiler [2012-10-05 20:26:28] 729*2^1230145-1 is not prime. Res64: D44788DCF8C8AABB Time : 0.0 sec. user=mdettweiler [2012-10-05 20:26:29] 957*2^1230145-1 is not prime. Res64: 10448D7494698F7E Time : 0.0 sec. user=mdettweiler [2012-10-05 20:32:58] 997*2^1230145-1 is not prime. Res64: B299D1F0F32BBAA2 Time : 0.0 sec. user=mdettweiler [2012-10-05 20:32:58] 635*2^1230146-1 is not prime. Res64: D9AD7C394A7E892E Time : 0.0 sec. user=vaughan [2012-10-05 20:38:07] 625*2^1230145-1 is not prime. Res64: 9BD1CD4AEF2403F2 Time : 0.0 sec. user=mdettweiler [2012-10-05 20:47:45] 705*2^1230146-1 is not prime. Res64: 346EFD6FF91E558F Time : 0.0 sec. user=mdettweiler [2012-10-05 20:47:45] 711*2^1230146-1 is not prime. Res64: 32BED6890E795BDB Time : 0.0 sec. user=mdettweiler [2012-10-05 20:54:06] 833*2^1230146-1 is not prime. Res64: E54BD59A0972192A Time : 0.0 sec. user=mdettweiler [2012-10-05 20:54:06] 867*2^1230146-1 is not prime. Res64: 1226DF0F9249ED9D Time : 0.0 sec. user=mdettweiler [2012-10-05 21:08:44] 675*2^1230147-1 is not prime. Res64: E0D049AB316B1015 Time : 0.0 sec. user=mdettweiler [2012-10-05 21:08:45] 703*2^1230147-1 is not prime. Res64: 4A523E20D356FB4F Time : 0.0 sec. user=mdettweiler [2012-10-05 21:15:05] 879*2^1230147-1 is not prime. Res64: 89D87C488717C367 Time : 0.0 sec. user=mdettweiler [2012-10-05 21:15:09] 765*2^1230148-1 is not prime. Res64: B0650F5AEF770C80 Time : 0.0 sec. user=vaughan [2012-10-05 21:15:52] 981*2^1230146-1 is not prime. Res64: 8ABA2AF13AA495A8 Time : 0.0 sec. user=mdettweiler [2012-10-05 21:29:53] 783*2^1230148-1 is not prime. Res64: 736D3C12311F064D Time : 0.0 sec. user=mdettweiler [2012-10-05 21:29:53] 827*2^1230148-1 is not prime. Res64: AD90C10C954BB1F7 Time : 0.0 sec. user=mdettweiler [2012-10-05 21:36:43] 601*2^1230149-1 is not prime. Res64: 1561D2F804B4171D Time : 0.0 sec. user=mdettweiler [2012-10-05 21:36:44] 655*2^1230149-1 is not prime. Res64: 6981B2EBF024F6FF Time : 0.0 sec. user=mdettweiler [2012-10-05 21:50:56] 697*2^1230149-1 is not prime. Res64: C75E7F9B56BFE42C Time : 0.0 sec. user=mdettweiler [2012-10-05 21:50:57] 699*2^1230149-1 is not prime. Res64: 544A4357E6F1D338 Time : 0.0 sec. user=vaughan [2012-10-05 21:53:46] 685*2^1230149-1 is not prime. Res64: 8B8D464125C183EC Time : 0.0 sec. user=mdettweiler [2012-10-05 21:57:42] 747*2^1230149-1 is not prime. Res64: 47B89A659E275EE0 Time : 0.0 sec. user=mdettweiler [2012-10-05 21:57:43] 829*2^1230149-1 is not prime. Res64: 8B1342BB18938792 Time : 0.0 sec. user=mdettweiler [2012-10-05 22:11:54] 879*2^1230149-1 is not prime. Res64: F3EE5CE784584516 Time : 0.0 sec. user=mdettweiler [2012-10-05 22:11:55] 939*2^1230149-1 is not prime. Res64: B2888FA376044588 Time : 0.0 sec. user=mdettweiler [2012-10-05 22:18:41] 741*2^1230150-1 is not prime. Res64: 7EB62F85819E8415 Time : 0.0 sec. user=mdettweiler [2012-10-05 22:18:42] 783*2^1230150-1 is not prime. Res64: 61CE887273D99AD0 Time : 0.0 sec. user=vaughan [2012-10-05 22:31:28] 723*2^1230150-1 is not prime. Res64: 9B817318F28D77E1 Time : 0.0 sec. user=mdettweiler [2012-10-05 22:32:55] 887*2^1230150-1 is not prime. Res64: 3E20A13341C4AD34 Time : 0.0 sec. user=mdettweiler [2012-10-05 22:32:56] 963*2^1230150-1 is not prime. Res64: C37A6DC4FD7690D8 Time : 0.0 sec. user=mdettweiler [2012-10-05 22:39:48] 783*2^1230151-1 is not prime. Res64: BF4900993B4694F3 Time : 0.0 sec. user=mdettweiler [2012-10-05 22:39:48] 873*2^1230151-1 is not prime. Res64: FA4B08F91F41496E Time : 0.0 sec. user=mdettweiler [2012-10-05 22:53:55] 635*2^1230152-1 is not prime. Res64: AFAC80A649D9CE03 Time : 0.0 sec. user=mdettweiler [2012-10-05 22:53:55] 725*2^1230152-1 is not prime. Res64: 30093230763FD708 Time : 0.0 sec. user=mdettweiler [2012-10-05 23:00:47] 915*2^1230152-1 is not prime. Res64: 222EBBE957CED71A Time : 0.0 sec. user=mdettweiler [2012-10-05 23:00:48] 957*2^1230152-1 is not prime. Res64: 376B01F012DD46A8 Time : 0.0 sec. user=vaughan [2012-10-05 23:09:14] 629*2^1230152-1 is not prime. Res64: F9074E05004CBEF0 Time : 0.0 sec. user=mdettweiler [2012-10-05 23:15:07] 983*2^1230152-1 is not prime. Res64: 7FCED576C888B69F Time : 0.0 sec. user=mdettweiler [2012-10-05 23:15:12] 681*2^1230153-1 is not prime. Res64: 140BA49974122401 Time : 0.0 sec. user=mdettweiler [2012-10-05 23:22:23] 691*2^1230153-1 is not prime. Res64: D1AA9429041F7507 Time : 0.0 sec. user=mdettweiler [2012-10-05 23:22:23] 721*2^1230153-1 is not prime. Res64: 26328F481555FD6A Time : 0.0 sec. user=mdettweiler [2012-10-05 23:37:03] 741*2^1230153-1 is not prime. Res64: 9CE50AAC349B0528 Time : 0.0 sec. user=mdettweiler [2012-10-05 23:37:03] 781*2^1230153-1 is not prime. Res64: CC4D41AC6179FEDD Time : 0.0 sec. user=mdettweiler [2012-10-05 23:43:47] 847*2^1230153-1 is not prime. Res64: 502252C61B941C96 Time : 0.0 sec. user=mdettweiler [2012-10-05 23:43:47] 889*2^1230153-1 is not prime. Res64: 2FDFE8E55CDB0947 Time : 0.0 sec. user=vaughan [2012-10-05 23:47:00] 739*2^1230153-1 is not prime. Res64: 1E977AD90C6EC9CA Time : 0.0 sec. user=mdettweiler [2012-10-05 23:58:15] 915*2^1230153-1 is not prime. Res64: 18E3A7A77C20C50A Time : 0.0 sec. user=mdettweiler [2012-10-05 23:58:16] 999*2^1230153-1 is not prime. Res64: F37F87DA246B3259 Time : 0.0 sec.