user=mdettweiler [2013-06-29 00:36:09] 735*2^1247283-1 is not prime. Res64: 03A5766AAE350B69 Time : 0.0 sec. user=mdettweiler [2013-06-29 00:36:10] 741*2^1247283-1 is not prime. Res64: BAD1EE59F43D7F2C Time : 0.0 sec. user=mdettweiler [2013-06-29 00:55:05] 961*2^1247283-1 is not prime. Res64: 7F489A9C4DC3235D Time : 0.0 sec. user=mdettweiler [2013-06-29 00:55:06] 963*2^1247283-1 is not prime. Res64: CC0F7EA61E677D2E Time : 0.0 sec. user=mdettweiler [2013-06-29 01:13:24] 991*2^1247283-1 is not prime. Res64: 9BBE93A667220507 Time : 0.0 sec. user=mdettweiler [2013-06-29 01:13:24] 615*2^1247284-1 is not prime. Res64: EA3CD43B7F6843F7 Time : 0.0 sec. user=mdettweiler [2013-06-29 01:31:41] 773*2^1247284-1 is not prime. Res64: 3E8DBB8DA4070A1F Time : 0.0 sec. user=mdettweiler [2013-06-29 01:31:41] 965*2^1247284-1 is not prime. Res64: F588CE49500AD61C Time : 0.0 sec. user=mdettweiler [2013-06-29 01:49:07] 697*2^1247285-1 is not prime. Res64: 4C736FB00B513A24 Time : 0.0 sec. user=mdettweiler [2013-06-29 01:49:07] 735*2^1247285-1 is not prime. Res64: 7F26957E32145DAA Time : 0.0 sec. user=mdettweiler [2013-06-29 02:06:31] 801*2^1247285-1 is not prime. Res64: F0BA397C38F676D0 Time : 0.0 sec. user=mdettweiler [2013-06-29 02:06:32] 855*2^1247285-1 is not prime. Res64: 56261F87A18B48AB Time : 0.0 sec. user=mdettweiler [2013-06-29 02:23:53] 777*2^1247286-1 is not prime. Res64: 14F97CC31F74B3DA Time : 0.0 sec. user=mdettweiler [2013-06-29 02:50:08] 875*2^1247286-1 is not prime. Res64: 4391394930E374B3 Time : 0.0 sec. user=mdettweiler [2013-06-29 03:42:38] 917*2^1247286-1 is not prime. Res64: CD1CE44444063D91 Time : 0.0 sec. user=mdettweiler [2013-06-29 03:42:39] 603*2^1247287-1 is not prime. Res64: 58142E0DE5F25D5B Time : 0.0 sec. user=mdettweiler [2013-06-29 03:59:58] 703*2^1247287-1 is not prime. Res64: F320C018F6FC0164 Time : 0.0 sec. user=mdettweiler [2013-06-29 03:59:58] 765*2^1247287-1 is not prime. Res64: 3C98F9D796954F7D Time : 0.0 sec. user=mdettweiler [2013-06-29 04:17:17] 805*2^1247287-1 is not prime. Res64: A582CAF275749A24 Time : 0.0 sec. user=mdettweiler [2013-06-29 04:52:58] 861*2^1247287-1 is not prime. Res64: 097CB1E92877F33A Time : 0.0 sec. user=mdettweiler [2013-06-29 05:37:15] 871*2^1247287-1 is not prime. Res64: CBD66B8CEDD016FD Time : 0.0 sec. user=mdettweiler [2013-06-29 05:37:16] 975*2^1247287-1 is not prime. Res64: 787F7165D8783FA2 Time : 0.0 sec. user=mdettweiler [2013-06-29 05:54:32] 699*2^1247288-1 is not prime. Res64: 1CE5CAB9AE5B8D0A Time : 0.0 sec. user=mdettweiler [2013-06-29 05:54:33] 743*2^1247288-1 is not prime. Res64: DA1A23AFCB5541D7 Time : 0.0 sec. user=mdettweiler [2013-06-29 06:11:51] 753*2^1247288-1 is not prime. Res64: D339156E3C5798BE Time : 0.0 sec. user=mdettweiler [2013-06-29 06:31:55] 815*2^1247288-1 is not prime. Res64: 0B75E69C0492B7CF Time : 0.0 sec. user=mdettweiler [2013-06-29 06:49:19] 837*2^1247288-1 is not prime. Res64: 4B605271F127FBCE Time : 0.0 sec. user=mdettweiler [2013-06-29 06:49:20] 845*2^1247288-1 is not prime. Res64: E8F9A72C4D48F04E Time : 0.0 sec. user=mdettweiler [2013-06-29 07:07:19] 935*2^1247288-1 is not prime. Res64: 98CDF3681B9378A6 Time : 0.0 sec. user=mdettweiler [2013-06-29 07:42:44] 995*2^1247288-1 is not prime. Res64: F7596458ACA960D9 Time : 0.0 sec. user=mdettweiler [2013-06-29 07:59:54] 741*2^1247289-1 is not prime. Res64: 8D88BF04A508BECB Time : 0.0 sec. user=mdettweiler [2013-06-29 07:59:55] 751*2^1247289-1 is not prime. Res64: F634A7CEB4D06BF6 Time : 0.0 sec. user=mdettweiler [2013-06-29 08:17:52] 847*2^1247289-1 is not prime. Res64: F246C039CE0B3679 Time : 0.0 sec. user=mdettweiler [2013-06-29 08:17:52] 997*2^1247289-1 is not prime. Res64: 49BC6842C11A4236 Time : 0.0 sec. user=mdettweiler [2013-06-29 08:35:11] 695*2^1247290-1 is not prime. Res64: 0B2BAE1BB5925AB2 Time : 0.0 sec. user=mdettweiler [2013-06-29 08:59:30] 717*2^1247290-1 is not prime. Res64: 5A52B7B0993FBFB2 Time : 0.0 sec. user=mdettweiler [2013-06-29 09:16:57] 803*2^1247290-1 is not prime. Res64: BF2854F2310485AF Time : 0.0 sec. user=mdettweiler [2013-06-29 09:16:58] 825*2^1247290-1 is not prime. Res64: 885234F3E591DAC9 Time : 0.0 sec. user=mdettweiler [2013-06-29 09:34:30] 905*2^1247290-1 is not prime. Res64: B823DB68EE2A7790 Time : 0.0 sec. user=mdettweiler [2013-06-29 09:34:30] 917*2^1247290-1 is not prime. Res64: 35F5A16A64EAB541 Time : 0.0 sec. user=mdettweiler [2013-06-29 09:51:55] 745*2^1247291-1 is not prime. Res64: 382CE2497F8118D8 Time : 0.0 sec. user=mdettweiler [2013-06-29 09:51:55] 883*2^1247291-1 is not prime. Res64: AA13D6561ABB9825 Time : 0.0 sec. user=mdettweiler [2013-06-29 10:09:27] 749*2^1247292-1 is not prime. Res64: 884076D3DB192DCC Time : 0.0 sec. user=mdettweiler [2013-06-29 10:46:28] 797*2^1247292-1 is not prime. Res64: 5F68DC30A1709506 Time : 0.0 sec. user=mdettweiler [2013-06-29 11:04:36] 863*2^1247292-1 is not prime. Res64: 6ED4EF8AFF9DE6E6 Time : 0.0 sec. user=mdettweiler [2013-06-29 11:40:25] 983*2^1247292-1 is not prime. Res64: A8674FCA5670E5CD Time : 0.0 sec. user=mdettweiler [2013-06-29 12:36:00] 747*2^1247293-1 is not prime. Res64: 303C73D8BE501C01 Time : 0.0 sec. user=mdettweiler [2013-06-29 12:36:00] 855*2^1247293-1 is not prime. Res64: C30E2AEF8A14F317 Time : 0.0 sec. user=mdettweiler [2013-06-29 12:53:47] 895*2^1247293-1 is not prime. Res64: 021129830D2EBC84 Time : 0.0 sec. user=mdettweiler [2013-06-29 13:15:02] 955*2^1247293-1 is not prime. Res64: F1D5D98263A8A4BB Time : 0.0 sec. user=mdettweiler [2013-06-29 13:33:38] 961*2^1247293-1 is not prime. Res64: 02B41F6F69393A84 Time : 0.0 sec. user=mdettweiler [2013-06-29 13:33:39] 615*2^1247294-1 is not prime. Res64: A07A85EC23BE3FA3 Time : 0.0 sec. user=mdettweiler [2013-06-29 13:51:25] 675*2^1247294-1 is not prime. Res64: 23AFD9B1AB0CCEC8 Time : 0.0 sec. user=mdettweiler [2013-06-29 13:51:26] 741*2^1247294-1 is not prime. Res64: 9C05C054C522A805 Time : 0.0 sec. user=mdettweiler [2013-06-29 14:09:15] 935*2^1247294-1 is not prime. Res64: 9B4BEEA5B5371008 Time : 0.0 sec. user=mdettweiler [2013-06-29 14:34:30] 945*2^1247294-1 is not prime. Res64: E9CFA3136894E985 Time : 0.0 sec. user=mdettweiler [2013-06-29 14:52:18] 775*2^1247295-1 is not prime. Res64: 89E8B5866DAC7BAB Time : 0.0 sec. user=mdettweiler [2013-06-29 15:19:05] 781*2^1247295-1 is not prime. Res64: EA8C53EA9EB34176 Time : 0.0 sec. user=mdettweiler [2013-06-29 15:36:53] 951*2^1247295-1 is not prime. Res64: 2C5F794E69D0363E Time : 0.0 sec. user=mdettweiler [2013-06-29 16:01:00] 693*2^1247296-1 is not prime. Res64: 14689DC8C83F32E3 Time : 0.0 sec. user=mdettweiler [2013-06-29 16:46:05] 707*2^1247296-1 is not prime. Res64: 45B9DCECA97705E6 Time : 0.0 sec. user=mdettweiler [2013-06-29 16:46:22] 849*2^1247296-1 is not prime. Res64: 2F8A1CA535473FD2 Time : 0.0 sec. user=mdettweiler [2013-06-29 17:31:04] 869*2^1247296-1 is not prime. Res64: 76F4BBE9A61F9E82 Time : 0.0 sec. user=mdettweiler [2013-06-29 17:31:04] 905*2^1247296-1 is not prime. Res64: DEB629E0A06334E8 Time : 0.0 sec. user=mdettweiler [2013-06-29 17:48:36] 909*2^1247296-1 is not prime. Res64: BEEDC220AA74D226 Time : 0.0 sec. user=mdettweiler [2013-06-29 17:48:36] 923*2^1247296-1 is not prime. Res64: F233B187293CF222 Time : 0.0 sec. user=mdettweiler [2013-06-29 18:07:10] 989*2^1247296-1 is not prime. Res64: 5895E726F9703BA8 Time : 0.0 sec. user=mdettweiler [2013-06-29 18:33:45] 675*2^1247297-1 is not prime. Res64: 60ED0DE0470A0A26 Time : 0.0 sec. user=mdettweiler [2013-06-29 18:51:42] 847*2^1247297-1 is not prime. Res64: 494A9FB050F1509B Time : 0.0 sec. user=mdettweiler [2013-06-29 18:51:42] 909*2^1247297-1 is not prime. Res64: A3D7CB8E78A61DDE Time : 0.0 sec. user=mdettweiler [2013-06-29 19:09:49] 949*2^1247297-1 is not prime. Res64: C628C659D6051B41 Time : 0.0 sec. user=mdettweiler [2013-06-29 19:45:57] 611*2^1247298-1 is not prime. Res64: 59600F07BDF72C98 Time : 0.0 sec. user=mdettweiler [2013-06-29 20:03:54] 681*2^1247298-1 is not prime. Res64: 3BB2C08C7E87175D Time : 0.0 sec. user=mdettweiler [2013-06-29 20:16:40] 815*2^1247298-1 is not prime. Res64: 0E213AB67C1D8195 Time : 0.0 sec. user=mdettweiler [2013-06-29 20:34:07] 631*2^1247299-1 is not prime. Res64: 820D7A0BA7153ECD Time : 0.0 sec. user=mdettweiler [2013-06-29 21:10:57] 705*2^1247299-1 is not prime. Res64: 8304DFD8E7CCA467 Time : 0.0 sec. user=mdettweiler [2013-06-29 21:28:12] 745*2^1247299-1 is not prime. Res64: A3BB4C8B9C88A381 Time : 0.0 sec. user=mdettweiler [2013-06-29 21:28:13] 789*2^1247299-1 is not prime. Res64: 32850D0867A99F68 Time : 0.0 sec. user=mdettweiler [2013-06-29 21:45:43] 829*2^1247299-1 is not prime. Res64: A7E5CB64259B31D4 Time : 0.0 sec. user=mdettweiler [2013-06-29 22:04:38] 939*2^1247299-1 is not prime. Res64: 0BDDB666B12912B8 Time : 0.0 sec. user=mdettweiler [2013-06-29 22:22:00] 629*2^1247300-1 is not prime. Res64: 026536FF920F8BE3 Time : 0.0 sec. user=mdettweiler [2013-06-29 22:22:01] 665*2^1247300-1 is not prime. Res64: 1A1BDFE416C3C5AF Time : 0.0 sec. user=mdettweiler [2013-06-29 22:39:20] 699*2^1247300-1 is not prime. Res64: FEA775D6727C9EDC Time : 0.0 sec. user=mdettweiler [2013-06-29 22:39:21] 743*2^1247300-1 is not prime. Res64: 89EC784B998666E2 Time : 0.0 sec. user=mdettweiler [2013-06-29 22:56:37] 767*2^1247300-1 is not prime. Res64: 2000DB35B3BD78F8 Time : 0.0 sec. user=mdettweiler [2013-06-29 23:17:37] 885*2^1247300-1 is not prime. Res64: CF3A5DFB7F85B23F Time : 0.0 sec. user=mdettweiler [2013-06-29 23:55:41] 909*2^1247300-1 is not prime. Res64: 436BB2DE6E57D861 Time : 0.0 sec. user=mdettweiler [2013-06-29 23:55:42] 957*2^1247300-1 is not prime. Res64: E0053F7AEAFCE6F9 Time : 0.0 sec.