user=mdettweiler [2012-01-10 00:11:05] 681*2^1000474-1 is not prime. Res64: A0A98EF8CDC4DA62 Time : 0.0 sec. user=mdettweiler [2012-01-10 00:11:07] 861*2^1000474-1 is not prime. Res64: 6120FDC99793AD1A Time : 0.0 sec. user=mdettweiler [2012-01-10 00:12:45] 645*2^1000475-1 is not prime. Res64: D0A41098F2E18A21 Time : 0.0 sec. user=mdettweiler [2012-01-10 00:12:46] 903*2^1000475-1 is not prime. Res64: 7BADE28303FE1962 Time : 0.0 sec. user=mdettweiler [2012-01-10 00:16:32] 979*2^1000475-1 is not prime. Res64: AB67AFBF3C0CB18C Time : 0.0 sec. user=mdettweiler [2012-01-10 00:16:33] 629*2^1000476-1 is not prime. Res64: 39EC8D461CCFD045 Time : 0.0 sec. user=mdettweiler [2012-01-10 00:18:31] 717*2^1000477-1 is not prime. Res64: E32FD590D40A5214 Time : 0.0 sec. user=mdettweiler [2012-01-10 00:32:54] 641*2^1000478-1 is not prime. Res64: B64725B55575DB94 Time : 0.0 sec. user=mdettweiler [2012-01-10 00:32:55] 687*2^1000478-1 is not prime. Res64: 56F9F3DC1630CD47 Time : 0.0 sec. user=mdettweiler [2012-01-10 00:33:33] 937*2^1000477-1 is not prime. Res64: 0C0621E8B6CF696D Time : 0.0 sec. user=mdettweiler [2012-01-10 00:33:33] 975*2^1000477-1 is not prime. Res64: FB284ECD545A6A17 Time : 0.0 sec. user=mdettweiler [2012-01-10 00:35:12] 615*2^1000472-1 is not prime. Res64: 94BF6F4DE3A5B72F Time : 0.0 sec. user=mdettweiler [2012-01-10 00:35:12] 617*2^1000472-1 is not prime. Res64: 5F770EAB8D9780ED Time : 0.0 sec. user=mdettweiler [2012-01-10 00:36:56] 707*2^1000478-1 is not prime. Res64: FF230A500E5A765E Time : 0.0 sec. user=mdettweiler [2012-01-10 00:36:56] 743*2^1000478-1 is not prime. Res64: 9D23AA855EABA7ED Time : 0.0 sec. user=mdettweiler [2012-01-10 00:46:36] 729*2^1000477-1 is not prime. Res64: 3481EB7B9E33C1BA Time : 0.0 sec. user=mdettweiler [2012-01-10 00:53:05] 753*2^1000478-1 is not prime. Res64: F87998B546D86DF4 Time : 0.0 sec. user=mdettweiler [2012-01-10 00:53:05] 831*2^1000478-1 is not prime. Res64: A247AF99D61908B9 Time : 0.0 sec. user=mdettweiler [2012-01-10 00:53:45] 843*2^1000478-1 is not prime. Res64: 376AD259A3BD0C44 Time : 0.0 sec. user=mdettweiler [2012-01-10 00:53:45] 857*2^1000478-1 is not prime. Res64: C1AAB2F1381AFD0E Time : 0.0 sec. user=mdettweiler [2012-01-10 00:59:19] 957*2^1000478-1 is not prime. Res64: 19E334919B1D19B1 Time : 0.0 sec. user=mdettweiler [2012-01-10 00:59:20] 963*2^1000478-1 is not prime. Res64: 9D3AA9CAD4F8A060 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:04:38] 951*2^1000473-1 is not prime. Res64: A7E4DD1F90AE8602 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:04:38] 987*2^1000473-1 is not prime. Res64: FA80C75A718975D4 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:06:35] 663*2^1000479-1 is not prime. Res64: C0FAC3C25637CA17 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:06:36] 703*2^1000479-1 is not prime. Res64: 1AA7FB249D277157 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:12:28] 913*2^1000475-1 is not prime. Res64: 6CF07FE90BC45A9A Time : 0.0 sec. user=mdettweiler [2012-01-10 01:12:29] 939*2^1000475-1 is not prime. Res64: 42D38A86577D2B61 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:13:01] 711*2^1000479-1 is not prime. Res64: 4ADB5F41DA85F7B5 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:13:01] 955*2^1000479-1 is not prime. Res64: 924F6231036B494F Time : 0.0 sec. user=mdettweiler [2012-01-10 01:14:18] 767*2^1000476-1 is not prime. Res64: 8BDB81C3F6D0BD8C Time : 0.0 sec. user=mdettweiler [2012-01-10 01:14:18] 843*2^1000476-1 is not prime. Res64: 6D5443A303D326F9 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:16:01] 969*2^1000479-1 is not prime. Res64: AB80C6A3E807E639 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:16:01] 759*2^1000480-1 is not prime. Res64: E2C7BB065AFA0C91 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:19:15] 923*2^1000480-1 is not prime. Res64: 7F715F195BE0C642 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:19:15] 929*2^1000480-1 is not prime. Res64: B955F66793FF90ED Time : 0.0 sec. user=mdettweiler [2012-01-10 01:26:35] 645*2^1000481-1 is not prime. Res64: E5112DE8DB26F800 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:26:36] 657*2^1000481-1 is not prime. Res64: 9EFF0644EF00495E Time : 0.0 sec. user=mdettweiler [2012-01-10 01:32:54] 867*2^1000481-1 is not prime. Res64: 850DFC2DE7BC8DC5 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:32:55] 879*2^1000481-1 is not prime. Res64: C758AECDEC6ACE70 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:35:56] 653*2^1000482-1 is not prime. Res64: 071BD1E4AA8110E4 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:35:56] 735*2^1000482-1 is not prime. Res64: 3871F2D8080F0F14 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:39:05] 741*2^1000482-1 is not prime. Res64: F5E590CE823F8BED Time : 0.0 sec. user=mdettweiler [2012-01-10 01:39:05] 747*2^1000482-1 is not prime. Res64: 6BF2E6A0390DAE4D Time : 0.0 sec. user=mdettweiler [2012-01-10 01:46:32] 815*2^1000482-1 is not prime. Res64: 50DC2056CC08D132 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:46:32] 887*2^1000482-1 is not prime. Res64: F1EEB920F37BCA4D Time : 0.0 sec. user=mdettweiler [2012-01-10 01:52:50] 639*2^1000483-1 is not prime. Res64: 551FA59D53AC8878 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:52:50] 703*2^1000483-1 is not prime. Res64: 30EFD83EFD7B35C3 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:55:11] 911*2^1000478-1 is not prime. Res64: DF7B26223EC67BE5 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:55:11] 935*2^1000478-1 is not prime. Res64: D71D399802545754 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:55:54] 765*2^1000483-1 is not prime. Res64: 599E1990D005DF68 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:55:54] 861*2^1000483-1 is not prime. Res64: D62B35729F8F39D0 Time : 0.0 sec. user=mdettweiler [2012-01-10 01:59:02] 915*2^1000483-1 is not prime. Res64: E24E9367E77ED62F Time : 0.0 sec. user=mdettweiler [2012-01-10 01:59:03] 951*2^1000483-1 is not prime. Res64: F3BD7700A97D2DA1 Time : 0.0 sec. user=mdettweiler [2012-01-10 02:06:22] 615*2^1000484-1 is not prime. Res64: 0519D3246A3B0933 Time : 0.0 sec. user=mdettweiler [2012-01-10 02:06:23] 719*2^1000484-1 is not prime. Res64: 404131854B12F4D4 Time : 0.0 sec. user=mdettweiler [2012-01-10 02:12:46] 869*2^1000484-1 is not prime. Res64: B9CFD89E92566132 Time : 0.0 sec. user=mdettweiler [2012-01-10 02:12:47] 885*2^1000484-1 is not prime. Res64: 12B80F336DE5353F Time : 0.0 sec. user=mdettweiler [2012-01-10 02:15:46] 657*2^1000485-1 is not prime. Res64: 34BA771F9EF4FB3F Time : 0.0 sec. user=mdettweiler [2012-01-10 02:15:48] 735*2^1000485-1 is not prime. Res64: 3CD7932230F53975 Time : 0.0 sec. user=mdettweiler [2012-01-10 02:19:00] 867*2^1000485-1 is not prime. Res64: 57752644EE690313 Time : 0.0 sec. user=mdettweiler [2012-01-10 02:19:01] 955*2^1000485-1 is not prime. Res64: 2698621A31B6366B Time : 0.0 sec. user=mdettweiler [2012-01-10 02:28:31] 999*2^1000485-1 is not prime. Res64: F7003AE0C0B93DB9 Time : 0.0 sec. user=mdettweiler [2012-01-10 02:28:31] 635*2^1000486-1 is not prime. Res64: 7DC94257B027879F Time : 0.0 sec. user=mdettweiler [2012-01-10 02:31:52] 685*2^1000481-1 is not prime. Res64: A75C42CDEE024BC5 Time : 0.0 sec. user=mdettweiler [2012-01-10 02:31:53] 715*2^1000481-1 is not prime. Res64: B9477118863AEDF9 Time : 0.0 sec. user=mdettweiler [2012-01-10 02:32:47] 755*2^1000486-1 is not prime. Res64: 3E22B91BBC171CE4 Time : 0.0 sec. user=mdettweiler [2012-01-10 02:32:48] 813*2^1000486-1 is not prime. Res64: C9EA99B521049555 Time : 0.0 sec. user=mdettweiler [2012-01-10 02:33:38] 885*2^1000481-1 is not prime. Res64: 374C4F62E5B507DC Time : 0.0 sec. user=mdettweiler [2012-01-10 02:33:38] 633*2^1000482-1 is not prime. Res64: 42904896DB02F731 Time : 0.0 sec. user=mdettweiler [2012-01-10 02:34:04] 999*2^1000480-1 is not prime. Res64: 182F69EDB46E7A97 Time : 0.0 sec. user=mdettweiler [2012-01-10 02:34:05] 601*2^1000481-1 is not prime. Res64: C2A02980BA8F9D9F Time : 0.0 sec. user=mdettweiler [2012-01-10 02:35:44] 933*2^1000486-1 is not prime. Res64: CB59DD95610D19B0 Time : 0.0 sec. user=mdettweiler [2012-01-10 02:35:45] 609*2^1000487-1 is not prime. Res64: AE791363E8228A8F Time : 0.0 sec. user=mdettweiler [2012-01-10 02:38:54] 633*2^1000487-1 is not prime. Res64: 130C4DB96882A0D1 Time : 0.0 sec. user=mdettweiler [2012-01-10 02:38:55] 651*2^1000487-1 is not prime. Res64: 9337F94D9E8C4D0E Time : 0.0 sec. user=mdettweiler [2012-01-10 02:48:40] 669*2^1000487-1 is not prime. Res64: 26817195882071E6 Time : 0.0 sec. user=mdettweiler [2012-01-10 02:48:40] 759*2^1000487-1 is not prime. Res64: 3DB996BBE96948FE Time : 0.0 sec. user=mdettweiler [2012-01-10 02:55:19] 949*2^1000487-1 is not prime. Res64: 7800E5F16A7378B8 Time : 0.0 sec. user=mdettweiler [2012-01-10 02:55:20] 981*2^1000487-1 is not prime. Res64: 66AEACED27848E32 Time : 0.0 sec. user=mdettweiler [2012-01-10 02:55:54] 637*2^1000489-1 is not prime. Res64: EB69EDDA6CABC57D Time : 0.0 sec. user=mdettweiler [2012-01-10 02:55:54] 765*2^1000489-1 is not prime. Res64: 05C34A6D9F5F5691 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:01:31] 855*2^1000489-1 is not prime. Res64: 6937E9A4801319C4 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:01:31] 987*2^1000489-1 is not prime. Res64: 18D232D21B4FDBD3 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:10:56] 999*2^1000489-1 is not prime. Res64: 3BDC226E2C001A7B Time : 0.0 sec. user=mdettweiler [2012-01-10 03:10:57] 701*2^1000490-1 is not prime. Res64: A558D8D0F6AE031F Time : 0.0 sec. user=mdettweiler [2012-01-10 03:15:15] 741*2^1000490-1 is not prime. Res64: 93B2BB393C25F033 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:15:18] 783*2^1000490-1 is not prime. Res64: 332A703DF673B251 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:15:55] 813*2^1000490-1 is not prime. Res64: 22655CC772B02B2A Time : 0.0 sec. user=mdettweiler [2012-01-10 03:15:56] 851*2^1000490-1 is not prime. Res64: CA3A39AB660C78B9 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:21:24] 861*2^1000490-1 is not prime. Res64: 171D961229A81BF4 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:21:24] 917*2^1000490-1 is not prime. Res64: C25AE6498CC98FE8 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:23:35] 959*2^1000484-1 is not prime. Res64: 9F5A037EE08CBFD8 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:23:36] 625*2^1000485-1 is not prime. Res64: 3A56A1FB9A005E5B Time : 0.0 sec. user=mdettweiler [2012-01-10 03:30:47] 609*2^1000491-1 is not prime. Res64: 9B3178DC23AA51CD Time : 0.0 sec. user=mdettweiler [2012-01-10 03:30:47] 703*2^1000491-1 is not prime. Res64: F95EC815528D3359 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:35:49] 603*2^1000492-1 is not prime. Res64: A4D764B169BCB970 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:35:49] 617*2^1000492-1 is not prime. Res64: 9785D10EB3FDEB63 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:37:44] 741*2^1000491-1 is not prime. Res64: 2097C3C04ACA79BE Time : 0.0 sec. user=mdettweiler [2012-01-10 03:37:44] 969*2^1000491-1 is not prime. Res64: 0C04EAF5B389E57D Time : 0.0 sec. user=mdettweiler [2012-01-10 03:41:29] 647*2^1000492-1 is not prime. Res64: FF99C844A3B6F5D1 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:41:29] 675*2^1000492-1 is not prime. Res64: 9D26790572691261 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:50:40] 607*2^1000493-1 is not prime. Res64: C6DE2FB63B494B49 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:50:40] 621*2^1000493-1 is not prime. Res64: F9A8C8CF90F1DCCC Time : 0.0 sec. user=mdettweiler [2012-01-10 03:53:29] 809*2^1000488-1 is not prime. Res64: 792E2852B9FDD43E Time : 0.0 sec. user=mdettweiler [2012-01-10 03:53:29] 819*2^1000488-1 is not prime. Res64: 39D4D7DDDB83F880 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:54:09] 763*2^1000487-1 is not prime. Res64: BA418E6182B7261F Time : 0.0 sec. user=mdettweiler [2012-01-10 03:54:09] 939*2^1000487-1 is not prime. Res64: A6E995BA4BC3413A Time : 0.0 sec. user=mdettweiler [2012-01-10 03:55:25] 839*2^1000488-1 is not prime. Res64: 903429AF30A6EDF6 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:55:25] 887*2^1000488-1 is not prime. Res64: F55A5EA3DA9299BF Time : 0.0 sec. user=mdettweiler [2012-01-10 03:56:13] 691*2^1000493-1 is not prime. Res64: 162C2C95FB8BE659 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:56:13] 699*2^1000493-1 is not prime. Res64: E55CAA0A2CF7E401 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:58:13] 741*2^1000493-1 is not prime. Res64: 79B31EBCD6C62623 Time : 0.0 sec. user=mdettweiler [2012-01-10 03:58:13] 759*2^1000493-1 is not prime. Res64: 80F24F2915EFC007 Time : 0.0 sec. user=mdettweiler [2012-01-10 04:01:25] 627*2^1000494-1 is not prime. Res64: 40958F40BE75C56D Time : 0.0 sec. user=mdettweiler [2012-01-10 04:01:26] 947*2^1000494-1 is not prime. Res64: 815E5BAD0707FBEC Time : 0.0 sec. user=mdettweiler [2012-01-10 04:10:54] 601*2^1000495-1 is not prime. Res64: AA323864FC89664B Time : 0.0 sec. user=mdettweiler [2012-01-10 04:10:56] 619*2^1000495-1 is not prime. Res64: B8F0EE91BA0E628E Time : 0.0 sec. user=mdettweiler [2012-01-10 04:16:11] 873*2^1000495-1 is not prime. Res64: 0F8B9C07E159389C Time : 0.0 sec. user=mdettweiler [2012-01-10 04:16:12] 939*2^1000495-1 is not prime. Res64: 66699C0B7F932B05 Time : 0.0 sec. user=mdettweiler [2012-01-10 04:18:18] 635*2^1000496-1 is not prime. Res64: 0B71883E433440E7 Time : 0.0 sec. user=mdettweiler [2012-01-10 04:18:18] 833*2^1000496-1 is not prime. Res64: 58DE09875D93D289 Time : 0.0 sec. user=mdettweiler [2012-01-10 04:23:41] 927*2^1000496-1 is not prime. Res64: 3C419E3BEC7CCFE8 Time : 0.0 sec. user=mdettweiler [2012-01-10 04:23:41] 963*2^1000496-1 is not prime. Res64: 5A5F8B49DB056AA6 Time : 0.0 sec. user=mdettweiler [2012-01-10 04:33:13] 983*2^1000496-1 is not prime. Res64: B1F9FB24D309B48C Time : 0.0 sec. user=mdettweiler [2012-01-10 04:33:13] 637*2^1000497-1 is not prime. Res64: B2AC98F2836AD89A Time : 0.0 sec. user=mdettweiler [2012-01-10 04:36:08] 675*2^1000497-1 is not prime. Res64: 005407A02FF9D02D Time : 0.0 sec. user=mdettweiler [2012-01-10 04:36:09] 741*2^1000497-1 is not prime. Res64: 1FE2D79855C45EB3 Time : 0.0 sec. user=mdettweiler [2012-01-10 04:38:13] 751*2^1000497-1 is not prime. Res64: 115181B3D9E78371 Time : 0.0 sec. user=mdettweiler [2012-01-10 04:38:13] 795*2^1000497-1 is not prime. Res64: A375C15D160700B1 Time : 0.0 sec. user=mdettweiler [2012-01-10 04:43:42] 819*2^1000497-1 is not prime. Res64: 05BE3C6AA000DC2F Time : 0.0 sec. user=mdettweiler [2012-01-10 04:43:42] 849*2^1000497-1 is not prime. Res64: 4C5F734050DCE521 Time : 0.0 sec. user=mdettweiler [2012-01-10 04:45:37] 719*2^1000492-1 is not prime. Res64: CA17F9C6E95472B1 Time : 0.0 sec. user=mdettweiler [2012-01-10 04:45:37] 749*2^1000492-1 is not prime. Res64: 06CD50335D3ABE55 Time : 0.0 sec. user=mdettweiler [2012-01-10 04:53:09] 891*2^1000497-1 is not prime. Res64: AB900553600CB2B5 Time : 0.0 sec. user=mdettweiler [2012-01-10 04:53:09] 915*2^1000497-1 is not prime. Res64: 806A88F01854C023 Time : 0.0 sec. user=mdettweiler [2012-01-10 04:58:10] 833*2^1000498-1 is not prime. Res64: 30F97F5D0B1113C8 Time : 0.0 sec. user=mdettweiler [2012-01-10 04:58:10] 867*2^1000498-1 is not prime. Res64: 56F64BF2063B681C Time : 0.0 sec. user=mdettweiler [2012-01-10 04:58:29] 991*2^1000497-1 is not prime. Res64: 9B69D72E85AC9A58 Time : 0.0 sec. user=mdettweiler [2012-01-10 04:58:29] 737*2^1000498-1 is not prime. Res64: 500924B6E78A7173 Time : 0.0 sec. user=mdettweiler [2012-01-10 05:03:39] 915*2^1000498-1 is not prime. Res64: BEDAD811F446E6FA Time : 0.0 sec. user=mdettweiler [2012-01-10 05:03:39] 945*2^1000498-1 is not prime. Res64: BDD328B0FA77C46B Time : 0.0 sec. user=mdettweiler [2012-01-10 05:13:03] 669*2^1000499-1 is not prime. Res64: 6BAAC9BCBBA13223 Time : 0.0 sec. user=mdettweiler [2012-01-10 05:13:04] 703*2^1000499-1 is not prime. Res64: 0DC15014F04CDCB4 Time : 0.0 sec. user=mdettweiler [2012-01-10 05:15:25] 625*2^1000495-1 is not prime. Res64: 6BA585247A19ED7F Time : 0.0 sec. user=mdettweiler [2012-01-10 05:15:26] 639*2^1000495-1 is not prime. Res64: 3A6D0B01D1E838BF Time : 0.0 sec. user=mdettweiler [2012-01-10 05:16:09] 715*2^1000495-1 is not prime. Res64: 7E6D838B80B5FD73 Time : 0.0 sec. user=mdettweiler [2012-01-10 05:16:09] 735*2^1000495-1 is not prime. Res64: 41E7349CAC8B116B Time : 0.0 sec. user=mdettweiler [2012-01-10 05:17:39] 741*2^1000495-1 is not prime. Res64: 73EC417DE30FA363 Time : 0.0 sec. user=mdettweiler [2012-01-10 05:17:39] 775*2^1000495-1 is not prime. Res64: CBD555FC4F93CF63 Time : 0.0 sec. user=mdettweiler [2012-01-10 05:20:32] 969*2^1000499-1 is not prime. Res64: DE17B9C896585B0A Time : 0.0 sec. user=mdettweiler [2012-01-10 05:20:32] 615*2^1000500-1 is not prime. Res64: B5EDC58B9AC38ABE Time : 0.0 sec. user=mdettweiler [2012-01-10 05:20:51] 909*2^1000500-1 is not prime. Res64: 5E10FA5AA127A40F Time : 0.0 sec. user=mdettweiler [2012-01-10 05:20:51] 987*2^1000500-1 is not prime. Res64: 67977EAE0C2DE875 Time : 0.0 sec. user=mdettweiler [2012-01-10 05:23:37] 615*2^1000501-1 is not prime. Res64: 87DB3272665A795B Time : 0.0 sec. user=mdettweiler [2012-01-10 05:23:38] 715*2^1000501-1 is not prime. Res64: E3A5CDB3E6449180 Time : 0.0 sec. user=mdettweiler [2012-01-10 05:33:15] 745*2^1000501-1 is not prime. Res64: EACEAF647C0E7667 Time : 0.0 sec. user=mdettweiler [2012-01-10 05:33:16] 801*2^1000501-1 is not prime. Res64: E9087A53CA2BA0AB Time : 0.0 sec. user=mdettweiler [2012-01-10 05:42:58] 917*2^1000502-1 is not prime. Res64: A790BA2EE35AD8FA Time : 0.0 sec. user=mdettweiler [2012-01-10 05:42:58] 965*2^1000502-1 is not prime. Res64: 1A025EBB311A5237 Time : 0.0 sec. user=mdettweiler [2012-01-10 05:43:11] 981*2^1000502-1 is not prime. Res64: DD8BEF010CFD1EA0 Time : 0.0 sec. user=mdettweiler [2012-01-10 05:43:11] 691*2^1000503-1 is not prime. Res64: 66BC5BBE541C9E7F Time : 0.0 sec. user=mdettweiler [2012-01-10 05:43:51] 709*2^1000503-1 is not prime. Res64: 0D6643B3E698E012 Time : 0.0 sec. user=mdettweiler [2012-01-10 05:43:51] 765*2^1000503-1 is not prime. Res64: D766FA1BF076A2B7 Time : 0.0 sec. user=mdettweiler [2012-01-10 05:53:14] 895*2^1000503-1 is not prime. Res64: B1745311B80292E0 Time : 0.0 sec. user=mdettweiler [2012-01-10 05:53:14] 933*2^1000503-1 is not prime. Res64: 3903C01893EB5B1E Time : 0.0 sec. user=mdettweiler [2012-01-10 06:03:55] 707*2^1000504-1 is not prime. Res64: 4171BA142D662CE8 Time : 0.0 sec. user=mdettweiler [2012-01-10 06:03:56] 819*2^1000504-1 is not prime. Res64: 9DCC6A48B3F9753F Time : 0.0 sec. user=mdettweiler [2012-01-10 06:05:08] 951*2^1000503-1 is not prime. Res64: 85253978F1319526 Time : 0.0 sec. user=mdettweiler [2012-01-10 06:05:08] 969*2^1000503-1 is not prime. Res64: 918134682BF0890B Time : 0.0 sec. user=mdettweiler [2012-01-10 06:05:31] 985*2^1000503-1 is not prime. Res64: 49FE2744428A8BAD Time : 0.0 sec. user=mdettweiler [2012-01-10 06:05:32] 629*2^1000504-1 is not prime. Res64: B97D01C4F487E18E Time : 0.0 sec. user=mdettweiler [2012-01-10 06:05:33] 951*2^1000498-1 is not prime. Res64: 917F8F390AA245E7 Time : 0.0 sec. user=mdettweiler [2012-01-10 06:05:33] 621*2^1000499-1 is not prime. Res64: 9CD499FEE0B22C37 Time : 0.0 sec. user=mdettweiler [2012-01-10 06:15:33] 915*2^1000504-1 is not prime. Res64: 7985E45594C4CF45 Time : 0.0 sec. user=mdettweiler [2012-01-10 06:15:34] 995*2^1000504-1 is not prime. Res64: F4452700285F96F7 Time : 0.0 sec. user=mdettweiler [2012-01-10 06:23:56] 697*2^1000505-1 is not prime. Res64: 901FB438C74D27C0 Time : 0.0 sec. user=mdettweiler [2012-01-10 06:23:57] 735*2^1000505-1 is not prime. Res64: 054FC762C1FC373B Time : 0.0 sec. user=mdettweiler [2012-01-10 06:25:08] 811*2^1000505-1 is not prime. Res64: E530452B446D1557 Time : 0.0 sec. user=mdettweiler [2012-01-10 06:25:08] 819*2^1000505-1 is not prime. Res64: 2681E45840A150B2 Time : 0.0 sec. user=mdettweiler [2012-01-10 06:25:22] 889*2^1000505-1 is not prime. Res64: 158750F8AD37A16D Time : 0.0 sec. user=mdettweiler [2012-01-10 06:25:22] 949*2^1000505-1 is not prime. Res64: 9340150502416F54 Time : 0.0 sec. user=mdettweiler [2012-01-10 06:35:26] 731*2^1000502-1 is not prime. Res64: A527B391B9E21996 Time : 0.0 sec. user=mdettweiler [2012-01-10 06:35:26] 741*2^1000502-1 is not prime. Res64: 34BD89FD4EF69BF9 Time : 0.0 sec. user=mdettweiler [2012-01-10 06:35:34] 765*2^1000506-1 is not prime. Res64: 80FE7329535C9BED Time : 0.0 sec. user=mdettweiler [2012-01-10 06:35:34] 821*2^1000506-1 is not prime. Res64: 7EB61A27A168B257 Time : 0.0 sec. user=mdettweiler [2012-01-10 06:36:53] 873*2^1000502-1 is not prime. Res64: C98416C488807E32 Time : 0.0 sec. user=mdettweiler [2012-01-10 06:36:53] 887*2^1000502-1 is not prime. Res64: DC185B7E94C7A903 Time : 0.0 sec. user=mdettweiler [2012-01-10 06:43:23] 951*2^1000501-1 is not prime. Res64: FF4498412898875E Time : 0.0 sec. user=mdettweiler [2012-01-10 06:43:23] 987*2^1000501-1 is not prime. Res64: DDB6CB576F0B18D9 Time : 0.0 sec. user=mdettweiler [2012-01-10 06:45:07] 649*2^1000507-1 is not prime. Res64: 71DA53D2BD4AF0BE Time : 0.0 sec. user=mdettweiler [2012-01-10 06:45:08] 681*2^1000507-1 is not prime. Res64: EDF6EFEF0DF089A8 Time : 0.0 sec. user=mdettweiler [2012-01-10 06:45:19] 841*2^1000507-1 is not prime. Res64: 4A817B30B3D428E8 Time : 0.0 sec. user=mdettweiler [2012-01-10 06:45:19] 843*2^1000507-1 is not prime. Res64: E1F1F824472A385B Time : 0.0 sec. user=mdettweiler [2012-01-10 06:46:14] 891*2^1000506-1 is not prime. Res64: 7DEA348A60B2847E Time : 0.0 sec. user=mdettweiler [2012-01-10 06:46:15] 975*2^1000506-1 is not prime. Res64: 6BBA71B02CEDE709 Time : 0.0 sec. user=mdettweiler [2012-01-10 06:55:34] 919*2^1000507-1 is not prime. Res64: 0DD60816479C6D8A Time : 0.0 sec. user=mdettweiler [2012-01-10 06:55:35] 939*2^1000507-1 is not prime. Res64: 20119E9A7855A211 Time : 0.0 sec. user=mdettweiler [2012-01-10 07:05:07] 839*2^1000508-1 is not prime. Res64: B2F380C122E75F06 Time : 0.0 sec. user=mdettweiler [2012-01-10 07:05:08] 935*2^1000508-1 is not prime. Res64: 6327555607AECD47 Time : 0.0 sec. user=mdettweiler [2012-01-10 07:06:22] 679*2^1000509-1 is not prime. Res64: 3AB6655EA867CC0C Time : 0.0 sec. user=mdettweiler [2012-01-10 07:06:24] 735*2^1000509-1 is not prime. Res64: 43E116CD7F6317CF Time : 0.0 sec. user=mdettweiler [2012-01-10 07:07:47] 987*2^1000508-1 is not prime. Res64: 31D3D3871B700380 Time : 0.0 sec. user=mdettweiler [2012-01-10 07:07:49] 625*2^1000509-1 is not prime. Res64: E48C5EB4737CFDBB Time : 0.0 sec. user=mdettweiler [2012-01-10 07:15:42] 835*2^1000509-1 is not prime. Res64: CEBC37652AA83280 Time : 0.0 sec. user=mdettweiler [2012-01-10 07:15:43] 877*2^1000509-1 is not prime. Res64: 46B1A797542C1B32 Time : 0.0 sec. user=mdettweiler [2012-01-10 07:24:45] 957*2^1000505-1 is not prime. Res64: 1D17EA302C512529 Time : 0.0 sec. user=mdettweiler [2012-01-10 07:24:45] 717*2^1000506-1 is not prime. Res64: 0A8A209FA8DB6344 Time : 0.0 sec. user=mdettweiler [2012-01-10 07:25:16] 895*2^1000509-1 is not prime. Res64: F6842D89E29589B5 Time : 0.0 sec. user=mdettweiler [2012-01-10 07:25:16] 605*2^1000510-1 is not prime. Res64: 2E9C646C193CD87A Time : 0.0 sec. user=mdettweiler [2012-01-10 07:26:35] 741*2^1000510-1 is not prime. Res64: B97334810BB9A092 Time : 0.0 sec. user=mdettweiler [2012-01-10 07:26:35] 857*2^1000510-1 is not prime. Res64: 01F498096A9C31F9 Time : 0.0 sec. user=mdettweiler [2012-01-10 07:27:51] 933*2^1000510-1 is not prime. Res64: 79139F98CA15F0F5 Time : 0.0 sec. user=mdettweiler [2012-01-10 07:27:51] 741*2^1000511-1 is not prime. Res64: 38B49445C309916E Time : 0.0 sec. user=mdettweiler [2012-01-10 07:35:48] 789*2^1000511-1 is not prime. Res64: 17312F133C64689E Time : 0.0 sec. user=mdettweiler [2012-01-10 07:35:48] 823*2^1000511-1 is not prime. Res64: 6EAA65EB43B3DD95 Time : 0.0 sec. user=mdettweiler [2012-01-10 07:48:00] 737*2^1000512-1 is not prime. Res64: 86BE3148A76CE8B7 Time : 0.0 sec. user=mdettweiler [2012-01-10 07:48:00] 947*2^1000512-1 is not prime. Res64: EB86EB3DD85B416C Time : 0.0 sec. user=mdettweiler [2012-01-10 07:49:54] 969*2^1000511-1 is not prime. Res64: 6DD95AB0D433C922 Time : 0.0 sec. user=mdettweiler [2012-01-10 07:49:54] 979*2^1000511-1 is not prime. Res64: 1699C5FD1A376A9D Time : 0.0 sec. user=mdettweiler [2012-01-10 07:51:20] 981*2^1000511-1 is not prime. Res64: 58CC4CEBCB0E3AE3 Time : 0.0 sec. user=mdettweiler [2012-01-10 07:51:20] 991*2^1000511-1 is not prime. Res64: 4303D815E76D004D Time : 0.0 sec. user=mdettweiler [2012-01-10 07:54:41] 861*2^1000507-1 is not prime. Res64: 60FC8A9969734995 Time : 0.0 sec. user=mdettweiler [2012-01-10 07:54:41] 885*2^1000507-1 is not prime. Res64: B498B4C65B50E532 Time : 0.0 sec. user=mdettweiler [2012-01-10 07:58:07] 975*2^1000512-1 is not prime. Res64: 12C4DCEF48C94A63 Time : 0.0 sec. user=mdettweiler [2012-01-10 07:58:07] 727*2^1000513-1 is not prime. Res64: 8DF52A6CAE2AE60A Time : 0.0 sec. user=mdettweiler [2012-01-10 08:02:51] 749*2^1000508-1 is not prime. Res64: BAC56F0DDF730C02 Time : 0.0 sec. user=mdettweiler [2012-01-10 08:02:52] 825*2^1000508-1 is not prime. Res64: 05235C1945F92F5F Time : 0.0 sec. user=mdettweiler [2012-01-10 08:06:16] 945*2^1000507-1 is not prime. Res64: 8E609A7E583F5A9D Time : 0.0 sec. user=mdettweiler [2012-01-10 08:06:18] 961*2^1000507-1 is not prime. Res64: ACC7E78E4AB5E285 Time : 0.0 sec. user=mdettweiler [2012-01-10 08:07:50] 889*2^1000513-1 is not prime. Res64: E38080D6D02326CC Time : 0.0 sec. user=mdettweiler [2012-01-10 08:07:51] 605*2^1000514-1 is not prime. Res64: E286180BC5A07660 Time : 0.0 sec. user=mdettweiler [2012-01-10 08:09:46] 675*2^1000514-1 is not prime. Res64: D5A67E352B7D9490 Time : 0.0 sec. user=mdettweiler [2012-01-10 08:09:46] 741*2^1000514-1 is not prime. Res64: 3BD8AC9299633303 Time : 0.0 sec. user=mdettweiler [2012-01-10 08:11:08] 873*2^1000514-1 is not prime. Res64: C9D13786D09042CF Time : 0.0 sec. user=mdettweiler [2012-01-10 08:11:10] 885*2^1000514-1 is not prime. Res64: 4F205A5E8E7A8C0A Time : 0.0 sec. user=mdettweiler [2012-01-10 08:17:59] 649*2^1000515-1 is not prime. Res64: 0EF27028D7303BFF Time : 0.0 sec. user=mdettweiler [2012-01-10 08:18:00] 691*2^1000515-1 is not prime. Res64: 54B4E46716669DD4 Time : 0.0 sec. user=mdettweiler [2012-01-10 08:27:50] 873*2^1000515-1 is not prime. Res64: 7D058000BB1AFFF6 Time : 0.0 sec. user=mdettweiler [2012-01-10 08:27:50] 895*2^1000515-1 is not prime. Res64: 4D4A9F9D78B35EA8 Time : 0.0 sec. user=mdettweiler [2012-01-10 08:32:02] 909*2^1000515-1 is not prime. Res64: F6953A57FF8226F9 Time : 0.0 sec. user=mdettweiler [2012-01-10 08:32:03] 963*2^1000515-1 is not prime. Res64: A633998B978088FA Time : 0.0 sec. user=mdettweiler [2012-01-10 08:35:43] 979*2^1000515-1 is not prime. Res64: 0E35CBBD2E77A7DB Time : 0.0 sec. user=mdettweiler [2012-01-10 08:35:44] 999*2^1000515-1 is not prime. Res64: 0D977F14D80B647D Time : 0.0 sec. user=mdettweiler [2012-01-10 08:37:54] 603*2^1000516-1 is not prime. Res64: 2943BE99A6C9D43A Time : 0.0 sec. user=mdettweiler [2012-01-10 08:37:54] 657*2^1000516-1 is not prime. Res64: 5F7ACE5DF09C24AB Time : 0.0 sec. user=mdettweiler [2012-01-10 08:44:51] 859*2^1000511-1 is not prime. Res64: 2D965D3534442F0B Time : 0.0 sec. user=mdettweiler [2012-01-10 08:44:51] 901*2^1000511-1 is not prime. Res64: 25388B86D8999684 Time : 0.0 sec. user=mdettweiler [2012-01-10 08:47:47] 675*2^1000516-1 is not prime. Res64: 9304306B913772C8 Time : 0.0 sec. user=mdettweiler [2012-01-10 08:47:47] 735*2^1000516-1 is not prime. Res64: C544698C762A981D Time : 0.0 sec. user=mdettweiler [2012-01-10 08:51:58] 855*2^1000516-1 is not prime. Res64: 21BACB6F1D922D34 Time : 0.0 sec. user=mdettweiler [2012-01-10 08:51:59] 909*2^1000516-1 is not prime. Res64: 74BD675019631BCA Time : 0.0 sec. user=mdettweiler [2012-01-10 08:55:39] 607*2^1000517-1 is not prime. Res64: 50A610FBC625169E Time : 0.0 sec. user=mdettweiler [2012-01-10 08:55:39] 631*2^1000517-1 is not prime. Res64: 62E435E1DE04F111 Time : 0.0 sec. user=mdettweiler [2012-01-10 08:57:46] 685*2^1000517-1 is not prime. Res64: 402FEBDAD1F7AFC3 Time : 0.0 sec. user=mdettweiler [2012-01-10 08:57:46] 805*2^1000517-1 is not prime. Res64: 88680FC1FF73EC11 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:07:39] 931*2^1000517-1 is not prime. Res64: 81949CB7A0EE7C8E Time : 0.0 sec. user=mdettweiler [2012-01-10 09:07:40] 605*2^1000518-1 is not prime. Res64: 4AFF8A3DF04B1D1B Time : 0.0 sec. user=mdettweiler [2012-01-10 09:11:51] 635*2^1000518-1 is not prime. Res64: F664AAA3FCE35F70 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:11:53] 651*2^1000518-1 is not prime. Res64: 7A64D7F710ADA424 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:15:30] 755*2^1000518-1 is not prime. Res64: 98B3A783383DA0F2 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:15:31] 867*2^1000518-1 is not prime. Res64: 09F5E0372D42267B Time : 0.0 sec. user=mdettweiler [2012-01-10 09:20:00] 975*2^1000518-1 is not prime. Res64: 00851D6637C69097 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:20:01] 703*2^1000519-1 is not prime. Res64: 3583678E0E4307F2 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:21:27] 699*2^1000515-1 is not prime. Res64: 1903A3AE647CFAA8 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:21:27] 735*2^1000515-1 is not prime. Res64: 1902B330FFCD7040 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:23:00] 927*2^1000514-1 is not prime. Res64: 07E5FA0D68602599 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:23:00] 1001*2^1000514-1 is not prime. Res64: 0ACF692FCECFBE15 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:25:34] 751*2^1000515-1 is not prime. Res64: 9CD547A9C67E5922 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:25:34] 765*2^1000515-1 is not prime. Res64: D643BFCA38A930D6 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:27:40] 765*2^1000519-1 is not prime. Res64: B49B3B140CE1614D Time : 0.0 sec. user=mdettweiler [2012-01-10 09:27:40] 665*2^1000520-1 is not prime. Res64: 58404847167E3074 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:31:50] 773*2^1000520-1 is not prime. Res64: C7D03222908EC136 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:31:50] 797*2^1000520-1 is not prime. Res64: FEB5994A907DEB1D Time : 0.0 sec. user=mdettweiler [2012-01-10 09:35:25] 843*2^1000520-1 is not prime. Res64: B7408C6094E3B8FB Time : 0.0 sec. user=mdettweiler [2012-01-10 09:35:25] 875*2^1000520-1 is not prime. Res64: 7E0016415745D81C Time : 0.0 sec. user=mdettweiler [2012-01-10 09:42:13] 977*2^1000520-1 is not prime. Res64: B28137920C18BC15 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:42:13] 681*2^1000521-1 is not prime. Res64: 16AAAD5804E026AC Time : 0.0 sec. user=mdettweiler [2012-01-10 09:43:39] 621*2^1000523-1 is not prime. Res64: CD5C37708F6F06AD Time : 0.0 sec. user=mdettweiler [2012-01-10 09:43:40] 843*2^1000522-1 is not prime. Res64: 1FBC000C666591F0 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:47:40] 723*2^1000522-1 is not prime. Res64: 657B6B7AB97B9E61 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:47:40] 777*2^1000522-1 is not prime. Res64: 1DD1B4C42D95D8E0 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:54:00] 987*2^1000522-1 is not prime. Res64: 6A642CE5B77EA181 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:54:01] 609*2^1000523-1 is not prime. Res64: 5BAA4784832FD5B4 Time : 0.0 sec. user=mdettweiler [2012-01-10 09:55:14] 633*2^1000523-1 is not prime. Res64: BD7A4D33CC1DDB5D Time : 0.0 sec. user=mdettweiler [2012-01-10 09:55:15] 675*2^1000523-1 is not prime. Res64: 5C86279B9AA99032 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:02:07] 685*2^1000523-1 is not prime. Res64: 0ACA3BFFC182AE42 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:02:08] 705*2^1000523-1 is not prime. Res64: 84FD1755CD4A58FE Time : 0.0 sec. user=mdettweiler [2012-01-10 10:03:52] 831*2^1000517-1 is not prime. Res64: 7419FDE62D5A9400 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:03:53] 861*2^1000517-1 is not prime. Res64: BC5C78A5D711BD88 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:07:36] 609*2^1000524-1 is not prime. Res64: 97651161A61115BA Time : 0.0 sec. user=mdettweiler [2012-01-10 10:07:37] 623*2^1000524-1 is not prime. Res64: 808826E3029D582D Time : 0.0 sec. user=mdettweiler [2012-01-10 10:15:12] 645*2^1000525-1 is not prime. Res64: 59B8F1BAEBDB3642 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:15:15] 661*2^1000525-1 is not prime. Res64: 3CFEDBA8E44F479A Time : 0.0 sec. user=mdettweiler [2012-01-10 10:16:03] 781*2^1000523-1 is not prime. Res64: 71CFFF9F4D47441C Time : 0.0 sec. user=mdettweiler [2012-01-10 10:18:31] 965*2^1000524-1 is not prime. Res64: F0D5CA4EAF37D1EA Time : 0.0 sec. user=mdettweiler [2012-01-10 10:18:31] 975*2^1000524-1 is not prime. Res64: 0AA17270DE926409 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:18:36] 963*2^1000523-1 is not prime. Res64: D70D94C64817BB2D Time : 0.0 sec. user=mdettweiler [2012-01-10 10:22:11] 685*2^1000525-1 is not prime. Res64: FEA1CFF152B93BBC Time : 0.0 sec. user=mdettweiler [2012-01-10 10:22:11] 741*2^1000525-1 is not prime. Res64: 18DEDF05DF6FA403 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:27:39] 743*2^1000526-1 is not prime. Res64: A4F2ADD8D7399534 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:27:40] 897*2^1000525-1 is not prime. Res64: D3CB0C9933853A5B Time : 0.0 sec. user=mdettweiler [2012-01-10 10:27:41] 915*2^1000525-1 is not prime. Res64: F45B412A82816E2B Time : 0.0 sec. user=mdettweiler [2012-01-10 10:30:13] 857*2^1000526-1 is not prime. Res64: A3D1EABCC1A4A99D Time : 0.0 sec. user=mdettweiler [2012-01-10 10:38:34] 815*2^1000526-1 is not prime. Res64: E18A8C83A4CC1737 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:38:34] 827*2^1000526-1 is not prime. Res64: E58941EC69A0E6C0 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:39:38] 693*2^1000527-1 is not prime. Res64: CC06D1B79462240C Time : 0.0 sec. user=mdettweiler [2012-01-10 10:39:53] 979*2^1000525-1 is not prime. Res64: 875C036AF0008F4C Time : 0.0 sec. user=mdettweiler [2012-01-10 10:39:53] 985*2^1000525-1 is not prime. Res64: 9C272F6C85ABB9E3 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:41:12] 691*2^1000521-1 is not prime. Res64: 878F17E22CF4A519 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:41:12] 711*2^1000521-1 is not prime. Res64: 792791440B472DC5 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:42:15] 955*2^1000527-1 is not prime. Res64: 6E68203F62B49275 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:43:03] 727*2^1000521-1 is not prime. Res64: EB6D969C273A76F9 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:43:04] 817*2^1000521-1 is not prime. Res64: 98AABD11ACCCA729 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:44:26] 873*2^1000526-1 is not prime. Res64: A8B4BB6ACE61204E Time : 0.0 sec. user=mdettweiler [2012-01-10 10:44:26] 1001*2^1000526-1 is not prime. Res64: 37B6136B97865068 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:46:19] 861*2^1000521-1 is not prime. Res64: E6F925483C30358E Time : 0.0 sec. user=mdettweiler [2012-01-10 10:46:20] 717*2^1000522-1 is not prime. Res64: 101572808AA02495 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:47:44] 819*2^1000527-1 is not prime. Res64: 15177FE722713F75 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:47:45] 865*2^1000527-1 is not prime. Res64: 0E50914B2261DE20 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:51:23] 827*2^1000528-1 is not prime. Res64: B0D99A31B11F2418 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:54:01] 795*2^1000529-1 is not prime. Res64: 293FC32CDF3844C8 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:59:50] 905*2^1000528-1 is not prime. Res64: FF6D696E68F3CF82 Time : 0.0 sec. user=mdettweiler [2012-01-10 10:59:50] 631*2^1000529-1 is not prime. Res64: B4E77B96653463D5 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:00:49] 979*2^1000527-1 is not prime. Res64: 3455DD84C232D937 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:00:49] 825*2^1000528-1 is not prime. Res64: F678E2B566B5FCD4 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:03:09] 951*2^1000531-1 is not prime. Res64: F42F8479B14F5E28 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:05:45] 615*2^1000532-1 is not prime. Res64: 8415F7C9ACD485CB Time : 0.0 sec. user=mdettweiler [2012-01-10 11:06:40] 797*2^1000530-1 is not prime. Res64: 3C0818E2B06A234F Time : 0.0 sec. user=mdettweiler [2012-01-10 11:06:42] 971*2^1000530-1 is not prime. Res64: F3B760DB07A4ABC6 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:07:45] 733*2^1000531-1 is not prime. Res64: C16D3D96D58B41CF Time : 0.0 sec. user=mdettweiler [2012-01-10 11:07:45] 861*2^1000531-1 is not prime. Res64: 2A4D586C83AC0497 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:17:32] 657*2^1000533-1 is not prime. Res64: 5F2DB2494ACEBD24 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:17:40] 957*2^1000532-1 is not prime. Res64: 5D4C380631C9C3C5 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:19:42] 633*2^1000532-1 is not prime. Res64: 690D3E0309B56440 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:19:42] 669*2^1000532-1 is not prime. Res64: 375F168595EA7551 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:20:41] 683*2^1000532-1 is not prime. Res64: B150AFD754059B61 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:20:42] 833*2^1000532-1 is not prime. Res64: 06BC701845C32DD1 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:23:38] 789*2^1000525-1 is not prime. Res64: CF496342FC42F389 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:23:38] 831*2^1000525-1 is not prime. Res64: 8E6CE0B13B28B6FD Time : 0.0 sec. user=mdettweiler [2012-01-10 11:26:39] 685*2^1000533-1 is not prime. Res64: 0AAA7AE3ED0A8B2A Time : 0.0 sec. user=mdettweiler [2012-01-10 11:26:39] 735*2^1000533-1 is not prime. Res64: A523B7CD9C8B44F2 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:27:42] 835*2^1000533-1 is not prime. Res64: 5E12AEE867A69EAD Time : 0.0 sec. user=mdettweiler [2012-01-10 11:27:42] 861*2^1000533-1 is not prime. Res64: 4EF5BFECA22F1471 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:29:18] 877*2^1000533-1 is not prime. Res64: 1031E9E8302AC4D9 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:29:25] 945*2^1000533-1 is not prime. Res64: 2A44DCCAF255E7ED Time : 0.0 sec. user=mdettweiler [2012-01-10 11:40:42] 707*2^1000534-1 is not prime. Res64: BCD95295F9837B52 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:40:42] 717*2^1000534-1 is not prime. Res64: 616B589E385CE900 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:40:58] 913*2^1000535-1 is not prime. Res64: CF1D1B2BB0B45832 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:41:53] 979*2^1000533-1 is not prime. Res64: F0D7893F33DF7331 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:41:54] 677*2^1000534-1 is not prime. Res64: 1183C247672DEFC4 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:43:47] 963*2^1000535-1 is not prime. Res64: 97C7C93D5D6F300F Time : 0.0 sec. user=mdettweiler [2012-01-10 11:47:42] 655*2^1000535-1 is not prime. Res64: 84D7C31F4EFBE0F6 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:47:42] 759*2^1000535-1 is not prime. Res64: 665F3417A512DB73 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:51:14] 971*2^1000534-1 is not prime. Res64: EDC185456A8C660D Time : 0.0 sec. user=mdettweiler [2012-01-10 11:51:14] 987*2^1000534-1 is not prime. Res64: 5C9431D17F1DFA05 Time : 0.0 sec. user=mdettweiler [2012-01-10 11:52:46] 689*2^1000536-1 is not prime. Res64: 11A63F14BE56632E Time : 0.0 sec. user=mdettweiler [2012-01-10 11:55:38] 927*2^1000536-1 is not prime. Res64: ED4E77A253414ED4 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:00:19] 657*2^1000529-1 is not prime. Res64: FA9AFFE2C7AC2EA2 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:00:19] 675*2^1000529-1 is not prime. Res64: 0CA1D7875979888F Time : 0.0 sec. user=mdettweiler [2012-01-10 12:00:37] 615*2^1000536-1 is not prime. Res64: DAD30B5DEBE52558 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:00:38] 629*2^1000536-1 is not prime. Res64: A709D217A48BAA1C Time : 0.0 sec. user=mdettweiler [2012-01-10 12:01:32] 627*2^1000530-1 is not prime. Res64: 8CB2D5BD0CA88543 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:01:33] 755*2^1000530-1 is not prime. Res64: 94C86EAB0D21FCB3 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:01:44] 773*2^1000536-1 is not prime. Res64: FBC4FD7E7D5307AE Time : 0.0 sec. user=mdettweiler [2012-01-10 12:01:45] 905*2^1000536-1 is not prime. Res64: A058B06E01FFDAAE Time : 0.0 sec. user=mdettweiler [2012-01-10 12:04:30] 861*2^1000537-1 is not prime. Res64: BF851E2F2B48DDC1 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:05:26] 645*2^1000531-1 is not prime. Res64: 4ABED84599C30919 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:05:26] 681*2^1000531-1 is not prime. Res64: E84FEBCC06D8AE4C Time : 0.0 sec. user=mdettweiler [2012-01-10 12:07:17] 915*2^1000537-1 is not prime. Res64: E7D81AC71F7C9A7C Time : 0.0 sec. user=mdettweiler [2012-01-10 12:07:34] 933*2^1000536-1 is not prime. Res64: BEB579163F30DB28 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:07:35] 615*2^1000537-1 is not prime. Res64: E631EC779C616DA4 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:11:09] 687*2^1000537-1 is not prime. Res64: 396C7702DE526C63 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:11:09] 717*2^1000537-1 is not prime. Res64: C6B3FADC3E3A200E Time : 0.0 sec. user=mdettweiler [2012-01-10 12:18:52] 995*2^1000538-1 is not prime. Res64: 64160DF8DB04DB38 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:18:56] 929*2^1000540-1 is not prime. Res64: B766F3457A98965F Time : 0.0 sec. user=mdettweiler [2012-01-10 12:20:31] 801*2^1000538-1 is not prime. Res64: 3994122FDAB39FEA Time : 0.0 sec. user=mdettweiler [2012-01-10 12:20:31] 837*2^1000538-1 is not prime. Res64: 06AA076E7B32C090 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:26:17] 977*2^1000538-1 is not prime. Res64: A38A545D7A438E74 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:26:17] 993*2^1000538-1 is not prime. Res64: 198B0233A8773E74 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:27:32] 657*2^1000541-1 is not prime. Res64: AAFA4C690F338870 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:27:33] 675*2^1000541-1 is not prime. Res64: 9475AB2BE1060063 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:30:35] 949*2^1000541-1 is not prime. Res64: BA2566E589ACAE69 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:31:06] 777*2^1000541-1 is not prime. Res64: 484505B3CFCAD73D Time : 0.0 sec. user=mdettweiler [2012-01-10 12:31:06] 829*2^1000541-1 is not prime. Res64: 44B8AC41AF26143F Time : 0.0 sec. user=mdettweiler [2012-01-10 12:33:21] 997*2^1000541-1 is not prime. Res64: 3BB0A98EEFE41FA1 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:40:17] 665*2^1000542-1 is not prime. Res64: 933A7FCE8C4D8398 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:40:17] 677*2^1000542-1 is not prime. Res64: 491E9DECB488F564 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:42:43] 773*2^1000534-1 is not prime. Res64: 5750293FAFEC2EDB Time : 0.0 sec. user=mdettweiler [2012-01-10 12:42:43] 891*2^1000534-1 is not prime. Res64: 897470B3295A0F79 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:45:04] 963*2^1000542-1 is not prime. Res64: C9E28BB177F9BB79 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:45:05] 771*2^1000543-1 is not prime. Res64: FA9FF5DEBE157A07 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:46:29] 761*2^1000542-1 is not prime. Res64: 74C67A907B45BA6C Time : 0.0 sec. user=mdettweiler [2012-01-10 12:46:30] 801*2^1000542-1 is not prime. Res64: 17AC20703DFD487F Time : 0.0 sec. user=mdettweiler [2012-01-10 12:47:40] 903*2^1000542-1 is not prime. Res64: 882D32B030D620DD Time : 0.0 sec. user=mdettweiler [2012-01-10 12:47:41] 947*2^1000542-1 is not prime. Res64: 27B0D613D7647904 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:51:15] 609*2^1000543-1 is not prime. Res64: CF86E422A94ADA6B Time : 0.0 sec. user=mdettweiler [2012-01-10 12:51:15] 763*2^1000543-1 is not prime. Res64: 227B532F8AFD5B03 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:56:48] 945*2^1000543-1 is not prime. Res64: 3FD299423125BEE1 Time : 0.0 sec. user=mdettweiler [2012-01-10 12:59:33] 973*2^1000543-1 is not prime. Res64: DEF55770A55E0B7B Time : 0.0 sec. user=mdettweiler [2012-01-10 13:00:34] 805*2^1000543-1 is not prime. Res64: 58FC00DD1F050D95 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:00:37] 829*2^1000543-1 is not prime. Res64: 98BE9FAB25C86790 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:06:38] 617*2^1000544-1 is not prime. Res64: AD386257DDC29168 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:06:39] 687*2^1000544-1 is not prime. Res64: 7F37D5590DEAF6CD Time : 0.0 sec. user=mdettweiler [2012-01-10 13:08:04] 869*2^1000544-1 is not prime. Res64: CA302363F3506030 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:08:05] 945*2^1000544-1 is not prime. Res64: 6C8285ECB918AF9F Time : 0.0 sec. user=mdettweiler [2012-01-10 13:08:35] 717*2^1000545-1 is not prime. Res64: 9B306C9A57C4338E Time : 0.0 sec. user=mdettweiler [2012-01-10 13:11:21] 721*2^1000545-1 is not prime. Res64: 499148924E6CFAE4 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:13:48] 957*2^1000544-1 is not prime. Res64: B82E2C3AC88EA591 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:13:49] 709*2^1000545-1 is not prime. Res64: D74FA2CB994608D4 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:18:36] 937*2^1000545-1 is not prime. Res64: E6D7D7E7A02BEB3D Time : 0.0 sec. user=mdettweiler [2012-01-10 13:20:52] 777*2^1000545-1 is not prime. Res64: CC541BD787722BC3 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:20:52] 789*2^1000545-1 is not prime. Res64: D09F67231BE703EA Time : 0.0 sec. user=mdettweiler [2012-01-10 13:22:30] 931*2^1000537-1 is not prime. Res64: 980F2D9620DC93D1 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:22:30] 755*2^1000538-1 is not prime. Res64: 1653484B2C5A81F1 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:22:53] 887*2^1000538-1 is not prime. Res64: BA62D5EBE13A3F82 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:22:53] 911*2^1000538-1 is not prime. Res64: 1433FD39FF4090B8 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:26:46] 849*2^1000545-1 is not prime. Res64: FD130271DCDC5AC2 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:26:46] 889*2^1000545-1 is not prime. Res64: AE1CDD6AF2CE57FA Time : 0.0 sec. user=mdettweiler [2012-01-10 13:28:16] 909*2^1000545-1 is not prime. Res64: 7E7C56A36CAC6F85 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:28:16] 921*2^1000545-1 is not prime. Res64: 77096A32CE13AA78 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:33:41] 717*2^1000546-1 is not prime. Res64: 93A5EFF3266FEAAE Time : 0.0 sec. user=mdettweiler [2012-01-10 13:33:42] 887*2^1000546-1 is not prime. Res64: F8E8E1C7F844D8FC Time : 0.0 sec. user=mdettweiler [2012-01-10 13:36:26] 795*2^1000539-1 is not prime. Res64: B02C8BB8A08B8500 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:36:26] 999*2^1000539-1 is not prime. Res64: DCFEB4A6D3395C4F Time : 0.0 sec. user=mdettweiler [2012-01-10 13:40:37] 945*2^1000546-1 is not prime. Res64: 4A82FA738B938DAA Time : 0.0 sec. user=mdettweiler [2012-01-10 13:40:37] 947*2^1000546-1 is not prime. Res64: FE54F1695FDD7D4D Time : 0.0 sec. user=mdettweiler [2012-01-10 13:44:06] 917*2^1000546-1 is not prime. Res64: 7948C2B8F0D183BE Time : 0.0 sec. user=mdettweiler [2012-01-10 13:44:21] 657*2^1000546-1 is not prime. Res64: 7B43D123574B404C Time : 0.0 sec. user=mdettweiler [2012-01-10 13:46:31] 615*2^1000548-1 is not prime. Res64: 8ECCE679F4960F91 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:46:31] 629*2^1000548-1 is not prime. Res64: A946E98687FC304F Time : 0.0 sec. user=mdettweiler [2012-01-10 13:47:58] 749*2^1000548-1 is not prime. Res64: 3D71FC64FC01560A Time : 0.0 sec. user=mdettweiler [2012-01-10 13:47:58] 753*2^1000548-1 is not prime. Res64: BE176EA23FF9962F Time : 0.0 sec. user=mdettweiler [2012-01-10 13:53:24] 765*2^1000548-1 is not prime. Res64: 87DCA6BC1A2B3B44 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:53:24] 825*2^1000548-1 is not prime. Res64: ADA95A3D80F0C6D9 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:55:19] 867*2^1000550-1 is not prime. Res64: 7D68CBAD5E116874 Time : 0.0 sec. user=mdettweiler [2012-01-10 13:55:34] 923*2^1000550-1 is not prime. Res64: E05C6A6077FAAFA2 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:00:18] 707*2^1000550-1 is not prime. Res64: 2205EF7B1B1D9C80 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:00:20] 791*2^1000550-1 is not prime. Res64: 1CDC4F912A8BC2A8 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:05:14] 853*2^1000543-1 is not prime. Res64: 33F4397C9311CD94 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:05:15] 895*2^1000543-1 is not prime. Res64: 6DC61E6C17AE996F Time : 0.0 sec. user=mdettweiler [2012-01-10 14:06:15] 613*2^1000551-1 is not prime. Res64: 0B3F0353CF9ED9D7 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:06:15] 679*2^1000551-1 is not prime. Res64: F2D7EF0A58CFE800 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:06:32] 779*2^1000552-1 is not prime. Res64: 38737F82E62188AE Time : 0.0 sec. user=mdettweiler [2012-01-10 14:06:47] 819*2^1000552-1 is not prime. Res64: 9239A2914D6F65EC Time : 0.0 sec. user=mdettweiler [2012-01-10 14:07:42] 795*2^1000551-1 is not prime. Res64: 95066E4FB941BAD6 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:07:44] 823*2^1000551-1 is not prime. Res64: 27DA08CD95A4D07F Time : 0.0 sec. user=mdettweiler [2012-01-10 14:15:21] 885*2^1000551-1 is not prime. Res64: A27124ABC1AC577B Time : 0.0 sec. user=mdettweiler [2012-01-10 14:15:29] 975*2^1000551-1 is not prime. Res64: 6D47456B76781DA8 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:17:49] 741*2^1000554-1 is not prime. Res64: 5DD734481EF099AA Time : 0.0 sec. user=mdettweiler [2012-01-10 14:18:04] 791*2^1000554-1 is not prime. Res64: 4555523C6AD10BC3 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:20:04] 875*2^1000552-1 is not prime. Res64: BC240CA927251F78 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:20:04] 909*2^1000552-1 is not prime. Res64: FFC212412AC6E0EF Time : 0.0 sec. user=mdettweiler [2012-01-10 14:25:59] 937*2^1000553-1 is not prime. Res64: E6F4EC5738405D84 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:25:59] 723*2^1000554-1 is not prime. Res64: 42017BFA93230F96 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:27:33] 837*2^1000554-1 is not prime. Res64: BBBF1FA5DB88AC40 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:27:33] 881*2^1000554-1 is not prime. Res64: EB04AC7385FC0109 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:29:16] 685*2^1000555-1 is not prime. Res64: 8B01E1E823A4F6CE Time : 0.0 sec. user=mdettweiler [2012-01-10 14:37:34] 903*2^1000554-1 is not prime. Res64: B9DEDD2E579A5E01 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:37:35] 971*2^1000554-1 is not prime. Res64: 0761F5384BB6AA54 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:39:51] 691*2^1000555-1 is not prime. Res64: 11943D6DDAD49995 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:39:51] 771*2^1000555-1 is not prime. Res64: 94AEDAD884F3E6CF Time : 0.0 sec. user=mdettweiler [2012-01-10 14:45:42] 829*2^1000555-1 is not prime. Res64: 7C32B2035DBAA511 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:45:43] 861*2^1000555-1 is not prime. Res64: 41E2A9592FD6FDF9 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:46:49] 615*2^1000547-1 is not prime. Res64: 10DEA78FEF6DE90D Time : 0.0 sec. user=mdettweiler [2012-01-10 14:46:49] 633*2^1000547-1 is not prime. Res64: 85B51DAE2AB994DC Time : 0.0 sec. user=mdettweiler [2012-01-10 14:49:40] 885*2^1000555-1 is not prime. Res64: ECAF2709C165EB86 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:49:40] 985*2^1000555-1 is not prime. Res64: F25ED07E88776316 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:57:12] 955*2^1000547-1 is not prime. Res64: 2542318B9DF29F27 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:57:12] 981*2^1000547-1 is not prime. Res64: 4ABC9F1C9B93F686 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:57:18] 767*2^1000556-1 is not prime. Res64: 1DD8EDDACC9A68E5 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:57:18] 773*2^1000556-1 is not prime. Res64: 30D6D276996416A9 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:57:49] 645*2^1000555-1 is not prime. Res64: B70EA1F647EB22DB Time : 0.0 sec. user=mdettweiler [2012-01-10 14:57:59] 635*2^1000556-1 is not prime. Res64: 074744CF62CB2454 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:59:34] 857*2^1000556-1 is not prime. Res64: 137BE8EB00F7DC49 Time : 0.0 sec. user=mdettweiler [2012-01-10 14:59:35] 899*2^1000556-1 is not prime. Res64: 566F045E41A43BB6 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:00:19] 945*2^1000549-1 is not prime. Res64: 62F0F23B96B11F0F Time : 0.0 sec. user=mdettweiler [2012-01-10 15:00:20] 663*2^1000550-1 is not prime. Res64: 49F82C2372797C34 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:05:45] 773*2^1000558-1 is not prime. Res64: 07207148CAD93903 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:05:55] 861*2^1000558-1 is not prime. Res64: D153781719DFA971 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:09:27] 837*2^1000557-1 is not prime. Res64: C68A95660BB27E9D Time : 0.0 sec. user=mdettweiler [2012-01-10 15:09:30] 861*2^1000557-1 is not prime. Res64: 73E44D24C651BF84 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:09:58] 957*2^1000556-1 is not prime. Res64: BB01673F046C00FC Time : 0.0 sec. user=mdettweiler [2012-01-10 15:09:59] 969*2^1000556-1 is not prime. Res64: A49C63C7D646D60C Time : 0.0 sec. user=mdettweiler [2012-01-10 15:13:41] 721*2^1000559-1 is not prime. Res64: 5CD88CFCCCFC1BA4 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:13:50] 811*2^1000559-1 is not prime. Res64: DEE29436F2736799 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:16:57] 955*2^1000557-1 is not prime. Res64: 07A1635D1C96E8F7 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:16:57] 663*2^1000558-1 is not prime. Res64: 572A9543A58AD828 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:19:11] 867*2^1000558-1 is not prime. Res64: 98D889AD9467A74C Time : 0.0 sec. user=mdettweiler [2012-01-10 15:19:11] 951*2^1000558-1 is not prime. Res64: 8B3AE69CDB6612B8 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:21:39] 717*2^1000560-1 is not prime. Res64: A78C13387A1FA226 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:21:46] 753*2^1000560-1 is not prime. Res64: 8285EAA13F9D323F Time : 0.0 sec. user=mdettweiler [2012-01-10 15:29:33] 855*2^1000561-1 is not prime. Res64: 0C5A8985AEB5F9FE Time : 0.0 sec. user=mdettweiler [2012-01-10 15:29:40] 861*2^1000561-1 is not prime. Res64: F8BECE350CAEF316 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:30:28] 895*2^1000559-1 is not prime. Res64: F4DCC6ED6A6F5474 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:30:28] 939*2^1000559-1 is not prime. Res64: 32B2CC2A73DAF91A Time : 0.0 sec. user=mdettweiler [2012-01-10 15:30:56] 629*2^1000560-1 is not prime. Res64: 1EABD30D9653F24C Time : 0.0 sec. user=mdettweiler [2012-01-10 15:30:57] 665*2^1000560-1 is not prime. Res64: 3FDBBE765CF8FB00 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:32:25] 721*2^1000553-1 is not prime. Res64: CB2D3E7A90D1AC61 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:32:26] 775*2^1000553-1 is not prime. Res64: 0F6D631BE7345307 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:41:11] 779*2^1000560-1 is not prime. Res64: 0F27C5294733F2FF Time : 0.0 sec. user=mdettweiler [2012-01-10 15:41:12] 845*2^1000560-1 is not prime. Res64: BDDA0BE11F1D8443 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:42:40] 923*2^1000560-1 is not prime. Res64: B6C168236A3FE3F4 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:42:40] 747*2^1000561-1 is not prime. Res64: 812EDAA1CAFC901E Time : 0.0 sec. user=mdettweiler [2012-01-10 15:49:35] 997*2^1000561-1 is not prime. Res64: 201DEA279C679B00 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:49:42] 901*2^1000561-1 is not prime. Res64: 887E5DEEE2C89E06 Time : 0.0 sec. user=mdettweiler [2012-01-10 15:56:08] 711*2^1000562-1 is not prime. Res64: 7185C30A7FD51CED Time : 0.0 sec. user=mdettweiler [2012-01-10 15:56:09] 713*2^1000562-1 is not prime. Res64: AA0587628DB660BE Time : 0.0 sec. user=mdettweiler [2012-01-10 15:57:30] 639*2^1000563-1 is not prime. Res64: 957BF988257AFF1F Time : 0.0 sec. user=mdettweiler [2012-01-10 15:57:34] 723*2^1000563-1 is not prime. Res64: 0C2CC956A589ECCE Time : 0.0 sec. user=mdettweiler [2012-01-10 15:58:21] 753*2^1000562-1 is not prime. Res64: 5DC68F58DDF6221A Time : 0.0 sec. user=mdettweiler [2012-01-10 15:58:21] 755*2^1000562-1 is not prime. Res64: 8B08E87FEB53F98C Time : 0.0 sec. user=mdettweiler [2012-01-10 16:05:29] 921*2^1000563-1 is not prime. Res64: 0BC2CE79BA23C0B5 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:07:43] 911*2^1000562-1 is not prime. Res64: 2D297EE512631FE1 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:07:44] 915*2^1000562-1 is not prime. Res64: 4ECD0413A69DB79F Time : 0.0 sec. user=mdettweiler [2012-01-10 16:10:21] 747*2^1000557-1 is not prime. Res64: D9FD4DF6872B06DF Time : 0.0 sec. user=mdettweiler [2012-01-10 16:10:22] 817*2^1000557-1 is not prime. Res64: 68A9BB9AF1392FF4 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:12:10] 869*2^1000564-1 is not prime. Res64: 1B0E50F8B888BA90 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:14:26] 977*2^1000562-1 is not prime. Res64: 683DF9F0A6BA9F61 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:14:27] 987*2^1000562-1 is not prime. Res64: 5C595C417BF41E67 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:19:06] 727*2^1000565-1 is not prime. Res64: DF0BE4686D44CAAD Time : 0.0 sec. user=mdettweiler [2012-01-10 16:19:58] 871*2^1000557-1 is not prime. Res64: 565459F2F2B65098 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:19:58] 937*2^1000557-1 is not prime. Res64: 8C1D43DBFBDB80D2 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:21:57] 853*2^1000563-1 is not prime. Res64: BCC1CF1774F6AD6E Time : 0.0 sec. user=mdettweiler [2012-01-10 16:21:57] 859*2^1000563-1 is not prime. Res64: 7573D2B861A55F47 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:24:46] 951*2^1000563-1 is not prime. Res64: 0709F919FE389116 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:24:46] 615*2^1000564-1 is not prime. Res64: 1A82DC5DF0984AD1 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:25:38] 801*2^1000565-1 is not prime. Res64: DD88F72F7696F38E Time : 0.0 sec. user=mdettweiler [2012-01-10 16:32:11] 843*2^1000566-1 is not prime. Res64: 320626DDA75008B0 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:34:00] 995*2^1000558-1 is not prime. Res64: 09D8D57D9D529C06 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:34:00] 643*2^1000559-1 is not prime. Res64: 91BCA9E465AB5EDF Time : 0.0 sec. user=mdettweiler [2012-01-10 16:34:46] 923*2^1000564-1 is not prime. Res64: FD85D96D9E21434C Time : 0.0 sec. user=mdettweiler [2012-01-10 16:34:46] 649*2^1000565-1 is not prime. Res64: D543BC6C1853E4A2 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:39:36] 735*2^1000565-1 is not prime. Res64: B7DDA615998FB911 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:39:37] 799*2^1000565-1 is not prime. Res64: A08F429941C3365C Time : 0.0 sec. user=mdettweiler [2012-01-10 16:40:12] 971*2^1000566-1 is not prime. Res64: B6E6A56B5C49216C Time : 0.0 sec. user=mdettweiler [2012-01-10 16:46:43] 831*2^1000567-1 is not prime. Res64: 0031241AD8B524F0 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:48:33] 635*2^1000566-1 is not prime. Res64: DA20BB9351964EA4 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:48:33] 717*2^1000566-1 is not prime. Res64: FA5FA0658C771D00 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:51:09] 741*2^1000566-1 is not prime. Res64: 1E611590424EDC22 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:51:09] 795*2^1000566-1 is not prime. Res64: EC4E225613D5D5F6 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:53:14] 901*2^1000567-1 is not prime. Res64: 0B19737B1C069B26 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:55:13] 791*2^1000562-1 is not prime. Res64: FA52261657538A6A Time : 0.0 sec. user=mdettweiler [2012-01-10 16:55:14] 831*2^1000562-1 is not prime. Res64: 0875BBDEF384A1FD Time : 0.0 sec. user=mdettweiler [2012-01-10 16:59:46] 657*2^1000569-1 is not prime. Res64: 523CC407B74855F5 Time : 0.0 sec. user=mdettweiler [2012-01-10 16:59:51] 649*2^1000567-1 is not prime. Res64: 8729B6F70B488C7D Time : 0.0 sec. user=mdettweiler [2012-01-10 16:59:51] 663*2^1000567-1 is not prime. Res64: 7A6393A9D45CB601 Time : 0.0 sec. user=mdettweiler [2012-01-10 17:04:45] 673*2^1000567-1 is not prime. Res64: F0D88AD92932575E Time : 0.0 sec. user=mdettweiler [2012-01-10 17:04:46] 763*2^1000567-1 is not prime. Res64: EE8448472647BF6D Time : 0.0 sec. user=mdettweiler [2012-01-10 17:06:17] 691*2^1000569-1 is not prime. Res64: 48755EC5B132A70B Time : 0.0 sec. user=mdettweiler [2012-01-10 17:14:23] 987*2^1000569-1 is not prime. Res64: A847CCAADAAD2D09 Time : 0.0 sec. user=mdettweiler [2012-01-10 17:15:36] 665*2^1000568-1 is not prime. Res64: 694626148C2F8B68 Time : 0.0 sec. user=mdettweiler [2012-01-10 17:15:36] 713*2^1000568-1 is not prime. Res64: 0DE97807B2FD981B Time : 0.0 sec. user=mdettweiler [2012-01-10 17:19:14] 893*2^1000568-1 is not prime. Res64: EB01D2F353570FAF Time : 0.0 sec. user=mdettweiler [2012-01-10 17:19:15] 959*2^1000568-1 is not prime. Res64: 6BBFCFFBD1F25987 Time : 0.0 sec. user=mdettweiler [2012-01-10 17:22:33] 997*2^1000569-1 is not prime. Res64: E696E99EAA6EF0F2 Time : 0.0 sec. user=mdettweiler [2012-01-10 17:26:22] 795*2^1000569-1 is not prime. Res64: C667B62BB575EFB2 Time : 0.0 sec. user=mdettweiler [2012-01-10 17:26:22] 807*2^1000569-1 is not prime. Res64: B767B96E67C3A0BF Time : 0.0 sec. user=mdettweiler [2012-01-10 17:29:04] 791*2^1000570-1 is not prime. Res64: B678C1CE052027A3 Time : 0.0 sec. user=mdettweiler [2012-01-10 17:31:23] 861*2^1000569-1 is not prime. Res64: 4AF627B01C1CB36D Time : 0.0 sec. user=mdettweiler [2012-01-10 17:31:23] 909*2^1000569-1 is not prime. Res64: 671FC7ECDA6A8D18 Time : 0.0 sec. user=mdettweiler [2012-01-10 17:31:33] 651*2^1000565-1 is not prime. Res64: 8021F338AEA27FE1 Time : 0.0 sec. user=mdettweiler [2012-01-10 17:31:33] 715*2^1000565-1 is not prime. Res64: F31577C14076A0A3 Time : 0.0 sec. user=mdettweiler [2012-01-10 17:35:35] 923*2^1000570-1 is not prime. Res64: 2E4471300F3AEB70 Time : 0.0 sec. user=mdettweiler [2012-01-10 17:42:07] 745*2^1000571-1 is not prime. Res64: 083AEDA4D13B1994 Time : 0.0 sec. user=mdettweiler [2012-01-10 17:42:13] 999*2^1000569-1 is not prime. Res64: A42F99CB7E3A8696 Time : 0.0 sec. user=mdettweiler [2012-01-10 17:42:13] 665*2^1000570-1 is not prime. Res64: D58898F867AD5CB2 Time : 0.0 sec. user=mdettweiler [2012-01-10 17:42:56] 741*2^1000570-1 is not prime. Res64: 0853FFD31CD54916 Time : 0.0 sec. user=mdettweiler [2012-01-10 17:42:56] 765*2^1000570-1 is not prime. Res64: 0E0979464A4BFE19 Time : 0.0 sec. user=mdettweiler [2012-01-10 17:47:44] 867*2^1000570-1 is not prime. Res64: CA433827774A5C7D Time : 0.0 sec. user=mdettweiler [2012-01-10 17:47:44] 891*2^1000570-1 is not prime. Res64: 7226C7E90FC8455E Time : 0.0 sec. user=mdettweiler [2012-01-10 17:48:39] 753*2^1000571-1 is not prime. Res64: 17AE943EB91D115A Time : 0.0 sec. user=mdettweiler [2012-01-10 17:51:21] 859*2^1000565-1 is not prime. Res64: BFDA33D420F0041B Time : 0.0 sec. user=mdettweiler [2012-01-10 17:51:21] 987*2^1000565-1 is not prime. Res64: 64F5A2F80AC81678 Time : 0.0 sec. user=mdettweiler [2012-01-10 17:51:31] 941*2^1000570-1 is not prime. Res64: 9D35B1D0215724BE Time : 0.0 sec. user=mdettweiler [2012-01-10 17:51:32] 621*2^1000571-1 is not prime. Res64: F91340AD7C58AEDC Time : 0.0 sec. user=mdettweiler [2012-01-10 17:55:12] 689*2^1000572-1 is not prime. Res64: E49BC6D5171023CC Time : 0.0 sec. user=mdettweiler [2012-01-10 18:01:44] 915*2^1000572-1 is not prime. Res64: 9C12E00D82E10F59 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:03:11] 1001*2^1000566-1 is not prime. Res64: F1626EEE7283DD08 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:03:17] 609*2^1000567-1 is not prime. Res64: 0FDDAA9E0BB5DD8E Time : 0.0 sec. user=mdettweiler [2012-01-10 18:04:16] 945*2^1000571-1 is not prime. Res64: 8D3A5969F51153F9 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:04:17] 973*2^1000571-1 is not prime. Res64: 778578BC9A84723D Time : 0.0 sec. user=mdettweiler [2012-01-10 18:04:59] 979*2^1000571-1 is not prime. Res64: 8262088BC37FA5B7 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:04:59] 605*2^1000572-1 is not prime. Res64: A5808AB4F97E9428 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:07:41] 627*2^1000572-1 is not prime. Res64: E200E9382228DE8D Time : 0.0 sec. user=mdettweiler [2012-01-10 18:07:43] 669*2^1000572-1 is not prime. Res64: 1BC244C7F2F093A5 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:11:15] 769*2^1000573-1 is not prime. Res64: A665B10769907BCF Time : 0.0 sec. user=mdettweiler [2012-01-10 18:11:25] 825*2^1000572-1 is not prime. Res64: CD4B690CDAF9C8AB Time : 0.0 sec. user=mdettweiler [2012-01-10 18:11:25] 893*2^1000572-1 is not prime. Res64: 65BCF710255B7573 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:16:01] 667*2^1000569-1 is not prime. Res64: 46EA775FB7D3E551 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:16:04] 681*2^1000569-1 is not prime. Res64: 57B2ABC140FC1CFA Time : 0.0 sec. user=mdettweiler [2012-01-10 18:17:49] 915*2^1000573-1 is not prime. Res64: DCE26F547B2E56A8 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:24:09] 639*2^1000573-1 is not prime. Res64: 522ADFFD0434929A Time : 0.0 sec. user=mdettweiler [2012-01-10 18:24:09] 715*2^1000573-1 is not prime. Res64: A8CBFE966B41A4E7 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:24:22] 665*2^1000574-1 is not prime. Res64: 35B65E9DD807CF1E Time : 0.0 sec. user=mdettweiler [2012-01-10 18:24:47] 831*2^1000573-1 is not prime. Res64: 8EBC3842D02353D8 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:24:47] 847*2^1000573-1 is not prime. Res64: 211E02621149AB67 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:27:26] 855*2^1000573-1 is not prime. Res64: 0AA041E0DAFC0AA9 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:27:26] 897*2^1000573-1 is not prime. Res64: 308FB75FE6A0FC70 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:31:18] 937*2^1000573-1 is not prime. Res64: C59ADDE939F19345 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:31:18] 955*2^1000573-1 is not prime. Res64: C83F3641D031A18D Time : 0.0 sec. user=mdettweiler [2012-01-10 18:32:13] 885*2^1000574-1 is not prime. Res64: 23AC86E7E04D3152 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:32:41] 871*2^1000563-1 is not prime. Res64: 9E783A07DE924362 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:40:10] 699*2^1000576-1 is not prime. Res64: 4B409BD8EAD68571 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:40:37] 759*2^1000576-1 is not prime. Res64: 0139A4DC516CFE2D Time : 0.0 sec. user=mdettweiler [2012-01-10 18:44:13] 827*2^1000574-1 is not prime. Res64: 644A3E9B32018B36 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:44:13] 851*2^1000574-1 is not prime. Res64: B4954B4D483B4DEE Time : 0.0 sec. user=mdettweiler [2012-01-10 18:44:56] 619*2^1000575-1 is not prime. Res64: 9885F8FA7B2D30A6 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:44:56] 625*2^1000575-1 is not prime. Res64: C9DB4F3F66E201CA Time : 0.0 sec. user=mdettweiler [2012-01-10 18:47:41] 651*2^1000575-1 is not prime. Res64: 55066E8B7E3A878C Time : 0.0 sec. user=mdettweiler [2012-01-10 18:47:41] 711*2^1000575-1 is not prime. Res64: C7609E0008287205 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:48:05] 765*2^1000576-1 is not prime. Res64: 7B65C3951F113897 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:48:33] 779*2^1000576-1 is not prime. Res64: 808A4BBFE43AFDD5 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:51:46] 723*2^1000575-1 is not prime. Res64: EDF40DE5AE6FB1CA Time : 0.0 sec. user=mdettweiler [2012-01-10 18:51:46] 859*2^1000575-1 is not prime. Res64: 779F146824A26CF6 Time : 0.0 sec. user=mdettweiler [2012-01-10 18:55:06] 675*2^1000571-1 is not prime. Res64: F5A472ABE82CDCBB Time : 0.0 sec. user=mdettweiler [2012-01-10 18:55:06] 705*2^1000571-1 is not prime. Res64: C41D6F3533E1AB0F Time : 0.0 sec. user=mdettweiler [2012-01-10 18:56:00] 885*2^1000577-1 is not prime. Res64: 0ECCDA222ED2206B Time : 0.0 sec. user=mdettweiler [2012-01-10 18:56:27] 925*2^1000577-1 is not prime. Res64: 63E72B1BCDAC1D6C Time : 0.0 sec. user=mdettweiler [2012-01-10 19:04:21] 633*2^1000579-1 is not prime. Res64: FBBB366412F95959 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:05:27] 615*2^1000577-1 is not prime. Res64: 7EC622E321E597A1 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:05:27] 631*2^1000577-1 is not prime. Res64: 0561DCE079447191 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:05:47] 971*2^1000578-1 is not prime. Res64: 711B6A4EAD61F2FC Time : 0.0 sec. user=mdettweiler [2012-01-10 19:07:00] 917*2^1000576-1 is not prime. Res64: E6376E87820FBACE Time : 0.0 sec. user=mdettweiler [2012-01-10 19:07:01] 999*2^1000576-1 is not prime. Res64: 6B7D1F2E64F0C616 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:08:09] 759*2^1000577-1 is not prime. Res64: 664A25B7C32ADE70 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:08:10] 781*2^1000577-1 is not prime. Res64: 266BE7F4DB04FA03 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:12:07] 765*2^1000578-1 is not prime. Res64: 21D785E7D4513A36 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:12:09] 777*2^1000578-1 is not prime. Res64: 4346A977F7AB0358 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:12:19] 741*2^1000579-1 is not prime. Res64: CFF29F7F898AD391 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:13:39] 767*2^1000572-1 is not prime. Res64: 5922D3B920D729C9 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:13:39] 779*2^1000572-1 is not prime. Res64: 3B35D8A07DC05F08 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:13:41] 919*2^1000579-1 is not prime. Res64: E8F54BB6E2495077 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:20:19] 615*2^1000581-1 is not prime. Res64: 5FB0FDD042D4A460 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:21:36] 717*2^1000581-1 is not prime. Res64: 6AE043267E27024D Time : 0.0 sec. user=mdettweiler [2012-01-10 19:25:33] 771*2^1000579-1 is not prime. Res64: 32216F362C8D7D10 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:25:34] 885*2^1000579-1 is not prime. Res64: 9E5A5E6D5D765599 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:27:22] 735*2^1000580-1 is not prime. Res64: 8961BA01C7EB47B8 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:27:23] 767*2^1000580-1 is not prime. Res64: 04EB9239383A6627 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:28:15] 781*2^1000581-1 is not prime. Res64: E0FD41FF9ED822BE Time : 0.0 sec. user=mdettweiler [2012-01-10 19:28:25] 843*2^1000580-1 is not prime. Res64: 29D012C78C328394 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:28:25] 845*2^1000580-1 is not prime. Res64: 3CE4BD63A8FC34D1 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:29:33] 895*2^1000581-1 is not prime. Res64: 7EC6B6D72DA93D39 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:32:16] 893*2^1000580-1 is not prime. Res64: 57A515D4222CF357 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:32:16] 915*2^1000580-1 is not prime. Res64: E2C729A259763C54 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:35:25] 945*2^1000572-1 is not prime. Res64: A61D23A1D855C910 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:35:26] 965*2^1000572-1 is not prime. Res64: AEF283470D56D2A6 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:36:11] 705*2^1000582-1 is not prime. Res64: BD5CAEE94A469A97 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:37:28] 619*2^1000583-1 is not prime. Res64: C7F366158CB420F5 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:45:27] 725*2^1000584-1 is not prime. Res64: 3E92803E0BD74144 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:45:57] 991*2^1000583-1 is not prime. Res64: C756D704DA35BE82 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:47:20] 671*2^1000582-1 is not prime. Res64: 303F5EF9A3900686 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:47:20] 681*2^1000582-1 is not prime. Res64: AA8A3856886991A5 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:47:43] 937*2^1000581-1 is not prime. Res64: 7F53A655B070A95C Time : 0.0 sec. user=mdettweiler [2012-01-10 19:47:43] 969*2^1000581-1 is not prime. Res64: 454DBDEBB3FB7D53 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:48:02] 967*2^1000573-1 is not prime. Res64: A189394AF545D496 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:48:02] 605*2^1000574-1 is not prime. Res64: BF97EB42FFB6FAFE Time : 0.0 sec. user=mdettweiler [2012-01-10 19:48:21] 777*2^1000582-1 is not prime. Res64: 0168EE6BAC60DF64 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:48:21] 923*2^1000582-1 is not prime. Res64: 630D4A3BB9C04017 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:52:12] 643*2^1000583-1 is not prime. Res64: 23E374BADB303742 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:52:12] 829*2^1000583-1 is not prime. Res64: 7241387BBF8EF548 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:54:14] 843*2^1000584-1 is not prime. Res64: 98C172E168668A29 Time : 0.0 sec. user=mdettweiler [2012-01-10 19:54:54] 737*2^1000584-1 is not prime. Res64: B2470919327A7882 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:02:11] 677*2^1000586-1 is not prime. Res64: 693F1A17C33C5056 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:02:49] 813*2^1000586-1 is not prime. Res64: 8BAE27AB906D3C1F Time : 0.0 sec. user=mdettweiler [2012-01-10 20:07:27] 929*2^1000584-1 is not prime. Res64: 2AD26FD8C89EF23E Time : 0.0 sec. user=mdettweiler [2012-01-10 20:07:29] 661*2^1000585-1 is not prime. Res64: 3E235D973EEE3EA1 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:07:46] 817*2^1000585-1 is not prime. Res64: EC0BC5DAA8E6ED7A Time : 0.0 sec. user=mdettweiler [2012-01-10 20:07:47] 819*2^1000585-1 is not prime. Res64: 83E285B59DA34E5C Time : 0.0 sec. user=mdettweiler [2012-01-10 20:10:14] 921*2^1000586-1 is not prime. Res64: 8668E1CAD4334E73 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:10:40] 997*2^1000585-1 is not prime. Res64: 79C9F2EDBD079421 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:10:41] 615*2^1000586-1 is not prime. Res64: A6CC8452316B1D0A Time : 0.0 sec. user=mdettweiler [2012-01-10 20:12:09] 633*2^1000586-1 is not prime. Res64: 73163F38467B56D7 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:12:10] 641*2^1000586-1 is not prime. Res64: EA7CD54D9C879B38 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:12:39] 971*2^1000586-1 is not prime. Res64: FA3B1BE3E057E102 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:18:09] 909*2^1000587-1 is not prime. Res64: A392378582D5BF1A Time : 0.0 sec. user=mdettweiler [2012-01-10 20:19:05] 815*2^1000578-1 is not prime. Res64: 5909B161AFFA3CDF Time : 0.0 sec. user=mdettweiler [2012-01-10 20:19:05] 875*2^1000578-1 is not prime. Res64: E662FA15138BE243 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:20:38] 723*2^1000588-1 is not prime. Res64: 1321FA2609721748 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:26:04] 749*2^1000588-1 is not prime. Res64: 0C564FA0C3FBE0CA Time : 0.0 sec. user=mdettweiler [2012-01-10 20:28:24] 615*2^1000587-1 is not prime. Res64: 1588151EACABA8CD Time : 0.0 sec. user=mdettweiler [2012-01-10 20:28:24] 669*2^1000587-1 is not prime. Res64: 39EF42351DC862FE Time : 0.0 sec. user=mdettweiler [2012-01-10 20:28:38] 735*2^1000587-1 is not prime. Res64: C1E0759E0E4264AC Time : 0.0 sec. user=mdettweiler [2012-01-10 20:28:38] 775*2^1000587-1 is not prime. Res64: EB4D236A0819CD02 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:30:26] 999*2^1000588-1 is not prime. Res64: 80E30E86F4B92D47 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:33:26] 639*2^1000588-1 is not prime. Res64: AF12F41EE21731F5 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:33:26] 647*2^1000588-1 is not prime. Res64: 2ADB599B50F35F56 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:33:55] 991*2^1000587-1 is not prime. Res64: 3008F690FA67329B Time : 0.0 sec. user=mdettweiler [2012-01-10 20:33:56] 615*2^1000588-1 is not prime. Res64: 845206503A639171 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:34:00] 697*2^1000589-1 is not prime. Res64: 8C24FFFCEE7FC2C1 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:36:22] 649*2^1000581-1 is not prime. Res64: CC946F6B1D04C5E7 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:36:23] 651*2^1000581-1 is not prime. Res64: B0F5BAB6CFF0B514 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:38:23] 641*2^1000590-1 is not prime. Res64: E6C32C26A4A8BFD0 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:41:57] 675*2^1000591-1 is not prime. Res64: 04F22C135AE5AA6C Time : 0.0 sec. user=mdettweiler [2012-01-10 20:46:18] 789*2^1000591-1 is not prime. Res64: 447CC1EFAB4E44F1 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:48:49] 727*2^1000589-1 is not prime. Res64: 227CEFBA82992002 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:48:50] 889*2^1000589-1 is not prime. Res64: 66DEA52972C76226 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:49:52] 861*2^1000591-1 is not prime. Res64: 994E428960836AAC Time : 0.0 sec. user=mdettweiler [2012-01-10 20:51:25] 987*2^1000589-1 is not prime. Res64: FDAEB1BECCD627EC Time : 0.0 sec. user=mdettweiler [2012-01-10 20:51:25] 627*2^1000590-1 is not prime. Res64: 00475F02ACED9017 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:53:42] 783*2^1000590-1 is not prime. Res64: 18D2BEA83A1543E6 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:53:42] 797*2^1000590-1 is not prime. Res64: 42006843D6B50939 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:54:10] 909*2^1000591-1 is not prime. Res64: F6777217A8B58411 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:56:23] 971*2^1000590-1 is not prime. Res64: 08BD5ED8524C54B9 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:56:24] 621*2^1000591-1 is not prime. Res64: 6B4C425E02C6FF13 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:57:47] 609*2^1000592-1 is not prime. Res64: 55701AC5F6AC8574 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:57:50] 915*2^1000583-1 is not prime. Res64: 7E0311FBB8051185 Time : 0.0 sec. user=mdettweiler [2012-01-10 20:57:50] 949*2^1000583-1 is not prime. Res64: EBE7B236B65D8B37 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:02:06] 719*2^1000592-1 is not prime. Res64: 7090C91CC094700E Time : 0.0 sec. user=mdettweiler [2012-01-10 21:05:58] 843*2^1000592-1 is not prime. Res64: 233EF0327F87DE57 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:10:43] 895*2^1000585-1 is not prime. Res64: 18857B56D1563505 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:10:44] 919*2^1000585-1 is not prime. Res64: 5A86CC973BE5E145 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:11:51] 675*2^1000592-1 is not prime. Res64: D19CE783503F3877 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:11:52] 677*2^1000592-1 is not prime. Res64: 0B6294DF84737936 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:12:17] 959*2^1000592-1 is not prime. Res64: 8800E64E76BDFC55 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:13:57] 969*2^1000591-1 is not prime. Res64: 3D80B7333DC42BD1 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:13:58] 975*2^1000591-1 is not prime. Res64: 1E1E69DD2DE5EB02 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:14:02] 625*2^1000593-1 is not prime. Res64: B45369091CB51F57 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:14:10] 687*2^1000592-1 is not prime. Res64: 7271D77CA421D184 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:14:10] 693*2^1000592-1 is not prime. Res64: 63E115778EB08B29 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:16:53] 825*2^1000592-1 is not prime. Res64: 22466EBCB6BE6E5B Time : 0.0 sec. user=mdettweiler [2012-01-10 21:16:54] 833*2^1000592-1 is not prime. Res64: F23E0B38B0778EAB Time : 0.0 sec. user=mdettweiler [2012-01-10 21:20:13] 635*2^1000594-1 is not prime. Res64: 11FB850E356DA4A9 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:21:58] 785*2^1000594-1 is not prime. Res64: 498FD6FDF5CA0CA3 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:28:13] 609*2^1000596-1 is not prime. Res64: E7D66EA7B14C45E5 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:29:56] 623*2^1000596-1 is not prime. Res64: 21B8CB9536E5B33E Time : 0.0 sec. user=mdettweiler [2012-01-10 21:34:23] 817*2^1000593-1 is not prime. Res64: 0F37CA7B3831245D Time : 0.0 sec. user=mdettweiler [2012-01-10 21:34:24] 871*2^1000593-1 is not prime. Res64: 0F776B14E4610871 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:35:47] 657*2^1000594-1 is not prime. Res64: 2BE260EA56F1380F Time : 0.0 sec. user=mdettweiler [2012-01-10 21:35:47] 675*2^1000594-1 is not prime. Res64: 28D2488A248BA6BF Time : 0.0 sec. user=mdettweiler [2012-01-10 21:36:07] 689*2^1000596-1 is not prime. Res64: 9E4FBCB3AFFDABB9 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:36:44] 833*2^1000594-1 is not prime. Res64: 56A23111CFDCA32E Time : 0.0 sec. user=mdettweiler [2012-01-10 21:36:44] 775*2^1000595-1 is not prime. Res64: 9DEAFE992FDF8E6B Time : 0.0 sec. user=mdettweiler [2012-01-10 21:37:50] 719*2^1000596-1 is not prime. Res64: 99DC2023E4E9CE94 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:41:01] 895*2^1000595-1 is not prime. Res64: E6E1D66BCD9C9551 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:41:01] 973*2^1000595-1 is not prime. Res64: 9BAAE8C3ECC97312 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:42:30] 827*2^1000588-1 is not prime. Res64: 78E321C0E29510FA Time : 0.0 sec. user=mdettweiler [2012-01-10 21:42:30] 927*2^1000588-1 is not prime. Res64: DBF844D6DF95C516 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:44:04] 893*2^1000596-1 is not prime. Res64: B46F9762934436EB Time : 0.0 sec. user=mdettweiler [2012-01-10 21:45:46] 919*2^1000597-1 is not prime. Res64: 696170EE562EF592 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:52:00] 713*2^1000598-1 is not prime. Res64: CD1DACC4017CB799 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:53:42] 845*2^1000598-1 is not prime. Res64: 932C66F8673BB096 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:55:48] 777*2^1000596-1 is not prime. Res64: 1C6AAB27E98A6054 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:55:48] 837*2^1000596-1 is not prime. Res64: 75093A345AB9C75E Time : 0.0 sec. user=mdettweiler [2012-01-10 21:57:23] 873*2^1000596-1 is not prime. Res64: BB70754C89CA47D0 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:57:23] 875*2^1000596-1 is not prime. Res64: 57A632B9EB4520CC Time : 0.0 sec. user=mdettweiler [2012-01-10 21:58:06] 703*2^1000591-1 is not prime. Res64: 7D15AE2570E3BDC5 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:58:06] 759*2^1000591-1 is not prime. Res64: 40237B6B34FBCFC5 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:59:10] 771*2^1000597-1 is not prime. Res64: C81DFBD70AC345D6 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:59:11] 861*2^1000597-1 is not prime. Res64: 87A40B60BB631955 Time : 0.0 sec. user=mdettweiler [2012-01-10 21:59:59] 885*2^1000598-1 is not prime. Res64: A500701C30A9F50F Time : 0.0 sec. user=mdettweiler [2012-01-10 22:01:39] 941*2^1000598-1 is not prime. Res64: CD1C3662F01C1C8C Time : 0.0 sec. user=mdettweiler [2012-01-10 22:03:08] 939*2^1000597-1 is not prime. Res64: 74750D3DB915C53B Time : 0.0 sec. user=mdettweiler [2012-01-10 22:03:09] 641*2^1000598-1 is not prime. Res64: 4B69FAAFB7800BB7 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:07:53] 895*2^1000599-1 is not prime. Res64: 00DD2314D83C608E Time : 0.0 sec. user=mdettweiler [2012-01-10 22:09:35] 943*2^1000599-1 is not prime. Res64: 97135628BE4A0139 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:15:52] 689*2^1000600-1 is not prime. Res64: 944D55C60F7ED819 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:17:32] 723*2^1000600-1 is not prime. Res64: DDAFD1485B984AA1 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:20:59] 703*2^1000599-1 is not prime. Res64: 4C9BF9E34D6CA4F6 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:20:59] 721*2^1000599-1 is not prime. Res64: 49AF80CB4F5CB9FC Time : 0.0 sec. user=mdettweiler [2012-01-10 22:21:34] 977*2^1000598-1 is not prime. Res64: 0158E7050359BCBB Time : 0.0 sec. user=mdettweiler [2012-01-10 22:21:34] 693*2^1000599-1 is not prime. Res64: 31D4C1E88C27FEAC Time : 0.0 sec. user=mdettweiler [2012-01-10 22:22:04] 861*2^1000599-1 is not prime. Res64: 62E74B4CD5AD98FB Time : 0.0 sec. user=mdettweiler [2012-01-10 22:22:04] 879*2^1000599-1 is not prime. Res64: 27714B735E8DDFB8 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:25:30] 711*2^1000601-1 is not prime. Res64: DFC38895B668B963 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:25:40] 957*2^1000600-1 is not prime. Res64: 54556EBFF3AB9143 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:25:55] 949*2^1000599-1 is not prime. Res64: C6726E0B458A2BDB Time : 0.0 sec. user=mdettweiler [2012-01-10 22:25:55] 609*2^1000600-1 is not prime. Res64: DD34F00C0CC11ABE Time : 0.0 sec. user=mdettweiler [2012-01-10 22:31:56] 909*2^1000592-1 is not prime. Res64: 53784A247A84AFA8 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:31:56] 957*2^1000592-1 is not prime. Res64: C7C03CCD684CA7C3 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:33:27] 807*2^1000602-1 is not prime. Res64: 3029F3C060DC6CF6 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:33:38] 825*2^1000602-1 is not prime. Res64: 09FC54841D779BB3 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:33:39] 787*2^1000593-1 is not prime. Res64: EC7A0F7659924317 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:33:39] 805*2^1000593-1 is not prime. Res64: 08F642043481F46E Time : 0.0 sec. user=mdettweiler [2012-01-10 22:40:50] 769*2^1000601-1 is not prime. Res64: 50EC306526F0E55D Time : 0.0 sec. user=mdettweiler [2012-01-10 22:40:50] 799*2^1000601-1 is not prime. Res64: CE4D7E0EDE417F32 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:41:20] 889*2^1000601-1 is not prime. Res64: 8D31A77B96BA3520 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:41:21] 955*2^1000601-1 is not prime. Res64: F2D8F95EB8068ECC Time : 0.0 sec. user=mdettweiler [2012-01-10 22:41:24] 679*2^1000603-1 is not prime. Res64: BA51DB985C3EF018 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:41:35] 775*2^1000603-1 is not prime. Res64: 485C4322C2774468 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:41:55] 635*2^1000602-1 is not prime. Res64: 1FF510A0F8FC1DF3 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:41:56] 651*2^1000602-1 is not prime. Res64: 99B4D8CB7B36E235 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:45:38] 915*2^1000602-1 is not prime. Res64: 2241BF3EF506DE65 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:45:39] 603*2^1000603-1 is not prime. Res64: E4C9A7357D2B007F Time : 0.0 sec. user=mdettweiler [2012-01-10 22:49:22] 825*2^1000604-1 is not prime. Res64: EAE171F3B5131B8E Time : 0.0 sec. user=mdettweiler [2012-01-10 22:49:32] 909*2^1000604-1 is not prime. Res64: A42F376B16947B5D Time : 0.0 sec. user=mdettweiler [2012-01-10 22:57:18] 877*2^1000605-1 is not prime. Res64: 2BBA4C8EFD6F1E01 Time : 0.0 sec. user=mdettweiler [2012-01-10 22:57:28] 617*2^1000606-1 is not prime. Res64: 82832C237D789FE7 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:00:30] 871*2^1000603-1 is not prime. Res64: D6C8514A288B0FD4 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:00:31] 617*2^1000604-1 is not prime. Res64: 19A74331A9255153 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:01:00] 629*2^1000604-1 is not prime. Res64: BBBD6B5E6B440269 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:01:01] 753*2^1000604-1 is not prime. Res64: DDA9FE848550761C Time : 0.0 sec. user=mdettweiler [2012-01-10 23:01:37] 945*2^1000604-1 is not prime. Res64: 6701E60DC2005F36 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:01:38] 651*2^1000605-1 is not prime. Res64: 247FDA520EE685D6 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:05:13] 657*2^1000606-1 is not prime. Res64: 110F6AE0E07624D1 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:05:18] 717*2^1000605-1 is not prime. Res64: 2B88E6274161B2B3 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:05:19] 861*2^1000605-1 is not prime. Res64: 426EEBB0520207F3 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:05:25] 743*2^1000606-1 is not prime. Res64: A3CF297DF7FC94FF Time : 0.0 sec. user=mdettweiler [2012-01-10 23:06:03] 657*2^1000598-1 is not prime. Res64: 6B888CD9F3C954B7 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:06:04] 671*2^1000598-1 is not prime. Res64: 5E4145DC28809B3D Time : 0.0 sec. user=mdettweiler [2012-01-10 23:10:00] 735*2^1000599-1 is not prime. Res64: D83C1878DA021608 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:13:10] 635*2^1000608-1 is not prime. Res64: D1F2DD4C988F5B43 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:13:23] 839*2^1000608-1 is not prime. Res64: 668B318DB55398EA Time : 0.0 sec. user=mdettweiler [2012-01-10 23:20:10] 917*2^1000606-1 is not prime. Res64: 63E3559B8EFB512A Time : 0.0 sec. user=mdettweiler [2012-01-10 23:20:10] 841*2^1000607-1 is not prime. Res64: 02BCA3A6B8A39062 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:20:44] 883*2^1000607-1 is not prime. Res64: C3A8634BECC6CA0E Time : 0.0 sec. user=mdettweiler [2012-01-10 23:20:44] 885*2^1000607-1 is not prime. Res64: DF42CED63B7BE27D Time : 0.0 sec. user=mdettweiler [2012-01-10 23:21:04] 681*2^1000609-1 is not prime. Res64: F776F78469A7F1BB Time : 0.0 sec. user=mdettweiler [2012-01-10 23:21:17] 741*2^1000609-1 is not prime. Res64: 3F05194A99CF156D Time : 0.0 sec. user=mdettweiler [2012-01-10 23:21:21] 939*2^1000607-1 is not prime. Res64: 0DDA7DD8C073B0B7 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:21:21] 955*2^1000607-1 is not prime. Res64: C45F37608824D452 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:22:26] 763*2^1000599-1 is not prime. Res64: 28725B17A59621D5 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:25:03] 753*2^1000608-1 is not prime. Res64: AC668934F656CCAE Time : 0.0 sec. user=mdettweiler [2012-01-10 23:25:03] 837*2^1000608-1 is not prime. Res64: C9E42381B059683E Time : 0.0 sec. user=mdettweiler [2012-01-10 23:29:13] 603*2^1000610-1 is not prime. Res64: 0E23D524D6122664 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:30:51] 985*2^1000609-1 is not prime. Res64: 13592F3477CD9F5D Time : 0.0 sec. user=mdettweiler [2012-01-10 23:37:51] 793*2^1000611-1 is not prime. Res64: 0B0AF28491FC683E Time : 0.0 sec. user=mdettweiler [2012-01-10 23:39:29] 795*2^1000611-1 is not prime. Res64: 92DF391FB89AAEB5 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:40:02] 745*2^1000609-1 is not prime. Res64: 43DF55E15F151EE6 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:40:02] 789*2^1000609-1 is not prime. Res64: 45439B7A450AB06C Time : 0.0 sec. user=mdettweiler [2012-01-10 23:40:33] 831*2^1000609-1 is not prime. Res64: F56BEA3380EBECAA Time : 0.0 sec. user=mdettweiler [2012-01-10 23:40:34] 951*2^1000609-1 is not prime. Res64: 936C8017A5A1360D Time : 0.0 sec. user=mdettweiler [2012-01-10 23:41:05] 677*2^1000610-1 is not prime. Res64: AED88EEFE0A5BF99 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:41:05] 825*2^1000610-1 is not prime. Res64: B83A0079BE01D495 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:44:47] 703*2^1000611-1 is not prime. Res64: 41FAE67B8BFE9192 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:44:47] 751*2^1000611-1 is not prime. Res64: 9B7C74E0937F32C4 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:45:48] 805*2^1000611-1 is not prime. Res64: BD73A6C242BE7F2D Time : 0.0 sec. user=mdettweiler [2012-01-10 23:47:25] 825*2^1000611-1 is not prime. Res64: C7D046960FA71768 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:53:46] 765*2^1000614-1 is not prime. Res64: DF3180C9836B8D4B Time : 0.0 sec. user=mdettweiler [2012-01-10 23:55:23] 773*2^1000614-1 is not prime. Res64: E6AF6FD366D1D068 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:57:17] 813*2^1000603-1 is not prime. Res64: 229E84345C533B6F Time : 0.0 sec. user=mdettweiler [2012-01-10 23:57:17] 829*2^1000603-1 is not prime. Res64: 53BF0404868FA1C3 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:57:22] 639*2^1000603-1 is not prime. Res64: C81AFE1261CBF3B5 Time : 0.0 sec. user=mdettweiler [2012-01-10 23:57:22] 663*2^1000603-1 is not prime. Res64: 6D9ECD350F3544C1 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:00:43] 631*2^1000613-1 is not prime. Res64: 14151F430EED3B4A Time : 0.0 sec. user=mdettweiler [2012-01-11 00:00:43] 819*2^1000613-1 is not prime. Res64: 8776D8FEB1010089 Time : 0.0 sec.