user=mdettweiler [2015-01-13 00:57:20] 647*2^1388922-1 is not prime. Res64: 44966E85B0805EEB Time : 0.0 sec. user=mdettweiler [2015-01-13 00:57:20] 713*2^1388922-1 is not prime. Res64: 29934788B0D1E032 Time : 0.0 sec. user=mdettweiler [2015-01-13 01:26:27] 777*2^1388922-1 is not prime. Res64: 43385F2EA8A446F8 Time : 0.0 sec. user=mdettweiler [2015-01-13 01:26:28] 945*2^1388922-1 is not prime. Res64: 3A96BBBE21B7CE50 Time : 0.0 sec. user=mdettweiler [2015-01-13 01:55:30] 975*2^1388922-1 is not prime. Res64: 27BB29E5452D762E Time : 0.0 sec. user=mdettweiler [2015-01-13 01:55:31] 789*2^1388923-1 is not prime. Res64: 9E40E1602A9873FD Time : 0.0 sec. user=juhehe [2015-01-13 02:04:50] 725*2^1388922-1 is not prime. Res64: 67AEA2AE17C80A6E Time : 0.0 sec. user=mdettweiler [2015-01-13 02:24:51] 873*2^1388923-1 is not prime. Res64: 4B6C1671A5234D7E Time : 0.0 sec. user=mdettweiler [2015-01-13 02:24:52] 883*2^1388923-1 is not prime. Res64: 9A00CECE37B5900A Time : 0.0 sec. user=mdettweiler [2015-01-13 02:53:35] 961*2^1388923-1 is not prime. Res64: 2291BBD8B40F9509 Time : 0.0 sec. user=mdettweiler [2015-01-13 02:53:35] 665*2^1388924-1 is not prime. Res64: BA3266A5504AEFC1 Time : 0.0 sec. user=mdettweiler [2015-01-13 03:26:36] 677*2^1388924-1 is not prime. Res64: CF7A56E47C698022 Time : 0.0 sec. user=mdettweiler [2015-01-13 03:26:45] 795*2^1388924-1 is not prime. Res64: C27980CA926F4C5C Time : 0.0 sec. user=mdettweiler [2015-01-13 03:55:59] 903*2^1388924-1 is not prime. Res64: 6AEEB0CCEF999F84 Time : 0.0 sec. user=mdettweiler [2015-01-13 03:56:00] 909*2^1388924-1 is not prime. Res64: 677D2F8F9E7DD892 Time : 0.0 sec. user=juhehe [2015-01-13 04:21:47] 923*2^1388924-1 is not prime. Res64: E864089981C99686 Time : 0.0 sec. user=mdettweiler [2015-01-13 04:25:12] 957*2^1388924-1 is not prime. Res64: B5C9C4288693D494 Time : 0.0 sec. user=mdettweiler [2015-01-13 04:25:12] 601*2^1388925-1 is not prime. Res64: 0CBCA5D24F76B658 Time : 0.0 sec. user=mdettweiler [2015-01-13 04:53:55] 679*2^1388925-1 is not prime. Res64: B9FF6B82A0BB5975 Time : 0.0 sec. user=mdettweiler [2015-01-13 04:53:55] 711*2^1388925-1 is not prime. Res64: 6C48DB78A81384A6 Time : 0.0 sec. user=mdettweiler [2015-01-13 05:22:19] 855*2^1388926-1 is not prime. Res64: D95C1F1B04D32161 Time : 0.0 sec. user=mdettweiler [2015-01-13 05:22:20] 917*2^1388926-1 is not prime. Res64: AD176C822F5F30F1 Time : 0.0 sec. user=juhehe [2015-01-13 05:32:24] 941*2^1388926-1 is not prime. Res64: ABF65F948D8B1070 Time : 0.0 sec. user=mdettweiler [2015-01-13 05:50:29] 975*2^1388926-1 is not prime. Res64: AD10FBB82B7829DF Time : 0.0 sec. user=mdettweiler [2015-01-13 05:50:29] 993*2^1388926-1 is not prime. Res64: 5CA68DF780E31D01 Time : 0.0 sec. user=juhehe [2015-01-13 06:08:10] 1001*2^1388926-1 is not prime. Res64: 5742819AC1B2BC37 Time : 0.0 sec. user=mdettweiler [2015-01-13 06:19:30] 663*2^1388927-1 is not prime. Res64: 75F0C523B25D5924 Time : 0.0 sec. user=mdettweiler [2015-01-13 06:19:30] 685*2^1388927-1 is not prime. Res64: 3D8E496A2248118F Time : 0.0 sec. user=mdettweiler [2015-01-13 06:48:19] 705*2^1388927-1 is not prime. Res64: 371C8D638FAA5DF7 Time : 0.0 sec. user=mdettweiler [2015-01-13 06:48:20] 759*2^1388927-1 is not prime. Res64: 6EE6A331CAB0B9E0 Time : 0.0 sec. user=juhehe [2015-01-13 07:17:23] 799*2^1388927-1 is not prime. Res64: 497CB1442EBB31AB Time : 0.0 sec. user=mdettweiler [2015-01-13 07:17:58] 843*2^1388927-1 is not prime. Res64: 0A71FAB1F80C342F Time : 0.0 sec. user=juhehe [2015-01-13 08:25:23] 865*2^1388927-1 is not prime. Res64: 1817B0367E7C28B9 Time : 0.0 sec. user=juhehe [2015-01-13 08:59:20] 973*2^1388927-1 is not prime. Res64: 76F7E95053281937 Time : 0.0 sec. user=juhehe [2015-01-13 09:32:58] 981*2^1388927-1 is not prime. Res64: C29BB4F3C40A204B Time : 0.0 sec. user=mdettweiler [2015-01-13 09:35:51] 861*2^1388927-1 is not prime. Res64: 9EA8C6117C17F831 Time : 0.0 sec. user=mdettweiler [2015-01-13 10:04:15] 657*2^1388928-1 is not prime. Res64: D725D37EE3D37458 Time : 0.0 sec. user=mdettweiler [2015-01-13 10:04:17] 663*2^1388928-1 is not prime. Res64: 18A1A1133B900C95 Time : 0.0 sec. user=mdettweiler [2015-01-13 10:33:38] 747*2^1388928-1 is not prime. Res64: 76D92EA54DC160F2 Time : 0.0 sec. user=mdettweiler [2015-01-13 10:33:38] 809*2^1388928-1 is not prime. Res64: 8B9A3C8911883C44 Time : 0.0 sec. user=juhehe [2015-01-13 10:45:11] 825*2^1388928-1 is not prime. Res64: 94D601C938353382 Time : 0.0 sec. user=juhehe [2015-01-13 10:50:50] 681*2^1388929-1 is not prime. Res64: 2AA2F35F2A6D7CDB Time : 0.0 sec. user=mdettweiler [2015-01-13 11:02:35] 691*2^1388929-1 is not prime. Res64: EB9A8D9BC8EAF1F6 Time : 0.0 sec. user=mdettweiler [2015-01-13 11:02:36] 747*2^1388929-1 is not prime. Res64: A8DD6D2AAF845EDC Time : 0.0 sec. user=mdettweiler [2015-01-13 11:31:08] 751*2^1388929-1 is not prime. Res64: 3606615011BA6E73 Time : 0.0 sec. user=mdettweiler [2015-01-13 11:31:09] 759*2^1388929-1 is not prime. Res64: 05FF0935EC7982F8 Time : 0.0 sec. user=juhehe [2015-01-13 11:53:45] 885*2^1388929-1 is not prime. Res64: 9FE3EC44E01C3370 Time : 0.0 sec. user=mdettweiler [2015-01-13 11:59:58] 897*2^1388929-1 is not prime. Res64: 5F31B8FDB3F903E8 Time : 0.0 sec. user=mdettweiler [2015-01-13 11:59:58] 635*2^1388930-1 is not prime. Res64: E323F8891BD07E8B Time : 0.0 sec. user=juhehe [2015-01-13 13:03:22] 711*2^1388930-1 is not prime. Res64: EBEE18B46FDB6B6F Time : 0.0 sec. user=juhehe [2015-01-13 13:37:06] 893*2^1388930-1 is not prime. Res64: 04344ED25C475CD5 Time : 0.0 sec. user=juhehe [2015-01-13 14:11:05] 945*2^1388930-1 is not prime. Res64: 86115304037265BF Time : 0.0 sec. user=mdettweiler [2015-01-13 14:47:16] 717*2^1388930-1 is not prime. Res64: 53FCBDBE545F4950 Time : 0.0 sec. user=mdettweiler [2015-01-13 14:47:16] 755*2^1388930-1 is not prime. Res64: 22B85F1B40C93C71 Time : 0.0 sec. user=mdettweiler [2015-01-13 15:20:17] 643*2^1388931-1 is not prime. Res64: 51A016F9ECF4F717 Time : 0.0 sec. user=mdettweiler [2015-01-13 15:20:17] 753*2^1388931-1 is not prime. Res64: 883CA5FDE623B6EA Time : 0.0 sec. user=juhehe [2015-01-13 15:25:14] 613*2^1388931-1 is not prime. Res64: D17CF90FF4F90FF8 Time : 0.0 sec. user=mdettweiler [2015-01-13 15:36:17] 759*2^1388920-1 is not prime. Res64: 69461D903887080F Time : 0.0 sec. user=mdettweiler [2015-01-13 15:36:17] 989*2^1388920-1 is not prime. Res64: 76A1E7E506EDBD06 Time : 0.0 sec. user=mdettweiler [2015-01-13 15:50:59] 789*2^1388931-1 is not prime. Res64: 1A0680FB387DF9DF Time : 0.0 sec. user=mdettweiler [2015-01-13 15:50:59] 801*2^1388931-1 is not prime. Res64: 8A8E1E34B4E26E35 Time : 0.0 sec. user=mdettweiler [2015-01-13 15:52:19] 627*2^1388921-1 is not prime. Res64: D4362B63648B3D07 Time : 0.0 sec. user=mdettweiler [2015-01-13 15:52:19] 697*2^1388921-1 is not prime. Res64: 84E8522AFAC3A09F Time : 0.0 sec. user=mdettweiler [2015-01-13 15:52:29] 957*2^1388921-1 is not prime. Res64: D70FEC5412C70892 Time : 0.0 sec. user=mdettweiler [2015-01-13 15:52:29] 967*2^1388921-1 is not prime. Res64: 1B2989F710EC094B Time : 0.0 sec. user=juhehe [2015-01-13 16:03:14] 665*2^1388932-1 is not prime. Res64: 1289748CC8DD7559 Time : 0.0 sec. user=mdettweiler [2015-01-13 16:04:45] 687*2^1388932-1 is not prime. Res64: 6ED4FA532AA66988 Time : 0.0 sec. user=mdettweiler [2015-01-13 16:04:46] 863*2^1388932-1 is not prime. Res64: 6E36EABB38DE2CCF Time : 0.0 sec. user=mdettweiler [2015-01-13 16:18:20] 875*2^1388932-1 is not prime. Res64: 5D431E9EC09BEBC8 Time : 0.0 sec. user=mdettweiler [2015-01-13 16:18:21] 887*2^1388932-1 is not prime. Res64: 4727405AA4367451 Time : 0.0 sec. user=mdettweiler [2015-01-13 16:19:15] 741*2^1388933-1 is not prime. Res64: 25C02E7B354AB462 Time : 0.0 sec. user=mdettweiler [2015-01-13 16:19:15] 771*2^1388933-1 is not prime. Res64: 8334D3BA3FCCA4DD Time : 0.0 sec. user=mdettweiler [2015-01-13 16:19:33] 939*2^1388932-1 is not prime. Res64: 33B0A87CC5A9CDA8 Time : 0.0 sec. user=mdettweiler [2015-01-13 16:32:49] 837*2^1388933-1 is not prime. Res64: C33117DC55AC6898 Time : 0.0 sec. user=mdettweiler [2015-01-13 16:32:49] 861*2^1388933-1 is not prime. Res64: 14BDC5A58E0A088A Time : 0.0 sec. user=mdettweiler [2015-01-13 16:46:30] 879*2^1388933-1 is not prime. Res64: 1C2C1336BCC5F6D5 Time : 0.0 sec. user=mdettweiler [2015-01-13 16:46:30] 991*2^1388933-1 is not prime. Res64: 8121276A08F5CB63 Time : 0.0 sec. user=mdettweiler [2015-01-13 16:47:27] 635*2^1388934-1 is not prime. Res64: D7E57FB7D1AC082D Time : 0.0 sec. user=mdettweiler [2015-01-13 16:47:28] 755*2^1388934-1 is not prime. Res64: B76FAF770C475E3B Time : 0.0 sec. user=mdettweiler [2015-01-13 17:00:00] 797*2^1388934-1 is not prime. Res64: FC201CF565A8C4AB Time : 0.0 sec. user=mdettweiler [2015-01-13 17:13:55] 693*2^1388935-1 is not prime. Res64: 89A35C231E38D755 Time : 0.0 sec. user=mdettweiler [2015-01-13 17:13:56] 793*2^1388935-1 is not prime. Res64: 3D81D2D38E0FEB58 Time : 0.0 sec. user=mdettweiler [2015-01-13 17:15:33] 829*2^1388935-1 is not prime. Res64: D44BD230ECE8714E Time : 0.0 sec. user=mdettweiler [2015-01-13 17:15:34] 831*2^1388935-1 is not prime. Res64: FF05863EC408D2A1 Time : 0.0 sec. user=juhehe [2015-01-13 17:15:46] 941*2^1388934-1 is not prime. Res64: 34D640FE970F0D8F Time : 0.0 sec. user=mdettweiler [2015-01-13 17:41:52] 843*2^1388935-1 is not prime. Res64: 5443634B6CC797E3 Time : 0.0 sec. user=mdettweiler [2015-01-13 17:41:52] 859*2^1388935-1 is not prime. Res64: CBE8C63F92404052 Time : 0.0 sec. user=mdettweiler [2015-01-13 17:43:21] 965*2^1388932-1 is not prime. Res64: 2A437327722C93F5 Time : 0.0 sec. user=mdettweiler [2015-01-13 17:43:40] 617*2^1388936-1 is not prime. Res64: 8A7440F2B997E69B Time : 0.0 sec. user=mdettweiler [2015-01-13 17:43:41] 657*2^1388936-1 is not prime. Res64: 161A822C218F1EC2 Time : 0.0 sec. user=juhehe [2015-01-13 17:53:09] 663*2^1388936-1 is not prime. Res64: 3C8C25EE0885DEAE Time : 0.0 sec. user=mdettweiler [2015-01-13 18:10:18] 855*2^1388936-1 is not prime. Res64: 3C9B731F90977B8D Time : 0.0 sec. user=mdettweiler [2015-01-13 18:10:20] 963*2^1388936-1 is not prime. Res64: 73D8409070E40C2A Time : 0.0 sec. user=mdettweiler [2015-01-13 18:10:40] 873*2^1388934-1 is not prime. Res64: A23C9294342CBA80 Time : 0.0 sec. user=mdettweiler [2015-01-13 18:10:51] 969*2^1388936-1 is not prime. Res64: B04EAC9ABD064A4F Time : 0.0 sec. user=mdettweiler [2015-01-13 18:10:52] 709*2^1388937-1 is not prime. Res64: 2A52EF6E693CADDF Time : 0.0 sec. user=mdettweiler [2015-01-13 18:37:21] 727*2^1388937-1 is not prime. Res64: 258B35F398DA3271 Time : 0.0 sec. user=mdettweiler [2015-01-13 18:37:21] 861*2^1388937-1 is not prime. Res64: F26ED2759C47EBBA Time : 0.0 sec. user=mdettweiler [2015-01-13 18:37:22] 805*2^1388937-1 is not prime. Res64: 3BA6257699B3C011 Time : 0.0 sec. user=mdettweiler [2015-01-13 18:37:22] 605*2^1388938-1 is not prime. Res64: 1CFFC0F4E32DD959 Time : 0.0 sec. user=mdettweiler [2015-01-13 18:37:50] 657*2^1388938-1 is not prime. Res64: CA68BD321D1E1873 Time : 0.0 sec. user=mdettweiler [2015-01-13 18:37:51] 713*2^1388938-1 is not prime. Res64: 8DDBB11A2B326CFD Time : 0.0 sec. user=mdettweiler [2015-01-13 19:03:58] 753*2^1388939-1 is not prime. Res64: 30899541776A0B81 Time : 0.0 sec. user=mdettweiler [2015-01-13 19:04:01] 775*2^1388939-1 is not prime. Res64: C21124BFC4FF0511 Time : 0.0 sec. user=mdettweiler [2015-01-13 19:04:31] 923*2^1388938-1 is not prime. Res64: 8FC5DEF00B49851B Time : 0.0 sec. user=mdettweiler [2015-01-13 19:04:32] 631*2^1388939-1 is not prime. Res64: 761B2D689ECBF891 Time : 0.0 sec. user=mdettweiler [2015-01-13 19:04:35] 979*2^1388939-1 is not prime. Res64: FA29E20D3DA8D4DC Time : 0.0 sec. user=mdettweiler [2015-01-13 19:04:36] 669*2^1388940-1 is not prime. Res64: 0F271A14D8D304A6 Time : 0.0 sec. user=mdettweiler [2015-01-13 19:05:13] 767*2^1388936-1 is not prime. Res64: BD19FB9EEF509518 Time : 0.0 sec. user=mdettweiler [2015-01-13 19:05:14] 837*2^1388936-1 is not prime. Res64: FAD111A3DDEB4EEF Time : 0.0 sec. user=juhehe [2015-01-13 19:09:23] 791*2^1388938-1 is not prime. Res64: B26841CDB85F4277 Time : 0.0 sec. user=mdettweiler [2015-01-13 19:31:02] 899*2^1388940-1 is not prime. Res64: 52A6809DE96B5427 Time : 0.0 sec. user=mdettweiler [2015-01-13 19:31:02] 771*2^1388941-1 is not prime. Res64: E0BEEF160B9D76E7 Time : 0.0 sec. user=mdettweiler [2015-01-13 19:31:07] 699*2^1388940-1 is not prime. Res64: 476317F398D5D33C Time : 0.0 sec. user=mdettweiler [2015-01-13 19:31:08] 767*2^1388940-1 is not prime. Res64: 222F514C3AC3332D Time : 0.0 sec. user=mdettweiler [2015-01-13 19:31:17] 819*2^1388940-1 is not prime. Res64: B55FFFAB8C8A21FB Time : 0.0 sec. user=mdettweiler [2015-01-13 19:31:18] 839*2^1388940-1 is not prime. Res64: AA2FB40A5FFE2BA7 Time : 0.0 sec. user=mdettweiler [2015-01-13 19:31:48] 871*2^1388941-1 is not prime. Res64: EB8CEB7C1D49A881 Time : 0.0 sec. user=mdettweiler [2015-01-13 19:31:48] 895*2^1388941-1 is not prime. Res64: 79B3F3410DDA8490 Time : 0.0 sec. user=juhehe [2015-01-13 19:47:58] 955*2^1388941-1 is not prime. Res64: 3AA343FD59E1917E Time : 0.0 sec. user=mdettweiler [2015-01-13 19:56:51] 665*2^1388942-1 is not prime. Res64: 58F1D0B834179F72 Time : 0.0 sec. user=mdettweiler [2015-01-13 19:56:52] 675*2^1388942-1 is not prime. Res64: A6A07369B33442BA Time : 0.0 sec. user=mdettweiler [2015-01-13 19:57:04] 843*2^1388942-1 is not prime. Res64: 1F044EF3433BCFAB Time : 0.0 sec. user=mdettweiler [2015-01-13 19:57:04] 893*2^1388942-1 is not prime. Res64: DA898E66DC8BF5BE Time : 0.0 sec. user=mdettweiler [2015-01-13 19:57:06] 755*2^1388942-1 is not prime. Res64: 926625CED0A61C2C Time : 0.0 sec. user=mdettweiler [2015-01-13 19:57:06] 797*2^1388942-1 is not prime. Res64: 61B453AFF1C052A2 Time : 0.0 sec. user=mdettweiler [2015-01-13 19:57:38] 917*2^1388942-1 is not prime. Res64: B306C4CD050164D9 Time : 0.0 sec. user=mdettweiler [2015-01-13 19:57:39] 685*2^1388943-1 is not prime. Res64: 242FD7AA83DEC159 Time : 0.0 sec. user=mdettweiler [2015-01-13 20:22:41] 991*2^1388943-1 is not prime. Res64: 33600308E210B0E9 Time : 0.0 sec. user=mdettweiler [2015-01-13 20:22:42] 719*2^1388944-1 is not prime. Res64: 6A814ADA9EF66C45 Time : 0.0 sec. user=mdettweiler [2015-01-13 20:22:43] 785*2^1388944-1 is not prime. Res64: 20E0C3A08E38C1E8 Time : 0.0 sec. user=mdettweiler [2015-01-13 20:22:43] 875*2^1388944-1 is not prime. Res64: 1172F3734A812DC2 Time : 0.0 sec. user=mdettweiler [2015-01-13 20:22:59] 747*2^1388944-1 is not prime. Res64: 3BBE211C4EF4B99E Time : 0.0 sec. user=mdettweiler [2015-01-13 20:22:59] 773*2^1388944-1 is not prime. Res64: 8FD99520081EC229 Time : 0.0 sec. user=mdettweiler [2015-01-13 20:23:28] 909*2^1388944-1 is not prime. Res64: F75869A291681420 Time : 0.0 sec. user=mdettweiler [2015-01-13 20:23:28] 969*2^1388944-1 is not prime. Res64: F7EFF7B401B7672E Time : 0.0 sec. user=mdettweiler [2015-01-13 20:48:39] 657*2^1388945-1 is not prime. Res64: 5633ADDC02620E97 Time : 0.0 sec. user=mdettweiler [2015-01-13 20:48:39] 795*2^1388945-1 is not prime. Res64: 3A735138E1E9A910 Time : 0.0 sec. user=mdettweiler [2015-01-13 20:48:41] 885*2^1388945-1 is not prime. Res64: E046C9D3387E0AF1 Time : 0.0 sec. user=mdettweiler [2015-01-13 20:48:42] 677*2^1388946-1 is not prime. Res64: D687CE08D04E3F4E Time : 0.0 sec. user=mdettweiler [2015-01-13 20:49:14] 683*2^1388946-1 is not prime. Res64: F216F1F0A557662A Time : 0.0 sec. user=mdettweiler [2015-01-13 20:49:15] 711*2^1388946-1 is not prime. Res64: 5982FDFD1A7CD8EB Time : 0.0 sec. user=juhehe [2015-01-13 20:55:54] 601*2^1388945-1 is not prime. Res64: 6659C74026CD7F69 Time : 0.0 sec. user=mdettweiler [2015-01-13 21:15:17] 713*2^1388946-1 is not prime. Res64: 5B98BC28FF9E58ED Time : 0.0 sec. user=mdettweiler [2015-01-13 21:15:18] 735*2^1388946-1 is not prime. Res64: 1BB2F359E2588023 Time : 0.0 sec. user=mdettweiler [2015-01-13 21:15:36] 887*2^1388946-1 is not prime. Res64: 1A56AA6F5D11F21D Time : 0.0 sec. user=mdettweiler [2015-01-13 21:15:36] 903*2^1388946-1 is not prime. Res64: 7B4543BEABF777B2 Time : 0.0 sec. user=mdettweiler [2015-01-13 21:42:10] 871*2^1388947-1 is not prime. Res64: EC52E0DAB2E66ADD Time : 0.0 sec. user=mdettweiler [2015-01-13 21:42:11] 939*2^1388947-1 is not prime. Res64: E32FA30FEACDEF7B Time : 0.0 sec. user=mdettweiler [2015-01-13 21:42:17] 649*2^1388947-1 is not prime. Res64: 585BA089A8405758 Time : 0.0 sec. user=mdettweiler [2015-01-13 21:42:26] 843*2^1388947-1 is not prime. Res64: 9346B2A1EC02AE84 Time : 0.0 sec. user=mdettweiler [2015-01-13 22:06:02] 819*2^1388945-1 is not prime. Res64: D69390D4079251EF Time : 0.0 sec. user=mdettweiler [2015-01-13 22:08:23] 669*2^1388948-1 is not prime. Res64: 8BD9C26702E31271 Time : 0.0 sec. user=mdettweiler [2015-01-13 22:08:23] 687*2^1388948-1 is not prime. Res64: EF0B1A5C4D13E0FE Time : 0.0 sec. user=mdettweiler [2015-01-13 22:09:01] 743*2^1388948-1 is not prime. Res64: 4A9CFDBBC3AF8E0B Time : 0.0 sec. user=mdettweiler [2015-01-13 22:09:02] 753*2^1388948-1 is not prime. Res64: 53F7D41E7D62A9C9 Time : 0.0 sec. user=juhehe [2015-01-13 22:09:08] 975*2^1388947-1 is not prime. Res64: 2012C82BC4D2DB72 Time : 0.0 sec. user=mdettweiler [2015-01-13 22:09:22] 715*2^1388945-1 is not prime. Res64: F4923539486107BA Time : 0.0 sec. user=juhehe [2015-01-13 22:13:54] 985*2^1388947-1 is not prime. Res64: BF8BC62AF6D12A33 Time : 0.0 sec. user=mdettweiler [2015-01-13 22:32:36] 767*2^1388948-1 is not prime. Res64: 5DC65D2210912CD9 Time : 0.0 sec. user=mdettweiler [2015-01-13 22:32:45] 803*2^1388948-1 is not prime. Res64: F8B4517A6AD35FB3 Time : 0.0 sec. user=mdettweiler [2015-01-13 22:34:34] 837*2^1388948-1 is not prime. Res64: BC5F92537AB39116 Time : 0.0 sec. user=mdettweiler [2015-01-13 22:34:50] 843*2^1388948-1 is not prime. Res64: C9E2C0184BEA0DF1 Time : 0.0 sec. user=mdettweiler [2015-01-13 22:34:50] 869*2^1388948-1 is not prime. Res64: 05AD6921A1A08730 Time : 0.0 sec. user=mdettweiler [2015-01-13 22:35:06] 929*2^1388948-1 is not prime. Res64: CBE2C9876F93E3DD Time : 0.0 sec. user=mdettweiler [2015-01-13 22:35:06] 945*2^1388948-1 is not prime. Res64: 180AF011116D2032 Time : 0.0 sec. user=juhehe [2015-01-13 22:48:15] 995*2^1388948-1 is not prime. Res64: DD90E08FD7E308BA Time : 0.0 sec. user=mdettweiler [2015-01-13 22:59:20] 609*2^1388949-1 is not prime. Res64: 5BB82217741FE339 Time : 0.0 sec. user=mdettweiler [2015-01-13 22:59:20] 709*2^1388949-1 is not prime. Res64: 725405BDDC0418CF Time : 0.0 sec. user=mdettweiler [2015-01-13 23:01:32] 741*2^1388949-1 is not prime. Res64: 3626C3D655018E77 Time : 0.0 sec. user=mdettweiler [2015-01-13 23:01:33] 829*2^1388949-1 is not prime. Res64: EA42A3EF274F2E9A Time : 0.0 sec. user=mdettweiler [2015-01-13 23:01:48] 889*2^1388949-1 is not prime. Res64: 9292595F8622520A Time : 0.0 sec. user=mdettweiler [2015-01-13 23:01:49] 891*2^1388949-1 is not prime. Res64: F77EADC914E1DAC8 Time : 0.0 sec. user=mdettweiler [2015-01-13 23:26:16] 657*2^1388950-1 is not prime. Res64: 81BC690D29C2A595 Time : 0.0 sec. user=mdettweiler [2015-01-13 23:26:17] 687*2^1388950-1 is not prime. Res64: 93E4EFC66F7F8576 Time : 0.0 sec. user=mdettweiler [2015-01-13 23:28:14] 777*2^1388950-1 is not prime. Res64: A39AF7A0C24366CF Time : 0.0 sec. user=mdettweiler [2015-01-13 23:28:14] 843*2^1388950-1 is not prime. Res64: 0E9B275029B1B67A Time : 0.0 sec. user=mdettweiler [2015-01-13 23:28:59] 861*2^1388950-1 is not prime. Res64: B1A31C6BC86DD8B4 Time : 0.0 sec. user=mdettweiler [2015-01-13 23:28:59] 615*2^1388951-1 is not prime. Res64: FBC6E3C157AE31B0 Time : 0.0 sec. user=mdettweiler [2015-01-13 23:40:48] 839*2^1388948-1 is not prime. Res64: 40EFB9EC224DCF71 Time : 0.0 sec. user=mdettweiler [2015-01-13 23:52:18] 649*2^1388951-1 is not prime. Res64: FA943F3838ACB368 Time : 0.0 sec. user=mdettweiler [2015-01-13 23:52:19] 651*2^1388951-1 is not prime. Res64: DCA25DF9C758DBBE Time : 0.0 sec. user=mdettweiler [2015-01-13 23:54:18] 829*2^1388951-1 is not prime. Res64: 944B2B6DDC77007A Time : 0.0 sec. user=mdettweiler [2015-01-13 23:54:18] 841*2^1388951-1 is not prime. Res64: 1C8FDEE8DA85609D Time : 0.0 sec. user=mdettweiler [2015-01-13 23:54:51] 921*2^1388951-1 is not prime. Res64: 6B29DEE52032C3B6 Time : 0.0 sec. user=mdettweiler [2015-01-13 23:54:51] 955*2^1388951-1 is not prime. Res64: 873A82F4D7F490AD Time : 0.0 sec.