user=mdettweiler [2015-11-02 00:09:58] 817*2^1413805-1 is not prime. Res64: E6053FA81B332F98 Time : 0.0 sec. user=mdettweiler [2015-11-02 00:09:59] 955*2^1413805-1 is not prime. Res64: B6B26B46389B0948 Time : 0.0 sec. user=mdettweiler [2015-11-02 00:13:07] 957*2^1413805-1 is not prime. Res64: B2718465384298A5 Time : 0.0 sec. user=mdettweiler [2015-11-02 00:13:07] 603*2^1413806-1 is not prime. Res64: 204205B8631484E3 Time : 0.0 sec. user=mdettweiler [2015-11-02 00:13:10] 617*2^1413806-1 is not prime. Res64: 36AACE4C90001968 Time : 0.0 sec. user=mdettweiler [2015-11-02 00:13:10] 651*2^1413806-1 is not prime. Res64: 57FA54FBF10CD5F8 Time : 0.0 sec. user=mdettweiler [2015-11-02 00:27:31] 773*2^1413806-1 is not prime. Res64: 51D94368399DA749 Time : 0.0 sec. user=mdettweiler [2015-11-02 00:27:32] 917*2^1413806-1 is not prime. Res64: 8647676EF04A74D3 Time : 0.0 sec. user=mdettweiler [2015-11-02 00:30:35] 923*2^1413806-1 is not prime. Res64: 3BE141E704191504 Time : 0.0 sec. user=mdettweiler [2015-11-02 00:30:35] 941*2^1413806-1 is not prime. Res64: DA9A173C2F852B6C Time : 0.0 sec. user=mdettweiler [2015-11-02 00:30:36] 691*2^1413807-1 is not prime. Res64: 94C310FE490F7167 Time : 0.0 sec. user=mdettweiler [2015-11-02 00:30:37] 693*2^1413807-1 is not prime. Res64: 8B4E1060B780D88E Time : 0.0 sec. user=mdettweiler [2015-11-02 00:44:59] 909*2^1413807-1 is not prime. Res64: A35BA4A86DD8FA92 Time : 0.0 sec. user=mdettweiler [2015-11-02 00:45:00] 639*2^1413808-1 is not prime. Res64: 8DB7708463637E8A Time : 0.0 sec. user=mdettweiler [2015-11-02 00:48:01] 677*2^1413808-1 is not prime. Res64: 90B02A1788ADDB7A Time : 0.0 sec. user=mdettweiler [2015-11-02 00:48:01] 689*2^1413808-1 is not prime. Res64: 582CC1DFFD85C4FC Time : 0.0 sec. user=mdettweiler [2015-11-02 00:48:02] 839*2^1413808-1 is not prime. Res64: 0814F94304AF18DB Time : 0.0 sec. user=mdettweiler [2015-11-02 00:48:03] 899*2^1413808-1 is not prime. Res64: 9EF379E3561B3B04 Time : 0.0 sec. user=mdettweiler [2015-11-02 01:02:30] 923*2^1413808-1 is not prime. Res64: 4BBBA692544DFA2B Time : 0.0 sec. user=mdettweiler [2015-11-02 01:02:32] 969*2^1413808-1 is not prime. Res64: C9E19701C0760635 Time : 0.0 sec. user=mdettweiler [2015-11-02 01:05:27] 989*2^1413808-1 is not prime. Res64: E6E4BF37B51EBFCF Time : 0.0 sec. user=mdettweiler [2015-11-02 01:05:29] 657*2^1413809-1 is not prime. Res64: E1BE4F295B098877 Time : 0.0 sec. user=mdettweiler [2015-11-02 01:05:30] 711*2^1413809-1 is not prime. Res64: 82BE0A65480ECD6A Time : 0.0 sec. user=mdettweiler [2015-11-02 01:05:31] 769*2^1413809-1 is not prime. Res64: ECC4396026A117B0 Time : 0.0 sec. user=mdettweiler [2015-11-02 01:20:11] 633*2^1413810-1 is not prime. Res64: 57B6D6D83B1CB25A Time : 0.0 sec. user=mdettweiler [2015-11-02 01:20:12] 717*2^1413810-1 is not prime. Res64: 7FD140629368337D Time : 0.0 sec. user=mdettweiler [2015-11-02 01:23:00] 735*2^1413810-1 is not prime. Res64: C5DBDF0A36E6A8C6 Time : 0.0 sec. user=mdettweiler [2015-11-02 01:23:00] 861*2^1413810-1 is not prime. Res64: AA5BE1A042E7CF3F Time : 0.0 sec. user=mdettweiler [2015-11-02 01:23:07] 905*2^1413810-1 is not prime. Res64: 01C4D4CD21F8D72E Time : 0.0 sec. user=mdettweiler [2015-11-02 01:23:07] 673*2^1413811-1 is not prime. Res64: 086B3C17EF647991 Time : 0.0 sec. user=mdettweiler [2015-11-02 01:37:40] 681*2^1413811-1 is not prime. Res64: 1DA0B986CCBACE68 Time : 0.0 sec. user=mdettweiler [2015-11-02 01:37:41] 793*2^1413811-1 is not prime. Res64: E4748F689775DF85 Time : 0.0 sec. user=mdettweiler [2015-11-02 01:40:25] 805*2^1413811-1 is not prime. Res64: 72A6683C6456C3D4 Time : 0.0 sec. user=mdettweiler [2015-11-02 01:40:26] 861*2^1413811-1 is not prime. Res64: BE52025377B30698 Time : 0.0 sec. user=mdettweiler [2015-11-02 01:40:33] 635*2^1413812-1 is not prime. Res64: 6122989A33B91FB0 Time : 0.0 sec. user=mdettweiler [2015-11-02 01:40:33] 819*2^1413812-1 is not prime. Res64: 544EB24F6433C2A0 Time : 0.0 sec. user=mdettweiler [2015-11-02 01:55:13] 837*2^1413812-1 is not prime. Res64: 1FCB4B0F42078E3F Time : 0.0 sec. user=mdettweiler [2015-11-02 01:55:13] 915*2^1413812-1 is not prime. Res64: 899A5D15A91D3B79 Time : 0.0 sec. user=mdettweiler [2015-11-02 01:57:56] 945*2^1413812-1 is not prime. Res64: 67867F4500E792C3 Time : 0.0 sec. user=mdettweiler [2015-11-02 01:57:56] 957*2^1413812-1 is not prime. Res64: 6F9A30B898F513F8 Time : 0.0 sec. user=mdettweiler [2015-11-02 01:58:04] 995*2^1413812-1 is not prime. Res64: 20AF1479DB200F64 Time : 0.0 sec. user=mdettweiler [2015-11-02 01:58:04] 649*2^1413813-1 is not prime. Res64: 672D83ECC6477A02 Time : 0.0 sec. user=mdettweiler [2015-11-02 02:12:40] 657*2^1413813-1 is not prime. Res64: C3BBBB9571009F94 Time : 0.0 sec. user=mdettweiler [2015-11-02 02:12:40] 691*2^1413813-1 is not prime. Res64: 0A32F0231F1303B8 Time : 0.0 sec. user=mdettweiler [2015-11-02 02:15:21] 835*2^1413813-1 is not prime. Res64: B747010E8E605B12 Time : 0.0 sec. user=mdettweiler [2015-11-02 02:15:22] 891*2^1413813-1 is not prime. Res64: 807047E818F93E9C Time : 0.0 sec. user=mdettweiler [2015-11-02 02:15:30] 969*2^1413813-1 is not prime. Res64: EBDD75CBAD6BC75B Time : 0.0 sec. user=mdettweiler [2015-11-02 02:15:31] 617*2^1413814-1 is not prime. Res64: E6A2A2EF06900140 Time : 0.0 sec. user=mdettweiler [2015-11-02 02:30:10] 717*2^1413814-1 is not prime. Res64: 08F97DEE08CD01A7 Time : 0.0 sec. user=mdettweiler [2015-11-02 02:30:12] 765*2^1413814-1 is not prime. Res64: 7CDFA86D0E495532 Time : 0.0 sec. user=mdettweiler [2015-11-02 02:32:50] 693*2^1413815-1 is not prime. Res64: AE5FA77F348792AB Time : 0.0 sec. user=mdettweiler [2015-11-02 02:32:50] 715*2^1413815-1 is not prime. Res64: 39293856400D81BE Time : 0.0 sec. user=mdettweiler [2015-11-02 02:32:57] 853*2^1413815-1 is not prime. Res64: BB3325AD906A8159 Time : 0.0 sec. user=mdettweiler [2015-11-02 02:32:57] 883*2^1413815-1 is not prime. Res64: F319CBA15BC45ECF Time : 0.0 sec. user=mdettweiler [2015-11-02 02:48:18] 623*2^1413816-1 is not prime. Res64: 7ED94758C2532330 Time : 0.0 sec. user=mdettweiler [2015-11-02 02:48:18] 689*2^1413816-1 is not prime. Res64: 6D13B43E4127E6F1 Time : 0.0 sec. user=mdettweiler [2015-11-02 02:50:25] 773*2^1413816-1 is not prime. Res64: A25047BBCD2644B1 Time : 0.0 sec. user=mdettweiler [2015-11-02 02:50:25] 789*2^1413816-1 is not prime. Res64: A39983ED62477AEF Time : 0.0 sec. user=mdettweiler [2015-11-02 02:50:26] 983*2^1413816-1 is not prime. Res64: A522ABB7E969E0D8 Time : 0.0 sec. user=mdettweiler [2015-11-02 02:50:27] 619*2^1413817-1 is not prime. Res64: 2E1A41B231CB5ACF Time : 0.0 sec. user=mdettweiler [2015-11-02 03:05:50] 847*2^1413817-1 is not prime. Res64: E1D213E12D090C61 Time : 0.0 sec. user=mdettweiler [2015-11-02 03:05:52] 641*2^1413818-1 is not prime. Res64: 4F9657776EFE9C00 Time : 0.0 sec. user=mdettweiler [2015-11-02 03:07:54] 845*2^1413818-1 is not prime. Res64: 1F349185CCFA15EF Time : 0.0 sec. user=mdettweiler [2015-11-02 03:07:54] 885*2^1413818-1 is not prime. Res64: EAD369036902F2E2 Time : 0.0 sec. user=mdettweiler [2015-11-02 03:07:56] 713*2^1413818-1 is not prime. Res64: FBBEC0127E436FCD Time : 0.0 sec. user=mdettweiler [2015-11-02 03:07:56] 843*2^1413818-1 is not prime. Res64: 5B932911916C523D Time : 0.0 sec. user=mdettweiler [2015-11-02 03:23:34] 941*2^1413818-1 is not prime. Res64: B0EE6D97E7F71EE1 Time : 0.0 sec. user=mdettweiler [2015-11-02 03:23:35] 993*2^1413818-1 is not prime. Res64: 3AEA1BAE733FC78D Time : 0.0 sec. user=mdettweiler [2015-11-02 03:25:21] 601*2^1413819-1 is not prime. Res64: A92EE833F1D8F8B9 Time : 0.0 sec. user=mdettweiler [2015-11-02 03:25:22] 649*2^1413819-1 is not prime. Res64: EC4515BB1D3295D2 Time : 0.0 sec. user=mdettweiler [2015-11-02 03:25:25] 663*2^1413819-1 is not prime. Res64: C95650DB1DBC7FD8 Time : 0.0 sec. user=mdettweiler [2015-11-02 03:25:26] 723*2^1413819-1 is not prime. Res64: 791C97252CED943F Time : 0.0 sec. user=mdettweiler [2015-11-02 03:41:02] 793*2^1413819-1 is not prime. Res64: 21FC33A39893FE4B Time : 0.0 sec. user=mdettweiler [2015-11-02 03:41:03] 861*2^1413819-1 is not prime. Res64: 1B318531730F6E3E Time : 0.0 sec. user=mdettweiler [2015-11-02 03:42:53] 903*2^1413819-1 is not prime. Res64: 6372A28CAE9C5792 Time : 0.0 sec. user=mdettweiler [2015-11-02 03:42:54] 961*2^1413819-1 is not prime. Res64: 6B21B908AEA0C28B Time : 0.0 sec. user=mdettweiler [2015-11-02 03:42:54] 603*2^1413820-1 is not prime. Res64: 371708D73A5CEED4 Time : 0.0 sec. user=mdettweiler [2015-11-02 03:42:55] 647*2^1413820-1 is not prime. Res64: 7D45A975BF5CB793 Time : 0.0 sec. user=mdettweiler [2015-11-02 03:58:44] 687*2^1413820-1 is not prime. Res64: A1897D435EEE405C Time : 0.0 sec. user=mdettweiler [2015-11-02 03:58:44] 777*2^1413820-1 is not prime. Res64: C089525E1C87F0FA Time : 0.0 sec. user=mdettweiler [2015-11-02 04:00:22] 803*2^1413820-1 is not prime. Res64: A0E9527E38EA538E Time : 0.0 sec. user=mdettweiler [2015-11-02 04:00:23] 843*2^1413820-1 is not prime. Res64: 61CD785160A6EE62 Time : 0.0 sec. user=mdettweiler [2015-11-02 04:00:24] 923*2^1413820-1 is not prime. Res64: 1D8A7A2FF43E745C Time : 0.0 sec. user=mdettweiler [2015-11-02 04:00:25] 965*2^1413820-1 is not prime. Res64: 07A36A61A27DDCD3 Time : 0.0 sec. user=mdettweiler [2015-11-02 04:16:15] 983*2^1413820-1 is not prime. Res64: DAE26EE57BBC4F5F Time : 0.0 sec. user=mdettweiler [2015-11-02 04:16:15] 987*2^1413820-1 is not prime. Res64: F1FD837A66B30E56 Time : 0.0 sec. user=mdettweiler [2015-11-02 04:17:51] 621*2^1413821-1 is not prime. Res64: 03D97D1BAC235106 Time : 0.0 sec. user=mdettweiler [2015-11-02 04:17:52] 631*2^1413821-1 is not prime. Res64: 597A731E64C5A64D Time : 0.0 sec. user=mdettweiler [2015-11-02 04:17:52] 657*2^1413821-1 is not prime. Res64: 0CADF46E4E07BA69 Time : 0.0 sec. user=mdettweiler [2015-11-02 04:17:53] 697*2^1413821-1 is not prime. Res64: 0258E43928DD4057 Time : 0.0 sec. user=mdettweiler [2015-11-02 04:33:41] 769*2^1413821-1 is not prime. Res64: 3FBF15030E081DED Time : 0.0 sec. user=mdettweiler [2015-11-02 04:33:41] 889*2^1413821-1 is not prime. Res64: 10941BF141903CE5 Time : 0.0 sec. user=mdettweiler [2015-11-02 04:35:17] 937*2^1413821-1 is not prime. Res64: 40943F8E3FB1A113 Time : 0.0 sec. user=mdettweiler [2015-11-02 04:35:17] 671*2^1413822-1 is not prime. Res64: 9865131F6C16F75B Time : 0.0 sec. user=mdettweiler [2015-11-02 04:35:18] 677*2^1413822-1 is not prime. Res64: 6A38E1B75867F8E6 Time : 0.0 sec. user=mdettweiler [2015-11-02 04:35:19] 747*2^1413822-1 is not prime. Res64: 1F16BD5FDB62BB18 Time : 0.0 sec. user=mdettweiler [2015-11-02 04:51:12] 797*2^1413822-1 is not prime. Res64: 79C1239D33D44457 Time : 0.0 sec. user=mdettweiler [2015-11-02 04:51:12] 891*2^1413822-1 is not prime. Res64: 10D646843EE441DF Time : 0.0 sec. user=mdettweiler [2015-11-02 04:52:44] 679*2^1413823-1 is not prime. Res64: AF2BB17FE1709E57 Time : 0.0 sec. user=mdettweiler [2015-11-02 04:52:44] 741*2^1413823-1 is not prime. Res64: 370E8E6A4316F265 Time : 0.0 sec. user=mdettweiler [2015-11-02 04:52:44] 805*2^1413823-1 is not prime. Res64: 49BC754FB3EC6867 Time : 0.0 sec. user=mdettweiler [2015-11-02 04:52:45] 861*2^1413823-1 is not prime. Res64: FB54E0B6CC857366 Time : 0.0 sec. user=mdettweiler [2015-11-02 05:08:39] 895*2^1413823-1 is not prime. Res64: 7A450F2586EC7D95 Time : 0.0 sec. user=mdettweiler [2015-11-02 05:08:39] 683*2^1413824-1 is not prime. Res64: 7BB1A05C6346DC79 Time : 0.0 sec. user=mdettweiler [2015-11-02 05:10:12] 785*2^1413824-1 is not prime. Res64: 5565DED851484E1B Time : 0.0 sec. user=mdettweiler [2015-11-02 05:10:12] 825*2^1413824-1 is not prime. Res64: ACD7166EC8D85024 Time : 0.0 sec. user=mdettweiler [2015-11-02 05:10:15] 873*2^1413824-1 is not prime. Res64: F2FD06F57DDC59E6 Time : 0.0 sec. user=mdettweiler [2015-11-02 05:10:15] 899*2^1413824-1 is not prime. Res64: 9C07DAA873CC7F73 Time : 0.0 sec. user=mdettweiler [2015-11-02 05:26:07] 927*2^1413824-1 is not prime. Res64: DC12FC5EE203C0AD Time : 0.0 sec. user=mdettweiler [2015-11-02 05:26:08] 983*2^1413824-1 is not prime. Res64: 4C1512E7C758B1F4 Time : 0.0 sec. user=mdettweiler [2015-11-02 05:27:39] 657*2^1413825-1 is not prime. Res64: C4FDB01CE9134A6B Time : 0.0 sec. user=mdettweiler [2015-11-02 05:27:40] 709*2^1413825-1 is not prime. Res64: 2B2E56CCF125EAA3 Time : 0.0 sec. user=mdettweiler [2015-11-02 05:27:42] 777*2^1413825-1 is not prime. Res64: 4CEADD7CEAB2E61F Time : 0.0 sec. user=mdettweiler [2015-11-02 05:27:42] 889*2^1413825-1 is not prime. Res64: B416F6A20FF827A5 Time : 0.0 sec. user=mdettweiler [2015-11-02 05:43:33] 677*2^1413826-1 is not prime. Res64: 8E776BEDD263CD38 Time : 0.0 sec. user=mdettweiler [2015-11-02 05:43:34] 705*2^1413826-1 is not prime. Res64: B0B0891B8C0E1C23 Time : 0.0 sec. user=mdettweiler [2015-11-02 05:45:05] 723*2^1413826-1 is not prime. Res64: 936A1BAB4B44AD92 Time : 0.0 sec. user=mdettweiler [2015-11-02 05:45:06] 755*2^1413826-1 is not prime. Res64: BB3306039897EF43 Time : 0.0 sec. user=mdettweiler [2015-11-02 05:45:08] 773*2^1413826-1 is not prime. Res64: 836E37CDFC92D65D Time : 0.0 sec. user=mdettweiler [2015-11-02 05:45:08] 785*2^1413826-1 is not prime. Res64: E10E71D82C4DD938 Time : 0.0 sec. user=mdettweiler [2015-11-02 06:01:01] 975*2^1413826-1 is not prime. Res64: BB2BCB2D6A200066 Time : 0.0 sec. user=mdettweiler [2015-11-02 06:01:02] 993*2^1413826-1 is not prime. Res64: 7348CE137D27CAB4 Time : 0.0 sec. user=mdettweiler [2015-11-02 06:02:34] 601*2^1413827-1 is not prime. Res64: 2486EC40FDA4DDE0 Time : 0.0 sec. user=mdettweiler [2015-11-02 06:02:35] 603*2^1413827-1 is not prime. Res64: 6693C2ADF44B91E0 Time : 0.0 sec. user=mdettweiler [2015-11-02 06:02:36] 649*2^1413827-1 is not prime. Res64: 6725B492926F474B Time : 0.0 sec. user=mdettweiler [2015-11-02 06:02:37] 741*2^1413827-1 is not prime. Res64: 77E11A12CB7DD121 Time : 0.0 sec. user=mdettweiler [2015-11-02 06:18:35] 775*2^1413827-1 is not prime. Res64: ECBC2296903FAAD7 Time : 0.0 sec. user=mdettweiler [2015-11-02 06:18:36] 885*2^1413827-1 is not prime. Res64: 448B7885265C2102 Time : 0.0 sec. user=mdettweiler [2015-11-02 06:20:04] 689*2^1413828-1 is not prime. Res64: BFAB275D9828C958 Time : 0.0 sec. user=mdettweiler [2015-11-02 06:20:04] 955*2^1413827-1 is not prime. Res64: F5CBA004F176A3DD Time : 0.0 sec. user=mdettweiler [2015-11-02 06:20:05] 699*2^1413828-1 is not prime. Res64: 95FD070EAB660F18 Time : 0.0 sec. user=mdettweiler [2015-11-02 06:20:05] 669*2^1413828-1 is not prime. Res64: 1B0748F75C41CA53 Time : 0.0 sec. user=mdettweiler [2015-11-02 06:36:04] 725*2^1413828-1 is not prime. Res64: 22E5BEE908FD359E Time : 0.0 sec. user=mdettweiler [2015-11-02 06:36:04] 795*2^1413828-1 is not prime. Res64: 1DAD982C50981B36 Time : 0.0 sec. user=mdettweiler [2015-11-02 06:37:33] 867*2^1413828-1 is not prime. Res64: 0080BAC6D2193669 Time : 0.0 sec. user=mdettweiler [2015-11-02 06:37:34] 957*2^1413828-1 is not prime. Res64: 8713560308BD8F1F Time : 0.0 sec. user=mdettweiler [2015-11-02 06:37:34] 825*2^1413828-1 is not prime. Res64: A047D3A15B61E50C Time : 0.0 sec. user=mdettweiler [2015-11-02 06:37:35] 839*2^1413828-1 is not prime. Res64: 25453B2BB4AA2BE7 Time : 0.0 sec. user=mdettweiler [2015-11-02 06:53:32] 987*2^1413828-1 is not prime. Res64: 7F1166C85883BFDE Time : 0.0 sec. user=mdettweiler [2015-11-02 06:53:32] 687*2^1413829-1 is not prime. Res64: C45C1C5CB1D01BDC Time : 0.0 sec. user=mdettweiler [2015-11-02 06:55:00] 831*2^1413829-1 is not prime. Res64: 2D883A87ECFB15CA Time : 0.0 sec. user=mdettweiler [2015-11-02 06:55:00] 867*2^1413829-1 is not prime. Res64: 188F4A3CF3767613 Time : 0.0 sec. user=mdettweiler [2015-11-02 06:55:00] 975*2^1413829-1 is not prime. Res64: 9587D7E8D70CC5B3 Time : 0.0 sec. user=mdettweiler [2015-11-02 06:55:01] 999*2^1413829-1 is not prime. Res64: 9CBC7C0E971A14BB Time : 0.0 sec. user=mdettweiler [2015-11-02 07:10:59] 675*2^1413830-1 is not prime. Res64: 23FECF0F201FF5C6 Time : 0.0 sec. user=mdettweiler [2015-11-02 07:10:59] 677*2^1413830-1 is not prime. Res64: 06A844239945C563 Time : 0.0 sec. user=mdettweiler [2015-11-02 07:12:26] 717*2^1413830-1 is not prime. Res64: 4116D6BC6851855B Time : 0.0 sec. user=mdettweiler [2015-11-02 07:12:26] 977*2^1413830-1 is not prime. Res64: 89AFAB75B60663A5 Time : 0.0 sec. user=mdettweiler [2015-11-02 07:12:27] 773*2^1413830-1 is not prime. Res64: 47C035D64D3E8709 Time : 0.0 sec. user=mdettweiler [2015-11-02 07:12:27] 981*2^1413830-1 is not prime. Res64: 5E256C6594F8E1FB Time : 0.0 sec. user=mdettweiler [2015-11-02 07:28:29] 705*2^1413831-1 is not prime. Res64: DE05BF24723037BA Time : 0.0 sec. user=mdettweiler [2015-11-02 07:28:30] 735*2^1413831-1 is not prime. Res64: D055AC15A4E399E3 Time : 0.0 sec. user=mdettweiler [2015-11-02 07:29:54] 885*2^1413831-1 is not prime. Res64: BFB5BB33D25E4CCB Time : 0.0 sec. user=mdettweiler [2015-11-02 07:29:54] 825*2^1413832-1 is not prime. Res64: 5163B4EF148C02DF Time : 0.0 sec. user=mdettweiler [2015-11-02 07:29:56] 863*2^1413832-1 is not prime. Res64: 7C26FF1519A485D5 Time : 0.0 sec. user=mdettweiler [2015-11-02 07:29:57] 915*2^1413832-1 is not prime. Res64: C96A25606C2D3678 Time : 0.0 sec. user=mdettweiler [2015-11-02 07:45:57] 675*2^1413833-1 is not prime. Res64: 147BC8B9DE87BE44 Time : 0.0 sec. user=mdettweiler [2015-11-02 07:45:57] 741*2^1413833-1 is not prime. Res64: 3211F261922F2543 Time : 0.0 sec. user=mdettweiler [2015-11-02 07:47:20] 775*2^1413833-1 is not prime. Res64: EFF367ABFDEAD90A Time : 0.0 sec. user=mdettweiler [2015-11-02 07:47:21] 787*2^1413833-1 is not prime. Res64: FCC327C651E4BA7A Time : 0.0 sec. user=mdettweiler [2015-11-02 07:47:24] 897*2^1413833-1 is not prime. Res64: DAF864227A17AF90 Time : 0.0 sec. user=mdettweiler [2015-11-02 07:47:24] 939*2^1413833-1 is not prime. Res64: 4F5500F866455D51 Time : 0.0 sec. user=mdettweiler [2015-11-02 08:03:27] 945*2^1413833-1 is not prime. Res64: ED40E5F9A6249966 Time : 0.0 sec. user=mdettweiler [2015-11-02 08:03:28] 949*2^1413833-1 is not prime. Res64: 5F9C8C0872D5CE7B Time : 0.0 sec. user=mdettweiler [2015-11-02 08:04:48] 671*2^1413834-1 is not prime. Res64: 072FB8377DABC94D Time : 0.0 sec. user=mdettweiler [2015-11-02 08:04:49] 767*2^1413834-1 is not prime. Res64: E83D875D1F622F06 Time : 0.0 sec. user=mdettweiler [2015-11-02 08:04:51] 803*2^1413834-1 is not prime. Res64: 11B8C6777C43AC90 Time : 0.0 sec. user=mdettweiler [2015-11-02 08:04:52] 807*2^1413834-1 is not prime. Res64: 01620C09CB95E3D7 Time : 0.0 sec. user=mdettweiler [2015-11-02 08:21:11] 903*2^1413834-1 is not prime. Res64: 782261F25C6EBDFE Time : 0.0 sec. user=mdettweiler [2015-11-02 08:21:11] 927*2^1413834-1 is not prime. Res64: 2BC40C86F94B23FB Time : 0.0 sec. user=mdettweiler [2015-11-02 08:22:20] 673*2^1413835-1 is not prime. Res64: ADE7076B64406585 Time : 0.0 sec. user=mdettweiler [2015-11-02 08:22:20] 751*2^1413835-1 is not prime. Res64: E2C486B18F8CB217 Time : 0.0 sec. user=mdettweiler [2015-11-02 08:22:22] 819*2^1413835-1 is not prime. Res64: 1501AC5885AF18CD Time : 0.0 sec. user=mdettweiler [2015-11-02 08:22:22] 849*2^1413835-1 is not prime. Res64: BE88E8F57EBC3843 Time : 0.0 sec. user=mdettweiler [2015-11-02 08:38:39] 883*2^1413835-1 is not prime. Res64: B4AE010EB49C9B75 Time : 0.0 sec. user=mdettweiler [2015-11-02 08:38:40] 943*2^1413835-1 is not prime. Res64: 8F5DF998193C7C05 Time : 0.0 sec. user=mdettweiler [2015-11-02 08:39:48] 969*2^1413835-1 is not prime. Res64: FBAB63E16EADF2FD Time : 0.0 sec. user=mdettweiler [2015-11-02 08:39:49] 873*2^1413836-1 is not prime. Res64: 16E224311ACCD09A Time : 0.0 sec. user=mdettweiler [2015-11-02 08:39:50] 875*2^1413836-1 is not prime. Res64: 8F3E04F46014886B Time : 0.0 sec. user=mdettweiler [2015-11-02 08:39:51] 893*2^1413836-1 is not prime. Res64: 961BDF46D7C4EA62 Time : 0.0 sec. user=mdettweiler [2015-11-02 08:56:06] 927*2^1413836-1 is not prime. Res64: 5A6E511865663A34 Time : 0.0 sec. user=mdettweiler [2015-11-02 08:56:06] 969*2^1413836-1 is not prime. Res64: A1A8513D64CAC4F4 Time : 0.0 sec. user=mdettweiler [2015-11-02 08:57:15] 711*2^1413837-1 is not prime. Res64: 3290AE93D41621CF Time : 0.0 sec. user=mdettweiler [2015-11-02 08:57:15] 751*2^1413837-1 is not prime. Res64: 263BD84CB9FB19AE Time : 0.0 sec. user=mdettweiler [2015-11-02 08:57:16] 769*2^1413837-1 is not prime. Res64: 6B1356F0BE3DA689 Time : 0.0 sec. user=mdettweiler [2015-11-02 08:57:17] 859*2^1413837-1 is not prime. Res64: 6F10F45550E545D2 Time : 0.0 sec. user=mdettweiler [2015-11-02 09:13:33] 915*2^1413837-1 is not prime. Res64: D8DB7EC140E0B7C9 Time : 0.0 sec. user=mdettweiler [2015-11-02 09:13:34] 937*2^1413837-1 is not prime. Res64: A0D29BDBFEE40FA7 Time : 0.0 sec. user=mdettweiler [2015-11-02 09:14:42] 713*2^1413838-1 is not prime. Res64: FD1C628BA3789146 Time : 0.0 sec. user=mdettweiler [2015-11-02 09:14:42] 975*2^1413838-1 is not prime. Res64: 318964AF2FEEA303 Time : 0.0 sec. user=mdettweiler [2015-11-02 09:14:43] 981*2^1413838-1 is not prime. Res64: 6036AFE1DD338CA3 Time : 0.0 sec. user=mdettweiler [2015-11-02 09:14:44] 745*2^1413839-1 is not prime. Res64: 8CE82AE12BB6A04C Time : 0.0 sec. user=mdettweiler [2015-11-02 09:31:01] 913*2^1413839-1 is not prime. Res64: 0A29EAD4CD2E8A21 Time : 0.0 sec. user=mdettweiler [2015-11-02 09:31:02] 985*2^1413839-1 is not prime. Res64: 63983EAC71C38837 Time : 0.0 sec. user=mdettweiler [2015-11-02 09:32:09] 999*2^1413839-1 is not prime. Res64: 571E277F815D34FB Time : 0.0 sec. user=mdettweiler [2015-11-02 09:32:09] 765*2^1413840-1 is not prime. Res64: FA14F50BC3270759 Time : 0.0 sec. user=mdettweiler [2015-11-02 09:32:10] 849*2^1413840-1 is not prime. Res64: A40D186F3057CF5D Time : 0.0 sec. user=mdettweiler [2015-11-02 09:32:11] 875*2^1413840-1 is not prime. Res64: A40A556FB1DC4615 Time : 0.0 sec. user=mdettweiler [2015-11-02 09:48:28] 619*2^1413841-1 is not prime. Res64: 7A0B2698F46E2678 Time : 0.0 sec. user=mdettweiler [2015-11-02 09:48:28] 649*2^1413841-1 is not prime. Res64: 31930E892A300F9C Time : 0.0 sec. user=mdettweiler [2015-11-02 09:49:34] 687*2^1413841-1 is not prime. Res64: 1F959D24E208C5F6 Time : 0.0 sec. user=mdettweiler [2015-11-02 09:49:35] 817*2^1413841-1 is not prime. Res64: 34F29B0300807188 Time : 0.0 sec. user=mdettweiler [2015-11-02 09:49:36] 895*2^1413841-1 is not prime. Res64: 986EE05F224AF51C Time : 0.0 sec. user=mdettweiler [2015-11-02 09:49:36] 931*2^1413841-1 is not prime. Res64: 94552380FB1FED0D Time : 0.0 sec. user=mdettweiler [2015-11-02 10:05:56] 939*2^1413841-1 is not prime. Res64: A880EA576045532C Time : 0.0 sec. user=mdettweiler [2015-11-02 10:05:56] 975*2^1413841-1 is not prime. Res64: 11FB609F45E9EB8C Time : 0.0 sec. user=mdettweiler [2015-11-02 10:07:03] 671*2^1413842-1 is not prime. Res64: 56150E747E1AB185 Time : 0.0 sec. user=mdettweiler [2015-11-02 10:07:03] 677*2^1413842-1 is not prime. Res64: 0E19DE72CDD9264E Time : 0.0 sec. user=mdettweiler [2015-11-02 10:07:05] 731*2^1413842-1 is not prime. Res64: 90BC99E2F4E90DFE Time : 0.0 sec. user=mdettweiler [2015-11-02 10:07:05] 753*2^1413842-1 is not prime. Res64: EDB9DCBBE19F3B19 Time : 0.0 sec. user=mdettweiler [2015-11-02 10:23:24] 987*2^1413842-1 is not prime. Res64: 0CAB2E95F7A45368 Time : 0.0 sec. user=mdettweiler [2015-11-02 10:23:24] 639*2^1413843-1 is not prime. Res64: ABDD4E2E06001AB9 Time : 0.0 sec. user=mdettweiler [2015-11-02 10:24:34] 745*2^1413843-1 is not prime. Res64: 4620391CD6E97E6F Time : 0.0 sec. user=mdettweiler [2015-11-02 10:24:34] 823*2^1413843-1 is not prime. Res64: 87EC471E2141B511 Time : 0.0 sec. user=mdettweiler [2015-11-02 10:24:37] 691*2^1413843-1 is not prime. Res64: EF7E3A853FA5D9B9 Time : 0.0 sec. user=mdettweiler [2015-11-02 10:24:37] 705*2^1413843-1 is not prime. Res64: 5F0F71EB962405FC Time : 0.0 sec. user=mdettweiler [2015-11-02 10:40:54] 913*2^1413843-1 is not prime. Res64: FFD565F7B0602A72 Time : 0.0 sec. user=mdettweiler [2015-11-02 10:40:54] 919*2^1413843-1 is not prime. Res64: 3002C36F02AB292A Time : 0.0 sec. user=mdettweiler [2015-11-02 10:42:03] 629*2^1413844-1 is not prime. Res64: 59191DD3AD6C74B7 Time : 0.0 sec. user=mdettweiler [2015-11-02 10:42:03] 717*2^1413844-1 is not prime. Res64: 0086A7EFF3E575C4 Time : 0.0 sec. user=mdettweiler [2015-11-02 10:42:04] 813*2^1413844-1 is not prime. Res64: 2CB49135A5BB1D8C Time : 0.0 sec. user=mdettweiler [2015-11-02 10:42:05] 843*2^1413844-1 is not prime. Res64: 0D51E5AB79C3A303 Time : 0.0 sec. user=mdettweiler [2015-11-02 10:58:22] 885*2^1413844-1 is not prime. Res64: 6640D4739E82FB44 Time : 0.0 sec. user=mdettweiler [2015-11-02 10:58:22] 899*2^1413844-1 is not prime. Res64: 5EC79A45254520A1 Time : 0.0 sec. user=mdettweiler [2015-11-02 10:59:30] 903*2^1413844-1 is not prime. Res64: BFF2CF76F5FCFE75 Time : 0.0 sec. user=mdettweiler [2015-11-02 10:59:30] 905*2^1413844-1 is not prime. Res64: E4F6C4B374904683 Time : 0.0 sec. user=mdettweiler [2015-11-02 10:59:31] 929*2^1413844-1 is not prime. Res64: 6BDEFF3B47F50686 Time : 0.0 sec. user=mdettweiler [2015-11-02 10:59:31] 655*2^1413845-1 is not prime. Res64: 0E3DB6C47B565E56 Time : 0.0 sec. user=mdettweiler [2015-11-02 11:15:51] 801*2^1413845-1 is not prime. Res64: 330C7EB9568DC34A Time : 0.0 sec. user=mdettweiler [2015-11-02 11:15:52] 825*2^1413845-1 is not prime. Res64: F9706A4C50A5F06C Time : 0.0 sec. user=mdettweiler [2015-11-02 11:17:00] 831*2^1413845-1 is not prime. Res64: 6CE7793443904013 Time : 0.0 sec. user=mdettweiler [2015-11-02 11:17:00] 847*2^1413845-1 is not prime. Res64: A6E97DB879F8A2EC Time : 0.0 sec. user=mdettweiler [2015-11-02 11:17:01] 907*2^1413845-1 is not prime. Res64: 2EAAB903CC0502AD Time : 0.0 sec. user=mdettweiler [2015-11-02 11:17:02] 627*2^1413846-1 is not prime. Res64: 9BDDB6830485CA22 Time : 0.0 sec. user=mdettweiler [2015-11-02 11:33:29] 737*2^1413846-1 is not prime. Res64: CEA6D3075C34D5BF Time : 0.0 sec. user=mdettweiler [2015-11-02 11:33:29] 755*2^1413846-1 is not prime. Res64: 30ED80D93CCDCB06 Time : 0.0 sec. user=mdettweiler [2015-11-02 11:34:34] 867*2^1413846-1 is not prime. Res64: DC677D48B6D0E72B Time : 0.0 sec. user=mdettweiler [2015-11-02 11:34:34] 957*2^1413846-1 is not prime. Res64: EA8CAF987FE158DB Time : 0.0 sec. user=mdettweiler [2015-11-02 11:34:35] 975*2^1413846-1 is not prime. Res64: 2E6F6851A9B8CA85 Time : 0.0 sec. user=mdettweiler [2015-11-02 11:34:35] 651*2^1413847-1 is not prime. Res64: 776905E96E2EDCE3 Time : 0.0 sec. user=mdettweiler [2015-11-02 11:51:00] 693*2^1413847-1 is not prime. Res64: 6FA8DA61310F3788 Time : 0.0 sec. user=mdettweiler [2015-11-02 11:51:01] 705*2^1413847-1 is not prime. Res64: 66F07183EC217D3A Time : 0.0 sec. user=mdettweiler [2015-11-02 11:52:07] 741*2^1413847-1 is not prime. Res64: E5316723EE40BCD8 Time : 0.0 sec. user=mdettweiler [2015-11-02 11:52:07] 931*2^1413847-1 is not prime. Res64: BA19C8316B79154D Time : 0.0 sec. user=mdettweiler [2015-11-02 11:52:08] 993*2^1413847-1 is not prime. Res64: 533929B9A4312337 Time : 0.0 sec. user=mdettweiler [2015-11-02 11:52:09] 635*2^1413848-1 is not prime. Res64: A37683B3D5DC7DEC Time : 0.0 sec. user=mdettweiler [2015-11-02 12:08:35] 767*2^1413848-1 is not prime. Res64: B89F5A9E95CBEA09 Time : 0.0 sec. user=mdettweiler [2015-11-02 12:08:35] 789*2^1413848-1 is not prime. Res64: F823220435B2C26C Time : 0.0 sec. user=mdettweiler [2015-11-02 12:09:40] 795*2^1413848-1 is not prime. Res64: 311E2B85F0B266BC Time : 0.0 sec. user=mdettweiler [2015-11-02 12:09:40] 875*2^1413848-1 is not prime. Res64: 2C8D1B83FECB687D Time : 0.0 sec. user=mdettweiler [2015-11-02 12:09:42] 945*2^1413848-1 is not prime. Res64: 127A5A8F64CB5C63 Time : 0.0 sec. user=mdettweiler [2015-11-02 12:09:42] 669*2^1413849-1 is not prime. Res64: D28C71D6B5AD0A6B Time : 0.0 sec. user=mdettweiler [2015-11-02 12:26:02] 787*2^1413849-1 is not prime. Res64: 6B4B9DFE387FE57F Time : 0.0 sec. user=mdettweiler [2015-11-02 12:26:03] 811*2^1413849-1 is not prime. Res64: 6C2A78BC03E3ACCE Time : 0.0 sec. user=mdettweiler [2015-11-02 12:27:06] 949*2^1413849-1 is not prime. Res64: 547BB33958493F26 Time : 0.0 sec. user=mdettweiler [2015-11-02 12:27:06] 979*2^1413849-1 is not prime. Res64: 29B1D00C0C4ECF01 Time : 0.0 sec. user=mdettweiler [2015-11-02 12:27:08] 843*2^1413850-1 is not prime. Res64: FCCA5499F4D1E34A Time : 0.0 sec. user=mdettweiler [2015-11-02 12:27:08] 867*2^1413850-1 is not prime. Res64: C0851DF38E821596 Time : 0.0 sec. user=mdettweiler [2015-11-02 12:43:31] 891*2^1413850-1 is not prime. Res64: 630A51C80E7DBEEA Time : 0.0 sec. user=mdettweiler [2015-11-02 12:43:32] 905*2^1413850-1 is not prime. Res64: 5BC3789B8E9B1C15 Time : 0.0 sec. user=mdettweiler [2015-11-02 12:44:35] 619*2^1413851-1 is not prime. Res64: F55F0EA4CF64139F Time : 0.0 sec. user=mdettweiler [2015-11-02 12:44:35] 735*2^1413851-1 is not prime. Res64: 0BE09289A23BA867 Time : 0.0 sec. user=mdettweiler [2015-11-02 12:44:35] 733*2^1413851-1 is not prime. Res64: AAEBAA2154F18B9A Time : 0.0 sec. user=mdettweiler [2015-11-02 12:44:35] 753*2^1413851-1 is not prime. Res64: A134129A846D4F55 Time : 0.0 sec. user=mdettweiler [2015-11-02 13:01:03] 789*2^1413851-1 is not prime. Res64: E092D74A09996458 Time : 0.0 sec. user=mdettweiler [2015-11-02 13:01:03] 805*2^1413851-1 is not prime. Res64: 8EC556DFE9F97C46 Time : 0.0 sec. user=mdettweiler [2015-11-02 13:02:03] 689*2^1413852-1 is not prime. Res64: 65373D14FB99A04E Time : 0.0 sec. user=mdettweiler [2015-11-02 13:02:04] 723*2^1413852-1 is not prime. Res64: B032B04F9639AB4F Time : 0.0 sec. user=mdettweiler [2015-11-02 13:02:06] 843*2^1413851-1 is not prime. Res64: 8B93DB6A8EC8E297 Time : 0.0 sec. user=mdettweiler [2015-11-02 13:02:07] 883*2^1413851-1 is not prime. Res64: FDC4D9DEFAC7A405 Time : 0.0 sec. user=mdettweiler [2015-11-02 13:18:37] 725*2^1413852-1 is not prime. Res64: C3D32AD3D90EDABD Time : 0.0 sec. user=mdettweiler [2015-11-02 13:18:38] 779*2^1413852-1 is not prime. Res64: 57CF17C726C92F25 Time : 0.0 sec. user=mdettweiler [2015-11-02 13:19:32] 819*2^1413852-1 is not prime. Res64: 0152DFF767F09BAE Time : 0.0 sec. user=mdettweiler [2015-11-02 13:19:33] 825*2^1413852-1 is not prime. Res64: 28BFF2E6D357E064 Time : 0.0 sec. user=mdettweiler [2015-11-02 13:19:35] 903*2^1413852-1 is not prime. Res64: 1E8838914357A3D5 Time : 0.0 sec. user=mdettweiler [2015-11-02 13:19:35] 983*2^1413852-1 is not prime. Res64: 5F23A50A9199088E Time : 0.0 sec. user=mdettweiler [2015-11-02 13:36:08] 715*2^1413853-1 is not prime. Res64: 1016E5DCDE41CCC8 Time : 0.0 sec. user=mdettweiler [2015-11-02 13:36:08] 747*2^1413853-1 is not prime. Res64: BF8AA1B37329BC7E Time : 0.0 sec. user=mdettweiler [2015-11-02 13:36:59] 751*2^1413853-1 is not prime. Res64: AB3F1AB362B49F57 Time : 0.0 sec. user=mdettweiler [2015-11-02 13:37:00] 819*2^1413853-1 is not prime. Res64: F262A16296A98AE1 Time : 0.0 sec. user=mdettweiler [2015-11-02 13:37:05] 835*2^1413853-1 is not prime. Res64: 20E6812B61171E13 Time : 0.0 sec. user=mdettweiler [2015-11-02 13:37:06] 877*2^1413853-1 is not prime. Res64: AC42021E587C8D66 Time : 0.0 sec. user=mdettweiler [2015-11-02 13:53:36] 915*2^1413853-1 is not prime. Res64: AB4FD53B76D06FFF Time : 0.0 sec. user=mdettweiler [2015-11-02 13:53:36] 957*2^1413853-1 is not prime. Res64: AC741BFDBEA992D0 Time : 0.0 sec. user=mdettweiler [2015-11-02 13:54:27] 785*2^1413854-1 is not prime. Res64: 87D018BBB065944C Time : 0.0 sec. user=mdettweiler [2015-11-02 13:54:27] 827*2^1413854-1 is not prime. Res64: B74F55954DF6CACB Time : 0.0 sec. user=mdettweiler [2015-11-02 13:54:32] 885*2^1413854-1 is not prime. Res64: 1A70FDBDEEF20F85 Time : 0.0 sec. user=mdettweiler [2015-11-02 13:54:33] 625*2^1413855-1 is not prime. Res64: CDF6653C835EB09B Time : 0.0 sec. user=mdettweiler [2015-11-02 14:11:04] 643*2^1413855-1 is not prime. Res64: 57AB32A41CE65813 Time : 0.0 sec. user=mdettweiler [2015-11-02 14:11:04] 649*2^1413855-1 is not prime. Res64: D79A352BA3EEC916 Time : 0.0 sec. user=mdettweiler [2015-11-02 14:11:54] 775*2^1413855-1 is not prime. Res64: 55E0201720B5EB8F Time : 0.0 sec. user=mdettweiler [2015-11-02 14:11:55] 979*2^1413855-1 is not prime. Res64: A9A777C72F161325 Time : 0.0 sec. user=mdettweiler [2015-11-02 14:12:01] 615*2^1413856-1 is not prime. Res64: 6B4FA11D5E0F6FA1 Time : 0.0 sec. user=mdettweiler [2015-11-02 14:12:02] 743*2^1413856-1 is not prime. Res64: 1A281ADA20438987 Time : 0.0 sec. user=mdettweiler [2015-11-02 14:28:35] 651*2^1413857-1 is not prime. Res64: 263F24039713C799 Time : 0.0 sec. user=mdettweiler [2015-11-02 14:28:35] 697*2^1413857-1 is not prime. Res64: CEE293ED7D687501 Time : 0.0 sec. user=mdettweiler [2015-11-02 14:29:26] 771*2^1413857-1 is not prime. Res64: 913FEB865171E89E Time : 0.0 sec. user=mdettweiler [2015-11-02 14:29:27] 847*2^1413857-1 is not prime. Res64: 7B7D61755D3B7C22 Time : 0.0 sec. user=mdettweiler [2015-11-02 14:29:31] 957*2^1413857-1 is not prime. Res64: 42A77F1C03531AD0 Time : 0.0 sec. user=mdettweiler [2015-11-02 14:29:31] 967*2^1413857-1 is not prime. Res64: 13B001C3E54B9D9F Time : 0.0 sec. user=mdettweiler [2015-11-02 14:46:03] 647*2^1413858-1 is not prime. Res64: 2BD634800D1CC35A Time : 0.0 sec. user=mdettweiler [2015-11-02 14:46:03] 705*2^1413858-1 is not prime. Res64: CD87E314A0DBFBD8 Time : 0.0 sec. user=mdettweiler [2015-11-02 14:46:53] 615*2^1413859-1 is not prime. Res64: CFAF9248D4C07F0C Time : 0.0 sec. user=mdettweiler [2015-11-02 14:46:54] 649*2^1413859-1 is not prime. Res64: BB02D4F707E194A5 Time : 0.0 sec. user=mdettweiler [2015-11-02 14:46:58] 685*2^1413859-1 is not prime. Res64: BC71C9F2A5E648E1 Time : 0.0 sec. user=mdettweiler [2015-11-02 14:46:58] 859*2^1413859-1 is not prime. Res64: 28A9929D3103C4A8 Time : 0.0 sec. user=mdettweiler [2015-11-02 15:03:32] 975*2^1413859-1 is not prime. Res64: 81CDC23A6E1BDA73 Time : 0.0 sec. user=mdettweiler [2015-11-02 15:03:33] 633*2^1413860-1 is not prime. Res64: 6B2DCDE060F6E715 Time : 0.0 sec. user=mdettweiler [2015-11-02 15:04:21] 635*2^1413860-1 is not prime. Res64: 9240C513CE525FB8 Time : 0.0 sec. user=mdettweiler [2015-11-02 15:04:24] 665*2^1413860-1 is not prime. Res64: D9707B1D588896FF Time : 0.0 sec. user=mdettweiler [2015-11-02 15:04:26] 735*2^1413860-1 is not prime. Res64: 040F6F37B64DE1E2 Time : 0.0 sec. user=mdettweiler [2015-11-02 15:04:28] 777*2^1413860-1 is not prime. Res64: C764B79E520C81FD Time : 0.0 sec. user=mdettweiler [2015-11-02 15:21:17] 927*2^1413860-1 is not prime. Res64: 50A9AA2A189462BB Time : 0.0 sec. user=mdettweiler [2015-11-02 15:21:18] 615*2^1413861-1 is not prime. Res64: AB028DD2BE73B6AB Time : 0.0 sec. user=mdettweiler [2015-11-02 15:22:00] 639*2^1413861-1 is not prime. Res64: 3D38210C05CC9C72 Time : 0.0 sec. user=mdettweiler [2015-11-02 15:22:01] 829*2^1413861-1 is not prime. Res64: 616788EAD3248717 Time : 0.0 sec. user=mdettweiler [2015-11-02 15:22:07] 867*2^1413861-1 is not prime. Res64: 694852B82B0B4107 Time : 0.0 sec. user=mdettweiler [2015-11-02 15:22:07] 937*2^1413861-1 is not prime. Res64: B96EF4D1C5A03696 Time : 0.0 sec. user=mdettweiler [2015-11-02 15:38:46] 945*2^1413861-1 is not prime. Res64: EBAA2B432F4D64CD Time : 0.0 sec. user=mdettweiler [2015-11-02 15:38:46] 949*2^1413861-1 is not prime. Res64: 3DED40FA53A1718A Time : 0.0 sec. user=mdettweiler [2015-11-02 15:39:29] 951*2^1413861-1 is not prime. Res64: 6A97866C0ABB90AD Time : 0.0 sec. user=mdettweiler [2015-11-02 15:39:29] 955*2^1413861-1 is not prime. Res64: 8BFD5486602D5E8A Time : 0.0 sec. user=mdettweiler [2015-11-02 15:39:35] 621*2^1413862-1 is not prime. Res64: EA39BBD4CBF37620 Time : 0.0 sec. user=mdettweiler [2015-11-02 15:39:35] 653*2^1413862-1 is not prime. Res64: 2EFDE3D2E1BABB0B Time : 0.0 sec. user=mdettweiler [2015-11-02 15:56:13] 713*2^1413862-1 is not prime. Res64: CEBB8B8A81396E21 Time : 0.0 sec. user=mdettweiler [2015-11-02 15:56:13] 723*2^1413862-1 is not prime. Res64: F85DB06C1DEA3212 Time : 0.0 sec. user=mdettweiler [2015-11-02 15:56:54] 825*2^1413862-1 is not prime. Res64: ED04382C29209B42 Time : 0.0 sec. user=mdettweiler [2015-11-02 15:56:55] 831*2^1413862-1 is not prime. Res64: 878E37AB9AB902E4 Time : 0.0 sec. user=mdettweiler [2015-11-02 15:57:01] 873*2^1413862-1 is not prime. Res64: 51BFEBC1841040FE Time : 0.0 sec. user=mdettweiler [2015-11-02 15:57:02] 951*2^1413862-1 is not prime. Res64: 256BF907CA8AD9E3 Time : 0.0 sec. user=mdettweiler [2015-11-02 16:13:40] 995*2^1413862-1 is not prime. Res64: 3741B3E690C8EA62 Time : 0.0 sec. user=mdettweiler [2015-11-02 16:13:40] 1001*2^1413862-1 is not prime. Res64: 5EE218462F363A37 Time : 0.0 sec. user=mdettweiler [2015-11-02 16:14:20] 771*2^1413863-1 is not prime. Res64: E48996D2E585ADED Time : 0.0 sec. user=mdettweiler [2015-11-02 16:14:20] 789*2^1413863-1 is not prime. Res64: D5A463917E5EB791 Time : 0.0 sec. user=mdettweiler [2015-11-02 16:14:27] 825*2^1413863-1 is not prime. Res64: 1EC21BB2FC8C5EA9 Time : 0.0 sec. user=mdettweiler [2015-11-02 16:14:28] 993*2^1413863-1 is not prime. Res64: 2FD6FA8E7A9B376A Time : 0.0 sec. user=mdettweiler [2015-11-02 16:31:09] 627*2^1413864-1 is not prime. Res64: F1BA74DE1F751B9D Time : 0.0 sec. user=mdettweiler [2015-11-02 16:31:09] 675*2^1413864-1 is not prime. Res64: 502A0D625C15CEB9 Time : 0.0 sec. user=mdettweiler [2015-11-02 16:31:46] 625*2^1413865-1 is not prime. Res64: CC9235BD66BFAA23 Time : 0.0 sec. user=mdettweiler [2015-11-02 16:31:46] 667*2^1413865-1 is not prime. Res64: 2FE7E9E81D61ECE5 Time : 0.0 sec. user=mdettweiler [2015-11-02 16:31:53] 699*2^1413865-1 is not prime. Res64: 0123E4512C2D6CAF Time : 0.0 sec. user=mdettweiler [2015-11-02 16:31:53] 855*2^1413865-1 is not prime. Res64: 3C2E40E1FBCF6D6F Time : 0.0 sec. user=mdettweiler [2015-11-02 16:48:36] 889*2^1413865-1 is not prime. Res64: F5AC11D95254AC96 Time : 0.0 sec. user=mdettweiler [2015-11-02 16:48:36] 937*2^1413865-1 is not prime. Res64: 5D64F14A53DB3C51 Time : 0.0 sec. user=mdettweiler [2015-11-02 16:49:13] 997*2^1413865-1 is not prime. Res64: 987054C6602E2625 Time : 0.0 sec. user=mdettweiler [2015-11-02 16:49:14] 623*2^1413866-1 is not prime. Res64: 527192B8DB0F956B Time : 0.0 sec. user=mdettweiler [2015-11-02 16:49:20] 741*2^1413866-1 is not prime. Res64: 21D8CDB3F0C2F0A9 Time : 0.0 sec. user=mdettweiler [2015-11-02 16:49:21] 747*2^1413866-1 is not prime. Res64: DD55098220DE9BCA Time : 0.0 sec. user=mdettweiler [2015-11-02 17:06:14] 861*2^1413866-1 is not prime. Res64: 78BA3F100098EBA5 Time : 0.0 sec. user=mdettweiler [2015-11-02 17:06:16] 609*2^1413867-1 is not prime. Res64: 89E5044024B0CA37 Time : 0.0 sec. user=mdettweiler [2015-11-02 17:06:49] 709*2^1413867-1 is not prime. Res64: 2F37A3D3FD190E69 Time : 0.0 sec. user=mdettweiler [2015-11-02 17:06:50] 919*2^1413867-1 is not prime. Res64: E8EF5D28B1A008AB Time : 0.0 sec. user=mdettweiler [2015-11-02 17:06:57] 973*2^1413867-1 is not prime. Res64: 9C54C6F58EBEC74D Time : 0.0 sec. user=mdettweiler [2015-11-02 17:06:57] 635*2^1413868-1 is not prime. Res64: 0C3C5F324E87A140 Time : 0.0 sec. user=mdettweiler [2015-11-02 17:24:16] 705*2^1413868-1 is not prime. Res64: 2D8D8A427FCE4221 Time : 0.0 sec. user=mdettweiler [2015-11-02 17:24:17] 825*2^1413868-1 is not prime. Res64: 97AA9BB8825B309A Time : 0.0 sec. user=mdettweiler [2015-11-02 17:24:36] 827*2^1413868-1 is not prime. Res64: 093792649DCF2117 Time : 0.0 sec. user=mdettweiler [2015-11-02 17:24:36] 875*2^1413868-1 is not prime. Res64: D3C0684AABE3DA65 Time : 0.0 sec. user=mdettweiler [2015-11-02 17:24:41] 905*2^1413868-1 is not prime. Res64: 02ED12C7D3D73F5E Time : 0.0 sec. user=mdettweiler [2015-11-02 17:24:42] 999*2^1413868-1 is not prime. Res64: 52DA5F308FECD795 Time : 0.0 sec. user=mdettweiler [2015-11-02 17:41:55] 657*2^1413869-1 is not prime. Res64: 0EDD4F7A5A85C02D Time : 0.0 sec. user=mdettweiler [2015-11-02 17:41:55] 771*2^1413869-1 is not prime. Res64: 3B6E1B7C415C6A90 Time : 0.0 sec. user=mdettweiler [2015-11-02 17:42:11] 811*2^1413869-1 is not prime. Res64: 92BE1491D616F996 Time : 0.0 sec. user=mdettweiler [2015-11-02 17:42:11] 951*2^1413869-1 is not prime. Res64: 77EF7F9AE72D8B85 Time : 0.0 sec. user=mdettweiler [2015-11-02 17:42:16] 955*2^1413869-1 is not prime. Res64: FE7ED904CF8F8A21 Time : 0.0 sec. user=mdettweiler [2015-11-02 17:42:16] 969*2^1413869-1 is not prime. Res64: 2C7E76E4F69B09B1 Time : 0.0 sec. user=mdettweiler [2015-11-02 17:59:27] 615*2^1413870-1 is not prime. Res64: 3BBBBAE571297561 Time : 0.0 sec. user=mdettweiler [2015-11-02 17:59:27] 711*2^1413870-1 is not prime. Res64: 2B81C3219577292C Time : 0.0 sec. user=mdettweiler [2015-11-02 17:59:42] 723*2^1413870-1 is not prime. Res64: 3E90A71E0E6CA11F Time : 0.0 sec. user=mdettweiler [2015-11-02 17:59:42] 783*2^1413870-1 is not prime. Res64: 1E153BFDE2C0B633 Time : 0.0 sec. user=mdettweiler [2015-11-02 17:59:48] 791*2^1413870-1 is not prime. Res64: D7B71D0399BF5F62 Time : 0.0 sec. user=mdettweiler [2015-11-02 17:59:48] 795*2^1413870-1 is not prime. Res64: F5A0BF19C303D841 Time : 0.0 sec. user=mdettweiler [2015-11-02 18:17:01] 917*2^1413870-1 is not prime. Res64: 88A1DA53B6C153AE Time : 0.0 sec. user=mdettweiler [2015-11-02 18:17:02] 945*2^1413870-1 is not prime. Res64: 598DB2D941F1A7C8 Time : 0.0 sec. user=mdettweiler [2015-11-02 18:17:15] 965*2^1413870-1 is not prime. Res64: 438872BAFF2F4E00 Time : 0.0 sec. user=mdettweiler [2015-11-02 18:17:16] 621*2^1413871-1 is not prime. Res64: 587E3429CCBA528B Time : 0.0 sec. user=mdettweiler [2015-11-02 18:17:21] 759*2^1413871-1 is not prime. Res64: D74707D41072D32C Time : 0.0 sec. user=mdettweiler [2015-11-02 18:17:21] 843*2^1413871-1 is not prime. Res64: 10C9FEFD30AB482D Time : 0.0 sec. user=mdettweiler [2015-11-02 18:34:58] 939*2^1413871-1 is not prime. Res64: 9CF6B89843177F05 Time : 0.0 sec. user=mdettweiler [2015-11-02 18:34:59] 979*2^1413871-1 is not prime. Res64: 593967DEC4294F86 Time : 0.0 sec. user=mdettweiler [2015-11-02 18:35:12] 675*2^1413872-1 is not prime. Res64: ACA507D952EAABB4 Time : 0.0 sec. user=mdettweiler [2015-11-02 18:35:13] 767*2^1413872-1 is not prime. Res64: 3811205C2E3F3832 Time : 0.0 sec. user=mdettweiler [2015-11-02 18:35:17] 803*2^1413872-1 is not prime. Res64: DA3C446E565A2810 Time : 0.0 sec. user=mdettweiler [2015-11-02 18:35:17] 825*2^1413872-1 is not prime. Res64: AEC41BF0F5534467 Time : 0.0 sec. user=mdettweiler [2015-11-02 18:56:17] 827*2^1413872-1 is not prime. Res64: D7EC3347EAB7BC1E Time : 0.0 sec. user=mdettweiler [2015-11-02 18:56:17] 843*2^1413872-1 is not prime. Res64: 2ADA76D988519EE0 Time : 0.0 sec. user=mdettweiler [2015-11-02 18:56:31] 857*2^1413872-1 is not prime. Res64: 73C9FBA6D9BC9045 Time : 0.0 sec. user=mdettweiler [2015-11-02 18:56:32] 917*2^1413872-1 is not prime. Res64: 3EC51444AF38E71B Time : 0.0 sec. user=mdettweiler [2015-11-02 18:56:37] 963*2^1413872-1 is not prime. Res64: DEBF3E7B4B3FD5A0 Time : 0.0 sec. user=mdettweiler [2015-11-02 18:56:37] 995*2^1413872-1 is not prime. Res64: CEB6FA6FC5B72C0B Time : 0.0 sec. user=mdettweiler [2015-11-02 19:17:25] 681*2^1413873-1 is not prime. Res64: B4DAD3553FC70CCA Time : 0.0 sec. user=mdettweiler [2015-11-02 19:17:25] 691*2^1413873-1 is not prime. Res64: A7C574B09317EC11 Time : 0.0 sec. user=mdettweiler [2015-11-02 19:17:28] 671*2^1413874-1 is not prime. Res64: 94086507D832FF53 Time : 0.0 sec. user=mdettweiler [2015-11-02 19:17:28] 701*2^1413874-1 is not prime. Res64: 80D81AAC176955C2 Time : 0.0 sec. user=mdettweiler [2015-11-02 19:17:40] 705*2^1413874-1 is not prime. Res64: E69FCB0A0423C1ED Time : 0.0 sec. user=mdettweiler [2015-11-02 19:17:40] 741*2^1413874-1 is not prime. Res64: E7190B826A7EED61 Time : 0.0 sec. user=mdettweiler [2015-11-02 19:35:39] 975*2^1413874-1 is not prime. Res64: AAB6E3E9ECEE8E69 Time : 0.0 sec. user=mdettweiler [2015-11-02 19:35:40] 983*2^1413874-1 is not prime. Res64: BDE825496DAFDD64 Time : 0.0 sec. user=mdettweiler [2015-11-02 19:35:42] 815*2^1413874-1 is not prime. Res64: 7A8739FB38CBEF85 Time : 0.0 sec. user=mdettweiler [2015-11-02 19:35:43] 855*2^1413874-1 is not prime. Res64: 9039F5B40CA9D926 Time : 0.0 sec. user=mdettweiler [2015-11-02 19:35:47] 987*2^1413874-1 is not prime. Res64: A125579E3C67FD25 Time : 0.0 sec. user=mdettweiler [2015-11-02 19:35:48] 643*2^1413875-1 is not prime. Res64: FD36D9B337F37DD3 Time : 0.0 sec. user=mdettweiler [2015-11-02 19:53:36] 669*2^1413875-1 is not prime. Res64: F5353DA090CBE88E Time : 0.0 sec. user=mdettweiler [2015-11-02 19:53:36] 841*2^1413875-1 is not prime. Res64: 4B2EC5B083B10155 Time : 0.0 sec. user=mdettweiler [2015-11-02 19:53:42] 777*2^1413876-1 is not prime. Res64: 75799711958680C3 Time : 0.0 sec. user=mdettweiler [2015-11-02 19:53:42] 861*2^1413875-1 is not prime. Res64: F3BA93D7FAD48982 Time : 0.0 sec. user=mdettweiler [2015-11-02 19:53:42] 699*2^1413877-1 is not prime. Res64: BCA8BBA9D248C193 Time : 0.0 sec. user=mdettweiler [2015-11-02 19:53:43] 609*2^1413876-1 is not prime. Res64: 6FD961E71F78D49A Time : 0.0 sec. user=mdettweiler [2015-11-02 20:11:11] 717*2^1413877-1 is not prime. Res64: 4B31F43761F471F5 Time : 0.0 sec. user=mdettweiler [2015-11-02 20:11:12] 727*2^1413877-1 is not prime. Res64: 63A155BD9E28F302 Time : 0.0 sec. user=mdettweiler [2015-11-02 20:11:19] 741*2^1413877-1 is not prime. Res64: 1A3859B4C0BBDEEE Time : 0.0 sec. user=mdettweiler [2015-11-02 20:11:19] 765*2^1413877-1 is not prime. Res64: 2EE6A9C7C40A5781 Time : 0.0 sec. user=mdettweiler [2015-11-02 20:11:19] 747*2^1413877-1 is not prime. Res64: F60F25E99DFC61CC Time : 0.0 sec. user=mdettweiler [2015-11-02 20:11:19] 817*2^1413877-1 is not prime. Res64: 0A04B782DAA7083D Time : 0.0 sec. user=mdettweiler [2015-11-02 20:31:09] 955*2^1413877-1 is not prime. Res64: F4138B742D30837E Time : 0.0 sec. user=mdettweiler [2015-11-02 20:31:10] 957*2^1413877-1 is not prime. Res64: A7EB1AD8B4F76DAF Time : 0.0 sec. user=mdettweiler [2015-11-02 20:31:12] 915*2^1413877-1 is not prime. Res64: 87E0ECF3DAA85661 Time : 0.0 sec. user=mdettweiler [2015-11-02 20:31:12] 945*2^1413877-1 is not prime. Res64: C2CB5EBEE2D95B69 Time : 0.0 sec. user=mdettweiler [2015-11-02 20:31:16] 999*2^1413877-1 is not prime. Res64: 807B181EA94F77DA Time : 0.0 sec. user=mdettweiler [2015-11-02 20:31:16] 623*2^1413878-1 is not prime. Res64: 1AF74481ABB78177 Time : 0.0 sec. user=mdettweiler [2015-11-02 20:51:59] 641*2^1413878-1 is not prime. Res64: 38B6A72839805FA3 Time : 0.0 sec. user=mdettweiler [2015-11-02 20:51:59] 671*2^1413878-1 is not prime. Res64: 8F323E1478916A25 Time : 0.0 sec. user=mdettweiler [2015-11-02 20:52:07] 713*2^1413878-1 is not prime. Res64: 3CEDBC6423281A81 Time : 0.0 sec. user=mdettweiler [2015-11-02 20:52:07] 731*2^1413878-1 is not prime. Res64: E2D62F3A0CF5E708 Time : 0.0 sec. user=mdettweiler [2015-11-02 20:52:09] 875*2^1413878-1 is not prime. Res64: 13E590AC09B0058B Time : 0.0 sec. user=mdettweiler [2015-11-02 20:52:09] 915*2^1413878-1 is not prime. Res64: C2F9609F2EFB632C Time : 0.0 sec. user=mdettweiler [2015-11-02 21:13:16] 923*2^1413878-1 is not prime. Res64: ACB845322BFD480D Time : 0.0 sec. user=mdettweiler [2015-11-02 21:13:16] 679*2^1413879-1 is not prime. Res64: 06E3C5AC8386ED0C Time : 0.0 sec. user=mdettweiler [2015-11-02 21:13:24] 751*2^1413879-1 is not prime. Res64: 4070E88C94B2EDCF Time : 0.0 sec. user=mdettweiler [2015-11-02 21:13:25] 793*2^1413879-1 is not prime. Res64: EDF59391B26D8E91 Time : 0.0 sec. user=mdettweiler [2015-11-02 21:13:25] 909*2^1413879-1 is not prime. Res64: 30F8A65BDF0FBB54 Time : 0.0 sec. user=mdettweiler [2015-11-02 21:13:25] 609*2^1413880-1 is not prime. Res64: 75E84851F2C7FE0F Time : 0.0 sec. user=mdettweiler [2015-11-02 21:34:48] 693*2^1413880-1 is not prime. Res64: F2BCFDCB0326215E Time : 0.0 sec. user=mdettweiler [2015-11-02 21:34:49] 695*2^1413880-1 is not prime. Res64: 83F1AAF976D90A9C Time : 0.0 sec. user=mdettweiler [2015-11-02 21:34:54] 927*2^1413880-1 is not prime. Res64: 390886C835974753 Time : 0.0 sec. user=mdettweiler [2015-11-02 21:34:55] 619*2^1413881-1 is not prime. Res64: 8C46325EE569784F Time : 0.0 sec. user=mdettweiler [2015-11-02 21:34:55] 777*2^1413880-1 is not prime. Res64: 0BAE905A7F3E6E1B Time : 0.0 sec. user=mdettweiler [2015-11-02 21:34:55] 863*2^1413880-1 is not prime. Res64: 78274882BDCD44E2 Time : 0.0 sec. user=mdettweiler [2015-11-02 21:56:04] 691*2^1413881-1 is not prime. Res64: 5C006F08D064B9B2 Time : 0.0 sec. user=mdettweiler [2015-11-02 21:56:04] 829*2^1413881-1 is not prime. Res64: 174130D74F91817E Time : 0.0 sec. user=mdettweiler [2015-11-02 21:56:14] 879*2^1413881-1 is not prime. Res64: DB0E31026D12A5EE Time : 0.0 sec. user=mdettweiler [2015-11-02 21:56:14] 909*2^1413881-1 is not prime. Res64: 5632B0361C3147FE Time : 0.0 sec. user=mdettweiler [2015-11-02 21:56:16] 657*2^1413882-1 is not prime. Res64: 9E21099BF05A9B66 Time : 0.0 sec. user=mdettweiler [2015-11-02 21:56:16] 825*2^1413882-1 is not prime. Res64: 197F3D16EE3414BD Time : 0.0 sec. user=mdettweiler [2015-11-02 22:15:55] 843*2^1413882-1 is not prime. Res64: C9256885179D690D Time : 0.0 sec. user=mdettweiler [2015-11-02 22:15:55] 923*2^1413882-1 is not prime. Res64: 1CE8C0A558579A30 Time : 0.0 sec. user=mdettweiler [2015-11-02 22:16:05] 945*2^1413882-1 is not prime. Res64: A92C9798FB61DBA6 Time : 0.0 sec. user=mdettweiler [2015-11-02 22:16:05] 957*2^1413882-1 is not prime. Res64: 10E4CDA1B3138612 Time : 0.0 sec. user=mdettweiler [2015-11-02 22:16:08] 975*2^1413882-1 is not prime. Res64: F559B6959E6792F5 Time : 0.0 sec. user=mdettweiler [2015-11-02 22:16:09] 983*2^1413882-1 is not prime. Res64: 1FC3D7E3FAE537F6 Time : 0.0 sec. user=mdettweiler [2015-11-02 22:33:24] 633*2^1413883-1 is not prime. Res64: CF272B5852D11D48 Time : 0.0 sec. user=mdettweiler [2015-11-02 22:33:24] 765*2^1413883-1 is not prime. Res64: 1D823BE88C3E159E Time : 0.0 sec. user=mdettweiler [2015-11-02 22:33:33] 811*2^1413883-1 is not prime. Res64: 6431B995B6F91FF2 Time : 0.0 sec. user=mdettweiler [2015-11-02 22:33:33] 891*2^1413883-1 is not prime. Res64: 9D0D2FAD480C8A9E Time : 0.0 sec. user=mdettweiler [2015-11-02 22:33:36] 895*2^1413883-1 is not prime. Res64: 1DB03A4078B84389 Time : 0.0 sec. user=mdettweiler [2015-11-02 22:33:36] 635*2^1413884-1 is not prime. Res64: B3031132C7B8F9A9 Time : 0.0 sec. user=mdettweiler [2015-11-02 22:50:54] 707*2^1413884-1 is not prime. Res64: B4A3AF399D1944AB Time : 0.0 sec. user=mdettweiler [2015-11-02 22:50:54] 719*2^1413884-1 is not prime. Res64: 733F84F89F346BF8 Time : 0.0 sec. user=mdettweiler [2015-11-02 22:51:03] 753*2^1413884-1 is not prime. Res64: 334D6629AF9255FF Time : 0.0 sec. user=mdettweiler [2015-11-02 22:51:03] 759*2^1413884-1 is not prime. Res64: 4194EBBFD651BC05 Time : 0.0 sec. user=mdettweiler [2015-11-02 22:51:06] 903*2^1413884-1 is not prime. Res64: AE70053B4171B369 Time : 0.0 sec. user=mdettweiler [2015-11-02 22:51:06] 685*2^1413885-1 is not prime. Res64: 7C7E1D2D4B069780 Time : 0.0 sec. user=mdettweiler [2015-11-02 23:09:10] 711*2^1413885-1 is not prime. Res64: 01416675228E1CBE Time : 0.0 sec. user=mdettweiler [2015-11-02 23:09:10] 861*2^1413885-1 is not prime. Res64: DFF430340B9E22FC Time : 0.0 sec. user=mdettweiler [2015-11-02 23:09:16] 955*2^1413885-1 is not prime. Res64: BD162934EE4AD609 Time : 0.0 sec. user=mdettweiler [2015-11-02 23:09:16] 975*2^1413885-1 is not prime. Res64: 259AD935FF247D69 Time : 0.0 sec. user=mdettweiler [2015-11-02 23:09:21] 695*2^1413886-1 is not prime. Res64: 40B1682FCA27FA23 Time : 0.0 sec. user=mdettweiler [2015-11-02 23:09:21] 741*2^1413886-1 is not prime. Res64: 29D28E71C745E0FB Time : 0.0 sec. user=mdettweiler [2015-11-02 23:27:27] 755*2^1413886-1 is not prime. Res64: BA34ED1EB51FABF9 Time : 0.0 sec. user=mdettweiler [2015-11-02 23:27:28] 783*2^1413886-1 is not prime. Res64: D8FD0A2065209173 Time : 0.0 sec. user=mdettweiler [2015-11-02 23:27:32] 857*2^1413886-1 is not prime. Res64: C2D1C09DC96190EE Time : 0.0 sec. user=mdettweiler [2015-11-02 23:27:32] 891*2^1413886-1 is not prime. Res64: 55F2D9164DCA6C6E Time : 0.0 sec. user=mdettweiler [2015-11-02 23:27:35] 897*2^1413886-1 is not prime. Res64: C57A9EB52DD3CDAD Time : 0.0 sec. user=mdettweiler [2015-11-02 23:27:35] 933*2^1413886-1 is not prime. Res64: 4CCAFC8067D07A16 Time : 0.0 sec. user=mdettweiler [2015-11-02 23:45:28] 941*2^1413886-1 is not prime. Res64: 5871C90F60C4F652 Time : 0.0 sec. user=mdettweiler [2015-11-02 23:45:29] 945*2^1413886-1 is not prime. Res64: ED04B4E18AFC1D68 Time : 0.0 sec. user=mdettweiler [2015-11-02 23:45:33] 615*2^1413887-1 is not prime. Res64: 875A6BA4BF0FA617 Time : 0.0 sec. user=mdettweiler [2015-11-02 23:45:34] 775*2^1413887-1 is not prime. Res64: B38BD98CE335A57A Time : 0.0 sec. user=mdettweiler [2015-11-02 23:45:38] 799*2^1413887-1 is not prime. Res64: 661A62F8EF222D97 Time : 0.0 sec. user=mdettweiler [2015-11-02 23:45:38] 831*2^1413887-1 is not prime. Res64: 54718D363D542D12 Time : 0.0 sec.