user=mdettweiler [2012-02-01 00:04:41] 769*2^1003481-1 is not prime. Res64: 34A237B04BFFAAA7 Time : 0.0 sec. user=mdettweiler [2012-02-01 00:04:42] 789*2^1003481-1 is not prime. Res64: BF9A01500CCD6DFC Time : 0.0 sec. user=mdettweiler [2012-02-01 00:14:39] 811*2^1003481-1 is not prime. Res64: FE27B548945AD19D Time : 0.0 sec. user=mdettweiler [2012-02-01 00:14:40] 937*2^1003481-1 is not prime. Res64: 4639594370D495F0 Time : 0.0 sec. user=mdettweiler [2012-02-01 00:21:04] 981*2^1003481-1 is not prime. Res64: 96ADC1171C25E22F Time : 0.0 sec. user=mdettweiler [2012-02-01 00:21:05] 615*2^1003482-1 is not prime. Res64: 49F10235BDE6F6F9 Time : 0.0 sec. user=mdettweiler [2012-02-01 00:22:35] 621*2^1003482-1 is not prime. Res64: 4AC69E2E2E959CBF Time : 0.0 sec. user=mdettweiler [2012-02-01 00:22:36] 711*2^1003482-1 is not prime. Res64: 157FEECE3E880C2A Time : 0.0 sec. user=mdettweiler [2012-02-01 00:22:53] 777*2^1003477-1 is not prime. Res64: 292C8A52C8218B27 Time : 0.0 sec. user=mdettweiler [2012-02-01 00:22:53] 867*2^1003477-1 is not prime. Res64: 9628ECA75C5C3B90 Time : 0.0 sec. user=mdettweiler [2012-02-01 00:28:47] 825*2^1003482-1 is not prime. Res64: AE104FD2F9B3A6D7 Time : 0.0 sec. user=mdettweiler [2012-02-01 00:28:47] 941*2^1003482-1 is not prime. Res64: 0C216A187E06A483 Time : 0.0 sec. user=mdettweiler [2012-02-01 00:30:10] 679*2^1003479-1 is not prime. Res64: 27E6CF1FBBA8F142 Time : 0.0 sec. user=mdettweiler [2012-02-01 00:30:10] 693*2^1003479-1 is not prime. Res64: 01F125F4B42FD3E9 Time : 0.0 sec. user=mdettweiler [2012-02-01 00:39:23] 957*2^1003482-1 is not prime. Res64: B076970DC351ED65 Time : 0.0 sec. user=mdettweiler [2012-02-01 00:39:23] 983*2^1003482-1 is not prime. Res64: 13734F114A3DCF72 Time : 0.0 sec. user=mdettweiler [2012-02-01 00:40:59] 709*2^1003483-1 is not prime. Res64: 2AF8B0FC3C5D0FEA Time : 0.0 sec. user=mdettweiler [2012-02-01 00:41:00] 783*2^1003483-1 is not prime. Res64: 6347F6E7593C5194 Time : 0.0 sec. user=mdettweiler [2012-02-01 00:41:19] 927*2^1003477-1 is not prime. Res64: CA48005F68EEB9A9 Time : 0.0 sec. user=mdettweiler [2012-02-01 00:41:19] 985*2^1003477-1 is not prime. Res64: 45D5C1E9F48ACB1A Time : 0.0 sec. user=mdettweiler [2012-02-01 00:42:31] 805*2^1003483-1 is not prime. Res64: 3005B5864AE73701 Time : 0.0 sec. user=mdettweiler [2012-02-01 00:42:31] 855*2^1003483-1 is not prime. Res64: B12DD430996A8034 Time : 0.0 sec. user=mdettweiler [2012-02-01 00:53:05] 945*2^1003484-1 is not prime. Res64: 29A56A5A526E16C7 Time : 0.0 sec. user=mdettweiler [2012-02-01 00:53:06] 959*2^1003484-1 is not prime. Res64: 7C54C5ADE6E3EDCC Time : 0.0 sec. user=mdettweiler [2012-02-01 00:59:14] 789*2^1003485-1 is not prime. Res64: 826D6D60D3D57E9A Time : 0.0 sec. user=mdettweiler [2012-02-01 00:59:14] 825*2^1003485-1 is not prime. Res64: 4D33182C3EDFD3AF Time : 0.0 sec. user=mdettweiler [2012-02-01 01:00:49] 871*2^1003485-1 is not prime. Res64: D1D4FA3E64F0C68B Time : 0.0 sec. user=mdettweiler [2012-02-01 01:00:51] 887*2^1003486-1 is not prime. Res64: CCF0909DE403AEA4 Time : 0.0 sec. user=mdettweiler [2012-02-01 01:07:01] 945*2^1003486-1 is not prime. Res64: BE4F1CAD96EC3B6F Time : 0.0 sec. user=mdettweiler [2012-02-01 01:07:02] 947*2^1003486-1 is not prime. Res64: 7839ABCA8D4E6E02 Time : 0.0 sec. user=mdettweiler [2012-02-01 01:15:18] 895*2^1003487-1 is not prime. Res64: 1E1C486956C1B149 Time : 0.0 sec. user=mdettweiler [2012-02-01 01:15:19] 973*2^1003487-1 is not prime. Res64: A5DE5356462E736A Time : 0.0 sec. user=mdettweiler [2012-02-01 01:23:08] 993*2^1003487-1 is not prime. Res64: 092076E09212C159 Time : 0.0 sec. user=mdettweiler [2012-02-01 01:23:08] 705*2^1003488-1 is not prime. Res64: E687F4D2E71673DA Time : 0.0 sec. user=mdettweiler [2012-02-01 01:23:48] 981*2^1003487-1 is not prime. Res64: 816BAE814EE7AB98 Time : 0.0 sec. user=mdettweiler [2012-02-01 01:23:48] 985*2^1003487-1 is not prime. Res64: 5947636BEE35887C Time : 0.0 sec. user=mdettweiler [2012-02-01 01:27:01] 713*2^1003488-1 is not prime. Res64: 48943A43BED98EDC Time : 0.0 sec. user=mdettweiler [2012-02-01 01:27:01] 795*2^1003488-1 is not prime. Res64: 318B31B93C36B982 Time : 0.0 sec. user=mdettweiler [2012-02-01 01:39:44] 975*2^1003488-1 is not prime. Res64: 71874FF4890A7933 Time : 0.0 sec. user=mdettweiler [2012-02-01 01:39:45] 993*2^1003488-1 is not prime. Res64: 295E9105EBDC6042 Time : 0.0 sec. user=mdettweiler [2012-02-01 01:43:06] 705*2^1003489-1 is not prime. Res64: 6AFBB8B99EEB8CC9 Time : 0.0 sec. user=mdettweiler [2012-02-01 01:43:07] 721*2^1003489-1 is not prime. Res64: FA8046FE8788C973 Time : 0.0 sec. user=mdettweiler [2012-02-01 01:43:34] 751*2^1003489-1 is not prime. Res64: 18268E37FFF5381D Time : 0.0 sec. user=mdettweiler [2012-02-01 01:43:34] 861*2^1003489-1 is not prime. Res64: E63945D8F4438554 Time : 0.0 sec. user=mdettweiler [2012-02-01 01:51:23] 919*2^1003489-1 is not prime. Res64: 9ABE5D6CAC990CAC Time : 0.0 sec. user=mdettweiler [2012-02-01 01:51:23] 925*2^1003489-1 is not prime. Res64: F649EC0B814A42E3 Time : 0.0 sec. user=mdettweiler [2012-02-01 01:58:38] 651*2^1003485-1 is not prime. Res64: 5F1969A0BDD819AC Time : 0.0 sec. user=mdettweiler [2012-02-01 01:58:38] 727*2^1003485-1 is not prime. Res64: 1D559F96087B9277 Time : 0.0 sec. user=mdettweiler [2012-02-01 02:01:57] 979*2^1003489-1 is not prime. Res64: A3DA27FC3372F095 Time : 0.0 sec. user=mdettweiler [2012-02-01 02:01:58] 627*2^1003490-1 is not prime. Res64: 1FD0E158B9B2D24D Time : 0.0 sec. user=mdettweiler [2012-02-01 02:03:05] 675*2^1003490-1 is not prime. Res64: CCDF99BD231C1681 Time : 0.0 sec. user=mdettweiler [2012-02-01 02:03:06] 687*2^1003490-1 is not prime. Res64: 2226E7E3F549EF2D Time : 0.0 sec. user=mdettweiler [2012-02-01 02:03:20] 731*2^1003490-1 is not prime. Res64: 8ED1FEABA325CFCD Time : 0.0 sec. user=mdettweiler [2012-02-01 02:03:21] 785*2^1003490-1 is not prime. Res64: 312EEF5A954AC43C Time : 0.0 sec. user=mdettweiler [2012-02-01 02:08:53] 915*2^1003483-1 is not prime. Res64: E0FB628A594CD53E Time : 0.0 sec. user=mdettweiler [2012-02-01 02:08:54] 945*2^1003483-1 is not prime. Res64: 367E98843865C98A Time : 0.0 sec. user=mdettweiler [2012-02-01 02:15:48] 953*2^1003490-1 is not prime. Res64: 798E9B5539E6FCCB Time : 0.0 sec. user=mdettweiler [2012-02-01 02:15:49] 977*2^1003490-1 is not prime. Res64: 380655492D8B6C88 Time : 0.0 sec. user=mdettweiler [2012-02-01 02:18:04] 897*2^1003486-1 is not prime. Res64: 7FCB5F9CEAA0503C Time : 0.0 sec. user=mdettweiler [2012-02-01 02:18:04] 911*2^1003486-1 is not prime. Res64: 566BF08CAE53B45F Time : 0.0 sec. user=mdettweiler [2012-02-01 02:21:55] 625*2^1003491-1 is not prime. Res64: 95826D1B3897F129 Time : 0.0 sec. user=mdettweiler [2012-02-01 02:21:55] 829*2^1003491-1 is not prime. Res64: 17BAAB02C6D5133F Time : 0.0 sec. user=mdettweiler [2012-02-01 02:23:00] 895*2^1003491-1 is not prime. Res64: 614A3A3FDAF12DA4 Time : 0.0 sec. user=mdettweiler [2012-02-01 02:23:00] 723*2^1003492-1 is not prime. Res64: 7B00BAF52DF4653D Time : 0.0 sec. user=mdettweiler [2012-02-01 02:25:26] 819*2^1003492-1 is not prime. Res64: B5D5B3E6CB1D15BD Time : 0.0 sec. user=mdettweiler [2012-02-01 02:25:26] 899*2^1003492-1 is not prime. Res64: D388738E66213841 Time : 0.0 sec. user=mdettweiler [2012-02-01 02:35:41] 781*2^1003493-1 is not prime. Res64: E46991CE6F0B87C6 Time : 0.0 sec. user=mdettweiler [2012-02-01 02:35:42] 829*2^1003493-1 is not prime. Res64: 1F9A41685B783034 Time : 0.0 sec. user=mdettweiler [2012-02-01 02:44:07] 955*2^1003493-1 is not prime. Res64: FDAB63DB67BCEE55 Time : 0.0 sec. user=mdettweiler [2012-02-01 02:44:15] 737*2^1003494-1 is not prime. Res64: B0F57206A36195AA Time : 0.0 sec. user=mdettweiler [2012-02-01 02:45:14] 789*2^1003495-1 is not prime. Res64: 71BFE90372F093B0 Time : 0.0 sec. user=mdettweiler [2012-02-01 02:45:15] 793*2^1003495-1 is not prime. Res64: 8DC3CE1664FE4AF1 Time : 0.0 sec. user=mdettweiler [2012-02-01 02:47:29] 983*2^1003494-1 is not prime. Res64: 8C013A2570ED9751 Time : 0.0 sec. user=mdettweiler [2012-02-01 02:47:29] 993*2^1003494-1 is not prime. Res64: 4FBA9DD1649A8CA4 Time : 0.0 sec. user=mdettweiler [2012-02-01 02:55:43] 891*2^1003495-1 is not prime. Res64: DCEB48B5A5A89F92 Time : 0.0 sec. user=mdettweiler [2012-02-01 02:55:44] 895*2^1003495-1 is not prime. Res64: 937836FB28ED6A1C Time : 0.0 sec. user=mdettweiler [2012-02-01 03:09:48] 909*2^1003495-1 is not prime. Res64: B6640E19997A5152 Time : 0.0 sec. user=mdettweiler [2012-02-01 03:09:50] 913*2^1003495-1 is not prime. Res64: 0FB31E03489BF626 Time : 0.0 sec. user=mdettweiler [2012-02-01 03:12:00] 933*2^1003495-1 is not prime. Res64: C31AB7417F1C8069 Time : 0.0 sec. user=mdettweiler [2012-02-01 03:12:01] 985*2^1003495-1 is not prime. Res64: 0B028C22E35282D9 Time : 0.0 sec. user=mdettweiler [2012-02-01 03:15:44] 635*2^1003496-1 is not prime. Res64: 4CF697D2F749E757 Time : 0.0 sec. user=mdettweiler [2012-02-01 03:15:44] 659*2^1003496-1 is not prime. Res64: 92EB24637D2A2025 Time : 0.0 sec. user=mdettweiler [2012-02-01 03:22:58] 699*2^1003496-1 is not prime. Res64: 91C633A521B230B6 Time : 0.0 sec. user=mdettweiler [2012-02-01 03:22:58] 717*2^1003496-1 is not prime. Res64: C7B970C1A928036F Time : 0.0 sec. user=mdettweiler [2012-02-01 03:25:31] 1001*2^1003490-1 is not prime. Res64: DAC59E4FC1F3B269 Time : 0.0 sec. user=mdettweiler [2012-02-01 03:25:31] 609*2^1003491-1 is not prime. Res64: A3D2854CD0D2827A Time : 0.0 sec. user=mdettweiler [2012-02-01 03:27:07] 649*2^1003493-1 is not prime. Res64: 75DA960504F31B55 Time : 0.0 sec. user=mdettweiler [2012-02-01 03:27:07] 669*2^1003493-1 is not prime. Res64: 3B94C6257210502B Time : 0.0 sec. user=mdettweiler [2012-02-01 03:30:25] 871*2^1003441-1 is not prime. Res64: 92ED56D715DE9921 Time : 0.0 sec. user=mdettweiler [2012-02-01 03:32:11] 815*2^1003496-1 is not prime. Res64: 015847A0A99C25A8 Time : 0.0 sec. user=mdettweiler [2012-02-01 03:32:12] 917*2^1003496-1 is not prime. Res64: 68D4430A6D7C133B Time : 0.0 sec. user=mdettweiler [2012-02-01 03:34:39] 969*2^1003496-1 is not prime. Res64: 4DBADC70CF59C1BC Time : 0.0 sec. user=mdettweiler [2012-02-01 03:34:40] 615*2^1003497-1 is not prime. Res64: 19B79587E98434B6 Time : 0.0 sec. user=mdettweiler [2012-02-01 03:35:38] 627*2^1003497-1 is not prime. Res64: 8CC004424F0BB708 Time : 0.0 sec. user=mdettweiler [2012-02-01 03:36:00] 861*2^1003493-1 is not prime. Res64: B312D8EEDD175E1A Time : 0.0 sec. user=mdettweiler [2012-02-01 03:37:42] 801*2^1003498-1 is not prime. Res64: 62CACF8F0D565D4B Time : 0.0 sec. user=mdettweiler [2012-02-01 03:37:44] 935*2^1003442-1 is not prime. Res64: 2FDD376B6A04AA38 Time : 0.0 sec. user=mdettweiler [2012-02-01 03:42:49] 709*2^1003497-1 is not prime. Res64: 6D15065883C5917B Time : 0.0 sec. user=mdettweiler [2012-02-01 03:42:50] 751*2^1003497-1 is not prime. Res64: 236B7FB7822F460B Time : 0.0 sec. user=mdettweiler [2012-02-01 03:45:04] 621*2^1003499-1 is not prime. Res64: 3EFAB90E31F7D053 Time : 0.0 sec. user=mdettweiler [2012-02-01 03:46:49] 993*2^1003498-1 is not prime. Res64: 50CCB1F41DCB4BA5 Time : 0.0 sec. user=mdettweiler [2012-02-01 03:52:13] 861*2^1003498-1 is not prime. Res64: 4166CB3E529558DF Time : 0.0 sec. user=mdettweiler [2012-02-01 03:52:13] 887*2^1003498-1 is not prime. Res64: 0F50CCA0668D0CAC Time : 0.0 sec. user=mdettweiler [2012-02-01 03:52:23] 775*2^1003499-1 is not prime. Res64: 7FA57ED4DAF17EB7 Time : 0.0 sec. user=mdettweiler [2012-02-01 03:55:52] 931*2^1003499-1 is not prime. Res64: 0A9F5892CB9E2F18 Time : 0.0 sec. user=mdettweiler [2012-02-01 03:59:11] 905*2^1003498-1 is not prime. Res64: 68385710ED125E27 Time : 0.0 sec. user=mdettweiler [2012-02-01 03:59:11] 911*2^1003498-1 is not prime. Res64: CC7B48F340EB462A Time : 0.0 sec. user=mdettweiler [2012-02-01 03:59:41] 857*2^1003500-1 is not prime. Res64: 89F308EBD86D00AC Time : 0.0 sec. user=mdettweiler [2012-02-01 04:02:52] 685*2^1003499-1 is not prime. Res64: C46E8B26D05B774D Time : 0.0 sec. user=mdettweiler [2012-02-01 04:02:53] 745*2^1003499-1 is not prime. Res64: 8FA039AEF09BD942 Time : 0.0 sec. user=mdettweiler [2012-02-01 04:03:11] 887*2^1003500-1 is not prime. Res64: C2350441CBEC9B2B Time : 0.0 sec. user=mdettweiler [2012-02-01 04:07:01] 685*2^1003497-1 is not prime. Res64: 5FFF8FE16F58FA6B Time : 0.0 sec. user=mdettweiler [2012-02-01 04:08:45] 957*2^1003500-1 is not prime. Res64: B1D8F74B7943F63B Time : 0.0 sec. user=mdettweiler [2012-02-01 04:10:31] 679*2^1003501-1 is not prime. Res64: 8ED3A6535995ECF0 Time : 0.0 sec. user=mdettweiler [2012-02-01 04:14:29] 955*2^1003499-1 is not prime. Res64: F55CC406F82825E0 Time : 0.0 sec. user=mdettweiler [2012-02-01 04:14:30] 627*2^1003500-1 is not prime. Res64: D907C4C68B668A2F Time : 0.0 sec. user=mdettweiler [2012-02-01 04:16:02] 877*2^1003501-1 is not prime. Res64: A7BC21D24638BEDB Time : 0.0 sec. user=mdettweiler [2012-02-01 04:19:34] 997*2^1003501-1 is not prime. Res64: 2931D6C8722B13EF Time : 0.0 sec. user=mdettweiler [2012-02-01 04:23:19] 897*2^1003502-1 is not prime. Res64: 24CE3B4CF633675B Time : 0.0 sec. user=mdettweiler [2012-02-01 04:23:21] 607*2^1003501-1 is not prime. Res64: 77A0FB5828CB95CA Time : 0.0 sec. user=mdettweiler [2012-02-01 04:23:21] 615*2^1003501-1 is not prime. Res64: 3A7D255FA972E667 Time : 0.0 sec. user=mdettweiler [2012-02-01 04:23:54] 909*2^1003500-1 is not prime. Res64: 7E958BB1EACC85EA Time : 0.0 sec. user=mdettweiler [2012-02-01 04:23:54] 915*2^1003500-1 is not prime. Res64: 308A39C2CD7AEF7B Time : 0.0 sec. user=mdettweiler [2012-02-01 04:26:52] 613*2^1003503-1 is not prime. Res64: D2E082BCCB9FE3F0 Time : 0.0 sec. user=mdettweiler [2012-02-01 04:27:07] 775*2^1003501-1 is not prime. Res64: 55CB372B0A2A97B9 Time : 0.0 sec. user=mdettweiler [2012-02-01 04:27:07] 817*2^1003501-1 is not prime. Res64: 5559EFBA2278ADBD Time : 0.0 sec. user=mdettweiler [2012-02-01 04:30:34] 663*2^1003503-1 is not prime. Res64: B7A759ECE1BBDDEB Time : 0.0 sec. user=mdettweiler [2012-02-01 04:34:10] 793*2^1003503-1 is not prime. Res64: 4B44DA9A9AF05FE2 Time : 0.0 sec. user=mdettweiler [2012-02-01 04:36:45] 999*2^1003501-1 is not prime. Res64: 697A77EB9F190060 Time : 0.0 sec. user=mdettweiler [2012-02-01 04:36:46] 813*2^1003502-1 is not prime. Res64: 62968037114D198C Time : 0.0 sec. user=mdettweiler [2012-02-01 04:39:37] 991*2^1003503-1 is not prime. Res64: BCE5375D0B2DEA6A Time : 0.0 sec. user=mdettweiler [2012-02-01 04:41:24] 623*2^1003504-1 is not prime. Res64: DBE89DCD2189CE95 Time : 0.0 sec. user=mdettweiler [2012-02-01 04:43:09] 693*2^1003503-1 is not prime. Res64: E31A7DBA2423D952 Time : 0.0 sec. user=mdettweiler [2012-02-01 04:43:09] 709*2^1003503-1 is not prime. Res64: 641019A6923223C3 Time : 0.0 sec. user=mdettweiler [2012-02-01 04:43:23] 889*2^1003497-1 is not prime. Res64: 6EAF5E2449F821AB Time : 0.0 sec. user=mdettweiler [2012-02-01 04:43:23] 621*2^1003498-1 is not prime. Res64: 0290CFA472ACDFEA Time : 0.0 sec. user=mdettweiler [2012-02-01 04:43:44] 765*2^1003503-1 is not prime. Res64: 62897B83E32D310A Time : 0.0 sec. user=mdettweiler [2012-02-01 04:43:45] 769*2^1003503-1 is not prime. Res64: B2D781ECA52B9770 Time : 0.0 sec. user=mdettweiler [2012-02-01 04:45:01] 665*2^1003498-1 is not prime. Res64: 5F8A74FA44632C57 Time : 0.0 sec. user=mdettweiler [2012-02-01 04:45:01] 687*2^1003498-1 is not prime. Res64: 47DAF97BA6586E27 Time : 0.0 sec. user=mdettweiler [2012-02-01 04:46:54] 795*2^1003503-1 is not prime. Res64: E2AB0636BAAFE544 Time : 0.0 sec. user=mdettweiler [2012-02-01 04:46:54] 853*2^1003503-1 is not prime. Res64: D94B2A2468B7B5F0 Time : 0.0 sec. user=mdettweiler [2012-02-01 04:48:39] 685*2^1003505-1 is not prime. Res64: DDF2651DAAC24D0E Time : 0.0 sec. user=mdettweiler [2012-02-01 04:48:40] 983*2^1003504-1 is not prime. Res64: 90AF6A94C7831CCB Time : 0.0 sec. user=mdettweiler [2012-02-01 04:55:58] 619*2^1003507-1 is not prime. Res64: 84BA34E3801AD6FF Time : 0.0 sec. user=mdettweiler [2012-02-01 04:55:58] 733*2^1003507-1 is not prime. Res64: D992FE2D391DF63E Time : 0.0 sec. user=mdettweiler [2012-02-01 04:58:52] 695*2^1003504-1 is not prime. Res64: FED0EF40554E4AE9 Time : 0.0 sec. user=mdettweiler [2012-02-01 04:58:53] 923*2^1003504-1 is not prime. Res64: 21325CC98585CED2 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:03:06] 795*2^1003505-1 is not prime. Res64: 9A80E11D9308F3DB Time : 0.0 sec. user=mdettweiler [2012-02-01 05:03:06] 847*2^1003505-1 is not prime. Res64: 10CFB2B37004D27B Time : 0.0 sec. user=mdettweiler [2012-02-01 05:03:15] 805*2^1003507-1 is not prime. Res64: 81B6986A5A8C2AE7 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:05:01] 901*2^1003507-1 is not prime. Res64: C1745E34BEC47F41 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:05:57] 985*2^1003505-1 is not prime. Res64: FA5E113D237ABB75 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:05:58] 711*2^1003506-1 is not prime. Res64: 6B41CEC84EEFC30F Time : 0.0 sec. user=mdettweiler [2012-02-01 05:06:44] 843*2^1003506-1 is not prime. Res64: A706DB82BAC8E0FD Time : 0.0 sec. user=mdettweiler [2012-02-01 05:06:44] 891*2^1003506-1 is not prime. Res64: A67CBDE27E3531E7 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:10:28] 879*2^1003508-1 is not prime. Res64: CC504BB4CC291129 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:12:19] 885*2^1003508-1 is not prime. Res64: A0986E547E2D8DCC Time : 0.0 sec. user=mdettweiler [2012-02-01 05:17:41] 829*2^1003509-1 is not prime. Res64: 3A1145ADB55246D6 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:19:35] 611*2^1003510-1 is not prime. Res64: E6836ACAAC2402B4 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:20:59] 979*2^1003507-1 is not prime. Res64: 60DF2A8F06B4C043 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:21:00] 647*2^1003508-1 is not prime. Res64: 57108B9BE7482335 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:23:01] 683*2^1003508-1 is not prime. Res64: 716A97F555F6BEFA Time : 0.0 sec. user=mdettweiler [2012-02-01 05:23:01] 827*2^1003508-1 is not prime. Res64: 1AEAA531E3A2E7EC Time : 0.0 sec. user=mdettweiler [2012-02-01 05:24:56] 791*2^1003510-1 is not prime. Res64: CD3B6ADFBB2B700E Time : 0.0 sec. user=mdettweiler [2012-02-01 05:26:37] 681*2^1003509-1 is not prime. Res64: AFB23EEAB9E35BC5 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:26:37] 781*2^1003509-1 is not prime. Res64: 02E465AD1856CC4F Time : 0.0 sec. user=mdettweiler [2012-02-01 05:28:09] 909*2^1003508-1 is not prime. Res64: 0BC373D9518F3256 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:28:09] 667*2^1003509-1 is not prime. Res64: F9EA1910C93AE94A Time : 0.0 sec. user=mdettweiler [2012-02-01 05:28:36] 945*2^1003510-1 is not prime. Res64: 12FC237F0586B892 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:32:10] 669*2^1003511-1 is not prime. Res64: 573A2DAF9DAF99F1 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:35:52] 885*2^1003511-1 is not prime. Res64: B1056FF3FECA8870 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:39:23] 895*2^1003511-1 is not prime. Res64: B32FF775AA8A5F9C Time : 0.0 sec. user=mdettweiler [2012-02-01 05:40:12] 897*2^1003493-1 is not prime. Res64: DBA61908B40378DC Time : 0.0 sec. user=mdettweiler [2012-02-01 05:40:49] 643*2^1003511-1 is not prime. Res64: 1D5CF4FD2EDE0765 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:40:49] 645*2^1003511-1 is not prime. Res64: 9AC2D2841BA35999 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:42:53] 651*2^1003511-1 is not prime. Res64: 503E6372658EED87 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:42:53] 661*2^1003511-1 is not prime. Res64: 50DBD2989C09ECE7 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:44:53] 901*2^1003511-1 is not prime. Res64: C12852F2C8DAC09A Time : 0.0 sec. user=mdettweiler [2012-02-01 05:46:24] 811*2^1003511-1 is not prime. Res64: AC8DEA1A31F581B1 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:46:24] 825*2^1003511-1 is not prime. Res64: C6ABCEDF59602331 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:48:07] 841*2^1003511-1 is not prime. Res64: B460D0FE325D5D7C Time : 0.0 sec. user=mdettweiler [2012-02-01 05:48:07] 855*2^1003511-1 is not prime. Res64: 719D7523553018D9 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:48:24] 979*2^1003511-1 is not prime. Res64: B2CE6CEC84A15A35 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:52:08] 615*2^1003513-1 is not prime. Res64: DA12F5B57E8AAB52 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:55:39] 877*2^1003513-1 is not prime. Res64: F90E822B1702D309 Time : 0.0 sec. user=mdettweiler [2012-02-01 05:59:24] 675*2^1003514-1 is not prime. Res64: 6E1FFE5E694BDC62 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:00:33] 765*2^1003512-1 is not prime. Res64: 6D651CB27D7F9CA0 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:00:33] 819*2^1003512-1 is not prime. Res64: 3CA1F1FCB018E0C6 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:02:42] 893*2^1003512-1 is not prime. Res64: E5D8736435B6A656 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:02:47] 609*2^1003513-1 is not prime. Res64: 0E97E14C9E89711E Time : 0.0 sec. user=mdettweiler [2012-02-01 06:02:54] 773*2^1003514-1 is not prime. Res64: 8303751126A3D68D Time : 0.0 sec. user=mdettweiler [2012-02-01 06:03:06] 713*2^1003506-1 is not prime. Res64: B42EB63D48A3DA2C Time : 0.0 sec. user=mdettweiler [2012-02-01 06:03:06] 765*2^1003506-1 is not prime. Res64: 5EDBABEC158D0719 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:06:19] 765*2^1003513-1 is not prime. Res64: E8F99FD8C18C22FB Time : 0.0 sec. user=mdettweiler [2012-02-01 06:06:21] 801*2^1003513-1 is not prime. Res64: 5C64D0AD929521B4 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:08:00] 817*2^1003513-1 is not prime. Res64: B59000393D03B3FF Time : 0.0 sec. user=mdettweiler [2012-02-01 06:08:01] 861*2^1003513-1 is not prime. Res64: 21F50532F8B89509 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:08:26] 927*2^1003514-1 is not prime. Res64: B6F8C048B36D1022 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:10:08] 751*2^1003515-1 is not prime. Res64: 475A58597B14AB16 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:15:41] 785*2^1003516-1 is not prime. Res64: A8CB00F017A60207 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:17:25] 845*2^1003516-1 is not prime. Res64: F289BEACA12775B9 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:18:38] 909*2^1003505-1 is not prime. Res64: B72027B7DECE39D5 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:18:38] 937*2^1003505-1 is not prime. Res64: 14BF5BF086C54B45 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:22:44] 633*2^1003515-1 is not prime. Res64: 7940EFEB8356DDE3 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:22:44] 709*2^1003515-1 is not prime. Res64: 85DEC99CBA29F833 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:24:42] 927*2^1003516-1 is not prime. Res64: C8200C15C77AE53D Time : 0.0 sec. user=mdettweiler [2012-02-01 06:25:03] 971*2^1003514-1 is not prime. Res64: 0DD8F94F6A913542 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:25:03] 981*2^1003514-1 is not prime. Res64: 5D97894A1D80FCEC Time : 0.0 sec. user=mdettweiler [2012-02-01 06:26:18] 677*2^1003516-1 is not prime. Res64: AED9F87B0D8ABE04 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:26:18] 693*2^1003516-1 is not prime. Res64: CC259BC88D3CA1A4 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:26:28] 983*2^1003516-1 is not prime. Res64: AA51AE1A6E74C709 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:27:53] 749*2^1003516-1 is not prime. Res64: 0BE7BF91F1F486F7 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:27:53] 779*2^1003516-1 is not prime. Res64: 5D2C45F7EFBCFC0A Time : 0.0 sec. user=mdettweiler [2012-02-01 06:31:59] 605*2^1003520-1 is not prime. Res64: 595825A71856DA9F Time : 0.0 sec. user=mdettweiler [2012-02-01 06:33:44] 759*2^1003520-1 is not prime. Res64: B3C6785AB58D8BF9 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:39:13] 625*2^1003521-1 is not prime. Res64: 73B1D8D46659ABC3 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:41:03] 637*2^1003521-1 is not prime. Res64: EF49FE72428D5CBF Time : 0.0 sec. user=mdettweiler [2012-02-01 06:44:50] 635*2^1003520-1 is not prime. Res64: D1D264E45D6C2297 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:44:51] 665*2^1003520-1 is not prime. Res64: 94EFB956B2214D61 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:44:53] 861*2^1003518-1 is not prime. Res64: F08181AB176580D7 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:44:54] 977*2^1003518-1 is not prime. Res64: F4A6C60149710A19 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:46:12] 677*2^1003520-1 is not prime. Res64: 722032CBF28A22DC Time : 0.0 sec. user=mdettweiler [2012-02-01 06:46:13] 719*2^1003520-1 is not prime. Res64: 863978901B8EF70D Time : 0.0 sec. user=mdettweiler [2012-02-01 06:46:29] 709*2^1003521-1 is not prime. Res64: 4725C71791A77A7F Time : 0.0 sec. user=mdettweiler [2012-02-01 06:48:18] 747*2^1003521-1 is not prime. Res64: F482C400843B92B1 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:50:04] 777*2^1003520-1 is not prime. Res64: 9D6DBB8486221E67 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:50:05] 977*2^1003520-1 is not prime. Res64: C57470B84B38867E Time : 0.0 sec. user=mdettweiler [2012-02-01 06:53:47] 695*2^1003522-1 is not prime. Res64: 939E989F3707CB05 Time : 0.0 sec. user=mdettweiler [2012-02-01 06:55:36] 821*2^1003522-1 is not prime. Res64: 89759974F387E49B Time : 0.0 sec. user=mdettweiler [2012-02-01 06:57:56] 605*2^1003512-1 is not prime. Res64: 44D825FF5FD5169C Time : 0.0 sec. user=mdettweiler [2012-02-01 06:57:57] 689*2^1003512-1 is not prime. Res64: BC2540B37A2AF4BA Time : 0.0 sec. user=mdettweiler [2012-02-01 07:01:02] 685*2^1003523-1 is not prime. Res64: 75D06EFDDF9EFAD2 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:04:38] 993*2^1003523-1 is not prime. Res64: 2B068DC33099A6E3 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:06:09] 645*2^1003522-1 is not prime. Res64: 97FDA4656E9CE576 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:06:09] 665*2^1003522-1 is not prime. Res64: ECE7B85B01314D88 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:07:04] 895*2^1003521-1 is not prime. Res64: 329F77874A343A74 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:07:05] 901*2^1003521-1 is not prime. Res64: 948DB1C16DCBF388 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:08:20] 707*2^1003524-1 is not prime. Res64: D1A1184796EA6790 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:09:22] 955*2^1003521-1 is not prime. Res64: B195C00890AD9B75 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:09:24] 987*2^1003521-1 is not prime. Res64: 6934C18B1F2405A4 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:11:56] 737*2^1003524-1 is not prime. Res64: FCB90B9C38153C28 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:12:16] 983*2^1003522-1 is not prime. Res64: 63CA6A9D713452D5 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:12:18] 631*2^1003523-1 is not prime. Res64: 15EFCF0C25F57F2E Time : 0.0 sec. user=mdettweiler [2012-02-01 07:15:40] 645*2^1003525-1 is not prime. Res64: B5062845CCAE5D9E Time : 0.0 sec. user=mdettweiler [2012-02-01 07:19:13] 895*2^1003525-1 is not prime. Res64: 01846008FA4D73BA Time : 0.0 sec. user=mdettweiler [2012-02-01 07:22:57] 711*2^1003526-1 is not prime. Res64: 7F91CD3794AE9DBE Time : 0.0 sec. user=mdettweiler [2012-02-01 07:26:09] 843*2^1003524-1 is not prime. Res64: FD0899528A6F691F Time : 0.0 sec. user=mdettweiler [2012-02-01 07:26:10] 857*2^1003524-1 is not prime. Res64: A948CC45880F346A Time : 0.0 sec. user=mdettweiler [2012-02-01 07:26:28] 831*2^1003526-1 is not prime. Res64: 3C6F15601D8C3A07 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:29:18] 987*2^1003524-1 is not prime. Res64: F660FF2C2E2FA994 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:29:19] 601*2^1003525-1 is not prime. Res64: 03B139B87F73DB8E Time : 0.0 sec. user=mdettweiler [2012-02-01 07:29:24] 963*2^1003515-1 is not prime. Res64: BB473556C9EE41CA Time : 0.0 sec. user=mdettweiler [2012-02-01 07:29:25] 615*2^1003516-1 is not prime. Res64: C111CD88E08DA20C Time : 0.0 sec. user=mdettweiler [2012-02-01 07:29:31] 777*2^1003525-1 is not prime. Res64: FF821BBBB872EA91 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:29:32] 859*2^1003525-1 is not prime. Res64: A9D596C2FB116CAE Time : 0.0 sec. user=mdettweiler [2012-02-01 07:30:18] 873*2^1003526-1 is not prime. Res64: 18746F3A8608AB54 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:34:33] 955*2^1003525-1 is not prime. Res64: 39D83A0CCF620384 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:34:34] 675*2^1003526-1 is not prime. Res64: 38531F98529E0DB1 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:35:28] 965*2^1003526-1 is not prime. Res64: 0D0A1F1182EB69DE Time : 0.0 sec. user=mdettweiler [2012-02-01 07:37:37] 771*2^1003529-1 is not prime. Res64: BF6884AE8DB03DA0 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:42:47] 647*2^1003530-1 is not prime. Res64: 79D0080A05FBFE96 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:44:55] 741*2^1003530-1 is not prime. Res64: 5B7B8CF6E4C332AD Time : 0.0 sec. user=mdettweiler [2012-02-01 07:45:16] 771*2^1003517-1 is not prime. Res64: B3716B6D500C1795 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:45:17] 937*2^1003517-1 is not prime. Res64: D8553BED36CA236A Time : 0.0 sec. user=mdettweiler [2012-02-01 07:49:17] 669*2^1003527-1 is not prime. Res64: E4758161EDE8C4A4 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:49:17] 831*2^1003527-1 is not prime. Res64: 4AA849ABB23576AB Time : 0.0 sec. user=mdettweiler [2012-02-01 07:50:05] 773*2^1003530-1 is not prime. Res64: 7C7529FA41AFA399 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:50:41] 903*2^1003526-1 is not prime. Res64: 2FF93D36EE6FA9D0 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:50:42] 923*2^1003526-1 is not prime. Res64: 50D34FEFD2E0E9AF Time : 0.0 sec. user=mdettweiler [2012-02-01 07:51:46] 927*2^1003528-1 is not prime. Res64: 17996B607088E87C Time : 0.0 sec. user=mdettweiler [2012-02-01 07:51:46] 657*2^1003529-1 is not prime. Res64: 6F7747AF98E93B86 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:52:14] 791*2^1003530-1 is not prime. Res64: 568292C169FC4F66 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:57:40] 819*2^1003531-1 is not prime. Res64: 8112EDA013EA5270 Time : 0.0 sec. user=mdettweiler [2012-02-01 07:59:06] 955*2^1003529-1 is not prime. Res64: 258BD91A35A98CFD Time : 0.0 sec. user=mdettweiler [2012-02-01 07:59:06] 967*2^1003529-1 is not prime. Res64: 1F06E1DAA43C192C Time : 0.0 sec. user=mdettweiler [2012-02-01 07:59:47] 797*2^1003532-1 is not prime. Res64: 6AF8909D7383D176 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:04:57] 827*2^1003532-1 is not prime. Res64: 8FD4D1F2ADC6A24B Time : 0.0 sec. user=mdettweiler [2012-02-01 08:07:05] 741*2^1003533-1 is not prime. Res64: 4DEC38D0DD613698 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:09:09] 631*2^1003531-1 is not prime. Res64: CD6CDF4DD1131CD7 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:09:10] 673*2^1003531-1 is not prime. Res64: DCF6508E0E0F8406 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:10:35] 871*2^1003531-1 is not prime. Res64: F8659A3B68FF837F Time : 0.0 sec. user=mdettweiler [2012-02-01 08:10:36] 675*2^1003532-1 is not prime. Res64: 5DF9E53B6B1BBA04 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:11:40] 693*2^1003532-1 is not prime. Res64: 7A071ACE79B8F72B Time : 0.0 sec. user=mdettweiler [2012-02-01 08:11:41] 753*2^1003532-1 is not prime. Res64: 47A35CE7223456C6 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:12:15] 765*2^1003533-1 is not prime. Res64: DF4D65E163AC071E Time : 0.0 sec. user=mdettweiler [2012-02-01 08:14:23] 795*2^1003533-1 is not prime. Res64: 5A83957CF5EAD461 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:16:20] 609*2^1003524-1 is not prime. Res64: 4C53F79B65039E51 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:16:20] 615*2^1003524-1 is not prime. Res64: 543072220569D3EA Time : 0.0 sec. user=mdettweiler [2012-02-01 08:19:34] 885*2^1003534-1 is not prime. Res64: 62CD325A599AC8F4 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:21:09] 875*2^1003532-1 is not prime. Res64: CDB231D1062A6BAE Time : 0.0 sec. user=mdettweiler [2012-02-01 08:21:10] 899*2^1003532-1 is not prime. Res64: 5E250A3BD94E1F9A Time : 0.0 sec. user=mdettweiler [2012-02-01 08:23:26] 983*2^1003534-1 is not prime. Res64: A4318A59A8B13E69 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:26:50] 661*2^1003535-1 is not prime. Res64: 47BF6F82CD708515 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:29:00] 871*2^1003533-1 is not prime. Res64: AFF671F37D4408B9 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:29:00] 895*2^1003533-1 is not prime. Res64: 898AAC4920B230F2 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:30:26] 671*2^1003534-1 is not prime. Res64: A1A91C1BE72159D3 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:30:26] 731*2^1003534-1 is not prime. Res64: 6A3F892A0755CD02 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:30:45] 675*2^1003536-1 is not prime. Res64: F9189B36DE50BE57 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:31:36] 765*2^1003534-1 is not prime. Res64: F2A6637D54F6F389 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:31:37] 815*2^1003534-1 is not prime. Res64: AD5098BFDF2422B9 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:34:08] 683*2^1003536-1 is not prime. Res64: E7BEF9A78C7D7245 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:39:48] 945*2^1003536-1 is not prime. Res64: 57FE30300C1C198F Time : 0.0 sec. user=mdettweiler [2012-02-01 08:41:08] 679*2^1003535-1 is not prime. Res64: 5D9A016045D82B91 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:41:08] 627*2^1003536-1 is not prime. Res64: 643E46187E110B05 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:41:25] 835*2^1003537-1 is not prime. Res64: DF43F0CD3B2E4284 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:47:04] 861*2^1003537-1 is not prime. Res64: C480EE8ACF62CE09 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:48:54] 693*2^1003536-1 is not prime. Res64: 59287640425A662B Time : 0.0 sec. user=mdettweiler [2012-02-01 08:48:54] 747*2^1003536-1 is not prime. Res64: F8A4CCABFEC641E1 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:50:28] 909*2^1003537-1 is not prime. Res64: CDD44832B83F177E Time : 0.0 sec. user=mdettweiler [2012-02-01 08:51:23] 609*2^1003537-1 is not prime. Res64: 008654D18D468F1F Time : 0.0 sec. user=mdettweiler [2012-02-01 08:51:23] 649*2^1003537-1 is not prime. Res64: 5E34480D8567D3E9 Time : 0.0 sec. user=mdettweiler [2012-02-01 08:54:49] 905*2^1003536-1 is not prime. Res64: 91B82EF44E055F8B Time : 0.0 sec. user=mdettweiler [2012-02-01 08:54:49] 927*2^1003536-1 is not prime. Res64: 1EFCC6E04B02D63B Time : 0.0 sec. user=mdettweiler [2012-02-01 08:56:06] 939*2^1003537-1 is not prime. Res64: A8399A3BDD7352DE Time : 0.0 sec. user=mdettweiler [2012-02-01 08:57:46] 797*2^1003538-1 is not prime. Res64: DE55FACB75C71F61 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:01:11] 871*2^1003537-1 is not prime. Res64: 4D91B1DC8EF102B0 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:01:12] 885*2^1003537-1 is not prime. Res64: 5B504D62FDC1A76E Time : 0.0 sec. user=mdettweiler [2012-02-01 09:03:26] 691*2^1003539-1 is not prime. Res64: E386C3CF2A996D93 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:05:07] 769*2^1003539-1 is not prime. Res64: B5AD5C37D2AB8468 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:05:10] 931*2^1003527-1 is not prime. Res64: 2854974BF7559907 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:05:13] 975*2^1003527-1 is not prime. Res64: BB5ACCB5ED648BB7 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:11:06] 967*2^1003537-1 is not prime. Res64: 01E663C534D03AA7 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:11:07] 773*2^1003538-1 is not prime. Res64: 56C64E2A0CEE8DF2 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:12:06] 945*2^1003530-1 is not prime. Res64: F50B5999735EE94D Time : 0.0 sec. user=mdettweiler [2012-02-01 09:12:07] 615*2^1003531-1 is not prime. Res64: 6C7E1CDFFAE7E4AE Time : 0.0 sec. user=mdettweiler [2012-02-01 09:12:29] 999*2^1003539-1 is not prime. Res64: 7C7551C7703BE486 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:14:18] 909*2^1003540-1 is not prime. Res64: 13F0533AC75662DE Time : 0.0 sec. user=mdettweiler [2012-02-01 09:15:53] 921*2^1003538-1 is not prime. Res64: A44CCF7B9DE3A1E9 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:15:53] 941*2^1003538-1 is not prime. Res64: B3C3E93E12DA7640 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:17:02] 957*2^1003538-1 is not prime. Res64: 8A13FD636ACB0DE5 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:17:02] 615*2^1003539-1 is not prime. Res64: F5053764E8F8FD68 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:19:49] 747*2^1003541-1 is not prime. Res64: 6EBD198EFE4C4AC6 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:21:41] 867*2^1003541-1 is not prime. Res64: 0F7E6F12AFE6B001 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:23:28] 891*2^1003539-1 is not prime. Res64: 5A943E6829EC7D66 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:23:29] 909*2^1003539-1 is not prime. Res64: 506D1C7EED5BD1FC Time : 0.0 sec. user=mdettweiler [2012-02-01 09:27:10] 723*2^1003542-1 is not prime. Res64: E0C5036E72F3ABCA Time : 0.0 sec. user=mdettweiler [2012-02-01 09:29:05] 801*2^1003542-1 is not prime. Res64: 93EE94C9CF8AED32 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:35:38] 915*2^1003540-1 is not prime. Res64: 2359670DF3753BB8 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:35:38] 939*2^1003540-1 is not prime. Res64: 4E15B34D6B7A35D4 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:39:17] 979*2^1003541-1 is not prime. Res64: 70C24F7AF6031E5C Time : 0.0 sec. user=mdettweiler [2012-02-01 09:39:17] 635*2^1003542-1 is not prime. Res64: 24ED57EB9363748F Time : 0.0 sec. user=mdettweiler [2012-02-01 09:40:25] 907*2^1003541-1 is not prime. Res64: 0305572879B19BAF Time : 0.0 sec. user=mdettweiler [2012-02-01 09:40:26] 949*2^1003541-1 is not prime. Res64: 722F48A615EDE82D Time : 0.0 sec. user=mdettweiler [2012-02-01 09:42:43] 993*2^1003534-1 is not prime. Res64: B067CB9CFC56BD4E Time : 0.0 sec. user=mdettweiler [2012-02-01 09:42:44] 655*2^1003535-1 is not prime. Res64: 57D7C3659E7C244A Time : 0.0 sec. user=mdettweiler [2012-02-01 09:46:17] 887*2^1003542-1 is not prime. Res64: 2D569254FF49291E Time : 0.0 sec. user=mdettweiler [2012-02-01 09:46:17] 921*2^1003542-1 is not prime. Res64: 42567CE40EEC496E Time : 0.0 sec. user=mdettweiler [2012-02-01 09:55:40] 753*2^1003544-1 is not prime. Res64: A2CC2F879426239A Time : 0.0 sec. user=mdettweiler [2012-02-01 09:55:40] 759*2^1003544-1 is not prime. Res64: 0802FACD647EEA49 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:56:32] 745*2^1003543-1 is not prime. Res64: 1C6C34FFD5BD147D Time : 0.0 sec. user=mdettweiler [2012-02-01 09:58:26] 717*2^1003544-1 is not prime. Res64: 1196837C49D95A98 Time : 0.0 sec. user=mdettweiler [2012-02-01 09:59:18] 813*2^1003544-1 is not prime. Res64: 523ED4BA84028EEF Time : 0.0 sec. user=mdettweiler [2012-02-01 09:59:19] 819*2^1003544-1 is not prime. Res64: 4DC6F48B4BECF4D5 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:00:26] 825*2^1003544-1 is not prime. Res64: A3DD31417BD2023C Time : 0.0 sec. user=mdettweiler [2012-02-01 10:00:27] 651*2^1003545-1 is not prime. Res64: EB7A94BFFB05347F Time : 0.0 sec. user=mdettweiler [2012-02-01 10:03:55] 711*2^1003547-1 is not prime. Res64: 2C9705A1E237E0F1 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:07:31] 979*2^1003547-1 is not prime. Res64: 3D5EDCAC61C7B467 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:08:34] 885*2^1003545-1 is not prime. Res64: 83A3659AA718BF90 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:08:35] 975*2^1003545-1 is not prime. Res64: 03081F77A91ACFC0 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:11:15] 773*2^1003548-1 is not prime. Res64: 84C91ACE27175496 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:14:55] 797*2^1003548-1 is not prime. Res64: EA8B1928F710CE5A Time : 0.0 sec. user=mdettweiler [2012-02-01 10:17:53] 957*2^1003546-1 is not prime. Res64: B71123159362C09A Time : 0.0 sec. user=mdettweiler [2012-02-01 10:17:54] 703*2^1003547-1 is not prime. Res64: 8328FD24F5A37E4D Time : 0.0 sec. user=mdettweiler [2012-02-01 10:20:21] 969*2^1003548-1 is not prime. Res64: 268A6E29DFF78D10 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:20:30] 707*2^1003548-1 is not prime. Res64: 25F5E95BD7FD5E3F Time : 0.0 sec. user=mdettweiler [2012-02-01 10:20:30] 759*2^1003548-1 is not prime. Res64: DCC89246E898B330 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:21:28] 981*2^1003547-1 is not prime. Res64: 4397DA1FB9CDA7AA Time : 0.0 sec. user=mdettweiler [2012-02-01 10:21:29] 705*2^1003548-1 is not prime. Res64: E20C0CED6981CB70 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:22:51] 717*2^1003540-1 is not prime. Res64: CEEEA8D50F9267F1 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:22:51] 719*2^1003540-1 is not prime. Res64: ED1C54D2F31E1FDA Time : 0.0 sec. user=mdettweiler [2012-02-01 10:24:02] 977*2^1003548-1 is not prime. Res64: 3E45A02664C398C1 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:27:43] 649*2^1003549-1 is not prime. Res64: 2BAF183B021DA1B9 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:29:44] 627*2^1003541-1 is not prime. Res64: FBDD576D3EF64C6A Time : 0.0 sec. user=mdettweiler [2012-02-01 10:29:45] 657*2^1003541-1 is not prime. Res64: 980FE4E3BA4471E5 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:30:55] 893*2^1003548-1 is not prime. Res64: 614ECFC30E34B9EE Time : 0.0 sec. user=mdettweiler [2012-02-01 10:30:56] 927*2^1003548-1 is not prime. Res64: 96B2EFAE21495832 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:33:06] 985*2^1003549-1 is not prime. Res64: AC64D202D5C5EA5E Time : 0.0 sec. user=mdettweiler [2012-02-01 10:35:02] 767*2^1003550-1 is not prime. Res64: 953C518F9671C59D Time : 0.0 sec. user=mdettweiler [2012-02-01 10:40:03] 999*2^1003548-1 is not prime. Res64: 740D6D58230B5F9C Time : 0.0 sec. user=mdettweiler [2012-02-01 10:40:03] 615*2^1003549-1 is not prime. Res64: 43F9CCC1B7EFD0BB Time : 0.0 sec. user=mdettweiler [2012-02-01 10:40:26] 759*2^1003549-1 is not prime. Res64: 7E144300966CD7B4 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:40:26] 741*2^1003551-1 is not prime. Res64: E52F7482D72B23C6 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:40:26] 847*2^1003549-1 is not prime. Res64: 5D9898BA5C2673CA Time : 0.0 sec. user=mdettweiler [2012-02-01 10:42:21] 885*2^1003551-1 is not prime. Res64: 25EBFE23969FE103 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:46:05] 919*2^1003549-1 is not prime. Res64: AA04F009401E5F42 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:46:06] 945*2^1003549-1 is not prime. Res64: 220FAC9B608E6BCD Time : 0.0 sec. user=mdettweiler [2012-02-01 10:47:46] 717*2^1003552-1 is not prime. Res64: 76B816B8954DC3E8 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:49:43] 855*2^1003552-1 is not prime. Res64: C4D6A1221A390661 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:50:54] 693*2^1003551-1 is not prime. Res64: ACC98AD4D157738E Time : 0.0 sec. user=mdettweiler [2012-02-01 10:50:54] 735*2^1003551-1 is not prime. Res64: C9690AE0596F79F6 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:56:47] 999*2^1003552-1 is not prime. Res64: EB50E2B403ABF392 Time : 0.0 sec. user=mdettweiler [2012-02-01 10:57:02] 889*2^1003553-1 is not prime. Res64: 47DD0BCE361208F2 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:00:13] 711*2^1003545-1 is not prime. Res64: 26728845581B3B01 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:00:14] 805*2^1003545-1 is not prime. Res64: 8C6CE4CBA5EC0D49 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:00:26] 747*2^1003552-1 is not prime. Res64: 6ADF0110B946FDB9 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:00:28] 785*2^1003552-1 is not prime. Res64: 33C8F68C2D7652EC Time : 0.0 sec. user=mdettweiler [2012-02-01 11:02:17] 949*2^1003551-1 is not prime. Res64: 68164BCE00DF4CFD Time : 0.0 sec. user=mdettweiler [2012-02-01 11:02:18] 693*2^1003552-1 is not prime. Res64: 9FA6E20965675BE3 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:04:10] 611*2^1003554-1 is not prime. Res64: FED082924301A298 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:04:23] 671*2^1003554-1 is not prime. Res64: 031E7641C60AB7A7 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:10:35] 923*2^1003552-1 is not prime. Res64: 42738860F89EA6B8 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:10:36] 989*2^1003552-1 is not prime. Res64: F7ACB2BBECBCDE7B Time : 0.0 sec. user=mdettweiler [2012-02-01 11:11:30] 733*2^1003555-1 is not prime. Res64: 8F30450BEAFB492F Time : 0.0 sec. user=mdettweiler [2012-02-01 11:11:45] 895*2^1003555-1 is not prime. Res64: A093697523B936C8 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:15:23] 901*2^1003553-1 is not prime. Res64: 9046C62429AAF3F2 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:15:24] 949*2^1003553-1 is not prime. Res64: A419098F22DC66C6 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:19:06] 699*2^1003557-1 is not prime. Res64: 76106E274ABDCF53 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:20:31] 685*2^1003555-1 is not prime. Res64: 3685EC7E418C2E20 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:20:32] 699*2^1003555-1 is not prime. Res64: 63B43DFE11DCFB0F Time : 0.0 sec. user=mdettweiler [2012-02-01 11:20:34] 999*2^1003556-1 is not prime. Res64: 06C90845000EF8BC Time : 0.0 sec. user=mdettweiler [2012-02-01 11:22:17] 709*2^1003555-1 is not prime. Res64: 36E97E32D275D6E6 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:22:17] 715*2^1003555-1 is not prime. Res64: A6F50973F4B96438 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:26:26] 871*2^1003557-1 is not prime. Res64: D5FA1B901D3B8E75 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:29:37] 997*2^1003557-1 is not prime. Res64: AD1FAB0E87CDF660 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:30:34] 629*2^1003556-1 is not prime. Res64: 18BC7751483F7B2F Time : 0.0 sec. user=mdettweiler [2012-02-01 11:30:34] 869*2^1003556-1 is not prime. Res64: 55036173EF7E0F82 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:33:47] 821*2^1003558-1 is not prime. Res64: F9268F1AEE115B4E Time : 0.0 sec. user=mdettweiler [2012-02-01 11:35:11] 835*2^1003557-1 is not prime. Res64: D580A555BC8B6831 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:35:12] 861*2^1003557-1 is not prime. Res64: 2012E8D0EFB97B07 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:36:59] 887*2^1003558-1 is not prime. Res64: B06145BC9E46A295 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:40:28] 889*2^1003557-1 is not prime. Res64: 808EF9885B9FA357 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:40:29] 895*2^1003557-1 is not prime. Res64: D0CA820DB735209E Time : 0.0 sec. user=mdettweiler [2012-02-01 11:41:11] 735*2^1003559-1 is not prime. Res64: 4D0191E216185FD0 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:42:10] 665*2^1003558-1 is not prime. Res64: C73B118F1A3824C1 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:42:10] 713*2^1003558-1 is not prime. Res64: 5DA197CB43A101BE Time : 0.0 sec. user=mdettweiler [2012-02-01 11:46:01] 931*2^1003559-1 is not prime. Res64: 0BD19BFA87D79650 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:48:30] 669*2^1003560-1 is not prime. Res64: 1D97F68257A59F2C Time : 0.0 sec. user=mdettweiler [2012-02-01 11:52:49] 993*2^1003558-1 is not prime. Res64: BF07D469956B3ADC Time : 0.0 sec. user=mdettweiler [2012-02-01 11:52:49] 663*2^1003559-1 is not prime. Res64: BE100C2478379FED Time : 0.0 sec. user=mdettweiler [2012-02-01 11:55:05] 909*2^1003560-1 is not prime. Res64: FB4BF7007A950ED0 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:55:07] 789*2^1003559-1 is not prime. Res64: 8596BD1AEE00380E Time : 0.0 sec. user=mdettweiler [2012-02-01 11:55:08] 813*2^1003559-1 is not prime. Res64: 31F20687EA3FCD58 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:57:30] 923*2^1003550-1 is not prime. Res64: 5737F4C81B7B3244 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:57:30] 615*2^1003551-1 is not prime. Res64: 2BCEB462685C6D20 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:57:33] 959*2^1003560-1 is not prime. Res64: 1D708BBCB548AC62 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:59:04] 975*2^1003549-1 is not prime. Res64: 391A8B8517198493 Time : 0.0 sec. user=mdettweiler [2012-02-01 11:59:04] 979*2^1003549-1 is not prime. Res64: D86F778088E9993B Time : 0.0 sec. user=mdettweiler [2012-02-01 12:02:03] 713*2^1003560-1 is not prime. Res64: DC42B03F1CA413FE Time : 0.0 sec. user=mdettweiler [2012-02-01 12:02:06] 797*2^1003560-1 is not prime. Res64: 77C4195F8FBB209B Time : 0.0 sec. user=mdettweiler [2012-02-01 12:02:26] 741*2^1003561-1 is not prime. Res64: 2245BA90EECBF904 Time : 0.0 sec. user=mdettweiler [2012-02-01 12:04:52] 955*2^1003559-1 is not prime. Res64: CB7F0BBA97F01689 Time : 0.0 sec. user=mdettweiler [2012-02-01 12:04:53] 973*2^1003559-1 is not prime. Res64: 8D570E205F057606 Time : 0.0 sec. user=mdettweiler [2012-02-01 12:04:53] 767*2^1003562-1 is not prime. Res64: E4402E74F694E456 Time : 0.0 sec. user=mdettweiler [2012-02-01 12:11:30] 935*2^1003562-1 is not prime. Res64: B3E2561D54712EC8 Time : 0.0 sec. user=mdettweiler [2012-02-01 12:12:13] 625*2^1003563-1 is not prime. Res64: F6318172A5E2567F Time : 0.0 sec. user=mdettweiler [2012-02-01 12:12:42] 615*2^1003561-1 is not prime. Res64: 59B5A53AA82FA3EC Time : 0.0 sec. user=mdettweiler [2012-02-01 12:12:43] 687*2^1003561-1 is not prime. Res64: 27752F187685C0FD Time : 0.0 sec. user=mdettweiler [2012-02-01 12:14:58] 799*2^1003561-1 is not prime. Res64: A25F40514F866BC5 Time : 0.0 sec. user=mdettweiler [2012-02-01 12:15:00] 801*2^1003561-1 is not prime. Res64: 642A557B23623F46 Time : 0.0 sec. user=mdettweiler [2012-02-01 12:18:51] 685*2^1003563-1 is not prime. Res64: B152733939E17299 Time : 0.0 sec. user=mdettweiler [2012-02-01 12:19:34] 741*2^1003563-1 is not prime. Res64: C0DFD8940764B8B9 Time : 0.0 sec. user=mdettweiler [2012-02-01 12:24:33] 887*2^1003562-1 is not prime. Res64: 7607D7ECF738B28C Time : 0.0 sec. user=mdettweiler [2012-02-01 12:24:33] 917*2^1003562-1 is not prime. Res64: 547FC09605AFA4C2 Time : 0.0 sec. user=mdettweiler [2012-02-01 12:27:04] 963*2^1003562-1 is not prime. Res64: BEB482D8265985FC Time : 0.0 sec. user=mdettweiler [2012-02-01 12:27:05] 615*2^1003563-1 is not prime. Res64: 2C9E05D1286C718B Time : 0.0 sec. user=mdettweiler [2012-02-01 12:27:53] 851*2^1003554-1 is not prime. Res64: 56BD1C21FC0964AE Time : 0.0 sec. user=mdettweiler [2012-02-01 12:27:53] 915*2^1003554-1 is not prime. Res64: 592240AA9DA50205 Time : 0.0 sec. user=mdettweiler [2012-02-01 12:32:40] 751*2^1003563-1 is not prime. Res64: 8FCFF7D82B561664 Time : 0.0 sec. user=mdettweiler [2012-02-01 12:32:40] 793*2^1003563-1 is not prime. Res64: 0B98385DBB711991 Time : 0.0 sec. user=mdettweiler [2012-02-01 12:34:56] 853*2^1003563-1 is not prime. Res64: 871C8907BA4F0CFE Time : 0.0 sec. user=mdettweiler [2012-02-01 12:34:56] 895*2^1003563-1 is not prime. Res64: EEC91D1EAF0C6706 Time : 0.0 sec. user=mdettweiler [2012-02-01 12:44:22] 635*2^1003564-1 is not prime. Res64: F1731B47DAB99C8E Time : 0.0 sec. user=mdettweiler [2012-02-01 12:44:22] 843*2^1003564-1 is not prime. Res64: A26ABBE38FF18F2F Time : 0.0 sec. user=mdettweiler [2012-02-01 12:46:56] 857*2^1003564-1 is not prime. Res64: B192D139DBE9648F Time : 0.0 sec. user=mdettweiler [2012-02-01 12:46:56] 873*2^1003564-1 is not prime. Res64: 2141622DDE44215B Time : 0.0 sec. user=mdettweiler [2012-02-01 12:54:52] 905*2^1003564-1 is not prime. Res64: 42A448C3ACC37640 Time : 0.0 sec. user=mdettweiler [2012-02-01 12:54:52] 655*2^1003565-1 is not prime. Res64: 263B55750D129AF3 Time : 0.0 sec. user=mdettweiler [2012-02-01 12:55:02] 675*2^1003565-1 is not prime. Res64: D605987DE9C090C6 Time : 0.0 sec. user=mdettweiler [2012-02-01 12:55:02] 711*2^1003565-1 is not prime. Res64: F1638B5676742205 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:04:49] 795*2^1003565-1 is not prime. Res64: 7367971FC7430F37 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:04:50] 855*2^1003565-1 is not prime. Res64: E7A5426DDA723193 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:12:19] 955*2^1003565-1 is not prime. Res64: 57465A4AA921E0CD Time : 0.0 sec. user=mdettweiler [2012-02-01 13:12:19] 981*2^1003565-1 is not prime. Res64: 0992593B8CE0DEE7 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:15:47] 657*2^1003566-1 is not prime. Res64: E31DEC02C56C440F Time : 0.0 sec. user=mdettweiler [2012-02-01 13:15:47] 671*2^1003566-1 is not prime. Res64: 3E9653484B36669E Time : 0.0 sec. user=mdettweiler [2012-02-01 13:15:48] 683*2^1003566-1 is not prime. Res64: 40E222F9DF230195 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:15:48] 717*2^1003566-1 is not prime. Res64: 1D967594E0377E19 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:16:46] 831*2^1003562-1 is not prime. Res64: 34D389022BC0D8D7 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:16:47] 885*2^1003562-1 is not prime. Res64: 0F0098F357850DE1 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:23:51] 967*2^1003561-1 is not prime. Res64: E9FC5EF04CB3FFD8 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:23:51] 671*2^1003562-1 is not prime. Res64: 1E50C0A7E1F07EC1 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:25:22] 725*2^1003566-1 is not prime. Res64: 05D3380C87554687 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:25:23] 795*2^1003566-1 is not prime. Res64: 87CD6C3D47C56BD6 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:32:50] 833*2^1003566-1 is not prime. Res64: 7CF3CD58C1E1C30E Time : 0.0 sec. user=mdettweiler [2012-02-01 13:32:50] 615*2^1003567-1 is not prime. Res64: 4FA09D170B9CF941 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:36:10] 645*2^1003567-1 is not prime. Res64: C489D4B9EA7CEA6A Time : 0.0 sec. user=mdettweiler [2012-02-01 13:36:10] 805*2^1003567-1 is not prime. Res64: F2466CBBB4FCD5A0 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:36:30] 819*2^1003567-1 is not prime. Res64: 6C089E0917B1DC9B Time : 0.0 sec. user=mdettweiler [2012-02-01 13:36:31] 859*2^1003567-1 is not prime. Res64: 3431987AE95065B1 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:45:34] 887*2^1003564-1 is not prime. Res64: EFD7B887F9236942 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:45:34] 897*2^1003564-1 is not prime. Res64: BE3BFA836561BB35 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:45:44] 825*2^1003568-1 is not prime. Res64: 313F575D27A9A533 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:45:44] 893*2^1003568-1 is not prime. Res64: 68A16826D282E8C6 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:57:03] 807*2^1003569-1 is not prime. Res64: 6938DDE21B123739 Time : 0.0 sec. user=mdettweiler [2012-02-01 13:57:03] 895*2^1003569-1 is not prime. Res64: 77BEFA1394957D7C Time : 0.0 sec. user=mdettweiler [2012-02-01 13:58:07] 969*2^1003568-1 is not prime. Res64: 018B8B821A9EB6EE Time : 0.0 sec. user=mdettweiler [2012-02-01 13:58:07] 999*2^1003568-1 is not prime. Res64: 2821064098215519 Time : 0.0 sec. user=mdettweiler [2012-02-01 14:01:53] 979*2^1003569-1 is not prime. Res64: 1FB615D82F875F4D Time : 0.0 sec. user=mdettweiler [2012-02-01 14:01:54] 985*2^1003569-1 is not prime. Res64: 73F765A8837CE328 Time : 0.0 sec. user=mdettweiler [2012-02-01 14:10:48] 945*2^1003570-1 is not prime. Res64: E05A378E31BF5E9A Time : 0.0 sec. user=mdettweiler [2012-02-01 14:10:49] 957*2^1003570-1 is not prime. Res64: 01C6A15E372517B5 Time : 0.0 sec. user=mdettweiler [2012-02-01 14:18:21] 603*2^1003571-1 is not prime. Res64: 86A8DAB6FF632370 Time : 0.0 sec. user=mdettweiler [2012-02-01 14:18:21] 649*2^1003571-1 is not prime. Res64: 86BB864616216D8B Time : 0.0 sec. user=mdettweiler [2012-02-01 14:19:54] 981*2^1003570-1 is not prime. Res64: 86F35809FC15D4B3 Time : 0.0 sec. user=mdettweiler [2012-02-01 14:19:54] 601*2^1003571-1 is not prime. Res64: DC81090051A32BA0 Time : 0.0 sec. user=mdettweiler [2012-02-01 14:22:32] 715*2^1003571-1 is not prime. Res64: 7A6B902594CC25BF Time : 0.0 sec. user=mdettweiler [2012-02-01 14:22:32] 745*2^1003571-1 is not prime. Res64: 88B08082F8BFE8AD Time : 0.0 sec. user=mdettweiler [2012-02-01 14:31:42] 801*2^1003571-1 is not prime. Res64: B2ED327A28A5C9B2 Time : 0.0 sec. user=mdettweiler [2012-02-01 14:31:42] 843*2^1003571-1 is not prime. Res64: D4FF3415526656A5 Time : 0.0 sec. user=mdettweiler [2012-02-01 14:42:59] 945*2^1003571-1 is not prime. Res64: 86B37887BEDAFBEE Time : 0.0 sec. user=mdettweiler [2012-02-01 14:42:59] 749*2^1003572-1 is not prime. Res64: 73AC6DA2B7D8374B Time : 0.0 sec. user=mdettweiler [2012-02-01 14:43:00] 777*2^1003572-1 is not prime. Res64: F5C9315E8D4DA087 Time : 0.0 sec. user=mdettweiler [2012-02-01 14:43:00] 797*2^1003572-1 is not prime. Res64: 81E1602A7C7A7D60 Time : 0.0 sec. user=mdettweiler [2012-02-01 14:43:41] 901*2^1003571-1 is not prime. Res64: F574152E0DD5562C Time : 0.0 sec. user=mdettweiler [2012-02-01 14:43:42] 943*2^1003571-1 is not prime. Res64: 0C25A1ABD6E7A689 Time : 0.0 sec. user=mdettweiler [2012-02-01 14:50:13] 973*2^1003567-1 is not prime. Res64: EB91FF2F48D24E22 Time : 0.0 sec. user=mdettweiler [2012-02-01 14:50:14] 615*2^1003568-1 is not prime. Res64: A76CB70C6DC4DC3F Time : 0.0 sec. user=mdettweiler [2012-02-01 14:51:49] 901*2^1003567-1 is not prime. Res64: 11CDF0BCA5230937 Time : 0.0 sec. user=mdettweiler [2012-02-01 14:51:49] 913*2^1003567-1 is not prime. Res64: 523D777BEECE9D92 Time : 0.0 sec. user=mdettweiler [2012-02-01 14:54:27] 863*2^1003572-1 is not prime. Res64: 2E4CFFBAEBDAA25B Time : 0.0 sec. user=mdettweiler [2012-02-01 14:54:28] 929*2^1003572-1 is not prime. Res64: 5F699560423E8279 Time : 0.0 sec. user=mdettweiler [2012-02-01 15:03:42] 745*2^1003573-1 is not prime. Res64: 4B44A1ED35EE9286 Time : 0.0 sec. user=mdettweiler [2012-02-01 15:03:43] 665*2^1003574-1 is not prime. Res64: 14CB1CC9874DFC01 Time : 0.0 sec. user=mdettweiler [2012-02-01 15:04:23] 755*2^1003574-1 is not prime. Res64: 29FA1EA4639A07EF Time : 0.0 sec. user=mdettweiler [2012-02-01 15:04:25] 815*2^1003574-1 is not prime. Res64: 56D25013D7ED143E Time : 0.0 sec. user=mdettweiler [2012-02-01 15:08:14] 975*2^1003572-1 is not prime. Res64: FFC29E69E27F5B7F Time : 0.0 sec. user=mdettweiler [2012-02-01 15:08:14] 987*2^1003572-1 is not prime. Res64: 4B44A3FE68CF0AF8 Time : 0.0 sec. user=mdettweiler [2012-02-01 15:11:55] 765*2^1003570-1 is not prime. Res64: D2BDD9A329DFA1C4 Time : 0.0 sec. user=mdettweiler [2012-02-01 15:11:56] 917*2^1003570-1 is not prime. Res64: 136C02A07D6812CE Time : 0.0 sec. user=mdettweiler [2012-02-01 15:18:04] 895*2^1003575-1 is not prime. Res64: 1124F1E525EB0AE2 Time : 0.0 sec. user=mdettweiler [2012-02-01 15:18:04] 921*2^1003575-1 is not prime. Res64: 4FDC126E95FD7D64 Time : 0.0 sec. user=mdettweiler [2012-02-01 15:28:07] 999*2^1003575-1 is not prime. Res64: 106F6325F7CE133B Time : 0.0 sec. user=mdettweiler [2012-02-01 15:28:07] 717*2^1003576-1 is not prime. Res64: 08E7A89866B90F3B Time : 0.0 sec. user=mdettweiler [2012-02-01 15:29:34] 963*2^1003575-1 is not prime. Res64: 126FF5583DEDCDA0 Time : 0.0 sec. user=mdettweiler [2012-02-01 15:29:34] 973*2^1003575-1 is not prime. Res64: B4A6133A95415969 Time : 0.0 sec. user=mdettweiler [2012-02-01 15:31:51] 833*2^1003576-1 is not prime. Res64: 0EC8FA5652B2D359 Time : 0.0 sec. user=mdettweiler [2012-02-01 15:31:52] 917*2^1003576-1 is not prime. Res64: D78C4714F9FB2E48 Time : 0.0 sec. user=mdettweiler [2012-02-01 15:39:02] 697*2^1003577-1 is not prime. Res64: FB9596C2F52D36F5 Time : 0.0 sec. user=mdettweiler [2012-02-01 15:39:02] 805*2^1003577-1 is not prime. Res64: 998B16E327841CF4 Time : 0.0 sec. user=mdettweiler [2012-02-01 15:50:07] 605*2^1003578-1 is not prime. Res64: 26C7A0FA7B646294 Time : 0.0 sec. user=mdettweiler [2012-02-01 15:50:07] 711*2^1003578-1 is not prime. Res64: B8290C43394BA569 Time : 0.0 sec. user=mdettweiler [2012-02-01 15:53:16] 909*2^1003577-1 is not prime. Res64: 2D42D81339C6178A Time : 0.0 sec. user=mdettweiler [2012-02-01 15:53:16] 997*2^1003577-1 is not prime. Res64: C61A658863BE26AC Time : 0.0 sec. user=mdettweiler [2012-02-01 15:54:44] 975*2^1003578-1 is not prime. Res64: 37AF3B09E3D4098D Time : 0.0 sec. user=mdettweiler [2012-02-01 15:54:44] 625*2^1003579-1 is not prime. Res64: DEF0A42ECA613416 Time : 0.0 sec. user=mdettweiler [2012-02-01 15:59:42] 675*2^1003579-1 is not prime. Res64: 8640FA566B4ED756 Time : 0.0 sec. user=mdettweiler [2012-02-01 15:59:42] 709*2^1003579-1 is not prime. Res64: C71F1434AC41BBFE Time : 0.0 sec. user=mdettweiler [2012-02-01 16:07:52] 649*2^1003575-1 is not prime. Res64: 75B95AB37A1771E6 Time : 0.0 sec. user=mdettweiler [2012-02-01 16:07:53] 783*2^1003575-1 is not prime. Res64: F6FB79BC400FFDA0 Time : 0.0 sec. user=mdettweiler [2012-02-01 16:09:21] 805*2^1003575-1 is not prime. Res64: 4ECE079DD2867249 Time : 0.0 sec. user=mdettweiler [2012-02-01 16:09:22] 871*2^1003575-1 is not prime. Res64: 4A0826C3BCC4D323 Time : 0.0 sec. user=mdettweiler [2012-02-01 16:12:56] 733*2^1003579-1 is not prime. Res64: A104F6F49A4FD335 Time : 0.0 sec. user=mdettweiler [2012-02-01 16:12:56] 919*2^1003579-1 is not prime. Res64: BDD01209074C6CBE Time : 0.0 sec. user=mdettweiler [2012-02-01 16:15:05] 675*2^1003580-1 is not prime. Res64: E4A2320AE73D1C9C Time : 0.0 sec. user=mdettweiler [2012-02-01 16:15:07] 759*2^1003580-1 is not prime. Res64: 3CC7438BDC645B33 Time : 0.0 sec. user=mdettweiler [2012-02-01 16:18:17] 931*2^1003579-1 is not prime. Res64: 62065B89378FC252 Time : 0.0 sec. user=mdettweiler [2012-02-01 16:18:18] 969*2^1003579-1 is not prime. Res64: 70E69A24B3F513AD Time : 0.0 sec. user=mdettweiler [2012-02-01 16:19:59] 767*2^1003580-1 is not prime. Res64: F534226D692767D3 Time : 0.0 sec. user=mdettweiler [2012-02-01 16:20:00] 857*2^1003580-1 is not prime. Res64: FE6DCC6CF55C83DE Time : 0.0 sec. user=mdettweiler [2012-02-01 16:21:49] 939*2^1003576-1 is not prime. Res64: EA575C6B7B16A32D Time : 0.0 sec. user=mdettweiler [2012-02-01 16:33:27] 825*2^1003581-1 is not prime. Res64: 5987F4A2283AACA0 Time : 0.0 sec. user=mdettweiler [2012-02-01 16:33:27] 861*2^1003581-1 is not prime. Res64: 939DCA60164183DF Time : 0.0 sec. user=mdettweiler [2012-02-01 16:35:28] 671*2^1003582-1 is not prime. Res64: 49C3F60AEA438ADA Time : 0.0 sec. user=mdettweiler [2012-02-01 16:35:28] 741*2^1003582-1 is not prime. Res64: 83EFDF22A305ADB5 Time : 0.0 sec. user=mdettweiler [2012-02-01 16:39:52] 685*2^1003577-1 is not prime. Res64: 9002CE6275786C20 Time : 0.0 sec. user=mdettweiler [2012-02-01 16:41:02] 825*2^1003582-1 is not prime. Res64: C057B679BC3845E2 Time : 0.0 sec. user=mdettweiler [2012-02-01 16:41:02] 957*2^1003582-1 is not prime. Res64: CEADAD9F4464DAD6 Time : 0.0 sec. user=mdettweiler [2012-02-01 16:42:49] 983*2^1003582-1 is not prime. Res64: 5CBAA25213A1AD22 Time : 0.0 sec. user=mdettweiler [2012-02-01 16:42:50] 673*2^1003583-1 is not prime. Res64: E967E1621F498E0E Time : 0.0 sec. user=mdettweiler [2012-02-01 16:53:39] 685*2^1003583-1 is not prime. Res64: 3A60F32D5F67ED77 Time : 0.0 sec. user=mdettweiler [2012-02-01 16:53:39] 789*2^1003583-1 is not prime. Res64: D4E04D79A28A362A Time : 0.0 sec. user=mdettweiler [2012-02-01 16:57:56] 973*2^1003583-1 is not prime. Res64: 175FBD61E4DAE8DF Time : 0.0 sec. user=mdettweiler [2012-02-01 16:57:56] 705*2^1003584-1 is not prime. Res64: 3E880BE4F2A151C4 Time : 0.0 sec. user=mdettweiler [2012-02-01 17:01:13] 849*2^1003584-1 is not prime. Res64: F5AD14309114AF50 Time : 0.0 sec. user=mdettweiler [2012-02-01 17:01:14] 873*2^1003584-1 is not prime. Res64: 959FFB5B5CF598BF Time : 0.0 sec. user=mdettweiler [2012-02-01 17:02:58] 607*2^1003585-1 is not prime. Res64: 058C9FEE86037904 Time : 0.0 sec. user=mdettweiler [2012-02-01 17:02:59] 675*2^1003585-1 is not prime. Res64: 268E42DA6018F9F8 Time : 0.0 sec. user=mdettweiler [2012-02-01 17:13:43] 679*2^1003585-1 is not prime. Res64: 965C2A87A57ECFDB Time : 0.0 sec. user=mdettweiler [2012-02-01 17:13:43] 789*2^1003585-1 is not prime. Res64: 85E0AE9880FD5815 Time : 0.0 sec. user=mdettweiler [2012-02-01 17:17:58] 831*2^1003585-1 is not prime. Res64: D77D595C9DB54D3F Time : 0.0 sec. user=mdettweiler [2012-02-01 17:17:59] 877*2^1003585-1 is not prime. Res64: DA4763AD6BF48F91 Time : 0.0 sec. user=mdettweiler [2012-02-01 17:21:32] 615*2^1003586-1 is not prime. Res64: 404D70205572B9D1 Time : 0.0 sec. user=mdettweiler [2012-02-01 17:21:32] 617*2^1003586-1 is not prime. Res64: A66A830EE78C875D Time : 0.0 sec. user=mdettweiler [2012-02-01 17:23:06] 635*2^1003586-1 is not prime. Res64: 477E16E12A891E6F Time : 0.0 sec. user=mdettweiler [2012-02-01 17:23:07] 671*2^1003586-1 is not prime. Res64: B35A700DC22774FD Time : 0.0 sec. user=mdettweiler [2012-02-01 17:33:52] 785*2^1003586-1 is not prime. Res64: B2906A8630D6AF91 Time : 0.0 sec. user=mdettweiler [2012-02-01 17:33:53] 851*2^1003586-1 is not prime. Res64: DD6DD66BC997450D Time : 0.0 sec. user=mdettweiler [2012-02-01 17:37:36] 999*2^1003580-1 is not prime. Res64: 6FDC428CF7C016D9 Time : 0.0 sec. user=mdettweiler [2012-02-01 17:37:36] 651*2^1003581-1 is not prime. Res64: A4B39359F9F6B56C Time : 0.0 sec. user=mdettweiler [2012-02-01 17:41:29] 615*2^1003587-1 is not prime. Res64: 7A843966BB770D0B Time : 0.0 sec. user=mdettweiler [2012-02-01 17:41:29] 649*2^1003587-1 is not prime. Res64: 7E0CD113867A8BB5 Time : 0.0 sec. user=mdettweiler [2012-02-01 17:42:31] 923*2^1003586-1 is not prime. Res64: C0983138CCA294D9 Time : 0.0 sec. user=mdettweiler [2012-02-01 17:42:31] 945*2^1003586-1 is not prime. Res64: D687DAD53CDA8673 Time : 0.0 sec. user=mdettweiler [2012-02-01 17:43:03] 685*2^1003587-1 is not prime. Res64: D0CC617EE1BC5F5E Time : 0.0 sec. user=mdettweiler [2012-02-01 17:43:03] 691*2^1003587-1 is not prime. Res64: 449F2945EC082309 Time : 0.0 sec. user=mdettweiler [2012-02-01 17:45:06] 899*2^1003580-1 is not prime. Res64: B476ED0023BD1BE7 Time : 0.0 sec. user=mdettweiler [2012-02-01 17:45:06] 945*2^1003580-1 is not prime. Res64: 62DA2038CC50A1DA Time : 0.0 sec. user=mdettweiler [2012-02-01 17:53:38] 781*2^1003587-1 is not prime. Res64: BBBB33B970F3F086 Time : 0.0 sec. user=mdettweiler [2012-02-01 17:53:38] 793*2^1003587-1 is not prime. Res64: 71F869924839FB39 Time : 0.0 sec. user=mdettweiler [2012-02-01 17:58:52] 725*2^1003584-1 is not prime. Res64: 90A689E545A3D067 Time : 0.0 sec. user=mdettweiler [2012-02-01 17:58:52] 825*2^1003584-1 is not prime. Res64: C74847347D8F8AD8 Time : 0.0 sec. user=mdettweiler [2012-02-01 18:02:13] 665*2^1003588-1 is not prime. Res64: A5855BBF8E575E42 Time : 0.0 sec. user=mdettweiler [2012-02-01 18:02:14] 723*2^1003588-1 is not prime. Res64: 215191D770D0D277 Time : 0.0 sec. user=mdettweiler [2012-02-01 18:03:29] 963*2^1003587-1 is not prime. Res64: 9DA180BBAEE50628 Time : 0.0 sec. user=mdettweiler [2012-02-01 18:03:29] 657*2^1003588-1 is not prime. Res64: 50A3135997EBCDB1 Time : 0.0 sec. user=mdettweiler [2012-02-01 18:05:00] 885*2^1003588-1 is not prime. Res64: 3193A89A068F970E Time : 0.0 sec. user=mdettweiler [2012-02-01 18:05:01] 905*2^1003588-1 is not prime. Res64: BF26F48783661987 Time : 0.0 sec. user=mdettweiler [2012-02-01 18:13:30] 729*2^1003589-1 is not prime. Res64: 67B4B4E309825FDB Time : 0.0 sec. user=mdettweiler [2012-02-01 18:13:30] 787*2^1003589-1 is not prime. Res64: 2141CB713D00F41B Time : 0.0 sec. user=mdettweiler [2012-02-01 18:23:15] 681*2^1003590-1 is not prime. Res64: A4CD4C859734084B Time : 0.0 sec. user=mdettweiler [2012-02-01 18:23:15] 755*2^1003590-1 is not prime. Res64: FF573C4AD564FEE3 Time : 0.0 sec. user=mdettweiler [2012-02-01 18:24:21] 885*2^1003589-1 is not prime. Res64: B9712978FC5CC1DF Time : 0.0 sec. user=mdettweiler [2012-02-01 18:24:22] 939*2^1003589-1 is not prime. Res64: B04A8FDF631E01F4 Time : 0.0 sec. user=mdettweiler [2012-02-01 18:27:10] 941*2^1003590-1 is not prime. Res64: D467AA8DA5E19A31 Time : 0.0 sec. user=mdettweiler [2012-02-01 18:27:11] 603*2^1003591-1 is not prime. Res64: C7C80CE638452502 Time : 0.0 sec. user=mdettweiler [2012-02-01 18:33:22] 723*2^1003591-1 is not prime. Res64: 960C6BF9889B273B Time : 0.0 sec. user=mdettweiler [2012-02-01 18:33:22] 873*2^1003591-1 is not prime. Res64: 5187245FDB08604B Time : 0.0 sec. user=mdettweiler [2012-02-01 18:46:23] 605*2^1003592-1 is not prime. Res64: 8DAC51DAF541A35E Time : 0.0 sec. user=mdettweiler [2012-02-01 18:46:23] 903*2^1003592-1 is not prime. Res64: BC001D0E9E9E346C Time : 0.0 sec. user=mdettweiler [2012-02-01 18:46:59] 957*2^1003588-1 is not prime. Res64: CBD122227DCEB043 Time : 0.0 sec. user=mdettweiler [2012-02-01 18:47:37] 931*2^1003591-1 is not prime. Res64: 75DBDB6292A48405 Time : 0.0 sec. user=mdettweiler [2012-02-01 18:47:37] 993*2^1003591-1 is not prime. Res64: 280D11446E5B2315 Time : 0.0 sec. user=mdettweiler [2012-02-01 18:49:16] 929*2^1003592-1 is not prime. Res64: 04E9A8B01F0A91EF Time : 0.0 sec. user=mdettweiler [2012-02-01 18:49:16] 747*2^1003593-1 is not prime. Res64: 53B2EE22D364757E Time : 0.0 sec. user=mdettweiler [2012-02-01 18:53:12] 885*2^1003593-1 is not prime. Res64: 71C259B155B80A0E Time : 0.0 sec. user=mdettweiler [2012-02-01 18:53:13] 895*2^1003593-1 is not prime. Res64: 0D277FB670F9CDB9 Time : 0.0 sec. user=mdettweiler [2012-02-01 19:04:59] 879*2^1003587-1 is not prime. Res64: 68E20B6B3E291F2E Time : 0.0 sec. user=mdettweiler [2012-02-01 19:05:00] 955*2^1003587-1 is not prime. Res64: CD2A38E16E030731 Time : 0.0 sec. user=mdettweiler [2012-02-01 19:07:25] 773*2^1003594-1 is not prime. Res64: CF92D5FB2ADB7699 Time : 0.0 sec. user=mdettweiler [2012-02-01 19:07:26] 815*2^1003594-1 is not prime. Res64: E27D050C4B13EBEB Time : 0.0 sec. user=mdettweiler [2012-02-01 19:08:29] 999*2^1003593-1 is not prime. Res64: 60283E4C9A7094FC Time : 0.0 sec. user=mdettweiler [2012-02-01 19:08:30] 677*2^1003594-1 is not prime. Res64: F5DFCAFA933A6C35 Time : 0.0 sec. user=mdettweiler [2012-02-01 19:11:24] 825*2^1003594-1 is not prime. Res64: D1493FEC1A951E3D Time : 0.0 sec. user=mdettweiler [2012-02-01 19:11:26] 915*2^1003594-1 is not prime. Res64: F747E6C794CBCBD4 Time : 0.0 sec. user=mdettweiler [2012-02-01 19:16:24] 837*2^1003589-1 is not prime. Res64: 657F15467CC1CE66 Time : 0.0 sec. user=mdettweiler [2012-02-01 19:16:24] 867*2^1003589-1 is not prime. Res64: 9FBF65EF9B591368 Time : 0.0 sec. user=mdettweiler [2012-02-01 19:17:31] 917*2^1003594-1 is not prime. Res64: 518148A46F608F46 Time : 0.0 sec. user=mdettweiler [2012-02-01 19:17:32] 941*2^1003594-1 is not prime. Res64: BDBD6710C2685739 Time : 0.0 sec. user=mdettweiler [2012-02-01 19:28:30] 699*2^1003595-1 is not prime. Res64: 562468D573BB1BF1 Time : 0.0 sec. user=mdettweiler [2012-02-01 19:28:30] 753*2^1003595-1 is not prime. Res64: AA4A897A08FE0D6C Time : 0.0 sec. user=mdettweiler [2012-02-01 19:33:40] 771*2^1003595-1 is not prime. Res64: 816AA8FE4678332A Time : 0.0 sec. user=mdettweiler [2012-02-01 19:33:41] 969*2^1003595-1 is not prime. Res64: D978A5A068EFB65E Time : 0.0 sec. user=mdettweiler [2012-02-01 19:37:29] 707*2^1003596-1 is not prime. Res64: 915CB13441574E29 Time : 0.0 sec. user=mdettweiler [2012-02-01 19:37:30] 777*2^1003596-1 is not prime. Res64: 90A2B67CC9459DDF Time : 0.0 sec. user=mdettweiler [2012-02-01 19:50:44] 839*2^1003596-1 is not prime. Res64: 9DF0346935193D06 Time : 0.0 sec. user=mdettweiler [2012-02-01 19:50:44] 909*2^1003596-1 is not prime. Res64: A038319C018E5445 Time : 0.0 sec. user=mdettweiler [2012-02-01 19:53:38] 645*2^1003597-1 is not prime. Res64: A5A501ED7C4C368F Time : 0.0 sec. user=mdettweiler [2012-02-01 19:53:38] 649*2^1003597-1 is not prime. Res64: AA9C24E84AEFF908 Time : 0.0 sec. user=mdettweiler [2012-02-01 19:54:47] 663*2^1003595-1 is not prime. Res64: 9B4A0289D630EE90 Time : 0.0 sec. user=mdettweiler [2012-02-01 19:54:47] 693*2^1003595-1 is not prime. Res64: 71266A0EF3D72F36 Time : 0.0 sec. user=mdettweiler [2012-02-01 19:57:36] 667*2^1003597-1 is not prime. Res64: 3E912080AB18A9B8 Time : 0.0 sec. user=mdettweiler [2012-02-01 19:57:36] 685*2^1003597-1 is not prime. Res64: C351993B550C73B2 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:11:02] 825*2^1003597-1 is not prime. Res64: 731E1C9F19AAF1E4 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:11:03] 885*2^1003597-1 is not prime. Res64: 77D740B873168001 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:13:58] 635*2^1003598-1 is not prime. Res64: 0B3E55B211E435F4 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:13:58] 875*2^1003598-1 is not prime. Res64: 34A9D26B31F9D934 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:19:40] 897*2^1003598-1 is not prime. Res64: 8497E6058B5B9766 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:19:41] 945*2^1003598-1 is not prime. Res64: 180AE70B8F1CE913 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:20:03] 977*2^1003598-1 is not prime. Res64: 0FF86222D63D6453 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:20:03] 613*2^1003599-1 is not prime. Res64: CDDA12AF11CEF792 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:20:51] 603*2^1003595-1 is not prime. Res64: 02ABCC1D70650BA7 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:20:52] 645*2^1003595-1 is not prime. Res64: A1EB31470DF876F6 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:31:01] 625*2^1003599-1 is not prime. Res64: 12134930AB607C99 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:31:02] 661*2^1003599-1 is not prime. Res64: EDBE5AE91A76665C Time : 0.0 sec. user=mdettweiler [2012-02-01 20:33:53] 685*2^1003599-1 is not prime. Res64: A304568216625C66 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:33:54] 703*2^1003599-1 is not prime. Res64: 7D14C3719DC1F6DB Time : 0.0 sec. user=mdettweiler [2012-02-01 20:39:44] 793*2^1003599-1 is not prime. Res64: A4B3920177A820F1 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:39:45] 795*2^1003599-1 is not prime. Res64: D07605C628873957 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:39:58] 825*2^1003599-1 is not prime. Res64: 9F4B0F3B716FB525 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:39:58] 861*2^1003599-1 is not prime. Res64: FB757174F3E30CF6 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:40:15] 979*2^1003595-1 is not prime. Res64: 4FB62271BA989857 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:40:15] 693*2^1003596-1 is not prime. Res64: 96CAE6CFF061ED32 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:53:14] 999*2^1003599-1 is not prime. Res64: 81608EFE81B5CF6C Time : 0.0 sec. user=mdettweiler [2012-02-01 20:53:14] 603*2^1003600-1 is not prime. Res64: 6290DB5D931AD149 Time : 0.0 sec. user=mdettweiler [2012-02-01 20:54:03] 713*2^1003600-1 is not prime. Res64: AAFC6F29907393CA Time : 0.0 sec. user=mdettweiler [2012-02-01 20:54:03] 765*2^1003600-1 is not prime. Res64: 0C55527B31F00459 Time : 0.0 sec. user=mdettweiler [2012-02-01 21:00:02] 773*2^1003600-1 is not prime. Res64: F78962E687EAA5F5 Time : 0.0 sec. user=mdettweiler [2012-02-01 21:00:03] 839*2^1003600-1 is not prime. Res64: 3E2ADA63CACF16CB Time : 0.0 sec. user=mdettweiler [2012-02-01 21:00:12] 855*2^1003600-1 is not prime. Res64: F4678F7767865151 Time : 0.0 sec. user=mdettweiler [2012-02-01 21:00:13] 863*2^1003600-1 is not prime. Res64: 4618D4FF90EABF5F Time : 0.0 sec. user=mdettweiler [2012-02-01 21:14:31] 649*2^1003601-1 is not prime. Res64: 2126F8A06DE524C8 Time : 0.0 sec. user=mdettweiler [2012-02-01 21:14:31] 747*2^1003601-1 is not prime. Res64: FDAF623C3E5C28CA Time : 0.0 sec. user=mdettweiler [2012-02-01 21:15:45] 983*2^1003600-1 is not prime. Res64: C0757CCD6A225806 Time : 0.0 sec. user=mdettweiler [2012-02-01 21:15:45] 601*2^1003601-1 is not prime. Res64: EB3504C07BE1357F Time : 0.0 sec. user=mdettweiler [2012-02-01 21:20:33] 885*2^1003602-1 is not prime. Res64: 490C8756C93DED6F Time : 0.0 sec. user=mdettweiler [2012-02-01 21:20:33] 891*2^1003602-1 is not prime. Res64: D7D21B8C92D8C0AC Time : 0.0 sec. user=mdettweiler [2012-02-01 21:22:42] 951*2^1003601-1 is not prime. Res64: F7CE6E419DC0E3D2 Time : 0.0 sec. user=mdettweiler [2012-02-01 21:22:42] 755*2^1003602-1 is not prime. Res64: 9A3DC5A5EC759A11 Time : 0.0 sec. user=mdettweiler [2012-02-01 21:35:49] 771*2^1003603-1 is not prime. Res64: F102B814071BAFE8 Time : 0.0 sec. user=mdettweiler [2012-02-01 21:35:49] 829*2^1003603-1 is not prime. Res64: F4C533D72629817A Time : 0.0 sec. user=mdettweiler [2012-02-01 21:37:02] 921*2^1003602-1 is not prime. Res64: 65F28AC4C734C57A Time : 0.0 sec. user=mdettweiler [2012-02-01 21:37:02] 705*2^1003603-1 is not prime. Res64: F0DBF734E5166C1B Time : 0.0 sec. user=mdettweiler [2012-02-01 21:41:01] 891*2^1003599-1 is not prime. Res64: 8FA48C631E52B481 Time : 0.0 sec. user=mdettweiler [2012-02-01 21:41:01] 991*2^1003599-1 is not prime. Res64: B755006EFE125A67 Time : 0.0 sec. user=mdettweiler [2012-02-01 21:44:58] 665*2^1003604-1 is not prime. Res64: 6B9F6A54C4C80AEC Time : 0.0 sec. user=mdettweiler [2012-02-01 21:44:59] 915*2^1003604-1 is not prime. Res64: 2DC31730C4266362 Time : 0.0 sec. user=mdettweiler [2012-02-01 21:45:01] 951*2^1003603-1 is not prime. Res64: E85E81532294E320 Time : 0.0 sec. user=mdettweiler [2012-02-01 21:45:04] 993*2^1003603-1 is not prime. Res64: 4E432A6A5C8E01F1 Time : 0.0 sec. user=mdettweiler [2012-02-01 21:55:36] 601*2^1003605-1 is not prime. Res64: D13877DE597BA511 Time : 0.0 sec. user=mdettweiler [2012-02-01 21:55:37] 657*2^1003605-1 is not prime. Res64: B4B5823FC4772AF3 Time : 0.0 sec. user=mdettweiler [2012-02-01 21:56:50] 685*2^1003605-1 is not prime. Res64: 8733C59EA88EF6F0 Time : 0.0 sec. user=mdettweiler [2012-02-01 21:56:51] 777*2^1003605-1 is not prime. Res64: 2A528E63648E3C48 Time : 0.0 sec. user=mdettweiler [2012-02-01 22:04:45] 861*2^1003605-1 is not prime. Res64: 0FA373EB51DBCF2E Time : 0.0 sec. user=mdettweiler [2012-02-01 22:04:47] 871*2^1003605-1 is not prime. Res64: 514D67FC14B29BA1 Time : 0.0 sec. user=mdettweiler [2012-02-01 22:07:15] 997*2^1003605-1 is not prime. Res64: E3C8C4D579B3ACCC Time : 0.0 sec. user=mdettweiler [2012-02-01 22:07:18] 617*2^1003606-1 is not prime. Res64: D2968D63B85705A6 Time : 0.0 sec. user=mdettweiler [2012-02-01 22:07:28] 917*2^1003600-1 is not prime. Res64: 8741BFD90A1D1286 Time : 0.0 sec. user=mdettweiler [2012-02-01 22:07:30] 939*2^1003600-1 is not prime. Res64: B90980012E2A589F Time : 0.0 sec. user=mdettweiler [2012-02-01 22:15:17] 677*2^1003606-1 is not prime. Res64: EAA1AD5969FEB320 Time : 0.0 sec. user=mdettweiler [2012-02-01 22:15:18] 857*2^1003606-1 is not prime. Res64: CCABC5E8EEDDCB43 Time : 0.0 sec. user=mdettweiler [2012-02-01 22:16:32] 873*2^1003606-1 is not prime. Res64: 5C1359451543540B Time : 0.0 sec. user=mdettweiler [2012-02-01 22:16:33] 887*2^1003606-1 is not prime. Res64: EC05C901AD25CF6F Time : 0.0 sec. user=mdettweiler [2012-02-01 22:27:22] 619*2^1003607-1 is not prime. Res64: 084F850B9D17D4AE Time : 0.0 sec. user=mdettweiler [2012-02-01 22:27:22] 669*2^1003607-1 is not prime. Res64: 441323288286468D Time : 0.0 sec. user=mdettweiler [2012-02-01 22:29:16] 923*2^1003606-1 is not prime. Res64: 87AC81E1487BAE3C Time : 0.0 sec. user=mdettweiler [2012-02-01 22:29:16] 965*2^1003606-1 is not prime. Res64: 7A97F53217237F59 Time : 0.0 sec. user=mdettweiler [2012-02-01 22:35:15] 831*2^1003607-1 is not prime. Res64: F06C39103E2ACC56 Time : 0.0 sec. user=mdettweiler [2012-02-01 22:35:16] 841*2^1003607-1 is not prime. Res64: 91BB8846BD86B543 Time : 0.0 sec. user=mdettweiler [2012-02-01 22:38:33] 949*2^1003607-1 is not prime. Res64: 501D92C8B74FF5BC Time : 0.0 sec. user=mdettweiler [2012-02-01 22:38:33] 635*2^1003608-1 is not prime. Res64: 44361F3D86331711 Time : 0.0 sec. user=mdettweiler [2012-02-01 22:42:26] 819*2^1003605-1 is not prime. Res64: 17A705EEC4E81049 Time : 0.0 sec. user=mdettweiler [2012-02-01 22:42:27] 673*2^1003607-1 is not prime. Res64: 5DE95A7CD9B1BAA4 Time : 0.0 sec. user=mdettweiler [2012-02-01 22:49:02] 609*2^1003609-1 is not prime. Res64: DFA85299BE00D92D Time : 0.0 sec. user=mdettweiler [2012-02-01 22:49:03] 615*2^1003609-1 is not prime. Res64: 5211F1F5E8FC037E Time : 0.0 sec. user=mdettweiler [2012-02-01 22:51:40] 957*2^1003608-1 is not prime. Res64: 0070CC9A13A1322A Time : 0.0 sec. user=mdettweiler [2012-02-01 22:51:40] 959*2^1003608-1 is not prime. Res64: E3AA93458C561B00 Time : 0.0 sec. user=mdettweiler [2012-02-01 22:55:02] 681*2^1003609-1 is not prime. Res64: 4B1C926449CEF4CB Time : 0.0 sec. user=mdettweiler [2012-02-01 22:55:03] 729*2^1003609-1 is not prime. Res64: 56DB6F29524397B2 Time : 0.0 sec. user=mdettweiler [2012-02-01 22:58:20] 747*2^1003609-1 is not prime. Res64: 3A0998D0B7B54AF2 Time : 0.0 sec. user=mdettweiler [2012-02-01 22:58:20] 807*2^1003609-1 is not prime. Res64: 1B07A3EEFCD2887C Time : 0.0 sec. user=mdettweiler [2012-02-01 23:08:46] 877*2^1003609-1 is not prime. Res64: C3EF1C9659381805 Time : 0.0 sec. user=mdettweiler [2012-02-01 23:08:47] 635*2^1003610-1 is not prime. Res64: 96ED914210FC1308 Time : 0.0 sec. user=mdettweiler [2012-02-01 23:09:24] 837*2^1003605-1 is not prime. Res64: D761047F9C33FA79 Time : 0.0 sec. user=mdettweiler [2012-02-01 23:11:22] 641*2^1003610-1 is not prime. Res64: 03326C6BE2791AEA Time : 0.0 sec. user=mdettweiler [2012-02-01 23:11:23] 707*2^1003610-1 is not prime. Res64: 4B68B1A9565576C5 Time : 0.0 sec. user=mdettweiler [2012-02-01 23:14:48] 755*2^1003610-1 is not prime. Res64: 02F663385CD3A862 Time : 0.0 sec. user=mdettweiler [2012-02-01 23:14:48] 783*2^1003610-1 is not prime. Res64: 65B8289568B6BE2E Time : 0.0 sec. user=mdettweiler [2012-02-01 23:18:03] 797*2^1003610-1 is not prime. Res64: 3E5AB466F4FE8DEA Time : 0.0 sec. user=mdettweiler [2012-02-01 23:18:03] 867*2^1003610-1 is not prime. Res64: BB7F45FD9EBFCE69 Time : 0.0 sec. user=mdettweiler [2012-02-01 23:26:05] 691*2^1003589-1 is not prime. Res64: 0188EC6CDA57DC71 Time : 0.0 sec. user=mdettweiler [2012-02-01 23:33:30] 911*2^1003610-1 is not prime. Res64: C53AAD822CD1B916 Time : 0.0 sec. user=mdettweiler [2012-02-01 23:33:31] 971*2^1003610-1 is not prime. Res64: 3A68B53D957C311A Time : 0.0 sec. user=mdettweiler [2012-02-01 23:33:46] 861*2^1003611-1 is not prime. Res64: C358EE71FDCF7DBC Time : 0.0 sec. user=mdettweiler [2012-02-01 23:33:46] 901*2^1003611-1 is not prime. Res64: 655E5B5E9F304A1A Time : 0.0 sec. user=mdettweiler [2012-02-01 23:34:42] 615*2^1003612-1 is not prime. Res64: 4FF4857DB34FC16C Time : 0.0 sec. user=mdettweiler [2012-02-01 23:34:42] 657*2^1003612-1 is not prime. Res64: DC7EE5300386E65E Time : 0.0 sec. user=mdettweiler [2012-02-01 23:38:03] 675*2^1003612-1 is not prime. Res64: 52CD0EAF9E69F825 Time : 0.0 sec. user=mdettweiler [2012-02-01 23:38:03] 873*2^1003612-1 is not prime. Res64: 07A2A36E274C2257 Time : 0.0 sec. user=mdettweiler [2012-02-01 23:38:42] 735*2^1003607-1 is not prime. Res64: F1CC198CC7FB02D8 Time : 0.0 sec. user=mdettweiler [2012-02-01 23:53:14] 669*2^1003613-1 is not prime. Res64: CDAE2008B2B09A10 Time : 0.0 sec. user=mdettweiler [2012-02-01 23:53:14] 735*2^1003613-1 is not prime. Res64: 47AC4D16BCCBBEE5 Time : 0.0 sec. user=mdettweiler [2012-02-01 23:53:32] 741*2^1003613-1 is not prime. Res64: A3F61B2301290AA0 Time : 0.0 sec. user=mdettweiler [2012-02-01 23:53:32] 747*2^1003613-1 is not prime. Res64: B2080FEE9CD3E572 Time : 0.0 sec. user=mdettweiler [2012-02-01 23:56:43] 987*2^1003613-1 is not prime. Res64: 5A83DF1BE15831F4 Time : 0.0 sec. user=mdettweiler [2012-02-01 23:56:43] 611*2^1003614-1 is not prime. Res64: BAF11261AF3846C7 Time : 0.0 sec. user=mdettweiler [2012-02-01 23:57:48] 641*2^1003614-1 is not prime. Res64: 143A71CCBC561324 Time : 0.0 sec. user=mdettweiler [2012-02-01 23:57:48] 707*2^1003614-1 is not prime. Res64: 73FFEB2A2F8DE9F7 Time : 0.0 sec.