user=mdettweiler [2012-10-27 00:01:10] 705*2^1233159-1 is not prime. Res64: 72E131ECDD376346 Time : 0.0 sec. user=mdettweiler [2012-10-27 00:01:10] 721*2^1233159-1 is not prime. Res64: 1B208F8052CCF553 Time : 0.0 sec. user=mdettweiler [2012-10-27 00:03:54] 823*2^1233159-1 is not prime. Res64: 71F000980B1FCA27 Time : 0.0 sec. user=mdettweiler [2012-10-27 00:03:54] 909*2^1233159-1 is not prime. Res64: 41567ADB0DCC7864 Time : 0.0 sec. user=vaughan [2012-10-27 00:09:39] 675*2^1233159-1 is not prime. Res64: 3784FD77388BEA33 Time : 0.0 sec. user=mdettweiler [2012-10-27 00:21:58] 985*2^1233159-1 is not prime. Res64: CFA8F50CA260CEB6 Time : 0.0 sec. user=mdettweiler [2012-10-27 00:21:59] 629*2^1233160-1 is not prime. Res64: 57EBE50E974A8577 Time : 0.0 sec. user=mdettweiler [2012-10-27 00:24:41] 797*2^1233160-1 is not prime. Res64: 4D048BD73679D0AA Time : 0.0 sec. user=mdettweiler [2012-10-27 00:24:42] 813*2^1233160-1 is not prime. Res64: E133778D54363BDC Time : 0.0 sec. user=mdettweiler [2012-10-27 00:43:02] 685*2^1233161-1 is not prime. Res64: 7FA1F7B5A1D4629F Time : 0.0 sec. user=mdettweiler [2012-10-27 00:43:02] 967*2^1233161-1 is not prime. Res64: 8CE51A1137C433BA Time : 0.0 sec. user=mdettweiler [2012-10-27 00:45:29] 791*2^1233162-1 is not prime. Res64: 8900579CAA407F12 Time : 0.0 sec. user=mdettweiler [2012-10-27 00:45:29] 893*2^1233162-1 is not prime. Res64: EF95DB3CB7F6F632 Time : 0.0 sec. user=vaughan [2012-10-27 00:47:31] 843*2^1233160-1 is not prime. Res64: 249BEB7C531163FE Time : 0.0 sec. user=mdettweiler [2012-10-27 01:03:49] 615*2^1233163-1 is not prime. Res64: 938BBB85ED6124C9 Time : 0.0 sec. user=mdettweiler [2012-10-27 01:03:51] 793*2^1233163-1 is not prime. Res64: 99D69746B9344B52 Time : 0.0 sec. user=mdettweiler [2012-10-27 01:06:17] 849*2^1233163-1 is not prime. Res64: D6C5194EF140A120 Time : 0.0 sec. user=mdettweiler [2012-10-27 01:06:19] 853*2^1233163-1 is not prime. Res64: E1AB243176B7ACFD Time : 0.0 sec. user=mdettweiler [2012-10-27 01:24:43] 617*2^1233164-1 is not prime. Res64: 74746289785ADACD Time : 0.0 sec. user=mdettweiler [2012-10-27 01:24:43] 623*2^1233164-1 is not prime. Res64: 81038DFCB0AC4E51 Time : 0.0 sec. user=vaughan [2012-10-27 01:25:18] 605*2^1233164-1 is not prime. Res64: A95A2256E27AF447 Time : 0.0 sec. user=mdettweiler [2012-10-27 01:27:10] 789*2^1233164-1 is not prime. Res64: 68CB108F7B2E4276 Time : 0.0 sec. user=mdettweiler [2012-10-27 01:27:10] 795*2^1233164-1 is not prime. Res64: F706D763B14B2CDE Time : 0.0 sec. user=mdettweiler [2012-10-27 01:45:31] 825*2^1233164-1 is not prime. Res64: 28B23777A97A9C5E Time : 0.0 sec. user=mdettweiler [2012-10-27 01:45:31] 843*2^1233164-1 is not prime. Res64: 8F094716998F7F73 Time : 0.0 sec. user=mdettweiler [2012-10-27 01:47:57] 969*2^1233164-1 is not prime. Res64: 66F6278E23F6FD0D Time : 0.0 sec. user=mdettweiler [2012-10-27 01:47:58] 649*2^1233165-1 is not prime. Res64: 982871860F93989A Time : 0.0 sec. user=vaughan [2012-10-27 02:03:06] 959*2^1233164-1 is not prime. Res64: DCB5985B7352A976 Time : 0.0 sec. user=mdettweiler [2012-10-27 02:06:19] 787*2^1233165-1 is not prime. Res64: 657C3711421E5D9B Time : 0.0 sec. user=mdettweiler [2012-10-27 02:06:20] 825*2^1233165-1 is not prime. Res64: 97E708C605968FDA Time : 0.0 sec. user=mdettweiler [2012-10-27 02:08:44] 919*2^1233165-1 is not prime. Res64: 7E85F14812F4B071 Time : 0.0 sec. user=mdettweiler [2012-10-27 02:08:46] 937*2^1233165-1 is not prime. Res64: 87C35F2D21EFE6F6 Time : 0.0 sec. user=mdettweiler [2012-10-27 02:27:10] 651*2^1233166-1 is not prime. Res64: 8F3A3CCA39AD2374 Time : 0.0 sec. user=mdettweiler [2012-10-27 02:27:10] 675*2^1233166-1 is not prime. Res64: EC0C4FD2FAA50983 Time : 0.0 sec. user=mdettweiler [2012-10-27 02:29:37] 717*2^1233166-1 is not prime. Res64: 250B46334F9BCB40 Time : 0.0 sec. user=mdettweiler [2012-10-27 02:29:38] 843*2^1233166-1 is not prime. Res64: 9842ECDF4BCEB591 Time : 0.0 sec. user=vaughan [2012-10-27 02:40:55] 623*2^1233166-1 is not prime. Res64: E5B6992577A535B1 Time : 0.0 sec. user=mdettweiler [2012-10-27 02:48:00] 867*2^1233166-1 is not prime. Res64: 317689F53D18FB1F Time : 0.0 sec. user=mdettweiler [2012-10-27 02:48:01] 609*2^1233167-1 is not prime. Res64: C13A2641998A48D5 Time : 0.0 sec. user=mdettweiler [2012-10-27 02:50:24] 663*2^1233167-1 is not prime. Res64: 472CDDBCB64E9BE5 Time : 0.0 sec. user=mdettweiler [2012-10-27 02:50:25] 669*2^1233167-1 is not prime. Res64: 0AF7944A88EE5A9E Time : 0.0 sec. user=mdettweiler [2012-10-27 03:08:51] 799*2^1233167-1 is not prime. Res64: F9207D9953AFC11F Time : 0.0 sec. user=mdettweiler [2012-10-27 03:08:53] 805*2^1233167-1 is not prime. Res64: CDDAE21647EBE297 Time : 0.0 sec. user=mdettweiler [2012-10-27 03:11:14] 945*2^1233167-1 is not prime. Res64: DEE3EA40D2226A8F Time : 0.0 sec. user=mdettweiler [2012-10-27 03:11:15] 949*2^1233167-1 is not prime. Res64: 477BCF1D57927F5E Time : 0.0 sec. user=vaughan [2012-10-27 03:18:58] 729*2^1233167-1 is not prime. Res64: 47F4096E66F940A0 Time : 0.0 sec. user=mdettweiler [2012-10-27 03:29:46] 605*2^1233168-1 is not prime. Res64: 4DA8AA1FD0D854DC Time : 0.0 sec. user=mdettweiler [2012-10-27 03:29:47] 639*2^1233168-1 is not prime. Res64: 64B4A0381927535B Time : 0.0 sec. user=mdettweiler [2012-10-27 03:32:05] 707*2^1233168-1 is not prime. Res64: 916B6ED3FB1EA425 Time : 0.0 sec. user=mdettweiler [2012-10-27 03:32:06] 735*2^1233168-1 is not prime. Res64: C5C9DE1F1A24ED80 Time : 0.0 sec. user=mdettweiler [2012-10-27 03:50:35] 875*2^1233168-1 is not prime. Res64: 8D7929911C017730 Time : 0.0 sec. user=mdettweiler [2012-10-27 03:50:36] 899*2^1233168-1 is not prime. Res64: ABFE2E437979D303 Time : 0.0 sec. user=mdettweiler [2012-10-27 03:53:00] 819*2^1233169-1 is not prime. Res64: ADACDADA2114C090 Time : 0.0 sec. user=mdettweiler [2012-10-27 03:53:01] 841*2^1233169-1 is not prime. Res64: FBFEF9AE9469108A Time : 0.0 sec. user=vaughan [2012-10-27 03:56:45] 845*2^1233168-1 is not prime. Res64: 7C72021F957E17DA Time : 0.0 sec. user=mdettweiler [2012-10-27 04:11:26] 867*2^1233169-1 is not prime. Res64: 27B6208B0D7E437A Time : 0.0 sec. user=mdettweiler [2012-10-27 04:11:27] 605*2^1233170-1 is not prime. Res64: AC590D2EA7F73816 Time : 0.0 sec. user=mdettweiler [2012-10-27 04:13:48] 753*2^1233170-1 is not prime. Res64: CB5DC5FFB85EA9DD Time : 0.0 sec. user=mdettweiler [2012-10-27 04:13:50] 827*2^1233170-1 is not prime. Res64: 7815DD608493E0E3 Time : 0.0 sec. user=mdettweiler [2012-10-27 04:32:21] 845*2^1233170-1 is not prime. Res64: F382AAB4F70DE8F9 Time : 0.0 sec. user=mdettweiler [2012-10-27 04:32:22] 851*2^1233170-1 is not prime. Res64: E159AA4D13EADCAE Time : 0.0 sec. user=vaughan [2012-10-27 04:34:33] 833*2^1233170-1 is not prime. Res64: 7EBDEBD138486413 Time : 0.0 sec. user=mdettweiler [2012-10-27 04:34:41] 917*2^1233170-1 is not prime. Res64: 0ACB0A237AF4D508 Time : 0.0 sec. user=mdettweiler [2012-10-27 04:34:42] 1001*2^1233170-1 is not prime. Res64: F3982E8F2291CFC7 Time : 0.0 sec. user=PCZ [2012-10-27 04:36:08] 613*2^1233171-1 is not prime. Res64: 149E3F279549F785 Time : 0.0 sec. user=PCZ [2012-10-27 04:36:13] 829*2^1233171-1 is not prime. Res64: A35C49833F2D6F3A Time : 0.0 sec. user=PCZ [2012-10-27 04:36:14] 859*2^1233171-1 is not prime. Res64: 971453DC3666ED5E Time : 0.0 sec. user=PCZ [2012-10-27 04:36:16] 793*2^1233171-1 is not prime. Res64: 4FD2B9EC62EFB50F Time : 0.0 sec. user=PCZ [2012-10-27 04:36:19] 873*2^1233172-1 is not prime. Res64: FE4F594A8406ECDB Time : 0.0 sec. user=PCZ [2012-10-27 04:36:20] 879*2^1233171-1 is not prime. Res64: F57ABCA47C070D1F Time : 0.0 sec. user=PCZ [2012-10-27 04:36:21] 603*2^1233172-1 is not prime. Res64: E728CE54FEDBC5CF Time : 0.0 sec. user=PCZ [2012-10-27 04:36:22] 827*2^1233172-1 is not prime. Res64: 460A381A01E5C18A Time : 0.0 sec. user=PCZ [2012-10-27 04:36:22] 995*2^1233172-1 is not prime. Res64: D1AB799547FE8011 Time : 0.0 sec. user=PCZ [2012-10-27 04:36:25] 685*2^1233173-1 is not prime. Res64: 15E1697543756CA1 Time : 0.0 sec. user=PCZ [2012-10-27 04:36:26] 965*2^1233172-1 is not prime. Res64: 2DCD784F964B71C7 Time : 0.0 sec. user=PCZ [2012-10-27 04:36:26] 923*2^1233172-1 is not prime. Res64: D2BB9CC1A89B75CD Time : 0.0 sec. user=PCZ [2012-10-27 04:50:39] 939*2^1233173-1 is not prime. Res64: 57BCD39E22F81E54 Time : 0.0 sec. user=PCZ [2012-10-27 04:50:44] 987*2^1233173-1 is not prime. Res64: 7BC22DCC8A064C45 Time : 0.0 sec. user=PCZ [2012-10-27 04:50:45] 815*2^1233174-1 is not prime. Res64: FBFABE607C184EB1 Time : 0.0 sec. user=PCZ [2012-10-27 04:50:46] 683*2^1233174-1 is not prime. Res64: F692ECD927B14C7B Time : 0.0 sec. user=PCZ [2012-10-27 04:50:50] 723*2^1233174-1 is not prime. Res64: 501784D179E10E6E Time : 0.0 sec. user=PCZ [2012-10-27 04:50:51] 725*2^1233174-1 is not prime. Res64: B536F401F61A6E27 Time : 0.0 sec. user=PCZ [2012-10-27 04:50:54] 947*2^1233174-1 is not prime. Res64: 28524CD236595E9D Time : 0.0 sec. user=PCZ [2012-10-27 04:50:54] 829*2^1233175-1 is not prime. Res64: 36CF80566E78C740 Time : 0.0 sec. user=PCZ [2012-10-27 04:50:54] 923*2^1233174-1 is not prime. Res64: 21D7F340279ECF9A Time : 0.0 sec. user=PCZ [2012-10-27 04:50:55] 891*2^1233174-1 is not prime. Res64: BDF353F5D5A728C4 Time : 0.0 sec. user=PCZ [2012-10-27 04:50:55] 755*2^1233174-1 is not prime. Res64: 8D38001EA410EB2A Time : 0.0 sec. user=PCZ [2012-10-27 04:50:57] 859*2^1233175-1 is not prime. Res64: A466331911BFDE1F Time : 0.0 sec. user=mdettweiler [2012-10-27 04:53:21] 699*2^1233173-1 is not prime. Res64: E63C33287C95629E Time : 0.0 sec. user=mdettweiler [2012-10-27 04:53:21] 847*2^1233173-1 is not prime. Res64: D71381B9771EB30E Time : 0.0 sec. user=mdettweiler [2012-10-27 04:55:32] 885*2^1233173-1 is not prime. Res64: 6D4CD292665DF7F1 Time : 0.0 sec. user=mdettweiler [2012-10-27 04:55:32] 915*2^1233173-1 is not prime. Res64: 5156A76A6471D8C3 Time : 0.0 sec. user=PCZ [2012-10-27 05:05:12] 871*2^1233175-1 is not prime. Res64: 25B49F8A3E223DAE Time : 0.0 sec. user=PCZ [2012-10-27 05:05:13] 961*2^1233175-1 is not prime. Res64: EF79FE6774E10F58 Time : 0.0 sec. user=PCZ [2012-10-27 05:05:15] 747*2^1233176-1 is not prime. Res64: 918E7BA30BB3B4EC Time : 0.0 sec. user=PCZ [2012-10-27 05:05:17] 943*2^1233175-1 is not prime. Res64: E1F11B37873BF384 Time : 0.0 sec. user=PCZ [2012-10-27 05:05:23] 923*2^1233176-1 is not prime. Res64: 5556F347A97C7A6A Time : 0.0 sec. user=PCZ [2012-10-27 05:05:25] 873*2^1233176-1 is not prime. Res64: DAFADFB47AA0EA6E Time : 0.0 sec. user=PCZ [2012-10-27 05:05:29] 963*2^1233176-1 is not prime. Res64: C6E376430B0624D0 Time : 0.0 sec. user=PCZ [2012-10-27 05:05:30] 819*2^1233177-1 is not prime. Res64: 9FE421DA4C419A53 Time : 0.0 sec. user=PCZ [2012-10-27 05:05:33] 999*2^1233176-1 is not prime. Res64: F0B917A939E909D3 Time : 0.0 sec. user=PCZ [2012-10-27 05:05:34] 625*2^1233177-1 is not prime. Res64: 5F48DF8E5CA02F69 Time : 0.0 sec. user=PCZ [2012-10-27 05:05:35] 717*2^1233177-1 is not prime. Res64: D4CA24208C532BDA Time : 0.0 sec. user=PCZ [2012-10-27 05:05:36] 835*2^1233177-1 is not prime. Res64: F6E949637C8123A3 Time : 0.0 sec. user=vaughan [2012-10-27 05:12:21] 861*2^1233173-1 is not prime. Res64: 4BE55683B762E0C4 Time : 0.0 sec. user=mdettweiler [2012-10-27 05:14:11] 915*2^1233177-1 is not prime. Res64: 8B586B3FF4B0C3C8 Time : 0.0 sec. user=mdettweiler [2012-10-27 05:14:13] 991*2^1233177-1 is not prime. Res64: 44DB0DC23D55F2E5 Time : 0.0 sec. user=mdettweiler [2012-10-27 05:16:20] 687*2^1233178-1 is not prime. Res64: 54AFB86F23839E66 Time : 0.0 sec. user=mdettweiler [2012-10-27 05:16:21] 695*2^1233178-1 is not prime. Res64: FFA45F6F949008A7 Time : 0.0 sec. user=mdettweiler [2012-10-27 05:35:04] 867*2^1233180-1 is not prime. Res64: 0D8249B4F2C02FB2 Time : 0.0 sec. user=mdettweiler [2012-10-27 05:35:05] 893*2^1233180-1 is not prime. Res64: C29A4E1A6B52043A Time : 0.0 sec. user=mdettweiler [2012-10-27 05:37:08] 615*2^1233181-1 is not prime. Res64: DBC9024761735AB2 Time : 0.0 sec. user=mdettweiler [2012-10-27 05:37:08] 757*2^1233181-1 is not prime. Res64: CCEBDFC36E84E3D2 Time : 0.0 sec. user=vaughan [2012-10-27 05:50:10] 795*2^1233180-1 is not prime. Res64: F8CD31F0DF6E1D83 Time : 0.0 sec. user=mdettweiler [2012-10-27 05:55:52] 775*2^1233181-1 is not prime. Res64: 839AA1FC7A5434EF Time : 0.0 sec. user=mdettweiler [2012-10-27 05:55:53] 801*2^1233181-1 is not prime. Res64: 93F81EE4F9540817 Time : 0.0 sec. user=mdettweiler [2012-10-27 05:57:55] 819*2^1233181-1 is not prime. Res64: BF47F9A3A9762A6B Time : 0.0 sec. user=mdettweiler [2012-10-27 05:57:55] 895*2^1233181-1 is not prime. Res64: 7D131EB2B1DFFA07 Time : 0.0 sec. user=PCZ [2012-10-27 06:08:38] 711*2^1233179-1 is not prime. Res64: DDAD860C482BBB33 Time : 0.0 sec. user=PCZ [2012-10-27 06:08:38] 737*2^1233180-1 is not prime. Res64: 94DA507F5EBB3BBB Time : 0.0 sec. user=PCZ [2012-10-27 06:08:38] 777*2^1233178-1 is not prime. Res64: CE807F08E59DF2EF Time : 0.0 sec. user=PCZ [2012-10-27 06:08:42] 665*2^1233180-1 is not prime. Res64: C310D57D2A533312 Time : 0.0 sec. user=PCZ [2012-10-27 06:08:43] 621*2^1233179-1 is not prime. Res64: 1E6940963F39B455 Time : 0.0 sec. user=PCZ [2012-10-27 06:08:46] 885*2^1233179-1 is not prime. Res64: B71C424FF7C7109A Time : 0.0 sec. user=PCZ [2012-10-27 06:08:46] 861*2^1233179-1 is not prime. Res64: 6C8780CD7033BEC5 Time : 0.0 sec. user=PCZ [2012-10-27 06:08:48] 755*2^1233178-1 is not prime. Res64: 86481E0B69F52952 Time : 0.0 sec. user=PCZ [2012-10-27 06:08:48] 883*2^1233179-1 is not prime. Res64: FD7BD64783621B54 Time : 0.0 sec. user=PCZ [2012-10-27 06:08:48] 825*2^1233178-1 is not prime. Res64: 9842899254BF0E63 Time : 0.0 sec. user=PCZ [2012-10-27 06:08:48] 879*2^1233179-1 is not prime. Res64: 96DBC19173074297 Time : 0.0 sec. user=PCZ [2012-10-27 06:08:57] 617*2^1233182-1 is not prime. Res64: 07C6DD00FC3D1D9C Time : 0.0 sec. user=mdettweiler [2012-10-27 06:16:40] 671*2^1233182-1 is not prime. Res64: C91FC5E3B0463855 Time : 0.0 sec. user=mdettweiler [2012-10-27 06:16:41] 705*2^1233182-1 is not prime. Res64: A513C057AC57FB4E Time : 0.0 sec. user=mdettweiler [2012-10-27 06:18:41] 813*2^1233182-1 is not prime. Res64: 4CAFF568C570B799 Time : 0.0 sec. user=mdettweiler [2012-10-27 06:18:41] 873*2^1233182-1 is not prime. Res64: 65E1995327555439 Time : 0.0 sec. user=PCZ [2012-10-27 06:20:24] 921*2^1233182-1 is not prime. Res64: EA7FA627AD8500D3 Time : 0.0 sec. user=PCZ [2012-10-27 06:20:30] 621*2^1233183-1 is not prime. Res64: DD0A667438E058B8 Time : 0.0 sec. user=PCZ [2012-10-27 06:20:43] 735*2^1233183-1 is not prime. Res64: B74543582D23B5C8 Time : 0.0 sec. user=PCZ [2012-10-27 06:20:44] 819*2^1233183-1 is not prime. Res64: D3546D5381F579E7 Time : 0.0 sec. user=PCZ [2012-10-27 06:20:45] 685*2^1233183-1 is not prime. Res64: 4BE08DE8F4898835 Time : 0.0 sec. user=PCZ [2012-10-27 06:20:49] 793*2^1233183-1 is not prime. Res64: 9B42355AF540F6CC Time : 0.0 sec. user=PCZ [2012-10-27 06:26:02] 895*2^1233183-1 is not prime. Res64: AFA447FFBB2A0D41 Time : 0.0 sec. user=PCZ [2012-10-27 06:26:06] 951*2^1233183-1 is not prime. Res64: BE349E15474F24BA Time : 0.0 sec. user=PCZ [2012-10-27 06:26:10] 609*2^1233184-1 is not prime. Res64: 8B1BE47E720A43BB Time : 0.0 sec. user=PCZ [2012-10-27 06:26:23] 705*2^1233184-1 is not prime. Res64: 5265616879F5D941 Time : 0.0 sec. user=PCZ [2012-10-27 06:26:28] 869*2^1233184-1 is not prime. Res64: 5B9B2A29CFEEC738 Time : 0.0 sec. user=PCZ [2012-10-27 06:26:30] 723*2^1233184-1 is not prime. Res64: A091FDA42194A2F3 Time : 0.0 sec. user=vaughan [2012-10-27 06:27:55] 901*2^1233181-1 is not prime. Res64: 084DEC9E5923C836 Time : 0.0 sec. user=PCZ [2012-10-27 06:34:49] 645*2^1233185-1 is not prime. Res64: 51D73F81312C3375 Time : 0.0 sec. user=PCZ [2012-10-27 06:34:57] 679*2^1233185-1 is not prime. Res64: 139D816595A6FA72 Time : 0.0 sec. user=PCZ [2012-10-27 06:35:06] 717*2^1233185-1 is not prime. Res64: 8A7B8B0568FFD195 Time : 0.0 sec. user=PCZ [2012-10-27 06:35:09] 735*2^1233185-1 is not prime. Res64: 929DA4180071C020 Time : 0.0 sec. user=PCZ [2012-10-27 06:35:10] 775*2^1233185-1 is not prime. Res64: 1CA2C16889D63386 Time : 0.0 sec. user=PCZ [2012-10-27 06:35:15] 841*2^1233185-1 is not prime. Res64: BBE1DC2D0516A63C Time : 0.0 sec. user=mdettweiler [2012-10-27 06:37:28] 903*2^1233184-1 is not prime. Res64: 9F2CC4412C90AF26 Time : 0.0 sec. user=mdettweiler [2012-10-27 06:37:28] 989*2^1233184-1 is not prime. Res64: 892589AF83CA947E Time : 0.0 sec. user=mdettweiler [2012-10-27 06:39:27] 607*2^1233185-1 is not prime. Res64: C2C483FEBCBC2FC0 Time : 0.0 sec. user=mdettweiler [2012-10-27 06:39:27] 619*2^1233185-1 is not prime. Res64: E523EF31FB49EABA Time : 0.0 sec. user=PCZ [2012-10-27 06:40:18] 847*2^1233185-1 is not prime. Res64: D7B29F850959A2FE Time : 0.0 sec. user=PCZ [2012-10-27 06:40:29] 897*2^1233185-1 is not prime. Res64: F3485BFEEF9C8B78 Time : 0.0 sec. user=PCZ [2012-10-27 06:40:32] 937*2^1233185-1 is not prime. Res64: 4D494F28C767FCF4 Time : 0.0 sec. user=PCZ [2012-10-27 06:40:43] 705*2^1233186-1 is not prime. Res64: DBE1019C93EB01EC Time : 0.0 sec. user=PCZ [2012-10-27 06:40:51] 713*2^1233186-1 is not prime. Res64: 61D08C800EDEEBF5 Time : 0.0 sec. user=PCZ [2012-10-27 06:40:53] 777*2^1233186-1 is not prime. Res64: 05AAF08ED173AD19 Time : 0.0 sec. user=PCZ [2012-10-27 06:49:10] 851*2^1233186-1 is not prime. Res64: 89C1A0E1B433A2A9 Time : 0.0 sec. user=PCZ [2012-10-27 06:49:23] 873*2^1233186-1 is not prime. Res64: 1AA03CB41B87C8F5 Time : 0.0 sec. user=PCZ [2012-10-27 06:49:30] 887*2^1233186-1 is not prime. Res64: 87DEC4C1E8D0CD85 Time : 0.0 sec. user=PCZ [2012-10-27 06:49:33] 921*2^1233186-1 is not prime. Res64: 775B66B58AFB66D1 Time : 0.0 sec. user=PCZ [2012-10-27 06:49:35] 917*2^1233186-1 is not prime. Res64: D95EB8C3F98B25B0 Time : 0.0 sec. user=PCZ [2012-10-27 06:49:40] 971*2^1233186-1 is not prime. Res64: AA10FAFF25FBB6EC Time : 0.0 sec. user=PCZ [2012-10-27 06:54:45] 849*2^1233187-1 is not prime. Res64: 3A6D2EB59C581537 Time : 0.0 sec. user=PCZ [2012-10-27 06:54:54] 975*2^1233187-1 is not prime. Res64: 264C5E00A2E75FFD Time : 0.0 sec. user=PCZ [2012-10-27 06:54:55] 961*2^1233187-1 is not prime. Res64: A23DF0DAAC4B96D0 Time : 0.0 sec. user=PCZ [2012-10-27 06:55:10] 825*2^1233188-1 is not prime. Res64: 8869E8AAA6FA6EFB Time : 0.0 sec. user=PCZ [2012-10-27 06:55:17] 879*2^1233188-1 is not prime. Res64: 42236E4D374E0E73 Time : 0.0 sec. user=PCZ [2012-10-27 06:55:21] 897*2^1233188-1 is not prime. Res64: AAE4F762F75C75DD Time : 0.0 sec. user=mdettweiler [2012-10-27 06:58:15] 975*2^1233186-1 is not prime. Res64: 59CFE8A77A37776C Time : 0.0 sec. user=mdettweiler [2012-10-27 06:58:15] 765*2^1233187-1 is not prime. Res64: E833815B09A256A8 Time : 0.0 sec. user=mdettweiler [2012-10-27 07:00:13] 769*2^1233187-1 is not prime. Res64: 421EBC7DA92429A5 Time : 0.0 sec. user=mdettweiler [2012-10-27 07:00:14] 805*2^1233187-1 is not prime. Res64: 90FF10A3CF67E45E Time : 0.0 sec. user=PCZ [2012-10-27 07:03:41] 963*2^1233188-1 is not prime. Res64: 4A04EB955BA0A5FD Time : 0.0 sec. user=PCZ [2012-10-27 07:03:53] 977*2^1233188-1 is not prime. Res64: 10911327519E7147 Time : 0.0 sec. user=PCZ [2012-10-27 07:04:01] 691*2^1233189-1 is not prime. Res64: FEB3CCD51CFA671D Time : 0.0 sec. user=PCZ [2012-10-27 07:04:06] 787*2^1233189-1 is not prime. Res64: 211DDC3E66CFD535 Time : 0.0 sec. user=PCZ [2012-10-27 07:04:09] 711*2^1233189-1 is not prime. Res64: 5CF6BFAD3C90D3B9 Time : 0.0 sec. user=PCZ [2012-10-27 07:04:16] 975*2^1233189-1 is not prime. Res64: 74B0A646A1475EDE Time : 0.0 sec. user=vaughan [2012-10-27 07:05:43] 807*2^1233186-1 is not prime. Res64: E9ECC4F175E4C07E Time : 0.0 sec. user=PCZ [2012-10-27 07:09:24] 645*2^1233190-1 is not prime. Res64: 208B53B8A8C21162 Time : 0.0 sec. user=PCZ [2012-10-27 07:09:26] 915*2^1233190-1 is not prime. Res64: 9819E7F991323451 Time : 0.0 sec. user=PCZ [2012-10-27 07:09:34] 1001*2^1233190-1 is not prime. Res64: BD071F2F07A8D8D5 Time : 0.0 sec. user=PCZ [2012-10-27 07:09:39] 823*2^1233191-1 is not prime. Res64: 676C05BAAE1ED58E Time : 0.0 sec. user=PCZ [2012-10-27 07:09:49] 825*2^1233191-1 is not prime. Res64: 5050DC6321D17CC3 Time : 0.0 sec. user=PCZ [2012-10-27 07:09:50] 841*2^1233191-1 is not prime. Res64: C5AC1C990AB883F9 Time : 0.0 sec. user=PCZ [2012-10-27 07:18:16] 797*2^1233192-1 is not prime. Res64: 92913CB09670C982 Time : 0.0 sec. user=PCZ [2012-10-27 07:18:36] 863*2^1233192-1 is not prime. Res64: 7B9CD0F879DB94B0 Time : 0.0 sec. user=PCZ [2012-10-27 07:18:41] 649*2^1233193-1 is not prime. Res64: 9E3F503B347BFCA9 Time : 0.0 sec. user=PCZ [2012-10-27 07:18:49] 675*2^1233193-1 is not prime. Res64: A1EB067D014203E3 Time : 0.0 sec. user=PCZ [2012-10-27 07:18:50] 769*2^1233193-1 is not prime. Res64: 449475647AF46322 Time : 0.0 sec. user=PCZ [2012-10-27 07:18:59] 867*2^1233193-1 is not prime. Res64: E1BC0AF0E529A474 Time : 0.0 sec. user=mdettweiler [2012-10-27 07:19:00] 859*2^1233191-1 is not prime. Res64: B70AFED684299FB5 Time : 0.0 sec. user=mdettweiler [2012-10-27 07:19:01] 921*2^1233191-1 is not prime. Res64: 0BD1478F524A0F53 Time : 0.0 sec. user=mdettweiler [2012-10-27 07:21:03] 683*2^1233192-1 is not prime. Res64: 4037FA7959F9D794 Time : 0.0 sec. user=mdettweiler [2012-10-27 07:21:03] 689*2^1233192-1 is not prime. Res64: BD2086D4376CCD44 Time : 0.0 sec. user=PCZ [2012-10-27 07:24:23] 951*2^1233193-1 is not prime. Res64: 18005983F07308F2 Time : 0.0 sec. user=PCZ [2012-10-27 07:24:31] 979*2^1233193-1 is not prime. Res64: 858A455B57097A58 Time : 0.0 sec. user=PCZ [2012-10-27 07:24:36] 957*2^1233193-1 is not prime. Res64: DC5E7F16C4F6E8C3 Time : 0.0 sec. user=PCZ [2012-10-27 07:24:42] 615*2^1233194-1 is not prime. Res64: 01BAEDBB9EC86AC1 Time : 0.0 sec. user=PCZ [2012-10-27 07:24:56] 627*2^1233194-1 is not prime. Res64: 2556BA22E9E2ED9B Time : 0.0 sec. user=PCZ [2012-10-27 07:25:03] 633*2^1233194-1 is not prime. Res64: 5230498CBEBA739E Time : 0.0 sec. user=PCZ [2012-10-27 07:33:09] 767*2^1233194-1 is not prime. Res64: 5EDBFC1D86756A6A Time : 0.0 sec. user=PCZ [2012-10-27 07:33:26] 851*2^1233194-1 is not prime. Res64: FBA65BA83CC92486 Time : 0.0 sec. user=PCZ [2012-10-27 07:33:40] 861*2^1233194-1 is not prime. Res64: CFF1F72E8C59185D Time : 0.0 sec. user=PCZ [2012-10-27 07:33:42] 921*2^1233194-1 is not prime. Res64: DE4E5F9547583930 Time : 0.0 sec. user=PCZ [2012-10-27 07:33:44] 1001*2^1233194-1 is not prime. Res64: 53362BCB1B6D7E54 Time : 0.0 sec. user=PCZ [2012-10-27 07:33:47] 643*2^1233195-1 is not prime. Res64: 3EA615A63FB45842 Time : 0.0 sec. user=PCZ [2012-10-27 07:39:10] 895*2^1233195-1 is not prime. Res64: 78F8FA647C0F8952 Time : 0.0 sec. user=PCZ [2012-10-27 07:39:10] 873*2^1233195-1 is not prime. Res64: 486BC24529F6FB97 Time : 0.0 sec. user=PCZ [2012-10-27 07:39:18] 969*2^1233195-1 is not prime. Res64: 8155D59B85BB9895 Time : 0.0 sec. user=PCZ [2012-10-27 07:39:18] 623*2^1233196-1 is not prime. Res64: 8886511AE704D018 Time : 0.0 sec. user=PCZ [2012-10-27 07:39:31] 689*2^1233196-1 is not prime. Res64: B29997C4F4906B32 Time : 0.0 sec. user=mdettweiler [2012-10-27 07:39:47] 685*2^1233195-1 is not prime. Res64: 6B7240FE8E88F54E Time : 0.0 sec. user=mdettweiler [2012-10-27 07:39:48] 783*2^1233195-1 is not prime. Res64: B0B89C25A9CC0425 Time : 0.0 sec. user=PCZ [2012-10-27 07:39:58] 695*2^1233196-1 is not prime. Res64: BBEC6D1A43C46AB6 Time : 0.0 sec. user=mdettweiler [2012-10-27 07:41:49] 793*2^1233195-1 is not prime. Res64: D582EDC591A24D9A Time : 0.0 sec. user=mdettweiler [2012-10-27 07:41:49] 853*2^1233195-1 is not prime. Res64: E02C2F895309307C Time : 0.0 sec. user=vaughan [2012-10-27 07:43:31] 877*2^1233193-1 is not prime. Res64: D722C72CA1A21101 Time : 0.0 sec. user=PCZ [2012-10-27 07:47:47] 705*2^1233196-1 is not prime. Res64: BB95EEF4021B3011 Time : 0.0 sec. user=PCZ [2012-10-27 07:48:10] 717*2^1233196-1 is not prime. Res64: B34A6D92AF3DC548 Time : 0.0 sec. user=PCZ [2012-10-27 07:48:15] 765*2^1233196-1 is not prime. Res64: 4EAF54B4C9B33186 Time : 0.0 sec. user=PCZ [2012-10-27 07:48:18] 785*2^1233196-1 is not prime. Res64: EDDABDF4E0A0780B Time : 0.0 sec. user=PCZ [2012-10-27 07:48:23] 803*2^1233196-1 is not prime. Res64: 714D570C593EE4BA Time : 0.0 sec. user=PCZ [2012-10-27 07:48:24] 989*2^1233196-1 is not prime. Res64: D240174FFA1D9457 Time : 0.0 sec. user=PCZ [2012-10-27 07:53:50] 615*2^1233197-1 is not prime. Res64: C0AC311A01A9F315 Time : 0.0 sec. user=PCZ [2012-10-27 07:53:52] 651*2^1233197-1 is not prime. Res64: 3B03717D54D92C52 Time : 0.0 sec. user=PCZ [2012-10-27 07:54:00] 669*2^1233197-1 is not prime. Res64: 4B6D99D25FBB0358 Time : 0.0 sec. user=PCZ [2012-10-27 07:54:01] 685*2^1233197-1 is not prime. Res64: 1AE68C744F0A6481 Time : 0.0 sec. user=PCZ [2012-10-27 07:54:12] 759*2^1233197-1 is not prime. Res64: 9D429048C565023B Time : 0.0 sec. user=PCZ [2012-10-27 07:54:45] 657*2^1233198-1 is not prime. Res64: 994812F55B522838 Time : 0.0 sec. user=mdettweiler [2012-10-27 08:00:34] 777*2^1233197-1 is not prime. Res64: 207FB681DC646CFC Time : 0.0 sec. user=mdettweiler [2012-10-27 08:00:35] 651*2^1233198-1 is not prime. Res64: EB751138A0468132 Time : 0.0 sec. user=mdettweiler [2012-10-27 08:02:36] 671*2^1233198-1 is not prime. Res64: B73182EC612187B7 Time : 0.0 sec. user=mdettweiler [2012-10-27 08:02:37] 725*2^1233198-1 is not prime. Res64: C1A7888E97C6E934 Time : 0.0 sec. user=PCZ [2012-10-27 08:02:47] 885*2^1233198-1 is not prime. Res64: 306BA9FA2E7D5913 Time : 0.0 sec. user=PCZ [2012-10-27 08:03:08] 927*2^1233198-1 is not prime. Res64: E14E6128B7929C4F Time : 0.0 sec. user=PCZ [2012-10-27 08:03:15] 975*2^1233198-1 is not prime. Res64: 79981F059E610F63 Time : 0.0 sec. user=PCZ [2012-10-27 08:03:22] 663*2^1233199-1 is not prime. Res64: 1F4F2660BB0B3DB8 Time : 0.0 sec. user=PCZ [2012-10-27 08:03:26] 831*2^1233199-1 is not prime. Res64: A90BE9D72E2A2717 Time : 0.0 sec. user=PCZ [2012-10-27 08:03:32] 841*2^1233199-1 is not prime. Res64: 6B33B69CF7A0DC27 Time : 0.0 sec. user=PCZ [2012-10-27 08:09:03] 859*2^1233199-1 is not prime. Res64: 966B8E5653917216 Time : 0.0 sec. user=PCZ [2012-10-27 08:09:07] 925*2^1233199-1 is not prime. Res64: AF8B98E2BC2F95F4 Time : 0.0 sec. user=PCZ [2012-10-27 08:09:12] 609*2^1233200-1 is not prime. Res64: B55A6FCB45B441D3 Time : 0.0 sec. user=PCZ [2012-10-27 08:09:16] 969*2^1233199-1 is not prime. Res64: 51D1D89FBF680A1D Time : 0.0 sec. user=PCZ [2012-10-27 08:09:25] 669*2^1233200-1 is not prime. Res64: 33A5FE8A241953CA Time : 0.0 sec. user=PCZ [2012-10-27 08:09:59] 719*2^1233200-1 is not prime. Res64: 33BB317A5650997F Time : 0.0 sec. user=PCZ [2012-10-27 08:18:08] 741*2^1233201-1 is not prime. Res64: AB5EB4629DDD3322 Time : 0.0 sec. user=PCZ [2012-10-27 08:18:29] 617*2^1233202-1 is not prime. Res64: 78C7CE0CE2ED26FB Time : 0.0 sec. user=PCZ [2012-10-27 08:18:31] 653*2^1233202-1 is not prime. Res64: 8DE9B3299B328AC8 Time : 0.0 sec. user=PCZ [2012-10-27 08:18:42] 681*2^1233202-1 is not prime. Res64: 4885B0D0F94C79F5 Time : 0.0 sec. user=PCZ [2012-10-27 08:18:42] 695*2^1233202-1 is not prime. Res64: C3BDCBDCBF807320 Time : 0.0 sec. user=PCZ [2012-10-27 08:18:43] 705*2^1233202-1 is not prime. Res64: BDB3082007269CA4 Time : 0.0 sec. user=vaughan [2012-10-27 08:21:15] 755*2^1233198-1 is not prime. Res64: EFC91500A304E249 Time : 0.0 sec. user=mdettweiler [2012-10-27 08:21:23] 767*2^1233200-1 is not prime. Res64: 0ECDDF834F32DA38 Time : 0.0 sec. user=mdettweiler [2012-10-27 08:21:23] 923*2^1233200-1 is not prime. Res64: 95C9903F528ADA12 Time : 0.0 sec. user=mdettweiler [2012-10-27 08:23:24] 649*2^1233201-1 is not prime. Res64: 45A53AE63CA1C8D6 Time : 0.0 sec. user=mdettweiler [2012-10-27 08:23:25] 717*2^1233201-1 is not prime. Res64: A7B72C33031624AA Time : 0.0 sec. user=PCZ [2012-10-27 08:24:18] 737*2^1233202-1 is not prime. Res64: 69A36CDF8B3CFBDF Time : 0.0 sec. user=PCZ [2012-10-27 08:24:22] 867*2^1233202-1 is not prime. Res64: FEE9DEF878C539E0 Time : 0.0 sec. user=PCZ [2012-10-27 08:24:27] 777*2^1233202-1 is not prime. Res64: 29E75AC3711C39DC Time : 0.0 sec. user=PCZ [2012-10-27 08:24:41] 791*2^1233202-1 is not prime. Res64: 81B4F2391D3486ED Time : 0.0 sec. user=PCZ [2012-10-27 08:24:45] 891*2^1233202-1 is not prime. Res64: D69A99F306A774FD Time : 0.0 sec. user=PCZ [2012-10-27 08:25:17] 663*2^1233203-1 is not prime. Res64: 36AA067E98BFD68A Time : 0.0 sec. user=PCZ [2012-10-27 08:33:18] 741*2^1233203-1 is not prime. Res64: 675CF4A431D1A465 Time : 0.0 sec. user=PCZ [2012-10-27 08:33:43] 759*2^1233203-1 is not prime. Res64: 6889554EC79E0250 Time : 0.0 sec. user=PCZ [2012-10-27 08:33:49] 969*2^1233203-1 is not prime. Res64: 36C48E9D5C262C9C Time : 0.0 sec. user=PCZ [2012-10-27 08:33:52] 805*2^1233203-1 is not prime. Res64: 9DEC7BB336AE3785 Time : 0.0 sec. user=PCZ [2012-10-27 08:33:56] 707*2^1233204-1 is not prime. Res64: 838F1A8328828D55 Time : 0.0 sec. user=PCZ [2012-10-27 08:34:02] 627*2^1233204-1 is not prime. Res64: 0396AEF004ED7E4A Time : 0.0 sec. user=PCZ [2012-10-27 08:39:20] 965*2^1233204-1 is not prime. Res64: DF942EC57774340F Time : 0.0 sec. user=PCZ [2012-10-27 08:39:25] 675*2^1233205-1 is not prime. Res64: 8C63C3CE78AD00E0 Time : 0.0 sec. user=PCZ [2012-10-27 08:39:42] 765*2^1233205-1 is not prime. Res64: D6AAB5723B27E1D5 Time : 0.0 sec. user=PCZ [2012-10-27 08:39:50] 789*2^1233205-1 is not prime. Res64: D145280D1BA9163D Time : 0.0 sec. user=PCZ [2012-10-27 08:39:58] 825*2^1233205-1 is not prime. Res64: 38D5A16546E1F055 Time : 0.0 sec. user=PCZ [2012-10-27 08:40:31] 847*2^1233205-1 is not prime. Res64: AEFFD339853C0730 Time : 0.0 sec. user=mdettweiler [2012-10-27 08:42:10] 765*2^1233204-1 is not prime. Res64: E1074B043DC2A90E Time : 0.0 sec. user=mdettweiler [2012-10-27 08:42:10] 899*2^1233204-1 is not prime. Res64: B6346E7B180AFAB6 Time : 0.0 sec. user=mdettweiler [2012-10-27 08:44:10] 909*2^1233204-1 is not prime. Res64: 42ED228D1D6EEB93 Time : 0.0 sec. user=mdettweiler [2012-10-27 08:44:11] 927*2^1233204-1 is not prime. Res64: CB0DBF1A755A1662 Time : 0.0 sec. user=PCZ [2012-10-27 08:48:24] 861*2^1233205-1 is not prime. Res64: E9285EFDA126B3E8 Time : 0.0 sec. user=PCZ [2012-10-27 08:48:36] 871*2^1233205-1 is not prime. Res64: 520C7BBCE090EB03 Time : 0.0 sec. user=PCZ [2012-10-27 08:49:00] 641*2^1233206-1 is not prime. Res64: 90FF357DEB82158D Time : 0.0 sec. user=PCZ [2012-10-27 08:49:01] 919*2^1233205-1 is not prime. Res64: 813A0C3C2849C656 Time : 0.0 sec. user=PCZ [2012-10-27 08:49:01] 915*2^1233205-1 is not prime. Res64: F83793EE1E7D1402 Time : 0.0 sec. user=PCZ [2012-10-27 08:49:02] 713*2^1233206-1 is not prime. Res64: 4D5C215F7FDA34EF Time : 0.0 sec. user=PCZ [2012-10-27 08:54:11] 857*2^1233206-1 is not prime. Res64: 1AB47E0CEA17785B Time : 0.0 sec. user=PCZ [2012-10-27 08:54:12] 851*2^1233206-1 is not prime. Res64: 870F24B265C9EE34 Time : 0.0 sec. user=PCZ [2012-10-27 08:54:38] 971*2^1233206-1 is not prime. Res64: D239EA4D5AC9B399 Time : 0.0 sec. user=PCZ [2012-10-27 08:54:45] 861*2^1233207-1 is not prime. Res64: 9513FBB455375C78 Time : 0.0 sec. user=PCZ [2012-10-27 08:54:47] 865*2^1233207-1 is not prime. Res64: 8ED041C20F3536AC Time : 0.0 sec. user=PCZ [2012-10-27 08:55:21] 895*2^1233207-1 is not prime. Res64: 9D9657A577FB64EC Time : 0.0 sec. user=vaughan [2012-10-27 08:59:23] 753*2^1233204-1 is not prime. Res64: 78ABE25C4CB9AA96 Time : 0.0 sec. user=mdettweiler [2012-10-27 09:02:57] 901*2^1233207-1 is not prime. Res64: 1B552A645DA2BB7E Time : 0.0 sec. user=mdettweiler [2012-10-27 09:02:58] 707*2^1233208-1 is not prime. Res64: 456B8782808C4C84 Time : 0.0 sec. user=PCZ [2012-10-27 09:03:04] 869*2^1233208-1 is not prime. Res64: 025C2761098A102D Time : 0.0 sec. user=PCZ [2012-10-27 09:03:08] 989*2^1233208-1 is not prime. Res64: 739DC23F744E250D Time : 0.0 sec. user=PCZ [2012-10-27 09:03:34] 819*2^1233209-1 is not prime. Res64: 2D78B82757BFB26F Time : 0.0 sec. user=PCZ [2012-10-27 09:03:36] 949*2^1233209-1 is not prime. Res64: 2F7066997418740F Time : 0.0 sec. user=PCZ [2012-10-27 09:03:43] 795*2^1233209-1 is not prime. Res64: D7F9F65F5A694FFF Time : 0.0 sec. user=PCZ [2012-10-27 09:03:46] 747*2^1233209-1 is not prime. Res64: C29EB030C2C3CFA2 Time : 0.0 sec. user=mdettweiler [2012-10-27 09:04:59] 813*2^1233208-1 is not prime. Res64: B40371ACC804373F Time : 0.0 sec. user=mdettweiler [2012-10-27 09:05:01] 827*2^1233208-1 is not prime. Res64: 1A1CE1164907F32E Time : 0.0 sec. user=PCZ [2012-10-27 09:08:44] 741*2^1233210-1 is not prime. Res64: C7F1DAB1A1853D63 Time : 0.0 sec. user=PCZ [2012-10-27 09:08:45] 707*2^1233210-1 is not prime. Res64: 2FAB32403816DCC6 Time : 0.0 sec. user=PCZ [2012-10-27 09:09:12] 885*2^1233210-1 is not prime. Res64: 915333B31CE2DFED Time : 0.0 sec. user=PCZ [2012-10-27 09:09:19] 917*2^1233210-1 is not prime. Res64: ECED958437CDE544 Time : 0.0 sec. user=PCZ [2012-10-27 09:09:22] 951*2^1233210-1 is not prime. Res64: 738336DDD7F8ADC0 Time : 0.0 sec. user=PCZ [2012-10-27 09:09:44] 1001*2^1233210-1 is not prime. Res64: C98966DD31A17B61 Time : 0.0 sec. user=PCZ [2012-10-27 09:17:32] 617*2^1233212-1 is not prime. Res64: B248429E4B8EAF60 Time : 0.0 sec. user=PCZ [2012-10-27 09:17:40] 837*2^1233212-1 is not prime. Res64: 4B13C5C74CD8A507 Time : 0.0 sec. user=PCZ [2012-10-27 09:18:16] 977*2^1233212-1 is not prime. Res64: 52A2E016EC22FA25 Time : 0.0 sec. user=PCZ [2012-10-27 09:18:17] 817*2^1233213-1 is not prime. Res64: A7F66D1AAD516762 Time : 0.0 sec. user=PCZ [2012-10-27 09:18:26] 721*2^1233213-1 is not prime. Res64: CFC28FBA12C5601D Time : 0.0 sec. user=PCZ [2012-10-27 09:18:27] 607*2^1233213-1 is not prime. Res64: 5FCC672CE88932F6 Time : 0.0 sec. user=PCZ [2012-10-27 09:23:21] 891*2^1233213-1 is not prime. Res64: B5145EC5341DA407 Time : 0.0 sec. user=PCZ [2012-10-27 09:23:26] 937*2^1233213-1 is not prime. Res64: 1E67C75355A6EB4C Time : 0.0 sec. user=mdettweiler [2012-10-27 09:23:45] 733*2^1233211-1 is not prime. Res64: 66098005A1727384 Time : 0.0 sec. user=mdettweiler [2012-10-27 09:23:45] 873*2^1233211-1 is not prime. Res64: 15202C597F793B21 Time : 0.0 sec. user=PCZ [2012-10-27 09:23:53] 991*2^1233213-1 is not prime. Res64: FE3B60EFAA66C0A4 Time : 0.0 sec. user=PCZ [2012-10-27 09:23:56] 675*2^1233214-1 is not prime. Res64: B6F92E7AEEBFBB2B Time : 0.0 sec. user=PCZ [2012-10-27 09:24:00] 773*2^1233214-1 is not prime. Res64: 58CDE7AD2A53AAD4 Time : 0.0 sec. user=PCZ [2012-10-27 09:24:21] 957*2^1233214-1 is not prime. Res64: 3B1F5255BC786E61 Time : 0.0 sec. user=mdettweiler [2012-10-27 09:25:52] 861*2^1233213-1 is not prime. Res64: 945A4D397CEB0089 Time : 0.0 sec. user=mdettweiler [2012-10-27 09:25:52] 889*2^1233213-1 is not prime. Res64: A41CC2B931C092BB Time : 0.0 sec. user=PCZ [2012-10-27 09:32:26] 965*2^1233214-1 is not prime. Res64: FC1959634DA6F397 Time : 0.0 sec. user=PCZ [2012-10-27 09:32:32] 649*2^1233215-1 is not prime. Res64: 29AADDE9C9D56266 Time : 0.0 sec. user=PCZ [2012-10-27 09:32:53] 735*2^1233215-1 is not prime. Res64: 7D7E5A5B8A477499 Time : 0.0 sec. user=PCZ [2012-10-27 09:33:05] 759*2^1233215-1 is not prime. Res64: 8C0355B233DA3187 Time : 0.0 sec. user=PCZ [2012-10-27 09:33:09] 661*2^1233215-1 is not prime. Res64: BDB0DDDBBCD3978B Time : 0.0 sec. user=PCZ [2012-10-27 09:33:12] 889*2^1233215-1 is not prime. Res64: 984D1E4CF690C5C1 Time : 0.0 sec. user=vaughan [2012-10-27 09:37:09] 715*2^1233211-1 is not prime. Res64: 6FD87D6F2AE7A5A5 Time : 0.0 sec. user=PCZ [2012-10-27 09:38:10] 991*2^1233215-1 is not prime. Res64: 2CFBA0FD30B3F96C Time : 0.0 sec. user=PCZ [2012-10-27 09:38:42] 765*2^1233216-1 is not prime. Res64: 1B195BA907567B5F Time : 0.0 sec. user=PCZ [2012-10-27 09:38:42] 999*2^1233215-1 is not prime. Res64: 82E11BA8596770C4 Time : 0.0 sec. user=PCZ [2012-10-27 09:38:46] 767*2^1233216-1 is not prime. Res64: C67F327057610679 Time : 0.0 sec. user=PCZ [2012-10-27 09:39:02] 705*2^1233216-1 is not prime. Res64: D8FEF50E5935307D Time : 0.0 sec. user=PCZ [2012-10-27 09:39:18] 857*2^1233216-1 is not prime. Res64: 6BE2653D6D784007 Time : 0.0 sec. user=mdettweiler [2012-10-27 09:44:33] 627*2^1233216-1 is not prime. Res64: 4EDD9742EC060379 Time : 0.0 sec. user=mdettweiler [2012-10-27 09:44:34] 635*2^1233216-1 is not prime. Res64: 5E56D072D5874FB5 Time : 0.0 sec. user=mdettweiler [2012-10-27 09:46:38] 609*2^1233217-1 is not prime. Res64: 51B60DB5F4629A62 Time : 0.0 sec. user=mdettweiler [2012-10-27 09:46:39] 871*2^1233217-1 is not prime. Res64: B9484A1469260B4E Time : 0.0 sec. user=PCZ [2012-10-27 09:47:27] 633*2^1233218-1 is not prime. Res64: 5B341DFA8EA2134C Time : 0.0 sec. user=PCZ [2012-10-27 09:47:36] 605*2^1233218-1 is not prime. Res64: 72EC4772B841404A Time : 0.0 sec. user=PCZ [2012-10-27 09:47:56] 685*2^1233219-1 is not prime. Res64: B03E469325F6035B Time : 0.0 sec. user=PCZ [2012-10-27 09:47:59] 791*2^1233218-1 is not prime. Res64: 39D8A2B74EF51D93 Time : 0.0 sec. user=PCZ [2012-10-27 09:48:01] 935*2^1233218-1 is not prime. Res64: 652E0101BF841469 Time : 0.0 sec. user=PCZ [2012-10-27 09:48:09] 675*2^1233219-1 is not prime. Res64: E7E5C8F71484257B Time : 0.0 sec. user=PCZ [2012-10-27 09:52:56] 891*2^1233219-1 is not prime. Res64: 7CADE6565E402219 Time : 0.0 sec. user=PCZ [2012-10-27 09:53:35] 961*2^1233219-1 is not prime. Res64: 64C01CC1D8901F69 Time : 0.0 sec. user=PCZ [2012-10-27 09:53:39] 999*2^1233219-1 is not prime. Res64: F5EB0ACF25907FA9 Time : 0.0 sec. user=PCZ [2012-10-27 09:53:41] 603*2^1233220-1 is not prime. Res64: 70EE41AE66484342 Time : 0.0 sec. user=PCZ [2012-10-27 09:53:51] 723*2^1233220-1 is not prime. Res64: 5C4B359C3AB9095E Time : 0.0 sec. user=PCZ [2012-10-27 09:53:51] 693*2^1233220-1 is not prime. Res64: 3B82A2212414DBF1 Time : 0.0 sec. user=PCZ [2012-10-27 10:02:15] 607*2^1233221-1 is not prime. Res64: C64ACAF34AC0876C Time : 0.0 sec. user=PCZ [2012-10-27 10:02:28] 745*2^1233221-1 is not prime. Res64: 3103CA4DDD8BCE06 Time : 0.0 sec. user=PCZ [2012-10-27 10:02:36] 681*2^1233222-1 is not prime. Res64: 9C819A5669034CD0 Time : 0.0 sec. user=PCZ [2012-10-27 10:02:43] 979*2^1233221-1 is not prime. Res64: A5E7C7A1CCB099AD Time : 0.0 sec. user=PCZ [2012-10-27 10:02:45] 937*2^1233221-1 is not prime. Res64: B9152F7351FF197B Time : 0.0 sec. user=PCZ [2012-10-27 10:02:47] 747*2^1233221-1 is not prime. Res64: 24B84A9A13EDB629 Time : 0.0 sec. user=mdettweiler [2012-10-27 10:05:21] 833*2^1233220-1 is not prime. Res64: 055519D9741DC412 Time : 0.0 sec. user=mdettweiler [2012-10-27 10:05:21] 927*2^1233220-1 is not prime. Res64: 692C9C3012CF5EFD Time : 0.0 sec. user=mdettweiler [2012-10-27 10:07:26] 939*2^1233220-1 is not prime. Res64: F20E6AC114583C6D Time : 0.0 sec. user=mdettweiler [2012-10-27 10:07:27] 987*2^1233220-1 is not prime. Res64: 493BDBEBC817019A Time : 0.0 sec. user=PCZ [2012-10-27 10:07:38] 683*2^1233222-1 is not prime. Res64: E169EB6CB031F079 Time : 0.0 sec. user=PCZ [2012-10-27 10:08:12] 891*2^1233222-1 is not prime. Res64: 525C6204C3BF5718 Time : 0.0 sec. user=PCZ [2012-10-27 10:08:20] 711*2^1233222-1 is not prime. Res64: D8ED745E1F60DB6F Time : 0.0 sec. user=PCZ [2012-10-27 10:08:28] 843*2^1233222-1 is not prime. Res64: A9A13FA2818222F0 Time : 0.0 sec. user=PCZ [2012-10-27 10:08:28] 755*2^1233222-1 is not prime. Res64: D6C47E5D693E6704 Time : 0.0 sec. user=PCZ [2012-10-27 10:08:35] 875*2^1233222-1 is not prime. Res64: 01E420F82B6ECC2B Time : 0.0 sec. user=vaughan [2012-10-27 10:15:00] 885*2^1233219-1 is not prime. Res64: 13BD58166A5BDBB6 Time : 0.0 sec. user=PCZ [2012-10-27 10:17:19] 853*2^1233223-1 is not prime. Res64: 00376FF96C7F0FF8 Time : 0.0 sec. user=PCZ [2012-10-27 10:17:22] 965*2^1233222-1 is not prime. Res64: 1F6E4AFAFF896FAC Time : 0.0 sec. user=PCZ [2012-10-27 10:17:26] 977*2^1233222-1 is not prime. Res64: 5661411CC4BD418F Time : 0.0 sec. user=PCZ [2012-10-27 10:17:34] 621*2^1233223-1 is not prime. Res64: D4F9FC60EC142CEB Time : 0.0 sec. user=PCZ [2012-10-27 10:17:35] 663*2^1233223-1 is not prime. Res64: F56C930C2A0978CE Time : 0.0 sec. user=PCZ [2012-10-27 10:17:41] 745*2^1233223-1 is not prime. Res64: 9DC18E0C00B8275A Time : 0.0 sec. user=PCZ [2012-10-27 10:22:27] 951*2^1233223-1 is not prime. Res64: 204DA4FDD964CC94 Time : 0.0 sec. user=PCZ [2012-10-27 10:23:09] 875*2^1233224-1 is not prime. Res64: 33A8B19E3E48BCD2 Time : 0.0 sec. user=PCZ [2012-10-27 10:23:14] 969*2^1233223-1 is not prime. Res64: D959AEDEC8F3AE31 Time : 0.0 sec. user=PCZ [2012-10-27 10:23:26] 993*2^1233223-1 is not prime. Res64: 5B0FB1CD104FA94A Time : 0.0 sec. user=PCZ [2012-10-27 10:23:39] 747*2^1233224-1 is not prime. Res64: 362A6637DD477EBF Time : 0.0 sec. user=PCZ [2012-10-27 10:23:40] 683*2^1233224-1 is not prime. Res64: 44933455F9B363D7 Time : 0.0 sec. user=mdettweiler [2012-10-27 10:26:13] 885*2^1233223-1 is not prime. Res64: 493E691A15CBAE2A Time : 0.0 sec. user=mdettweiler [2012-10-27 10:26:13] 919*2^1233223-1 is not prime. Res64: 426046B78EA107E8 Time : 0.0 sec. user=mdettweiler [2012-10-27 10:28:20] 925*2^1233223-1 is not prime. Res64: 2B4C2522F2E2E50E Time : 0.0 sec. user=mdettweiler [2012-10-27 10:28:20] 943*2^1233223-1 is not prime. Res64: 5EF9FE54DFCF680F Time : 0.0 sec. user=PCZ [2012-10-27 10:32:20] 649*2^1233225-1 is not prime. Res64: 318F048A441E4133 Time : 0.0 sec. user=PCZ [2012-10-27 10:32:21] 717*2^1233225-1 is not prime. Res64: 36C1367CD46606B7 Time : 0.0 sec. user=PCZ [2012-10-27 10:32:25] 885*2^1233225-1 is not prime. Res64: 5B3A7EF93D0E770D Time : 0.0 sec. user=PCZ [2012-10-27 10:32:34] 937*2^1233225-1 is not prime. Res64: A6CB1886E1E07D87 Time : 0.0 sec. user=PCZ [2012-10-27 10:32:35] 921*2^1233225-1 is not prime. Res64: 3F44A65FD70C5D2F Time : 0.0 sec. user=PCZ [2012-10-27 10:32:36] 635*2^1233226-1 is not prime. Res64: 7A6BAD3E9CE895B9 Time : 0.0 sec. user=PCZ [2012-10-27 10:37:31] 773*2^1233226-1 is not prime. Res64: AB6E773665FE80BA Time : 0.0 sec. user=PCZ [2012-10-27 10:38:06] 857*2^1233226-1 is not prime. Res64: 10D93A6E9ACA7DAF Time : 0.0 sec. user=PCZ [2012-10-27 10:38:23] 643*2^1233227-1 is not prime. Res64: FF9596EC699E7610 Time : 0.0 sec. user=PCZ [2012-10-27 10:38:34] 741*2^1233227-1 is not prime. Res64: F357BF2607A3DEED Time : 0.0 sec. user=PCZ [2012-10-27 10:38:46] 825*2^1233227-1 is not prime. Res64: 366479C441946546 Time : 0.0 sec. user=PCZ [2012-10-27 10:38:48] 775*2^1233227-1 is not prime. Res64: A007211F241A91CD Time : 0.0 sec. user=mdettweiler [2012-10-27 10:47:00] 895*2^1233227-1 is not prime. Res64: 41AE93387A7EAA02 Time : 0.0 sec. user=mdettweiler [2012-10-27 10:47:01] 985*2^1233227-1 is not prime. Res64: 20F3D449CAF892B1 Time : 0.0 sec. user=PCZ [2012-10-27 10:47:53] 707*2^1233228-1 is not prime. Res64: 0706211285F2CAF1 Time : 0.0 sec. user=PCZ [2012-10-27 10:47:56] 975*2^1233229-1 is not prime. Res64: BA29BAB65214AEB7 Time : 0.0 sec. user=PCZ [2012-10-27 10:47:58] 957*2^1233229-1 is not prime. Res64: 5311479252F424AB Time : 0.0 sec. user=PCZ [2012-10-27 10:48:00] 751*2^1233229-1 is not prime. Res64: 1B5825EEBDFE3A1B Time : 0.0 sec. user=PCZ [2012-10-27 10:48:07] 887*2^1233228-1 is not prime. Res64: 0A04E5EE2F31BBD3 Time : 0.0 sec. user=PCZ [2012-10-27 10:48:08] 999*2^1233228-1 is not prime. Res64: F7F43F4D9DFDADA5 Time : 0.0 sec. user=mdettweiler [2012-10-27 10:49:06] 629*2^1233228-1 is not prime. Res64: 8B62C2F92BCE6159 Time : 0.0 sec. user=mdettweiler [2012-10-27 10:49:07] 647*2^1233228-1 is not prime. Res64: 0B38EF8185698E4F Time : 0.0 sec. user=PCZ [2012-10-27 10:52:51] 999*2^1233229-1 is not prime. Res64: 9C87EA7513259472 Time : 0.0 sec. user=vaughan [2012-10-27 10:53:04] 993*2^1233224-1 is not prime. Res64: BE35ED69318529DD Time : 0.0 sec. user=PCZ [2012-10-27 10:53:28] 675*2^1233230-1 is not prime. Res64: A155B09A3160AEDC Time : 0.0 sec. user=PCZ [2012-10-27 10:53:58] 791*2^1233230-1 is not prime. Res64: 194ECE22D796BCEF Time : 0.0 sec. user=PCZ [2012-10-27 10:54:06] 709*2^1233231-1 is not prime. Res64: D03D4A3CB1EACE65 Time : 0.0 sec. user=PCZ [2012-10-27 10:54:09] 871*2^1233231-1 is not prime. Res64: CD2DE9667D9A388C Time : 0.0 sec. user=PCZ [2012-10-27 10:54:17] 783*2^1233231-1 is not prime. Res64: 854198F79C3AC357 Time : 0.0 sec. user=mdettweiler [2012-10-27 11:07:47] 931*2^1233231-1 is not prime. Res64: 21AA8C1F6DC5F267 Time : 0.0 sec. user=mdettweiler [2012-10-27 11:07:50] 955*2^1233231-1 is not prime. Res64: 6C8EDEA8EDF77F34 Time : 0.0 sec. user=mdettweiler [2012-10-27 11:09:54] 959*2^1233232-1 is not prime. Res64: 266E9A9C835EDB3E Time : 0.0 sec. user=mdettweiler [2012-10-27 11:09:57] 965*2^1233232-1 is not prime. Res64: A98CF6BBB18B0ECA Time : 0.0 sec. user=mdettweiler [2012-10-27 11:28:39] 621*2^1233234-1 is not prime. Res64: ED42A2934ECE569E Time : 0.0 sec. user=mdettweiler [2012-10-27 11:28:39] 651*2^1233234-1 is not prime. Res64: 7ACF4DBF6F48472D Time : 0.0 sec. user=mdettweiler [2012-10-27 11:30:49] 755*2^1233234-1 is not prime. Res64: F73E3DCF403535E8 Time : 0.0 sec. user=mdettweiler [2012-10-27 11:30:50] 783*2^1233234-1 is not prime. Res64: FB7176043BC7928A Time : 0.0 sec. user=vaughan [2012-10-27 11:30:52] 715*2^1233233-1 is not prime. Res64: D9F6E9155C7357E4 Time : 0.0 sec. user=mdettweiler [2012-10-27 11:49:27] 851*2^1233234-1 is not prime. Res64: 1117B6050E6B050B Time : 0.0 sec. user=mdettweiler [2012-10-27 11:49:28] 861*2^1233234-1 is not prime. Res64: 3DF0A30B443F2BB9 Time : 0.0 sec. user=mdettweiler [2012-10-27 11:51:36] 917*2^1233234-1 is not prime. Res64: 46B0061880593888 Time : 0.0 sec. user=mdettweiler [2012-10-27 11:51:37] 685*2^1233235-1 is not prime. Res64: 0086387F6D3A147C Time : 0.0 sec. user=vaughan [2012-10-27 12:08:38] 805*2^1233235-1 is not prime. Res64: E8360CDED520D974 Time : 0.0 sec. user=mdettweiler [2012-10-27 12:10:15] 829*2^1233235-1 is not prime. Res64: 129506CC8DC2E514 Time : 0.0 sec. user=mdettweiler [2012-10-27 12:10:17] 885*2^1233235-1 is not prime. Res64: 71904A2F542BE4D4 Time : 0.0 sec. user=mdettweiler [2012-10-27 12:12:24] 999*2^1233235-1 is not prime. Res64: EB4A0716E3AABB10 Time : 0.0 sec. user=mdettweiler [2012-10-27 12:12:27] 633*2^1233236-1 is not prime. Res64: 5CBF9125C43ADA48 Time : 0.0 sec. user=mdettweiler [2012-10-27 12:31:11] 837*2^1233236-1 is not prime. Res64: B1B08DA2A9D66703 Time : 0.0 sec. user=mdettweiler [2012-10-27 12:31:11] 999*2^1233236-1 is not prime. Res64: AD193C1D1648E434 Time : 0.0 sec. user=mdettweiler [2012-10-27 12:33:23] 709*2^1233237-1 is not prime. Res64: 9CC451F73455A45F Time : 0.0 sec. user=mdettweiler [2012-10-27 12:33:24] 717*2^1233237-1 is not prime. Res64: 4F38FA167921ED7D Time : 0.0 sec. user=vaughan [2012-10-27 12:46:41] 759*2^1233236-1 is not prime. Res64: F44D5A7F79CE17D0 Time : 0.0 sec. user=mdettweiler [2012-10-27 12:52:02] 901*2^1233237-1 is not prime. Res64: 283B55B1797E272D Time : 0.0 sec. user=mdettweiler [2012-10-27 12:52:03] 945*2^1233237-1 is not prime. Res64: 7A6C9D9FE5597D50 Time : 0.0 sec. user=mdettweiler [2012-10-27 12:54:14] 997*2^1233237-1 is not prime. Res64: 1E621CBCF79CF702 Time : 0.0 sec. user=mdettweiler [2012-10-27 12:54:14] 605*2^1233238-1 is not prime. Res64: 4729F5DF4236F1BF Time : 0.0 sec. user=mdettweiler [2012-10-27 13:12:50] 647*2^1233238-1 is not prime. Res64: 14BF700406845287 Time : 0.0 sec. user=mdettweiler [2012-10-27 13:12:54] 677*2^1233238-1 is not prime. Res64: 0F99278A079C2D4C Time : 0.0 sec. user=mdettweiler [2012-10-27 13:15:02] 681*2^1233238-1 is not prime. Res64: 1F3F111E19B307C7 Time : 0.0 sec. user=mdettweiler [2012-10-27 13:15:07] 723*2^1233238-1 is not prime. Res64: 78EA9E7D071640EF Time : 0.0 sec. user=vaughan [2012-10-27 13:24:26] 645*2^1233238-1 is not prime. Res64: FD80FF98E2B70EEB Time : 0.0 sec. user=mdettweiler [2012-10-27 13:33:53] 971*2^1233238-1 is not prime. Res64: CBF9E5EB8A39E811 Time : 0.0 sec. user=mdettweiler [2012-10-27 13:33:54] 705*2^1233239-1 is not prime. Res64: 69227D9A9C380027 Time : 0.0 sec. user=mdettweiler [2012-10-27 13:36:00] 841*2^1233239-1 is not prime. Res64: FCAC39DA9FD04B61 Time : 0.0 sec. user=mdettweiler [2012-10-27 13:36:01] 843*2^1233239-1 is not prime. Res64: DBB3FB27EE247208 Time : 0.0 sec. user=mdettweiler [2012-10-27 13:54:41] 883*2^1233239-1 is not prime. Res64: 3E5C159E650F82E9 Time : 0.0 sec. user=mdettweiler [2012-10-27 13:54:41] 943*2^1233239-1 is not prime. Res64: 991D6F14F9787A35 Time : 0.0 sec. user=mdettweiler [2012-10-27 13:56:50] 819*2^1233240-1 is not prime. Res64: DCB506530FB9D899 Time : 0.0 sec. user=mdettweiler [2012-10-27 13:56:50] 843*2^1233240-1 is not prime. Res64: EB70157E278BBF8C Time : 0.0 sec. user=vaughan [2012-10-27 14:02:12] 865*2^1233239-1 is not prime. Res64: 8AB2F388791439CB Time : 0.0 sec. user=mdettweiler [2012-10-27 14:15:30] 849*2^1233240-1 is not prime. Res64: CA58FF334D4B3A22 Time : 0.0 sec. user=mdettweiler [2012-10-27 14:15:31] 915*2^1233240-1 is not prime. Res64: 6AFFF53FBEA033F6 Time : 0.0 sec. user=mdettweiler [2012-10-27 14:17:39] 685*2^1233241-1 is not prime. Res64: B52BA6E2EB5FFE57 Time : 0.0 sec. user=mdettweiler [2012-10-27 14:17:40] 687*2^1233241-1 is not prime. Res64: E2CEBA485EE0B8D8 Time : 0.0 sec. user=mdettweiler [2012-10-27 14:36:45] 755*2^1233242-1 is not prime. Res64: 7ED86737B454F689 Time : 0.0 sec. user=mdettweiler [2012-10-27 14:36:46] 785*2^1233242-1 is not prime. Res64: 2C5FD49B240D492C Time : 0.0 sec. user=mdettweiler [2012-10-27 14:38:50] 911*2^1233242-1 is not prime. Res64: D7DA398A52B69CC9 Time : 0.0 sec. user=mdettweiler [2012-10-27 14:38:50] 921*2^1233242-1 is not prime. Res64: E00730BF52EB3EED Time : 0.0 sec. user=vaughan [2012-10-27 14:39:57] 731*2^1233242-1 is not prime. Res64: 86B4897FBD76F3BC Time : 0.0 sec. user=mdettweiler [2012-10-27 14:57:47] 613*2^1233243-1 is not prime. Res64: 9E8FE64C7BDB6F98 Time : 0.0 sec. user=mdettweiler [2012-10-27 14:57:48] 709*2^1233243-1 is not prime. Res64: 4F2E618113CAD402 Time : 0.0 sec. user=mdettweiler [2012-10-27 14:59:49] 753*2^1233243-1 is not prime. Res64: AD9B1F80B27B8375 Time : 0.0 sec. user=mdettweiler [2012-10-27 14:59:49] 805*2^1233243-1 is not prime. Res64: D035D742B524A5BD Time : 0.0 sec. user=vaughan [2012-10-27 15:17:42] 819*2^1233243-1 is not prime. Res64: 955A3AC19E323973 Time : 0.0 sec. user=mdettweiler [2012-10-27 15:20:05] 823*2^1233243-1 is not prime. Res64: 00FE8166C9EB9C7B Time : 0.0 sec. user=mdettweiler [2012-10-27 15:20:06] 961*2^1233243-1 is not prime. Res64: AB901BABFF53FB83 Time : 0.0 sec. user=mdettweiler [2012-10-27 15:22:12] 609*2^1233244-1 is not prime. Res64: 4D282125DAFFBF8F Time : 0.0 sec. user=mdettweiler [2012-10-27 15:22:13] 657*2^1233244-1 is not prime. Res64: 3417A09E1DED2AE1 Time : 0.0 sec. user=mdettweiler [2012-10-27 15:42:11] 803*2^1233244-1 is not prime. Res64: 2F55ECB441BB70BF Time : 0.0 sec. user=mdettweiler [2012-10-27 15:42:11] 669*2^1233245-1 is not prime. Res64: ECD45C310597837A Time : 0.0 sec. user=mdettweiler [2012-10-27 15:44:15] 711*2^1233245-1 is not prime. Res64: E5156646A256ED8A Time : 0.0 sec. user=mdettweiler [2012-10-27 15:44:15] 799*2^1233245-1 is not prime. Res64: 70ACB4D0DC204886 Time : 0.0 sec. user=vaughan [2012-10-27 15:55:32] 759*2^1233244-1 is not prime. Res64: 1D64ECC2E2DABFE8 Time : 0.0 sec. user=mdettweiler [2012-10-27 16:03:44] 825*2^1233245-1 is not prime. Res64: 5B3D232ABAC16B55 Time : 0.0 sec. user=mdettweiler [2012-10-27 16:03:45] 847*2^1233245-1 is not prime. Res64: 8297B4FA55153F4B Time : 0.0 sec. user=mdettweiler [2012-10-27 16:05:41] 859*2^1233245-1 is not prime. Res64: 2FEF65D628CAAA7B Time : 0.0 sec. user=mdettweiler [2012-10-27 16:05:41] 939*2^1233245-1 is not prime. Res64: 5F80D40691EB0B07 Time : 0.0 sec. user=mdettweiler [2012-10-27 16:25:25] 987*2^1233245-1 is not prime. Res64: D453BF93687FF2A6 Time : 0.0 sec. user=mdettweiler [2012-10-27 16:25:25] 683*2^1233246-1 is not prime. Res64: 117DAD3D383CFE45 Time : 0.0 sec. user=mdettweiler [2012-10-27 16:27:20] 741*2^1233246-1 is not prime. Res64: AB7A4FEEC1C59C9E Time : 0.0 sec. user=mdettweiler [2012-10-27 16:27:20] 971*2^1233246-1 is not prime. Res64: E24FD5D904EDC5C1 Time : 0.0 sec. user=vaughan [2012-10-27 16:33:16] 985*2^1233245-1 is not prime. Res64: 4207C19F16ABB038 Time : 0.0 sec. user=mdettweiler [2012-10-27 16:47:03] 645*2^1233247-1 is not prime. Res64: 80BCF3DF337253B5 Time : 0.0 sec. user=mdettweiler [2012-10-27 16:47:03] 765*2^1233247-1 is not prime. Res64: 7E3DB3BF41607465 Time : 0.0 sec. user=mdettweiler [2012-10-27 16:48:56] 819*2^1233247-1 is not prime. Res64: EF80644442C63BB2 Time : 0.0 sec. user=mdettweiler [2012-10-27 16:48:56] 945*2^1233247-1 is not prime. Res64: C26B11477D77E3D7 Time : 0.0 sec. user=mdettweiler [2012-10-27 17:08:40] 603*2^1233248-1 is not prime. Res64: CDF5BCBDDD7C6379 Time : 0.0 sec. user=mdettweiler [2012-10-27 17:08:40] 623*2^1233248-1 is not prime. Res64: D35F3B5728920467 Time : 0.0 sec. user=mdettweiler [2012-10-27 17:10:32] 635*2^1233248-1 is not prime. Res64: 9BAB6FECCFEC92A0 Time : 0.0 sec. user=mdettweiler [2012-10-27 17:10:34] 735*2^1233248-1 is not prime. Res64: 7E94E3D34BF21E70 Time : 0.0 sec. user=vaughan [2012-10-27 17:11:05] 985*2^1233247-1 is not prime. Res64: 4CA711725C67D8EF Time : 0.0 sec. user=mdettweiler [2012-10-27 17:29:55] 797*2^1233248-1 is not prime. Res64: 2D045D1247BF0CBE Time : 0.0 sec. user=mdettweiler [2012-10-27 17:29:55] 839*2^1233248-1 is not prime. Res64: 317BA483893B1498 Time : 0.0 sec. user=mdettweiler [2012-10-27 17:31:46] 845*2^1233248-1 is not prime. Res64: D55D8744E3D66270 Time : 0.0 sec. user=mdettweiler [2012-10-27 17:31:46] 855*2^1233248-1 is not prime. Res64: 320DA3141B8047AD Time : 0.0 sec. user=vaughan [2012-10-27 17:48:56] 897*2^1233248-1 is not prime. Res64: 7F4AF52F243CF8B2 Time : 0.0 sec. user=mdettweiler [2012-10-27 17:50:41] 675*2^1233249-1 is not prime. Res64: 15EBCF520E1FDB8C Time : 0.0 sec. user=mdettweiler [2012-10-27 17:50:42] 679*2^1233249-1 is not prime. Res64: D8761A031DC7606B Time : 0.0 sec. user=mdettweiler [2012-10-27 17:52:31] 789*2^1233249-1 is not prime. Res64: F202F2E606ABCEE4 Time : 0.0 sec. user=mdettweiler [2012-10-27 17:52:32] 795*2^1233249-1 is not prime. Res64: 561F7FEC688EDE48 Time : 0.0 sec. user=mdettweiler [2012-10-27 18:11:27] 603*2^1233250-1 is not prime. Res64: 70351A5AD1BDC4DC Time : 0.0 sec. user=mdettweiler [2012-10-27 18:11:28] 671*2^1233250-1 is not prime. Res64: CA4EAA1D3E969798 Time : 0.0 sec. user=mdettweiler [2012-10-27 18:13:17] 687*2^1233250-1 is not prime. Res64: A2FE8602DC70C87C Time : 0.0 sec. user=mdettweiler [2012-10-27 18:13:19] 765*2^1233250-1 is not prime. Res64: 7ABA51099709F5B2 Time : 0.0 sec. user=vaughan [2012-10-27 18:26:45] 877*2^1233249-1 is not prime. Res64: FCEB7429F65C1FD2 Time : 0.0 sec. user=mdettweiler [2012-10-27 18:32:27] 777*2^1233250-1 is not prime. Res64: 5D8AB09FA21B8BEB Time : 0.0 sec. user=mdettweiler [2012-10-27 18:32:28] 651*2^1233251-1 is not prime. Res64: E864D84F189AAE9C Time : 0.0 sec. user=mdettweiler [2012-10-27 18:34:16] 663*2^1233251-1 is not prime. Res64: 594985496305562F Time : 0.0 sec. user=mdettweiler [2012-10-27 18:34:17] 735*2^1233251-1 is not prime. Res64: 4B60D43F77CB274C Time : 0.0 sec. user=mdettweiler [2012-10-27 18:53:33] 999*2^1233251-1 is not prime. Res64: 700E2B8E4985A9DF Time : 0.0 sec. user=mdettweiler [2012-10-27 18:53:33] 615*2^1233252-1 is not prime. Res64: 23C54493282FE5DC Time : 0.0 sec. user=mdettweiler [2012-10-27 18:55:25] 629*2^1233252-1 is not prime. Res64: C47003C0CA6EC977 Time : 0.0 sec. user=mdettweiler [2012-10-27 18:55:25] 639*2^1233252-1 is not prime. Res64: 1AA626DDD85A837D Time : 0.0 sec. user=vaughan [2012-10-27 19:04:29] 829*2^1233251-1 is not prime. Res64: 911DB2179EA46F88 Time : 0.0 sec. user=mdettweiler [2012-10-27 19:14:48] 693*2^1233252-1 is not prime. Res64: 805EF388F2D1937C Time : 0.0 sec. user=mdettweiler [2012-10-27 19:14:49] 695*2^1233252-1 is not prime. Res64: 1EAEB7A62AE307DB Time : 0.0 sec. user=mdettweiler [2012-10-27 19:16:47] 857*2^1233252-1 is not prime. Res64: D4993352F4C4CD9D Time : 0.0 sec. user=mdettweiler [2012-10-27 19:16:47] 909*2^1233252-1 is not prime. Res64: 7A8F30D524325D48 Time : 0.0 sec. user=mdettweiler [2012-10-27 19:36:35] 721*2^1233253-1 is not prime. Res64: F9E0021CF544C2F7 Time : 0.0 sec. user=mdettweiler [2012-10-27 19:36:35] 741*2^1233253-1 is not prime. Res64: 52816AFC7972E00D Time : 0.0 sec. user=mdettweiler [2012-10-27 19:38:12] 889*2^1233253-1 is not prime. Res64: ECC0BA449A6F8431 Time : 0.0 sec. user=mdettweiler [2012-10-27 19:38:12] 985*2^1233253-1 is not prime. Res64: 30E68880E0AB98A6 Time : 0.0 sec. user=vaughan [2012-10-27 19:42:19] 935*2^1233252-1 is not prime. Res64: FDBA341F40A7D0A7 Time : 0.0 sec. user=mdettweiler [2012-10-27 19:58:03] 687*2^1233254-1 is not prime. Res64: 0BB2B7DE20D2B4BC Time : 0.0 sec. user=mdettweiler [2012-10-27 19:58:03] 693*2^1233254-1 is not prime. Res64: 9D7292F5550F27D4 Time : 0.0 sec. user=mdettweiler [2012-10-27 19:59:35] 747*2^1233254-1 is not prime. Res64: 4F364CC366BF6A29 Time : 0.0 sec. user=mdettweiler [2012-10-27 19:59:36] 753*2^1233254-1 is not prime. Res64: D13B48E67AF85844 Time : 0.0 sec. user=mdettweiler [2012-10-27 20:18:52] 833*2^1233254-1 is not prime. Res64: 52909EBC9F330325 Time : 0.0 sec. user=mdettweiler [2012-10-27 20:18:53] 861*2^1233254-1 is not prime. Res64: 1184C443AB1AC28E Time : 0.0 sec. user=vaughan [2012-10-27 20:20:02] 831*2^1233254-1 is not prime. Res64: B49EE768054F7C96 Time : 0.0 sec. user=mdettweiler [2012-10-27 20:20:24] 951*2^1233254-1 is not prime. Res64: C96C20E4FF7625E9 Time : 0.0 sec. user=mdettweiler [2012-10-27 20:20:25] 649*2^1233255-1 is not prime. Res64: E46D54C9F0B8C6AB Time : 0.0 sec. user=mdettweiler [2012-10-27 20:39:50] 663*2^1233255-1 is not prime. Res64: 6CB0F0414580DABC Time : 0.0 sec. user=mdettweiler [2012-10-27 20:39:51] 775*2^1233255-1 is not prime. Res64: 5C02EFEE10506024 Time : 0.0 sec. user=mdettweiler [2012-10-27 20:41:15] 951*2^1233255-1 is not prime. Res64: 56D3B917822E3541 Time : 0.0 sec. user=mdettweiler [2012-10-27 20:41:15] 617*2^1233256-1 is not prime. Res64: B04CF6E1EF30DA3B Time : 0.0 sec. user=vaughan [2012-10-27 20:57:46] 919*2^1233255-1 is not prime. Res64: 9854237CB722B140 Time : 0.0 sec. user=mdettweiler [2012-10-27 21:00:43] 639*2^1233256-1 is not prime. Res64: 0AE818B78A5A5263 Time : 0.0 sec. user=mdettweiler [2012-10-27 21:00:45] 645*2^1233256-1 is not prime. Res64: 56D72509869D8517 Time : 0.0 sec. user=mdettweiler [2012-10-27 21:02:08] 663*2^1233256-1 is not prime. Res64: 6A86D402480081C9 Time : 0.0 sec. user=mdettweiler [2012-10-27 21:02:10] 777*2^1233256-1 is not prime. Res64: 2BDB53293E8AF6D0 Time : 0.0 sec. user=mdettweiler [2012-10-27 21:21:32] 825*2^1233256-1 is not prime. Res64: C55A5132EB1D669B Time : 0.0 sec. user=mdettweiler [2012-10-27 21:21:33] 839*2^1233256-1 is not prime. Res64: 3BF972D37E5EC264 Time : 0.0 sec. user=mdettweiler [2012-10-27 21:22:58] 875*2^1233256-1 is not prime. Res64: 39F96176B25D5C69 Time : 0.0 sec. user=mdettweiler [2012-10-27 21:22:59] 983*2^1233256-1 is not prime. Res64: B09AA3C6BA5AF38A Time : 0.0 sec. user=vaughan [2012-10-27 21:35:34] 803*2^1233256-1 is not prime. Res64: 81F656FCEA4A8CB1 Time : 0.0 sec. user=mdettweiler [2012-10-27 21:42:22] 697*2^1233257-1 is not prime. Res64: 82A53E43B65568F8 Time : 0.0 sec. user=mdettweiler [2012-10-27 21:42:22] 717*2^1233257-1 is not prime. Res64: 50C25BD6D1B4FF85 Time : 0.0 sec. user=mdettweiler [2012-10-27 21:43:47] 747*2^1233257-1 is not prime. Res64: 88BEE31B8199A12B Time : 0.0 sec. user=mdettweiler [2012-10-27 21:43:47] 885*2^1233257-1 is not prime. Res64: 62CB5424A988A390 Time : 0.0 sec. user=mdettweiler [2012-10-27 22:03:09] 939*2^1233257-1 is not prime. Res64: 5F934197A7C00998 Time : 0.0 sec. user=mdettweiler [2012-10-27 22:03:10] 681*2^1233258-1 is not prime. Res64: 784F9BEECB957A12 Time : 0.0 sec. user=mdettweiler [2012-10-27 22:04:32] 683*2^1233258-1 is not prime. Res64: 4AC945097B05A854 Time : 0.0 sec. user=mdettweiler [2012-10-27 22:04:35] 731*2^1233258-1 is not prime. Res64: 5FA84EB6B2D24F42 Time : 0.0 sec. user=vaughan [2012-10-27 22:13:23] 909*2^1233257-1 is not prime. Res64: B908FE9957789194 Time : 0.0 sec. user=mdettweiler [2012-10-27 22:23:59] 767*2^1233258-1 is not prime. Res64: B23E6E3D256542D1 Time : 0.0 sec. user=mdettweiler [2012-10-27 22:24:00] 905*2^1233258-1 is not prime. Res64: 718820358AF866E0 Time : 0.0 sec. user=mdettweiler [2012-10-27 22:25:26] 977*2^1233258-1 is not prime. Res64: F73A07F1C85E142D Time : 0.0 sec. user=mdettweiler [2012-10-27 22:25:26] 633*2^1233259-1 is not prime. Res64: D2397FA509734F3F Time : 0.0 sec. user=mdettweiler [2012-10-27 22:44:45] 741*2^1233259-1 is not prime. Res64: 3EC25A0A2CEE1830 Time : 0.0 sec. user=mdettweiler [2012-10-27 22:44:45] 745*2^1233259-1 is not prime. Res64: AD738CED2B51D52A Time : 0.0 sec. user=mdettweiler [2012-10-27 22:46:11] 913*2^1233259-1 is not prime. Res64: A610696CD15E24DE Time : 0.0 sec. user=mdettweiler [2012-10-27 22:46:11] 919*2^1233259-1 is not prime. Res64: 396F902CEDB68E7D Time : 0.0 sec. user=vaughan [2012-10-27 22:51:17] 645*2^1233259-1 is not prime. Res64: E7D91FBFCABFA1A8 Time : 0.0 sec. user=mdettweiler [2012-10-27 23:05:30] 985*2^1233259-1 is not prime. Res64: 568832DDDC057192 Time : 0.0 sec. user=mdettweiler [2012-10-27 23:05:31] 633*2^1233260-1 is not prime. Res64: 2FEFCA869ECC522B Time : 0.0 sec. user=mdettweiler [2012-10-27 23:06:55] 719*2^1233260-1 is not prime. Res64: EB51BE24A7E639CA Time : 0.0 sec. user=mdettweiler [2012-10-27 23:06:56] 819*2^1233260-1 is not prime. Res64: 445D2E6B9EFFE7A8 Time : 0.0 sec. user=mdettweiler [2012-10-27 23:26:16] 959*2^1233260-1 is not prime. Res64: DEB2071CCDB8919D Time : 0.0 sec. user=mdettweiler [2012-10-27 23:26:17] 727*2^1233261-1 is not prime. Res64: F59A89DEFA24E099 Time : 0.0 sec. user=mdettweiler [2012-10-27 23:27:40] 907*2^1233261-1 is not prime. Res64: 8605FE6142984A8C Time : 0.0 sec. user=mdettweiler [2012-10-27 23:27:41] 975*2^1233261-1 is not prime. Res64: AD16F9C34CA5E167 Time : 0.0 sec. user=vaughan [2012-10-27 23:29:05] 845*2^1233260-1 is not prime. Res64: FFC73BAD2FB6FEF5 Time : 0.0 sec. user=mdettweiler [2012-10-27 23:47:00] 997*2^1233261-1 is not prime. Res64: 9978A79B290FA1A7 Time : 0.0 sec. user=mdettweiler [2012-10-27 23:47:00] 681*2^1233262-1 is not prime. Res64: 9CBAABFAAAD3BB9B Time : 0.0 sec. user=mdettweiler [2012-10-27 23:48:23] 855*2^1233262-1 is not prime. Res64: C4A8E7F6A9126D83 Time : 0.0 sec. user=mdettweiler [2012-10-27 23:48:24] 881*2^1233262-1 is not prime. Res64: 029A0393834D5866 Time : 0.0 sec.