user=mdettweiler [2013-06-02 00:03:55] 615*2^1246477-1 is not prime. Res64: 9F2A4F6DD65DD521 Time : 0.0 sec. user=mdettweiler [2013-06-02 00:08:55] 923*2^1246476-1 is not prime. Res64: 5E9CFDF674A68065 Time : 0.0 sec. user=mdettweiler [2013-06-02 00:21:44] 639*2^1246477-1 is not prime. Res64: 147597B00D55CE39 Time : 0.0 sec. user=mdettweiler [2013-06-02 00:21:45] 777*2^1246477-1 is not prime. Res64: D98D7C1C5F83066F Time : 0.0 sec. user=mdettweiler [2013-06-02 00:26:38] 801*2^1246477-1 is not prime. Res64: 5D8D94B2C24EE59A Time : 0.0 sec. user=mdettweiler [2013-06-02 00:39:55] 871*2^1246477-1 is not prime. Res64: E7560BD650FE4A34 Time : 0.0 sec. user=mdettweiler [2013-06-02 01:02:22] 847*2^1246477-1 is not prime. Res64: 0CA616A4A4B81AE9 Time : 0.0 sec. user=mdettweiler [2013-06-02 01:07:06] 919*2^1246477-1 is not prime. Res64: 268D0FDC6040B8DA Time : 0.0 sec. user=mdettweiler [2013-06-02 01:42:08] 997*2^1246477-1 is not prime. Res64: FD6471D40D3321BF Time : 0.0 sec. user=mdettweiler [2013-06-02 01:42:08] 999*2^1246477-1 is not prime. Res64: 1415AD38A5BFFCA6 Time : 0.0 sec. user=mdettweiler [2013-06-02 01:53:19] 743*2^1246478-1 is not prime. Res64: 357A9DCE843D9013 Time : 0.0 sec. user=mdettweiler [2013-06-02 01:53:19] 791*2^1246478-1 is not prime. Res64: B7B18479630B2E9A Time : 0.0 sec. user=mdettweiler [2013-06-02 02:00:25] 797*2^1246478-1 is not prime. Res64: 580EF1A1CA91D85C Time : 0.0 sec. user=mdettweiler [2013-06-02 02:00:26] 987*2^1246478-1 is not prime. Res64: D321E89C2B0E1AC6 Time : 0.0 sec. user=mdettweiler [2013-06-02 02:11:55] 993*2^1246478-1 is not prime. Res64: 745D93FEDAFB7AC9 Time : 0.0 sec. user=mdettweiler [2013-06-02 02:11:56] 661*2^1246479-1 is not prime. Res64: E584F2BC7A31CFD8 Time : 0.0 sec. user=mdettweiler [2013-06-02 02:18:14] 663*2^1246479-1 is not prime. Res64: 6407A50D6A9D176D Time : 0.0 sec. user=mdettweiler [2013-06-02 02:18:15] 741*2^1246479-1 is not prime. Res64: 580F76F2BFE551F5 Time : 0.0 sec. user=mdettweiler [2013-06-02 02:29:51] 793*2^1246479-1 is not prime. Res64: 46FB9B0CA545E42E Time : 0.0 sec. user=mdettweiler [2013-06-02 02:29:51] 859*2^1246479-1 is not prime. Res64: D5550C4D15648DE7 Time : 0.0 sec. user=mdettweiler [2013-06-02 02:36:00] 873*2^1246479-1 is not prime. Res64: 2019B89B64E5E4B0 Time : 0.0 sec. user=mdettweiler [2013-06-02 02:36:18] 919*2^1246479-1 is not prime. Res64: CB645C9438087BDD Time : 0.0 sec. user=mdettweiler [2013-06-02 02:48:29] 975*2^1246479-1 is not prime. Res64: 9ADD7780E3CC5D53 Time : 0.0 sec. user=mdettweiler [2013-06-02 02:48:31] 615*2^1246480-1 is not prime. Res64: 094E2662964BA60B Time : 0.0 sec. user=mdettweiler [2013-06-02 03:06:24] 635*2^1246480-1 is not prime. Res64: 41C555FF7649B98D Time : 0.0 sec. user=mdettweiler [2013-06-02 03:06:25] 689*2^1246480-1 is not prime. Res64: 1250E31FD04484AB Time : 0.0 sec. user=mdettweiler [2013-06-02 03:23:05] 713*2^1246480-1 is not prime. Res64: 8A66D56D5A01FF30 Time : 0.0 sec. user=mdettweiler [2013-06-02 03:23:06] 765*2^1246480-1 is not prime. Res64: 0535AFFF673344C8 Time : 0.0 sec. user=mdettweiler [2013-06-02 03:24:36] 785*2^1246480-1 is not prime. Res64: 6CCE27E8472BBE51 Time : 0.0 sec. user=mdettweiler [2013-06-02 03:24:37] 875*2^1246480-1 is not prime. Res64: EC5977DE3901FE76 Time : 0.0 sec. user=mdettweiler [2013-06-02 03:41:34] 939*2^1246480-1 is not prime. Res64: AEA8C48E630AD277 Time : 0.0 sec. user=mdettweiler [2013-06-02 03:41:35] 999*2^1246480-1 is not prime. Res64: EFEC6A7A92408B2E Time : 0.0 sec. user=mdettweiler [2013-06-02 03:42:16] 615*2^1246481-1 is not prime. Res64: A44CE1991C959126 Time : 0.0 sec. user=mdettweiler [2013-06-02 03:59:37] 769*2^1246481-1 is not prime. Res64: D96DE94CF8FEDF78 Time : 0.0 sec. user=mdettweiler [2013-06-02 04:18:47] 657*2^1246481-1 is not prime. Res64: D8B7FE5CF97AFD05 Time : 0.0 sec. user=mdettweiler [2013-06-02 04:27:11] 795*2^1246481-1 is not prime. Res64: 336A048EDF2FA355 Time : 0.0 sec. user=mdettweiler [2013-06-02 04:36:48] 937*2^1246481-1 is not prime. Res64: CB3025660BD0FC65 Time : 0.0 sec. user=mdettweiler [2013-06-02 04:36:49] 945*2^1246481-1 is not prime. Res64: 336CC3FC794A4D54 Time : 0.0 sec. user=mdettweiler [2013-06-02 04:44:56] 725*2^1246482-1 is not prime. Res64: 3BB93AB8A1E9D999 Time : 0.0 sec. user=mdettweiler [2013-06-02 04:44:56] 735*2^1246482-1 is not prime. Res64: EE9A7D343D5234A2 Time : 0.0 sec. user=mdettweiler [2013-06-02 04:54:35] 747*2^1246482-1 is not prime. Res64: 2CE6E0EACC37F93D Time : 0.0 sec. user=mdettweiler [2013-06-02 04:54:35] 765*2^1246482-1 is not prime. Res64: 1A34055F53C788EA Time : 0.0 sec. user=mdettweiler [2013-06-02 05:02:43] 777*2^1246482-1 is not prime. Res64: E7042ED82198D617 Time : 0.0 sec. user=mdettweiler [2013-06-02 05:02:44] 957*2^1246482-1 is not prime. Res64: 903642016187CB63 Time : 0.0 sec. user=mdettweiler [2013-06-02 05:12:15] 963*2^1246482-1 is not prime. Res64: 1C637D63F92E933C Time : 0.0 sec. user=mdettweiler [2013-06-02 05:20:24] 745*2^1246483-1 is not prime. Res64: A46B3BFECD36D8CB Time : 0.0 sec. user=mdettweiler [2013-06-02 05:51:20] 735*2^1246483-1 is not prime. Res64: 43B5A03116042730 Time : 0.0 sec. user=mdettweiler [2013-06-02 05:58:58] 891*2^1246483-1 is not prime. Res64: 2A05C282D8CDB418 Time : 0.0 sec. user=mdettweiler [2013-06-02 06:32:21] 973*2^1246483-1 is not prime. Res64: D02702EE26821ABD Time : 0.0 sec. user=mdettweiler [2013-06-02 06:32:21] 659*2^1246484-1 is not prime. Res64: B95A997945F2A3CB Time : 0.0 sec. user=mdettweiler [2013-06-02 06:50:01] 743*2^1246484-1 is not prime. Res64: 77D42256094B55E5 Time : 0.0 sec. user=mdettweiler [2013-06-02 06:50:01] 759*2^1246484-1 is not prime. Res64: EF7F68353DCC9E35 Time : 0.0 sec. user=mdettweiler [2013-06-02 06:54:24] 789*2^1246484-1 is not prime. Res64: AED9796BF0E2D562 Time : 0.0 sec. user=mdettweiler [2013-06-02 06:54:25] 837*2^1246484-1 is not prime. Res64: A4B2AB949C871B9B Time : 0.0 sec. user=mdettweiler [2013-06-02 07:07:54] 875*2^1246484-1 is not prime. Res64: CB6E890DCB384F68 Time : 0.0 sec. user=mdettweiler [2013-06-02 07:07:55] 927*2^1246484-1 is not prime. Res64: A3F5B22FA43FF730 Time : 0.0 sec. user=mdettweiler [2013-06-02 07:12:12] 651*2^1246485-1 is not prime. Res64: 923FBDEC7559CCEB Time : 0.0 sec. user=mdettweiler [2013-06-02 07:12:13] 691*2^1246485-1 is not prime. Res64: 1D3658B9B6A1DBD0 Time : 0.0 sec. user=mdettweiler [2013-06-02 07:25:41] 951*2^1246485-1 is not prime. Res64: 4EB7BA8A2FEDED78 Time : 0.0 sec. user=mdettweiler [2013-06-02 07:29:57] 813*2^1246486-1 is not prime. Res64: E9A9FDDE5422E934 Time : 0.0 sec. user=mdettweiler [2013-06-02 07:47:35] 743*2^1246486-1 is not prime. Res64: B81B1738A22E502F Time : 0.0 sec. user=mdettweiler [2013-06-02 07:48:20] 821*2^1246486-1 is not prime. Res64: 5474A661A320DB3C Time : 0.0 sec. user=mdettweiler [2013-06-02 08:05:20] 855*2^1246486-1 is not prime. Res64: 0E87854710310624 Time : 0.0 sec. user=mdettweiler [2013-06-02 08:05:21] 651*2^1246487-1 is not prime. Res64: D4616B9BE6F1DF76 Time : 0.0 sec. user=mdettweiler [2013-06-02 08:06:02] 669*2^1246487-1 is not prime. Res64: 868CF0CCCF6148D4 Time : 0.0 sec. user=mdettweiler [2013-06-02 08:06:04] 685*2^1246487-1 is not prime. Res64: ABD38676698345B7 Time : 0.0 sec. user=mdettweiler [2013-06-02 08:23:04] 729*2^1246487-1 is not prime. Res64: 084AD3016244AC20 Time : 0.0 sec. user=mdettweiler [2013-06-02 08:23:46] 615*2^1246488-1 is not prime. Res64: AD67077B0AD2DE0D Time : 0.0 sec. user=mdettweiler [2013-06-02 08:44:55] 689*2^1246488-1 is not prime. Res64: A12166FE84773F0D Time : 0.0 sec. user=mdettweiler [2013-06-02 08:53:26] 759*2^1246487-1 is not prime. Res64: 529ABDD6C4F033E2 Time : 0.0 sec. user=mdettweiler [2013-06-02 09:02:47] 759*2^1246488-1 is not prime. Res64: D97EAE4CE011C4AE Time : 0.0 sec. user=mdettweiler [2013-06-02 09:02:49] 767*2^1246488-1 is not prime. Res64: 5633C132E0556747 Time : 0.0 sec. user=mdettweiler [2013-06-02 09:20:36] 773*2^1246488-1 is not prime. Res64: D3B0F84CE0C1BC58 Time : 0.0 sec. user=mdettweiler [2013-06-02 09:20:36] 887*2^1246488-1 is not prime. Res64: 72441DFEBD3B568C Time : 0.0 sec. user=mdettweiler [2013-06-02 09:35:29] 667*2^1246489-1 is not prime. Res64: 360056DA9C07DB22 Time : 0.0 sec. user=mdettweiler [2013-06-02 09:35:30] 675*2^1246489-1 is not prime. Res64: EFE9E3B2604CEA27 Time : 0.0 sec. user=mdettweiler [2013-06-02 09:38:25] 799*2^1246489-1 is not prime. Res64: 733590FEDD6FDB5C Time : 0.0 sec. user=mdettweiler [2013-06-02 09:38:26] 861*2^1246489-1 is not prime. Res64: BECD0154103BCEBD Time : 0.0 sec. user=mdettweiler [2013-06-02 09:53:23] 919*2^1246489-1 is not prime. Res64: 24838C3615937631 Time : 0.0 sec. user=mdettweiler [2013-06-02 09:53:24] 627*2^1246490-1 is not prime. Res64: CEC5EBF4EEB918E4 Time : 0.0 sec. user=mdettweiler [2013-06-02 09:56:10] 635*2^1246490-1 is not prime. Res64: 17E0E699CAFF5689 Time : 0.0 sec. user=mdettweiler [2013-06-02 09:56:11] 665*2^1246490-1 is not prime. Res64: 4DD2E3B160DF0F50 Time : 0.0 sec. user=mdettweiler [2013-06-02 10:10:52] 687*2^1246490-1 is not prime. Res64: B05F492B5727C6BE Time : 0.0 sec. user=mdettweiler [2013-06-02 10:10:53] 713*2^1246490-1 is not prime. Res64: 8DE7DD95734DAFB1 Time : 0.0 sec. user=mdettweiler [2013-06-02 10:13:57] 741*2^1246490-1 is not prime. Res64: 520874632D000A0C Time : 0.0 sec. user=mdettweiler [2013-06-02 10:28:54] 813*2^1246490-1 is not prime. Res64: B249362F2E49C5A4 Time : 0.0 sec. user=mdettweiler [2013-06-02 10:28:55] 845*2^1246490-1 is not prime. Res64: FA7D85763EE3E045 Time : 0.0 sec. user=mdettweiler [2013-06-02 10:46:45] 971*2^1246490-1 is not prime. Res64: B57955F328C3B6CC Time : 0.0 sec. user=mdettweiler [2013-06-02 10:46:45] 615*2^1246491-1 is not prime. Res64: 33982BA2A9D04D21 Time : 0.0 sec. user=mdettweiler [2013-06-02 10:52:49] 797*2^1246490-1 is not prime. Res64: E03BFAFF407153F9 Time : 0.0 sec. user=mdettweiler [2013-06-02 11:04:25] 669*2^1246491-1 is not prime. Res64: 309A0DCFE9DA9FC9 Time : 0.0 sec. user=mdettweiler [2013-06-02 11:04:26] 685*2^1246491-1 is not prime. Res64: 0111566D4892B7F8 Time : 0.0 sec. user=mdettweiler [2013-06-02 11:10:29] 789*2^1246491-1 is not prime. Res64: DF26E66F2CE02284 Time : 0.0 sec. user=mdettweiler [2013-06-02 11:10:30] 823*2^1246491-1 is not prime. Res64: B75286CFA7354DAE Time : 0.0 sec. user=mdettweiler [2013-06-02 11:23:09] 909*2^1246491-1 is not prime. Res64: 608BD4DCBFC39952 Time : 0.0 sec. user=mdettweiler [2013-06-02 11:23:09] 991*2^1246491-1 is not prime. Res64: 2F60ABACAB1DA969 Time : 0.0 sec. user=mdettweiler [2013-06-02 11:28:31] 603*2^1246492-1 is not prime. Res64: AA49E69D702F4B11 Time : 0.0 sec. user=mdettweiler [2013-06-02 11:28:31] 609*2^1246492-1 is not prime. Res64: 12E0B574F006EF17 Time : 0.0 sec. user=mdettweiler [2013-06-02 11:41:02] 615*2^1246492-1 is not prime. Res64: E42040FBD3BEB3DC Time : 0.0 sec. user=mdettweiler [2013-06-02 11:41:02] 689*2^1246492-1 is not prime. Res64: 17DB6BCA65E05D96 Time : 0.0 sec. user=mdettweiler [2013-06-02 11:46:27] 695*2^1246492-1 is not prime. Res64: 8239D4E076926033 Time : 0.0 sec. user=mdettweiler [2013-06-02 11:58:35] 797*2^1246492-1 is not prime. Res64: 5DDAB76722768D28 Time : 0.0 sec. user=mdettweiler [2013-06-02 11:58:36] 855*2^1246492-1 is not prime. Res64: 927C41EE56BD76B2 Time : 0.0 sec. user=mdettweiler [2013-06-02 12:17:00] 939*2^1246492-1 is not prime. Res64: 8945EF96EF16C4B5 Time : 0.0 sec. user=mdettweiler [2013-06-02 12:27:59] 749*2^1246492-1 is not prime. Res64: 5EC378FD197D9689 Time : 0.0 sec. user=mdettweiler [2013-06-02 12:43:15] 669*2^1246493-1 is not prime. Res64: 44315E1B17408E30 Time : 0.0 sec. user=mdettweiler [2013-06-02 12:45:43] 691*2^1246493-1 is not prime. Res64: 7B62E5EAF90C7499 Time : 0.0 sec. user=mdettweiler [2013-06-02 13:00:47] 829*2^1246493-1 is not prime. Res64: 66E549339F9F8332 Time : 0.0 sec. user=mdettweiler [2013-06-02 13:00:48] 871*2^1246493-1 is not prime. Res64: 17A293F907C6B971 Time : 0.0 sec. user=mdettweiler [2013-06-02 13:12:22] 721*2^1246493-1 is not prime. Res64: CF5E13537B86F6FC Time : 0.0 sec. user=mdettweiler [2013-06-02 13:18:44] 885*2^1246493-1 is not prime. Res64: 8FB51A16C3D6EFED Time : 0.0 sec. user=mdettweiler [2013-06-02 13:31:02] 985*2^1246493-1 is not prime. Res64: 24E73DE78C4E8A86 Time : 0.0 sec. user=mdettweiler [2013-06-02 13:31:03] 605*2^1246494-1 is not prime. Res64: 3348D74A787AC250 Time : 0.0 sec. user=mdettweiler [2013-06-02 13:37:08] 897*2^1246493-1 is not prime. Res64: 852FF8BAEA1AC394 Time : 0.0 sec. user=mdettweiler [2013-06-02 13:48:50] 621*2^1246494-1 is not prime. Res64: 0DD6D0C6A3BE7558 Time : 0.0 sec. user=mdettweiler [2013-06-02 13:48:51] 663*2^1246494-1 is not prime. Res64: 04E384F9CBE4C883 Time : 0.0 sec. user=mdettweiler [2013-06-02 13:54:36] 765*2^1246494-1 is not prime. Res64: FB69517B8B0F9B6B Time : 0.0 sec. user=mdettweiler [2013-06-02 13:54:37] 875*2^1246494-1 is not prime. Res64: 2F2E8B66D114A272 Time : 0.0 sec. user=mdettweiler [2013-06-02 14:06:37] 951*2^1246494-1 is not prime. Res64: 76D7A232B4272185 Time : 0.0 sec. user=mdettweiler [2013-06-02 14:06:39] 609*2^1246495-1 is not prime. Res64: 23B64E2080116D40 Time : 0.0 sec. user=mdettweiler [2013-06-02 14:12:17] 645*2^1246495-1 is not prime. Res64: 35FF4473C5902412 Time : 0.0 sec. user=mdettweiler [2013-06-02 14:24:28] 829*2^1246495-1 is not prime. Res64: 47D9E8A6D4DD0D16 Time : 0.0 sec. user=mdettweiler [2013-06-02 14:24:29] 853*2^1246495-1 is not prime. Res64: CC31A642B5A80956 Time : 0.0 sec. user=mdettweiler [2013-06-02 14:43:08] 939*2^1246495-1 is not prime. Res64: F57B4FC299BE8051 Time : 0.0 sec. user=mdettweiler [2013-06-02 14:43:08] 999*2^1246495-1 is not prime. Res64: 4AE5126224DEB370 Time : 0.0 sec. user=mdettweiler [2013-06-02 14:46:37] 789*2^1246495-1 is not prime. Res64: B3F58C7A48A2372B Time : 0.0 sec. user=mdettweiler [2013-06-02 15:00:38] 875*2^1246496-1 is not prime. Res64: 4E584D9F5C9F7EFE Time : 0.0 sec. user=mdettweiler [2013-06-02 15:00:39] 899*2^1246496-1 is not prime. Res64: F1D2B1480F130EE2 Time : 0.0 sec. user=mdettweiler [2013-06-02 15:04:13] 667*2^1246497-1 is not prime. Res64: 66951218945ED1ED Time : 0.0 sec. user=mdettweiler [2013-06-02 15:18:41] 751*2^1246497-1 is not prime. Res64: 2C6DE84A6BA0DAD7 Time : 0.0 sec. user=mdettweiler [2013-06-02 15:26:21] 739*2^1246497-1 is not prime. Res64: 6E4A1853F8D5B364 Time : 0.0 sec. user=mdettweiler [2013-06-02 15:41:02] 765*2^1246497-1 is not prime. Res64: 2045647BE843C23E Time : 0.0 sec. user=mdettweiler [2013-06-02 15:59:09] 777*2^1246497-1 is not prime. Res64: 5E27A5FFE13D66F5 Time : 0.0 sec. user=mdettweiler [2013-06-02 16:20:57] 835*2^1246497-1 is not prime. Res64: 30887B878C716B03 Time : 0.0 sec. user=mdettweiler [2013-06-02 16:21:35] 837*2^1246497-1 is not prime. Res64: E2C408126EFE187B Time : 0.0 sec. user=mdettweiler [2013-06-02 16:21:35] 885*2^1246497-1 is not prime. Res64: CD36268440CA2927 Time : 0.0 sec. user=mdettweiler [2013-06-02 16:38:43] 909*2^1246497-1 is not prime. Res64: 8B46CD5FC3010412 Time : 0.0 sec. user=mdettweiler [2013-06-02 16:39:08] 657*2^1246498-1 is not prime. Res64: A7E0F123D387964C Time : 0.0 sec. user=mdettweiler [2013-06-02 16:39:08] 773*2^1246498-1 is not prime. Res64: B64B5D8AAF87E17A Time : 0.0 sec. user=mdettweiler [2013-06-02 16:56:53] 813*2^1246498-1 is not prime. Res64: F0F9F4B9188A7027 Time : 0.0 sec. user=mdettweiler [2013-06-02 16:56:54] 911*2^1246498-1 is not prime. Res64: A5A416A005899937 Time : 0.0 sec. user=mdettweiler [2013-06-02 16:57:30] 621*2^1246498-1 is not prime. Res64: 272718177CA2B6EE Time : 0.0 sec. user=mdettweiler [2013-06-02 17:16:06] 987*2^1246498-1 is not prime. Res64: 5E34DF6C1AE98183 Time : 0.0 sec. user=mdettweiler [2013-06-02 17:16:07] 995*2^1246498-1 is not prime. Res64: F78593629C4ECE5F Time : 0.0 sec. user=mdettweiler [2013-06-02 17:34:06] 663*2^1246499-1 is not prime. Res64: F134C36C5BAB6824 Time : 0.0 sec. user=mdettweiler [2013-06-02 17:52:37] 741*2^1246499-1 is not prime. Res64: 2B405CB92046AC34 Time : 0.0 sec. user=mdettweiler [2013-06-02 17:52:37] 855*2^1246499-1 is not prime. Res64: 138047C5C991A5FB Time : 0.0 sec. user=mdettweiler [2013-06-02 17:59:06] 711*2^1246499-1 is not prime. Res64: 4DEB076340FA46E6 Time : 0.0 sec. user=mdettweiler [2013-06-02 18:10:04] 653*2^1246500-1 is not prime. Res64: 28C68369AA675888 Time : 0.0 sec. user=mdettweiler [2013-06-02 18:10:05] 753*2^1246500-1 is not prime. Res64: C09C0FDA264CF724 Time : 0.0 sec. user=mdettweiler [2013-06-02 18:27:51] 797*2^1246500-1 is not prime. Res64: 902FA721A11F11B3 Time : 0.0 sec. user=mdettweiler [2013-06-02 18:27:52] 825*2^1246500-1 is not prime. Res64: 9D7047BF84B0C08D Time : 0.0 sec. user=mdettweiler [2013-06-02 18:38:06] 863*2^1246500-1 is not prime. Res64: F6D8CB404B527688 Time : 0.0 sec. user=mdettweiler [2013-06-02 18:45:48] 929*2^1246500-1 is not prime. Res64: 6FF4E0BC65A0A7E3 Time : 0.0 sec. user=mdettweiler [2013-06-02 19:08:23] 935*2^1246500-1 is not prime. Res64: E26615052B743530 Time : 0.0 sec. user=mdettweiler [2013-06-02 19:15:27] 887*2^1246500-1 is not prime. Res64: 76E693120135839E Time : 0.0 sec. user=mdettweiler [2013-06-02 19:26:09] 945*2^1246500-1 is not prime. Res64: 60120FDB2F43404A Time : 0.0 sec. user=mdettweiler [2013-06-02 19:26:10] 965*2^1246500-1 is not prime. Res64: CB08797112D29F07 Time : 0.0 sec. user=mdettweiler [2013-06-02 19:32:55] 609*2^1246501-1 is not prime. Res64: BD5A25070CF974D1 Time : 0.0 sec. user=mdettweiler [2013-06-02 19:32:55] 691*2^1246501-1 is not prime. Res64: C8646D7515F9528E Time : 0.0 sec. user=mdettweiler [2013-06-02 19:43:55] 747*2^1246501-1 is not prime. Res64: BF05B53E7106177A Time : 0.0 sec. user=mdettweiler [2013-06-02 19:50:31] 861*2^1246501-1 is not prime. Res64: 28277F905E417E1E Time : 0.0 sec. user=mdettweiler [2013-06-02 20:24:06] 769*2^1246501-1 is not prime. Res64: 145B89DFF713CA1A Time : 0.0 sec. user=mdettweiler [2013-06-02 20:30:47] 895*2^1246501-1 is not prime. Res64: 87765CC89533822D Time : 0.0 sec. user=mdettweiler [2013-06-02 20:42:28] 967*2^1246501-1 is not prime. Res64: 954B605843F4A4BA Time : 0.0 sec. user=mdettweiler [2013-06-02 20:48:42] 827*2^1246502-1 is not prime. Res64: 913C47499613BFEB Time : 0.0 sec. user=mdettweiler [2013-06-02 21:10:34] 755*2^1246502-1 is not prime. Res64: 48BDAF5B72BEFE74 Time : 0.0 sec. user=mdettweiler [2013-06-02 21:16:18] 831*2^1246502-1 is not prime. Res64: 2B4202ECC1C11419 Time : 0.0 sec. user=mdettweiler [2013-06-02 21:34:40] 935*2^1246502-1 is not prime. Res64: 32BEB3C5543BD56F Time : 0.0 sec. user=mdettweiler [2013-06-02 21:34:40] 965*2^1246502-1 is not prime. Res64: E227C6D01626961F Time : 0.0 sec. user=mdettweiler [2013-06-02 21:52:57] 663*2^1246503-1 is not prime. Res64: 2484033496ECD222 Time : 0.0 sec. user=mdettweiler [2013-06-02 22:00:25] 963*2^1246503-1 is not prime. Res64: 2698DE2DEF6DE857 Time : 0.0 sec. user=mdettweiler [2013-06-02 22:00:27] 675*2^1246504-1 is not prime. Res64: 5B31C065C9B4D53D Time : 0.0 sec. user=mdettweiler [2013-06-02 22:11:19] 871*2^1246503-1 is not prime. Res64: 6992B73607308BE0 Time : 0.0 sec. user=mdettweiler [2013-06-02 22:18:32] 693*2^1246504-1 is not prime. Res64: B8D5FE65961BAFC4 Time : 0.0 sec. user=mdettweiler [2013-06-02 22:29:37] 903*2^1246504-1 is not prime. Res64: 01AD6F6542535E80 Time : 0.0 sec. user=mdettweiler [2013-06-02 22:29:38] 983*2^1246504-1 is not prime. Res64: CF127E6308988786 Time : 0.0 sec. user=mdettweiler [2013-06-02 22:40:21] 843*2^1246504-1 is not prime. Res64: AC8E4482F0B01760 Time : 0.0 sec. user=mdettweiler [2013-06-02 22:47:19] 627*2^1246505-1 is not prime. Res64: 616A40DF01F85727 Time : 0.0 sec. user=mdettweiler [2013-06-02 22:57:51] 789*2^1246505-1 is not prime. Res64: 2C82F290120169CD Time : 0.0 sec. user=mdettweiler [2013-06-02 22:57:52] 805*2^1246505-1 is not prime. Res64: 1B0704ED731629A8 Time : 0.0 sec. user=mdettweiler [2013-06-02 23:09:19] 691*2^1246505-1 is not prime. Res64: 8AC3175ECB1E763F Time : 0.0 sec. user=mdettweiler [2013-06-02 23:15:44] 949*2^1246505-1 is not prime. Res64: F44D11C83C91F913 Time : 0.0 sec. user=mdettweiler [2013-06-02 23:15:44] 957*2^1246505-1 is not prime. Res64: F8FD65F00B954058 Time : 0.0 sec. user=mdettweiler [2013-06-02 23:27:19] 635*2^1246506-1 is not prime. Res64: CC2441318EE8C20C Time : 0.0 sec. user=mdettweiler [2013-06-02 23:33:33] 711*2^1246506-1 is not prime. Res64: 4A09D5DCDF8AF3F3 Time : 0.0 sec. user=mdettweiler [2013-06-02 23:33:34] 713*2^1246506-1 is not prime. Res64: 804510E01472583E Time : 0.0 sec. user=mdettweiler [2013-06-02 23:51:35] 783*2^1246506-1 is not prime. Res64: 7D55E96F05432BF6 Time : 0.0 sec.