user=mdettweiler [2015-02-09 00:02:07] 955*2^1390635-1 is not prime. Res64: 449AA369F5F6B517 Time : 0.0 sec. user=mdettweiler [2015-02-09 00:02:08] 961*2^1390635-1 is not prime. Res64: 8AB8DA875B43636D Time : 0.0 sec. user=mdettweiler [2015-02-09 00:25:52] 963*2^1390635-1 is not prime. Res64: B9C1980505AF00EE Time : 0.0 sec. user=mdettweiler [2015-02-09 00:25:53] 615*2^1390636-1 is not prime. Res64: 901536FFA293BCDF Time : 0.0 sec. user=mdettweiler [2015-02-09 00:26:18] 653*2^1390636-1 is not prime. Res64: 9E8C174C49192D11 Time : 0.0 sec. user=mdettweiler [2015-02-09 00:26:19] 695*2^1390636-1 is prime! Time : 0.0 sec. user=mdettweiler [2015-02-09 00:26:21] 839*2^1390636-1 is not prime. Res64: 498368FA31669D33 Time : 0.0 sec. user=mdettweiler [2015-02-09 00:26:22] 873*2^1390636-1 is not prime. Res64: 393981E213CA18B6 Time : 0.0 sec. user=mdettweiler [2015-02-09 00:28:18] 953*2^1390636-1 is not prime. Res64: F224D21AB89D64DB Time : 0.0 sec. user=mdettweiler [2015-02-09 00:28:19] 965*2^1390636-1 is not prime. Res64: BF01E3366BA82D23 Time : 0.0 sec. user=mdettweiler [2015-02-09 00:51:51] 691*2^1390637-1 is not prime. Res64: 8EA8C0221D18AEA4 Time : 0.0 sec. user=mdettweiler [2015-02-09 00:51:52] 711*2^1390637-1 is not prime. Res64: B9FDEE726017D9ED Time : 0.0 sec. user=mdettweiler [2015-02-09 00:52:16] 795*2^1390637-1 is not prime. Res64: F254CF3198EA90B2 Time : 0.0 sec. user=mdettweiler [2015-02-09 00:52:17] 865*2^1390637-1 is not prime. Res64: BFE0229F15110C1F Time : 0.0 sec. user=mdettweiler [2015-02-09 00:52:22] 777*2^1390637-1 is not prime. Res64: 6727249656A0AD3B Time : 0.0 sec. user=mdettweiler [2015-02-09 00:52:22] 781*2^1390637-1 is not prime. Res64: B02AFC54F7E68550 Time : 0.0 sec. user=mdettweiler [2015-02-09 00:54:14] 879*2^1390637-1 is not prime. Res64: 518668652938A517 Time : 0.0 sec. user=mdettweiler [2015-02-09 00:54:15] 889*2^1390637-1 is not prime. Res64: 281394F291E16323 Time : 0.0 sec. user=mdettweiler [2015-02-09 01:17:46] 901*2^1390637-1 is not prime. Res64: 8F1B3629E94A589B Time : 0.0 sec. user=mdettweiler [2015-02-09 01:17:46] 949*2^1390637-1 is not prime. Res64: 83D4025B8F0781C0 Time : 0.0 sec. user=mdettweiler [2015-02-09 01:18:13] 605*2^1390638-1 is not prime. Res64: 19314D6894C2BDCC Time : 0.0 sec. user=mdettweiler [2015-02-09 01:18:14] 681*2^1390638-1 is not prime. Res64: 609D749164AEC298 Time : 0.0 sec. user=mdettweiler [2015-02-09 01:18:21] 773*2^1390638-1 is not prime. Res64: 43BC752BD47AEA8D Time : 0.0 sec. user=mdettweiler [2015-02-09 01:18:21] 825*2^1390638-1 is not prime. Res64: 1412B49AAE717DC6 Time : 0.0 sec. user=mdettweiler [2015-02-09 01:20:15] 893*2^1390638-1 is not prime. Res64: 904E538E3BFA2CF8 Time : 0.0 sec. user=mdettweiler [2015-02-09 01:20:15] 649*2^1390639-1 is not prime. Res64: 9B7C00A4F5F3E050 Time : 0.0 sec. user=mdettweiler [2015-02-09 01:43:49] 705*2^1390639-1 is not prime. Res64: 5681E8BF48119AA3 Time : 0.0 sec. user=mdettweiler [2015-02-09 01:43:50] 729*2^1390639-1 is not prime. Res64: 44EB60BFF4A4E61D Time : 0.0 sec. user=mdettweiler [2015-02-09 01:44:10] 751*2^1390639-1 is not prime. Res64: FE3E3BC3088979E0 Time : 0.0 sec. user=mdettweiler [2015-02-09 01:44:11] 771*2^1390639-1 is not prime. Res64: F9EDF51D26CC860E Time : 0.0 sec. user=mdettweiler [2015-02-09 01:44:17] 829*2^1390639-1 is not prime. Res64: A26C9A56F3EF8763 Time : 0.0 sec. user=mdettweiler [2015-02-09 01:44:18] 843*2^1390639-1 is not prime. Res64: 555A51A43A336FD4 Time : 0.0 sec. user=mdettweiler [2015-02-09 01:46:10] 853*2^1390639-1 is not prime. Res64: BCBD3A79B7BD509C Time : 0.0 sec. user=mdettweiler [2015-02-09 01:46:11] 913*2^1390639-1 is not prime. Res64: 19D48C36606A1F3A Time : 0.0 sec. user=mdettweiler [2015-02-09 02:09:53] 999*2^1390639-1 is not prime. Res64: B9E0A01962F41118 Time : 0.0 sec. user=mdettweiler [2015-02-09 02:09:53] 659*2^1390640-1 is not prime. Res64: 5CC0CF16F6857445 Time : 0.0 sec. user=mdettweiler [2015-02-09 02:09:56] 919*2^1390639-1 is not prime. Res64: 16E5728E226546A7 Time : 0.0 sec. user=mdettweiler [2015-02-09 02:09:57] 933*2^1390639-1 is not prime. Res64: 6850FE77E1213BB1 Time : 0.0 sec. user=mdettweiler [2015-02-09 02:10:16] 759*2^1390640-1 is not prime. Res64: 103AB2A4E797BDFF Time : 0.0 sec. user=mdettweiler [2015-02-09 02:10:16] 803*2^1390640-1 is not prime. Res64: BD794D6052600BA8 Time : 0.0 sec. user=mdettweiler [2015-02-09 02:12:07] 845*2^1390640-1 is not prime. Res64: F3BF9D5F59D6DF8E Time : 0.0 sec. user=mdettweiler [2015-02-09 02:12:08] 977*2^1390640-1 is not prime. Res64: E664E9DC48CEC0F4 Time : 0.0 sec. user=mdettweiler [2015-02-09 02:35:45] 615*2^1390641-1 is not prime. Res64: 1D87906DF150C2BB Time : 0.0 sec. user=mdettweiler [2015-02-09 02:35:46] 739*2^1390641-1 is not prime. Res64: 69DFF499084B0070 Time : 0.0 sec. user=mdettweiler [2015-02-09 02:35:48] 741*2^1390641-1 is not prime. Res64: FD11D20017A05864 Time : 0.0 sec. user=mdettweiler [2015-02-09 02:35:49] 751*2^1390641-1 is not prime. Res64: 326791B02377FF47 Time : 0.0 sec. user=mdettweiler [2015-02-09 02:36:02] 817*2^1390641-1 is not prime. Res64: 97F48E19A7156551 Time : 0.0 sec. user=mdettweiler [2015-02-09 02:36:02] 871*2^1390641-1 is not prime. Res64: 6FFB49C631BFBD94 Time : 0.0 sec. user=mdettweiler [2015-02-09 02:38:00] 921*2^1390641-1 is not prime. Res64: 249348B410A22721 Time : 0.0 sec. user=mdettweiler [2015-02-09 02:38:01] 999*2^1390641-1 is not prime. Res64: 2A1E9C409A14CE64 Time : 0.0 sec. user=mdettweiler [2015-02-09 03:02:01] 873*2^1390642-1 is not prime. Res64: ECDB6BB75998AC51 Time : 0.0 sec. user=mdettweiler [2015-02-09 03:02:02] 609*2^1390643-1 is not prime. Res64: 72DE8717C90DA13F Time : 0.0 sec. user=mdettweiler [2015-02-09 03:02:09] 715*2^1390643-1 is not prime. Res64: A692EF9FE0F4181E Time : 0.0 sec. user=mdettweiler [2015-02-09 03:02:10] 745*2^1390643-1 is not prime. Res64: 209A33830FDA38BC Time : 0.0 sec. user=mdettweiler [2015-02-09 03:02:16] 705*2^1390642-1 is not prime. Res64: 7AB7B08656CE63E4 Time : 0.0 sec. user=mdettweiler [2015-02-09 03:02:18] 827*2^1390642-1 is not prime. Res64: A342BC4AFDC65FF0 Time : 0.0 sec. user=mdettweiler [2015-02-09 03:04:36] 775*2^1390643-1 is not prime. Res64: 34DC6F90AA6B2FE8 Time : 0.0 sec. user=mdettweiler [2015-02-09 03:04:37] 801*2^1390643-1 is not prime. Res64: F954B639EF28281C Time : 0.0 sec. user=mdettweiler [2015-02-09 03:28:29] 615*2^1390644-1 is not prime. Res64: 10AF2F92E5C82832 Time : 0.0 sec. user=mdettweiler [2015-02-09 03:28:30] 639*2^1390644-1 is not prime. Res64: 78B4124F169C4E31 Time : 0.0 sec. user=mdettweiler [2015-02-09 03:28:31] 813*2^1390643-1 is not prime. Res64: 831610BE750A8BFF Time : 0.0 sec. user=mdettweiler [2015-02-09 03:28:32] 943*2^1390643-1 is not prime. Res64: 07388DD15A5B238B Time : 0.0 sec. user=mdettweiler [2015-02-09 03:28:35] 691*2^1390645-1 is not prime. Res64: A5F3FF5E49FDF72E Time : 0.0 sec. user=mdettweiler [2015-02-09 03:28:37] 727*2^1390645-1 is not prime. Res64: 5CFA46C93EFEFBD3 Time : 0.0 sec. user=mdettweiler [2015-02-09 03:30:34] 757*2^1390645-1 is not prime. Res64: 929861C2A0D2E82B Time : 0.0 sec. user=mdettweiler [2015-02-09 03:30:35] 777*2^1390645-1 is not prime. Res64: D9053BBCB71676B7 Time : 0.0 sec. user=mdettweiler [2015-02-09 03:54:34] 867*2^1390645-1 is not prime. Res64: D0006F1D0C548D12 Time : 0.0 sec. user=mdettweiler [2015-02-09 03:54:35] 955*2^1390645-1 is not prime. Res64: 657E305DF1293C2D Time : 0.0 sec. user=mdettweiler [2015-02-09 03:54:36] 987*2^1390645-1 is not prime. Res64: C147A3E3CAE2D59A Time : 0.0 sec. user=mdettweiler [2015-02-09 03:54:37] 663*2^1390646-1 is not prime. Res64: 5B9CE8C1B9C3179E Time : 0.0 sec. user=mdettweiler [2015-02-09 03:54:39] 815*2^1390646-1 is not prime. Res64: D01A2694A96060AF Time : 0.0 sec. user=mdettweiler [2015-02-09 03:54:40] 825*2^1390646-1 is not prime. Res64: 083C991BC088861D Time : 0.0 sec. user=mdettweiler [2015-02-09 03:56:25] 923*2^1390646-1 is not prime. Res64: 51CF51E38EC29230 Time : 0.0 sec. user=mdettweiler [2015-02-09 03:56:25] 983*2^1390646-1 is not prime. Res64: A3F0F4EFCF7D6493 Time : 0.0 sec. user=mdettweiler [2015-02-09 04:20:28] 739*2^1390647-1 is not prime. Res64: 5B30AFF04051E02B Time : 0.0 sec. user=mdettweiler [2015-02-09 04:20:28] 805*2^1390647-1 is not prime. Res64: ACF1622AAAA7F5AD Time : 0.0 sec. user=mdettweiler [2015-02-09 04:20:33] 625*2^1390647-1 is not prime. Res64: 06A28A4C3B5590F6 Time : 0.0 sec. user=mdettweiler [2015-02-09 04:20:33] 711*2^1390647-1 is not prime. Res64: F03605A8B2A70DCA Time : 0.0 sec. user=mdettweiler [2015-02-09 04:20:38] 849*2^1390647-1 is not prime. Res64: 472AD15F9342CF6B Time : 0.0 sec. user=mdettweiler [2015-02-09 04:20:38] 945*2^1390647-1 is not prime. Res64: 910365DDB3E6F1A9 Time : 0.0 sec. user=mdettweiler [2015-02-09 04:22:23] 951*2^1390647-1 is not prime. Res64: 1F7C60CDF923E402 Time : 0.0 sec. user=mdettweiler [2015-02-09 04:22:24] 985*2^1390647-1 is not prime. Res64: B42513F101A8325C Time : 0.0 sec. user=mdettweiler [2015-02-09 04:46:21] 635*2^1390648-1 is not prime. Res64: EE0D11A64E078519 Time : 0.0 sec. user=mdettweiler [2015-02-09 04:46:21] 665*2^1390648-1 is not prime. Res64: 74D4E288F8BD5179 Time : 0.0 sec. user=mdettweiler [2015-02-09 04:46:24] 677*2^1390648-1 is not prime. Res64: 7DF9EBFAB5802461 Time : 0.0 sec. user=mdettweiler [2015-02-09 04:46:25] 713*2^1390648-1 is not prime. Res64: A1FEF7E591C00579 Time : 0.0 sec. user=mdettweiler [2015-02-09 04:46:39] 743*2^1390648-1 is not prime. Res64: 4F65927DC9FB5B61 Time : 0.0 sec. user=mdettweiler [2015-02-09 04:46:40] 819*2^1390648-1 is not prime. Res64: 52DAB3BB891613CE Time : 0.0 sec. user=mdettweiler [2015-02-09 04:48:26] 933*2^1390648-1 is not prime. Res64: 62CC369D9DE17882 Time : 0.0 sec. user=mdettweiler [2015-02-09 04:48:27] 675*2^1390649-1 is not prime. Res64: EDEBE569A5EBEC82 Time : 0.0 sec. user=mdettweiler [2015-02-09 05:12:15] 791*2^1390650-1 is not prime. Res64: 4FF93E91779D258A Time : 0.0 sec. user=mdettweiler [2015-02-09 05:12:15] 873*2^1390650-1 is not prime. Res64: 688EB4BAC718C70C Time : 0.0 sec. user=mdettweiler [2015-02-09 05:12:18] 747*2^1390649-1 is not prime. Res64: 4D7C0C58EE2C7F46 Time : 0.0 sec. user=mdettweiler [2015-02-09 05:12:19] 615*2^1390650-1 is not prime. Res64: 1C3EDF8820F8EF21 Time : 0.0 sec. user=mdettweiler [2015-02-09 05:12:32] 927*2^1390650-1 is not prime. Res64: AA78265DA4A11177 Time : 0.0 sec. user=mdettweiler [2015-02-09 05:12:32] 1001*2^1390650-1 is not prime. Res64: 31D1D81532CF77EE Time : 0.0 sec. user=mdettweiler [2015-02-09 05:14:15] 615*2^1390651-1 is not prime. Res64: E8D474742A19606A Time : 0.0 sec. user=mdettweiler [2015-02-09 05:14:15] 645*2^1390651-1 is not prime. Res64: 4EF69A59E954E5E8 Time : 0.0 sec. user=mdettweiler [2015-02-09 05:38:06] 793*2^1390651-1 is not prime. Res64: 2A27E840294C401D Time : 0.0 sec. user=mdettweiler [2015-02-09 05:38:07] 883*2^1390651-1 is not prime. Res64: 4C4F75688E163F20 Time : 0.0 sec. user=mdettweiler [2015-02-09 05:38:11] 681*2^1390651-1 is not prime. Res64: 45F8804D6AB33D7D Time : 0.0 sec. user=mdettweiler [2015-02-09 05:38:12] 789*2^1390651-1 is not prime. Res64: B12E6A9C504DD25F Time : 0.0 sec. user=mdettweiler [2015-02-09 05:38:25] 913*2^1390651-1 is not prime. Res64: 1591C2D7CD748D91 Time : 0.0 sec. user=mdettweiler [2015-02-09 05:38:26] 635*2^1390652-1 is not prime. Res64: 287C42D1394B6964 Time : 0.0 sec. user=mdettweiler [2015-02-09 05:39:59] 699*2^1390652-1 is not prime. Res64: B7F7DF3B60D324D8 Time : 0.0 sec. user=mdettweiler [2015-02-09 05:39:59] 719*2^1390652-1 is not prime. Res64: 11A250A74C69E77C Time : 0.0 sec. user=mdettweiler [2015-02-09 06:03:59] 743*2^1390652-1 is not prime. Res64: C0516DEB174B2CA2 Time : 0.0 sec. user=mdettweiler [2015-02-09 06:04:01] 843*2^1390652-1 is not prime. Res64: FB49F7668A77A433 Time : 0.0 sec. user=mdettweiler [2015-02-09 06:04:01] 873*2^1390652-1 is not prime. Res64: 30A1F56D9AA142B7 Time : 0.0 sec. user=mdettweiler [2015-02-09 06:04:02] 879*2^1390652-1 is not prime. Res64: CEABF0A3C03EA862 Time : 0.0 sec. user=mdettweiler [2015-02-09 06:04:19] 893*2^1390652-1 is not prime. Res64: 876343229E10CB20 Time : 0.0 sec. user=mdettweiler [2015-02-09 06:04:20] 909*2^1390652-1 is not prime. Res64: 864BB82F2DC9C72C Time : 0.0 sec. user=mdettweiler [2015-02-09 06:05:49] 957*2^1390652-1 is not prime. Res64: 778EBB0E735007FF Time : 0.0 sec. user=mdettweiler [2015-02-09 06:05:49] 987*2^1390652-1 is not prime. Res64: 44A6F052B3893481 Time : 0.0 sec. user=mdettweiler [2015-02-09 06:30:29] 685*2^1390653-1 is not prime. Res64: 717011D9547D6290 Time : 0.0 sec. user=mdettweiler [2015-02-09 06:30:29] 747*2^1390653-1 is not prime. Res64: 1D43AC9E9D011E8A Time : 0.0 sec. user=mdettweiler [2015-02-09 06:30:30] 765*2^1390653-1 is not prime. Res64: 42E00F634F646FF8 Time : 0.0 sec. user=mdettweiler [2015-02-09 06:30:30] 787*2^1390653-1 is not prime. Res64: F480FF4F1F6038CA Time : 0.0 sec. user=mdettweiler [2015-02-09 06:30:33] 615*2^1390653-1 is not prime. Res64: C1AA59638D0C5802 Time : 0.0 sec. user=mdettweiler [2015-02-09 06:30:33] 679*2^1390653-1 is not prime. Res64: 6B33DCC9C8E47757 Time : 0.0 sec. user=mdettweiler [2015-02-09 06:31:39] 867*2^1390653-1 is not prime. Res64: FC0E17649F1A9E44 Time : 0.0 sec. user=mdettweiler [2015-02-09 06:31:39] 889*2^1390653-1 is not prime. Res64: CFDAF9AAF3009C58 Time : 0.0 sec. user=mdettweiler [2015-02-09 06:56:19] 611*2^1390654-1 is not prime. Res64: 765D71BA830B20B5 Time : 0.0 sec. user=mdettweiler [2015-02-09 06:56:20] 681*2^1390654-1 is not prime. Res64: 33864447BF53087A Time : 0.0 sec. user=mdettweiler [2015-02-09 06:56:21] 687*2^1390654-1 is not prime. Res64: F32A7F266BE2CB5D Time : 0.0 sec. user=mdettweiler [2015-02-09 06:56:22] 785*2^1390654-1 is not prime. Res64: C93D716C379A2490 Time : 0.0 sec. user=mdettweiler [2015-02-09 06:56:26] 791*2^1390654-1 is not prime. Res64: 98B65D68111C078D Time : 0.0 sec. user=mdettweiler [2015-02-09 06:56:27] 825*2^1390654-1 is not prime. Res64: F479330439F7758D Time : 0.0 sec. user=mdettweiler [2015-02-09 06:57:28] 833*2^1390654-1 is not prime. Res64: 0889375DD710C668 Time : 0.0 sec. user=mdettweiler [2015-02-09 06:57:29] 861*2^1390654-1 is not prime. Res64: 55C7FF0082D1333B Time : 0.0 sec. user=mdettweiler [2015-02-09 07:22:17] 981*2^1390654-1 is not prime. Res64: AB318086AFD83BB0 Time : 0.0 sec. user=mdettweiler [2015-02-09 07:22:18] 645*2^1390655-1 is not prime. Res64: 09B2099987B2A48D Time : 0.0 sec. user=mdettweiler [2015-02-09 07:22:22] 805*2^1390655-1 is not prime. Res64: BB2982F8105BED72 Time : 0.0 sec. user=mdettweiler [2015-02-09 07:22:23] 943*2^1390655-1 is not prime. Res64: 924C7424F74DC017 Time : 0.0 sec. user=mdettweiler [2015-02-09 07:22:24] 633*2^1390656-1 is not prime. Res64: D27B92C86068D596 Time : 0.0 sec. user=mdettweiler [2015-02-09 07:22:25] 789*2^1390656-1 is not prime. Res64: 9545E8693DEFE21C Time : 0.0 sec. user=mdettweiler [2015-02-09 07:23:33] 825*2^1390656-1 is not prime. Res64: 8378441C74F81516 Time : 0.0 sec. user=mdettweiler [2015-02-09 07:23:34] 839*2^1390656-1 is not prime. Res64: E8CC6218C29F3520 Time : 0.0 sec. user=mdettweiler [2015-02-09 07:48:16] 873*2^1390656-1 is not prime. Res64: E89FAA6D232057B9 Time : 0.0 sec. user=mdettweiler [2015-02-09 07:48:17] 607*2^1390657-1 is not prime. Res64: 0D4DBA73CAFFB7E5 Time : 0.0 sec. user=mdettweiler [2015-02-09 07:48:20] 615*2^1390657-1 is not prime. Res64: 70FCBE1E094FE7DC Time : 0.0 sec. user=mdettweiler [2015-02-09 07:48:21] 639*2^1390657-1 is not prime. Res64: EF9C3D018F188D01 Time : 0.0 sec. user=mdettweiler [2015-02-09 07:48:21] 675*2^1390657-1 is not prime. Res64: 927FA39047CBCB37 Time : 0.0 sec. user=mdettweiler [2015-02-09 07:48:22] 685*2^1390657-1 is not prime. Res64: F57D4BEF1C45040F Time : 0.0 sec. user=mdettweiler [2015-02-09 07:49:38] 829*2^1390657-1 is not prime. Res64: 3F1EFF75207C8071 Time : 0.0 sec. user=mdettweiler [2015-02-09 07:49:38] 895*2^1390657-1 is not prime. Res64: A67747585EB03796 Time : 0.0 sec. user=mdettweiler [2015-02-09 08:14:11] 713*2^1390658-1 is not prime. Res64: AD20E58B3EE97616 Time : 0.0 sec. user=mdettweiler [2015-02-09 08:14:11] 791*2^1390658-1 is not prime. Res64: 047A6955E64F8B06 Time : 0.0 sec. user=mdettweiler [2015-02-09 08:14:18] 683*2^1390658-1 is not prime. Res64: 22FC06FCA8713B11 Time : 0.0 sec. user=mdettweiler [2015-02-09 08:14:19] 705*2^1390658-1 is not prime. Res64: 953E310C9005AEFF Time : 0.0 sec. user=mdettweiler [2015-02-09 08:14:23] 813*2^1390658-1 is not prime. Res64: 833FF5AEB117AE33 Time : 0.0 sec. user=mdettweiler [2015-02-09 08:14:24] 893*2^1390658-1 is not prime. Res64: F55FEA207F072590 Time : 0.0 sec. user=mdettweiler [2015-02-09 08:15:51] 945*2^1390658-1 is not prime. Res64: 1054F740623E2498 Time : 0.0 sec. user=mdettweiler [2015-02-09 08:15:51] 613*2^1390659-1 is not prime. Res64: AD74CB8E467169D2 Time : 0.0 sec. user=mdettweiler [2015-02-09 08:40:07] 669*2^1390659-1 is not prime. Res64: 8F40682E1934D626 Time : 0.0 sec. user=mdettweiler [2015-02-09 08:40:08] 721*2^1390659-1 is not prime. Res64: 6FA00BA217ACD88D Time : 0.0 sec. user=mdettweiler [2015-02-09 08:40:11] 795*2^1390659-1 is not prime. Res64: 1E9F268909ED41E5 Time : 0.0 sec. user=mdettweiler [2015-02-09 08:40:12] 801*2^1390659-1 is not prime. Res64: 8044200771C3B241 Time : 0.0 sec. user=mdettweiler [2015-02-09 08:40:19] 835*2^1390659-1 is not prime. Res64: C8FF2481508B663F Time : 0.0 sec. user=mdettweiler [2015-02-09 08:40:19] 609*2^1390660-1 is not prime. Res64: 16C2797E322DEF22 Time : 0.0 sec. user=mdettweiler [2015-02-09 08:41:41] 647*2^1390660-1 is not prime. Res64: 75A19E5614FB3E13 Time : 0.0 sec. user=mdettweiler [2015-02-09 08:41:41] 719*2^1390660-1 is not prime. Res64: DB673C71A796F200 Time : 0.0 sec. user=mdettweiler [2015-02-09 09:06:42] 827*2^1390660-1 is not prime. Res64: 8B4553C0F39729CA Time : 0.0 sec. user=mdettweiler [2015-02-09 09:06:42] 863*2^1390660-1 is not prime. Res64: 2AF299F4D1098444 Time : 0.0 sec. user=mdettweiler [2015-02-09 09:06:43] 965*2^1390660-1 is not prime. Res64: 6EFEE471003A72D8 Time : 0.0 sec. user=mdettweiler [2015-02-09 09:06:43] 857*2^1390660-1 is not prime. Res64: 4DC290D603DAC6E4 Time : 0.0 sec. user=mdettweiler [2015-02-09 09:06:52] 999*2^1390660-1 is not prime. Res64: DFEB3E4D9591BA6B Time : 0.0 sec. user=mdettweiler [2015-02-09 09:06:53] 601*2^1390661-1 is not prime. Res64: 39419044DE8D2261 Time : 0.0 sec. user=mdettweiler [2015-02-09 09:08:14] 801*2^1390661-1 is not prime. Res64: 56AA8891669F772F Time : 0.0 sec. user=mdettweiler [2015-02-09 09:08:14] 825*2^1390661-1 is not prime. Res64: 29C0C0D7C3A26069 Time : 0.0 sec. user=mdettweiler [2015-02-09 09:32:57] 957*2^1390661-1 is not prime. Res64: 50EFB4162E79F91C Time : 0.0 sec. user=mdettweiler [2015-02-09 09:32:57] 755*2^1390662-1 is not prime. Res64: C338B2D0A49579B6 Time : 0.0 sec. user=mdettweiler [2015-02-09 09:33:02] 829*2^1390661-1 is not prime. Res64: 1CA67343BACEB50F Time : 0.0 sec. user=mdettweiler [2015-02-09 09:33:02] 879*2^1390661-1 is not prime. Res64: 22B7516EB6FC9CE7 Time : 0.0 sec. user=mdettweiler [2015-02-09 09:33:06] 889*2^1390661-1 is not prime. Res64: 54F02D29489D40FA Time : 0.0 sec. user=mdettweiler [2015-02-09 09:33:07] 925*2^1390661-1 is not prime. Res64: A43814D8756F17F6 Time : 0.0 sec. user=mdettweiler [2015-02-09 09:34:36] 729*2^1390663-1 is not prime. Res64: EF8EB34963460606 Time : 0.0 sec. user=mdettweiler [2015-02-09 09:34:36] 741*2^1390663-1 is not prime. Res64: B6FA90913132B569 Time : 0.0 sec. user=mdettweiler [2015-02-09 09:58:54] 861*2^1390663-1 is not prime. Res64: 53099BBA4C61CA94 Time : 0.0 sec. user=mdettweiler [2015-02-09 09:58:54] 919*2^1390663-1 is not prime. Res64: DFCE990705014EE1 Time : 0.0 sec. user=mdettweiler [2015-02-09 09:58:54] 895*2^1390663-1 is not prime. Res64: EF53D58756591537 Time : 0.0 sec. user=mdettweiler [2015-02-09 09:58:55] 951*2^1390663-1 is not prime. Res64: 853F4580DE34EBCE Time : 0.0 sec. user=mdettweiler [2015-02-09 09:59:06] 993*2^1390663-1 is not prime. Res64: 55DC4945C011C0A0 Time : 0.0 sec. user=mdettweiler [2015-02-09 09:59:06] 609*2^1390664-1 is not prime. Res64: 9C183D2660788D7E Time : 0.0 sec. user=mdettweiler [2015-02-09 10:00:32] 615*2^1390664-1 is not prime. Res64: 1C1F953A8C247F36 Time : 0.0 sec. user=mdettweiler [2015-02-09 10:00:34] 629*2^1390664-1 is not prime. Res64: 028A4857B5E59AA6 Time : 0.0 sec. user=mdettweiler [2015-02-09 10:24:54] 861*2^1390665-1 is not prime. Res64: 484DD2140146FC14 Time : 0.0 sec. user=mdettweiler [2015-02-09 10:24:55] 877*2^1390665-1 is not prime. Res64: 856061A9085F0534 Time : 0.0 sec. user=mdettweiler [2015-02-09 10:24:58] 657*2^1390664-1 is not prime. Res64: 9BAC7D8F1CB37377 Time : 0.0 sec. user=mdettweiler [2015-02-09 10:24:58] 819*2^1390665-1 is not prime. Res64: 1D96BBDB3BE7518F Time : 0.0 sec. user=mdettweiler [2015-02-09 10:25:03] 949*2^1390665-1 is not prime. Res64: D463608BCABFB5A6 Time : 0.0 sec. user=mdettweiler [2015-02-09 10:25:03] 623*2^1390666-1 is not prime. Res64: AC0D379609396645 Time : 0.0 sec. user=mdettweiler [2015-02-09 10:26:33] 651*2^1390666-1 is not prime. Res64: FE8140F83DFC969C Time : 0.0 sec. user=mdettweiler [2015-02-09 10:26:34] 735*2^1390666-1 is not prime. Res64: 0E683B833BAB714A Time : 0.0 sec. user=mdettweiler [2015-02-09 10:50:50] 867*2^1390666-1 is not prime. Res64: 45EAEC9C523A2327 Time : 0.0 sec. user=mdettweiler [2015-02-09 10:50:51] 609*2^1390667-1 is not prime. Res64: ACDF35BC8F7AADEC Time : 0.0 sec. user=mdettweiler [2015-02-09 10:50:54] 755*2^1390666-1 is not prime. Res64: 479F233E61C10008 Time : 0.0 sec. user=mdettweiler [2015-02-09 10:50:54] 815*2^1390666-1 is not prime. Res64: 3ADDC30296F8F0B8 Time : 0.0 sec. user=mdettweiler [2015-02-09 10:50:58] 619*2^1390667-1 is not prime. Res64: 0269DC73C399FF89 Time : 0.0 sec. user=mdettweiler [2015-02-09 10:50:58] 645*2^1390667-1 is not prime. Res64: 013A24B7374731CB Time : 0.0 sec. user=mdettweiler [2015-02-09 10:52:32] 733*2^1390667-1 is not prime. Res64: 571DA5D1F9331F91 Time : 0.0 sec. user=mdettweiler [2015-02-09 10:52:33] 775*2^1390667-1 is not prime. Res64: 2340293F88752A2A Time : 0.0 sec. user=juhehe [2015-02-09 11:04:30] 685*2^1390667-1 is not prime. Res64: CCA0084A21FE6833 Time : 0.0 sec. user=mdettweiler [2015-02-09 11:16:47] 783*2^1390668-1 is not prime. Res64: 4B820396DB266C72 Time : 0.0 sec. user=mdettweiler [2015-02-09 11:16:47] 905*2^1390668-1 is not prime. Res64: 8F73321AD8056BFA Time : 0.0 sec. user=mdettweiler [2015-02-09 11:16:53] 861*2^1390667-1 is not prime. Res64: 5F6DDE079EACF3D9 Time : 0.0 sec. user=mdettweiler [2015-02-09 11:16:53] 993*2^1390667-1 is not prime. Res64: D50C2FDBEF47B7A5 Time : 0.0 sec. user=mdettweiler [2015-02-09 11:16:56] 945*2^1390668-1 is not prime. Res64: 345E8629E37D7BB3 Time : 0.0 sec. user=mdettweiler [2015-02-09 11:16:57] 609*2^1390669-1 is not prime. Res64: 6A0D6380DB8580B0 Time : 0.0 sec. user=mdettweiler [2015-02-09 11:18:28] 625*2^1390669-1 is not prime. Res64: F22889913703136E Time : 0.0 sec. user=mdettweiler [2015-02-09 11:18:28] 729*2^1390669-1 is not prime. Res64: BFEC5E283C8B6721 Time : 0.0 sec. user=mdettweiler [2015-02-09 11:42:57] 747*2^1390669-1 is not prime. Res64: 5957104B55A3ADD6 Time : 0.0 sec. user=mdettweiler [2015-02-09 11:42:58] 847*2^1390669-1 is not prime. Res64: 0C7A46B43D90226F Time : 0.0 sec. user=mdettweiler [2015-02-09 11:42:58] 789*2^1390669-1 is not prime. Res64: 0A409BB173D47C9D Time : 0.0 sec. user=mdettweiler [2015-02-09 11:42:58] 967*2^1390669-1 is not prime. Res64: E09790331329A1BF Time : 0.0 sec. user=mdettweiler [2015-02-09 11:43:10] 987*2^1390669-1 is not prime. Res64: 52EF3E6502FA7F64 Time : 0.0 sec. user=mdettweiler [2015-02-09 11:43:10] 665*2^1390670-1 is not prime. Res64: DE63F16E3A683670 Time : 0.0 sec. user=mdettweiler [2015-02-09 11:44:45] 677*2^1390670-1 is not prime. Res64: E2E0FEFAA4405EAB Time : 0.0 sec. user=mdettweiler [2015-02-09 11:44:46] 711*2^1390670-1 is not prime. Res64: FCCE1A52DB7CC42E Time : 0.0 sec. user=mdettweiler [2015-02-09 12:11:30] 761*2^1390670-1 is not prime. Res64: 5A4C7CB4164786E7 Time : 0.0 sec. user=mdettweiler [2015-02-09 12:11:31] 773*2^1390670-1 is not prime. Res64: FE5D598A3829AB5C Time : 0.0 sec. user=mdettweiler [2015-02-09 12:11:31] 923*2^1390670-1 is not prime. Res64: C0F29E71DE9839BF Time : 0.0 sec. user=mdettweiler [2015-02-09 12:11:31] 785*2^1390670-1 is not prime. Res64: A2E00823B81A8109 Time : 0.0 sec. user=mdettweiler [2015-02-09 12:11:31] 685*2^1390671-1 is not prime. Res64: DEF7D49E9F18A529 Time : 0.0 sec. user=mdettweiler [2015-02-09 12:11:31] 911*2^1390670-1 is not prime. Res64: CCD9EB52B9448BA5 Time : 0.0 sec. user=mdettweiler [2015-02-09 12:13:16] 781*2^1390671-1 is not prime. Res64: ED80559473E60D70 Time : 0.0 sec. user=mdettweiler [2015-02-09 12:13:16] 829*2^1390671-1 is not prime. Res64: D4A61B37F5DA7B28 Time : 0.0 sec. user=mdettweiler [2015-02-09 12:46:40] 859*2^1390671-1 is not prime. Res64: 97A9CA67BD636350 Time : 0.0 sec. user=mdettweiler [2015-02-09 12:46:41] 865*2^1390671-1 is not prime. Res64: 058EAE6838292FC8 Time : 0.0 sec. user=mdettweiler [2015-02-09 12:47:03] 619*2^1390673-1 is not prime. Res64: A93243631D9F870C Time : 0.0 sec. user=mdettweiler [2015-02-09 12:47:03] 691*2^1390673-1 is not prime. Res64: 61410E735F235B66 Time : 0.0 sec. user=mdettweiler [2015-02-09 12:47:13] 765*2^1390672-1 is not prime. Res64: 65358389C04DA52F Time : 0.0 sec. user=mdettweiler [2015-02-09 12:47:14] 875*2^1390672-1 is not prime. Res64: DE7E6380E87D56E2 Time : 0.0 sec. user=mdettweiler [2015-02-09 12:49:26] 741*2^1390673-1 is not prime. Res64: 125BCC0707EB6D2A Time : 0.0 sec. user=mdettweiler [2015-02-09 12:49:27] 837*2^1390673-1 is not prime. Res64: F9EDE4BEC02BADA1 Time : 0.0 sec. user=mdettweiler [2015-02-09 13:13:40] 937*2^1390673-1 is not prime. Res64: 0DF7C144AA0DF13D Time : 0.0 sec. user=mdettweiler [2015-02-09 13:13:40] 651*2^1390674-1 is not prime. Res64: AA4CC7247EECB4A4 Time : 0.0 sec. user=mdettweiler [2015-02-09 13:13:50] 737*2^1390674-1 is not prime. Res64: 75549722AF373F85 Time : 0.0 sec. user=mdettweiler [2015-02-09 13:13:50] 773*2^1390674-1 is not prime. Res64: BDC20DA4363C29CF Time : 0.0 sec. user=mdettweiler [2015-02-09 13:14:21] 885*2^1390674-1 is not prime. Res64: FAD6BD1BD966B798 Time : 0.0 sec. user=mdettweiler [2015-02-09 13:14:21] 891*2^1390674-1 is not prime. Res64: 93F3753A6720009A Time : 0.0 sec. user=mdettweiler [2015-02-09 13:16:08] 917*2^1390674-1 is not prime. Res64: 5FCD70EA25911B01 Time : 0.0 sec. user=mdettweiler [2015-02-09 13:16:08] 921*2^1390674-1 is not prime. Res64: 21BEC5B2856429ED Time : 0.0 sec. user=mdettweiler [2015-02-09 13:40:11] 951*2^1390674-1 is not prime. Res64: B2650AA2EEEB6DCB Time : 0.0 sec. user=mdettweiler [2015-02-09 13:40:12] 983*2^1390674-1 is not prime. Res64: 1E408F45A608F6E0 Time : 0.0 sec. user=mdettweiler [2015-02-09 13:40:33] 625*2^1390675-1 is not prime. Res64: BC1483C292028B41 Time : 0.0 sec. user=mdettweiler [2015-02-09 13:40:33] 685*2^1390675-1 is not prime. Res64: 9388509F1F125CD7 Time : 0.0 sec. user=mdettweiler [2015-02-09 13:40:50] 693*2^1390675-1 is not prime. Res64: B9B0F7E8C67DA854 Time : 0.0 sec. user=mdettweiler [2015-02-09 13:40:50] 705*2^1390675-1 is not prime. Res64: 21B9134BE7D086FE Time : 0.0 sec. user=mdettweiler [2015-02-09 13:42:43] 751*2^1390675-1 is not prime. Res64: 997A45D597C7EB1C Time : 0.0 sec. user=mdettweiler [2015-02-09 13:42:44] 765*2^1390675-1 is not prime. Res64: E07824BC49164DCE Time : 0.0 sec. user=mdettweiler [2015-02-09 14:06:56] 789*2^1390675-1 is not prime. Res64: 6E44C2D3DDCCD4F1 Time : 0.0 sec. user=mdettweiler [2015-02-09 14:06:56] 985*2^1390675-1 is not prime. Res64: B4C50BA5DE34773E Time : 0.0 sec. user=mdettweiler [2015-02-09 14:07:09] 615*2^1390676-1 is not prime. Res64: B73CC06F6C6BE3C9 Time : 0.0 sec. user=mdettweiler [2015-02-09 14:07:09] 623*2^1390676-1 is not prime. Res64: 3E24CC48E6492FFD Time : 0.0 sec. user=mdettweiler [2015-02-09 14:07:26] 825*2^1390676-1 is not prime. Res64: 38FC12C4FC473120 Time : 0.0 sec. user=mdettweiler [2015-02-09 14:07:26] 879*2^1390676-1 is not prime. Res64: CE4FABC134211C2D Time : 0.0 sec. user=mdettweiler [2015-02-09 14:09:28] 945*2^1390676-1 is not prime. Res64: 5059505275674B6F Time : 0.0 sec. user=mdettweiler [2015-02-09 14:09:28] 621*2^1390677-1 is not prime. Res64: 95BB7BE919FA9C76 Time : 0.0 sec. user=mdettweiler [2015-02-09 14:34:11] 691*2^1390677-1 is not prime. Res64: B8AA57EB03110968 Time : 0.0 sec. user=mdettweiler [2015-02-09 14:34:11] 747*2^1390677-1 is not prime. Res64: 6D9C241072A7D970 Time : 0.0 sec. user=mdettweiler [2015-02-09 14:34:21] 751*2^1390677-1 is not prime. Res64: 7515E77966E30AFA Time : 0.0 sec. user=mdettweiler [2015-02-09 14:34:22] 781*2^1390677-1 is not prime. Res64: B09961A6EFC1061F Time : 0.0 sec. user=mdettweiler [2015-02-09 14:34:40] 955*2^1390677-1 is not prime. Res64: 5C3D8E443824FFB9 Time : 0.0 sec. user=mdettweiler [2015-02-09 14:34:40] 611*2^1390678-1 is not prime. Res64: F7C377305E6C06FA Time : 0.0 sec. user=mdettweiler [2015-02-09 14:36:42] 677*2^1390678-1 is not prime. Res64: 9BC0E0994308D96D Time : 0.0 sec. user=mdettweiler [2015-02-09 14:36:42] 755*2^1390678-1 is not prime. Res64: EEF3E14E47015DA6 Time : 0.0 sec. user=mdettweiler [2015-02-09 15:01:40] 773*2^1390678-1 is not prime. Res64: 5BE7FA158A2DC98E Time : 0.0 sec. user=mdettweiler [2015-02-09 15:01:41] 801*2^1390678-1 is not prime. Res64: FCA07008A476D38F Time : 0.0 sec. user=mdettweiler [2015-02-09 15:01:47] 843*2^1390678-1 is not prime. Res64: 2B257BF245C70EAB Time : 0.0 sec. user=mdettweiler [2015-02-09 15:01:48] 933*2^1390678-1 is not prime. Res64: D7EDDA4223327F61 Time : 0.0 sec. user=mdettweiler [2015-02-09 15:02:06] 945*2^1390678-1 is not prime. Res64: 8B04197F9CFB9F46 Time : 0.0 sec. user=mdettweiler [2015-02-09 15:02:08] 951*2^1390678-1 is not prime. Res64: D0F307BDE643FBDE Time : 0.0 sec. user=mdettweiler [2015-02-09 15:04:01] 1001*2^1390678-1 is not prime. Res64: B4647D2D58623C31 Time : 0.0 sec. user=mdettweiler [2015-02-09 15:04:03] 645*2^1390679-1 is not prime. Res64: 237CD1D7B2808FD6 Time : 0.0 sec. user=mdettweiler [2015-02-09 15:28:40] 661*2^1390679-1 is not prime. Res64: 6B217F70B5086196 Time : 0.0 sec. user=mdettweiler [2015-02-09 15:28:40] 693*2^1390679-1 is not prime. Res64: 1FD1821D0CAB9556 Time : 0.0 sec. user=mdettweiler [2015-02-09 15:28:44] 759*2^1390679-1 is not prime. Res64: D509BFD1B2F2C31B Time : 0.0 sec. user=mdettweiler [2015-02-09 15:28:44] 789*2^1390679-1 is not prime. Res64: 8D03AC345E561C2F Time : 0.0 sec. user=mdettweiler [2015-02-09 15:28:50] 799*2^1390679-1 is not prime. Res64: 8B4AAE1DB8F54A4A Time : 0.0 sec. user=mdettweiler [2015-02-09 15:28:51] 825*2^1390679-1 is not prime. Res64: 12453198CE974878 Time : 0.0 sec. user=mdettweiler [2015-02-09 15:31:10] 931*2^1390679-1 is not prime. Res64: 3C1A65FB345108FD Time : 0.0 sec. user=mdettweiler [2015-02-09 15:31:10] 943*2^1390679-1 is not prime. Res64: 3AA5D4B0665C8F7C Time : 0.0 sec. user=mdettweiler [2015-02-09 15:55:03] 665*2^1390680-1 is not prime. Res64: C90ABA1008AD251A Time : 0.0 sec. user=mdettweiler [2015-02-09 15:55:03] 695*2^1390680-1 is not prime. Res64: AF82E2B63EEBE992 Time : 0.0 sec. user=mdettweiler [2015-02-09 15:55:09] 991*2^1390679-1 is not prime. Res64: DF737E96263F4D3E Time : 0.0 sec. user=mdettweiler [2015-02-09 15:55:10] 993*2^1390679-1 is not prime. Res64: 4505B949EF86B7A1 Time : 0.0 sec. user=mdettweiler [2015-02-09 15:55:22] 857*2^1390680-1 is not prime. Res64: F93DCBB4FF90F8BA Time : 0.0 sec. user=mdettweiler [2015-02-09 15:55:23] 879*2^1390680-1 is not prime. Res64: AEE421B2CF128BFF Time : 0.0 sec. user=mdettweiler [2015-02-09 15:57:43] 625*2^1390681-1 is not prime. Res64: 3221586AC2EBB990 Time : 0.0 sec. user=mdettweiler [2015-02-09 15:57:43] 807*2^1390681-1 is not prime. Res64: A2F4FF50346AA653 Time : 0.0 sec. user=mdettweiler [2015-02-09 16:21:55] 939*2^1390681-1 is not prime. Res64: 7A4D844B3E46CCEE Time : 0.0 sec. user=mdettweiler [2015-02-09 16:21:56] 955*2^1390681-1 is not prime. Res64: 424488F755F724CD Time : 0.0 sec. user=mdettweiler [2015-02-09 16:22:05] 675*2^1390682-1 is not prime. Res64: 4F3B11A2D7ED7808 Time : 0.0 sec. user=mdettweiler [2015-02-09 16:22:06] 705*2^1390682-1 is not prime. Res64: 984EB0271DDDD840 Time : 0.0 sec. user=mdettweiler [2015-02-09 16:22:06] 999*2^1390681-1 is not prime. Res64: 0732522AD8154801 Time : 0.0 sec. user=mdettweiler [2015-02-09 16:22:06] 645*2^1390682-1 is not prime. Res64: 675AA546E3CBF87D Time : 0.0 sec. user=mdettweiler [2015-02-09 16:24:34] 767*2^1390682-1 is not prime. Res64: A12C651DB426C500 Time : 0.0 sec. user=mdettweiler [2015-02-09 16:24:34] 945*2^1390682-1 is not prime. Res64: BCC30EB99796F911 Time : 0.0 sec. user=mdettweiler [2015-02-09 16:49:02] 685*2^1390683-1 is not prime. Res64: 36D9A9F1D5FC9F5E Time : 0.0 sec. user=mdettweiler [2015-02-09 16:49:02] 765*2^1390683-1 is not prime. Res64: 2032240D1F2D7ACA Time : 0.0 sec. user=mdettweiler [2015-02-09 16:49:07] 793*2^1390683-1 is not prime. Res64: 60F3C2DE55313DA9 Time : 0.0 sec. user=mdettweiler [2015-02-09 16:49:08] 805*2^1390683-1 is not prime. Res64: EBE220590A03E1F1 Time : 0.0 sec. user=mdettweiler [2015-02-09 16:49:10] 861*2^1390683-1 is not prime. Res64: DD7EA7795394DA2E Time : 0.0 sec. user=mdettweiler [2015-02-09 16:49:10] 949*2^1390683-1 is not prime. Res64: F22FAC3E5B2256FB Time : 0.0 sec. user=mdettweiler [2015-02-09 16:51:38] 803*2^1390684-1 is not prime. Res64: 94190946CB3A87ED Time : 0.0 sec. user=mdettweiler [2015-02-09 16:51:38] 915*2^1390684-1 is not prime. Res64: 6DCA6EBD82720E12 Time : 0.0 sec. user=mdettweiler [2015-02-09 17:25:28] 837*2^1390685-1 is not prime. Res64: CB29DE358E729A5C Time : 0.0 sec. user=mdettweiler [2015-02-09 17:25:29] 897*2^1390685-1 is not prime. Res64: 7C2E537F9FB4B6FE Time : 0.0 sec. user=mdettweiler [2015-02-09 17:26:09] 989*2^1390684-1 is not prime. Res64: 711CAB93834B2A60 Time : 0.0 sec. user=mdettweiler [2015-02-09 17:26:09] 825*2^1390685-1 is not prime. Res64: 593FB03DE7BE97EC Time : 0.0 sec. user=mdettweiler [2015-02-09 17:27:24] 907*2^1390685-1 is not prime. Res64: 941F9595D6D50E27 Time : 0.0 sec. user=mdettweiler [2015-02-09 17:27:25] 647*2^1390686-1 is not prime. Res64: 92FBC1A6E8E34499 Time : 0.0 sec. user=mdettweiler [2015-02-09 17:29:32] 711*2^1390686-1 is not prime. Res64: C51EEE8EFA236984 Time : 0.0 sec. user=mdettweiler [2015-02-09 17:29:32] 755*2^1390686-1 is not prime. Res64: C263CF2CA4A38FE0 Time : 0.0 sec. user=mdettweiler [2015-02-09 17:52:54] 945*2^1390686-1 is not prime. Res64: DCDEB5656547EF22 Time : 0.0 sec. user=mdettweiler [2015-02-09 17:52:55] 971*2^1390686-1 is not prime. Res64: AF1EDA55A14C1F02 Time : 0.0 sec. user=mdettweiler [2015-02-09 17:53:29] 603*2^1390687-1 is not prime. Res64: 035EF3F13755AD2A Time : 0.0 sec. user=mdettweiler [2015-02-09 17:53:30] 609*2^1390687-1 is not prime. Res64: 2D001EDEDCA55084 Time : 0.0 sec. user=mdettweiler [2015-02-09 17:54:36] 763*2^1390687-1 is not prime. Res64: 96D9849BCE9AD7D9 Time : 0.0 sec. user=mdettweiler [2015-02-09 17:54:36] 861*2^1390687-1 is not prime. Res64: 6B08C432D892C522 Time : 0.0 sec. user=mdettweiler [2015-02-09 17:56:28] 873*2^1390687-1 is not prime. Res64: C85E40319711CBBF Time : 0.0 sec. user=mdettweiler [2015-02-09 17:56:29] 883*2^1390687-1 is not prime. Res64: B2EC014404E70E51 Time : 0.0 sec. user=mdettweiler [2015-02-09 18:20:18] 885*2^1390687-1 is not prime. Res64: C7B161896EF38FBA Time : 0.0 sec. user=mdettweiler [2015-02-09 18:20:19] 945*2^1390687-1 is not prime. Res64: 4D0DDACA1F162C04 Time : 0.0 sec. user=mdettweiler [2015-02-09 18:20:43] 985*2^1390687-1 is not prime. Res64: F99EFE1C54C10ABB Time : 0.0 sec. user=mdettweiler [2015-02-09 18:20:43] 617*2^1390688-1 is not prime. Res64: 201D9E73F49114E6 Time : 0.0 sec. user=mdettweiler [2015-02-09 18:22:06] 623*2^1390688-1 is not prime. Res64: 9E0B2B2C04FACBF9 Time : 0.0 sec. user=mdettweiler [2015-02-09 18:22:06] 665*2^1390688-1 is not prime. Res64: 8E0C278D05FAEAD8 Time : 0.0 sec. user=mdettweiler [2015-02-09 18:23:55] 669*2^1390688-1 is not prime. Res64: DBB6F4F369189C3B Time : 0.0 sec. user=mdettweiler [2015-02-09 18:23:55] 677*2^1390688-1 is not prime. Res64: D3AC317FE0C21CF6 Time : 0.0 sec. user=mdettweiler [2015-02-09 18:47:43] 839*2^1390688-1 is not prime. Res64: AAFDF99DBEF3A3ED Time : 0.0 sec. user=mdettweiler [2015-02-09 18:47:44] 855*2^1390688-1 is not prime. Res64: C7EB7272315AA235 Time : 0.0 sec. user=mdettweiler [2015-02-09 18:48:17] 915*2^1390688-1 is not prime. Res64: 110690265A4C2BF3 Time : 0.0 sec. user=mdettweiler [2015-02-09 18:48:17] 959*2^1390688-1 is not prime. Res64: C6B9B062915C7592 Time : 0.0 sec. user=mdettweiler [2015-02-09 18:49:35] 999*2^1390688-1 is not prime. Res64: 5FBE38BB252675ED Time : 0.0 sec. user=mdettweiler [2015-02-09 18:49:35] 705*2^1390689-1 is not prime. Res64: BB45135FD34888BF Time : 0.0 sec. user=mdettweiler [2015-02-09 18:51:29] 727*2^1390689-1 is not prime. Res64: C730ED938F6FE3FA Time : 0.0 sec. user=mdettweiler [2015-02-09 18:51:29] 919*2^1390689-1 is not prime. Res64: 32D91E5E1B527831 Time : 0.0 sec. user=mdettweiler [2015-02-09 19:15:10] 997*2^1390689-1 is not prime. Res64: AD17E946A1DFEB0F Time : 0.0 sec. user=mdettweiler [2015-02-09 19:15:10] 777*2^1390690-1 is not prime. Res64: C9E25CF5A1E7C9A5 Time : 0.0 sec. user=mdettweiler [2015-02-09 19:15:39] 805*2^1390691-1 is not prime. Res64: F3C036E554BC3C50 Time : 0.0 sec. user=mdettweiler [2015-02-09 19:15:40] 843*2^1390691-1 is not prime. Res64: CCAA9EE83E06DE93 Time : 0.0 sec. user=mdettweiler [2015-02-09 19:16:54] 885*2^1390691-1 is not prime. Res64: 7E0D37CD41710B98 Time : 0.0 sec. user=mdettweiler [2015-02-09 19:16:55] 623*2^1390692-1 is not prime. Res64: 40AE486C0E7D5AF7 Time : 0.0 sec. user=mdettweiler [2015-02-09 19:18:40] 627*2^1390692-1 is not prime. Res64: 59F2B14EE9EB2112 Time : 0.0 sec. user=mdettweiler [2015-02-09 19:18:40] 635*2^1390692-1 is not prime. Res64: 76B7BC78BCC5E97A Time : 0.0 sec. user=mdettweiler [2015-02-09 19:42:23] 647*2^1390692-1 is not prime. Res64: FA256C65C5ACE35A Time : 0.0 sec. user=mdettweiler [2015-02-09 19:42:25] 669*2^1390692-1 is not prime. Res64: 0551B44A4855BF9E Time : 0.0 sec. user=mdettweiler [2015-02-09 19:43:00] 725*2^1390692-1 is not prime. Res64: D1FA298A46AC2D1C Time : 0.0 sec. user=mdettweiler [2015-02-09 19:43:01] 873*2^1390692-1 is not prime. Res64: 70CBB811E2042F82 Time : 0.0 sec. user=mdettweiler [2015-02-09 19:44:06] 875*2^1390692-1 is not prime. Res64: 5FD2F5FD052E6604 Time : 0.0 sec. user=mdettweiler [2015-02-09 19:44:07] 771*2^1390693-1 is not prime. Res64: 935F5D398EEFC421 Time : 0.0 sec. user=mdettweiler [2015-02-09 19:45:56] 901*2^1390693-1 is not prime. Res64: C6A7FDA6FA5080E3 Time : 0.0 sec. user=mdettweiler [2015-02-09 19:45:57] 957*2^1390693-1 is not prime. Res64: 1B301198E34BE866 Time : 0.0 sec. user=mdettweiler [2015-02-09 20:09:36] 979*2^1390693-1 is not prime. Res64: DBF0EF6674313F39 Time : 0.0 sec. user=mdettweiler [2015-02-09 20:09:37] 615*2^1390694-1 is not prime. Res64: B611979970F3C52F Time : 0.0 sec. user=mdettweiler [2015-02-09 20:10:17] 797*2^1390694-1 is not prime. Res64: B871016963AE465F Time : 0.0 sec. user=mdettweiler [2015-02-09 20:10:18] 827*2^1390694-1 is not prime. Res64: 1CC5CAFB21D6EF71 Time : 0.0 sec. user=mdettweiler [2015-02-09 20:11:23] 857*2^1390694-1 is not prime. Res64: F4B6A81B49F16FF0 Time : 0.0 sec. user=mdettweiler [2015-02-09 20:11:24] 873*2^1390694-1 is not prime. Res64: 8BCECE4CFF62D562 Time : 0.0 sec. user=mdettweiler [2015-02-09 20:12:59] 949*2^1390695-1 is not prime. Res64: 1206076F7FD7100F Time : 0.0 sec. user=mdettweiler [2015-02-09 20:12:59] 603*2^1390696-1 is not prime. Res64: 78647C7A5B4A8E99 Time : 0.0 sec. user=mdettweiler [2015-02-09 20:36:10] 629*2^1390696-1 is not prime. Res64: 207CBC749F19903E Time : 0.0 sec. user=mdettweiler [2015-02-09 20:36:11] 695*2^1390696-1 is not prime. Res64: E449368423CA04ED Time : 0.0 sec. user=mdettweiler [2015-02-09 20:36:44] 719*2^1390696-1 is not prime. Res64: 677DFE8749B15CD5 Time : 0.0 sec. user=mdettweiler [2015-02-09 20:36:44] 779*2^1390696-1 is not prime. Res64: 60E227F2E4C7E7A4 Time : 0.0 sec. user=mdettweiler [2015-02-09 20:37:53] 833*2^1390696-1 is not prime. Res64: 5C5BF3F0BA960059 Time : 0.0 sec. user=mdettweiler [2015-02-09 20:37:53] 875*2^1390696-1 is not prime. Res64: 1E311280337CB060 Time : 0.0 sec. user=mdettweiler [2015-02-09 20:39:34] 685*2^1390697-1 is not prime. Res64: AC5C775832DC73DF Time : 0.0 sec. user=mdettweiler [2015-02-09 20:39:34] 879*2^1390697-1 is not prime. Res64: 1AEEFEDC5D23D339 Time : 0.0 sec. user=mdettweiler [2015-02-09 21:02:59] 695*2^1390698-1 is not prime. Res64: C0A2BD826AD17662 Time : 0.0 sec. user=mdettweiler [2015-02-09 21:03:01] 791*2^1390698-1 is not prime. Res64: D126C1B6274AFF5E Time : 0.0 sec. user=mdettweiler [2015-02-09 21:03:10] 861*2^1390698-1 is not prime. Res64: F74D49E8B5EA1F1C Time : 0.0 sec. user=mdettweiler [2015-02-09 21:03:11] 933*2^1390698-1 is not prime. Res64: 4AADF7AB931E7447 Time : 0.0 sec. user=mdettweiler [2015-02-09 21:04:28] 975*2^1390698-1 is not prime. Res64: 5EF3368481E97724 Time : 0.0 sec. user=mdettweiler [2015-02-09 21:04:28] 681*2^1390699-1 is not prime. Res64: 41B3AE7B6C42E338 Time : 0.0 sec. user=mdettweiler [2015-02-09 21:06:04] 693*2^1390699-1 is not prime. Res64: 8F9F2F42C1F567CD Time : 0.0 sec. user=mdettweiler [2015-02-09 21:06:04] 733*2^1390699-1 is not prime. Res64: 31CFAF85FF6C3FBB Time : 0.0 sec. user=mdettweiler [2015-02-09 21:29:47] 745*2^1390699-1 is not prime. Res64: CA3C0D36882598E3 Time : 0.0 sec. user=mdettweiler [2015-02-09 21:29:48] 835*2^1390699-1 is not prime. Res64: 9DF4BCD5162C60CE Time : 0.0 sec. user=mdettweiler [2015-02-09 21:29:55] 889*2^1390699-1 is not prime. Res64: 1F8267AFA3D78552 Time : 0.0 sec. user=mdettweiler [2015-02-09 21:29:56] 659*2^1390700-1 is not prime. Res64: E7BBBBC5CF69A061 Time : 0.0 sec. user=mdettweiler [2015-02-09 21:31:09] 665*2^1390700-1 is not prime. Res64: B6FA9B70559C0F6B Time : 0.0 sec. user=mdettweiler [2015-02-09 21:31:10] 953*2^1390700-1 is not prime. Res64: 459C7C580FED2C2D Time : 0.0 sec. user=mdettweiler [2015-02-09 21:32:37] 669*2^1390701-1 is not prime. Res64: FFBA64428F722A60 Time : 0.0 sec. user=mdettweiler [2015-02-09 21:32:37] 711*2^1390701-1 is not prime. Res64: C5CDD634C544BF5A Time : 0.0 sec. user=mdettweiler [2015-02-09 21:56:21] 735*2^1390701-1 is not prime. Res64: 2E1370A75AA5A0C8 Time : 0.0 sec. user=mdettweiler [2015-02-09 21:56:21] 745*2^1390701-1 is not prime. Res64: 332946DB6137B910 Time : 0.0 sec. user=mdettweiler [2015-02-09 21:56:28] 747*2^1390701-1 is not prime. Res64: 3770542C3F0EFC50 Time : 0.0 sec. user=mdettweiler [2015-02-09 21:56:28] 847*2^1390701-1 is not prime. Res64: 6D48CCB2163555DA Time : 0.0 sec. user=mdettweiler [2015-02-09 21:57:47] 865*2^1390701-1 is not prime. Res64: 5EF4E22FB69623D3 Time : 0.0 sec. user=mdettweiler [2015-02-09 21:57:47] 927*2^1390701-1 is not prime. Res64: 407A049DFFFCD388 Time : 0.0 sec. user=mdettweiler [2015-02-09 21:59:33] 961*2^1390701-1 is not prime. Res64: B26F2C9DB16F5050 Time : 0.0 sec. user=mdettweiler [2015-02-09 21:59:34] 603*2^1390702-1 is not prime. Res64: 04881968F4132288 Time : 0.0 sec. user=mdettweiler [2015-02-09 22:23:53] 651*2^1390702-1 is not prime. Res64: 2C4E74E43C76E127 Time : 0.0 sec. user=mdettweiler [2015-02-09 22:23:54] 657*2^1390702-1 is not prime. Res64: E001AAA823A14492 Time : 0.0 sec. user=mdettweiler [2015-02-09 22:23:58] 737*2^1390702-1 is not prime. Res64: 56566B5D2D4CE8A4 Time : 0.0 sec. user=mdettweiler [2015-02-09 22:23:59] 813*2^1390702-1 is not prime. Res64: 2478868BCAE70320 Time : 0.0 sec. user=mdettweiler [2015-02-09 22:25:17] 855*2^1390702-1 is not prime. Res64: 638812AABD18399D Time : 0.0 sec. user=mdettweiler [2015-02-09 22:25:18] 873*2^1390702-1 is not prime. Res64: 5912248D2130AE09 Time : 0.0 sec. user=mdettweiler [2015-02-09 22:27:03] 945*2^1390702-1 is not prime. Res64: F8CD69F3594200E6 Time : 0.0 sec. user=mdettweiler [2015-02-09 22:27:04] 603*2^1390703-1 is not prime. Res64: 27CC9D43A4C07AE9 Time : 0.0 sec. user=mdettweiler [2015-02-09 22:51:34] 693*2^1390703-1 is not prime. Res64: 7B4483B2B5E38F1F Time : 0.0 sec. user=mdettweiler [2015-02-09 22:51:34] 739*2^1390703-1 is not prime. Res64: 3236313828C40E29 Time : 0.0 sec. user=mdettweiler [2015-02-09 22:51:36] 781*2^1390703-1 is not prime. Res64: 5FE7F903633C1C6D Time : 0.0 sec. user=mdettweiler [2015-02-09 22:51:36] 805*2^1390703-1 is not prime. Res64: 645495DE6EE67CE2 Time : 0.0 sec. user=mdettweiler [2015-02-09 22:52:59] 813*2^1390703-1 is not prime. Res64: B6574B6E17FFD380 Time : 0.0 sec. user=mdettweiler [2015-02-09 22:52:59] 825*2^1390703-1 is not prime. Res64: 920F16D844E44660 Time : 0.0 sec. user=mdettweiler [2015-02-09 22:54:32] 985*2^1390703-1 is not prime. Res64: 3FB181F674738E24 Time : 0.0 sec. user=mdettweiler [2015-02-09 22:54:32] 615*2^1390704-1 is not prime. Res64: 32C913828E8683A1 Time : 0.0 sec. user=mdettweiler [2015-02-09 23:18:47] 747*2^1390704-1 is not prime. Res64: BDB6C6C0B7EBE4B1 Time : 0.0 sec. user=mdettweiler [2015-02-09 23:18:47] 773*2^1390704-1 is not prime. Res64: C8E362673323FE3B Time : 0.0 sec. user=mdettweiler [2015-02-09 23:18:50] 825*2^1390704-1 is not prime. Res64: E1F832B4F701E768 Time : 0.0 sec. user=mdettweiler [2015-02-09 23:18:50] 945*2^1390704-1 is not prime. Res64: 6124D50F4F714225 Time : 0.0 sec. user=mdettweiler [2015-02-09 23:20:23] 983*2^1390704-1 is not prime. Res64: 8DFB9C2C4816D1A5 Time : 0.0 sec. user=mdettweiler [2015-02-09 23:20:24] 705*2^1390705-1 is not prime. Res64: 1CF0D3F625A9045E Time : 0.0 sec. user=mdettweiler [2015-02-09 23:22:03] 841*2^1390705-1 is not prime. Res64: 6677EB861B91BE54 Time : 0.0 sec. user=mdettweiler [2015-02-09 23:22:03] 895*2^1390705-1 is not prime. Res64: 16C8DCF1B7885488 Time : 0.0 sec. user=mdettweiler [2015-02-09 23:45:54] 897*2^1390705-1 is not prime. Res64: B3E732ED5439007D Time : 0.0 sec. user=mdettweiler [2015-02-09 23:45:55] 937*2^1390705-1 is not prime. Res64: 5C377994383EC6F0 Time : 0.0 sec. user=mdettweiler [2015-02-09 23:46:02] 735*2^1390706-1 is not prime. Res64: 3436C1F52D77F223 Time : 0.0 sec. user=mdettweiler [2015-02-09 23:46:03] 755*2^1390706-1 is not prime. Res64: 0765AD8DA0B4F381 Time : 0.0 sec. user=mdettweiler [2015-02-09 23:47:36] 773*2^1390706-1 is not prime. Res64: 1F178A2183065E83 Time : 0.0 sec. user=mdettweiler [2015-02-09 23:47:36] 801*2^1390706-1 is not prime. Res64: 370614CB808E153E Time : 0.0 sec. user=mdettweiler [2015-02-09 23:49:03] 827*2^1390706-1 is not prime. Res64: 240145B298455B20 Time : 0.0 sec. user=mdettweiler [2015-02-09 23:49:04] 873*2^1390706-1 is not prime. Res64: C65CCB90472090ED Time : 0.0 sec.