user=mdettweiler [2013-01-09 00:14:52] 683*2^1238924-1 is not prime. Res64: 48946DD03744E5D8 Time : 0.0 sec. user=mdettweiler [2013-01-09 00:14:53] 755*2^1238924-1 is not prime. Res64: 2459D6B2A14FCB9E Time : 0.0 sec. user=mdettweiler [2013-01-09 00:15:07] 819*2^1238924-1 is not prime. Res64: F6BBE19641BEEB9A Time : 0.0 sec. user=mdettweiler [2013-01-09 00:15:07] 927*2^1238924-1 is not prime. Res64: 62B4C929A50170DA Time : 0.0 sec. user=vaughan [2013-01-09 00:17:33] 723*2^1238923-1 is not prime. Res64: 2AED9F01D36CC678 Time : 0.0 sec. user=juhehe [2013-01-09 00:27:18] 741*2^1238922-1 is not prime. Res64: 8948C8FB3D67BEB1 Time : 0.0 sec. user=juhehe [2013-01-09 00:27:31] 843*2^1238922-1 is not prime. Res64: 2EAB91A05EF0C779 Time : 0.0 sec. user=mdettweiler [2013-01-09 00:32:22] 609*2^1238925-1 is not prime. Res64: 8861E0A16BA2C524 Time : 0.0 sec. user=mdettweiler [2013-01-09 00:32:22] 709*2^1238925-1 is not prime. Res64: 7F91946AE30246D3 Time : 0.0 sec. user=mdettweiler [2013-01-09 00:32:34] 811*2^1238925-1 is not prime. Res64: A3D04ADB7934D7BF Time : 0.0 sec. user=mdettweiler [2013-01-09 00:32:35] 877*2^1238925-1 is not prime. Res64: 13A42DD36206749B Time : 0.0 sec. user=juhehe [2013-01-09 00:33:16] 995*2^1238924-1 is not prime. Res64: 8C72FEF9D3C2088C Time : 0.0 sec. user=mdettweiler [2013-01-09 00:49:49] 919*2^1238925-1 is not prime. Res64: 46B0DC184B22571E Time : 0.0 sec. user=mdettweiler [2013-01-09 00:49:50] 603*2^1238926-1 is not prime. Res64: E74AB373115693B3 Time : 0.0 sec. user=mdettweiler [2013-01-09 00:50:00] 645*2^1238926-1 is not prime. Res64: 45B4F18182C2E461 Time : 0.0 sec. user=mdettweiler [2013-01-09 00:50:01] 663*2^1238926-1 is not prime. Res64: E8343729CA586708 Time : 0.0 sec. user=vaughan [2013-01-09 00:55:25] 895*2^1238925-1 is not prime. Res64: 23204634B0F070EB Time : 0.0 sec. user=mdettweiler [2013-01-09 01:07:18] 675*2^1238926-1 is not prime. Res64: 3799F7457DEE0DA8 Time : 0.0 sec. user=mdettweiler [2013-01-09 01:07:19] 743*2^1238926-1 is not prime. Res64: 9CC4927D9214A907 Time : 0.0 sec. user=mdettweiler [2013-01-09 01:07:28] 857*2^1238926-1 is not prime. Res64: 8FAFCB684B7092C5 Time : 0.0 sec. user=mdettweiler [2013-01-09 01:07:29] 781*2^1238927-1 is not prime. Res64: 0FF897498B713D61 Time : 0.0 sec. user=mdettweiler [2013-01-09 01:24:49] 861*2^1238927-1 is not prime. Res64: AE837B6EC27F32BF Time : 0.0 sec. user=mdettweiler [2013-01-09 01:24:49] 885*2^1238927-1 is not prime. Res64: 7B07022840D4A8A5 Time : 0.0 sec. user=mdettweiler [2013-01-09 01:24:58] 981*2^1238927-1 is not prime. Res64: 5080E18CD3F9D3EE Time : 0.0 sec. user=mdettweiler [2013-01-09 01:24:59] 633*2^1238928-1 is not prime. Res64: 694897361B890817 Time : 0.0 sec. user=vaughan [2013-01-09 01:33:15] 823*2^1238927-1 is not prime. Res64: F205C1B8EAA0373C Time : 0.0 sec. user=mdettweiler [2013-01-09 01:42:16] 747*2^1238928-1 is not prime. Res64: 067F10F518F1C310 Time : 0.0 sec. user=mdettweiler [2013-01-09 01:42:17] 839*2^1238928-1 is not prime. Res64: 28D64B3FBAD377D3 Time : 0.0 sec. user=mdettweiler [2013-01-09 01:42:25] 843*2^1238928-1 is not prime. Res64: C1C88ECD984FBAB9 Time : 0.0 sec. user=mdettweiler [2013-01-09 01:42:26] 929*2^1238928-1 is not prime. Res64: 360974E50CB7E739 Time : 0.0 sec. user=mdettweiler [2013-01-09 02:00:09] 657*2^1238930-1 is not prime. Res64: 23045A40662D4323 Time : 0.0 sec. user=mdettweiler [2013-01-09 02:00:10] 731*2^1238930-1 is not prime. Res64: D7D99E71E9EAE5B2 Time : 0.0 sec. user=mdettweiler [2013-01-09 02:00:19] 755*2^1238930-1 is not prime. Res64: 017E76662E847B47 Time : 0.0 sec. user=mdettweiler [2013-01-09 02:00:19] 797*2^1238930-1 is not prime. Res64: 987ED63014FA59E9 Time : 0.0 sec. user=juhehe [2013-01-09 02:07:39] 801*2^1238929-1 is not prime. Res64: E1A57AA501B368D9 Time : 0.0 sec. user=vaughan [2013-01-09 02:11:09] 969*2^1238928-1 is not prime. Res64: 6C581AC89A81EAF0 Time : 0.0 sec. user=mdettweiler [2013-01-09 02:18:17] 801*2^1238930-1 is not prime. Res64: E77024676C32E9F0 Time : 0.0 sec. user=mdettweiler [2013-01-09 02:18:17] 831*2^1238930-1 is not prime. Res64: BEA99D4246B1ED8F Time : 0.0 sec. user=mdettweiler [2013-01-09 02:18:22] 911*2^1238930-1 is not prime. Res64: FE41130EF6FC3AA1 Time : 0.0 sec. user=mdettweiler [2013-01-09 02:18:23] 981*2^1238930-1 is not prime. Res64: 0E2546504CD3701C Time : 0.0 sec. user=mdettweiler [2013-01-09 02:41:51] 741*2^1238931-1 is not prime. Res64: FA1D0CB4A8EBBAF4 Time : 0.0 sec. user=mdettweiler [2013-01-09 02:41:51] 793*2^1238931-1 is not prime. Res64: AE3E0BEABA8D2E58 Time : 0.0 sec. user=mdettweiler [2013-01-09 02:42:02] 825*2^1238931-1 is not prime. Res64: F43D25474EE2F8C6 Time : 0.0 sec. user=mdettweiler [2013-01-09 02:42:03] 931*2^1238931-1 is not prime. Res64: 2C9E63E30DC6FF0A Time : 0.0 sec. user=vaughan [2013-01-09 02:49:00] 1001*2^1238930-1 is not prime. Res64: 6A7E0C5AB5B8A1FA Time : 0.0 sec. user=mdettweiler [2013-01-09 02:59:23] 687*2^1238932-1 is not prime. Res64: 16BE53897C03CF90 Time : 0.0 sec. user=mdettweiler [2013-01-09 02:59:24] 695*2^1238932-1 is not prime. Res64: B51C3F74F218BBC1 Time : 0.0 sec. user=mdettweiler [2013-01-09 02:59:24] 705*2^1238932-1 is not prime. Res64: AEC1812FB3D15CF7 Time : 0.0 sec. user=mdettweiler [2013-01-09 02:59:25] 749*2^1238932-1 is not prime. Res64: 0DF14B11C0053B34 Time : 0.0 sec. user=mdettweiler [2013-01-09 03:16:45] 873*2^1238932-1 is not prime. Res64: 2371BC6B8CF33055 Time : 0.0 sec. user=mdettweiler [2013-01-09 03:16:47] 933*2^1238932-1 is not prime. Res64: F33C2A67F6D938EB Time : 0.0 sec. user=mdettweiler [2013-01-09 03:16:48] 983*2^1238932-1 is not prime. Res64: AA80FB5EB4473B6F Time : 0.0 sec. user=mdettweiler [2013-01-09 03:16:49] 769*2^1238933-1 is not prime. Res64: 760A1442BAEB6AED Time : 0.0 sec. user=vaughan [2013-01-09 03:26:54] 827*2^1238932-1 is not prime. Res64: 9AECE491D73A5B7C Time : 0.0 sec. user=mdettweiler [2013-01-09 03:34:12] 925*2^1238933-1 is not prime. Res64: E458B7F553F1C782 Time : 0.0 sec. user=mdettweiler [2013-01-09 03:34:12] 797*2^1238934-1 is not prime. Res64: CABD5AFE049E3BDC Time : 0.0 sec. user=mdettweiler [2013-01-09 03:34:13] 949*2^1238933-1 is not prime. Res64: 04C23355DD43D59A Time : 0.0 sec. user=mdettweiler [2013-01-09 03:34:14] 815*2^1238934-1 is not prime. Res64: 075E7FAA4D487A7C Time : 0.0 sec. user=juhehe [2013-01-09 03:35:10] 605*2^1238932-1 is not prime. Res64: C90B0BC360E93257 Time : 0.0 sec. user=juhehe [2013-01-09 03:35:16] 677*2^1238932-1 is not prime. Res64: 53F51DE5F3008657 Time : 0.0 sec. user=juhehe [2013-01-09 03:42:01] 811*2^1238933-1 is not prime. Res64: B040E1D660C795FE Time : 0.0 sec. user=mdettweiler [2013-01-09 03:51:36] 759*2^1238935-1 is not prime. Res64: E156A696D22CEB37 Time : 0.0 sec. user=mdettweiler [2013-01-09 03:51:37] 923*2^1238934-1 is not prime. Res64: 963B5B0DD2D5DE1B Time : 0.0 sec. user=mdettweiler [2013-01-09 03:51:38] 765*2^1238935-1 is not prime. Res64: D6F447CEB4923A4D Time : 0.0 sec. user=mdettweiler [2013-01-09 03:51:39] 601*2^1238935-1 is not prime. Res64: 6A2D1B55BC1E164C Time : 0.0 sec. user=vaughan [2013-01-09 04:04:45] 863*2^1238934-1 is not prime. Res64: 97CFFFE12B1829BE Time : 0.0 sec. user=mdettweiler [2013-01-09 04:09:05] 973*2^1238935-1 is not prime. Res64: 244494E391BDCAA8 Time : 0.0 sec. user=mdettweiler [2013-01-09 04:09:06] 657*2^1238936-1 is not prime. Res64: F532074AA982B97B Time : 0.0 sec. user=mdettweiler [2013-01-09 04:09:07] 629*2^1238936-1 is not prime. Res64: 96448EB638CBBC4E Time : 0.0 sec. user=mdettweiler [2013-01-09 04:09:08] 693*2^1238936-1 is not prime. Res64: 28DEA5C0072FB76A Time : 0.0 sec. user=mdettweiler [2013-01-09 04:26:32] 893*2^1238936-1 is not prime. Res64: 6FAC976C1DF86A1F Time : 0.0 sec. user=mdettweiler [2013-01-09 04:26:33] 983*2^1238936-1 is not prime. Res64: 2B4B3C91D08AD290 Time : 0.0 sec. user=mdettweiler [2013-01-09 04:26:33] 957*2^1238936-1 is not prime. Res64: A3015643CDF92BFB Time : 0.0 sec. user=mdettweiler [2013-01-09 04:26:33] 609*2^1238937-1 is not prime. Res64: 327A15BE9F2BD738 Time : 0.0 sec. user=vaughan [2013-01-09 04:42:38] 873*2^1238936-1 is not prime. Res64: FD49ABEC16ABFF51 Time : 0.0 sec. user=mdettweiler [2013-01-09 04:43:54] 727*2^1238937-1 is not prime. Res64: 8C8F0F19257D0F85 Time : 0.0 sec. user=mdettweiler [2013-01-09 04:43:55] 831*2^1238937-1 is not prime. Res64: 6A2F4452A1045ECE Time : 0.0 sec. user=mdettweiler [2013-01-09 04:43:55] 649*2^1238937-1 is not prime. Res64: 7656721FDA7F1F3E Time : 0.0 sec. user=mdettweiler [2013-01-09 04:43:55] 847*2^1238937-1 is not prime. Res64: 1ADFF39F640B1A62 Time : 0.0 sec. user=juhehe [2013-01-09 04:45:31] 625*2^1238937-1 is not prime. Res64: 88518485A77CC58B Time : 0.0 sec. user=mdettweiler [2013-01-09 05:01:15] 723*2^1238938-1 is not prime. Res64: DE2B5656FED7BC15 Time : 0.0 sec. user=mdettweiler [2013-01-09 05:01:17] 975*2^1238937-1 is not prime. Res64: F96D98D0912C44AF Time : 0.0 sec. user=mdettweiler [2013-01-09 05:01:18] 791*2^1238938-1 is not prime. Res64: EADCF639D886CCA3 Time : 0.0 sec. user=mdettweiler [2013-01-09 05:01:19] 647*2^1238938-1 is not prime. Res64: 72EB2B0C59910CFD Time : 0.0 sec. user=mdettweiler [2013-01-09 05:18:50] 975*2^1238938-1 is not prime. Res64: 2E153E8BF8FD896E Time : 0.0 sec. user=mdettweiler [2013-01-09 05:18:50] 845*2^1238938-1 is not prime. Res64: 7C4095627E10FAD7 Time : 0.0 sec. user=mdettweiler [2013-01-09 05:18:51] 601*2^1238939-1 is not prime. Res64: 76E8DACD73866BF0 Time : 0.0 sec. user=mdettweiler [2013-01-09 05:18:51] 857*2^1238938-1 is not prime. Res64: 3DF6FE8C332A6E10 Time : 0.0 sec. user=vaughan [2013-01-09 05:20:27] 861*2^1238937-1 is not prime. Res64: FFF7C8CCAF6B4E96 Time : 0.0 sec. user=mdettweiler [2013-01-09 05:36:11] 619*2^1238939-1 is not prime. Res64: 4F6B51B5830AC812 Time : 0.0 sec. user=mdettweiler [2013-01-09 05:36:12] 669*2^1238939-1 is not prime. Res64: 16D25792C6CA5F52 Time : 0.0 sec. user=mdettweiler [2013-01-09 05:36:12] 655*2^1238939-1 is not prime. Res64: F5580FA39F6E62D0 Time : 0.0 sec. user=mdettweiler [2013-01-09 05:36:12] 753*2^1238939-1 is not prime. Res64: 8FB3192E0E91D05D Time : 0.0 sec. user=mdettweiler [2013-01-09 05:53:32] 939*2^1238939-1 is not prime. Res64: 1408044671EACA0A Time : 0.0 sec. user=mdettweiler [2013-01-09 05:53:33] 999*2^1238939-1 is not prime. Res64: 9C05111C5CCF993F Time : 0.0 sec. user=mdettweiler [2013-01-09 05:53:35] 629*2^1238940-1 is not prime. Res64: 8ADB167FA4D32CC3 Time : 0.0 sec. user=mdettweiler [2013-01-09 05:53:36] 719*2^1238940-1 is not prime. Res64: E880ABDC4F681C7C Time : 0.0 sec. user=vaughan [2013-01-09 05:58:12] 811*2^1238939-1 is not prime. Res64: 8E234DF038BF39FC Time : 0.0 sec. user=mdettweiler [2013-01-09 06:10:55] 887*2^1238940-1 is not prime. Res64: E1FE08D6A0600EC7 Time : 0.0 sec. user=mdettweiler [2013-01-09 06:10:57] 687*2^1238941-1 is not prime. Res64: 7BF91FA5B99C36DA Time : 0.0 sec. user=mdettweiler [2013-01-09 06:10:58] 741*2^1238941-1 is not prime. Res64: 73CE446A550D2DE3 Time : 0.0 sec. user=mdettweiler [2013-01-09 06:11:00] 747*2^1238941-1 is not prime. Res64: FE918098239C7B3D Time : 0.0 sec. user=mdettweiler [2013-01-09 06:28:28] 855*2^1238941-1 is not prime. Res64: 8DDCF70C5C075A21 Time : 0.0 sec. user=mdettweiler [2013-01-09 06:28:29] 859*2^1238941-1 is not prime. Res64: 104785B488927E23 Time : 0.0 sec. user=mdettweiler [2013-01-09 06:28:31] 867*2^1238941-1 is not prime. Res64: ED2E431E33CBE92A Time : 0.0 sec. user=mdettweiler [2013-01-09 06:28:32] 937*2^1238941-1 is not prime. Res64: 3A58A2ED329C5BD7 Time : 0.0 sec. user=vaughan [2013-01-09 06:36:03] 819*2^1238941-1 is not prime. Res64: 52F0E5665422E0B3 Time : 0.0 sec. user=mdettweiler [2013-01-09 06:45:49] 945*2^1238941-1 is not prime. Res64: 4DCCF262C80DB283 Time : 0.0 sec. user=mdettweiler [2013-01-09 06:45:50] 957*2^1238941-1 is not prime. Res64: B5BD8402092C0662 Time : 0.0 sec. user=mdettweiler [2013-01-09 06:45:51] 961*2^1238941-1 is not prime. Res64: 2FBFA0955A9E2730 Time : 0.0 sec. user=mdettweiler [2013-01-09 06:45:52] 791*2^1238942-1 is not prime. Res64: C8C304D3C3BC4E3E Time : 0.0 sec. user=mdettweiler [2013-01-09 07:03:10] 827*2^1238942-1 is not prime. Res64: AFCCAD3F1F668F96 Time : 0.0 sec. user=mdettweiler [2013-01-09 07:03:10] 831*2^1238942-1 is not prime. Res64: 44F771DE90C550E8 Time : 0.0 sec. user=mdettweiler [2013-01-09 07:03:11] 833*2^1238942-1 is not prime. Res64: 39A1CC4C96FCB886 Time : 0.0 sec. user=mdettweiler [2013-01-09 07:03:12] 873*2^1238942-1 is not prime. Res64: FB037AB776A3D6D0 Time : 0.0 sec. user=vaughan [2013-01-09 07:13:54] 825*2^1238942-1 is not prime. Res64: E5550EE8F0915284 Time : 0.0 sec. user=mdettweiler [2013-01-09 07:20:36] 963*2^1238942-1 is not prime. Res64: DFE5377A7C2A59A0 Time : 0.0 sec. user=mdettweiler [2013-01-09 07:20:36] 679*2^1238943-1 is not prime. Res64: 05E63706B378DFB0 Time : 0.0 sec. user=mdettweiler [2013-01-09 07:20:38] 691*2^1238943-1 is not prime. Res64: 9EE036F852D79D33 Time : 0.0 sec. user=mdettweiler [2013-01-09 07:20:39] 735*2^1238943-1 is not prime. Res64: FAD87DF8F7F9F78B Time : 0.0 sec. user=mdettweiler [2013-01-09 07:37:55] 879*2^1238943-1 is not prime. Res64: 1E49FC09150EA78C Time : 0.0 sec. user=mdettweiler [2013-01-09 07:37:56] 919*2^1238943-1 is not prime. Res64: 96DE8721633F995F Time : 0.0 sec. user=mdettweiler [2013-01-09 07:38:00] 623*2^1238944-1 is not prime. Res64: AF43883D675E28AB Time : 0.0 sec. user=mdettweiler [2013-01-09 07:38:01] 765*2^1238944-1 is not prime. Res64: 7D3AA60DDA28CFC3 Time : 0.0 sec. user=vaughan [2013-01-09 07:51:48] 763*2^1238943-1 is not prime. Res64: 29AF5256900B97AD Time : 0.0 sec. user=mdettweiler [2013-01-09 07:55:17] 843*2^1238944-1 is not prime. Res64: 2B8C55FBA208C06C Time : 0.0 sec. user=mdettweiler [2013-01-09 07:55:17] 857*2^1238944-1 is not prime. Res64: 67E07D2ABAC0496E Time : 0.0 sec. user=mdettweiler [2013-01-09 07:55:21] 869*2^1238944-1 is not prime. Res64: 45934719BC01318C Time : 0.0 sec. user=mdettweiler [2013-01-09 07:55:22] 989*2^1238944-1 is not prime. Res64: B0A75F334B3793A0 Time : 0.0 sec. user=mdettweiler [2013-01-09 08:12:37] 669*2^1238945-1 is not prime. Res64: BE6BE8F46EAF5A8E Time : 0.0 sec. user=mdettweiler [2013-01-09 08:12:37] 697*2^1238945-1 is not prime. Res64: 6C6A2D44269CEA7B Time : 0.0 sec. user=mdettweiler [2013-01-09 08:12:41] 705*2^1238945-1 is not prime. Res64: 7DE86BC1CF1DBF63 Time : 0.0 sec. user=mdettweiler [2013-01-09 08:12:42] 721*2^1238945-1 is not prime. Res64: 9A0E77605DF07DB9 Time : 0.0 sec. user=vaughan [2013-01-09 08:29:38] 607*2^1238945-1 is not prime. Res64: BE0A0D7D020BF8CA Time : 0.0 sec. user=mdettweiler [2013-01-09 08:30:05] 861*2^1238945-1 is not prime. Res64: A0ED7096581C7BB5 Time : 0.0 sec. user=mdettweiler [2013-01-09 08:30:07] 949*2^1238945-1 is not prime. Res64: 9B911F077F3104AE Time : 0.0 sec. user=mdettweiler [2013-01-09 08:38:46] 981*2^1238945-1 is not prime. Res64: 07FEF1354944AEC0 Time : 0.0 sec. user=mdettweiler [2013-01-09 08:38:47] 641*2^1238946-1 is not prime. Res64: 6B2F40A512D2E16E Time : 0.0 sec. user=mdettweiler [2013-01-09 08:47:29] 741*2^1238946-1 is not prime. Res64: 8B9BCA1AED6DD30D Time : 0.0 sec. user=mdettweiler [2013-01-09 08:47:29] 603*2^1238948-1 is not prime. Res64: 426454078E4BA3CB Time : 0.0 sec. user=mdettweiler [2013-01-09 08:56:06] 669*2^1238948-1 is not prime. Res64: 2A54C7AF435518B0 Time : 0.0 sec. user=mdettweiler [2013-01-09 08:56:07] 725*2^1238948-1 is not prime. Res64: D3FA0B75F8E3C15A Time : 0.0 sec. user=mdettweiler [2013-01-09 09:04:49] 743*2^1238948-1 is not prime. Res64: 60578B54A0395624 Time : 0.0 sec. user=mdettweiler [2013-01-09 09:04:50] 749*2^1238948-1 is not prime. Res64: D1AF38F6C0BC3AC2 Time : 0.0 sec. user=vaughan [2013-01-09 09:07:23] 713*2^1238946-1 is not prime. Res64: 98162B21C16C24A0 Time : 0.0 sec. user=mdettweiler [2013-01-09 09:13:28] 773*2^1238948-1 is not prime. Res64: 1DB6F58074777431 Time : 0.0 sec. user=mdettweiler [2013-01-09 09:13:29] 795*2^1238948-1 is not prime. Res64: DD3B72F9F143E381 Time : 0.0 sec. user=mdettweiler [2013-01-09 09:22:19] 879*2^1238948-1 is not prime. Res64: 7C201ED2D86299DD Time : 0.0 sec. user=mdettweiler [2013-01-09 09:22:20] 899*2^1238948-1 is not prime. Res64: 79BA46613A06A77F Time : 0.0 sec. user=mdettweiler [2013-01-09 09:30:50] 679*2^1238949-1 is not prime. Res64: DA02A0724CA3C305 Time : 0.0 sec. user=mdettweiler [2013-01-09 09:30:51] 781*2^1238949-1 is not prime. Res64: EBDA7B90B0F5B6BA Time : 0.0 sec. user=mdettweiler [2013-01-09 09:39:39] 861*2^1238949-1 is not prime. Res64: FD5DB2F0040E1662 Time : 0.0 sec. user=mdettweiler [2013-01-09 09:39:39] 653*2^1238950-1 is not prime. Res64: E3C86CFEE7284B1C Time : 0.0 sec. user=vaughan [2013-01-09 09:45:11] 657*2^1238949-1 is not prime. Res64: 4B33DC2C1DE111AF Time : 0.0 sec. user=mdettweiler [2013-01-09 09:48:12] 665*2^1238950-1 is not prime. Res64: C42E1E9FFA80E7EC Time : 0.0 sec. user=mdettweiler [2013-01-09 09:48:13] 783*2^1238950-1 is not prime. Res64: E34962CC39C759C4 Time : 0.0 sec. user=mdettweiler [2013-01-09 09:56:58] 831*2^1238950-1 is not prime. Res64: 8A0F1A3405072303 Time : 0.0 sec. user=mdettweiler [2013-01-09 09:56:58] 861*2^1238950-1 is not prime. Res64: 4827BF9B4C97E794 Time : 0.0 sec. user=mdettweiler [2013-01-09 10:05:32] 957*2^1238950-1 is not prime. Res64: 41CD172217B7B87D Time : 0.0 sec. user=mdettweiler [2013-01-09 10:05:37] 975*2^1238950-1 is not prime. Res64: A46788B17C1EB618 Time : 0.0 sec. user=mdettweiler [2013-01-09 10:14:18] 1001*2^1238950-1 is not prime. Res64: DE075B09B2CA8725 Time : 0.0 sec. user=mdettweiler [2013-01-09 10:14:19] 619*2^1238951-1 is not prime. Res64: 9D86B317C868DFDF Time : 0.0 sec. user=vaughan [2013-01-09 10:22:59] 923*2^1238950-1 is not prime. Res64: 31EFBEC35C128E8C Time : 0.0 sec. user=mdettweiler [2013-01-09 10:23:13] 661*2^1238951-1 is not prime. Res64: FAE877AE1E2B22F9 Time : 0.0 sec. user=mdettweiler [2013-01-09 10:23:14] 675*2^1238951-1 is not prime. Res64: 52EB10470F2A4057 Time : 0.0 sec. user=mdettweiler [2013-01-09 10:31:42] 703*2^1238951-1 is not prime. Res64: C295DFB6C2940CA0 Time : 0.0 sec. user=mdettweiler [2013-01-09 10:31:42] 753*2^1238951-1 is not prime. Res64: 50AE5FC6CDA64342 Time : 0.0 sec. user=mdettweiler [2013-01-09 10:40:35] 841*2^1238951-1 is not prime. Res64: 42DED187BEB9B99F Time : 0.0 sec. user=mdettweiler [2013-01-09 10:40:36] 895*2^1238951-1 is not prime. Res64: 4388C527D8F45709 Time : 0.0 sec. user=mdettweiler [2013-01-09 10:49:01] 913*2^1238951-1 is not prime. Res64: 371DA1097564D6F4 Time : 0.0 sec. user=mdettweiler [2013-01-09 10:49:02] 921*2^1238951-1 is not prime. Res64: DFD895EB486CF321 Time : 0.0 sec. user=mdettweiler [2013-01-09 10:57:55] 779*2^1238952-1 is not prime. Res64: 8B64E0B029B4B83D Time : 0.0 sec. user=mdettweiler [2013-01-09 10:57:56] 819*2^1238952-1 is not prime. Res64: 6BCAF54E8C2B8391 Time : 0.0 sec. user=vaughan [2013-01-09 11:00:49] 775*2^1238951-1 is not prime. Res64: 618053FB8AD539FE Time : 0.0 sec. user=mdettweiler [2013-01-09 11:06:21] 729*2^1238953-1 is not prime. Res64: 3392B1D179C3AED8 Time : 0.0 sec. user=mdettweiler [2013-01-09 11:06:24] 855*2^1238953-1 is not prime. Res64: 4B48C713A9942BC1 Time : 0.0 sec. user=juhehe [2013-01-09 11:07:11] 717*2^1238952-1 is not prime. Res64: CA58368645481CF3 Time : 0.0 sec. user=mdettweiler [2013-01-09 11:15:16] 861*2^1238953-1 is not prime. Res64: C767CBD01BA204FD Time : 0.0 sec. user=mdettweiler [2013-01-09 11:15:20] 885*2^1238953-1 is not prime. Res64: B83AC799A6C8F080 Time : 0.0 sec. user=mdettweiler [2013-01-09 11:24:00] 617*2^1238954-1 is not prime. Res64: 13BF9C707A2A4A2E Time : 0.0 sec. user=mdettweiler [2013-01-09 11:24:01] 701*2^1238954-1 is not prime. Res64: 0B8E7DCAD87A27FF Time : 0.0 sec. user=mdettweiler [2013-01-09 11:32:41] 797*2^1238954-1 is not prime. Res64: 14502E75A7A06DB5 Time : 0.0 sec. user=mdettweiler [2013-01-09 11:32:42] 831*2^1238954-1 is not prime. Res64: AA16C5B16F391F02 Time : 0.0 sec. user=vaughan [2013-01-09 11:38:48] 615*2^1238954-1 is not prime. Res64: 55F6B3A6161B4666 Time : 0.0 sec. user=juhehe [2013-01-09 11:40:27] 791*2^1238954-1 is not prime. Res64: 357D67103589CF46 Time : 0.0 sec. user=mdettweiler [2013-01-09 11:41:20] 887*2^1238954-1 is not prime. Res64: F4C243C7207427CD Time : 0.0 sec. user=mdettweiler [2013-01-09 11:41:21] 915*2^1238954-1 is not prime. Res64: 4D73971F5E22D05D Time : 0.0 sec. user=mdettweiler [2013-01-09 11:50:09] 917*2^1238954-1 is not prime. Res64: 6273B182FE179B20 Time : 0.0 sec. user=mdettweiler [2013-01-09 11:50:10] 951*2^1238954-1 is not prime. Res64: D390D23F6D19FD83 Time : 0.0 sec. user=mdettweiler [2013-01-09 11:58:57] 625*2^1238955-1 is not prime. Res64: DD94F9663296EB3A Time : 0.0 sec. user=mdettweiler [2013-01-09 11:58:57] 793*2^1238955-1 is not prime. Res64: 55C4A73DF6F4BA81 Time : 0.0 sec. user=mdettweiler [2013-01-09 12:07:47] 859*2^1238955-1 is not prime. Res64: 0623850F308C7886 Time : 0.0 sec. user=mdettweiler [2013-01-09 12:07:48] 861*2^1238955-1 is not prime. Res64: E1820EB28BFAFBEA Time : 0.0 sec. user=juhehe [2013-01-09 12:13:38] 609*2^1238955-1 is not prime. Res64: D05628F365A01063 Time : 0.0 sec. user=mdettweiler [2013-01-09 12:16:28] 895*2^1238955-1 is not prime. Res64: FE3924B285B4EEA6 Time : 0.0 sec. user=mdettweiler [2013-01-09 12:16:29] 609*2^1238956-1 is not prime. Res64: 1F7F23C3B514F83D Time : 0.0 sec. user=vaughan [2013-01-09 12:16:40] 981*2^1238954-1 is not prime. Res64: E9C381F4F5AC8320 Time : 0.0 sec. user=mdettweiler [2013-01-09 12:25:17] 615*2^1238956-1 is not prime. Res64: 85E305585FAB1AFF Time : 0.0 sec. user=mdettweiler [2013-01-09 12:25:17] 647*2^1238956-1 is not prime. Res64: A793B10EEE178346 Time : 0.0 sec. user=mdettweiler [2013-01-09 12:33:52] 813*2^1238956-1 is not prime. Res64: A3FA0C11EBFC89C3 Time : 0.0 sec. user=mdettweiler [2013-01-09 12:33:53] 903*2^1238956-1 is not prime. Res64: D2A6546663A6AF73 Time : 0.0 sec. user=mdettweiler [2013-01-09 12:42:40] 615*2^1238957-1 is not prime. Res64: 06B5BC2E76F9D493 Time : 0.0 sec. user=mdettweiler [2013-01-09 12:42:40] 699*2^1238957-1 is not prime. Res64: B2644FF2F2A97EFD Time : 0.0 sec. user=juhehe [2013-01-09 12:46:52] 675*2^1238956-1 is not prime. Res64: DCCE1D0B9F626307 Time : 0.0 sec. user=mdettweiler [2013-01-09 12:51:14] 715*2^1238957-1 is not prime. Res64: BA7975E3725C3C92 Time : 0.0 sec. user=mdettweiler [2013-01-09 12:51:15] 769*2^1238957-1 is not prime. Res64: 32085C7C5D516582 Time : 0.0 sec. user=vaughan [2013-01-09 12:54:40] 601*2^1238957-1 is not prime. Res64: 5E0C5746A9816D40 Time : 0.0 sec. user=mdettweiler [2013-01-09 13:00:03] 771*2^1238957-1 is not prime. Res64: 17FDBFAC8E0A8F39 Time : 0.0 sec. user=mdettweiler [2013-01-09 13:00:04] 825*2^1238957-1 is not prime. Res64: 73327767972C92E4 Time : 0.0 sec. user=mdettweiler [2013-01-09 13:08:37] 889*2^1238957-1 is not prime. Res64: 806E537CC8A60D9A Time : 0.0 sec. user=mdettweiler [2013-01-09 13:08:39] 981*2^1238957-1 is not prime. Res64: 8F1416813EE70A41 Time : 0.0 sec. user=mdettweiler [2013-01-09 13:17:27] 627*2^1238958-1 is not prime. Res64: DBDBB1F0F30A1734 Time : 0.0 sec. user=mdettweiler [2013-01-09 13:17:28] 773*2^1238958-1 is not prime. Res64: 57FFED92CB4CDFBE Time : 0.0 sec. user=juhehe [2013-01-09 13:20:02] 861*2^1238957-1 is not prime. Res64: B7A0329ED329BD0D Time : 0.0 sec. user=mdettweiler [2013-01-09 13:26:06] 797*2^1238958-1 is not prime. Res64: 35291342B2741060 Time : 0.0 sec. user=mdettweiler [2013-01-09 13:26:07] 881*2^1238958-1 is not prime. Res64: FC59FE7FB8C10FD0 Time : 0.0 sec. user=vaughan [2013-01-09 13:32:31] 611*2^1238958-1 is not prime. Res64: 27BF5A45F254B9CD Time : 0.0 sec. user=mdettweiler [2013-01-09 13:34:53] 891*2^1238958-1 is not prime. Res64: 4A618D643120C867 Time : 0.0 sec. user=mdettweiler [2013-01-09 13:34:54] 971*2^1238958-1 is not prime. Res64: EB245BAC245E5935 Time : 0.0 sec. user=mdettweiler [2013-01-09 13:43:29] 609*2^1238959-1 is not prime. Res64: 6154895DACC23A17 Time : 0.0 sec. user=mdettweiler [2013-01-09 13:43:29] 811*2^1238959-1 is not prime. Res64: 32FF100564CB9B1E Time : 0.0 sec. user=mdettweiler [2013-01-09 13:52:17] 951*2^1238959-1 is not prime. Res64: DCD4630DBCBD2DC8 Time : 0.0 sec. user=mdettweiler [2013-01-09 13:52:18] 985*2^1238959-1 is not prime. Res64: 2764DC1B24BEB703 Time : 0.0 sec. user=mdettweiler [2013-01-09 14:00:52] 999*2^1238959-1 is not prime. Res64: D73536135880E720 Time : 0.0 sec. user=mdettweiler [2013-01-09 14:00:53] 609*2^1238960-1 is not prime. Res64: 6E0614525D1FF1B9 Time : 0.0 sec. user=mdettweiler [2013-01-09 14:09:39] 663*2^1238960-1 is not prime. Res64: D35304814E6045A6 Time : 0.0 sec. user=mdettweiler [2013-01-09 14:09:40] 669*2^1238960-1 is not prime. Res64: 3A83FFD81159C884 Time : 0.0 sec. user=vaughan [2013-01-09 14:10:18] 883*2^1238959-1 is not prime. Res64: B138E99A150F7F16 Time : 0.0 sec. user=mdettweiler [2013-01-09 14:18:31] 713*2^1238960-1 is not prime. Res64: D9295BC265E3EF23 Time : 0.0 sec. user=mdettweiler [2013-01-09 14:18:31] 833*2^1238960-1 is not prime. Res64: E15E695808F423B0 Time : 0.0 sec. user=mdettweiler [2013-01-09 14:27:16] 959*2^1238960-1 is not prime. Res64: 86450F0463F81BAF Time : 0.0 sec. user=mdettweiler [2013-01-09 14:27:16] 983*2^1238960-1 is not prime. Res64: E6BBFBF7421F947E Time : 0.0 sec. user=mdettweiler [2013-01-09 14:36:02] 817*2^1238961-1 is not prime. Res64: 0AAF0EC4929CC4E4 Time : 0.0 sec. user=mdettweiler [2013-01-09 14:36:03] 849*2^1238961-1 is not prime. Res64: D611E57D84FFBCED Time : 0.0 sec. user=mdettweiler [2013-01-09 14:44:49] 741*2^1238962-1 is not prime. Res64: 1B16992DBB6C7E88 Time : 0.0 sec. user=mdettweiler [2013-01-09 14:44:49] 825*2^1238962-1 is not prime. Res64: 30935E57F593790B Time : 0.0 sec. user=vaughan [2013-01-09 14:48:09] 709*2^1238961-1 is not prime. Res64: B5CBAA7402E97E13 Time : 0.0 sec. user=mdettweiler [2013-01-09 14:53:38] 867*2^1238962-1 is not prime. Res64: BEBC03500FD64324 Time : 0.0 sec. user=mdettweiler [2013-01-09 14:53:38] 631*2^1238963-1 is not prime. Res64: 44FD11B67D06E426 Time : 0.0 sec. user=juhehe [2013-01-09 14:55:47] 889*2^1238961-1 is not prime. Res64: F0244AF671CA878D Time : 0.0 sec. user=mdettweiler [2013-01-09 15:02:33] 685*2^1238963-1 is not prime. Res64: 28E60307B7DAD02B Time : 0.0 sec. user=mdettweiler [2013-01-09 15:02:34] 771*2^1238963-1 is not prime. Res64: E8B3F64C5A6E4771 Time : 0.0 sec. user=mdettweiler [2013-01-09 15:11:31] 861*2^1238963-1 is not prime. Res64: C0E152E216FC24B7 Time : 0.0 sec. user=mdettweiler [2013-01-09 15:11:33] 871*2^1238963-1 is not prime. Res64: DF687267C1E7453A Time : 0.0 sec. user=mdettweiler [2013-01-09 15:20:44] 955*2^1238963-1 is not prime. Res64: 6D07BB1AB62307BC Time : 0.0 sec. user=mdettweiler [2013-01-09 15:20:44] 737*2^1238964-1 is not prime. Res64: 133A10FCE8963A0D Time : 0.0 sec. user=vaughan [2013-01-09 15:25:55] 855*2^1238963-1 is not prime. Res64: C75EB9114E34113C Time : 0.0 sec. user=mdettweiler [2013-01-09 15:29:31] 927*2^1238964-1 is not prime. Res64: D639A4A00224A8C0 Time : 0.0 sec. user=mdettweiler [2013-01-09 15:29:31] 965*2^1238964-1 is not prime. Res64: BA74DA5DD92537EF Time : 0.0 sec. user=mdettweiler [2013-01-09 15:38:39] 983*2^1238964-1 is not prime. Res64: 29C955B6FAF16D9E Time : 0.0 sec. user=mdettweiler [2013-01-09 15:38:39] 625*2^1238965-1 is not prime. Res64: 311CEE07AA3CB19D Time : 0.0 sec. user=mdettweiler [2013-01-09 15:47:30] 831*2^1238965-1 is not prime. Res64: 7CE3833E6C8941F9 Time : 0.0 sec. user=mdettweiler [2013-01-09 15:47:30] 867*2^1238965-1 is not prime. Res64: 7E5207894FFF3512 Time : 0.0 sec. user=mdettweiler [2013-01-09 15:56:35] 885*2^1238965-1 is not prime. Res64: C8999ADFD3660B06 Time : 0.0 sec. user=mdettweiler [2013-01-09 15:56:35] 955*2^1238965-1 is not prime. Res64: F418BA3AAB6F1135 Time : 0.0 sec. user=vaughan [2013-01-09 16:03:48] 727*2^1238965-1 is not prime. Res64: 28FCFABED0DADB1B Time : 0.0 sec. user=mdettweiler [2013-01-09 16:05:27] 961*2^1238965-1 is not prime. Res64: AF1E327DC551009A Time : 0.0 sec. user=mdettweiler [2013-01-09 16:05:30] 773*2^1238966-1 is not prime. Res64: 622F69BAE38452D5 Time : 0.0 sec. user=mdettweiler [2013-01-09 16:14:30] 857*2^1238966-1 is not prime. Res64: E6F20CECCA4CD0EC Time : 0.0 sec. user=mdettweiler [2013-01-09 16:14:31] 867*2^1238966-1 is not prime. Res64: F9F2D8747E253301 Time : 0.0 sec. user=mdettweiler [2013-01-09 16:23:28] 971*2^1238966-1 is not prime. Res64: 461CBDDFDBE170FF Time : 0.0 sec. user=mdettweiler [2013-01-09 16:23:28] 951*2^1238967-1 is not prime. Res64: 735B63132EEBE16D Time : 0.0 sec. user=juhehe [2013-01-09 16:31:36] 893*2^1238966-1 is not prime. Res64: 0120D10033EBFED4 Time : 0.0 sec. user=mdettweiler [2013-01-09 16:32:30] 955*2^1238967-1 is not prime. Res64: 251E6311BFA8AE2D Time : 0.0 sec. user=mdettweiler [2013-01-09 16:32:30] 615*2^1238968-1 is not prime. Res64: 198AA73F189B7B41 Time : 0.0 sec. user=mdettweiler [2013-01-09 16:41:23] 863*2^1238968-1 is not prime. Res64: 4EEB1324DD7C4C74 Time : 0.0 sec. user=mdettweiler [2013-01-09 16:41:23] 969*2^1238968-1 is not prime. Res64: 871777D1B3410FE1 Time : 0.0 sec. user=vaughan [2013-01-09 16:41:58] 965*2^1238966-1 is not prime. Res64: 1FFF21FE3DA58048 Time : 0.0 sec. user=mdettweiler [2013-01-09 16:50:24] 627*2^1238969-1 is not prime. Res64: 0425DEA1E72CFF30 Time : 0.0 sec. user=mdettweiler [2013-01-09 16:50:25] 685*2^1238969-1 is not prime. Res64: 8D6BC00511E5617E Time : 0.0 sec. user=mdettweiler [2013-01-09 16:59:18] 735*2^1238969-1 is not prime. Res64: 3A926A9EF9D234A1 Time : 0.0 sec. user=mdettweiler [2013-01-09 16:59:18] 789*2^1238969-1 is not prime. Res64: 478FD79DA34A383A Time : 0.0 sec. user=mdettweiler [2013-01-09 17:08:21] 939*2^1238969-1 is not prime. Res64: 0F1D08EEBD9C64CC Time : 0.0 sec. user=mdettweiler [2013-01-09 17:08:23] 651*2^1238970-1 is not prime. Res64: BCCA738BD230823E Time : 0.0 sec. user=mdettweiler [2013-01-09 17:17:12] 677*2^1238970-1 is not prime. Res64: 77A64216FB6CC260 Time : 0.0 sec. user=mdettweiler [2013-01-09 17:17:12] 695*2^1238970-1 is not prime. Res64: 38E9668544C71B64 Time : 0.0 sec. user=vaughan [2013-01-09 17:19:44] 879*2^1238969-1 is not prime. Res64: 3AEA235860DE6106 Time : 0.0 sec. user=mdettweiler [2013-01-09 17:26:24] 755*2^1238970-1 is not prime. Res64: 2A354038BFD2E67E Time : 0.0 sec. user=mdettweiler [2013-01-09 17:26:25] 777*2^1238970-1 is not prime. Res64: DEB6B67DAD5F9FC5 Time : 0.0 sec. user=mdettweiler [2013-01-09 17:35:10] 917*2^1238970-1 is not prime. Res64: 0E05D40F2068D4F3 Time : 0.0 sec. user=mdettweiler [2013-01-09 17:35:11] 927*2^1238970-1 is not prime. Res64: DAE34637F284C8C4 Time : 0.0 sec. user=mdettweiler [2013-01-09 17:44:20] 625*2^1238971-1 is not prime. Res64: 6F052138F8B3D0E4 Time : 0.0 sec. user=mdettweiler [2013-01-09 17:44:20] 679*2^1238971-1 is not prime. Res64: 33DD910D3580B3B9 Time : 0.0 sec. user=mdettweiler [2013-01-09 17:53:06] 685*2^1238971-1 is not prime. Res64: D3EB9B39C357FC31 Time : 0.0 sec. user=mdettweiler [2013-01-09 17:53:07] 745*2^1238971-1 is not prime. Res64: 7FDD02685F2240E8 Time : 0.0 sec. user=vaughan [2013-01-09 17:57:34] 945*2^1238970-1 is not prime. Res64: 0695BAC3387B419F Time : 0.0 sec. user=mdettweiler [2013-01-09 18:02:18] 759*2^1238971-1 is not prime. Res64: C53C22D25E0562E3 Time : 0.0 sec. user=mdettweiler [2013-01-09 18:02:19] 829*2^1238971-1 is not prime. Res64: F37DB7EF0679D1C2 Time : 0.0 sec. user=mdettweiler [2013-01-09 18:10:59] 979*2^1238971-1 is not prime. Res64: EA76DF8F7A67B26C Time : 0.0 sec. user=mdettweiler [2013-01-09 18:11:00] 633*2^1238972-1 is not prime. Res64: A787242E2A3EB4EB Time : 0.0 sec. user=mdettweiler [2013-01-09 18:20:06] 735*2^1238972-1 is not prime. Res64: 02E8DD80747E3D7C Time : 0.0 sec. user=mdettweiler [2013-01-09 18:20:06] 903*2^1238972-1 is not prime. Res64: C3A6BEBC118AD47A Time : 0.0 sec. user=mdettweiler [2013-01-09 18:28:41] 727*2^1238973-1 is not prime. Res64: 537B0A249D774B26 Time : 0.0 sec. user=mdettweiler [2013-01-09 18:28:42] 741*2^1238973-1 is not prime. Res64: 80F09CD130AC771A Time : 0.0 sec. user=vaughan [2013-01-09 18:35:24] 635*2^1238972-1 is not prime. Res64: 98D67F169805615B Time : 0.0 sec. user=mdettweiler [2013-01-09 18:37:44] 861*2^1238973-1 is not prime. Res64: 57AFD38A64B5B0D0 Time : 0.0 sec. user=mdettweiler [2013-01-09 18:37:45] 985*2^1238973-1 is not prime. Res64: 8BE23AA1D2389785 Time : 0.0 sec. user=juhehe [2013-01-09 18:39:03] 627*2^1238973-1 is not prime. Res64: FCC1D71565D7FB5D Time : 0.0 sec. user=mdettweiler [2013-01-09 18:46:20] 605*2^1238974-1 is not prime. Res64: 384283F0D73F58CF Time : 0.0 sec. user=mdettweiler [2013-01-09 18:46:21] 651*2^1238974-1 is not prime. Res64: 656AAE12557EEB46 Time : 0.0 sec. user=mdettweiler [2013-01-09 18:55:24] 741*2^1238974-1 is not prime. Res64: F745A65F21BAD48C Time : 0.0 sec. user=mdettweiler [2013-01-09 18:55:24] 815*2^1238974-1 is not prime. Res64: 869D7224A41B8400 Time : 0.0 sec. user=mdettweiler [2013-01-09 19:04:01] 861*2^1238974-1 is not prime. Res64: 342CAC001D5688E2 Time : 0.0 sec. user=mdettweiler [2013-01-09 19:04:03] 903*2^1238974-1 is not prime. Res64: 096BCFA70509D1B6 Time : 0.0 sec. user=mdettweiler [2013-01-09 19:13:10] 965*2^1238974-1 is not prime. Res64: 4A53D28933FD0CDC Time : 0.0 sec. user=vaughan [2013-01-09 19:13:11] 695*2^1238974-1 is not prime. Res64: 7D3D66FBDB8D48C1 Time : 0.0 sec. user=mdettweiler [2013-01-09 19:13:11] 859*2^1238975-1 is not prime. Res64: 9B8CFC11FBC65289 Time : 0.0 sec. user=mdettweiler [2013-01-09 19:21:49] 883*2^1238975-1 is not prime. Res64: B4A98CF8D852B22A Time : 0.0 sec. user=mdettweiler [2013-01-09 19:21:49] 885*2^1238975-1 is not prime. Res64: 50317751133B69C1 Time : 0.0 sec. user=mdettweiler [2013-01-09 19:31:02] 963*2^1238975-1 is not prime. Res64: F4020C6FE558A4B9 Time : 0.0 sec. user=mdettweiler [2013-01-09 19:31:02] 969*2^1238975-1 is not prime. Res64: 9D2178AD5590E623 Time : 0.0 sec. user=mdettweiler [2013-01-09 19:39:27] 981*2^1238975-1 is not prime. Res64: 8A1C8330EAE28737 Time : 0.0 sec. user=mdettweiler [2013-01-09 19:39:27] 639*2^1238976-1 is not prime. Res64: DC9F1E6B6EBC2C87 Time : 0.0 sec. user=mdettweiler [2013-01-09 19:48:41] 705*2^1238976-1 is not prime. Res64: 84500B392FF954CE Time : 0.0 sec. user=mdettweiler [2013-01-09 19:48:41] 825*2^1238976-1 is not prime. Res64: 591E5372BCE2A619 Time : 0.0 sec. user=vaughan [2013-01-09 19:51:10] 979*2^1238975-1 is not prime. Res64: 7D81B08DF07D0AA1 Time : 0.0 sec. user=mdettweiler [2013-01-09 19:57:05] 923*2^1238976-1 is not prime. Res64: 7D5A7B9AA4C32C53 Time : 0.0 sec. user=mdettweiler [2013-01-09 19:57:05] 927*2^1238976-1 is not prime. Res64: AA1538DEAA205931 Time : 0.0 sec. user=mdettweiler [2013-01-09 20:06:20] 933*2^1238976-1 is not prime. Res64: 45A13F0A791B6222 Time : 0.0 sec. user=mdettweiler [2013-01-09 20:06:22] 625*2^1238977-1 is not prime. Res64: 16B897850A64F847 Time : 0.0 sec. user=mdettweiler [2013-01-09 20:14:43] 715*2^1238977-1 is not prime. Res64: E59087C25DF39739 Time : 0.0 sec. user=mdettweiler [2013-01-09 20:14:44] 819*2^1238977-1 is not prime. Res64: 882EBC3B16DCE869 Time : 0.0 sec. user=mdettweiler [2013-01-09 20:24:06] 885*2^1238977-1 is not prime. Res64: 679FEBF84E431AAB Time : 0.0 sec. user=mdettweiler [2013-01-09 20:24:07] 915*2^1238977-1 is not prime. Res64: 174F6B500F946D98 Time : 0.0 sec. user=vaughan [2013-01-09 20:28:58] 691*2^1238977-1 is not prime. Res64: 90A6C082C57ADEC1 Time : 0.0 sec. user=mdettweiler [2013-01-09 20:32:23] 945*2^1238977-1 is not prime. Res64: 7ACEE1E527741B80 Time : 0.0 sec. user=mdettweiler [2013-01-09 20:32:24] 755*2^1238978-1 is not prime. Res64: 5AD26AF56F086EBA Time : 0.0 sec. user=juhehe [2013-01-09 20:37:14] 871*2^1238977-1 is not prime. Res64: 14963DB8E08C2617 Time : 0.0 sec. user=mdettweiler [2013-01-09 20:41:49] 771*2^1238978-1 is not prime. Res64: D57D27DC901AF529 Time : 0.0 sec. user=mdettweiler [2013-01-09 20:41:50] 773*2^1238978-1 is not prime. Res64: 9CD341CB2321A0DA Time : 0.0 sec. user=mdettweiler [2013-01-09 20:50:01] 857*2^1238978-1 is not prime. Res64: C1F9945CC41A010E Time : 0.0 sec. user=mdettweiler [2013-01-09 20:50:01] 893*2^1238978-1 is not prime. Res64: 8F392552A6226435 Time : 0.0 sec. user=mdettweiler [2013-01-09 20:59:27] 945*2^1238978-1 is not prime. Res64: 180F251EEC9C703C Time : 0.0 sec. user=mdettweiler [2013-01-09 20:59:27] 615*2^1238979-1 is not prime. Res64: B7A21D916B740F54 Time : 0.0 sec. user=vaughan [2013-01-09 21:06:48] 801*2^1238978-1 is not prime. Res64: B83796C7D7DCD567 Time : 0.0 sec. user=mdettweiler [2013-01-09 21:07:52] 621*2^1238979-1 is not prime. Res64: 7D56092D868D2DD4 Time : 0.0 sec. user=mdettweiler [2013-01-09 21:07:54] 691*2^1238979-1 is not prime. Res64: 652F1D2FEDC82FB4 Time : 0.0 sec. user=mdettweiler [2013-01-09 21:17:30] 769*2^1238979-1 is not prime. Res64: 2735BBEE3C6DFFA0 Time : 0.0 sec. user=mdettweiler [2013-01-09 21:17:31] 775*2^1238979-1 is not prime. Res64: 9C711B6071B26306 Time : 0.0 sec. user=mdettweiler [2013-01-09 21:26:14] 973*2^1238979-1 is not prime. Res64: 34FA5ABB56F19D28 Time : 0.0 sec. user=mdettweiler [2013-01-09 21:26:15] 975*2^1238979-1 is not prime. Res64: 0A501A2E5A64D2F9 Time : 0.0 sec. user=mdettweiler [2013-01-09 21:35:23] 615*2^1238980-1 is not prime. Res64: A544C15426F2F7EC Time : 0.0 sec. user=mdettweiler [2013-01-09 21:35:23] 693*2^1238980-1 is not prime. Res64: B48F1B702641BDDC Time : 0.0 sec. user=mdettweiler [2013-01-09 21:43:49] 723*2^1238980-1 is not prime. Res64: 353605CD6EF60E54 Time : 0.0 sec. user=mdettweiler [2013-01-09 21:43:50] 857*2^1238980-1 is not prime. Res64: 86560AB49B22A1E4 Time : 0.0 sec. user=vaughan [2013-01-09 21:44:39] 931*2^1238979-1 is not prime. Res64: D306244E1BD2AC0F Time : 0.0 sec. user=mdettweiler [2013-01-09 21:52:54] 873*2^1238980-1 is not prime. Res64: BFBBD8C616967E13 Time : 0.0 sec. user=mdettweiler [2013-01-09 21:52:55] 905*2^1238980-1 is not prime. Res64: A46F8E75E7196AA8 Time : 0.0 sec. user=mdettweiler [2013-01-09 22:01:17] 933*2^1238980-1 is not prime. Res64: 9A893DDCB695A6D7 Time : 0.0 sec. user=mdettweiler [2013-01-09 22:01:18] 939*2^1238980-1 is not prime. Res64: 20D2EB4401C4FDE4 Time : 0.0 sec. user=mdettweiler [2013-01-09 22:10:24] 697*2^1238981-1 is not prime. Res64: 1454DF8FD80B2FD6 Time : 0.0 sec. user=mdettweiler [2013-01-09 22:10:25] 711*2^1238981-1 is not prime. Res64: ACD7E6746AE54FD6 Time : 0.0 sec. user=mdettweiler [2013-01-09 22:18:58] 717*2^1238981-1 is not prime. Res64: E5061EF314A1B9BE Time : 0.0 sec. user=mdettweiler [2013-01-09 22:18:58] 735*2^1238981-1 is not prime. Res64: 9CE70180E1BA3C6D Time : 0.0 sec. user=vaughan [2013-01-09 22:22:25] 657*2^1238981-1 is not prime. Res64: 40CBAA42564B36D5 Time : 0.0 sec. user=mdettweiler [2013-01-09 22:27:53] 789*2^1238981-1 is not prime. Res64: 37D3D623279CB41D Time : 0.0 sec. user=mdettweiler [2013-01-09 22:27:53] 811*2^1238981-1 is not prime. Res64: 64299F56367A024D Time : 0.0 sec. user=mdettweiler [2013-01-09 22:36:25] 611*2^1238982-1 is not prime. Res64: 0CF2E5CD3D71498B Time : 0.0 sec. user=mdettweiler [2013-01-09 22:36:26] 791*2^1238982-1 is not prime. Res64: 279602D1F11DAA6C Time : 0.0 sec. user=mdettweiler [2013-01-09 22:45:33] 947*2^1238982-1 is not prime. Res64: 09339D6F39959E1F Time : 0.0 sec. user=mdettweiler [2013-01-09 22:45:34] 965*2^1238982-1 is not prime. Res64: A46AF6958D5E25B1 Time : 0.0 sec. user=mdettweiler [2013-01-09 22:54:03] 975*2^1238982-1 is not prime. Res64: 8BA921A4118B6EE7 Time : 0.0 sec. user=mdettweiler [2013-01-09 22:54:04] 663*2^1238983-1 is not prime. Res64: 8D7C7616D6C09AD7 Time : 0.0 sec. user=vaughan [2013-01-09 23:00:14] 873*2^1238982-1 is not prime. Res64: DB38D67E920FBCCE Time : 0.0 sec. user=mdettweiler [2013-01-09 23:03:01] 675*2^1238983-1 is not prime. Res64: B89AAD32F69CBC98 Time : 0.0 sec. user=mdettweiler [2013-01-09 23:03:02] 873*2^1238983-1 is not prime. Res64: 2F01038F513F1045 Time : 0.0 sec. user=mdettweiler [2013-01-09 23:11:30] 919*2^1238983-1 is not prime. Res64: FD33929A42EF9394 Time : 0.0 sec. user=mdettweiler [2013-01-09 23:11:31] 973*2^1238983-1 is not prime. Res64: B4A948D29AF2DB80 Time : 0.0 sec. user=mdettweiler [2013-01-09 23:20:32] 677*2^1238984-1 is not prime. Res64: F6A4E9543BF300E2 Time : 0.0 sec. user=mdettweiler [2013-01-09 23:20:32] 683*2^1238984-1 is not prime. Res64: 661C34B63BC6B796 Time : 0.0 sec. user=mdettweiler [2013-01-09 23:29:02] 743*2^1238984-1 is not prime. Res64: 824D4A04AD1C8F96 Time : 0.0 sec. user=mdettweiler [2013-01-09 23:29:03] 785*2^1238984-1 is not prime. Res64: F0FCF3E99E852AC0 Time : 0.0 sec. user=mdettweiler [2013-01-09 23:38:01] 827*2^1238984-1 is not prime. Res64: F04200D17D0B24B0 Time : 0.0 sec. user=mdettweiler [2013-01-09 23:38:02] 843*2^1238984-1 is not prime. Res64: D3D9697E36FBAC9D Time : 0.0 sec. user=vaughan [2013-01-09 23:38:06] 657*2^1238984-1 is not prime. Res64: 40F580FAF14DCB3B Time : 0.0 sec. user=mdettweiler [2013-01-09 23:46:35] 927*2^1238984-1 is not prime. Res64: 7A3690BB4E2A83FB Time : 0.0 sec. user=mdettweiler [2013-01-09 23:46:35] 627*2^1238985-1 is not prime. Res64: 923564F184608988 Time : 0.0 sec. user=mdettweiler [2013-01-09 23:55:51] 727*2^1238985-1 is not prime. Res64: 8187D0E43D7489AB Time : 0.0 sec. user=mdettweiler [2013-01-09 23:55:52] 795*2^1238985-1 is not prime. Res64: A8907954240405BD Time : 0.0 sec.