user=mdettweiler [2013-07-28 00:08:58] 825*2^1248118-1 is not prime. Res64: 283B4CC738D83872 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:08:59] 843*2^1248118-1 is not prime. Res64: 1DA125AA08EB8A73 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:12:11] 867*2^1248118-1 is not prime. Res64: AC18B6C67030FEF0 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:12:12] 945*2^1248118-1 is not prime. Res64: 66CB5C0C86FFC813 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:15:12] 951*2^1248118-1 is not prime. Res64: 33C414159944FA16 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:15:17] 957*2^1248118-1 is not prime. Res64: 774F505B2BF9C8DA Time : 0.0 sec. user=mdettweiler [2013-07-28 00:16:43] 975*2^1248118-1 is not prime. Res64: 597091FE6FF62122 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:16:43] 661*2^1248119-1 is not prime. Res64: 0114F13308D20763 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:28:24] 675*2^1248119-1 is not prime. Res64: B4543E9B60E2A0B2 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:28:24] 825*2^1248119-1 is not prime. Res64: C6734BCB357F88F5 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:31:28] 843*2^1248119-1 is not prime. Res64: 73E0BB2D88F2AE56 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:31:29] 627*2^1248120-1 is not prime. Res64: CF0019D954376287 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:34:44] 675*2^1248120-1 is not prime. Res64: FD60A6AA84068CA3 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:34:45] 699*2^1248120-1 is not prime. Res64: B8D5135157F80563 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:36:03] 773*2^1248120-1 is not prime. Res64: D0F8139FB8952D46 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:36:04] 839*2^1248120-1 is not prime. Res64: C8971336E261F36F Time : 0.0 sec. user=mdettweiler [2013-07-28 00:47:42] 717*2^1248121-1 is not prime. Res64: 86433770275FD8E8 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:47:43] 771*2^1248121-1 is not prime. Res64: A8EAF9B6731AE206 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:50:57] 777*2^1248121-1 is not prime. Res64: F228F4AA49E58D8B Time : 0.0 sec. user=mdettweiler [2013-07-28 00:50:58] 871*2^1248121-1 is not prime. Res64: 2DA8DCA9248345C6 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:54:05] 877*2^1248121-1 is not prime. Res64: C5F49B534C64D902 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:54:05] 889*2^1248121-1 is not prime. Res64: BB718350DEEE6182 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:56:19] 937*2^1248121-1 is not prime. Res64: 458D35A649F97F62 Time : 0.0 sec. user=mdettweiler [2013-07-28 00:56:19] 997*2^1248121-1 is not prime. Res64: 3E3256D58EAC0F4F Time : 0.0 sec. user=mdettweiler [2013-07-28 01:07:25] 603*2^1248122-1 is not prime. Res64: 4EDE7CAAEECC3A6F Time : 0.0 sec. user=mdettweiler [2013-07-28 01:07:26] 635*2^1248122-1 is not prime. Res64: 3B478A2DE02C21C7 Time : 0.0 sec. user=mdettweiler [2013-07-28 01:10:47] 771*2^1248122-1 is not prime. Res64: 5ACF9A72BCABAFF0 Time : 0.0 sec. user=mdettweiler [2013-07-28 01:10:49] 903*2^1248122-1 is not prime. Res64: 3A392D528BAADB52 Time : 0.0 sec. user=mdettweiler [2013-07-28 01:13:34] 935*2^1248122-1 is not prime. Res64: F5F5B476EF484FEF Time : 0.0 sec. user=mdettweiler [2013-07-28 01:13:34] 609*2^1248123-1 is not prime. Res64: FCAE74A9E4C5C79F Time : 0.0 sec. user=mdettweiler [2013-07-28 01:15:43] 615*2^1248123-1 is not prime. Res64: AACA5396D724D574 Time : 0.0 sec. user=mdettweiler [2013-07-28 01:15:43] 703*2^1248123-1 is not prime. Res64: 5958F76E3D1504EB Time : 0.0 sec. user=mdettweiler [2013-07-28 01:26:44] 739*2^1248123-1 is not prime. Res64: 342D0ACDBB256F81 Time : 0.0 sec. user=mdettweiler [2013-07-28 01:26:45] 765*2^1248123-1 is not prime. Res64: 146DB39C97235899 Time : 0.0 sec. user=mdettweiler [2013-07-28 01:30:15] 769*2^1248123-1 is not prime. Res64: 3446DE892235B703 Time : 0.0 sec. user=mdettweiler [2013-07-28 01:30:15] 723*2^1248124-1 is not prime. Res64: 207E2EE2465BDB17 Time : 0.0 sec. user=mdettweiler [2013-07-28 01:33:47] 903*2^1248124-1 is not prime. Res64: BFAE73D4A59D6832 Time : 0.0 sec. user=mdettweiler [2013-07-28 01:33:47] 987*2^1248124-1 is not prime. Res64: AEADF0E8EFD78A2D Time : 0.0 sec. user=mdettweiler [2013-07-28 01:35:04] 645*2^1248125-1 is not prime. Res64: 5563A69124C6979E Time : 0.0 sec. user=mdettweiler [2013-07-28 01:35:04] 771*2^1248125-1 is not prime. Res64: A76707E8C1C6B826 Time : 0.0 sec. user=mdettweiler [2013-07-28 01:46:06] 831*2^1248125-1 is not prime. Res64: EE9750A3908944C8 Time : 0.0 sec. user=mdettweiler [2013-07-28 01:46:06] 927*2^1248125-1 is not prime. Res64: 77CE8D9CE28CC806 Time : 0.0 sec. user=mdettweiler [2013-07-28 01:50:29] 937*2^1248125-1 is not prime. Res64: ADE16D4805306EB0 Time : 0.0 sec. user=mdettweiler [2013-07-28 01:50:29] 955*2^1248125-1 is not prime. Res64: 6C15702111C15118 Time : 0.0 sec. user=mdettweiler [2013-07-28 01:53:56] 615*2^1248126-1 is not prime. Res64: F579D609C72A5128 Time : 0.0 sec. user=mdettweiler [2013-07-28 01:53:56] 963*2^1248126-1 is not prime. Res64: 7759CE78A02A0A97 Time : 0.0 sec. user=mdettweiler [2013-07-28 01:54:18] 619*2^1248127-1 is not prime. Res64: 5C07C25CD7663178 Time : 0.0 sec. user=mdettweiler [2013-07-28 01:54:19] 693*2^1248127-1 is not prime. Res64: FC9C6F5BD23729B9 Time : 0.0 sec. user=mdettweiler [2013-07-28 02:05:23] 705*2^1248127-1 is not prime. Res64: 44469DA0CEDFD761 Time : 0.0 sec. user=mdettweiler [2013-07-28 02:05:24] 765*2^1248127-1 is not prime. Res64: DB13B62F384573DE Time : 0.0 sec. user=mdettweiler [2013-07-28 02:09:48] 831*2^1248127-1 is not prime. Res64: 7BE933807859973D Time : 0.0 sec. user=mdettweiler [2013-07-28 02:09:48] 861*2^1248127-1 is not prime. Res64: E409CEC9558CC3DF Time : 0.0 sec. user=mdettweiler [2013-07-28 02:13:17] 915*2^1248127-1 is not prime. Res64: 542A12E37B316BAA Time : 0.0 sec. user=mdettweiler [2013-07-28 02:13:18] 933*2^1248127-1 is not prime. Res64: BA1341D1C8DAD4E8 Time : 0.0 sec. user=mdettweiler [2013-07-28 02:13:38] 945*2^1248127-1 is not prime. Res64: 315694A2616B6C69 Time : 0.0 sec. user=mdettweiler [2013-07-28 02:13:39] 725*2^1248128-1 is not prime. Res64: 9770244C8F6CD6DB Time : 0.0 sec. user=mdettweiler [2013-07-28 02:25:37] 743*2^1248128-1 is not prime. Res64: 4A78786428E20A99 Time : 0.0 sec. user=mdettweiler [2013-07-28 02:25:37] 959*2^1248128-1 is not prime. Res64: 4A342400235A95B6 Time : 0.0 sec. user=mdettweiler [2013-07-28 02:29:08] 795*2^1248129-1 is not prime. Res64: 96C5A2473D7C73E6 Time : 0.0 sec. user=mdettweiler [2013-07-28 02:29:08] 889*2^1248129-1 is not prime. Res64: 6C7B187F87DC5BBA Time : 0.0 sec. user=mdettweiler [2013-07-28 02:32:39] 891*2^1248129-1 is not prime. Res64: B2A63C2BC73C0CF8 Time : 0.0 sec. user=mdettweiler [2013-07-28 02:32:40] 695*2^1248130-1 is not prime. Res64: 24A5E4018E057746 Time : 0.0 sec. user=mdettweiler [2013-07-28 02:32:56] 755*2^1248130-1 is not prime. Res64: DBA378720B7D84B5 Time : 0.0 sec. user=mdettweiler [2013-07-28 02:32:58] 801*2^1248130-1 is not prime. Res64: 7BB449A2A4691D03 Time : 0.0 sec. user=mdettweiler [2013-07-28 02:44:52] 821*2^1248130-1 is not prime. Res64: 94E3577A236848AE Time : 0.0 sec. user=mdettweiler [2013-07-28 02:44:53] 885*2^1248130-1 is not prime. Res64: 35EC3CCF68B65831 Time : 0.0 sec. user=mdettweiler [2013-07-28 02:48:32] 911*2^1248130-1 is not prime. Res64: C6DA6641E2737279 Time : 0.0 sec. user=mdettweiler [2013-07-28 02:48:33] 631*2^1248131-1 is not prime. Res64: D19328C77AB5C159 Time : 0.0 sec. user=mdettweiler [2013-07-28 02:51:53] 693*2^1248131-1 is not prime. Res64: 8D2E39C6C194FD24 Time : 0.0 sec. user=mdettweiler [2013-07-28 02:51:53] 703*2^1248131-1 is not prime. Res64: 68A6A52D31965FEC Time : 0.0 sec. user=mdettweiler [2013-07-28 02:52:16] 711*2^1248131-1 is not prime. Res64: B2B04BCFA24BC3C9 Time : 0.0 sec. user=mdettweiler [2013-07-28 02:52:16] 775*2^1248131-1 is not prime. Res64: 8752D030E268D256 Time : 0.0 sec. user=mdettweiler [2013-07-28 03:04:20] 805*2^1248131-1 is not prime. Res64: 331C5A7E85396ABC Time : 0.0 sec. user=mdettweiler [2013-07-28 03:04:21] 843*2^1248131-1 is not prime. Res64: FE63EDAAC0E219A0 Time : 0.0 sec. user=mdettweiler [2013-07-28 03:09:18] 955*2^1248131-1 is not prime. Res64: B313D068A71E000D Time : 0.0 sec. user=mdettweiler [2013-07-28 03:09:19] 693*2^1248132-1 is not prime. Res64: 6ACA27CF7B07F993 Time : 0.0 sec. user=mdettweiler [2013-07-28 03:11:15] 719*2^1248132-1 is not prime. Res64: 3E422255B8D81E9E Time : 0.0 sec. user=mdettweiler [2013-07-28 03:11:16] 765*2^1248132-1 is not prime. Res64: 9D44425718EC6FB6 Time : 0.0 sec. user=mdettweiler [2013-07-28 03:12:27] 965*2^1248132-1 is not prime. Res64: AE5E086B63AFF73F Time : 0.0 sec. user=mdettweiler [2013-07-28 03:12:28] 607*2^1248133-1 is not prime. Res64: 74A3A6952653BC61 Time : 0.0 sec. user=juhehe [2013-07-28 03:18:50] 909*2^1248131-1 is not prime. Res64: DCB660937CB54A5F Time : 0.0 sec. user=mdettweiler [2013-07-28 03:23:48] 609*2^1248133-1 is not prime. Res64: CA342235DFA39023 Time : 0.0 sec. user=mdettweiler [2013-07-28 03:23:49] 685*2^1248133-1 is not prime. Res64: 18EB12B472E8715A Time : 0.0 sec. user=mdettweiler [2013-07-28 03:28:40] 721*2^1248133-1 is not prime. Res64: A051014E4554B76F Time : 0.0 sec. user=mdettweiler [2013-07-28 03:28:40] 757*2^1248133-1 is not prime. Res64: 5CE2788BFA49E691 Time : 0.0 sec. user=mdettweiler [2013-07-28 03:30:33] 915*2^1248133-1 is not prime. Res64: 16F77C98D13B3B65 Time : 0.0 sec. user=mdettweiler [2013-07-28 03:30:34] 919*2^1248133-1 is not prime. Res64: 1CD39EABFC778F95 Time : 0.0 sec. user=mdettweiler [2013-07-28 03:31:49] 705*2^1248134-1 is not prime. Res64: 01799380DB290E9D Time : 0.0 sec. user=mdettweiler [2013-07-28 03:31:50] 753*2^1248134-1 is not prime. Res64: 75BE776BB3A9A77B Time : 0.0 sec. user=mdettweiler [2013-07-28 03:43:05] 797*2^1248134-1 is not prime. Res64: E307E5DEB1200A8B Time : 0.0 sec. user=mdettweiler [2013-07-28 03:43:05] 935*2^1248134-1 is not prime. Res64: EC5D812139239BD5 Time : 0.0 sec. user=mdettweiler [2013-07-28 03:48:48] 953*2^1248134-1 is not prime. Res64: 46A78C9A4E236BFB Time : 0.0 sec. user=mdettweiler [2013-07-28 03:48:48] 691*2^1248135-1 is not prime. Res64: CEC10EE436B7675B Time : 0.0 sec. user=mdettweiler [2013-07-28 03:49:50] 693*2^1248135-1 is not prime. Res64: 490C4BD758AA38AC Time : 0.0 sec. user=mdettweiler [2013-07-28 03:49:51] 793*2^1248135-1 is not prime. Res64: 7402E9C7C69AA002 Time : 0.0 sec. user=mdettweiler [2013-07-28 03:51:15] 895*2^1248135-1 is not prime. Res64: B7A9A806992A2472 Time : 0.0 sec. user=mdettweiler [2013-07-28 03:51:15] 919*2^1248135-1 is not prime. Res64: 9B0D7CCA94FA449A Time : 0.0 sec. user=mdettweiler [2013-07-28 04:03:40] 943*2^1248135-1 is not prime. Res64: A615BFE47BC55B5F Time : 0.0 sec. user=mdettweiler [2013-07-28 04:03:41] 961*2^1248135-1 is not prime. Res64: ED2F17826EB1AE57 Time : 0.0 sec. user=mdettweiler [2013-07-28 04:09:24] 639*2^1248136-1 is not prime. Res64: 96E2C0EBC040B8FC Time : 0.0 sec. user=mdettweiler [2013-07-28 04:09:24] 779*2^1248136-1 is not prime. Res64: FD9F27EB66ECFBEC Time : 0.0 sec. user=mdettweiler [2013-07-28 04:10:01] 999*2^1248135-1 is not prime. Res64: 4D6D1F5C54F71D1E Time : 0.0 sec. user=mdettweiler [2013-07-28 04:10:01] 617*2^1248136-1 is not prime. Res64: 1809B2E67F38D5A3 Time : 0.0 sec. user=mdettweiler [2013-07-28 04:10:55] 785*2^1248136-1 is not prime. Res64: 2AFB852BCB9A52FE Time : 0.0 sec. user=mdettweiler [2013-07-28 04:10:55] 855*2^1248136-1 is not prime. Res64: 1E1D8A9A803D48D9 Time : 0.0 sec. user=mdettweiler [2013-07-28 04:23:34] 903*2^1248136-1 is not prime. Res64: 62319F00766B14A9 Time : 0.0 sec. user=mdettweiler [2013-07-28 04:23:35] 933*2^1248136-1 is not prime. Res64: F0E2D2E16C02A5B9 Time : 0.0 sec. user=mdettweiler [2013-07-28 04:29:05] 631*2^1248137-1 is not prime. Res64: 74C8B8741F003EC4 Time : 0.0 sec. user=mdettweiler [2013-07-28 04:29:06] 747*2^1248137-1 is not prime. Res64: EF6C332353450E91 Time : 0.0 sec. user=mdettweiler [2013-07-28 04:29:35] 847*2^1248137-1 is not prime. Res64: 85CE5F4206160592 Time : 0.0 sec. user=mdettweiler [2013-07-28 04:29:36] 915*2^1248137-1 is not prime. Res64: BBA793D4939532D1 Time : 0.0 sec. user=mdettweiler [2013-07-28 04:31:24] 955*2^1248137-1 is not prime. Res64: 5913301B6E47579C Time : 0.0 sec. user=mdettweiler [2013-07-28 04:31:25] 615*2^1248138-1 is not prime. Res64: 7C9250CFC49E0E38 Time : 0.0 sec. user=mdettweiler [2013-07-28 04:42:54] 657*2^1248138-1 is not prime. Res64: 1D6649A504E9C064 Time : 0.0 sec. user=mdettweiler [2013-07-28 04:42:54] 797*2^1248138-1 is not prime. Res64: 0BF6EEED61F6772B Time : 0.0 sec. user=mdettweiler [2013-07-28 04:48:25] 927*2^1248138-1 is not prime. Res64: D99DA2460A1D2AB7 Time : 0.0 sec. user=mdettweiler [2013-07-28 04:48:25] 633*2^1248139-1 is not prime. Res64: D81701194D2EA114 Time : 0.0 sec. user=mdettweiler [2013-07-28 04:48:57] 645*2^1248139-1 is not prime. Res64: 81E1F7E85EEC1B7F Time : 0.0 sec. user=mdettweiler [2013-07-28 04:48:57] 853*2^1248139-1 is not prime. Res64: 92455F01761FDAD5 Time : 0.0 sec. user=mdettweiler [2013-07-28 04:52:34] 951*2^1248139-1 is not prime. Res64: D2686F46249FE030 Time : 0.0 sec. user=mdettweiler [2013-07-28 04:52:35] 975*2^1248139-1 is not prime. Res64: 513DEF8DADAD0CC5 Time : 0.0 sec. user=mdettweiler [2013-07-28 05:02:16] 633*2^1248140-1 is not prime. Res64: 5982D84CE431F67E Time : 0.0 sec. user=mdettweiler [2013-07-28 05:02:17] 635*2^1248140-1 is not prime. Res64: 29F4FD017284EF7D Time : 0.0 sec. user=mdettweiler [2013-07-28 05:07:40] 845*2^1248140-1 is not prime. Res64: 520D2D99A4EA3E63 Time : 0.0 sec. user=mdettweiler [2013-07-28 05:07:40] 909*2^1248140-1 is not prime. Res64: 8D3BAB512C9D2F2E Time : 0.0 sec. user=mdettweiler [2013-07-28 05:10:06] 945*2^1248140-1 is not prime. Res64: 89D836FBA5303988 Time : 0.0 sec. user=mdettweiler [2013-07-28 05:10:07] 963*2^1248140-1 is not prime. Res64: E85FD8852C225351 Time : 0.0 sec. user=mdettweiler [2013-07-28 05:12:47] 983*2^1248140-1 is not prime. Res64: 0B1282314232BED9 Time : 0.0 sec. user=mdettweiler [2013-07-28 05:12:48] 817*2^1248141-1 is not prime. Res64: 3BCB201FE19E44B8 Time : 0.0 sec. user=mdettweiler [2013-07-28 05:21:53] 895*2^1248141-1 is not prime. Res64: BB88816B4F2525C0 Time : 0.0 sec. user=mdettweiler [2013-07-28 05:21:53] 907*2^1248141-1 is not prime. Res64: E1C63F9D7AE7B0F5 Time : 0.0 sec. user=mdettweiler [2013-07-28 05:28:43] 961*2^1248141-1 is not prime. Res64: 757A2F9D654A7958 Time : 0.0 sec. user=mdettweiler [2013-07-28 05:28:44] 999*2^1248141-1 is not prime. Res64: 6DABDA8709FC7078 Time : 0.0 sec. user=mdettweiler [2013-07-28 05:29:30] 713*2^1248142-1 is not prime. Res64: 39B8426607203508 Time : 0.0 sec. user=mdettweiler [2013-07-28 05:29:31] 825*2^1248142-1 is not prime. Res64: 7C67A1F64531E4B4 Time : 0.0 sec. user=mdettweiler [2013-07-28 05:32:56] 983*2^1248142-1 is not prime. Res64: 9748A06C419CEDBC Time : 0.0 sec. user=mdettweiler [2013-07-28 05:32:56] 603*2^1248143-1 is not prime. Res64: 4F046ABDBE19C923 Time : 0.0 sec. user=mdettweiler [2013-07-28 05:41:09] 661*2^1248143-1 is not prime. Res64: 2139681C3EAE47CE Time : 0.0 sec. user=mdettweiler [2013-07-28 05:41:09] 615*2^1248144-1 is not prime. Res64: BFB10B494D2DD02F Time : 0.0 sec. user=mdettweiler [2013-07-28 05:47:59] 675*2^1248144-1 is not prime. Res64: 60E4149E98EB1168 Time : 0.0 sec. user=mdettweiler [2013-07-28 05:48:00] 719*2^1248144-1 is not prime. Res64: 094FB649A5A8312D Time : 0.0 sec. user=mdettweiler [2013-07-28 05:48:43] 607*2^1248145-1 is not prime. Res64: C230A021A8B136B7 Time : 0.0 sec. user=mdettweiler [2013-07-28 05:48:43] 625*2^1248145-1 is not prime. Res64: 3F5C3E03783BC7B6 Time : 0.0 sec. user=mdettweiler [2013-07-28 05:52:08] 645*2^1248145-1 is not prime. Res64: BA0BDD9A2A5A66E1 Time : 0.0 sec. user=mdettweiler [2013-07-28 05:52:09] 667*2^1248145-1 is not prime. Res64: 9B8E3DB58B25E315 Time : 0.0 sec. user=mdettweiler [2013-07-28 06:00:30] 729*2^1248145-1 is not prime. Res64: 6130689AEC91A3A4 Time : 0.0 sec. user=mdettweiler [2013-07-28 06:00:31] 765*2^1248145-1 is not prime. Res64: 675A9BAF2823B7B4 Time : 0.0 sec. user=mdettweiler [2013-07-28 06:07:15] 789*2^1248145-1 is not prime. Res64: 94B36EFDC25A5647 Time : 0.0 sec. user=mdettweiler [2013-07-28 06:07:16] 925*2^1248145-1 is not prime. Res64: 35C033ACBA6A2612 Time : 0.0 sec. user=mdettweiler [2013-07-28 06:07:57] 603*2^1248146-1 is not prime. Res64: 244D893CC6291D96 Time : 0.0 sec. user=mdettweiler [2013-07-28 06:07:59] 635*2^1248146-1 is not prime. Res64: FA4C3ABB413E0063 Time : 0.0 sec. user=mdettweiler [2013-07-28 06:11:24] 767*2^1248146-1 is not prime. Res64: 92335971CAB8BECC Time : 0.0 sec. user=mdettweiler [2013-07-28 06:11:26] 783*2^1248146-1 is not prime. Res64: 5AD8E0A1DD4FAE4B Time : 0.0 sec. user=mdettweiler [2013-07-28 06:19:50] 801*2^1248146-1 is not prime. Res64: D16B2A906D6AECB3 Time : 0.0 sec. user=mdettweiler [2013-07-28 06:19:51] 825*2^1248146-1 is not prime. Res64: ECC1280C226FA22C Time : 0.0 sec. user=mdettweiler [2013-07-28 06:26:33] 851*2^1248146-1 is not prime. Res64: 13A3774A0C877179 Time : 0.0 sec. user=mdettweiler [2013-07-28 06:26:33] 601*2^1248147-1 is not prime. Res64: 9CE9F75650C340E7 Time : 0.0 sec. user=mdettweiler [2013-07-28 06:27:10] 633*2^1248147-1 is not prime. Res64: 80B834F2F0F04C53 Time : 0.0 sec. user=mdettweiler [2013-07-28 06:27:11] 801*2^1248147-1 is not prime. Res64: BF0F966288F87BB8 Time : 0.0 sec. user=mdettweiler [2013-07-28 06:30:42] 903*2^1248147-1 is not prime. Res64: 01C81686CB12A18E Time : 0.0 sec. user=mdettweiler [2013-07-28 06:30:42] 909*2^1248147-1 is not prime. Res64: 440474B1B007E6CA Time : 0.0 sec. user=mdettweiler [2013-07-28 06:39:59] 931*2^1248147-1 is not prime. Res64: 647B471210F9D9A7 Time : 0.0 sec. user=mdettweiler [2013-07-28 06:40:00] 961*2^1248147-1 is not prime. Res64: F29C7566C9196277 Time : 0.0 sec. user=mdettweiler [2013-07-28 06:45:52] 647*2^1248148-1 is not prime. Res64: 4BEA59B889BDDC58 Time : 0.0 sec. user=mdettweiler [2013-07-28 06:45:52] 657*2^1248148-1 is not prime. Res64: 4F790044550ED4AA Time : 0.0 sec. user=mdettweiler [2013-07-28 06:46:28] 665*2^1248148-1 is not prime. Res64: 81185F692C24F455 Time : 0.0 sec. user=mdettweiler [2013-07-28 06:46:28] 797*2^1248148-1 is not prime. Res64: 06B11A22F05AC7BA Time : 0.0 sec. user=mdettweiler [2013-07-28 06:50:52] 855*2^1248148-1 is not prime. Res64: 80E2CF890439D5E9 Time : 0.0 sec. user=mdettweiler [2013-07-28 06:50:53] 975*2^1248148-1 is not prime. Res64: C07F0FBDA919592F Time : 0.0 sec. user=mdettweiler [2013-07-28 06:59:16] 615*2^1248149-1 is not prime. Res64: CA5E0D993B8629B0 Time : 0.0 sec. user=mdettweiler [2013-07-28 06:59:17] 619*2^1248149-1 is not prime. Res64: EC5C55FC7B13BCEB Time : 0.0 sec. user=mdettweiler [2013-07-28 07:05:07] 727*2^1248149-1 is not prime. Res64: ECCA0BF3A8944FCF Time : 0.0 sec. user=mdettweiler [2013-07-28 07:05:08] 747*2^1248149-1 is not prime. Res64: 7B47A668A5512751 Time : 0.0 sec. user=mdettweiler [2013-07-28 07:05:49] 787*2^1248149-1 is not prime. Res64: 588D74847E47C2B2 Time : 0.0 sec. user=mdettweiler [2013-07-28 07:05:50] 811*2^1248149-1 is not prime. Res64: 80AE8C4BA840989F Time : 0.0 sec. user=mdettweiler [2013-07-28 07:11:55] 985*2^1248149-1 is not prime. Res64: 0AC581E20D6ED9E5 Time : 0.0 sec. user=mdettweiler [2013-07-28 07:11:56] 987*2^1248149-1 is not prime. Res64: D16895342CF014B6 Time : 0.0 sec. user=juhehe [2013-07-28 07:14:17] 721*2^1248149-1 is not prime. Res64: C4C465E3C2C0F75B Time : 0.0 sec. user=mdettweiler [2013-07-28 07:18:33] 657*2^1248150-1 is not prime. Res64: FBF2F66A309EE8E3 Time : 0.0 sec. user=mdettweiler [2013-07-28 07:18:34] 671*2^1248150-1 is not prime. Res64: 37B1A08436B3DAAC Time : 0.0 sec. user=mdettweiler [2013-07-28 07:24:31] 725*2^1248150-1 is not prime. Res64: C26C2F785630D60C Time : 0.0 sec. user=mdettweiler [2013-07-28 07:24:31] 825*2^1248150-1 is not prime. Res64: BEBAB640AC9F064A Time : 0.0 sec. user=mdettweiler [2013-07-28 07:25:06] 833*2^1248150-1 is not prime. Res64: 5BF4B02C9058F187 Time : 0.0 sec. user=mdettweiler [2013-07-28 07:25:06] 887*2^1248150-1 is not prime. Res64: 689B4518C3495FB0 Time : 0.0 sec. user=mdettweiler [2013-07-28 07:31:14] 603*2^1248151-1 is not prime. Res64: 1A05E6B90D99A7E6 Time : 0.0 sec. user=mdettweiler [2013-07-28 07:31:15] 909*2^1248151-1 is not prime. Res64: 55BC86D0053DCDAC Time : 0.0 sec. user=mdettweiler [2013-07-28 07:38:50] 979*2^1248151-1 is not prime. Res64: 3FCEE48602E23786 Time : 0.0 sec. user=mdettweiler [2013-07-28 07:38:50] 633*2^1248152-1 is not prime. Res64: FD00CA2BDEB8C1FD Time : 0.0 sec. user=mdettweiler [2013-07-28 07:43:47] 687*2^1248152-1 is not prime. Res64: 9D147604D80F087F Time : 0.0 sec. user=mdettweiler [2013-07-28 07:43:48] 713*2^1248152-1 is not prime. Res64: 635E9327B4DF2C8D Time : 0.0 sec. user=mdettweiler [2013-07-28 07:44:22] 725*2^1248152-1 is not prime. Res64: 2DE564BABD28F21C Time : 0.0 sec. user=mdettweiler [2013-07-28 07:44:22] 825*2^1248152-1 is not prime. Res64: 3BD1218412FD0870 Time : 0.0 sec. user=mdettweiler [2013-07-28 07:51:26] 903*2^1248152-1 is not prime. Res64: DFC4E0E1DDFABB76 Time : 0.0 sec. user=mdettweiler [2013-07-28 07:51:26] 983*2^1248152-1 is not prime. Res64: 8480459A66AF9AA6 Time : 0.0 sec. user=mdettweiler [2013-07-28 07:58:14] 607*2^1248153-1 is not prime. Res64: 6433051636D55D83 Time : 0.0 sec. user=mdettweiler [2013-07-28 07:58:14] 627*2^1248153-1 is not prime. Res64: 19367C376E65A24F Time : 0.0 sec. user=mdettweiler [2013-07-28 08:03:05] 747*2^1248153-1 is not prime. Res64: 222857EB5D796F13 Time : 0.0 sec. user=mdettweiler [2013-07-28 08:03:06] 921*2^1248153-1 is not prime. Res64: 432B2B6E0FEF310D Time : 0.0 sec. user=mdettweiler [2013-07-28 08:04:36] 991*2^1248153-1 is not prime. Res64: 42E2161426E11738 Time : 0.0 sec. user=mdettweiler [2013-07-28 08:04:37] 617*2^1248154-1 is not prime. Res64: EB2D3ED6A6B149C0 Time : 0.0 sec. user=mdettweiler [2013-07-28 08:10:49] 635*2^1248154-1 is not prime. Res64: 43863DFBD6C8D1B2 Time : 0.0 sec. user=mdettweiler [2013-07-28 08:10:50] 657*2^1248154-1 is not prime. Res64: CCA50F5FDE35DA4E Time : 0.0 sec. user=mdettweiler [2013-07-28 08:17:29] 765*2^1248154-1 is not prime. Res64: 6C85703FE753C260 Time : 0.0 sec. user=mdettweiler [2013-07-28 08:17:30] 827*2^1248154-1 is not prime. Res64: 1A96C8F3C6459CF8 Time : 0.0 sec. user=mdettweiler [2013-07-28 08:22:25] 857*2^1248154-1 is not prime. Res64: 5A66E0CADCE4BCD2 Time : 0.0 sec. user=mdettweiler [2013-07-28 08:22:27] 887*2^1248154-1 is not prime. Res64: C52BB008E8DFCDAD Time : 0.0 sec. user=mdettweiler [2013-07-28 08:24:50] 951*2^1248154-1 is not prime. Res64: E6F59018F67FAAA3 Time : 0.0 sec. user=mdettweiler [2013-07-28 08:24:51] 685*2^1248155-1 is not prime. Res64: BF9DACFBB267D5DD Time : 0.0 sec. user=mdettweiler [2013-07-28 08:30:08] 715*2^1248155-1 is not prime. Res64: B6A1702C961E9CFD Time : 0.0 sec. user=mdettweiler [2013-07-28 08:30:09] 861*2^1248155-1 is not prime. Res64: B9C3E6BDBEA07662 Time : 0.0 sec. user=mdettweiler [2013-07-28 08:38:42] 985*2^1248155-1 is not prime. Res64: 4E8938B44BC8E27B Time : 0.0 sec. user=mdettweiler [2013-07-28 08:38:43] 999*2^1248155-1 is not prime. Res64: AEA8D1D5E2D9C8B1 Time : 0.0 sec. user=mdettweiler [2013-07-28 08:41:47] 669*2^1248156-1 is not prime. Res64: 6A4C8081C3825B24 Time : 0.0 sec. user=mdettweiler [2013-07-28 08:41:48] 707*2^1248156-1 is not prime. Res64: 0A3AFB2EDCB98F8D Time : 0.0 sec. user=mdettweiler [2013-07-28 08:44:08] 717*2^1248156-1 is not prime. Res64: 4956ED58E3C33008 Time : 0.0 sec. user=mdettweiler [2013-07-28 08:44:09] 719*2^1248156-1 is not prime. Res64: 33B6D552955684FB Time : 0.0 sec. user=mdettweiler [2013-07-28 08:50:19] 903*2^1248156-1 is not prime. Res64: DC8FCD7A55740FA9 Time : 0.0 sec. user=mdettweiler [2013-07-28 08:50:20] 957*2^1248156-1 is not prime. Res64: BFA39BA3432F55E3 Time : 0.0 sec. user=mdettweiler [2013-07-28 08:59:53] 969*2^1248156-1 is not prime. Res64: 39A5A3FC1719A9F1 Time : 0.0 sec. user=mdettweiler [2013-07-28 08:59:54] 983*2^1248156-1 is not prime. Res64: 37C2ABBFE35C2A68 Time : 0.0 sec. user=mdettweiler [2013-07-28 09:01:07] 801*2^1248157-1 is not prime. Res64: 49331FFB7707F28E Time : 0.0 sec. user=mdettweiler [2013-07-28 09:01:08] 831*2^1248157-1 is not prime. Res64: 6F4AB7839ED4C2B0 Time : 0.0 sec. user=mdettweiler [2013-07-28 09:03:27] 847*2^1248157-1 is not prime. Res64: 0CC4E89B8A5119AB Time : 0.0 sec. user=mdettweiler [2013-07-28 09:03:28] 889*2^1248157-1 is not prime. Res64: EF353E0ADC0C14E3 Time : 0.0 sec. user=mdettweiler [2013-07-28 09:09:33] 915*2^1248157-1 is not prime. Res64: 1C4EA70050A42EB2 Time : 0.0 sec. user=mdettweiler [2013-07-28 09:09:34] 931*2^1248157-1 is not prime. Res64: 468BAB3F8D4F2BF8 Time : 0.0 sec. user=mdettweiler [2013-07-28 09:20:03] 955*2^1248157-1 is not prime. Res64: 1DABF0C8C8F5FAEF Time : 0.0 sec. user=mdettweiler [2013-07-28 09:20:03] 645*2^1248158-1 is not prime. Res64: 6C93EBAB76D27DBC Time : 0.0 sec. user=mdettweiler [2013-07-28 09:20:25] 707*2^1248158-1 is not prime. Res64: 78B403CE4597C300 Time : 0.0 sec. user=mdettweiler [2013-07-28 09:20:26] 711*2^1248158-1 is not prime. Res64: C07EF81CD9CE1525 Time : 0.0 sec. user=mdettweiler [2013-07-28 09:22:45] 713*2^1248158-1 is not prime. Res64: 3AA4F486EAFC6310 Time : 0.0 sec. user=mdettweiler [2013-07-28 09:22:46] 753*2^1248158-1 is not prime. Res64: 5062C8267B6178E5 Time : 0.0 sec. user=mdettweiler [2013-07-28 09:28:48] 825*2^1248158-1 is not prime. Res64: 03722DF45200C0ED Time : 0.0 sec. user=mdettweiler [2013-07-28 09:28:49] 875*2^1248158-1 is not prime. Res64: BFBF62643FEE0EC7 Time : 0.0 sec. user=mdettweiler [2013-07-28 09:39:43] 609*2^1248159-1 is not prime. Res64: EB4D881579C682C2 Time : 0.0 sec. user=mdettweiler [2013-07-28 09:39:44] 703*2^1248159-1 is not prime. Res64: 68E041562A664AC3 Time : 0.0 sec. user=mdettweiler [2013-07-28 09:40:12] 885*2^1248158-1 is not prime. Res64: E9FF42D56B9D060B Time : 0.0 sec. user=mdettweiler [2013-07-28 09:40:12] 963*2^1248158-1 is not prime. Res64: 914313570FD15F96 Time : 0.0 sec. user=mdettweiler [2013-07-28 09:41:56] 711*2^1248159-1 is not prime. Res64: 1A4D549D2BAE5AA0 Time : 0.0 sec. user=mdettweiler [2013-07-28 09:41:57] 789*2^1248159-1 is not prime. Res64: 60500022F76D5DCD Time : 0.0 sec. user=mdettweiler [2013-07-28 09:48:02] 825*2^1248159-1 is not prime. Res64: 951E2C513C35D110 Time : 0.0 sec. user=mdettweiler [2013-07-28 09:48:03] 853*2^1248159-1 is not prime. Res64: A36298053BA47C29 Time : 0.0 sec. user=mdettweiler [2013-07-28 09:59:00] 603*2^1248160-1 is not prime. Res64: 51B8D971DF3997FB Time : 0.0 sec. user=mdettweiler [2013-07-28 09:59:00] 609*2^1248160-1 is not prime. Res64: D2773FD439214005 Time : 0.0 sec. user=mdettweiler [2013-07-28 09:59:30] 695*2^1248160-1 is not prime. Res64: 01B561A44F53A099 Time : 0.0 sec. user=mdettweiler [2013-07-28 09:59:31] 713*2^1248160-1 is not prime. Res64: 0F9418356A0B34F4 Time : 0.0 sec. user=mdettweiler [2013-07-28 10:01:13] 717*2^1248160-1 is not prime. Res64: 059398F9046DBF4E Time : 0.0 sec. user=mdettweiler [2013-07-28 10:01:15] 759*2^1248160-1 is not prime. Res64: 869E9CC9E461EAAB Time : 0.0 sec. user=mdettweiler [2013-07-28 10:07:23] 819*2^1248160-1 is not prime. Res64: BA9EB3DC836FF651 Time : 0.0 sec. user=mdettweiler [2013-07-28 10:07:24] 825*2^1248160-1 is not prime. Res64: 12159E7B4BA80EC3 Time : 0.0 sec. user=mdettweiler [2013-07-28 10:18:21] 833*2^1248160-1 is not prime. Res64: 3FCF0BE033287783 Time : 0.0 sec. user=mdettweiler [2013-07-28 10:18:22] 855*2^1248160-1 is not prime. Res64: 4EAFACDEA56971B1 Time : 0.0 sec. user=mdettweiler [2013-07-28 10:20:30] 645*2^1248161-1 is not prime. Res64: BD30505D0F7E92BD Time : 0.0 sec. user=mdettweiler [2013-07-28 10:20:31] 889*2^1248161-1 is not prime. Res64: CD0C7B3200CAE0CE Time : 0.0 sec. user=mdettweiler [2013-07-28 10:20:44] 989*2^1248160-1 is not prime. Res64: 63B82E76A5B0686E Time : 0.0 sec. user=mdettweiler [2013-07-28 10:20:44] 995*2^1248160-1 is not prime. Res64: C355E9A3FC1E11C3 Time : 0.0 sec. user=mdettweiler [2013-07-28 10:27:37] 981*2^1248161-1 is not prime. Res64: 7D55A2DB64BFCB8D Time : 0.0 sec. user=mdettweiler [2013-07-28 10:27:38] 627*2^1248162-1 is not prime. Res64: 1674C546EEC3A9E7 Time : 0.0 sec. user=mdettweiler [2013-07-28 10:37:40] 731*2^1248162-1 is not prime. Res64: 01E5D1E465D5BAC9 Time : 0.0 sec. user=mdettweiler [2013-07-28 10:37:40] 737*2^1248162-1 is not prime. Res64: BB3EC4B1840D7DFD Time : 0.0 sec. user=mdettweiler [2013-07-28 10:39:49] 777*2^1248162-1 is not prime. Res64: 91B121DEC3C11CD9 Time : 0.0 sec. user=mdettweiler [2013-07-28 10:39:49] 887*2^1248162-1 is not prime. Res64: 6F52C7E9969162AA Time : 0.0 sec. user=mdettweiler [2013-07-28 10:40:08] 615*2^1248163-1 is not prime. Res64: 23DD307F09E79C68 Time : 0.0 sec. user=mdettweiler [2013-07-28 10:40:08] 633*2^1248163-1 is not prime. Res64: 262E4D48380ECC8C Time : 0.0 sec. user=mdettweiler [2013-07-28 10:46:56] 723*2^1248163-1 is not prime. Res64: A76B53587CDE5B97 Time : 0.0 sec. user=mdettweiler [2013-07-28 10:46:56] 735*2^1248163-1 is not prime. Res64: C21BC90B4B931FE4 Time : 0.0 sec. user=mdettweiler [2013-07-28 10:57:08] 769*2^1248163-1 is not prime. Res64: 589174986F75CDA0 Time : 0.0 sec. user=mdettweiler [2013-07-28 10:57:08] 789*2^1248163-1 is not prime. Res64: D0257E245E31E09F Time : 0.0 sec. user=mdettweiler [2013-07-28 10:59:21] 793*2^1248163-1 is not prime. Res64: 5E313F5F75CC7F85 Time : 0.0 sec. user=mdettweiler [2013-07-28 10:59:21] 849*2^1248163-1 is not prime. Res64: 5B0B7FEE968AB6AA Time : 0.0 sec. user=mdettweiler [2013-07-28 10:59:37] 871*2^1248163-1 is not prime. Res64: EAF1FC03B8CABBF7 Time : 0.0 sec. user=mdettweiler [2013-07-28 10:59:37] 883*2^1248163-1 is not prime. Res64: 8DD6BCA672590793 Time : 0.0 sec. user=mdettweiler [2013-07-28 11:06:24] 609*2^1248164-1 is not prime. Res64: EA5AAF1C38ABFFFF Time : 0.0 sec. user=mdettweiler [2013-07-28 11:06:25] 773*2^1248164-1 is not prime. Res64: 12083EA933F94167 Time : 0.0 sec. user=mdettweiler [2013-07-28 11:16:30] 819*2^1248164-1 is not prime. Res64: F5A1B51FAF18D9AE Time : 0.0 sec. user=mdettweiler [2013-07-28 11:16:30] 935*2^1248164-1 is not prime. Res64: ED1568DD382D02FE Time : 0.0 sec. user=mdettweiler [2013-07-28 11:18:48] 609*2^1248165-1 is not prime. Res64: E0CB5DCEA0F9186E Time : 0.0 sec. user=mdettweiler [2013-07-28 11:18:48] 741*2^1248165-1 is not prime. Res64: 9F31FA341F662AF9 Time : 0.0 sec. user=mdettweiler [2013-07-28 11:19:02] 861*2^1248165-1 is not prime. Res64: 04B652816F91C915 Time : 0.0 sec. user=mdettweiler [2013-07-28 11:19:03] 895*2^1248165-1 is not prime. Res64: 19289FA9870FDD7A Time : 0.0 sec. user=mdettweiler [2013-07-28 11:25:51] 603*2^1248166-1 is not prime. Res64: 3CB2E7EDBC534290 Time : 0.0 sec. user=mdettweiler [2013-07-28 11:25:51] 653*2^1248166-1 is not prime. Res64: 2140ABC98FE26FA6 Time : 0.0 sec. user=mdettweiler [2013-07-28 11:36:01] 741*2^1248166-1 is not prime. Res64: DB6B8BDBCA6997AF Time : 0.0 sec. user=mdettweiler [2013-07-28 11:36:02] 765*2^1248166-1 is not prime. Res64: DD0C732B0B70D56A Time : 0.0 sec. user=mdettweiler [2013-07-28 11:38:13] 785*2^1248166-1 is not prime. Res64: 160C53808DB18728 Time : 0.0 sec. user=mdettweiler [2013-07-28 11:38:13] 881*2^1248166-1 is not prime. Res64: C71DFEB1D651D336 Time : 0.0 sec. user=mdettweiler [2013-07-28 11:38:23] 903*2^1248166-1 is not prime. Res64: 57C1024CB8FE4FF8 Time : 0.0 sec. user=mdettweiler [2013-07-28 11:38:23] 911*2^1248166-1 is not prime. Res64: 3A0E86D6C8D1EE35 Time : 0.0 sec. user=mdettweiler [2013-07-28 11:47:05] 945*2^1248166-1 is not prime. Res64: 54F409D1ABEC865F Time : 0.0 sec. user=mdettweiler [2013-07-28 11:47:05] 957*2^1248166-1 is not prime. Res64: A7EEA0FEAF49C4B3 Time : 0.0 sec. user=mdettweiler [2013-07-28 11:55:27] 693*2^1248167-1 is not prime. Res64: 075AB84794DFF730 Time : 0.0 sec. user=mdettweiler [2013-07-28 11:55:27] 797*2^1248168-1 is not prime. Res64: 413C790DF0412598 Time : 0.0 sec. user=mdettweiler [2013-07-28 11:57:39] 845*2^1248168-1 is not prime. Res64: DE84FDE0EDC73B05 Time : 0.0 sec. user=mdettweiler [2013-07-28 11:57:39] 899*2^1248168-1 is not prime. Res64: 05AF8A196D36A3E2 Time : 0.0 sec. user=mdettweiler [2013-07-28 11:57:53] 905*2^1248168-1 is not prime. Res64: E68DCB74FC95AEF4 Time : 0.0 sec. user=mdettweiler [2013-07-28 11:57:53] 681*2^1248169-1 is not prime. Res64: 233B2B0B0867B7C8 Time : 0.0 sec. user=mdettweiler [2013-07-28 12:06:27] 721*2^1248169-1 is not prime. Res64: 8868CF0FBBD9BD03 Time : 0.0 sec. user=mdettweiler [2013-07-28 12:06:27] 651*2^1248170-1 is not prime. Res64: A7C85672298C8896 Time : 0.0 sec. user=mdettweiler [2013-07-28 12:14:54] 717*2^1248170-1 is not prime. Res64: E8A6F1594A64E485 Time : 0.0 sec. user=mdettweiler [2013-07-28 12:14:55] 731*2^1248170-1 is not prime. Res64: 1F2D9CD339EA003E Time : 0.0 sec. user=mdettweiler [2013-07-28 12:17:10] 887*2^1248170-1 is not prime. Res64: D39AED8D598949A9 Time : 0.0 sec. user=mdettweiler [2013-07-28 12:17:10] 911*2^1248170-1 is not prime. Res64: 498C3E1FDA899AC5 Time : 0.0 sec. user=mdettweiler [2013-07-28 12:19:08] 945*2^1248170-1 is not prime. Res64: 8C2A814E81CF930D Time : 0.0 sec. user=mdettweiler [2013-07-28 12:19:08] 971*2^1248170-1 is not prime. Res64: 1CA197B915681819 Time : 0.0 sec. user=mdettweiler [2013-07-28 12:25:54] 625*2^1248171-1 is not prime. Res64: 7862038551F2F243 Time : 0.0 sec. user=mdettweiler [2013-07-28 12:25:54] 783*2^1248171-1 is not prime. Res64: AE3964A0BC2CAE18 Time : 0.0 sec. user=mdettweiler [2013-07-28 12:34:21] 829*2^1248171-1 is not prime. Res64: 7A68F9384A79FBAB Time : 0.0 sec. user=mdettweiler [2013-07-28 12:34:21] 861*2^1248171-1 is not prime. Res64: 2CF84A326F816EDC Time : 0.0 sec. user=mdettweiler [2013-07-28 12:36:34] 873*2^1248171-1 is not prime. Res64: BEB16BD601A8A58F Time : 0.0 sec. user=mdettweiler [2013-07-28 12:36:34] 605*2^1248172-1 is not prime. Res64: D2F67620CAB650EF Time : 0.0 sec. user=mdettweiler [2013-07-28 12:38:29] 705*2^1248172-1 is not prime. Res64: B58B370726012C1A Time : 0.0 sec. user=mdettweiler [2013-07-28 12:38:29] 717*2^1248172-1 is not prime. Res64: 1ACA1DDB72DE310D Time : 0.0 sec. user=mdettweiler [2013-07-28 12:45:21] 723*2^1248172-1 is not prime. Res64: 2224DC0A6B5FC33C Time : 0.0 sec. user=mdettweiler [2013-07-28 12:45:22] 735*2^1248172-1 is not prime. Res64: 50DAFB51D98FB249 Time : 0.0 sec. user=mdettweiler [2013-07-28 12:53:47] 749*2^1248172-1 is not prime. Res64: 1BAAB8A8B8EDB37D Time : 0.0 sec. user=mdettweiler [2013-07-28 12:53:48] 803*2^1248172-1 is not prime. Res64: F990CF88138D6D8D Time : 0.0 sec. user=mdettweiler [2013-07-28 12:57:50] 987*2^1248172-1 is not prime. Res64: 62D47D16ED08BACA Time : 0.0 sec. user=mdettweiler [2013-07-28 12:57:51] 999*2^1248172-1 is not prime. Res64: B32F7407D0B8839E Time : 0.0 sec. user=mdettweiler [2013-07-28 12:57:53] 727*2^1248173-1 is not prime. Res64: 2B2269BFB7CAA2D8 Time : 0.0 sec. user=mdettweiler [2013-07-28 12:57:54] 847*2^1248173-1 is not prime. Res64: 128716DC31A51DFB Time : 0.0 sec. user=mdettweiler [2013-07-28 13:04:49] 925*2^1248173-1 is not prime. Res64: 4A6E86A7EC62DAB0 Time : 0.0 sec. user=mdettweiler [2013-07-28 13:04:51] 937*2^1248173-1 is not prime. Res64: 30A590883119D6FC Time : 0.0 sec. user=mdettweiler [2013-07-28 13:14:07] 955*2^1248173-1 is not prime. Res64: 80527A42C9FF2C36 Time : 0.0 sec. user=mdettweiler [2013-07-28 13:14:07] 663*2^1248174-1 is not prime. Res64: 3599C66BCB595389 Time : 0.0 sec. user=mdettweiler [2013-07-28 13:17:13] 677*2^1248174-1 is not prime. Res64: A51A7992AA381E2F Time : 0.0 sec. user=mdettweiler [2013-07-28 13:17:13] 783*2^1248174-1 is not prime. Res64: E3F60302CCE9D19C Time : 0.0 sec. user=mdettweiler [2013-07-28 13:17:13] 693*2^1248174-1 is not prime. Res64: 9FA21DB746EB9FEB Time : 0.0 sec. user=mdettweiler [2013-07-28 13:17:14] 791*2^1248174-1 is not prime. Res64: CE9A1FCBD04FFC49 Time : 0.0 sec. user=mdettweiler [2013-07-28 13:24:15] 861*2^1248174-1 is not prime. Res64: 6655E3F70A34BBA0 Time : 0.0 sec. user=mdettweiler [2013-07-28 13:24:16] 873*2^1248174-1 is not prime. Res64: 4754DC2154BB2879 Time : 0.0 sec. user=mdettweiler [2013-07-28 13:33:33] 893*2^1248174-1 is not prime. Res64: 8033240480EE4FAC Time : 0.0 sec. user=mdettweiler [2013-07-28 13:33:34] 649*2^1248175-1 is not prime. Res64: D3BAEFBF7DB1917D Time : 0.0 sec. user=mdettweiler [2013-07-28 13:36:34] 805*2^1248175-1 is not prime. Res64: 401F2F32A112AFAE Time : 0.0 sec. user=mdettweiler [2013-07-28 13:36:34] 861*2^1248175-1 is not prime. Res64: 459F11BF59ADD40B Time : 0.0 sec. user=mdettweiler [2013-07-28 13:36:34] 661*2^1248175-1 is not prime. Res64: 43E9813BB1C14083 Time : 0.0 sec. user=mdettweiler [2013-07-28 13:36:35] 709*2^1248175-1 is not prime. Res64: B2DD3304F4F15FC1 Time : 0.0 sec. user=mdettweiler [2013-07-28 13:44:35] 871*2^1248175-1 is not prime. Res64: 58974474C1281570 Time : 0.0 sec. user=mdettweiler [2013-07-28 13:44:35] 951*2^1248175-1 is not prime. Res64: CA76E7547E532E5B Time : 0.0 sec. user=mdettweiler [2013-07-28 13:53:00] 609*2^1248176-1 is not prime. Res64: 00D21334E9E4D6D5 Time : 0.0 sec. user=mdettweiler [2013-07-28 13:53:01] 677*2^1248176-1 is not prime. Res64: 2AB209C86125ADD5 Time : 0.0 sec. user=mdettweiler [2013-07-28 13:56:01] 725*2^1248176-1 is not prime. Res64: F78856E28F5F1E80 Time : 0.0 sec. user=mdettweiler [2013-07-28 13:56:01] 743*2^1248176-1 is not prime. Res64: 2A46E339E2FABDD8 Time : 0.0 sec. user=mdettweiler [2013-07-28 13:56:02] 839*2^1248176-1 is not prime. Res64: 83F150A99F5853C3 Time : 0.0 sec. user=mdettweiler [2013-07-28 13:56:03] 893*2^1248176-1 is not prime. Res64: 58A5D43F32976058 Time : 0.0 sec. user=mdettweiler [2013-07-28 14:03:57] 903*2^1248176-1 is not prime. Res64: C56A2086E8982229 Time : 0.0 sec. user=mdettweiler [2013-07-28 14:03:58] 739*2^1248177-1 is not prime. Res64: A83137D4CEBA7183 Time : 0.0 sec. user=mdettweiler [2013-07-28 14:12:29] 741*2^1248177-1 is not prime. Res64: DFF67603DCF7C907 Time : 0.0 sec. user=mdettweiler [2013-07-28 14:12:30] 747*2^1248177-1 is not prime. Res64: FE2D23B3A89B6B14 Time : 0.0 sec. user=mdettweiler [2013-07-28 14:15:26] 781*2^1248177-1 is not prime. Res64: D0F07F51363CF86C Time : 0.0 sec. user=mdettweiler [2013-07-28 14:15:27] 901*2^1248177-1 is not prime. Res64: 15A583647BD9438A Time : 0.0 sec. user=mdettweiler [2013-07-28 14:16:24] 937*2^1248177-1 is not prime. Res64: A5ADF82CC2BB1830 Time : 0.0 sec. user=mdettweiler [2013-07-28 14:16:24] 949*2^1248177-1 is not prime. Res64: D37C03A7A9751AC5 Time : 0.0 sec. user=mdettweiler [2013-07-28 14:23:21] 705*2^1248178-1 is not prime. Res64: AECA81C507590996 Time : 0.0 sec. user=mdettweiler [2013-07-28 14:23:21] 743*2^1248178-1 is not prime. Res64: 52890EE99CBC5A8D Time : 0.0 sec. user=mdettweiler [2013-07-28 14:33:00] 891*2^1248178-1 is not prime. Res64: 8EC8863493A1D253 Time : 0.0 sec. user=mdettweiler [2013-07-28 14:33:01] 995*2^1248178-1 is not prime. Res64: C8255854C37C5830 Time : 0.0 sec. user=mdettweiler [2013-07-28 14:35:00] 913*2^1248179-1 is not prime. Res64: F91AB39C86914E31 Time : 0.0 sec. user=mdettweiler [2013-07-28 14:35:00] 943*2^1248179-1 is not prime. Res64: AEFA4497C6286825 Time : 0.0 sec. user=mdettweiler [2013-07-28 14:36:48] 973*2^1248179-1 is not prime. Res64: D92D45931F8C1D6E Time : 0.0 sec. user=mdettweiler [2013-07-28 14:36:48] 653*2^1248180-1 is not prime. Res64: E741F2DD990B1B40 Time : 0.0 sec. user=juhehe [2013-07-28 14:39:50] 605*2^1248178-1 is not prime. Res64: F96906FFFC0046B6 Time : 0.0 sec. user=mdettweiler [2013-07-28 15:14:07] 723*2^1248180-1 is not prime. Res64: EBF8432E5F2178D3 Time : 0.0 sec. user=mdettweiler [2013-07-28 15:14:07] 825*2^1248180-1 is not prime. Res64: D7D32A246D384568 Time : 0.0 sec. user=mdettweiler [2013-07-28 15:26:49] 751*2^1248181-1 is not prime. Res64: F951C1FB1E64227D Time : 0.0 sec. user=mdettweiler [2013-07-28 15:26:49] 771*2^1248181-1 is not prime. Res64: 34D94D5CB59CC303 Time : 0.0 sec. user=mdettweiler [2013-07-28 15:26:50] 909*2^1248180-1 is not prime. Res64: 44A128DFF4FFDD50 Time : 0.0 sec. user=mdettweiler [2013-07-28 15:26:51] 685*2^1248181-1 is not prime. Res64: 13BF8BE32EC50ECD Time : 0.0 sec. user=mdettweiler [2013-07-28 15:27:17] 863*2^1248180-1 is not prime. Res64: 5DB9C66350642077 Time : 0.0 sec. user=mdettweiler [2013-07-28 15:27:17] 875*2^1248180-1 is not prime. Res64: 20F9AD99B4928788 Time : 0.0 sec. user=mdettweiler [2013-07-28 15:36:49] 859*2^1248181-1 is not prime. Res64: 339D5159493570D5 Time : 0.0 sec. user=mdettweiler [2013-07-28 15:36:50] 861*2^1248181-1 is not prime. Res64: 07C8F1D895A26123 Time : 0.0 sec. user=mdettweiler [2013-07-28 15:46:34] 731*2^1248182-1 is not prime. Res64: D7F534B40BEFE9CE Time : 0.0 sec. user=mdettweiler [2013-07-28 15:46:35] 791*2^1248182-1 is not prime. Res64: 20B2CDE64352327C Time : 0.0 sec. user=mdettweiler [2013-07-28 15:46:35] 603*2^1248182-1 is not prime. Res64: 91FA45B753D266D1 Time : 0.0 sec. user=mdettweiler [2013-07-28 15:46:36] 623*2^1248182-1 is not prime. Res64: 559F96D6E58B3D6B Time : 0.0 sec. user=mdettweiler [2013-07-28 15:47:06] 867*2^1248182-1 is not prime. Res64: 5DBF03BE7F52BD12 Time : 0.0 sec. user=mdettweiler [2013-07-28 15:47:07] 897*2^1248182-1 is not prime. Res64: 2DBDF991C3F815E1 Time : 0.0 sec. user=mdettweiler [2013-07-28 15:58:40] 963*2^1248182-1 is not prime. Res64: C9F1913BA6AD01CA Time : 0.0 sec. user=mdettweiler [2013-07-28 15:58:40] 981*2^1248182-1 is not prime. Res64: FB83EBECF9630496 Time : 0.0 sec. user=mdettweiler [2013-07-28 16:06:21] 643*2^1248183-1 is not prime. Res64: 52C0EB7721165B4B Time : 0.0 sec. user=mdettweiler [2013-07-28 16:06:21] 709*2^1248183-1 is not prime. Res64: E487BFDCB21445B0 Time : 0.0 sec. user=mdettweiler [2013-07-28 16:06:51] 741*2^1248183-1 is not prime. Res64: 46B73D27CF1963F2 Time : 0.0 sec. user=mdettweiler [2013-07-28 16:06:52] 781*2^1248183-1 is not prime. Res64: 7468E7B6CD02739E Time : 0.0 sec. user=mdettweiler [2013-07-28 16:07:07] 983*2^1248182-1 is not prime. Res64: C1ACE70FD85F48F7 Time : 0.0 sec. user=mdettweiler [2013-07-28 16:07:08] 615*2^1248183-1 is not prime. Res64: A184F50D04A7285F Time : 0.0 sec. user=mdettweiler [2013-07-28 16:18:04] 895*2^1248183-1 is not prime. Res64: DFC44EDE4FBE130A Time : 0.0 sec. user=mdettweiler [2013-07-28 16:18:05] 605*2^1248184-1 is not prime. Res64: 729D3176C9D50D70 Time : 0.0 sec. user=mdettweiler [2013-07-28 16:25:51] 657*2^1248184-1 is not prime. Res64: 855E8A02AA9513CC Time : 0.0 sec. user=mdettweiler [2013-07-28 16:25:52] 819*2^1248184-1 is not prime. Res64: 9D873E0AE5AB2CAA Time : 0.0 sec. user=mdettweiler [2013-07-28 16:26:30] 627*2^1248185-1 is not prime. Res64: FF86AE56B7C808CF Time : 0.0 sec. user=mdettweiler [2013-07-28 16:26:30] 649*2^1248185-1 is not prime. Res64: CE0B935865B60B6A Time : 0.0 sec. user=mdettweiler [2013-07-28 16:27:12] 899*2^1248184-1 is not prime. Res64: 88296D4051DC8234 Time : 0.0 sec. user=mdettweiler [2013-07-28 16:27:13] 989*2^1248184-1 is not prime. Res64: EFFEAD7467A7BD2B Time : 0.0 sec. user=mdettweiler [2013-07-28 16:37:35] 675*2^1248185-1 is not prime. Res64: 19B5D4C2BFA63A4E Time : 0.0 sec. user=mdettweiler [2013-07-28 16:37:36] 741*2^1248185-1 is not prime. Res64: 4F19ED4FC50352DE Time : 0.0 sec. user=mdettweiler [2013-07-28 16:45:19] 847*2^1248185-1 is not prime. Res64: 0E87788AB911D2E1 Time : 0.0 sec. user=mdettweiler [2013-07-28 16:45:20] 647*2^1248186-1 is not prime. Res64: B173D84EDBDB11D2 Time : 0.0 sec. user=mdettweiler [2013-07-28 16:45:58] 671*2^1248186-1 is not prime. Res64: 99D3C8532B11363A Time : 0.0 sec. user=mdettweiler [2013-07-28 16:45:59] 695*2^1248186-1 is not prime. Res64: 3E3883887D702C67 Time : 0.0 sec. user=mdettweiler [2013-07-28 16:46:39] 713*2^1248186-1 is not prime. Res64: 4DD6BDAC1B01C99E Time : 0.0 sec. user=mdettweiler [2013-07-28 16:46:39] 833*2^1248186-1 is not prime. Res64: 8FB41D35E721865F Time : 0.0 sec. user=mdettweiler [2013-07-28 16:57:59] 917*2^1248186-1 is not prime. Res64: 97BE35792455155A Time : 0.0 sec. user=mdettweiler [2013-07-28 16:57:59] 945*2^1248186-1 is not prime. Res64: 5270DC23F9AF4244 Time : 0.0 sec. user=mdettweiler [2013-07-28 17:05:29] 675*2^1248187-1 is not prime. Res64: A3AD17B3E21E95F3 Time : 0.0 sec. user=mdettweiler [2013-07-28 17:05:30] 693*2^1248187-1 is not prime. Res64: 907CA5F7803F5909 Time : 0.0 sec. user=mdettweiler [2013-07-28 17:06:06] 775*2^1248187-1 is not prime. Res64: CCECA3AA17BADF50 Time : 0.0 sec. user=mdettweiler [2013-07-28 17:06:06] 813*2^1248187-1 is not prime. Res64: F4A49FCFFFE49A17 Time : 0.0 sec. user=mdettweiler [2013-07-28 17:06:42] 975*2^1248186-1 is not prime. Res64: 9A2079DFB51D27B5 Time : 0.0 sec. user=mdettweiler [2013-07-28 17:06:43] 993*2^1248186-1 is not prime. Res64: 759C3A85C9F63F01 Time : 0.0 sec. user=mdettweiler [2013-07-28 17:19:03] 909*2^1248187-1 is not prime. Res64: 27FBB9591862E949 Time : 0.0 sec. user=mdettweiler [2013-07-28 17:19:03] 951*2^1248187-1 is not prime. Res64: 1D06A5A2A9ADA98D Time : 0.0 sec. user=mdettweiler [2013-07-28 17:26:05] 615*2^1248188-1 is not prime. Res64: B8E10D72234B7B30 Time : 0.0 sec. user=mdettweiler [2013-07-28 17:26:05] 855*2^1248188-1 is not prime. Res64: 77C408B40CFC42B8 Time : 0.0 sec. user=mdettweiler [2013-07-28 17:27:24] 985*2^1248187-1 is not prime. Res64: 2923600743BCEA4A Time : 0.0 sec. user=mdettweiler [2013-07-28 17:27:25] 993*2^1248187-1 is not prime. Res64: 7F2BDFC09CFB245D Time : 0.0 sec. user=mdettweiler [2013-07-28 17:27:53] 935*2^1248188-1 is not prime. Res64: A98C79EC3464A6D2 Time : 0.0 sec. user=mdettweiler [2013-07-28 17:27:53] 969*2^1248188-1 is not prime. Res64: 8AC58431AFD07C89 Time : 0.0 sec. user=mdettweiler [2013-07-28 17:40:27] 993*2^1248188-1 is not prime. Res64: B9C3CD07EB13D109 Time : 0.0 sec. user=mdettweiler [2013-07-28 17:40:27] 999*2^1248188-1 is not prime. Res64: 00B1237452AA1227 Time : 0.0 sec. user=mdettweiler [2013-07-28 17:45:34] 655*2^1248189-1 is not prime. Res64: 019028FB7799F27D Time : 0.0 sec. user=mdettweiler [2013-07-28 17:45:35] 657*2^1248189-1 is not prime. Res64: 12B201D0F9E94C07 Time : 0.0 sec. user=mdettweiler [2013-07-28 17:47:24] 723*2^1248190-1 is not prime. Res64: CD723006B88BC6F7 Time : 0.0 sec. user=mdettweiler [2013-07-28 17:47:24] 731*2^1248190-1 is not prime. Res64: 40FAF0669633A65C Time : 0.0 sec. user=mdettweiler [2013-07-28 17:47:46] 831*2^1248189-1 is not prime. Res64: EF9FA8B78466DDB5 Time : 0.0 sec. user=mdettweiler [2013-07-28 17:47:47] 955*2^1248189-1 is not prime. Res64: 1BD912E65599B6D6 Time : 0.0 sec. user=mdettweiler [2013-07-28 17:59:56] 785*2^1248190-1 is not prime. Res64: 2068947BB049CACD Time : 0.0 sec. user=mdettweiler [2013-07-28 17:59:56] 791*2^1248190-1 is not prime. Res64: 2161FA99CB418174 Time : 0.0 sec. user=Beyond [2013-07-28 18:03:42] 813*2^1248191-1 is not prime. Res64: FA404733F77BE05D Time : 0.0 sec. user=Beyond [2013-07-28 18:03:49] 825*2^1248190-1 is not prime. Res64: C892316007032C23 Time : 0.0 sec. user=mdettweiler [2013-07-28 18:05:04] 689*2^1248192-1 is not prime. Res64: 698EB8F19065F724 Time : 0.0 sec. user=mdettweiler [2013-07-28 18:05:05] 819*2^1248192-1 is not prime. Res64: BE002DDF141BD82F Time : 0.0 sec. user=mdettweiler [2013-07-28 18:06:53] 887*2^1248192-1 is not prime. Res64: 20E9DA1F9853774F Time : 0.0 sec. user=mdettweiler [2013-07-28 18:06:54] 935*2^1248192-1 is not prime. Res64: 4824FA47C3E2C76D Time : 0.0 sec. user=mdettweiler [2013-07-28 18:09:04] 947*2^1248192-1 is not prime. Res64: 3E9F682888CCA775 Time : 0.0 sec. user=mdettweiler [2013-07-28 18:09:05] 975*2^1248192-1 is not prime. Res64: C1DB4E0B99F0A5B7 Time : 0.0 sec. user=Beyond [2013-07-28 18:09:09] 981*2^1248190-1 is not prime. Res64: 3E9529BDF9E30E3C Time : 0.0 sec. user=Beyond [2013-07-28 18:09:13] 993*2^1248191-1 is not prime. Res64: 209A9E67BDE5F5A2 Time : 0.0 sec. user=Beyond [2013-07-28 18:15:25] 649*2^1248193-1 is not prime. Res64: 41ED46A676D80F87 Time : 0.0 sec. user=Beyond [2013-07-28 18:15:27] 811*2^1248193-1 is not prime. Res64: 4D73D8C67A132EE4 Time : 0.0 sec. user=Beyond [2013-07-28 18:19:49] 951*2^1248193-1 is not prime. Res64: DC6074982A110137 Time : 0.0 sec. user=Beyond [2013-07-28 18:19:58] 983*2^1248192-1 is not prime. Res64: 5A7D766D76B8E523 Time : 0.0 sec. user=mdettweiler [2013-07-28 18:20:20] 999*2^1248193-1 is not prime. Res64: F9623DFBC54AB070 Time : 0.0 sec. user=mdettweiler [2013-07-28 18:20:20] 633*2^1248194-1 is not prime. Res64: 867BC81488CECC3A Time : 0.0 sec. user=mdettweiler [2013-07-28 18:24:37] 755*2^1248194-1 is not prime. Res64: 064261BBDA0F0C5A Time : 0.0 sec. user=mdettweiler [2013-07-28 18:24:37] 827*2^1248194-1 is not prime. Res64: B6AD1903ED826C68 Time : 0.0 sec. user=Beyond [2013-07-28 18:25:51] 645*2^1248194-1 is not prime. Res64: 3C42E4275CC1F9F6 Time : 0.0 sec. user=Beyond [2013-07-28 18:26:07] 717*2^1248194-1 is not prime. Res64: 0AA73DD19FCB39B2 Time : 0.0 sec. user=mdettweiler [2013-07-28 18:27:20] 923*2^1248194-1 is not prime. Res64: 0D370641EDD5AED2 Time : 0.0 sec. user=mdettweiler [2013-07-28 18:27:20] 945*2^1248194-1 is not prime. Res64: C1A2867F732D352F Time : 0.0 sec. user=mdettweiler [2013-07-28 18:28:34] 625*2^1248195-1 is not prime. Res64: B0D49DC403DC1EED Time : 0.0 sec. user=mdettweiler [2013-07-28 18:28:34] 675*2^1248195-1 is not prime. Res64: 90F9F454AC479540 Time : 0.0 sec. user=Beyond [2013-07-28 18:31:28] 751*2^1248195-1 is not prime. Res64: 50DDEB4CE821E85B Time : 0.0 sec. user=Beyond [2013-07-28 18:31:32] 705*2^1248195-1 is not prime. Res64: 19C44961D8A87B73 Time : 0.0 sec. user=Beyond [2013-07-28 18:34:53] 615*2^1248196-1 is not prime. Res64: B676C3A71A4ED4B2 Time : 0.0 sec. user=Beyond [2013-07-28 18:39:25] 675*2^1248196-1 is not prime. Res64: 083F6E5B6951A9B3 Time : 0.0 sec. user=Beyond [2013-07-28 18:39:27] 743*2^1248196-1 is not prime. Res64: 877BC18552738B59 Time : 0.0 sec. user=Beyond [2013-07-28 18:39:29] 951*2^1248195-1 is not prime. Res64: 24964EA805F144F3 Time : 0.0 sec. user=mdettweiler [2013-07-28 18:39:49] 783*2^1248196-1 is not prime. Res64: 32A0CF1ABD7560D8 Time : 0.0 sec. user=mdettweiler [2013-07-28 18:39:49] 845*2^1248196-1 is not prime. Res64: 363F54A7D103F162 Time : 0.0 sec. user=mdettweiler [2013-07-28 18:44:05] 873*2^1248196-1 is not prime. Res64: 09A237B1FBDA17C2 Time : 0.0 sec. user=mdettweiler [2013-07-28 18:44:05] 939*2^1248196-1 is not prime. Res64: A4E99E77DDEA92E4 Time : 0.0 sec. user=mdettweiler [2013-07-28 18:46:48] 805*2^1248197-1 is not prime. Res64: 81E1E0ADCA11386F Time : 0.0 sec. user=mdettweiler [2013-07-28 18:46:48] 831*2^1248197-1 is not prime. Res64: 01301461FB31C66E Time : 0.0 sec. user=mdettweiler [2013-07-28 18:48:01] 859*2^1248197-1 is not prime. Res64: EF4ABBDED6D304B9 Time : 0.0 sec. user=mdettweiler [2013-07-28 18:48:01] 861*2^1248197-1 is not prime. Res64: E309B3BDDF335151 Time : 0.0 sec. user=Beyond [2013-07-28 18:48:13] 717*2^1248197-1 is not prime. Res64: DF3E05CF00BC14B0 Time : 0.0 sec. user=Beyond [2013-07-28 18:53:24] 983*2^1248196-1 is not prime. Res64: 54AD6DAC39FC9E47 Time : 0.0 sec. user=Beyond [2013-07-28 18:53:45] 901*2^1248197-1 is not prime. Res64: D0D0596F8E3E143E Time : 0.0 sec. user=Beyond [2013-07-28 18:53:48] 671*2^1248198-1 is not prime. Res64: 0D511D9E571025B1 Time : 0.0 sec. user=Beyond [2013-07-28 18:54:27] 737*2^1248198-1 is not prime. Res64: 8796EEFD01B27C6B Time : 0.0 sec. user=Beyond [2013-07-28 18:58:57] 943*2^1248199-1 is not prime. Res64: DE7D4B5879571217 Time : 0.0 sec. user=Beyond [2013-07-28 18:58:58] 675*2^1248199-1 is not prime. Res64: 120DDEE0485FCF73 Time : 0.0 sec. user=Beyond [2013-07-28 18:59:08] 931*2^1248199-1 is not prime. Res64: F569791C13410154 Time : 0.0 sec. user=mdettweiler [2013-07-28 19:00:23] 951*2^1248199-1 is not prime. Res64: 891DB0882504BCB6 Time : 0.0 sec. user=mdettweiler [2013-07-28 19:00:24] 713*2^1248200-1 is not prime. Res64: 9D17B3C3D1292D3D Time : 0.0 sec. user=mdettweiler [2013-07-28 19:03:42] 827*2^1248200-1 is not prime. Res64: 4D1EE166C1A9E74D Time : 0.0 sec. user=mdettweiler [2013-07-28 19:03:43] 893*2^1248200-1 is not prime. Res64: DF263F91BFE50488 Time : 0.0 sec. user=mdettweiler [2013-07-28 19:07:24] 963*2^1248200-1 is not prime. Res64: DB922542D673B4EB Time : 0.0 sec. user=mdettweiler [2013-07-28 19:07:24] 601*2^1248201-1 is not prime. Res64: 87C70CFEB729F2F7 Time : 0.0 sec. user=mdettweiler [2013-07-28 19:07:45] 609*2^1248201-1 is not prime. Res64: 26C43DCCE85B742B Time : 0.0 sec. user=mdettweiler [2013-07-28 19:07:46] 907*2^1248201-1 is not prime. Res64: 91B328637C1E8DC1 Time : 0.0 sec. user=Beyond [2013-07-28 19:10:28] 937*2^1248201-1 is not prime. Res64: F99548C8116E7603 Time : 0.0 sec. user=Beyond [2013-07-28 19:14:00] 621*2^1248203-1 is not prime. Res64: 6B77E354ED42D9E0 Time : 0.0 sec. user=Beyond [2013-07-28 19:15:42] 633*2^1248202-1 is not prime. Res64: CFF0471EAB2387E7 Time : 0.0 sec. user=Beyond [2013-07-28 19:16:02] 671*2^1248202-1 is not prime. Res64: 4C44EF06EB41A23B Time : 0.0 sec. user=Beyond [2013-07-28 19:16:06] 609*2^1248203-1 is not prime. Res64: A536E8EB13ED4670 Time : 0.0 sec. user=Beyond [2013-07-28 19:18:21] 669*2^1248203-1 is not prime. Res64: 87ED394F44B415EE Time : 0.0 sec. user=Beyond [2013-07-28 19:18:25] 861*2^1248203-1 is not prime. Res64: 0D5394812254D332 Time : 0.0 sec. user=Beyond [2013-07-28 19:18:37] 627*2^1248204-1 is not prime. Res64: 0740E89D324DA55F Time : 0.0 sec. user=mdettweiler [2013-07-28 19:20:19] 809*2^1248204-1 is not prime. Res64: 2A8DDCF7832B6476 Time : 0.0 sec. user=mdettweiler [2013-07-28 19:20:19] 873*2^1248204-1 is not prime. Res64: E729AED6E2BEB993 Time : 0.0 sec. user=mdettweiler [2013-07-28 19:23:31] 651*2^1248205-1 is not prime. Res64: AE009F8C19B5BBE3 Time : 0.0 sec. user=mdettweiler [2013-07-28 19:23:31] 685*2^1248205-1 is not prime. Res64: D2D9BF882BE2FD0E Time : 0.0 sec. user=mdettweiler [2013-07-28 19:27:12] 715*2^1248205-1 is not prime. Res64: 5A19BEE44864AF94 Time : 0.0 sec. user=mdettweiler [2013-07-28 19:27:13] 759*2^1248205-1 is not prime. Res64: C05EDA86CC3A34BE Time : 0.0 sec. user=mdettweiler [2013-07-28 19:27:36] 885*2^1248205-1 is not prime. Res64: FC0FADDF558BB9F4 Time : 0.0 sec. user=mdettweiler [2013-07-28 19:27:36] 897*2^1248205-1 is not prime. Res64: 32FBF7FBC6ECC8AC Time : 0.0 sec. user=Beyond [2013-07-28 19:32:52] 937*2^1248205-1 is not prime. Res64: 10F18381C6649DFF Time : 0.0 sec. user=Beyond [2013-07-28 19:33:22] 617*2^1248206-1 is not prime. Res64: B49F9466B8E2B441 Time : 0.0 sec. user=Beyond [2013-07-28 19:37:46] 801*2^1248206-1 is not prime. Res64: 64061BE3A1E095FE Time : 0.0 sec. user=Beyond [2013-07-28 19:37:52] 867*2^1248206-1 is not prime. Res64: DC7959F71B26E85A Time : 0.0 sec. user=Beyond [2013-07-28 19:37:54] 635*2^1248206-1 is not prime. Res64: 85B852F2F5571A60 Time : 0.0 sec. user=Beyond [2013-07-28 19:38:13] 741*2^1248206-1 is not prime. Res64: 6EF8EF92BFDB191B Time : 0.0 sec. user=Beyond [2013-07-28 19:38:19] 767*2^1248206-1 is not prime. Res64: EBF2F7797EAFC520 Time : 0.0 sec. user=mdettweiler [2013-07-28 19:41:15] 981*2^1248206-1 is not prime. Res64: 1CA9EF867903915F Time : 0.0 sec. user=mdettweiler [2013-07-28 19:41:16] 601*2^1248207-1 is not prime. Res64: 46538B571D9CE67C Time : 0.0 sec. user=Beyond [2013-07-28 19:42:40] 971*2^1248206-1 is not prime. Res64: 5282999946C77D94 Time : 0.0 sec. user=mdettweiler [2013-07-28 19:43:22] 643*2^1248207-1 is not prime. Res64: 0D3E9DD2C501F2BC Time : 0.0 sec. user=mdettweiler [2013-07-28 19:43:22] 739*2^1248207-1 is not prime. Res64: 1C340212E8B85E3B Time : 0.0 sec. user=mdettweiler [2013-07-28 19:47:01] 793*2^1248207-1 is not prime. Res64: 905E56BA08529258 Time : 0.0 sec. user=mdettweiler [2013-07-28 19:47:01] 909*2^1248207-1 is not prime. Res64: AED10FBF8083A6F2 Time : 0.0 sec. user=mdettweiler [2013-07-28 19:48:22] 919*2^1248207-1 is not prime. Res64: AA03A5F4FC650268 Time : 0.0 sec. user=mdettweiler [2013-07-28 19:48:22] 985*2^1248207-1 is not prime. Res64: 5F4B80EB363C2DD3 Time : 0.0 sec. user=Beyond [2013-07-28 19:52:51] 615*2^1248209-1 is not prime. Res64: 983959A011F88DF1 Time : 0.0 sec. user=Beyond [2013-07-28 19:55:06] 663*2^1248208-1 is not prime. Res64: 01CC41E39398A484 Time : 0.0 sec. user=Beyond [2013-07-28 19:57:10] 787*2^1248209-1 is not prime. Res64: E71BB59C9400EDC8 Time : 0.0 sec. user=Beyond [2013-07-28 19:57:21] 649*2^1248209-1 is not prime. Res64: 8DB6220F736D96E4 Time : 0.0 sec. user=Beyond [2013-07-28 20:00:04] 831*2^1248209-1 is not prime. Res64: EC61EF3DE3611D23 Time : 0.0 sec. user=Beyond [2013-07-28 20:00:37] 847*2^1248209-1 is not prime. Res64: 3D7AD0F0FACC1C30 Time : 0.0 sec. user=Beyond [2013-07-28 20:02:08] 711*2^1248210-1 is not prime. Res64: A29587332D858B2B Time : 0.0 sec. user=mdettweiler [2013-07-28 20:02:08] 957*2^1248209-1 is not prime. Res64: 67A48B9AC11D102C Time : 0.0 sec. user=mdettweiler [2013-07-28 20:02:09] 635*2^1248210-1 is not prime. Res64: 20483E225CB6C410 Time : 0.0 sec. user=mdettweiler [2013-07-28 20:03:25] 767*2^1248210-1 is not prime. Res64: 7F2AFDE83CB2F7C7 Time : 0.0 sec. user=mdettweiler [2013-07-28 20:03:26] 825*2^1248210-1 is not prime. Res64: 278EE001998237AE Time : 0.0 sec. user=Beyond [2013-07-28 20:05:51] 945*2^1248209-1 is not prime. Res64: 8412D6D46F2DA669 Time : 0.0 sec. user=mdettweiler [2013-07-28 20:06:51] 833*2^1248210-1 is not prime. Res64: 2A5CF63558302FD3 Time : 0.0 sec. user=mdettweiler [2013-07-28 20:06:52] 927*2^1248210-1 is not prime. Res64: 2EF3ADDC24B0391A Time : 0.0 sec. user=mdettweiler [2013-07-28 20:08:16] 741*2^1248211-1 is not prime. Res64: E5382F5182AB1867 Time : 0.0 sec. user=mdettweiler [2013-07-28 20:08:17] 745*2^1248211-1 is not prime. Res64: FDE27C666096A438 Time : 0.0 sec. user=Beyond [2013-07-28 20:12:26] 759*2^1248211-1 is not prime. Res64: 4DC6CE9AD81DB640 Time : 0.0 sec. user=Beyond [2013-07-28 20:16:38] 939*2^1248211-1 is not prime. Res64: CE5FE9977F7B5572 Time : 0.0 sec. user=Beyond [2013-07-28 20:17:14] 883*2^1248211-1 is not prime. Res64: 77841EF6F25A750B Time : 0.0 sec. user=Beyond [2013-07-28 20:21:16] 973*2^1248211-1 is not prime. Res64: E6F692F93C93A433 Time : 0.0 sec. user=Beyond [2013-07-28 20:21:39] 683*2^1248212-1 is not prime. Res64: B6570C478CB1E4F3 Time : 0.0 sec. user=mdettweiler [2013-07-28 20:22:13] 735*2^1248212-1 is not prime. Res64: E8BA9CDA189E719C Time : 0.0 sec. user=mdettweiler [2013-07-28 20:22:14] 777*2^1248212-1 is not prime. Res64: 2969DF599DAAD418 Time : 0.0 sec. user=Beyond [2013-07-28 20:22:49] 665*2^1248212-1 is not prime. Res64: E0ACFEAE2C00F21D Time : 0.0 sec. user=mdettweiler [2013-07-28 20:23:22] 825*2^1248212-1 is not prime. Res64: 9772ADC04B1A2D50 Time : 0.0 sec. user=mdettweiler [2013-07-28 20:23:22] 827*2^1248212-1 is not prime. Res64: 91D7BB97E3AA1DCF Time : 0.0 sec. user=mdettweiler [2013-07-28 20:26:51] 741*2^1248213-1 is not prime. Res64: 93A8073A37931905 Time : 0.0 sec. user=mdettweiler [2013-07-28 20:26:51] 789*2^1248213-1 is not prime. Res64: 0CF6EB563D3C6492 Time : 0.0 sec. user=Beyond [2013-07-28 20:27:48] 975*2^1248211-1 is not prime. Res64: 023CC5EE056F0FA4 Time : 0.0 sec. user=Beyond [2013-07-28 20:28:02] 885*2^1248212-1 is not prime. Res64: AAD598BA7E1BBA03 Time : 0.0 sec. user=mdettweiler [2013-07-28 20:28:20] 849*2^1248213-1 is not prime. Res64: 964953C59AD0281F Time : 0.0 sec. user=mdettweiler [2013-07-28 20:28:20] 895*2^1248213-1 is not prime. Res64: C1FA63C5826D2A03 Time : 0.0 sec. user=Beyond [2013-07-28 20:31:53] 901*2^1248213-1 is not prime. Res64: BD747A925FB4C3A3 Time : 0.0 sec. user=Beyond [2013-07-28 20:39:31] 617*2^1248214-1 is not prime. Res64: B5CE730E5E420FDE Time : 0.0 sec. user=Beyond [2013-07-28 20:40:37] 949*2^1248213-1 is not prime. Res64: D4B9E202C71FD0EE Time : 0.0 sec. user=Beyond [2013-07-28 20:40:42] 651*2^1248214-1 is not prime. Res64: CE66C20DCA18DA4B Time : 0.0 sec. user=Beyond [2013-07-28 20:41:09] 705*2^1248214-1 is not prime. Res64: EC1A4D6728940018 Time : 0.0 sec. user=mdettweiler [2013-07-28 20:42:30] 717*2^1248214-1 is not prime. Res64: F59D7889FC2F27E8 Time : 0.0 sec. user=mdettweiler [2013-07-28 20:42:31] 741*2^1248214-1 is not prime. Res64: BFC716FABB7CF00F Time : 0.0 sec. user=mdettweiler [2013-07-28 20:43:36] 815*2^1248214-1 is not prime. Res64: D8A2666D98135D54 Time : 0.0 sec. user=mdettweiler [2013-07-28 20:43:36] 825*2^1248214-1 is not prime. Res64: CFEB3A55F05B2A50 Time : 0.0 sec. user=Beyond [2013-07-28 20:45:09] 773*2^1248214-1 is not prime. Res64: BA13C4E79FEC2C78 Time : 0.0 sec. user=mdettweiler [2013-07-28 20:48:06] 855*2^1248214-1 is not prime. Res64: 3B3CBEEB434954CA Time : 0.0 sec. user=mdettweiler [2013-07-28 20:48:06] 987*2^1248214-1 is not prime. Res64: F6DB10485F0FDCF9 Time : 0.0 sec. user=mdettweiler [2013-07-28 20:48:46] 781*2^1248215-1 is not prime. Res64: AF0396FFEFA9C39F Time : 0.0 sec. user=mdettweiler [2013-07-28 20:48:46] 853*2^1248215-1 is not prime. Res64: B5027B7F1E281184 Time : 0.0 sec. user=Beyond [2013-07-28 20:50:12] 721*2^1248215-1 is not prime. Res64: E697E60AC958D90F Time : 0.0 sec. user=Beyond [2013-07-28 20:50:19] 753*2^1248215-1 is not prime. Res64: C7A21FB2035F1CD2 Time : 0.0 sec. user=Beyond [2013-07-28 20:51:12] 861*2^1248215-1 is not prime. Res64: 89BF70200A7E2C49 Time : 0.0 sec. user=Beyond [2013-07-28 21:00:18] 635*2^1248216-1 is not prime. Res64: A3B0B5BB45B528FD Time : 0.0 sec. user=Beyond [2013-07-28 21:00:32] 737*2^1248216-1 is not prime. Res64: 8755C231F281C2FE Time : 0.0 sec. user=Beyond [2013-07-28 21:01:49] 865*2^1248215-1 is not prime. Res64: 0AE20CF1CDB3CEFE Time : 0.0 sec. user=mdettweiler [2013-07-28 21:02:46] 759*2^1248216-1 is not prime. Res64: 7D6C35C10C95498B Time : 0.0 sec. user=mdettweiler [2013-07-28 21:02:47] 767*2^1248216-1 is not prime. Res64: E527877241F6342A Time : 0.0 sec. user=mdettweiler [2013-07-28 21:03:55] 777*2^1248216-1 is not prime. Res64: D3BFDA6F31E95BE4 Time : 0.0 sec. user=mdettweiler [2013-07-28 21:03:56] 825*2^1248216-1 is not prime. Res64: 1560CA454E2DB993 Time : 0.0 sec. user=Beyond [2013-07-28 21:04:34] 979*2^1248215-1 is not prime. Res64: 8E6BC43A16E2D8A3 Time : 0.0 sec. user=Beyond [2013-07-28 21:07:29] 843*2^1248216-1 is not prime. Res64: DCDECDDC10F429BA Time : 0.0 sec. user=mdettweiler [2013-07-28 21:09:15] 873*2^1248216-1 is not prime. Res64: 9B405C5E37B8E57A Time : 0.0 sec. user=mdettweiler [2013-07-28 21:09:17] 945*2^1248216-1 is not prime. Res64: FF4FE8BC278A05BF Time : 0.0 sec. user=mdettweiler [2013-07-28 21:09:52] 975*2^1248216-1 is not prime. Res64: 6C48F2204FF546DD Time : 0.0 sec. user=mdettweiler [2013-07-28 21:09:53] 715*2^1248217-1 is not prime. Res64: 2D74C163B92637C2 Time : 0.0 sec. user=Beyond [2013-07-28 21:10:41] 931*2^1248217-1 is not prime. Res64: 362CA42BA60EE6A6 Time : 0.0 sec. user=Beyond [2013-07-28 21:12:31] 835*2^1248217-1 is not prime. Res64: 0000C2821E63A2BD Time : 0.0 sec. user=Beyond [2013-07-28 21:12:32] 885*2^1248217-1 is not prime. Res64: C17EBE46CE57BB77 Time : 0.0 sec. user=Beyond [2013-07-28 21:20:06] 683*2^1248218-1 is not prime. Res64: 375A4CB7D3BDA74B Time : 0.0 sec. user=mdettweiler [2013-07-28 21:22:43] 707*2^1248218-1 is not prime. Res64: 42D0FF9A106CBEAA Time : 0.0 sec. user=mdettweiler [2013-07-28 21:22:43] 731*2^1248218-1 is not prime. Res64: C9D28069F5823C65 Time : 0.0 sec. user=mdettweiler [2013-07-28 21:23:44] 771*2^1248218-1 is not prime. Res64: 98B039D60E7F101B Time : 0.0 sec. user=mdettweiler [2013-07-28 21:23:44] 773*2^1248218-1 is not prime. Res64: 312F19D3F83438D3 Time : 0.0 sec. user=Beyond [2013-07-28 21:24:03] 705*2^1248218-1 is not prime. Res64: F209AB45E25B7B71 Time : 0.0 sec. user=Beyond [2013-07-28 21:24:04] 801*2^1248218-1 is not prime. Res64: C653A53FF4B6AD09 Time : 0.0 sec. user=Beyond [2013-07-28 21:24:26] 979*2^1248217-1 is not prime. Res64: 6799AF0BFE0FB285 Time : 0.0 sec. user=mdettweiler [2013-07-28 21:28:57] 613*2^1248219-1 is not prime. Res64: A77310DDFA7DF472 Time : 0.0 sec. user=mdettweiler [2013-07-28 21:28:57] 705*2^1248219-1 is not prime. Res64: A8A302B2897FD570 Time : 0.0 sec. user=mdettweiler [2013-07-28 21:29:39] 741*2^1248219-1 is not prime. Res64: EE6A7B377B8FC2B9 Time : 0.0 sec. user=mdettweiler [2013-07-28 21:29:39] 769*2^1248219-1 is not prime. Res64: A88B8094E7C07F42 Time : 0.0 sec. user=Beyond [2013-07-28 21:30:10] 913*2^1248219-1 is not prime. Res64: 983A5B4D6B268D08 Time : 0.0 sec. user=Beyond [2013-07-28 21:34:47] 615*2^1248220-1 is not prime. Res64: E7E9CB9054956F1D Time : 0.0 sec. user=Beyond [2013-07-28 21:34:59] 977*2^1248218-1 is not prime. Res64: 7F69E8803EF75A54 Time : 0.0 sec. user=Beyond [2013-07-28 21:39:33] 689*2^1248220-1 is not prime. Res64: D8107D107C8D5013 Time : 0.0 sec. user=Beyond [2013-07-28 21:40:05] 969*2^1248219-1 is not prime. Res64: BCDFBE69C893DDEF Time : 0.0 sec. user=mdettweiler [2013-07-28 21:42:21] 755*2^1248220-1 is not prime. Res64: 3E9859EC26385A69 Time : 0.0 sec. user=mdettweiler [2013-07-28 21:42:22] 759*2^1248220-1 is not prime. Res64: C96689584BAAD316 Time : 0.0 sec. user=mdettweiler [2013-07-28 21:43:19] 803*2^1248220-1 is not prime. Res64: EF5E6EE2C25B1A4A Time : 0.0 sec. user=mdettweiler [2013-07-28 21:43:20] 897*2^1248220-1 is not prime. Res64: A2FD78B1A91DE87E Time : 0.0 sec. user=Beyond [2013-07-28 21:43:31] 615*2^1248221-1 is not prime. Res64: DDBDE93EB8C3F2F4 Time : 0.0 sec. user=Beyond [2013-07-28 21:43:58] 669*2^1248221-1 is not prime. Res64: 041FA2A13FE458EA Time : 0.0 sec. user=Beyond [2013-07-28 21:46:09] 905*2^1248220-1 is not prime. Res64: 98C0E636B664F876 Time : 0.0 sec. user=mdettweiler [2013-07-28 21:48:29] 675*2^1248221-1 is not prime. Res64: A776455CA54EDB0A Time : 0.0 sec. user=mdettweiler [2013-07-28 21:48:29] 715*2^1248221-1 is not prime. Res64: AB4557948FC8841E Time : 0.0 sec. user=mdettweiler [2013-07-28 21:49:12] 747*2^1248221-1 is not prime. Res64: F79B38B5FE76E4DB Time : 0.0 sec. user=mdettweiler [2013-07-28 21:49:12] 789*2^1248221-1 is not prime. Res64: 2664287196C73188 Time : 0.0 sec. user=Beyond [2013-07-28 21:49:35] 861*2^1248221-1 is not prime. Res64: 1D48C5EFFD367ADA Time : 0.0 sec. user=Beyond [2013-07-28 21:59:07] 725*2^1248222-1 is not prime. Res64: CCD92A1F795C4286 Time : 0.0 sec. user=mdettweiler [2013-07-28 22:02:04] 603*2^1248223-1 is not prime. Res64: D7CB0628E3F735E9 Time : 0.0 sec. user=mdettweiler [2013-07-28 22:02:05] 609*2^1248223-1 is not prime. Res64: D07FCA589EBAA33F Time : 0.0 sec. user=Beyond [2013-07-28 22:02:15] 891*2^1248222-1 is not prime. Res64: 53F45E1989114F3D Time : 0.0 sec. user=Beyond [2013-07-28 22:02:19] 957*2^1248221-1 is not prime. Res64: 31E74F34114AF77D Time : 0.0 sec. user=Beyond [2013-07-28 22:02:28] 987*2^1248221-1 is not prime. Res64: 33B356CA7F9F2EF4 Time : 0.0 sec. user=mdettweiler [2013-07-28 22:02:49] 693*2^1248223-1 is not prime. Res64: 9CE3893574F860F1 Time : 0.0 sec. user=mdettweiler [2013-07-28 22:02:51] 813*2^1248223-1 is not prime. Res64: 63C6B7C09F2580E3 Time : 0.0 sec. user=Beyond [2013-07-28 22:02:53] 675*2^1248224-1 is not prime. Res64: 32F1E679F549DB3D Time : 0.0 sec. user=Beyond [2013-07-28 22:03:31] 699*2^1248224-1 is not prime. Res64: B171CF1857F8798E Time : 0.0 sec. user=mdettweiler [2013-07-28 22:08:03] 667*2^1248225-1 is not prime. Res64: 223A8AD55C1276F2 Time : 0.0 sec. user=mdettweiler [2013-07-28 22:08:04] 685*2^1248225-1 is not prime. Res64: 0C9ADE7869DBB878 Time : 0.0 sec. user=mdettweiler [2013-07-28 22:08:45] 759*2^1248225-1 is not prime. Res64: 4BD5C801CFF45FEF Time : 0.0 sec. user=mdettweiler [2013-07-28 22:08:46] 849*2^1248225-1 is not prime. Res64: 5E8E97A969E74F39 Time : 0.0 sec. user=Beyond [2013-07-28 22:09:01] 871*2^1248225-1 is not prime. Res64: 14D022E0C9EBBAA6 Time : 0.0 sec. user=Beyond [2013-07-28 22:13:36] 983*2^1248224-1 is not prime. Res64: B82228E173747FB2 Time : 0.0 sec. user=Beyond [2013-07-28 22:18:44] 611*2^1248226-1 is not prime. Res64: 1D4E5A89F5A4591E Time : 0.0 sec. user=Beyond [2013-07-28 22:22:15] 891*2^1248226-1 is not prime. Res64: A4ABEC4CA7DCA8DE Time : 0.0 sec. user=mdettweiler [2013-07-28 22:22:18] 713*2^1248226-1 is not prime. Res64: 4814528B6CCBE892 Time : 0.0 sec. user=mdettweiler [2013-07-28 22:22:19] 813*2^1248226-1 is not prime. Res64: E67301683D8F6E56 Time : 0.0 sec. user=mdettweiler [2013-07-28 22:22:46] 603*2^1248227-1 is not prime. Res64: 98C13875FEA54204 Time : 0.0 sec. user=mdettweiler [2013-07-28 22:22:47] 703*2^1248227-1 is not prime. Res64: 57209D54BE824187 Time : 0.0 sec. user=Beyond [2013-07-28 22:23:06] 711*2^1248227-1 is not prime. Res64: AAC91EC4ED0F118E Time : 0.0 sec. user=Beyond [2013-07-28 22:24:30] 825*2^1248226-1 is not prime. Res64: 93503E3AC719815D Time : 0.0 sec. user=Beyond [2013-07-28 22:24:30] 815*2^1248226-1 is not prime. Res64: B7135E5C41C35546 Time : 0.0 sec. user=Beyond [2013-07-28 22:24:40] 867*2^1248226-1 is not prime. Res64: 691550270A38245C Time : 0.0 sec. user=Beyond [2013-07-28 22:28:23] 605*2^1248228-1 is not prime. Res64: 32AF21C8813CDFCA Time : 0.0 sec. user=mdettweiler [2013-07-28 22:28:26] 715*2^1248227-1 is not prime. Res64: 5B02AE109AF25925 Time : 0.0 sec. user=mdettweiler [2013-07-28 22:28:26] 733*2^1248227-1 is not prime. Res64: CEB4E16219D7EE00 Time : 0.0 sec. user=mdettweiler [2013-07-28 22:28:59] 871*2^1248227-1 is not prime. Res64: 6E230A09F79C2593 Time : 0.0 sec. user=mdettweiler [2013-07-28 22:28:59] 901*2^1248227-1 is not prime. Res64: 91D385C0FF1C7AAF Time : 0.0 sec. user=Beyond [2013-07-28 22:35:56] 773*2^1248228-1 is not prime. Res64: 06FF77D890919EB3 Time : 0.0 sec. user=Beyond [2013-07-28 22:38:18] 777*2^1248228-1 is not prime. Res64: 1F48BD6DAB4651B6 Time : 0.0 sec. user=Beyond [2013-07-28 22:41:44] 809*2^1248228-1 is not prime. Res64: CD049522E73A6568 Time : 0.0 sec. user=mdettweiler [2013-07-28 22:42:35] 929*2^1248228-1 is not prime. Res64: CBA660F2FA6F0D86 Time : 0.0 sec. user=mdettweiler [2013-07-28 22:42:35] 639*2^1248229-1 is not prime. Res64: BAF3DCD0DF4B8E94 Time : 0.0 sec. user=Beyond [2013-07-28 22:42:35] 799*2^1248229-1 is not prime. Res64: 52094C76B189ACA4 Time : 0.0 sec. user=mdettweiler [2013-07-28 22:42:36] 679*2^1248229-1 is not prime. Res64: FB23A042DC72410E Time : 0.0 sec. user=mdettweiler [2013-07-28 22:42:36] 747*2^1248229-1 is not prime. Res64: 277D1EE927239434 Time : 0.0 sec. user=Beyond [2013-07-28 22:46:42] 895*2^1248229-1 is not prime. Res64: 726BA43B61C6DEEC Time : 0.0 sec. user=Beyond [2013-07-28 22:46:53] 919*2^1248229-1 is not prime. Res64: B78BF83CD7600386 Time : 0.0 sec. user=Beyond [2013-07-28 22:46:57] 925*2^1248229-1 is not prime. Res64: E941CAE6D9E98427 Time : 0.0 sec. user=Beyond [2013-07-28 22:47:48] 939*2^1248229-1 is not prime. Res64: 5ACF578AD0D45DDF Time : 0.0 sec. user=mdettweiler [2013-07-28 22:50:01] 677*2^1248230-1 is not prime. Res64: 5A512D3ACF9CAF57 Time : 0.0 sec. user=mdettweiler [2013-07-28 22:50:01] 945*2^1248230-1 is not prime. Res64: FA3D311B1B9D183C Time : 0.0 sec. user=mdettweiler [2013-07-28 22:50:21] 961*2^1248229-1 is not prime. Res64: E854D4D2ED119F28 Time : 0.0 sec. user=mdettweiler [2013-07-28 22:50:21] 967*2^1248229-1 is not prime. Res64: B69C8930D223FDD9 Time : 0.0 sec. user=Beyond [2013-07-28 22:57:38] 621*2^1248231-1 is not prime. Res64: 28F848D3BF32C8AD Time : 0.0 sec. user=Beyond [2013-07-28 23:01:12] 703*2^1248231-1 is not prime. Res64: 94FFBF9082BED901 Time : 0.0 sec. user=Beyond [2013-07-28 23:02:08] 861*2^1248231-1 is not prime. Res64: A712A4A14CC5D071 Time : 0.0 sec. user=mdettweiler [2013-07-28 23:02:35] 735*2^1248231-1 is not prime. Res64: 68EC44CA9513742E Time : 0.0 sec. user=mdettweiler [2013-07-28 23:02:35] 763*2^1248231-1 is not prime. Res64: D64ABEEE04CDDCDE Time : 0.0 sec. user=mdettweiler [2013-07-28 23:02:48] 901*2^1248231-1 is not prime. Res64: 8A2F49301FF4AEA9 Time : 0.0 sec. user=mdettweiler [2013-07-28 23:02:49] 609*2^1248232-1 is not prime. Res64: E25622120CD9E428 Time : 0.0 sec. user=Beyond [2013-07-28 23:03:30] 971*2^1248230-1 is not prime. Res64: D8DEBEFA634E32AE Time : 0.0 sec. user=Beyond [2013-07-28 23:07:14] 713*2^1248232-1 is not prime. Res64: F3287EF3F112272C Time : 0.0 sec. user=Beyond [2013-07-28 23:09:05] 687*2^1248232-1 is not prime. Res64: B428F15A7C15CC13 Time : 0.0 sec. user=Beyond [2013-07-28 23:09:06] 635*2^1248232-1 is not prime. Res64: C85BB3F700A2ABF6 Time : 0.0 sec. user=Beyond [2013-07-28 23:09:17] 693*2^1248232-1 is not prime. Res64: 444B91F94FF0C4B4 Time : 0.0 sec. user=mdettweiler [2013-07-28 23:10:01] 903*2^1248232-1 is not prime. Res64: CCC8C23D0AC76BA3 Time : 0.0 sec. user=mdettweiler [2013-07-28 23:10:02] 917*2^1248232-1 is not prime. Res64: 4A018740B795CA02 Time : 0.0 sec. user=mdettweiler [2013-07-28 23:10:04] 759*2^1248233-1 is not prime. Res64: 20566BE1DE467755 Time : 0.0 sec. user=mdettweiler [2013-07-28 23:10:05] 775*2^1248233-1 is not prime. Res64: 77C4C97A7BFB95CF Time : 0.0 sec. user=Beyond [2013-07-28 23:17:13] 829*2^1248233-1 is not prime. Res64: A89185BFB48A6211 Time : 0.0 sec. user=Beyond [2013-07-28 23:20:33] 831*2^1248233-1 is not prime. Res64: 8C6CAA7C1F15B20A Time : 0.0 sec. user=mdettweiler [2013-07-28 23:22:22] 651*2^1248234-1 is not prime. Res64: E31F075EFE31B6A1 Time : 0.0 sec. user=mdettweiler [2013-07-28 23:22:22] 663*2^1248234-1 is not prime. Res64: EA6F7AE31198837C Time : 0.0 sec. user=mdettweiler [2013-07-28 23:22:46] 707*2^1248234-1 is not prime. Res64: 3F79256084371910 Time : 0.0 sec. user=mdettweiler [2013-07-28 23:22:46] 711*2^1248234-1 is not prime. Res64: 677005FCA1B334BA Time : 0.0 sec. user=Beyond [2013-07-28 23:25:48] 723*2^1248234-1 is not prime. Res64: 8FA0FEF38EDD2F4B Time : 0.0 sec. user=Beyond [2013-07-28 23:26:08] 955*2^1248233-1 is not prime. Res64: 614A2F09A865E772 Time : 0.0 sec. user=Beyond [2013-07-28 23:26:34] 747*2^1248234-1 is not prime. Res64: A0D3BDA11E03F53B Time : 0.0 sec. user=mdettweiler [2013-07-28 23:29:51] 693*2^1248235-1 is not prime. Res64: 8FBDB022C453DB16 Time : 0.0 sec. user=mdettweiler [2013-07-28 23:29:51] 735*2^1248235-1 is not prime. Res64: 5876304DE2D8EAF7 Time : 0.0 sec. user=mdettweiler [2013-07-28 23:29:58] 741*2^1248235-1 is not prime. Res64: 4851865373C79E52 Time : 0.0 sec. user=mdettweiler [2013-07-28 23:29:58] 765*2^1248235-1 is not prime. Res64: F42CB52CA7D5AEAF Time : 0.0 sec. user=Beyond [2013-07-28 23:31:21] 915*2^1248234-1 is not prime. Res64: 85C13BD5D4F7DF06 Time : 0.0 sec. user=Beyond [2013-07-28 23:31:35] 633*2^1248235-1 is not prime. Res64: F023FC4F2E6AF2D7 Time : 0.0 sec. user=Beyond [2013-07-28 23:36:34] 1001*2^1248234-1 is not prime. Res64: 2A9FDB62D58E8207 Time : 0.0 sec. user=Beyond [2013-07-28 23:36:42] 783*2^1248235-1 is not prime. Res64: D5A4CEA26F01DED2 Time : 0.0 sec. user=Beyond [2013-07-28 23:39:58] 805*2^1248235-1 is not prime. Res64: 0F5A368914282EC4 Time : 0.0 sec. user=mdettweiler [2013-07-28 23:42:38] 647*2^1248236-1 is not prime. Res64: C91C9DAFAFCDC6F6 Time : 0.0 sec. user=mdettweiler [2013-07-28 23:42:38] 657*2^1248236-1 is not prime. Res64: C2B1F72A0130FED0 Time : 0.0 sec. user=mdettweiler [2013-07-28 23:43:12] 843*2^1248235-1 is not prime. Res64: 4E89698E5946171F Time : 0.0 sec. user=mdettweiler [2013-07-28 23:43:13] 961*2^1248235-1 is not prime. Res64: F7D0F6ED88FD1320 Time : 0.0 sec. user=Beyond [2013-07-28 23:45:31] 869*2^1248236-1 is not prime. Res64: 0EA839505B4AE0A3 Time : 0.0 sec. user=Beyond [2013-07-28 23:46:05] 909*2^1248236-1 is not prime. Res64: 9A62F686E7302ADC Time : 0.0 sec. user=Beyond [2013-07-28 23:48:05] 803*2^1248236-1 is not prime. Res64: DF45824A87FFB30F Time : 0.0 sec. user=mdettweiler [2013-07-28 23:49:40] 935*2^1248236-1 is not prime. Res64: 46158EE8A2B80E59 Time : 0.0 sec. user=mdettweiler [2013-07-28 23:49:40] 615*2^1248237-1 is not prime. Res64: BC5C52EAF912A981 Time : 0.0 sec. user=mdettweiler [2013-07-28 23:49:51] 639*2^1248237-1 is not prime. Res64: 38DE21F32D481E7E Time : 0.0 sec. user=mdettweiler [2013-07-28 23:49:51] 649*2^1248237-1 is not prime. Res64: 10FDAE82E9021456 Time : 0.0 sec. user=Beyond [2013-07-28 23:53:35] 781*2^1248237-1 is not prime. Res64: 6EC50279B1E51123 Time : 0.0 sec. user=Beyond [2013-07-28 23:53:51] 829*2^1248237-1 is not prime. Res64: A594BBCEE26B13F7 Time : 0.0 sec. user=Beyond [2013-07-28 23:56:13] 865*2^1248237-1 is not prime. Res64: AB2973FBB2D5FE96 Time : 0.0 sec. user=Beyond [2013-07-28 23:58:53] 837*2^1248237-1 is not prime. Res64: FAC1D3357053FC9F Time : 0.0 sec. user=Beyond [2013-07-28 23:59:28] 885*2^1248237-1 is not prime. Res64: A04BAD12CEDD62A3 Time : 0.0 sec.