user=juhehe [2017-04-24 00:15:06] 825*2^1452492-1 is not prime. Res64: A52CC96ED2348EAA Time : 0.0 sec. user=mdettweiler [2017-04-24 00:39:39] 867*2^1452492-1 is not prime. Res64: B2017D82FE348643 Time : 0.0 sec. user=mdettweiler [2017-04-24 00:39:39] 929*2^1452492-1 is not prime. Res64: FCC95E9DAFCFE9B4 Time : 0.0 sec. user=mdettweiler [2017-04-24 00:39:39] 975*2^1452492-1 is not prime. Res64: D5268FE4D36F535E Time : 0.0 sec. user=mdettweiler [2017-04-24 00:39:39] 999*2^1452492-1 is not prime. Res64: E6DBBE93757E86A3 Time : 0.0 sec. user=mdettweiler [2017-04-24 00:39:40] 925*2^1452493-1 is not prime. Res64: 193FBB3BD4083388 Time : 0.0 sec. user=mdettweiler [2017-04-24 00:45:06] 717*2^1452494-1 is not prime. Res64: 3442C094F6B5BB11 Time : 0.0 sec. user=mdettweiler [2017-04-24 00:45:06] 741*2^1452494-1 is not prime. Res64: C58DAFBA928B8B72 Time : 0.0 sec. user=mdettweiler [2017-04-24 00:45:06] 755*2^1452494-1 is not prime. Res64: CD38BB9316BE90AC Time : 0.0 sec. user=mdettweiler [2017-04-24 00:45:07] 831*2^1452494-1 is not prime. Res64: 307835759960C99C Time : 0.0 sec. user=mdettweiler [2017-04-24 00:45:07] 833*2^1452494-1 is not prime. Res64: 17270796E7642271 Time : 0.0 sec. user=mdettweiler [2017-04-24 01:24:03] 857*2^1452494-1 is not prime. Res64: D4B6AB508BE2B809 Time : 0.0 sec. user=mdettweiler [2017-04-24 01:24:03] 873*2^1452494-1 is not prime. Res64: 0C937D5087ED44BA Time : 0.0 sec. user=mdettweiler [2017-04-24 01:24:04] 1001*2^1452494-1 is not prime. Res64: 496DE033284FC143 Time : 0.0 sec. user=mdettweiler [2017-04-24 01:24:04] 685*2^1452495-1 is not prime. Res64: C7FB35C5168353C8 Time : 0.0 sec. user=mdettweiler [2017-04-24 01:24:04] 705*2^1452495-1 is not prime. Res64: 4AF5E59CCFF4E18A Time : 0.0 sec. user=mdettweiler [2017-04-24 01:29:31] 793*2^1452495-1 is not prime. Res64: 9ABC4768BC37360A Time : 0.0 sec. user=mdettweiler [2017-04-24 01:29:33] 795*2^1452495-1 is not prime. Res64: AE099C7BE34FF9A1 Time : 0.0 sec. user=mdettweiler [2017-04-24 01:29:34] 825*2^1452495-1 is not prime. Res64: 47CACB82CB5D34FA Time : 0.0 sec. user=mdettweiler [2017-04-24 01:29:35] 831*2^1452495-1 is not prime. Res64: 24A9B5D9B748FD52 Time : 0.0 sec. user=mdettweiler [2017-04-24 01:29:35] 861*2^1452495-1 is not prime. Res64: 5746E59DBAD37626 Time : 0.0 sec. user=mdettweiler [2017-04-24 02:08:37] 871*2^1452495-1 is not prime. Res64: 6BD18879E31E89A7 Time : 0.0 sec. user=mdettweiler [2017-04-24 02:08:37] 909*2^1452495-1 is not prime. Res64: 06FCCCB576E437A2 Time : 0.0 sec. user=mdettweiler [2017-04-24 02:08:38] 699*2^1452496-1 is not prime. Res64: BE6D8CE244F3CFAA Time : 0.0 sec. user=mdettweiler [2017-04-24 02:08:38] 765*2^1452496-1 is not prime. Res64: 4AF4E7AE9E728166 Time : 0.0 sec. user=mdettweiler [2017-04-24 02:08:38] 803*2^1452496-1 is not prime. Res64: A5079E550210868D Time : 0.0 sec. user=mdettweiler [2017-04-24 02:14:17] 685*2^1452497-1 is not prime. Res64: 0458E133286F76D3 Time : 0.0 sec. user=mdettweiler [2017-04-24 02:14:17] 771*2^1452497-1 is not prime. Res64: EBF7B47C28CA2F18 Time : 0.0 sec. user=mdettweiler [2017-04-24 02:14:18] 901*2^1452497-1 is not prime. Res64: 6C7984E6C5F17771 Time : 0.0 sec. user=mdettweiler [2017-04-24 02:14:18] 909*2^1452497-1 is not prime. Res64: DF322D7836F64AD0 Time : 0.0 sec. user=mdettweiler [2017-04-24 02:14:18] 627*2^1452498-1 is not prime. Res64: 64C905969E581057 Time : 0.0 sec. user=juhehe [2017-04-24 02:52:43] 951*2^1452498-1 is not prime. Res64: 54E9E53B8E0E423D Time : 0.0 sec. user=mdettweiler [2017-04-24 02:53:15] 651*2^1452498-1 is not prime. Res64: 135271C2E27DB922 Time : 0.0 sec. user=mdettweiler [2017-04-24 02:53:15] 731*2^1452498-1 is not prime. Res64: 0B5D900B0D25DB86 Time : 0.0 sec. user=mdettweiler [2017-04-24 02:53:15] 747*2^1452498-1 is not prime. Res64: 5962AAE9D2426361 Time : 0.0 sec. user=mdettweiler [2017-04-24 02:53:15] 875*2^1452498-1 is not prime. Res64: CB284FA164819C1E Time : 0.0 sec. user=mdettweiler [2017-04-24 02:53:16] 887*2^1452498-1 is not prime. Res64: 0026E231E480B754 Time : 0.0 sec. user=mdettweiler [2017-04-24 02:58:53] 971*2^1452498-1 is not prime. Res64: D4A83E27BB9BC031 Time : 0.0 sec. user=mdettweiler [2017-04-24 02:58:54] 977*2^1452498-1 is not prime. Res64: 1047501BE21F4724 Time : 0.0 sec. user=mdettweiler [2017-04-24 02:58:54] 675*2^1452499-1 is not prime. Res64: 3785003200FFCA97 Time : 0.0 sec. user=mdettweiler [2017-04-24 02:58:54] 853*2^1452499-1 is not prime. Res64: F58189A43A906188 Time : 0.0 sec. user=mdettweiler [2017-04-24 02:58:54] 939*2^1452499-1 is not prime. Res64: 5500CF777CF03DBD Time : 0.0 sec. user=mdettweiler [2017-04-24 03:37:52] 615*2^1452500-1 is not prime. Res64: 119C9E47CE128FB3 Time : 0.0 sec. user=mdettweiler [2017-04-24 03:37:52] 635*2^1452500-1 is not prime. Res64: 81C5771D4D9DF1F7 Time : 0.0 sec. user=mdettweiler [2017-04-24 03:37:52] 795*2^1452500-1 is not prime. Res64: 1394F96234625B26 Time : 0.0 sec. user=mdettweiler [2017-04-24 03:37:53] 839*2^1452500-1 is not prime. Res64: 67D5C03B769E6FC4 Time : 0.0 sec. user=mdettweiler [2017-04-24 03:37:53] 843*2^1452500-1 is not prime. Res64: FEF6D63B97345208 Time : 0.0 sec. user=mdettweiler [2017-04-24 03:43:29] 845*2^1452500-1 is not prime. Res64: F9017722BCA21697 Time : 0.0 sec. user=mdettweiler [2017-04-24 03:43:30] 885*2^1452500-1 is not prime. Res64: 5A2DE7823A6F121F Time : 0.0 sec. user=mdettweiler [2017-04-24 03:43:30] 959*2^1452500-1 is not prime. Res64: 386039F0DD2D2A6C Time : 0.0 sec. user=mdettweiler [2017-04-24 03:43:31] 625*2^1452501-1 is not prime. Res64: 345AB739A5139B16 Time : 0.0 sec. user=mdettweiler [2017-04-24 03:43:32] 679*2^1452501-1 is not prime. Res64: 2C0469C5BF041915 Time : 0.0 sec. user=juhehe [2017-04-24 04:12:20] 747*2^1452501-1 is not prime. Res64: D5EDF3C2D6DC9481 Time : 0.0 sec. user=mdettweiler [2017-04-24 04:22:21] 805*2^1452501-1 is not prime. Res64: 2DC5CA76031CE046 Time : 0.0 sec. user=mdettweiler [2017-04-24 04:22:21] 861*2^1452501-1 is not prime. Res64: 270C36CBFD2E508D Time : 0.0 sec. user=mdettweiler [2017-04-24 04:22:21] 907*2^1452501-1 is not prime. Res64: 1317E6B43A89886B Time : 0.0 sec. user=mdettweiler [2017-04-24 04:22:22] 999*2^1452501-1 is not prime. Res64: 7D2607EF6D94DC4C Time : 0.0 sec. user=mdettweiler [2017-04-24 04:22:22] 603*2^1452502-1 is not prime. Res64: FABEDB710D28FE7B Time : 0.0 sec. user=mdettweiler [2017-04-24 04:28:04] 651*2^1452502-1 is not prime. Res64: 5FED86CAB0F820F3 Time : 0.0 sec. user=mdettweiler [2017-04-24 04:28:05] 665*2^1452502-1 is not prime. Res64: 7654DF82A9CBD015 Time : 0.0 sec. user=mdettweiler [2017-04-24 04:28:05] 827*2^1452502-1 is not prime. Res64: CD1FB010875E2773 Time : 0.0 sec. user=mdettweiler [2017-04-24 04:28:05] 833*2^1452502-1 is not prime. Res64: 96175D74D8D54F66 Time : 0.0 sec. user=mdettweiler [2017-04-24 04:28:05] 951*2^1452502-1 is not prime. Res64: 01518A993FBD0793 Time : 0.0 sec. user=mdettweiler [2017-04-24 05:06:48] 975*2^1452502-1 is not prime. Res64: 7254997F9E278AD5 Time : 0.0 sec. user=mdettweiler [2017-04-24 05:06:49] 983*2^1452502-1 is not prime. Res64: 6F964C51F08D0CA8 Time : 0.0 sec. user=mdettweiler [2017-04-24 05:06:49] 669*2^1452503-1 is not prime. Res64: 255A107FF293B894 Time : 0.0 sec. user=mdettweiler [2017-04-24 05:06:49] 703*2^1452503-1 is not prime. Res64: B1A1DF6B331DAC72 Time : 0.0 sec. user=mdettweiler [2017-04-24 05:06:50] 705*2^1452503-1 is not prime. Res64: 5D106AA219029A70 Time : 0.0 sec. user=juhehe [2017-04-24 05:11:59] 773*2^1452504-1 is not prime. Res64: B12B9849BCE6CB2F Time : 0.0 sec. user=mdettweiler [2017-04-24 05:12:33] 771*2^1452503-1 is not prime. Res64: 4C897652D8C863F3 Time : 0.0 sec. user=mdettweiler [2017-04-24 05:12:33] 855*2^1452503-1 is not prime. Res64: FE1C40D47E48E3E5 Time : 0.0 sec. user=mdettweiler [2017-04-24 05:12:33] 999*2^1452503-1 is not prime. Res64: B1BAEFB2043E217E Time : 0.0 sec. user=mdettweiler [2017-04-24 05:12:34] 605*2^1452504-1 is not prime. Res64: AFAA56E970DA74E2 Time : 0.0 sec. user=mdettweiler [2017-04-24 05:12:34] 675*2^1452504-1 is not prime. Res64: 39CDBC680262DB00 Time : 0.0 sec. user=mdettweiler [2017-04-24 05:51:18] 795*2^1452504-1 is not prime. Res64: 84FDD4098AB9CD66 Time : 0.0 sec. user=mdettweiler [2017-04-24 05:51:18] 675*2^1452505-1 is not prime. Res64: FB5507C8A5EE1884 Time : 0.0 sec. user=mdettweiler [2017-04-24 05:51:18] 861*2^1452505-1 is not prime. Res64: CB368BC1E70C3CD7 Time : 0.0 sec. user=mdettweiler [2017-04-24 05:51:18] 877*2^1452505-1 is not prime. Res64: 3A45996F3EF6DC52 Time : 0.0 sec. user=mdettweiler [2017-04-24 05:51:19] 885*2^1452505-1 is not prime. Res64: 620BC3FBE934E166 Time : 0.0 sec. user=mdettweiler [2017-04-24 05:56:59] 895*2^1452505-1 is not prime. Res64: DB4AD9D06BA13E12 Time : 0.0 sec. user=mdettweiler [2017-04-24 05:56:59] 979*2^1452505-1 is not prime. Res64: E6CEDCC051867AEB Time : 0.0 sec. user=mdettweiler [2017-04-24 05:56:59] 987*2^1452505-1 is not prime. Res64: EAF5C846112B44B2 Time : 0.0 sec. user=mdettweiler [2017-04-24 05:56:59] 603*2^1452506-1 is not prime. Res64: 997602B547B6C9FD Time : 0.0 sec. user=mdettweiler [2017-04-24 05:56:59] 617*2^1452506-1 is not prime. Res64: 436E6F8411565D83 Time : 0.0 sec. user=mdettweiler [2017-04-24 06:35:44] 785*2^1452506-1 is not prime. Res64: F27541F7EC6ADA6E Time : 0.0 sec. user=mdettweiler [2017-04-24 06:35:44] 861*2^1452506-1 is not prime. Res64: 20F66979DEBD6821 Time : 0.0 sec. user=mdettweiler [2017-04-24 06:35:44] 981*2^1452506-1 is not prime. Res64: EB6A5943A6D4306A Time : 0.0 sec. user=mdettweiler [2017-04-24 06:35:44] 643*2^1452507-1 is not prime. Res64: BBA8E5FA3DED820B Time : 0.0 sec. user=mdettweiler [2017-04-24 06:35:45] 735*2^1452507-1 is not prime. Res64: 0DF9DA3786DBBF28 Time : 0.0 sec. user=mdettweiler [2017-04-24 06:41:25] 765*2^1452507-1 is not prime. Res64: 9CBC3E9585F87BFE Time : 0.0 sec. user=mdettweiler [2017-04-24 06:41:25] 781*2^1452507-1 is not prime. Res64: EEC6B48B85771ECF Time : 0.0 sec. user=mdettweiler [2017-04-24 06:41:25] 795*2^1452507-1 is not prime. Res64: 688FDF0355D1B18C Time : 0.0 sec. user=mdettweiler [2017-04-24 06:41:25] 903*2^1452507-1 is not prime. Res64: 2C961FA12F5E71F8 Time : 0.0 sec. user=mdettweiler [2017-04-24 06:41:25] 931*2^1452507-1 is not prime. Res64: CA92839893A87197 Time : 0.0 sec. user=juhehe [2017-04-24 06:53:28] 975*2^1452507-1 is not prime. Res64: 1074C2FC67E10076 Time : 0.0 sec. user=mdettweiler [2017-04-24 07:20:11] 657*2^1452508-1 is not prime. Res64: C533DC3EFFC1E123 Time : 0.0 sec. user=mdettweiler [2017-04-24 07:20:11] 687*2^1452508-1 is not prime. Res64: 22CC4B8E7C9D8A40 Time : 0.0 sec. user=mdettweiler [2017-04-24 07:20:11] 845*2^1452508-1 is not prime. Res64: 7FA9028B29C02E18 Time : 0.0 sec. user=mdettweiler [2017-04-24 07:20:12] 863*2^1452508-1 is not prime. Res64: 8581D2E56D705C31 Time : 0.0 sec. user=mdettweiler [2017-04-24 07:20:12] 885*2^1452508-1 is not prime. Res64: 0B807B13E8FF53DC Time : 0.0 sec. user=mdettweiler [2017-04-24 07:25:50] 887*2^1452508-1 is not prime. Res64: 97C45596243F8A1A Time : 0.0 sec. user=mdettweiler [2017-04-24 07:25:50] 899*2^1452508-1 is not prime. Res64: DDA70353A8651240 Time : 0.0 sec. user=mdettweiler [2017-04-24 07:25:50] 909*2^1452508-1 is not prime. Res64: 35FC104E24897396 Time : 0.0 sec. user=mdettweiler [2017-04-24 07:25:50] 915*2^1452508-1 is not prime. Res64: FE8AA147091D5815 Time : 0.0 sec. user=mdettweiler [2017-04-24 07:25:51] 959*2^1452508-1 is not prime. Res64: C140BBEEFA99F171 Time : 0.0 sec. user=juhehe [2017-04-24 07:34:30] 697*2^1452509-1 is not prime. Res64: 50E37665A5C04B1A Time : 0.0 sec. user=mdettweiler [2017-04-24 08:04:38] 747*2^1452509-1 is not prime. Res64: 32FEB093229F529B Time : 0.0 sec. user=mdettweiler [2017-04-24 08:04:40] 795*2^1452509-1 is not prime. Res64: 1C58B82A22289AAE Time : 0.0 sec. user=mdettweiler [2017-04-24 08:04:41] 799*2^1452509-1 is not prime. Res64: 7EF75B985DA23636 Time : 0.0 sec. user=mdettweiler [2017-04-24 08:04:42] 811*2^1452509-1 is not prime. Res64: 6CD8CB7A93B718F4 Time : 0.0 sec. user=mdettweiler [2017-04-24 08:04:43] 829*2^1452509-1 is not prime. Res64: D5E2A912B06ACBE8 Time : 0.0 sec. user=mdettweiler [2017-04-24 08:10:16] 847*2^1452509-1 is not prime. Res64: 86D12B83B8762635 Time : 0.0 sec. user=mdettweiler [2017-04-24 08:10:17] 885*2^1452509-1 is not prime. Res64: 75F74B9FBAFDDE97 Time : 0.0 sec. user=mdettweiler [2017-04-24 08:10:17] 931*2^1452509-1 is not prime. Res64: DA1A71E06E0CBA02 Time : 0.0 sec. user=mdettweiler [2017-04-24 08:10:17] 957*2^1452509-1 is not prime. Res64: D5E414F0AEDA0C56 Time : 0.0 sec. user=mdettweiler [2017-04-24 08:10:17] 987*2^1452509-1 is not prime. Res64: 74FC4551DC9FB378 Time : 0.0 sec. user=mdettweiler [2017-04-24 08:49:18] 627*2^1452510-1 is not prime. Res64: 09F3D829E0D6CBCD Time : 0.0 sec. user=mdettweiler [2017-04-24 08:49:18] 707*2^1452510-1 is not prime. Res64: 9048695778B1F1D3 Time : 0.0 sec. user=mdettweiler [2017-04-24 08:49:19] 797*2^1452510-1 is not prime. Res64: 47F35D22DA849C1B Time : 0.0 sec. user=mdettweiler [2017-04-24 08:49:19] 863*2^1452510-1 is not prime. Res64: BD95EF6D44ABB358 Time : 0.0 sec. user=mdettweiler [2017-04-24 08:49:19] 963*2^1452510-1 is not prime. Res64: EFCBC85A7D97E7A5 Time : 0.0 sec. user=mdettweiler [2017-04-24 08:54:45] 693*2^1452511-1 is not prime. Res64: FE931F781281A15E Time : 0.0 sec. user=mdettweiler [2017-04-24 08:54:45] 813*2^1452511-1 is not prime. Res64: ABA8263C678B630F Time : 0.0 sec. user=mdettweiler [2017-04-24 08:54:46] 871*2^1452511-1 is not prime. Res64: 376063A3A9463DB2 Time : 0.0 sec. user=mdettweiler [2017-04-24 08:54:46] 925*2^1452511-1 is not prime. Res64: 9CE2F11C9E8BB521 Time : 0.0 sec. user=mdettweiler [2017-04-24 08:54:46] 931*2^1452511-1 is not prime. Res64: 7575DCB55A3BE212 Time : 0.0 sec. user=juhehe [2017-04-24 08:54:57] 693*2^1452512-1 is not prime. Res64: F344E68E4BD06640 Time : 0.0 sec. user=mdettweiler [2017-04-24 09:33:44] 963*2^1452512-1 is not prime. Res64: A60939D510082C4C Time : 0.0 sec. user=mdettweiler [2017-04-24 09:33:44] 681*2^1452513-1 is not prime. Res64: 74BEAEAB5307CA27 Time : 0.0 sec. user=mdettweiler [2017-04-24 09:33:45] 735*2^1452513-1 is not prime. Res64: 2AB5EB630CF73D34 Time : 0.0 sec. user=mdettweiler [2017-04-24 09:33:45] 811*2^1452513-1 is not prime. Res64: C19082B5A416A55F Time : 0.0 sec. user=mdettweiler [2017-04-24 09:33:45] 889*2^1452513-1 is not prime. Res64: 6B04F76650E7A1C8 Time : 0.0 sec. user=mdettweiler [2017-04-24 09:39:09] 949*2^1452513-1 is not prime. Res64: BF333E0888B904A9 Time : 0.0 sec. user=mdettweiler [2017-04-24 09:39:10] 717*2^1452514-1 is not prime. Res64: C50F686EA44A34A4 Time : 0.0 sec. user=mdettweiler [2017-04-24 09:39:10] 731*2^1452514-1 is not prime. Res64: 0AB395FBED91D341 Time : 0.0 sec. user=mdettweiler [2017-04-24 09:39:10] 755*2^1452514-1 is not prime. Res64: 7072A901197D7AD2 Time : 0.0 sec. user=mdettweiler [2017-04-24 09:39:11] 791*2^1452514-1 is not prime. Res64: E5BD3E36E7EF67CB Time : 0.0 sec. user=juhehe [2017-04-24 10:14:11] 705*2^1452515-1 is not prime. Res64: 33B7BA8EFF6315A0 Time : 0.0 sec. user=mdettweiler [2017-04-24 10:18:12] 885*2^1452514-1 is not prime. Res64: 2F5D165EF64615D3 Time : 0.0 sec. user=mdettweiler [2017-04-24 10:18:12] 917*2^1452514-1 is not prime. Res64: ADAD0B0E4A717938 Time : 0.0 sec. user=mdettweiler [2017-04-24 10:18:13] 601*2^1452515-1 is not prime. Res64: 2DD63B5BACDF5634 Time : 0.0 sec. user=mdettweiler [2017-04-24 10:18:13] 609*2^1452515-1 is not prime. Res64: B0A06CE086087092 Time : 0.0 sec. user=mdettweiler [2017-04-24 10:18:13] 655*2^1452515-1 is not prime. Res64: E8ED2746C54E1E6E Time : 0.0 sec. user=mdettweiler [2017-04-24 10:23:34] 853*2^1452515-1 is not prime. Res64: 60A7B514BAD17BD0 Time : 0.0 sec. user=mdettweiler [2017-04-24 10:23:34] 885*2^1452515-1 is not prime. Res64: 29ED35AC9FE604DE Time : 0.0 sec. user=mdettweiler [2017-04-24 10:23:34] 979*2^1452515-1 is not prime. Res64: 6386F2327869A8A2 Time : 0.0 sec. user=mdettweiler [2017-04-24 10:23:35] 999*2^1452515-1 is not prime. Res64: 7A344E41DFA351C6 Time : 0.0 sec. user=mdettweiler [2017-04-24 10:23:35] 675*2^1452516-1 is not prime. Res64: 81D5E9CD1498E047 Time : 0.0 sec. user=mdettweiler [2017-04-24 11:02:38] 909*2^1452516-1 is not prime. Res64: 96ED7FA2841EC770 Time : 0.0 sec. user=mdettweiler [2017-04-24 11:02:39] 983*2^1452516-1 is not prime. Res64: 69B183C732822290 Time : 0.0 sec. user=mdettweiler [2017-04-24 11:02:40] 607*2^1452517-1 is not prime. Res64: FB65D7620B083BF9 Time : 0.0 sec. user=mdettweiler [2017-04-24 11:02:41] 729*2^1452517-1 is not prime. Res64: B56A52A8FBDDA201 Time : 0.0 sec. user=mdettweiler [2017-04-24 11:02:42] 835*2^1452517-1 is not prime. Res64: 1DE3CEE502400A12 Time : 0.0 sec. user=mdettweiler [2017-04-24 11:07:59] 985*2^1452517-1 is not prime. Res64: AE3616CA4B7131E2 Time : 0.0 sec. user=mdettweiler [2017-04-24 11:07:59] 677*2^1452518-1 is not prime. Res64: 33D38335FC4B98D2 Time : 0.0 sec. user=mdettweiler [2017-04-24 11:08:00] 831*2^1452518-1 is not prime. Res64: 9FA3C85C78EABAC7 Time : 0.0 sec. user=mdettweiler [2017-04-24 11:08:00] 845*2^1452518-1 is not prime. Res64: 2893BE6434C10FDE Time : 0.0 sec. user=mdettweiler [2017-04-24 11:08:00] 885*2^1452518-1 is not prime. Res64: AD0EE5D814674FAB Time : 0.0 sec. user=mdettweiler [2017-04-24 11:47:30] 893*2^1452518-1 is not prime. Res64: 3742F8BDD4A4415D Time : 0.0 sec. user=mdettweiler [2017-04-24 11:47:30] 923*2^1452518-1 is not prime. Res64: 145782EB074CF9E5 Time : 0.0 sec. user=mdettweiler [2017-04-24 11:47:31] 613*2^1452519-1 is not prime. Res64: AC85AC12F67D1536 Time : 0.0 sec. user=mdettweiler [2017-04-24 11:47:31] 663*2^1452519-1 is not prime. Res64: D4857509CC190EC3 Time : 0.0 sec. user=mdettweiler [2017-04-24 11:47:31] 675*2^1452519-1 is not prime. Res64: 6CFFA5C25925B8BD Time : 0.0 sec. user=mdettweiler [2017-04-24 11:52:22] 679*2^1452519-1 is not prime. Res64: 21109D8A0980E3A0 Time : 0.0 sec. user=mdettweiler [2017-04-24 11:52:22] 685*2^1452519-1 is not prime. Res64: C351D597DE298C92 Time : 0.0 sec. user=mdettweiler [2017-04-24 11:52:23] 691*2^1452519-1 is not prime. Res64: F3DCC125536AF5D9 Time : 0.0 sec. user=mdettweiler [2017-04-24 11:52:23] 931*2^1452519-1 is not prime. Res64: 2A0E90DCDAE2210C Time : 0.0 sec. user=mdettweiler [2017-04-24 11:52:23] 999*2^1452519-1 is not prime. Res64: 137D96826184958E Time : 0.0 sec. user=juhehe [2017-04-24 12:14:49] 765*2^1452520-1 is not prime. Res64: 3BD3ECDCCA3670D6 Time : 0.0 sec. user=mdettweiler [2017-04-24 12:31:55] 803*2^1452520-1 is not prime. Res64: C2DEA9CFA3908473 Time : 0.0 sec. user=mdettweiler [2017-04-24 12:31:55] 827*2^1452520-1 is not prime. Res64: DA7B5D4E1717BAEC Time : 0.0 sec. user=mdettweiler [2017-04-24 12:31:55] 839*2^1452520-1 is not prime. Res64: 22FC350EBB206070 Time : 0.0 sec. user=mdettweiler [2017-04-24 12:31:55] 843*2^1452520-1 is not prime. Res64: 57B2866987E9A502 Time : 0.0 sec. user=mdettweiler [2017-04-24 12:31:56] 855*2^1452520-1 is not prime. Res64: 124DC9CDB722B36E Time : 0.0 sec. user=mdettweiler [2017-04-24 12:36:46] 975*2^1452520-1 is not prime. Res64: C772A4DD22DB9A2F Time : 0.0 sec. user=mdettweiler [2017-04-24 12:36:47] 983*2^1452520-1 is not prime. Res64: A75C243DB5E6B413 Time : 0.0 sec. user=mdettweiler [2017-04-24 12:36:47] 691*2^1452521-1 is not prime. Res64: 5E387D5E79EC9E9E Time : 0.0 sec. user=mdettweiler [2017-04-24 12:36:47] 769*2^1452521-1 is not prime. Res64: 9975E798B0F09ADA Time : 0.0 sec. user=mdettweiler [2017-04-24 12:36:47] 775*2^1452521-1 is not prime. Res64: 86BD3C08B594E909 Time : 0.0 sec. user=juhehe [2017-04-24 12:54:41] 777*2^1452521-1 is not prime. Res64: C9601B3B8E43E99C Time : 0.0 sec. user=mdettweiler [2017-04-24 13:16:40] 805*2^1452521-1 is not prime. Res64: ABCBF4E48AD3B30E Time : 0.0 sec. user=mdettweiler [2017-04-24 13:16:41] 991*2^1452521-1 is not prime. Res64: 96F0651FF6BEE3F0 Time : 0.0 sec. user=mdettweiler [2017-04-24 13:16:41] 735*2^1452522-1 is not prime. Res64: ADA61A842669B758 Time : 0.0 sec. user=mdettweiler [2017-04-24 13:16:41] 797*2^1452522-1 is not prime. Res64: 69C85E95CC5A1EA5 Time : 0.0 sec. user=mdettweiler [2017-04-24 13:16:42] 917*2^1452522-1 is not prime. Res64: FA0C224490639A18 Time : 0.0 sec. user=mdettweiler [2017-04-24 13:21:34] 663*2^1452523-1 is not prime. Res64: D4A750FA5A952AAA Time : 0.0 sec. user=mdettweiler [2017-04-24 13:21:34] 679*2^1452523-1 is not prime. Res64: 2F12C16DD6365535 Time : 0.0 sec. user=mdettweiler [2017-04-24 13:21:35] 861*2^1452523-1 is not prime. Res64: 2EC9D5FA8867BFB9 Time : 0.0 sec. user=mdettweiler [2017-04-24 13:21:35] 913*2^1452523-1 is not prime. Res64: E80021BBBFC93D30 Time : 0.0 sec. user=mdettweiler [2017-04-24 13:21:35] 961*2^1452523-1 is not prime. Res64: 33D5EE716B801B72 Time : 0.0 sec. user=juhehe [2017-04-24 13:34:05] 985*2^1452523-1 is not prime. Res64: 92F24A6A5E658ADE Time : 0.0 sec. user=mdettweiler [2017-04-24 14:01:39] 743*2^1452524-1 is not prime. Res64: F1F4BD7A577796D0 Time : 0.0 sec. user=mdettweiler [2017-04-24 14:01:40] 885*2^1452524-1 is not prime. Res64: 22AADFFF2A808871 Time : 0.0 sec. user=mdettweiler [2017-04-24 14:01:40] 927*2^1452524-1 is not prime. Res64: C1E0C3C5C8C27BE5 Time : 0.0 sec. user=mdettweiler [2017-04-24 14:01:41] 993*2^1452524-1 is not prime. Res64: 6B12D61D7C0AA449 Time : 0.0 sec. user=mdettweiler [2017-04-24 14:01:41] 601*2^1452525-1 is not prime. Res64: B31BFAE326460702 Time : 0.0 sec. user=mdettweiler [2017-04-24 14:06:30] 627*2^1452525-1 is not prime. Res64: E6FBDA259CBBC6F3 Time : 0.0 sec. user=mdettweiler [2017-04-24 14:06:30] 699*2^1452525-1 is not prime. Res64: 142621A69125A8C2 Time : 0.0 sec. user=mdettweiler [2017-04-24 14:06:30] 717*2^1452525-1 is not prime. Res64: AE265B1D30844735 Time : 0.0 sec. user=mdettweiler [2017-04-24 14:06:30] 735*2^1452525-1 is not prime. Res64: A1520E0F5A6392FA Time : 0.0 sec. user=mdettweiler [2017-04-24 14:06:31] 781*2^1452525-1 is not prime. Res64: 18C857869E35FDFA Time : 0.0 sec. user=mdettweiler [2017-04-24 14:46:30] 819*2^1452525-1 is not prime. Res64: 28D40442EAA5EF3A Time : 0.0 sec. user=mdettweiler [2017-04-24 14:46:30] 847*2^1452525-1 is not prime. Res64: F7A8C04122B8D22D Time : 0.0 sec. user=mdettweiler [2017-04-24 14:46:30] 651*2^1452526-1 is not prime. Res64: 7B31B462076749FB Time : 0.0 sec. user=mdettweiler [2017-04-24 14:46:30] 695*2^1452526-1 is not prime. Res64: BB5561A3EB4ED740 Time : 0.0 sec. user=mdettweiler [2017-04-24 14:46:31] 743*2^1452526-1 is not prime. Res64: B0F16757D095BBD2 Time : 0.0 sec. user=mdettweiler [2017-04-24 14:50:57] 747*2^1452526-1 is not prime. Res64: 2491CD06763671B4 Time : 0.0 sec. user=mdettweiler [2017-04-24 14:50:57] 785*2^1452526-1 is not prime. Res64: 0B258280D0E27407 Time : 0.0 sec. user=mdettweiler [2017-04-24 14:50:57] 801*2^1452526-1 is not prime. Res64: 4423D77735F689B8 Time : 0.0 sec. user=mdettweiler [2017-04-24 14:50:58] 975*2^1452526-1 is not prime. Res64: 3FE981F8AF678E91 Time : 0.0 sec. user=mdettweiler [2017-04-24 14:50:58] 621*2^1452527-1 is not prime. Res64: 039C0F069E90FE9C Time : 0.0 sec. user=mdettweiler [2017-04-24 15:30:58] 759*2^1452527-1 is not prime. Res64: 20201A44FC8D2A7F Time : 0.0 sec. user=mdettweiler [2017-04-24 15:30:58] 813*2^1452527-1 is not prime. Res64: 432EB44F3F3C186D Time : 0.0 sec. user=mdettweiler [2017-04-24 15:30:59] 931*2^1452527-1 is not prime. Res64: 1CDB32524A9BD463 Time : 0.0 sec. user=mdettweiler [2017-04-24 15:30:59] 699*2^1452528-1 is not prime. Res64: AF1469F4FD63055D Time : 0.0 sec. user=mdettweiler [2017-04-24 15:30:59] 825*2^1452528-1 is not prime. Res64: 76370A2D202C5E9D Time : 0.0 sec. user=mdettweiler [2017-04-24 15:35:23] 843*2^1452528-1 is not prime. Res64: 67A27DACA15F4325 Time : 0.0 sec. user=mdettweiler [2017-04-24 15:35:23] 959*2^1452528-1 is not prime. Res64: 7F88ECE1D9752D62 Time : 0.0 sec. user=mdettweiler [2017-04-24 15:35:24] 993*2^1452528-1 is not prime. Res64: 984062139D0801E5 Time : 0.0 sec. user=mdettweiler [2017-04-24 15:35:24] 619*2^1452529-1 is not prime. Res64: 22D1131F6FE067FD Time : 0.0 sec. user=mdettweiler [2017-04-24 15:35:24] 661*2^1452529-1 is not prime. Res64: 394D634F903BD4B3 Time : 0.0 sec. user=mdettweiler [2017-04-24 16:15:22] 681*2^1452529-1 is not prime. Res64: 44F4E7948B372D22 Time : 0.0 sec. user=mdettweiler [2017-04-24 16:15:23] 687*2^1452529-1 is not prime. Res64: 1E1A817504FFC241 Time : 0.0 sec. user=mdettweiler [2017-04-24 16:15:23] 829*2^1452529-1 is not prime. Res64: FF024BB30656D896 Time : 0.0 sec. user=mdettweiler [2017-04-24 16:15:23] 835*2^1452529-1 is not prime. Res64: 51386D9B021E6273 Time : 0.0 sec. user=mdettweiler [2017-04-24 16:15:24] 867*2^1452529-1 is not prime. Res64: A4C14EB0D9E97FAB Time : 0.0 sec. user=mdettweiler [2017-04-24 16:19:47] 951*2^1452529-1 is not prime. Res64: B7E1CF1DAD7073C5 Time : 0.0 sec. user=mdettweiler [2017-04-24 16:19:48] 605*2^1452530-1 is not prime. Res64: 4D3742D78C5190A4 Time : 0.0 sec. user=mdettweiler [2017-04-24 16:19:48] 633*2^1452530-1 is not prime. Res64: DC2CFBC1E9EAA44A Time : 0.0 sec. user=mdettweiler [2017-04-24 16:19:48] 675*2^1452530-1 is not prime. Res64: 881E5268076602DA Time : 0.0 sec. user=mdettweiler [2017-04-24 16:19:49] 677*2^1452530-1 is not prime. Res64: 8F2E1151A37BE7BF Time : 0.0 sec. user=mdettweiler [2017-04-24 16:59:50] 783*2^1452530-1 is not prime. Res64: 7365905030E88594 Time : 0.0 sec. user=mdettweiler [2017-04-24 16:59:50] 615*2^1452531-1 is not prime. Res64: 090BB748ABCF9390 Time : 0.0 sec. user=mdettweiler [2017-04-24 16:59:51] 745*2^1452531-1 is not prime. Res64: 35D2D3673E3B6FDC Time : 0.0 sec. user=mdettweiler [2017-04-24 16:59:51] 769*2^1452531-1 is not prime. Res64: 4B85E32DD2B11853 Time : 0.0 sec. user=mdettweiler [2017-04-24 16:59:51] 795*2^1452531-1 is not prime. Res64: 052A5C69835E3B5C Time : 0.0 sec. user=mdettweiler [2017-04-24 17:04:14] 903*2^1452531-1 is not prime. Res64: 2824BCB635E135D5 Time : 0.0 sec. user=mdettweiler [2017-04-24 17:04:15] 693*2^1452532-1 is not prime. Res64: E745408E803EEB2D Time : 0.0 sec. user=mdettweiler [2017-04-24 17:04:15] 903*2^1452532-1 is not prime. Res64: 27CEEE9CF4C93C00 Time : 0.0 sec. user=mdettweiler [2017-04-24 17:04:16] 923*2^1452532-1 is not prime. Res64: B44AB65D00B56F88 Time : 0.0 sec. user=mdettweiler [2017-04-24 17:04:17] 607*2^1452533-1 is not prime. Res64: D8AE6F0829E664F6 Time : 0.0 sec. user=mdettweiler [2017-04-24 17:44:16] 627*2^1452533-1 is not prime. Res64: 6CEE6CF1490E9334 Time : 0.0 sec. user=mdettweiler [2017-04-24 17:44:16] 675*2^1452533-1 is not prime. Res64: 5A6E3E5ABC48FCD3 Time : 0.0 sec. user=mdettweiler [2017-04-24 17:44:16] 691*2^1452533-1 is not prime. Res64: 924BD4EC7BBE2748 Time : 0.0 sec. user=mdettweiler [2017-04-24 17:44:17] 745*2^1452533-1 is not prime. Res64: EA640D6BE70D3E16 Time : 0.0 sec. user=mdettweiler [2017-04-24 17:44:17] 787*2^1452533-1 is not prime. Res64: A226CF45777628B8 Time : 0.0 sec. user=mdettweiler [2017-04-24 17:48:43] 789*2^1452533-1 is not prime. Res64: FEC6A06599C32C15 Time : 0.0 sec. user=mdettweiler [2017-04-24 17:48:44] 871*2^1452533-1 is not prime. Res64: 7D29AD88E739E865 Time : 0.0 sec. user=mdettweiler [2017-04-24 17:48:44] 925*2^1452533-1 is not prime. Res64: 2C3796A7ABCC258D Time : 0.0 sec. user=mdettweiler [2017-04-24 17:48:44] 955*2^1452533-1 is not prime. Res64: 19AD497736EEE63A Time : 0.0 sec. user=mdettweiler [2017-04-24 17:48:44] 635*2^1452534-1 is not prime. Res64: 8EBEAE107128C793 Time : 0.0 sec. user=juhehe [2017-04-24 18:05:15] 707*2^1452534-1 is not prime. Res64: 4B17C604E3B3FEBE Time : 0.0 sec. user=mdettweiler [2017-04-24 18:28:39] 851*2^1452534-1 is not prime. Res64: C12A5DCAB3FBD5F4 Time : 0.0 sec. user=mdettweiler [2017-04-24 18:28:39] 861*2^1452534-1 is not prime. Res64: E8E5B0A332E175A8 Time : 0.0 sec. user=mdettweiler [2017-04-24 18:28:40] 983*2^1452534-1 is not prime. Res64: 53D88D5AA4A90F82 Time : 0.0 sec. user=mdettweiler [2017-04-24 18:28:40] 633*2^1452535-1 is not prime. Res64: 086167F893EA9562 Time : 0.0 sec. user=mdettweiler [2017-04-24 18:28:40] 679*2^1452535-1 is not prime. Res64: 406F79BE45AA07D4 Time : 0.0 sec. user=mdettweiler [2017-04-24 18:33:06] 855*2^1452535-1 is not prime. Res64: D321576AB581D95C Time : 0.0 sec. user=mdettweiler [2017-04-24 18:33:06] 689*2^1452536-1 is not prime. Res64: 1987B4DE386C3F18 Time : 0.0 sec. user=mdettweiler [2017-04-24 18:33:07] 825*2^1452536-1 is not prime. Res64: 007DBFD2F860243E Time : 0.0 sec. user=mdettweiler [2017-04-24 18:33:07] 839*2^1452536-1 is not prime. Res64: 92A773865EEF2B64 Time : 0.0 sec. user=mdettweiler [2017-04-24 18:33:07] 879*2^1452536-1 is not prime. Res64: A2574AAF06C56B6B Time : 0.0 sec. user=mdettweiler [2017-04-24 19:13:02] 899*2^1452536-1 is not prime. Res64: 392C737D9FF34E52 Time : 0.0 sec. user=mdettweiler [2017-04-24 19:13:02] 917*2^1452536-1 is not prime. Res64: 6CB92E8C2767F876 Time : 0.0 sec. user=mdettweiler [2017-04-24 19:13:02] 999*2^1452536-1 is not prime. Res64: C0EB7A9ACD6FE0D9 Time : 0.0 sec. user=mdettweiler [2017-04-24 19:13:03] 685*2^1452537-1 is not prime. Res64: DB8A69F69EEE7325 Time : 0.0 sec. user=mdettweiler [2017-04-24 19:13:03] 727*2^1452537-1 is not prime. Res64: EC7AA12844F957E9 Time : 0.0 sec. user=mdettweiler [2017-04-24 19:17:29] 741*2^1452537-1 is not prime. Res64: 24F5363123ACC438 Time : 0.0 sec. user=mdettweiler [2017-04-24 19:17:29] 837*2^1452537-1 is not prime. Res64: 6A1EFD106F6D3ABA Time : 0.0 sec. user=mdettweiler [2017-04-24 19:17:29] 871*2^1452537-1 is not prime. Res64: 3ED7C8F7E8D41090 Time : 0.0 sec. user=mdettweiler [2017-04-24 19:17:29] 909*2^1452537-1 is not prime. Res64: 07A2B2A1A301BED3 Time : 0.0 sec. user=mdettweiler [2017-04-24 19:17:30] 791*2^1452538-1 is not prime. Res64: A7996AAECC643541 Time : 0.0 sec. user=juhehe [2017-04-24 19:36:04] 843*2^1452538-1 is not prime. Res64: 383CF70F8C8BFFCE Time : 0.0 sec. user=mdettweiler [2017-04-24 19:57:27] 621*2^1452539-1 is not prime. Res64: 864F39DF948041C4 Time : 0.0 sec. user=mdettweiler [2017-04-24 19:57:28] 663*2^1452539-1 is not prime. Res64: 9F67B80CC847F832 Time : 0.0 sec. user=mdettweiler [2017-04-24 19:57:28] 675*2^1452539-1 is not prime. Res64: 5D1A9B7D80DD4019 Time : 0.0 sec. user=mdettweiler [2017-04-24 19:57:28] 693*2^1452539-1 is not prime. Res64: 32C19085A9BA3379 Time : 0.0 sec. user=mdettweiler [2017-04-24 19:57:29] 703*2^1452539-1 is not prime. Res64: FA1384904654E7B1 Time : 0.0 sec. user=mdettweiler [2017-04-24 20:01:51] 745*2^1452539-1 is not prime. Res64: A3AA5B3EB0CBBB3A Time : 0.0 sec. user=mdettweiler [2017-04-24 20:01:53] 753*2^1452539-1 is not prime. Res64: ECB692A7200D926C Time : 0.0 sec. user=mdettweiler [2017-04-24 20:01:54] 811*2^1452539-1 is not prime. Res64: 008EC62639CBE544 Time : 0.0 sec. user=mdettweiler [2017-04-24 20:01:55] 819*2^1452539-1 is not prime. Res64: B86A87B0F5A9E0CE Time : 0.0 sec. user=mdettweiler [2017-04-24 20:01:56] 843*2^1452539-1 is not prime. Res64: F3AF79C78D85B88F Time : 0.0 sec. user=mdettweiler [2017-04-24 20:41:52] 985*2^1452539-1 is not prime. Res64: D8A882209EF23063 Time : 0.0 sec. user=mdettweiler [2017-04-24 20:41:52] 609*2^1452540-1 is not prime. Res64: EF0F8F1180B34F22 Time : 0.0 sec. user=mdettweiler [2017-04-24 20:41:52] 675*2^1452540-1 is not prime. Res64: 4B56E3C057F68542 Time : 0.0 sec. user=mdettweiler [2017-04-24 20:41:53] 759*2^1452540-1 is not prime. Res64: C4C04680A5CD6581 Time : 0.0 sec. user=mdettweiler [2017-04-24 20:41:53] 783*2^1452540-1 is not prime. Res64: E07A09E61377B281 Time : 0.0 sec. user=mdettweiler [2017-04-24 20:46:28] 825*2^1452540-1 is not prime. Res64: 24BCC014E99C859C Time : 0.0 sec. user=mdettweiler [2017-04-24 20:46:28] 845*2^1452540-1 is not prime. Res64: 3F5DB06C47D77A3B Time : 0.0 sec. user=mdettweiler [2017-04-24 20:46:28] 905*2^1452540-1 is not prime. Res64: CB85B6410A701EAD Time : 0.0 sec. user=mdettweiler [2017-04-24 20:46:29] 959*2^1452540-1 is not prime. Res64: 325BFABEBC5F9750 Time : 0.0 sec. user=mdettweiler [2017-04-24 20:46:29] 975*2^1452540-1 is not prime. Res64: B35EABABE08DF340 Time : 0.0 sec. user=mdettweiler [2017-04-24 21:26:15] 741*2^1452541-1 is not prime. Res64: F43ED86259C9C09B Time : 0.0 sec. user=mdettweiler [2017-04-24 21:26:15] 771*2^1452541-1 is not prime. Res64: 435F4EDC6284A2A8 Time : 0.0 sec. user=mdettweiler [2017-04-24 21:26:16] 817*2^1452541-1 is not prime. Res64: 705135DA5353CD91 Time : 0.0 sec. user=mdettweiler [2017-04-24 21:26:16] 939*2^1452541-1 is not prime. Res64: AFBA7C54A53AC977 Time : 0.0 sec. user=mdettweiler [2017-04-24 21:26:16] 951*2^1452541-1 is not prime. Res64: 9CD4D056ABF2E684 Time : 0.0 sec. user=mdettweiler [2017-04-24 21:30:51] 801*2^1452542-1 is not prime. Res64: 1E9F411422D63CD7 Time : 0.0 sec. user=mdettweiler [2017-04-24 21:30:51] 825*2^1452542-1 is not prime. Res64: 483DD6F48793FE4E Time : 0.0 sec. user=mdettweiler [2017-04-24 21:30:52] 875*2^1452542-1 is not prime. Res64: 55F486200772EBC3 Time : 0.0 sec. user=mdettweiler [2017-04-24 21:30:52] 911*2^1452542-1 is not prime. Res64: 955B42C26F661323 Time : 0.0 sec. user=mdettweiler [2017-04-24 21:30:52] 963*2^1452542-1 is not prime. Res64: 59418ECCE9B4407D Time : 0.0 sec. user=juhehe [2017-04-24 21:35:25] 615*2^1452543-1 is not prime. Res64: D7E168E5D8B7E2FB Time : 0.0 sec. user=mdettweiler [2017-04-24 22:10:39] 639*2^1452543-1 is not prime. Res64: 10B846BAC26340CE Time : 0.0 sec. user=mdettweiler [2017-04-24 22:10:40] 859*2^1452543-1 is not prime. Res64: 529121F24260E40A Time : 0.0 sec. user=mdettweiler [2017-04-24 22:10:40] 885*2^1452543-1 is not prime. Res64: 05F95B54C6B91BFB Time : 0.0 sec. user=mdettweiler [2017-04-24 22:10:40] 891*2^1452543-1 is not prime. Res64: BE5B38F97F5FE5F8 Time : 0.0 sec. user=mdettweiler [2017-04-24 22:10:41] 615*2^1452544-1 is not prime. Res64: E062E2DBBA38FEE7 Time : 0.0 sec. user=mdettweiler [2017-04-24 22:15:14] 629*2^1452544-1 is not prime. Res64: 450277A4AD3F605A Time : 0.0 sec. user=mdettweiler [2017-04-24 22:15:14] 833*2^1452544-1 is not prime. Res64: 1B0DD030F4D60375 Time : 0.0 sec. user=mdettweiler [2017-04-24 22:15:14] 917*2^1452544-1 is not prime. Res64: E68F60AEAAB6E80E Time : 0.0 sec. user=mdettweiler [2017-04-24 22:15:15] 601*2^1452545-1 is not prime. Res64: DA03808067119A76 Time : 0.0 sec. user=mdettweiler [2017-04-24 22:15:15] 619*2^1452545-1 is not prime. Res64: 26D9CB1784E91FED Time : 0.0 sec. user=mdettweiler [2017-04-24 22:55:03] 867*2^1452545-1 is not prime. Res64: 1CC2190EF1386EF6 Time : 0.0 sec. user=mdettweiler [2017-04-24 22:55:03] 969*2^1452545-1 is not prime. Res64: 75E2BB260E05709E Time : 0.0 sec. user=mdettweiler [2017-04-24 22:55:04] 735*2^1452546-1 is not prime. Res64: 80F78674F1361735 Time : 0.0 sec. user=mdettweiler [2017-04-24 22:55:04] 815*2^1452546-1 is not prime. Res64: 1DADAAE1E4C2C527 Time : 0.0 sec. user=mdettweiler [2017-04-24 22:55:04] 833*2^1452546-1 is not prime. Res64: 437FC48E81AB58B5 Time : 0.0 sec. user=mdettweiler [2017-04-24 22:59:37] 843*2^1452546-1 is not prime. Res64: AF7089AFED8F7096 Time : 0.0 sec. user=mdettweiler [2017-04-24 22:59:37] 881*2^1452546-1 is not prime. Res64: 7396DBEAB7A488EE Time : 0.0 sec. user=mdettweiler [2017-04-24 22:59:38] 633*2^1452547-1 is not prime. Res64: FCA787378CE382E5 Time : 0.0 sec. user=mdettweiler [2017-04-24 22:59:38] 645*2^1452547-1 is not prime. Res64: 615BE226849228C2 Time : 0.0 sec. user=mdettweiler [2017-04-24 22:59:38] 973*2^1452547-1 is not prime. Res64: 8E97C57E377E963C Time : 0.0 sec. user=juhehe [2017-04-24 23:35:13] 677*2^1452548-1 is not prime. Res64: E08CB418B54E463A Time : 0.0 sec. user=mdettweiler [2017-04-24 23:39:26] 753*2^1452548-1 is not prime. Res64: 7D3F779C4820DA3B Time : 0.0 sec. user=mdettweiler [2017-04-24 23:39:27] 797*2^1452548-1 is not prime. Res64: AE0A405E8B93C67A Time : 0.0 sec. user=mdettweiler [2017-04-24 23:39:27] 867*2^1452548-1 is not prime. Res64: 859387C1BBDE5F7F Time : 0.0 sec. user=mdettweiler [2017-04-24 23:39:27] 787*2^1452549-1 is not prime. Res64: 999DE209CFDFB8CC Time : 0.0 sec. user=mdettweiler [2017-04-24 23:39:27] 895*2^1452549-1 is not prime. Res64: 77DC8AB06360BB4F Time : 0.0 sec. user=mdettweiler [2017-04-24 23:44:01] 961*2^1452549-1 is not prime. Res64: 4625F195610CE35C Time : 0.0 sec. user=mdettweiler [2017-04-24 23:44:01] 635*2^1452550-1 is not prime. Res64: B5C59B4B010EE9E9 Time : 0.0 sec. user=mdettweiler [2017-04-24 23:44:01] 665*2^1452550-1 is not prime. Res64: 331F9C905AFD81B4 Time : 0.0 sec. user=mdettweiler [2017-04-24 23:44:01] 677*2^1452550-1 is not prime. Res64: E29B93FACDFE7FDC Time : 0.0 sec. user=mdettweiler [2017-04-24 23:44:02] 783*2^1452551-1 is not prime. Res64: 7A960053185D02B0 Time : 0.0 sec.