user=mdettweiler [2013-02-25 00:07:32] 945*2^1241604-1 is not prime. Res64: CAD0E1C247C05057 Time : 0.0 sec. user=vaughan [2013-02-25 00:18:06] 661*2^1241605-1 is not prime. Res64: 45F87A3D6A0FDB1F Time : 0.0 sec. user=juhehe [2013-02-25 00:18:06] 717*2^1241605-1 is not prime. Res64: A8EE6638B1D16702 Time : 0.0 sec. user=juhehe [2013-02-25 00:20:29] 799*2^1241605-1 is not prime. Res64: 6997EEDCE1145E16 Time : 0.0 sec. user=mdettweiler [2013-02-25 00:25:16] 833*2^1241606-1 is not prime. Res64: 0D5BC86A374F22D2 Time : 0.0 sec. user=mdettweiler [2013-02-25 00:25:17] 661*2^1241607-1 is not prime. Res64: 8F9E73215DCDD5F8 Time : 0.0 sec. user=mdettweiler [2013-02-25 00:34:19] 955*2^1241605-1 is not prime. Res64: 5E2FA33440C3D725 Time : 0.0 sec. user=mdettweiler [2013-02-25 00:43:01] 693*2^1241607-1 is not prime. Res64: A61225AF3DCCFF7E Time : 0.0 sec. user=mdettweiler [2013-02-25 00:43:02] 735*2^1241607-1 is not prime. Res64: 9474E061107F14E5 Time : 0.0 sec. user=juhehe [2013-02-25 00:47:46] 825*2^1241605-1 is not prime. Res64: BB76612A910BDB92 Time : 0.0 sec. user=mdettweiler [2013-02-25 00:58:43] 801*2^1241606-1 is not prime. Res64: 9C7307750A322F23 Time : 0.0 sec. user=mdettweiler [2013-02-25 01:00:42] 741*2^1241607-1 is not prime. Res64: 78D13F761E8F4BA7 Time : 0.0 sec. user=mdettweiler [2013-02-25 01:00:44] 819*2^1241607-1 is not prime. Res64: E36D4678D45DE00C Time : 0.0 sec. user=mdettweiler [2013-02-25 01:16:09] 875*2^1241608-1 is not prime. Res64: 42903430A98272EA Time : 0.0 sec. user=mdettweiler [2013-02-25 01:16:10] 905*2^1241608-1 is not prime. Res64: 949455029906B381 Time : 0.0 sec. user=mdettweiler [2013-02-25 01:18:18] 927*2^1241608-1 is not prime. Res64: 941E5859C88B4FC5 Time : 0.0 sec. user=juhehe [2013-02-25 01:28:22] 963*2^1241607-1 is not prime. Res64: C145062530BE7DB4 Time : 0.0 sec. user=vaughan [2013-02-25 01:31:57] 735*2^1241608-1 is not prime. Res64: 09FA8F498D615B08 Time : 0.0 sec. user=mdettweiler [2013-02-25 01:33:49] 885*2^1241609-1 is not prime. Res64: 723D605244F6616B Time : 0.0 sec. user=mdettweiler [2013-02-25 01:33:50] 945*2^1241609-1 is not prime. Res64: 79E19934FE4E7E96 Time : 0.0 sec. user=mdettweiler [2013-02-25 01:41:43] 721*2^1241609-1 is not prime. Res64: 7E69396CDFB31EE2 Time : 0.0 sec. user=mdettweiler [2013-02-25 01:51:43] 725*2^1241610-1 is not prime. Res64: EED8AFFBAE34311F Time : 0.0 sec. user=juhehe [2013-02-25 01:52:54] 961*2^1241607-1 is not prime. Res64: 56C75B4E0D1F8D68 Time : 0.0 sec. user=juhehe [2013-02-25 02:04:39] 611*2^1241610-1 is not prime. Res64: CA649877F567EF29 Time : 0.0 sec. user=juhehe [2013-02-25 02:06:48] 791*2^1241530-1 is not prime. Res64: 27B654C0D5F40D86 Time : 0.0 sec. user=vaughan [2013-02-25 02:10:26] 627*2^1241610-1 is not prime. Res64: 7DBD24C7601CA2B3 Time : 0.0 sec. user=mdettweiler [2013-02-25 02:20:32] 745*2^1241611-1 is not prime. Res64: CC8A74F25CE9D1E5 Time : 0.0 sec. user=mdettweiler [2013-02-25 02:20:33] 789*2^1241611-1 is not prime. Res64: 564D43924D44D807 Time : 0.0 sec. user=mdettweiler [2013-02-25 02:27:23] 945*2^1241610-1 is not prime. Res64: 3DD40DBA883DD1FD Time : 0.0 sec. user=juhehe [2013-02-25 02:28:52] 629*2^1241612-1 is not prime. Res64: CA76809F75C2A339 Time : 0.0 sec. user=mdettweiler [2013-02-25 02:38:01] 725*2^1241612-1 is not prime. Res64: C1D8B8C74C0A3829 Time : 0.0 sec. user=mdettweiler [2013-02-25 02:38:03] 803*2^1241612-1 is not prime. Res64: A163B71140C6EE10 Time : 0.0 sec. user=mdettweiler [2013-02-25 02:44:50] 827*2^1241612-1 is not prime. Res64: 8005C8DD8681009F Time : 0.0 sec. user=mdettweiler [2013-02-25 02:44:51] 843*2^1241612-1 is not prime. Res64: 61F806F8C9CF9E3B Time : 0.0 sec. user=juhehe [2013-02-25 02:49:31] 625*2^1241611-1 is not prime. Res64: B393F0319EC4299B Time : 0.0 sec. user=mdettweiler [2013-02-25 02:55:45] 909*2^1241612-1 is not prime. Res64: 3898C27B4B27CAAD Time : 0.0 sec. user=mdettweiler [2013-02-25 02:55:46] 945*2^1241612-1 is not prime. Res64: E21CAFA86F5CF64F Time : 0.0 sec. user=mdettweiler [2013-02-25 03:02:44] 963*2^1241612-1 is not prime. Res64: 90E0E8781EDA635A Time : 0.0 sec. user=mdettweiler [2013-02-25 03:02:44] 609*2^1241613-1 is not prime. Res64: 20F0BF170EB8276E Time : 0.0 sec. user=juhehe [2013-02-25 03:12:49] 885*2^1241612-1 is not prime. Res64: 42A563312F655074 Time : 0.0 sec. user=mdettweiler [2013-02-25 03:13:41] 927*2^1241613-1 is not prime. Res64: C9B4C2D32891D01B Time : 0.0 sec. user=mdettweiler [2013-02-25 03:20:48] 999*2^1241613-1 is not prime. Res64: 20EBC9A92FE5F838 Time : 0.0 sec. user=vaughan [2013-02-25 03:25:29] 915*2^1241613-1 is not prime. Res64: EC988E33C5C68085 Time : 0.0 sec. user=mdettweiler [2013-02-25 03:31:51] 961*2^1241613-1 is not prime. Res64: 80D47ED11E6E0EE7 Time : 0.0 sec. user=juhehe [2013-02-25 03:53:38] 819*2^1241613-1 is not prime. Res64: A6DAC9CC2377209A Time : 0.0 sec. user=mdettweiler [2013-02-25 03:55:31] 975*2^1241614-1 is not prime. Res64: FE1C3EE3BD3B0B51 Time : 0.0 sec. user=juhehe [2013-02-25 04:01:26] 987*2^1241614-1 is not prime. Res64: 4B2C7E0FF380403C Time : 0.0 sec. user=mdettweiler [2013-02-25 04:02:45] 663*2^1241615-1 is not prime. Res64: 9C7FE9813EE69BDB Time : 0.0 sec. user=mdettweiler [2013-02-25 04:02:46] 735*2^1241615-1 is not prime. Res64: C097A24F23E17E15 Time : 0.0 sec. user=mdettweiler [2013-02-25 04:12:54] 689*2^1241616-1 is not prime. Res64: 47BCA81536EC118C Time : 0.0 sec. user=mdettweiler [2013-02-25 04:12:55] 695*2^1241616-1 is not prime. Res64: BDA2D8525A379A97 Time : 0.0 sec. user=mdettweiler [2013-02-25 04:20:13] 845*2^1241616-1 is not prime. Res64: 185EBAAB1DAEE568 Time : 0.0 sec. user=mdettweiler [2013-02-25 04:20:14] 887*2^1241616-1 is not prime. Res64: B0D645F460254D21 Time : 0.0 sec. user=juhehe [2013-02-25 04:22:56] 855*2^1241615-1 is not prime. Res64: EF331D34D0882B40 Time : 0.0 sec. user=mdettweiler [2013-02-25 04:30:39] 945*2^1241616-1 is not prime. Res64: 5A5A8AA0FC8E309C Time : 0.0 sec. user=mdettweiler [2013-02-25 04:30:40] 661*2^1241617-1 is not prime. Res64: 77FC78B5AA434A08 Time : 0.0 sec. user=mdettweiler [2013-02-25 04:38:03] 729*2^1241617-1 is not prime. Res64: 5D2809B61E8C8355 Time : 0.0 sec. user=vaughan [2013-02-25 04:39:33] 759*2^1241616-1 is not prime. Res64: 78A77E69912A160C Time : 0.0 sec. user=mdettweiler [2013-02-25 04:48:28] 841*2^1241617-1 is not prime. Res64: 5B8483D50FDAAF21 Time : 0.0 sec. user=mdettweiler [2013-02-25 04:48:29] 957*2^1241617-1 is not prime. Res64: 90E0F198F2996928 Time : 0.0 sec. user=juhehe [2013-02-25 04:51:12] 921*2^1241615-1 is not prime. Res64: 4676BD7D79A50A22 Time : 0.0 sec. user=juhehe [2013-02-25 04:57:03] 805*2^1241617-1 is not prime. Res64: 337953455AE74E1D Time : 0.0 sec. user=mdettweiler [2013-02-25 05:06:13] 633*2^1241618-1 is not prime. Res64: 5D801F0BA2A6FE53 Time : 0.0 sec. user=mdettweiler [2013-02-25 05:13:22] 769*2^1241617-1 is not prime. Res64: 58B46ACFEC352745 Time : 0.0 sec. user=juhehe [2013-02-25 05:31:39] 857*2^1241618-1 is not prime. Res64: EDE54925D5414A9E Time : 0.0 sec. user=mdettweiler [2013-02-25 05:35:15] 665*2^1241618-1 is not prime. Res64: 0AE03B69D6E160B8 Time : 0.0 sec. user=mdettweiler [2013-02-25 05:52:40] 971*2^1241618-1 is not prime. Res64: 4633AF042A129FC6 Time : 0.0 sec. user=mdettweiler [2013-02-25 05:52:41] 609*2^1241619-1 is not prime. Res64: 71DDD4C2C0F6ECE2 Time : 0.0 sec. user=vaughan [2013-02-25 05:53:36] 893*2^1241618-1 is not prime. Res64: 7DCBE773910682B1 Time : 0.0 sec. user=juhehe [2013-02-25 05:54:14] 705*2^1241618-1 is not prime. Res64: AA095ABF377FFA7A Time : 0.0 sec. user=mdettweiler [2013-02-25 06:06:04] 751*2^1241619-1 is not prime. Res64: 1B85523DBADCB14F Time : 0.0 sec. user=juhehe [2013-02-25 06:07:00] 935*2^1241618-1 is not prime. Res64: 402E2E6A8808C005 Time : 0.0 sec. user=mdettweiler [2013-02-25 06:10:34] 903*2^1241619-1 is not prime. Res64: 4065D8015A479678 Time : 0.0 sec. user=mdettweiler [2013-02-25 06:28:58] 793*2^1241619-1 is not prime. Res64: 520514153A5E2EDE Time : 0.0 sec. user=vaughan [2013-02-25 06:31:51] 677*2^1241620-1 is not prime. Res64: AE3DAE776AEFFBDE Time : 0.0 sec. user=mdettweiler [2013-02-25 06:40:20] 951*2^1241619-1 is not prime. Res64: 99EF4CC27983B17C Time : 0.0 sec. user=juhehe [2013-02-25 06:40:58] 687*2^1241620-1 is not prime. Res64: 5CB9C41F7D725416 Time : 0.0 sec. user=juhehe [2013-02-25 06:52:23] 829*2^1241619-1 is not prime. Res64: 19C067BEF3C1655B Time : 0.0 sec. user=mdettweiler [2013-02-25 06:57:58] 927*2^1241620-1 is not prime. Res64: 9AC5608F69813F59 Time : 0.0 sec. user=mdettweiler [2013-02-25 06:57:58] 615*2^1241621-1 is not prime. Res64: 5BF5118001C79BCE Time : 0.0 sec. user=juhehe [2013-02-25 07:01:00] 905*2^1241620-1 is not prime. Res64: A16490CC6E91CC22 Time : 0.0 sec. user=mdettweiler [2013-02-25 07:06:02] 679*2^1241621-1 is not prime. Res64: A50108F78A1B6DAA Time : 0.0 sec. user=mdettweiler [2013-02-25 07:06:03] 757*2^1241621-1 is not prime. Res64: 5EDF6D9776ACCAAB Time : 0.0 sec. user=vaughan [2013-02-25 07:10:11] 887*2^1241620-1 is not prime. Res64: A30D7E825EAB3940 Time : 0.0 sec. user=mdettweiler [2013-02-25 07:15:27] 865*2^1241621-1 is not prime. Res64: 8E10493FF279BD22 Time : 0.0 sec. user=mdettweiler [2013-02-25 07:15:27] 907*2^1241621-1 is not prime. Res64: A22C505408CB80DE Time : 0.0 sec. user=mdettweiler [2013-02-25 07:24:16] 937*2^1241621-1 is not prime. Res64: 7C600CB519BCA89E Time : 0.0 sec. user=mdettweiler [2013-02-25 07:24:18] 945*2^1241621-1 is not prime. Res64: 0153F82A75309364 Time : 0.0 sec. user=mdettweiler [2013-02-25 07:33:37] 681*2^1241622-1 is not prime. Res64: 7E3437D78AEFC427 Time : 0.0 sec. user=mdettweiler [2013-02-25 07:33:37] 755*2^1241622-1 is not prime. Res64: B48BEA67D107BC17 Time : 0.0 sec. user=mdettweiler [2013-02-25 07:42:24] 915*2^1241622-1 is not prime. Res64: 0F5CB49E17966B77 Time : 0.0 sec. user=vaughan [2013-02-25 07:48:46] 949*2^1241621-1 is not prime. Res64: 07B311BA2C3FEC98 Time : 0.0 sec. user=mdettweiler [2013-02-25 07:51:15] 661*2^1241623-1 is not prime. Res64: 9F49BC36FC0AE622 Time : 0.0 sec. user=mdettweiler [2013-02-25 07:51:16] 673*2^1241623-1 is not prime. Res64: A9F7AED557BECD43 Time : 0.0 sec. user=juhehe [2013-02-25 07:55:21] 769*2^1241621-1 is not prime. Res64: BB52472EC593AEC5 Time : 0.0 sec. user=mdettweiler [2013-02-25 07:59:42] 609*2^1241623-1 is not prime. Res64: 5757ED861FCA6E07 Time : 0.0 sec. user=mdettweiler [2013-02-25 08:08:57] 703*2^1241623-1 is not prime. Res64: B109E3345D3310AA Time : 0.0 sec. user=mdettweiler [2013-02-25 08:09:14] 723*2^1241623-1 is not prime. Res64: 5CD8663E835C28ED Time : 0.0 sec. user=mdettweiler [2013-02-25 08:17:21] 729*2^1241623-1 is not prime. Res64: 8742152279C3DEB6 Time : 0.0 sec. user=mdettweiler [2013-02-25 08:17:21] 849*2^1241623-1 is not prime. Res64: C62CCE327F908835 Time : 0.0 sec. user=juhehe [2013-02-25 08:24:49] 685*2^1241623-1 is not prime. Res64: E85FF75D49954F04 Time : 0.0 sec. user=juhehe [2013-02-25 08:30:21] 895*2^1241623-1 is not prime. Res64: 0186230362CA7FB1 Time : 0.0 sec. user=mdettweiler [2013-02-25 08:34:55] 925*2^1241623-1 is not prime. Res64: AA8001EB44E3D55A Time : 0.0 sec. user=juhehe [2013-02-25 08:50:37] 759*2^1241624-1 is not prime. Res64: 590E1C0A16FE0C3A Time : 0.0 sec. user=mdettweiler [2013-02-25 08:53:05] 825*2^1241624-1 is not prime. Res64: 9D20DF01E3FBA04F Time : 0.0 sec. user=mdettweiler [2013-02-25 08:53:06] 827*2^1241624-1 is not prime. Res64: 0A9C2F3F7E7B41C2 Time : 0.0 sec. user=juhehe [2013-02-25 08:53:26] 693*2^1241623-1 is not prime. Res64: 6CBCB3DE893908DB Time : 0.0 sec. user=mdettweiler [2013-02-25 09:02:41] 939*2^1241623-1 is not prime. Res64: 1509C44A950DB869 Time : 0.0 sec. user=vaughan [2013-02-25 09:02:41] 665*2^1241624-1 is not prime. Res64: 6A4B36FBA631D885 Time : 0.0 sec. user=juhehe [2013-02-25 09:07:06] 973*2^1241623-1 is not prime. Res64: 2316088EC1F99FA4 Time : 0.0 sec. user=mdettweiler [2013-02-25 09:10:47] 833*2^1241624-1 is not prime. Res64: 061BF85A527B33DF Time : 0.0 sec. user=mdettweiler [2013-02-25 09:10:47] 857*2^1241624-1 is not prime. Res64: 6BA44263475AAA75 Time : 0.0 sec. user=mdettweiler [2013-02-25 09:28:31] 625*2^1241625-1 is not prime. Res64: 5568C3FF9010AFF3 Time : 0.0 sec. user=mdettweiler [2013-02-25 09:28:31] 717*2^1241625-1 is not prime. Res64: 1A5187201CED4CC1 Time : 0.0 sec. user=mdettweiler [2013-02-25 09:46:09] 741*2^1241625-1 is not prime. Res64: 0A99B3BE6A2B25E8 Time : 0.0 sec. user=mdettweiler [2013-02-25 09:46:09] 781*2^1241625-1 is not prime. Res64: F8E0E6BC0550DD8A Time : 0.0 sec. user=mdettweiler [2013-02-25 09:48:33] 849*2^1241625-1 is not prime. Res64: F5EC9C8ACE03DDC3 Time : 0.0 sec. user=mdettweiler [2013-02-25 09:48:33] 635*2^1241626-1 is not prime. Res64: 3FC87F6F4DDC3651 Time : 0.0 sec. user=juhehe [2013-02-25 09:56:23] 893*2^1241624-1 is not prime. Res64: AA6552E7FF48B9BA Time : 0.0 sec. user=mdettweiler [2013-02-25 10:04:02] 873*2^1241626-1 is not prime. Res64: 2642BBDA48471472 Time : 0.0 sec. user=mdettweiler [2013-02-25 10:06:06] 987*2^1241626-1 is not prime. Res64: 6CDFB1043B3A390A Time : 0.0 sec. user=mdettweiler [2013-02-25 10:06:07] 669*2^1241627-1 is not prime. Res64: 6B7AE80F47BE3FFC Time : 0.0 sec. user=juhehe [2013-02-25 10:09:58] 737*2^1241626-1 is not prime. Res64: 5A3CFF055F41D2E1 Time : 0.0 sec. user=vaughan [2013-02-25 10:16:48] 755*2^1241626-1 is not prime. Res64: 91068D969268FF0C Time : 0.0 sec. user=juhehe [2013-02-25 10:19:15] 735*2^1241627-1 is not prime. Res64: 7B3CEF686F78F201 Time : 0.0 sec. user=mdettweiler [2013-02-25 10:19:16] 903*2^1241626-1 is not prime. Res64: 281098CBD9C717F5 Time : 0.0 sec. user=mdettweiler [2013-02-25 10:23:57] 759*2^1241627-1 is not prime. Res64: 26441519520CF1A0 Time : 0.0 sec. user=mdettweiler [2013-02-25 10:37:07] 871*2^1241627-1 is not prime. Res64: 6936C679006B17B4 Time : 0.0 sec. user=mdettweiler [2013-02-25 10:37:07] 879*2^1241627-1 is not prime. Res64: 1316DCD016AC34FB Time : 0.0 sec. user=mdettweiler [2013-02-25 10:48:40] 825*2^1241627-1 is not prime. Res64: 4A5B99021EBFB390 Time : 0.0 sec. user=juhehe [2013-02-25 10:51:11] 861*2^1241627-1 is not prime. Res64: FE5C7B2A8263A29D Time : 0.0 sec. user=juhehe [2013-02-25 10:53:51] 715*2^1241627-1 is not prime. Res64: 06B7CD9DD05CF7A2 Time : 0.0 sec. user=mdettweiler [2013-02-25 10:55:03] 963*2^1241627-1 is not prime. Res64: 4F334671051EC6B0 Time : 0.0 sec. user=mdettweiler [2013-02-25 11:19:40] 979*2^1241627-1 is not prime. Res64: 1D7D6B3C41F57EF3 Time : 0.0 sec. user=mdettweiler [2013-02-25 11:21:35] 737*2^1241628-1 is not prime. Res64: CFDF8E1F04A07B9A Time : 0.0 sec. user=mdettweiler [2013-02-25 11:21:35] 749*2^1241628-1 is not prime. Res64: 69A46CF74CD7A29F Time : 0.0 sec. user=vaughan [2013-02-25 11:30:32] 635*2^1241628-1 is not prime. Res64: 1CAB953F784C113E Time : 0.0 sec. user=mdettweiler [2013-02-25 11:37:15] 777*2^1241628-1 is not prime. Res64: CF3186A379246AA8 Time : 0.0 sec. user=mdettweiler [2013-02-25 11:39:18] 825*2^1241628-1 is not prime. Res64: A704415E4F48489E Time : 0.0 sec. user=juhehe [2013-02-25 11:48:48] 927*2^1241628-1 is not prime. Res64: 3A07A0FD69B7E570 Time : 0.0 sec. user=juhehe [2013-02-25 11:58:33] 725*2^1241628-1 is not prime. Res64: 6FB26EDF8CBA31DF Time : 0.0 sec. user=mdettweiler [2013-02-25 12:02:06] 819*2^1241628-1 is not prime. Res64: B8C08080E9F57A9E Time : 0.0 sec. user=mdettweiler [2013-02-25 12:04:03] 867*2^1241628-1 is not prime. Res64: 888EFE2045718F09 Time : 0.0 sec. user=vaughan [2013-02-25 12:08:35] 945*2^1241628-1 is not prime. Res64: 01A3287A812AEE6F Time : 0.0 sec. user=mdettweiler [2013-02-25 12:21:11] 961*2^1241629-1 is not prime. Res64: 439567002728D3BC Time : 0.0 sec. user=mdettweiler [2013-02-25 12:21:12] 999*2^1241629-1 is not prime. Res64: 58AA2C5FA888CA23 Time : 0.0 sec. user=mdettweiler [2013-02-25 12:22:07] 819*2^1241629-1 is not prime. Res64: 8AF84C32EE85BBC4 Time : 0.0 sec. user=juhehe [2013-02-25 12:28:07] 621*2^1241629-1 is not prime. Res64: 9560159646F35560 Time : 0.0 sec. user=juhehe [2013-02-25 12:35:13] 789*2^1241629-1 is not prime. Res64: 450064AA6B7752C1 Time : 0.0 sec. user=mdettweiler [2013-02-25 12:38:58] 887*2^1241630-1 is not prime. Res64: 7833B2425B6BED4C Time : 0.0 sec. user=mdettweiler [2013-02-25 12:38:59] 911*2^1241630-1 is not prime. Res64: F600BA1C827BB617 Time : 0.0 sec. user=vaughan [2013-02-25 12:46:54] 677*2^1241630-1 is not prime. Res64: BAE0568DE33E7565 Time : 0.0 sec. user=mdettweiler [2013-02-25 12:51:02] 605*2^1241630-1 is not prime. Res64: 27B56228F3B64506 Time : 0.0 sec. user=juhehe [2013-02-25 12:54:33] 721*2^1241629-1 is not prime. Res64: 089AF655E6BCBE74 Time : 0.0 sec. user=mdettweiler [2013-02-25 12:56:44] 981*2^1241630-1 is not prime. Res64: A906BC977866403C Time : 0.0 sec. user=mdettweiler [2013-02-25 12:56:45] 691*2^1241631-1 is not prime. Res64: 3AD1339B624C3EEB Time : 0.0 sec. user=mdettweiler [2013-02-25 13:08:41] 921*2^1241631-1 is not prime. Res64: 299A5FF13E297369 Time : 0.0 sec. user=mdettweiler [2013-02-25 13:14:19] 765*2^1241632-1 is not prime. Res64: 33000309BAB268AB Time : 0.0 sec. user=mdettweiler [2013-02-25 13:14:20] 779*2^1241632-1 is not prime. Res64: 11DE4B695704E7ED Time : 0.0 sec. user=vaughan [2013-02-25 13:24:50] 913*2^1241631-1 is not prime. Res64: 6463AE431E875BBB Time : 0.0 sec. user=mdettweiler [2013-02-25 13:32:26] 873*2^1241632-1 is not prime. Res64: 828589FCF25D31B1 Time : 0.0 sec. user=mdettweiler [2013-02-25 13:32:26] 875*2^1241632-1 is not prime. Res64: A3FD6807C45F60B0 Time : 0.0 sec. user=mdettweiler [2013-02-25 13:32:44] 723*2^1241632-1 is not prime. Res64: B30E903853B3D688 Time : 0.0 sec. user=mdettweiler [2013-02-25 13:50:40] 965*2^1241632-1 is not prime. Res64: 4F8419CB0B7297A0 Time : 0.0 sec. user=vaughan [2013-02-25 14:03:13] 957*2^1241632-1 is not prime. Res64: 8A3BA686756D0033 Time : 0.0 sec. user=mdettweiler [2013-02-25 14:10:49] 981*2^1241633-1 is not prime. Res64: 0C5452FF24265ABE Time : 0.0 sec. user=mdettweiler [2013-02-25 14:10:50] 683*2^1241634-1 is not prime. Res64: 0454DF21565C038D Time : 0.0 sec. user=juhehe [2013-02-25 14:12:11] 801*2^1241633-1 is not prime. Res64: B7FC399AC0E6961F Time : 0.0 sec. user=juhehe [2013-02-25 14:19:18] 957*2^1241633-1 is not prime. Res64: 195916173EC0BD2C Time : 0.0 sec. user=mdettweiler [2013-02-25 14:25:36] 651*2^1241633-1 is not prime. Res64: FBE328AFFE1A82D9 Time : 0.0 sec. user=mdettweiler [2013-02-25 14:28:52] 893*2^1241634-1 is not prime. Res64: EAA4AB70D1201EE4 Time : 0.0 sec. user=mdettweiler [2013-02-25 14:28:53] 927*2^1241634-1 is not prime. Res64: 6CB4333B1DABD804 Time : 0.0 sec. user=vaughan [2013-02-25 14:41:43] 833*2^1241634-1 is not prime. Res64: 5E8BA3791D29026F Time : 0.0 sec. user=mdettweiler [2013-02-25 14:43:29] 601*2^1241635-1 is not prime. Res64: AB693544A3750911 Time : 0.0 sec. user=mdettweiler [2013-02-25 14:43:30] 603*2^1241635-1 is not prime. Res64: 7A52C085AC78E4D9 Time : 0.0 sec. user=mdettweiler [2013-02-25 14:46:36] 951*2^1241635-1 is not prime. Res64: 9FAA9FA6128AFF33 Time : 0.0 sec. user=mdettweiler [2013-02-25 14:46:36] 979*2^1241635-1 is not prime. Res64: 5BE3BB1FB7AEAA2F Time : 0.0 sec. user=juhehe [2013-02-25 14:56:36] 705*2^1241634-1 is not prime. Res64: 0B1AAC92E830E936 Time : 0.0 sec. user=juhehe [2013-02-25 14:57:12] 737*2^1241634-1 is not prime. Res64: 57DEDF6F0F4C9A2C Time : 0.0 sec. user=mdettweiler [2013-02-25 15:01:30] 603*2^1241636-1 is not prime. Res64: 539114EAA93B7DEC Time : 0.0 sec. user=mdettweiler [2013-02-25 15:01:30] 659*2^1241636-1 is not prime. Res64: 2077093D2F7B91A0 Time : 0.0 sec. user=mdettweiler [2013-02-25 15:04:38] 677*2^1241636-1 is not prime. Res64: C8408C850F8BB625 Time : 0.0 sec. user=mdettweiler [2013-02-25 15:04:59] 843*2^1241636-1 is not prime. Res64: 2AE09BB2ADD5CDB8 Time : 0.0 sec. user=mdettweiler [2013-02-25 15:19:50] 899*2^1241636-1 is not prime. Res64: E83F6312C909C5D8 Time : 0.0 sec. user=mdettweiler [2013-02-25 15:42:49] 717*2^1241637-1 is not prime. Res64: A4B4D444D120F8E9 Time : 0.0 sec. user=mdettweiler [2013-02-25 15:46:54] 609*2^1241637-1 is not prime. Res64: B5FDB7A269862684 Time : 0.0 sec. user=vaughan [2013-02-25 15:55:26] 667*2^1241637-1 is not prime. Res64: E7D66D8DC506FD95 Time : 0.0 sec. user=mdettweiler [2013-02-25 16:05:33] 975*2^1241637-1 is not prime. Res64: D52102E4874FE8E0 Time : 0.0 sec. user=mdettweiler [2013-02-25 16:14:11] 919*2^1241637-1 is not prime. Res64: 7840FB74A8776B5E Time : 0.0 sec. user=mdettweiler [2013-02-25 16:24:29] 681*2^1241638-1 is not prime. Res64: 29C9CB0A9211FB4A Time : 0.0 sec. user=juhehe [2013-02-25 16:30:09] 737*2^1241638-1 is not prime. Res64: C8308DB6E6B730B4 Time : 0.0 sec. user=vaughan [2013-02-25 16:33:38] 827*2^1241638-1 is not prime. Res64: CC62DC4F650784EA Time : 0.0 sec. user=juhehe [2013-02-25 16:37:06] 615*2^1241639-1 is not prime. Res64: EB615CA4417DBC9F Time : 0.0 sec. user=mdettweiler [2013-02-25 16:43:09] 621*2^1241639-1 is not prime. Res64: A76C4EC9041E8E98 Time : 0.0 sec. user=mdettweiler [2013-02-25 16:48:52] 649*2^1241639-1 is not prime. Res64: 06510AA506E81041 Time : 0.0 sec. user=juhehe [2013-02-25 16:57:22] 825*2^1241638-1 is not prime. Res64: EF9CA730FDA1CD9C Time : 0.0 sec. user=juhehe [2013-02-25 16:58:24] 603*2^1241639-1 is not prime. Res64: 7954AC5E47AE8E4F Time : 0.0 sec. user=mdettweiler [2013-02-25 17:00:55] 645*2^1241639-1 is not prime. Res64: 2658529EA365B6F3 Time : 0.0 sec. user=mdettweiler [2013-02-25 17:10:35] 661*2^1241639-1 is not prime. Res64: A665CF4E25DFAE48 Time : 0.0 sec. user=mdettweiler [2013-02-25 17:19:19] 685*2^1241639-1 is not prime. Res64: 22BF17F8F9660C66 Time : 0.0 sec. user=mdettweiler [2013-02-25 17:19:20] 721*2^1241639-1 is not prime. Res64: 2A78C64DE9969670 Time : 0.0 sec. user=mdettweiler [2013-02-25 17:37:49] 811*2^1241639-1 is not prime. Res64: F96A0E04D12F507E Time : 0.0 sec. user=vaughan [2013-02-25 17:47:38] 729*2^1241639-1 is not prime. Res64: 71152F49D8A146C6 Time : 0.0 sec. user=mdettweiler [2013-02-25 18:05:24] 653*2^1241640-1 is not prime. Res64: F248848041C00EEB Time : 0.0 sec. user=mdettweiler [2013-02-25 18:05:25] 713*2^1241640-1 is not prime. Res64: 0BED3294789DE3A9 Time : 0.0 sec. user=mdettweiler [2013-02-25 18:05:49] 823*2^1241639-1 is not prime. Res64: 855E62F74C102D1C Time : 0.0 sec. user=juhehe [2013-02-25 18:14:21] 861*2^1241639-1 is not prime. Res64: FBA80E4D1F38778C Time : 0.0 sec. user=juhehe [2013-02-25 18:21:05] 633*2^1241640-1 is not prime. Res64: B059BAD885306D97 Time : 0.0 sec. user=mdettweiler [2013-02-25 18:23:41] 789*2^1241640-1 is not prime. Res64: 1D01F2EC031F23D4 Time : 0.0 sec. user=mdettweiler [2013-02-25 18:23:41] 803*2^1241640-1 is not prime. Res64: 7E7F8DC4BEDE92F2 Time : 0.0 sec. user=mdettweiler [2013-02-25 18:24:14] 819*2^1241640-1 is not prime. Res64: F0BF1CA3D7B8470B Time : 0.0 sec. user=mdettweiler [2013-02-25 18:41:56] 615*2^1241641-1 is not prime. Res64: 22CF80524177E042 Time : 0.0 sec. user=mdettweiler [2013-02-25 18:52:33] 945*2^1241640-1 is not prime. Res64: B6C33BE016B8A6B5 Time : 0.0 sec. user=juhehe [2013-02-25 18:59:16] 767*2^1241640-1 is not prime. Res64: 29CAF3C977D39F4C Time : 0.0 sec. user=vaughan [2013-02-25 19:06:47] 975*2^1241640-1 is not prime. Res64: 84C5D10B21814AD2 Time : 0.0 sec. user=mdettweiler [2013-02-25 19:10:16] 651*2^1241641-1 is not prime. Res64: 90B82A446645B345 Time : 0.0 sec. user=mdettweiler [2013-02-25 19:10:34] 741*2^1241641-1 is not prime. Res64: D291682CC784E3C0 Time : 0.0 sec. user=mdettweiler [2013-02-25 19:11:32] 645*2^1241641-1 is not prime. Res64: B9822E74DC13B0E6 Time : 0.0 sec. user=mdettweiler [2013-02-25 19:30:03] 807*2^1241641-1 is not prime. Res64: 49811C1ECB4855EB Time : 0.0 sec. user=juhehe [2013-02-25 19:56:20] 769*2^1241641-1 is not prime. Res64: 51937376604BF9D3 Time : 0.0 sec. user=juhehe [2013-02-25 20:05:14] 635*2^1241642-1 is not prime. Res64: 56B5126B80F956C1 Time : 0.0 sec. user=mdettweiler [2013-02-25 20:07:39] 855*2^1241641-1 is not prime. Res64: E0BEB7312B7FE3D8 Time : 0.0 sec. user=vaughan [2013-02-25 20:20:46] 677*2^1241642-1 is not prime. Res64: 4A85EBDC256AB28E Time : 0.0 sec. user=juhehe [2013-02-25 20:32:30] 701*2^1241642-1 is not prime. Res64: 13CC572C83927508 Time : 0.0 sec. user=mdettweiler [2013-02-25 20:43:12] 875*2^1241642-1 is not prime. Res64: 071FFDA53CA16FDB Time : 0.0 sec. user=vaughan [2013-02-25 20:58:53] 755*2^1241642-1 is not prime. Res64: 206FC65A5A2D9FD8 Time : 0.0 sec. user=mdettweiler [2013-02-25 20:59:41] 945*2^1241642-1 is not prime. Res64: 1272EC234C2B470A Time : 0.0 sec. user=juhehe [2013-02-25 21:00:51] 753*2^1241642-1 is not prime. Res64: 98C2B20779119005 Time : 0.0 sec. user=mdettweiler [2013-02-25 21:13:20] 885*2^1241642-1 is not prime. Res64: 737AE8687DA71A00 Time : 0.0 sec. user=mdettweiler [2013-02-25 21:35:42] 789*2^1241643-1 is not prime. Res64: 1E8D4ABE0D1D8911 Time : 0.0 sec. user=vaughan [2013-02-25 21:37:18] 955*2^1241643-1 is not prime. Res64: 9CF3ED885F89FAA3 Time : 0.0 sec. user=juhehe [2013-02-25 21:56:28] 963*2^1241643-1 is not prime. Res64: 94D8563A2F64EA5B Time : 0.0 sec. user=juhehe [2013-02-25 21:57:38] 879*2^1241643-1 is not prime. Res64: AA74C017E9ABE70A Time : 0.0 sec. user=mdettweiler [2013-02-25 21:58:15] 743*2^1241644-1 is not prime. Res64: A4BD3EE59229476D Time : 0.0 sec. user=mdettweiler [2013-02-25 21:58:16] 765*2^1241644-1 is not prime. Res64: 17A668F4800A5F8C Time : 0.0 sec. user=mdettweiler [2013-02-25 22:13:28] 803*2^1241644-1 is not prime. Res64: FE2EBBD602791173 Time : 0.0 sec. user=mdettweiler [2013-02-25 22:13:28] 827*2^1241644-1 is not prime. Res64: 6EBDC64D57919365 Time : 0.0 sec. user=vaughan [2013-02-25 22:15:31] 705*2^1241644-1 is not prime. Res64: C0CA6774E51A9712 Time : 0.0 sec. user=mdettweiler [2013-02-25 22:16:16] 857*2^1241644-1 is not prime. Res64: D035CF28040B5867 Time : 0.0 sec. user=mdettweiler [2013-02-25 22:16:17] 869*2^1241644-1 is not prime. Res64: B95B719488E4DFE5 Time : 0.0 sec. user=mdettweiler [2013-02-25 22:31:51] 847*2^1241645-1 is not prime. Res64: 5A054C697DDCDE6A Time : 0.0 sec. user=mdettweiler [2013-02-25 22:31:51] 885*2^1241645-1 is not prime. Res64: 678AEA3E2AFB8160 Time : 0.0 sec. user=mdettweiler [2013-02-25 22:34:23] 717*2^1241646-1 is not prime. Res64: 48B3F7E18D974FF2 Time : 0.0 sec. user=mdettweiler [2013-02-25 22:34:23] 723*2^1241646-1 is not prime. Res64: CA303228C6CC659B Time : 0.0 sec. user=mdettweiler [2013-02-25 22:50:06] 795*2^1241646-1 is not prime. Res64: 4579623903D1885F Time : 0.0 sec. user=mdettweiler [2013-02-25 22:50:23] 801*2^1241646-1 is not prime. Res64: 32656BE4440F6CA9 Time : 0.0 sec. user=mdettweiler [2013-02-25 22:52:25] 875*2^1241646-1 is not prime. Res64: E4DEE8E93E1F61D0 Time : 0.0 sec. user=mdettweiler [2013-02-25 22:52:25] 983*2^1241646-1 is not prime. Res64: 77613DA8E4F16A3B Time : 0.0 sec. user=vaughan [2013-02-25 22:54:05] 937*2^1241645-1 is not prime. Res64: B298CD53676D4753 Time : 0.0 sec. user=juhehe [2013-02-25 23:01:57] 715*2^1241645-1 is not prime. Res64: 3BBB4D36D9902F50 Time : 0.0 sec. user=mdettweiler [2013-02-25 23:10:45] 619*2^1241647-1 is not prime. Res64: 181BD42FBC17D1B5 Time : 0.0 sec. user=mdettweiler [2013-02-25 23:10:45] 735*2^1241647-1 is not prime. Res64: B28DD5B5B38F9BED Time : 0.0 sec. user=mdettweiler [2013-02-25 23:27:26] 993*2^1241647-1 is not prime. Res64: 3AD838303B4D73CF Time : 0.0 sec. user=mdettweiler [2013-02-25 23:27:26] 743*2^1241648-1 is not prime. Res64: 22BB10FB53A5177C Time : 0.0 sec. user=mdettweiler [2013-02-25 23:29:02] 875*2^1241648-1 is not prime. Res64: 0D61574B36ED2D4E Time : 0.0 sec. user=mdettweiler [2013-02-25 23:29:02] 893*2^1241648-1 is not prime. Res64: E2DDC89284BC7A3B Time : 0.0 sec. user=mdettweiler [2013-02-25 23:45:44] 691*2^1241649-1 is not prime. Res64: F5B18796585C4A2E Time : 0.0 sec. user=mdettweiler [2013-02-25 23:47:12] 865*2^1241649-1 is not prime. Res64: DBC0144C5DE18AE8 Time : 0.0 sec. user=juhehe [2013-02-25 23:59:00] 897*2^1241648-1 is not prime. Res64: 23A5D7D961816B0F Time : 0.0 sec. user=juhehe [2013-02-25 23:59:24] 805*2^1241647-1 is not prime. Res64: 04F28C8C08133446 Time : 0.0 sec.