user=mdettweiler [2012-08-18 00:08:17] 987*2^1226649-1 is not prime. Res64: 7B805964641F6171 Time : 0.0 sec. user=mdettweiler [2012-08-18 00:08:19] 657*2^1226650-1 is not prime. Res64: 88FB4EEA29289C52 Time : 0.0 sec. user=mdettweiler [2012-08-18 00:08:21] 635*2^1226650-1 is not prime. Res64: 1763D3E525BCC7AF Time : 0.0 sec. user=mdettweiler [2012-08-18 00:08:22] 677*2^1226650-1 is not prime. Res64: 2EDB0039AAF0B5E8 Time : 0.0 sec. user=mdettweiler [2012-08-18 00:09:18] 951*2^1226649-1 is not prime. Res64: 42762476984D6DA9 Time : 0.0 sec. user=mdettweiler [2012-08-18 00:16:29] 955*2^1226649-1 is not prime. Res64: 1BCCEA60DA75CB8D Time : 0.0 sec. user=mdettweiler [2012-08-18 00:29:51] 813*2^1226650-1 is not prime. Res64: FCA57263A204F133 Time : 0.0 sec. user=mdettweiler [2012-08-18 00:29:51] 857*2^1226650-1 is not prime. Res64: CA083675674CA08D Time : 0.0 sec. user=mdettweiler [2012-08-18 00:29:56] 987*2^1226650-1 is not prime. Res64: A98421209F59D12B Time : 0.0 sec. user=mdettweiler [2012-08-18 00:29:56] 685*2^1226651-1 is not prime. Res64: ED625468A22F669B Time : 0.0 sec. user=vaughan [2012-08-18 00:31:20] 687*2^1226650-1 is not prime. Res64: AA6B0C324BEAC25C Time : 0.0 sec. user=mdettweiler [2012-08-18 00:46:19] 745*2^1226651-1 is not prime. Res64: CD1D0B52195FA65C Time : 0.0 sec. user=mdettweiler [2012-08-18 00:49:41] 855*2^1226651-1 is not prime. Res64: 3DE0ABEAAC2F6F20 Time : 0.0 sec. user=mdettweiler [2012-08-18 00:50:47] 871*2^1226651-1 is not prime. Res64: 67A56806698FBAAC Time : 0.0 sec. user=mdettweiler [2012-08-18 00:50:48] 895*2^1226651-1 is not prime. Res64: 21DE919494E1260E Time : 0.0 sec. user=mdettweiler [2012-08-18 00:50:54] 969*2^1226651-1 is not prime. Res64: 8F17CB0D147A1E56 Time : 0.0 sec. user=mdettweiler [2012-08-18 00:50:54] 979*2^1226651-1 is not prime. Res64: 35BA867FF1896538 Time : 0.0 sec. user=vaughan [2012-08-18 01:08:59] 629*2^1226652-1 is not prime. Res64: AB6148132A2B3BE4 Time : 0.0 sec. user=mdettweiler [2012-08-18 01:11:45] 767*2^1226652-1 is not prime. Res64: A413A82E67E52A95 Time : 0.0 sec. user=mdettweiler [2012-08-18 01:11:46] 863*2^1226652-1 is not prime. Res64: 43FEBE6FE203828D Time : 0.0 sec. user=mdettweiler [2012-08-18 01:11:52] 893*2^1226652-1 is not prime. Res64: D032D66B8F2B0CE8 Time : 0.0 sec. user=mdettweiler [2012-08-18 01:11:53] 899*2^1226652-1 is not prime. Res64: 67541D18FCC04BC1 Time : 0.0 sec. user=mdettweiler [2012-08-18 01:21:57] 683*2^1226652-1 is not prime. Res64: 88B1638838152616 Time : 0.0 sec. user=mdettweiler [2012-08-18 01:22:21] 693*2^1226652-1 is not prime. Res64: DE7D932D8D2A6E11 Time : 0.0 sec. user=mdettweiler [2012-08-18 01:33:02] 615*2^1226653-1 is not prime. Res64: 70A695D8EFE263C6 Time : 0.0 sec. user=mdettweiler [2012-08-18 01:33:03] 729*2^1226653-1 is not prime. Res64: 5D41AE42EDBAFEE9 Time : 0.0 sec. user=mdettweiler [2012-08-18 01:43:34] 771*2^1226653-1 is not prime. Res64: 72020C4FED7B9406 Time : 0.0 sec. user=mdettweiler [2012-08-18 01:43:35] 861*2^1226653-1 is not prime. Res64: 18DE0EECDDBF589C Time : 0.0 sec. user=vaughan [2012-08-18 01:47:11] 909*2^1226652-1 is not prime. Res64: B9B9FED5347B67A2 Time : 0.0 sec. user=mdettweiler [2012-08-18 01:54:08] 717*2^1226654-1 is not prime. Res64: B5A43907205CAEB3 Time : 0.0 sec. user=mdettweiler [2012-08-18 01:54:09] 767*2^1226654-1 is not prime. Res64: 832B2B7E31F63715 Time : 0.0 sec. user=mdettweiler [2012-08-18 01:55:38] 741*2^1226653-1 is not prime. Res64: 92C55F3C14F8A14D Time : 0.0 sec. user=mdettweiler [2012-08-18 02:04:38] 773*2^1226654-1 is not prime. Res64: BC6316ACFEB37E38 Time : 0.0 sec. user=mdettweiler [2012-08-18 02:04:40] 945*2^1226654-1 is not prime. Res64: 6C914AF72129411C Time : 0.0 sec. user=mdettweiler [2012-08-18 02:15:15] 781*2^1226655-1 is not prime. Res64: 36F07C35FF04005C Time : 0.0 sec. user=mdettweiler [2012-08-18 02:15:16] 853*2^1226655-1 is not prime. Res64: 36D3287183B19695 Time : 0.0 sec. user=vaughan [2012-08-18 02:24:56] 993*2^1226654-1 is not prime. Res64: DB69AE23524B3358 Time : 0.0 sec. user=mdettweiler [2012-08-18 02:25:53] 813*2^1226656-1 is not prime. Res64: BA2E20324E712A9B Time : 0.0 sec. user=mdettweiler [2012-08-18 02:25:53] 873*2^1226656-1 is not prime. Res64: 1D2F8B1203282318 Time : 0.0 sec. user=mdettweiler [2012-08-18 02:27:51] 865*2^1226655-1 is not prime. Res64: EE9E032F26E2A427 Time : 0.0 sec. user=mdettweiler [2012-08-18 02:32:23] 717*2^1226656-1 is not prime. Res64: 614A482B933535BB Time : 0.0 sec. user=mdettweiler [2012-08-18 02:36:21] 899*2^1226656-1 is not prime. Res64: 264C139C6D23B29E Time : 0.0 sec. user=mdettweiler [2012-08-18 02:36:22] 923*2^1226656-1 is not prime. Res64: A9A1DFA4CCBCB216 Time : 0.0 sec. user=mdettweiler [2012-08-18 02:46:56] 989*2^1226656-1 is not prime. Res64: 8489F45707B405B7 Time : 0.0 sec. user=mdettweiler [2012-08-18 02:46:57] 631*2^1226657-1 is not prime. Res64: 27C2A93968FA8137 Time : 0.0 sec. user=mdettweiler [2012-08-18 02:57:36] 847*2^1226657-1 is not prime. Res64: 3BA598F6C831B0A4 Time : 0.0 sec. user=mdettweiler [2012-08-18 02:57:37] 605*2^1226658-1 is not prime. Res64: BD1164A2CE4A716F Time : 0.0 sec. user=vaughan [2012-08-18 03:02:35] 969*2^1226656-1 is not prime. Res64: E272B236CCE7AD89 Time : 0.0 sec. user=mdettweiler [2012-08-18 03:06:21] 649*2^1226657-1 is not prime. Res64: D27A1BF86A352F50 Time : 0.0 sec. user=mdettweiler [2012-08-18 03:08:02] 627*2^1226658-1 is not prime. Res64: 0FD105C1223E83E7 Time : 0.0 sec. user=mdettweiler [2012-08-18 03:08:04] 633*2^1226658-1 is not prime. Res64: AF4E49264BEB3562 Time : 0.0 sec. user=mdettweiler [2012-08-18 03:18:40] 671*2^1226658-1 is not prime. Res64: 978593C22CD667C8 Time : 0.0 sec. user=mdettweiler [2012-08-18 03:18:41] 705*2^1226658-1 is not prime. Res64: 0B3AE3355C798E11 Time : 0.0 sec. user=mdettweiler [2012-08-18 03:29:07] 615*2^1226659-1 is not prime. Res64: 319C27A81FED06B0 Time : 0.0 sec. user=mdettweiler [2012-08-18 03:29:08] 679*2^1226659-1 is not prime. Res64: 1FF7DDA29F8AD75C Time : 0.0 sec. user=mdettweiler [2012-08-18 03:39:53] 765*2^1226659-1 is not prime. Res64: 72B9B0D7F9EE8478 Time : 0.0 sec. user=mdettweiler [2012-08-18 03:39:54] 647*2^1226660-1 is not prime. Res64: 8A7B530A23F44677 Time : 0.0 sec. user=vaughan [2012-08-18 03:40:14] 797*2^1226658-1 is not prime. Res64: 112680ED03ED4B37 Time : 0.0 sec. user=mdettweiler [2012-08-18 03:42:09] 975*2^1226658-1 is not prime. Res64: 914BC47C31EB74B9 Time : 0.0 sec. user=mdettweiler [2012-08-18 03:50:15] 669*2^1226660-1 is not prime. Res64: B5352282CBA15780 Time : 0.0 sec. user=mdettweiler [2012-08-18 03:50:16] 999*2^1226660-1 is not prime. Res64: B73B508F56A7ABA4 Time : 0.0 sec. user=mdettweiler [2012-08-18 04:01:15] 745*2^1226661-1 is not prime. Res64: F7F0093FA5863856 Time : 0.0 sec. user=mdettweiler [2012-08-18 04:01:17] 747*2^1226661-1 is not prime. Res64: FA367ECD14CD6E84 Time : 0.0 sec. user=mdettweiler [2012-08-18 04:11:19] 603*2^1226662-1 is not prime. Res64: D53FE7AB087CF11D Time : 0.0 sec. user=mdettweiler [2012-08-18 04:11:21] 621*2^1226662-1 is not prime. Res64: E948938D983C85BB Time : 0.0 sec. user=mdettweiler [2012-08-18 04:12:25] 921*2^1226658-1 is not prime. Res64: 40CB2E577599D1E9 Time : 0.0 sec. user=vaughan [2012-08-18 04:17:53] 955*2^1226661-1 is not prime. Res64: EEC5C108BE4F4943 Time : 0.0 sec. user=mdettweiler [2012-08-18 04:20:42] 987*2^1226661-1 is not prime. Res64: 8BD674D71A8C5685 Time : 0.0 sec. user=mdettweiler [2012-08-18 04:22:53] 653*2^1226662-1 is not prime. Res64: 6F304100E4EF272B Time : 0.0 sec. user=mdettweiler [2012-08-18 04:22:54] 657*2^1226662-1 is not prime. Res64: 0C2545BDF913E40A Time : 0.0 sec. user=mdettweiler [2012-08-18 04:32:41] 881*2^1226662-1 is not prime. Res64: 2CAF7B3121977DC8 Time : 0.0 sec. user=mdettweiler [2012-08-18 04:32:47] 965*2^1226662-1 is not prime. Res64: 64E8DA8B93998BCB Time : 0.0 sec. user=mdettweiler [2012-08-18 04:43:58] 831*2^1226663-1 is not prime. Res64: E5098141ACAD68AB Time : 0.0 sec. user=mdettweiler [2012-08-18 04:44:00] 879*2^1226663-1 is not prime. Res64: 19AB3B104DBECA86 Time : 0.0 sec. user=mdettweiler [2012-08-18 04:48:04] 995*2^1226662-1 is not prime. Res64: 5DB31088CB2EF7FC Time : 0.0 sec. user=mdettweiler [2012-08-18 04:54:06] 921*2^1226663-1 is not prime. Res64: B9A499732CCC3785 Time : 0.0 sec. user=mdettweiler [2012-08-18 04:54:07] 657*2^1226664-1 is not prime. Res64: 0A99F88DDFF5BB33 Time : 0.0 sec. user=vaughan [2012-08-18 04:55:34] 685*2^1226663-1 is not prime. Res64: B83B71803175B477 Time : 0.0 sec. user=mdettweiler [2012-08-18 05:05:24] 665*2^1226664-1 is not prime. Res64: 6F6E19501E7A290A Time : 0.0 sec. user=mdettweiler [2012-08-18 05:15:20] 747*2^1226664-1 is not prime. Res64: 245CD5AA79F8B22D Time : 0.0 sec. user=mdettweiler [2012-08-18 05:23:01] 689*2^1226664-1 is not prime. Res64: 1F14BDB319680F5A Time : 0.0 sec. user=mdettweiler [2012-08-18 05:26:41] 917*2^1226664-1 is not prime. Res64: F20690F9543B4575 Time : 0.0 sec. user=mdettweiler [2012-08-18 05:26:43] 923*2^1226664-1 is not prime. Res64: F7D11D8291596D98 Time : 0.0 sec. user=vaughan [2012-08-18 05:33:11] 915*2^1226664-1 is not prime. Res64: 406BBB60B7356088 Time : 0.0 sec. user=mdettweiler [2012-08-18 05:34:57] 829*2^1226663-1 is not prime. Res64: 4566BCA9124424D0 Time : 0.0 sec. user=mdettweiler [2012-08-18 05:36:38] 959*2^1226664-1 is not prime. Res64: 3D941DB077EA8315 Time : 0.0 sec. user=mdettweiler [2012-08-18 05:36:39] 651*2^1226665-1 is not prime. Res64: ED57472806839CD0 Time : 0.0 sec. user=mdettweiler [2012-08-18 05:47:49] 765*2^1226665-1 is not prime. Res64: 7FB0F59D92ED6E0A Time : 0.0 sec. user=mdettweiler [2012-08-18 05:47:50] 817*2^1226665-1 is not prime. Res64: D6EDC00987431AD9 Time : 0.0 sec. user=mdettweiler [2012-08-18 05:59:45] 699*2^1226665-1 is not prime. Res64: 9B4EB46F222088A0 Time : 0.0 sec. user=mdettweiler [2012-08-18 06:08:27] 635*2^1226666-1 is not prime. Res64: 94CCD9235DB747CF Time : 0.0 sec. user=mdettweiler [2012-08-18 06:08:28] 645*2^1226666-1 is not prime. Res64: 9143A89471ABB891 Time : 0.0 sec. user=mdettweiler [2012-08-18 06:08:51] 671*2^1226666-1 is not prime. Res64: F752A4323C4C444F Time : 0.0 sec. user=mdettweiler [2012-08-18 06:08:53] 747*2^1226666-1 is not prime. Res64: 3B50461074510758 Time : 0.0 sec. user=vaughan [2012-08-18 06:10:51] 861*2^1226665-1 is not prime. Res64: B193FEADB3AD3B44 Time : 0.0 sec. user=mdettweiler [2012-08-18 06:11:06] 895*2^1226665-1 is not prime. Res64: 813C907EBF5EE977 Time : 0.0 sec. user=mdettweiler [2012-08-18 06:30:15] 625*2^1226667-1 is not prime. Res64: B7742245ED52E888 Time : 0.0 sec. user=mdettweiler [2012-08-18 06:30:16] 685*2^1226667-1 is not prime. Res64: A2E68C60F2D558F2 Time : 0.0 sec. user=mdettweiler [2012-08-18 06:36:01] 815*2^1226666-1 is not prime. Res64: EAF393DD04DE572D Time : 0.0 sec. user=mdettweiler [2012-08-18 06:45:28] 919*2^1226667-1 is not prime. Res64: 60A51809976BF390 Time : 0.0 sec. user=gd_barnes [2012-08-18 06:46:30] 961*2^1226667-1 is not prime. Res64: 1E14EAAB9DDCD609 Time : 0.0 sec. user=vaughan [2012-08-18 06:48:33] 861*2^1226667-1 is not prime. Res64: DECB941D4114228E Time : 0.0 sec. user=mdettweiler [2012-08-18 06:51:20] 963*2^1226667-1 is not prime. Res64: 674657B987F6894A Time : 0.0 sec. user=mdettweiler [2012-08-18 06:51:21] 985*2^1226667-1 is not prime. Res64: B0BABF0AF5FA8D77 Time : 0.0 sec. user=mdettweiler [2012-08-18 07:09:41] 887*2^1226666-1 is not prime. Res64: BBAE009F77006A6F Time : 0.0 sec. user=mdettweiler [2012-08-18 07:09:44] 609*2^1226667-1 is not prime. Res64: 63D7B1DA81836AE6 Time : 0.0 sec. user=mdettweiler [2012-08-18 07:12:23] 987*2^1226668-1 is not prime. Res64: C59EA7A479C7CC33 Time : 0.0 sec. user=mdettweiler [2012-08-18 07:12:26] 615*2^1226669-1 is not prime. Res64: B923ED46EAE349C5 Time : 0.0 sec. user=mdettweiler [2012-08-18 07:13:20] 665*2^1226668-1 is not prime. Res64: 0E48A8964C067C0E Time : 0.0 sec. user=mdettweiler [2012-08-18 07:18:53] 705*2^1226668-1 is not prime. Res64: 5DC2A899356F532C Time : 0.0 sec. user=vaughan [2012-08-18 07:26:12] 855*2^1226668-1 is not prime. Res64: E2AB6F0166313EA8 Time : 0.0 sec. user=mdettweiler [2012-08-18 07:30:58] 711*2^1226669-1 is not prime. Res64: F2EB4ACDA477DE9D Time : 0.0 sec. user=mdettweiler [2012-08-18 07:31:01] 727*2^1226669-1 is not prime. Res64: 63533A9E7E2E637B Time : 0.0 sec. user=mdettweiler [2012-08-18 07:33:37] 745*2^1226669-1 is not prime. Res64: 575F8EC8019303FF Time : 0.0 sec. user=mdettweiler [2012-08-18 07:33:37] 747*2^1226669-1 is not prime. Res64: 3C06AF052DDD9495 Time : 0.0 sec. user=mdettweiler [2012-08-18 07:49:43] 789*2^1226669-1 is not prime. Res64: 32EC9E0431CC3276 Time : 0.0 sec. user=mdettweiler [2012-08-18 07:52:08] 693*2^1226670-1 is not prime. Res64: 65EE3EED0C0ED900 Time : 0.0 sec. user=mdettweiler [2012-08-18 07:52:09] 791*2^1226670-1 is not prime. Res64: 80B631212595A2F9 Time : 0.0 sec. user=mdettweiler [2012-08-18 07:55:24] 957*2^1226669-1 is not prime. Res64: 134E94C2DF1E14AC Time : 0.0 sec. user=vaughan [2012-08-18 08:03:57] 681*2^1226670-1 is not prime. Res64: 367A2BB9414DEA0D Time : 0.0 sec. user=mdettweiler [2012-08-18 08:13:20] 675*2^1226671-1 is not prime. Res64: 3A91C52A4E92EC16 Time : 0.0 sec. user=mdettweiler [2012-08-18 08:13:24] 705*2^1226671-1 is not prime. Res64: 17B561E81B5ACCE0 Time : 0.0 sec. user=mdettweiler [2012-08-18 08:25:27] 645*2^1226671-1 is not prime. Res64: 939F2058AA036494 Time : 0.0 sec. user=mdettweiler [2012-08-18 08:31:15] 741*2^1226671-1 is not prime. Res64: DFEB6EB8BEAA98DB Time : 0.0 sec. user=mdettweiler [2012-08-18 08:31:48] 891*2^1226670-1 is not prime. Res64: 618EBFAAD516DA70 Time : 0.0 sec. user=mdettweiler [2012-08-18 08:31:54] 941*2^1226670-1 is not prime. Res64: 411D7E754FA2A6C0 Time : 0.0 sec. user=mdettweiler [2012-08-18 08:34:55] 841*2^1226671-1 is not prime. Res64: 2A9C3FC8FB27AC5E Time : 0.0 sec. user=vaughan [2012-08-18 08:41:41] 763*2^1226671-1 is not prime. Res64: D5F77E0AF8FBA649 Time : 0.0 sec. user=mdettweiler [2012-08-18 08:53:01] 669*2^1226672-1 is not prime. Res64: E6E59561FC95E2C5 Time : 0.0 sec. user=mdettweiler [2012-08-18 08:53:01] 725*2^1226672-1 is not prime. Res64: DC97A85F300FE870 Time : 0.0 sec. user=mdettweiler [2012-08-18 08:58:44] 993*2^1226671-1 is not prime. Res64: 91B16CF04B6EC4BC Time : 0.0 sec. user=mdettweiler [2012-08-18 09:08:22] 603*2^1226672-1 is not prime. Res64: B4F8234377E9CCD7 Time : 0.0 sec. user=mdettweiler [2012-08-18 09:11:57] 909*2^1226671-1 is not prime. Res64: 8CE2E09006C973A2 Time : 0.0 sec. user=mdettweiler [2012-08-18 09:14:05] 879*2^1226672-1 is not prime. Res64: 4175B06A2F850DC2 Time : 0.0 sec. user=mdettweiler [2012-08-18 09:14:06] 897*2^1226672-1 is not prime. Res64: CA7C809A0CA12418 Time : 0.0 sec. user=vaughan [2012-08-18 09:19:20] 813*2^1226672-1 is not prime. Res64: D7A33C41C7FF07A8 Time : 0.0 sec. user=mdettweiler [2012-08-18 09:33:01] 751*2^1226673-1 is not prime. Res64: 91F9EB6F087CA482 Time : 0.0 sec. user=mdettweiler [2012-08-18 09:33:02] 837*2^1226673-1 is not prime. Res64: 80172C266EA81B55 Time : 0.0 sec. user=mdettweiler [2012-08-18 09:33:21] 685*2^1226673-1 is not prime. Res64: F463091386B4DD4F Time : 0.0 sec. user=mdettweiler [2012-08-18 09:35:23] 867*2^1226673-1 is not prime. Res64: D25F0799834CA526 Time : 0.0 sec. user=mdettweiler [2012-08-18 09:35:24] 889*2^1226673-1 is not prime. Res64: 377A2AF3D099D010 Time : 0.0 sec. user=mdettweiler [2012-08-18 09:43:15] 739*2^1226673-1 is not prime. Res64: 35B8C287B0872ABA Time : 0.0 sec. user=mdettweiler [2012-08-18 09:54:05] 985*2^1226673-1 is not prime. Res64: A2CBE52A15C4B631 Time : 0.0 sec. user=mdettweiler [2012-08-18 09:54:06] 645*2^1226674-1 is not prime. Res64: EDDB521F75B42F0A Time : 0.0 sec. user=mdettweiler [2012-08-18 09:56:19] 705*2^1226674-1 is not prime. Res64: A98D0D2C39FAF74D Time : 0.0 sec. user=mdettweiler [2012-08-18 09:56:19] 747*2^1226674-1 is not prime. Res64: 73E9226163AAF460 Time : 0.0 sec. user=vaughan [2012-08-18 09:57:05] 955*2^1226673-1 is not prime. Res64: EBAB49ECF8921640 Time : 0.0 sec. user=mdettweiler [2012-08-18 10:05:55] 657*2^1226674-1 is not prime. Res64: A9B6D2CBCD0BEE7E Time : 0.0 sec. user=mdettweiler [2012-08-18 10:15:01] 833*2^1226674-1 is not prime. Res64: 39E717CC1A982E0E Time : 0.0 sec. user=mdettweiler [2012-08-18 10:15:03] 885*2^1226674-1 is not prime. Res64: 08A04325AD8BEF54 Time : 0.0 sec. user=mdettweiler [2012-08-18 10:16:11] 783*2^1226674-1 is not prime. Res64: AD4BA901AF6ADBCD Time : 0.0 sec. user=mdettweiler [2012-08-18 10:17:15] 941*2^1226674-1 is not prime. Res64: 079DECC8F8661BE6 Time : 0.0 sec. user=mdettweiler [2012-08-18 10:17:15] 971*2^1226674-1 is not prime. Res64: 8A557E9421D374DF Time : 0.0 sec. user=vaughan [2012-08-18 10:34:46] 675*2^1226675-1 is not prime. Res64: 730F5FAF4E4E18CE Time : 0.0 sec. user=mdettweiler [2012-08-18 10:36:11] 805*2^1226675-1 is not prime. Res64: 230C5713CC9A242E Time : 0.0 sec. user=mdettweiler [2012-08-18 10:36:11] 825*2^1226675-1 is not prime. Res64: 40E692CCDB579309 Time : 0.0 sec. user=mdettweiler [2012-08-18 10:38:11] 985*2^1226675-1 is not prime. Res64: A98DCC12DC4899B1 Time : 0.0 sec. user=mdettweiler [2012-08-18 10:38:11] 725*2^1226676-1 is not prime. Res64: 4BE522474E042CC3 Time : 0.0 sec. user=mdettweiler [2012-08-18 10:41:15] 741*2^1226675-1 is not prime. Res64: 0284744C19BDBA3B Time : 0.0 sec. user=mdettweiler [2012-08-18 10:50:06] 861*2^1226675-1 is not prime. Res64: 11450CFEA39656AE Time : 0.0 sec. user=mdettweiler [2012-08-18 10:57:07] 809*2^1226676-1 is not prime. Res64: A3A7ECB48A687D51 Time : 0.0 sec. user=mdettweiler [2012-08-18 10:57:08] 615*2^1226677-1 is not prime. Res64: B83256F3A1C53E09 Time : 0.0 sec. user=mdettweiler [2012-08-18 10:59:07] 649*2^1226677-1 is not prime. Res64: 0C510E4BCCFF5FEB Time : 0.0 sec. user=mdettweiler [2012-08-18 10:59:07] 661*2^1226677-1 is not prime. Res64: 98B654BD02ADD20D Time : 0.0 sec. user=vaughan [2012-08-18 11:12:27] 803*2^1226676-1 is not prime. Res64: BE82A06277E8156D Time : 0.0 sec. user=mdettweiler [2012-08-18 11:16:05] 765*2^1226677-1 is not prime. Res64: FEA58FC8AABCF934 Time : 0.0 sec. user=mdettweiler [2012-08-18 11:18:04] 927*2^1226677-1 is not prime. Res64: EB73C627A9C16937 Time : 0.0 sec. user=mdettweiler [2012-08-18 11:18:04] 975*2^1226677-1 is not prime. Res64: 41AFAFADC6FD1796 Time : 0.0 sec. user=mdettweiler [2012-08-18 11:20:04] 623*2^1226678-1 is not prime. Res64: 9057621A1E4BBA30 Time : 0.0 sec. user=mdettweiler [2012-08-18 11:20:05] 773*2^1226678-1 is not prime. Res64: 5033B5052C1A491A Time : 0.0 sec. user=mdettweiler [2012-08-18 11:22:17] 871*2^1226677-1 is not prime. Res64: 056384D510F69B30 Time : 0.0 sec. user=mdettweiler [2012-08-18 11:39:00] 751*2^1226679-1 is not prime. Res64: 5C506CC2F0D1D132 Time : 0.0 sec. user=mdettweiler [2012-08-18 11:39:01] 933*2^1226679-1 is not prime. Res64: 9A59C52245D3F84F Time : 0.0 sec. user=mdettweiler [2012-08-18 11:41:00] 985*2^1226679-1 is not prime. Res64: 9CF441F3FAC4D2B3 Time : 0.0 sec. user=mdettweiler [2012-08-18 11:41:00] 999*2^1226679-1 is not prime. Res64: B6AD5B869B3E394B Time : 0.0 sec. user=mdettweiler [2012-08-18 11:48:17] 649*2^1226679-1 is not prime. Res64: E1F89081DFBD7497 Time : 0.0 sec. user=vaughan [2012-08-18 11:50:15] 923*2^1226678-1 is not prime. Res64: F5E64B244499F1F4 Time : 0.0 sec. user=mdettweiler [2012-08-18 11:57:16] 605*2^1226680-1 is not prime. Res64: F20E43AF00B30951 Time : 0.0 sec. user=mdettweiler [2012-08-18 12:00:01] 687*2^1226680-1 is not prime. Res64: A6CC70B69E0E02B5 Time : 0.0 sec. user=mdettweiler [2012-08-18 12:00:02] 777*2^1226680-1 is not prime. Res64: 69F3F8682192CC90 Time : 0.0 sec. user=mdettweiler [2012-08-18 12:01:56] 927*2^1226680-1 is not prime. Res64: 1AF39387F0D30E11 Time : 0.0 sec. user=mdettweiler [2012-08-18 12:01:57] 747*2^1226681-1 is not prime. Res64: 7DF3A221B94794B5 Time : 0.0 sec. user=mdettweiler [2012-08-18 12:21:00] 615*2^1226682-1 is not prime. Res64: 4955BA930187AB02 Time : 0.0 sec. user=mdettweiler [2012-08-18 12:21:01] 621*2^1226682-1 is not prime. Res64: F92611018FEA2CED Time : 0.0 sec. user=mdettweiler [2012-08-18 12:21:07] 837*2^1226681-1 is not prime. Res64: 9BB641C2F92F2510 Time : 0.0 sec. user=mdettweiler [2012-08-18 12:22:52] 671*2^1226682-1 is not prime. Res64: 61B9FD854FDFBA1F Time : 0.0 sec. user=mdettweiler [2012-08-18 12:22:52] 677*2^1226682-1 is not prime. Res64: 7055D1720CB4E83F Time : 0.0 sec. user=vaughan [2012-08-18 12:27:56] 909*2^1226681-1 is not prime. Res64: 363BEF2BA75D9CD6 Time : 0.0 sec. user=mdettweiler [2012-08-18 12:30:37] 937*2^1226681-1 is not prime. Res64: BEBF5B5C7715B29A Time : 0.0 sec. user=mdettweiler [2012-08-18 12:41:59] 725*2^1226682-1 is not prime. Res64: 64D13547689FC651 Time : 0.0 sec. user=mdettweiler [2012-08-18 12:41:59] 767*2^1226682-1 is not prime. Res64: C7E80066C06415E4 Time : 0.0 sec. user=mdettweiler [2012-08-18 12:43:48] 803*2^1226682-1 is not prime. Res64: 1FDEAB7E00AE96C2 Time : 0.0 sec. user=mdettweiler [2012-08-18 12:43:48] 815*2^1226682-1 is not prime. Res64: D6676934E5AA16CA Time : 0.0 sec. user=mdettweiler [2012-08-18 12:54:49] 777*2^1226682-1 is not prime. Res64: EB857CB877A09D12 Time : 0.0 sec. user=mdettweiler [2012-08-18 13:02:55] 693*2^1226683-1 is not prime. Res64: 06DF57FF3E58C56D Time : 0.0 sec. user=mdettweiler [2012-08-18 13:02:56] 735*2^1226683-1 is not prime. Res64: 383AB95DFACBD867 Time : 0.0 sec. user=mdettweiler [2012-08-18 13:04:17] 633*2^1226683-1 is not prime. Res64: 59C4C447E44BB2B1 Time : 0.0 sec. user=mdettweiler [2012-08-18 13:04:43] 811*2^1226683-1 is not prime. Res64: 5D31C38EF5A5B6AB Time : 0.0 sec. user=mdettweiler [2012-08-18 13:04:44] 853*2^1226683-1 is not prime. Res64: 03AF328DD4FEBAF7 Time : 0.0 sec. user=vaughan [2012-08-18 13:05:37] 917*2^1226682-1 is not prime. Res64: A7E62B91B63DAF47 Time : 0.0 sec. user=mdettweiler [2012-08-18 13:23:51] 659*2^1226684-1 is not prime. Res64: FAB2A6B12DFC5732 Time : 0.0 sec. user=mdettweiler [2012-08-18 13:23:51] 665*2^1226684-1 is not prime. Res64: FA632AF80EE0765B Time : 0.0 sec. user=mdettweiler [2012-08-18 13:25:43] 873*2^1226684-1 is not prime. Res64: 15C3FF6496E68EF1 Time : 0.0 sec. user=mdettweiler [2012-08-18 13:25:44] 927*2^1226684-1 is not prime. Res64: BD0A6EE751458016 Time : 0.0 sec. user=mdettweiler [2012-08-18 13:27:06] 885*2^1226683-1 is not prime. Res64: F7D4754C46AB5CF9 Time : 0.0 sec. user=mdettweiler [2012-08-18 13:38:46] 819*2^1226684-1 is not prime. Res64: 620F4C1D83CBCDC8 Time : 0.0 sec. user=vaughan [2012-08-18 13:43:21] 957*2^1226684-1 is not prime. Res64: E30C38BCD450F9F0 Time : 0.0 sec. user=mdettweiler [2012-08-18 13:44:48] 969*2^1226684-1 is not prime. Res64: 9CAD36ACC5023AC5 Time : 0.0 sec. user=mdettweiler [2012-08-18 13:44:49] 657*2^1226685-1 is not prime. Res64: E2442CFB1956277A Time : 0.0 sec. user=mdettweiler [2012-08-18 13:46:38] 669*2^1226685-1 is not prime. Res64: CCFE73AE803E90E9 Time : 0.0 sec. user=mdettweiler [2012-08-18 13:46:39] 675*2^1226685-1 is not prime. Res64: 8088CB5980D7FA83 Time : 0.0 sec. user=mdettweiler [2012-08-18 14:01:40] 691*2^1226685-1 is not prime. Res64: C59C2639FAC64874 Time : 0.0 sec. user=mdettweiler [2012-08-18 14:05:46] 859*2^1226685-1 is not prime. Res64: 84FDCB27F3DF0903 Time : 0.0 sec. user=mdettweiler [2012-08-18 14:05:47] 861*2^1226685-1 is not prime. Res64: D12A6182490DF6F3 Time : 0.0 sec. user=mdettweiler [2012-08-18 14:07:38] 877*2^1226685-1 is not prime. Res64: 8A3210D14DA24BAD Time : 0.0 sec. user=mdettweiler [2012-08-18 14:07:40] 895*2^1226685-1 is not prime. Res64: FB2D20C5B443BC55 Time : 0.0 sec. user=mdettweiler [2012-08-18 14:11:19] 759*2^1226685-1 is not prime. Res64: 1EE09D02B3DCC240 Time : 0.0 sec. user=vaughan [2012-08-18 14:21:00] 787*2^1226685-1 is not prime. Res64: A9EF5734940005C2 Time : 0.0 sec. user=mdettweiler [2012-08-18 14:27:09] 657*2^1226686-1 is not prime. Res64: 539F785AA2E2CE15 Time : 0.0 sec. user=mdettweiler [2012-08-18 14:27:09] 801*2^1226686-1 is not prime. Res64: C05622398CA4FBEB Time : 0.0 sec. user=mdettweiler [2012-08-18 14:29:16] 887*2^1226686-1 is not prime. Res64: 83A5D9D954943100 Time : 0.0 sec. user=mdettweiler [2012-08-18 14:29:16] 923*2^1226686-1 is not prime. Res64: C5AE75C82A73E944 Time : 0.0 sec. user=mdettweiler [2012-08-18 14:35:07] 617*2^1226686-1 is not prime. Res64: 681CB9C8D2A8E0F1 Time : 0.0 sec. user=mdettweiler [2012-08-18 14:44:55] 941*2^1226686-1 is not prime. Res64: 321A518EBE8DB62F Time : 0.0 sec. user=mdettweiler [2012-08-18 14:48:19] 993*2^1226686-1 is not prime. Res64: 69C07E3ECA26297F Time : 0.0 sec. user=mdettweiler [2012-08-18 14:48:19] 661*2^1226687-1 is not prime. Res64: 62B3E09BCCF03876 Time : 0.0 sec. user=mdettweiler [2012-08-18 14:50:24] 729*2^1226687-1 is not prime. Res64: 16E7DDDCC3766293 Time : 0.0 sec. user=mdettweiler [2012-08-18 14:50:25] 759*2^1226687-1 is not prime. Res64: 8D033E5D0E2E14CB Time : 0.0 sec. user=vaughan [2012-08-18 14:58:41] 971*2^1226686-1 is not prime. Res64: 3B121F00B0FF3B96 Time : 0.0 sec. user=mdettweiler [2012-08-18 15:08:36] 831*2^1226687-1 is not prime. Res64: 5FD7DBE1F6C643A1 Time : 0.0 sec. user=mdettweiler [2012-08-18 15:09:23] 843*2^1226687-1 is not prime. Res64: A2BB41A4FE269BEB Time : 0.0 sec. user=mdettweiler [2012-08-18 15:09:24] 865*2^1226687-1 is not prime. Res64: 104284E2D523D4E8 Time : 0.0 sec. user=mdettweiler [2012-08-18 15:11:33] 885*2^1226687-1 is not prime. Res64: 7E67AA08AC35D065 Time : 0.0 sec. user=mdettweiler [2012-08-18 15:11:35] 639*2^1226688-1 is not prime. Res64: 8080437EC5CDDB7D Time : 0.0 sec. user=mdettweiler [2012-08-18 15:18:21] 841*2^1226687-1 is not prime. Res64: BCD9AF84ABCE326A Time : 0.0 sec. user=mdettweiler [2012-08-18 15:30:48] 765*2^1226688-1 is not prime. Res64: BA70B5691EC1AF99 Time : 0.0 sec. user=mdettweiler [2012-08-18 15:30:48] 839*2^1226688-1 is not prime. Res64: 8269FEADCEC5D19C Time : 0.0 sec. user=mdettweiler [2012-08-18 15:33:02] 905*2^1226688-1 is not prime. Res64: 68F40D0124C34D14 Time : 0.0 sec. user=mdettweiler [2012-08-18 15:33:03] 927*2^1226688-1 is not prime. Res64: F4F09BCD1A7651F9 Time : 0.0 sec. user=vaughan [2012-08-18 15:36:22] 663*2^1226688-1 is not prime. Res64: B8B7E655E9D46537 Time : 0.0 sec. user=mdettweiler [2012-08-18 15:42:34] 737*2^1226688-1 is not prime. Res64: B092783B2689812D Time : 0.0 sec. user=mdettweiler [2012-08-18 15:51:46] 609*2^1226689-1 is not prime. Res64: 40ED10E5D0AD1F89 Time : 0.0 sec. user=mdettweiler [2012-08-18 15:52:06] 747*2^1226689-1 is not prime. Res64: 103B0F89A825DA63 Time : 0.0 sec. user=mdettweiler [2012-08-18 15:52:06] 931*2^1226689-1 is not prime. Res64: 3FD39E1B39BBFA20 Time : 0.0 sec. user=mdettweiler [2012-08-18 15:54:15] 623*2^1226690-1 is not prime. Res64: DC82C3B34833CF5B Time : 0.0 sec. user=mdettweiler [2012-08-18 15:54:15] 671*2^1226690-1 is not prime. Res64: D7873AA54CDD31E9 Time : 0.0 sec. user=mdettweiler [2012-08-18 16:13:06] 861*2^1226690-1 is not prime. Res64: BE79E4FC80CE8C10 Time : 0.0 sec. user=mdettweiler [2012-08-18 16:13:07] 867*2^1226690-1 is not prime. Res64: D262D25C9A76974C Time : 0.0 sec. user=vaughan [2012-08-18 16:14:04] 713*2^1226690-1 is not prime. Res64: 0AF428CB9BA784EE Time : 0.0 sec. user=mdettweiler [2012-08-18 16:14:52] 735*2^1226690-1 is not prime. Res64: 631190303756BA86 Time : 0.0 sec. user=mdettweiler [2012-08-18 16:15:14] 887*2^1226690-1 is not prime. Res64: 7AD79423306DDBE6 Time : 0.0 sec. user=mdettweiler [2012-08-18 16:15:14] 921*2^1226690-1 is not prime. Res64: 01DD0A070E0C9BB4 Time : 0.0 sec. user=mdettweiler [2012-08-18 16:26:39] 743*2^1226690-1 is not prime. Res64: 2BBF8F52975AE966 Time : 0.0 sec. user=mdettweiler [2012-08-18 16:34:16] 649*2^1226691-1 is not prime. Res64: 003393B5A91E1A64 Time : 0.0 sec. user=mdettweiler [2012-08-18 16:34:16] 789*2^1226691-1 is not prime. Res64: 0322C524FB9680AE Time : 0.0 sec. user=mdettweiler [2012-08-18 16:36:11] 849*2^1226691-1 is not prime. Res64: DA36EF6987CF1F52 Time : 0.0 sec. user=mdettweiler [2012-08-18 16:36:12] 859*2^1226691-1 is not prime. Res64: BED564DBADBB9C64 Time : 0.0 sec. user=mdettweiler [2012-08-18 16:47:34] 829*2^1226691-1 is not prime. Res64: A91AEF80A5509EE3 Time : 0.0 sec. user=vaughan [2012-08-18 16:51:44] 819*2^1226691-1 is not prime. Res64: 05EF61FCDAA04D03 Time : 0.0 sec. user=mdettweiler [2012-08-18 16:55:13] 961*2^1226691-1 is not prime. Res64: 1DDABD4AAAF058EE Time : 0.0 sec. user=mdettweiler [2012-08-18 16:55:14] 991*2^1226691-1 is not prime. Res64: 570C512A3A8083E1 Time : 0.0 sec. user=mdettweiler [2012-08-18 16:57:08] 657*2^1226692-1 is not prime. Res64: 6F03247BFA98F1B2 Time : 0.0 sec. user=mdettweiler [2012-08-18 16:57:08] 677*2^1226692-1 is not prime. Res64: 769A3A96857B00FB Time : 0.0 sec. user=mdettweiler [2012-08-18 17:00:02] 913*2^1226691-1 is not prime. Res64: 9C7AD0B7BF9F4A6F Time : 0.0 sec. user=mdettweiler [2012-08-18 17:16:10] 863*2^1226692-1 is not prime. Res64: 4607B512E37BE640 Time : 0.0 sec. user=mdettweiler [2012-08-18 17:16:10] 875*2^1226692-1 is not prime. Res64: FD409569486ACBF3 Time : 0.0 sec. user=mdettweiler [2012-08-18 17:18:04] 685*2^1226693-1 is not prime. Res64: D82AA0E04333CA73 Time : 0.0 sec. user=mdettweiler [2012-08-18 17:18:05] 747*2^1226693-1 is not prime. Res64: F4CFAB8D8096E003 Time : 0.0 sec. user=mdettweiler [2012-08-18 17:20:53] 797*2^1226692-1 is not prime. Res64: 6E79551D5F975171 Time : 0.0 sec. user=vaughan [2012-08-18 17:29:24] 803*2^1226692-1 is not prime. Res64: B34C3B37D0BB4EA7 Time : 0.0 sec. user=mdettweiler [2012-08-18 17:33:17] 771*2^1226693-1 is not prime. Res64: 5FA3135B8E59E7E5 Time : 0.0 sec. user=mdettweiler [2012-08-18 17:37:11] 775*2^1226693-1 is not prime. Res64: CA5199CD45F9BA19 Time : 0.0 sec. user=mdettweiler [2012-08-18 17:37:11] 795*2^1226693-1 is not prime. Res64: 81693C01C1336E1C Time : 0.0 sec. user=mdettweiler [2012-08-18 17:39:00] 801*2^1226693-1 is not prime. Res64: 4A4225387A195E09 Time : 0.0 sec. user=mdettweiler [2012-08-18 17:39:01] 867*2^1226693-1 is not prime. Res64: F90CE2D1C7B000EC Time : 0.0 sec. user=mdettweiler [2012-08-18 17:54:10] 981*2^1226693-1 is not prime. Res64: 3A0F4580735B29ED Time : 0.0 sec. user=mdettweiler [2012-08-18 17:58:06] 657*2^1226694-1 is not prime. Res64: 1B3C7670E46E047E Time : 0.0 sec. user=mdettweiler [2012-08-18 17:58:07] 725*2^1226694-1 is not prime. Res64: D0C948DB1FDBB37D Time : 0.0 sec. user=mdettweiler [2012-08-18 17:59:57] 807*2^1226694-1 is not prime. Res64: 31800E1483C36A90 Time : 0.0 sec. user=mdettweiler [2012-08-18 17:59:57] 825*2^1226694-1 is not prime. Res64: 17AAA525958CF4DB Time : 0.0 sec. user=vaughan [2012-08-18 18:07:09] 605*2^1226694-1 is not prime. Res64: 5B2BDCA4BA6B9201 Time : 0.0 sec. user=mdettweiler [2012-08-18 18:19:04] 923*2^1226694-1 is not prime. Res64: 549E369AE47E7F38 Time : 0.0 sec. user=mdettweiler [2012-08-18 18:19:04] 993*2^1226694-1 is not prime. Res64: 2C8A485BCF67F4FA Time : 0.0 sec. user=mdettweiler [2012-08-18 18:20:53] 645*2^1226695-1 is not prime. Res64: BF24E88363C7CEDB Time : 0.0 sec. user=mdettweiler [2012-08-18 18:20:54] 679*2^1226695-1 is not prime. Res64: 58F4DE49CA476477 Time : 0.0 sec. user=mdettweiler [2012-08-18 18:28:03] 863*2^1226694-1 is not prime. Res64: 559CDECE5964129C Time : 0.0 sec. user=mdettweiler [2012-08-18 18:40:03] 889*2^1226695-1 is not prime. Res64: 23783D47C1BD5770 Time : 0.0 sec. user=mdettweiler [2012-08-18 18:40:03] 641*2^1226694-1 is not prime. Res64: 0569C83472E1A0C3 Time : 0.0 sec. user=mdettweiler [2012-08-18 18:40:04] 919*2^1226695-1 is not prime. Res64: DC46563EAC295965 Time : 0.0 sec. user=mdettweiler [2012-08-18 18:41:50] 961*2^1226695-1 is not prime. Res64: 906BCBB3EFF34CD6 Time : 0.0 sec. user=mdettweiler [2012-08-18 18:41:51] 999*2^1226695-1 is not prime. Res64: 21771F15CB5FDBE6 Time : 0.0 sec. user=vaughan [2012-08-18 18:44:58] 861*2^1226695-1 is not prime. Res64: 23CADA19464BCA27 Time : 0.0 sec. user=mdettweiler [2012-08-18 19:01:01] 825*2^1226696-1 is not prime. Res64: DF9615FE7E132FB1 Time : 0.0 sec. user=mdettweiler [2012-08-18 19:01:02] 839*2^1226696-1 is not prime. Res64: 064D6B68B46595A1 Time : 0.0 sec. user=mdettweiler [2012-08-18 19:02:19] 755*2^1226696-1 is not prime. Res64: 68CA303ECAE352D2 Time : 0.0 sec. user=mdettweiler [2012-08-18 19:02:47] 869*2^1226696-1 is not prime. Res64: 8C129047AEF13D96 Time : 0.0 sec. user=mdettweiler [2012-08-18 19:02:48] 893*2^1226696-1 is not prime. Res64: 54EF936BC3B0C6EC Time : 0.0 sec. user=mdettweiler [2012-08-18 19:16:09] 845*2^1226696-1 is not prime. Res64: 46AE1606F960C270 Time : 0.0 sec. user=mdettweiler [2012-08-18 19:22:15] 709*2^1226697-1 is not prime. Res64: B6AE4054DCE8FE95 Time : 0.0 sec. user=mdettweiler [2012-08-18 19:22:15] 717*2^1226697-1 is not prime. Res64: 5601F847099AC9B7 Time : 0.0 sec. user=vaughan [2012-08-18 19:22:39] 897*2^1226696-1 is not prime. Res64: 2250C4C21CD220E2 Time : 0.0 sec. user=mdettweiler [2012-08-18 19:23:45] 781*2^1226697-1 is not prime. Res64: A188DEC519D82FDA Time : 0.0 sec. user=mdettweiler [2012-08-18 19:23:45] 849*2^1226697-1 is not prime. Res64: 792BA2E81E00E3FE Time : 0.0 sec. user=mdettweiler [2012-08-18 19:35:15] 735*2^1226697-1 is not prime. Res64: 7827172B85C2909B Time : 0.0 sec. user=mdettweiler [2012-08-18 19:43:12] 663*2^1226698-1 is not prime. Res64: 2E65D1869F9E4CB1 Time : 0.0 sec. user=mdettweiler [2012-08-18 19:43:12] 765*2^1226698-1 is not prime. Res64: E13E6F31ED4726D0 Time : 0.0 sec. user=mdettweiler [2012-08-18 19:44:42] 831*2^1226698-1 is not prime. Res64: 926B5066204B2288 Time : 0.0 sec. user=mdettweiler [2012-08-18 19:44:42] 845*2^1226698-1 is not prime. Res64: F7B12B83513D0F6D Time : 0.0 sec. user=mdettweiler [2012-08-18 19:49:07] 611*2^1226698-1 is not prime. Res64: 2AAD1D921AD4D9DB Time : 0.0 sec. user=vaughan [2012-08-18 20:00:19] 815*2^1226698-1 is not prime. Res64: 5BEBDAFB35D33AE3 Time : 0.0 sec. user=mdettweiler [2012-08-18 20:04:09] 621*2^1226699-1 is not prime. Res64: B5D9771775271A4A Time : 0.0 sec. user=mdettweiler [2012-08-18 20:04:10] 663*2^1226699-1 is not prime. Res64: ED0B787FD65F3FAE Time : 0.0 sec. user=mdettweiler [2012-08-18 20:05:38] 711*2^1226699-1 is not prime. Res64: 7F643DC674A7CE5E Time : 0.0 sec. user=mdettweiler [2012-08-18 20:05:38] 789*2^1226699-1 is not prime. Res64: AF898661F5F693F1 Time : 0.0 sec. user=mdettweiler [2012-08-18 20:18:26] 887*2^1226698-1 is not prime. Res64: 2526DAA18279CEB9 Time : 0.0 sec. user=mdettweiler [2012-08-18 20:22:34] 843*2^1226699-1 is not prime. Res64: 2FC7863E238FD0D8 Time : 0.0 sec. user=mdettweiler [2012-08-18 20:25:10] 695*2^1226700-1 is not prime. Res64: A03823F456A2E909 Time : 0.0 sec. user=mdettweiler [2012-08-18 20:25:11] 707*2^1226700-1 is not prime. Res64: 07878FAD7DACB49A Time : 0.0 sec. user=mdettweiler [2012-08-18 20:26:35] 789*2^1226700-1 is not prime. Res64: 266DE2A3795F786D Time : 0.0 sec. user=mdettweiler [2012-08-18 20:26:36] 825*2^1226700-1 is not prime. Res64: AECA4E2D9A9BDBCD Time : 0.0 sec. user=vaughan [2012-08-18 20:37:58] 629*2^1226700-1 is not prime. Res64: 67BD3E13B079D93D Time : 0.0 sec. user=gd_barnes [2012-08-18 20:42:57] 715*2^1226701-1 is not prime. Res64: 62191F53906F3C99 Time : 0.0 sec. user=mdettweiler [2012-08-18 20:46:07] 867*2^1226701-1 is not prime. Res64: 6DE0548C9A726259 Time : 0.0 sec. user=mdettweiler [2012-08-18 20:46:07] 833*2^1226702-1 is not prime. Res64: AD75D395726A98A7 Time : 0.0 sec. user=gd_barnes [2012-08-18 20:46:41] 717*2^1226701-1 is not prime. Res64: 393501D9F09A893C Time : 0.0 sec. user=mdettweiler [2012-08-18 20:47:32] 857*2^1226702-1 is not prime. Res64: EBB5DA3E5D4AAC0F Time : 0.0 sec. user=mdettweiler [2012-08-18 20:47:33] 945*2^1226702-1 is not prime. Res64: 6B24AFC48D851F10 Time : 0.0 sec. user=mdettweiler [2012-08-18 21:01:48] 775*2^1226701-1 is not prime. Res64: B06A564B5D3B659F Time : 0.0 sec. user=mdettweiler [2012-08-18 21:01:54] 819*2^1226701-1 is not prime. Res64: 7EF3BA20A355016E Time : 0.0 sec. user=mdettweiler [2012-08-18 21:07:04] 703*2^1226703-1 is not prime. Res64: C832E576E51D3CFB Time : 0.0 sec. user=mdettweiler [2012-08-18 21:07:10] 705*2^1226703-1 is not prime. Res64: 831EB9EFBDCD3123 Time : 0.0 sec. user=mdettweiler [2012-08-18 21:08:30] 723*2^1226703-1 is not prime. Res64: F8E113C97B5AD9F8 Time : 0.0 sec. user=mdettweiler [2012-08-18 21:08:32] 871*2^1226703-1 is not prime. Res64: C10B068922FD50C6 Time : 0.0 sec. user=vaughan [2012-08-18 21:15:38] 983*2^1226702-1 is not prime. Res64: 0CED9C82EB3900FB Time : 0.0 sec. user=mdettweiler [2012-08-18 21:28:08] 615*2^1226704-1 is not prime. Res64: 6D3D6860DB9C9DC0 Time : 0.0 sec. user=mdettweiler [2012-08-18 21:28:08] 645*2^1226704-1 is not prime. Res64: A8C69246A032734C Time : 0.0 sec. user=mdettweiler [2012-08-18 21:29:31] 665*2^1226704-1 is not prime. Res64: 9C654631D7F7609B Time : 0.0 sec. user=mdettweiler [2012-08-18 21:29:32] 675*2^1226704-1 is not prime. Res64: 83EC9A82D7E1C8ED Time : 0.0 sec. user=mdettweiler [2012-08-18 21:33:59] 919*2^1226703-1 is not prime. Res64: C576DF7B855FCD8C Time : 0.0 sec. user=mdettweiler [2012-08-18 21:37:18] 895*2^1226703-1 is not prime. Res64: 8CFBF9E148208B86 Time : 0.0 sec. user=gd_barnes [2012-08-18 21:47:00] 909*2^1226704-1 is not prime. Res64: 0C16253132651F87 Time : 0.0 sec. user=mdettweiler [2012-08-18 21:48:59] 691*2^1226705-1 is not prime. Res64: 4A783F7BD3E8DB51 Time : 0.0 sec. user=mdettweiler [2012-08-18 21:49:00] 727*2^1226705-1 is not prime. Res64: 5F7400A7253D84C4 Time : 0.0 sec. user=mdettweiler [2012-08-18 21:50:23] 889*2^1226705-1 is not prime. Res64: B0E1CB15531DE55D Time : 0.0 sec. user=mdettweiler [2012-08-18 21:50:23] 981*2^1226705-1 is not prime. Res64: CBFC22757902A8B0 Time : 0.0 sec. user=vaughan [2012-08-18 21:53:28] 717*2^1226704-1 is not prime. Res64: B391162853314FE6 Time : 0.0 sec. user=mdettweiler [2012-08-18 22:07:15] 723*2^1226706-1 is not prime. Res64: D9F0D76F6A81CE83 Time : 0.0 sec. user=mdettweiler [2012-08-18 22:09:51] 861*2^1226706-1 is not prime. Res64: A418862F441FDB35 Time : 0.0 sec. user=mdettweiler [2012-08-18 22:09:52] 663*2^1226707-1 is not prime. Res64: 8AE89429FDA0CAA9 Time : 0.0 sec. user=mdettweiler [2012-08-18 22:10:19] 815*2^1226706-1 is not prime. Res64: 9CA9157835620127 Time : 0.0 sec. user=mdettweiler [2012-08-18 22:11:14] 673*2^1226707-1 is not prime. Res64: 7BBC665BB861B24D Time : 0.0 sec. user=mdettweiler [2012-08-18 22:11:14] 735*2^1226707-1 is not prime. Res64: 0BA9FA30D03BBF7C Time : 0.0 sec. user=mdettweiler [2012-08-18 22:30:43] 633*2^1226708-1 is not prime. Res64: 819E825FF3F01C52 Time : 0.0 sec. user=mdettweiler [2012-08-18 22:30:43] 687*2^1226708-1 is not prime. Res64: EE9183C9CE8EBA46 Time : 0.0 sec. user=vaughan [2012-08-18 22:31:08] 873*2^1226707-1 is not prime. Res64: 66FF149105764FE3 Time : 0.0 sec. user=mdettweiler [2012-08-18 22:32:08] 759*2^1226708-1 is not prime. Res64: 19D38B34B3ED8327 Time : 0.0 sec. user=mdettweiler [2012-08-18 22:32:08] 843*2^1226708-1 is not prime. Res64: EBF33D7AE64814EF Time : 0.0 sec. user=mdettweiler [2012-08-18 22:40:56] 883*2^1226707-1 is not prime. Res64: C3B35A3D1573BFE8 Time : 0.0 sec. user=mdettweiler [2012-08-18 22:43:48] 743*2^1226708-1 is not prime. Res64: 078041F64409BDBB Time : 0.0 sec. user=mdettweiler [2012-08-18 22:51:33] 893*2^1226708-1 is not prime. Res64: DF30DD6C54C09BA1 Time : 0.0 sec. user=mdettweiler [2012-08-18 22:51:34] 995*2^1226708-1 is not prime. Res64: C5D993BC57B25E70 Time : 0.0 sec. user=mdettweiler [2012-08-18 22:52:59] 609*2^1226709-1 is not prime. Res64: 28A38064CD010AC3 Time : 0.0 sec. user=mdettweiler [2012-08-18 22:53:00] 675*2^1226709-1 is not prime. Res64: 3B9C3D71543A64AB Time : 0.0 sec. user=vaughan [2012-08-18 23:08:52] 999*2^1226708-1 is not prime. Res64: D4DD1E2E56570355 Time : 0.0 sec. user=mdettweiler [2012-08-18 23:12:25] 765*2^1226709-1 is not prime. Res64: A9C73406A18B054B Time : 0.0 sec. user=mdettweiler [2012-08-18 23:12:26] 789*2^1226709-1 is not prime. Res64: 02DCC1DB0533543E Time : 0.0 sec. user=mdettweiler [2012-08-18 23:13:51] 795*2^1226709-1 is not prime. Res64: E92101F5A52BA963 Time : 0.0 sec. user=mdettweiler [2012-08-18 23:13:52] 817*2^1226709-1 is not prime. Res64: 215E51BABAB4973D Time : 0.0 sec. user=mdettweiler [2012-08-18 23:15:58] 751*2^1226709-1 is not prime. Res64: 74CB6F02F60AFAE8 Time : 0.0 sec. user=mdettweiler [2012-08-18 23:15:59] 679*2^1226709-1 is not prime. Res64: 7F564F2ADA684D4C Time : 0.0 sec. user=mdettweiler [2012-08-18 23:33:16] 611*2^1226710-1 is not prime. Res64: 01424A1DAF708AC0 Time : 0.0 sec. user=mdettweiler [2012-08-18 23:33:16] 623*2^1226710-1 is not prime. Res64: 25E4793BEB81F009 Time : 0.0 sec. user=mdettweiler [2012-08-18 23:34:43] 801*2^1226710-1 is not prime. Res64: 2230FBAD3C712A48 Time : 0.0 sec. user=mdettweiler [2012-08-18 23:34:43] 885*2^1226710-1 is not prime. Res64: 73E9CE9FDC60FBFD Time : 0.0 sec. user=vaughan [2012-08-18 23:46:39] 919*2^1226709-1 is not prime. Res64: E6CE173DD30F7F15 Time : 0.0 sec. user=mdettweiler [2012-08-18 23:50:09] 609*2^1226711-1 is not prime. Res64: A4EA0F44EFA4A215 Time : 0.0 sec. user=mdettweiler [2012-08-18 23:50:10] 951*2^1226710-1 is not prime. Res64: D62C5E19BE94A7C1 Time : 0.0 sec. user=mdettweiler [2012-08-18 23:54:07] 645*2^1226711-1 is not prime. Res64: 0C4B62D71B2959E1 Time : 0.0 sec. user=mdettweiler [2012-08-18 23:54:07] 675*2^1226711-1 is not prime. Res64: 46024467E5930F58 Time : 0.0 sec. user=mdettweiler [2012-08-18 23:55:33] 705*2^1226711-1 is not prime. Res64: 1DE4C5223113E3B7 Time : 0.0 sec. user=mdettweiler [2012-08-18 23:55:34] 735*2^1226711-1 is not prime. Res64: 116DB1A9979061A5 Time : 0.0 sec.