user=mdettweiler [2017-05-25 00:46:02] 813*2^1454903-1 is not prime. Res64: A76B626DBD5E086B Time : 0.0 sec. user=mdettweiler [2017-05-25 00:46:02] 859*2^1454903-1 is not prime. Res64: 3AD61F4F46883CBF Time : 0.0 sec. user=mdettweiler [2017-05-25 00:46:03] 915*2^1454903-1 is not prime. Res64: 3DE15AD0280CF95B Time : 0.0 sec. user=mdettweiler [2017-05-25 00:46:03] 689*2^1454904-1 is not prime. Res64: 5A26E3949241FB68 Time : 0.0 sec. user=mdettweiler [2017-05-25 00:46:03] 893*2^1454904-1 is not prime. Res64: A79958C1E0D2CD26 Time : 0.0 sec. user=mdettweiler [2017-05-25 01:31:53] 777*2^1454897-1 is not prime. Res64: 28C08FDCDD7B9B21 Time : 0.0 sec. user=mdettweiler [2017-05-25 01:31:53] 847*2^1454897-1 is not prime. Res64: 6C6CEACD4F685E76 Time : 0.0 sec. user=mdettweiler [2017-05-25 01:31:54] 867*2^1454897-1 is not prime. Res64: 1184A685D0E7F8C1 Time : 0.0 sec. user=mdettweiler [2017-05-25 01:31:54] 635*2^1454898-1 is not prime. Res64: 79E126B8ED726BFA Time : 0.0 sec. user=mdettweiler [2017-05-25 01:31:54] 671*2^1454898-1 is not prime. Res64: 2D121A8475CA586C Time : 0.0 sec. user=mdettweiler [2017-05-25 01:36:20] 947*2^1454904-1 is not prime. Res64: 08EF8EE16186A359 Time : 0.0 sec. user=mdettweiler [2017-05-25 01:36:20] 625*2^1454905-1 is not prime. Res64: 7B38AF158D0CC242 Time : 0.0 sec. user=mdettweiler [2017-05-25 01:36:21] 667*2^1454905-1 is not prime. Res64: 8FDA21C8FB5E51DD Time : 0.0 sec. user=mdettweiler [2017-05-25 01:36:21] 717*2^1454905-1 is not prime. Res64: E3458F955E2C7FAC Time : 0.0 sec. user=mdettweiler [2017-05-25 01:36:22] 777*2^1454905-1 is not prime. Res64: CF0406A65391E50C Time : 0.0 sec. user=mdettweiler [2017-05-25 01:45:43] 885*2^1454899-1 is not prime. Res64: E02E3B70DD72AEA9 Time : 0.0 sec. user=mdettweiler [2017-05-25 01:45:44] 891*2^1454899-1 is not prime. Res64: 447A83C98EFEBE3A Time : 0.0 sec. user=mdettweiler [2017-05-25 01:45:44] 913*2^1454899-1 is not prime. Res64: A88502E9A6E01362 Time : 0.0 sec. user=mdettweiler [2017-05-25 01:45:44] 919*2^1454899-1 is not prime. Res64: F07FA3A43031E922 Time : 0.0 sec. user=mdettweiler [2017-05-25 01:45:44] 977*2^1454900-1 is not prime. Res64: A1A5F4809089CA45 Time : 0.0 sec. user=mdettweiler [2017-05-25 01:52:25] 983*2^1454900-1 is not prime. Res64: 7709DFE1D5428116 Time : 0.0 sec. user=mdettweiler [2017-05-25 01:52:25] 781*2^1454901-1 is not prime. Res64: 8003C1A2E175B8A3 Time : 0.0 sec. user=mdettweiler [2017-05-25 01:52:25] 805*2^1454901-1 is not prime. Res64: D4EEED04545010EA Time : 0.0 sec. user=mdettweiler [2017-05-25 01:52:26] 867*2^1454901-1 is not prime. Res64: 820B75927C94063D Time : 0.0 sec. user=mdettweiler [2017-05-25 01:52:26] 937*2^1454901-1 is not prime. Res64: B3C25A2B9C3F68DA Time : 0.0 sec. user=mdettweiler [2017-05-25 02:18:45] 805*2^1454905-1 is not prime. Res64: 629D4E8C61D7CBB9 Time : 0.0 sec. user=mdettweiler [2017-05-25 02:18:45] 831*2^1454905-1 is not prime. Res64: 650FF050185CA7C8 Time : 0.0 sec. user=mdettweiler [2017-05-25 02:18:46] 847*2^1454905-1 is not prime. Res64: 1ED490E4BB143739 Time : 0.0 sec. user=mdettweiler [2017-05-25 02:18:46] 889*2^1454905-1 is not prime. Res64: A8044438E4D85F8F Time : 0.0 sec. user=mdettweiler [2017-05-25 02:18:46] 925*2^1454905-1 is not prime. Res64: 7C3014AA071160D8 Time : 0.0 sec. user=mdettweiler [2017-05-25 02:22:25] 975*2^1454905-1 is not prime. Res64: 6D0F22A325743466 Time : 0.0 sec. user=mdettweiler [2017-05-25 02:22:25] 985*2^1454905-1 is not prime. Res64: EB59BECCFCB81FD2 Time : 0.0 sec. user=mdettweiler [2017-05-25 02:22:26] 617*2^1454906-1 is not prime. Res64: 1B5E454EEB1E4161 Time : 0.0 sec. user=mdettweiler [2017-05-25 02:22:26] 635*2^1454906-1 is not prime. Res64: 413D1D9A62A9A456 Time : 0.0 sec. user=mdettweiler [2017-05-25 02:22:26] 755*2^1454906-1 is not prime. Res64: A119A581A575859D Time : 0.0 sec. user=mdettweiler [2017-05-25 02:31:21] 773*2^1454906-1 is not prime. Res64: 8C21D956CC6EBC23 Time : 0.0 sec. user=mdettweiler [2017-05-25 02:31:21] 843*2^1454906-1 is not prime. Res64: D2EE2ACB183F6C3B Time : 0.0 sec. user=mdettweiler [2017-05-25 02:31:22] 699*2^1454907-1 is not prime. Res64: 9469C51427DC8E56 Time : 0.0 sec. user=mdettweiler [2017-05-25 02:31:22] 781*2^1454907-1 is not prime. Res64: 196B77C62FE07B30 Time : 0.0 sec. user=mdettweiler [2017-05-25 02:31:23] 931*2^1454907-1 is not prime. Res64: 81C1D416235FED4A Time : 0.0 sec. user=mdettweiler [2017-05-25 02:38:06] 945*2^1454907-1 is not prime. Res64: CE79BEB79A18484C Time : 0.0 sec. user=mdettweiler [2017-05-25 02:38:06] 961*2^1454907-1 is not prime. Res64: D9F74BB0BBFE1DFC Time : 0.0 sec. user=mdettweiler [2017-05-25 02:38:07] 615*2^1454908-1 is not prime. Res64: 22055A029EF1168A Time : 0.0 sec. user=mdettweiler [2017-05-25 02:38:07] 705*2^1454908-1 is not prime. Res64: 531405CFB9F242B0 Time : 0.0 sec. user=mdettweiler [2017-05-25 02:38:07] 783*2^1454908-1 is not prime. Res64: 682C98EBF1CDE3E9 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:05:14] 827*2^1454908-1 is not prime. Res64: C16909ABB0B00F0D Time : 0.0 sec. user=mdettweiler [2017-05-25 03:05:15] 843*2^1454908-1 is not prime. Res64: 4E9D56501496E33C Time : 0.0 sec. user=mdettweiler [2017-05-25 03:05:15] 863*2^1454908-1 is not prime. Res64: 8ADD660BC6225E17 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:05:16] 989*2^1454908-1 is not prime. Res64: 47FAE350D23C42C9 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:05:17] 789*2^1454909-1 is not prime. Res64: CACA7090430AF673 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:08:57] 795*2^1454909-1 is not prime. Res64: BE5FE76470469C18 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:08:57] 847*2^1454909-1 is not prime. Res64: AD75825D347EFA5D Time : 0.0 sec. user=mdettweiler [2017-05-25 03:08:58] 931*2^1454909-1 is not prime. Res64: C2DACCEB3C748125 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:08:58] 939*2^1454909-1 is not prime. Res64: C84D16001331D00F Time : 0.0 sec. user=mdettweiler [2017-05-25 03:08:58] 951*2^1454909-1 is not prime. Res64: 6E0F19C6373C3F1E Time : 0.0 sec. user=mdettweiler [2017-05-25 03:18:07] 967*2^1454909-1 is not prime. Res64: 94BFB323B8E23630 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:18:07] 969*2^1454909-1 is not prime. Res64: DAF24012FA02FFF6 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:18:07] 997*2^1454909-1 is not prime. Res64: E12509F82569913F Time : 0.0 sec. user=mdettweiler [2017-05-25 03:18:08] 647*2^1454910-1 is not prime. Res64: 35F4E7883108FC11 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:18:08] 761*2^1454910-1 is not prime. Res64: FBFDA4A97DC99971 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:24:35] 783*2^1454910-1 is not prime. Res64: 9CBE73861F913AA7 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:24:35] 851*2^1454910-1 is not prime. Res64: AB2ED80C5D8B6E8A Time : 0.0 sec. user=mdettweiler [2017-05-25 03:24:35] 861*2^1454910-1 is not prime. Res64: FBDEB7B0453E31C9 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:24:35] 723*2^1454911-1 is not prime. Res64: 211375E80AB1F292 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:24:36] 741*2^1454911-1 is not prime. Res64: 7D4B87E50F0184DA Time : 0.0 sec. user=mdettweiler [2017-05-25 03:51:16] 759*2^1454911-1 is not prime. Res64: 424F69CFC0E80F01 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:51:17] 855*2^1454911-1 is not prime. Res64: 0B37A8175B404F85 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:51:17] 969*2^1454911-1 is not prime. Res64: 8E13B664A48218EE Time : 0.0 sec. user=mdettweiler [2017-05-25 03:51:18] 999*2^1454911-1 is not prime. Res64: FB064518203E6D16 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:51:18] 605*2^1454912-1 is not prime. Res64: 1759F1C755FFDE11 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:54:43] 677*2^1454912-1 is not prime. Res64: EED98303879CAFD6 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:54:43] 683*2^1454912-1 is not prime. Res64: E6DF5834A4CE5192 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:54:43] 725*2^1454912-1 is not prime. Res64: 131CCC555AD0BFEC Time : 0.0 sec. user=mdettweiler [2017-05-25 03:54:43] 785*2^1454912-1 is not prime. Res64: EC3D7ECC8BC357E8 Time : 0.0 sec. user=mdettweiler [2017-05-25 03:54:44] 827*2^1454912-1 is not prime. Res64: 94A9A73E3301FB15 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:03:53] 857*2^1454912-1 is not prime. Res64: F8D64D510B4FAE45 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:03:54] 899*2^1454912-1 is not prime. Res64: B1B3F7C6E5A5C85C Time : 0.0 sec. user=mdettweiler [2017-05-25 04:03:54] 909*2^1454912-1 is not prime. Res64: 761FC152C6C93A64 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:03:55] 963*2^1454912-1 is not prime. Res64: 80A6F68902D06760 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:03:56] 691*2^1454913-1 is not prime. Res64: 492B6D9DDCE1D3FB Time : 0.0 sec. user=mdettweiler [2017-05-25 04:10:41] 789*2^1454913-1 is not prime. Res64: 85613E7F5CD89391 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:10:41] 817*2^1454913-1 is not prime. Res64: 5D821AEC98D7C4A5 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:10:42] 837*2^1454913-1 is not prime. Res64: 90C5ECDAB99E2AC5 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:10:42] 867*2^1454913-1 is not prime. Res64: 86437DC1EA7373C7 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:10:42] 895*2^1454913-1 is not prime. Res64: 71E609C45D9C037D Time : 0.0 sec. user=mdettweiler [2017-05-25 04:36:56] 921*2^1454913-1 is not prime. Res64: 9A8558D78E01E2C0 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:36:56] 755*2^1454914-1 is not prime. Res64: EE54B3F739CF7596 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:36:56] 693*2^1454915-1 is not prime. Res64: 2FD97EF1D3B09B49 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:36:56] 699*2^1454915-1 is not prime. Res64: 0637A870D41599B0 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:36:56] 715*2^1454915-1 is not prime. Res64: 5FCEACF422A7D9DC Time : 0.0 sec. user=mdettweiler [2017-05-25 04:40:15] 741*2^1454915-1 is not prime. Res64: BD76D3310B937A25 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:40:15] 799*2^1454915-1 is not prime. Res64: 960AE404DE3EE290 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:40:15] 895*2^1454915-1 is not prime. Res64: 10354FA08261F1F9 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:40:15] 915*2^1454915-1 is not prime. Res64: A54755DF34D705A4 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:40:16] 979*2^1454915-1 is not prime. Res64: 1B942F8F768F5DFE Time : 0.0 sec. user=FritzsHero [2017-05-25 04:40:29] 605*2^1454860-1 is not prime. Res64: 7F7DC3F81158F247 Time : 0.0 sec. user=FritzsHero [2017-05-25 04:40:31] 801*2^1454859-1 is not prime. Res64: 5D560591B72B71E7 Time : 0.0 sec. user=FritzsHero [2017-05-25 04:40:41] 745*2^1454859-1 is not prime. Res64: 0C3E6F29E12F8D8D Time : 0.0 sec. user=FritzsHero [2017-05-25 04:40:41] 751*2^1454859-1 is not prime. Res64: B8E9453CBBB3AB24 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:49:33] 695*2^1454916-1 is not prime. Res64: C6CC623F5279A463 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:49:33] 723*2^1454916-1 is not prime. Res64: CAE97659A916F7A3 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:49:33] 875*2^1454916-1 is not prime. Res64: F8A87D7ACD76145C Time : 0.0 sec. user=mdettweiler [2017-05-25 04:49:33] 887*2^1454916-1 is not prime. Res64: 4C36877032CC065F Time : 0.0 sec. user=mdettweiler [2017-05-25 04:49:34] 923*2^1454916-1 is not prime. Res64: A7679EF2AEFE238B Time : 0.0 sec. user=mdettweiler [2017-05-25 04:56:25] 993*2^1454916-1 is not prime. Res64: 48D066494BD49F60 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:56:26] 999*2^1454916-1 is not prime. Res64: 11F322680A0F768F Time : 0.0 sec. user=mdettweiler [2017-05-25 04:56:26] 639*2^1454917-1 is not prime. Res64: F505E38B9B2EC215 Time : 0.0 sec. user=mdettweiler [2017-05-25 04:56:26] 885*2^1454917-1 is not prime. Res64: 6AF02DF80ADD25DA Time : 0.0 sec. user=mdettweiler [2017-05-25 04:56:26] 897*2^1454917-1 is not prime. Res64: 8F64798EB58B8DD3 Time : 0.0 sec. user=mdettweiler [2017-05-25 05:22:33] 617*2^1454918-1 is not prime. Res64: 82710C2B023A56CC Time : 0.0 sec. user=mdettweiler [2017-05-25 05:22:33] 797*2^1454918-1 is not prime. Res64: FC806D4C5D71BDB2 Time : 0.0 sec. user=mdettweiler [2017-05-25 05:22:33] 813*2^1454918-1 is not prime. Res64: 4C1C8BF4A9BF63DA Time : 0.0 sec. user=mdettweiler [2017-05-25 05:22:34] 815*2^1454918-1 is not prime. Res64: E4CB3D14FE25A94B Time : 0.0 sec. user=mdettweiler [2017-05-25 05:22:34] 867*2^1454918-1 is not prime. Res64: 15AB8079E1FA16C5 Time : 0.0 sec. user=mdettweiler [2017-05-25 05:25:38] 693*2^1454919-1 is not prime. Res64: A4B5C04D9DEAE7B7 Time : 0.0 sec. user=mdettweiler [2017-05-25 05:25:38] 721*2^1454919-1 is not prime. Res64: 91833868AD725937 Time : 0.0 sec. user=mdettweiler [2017-05-25 05:25:38] 829*2^1454919-1 is not prime. Res64: DD0AE721BBD0B17C Time : 0.0 sec. user=mdettweiler [2017-05-25 05:25:39] 865*2^1454919-1 is not prime. Res64: 80B58A9033E6F190 Time : 0.0 sec. user=mdettweiler [2017-05-25 05:25:39] 743*2^1454920-1 is not prime. Res64: 689245813657243B Time : 0.0 sec. user=mdettweiler [2017-05-25 05:34:51] 717*2^1454921-1 is not prime. Res64: A9F7BABCD4C125B8 Time : 0.0 sec. user=mdettweiler [2017-05-25 05:34:51] 735*2^1454921-1 is not prime. Res64: 9814CACCDB719BA9 Time : 0.0 sec. user=mdettweiler [2017-05-25 05:34:51] 957*2^1454921-1 is not prime. Res64: E8BE2EA4D745E228 Time : 0.0 sec. user=mdettweiler [2017-05-25 05:34:52] 633*2^1454922-1 is not prime. Res64: D1DDF41E846D187F Time : 0.0 sec. user=mdettweiler [2017-05-25 05:34:52] 671*2^1454922-1 is not prime. Res64: AA78978DD32392A1 Time : 0.0 sec. user=mdettweiler [2017-05-25 05:41:52] 681*2^1454922-1 is not prime. Res64: 68ABDAFF892B48F4 Time : 0.0 sec. user=mdettweiler [2017-05-25 05:41:52] 717*2^1454922-1 is not prime. Res64: EE78D0DB07DEA597 Time : 0.0 sec. user=mdettweiler [2017-05-25 05:41:52] 921*2^1454922-1 is not prime. Res64: B5343D4EB8D76984 Time : 0.0 sec. user=mdettweiler [2017-05-25 05:41:52] 941*2^1454922-1 is not prime. Res64: 20D3CB18360A5DD2 Time : 0.0 sec. user=mdettweiler [2017-05-25 05:41:53] 673*2^1454923-1 is not prime. Res64: AF03B1549D1F7B04 Time : 0.0 sec. user=mdettweiler [2017-05-25 06:08:02] 741*2^1454923-1 is not prime. Res64: 001C7127D0507120 Time : 0.0 sec. user=mdettweiler [2017-05-25 06:08:03] 871*2^1454923-1 is not prime. Res64: 543A20DEEF9D95B0 Time : 0.0 sec. user=mdettweiler [2017-05-25 06:08:03] 919*2^1454923-1 is not prime. Res64: F9AA3478E4A519FA Time : 0.0 sec. user=mdettweiler [2017-05-25 06:08:03] 665*2^1454924-1 is not prime. Res64: B7A61AE5B7C660DE Time : 0.0 sec. user=mdettweiler [2017-05-25 06:08:04] 753*2^1454924-1 is not prime. Res64: 6846A3DAD373C98C Time : 0.0 sec. user=mdettweiler [2017-05-25 06:11:00] 759*2^1454924-1 is not prime. Res64: 287E4FA64858E208 Time : 0.0 sec. user=mdettweiler [2017-05-25 06:11:00] 795*2^1454924-1 is not prime. Res64: F43C3AD1DE9898DA Time : 0.0 sec. user=mdettweiler [2017-05-25 06:11:00] 893*2^1454924-1 is not prime. Res64: A999F80AE0EE293F Time : 0.0 sec. user=mdettweiler [2017-05-25 06:11:01] 649*2^1454925-1 is not prime. Res64: A31EC9F59F988296 Time : 0.0 sec. user=mdettweiler [2017-05-25 06:11:01] 657*2^1454925-1 is not prime. Res64: E69D8F81E7B534C3 Time : 0.0 sec. user=mdettweiler [2017-05-25 06:20:25] 699*2^1454925-1 is not prime. Res64: B43B8FAAF72CC553 Time : 0.0 sec. user=mdettweiler [2017-05-25 06:20:25] 735*2^1454925-1 is not prime. Res64: 6A997F20917E3A1E Time : 0.0 sec. user=mdettweiler [2017-05-25 06:20:25] 777*2^1454925-1 is not prime. Res64: 2E9CB3750EFE546B Time : 0.0 sec. user=mdettweiler [2017-05-25 06:20:26] 781*2^1454925-1 is not prime. Res64: 088B8940DDE8C2B1 Time : 0.0 sec. user=mdettweiler [2017-05-25 06:20:26] 789*2^1454925-1 is not prime. Res64: 4C5E6B796132CCA1 Time : 0.0 sec. user=mdettweiler [2017-05-25 06:27:13] 861*2^1454925-1 is not prime. Res64: A782313E82ECFA5C Time : 0.0 sec. user=mdettweiler [2017-05-25 06:27:13] 877*2^1454925-1 is not prime. Res64: C493A1411DCA58CE Time : 0.0 sec. user=mdettweiler [2017-05-25 06:27:13] 889*2^1454925-1 is not prime. Res64: 6F07B5F353D73CD6 Time : 0.0 sec. user=mdettweiler [2017-05-25 06:27:14] 635*2^1454926-1 is not prime. Res64: 6F489A4E30502A8F Time : 0.0 sec. user=mdettweiler [2017-05-25 06:27:14] 965*2^1454926-1 is not prime. Res64: C6143917FA5D0BCD Time : 0.0 sec. user=mdettweiler [2017-05-25 06:53:29] 603*2^1454927-1 is not prime. Res64: 278AF66AD7798440 Time : 0.0 sec. user=mdettweiler [2017-05-25 06:53:30] 663*2^1454927-1 is not prime. Res64: D6576DC030B2527A Time : 0.0 sec. user=mdettweiler [2017-05-25 06:53:30] 669*2^1454927-1 is not prime. Res64: 4F47100D20347D66 Time : 0.0 sec. user=mdettweiler [2017-05-25 06:53:30] 753*2^1454927-1 is not prime. Res64: 14D8D06C1A2E9F82 Time : 0.0 sec. user=mdettweiler [2017-05-25 06:53:30] 979*2^1454927-1 is not prime. Res64: 15F3BB758231EAE5 Time : 0.0 sec. user=mdettweiler [2017-05-25 06:56:26] 639*2^1454928-1 is not prime. Res64: 1FADCAB476DAEFEF Time : 0.0 sec. user=mdettweiler [2017-05-25 06:56:27] 797*2^1454928-1 is not prime. Res64: A465D81F6426770A Time : 0.0 sec. user=mdettweiler [2017-05-25 06:56:27] 947*2^1454928-1 is not prime. Res64: 80B4B98AE7822332 Time : 0.0 sec. user=mdettweiler [2017-05-25 06:56:27] 959*2^1454928-1 is not prime. Res64: B5F4166D82952497 Time : 0.0 sec. user=mdettweiler [2017-05-25 06:56:27] 625*2^1454929-1 is not prime. Res64: 70E4C525CA240DC7 Time : 0.0 sec. user=mdettweiler [2017-05-25 07:05:47] 765*2^1454929-1 is not prime. Res64: 22EF1A80C0FA6E0D Time : 0.0 sec. user=mdettweiler [2017-05-25 07:05:49] 811*2^1454929-1 is not prime. Res64: C6CF141E1A8AA31B Time : 0.0 sec. user=mdettweiler [2017-05-25 07:05:50] 819*2^1454929-1 is not prime. Res64: 66829DA861E56E12 Time : 0.0 sec. user=mdettweiler [2017-05-25 07:05:50] 909*2^1454929-1 is not prime. Res64: E9708979A4ACBDA0 Time : 0.0 sec. user=mdettweiler [2017-05-25 07:05:51] 999*2^1454929-1 is not prime. Res64: 7DFCF61168C31E09 Time : 0.0 sec. user=mdettweiler [2017-05-25 07:12:51] 605*2^1454930-1 is not prime. Res64: 7A2E24E8D5CC9A8F Time : 0.0 sec. user=mdettweiler [2017-05-25 07:12:52] 677*2^1454930-1 is not prime. Res64: 5659E67220AE17FB Time : 0.0 sec. user=mdettweiler [2017-05-25 07:12:52] 753*2^1454930-1 is not prime. Res64: 3B945385E3737F4D Time : 0.0 sec. user=mdettweiler [2017-05-25 07:12:52] 755*2^1454930-1 is not prime. Res64: 4DE3CB0FB4401B0B Time : 0.0 sec. user=mdettweiler [2017-05-25 07:12:53] 825*2^1454930-1 is not prime. Res64: E99033768C732E7A Time : 0.0 sec. user=mdettweiler [2017-05-25 07:38:53] 875*2^1454930-1 is not prime. Res64: C86A97905C089243 Time : 0.0 sec. user=mdettweiler [2017-05-25 07:38:54] 921*2^1454930-1 is not prime. Res64: 55DE5A4E744B998B Time : 0.0 sec. user=mdettweiler [2017-05-25 07:38:54] 601*2^1454931-1 is not prime. Res64: CF6DA9D1F4C2A114 Time : 0.0 sec. user=mdettweiler [2017-05-25 07:38:54] 711*2^1454931-1 is not prime. Res64: FFFDD823FBE59108 Time : 0.0 sec. user=mdettweiler [2017-05-25 07:38:54] 741*2^1454931-1 is not prime. Res64: C3275A07A2E25E85 Time : 0.0 sec. user=mdettweiler [2017-05-25 07:41:53] 783*2^1454931-1 is not prime. Res64: C397B6C4BE453510 Time : 0.0 sec. user=mdettweiler [2017-05-25 07:41:53] 793*2^1454931-1 is not prime. Res64: 2AFC443D5B670653 Time : 0.0 sec. user=mdettweiler [2017-05-25 07:41:54] 895*2^1454931-1 is not prime. Res64: 9BFD0B4C0593A517 Time : 0.0 sec. user=mdettweiler [2017-05-25 07:41:54] 943*2^1454931-1 is not prime. Res64: 072BCA3D810E972C Time : 0.0 sec. user=mdettweiler [2017-05-25 07:41:54] 991*2^1454931-1 is not prime. Res64: 53B6BF4FEC22466D Time : 0.0 sec. user=mdettweiler [2017-05-25 07:51:24] 689*2^1454932-1 is not prime. Res64: B4919411A25002DD Time : 0.0 sec. user=mdettweiler [2017-05-25 07:51:24] 717*2^1454932-1 is not prime. Res64: 168AF8E55BC1BDE5 Time : 0.0 sec. user=mdettweiler [2017-05-25 07:51:24] 743*2^1454932-1 is not prime. Res64: EAEED6D44E76F1A2 Time : 0.0 sec. user=mdettweiler [2017-05-25 07:51:25] 765*2^1454932-1 is not prime. Res64: 8DB81273C548564A Time : 0.0 sec. user=mdettweiler [2017-05-25 07:51:25] 869*2^1454932-1 is not prime. Res64: 2EEF6921D943E9EB Time : 0.0 sec. user=mdettweiler [2017-05-25 07:58:26] 875*2^1454932-1 is not prime. Res64: DCE46E910E61EB8B Time : 0.0 sec. user=mdettweiler [2017-05-25 07:58:26] 923*2^1454932-1 is not prime. Res64: CE8BB8FAD5D31B23 Time : 0.0 sec. user=mdettweiler [2017-05-25 07:58:26] 631*2^1454933-1 is not prime. Res64: E100EA66DE752611 Time : 0.0 sec. user=mdettweiler [2017-05-25 07:58:27] 901*2^1454933-1 is not prime. Res64: 328F932EC6ABEC27 Time : 0.0 sec. user=mdettweiler [2017-05-25 07:58:27] 915*2^1454933-1 is not prime. Res64: B60430864D4979D6 Time : 0.0 sec. user=mdettweiler [2017-05-25 08:24:22] 605*2^1454934-1 is not prime. Res64: E16F1C1509010022 Time : 0.0 sec. user=mdettweiler [2017-05-25 08:24:22] 683*2^1454934-1 is not prime. Res64: D15E3EB81E423EFA Time : 0.0 sec. user=mdettweiler [2017-05-25 08:24:22] 711*2^1454934-1 is not prime. Res64: F07F368C4CA92C4E Time : 0.0 sec. user=mdettweiler [2017-05-25 08:24:23] 723*2^1454934-1 is not prime. Res64: 105341AE5D49B24A Time : 0.0 sec. user=mdettweiler [2017-05-25 08:24:23] 797*2^1454934-1 is not prime. Res64: 028C26B8FDFF190A Time : 0.0 sec. user=mdettweiler [2017-05-25 08:27:23] 833*2^1454934-1 is not prime. Res64: 88014EF410FB1DF6 Time : 0.0 sec. user=mdettweiler [2017-05-25 08:27:23] 885*2^1454934-1 is not prime. Res64: AAD9CCDA3C2C6D12 Time : 0.0 sec. user=mdettweiler [2017-05-25 08:27:23] 675*2^1454935-1 is not prime. Res64: 8FF7206EE95F6E44 Time : 0.0 sec. user=mdettweiler [2017-05-25 08:27:23] 771*2^1454935-1 is not prime. Res64: CFD2937EA8A5381A Time : 0.0 sec. user=mdettweiler [2017-05-25 08:27:24] 853*2^1454935-1 is not prime. Res64: E51F6DBE352B5740 Time : 0.0 sec. user=mdettweiler [2017-05-25 08:36:43] 859*2^1454935-1 is not prime. Res64: 05FF6C3760D77576 Time : 0.0 sec. user=mdettweiler [2017-05-25 08:36:43] 943*2^1454935-1 is not prime. Res64: 32ED3E75489FBB7E Time : 0.0 sec. user=mdettweiler [2017-05-25 08:36:43] 629*2^1454936-1 is not prime. Res64: 4411405A16A37AD5 Time : 0.0 sec. user=mdettweiler [2017-05-25 08:36:43] 635*2^1454936-1 is not prime. Res64: 59334817BA82658F Time : 0.0 sec. user=mdettweiler [2017-05-25 08:36:44] 843*2^1454936-1 is not prime. Res64: 629CF463C1A24E02 Time : 0.0 sec. user=mdettweiler [2017-05-25 08:43:56] 627*2^1454937-1 is not prime. Res64: 95D59010E210FE4D Time : 0.0 sec. user=mdettweiler [2017-05-25 08:43:56] 871*2^1454937-1 is not prime. Res64: 05D25C43124C0D10 Time : 0.0 sec. user=mdettweiler [2017-05-25 08:43:56] 801*2^1454938-1 is not prime. Res64: A8375AB746F1BF47 Time : 0.0 sec. user=mdettweiler [2017-05-25 08:43:56] 803*2^1454938-1 is not prime. Res64: FAC6C9C78B96E7A3 Time : 0.0 sec. user=mdettweiler [2017-05-25 08:43:57] 825*2^1454938-1 is not prime. Res64: 0DAC2B798A255414 Time : 0.0 sec. user=mdettweiler [2017-05-25 09:10:04] 861*2^1454938-1 is not prime. Res64: 09F04569A94BE776 Time : 0.0 sec. user=mdettweiler [2017-05-25 09:10:04] 915*2^1454938-1 is not prime. Res64: A880906DAF60A2D9 Time : 0.0 sec. user=mdettweiler [2017-05-25 09:10:05] 941*2^1454938-1 is not prime. Res64: BDD4A050F72064CB Time : 0.0 sec. user=mdettweiler [2017-05-25 09:10:05] 951*2^1454938-1 is not prime. Res64: 16F37FB2B40357DF Time : 0.0 sec. user=mdettweiler [2017-05-25 09:10:05] 975*2^1454938-1 is not prime. Res64: 48238B47D0B0D5AB Time : 0.0 sec. user=mdettweiler [2017-05-25 09:12:53] 675*2^1454939-1 is not prime. Res64: 91DB67197EAD56DB Time : 0.0 sec. user=mdettweiler [2017-05-25 09:12:53] 741*2^1454939-1 is not prime. Res64: D43939D583A32D93 Time : 0.0 sec. user=mdettweiler [2017-05-25 09:12:53] 745*2^1454939-1 is not prime. Res64: 9F5C5A39664258C5 Time : 0.0 sec. user=mdettweiler [2017-05-25 09:12:53] 969*2^1454939-1 is not prime. Res64: 7637F8B597320831 Time : 0.0 sec. user=mdettweiler [2017-05-25 09:12:54] 991*2^1454939-1 is not prime. Res64: 62C1F89400609512 Time : 0.0 sec. user=mdettweiler [2017-05-25 09:22:23] 765*2^1454940-1 is not prime. Res64: B890FA7BE75711B6 Time : 0.0 sec. user=mdettweiler [2017-05-25 09:22:24] 867*2^1454940-1 is not prime. Res64: 54EFE627113B4CCB Time : 0.0 sec. user=mdettweiler [2017-05-25 09:22:24] 899*2^1454940-1 is not prime. Res64: 2407E3A8BA7F7A6D Time : 0.0 sec. user=mdettweiler [2017-05-25 09:22:24] 999*2^1454940-1 is not prime. Res64: 90905D3DD084D66B Time : 0.0 sec. user=mdettweiler [2017-05-25 09:22:24] 651*2^1454941-1 is not prime. Res64: 8E4F274DB9EFA5D5 Time : 0.0 sec. user=mdettweiler [2017-05-25 09:29:49] 805*2^1454941-1 is not prime. Res64: 19D024B72C7B8796 Time : 0.0 sec. user=mdettweiler [2017-05-25 09:29:50] 871*2^1454941-1 is not prime. Res64: F9190C1DF943FDCD Time : 0.0 sec. user=mdettweiler [2017-05-25 09:29:50] 895*2^1454941-1 is not prime. Res64: 8C9641363AB2077E Time : 0.0 sec. user=mdettweiler [2017-05-25 09:29:50] 939*2^1454941-1 is not prime. Res64: 1579CAA5CC9DA9FA Time : 0.0 sec. user=mdettweiler [2017-05-25 09:29:50] 711*2^1454942-1 is not prime. Res64: 6030BB30FF6DD74E Time : 0.0 sec. user=mdettweiler [2017-05-25 09:55:43] 755*2^1454942-1 is not prime. Res64: 1D8564852DAC8168 Time : 0.0 sec. user=mdettweiler [2017-05-25 09:55:43] 831*2^1454942-1 is not prime. Res64: F3FAA6B12F6A12FD Time : 0.0 sec. user=mdettweiler [2017-05-25 09:55:44] 887*2^1454942-1 is not prime. Res64: 6AB154A6C48F7DF3 Time : 0.0 sec. user=mdettweiler [2017-05-25 09:55:44] 977*2^1454942-1 is not prime. Res64: 14BCA01F9C8252E1 Time : 0.0 sec. user=mdettweiler [2017-05-25 09:55:44] 1001*2^1454942-1 is not prime. Res64: 837751BD73B1DCC0 Time : 0.0 sec. user=mdettweiler [2017-05-25 09:58:42] 709*2^1454943-1 is not prime. Res64: 02E35A7110300990 Time : 0.0 sec. user=mdettweiler [2017-05-25 09:58:42] 723*2^1454943-1 is not prime. Res64: 79E309AE02F6B5E8 Time : 0.0 sec. user=mdettweiler [2017-05-25 09:58:42] 741*2^1454943-1 is not prime. Res64: 4596E3FD59BE6D6A Time : 0.0 sec. user=mdettweiler [2017-05-25 09:58:42] 751*2^1454943-1 is not prime. Res64: B738330F58CF3EE9 Time : 0.0 sec. user=mdettweiler [2017-05-25 09:58:43] 769*2^1454943-1 is not prime. Res64: E6325E7F5805D53B Time : 0.0 sec. user=mdettweiler [2017-05-25 10:07:41] 831*2^1454943-1 is not prime. Res64: 042D25C9B2658E19 Time : 0.0 sec. user=mdettweiler [2017-05-25 10:07:41] 885*2^1454943-1 is not prime. Res64: B8578FC76FD24627 Time : 0.0 sec. user=mdettweiler [2017-05-25 10:07:41] 901*2^1454943-1 is not prime. Res64: 3A287DA61E04A930 Time : 0.0 sec. user=mdettweiler [2017-05-25 10:07:42] 933*2^1454943-1 is not prime. Res64: B88F7938E07E3C98 Time : 0.0 sec. user=mdettweiler [2017-05-25 10:07:42] 991*2^1454943-1 is not prime. Res64: 5F2770BCDC66DA9E Time : 0.0 sec. user=mdettweiler [2017-05-25 10:15:16] 605*2^1454944-1 is not prime. Res64: 654ED95CCAD7F4D7 Time : 0.0 sec. user=mdettweiler [2017-05-25 10:15:16] 635*2^1454944-1 is not prime. Res64: F08724F3A5E16E7E Time : 0.0 sec. user=mdettweiler [2017-05-25 10:15:16] 677*2^1454944-1 is not prime. Res64: 7FA0435A8ECDAF90 Time : 0.0 sec. user=mdettweiler [2017-05-25 10:15:16] 827*2^1454944-1 is not prime. Res64: B79C47209B1C89BB Time : 0.0 sec. user=mdettweiler [2017-05-25 10:15:17] 849*2^1454944-1 is not prime. Res64: 675A8F0EAD5131BC Time : 0.0 sec. user=mdettweiler [2017-05-25 10:41:07] 729*2^1454945-1 is not prime. Res64: 9176E034CBA6195F Time : 0.0 sec. user=mdettweiler [2017-05-25 10:41:07] 787*2^1454945-1 is not prime. Res64: 88BE3223E6B10866 Time : 0.0 sec. user=mdettweiler [2017-05-25 10:41:07] 789*2^1454945-1 is not prime. Res64: CC28B83E89A8318C Time : 0.0 sec. user=mdettweiler [2017-05-25 10:41:08] 795*2^1454945-1 is not prime. Res64: 87195E5D0178BFBF Time : 0.0 sec. user=mdettweiler [2017-05-25 10:41:08] 847*2^1454945-1 is not prime. Res64: 60F93133935B5BE1 Time : 0.0 sec. user=mdettweiler [2017-05-25 10:44:12] 865*2^1454945-1 is not prime. Res64: AAEE61EAC2EAD9BB Time : 0.0 sec. user=mdettweiler [2017-05-25 10:44:12] 907*2^1454945-1 is not prime. Res64: D7B2F5FA8180900B Time : 0.0 sec. user=mdettweiler [2017-05-25 10:44:12] 725*2^1454946-1 is not prime. Res64: 1B084A7FB66A2B30 Time : 0.0 sec. user=mdettweiler [2017-05-25 10:44:12] 765*2^1454946-1 is not prime. Res64: 605E5CC81274BF40 Time : 0.0 sec. user=mdettweiler [2017-05-25 10:44:13] 875*2^1454946-1 is not prime. Res64: 76102935E89B3213 Time : 0.0 sec. user=mdettweiler [2017-05-25 10:53:19] 921*2^1454946-1 is not prime. Res64: CE7E2977FB74F071 Time : 0.0 sec. user=mdettweiler [2017-05-25 10:53:19] 615*2^1454947-1 is not prime. Res64: EE1FACB8686CFE9A Time : 0.0 sec. user=mdettweiler [2017-05-25 10:53:19] 691*2^1454947-1 is not prime. Res64: C708EB44E6733546 Time : 0.0 sec. user=mdettweiler [2017-05-25 10:53:19] 759*2^1454947-1 is not prime. Res64: 0EFF4E6A72A6A499 Time : 0.0 sec. user=mdettweiler [2017-05-25 10:53:20] 765*2^1454947-1 is not prime. Res64: 4749251359BDC22E Time : 0.0 sec. user=mdettweiler [2017-05-25 11:00:56] 849*2^1454947-1 is not prime. Res64: 7EB4963B3BCE5200 Time : 0.0 sec. user=mdettweiler [2017-05-25 11:00:57] 871*2^1454947-1 is not prime. Res64: B50C6E5941C00050 Time : 0.0 sec. user=mdettweiler [2017-05-25 11:00:58] 873*2^1454947-1 is not prime. Res64: 30EC4B2274D007B4 Time : 0.0 sec. user=mdettweiler [2017-05-25 11:00:59] 915*2^1454947-1 is not prime. Res64: 50F12F3B39676A2F Time : 0.0 sec. user=mdettweiler [2017-05-25 11:00:59] 615*2^1454948-1 is not prime. Res64: 8C090704105FF149 Time : 0.0 sec. user=mdettweiler [2017-05-25 11:27:27] 665*2^1454948-1 is not prime. Res64: FB0E854BA8375BC8 Time : 0.0 sec. user=mdettweiler [2017-05-25 11:27:27] 813*2^1454948-1 is not prime. Res64: 24435BBBF3A344C1 Time : 0.0 sec. user=mdettweiler [2017-05-25 11:27:28] 879*2^1454948-1 is not prime. Res64: DCF98BA6A5D9A835 Time : 0.0 sec. user=mdettweiler [2017-05-25 11:27:28] 957*2^1454948-1 is not prime. Res64: DD43F67DA6F75E53 Time : 0.0 sec. user=mdettweiler [2017-05-25 11:27:28] 987*2^1454948-1 is not prime. Res64: A18F5C40DE0529BE Time : 0.0 sec. user=mdettweiler [2017-05-25 11:30:39] 639*2^1454949-1 is not prime. Res64: 96D5809AC1597E39 Time : 0.0 sec. user=mdettweiler [2017-05-25 11:30:40] 741*2^1454949-1 is not prime. Res64: 5343F34F6662FEAD Time : 0.0 sec. user=mdettweiler [2017-05-25 11:30:40] 751*2^1454949-1 is not prime. Res64: 4F5971664334977A Time : 0.0 sec. user=mdettweiler [2017-05-25 11:30:40] 765*2^1454949-1 is not prime. Res64: 5517E047D4FE81DF Time : 0.0 sec. user=mdettweiler [2017-05-25 11:30:41] 795*2^1454949-1 is not prime. Res64: 39E6D8D5EF440326 Time : 0.0 sec. user=mdettweiler [2017-05-25 11:39:55] 945*2^1454949-1 is not prime. Res64: F2D1C6BDBBDBF2FC Time : 0.0 sec. user=mdettweiler [2017-05-25 11:39:56] 969*2^1454949-1 is not prime. Res64: 40A7A3194D438574 Time : 0.0 sec. user=mdettweiler [2017-05-25 11:39:56] 985*2^1454949-1 is not prime. Res64: 94006A0C38749DDC Time : 0.0 sec. user=mdettweiler [2017-05-25 11:39:56] 997*2^1454949-1 is not prime. Res64: 569EA485F7BF995F Time : 0.0 sec. user=mdettweiler [2017-05-25 11:39:56] 635*2^1454950-1 is not prime. Res64: 4E65C6CA44806895 Time : 0.0 sec. user=mdettweiler [2017-05-25 11:47:22] 773*2^1454950-1 is not prime. Res64: 8F74F2B7BB106A18 Time : 0.0 sec. user=mdettweiler [2017-05-25 11:47:22] 785*2^1454950-1 is not prime. Res64: 155FCC3338D3274D Time : 0.0 sec. user=mdettweiler [2017-05-25 11:47:22] 843*2^1454950-1 is not prime. Res64: AE36EEBD27D4D5D4 Time : 0.0 sec. user=mdettweiler [2017-05-25 11:47:23] 855*2^1454950-1 is not prime. Res64: D7553A069186FE3D Time : 0.0 sec. user=mdettweiler [2017-05-25 11:47:23] 873*2^1454950-1 is not prime. Res64: 517B3FD12D341D18 Time : 0.0 sec. user=mdettweiler [2017-05-25 12:13:02] 911*2^1454950-1 is not prime. Res64: F1EE043DDAF929E6 Time : 0.0 sec. user=mdettweiler [2017-05-25 12:13:03] 975*2^1454950-1 is not prime. Res64: B8C8FFA0F8B649E9 Time : 0.0 sec. user=mdettweiler [2017-05-25 12:13:03] 609*2^1454951-1 is not prime. Res64: E9BFAFEA5A3BED6F Time : 0.0 sec. user=mdettweiler [2017-05-25 12:13:03] 661*2^1454951-1 is not prime. Res64: 7F46E4AFD18FAD8C Time : 0.0 sec. user=mdettweiler [2017-05-25 12:13:03] 735*2^1454951-1 is not prime. Res64: 5ED12A6F9626045A Time : 0.0 sec. user=mdettweiler [2017-05-25 12:16:06] 819*2^1454951-1 is not prime. Res64: E9AB3F93ABE48703 Time : 0.0 sec. user=mdettweiler [2017-05-25 12:16:06] 825*2^1454951-1 is not prime. Res64: F60BFD6F64197D5D Time : 0.0 sec. user=mdettweiler [2017-05-25 12:16:07] 981*2^1454951-1 is not prime. Res64: 7246FD39E366F1B2 Time : 0.0 sec. user=mdettweiler [2017-05-25 12:16:07] 609*2^1454952-1 is not prime. Res64: A1D396C62E7974AB Time : 0.0 sec. user=mdettweiler [2017-05-25 12:16:07] 665*2^1454952-1 is not prime. Res64: 2EF304CAEECCB8EC Time : 0.0 sec. user=mdettweiler [2017-05-25 12:25:27] 717*2^1454952-1 is not prime. Res64: 27F254179612CDE5 Time : 0.0 sec. user=mdettweiler [2017-05-25 12:25:28] 759*2^1454952-1 is not prime. Res64: C20F7DCA7561691C Time : 0.0 sec. user=mdettweiler [2017-05-25 12:25:28] 849*2^1454952-1 is not prime. Res64: BAC3C0009054E8A1 Time : 0.0 sec. user=mdettweiler [2017-05-25 12:25:28] 857*2^1454952-1 is not prime. Res64: ACA3BC10722C5476 Time : 0.0 sec. user=mdettweiler [2017-05-25 12:25:28] 899*2^1454952-1 is not prime. Res64: D66E1105B0C02BCD Time : 0.0 sec. user=mdettweiler [2017-05-25 12:32:54] 903*2^1454952-1 is not prime. Res64: EA091B6450E293AE Time : 0.0 sec. user=mdettweiler [2017-05-25 12:32:54] 947*2^1454952-1 is not prime. Res64: CC006EBD31696EF0 Time : 0.0 sec. user=mdettweiler [2017-05-25 12:32:54] 607*2^1454953-1 is not prime. Res64: 0E17CA9377F36C11 Time : 0.0 sec. user=mdettweiler [2017-05-25 12:32:54] 675*2^1454953-1 is not prime. Res64: 2A093F5B6924AE11 Time : 0.0 sec. user=mdettweiler [2017-05-25 12:32:55] 705*2^1454953-1 is not prime. Res64: 56488F48153F2D11 Time : 0.0 sec. user=mdettweiler [2017-05-25 12:58:37] 829*2^1454953-1 is not prime. Res64: 025F0D031F4AB973 Time : 0.0 sec. user=mdettweiler [2017-05-25 12:58:37] 901*2^1454953-1 is not prime. Res64: 83A6E931AC95B27C Time : 0.0 sec. user=mdettweiler [2017-05-25 12:58:37] 641*2^1454954-1 is not prime. Res64: 23AB8E347ECB56C3 Time : 0.0 sec. user=mdettweiler [2017-05-25 12:58:38] 645*2^1454954-1 is not prime. Res64: FB75B96998F8403D Time : 0.0 sec. user=mdettweiler [2017-05-25 12:58:38] 671*2^1454954-1 is not prime. Res64: 2714D82B1E8AAE46 Time : 0.0 sec. user=mdettweiler [2017-05-25 13:01:33] 785*2^1454954-1 is not prime. Res64: 174295DAAC46E454 Time : 0.0 sec. user=mdettweiler [2017-05-25 13:01:34] 813*2^1454954-1 is not prime. Res64: 39CBE863F87C891D Time : 0.0 sec. user=mdettweiler [2017-05-25 13:01:34] 815*2^1454954-1 is not prime. Res64: 2FA167CDF2768D17 Time : 0.0 sec. user=mdettweiler [2017-05-25 13:01:35] 827*2^1454954-1 is not prime. Res64: 9CD495755714E2E4 Time : 0.0 sec. user=mdettweiler [2017-05-25 13:01:35] 887*2^1454954-1 is not prime. Res64: 993F284C5093B61F Time : 0.0 sec. user=mdettweiler [2017-05-25 13:18:39] 895*2^1454955-1 is not prime. Res64: 42F6D59C37C3FB28 Time : 0.0 sec. user=mdettweiler [2017-05-25 13:18:39] 963*2^1454955-1 is not prime. Res64: F725C1ABBEBE8EE6 Time : 0.0 sec. user=mdettweiler [2017-05-25 13:18:39] 609*2^1454956-1 is not prime. Res64: D3AA2466C702FE62 Time : 0.0 sec. user=mdettweiler [2017-05-25 13:18:40] 615*2^1454956-1 is not prime. Res64: AA9294C12FF0AFB5 Time : 0.0 sec. user=mdettweiler [2017-05-25 13:18:40] 695*2^1454956-1 is not prime. Res64: 2A920017F989B6BB Time : 0.0 sec. user=mdettweiler [2017-05-25 13:44:53] 825*2^1454956-1 is not prime. Res64: 6D680680F1475C9D Time : 0.0 sec. user=mdettweiler [2017-05-25 13:44:53] 845*2^1454956-1 is not prime. Res64: 013159BC57C48365 Time : 0.0 sec. user=mdettweiler [2017-05-25 13:44:53] 869*2^1454956-1 is not prime. Res64: EB330957126EB14E Time : 0.0 sec. user=mdettweiler [2017-05-25 13:44:54] 607*2^1454957-1 is not prime. Res64: 9BA0F42D247A0A40 Time : 0.0 sec. user=mdettweiler [2017-05-25 13:44:54] 619*2^1454957-1 is not prime. Res64: 3E69AF17295E5255 Time : 0.0 sec. user=mdettweiler [2017-05-25 13:48:30] 801*2^1454957-1 is not prime. Res64: 61E7CB0830989871 Time : 0.0 sec. user=mdettweiler [2017-05-25 13:48:30] 837*2^1454957-1 is not prime. Res64: 97C7167C86EA447A Time : 0.0 sec. user=mdettweiler [2017-05-25 13:48:30] 867*2^1454957-1 is not prime. Res64: B21C8A270AB0A43B Time : 0.0 sec. user=mdettweiler [2017-05-25 13:48:30] 931*2^1454957-1 is not prime. Res64: D0DEB7D34EE2350A Time : 0.0 sec. user=mdettweiler [2017-05-25 13:48:31] 641*2^1454958-1 is not prime. Res64: 9C81CF70C982CC11 Time : 0.0 sec. user=mdettweiler [2017-05-25 14:05:40] 707*2^1454958-1 is not prime. Res64: A4157FFEA6A5C032 Time : 0.0 sec. user=mdettweiler [2017-05-25 14:05:41] 711*2^1454958-1 is not prime. Res64: 69BDA782DB4C4143 Time : 0.0 sec. user=mdettweiler [2017-05-25 14:05:41] 747*2^1454958-1 is not prime. Res64: 4EB8EEA7791B37C7 Time : 0.0 sec. user=mdettweiler [2017-05-25 14:05:41] 767*2^1454958-1 is not prime. Res64: 5CE7176B06C9076F Time : 0.0 sec. user=mdettweiler [2017-05-25 14:05:42] 797*2^1454958-1 is not prime. Res64: 6E7852394C3C6BAC Time : 0.0 sec. user=mdettweiler [2017-05-25 14:35:42] 855*2^1454959-1 is not prime. Res64: 159E73C9C3DFC51E Time : 0.0 sec. user=mdettweiler [2017-05-25 14:35:42] 883*2^1454959-1 is not prime. Res64: 298EA626BE7F085F Time : 0.0 sec. user=mdettweiler [2017-05-25 14:35:42] 975*2^1454959-1 is not prime. Res64: 0B5880520268459D Time : 0.0 sec. user=mdettweiler [2017-05-25 14:35:42] 603*2^1454960-1 is not prime. Res64: 27BD9494ABCDD8D8 Time : 0.0 sec. user=mdettweiler [2017-05-25 14:35:43] 669*2^1454960-1 is not prime. Res64: 7E21837C77A86D66 Time : 0.0 sec. user=mdettweiler [2017-05-25 14:53:54] 699*2^1454960-1 is not prime. Res64: 844844324125643D Time : 0.0 sec. user=mdettweiler [2017-05-25 14:53:54] 773*2^1454960-1 is not prime. Res64: A8F4B79C89144A6D Time : 0.0 sec. user=mdettweiler [2017-05-25 14:53:54] 797*2^1454960-1 is not prime. Res64: 9B75DCF2F7A441EF Time : 0.0 sec. user=mdettweiler [2017-05-25 14:53:55] 843*2^1454960-1 is not prime. Res64: 6EFCDAB9C9285432 Time : 0.0 sec. user=mdettweiler [2017-05-25 14:53:55] 929*2^1454960-1 is not prime. Res64: 08BE676B21B6F9EB Time : 0.0 sec. user=mdettweiler [2017-05-25 15:26:15] 637*2^1454961-1 is not prime. Res64: 046011985A0DA4AE Time : 0.0 sec. user=mdettweiler [2017-05-25 15:26:15] 649*2^1454961-1 is not prime. Res64: 3DE79A730E30F245 Time : 0.0 sec. user=mdettweiler [2017-05-25 15:26:15] 747*2^1454961-1 is not prime. Res64: D78333B205AE61D5 Time : 0.0 sec. user=mdettweiler [2017-05-25 15:26:16] 865*2^1454961-1 is not prime. Res64: 37DC2DFAE2F8A633 Time : 0.0 sec. user=mdettweiler [2017-05-25 15:26:16] 889*2^1454961-1 is not prime. Res64: C4385486A7FEFBBE Time : 0.0 sec. user=mdettweiler [2017-05-25 15:45:24] 921*2^1454961-1 is not prime. Res64: 1DD9E03CCEBB7901 Time : 0.0 sec. user=mdettweiler [2017-05-25 15:45:25] 987*2^1454961-1 is not prime. Res64: 0BA8E6420B59339A Time : 0.0 sec. user=mdettweiler [2017-05-25 15:45:25] 611*2^1454962-1 is not prime. Res64: BA062F490D2E991B Time : 0.0 sec. user=mdettweiler [2017-05-25 15:45:25] 621*2^1454962-1 is not prime. Res64: 7E691A8D579ACEC5 Time : 0.0 sec. user=mdettweiler [2017-05-25 15:45:25] 695*2^1454962-1 is not prime. Res64: 8DEC2646F9AB3B3D Time : 0.0 sec. user=FritzsHero [2017-05-25 15:49:30] 963*2^1454898-1 is not prime. Res64: 3609ECD7A91524C2 Time : 0.0 sec. user=FritzsHero [2017-05-25 15:49:30] 691*2^1454899-1 is not prime. Res64: 5E12F21A143BF048 Time : 0.0 sec. user=FritzsHero [2017-05-25 15:49:40] 765*2^1454899-1 is not prime. Res64: 0605CE514774F279 Time : 0.0 sec. user=FritzsHero [2017-05-25 15:50:56] 759*2^1454896-1 is not prime. Res64: 57A0FD93C1ABA4D8 Time : 0.0 sec. user=FritzsHero [2017-05-25 16:00:05] 683*2^1454964-1 is not prime. Res64: FD2E17FBD92EE073 Time : 0.0 sec. user=FritzsHero [2017-05-25 16:00:05] 981*2^1454963-1 is not prime. Res64: 32879F839C5564D2 Time : 0.0 sec. user=FritzsHero [2017-05-25 16:00:16] 707*2^1454964-1 is not prime. Res64: 4560CF7CDA5D1438 Time : 0.0 sec. user=FritzsHero [2017-05-25 16:01:35] 783*2^1454964-1 is not prime. Res64: 3C998311044A8040 Time : 0.0 sec. user=FritzsHero [2017-05-25 16:10:48] 857*2^1454964-1 is not prime. Res64: CD94D6ABAEB89155 Time : 0.0 sec. user=FritzsHero [2017-05-25 16:10:48] 863*2^1454964-1 is not prime. Res64: D65E06CB7BBAC9AB Time : 0.0 sec. user=FritzsHero [2017-05-25 16:10:51] 887*2^1454964-1 is not prime. Res64: 92D815E56BEA3C22 Time : 0.0 sec. user=FritzsHero [2017-05-25 16:12:05] 969*2^1454964-1 is not prime. Res64: 3B09A181973B1E41 Time : 0.0 sec. user=mdettweiler [2017-05-25 16:16:26] 815*2^1454962-1 is not prime. Res64: 0616A51745D1FFFE Time : 0.0 sec. user=mdettweiler [2017-05-25 16:16:26] 857*2^1454962-1 is not prime. Res64: 9FAEE0E9CA0ADD3B Time : 0.0 sec. user=mdettweiler [2017-05-25 16:16:26] 867*2^1454962-1 is not prime. Res64: DE85134867A5249B Time : 0.0 sec. user=mdettweiler [2017-05-25 16:16:27] 987*2^1454962-1 is not prime. Res64: 2AFD439DC92C67FA Time : 0.0 sec. user=mdettweiler [2017-05-25 16:16:27] 705*2^1454963-1 is not prime. Res64: B5081E448883EBA3 Time : 0.0 sec. user=mdettweiler [2017-05-25 16:35:39] 771*2^1454963-1 is not prime. Res64: 9CDC369B2D4F3B01 Time : 0.0 sec. user=mdettweiler [2017-05-25 16:35:39] 853*2^1454963-1 is not prime. Res64: EA9408BB0EF5EB41 Time : 0.0 sec. user=mdettweiler [2017-05-25 16:35:39] 861*2^1454963-1 is not prime. Res64: 0E933605F6CCCD82 Time : 0.0 sec. user=mdettweiler [2017-05-25 16:35:40] 895*2^1454963-1 is not prime. Res64: 3C56880FFE87893D Time : 0.0 sec. user=mdettweiler [2017-05-25 16:35:40] 943*2^1454963-1 is not prime. Res64: 7275FCC24DF9B910 Time : 0.0 sec. user=juhehe [2017-05-25 16:37:28] 837*2^1454964-1 is not prime. Res64: 9EBA186C1E4C3BB5 Time : 0.0 sec. user=mdettweiler [2017-05-25 16:43:14] 917*2^1454954-1 is not prime. Res64: 6CDFFF14654F612C Time : 0.0 sec. user=mdettweiler [2017-05-25 16:43:15] 921*2^1454954-1 is not prime. Res64: BBC84C6B15941A32 Time : 0.0 sec. user=mdettweiler [2017-05-25 16:43:15] 739*2^1454955-1 is not prime. Res64: 9758991FAF1BB16E Time : 0.0 sec. user=mdettweiler [2017-05-25 16:43:15] 819*2^1454955-1 is not prime. Res64: F24138E4C4FDC232 Time : 0.0 sec. user=mdettweiler [2017-05-25 16:43:15] 861*2^1454955-1 is not prime. Res64: 06C410E3EEAF4643 Time : 0.0 sec. user=mdettweiler [2017-05-25 17:05:20] 939*2^1454965-1 is not prime. Res64: 129922344E7CF87A Time : 0.0 sec. user=mdettweiler [2017-05-25 17:05:21] 957*2^1454965-1 is not prime. Res64: 78D640CCDC3B4367 Time : 0.0 sec. user=mdettweiler [2017-05-25 17:05:22] 999*2^1454965-1 is not prime. Res64: A6C92D3F4A510528 Time : 0.0 sec. user=mdettweiler [2017-05-25 17:05:23] 705*2^1454966-1 is not prime. Res64: 1B42A53C498E14E5 Time : 0.0 sec. user=mdettweiler [2017-05-25 17:05:24] 755*2^1454966-1 is not prime. Res64: 42C7A13DACDC8E45 Time : 0.0 sec. user=mdettweiler [2017-05-25 17:22:46] 813*2^1454966-1 is not prime. Res64: FD8BCF12A77FBC4E Time : 0.0 sec. user=mdettweiler [2017-05-25 17:22:46] 993*2^1454966-1 is not prime. Res64: B34B765AA4FF5F5C Time : 0.0 sec. user=mdettweiler [2017-05-25 17:22:46] 693*2^1454967-1 is not prime. Res64: F49998D047E0E402 Time : 0.0 sec. user=mdettweiler [2017-05-25 17:22:47] 741*2^1454967-1 is not prime. Res64: A38EC4D865BE9C91 Time : 0.0 sec. user=mdettweiler [2017-05-25 17:22:47] 751*2^1454967-1 is not prime. Res64: E1A6D175157F2A93 Time : 0.0 sec. user=mdettweiler [2017-05-25 17:29:41] 831*2^1454967-1 is not prime. Res64: 35C721D0ECC443C2 Time : 0.0 sec. user=mdettweiler [2017-05-25 17:29:41] 849*2^1454967-1 is not prime. Res64: 8E38357207B03045 Time : 0.0 sec. user=mdettweiler [2017-05-25 17:29:41] 861*2^1454967-1 is not prime. Res64: BAA1B0A4F28EEA69 Time : 0.0 sec. user=mdettweiler [2017-05-25 17:29:41] 909*2^1454967-1 is not prime. Res64: EF54696549C81F20 Time : 0.0 sec. user=mdettweiler [2017-05-25 17:29:41] 985*2^1454967-1 is not prime. Res64: 89BA2F0F096F5B9A Time : 0.0 sec. user=mdettweiler [2017-05-25 17:52:32] 777*2^1454968-1 is not prime. Res64: 2902A53CBA72DEE5 Time : 0.0 sec. user=mdettweiler [2017-05-25 17:52:32] 797*2^1454968-1 is not prime. Res64: DCEC9641EE2E4867 Time : 0.0 sec. user=mdettweiler [2017-05-25 17:52:32] 827*2^1454968-1 is not prime. Res64: 1FA63D29F58AB28D Time : 0.0 sec. user=mdettweiler [2017-05-25 17:52:33] 849*2^1454968-1 is not prime. Res64: 07502D979767BDAF Time : 0.0 sec. user=mdettweiler [2017-05-25 17:52:33] 863*2^1454968-1 is not prime. Res64: 280AB5E6E6834BCB Time : 0.0 sec. user=mdettweiler [2017-05-25 18:09:22] 905*2^1454968-1 is not prime. Res64: D73D97C78D2B5BB0 Time : 0.0 sec. user=mdettweiler [2017-05-25 18:09:23] 989*2^1454968-1 is not prime. Res64: 0484046531910B44 Time : 0.0 sec. user=mdettweiler [2017-05-25 18:09:23] 999*2^1454968-1 is not prime. Res64: D6B8B18BC03EEEC2 Time : 0.0 sec. user=mdettweiler [2017-05-25 18:09:23] 627*2^1454969-1 is not prime. Res64: 5FAAA80DFC1FA0DD Time : 0.0 sec. user=mdettweiler [2017-05-25 18:09:23] 691*2^1454969-1 is not prime. Res64: 9AB11F61FD60BD70 Time : 0.0 sec. user=mdettweiler [2017-05-25 18:15:56] 799*2^1454969-1 is not prime. Res64: 10F3770DE24A9DE4 Time : 0.0 sec. user=mdettweiler [2017-05-25 18:15:56] 837*2^1454969-1 is not prime. Res64: 72AA2E534A7C57ED Time : 0.0 sec. user=mdettweiler [2017-05-25 18:15:56] 879*2^1454969-1 is not prime. Res64: E0760A4B5FFBA49D Time : 0.0 sec. user=mdettweiler [2017-05-25 18:15:56] 657*2^1454970-1 is not prime. Res64: 295E652A82F50993 Time : 0.0 sec. user=mdettweiler [2017-05-25 18:15:57] 677*2^1454970-1 is not prime. Res64: 5D8539A064266995 Time : 0.0 sec. user=mdettweiler [2017-05-25 18:25:00] 915*2^1454958-1 is not prime. Res64: 46059CA1500452BA Time : 0.0 sec. user=mdettweiler [2017-05-25 18:25:00] 977*2^1454958-1 is not prime. Res64: DB3B9FC6454B94D7 Time : 0.0 sec. user=mdettweiler [2017-05-25 18:25:01] 603*2^1454959-1 is not prime. Res64: 71B680153A10524A Time : 0.0 sec. user=mdettweiler [2017-05-25 18:25:01] 625*2^1454959-1 is not prime. Res64: 17B7C7E96C1A2E83 Time : 0.0 sec. user=mdettweiler [2017-05-25 18:25:01] 769*2^1454959-1 is not prime. Res64: 0B850CAF626D5900 Time : 0.0 sec. user=mdettweiler [2017-05-25 18:38:44] 765*2^1454970-1 is not prime. Res64: D4D7771979309842 Time : 0.0 sec. user=mdettweiler [2017-05-25 18:38:44] 773*2^1454970-1 is not prime. Res64: 3784B90AE4848B6A Time : 0.0 sec. user=mdettweiler [2017-05-25 18:38:44] 803*2^1454970-1 is not prime. Res64: C41D0B1D3949E74B Time : 0.0 sec. user=mdettweiler [2017-05-25 18:38:44] 971*2^1454970-1 is not prime. Res64: C0A13C5789FB908A Time : 0.0 sec. user=mdettweiler [2017-05-25 18:38:44] 769*2^1454971-1 is not prime. Res64: 277AC4CA8DB21CF8 Time : 0.0 sec. user=juhehe [2017-05-25 18:40:47] 805*2^1454971-1 is not prime. Res64: 40ED647F2596C01F Time : 0.0 sec. user=mdettweiler [2017-05-25 18:55:24] 871*2^1454971-1 is not prime. Res64: D52AC02230073DBC Time : 0.0 sec. user=mdettweiler [2017-05-25 18:55:24] 891*2^1454971-1 is not prime. Res64: 79AA4EE11B105FA7 Time : 0.0 sec. user=mdettweiler [2017-05-25 18:55:24] 901*2^1454971-1 is not prime. Res64: B6A6EB873C9A82AB Time : 0.0 sec. user=mdettweiler [2017-05-25 18:55:25] 931*2^1454971-1 is not prime. Res64: A5DFD6A734F04223 Time : 0.0 sec. user=mdettweiler [2017-05-25 18:55:25] 969*2^1454971-1 is not prime. Res64: ADCECF4104B20A3C Time : 0.0 sec. user=mdettweiler [2017-05-25 19:01:38] 749*2^1454972-1 is not prime. Res64: DC3A802FB969603E Time : 0.0 sec. user=mdettweiler [2017-05-25 19:01:38] 915*2^1454972-1 is not prime. Res64: 6531C2B7FEF74B7D Time : 0.0 sec. user=mdettweiler [2017-05-25 19:01:39] 987*2^1454972-1 is not prime. Res64: 00E74638BC639A3B Time : 0.0 sec. user=mdettweiler [2017-05-25 19:01:39] 999*2^1454972-1 is not prime. Res64: 4C5E906AA8DF31ED Time : 0.0 sec. user=mdettweiler [2017-05-25 19:01:40] 607*2^1454973-1 is not prime. Res64: E6715E07D496AF8C Time : 0.0 sec. user=mdettweiler [2017-05-25 19:10:35] 817*2^1454973-1 is not prime. Res64: E925A62FF80BDEAC Time : 0.0 sec. user=mdettweiler [2017-05-25 19:10:35] 891*2^1454973-1 is not prime. Res64: F2168A292BDFB584 Time : 0.0 sec. user=mdettweiler [2017-05-25 19:10:35] 951*2^1454973-1 is not prime. Res64: 56F4E07F56B5346D Time : 0.0 sec. user=mdettweiler [2017-05-25 19:10:36] 961*2^1454973-1 is not prime. Res64: 7869E97673449671 Time : 0.0 sec. user=mdettweiler [2017-05-25 19:10:36] 999*2^1454973-1 is not prime. Res64: FA3B5E835A5892D2 Time : 0.0 sec. user=mdettweiler [2017-05-25 19:24:14] 605*2^1454974-1 is not prime. Res64: DC14EDFDA6E57FA3 Time : 0.0 sec. user=mdettweiler [2017-05-25 19:24:14] 623*2^1454974-1 is not prime. Res64: 0755FD4D6EEA0B4F Time : 0.0 sec. user=mdettweiler [2017-05-25 19:24:14] 717*2^1454974-1 is not prime. Res64: 921F2D7C1DAB4ABB Time : 0.0 sec. user=mdettweiler [2017-05-25 19:24:15] 831*2^1454974-1 is not prime. Res64: 4E4BE201EC5F5F3B Time : 0.0 sec. user=mdettweiler [2017-05-25 19:24:15] 891*2^1454974-1 is not prime. Res64: 6FB0C887EB8AF17C Time : 0.0 sec. user=mdettweiler [2017-05-25 19:40:59] 915*2^1454974-1 is not prime. Res64: 45D89DD4B738D24C Time : 0.0 sec. user=mdettweiler [2017-05-25 19:41:00] 975*2^1454974-1 is not prime. Res64: 2B9DF277A69D0840 Time : 0.0 sec. user=mdettweiler [2017-05-25 19:41:00] 987*2^1454974-1 is not prime. Res64: E9CAFC920862C322 Time : 0.0 sec. user=mdettweiler [2017-05-25 19:41:00] 651*2^1454975-1 is not prime. Res64: F49266EDCD7162A8 Time : 0.0 sec. user=mdettweiler [2017-05-25 19:41:00] 981*2^1454975-1 is not prime. Res64: 798C4879D6A23367 Time : 0.0 sec. user=mdettweiler [2017-05-25 19:47:10] 675*2^1454976-1 is not prime. Res64: 451E8E570EDF1277 Time : 0.0 sec. user=mdettweiler [2017-05-25 19:47:10] 695*2^1454976-1 is not prime. Res64: 7819773547DFE2D4 Time : 0.0 sec. user=mdettweiler [2017-05-25 19:47:10] 809*2^1454976-1 is not prime. Res64: 540C57D13F5E96D8 Time : 0.0 sec. user=mdettweiler [2017-05-25 19:47:11] 609*2^1454977-1 is not prime. Res64: 0A75A6CE14CA6669 Time : 0.0 sec. user=mdettweiler [2017-05-25 19:47:11] 717*2^1454977-1 is not prime. Res64: 6BDD9BFA6F3F10B7 Time : 0.0 sec. user=mdettweiler [2017-05-25 19:56:11] 849*2^1454977-1 is not prime. Res64: 0FDCF5702283E9C5 Time : 0.0 sec. user=mdettweiler [2017-05-25 19:56:11] 939*2^1454977-1 is not prime. Res64: EB9D61420FA10896 Time : 0.0 sec. user=mdettweiler [2017-05-25 19:56:11] 975*2^1454977-1 is not prime. Res64: B9ECDAEDDE56F3F2 Time : 0.0 sec. user=mdettweiler [2017-05-25 19:56:11] 633*2^1454978-1 is not prime. Res64: 9255D16E09B294D2 Time : 0.0 sec. user=mdettweiler [2017-05-25 19:56:12] 743*2^1454978-1 is not prime. Res64: 70B14171E3D6A781 Time : 0.0 sec. user=mdettweiler [2017-05-25 20:09:53] 755*2^1454978-1 is not prime. Res64: 9AA501E61268BC31 Time : 0.0 sec. user=mdettweiler [2017-05-25 20:09:53] 831*2^1454978-1 is not prime. Res64: AFDE64FCD456FB63 Time : 0.0 sec. user=mdettweiler [2017-05-25 20:09:54] 887*2^1454978-1 is not prime. Res64: D667A3302C72AC8D Time : 0.0 sec. user=mdettweiler [2017-05-25 20:09:54] 945*2^1454978-1 is not prime. Res64: F73FFD83D1CF07A3 Time : 0.0 sec. user=mdettweiler [2017-05-25 20:09:54] 663*2^1454979-1 is not prime. Res64: 9A534875A9AD99D2 Time : 0.0 sec. user=mdettweiler [2017-05-25 20:26:37] 853*2^1454979-1 is not prime. Res64: 6B020E8A85537B1F Time : 0.0 sec. user=mdettweiler [2017-05-25 20:26:37] 677*2^1454980-1 is not prime. Res64: A52D20BFEED7D566 Time : 0.0 sec. user=mdettweiler [2017-05-25 20:26:38] 717*2^1454980-1 is not prime. Res64: 2D7A9E5761884929 Time : 0.0 sec. user=mdettweiler [2017-05-25 20:26:38] 777*2^1454980-1 is not prime. Res64: 6F0403212861A1CA Time : 0.0 sec. user=mdettweiler [2017-05-25 20:26:38] 863*2^1454980-1 is not prime. Res64: E5EF3FC8250C62EE Time : 0.0 sec. user=mdettweiler [2017-05-25 20:32:42] 887*2^1454980-1 is not prime. Res64: A055B1FE1AD9F780 Time : 0.0 sec. user=mdettweiler [2017-05-25 20:32:42] 929*2^1454980-1 is not prime. Res64: F5C267635EDB9AE2 Time : 0.0 sec. user=mdettweiler [2017-05-25 20:32:43] 933*2^1454980-1 is not prime. Res64: BF193CFCE5A55519 Time : 0.0 sec. user=mdettweiler [2017-05-25 20:32:43] 631*2^1454981-1 is not prime. Res64: 329C6B7FAA64B1D7 Time : 0.0 sec. user=mdettweiler [2017-05-25 20:32:43] 741*2^1454981-1 is not prime. Res64: 73CEE308577183B2 Time : 0.0 sec. user=mdettweiler [2017-05-25 20:41:42] 789*2^1454981-1 is not prime. Res64: DB99ED03BC008EA6 Time : 0.0 sec. user=mdettweiler [2017-05-25 20:41:42] 837*2^1454981-1 is not prime. Res64: CE666625D5CAADEB Time : 0.0 sec. user=mdettweiler [2017-05-25 20:41:42] 865*2^1454981-1 is not prime. Res64: 43C6C1434AA17315 Time : 0.0 sec. user=mdettweiler [2017-05-25 20:41:42] 945*2^1454981-1 is not prime. Res64: 88A74FF7E8D1323B Time : 0.0 sec. user=mdettweiler [2017-05-25 20:41:43] 955*2^1454981-1 is not prime. Res64: 39A19EF0B3899F1E Time : 0.0 sec. user=mdettweiler [2017-05-25 20:55:41] 797*2^1454982-1 is not prime. Res64: 0A3F124672E95449 Time : 0.0 sec. user=mdettweiler [2017-05-25 20:55:41] 815*2^1454982-1 is not prime. Res64: A51A0F64BC815913 Time : 0.0 sec. user=mdettweiler [2017-05-25 20:55:41] 833*2^1454982-1 is not prime. Res64: C7BD3173791496E4 Time : 0.0 sec. user=mdettweiler [2017-05-25 20:55:42] 843*2^1454982-1 is not prime. Res64: B995A1A31F4FED86 Time : 0.0 sec. user=mdettweiler [2017-05-25 20:55:42] 975*2^1454982-1 is not prime. Res64: 9A782F1A9335E906 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:12:21] 609*2^1454983-1 is not prime. Res64: 108C4BB275FD3920 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:12:22] 615*2^1454983-1 is not prime. Res64: 01C7F7FF10E7A66B Time : 0.0 sec. user=mdettweiler [2017-05-25 21:12:22] 679*2^1454983-1 is not prime. Res64: CA03770CC7475FB9 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:12:23] 783*2^1454983-1 is not prime. Res64: 7685D06FCA594932 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:12:23] 789*2^1454983-1 is not prime. Res64: BF44834033A462E3 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:18:14] 933*2^1454983-1 is not prime. Res64: 1BBE25DBE68D32D6 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:18:14] 617*2^1454984-1 is not prime. Res64: DB91175250076A20 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:18:15] 629*2^1454984-1 is not prime. Res64: E7F398799F1A5838 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:18:15] 837*2^1454984-1 is not prime. Res64: 6CA92256E5B785A9 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:18:15] 917*2^1454984-1 is not prime. Res64: FA629365AB111D2A Time : 0.0 sec. user=mdettweiler [2017-05-25 21:27:32] 627*2^1454985-1 is not prime. Res64: 0A61A32D62077BE4 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:27:32] 667*2^1454985-1 is not prime. Res64: D741951B060DCF66 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:27:32] 741*2^1454985-1 is not prime. Res64: DE0F294E07F4228F Time : 0.0 sec. user=mdettweiler [2017-05-25 21:27:33] 817*2^1454985-1 is not prime. Res64: 79ED728FFB3E5DB8 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:27:33] 819*2^1454985-1 is not prime. Res64: 8BBF3F1C726B1D20 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:41:18] 895*2^1454985-1 is not prime. Res64: 05171355F0166231 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:41:18] 955*2^1454985-1 is not prime. Res64: F7DD7BFC5469DC42 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:41:18] 603*2^1454986-1 is not prime. Res64: 0AC3C25F2E096C81 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:41:19] 677*2^1454986-1 is not prime. Res64: E8DD27E464B68CD1 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:41:19] 755*2^1454986-1 is not prime. Res64: 3E4D620EC120B7F2 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:58:17] 821*2^1454986-1 is not prime. Res64: 12686CE5CCC0E3B9 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:58:18] 911*2^1454986-1 is not prime. Res64: BFC0151F54F36C47 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:58:18] 917*2^1454986-1 is not prime. Res64: 3F3E9511294A7AF9 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:58:18] 945*2^1454986-1 is not prime. Res64: 4B0ECB4D3F040474 Time : 0.0 sec. user=mdettweiler [2017-05-25 21:58:18] 705*2^1454987-1 is not prime. Res64: 2772E456ECAF2072 Time : 0.0 sec. user=mdettweiler [2017-05-25 22:03:43] 741*2^1454987-1 is not prime. Res64: B8F5016023AE409C Time : 0.0 sec. user=mdettweiler [2017-05-25 22:03:44] 781*2^1454987-1 is not prime. Res64: 96A24EEC7296E8E6 Time : 0.0 sec. user=mdettweiler [2017-05-25 22:03:45] 985*2^1454987-1 is not prime. Res64: A0E8D375D1A7BEBB Time : 0.0 sec. user=mdettweiler [2017-05-25 22:03:46] 825*2^1454988-1 is not prime. Res64: 54D0AD88C33881F1 Time : 0.0 sec. user=mdettweiler [2017-05-25 22:03:46] 837*2^1454988-1 is not prime. Res64: 29C589427049BEDF Time : 0.0 sec. user=mdettweiler [2017-05-25 22:13:26] 879*2^1454988-1 is not prime. Res64: 9951150D8B108484 Time : 0.0 sec. user=mdettweiler [2017-05-25 22:13:26] 899*2^1454988-1 is not prime. Res64: F0B3DAA490230DFF Time : 0.0 sec. user=mdettweiler [2017-05-25 22:13:27] 977*2^1454988-1 is not prime. Res64: EC854E547DECF5DC Time : 0.0 sec. user=mdettweiler [2017-05-25 22:13:27] 601*2^1454989-1 is not prime. Res64: 72C69D781E4CC550 Time : 0.0 sec. user=mdettweiler [2017-05-25 22:13:27] 757*2^1454989-1 is not prime. Res64: DE823A52D9741046 Time : 0.0 sec. user=mdettweiler [2017-05-25 22:26:50] 759*2^1454989-1 is not prime. Res64: 4E708146D965AEAA Time : 0.0 sec. user=mdettweiler [2017-05-25 22:26:51] 789*2^1454989-1 is not prime. Res64: 321D5D8880133579 Time : 0.0 sec. user=mdettweiler [2017-05-25 22:26:51] 801*2^1454989-1 is not prime. Res64: 6DDB9957E02293D4 Time : 0.0 sec. user=mdettweiler [2017-05-25 22:26:51] 927*2^1454989-1 is not prime. Res64: DA520B41269E6D3F Time : 0.0 sec. user=mdettweiler [2017-05-25 22:26:52] 603*2^1454990-1 is not prime. Res64: ADE8719129C84BB8 Time : 0.0 sec. user=mdettweiler [2017-05-25 22:43:55] 827*2^1454990-1 is not prime. Res64: 04480D6F198BD0C0 Time : 0.0 sec. user=mdettweiler [2017-05-25 22:43:55] 831*2^1454990-1 is not prime. Res64: A5E4D285673BF6DD Time : 0.0 sec. user=mdettweiler [2017-05-25 22:43:55] 867*2^1454990-1 is not prime. Res64: B4F5B6D66BA50142 Time : 0.0 sec. user=mdettweiler [2017-05-25 22:43:55] 911*2^1454990-1 is not prime. Res64: 37C7F80455C0A88F Time : 0.0 sec. user=mdettweiler [2017-05-25 22:43:56] 945*2^1454990-1 is not prime. Res64: 8B513E748236681E Time : 0.0 sec. user=mdettweiler [2017-05-25 22:49:29] 691*2^1454991-1 is not prime. Res64: ED9A159BE5AD9700 Time : 0.0 sec. user=mdettweiler [2017-05-25 22:49:29] 723*2^1454991-1 is not prime. Res64: 24693FAD6D9E3785 Time : 0.0 sec. user=mdettweiler [2017-05-25 22:49:30] 775*2^1454991-1 is not prime. Res64: A6B519C04F47AD93 Time : 0.0 sec. user=mdettweiler [2017-05-25 22:49:30] 861*2^1454991-1 is not prime. Res64: 64C5283B2C2B127B Time : 0.0 sec. user=mdettweiler [2017-05-25 22:49:30] 955*2^1454991-1 is not prime. Res64: 0CDE615FDD782197 Time : 0.0 sec. user=mdettweiler [2017-05-25 22:59:12] 961*2^1454991-1 is not prime. Res64: 13E698C4374D7473 Time : 0.0 sec. user=mdettweiler [2017-05-25 22:59:12] 719*2^1454992-1 is not prime. Res64: F2996FA27CF0600C Time : 0.0 sec. user=mdettweiler [2017-05-25 22:59:13] 743*2^1454992-1 is not prime. Res64: 3EE0F4E39A0E97F0 Time : 0.0 sec. user=mdettweiler [2017-05-25 22:59:13] 747*2^1454992-1 is not prime. Res64: 689AF6C0837A0CAB Time : 0.0 sec. user=mdettweiler [2017-05-25 22:59:13] 849*2^1454992-1 is not prime. Res64: CDA8AEADC0F88FA2 Time : 0.0 sec. user=mdettweiler [2017-05-25 23:12:21] 863*2^1454992-1 is not prime. Res64: AD3C2A36170F9F4F Time : 0.0 sec. user=mdettweiler [2017-05-25 23:12:21] 887*2^1454992-1 is not prime. Res64: 7A97635698F04E37 Time : 0.0 sec. user=mdettweiler [2017-05-25 23:12:21] 899*2^1454992-1 is not prime. Res64: 8F0D41637B9F0671 Time : 0.0 sec. user=mdettweiler [2017-05-25 23:12:21] 637*2^1454993-1 is not prime. Res64: 46B815F353A99458 Time : 0.0 sec. user=mdettweiler [2017-05-25 23:12:22] 715*2^1454993-1 is not prime. Res64: B75E51ED5276933A Time : 0.0 sec. user=mdettweiler [2017-05-25 23:29:26] 663*2^1454994-1 is not prime. Res64: 671FC75DF57365E2 Time : 0.0 sec. user=mdettweiler [2017-05-25 23:29:26] 741*2^1454994-1 is not prime. Res64: DEDB7F496121140E Time : 0.0 sec. user=mdettweiler [2017-05-25 23:29:26] 625*2^1454995-1 is not prime. Res64: D85917B156F7B2AE Time : 0.0 sec. user=mdettweiler [2017-05-25 23:29:26] 859*2^1454995-1 is not prime. Res64: 6D1417B6B01E3E9A Time : 0.0 sec. user=mdettweiler [2017-05-25 23:29:27] 615*2^1454996-1 is not prime. Res64: B34750AE8A301D05 Time : 0.0 sec. user=mdettweiler [2017-05-25 23:35:00] 633*2^1454996-1 is not prime. Res64: 09F922D3BCA2DD57 Time : 0.0 sec. user=mdettweiler [2017-05-25 23:35:00] 669*2^1454996-1 is not prime. Res64: 481865CA3238077D Time : 0.0 sec. user=mdettweiler [2017-05-25 23:35:00] 735*2^1454996-1 is not prime. Res64: CF1A3106CB16BD53 Time : 0.0 sec. user=mdettweiler [2017-05-25 23:35:00] 869*2^1454996-1 is not prime. Res64: 9DBC88FAD756065E Time : 0.0 sec. user=mdettweiler [2017-05-25 23:35:01] 909*2^1454996-1 is not prime. Res64: 8C41FCB1144FED89 Time : 0.0 sec. user=mdettweiler [2017-05-25 23:44:45] 923*2^1454996-1 is not prime. Res64: 5359A88D4C69E2E8 Time : 0.0 sec. user=mdettweiler [2017-05-25 23:44:46] 969*2^1454996-1 is not prime. Res64: 6CA53464EDB4B599 Time : 0.0 sec. user=mdettweiler [2017-05-25 23:44:46] 627*2^1454997-1 is not prime. Res64: ACC43C4A6E6481A9 Time : 0.0 sec. user=mdettweiler [2017-05-25 23:44:46] 655*2^1454997-1 is not prime. Res64: 01086FBC564AC99A Time : 0.0 sec. user=mdettweiler [2017-05-25 23:44:46] 667*2^1454997-1 is not prime. Res64: C17695BF3972B6FD Time : 0.0 sec. user=mdettweiler [2017-05-25 23:57:49] 669*2^1454997-1 is not prime. Res64: 28132D7083772B35 Time : 0.0 sec. user=mdettweiler [2017-05-25 23:57:49] 681*2^1454997-1 is not prime. Res64: C1527ED2FC5B0DDB Time : 0.0 sec. user=mdettweiler [2017-05-25 23:57:49] 747*2^1454997-1 is not prime. Res64: 61B9DCB15020AD60 Time : 0.0 sec. user=mdettweiler [2017-05-25 23:57:49] 819*2^1454997-1 is not prime. Res64: E45B027AE81151FA Time : 0.0 sec. user=mdettweiler [2017-05-25 23:57:49] 825*2^1454997-1 is not prime. Res64: DA45FEB40C441088 Time : 0.0 sec.