user=mdettweiler [2012-01-19 00:03:06] 843*2^1001908-1 is not prime. Res64: 384CAB9CA18F5B95 Time : 0.0 sec. user=mdettweiler [2012-01-19 00:03:08] 933*2^1001908-1 is not prime. Res64: 9C951333816D342E Time : 0.0 sec. user=mdettweiler [2012-01-19 00:03:44] 627*2^1001909-1 is not prime. Res64: 3359907C9F72C8D5 Time : 0.0 sec. user=mdettweiler [2012-01-19 00:03:45] 685*2^1001909-1 is not prime. Res64: 9FC22EE7C210925E Time : 0.0 sec. user=mdettweiler [2012-01-19 00:05:37] 821*2^1001902-1 is not prime. Res64: 4B9E109250AB935D Time : 0.0 sec. user=mdettweiler [2012-01-19 00:05:38] 827*2^1001902-1 is not prime. Res64: 607EF0168ED82F5B Time : 0.0 sec. user=mdettweiler [2012-01-19 00:16:08] 865*2^1001909-1 is not prime. Res64: 994D16ADE6EE30D2 Time : 0.0 sec. user=mdettweiler [2012-01-19 00:16:09] 717*2^1001910-1 is not prime. Res64: F0166F7F75F97CF3 Time : 0.0 sec. user=mdettweiler [2012-01-19 00:19:09] 795*2^1001910-1 is not prime. Res64: D25C6851817FA54F Time : 0.0 sec. user=mdettweiler [2012-01-19 00:19:09] 921*2^1001910-1 is not prime. Res64: 3AB5F9F84B81A2A7 Time : 0.0 sec. user=mdettweiler [2012-01-19 00:22:53] 619*2^1001911-1 is not prime. Res64: CD987F2E4D899414 Time : 0.0 sec. user=mdettweiler [2012-01-19 00:22:53] 723*2^1001911-1 is not prime. Res64: 908801156B61ED72 Time : 0.0 sec. user=mdettweiler [2012-01-19 00:23:23] 789*2^1001911-1 is not prime. Res64: A9A368E43EBE003F Time : 0.0 sec. user=mdettweiler [2012-01-19 00:23:24] 859*2^1001911-1 is not prime. Res64: 899E364C770DF1CB Time : 0.0 sec. user=mdettweiler [2012-01-19 00:38:08] 979*2^1001911-1 is not prime. Res64: A70F10195BCAE4C6 Time : 0.0 sec. user=mdettweiler [2012-01-19 00:38:08] 725*2^1001912-1 is not prime. Res64: A214D2A0D9E86428 Time : 0.0 sec. user=mdettweiler [2012-01-19 00:38:57] 797*2^1001912-1 is not prime. Res64: 056B96ED92CB4C3D Time : 0.0 sec. user=mdettweiler [2012-01-19 00:38:58] 815*2^1001912-1 is not prime. Res64: 262ECD6788029A7B Time : 0.0 sec. user=mdettweiler [2012-01-19 00:43:09] 679*2^1001913-1 is not prime. Res64: 91503B7FDDA9D08C Time : 0.0 sec. user=mdettweiler [2012-01-19 00:43:10] 741*2^1001913-1 is not prime. Res64: 4B36E970DC50A8AA Time : 0.0 sec. user=mdettweiler [2012-01-19 00:44:50] 875*2^1001912-1 is not prime. Res64: 7A231C498FFEB0C2 Time : 0.0 sec. user=mdettweiler [2012-01-19 00:44:51] 977*2^1001912-1 is not prime. Res64: DB98BBB1B5A5074F Time : 0.0 sec. user=mdettweiler [2012-01-19 00:54:53] 735*2^1001906-1 is not prime. Res64: CCC63DE130F900B9 Time : 0.0 sec. user=mdettweiler [2012-01-19 00:54:53] 675*2^1001907-1 is not prime. Res64: 39BBF525D3E854E7 Time : 0.0 sec. user=mdettweiler [2012-01-19 00:57:51] 819*2^1001913-1 is not prime. Res64: 5857D64948BBC0F0 Time : 0.0 sec. user=mdettweiler [2012-01-19 00:57:52] 835*2^1001913-1 is not prime. Res64: 84B1358708B36A73 Time : 0.0 sec. user=mdettweiler [2012-01-19 00:58:26] 765*2^1001907-1 is not prime. Res64: 320D65418EC4E3F5 Time : 0.0 sec. user=mdettweiler [2012-01-19 00:58:26] 829*2^1001907-1 is not prime. Res64: 53183CC8457921AB Time : 0.0 sec. user=mdettweiler [2012-01-19 01:00:56] 991*2^1001913-1 is not prime. Res64: E7AC7903214C30E9 Time : 0.0 sec. user=mdettweiler [2012-01-19 01:00:57] 617*2^1001914-1 is not prime. Res64: 09C61CBDB1811FC4 Time : 0.0 sec. user=mdettweiler [2012-01-19 01:02:53] 671*2^1001914-1 is not prime. Res64: D32238CB48B4DCD4 Time : 0.0 sec. user=mdettweiler [2012-01-19 01:02:55] 747*2^1001914-1 is not prime. Res64: FF9CA233E05FCF7F Time : 0.0 sec. user=mdettweiler [2012-01-19 01:04:31] 773*2^1001914-1 is not prime. Res64: FF32F60A59900E79 Time : 0.0 sec. user=mdettweiler [2012-01-19 01:04:31] 917*2^1001914-1 is not prime. Res64: 1AF4DA47C9E2FDB6 Time : 0.0 sec. user=mdettweiler [2012-01-19 01:17:34] 693*2^1001915-1 is not prime. Res64: 62FDAD5E38EA0DF3 Time : 0.0 sec. user=mdettweiler [2012-01-19 01:17:34] 771*2^1001915-1 is not prime. Res64: B9E0DF7A4B3049F6 Time : 0.0 sec. user=mdettweiler [2012-01-19 01:17:44] 727*2^1001909-1 is not prime. Res64: B12E99ECD6B15C31 Time : 0.0 sec. user=mdettweiler [2012-01-19 01:17:45] 829*2^1001909-1 is not prime. Res64: 293DDC0FED551992 Time : 0.0 sec. user=mdettweiler [2012-01-19 01:22:35] 719*2^1001916-1 is not prime. Res64: 4F14E98B5C2C32D4 Time : 0.0 sec. user=mdettweiler [2012-01-19 01:22:35] 737*2^1001916-1 is not prime. Res64: 7031652A161CD03E Time : 0.0 sec. user=mdettweiler [2012-01-19 01:22:56] 969*2^1001915-1 is not prime. Res64: 065DEC3E525CEC52 Time : 0.0 sec. user=mdettweiler [2012-01-19 01:22:58] 689*2^1001916-1 is not prime. Res64: A85E2B51F49BB9B8 Time : 0.0 sec. user=mdettweiler [2012-01-19 01:24:15] 783*2^1001916-1 is not prime. Res64: 2F839CFF9719BC21 Time : 0.0 sec. user=mdettweiler [2012-01-19 01:24:16] 927*2^1001916-1 is not prime. Res64: A93F0763E09BC2CF Time : 0.0 sec. user=mdettweiler [2012-01-19 01:41:51] 957*2^1001916-1 is not prime. Res64: 74B0D20C58080FB3 Time : 0.0 sec. user=mdettweiler [2012-01-19 01:41:52] 999*2^1001916-1 is not prime. Res64: 3527A0E32B1B702A Time : 0.0 sec. user=mdettweiler [2012-01-19 01:42:40] 711*2^1001918-1 is not prime. Res64: DCCADAFCD877FE29 Time : 0.0 sec. user=mdettweiler [2012-01-19 01:42:41] 833*2^1001918-1 is not prime. Res64: 3AF754875B1E18D1 Time : 0.0 sec. user=mdettweiler [2012-01-19 01:44:02] 897*2^1001918-1 is not prime. Res64: 765847FF2C347909 Time : 0.0 sec. user=mdettweiler [2012-01-19 01:44:02] 923*2^1001918-1 is not prime. Res64: 9AB24E909775A19B Time : 0.0 sec. user=mdettweiler [2012-01-19 01:44:34] 849*2^1001917-1 is not prime. Res64: 4918237C7E2E1375 Time : 0.0 sec. user=mdettweiler [2012-01-19 01:44:34] 985*2^1001917-1 is not prime. Res64: F7A69D359468FCA4 Time : 0.0 sec. user=mdettweiler [2012-01-19 01:51:36] 969*2^1001911-1 is not prime. Res64: 0204ACC630BEFE2B Time : 0.0 sec. user=mdettweiler [2012-01-19 01:51:36] 975*2^1001911-1 is not prime. Res64: EAC98B585C43177B Time : 0.0 sec. user=mdettweiler [2012-01-19 02:01:33] 613*2^1001919-1 is not prime. Res64: E12CAEC9FA3D1CD6 Time : 0.0 sec. user=mdettweiler [2012-01-19 02:01:34] 661*2^1001919-1 is not prime. Res64: 0B3702E0838C9DC7 Time : 0.0 sec. user=mdettweiler [2012-01-19 02:02:22] 735*2^1001919-1 is not prime. Res64: 698E29C6F2E09CF7 Time : 0.0 sec. user=mdettweiler [2012-01-19 02:02:23] 891*2^1001919-1 is not prime. Res64: 9F9E438FB66011CF Time : 0.0 sec. user=mdettweiler [2012-01-19 02:03:43] 909*2^1001919-1 is not prime. Res64: AC22C37C1299835B Time : 0.0 sec. user=mdettweiler [2012-01-19 02:03:44] 615*2^1001920-1 is not prime. Res64: F14DC44C6BAC2938 Time : 0.0 sec. user=mdettweiler [2012-01-19 02:04:15] 629*2^1001920-1 is not prime. Res64: 623D127FDC94B388 Time : 0.0 sec. user=mdettweiler [2012-01-19 02:04:17] 803*2^1001920-1 is not prime. Res64: 61E9E93817613578 Time : 0.0 sec. user=mdettweiler [2012-01-19 02:21:21] 855*2^1001920-1 is not prime. Res64: A5E2CF86A34A8910 Time : 0.0 sec. user=mdettweiler [2012-01-19 02:21:21] 619*2^1001921-1 is not prime. Res64: CC6FD5747510C28F Time : 0.0 sec. user=mdettweiler [2012-01-19 02:22:06] 829*2^1001921-1 is not prime. Res64: E81698AD03C47961 Time : 0.0 sec. user=mdettweiler [2012-01-19 02:22:07] 837*2^1001921-1 is not prime. Res64: 7FE1C639D6FDADD2 Time : 0.0 sec. user=mdettweiler [2012-01-19 02:24:01] 791*2^1001922-1 is not prime. Res64: CD704053E81753B4 Time : 0.0 sec. user=mdettweiler [2012-01-19 02:24:02] 887*2^1001922-1 is not prime. Res64: D35E2F6F02B59EDC Time : 0.0 sec. user=mdettweiler [2012-01-19 02:27:59] 937*2^1001921-1 is not prime. Res64: 538144A82D8E7936 Time : 0.0 sec. user=mdettweiler [2012-01-19 02:28:00] 955*2^1001921-1 is not prime. Res64: EC9A1400CBBBEBE5 Time : 0.0 sec. user=mdettweiler [2012-01-19 02:29:22] 983*2^1001914-1 is not prime. Res64: D615188C9F9F0B4E Time : 0.0 sec. user=mdettweiler [2012-01-19 02:29:22] 619*2^1001915-1 is not prime. Res64: 11ED0865C4A9640D Time : 0.0 sec. user=mdettweiler [2012-01-19 02:34:28] 861*2^1001915-1 is not prime. Res64: 923021E39166EDAE Time : 0.0 sec. user=mdettweiler [2012-01-19 02:34:29] 963*2^1001915-1 is not prime. Res64: 3207A794AC97B4A1 Time : 0.0 sec. user=mdettweiler [2012-01-19 02:41:58] 615*2^1001923-1 is not prime. Res64: 17460A5C3E4E5B4F Time : 0.0 sec. user=mdettweiler [2012-01-19 02:41:59] 621*2^1001923-1 is not prime. Res64: F3BBF5A6EC258725 Time : 0.0 sec. user=mdettweiler [2012-01-19 02:43:31] 651*2^1001917-1 is not prime. Res64: 6A1859DE7D7651D0 Time : 0.0 sec. user=mdettweiler [2012-01-19 02:43:32] 771*2^1001917-1 is not prime. Res64: 2A0DA6A66CF7BB5E Time : 0.0 sec. user=mdettweiler [2012-01-19 02:43:46] 681*2^1001923-1 is not prime. Res64: DC10BC3E8940A674 Time : 0.0 sec. user=mdettweiler [2012-01-19 02:43:47] 691*2^1001923-1 is not prime. Res64: 78EADB9BD305911A Time : 0.0 sec. user=mdettweiler [2012-01-19 02:45:42] 951*2^1001922-1 is not prime. Res64: 05C97E21C9E2B59A Time : 0.0 sec. user=mdettweiler [2012-01-19 02:45:43] 975*2^1001922-1 is not prime. Res64: F4CAA3048E206F28 Time : 0.0 sec. user=mdettweiler [2012-01-19 02:49:58] 871*2^1001923-1 is not prime. Res64: 54916FBD75749842 Time : 0.0 sec. user=mdettweiler [2012-01-19 02:49:59] 969*2^1001923-1 is not prime. Res64: E6F54A2C30F26845 Time : 0.0 sec. user=mdettweiler [2012-01-19 03:03:58] 873*2^1001924-1 is not prime. Res64: 95F29AE36F425D0E Time : 0.0 sec. user=mdettweiler [2012-01-19 03:03:59] 935*2^1001924-1 is not prime. Res64: E45652284BC2DCF5 Time : 0.0 sec. user=mdettweiler [2012-01-19 03:05:24] 627*2^1001925-1 is not prime. Res64: B7893013200C80DA Time : 0.0 sec. user=mdettweiler [2012-01-19 03:05:26] 639*2^1001925-1 is not prime. Res64: 33651B2B5C91F20B Time : 0.0 sec. user=mdettweiler [2012-01-19 03:05:45] 995*2^1001924-1 is not prime. Res64: E0F7EBE0EEBAEDCC Time : 0.0 sec. user=mdettweiler [2012-01-19 03:05:46] 625*2^1001925-1 is not prime. Res64: AEC1409D56D564F2 Time : 0.0 sec. user=mdettweiler [2012-01-19 03:09:41] 669*2^1001925-1 is not prime. Res64: 6F7C042AFC0EBFFD Time : 0.0 sec. user=mdettweiler [2012-01-19 03:09:43] 787*2^1001925-1 is not prime. Res64: FCDA0A98D6C01FB9 Time : 0.0 sec. user=mdettweiler [2012-01-19 03:18:55] 825*2^1001920-1 is not prime. Res64: D1050C800D00182F Time : 0.0 sec. user=mdettweiler [2012-01-19 03:18:55] 839*2^1001920-1 is not prime. Res64: AEF67A7776090821 Time : 0.0 sec. user=mdettweiler [2012-01-19 03:23:45] 795*2^1001925-1 is not prime. Res64: FC261AC5F33A0B81 Time : 0.0 sec. user=mdettweiler [2012-01-19 03:23:45] 825*2^1001925-1 is not prime. Res64: C37BA9B7D415DCB1 Time : 0.0 sec. user=mdettweiler [2012-01-19 03:25:16] 849*2^1001925-1 is not prime. Res64: 5CE841B8A8BBF5C2 Time : 0.0 sec. user=mdettweiler [2012-01-19 03:25:16] 891*2^1001925-1 is not prime. Res64: 51C1BD344EF481B6 Time : 0.0 sec. user=mdettweiler [2012-01-19 03:25:32] 915*2^1001925-1 is not prime. Res64: 74AD036775CB919D Time : 0.0 sec. user=mdettweiler [2012-01-19 03:25:32] 623*2^1001926-1 is not prime. Res64: B97C13D330E0DC90 Time : 0.0 sec. user=mdettweiler [2012-01-19 03:29:30] 647*2^1001926-1 is not prime. Res64: 0E0B3C1DF53F58B8 Time : 0.0 sec. user=mdettweiler [2012-01-19 03:29:30] 651*2^1001926-1 is not prime. Res64: 7F8C8CC8D86E50A8 Time : 0.0 sec. user=mdettweiler [2012-01-19 03:43:27] 753*2^1001927-1 is not prime. Res64: 6673934799D6D11D Time : 0.0 sec. user=mdettweiler [2012-01-19 03:43:27] 605*2^1001928-1 is not prime. Res64: E945BD447804DBD1 Time : 0.0 sec. user=mdettweiler [2012-01-19 03:44:57] 665*2^1001928-1 is not prime. Res64: 884754B473B0662E Time : 0.0 sec. user=mdettweiler [2012-01-19 03:44:57] 695*2^1001928-1 is not prime. Res64: 23142FB38147E361 Time : 0.0 sec. user=mdettweiler [2012-01-19 03:45:16] 737*2^1001928-1 is not prime. Res64: B42E8FFB7A76E0CC Time : 0.0 sec. user=mdettweiler [2012-01-19 03:45:17] 819*2^1001928-1 is not prime. Res64: 4216D90FBC1C5470 Time : 0.0 sec. user=mdettweiler [2012-01-19 03:51:39] 845*2^1001928-1 is not prime. Res64: 4B00326A50FBCF3F Time : 0.0 sec. user=mdettweiler [2012-01-19 03:51:39] 975*2^1001928-1 is not prime. Res64: A35CB63A77507D23 Time : 0.0 sec. user=mdettweiler [2012-01-19 03:55:33] 699*2^1001924-1 is not prime. Res64: E4EDF42D8DFAFB4C Time : 0.0 sec. user=mdettweiler [2012-01-19 03:55:33] 753*2^1001924-1 is not prime. Res64: 809BCE34C2B26484 Time : 0.0 sec. user=mdettweiler [2012-01-19 04:00:49] 825*2^1001924-1 is not prime. Res64: 8CF545E1A4A9693A Time : 0.0 sec. user=mdettweiler [2012-01-19 04:00:50] 837*2^1001924-1 is not prime. Res64: 2A15C81599177FF9 Time : 0.0 sec. user=mdettweiler [2012-01-19 04:03:17] 625*2^1001929-1 is not prime. Res64: D35A508EEE0EB26B Time : 0.0 sec. user=mdettweiler [2012-01-19 04:03:18] 771*2^1001929-1 is not prime. Res64: 320BFA7F3CCA3BD2 Time : 0.0 sec. user=mdettweiler [2012-01-19 04:04:57] 801*2^1001929-1 is not prime. Res64: 7C287F1A7DACB4FF Time : 0.0 sec. user=mdettweiler [2012-01-19 04:04:58] 841*2^1001929-1 is not prime. Res64: 5D22A6206500710D Time : 0.0 sec. user=mdettweiler [2012-01-19 04:07:26] 919*2^1001929-1 is not prime. Res64: EE429F5BCB7A3280 Time : 0.0 sec. user=mdettweiler [2012-01-19 04:07:27] 955*2^1001929-1 is not prime. Res64: BC07FDD379DC4FD2 Time : 0.0 sec. user=mdettweiler [2012-01-19 04:13:41] 987*2^1001929-1 is not prime. Res64: EEC68ACDEDBB8BFF Time : 0.0 sec. user=mdettweiler [2012-01-19 04:13:41] 767*2^1001930-1 is not prime. Res64: 0277E1C65AF28371 Time : 0.0 sec. user=mdettweiler [2012-01-19 04:23:03] 679*2^1001931-1 is not prime. Res64: CC4A51C1C114EDE7 Time : 0.0 sec. user=mdettweiler [2012-01-19 04:23:04] 753*2^1001931-1 is not prime. Res64: 0217334A458A8DA9 Time : 0.0 sec. user=mdettweiler [2012-01-19 04:27:04] 861*2^1001931-1 is not prime. Res64: 1694710B972F3058 Time : 0.0 sec. user=mdettweiler [2012-01-19 04:27:04] 951*2^1001931-1 is not prime. Res64: 1DFA7F8AAB893D21 Time : 0.0 sec. user=mdettweiler [2012-01-19 04:29:32] 975*2^1001931-1 is not prime. Res64: 70CBACB7CD3AB5CB Time : 0.0 sec. user=mdettweiler [2012-01-19 04:29:33] 615*2^1001932-1 is not prime. Res64: 88110F0F351E3C62 Time : 0.0 sec. user=mdettweiler [2012-01-19 04:31:47] 957*2^1001924-1 is not prime. Res64: FBA0CC86FAB25BF0 Time : 0.0 sec. user=mdettweiler [2012-01-19 04:31:47] 959*2^1001924-1 is not prime. Res64: 83BD549FA38793FF Time : 0.0 sec. user=mdettweiler [2012-01-19 04:33:26] 665*2^1001932-1 is not prime. Res64: DFF305392D84B95C Time : 0.0 sec. user=mdettweiler [2012-01-19 04:33:28] 689*2^1001932-1 is not prime. Res64: 121B41B037A33C2A Time : 0.0 sec. user=mdettweiler [2012-01-19 04:42:45] 693*2^1001932-1 is not prime. Res64: 083A809EF57823B1 Time : 0.0 sec. user=mdettweiler [2012-01-19 04:42:45] 827*2^1001932-1 is not prime. Res64: CF369199DC41765C Time : 0.0 sec. user=mdettweiler [2012-01-19 04:46:48] 649*2^1001933-1 is not prime. Res64: 42BF5A8EF3A820CB Time : 0.0 sec. user=mdettweiler [2012-01-19 04:46:48] 795*2^1001933-1 is not prime. Res64: A27BD5F63D019F35 Time : 0.0 sec. user=mdettweiler [2012-01-19 04:49:13] 811*2^1001933-1 is not prime. Res64: 19F051AE786909BD Time : 0.0 sec. user=mdettweiler [2012-01-19 04:49:14] 871*2^1001933-1 is not prime. Res64: 02A47BC97F9FD294 Time : 0.0 sec. user=mdettweiler [2012-01-19 04:53:16] 711*2^1001934-1 is not prime. Res64: D2F6E23434DA1BD7 Time : 0.0 sec. user=mdettweiler [2012-01-19 04:53:17] 765*2^1001934-1 is not prime. Res64: C25BBA13DF06D30A Time : 0.0 sec. user=mdettweiler [2012-01-19 04:54:52] 933*2^1001926-1 is not prime. Res64: 920C8847EE1FEB8A Time : 0.0 sec. user=mdettweiler [2012-01-19 04:54:52] 619*2^1001927-1 is not prime. Res64: 3431240486848EA0 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:02:29] 863*2^1001934-1 is not prime. Res64: EB2A58B15F395941 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:02:29] 885*2^1001934-1 is not prime. Res64: 00AC64BE12F4E960 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:06:38] 893*2^1001934-1 is not prime. Res64: 1AF4B3D916A1BC45 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:06:38] 917*2^1001934-1 is not prime. Res64: DE8DE6D1C3C0CB9A Time : 0.0 sec. user=mdettweiler [2012-01-19 05:11:17] 965*2^1001934-1 is not prime. Res64: AF2B6DD7F7A03457 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:11:19] 649*2^1001935-1 is not prime. Res64: D401882EEAF0A668 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:12:58] 651*2^1001935-1 is not prime. Res64: 064F806940A3B8C3 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:12:59] 679*2^1001935-1 is not prime. Res64: 513DF4F6ADB65350 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:22:42] 801*2^1001930-1 is not prime. Res64: 1672272907BD5F22 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:22:42] 927*2^1001930-1 is not prime. Res64: EB115F063F548035 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:24:33] 951*2^1001935-1 is not prime. Res64: 545B1611EF7F1D9B Time : 0.0 sec. user=mdettweiler [2012-01-19 05:24:33] 669*2^1001936-1 is not prime. Res64: F45C77B60E10F57F Time : 0.0 sec. user=mdettweiler [2012-01-19 05:26:23] 759*2^1001936-1 is not prime. Res64: 80257F5E35388ACB Time : 0.0 sec. user=mdettweiler [2012-01-19 05:26:24] 927*2^1001936-1 is not prime. Res64: 42ABCEA199D918B3 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:32:47] 747*2^1001937-1 is not prime. Res64: 3B4C72C1CF3AA7A5 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:32:47] 617*2^1001938-1 is not prime. Res64: 2F8AB14AE4BF2D15 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:33:24] 983*2^1001936-1 is not prime. Res64: 876CAABFCAF2EF9E Time : 0.0 sec. user=mdettweiler [2012-01-19 05:33:25] 669*2^1001937-1 is not prime. Res64: 5E2879FC98BB2AE8 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:37:20] 1001*2^1001930-1 is not prime. Res64: F00AF14416BB8B14 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:37:20] 649*2^1001931-1 is not prime. Res64: 5496F4CD399F4E58 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:44:15] 723*2^1001938-1 is not prime. Res64: 702DA6693A358CCE Time : 0.0 sec. user=mdettweiler [2012-01-19 05:44:16] 813*2^1001938-1 is not prime. Res64: 91BE7D9DE02BD312 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:46:07] 855*2^1001938-1 is not prime. Res64: 424064D961D4D648 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:46:07] 857*2^1001938-1 is not prime. Res64: 97C53510537B4BC2 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:52:31] 885*2^1001938-1 is not prime. Res64: 0F08F248A745D592 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:52:32] 887*2^1001938-1 is not prime. Res64: 176AEF2B11BBC625 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:53:08] 663*2^1001939-1 is not prime. Res64: B23A038442B96D81 Time : 0.0 sec. user=mdettweiler [2012-01-19 05:53:08] 669*2^1001939-1 is not prime. Res64: 643CB0492D160913 Time : 0.0 sec. user=mdettweiler [2012-01-19 06:05:55] 843*2^1001940-1 is not prime. Res64: 24F661BAEC43E7FC Time : 0.0 sec. user=mdettweiler [2012-01-19 06:05:57] 857*2^1001940-1 is not prime. Res64: DE0F49B61EEAA1A0 Time : 0.0 sec. user=mdettweiler [2012-01-19 06:06:12] 949*2^1001939-1 is not prime. Res64: FB7F50ABF0B637E2 Time : 0.0 sec. user=mdettweiler [2012-01-19 06:06:13] 765*2^1001940-1 is not prime. Res64: 6E3E84662CA7716F Time : 0.0 sec. user=mdettweiler [2012-01-19 06:08:18] 967*2^1001933-1 is not prime. Res64: A46FC4B389B3D1E6 Time : 0.0 sec. user=mdettweiler [2012-01-19 06:08:18] 657*2^1001934-1 is not prime. Res64: 6486FEADD880A7D5 Time : 0.0 sec. user=mdettweiler [2012-01-19 06:12:15] 863*2^1001940-1 is not prime. Res64: A08E9AD19C9AFE17 Time : 0.0 sec. user=mdettweiler [2012-01-19 06:12:16] 879*2^1001940-1 is not prime. Res64: 0A4ADD309396FC18 Time : 0.0 sec. user=mdettweiler [2012-01-19 06:17:24] 929*2^1001940-1 is not prime. Res64: 6A45BB59838926EF Time : 0.0 sec. user=mdettweiler [2012-01-19 06:17:24] 987*2^1001940-1 is not prime. Res64: DC688EDDCFAA847F Time : 0.0 sec. user=mdettweiler [2012-01-19 06:20:38] 765*2^1001935-1 is not prime. Res64: F669764F12767F0F Time : 0.0 sec. user=mdettweiler [2012-01-19 06:20:38] 859*2^1001935-1 is not prime. Res64: A0F1C120868B3D68 Time : 0.0 sec. user=mdettweiler [2012-01-19 06:25:48] 645*2^1001941-1 is not prime. Res64: AB9E75DC1729B670 Time : 0.0 sec. user=mdettweiler [2012-01-19 06:25:49] 691*2^1001941-1 is not prime. Res64: 8EC1A34C42FF517F Time : 0.0 sec. user=mdettweiler [2012-01-19 06:26:00] 789*2^1001941-1 is not prime. Res64: B2BF2866AEE68877 Time : 0.0 sec. user=mdettweiler [2012-01-19 06:26:00] 799*2^1001941-1 is not prime. Res64: 4B3CBDB902D2C889 Time : 0.0 sec. user=mdettweiler [2012-01-19 06:34:26] 847*2^1001941-1 is not prime. Res64: 58B3463C84B7703A Time : 0.0 sec. user=mdettweiler [2012-01-19 06:34:27] 931*2^1001941-1 is not prime. Res64: 297304BC409C13BB Time : 0.0 sec. user=mdettweiler [2012-01-19 06:39:26] 987*2^1001941-1 is not prime. Res64: BB713A175FCB1531 Time : 0.0 sec. user=mdettweiler [2012-01-19 06:39:26] 741*2^1001942-1 is not prime. Res64: 3F73D75DF1DDD326 Time : 0.0 sec. user=mdettweiler [2012-01-19 06:46:56] 635*2^1001938-1 is not prime. Res64: 51ADB483570AD954 Time : 0.0 sec. user=mdettweiler [2012-01-19 06:46:56] 663*2^1001938-1 is not prime. Res64: BD05C9C24064CFAE Time : 0.0 sec. user=mdettweiler [2012-01-19 06:47:52] 923*2^1001942-1 is not prime. Res64: 05CBF4300BD255B5 Time : 0.0 sec. user=mdettweiler [2012-01-19 06:47:53] 965*2^1001942-1 is not prime. Res64: 3DC126C8663347C3 Time : 0.0 sec. user=mdettweiler [2012-01-19 06:48:01] 977*2^1001942-1 is not prime. Res64: 69E807A01ACB84DB Time : 0.0 sec. user=mdettweiler [2012-01-19 06:48:01] 741*2^1001943-1 is not prime. Res64: ED1F805AFF8B7F7D Time : 0.0 sec. user=mdettweiler [2012-01-19 06:54:13] 763*2^1001943-1 is not prime. Res64: D0A15C8788A1C6DC Time : 0.0 sec. user=mdettweiler [2012-01-19 06:54:14] 819*2^1001943-1 is not prime. Res64: 4EB476C346EBD311 Time : 0.0 sec. user=mdettweiler [2012-01-19 06:59:11] 885*2^1001943-1 is not prime. Res64: AE08065984EE6452 Time : 0.0 sec. user=mdettweiler [2012-01-19 06:59:12] 629*2^1001944-1 is not prime. Res64: EA8CA76EE8F164AD Time : 0.0 sec. user=mdettweiler [2012-01-19 07:06:14] 675*2^1001939-1 is not prime. Res64: 6436A122B29AE2AB Time : 0.0 sec. user=mdettweiler [2012-01-19 07:06:14] 741*2^1001939-1 is not prime. Res64: E1C81877E24CF89D Time : 0.0 sec. user=mdettweiler [2012-01-19 07:07:41] 813*2^1001944-1 is not prime. Res64: 1784F2BB23CF8956 Time : 0.0 sec. user=mdettweiler [2012-01-19 07:07:42] 869*2^1001944-1 is not prime. Res64: 93B1A2609BF90F9B Time : 0.0 sec. user=mdettweiler [2012-01-19 07:09:59] 915*2^1001944-1 is not prime. Res64: E16DF65BC669FE50 Time : 0.0 sec. user=mdettweiler [2012-01-19 07:10:00] 939*2^1001944-1 is not prime. Res64: B8B682946F9DF75E Time : 0.0 sec. user=mdettweiler [2012-01-19 07:13:56] 607*2^1001945-1 is not prime. Res64: 513012B72A337E91 Time : 0.0 sec. user=mdettweiler [2012-01-19 07:13:57] 619*2^1001945-1 is not prime. Res64: D7B8FFAA0B601A37 Time : 0.0 sec. user=mdettweiler [2012-01-19 07:18:58] 759*2^1001945-1 is not prime. Res64: 1ABB971FF628EAC9 Time : 0.0 sec. user=mdettweiler [2012-01-19 07:18:59] 787*2^1001945-1 is not prime. Res64: 6A84B8AD54E8231C Time : 0.0 sec. user=mdettweiler [2012-01-19 07:29:39] 735*2^1001946-1 is not prime. Res64: CA385BB5AB213176 Time : 0.0 sec. user=mdettweiler [2012-01-19 07:29:39] 741*2^1001946-1 is not prime. Res64: 87356DF0586F6881 Time : 0.0 sec. user=mdettweiler [2012-01-19 07:29:46] 949*2^1001945-1 is not prime. Res64: EA053F56797B1827 Time : 0.0 sec. user=mdettweiler [2012-01-19 07:29:46] 725*2^1001946-1 is not prime. Res64: F4193109BCFBAA2F Time : 0.0 sec. user=mdettweiler [2012-01-19 07:33:37] 747*2^1001946-1 is not prime. Res64: E568FE7D28C7BD58 Time : 0.0 sec. user=mdettweiler [2012-01-19 07:33:37] 765*2^1001946-1 is not prime. Res64: 86B9D2D8D3DF0C89 Time : 0.0 sec. user=mdettweiler [2012-01-19 07:35:11] 817*2^1001941-1 is not prime. Res64: 7C77C4F61452F169 Time : 0.0 sec. user=mdettweiler [2012-01-19 07:35:11] 829*2^1001941-1 is not prime. Res64: 0D3A8D31A4E07FF5 Time : 0.0 sec. user=mdettweiler [2012-01-19 07:38:45] 887*2^1001946-1 is not prime. Res64: 31248271F2297EE9 Time : 0.0 sec. user=mdettweiler [2012-01-19 07:38:45] 619*2^1001947-1 is not prime. Res64: 752C1BBAC87F2A5E Time : 0.0 sec. user=mdettweiler [2012-01-19 07:48:48] 785*2^1001942-1 is not prime. Res64: 7CD02686EA7CA2CC Time : 0.0 sec. user=mdettweiler [2012-01-19 07:48:48] 791*2^1001942-1 is not prime. Res64: 4BF088E162492BD8 Time : 0.0 sec. user=mdettweiler [2012-01-19 07:49:23] 639*2^1001947-1 is not prime. Res64: A93F71FEBFDDF910 Time : 0.0 sec. user=mdettweiler [2012-01-19 07:49:23] 693*2^1001947-1 is not prime. Res64: 30B22B784B50B286 Time : 0.0 sec. user=mdettweiler [2012-01-19 07:49:38] 703*2^1001947-1 is not prime. Res64: 1CF0CDCE10B8A69D Time : 0.0 sec. user=mdettweiler [2012-01-19 07:49:38] 759*2^1001947-1 is not prime. Res64: 577DE7C088AC71EB Time : 0.0 sec. user=mdettweiler [2012-01-19 07:57:51] 961*2^1001947-1 is not prime. Res64: 581F7BDE2339025D Time : 0.0 sec. user=mdettweiler [2012-01-19 07:57:51] 973*2^1001947-1 is not prime. Res64: CA1C11E4B9AF77C0 Time : 0.0 sec. user=mdettweiler [2012-01-19 07:58:33] 635*2^1001948-1 is not prime. Res64: 76B80325FEB75B1D Time : 0.0 sec. user=mdettweiler [2012-01-19 07:58:33] 647*2^1001948-1 is not prime. Res64: F117737A9D36AC0C Time : 0.0 sec. user=mdettweiler [2012-01-19 08:09:04] 753*2^1001948-1 is not prime. Res64: 4B3E87D2FE7515F7 Time : 0.0 sec. user=mdettweiler [2012-01-19 08:09:05] 813*2^1001948-1 is not prime. Res64: 575BF5157FC0AA77 Time : 0.0 sec. user=mdettweiler [2012-01-19 08:11:36] 839*2^1001948-1 is not prime. Res64: A7965A79F9380266 Time : 0.0 sec. user=mdettweiler [2012-01-19 08:11:37] 945*2^1001948-1 is not prime. Res64: 9AD921B82F78C62B Time : 0.0 sec. user=mdettweiler [2012-01-19 08:13:21] 635*2^1001944-1 is not prime. Res64: 73D0064D2C8B4D68 Time : 0.0 sec. user=mdettweiler [2012-01-19 08:13:21] 747*2^1001944-1 is not prime. Res64: 3B33237F51573DDE Time : 0.0 sec. user=mdettweiler [2012-01-19 08:18:15] 691*2^1001949-1 is not prime. Res64: 6AA36401FD26133D Time : 0.0 sec. user=mdettweiler [2012-01-19 08:18:16] 759*2^1001949-1 is not prime. Res64: 1B9796C052976880 Time : 0.0 sec. user=mdettweiler [2012-01-19 08:19:52] 977*2^1001948-1 is not prime. Res64: 1294A59833E49142 Time : 0.0 sec. user=mdettweiler [2012-01-19 08:19:52] 685*2^1001949-1 is not prime. Res64: DEE2915CA1234570 Time : 0.0 sec. user=mdettweiler [2012-01-19 08:28:52] 835*2^1001949-1 is not prime. Res64: 7EDDB0AEFB8F4635 Time : 0.0 sec. user=mdettweiler [2012-01-19 08:28:52] 889*2^1001949-1 is not prime. Res64: 2D8D4676001A215B Time : 0.0 sec. user=mdettweiler [2012-01-19 08:31:24] 919*2^1001949-1 is not prime. Res64: 679764B0F20AF8CA Time : 0.0 sec. user=mdettweiler [2012-01-19 08:31:25] 921*2^1001949-1 is not prime. Res64: D38B6FF0F035C5A4 Time : 0.0 sec. user=mdettweiler [2012-01-19 08:34:42] 841*2^1001945-1 is not prime. Res64: 95016D5DDE6D497D Time : 0.0 sec. user=mdettweiler [2012-01-19 08:34:43] 847*2^1001945-1 is not prime. Res64: A154A1F384CD86B5 Time : 0.0 sec. user=mdettweiler [2012-01-19 08:39:35] 623*2^1001950-1 is not prime. Res64: D9F52B104674AF0F Time : 0.0 sec. user=mdettweiler [2012-01-19 08:39:35] 647*2^1001950-1 is not prime. Res64: F5127B6C8EDD3F40 Time : 0.0 sec. user=mdettweiler [2012-01-19 08:40:11] 987*2^1001949-1 is not prime. Res64: 8D344ADE4E3FB122 Time : 0.0 sec. user=mdettweiler [2012-01-19 08:40:12] 603*2^1001950-1 is not prime. Res64: 22C37704C83C1291 Time : 0.0 sec. user=mdettweiler [2012-01-19 08:48:37] 731*2^1001950-1 is not prime. Res64: 5A9281EC05F4A0CC Time : 0.0 sec. user=mdettweiler [2012-01-19 08:48:37] 747*2^1001950-1 is not prime. Res64: 84C73217BA12FB90 Time : 0.0 sec. user=mdettweiler [2012-01-19 08:51:08] 785*2^1001950-1 is not prime. Res64: 04B95BE8046905A5 Time : 0.0 sec. user=mdettweiler [2012-01-19 08:51:08] 791*2^1001950-1 is not prime. Res64: 1F2750F3CCF8431B Time : 0.0 sec. user=mdettweiler [2012-01-19 08:59:11] 885*2^1001950-1 is not prime. Res64: BA21198BF28A1AE5 Time : 0.0 sec. user=mdettweiler [2012-01-19 08:59:11] 915*2^1001950-1 is not prime. Res64: E7825C58ED113318 Time : 0.0 sec. user=mdettweiler [2012-01-19 08:59:56] 673*2^1001951-1 is not prime. Res64: B7F72B11D0620C94 Time : 0.0 sec. user=mdettweiler [2012-01-19 08:59:56] 745*2^1001951-1 is not prime. Res64: 7B5BC6926BFA2FBC Time : 0.0 sec. user=mdettweiler [2012-01-19 09:08:15] 783*2^1001951-1 is not prime. Res64: 8FED8CAEC625179E Time : 0.0 sec. user=mdettweiler [2012-01-19 09:08:16] 623*2^1001952-1 is not prime. Res64: E6F6968D1F33537C Time : 0.0 sec. user=mdettweiler [2012-01-19 09:10:51] 665*2^1001952-1 is not prime. Res64: FB258EF0EAA10A2B Time : 0.0 sec. user=mdettweiler [2012-01-19 09:10:53] 737*2^1001952-1 is not prime. Res64: 1919F611344198BB Time : 0.0 sec. user=mdettweiler [2012-01-19 09:11:02] 985*2^1001947-1 is not prime. Res64: 6DDA8A32928662C7 Time : 0.0 sec. user=mdettweiler [2012-01-19 09:11:02] 617*2^1001948-1 is not prime. Res64: 9978045B3FFEFA2B Time : 0.0 sec. user=mdettweiler [2012-01-19 09:14:28] 659*2^1001948-1 is not prime. Res64: 17FA122A884BC5C5 Time : 0.0 sec. user=mdettweiler [2012-01-19 09:14:28] 677*2^1001948-1 is not prime. Res64: 1593B514407CF6B6 Time : 0.0 sec. user=mdettweiler [2012-01-19 09:18:53] 779*2^1001952-1 is not prime. Res64: F2101DCCE5005294 Time : 0.0 sec. user=mdettweiler [2012-01-19 09:18:54] 809*2^1001952-1 is not prime. Res64: 8280C9338594A9B7 Time : 0.0 sec. user=mdettweiler [2012-01-19 09:19:39] 819*2^1001952-1 is not prime. Res64: B7700CE0758A7071 Time : 0.0 sec. user=mdettweiler [2012-01-19 09:19:39] 909*2^1001952-1 is not prime. Res64: 6EA227EA2E6B2A58 Time : 0.0 sec. user=mdettweiler [2012-01-19 09:28:02] 619*2^1001953-1 is not prime. Res64: B4DCF1FF7244E63F Time : 0.0 sec. user=mdettweiler [2012-01-19 09:28:03] 705*2^1001953-1 is not prime. Res64: 648AC50122596B6C Time : 0.0 sec. user=mdettweiler [2012-01-19 09:33:03] 855*2^1001953-1 is not prime. Res64: 4105E720BCDDCAE9 Time : 0.0 sec. user=mdettweiler [2012-01-19 09:33:03] 957*2^1001953-1 is not prime. Res64: 9F208A1F08CD9552 Time : 0.0 sec. user=mdettweiler [2012-01-19 09:40:58] 873*2^1001954-1 is not prime. Res64: 8CC9900F419DFEA9 Time : 0.0 sec. user=mdettweiler [2012-01-19 09:40:58] 971*2^1001954-1 is not prime. Res64: DDF60943EDD086C0 Time : 0.0 sec. user=mdettweiler [2012-01-19 09:41:43] 981*2^1001954-1 is not prime. Res64: 5F704BCBB134E2DE Time : 0.0 sec. user=mdettweiler [2012-01-19 09:41:43] 691*2^1001955-1 is not prime. Res64: 2D8BE03F211DFF20 Time : 0.0 sec. user=mdettweiler [2012-01-19 09:47:49] 705*2^1001955-1 is not prime. Res64: 281673D034D38048 Time : 0.0 sec. user=mdettweiler [2012-01-19 09:47:49] 789*2^1001955-1 is not prime. Res64: C23EC264C45FAC96 Time : 0.0 sec. user=mdettweiler [2012-01-19 09:55:06] 903*2^1001955-1 is not prime. Res64: E7F686D25D9CE9B3 Time : 0.0 sec. user=mdettweiler [2012-01-19 09:55:06] 999*2^1001955-1 is not prime. Res64: 415EA6A334DCF6AD Time : 0.0 sec. user=mdettweiler [2012-01-19 10:00:45] 695*2^1001956-1 is not prime. Res64: D8D081DCDCFEAE29 Time : 0.0 sec. user=mdettweiler [2012-01-19 10:00:47] 705*2^1001956-1 is not prime. Res64: D559BD19A1FB02E7 Time : 0.0 sec. user=mdettweiler [2012-01-19 10:01:28] 719*2^1001956-1 is not prime. Res64: 6C1247B235B98E1F Time : 0.0 sec. user=mdettweiler [2012-01-19 10:01:28] 783*2^1001956-1 is not prime. Res64: 9885F3A83BD9E8BA Time : 0.0 sec. user=mdettweiler [2012-01-19 10:02:05] 975*2^1001949-1 is not prime. Res64: 70A30260B79B7CF4 Time : 0.0 sec. user=mdettweiler [2012-01-19 10:02:06] 985*2^1001949-1 is not prime. Res64: 26C3536F86AFDD7A Time : 0.0 sec. user=mdettweiler [2012-01-19 10:04:22] 813*2^1001950-1 is not prime. Res64: 35600D92707218C2 Time : 0.0 sec. user=mdettweiler [2012-01-19 10:04:23] 861*2^1001950-1 is not prime. Res64: 1CA92C4E3B292CB2 Time : 0.0 sec. user=mdettweiler [2012-01-19 10:07:35] 903*2^1001956-1 is not prime. Res64: 07625CC21ACE63FE Time : 0.0 sec. user=mdettweiler [2012-01-19 10:07:36] 909*2^1001956-1 is not prime. Res64: 81A4BE9B278BD466 Time : 0.0 sec. user=mdettweiler [2012-01-19 10:14:51] 669*2^1001957-1 is not prime. Res64: CEB9302C7B0A20D0 Time : 0.0 sec. user=mdettweiler [2012-01-19 10:14:51] 711*2^1001957-1 is not prime. Res64: D2934767EE88742B Time : 0.0 sec. user=mdettweiler [2012-01-19 10:22:51] 769*2^1001957-1 is not prime. Res64: FBF41CE6884D1966 Time : 0.0 sec. user=mdettweiler [2012-01-19 10:22:51] 937*2^1001957-1 is not prime. Res64: F6412092551A430A Time : 0.0 sec. user=mdettweiler [2012-01-19 10:23:33] 939*2^1001957-1 is not prime. Res64: 14116127626A70FA Time : 0.0 sec. user=mdettweiler [2012-01-19 10:23:33] 647*2^1001958-1 is not prime. Res64: BD7682113AA94DC6 Time : 0.0 sec. user=mdettweiler [2012-01-19 10:29:39] 951*2^1001958-1 is not prime. Res64: B3F304A83DA3B1E1 Time : 0.0 sec. user=mdettweiler [2012-01-19 10:29:39] 639*2^1001959-1 is not prime. Res64: 6C968D40BF1BCDCA Time : 0.0 sec. user=mdettweiler [2012-01-19 10:34:33] 853*2^1001959-1 is not prime. Res64: 0B6E928586179478 Time : 0.0 sec. user=mdettweiler [2012-01-19 10:34:34] 855*2^1001959-1 is not prime. Res64: 716CF201EE147975 Time : 0.0 sec. user=mdettweiler [2012-01-19 10:37:35] 605*2^1001954-1 is not prime. Res64: D5BB6955C97FC0BE Time : 0.0 sec. user=mdettweiler [2012-01-19 10:37:35] 615*2^1001954-1 is not prime. Res64: A46778439BBE290F Time : 0.0 sec. user=mdettweiler [2012-01-19 10:43:16] 629*2^1001960-1 is not prime. Res64: 32E622A739214F8E Time : 0.0 sec. user=mdettweiler [2012-01-19 10:43:16] 675*2^1001960-1 is not prime. Res64: 6A02886181111618 Time : 0.0 sec. user=mdettweiler [2012-01-19 10:43:30] 677*2^1001954-1 is not prime. Res64: 96EC52D321B4FF23 Time : 0.0 sec. user=mdettweiler [2012-01-19 10:43:30] 783*2^1001954-1 is not prime. Res64: 884823A4D7D33E0B Time : 0.0 sec. user=mdettweiler [2012-01-19 10:44:49] 913*2^1001959-1 is not prime. Res64: F1D45DF84593B852 Time : 0.0 sec. user=mdettweiler [2012-01-19 10:44:50] 933*2^1001959-1 is not prime. Res64: F871C094B49BA1E5 Time : 0.0 sec. user=mdettweiler [2012-01-19 10:49:22] 813*2^1001960-1 is not prime. Res64: 4AB6EC7FC35F39BD Time : 0.0 sec. user=mdettweiler [2012-01-19 10:49:22] 825*2^1001960-1 is not prime. Res64: F94F5086CD235AB7 Time : 0.0 sec. user=mdettweiler [2012-01-19 10:54:16] 845*2^1001960-1 is not prime. Res64: EFD0C5AC072641E3 Time : 0.0 sec. user=mdettweiler [2012-01-19 10:54:17] 857*2^1001960-1 is not prime. Res64: 9C38457F1DD64287 Time : 0.0 sec. user=mdettweiler [2012-01-19 11:04:38] 745*2^1001961-1 is not prime. Res64: 5441E889567A17FC Time : 0.0 sec. user=mdettweiler [2012-01-19 11:04:40] 817*2^1001961-1 is not prime. Res64: BB949F31C296E1A5 Time : 0.0 sec. user=mdettweiler [2012-01-19 11:07:36] 977*2^1001960-1 is not prime. Res64: BA42B81B44B257CB Time : 0.0 sec. user=mdettweiler [2012-01-19 11:07:36] 995*2^1001960-1 is not prime. Res64: AEAF8B8C7DAE5342 Time : 0.0 sec. user=mdettweiler [2012-01-19 11:09:12] 861*2^1001961-1 is not prime. Res64: 931285AA03B60801 Time : 0.0 sec. user=mdettweiler [2012-01-19 11:09:13] 909*2^1001961-1 is not prime. Res64: 93463EEFAA544011 Time : 0.0 sec. user=mdettweiler [2012-01-19 11:18:37] 945*2^1001961-1 is not prime. Res64: 4F8B9BE582FF20D4 Time : 0.0 sec. user=mdettweiler [2012-01-19 11:18:37] 999*2^1001961-1 is not prime. Res64: 6C6D8227E2CB618D Time : 0.0 sec. user=mdettweiler [2012-01-19 11:24:37] 755*2^1001962-1 is not prime. Res64: 9DFDC638FF8402A4 Time : 0.0 sec. user=mdettweiler [2012-01-19 11:24:38] 815*2^1001962-1 is not prime. Res64: ECBCB6A4F7E8F613 Time : 0.0 sec. user=mdettweiler [2012-01-19 11:28:07] 705*2^1001958-1 is not prime. Res64: A7691A137A9D5B1C Time : 0.0 sec. user=mdettweiler [2012-01-19 11:28:07] 713*2^1001958-1 is not prime. Res64: 082CF8B73BFB4AB9 Time : 0.0 sec. user=mdettweiler [2012-01-19 11:29:41] 867*2^1001962-1 is not prime. Res64: E0EEA1D888994929 Time : 0.0 sec. user=mdettweiler [2012-01-19 11:29:41] 947*2^1001962-1 is not prime. Res64: 89F5AA2B2E000F8B Time : 0.0 sec. user=mdettweiler [2012-01-19 11:30:51] 755*2^1001958-1 is not prime. Res64: 4CFF3C9C5C765219 Time : 0.0 sec. user=mdettweiler [2012-01-19 11:30:52] 821*2^1001958-1 is not prime. Res64: A504A0D011DBD2EB Time : 0.0 sec. user=mdettweiler [2012-01-19 11:31:17] 951*2^1001962-1 is not prime. Res64: EFC4B819F293E5AB Time : 0.0 sec. user=mdettweiler [2012-01-19 11:31:18] 633*2^1001963-1 is not prime. Res64: 3961C894786636D8 Time : 0.0 sec. user=mdettweiler [2012-01-19 11:38:25] 669*2^1001963-1 is not prime. Res64: 33CBF2BAF45341F4 Time : 0.0 sec. user=mdettweiler [2012-01-19 11:38:26] 693*2^1001963-1 is not prime. Res64: 0788B1647EA1992C Time : 0.0 sec. user=mdettweiler [2012-01-19 11:44:25] 703*2^1001963-1 is not prime. Res64: 34FBCD9C64AE4CC0 Time : 0.0 sec. user=mdettweiler [2012-01-19 11:44:25] 921*2^1001963-1 is not prime. Res64: 8B3692FF6EC0B97B Time : 0.0 sec. user=mdettweiler [2012-01-19 11:49:22] 685*2^1001965-1 is not prime. Res64: 282C8835BE2B7B89 Time : 0.0 sec. user=mdettweiler [2012-01-19 11:49:23] 817*2^1001965-1 is not prime. Res64: D93F8771AA58D2D9 Time : 0.0 sec. user=mdettweiler [2012-01-19 11:50:58] 683*2^1001966-1 is not prime. Res64: 540E60750F5F3662 Time : 0.0 sec. user=mdettweiler [2012-01-19 11:50:59] 711*2^1001966-1 is not prime. Res64: A157731705BB0BC7 Time : 0.0 sec. user=mdettweiler [2012-01-19 11:58:07] 767*2^1001966-1 is not prime. Res64: 288F6D5F25B7F6D6 Time : 0.0 sec. user=mdettweiler [2012-01-19 11:58:07] 801*2^1001966-1 is not prime. Res64: 42D838DD0922A5D4 Time : 0.0 sec. user=mdettweiler [2012-01-19 12:04:09] 917*2^1001966-1 is not prime. Res64: 2B6E5F951341D878 Time : 0.0 sec. user=mdettweiler [2012-01-19 12:04:11] 751*2^1001967-1 is not prime. Res64: 02A3E3C88D334456 Time : 0.0 sec. user=mdettweiler [2012-01-19 12:09:09] 765*2^1001967-1 is not prime. Res64: 66C5CBBAB2907FD5 Time : 0.0 sec. user=mdettweiler [2012-01-19 12:09:09] 781*2^1001967-1 is not prime. Res64: 8DD6ACF7A1648530 Time : 0.0 sec. user=mdettweiler [2012-01-19 12:13:58] 927*2^1001960-1 is not prime. Res64: 140B4BFB1C3F41B4 Time : 0.0 sec. user=mdettweiler [2012-01-19 12:13:58] 959*2^1001960-1 is not prime. Res64: AE1DED712A2F5676 Time : 0.0 sec. user=mdettweiler [2012-01-19 12:15:14] 933*2^1001967-1 is not prime. Res64: 1F9829B2122AB977 Time : 0.0 sec. user=mdettweiler [2012-01-19 12:15:15] 961*2^1001967-1 is not prime. Res64: 6BAAAACCBA0CF4BD Time : 0.0 sec. user=mdettweiler [2012-01-19 12:22:26] 999*2^1001960-1 is not prime. Res64: 8D0248CE808F35BB Time : 0.0 sec. user=mdettweiler [2012-01-19 12:22:27] 735*2^1001961-1 is not prime. Res64: F00BE9A6F8D7DA2C Time : 0.0 sec. user=mdettweiler [2012-01-19 12:22:28] 975*2^1001967-1 is not prime. Res64: 475390351902F113 Time : 0.0 sec. user=mdettweiler [2012-01-19 12:22:28] 979*2^1001967-1 is not prime. Res64: 67E147EAD2E1672A Time : 0.0 sec. user=mdettweiler [2012-01-19 12:24:01] 605*2^1001968-1 is not prime. Res64: DC315C39AF00ABD7 Time : 0.0 sec. user=mdettweiler [2012-01-19 12:24:01] 629*2^1001968-1 is not prime. Res64: CF94C934EE565EA1 Time : 0.0 sec. user=mdettweiler [2012-01-19 12:28:56] 639*2^1001968-1 is not prime. Res64: 26765784669D57DE Time : 0.0 sec. user=mdettweiler [2012-01-19 12:28:56] 803*2^1001968-1 is not prime. Res64: 5BAB435DDC092905 Time : 0.0 sec. user=mdettweiler [2012-01-19 12:34:57] 649*2^1001969-1 is not prime. Res64: 27D769F75DF1D5B3 Time : 0.0 sec. user=mdettweiler [2012-01-19 12:34:58] 847*2^1001969-1 is not prime. Res64: 778193B81D34F467 Time : 0.0 sec. user=mdettweiler [2012-01-19 12:42:14] 741*2^1001970-1 is not prime. Res64: E7C7C9E33168F2F2 Time : 0.0 sec. user=mdettweiler [2012-01-19 12:42:14] 783*2^1001970-1 is not prime. Res64: 317E87514F919F16 Time : 0.0 sec. user=mdettweiler [2012-01-19 12:46:07] 923*2^1001970-1 is not prime. Res64: 6E0CB285230061AF Time : 0.0 sec. user=mdettweiler [2012-01-19 12:46:07] 945*2^1001970-1 is not prime. Res64: B19A8D5B8B6CDCED Time : 0.0 sec. user=mdettweiler [2012-01-19 12:53:14] 977*2^1001970-1 is not prime. Res64: 2F6BBC0B98544FAA Time : 0.0 sec. user=mdettweiler [2012-01-19 12:53:15] 1001*2^1001970-1 is not prime. Res64: 35B2457FB90A405A Time : 0.0 sec. user=mdettweiler [2012-01-19 12:54:42] 735*2^1001971-1 is not prime. Res64: 1826823CA010EB35 Time : 0.0 sec. user=mdettweiler [2012-01-19 12:54:43] 769*2^1001971-1 is not prime. Res64: 8E92C5D5E7063A7E Time : 0.0 sec. user=mdettweiler [2012-01-19 13:01:15] 919*2^1001965-1 is not prime. Res64: E1D58ADCD9B55E65 Time : 0.0 sec. user=mdettweiler [2012-01-19 13:01:15] 615*2^1001966-1 is not prime. Res64: 0F624F330DD10174 Time : 0.0 sec. user=mdettweiler [2012-01-19 13:02:01] 771*2^1001971-1 is not prime. Res64: D266DE28C434B34A Time : 0.0 sec. user=mdettweiler [2012-01-19 13:02:03] 783*2^1001971-1 is not prime. Res64: 98ED1B63CB6E1236 Time : 0.0 sec. user=mdettweiler [2012-01-19 13:06:03] 749*2^1001964-1 is not prime. Res64: 7B8C06D116E4A37A Time : 0.0 sec. user=mdettweiler [2012-01-19 13:06:03] 983*2^1001964-1 is not prime. Res64: 88E5168076195786 Time : 0.0 sec. user=mdettweiler [2012-01-19 13:10:27] 961*2^1001971-1 is not prime. Res64: 907920E1AA18A60F Time : 0.0 sec. user=mdettweiler [2012-01-19 13:10:29] 975*2^1001971-1 is not prime. Res64: 2661C2AE8D70F1BF Time : 0.0 sec. user=mdettweiler [2012-01-19 13:12:58] 617*2^1001972-1 is not prime. Res64: 3DA3B406162945A3 Time : 0.0 sec. user=mdettweiler [2012-01-19 13:12:58] 623*2^1001972-1 is not prime. Res64: 25F22A739A9C781E Time : 0.0 sec. user=mdettweiler [2012-01-19 13:14:26] 819*2^1001972-1 is not prime. Res64: 3128168CE9643C15 Time : 0.0 sec. user=mdettweiler [2012-01-19 13:14:26] 867*2^1001972-1 is not prime. Res64: 9AABE85B530AC6DD Time : 0.0 sec. user=mdettweiler [2012-01-19 13:21:49] 735*2^1001973-1 is not prime. Res64: ACA98E976DF24EA6 Time : 0.0 sec. user=mdettweiler [2012-01-19 13:21:50] 769*2^1001973-1 is not prime. Res64: 4D721F5C29951B8A Time : 0.0 sec. user=mdettweiler [2012-01-19 13:32:27] 999*2^1001973-1 is not prime. Res64: 0F74EB631363210C Time : 0.0 sec. user=mdettweiler [2012-01-19 13:32:28] 755*2^1001974-1 is not prime. Res64: 903415638351B136 Time : 0.0 sec. user=mdettweiler [2012-01-19 13:32:46] 827*2^1001974-1 is not prime. Res64: A9BECCEF42850A5A Time : 0.0 sec. user=mdettweiler [2012-01-19 13:32:47] 887*2^1001974-1 is not prime. Res64: CD139379F3A96162 Time : 0.0 sec. user=mdettweiler [2012-01-19 13:36:25] 917*2^1001974-1 is not prime. Res64: 27551323AAC7AEE2 Time : 0.0 sec. user=mdettweiler [2012-01-19 13:36:26] 951*2^1001974-1 is not prime. Res64: 750CCA88D06EDC2F Time : 0.0 sec. user=mdettweiler [2012-01-19 13:44:39] 983*2^1001974-1 is not prime. Res64: 19FE27B6B0B544DB Time : 0.0 sec. user=mdettweiler [2012-01-19 13:44:39] 619*2^1001975-1 is not prime. Res64: EDA1C61C4AA3A87C Time : 0.0 sec. user=mdettweiler [2012-01-19 13:53:22] 897*2^1001969-1 is not prime. Res64: A58561AB3515C71F Time : 0.0 sec. user=mdettweiler [2012-01-19 13:53:23] 717*2^1001970-1 is not prime. Res64: 8E889131C287AA8F Time : 0.0 sec. user=mdettweiler [2012-01-19 13:53:33] 643*2^1001975-1 is not prime. Res64: 62F6F83A2461C131 Time : 0.0 sec. user=mdettweiler [2012-01-19 13:53:33] 843*2^1001975-1 is not prime. Res64: 7681A3BCFF9763DA Time : 0.0 sec. user=mdettweiler [2012-01-19 13:55:51] 859*2^1001975-1 is not prime. Res64: C7D5AAAEEB5A95F0 Time : 0.0 sec. user=mdettweiler [2012-01-19 13:55:52] 949*2^1001975-1 is not prime. Res64: EE4F5C1F0CC32E81 Time : 0.0 sec. user=mdettweiler [2012-01-19 14:00:31] 963*2^1001975-1 is not prime. Res64: F3DBA955FB38261F Time : 0.0 sec. user=mdettweiler [2012-01-19 14:00:34] 635*2^1001976-1 is not prime. Res64: 2F36AA25E0EAA079 Time : 0.0 sec. user=mdettweiler [2012-01-19 14:03:29] 947*2^1001968-1 is not prime. Res64: 69282A806A7E0AAF Time : 0.0 sec. user=mdettweiler [2012-01-19 14:03:29] 975*2^1001968-1 is not prime. Res64: 6BA6FFB9A15C1714 Time : 0.0 sec. user=mdettweiler [2012-01-19 14:06:22] 639*2^1001976-1 is not prime. Res64: 0DB28297AECA7142 Time : 0.0 sec. user=mdettweiler [2012-01-19 14:06:22] 705*2^1001976-1 is not prime. Res64: 90DC46E73A0740CD Time : 0.0 sec. user=mdettweiler [2012-01-19 14:14:11] 867*2^1001976-1 is not prime. Res64: B2C3C255DDA73B65 Time : 0.0 sec. user=mdettweiler [2012-01-19 14:14:12] 903*2^1001976-1 is not prime. Res64: EEE74530E0C4066F Time : 0.0 sec. user=mdettweiler [2012-01-19 14:18:25] 983*2^1001976-1 is not prime. Res64: D6873842F49B72B6 Time : 0.0 sec. user=mdettweiler [2012-01-19 14:18:25] 607*2^1001977-1 is not prime. Res64: 8C95506B3292DA8B Time : 0.0 sec. user=mdettweiler [2012-01-19 14:20:35] 751*2^1001977-1 is not prime. Res64: 39E41D92F066B6E7 Time : 0.0 sec. user=mdettweiler [2012-01-19 14:20:35] 841*2^1001977-1 is not prime. Res64: 53572A2279DFFE02 Time : 0.0 sec. user=mdettweiler [2012-01-19 14:26:34] 771*2^1001978-1 is not prime. Res64: 1ABC9392CA70C763 Time : 0.0 sec. user=mdettweiler [2012-01-19 14:26:34] 825*2^1001978-1 is not prime. Res64: 5A3DE40AA04E6C02 Time : 0.0 sec. user=mdettweiler [2012-01-19 14:35:05] 787*2^1001973-1 is not prime. Res64: 3422DBC623868886 Time : 0.0 sec. user=mdettweiler [2012-01-19 14:35:06] 789*2^1001973-1 is not prime. Res64: E16A8E8EE2C8F3F4 Time : 0.0 sec. user=mdettweiler [2012-01-19 14:40:22] 935*2^1001978-1 is not prime. Res64: 1FF0DDAC361D0072 Time : 0.0 sec. user=mdettweiler [2012-01-19 14:40:22] 735*2^1001979-1 is not prime. Res64: A7EFEC9AFACAADFD Time : 0.0 sec. user=mdettweiler [2012-01-19 14:41:41] 903*2^1001979-1 is not prime. Res64: 7B3B8C5D9769B9A3 Time : 0.0 sec. user=mdettweiler [2012-01-19 14:41:41] 909*2^1001979-1 is not prime. Res64: DEF0C3358FE33B31 Time : 0.0 sec. user=mdettweiler [2012-01-19 14:46:10] 999*2^1001972-1 is not prime. Res64: 54BE1FF8F0CFC865 Time : 0.0 sec. user=mdettweiler [2012-01-19 14:46:10] 691*2^1001973-1 is not prime. Res64: 294144E13FA7D947 Time : 0.0 sec. user=mdettweiler [2012-01-19 14:46:28] 931*2^1001979-1 is not prime. Res64: AD90DB4CD43BD47A Time : 0.0 sec. user=mdettweiler [2012-01-19 14:46:29] 605*2^1001980-1 is not prime. Res64: 4F72ABA063B7F1E2 Time : 0.0 sec. user=mdettweiler [2012-01-19 14:51:45] 623*2^1001980-1 is not prime. Res64: 8E596ACCE6B6FFE4 Time : 0.0 sec. user=mdettweiler [2012-01-19 14:51:45] 635*2^1001980-1 is not prime. Res64: 9E4454D0C26B935A Time : 0.0 sec. user=mdettweiler [2012-01-19 15:09:01] 717*2^1001980-1 is not prime. Res64: B116CA6867F570E6 Time : 0.0 sec. user=mdettweiler [2012-01-19 15:09:01] 729*2^1001980-1 is not prime. Res64: 9918FFAF78429C23 Time : 0.0 sec. user=mdettweiler [2012-01-19 15:09:36] 735*2^1001980-1 is not prime. Res64: E8983B04E160F03B Time : 0.0 sec. user=mdettweiler [2012-01-19 15:09:37] 759*2^1001980-1 is not prime. Res64: 01D6E200FFDD94DC Time : 0.0 sec. user=mdettweiler [2012-01-19 15:14:53] 887*2^1001980-1 is not prime. Res64: D47B1EDB2B123F41 Time : 0.0 sec. user=mdettweiler [2012-01-19 15:14:54] 897*2^1001980-1 is not prime. Res64: 4EE3C285E104D352 Time : 0.0 sec. user=mdettweiler [2012-01-19 15:22:11] 927*2^1001980-1 is not prime. Res64: 736A1057136679B4 Time : 0.0 sec. user=mdettweiler [2012-01-19 15:22:12] 619*2^1001981-1 is not prime. Res64: FEEBE8D65D40BB99 Time : 0.0 sec. user=mdettweiler [2012-01-19 15:29:09] 779*2^1001976-1 is not prime. Res64: D811CB9DDBF3B0AB Time : 0.0 sec. user=mdettweiler [2012-01-19 15:29:09] 845*2^1001976-1 is not prime. Res64: 429D462E99DF0C20 Time : 0.0 sec. user=mdettweiler [2012-01-19 15:36:31] 777*2^1001981-1 is not prime. Res64: 8927D344F1DBD5DD Time : 0.0 sec. user=mdettweiler [2012-01-19 15:36:31] 799*2^1001981-1 is not prime. Res64: DEB9D28671E716B5 Time : 0.0 sec. user=mdettweiler [2012-01-19 15:36:54] 885*2^1001977-1 is not prime. Res64: 9652894EB02D504E Time : 0.0 sec. user=mdettweiler [2012-01-19 15:36:54] 635*2^1001978-1 is not prime. Res64: FD55D9360FD734FB Time : 0.0 sec. user=mdettweiler [2012-01-19 15:37:55] 855*2^1001981-1 is not prime. Res64: 73D58C193C154D12 Time : 0.0 sec. user=mdettweiler [2012-01-19 15:37:56] 987*2^1001981-1 is not prime. Res64: 46B7A23CEA1012BB Time : 0.0 sec. user=mdettweiler [2012-01-19 15:42:53] 885*2^1001982-1 is not prime. Res64: D28DC1277F2E803C Time : 0.0 sec. user=mdettweiler [2012-01-19 15:42:53] 619*2^1001983-1 is not prime. Res64: 02A4EBF1F7A2FEA9 Time : 0.0 sec. user=mdettweiler [2012-01-19 15:50:15] 663*2^1001983-1 is not prime. Res64: 96EA6FDDE9EFF102 Time : 0.0 sec. user=mdettweiler [2012-01-19 15:50:15] 675*2^1001983-1 is not prime. Res64: 2C8681E408C00BFE Time : 0.0 sec. user=mdettweiler [2012-01-19 16:02:02] 775*2^1001983-1 is not prime. Res64: 457F89D3635FEBB9 Time : 0.0 sec. user=mdettweiler [2012-01-19 16:02:03] 855*2^1001983-1 is not prime. Res64: 334DEB66DF156B84 Time : 0.0 sec. user=mdettweiler [2012-01-19 16:03:44] 885*2^1001983-1 is not prime. Res64: BD8A432CB7DEF35A Time : 0.0 sec. user=mdettweiler [2012-01-19 16:03:44] 895*2^1001983-1 is not prime. Res64: 7B5666E604A410CF Time : 0.0 sec. user=mdettweiler [2012-01-19 16:12:06] 999*2^1001983-1 is not prime. Res64: 85623CD4112846F6 Time : 0.0 sec. user=mdettweiler [2012-01-19 16:12:07] 623*2^1001984-1 is not prime. Res64: D7B80DCFCDED115D Time : 0.0 sec. user=mdettweiler [2012-01-19 16:12:41] 665*2^1001980-1 is not prime. Res64: D4C55E67BB449AD5 Time : 0.0 sec. user=mdettweiler [2012-01-19 16:12:42] 707*2^1001980-1 is not prime. Res64: B710A2A0C878DFE3 Time : 0.0 sec. user=mdettweiler [2012-01-19 16:17:37] 657*2^1001984-1 is not prime. Res64: B30DEFD8EAA4D1F6 Time : 0.0 sec. user=mdettweiler [2012-01-19 16:17:38] 755*2^1001984-1 is not prime. Res64: 06EB200B7D53F4D1 Time : 0.0 sec. user=mdettweiler [2012-01-19 16:28:10] 785*2^1001980-1 is not prime. Res64: C1878A53A737C45B Time : 0.0 sec. user=mdettweiler [2012-01-19 16:28:10] 833*2^1001980-1 is not prime. Res64: BA6C7D88EBF1534E Time : 0.0 sec. user=mdettweiler [2012-01-19 16:30:05] 875*2^1001984-1 is not prime. Res64: F4A9C2D6ECD494BF Time : 0.0 sec. user=mdettweiler [2012-01-19 16:30:06] 935*2^1001984-1 is not prime. Res64: A1D7D7D71B8E72E6 Time : 0.0 sec. user=mdettweiler [2012-01-19 16:33:09] 993*2^1001984-1 is not prime. Res64: C86F9B34E42A2205 Time : 0.0 sec. user=mdettweiler [2012-01-19 16:33:09] 995*2^1001984-1 is not prime. Res64: F12CF51BCB7106BB Time : 0.0 sec. user=mdettweiler [2012-01-19 16:36:58] 709*2^1001985-1 is not prime. Res64: 882287118A4BC7ED Time : 0.0 sec. user=mdettweiler [2012-01-19 16:36:59] 717*2^1001985-1 is not prime. Res64: 5832FD051ED99576 Time : 0.0 sec. user=mdettweiler [2012-01-19 16:39:37] 617*2^1001986-1 is not prime. Res64: CDC0505B3E3C0DCB Time : 0.0 sec. user=mdettweiler [2012-01-19 16:39:37] 705*2^1001986-1 is not prime. Res64: 1C84799F05C3F33B Time : 0.0 sec. user=mdettweiler [2012-01-19 16:50:48] 765*2^1001986-1 is not prime. Res64: 0F9ACAA051A6F3BD Time : 0.0 sec. user=mdettweiler [2012-01-19 16:50:49] 801*2^1001986-1 is not prime. Res64: 17580636E016C9CC Time : 0.0 sec. user=mdettweiler [2012-01-19 16:56:20] 833*2^1001986-1 is not prime. Res64: 571E08A4A61346C3 Time : 0.0 sec. user=mdettweiler [2012-01-19 16:56:20] 975*2^1001986-1 is not prime. Res64: 11B766C399FE4790 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:00:12] 983*2^1001986-1 is not prime. Res64: D74E32875B52E8E4 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:00:15] 619*2^1001987-1 is not prime. Res64: 008718E4AD6C06AC Time : 0.0 sec. user=mdettweiler [2012-01-19 17:00:50] 621*2^1001987-1 is not prime. Res64: 4D5E7E35A5575D60 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:00:51] 699*2^1001987-1 is not prime. Res64: B136C7E1DF5D1B06 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:08:17] 693*2^1001983-1 is not prime. Res64: 493A33D3583BB199 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:08:17] 771*2^1001983-1 is not prime. Res64: D2830F5C81BDAC53 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:11:51] 741*2^1001987-1 is not prime. Res64: 50E2E89CB969488C Time : 0.0 sec. user=mdettweiler [2012-01-19 17:11:52] 775*2^1001987-1 is not prime. Res64: 8E1B9265320A628C Time : 0.0 sec. user=mdettweiler [2012-01-19 17:17:31] 825*2^1001987-1 is not prime. Res64: DD281C6FEB7DDE86 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:17:31] 605*2^1001988-1 is not prime. Res64: 61E6E9070B627BD2 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:17:40] 859*2^1001983-1 is not prime. Res64: 395A59513D9F5315 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:17:41] 871*2^1001983-1 is not prime. Res64: 883B900259B8DEFD Time : 0.0 sec. user=mdettweiler [2012-01-19 17:22:39] 691*2^1001989-1 is not prime. Res64: 4458C7EE52FEAF22 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:22:40] 825*2^1001989-1 is not prime. Res64: E53460AF19D80DA2 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:23:00] 843*2^1001988-1 is not prime. Res64: F3A6637D1DE2D786 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:23:01] 845*2^1001988-1 is not prime. Res64: 58A045116FBD224C Time : 0.0 sec. user=mdettweiler [2012-01-19 17:39:53] 997*2^1001989-1 is not prime. Res64: 0371534B4D4344F8 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:39:54] 605*2^1001990-1 is not prime. Res64: CC24EC49B44371C5 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:43:42] 635*2^1001990-1 is not prime. Res64: 7682F4026A86CAD8 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:43:43] 641*2^1001990-1 is not prime. Res64: 39C9D826C295C75E Time : 0.0 sec. user=mdettweiler [2012-01-19 17:47:28] 801*2^1001990-1 is not prime. Res64: 4D3AEBD24105CFC3 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:47:29] 885*2^1001990-1 is not prime. Res64: A088C257DC86BB30 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:48:03] 739*2^1001985-1 is not prime. Res64: 6B5E93933DAD4057 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:48:03] 867*2^1001985-1 is not prime. Res64: A3110C6B04ACE5B4 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:50:35] 935*2^1001990-1 is not prime. Res64: 5BA74396E7E18097 Time : 0.0 sec. user=mdettweiler [2012-01-19 17:50:36] 619*2^1001991-1 is not prime. Res64: 82A5CC5185DCBFCB Time : 0.0 sec. user=mdettweiler [2012-01-19 18:02:23] 713*2^1001986-1 is not prime. Res64: C7E109B893B10ABA Time : 0.0 sec. user=mdettweiler [2012-01-19 18:02:23] 829*2^1001989-1 is not prime. Res64: 2AD729C0D274126C Time : 0.0 sec. user=mdettweiler [2012-01-19 18:04:37] 661*2^1001991-1 is not prime. Res64: E8CFEEEDE1977654 Time : 0.0 sec. user=mdettweiler [2012-01-19 18:04:37] 691*2^1001991-1 is not prime. Res64: EFBCEBBCCCEAE189 Time : 0.0 sec. user=mdettweiler [2012-01-19 18:09:39] 745*2^1001991-1 is not prime. Res64: E9A531342FB7DE1A Time : 0.0 sec. user=mdettweiler [2012-01-19 18:09:41] 975*2^1001991-1 is not prime. Res64: 51A0202B827CE878 Time : 0.0 sec. user=mdettweiler [2012-01-19 18:10:46] 755*2^1001992-1 is not prime. Res64: 6869DF54C18D945B Time : 0.0 sec. user=mdettweiler [2012-01-19 18:10:47] 869*2^1001992-1 is not prime. Res64: D6F1655217134BAD Time : 0.0 sec. user=mdettweiler [2012-01-19 18:13:07] 675*2^1001993-1 is not prime. Res64: C134E72AB77D5DDE Time : 0.0 sec. user=mdettweiler [2012-01-19 18:13:07] 705*2^1001993-1 is not prime. Res64: 4EB42DD160058A5D Time : 0.0 sec. user=mdettweiler [2012-01-19 18:24:35] 727*2^1001993-1 is not prime. Res64: 429425981C536ADF Time : 0.0 sec. user=mdettweiler [2012-01-19 18:24:36] 741*2^1001993-1 is not prime. Res64: 15D21F51EE534A51 Time : 0.0 sec. user=mdettweiler [2012-01-19 18:30:44] 615*2^1001994-1 is not prime. Res64: 94CEE3385345C831 Time : 0.0 sec. user=mdettweiler [2012-01-19 18:30:44] 633*2^1001994-1 is not prime. Res64: 9910BC91E5984760 Time : 0.0 sec. user=mdettweiler [2012-01-19 18:31:46] 925*2^1001993-1 is not prime. Res64: DA38E5CEADF9A185 Time : 0.0 sec. user=mdettweiler [2012-01-19 18:31:46] 937*2^1001993-1 is not prime. Res64: 6BD3CC9F008F412F Time : 0.0 sec. user=mdettweiler [2012-01-19 18:33:08] 663*2^1001994-1 is not prime. Res64: 07BEC5C5D76D9AA6 Time : 0.0 sec. user=mdettweiler [2012-01-19 18:33:08] 741*2^1001994-1 is not prime. Res64: A59D16BA3E3987C9 Time : 0.0 sec. user=mdettweiler [2012-01-19 18:44:32] 755*2^1001994-1 is not prime. Res64: 4935EDAA46326CFB Time : 0.0 sec. user=mdettweiler [2012-01-19 18:44:32] 803*2^1001994-1 is not prime. Res64: 82620F4E2CC0756C Time : 0.0 sec. user=mdettweiler [2012-01-19 18:46:02] 665*2^1001990-1 is not prime. Res64: 7105E0D409CF59A4 Time : 0.0 sec. user=mdettweiler [2012-01-19 18:46:02] 675*2^1001990-1 is not prime. Res64: 7E3409181009F149 Time : 0.0 sec. user=mdettweiler [2012-01-19 18:50:45] 837*2^1001994-1 is not prime. Res64: 59A0349A01FC217B Time : 0.0 sec. user=mdettweiler [2012-01-19 18:50:45] 873*2^1001994-1 is not prime. Res64: 71F704DF5C43CC06 Time : 0.0 sec. user=mdettweiler [2012-01-19 18:51:42] 905*2^1001994-1 is not prime. Res64: 10E97A49AF3F6014 Time : 0.0 sec. user=mdettweiler [2012-01-19 18:51:42] 915*2^1001994-1 is not prime. Res64: 97864C74C1A093E7 Time : 0.0 sec. user=mdettweiler [2012-01-19 18:55:22] 993*2^1001994-1 is not prime. Res64: E45F35B8B49750D4 Time : 0.0 sec. user=mdettweiler [2012-01-19 18:55:22] 691*2^1001995-1 is not prime. Res64: C944CD791FB86E60 Time : 0.0 sec. user=mdettweiler [2012-01-19 19:04:25] 715*2^1001995-1 is not prime. Res64: 27CA95763BADFCE4 Time : 0.0 sec. user=mdettweiler [2012-01-19 19:04:26] 733*2^1001995-1 is not prime. Res64: D6186F6BFE040C76 Time : 0.0 sec. user=mdettweiler [2012-01-19 19:10:38] 873*2^1001995-1 is not prime. Res64: F26E5E4ABE4FCEBE Time : 0.0 sec. user=mdettweiler [2012-01-19 19:10:40] 885*2^1001995-1 is not prime. Res64: 7CD2EC98805E0607 Time : 0.0 sec. user=mdettweiler [2012-01-19 19:11:36] 629*2^1001996-1 is not prime. Res64: 8AE80637CD7AD4BD Time : 0.0 sec. user=mdettweiler [2012-01-19 19:11:38] 893*2^1001996-1 is not prime. Res64: 14D0545DA6E413C3 Time : 0.0 sec. user=mdettweiler [2012-01-19 19:15:09] 903*2^1001996-1 is not prime. Res64: 101A3489C1DA3741 Time : 0.0 sec. user=mdettweiler [2012-01-19 19:15:10] 699*2^1001997-1 is not prime. Res64: E3D4AE987AB07F03 Time : 0.0 sec. user=mdettweiler [2012-01-19 19:24:25] 741*2^1001997-1 is not prime. Res64: 21C36C92138CBC33 Time : 0.0 sec. user=mdettweiler [2012-01-19 19:24:26] 747*2^1001997-1 is not prime. Res64: E90FF28858DFE64F Time : 0.0 sec. user=mdettweiler [2012-01-19 19:30:38] 765*2^1001997-1 is not prime. Res64: 1C2D8E165ADA8B84 Time : 0.0 sec. user=mdettweiler [2012-01-19 19:30:38] 781*2^1001997-1 is not prime. Res64: 2DE6542D13C47A3B Time : 0.0 sec. user=mdettweiler [2012-01-19 19:31:45] 831*2^1001997-1 is not prime. Res64: 8AFF9700915DD720 Time : 0.0 sec. user=mdettweiler [2012-01-19 19:31:45] 885*2^1001997-1 is not prime. Res64: A0FF45BC56B4596A Time : 0.0 sec. user=mdettweiler [2012-01-19 19:37:21] 919*2^1001997-1 is not prime. Res64: 920004F3B0E4DCF2 Time : 0.0 sec. user=mdettweiler [2012-01-19 19:37:21] 979*2^1001997-1 is not prime. Res64: 30C9238BEF156084 Time : 0.0 sec. user=mdettweiler [2012-01-19 19:44:22] 681*2^1001998-1 is not prime. Res64: 704D2D92F6D679DE Time : 0.0 sec. user=mdettweiler [2012-01-19 19:44:22] 915*2^1001998-1 is not prime. Res64: 878D88F57CC54599 Time : 0.0 sec. user=mdettweiler [2012-01-19 19:51:45] 759*2^1001999-1 is not prime. Res64: FADB8FAF7179299A Time : 0.0 sec. user=mdettweiler [2012-01-19 19:51:45] 771*2^1001999-1 is not prime. Res64: CBD8F4A5D133FDA7 Time : 0.0 sec. user=mdettweiler [2012-01-19 19:55:14] 971*2^1001998-1 is not prime. Res64: 6A718C1B8A0ACA30 Time : 0.0 sec. user=mdettweiler [2012-01-19 19:55:15] 1001*2^1001998-1 is not prime. Res64: AB7196975B26730D Time : 0.0 sec. user=mdettweiler [2012-01-19 19:57:03] 735*2^1001986-1 is not prime. Res64: C6012C1746F485A7 Time : 0.0 sec. user=mdettweiler [2012-01-19 19:57:17] 843*2^1001999-1 is not prime. Res64: B3E97899312EACCD Time : 0.0 sec. user=mdettweiler [2012-01-19 19:57:17] 883*2^1001999-1 is not prime. Res64: 0565DABEA3683834 Time : 0.0 sec. user=mdettweiler [2012-01-19 20:00:00] 759*2^1001995-1 is not prime. Res64: 566D806E4C733F48 Time : 0.0 sec. user=mdettweiler [2012-01-19 20:00:00] 849*2^1001995-1 is not prime. Res64: E93B2F9A6762DFFB Time : 0.0 sec. user=mdettweiler [2012-01-19 20:09:04] 969*2^1001999-1 is not prime. Res64: CCB3FC980050B259 Time : 0.0 sec. user=mdettweiler [2012-01-19 20:09:05] 979*2^1001999-1 is not prime. Res64: F9AF934D3C32CEC8 Time : 0.0 sec. user=mdettweiler [2012-01-19 20:12:03] 635*2^1002000-1 is not prime. Res64: 6462D0710E299ADD Time : 0.0 sec. user=mdettweiler [2012-01-19 20:12:04] 665*2^1002000-1 is not prime. Res64: C2C5761F3CEEFF8B Time : 0.0 sec. user=mdettweiler [2012-01-19 20:15:28] 759*2^1002000-1 is not prime. Res64: 8BD5C168119D031B Time : 0.0 sec. user=mdettweiler [2012-01-19 20:15:28] 773*2^1002000-1 is not prime. Res64: E7AC8022C97A2BA1 Time : 0.0 sec. user=mdettweiler [2012-01-19 20:19:45] 959*2^1002000-1 is not prime. Res64: 4CBD74816C4B1EB2 Time : 0.0 sec. user=mdettweiler [2012-01-19 20:19:45] 619*2^1002001-1 is not prime. Res64: FA475E8E8CBECE3E Time : 0.0 sec. user=mdettweiler [2012-01-19 20:31:30] 889*2^1002001-1 is not prime. Res64: 005FD3190A9C2BC3 Time : 0.0 sec. user=mdettweiler [2012-01-19 20:31:30] 939*2^1002001-1 is not prime. Res64: EA0B80BC90702F6E Time : 0.0 sec. user=mdettweiler [2012-01-19 20:34:38] 955*2^1002001-1 is not prime. Res64: FB0F4F2576BAA844 Time : 0.0 sec. user=mdettweiler [2012-01-19 20:34:39] 603*2^1002002-1 is not prime. Res64: D344C25AEB93CBB3 Time : 0.0 sec. user=mdettweiler [2012-01-19 20:35:32] 617*2^1002002-1 is not prime. Res64: 60E363BCFB939337 Time : 0.0 sec. user=mdettweiler [2012-01-19 20:35:32] 645*2^1002002-1 is not prime. Res64: AB5661B94C71DF38 Time : 0.0 sec. user=mdettweiler [2012-01-19 20:39:40] 705*2^1002002-1 is not prime. Res64: A7756D90D785C0C8 Time : 0.0 sec. user=mdettweiler [2012-01-19 20:39:40] 753*2^1002002-1 is not prime. Res64: 2B4DBF5EA0FCE7C0 Time : 0.0 sec. user=mdettweiler [2012-01-19 20:40:53] 987*2^1001989-1 is not prime. Res64: E3A0032F728ADE54 Time : 0.0 sec. user=mdettweiler [2012-01-19 20:51:50] 755*2^1002002-1 is not prime. Res64: 7ADFD7FDB6BB1522 Time : 0.0 sec. user=mdettweiler [2012-01-19 20:51:50] 785*2^1002002-1 is not prime. Res64: 85C038981E111553 Time : 0.0 sec. user=mdettweiler [2012-01-19 20:54:35] 827*2^1002002-1 is not prime. Res64: 9D83D1764E257FF1 Time : 0.0 sec. user=mdettweiler [2012-01-19 20:54:36] 903*2^1002002-1 is not prime. Res64: 6C3D0FD3D1956104 Time : 0.0 sec. user=mdettweiler [2012-01-19 20:55:29] 663*2^1002003-1 is not prime. Res64: 374E8113A23EA458 Time : 0.0 sec. user=mdettweiler [2012-01-19 20:55:29] 685*2^1002003-1 is not prime. Res64: D60DC0714751337C Time : 0.0 sec. user=mdettweiler [2012-01-19 21:01:57] 753*2^1002003-1 is not prime. Res64: 480123E6A6B4B04A Time : 0.0 sec. user=mdettweiler [2012-01-19 21:01:58] 951*2^1002003-1 is not prime. Res64: E33CADEEEDEED656 Time : 0.0 sec. user=mdettweiler [2012-01-19 21:15:34] 757*2^1002005-1 is not prime. Res64: D68A1CB843371A9B Time : 0.0 sec. user=mdettweiler [2012-01-19 21:15:34] 693*2^1002006-1 is not prime. Res64: 3A7F5F4933E92E2C Time : 0.0 sec. user=mdettweiler [2012-01-19 21:16:27] 929*2^1002004-1 is not prime. Res64: 7B008E034936153A Time : 0.0 sec. user=mdettweiler [2012-01-19 21:16:27] 947*2^1002004-1 is not prime. Res64: C34C1177CD857930 Time : 0.0 sec. user=mdettweiler [2012-01-19 21:19:02] 887*2^1001992-1 is not prime. Res64: D21AEE4DE399CF82 Time : 0.0 sec. user=mdettweiler [2012-01-19 21:19:02] 939*2^1001992-1 is not prime. Res64: 6695C68186395280 Time : 0.0 sec. user=mdettweiler [2012-01-19 21:19:13] 959*2^1002004-1 is not prime. Res64: 38F58AE0A267B454 Time : 0.0 sec. user=mdettweiler [2012-01-19 21:19:13] 989*2^1002004-1 is not prime. Res64: F17A81ABD5800C4A Time : 0.0 sec. user=mdettweiler [2012-01-19 21:22:00] 695*2^1002006-1 is not prime. Res64: B3CB4BD9C728AE8F Time : 0.0 sec. user=mdettweiler [2012-01-19 21:22:00] 713*2^1002006-1 is not prime. Res64: 2029103FD7DC0DDA Time : 0.0 sec. user=mdettweiler [2012-01-19 21:24:40] 705*2^1002001-1 is not prime. Res64: 782DC608C427D006 Time : 0.0 sec. user=mdettweiler [2012-01-19 21:24:40] 805*2^1002001-1 is not prime. Res64: 1AFFF7ABDB0D4705 Time : 0.0 sec. user=mdettweiler [2012-01-19 21:24:53] 795*2^1002000-1 is not prime. Res64: 3F2FCB5EC999AAA4 Time : 0.0 sec. user=mdettweiler [2012-01-19 21:24:54] 875*2^1002000-1 is not prime. Res64: 22C137317C987D82 Time : 0.0 sec. user=mdettweiler [2012-01-19 21:35:25] 765*2^1002006-1 is not prime. Res64: A8BF02A544C0965D Time : 0.0 sec. user=mdettweiler [2012-01-19 21:35:25] 833*2^1002006-1 is not prime. Res64: 3CE42C70980E362D Time : 0.0 sec. user=mdettweiler [2012-01-19 21:36:16] 603*2^1002007-1 is not prime. Res64: 383778FBF11EF032 Time : 0.0 sec. user=mdettweiler [2012-01-19 21:36:16] 615*2^1002007-1 is not prime. Res64: 5458FD28E58F476F Time : 0.0 sec. user=mdettweiler [2012-01-19 21:39:06] 693*2^1002007-1 is not prime. Res64: F51940AC809BA6D1 Time : 0.0 sec. user=mdettweiler [2012-01-19 21:39:07] 763*2^1002007-1 is not prime. Res64: 33A00E91A36F78B4 Time : 0.0 sec. user=mdettweiler [2012-01-19 21:44:09] 925*2^1002007-1 is not prime. Res64: 7328D262DAC63A19 Time : 0.0 sec. user=mdettweiler [2012-01-19 21:44:09] 933*2^1002007-1 is not prime. Res64: D3F7C06E7B073841 Time : 0.0 sec. user=mdettweiler [2012-01-19 21:56:09] 625*2^1002009-1 is not prime. Res64: A0A7E2DA8E529D57 Time : 0.0 sec. user=mdettweiler [2012-01-19 21:56:09] 627*2^1002009-1 is not prime. Res64: 47B9F1BB99EE9CFD Time : 0.0 sec. user=mdettweiler [2012-01-19 21:58:59] 705*2^1002009-1 is not prime. Res64: 767F2AD3DF1C24EF Time : 0.0 sec. user=mdettweiler [2012-01-19 21:58:59] 765*2^1002009-1 is not prime. Res64: AE880C30B9BAD30C Time : 0.0 sec. user=mdettweiler [2012-01-19 21:59:52] 957*2^1002008-1 is not prime. Res64: 473041A6A373D028 Time : 0.0 sec. user=mdettweiler [2012-01-19 21:59:53] 969*2^1002008-1 is not prime. Res64: 675B4FFCA36880EE Time : 0.0 sec. user=mdettweiler [2012-01-19 22:04:00] 789*2^1002009-1 is not prime. Res64: DD51F1798212C468 Time : 0.0 sec. user=mdettweiler [2012-01-19 22:04:01] 835*2^1002009-1 is not prime. Res64: 19613BF5C33BE106 Time : 0.0 sec. user=mdettweiler [2012-01-19 22:07:10] 675*2^1002004-1 is not prime. Res64: 820BE6FA5799F986 Time : 0.0 sec. user=mdettweiler [2012-01-19 22:07:11] 687*2^1002004-1 is not prime. Res64: AE078C191F97D44E Time : 0.0 sec. user=mdettweiler [2012-01-19 22:16:04] 861*2^1002009-1 is not prime. Res64: C5905BDF88A1BB0F Time : 0.0 sec. user=mdettweiler [2012-01-19 22:16:05] 877*2^1002009-1 is not prime. Res64: 70ABA91CE229B400 Time : 0.0 sec. user=mdettweiler [2012-01-19 22:19:46] 657*2^1002010-1 is not prime. Res64: 501572BB7FF463A2 Time : 0.0 sec. user=mdettweiler [2012-01-19 22:19:46] 675*2^1002010-1 is not prime. Res64: E235FE95DCB625E5 Time : 0.0 sec. user=mdettweiler [2012-01-19 22:21:07] 955*2^1002009-1 is not prime. Res64: 938A6D3A35A8E6BE Time : 0.0 sec. user=mdettweiler [2012-01-19 22:21:07] 611*2^1002010-1 is not prime. Res64: 35AFEF88CD07A0D7 Time : 0.0 sec. user=mdettweiler [2012-01-19 22:23:53] 681*2^1002010-1 is not prime. Res64: A128E9F14C8E613A Time : 0.0 sec. user=mdettweiler [2012-01-19 22:23:54] 831*2^1002010-1 is not prime. Res64: 5CAFDE558F013491 Time : 0.0 sec. user=mdettweiler [2012-01-19 22:35:56] 783*2^1002011-1 is not prime. Res64: 27EC9FDB0438F89E Time : 0.0 sec. user=mdettweiler [2012-01-19 22:35:57] 789*2^1002011-1 is not prime. Res64: 8905CAAFB96299B9 Time : 0.0 sec. user=mdettweiler [2012-01-19 22:41:04] 623*2^1002012-1 is not prime. Res64: 756AD95BCD95B79A Time : 0.0 sec. user=mdettweiler [2012-01-19 22:41:05] 689*2^1002012-1 is not prime. Res64: 6378CB26DF447287 Time : 0.0 sec. user=mdettweiler [2012-01-19 22:42:02] 921*2^1002011-1 is not prime. Res64: D025206695E4C767 Time : 0.0 sec. user=mdettweiler [2012-01-19 22:42:02] 949*2^1002011-1 is not prime. Res64: 6DBE9AB879373A74 Time : 0.0 sec. user=mdettweiler [2012-01-19 22:43:56] 725*2^1002012-1 is not prime. Res64: D9DBBA6A4DBDE664 Time : 0.0 sec. user=mdettweiler [2012-01-19 22:43:56] 765*2^1002012-1 is not prime. Res64: 282D821EEC79D7D7 Time : 0.0 sec. user=mdettweiler [2012-01-19 22:45:56] 619*2^1002007-1 is not prime. Res64: 243BCCED6947F2AA Time : 0.0 sec. user=mdettweiler [2012-01-19 22:45:56] 681*2^1002007-1 is not prime. Res64: 985F89285B9ADCE3 Time : 0.0 sec. user=mdettweiler [2012-01-19 22:49:43] 617*2^1002008-1 is not prime. Res64: 98D94FBBAD38BFD7 Time : 0.0 sec. user=mdettweiler [2012-01-19 22:49:43] 659*2^1002008-1 is not prime. Res64: 6291FB68D4685D64 Time : 0.0 sec. user=mdettweiler [2012-01-19 22:50:45] 713*2^1002008-1 is not prime. Res64: C524BD5225F896F3 Time : 0.0 sec. user=mdettweiler [2012-01-19 22:50:45] 825*2^1002008-1 is not prime. Res64: 3385453183145DC4 Time : 0.0 sec. user=mdettweiler [2012-01-19 22:56:28] 825*2^1002012-1 is not prime. Res64: 0EA3116A497436AA Time : 0.0 sec. user=mdettweiler [2012-01-19 22:56:28] 903*2^1002012-1 is not prime. Res64: C56EAB4DDB5D86E5 Time : 0.0 sec. user=mdettweiler [2012-01-19 23:02:33] 685*2^1002013-1 is not prime. Res64: FAEC30DC188C9E42 Time : 0.0 sec. user=mdettweiler [2012-01-19 23:02:34] 751*2^1002013-1 is not prime. Res64: D132673DE169F18F Time : 0.0 sec. user=mdettweiler [2012-01-19 23:03:39] 965*2^1002012-1 is not prime. Res64: CDDB527A2E78F684 Time : 0.0 sec. user=mdettweiler [2012-01-19 23:03:40] 675*2^1002013-1 is not prime. Res64: 7F67FC5233485C1D Time : 0.0 sec. user=mdettweiler [2012-01-19 23:04:17] 769*2^1002013-1 is not prime. Res64: 5DCCACB109AC0664 Time : 0.0 sec. user=mdettweiler [2012-01-19 23:04:18] 915*2^1002013-1 is not prime. Res64: C375AE177A8B2215 Time : 0.0 sec. user=mdettweiler [2012-01-19 23:16:33] 633*2^1002015-1 is not prime. Res64: A00557DD0B9D3199 Time : 0.0 sec. user=mdettweiler [2012-01-19 23:16:33] 651*2^1002015-1 is not prime. Res64: E6D4B75748C1B0E2 Time : 0.0 sec. user=mdettweiler [2012-01-19 23:22:29] 691*2^1002015-1 is not prime. Res64: 00A83327311179D2 Time : 0.0 sec. user=mdettweiler [2012-01-19 23:22:29] 723*2^1002015-1 is not prime. Res64: 8FF979F0615AFDC9 Time : 0.0 sec. user=mdettweiler [2012-01-19 23:23:32] 765*2^1002015-1 is not prime. Res64: 714AF811881B21D8 Time : 0.0 sec. user=mdettweiler [2012-01-19 23:23:33] 789*2^1002015-1 is not prime. Res64: BF864BBF96B93B1E Time : 0.0 sec. user=mdettweiler [2012-01-19 23:24:12] 885*2^1002015-1 is not prime. Res64: 59AB6700739FDF2E Time : 0.0 sec. user=mdettweiler [2012-01-19 23:24:12] 717*2^1002016-1 is not prime. Res64: 3E478767EC9D942E Time : 0.0 sec. user=mdettweiler [2012-01-19 23:38:31] 923*2^1002016-1 is not prime. Res64: 9BEBFB39EEEDFE4C Time : 0.0 sec. user=mdettweiler [2012-01-19 23:38:32] 939*2^1002016-1 is not prime. Res64: 509263CB9D2CE207 Time : 0.0 sec. user=mdettweiler [2012-01-19 23:43:17] 637*2^1002017-1 is not prime. Res64: 02C26E369CF9AB10 Time : 0.0 sec. user=mdettweiler [2012-01-19 23:43:17] 691*2^1002017-1 is not prime. Res64: 2BFB236A51EAA685 Time : 0.0 sec. user=mdettweiler [2012-01-19 23:43:29] 923*2^1002010-1 is not prime. Res64: 7144F803F1A48AD5 Time : 0.0 sec. user=mdettweiler [2012-01-19 23:43:29] 933*2^1002010-1 is not prime. Res64: 23D51C38C36AEC75 Time : 0.0 sec. user=mdettweiler [2012-01-19 23:43:59] 729*2^1002017-1 is not prime. Res64: 34CB118C9EEDBB2A Time : 0.0 sec. user=mdettweiler [2012-01-19 23:43:59] 747*2^1002017-1 is not prime. Res64: 3B7F11FCAE1D3226 Time : 0.0 sec. user=mdettweiler [2012-01-19 23:44:30] 999*2^1002016-1 is not prime. Res64: 88C60603D60C139D Time : 0.0 sec. user=mdettweiler [2012-01-19 23:44:31] 601*2^1002017-1 is not prime. Res64: 2DA2D5A68B686D48 Time : 0.0 sec. user=mdettweiler [2012-01-19 23:58:17] 847*2^1002017-1 is not prime. Res64: 5FDD1BFC85CCC234 Time : 0.0 sec. user=mdettweiler [2012-01-19 23:58:18] 861*2^1002017-1 is not prime. Res64: 1C16C38E84F79718 Time : 0.0 sec.