user=mdettweiler [2012-10-31 00:12:36] 923*2^1233382-1 is not prime. Res64: 5CF871F2BB1F7B0E Time : 0.0 sec. user=mdettweiler [2012-10-31 00:12:38] 987*2^1233382-1 is not prime. Res64: 76C4A20DC353D99C Time : 0.0 sec. user=mdettweiler [2012-10-31 00:17:26] 621*2^1233383-1 is not prime. Res64: 73D80D9C4B7A7D8B Time : 0.0 sec. user=mdettweiler [2012-10-31 00:17:26] 771*2^1233383-1 is not prime. Res64: B560DD38642BB158 Time : 0.0 sec. user=vaughan [2012-10-31 00:22:56] 843*2^1233382-1 is not prime. Res64: F5718DF4441B4B0C Time : 0.0 sec. user=mdettweiler [2012-10-31 00:33:43] 963*2^1233383-1 is not prime. Res64: 339AAFCFA9626A71 Time : 0.0 sec. user=mdettweiler [2012-10-31 00:33:44] 623*2^1233384-1 is not prime. Res64: E54E0600276ED29F Time : 0.0 sec. user=mdettweiler [2012-10-31 00:38:24] 705*2^1233385-1 is not prime. Res64: 403FB52C16273C09 Time : 0.0 sec. user=mdettweiler [2012-10-31 00:38:24] 721*2^1233385-1 is not prime. Res64: 119AA42280062911 Time : 0.0 sec. user=mdettweiler [2012-10-31 00:54:30] 997*2^1233385-1 is not prime. Res64: DA7BFFF1D12D242C Time : 0.0 sec. user=mdettweiler [2012-10-31 00:54:30] 683*2^1233386-1 is not prime. Res64: 449E7349EB8FCFA1 Time : 0.0 sec. user=mdettweiler [2012-10-31 00:59:09] 743*2^1233386-1 is not prime. Res64: 846B4E3141B64523 Time : 0.0 sec. user=mdettweiler [2012-10-31 00:59:09] 827*2^1233386-1 is not prime. Res64: C202BFFA617B9099 Time : 0.0 sec. user=vaughan [2012-10-31 01:00:39] 759*2^1233385-1 is not prime. Res64: C011A7B00063E4C5 Time : 0.0 sec. user=mdettweiler [2012-10-31 01:15:15] 857*2^1233386-1 is not prime. Res64: A6CC46E3F4D98AC6 Time : 0.0 sec. user=mdettweiler [2012-10-31 01:15:17] 893*2^1233386-1 is not prime. Res64: 6CE92621E5FBBFED Time : 0.0 sec. user=mdettweiler [2012-10-31 01:19:54] 935*2^1233386-1 is not prime. Res64: 606EFE40A3A45084 Time : 0.0 sec. user=mdettweiler [2012-10-31 01:19:55] 1001*2^1233386-1 is not prime. Res64: CDED5B9EBF57638C Time : 0.0 sec. user=mdettweiler [2012-10-31 01:36:19] 891*2^1233387-1 is not prime. Res64: AE7DF3F169429CC5 Time : 0.0 sec. user=mdettweiler [2012-10-31 01:36:19] 963*2^1233387-1 is not prime. Res64: 2FFA1A23F2249ABA Time : 0.0 sec. user=vaughan [2012-10-31 01:38:20] 859*2^1233387-1 is not prime. Res64: 55F053ED01DB458F Time : 0.0 sec. user=mdettweiler [2012-10-31 01:40:41] 985*2^1233387-1 is not prime. Res64: 3D0BEBDE39F6EE21 Time : 0.0 sec. user=mdettweiler [2012-10-31 01:40:42] 687*2^1233388-1 is not prime. Res64: 0676E0A2C39D676A Time : 0.0 sec. user=mdettweiler [2012-10-31 01:57:28] 689*2^1233388-1 is not prime. Res64: A536A02127D7407F Time : 0.0 sec. user=mdettweiler [2012-10-31 01:57:29] 839*2^1233388-1 is not prime. Res64: F07675C6763EB845 Time : 0.0 sec. user=mdettweiler [2012-10-31 02:01:57] 655*2^1233389-1 is not prime. Res64: 94D6193A6FE7BC62 Time : 0.0 sec. user=mdettweiler [2012-10-31 02:01:57] 657*2^1233389-1 is not prime. Res64: 138920ABCD6EDC0F Time : 0.0 sec. user=vaughan [2012-10-31 02:16:02] 905*2^1233388-1 is not prime. Res64: A2A7E1ABD485EE6E Time : 0.0 sec. user=mdettweiler [2012-10-31 02:18:13] 729*2^1233389-1 is not prime. Res64: 77978D97A6475CF0 Time : 0.0 sec. user=mdettweiler [2012-10-31 02:18:14] 787*2^1233389-1 is not prime. Res64: AF9487EEB0D8E40A Time : 0.0 sec. user=mdettweiler [2012-10-31 02:22:43] 847*2^1233389-1 is not prime. Res64: 8B90F9DD272EE498 Time : 0.0 sec. user=mdettweiler [2012-10-31 02:22:43] 867*2^1233389-1 is not prime. Res64: 883A70AED6C509CE Time : 0.0 sec. user=mdettweiler [2012-10-31 02:38:59] 641*2^1233390-1 is not prime. Res64: E3A84B0FB7AA2E3C Time : 0.0 sec. user=mdettweiler [2012-10-31 02:39:01] 671*2^1233390-1 is not prime. Res64: 3DC9AA68B524C970 Time : 0.0 sec. user=mdettweiler [2012-10-31 02:43:28] 677*2^1233390-1 is not prime. Res64: 427EFD6827ADE5B5 Time : 0.0 sec. user=mdettweiler [2012-10-31 02:43:30] 681*2^1233390-1 is not prime. Res64: 50C232783A321199 Time : 0.0 sec. user=vaughan [2012-10-31 02:53:48] 889*2^1233389-1 is not prime. Res64: 2B53D49489C2BB21 Time : 0.0 sec. user=mdettweiler [2012-10-31 03:00:00] 695*2^1233390-1 is not prime. Res64: C466410C53A3C5F8 Time : 0.0 sec. user=mdettweiler [2012-10-31 03:00:03] 833*2^1233390-1 is not prime. Res64: F6CF840F30F906D0 Time : 0.0 sec. user=mdettweiler [2012-10-31 03:04:29] 891*2^1233390-1 is not prime. Res64: 43A2E929AB358177 Time : 0.0 sec. user=mdettweiler [2012-10-31 03:04:32] 681*2^1233391-1 is not prime. Res64: FA6A330511DF92EE Time : 0.0 sec. user=mdettweiler [2012-10-31 03:21:12] 745*2^1233391-1 is not prime. Res64: 1D7968E04F793DB7 Time : 0.0 sec. user=mdettweiler [2012-10-31 03:21:13] 805*2^1233391-1 is not prime. Res64: B566AEA548BB3B9E Time : 0.0 sec. user=mdettweiler [2012-10-31 03:25:53] 829*2^1233391-1 is not prime. Res64: D130785878FA1514 Time : 0.0 sec. user=mdettweiler [2012-10-31 03:25:54] 871*2^1233391-1 is not prime. Res64: 76FA0C9C528D01CF Time : 0.0 sec. user=vaughan [2012-10-31 03:31:37] 723*2^1233391-1 is not prime. Res64: 55B8D4683742DBFB Time : 0.0 sec. user=mdettweiler [2012-10-31 03:42:00] 931*2^1233391-1 is not prime. Res64: ED4476C8C6412D34 Time : 0.0 sec. user=mdettweiler [2012-10-31 03:42:00] 939*2^1233391-1 is not prime. Res64: 880D9C186C7DE1EA Time : 0.0 sec. user=mdettweiler [2012-10-31 03:46:37] 975*2^1233391-1 is not prime. Res64: 9666386AB300BC3F Time : 0.0 sec. user=mdettweiler [2012-10-31 03:46:37] 603*2^1233392-1 is not prime. Res64: AD56C52463683891 Time : 0.0 sec. user=mdettweiler [2012-10-31 04:02:49] 693*2^1233392-1 is not prime. Res64: 9095D24FB7E6E18D Time : 0.0 sec. user=mdettweiler [2012-10-31 04:02:50] 735*2^1233392-1 is not prime. Res64: 0AB66230521EDF86 Time : 0.0 sec. user=mdettweiler [2012-10-31 04:07:20] 797*2^1233392-1 is not prime. Res64: E786BFCF1C103F20 Time : 0.0 sec. user=mdettweiler [2012-10-31 04:07:22] 903*2^1233392-1 is not prime. Res64: C9B809677206595B Time : 0.0 sec. user=vaughan [2012-10-31 04:09:28] 617*2^1233392-1 is not prime. Res64: 7F03202777C5A1D1 Time : 0.0 sec. user=mdettweiler [2012-10-31 04:23:38] 977*2^1233392-1 is not prime. Res64: ED4248B5A9A8D9D0 Time : 0.0 sec. user=mdettweiler [2012-10-31 04:23:39] 607*2^1233393-1 is not prime. Res64: 950D7443630A3CDC Time : 0.0 sec. user=mdettweiler [2012-10-31 04:28:09] 681*2^1233393-1 is not prime. Res64: 6957C3D0D5340A1B Time : 0.0 sec. user=mdettweiler [2012-10-31 04:28:10] 705*2^1233393-1 is not prime. Res64: F263624796BC8650 Time : 0.0 sec. user=mdettweiler [2012-10-31 04:44:26] 747*2^1233394-1 is not prime. Res64: 8D9F3A57E7AAABCA Time : 0.0 sec. user=mdettweiler [2012-10-31 04:44:27] 785*2^1233394-1 is not prime. Res64: DDA63013AC2C973B Time : 0.0 sec. user=vaughan [2012-10-31 04:47:18] 877*2^1233393-1 is not prime. Res64: 4BC093C2B7B48DD1 Time : 0.0 sec. user=mdettweiler [2012-10-31 04:48:54] 947*2^1233394-1 is not prime. Res64: C4A4F638AE0DC231 Time : 0.0 sec. user=mdettweiler [2012-10-31 04:48:55] 975*2^1233394-1 is not prime. Res64: 1485D3C1CD677887 Time : 0.0 sec. user=mdettweiler [2012-10-31 05:05:14] 673*2^1233395-1 is not prime. Res64: 2798868C921C235C Time : 0.0 sec. user=mdettweiler [2012-10-31 05:05:16] 859*2^1233395-1 is not prime. Res64: 3F81D0C9113F1457 Time : 0.0 sec. user=mdettweiler [2012-10-31 05:09:41] 639*2^1233396-1 is not prime. Res64: 6BEF168308B232E8 Time : 0.0 sec. user=mdettweiler [2012-10-31 05:09:42] 675*2^1233396-1 is not prime. Res64: 6C3B9EFEAA1E8DF7 Time : 0.0 sec. user=vaughan [2012-10-31 05:24:59] 979*2^1233395-1 is not prime. Res64: 377911882313D007 Time : 0.0 sec. user=mdettweiler [2012-10-31 05:26:07] 699*2^1233396-1 is not prime. Res64: 1D3CF299ED456EAA Time : 0.0 sec. user=mdettweiler [2012-10-31 05:26:07] 767*2^1233396-1 is not prime. Res64: 7F63D4F4B6C871F4 Time : 0.0 sec. user=mdettweiler [2012-10-31 05:30:27] 777*2^1233396-1 is not prime. Res64: B7FB54686AE9D713 Time : 0.0 sec. user=mdettweiler [2012-10-31 05:30:27] 825*2^1233396-1 is not prime. Res64: 256C6C5EC1F76FC1 Time : 0.0 sec. user=mdettweiler [2012-10-31 05:46:51] 933*2^1233396-1 is not prime. Res64: AF7583A4D607D894 Time : 0.0 sec. user=mdettweiler [2012-10-31 05:46:52] 993*2^1233396-1 is not prime. Res64: E6BCB94BEC170073 Time : 0.0 sec. user=mdettweiler [2012-10-31 05:51:12] 619*2^1233397-1 is not prime. Res64: BA6B7F4ACF83E048 Time : 0.0 sec. user=mdettweiler [2012-10-31 05:51:13] 661*2^1233397-1 is not prime. Res64: 61CA8047431E13FA Time : 0.0 sec. user=vaughan [2012-10-31 06:02:42] 903*2^1233396-1 is not prime. Res64: 2C8968715555AC54 Time : 0.0 sec. user=mdettweiler [2012-10-31 06:07:35] 817*2^1233397-1 is not prime. Res64: C55A47767E2780AE Time : 0.0 sec. user=mdettweiler [2012-10-31 06:07:36] 819*2^1233397-1 is not prime. Res64: D52BB9C7D8BCE052 Time : 0.0 sec. user=mdettweiler [2012-10-31 06:11:58] 859*2^1233397-1 is not prime. Res64: 0EDB98187144C289 Time : 0.0 sec. user=mdettweiler [2012-10-31 06:11:59] 915*2^1233397-1 is not prime. Res64: 92C6457687C8A585 Time : 0.0 sec. user=mdettweiler [2012-10-31 06:28:20] 975*2^1233397-1 is not prime. Res64: 2FA6988A524777B3 Time : 0.0 sec. user=mdettweiler [2012-10-31 06:28:21] 603*2^1233398-1 is not prime. Res64: 64FC2B4DE9B324F1 Time : 0.0 sec. user=mdettweiler [2012-10-31 06:32:51] 827*2^1233398-1 is not prime. Res64: 375C4DFAFB6CD65C Time : 0.0 sec. user=mdettweiler [2012-10-31 06:32:51] 833*2^1233398-1 is not prime. Res64: 2C4BEDDEC1EDF249 Time : 0.0 sec. user=vaughan [2012-10-31 06:40:32] 955*2^1233397-1 is not prime. Res64: D0D751C1F10EBEDC Time : 0.0 sec. user=mdettweiler [2012-10-31 06:49:05] 843*2^1233398-1 is not prime. Res64: C756C9326298E1B7 Time : 0.0 sec. user=mdettweiler [2012-10-31 06:49:05] 887*2^1233398-1 is not prime. Res64: 82EB211D9B7DD073 Time : 0.0 sec. user=mdettweiler [2012-10-31 06:53:37] 995*2^1233398-1 is not prime. Res64: 256DB7EB333F80E6 Time : 0.0 sec. user=mdettweiler [2012-10-31 06:53:37] 679*2^1233399-1 is not prime. Res64: 8BF875FE1545FA5E Time : 0.0 sec. user=mdettweiler [2012-10-31 07:09:50] 735*2^1233399-1 is not prime. Res64: F05FF02B362CAABF Time : 0.0 sec. user=mdettweiler [2012-10-31 07:09:52] 751*2^1233399-1 is not prime. Res64: 388E84663947AFB9 Time : 0.0 sec. user=mdettweiler [2012-10-31 07:14:20] 919*2^1233399-1 is not prime. Res64: 76DF7F604F74C748 Time : 0.0 sec. user=mdettweiler [2012-10-31 07:14:23] 985*2^1233399-1 is not prime. Res64: 3AE62FB2BB442B8D Time : 0.0 sec. user=vaughan [2012-10-31 07:18:14] 685*2^1233399-1 is not prime. Res64: 932A1910B754C922 Time : 0.0 sec. user=mdettweiler [2012-10-31 07:30:47] 999*2^1233399-1 is not prime. Res64: C2A7631DDF9FD3B4 Time : 0.0 sec. user=mdettweiler [2012-10-31 07:30:47] 675*2^1233400-1 is not prime. Res64: 4E5F262110946905 Time : 0.0 sec. user=mdettweiler [2012-10-31 07:35:11] 687*2^1233400-1 is not prime. Res64: 15F513FD7CF9AA1F Time : 0.0 sec. user=mdettweiler [2012-10-31 07:35:11] 743*2^1233400-1 is not prime. Res64: 91CC1D3A406195D9 Time : 0.0 sec. user=mdettweiler [2012-10-31 07:51:32] 819*2^1233400-1 is not prime. Res64: FEA46326D3D27928 Time : 0.0 sec. user=mdettweiler [2012-10-31 07:51:32] 843*2^1233400-1 is not prime. Res64: 41D93914D04DBDDD Time : 0.0 sec. user=mdettweiler [2012-10-31 07:55:55] 873*2^1233400-1 is not prime. Res64: DA7526EB23E92111 Time : 0.0 sec. user=mdettweiler [2012-10-31 07:55:55] 887*2^1233400-1 is not prime. Res64: 8DEE97EB43E9187B Time : 0.0 sec. user=vaughan [2012-10-31 07:56:03] 797*2^1233400-1 is not prime. Res64: 0F445A53833072ED Time : 0.0 sec. user=mdettweiler [2012-10-31 08:12:17] 917*2^1233400-1 is not prime. Res64: E05BD2DD68785D38 Time : 0.0 sec. user=mdettweiler [2012-10-31 08:12:19] 933*2^1233400-1 is not prime. Res64: 4D72A653A97E5868 Time : 0.0 sec. user=mdettweiler [2012-10-31 08:16:39] 685*2^1233401-1 is not prime. Res64: 13A732FA1C964664 Time : 0.0 sec. user=mdettweiler [2012-10-31 08:16:45] 745*2^1233401-1 is not prime. Res64: 084598163581B5A9 Time : 0.0 sec. user=mdettweiler [2012-10-31 08:33:22] 723*2^1233402-1 is not prime. Res64: 4DC759CAFAA75D63 Time : 0.0 sec. user=mdettweiler [2012-10-31 08:33:23] 917*2^1233402-1 is not prime. Res64: CF1371DB062FBF46 Time : 0.0 sec. user=vaughan [2012-10-31 08:33:49] 681*2^1233402-1 is not prime. Res64: AB4FBD4712140362 Time : 0.0 sec. user=mdettweiler [2012-10-31 08:37:53] 951*2^1233402-1 is not prime. Res64: 7918CB225568EE4C Time : 0.0 sec. user=mdettweiler [2012-10-31 08:37:54] 639*2^1233403-1 is not prime. Res64: 7322DD2A603EE52C Time : 0.0 sec. user=mdettweiler [2012-10-31 08:54:06] 735*2^1233403-1 is not prime. Res64: BA753F2371231E5D Time : 0.0 sec. user=mdettweiler [2012-10-31 08:54:06] 751*2^1233403-1 is not prime. Res64: 51C684430ECFBAF1 Time : 0.0 sec. user=mdettweiler [2012-10-31 08:58:37] 819*2^1233403-1 is not prime. Res64: 96A8FFA2BF20F399 Time : 0.0 sec. user=mdettweiler [2012-10-31 08:58:38] 849*2^1233403-1 is not prime. Res64: 985DE3E867BE00EC Time : 0.0 sec. user=vaughan [2012-10-31 09:11:29] 811*2^1233403-1 is not prime. Res64: F6C9AADEBB77EEFA Time : 0.0 sec. user=mdettweiler [2012-10-31 09:14:51] 891*2^1233403-1 is not prime. Res64: 0FAD6663C4C36992 Time : 0.0 sec. user=mdettweiler [2012-10-31 09:14:53] 951*2^1233403-1 is not prime. Res64: 2CBB7C2B1E1B8B9D Time : 0.0 sec. user=mdettweiler [2012-10-31 09:19:21] 985*2^1233403-1 is not prime. Res64: 7E0F0AFF0FB4EB18 Time : 0.0 sec. user=mdettweiler [2012-10-31 09:19:22] 999*2^1233403-1 is not prime. Res64: DD4B26DBDBEB64F6 Time : 0.0 sec. user=mdettweiler [2012-10-31 09:35:39] 677*2^1233404-1 is not prime. Res64: BF7304C66158066F Time : 0.0 sec. user=mdettweiler [2012-10-31 09:35:39] 717*2^1233404-1 is not prime. Res64: EE338174554FE9E0 Time : 0.0 sec. user=mdettweiler [2012-10-31 09:40:09] 843*2^1233404-1 is not prime. Res64: 44A5B76904ACAF21 Time : 0.0 sec. user=mdettweiler [2012-10-31 09:40:09] 909*2^1233404-1 is not prime. Res64: F17C515C38969D64 Time : 0.0 sec. user=vaughan [2012-10-31 09:49:14] 675*2^1233404-1 is not prime. Res64: 716E1A885E7A2036 Time : 0.0 sec. user=mdettweiler [2012-10-31 09:56:23] 651*2^1233405-1 is not prime. Res64: 8DF4151D9A532538 Time : 0.0 sec. user=mdettweiler [2012-10-31 09:56:24] 667*2^1233405-1 is not prime. Res64: 124366A8C8319533 Time : 0.0 sec. user=mdettweiler [2012-10-31 10:00:55] 679*2^1233405-1 is not prime. Res64: F1ED3B474DC6478D Time : 0.0 sec. user=mdettweiler [2012-10-31 10:00:56] 811*2^1233405-1 is not prime. Res64: 14DAF5EE106FF79A Time : 0.0 sec. user=mdettweiler [2012-10-31 10:17:08] 723*2^1233406-1 is not prime. Res64: FBF3C97EBE085A50 Time : 0.0 sec. user=mdettweiler [2012-10-31 10:17:11] 821*2^1233406-1 is not prime. Res64: E15CEC716B33A3D7 Time : 0.0 sec. user=mdettweiler [2012-10-31 10:21:41] 867*2^1233406-1 is not prime. Res64: 54E63397ED7A0483 Time : 0.0 sec. user=mdettweiler [2012-10-31 10:21:42] 971*2^1233406-1 is not prime. Res64: 5720ADBAEB502D5E Time : 0.0 sec. user=vaughan [2012-10-31 10:26:57] 713*2^1233406-1 is not prime. Res64: 04908DFBD669D0D2 Time : 0.0 sec. user=mdettweiler [2012-10-31 10:38:14] 609*2^1233407-1 is not prime. Res64: 29D36CF8F95E7D71 Time : 0.0 sec. user=mdettweiler [2012-10-31 10:38:14] 651*2^1233407-1 is not prime. Res64: FCCCC39213956888 Time : 0.0 sec. user=mdettweiler [2012-10-31 10:42:26] 693*2^1233407-1 is not prime. Res64: B429C1153586B153 Time : 0.0 sec. user=mdettweiler [2012-10-31 10:42:27] 741*2^1233407-1 is not prime. Res64: 0CAC77774A9555E9 Time : 0.0 sec. user=mdettweiler [2012-10-31 10:58:59] 663*2^1233408-1 is not prime. Res64: 5F4CECFCDD31946B Time : 0.0 sec. user=mdettweiler [2012-10-31 10:58:59] 669*2^1233408-1 is not prime. Res64: 646A68B8C23A45CA Time : 0.0 sec. user=mdettweiler [2012-10-31 11:03:10] 927*2^1233408-1 is not prime. Res64: 90812992076B1E60 Time : 0.0 sec. user=mdettweiler [2012-10-31 11:03:11] 747*2^1233409-1 is not prime. Res64: 544A2D743CD83308 Time : 0.0 sec. user=vaughan [2012-10-31 11:04:37] 979*2^1233407-1 is not prime. Res64: 42CC70207F77A049 Time : 0.0 sec. user=mdettweiler [2012-10-31 11:19:43] 789*2^1233409-1 is not prime. Res64: 27B848E00E53FFE7 Time : 0.0 sec. user=mdettweiler [2012-10-31 11:19:44] 841*2^1233409-1 is not prime. Res64: AAF43DDCA6175000 Time : 0.0 sec. user=mdettweiler [2012-10-31 11:23:55] 855*2^1233409-1 is not prime. Res64: 377207655FD023AF Time : 0.0 sec. user=mdettweiler [2012-10-31 11:23:56] 885*2^1233409-1 is not prime. Res64: B0719D58B3671879 Time : 0.0 sec. user=mdettweiler [2012-10-31 11:40:30] 931*2^1233409-1 is not prime. Res64: C9FFD2BAD97347F4 Time : 0.0 sec. user=mdettweiler [2012-10-31 11:40:30] 999*2^1233409-1 is not prime. Res64: 34203CA724C3D3F2 Time : 0.0 sec. user=vaughan [2012-10-31 11:42:22] 895*2^1233409-1 is not prime. Res64: 6FA212B3C41B14B4 Time : 0.0 sec. user=mdettweiler [2012-10-31 11:44:39] 665*2^1233410-1 is not prime. Res64: 5A6511EE80E45ED8 Time : 0.0 sec. user=mdettweiler [2012-10-31 11:44:40] 731*2^1233410-1 is not prime. Res64: 04AD475C2B25A201 Time : 0.0 sec. user=mdettweiler [2012-10-31 12:01:15] 735*2^1233410-1 is not prime. Res64: C7E3CF5962BF7579 Time : 0.0 sec. user=mdettweiler [2012-10-31 12:01:15] 987*2^1233410-1 is not prime. Res64: 1D9C71389579EA95 Time : 0.0 sec. user=mdettweiler [2012-10-31 12:05:23] 705*2^1233411-1 is not prime. Res64: D3B7AA1C68C8F8F7 Time : 0.0 sec. user=mdettweiler [2012-10-31 12:05:24] 723*2^1233411-1 is not prime. Res64: 3C3E7F66E20AA8D7 Time : 0.0 sec. user=vaughan [2012-10-31 12:20:06] 625*2^1233411-1 is not prime. Res64: 93F6FF707E100F36 Time : 0.0 sec. user=mdettweiler [2012-10-31 12:22:08] 903*2^1233411-1 is not prime. Res64: 68756936A1D91224 Time : 0.0 sec. user=mdettweiler [2012-10-31 12:22:09] 909*2^1233411-1 is not prime. Res64: 2A8C1BF5607D444D Time : 0.0 sec. user=mdettweiler [2012-10-31 12:26:12] 921*2^1233411-1 is not prime. Res64: EA46479D800D0240 Time : 0.0 sec. user=mdettweiler [2012-10-31 12:26:12] 955*2^1233411-1 is not prime. Res64: D1CD5DFD82EE387A Time : 0.0 sec. user=mdettweiler [2012-10-31 12:42:52] 717*2^1233412-1 is not prime. Res64: DB0945548FF0685C Time : 0.0 sec. user=mdettweiler [2012-10-31 12:42:53] 819*2^1233412-1 is not prime. Res64: 4503E3475044BC60 Time : 0.0 sec. user=mdettweiler [2012-10-31 12:46:57] 899*2^1233412-1 is not prime. Res64: CDA52F39910F312B Time : 0.0 sec. user=mdettweiler [2012-10-31 12:46:57] 923*2^1233412-1 is not prime. Res64: CA74EE3A94504645 Time : 0.0 sec. user=vaughan [2012-10-31 12:57:50] 675*2^1233412-1 is not prime. Res64: FEDDC9B449CA03EA Time : 0.0 sec. user=mdettweiler [2012-10-31 13:03:38] 631*2^1233413-1 is not prime. Res64: AA72175903F5D004 Time : 0.0 sec. user=mdettweiler [2012-10-31 13:03:38] 649*2^1233413-1 is not prime. Res64: 40F605ABFC33D8EA Time : 0.0 sec. user=mdettweiler [2012-10-31 13:07:41] 675*2^1233413-1 is not prime. Res64: DBB38419EB929BA8 Time : 0.0 sec. user=mdettweiler [2012-10-31 13:07:42] 691*2^1233413-1 is not prime. Res64: 15F3EF13FBDBC726 Time : 0.0 sec. user=mdettweiler [2012-10-31 13:24:26] 859*2^1233413-1 is not prime. Res64: 4A22C859B1BCE667 Time : 0.0 sec. user=mdettweiler [2012-10-31 13:24:27] 949*2^1233413-1 is not prime. Res64: 651C3E216081DDD7 Time : 0.0 sec. user=mdettweiler [2012-10-31 13:28:29] 711*2^1233414-1 is not prime. Res64: 8C1E1243FDD339E4 Time : 0.0 sec. user=mdettweiler [2012-10-31 13:28:29] 765*2^1233414-1 is not prime. Res64: 9CFFB5D67298B0A4 Time : 0.0 sec. user=vaughan [2012-10-31 13:35:30] 735*2^1233413-1 is not prime. Res64: C61942BB30EC543A Time : 0.0 sec. user=mdettweiler [2012-10-31 13:45:14] 917*2^1233414-1 is not prime. Res64: 51C11C953D25B7A1 Time : 0.0 sec. user=mdettweiler [2012-10-31 13:45:15] 603*2^1233415-1 is not prime. Res64: 080A471A75F0EFCE Time : 0.0 sec. user=mdettweiler [2012-10-31 13:49:14] 645*2^1233415-1 is not prime. Res64: DC60AD69DF67D6D2 Time : 0.0 sec. user=mdettweiler [2012-10-31 13:49:14] 661*2^1233415-1 is not prime. Res64: 4C9AC54C1EF05CB5 Time : 0.0 sec. user=mdettweiler [2012-10-31 14:06:00] 723*2^1233415-1 is not prime. Res64: 2752B29405B80402 Time : 0.0 sec. user=mdettweiler [2012-10-31 14:06:02] 735*2^1233415-1 is not prime. Res64: 7CFC7DBA869FCBE7 Time : 0.0 sec. user=mdettweiler [2012-10-31 14:09:58] 759*2^1233415-1 is not prime. Res64: D13F4FAF487799C2 Time : 0.0 sec. user=mdettweiler [2012-10-31 14:09:59] 919*2^1233415-1 is not prime. Res64: EF2D38D689E92D26 Time : 0.0 sec. user=vaughan [2012-10-31 14:13:16] 673*2^1233415-1 is not prime. Res64: B48FEF7D4FC8EDED Time : 0.0 sec. user=mdettweiler [2012-10-31 14:26:53] 973*2^1233415-1 is not prime. Res64: D2208AF473BA034F Time : 0.0 sec. user=mdettweiler [2012-10-31 14:26:53] 609*2^1233416-1 is not prime. Res64: A17B64CAD9AE2EEB Time : 0.0 sec. user=mdettweiler [2012-10-31 14:30:46] 677*2^1233416-1 is not prime. Res64: 8D2F284A89F1F465 Time : 0.0 sec. user=mdettweiler [2012-10-31 14:30:46] 789*2^1233416-1 is not prime. Res64: 3AB59305D83F20C5 Time : 0.0 sec. user=mdettweiler [2012-10-31 14:47:40] 999*2^1233416-1 is not prime. Res64: 0BF89138ABCB75F3 Time : 0.0 sec. user=mdettweiler [2012-10-31 14:47:40] 607*2^1233417-1 is not prime. Res64: 042D8CA9DCF7D4C0 Time : 0.0 sec. user=vaughan [2012-10-31 14:51:02] 825*2^1233416-1 is not prime. Res64: D9E063951B2C7382 Time : 0.0 sec. user=mdettweiler [2012-10-31 14:51:31] 759*2^1233417-1 is not prime. Res64: D62EF5B7142C4ADD Time : 0.0 sec. user=mdettweiler [2012-10-31 14:51:31] 765*2^1233417-1 is not prime. Res64: ADC8E54451EA44F9 Time : 0.0 sec. user=mdettweiler [2012-10-31 15:08:25] 781*2^1233417-1 is not prime. Res64: 7CC3F36053A1B0E1 Time : 0.0 sec. user=mdettweiler [2012-10-31 15:08:27] 865*2^1233417-1 is not prime. Res64: 2CCD1B93AC8592DB Time : 0.0 sec. user=mdettweiler [2012-10-31 15:12:16] 743*2^1233418-1 is not prime. Res64: 5A5D6C8451685118 Time : 0.0 sec. user=mdettweiler [2012-10-31 15:12:17] 845*2^1233418-1 is not prime. Res64: 0DDB688449529B4B Time : 0.0 sec. user=vaughan [2012-10-31 15:28:43] 603*2^1233418-1 is not prime. Res64: 9F9D10258E93439A Time : 0.0 sec. user=mdettweiler [2012-10-31 15:29:18] 867*2^1233418-1 is not prime. Res64: 6579566FF0AD6322 Time : 0.0 sec. user=mdettweiler [2012-10-31 15:29:19] 685*2^1233419-1 is not prime. Res64: CE56BA409477B0D2 Time : 0.0 sec. user=mdettweiler [2012-10-31 15:33:04] 705*2^1233419-1 is not prime. Res64: E6FE12FC28EFBF21 Time : 0.0 sec. user=mdettweiler [2012-10-31 15:33:04] 823*2^1233419-1 is not prime. Res64: 8205935D78638D90 Time : 0.0 sec. user=mdettweiler [2012-10-31 15:50:03] 853*2^1233419-1 is not prime. Res64: F1BE8649FA57426B Time : 0.0 sec. user=mdettweiler [2012-10-31 15:50:03] 861*2^1233419-1 is not prime. Res64: EC2D906FBB1DB30D Time : 0.0 sec. user=mdettweiler [2012-10-31 15:53:49] 885*2^1233419-1 is not prime. Res64: 3F9B5169283436CF Time : 0.0 sec. user=mdettweiler [2012-10-31 15:53:50] 979*2^1233419-1 is not prime. Res64: 1F43BC12EA49405A Time : 0.0 sec. user=vaughan [2012-10-31 16:06:26] 825*2^1233419-1 is not prime. Res64: 78D87A6545BF5A34 Time : 0.0 sec. user=mdettweiler [2012-10-31 16:10:50] 609*2^1233420-1 is not prime. Res64: 83276BA41C04BBEF Time : 0.0 sec. user=mdettweiler [2012-10-31 16:10:52] 689*2^1233420-1 is not prime. Res64: AEDCFA11B0D617EA Time : 0.0 sec. user=mdettweiler [2012-10-31 16:14:37] 759*2^1233420-1 is not prime. Res64: 0FF224D46EAC7E4F Time : 0.0 sec. user=mdettweiler [2012-10-31 16:14:42] 783*2^1233420-1 is not prime. Res64: 2E279D1D720B910F Time : 0.0 sec. user=mdettweiler [2012-10-31 16:31:47] 797*2^1233420-1 is not prime. Res64: D23B71F174252279 Time : 0.0 sec. user=mdettweiler [2012-10-31 16:31:48] 825*2^1233420-1 is not prime. Res64: 3AED401F82C04B96 Time : 0.0 sec. user=mdettweiler [2012-10-31 16:36:04] 857*2^1233420-1 is not prime. Res64: D8F63EE62326860A Time : 0.0 sec. user=mdettweiler [2012-10-31 16:36:05] 875*2^1233420-1 is not prime. Res64: 919E26460A98B127 Time : 0.0 sec. user=vaughan [2012-10-31 16:44:12] 789*2^1233420-1 is not prime. Res64: 8C4FADE99FFD7927 Time : 0.0 sec. user=mdettweiler [2012-10-31 16:53:19] 879*2^1233420-1 is not prime. Res64: 1C86D8BA575F3EDF Time : 0.0 sec. user=mdettweiler [2012-10-31 16:53:20] 927*2^1233420-1 is not prime. Res64: DF252857DDCAE989 Time : 0.0 sec. user=mdettweiler [2012-10-31 16:57:43] 741*2^1233421-1 is not prime. Res64: 01105148A91266AD Time : 0.0 sec. user=mdettweiler [2012-10-31 16:57:43] 937*2^1233421-1 is not prime. Res64: 4CF63F0E8C5A1B7F Time : 0.0 sec. user=mdettweiler [2012-10-31 17:14:48] 683*2^1233422-1 is not prime. Res64: 807C48E4F9F984B1 Time : 0.0 sec. user=mdettweiler [2012-10-31 17:14:52] 705*2^1233422-1 is not prime. Res64: 9DB27F3947E0F612 Time : 0.0 sec. user=mdettweiler [2012-10-31 17:19:08] 747*2^1233422-1 is not prime. Res64: 2A94884956575D6A Time : 0.0 sec. user=mdettweiler [2012-10-31 17:19:08] 767*2^1233422-1 is not prime. Res64: 3B6A6CEB6A2F086D Time : 0.0 sec. user=vaughan [2012-10-31 17:21:50] 987*2^1233421-1 is not prime. Res64: 4D8AF28D0A7FEC93 Time : 0.0 sec. user=mdettweiler [2012-10-31 17:36:46] 873*2^1233422-1 is not prime. Res64: 4C16D9E200EE968D Time : 0.0 sec. user=mdettweiler [2012-10-31 17:36:46] 911*2^1233422-1 is not prime. Res64: CBA8C85A4CEDB30A Time : 0.0 sec. user=mdettweiler [2012-10-31 17:40:48] 675*2^1233423-1 is not prime. Res64: 8E8BE7B0270295AB Time : 0.0 sec. user=mdettweiler [2012-10-31 17:40:48] 691*2^1233423-1 is not prime. Res64: 4578386CC6D6A56A Time : 0.0 sec. user=mdettweiler [2012-10-31 17:58:36] 783*2^1233423-1 is not prime. Res64: 94089E5C607DB650 Time : 0.0 sec. user=mdettweiler [2012-10-31 17:58:36] 861*2^1233423-1 is not prime. Res64: 42BABC7249ED69A6 Time : 0.0 sec. user=vaughan [2012-10-31 17:59:31] 769*2^1233423-1 is not prime. Res64: 5DCEE47403CAE8BA Time : 0.0 sec. user=mdettweiler [2012-10-31 18:03:21] 891*2^1233423-1 is not prime. Res64: D6396869C9F5F8F2 Time : 0.0 sec. user=mdettweiler [2012-10-31 18:03:23] 657*2^1233424-1 is not prime. Res64: CAD8A22484A4A0A8 Time : 0.0 sec. user=mdettweiler [2012-10-31 18:20:37] 803*2^1233424-1 is not prime. Res64: 374811AD361EA47D Time : 0.0 sec. user=mdettweiler [2012-10-31 18:20:37] 897*2^1233424-1 is not prime. Res64: 530DCD67AA88CABF Time : 0.0 sec. user=mdettweiler [2012-10-31 18:24:58] 975*2^1233424-1 is not prime. Res64: 89152291D483FDCF Time : 0.0 sec. user=mdettweiler [2012-10-31 18:24:59] 691*2^1233425-1 is not prime. Res64: 31A06F0DC006931C Time : 0.0 sec. user=vaughan [2012-10-31 18:37:16] 969*2^1233424-1 is not prime. Res64: 0EB4BD68B4765A23 Time : 0.0 sec. user=mdettweiler [2012-10-31 18:42:14] 795*2^1233425-1 is not prime. Res64: 7E9F137D5880AEA3 Time : 0.0 sec. user=mdettweiler [2012-10-31 18:42:14] 801*2^1233425-1 is not prime. Res64: 7368C16C5BA2CE3C Time : 0.0 sec. user=mdettweiler [2012-10-31 18:46:56] 805*2^1233425-1 is not prime. Res64: 33301B2844FBB5A7 Time : 0.0 sec. user=mdettweiler [2012-10-31 18:46:56] 937*2^1233425-1 is not prime. Res64: 0FAED0855A3450B4 Time : 0.0 sec. user=mdettweiler [2012-10-31 19:04:01] 711*2^1233426-1 is not prime. Res64: B253F2DEEDD29566 Time : 0.0 sec. user=mdettweiler [2012-10-31 19:04:02] 713*2^1233426-1 is not prime. Res64: 097ECF0C6B8C7332 Time : 0.0 sec. user=mdettweiler [2012-10-31 19:08:20] 873*2^1233426-1 is not prime. Res64: A269B15AD6A8CD0A Time : 0.0 sec. user=mdettweiler [2012-10-31 19:08:21] 975*2^1233426-1 is not prime. Res64: 3E613A597235ABA3 Time : 0.0 sec. user=vaughan [2012-10-31 19:15:01] 705*2^1233426-1 is not prime. Res64: AA101AFF08AC176C Time : 0.0 sec. user=mdettweiler [2012-10-31 19:25:33] 639*2^1233427-1 is not prime. Res64: 13F08F1BC7FDE0A4 Time : 0.0 sec. user=mdettweiler [2012-10-31 19:25:34] 645*2^1233427-1 is not prime. Res64: 42C0CF70A961CDAC Time : 0.0 sec. user=mdettweiler [2012-10-31 19:29:43] 715*2^1233427-1 is not prime. Res64: 8A56ABAA5514DDD4 Time : 0.0 sec. user=mdettweiler [2012-10-31 19:29:43] 805*2^1233427-1 is not prime. Res64: BBA932DA89FED0EF Time : 0.0 sec. user=mdettweiler [2012-10-31 19:47:19] 985*2^1233427-1 is not prime. Res64: F00736EA61CFA8BB Time : 0.0 sec. user=mdettweiler [2012-10-31 19:47:20] 953*2^1233428-1 is not prime. Res64: BDB444E1CE86CAA0 Time : 0.0 sec. user=mdettweiler [2012-10-31 19:51:07] 957*2^1233428-1 is not prime. Res64: 92CE20539E540A63 Time : 0.0 sec. user=mdettweiler [2012-10-31 19:51:08] 649*2^1233429-1 is not prime. Res64: 112E04C41FF00B5F Time : 0.0 sec. user=vaughan [2012-10-31 19:53:11] 909*2^1233427-1 is not prime. Res64: 28E969498B8897E4 Time : 0.0 sec. user=mdettweiler [2012-10-31 20:08:08] 655*2^1233429-1 is not prime. Res64: 97CDB3C156C89F02 Time : 0.0 sec. user=mdettweiler [2012-10-31 20:08:10] 709*2^1233429-1 is not prime. Res64: 6C4673BCACB91E24 Time : 0.0 sec. user=mdettweiler [2012-10-31 20:11:53] 721*2^1233429-1 is not prime. Res64: D3EB3BA17FBC2950 Time : 0.0 sec. user=mdettweiler [2012-10-31 20:11:55] 847*2^1233429-1 is not prime. Res64: 0A8ABCFFA5785411 Time : 0.0 sec. user=mdettweiler [2012-10-31 20:28:58] 877*2^1233429-1 is not prime. Res64: 2C843569C2EE41DE Time : 0.0 sec. user=mdettweiler [2012-10-31 20:28:59] 955*2^1233429-1 is not prime. Res64: 57EE9817A3F2C7CB Time : 0.0 sec. user=vaughan [2012-10-31 20:30:53] 867*2^1233429-1 is not prime. Res64: D9D1F67482962129 Time : 0.0 sec. user=mdettweiler [2012-10-31 20:32:47] 765*2^1233430-1 is not prime. Res64: D8CDF67E11679FB9 Time : 0.0 sec. user=mdettweiler [2012-10-31 20:32:47] 791*2^1233430-1 is not prime. Res64: 398C7B1DC4281728 Time : 0.0 sec. user=mdettweiler [2012-10-31 20:49:52] 845*2^1233430-1 is not prime. Res64: 1E64DE64CB99C471 Time : 0.0 sec. user=mdettweiler [2012-10-31 20:49:53] 857*2^1233430-1 is not prime. Res64: F2C90C7DB63236D7 Time : 0.0 sec. user=mdettweiler [2012-10-31 20:53:42] 965*2^1233430-1 is not prime. Res64: 054982137653135B Time : 0.0 sec. user=mdettweiler [2012-10-31 20:53:43] 703*2^1233431-1 is not prime. Res64: 823B9CDE475A29B8 Time : 0.0 sec. user=vaughan [2012-10-31 21:08:35] 917*2^1233430-1 is not prime. Res64: B01372A2D82C9662 Time : 0.0 sec. user=mdettweiler [2012-10-31 21:10:50] 753*2^1233431-1 is not prime. Res64: BE61994143F3D38E Time : 0.0 sec. user=mdettweiler [2012-10-31 21:10:52] 783*2^1233431-1 is not prime. Res64: 5C0931125576DEDC Time : 0.0 sec. user=mdettweiler [2012-10-31 21:14:46] 615*2^1233432-1 is not prime. Res64: 3B01B26E95FF0918 Time : 0.0 sec. user=mdettweiler [2012-10-31 21:14:50] 623*2^1233432-1 is not prime. Res64: 86E899EC266E515D Time : 0.0 sec. user=mdettweiler [2012-10-31 21:32:07] 669*2^1233432-1 is not prime. Res64: 25BC69D1DC800BD4 Time : 0.0 sec. user=mdettweiler [2012-10-31 21:32:07] 675*2^1233432-1 is not prime. Res64: 618FFF8596445B18 Time : 0.0 sec. user=mdettweiler [2012-10-31 21:36:36] 909*2^1233432-1 is not prime. Res64: 6983F029D5F90670 Time : 0.0 sec. user=mdettweiler [2012-10-31 21:36:36] 609*2^1233433-1 is not prime. Res64: 8E60709ACAA007AE Time : 0.0 sec. user=vaughan [2012-10-31 21:46:21] 657*2^1233432-1 is not prime. Res64: E11E177517FB3270 Time : 0.0 sec. user=mdettweiler [2012-10-31 21:52:57] 775*2^1233433-1 is not prime. Res64: 799B1B274F5DE792 Time : 0.0 sec. user=mdettweiler [2012-10-31 21:52:57] 805*2^1233433-1 is not prime. Res64: FE3FD5138D02663B Time : 0.0 sec. user=mdettweiler [2012-10-31 21:57:24] 847*2^1233433-1 is not prime. Res64: 15174503A5C1BD26 Time : 0.0 sec. user=mdettweiler [2012-10-31 21:57:25] 867*2^1233433-1 is not prime. Res64: E256FE028548406B Time : 0.0 sec. user=mdettweiler [2012-10-31 22:13:47] 897*2^1233433-1 is not prime. Res64: FF01625C89ABD709 Time : 0.0 sec. user=mdettweiler [2012-10-31 22:13:49] 901*2^1233433-1 is not prime. Res64: 8CB8CF771A7CEC71 Time : 0.0 sec. user=mdettweiler [2012-10-31 22:18:13] 915*2^1233433-1 is not prime. Res64: 5B476884DF17C955 Time : 0.0 sec. user=mdettweiler [2012-10-31 22:18:14] 951*2^1233433-1 is not prime. Res64: A9879EA03E47F92C Time : 0.0 sec. user=vaughan [2012-10-31 22:24:00] 885*2^1233433-1 is not prime. Res64: 4E1097185E87A1EF Time : 0.0 sec. user=mdettweiler [2012-10-31 22:34:56] 955*2^1233433-1 is not prime. Res64: C5CD156EA93D7F22 Time : 0.0 sec. user=mdettweiler [2012-10-31 22:34:57] 615*2^1233434-1 is not prime. Res64: 6170A5150BEE19AE Time : 0.0 sec. user=mdettweiler [2012-10-31 22:39:14] 633*2^1233434-1 is not prime. Res64: F33B9C2679379774 Time : 0.0 sec. user=mdettweiler [2012-10-31 22:39:14] 677*2^1233434-1 is not prime. Res64: DE42A720295ECE6A Time : 0.0 sec. user=mdettweiler [2012-10-31 22:55:45] 773*2^1233434-1 is not prime. Res64: A5194CC25B13E638 Time : 0.0 sec. user=mdettweiler [2012-10-31 22:55:45] 797*2^1233434-1 is not prime. Res64: 15616866BBF9FA2F Time : 0.0 sec. user=mdettweiler [2012-10-31 23:00:05] 831*2^1233434-1 is not prime. Res64: C6ABBF709102B56B Time : 0.0 sec. user=mdettweiler [2012-10-31 23:00:06] 923*2^1233434-1 is not prime. Res64: 63902ED90404E466 Time : 0.0 sec. user=vaughan [2012-10-31 23:01:47] 687*2^1233434-1 is not prime. Res64: 97C2E4048169E7E8 Time : 0.0 sec. user=mdettweiler [2012-10-31 23:16:34] 927*2^1233434-1 is not prime. Res64: 3B682281B860951E Time : 0.0 sec. user=mdettweiler [2012-10-31 23:16:36] 971*2^1233434-1 is not prime. Res64: BF703B3980145A30 Time : 0.0 sec. user=mdettweiler [2012-10-31 23:20:55] 983*2^1233434-1 is not prime. Res64: 6B7A18E3226CDF6F Time : 0.0 sec. user=mdettweiler [2012-10-31 23:20:56] 705*2^1233435-1 is not prime. Res64: 7421CBF29752A21F Time : 0.0 sec. user=mdettweiler [2012-10-31 23:37:49] 723*2^1233435-1 is not prime. Res64: FF4E2D591500EAEA Time : 0.0 sec. user=mdettweiler [2012-10-31 23:37:50] 751*2^1233435-1 is not prime. Res64: F3720EBE58B75B95 Time : 0.0 sec. user=vaughan [2012-10-31 23:39:31] 709*2^1233435-1 is not prime. Res64: 2215A8A9147995D6 Time : 0.0 sec. user=mdettweiler [2012-10-31 23:41:44] 765*2^1233435-1 is not prime. Res64: B284F4A5DD69DA22 Time : 0.0 sec. user=mdettweiler [2012-10-31 23:41:45] 805*2^1233435-1 is not prime. Res64: 2A0B4E12F6813331 Time : 0.0 sec. user=mdettweiler [2012-10-31 23:58:39] 963*2^1233435-1 is not prime. Res64: 7B6B1F2B26675CC2 Time : 0.0 sec. user=mdettweiler [2012-10-31 23:58:39] 979*2^1233435-1 is not prime. Res64: 87CA256C479E672E Time : 0.0 sec.