user=mdettweiler [2012-09-16 00:14:40] 759*2^1228736-1 is not prime. Res64: 709720AE0A5F1EEF Time : 0.0 sec. user=mdettweiler [2012-09-16 00:14:42] 847*2^1228737-1 is not prime. Res64: CC33C1F312378486 Time : 0.0 sec. user=vaughan [2012-09-16 00:22:01] 889*2^1228735-1 is not prime. Res64: 2E38A480D8AECC1C Time : 0.0 sec. user=mdettweiler [2012-09-16 00:35:29] 871*2^1228737-1 is not prime. Res64: A9C92366EC765468 Time : 0.0 sec. user=mdettweiler [2012-09-16 00:35:29] 885*2^1228737-1 is not prime. Res64: 85813B513BED486B Time : 0.0 sec. user=juhehe [2012-09-16 00:36:58] 617*2^1228736-1 is not prime. Res64: 656959A50CBB8CC8 Time : 0.0 sec. user=mdettweiler [2012-09-16 00:41:31] 849*2^1228737-1 is not prime. Res64: F27A391A439B95AA Time : 0.0 sec. user=mdettweiler [2012-09-16 00:41:32] 865*2^1228737-1 is not prime. Res64: 03EFA7AA05746CF7 Time : 0.0 sec. user=mdettweiler [2012-09-16 00:56:01] 657*2^1228738-1 is not prime. Res64: 3A45EA6008696385 Time : 0.0 sec. user=mdettweiler [2012-09-16 00:56:02] 705*2^1228738-1 is not prime. Res64: 55458F4012072494 Time : 0.0 sec. user=gd_barnes [2012-09-16 00:57:52] 623*2^1228738-1 is not prime. Res64: 5C7F10699E6E0D15 Time : 0.0 sec. user=vaughan [2012-09-16 01:00:05] 909*2^1228737-1 is not prime. Res64: 1BF173A9F9E0CE7E Time : 0.0 sec. user=mdettweiler [2012-09-16 01:02:08] 755*2^1228738-1 is not prime. Res64: 8EFD4ABAD98DBC14 Time : 0.0 sec. user=mdettweiler [2012-09-16 01:02:10] 845*2^1228738-1 is not prime. Res64: 7937903584AA5868 Time : 0.0 sec. user=mdettweiler [2012-09-16 01:16:37] 857*2^1228738-1 is not prime. Res64: 6FF5AD2330E744C2 Time : 0.0 sec. user=mdettweiler [2012-09-16 01:16:40] 945*2^1228738-1 is not prime. Res64: 4DD8D079CCF879B3 Time : 0.0 sec. user=mdettweiler [2012-09-16 01:22:45] 615*2^1228739-1 is not prime. Res64: 15C6FB1160BF1F1D Time : 0.0 sec. user=mdettweiler [2012-09-16 01:22:46] 619*2^1228739-1 is not prime. Res64: 59B6571237F7D52A Time : 0.0 sec. user=mdettweiler [2012-09-16 01:37:25] 633*2^1228739-1 is not prime. Res64: 60DBCEADD66D0BBF Time : 0.0 sec. user=mdettweiler [2012-09-16 01:37:26] 663*2^1228739-1 is not prime. Res64: 8213CEC461D957BB Time : 0.0 sec. user=vaughan [2012-09-16 01:37:39] 957*2^1228738-1 is not prime. Res64: CF77A17EEA088DBA Time : 0.0 sec. user=mdettweiler [2012-09-16 01:43:23] 685*2^1228739-1 is not prime. Res64: 2071A3A8A51C9512 Time : 0.0 sec. user=mdettweiler [2012-09-16 01:43:25] 693*2^1228739-1 is not prime. Res64: FE84101F06AE61FA Time : 0.0 sec. user=mdettweiler [2012-09-16 01:58:04] 705*2^1228739-1 is not prime. Res64: 16A6718C070C1784 Time : 0.0 sec. user=mdettweiler [2012-09-16 01:58:06] 741*2^1228739-1 is not prime. Res64: 579AF76739BAFBF8 Time : 0.0 sec. user=mdettweiler [2012-09-16 02:04:01] 823*2^1228739-1 is not prime. Res64: CB4C94B64B295EDC Time : 0.0 sec. user=mdettweiler [2012-09-16 02:04:02] 857*2^1228740-1 is not prime. Res64: E28A6A896665F340 Time : 0.0 sec. user=vaughan [2012-09-16 02:15:12] 799*2^1228739-1 is not prime. Res64: 6521FC3B6798753F Time : 0.0 sec. user=mdettweiler [2012-09-16 02:18:35] 799*2^1228741-1 is not prime. Res64: 6D5DF573A6ACE2EA Time : 0.0 sec. user=mdettweiler [2012-09-16 02:18:36] 855*2^1228741-1 is not prime. Res64: DBE84CCA6F7EABC5 Time : 0.0 sec. user=mdettweiler [2012-09-16 02:24:40] 999*2^1228741-1 is not prime. Res64: 0DD2F7FFB181A869 Time : 0.0 sec. user=mdettweiler [2012-09-16 02:24:41] 683*2^1228742-1 is not prime. Res64: F22FFE67E6FC9C65 Time : 0.0 sec. user=mdettweiler [2012-09-16 02:39:12] 785*2^1228742-1 is not prime. Res64: 0DFB4CB85049F614 Time : 0.0 sec. user=mdettweiler [2012-09-16 02:39:14] 797*2^1228742-1 is not prime. Res64: 959A573AE8490303 Time : 0.0 sec. user=juhehe [2012-09-16 02:41:20] 625*2^1228741-1 is not prime. Res64: 9C7EC59801BB7077 Time : 0.0 sec. user=mdettweiler [2012-09-16 02:45:16] 893*2^1228742-1 is not prime. Res64: EC3EA0C8F01A1049 Time : 0.0 sec. user=mdettweiler [2012-09-16 02:45:18] 957*2^1228742-1 is not prime. Res64: AAA5A4AD2ED53193 Time : 0.0 sec. user=gd_barnes [2012-09-16 02:46:23] 743*2^1228742-1 is not prime. Res64: 5C78DA2207F56066 Time : 0.0 sec. user=vaughan [2012-09-16 02:53:04] 761*2^1228742-1 is not prime. Res64: A21F06986633C308 Time : 0.0 sec. user=mdettweiler [2012-09-16 03:00:10] 709*2^1228743-1 is not prime. Res64: 3AF4F041AD9F5E6E Time : 0.0 sec. user=mdettweiler [2012-09-16 03:00:14] 735*2^1228743-1 is not prime. Res64: FFC2CF554CAD8BBB Time : 0.0 sec. user=mdettweiler [2012-09-16 03:06:09] 751*2^1228743-1 is not prime. Res64: EC38F2B1BDA7A045 Time : 0.0 sec. user=mdettweiler [2012-09-16 03:06:11] 775*2^1228743-1 is not prime. Res64: 55A8C26CC17167AE Time : 0.0 sec. user=mdettweiler [2012-09-16 03:21:24] 901*2^1228743-1 is not prime. Res64: 69235E0CD55971A8 Time : 0.0 sec. user=mdettweiler [2012-09-16 03:21:25] 933*2^1228743-1 is not prime. Res64: 77DC28195D584A65 Time : 0.0 sec. user=gd_barnes [2012-09-16 03:24:07] 793*2^1228743-1 is not prime. Res64: 03D77AA1701D60CC Time : 0.0 sec. user=gd_barnes [2012-09-16 03:25:06] 895*2^1228743-1 is not prime. Res64: C78D70599FCE713E Time : 0.0 sec. user=mdettweiler [2012-09-16 03:27:20] 629*2^1228744-1 is not prime. Res64: 7F0F749E7F9C8143 Time : 0.0 sec. user=mdettweiler [2012-09-16 03:27:21] 705*2^1228744-1 is not prime. Res64: A1BEFA852F5F3A95 Time : 0.0 sec. user=gd_barnes [2012-09-16 03:30:11] 961*2^1228743-1 is not prime. Res64: 8B0CA1D790F92C02 Time : 0.0 sec. user=mdettweiler [2012-09-16 03:42:07] 819*2^1228744-1 is not prime. Res64: 8A1C40CB9F6A2C89 Time : 0.0 sec. user=mdettweiler [2012-09-16 03:42:08] 827*2^1228744-1 is not prime. Res64: C8FFE1CF5E67D98D Time : 0.0 sec. user=mdettweiler [2012-09-16 03:47:52] 903*2^1228744-1 is not prime. Res64: FAA9742293BBAC38 Time : 0.0 sec. user=mdettweiler [2012-09-16 03:47:53] 915*2^1228744-1 is not prime. Res64: 4A249D38B0EED886 Time : 0.0 sec. user=mdettweiler [2012-09-16 04:02:40] 685*2^1228745-1 is not prime. Res64: 169E564D21B7BC2F Time : 0.0 sec. user=mdettweiler [2012-09-16 04:02:42] 787*2^1228745-1 is not prime. Res64: 4B476079A5F0D4B0 Time : 0.0 sec. user=vaughan [2012-09-16 04:04:17] 869*2^1228744-1 is not prime. Res64: B03C956047956B71 Time : 0.0 sec. user=mdettweiler [2012-09-16 04:08:25] 811*2^1228745-1 is not prime. Res64: 28E213D4FC17B916 Time : 0.0 sec. user=mdettweiler [2012-09-16 04:08:26] 885*2^1228745-1 is not prime. Res64: FA4D18F9F3C22C93 Time : 0.0 sec. user=gd_barnes [2012-09-16 04:12:10] 927*2^1228744-1 is not prime. Res64: 2A90D90EBE9917E5 Time : 0.0 sec. user=gd_barnes [2012-09-16 04:12:22] 965*2^1228744-1 is not prime. Res64: 0C0195C9C72F54B9 Time : 0.0 sec. user=mdettweiler [2012-09-16 04:23:12] 951*2^1228745-1 is not prime. Res64: 83488272DE194CB8 Time : 0.0 sec. user=mdettweiler [2012-09-16 04:23:13] 635*2^1228746-1 is not prime. Res64: F76DA63F6181C295 Time : 0.0 sec. user=mdettweiler [2012-09-16 04:28:58] 755*2^1228746-1 is not prime. Res64: D8016D8258036F12 Time : 0.0 sec. user=mdettweiler [2012-09-16 04:28:58] 815*2^1228746-1 is not prime. Res64: 1D77FB013C56B99C Time : 0.0 sec. user=vaughan [2012-09-16 04:41:56] 677*2^1228746-1 is not prime. Res64: 4CE015FAB802861D Time : 0.0 sec. user=mdettweiler [2012-09-16 04:43:43] 891*2^1228746-1 is not prime. Res64: 75DDC62C3E2DC728 Time : 0.0 sec. user=mdettweiler [2012-09-16 04:43:43] 921*2^1228746-1 is not prime. Res64: 4FCEE65A2D19A8C6 Time : 0.0 sec. user=juhehe [2012-09-16 04:45:51] 889*2^1228745-1 is not prime. Res64: E82F965911DBF89C Time : 0.0 sec. user=mdettweiler [2012-09-16 04:49:25] 933*2^1228746-1 is not prime. Res64: B6CA0DEC746786BB Time : 0.0 sec. user=mdettweiler [2012-09-16 04:49:25] 619*2^1228747-1 is not prime. Res64: E9F34D9369D5800B Time : 0.0 sec. user=gd_barnes [2012-09-16 05:00:51] 633*2^1228747-1 is not prime. Res64: A5FF146F9A4956D3 Time : 0.0 sec. user=mdettweiler [2012-09-16 05:04:11] 675*2^1228747-1 is not prime. Res64: D24B5FDCDF126BA3 Time : 0.0 sec. user=mdettweiler [2012-09-16 05:04:12] 681*2^1228747-1 is not prime. Res64: 494F602466DF02E8 Time : 0.0 sec. user=mdettweiler [2012-09-16 05:09:52] 691*2^1228747-1 is not prime. Res64: 319D344E94634948 Time : 0.0 sec. user=mdettweiler [2012-09-16 05:09:54] 751*2^1228747-1 is not prime. Res64: 4FC6997E81833A72 Time : 0.0 sec. user=vaughan [2012-09-16 05:19:44] 649*2^1228747-1 is not prime. Res64: DEEEF70625CA05AF Time : 0.0 sec. user=mdettweiler [2012-09-16 05:25:03] 765*2^1228747-1 is not prime. Res64: BF6D146633A60DC0 Time : 0.0 sec. user=mdettweiler [2012-09-16 05:25:04] 871*2^1228747-1 is not prime. Res64: 75F83DEA4DEAB065 Time : 0.0 sec. user=mdettweiler [2012-09-16 05:30:23] 603*2^1228748-1 is not prime. Res64: 39BC5316848AB233 Time : 0.0 sec. user=mdettweiler [2012-09-16 05:30:24] 635*2^1228748-1 is not prime. Res64: 9E78896EBB1820E7 Time : 0.0 sec. user=mdettweiler [2012-09-16 05:45:31] 669*2^1228748-1 is not prime. Res64: 101B5028288F1CDD Time : 0.0 sec. user=mdettweiler [2012-09-16 05:45:32] 707*2^1228748-1 is not prime. Res64: C82735AA2CD44A4D Time : 0.0 sec. user=mdettweiler [2012-09-16 05:50:57] 735*2^1228748-1 is not prime. Res64: 3767E3111FC68C55 Time : 0.0 sec. user=mdettweiler [2012-09-16 05:50:58] 879*2^1228748-1 is not prime. Res64: BCFEB6298CDF185D Time : 0.0 sec. user=vaughan [2012-09-16 05:57:18] 665*2^1228748-1 is not prime. Res64: 05092A1B9E04C084 Time : 0.0 sec. user=mdettweiler [2012-09-16 06:05:59] 885*2^1228748-1 is not prime. Res64: F4B0756DBEBB40F2 Time : 0.0 sec. user=mdettweiler [2012-09-16 06:06:02] 953*2^1228748-1 is not prime. Res64: 31F7905658B3071B Time : 0.0 sec. user=mdettweiler [2012-09-16 06:11:25] 957*2^1228748-1 is not prime. Res64: 72513CADCBB04A39 Time : 0.0 sec. user=mdettweiler [2012-09-16 06:11:28] 977*2^1228748-1 is not prime. Res64: 10FE816478017388 Time : 0.0 sec. user=mdettweiler [2012-09-16 06:26:34] 627*2^1228749-1 is not prime. Res64: A1FD00A6BFDAA49F Time : 0.0 sec. user=mdettweiler [2012-09-16 06:26:35] 657*2^1228749-1 is not prime. Res64: FBC8A438F10332FE Time : 0.0 sec. user=mdettweiler [2012-09-16 06:32:01] 765*2^1228749-1 is not prime. Res64: 6066D88DCA5DDF29 Time : 0.0 sec. user=mdettweiler [2012-09-16 06:32:02] 781*2^1228749-1 is not prime. Res64: F4EC97A5BFC21A5F Time : 0.0 sec. user=vaughan [2012-09-16 06:34:54] 625*2^1228749-1 is not prime. Res64: 46CEAC271A669BE8 Time : 0.0 sec. user=gd_barnes [2012-09-16 06:41:40] 741*2^1228749-1 is not prime. Res64: 8055B98592383135 Time : 0.0 sec. user=mdettweiler [2012-09-16 06:47:06] 817*2^1228749-1 is not prime. Res64: 4B2ED147639766FD Time : 0.0 sec. user=mdettweiler [2012-09-16 06:47:07] 835*2^1228749-1 is not prime. Res64: 2E89BDD0B0713383 Time : 0.0 sec. user=juhehe [2012-09-16 06:50:30] 669*2^1228749-1 is not prime. Res64: B2FF182BC733CD5F Time : 0.0 sec. user=mdettweiler [2012-09-16 06:52:32] 891*2^1228749-1 is not prime. Res64: B40831BC3B03BE9C Time : 0.0 sec. user=mdettweiler [2012-09-16 06:52:33] 921*2^1228749-1 is not prime. Res64: 60781B17693AB29A Time : 0.0 sec. user=mdettweiler [2012-09-16 07:07:34] 813*2^1228750-1 is not prime. Res64: 6F5D857CE8B80EF6 Time : 0.0 sec. user=mdettweiler [2012-09-16 07:07:35] 891*2^1228750-1 is not prime. Res64: 02F2663827F1E88B Time : 0.0 sec. user=vaughan [2012-09-16 07:12:29] 657*2^1228750-1 is not prime. Res64: 18109859303B085D Time : 0.0 sec. user=mdettweiler [2012-09-16 07:13:01] 945*2^1228750-1 is not prime. Res64: EF321B1499DF7AD7 Time : 0.0 sec. user=mdettweiler [2012-09-16 07:13:02] 951*2^1228750-1 is not prime. Res64: 50E76CC7D4DB5A3F Time : 0.0 sec. user=mdettweiler [2012-09-16 07:28:08] 981*2^1228750-1 is not prime. Res64: 0484F27A9AEF64F3 Time : 0.0 sec. user=mdettweiler [2012-09-16 07:28:09] 651*2^1228751-1 is not prime. Res64: 31F186C19FCC8F8D Time : 0.0 sec. user=mdettweiler [2012-09-16 07:33:36] 635*2^1228752-1 is not prime. Res64: 3404292BF0781DD4 Time : 0.0 sec. user=mdettweiler [2012-09-16 07:33:37] 669*2^1228752-1 is not prime. Res64: 57A2DD7E635530B4 Time : 0.0 sec. user=mdettweiler [2012-09-16 07:48:37] 693*2^1228752-1 is not prime. Res64: 67527C40F460A0BF Time : 0.0 sec. user=mdettweiler [2012-09-16 07:48:37] 825*2^1228752-1 is not prime. Res64: EFE259EE695DD701 Time : 0.0 sec. user=vaughan [2012-09-16 07:50:09] 943*2^1228751-1 is not prime. Res64: D22685AEA4413D72 Time : 0.0 sec. user=mdettweiler [2012-09-16 07:54:09] 893*2^1228752-1 is not prime. Res64: FE80FD6B54CC8947 Time : 0.0 sec. user=mdettweiler [2012-09-16 07:54:10] 741*2^1228753-1 is not prime. Res64: CD2FD0242A81EBE5 Time : 0.0 sec. user=mdettweiler [2012-09-16 08:09:05] 861*2^1228753-1 is not prime. Res64: 37BB576E1BC83158 Time : 0.0 sec. user=mdettweiler [2012-09-16 08:09:07] 895*2^1228753-1 is not prime. Res64: 45F2E066F6D09357 Time : 0.0 sec. user=mdettweiler [2012-09-16 08:14:38] 615*2^1228754-1 is not prime. Res64: 7FA6451CD040300C Time : 0.0 sec. user=mdettweiler [2012-09-16 08:14:40] 633*2^1228754-1 is not prime. Res64: 58A838D6AAFAFB6C Time : 0.0 sec. user=vaughan [2012-09-16 08:27:42] 955*2^1228753-1 is not prime. Res64: 2101DEC0A5A43F9C Time : 0.0 sec. user=mdettweiler [2012-09-16 08:29:39] 701*2^1228754-1 is not prime. Res64: 42E24A1D968239E6 Time : 0.0 sec. user=mdettweiler [2012-09-16 08:29:39] 815*2^1228754-1 is not prime. Res64: 1F2AB222FC54A43B Time : 0.0 sec. user=mdettweiler [2012-09-16 08:35:24] 837*2^1228754-1 is not prime. Res64: AE9DAD0D6645FB38 Time : 0.0 sec. user=mdettweiler [2012-09-16 08:35:25] 875*2^1228754-1 is not prime. Res64: D7F2A47217CE289F Time : 0.0 sec. user=mdettweiler [2012-09-16 08:50:07] 935*2^1228754-1 is not prime. Res64: 881928711447E676 Time : 0.0 sec. user=mdettweiler [2012-09-16 08:50:07] 1001*2^1228754-1 is not prime. Res64: 8DE54FB1EA24BACB Time : 0.0 sec. user=mdettweiler [2012-09-16 08:55:54] 625*2^1228755-1 is not prime. Res64: B3960466BD1D84DC Time : 0.0 sec. user=mdettweiler [2012-09-16 08:55:54] 699*2^1228755-1 is not prime. Res64: 9C2156EDCFF00585 Time : 0.0 sec. user=vaughan [2012-09-16 09:05:27] 903*2^1228754-1 is not prime. Res64: 67E73DC483D44013 Time : 0.0 sec. user=mdettweiler [2012-09-16 09:10:34] 705*2^1228755-1 is not prime. Res64: EC1D3E7A769E1D7A Time : 0.0 sec. user=mdettweiler [2012-09-16 09:10:36] 741*2^1228755-1 is not prime. Res64: 4125F1A50BBB6489 Time : 0.0 sec. user=mdettweiler [2012-09-16 09:16:22] 795*2^1228755-1 is not prime. Res64: BD38958A3E1FAF8E Time : 0.0 sec. user=mdettweiler [2012-09-16 09:16:23] 853*2^1228755-1 is not prime. Res64: A31379720C0664C9 Time : 0.0 sec. user=mdettweiler [2012-09-16 09:31:18] 919*2^1228755-1 is not prime. Res64: 38CB9873C04B9744 Time : 0.0 sec. user=mdettweiler [2012-09-16 09:31:18] 615*2^1228756-1 is not prime. Res64: 1196E0E4E2D468F6 Time : 0.0 sec. user=mdettweiler [2012-09-16 09:37:05] 617*2^1228756-1 is not prime. Res64: 0FC58710D91B2117 Time : 0.0 sec. user=mdettweiler [2012-09-16 09:37:06] 623*2^1228756-1 is not prime. Res64: DB0F0AE36346A298 Time : 0.0 sec. user=vaughan [2012-09-16 09:43:08] 909*2^1228755-1 is not prime. Res64: 8AE07DEA42A56ED8 Time : 0.0 sec. user=mdettweiler [2012-09-16 09:51:45] 657*2^1228756-1 is not prime. Res64: 9345B9A439024477 Time : 0.0 sec. user=mdettweiler [2012-09-16 09:51:46] 717*2^1228756-1 is not prime. Res64: E76F3C54D7A7EC82 Time : 0.0 sec. user=mdettweiler [2012-09-16 09:57:37] 833*2^1228756-1 is not prime. Res64: F470E04B88DFE3B5 Time : 0.0 sec. user=mdettweiler [2012-09-16 09:57:38] 873*2^1228756-1 is not prime. Res64: 7AF3AB1F50A41DA3 Time : 0.0 sec. user=mdettweiler [2012-09-16 10:12:14] 741*2^1228757-1 is not prime. Res64: 874F3DC69792B7C4 Time : 0.0 sec. user=mdettweiler [2012-09-16 10:12:14] 885*2^1228757-1 is not prime. Res64: AD9C8F1823344CDA Time : 0.0 sec. user=mdettweiler [2012-09-16 10:18:06] 889*2^1228757-1 is not prime. Res64: 8C27125AB546A8C3 Time : 0.0 sec. user=mdettweiler [2012-09-16 10:18:06] 981*2^1228757-1 is not prime. Res64: 700E898767C1B7D9 Time : 0.0 sec. user=vaughan [2012-09-16 10:20:41] 729*2^1228757-1 is not prime. Res64: 04E05BF0746FCFBC Time : 0.0 sec. user=mdettweiler [2012-09-16 10:32:49] 605*2^1228758-1 is not prime. Res64: 83648FA3B643FB7E Time : 0.0 sec. user=mdettweiler [2012-09-16 10:32:50] 747*2^1228758-1 is not prime. Res64: A376F64DA8A3FF0F Time : 0.0 sec. user=mdettweiler [2012-09-16 10:38:42] 801*2^1228758-1 is not prime. Res64: B85812012981657F Time : 0.0 sec. user=mdettweiler [2012-09-16 10:38:42] 843*2^1228758-1 is not prime. Res64: 72B805EF0CBBE4AE Time : 0.0 sec. user=mdettweiler [2012-09-16 10:53:18] 887*2^1228758-1 is not prime. Res64: 43419F6C36C94288 Time : 0.0 sec. user=mdettweiler [2012-09-16 10:53:18] 945*2^1228758-1 is not prime. Res64: E5AFE275C0A28FDF Time : 0.0 sec. user=vaughan [2012-09-16 10:58:15] 867*2^1228758-1 is not prime. Res64: 8B3374409CAE8E39 Time : 0.0 sec. user=mdettweiler [2012-09-16 10:59:09] 625*2^1228759-1 is not prime. Res64: C6770E375BC66FB6 Time : 0.0 sec. user=mdettweiler [2012-09-16 10:59:10] 645*2^1228759-1 is not prime. Res64: 1F31EB4ECF45983E Time : 0.0 sec. user=mdettweiler [2012-09-16 11:13:57] 759*2^1228759-1 is not prime. Res64: 5F216EF8B33DD119 Time : 0.0 sec. user=mdettweiler [2012-09-16 11:14:00] 789*2^1228759-1 is not prime. Res64: 78F67F4FF211A819 Time : 0.0 sec. user=mdettweiler [2012-09-16 11:19:51] 999*2^1228759-1 is not prime. Res64: C120520065EAF8D6 Time : 0.0 sec. user=mdettweiler [2012-09-16 11:19:52] 633*2^1228760-1 is not prime. Res64: BD38A7D2D0E8310B Time : 0.0 sec. user=mdettweiler [2012-09-16 11:35:23] 725*2^1228760-1 is not prime. Res64: A32C31AD9982AE53 Time : 0.0 sec. user=mdettweiler [2012-09-16 11:35:23] 857*2^1228760-1 is not prime. Res64: E2ABF15F2F383009 Time : 0.0 sec. user=vaughan [2012-09-16 11:35:48] 853*2^1228759-1 is not prime. Res64: 841F7B249ABC77E9 Time : 0.0 sec. user=mdettweiler [2012-09-16 11:40:50] 899*2^1228760-1 is not prime. Res64: E77B68CC43C55D56 Time : 0.0 sec. user=mdettweiler [2012-09-16 11:40:51] 917*2^1228760-1 is not prime. Res64: 46590184E3F1D3EB Time : 0.0 sec. user=gd_barnes [2012-09-16 11:46:51] 875*2^1228760-1 is not prime. Res64: 386C747DBA909550 Time : 0.0 sec. user=gd_barnes [2012-09-16 11:47:56] 897*2^1228760-1 is not prime. Res64: 8EBAA33A478E65FE Time : 0.0 sec. user=mdettweiler [2012-09-16 11:56:02] 669*2^1228761-1 is not prime. Res64: F78C2E6CCE3B4BCE Time : 0.0 sec. user=mdettweiler [2012-09-16 11:56:03] 647*2^1228762-1 is not prime. Res64: E5A9DADCD643FCDB Time : 0.0 sec. user=mdettweiler [2012-09-16 12:01:28] 677*2^1228762-1 is not prime. Res64: 534FC590239A8108 Time : 0.0 sec. user=mdettweiler [2012-09-16 12:01:29] 713*2^1228762-1 is not prime. Res64: 4A10DA9DDC81109C Time : 0.0 sec. user=vaughan [2012-09-16 12:13:21] 657*2^1228762-1 is not prime. Res64: E593E93EDB5497F6 Time : 0.0 sec. user=mdettweiler [2012-09-16 12:16:41] 735*2^1228762-1 is not prime. Res64: D4CACC8744B3691E Time : 0.0 sec. user=mdettweiler [2012-09-16 12:16:42] 843*2^1228762-1 is not prime. Res64: A0A0FB9DB9811985 Time : 0.0 sec. user=mdettweiler [2012-09-16 12:22:24] 857*2^1228762-1 is not prime. Res64: B09765555FC46E2E Time : 0.0 sec. user=mdettweiler [2012-09-16 12:22:24] 983*2^1228762-1 is not prime. Res64: 86F3E0B761FC2A21 Time : 0.0 sec. user=mdettweiler [2012-09-16 12:37:25] 991*2^1228763-1 is not prime. Res64: FC97C43EC213961B Time : 0.0 sec. user=mdettweiler [2012-09-16 12:37:25] 609*2^1228764-1 is not prime. Res64: 0AE54A364B8AB8B5 Time : 0.0 sec. user=mdettweiler [2012-09-16 12:43:15] 635*2^1228764-1 is not prime. Res64: 371DE7472ABDBA20 Time : 0.0 sec. user=mdettweiler [2012-09-16 12:43:15] 683*2^1228764-1 is not prime. Res64: 59C4F9F6550005F9 Time : 0.0 sec. user=gd_barnes [2012-09-16 12:46:31] 811*2^1228763-1 is not prime. Res64: C14E4C3CE1148DFD Time : 0.0 sec. user=gd_barnes [2012-09-16 12:48:09] 623*2^1228764-1 is not prime. Res64: 7A93CE7454DDB482 Time : 0.0 sec. user=vaughan [2012-09-16 12:51:07] 715*2^1228763-1 is not prime. Res64: 6317652BB211151B Time : 0.0 sec. user=mdettweiler [2012-09-16 12:58:07] 693*2^1228764-1 is not prime. Res64: AF445B95DDAB879B Time : 0.0 sec. user=mdettweiler [2012-09-16 12:58:07] 783*2^1228764-1 is not prime. Res64: 3548C0E050D5CF98 Time : 0.0 sec. user=mdettweiler [2012-09-16 13:03:57] 903*2^1228764-1 is not prime. Res64: 23CCF14EB2A7DC72 Time : 0.0 sec. user=mdettweiler [2012-09-16 13:03:57] 661*2^1228765-1 is not prime. Res64: 8FE9038487593D6C Time : 0.0 sec. user=mdettweiler [2012-09-16 13:18:50] 721*2^1228765-1 is not prime. Res64: DF512F6049796D75 Time : 0.0 sec. user=mdettweiler [2012-09-16 13:18:50] 817*2^1228765-1 is not prime. Res64: EB1B00A05DA0D0F6 Time : 0.0 sec. user=mdettweiler [2012-09-16 13:24:41] 825*2^1228765-1 is not prime. Res64: 28175784B9C3BF6B Time : 0.0 sec. user=mdettweiler [2012-09-16 13:24:42] 831*2^1228765-1 is not prime. Res64: 172145D4C8166000 Time : 0.0 sec. user=vaughan [2012-09-16 13:28:42] 687*2^1228765-1 is not prime. Res64: F50C835A3D1ECDB8 Time : 0.0 sec. user=mdettweiler [2012-09-16 13:39:58] 867*2^1228765-1 is not prime. Res64: 563DD1524F90DE4E Time : 0.0 sec. user=mdettweiler [2012-09-16 13:39:58] 623*2^1228766-1 is not prime. Res64: 0BD1F7F54AE741D3 Time : 0.0 sec. user=mdettweiler [2012-09-16 13:45:52] 785*2^1228766-1 is not prime. Res64: 3B8CA774B5344EB5 Time : 0.0 sec. user=mdettweiler [2012-09-16 13:45:52] 813*2^1228766-1 is not prime. Res64: 6AA7FB94913074EC Time : 0.0 sec. user=mdettweiler [2012-09-16 14:01:03] 957*2^1228766-1 is not prime. Res64: 1B3E4033FC9111C2 Time : 0.0 sec. user=mdettweiler [2012-09-16 14:01:04] 993*2^1228766-1 is not prime. Res64: 723729C48B5A85F6 Time : 0.0 sec. user=vaughan [2012-09-16 14:06:14] 917*2^1228766-1 is not prime. Res64: 819F898898A99492 Time : 0.0 sec. user=mdettweiler [2012-09-16 14:06:58] 675*2^1228767-1 is not prime. Res64: 23490BBD61792CC8 Time : 0.0 sec. user=mdettweiler [2012-09-16 14:07:00] 691*2^1228767-1 is not prime. Res64: DFD1D22668519DAD Time : 0.0 sec. user=mdettweiler [2012-09-16 14:22:26] 693*2^1228767-1 is not prime. Res64: 427943CF7060D5DE Time : 0.0 sec. user=mdettweiler [2012-09-16 14:22:26] 703*2^1228767-1 is not prime. Res64: 61929D20C755CCC4 Time : 0.0 sec. user=mdettweiler [2012-09-16 14:28:08] 751*2^1228767-1 is not prime. Res64: 0A695C51C3097130 Time : 0.0 sec. user=mdettweiler [2012-09-16 14:28:09] 657*2^1228768-1 is not prime. Res64: 5AD5D9185A14A4C7 Time : 0.0 sec. user=juhehe [2012-09-16 14:38:43] 669*2^1228767-1 is not prime. Res64: 6DD2F97724751D25 Time : 0.0 sec. user=mdettweiler [2012-09-16 14:43:35] 747*2^1228768-1 is not prime. Res64: E57776BD84CE5569 Time : 0.0 sec. user=mdettweiler [2012-09-16 14:43:35] 777*2^1228768-1 is not prime. Res64: 85A4E2FFB90F4901 Time : 0.0 sec. user=vaughan [2012-09-16 14:43:54] 735*2^1228767-1 is not prime. Res64: ED24F624E0D25EA4 Time : 0.0 sec. user=mdettweiler [2012-09-16 14:49:14] 825*2^1228768-1 is not prime. Res64: 42A1515EDB95EA0A Time : 0.0 sec. user=mdettweiler [2012-09-16 14:49:14] 849*2^1228768-1 is not prime. Res64: 5CE1C06CF741B02B Time : 0.0 sec. user=mdettweiler [2012-09-16 15:04:41] 905*2^1228768-1 is not prime. Res64: B79CA49A101A6658 Time : 0.0 sec. user=mdettweiler [2012-09-16 15:04:42] 929*2^1228768-1 is not prime. Res64: BB5B1D449A635C34 Time : 0.0 sec. user=mdettweiler [2012-09-16 15:10:19] 679*2^1228769-1 is not prime. Res64: 4FA640CA09CEA408 Time : 0.0 sec. user=mdettweiler [2012-09-16 15:10:21] 691*2^1228769-1 is not prime. Res64: DD9D70AB05EBE08E Time : 0.0 sec. user=vaughan [2012-09-16 15:21:30] 969*2^1228768-1 is not prime. Res64: 5390E211F56386A0 Time : 0.0 sec. user=mdettweiler [2012-09-16 15:25:58] 721*2^1228769-1 is not prime. Res64: 69FE22B99215F963 Time : 0.0 sec. user=mdettweiler [2012-09-16 15:25:58] 735*2^1228769-1 is not prime. Res64: 36AABD1D4AF12A31 Time : 0.0 sec. user=juhehe [2012-09-16 15:28:44] 899*2^1228768-1 is not prime. Res64: EDD309CDB3A278CD Time : 0.0 sec. user=mdettweiler [2012-09-16 15:31:30] 829*2^1228769-1 is not prime. Res64: 98DC42C6E664F6A3 Time : 0.0 sec. user=mdettweiler [2012-09-16 15:31:30] 931*2^1228769-1 is not prime. Res64: 19AFBA2873CAF52D Time : 0.0 sec. user=mdettweiler [2012-09-16 15:47:05] 671*2^1228770-1 is not prime. Res64: 57AAE69780750714 Time : 0.0 sec. user=mdettweiler [2012-09-16 15:47:06] 711*2^1228770-1 is not prime. Res64: 76712BEC726C8B46 Time : 0.0 sec. user=mdettweiler [2012-09-16 15:52:42] 923*2^1228770-1 is not prime. Res64: 14D9A8E9E8C114A2 Time : 0.0 sec. user=mdettweiler [2012-09-16 15:52:43] 957*2^1228770-1 is not prime. Res64: 488436154A404342 Time : 0.0 sec. user=vaughan [2012-09-16 15:59:06] 651*2^1228770-1 is not prime. Res64: 15DAAB1F74D10CEC Time : 0.0 sec. user=mdettweiler [2012-09-16 16:08:12] 609*2^1228771-1 is not prime. Res64: C0CACF03E3108F14 Time : 0.0 sec. user=mdettweiler [2012-09-16 16:08:13] 663*2^1228771-1 is not prime. Res64: A216851870AE3A7A Time : 0.0 sec. user=juhehe [2012-09-16 16:12:44] 845*2^1228770-1 is not prime. Res64: CD3296124331F1AD Time : 0.0 sec. user=mdettweiler [2012-09-16 16:13:51] 691*2^1228771-1 is not prime. Res64: FB6EF522C0B24492 Time : 0.0 sec. user=mdettweiler [2012-09-16 16:13:54] 709*2^1228771-1 is not prime. Res64: B2C1C0A8714FF8A0 Time : 0.0 sec. user=mdettweiler [2012-09-16 16:29:34] 939*2^1228771-1 is not prime. Res64: C98917E6F10F3767 Time : 0.0 sec. user=mdettweiler [2012-09-16 16:29:34] 623*2^1228772-1 is not prime. Res64: 379E14F90880FE5A Time : 0.0 sec. user=mdettweiler [2012-09-16 16:35:35] 893*2^1228772-1 is not prime. Res64: F816A709F1BD6578 Time : 0.0 sec. user=vaughan [2012-09-16 16:36:50] 769*2^1228771-1 is not prime. Res64: 62CCE8805210C066 Time : 0.0 sec. user=mdettweiler [2012-09-16 16:50:42] 935*2^1228772-1 is not prime. Res64: 645AD6964D6CA64E Time : 0.0 sec. user=mdettweiler [2012-09-16 16:50:42] 627*2^1228773-1 is not prime. Res64: 325818B51128E602 Time : 0.0 sec. user=mdettweiler [2012-09-16 16:56:42] 657*2^1228773-1 is not prime. Res64: 77BB0144BE0A4CCD Time : 0.0 sec. user=mdettweiler [2012-09-16 16:56:42] 745*2^1228773-1 is not prime. Res64: F50A5D5AE0EF6A32 Time : 0.0 sec. user=juhehe [2012-09-16 16:59:01] 687*2^1228772-1 is not prime. Res64: EC8CB9B60632DAFF Time : 0.0 sec. user=mdettweiler [2012-09-16 17:11:47] 955*2^1228773-1 is not prime. Res64: 6D758C750D008BDB Time : 0.0 sec. user=mdettweiler [2012-09-16 17:11:48] 657*2^1228774-1 is not prime. Res64: 99297BF643735386 Time : 0.0 sec. user=vaughan [2012-09-16 17:14:23] 915*2^1228773-1 is not prime. Res64: 33962490B0ED78F2 Time : 0.0 sec. user=mdettweiler [2012-09-16 17:17:48] 665*2^1228774-1 is not prime. Res64: 4F63FBAB49189F82 Time : 0.0 sec. user=mdettweiler [2012-09-16 17:17:49] 687*2^1228774-1 is not prime. Res64: 80C3F874F93073BC Time : 0.0 sec. user=mdettweiler [2012-09-16 17:33:01] 705*2^1228774-1 is not prime. Res64: 7CB0933436B0F951 Time : 0.0 sec. user=mdettweiler [2012-09-16 17:33:01] 831*2^1228774-1 is not prime. Res64: ECCA419291464984 Time : 0.0 sec. user=mdettweiler [2012-09-16 17:39:00] 923*2^1228774-1 is not prime. Res64: 3E4BCA0125C7F832 Time : 0.0 sec. user=mdettweiler [2012-09-16 17:39:01] 965*2^1228774-1 is not prime. Res64: 774D59EBBA01F851 Time : 0.0 sec. user=vaughan [2012-09-16 17:51:56] 897*2^1228774-1 is not prime. Res64: 33650AE2F815B288 Time : 0.0 sec. user=mdettweiler [2012-09-16 17:54:32] 983*2^1228774-1 is not prime. Res64: BDF97C1D00390CB2 Time : 0.0 sec. user=mdettweiler [2012-09-16 17:54:32] 643*2^1228775-1 is not prime. Res64: 08CDF48DCE16030E Time : 0.0 sec. user=mdettweiler [2012-09-16 18:00:49] 799*2^1228775-1 is not prime. Res64: C0312BC8B6593536 Time : 0.0 sec. user=mdettweiler [2012-09-16 18:00:50] 841*2^1228775-1 is not prime. Res64: 09187A99A43030C1 Time : 0.0 sec. user=mdettweiler [2012-09-16 18:16:32] 909*2^1228775-1 is not prime. Res64: 10B551C3E51E9CCE Time : 0.0 sec. user=mdettweiler [2012-09-16 18:16:34] 943*2^1228775-1 is not prime. Res64: F67568BF0C81117A Time : 0.0 sec. user=mdettweiler [2012-09-16 18:22:57] 963*2^1228775-1 is not prime. Res64: 7736B4A5A51D3C87 Time : 0.0 sec. user=mdettweiler [2012-09-16 18:22:57] 639*2^1228776-1 is not prime. Res64: A4B8F85E979B0C92 Time : 0.0 sec. user=vaughan [2012-09-16 18:29:29] 859*2^1228775-1 is not prime. Res64: 602F0882FC77AE21 Time : 0.0 sec. user=mdettweiler [2012-09-16 18:37:54] 699*2^1228776-1 is not prime. Res64: 8354A65809D3663F Time : 0.0 sec. user=mdettweiler [2012-09-16 18:37:54] 875*2^1228776-1 is not prime. Res64: 94B87F01654DF852 Time : 0.0 sec. user=mdettweiler [2012-09-16 18:44:03] 609*2^1228777-1 is not prime. Res64: 3E934E84E182DA3D Time : 0.0 sec. user=mdettweiler [2012-09-16 18:44:03] 751*2^1228777-1 is not prime. Res64: A41436AA3FA22D0C Time : 0.0 sec. user=mdettweiler [2012-09-16 18:58:51] 651*2^1228778-1 is not prime. Res64: DDDBFE752B7A68DB Time : 0.0 sec. user=mdettweiler [2012-09-16 18:58:52] 705*2^1228778-1 is not prime. Res64: 41430472FAF45DA9 Time : 0.0 sec. user=mdettweiler [2012-09-16 19:04:57] 707*2^1228778-1 is not prime. Res64: 21465075DB7C6C31 Time : 0.0 sec. user=mdettweiler [2012-09-16 19:04:59] 801*2^1228778-1 is not prime. Res64: D6299E64A3382B5E Time : 0.0 sec. user=vaughan [2012-09-16 19:07:00] 831*2^1228777-1 is not prime. Res64: 12552129DA280A3F Time : 0.0 sec. user=mdettweiler [2012-09-16 19:19:33] 861*2^1228778-1 is not prime. Res64: B38365D2C2DCD6CF Time : 0.0 sec. user=mdettweiler [2012-09-16 19:19:34] 609*2^1228779-1 is not prime. Res64: 1BFEF1B8846830C0 Time : 0.0 sec. user=mdettweiler [2012-09-16 19:25:46] 639*2^1228779-1 is not prime. Res64: 9858F451B19E62FC Time : 0.0 sec. user=mdettweiler [2012-09-16 19:25:46] 679*2^1228779-1 is not prime. Res64: 972FD8ED14495513 Time : 0.0 sec. user=mdettweiler [2012-09-16 19:40:22] 789*2^1228779-1 is not prime. Res64: 72B3252A7E6F7F28 Time : 0.0 sec. user=mdettweiler [2012-09-16 19:40:22] 853*2^1228779-1 is not prime. Res64: 651348466A143536 Time : 0.0 sec. user=vaughan [2012-09-16 19:44:34] 703*2^1228779-1 is not prime. Res64: 300E2B8237AF561E Time : 0.0 sec. user=mdettweiler [2012-09-16 19:46:27] 895*2^1228779-1 is not prime. Res64: FEC65ECAF808BC77 Time : 0.0 sec. user=mdettweiler [2012-09-16 19:46:27] 975*2^1228779-1 is not prime. Res64: F3156C55864C8BBE Time : 0.0 sec. user=mdettweiler [2012-09-16 20:01:05] 699*2^1228780-1 is not prime. Res64: DC749225043651E1 Time : 0.0 sec. user=mdettweiler [2012-09-16 20:01:06] 743*2^1228780-1 is not prime. Res64: 8775C7039444594A Time : 0.0 sec. user=mdettweiler [2012-09-16 20:07:09] 843*2^1228780-1 is not prime. Res64: 167E900DC3A8FAD5 Time : 0.0 sec. user=mdettweiler [2012-09-16 20:07:10] 983*2^1228780-1 is not prime. Res64: B49C395AA14A12F5 Time : 0.0 sec. user=mdettweiler [2012-09-16 20:22:04] 989*2^1228780-1 is not prime. Res64: 125CA5D4F04C84D4 Time : 0.0 sec. user=mdettweiler [2012-09-16 20:22:04] 685*2^1228781-1 is not prime. Res64: 071464AA906940E9 Time : 0.0 sec. user=vaughan [2012-09-16 20:22:06] 839*2^1228780-1 is not prime. Res64: F32BE7A0D66E1AEE Time : 0.0 sec. user=mdettweiler [2012-09-16 20:28:11] 691*2^1228781-1 is not prime. Res64: 262FB8B0247F0F60 Time : 0.0 sec. user=mdettweiler [2012-09-16 20:28:11] 775*2^1228781-1 is not prime. Res64: AF1478C81281AB42 Time : 0.0 sec. user=mdettweiler [2012-09-16 20:42:53] 799*2^1228781-1 is not prime. Res64: EEF9B88D631F2735 Time : 0.0 sec. user=mdettweiler [2012-09-16 20:42:53] 949*2^1228781-1 is not prime. Res64: 80ABE83BBD5F68E4 Time : 0.0 sec. user=mdettweiler [2012-09-16 20:48:53] 807*2^1228782-1 is not prime. Res64: BF1C67BFFF7CEA52 Time : 0.0 sec. user=mdettweiler [2012-09-16 20:48:53] 887*2^1228782-1 is not prime. Res64: 2DF5A3748FC723F1 Time : 0.0 sec. user=vaughan [2012-09-16 20:59:40] 725*2^1228782-1 is not prime. Res64: 778BC613811421EC Time : 0.0 sec. user=mdettweiler [2012-09-16 21:03:43] 917*2^1228782-1 is not prime. Res64: 76BF3DF3CC2D499A Time : 0.0 sec. user=mdettweiler [2012-09-16 21:03:44] 977*2^1228782-1 is not prime. Res64: 8DC45F0523F4123D Time : 0.0 sec. user=mdettweiler [2012-09-16 21:09:46] 871*2^1228783-1 is not prime. Res64: 052E99FE48976BDA Time : 0.0 sec. user=mdettweiler [2012-09-16 21:09:49] 951*2^1228783-1 is not prime. Res64: 91BFA845BA531398 Time : 0.0 sec. user=mdettweiler [2012-09-16 21:24:31] 923*2^1228784-1 is not prime. Res64: DA52CAA9DB7B90BE Time : 0.0 sec. user=mdettweiler [2012-09-16 21:24:31] 927*2^1228784-1 is not prime. Res64: 8811966D245F9D7D Time : 0.0 sec. user=mdettweiler [2012-09-16 21:30:31] 609*2^1228785-1 is not prime. Res64: 8AA7FF25CAFA1E27 Time : 0.0 sec. user=mdettweiler [2012-09-16 21:30:31] 679*2^1228785-1 is not prime. Res64: A75CBEE849AF8449 Time : 0.0 sec. user=vaughan [2012-09-16 21:37:11] 623*2^1228784-1 is not prime. Res64: 1B94B2E833FB3AD9 Time : 0.0 sec. user=mdettweiler [2012-09-16 21:45:12] 885*2^1228785-1 is not prime. Res64: AFF62D97D2539F99 Time : 0.0 sec. user=mdettweiler [2012-09-16 21:45:12] 969*2^1228785-1 is not prime. Res64: 27F4FF6A257280C3 Time : 0.0 sec. user=gd_barnes [2012-09-16 21:45:49] 709*2^1228785-1 is not prime. Res64: B9CA3AC91A512D5F Time : 0.0 sec. user=gd_barnes [2012-09-16 21:50:06] 741*2^1228785-1 is not prime. Res64: 82D07058B927348E Time : 0.0 sec. user=gd_barnes [2012-09-16 21:50:11] 847*2^1228785-1 is not prime. Res64: 87E220DC58BCCEEC Time : 0.0 sec. user=mdettweiler [2012-09-16 21:51:15] 617*2^1228786-1 is not prime. Res64: 8F14CAC8A69B911E Time : 0.0 sec. user=mdettweiler [2012-09-16 21:51:15] 657*2^1228786-1 is not prime. Res64: 52DFD3E8D7403F16 Time : 0.0 sec. user=mdettweiler [2012-09-16 22:06:03] 755*2^1228786-1 is not prime. Res64: 77DF1F0CC6498B27 Time : 0.0 sec. user=mdettweiler [2012-09-16 22:06:05] 773*2^1228786-1 is not prime. Res64: 7B0C9C1A79C71C32 Time : 0.0 sec. user=mdettweiler [2012-09-16 22:12:06] 911*2^1228786-1 is not prime. Res64: 54A9D4F2BB961A4B Time : 0.0 sec. user=mdettweiler [2012-09-16 22:12:07] 621*2^1228787-1 is not prime. Res64: FC34BE0281C16B54 Time : 0.0 sec. user=vaughan [2012-09-16 22:14:42] 735*2^1228786-1 is not prime. Res64: 2212B96EF967C060 Time : 0.0 sec. user=mdettweiler [2012-09-16 22:26:50] 955*2^1228787-1 is not prime. Res64: 185F261A8626C07C Time : 0.0 sec. user=mdettweiler [2012-09-16 22:26:50] 973*2^1228787-1 is not prime. Res64: 0151C4F1717DFBDC Time : 0.0 sec. user=mdettweiler [2012-09-16 22:32:55] 993*2^1228787-1 is not prime. Res64: 345D6D7F56095364 Time : 0.0 sec. user=mdettweiler [2012-09-16 22:32:55] 629*2^1228788-1 is not prime. Res64: 9C0E85885E143ED5 Time : 0.0 sec. user=mdettweiler [2012-09-16 22:47:32] 735*2^1228788-1 is not prime. Res64: 255A42C209456A1E Time : 0.0 sec. user=mdettweiler [2012-09-16 22:47:33] 909*2^1228788-1 is not prime. Res64: B3C3524A23488A4E Time : 0.0 sec. user=vaughan [2012-09-16 22:52:14] 635*2^1228788-1 is not prime. Res64: FFB2F714A012A3B0 Time : 0.0 sec. user=mdettweiler [2012-09-16 22:53:36] 935*2^1228788-1 is not prime. Res64: 77E7AA0BD21284E6 Time : 0.0 sec. user=mdettweiler [2012-09-16 22:53:36] 975*2^1228788-1 is not prime. Res64: 75918782CBCD6A99 Time : 0.0 sec. user=mdettweiler [2012-09-16 23:08:13] 993*2^1228788-1 is not prime. Res64: 3F97D67BEEED3F77 Time : 0.0 sec. user=mdettweiler [2012-09-16 23:08:13] 681*2^1228789-1 is not prime. Res64: 8BBAE7D26FD0231D Time : 0.0 sec. user=mdettweiler [2012-09-16 23:14:16] 699*2^1228789-1 is not prime. Res64: BE40E0FAE57C3BA5 Time : 0.0 sec. user=mdettweiler [2012-09-16 23:14:19] 829*2^1228789-1 is not prime. Res64: 8C33F8FADBB31ABB Time : 0.0 sec. user=mdettweiler [2012-09-16 23:28:59] 831*2^1228789-1 is not prime. Res64: CDBFAD73E6E0F01C Time : 0.0 sec. user=mdettweiler [2012-09-16 23:28:59] 885*2^1228789-1 is not prime. Res64: 622450FF13202567 Time : 0.0 sec. user=vaughan [2012-09-16 23:29:45] 691*2^1228789-1 is not prime. Res64: AE5312692B156F27 Time : 0.0 sec. user=mdettweiler [2012-09-16 23:35:12] 895*2^1228789-1 is not prime. Res64: B65619AA23975BF9 Time : 0.0 sec. user=mdettweiler [2012-09-16 23:35:12] 897*2^1228789-1 is not prime. Res64: D7E1486E4F6DEFCA Time : 0.0 sec. user=mdettweiler [2012-09-16 23:49:44] 919*2^1228789-1 is not prime. Res64: 6595A2AD01F00591 Time : 0.0 sec. user=mdettweiler [2012-09-16 23:49:44] 945*2^1228789-1 is not prime. Res64: 4E3969596E43DD2F Time : 0.0 sec. user=mdettweiler [2012-09-16 23:55:53] 741*2^1228790-1 is not prime. Res64: EE74152460B1398A Time : 0.0 sec. user=mdettweiler [2012-09-16 23:55:53] 761*2^1228790-1 is not prime. Res64: 8575AB2DE2AE2688 Time : 0.0 sec.