user=mdettweiler [2013-07-19 00:10:58] 931*2^1247837-1 is not prime. Res64: E57E692CF3658FC2 Time : 0.0 sec. user=mdettweiler [2013-07-19 00:10:59] 955*2^1247837-1 is not prime. Res64: 30D69D1A91CA0A9E Time : 0.0 sec. user=mdettweiler [2013-07-19 00:30:05] 967*2^1247837-1 is not prime. Res64: 716C44A3EDB2509E Time : 0.0 sec. user=mdettweiler [2013-07-19 00:30:05] 979*2^1247837-1 is not prime. Res64: F1B539E07844316A Time : 0.0 sec. user=mdettweiler [2013-07-19 00:47:28] 621*2^1247838-1 is not prime. Res64: 6E576BABAEA77C07 Time : 0.0 sec. user=mdettweiler [2013-07-19 00:47:28] 713*2^1247838-1 is not prime. Res64: 1AB46E3326005B1F Time : 0.0 sec. user=mdettweiler [2013-07-19 01:04:48] 725*2^1247838-1 is not prime. Res64: E48FCC562581E9BB Time : 0.0 sec. user=mdettweiler [2013-07-19 01:04:49] 767*2^1247838-1 is not prime. Res64: 6DF8C2571ACE2985 Time : 0.0 sec. user=mdettweiler [2013-07-19 01:22:13] 863*2^1247838-1 is not prime. Res64: 2EF89BAA5EC6729D Time : 0.0 sec. user=mdettweiler [2013-07-19 01:22:13] 887*2^1247838-1 is not prime. Res64: A019ADD094EBE038 Time : 0.0 sec. user=Stef42 [2013-07-19 01:33:38] 925*2^1247839-1 is not prime. Res64: 25E867D56CF90E18 Time : 0.0 sec. user=Stef42 [2013-07-19 01:33:43] 675*2^1247840-1 is not prime. Res64: 98082AD14639A937 Time : 0.0 sec. user=Stef42 [2013-07-19 01:33:45] 719*2^1247840-1 is not prime. Res64: ED86EC6F8A23A913 Time : 0.0 sec. user=Stef42 [2013-07-19 01:33:45] 767*2^1247840-1 is not prime. Res64: 7036BD291871C4A9 Time : 0.0 sec. user=Stef42 [2013-07-19 01:33:48] 797*2^1247840-1 is not prime. Res64: 2C2153A41C63D5FF Time : 0.0 sec. user=Stef42 [2013-07-19 01:33:52] 689*2^1247840-1 is not prime. Res64: 65B80E51F78311A1 Time : 0.0 sec. user=mdettweiler [2013-07-19 01:39:34] 649*2^1247839-1 is not prime. Res64: B0E0372590B7C200 Time : 0.0 sec. user=mdettweiler [2013-07-19 01:39:35] 709*2^1247839-1 is not prime. Res64: 16312100D6F56EC3 Time : 0.0 sec. user=Stef42 [2013-07-19 01:43:12] 813*2^1247840-1 is not prime. Res64: 2513FBC009E81CD0 Time : 0.0 sec. user=Stef42 [2013-07-19 01:43:18] 833*2^1247840-1 is not prime. Res64: 45C81F3B7F338BA9 Time : 0.0 sec. user=Stef42 [2013-07-19 01:43:24] 879*2^1247840-1 is not prime. Res64: 70FEA7234807ABD2 Time : 0.0 sec. user=Stef42 [2013-07-19 01:43:25] 899*2^1247840-1 is not prime. Res64: 997A755D6AD65F64 Time : 0.0 sec. user=Stef42 [2013-07-19 01:43:26] 855*2^1247840-1 is not prime. Res64: C556BAF115DD6D25 Time : 0.0 sec. user=Stef42 [2013-07-19 01:43:29] 627*2^1247841-1 is not prime. Res64: B4F5AEDE7A9566C2 Time : 0.0 sec. user=mdettweiler [2013-07-19 01:56:55] 651*2^1247841-1 is not prime. Res64: 9307AC84698F7491 Time : 0.0 sec. user=mdettweiler [2013-07-19 01:56:55] 739*2^1247841-1 is not prime. Res64: E7F5831ACC4C816F Time : 0.0 sec. user=juhehe [2013-07-19 01:59:39] 909*2^1247827-1 is not prime. Res64: 1A66F3F05A732FE7 Time : 0.0 sec. user=mdettweiler [2013-07-19 02:14:16] 751*2^1247841-1 is not prime. Res64: 16A13D11AA190FC2 Time : 0.0 sec. user=mdettweiler [2013-07-19 02:14:16] 837*2^1247841-1 is not prime. Res64: 3582312CB7D5D384 Time : 0.0 sec. user=mdettweiler [2013-07-19 02:31:37] 847*2^1247841-1 is not prime. Res64: A5F4A4408493F14E Time : 0.0 sec. user=mdettweiler [2013-07-19 02:31:38] 889*2^1247841-1 is not prime. Res64: B1687A230FFD3686 Time : 0.0 sec. user=mdettweiler [2013-07-19 02:49:11] 645*2^1247842-1 is not prime. Res64: A2932207F58BF264 Time : 0.0 sec. user=mdettweiler [2013-07-19 02:49:11] 755*2^1247842-1 is not prime. Res64: 6A5AADD63252666A Time : 0.0 sec. user=mdettweiler [2013-07-19 03:06:36] 827*2^1247842-1 is not prime. Res64: 306CB83568E6A14B Time : 0.0 sec. user=mdettweiler [2013-07-19 03:06:36] 885*2^1247842-1 is not prime. Res64: 6E746538669B8992 Time : 0.0 sec. user=mdettweiler [2013-07-19 03:24:00] 915*2^1247842-1 is not prime. Res64: 6FEBF8335536A694 Time : 0.0 sec. user=mdettweiler [2013-07-19 03:24:00] 633*2^1247843-1 is not prime. Res64: 47A70411CA76493A Time : 0.0 sec. user=mdettweiler [2013-07-19 03:41:21] 675*2^1247843-1 is not prime. Res64: AD6AE1014B92F0C1 Time : 0.0 sec. user=mdettweiler [2013-07-19 03:41:22] 745*2^1247843-1 is not prime. Res64: A61E014A0DEE902F Time : 0.0 sec. user=mdettweiler [2013-07-19 03:59:35] 859*2^1247843-1 is not prime. Res64: 469E1CF1D277F0F2 Time : 0.0 sec. user=mdettweiler [2013-07-19 03:59:35] 973*2^1247843-1 is not prime. Res64: E9419FDDDA4F796C Time : 0.0 sec. user=mdettweiler [2013-07-19 04:16:55] 605*2^1247844-1 is not prime. Res64: 613C1B458F797A21 Time : 0.0 sec. user=mdettweiler [2013-07-19 04:16:55] 635*2^1247844-1 is not prime. Res64: F3975A2CBB18BB0D Time : 0.0 sec. user=mdettweiler [2013-07-19 04:34:16] 693*2^1247844-1 is not prime. Res64: 237F58623837F2AD Time : 0.0 sec. user=mdettweiler [2013-07-19 04:34:17] 705*2^1247844-1 is not prime. Res64: 9E16E95F717EFFC4 Time : 0.0 sec. user=mdettweiler [2013-07-19 04:51:44] 765*2^1247844-1 is not prime. Res64: 9190DA9343E51977 Time : 0.0 sec. user=mdettweiler [2013-07-19 04:51:45] 875*2^1247844-1 is not prime. Res64: B27A6972968E1C46 Time : 0.0 sec. user=mdettweiler [2013-07-19 05:09:05] 899*2^1247844-1 is not prime. Res64: E0F37BD8CB3C2E21 Time : 0.0 sec. user=mdettweiler [2013-07-19 05:09:06] 927*2^1247844-1 is not prime. Res64: 00B0027F96EC4025 Time : 0.0 sec. user=mdettweiler [2013-07-19 05:26:31] 945*2^1247844-1 is not prime. Res64: DAE0F0A75B066210 Time : 0.0 sec. user=mdettweiler [2013-07-19 05:26:32] 679*2^1247845-1 is not prime. Res64: 3C4BEC2204E5F1DA Time : 0.0 sec. user=mdettweiler [2013-07-19 05:43:52] 691*2^1247845-1 is not prime. Res64: 4C7004EEFCB070C0 Time : 0.0 sec. user=mdettweiler [2013-07-19 05:43:52] 699*2^1247845-1 is not prime. Res64: 3794D51E32AFF823 Time : 0.0 sec. user=mdettweiler [2013-07-19 06:01:14] 759*2^1247845-1 is not prime. Res64: 254CC4F9A75E3C7E Time : 0.0 sec. user=mdettweiler [2013-07-19 06:01:15] 861*2^1247845-1 is not prime. Res64: 97253CF69963729A Time : 0.0 sec. user=mdettweiler [2013-07-19 06:18:46] 635*2^1247846-1 is not prime. Res64: 529E729BECE37987 Time : 0.0 sec. user=mdettweiler [2013-07-19 06:18:47] 711*2^1247846-1 is not prime. Res64: 6BFB0A2B61B8A96A Time : 0.0 sec. user=mdettweiler [2013-07-19 06:36:09] 801*2^1247846-1 is not prime. Res64: 01F202C2CB85E5BE Time : 0.0 sec. user=mdettweiler [2013-07-19 06:36:09] 815*2^1247846-1 is not prime. Res64: 6306D7F665E51A59 Time : 0.0 sec. user=mdettweiler [2013-07-19 06:53:30] 825*2^1247846-1 is not prime. Res64: 21C8638C522AEF83 Time : 0.0 sec. user=mdettweiler [2013-07-19 06:53:30] 873*2^1247846-1 is not prime. Res64: 3B1327B4A93736D8 Time : 0.0 sec. user=mdettweiler [2013-07-19 07:10:51] 875*2^1247846-1 is not prime. Res64: 4B413F98E377F96C Time : 0.0 sec. user=mdettweiler [2013-07-19 07:10:52] 945*2^1247846-1 is not prime. Res64: 8B15542BF6C4B7ED Time : 0.0 sec. user=mdettweiler [2013-07-19 07:29:07] 1001*2^1247846-1 is not prime. Res64: 561E94F998315471 Time : 0.0 sec. user=mdettweiler [2013-07-19 07:29:08] 735*2^1247847-1 is not prime. Res64: 55312D6DFDFF13AA Time : 0.0 sec. user=mdettweiler [2013-07-19 07:46:36] 859*2^1247847-1 is not prime. Res64: 2F5FB6501E68DDCA Time : 0.0 sec. user=mdettweiler [2013-07-19 07:46:37] 909*2^1247847-1 is not prime. Res64: ACBFB274DBE8C0B9 Time : 0.0 sec. user=mdettweiler [2013-07-19 08:03:58] 931*2^1247847-1 is not prime. Res64: 405695E2A31D0DAF Time : 0.0 sec. user=mdettweiler [2013-07-19 08:03:59] 849*2^1247848-1 is not prime. Res64: F358F44D5C9F833F Time : 0.0 sec. user=mdettweiler [2013-07-19 08:21:40] 855*2^1247848-1 is not prime. Res64: 3D825791B2379E5F Time : 0.0 sec. user=mdettweiler [2013-07-19 08:21:40] 869*2^1247848-1 is not prime. Res64: E36900B0832427B6 Time : 0.0 sec. user=mdettweiler [2013-07-19 08:39:50] 999*2^1247848-1 is not prime. Res64: 35E2D429C63056CB Time : 0.0 sec. user=mdettweiler [2013-07-19 08:39:51] 619*2^1247849-1 is not prime. Res64: 2BF84E9284B137AF Time : 0.0 sec. user=mdettweiler [2013-07-19 08:57:13] 657*2^1247849-1 is not prime. Res64: B2849FA2B4E6456F Time : 0.0 sec. user=mdettweiler [2013-07-19 08:57:13] 741*2^1247849-1 is not prime. Res64: 9DBEDA56C10F82B3 Time : 0.0 sec. user=mdettweiler [2013-07-19 09:14:45] 745*2^1247849-1 is not prime. Res64: 3F33C5D58331E0CE Time : 0.0 sec. user=mdettweiler [2013-07-19 09:14:45] 831*2^1247849-1 is not prime. Res64: 1C9125C9B7E8D787 Time : 0.0 sec. user=mdettweiler [2013-07-19 09:34:16] 967*2^1247849-1 is not prime. Res64: E6A45348572A7519 Time : 0.0 sec. user=mdettweiler [2013-07-19 09:34:16] 985*2^1247849-1 is not prime. Res64: F15ED0EEBB1B8A1F Time : 0.0 sec. user=mdettweiler [2013-07-19 09:51:54] 633*2^1247850-1 is not prime. Res64: 198E8922CDFC934F Time : 0.0 sec. user=mdettweiler [2013-07-19 09:51:54] 635*2^1247850-1 is not prime. Res64: DBD0F41683D097DE Time : 0.0 sec. user=mdettweiler [2013-07-19 10:09:15] 651*2^1247850-1 is not prime. Res64: E3BEE40E4363A72F Time : 0.0 sec. user=mdettweiler [2013-07-19 10:09:16] 717*2^1247850-1 is not prime. Res64: 1BF4C920BDB30C40 Time : 0.0 sec. user=mdettweiler [2013-07-19 10:26:40] 767*2^1247850-1 is not prime. Res64: B5D8BC9ACB685606 Time : 0.0 sec. user=mdettweiler [2013-07-19 10:26:41] 777*2^1247850-1 is not prime. Res64: 86EB124EDFFD136C Time : 0.0 sec. user=mdettweiler [2013-07-19 10:44:10] 843*2^1247850-1 is not prime. Res64: 623D606C3C3DBE85 Time : 0.0 sec. user=mdettweiler [2013-07-19 10:44:11] 915*2^1247850-1 is not prime. Res64: 9F873A0ADEAEA572 Time : 0.0 sec. user=mdettweiler [2013-07-19 11:02:37] 933*2^1247850-1 is not prime. Res64: 2514EB22E47ACFD4 Time : 0.0 sec. user=mdettweiler [2013-07-19 11:02:38] 977*2^1247850-1 is not prime. Res64: B111701C03A71AB4 Time : 0.0 sec. user=mdettweiler [2013-07-19 11:20:32] 673*2^1247851-1 is not prime. Res64: 96BAA449B777E41A Time : 0.0 sec. user=mdettweiler [2013-07-19 11:20:33] 703*2^1247851-1 is not prime. Res64: B82016AB21623DDA Time : 0.0 sec. user=mdettweiler [2013-07-19 11:38:10] 805*2^1247851-1 is not prime. Res64: D3B72EA48C74F634 Time : 0.0 sec. user=mdettweiler [2013-07-19 11:38:10] 811*2^1247851-1 is not prime. Res64: 58839E5480CD2479 Time : 0.0 sec. user=mdettweiler [2013-07-19 11:55:48] 819*2^1247851-1 is not prime. Res64: 8A7838E2AD42F863 Time : 0.0 sec. user=mdettweiler [2013-07-19 11:55:48] 841*2^1247851-1 is not prime. Res64: 793745B0B2851060 Time : 0.0 sec. user=mdettweiler [2013-07-19 12:14:14] 925*2^1247851-1 is not prime. Res64: DF5BF284B0249A26 Time : 0.0 sec. user=mdettweiler [2013-07-19 12:14:15] 951*2^1247851-1 is not prime. Res64: 56393BACE295E369 Time : 0.0 sec. user=mdettweiler [2013-07-19 12:33:31] 961*2^1247851-1 is not prime. Res64: A27FA620C802161F Time : 0.0 sec. user=mdettweiler [2013-07-19 12:33:31] 969*2^1247851-1 is not prime. Res64: 39971563604F9847 Time : 0.0 sec. user=mdettweiler [2013-07-19 12:51:59] 875*2^1247852-1 is not prime. Res64: F35AC012151AB6E6 Time : 0.0 sec. user=mdettweiler [2013-07-19 12:51:59] 995*2^1247852-1 is not prime. Res64: 7670E626FC7DE667 Time : 0.0 sec. user=juhehe [2013-07-19 12:59:11] 675*2^1247795-1 is not prime. Res64: 507BC0CFB25B94C1 Time : 0.0 sec. user=mdettweiler [2013-07-19 13:09:41] 625*2^1247853-1 is not prime. Res64: 5509C6AF4FBF3121 Time : 0.0 sec. user=mdettweiler [2013-07-19 13:09:42] 787*2^1247853-1 is not prime. Res64: EE970B60E02C0A77 Time : 0.0 sec. user=mdettweiler [2013-07-19 13:27:23] 919*2^1247853-1 is not prime. Res64: A98BF22A808D1014 Time : 0.0 sec. user=mdettweiler [2013-07-19 13:27:23] 945*2^1247853-1 is not prime. Res64: 5916605156F9BC93 Time : 0.0 sec. user=mdettweiler [2013-07-19 13:45:52] 955*2^1247853-1 is not prime. Res64: 26326A0A10BD4411 Time : 0.0 sec. user=mdettweiler [2013-07-19 13:45:52] 605*2^1247854-1 is not prime. Res64: 96FDF0223853AF8C Time : 0.0 sec. user=juhehe [2013-07-19 13:55:24] 891*2^1247853-1 is not prime. Res64: 39AAAF2F1A8083B3 Time : 0.0 sec. user=mdettweiler [2013-07-19 14:03:31] 651*2^1247854-1 is not prime. Res64: F89D5022D15D5EC6 Time : 0.0 sec. user=mdettweiler [2013-07-19 14:03:32] 665*2^1247854-1 is not prime. Res64: 33011B60435036C9 Time : 0.0 sec. user=mdettweiler [2013-07-19 14:21:36] 773*2^1247854-1 is not prime. Res64: 7906B3CDF23A2D87 Time : 0.0 sec. user=mdettweiler [2013-07-19 14:21:36] 855*2^1247854-1 is not prime. Res64: 6F3A2AFF18CD5CDF Time : 0.0 sec. user=mdettweiler [2013-07-19 14:38:58] 917*2^1247854-1 is not prime. Res64: 33DCBBD13D8EF8E4 Time : 0.0 sec. user=mdettweiler [2013-07-19 14:38:58] 619*2^1247855-1 is not prime. Res64: 2F5C916F84135117 Time : 0.0 sec. user=mdettweiler [2013-07-19 14:57:10] 661*2^1247855-1 is not prime. Res64: 3CAB38C16C077CB5 Time : 0.0 sec. user=mdettweiler [2013-07-19 14:57:11] 981*2^1247855-1 is not prime. Res64: C48DF8710E4F68BA Time : 0.0 sec. user=mdettweiler [2013-07-19 15:15:20] 985*2^1247855-1 is not prime. Res64: E05AF74DF4C3ED86 Time : 0.0 sec. user=mdettweiler [2013-07-19 15:15:20] 689*2^1247856-1 is not prime. Res64: 23E74E28DA3A906E Time : 0.0 sec. user=mdettweiler [2013-07-19 15:32:42] 723*2^1247856-1 is not prime. Res64: 79DFD518728E1E8E Time : 0.0 sec. user=mdettweiler [2013-07-19 15:32:42] 725*2^1247856-1 is not prime. Res64: E16075A9E6387821 Time : 0.0 sec. user=mdettweiler [2013-07-19 15:50:51] 899*2^1247856-1 is not prime. Res64: C5DC8A143DB39F75 Time : 0.0 sec. user=mdettweiler [2013-07-19 15:50:52] 975*2^1247856-1 is not prime. Res64: 70FB0403D6340D22 Time : 0.0 sec. user=mdettweiler [2013-07-19 16:08:13] 729*2^1247857-1 is not prime. Res64: B860DA512326AC12 Time : 0.0 sec. user=mdettweiler [2013-07-19 16:08:14] 841*2^1247857-1 is not prime. Res64: 541EBC9D611B216B Time : 0.0 sec. user=mdettweiler [2013-07-19 16:26:24] 997*2^1247857-1 is not prime. Res64: D6992B8F88F86391 Time : 0.0 sec. user=mdettweiler [2013-07-19 16:26:24] 605*2^1247858-1 is not prime. Res64: F08FAFD121D9FA25 Time : 0.0 sec. user=mdettweiler [2013-07-19 16:43:34] 671*2^1247858-1 is not prime. Res64: 37960248C8FC6891 Time : 0.0 sec. user=mdettweiler [2013-07-19 16:43:35] 711*2^1247858-1 is not prime. Res64: 5ABBBA4D2E6914D6 Time : 0.0 sec. user=mdettweiler [2013-07-19 17:00:47] 713*2^1247858-1 is not prime. Res64: 67B23C769650B990 Time : 0.0 sec. user=mdettweiler [2013-07-19 17:00:49] 791*2^1247858-1 is not prime. Res64: 56D642259A55514A Time : 0.0 sec. user=mdettweiler [2013-07-19 17:19:01] 801*2^1247858-1 is not prime. Res64: C9D37C31AF132955 Time : 0.0 sec. user=mdettweiler [2013-07-19 17:19:01] 963*2^1247858-1 is not prime. Res64: CB3A4B392625AE3D Time : 0.0 sec. user=mdettweiler [2013-07-19 17:36:15] 705*2^1247859-1 is not prime. Res64: 2DAB6F1CF4D488A1 Time : 0.0 sec. user=mdettweiler [2013-07-19 17:36:15] 709*2^1247859-1 is not prime. Res64: BAB64EB457FBD455 Time : 0.0 sec. user=mdettweiler [2013-07-19 17:55:25] 795*2^1247859-1 is not prime. Res64: 93542852842CF318 Time : 0.0 sec. user=mdettweiler [2013-07-19 17:55:25] 969*2^1247859-1 is not prime. Res64: A70277A24AFCB2B6 Time : 0.0 sec. user=mdettweiler [2013-07-19 18:13:24] 677*2^1247860-1 is not prime. Res64: 042A7A057C8826F1 Time : 0.0 sec. user=mdettweiler [2013-07-19 18:13:24] 689*2^1247860-1 is not prime. Res64: F4FDE0FAE30EDF48 Time : 0.0 sec. user=mdettweiler [2013-07-19 18:31:45] 759*2^1247860-1 is not prime. Res64: ADF572B5BFBB5FBB Time : 0.0 sec. user=mdettweiler [2013-07-19 18:31:46] 777*2^1247860-1 is not prime. Res64: 1A7336927A8202DD Time : 0.0 sec. user=mdettweiler [2013-07-19 18:50:04] 825*2^1247860-1 is not prime. Res64: D838163415B231D4 Time : 0.0 sec. user=mdettweiler [2013-07-19 18:50:05] 833*2^1247860-1 is not prime. Res64: CF1A10D31954B819 Time : 0.0 sec. user=juhehe [2013-07-19 19:03:16] 803*2^1247860-1 is not prime. Res64: 83B643F2DF302CA8 Time : 0.0 sec. user=mdettweiler [2013-07-19 19:08:22] 897*2^1247860-1 is not prime. Res64: D5C9144F32C500BF Time : 0.0 sec. user=mdettweiler [2013-07-19 19:08:22] 905*2^1247860-1 is not prime. Res64: 7120B1B6A5D47EC8 Time : 0.0 sec. user=mdettweiler [2013-07-19 19:27:21] 995*2^1247860-1 is not prime. Res64: E8094AE78A343565 Time : 0.0 sec. user=mdettweiler [2013-07-19 19:27:21] 631*2^1247861-1 is not prime. Res64: C84F691DADF4451B Time : 0.0 sec. user=mdettweiler [2013-07-19 19:45:26] 829*2^1247861-1 is not prime. Res64: 620900478B2ADA54 Time : 0.0 sec. user=mdettweiler [2013-07-19 19:45:26] 837*2^1247861-1 is not prime. Res64: 1D9FD9310BC8963D Time : 0.0 sec. user=juhehe [2013-07-19 19:54:38] 957*2^1247860-1 is not prime. Res64: 0BDCC507066CD7FD Time : 0.0 sec. user=mdettweiler [2013-07-19 20:03:12] 889*2^1247861-1 is not prime. Res64: A05577E76174DFAE Time : 0.0 sec. user=mdettweiler [2013-07-19 20:03:13] 791*2^1247862-1 is not prime. Res64: 99E0D8A8EE0EF7E8 Time : 0.0 sec. user=mdettweiler [2013-07-19 20:21:21] 815*2^1247862-1 is not prime. Res64: CDF9D51388CD6516 Time : 0.0 sec. user=mdettweiler [2013-07-19 20:21:21] 825*2^1247862-1 is not prime. Res64: 8D62EDB3BF2A1DAD Time : 0.0 sec. user=mdettweiler [2013-07-19 20:39:05] 945*2^1247862-1 is not prime. Res64: 18816C6EBDCAE82A Time : 0.0 sec. user=mdettweiler [2013-07-19 20:39:05] 649*2^1247863-1 is not prime. Res64: F315B20E3F9AF5A0 Time : 0.0 sec. user=mdettweiler [2013-07-19 20:56:50] 745*2^1247863-1 is not prime. Res64: 5C033EF9CBA67C48 Time : 0.0 sec. user=mdettweiler [2013-07-19 20:56:51] 793*2^1247863-1 is not prime. Res64: 23E6ABC3CAF41BCB Time : 0.0 sec. user=mdettweiler [2013-07-19 21:14:25] 861*2^1247863-1 is not prime. Res64: 5F512E46C240449D Time : 0.0 sec. user=mdettweiler [2013-07-19 21:14:25] 919*2^1247863-1 is not prime. Res64: 1500F79517A59D06 Time : 0.0 sec. user=mdettweiler [2013-07-19 21:31:29] 657*2^1247864-1 is not prime. Res64: 6AB1EE056D4CF38F Time : 0.0 sec. user=mdettweiler [2013-07-19 21:31:30] 683*2^1247864-1 is not prime. Res64: 13B66077B7DED5F1 Time : 0.0 sec. user=mdettweiler [2013-07-19 21:48:33] 827*2^1247864-1 is not prime. Res64: 23C7EC14FB6F0FD8 Time : 0.0 sec. user=mdettweiler [2013-07-19 21:48:33] 609*2^1247865-1 is not prime. Res64: C77BBADCC2197F47 Time : 0.0 sec. user=juhehe [2013-07-19 21:56:21] 747*2^1247864-1 is not prime. Res64: 94549BAF3CCF9EB8 Time : 0.0 sec. user=mdettweiler [2013-07-19 22:05:37] 735*2^1247865-1 is not prime. Res64: F915E0C98152A65C Time : 0.0 sec. user=mdettweiler [2013-07-19 22:05:38] 765*2^1247865-1 is not prime. Res64: 87329BDFA386E5A5 Time : 0.0 sec. user=mdettweiler [2013-07-19 22:22:43] 675*2^1247866-1 is not prime. Res64: BCB8B5FF9884538E Time : 0.0 sec. user=mdettweiler [2013-07-19 22:22:43] 695*2^1247866-1 is not prime. Res64: 389AE8E1D023C2FE Time : 0.0 sec. user=mdettweiler [2013-07-19 22:40:35] 987*2^1247866-1 is not prime. Res64: 69EDE81EA91711D5 Time : 0.0 sec. user=mdettweiler [2013-07-19 22:40:35] 609*2^1247867-1 is not prime. Res64: 0C9F2EDE70F6EDDC Time : 0.0 sec. user=juhehe [2013-07-19 22:47:19] 919*2^1247865-1 is not prime. Res64: 45F529D36870CC7D Time : 0.0 sec. user=mdettweiler [2013-07-19 22:57:41] 633*2^1247867-1 is not prime. Res64: FBCDEFF50DFD9CB1 Time : 0.0 sec. user=mdettweiler [2013-07-19 22:57:42] 669*2^1247867-1 is not prime. Res64: CBE429D2EFEDE823 Time : 0.0 sec. user=mdettweiler [2013-07-19 23:14:44] 883*2^1247867-1 is not prime. Res64: 235028BAE8087ABA Time : 0.0 sec. user=mdettweiler [2013-07-19 23:14:45] 605*2^1247868-1 is not prime. Res64: 48F7664B1D13A83B Time : 0.0 sec. user=mdettweiler [2013-07-19 23:31:50] 669*2^1247868-1 is not prime. Res64: 4F18F5C5264A9E1E Time : 0.0 sec. user=mdettweiler [2013-07-19 23:31:50] 683*2^1247868-1 is not prime. Res64: 4FEDBB839E1D0C98 Time : 0.0 sec. user=juhehe [2013-07-19 23:38:22] 879*2^1247867-1 is not prime. Res64: 09356444D8ECBE03 Time : 0.0 sec. user=mdettweiler [2013-07-19 23:48:56] 705*2^1247868-1 is not prime. Res64: 75A9DB13A1CC0C61 Time : 0.0 sec. user=mdettweiler [2013-07-19 23:48:57] 767*2^1247868-1 is not prime. Res64: 81D034A2F1E992B4 Time : 0.0 sec.