user=mdettweiler [2016-07-24 00:24:03] 887*2^1435888-1 is not prime. Res64: B5DB37CA96CB3669 Time : 0.0 sec. user=mdettweiler [2016-07-24 00:24:03] 927*2^1435888-1 is not prime. Res64: E489DA1969F5C1EE Time : 0.0 sec. user=mdettweiler [2016-07-24 00:24:04] 957*2^1435888-1 is not prime. Res64: 3AE23C5BA7B24190 Time : 0.0 sec. user=mdettweiler [2016-07-24 00:24:04] 771*2^1435889-1 is not prime. Res64: 6FF0A01483527E2B Time : 0.0 sec. user=mdettweiler [2016-07-24 00:24:04] 775*2^1435889-1 is not prime. Res64: FEA80C4AA4BDB03D Time : 0.0 sec. user=mdettweiler [2016-07-24 01:07:58] 799*2^1435889-1 is not prime. Res64: CFA79479B151635A Time : 0.0 sec. user=mdettweiler [2016-07-24 01:08:01] 847*2^1435889-1 is not prime. Res64: CAB8DFE9C8138D32 Time : 0.0 sec. user=mdettweiler [2016-07-24 01:08:03] 861*2^1435889-1 is not prime. Res64: 86CD9CFFC7BF50AA Time : 0.0 sec. user=mdettweiler [2016-07-24 01:08:05] 867*2^1435889-1 is not prime. Res64: 21AD548D158B004C Time : 0.0 sec. user=mdettweiler [2016-07-24 01:08:08] 957*2^1435889-1 is not prime. Res64: 963BADC25ECCF5E8 Time : 0.0 sec. user=mdettweiler [2016-07-24 01:52:02] 633*2^1435890-1 is not prime. Res64: F00D681D005B84CC Time : 0.0 sec. user=mdettweiler [2016-07-24 01:52:02] 723*2^1435890-1 is not prime. Res64: A3545D4D76164EF7 Time : 0.0 sec. user=mdettweiler [2016-07-24 01:52:03] 783*2^1435890-1 is not prime. Res64: 8E1B9A694E612C95 Time : 0.0 sec. user=mdettweiler [2016-07-24 01:52:03] 885*2^1435890-1 is not prime. Res64: 4EBD69BA1AF83670 Time : 0.0 sec. user=mdettweiler [2016-07-24 01:52:04] 927*2^1435890-1 is not prime. Res64: D21981D1D4319B65 Time : 0.0 sec. user=mdettweiler [2016-07-24 02:35:58] 977*2^1435890-1 is not prime. Res64: 90F496BB1A80338E Time : 0.0 sec. user=mdettweiler [2016-07-24 02:35:58] 685*2^1435891-1 is not prime. Res64: 67591EDE8DB32198 Time : 0.0 sec. user=mdettweiler [2016-07-24 02:35:59] 703*2^1435891-1 is not prime. Res64: A45889D137109594 Time : 0.0 sec. user=mdettweiler [2016-07-24 02:35:59] 709*2^1435891-1 is not prime. Res64: 232347891C378192 Time : 0.0 sec. user=mdettweiler [2016-07-24 02:36:00] 759*2^1435891-1 is not prime. Res64: 1C22DDEFB0F349A9 Time : 0.0 sec. user=mdettweiler [2016-07-24 03:20:00] 939*2^1435891-1 is not prime. Res64: BE20563573C65BC1 Time : 0.0 sec. user=mdettweiler [2016-07-24 03:20:00] 943*2^1435891-1 is not prime. Res64: B7AE3847EFEA7FBA Time : 0.0 sec. user=mdettweiler [2016-07-24 03:20:00] 979*2^1435891-1 is not prime. Res64: 7E71E335CC334464 Time : 0.0 sec. user=mdettweiler [2016-07-24 03:20:01] 797*2^1435892-1 is not prime. Res64: 503B8E299008E3FA Time : 0.0 sec. user=mdettweiler [2016-07-24 03:20:01] 615*2^1435893-1 is not prime. Res64: 51C9B1A826496FD6 Time : 0.0 sec. user=mdettweiler [2016-07-24 04:03:54] 657*2^1435893-1 is not prime. Res64: 99135A2DA92D0657 Time : 0.0 sec. user=mdettweiler [2016-07-24 04:03:56] 747*2^1435893-1 is not prime. Res64: EB51AC2F6A3ED692 Time : 0.0 sec. user=mdettweiler [2016-07-24 04:03:57] 769*2^1435893-1 is not prime. Res64: 3E2DF761FC817B61 Time : 0.0 sec. user=mdettweiler [2016-07-24 04:03:57] 861*2^1435893-1 is not prime. Res64: 5E844DDB354418DA Time : 0.0 sec. user=mdettweiler [2016-07-24 04:03:59] 723*2^1435894-1 is not prime. Res64: 4C539726C226104A Time : 0.0 sec. user=juhehe [2016-07-24 04:38:16] 861*2^1435894-1 is not prime. Res64: F353E5C4A215D7C6 Time : 0.0 sec. user=mdettweiler [2016-07-24 04:48:06] 881*2^1435894-1 is not prime. Res64: 716F6C956FC15413 Time : 0.0 sec. user=mdettweiler [2016-07-24 04:48:09] 891*2^1435894-1 is not prime. Res64: 1D922C44A3EEB2A2 Time : 0.0 sec. user=mdettweiler [2016-07-24 04:48:12] 987*2^1435894-1 is not prime. Res64: CE01872D65CEA94A Time : 0.0 sec. user=mdettweiler [2016-07-24 04:48:15] 651*2^1435895-1 is not prime. Res64: 2AA3133219AC4A88 Time : 0.0 sec. user=mdettweiler [2016-07-24 04:48:19] 663*2^1435895-1 is not prime. Res64: A094D108D35E1C01 Time : 0.0 sec. user=mdettweiler [2016-07-24 05:32:09] 673*2^1435895-1 is not prime. Res64: EBDD1DA658D481A2 Time : 0.0 sec. user=mdettweiler [2016-07-24 05:32:09] 763*2^1435895-1 is not prime. Res64: AE35E1284054B0B9 Time : 0.0 sec. user=mdettweiler [2016-07-24 05:32:09] 771*2^1435895-1 is not prime. Res64: 96D7514530B32622 Time : 0.0 sec. user=mdettweiler [2016-07-24 05:32:10] 855*2^1435895-1 is not prime. Res64: 79931DC387B13C38 Time : 0.0 sec. user=mdettweiler [2016-07-24 05:32:10] 909*2^1435895-1 is not prime. Res64: A01442EF321EB2C0 Time : 0.0 sec. user=mdettweiler [2016-07-24 06:16:00] 999*2^1435895-1 is not prime. Res64: F70F03B25192121A Time : 0.0 sec. user=mdettweiler [2016-07-24 06:16:02] 747*2^1435896-1 is not prime. Res64: F9BFCF22C8555F95 Time : 0.0 sec. user=mdettweiler [2016-07-24 06:16:04] 765*2^1435896-1 is not prime. Res64: 6B9B048C9C992063 Time : 0.0 sec. user=mdettweiler [2016-07-24 06:16:07] 779*2^1435896-1 is not prime. Res64: 9EE7CFBDBEF4A1E3 Time : 0.0 sec. user=mdettweiler [2016-07-24 06:16:09] 845*2^1435896-1 is not prime. Res64: A467E101E1D5C5F2 Time : 0.0 sec. user=mdettweiler [2016-07-24 07:00:00] 975*2^1435896-1 is not prime. Res64: 6FD1656EFD482A37 Time : 0.0 sec. user=mdettweiler [2016-07-24 07:00:01] 983*2^1435896-1 is not prime. Res64: 78368EE15BBD008E Time : 0.0 sec. user=mdettweiler [2016-07-24 07:00:01] 993*2^1435896-1 is not prime. Res64: CEAECD26CF43A4DB Time : 0.0 sec. user=mdettweiler [2016-07-24 07:00:01] 919*2^1435897-1 is not prime. Res64: BA6F80092F6E8A58 Time : 0.0 sec. user=mdettweiler [2016-07-24 07:00:02] 635*2^1435898-1 is not prime. Res64: 0A2905A544B7EFF4 Time : 0.0 sec. user=mdettweiler [2016-07-24 07:43:53] 677*2^1435898-1 is not prime. Res64: DFD0CAB198CD40F6 Time : 0.0 sec. user=mdettweiler [2016-07-24 07:43:57] 713*2^1435898-1 is not prime. Res64: 17F0C43D99C82092 Time : 0.0 sec. user=mdettweiler [2016-07-24 07:44:00] 743*2^1435898-1 is not prime. Res64: 179A2A06156EFAAD Time : 0.0 sec. user=mdettweiler [2016-07-24 07:44:03] 827*2^1435898-1 is not prime. Res64: 35D13AACA36A90E6 Time : 0.0 sec. user=mdettweiler [2016-07-24 07:44:07] 837*2^1435898-1 is not prime. Res64: BFE72382CE8E0A57 Time : 0.0 sec. user=mdettweiler [2016-07-24 08:27:57] 867*2^1435898-1 is not prime. Res64: 9455A82D7CE7A346 Time : 0.0 sec. user=mdettweiler [2016-07-24 08:27:57] 887*2^1435898-1 is not prime. Res64: 21227CA0807C511F Time : 0.0 sec. user=mdettweiler [2016-07-24 08:27:58] 893*2^1435898-1 is not prime. Res64: 5940602C40B8CE90 Time : 0.0 sec. user=mdettweiler [2016-07-24 08:27:58] 679*2^1435899-1 is not prime. Res64: 611F796BA1BD420B Time : 0.0 sec. user=mdettweiler [2016-07-24 08:27:59] 685*2^1435899-1 is not prime. Res64: 9F7C81D6160B0612 Time : 0.0 sec. user=mdettweiler [2016-07-24 09:11:51] 825*2^1435899-1 is not prime. Res64: 7DAB489E5FA720B1 Time : 0.0 sec. user=mdettweiler [2016-07-24 09:11:51] 903*2^1435899-1 is not prime. Res64: FF969F2FB8C31FEB Time : 0.0 sec. user=mdettweiler [2016-07-24 09:11:52] 603*2^1435900-1 is not prime. Res64: A0D441A3C3E4FCED Time : 0.0 sec. user=mdettweiler [2016-07-24 09:11:52] 707*2^1435900-1 is not prime. Res64: F19EBB63BDD02BB0 Time : 0.0 sec. user=mdettweiler [2016-07-24 09:11:52] 759*2^1435900-1 is not prime. Res64: 0F0BB2C2657BD0E2 Time : 0.0 sec. user=mdettweiler [2016-07-24 09:55:41] 827*2^1435900-1 is not prime. Res64: 45C6FE30CF0EA6E2 Time : 0.0 sec. user=mdettweiler [2016-07-24 09:55:44] 845*2^1435900-1 is not prime. Res64: 948E10B404D36AB9 Time : 0.0 sec. user=mdettweiler [2016-07-24 09:55:44] 905*2^1435900-1 is not prime. Res64: 665266A154B5BFEE Time : 0.0 sec. user=mdettweiler [2016-07-24 09:55:47] 631*2^1435901-1 is not prime. Res64: DCCDABA28A4F27FC Time : 0.0 sec. user=mdettweiler [2016-07-24 09:55:51] 691*2^1435901-1 is not prime. Res64: 551F1245B9856DA9 Time : 0.0 sec. user=mdettweiler [2016-07-24 10:39:40] 769*2^1435901-1 is not prime. Res64: 7F242A85B578076B Time : 0.0 sec. user=mdettweiler [2016-07-24 10:39:40] 979*2^1435901-1 is not prime. Res64: A15AA34482F14A68 Time : 0.0 sec. user=mdettweiler [2016-07-24 10:39:41] 981*2^1435901-1 is not prime. Res64: 501E53022C735575 Time : 0.0 sec. user=mdettweiler [2016-07-24 10:39:41] 997*2^1435901-1 is not prime. Res64: 1F7C5E5723E42AE7 Time : 0.0 sec. user=mdettweiler [2016-07-24 10:39:41] 693*2^1435902-1 is not prime. Res64: D0FEB8511460E27F Time : 0.0 sec. user=mdettweiler [2016-07-24 15:48:44] 725*2^1435902-1 is not prime. Res64: 11AECB44BD0CD8BE Time : 0.0 sec. user=mdettweiler [2016-07-24 15:48:45] 737*2^1435902-1 is not prime. Res64: 745A2731D099BC45 Time : 0.0 sec. user=mdettweiler [2016-07-24 15:48:45] 767*2^1435902-1 is not prime. Res64: 86941FB3313AEE5D Time : 0.0 sec. user=mdettweiler [2016-07-24 15:48:46] 917*2^1435902-1 is not prime. Res64: C52418998C5BA6CD Time : 0.0 sec. user=mdettweiler [2016-07-24 15:48:46] 1001*2^1435902-1 is not prime. Res64: 1A25E5C130BF99DD Time : 0.0 sec. user=juhehe [2016-07-24 16:25:26] 693*2^1435823-1 is not prime. Res64: 9032B307E41B880B Time : 0.0 sec. user=mdettweiler [2016-07-24 16:32:43] 843*2^1435822-1 is not prime. Res64: 58BB1F7FBD1D723F Time : 0.0 sec. user=mdettweiler [2016-07-24 16:32:43] 915*2^1435822-1 is not prime. Res64: 41DE8CBB7B5989A2 Time : 0.0 sec. user=mdettweiler [2016-07-24 16:32:43] 945*2^1435822-1 is not prime. Res64: FC1CD0666F547482 Time : 0.0 sec. user=mdettweiler [2016-07-24 16:32:44] 603*2^1435823-1 is not prime. Res64: 21CBF767750C5A92 Time : 0.0 sec. user=mdettweiler [2016-07-24 16:32:44] 673*2^1435823-1 is not prime. Res64: A3655244013B3557 Time : 0.0 sec. user=mdettweiler [2016-07-24 17:16:38] 715*2^1435823-1 is not prime. Res64: 1284D2C683FD7ECF Time : 0.0 sec. user=mdettweiler [2016-07-24 17:16:39] 741*2^1435823-1 is not prime. Res64: 36B2FB1BB81097A8 Time : 0.0 sec. user=mdettweiler [2016-07-24 17:16:39] 913*2^1435823-1 is not prime. Res64: B93721D70DB9D2C3 Time : 0.0 sec. user=mdettweiler [2016-07-24 17:16:39] 945*2^1435823-1 is not prime. Res64: 1C159B4592308A8B Time : 0.0 sec. user=mdettweiler [2016-07-24 17:16:40] 633*2^1435903-1 is not prime. Res64: 6046437BE7344C6F Time : 0.0 sec. user=mdettweiler [2016-07-24 18:00:34] 675*2^1435903-1 is not prime. Res64: 3A9BA240A4030AD1 Time : 0.0 sec. user=mdettweiler [2016-07-24 18:00:39] 741*2^1435903-1 is not prime. Res64: B68097F9E322E8CE Time : 0.0 sec. user=mdettweiler [2016-07-24 18:00:43] 819*2^1435903-1 is not prime. Res64: A9CBF04FC17E176D Time : 0.0 sec. user=mdettweiler [2016-07-24 18:00:47] 873*2^1435903-1 is not prime. Res64: 755325CBDFAC6BC6 Time : 0.0 sec. user=mdettweiler [2016-07-24 18:00:51] 891*2^1435903-1 is not prime. Res64: DEDB414C10AA9094 Time : 0.0 sec. user=mdettweiler [2016-07-24 18:44:52] 901*2^1435903-1 is not prime. Res64: 5E7A5110EE408632 Time : 0.0 sec. user=mdettweiler [2016-07-24 18:44:52] 677*2^1435904-1 is not prime. Res64: BC8A1E45F575814F Time : 0.0 sec. user=mdettweiler [2016-07-24 18:44:52] 689*2^1435904-1 is not prime. Res64: 373BAEE6EBA500CF Time : 0.0 sec. user=mdettweiler [2016-07-24 18:44:53] 725*2^1435904-1 is not prime. Res64: 9FD104D14042948C Time : 0.0 sec. user=mdettweiler [2016-07-24 18:44:53] 833*2^1435904-1 is not prime. Res64: BE96F7ABFA1BE8D7 Time : 0.0 sec. user=mdettweiler [2016-07-24 19:28:48] 873*2^1435904-1 is not prime. Res64: B7682AEDA7535C54 Time : 0.0 sec. user=mdettweiler [2016-07-24 19:28:49] 969*2^1435904-1 is not prime. Res64: A2B94D93DF6752C0 Time : 0.0 sec. user=mdettweiler [2016-07-24 19:28:49] 983*2^1435904-1 is not prime. Res64: 50753D07F29FFB2F Time : 0.0 sec. user=mdettweiler [2016-07-24 19:28:50] 993*2^1435904-1 is not prime. Res64: B953B8A2CD4CC7D5 Time : 0.0 sec. user=mdettweiler [2016-07-24 19:28:50] 639*2^1435905-1 is not prime. Res64: A5F0BE578F202F18 Time : 0.0 sec. user=mdettweiler [2016-07-24 20:12:46] 741*2^1435905-1 is not prime. Res64: 8A8A8CB70BBAE397 Time : 0.0 sec. user=mdettweiler [2016-07-24 20:12:50] 895*2^1435905-1 is not prime. Res64: 69D7272EC68C9F39 Time : 0.0 sec. user=mdettweiler [2016-07-24 20:12:53] 979*2^1435905-1 is not prime. Res64: C7350883CE1974FB Time : 0.0 sec. user=mdettweiler [2016-07-24 20:12:57] 647*2^1435906-1 is not prime. Res64: 3F47F9438F7B40CA Time : 0.0 sec. user=mdettweiler [2016-07-24 20:13:01] 675*2^1435906-1 is not prime. Res64: D446014BB344F8F0 Time : 0.0 sec. user=mdettweiler [2016-07-24 20:57:05] 873*2^1435906-1 is not prime. Res64: C2FA359D20531CF7 Time : 0.0 sec. user=mdettweiler [2016-07-24 20:57:05] 703*2^1435907-1 is not prime. Res64: 44409BCCEF22CF2B Time : 0.0 sec. user=mdettweiler [2016-07-24 20:57:05] 813*2^1435907-1 is not prime. Res64: CF68296871416D10 Time : 0.0 sec. user=mdettweiler [2016-07-24 20:57:06] 885*2^1435907-1 is not prime. Res64: EB89DC0AFE08275D Time : 0.0 sec. user=mdettweiler [2016-07-24 20:57:06] 895*2^1435907-1 is not prime. Res64: 6CCAE61D1DDE7622 Time : 0.0 sec. user=mdettweiler [2016-07-24 21:41:21] 939*2^1435907-1 is not prime. Res64: 6D0CC2205F463EE3 Time : 0.0 sec. user=mdettweiler [2016-07-24 21:41:25] 669*2^1435908-1 is not prime. Res64: 9AB13DD25ABEFC19 Time : 0.0 sec. user=mdettweiler [2016-07-24 21:41:31] 705*2^1435908-1 is not prime. Res64: 3B0B7A2F266C274A Time : 0.0 sec. user=mdettweiler [2016-07-24 21:41:36] 783*2^1435908-1 is not prime. Res64: 828FA18FABA35736 Time : 0.0 sec. user=mdettweiler [2016-07-24 21:41:39] 839*2^1435908-1 is not prime. Res64: 4204A6AFA4440CE1 Time : 0.0 sec. user=mdettweiler [2016-07-24 22:26:03] 845*2^1435908-1 is not prime. Res64: AB4D01AA22FA4255 Time : 0.0 sec. user=mdettweiler [2016-07-24 22:26:03] 899*2^1435908-1 is not prime. Res64: B5F508D2118564B3 Time : 0.0 sec. user=mdettweiler [2016-07-24 22:26:04] 933*2^1435908-1 is not prime. Res64: CED5E7AACC482EB2 Time : 0.0 sec. user=mdettweiler [2016-07-24 22:26:04] 661*2^1435909-1 is not prime. Res64: D7B47FDD687C32BF Time : 0.0 sec. user=mdettweiler [2016-07-24 22:26:04] 759*2^1435909-1 is not prime. Res64: 147E0E91E848AC73 Time : 0.0 sec. user=mdettweiler [2016-07-24 23:10:36] 769*2^1435909-1 is not prime. Res64: 30F73324E8FC5335 Time : 0.0 sec.