user=mdettweiler [2013-06-07 00:01:07] 957*2^1246616-1 is not prime. Res64: 11F22825C9B84708 Time : 0.0 sec. user=mdettweiler [2013-06-07 00:09:04] 727*2^1246617-1 is not prime. Res64: 33BA48C615113317 Time : 0.0 sec. user=mdettweiler [2013-06-07 00:09:04] 865*2^1246617-1 is not prime. Res64: 715040251A2CE392 Time : 0.0 sec. user=mdettweiler [2013-06-07 00:19:38] 895*2^1246617-1 is not prime. Res64: BA30E74926FC622E Time : 0.0 sec. user=mdettweiler [2013-06-07 00:27:31] 713*2^1246618-1 is not prime. Res64: 186DEBE9DB905496 Time : 0.0 sec. user=mdettweiler [2013-06-07 00:47:08] 765*2^1246618-1 is not prime. Res64: 98427D07DD761DEA Time : 0.0 sec. user=mdettweiler [2013-06-07 00:51:11] 635*2^1246618-1 is not prime. Res64: A6BCDC50E1D17E2A Time : 0.0 sec. user=mdettweiler [2013-06-07 01:04:55] 777*2^1246618-1 is not prime. Res64: 39D4A74CD609C720 Time : 0.0 sec. user=mdettweiler [2013-06-07 01:08:45] 843*2^1246618-1 is not prime. Res64: BF8F7091693A36E5 Time : 0.0 sec. user=mdettweiler [2013-06-07 01:08:45] 675*2^1246619-1 is not prime. Res64: B2F3676D9935778B Time : 0.0 sec. user=mdettweiler [2013-06-07 01:26:43] 759*2^1246619-1 is not prime. Res64: 7BDDC8990FA4DF49 Time : 0.0 sec. user=mdettweiler [2013-06-07 01:26:44] 771*2^1246619-1 is not prime. Res64: 8F065A9D8C2CABE7 Time : 0.0 sec. user=mdettweiler [2013-06-07 01:44:35] 799*2^1246619-1 is not prime. Res64: C6448129BDA1C900 Time : 0.0 sec. user=mdettweiler [2013-06-07 01:44:36] 949*2^1246619-1 is not prime. Res64: 7D34FDA863B19C05 Time : 0.0 sec. user=mdettweiler [2013-06-07 01:46:18] 825*2^1246618-1 is not prime. Res64: A0C4A3F8DD28DCD8 Time : 0.0 sec. user=mdettweiler [2013-06-07 02:02:26] 717*2^1246620-1 is not prime. Res64: FB7094AFE215CC00 Time : 0.0 sec. user=mdettweiler [2013-06-07 02:02:26] 735*2^1246620-1 is not prime. Res64: 16B43C89EF4821C4 Time : 0.0 sec. user=mdettweiler [2013-06-07 02:03:55] 789*2^1246620-1 is not prime. Res64: 07FDB14705673936 Time : 0.0 sec. user=mdettweiler [2013-06-07 02:03:56] 797*2^1246620-1 is not prime. Res64: 75B5498B901AAB3E Time : 0.0 sec. user=mdettweiler [2013-06-07 02:20:18] 839*2^1246620-1 is not prime. Res64: CB2E4E075BED49AA Time : 0.0 sec. user=mdettweiler [2013-06-07 02:20:19] 905*2^1246620-1 is not prime. Res64: E500A5E83F3A3DFC Time : 0.0 sec. user=mdettweiler [2013-06-07 02:21:45] 927*2^1246620-1 is not prime. Res64: 586386E5316F81CE Time : 0.0 sec. user=mdettweiler [2013-06-07 02:21:45] 651*2^1246621-1 is not prime. Res64: 44EC1FC1EBC08E30 Time : 0.0 sec. user=mdettweiler [2013-06-07 02:37:54] 771*2^1246621-1 is not prime. Res64: 074637E1A9A7FDAF Time : 0.0 sec. user=mdettweiler [2013-06-07 02:37:55] 789*2^1246621-1 is not prime. Res64: BFDB2D0F33B00223 Time : 0.0 sec. user=mdettweiler [2013-06-07 02:39:21] 799*2^1246621-1 is not prime. Res64: 42CC937F35DCD48A Time : 0.0 sec. user=mdettweiler [2013-06-07 02:39:23] 805*2^1246621-1 is not prime. Res64: 2791D13613D61661 Time : 0.0 sec. user=mdettweiler [2013-06-07 02:55:50] 817*2^1246621-1 is not prime. Res64: CB41DE3590C85F89 Time : 0.0 sec. user=mdettweiler [2013-06-07 02:55:50] 871*2^1246621-1 is not prime. Res64: 90EF6279E5776E1F Time : 0.0 sec. user=mdettweiler [2013-06-07 02:57:16] 945*2^1246621-1 is not prime. Res64: 8FA9B4B2569836D9 Time : 0.0 sec. user=mdettweiler [2013-06-07 02:57:17] 961*2^1246621-1 is not prime. Res64: 9796BAE8B6D9884D Time : 0.0 sec. user=mdettweiler [2013-06-07 03:13:43] 617*2^1246622-1 is not prime. Res64: AC9316359D7A753B Time : 0.0 sec. user=mdettweiler [2013-06-07 03:13:44] 623*2^1246622-1 is not prime. Res64: 2A5C9A97D757A621 Time : 0.0 sec. user=mdettweiler [2013-06-07 03:15:26] 677*2^1246622-1 is not prime. Res64: 5566EC3806D5DCE9 Time : 0.0 sec. user=mdettweiler [2013-06-07 03:31:40] 713*2^1246622-1 is not prime. Res64: E440DD78250DE53D Time : 0.0 sec. user=mdettweiler [2013-06-07 03:31:43] 731*2^1246622-1 is not prime. Res64: 39A793D636C42970 Time : 0.0 sec. user=mdettweiler [2013-06-07 03:40:47] 711*2^1246622-1 is not prime. Res64: 244129E732C0C074 Time : 0.0 sec. user=mdettweiler [2013-06-07 03:49:35] 743*2^1246622-1 is not prime. Res64: 74B87BE65C37A1E4 Time : 0.0 sec. user=mdettweiler [2013-06-07 03:49:35] 797*2^1246622-1 is not prime. Res64: 2EB11E3D9CB6AF03 Time : 0.0 sec. user=mdettweiler [2013-06-07 04:07:26] 825*2^1246622-1 is not prime. Res64: AF61FB77872B9FC3 Time : 0.0 sec. user=mdettweiler [2013-06-07 04:07:27] 885*2^1246622-1 is not prime. Res64: 86D23789007F5E8F Time : 0.0 sec. user=mdettweiler [2013-06-07 04:25:14] 915*2^1246622-1 is not prime. Res64: 99C06B3F258EF12E Time : 0.0 sec. user=mdettweiler [2013-06-07 04:37:02] 619*2^1246623-1 is not prime. Res64: 9C6EB731481829BB Time : 0.0 sec. user=mdettweiler [2013-06-07 04:52:02] 615*2^1246623-1 is not prime. Res64: E0B3845E0E677441 Time : 0.0 sec. user=mdettweiler [2013-06-07 05:11:01] 985*2^1246623-1 is not prime. Res64: 9FEE76A2F0C914DB Time : 0.0 sec. user=mdettweiler [2013-06-07 05:15:10] 781*2^1246623-1 is not prime. Res64: 6EA844BD441DBA7D Time : 0.0 sec. user=mdettweiler [2013-06-07 05:32:44] 695*2^1246624-1 is not prime. Res64: B7B4D8A7FE8730C1 Time : 0.0 sec. user=mdettweiler [2013-06-07 05:32:44] 723*2^1246624-1 is not prime. Res64: 979CC1EDB78A0A8D Time : 0.0 sec. user=mdettweiler [2013-06-07 05:47:00] 665*2^1246624-1 is not prime. Res64: 5DAC945AA284A421 Time : 0.0 sec. user=mdettweiler [2013-06-07 05:50:31] 849*2^1246624-1 is not prime. Res64: CC8A03F040D6EE9E Time : 0.0 sec. user=mdettweiler [2013-06-07 05:50:31] 873*2^1246624-1 is not prime. Res64: DD16603C5928F03E Time : 0.0 sec. user=mdettweiler [2013-06-07 06:06:00] 927*2^1246624-1 is not prime. Res64: 346E7A59F64FD92D Time : 0.0 sec. user=mdettweiler [2013-06-07 06:08:03] 651*2^1246625-1 is not prime. Res64: 5BAD83F1F2443475 Time : 0.0 sec. user=mdettweiler [2013-06-07 06:08:05] 729*2^1246625-1 is not prime. Res64: AB1C658DBF5ECD38 Time : 0.0 sec. user=mdettweiler [2013-06-07 06:26:25] 795*2^1246625-1 is not prime. Res64: 74E496EEC6699C34 Time : 0.0 sec. user=mdettweiler [2013-06-07 06:28:28] 983*2^1246624-1 is not prime. Res64: 8DC05EECB0A8AE2F Time : 0.0 sec. user=mdettweiler [2013-06-07 06:46:03] 861*2^1246626-1 is not prime. Res64: 6F2A378568FFA951 Time : 0.0 sec. user=mdettweiler [2013-06-07 06:46:03] 957*2^1246626-1 is not prime. Res64: 0A122490F83992F6 Time : 0.0 sec. user=mdettweiler [2013-06-07 07:00:02] 937*2^1246625-1 is not prime. Res64: 0C7E703B63A8EF51 Time : 0.0 sec. user=mdettweiler [2013-06-07 07:04:00] 765*2^1246627-1 is not prime. Res64: 05CB52F524CA6B78 Time : 0.0 sec. user=mdettweiler [2013-06-07 07:04:01] 861*2^1246627-1 is not prime. Res64: E5E1F91865B05A96 Time : 0.0 sec. user=mdettweiler [2013-06-07 07:21:50] 919*2^1246627-1 is not prime. Res64: 5B8A907745D5FF45 Time : 0.0 sec. user=mdettweiler [2013-06-07 07:21:50] 945*2^1246627-1 is not prime. Res64: 8DD3818DEF27C7DB Time : 0.0 sec. user=mdettweiler [2013-06-07 07:40:36] 603*2^1246628-1 is not prime. Res64: 9C2088C42967BD56 Time : 0.0 sec. user=mdettweiler [2013-06-07 07:49:29] 665*2^1246628-1 is not prime. Res64: 2D318A58A35F514C Time : 0.0 sec. user=mdettweiler [2013-06-07 07:49:29] 797*2^1246628-1 is not prime. Res64: EAD09DB9B7D9EC47 Time : 0.0 sec. user=mdettweiler [2013-06-07 08:04:43] 617*2^1246628-1 is not prime. Res64: D1EF32741C96E83E Time : 0.0 sec. user=mdettweiler [2013-06-07 08:07:13] 875*2^1246628-1 is not prime. Res64: AF9922F14670880D Time : 0.0 sec. user=mdettweiler [2013-06-07 08:22:58] 627*2^1246629-1 is not prime. Res64: EB8B60FC8E8720D8 Time : 0.0 sec. user=mdettweiler [2013-06-07 08:47:14] 711*2^1246629-1 is not prime. Res64: AF9F4E6F82940FB0 Time : 0.0 sec. user=mdettweiler [2013-06-07 08:49:10] 959*2^1246628-1 is not prime. Res64: 91E300448448DADA Time : 0.0 sec. user=mdettweiler [2013-06-07 09:04:49] 605*2^1246630-1 is not prime. Res64: AC7A187C38640FCB Time : 0.0 sec. user=mdettweiler [2013-06-07 09:04:50] 951*2^1246630-1 is not prime. Res64: 59F81F2B9D01CDD7 Time : 0.0 sec. user=mdettweiler [2013-06-07 09:06:39] 965*2^1246630-1 is not prime. Res64: 7FAE3DD6C81F3733 Time : 0.0 sec. user=mdettweiler [2013-06-07 09:06:40] 693*2^1246631-1 is not prime. Res64: 57769A645D20530C Time : 0.0 sec. user=mdettweiler [2013-06-07 09:23:16] 921*2^1246631-1 is not prime. Res64: 4B1233BAEAA50701 Time : 0.0 sec. user=mdettweiler [2013-06-07 09:25:25] 629*2^1246632-1 is not prime. Res64: B90A5D4E1E1FF2BD Time : 0.0 sec. user=mdettweiler [2013-06-07 09:53:39] 843*2^1246632-1 is not prime. Res64: 48C1CB36574E5C13 Time : 0.0 sec. user=mdettweiler [2013-06-07 10:02:46] 623*2^1246632-1 is not prime. Res64: D92CD20B86701803 Time : 0.0 sec. user=mdettweiler [2013-06-07 10:13:58] 899*2^1246632-1 is not prime. Res64: 92A338B55E390A72 Time : 0.0 sec. user=mdettweiler [2013-06-07 10:51:17] 675*2^1246633-1 is not prime. Res64: 56871BD36A3BDE30 Time : 0.0 sec. user=mdettweiler [2013-06-07 10:51:21] 705*2^1246633-1 is not prime. Res64: BD5F88AD0CFF194F Time : 0.0 sec. user=mdettweiler [2013-06-07 10:51:22] 721*2^1246633-1 is not prime. Res64: 0143268709195F6E Time : 0.0 sec. user=mdettweiler [2013-06-07 11:11:06] 747*2^1246633-1 is not prime. Res64: 79EF98F3991DFBB2 Time : 0.0 sec. user=mdettweiler [2013-06-07 11:11:08] 855*2^1246633-1 is not prime. Res64: AFAF309D50D9C2E8 Time : 0.0 sec. user=mdettweiler [2013-06-07 11:29:33] 867*2^1246633-1 is not prime. Res64: 279A5566A0109FAF Time : 0.0 sec. user=mdettweiler [2013-06-07 11:34:34] 939*2^1246633-1 is not prime. Res64: DD9CA5BEC6642AEF Time : 0.0 sec. user=mdettweiler [2013-06-07 12:02:48] 967*2^1246633-1 is not prime. Res64: 41567E7E48DF5F34 Time : 0.0 sec. user=mdettweiler [2013-06-07 12:03:32] 919*2^1246633-1 is not prime. Res64: 5221DB6A03B7631E Time : 0.0 sec. user=mdettweiler [2013-06-07 12:20:51] 753*2^1246634-1 is not prime. Res64: 09927BD591F570EC Time : 0.0 sec. user=mdettweiler [2013-06-07 12:21:16] 903*2^1246634-1 is not prime. Res64: C525BF0185EEA00D Time : 0.0 sec. user=mdettweiler [2013-06-07 12:21:33] 923*2^1246634-1 is not prime. Res64: 04741DD35AEC28DB Time : 0.0 sec. user=mdettweiler [2013-06-07 12:48:08] 831*2^1246634-1 is not prime. Res64: A59D6E721B0318EB Time : 0.0 sec. user=mdettweiler [2013-06-07 13:06:59] 927*2^1246634-1 is not prime. Res64: DF664FFBBC5F1A8C Time : 0.0 sec. user=mdettweiler [2013-06-07 13:16:27] 709*2^1246635-1 is not prime. Res64: 0268D2FC49FDDE73 Time : 0.0 sec. user=mdettweiler [2013-06-07 13:16:27] 739*2^1246635-1 is not prime. Res64: 52C5B3A5F5261082 Time : 0.0 sec. user=mdettweiler [2013-06-07 13:34:46] 775*2^1246635-1 is not prime. Res64: 4FC804D86F9504AE Time : 0.0 sec. user=mdettweiler [2013-06-07 13:44:24] 983*2^1246634-1 is not prime. Res64: 335C48D86610A0F2 Time : 0.0 sec. user=mdettweiler [2013-06-07 14:02:12] 783*2^1246635-1 is not prime. Res64: 1126E1F0D5E68570 Time : 0.0 sec. user=mdettweiler [2013-06-07 14:02:13] 795*2^1246635-1 is not prime. Res64: 028E057957A6DAC1 Time : 0.0 sec. user=mdettweiler [2013-06-07 14:05:04] 781*2^1246635-1 is not prime. Res64: EA99D2832AE62E59 Time : 0.0 sec. user=mdettweiler [2013-06-07 14:20:06] 909*2^1246635-1 is not prime. Res64: 113C6714884D14F0 Time : 0.0 sec. user=mdettweiler [2013-06-07 14:20:07] 913*2^1246635-1 is not prime. Res64: AD7314E2EF65F122 Time : 0.0 sec. user=mdettweiler [2013-06-07 14:23:13] 955*2^1246635-1 is not prime. Res64: 73094C2424C280C9 Time : 0.0 sec. user=mdettweiler [2013-06-07 14:38:12] 719*2^1246636-1 is not prime. Res64: 2A38B341F797E86C Time : 0.0 sec. user=mdettweiler [2013-06-07 14:48:34] 615*2^1246636-1 is not prime. Res64: A57FE124CAA596DA Time : 0.0 sec. user=mdettweiler [2013-06-07 15:32:43] 755*2^1246636-1 is not prime. Res64: AE341F0C909F666C Time : 0.0 sec. user=mdettweiler [2013-06-07 15:44:17] 855*2^1246636-1 is not prime. Res64: 4D9FCCF616148C3F Time : 0.0 sec. user=mdettweiler [2013-06-07 15:44:17] 875*2^1246636-1 is not prime. Res64: C152BCFCDBF9727F Time : 0.0 sec. user=mdettweiler [2013-06-07 16:03:02] 651*2^1246637-1 is not prime. Res64: 9E6C2CAB65E0654D Time : 0.0 sec. user=mdettweiler [2013-06-07 16:12:56] 647*2^1246638-1 is not prime. Res64: 7C053531E2423819 Time : 0.0 sec. user=mdettweiler [2013-06-07 16:31:35] 683*2^1246638-1 is not prime. Res64: CB2099B3F8D21CA2 Time : 0.0 sec. user=mdettweiler [2013-06-07 16:35:07] 991*2^1246637-1 is not prime. Res64: 96813A746AAE0E3A Time : 0.0 sec. user=mdettweiler [2013-06-07 16:49:23] 707*2^1246638-1 is not prime. Res64: 1D9136F8FE7D1D1D Time : 0.0 sec. user=mdettweiler [2013-06-07 16:49:23] 725*2^1246638-1 is not prime. Res64: 63F61CA6ED2D51E1 Time : 0.0 sec. user=mdettweiler [2013-06-07 16:52:35] 755*2^1246638-1 is not prime. Res64: 4F6BB201B1A25F53 Time : 0.0 sec. user=mdettweiler [2013-06-07 16:52:36] 765*2^1246638-1 is not prime. Res64: 51D2BB68C7327BD9 Time : 0.0 sec. user=mdettweiler [2013-06-07 17:07:08] 825*2^1246638-1 is not prime. Res64: 721D86C82402F0EE Time : 0.0 sec. user=mdettweiler [2013-06-07 17:07:10] 875*2^1246638-1 is not prime. Res64: DF8CCE25F25645AA Time : 0.0 sec. user=mdettweiler [2013-06-07 17:11:05] 933*2^1246638-1 is not prime. Res64: 1F339332FB9B0FD2 Time : 0.0 sec. user=mdettweiler [2013-06-07 17:24:54] 609*2^1246639-1 is not prime. Res64: 4B979E7EDA7B6AB9 Time : 0.0 sec. user=mdettweiler [2013-06-07 17:24:54] 675*2^1246639-1 is not prime. Res64: B1E278065C43497B Time : 0.0 sec. user=mdettweiler [2013-06-07 17:40:10] 1001*2^1246638-1 is not prime. Res64: B56EEB0B1D287CD8 Time : 0.0 sec. user=mdettweiler [2013-06-07 17:43:46] 681*2^1246639-1 is not prime. Res64: 693A1EA10A0D31CA Time : 0.0 sec. user=mdettweiler [2013-06-07 17:43:46] 765*2^1246639-1 is not prime. Res64: D7B89B9E4EFD0EC2 Time : 0.0 sec. user=mdettweiler [2013-06-07 17:58:16] 771*2^1246639-1 is not prime. Res64: 1F324EB176FCDEE2 Time : 0.0 sec. user=mdettweiler [2013-06-07 17:58:17] 831*2^1246639-1 is not prime. Res64: 554A6E029B6FDE8F Time : 0.0 sec. user=mdettweiler [2013-06-07 18:01:40] 603*2^1246640-1 is not prime. Res64: EBF688E5C7CB6BF5 Time : 0.0 sec. user=mdettweiler [2013-06-07 18:01:41] 633*2^1246640-1 is not prime. Res64: 928978CBB06E33BD Time : 0.0 sec. user=mdettweiler [2013-06-07 18:16:11] 789*2^1246640-1 is not prime. Res64: 279219560DDD263F Time : 0.0 sec. user=mdettweiler [2013-06-07 18:16:11] 825*2^1246640-1 is not prime. Res64: 14B071581A2D6F9F Time : 0.0 sec. user=mdettweiler [2013-06-07 18:19:38] 827*2^1246640-1 is not prime. Res64: 96A9038C93B42A80 Time : 0.0 sec. user=mdettweiler [2013-06-07 18:19:38] 963*2^1246640-1 is not prime. Res64: 6E8EAE4DD0AF4AC6 Time : 0.0 sec. user=mdettweiler [2013-06-07 18:34:55] 983*2^1246640-1 is not prime. Res64: 737AEB013313CA19 Time : 0.0 sec. user=mdettweiler [2013-06-07 18:34:55] 615*2^1246641-1 is not prime. Res64: 6EDC155C6C01ABAA Time : 0.0 sec. user=mdettweiler [2013-06-07 18:37:32] 625*2^1246641-1 is not prime. Res64: 0715899A8BD08E1F Time : 0.0 sec. user=mdettweiler [2013-06-07 18:37:33] 705*2^1246641-1 is not prime. Res64: E3E968ABE0089CDD Time : 0.0 sec. user=mdettweiler [2013-06-07 18:52:55] 741*2^1246641-1 is not prime. Res64: 9E83A0D7DE8142FF Time : 0.0 sec. user=mdettweiler [2013-06-07 18:52:55] 777*2^1246641-1 is not prime. Res64: 22F6D769ED7FFAEF Time : 0.0 sec. user=mdettweiler [2013-06-07 18:55:26] 781*2^1246641-1 is not prime. Res64: D20CBA8E0B439B6B Time : 0.0 sec. user=mdettweiler [2013-06-07 18:55:26] 861*2^1246641-1 is not prime. Res64: 481F15B3AEBFE03B Time : 0.0 sec. user=mdettweiler [2013-06-07 19:11:48] 889*2^1246641-1 is not prime. Res64: DE931F1B66BE22C8 Time : 0.0 sec. user=mdettweiler [2013-06-07 19:11:49] 975*2^1246641-1 is not prime. Res64: 86258163CC0D156B Time : 0.0 sec. user=mdettweiler [2013-06-07 19:14:00] 657*2^1246642-1 is not prime. Res64: AE12FFA787839792 Time : 0.0 sec. user=mdettweiler [2013-06-07 19:29:39] 723*2^1246642-1 is not prime. Res64: F2F413927FE55D41 Time : 0.0 sec. user=mdettweiler [2013-06-07 19:29:39] 703*2^1246643-1 is not prime. Res64: 0D801745897327E1 Time : 0.0 sec. user=mdettweiler [2013-06-07 19:37:11] 705*2^1246642-1 is not prime. Res64: 9A4BD033CF920A82 Time : 0.0 sec. user=mdettweiler [2013-06-07 19:47:25] 855*2^1246643-1 is not prime. Res64: D9733FE8B6DDCC24 Time : 0.0 sec. user=mdettweiler [2013-06-07 19:47:25] 885*2^1246643-1 is not prime. Res64: CFC45944455112D0 Time : 0.0 sec. user=mdettweiler [2013-06-07 20:05:07] 915*2^1246643-1 is not prime. Res64: C0FF176AFF7B2B48 Time : 0.0 sec. user=mdettweiler [2013-06-07 20:05:08] 963*2^1246643-1 is not prime. Res64: 792EBA9808031307 Time : 0.0 sec. user=mdettweiler [2013-06-07 20:22:13] 663*2^1246644-1 is not prime. Res64: 8B69E79023CE8FFF Time : 0.0 sec. user=mdettweiler [2013-06-07 20:22:13] 737*2^1246644-1 is not prime. Res64: 64A9E67E3ACA6D89 Time : 0.0 sec. user=mdettweiler [2013-06-07 20:22:56] 749*2^1246644-1 is not prime. Res64: DE442F5ABB760B11 Time : 0.0 sec. user=mdettweiler [2013-06-07 20:22:57] 765*2^1246644-1 is not prime. Res64: ABDBC62B03A890A0 Time : 0.0 sec. user=mdettweiler [2013-06-07 20:40:15] 887*2^1246644-1 is not prime. Res64: 17744B9A1EE8ED65 Time : 0.0 sec. user=mdettweiler [2013-06-07 20:40:15] 893*2^1246644-1 is not prime. Res64: 406BB5BB76EE0B56 Time : 0.0 sec. user=mdettweiler [2013-06-07 20:40:58] 899*2^1246644-1 is not prime. Res64: E7171479F6CCE6E3 Time : 0.0 sec. user=mdettweiler [2013-06-07 20:40:58] 945*2^1246644-1 is not prime. Res64: A6F1B7A1B973B0AE Time : 0.0 sec. user=mdettweiler [2013-06-07 20:59:15] 625*2^1246645-1 is not prime. Res64: 166274DF7B35F11B Time : 0.0 sec. user=mdettweiler [2013-06-07 20:59:53] 975*2^1246644-1 is not prime. Res64: A843ECE9895114A6 Time : 0.0 sec. user=mdettweiler [2013-06-07 20:59:54] 983*2^1246644-1 is not prime. Res64: 29F093B61382EA79 Time : 0.0 sec. user=mdettweiler [2013-06-07 21:18:57] 951*2^1246645-1 is not prime. Res64: DF0C35BB4063175A Time : 0.0 sec. user=mdettweiler [2013-06-07 21:18:58] 985*2^1246645-1 is not prime. Res64: 3D27607830B32965 Time : 0.0 sec. user=mdettweiler [2013-06-07 21:37:06] 771*2^1246645-1 is not prime. Res64: E466594761D6E53E Time : 0.0 sec. user=mdettweiler [2013-06-07 21:37:27] 623*2^1246646-1 is not prime. Res64: 758F5C041489FD2F Time : 0.0 sec. user=mdettweiler [2013-06-07 21:37:27] 683*2^1246646-1 is not prime. Res64: 3AED42FADF5BBA2C Time : 0.0 sec. user=mdettweiler [2013-06-07 21:55:14] 833*2^1246646-1 is not prime. Res64: 26323FF86852C822 Time : 0.0 sec. user=mdettweiler [2013-06-07 21:55:15] 857*2^1246646-1 is not prime. Res64: 9B7A943F936E8C72 Time : 0.0 sec. user=mdettweiler [2013-06-07 21:56:24] 945*2^1246646-1 is not prime. Res64: 5475C5B27054C3B1 Time : 0.0 sec. user=mdettweiler [2013-06-07 21:56:24] 1001*2^1246646-1 is not prime. Res64: 646C8B1971907390 Time : 0.0 sec. user=mdettweiler [2013-06-07 22:12:55] 633*2^1246647-1 is not prime. Res64: A3F43BDE4116FA78 Time : 0.0 sec. user=mdettweiler [2013-06-07 22:13:58] 751*2^1246647-1 is not prime. Res64: 58C01947EE1700F4 Time : 0.0 sec. user=mdettweiler [2013-06-07 22:13:58] 775*2^1246647-1 is not prime. Res64: AAAFCA9459E2F92F Time : 0.0 sec. user=mdettweiler [2013-06-07 22:31:49] 891*2^1246647-1 is not prime. Res64: 4E6A09B423402B6E Time : 0.0 sec. user=mdettweiler [2013-06-07 22:31:50] 931*2^1246647-1 is not prime. Res64: AAE35389C1E0BE17 Time : 0.0 sec. user=mdettweiler [2013-06-07 22:37:42] 711*2^1246647-1 is not prime. Res64: 8C6AD8B7AE4EF979 Time : 0.0 sec. user=mdettweiler [2013-06-07 22:49:48] 765*2^1246648-1 is not prime. Res64: 7CA95CE07F9B8393 Time : 0.0 sec. user=mdettweiler [2013-06-07 23:16:11] 797*2^1246648-1 is not prime. Res64: C2D1CA2C24C65F9D Time : 0.0 sec. user=mdettweiler [2013-06-07 23:28:41] 777*2^1246648-1 is not prime. Res64: 0C826F885F78FD08 Time : 0.0 sec. user=mdettweiler [2013-06-07 23:44:19] 699*2^1246649-1 is not prime. Res64: 9437E0348C589B4D Time : 0.0 sec. user=mdettweiler [2013-06-07 23:46:32] 847*2^1246649-1 is not prime. Res64: EF040F1FA534BFD5 Time : 0.0 sec.