user=mdettweiler [2015-02-13 00:06:31] 623*2^1390912-1 is not prime. Res64: B8B3F6512FFF2A98 Time : 0.0 sec. user=mdettweiler [2015-02-13 00:06:32] 695*2^1390912-1 is not prime. Res64: 980FAF255D965613 Time : 0.0 sec. user=mdettweiler [2015-02-13 00:07:00] 765*2^1390912-1 is not prime. Res64: 5C4B7383AA2BAF6C Time : 0.0 sec. user=mdettweiler [2015-02-13 00:07:01] 827*2^1390912-1 is not prime. Res64: 5E0291924FFEAF40 Time : 0.0 sec. user=mdettweiler [2015-02-13 00:19:38] 909*2^1390912-1 is not prime. Res64: FC19FB6FBF325742 Time : 0.0 sec. user=mdettweiler [2015-02-13 00:19:39] 657*2^1390913-1 is not prime. Res64: 7711F7ED2F6E8D51 Time : 0.0 sec. user=mdettweiler [2015-02-13 00:20:26] 669*2^1390913-1 is not prime. Res64: DC45B641B45A1E93 Time : 0.0 sec. user=mdettweiler [2015-02-13 00:20:26] 769*2^1390913-1 is not prime. Res64: F59F3FCE433B3419 Time : 0.0 sec. user=mdettweiler [2015-02-13 00:32:35] 879*2^1390913-1 is not prime. Res64: 566ED8BB45FED98C Time : 0.0 sec. user=mdettweiler [2015-02-13 00:32:36] 937*2^1390913-1 is not prime. Res64: 017B141ED2E84CA2 Time : 0.0 sec. user=mdettweiler [2015-02-13 00:32:37] 945*2^1390913-1 is not prime. Res64: 974CBF163679CC50 Time : 0.0 sec. user=mdettweiler [2015-02-13 00:32:37] 987*2^1390913-1 is not prime. Res64: 8A1436C4EE78A663 Time : 0.0 sec. user=mdettweiler [2015-02-13 00:47:14] 627*2^1390914-1 is not prime. Res64: 04F76F04BC6ACA18 Time : 0.0 sec. user=mdettweiler [2015-02-13 00:47:14] 641*2^1390914-1 is not prime. Res64: 07136BD7B9364AE7 Time : 0.0 sec. user=mdettweiler [2015-02-13 00:48:10] 737*2^1390914-1 is not prime. Res64: F619517468F88800 Time : 0.0 sec. user=mdettweiler [2015-02-13 00:48:11] 741*2^1390914-1 is not prime. Res64: 285282703D9361FA Time : 0.0 sec. user=mdettweiler [2015-02-13 01:00:36] 833*2^1390914-1 is not prime. Res64: 52B2C5D7D7CB8FF6 Time : 0.0 sec. user=mdettweiler [2015-02-13 01:00:37] 993*2^1390914-1 is not prime. Res64: AA29EA86A805A801 Time : 0.0 sec. user=mdettweiler [2015-02-13 01:00:56] 783*2^1390914-1 is not prime. Res64: 4269A17F989167FA Time : 0.0 sec. user=mdettweiler [2015-02-13 01:00:57] 797*2^1390914-1 is not prime. Res64: 517242ADC08CEA61 Time : 0.0 sec. user=mdettweiler [2015-02-13 01:14:12] 619*2^1390915-1 is not prime. Res64: 17BF8CABE11800EB Time : 0.0 sec. user=mdettweiler [2015-02-13 01:14:13] 735*2^1390915-1 is not prime. Res64: 4157681D185961C7 Time : 0.0 sec. user=mdettweiler [2015-02-13 01:15:08] 741*2^1390915-1 is not prime. Res64: F1F656000093837E Time : 0.0 sec. user=mdettweiler [2015-02-13 01:15:08] 775*2^1390915-1 is not prime. Res64: 275470A3B8ADD2AA Time : 0.0 sec. user=mdettweiler [2015-02-13 01:27:37] 859*2^1390915-1 is not prime. Res64: 12DBC576866411BB Time : 0.0 sec. user=mdettweiler [2015-02-13 01:27:38] 895*2^1390915-1 is not prime. Res64: 7B94D12303AD1677 Time : 0.0 sec. user=mdettweiler [2015-02-13 01:27:52] 961*2^1390915-1 is not prime. Res64: 938FBF0DF624C9E5 Time : 0.0 sec. user=mdettweiler [2015-02-13 01:27:53] 609*2^1390916-1 is not prime. Res64: 2E1B91AD98DE98D1 Time : 0.0 sec. user=mdettweiler [2015-02-13 01:41:17] 683*2^1390916-1 is not prime. Res64: 6C61D27C0CA2DBBF Time : 0.0 sec. user=mdettweiler [2015-02-13 01:41:18] 707*2^1390916-1 is not prime. Res64: 2363658DA88B9AC1 Time : 0.0 sec. user=mdettweiler [2015-02-13 01:41:59] 867*2^1390916-1 is not prime. Res64: 269769F3993502FE Time : 0.0 sec. user=mdettweiler [2015-02-13 01:42:00] 893*2^1390916-1 is not prime. Res64: F5A13762B7CC439C Time : 0.0 sec. user=mdettweiler [2015-02-13 01:54:47] 953*2^1390916-1 is not prime. Res64: B6610E0646D49B42 Time : 0.0 sec. user=mdettweiler [2015-02-13 01:54:48] 607*2^1390917-1 is not prime. Res64: 8444C8773A7BAFC7 Time : 0.0 sec. user=mdettweiler [2015-02-13 01:54:53] 609*2^1390917-1 is not prime. Res64: 6B0729AB846E6E3B Time : 0.0 sec. user=mdettweiler [2015-02-13 01:54:54] 625*2^1390917-1 is not prime. Res64: A14AF24D2BF65E82 Time : 0.0 sec. user=mdettweiler [2015-02-13 02:08:42] 649*2^1390917-1 is not prime. Res64: 2855F780D58676A0 Time : 0.0 sec. user=mdettweiler [2015-02-13 02:08:42] 699*2^1390917-1 is not prime. Res64: 94D59283CF89B607 Time : 0.0 sec. user=mdettweiler [2015-02-13 02:09:02] 711*2^1390917-1 is not prime. Res64: A4F588A58BF1826B Time : 0.0 sec. user=mdettweiler [2015-02-13 02:09:02] 765*2^1390917-1 is not prime. Res64: C9CCB6B94E59B2A8 Time : 0.0 sec. user=mdettweiler [2015-02-13 02:21:59] 817*2^1390917-1 is not prime. Res64: 24A9242E2AEB8DF8 Time : 0.0 sec. user=mdettweiler [2015-02-13 02:22:00] 847*2^1390917-1 is not prime. Res64: B61E6131763A2CB3 Time : 0.0 sec. user=mdettweiler [2015-02-13 02:22:28] 871*2^1390917-1 is not prime. Res64: 006698307CAFE847 Time : 0.0 sec. user=mdettweiler [2015-02-13 02:22:28] 901*2^1390917-1 is not prime. Res64: 20A806C52FB73A12 Time : 0.0 sec. user=mdettweiler [2015-02-13 02:42:50] 919*2^1390917-1 is not prime. Res64: 8750D3440112D117 Time : 0.0 sec. user=mdettweiler [2015-02-13 02:42:51] 945*2^1390917-1 is not prime. Res64: 8B8FB05618F9551F Time : 0.0 sec. user=mdettweiler [2015-02-13 02:42:55] 603*2^1390918-1 is not prime. Res64: D43AF8ABFEC242D7 Time : 0.0 sec. user=mdettweiler [2015-02-13 02:42:55] 621*2^1390918-1 is not prime. Res64: 22B2291A817F8BDC Time : 0.0 sec. user=mdettweiler [2015-02-13 02:55:55] 657*2^1390918-1 is not prime. Res64: 5DA5D41581832D75 Time : 0.0 sec. user=mdettweiler [2015-02-13 02:55:56] 731*2^1390918-1 is not prime. Res64: D239ADABBE31DA16 Time : 0.0 sec. user=mdettweiler [2015-02-13 02:56:38] 773*2^1390918-1 is not prime. Res64: 3800E18CAFCAF190 Time : 0.0 sec. user=mdettweiler [2015-02-13 02:56:38] 777*2^1390918-1 is not prime. Res64: 0C9589BB9AE8AC46 Time : 0.0 sec. user=mdettweiler [2015-02-13 03:10:14] 855*2^1390918-1 is not prime. Res64: F8024289DFB12E2D Time : 0.0 sec. user=mdettweiler [2015-02-13 03:10:14] 867*2^1390918-1 is not prime. Res64: 3CF6F8C93647CEEC Time : 0.0 sec. user=mdettweiler [2015-02-13 03:10:40] 993*2^1390918-1 is not prime. Res64: 665739AD18606B63 Time : 0.0 sec. user=mdettweiler [2015-02-13 03:10:40] 633*2^1390919-1 is not prime. Res64: 87C2E015E4266808 Time : 0.0 sec. user=mdettweiler [2015-02-13 03:22:16] 711*2^1390919-1 is not prime. Res64: 062C72FA5A595913 Time : 0.0 sec. user=mdettweiler [2015-02-13 03:22:16] 753*2^1390919-1 is not prime. Res64: 854A038FA8C3DB01 Time : 0.0 sec. user=mdettweiler [2015-02-13 03:22:44] 775*2^1390919-1 is not prime. Res64: 41FF1469B05AFF5F Time : 0.0 sec. user=mdettweiler [2015-02-13 03:22:45] 859*2^1390919-1 is not prime. Res64: 9602921C2C8E0F92 Time : 0.0 sec. user=mdettweiler [2015-02-13 03:35:45] 885*2^1390919-1 is not prime. Res64: A7321805E7302ADD Time : 0.0 sec. user=mdettweiler [2015-02-13 03:35:47] 939*2^1390919-1 is not prime. Res64: D1F575C059B10ED7 Time : 0.0 sec. user=mdettweiler [2015-02-13 03:36:22] 969*2^1390919-1 is not prime. Res64: 08A7F1F343237E8F Time : 0.0 sec. user=mdettweiler [2015-02-13 03:36:24] 669*2^1390920-1 is not prime. Res64: EEFA5F4108C0CB5C Time : 0.0 sec. user=mdettweiler [2015-02-13 03:47:43] 707*2^1390920-1 is not prime. Res64: A74D75584108D94A Time : 0.0 sec. user=mdettweiler [2015-02-13 03:47:44] 767*2^1390920-1 is not prime. Res64: A435BF3CCE974E58 Time : 0.0 sec. user=mdettweiler [2015-02-13 03:48:12] 857*2^1390920-1 is not prime. Res64: AB0C3A6D786A460A Time : 0.0 sec. user=mdettweiler [2015-02-13 03:48:15] 909*2^1390920-1 is not prime. Res64: CDAC289676972251 Time : 0.0 sec. user=mdettweiler [2015-02-13 04:01:45] 715*2^1390921-1 is not prime. Res64: 1CA3D79388241F3F Time : 0.0 sec. user=mdettweiler [2015-02-13 04:01:46] 771*2^1390921-1 is not prime. Res64: 77178DD93B67F179 Time : 0.0 sec. user=mdettweiler [2015-02-13 04:02:00] 855*2^1390921-1 is not prime. Res64: 52AB1E43C5D3B706 Time : 0.0 sec. user=mdettweiler [2015-02-13 04:02:01] 861*2^1390921-1 is not prime. Res64: 69F0902D667E71A6 Time : 0.0 sec. user=mdettweiler [2015-02-13 04:13:28] 867*2^1390921-1 is not prime. Res64: A53FB3A4B64E786C Time : 0.0 sec. user=mdettweiler [2015-02-13 04:13:29] 877*2^1390921-1 is not prime. Res64: 271627A4D1347C84 Time : 0.0 sec. user=mdettweiler [2015-02-13 04:13:50] 957*2^1390921-1 is not prime. Res64: 3ACFE6A15A086DE0 Time : 0.0 sec. user=mdettweiler [2015-02-13 04:13:51] 651*2^1390922-1 is not prime. Res64: 42A5143E117C1F2D Time : 0.0 sec. user=mdettweiler [2015-02-13 04:27:39] 711*2^1390922-1 is not prime. Res64: D378B68C36A23484 Time : 0.0 sec. user=mdettweiler [2015-02-13 04:27:39] 743*2^1390922-1 is not prime. Res64: 06A783E9F861ED66 Time : 0.0 sec. user=mdettweiler [2015-02-13 04:27:46] 785*2^1390922-1 is not prime. Res64: C89864B92A8B376E Time : 0.0 sec. user=mdettweiler [2015-02-13 04:27:47] 663*2^1390923-1 is not prime. Res64: 091495B6942A4AEA Time : 0.0 sec. user=mdettweiler [2015-02-13 04:39:11] 685*2^1390923-1 is not prime. Res64: 121C2A797060EE50 Time : 0.0 sec. user=mdettweiler [2015-02-13 04:39:12] 705*2^1390923-1 is not prime. Res64: 8F5A4B15A8A63213 Time : 0.0 sec. user=mdettweiler [2015-02-13 04:39:24] 783*2^1390923-1 is not prime. Res64: BFD1050261ED397C Time : 0.0 sec. user=mdettweiler [2015-02-13 04:39:24] 879*2^1390923-1 is not prime. Res64: A051A275FB246C03 Time : 0.0 sec. user=mdettweiler [2015-02-13 04:53:13] 955*2^1390923-1 is not prime. Res64: 8F275B52412DD6C6 Time : 0.0 sec. user=mdettweiler [2015-02-13 04:53:14] 961*2^1390923-1 is not prime. Res64: 2F3A6EB4008E9D96 Time : 0.0 sec. user=mdettweiler [2015-02-13 04:53:28] 963*2^1390923-1 is not prime. Res64: F777BC3DA29E960C Time : 0.0 sec. user=mdettweiler [2015-02-13 04:53:29] 605*2^1390924-1 is not prime. Res64: 32C2984C906DB7EA Time : 0.0 sec. user=mdettweiler [2015-02-13 05:04:42] 623*2^1390924-1 is not prime. Res64: C0B38EA398D269D4 Time : 0.0 sec. user=mdettweiler [2015-02-13 05:04:44] 843*2^1390924-1 is not prime. Res64: ACCC482BA62E36E2 Time : 0.0 sec. user=mdettweiler [2015-02-13 05:05:00] 655*2^1390925-1 is not prime. Res64: 71177A284B833E76 Time : 0.0 sec. user=mdettweiler [2015-02-13 05:05:03] 699*2^1390925-1 is not prime. Res64: 1E98EEA7AC8D2605 Time : 0.0 sec. user=mdettweiler [2015-02-13 05:18:43] 727*2^1390925-1 is not prime. Res64: 0FFA2DFADD91389E Time : 0.0 sec. user=mdettweiler [2015-02-13 05:18:43] 781*2^1390925-1 is not prime. Res64: F7940CD549B30202 Time : 0.0 sec. user=mdettweiler [2015-02-13 05:18:54] 837*2^1390925-1 is not prime. Res64: B37998CE955822DA Time : 0.0 sec. user=mdettweiler [2015-02-13 05:18:54] 871*2^1390925-1 is not prime. Res64: 2C740010A60B375C Time : 0.0 sec. user=mdettweiler [2015-02-13 05:31:00] 915*2^1390925-1 is not prime. Res64: 8AA5D390F2356C39 Time : 0.0 sec. user=mdettweiler [2015-02-13 05:31:01] 955*2^1390925-1 is not prime. Res64: FA4EC27DDDD78432 Time : 0.0 sec. user=mdettweiler [2015-02-13 05:31:02] 981*2^1390925-1 is not prime. Res64: 9FFA9CC89AA1658E Time : 0.0 sec. user=mdettweiler [2015-02-13 05:31:03] 723*2^1390926-1 is not prime. Res64: 997D77AAFD949134 Time : 0.0 sec. user=mdettweiler [2015-02-13 05:44:09] 741*2^1390926-1 is not prime. Res64: F9B6D53B861E9285 Time : 0.0 sec. user=mdettweiler [2015-02-13 05:44:09] 755*2^1390926-1 is not prime. Res64: B4961B2970389EB9 Time : 0.0 sec. user=mdettweiler [2015-02-13 05:44:21] 807*2^1390926-1 is not prime. Res64: 89D6DCE483541C26 Time : 0.0 sec. user=mdettweiler [2015-02-13 05:44:22] 875*2^1390926-1 is not prime. Res64: CCC79E373ABD6274 Time : 0.0 sec. user=mdettweiler [2015-02-13 05:56:29] 921*2^1390926-1 is not prime. Res64: E7E9F83E96326525 Time : 0.0 sec. user=mdettweiler [2015-02-13 05:56:29] 933*2^1390926-1 is not prime. Res64: 06AF3468F69EB051 Time : 0.0 sec. user=mdettweiler [2015-02-13 05:56:32] 639*2^1390927-1 is not prime. Res64: 8A88C9C246ACEF08 Time : 0.0 sec. user=mdettweiler [2015-02-13 05:56:33] 663*2^1390927-1 is not prime. Res64: 14F81AE72F62E686 Time : 0.0 sec. user=mdettweiler [2015-02-13 06:09:49] 681*2^1390927-1 is not prime. Res64: 17ACC53604BD328C Time : 0.0 sec. user=mdettweiler [2015-02-13 06:09:50] 775*2^1390927-1 is not prime. Res64: B0DF14E82F477554 Time : 0.0 sec. user=mdettweiler [2015-02-13 06:09:59] 805*2^1390927-1 is not prime. Res64: 7DF44E0BA90E882C Time : 0.0 sec. user=mdettweiler [2015-02-13 06:10:00] 813*2^1390927-1 is not prime. Res64: B87EF5FE5A7D8353 Time : 0.0 sec. user=mdettweiler [2015-02-13 06:22:01] 885*2^1390927-1 is not prime. Res64: 77D5B8DE1AEA7A71 Time : 0.0 sec. user=mdettweiler [2015-02-13 06:22:02] 915*2^1390927-1 is not prime. Res64: AE1B866AB588D420 Time : 0.0 sec. user=mdettweiler [2015-02-13 06:22:10] 829*2^1390927-1 is not prime. Res64: A5A907BC5B05521F Time : 0.0 sec. user=mdettweiler [2015-02-13 06:22:11] 873*2^1390927-1 is not prime. Res64: C9D2971268438EA5 Time : 0.0 sec. user=mdettweiler [2015-02-13 06:35:28] 665*2^1390928-1 is not prime. Res64: A0A3379423EB640B Time : 0.0 sec. user=mdettweiler [2015-02-13 06:35:28] 669*2^1390928-1 is not prime. Res64: EDEF49825F904BFC Time : 0.0 sec. user=mdettweiler [2015-02-13 06:35:31] 939*2^1390927-1 is not prime. Res64: 0507BB41EBF3ADFF Time : 0.0 sec. user=mdettweiler [2015-02-13 06:35:31] 951*2^1390927-1 is not prime. Res64: DE2609D409F96D29 Time : 0.0 sec. user=mdettweiler [2015-02-13 06:47:40] 797*2^1390928-1 is not prime. Res64: 255FD744FF857AFE Time : 0.0 sec. user=mdettweiler [2015-02-13 06:47:40] 843*2^1390928-1 is not prime. Res64: 50B235925CE34F93 Time : 0.0 sec. user=mdettweiler [2015-02-13 06:47:42] 935*2^1390928-1 is not prime. Res64: 15E2FDD7EF6BF25C Time : 0.0 sec. user=mdettweiler [2015-02-13 06:47:43] 999*2^1390928-1 is not prime. Res64: 8E796C3426C8D14B Time : 0.0 sec. user=mdettweiler [2015-02-13 07:00:52] 741*2^1390929-1 is not prime. Res64: E49A16C025697B06 Time : 0.0 sec. user=mdettweiler [2015-02-13 07:00:53] 831*2^1390929-1 is not prime. Res64: 7BF5AE7481EA3A0A Time : 0.0 sec. user=mdettweiler [2015-02-13 07:00:56] 669*2^1390929-1 is not prime. Res64: 3C5C5671E495ABF1 Time : 0.0 sec. user=mdettweiler [2015-02-13 07:00:58] 685*2^1390929-1 is not prime. Res64: 45CAE7ABFD7472E1 Time : 0.0 sec. user=juhehe [2015-02-13 07:02:14] 625*2^1390929-1 is not prime. Res64: 74D89431C3B143FA Time : 0.0 sec. user=mdettweiler [2015-02-13 07:13:07] 895*2^1390929-1 is not prime. Res64: 1F62D2BC20151912 Time : 0.0 sec. user=mdettweiler [2015-02-13 07:13:07] 603*2^1390930-1 is not prime. Res64: 910A8DB8AE913D32 Time : 0.0 sec. user=mdettweiler [2015-02-13 07:13:08] 645*2^1390930-1 is not prime. Res64: 2CF7594F316B8A22 Time : 0.0 sec. user=mdettweiler [2015-02-13 07:13:09] 647*2^1390930-1 is not prime. Res64: FFC1AC57F70407D8 Time : 0.0 sec. user=mdettweiler [2015-02-13 07:26:29] 975*2^1390930-1 is not prime. Res64: 171C0940D4A46AFB Time : 0.0 sec. user=mdettweiler [2015-02-13 07:26:30] 987*2^1390930-1 is not prime. Res64: FB6D7D817C2E451D Time : 0.0 sec. user=mdettweiler [2015-02-13 07:26:35] 911*2^1390930-1 is not prime. Res64: 560A8B51DBD6A7C4 Time : 0.0 sec. user=mdettweiler [2015-02-13 07:26:35] 945*2^1390930-1 is not prime. Res64: 83D7687CF7D9141B Time : 0.0 sec. user=mdettweiler [2015-02-13 07:38:37] 1001*2^1390930-1 is not prime. Res64: 0418F5891670295F Time : 0.0 sec. user=mdettweiler [2015-02-13 07:38:38] 673*2^1390931-1 is not prime. Res64: 68D0AD82A1E44CC4 Time : 0.0 sec. user=mdettweiler [2015-02-13 07:38:50] 783*2^1390931-1 is not prime. Res64: 60CA299261C39916 Time : 0.0 sec. user=mdettweiler [2015-02-13 07:38:51] 903*2^1390931-1 is not prime. Res64: 7DE91B0C54A5FCC1 Time : 0.0 sec. user=mdettweiler [2015-02-13 07:51:59] 909*2^1390931-1 is not prime. Res64: CEFB78A3CF1BE218 Time : 0.0 sec. user=mdettweiler [2015-02-13 07:51:59] 635*2^1390932-1 is not prime. Res64: 6AD28D3F66C46A91 Time : 0.0 sec. user=mdettweiler [2015-02-13 07:52:05] 689*2^1390932-1 is not prime. Res64: 69F0F540EAE8291D Time : 0.0 sec. user=mdettweiler [2015-02-13 07:52:06] 699*2^1390932-1 is not prime. Res64: E239BE37B8BA33AC Time : 0.0 sec. user=mdettweiler [2015-02-13 08:04:07] 797*2^1390932-1 is not prime. Res64: 105349E5055F5B3C Time : 0.0 sec. user=mdettweiler [2015-02-13 08:04:09] 825*2^1390932-1 is not prime. Res64: B4A50A8A01B1DFF5 Time : 0.0 sec. user=mdettweiler [2015-02-13 08:04:22] 945*2^1390932-1 is not prime. Res64: F5F3F2FCBAEB33C1 Time : 0.0 sec. user=mdettweiler [2015-02-13 08:04:24] 681*2^1390933-1 is not prime. Res64: DD219BC748DAFF9B Time : 0.0 sec. user=mdettweiler [2015-02-13 08:17:26] 721*2^1390933-1 is not prime. Res64: B10AE0D05ADD7D7F Time : 0.0 sec. user=mdettweiler [2015-02-13 08:17:27] 741*2^1390933-1 is not prime. Res64: 0FA84596048E66E7 Time : 0.0 sec. user=mdettweiler [2015-02-13 08:17:32] 849*2^1390933-1 is not prime. Res64: 86FA28FFA8C5C48F Time : 0.0 sec. user=mdettweiler [2015-02-13 08:17:32] 885*2^1390933-1 is not prime. Res64: ECBEAA4F7E2E1F23 Time : 0.0 sec. user=mdettweiler [2015-02-13 08:30:04] 955*2^1390933-1 is not prime. Res64: 959176C5638A6FFB Time : 0.0 sec. user=mdettweiler [2015-02-13 08:30:05] 683*2^1390934-1 is not prime. Res64: A159732BAF16C06E Time : 0.0 sec. user=mdettweiler [2015-02-13 08:30:09] 755*2^1390934-1 is not prime. Res64: 5299E3D1B437734C Time : 0.0 sec. user=mdettweiler [2015-02-13 08:30:09] 851*2^1390934-1 is not prime. Res64: F47AF2FE732605B9 Time : 0.0 sec. user=mdettweiler [2015-02-13 08:42:56] 693*2^1390935-1 is not prime. Res64: 201613B3083E147A Time : 0.0 sec. user=mdettweiler [2015-02-13 08:42:56] 741*2^1390935-1 is not prime. Res64: 6FDB30CB36C3D2FC Time : 0.0 sec. user=mdettweiler [2015-02-13 08:42:59] 971*2^1390934-1 is not prime. Res64: 8E9B04D2532A6564 Time : 0.0 sec. user=mdettweiler [2015-02-13 08:42:59] 995*2^1390934-1 is not prime. Res64: 001ABE7923A12849 Time : 0.0 sec. user=mdettweiler [2015-02-13 08:55:29] 783*2^1390935-1 is not prime. Res64: 30CA15CE9B0E7466 Time : 0.0 sec. user=mdettweiler [2015-02-13 08:55:30] 969*2^1390935-1 is not prime. Res64: 8F65B42355EBBE10 Time : 0.0 sec. user=mdettweiler [2015-02-13 08:55:42] 653*2^1390936-1 is not prime. Res64: 96570A1A678E39D4 Time : 0.0 sec. user=mdettweiler [2015-02-13 08:55:43] 743*2^1390936-1 is not prime. Res64: BA31CC9BBFC77207 Time : 0.0 sec. user=mdettweiler [2015-02-13 09:08:28] 965*2^1390936-1 is not prime. Res64: 351B9ADF3FD4FABC Time : 0.0 sec. user=mdettweiler [2015-02-13 09:08:29] 619*2^1390937-1 is not prime. Res64: 3DA4D9452EDD4B92 Time : 0.0 sec. user=mdettweiler [2015-02-13 09:08:30] 869*2^1390936-1 is not prime. Res64: CF6F5E47CA4A957A Time : 0.0 sec. user=mdettweiler [2015-02-13 09:08:30] 873*2^1390936-1 is not prime. Res64: 100A14F8E04909AA Time : 0.0 sec. user=mdettweiler [2015-02-13 09:20:55] 631*2^1390937-1 is not prime. Res64: 5AA5B708471D8F15 Time : 0.0 sec. user=mdettweiler [2015-02-13 09:20:55] 669*2^1390937-1 is not prime. Res64: 1B84E5291975EF9C Time : 0.0 sec. user=mdettweiler [2015-02-13 09:21:04] 697*2^1390937-1 is not prime. Res64: 888A7BB00621D81E Time : 0.0 sec. user=mdettweiler [2015-02-13 09:21:04] 715*2^1390937-1 is not prime. Res64: 99DBCB5F98E9AA05 Time : 0.0 sec. user=mdettweiler [2015-02-13 09:33:54] 627*2^1390938-1 is not prime. Res64: 6F42F0124666CB4D Time : 0.0 sec. user=mdettweiler [2015-02-13 09:33:55] 765*2^1390938-1 is not prime. Res64: 9ACBF6FC0D6F86D5 Time : 0.0 sec. user=mdettweiler [2015-02-13 09:33:56] 741*2^1390937-1 is not prime. Res64: CB3016D8AE63A6EA Time : 0.0 sec. user=mdettweiler [2015-02-13 09:33:57] 747*2^1390937-1 is not prime. Res64: A90DA40BDFA46073 Time : 0.0 sec. user=mdettweiler [2015-02-13 09:46:31] 821*2^1390938-1 is not prime. Res64: 7633C9F897CE0793 Time : 0.0 sec. user=mdettweiler [2015-02-13 09:46:31] 777*2^1390938-1 is not prime. Res64: 2A18F96B3B70D8B3 Time : 0.0 sec. user=mdettweiler [2015-02-13 09:46:31] 875*2^1390938-1 is not prime. Res64: 070AB0938A9EDDD2 Time : 0.0 sec. user=mdettweiler [2015-02-13 09:46:32] 797*2^1390938-1 is not prime. Res64: 4D287029A33E9A5F Time : 0.0 sec. user=mdettweiler [2015-02-13 09:59:28] 881*2^1390938-1 is not prime. Res64: AE70173975D21B2E Time : 0.0 sec. user=mdettweiler [2015-02-13 09:59:29] 933*2^1390938-1 is not prime. Res64: 821C7AB62B5015E5 Time : 0.0 sec. user=mdettweiler [2015-02-13 09:59:34] 633*2^1390939-1 is not prime. Res64: 08CDF6A63EFB093F Time : 0.0 sec. user=mdettweiler [2015-02-13 09:59:35] 993*2^1390939-1 is not prime. Res64: 71ABFE2D6384D2DD Time : 0.0 sec. user=mdettweiler [2015-02-13 10:11:49] 647*2^1390940-1 is not prime. Res64: 03F8B9B12BDC13EF Time : 0.0 sec. user=mdettweiler [2015-02-13 10:11:49] 857*2^1390940-1 is not prime. Res64: 5ADB3A55C19CE556 Time : 0.0 sec. user=mdettweiler [2015-02-13 10:12:06] 609*2^1390940-1 is not prime. Res64: AFC6D1C09A82CF62 Time : 0.0 sec. user=mdettweiler [2015-02-13 10:12:07] 629*2^1390940-1 is not prime. Res64: 4F630C3176E524BA Time : 0.0 sec. user=mdettweiler [2015-02-13 10:24:49] 915*2^1390940-1 is not prime. Res64: 8C881F7E76C48705 Time : 0.0 sec. user=mdettweiler [2015-02-13 10:24:49] 983*2^1390940-1 is not prime. Res64: FF78E3C625DAB1F5 Time : 0.0 sec. user=mdettweiler [2015-02-13 10:25:05] 889*2^1390941-1 is not prime. Res64: 3E50A54D4EA6D237 Time : 0.0 sec. user=mdettweiler [2015-02-13 10:25:05] 901*2^1390941-1 is not prime. Res64: 4C7B078D3FC604D3 Time : 0.0 sec. user=mdettweiler [2015-02-13 10:37:12] 907*2^1390941-1 is not prime. Res64: 023856EEC4B3A64C Time : 0.0 sec. user=mdettweiler [2015-02-13 10:37:12] 945*2^1390941-1 is not prime. Res64: BDA655ED77DEA995 Time : 0.0 sec. user=mdettweiler [2015-02-13 10:37:31] 979*2^1390941-1 is not prime. Res64: 46DC32663D37D23A Time : 0.0 sec. user=mdettweiler [2015-02-13 10:37:31] 657*2^1390942-1 is not prime. Res64: 1723917FE73D7062 Time : 0.0 sec. user=mdettweiler [2015-02-13 10:50:23] 705*2^1390942-1 is not prime. Res64: CD56C75794A141F1 Time : 0.0 sec. user=mdettweiler [2015-02-13 10:50:24] 815*2^1390942-1 is not prime. Res64: 090A65395E850413 Time : 0.0 sec. user=mdettweiler [2015-02-13 10:50:32] 911*2^1390942-1 is not prime. Res64: 0F5352475CE147FC Time : 0.0 sec. user=mdettweiler [2015-02-13 10:50:33] 951*2^1390942-1 is not prime. Res64: 952747C5AAD7ADC0 Time : 0.0 sec. user=mdettweiler [2015-02-13 11:03:01] 983*2^1390942-1 is not prime. Res64: 5A7AC0C74B95E8A1 Time : 0.0 sec. user=mdettweiler [2015-02-13 11:03:02] 609*2^1390943-1 is not prime. Res64: 87FBC0320CF9DC39 Time : 0.0 sec. user=mdettweiler [2015-02-13 11:03:09] 685*2^1390943-1 is not prime. Res64: 460F479477CB88A6 Time : 0.0 sec. user=mdettweiler [2015-02-13 11:03:11] 745*2^1390943-1 is not prime. Res64: 9A31E1985AA0F740 Time : 0.0 sec. user=mdettweiler [2015-02-13 11:15:49] 783*2^1390943-1 is not prime. Res64: 4BF0712132B8B584 Time : 0.0 sec. user=mdettweiler [2015-02-13 11:15:50] 813*2^1390943-1 is not prime. Res64: 8A4644C3E5D1EFB2 Time : 0.0 sec. user=mdettweiler [2015-02-13 11:16:12] 823*2^1390943-1 is not prime. Res64: 0620B8086BB3A016 Time : 0.0 sec. user=mdettweiler [2015-02-13 11:16:13] 861*2^1390943-1 is not prime. Res64: 6B9194D6D3E473CF Time : 0.0 sec. user=mdettweiler [2015-02-13 11:29:10] 991*2^1390943-1 is not prime. Res64: A6C9857FA25F9C09 Time : 0.0 sec. user=mdettweiler [2015-02-13 11:29:11] 663*2^1390944-1 is not prime. Res64: 77E70BAC8A3A6C87 Time : 0.0 sec. user=mdettweiler [2015-02-13 11:29:22] 789*2^1390944-1 is not prime. Res64: 976063DA85510371 Time : 0.0 sec. user=mdettweiler [2015-02-13 11:29:23] 863*2^1390944-1 is not prime. Res64: 6C4C7393E77897D5 Time : 0.0 sec. user=mdettweiler [2015-02-13 11:41:38] 899*2^1390944-1 is not prime. Res64: A725CE1ECFDA8404 Time : 0.0 sec. user=mdettweiler [2015-02-13 11:41:38] 903*2^1390944-1 is not prime. Res64: BCDB6D329708F557 Time : 0.0 sec. user=mdettweiler [2015-02-13 11:41:43] 927*2^1390944-1 is not prime. Res64: 54963D7FDD1F7104 Time : 0.0 sec. user=mdettweiler [2015-02-13 11:41:44] 959*2^1390944-1 is not prime. Res64: 1ADB780A8866D450 Time : 0.0 sec. user=mdettweiler [2015-02-13 11:54:45] 609*2^1390945-1 is not prime. Res64: 219831F5561A9145 Time : 0.0 sec. user=mdettweiler [2015-02-13 11:54:45] 729*2^1390945-1 is not prime. Res64: 649968A753660253 Time : 0.0 sec. user=mdettweiler [2015-02-13 11:54:55] 775*2^1390945-1 is not prime. Res64: ED23B4DB71107D71 Time : 0.0 sec. user=mdettweiler [2015-02-13 11:54:56] 799*2^1390945-1 is not prime. Res64: 825E8F27D55B7116 Time : 0.0 sec. user=mdettweiler [2015-02-13 12:07:11] 847*2^1390945-1 is not prime. Res64: 64BDF19EC6C9C452 Time : 0.0 sec. user=mdettweiler [2015-02-13 12:07:12] 855*2^1390945-1 is not prime. Res64: 7D2204FF01FC5E26 Time : 0.0 sec. user=mdettweiler [2015-02-13 12:07:13] 867*2^1390945-1 is not prime. Res64: C4B66E952EC73E4D Time : 0.0 sec. user=mdettweiler [2015-02-13 12:07:13] 871*2^1390945-1 is not prime. Res64: E28BA8C3003B2641 Time : 0.0 sec. user=mdettweiler [2015-02-13 12:20:22] 999*2^1390945-1 is not prime. Res64: 233BDAA562FD6AB9 Time : 0.0 sec. user=mdettweiler [2015-02-13 12:20:22] 755*2^1390946-1 is not prime. Res64: E647B35E418AA363 Time : 0.0 sec. user=mdettweiler [2015-02-13 12:20:27] 963*2^1390946-1 is not prime. Res64: 08BB6DC140845631 Time : 0.0 sec. user=mdettweiler [2015-02-13 12:20:28] 987*2^1390946-1 is not prime. Res64: B8F615DCBEC085F0 Time : 0.0 sec. user=mdettweiler [2015-02-13 12:32:43] 615*2^1390947-1 is not prime. Res64: CF3DC65832235A73 Time : 0.0 sec. user=mdettweiler [2015-02-13 12:32:44] 781*2^1390947-1 is not prime. Res64: 84FF095452A9543F Time : 0.0 sec. user=mdettweiler [2015-02-13 12:32:45] 805*2^1390947-1 is not prime. Res64: EEEE0A957AD43F53 Time : 0.0 sec. user=mdettweiler [2015-02-13 12:32:45] 623*2^1390948-1 is not prime. Res64: 4478FBFAF26D8275 Time : 0.0 sec. user=mdettweiler [2015-02-13 12:45:49] 639*2^1390948-1 is not prime. Res64: D5E34990EEE55DBF Time : 0.0 sec. user=mdettweiler [2015-02-13 12:45:49] 665*2^1390948-1 is not prime. Res64: C895CBB3A235368D Time : 0.0 sec. user=mdettweiler [2015-02-13 12:45:50] 735*2^1390948-1 is not prime. Res64: 70B25A9DF62BAF4E Time : 0.0 sec. user=mdettweiler [2015-02-13 12:45:51] 833*2^1390948-1 is not prime. Res64: A66C73054CBC5596 Time : 0.0 sec. user=mdettweiler [2015-02-13 12:59:02] 845*2^1390948-1 is not prime. Res64: 36C70C40CD8CDA2B Time : 0.0 sec. user=mdettweiler [2015-02-13 12:59:02] 619*2^1390949-1 is not prime. Res64: 8F82B436989026A3 Time : 0.0 sec. user=mdettweiler [2015-02-13 12:59:06] 645*2^1390949-1 is not prime. Res64: C6E9B82896538948 Time : 0.0 sec. user=mdettweiler [2015-02-13 12:59:06] 759*2^1390949-1 is not prime. Res64: 9D51B63FC34394BA Time : 0.0 sec. user=mdettweiler [2015-02-13 13:13:09] 789*2^1390949-1 is not prime. Res64: D43CF808DCACA9E5 Time : 0.0 sec. user=mdettweiler [2015-02-13 13:13:09] 879*2^1390949-1 is not prime. Res64: 9EF9C408EE08AEB0 Time : 0.0 sec. user=mdettweiler [2015-02-13 13:13:24] 885*2^1390949-1 is not prime. Res64: 1459358FE77DD2BA Time : 0.0 sec. user=mdettweiler [2015-02-13 13:13:24] 889*2^1390949-1 is not prime. Res64: 6768E3852CCC340F Time : 0.0 sec. user=mdettweiler [2015-02-13 13:29:04] 897*2^1390949-1 is not prime. Res64: 777AD534D3E2B733 Time : 0.0 sec. user=mdettweiler [2015-02-13 13:29:04] 949*2^1390949-1 is not prime. Res64: F4C0998E531726B9 Time : 0.0 sec. user=mdettweiler [2015-02-13 13:29:09] 677*2^1390950-1 is not prime. Res64: B2EDD713A8F7DB25 Time : 0.0 sec. user=mdettweiler [2015-02-13 13:29:10] 747*2^1390950-1 is not prime. Res64: CBEA5639E47B8A89 Time : 0.0 sec. user=mdettweiler [2015-02-13 13:52:33] 773*2^1390950-1 is not prime. Res64: F503ACCE0D7D5FBE Time : 0.0 sec. user=mdettweiler [2015-02-13 13:52:33] 851*2^1390950-1 is not prime. Res64: E98428CA08C3C10F Time : 0.0 sec. user=mdettweiler [2015-02-13 13:52:42] 923*2^1390950-1 is not prime. Res64: 9426CF9CAB463FE7 Time : 0.0 sec. user=mdettweiler [2015-02-13 13:52:42] 1001*2^1390950-1 is not prime. Res64: E2B6E4F71087B5D5 Time : 0.0 sec. user=mdettweiler [2015-02-13 14:06:39] 619*2^1390951-1 is not prime. Res64: 69253528FEA0F133 Time : 0.0 sec. user=mdettweiler [2015-02-13 14:06:40] 649*2^1390951-1 is not prime. Res64: 3AE0F36F58EE1462 Time : 0.0 sec. user=mdettweiler [2015-02-13 14:07:41] 661*2^1390951-1 is not prime. Res64: D12C3B4366E36F08 Time : 0.0 sec. user=mdettweiler [2015-02-13 14:07:41] 759*2^1390951-1 is not prime. Res64: 2FE6D33771FAE4FF Time : 0.0 sec. user=mdettweiler [2015-02-13 14:20:58] 923*2^1390952-1 is not prime. Res64: 6547F8B229B1FBA7 Time : 0.0 sec. user=mdettweiler [2015-02-13 14:20:58] 963*2^1390952-1 is not prime. Res64: CA53AC046153CA55 Time : 0.0 sec. user=mdettweiler [2015-02-13 14:21:20] 713*2^1390952-1 is not prime. Res64: 6E88CD17965C9DCD Time : 0.0 sec. user=mdettweiler [2015-02-13 14:21:20] 797*2^1390952-1 is not prime. Res64: 3E548575DBBF4968 Time : 0.0 sec. user=mdettweiler [2015-02-13 14:32:56] 983*2^1390952-1 is not prime. Res64: 97B95D55276E5154 Time : 0.0 sec. user=mdettweiler [2015-02-13 14:32:57] 681*2^1390953-1 is not prime. Res64: 7DE62CCBEC43C5BA Time : 0.0 sec. user=mdettweiler [2015-02-13 14:33:57] 745*2^1390953-1 is not prime. Res64: F960DB427A849615 Time : 0.0 sec. user=mdettweiler [2015-02-13 14:33:57] 759*2^1390953-1 is not prime. Res64: D00268DA521E3000 Time : 0.0 sec. user=mdettweiler [2015-02-13 14:46:53] 835*2^1390953-1 is not prime. Res64: 0F6203C1773A14E4 Time : 0.0 sec. user=mdettweiler [2015-02-13 14:46:53] 889*2^1390953-1 is not prime. Res64: BB9FE2282DDB898D Time : 0.0 sec. user=mdettweiler [2015-02-13 14:47:10] 895*2^1390953-1 is not prime. Res64: 7D196BC8DE09C372 Time : 0.0 sec. user=mdettweiler [2015-02-13 14:47:11] 663*2^1390954-1 is not prime. Res64: FA852B5F692BA0C3 Time : 0.0 sec. user=mdettweiler [2015-02-13 14:58:48] 675*2^1390954-1 is not prime. Res64: E8ECE1A80AB4BEAA Time : 0.0 sec. user=mdettweiler [2015-02-13 14:58:49] 687*2^1390954-1 is not prime. Res64: 87E2AE8332A83765 Time : 0.0 sec. user=mdettweiler [2015-02-13 14:59:52] 701*2^1390954-1 is not prime. Res64: 408FD9579E92C133 Time : 0.0 sec. user=mdettweiler [2015-02-13 14:59:53] 773*2^1390954-1 is not prime. Res64: FAB0C24806AD794C Time : 0.0 sec. user=mdettweiler [2015-02-13 15:12:46] 815*2^1390954-1 is not prime. Res64: FA3490E2C5BB9E7D Time : 0.0 sec. user=mdettweiler [2015-02-13 15:12:47] 885*2^1390954-1 is not prime. Res64: B2FF84CB05B5C838 Time : 0.0 sec. user=mdettweiler [2015-02-13 15:12:57] 945*2^1390954-1 is not prime. Res64: 80C9C1F00E296A40 Time : 0.0 sec. user=mdettweiler [2015-02-13 15:12:57] 799*2^1390955-1 is not prime. Res64: E8B37E01BD9BF0A8 Time : 0.0 sec. user=mdettweiler [2015-02-13 15:25:02] 859*2^1390955-1 is not prime. Res64: DDA861B14A2E1EF8 Time : 0.0 sec. user=mdettweiler [2015-02-13 15:25:02] 885*2^1390955-1 is not prime. Res64: 4B965517B3DD6E86 Time : 0.0 sec. user=mdettweiler [2015-02-13 15:26:11] 949*2^1390955-1 is not prime. Res64: D221164A58932D0A Time : 0.0 sec. user=mdettweiler [2015-02-13 15:26:12] 633*2^1390956-1 is not prime. Res64: 15084C8AF490B2B9 Time : 0.0 sec. user=mdettweiler [2015-02-13 15:39:42] 735*2^1390956-1 is not prime. Res64: 9B624BBDFF6B4422 Time : 0.0 sec. user=mdettweiler [2015-02-13 15:39:42] 845*2^1390956-1 is not prime. Res64: 7A2DF67F05AB5117 Time : 0.0 sec. user=mdettweiler [2015-02-13 15:39:47] 873*2^1390956-1 is not prime. Res64: 3888D02368ABC591 Time : 0.0 sec. user=mdettweiler [2015-02-13 15:39:47] 875*2^1390956-1 is not prime. Res64: 616025876EF356D4 Time : 0.0 sec. user=mdettweiler [2015-02-13 15:52:24] 799*2^1390957-1 is not prime. Res64: 86C574430ADAFEA7 Time : 0.0 sec. user=mdettweiler [2015-02-13 15:52:25] 847*2^1390957-1 is not prime. Res64: C8EC1C2189C1E505 Time : 0.0 sec. user=mdettweiler [2015-02-13 15:54:06] 939*2^1390957-1 is not prime. Res64: B58C271F7F74A505 Time : 0.0 sec. user=mdettweiler [2015-02-13 15:54:06] 955*2^1390957-1 is not prime. Res64: 1BECA192A6CC960E Time : 0.0 sec. user=mdettweiler [2015-02-13 16:07:52] 687*2^1390958-1 is not prime. Res64: AC02F1B831283C6B Time : 0.0 sec. user=mdettweiler [2015-02-13 16:07:52] 603*2^1390958-1 is not prime. Res64: D6B928049944238E Time : 0.0 sec. user=mdettweiler [2015-02-13 16:07:53] 711*2^1390958-1 is not prime. Res64: 800151CC9DFE4557 Time : 0.0 sec. user=mdettweiler [2015-02-13 16:07:53] 665*2^1390958-1 is not prime. Res64: 804775F0421C0E2F Time : 0.0 sec. user=mdettweiler [2015-02-13 16:20:24] 731*2^1390958-1 is not prime. Res64: DBCA34298A59B91A Time : 0.0 sec. user=mdettweiler [2015-02-13 16:20:25] 743*2^1390958-1 is not prime. Res64: D38CA35AFFE71276 Time : 0.0 sec. user=mdettweiler [2015-02-13 16:21:50] 795*2^1390958-1 is not prime. Res64: 23E52A4BEAB41351 Time : 0.0 sec. user=mdettweiler [2015-02-13 16:21:51] 797*2^1390958-1 is not prime. Res64: 6D1DD0AF7A450B0D Time : 0.0 sec. user=mdettweiler [2015-02-13 16:34:47] 885*2^1390958-1 is not prime. Res64: 1B3AEA443293E54E Time : 0.0 sec. user=mdettweiler [2015-02-13 16:34:47] 935*2^1390958-1 is not prime. Res64: 3D87E9448F763AAD Time : 0.0 sec. user=mdettweiler [2015-02-13 16:35:12] 693*2^1390959-1 is not prime. Res64: 61F97302697D4EE3 Time : 0.0 sec. user=mdettweiler [2015-02-13 16:35:12] 843*2^1390959-1 is not prime. Res64: BE2DEFFFFB9B0447 Time : 0.0 sec. user=mdettweiler [2015-02-13 16:47:45] 909*2^1390959-1 is not prime. Res64: 95D2526ED11A2970 Time : 0.0 sec. user=mdettweiler [2015-02-13 16:47:45] 975*2^1390959-1 is not prime. Res64: E1518F590E8A2150 Time : 0.0 sec. user=mdettweiler [2015-02-13 16:48:54] 999*2^1390959-1 is not prime. Res64: E0C39EB501044F6A Time : 0.0 sec. user=mdettweiler [2015-02-13 16:48:55] 603*2^1390960-1 is not prime. Res64: 944462F688A17B71 Time : 0.0 sec. user=mdettweiler [2015-02-13 17:02:07] 665*2^1390960-1 is not prime. Res64: B8C6603532791C27 Time : 0.0 sec. user=mdettweiler [2015-02-13 17:02:10] 699*2^1390960-1 is not prime. Res64: E7233CEC259CF0E9 Time : 0.0 sec. user=mdettweiler [2015-02-13 17:02:42] 717*2^1390960-1 is not prime. Res64: D675388ED02836B8 Time : 0.0 sec. user=mdettweiler [2015-02-13 17:02:43] 813*2^1390960-1 is not prime. Res64: 011F479CFA66F351 Time : 0.0 sec. user=mdettweiler [2015-02-13 17:15:09] 819*2^1390960-1 is not prime. Res64: CD861281EF2C0BB4 Time : 0.0 sec. user=mdettweiler [2015-02-13 17:15:10] 825*2^1390960-1 is not prime. Res64: A96FB294A938C10D Time : 0.0 sec. user=mdettweiler [2015-02-13 17:16:23] 965*2^1390960-1 is not prime. Res64: 5233B1F08813538F Time : 0.0 sec. user=mdettweiler [2015-02-13 17:16:24] 637*2^1390961-1 is not prime. Res64: 2943C5988D2D2F21 Time : 0.0 sec. user=mdettweiler [2015-02-13 17:29:34] 649*2^1390961-1 is not prime. Res64: B06324492472094A Time : 0.0 sec. user=mdettweiler [2015-02-13 17:29:35] 685*2^1390961-1 is not prime. Res64: 7EE9F50B8996EE4A Time : 0.0 sec. user=mdettweiler [2015-02-13 17:29:50] 775*2^1390961-1 is not prime. Res64: 7AB9BA8ECD420AF3 Time : 0.0 sec. user=mdettweiler [2015-02-13 17:29:51] 781*2^1390961-1 is not prime. Res64: E86EA814DA994309 Time : 0.0 sec. user=juhehe [2015-02-13 17:39:10] 819*2^1390961-1 is not prime. Res64: D62DA1FA768C03D3 Time : 0.0 sec. user=mdettweiler [2015-02-13 17:42:19] 861*2^1390961-1 is not prime. Res64: DEC17F455C27333D Time : 0.0 sec. user=mdettweiler [2015-02-13 17:42:19] 865*2^1390961-1 is not prime. Res64: E05FA9CA7517A1E6 Time : 0.0 sec. user=mdettweiler [2015-02-13 17:43:16] 683*2^1390962-1 is not prime. Res64: 18829F8865D1D9C7 Time : 0.0 sec. user=mdettweiler [2015-02-13 17:43:17] 717*2^1390962-1 is not prime. Res64: 06697071FFD73FBF Time : 0.0 sec. user=mdettweiler [2015-02-13 17:56:46] 893*2^1390962-1 is not prime. Res64: FD18F4B07F70EC7B Time : 0.0 sec. user=mdettweiler [2015-02-13 17:56:46] 917*2^1390962-1 is not prime. Res64: 9B8219AD07E931A4 Time : 0.0 sec. user=mdettweiler [2015-02-13 17:56:56] 963*2^1390962-1 is not prime. Res64: BFCB82458236000C Time : 0.0 sec. user=mdettweiler [2015-02-13 17:56:57] 609*2^1390963-1 is not prime. Res64: 26641C6FBE12C1C4 Time : 0.0 sec. user=mdettweiler [2015-02-13 18:09:54] 649*2^1390963-1 is not prime. Res64: F72CC62C9C51FC10 Time : 0.0 sec. user=mdettweiler [2015-02-13 18:09:55] 885*2^1390963-1 is not prime. Res64: D13901680CC7FC2F Time : 0.0 sec. user=mdettweiler [2015-02-13 18:10:41] 617*2^1390964-1 is not prime. Res64: 66516CCF95517F07 Time : 0.0 sec. user=mdettweiler [2015-02-13 18:10:42] 687*2^1390964-1 is not prime. Res64: 814E2185C9FB63F8 Time : 0.0 sec. user=mdettweiler [2015-02-13 18:24:11] 827*2^1390964-1 is not prime. Res64: A4C046CD9786D8A8 Time : 0.0 sec. user=mdettweiler [2015-02-13 18:24:12] 903*2^1390964-1 is not prime. Res64: 21CD0ABB8B312971 Time : 0.0 sec. user=mdettweiler [2015-02-13 18:25:09] 915*2^1390964-1 is not prime. Res64: C06FA4F687702551 Time : 0.0 sec. user=mdettweiler [2015-02-13 18:25:10] 935*2^1390964-1 is not prime. Res64: 050C79C339209981 Time : 0.0 sec. user=mdettweiler [2015-02-13 18:38:56] 669*2^1390965-1 is not prime. Res64: D542F409EC4140C6 Time : 0.0 sec. user=mdettweiler [2015-02-13 18:38:57] 781*2^1390965-1 is not prime. Res64: 2EAEF20E8EDB7AAC Time : 0.0 sec. user=mdettweiler [2015-02-13 18:39:18] 609*2^1390965-1 is not prime. Res64: E1DDC786382267FB Time : 0.0 sec. user=mdettweiler [2015-02-13 18:39:18] 649*2^1390965-1 is not prime. Res64: CFBEC6829DDBF5A7 Time : 0.0 sec. user=mdettweiler [2015-02-13 18:52:06] 861*2^1390965-1 is not prime. Res64: 506F32AD538BCA00 Time : 0.0 sec. user=mdettweiler [2015-02-13 18:52:06] 653*2^1390966-1 is not prime. Res64: A5FB4F332CE75EAE Time : 0.0 sec. user=mdettweiler [2015-02-13 18:53:38] 867*2^1390966-1 is not prime. Res64: CB596B5EEFCB97A8 Time : 0.0 sec. user=mdettweiler [2015-02-13 18:53:39] 957*2^1390966-1 is not prime. Res64: DFE2DE53EDE9F738 Time : 0.0 sec. user=mdettweiler [2015-02-13 19:06:39] 609*2^1390967-1 is not prime. Res64: 6A0B6A7EED08AE70 Time : 0.0 sec. user=mdettweiler [2015-02-13 19:06:39] 703*2^1390967-1 is not prime. Res64: 9A39CE54F9F11725 Time : 0.0 sec. user=mdettweiler [2015-02-13 19:06:40] 675*2^1390967-1 is not prime. Res64: E8F2D00C0A478B5F Time : 0.0 sec. user=mdettweiler [2015-02-13 19:06:40] 729*2^1390967-1 is not prime. Res64: D115D81A144F0872 Time : 0.0 sec. user=mdettweiler [2015-02-13 19:20:18] 735*2^1390967-1 is not prime. Res64: B91374715BA51101 Time : 0.0 sec. user=mdettweiler [2015-02-13 19:20:18] 799*2^1390967-1 is not prime. Res64: 01734B52DEAA4BD2 Time : 0.0 sec. user=mdettweiler [2015-02-13 19:21:58] 829*2^1390967-1 is not prime. Res64: 33F3C1D323A85FBB Time : 0.0 sec. user=mdettweiler [2015-02-13 19:21:58] 737*2^1390968-1 is not prime. Res64: AA99B72CCBB7495A Time : 0.0 sec. user=mdettweiler [2015-02-13 19:34:38] 777*2^1390968-1 is not prime. Res64: 922FC56EEFDFB788 Time : 0.0 sec. user=mdettweiler [2015-02-13 19:34:38] 819*2^1390968-1 is not prime. Res64: 453F91246F307DC6 Time : 0.0 sec. user=mdettweiler [2015-02-13 19:34:58] 753*2^1390968-1 is not prime. Res64: C6FEEED2AADBF2D2 Time : 0.0 sec. user=mdettweiler [2015-02-13 19:34:59] 765*2^1390968-1 is not prime. Res64: A5E95B3AD9070532 Time : 0.0 sec. user=mdettweiler [2015-02-13 19:47:37] 929*2^1390968-1 is not prime. Res64: 6F7215679AC99E19 Time : 0.0 sec. user=mdettweiler [2015-02-13 19:47:38] 957*2^1390968-1 is not prime. Res64: E898876F2566B937 Time : 0.0 sec. user=mdettweiler [2015-02-13 19:48:53] 771*2^1390969-1 is not prime. Res64: A95BD1DB18880D9E Time : 0.0 sec. user=mdettweiler [2015-02-13 19:48:54] 867*2^1390969-1 is not prime. Res64: 09D3F3E153B43E53 Time : 0.0 sec. user=mdettweiler [2015-02-13 20:01:20] 877*2^1390969-1 is not prime. Res64: 693F722D53920E8A Time : 0.0 sec. user=mdettweiler [2015-02-13 20:01:21] 985*2^1390969-1 is not prime. Res64: 3CA5A605655C096E Time : 0.0 sec. user=mdettweiler [2015-02-13 20:01:41] 615*2^1390970-1 is not prime. Res64: F98D5F129FD14098 Time : 0.0 sec. user=mdettweiler [2015-02-13 20:01:42] 831*2^1390970-1 is not prime. Res64: ABB063FDE6046762 Time : 0.0 sec. user=mdettweiler [2015-02-13 20:13:51] 851*2^1390970-1 is not prime. Res64: 36BAF739EB2B6C76 Time : 0.0 sec. user=mdettweiler [2015-02-13 20:13:52] 857*2^1390970-1 is not prime. Res64: 51413C3812B31E35 Time : 0.0 sec. user=mdettweiler [2015-02-13 20:15:12] 887*2^1390970-1 is not prime. Res64: 2C80B6EF7F89D634 Time : 0.0 sec. user=mdettweiler [2015-02-13 20:15:13] 915*2^1390970-1 is not prime. Res64: 0B05F97BB6450B3B Time : 0.0 sec. user=mdettweiler [2015-02-13 20:27:39] 751*2^1390971-1 is not prime. Res64: BCE628A62BCEBFC3 Time : 0.0 sec. user=mdettweiler [2015-02-13 20:27:40] 849*2^1390971-1 is not prime. Res64: 8A3699681725A609 Time : 0.0 sec. user=mdettweiler [2015-02-13 20:27:43] 609*2^1390971-1 is not prime. Res64: 874A14F60F495D38 Time : 0.0 sec. user=mdettweiler [2015-02-13 20:27:43] 619*2^1390971-1 is not prime. Res64: 5107E20B69E1C024 Time : 0.0 sec. user=mdettweiler [2015-02-13 20:39:48] 861*2^1390971-1 is not prime. Res64: 115CEB7FE067E437 Time : 0.0 sec. user=mdettweiler [2015-02-13 20:39:48] 895*2^1390971-1 is not prime. Res64: 6A5E0BBC3296C44B Time : 0.0 sec. user=mdettweiler [2015-02-13 20:41:25] 921*2^1390971-1 is not prime. Res64: 93086FC7929C61E2 Time : 0.0 sec. user=mdettweiler [2015-02-13 20:41:25] 677*2^1390972-1 is not prime. Res64: 1268D89EEE108764 Time : 0.0 sec. user=mdettweiler [2015-02-13 20:53:42] 777*2^1390972-1 is not prime. Res64: 725E5931705493D4 Time : 0.0 sec. user=mdettweiler [2015-02-13 20:53:43] 807*2^1390972-1 is not prime. Res64: B8DD966ED244BA08 Time : 0.0 sec. user=mdettweiler [2015-02-13 20:53:50] 825*2^1390972-1 is not prime. Res64: 191797BA8BE18BB9 Time : 0.0 sec. user=mdettweiler [2015-02-13 20:53:51] 915*2^1390972-1 is not prime. Res64: 4A19D8C813337B51 Time : 0.0 sec. user=mdettweiler [2015-02-13 21:05:56] 987*2^1390972-1 is not prime. Res64: F219E2188177A1B4 Time : 0.0 sec. user=mdettweiler [2015-02-13 21:05:57] 699*2^1390973-1 is not prime. Res64: 7207C38B883C85D4 Time : 0.0 sec. user=mdettweiler [2015-02-13 21:07:28] 721*2^1390973-1 is not prime. Res64: DD35EAC280C89351 Time : 0.0 sec. user=mdettweiler [2015-02-13 21:07:29] 759*2^1390973-1 is not prime. Res64: A8EA0A0B1A032D24 Time : 0.0 sec. user=mdettweiler [2015-02-13 21:19:48] 831*2^1390973-1 is not prime. Res64: 1FD6AD33CEE9E928 Time : 0.0 sec. user=mdettweiler [2015-02-13 21:19:49] 925*2^1390973-1 is not prime. Res64: A9C75AF159206E0B Time : 0.0 sec. user=mdettweiler [2015-02-13 21:19:51] 789*2^1390973-1 is not prime. Res64: 9AFD795EA361DE95 Time : 0.0 sec. user=mdettweiler [2015-02-13 21:19:52] 795*2^1390973-1 is not prime. Res64: E6FA4C8B42EA024A Time : 0.0 sec. user=mdettweiler [2015-02-13 21:32:06] 927*2^1390973-1 is not prime. Res64: 8DBAF161D9122F51 Time : 0.0 sec. user=mdettweiler [2015-02-13 21:32:07] 945*2^1390973-1 is not prime. Res64: 461D31AEBF30FA1C Time : 0.0 sec. user=mdettweiler [2015-02-13 21:33:37] 611*2^1390974-1 is not prime. Res64: 897232DF10EFEC74 Time : 0.0 sec. user=mdettweiler [2015-02-13 21:33:38] 873*2^1390974-1 is not prime. Res64: 0ED585D7D3DFDF13 Time : 0.0 sec. user=mdettweiler [2015-02-13 21:45:49] 927*2^1390974-1 is not prime. Res64: 319E39F7D69EBCCF Time : 0.0 sec. user=mdettweiler [2015-02-13 21:45:49] 965*2^1390974-1 is not prime. Res64: 4A6737D07CA40FA7 Time : 0.0 sec. user=mdettweiler [2015-02-13 21:45:50] 947*2^1390974-1 is not prime. Res64: 1EC7767812042011 Time : 0.0 sec. user=mdettweiler [2015-02-13 21:45:50] 673*2^1390975-1 is not prime. Res64: 1F3E19B7B4FF1950 Time : 0.0 sec. user=mdettweiler [2015-02-13 21:58:08] 723*2^1390975-1 is not prime. Res64: 2FA986B0C90AE467 Time : 0.0 sec. user=mdettweiler [2015-02-13 21:58:09] 617*2^1390976-1 is not prime. Res64: 24F1427857E00110 Time : 0.0 sec. user=mdettweiler [2015-02-13 21:59:43] 785*2^1390976-1 is not prime. Res64: E05E8DF2CEBA2AB6 Time : 0.0 sec. user=mdettweiler [2015-02-13 21:59:43] 827*2^1390976-1 is not prime. Res64: 4A3AFA6C169E5778 Time : 0.0 sec. user=mdettweiler [2015-02-13 22:11:53] 855*2^1390976-1 is not prime. Res64: 12363A0051E32B90 Time : 0.0 sec. user=mdettweiler [2015-02-13 22:11:54] 903*2^1390976-1 is not prime. Res64: 4A955903814C8262 Time : 0.0 sec. user=mdettweiler [2015-02-13 22:11:55] 935*2^1390976-1 is not prime. Res64: 23B86EF008596A87 Time : 0.0 sec. user=mdettweiler [2015-02-13 22:11:56] 625*2^1390977-1 is not prime. Res64: 698FBAC39A5E70B7 Time : 0.0 sec. user=mdettweiler [2015-02-13 22:24:05] 627*2^1390977-1 is not prime. Res64: BCA4F8AA5E91F5C8 Time : 0.0 sec. user=mdettweiler [2015-02-13 22:24:06] 681*2^1390977-1 is not prime. Res64: E91BACCB7DA87DEF Time : 0.0 sec. user=mdettweiler [2015-02-13 22:25:49] 751*2^1390977-1 is not prime. Res64: EE984AC2D541D5E2 Time : 0.0 sec. user=mdettweiler [2015-02-13 22:25:49] 805*2^1390977-1 is not prime. Res64: A73A087739A7A3FE Time : 0.0 sec. user=mdettweiler [2015-02-13 22:38:09] 633*2^1390978-1 is not prime. Res64: 5F7C27DAD77AE8A2 Time : 0.0 sec. user=mdettweiler [2015-02-13 22:38:10] 813*2^1390978-1 is not prime. Res64: 6C8DF5042794181F Time : 0.0 sec. user=mdettweiler [2015-02-13 22:38:12] 909*2^1390977-1 is not prime. Res64: E112EA216F0255F8 Time : 0.0 sec. user=mdettweiler [2015-02-13 22:38:13] 937*2^1390977-1 is not prime. Res64: D022F7BBD0DE536F Time : 0.0 sec. user=mdettweiler [2015-02-13 22:50:16] 861*2^1390978-1 is not prime. Res64: FD92C2CE0955D9F7 Time : 0.0 sec. user=mdettweiler [2015-02-13 22:50:16] 957*2^1390978-1 is not prime. Res64: 6460F2B28468A4F0 Time : 0.0 sec. user=mdettweiler [2015-02-13 22:52:01] 971*2^1390978-1 is not prime. Res64: 420AF84AF6B81D93 Time : 0.0 sec. user=mdettweiler [2015-02-13 22:52:01] 995*2^1390978-1 is not prime. Res64: 2B99AB9A49014F2C Time : 0.0 sec. user=mdettweiler [2015-02-13 23:04:21] 979*2^1390979-1 is not prime. Res64: 6A06F66626718C9F Time : 0.0 sec. user=mdettweiler [2015-02-13 23:04:21] 633*2^1390979-1 is not prime. Res64: 7E9EAE1734204373 Time : 0.0 sec. user=mdettweiler [2015-02-13 23:04:22] 623*2^1390980-1 is not prime. Res64: 756894A14A2FB3E0 Time : 0.0 sec. user=mdettweiler [2015-02-13 23:04:22] 909*2^1390979-1 is not prime. Res64: D9B0F14FDB9093F5 Time : 0.0 sec. user=mdettweiler [2015-02-13 23:16:21] 647*2^1390980-1 is not prime. Res64: 9EBF31916F954821 Time : 0.0 sec. user=mdettweiler [2015-02-13 23:16:22] 695*2^1390980-1 is not prime. Res64: B3A1AB19A2154D32 Time : 0.0 sec. user=mdettweiler [2015-02-13 23:18:07] 803*2^1390980-1 is not prime. Res64: CB2A5F9C14E083CB Time : 0.0 sec. user=mdettweiler [2015-02-13 23:18:07] 929*2^1390980-1 is not prime. Res64: 910FFC12B7C1ECCD Time : 0.0 sec. user=mdettweiler [2015-02-13 23:30:58] 999*2^1390980-1 is not prime. Res64: 6DCD7AC9C845BE06 Time : 0.0 sec. user=mdettweiler [2015-02-13 23:30:58] 639*2^1390981-1 is not prime. Res64: AC78F0810F4604CB Time : 0.0 sec. user=mdettweiler [2015-02-13 23:31:09] 951*2^1390981-1 is not prime. Res64: 2BB73D3B8E32A2E5 Time : 0.0 sec. user=mdettweiler [2015-02-13 23:31:09] 975*2^1390981-1 is not prime. Res64: 5B66EEEB3D6C538B Time : 0.0 sec. user=mdettweiler [2015-02-13 23:42:33] 603*2^1390982-1 is not prime. Res64: EA56A0E0456A4412 Time : 0.0 sec. user=mdettweiler [2015-02-13 23:42:34] 645*2^1390982-1 is not prime. Res64: DA9B18C478FA7D52 Time : 0.0 sec. user=mdettweiler [2015-02-13 23:44:18] 731*2^1390982-1 is not prime. Res64: D1C93419B70D1ECE Time : 0.0 sec. user=mdettweiler [2015-02-13 23:44:19] 843*2^1390982-1 is not prime. Res64: 33A1B27F5ED1F4C3 Time : 0.0 sec. user=mdettweiler [2015-02-13 23:57:14] 951*2^1390982-1 is not prime. Res64: B06007E484799E7D Time : 0.0 sec. user=mdettweiler [2015-02-13 23:57:15] 957*2^1390982-1 is not prime. Res64: 58B239199FD01501 Time : 0.0 sec. user=mdettweiler [2015-02-13 23:57:19] 963*2^1390982-1 is not prime. Res64: 41D9E8DEB87B1BE6 Time : 0.0 sec. user=mdettweiler [2015-02-13 23:57:21] 977*2^1390982-1 is not prime. Res64: 8C09FDF2E04C3FF4 Time : 0.0 sec.