user=mdettweiler [2013-06-26 00:05:48] 727*2^1247233-1 is not prime. Res64: EE22DFF434BBA58C Time : 0.0 sec. user=mdettweiler [2013-06-26 00:05:49] 729*2^1247233-1 is not prime. Res64: 9B5F874321674B3F Time : 0.0 sec. user=mdettweiler [2013-06-26 00:23:14] 747*2^1247233-1 is not prime. Res64: DF487AEC0BBDB06A Time : 0.0 sec. user=mdettweiler [2013-06-26 00:23:15] 771*2^1247233-1 is not prime. Res64: FCF0127C1C1B5722 Time : 0.0 sec. user=mdettweiler [2013-06-26 00:40:19] 897*2^1247233-1 is not prime. Res64: CD922DFF3633A2FD Time : 0.0 sec. user=mdettweiler [2013-06-26 00:40:19] 951*2^1247233-1 is not prime. Res64: 326CB6B44A3A62FB Time : 0.0 sec. user=mdettweiler [2013-06-26 00:57:47] 615*2^1247234-1 is not prime. Res64: 1ED25D95B423D7A6 Time : 0.0 sec. user=mdettweiler [2013-06-26 00:57:47] 741*2^1247234-1 is not prime. Res64: 5E92CF03CFF1DD83 Time : 0.0 sec. user=mdettweiler [2013-06-26 01:15:06] 755*2^1247234-1 is not prime. Res64: 4151B89A66A12B70 Time : 0.0 sec. user=mdettweiler [2013-06-26 01:15:07] 791*2^1247234-1 is not prime. Res64: D3B8CCCCE4051E3E Time : 0.0 sec. user=mdettweiler [2013-06-26 01:33:26] 993*2^1247234-1 is not prime. Res64: E3BDF0B87AF90F58 Time : 0.0 sec. user=mdettweiler [2013-06-26 01:33:26] 601*2^1247235-1 is not prime. Res64: 4CFD1104613DDE12 Time : 0.0 sec. user=mdettweiler [2013-06-26 01:50:46] 675*2^1247235-1 is not prime. Res64: 909FB51E30AAFD85 Time : 0.0 sec. user=mdettweiler [2013-06-26 01:50:47] 685*2^1247235-1 is not prime. Res64: EF81454061AE1581 Time : 0.0 sec. user=mdettweiler [2013-06-26 02:07:52] 885*2^1247235-1 is not prime. Res64: F0CCC88DA3AF21AB Time : 0.0 sec. user=mdettweiler [2013-06-26 02:07:53] 647*2^1247236-1 is not prime. Res64: 63139F9512873004 Time : 0.0 sec. user=mdettweiler [2013-06-26 02:25:26] 657*2^1247236-1 is not prime. Res64: 395CDF70CAA9E9DA Time : 0.0 sec. user=mdettweiler [2013-06-26 02:55:43] 869*2^1247236-1 is not prime. Res64: 0FE4FA07CBA91BFB Time : 0.0 sec. user=mdettweiler [2013-06-26 03:12:56] 873*2^1247236-1 is not prime. Res64: 26844896F7ED9813 Time : 0.0 sec. user=mdettweiler [2013-06-26 03:42:08] 685*2^1247237-1 is not prime. Res64: AD16A3175EB61409 Time : 0.0 sec. user=mdettweiler [2013-06-26 03:59:31] 729*2^1247237-1 is not prime. Res64: 5F664EC0FDDEB316 Time : 0.0 sec. user=mdettweiler [2013-06-26 03:59:32] 825*2^1247237-1 is not prime. Res64: 9A09348AA4065E06 Time : 0.0 sec. user=mdettweiler [2013-06-26 04:17:24] 865*2^1247237-1 is not prime. Res64: 99ECE560832DDC49 Time : 0.0 sec. user=mdettweiler [2013-06-26 04:17:24] 991*2^1247237-1 is not prime. Res64: DFBDE1BA043E22B3 Time : 0.0 sec. user=mdettweiler [2013-06-26 04:53:18] 605*2^1247238-1 is not prime. Res64: 5E1078C9DFF51478 Time : 0.0 sec. user=mdettweiler [2013-06-26 04:53:19] 707*2^1247238-1 is not prime. Res64: 6BEC915FCF221CEA Time : 0.0 sec. user=mdettweiler [2013-06-26 05:10:34] 747*2^1247238-1 is not prime. Res64: 0140D98051A7E308 Time : 0.0 sec. user=mdettweiler [2013-06-26 05:10:35] 797*2^1247238-1 is not prime. Res64: D8D3C1DEF1CC3A20 Time : 0.0 sec. user=mdettweiler [2013-06-26 05:27:41] 881*2^1247238-1 is not prime. Res64: 4179C52D9A43C29E Time : 0.0 sec. user=mdettweiler [2013-06-26 05:27:42] 921*2^1247238-1 is not prime. Res64: 339609EB0A0F2160 Time : 0.0 sec. user=mdettweiler [2013-06-26 05:45:13] 893*2^1247180-1 is not prime. Res64: 6B0A6720AFCCA8FA Time : 0.0 sec. user=mdettweiler [2013-06-26 06:14:02] 927*2^1247180-1 is not prime. Res64: 9E7ABF2F368A515E Time : 0.0 sec. user=mdettweiler [2013-06-26 06:31:21] 615*2^1247239-1 is not prime. Res64: 90663AB83739DF57 Time : 0.0 sec. user=mdettweiler [2013-06-26 06:31:21] 661*2^1247239-1 is not prime. Res64: 42EA9F00D448541B Time : 0.0 sec. user=mdettweiler [2013-06-26 06:48:34] 685*2^1247239-1 is not prime. Res64: 7517AEA5254ECF27 Time : 0.0 sec. user=mdettweiler [2013-06-26 07:17:23] 843*2^1247239-1 is not prime. Res64: BC410A12375B1632 Time : 0.0 sec. user=mdettweiler [2013-06-26 07:34:34] 873*2^1247239-1 is not prime. Res64: 3FF6D167D44869B8 Time : 0.0 sec. user=mdettweiler [2013-06-26 07:57:13] 883*2^1247239-1 is not prime. Res64: 66A1E5607BBB2499 Time : 0.0 sec. user=mdettweiler [2013-06-26 08:14:15] 629*2^1247240-1 is not prime. Res64: 0237517F1824AE3C Time : 0.0 sec. user=mdettweiler [2013-06-26 08:14:16] 645*2^1247240-1 is not prime. Res64: 5D68D3D14EB2E625 Time : 0.0 sec. user=mdettweiler [2013-06-26 08:31:20] 659*2^1247240-1 is not prime. Res64: CA3EFD9677929CB8 Time : 0.0 sec. user=mdettweiler [2013-06-26 08:31:21] 857*2^1247240-1 is not prime. Res64: DA2AB3E3DB84240D Time : 0.0 sec. user=mdettweiler [2013-06-26 08:48:27] 875*2^1247240-1 is not prime. Res64: 1F1A1845B19AF9ED Time : 0.0 sec. user=mdettweiler [2013-06-26 08:48:27] 685*2^1247241-1 is not prime. Res64: 2E088B7FECE8F7F6 Time : 0.0 sec. user=mdettweiler [2013-06-26 09:06:30] 987*2^1247241-1 is not prime. Res64: 5F27CA22D22F39D3 Time : 0.0 sec. user=mdettweiler [2013-06-26 09:24:38] 657*2^1247242-1 is not prime. Res64: BFF641562F72BEB9 Time : 0.0 sec. user=mdettweiler [2013-06-26 09:41:39] 677*2^1247242-1 is not prime. Res64: 6175B15B8C14BA86 Time : 0.0 sec. user=mdettweiler [2013-06-26 09:41:40] 717*2^1247242-1 is not prime. Res64: 4C7EFEFB5C4209C3 Time : 0.0 sec. user=mdettweiler [2013-06-26 09:58:51] 815*2^1247242-1 is not prime. Res64: 7D8D40BE4B840E2B Time : 0.0 sec. user=mdettweiler [2013-06-26 09:58:52] 603*2^1247243-1 is not prime. Res64: 29F705CD0CB97ADC Time : 0.0 sec. user=mdettweiler [2013-06-26 10:16:00] 615*2^1247243-1 is not prime. Res64: E73DE1E2BB31DCA3 Time : 0.0 sec. user=mdettweiler [2013-06-26 10:16:01] 663*2^1247243-1 is not prime. Res64: C20B244BE0EA98A6 Time : 0.0 sec. user=mdettweiler [2013-06-26 10:33:35] 679*2^1247243-1 is not prime. Res64: A35278E7AEE9E8C2 Time : 0.0 sec. user=mdettweiler [2013-06-26 10:52:56] 699*2^1247243-1 is not prime. Res64: E9010CB1716A84BB Time : 0.0 sec. user=mdettweiler [2013-06-26 11:36:58] 735*2^1247243-1 is not prime. Res64: 09000D22BEE5BF33 Time : 0.0 sec. user=mdettweiler [2013-06-26 11:36:58] 771*2^1247243-1 is not prime. Res64: ECC7CAAF510DE03D Time : 0.0 sec. user=mdettweiler [2013-06-26 11:54:37] 789*2^1247243-1 is not prime. Res64: C42CC53B5122E5A7 Time : 0.0 sec. user=mdettweiler [2013-06-26 12:23:54] 823*2^1247243-1 is not prime. Res64: C436B5B3EC5E38F5 Time : 0.0 sec. user=mdettweiler [2013-06-26 13:00:35] 963*2^1247243-1 is not prime. Res64: 3981CDEF208F4E90 Time : 0.0 sec. user=mdettweiler [2013-06-26 13:00:36] 623*2^1247244-1 is not prime. Res64: AD34A92703573E4A Time : 0.0 sec. user=mdettweiler [2013-06-26 13:18:47] 737*2^1247244-1 is not prime. Res64: 903F0EB6C1B40C61 Time : 0.0 sec. user=mdettweiler [2013-06-26 13:53:29] 667*2^1247245-1 is not prime. Res64: AEEB7D0A1A5AD32C Time : 0.0 sec. user=mdettweiler [2013-06-26 14:10:56] 825*2^1247245-1 is not prime. Res64: 41DDA7C551FEE91B Time : 0.0 sec. user=mdettweiler [2013-06-26 14:10:57] 847*2^1247245-1 is not prime. Res64: 597D067BCA133F66 Time : 0.0 sec. user=mdettweiler [2013-06-26 14:28:38] 861*2^1247245-1 is not prime. Res64: 58365489009B037B Time : 0.0 sec. user=mdettweiler [2013-06-26 14:55:08] 743*2^1247246-1 is not prime. Res64: 1F04A36ED2275FE2 Time : 0.0 sec. user=mdettweiler [2013-06-26 15:12:51] 825*2^1247246-1 is not prime. Res64: D738585E551E86C8 Time : 0.0 sec. user=mdettweiler [2013-06-26 15:12:51] 857*2^1247246-1 is not prime. Res64: FB8D8E709CE33F0E Time : 0.0 sec. user=mdettweiler [2013-06-26 15:30:34] 917*2^1247246-1 is not prime. Res64: 5DF60636107259DE Time : 0.0 sec. user=mdettweiler [2013-06-26 15:58:46] 957*2^1247246-1 is not prime. Res64: A99998BEA8BF1AD2 Time : 0.0 sec. user=mdettweiler [2013-06-26 16:17:52] 981*2^1247246-1 is not prime. Res64: 5CD1BCAABE193A4E Time : 0.0 sec. user=mdettweiler [2013-06-26 16:17:53] 993*2^1247246-1 is not prime. Res64: 898FAC8A35F68CAD Time : 0.0 sec. user=mdettweiler [2013-06-26 16:35:38] 639*2^1247247-1 is not prime. Res64: CF39693F20FA7A4F Time : 0.0 sec. user=mdettweiler [2013-06-26 16:35:39] 825*2^1247247-1 is not prime. Res64: 384721BB22E7D83F Time : 0.0 sec. user=mdettweiler [2013-06-26 16:53:13] 831*2^1247247-1 is not prime. Res64: 62AED6A8F5F3CF16 Time : 0.0 sec. user=mdettweiler [2013-06-26 16:53:13] 895*2^1247247-1 is not prime. Res64: 74A471558AC823DF Time : 0.0 sec. user=mdettweiler [2013-06-26 17:10:39] 931*2^1247247-1 is not prime. Res64: 3999FF593176F3E2 Time : 0.0 sec. user=mdettweiler [2013-06-26 17:10:41] 657*2^1247248-1 is not prime. Res64: A2CB90C0C7566EAE Time : 0.0 sec. user=mdettweiler [2013-06-26 17:28:06] 825*2^1247248-1 is not prime. Res64: F324699F7CDD5511 Time : 0.0 sec. user=mdettweiler [2013-06-26 17:28:06] 887*2^1247248-1 is not prime. Res64: 50525EE773C62D83 Time : 0.0 sec. user=mdettweiler [2013-06-26 17:46:24] 927*2^1247248-1 is not prime. Res64: 8EB76356FF216C47 Time : 0.0 sec. user=mdettweiler [2013-06-26 17:46:24] 999*2^1247248-1 is not prime. Res64: 623FDABCDBB7BE20 Time : 0.0 sec. user=mdettweiler [2013-06-26 18:04:08] 631*2^1247249-1 is not prime. Res64: 6C3DB971EECB4AE7 Time : 0.0 sec. user=mdettweiler [2013-06-26 18:38:00] 847*2^1247249-1 is not prime. Res64: 8050CC7E2182E1AB Time : 0.0 sec. user=mdettweiler [2013-06-26 18:55:41] 633*2^1247250-1 is not prime. Res64: 24193DC9C094F2CE Time : 0.0 sec. user=mdettweiler [2013-06-26 19:17:11] 635*2^1247250-1 is not prime. Res64: 3F768627B1A965E6 Time : 0.0 sec. user=mdettweiler [2013-06-26 20:01:31] 717*2^1247250-1 is not prime. Res64: A0489579A6468C70 Time : 0.0 sec. user=mdettweiler [2013-06-26 20:25:34] 917*2^1247250-1 is not prime. Res64: F45B99FC631E4818 Time : 0.0 sec. user=mdettweiler [2013-06-26 20:44:45] 977*2^1247250-1 is not prime. Res64: A748407EFB0397E5 Time : 0.0 sec. user=mdettweiler [2013-06-26 20:44:46] 1001*2^1247250-1 is not prime. Res64: C60D07E600A087AE Time : 0.0 sec. user=mdettweiler [2013-06-26 21:02:23] 745*2^1247251-1 is not prime. Res64: 45B342C988E8F723 Time : 0.0 sec. user=mdettweiler [2013-06-26 21:38:27] 943*2^1247251-1 is not prime. Res64: 35DA348968F77066 Time : 0.0 sec. user=mdettweiler [2013-06-26 21:55:54] 669*2^1247252-1 is not prime. Res64: 0BF9D9DD0648A25A Time : 0.0 sec. user=mdettweiler [2013-06-26 21:55:54] 675*2^1247252-1 is not prime. Res64: DF4EB0DA91046858 Time : 0.0 sec. user=mdettweiler [2013-06-26 22:13:26] 725*2^1247252-1 is not prime. Res64: 04C28E6762D62C5A Time : 0.0 sec. user=mdettweiler [2013-06-26 22:13:27] 777*2^1247252-1 is not prime. Res64: E14093CEA0D33FB4 Time : 0.0 sec. user=mdettweiler [2013-06-26 22:31:33] 843*2^1247252-1 is not prime. Res64: A4C386C92234253A Time : 0.0 sec. user=mdettweiler [2013-06-26 22:54:13] 885*2^1247252-1 is not prime. Res64: A8E9D5A482036E40 Time : 0.0 sec. user=mdettweiler [2013-06-26 23:12:04] 607*2^1247253-1 is not prime. Res64: D68DD152E05C32EA Time : 0.0 sec. user=mdettweiler [2013-06-26 23:12:05] 627*2^1247253-1 is not prime. Res64: A01D66B1C13A7A37 Time : 0.0 sec. user=mdettweiler [2013-06-26 23:30:08] 691*2^1247253-1 is not prime. Res64: 8E8CA393D6562F76 Time : 0.0 sec. user=mdettweiler [2013-06-26 23:51:10] 699*2^1247253-1 is not prime. Res64: C0603FE90FF8F16E Time : 0.0 sec.