user=mdettweiler [2015-02-11 00:06:54] 927*2^1390776-1 is not prime. Res64: BF17443BB5E22A9A Time : 0.0 sec. user=mdettweiler [2015-02-11 00:06:55] 847*2^1390777-1 is not prime. Res64: 43E3DE1A6BE1B83E Time : 0.0 sec. user=mdettweiler [2015-02-11 00:07:53] 871*2^1390777-1 is not prime. Res64: 48F678DB2F96B3E5 Time : 0.0 sec. user=mdettweiler [2015-02-11 00:07:54] 999*2^1390777-1 is not prime. Res64: AEDF1F5437840FDB Time : 0.0 sec. user=mdettweiler [2015-02-11 00:08:24] 677*2^1390778-1 is not prime. Res64: B6FA1D80ACFBF1A9 Time : 0.0 sec. user=mdettweiler [2015-02-11 00:08:24] 773*2^1390778-1 is not prime. Res64: 40A077EE8AB4252D Time : 0.0 sec. user=mdettweiler [2015-02-11 00:11:16] 833*2^1390778-1 is not prime. Res64: 4EF7EFA7F108F6BE Time : 0.0 sec. user=mdettweiler [2015-02-11 00:11:16] 843*2^1390778-1 is not prime. Res64: 9DA713C4D0B3EB37 Time : 0.0 sec. user=mdettweiler [2015-02-11 00:34:53] 941*2^1390778-1 is not prime. Res64: E5CBCDE4070D89D0 Time : 0.0 sec. user=mdettweiler [2015-02-11 00:34:53] 953*2^1390778-1 is not prime. Res64: E5E496706B81F0B4 Time : 0.0 sec. user=mdettweiler [2015-02-11 00:35:37] 1001*2^1390778-1 is not prime. Res64: 40FE655A75C6FAF1 Time : 0.0 sec. user=mdettweiler [2015-02-11 00:35:37] 709*2^1390779-1 is not prime. Res64: 280F6CC5654CF696 Time : 0.0 sec. user=mdettweiler [2015-02-11 00:36:14] 973*2^1390779-1 is not prime. Res64: 83A37BE69EF26EEE Time : 0.0 sec. user=mdettweiler [2015-02-11 00:36:14] 647*2^1390780-1 is not prime. Res64: BE0242728E1F8DC9 Time : 0.0 sec. user=mdettweiler [2015-02-11 00:39:04] 689*2^1390780-1 is not prime. Res64: 069000835E7E21AD Time : 0.0 sec. user=mdettweiler [2015-02-11 00:39:04] 719*2^1390780-1 is not prime. Res64: 74A33469182B10DC Time : 0.0 sec. user=mdettweiler [2015-02-11 01:02:11] 723*2^1390780-1 is not prime. Res64: 2C022E2ABF20C2F3 Time : 0.0 sec. user=mdettweiler [2015-02-11 01:02:13] 819*2^1390780-1 is not prime. Res64: 1DB54EAE9B0FACE8 Time : 0.0 sec. user=mdettweiler [2015-02-11 01:02:58] 933*2^1390780-1 is not prime. Res64: 889D0F09E3794415 Time : 0.0 sec. user=mdettweiler [2015-02-11 01:02:59] 965*2^1390780-1 is not prime. Res64: C2D70CA4FE6F3DDC Time : 0.0 sec. user=mdettweiler [2015-02-11 01:03:26] 983*2^1390780-1 is not prime. Res64: EF39958BB238227E Time : 0.0 sec. user=mdettweiler [2015-02-11 01:03:27] 989*2^1390780-1 is not prime. Res64: 493AA891DABF0220 Time : 0.0 sec. user=mdettweiler [2015-02-11 01:06:20] 645*2^1390781-1 is not prime. Res64: 96727B38A9ECB593 Time : 0.0 sec. user=mdettweiler [2015-02-11 01:06:20] 727*2^1390781-1 is not prime. Res64: 0951D23657DFA5D5 Time : 0.0 sec. user=mdettweiler [2015-02-11 01:30:27] 735*2^1390781-1 is not prime. Res64: D7D6BDCD9AF265EC Time : 0.0 sec. user=mdettweiler [2015-02-11 01:30:27] 997*2^1390781-1 is not prime. Res64: 24F346C44CE9223E Time : 0.0 sec. user=mdettweiler [2015-02-11 01:31:00] 705*2^1390782-1 is not prime. Res64: 6849A5B00FF6A693 Time : 0.0 sec. user=mdettweiler [2015-02-11 01:31:00] 713*2^1390782-1 is not prime. Res64: F88881E6D5E5B94E Time : 0.0 sec. user=mdettweiler [2015-02-11 01:31:30] 717*2^1390782-1 is not prime. Res64: E42CB695B9052355 Time : 0.0 sec. user=mdettweiler [2015-02-11 01:31:30] 747*2^1390782-1 is not prime. Res64: E40D35D5AFCBF7A9 Time : 0.0 sec. user=mdettweiler [2015-02-11 01:34:27] 797*2^1390782-1 is not prime. Res64: D0D4307B092D5103 Time : 0.0 sec. user=mdettweiler [2015-02-11 01:34:28] 893*2^1390782-1 is not prime. Res64: D49905267C112BDC Time : 0.0 sec. user=mdettweiler [2015-02-11 01:57:38] 941*2^1390782-1 is not prime. Res64: FD1B61CC9DBEB406 Time : 0.0 sec. user=mdettweiler [2015-02-11 01:57:39] 615*2^1390783-1 is not prime. Res64: C387D951C95A30B5 Time : 0.0 sec. user=mdettweiler [2015-02-11 01:57:53] 751*2^1390783-1 is not prime. Res64: 25A6A31E643A0694 Time : 0.0 sec. user=mdettweiler [2015-02-11 01:57:54] 769*2^1390783-1 is not prime. Res64: 71067637AF94FF3D Time : 0.0 sec. user=mdettweiler [2015-02-11 01:58:28] 889*2^1390783-1 is not prime. Res64: 65755D667EC9C13A Time : 0.0 sec. user=mdettweiler [2015-02-11 01:58:29] 665*2^1390784-1 is not prime. Res64: E39EB680856D13BB Time : 0.0 sec. user=mdettweiler [2015-02-11 02:01:16] 755*2^1390784-1 is not prime. Res64: F074C36327D0BCA0 Time : 0.0 sec. user=mdettweiler [2015-02-11 02:01:17] 789*2^1390784-1 is not prime. Res64: 00423044C03870A2 Time : 0.0 sec. user=mdettweiler [2015-02-11 02:25:01] 927*2^1390784-1 is not prime. Res64: E6D89569AA00886B Time : 0.0 sec. user=mdettweiler [2015-02-11 02:25:01] 957*2^1390784-1 is not prime. Res64: 613C7B1F0E8A4F3B Time : 0.0 sec. user=mdettweiler [2015-02-11 02:25:03] 855*2^1390784-1 is not prime. Res64: 283981FFFC26F0B6 Time : 0.0 sec. user=mdettweiler [2015-02-11 02:25:04] 875*2^1390784-1 is not prime. Res64: 484FBFBB0FEEBE54 Time : 0.0 sec. user=mdettweiler [2015-02-11 02:25:50] 601*2^1390785-1 is not prime. Res64: B3DAADC627CF0E44 Time : 0.0 sec. user=mdettweiler [2015-02-11 02:25:52] 651*2^1390785-1 is not prime. Res64: 524AF76A85195D43 Time : 0.0 sec. user=mdettweiler [2015-02-11 02:27:48] 759*2^1390785-1 is not prime. Res64: 182344851E4CA4EE Time : 0.0 sec. user=mdettweiler [2015-02-11 02:27:50] 617*2^1390786-1 is not prime. Res64: B3D0E4D4F5D18EBB Time : 0.0 sec. user=mdettweiler [2015-02-11 02:51:47] 633*2^1390787-1 is not prime. Res64: 832C6DF0F79A28E2 Time : 0.0 sec. user=mdettweiler [2015-02-11 02:51:48] 685*2^1390787-1 is not prime. Res64: 76F9171EE6DBC29A Time : 0.0 sec. user=mdettweiler [2015-02-11 02:51:50] 603*2^1390787-1 is not prime. Res64: 07A63D91F3C940C1 Time : 0.0 sec. user=mdettweiler [2015-02-11 02:51:52] 619*2^1390787-1 is not prime. Res64: 80195F29C5F68DBE Time : 0.0 sec. user=mdettweiler [2015-02-11 02:52:41] 715*2^1390787-1 is not prime. Res64: DA1AAC342A05445E Time : 0.0 sec. user=mdettweiler [2015-02-11 02:52:41] 741*2^1390787-1 is not prime. Res64: E74EC2EC3EF50879 Time : 0.0 sec. user=mdettweiler [2015-02-11 02:54:56] 915*2^1390787-1 is not prime. Res64: 1BFEBDC03A98CE36 Time : 0.0 sec. user=mdettweiler [2015-02-11 02:54:57] 931*2^1390787-1 is not prime. Res64: 464747CA168C8810 Time : 0.0 sec. user=juhehe [2015-02-11 03:03:35] 857*2^1390786-1 is not prime. Res64: 4FF77D63A3817DC3 Time : 0.0 sec. user=mdettweiler [2015-02-11 03:17:52] 839*2^1390788-1 is not prime. Res64: 4661FF64BBDAE5AD Time : 0.0 sec. user=mdettweiler [2015-02-11 03:17:53] 915*2^1390788-1 is not prime. Res64: 8D6BE75FE2F10C98 Time : 0.0 sec. user=mdettweiler [2015-02-11 03:18:36] 993*2^1390787-1 is not prime. Res64: D7C932DBBECDFE5C Time : 0.0 sec. user=mdettweiler [2015-02-11 03:18:36] 819*2^1390788-1 is not prime. Res64: 2DBEDF7F1039D376 Time : 0.0 sec. user=mdettweiler [2015-02-11 03:19:43] 945*2^1390788-1 is not prime. Res64: D968C44186AB5FBA Time : 0.0 sec. user=mdettweiler [2015-02-11 03:19:44] 691*2^1390789-1 is not prime. Res64: 192DD998FB7A547E Time : 0.0 sec. user=mdettweiler [2015-02-11 03:21:55] 741*2^1390789-1 is not prime. Res64: B45C97E8DC260D08 Time : 0.0 sec. user=mdettweiler [2015-02-11 03:21:56] 747*2^1390789-1 is not prime. Res64: A594689AA245AF7A Time : 0.0 sec. user=mdettweiler [2015-02-11 03:43:44] 775*2^1390789-1 is not prime. Res64: BB3E8A9AAADCCCD2 Time : 0.0 sec. user=mdettweiler [2015-02-11 03:43:45] 615*2^1390790-1 is not prime. Res64: 2D0DC9A9F25F5FF1 Time : 0.0 sec. user=mdettweiler [2015-02-11 03:44:35] 635*2^1390790-1 is not prime. Res64: 5E01311873EC0C9D Time : 0.0 sec. user=mdettweiler [2015-02-11 03:44:36] 761*2^1390790-1 is not prime. Res64: BF2284C5ED280955 Time : 0.0 sec. user=mdettweiler [2015-02-11 03:45:31] 791*2^1390790-1 is not prime. Res64: 52A01458C68C7CCF Time : 0.0 sec. user=mdettweiler [2015-02-11 03:45:34] 801*2^1390790-1 is not prime. Res64: 1A7DC4B82A53A8F3 Time : 0.0 sec. user=mdettweiler [2015-02-11 03:47:52] 935*2^1390790-1 is not prime. Res64: DF13071D5B42D0C8 Time : 0.0 sec. user=mdettweiler [2015-02-11 03:47:53] 965*2^1390790-1 is not prime. Res64: 8386E2D35E97BF43 Time : 0.0 sec. user=mdettweiler [2015-02-11 04:09:50] 625*2^1390791-1 is not prime. Res64: CB65B2042C32C384 Time : 0.0 sec. user=mdettweiler [2015-02-11 04:09:51] 705*2^1390791-1 is not prime. Res64: 0FD8E627A71D0259 Time : 0.0 sec. user=mdettweiler [2015-02-11 04:10:24] 709*2^1390791-1 is not prime. Res64: 91E52A4BBEF5BCEA Time : 0.0 sec. user=mdettweiler [2015-02-11 04:10:25] 795*2^1390791-1 is not prime. Res64: D98DF23CEF7AAA28 Time : 0.0 sec. user=mdettweiler [2015-02-11 04:11:36] 871*2^1390791-1 is not prime. Res64: 626722CAD9B04CB4 Time : 0.0 sec. user=mdettweiler [2015-02-11 04:11:36] 885*2^1390791-1 is not prime. Res64: 495BEE302C8F850B Time : 0.0 sec. user=mdettweiler [2015-02-11 04:13:44] 605*2^1390792-1 is not prime. Res64: 98E26330CD48094A Time : 0.0 sec. user=mdettweiler [2015-02-11 04:13:45] 617*2^1390792-1 is not prime. Res64: EC7C96611E93ECEB Time : 0.0 sec. user=mdettweiler [2015-02-11 04:35:42] 665*2^1390792-1 is not prime. Res64: 017E539C68421519 Time : 0.0 sec. user=mdettweiler [2015-02-11 04:35:43] 873*2^1390792-1 is not prime. Res64: B9052A6AA9C6DAC3 Time : 0.0 sec. user=mdettweiler [2015-02-11 04:36:15] 915*2^1390792-1 is not prime. Res64: B519275AB9ED3496 Time : 0.0 sec. user=mdettweiler [2015-02-11 04:36:15] 923*2^1390792-1 is not prime. Res64: 5206B74831C8D629 Time : 0.0 sec. user=mdettweiler [2015-02-11 04:37:25] 933*2^1390792-1 is not prime. Res64: 3706E8D906C4EE30 Time : 0.0 sec. user=mdettweiler [2015-02-11 04:37:25] 607*2^1390793-1 is not prime. Res64: 3BC9451B12AA1C99 Time : 0.0 sec. user=mdettweiler [2015-02-11 04:39:47] 829*2^1390793-1 is not prime. Res64: 123C8762BF8A08C9 Time : 0.0 sec. user=mdettweiler [2015-02-11 04:39:47] 847*2^1390793-1 is not prime. Res64: 59608E524C99F37A Time : 0.0 sec. user=mdettweiler [2015-02-11 05:01:38] 651*2^1390794-1 is not prime. Res64: 5B610CF061ABFFC1 Time : 0.0 sec. user=mdettweiler [2015-02-11 05:01:39] 681*2^1390794-1 is not prime. Res64: E6EC7EC2A2502BD3 Time : 0.0 sec. user=mdettweiler [2015-02-11 05:02:01] 791*2^1390794-1 is not prime. Res64: C6B78F1B9B032E95 Time : 0.0 sec. user=mdettweiler [2015-02-11 05:02:02] 833*2^1390794-1 is not prime. Res64: 40AE850BEFC82C38 Time : 0.0 sec. user=mdettweiler [2015-02-11 05:03:14] 917*2^1390794-1 is not prime. Res64: 568F66F6FEDDA4B7 Time : 0.0 sec. user=mdettweiler [2015-02-11 05:03:16] 789*2^1390795-1 is not prime. Res64: D627555B4462E238 Time : 0.0 sec. user=mdettweiler [2015-02-11 05:05:32] 805*2^1390795-1 is not prime. Res64: 89D0D457F4531859 Time : 0.0 sec. user=mdettweiler [2015-02-11 05:05:34] 873*2^1390795-1 is not prime. Res64: B07AB14F637A45D8 Time : 0.0 sec. user=mdettweiler [2015-02-11 05:27:46] 883*2^1390795-1 is not prime. Res64: E501B492677CDB96 Time : 0.0 sec. user=mdettweiler [2015-02-11 05:27:46] 915*2^1390795-1 is not prime. Res64: BD017C61B8840E21 Time : 0.0 sec. user=mdettweiler [2015-02-11 05:27:57] 999*2^1390795-1 is not prime. Res64: EA66EF5AB9F0C460 Time : 0.0 sec. user=mdettweiler [2015-02-11 05:27:58] 609*2^1390796-1 is not prime. Res64: 1F140B145E947FC3 Time : 0.0 sec. user=mdettweiler [2015-02-11 05:28:58] 635*2^1390796-1 is not prime. Res64: D2EC022991A882C3 Time : 0.0 sec. user=mdettweiler [2015-02-11 05:28:58] 683*2^1390796-1 is not prime. Res64: D9B23795919C09D4 Time : 0.0 sec. user=mdettweiler [2015-02-11 05:31:42] 735*2^1390796-1 is not prime. Res64: EA8E19C338E8073C Time : 0.0 sec. user=mdettweiler [2015-02-11 05:31:43] 867*2^1390796-1 is not prime. Res64: 7FF5F0B56E8D204B Time : 0.0 sec. user=mdettweiler [2015-02-11 05:54:20] 927*2^1390796-1 is not prime. Res64: C4B7C02487316C62 Time : 0.0 sec. user=mdettweiler [2015-02-11 05:54:21] 969*2^1390796-1 is not prime. Res64: C19128374E336E9B Time : 0.0 sec. user=mdettweiler [2015-02-11 05:54:35] 601*2^1390797-1 is not prime. Res64: 5B95812739DDD590 Time : 0.0 sec. user=mdettweiler [2015-02-11 05:54:36] 603*2^1390798-1 is not prime. Res64: FDB648627171908A Time : 0.0 sec. user=mdettweiler [2015-02-11 05:55:50] 623*2^1390798-1 is not prime. Res64: F5CCD050E989E10D Time : 0.0 sec. user=mdettweiler [2015-02-11 05:55:51] 647*2^1390798-1 is not prime. Res64: 652DD5F5B50FEBBC Time : 0.0 sec. user=mdettweiler [2015-02-11 05:58:20] 663*2^1390798-1 is not prime. Res64: 2AADF6AB50317032 Time : 0.0 sec. user=mdettweiler [2015-02-11 05:58:20] 663*2^1390799-1 is not prime. Res64: CCD6B8D61C097C75 Time : 0.0 sec. user=mdettweiler [2015-02-11 06:20:01] 705*2^1390799-1 is not prime. Res64: 6DBBDF0D00E90721 Time : 0.0 sec. user=mdettweiler [2015-02-11 06:20:02] 711*2^1390799-1 is not prime. Res64: 2524B8DDAB3EC838 Time : 0.0 sec. user=mdettweiler [2015-02-11 06:20:18] 741*2^1390799-1 is not prime. Res64: 1CF107DFEA62B24E Time : 0.0 sec. user=mdettweiler [2015-02-11 06:20:18] 813*2^1390799-1 is not prime. Res64: F8A8DBB93B9C004D Time : 0.0 sec. user=mdettweiler [2015-02-11 06:21:39] 859*2^1390799-1 is not prime. Res64: C830BD3A2A065D22 Time : 0.0 sec. user=mdettweiler [2015-02-11 06:21:40] 895*2^1390799-1 is not prime. Res64: E46BAF164B572EBF Time : 0.0 sec. user=mdettweiler [2015-02-11 06:24:05] 627*2^1390800-1 is not prime. Res64: 2C7A2038176EB869 Time : 0.0 sec. user=mdettweiler [2015-02-11 06:24:06] 737*2^1390800-1 is not prime. Res64: 6C9A2CE4493CBD1B Time : 0.0 sec. user=mdettweiler [2015-02-11 06:45:53] 857*2^1390800-1 is not prime. Res64: 3D453207858F11E7 Time : 0.0 sec. user=mdettweiler [2015-02-11 06:45:54] 873*2^1390800-1 is not prime. Res64: 070BD37DE32680BC Time : 0.0 sec. user=mdettweiler [2015-02-11 06:46:05] 927*2^1390800-1 is not prime. Res64: 73A34B0A9DAFFA29 Time : 0.0 sec. user=mdettweiler [2015-02-11 06:46:06] 959*2^1390800-1 is not prime. Res64: 7599AA92D915EEA6 Time : 0.0 sec. user=mdettweiler [2015-02-11 06:47:28] 615*2^1390801-1 is not prime. Res64: 24EEAB696000FDD8 Time : 0.0 sec. user=mdettweiler [2015-02-11 06:47:28] 829*2^1390801-1 is not prime. Res64: D3773683F2966407 Time : 0.0 sec. user=mdettweiler [2015-02-11 06:49:58] 617*2^1390802-1 is not prime. Res64: E6C868C21CB2BB1E Time : 0.0 sec. user=mdettweiler [2015-02-11 06:49:58] 633*2^1390802-1 is not prime. Res64: 88DA9056443A25CF Time : 0.0 sec. user=mdettweiler [2015-02-11 07:11:39] 657*2^1390802-1 is not prime. Res64: 218983715E5E62F2 Time : 0.0 sec. user=mdettweiler [2015-02-11 07:11:39] 671*2^1390802-1 is not prime. Res64: 50102841E374231D Time : 0.0 sec. user=mdettweiler [2015-02-11 07:11:46] 683*2^1390802-1 is not prime. Res64: 3A9BDFEA43C6A7C9 Time : 0.0 sec. user=mdettweiler [2015-02-11 07:11:47] 755*2^1390802-1 is not prime. Res64: 12D163A2B857B212 Time : 0.0 sec. user=mdettweiler [2015-02-11 07:13:17] 827*2^1390802-1 is not prime. Res64: D1FD4B54AC68183A Time : 0.0 sec. user=mdettweiler [2015-02-11 07:13:18] 953*2^1390802-1 is not prime. Res64: 8F8565D181631A73 Time : 0.0 sec. user=mdettweiler [2015-02-11 07:15:47] 987*2^1390802-1 is not prime. Res64: 46693A7B753C21CE Time : 0.0 sec. user=mdettweiler [2015-02-11 07:15:47] 619*2^1390803-1 is not prime. Res64: 7B34A28F34BEA58A Time : 0.0 sec. user=mdettweiler [2015-02-11 07:37:28] 643*2^1390803-1 is not prime. Res64: 75E03494CFE4413D Time : 0.0 sec. user=mdettweiler [2015-02-11 07:37:29] 649*2^1390803-1 is not prime. Res64: A88D87D4C927C628 Time : 0.0 sec. user=mdettweiler [2015-02-11 07:37:37] 669*2^1390803-1 is not prime. Res64: D3395C992A1D0523 Time : 0.0 sec. user=mdettweiler [2015-02-11 07:37:38] 765*2^1390803-1 is not prime. Res64: A0C8A7E8DDB6F144 Time : 0.0 sec. user=mdettweiler [2015-02-11 07:39:08] 829*2^1390803-1 is not prime. Res64: B32C50AF9DFF3992 Time : 0.0 sec. user=mdettweiler [2015-02-11 07:39:08] 835*2^1390803-1 is not prime. Res64: AA6967694BD89C33 Time : 0.0 sec. user=mdettweiler [2015-02-11 07:41:39] 891*2^1390803-1 is not prime. Res64: 9DA2B29B86985F43 Time : 0.0 sec. user=mdettweiler [2015-02-11 07:41:40] 921*2^1390803-1 is not prime. Res64: ABD316A5A7AD2743 Time : 0.0 sec. user=mdettweiler [2015-02-11 08:03:11] 945*2^1390803-1 is not prime. Res64: 404FA9CD8FCB87E5 Time : 0.0 sec. user=mdettweiler [2015-02-11 08:03:12] 951*2^1390803-1 is not prime. Res64: D5743AD3CB4CD97A Time : 0.0 sec. user=mdettweiler [2015-02-11 08:03:26] 605*2^1390804-1 is not prime. Res64: 2B5A72201ED211D5 Time : 0.0 sec. user=mdettweiler [2015-02-11 08:03:27] 617*2^1390804-1 is not prime. Res64: FC47BAF619991BE0 Time : 0.0 sec. user=mdettweiler [2015-02-11 08:04:55] 665*2^1390804-1 is not prime. Res64: 06FCC7B962FAAA2A Time : 0.0 sec. user=mdettweiler [2015-02-11 08:04:56] 693*2^1390804-1 is not prime. Res64: 22237FF5EDC03703 Time : 0.0 sec. user=mdettweiler [2015-02-11 08:07:23] 695*2^1390804-1 is not prime. Res64: 47A693444219C9A8 Time : 0.0 sec. user=mdettweiler [2015-02-11 08:07:23] 717*2^1390804-1 is not prime. Res64: 19F2E472DB0ED722 Time : 0.0 sec. user=mdettweiler [2015-02-11 08:29:21] 887*2^1390804-1 is not prime. Res64: CE6167C9892240AE Time : 0.0 sec. user=mdettweiler [2015-02-11 08:29:21] 903*2^1390804-1 is not prime. Res64: 6F3310BE2F4F185A Time : 0.0 sec. user=mdettweiler [2015-02-11 08:29:26] 803*2^1390804-1 is not prime. Res64: 183DB44CA96CDB97 Time : 0.0 sec. user=mdettweiler [2015-02-11 08:29:27] 833*2^1390804-1 is not prime. Res64: D7423C47A886E513 Time : 0.0 sec. user=mdettweiler [2015-02-11 08:30:43] 939*2^1390804-1 is not prime. Res64: 0FD1C0929239895B Time : 0.0 sec. user=mdettweiler [2015-02-11 08:30:44] 989*2^1390804-1 is not prime. Res64: F426E0245E025A21 Time : 0.0 sec. user=mdettweiler [2015-02-11 08:33:14] 619*2^1390805-1 is not prime. Res64: 19751AA84C75A361 Time : 0.0 sec. user=mdettweiler [2015-02-11 08:33:15] 657*2^1390805-1 is not prime. Res64: 6DCA97C375C81F4B Time : 0.0 sec. user=mdettweiler [2015-02-11 08:56:30] 825*2^1390805-1 is not prime. Res64: DF4D9A95A4398C83 Time : 0.0 sec. user=mdettweiler [2015-02-11 08:56:30] 837*2^1390805-1 is not prime. Res64: 37E1535F4340ABFD Time : 0.0 sec. user=mdettweiler [2015-02-11 09:23:39] 615*2^1390806-1 is not prime. Res64: BFF04BF49EBD934F Time : 0.0 sec. user=mdettweiler [2015-02-11 09:23:40] 711*2^1390806-1 is not prime. Res64: 6ED53DF82C056E3E Time : 0.0 sec. user=mdettweiler [2015-02-11 09:51:34] 777*2^1390806-1 is not prime. Res64: 77676E880E732B07 Time : 0.0 sec. user=mdettweiler [2015-02-11 09:51:34] 917*2^1390806-1 is not prime. Res64: D1239CB65F369283 Time : 0.0 sec. user=mdettweiler [2015-02-11 10:19:25] 993*2^1390806-1 is not prime. Res64: D19B5010A42595A6 Time : 0.0 sec. user=mdettweiler [2015-02-11 10:19:26] 681*2^1390807-1 is not prime. Res64: 9761FA706EC0BA81 Time : 0.0 sec. user=mdettweiler [2015-02-11 10:34:29] 777*2^1390805-1 is not prime. Res64: 98877F9F27CAC4E3 Time : 0.0 sec. user=mdettweiler [2015-02-11 10:34:30] 811*2^1390805-1 is not prime. Res64: 66A739D246838948 Time : 0.0 sec. user=mdettweiler [2015-02-11 10:40:11] 865*2^1390805-1 is not prime. Res64: 7BF64554E4C95E79 Time : 0.0 sec. user=mdettweiler [2015-02-11 10:40:12] 957*2^1390805-1 is not prime. Res64: 79A8A7C89A99F055 Time : 0.0 sec. user=mdettweiler [2015-02-11 10:46:50] 763*2^1390807-1 is not prime. Res64: FE485B8D8086343E Time : 0.0 sec. user=mdettweiler [2015-02-11 10:46:50] 883*2^1390807-1 is not prime. Res64: 19A2A412B60D1414 Time : 0.0 sec. user=mdettweiler [2015-02-11 11:01:29] 931*2^1390807-1 is not prime. Res64: 7C23031B96EA597D Time : 0.0 sec. user=mdettweiler [2015-02-11 11:01:30] 669*2^1390808-1 is not prime. Res64: A9081DA57CCD8B58 Time : 0.0 sec. user=mdettweiler [2015-02-11 11:06:57] 755*2^1390808-1 is not prime. Res64: 6700303EAC50F1D4 Time : 0.0 sec. user=mdettweiler [2015-02-11 11:06:57] 767*2^1390808-1 is not prime. Res64: FF93D011C6115D0A Time : 0.0 sec. user=mdettweiler [2015-02-11 11:13:32] 915*2^1390808-1 is not prime. Res64: 0D499C5AA2F370C8 Time : 0.0 sec. user=mdettweiler [2015-02-11 11:13:33] 969*2^1390808-1 is not prime. Res64: 80628D6E3669E367 Time : 0.0 sec. user=mdettweiler [2015-02-11 11:28:26] 681*2^1390809-1 is not prime. Res64: A72FE0BB02EE1842 Time : 0.0 sec. user=mdettweiler [2015-02-11 11:28:26] 709*2^1390809-1 is not prime. Res64: BC04C54653C9B3BA Time : 0.0 sec. user=mdettweiler [2015-02-11 11:33:51] 781*2^1390809-1 is not prime. Res64: DC003A818638FFDB Time : 0.0 sec. user=mdettweiler [2015-02-11 11:33:51] 807*2^1390809-1 is not prime. Res64: 19D74DE1BDA1493A Time : 0.0 sec. user=mdettweiler [2015-02-11 11:40:30] 865*2^1390809-1 is not prime. Res64: 7D2B8E009FC29DF3 Time : 0.0 sec. user=mdettweiler [2015-02-11 11:40:30] 885*2^1390809-1 is not prime. Res64: A19F5A7C0F13D0FE Time : 0.0 sec. user=mdettweiler [2015-02-11 11:55:20] 921*2^1390809-1 is not prime. Res64: 043E3346A0AC45EE Time : 0.0 sec. user=mdettweiler [2015-02-11 11:55:20] 987*2^1390809-1 is not prime. Res64: F757F2F97141763C Time : 0.0 sec. user=mdettweiler [2015-02-11 12:00:32] 603*2^1390810-1 is not prime. Res64: 0DC3501A12BC8C17 Time : 0.0 sec. user=mdettweiler [2015-02-11 12:00:33] 707*2^1390810-1 is not prime. Res64: 9C5F34E61B9852CE Time : 0.0 sec. user=mdettweiler [2015-02-11 12:07:16] 735*2^1390810-1 is not prime. Res64: 7DFD65643F1CF8E4 Time : 0.0 sec. user=mdettweiler [2015-02-11 12:07:17] 741*2^1390810-1 is not prime. Res64: FC204308509BC5F0 Time : 0.0 sec. user=mdettweiler [2015-02-11 12:22:14] 777*2^1390810-1 is not prime. Res64: AA1AE788BA38400A Time : 0.0 sec. user=mdettweiler [2015-02-11 12:22:15] 791*2^1390810-1 is not prime. Res64: A701E8B45FC77CBC Time : 0.0 sec. user=mdettweiler [2015-02-11 12:27:15] 821*2^1390810-1 is not prime. Res64: 684C58BAC860387D Time : 0.0 sec. user=mdettweiler [2015-02-11 12:27:16] 845*2^1390810-1 is not prime. Res64: EB5950AC7C7C540B Time : 0.0 sec. user=mdettweiler [2015-02-11 12:34:18] 911*2^1390810-1 is not prime. Res64: 4ACFF3C1E9971276 Time : 0.0 sec. user=mdettweiler [2015-02-11 12:34:18] 917*2^1390810-1 is not prime. Res64: 663AA0A84E493D30 Time : 0.0 sec. user=mdettweiler [2015-02-11 12:49:28] 933*2^1390810-1 is not prime. Res64: F372D256498739FD Time : 0.0 sec. user=mdettweiler [2015-02-11 12:49:29] 945*2^1390810-1 is not prime. Res64: 2AAF4C1CB53AEEF5 Time : 0.0 sec. user=mdettweiler [2015-02-11 12:54:45] 621*2^1390811-1 is not prime. Res64: 3F0DFF95053DF1C4 Time : 0.0 sec. user=mdettweiler [2015-02-11 12:54:45] 669*2^1390811-1 is not prime. Res64: DAE90F20BB776082 Time : 0.0 sec. user=mdettweiler [2015-02-11 13:02:22] 675*2^1390811-1 is not prime. Res64: DA0AA4354152F3E3 Time : 0.0 sec. user=mdettweiler [2015-02-11 13:02:24] 711*2^1390811-1 is not prime. Res64: C6933CF58E780A4F Time : 0.0 sec. user=mdettweiler [2015-02-11 13:26:17] 909*2^1390811-1 is not prime. Res64: 1013E7E6FD7BA6A3 Time : 0.0 sec. user=mdettweiler [2015-02-11 13:26:17] 945*2^1390811-1 is not prime. Res64: E846F9138C44A519 Time : 0.0 sec. user=mdettweiler [2015-02-11 13:34:32] 675*2^1390812-1 is not prime. Res64: 58DFB34D544E8F49 Time : 0.0 sec. user=mdettweiler [2015-02-11 13:34:33] 689*2^1390812-1 is not prime. Res64: B28014A085DE0A08 Time : 0.0 sec. user=mdettweiler [2015-02-11 13:42:40] 765*2^1390812-1 is not prime. Res64: D4513A090134BDEA Time : 0.0 sec. user=mdettweiler [2015-02-11 13:42:40] 767*2^1390812-1 is not prime. Res64: DC7BE39FC0A5F583 Time : 0.0 sec. user=mdettweiler [2015-02-11 13:58:24] 863*2^1390812-1 is not prime. Res64: 53E50407B5245944 Time : 0.0 sec. user=mdettweiler [2015-02-11 13:58:25] 975*2^1390812-1 is not prime. Res64: D2435D09ECAEF6F5 Time : 0.0 sec. user=mdettweiler [2015-02-11 14:03:02] 685*2^1390813-1 is not prime. Res64: 18EF41437013DC19 Time : 0.0 sec. user=mdettweiler [2015-02-11 14:03:04] 687*2^1390813-1 is not prime. Res64: A8E79274E1CEED77 Time : 0.0 sec. user=mdettweiler [2015-02-11 14:10:33] 691*2^1390813-1 is not prime. Res64: 615E4ACF0CDB7B6A Time : 0.0 sec. user=mdettweiler [2015-02-11 14:10:34] 747*2^1390813-1 is not prime. Res64: 4BBA4247C98472B7 Time : 0.0 sec. user=mdettweiler [2015-02-11 14:25:54] 801*2^1390813-1 is not prime. Res64: D1959B68CFBBE5C4 Time : 0.0 sec. user=mdettweiler [2015-02-11 14:25:55] 819*2^1390813-1 is not prime. Res64: D43CA018E04B2BE2 Time : 0.0 sec. user=mdettweiler [2015-02-11 14:31:06] 627*2^1390814-1 is not prime. Res64: A52E7317FA76ED93 Time : 0.0 sec. user=mdettweiler [2015-02-11 14:31:07] 657*2^1390814-1 is not prime. Res64: 3D81ACD7D809C173 Time : 0.0 sec. user=mdettweiler [2015-02-11 14:38:04] 917*2^1390814-1 is not prime. Res64: 017BA413F0FB7C94 Time : 0.0 sec. user=mdettweiler [2015-02-11 14:38:05] 953*2^1390814-1 is not prime. Res64: E804BD16427CFDDF Time : 0.0 sec. user=mdettweiler [2015-02-11 14:53:23] 633*2^1390815-1 is not prime. Res64: 4F510BA0E8237C08 Time : 0.0 sec. user=mdettweiler [2015-02-11 14:53:23] 711*2^1390815-1 is not prime. Res64: B07DE10595893187 Time : 0.0 sec. user=mdettweiler [2015-02-11 14:59:55] 739*2^1390815-1 is not prime. Res64: FF8DDC853EC0185E Time : 0.0 sec. user=mdettweiler [2015-02-11 14:59:56] 783*2^1390815-1 is not prime. Res64: F4CDC0087950F6F0 Time : 0.0 sec. user=mdettweiler [2015-02-11 15:06:55] 823*2^1390815-1 is not prime. Res64: F707E03E71BDD9EA Time : 0.0 sec. user=mdettweiler [2015-02-11 15:06:56] 849*2^1390815-1 is not prime. Res64: D9BC76C4969A2022 Time : 0.0 sec. user=mdettweiler [2015-02-11 15:22:26] 865*2^1390815-1 is not prime. Res64: 1CC6EFC11FFA841B Time : 0.0 sec. user=mdettweiler [2015-02-11 15:22:26] 677*2^1390816-1 is not prime. Res64: ADF3629E53379327 Time : 0.0 sec. user=mdettweiler [2015-02-11 15:28:52] 705*2^1390816-1 is not prime. Res64: 048C11D03AB09000 Time : 0.0 sec. user=mdettweiler [2015-02-11 15:28:52] 923*2^1390816-1 is not prime. Res64: 146F17EAB802A78C Time : 0.0 sec. user=mdettweiler [2015-02-11 15:36:54] 969*2^1390816-1 is not prime. Res64: 359142F63B1BF315 Time : 0.0 sec. user=mdettweiler [2015-02-11 15:36:55] 989*2^1390816-1 is not prime. Res64: 90400B537DEBF1CD Time : 0.0 sec. user=mdettweiler [2015-02-11 15:52:42] 999*2^1390816-1 is not prime. Res64: D8109046027E63CB Time : 0.0 sec. user=mdettweiler [2015-02-11 15:52:42] 675*2^1390817-1 is not prime. Res64: 447B1BE002B1C28E Time : 0.0 sec. user=mdettweiler [2015-02-11 15:58:09] 795*2^1390817-1 is not prime. Res64: B649D53949D526A9 Time : 0.0 sec. user=mdettweiler [2015-02-11 15:58:09] 847*2^1390817-1 is not prime. Res64: 5AC04A43E0F8FEF7 Time : 0.0 sec. user=mdettweiler [2015-02-11 16:05:53] 949*2^1390817-1 is not prime. Res64: FC5E44895A35A240 Time : 0.0 sec. user=mdettweiler [2015-02-11 16:05:54] 657*2^1390818-1 is not prime. Res64: 6DFD73A2E029F726 Time : 0.0 sec. user=juhehe [2015-02-11 16:06:56] 691*2^1390817-1 is not prime. Res64: 6826BBC6FD586125 Time : 0.0 sec. user=mdettweiler [2015-02-11 16:21:13] 711*2^1390818-1 is not prime. Res64: 239C67962B72B5D8 Time : 0.0 sec. user=mdettweiler [2015-02-11 16:21:13] 815*2^1390818-1 is not prime. Res64: 43BD15B39A90BF40 Time : 0.0 sec. user=mdettweiler [2015-02-11 16:26:26] 837*2^1390818-1 is not prime. Res64: 2AF36F320236CE69 Time : 0.0 sec. user=mdettweiler [2015-02-11 16:26:27] 963*2^1390818-1 is not prime. Res64: E926BA5E498C71E1 Time : 0.0 sec. user=mdettweiler [2015-02-11 16:35:16] 681*2^1390819-1 is not prime. Res64: 006CD4A78CFCAEE8 Time : 0.0 sec. user=mdettweiler [2015-02-11 16:35:16] 691*2^1390819-1 is not prime. Res64: D84B4DAAF42658CD Time : 0.0 sec. user=mdettweiler [2015-02-11 16:51:51] 745*2^1390819-1 is not prime. Res64: 6796CE20F2339933 Time : 0.0 sec. user=mdettweiler [2015-02-11 16:51:51] 769*2^1390819-1 is not prime. Res64: 5B7A77E471826A5D Time : 0.0 sec. user=mdettweiler [2015-02-11 16:56:31] 853*2^1390819-1 is not prime. Res64: A25E8340A74CBC41 Time : 0.0 sec. user=mdettweiler [2015-02-11 16:56:31] 961*2^1390819-1 is not prime. Res64: 8428234122174C14 Time : 0.0 sec. user=mdettweiler [2015-02-11 17:04:41] 635*2^1390820-1 is not prime. Res64: 7109827F4C1907F0 Time : 0.0 sec. user=mdettweiler [2015-02-11 17:04:43] 699*2^1390820-1 is not prime. Res64: 458F2C92B35E1FA9 Time : 0.0 sec. user=mdettweiler [2015-02-11 17:22:26] 753*2^1390820-1 is not prime. Res64: 2EA6E424CABDD4F9 Time : 0.0 sec. user=mdettweiler [2015-02-11 17:22:27] 797*2^1390820-1 is not prime. Res64: 119ECC4B07B37742 Time : 0.0 sec. user=mdettweiler [2015-02-11 17:24:49] 855*2^1390820-1 is not prime. Res64: D0D2DFADDA23A11A Time : 0.0 sec. user=mdettweiler [2015-02-11 17:24:49] 607*2^1390821-1 is not prime. Res64: C3F7C8766A18F620 Time : 0.0 sec. user=mdettweiler [2015-02-11 17:34:28] 625*2^1390821-1 is not prime. Res64: 3A0F1DE920DE3EFB Time : 0.0 sec. user=mdettweiler [2015-02-11 17:34:28] 709*2^1390821-1 is not prime. Res64: 787E7D69D86E17C9 Time : 0.0 sec. user=mdettweiler [2015-02-11 17:52:02] 777*2^1390821-1 is not prime. Res64: 25535FEF5C2F966D Time : 0.0 sec. user=mdettweiler [2015-02-11 17:52:02] 847*2^1390821-1 is not prime. Res64: 74A7D34E40B934BD Time : 0.0 sec. user=mdettweiler [2015-02-11 17:54:17] 861*2^1390821-1 is not prime. Res64: 55F530589E245968 Time : 0.0 sec. user=mdettweiler [2015-02-11 17:54:17] 937*2^1390821-1 is not prime. Res64: C0B40D8E0089F979 Time : 0.0 sec. user=mdettweiler [2015-02-11 18:03:08] 949*2^1390821-1 is not prime. Res64: 7EB1258C279A6229 Time : 0.0 sec. user=mdettweiler [2015-02-11 18:03:10] 955*2^1390821-1 is not prime. Res64: D9299D427003BC43 Time : 0.0 sec. user=mdettweiler [2015-02-11 18:15:20] 711*2^1390805-1 is not prime. Res64: BF58EA6788244761 Time : 0.0 sec. user=mdettweiler [2015-02-11 18:15:21] 735*2^1390805-1 is not prime. Res64: 41F59763890C0E57 Time : 0.0 sec. user=mdettweiler [2015-02-11 18:20:48] 941*2^1390822-1 is not prime. Res64: A570E2A5E27A84B6 Time : 0.0 sec. user=mdettweiler [2015-02-11 18:20:48] 729*2^1390823-1 is not prime. Res64: A3608BE2ED8FA1CE Time : 0.0 sec. user=mdettweiler [2015-02-11 18:23:13] 739*2^1390823-1 is not prime. Res64: 183D8A4919528974 Time : 0.0 sec. user=mdettweiler [2015-02-11 18:23:14] 879*2^1390823-1 is not prime. Res64: B9FA5478F234C27A Time : 0.0 sec. user=mdettweiler [2015-02-11 18:31:39] 993*2^1390823-1 is not prime. Res64: 6BA58EA9600F9632 Time : 0.0 sec. user=mdettweiler [2015-02-11 18:31:40] 605*2^1390824-1 is not prime. Res64: AC2C55DB7D6FFB6B Time : 0.0 sec. user=mdettweiler [2015-02-11 18:43:12] 657*2^1390824-1 is not prime. Res64: 8AE5EC3B682D16A4 Time : 0.0 sec. user=mdettweiler [2015-02-11 18:43:12] 693*2^1390824-1 is not prime. Res64: 6999107FC15BCE52 Time : 0.0 sec. user=mdettweiler [2015-02-11 18:47:53] 773*2^1390824-1 is not prime. Res64: A2889B15DB5267FE Time : 0.0 sec. user=mdettweiler [2015-02-11 18:47:54] 803*2^1390824-1 is not prime. Res64: F44A05FD4B29316F Time : 0.0 sec. user=mdettweiler [2015-02-11 18:50:19] 863*2^1390824-1 is not prime. Res64: C03AAA7C04E47807 Time : 0.0 sec. user=mdettweiler [2015-02-11 18:50:19] 661*2^1390825-1 is not prime. Res64: F9FC8ABE8C77BD64 Time : 0.0 sec. user=mdettweiler [2015-02-11 18:58:51] 765*2^1390825-1 is not prime. Res64: 790A901E1E9DDDBA Time : 0.0 sec. user=mdettweiler [2015-02-11 18:58:52] 811*2^1390825-1 is not prime. Res64: BD11E048277DEF67 Time : 0.0 sec. user=mdettweiler [2015-02-11 19:10:12] 915*2^1390825-1 is not prime. Res64: 56602CAD71D723D3 Time : 0.0 sec. user=mdettweiler [2015-02-11 19:10:12] 711*2^1390826-1 is not prime. Res64: DACDB19B74062347 Time : 0.0 sec. user=mdettweiler [2015-02-11 19:15:20] 827*2^1390826-1 is not prime. Res64: C56F33BA508EC9A8 Time : 0.0 sec. user=mdettweiler [2015-02-11 19:15:21] 893*2^1390826-1 is not prime. Res64: 9274620EC95F8A76 Time : 0.0 sec. user=juhehe [2015-02-11 19:16:47] 903*2^1390826-1 is not prime. Res64: B011CB60301492C7 Time : 0.0 sec. user=mdettweiler [2015-02-11 19:17:49] 935*2^1390826-1 is not prime. Res64: 4B6F13C5B81F7758 Time : 0.0 sec. user=mdettweiler [2015-02-11 19:17:50] 957*2^1390826-1 is not prime. Res64: 2E4DD4235A5948FE Time : 0.0 sec. user=mdettweiler [2015-02-11 19:26:55] 963*2^1390826-1 is not prime. Res64: 3BFFF25E21625508 Time : 0.0 sec. user=mdettweiler [2015-02-11 19:26:56] 859*2^1390827-1 is not prime. Res64: FFE7E1B01215A44A Time : 0.0 sec. user=mdettweiler [2015-02-11 19:38:04] 873*2^1390827-1 is not prime. Res64: BA8660AF13536893 Time : 0.0 sec. user=mdettweiler [2015-02-11 19:38:04] 951*2^1390827-1 is not prime. Res64: 638AE41F81190D70 Time : 0.0 sec. user=mdettweiler [2015-02-11 19:42:38] 973*2^1390827-1 is not prime. Res64: C8418FD667FDC8E9 Time : 0.0 sec. user=mdettweiler [2015-02-11 19:42:39] 999*2^1390827-1 is not prime. Res64: 59023EDF9CFE1618 Time : 0.0 sec. user=mdettweiler [2015-02-11 19:45:39] 617*2^1390828-1 is not prime. Res64: 28FFB46B3DB97D60 Time : 0.0 sec. user=mdettweiler [2015-02-11 19:45:40] 635*2^1390828-1 is not prime. Res64: 65E5210556B830A7 Time : 0.0 sec. user=mdettweiler [2015-02-11 19:53:45] 665*2^1390828-1 is not prime. Res64: B021573484E68744 Time : 0.0 sec. user=mdettweiler [2015-02-11 19:53:46] 677*2^1390828-1 is not prime. Res64: D14E0EFE9C9FD38E Time : 0.0 sec. user=mdettweiler [2015-02-11 20:04:34] 773*2^1390828-1 is not prime. Res64: A4322791F15E5DB2 Time : 0.0 sec. user=mdettweiler [2015-02-11 20:04:35] 699*2^1390829-1 is not prime. Res64: 1A6ABD607A7F5AE4 Time : 0.0 sec. user=mdettweiler [2015-02-11 20:09:10] 741*2^1390829-1 is not prime. Res64: 09A55267E8414F4F Time : 0.0 sec. user=mdettweiler [2015-02-11 20:09:10] 747*2^1390829-1 is not prime. Res64: E2B41BDE29A39175 Time : 0.0 sec. user=mdettweiler [2015-02-11 20:12:10] 787*2^1390829-1 is not prime. Res64: C0370A984740B6AE Time : 0.0 sec. user=mdettweiler [2015-02-11 20:12:11] 811*2^1390829-1 is not prime. Res64: E46852A3C75D4609 Time : 0.0 sec. user=mdettweiler [2015-02-11 20:20:19] 865*2^1390829-1 is not prime. Res64: D465930F250E1DEF Time : 0.0 sec. user=mdettweiler [2015-02-11 20:20:19] 635*2^1390830-1 is not prime. Res64: 657AAD5AB54754E8 Time : 0.0 sec. user=mdettweiler [2015-02-11 20:30:59] 681*2^1390830-1 is not prime. Res64: A690B12CD06A95B0 Time : 0.0 sec. user=mdettweiler [2015-02-11 20:30:59] 777*2^1390830-1 is not prime. Res64: 192DD46488B9BBAA Time : 0.0 sec. user=mdettweiler [2015-02-11 20:35:38] 795*2^1390830-1 is not prime. Res64: C95356EC6F047C79 Time : 0.0 sec. user=mdettweiler [2015-02-11 20:35:38] 833*2^1390830-1 is not prime. Res64: 2418260D3E6FEB5D Time : 0.0 sec. user=mdettweiler [2015-02-11 20:38:41] 921*2^1390830-1 is not prime. Res64: 1BF747BCEF9863A0 Time : 0.0 sec. user=mdettweiler [2015-02-11 20:38:41] 933*2^1390830-1 is not prime. Res64: 761DD51FFDDB982C Time : 0.0 sec. user=mdettweiler [2015-02-11 20:46:52] 951*2^1390830-1 is not prime. Res64: CEA542FE3B3935D8 Time : 0.0 sec. user=mdettweiler [2015-02-11 20:46:52] 963*2^1390830-1 is not prime. Res64: BD8132324B3703F2 Time : 0.0 sec. user=mdettweiler [2015-02-11 20:57:27] 971*2^1390830-1 is not prime. Res64: 4777D7BF73021B36 Time : 0.0 sec. user=mdettweiler [2015-02-11 20:57:27] 645*2^1390831-1 is not prime. Res64: 11F1949B0BC938C6 Time : 0.0 sec. user=mdettweiler [2015-02-11 21:02:01] 693*2^1390831-1 is not prime. Res64: 08E6A36D755708C0 Time : 0.0 sec. user=mdettweiler [2015-02-11 21:02:02] 715*2^1390831-1 is not prime. Res64: 0CFF8AB3D1A50A3D Time : 0.0 sec. user=mdettweiler [2015-02-11 21:05:03] 789*2^1390831-1 is not prime. Res64: 037BC70920CE150F Time : 0.0 sec. user=mdettweiler [2015-02-11 21:05:04] 859*2^1390831-1 is not prime. Res64: 2611C4C839AFDC0F Time : 0.0 sec. user=mdettweiler [2015-02-11 21:13:25] 871*2^1390831-1 is not prime. Res64: 639CEE3CD41AD164 Time : 0.0 sec. user=mdettweiler [2015-02-11 21:13:26] 939*2^1390831-1 is not prime. Res64: 7CAB6E00B135FB3A Time : 0.0 sec. user=mdettweiler [2015-02-11 21:23:50] 951*2^1390831-1 is not prime. Res64: 31EE7AFFEB69650A Time : 0.0 sec. user=mdettweiler [2015-02-11 21:23:51] 975*2^1390831-1 is not prime. Res64: 458CC5269682FEEC Time : 0.0 sec. user=mdettweiler [2015-02-11 21:28:44] 615*2^1390832-1 is not prime. Res64: 3AECEF9922844201 Time : 0.0 sec. user=mdettweiler [2015-02-11 21:28:45] 797*2^1390832-1 is not prime. Res64: 1AB719B3E8964A61 Time : 0.0 sec. user=mdettweiler [2015-02-11 21:31:45] 813*2^1390832-1 is not prime. Res64: 76A86727E729178C Time : 0.0 sec. user=mdettweiler [2015-02-11 21:31:46] 893*2^1390832-1 is not prime. Res64: A439AA774CCC4DB0 Time : 0.0 sec. user=mdettweiler [2015-02-11 21:39:43] 963*2^1390832-1 is not prime. Res64: 09A48FAB2152E914 Time : 0.0 sec. user=mdettweiler [2015-02-11 21:39:43] 995*2^1390832-1 is not prime. Res64: 790454CCE4CAAE04 Time : 0.0 sec. user=mdettweiler [2015-02-11 21:50:11] 637*2^1390833-1 is not prime. Res64: 8ED09D978F2EB969 Time : 0.0 sec. user=mdettweiler [2015-02-11 21:50:11] 639*2^1390833-1 is not prime. Res64: 709A30C8951DD4D6 Time : 0.0 sec. user=mdettweiler [2015-02-11 21:55:10] 705*2^1390833-1 is not prime. Res64: E5E5CD91870C0821 Time : 0.0 sec. user=mdettweiler [2015-02-11 21:55:11] 837*2^1390833-1 is not prime. Res64: 77D2768B220B6D4D Time : 0.0 sec. user=mdettweiler [2015-02-11 21:58:14] 605*2^1390834-1 is not prime. Res64: DD2E3A132A806E78 Time : 0.0 sec. user=mdettweiler [2015-02-11 21:58:14] 765*2^1390834-1 is not prime. Res64: BFEC416C23B24695 Time : 0.0 sec. user=mdettweiler [2015-02-11 22:06:16] 825*2^1390834-1 is not prime. Res64: CDFB8D77AE0B6474 Time : 0.0 sec. user=mdettweiler [2015-02-11 22:06:16] 885*2^1390834-1 is not prime. Res64: 924A0E8B0B8C86E0 Time : 0.0 sec. user=mdettweiler [2015-02-11 22:17:28] 975*2^1390834-1 is not prime. Res64: 0F9AAEB2021F7057 Time : 0.0 sec. user=mdettweiler [2015-02-11 22:17:29] 987*2^1390834-1 is not prime. Res64: C5E17C19DFD23684 Time : 0.0 sec. user=mdettweiler [2015-02-11 22:22:02] 643*2^1390835-1 is not prime. Res64: BB8559D01FED6D7C Time : 0.0 sec. user=mdettweiler [2015-02-11 22:22:02] 673*2^1390835-1 is not prime. Res64: F13BB6A2AF0E5428 Time : 0.0 sec. user=mdettweiler [2015-02-11 22:25:38] 733*2^1390835-1 is not prime. Res64: 1E4884B31DC83106 Time : 0.0 sec. user=mdettweiler [2015-02-11 22:25:39] 753*2^1390835-1 is not prime. Res64: F69FA2116267B0E3 Time : 0.0 sec. user=mdettweiler [2015-02-11 22:33:28] 775*2^1390835-1 is not prime. Res64: A5EA08AAC63CAC6F Time : 0.0 sec. user=mdettweiler [2015-02-11 22:33:29] 783*2^1390835-1 is not prime. Res64: 930FC0CEBD086BD8 Time : 0.0 sec. user=mdettweiler [2015-02-11 22:44:15] 825*2^1390835-1 is not prime. Res64: A5B63D5CFEF8453C Time : 0.0 sec. user=mdettweiler [2015-02-11 22:44:15] 895*2^1390835-1 is not prime. Res64: DE94474ED9738BBE Time : 0.0 sec. user=mdettweiler [2015-02-11 22:48:48] 921*2^1390835-1 is not prime. Res64: 84025BF053862F10 Time : 0.0 sec. user=mdettweiler [2015-02-11 22:48:48] 969*2^1390835-1 is not prime. Res64: 519E65803DC1F0E0 Time : 0.0 sec. user=mdettweiler [2015-02-11 22:52:15] 675*2^1390836-1 is not prime. Res64: B5A848D3119BD168 Time : 0.0 sec. user=mdettweiler [2015-02-11 22:52:16] 909*2^1390836-1 is not prime. Res64: F9396E3C9AB445EB Time : 0.0 sec. user=mdettweiler [2015-02-11 23:00:20] 969*2^1390836-1 is not prime. Res64: 0427E93401641E07 Time : 0.0 sec. user=mdettweiler [2015-02-11 23:00:21] 609*2^1390837-1 is not prime. Res64: 66404A1163E437E7 Time : 0.0 sec. user=mdettweiler [2015-02-11 23:10:50] 729*2^1390837-1 is not prime. Res64: 521A03C870EEF319 Time : 0.0 sec. user=mdettweiler [2015-02-11 23:10:51] 871*2^1390837-1 is not prime. Res64: 70E6D169DB1C830A Time : 0.0 sec. user=mdettweiler [2015-02-11 23:15:49] 901*2^1390837-1 is not prime. Res64: 2881C325AF666EF1 Time : 0.0 sec. user=mdettweiler [2015-02-11 23:15:50] 955*2^1390837-1 is not prime. Res64: 2641AC6F74A9E9C7 Time : 0.0 sec. user=mdettweiler [2015-02-11 23:18:58] 617*2^1390838-1 is not prime. Res64: 4162DA616DC8A765 Time : 0.0 sec. user=mdettweiler [2015-02-11 23:18:59] 797*2^1390838-1 is not prime. Res64: 6ABDCC66D295A87A Time : 0.0 sec. user=mdettweiler [2015-02-11 23:27:25] 801*2^1390838-1 is not prime. Res64: 26FC96F0F1D4CB0D Time : 0.0 sec. user=mdettweiler [2015-02-11 23:27:26] 827*2^1390838-1 is not prime. Res64: 8E5D176BD265D9A2 Time : 0.0 sec. user=mdettweiler [2015-02-11 23:37:41] 857*2^1390838-1 is not prime. Res64: C454D86D5B2863AA Time : 0.0 sec. user=mdettweiler [2015-02-11 23:37:42] 861*2^1390838-1 is not prime. Res64: 15B1EA1F2D64FD4A Time : 0.0 sec. user=mdettweiler [2015-02-11 23:42:40] 911*2^1390838-1 is not prime. Res64: 679CCDC13DAE5EFE Time : 0.0 sec. user=mdettweiler [2015-02-11 23:42:40] 923*2^1390838-1 is not prime. Res64: 7F6C63154D033810 Time : 0.0 sec. user=mdettweiler [2015-02-11 23:45:40] 957*2^1390838-1 is not prime. Res64: C762A857AD2C501A Time : 0.0 sec. user=mdettweiler [2015-02-11 23:45:41] 977*2^1390838-1 is not prime. Res64: 7661D48B44522A93 Time : 0.0 sec. user=mdettweiler [2015-02-11 23:54:36] 709*2^1390839-1 is not prime. Res64: AECCCEF109B1411E Time : 0.0 sec. user=mdettweiler [2015-02-11 23:54:37] 751*2^1390839-1 is not prime. Res64: 7DF90F3B3DBFDF1F Time : 0.0 sec.