user=mdettweiler [2013-09-18 00:03:56] 985*2^1253567-1 is not prime. Res64: D7E5D4C08AE1967F Time : 0.0 sec. user=mdettweiler [2013-09-18 00:03:57] 665*2^1253568-1 is not prime. Res64: 2890A8B89FA38325 Time : 0.0 sec. user=mdettweiler [2013-09-18 00:11:38] 669*2^1253568-1 is not prime. Res64: 9EB6588396138838 Time : 0.0 sec. user=mdettweiler [2013-09-18 00:11:39] 723*2^1253568-1 is not prime. Res64: 31FABC51CC1A8848 Time : 0.0 sec. user=mdettweiler [2013-09-18 00:18:21] 725*2^1253568-1 is not prime. Res64: 18C787803D731779 Time : 0.0 sec. user=mdettweiler [2013-09-18 00:18:21] 753*2^1253568-1 is not prime. Res64: 5023D7E3056FD566 Time : 0.0 sec. user=mdettweiler [2013-09-18 00:19:23] 759*2^1253568-1 is not prime. Res64: B53F2DF354DBA4E8 Time : 0.0 sec. user=mdettweiler [2013-09-18 00:19:24] 999*2^1253568-1 is not prime. Res64: 4C074F5AA83CCF79 Time : 0.0 sec. user=mdettweiler [2013-09-18 00:23:26] 801*2^1253569-1 is not prime. Res64: 3856556EE85E2BFE Time : 0.0 sec. user=mdettweiler [2013-09-18 00:23:27] 807*2^1253569-1 is not prime. Res64: A7F59187C0125788 Time : 0.0 sec. user=mdettweiler [2013-09-18 00:32:12] 831*2^1253569-1 is not prime. Res64: ACF8D987205D0CD2 Time : 0.0 sec. user=mdettweiler [2013-09-18 00:32:12] 885*2^1253569-1 is not prime. Res64: 698F815863E3ED49 Time : 0.0 sec. user=mdettweiler [2013-09-18 00:39:47] 897*2^1253569-1 is not prime. Res64: 540FE29EBF814032 Time : 0.0 sec. user=mdettweiler [2013-09-18 00:39:47] 951*2^1253569-1 is not prime. Res64: 3D45D2AE208FF90A Time : 0.0 sec. user=mdettweiler [2013-09-18 00:40:48] 975*2^1253569-1 is not prime. Res64: 78C3B87933AF26FA Time : 0.0 sec. user=mdettweiler [2013-09-18 00:40:48] 987*2^1253569-1 is not prime. Res64: 3B9E8FDD561058BE Time : 0.0 sec. user=mdettweiler [2013-09-18 00:42:58] 741*2^1253570-1 is not prime. Res64: F5BDAB6D718CD2C1 Time : 0.0 sec. user=mdettweiler [2013-09-18 00:42:59] 831*2^1253570-1 is not prime. Res64: A76E3666EFDB9796 Time : 0.0 sec. user=mdettweiler [2013-09-18 00:52:37] 851*2^1253570-1 is not prime. Res64: A2D27E0CD68BC0F5 Time : 0.0 sec. user=mdettweiler [2013-09-18 00:52:37] 885*2^1253570-1 is not prime. Res64: 64C3FBC0DF0DECF9 Time : 0.0 sec. user=mdettweiler [2013-09-18 00:59:21] 609*2^1253571-1 is not prime. Res64: 934214CA29C1F144 Time : 0.0 sec. user=mdettweiler [2013-09-18 00:59:21] 619*2^1253571-1 is not prime. Res64: A641104226B2BD52 Time : 0.0 sec. user=mdettweiler [2013-09-18 01:00:15] 675*2^1253571-1 is not prime. Res64: FB5CCA87ED9633DC Time : 0.0 sec. user=mdettweiler [2013-09-18 01:00:16] 679*2^1253571-1 is not prime. Res64: 2C58F6D8D4472E89 Time : 0.0 sec. user=mdettweiler [2013-09-18 01:03:18] 745*2^1253571-1 is not prime. Res64: 402FA15889D0911D Time : 0.0 sec. user=mdettweiler [2013-09-18 01:03:19] 945*2^1253571-1 is not prime. Res64: A4E4AEFEC3A800F5 Time : 0.0 sec. user=mdettweiler [2013-09-18 01:12:10] 615*2^1253572-1 is not prime. Res64: 9667E33150F49115 Time : 0.0 sec. user=mdettweiler [2013-09-18 01:12:10] 623*2^1253572-1 is not prime. Res64: 6D9F586763C607B2 Time : 0.0 sec. user=mdettweiler [2013-09-18 01:18:53] 653*2^1253572-1 is not prime. Res64: 0A9C8686845798E6 Time : 0.0 sec. user=mdettweiler [2013-09-18 01:18:53] 717*2^1253572-1 is not prime. Res64: 1CCE78E3D92CE128 Time : 0.0 sec. user=mdettweiler [2013-09-18 01:20:42] 855*2^1253572-1 is not prime. Res64: 49BE603487629C28 Time : 0.0 sec. user=mdettweiler [2013-09-18 01:20:42] 929*2^1253572-1 is not prime. Res64: B6ECF643485018A5 Time : 0.0 sec. user=mdettweiler [2013-09-18 01:22:56] 669*2^1253573-1 is not prime. Res64: 331E4495AB242179 Time : 0.0 sec. user=mdettweiler [2013-09-18 01:22:56] 795*2^1253573-1 is not prime. Res64: 6E6D1B70B18B5281 Time : 0.0 sec. user=mdettweiler [2013-09-18 01:32:41] 855*2^1253573-1 is not prime. Res64: 65D50DC04104461F Time : 0.0 sec. user=mdettweiler [2013-09-18 01:32:42] 879*2^1253573-1 is not prime. Res64: E993CB0D3ACF909B Time : 0.0 sec. user=mdettweiler [2013-09-18 01:40:43] 641*2^1253574-1 is not prime. Res64: 51CA300CCA7AEB31 Time : 0.0 sec. user=mdettweiler [2013-09-18 01:40:43] 651*2^1253574-1 is not prime. Res64: 3FDDE16BAD224B50 Time : 0.0 sec. user=mdettweiler [2013-09-18 01:40:48] 915*2^1253573-1 is not prime. Res64: 5689A8A835DA10A8 Time : 0.0 sec. user=mdettweiler [2013-09-18 01:40:49] 985*2^1253573-1 is not prime. Res64: CE3948F7A226EE2D Time : 0.0 sec. user=mdettweiler [2013-09-18 01:42:56] 773*2^1253574-1 is not prime. Res64: DA48EB73BD7D10D0 Time : 0.0 sec. user=mdettweiler [2013-09-18 01:42:56] 791*2^1253574-1 is not prime. Res64: 4A829A080CA46AEC Time : 0.0 sec. user=mdettweiler [2013-09-18 01:54:50] 863*2^1253574-1 is not prime. Res64: 3EC25240B666B828 Time : 0.0 sec. user=mdettweiler [2013-09-18 01:54:50] 917*2^1253574-1 is not prime. Res64: 7BA0897B7080CB5E Time : 0.0 sec. user=mdettweiler [2013-09-18 02:00:47] 639*2^1253575-1 is not prime. Res64: DF0A7AD56645F519 Time : 0.0 sec. user=mdettweiler [2013-09-18 02:00:48] 651*2^1253575-1 is not prime. Res64: E84F7BED56B8AC28 Time : 0.0 sec. user=mdettweiler [2013-09-18 02:01:37] 993*2^1253574-1 is not prime. Res64: 5EFB983BC0181DA5 Time : 0.0 sec. user=mdettweiler [2013-09-18 02:01:38] 603*2^1253575-1 is not prime. Res64: 3E771EBA77C02492 Time : 0.0 sec. user=mdettweiler [2013-09-18 02:02:46] 661*2^1253575-1 is not prime. Res64: EDB2006DDCD5AFBF Time : 0.0 sec. user=mdettweiler [2013-09-18 02:02:47] 723*2^1253575-1 is not prime. Res64: 1820D6680A57750F Time : 0.0 sec. user=mdettweiler [2013-09-18 02:14:15] 735*2^1253575-1 is not prime. Res64: 96BFC31FF62CC04F Time : 0.0 sec. user=mdettweiler [2013-09-18 02:14:15] 763*2^1253575-1 is not prime. Res64: 33A57F38222D9A81 Time : 0.0 sec. user=mdettweiler [2013-09-18 02:21:09] 793*2^1253575-1 is not prime. Res64: 001BF9678D0A6CD4 Time : 0.0 sec. user=mdettweiler [2013-09-18 02:21:10] 883*2^1253575-1 is not prime. Res64: CDF6AD624225DCE9 Time : 0.0 sec. user=mdettweiler [2013-09-18 02:21:36] 617*2^1253576-1 is not prime. Res64: 9057CC4CAC0EF2C6 Time : 0.0 sec. user=mdettweiler [2013-09-18 02:21:36] 635*2^1253576-1 is not prime. Res64: 3F17E98A3FAF064A Time : 0.0 sec. user=mdettweiler [2013-09-18 02:22:13] 857*2^1253576-1 is not prime. Res64: 4A6167332A1A115E Time : 0.0 sec. user=mdettweiler [2013-09-18 02:22:13] 609*2^1253577-1 is not prime. Res64: BF66600E0D58E0B9 Time : 0.0 sec. user=mdettweiler [2013-09-18 02:33:52] 675*2^1253577-1 is not prime. Res64: BE638A3B6A05F73D Time : 0.0 sec. user=mdettweiler [2013-09-18 02:33:52] 681*2^1253577-1 is not prime. Res64: F8B92DE5776A5DB3 Time : 0.0 sec. user=mdettweiler [2013-09-18 02:41:41] 807*2^1253577-1 is not prime. Res64: B99285F755458FB5 Time : 0.0 sec. user=mdettweiler [2013-09-18 02:41:42] 895*2^1253577-1 is not prime. Res64: B9BCD44A277BED71 Time : 0.0 sec. user=mdettweiler [2013-09-18 02:43:05] 901*2^1253577-1 is not prime. Res64: 4D5B953BE06D1380 Time : 0.0 sec. user=mdettweiler [2013-09-18 02:43:05] 915*2^1253577-1 is not prime. Res64: 6A9D2714539D93E9 Time : 0.0 sec. user=mdettweiler [2013-09-18 02:43:36] 919*2^1253577-1 is not prime. Res64: 726F7170CF2D12D6 Time : 0.0 sec. user=mdettweiler [2013-09-18 02:43:38] 955*2^1253577-1 is not prime. Res64: E40F5CCBEEA499C9 Time : 0.0 sec. user=mdettweiler [2013-09-18 02:54:22] 857*2^1253578-1 is not prime. Res64: B062AC671642EFE8 Time : 0.0 sec. user=mdettweiler [2013-09-18 02:54:23] 941*2^1253578-1 is not prime. Res64: 010A24CDF9ED0207 Time : 0.0 sec. user=mdettweiler [2013-09-18 03:02:43] 685*2^1253579-1 is not prime. Res64: 8309F4145E8BF3DF Time : 0.0 sec. user=mdettweiler [2013-09-18 03:02:44] 703*2^1253579-1 is not prime. Res64: DE3F43D57866341F Time : 0.0 sec. user=mdettweiler [2013-09-18 03:03:01] 705*2^1253579-1 is not prime. Res64: FFADC18D7F6CCE5E Time : 0.0 sec. user=mdettweiler [2013-09-18 03:03:02] 735*2^1253579-1 is not prime. Res64: 843F972EFF292B35 Time : 0.0 sec. user=mdettweiler [2013-09-18 03:03:08] 987*2^1253578-1 is not prime. Res64: 0A87D81CE72B156C Time : 0.0 sec. user=mdettweiler [2013-09-18 03:03:08] 993*2^1253578-1 is not prime. Res64: D95F2E59F8B7B58F Time : 0.0 sec. user=mdettweiler [2013-09-18 03:13:54] 745*2^1253579-1 is not prime. Res64: 53254AEB15D4FA44 Time : 0.0 sec. user=mdettweiler [2013-09-18 03:13:54] 771*2^1253579-1 is not prime. Res64: 6043023BC64BDC09 Time : 0.0 sec. user=mdettweiler [2013-09-18 03:22:22] 811*2^1253579-1 is not prime. Res64: 248DA0B709F7041B Time : 0.0 sec. user=mdettweiler [2013-09-18 03:22:22] 853*2^1253579-1 is not prime. Res64: AF6D35C88D4A0C58 Time : 0.0 sec. user=mdettweiler [2013-09-18 03:22:43] 669*2^1253580-1 is not prime. Res64: 416C337A700DBDE1 Time : 0.0 sec. user=mdettweiler [2013-09-18 03:22:43] 735*2^1253580-1 is not prime. Res64: D43A9A9E18605DB8 Time : 0.0 sec. user=mdettweiler [2013-09-18 03:23:30] 861*2^1253579-1 is not prime. Res64: 13111DC699082882 Time : 0.0 sec. user=mdettweiler [2013-09-18 03:23:31] 909*2^1253579-1 is not prime. Res64: 97E41DBF64138A5B Time : 0.0 sec. user=mdettweiler [2013-09-18 03:35:24] 933*2^1253580-1 is not prime. Res64: F2C63E58C2619E7A Time : 0.0 sec. user=mdettweiler [2013-09-18 03:35:24] 975*2^1253580-1 is not prime. Res64: 096DB996DBA79CD6 Time : 0.0 sec. user=mdettweiler [2013-09-18 03:42:01] 639*2^1253581-1 is not prime. Res64: D35C04874CF8E226 Time : 0.0 sec. user=mdettweiler [2013-09-18 03:42:01] 675*2^1253581-1 is not prime. Res64: FB275AADDA0B58C0 Time : 0.0 sec. user=mdettweiler [2013-09-18 03:44:08] 867*2^1253581-1 is not prime. Res64: EDD5E920564F6190 Time : 0.0 sec. user=mdettweiler [2013-09-18 03:44:09] 895*2^1253581-1 is not prime. Res64: 54495DBE04A30CD5 Time : 0.0 sec. user=mdettweiler [2013-09-18 03:45:00] 925*2^1253581-1 is not prime. Res64: 52E1F11CE14535CC Time : 0.0 sec. user=mdettweiler [2013-09-18 03:45:00] 987*2^1253581-1 is not prime. Res64: 14B80C09E3B36F32 Time : 0.0 sec. user=mdettweiler [2013-09-18 03:55:53] 935*2^1253582-1 is not prime. Res64: A8EDF28A49305FA0 Time : 0.0 sec. user=mdettweiler [2013-09-18 03:55:54] 609*2^1253583-1 is not prime. Res64: CD0953B2B90A366F Time : 0.0 sec. user=mdettweiler [2013-09-18 04:01:30] 649*2^1253583-1 is not prime. Res64: 38EAAF4CBA9BCE86 Time : 0.0 sec. user=mdettweiler [2013-09-18 04:01:30] 669*2^1253583-1 is not prime. Res64: CF41F3F752C64AB0 Time : 0.0 sec. user=mdettweiler [2013-09-18 04:03:39] 781*2^1253583-1 is not prime. Res64: 8AA006877D1894D2 Time : 0.0 sec. user=mdettweiler [2013-09-18 04:03:40] 853*2^1253583-1 is not prime. Res64: 9BE542FA7B867E7A Time : 0.0 sec. user=mdettweiler [2013-09-18 04:05:21] 861*2^1253583-1 is not prime. Res64: 296B3541AAE54A0C Time : 0.0 sec. user=mdettweiler [2013-09-18 04:05:22] 973*2^1253583-1 is not prime. Res64: 41504DAF17907F9C Time : 0.0 sec. user=mdettweiler [2013-09-18 04:15:26] 615*2^1253584-1 is not prime. Res64: 44402926B6464CFF Time : 0.0 sec. user=mdettweiler [2013-09-18 04:15:26] 635*2^1253584-1 is not prime. Res64: F07EF644BE34963F Time : 0.0 sec. user=mdettweiler [2013-09-18 04:22:04] 785*2^1253584-1 is not prime. Res64: 06BA2C68646279D2 Time : 0.0 sec. user=mdettweiler [2013-09-18 04:22:05] 923*2^1253584-1 is not prime. Res64: 8A7358DA85B54937 Time : 0.0 sec. user=mdettweiler [2013-09-18 04:24:07] 947*2^1253584-1 is not prime. Res64: 10BEE68436332C57 Time : 0.0 sec. user=mdettweiler [2013-09-18 04:24:07] 721*2^1253585-1 is not prime. Res64: F04232461D3BBB9D Time : 0.0 sec. user=mdettweiler [2013-09-18 04:25:01] 777*2^1253585-1 is not prime. Res64: 6899B03637AA5B6E Time : 0.0 sec. user=mdettweiler [2013-09-18 04:25:01] 787*2^1253585-1 is not prime. Res64: 6E161656C432F44B Time : 0.0 sec. user=mdettweiler [2013-09-18 04:35:47] 855*2^1253585-1 is not prime. Res64: 04B44A05E26DDD45 Time : 0.0 sec. user=mdettweiler [2013-09-18 04:35:47] 867*2^1253585-1 is not prime. Res64: E0DBDCBACDA72722 Time : 0.0 sec. user=mdettweiler [2013-09-18 04:42:26] 987*2^1253585-1 is not prime. Res64: 41CFD376B188BBBA Time : 0.0 sec. user=mdettweiler [2013-09-18 04:42:26] 641*2^1253586-1 is not prime. Res64: 22308D325922146B Time : 0.0 sec. user=mdettweiler [2013-09-18 04:43:34] 647*2^1253586-1 is not prime. Res64: C187950DF8E720CC Time : 0.0 sec. user=mdettweiler [2013-09-18 04:43:34] 677*2^1253586-1 is not prime. Res64: 270E4E01CD0F13EB Time : 0.0 sec. user=mdettweiler [2013-09-18 04:44:32] 747*2^1253586-1 is not prime. Res64: 6C31A4332533127B Time : 0.0 sec. user=mdettweiler [2013-09-18 04:44:32] 801*2^1253586-1 is not prime. Res64: D104C20A31C957A7 Time : 0.0 sec. user=mdettweiler [2013-09-18 04:57:17] 963*2^1253586-1 is not prime. Res64: 55F2D0F1F10BDFC9 Time : 0.0 sec. user=mdettweiler [2013-09-18 04:57:18] 971*2^1253586-1 is not prime. Res64: B70288C7CD1438DD Time : 0.0 sec. user=mdettweiler [2013-09-18 05:02:55] 673*2^1253587-1 is not prime. Res64: AC17CA82ED177D90 Time : 0.0 sec. user=mdettweiler [2013-09-18 05:02:56] 939*2^1253587-1 is not prime. Res64: 7DA3B9AC1DAF0BEC Time : 0.0 sec. user=mdettweiler [2013-09-18 05:03:07] 617*2^1253588-1 is not prime. Res64: 27D63491A675B6E7 Time : 0.0 sec. user=mdettweiler [2013-09-18 05:03:09] 839*2^1253588-1 is not prime. Res64: DE65990AF211DE61 Time : 0.0 sec. user=mdettweiler [2013-09-18 05:05:03] 843*2^1253588-1 is not prime. Res64: 306C7DCCE7D85B75 Time : 0.0 sec. user=mdettweiler [2013-09-18 05:05:03] 869*2^1253588-1 is not prime. Res64: 80B39D49EFE3994F Time : 0.0 sec. user=mdettweiler [2013-09-18 05:17:38] 969*2^1253588-1 is not prime. Res64: B1B2F8346508130E Time : 0.0 sec. user=mdettweiler [2013-09-18 05:17:39] 625*2^1253589-1 is not prime. Res64: 50FC5C3D8AA00351 Time : 0.0 sec. user=mdettweiler [2013-09-18 05:22:25] 627*2^1253589-1 is not prime. Res64: 713E221A316D8C17 Time : 0.0 sec. user=mdettweiler [2013-09-18 05:22:25] 727*2^1253589-1 is not prime. Res64: 93AF0EF499853859 Time : 0.0 sec. user=mdettweiler [2013-09-18 05:22:37] 747*2^1253589-1 is not prime. Res64: 617B50691454BB25 Time : 0.0 sec. user=mdettweiler [2013-09-18 05:22:38] 781*2^1253589-1 is not prime. Res64: 5FCFD105365052C7 Time : 0.0 sec. user=mdettweiler [2013-09-18 05:24:42] 789*2^1253589-1 is not prime. Res64: 18E468BFCB8C57EF Time : 0.0 sec. user=mdettweiler [2013-09-18 05:24:42] 829*2^1253589-1 is not prime. Res64: 3265E5BA52E13B94 Time : 0.0 sec. user=mdettweiler [2013-09-18 05:38:08] 861*2^1253589-1 is not prime. Res64: E34FC5150EC6852C Time : 0.0 sec. user=mdettweiler [2013-09-18 05:38:09] 877*2^1253589-1 is not prime. Res64: 5F0DA664D3035A18 Time : 0.0 sec. user=mdettweiler [2013-09-18 05:43:16] 969*2^1253589-1 is not prime. Res64: ED5BA9411005B488 Time : 0.0 sec. user=mdettweiler [2013-09-18 05:43:17] 603*2^1253590-1 is not prime. Res64: 33137F0028E65503 Time : 0.0 sec. user=mdettweiler [2013-09-18 05:43:45] 907*2^1253589-1 is not prime. Res64: 80CA32965227D95B Time : 0.0 sec. user=mdettweiler [2013-09-18 05:43:45] 949*2^1253589-1 is not prime. Res64: BD4ACB2C0015B586 Time : 0.0 sec. user=mdettweiler [2013-09-18 05:44:20] 605*2^1253590-1 is not prime. Res64: 2BD772D097035633 Time : 0.0 sec. user=mdettweiler [2013-09-18 05:44:20] 653*2^1253590-1 is not prime. Res64: BE707734E78C4CEF Time : 0.0 sec. user=mdettweiler [2013-09-18 05:57:36] 657*2^1253590-1 is not prime. Res64: D7AD65106A1A6DBE Time : 0.0 sec. user=mdettweiler [2013-09-18 05:57:36] 677*2^1253590-1 is not prime. Res64: A3095CDB1D2E82F0 Time : 0.0 sec. user=mdettweiler [2013-09-18 06:02:46] 687*2^1253590-1 is not prime. Res64: 70C8A853F2DABC88 Time : 0.0 sec. user=mdettweiler [2013-09-18 06:02:47] 777*2^1253590-1 is not prime. Res64: 42BF6463EFE571C9 Time : 0.0 sec. user=mdettweiler [2013-09-18 06:03:18] 845*2^1253590-1 is not prime. Res64: A4A69B681C3D9329 Time : 0.0 sec. user=mdettweiler [2013-09-18 06:03:19] 861*2^1253590-1 is not prime. Res64: D6ED1B71BE3887D7 Time : 0.0 sec. user=mdettweiler [2013-09-18 06:05:41] 915*2^1253590-1 is not prime. Res64: D73EDD170B7DB4FD Time : 0.0 sec. user=mdettweiler [2013-09-18 06:05:41] 933*2^1253590-1 is not prime. Res64: FFC86C0F4FC87778 Time : 0.0 sec. user=mdettweiler [2013-09-18 06:18:07] 965*2^1253590-1 is not prime. Res64: BD9D95C043429E78 Time : 0.0 sec. user=mdettweiler [2013-09-18 06:18:08] 601*2^1253591-1 is not prime. Res64: F0A9FBE0A758B721 Time : 0.0 sec. user=mdettweiler [2013-09-18 06:22:28] 661*2^1253591-1 is not prime. Res64: C14112963D2F12D8 Time : 0.0 sec. user=mdettweiler [2013-09-18 06:22:29] 669*2^1253591-1 is not prime. Res64: 72828511624563CF Time : 0.0 sec. user=mdettweiler [2013-09-18 06:22:54] 811*2^1253591-1 is not prime. Res64: 03C0A8EC3A9756B5 Time : 0.0 sec. user=mdettweiler [2013-09-18 06:22:54] 813*2^1253591-1 is not prime. Res64: 2859E13E3895982C Time : 0.0 sec. user=mdettweiler [2013-09-18 06:26:08] 859*2^1253591-1 is not prime. Res64: 3823B7877DDDBF34 Time : 0.0 sec. user=mdettweiler [2013-09-18 06:26:09] 943*2^1253591-1 is not prime. Res64: 929CF631CF81BD75 Time : 0.0 sec. user=juhehe [2013-09-18 06:39:27] 703*2^1253591-1 is not prime. Res64: 1A9B3F6BAFB26F22 Time : 0.0 sec. user=mdettweiler [2013-09-18 06:39:30] 945*2^1253591-1 is not prime. Res64: 13FF4139040859E0 Time : 0.0 sec. user=mdettweiler [2013-09-18 06:39:31] 949*2^1253591-1 is not prime. Res64: 2B8AAAF0A1445E25 Time : 0.0 sec. user=mdettweiler [2013-09-18 06:42:30] 607*2^1253593-1 is not prime. Res64: 6F83872E8162E978 Time : 0.0 sec. user=mdettweiler [2013-09-18 06:42:30] 651*2^1253593-1 is not prime. Res64: A11092B010F4274F Time : 0.0 sec. user=mdettweiler [2013-09-18 06:43:50] 863*2^1253592-1 is not prime. Res64: 3F95B3E144606C84 Time : 0.0 sec. user=mdettweiler [2013-09-18 06:43:51] 975*2^1253592-1 is not prime. Res64: F770F750809A9345 Time : 0.0 sec. user=mdettweiler [2013-09-18 06:45:43] 715*2^1253593-1 is not prime. Res64: 57443907EA86FA58 Time : 0.0 sec. user=mdettweiler [2013-09-18 06:45:43] 855*2^1253593-1 is not prime. Res64: 6014B2B64A1EF08E Time : 0.0 sec. user=mdettweiler [2013-09-18 06:59:57] 937*2^1253593-1 is not prime. Res64: BDA03C4202A4381C Time : 0.0 sec. user=mdettweiler [2013-09-18 06:59:58] 617*2^1253594-1 is not prime. Res64: 0BA1DD2591DBED68 Time : 0.0 sec. user=mdettweiler [2013-09-18 07:02:00] 683*2^1253594-1 is not prime. Res64: CDFA3329FA93110A Time : 0.0 sec. user=mdettweiler [2013-09-18 07:02:01] 687*2^1253594-1 is not prime. Res64: EC3C75056C255C0D Time : 0.0 sec. user=mdettweiler [2013-09-18 07:03:18] 711*2^1253594-1 is not prime. Res64: 1715485F19AC694F Time : 0.0 sec. user=mdettweiler [2013-09-18 07:03:20] 755*2^1253594-1 is not prime. Res64: 64BFB967FF4B96F4 Time : 0.0 sec. user=mdettweiler [2013-09-18 07:05:10] 851*2^1253594-1 is not prime. Res64: 809A8A838ACEED33 Time : 0.0 sec. user=mdettweiler [2013-09-18 07:05:11] 857*2^1253594-1 is not prime. Res64: 2A46651533CF67AC Time : 0.0 sec. user=mdettweiler [2013-09-18 07:21:23] 945*2^1253594-1 is not prime. Res64: 1C78E94B0F1FB2C6 Time : 0.0 sec. user=mdettweiler [2013-09-18 07:21:23] 995*2^1253594-1 is not prime. Res64: 5C1BECD8D7655655 Time : 0.0 sec. user=mdettweiler [2013-09-18 07:21:33] 705*2^1253595-1 is not prime. Res64: 1E56C233DBEA22B0 Time : 0.0 sec. user=mdettweiler [2013-09-18 07:21:33] 783*2^1253595-1 is not prime. Res64: F09FFF2EDDB06DBC Time : 0.0 sec. user=mdettweiler [2013-09-18 07:24:42] 963*2^1253595-1 is not prime. Res64: F63C1EEEE0A8E27D Time : 0.0 sec. user=mdettweiler [2013-09-18 07:24:43] 973*2^1253595-1 is not prime. Res64: 1858F413E2FDD830 Time : 0.0 sec. user=mdettweiler [2013-09-18 07:25:33] 773*2^1253596-1 is not prime. Res64: 0C77BC7E1D3E44F8 Time : 0.0 sec. user=mdettweiler [2013-09-18 07:25:34] 897*2^1253596-1 is not prime. Res64: 6619CD55A76C4A40 Time : 0.0 sec. user=mdettweiler [2013-09-18 07:40:58] 627*2^1253597-1 is not prime. Res64: 199C2F2533D4D1D3 Time : 0.0 sec. user=mdettweiler [2013-09-18 07:40:58] 655*2^1253597-1 is not prime. Res64: 91C625592AD94315 Time : 0.0 sec. user=mdettweiler [2013-09-18 07:41:49] 987*2^1253596-1 is not prime. Res64: 0C70E669A4E6EA3B Time : 0.0 sec. user=mdettweiler [2013-09-18 07:41:49] 601*2^1253597-1 is not prime. Res64: DB015CC6469C6B7C Time : 0.0 sec. user=mdettweiler [2013-09-18 07:44:12] 735*2^1253597-1 is not prime. Res64: 2D71AF7C78E72F02 Time : 0.0 sec. user=mdettweiler [2013-09-18 07:44:12] 829*2^1253597-1 is not prime. Res64: 1A7F2682C48382B0 Time : 0.0 sec. user=juhehe [2013-09-18 07:46:46] 915*2^1253593-1 is not prime. Res64: 3526A7AF504FAF49 Time : 0.0 sec. user=mdettweiler [2013-09-18 07:46:49] 937*2^1253597-1 is not prime. Res64: 566D0CC7D5666642 Time : 0.0 sec. user=mdettweiler [2013-09-18 07:46:50] 945*2^1253597-1 is not prime. Res64: 1590D9EF2A69E807 Time : 0.0 sec. user=mdettweiler [2013-09-18 08:01:15] 681*2^1253598-1 is not prime. Res64: E76F26945D034751 Time : 0.0 sec. user=mdettweiler [2013-09-18 08:01:16] 761*2^1253598-1 is not prime. Res64: 43291152BF565997 Time : 0.0 sec. user=mdettweiler [2013-09-18 08:02:16] 955*2^1253597-1 is not prime. Res64: 1977DCEDC6ADC17F Time : 0.0 sec. user=mdettweiler [2013-09-18 08:02:17] 997*2^1253597-1 is not prime. Res64: B86A8BD4988D4543 Time : 0.0 sec. user=mdettweiler [2013-09-18 08:03:39] 795*2^1253598-1 is not prime. Res64: BAFC0A9AEC775072 Time : 0.0 sec. user=mdettweiler [2013-09-18 08:03:40] 821*2^1253598-1 is not prime. Res64: 89542207486737E1 Time : 0.0 sec. user=mdettweiler [2013-09-18 08:06:17] 675*2^1253599-1 is not prime. Res64: 0C46C408E724099F Time : 0.0 sec. user=mdettweiler [2013-09-18 08:06:18] 703*2^1253599-1 is not prime. Res64: 09EAA21A385AD1C4 Time : 0.0 sec. user=mdettweiler [2013-09-18 08:21:06] 729*2^1253599-1 is not prime. Res64: 882D1C5BE90A0424 Time : 0.0 sec. user=mdettweiler [2013-09-18 08:21:06] 735*2^1253599-1 is not prime. Res64: 894CF5A0DCDCF941 Time : 0.0 sec. user=mdettweiler [2013-09-18 08:21:46] 763*2^1253599-1 is not prime. Res64: 29BB983804627541 Time : 0.0 sec. user=mdettweiler [2013-09-18 08:21:46] 765*2^1253599-1 is not prime. Res64: 54F5007257A9C02D Time : 0.0 sec. user=mdettweiler [2013-09-18 08:24:09] 793*2^1253599-1 is not prime. Res64: 94C41374A4AE2677 Time : 0.0 sec. user=mdettweiler [2013-09-18 08:24:09] 993*2^1253599-1 is not prime. Res64: B47E2DAB53767210 Time : 0.0 sec. user=mdettweiler [2013-09-18 08:26:44] 999*2^1253599-1 is not prime. Res64: 74F9EFA61D61A71C Time : 0.0 sec. user=mdettweiler [2013-09-18 08:26:44] 635*2^1253600-1 is not prime. Res64: 76EE618C25E046A7 Time : 0.0 sec. user=juhehe [2013-09-18 08:29:03] 619*2^1253599-1 is not prime. Res64: E2F14538503ECEC1 Time : 0.0 sec. user=mdettweiler [2013-09-18 08:40:28] 725*2^1253600-1 is not prime. Res64: DD3EF400A72825A0 Time : 0.0 sec. user=mdettweiler [2013-09-18 08:40:29] 785*2^1253600-1 is not prime. Res64: 52BD3453D3BC8F87 Time : 0.0 sec. user=mdettweiler [2013-09-18 08:41:26] 819*2^1253600-1 is not prime. Res64: D2E60080C7C08F5A Time : 0.0 sec. user=mdettweiler [2013-09-18 08:41:27] 857*2^1253600-1 is not prime. Res64: 1E50E78E95E93781 Time : 0.0 sec. user=mdettweiler [2013-09-18 08:45:31] 927*2^1253600-1 is not prime. Res64: D57921238BEADB87 Time : 0.0 sec. user=mdettweiler [2013-09-18 08:45:32] 945*2^1253600-1 is not prime. Res64: 532D1148D37FE7DC Time : 0.0 sec. user=mdettweiler [2013-09-18 08:47:11] 957*2^1253600-1 is not prime. Res64: 4503CF5BDEFABE8A Time : 0.0 sec. user=mdettweiler [2013-09-18 08:47:11] 601*2^1253601-1 is not prime. Res64: 5B88430813EC7057 Time : 0.0 sec. user=mdettweiler [2013-09-18 08:59:55] 751*2^1253601-1 is not prime. Res64: C059145E29270B8A Time : 0.0 sec. user=mdettweiler [2013-09-18 08:59:55] 849*2^1253601-1 is not prime. Res64: B7BFB68E462B23EE Time : 0.0 sec. user=mdettweiler [2013-09-18 09:01:53] 861*2^1253601-1 is not prime. Res64: B6A4072F5EB64FE5 Time : 0.0 sec. user=mdettweiler [2013-09-18 09:01:54] 871*2^1253601-1 is not prime. Res64: E52009B13B18724E Time : 0.0 sec. user=mdettweiler [2013-09-18 09:06:56] 885*2^1253601-1 is not prime. Res64: CD51AD95CA6A5B25 Time : 0.0 sec. user=mdettweiler [2013-09-18 09:06:57] 895*2^1253601-1 is not prime. Res64: 3A0AA3BC7B680C0C Time : 0.0 sec. user=mdettweiler [2013-09-18 09:07:44] 975*2^1253601-1 is not prime. Res64: FFADF299CBE4ED3B Time : 0.0 sec. user=mdettweiler [2013-09-18 09:07:45] 657*2^1253602-1 is not prime. Res64: D906AD9A2000A0E7 Time : 0.0 sec. user=juhehe [2013-09-18 09:12:39] 739*2^1253601-1 is not prime. Res64: 1348FE4B3383DCF6 Time : 0.0 sec. user=mdettweiler [2013-09-18 09:21:18] 885*2^1253602-1 is not prime. Res64: EE235623B77CA37E Time : 0.0 sec. user=mdettweiler [2013-09-18 09:21:18] 957*2^1253602-1 is not prime. Res64: B810BA6A0023D3FD Time : 0.0 sec. user=mdettweiler [2013-09-18 09:22:24] 631*2^1253603-1 is not prime. Res64: 1B1BD558A2864205 Time : 0.0 sec. user=mdettweiler [2013-09-18 09:22:24] 895*2^1253603-1 is not prime. Res64: 0B0B1BCC7F1BB7F8 Time : 0.0 sec. user=mdettweiler [2013-09-18 09:28:15] 675*2^1253604-1 is not prime. Res64: 0EBC1CDC864EC38D Time : 0.0 sec. user=mdettweiler [2013-09-18 09:28:16] 909*2^1253604-1 is not prime. Res64: 5360DD83DDF589CF Time : 0.0 sec. user=mdettweiler [2013-09-18 09:28:22] 973*2^1253603-1 is not prime. Res64: 346C9D95BB1B2EDE Time : 0.0 sec. user=mdettweiler [2013-09-18 09:28:22] 985*2^1253603-1 is not prime. Res64: D16501622F1B9865 Time : 0.0 sec. user=juhehe [2013-09-18 09:34:58] 831*2^1253602-1 is not prime. Res64: 8859F7431CD665BE Time : 0.0 sec. user=mdettweiler [2013-09-18 09:40:50] 699*2^1253605-1 is not prime. Res64: D307D934D1C91725 Time : 0.0 sec. user=mdettweiler [2013-09-18 09:40:51] 751*2^1253605-1 is not prime. Res64: 58CB2EE29B10F84A Time : 0.0 sec. user=mdettweiler [2013-09-18 09:43:46] 867*2^1253605-1 is not prime. Res64: 8E3DEE008A80CDC9 Time : 0.0 sec. user=mdettweiler [2013-09-18 09:43:46] 987*2^1253605-1 is not prime. Res64: 588AB6F676D2974B Time : 0.0 sec. user=mdettweiler [2013-09-18 09:47:48] 617*2^1253606-1 is not prime. Res64: 0F3FB7A112876167 Time : 0.0 sec. user=mdettweiler [2013-09-18 09:47:48] 663*2^1253606-1 is not prime. Res64: 90DA8420869C0ED0 Time : 0.0 sec. user=mdettweiler [2013-09-18 09:47:55] 677*2^1253606-1 is not prime. Res64: F00BAC2D92C3C940 Time : 0.0 sec. user=mdettweiler [2013-09-18 09:47:56] 801*2^1253606-1 is not prime. Res64: C6EE675E17B6764F Time : 0.0 sec. user=juhehe [2013-09-18 09:54:02] 645*2^1253605-1 is not prime. Res64: F7252EDDA36A5715 Time : 0.0 sec. user=mdettweiler [2013-09-18 10:01:32] 861*2^1253606-1 is not prime. Res64: 770D1F269231B4D4 Time : 0.0 sec. user=mdettweiler [2013-09-18 10:01:32] 875*2^1253606-1 is not prime. Res64: D53FA97C68AEA5E4 Time : 0.0 sec. user=mdettweiler [2013-09-18 10:05:28] 917*2^1253606-1 is not prime. Res64: 34CD25DAC0538102 Time : 0.0 sec. user=mdettweiler [2013-09-18 10:05:29] 953*2^1253606-1 is not prime. Res64: F5D223FEEED4D22A Time : 0.0 sec. user=mdettweiler [2013-09-18 10:07:32] 691*2^1253607-1 is not prime. Res64: 8337BA0D4BA9946D Time : 0.0 sec. user=mdettweiler [2013-09-18 10:07:33] 741*2^1253607-1 is not prime. Res64: E075F58651FA99D5 Time : 0.0 sec. user=mdettweiler [2013-09-18 10:09:41] 865*2^1253607-1 is not prime. Res64: 43D03A420E385E3B Time : 0.0 sec. user=mdettweiler [2013-09-18 10:09:42] 891*2^1253607-1 is not prime. Res64: 00A1C9522B00F335 Time : 0.0 sec. user=mdettweiler [2013-09-18 10:22:00] 975*2^1253607-1 is not prime. Res64: 9E9678C0367B7E57 Time : 0.0 sec. user=mdettweiler [2013-09-18 10:22:01] 623*2^1253608-1 is not prime. Res64: 18DA62E4482CFDD9 Time : 0.0 sec. user=mdettweiler [2013-09-18 10:25:06] 687*2^1253608-1 is not prime. Res64: C371F4E4632AD350 Time : 0.0 sec. user=mdettweiler [2013-09-18 10:25:06] 735*2^1253608-1 is not prime. Res64: 3A0F8B8E2B74AE8D Time : 0.0 sec. user=mdettweiler [2013-09-18 10:27:15] 827*2^1253608-1 is not prime. Res64: CA774BABA8688D74 Time : 0.0 sec. user=mdettweiler [2013-09-18 10:27:15] 843*2^1253608-1 is not prime. Res64: 422E5254F3463CEB Time : 0.0 sec. user=mdettweiler [2013-09-18 10:30:11] 855*2^1253608-1 is not prime. Res64: 30AF21F522A4E97A Time : 0.0 sec. user=mdettweiler [2013-09-18 10:30:11] 863*2^1253608-1 is not prime. Res64: 01999737104F152F Time : 0.0 sec. user=juhehe [2013-09-18 10:37:07] 931*2^1253607-1 is not prime. Res64: E266ADF271546DD5 Time : 0.0 sec. user=mdettweiler [2013-09-18 10:42:29] 869*2^1253608-1 is not prime. Res64: 32811FB56334BF48 Time : 0.0 sec. user=mdettweiler [2013-09-18 10:42:29] 747*2^1253609-1 is not prime. Res64: 5B90913174BA747E Time : 0.0 sec. user=mdettweiler [2013-09-18 10:45:37] 841*2^1253609-1 is not prime. Res64: 218EE8219EBC3EA5 Time : 0.0 sec. user=mdettweiler [2013-09-18 10:45:37] 879*2^1253609-1 is not prime. Res64: 11A502413C9AF59E Time : 0.0 sec. user=mdettweiler [2013-09-18 10:47:55] 885*2^1253609-1 is not prime. Res64: 8F568BAEDB2B1162 Time : 0.0 sec. user=mdettweiler [2013-09-18 10:47:55] 641*2^1253610-1 is not prime. Res64: 5458D9E1EB66F135 Time : 0.0 sec. user=mdettweiler [2013-09-18 10:49:54] 707*2^1253610-1 is not prime. Res64: FCF4D43DAA9CFA66 Time : 0.0 sec. user=mdettweiler [2013-09-18 10:49:54] 711*2^1253610-1 is not prime. Res64: E1662A0013CF33DA Time : 0.0 sec. user=mdettweiler [2013-09-18 11:02:42] 843*2^1253610-1 is not prime. Res64: 652D52E8D1E182B7 Time : 0.0 sec. user=mdettweiler [2013-09-18 11:02:43] 845*2^1253610-1 is not prime. Res64: B3965FA0B4999102 Time : 0.0 sec. user=mdettweiler [2013-09-18 11:08:04] 891*2^1253610-1 is not prime. Res64: 78DFD26204852A63 Time : 0.0 sec. user=mdettweiler [2013-09-18 11:08:05] 941*2^1253610-1 is not prime. Res64: 910899C5CFBDA458 Time : 0.0 sec. user=mdettweiler [2013-09-18 11:08:51] 625*2^1253611-1 is not prime. Res64: 8749A5667B129D76 Time : 0.0 sec. user=mdettweiler [2013-09-18 11:08:51] 783*2^1253611-1 is not prime. Res64: E56B1246F5FE4B99 Time : 0.0 sec. user=mdettweiler [2013-09-18 11:11:19] 855*2^1253611-1 is not prime. Res64: 1DF9D4712F0D92CF Time : 0.0 sec. user=mdettweiler [2013-09-18 11:11:21] 889*2^1253611-1 is not prime. Res64: 5409A269A38A5D41 Time : 0.0 sec. user=juhehe [2013-09-18 11:14:01] 735*2^1253610-1 is not prime. Res64: 909B2D3891DD2F2B Time : 0.0 sec. user=mdettweiler [2013-09-18 11:22:34] 635*2^1253612-1 is not prime. Res64: A440E722D33532D2 Time : 0.0 sec. user=mdettweiler [2013-09-18 11:22:34] 647*2^1253612-1 is not prime. Res64: 40B58637A64E3EEE Time : 0.0 sec. user=mdettweiler [2013-09-18 11:27:42] 753*2^1253612-1 is not prime. Res64: D0C4455B69CA92EB Time : 0.0 sec. user=mdettweiler [2013-09-18 11:27:43] 855*2^1253612-1 is not prime. Res64: E63BCF15BF1A3ED8 Time : 0.0 sec. user=mdettweiler [2013-09-18 11:29:32] 669*2^1253613-1 is not prime. Res64: A89540313488A6A3 Time : 0.0 sec. user=mdettweiler [2013-09-18 11:29:32] 961*2^1253613-1 is not prime. Res64: 89FBB24F7C58F3BE Time : 0.0 sec. user=mdettweiler [2013-09-18 11:31:08] 617*2^1253614-1 is not prime. Res64: AECC8662EDA0378A Time : 0.0 sec. user=mdettweiler [2013-09-18 11:31:08] 773*2^1253614-1 is not prime. Res64: EF528E0644F9A102 Time : 0.0 sec. user=mdettweiler [2013-09-18 11:44:09] 863*2^1253614-1 is not prime. Res64: C03D30BD7CE674FE Time : 0.0 sec. user=mdettweiler [2013-09-18 11:44:09] 885*2^1253614-1 is not prime. Res64: 17733D1BD1066848 Time : 0.0 sec. user=mdettweiler [2013-09-18 11:49:17] 655*2^1253615-1 is not prime. Res64: 51362229ABD52297 Time : 0.0 sec. user=mdettweiler [2013-09-18 11:49:17] 663*2^1253615-1 is not prime. Res64: AD012C1EED40BA47 Time : 0.0 sec. user=mdettweiler [2013-09-18 11:49:22] 947*2^1253614-1 is not prime. Res64: 224B941AFA83F4BD Time : 0.0 sec. user=mdettweiler [2013-09-18 11:49:22] 987*2^1253614-1 is not prime. Res64: BF5393BC140167C3 Time : 0.0 sec. user=juhehe [2013-09-18 11:50:42] 783*2^1253614-1 is not prime. Res64: C878631FB51FB72C Time : 0.0 sec. user=mdettweiler [2013-09-18 11:50:49] 739*2^1253615-1 is not prime. Res64: 84410C5111E72CBC Time : 0.0 sec. user=mdettweiler [2013-09-18 11:50:49] 799*2^1253615-1 is not prime. Res64: 3C1FC943B0A19140 Time : 0.0 sec. user=mdettweiler [2013-09-18 12:05:13] 855*2^1253615-1 is not prime. Res64: B49861612E229637 Time : 0.0 sec. user=mdettweiler [2013-09-18 12:05:14] 865*2^1253615-1 is not prime. Res64: 3A08A7CEB4FF4702 Time : 0.0 sec. user=mdettweiler [2013-09-18 12:10:24] 857*2^1253616-1 is not prime. Res64: CEAC22969395B34F Time : 0.0 sec. user=mdettweiler [2013-09-18 12:10:24] 867*2^1253616-1 is not prime. Res64: F7C8639109835F37 Time : 0.0 sec. user=mdettweiler [2013-09-18 12:10:30] 973*2^1253615-1 is not prime. Res64: 37A52A0BD91299C5 Time : 0.0 sec. user=mdettweiler [2013-09-18 12:10:32] 707*2^1253616-1 is not prime. Res64: 280DA96D9CFB343B Time : 0.0 sec. user=mdettweiler [2013-09-18 12:10:55] 619*2^1253617-1 is not prime. Res64: CA8AE9774BE888FF Time : 0.0 sec. user=mdettweiler [2013-09-18 12:10:56] 639*2^1253617-1 is not prime. Res64: CD73AD0999BDADFD Time : 0.0 sec. user=mdettweiler [2013-09-18 12:25:15] 645*2^1253617-1 is not prime. Res64: 4490846DE5056313 Time : 0.0 sec. user=mdettweiler [2013-09-18 12:25:15] 685*2^1253617-1 is not prime. Res64: 672C8AE86E07362D Time : 0.0 sec. user=mdettweiler [2013-09-18 12:30:49] 603*2^1253618-1 is not prime. Res64: F85223210C1AFF68 Time : 0.0 sec. user=mdettweiler [2013-09-18 12:30:50] 671*2^1253618-1 is not prime. Res64: 2C6D3B090AC2E757 Time : 0.0 sec. user=mdettweiler [2013-09-18 12:31:10] 741*2^1253617-1 is not prime. Res64: D2B9B52D83FFCA79 Time : 0.0 sec. user=mdettweiler [2013-09-18 12:31:11] 939*2^1253617-1 is not prime. Res64: DC3156F495A99BEC Time : 0.0 sec. user=mdettweiler [2013-09-18 12:32:07] 945*2^1253617-1 is not prime. Res64: 8EABB40A2577D00D Time : 0.0 sec. user=mdettweiler [2013-09-18 12:32:08] 997*2^1253617-1 is not prime. Res64: 943932320B138285 Time : 0.0 sec. user=juhehe [2013-09-18 12:34:16] 887*2^1253616-1 is not prime. Res64: 1EABA6C6DCF90831 Time : 0.0 sec. user=mdettweiler [2013-09-18 12:45:03] 713*2^1253618-1 is not prime. Res64: 5CB1AD8CBC378558 Time : 0.0 sec. user=mdettweiler [2013-09-18 12:45:03] 773*2^1253618-1 is not prime. Res64: 4645D50BA007185D Time : 0.0 sec. user=mdettweiler [2013-09-18 12:50:55] 619*2^1253619-1 is not prime. Res64: C251804EE06FB254 Time : 0.0 sec. user=mdettweiler [2013-09-18 12:50:56] 669*2^1253619-1 is not prime. Res64: A3359BAB85CD16B9 Time : 0.0 sec. user=mdettweiler [2013-09-18 12:52:32] 885*2^1253618-1 is not prime. Res64: 52F8199D10AB3688 Time : 0.0 sec. user=mdettweiler [2013-09-18 12:52:33] 887*2^1253618-1 is not prime. Res64: 87CD3E54534E9F4D Time : 0.0 sec. user=mdettweiler [2013-09-18 12:52:57] 825*2^1253619-1 is not prime. Res64: FBE59E767ADE0346 Time : 0.0 sec. user=mdettweiler [2013-09-18 12:52:57] 931*2^1253619-1 is not prime. Res64: BFCD6DC339A334A7 Time : 0.0 sec. user=mdettweiler [2013-09-18 13:04:50] 635*2^1253620-1 is not prime. Res64: 2CF5427017A4EE4B Time : 0.0 sec. user=mdettweiler [2013-09-18 13:04:50] 677*2^1253620-1 is not prime. Res64: 8FAAA59FC56A8B18 Time : 0.0 sec. user=mdettweiler [2013-09-18 13:10:46] 689*2^1253620-1 is not prime. Res64: 2F90DDD03AA7BE4B Time : 0.0 sec. user=mdettweiler [2013-09-18 13:10:47] 785*2^1253620-1 is not prime. Res64: 0B7B706C0B9BD86A Time : 0.0 sec. user=mdettweiler [2013-09-18 13:13:26] 843*2^1253620-1 is not prime. Res64: E0B0536F6012800A Time : 0.0 sec. user=mdettweiler [2013-09-18 13:13:26] 863*2^1253620-1 is not prime. Res64: 1E174B16A58EDF2B Time : 0.0 sec. user=mdettweiler [2013-09-18 13:14:45] 873*2^1253620-1 is not prime. Res64: C87CAF27061E79AD Time : 0.0 sec. user=mdettweiler [2013-09-18 13:14:46] 909*2^1253620-1 is not prime. Res64: 2C7D5787E1335581 Time : 0.0 sec. user=juhehe [2013-09-18 13:16:49] 999*2^1253619-1 is not prime. Res64: 4781A7825EFBA4B3 Time : 0.0 sec. user=mdettweiler [2013-09-18 13:26:47] 983*2^1253620-1 is not prime. Res64: 11E73DEE2FAFE662 Time : 0.0 sec. user=mdettweiler [2013-09-18 13:26:47] 989*2^1253620-1 is not prime. Res64: 55D27BB44477366D Time : 0.0 sec. user=mdettweiler [2013-09-18 13:30:42] 801*2^1253621-1 is not prime. Res64: C194286B2CD979DB Time : 0.0 sec. user=mdettweiler [2013-09-18 13:30:42] 859*2^1253621-1 is not prime. Res64: 7D8B3561B291BF39 Time : 0.0 sec. user=mdettweiler [2013-09-18 13:34:45] 705*2^1253622-1 is not prime. Res64: 737EF6682B9F2E8C Time : 0.0 sec. user=mdettweiler [2013-09-18 13:34:45] 711*2^1253622-1 is not prime. Res64: A700B9876F1CE8A1 Time : 0.0 sec. user=mdettweiler [2013-09-18 13:35:16] 927*2^1253621-1 is not prime. Res64: 830222CCD0A34A75 Time : 0.0 sec. user=mdettweiler [2013-09-18 13:35:16] 939*2^1253621-1 is not prime. Res64: 769EAA391D35E79B Time : 0.0 sec. user=mdettweiler [2013-09-18 13:47:36] 807*2^1253622-1 is not prime. Res64: 997212F88C20F480 Time : 0.0 sec. user=mdettweiler [2013-09-18 13:47:36] 951*2^1253622-1 is not prime. Res64: 2A188A649C9008D0 Time : 0.0 sec. user=mdettweiler [2013-09-18 13:51:29] 1001*2^1253622-1 is not prime. Res64: 2D95220D5537A131 Time : 0.0 sec. user=mdettweiler [2013-09-18 13:51:29] 673*2^1253623-1 is not prime. Res64: 74366779323CCEDB Time : 0.0 sec. user=juhehe [2013-09-18 13:52:35] 747*2^1253622-1 is not prime. Res64: 0CE853BEEB63052B Time : 0.0 sec. user=mdettweiler [2013-09-18 13:55:26] 693*2^1253623-1 is not prime. Res64: E2F88A3E85C8ADA7 Time : 0.0 sec. user=mdettweiler [2013-09-18 13:55:26] 913*2^1253623-1 is not prime. Res64: A160A6A3A80330A7 Time : 0.0 sec. user=mdettweiler [2013-09-18 13:55:59] 915*2^1253623-1 is not prime. Res64: 1C7E3E59AC3C6FE6 Time : 0.0 sec. user=mdettweiler [2013-09-18 13:55:59] 629*2^1253624-1 is not prime. Res64: 8BB7FDB9C2E9A69C Time : 0.0 sec. user=mdettweiler [2013-09-18 14:08:18] 785*2^1253624-1 is not prime. Res64: 482D7598679C1C81 Time : 0.0 sec. user=mdettweiler [2013-09-18 14:08:19] 945*2^1253624-1 is not prime. Res64: 7272238F8F4E1F45 Time : 0.0 sec. user=mdettweiler [2013-09-18 14:12:12] 995*2^1253624-1 is not prime. Res64: 184419BDAFC1EA07 Time : 0.0 sec. user=mdettweiler [2013-09-18 14:12:13] 639*2^1253625-1 is not prime. Res64: BDFA99551D7945EF Time : 0.0 sec. user=mdettweiler [2013-09-18 14:15:14] 741*2^1253625-1 is not prime. Res64: C2BF9DAB9A9A94A2 Time : 0.0 sec. user=mdettweiler [2013-09-18 14:15:14] 765*2^1253625-1 is not prime. Res64: 42E833D8CD09A148 Time : 0.0 sec. user=mdettweiler [2013-09-18 14:17:43] 915*2^1253625-1 is not prime. Res64: 36D7A017F689752D Time : 0.0 sec. user=mdettweiler [2013-09-18 14:17:43] 969*2^1253625-1 is not prime. Res64: F855FC9ADF86EB3C Time : 0.0 sec. user=juhehe [2013-09-18 14:25:50] 705*2^1253625-1 is not prime. Res64: 905B3340C68FCDC4 Time : 0.0 sec. user=mdettweiler [2013-09-18 14:28:35] 635*2^1253626-1 is not prime. Res64: 4F85C3BF42E64CF7 Time : 0.0 sec. user=mdettweiler [2013-09-18 14:28:35] 843*2^1253626-1 is not prime. Res64: F390933A51F950F4 Time : 0.0 sec. user=mdettweiler [2013-09-18 14:34:17] 911*2^1253626-1 is not prime. Res64: 879878C09095CA15 Time : 0.0 sec. user=mdettweiler [2013-09-18 14:34:17] 933*2^1253626-1 is not prime. Res64: 81E9D4A05A61FE99 Time : 0.0 sec. user=mdettweiler [2013-09-18 14:36:16] 993*2^1253626-1 is not prime. Res64: 19E150553288A0CF Time : 0.0 sec. user=mdettweiler [2013-09-18 14:36:16] 621*2^1253627-1 is not prime. Res64: 510CE8DB2B9CE6B3 Time : 0.0 sec. user=mdettweiler [2013-09-18 14:37:46] 649*2^1253627-1 is not prime. Res64: 3C8E57CFE3F750D3 Time : 0.0 sec. user=mdettweiler [2013-09-18 14:37:46] 711*2^1253627-1 is not prime. Res64: 1BA701EF08B87A35 Time : 0.0 sec. user=mdettweiler [2013-09-18 14:48:29] 635*2^1253628-1 is not prime. Res64: 013ED319214E45E5 Time : 0.0 sec. user=mdettweiler [2013-09-18 14:48:29] 753*2^1253628-1 is not prime. Res64: 44D026E4927488C2 Time : 0.0 sec. user=mdettweiler [2013-09-18 14:54:15] 773*2^1253628-1 is not prime. Res64: 9890D466B5A9C2FF Time : 0.0 sec. user=mdettweiler [2013-09-18 14:54:15] 783*2^1253628-1 is not prime. Res64: C7D5A9745BFAAB5D Time : 0.0 sec. user=mdettweiler [2013-09-18 14:57:09] 843*2^1253628-1 is not prime. Res64: 140E49D2C81BF495 Time : 0.0 sec. user=mdettweiler [2013-09-18 14:57:10] 879*2^1253628-1 is not prime. Res64: E34B142A534455DB Time : 0.0 sec. user=mdettweiler [2013-09-18 14:59:37] 887*2^1253628-1 is not prime. Res64: D75F852622F94293 Time : 0.0 sec. user=mdettweiler [2013-09-18 14:59:37] 899*2^1253628-1 is not prime. Res64: 05B3FDBA3FCC1ABE Time : 0.0 sec. user=juhehe [2013-09-18 15:03:10] 813*2^1253627-1 is not prime. Res64: EEC2102937522C5A Time : 0.0 sec. user=mdettweiler [2013-09-18 15:09:13] 945*2^1253628-1 is not prime. Res64: DA423950835F833C Time : 0.0 sec. user=mdettweiler [2013-09-18 15:09:14] 667*2^1253629-1 is not prime. Res64: 44B46F70B2EC42C3 Time : 0.0 sec. user=mdettweiler [2013-09-18 15:14:08] 679*2^1253629-1 is not prime. Res64: 294174CF05B6B4DA Time : 0.0 sec. user=mdettweiler [2013-09-18 15:14:08] 799*2^1253629-1 is not prime. Res64: A26F6D6CA0CB9C21 Time : 0.0 sec. user=mdettweiler [2013-09-18 15:18:04] 847*2^1253629-1 is not prime. Res64: 94D0805F27409582 Time : 0.0 sec. user=mdettweiler [2013-09-18 15:18:05] 867*2^1253629-1 is not prime. Res64: 9B2C556E40808D31 Time : 0.0 sec. user=mdettweiler [2013-09-18 15:20:29] 895*2^1253629-1 is not prime. Res64: B36984563650161B Time : 0.0 sec. user=mdettweiler [2013-09-18 15:20:29] 623*2^1253630-1 is not prime. Res64: B8FEDC9654324364 Time : 0.0 sec. user=mdettweiler [2013-09-18 15:31:09] 923*2^1253630-1 is not prime. Res64: 315C6B0558E0ACC1 Time : 0.0 sec. user=mdettweiler [2013-09-18 15:31:09] 965*2^1253630-1 is not prime. Res64: 0331D628DA3D4BC2 Time : 0.0 sec. user=mdettweiler [2013-09-18 15:35:03] 981*2^1253630-1 is not prime. Res64: 39B4A177BE79CFC3 Time : 0.0 sec. user=mdettweiler [2013-09-18 15:35:03] 691*2^1253631-1 is not prime. Res64: 79F4449D412B4B84 Time : 0.0 sec. user=juhehe [2013-09-18 15:37:01] 663*2^1253630-1 is not prime. Res64: C0D36E5E97B53FEF Time : 0.0 sec. user=mdettweiler [2013-09-18 15:39:02] 859*2^1253631-1 is not prime. Res64: 198E9AB20DF5CE1D Time : 0.0 sec. user=mdettweiler [2013-09-18 15:39:03] 891*2^1253631-1 is not prime. Res64: FB0E170310BF8090 Time : 0.0 sec. user=mdettweiler [2013-09-18 15:40:27] 635*2^1253632-1 is not prime. Res64: F0F13030F80388D7 Time : 0.0 sec. user=mdettweiler [2013-09-18 15:40:28] 665*2^1253632-1 is not prime. Res64: D68D635B68F50F78 Time : 0.0 sec. user=mdettweiler [2013-09-18 15:51:13] 677*2^1253632-1 is not prime. Res64: A248E48484748B4C Time : 0.0 sec. user=mdettweiler [2013-09-18 15:51:14] 713*2^1253632-1 is not prime. Res64: 1E2A31530B0ED36D Time : 0.0 sec. user=mdettweiler [2013-09-18 15:54:59] 797*2^1253632-1 is not prime. Res64: 8C65880B393B8224 Time : 0.0 sec. user=mdettweiler [2013-09-18 15:54:59] 803*2^1253632-1 is not prime. Res64: 279C572D95526C68 Time : 0.0 sec. user=mdettweiler [2013-09-18 15:59:56] 849*2^1253632-1 is not prime. Res64: 7E430A102E92E630 Time : 0.0 sec. user=mdettweiler [2013-09-18 15:59:56] 869*2^1253632-1 is not prime. Res64: EAF4A6EAFDCB9845 Time : 0.0 sec. user=mdettweiler [2013-09-18 16:02:14] 909*2^1253632-1 is not prime. Res64: 455DD93AE7114042 Time : 0.0 sec. user=mdettweiler [2013-09-18 16:02:15] 989*2^1253632-1 is not prime. Res64: 88C74C6A72BDA08E Time : 0.0 sec. user=mdettweiler [2013-09-18 16:11:10] 771*2^1253633-1 is not prime. Res64: 010EE9330A0DF290 Time : 0.0 sec. user=mdettweiler [2013-09-18 16:11:11] 795*2^1253633-1 is not prime. Res64: 633D181B4A048F27 Time : 0.0 sec. user=juhehe [2013-09-18 16:13:13] 827*2^1253632-1 is not prime. Res64: B38118973452FE48 Time : 0.0 sec. user=mdettweiler [2013-09-18 16:16:51] 871*2^1253633-1 is not prime. Res64: 5049C13B4501ECA7 Time : 0.0 sec. user=mdettweiler [2013-09-18 16:16:51] 885*2^1253633-1 is not prime. Res64: 9BC34F83B40E66DE Time : 0.0 sec. user=mdettweiler [2013-09-18 16:20:53] 951*2^1253633-1 is not prime. Res64: 437B023F3E8842D2 Time : 0.0 sec. user=mdettweiler [2013-09-18 16:20:53] 635*2^1253634-1 is not prime. Res64: 7FDAF1530A33808B Time : 0.0 sec. user=mdettweiler [2013-09-18 16:22:21] 651*2^1253634-1 is not prime. Res64: 74AF630E20A6AB00 Time : 0.0 sec. user=mdettweiler [2013-09-18 16:22:21] 711*2^1253634-1 is not prime. Res64: 8E89B2330C178F50 Time : 0.0 sec. user=mdettweiler [2013-09-18 16:31:15] 717*2^1253634-1 is not prime. Res64: 5732A436272DF618 Time : 0.0 sec. user=mdettweiler [2013-09-18 16:31:15] 731*2^1253634-1 is not prime. Res64: DB34D0F513AD83F9 Time : 0.0 sec. user=mdettweiler [2013-09-18 16:37:57] 773*2^1253634-1 is not prime. Res64: 360EB130C1846D1E Time : 0.0 sec. user=mdettweiler [2013-09-18 16:37:57] 1001*2^1253634-1 is not prime. Res64: 8E2D08E46236E7C5 Time : 0.0 sec. user=mdettweiler [2013-09-18 16:40:54] 829*2^1253635-1 is not prime. Res64: F6B3099673390CC2 Time : 0.0 sec. user=mdettweiler [2013-09-18 16:40:55] 603*2^1253636-1 is not prime. Res64: F697741172A84E2E Time : 0.0 sec. user=mdettweiler [2013-09-18 16:42:21] 677*2^1253636-1 is not prime. Res64: 543529C6EE00C932 Time : 0.0 sec. user=mdettweiler [2013-09-18 16:42:21] 683*2^1253636-1 is not prime. Res64: CCD184CD72F16328 Time : 0.0 sec. user=juhehe [2013-09-18 16:49:22] 765*2^1253634-1 is not prime. Res64: 68B440E48ADE9324 Time : 0.0 sec. user=mdettweiler [2013-09-18 16:51:25] 707*2^1253636-1 is not prime. Res64: 32374DFAFC6127B0 Time : 0.0 sec. user=mdettweiler [2013-09-18 16:51:25] 719*2^1253636-1 is not prime. Res64: 8D95409AE0E4BCD4 Time : 0.0 sec. user=mdettweiler [2013-09-18 16:59:58] 867*2^1253636-1 is not prime. Res64: 96BA8C7C6093C970 Time : 0.0 sec. user=mdettweiler [2013-09-18 16:59:59] 993*2^1253636-1 is not prime. Res64: 1875AA14D273AC71 Time : 0.0 sec. user=mdettweiler [2013-09-18 17:01:01] 639*2^1253637-1 is not prime. Res64: 45A9EC7B4D505C74 Time : 0.0 sec. user=mdettweiler [2013-09-18 17:01:02] 685*2^1253637-1 is not prime. Res64: 868E33619806F9DF Time : 0.0 sec. user=mdettweiler [2013-09-18 17:03:27] 769*2^1253637-1 is not prime. Res64: 93E890E4E81032C7 Time : 0.0 sec. user=mdettweiler [2013-09-18 17:03:27] 901*2^1253637-1 is not prime. Res64: 41B65CC626CED455 Time : 0.0 sec. user=mdettweiler [2013-09-18 17:11:41] 657*2^1253638-1 is not prime. Res64: ACEA5A299186CCC8 Time : 0.0 sec. user=mdettweiler [2013-09-18 17:11:42] 665*2^1253638-1 is not prime. Res64: 84EE9DF89F0C9F38 Time : 0.0 sec. user=mdettweiler [2013-09-18 17:22:34] 897*2^1253638-1 is not prime. Res64: 1D540E2C06CF3FEA Time : 0.0 sec. user=mdettweiler [2013-09-18 17:22:34] 951*2^1253638-1 is not prime. Res64: 7432FC92E8E89CC1 Time : 0.0 sec. user=mdettweiler [2013-09-18 17:22:35] 975*2^1253638-1 is not prime. Res64: B021B08FE8413BC0 Time : 0.0 sec. user=mdettweiler [2013-09-18 17:22:35] 615*2^1253639-1 is not prime. Res64: 79140F300162A45C Time : 0.0 sec. user=mdettweiler [2013-09-18 17:23:56] 711*2^1253639-1 is not prime. Res64: A894250175202699 Time : 0.0 sec. user=mdettweiler [2013-09-18 17:23:56] 741*2^1253639-1 is not prime. Res64: FFFEB6AE899D9807 Time : 0.0 sec. user=juhehe [2013-09-18 17:24:41] 603*2^1253638-1 is not prime. Res64: 2D8EFD13A1E8A781 Time : 0.0 sec. user=mdettweiler [2013-09-18 17:33:04] 745*2^1253639-1 is not prime. Res64: 46694C31477FFDDE Time : 0.0 sec. user=mdettweiler [2013-09-18 17:33:04] 939*2^1253639-1 is not prime. Res64: DF000E4FEAEF443E Time : 0.0 sec. user=mdettweiler [2013-09-18 17:42:52] 627*2^1253640-1 is not prime. Res64: 275F232870F50237 Time : 0.0 sec. user=mdettweiler [2013-09-18 17:42:52] 635*2^1253640-1 is not prime. Res64: 780CC67ECE968CBD Time : 0.0 sec. user=mdettweiler [2013-09-18 17:42:54] 725*2^1253640-1 is not prime. Res64: 7A0338EEE63AEBC7 Time : 0.0 sec. user=mdettweiler [2013-09-18 17:42:54] 777*2^1253640-1 is not prime. Res64: EA6EE3A5603A774A Time : 0.0 sec. user=mdettweiler [2013-09-18 17:44:17] 789*2^1253640-1 is not prime. Res64: 9EB8414272170C86 Time : 0.0 sec. user=mdettweiler [2013-09-18 17:44:18] 849*2^1253640-1 is not prime. Res64: 7C240B7D5E99E438 Time : 0.0 sec. user=mdettweiler [2013-09-18 17:54:07] 807*2^1253641-1 is not prime. Res64: 416F92210B36ECF9 Time : 0.0 sec. user=mdettweiler [2013-09-18 17:54:07] 901*2^1253641-1 is not prime. Res64: EB88B832C2ACCB17 Time : 0.0 sec. user=mdettweiler [2013-09-18 18:02:50] 711*2^1253642-1 is not prime. Res64: CA1EFFB05428E986 Time : 0.0 sec. user=mdettweiler [2013-09-18 18:02:51] 785*2^1253642-1 is not prime. Res64: E4562F7BE0BD810B Time : 0.0 sec. user=mdettweiler [2013-09-18 18:03:46] 945*2^1253641-1 is not prime. Res64: 6BD2C4656ED2BA24 Time : 0.0 sec. user=mdettweiler [2013-09-18 18:03:47] 683*2^1253642-1 is not prime. Res64: 6E702D7DF1B61630 Time : 0.0 sec. user=mdettweiler [2013-09-18 18:05:06] 815*2^1253642-1 is not prime. Res64: 72D6EA2732FFD064 Time : 0.0 sec. user=mdettweiler [2013-09-18 18:05:07] 867*2^1253642-1 is not prime. Res64: 8C04997A14A8E349 Time : 0.0 sec. user=juhehe [2013-09-18 18:12:41] 771*2^1253641-1 is not prime. Res64: C72D383EC73A561D Time : 0.0 sec. user=mdettweiler [2013-09-18 18:16:07] 921*2^1253642-1 is not prime. Res64: 5E57E4EB3102FD6A Time : 0.0 sec. user=mdettweiler [2013-09-18 18:16:08] 935*2^1253642-1 is not prime. Res64: D5AFFE4E3A346970 Time : 0.0 sec. user=juhehe [2013-09-18 18:18:37] 873*2^1253640-1 is not prime. Res64: 3F58AF15B23F65F0 Time : 0.0 sec. user=mdettweiler [2013-09-18 18:23:58] 963*2^1253642-1 is not prime. Res64: 0CEB6B85A2CC85A6 Time : 0.0 sec. user=mdettweiler [2013-09-18 18:23:59] 703*2^1253643-1 is not prime. Res64: 1C55EB5D01536FEB Time : 0.0 sec. user=mdettweiler [2013-09-18 18:24:13] 739*2^1253643-1 is not prime. Res64: B672B3D52CAF7D4E Time : 0.0 sec. user=mdettweiler [2013-09-18 18:24:13] 801*2^1253643-1 is not prime. Res64: 7812107706D7C4D7 Time : 0.0 sec. user=mdettweiler [2013-09-18 18:25:24] 823*2^1253643-1 is not prime. Res64: 3B07B038E0E62796 Time : 0.0 sec. user=mdettweiler [2013-09-18 18:25:24] 617*2^1253644-1 is not prime. Res64: 57CF74A8F2A10161 Time : 0.0 sec. user=mdettweiler [2013-09-18 18:36:13] 629*2^1253644-1 is not prime. Res64: C0E873922235C6B3 Time : 0.0 sec. user=mdettweiler [2013-09-18 18:36:13] 785*2^1253644-1 is not prime. Res64: 714D0FB11F82F938 Time : 0.0 sec. user=mdettweiler [2013-09-18 18:43:57] 857*2^1253644-1 is not prime. Res64: 836AF7BE880C7CA1 Time : 0.0 sec. user=mdettweiler [2013-09-18 18:43:57] 607*2^1253645-1 is not prime. Res64: C7712ABBCAD3577B Time : 0.0 sec. user=mdettweiler [2013-09-18 18:44:17] 651*2^1253645-1 is not prime. Res64: 4CCF26D7E49D2736 Time : 0.0 sec. user=mdettweiler [2013-09-18 18:44:17] 655*2^1253645-1 is not prime. Res64: E17B0D11B8BAF5DA Time : 0.0 sec. user=mdettweiler [2013-09-18 18:45:21] 715*2^1253645-1 is not prime. Res64: 404B937ED97F5314 Time : 0.0 sec. user=mdettweiler [2013-09-18 18:45:21] 741*2^1253645-1 is not prime. Res64: F2F7BFB4C776E34D Time : 0.0 sec. user=juhehe [2013-09-18 18:55:42] 825*2^1253644-1 is not prime. Res64: 1EF73A8EAEF5763B Time : 0.0 sec. user=mdettweiler [2013-09-18 18:56:20] 759*2^1253645-1 is not prime. Res64: 27C44C8A74FC5434 Time : 0.0 sec. user=mdettweiler [2013-09-18 18:56:20] 825*2^1253645-1 is not prime. Res64: E4EC94E5F296F19D Time : 0.0 sec. user=mdettweiler [2013-09-18 19:05:03] 711*2^1253646-1 is not prime. Res64: 57E14FE2AC4BE62F Time : 0.0 sec. user=mdettweiler [2013-09-18 19:05:05] 767*2^1253646-1 is not prime. Res64: 503E64DFB2380C50 Time : 0.0 sec. user=mdettweiler [2013-09-18 19:05:41] 855*2^1253645-1 is not prime. Res64: 31624599197005CA Time : 0.0 sec. user=mdettweiler [2013-09-18 19:05:42] 957*2^1253645-1 is not prime. Res64: 93E3E1722AFC0DF1 Time : 0.0 sec. user=mdettweiler [2013-09-18 19:07:09] 941*2^1253646-1 is not prime. Res64: 56DFB748AD05A62F Time : 0.0 sec. user=mdettweiler [2013-09-18 19:07:09] 645*2^1253647-1 is not prime. Res64: 131A36FCE36F08F1 Time : 0.0 sec. user=mdettweiler [2013-09-18 19:17:21] 859*2^1253647-1 is not prime. Res64: 96B1149BBBCA03B5 Time : 0.0 sec. user=mdettweiler [2013-09-18 19:17:22] 617*2^1253648-1 is not prime. Res64: A0B17B4B7C390388 Time : 0.0 sec. user=mdettweiler [2013-09-18 19:26:07] 635*2^1253648-1 is not prime. Res64: 1B914FBFBAB0E38D Time : 0.0 sec. user=mdettweiler [2013-09-18 19:26:07] 683*2^1253648-1 is not prime. Res64: 7EDCA12A87FC80F3 Time : 0.0 sec. user=mdettweiler [2013-09-18 19:26:46] 747*2^1253648-1 is not prime. Res64: AC14A965A06DAB47 Time : 0.0 sec. user=mdettweiler [2013-09-18 19:26:46] 825*2^1253648-1 is not prime. Res64: 61C750337959AC18 Time : 0.0 sec. user=mdettweiler [2013-09-18 19:28:27] 675*2^1253649-1 is not prime. Res64: 1C30D5B90A28EAE7 Time : 0.0 sec. user=mdettweiler [2013-09-18 19:28:27] 681*2^1253649-1 is not prime. Res64: 79753BD935407B1F Time : 0.0 sec. user=juhehe [2013-09-18 19:30:35] 705*2^1253647-1 is not prime. Res64: 2B5B89B70410A7B7 Time : 0.0 sec. user=mdettweiler [2013-09-18 19:38:09] 711*2^1253649-1 is not prime. Res64: 0C0E98A189C4EC1A Time : 0.0 sec. user=mdettweiler [2013-09-18 19:38:09] 745*2^1253649-1 is not prime. Res64: 8BCE9D37EBAA881A Time : 0.0 sec. user=mdettweiler [2013-09-18 19:46:22] 751*2^1253649-1 is not prime. Res64: 19FC7B76C778FED8 Time : 0.0 sec. user=mdettweiler [2013-09-18 19:46:22] 795*2^1253649-1 is not prime. Res64: 9A2B66A09659BBD9 Time : 0.0 sec. user=mdettweiler [2013-09-18 19:48:46] 865*2^1253649-1 is not prime. Res64: EF019D13716356F6 Time : 0.0 sec. user=mdettweiler [2013-09-18 19:48:47] 921*2^1253649-1 is not prime. Res64: 6F4B92903113FE66 Time : 0.0 sec. user=mdettweiler [2013-09-18 19:50:47] 949*2^1253649-1 is not prime. Res64: 3BB98A3154CB5E11 Time : 0.0 sec. user=mdettweiler [2013-09-18 19:50:47] 987*2^1253649-1 is not prime. Res64: 27FFE159C9D1D32E Time : 0.0 sec. user=mdettweiler [2013-09-18 19:58:30] 611*2^1253650-1 is not prime. Res64: 6FF29F9DF7A66939 Time : 0.0 sec. user=mdettweiler [2013-09-18 19:58:30] 675*2^1253650-1 is not prime. Res64: 5C1333B4D292E195 Time : 0.0 sec. user=mdettweiler [2013-09-18 20:06:26] 755*2^1253650-1 is not prime. Res64: ECEA15C307AAA6B9 Time : 0.0 sec. user=mdettweiler [2013-09-18 20:06:27] 773*2^1253650-1 is not prime. Res64: DE1A72DA7CD8A517 Time : 0.0 sec. user=mdettweiler [2013-09-18 20:08:51] 825*2^1253650-1 is not prime. Res64: E3007A42A485C337 Time : 0.0 sec. user=mdettweiler [2013-09-18 20:08:52] 603*2^1253651-1 is not prime. Res64: B84A1444E729BC10 Time : 0.0 sec. user=mdettweiler [2013-09-18 20:10:58] 609*2^1253651-1 is not prime. Res64: 04665425B97EBD9A Time : 0.0 sec. user=mdettweiler [2013-09-18 20:10:59] 651*2^1253651-1 is not prime. Res64: E80F5CEF4200D096 Time : 0.0 sec. user=mdettweiler [2013-09-18 20:18:35] 685*2^1253651-1 is not prime. Res64: EF83E1FEBAB27A7B Time : 0.0 sec. user=mdettweiler [2013-09-18 20:18:35] 841*2^1253651-1 is not prime. Res64: 55C19D8E31D4E936 Time : 0.0 sec. user=mdettweiler [2013-09-18 20:28:54] 913*2^1253651-1 is not prime. Res64: B2EC900A94FF640A Time : 0.0 sec. user=mdettweiler [2013-09-18 20:28:54] 931*2^1253651-1 is not prime. Res64: CD9364A20C6BBA56 Time : 0.0 sec. user=mdettweiler [2013-09-18 20:29:20] 633*2^1253652-1 is not prime. Res64: 22DAEEC0BD909AB9 Time : 0.0 sec. user=mdettweiler [2013-09-18 20:29:20] 675*2^1253652-1 is not prime. Res64: 460969AFB384F60E Time : 0.0 sec. user=mdettweiler [2013-09-18 20:32:29] 767*2^1253652-1 is not prime. Res64: BAE8CDD95323488E Time : 0.0 sec. user=mdettweiler [2013-09-18 20:32:29] 947*2^1253652-1 is not prime. Res64: 75333FA9D6869F41 Time : 0.0 sec. user=mdettweiler [2013-09-18 20:38:50] 607*2^1253653-1 is not prime. Res64: 7EE0C8ADC809DB23 Time : 0.0 sec. user=mdettweiler [2013-09-18 20:38:50] 811*2^1253653-1 is not prime. Res64: C614CAE664FC042F Time : 0.0 sec. user=juhehe [2013-09-18 20:48:52] 949*2^1253651-1 is not prime. Res64: 9CB3288A68EC4B4E Time : 0.0 sec. user=mdettweiler [2013-09-18 20:49:02] 817*2^1253653-1 is not prime. Res64: C858D67B86A4265D Time : 0.0 sec. user=mdettweiler [2013-09-18 20:49:03] 835*2^1253653-1 is not prime. Res64: 674DF377B38F011F Time : 0.0 sec. user=mdettweiler [2013-09-18 20:51:20] 945*2^1253653-1 is not prime. Res64: E8BE088B9D9904A7 Time : 0.0 sec. user=mdettweiler [2013-09-18 20:51:20] 979*2^1253653-1 is not prime. Res64: F52B4D92487CE4AF Time : 0.0 sec. user=mdettweiler [2013-09-18 20:52:32] 615*2^1253654-1 is not prime. Res64: 1FCBC7DF9EAC4116 Time : 0.0 sec. user=mdettweiler [2013-09-18 20:52:32] 705*2^1253654-1 is not prime. Res64: 7981115E34337FEF Time : 0.0 sec. user=mdettweiler [2013-09-18 20:58:53] 731*2^1253654-1 is not prime. Res64: 59074547AD028319 Time : 0.0 sec. user=mdettweiler [2013-09-18 20:58:53] 743*2^1253654-1 is not prime. Res64: 80E1F4E1794EEC48 Time : 0.0 sec. user=mdettweiler [2013-09-18 21:09:19] 797*2^1253654-1 is not prime. Res64: 8EBD7BD81A1E143D Time : 0.0 sec. user=mdettweiler [2013-09-18 21:09:21] 857*2^1253654-1 is not prime. Res64: 5837AD7473102F21 Time : 0.0 sec. user=mdettweiler [2013-09-18 21:13:30] 903*2^1253654-1 is not prime. Res64: 30B1DDF8AF563DD5 Time : 0.0 sec. user=mdettweiler [2013-09-18 21:13:31] 953*2^1253654-1 is not prime. Res64: ED4B3D8BB9425FFF Time : 0.0 sec. user=mdettweiler [2013-09-18 21:13:46] 965*2^1253654-1 is not prime. Res64: AAAE5A8CA198132F Time : 0.0 sec. user=mdettweiler [2013-09-18 21:13:47] 829*2^1253655-1 is not prime. Res64: 1F1C217C4821F6C5 Time : 0.0 sec. user=mdettweiler [2013-09-18 21:19:52] 979*2^1253655-1 is not prime. Res64: 212CEC31CC026E22 Time : 0.0 sec. user=mdettweiler [2013-09-18 21:19:52] 645*2^1253656-1 is not prime. Res64: 75502B30FBE27FB2 Time : 0.0 sec. user=juhehe [2013-09-18 21:25:01] 785*2^1253654-1 is not prime. Res64: A261A664867BC0DE Time : 0.0 sec. user=mdettweiler [2013-09-18 21:29:30] 695*2^1253656-1 is not prime. Res64: 419E8F9D3A6201F7 Time : 0.0 sec. user=mdettweiler [2013-09-18 21:29:30] 747*2^1253656-1 is not prime. Res64: 43DCE8F3B7DB5C4D Time : 0.0 sec. user=mdettweiler [2013-09-18 21:34:48] 803*2^1253656-1 is not prime. Res64: 7A8C5E4C66C13AB4 Time : 0.0 sec. user=mdettweiler [2013-09-18 21:34:48] 873*2^1253656-1 is not prime. Res64: D0F7619CD84956D6 Time : 0.0 sec. user=mdettweiler [2013-09-18 21:36:16] 897*2^1253656-1 is not prime. Res64: 56E4E5C25B75B215 Time : 0.0 sec. user=mdettweiler [2013-09-18 21:36:17] 899*2^1253656-1 is not prime. Res64: 260AF2F11E7F57C8 Time : 0.0 sec. user=mdettweiler [2013-09-18 21:41:03] 933*2^1253656-1 is not prime. Res64: B336A67902E39883 Time : 0.0 sec. user=mdettweiler [2013-09-18 21:41:03] 611*2^1253658-1 is not prime. Res64: 2CB6F0885EE3608E Time : 0.0 sec. user=mdettweiler [2013-09-18 21:49:42] 651*2^1253658-1 is not prime. Res64: B4719BCFC867354C Time : 0.0 sec. user=mdettweiler [2013-09-18 21:49:43] 671*2^1253658-1 is not prime. Res64: 71A6C7E356B8E055 Time : 0.0 sec. user=mdettweiler [2013-09-18 21:55:00] 777*2^1253658-1 is not prime. Res64: BD0E3C97072EB346 Time : 0.0 sec. user=mdettweiler [2013-09-18 21:55:00] 825*2^1253658-1 is not prime. Res64: E41E3A01DC468C87 Time : 0.0 sec. user=mdettweiler [2013-09-18 21:57:46] 1001*2^1253658-1 is not prime. Res64: 4DE6A726573F8FD0 Time : 0.0 sec. user=mdettweiler [2013-09-18 21:57:46] 625*2^1253659-1 is not prime. Res64: FADCAEC1BB3619F7 Time : 0.0 sec. user=mdettweiler [2013-09-18 22:01:24] 679*2^1253659-1 is not prime. Res64: 762D56DD2156F4C6 Time : 0.0 sec. user=mdettweiler [2013-09-18 22:01:24] 741*2^1253659-1 is not prime. Res64: 2268EE18DC965839 Time : 0.0 sec. user=mdettweiler [2013-09-18 22:10:06] 769*2^1253659-1 is not prime. Res64: 031B9752B1087EB8 Time : 0.0 sec. user=mdettweiler [2013-09-18 22:10:06] 789*2^1253659-1 is not prime. Res64: 27059DBB9EE0CD7B Time : 0.0 sec. user=mdettweiler [2013-09-18 22:16:08] 813*2^1253659-1 is not prime. Res64: FBE83DC03CD206CA Time : 0.0 sec. user=mdettweiler [2013-09-18 22:16:09] 931*2^1253659-1 is not prime. Res64: 4ED792A8DBBFD7AD Time : 0.0 sec. user=mdettweiler [2013-09-18 22:17:56] 609*2^1253660-1 is not prime. Res64: B80D16CE370BD902 Time : 0.0 sec. user=mdettweiler [2013-09-18 22:17:56] 663*2^1253660-1 is not prime. Res64: 0360139929690623 Time : 0.0 sec. user=mdettweiler [2013-09-18 22:21:26] 735*2^1253660-1 is not prime. Res64: 3201FAEBB5A20BD6 Time : 0.0 sec. user=mdettweiler [2013-09-18 22:21:26] 755*2^1253660-1 is not prime. Res64: 77B791C618A3EC4D Time : 0.0 sec. user=mdettweiler [2013-09-18 22:30:05] 767*2^1253660-1 is not prime. Res64: ABCF0036991CFF32 Time : 0.0 sec. user=mdettweiler [2013-09-18 22:30:05] 855*2^1253660-1 is not prime. Res64: 38D15AE7E1C9AA93 Time : 0.0 sec. user=mdettweiler [2013-09-18 22:38:15] 875*2^1253660-1 is not prime. Res64: B2845BB9D431FD70 Time : 0.0 sec. user=mdettweiler [2013-09-18 22:38:15] 987*2^1253660-1 is not prime. Res64: 595A6A8413B7C6ED Time : 0.0 sec. user=mdettweiler [2013-09-18 22:39:06] 999*2^1253660-1 is not prime. Res64: A814C0A0ECD029F0 Time : 0.0 sec. user=mdettweiler [2013-09-18 22:39:06] 661*2^1253661-1 is not prime. Res64: 458B5AFA890E4CDE Time : 0.0 sec. user=mdettweiler [2013-09-18 22:42:29] 781*2^1253661-1 is not prime. Res64: 9B6E817B5816D2BC Time : 0.0 sec. user=mdettweiler [2013-09-18 22:42:30] 871*2^1253661-1 is not prime. Res64: 468259572D3BC3B1 Time : 0.0 sec. user=mdettweiler [2013-09-18 22:51:14] 907*2^1253661-1 is not prime. Res64: 802683D19877D20B Time : 0.0 sec. user=mdettweiler [2013-09-18 22:51:14] 623*2^1253662-1 is not prime. Res64: 1F8B71DB1C0D8E90 Time : 0.0 sec. user=mdettweiler [2013-09-18 22:58:18] 645*2^1253662-1 is not prime. Res64: 1BF25D22CC2CCB5C Time : 0.0 sec. user=mdettweiler [2013-09-18 22:58:18] 665*2^1253662-1 is not prime. Res64: 358E4A61C638ECDA Time : 0.0 sec. user=mdettweiler [2013-09-18 22:59:06] 737*2^1253662-1 is not prime. Res64: FD6F34F56406589F Time : 0.0 sec. user=mdettweiler [2013-09-18 22:59:06] 833*2^1253662-1 is not prime. Res64: DE4298AB7178FCF2 Time : 0.0 sec. user=mdettweiler [2013-09-18 23:04:17] 885*2^1253662-1 is not prime. Res64: EA53D6BE61FFB7DA Time : 0.0 sec. user=mdettweiler [2013-09-18 23:04:18] 945*2^1253662-1 is not prime. Res64: 2B88DE9D191CE7B3 Time : 0.0 sec. user=mdettweiler [2013-09-18 23:11:06] 663*2^1253663-1 is not prime. Res64: 85009816CB523189 Time : 0.0 sec. user=mdettweiler [2013-09-18 23:11:07] 825*2^1253663-1 is not prime. Res64: 4E10D5B3F8BD46BB Time : 0.0 sec. user=mdettweiler [2013-09-18 23:19:55] 993*2^1253663-1 is not prime. Res64: B093F175992E5FEF Time : 0.0 sec. user=mdettweiler [2013-09-18 23:19:56] 725*2^1253664-1 is not prime. Res64: 9281A65D5F80ADF4 Time : 0.0 sec. user=mdettweiler [2013-09-18 23:20:03] 949*2^1253663-1 is not prime. Res64: 33BB8B2E2735F170 Time : 0.0 sec. user=mdettweiler [2013-09-18 23:20:03] 969*2^1253663-1 is not prime. Res64: 41F9CF0C5D6C7B30 Time : 0.0 sec. user=mdettweiler [2013-09-18 23:25:06] 765*2^1253664-1 is not prime. Res64: 188C41C0C3D5B8EF Time : 0.0 sec. user=mdettweiler [2013-09-18 23:25:06] 905*2^1253664-1 is not prime. Res64: 99D79DD234074A28 Time : 0.0 sec. user=juhehe [2013-09-18 23:25:45] 621*2^1253663-1 is not prime. Res64: 846D3A258EB1A45C Time : 0.0 sec. user=mdettweiler [2013-09-18 23:32:56] 927*2^1253664-1 is not prime. Res64: E2284BD6FECE4A0D Time : 0.0 sec. user=mdettweiler [2013-09-18 23:32:56] 929*2^1253664-1 is not prime. Res64: 2927168413CEAC85 Time : 0.0 sec. user=mdettweiler [2013-09-18 23:40:48] 947*2^1253664-1 is not prime. Res64: D8423F3E5626CA75 Time : 0.0 sec. user=mdettweiler [2013-09-18 23:40:48] 831*2^1253665-1 is not prime. Res64: 543CB11BBF3C6F1B Time : 0.0 sec. user=mdettweiler [2013-09-18 23:40:57] 855*2^1253665-1 is not prime. Res64: 9799EED188AA1159 Time : 0.0 sec. user=mdettweiler [2013-09-18 23:40:57] 877*2^1253665-1 is not prime. Res64: 40476D681CFB3E57 Time : 0.0 sec. user=mdettweiler [2013-09-18 23:46:54] 897*2^1253665-1 is not prime. Res64: 42DCD09D7FC2575C Time : 0.0 sec. user=mdettweiler [2013-09-18 23:46:54] 915*2^1253665-1 is not prime. Res64: 32E3BBB91B190663 Time : 0.0 sec. user=mdettweiler [2013-09-18 23:53:51] 987*2^1253665-1 is not prime. Res64: 7920277D5E343C13 Time : 0.0 sec. user=mdettweiler [2013-09-18 23:53:51] 755*2^1253666-1 is not prime. Res64: 3E9121C917714748 Time : 0.0 sec. user=mdettweiler [2013-09-19 00:00:50] 625*2^1253667-1 is not prime. Res64: AB06810082C92DA2 Time : 0.0 sec. user=mdettweiler [2013-09-19 00:00:50] 711*2^1253667-1 is not prime. Res64: 9E6B604B833A90C2 Time : 0.0 sec.