user=mdettweiler [2017-05-07 00:39:09] 781*2^1453227-1 is not prime. Res64: 0193264CDA265D71 Time : 0.0 sec. user=mdettweiler [2017-05-07 00:39:09] 755*2^1453226-1 is not prime. Res64: D53058C0C5907770 Time : 0.0 sec. user=mdettweiler [2017-05-07 00:39:09] 835*2^1453227-1 is not prime. Res64: 486E0F020B1022FE Time : 0.0 sec. user=mdettweiler [2017-05-07 00:39:09] 837*2^1453226-1 is not prime. Res64: 2F412B4055542ABE Time : 0.0 sec. user=mdettweiler [2017-05-07 00:39:09] 705*2^1453228-1 is not prime. Res64: BA498E499FF375C3 Time : 0.0 sec. user=mdettweiler [2017-05-07 00:39:10] 875*2^1453226-1 is not prime. Res64: F22C8429E6B7A040 Time : 0.0 sec. user=mdettweiler [2017-05-07 00:39:10] 969*2^1453228-1 is not prime. Res64: DCBCD5E730D55B7A Time : 0.0 sec. user=mdettweiler [2017-05-07 00:39:10] 993*2^1453228-1 is not prime. Res64: DE71D9A208FEDF6F Time : 0.0 sec. user=mdettweiler [2017-05-07 00:39:10] 941*2^1453226-1 is not prime. Res64: 45E935F9D2D5EA96 Time : 0.0 sec. user=mdettweiler [2017-05-07 00:39:11] 765*2^1453227-1 is not prime. Res64: 56FD3CE37C9931FC Time : 0.0 sec. user=mdettweiler [2017-05-07 01:23:52] 999*2^1453228-1 is not prime. Res64: C4F0BA4770BFF630 Time : 0.0 sec. user=mdettweiler [2017-05-07 01:23:52] 967*2^1453229-1 is not prime. Res64: 71363A29C12909C4 Time : 0.0 sec. user=mdettweiler [2017-05-07 01:23:53] 745*2^1453229-1 is not prime. Res64: 2FF2A05AF4274AF9 Time : 0.0 sec. user=mdettweiler [2017-05-07 01:23:53] 707*2^1453230-1 is not prime. Res64: B87BE53E656EA31E Time : 0.0 sec. user=mdettweiler [2017-05-07 01:23:53] 799*2^1453229-1 is not prime. Res64: 55E0DF9CF4553FD2 Time : 0.0 sec. user=mdettweiler [2017-05-07 01:23:53] 765*2^1453230-1 is not prime. Res64: 200E1B8CF6EA2827 Time : 0.0 sec. user=mdettweiler [2017-05-07 01:23:54] 855*2^1453229-1 is not prime. Res64: 269A3F7DF7B47C7A Time : 0.0 sec. user=mdettweiler [2017-05-07 01:23:54] 797*2^1453230-1 is not prime. Res64: 1C03CB85C779DD1F Time : 0.0 sec. user=mdettweiler [2017-05-07 01:23:54] 879*2^1453229-1 is not prime. Res64: 7DAD84642BFC3A5B Time : 0.0 sec. user=mdettweiler [2017-05-07 01:23:55] 821*2^1453230-1 is not prime. Res64: 2532BAE413006D6E Time : 0.0 sec. user=juhehe [2017-05-07 01:57:26] 845*2^1453230-1 is not prime. Res64: D77F6ABDB505B2C1 Time : 0.0 sec. user=mdettweiler [2017-05-07 02:08:25] 917*2^1453230-1 is not prime. Res64: 182A9FD92A633E20 Time : 0.0 sec. user=mdettweiler [2017-05-07 02:08:25] 883*2^1453231-1 is not prime. Res64: B5F95C09E4153B5E Time : 0.0 sec. user=mdettweiler [2017-05-07 02:08:26] 963*2^1453230-1 is not prime. Res64: D3EB28AB5A6A64A8 Time : 0.0 sec. user=mdettweiler [2017-05-07 02:08:26] 901*2^1453231-1 is not prime. Res64: C592DCCC747E11DD Time : 0.0 sec. user=mdettweiler [2017-05-07 02:08:26] 965*2^1453230-1 is not prime. Res64: 8869A9F5C450C585 Time : 0.0 sec. user=mdettweiler [2017-05-07 02:08:27] 717*2^1453232-1 is not prime. Res64: D10A6A5CB8D98BC2 Time : 0.0 sec. user=mdettweiler [2017-05-07 02:08:27] 673*2^1453231-1 is not prime. Res64: 896947879D2DF0DB Time : 0.0 sec. user=mdettweiler [2017-05-07 02:08:27] 843*2^1453231-1 is not prime. Res64: 01B4FB9361593D69 Time : 0.0 sec. user=mdettweiler [2017-05-07 02:08:27] 827*2^1453232-1 is not prime. Res64: 392820B8896319AF Time : 0.0 sec. user=mdettweiler [2017-05-07 02:08:28] 873*2^1453232-1 is not prime. Res64: 3BA60FBD1A8CF5E5 Time : 0.0 sec. user=mdettweiler [2017-05-07 02:53:12] 893*2^1453232-1 is not prime. Res64: 3666EE6973C7F41A Time : 0.0 sec. user=mdettweiler [2017-05-07 02:53:12] 909*2^1453232-1 is not prime. Res64: 31860254E27DD707 Time : 0.0 sec. user=mdettweiler [2017-05-07 02:53:12] 739*2^1453233-1 is not prime. Res64: B1280446DECA3271 Time : 0.0 sec. user=mdettweiler [2017-05-07 02:53:13] 923*2^1453232-1 is not prime. Res64: B7D95D9BDFCFFC78 Time : 0.0 sec. user=mdettweiler [2017-05-07 02:53:13] 891*2^1453233-1 is not prime. Res64: ECEC298FC0927F31 Time : 0.0 sec. user=mdettweiler [2017-05-07 02:53:13] 935*2^1453232-1 is not prime. Res64: 32B4A7ADCE7B1978 Time : 0.0 sec. user=mdettweiler [2017-05-07 02:53:13] 901*2^1453233-1 is not prime. Res64: 6CA3572C1643DA12 Time : 0.0 sec. user=mdettweiler [2017-05-07 02:53:14] 937*2^1453233-1 is not prime. Res64: DEEB1A57687333F0 Time : 0.0 sec. user=mdettweiler [2017-05-07 02:53:14] 607*2^1453233-1 is not prime. Res64: B61F8F85E110E5FB Time : 0.0 sec. user=mdettweiler [2017-05-07 02:53:14] 611*2^1453234-1 is not prime. Res64: 51DE74CA1046CA48 Time : 0.0 sec. user=mdettweiler [2017-05-07 03:37:46] 645*2^1453234-1 is not prime. Res64: 9B46B64F8156DDBA Time : 0.0 sec. user=mdettweiler [2017-05-07 03:37:47] 833*2^1453234-1 is not prime. Res64: 608C4492120DAD8F Time : 0.0 sec. user=mdettweiler [2017-05-07 03:37:48] 657*2^1453234-1 is not prime. Res64: 8ECDC736E37901E4 Time : 0.0 sec. user=mdettweiler [2017-05-07 03:37:48] 887*2^1453234-1 is not prime. Res64: E17076AE1F6A9DDD Time : 0.0 sec. user=mdettweiler [2017-05-07 03:37:49] 665*2^1453234-1 is not prime. Res64: B4F59454BFBE07DC Time : 0.0 sec. user=mdettweiler [2017-05-07 03:37:50] 643*2^1453235-1 is not prime. Res64: 16A275C658B7E5E8 Time : 0.0 sec. user=mdettweiler [2017-05-07 03:37:51] 675*2^1453235-1 is not prime. Res64: E93758A58A41BBD8 Time : 0.0 sec. user=mdettweiler [2017-05-07 03:37:51] 731*2^1453234-1 is not prime. Res64: 3A69918D363357CE Time : 0.0 sec. user=mdettweiler [2017-05-07 03:37:52] 783*2^1453235-1 is not prime. Res64: 3C57212BA4BB0358 Time : 0.0 sec. user=mdettweiler [2017-05-07 03:37:52] 755*2^1453234-1 is not prime. Res64: 4EB9B342A4D591D8 Time : 0.0 sec. user=juhehe [2017-05-07 03:56:28] 799*2^1453235-1 is not prime. Res64: A855FACF0AA42456 Time : 0.0 sec. user=odicin [2017-05-07 04:09:42] 967*2^1453237-1 is not prime. Res64: 85E368920355537C Time : 0.0 sec. user=mdettweiler [2017-05-07 04:22:58] 841*2^1453235-1 is not prime. Res64: 655BCD15D252030C Time : 0.0 sec. user=mdettweiler [2017-05-07 04:22:59] 843*2^1453235-1 is not prime. Res64: F65A85AD6ABB742F Time : 0.0 sec. user=mdettweiler [2017-05-07 04:22:59] 963*2^1453235-1 is not prime. Res64: D2214ED27FF4646D Time : 0.0 sec. user=mdettweiler [2017-05-07 04:23:00] 705*2^1453236-1 is not prime. Res64: 8E0D622EF14D60D6 Time : 0.0 sec. user=mdettweiler [2017-05-07 04:23:00] 759*2^1453236-1 is not prime. Res64: D0C59F67CB0C7B2F Time : 0.0 sec. user=mdettweiler [2017-05-07 04:23:01] 843*2^1453236-1 is not prime. Res64: B266865659799630 Time : 0.0 sec. user=mdettweiler [2017-05-07 04:23:01] 947*2^1453236-1 is not prime. Res64: BB13CF51F586B200 Time : 0.0 sec. user=mdettweiler [2017-05-07 04:23:01] 625*2^1453237-1 is not prime. Res64: 54A8CDA55E53C386 Time : 0.0 sec. user=mdettweiler [2017-05-07 04:23:02] 729*2^1453237-1 is not prime. Res64: FA82EACC86745864 Time : 0.0 sec. user=mdettweiler [2017-05-07 04:23:02] 747*2^1453237-1 is not prime. Res64: 0FAB7846222D801D Time : 0.0 sec. user=mdettweiler [2017-05-07 05:07:45] 795*2^1453238-1 is not prime. Res64: 27040976B5F38162 Time : 0.0 sec. user=mdettweiler [2017-05-07 05:07:46] 605*2^1453238-1 is not prime. Res64: A34A2972F29133EA Time : 0.0 sec. user=mdettweiler [2017-05-07 05:07:46] 845*2^1453238-1 is not prime. Res64: 205199655B5D86BE Time : 0.0 sec. user=mdettweiler [2017-05-07 05:07:46] 623*2^1453238-1 is not prime. Res64: C60F30F8851B6A73 Time : 0.0 sec. user=mdettweiler [2017-05-07 05:07:47] 645*2^1453238-1 is not prime. Res64: 50A00AF0D16B3639 Time : 0.0 sec. user=mdettweiler [2017-05-07 05:07:47] 963*2^1453238-1 is not prime. Res64: D5DF1F67741747C4 Time : 0.0 sec. user=mdettweiler [2017-05-07 05:07:47] 619*2^1453239-1 is not prime. Res64: 4E59F28A96549E3F Time : 0.0 sec. user=mdettweiler [2017-05-07 05:07:47] 687*2^1453238-1 is not prime. Res64: AD3500155240956D Time : 0.0 sec. user=mdettweiler [2017-05-07 05:07:48] 771*2^1453238-1 is not prime. Res64: 396CCD2AF0B4E51F Time : 0.0 sec. user=mdettweiler [2017-05-07 05:07:48] 703*2^1453239-1 is not prime. Res64: 9134E6FB4886D49E Time : 0.0 sec. user=juhehe [2017-05-07 05:16:24] 829*2^1453239-1 is not prime. Res64: BAB6CE50806F1C0C Time : 0.0 sec. user=mdettweiler [2017-05-07 05:52:18] 879*2^1453239-1 is not prime. Res64: 4C5C06A72ECAF241 Time : 0.0 sec. user=mdettweiler [2017-05-07 05:52:19] 885*2^1453239-1 is not prime. Res64: C8357F0FB962E0EE Time : 0.0 sec. user=mdettweiler [2017-05-07 05:52:19] 921*2^1453239-1 is not prime. Res64: 46D54ACA6715C16D Time : 0.0 sec. user=mdettweiler [2017-05-07 05:52:20] 665*2^1453240-1 is not prime. Res64: 3FC980C9569D5B7A Time : 0.0 sec. user=mdettweiler [2017-05-07 05:52:20] 723*2^1453240-1 is not prime. Res64: D8046FDEAF763CEA Time : 0.0 sec. user=mdettweiler [2017-05-07 05:52:20] 747*2^1453240-1 is not prime. Res64: 2858BF79B54500B6 Time : 0.0 sec. user=mdettweiler [2017-05-07 05:52:21] 785*2^1453240-1 is not prime. Res64: 13E8B93FE5B4ED57 Time : 0.0 sec. user=mdettweiler [2017-05-07 05:52:21] 849*2^1453240-1 is not prime. Res64: C2158B3C7627EA8C Time : 0.0 sec. user=mdettweiler [2017-05-07 05:52:21] 873*2^1453240-1 is not prime. Res64: F9595D2B13C1B6AD Time : 0.0 sec. user=mdettweiler [2017-05-07 05:52:22] 899*2^1453240-1 is not prime. Res64: 358B2A55EC2EDEA1 Time : 0.0 sec. user=mdettweiler [2017-05-07 06:36:58] 975*2^1453240-1 is not prime. Res64: 0462DDF22EA4E8E6 Time : 0.0 sec. user=mdettweiler [2017-05-07 06:36:59] 995*2^1453240-1 is not prime. Res64: 6A2E0A49516E5025 Time : 0.0 sec. user=mdettweiler [2017-05-07 06:36:59] 615*2^1453241-1 is not prime. Res64: 4E4EA030264BA3DD Time : 0.0 sec. user=mdettweiler [2017-05-07 06:37:00] 619*2^1453241-1 is not prime. Res64: FB96A6FAED5AC65F Time : 0.0 sec. user=mdettweiler [2017-05-07 06:37:00] 691*2^1453241-1 is not prime. Res64: 401ABB58DCF1CE0B Time : 0.0 sec. user=mdettweiler [2017-05-07 06:37:04] 715*2^1453241-1 is not prime. Res64: 0D698C8EA17EF546 Time : 0.0 sec. user=mdettweiler [2017-05-07 06:37:04] 885*2^1453241-1 is not prime. Res64: 2A03224203FAED55 Time : 0.0 sec. user=mdettweiler [2017-05-07 06:37:04] 967*2^1453241-1 is not prime. Res64: 7CF1FE86762FCAA1 Time : 0.0 sec. user=mdettweiler [2017-05-07 06:37:05] 747*2^1453242-1 is not prime. Res64: CAC194EAA65F5261 Time : 0.0 sec. user=mdettweiler [2017-05-07 06:37:05] 765*2^1453242-1 is not prime. Res64: 6415BC25E8BC2080 Time : 0.0 sec. user=juhehe [2017-05-07 07:14:15] 821*2^1453242-1 is not prime. Res64: A0B295FB838662D7 Time : 0.0 sec. user=mdettweiler [2017-05-07 07:21:33] 825*2^1453242-1 is not prime. Res64: DBDC6695B4282F75 Time : 0.0 sec. user=mdettweiler [2017-05-07 07:21:34] 885*2^1453242-1 is not prime. Res64: FF0D3DE24F39B92C Time : 0.0 sec. user=mdettweiler [2017-05-07 07:21:34] 977*2^1453242-1 is not prime. Res64: DB9CD59AF5455E68 Time : 0.0 sec. user=mdettweiler [2017-05-07 07:21:35] 685*2^1453243-1 is not prime. Res64: B8D62733DF4FB8D2 Time : 0.0 sec. user=mdettweiler [2017-05-07 07:21:35] 771*2^1453243-1 is not prime. Res64: 12959C32B6D58ED8 Time : 0.0 sec. user=mdettweiler [2017-05-07 07:21:36] 813*2^1453243-1 is not prime. Res64: DD3C02CE4E62CE2C Time : 0.0 sec. user=mdettweiler [2017-05-07 07:21:36] 895*2^1453243-1 is not prime. Res64: 9AA316509B3E73E2 Time : 0.0 sec. user=mdettweiler [2017-05-07 07:21:36] 973*2^1453243-1 is not prime. Res64: 572AB91392974315 Time : 0.0 sec. user=mdettweiler [2017-05-07 07:21:37] 993*2^1453243-1 is not prime. Res64: 4E7F467402E6B9F7 Time : 0.0 sec. user=mdettweiler [2017-05-07 07:21:37] 623*2^1453244-1 is not prime. Res64: C111135C434892F5 Time : 0.0 sec. user=juhehe [2017-05-07 07:53:37] 869*2^1453244-1 is not prime. Res64: A2432B2FBCFAEE6C Time : 0.0 sec. user=mdettweiler [2017-05-07 08:06:06] 893*2^1453244-1 is not prime. Res64: 985DFD1BEB4A2CE7 Time : 0.0 sec. user=mdettweiler [2017-05-07 08:06:07] 983*2^1453244-1 is not prime. Res64: 2D05255EE6E8913C Time : 0.0 sec. user=mdettweiler [2017-05-07 08:06:08] 795*2^1453245-1 is not prime. Res64: 4C0EE2FFE9142DE3 Time : 0.0 sec. user=mdettweiler [2017-05-07 08:06:09] 895*2^1453245-1 is not prime. Res64: F23F3B3816FD7BEF Time : 0.0 sec. user=mdettweiler [2017-05-07 08:06:09] 915*2^1453245-1 is not prime. Res64: 65F460ABE70104A9 Time : 0.0 sec. user=mdettweiler [2017-05-07 08:06:11] 951*2^1453245-1 is not prime. Res64: 296415F8A9366061 Time : 0.0 sec. user=mdettweiler [2017-05-07 08:06:12] 979*2^1453245-1 is not prime. Res64: 33E57403AE1621F1 Time : 0.0 sec. user=mdettweiler [2017-05-07 08:06:13] 999*2^1453245-1 is not prime. Res64: C7A9A66D223367E5 Time : 0.0 sec. user=mdettweiler [2017-05-07 08:06:14] 761*2^1453246-1 is not prime. Res64: 989DE2DEFBAC9C93 Time : 0.0 sec. user=mdettweiler [2017-05-07 08:06:16] 815*2^1453246-1 is not prime. Res64: A50C29B626285AB2 Time : 0.0 sec. user=mdettweiler [2017-05-07 08:50:55] 957*2^1453246-1 is not prime. Res64: B5EBCCE2E23FF505 Time : 0.0 sec. user=mdettweiler [2017-05-07 08:50:55] 711*2^1453247-1 is not prime. Res64: E37DDBA0E61FAD8F Time : 0.0 sec. user=mdettweiler [2017-05-07 08:50:56] 729*2^1453247-1 is not prime. Res64: 60AA73F9FFD8D641 Time : 0.0 sec. user=mdettweiler [2017-05-07 08:50:57] 859*2^1453247-1 is not prime. Res64: 2D21439F385AF67B Time : 0.0 sec. user=mdettweiler [2017-05-07 08:50:57] 913*2^1453247-1 is not prime. Res64: 7BB4FBC9530DF78B Time : 0.0 sec. user=mdettweiler [2017-05-07 08:50:58] 825*2^1453246-1 is not prime. Res64: A1918B18F92D8E90 Time : 0.0 sec. user=mdettweiler [2017-05-07 08:50:58] 917*2^1453246-1 is not prime. Res64: 99AEB3643BAC8ED6 Time : 0.0 sec. user=mdettweiler [2017-05-07 08:50:59] 945*2^1453246-1 is not prime. Res64: 7E69128FB46522A7 Time : 0.0 sec. user=mdettweiler [2017-05-07 08:51:00] 981*2^1453247-1 is not prime. Res64: A31B577AC9FD1BFC Time : 0.0 sec. user=mdettweiler [2017-05-07 08:51:00] 991*2^1453247-1 is not prime. Res64: 5E15B3DFA197409B Time : 0.0 sec. user=juhehe [2017-05-07 09:12:56] 627*2^1453248-1 is not prime. Res64: A4A30E74CA55B13F Time : 0.0 sec. user=mdettweiler [2017-05-07 09:35:30] 737*2^1453248-1 is not prime. Res64: D24691A6A28CFD59 Time : 0.0 sec. user=mdettweiler [2017-05-07 09:35:30] 795*2^1453248-1 is not prime. Res64: 40029AC5DFA72F82 Time : 0.0 sec. user=mdettweiler [2017-05-07 09:35:31] 957*2^1453248-1 is not prime. Res64: CA81FCB64AE98CAE Time : 0.0 sec. user=mdettweiler [2017-05-07 09:35:31] 819*2^1453249-1 is not prime. Res64: 37FFDDBEA1D02065 Time : 0.0 sec. user=mdettweiler [2017-05-07 09:35:31] 615*2^1453249-1 is not prime. Res64: E679CEE08C2E0DCD Time : 0.0 sec. user=mdettweiler [2017-05-07 09:35:32] 847*2^1453249-1 is not prime. Res64: A3234AC3B74B08AB Time : 0.0 sec. user=mdettweiler [2017-05-07 09:35:32] 729*2^1453249-1 is not prime. Res64: 584D853401D716FB Time : 0.0 sec. user=mdettweiler [2017-05-07 09:35:32] 931*2^1453249-1 is not prime. Res64: 7F9FC618DAF0F828 Time : 0.0 sec. user=mdettweiler [2017-05-07 09:35:33] 675*2^1453250-1 is not prime. Res64: ACF60166DE1CCD7C Time : 0.0 sec. user=mdettweiler [2017-05-07 09:35:33] 677*2^1453250-1 is not prime. Res64: 6CBE4914D2954CDD Time : 0.0 sec. user=mdettweiler [2017-05-07 10:20:05] 945*2^1453250-1 is not prime. Res64: F1B82826129E57F9 Time : 0.0 sec. user=mdettweiler [2017-05-07 10:20:06] 717*2^1453250-1 is not prime. Res64: 07B1F71B0B12277C Time : 0.0 sec. user=mdettweiler [2017-05-07 10:20:06] 625*2^1453251-1 is not prime. Res64: D5D471BE665A019A Time : 0.0 sec. user=mdettweiler [2017-05-07 10:20:06] 743*2^1453250-1 is not prime. Res64: F30B6746FA7B445D Time : 0.0 sec. user=mdettweiler [2017-05-07 10:20:06] 651*2^1453251-1 is not prime. Res64: 22FB6B01E04D2B82 Time : 0.0 sec. user=mdettweiler [2017-05-07 10:20:07] 783*2^1453250-1 is not prime. Res64: F8EAB2CFB01B99FE Time : 0.0 sec. user=mdettweiler [2017-05-07 10:20:07] 769*2^1453251-1 is not prime. Res64: 85A5E9938C7F1B28 Time : 0.0 sec. user=mdettweiler [2017-05-07 10:20:07] 875*2^1453250-1 is not prime. Res64: 1B39E7239FD93362 Time : 0.0 sec. user=mdettweiler [2017-05-07 10:20:07] 871*2^1453251-1 is not prime. Res64: DD0FFAF9D73E4181 Time : 0.0 sec. user=mdettweiler [2017-05-07 10:20:08] 915*2^1453250-1 is not prime. Res64: 3882EB815926323B Time : 0.0 sec. user=mdettweiler [2017-05-07 11:04:40] 657*2^1453253-1 is not prime. Res64: 8C6A94D0FB2E07C9 Time : 0.0 sec. user=mdettweiler [2017-05-07 11:04:41] 895*2^1453251-1 is not prime. Res64: 20912C916695FA21 Time : 0.0 sec. user=mdettweiler [2017-05-07 11:04:45] 699*2^1453253-1 is not prime. Res64: 9F3A5DA0EA4EC86F Time : 0.0 sec. user=mdettweiler [2017-05-07 11:04:46] 945*2^1453251-1 is not prime. Res64: CB714E4CDA7C23FA Time : 0.0 sec. user=mdettweiler [2017-05-07 11:04:49] 729*2^1453253-1 is not prime. Res64: A82CE90AD0AE70EB Time : 0.0 sec. user=mdettweiler [2017-05-07 11:04:50] 735*2^1453252-1 is not prime. Res64: C23295C7ABF4B0E4 Time : 0.0 sec. user=mdettweiler [2017-05-07 11:04:52] 747*2^1453253-1 is not prime. Res64: ABCB877E3475CCD3 Time : 0.0 sec. user=mdettweiler [2017-05-07 11:04:53] 759*2^1453252-1 is not prime. Res64: 45F471130937269D Time : 0.0 sec. user=mdettweiler [2017-05-07 11:04:54] 759*2^1453253-1 is not prime. Res64: 04FA3D0F8B5FBFE4 Time : 0.0 sec. user=mdettweiler [2017-05-07 11:04:56] 863*2^1453252-1 is not prime. Res64: 6454A260172A5F67 Time : 0.0 sec. user=juhehe [2017-05-07 11:12:27] 829*2^1453253-1 is not prime. Res64: 4F6999A59032D089 Time : 0.0 sec. user=mdettweiler [2017-05-07 11:49:53] 889*2^1453253-1 is not prime. Res64: 481BB49F58111B33 Time : 0.0 sec. user=mdettweiler [2017-05-07 11:49:53] 867*2^1453253-1 is not prime. Res64: 1FAA0E7FC9130BE6 Time : 0.0 sec. user=mdettweiler [2017-05-07 11:49:54] 927*2^1453253-1 is not prime. Res64: E859F96032906CE4 Time : 0.0 sec. user=mdettweiler [2017-05-07 11:49:54] 693*2^1453254-1 is not prime. Res64: 70D3A695F1690DE7 Time : 0.0 sec. user=mdettweiler [2017-05-07 11:49:54] 615*2^1453254-1 is not prime. Res64: 536EEA50E5D72D11 Time : 0.0 sec. user=mdettweiler [2017-05-07 11:49:54] 717*2^1453254-1 is not prime. Res64: 8D86025EF189C2F6 Time : 0.0 sec. user=mdettweiler [2017-05-07 11:49:55] 641*2^1453254-1 is not prime. Res64: 6D8FEE923C43C177 Time : 0.0 sec. user=mdettweiler [2017-05-07 11:49:55] 851*2^1453254-1 is not prime. Res64: 3E10E552F00F0058 Time : 0.0 sec. user=mdettweiler [2017-05-07 11:49:56] 663*2^1453254-1 is not prime. Res64: A49DEF294B5FCAE8 Time : 0.0 sec. user=mdettweiler [2017-05-07 11:49:56] 887*2^1453254-1 is not prime. Res64: 1109F4C7580F7F67 Time : 0.0 sec. user=juhehe [2017-05-07 12:32:08] 759*2^1453256-1 is not prime. Res64: 65F7131E6719F3BF Time : 0.0 sec. user=mdettweiler [2017-05-07 12:33:51] 969*2^1453255-1 is not prime. Res64: E05A2D89A441437B Time : 0.0 sec. user=mdettweiler [2017-05-07 12:33:51] 983*2^1453254-1 is not prime. Res64: 5645EFECE2E63A56 Time : 0.0 sec. user=mdettweiler [2017-05-07 12:33:51] 979*2^1453255-1 is not prime. Res64: E21EB895CFE99A92 Time : 0.0 sec. user=mdettweiler [2017-05-07 12:33:52] 609*2^1453255-1 is not prime. Res64: 7E4B3FA8A509D7F4 Time : 0.0 sec. user=mdettweiler [2017-05-07 12:33:52] 999*2^1453255-1 is not prime. Res64: 7503C66D019054C7 Time : 0.0 sec. user=mdettweiler [2017-05-07 12:33:52] 645*2^1453255-1 is not prime. Res64: 8DCBD3ECA4229DD5 Time : 0.0 sec. user=mdettweiler [2017-05-07 12:33:52] 657*2^1453256-1 is not prime. Res64: 3074E3D811FF1263 Time : 0.0 sec. user=mdettweiler [2017-05-07 12:33:53] 933*2^1453255-1 is not prime. Res64: 252DDD1FEBE653DC Time : 0.0 sec. user=mdettweiler [2017-05-07 12:33:53] 675*2^1453256-1 is not prime. Res64: 63C1D86832BB4F67 Time : 0.0 sec. user=mdettweiler [2017-05-07 12:33:53] 939*2^1453255-1 is not prime. Res64: FB10CD9C627B7D63 Time : 0.0 sec. user=mdettweiler [2017-05-07 13:18:24] 747*2^1453257-1 is not prime. Res64: 0F2DFE71D67C8693 Time : 0.0 sec. user=mdettweiler [2017-05-07 13:18:25] 867*2^1453257-1 is not prime. Res64: C34DE2AC1983747E Time : 0.0 sec. user=mdettweiler [2017-05-07 13:18:25] 825*2^1453256-1 is not prime. Res64: D99AEA6C6EB2E0D4 Time : 0.0 sec. user=mdettweiler [2017-05-07 13:18:26] 855*2^1453256-1 is not prime. Res64: 4E7693A527458BD6 Time : 0.0 sec. user=mdettweiler [2017-05-07 13:18:26] 855*2^1453258-1 is not prime. Res64: 70302572030452BA Time : 0.0 sec. user=mdettweiler [2017-05-07 13:18:26] 873*2^1453256-1 is not prime. Res64: 689F7BD55FB77696 Time : 0.0 sec. user=mdettweiler [2017-05-07 13:18:26] 995*2^1453258-1 is not prime. Res64: 460592467FD4BACD Time : 0.0 sec. user=mdettweiler [2017-05-07 13:18:27] 945*2^1453256-1 is not prime. Res64: 44F021C088EE3FD4 Time : 0.0 sec. user=mdettweiler [2017-05-07 13:18:27] 955*2^1453259-1 is not prime. Res64: 9E0F18A767123A39 Time : 0.0 sec. user=mdettweiler [2017-05-07 13:18:27] 727*2^1453257-1 is not prime. Res64: 3AE979FD244A38AC Time : 0.0 sec. user=mdettweiler [2017-05-07 14:03:04] 993*2^1453259-1 is not prime. Res64: F9A9426E5C04E79E Time : 0.0 sec. user=mdettweiler [2017-05-07 14:03:06] 633*2^1453260-1 is not prime. Res64: 8A0FB78A142D30E1 Time : 0.0 sec. user=mdettweiler [2017-05-07 14:03:06] 797*2^1453260-1 is not prime. Res64: C9D3EB1FE7F07234 Time : 0.0 sec. user=mdettweiler [2017-05-07 14:03:07] 717*2^1453260-1 is not prime. Res64: 7804FAADE1B5F1D7 Time : 0.0 sec. user=mdettweiler [2017-05-07 14:03:08] 839*2^1453260-1 is not prime. Res64: 23A17A4792B0F904 Time : 0.0 sec. user=mdettweiler [2017-05-07 14:03:09] 735*2^1453260-1 is not prime. Res64: F3832E6A320A20AD Time : 0.0 sec. user=mdettweiler [2017-05-07 14:03:10] 887*2^1453260-1 is not prime. Res64: A1AB5912E734A037 Time : 0.0 sec. user=mdettweiler [2017-05-07 14:03:11] 753*2^1453260-1 is not prime. Res64: 7952B8C5A5FAD86B Time : 0.0 sec. user=mdettweiler [2017-05-07 14:03:12] 933*2^1453260-1 is not prime. Res64: BE506D26B716C47B Time : 0.0 sec. user=mdettweiler [2017-05-07 14:03:14] 625*2^1453261-1 is not prime. Res64: 129A675ABAFA8A8B Time : 0.0 sec. user=mdettweiler [2017-05-07 14:48:39] 675*2^1453261-1 is not prime. Res64: 470477A60F03755D Time : 0.0 sec. user=mdettweiler [2017-05-07 14:48:39] 687*2^1453261-1 is not prime. Res64: 91243741A3393B20 Time : 0.0 sec. user=mdettweiler [2017-05-07 14:48:40] 801*2^1453261-1 is not prime. Res64: F3217A612190E200 Time : 0.0 sec. user=mdettweiler [2017-05-07 14:48:40] 859*2^1453261-1 is not prime. Res64: AA19BAD7F555552D Time : 0.0 sec. user=mdettweiler [2017-05-07 14:48:41] 871*2^1453261-1 is not prime. Res64: 8AE74372669D0C54 Time : 0.0 sec. user=mdettweiler [2017-05-07 14:48:41] 889*2^1453261-1 is not prime. Res64: 420E35C24F7B70CD Time : 0.0 sec. user=mdettweiler [2017-05-07 14:48:41] 939*2^1453261-1 is not prime. Res64: 79638930D66D408F Time : 0.0 sec. user=mdettweiler [2017-05-07 14:48:42] 987*2^1453261-1 is not prime. Res64: 2AC8AB6530E77928 Time : 0.0 sec. user=mdettweiler [2017-05-07 14:48:42] 627*2^1453262-1 is not prime. Res64: 2CE10F1371D5777E Time : 0.0 sec. user=mdettweiler [2017-05-07 14:48:43] 635*2^1453262-1 is not prime. Res64: 051175CD53C64F29 Time : 0.0 sec. user=juhehe [2017-05-07 15:14:20] 651*2^1453262-1 is not prime. Res64: 47DFE7E89F556471 Time : 0.0 sec. user=mdettweiler [2017-05-07 15:33:51] 671*2^1453262-1 is not prime. Res64: 2D51A753D586BD7D Time : 0.0 sec. user=mdettweiler [2017-05-07 15:33:52] 677*2^1453262-1 is not prime. Res64: D8B21B2B95A75BF1 Time : 0.0 sec. user=mdettweiler [2017-05-07 15:33:52] 705*2^1453262-1 is not prime. Res64: 9470ECA899DA857B Time : 0.0 sec. user=mdettweiler [2017-05-07 15:33:52] 785*2^1453262-1 is not prime. Res64: AFA7EFF6ADA139F8 Time : 0.0 sec. user=mdettweiler [2017-05-07 15:33:53] 873*2^1453262-1 is not prime. Res64: F46172B70F06E512 Time : 0.0 sec. user=mdettweiler [2017-05-07 15:33:54] 887*2^1453262-1 is not prime. Res64: E298946ECCDC45A9 Time : 0.0 sec. user=mdettweiler [2017-05-07 15:33:54] 897*2^1453262-1 is not prime. Res64: 9A117F5BAAE625CA Time : 0.0 sec. user=mdettweiler [2017-05-07 15:33:55] 935*2^1453262-1 is not prime. Res64: 7F85454788B84BA0 Time : 0.0 sec. user=mdettweiler [2017-05-07 15:33:55] 945*2^1453262-1 is not prime. Res64: 0C0821A37BB7B8BF Time : 0.0 sec. user=mdettweiler [2017-05-07 15:33:55] 953*2^1453262-1 is not prime. Res64: A3424634ADAD7301 Time : 0.0 sec. user=mdettweiler [2017-05-07 16:18:33] 613*2^1453263-1 is not prime. Res64: DAA959465B88B6F8 Time : 0.0 sec. user=mdettweiler [2017-05-07 16:18:34] 793*2^1453263-1 is not prime. Res64: CF0695A8B2E0B7D8 Time : 0.0 sec. user=mdettweiler [2017-05-07 16:18:34] 823*2^1453263-1 is not prime. Res64: FFD1CAC1F0D549AA Time : 0.0 sec. user=mdettweiler [2017-05-07 16:18:35] 861*2^1453263-1 is not prime. Res64: 36058727A421AAC4 Time : 0.0 sec. user=mdettweiler [2017-05-07 16:18:35] 961*2^1453263-1 is not prime. Res64: E3B2E1420BE74938 Time : 0.0 sec. user=mdettweiler [2017-05-07 16:18:36] 955*2^1453263-1 is not prime. Res64: 916EB5E68C5D21BB Time : 0.0 sec. user=mdettweiler [2017-05-07 16:18:36] 635*2^1453264-1 is not prime. Res64: 9E9AE4D80BFD4951 Time : 0.0 sec. user=mdettweiler [2017-05-07 16:18:37] 743*2^1453264-1 is not prime. Res64: D6F98CA5C42F1C33 Time : 0.0 sec. user=mdettweiler [2017-05-07 16:18:38] 833*2^1453264-1 is not prime. Res64: 9CBB281536E336AB Time : 0.0 sec. user=mdettweiler [2017-05-07 16:18:39] 741*2^1453265-1 is not prime. Res64: 3C44210FE2BFE383 Time : 0.0 sec. user=mdettweiler [2017-05-07 17:03:14] 795*2^1453265-1 is not prime. Res64: 228516E2FEE70D74 Time : 0.0 sec. user=mdettweiler [2017-05-07 17:03:14] 891*2^1453266-1 is not prime. Res64: F86EAF6A1DE77207 Time : 0.0 sec. user=mdettweiler [2017-05-07 17:03:17] 837*2^1453265-1 is not prime. Res64: A6E90DAD2E8A8A81 Time : 0.0 sec. user=mdettweiler [2017-05-07 17:03:17] 963*2^1453266-1 is not prime. Res64: A171572303F5C75A Time : 0.0 sec. user=mdettweiler [2017-05-07 17:03:19] 975*2^1453266-1 is not prime. Res64: 6746A2BCD0FFB4F2 Time : 0.0 sec. user=mdettweiler [2017-05-07 17:03:19] 871*2^1453265-1 is not prime. Res64: 3778C31A870D415C Time : 0.0 sec. user=mdettweiler [2017-05-07 17:03:21] 957*2^1453265-1 is not prime. Res64: F6F4763F45C9C94D Time : 0.0 sec. user=mdettweiler [2017-05-07 17:03:21] 645*2^1453267-1 is not prime. Res64: FA940C2014593DD2 Time : 0.0 sec. user=mdettweiler [2017-05-07 17:03:22] 677*2^1453266-1 is not prime. Res64: B14EFF78AA391B35 Time : 0.0 sec. user=mdettweiler [2017-05-07 17:03:23] 703*2^1453267-1 is not prime. Res64: 85066CDB3B421A52 Time : 0.0 sec. user=juhehe [2017-05-07 17:13:36] 715*2^1453267-1 is not prime. Res64: D7FBE0697D75A4DB Time : 0.0 sec. user=mdettweiler [2017-05-07 17:48:06] 733*2^1453267-1 is not prime. Res64: E96BD7958E8323F8 Time : 0.0 sec. user=mdettweiler [2017-05-07 17:48:06] 801*2^1453267-1 is not prime. Res64: 8C39F2D993557999 Time : 0.0 sec. user=mdettweiler [2017-05-07 17:48:07] 883*2^1453267-1 is not prime. Res64: 7D2DE2BBDE3F5EAE Time : 0.0 sec. user=mdettweiler [2017-05-07 17:48:07] 975*2^1453267-1 is not prime. Res64: A6D5E515AD0D7E72 Time : 0.0 sec. user=mdettweiler [2017-05-07 17:48:08] 687*2^1453268-1 is not prime. Res64: 3D21CAA8750F227A Time : 0.0 sec. user=mdettweiler [2017-05-07 17:48:09] 797*2^1453268-1 is not prime. Res64: 92E970CEEF5D81C2 Time : 0.0 sec. user=mdettweiler [2017-05-07 17:48:09] 833*2^1453268-1 is not prime. Res64: F3DF37E33A2D9FDF Time : 0.0 sec. user=mdettweiler [2017-05-07 17:48:10] 869*2^1453268-1 is not prime. Res64: 94B9C7CB108896E7 Time : 0.0 sec. user=mdettweiler [2017-05-07 17:48:10] 621*2^1453269-1 is not prime. Res64: 9FF192DE536FEEE6 Time : 0.0 sec. user=mdettweiler [2017-05-07 17:48:11] 745*2^1453269-1 is not prime. Res64: A3243F545473C577 Time : 0.0 sec. user=juhehe [2017-05-07 18:11:24] 769*2^1453269-1 is not prime. Res64: 974105033BB4E2B8 Time : 0.0 sec. user=juhehe [2017-05-07 18:31:45] 679*2^1453271-1 is not prime. Res64: 9CD667B43632E087 Time : 0.0 sec. user=mdettweiler [2017-05-07 18:32:42] 843*2^1453270-1 is not prime. Res64: 5E0D5CBB6D24FEB0 Time : 0.0 sec. user=mdettweiler [2017-05-07 18:32:42] 857*2^1453270-1 is not prime. Res64: C5CB83CBF4B23519 Time : 0.0 sec. user=mdettweiler [2017-05-07 18:32:42] 945*2^1453269-1 is not prime. Res64: 9D379D1AEDD66A8A Time : 0.0 sec. user=mdettweiler [2017-05-07 18:32:42] 887*2^1453270-1 is not prime. Res64: A7787D234F7BE51B Time : 0.0 sec. user=mdettweiler [2017-05-07 18:32:43] 969*2^1453269-1 is not prime. Res64: B0FABA89106C8877 Time : 0.0 sec. user=mdettweiler [2017-05-07 18:32:43] 923*2^1453270-1 is not prime. Res64: F67AF45BF3FCD169 Time : 0.0 sec. user=mdettweiler [2017-05-07 18:32:43] 999*2^1453269-1 is not prime. Res64: F1E6F621DD6DB76A Time : 0.0 sec. user=mdettweiler [2017-05-07 18:32:43] 619*2^1453271-1 is not prime. Res64: 406D936962F80653 Time : 0.0 sec. user=mdettweiler [2017-05-07 18:32:43] 723*2^1453270-1 is not prime. Res64: 1E0F446C75A58511 Time : 0.0 sec. user=mdettweiler [2017-05-07 18:32:44] 833*2^1453270-1 is not prime. Res64: E96E0BA80B21476D Time : 0.0 sec. user=mdettweiler [2017-05-07 19:17:15] 693*2^1453271-1 is not prime. Res64: 97A96C184BFA9431 Time : 0.0 sec. user=mdettweiler [2017-05-07 19:17:15] 627*2^1453272-1 is not prime. Res64: BBA72E29AA271F77 Time : 0.0 sec. user=mdettweiler [2017-05-07 19:17:15] 775*2^1453271-1 is not prime. Res64: 0731DB05A6B10F30 Time : 0.0 sec. user=mdettweiler [2017-05-07 19:17:16] 693*2^1453272-1 is not prime. Res64: 0119CAE90D2B2F22 Time : 0.0 sec. user=mdettweiler [2017-05-07 19:17:16] 789*2^1453271-1 is not prime. Res64: EAF889AE02CD96F7 Time : 0.0 sec. user=mdettweiler [2017-05-07 19:17:16] 837*2^1453272-1 is not prime. Res64: 7DF5ACF2CA42A4E9 Time : 0.0 sec. user=mdettweiler [2017-05-07 19:17:16] 993*2^1453271-1 is not prime. Res64: 1876EFF8D90E400F Time : 0.0 sec. user=mdettweiler [2017-05-07 19:17:17] 875*2^1453272-1 is not prime. Res64: D13D017E8D3B40D6 Time : 0.0 sec. user=mdettweiler [2017-05-07 19:17:17] 605*2^1453272-1 is not prime. Res64: AF4732FACACBF9F0 Time : 0.0 sec. user=mdettweiler [2017-05-07 19:17:17] 607*2^1453273-1 is not prime. Res64: F941C85835CDF64B Time : 0.0 sec. user=mdettweiler [2017-05-07 20:01:51] 915*2^1453273-1 is not prime. Res64: 2D93EE8643D84516 Time : 0.0 sec. user=mdettweiler [2017-05-07 20:01:52] 649*2^1453273-1 is not prime. Res64: BBA4AD6456E3C4F8 Time : 0.0 sec. user=mdettweiler [2017-05-07 20:01:53] 957*2^1453273-1 is not prime. Res64: 40B66FA52BB40951 Time : 0.0 sec. user=mdettweiler [2017-05-07 20:01:54] 681*2^1453273-1 is not prime. Res64: 7FC392C59E80860D Time : 0.0 sec. user=mdettweiler [2017-05-07 20:01:56] 985*2^1453273-1 is not prime. Res64: 14F769AE21FFE4F4 Time : 0.0 sec. user=mdettweiler [2017-05-07 20:01:58] 623*2^1453274-1 is not prime. Res64: 1CD91878CF8360F7 Time : 0.0 sec. user=mdettweiler [2017-05-07 20:01:58] 687*2^1453273-1 is not prime. Res64: C08200174379374D Time : 0.0 sec. user=mdettweiler [2017-05-07 20:02:02] 811*2^1453273-1 is not prime. Res64: 40AE073495D13E71 Time : 0.0 sec. user=mdettweiler [2017-05-07 20:02:02] 683*2^1453274-1 is not prime. Res64: 64F9A02100B4AFD0 Time : 0.0 sec. user=mdettweiler [2017-05-07 20:02:05] 877*2^1453273-1 is not prime. Res64: 927DB85B93EC4746 Time : 0.0 sec. user=juhehe [2017-05-07 20:30:38] 783*2^1453274-1 is not prime. Res64: E5E6E336F7B070CB Time : 0.0 sec. user=mdettweiler [2017-05-07 20:47:12] 825*2^1453274-1 is not prime. Res64: B6B852B09B1ED3BE Time : 0.0 sec. user=mdettweiler [2017-05-07 20:47:13] 887*2^1453274-1 is not prime. Res64: F298108EAF74F3D6 Time : 0.0 sec. user=mdettweiler [2017-05-07 20:47:13] 921*2^1453274-1 is not prime. Res64: 4502F92F72AA72A6 Time : 0.0 sec. user=mdettweiler [2017-05-07 20:47:14] 923*2^1453274-1 is not prime. Res64: 18A9EF6633C5CD79 Time : 0.0 sec. user=mdettweiler [2017-05-07 20:47:14] 1001*2^1453274-1 is not prime. Res64: 90A59671819438C8 Time : 0.0 sec. user=mdettweiler [2017-05-07 20:47:16] 651*2^1453275-1 is not prime. Res64: E6196260DE704917 Time : 0.0 sec. user=mdettweiler [2017-05-07 20:47:16] 739*2^1453275-1 is not prime. Res64: 2646AFE530E0371A Time : 0.0 sec. user=mdettweiler [2017-05-07 20:47:17] 775*2^1453275-1 is not prime. Res64: 1FE87D88BCB65005 Time : 0.0 sec. user=mdettweiler [2017-05-07 20:47:17] 781*2^1453275-1 is not prime. Res64: A3BF96C726151CF9 Time : 0.0 sec. user=mdettweiler [2017-05-07 20:47:17] 903*2^1453275-1 is not prime. Res64: BCEFAC302CB93510 Time : 0.0 sec. user=mdettweiler [2017-05-07 21:31:47] 707*2^1453276-1 is not prime. Res64: 736484051D3B40ED Time : 0.0 sec. user=mdettweiler [2017-05-07 21:31:47] 873*2^1453276-1 is not prime. Res64: 76E6F5C5DBBE158B Time : 0.0 sec. user=mdettweiler [2017-05-07 21:31:48] 887*2^1453276-1 is not prime. Res64: CD606BE2F208AE17 Time : 0.0 sec. user=mdettweiler [2017-05-07 21:31:48] 905*2^1453276-1 is not prime. Res64: E3D1DEAEB41BF426 Time : 0.0 sec. user=mdettweiler [2017-05-07 21:31:49] 999*2^1453276-1 is not prime. Res64: B3A8AF66DBD9A372 Time : 0.0 sec. user=mdettweiler [2017-05-07 21:31:49] 927*2^1453276-1 is not prime. Res64: 3CB43961FA5D0677 Time : 0.0 sec. user=mdettweiler [2017-05-07 21:31:49] 607*2^1453277-1 is not prime. Res64: 6903897AEBDC70FA Time : 0.0 sec. user=mdettweiler [2017-05-07 21:31:50] 631*2^1453277-1 is not prime. Res64: 0B692ED8AA712B4E Time : 0.0 sec. user=mdettweiler [2017-05-07 21:31:50] 711*2^1453277-1 is not prime. Res64: ECC17B0E8EEB1224 Time : 0.0 sec. user=mdettweiler [2017-05-07 21:31:51] 741*2^1453277-1 is not prime. Res64: 817E146122B20584 Time : 0.0 sec. user=mdettweiler [2017-05-07 22:16:26] 889*2^1453277-1 is not prime. Res64: 977DA083A2F403A9 Time : 0.0 sec. user=mdettweiler [2017-05-07 22:16:26] 901*2^1453277-1 is not prime. Res64: A07EB8EA37326B04 Time : 0.0 sec. user=mdettweiler [2017-05-07 22:16:27] 967*2^1453277-1 is not prime. Res64: B69C8A3A31F5CB92 Time : 0.0 sec. user=mdettweiler [2017-05-07 22:16:27] 711*2^1453278-1 is not prime. Res64: D933580A7B4E0FCE Time : 0.0 sec. user=mdettweiler [2017-05-07 22:16:28] 773*2^1453278-1 is not prime. Res64: 9065622C6D843F99 Time : 0.0 sec. user=mdettweiler [2017-05-07 22:16:29] 797*2^1453278-1 is not prime. Res64: 89BA1C415D0DB35B Time : 0.0 sec. user=mdettweiler [2017-05-07 22:16:30] 933*2^1453278-1 is not prime. Res64: 167B8D682D23E649 Time : 0.0 sec. user=mdettweiler [2017-05-07 22:16:30] 1001*2^1453278-1 is not prime. Res64: 24B29796233BBD4D Time : 0.0 sec. user=mdettweiler [2017-05-07 22:16:30] 609*2^1453279-1 is not prime. Res64: 5E7781FA2DE72043 Time : 0.0 sec. user=mdettweiler [2017-05-07 22:16:31] 793*2^1453279-1 is not prime. Res64: 93ECCEA75E8FC58E Time : 0.0 sec. user=juhehe [2017-05-07 22:30:22] 813*2^1453279-1 is not prime. Res64: 9674AF910AE1306A Time : 0.0 sec. user=mdettweiler [2017-05-07 23:01:05] 843*2^1453279-1 is not prime. Res64: 28424254330AC7F3 Time : 0.0 sec. user=mdettweiler [2017-05-07 23:01:06] 855*2^1453279-1 is not prime. Res64: 1366CA62B2522439 Time : 0.0 sec. user=mdettweiler [2017-05-07 23:01:07] 825*2^1453280-1 is not prime. Res64: EFAC41CB0CA45D86 Time : 0.0 sec. user=mdettweiler [2017-05-07 23:01:08] 951*2^1453279-1 is not prime. Res64: 0CE24ECBA47600DA Time : 0.0 sec. user=mdettweiler [2017-05-07 23:01:08] 855*2^1453280-1 is not prime. Res64: 946ACD25E0C6EDFF Time : 0.0 sec. user=mdettweiler [2017-05-07 23:01:09] 993*2^1453279-1 is not prime. Res64: BF01953F9599EAEF Time : 0.0 sec. user=mdettweiler [2017-05-07 23:01:10] 923*2^1453280-1 is not prime. Res64: 71DB36CA6C8237A9 Time : 0.0 sec. user=mdettweiler [2017-05-07 23:01:10] 713*2^1453280-1 is not prime. Res64: B38941E43EEB09D2 Time : 0.0 sec. user=mdettweiler [2017-05-07 23:01:12] 963*2^1453280-1 is not prime. Res64: C1144B687A4729C7 Time : 0.0 sec. user=mdettweiler [2017-05-07 23:01:13] 627*2^1453281-1 is not prime. Res64: 06994F81D8927885 Time : 0.0 sec. user=mdettweiler [2017-05-07 23:46:16] 677*2^1453282-1 is not prime. Res64: BAD3FA2494729F47 Time : 0.0 sec. user=mdettweiler [2017-05-07 23:46:16] 649*2^1453281-1 is not prime. Res64: AC4DDBBC46D32BE3 Time : 0.0 sec. user=mdettweiler [2017-05-07 23:46:16] 713*2^1453282-1 is not prime. Res64: E84BC3C953EB913D Time : 0.0 sec. user=mdettweiler [2017-05-07 23:46:16] 669*2^1453281-1 is not prime. Res64: 5064C02A7FDF19FA Time : 0.0 sec. user=mdettweiler [2017-05-07 23:46:17] 777*2^1453282-1 is not prime. Res64: 6A4B9746BA7E6FFA Time : 0.0 sec. user=mdettweiler [2017-05-07 23:46:17] 745*2^1453281-1 is not prime. Res64: 44063F299ABC92D0 Time : 0.0 sec. user=mdettweiler [2017-05-07 23:46:17] 815*2^1453282-1 is not prime. Res64: 15B9A7C0263850D2 Time : 0.0 sec. user=mdettweiler [2017-05-07 23:46:17] 835*2^1453281-1 is not prime. Res64: 6A29BDB4427298E8 Time : 0.0 sec. user=mdettweiler [2017-05-07 23:46:17] 843*2^1453282-1 is not prime. Res64: 2E9744BEC7BE8E04 Time : 0.0 sec. user=mdettweiler [2017-05-07 23:46:18] 877*2^1453281-1 is not prime. Res64: C9AB85D94E253C9D Time : 0.0 sec.