user=mdettweiler [2013-06-15 00:16:53] 949*2^1246893-1 is not prime. Res64: 3F78852F75BF7154 Time : 0.0 sec. user=vaughan [2013-06-15 00:26:01] 987*2^1246893-1 is not prime. Res64: 6D2307E3291C91D3 Time : 0.0 sec. user=mdettweiler [2013-06-15 00:27:30] 605*2^1246894-1 is not prime. Res64: 5048959A7DF9CB00 Time : 0.0 sec. user=mdettweiler [2013-06-15 00:49:30] 717*2^1246894-1 is not prime. Res64: 16137DCA06EEC2A8 Time : 0.0 sec. user=mdettweiler [2013-06-15 01:01:41] 747*2^1246894-1 is not prime. Res64: FC8C68F4740FE0AB Time : 0.0 sec. user=mdettweiler [2013-06-15 01:01:43] 773*2^1246894-1 is not prime. Res64: CF607DD59AA4084A Time : 0.0 sec. user=mdettweiler [2013-06-15 01:07:14] 825*2^1246894-1 is not prime. Res64: B63829C416A86695 Time : 0.0 sec. user=mdettweiler [2013-06-15 01:19:28] 947*2^1246894-1 is not prime. Res64: 34BBF8333F7C31D4 Time : 0.0 sec. user=mdettweiler [2013-06-15 01:32:45] 917*2^1246894-1 is not prime. Res64: 9B496D7829D07F99 Time : 0.0 sec. user=mdettweiler [2013-06-15 01:46:07] 965*2^1246894-1 is not prime. Res64: 0DD036F78ED7A390 Time : 0.0 sec. user=vaughan [2013-06-15 01:50:45] 987*2^1246894-1 is not prime. Res64: 11E5E07F7788531D Time : 0.0 sec. user=mdettweiler [2013-06-15 02:26:04] 1001*2^1246894-1 is not prime. Res64: B1A7A37395EAC44B Time : 0.0 sec. user=mdettweiler [2013-06-15 02:26:05] 609*2^1246895-1 is not prime. Res64: 06E2C9468D8F087B Time : 0.0 sec. user=mdettweiler [2013-06-15 02:31:28] 645*2^1246895-1 is not prime. Res64: 97ACFBB72E5E88F8 Time : 0.0 sec. user=mdettweiler [2013-06-15 02:31:30] 649*2^1246895-1 is not prime. Res64: 4F42208EF437D634 Time : 0.0 sec. user=mdettweiler [2013-06-15 02:43:36] 865*2^1246895-1 is not prime. Res64: BA324EE1E98FF3AA Time : 0.0 sec. user=mdettweiler [2013-06-15 02:43:38] 871*2^1246895-1 is not prime. Res64: 2497BD45BA2AA29B Time : 0.0 sec. user=mdettweiler [2013-06-15 02:49:47] 885*2^1246895-1 is not prime. Res64: 6CA2A811F0E80A29 Time : 0.0 sec. user=mdettweiler [2013-06-15 02:49:48] 985*2^1246895-1 is not prime. Res64: FC55C4B66D0CFB60 Time : 0.0 sec. user=mdettweiler [2013-06-15 03:01:27] 707*2^1246896-1 is not prime. Res64: 068F46EA8B189E06 Time : 0.0 sec. user=mdettweiler [2013-06-15 03:01:28] 845*2^1246896-1 is not prime. Res64: C73B21C16CB3CBB2 Time : 0.0 sec. user=mdettweiler [2013-06-15 03:07:35] 639*2^1246897-1 is not prime. Res64: 8F8F33950E582DFC Time : 0.0 sec. user=mdettweiler [2013-06-15 03:07:36] 661*2^1246897-1 is not prime. Res64: 019F260B42EE6315 Time : 0.0 sec. user=vaughan [2013-06-15 03:09:36] 883*2^1246895-1 is not prime. Res64: 04419DE300312DF4 Time : 0.0 sec. user=mdettweiler [2013-06-15 03:19:18] 765*2^1246897-1 is not prime. Res64: 0B65E1166C941478 Time : 0.0 sec. user=mdettweiler [2013-06-15 03:19:19] 775*2^1246897-1 is not prime. Res64: 702964D1E02965D9 Time : 0.0 sec. user=mdettweiler [2013-06-15 03:25:28] 817*2^1246897-1 is not prime. Res64: F36BC5F5B6F9C06D Time : 0.0 sec. user=mdettweiler [2013-06-15 03:25:28] 841*2^1246897-1 is not prime. Res64: AA25286A3E3AFC36 Time : 0.0 sec. user=mdettweiler [2013-06-15 03:37:07] 937*2^1246897-1 is not prime. Res64: FF61EA4336D52A09 Time : 0.0 sec. user=mdettweiler [2013-06-15 03:37:08] 939*2^1246897-1 is not prime. Res64: 7EC485FC26E23405 Time : 0.0 sec. user=mdettweiler [2013-06-15 03:43:25] 671*2^1246898-1 is not prime. Res64: 00938DA19B746D40 Time : 0.0 sec. user=mdettweiler [2013-06-15 03:54:40] 843*2^1246898-1 is not prime. Res64: DEBAD597A75AEA9F Time : 0.0 sec. user=vaughan [2013-06-15 03:54:40] 901*2^1246897-1 is not prime. Res64: 98E2646762F0EA15 Time : 0.0 sec. user=mdettweiler [2013-06-15 03:54:40] 923*2^1246898-1 is not prime. Res64: EA8F4675FB4A3C5D Time : 0.0 sec. user=mdettweiler [2013-06-15 04:08:34] 827*2^1246898-1 is not prime. Res64: 6B3B831D97963916 Time : 0.0 sec. user=mdettweiler [2013-06-15 04:13:47] 977*2^1246898-1 is not prime. Res64: 7CE12DF7D2DB1D88 Time : 0.0 sec. user=mdettweiler [2013-06-15 04:13:48] 1001*2^1246898-1 is not prime. Res64: F040C267B82B2017 Time : 0.0 sec. user=mdettweiler [2013-06-15 04:26:09] 663*2^1246899-1 is not prime. Res64: 5D54143D6BF8D849 Time : 0.0 sec. user=mdettweiler [2013-06-15 04:26:10] 789*2^1246899-1 is not prime. Res64: 91A96DE04DABE590 Time : 0.0 sec. user=mdettweiler [2013-06-15 04:31:35] 795*2^1246899-1 is not prime. Res64: 83A2A7BE159A076D Time : 0.0 sec. user=mdettweiler [2013-06-15 04:31:36] 873*2^1246899-1 is not prime. Res64: 2B17A6BF0CB6811A Time : 0.0 sec. user=vaughan [2013-06-15 04:39:26] 963*2^1246898-1 is not prime. Res64: 2AF2963C359DDB7A Time : 0.0 sec. user=mdettweiler [2013-06-15 04:43:53] 885*2^1246899-1 is not prime. Res64: A3795EBBE9DBD575 Time : 0.0 sec. user=mdettweiler [2013-06-15 04:43:54] 909*2^1246899-1 is not prime. Res64: 98754E6CF38E5180 Time : 0.0 sec. user=mdettweiler [2013-06-15 04:49:22] 955*2^1246899-1 is not prime. Res64: 26AB6144D38FA160 Time : 0.0 sec. user=mdettweiler [2013-06-15 04:49:43] 665*2^1246900-1 is not prime. Res64: DDEEE1E9F447B72A Time : 0.0 sec. user=mdettweiler [2013-06-15 05:01:52] 797*2^1246900-1 is not prime. Res64: 7C6435D8E77B181B Time : 0.0 sec. user=vaughan [2013-06-15 05:19:15] 677*2^1246900-1 is not prime. Res64: 8B62E9E39A8B4773 Time : 0.0 sec. user=mdettweiler [2013-06-15 05:24:00] 909*2^1246900-1 is not prime. Res64: E03A273EE4B2D4C4 Time : 0.0 sec. user=mdettweiler [2013-06-15 05:37:51] 855*2^1246900-1 is not prime. Res64: 07F834BDF8C4331E Time : 0.0 sec. user=mdettweiler [2013-06-15 05:56:20] 965*2^1246900-1 is not prime. Res64: A1F189E8A82EDCE6 Time : 0.0 sec. user=mdettweiler [2013-06-15 06:02:10] 939*2^1246900-1 is not prime. Res64: 4AB9F0DFBD86239D Time : 0.0 sec. user=mdettweiler [2013-06-15 06:26:34] 645*2^1246901-1 is not prime. Res64: 5FD54487F89376DE Time : 0.0 sec. user=vaughan [2013-06-15 06:38:03] 679*2^1246901-1 is not prime. Res64: B03C9AF36A612403 Time : 0.0 sec. user=mdettweiler [2013-06-15 06:38:45] 825*2^1246901-1 is not prime. Res64: 35646ECFDE4090FC Time : 0.0 sec. user=mdettweiler [2013-06-15 06:44:58] 979*2^1246901-1 is not prime. Res64: 36FC76BB1D3ECF8B Time : 0.0 sec. user=mdettweiler [2013-06-15 06:44:59] 671*2^1246902-1 is not prime. Res64: 908461DD0D98595C Time : 0.0 sec. user=mdettweiler [2013-06-15 07:02:45] 821*2^1246902-1 is not prime. Res64: FE3D6B0311A7603F Time : 0.0 sec. user=mdettweiler [2013-06-15 07:02:46] 867*2^1246902-1 is not prime. Res64: 7A088A4A27C00051 Time : 0.0 sec. user=mdettweiler [2013-06-15 07:15:54] 939*2^1246901-1 is not prime. Res64: B99A6F09EC318F6B Time : 0.0 sec. user=vaughan [2013-06-15 07:17:54] 755*2^1246902-1 is not prime. Res64: 8987ED7A688702E7 Time : 0.0 sec. user=mdettweiler [2013-06-15 07:21:05] 941*2^1246902-1 is not prime. Res64: 3CC4E87E86392E52 Time : 0.0 sec. user=mdettweiler [2013-06-15 07:21:05] 1001*2^1246902-1 is not prime. Res64: E1D79325FA106F9F Time : 0.0 sec. user=mdettweiler [2013-06-15 07:33:25] 609*2^1246903-1 is not prime. Res64: D577E8DA27736223 Time : 0.0 sec. user=mdettweiler [2013-06-15 07:33:26] 621*2^1246903-1 is not prime. Res64: AAA70E37594DA4A1 Time : 0.0 sec. user=mdettweiler [2013-06-15 07:38:52] 681*2^1246903-1 is not prime. Res64: 48192E02577F3A91 Time : 0.0 sec. user=mdettweiler [2013-06-15 07:38:53] 831*2^1246903-1 is not prime. Res64: 7CE411377C8C936C Time : 0.0 sec. user=mdettweiler [2013-06-15 07:51:17] 925*2^1246903-1 is not prime. Res64: 2ABBD84D99C1AD48 Time : 0.0 sec. user=mdettweiler [2013-06-15 07:51:17] 961*2^1246903-1 is not prime. Res64: 639103F75FED5809 Time : 0.0 sec. user=mdettweiler [2013-06-15 07:56:43] 725*2^1246904-1 is not prime. Res64: 99318940B597FBCF Time : 0.0 sec. user=mdettweiler [2013-06-15 07:56:44] 753*2^1246904-1 is not prime. Res64: 6D6B2534A395697A Time : 0.0 sec. user=vaughan [2013-06-15 07:57:28] 675*2^1246903-1 is not prime. Res64: 9AC35857E61CDD6F Time : 0.0 sec. user=mdettweiler [2013-06-15 08:09:12] 767*2^1246904-1 is not prime. Res64: 78651A266469DA23 Time : 0.0 sec. user=mdettweiler [2013-06-15 08:09:13] 819*2^1246904-1 is not prime. Res64: 0A834FEE65C6C636 Time : 0.0 sec. user=mdettweiler [2013-06-15 08:15:16] 927*2^1246904-1 is not prime. Res64: E5E30EC57826A355 Time : 0.0 sec. user=mdettweiler [2013-06-15 08:15:33] 983*2^1246904-1 is not prime. Res64: 65D4BCC5E3A696CB Time : 0.0 sec. user=mdettweiler [2013-06-15 08:27:39] 781*2^1246905-1 is not prime. Res64: E77268E88657AC79 Time : 0.0 sec. user=vaughan [2013-06-15 08:37:17] 727*2^1246905-1 is not prime. Res64: AF9248900B14F7C2 Time : 0.0 sec. user=mdettweiler [2013-06-15 08:51:21] 831*2^1246905-1 is not prime. Res64: 766B34E958B41196 Time : 0.0 sec. user=mdettweiler [2013-06-15 08:51:46] 861*2^1246905-1 is not prime. Res64: 522CCAC8D7BE98E2 Time : 0.0 sec. user=mdettweiler [2013-06-15 08:54:34] 805*2^1246905-1 is not prime. Res64: B3FAE7E5B94CA2E1 Time : 0.0 sec. user=mdettweiler [2013-06-15 09:12:10] 713*2^1246906-1 is not prime. Res64: 9952045DD5F3200E Time : 0.0 sec. user=mdettweiler [2013-06-15 09:12:11] 801*2^1246906-1 is not prime. Res64: 9244E3F475112A7D Time : 0.0 sec. user=vaughan [2013-06-15 09:16:49] 695*2^1246906-1 is not prime. Res64: A7D02785B9894868 Time : 0.0 sec. user=mdettweiler [2013-06-15 09:30:06] 821*2^1246906-1 is not prime. Res64: A23B90719602CD83 Time : 0.0 sec. user=mdettweiler [2013-06-15 09:41:14] 631*2^1246907-1 is not prime. Res64: BBE30A363512FBEB Time : 0.0 sec. user=mdettweiler [2013-06-15 09:55:27] 917*2^1246906-1 is not prime. Res64: 13EF1751205DB932 Time : 0.0 sec. user=vaughan [2013-06-15 09:56:42] 609*2^1246907-1 is not prime. Res64: DE34785E99D46E8F Time : 0.0 sec. user=mdettweiler [2013-06-15 10:19:06] 693*2^1246907-1 is not prime. Res64: 697A02221E9DBA02 Time : 0.0 sec. user=vaughan [2013-06-15 10:36:34] 753*2^1246907-1 is not prime. Res64: F2225B24288B2E64 Time : 0.0 sec. user=mdettweiler [2013-06-15 10:36:35] 799*2^1246907-1 is not prime. Res64: 03B53C2AF43ABF47 Time : 0.0 sec. user=mdettweiler [2013-06-15 10:36:36] 805*2^1246907-1 is not prime. Res64: A49ACBF276CA9DA7 Time : 0.0 sec. user=mdettweiler [2013-06-15 10:42:42] 819*2^1246907-1 is not prime. Res64: 685DC5BB5A5B5D24 Time : 0.0 sec. user=mdettweiler [2013-06-15 10:54:33] 825*2^1246908-1 is not prime. Res64: 817A03E966C408F6 Time : 0.0 sec. user=mdettweiler [2013-06-15 11:17:52] 899*2^1246908-1 is not prime. Res64: B78B66FD117D7A3A Time : 0.0 sec. user=mdettweiler [2013-06-15 11:18:37] 901*2^1246907-1 is not prime. Res64: 73A98F7DCE677034 Time : 0.0 sec. user=mdettweiler [2013-06-15 11:36:20] 691*2^1246909-1 is not prime. Res64: 980C3B80E0AE9EFC Time : 0.0 sec. user=mdettweiler [2013-06-15 11:36:21] 771*2^1246909-1 is not prime. Res64: 31510D108B397F05 Time : 0.0 sec. user=mdettweiler [2013-06-15 11:54:04] 799*2^1246909-1 is not prime. Res64: CD88BBB71C2BE669 Time : 0.0 sec. user=vaughan [2013-06-15 11:55:31] 681*2^1246909-1 is not prime. Res64: F85D532F5BFAD1FA Time : 0.0 sec. user=mdettweiler [2013-06-15 12:11:55] 919*2^1246909-1 is not prime. Res64: 4A5131D9ABF5A2B0 Time : 0.0 sec. user=mdettweiler [2013-06-15 12:11:56] 999*2^1246909-1 is not prime. Res64: 20CDD82C5AE0BF19 Time : 0.0 sec. user=mdettweiler [2013-06-15 12:22:24] 825*2^1246909-1 is not prime. Res64: 794FE1629972D6E9 Time : 0.0 sec. user=mdettweiler [2013-06-15 12:29:41] 893*2^1246910-1 is not prime. Res64: 998B0C9753548317 Time : 0.0 sec. user=mdettweiler [2013-06-15 12:29:41] 921*2^1246910-1 is not prime. Res64: 5C34FBE4CB169553 Time : 0.0 sec. user=vaughan [2013-06-15 12:35:30] 635*2^1246910-1 is not prime. Res64: 8D77B431385017CD Time : 0.0 sec. user=mdettweiler [2013-06-15 12:39:51] 923*2^1246910-1 is not prime. Res64: AB894D1AC48FF5E2 Time : 0.0 sec. user=mdettweiler [2013-06-15 12:39:51] 957*2^1246910-1 is not prime. Res64: B01745EA8665AFCF Time : 0.0 sec. user=mdettweiler [2013-06-15 12:47:42] 613*2^1246911-1 is not prime. Res64: F42A851E76FD758A Time : 0.0 sec. user=mdettweiler [2013-06-15 12:57:48] 705*2^1246911-1 is not prime. Res64: 25C2AE18FD2D806C Time : 0.0 sec. user=mdettweiler [2013-06-15 13:12:15] 661*2^1246911-1 is not prime. Res64: 067DBD34065E5A12 Time : 0.0 sec. user=mdettweiler [2013-06-15 13:16:35] 735*2^1246911-1 is not prime. Res64: 63F4F86B278AFDA8 Time : 0.0 sec. user=mdettweiler [2013-06-15 13:29:54] 783*2^1246911-1 is not prime. Res64: 6B9CA72DBB69985F Time : 0.0 sec. user=mdettweiler [2013-06-15 13:34:17] 961*2^1246911-1 is not prime. Res64: EDBC70C22EFE6FB4 Time : 0.0 sec. user=mdettweiler [2013-06-15 13:56:17] 895*2^1246911-1 is not prime. Res64: E22D9A8ED9AD17F5 Time : 0.0 sec. user=vaughan [2013-06-15 13:59:24] 949*2^1246911-1 is not prime. Res64: C737B6AC56263228 Time : 0.0 sec. user=mdettweiler [2013-06-15 14:00:50] 609*2^1246912-1 is not prime. Res64: 999FB95A8EBC1D4F Time : 0.0 sec. user=mdettweiler [2013-06-15 14:13:59] 653*2^1246912-1 is not prime. Res64: CD8DBA522CC1B0FD Time : 0.0 sec. user=mdettweiler [2013-06-15 14:14:00] 857*2^1246912-1 is not prime. Res64: 289FA1B31BD9284D Time : 0.0 sec. user=mdettweiler [2013-06-15 14:31:51] 887*2^1246912-1 is not prime. Res64: 12D98CCC746235C2 Time : 0.0 sec. user=mdettweiler [2013-06-15 14:31:51] 899*2^1246912-1 is not prime. Res64: D67B6F4BF17D2190 Time : 0.0 sec. user=vaughan [2013-06-15 14:39:25] 873*2^1246912-1 is not prime. Res64: 4753484F39BACE11 Time : 0.0 sec. user=mdettweiler [2013-06-15 14:49:35] 933*2^1246912-1 is not prime. Res64: C0823F30DC55646E Time : 0.0 sec. user=mdettweiler [2013-06-15 14:49:36] 897*2^1246913-1 is not prime. Res64: A784F8B55128AD75 Time : 0.0 sec. user=mdettweiler [2013-06-15 14:52:03] 915*2^1246913-1 is not prime. Res64: 4506D7283D4C2ABD Time : 0.0 sec. user=mdettweiler [2013-06-15 14:52:04] 945*2^1246913-1 is not prime. Res64: C71B3C2DCEEA1705 Time : 0.0 sec. user=mdettweiler [2013-06-15 15:07:16] 635*2^1246914-1 is not prime. Res64: 60E3666621F635FC Time : 0.0 sec. user=mdettweiler [2013-06-15 15:09:45] 765*2^1246914-1 is not prime. Res64: EE90BC27822E17D3 Time : 0.0 sec. user=mdettweiler [2013-06-15 15:32:07] 677*2^1246914-1 is not prime. Res64: 43B99D3870069882 Time : 0.0 sec. user=mdettweiler [2013-06-15 15:33:33] 803*2^1246914-1 is not prime. Res64: 09522D56E10A4636 Time : 0.0 sec. user=mdettweiler [2013-06-15 15:51:16] 891*2^1246914-1 is not prime. Res64: A5262D9F80AE4AEF Time : 0.0 sec. user=mdettweiler [2013-06-15 15:51:17] 601*2^1246915-1 is not prime. Res64: 911F1A7C13AA79D4 Time : 0.0 sec. user=vaughan [2013-06-15 15:58:24] 861*2^1246914-1 is not prime. Res64: 2B48A00CF652AB4A Time : 0.0 sec. user=mdettweiler [2013-06-15 16:08:11] 609*2^1246915-1 is not prime. Res64: D5A3787E2B4E6BBF Time : 0.0 sec. user=mdettweiler [2013-06-15 16:09:16] 829*2^1246915-1 is not prime. Res64: 1FAB8E56137058D5 Time : 0.0 sec. user=mdettweiler [2013-06-15 16:34:42] 849*2^1246915-1 is not prime. Res64: 333C57363B8403D6 Time : 0.0 sec. user=mdettweiler [2013-06-15 16:41:06] 819*2^1246915-1 is not prime. Res64: D6942C6D8DE296E5 Time : 0.0 sec. user=vaughan [2013-06-15 16:43:50] 999*2^1246915-1 is not prime. Res64: D4FED263424BAB1A Time : 0.0 sec. user=mdettweiler [2013-06-15 16:52:25] 609*2^1246916-1 is not prime. Res64: 0D5816BF8DFB7965 Time : 0.0 sec. user=mdettweiler [2013-06-15 16:52:26] 617*2^1246916-1 is not prime. Res64: 328459E2BD332A4B Time : 0.0 sec. user=mdettweiler [2013-06-15 17:10:19] 669*2^1246916-1 is not prime. Res64: 14FD0914104A7F19 Time : 0.0 sec. user=mdettweiler [2013-06-15 17:10:20] 717*2^1246916-1 is not prime. Res64: 1EF2B380EDDEA7D0 Time : 0.0 sec. user=mdettweiler [2013-06-15 17:24:00] 777*2^1246916-1 is not prime. Res64: 3ACA1EE7AF086834 Time : 0.0 sec. user=mdettweiler [2013-06-15 17:24:18] 813*2^1246916-1 is not prime. Res64: DAB3C41F1ACF8F69 Time : 0.0 sec. user=mdettweiler [2013-06-15 17:29:12] 953*2^1246916-1 is not prime. Res64: 812EC4B5B4A69CEC Time : 0.0 sec. user=mdettweiler [2013-06-15 17:29:13] 983*2^1246916-1 is not prime. Res64: 69E6A1243FDEB571 Time : 0.0 sec. user=mdettweiler [2013-06-15 17:47:17] 711*2^1246917-1 is not prime. Res64: 5859B9E421E331F1 Time : 0.0 sec. user=vaughan [2013-06-15 18:02:42] 625*2^1246917-1 is not prime. Res64: 4A20D9F0FEFF919B Time : 0.0 sec. user=mdettweiler [2013-06-15 18:09:02] 605*2^1246918-1 is not prime. Res64: EC83801E577288DB Time : 0.0 sec. user=mdettweiler [2013-06-15 18:09:04] 617*2^1246918-1 is not prime. Res64: 43B9B5958DA9D5CA Time : 0.0 sec. user=mdettweiler [2013-06-15 18:20:56] 961*2^1246917-1 is not prime. Res64: 665C2E618A6A8653 Time : 0.0 sec. user=mdettweiler [2013-06-15 18:26:59] 761*2^1246918-1 is not prime. Res64: 6449E4B88AFDAE5E Time : 0.0 sec. user=mdettweiler [2013-06-15 18:27:00] 791*2^1246918-1 is not prime. Res64: E6E562559B6FC606 Time : 0.0 sec. user=vaughan [2013-06-15 18:42:19] 663*2^1246918-1 is not prime. Res64: 71398AB01B274CCD Time : 0.0 sec. user=mdettweiler [2013-06-15 18:44:51] 813*2^1246918-1 is not prime. Res64: 8B6253EB0059AE98 Time : 0.0 sec. user=mdettweiler [2013-06-15 18:44:52] 863*2^1246918-1 is not prime. Res64: C3B029141ECD6BA7 Time : 0.0 sec. user=mdettweiler [2013-06-15 19:02:52] 915*2^1246918-1 is not prime. Res64: 4CF5CEE30E368B9F Time : 0.0 sec. user=mdettweiler [2013-06-15 19:08:01] 735*2^1246919-1 is not prime. Res64: EAC917101A749AAC Time : 0.0 sec. user=mdettweiler [2013-06-15 19:08:02] 775*2^1246919-1 is not prime. Res64: 04169DCFBAD65CF7 Time : 0.0 sec. user=vaughan [2013-06-15 19:22:08] 867*2^1246918-1 is not prime. Res64: 609A151CDBC60408 Time : 0.0 sec. user=mdettweiler [2013-06-15 19:25:51] 813*2^1246919-1 is not prime. Res64: 2598670F9C007497 Time : 0.0 sec. user=mdettweiler [2013-06-15 19:25:52] 859*2^1246919-1 is not prime. Res64: 93723DF950796251 Time : 0.0 sec. user=mdettweiler [2013-06-15 19:26:05] 621*2^1246919-1 is not prime. Res64: 91D2D411C6D2AADC Time : 0.0 sec. user=mdettweiler [2013-06-15 19:43:23] 885*2^1246919-1 is not prime. Res64: D24B7B28605DE794 Time : 0.0 sec. user=mdettweiler [2013-06-15 19:43:23] 909*2^1246919-1 is not prime. Res64: 354319141BF42E77 Time : 0.0 sec. user=mdettweiler [2013-06-15 19:43:42] 955*2^1246919-1 is not prime. Res64: 68929B61B6394EB6 Time : 0.0 sec. user=mdettweiler [2013-06-15 19:43:42] 737*2^1246920-1 is not prime. Res64: 7A7CFF85FF8BBA9A Time : 0.0 sec. user=mdettweiler [2013-06-15 20:01:19] 825*2^1246920-1 is not prime. Res64: E0EE1DD8E228842C Time : 0.0 sec. user=vaughan [2013-06-15 20:01:41] 883*2^1246919-1 is not prime. Res64: 12A0A9D4F57A0259 Time : 0.0 sec. user=mdettweiler [2013-06-15 20:01:42] 863*2^1246920-1 is not prime. Res64: B3F863A917B83225 Time : 0.0 sec. user=mdettweiler [2013-06-15 20:26:10] 849*2^1246920-1 is not prime. Res64: B2221034B0342BBB Time : 0.0 sec. user=mdettweiler [2013-06-15 20:28:24] 927*2^1246920-1 is not prime. Res64: EC423C701407D48B Time : 0.0 sec. user=vaughan [2013-06-15 20:41:43] 601*2^1246921-1 is not prime. Res64: 56C92B7956A0B6EB Time : 0.0 sec. user=mdettweiler [2013-06-15 20:43:50] 651*2^1246921-1 is not prime. Res64: 1C800A7FAE46811E Time : 0.0 sec. user=mdettweiler [2013-06-15 20:43:50] 691*2^1246921-1 is not prime. Res64: 749B8B9A7AF4A1E2 Time : 0.0 sec. user=mdettweiler [2013-06-15 20:46:02] 741*2^1246921-1 is not prime. Res64: C9D6AC00CAAC960F Time : 0.0 sec. user=mdettweiler [2013-06-15 20:46:02] 817*2^1246921-1 is not prime. Res64: F8730A6CBFF3EA71 Time : 0.0 sec. user=mdettweiler [2013-06-15 21:01:39] 755*2^1246922-1 is not prime. Res64: 6305E178622A12D2 Time : 0.0 sec. user=mdettweiler [2013-06-15 21:01:40] 923*2^1246922-1 is not prime. Res64: 6ECAC1C836B72F77 Time : 0.0 sec. user=mdettweiler [2013-06-15 21:03:51] 935*2^1246922-1 is not prime. Res64: D9E53A886CFDA97D Time : 0.0 sec. user=mdettweiler [2013-06-15 21:03:52] 963*2^1246922-1 is not prime. Res64: 9130B60D083FA0A5 Time : 0.0 sec. user=mdettweiler [2013-06-15 21:20:21] 1001*2^1246922-1 is not prime. Res64: F415BBE088246B9A Time : 0.0 sec. user=vaughan [2013-06-15 21:21:24] 847*2^1246921-1 is not prime. Res64: 005D3E3B9384BB3C Time : 0.0 sec. user=mdettweiler [2013-06-15 21:21:28] 765*2^1246923-1 is not prime. Res64: BFE4BD5534B36046 Time : 0.0 sec. user=mdettweiler [2013-06-15 21:21:29] 795*2^1246923-1 is not prime. Res64: CD51878334A6CC45 Time : 0.0 sec. user=mdettweiler [2013-06-15 21:40:01] 853*2^1246923-1 is not prime. Res64: F5CA0AEA94BB29DB Time : 0.0 sec. user=mdettweiler [2013-06-15 21:40:01] 605*2^1246924-1 is not prime. Res64: 7E1C19E3999C5983 Time : 0.0 sec. user=mdettweiler [2013-06-15 21:57:43] 613*2^1246923-1 is not prime. Res64: 7A8DA2228EED7A76 Time : 0.0 sec. user=mdettweiler [2013-06-15 21:58:05] 707*2^1246924-1 is not prime. Res64: E2EDA130DA3A16AA Time : 0.0 sec. user=mdettweiler [2013-06-15 22:15:43] 655*2^1246925-1 is not prime. Res64: E4FDF0EEC3F43CC4 Time : 0.0 sec. user=vaughan [2013-06-15 22:40:36] 721*2^1246925-1 is not prime. Res64: 013FABC60F85BE5A Time : 0.0 sec. user=mdettweiler [2013-06-15 22:44:03] 675*2^1246925-1 is not prime. Res64: F15C54785555D375 Time : 0.0 sec. user=mdettweiler [2013-06-15 22:56:03] 927*2^1246924-1 is not prime. Res64: A0898FEBBE1F3C1D Time : 0.0 sec. user=vaughan [2013-06-15 23:20:16] 771*2^1246925-1 is not prime. Res64: D8C7D2CE1240FB14 Time : 0.0 sec. user=mdettweiler [2013-06-15 23:42:08] 677*2^1246926-1 is not prime. Res64: B5E9D289C7C277E9 Time : 0.0 sec. user=mdettweiler [2013-06-15 23:42:08] 683*2^1246926-1 is not prime. Res64: 4651218D38E0159B Time : 0.0 sec. user=mdettweiler [2013-06-15 23:50:49] 723*2^1246926-1 is not prime. Res64: 9A3C468A9188779B Time : 0.0 sec. user=mdettweiler [2013-06-15 23:59:56] 737*2^1246926-1 is not prime. Res64: 0572655870CD4680 Time : 0.0 sec. user=mdettweiler [2013-06-15 23:59:56] 765*2^1246926-1 is not prime. Res64: 019CD346DEA55E9F Time : 0.0 sec.