user=mdettweiler [2013-09-16 00:01:48] 765*2^1253373-1 is not prime. Res64: 59E0FC530E046710 Time : 0.0 sec. user=mdettweiler [2013-09-16 00:01:48] 795*2^1253373-1 is not prime. Res64: BAA5F4CC3A68B579 Time : 0.0 sec. user=mdettweiler [2013-09-16 00:16:56] 955*2^1253373-1 is not prime. Res64: 15B2392CA30C08F0 Time : 0.0 sec. user=mdettweiler [2013-09-16 00:16:57] 969*2^1253373-1 is not prime. Res64: 1FA9F0F39C62468E Time : 0.0 sec. user=mdettweiler [2013-09-16 00:20:39] 635*2^1253374-1 is not prime. Res64: 63F20890299F70CD Time : 0.0 sec. user=mdettweiler [2013-09-16 00:20:39] 717*2^1253374-1 is not prime. Res64: AAB4A5897E1E5DE6 Time : 0.0 sec. user=mdettweiler [2013-09-16 00:21:27] 987*2^1253373-1 is not prime. Res64: 9DC5F9117C6E32DA Time : 0.0 sec. user=mdettweiler [2013-09-16 00:21:27] 605*2^1253374-1 is not prime. Res64: E63E911E8CCEEB7A Time : 0.0 sec. user=mdettweiler [2013-09-16 00:23:46] 915*2^1253374-1 is not prime. Res64: 2B9C7C2A06DB27D8 Time : 0.0 sec. user=mdettweiler [2013-09-16 00:23:46] 981*2^1253374-1 is not prime. Res64: 3BD2997DBD1E001E Time : 0.0 sec. user=mdettweiler [2013-09-16 00:36:56] 649*2^1253375-1 is not prime. Res64: 021CAF9AFC555303 Time : 0.0 sec. user=mdettweiler [2013-09-16 00:36:56] 651*2^1253375-1 is not prime. Res64: 9FA756CD7E345159 Time : 0.0 sec. user=mdettweiler [2013-09-16 00:40:32] 685*2^1253375-1 is not prime. Res64: E502CD113D7F83A7 Time : 0.0 sec. user=mdettweiler [2013-09-16 00:40:32] 831*2^1253375-1 is not prime. Res64: F97D01BDA565E632 Time : 0.0 sec. user=mdettweiler [2013-09-16 00:42:18] 841*2^1253375-1 is not prime. Res64: 8C603719AC5B8E84 Time : 0.0 sec. user=mdettweiler [2013-09-16 00:42:18] 979*2^1253375-1 is not prime. Res64: 2031A694D8844F4B Time : 0.0 sec. user=mdettweiler [2013-09-16 00:43:35] 669*2^1253376-1 is not prime. Res64: E092FBA859678C29 Time : 0.0 sec. user=mdettweiler [2013-09-16 00:43:35] 705*2^1253376-1 is not prime. Res64: AAE501FFEDD17D5D Time : 0.0 sec. user=mdettweiler [2013-09-16 00:56:49] 789*2^1253376-1 is not prime. Res64: 6E63F07AA653F5C8 Time : 0.0 sec. user=mdettweiler [2013-09-16 00:56:49] 809*2^1253376-1 is not prime. Res64: B54E0A062AF475E7 Time : 0.0 sec. user=mdettweiler [2013-09-16 01:02:17] 945*2^1253376-1 is not prime. Res64: 9B2FA540C33DE952 Time : 0.0 sec. user=mdettweiler [2013-09-16 01:02:18] 975*2^1253376-1 is not prime. Res64: 2C7E2751469FCE38 Time : 0.0 sec. user=mdettweiler [2013-09-16 01:03:09] 999*2^1253376-1 is not prime. Res64: FFD83893A13351D9 Time : 0.0 sec. user=mdettweiler [2013-09-16 01:03:10] 619*2^1253377-1 is not prime. Res64: E3B20977E0EB5B09 Time : 0.0 sec. user=mdettweiler [2013-09-16 01:03:29] 625*2^1253377-1 is not prime. Res64: B59DD2CE0103BE1D Time : 0.0 sec. user=mdettweiler [2013-09-16 01:03:30] 741*2^1253377-1 is not prime. Res64: 2B301E3A68DC4E67 Time : 0.0 sec. user=mdettweiler [2013-09-16 01:16:38] 777*2^1253377-1 is not prime. Res64: 5C9BE56081163269 Time : 0.0 sec. user=mdettweiler [2013-09-16 01:16:38] 849*2^1253377-1 is not prime. Res64: A5D0260AC0EAE844 Time : 0.0 sec. user=mdettweiler [2013-09-16 01:23:25] 801*2^1253378-1 is not prime. Res64: 4F4130C6E05FA0BF Time : 0.0 sec. user=mdettweiler [2013-09-16 01:23:25] 837*2^1253378-1 is not prime. Res64: D90152D522D052F4 Time : 0.0 sec. user=mdettweiler [2013-09-16 01:23:57] 957*2^1253377-1 is not prime. Res64: 333FE4DACC627C6F Time : 0.0 sec. user=mdettweiler [2013-09-16 01:23:57] 623*2^1253378-1 is not prime. Res64: B76B32DEC58CD643 Time : 0.0 sec. user=mdettweiler [2013-09-16 01:24:03] 871*2^1253377-1 is not prime. Res64: 8E42FB4A1C503BC1 Time : 0.0 sec. user=mdettweiler [2013-09-16 01:24:03] 915*2^1253377-1 is not prime. Res64: 8AB61028A9823781 Time : 0.0 sec. user=mdettweiler [2013-09-16 01:38:23] 887*2^1253378-1 is not prime. Res64: 4ADCE7916EFFE427 Time : 0.0 sec. user=mdettweiler [2013-09-16 01:38:24] 921*2^1253378-1 is not prime. Res64: 5F2C4164F60D10FC Time : 0.0 sec. user=mdettweiler [2013-09-16 01:44:48] 995*2^1253378-1 is not prime. Res64: 4CBF0D2BE93E1BAD Time : 0.0 sec. user=mdettweiler [2013-09-16 01:44:48] 613*2^1253379-1 is not prime. Res64: 94596554E8C376A4 Time : 0.0 sec. user=mdettweiler [2013-09-16 01:44:57] 891*2^1253379-1 is not prime. Res64: 215F298FE4DCBCF7 Time : 0.0 sec. user=mdettweiler [2013-09-16 01:44:58] 615*2^1253380-1 is not prime. Res64: C475086FA5BAB603 Time : 0.0 sec. user=mdettweiler [2013-09-16 01:45:08] 945*2^1253378-1 is not prime. Res64: 35C5CB2BEFFA85FC Time : 0.0 sec. user=mdettweiler [2013-09-16 01:45:08] 987*2^1253378-1 is not prime. Res64: 2553E3E3D841C717 Time : 0.0 sec. user=mdettweiler [2013-09-16 01:58:19] 647*2^1253380-1 is not prime. Res64: DBE86BB0AFB62119 Time : 0.0 sec. user=mdettweiler [2013-09-16 01:58:20] 653*2^1253380-1 is not prime. Res64: 946D7CF8D5B0CF24 Time : 0.0 sec. user=mdettweiler [2013-09-16 02:04:43] 707*2^1253380-1 is not prime. Res64: 8928524AB6D6858A Time : 0.0 sec. user=mdettweiler [2013-09-16 02:04:44] 719*2^1253380-1 is not prime. Res64: 5E69C58B1CEE3086 Time : 0.0 sec. user=mdettweiler [2013-09-16 02:04:55] 723*2^1253380-1 is not prime. Res64: D838816F031F4B21 Time : 0.0 sec. user=mdettweiler [2013-09-16 02:04:56] 743*2^1253380-1 is not prime. Res64: 29E633DFB8F88BBA Time : 0.0 sec. user=mdettweiler [2013-09-16 02:04:58] 773*2^1253380-1 is not prime. Res64: 0DCC02F45ACDBA69 Time : 0.0 sec. user=mdettweiler [2013-09-16 02:04:59] 855*2^1253380-1 is not prime. Res64: 0310CA2252FF210D Time : 0.0 sec. user=mdettweiler [2013-09-16 02:19:05] 863*2^1253380-1 is not prime. Res64: 0ACBA66B7D57C7AE Time : 0.0 sec. user=mdettweiler [2013-09-16 02:19:06] 989*2^1253380-1 is not prime. Res64: 6D50B2391C67831F Time : 0.0 sec. user=mdettweiler [2013-09-16 02:24:42] 611*2^1253382-1 is not prime. Res64: 9A29BA2831102054 Time : 0.0 sec. user=mdettweiler [2013-09-16 02:24:42] 621*2^1253382-1 is not prime. Res64: 41187997F03FCBF7 Time : 0.0 sec. user=mdettweiler [2013-09-16 02:24:54] 693*2^1253382-1 is not prime. Res64: BE32CDCC0B8ADCA7 Time : 0.0 sec. user=mdettweiler [2013-09-16 02:24:54] 797*2^1253382-1 is not prime. Res64: CFCB8B57A76E85F7 Time : 0.0 sec. user=mdettweiler [2013-09-16 02:26:29] 879*2^1253381-1 is not prime. Res64: 9CFCFDB856CDEC30 Time : 0.0 sec. user=mdettweiler [2013-09-16 02:26:29] 901*2^1253381-1 is not prime. Res64: 058D3D195DF03C01 Time : 0.0 sec. user=mdettweiler [2013-09-16 02:39:04] 815*2^1253382-1 is not prime. Res64: 92AD4421F84301A0 Time : 0.0 sec. user=mdettweiler [2013-09-16 02:39:06] 833*2^1253382-1 is not prime. Res64: 0ED2EB3ED9D1F314 Time : 0.0 sec. user=mdettweiler [2013-09-16 02:44:49] 673*2^1253383-1 is not prime. Res64: F7FF0A05AC50849E Time : 0.0 sec. user=mdettweiler [2013-09-16 02:44:50] 805*2^1253383-1 is not prime. Res64: F65B88DD5069E511 Time : 0.0 sec. user=mdettweiler [2013-09-16 02:46:27] 867*2^1253382-1 is not prime. Res64: EA1508F5BC60307F Time : 0.0 sec. user=mdettweiler [2013-09-16 02:46:28] 917*2^1253382-1 is not prime. Res64: 30F56DE71AE85E10 Time : 0.0 sec. user=mdettweiler [2013-09-16 02:48:13] 915*2^1253383-1 is not prime. Res64: 42775675C198979F Time : 0.0 sec. user=mdettweiler [2013-09-16 02:48:14] 919*2^1253383-1 is not prime. Res64: 0719EC61495B55A9 Time : 0.0 sec. user=mdettweiler [2013-09-16 03:00:07] 961*2^1253383-1 is not prime. Res64: 15815057FD7F55F7 Time : 0.0 sec. user=mdettweiler [2013-09-16 03:00:07] 657*2^1253384-1 is not prime. Res64: 9B8729DEE2AECA4C Time : 0.0 sec. user=mdettweiler [2013-09-16 03:04:41] 819*2^1253384-1 is not prime. Res64: 8C45E067482A2CF4 Time : 0.0 sec. user=mdettweiler [2013-09-16 03:04:42] 827*2^1253384-1 is not prime. Res64: 3E8D7E44D1105274 Time : 0.0 sec. user=mdettweiler [2013-09-16 03:07:14] 833*2^1253384-1 is not prime. Res64: DCED6A41FD1E3C07 Time : 0.0 sec. user=mdettweiler [2013-09-16 03:07:14] 869*2^1253384-1 is not prime. Res64: BAF04D6B0A31850B Time : 0.0 sec. user=mdettweiler [2013-09-16 03:09:59] 873*2^1253384-1 is not prime. Res64: 489595B4BC7DE484 Time : 0.0 sec. user=mdettweiler [2013-09-16 03:10:00] 915*2^1253384-1 is not prime. Res64: 086807E6AFA631E3 Time : 0.0 sec. user=mdettweiler [2013-09-16 03:20:03] 691*2^1253385-1 is not prime. Res64: DCB19870A7F53203 Time : 0.0 sec. user=mdettweiler [2013-09-16 03:20:03] 717*2^1253385-1 is not prime. Res64: 006E176172DE1CA0 Time : 0.0 sec. user=mdettweiler [2013-09-16 03:24:36] 805*2^1253385-1 is not prime. Res64: 516844CE92B17604 Time : 0.0 sec. user=mdettweiler [2013-09-16 03:24:36] 831*2^1253385-1 is not prime. Res64: ECA08106E0207A3B Time : 0.0 sec. user=mdettweiler [2013-09-16 03:27:59] 889*2^1253385-1 is not prime. Res64: C526397BEC1C82AB Time : 0.0 sec. user=mdettweiler [2013-09-16 03:28:00] 611*2^1253386-1 is not prime. Res64: 160761C3D0ADFA12 Time : 0.0 sec. user=mdettweiler [2013-09-16 03:29:53] 747*2^1253386-1 is not prime. Res64: 86478EF383651AFD Time : 0.0 sec. user=mdettweiler [2013-09-16 03:29:53] 755*2^1253386-1 is not prime. Res64: EF086547A6B99F52 Time : 0.0 sec. user=mdettweiler [2013-09-16 03:41:51] 923*2^1253386-1 is not prime. Res64: 1ECD353DF16E5BE5 Time : 0.0 sec. user=mdettweiler [2013-09-16 03:41:51] 933*2^1253386-1 is not prime. Res64: DCFB5373AAD8C22A Time : 0.0 sec. user=mdettweiler [2013-09-16 03:46:28] 975*2^1253386-1 is not prime. Res64: 66E814FFC8E58C35 Time : 0.0 sec. user=mdettweiler [2013-09-16 03:46:28] 993*2^1253386-1 is not prime. Res64: E22A0BE6F622E337 Time : 0.0 sec. user=mdettweiler [2013-09-16 03:48:15] 619*2^1253387-1 is not prime. Res64: 3AB19C44000EEEE9 Time : 0.0 sec. user=mdettweiler [2013-09-16 03:48:16] 645*2^1253387-1 is not prime. Res64: 5114178FBD240EC3 Time : 0.0 sec. user=mdettweiler [2013-09-16 03:49:56] 669*2^1253387-1 is not prime. Res64: 6C32E0F140E6BB30 Time : 0.0 sec. user=mdettweiler [2013-09-16 03:49:56] 685*2^1253387-1 is not prime. Res64: 6EB2F08545BF4C22 Time : 0.0 sec. user=mdettweiler [2013-09-16 04:01:46] 741*2^1253387-1 is not prime. Res64: 6E2DAA2BA0B276C5 Time : 0.0 sec. user=mdettweiler [2013-09-16 04:01:46] 801*2^1253387-1 is not prime. Res64: 91C2CDE2FFE0FC1B Time : 0.0 sec. user=mdettweiler [2013-09-16 04:07:20] 805*2^1253387-1 is not prime. Res64: B0E7B26CC1265487 Time : 0.0 sec. user=mdettweiler [2013-09-16 04:07:21] 883*2^1253387-1 is not prime. Res64: 6201B730AEADB69C Time : 0.0 sec. user=mdettweiler [2013-09-16 04:09:05] 885*2^1253387-1 is not prime. Res64: A5B39EB142559056 Time : 0.0 sec. user=mdettweiler [2013-09-16 04:09:05] 629*2^1253388-1 is not prime. Res64: 0566931A5BF04D4E Time : 0.0 sec. user=mdettweiler [2013-09-16 04:09:47] 633*2^1253388-1 is not prime. Res64: 2FD9EE8670D59AA4 Time : 0.0 sec. user=mdettweiler [2013-09-16 04:09:48] 797*2^1253388-1 is not prime. Res64: 24553F2C4495F07F Time : 0.0 sec. user=mdettweiler [2013-09-16 04:21:47] 803*2^1253388-1 is not prime. Res64: 020A6AE2EC735833 Time : 0.0 sec. user=mdettweiler [2013-09-16 04:21:48] 601*2^1253389-1 is not prime. Res64: 7B95E41CD3A78622 Time : 0.0 sec. user=mdettweiler [2013-09-16 04:27:05] 615*2^1253389-1 is not prime. Res64: 014536E442ACA008 Time : 0.0 sec. user=mdettweiler [2013-09-16 04:27:05] 747*2^1253389-1 is not prime. Res64: 16344EAA06EE7D16 Time : 0.0 sec. user=mdettweiler [2013-09-16 04:28:54] 769*2^1253389-1 is not prime. Res64: FEBD12B3B6EDEA0A Time : 0.0 sec. user=mdettweiler [2013-09-16 04:28:54] 817*2^1253389-1 is not prime. Res64: 74154BB24150BEE3 Time : 0.0 sec. user=mdettweiler [2013-09-16 04:29:34] 603*2^1253390-1 is not prime. Res64: 519BCD42A1E93B58 Time : 0.0 sec. user=mdettweiler [2013-09-16 04:29:34] 731*2^1253390-1 is not prime. Res64: 784F55BF9FE67AA2 Time : 0.0 sec. user=mdettweiler [2013-09-16 04:42:31] 861*2^1253390-1 is not prime. Res64: 9EB8C5B4C31B9A33 Time : 0.0 sec. user=mdettweiler [2013-09-16 04:42:31] 911*2^1253390-1 is not prime. Res64: 585F64B3675F931F Time : 0.0 sec. user=mdettweiler [2013-09-16 04:47:47] 945*2^1253390-1 is not prime. Res64: A78B1F923D48DA51 Time : 0.0 sec. user=mdettweiler [2013-09-16 04:47:47] 609*2^1253391-1 is not prime. Res64: 1173210243194772 Time : 0.0 sec. user=mdettweiler [2013-09-16 04:48:39] 661*2^1253391-1 is not prime. Res64: CBB47C8BF7FD20CA Time : 0.0 sec. user=mdettweiler [2013-09-16 04:48:39] 739*2^1253391-1 is not prime. Res64: BF142B8C422DC23B Time : 0.0 sec. user=mdettweiler [2013-09-16 04:49:18] 781*2^1253391-1 is not prime. Res64: 090C8CF412A6D2FF Time : 0.0 sec. user=mdettweiler [2013-09-16 04:49:19] 783*2^1253391-1 is not prime. Res64: 21C95C16BBB0B2C7 Time : 0.0 sec. user=mdettweiler [2013-09-16 05:04:17] 865*2^1253391-1 is not prime. Res64: 99C6ED64ABBC480B Time : 0.0 sec. user=mdettweiler [2013-09-16 05:04:18] 879*2^1253391-1 is not prime. Res64: 9D75681533EF4151 Time : 0.0 sec. user=mdettweiler [2013-09-16 05:08:23] 705*2^1253392-1 is not prime. Res64: BB96C998541E22C8 Time : 0.0 sec. user=mdettweiler [2013-09-16 05:08:23] 657*2^1253393-1 is not prime. Res64: 169383FE13BE5D02 Time : 0.0 sec. user=mdettweiler [2013-09-16 05:09:03] 691*2^1253393-1 is not prime. Res64: 445047DC57014B9E Time : 0.0 sec. user=mdettweiler [2013-09-16 05:09:03] 747*2^1253393-1 is not prime. Res64: AF2E8E5C717D4C07 Time : 0.0 sec. user=mdettweiler [2013-09-16 05:09:27] 949*2^1253391-1 is not prime. Res64: A090AB5EB9885E52 Time : 0.0 sec. user=mdettweiler [2013-09-16 05:09:27] 955*2^1253391-1 is not prime. Res64: 299BBB1A4194A8DF Time : 0.0 sec. user=mdettweiler [2013-09-16 05:24:10] 789*2^1253393-1 is not prime. Res64: 87DFFD62283C35FA Time : 0.0 sec. user=mdettweiler [2013-09-16 05:24:11] 829*2^1253393-1 is not prime. Res64: 11493AE77B79D000 Time : 0.0 sec. user=mdettweiler [2013-09-16 05:28:53] 651*2^1253394-1 is not prime. Res64: DF5663929D7E05B4 Time : 0.0 sec. user=mdettweiler [2013-09-16 05:28:53] 657*2^1253394-1 is not prime. Res64: 43448673EB551E66 Time : 0.0 sec. user=mdettweiler [2013-09-16 05:29:09] 831*2^1253393-1 is not prime. Res64: 1D22564389A68AAB Time : 0.0 sec. user=mdettweiler [2013-09-16 05:29:09] 981*2^1253393-1 is not prime. Res64: 44A2F877072A4277 Time : 0.0 sec. user=mdettweiler [2013-09-16 05:31:07] 885*2^1253394-1 is not prime. Res64: 0BD6F2CC702BF15A Time : 0.0 sec. user=mdettweiler [2013-09-16 05:31:07] 927*2^1253394-1 is not prime. Res64: 68BFAA53A8C14A60 Time : 0.0 sec. user=mdettweiler [2013-09-16 05:45:00] 941*2^1253394-1 is not prime. Res64: 794C33AF68E51E93 Time : 0.0 sec. user=mdettweiler [2013-09-16 05:45:00] 699*2^1253395-1 is not prime. Res64: 69A5FF1C112D76EB Time : 0.0 sec. user=mdettweiler [2013-09-16 05:48:44] 741*2^1253395-1 is not prime. Res64: 4536406E8D442205 Time : 0.0 sec. user=mdettweiler [2013-09-16 05:48:44] 793*2^1253395-1 is not prime. Res64: BE3F2BF1C3873A33 Time : 0.0 sec. user=mdettweiler [2013-09-16 05:49:53] 819*2^1253395-1 is not prime. Res64: B573010A4E19F698 Time : 0.0 sec. user=mdettweiler [2013-09-16 05:49:54] 951*2^1253395-1 is not prime. Res64: 63BA592CF0FDEB72 Time : 0.0 sec. user=mdettweiler [2013-09-16 05:51:55] 969*2^1253395-1 is not prime. Res64: 25AAF5F1E7D227F6 Time : 0.0 sec. user=mdettweiler [2013-09-16 05:51:55] 603*2^1253396-1 is not prime. Res64: D0C67B387EDB2D16 Time : 0.0 sec. user=mdettweiler [2013-09-16 06:05:42] 615*2^1253396-1 is not prime. Res64: A3758B1B8A8B9469 Time : 0.0 sec. user=mdettweiler [2013-09-16 06:05:42] 963*2^1253396-1 is not prime. Res64: E723814A10251D0F Time : 0.0 sec. user=mdettweiler [2013-09-16 06:08:24] 669*2^1253397-1 is not prime. Res64: 385D9B2FEC419BF1 Time : 0.0 sec. user=mdettweiler [2013-09-16 06:08:24] 699*2^1253397-1 is not prime. Res64: CB3750F7E9FFD6BD Time : 0.0 sec. user=mdettweiler [2013-09-16 06:09:41] 709*2^1253397-1 is not prime. Res64: 5A1875517B44E566 Time : 0.0 sec. user=mdettweiler [2013-09-16 06:09:42] 825*2^1253397-1 is not prime. Res64: A1826B40B351CB15 Time : 0.0 sec. user=mdettweiler [2013-09-16 06:12:40] 835*2^1253397-1 is not prime. Res64: 15275711B66540F3 Time : 0.0 sec. user=mdettweiler [2013-09-16 06:12:41] 885*2^1253397-1 is not prime. Res64: C380EE51B01A474A Time : 0.0 sec. user=mdettweiler [2013-09-16 06:27:25] 937*2^1253397-1 is not prime. Res64: BB4FE3F83D80287A Time : 0.0 sec. user=mdettweiler [2013-09-16 06:27:26] 979*2^1253397-1 is not prime. Res64: C2282ED87B3BA629 Time : 0.0 sec. user=mdettweiler [2013-09-16 06:28:16] 677*2^1253398-1 is not prime. Res64: 6E65D74A01EF9300 Time : 0.0 sec. user=mdettweiler [2013-09-16 06:28:16] 743*2^1253398-1 is not prime. Res64: 1C8D5C384361B05C Time : 0.0 sec. user=mdettweiler [2013-09-16 06:29:33] 777*2^1253398-1 is not prime. Res64: A3C3295456AB22E4 Time : 0.0 sec. user=mdettweiler [2013-09-16 06:29:34] 827*2^1253398-1 is not prime. Res64: 033DD1F575167C6B Time : 0.0 sec. user=mdettweiler [2013-09-16 06:32:33] 833*2^1253398-1 is not prime. Res64: C5FB9885196ED6B0 Time : 0.0 sec. user=mdettweiler [2013-09-16 06:32:34] 857*2^1253398-1 is not prime. Res64: 331860DB1B1A02F5 Time : 0.0 sec. user=mdettweiler [2013-09-16 06:47:12] 609*2^1253399-1 is not prime. Res64: 1E811BF7CE10E7A3 Time : 0.0 sec. user=mdettweiler [2013-09-16 06:47:12] 621*2^1253399-1 is not prime. Res64: 58EAB0DB9D0FA4BB Time : 0.0 sec. user=mdettweiler [2013-09-16 06:48:03] 753*2^1253399-1 is not prime. Res64: 55B26106FDA45C4C Time : 0.0 sec. user=mdettweiler [2013-09-16 06:48:04] 855*2^1253399-1 is not prime. Res64: 7435D2D74FC1103C Time : 0.0 sec. user=mdettweiler [2013-09-16 06:50:22] 985*2^1253399-1 is not prime. Res64: 1FBA4FFBC8846F45 Time : 0.0 sec. user=mdettweiler [2013-09-16 06:50:22] 629*2^1253400-1 is not prime. Res64: F1D2A52D9F139A9B Time : 0.0 sec. user=mdettweiler [2013-09-16 06:52:26] 689*2^1253400-1 is not prime. Res64: 08D769CD57E03A7E Time : 0.0 sec. user=mdettweiler [2013-09-16 06:52:27] 723*2^1253400-1 is not prime. Res64: 8726E54BE9E80A0E Time : 0.0 sec. user=mdettweiler [2013-09-16 07:07:04] 843*2^1253400-1 is not prime. Res64: B39076318554B416 Time : 0.0 sec. user=mdettweiler [2013-09-16 07:07:05] 849*2^1253400-1 is not prime. Res64: 2E1785F891074A54 Time : 0.0 sec. user=mdettweiler [2013-09-16 07:08:52] 863*2^1253400-1 is not prime. Res64: D30662D2DDD74B27 Time : 0.0 sec. user=mdettweiler [2013-09-16 07:08:52] 899*2^1253400-1 is not prime. Res64: 42EAE39FD3225F63 Time : 0.0 sec. user=mdettweiler [2013-09-16 07:10:10] 639*2^1253401-1 is not prime. Res64: 965D3B5AF095028B Time : 0.0 sec. user=mdettweiler [2013-09-16 07:10:10] 687*2^1253401-1 is not prime. Res64: B4A4AE861198A7D8 Time : 0.0 sec. user=mdettweiler [2013-09-16 07:13:15] 691*2^1253401-1 is not prime. Res64: 313752FF2333DD06 Time : 0.0 sec. user=mdettweiler [2013-09-16 07:13:16] 877*2^1253401-1 is not prime. Res64: B54C253F20323EE2 Time : 0.0 sec. user=mdettweiler [2013-09-16 07:28:52] 979*2^1253401-1 is not prime. Res64: C89890EF9E72E53D Time : 0.0 sec. user=mdettweiler [2013-09-16 07:28:52] 987*2^1253401-1 is not prime. Res64: 5261A49C59570491 Time : 0.0 sec. user=mdettweiler [2013-09-16 07:29:43] 997*2^1253401-1 is not prime. Res64: BB785D103F490924 Time : 0.0 sec. user=mdettweiler [2013-09-16 07:29:43] 657*2^1253402-1 is not prime. Res64: E14F52289E053DC3 Time : 0.0 sec. user=mdettweiler [2013-09-16 07:31:53] 873*2^1253402-1 is not prime. Res64: 8B83B73793D2DBC7 Time : 0.0 sec. user=mdettweiler [2013-09-16 07:31:53] 885*2^1253402-1 is not prime. Res64: 7835C18DC1A4A110 Time : 0.0 sec. user=mdettweiler [2013-09-16 07:34:59] 893*2^1253402-1 is not prime. Res64: 34C677F3117005D7 Time : 0.0 sec. user=mdettweiler [2013-09-16 07:34:59] 923*2^1253402-1 is not prime. Res64: A1429376E14571DC Time : 0.0 sec. user=mdettweiler [2013-09-16 07:48:38] 723*2^1253403-1 is not prime. Res64: 15778A9E764D5A43 Time : 0.0 sec. user=mdettweiler [2013-09-16 07:48:38] 795*2^1253403-1 is not prime. Res64: C76F5907C9404E65 Time : 0.0 sec. user=mdettweiler [2013-09-16 07:49:31] 801*2^1253403-1 is not prime. Res64: C863D474285A5C85 Time : 0.0 sec. user=mdettweiler [2013-09-16 07:49:31] 829*2^1253403-1 is not prime. Res64: 3353FF4CB5570677 Time : 0.0 sec. user=mdettweiler [2013-09-16 07:52:41] 853*2^1253403-1 is not prime. Res64: 30B433DA12E5486E Time : 0.0 sec. user=mdettweiler [2013-09-16 07:52:41] 991*2^1253403-1 is not prime. Res64: AD15CCC31F7E2E09 Time : 0.0 sec. user=mdettweiler [2013-09-16 07:54:48] 695*2^1253404-1 is not prime. Res64: EF4697B8083E2259 Time : 0.0 sec. user=mdettweiler [2013-09-16 07:54:48] 729*2^1253404-1 is not prime. Res64: 118C9FC36FAF0046 Time : 0.0 sec. user=mdettweiler [2013-09-16 08:09:18] 759*2^1253404-1 is not prime. Res64: 1B9E359170E6687C Time : 0.0 sec. user=mdettweiler [2013-09-16 08:09:19] 939*2^1253404-1 is not prime. Res64: A7818619224E11E1 Time : 0.0 sec. user=mdettweiler [2013-09-16 08:10:18] 969*2^1253404-1 is not prime. Res64: 75A172A6395A7431 Time : 0.0 sec. user=mdettweiler [2013-09-16 08:10:19] 645*2^1253405-1 is not prime. Res64: 11135F6BE98073F0 Time : 0.0 sec. user=mdettweiler [2013-09-16 08:12:33] 799*2^1253405-1 is not prime. Res64: D5B3D5565E3D90C6 Time : 0.0 sec. user=mdettweiler [2013-09-16 08:12:33] 805*2^1253405-1 is not prime. Res64: 26FA0787E7A7B9DF Time : 0.0 sec. user=mdettweiler [2013-09-16 08:16:25] 867*2^1253405-1 is not prime. Res64: FBDBE115A21CD6CB Time : 0.0 sec. user=mdettweiler [2013-09-16 08:16:26] 885*2^1253405-1 is not prime. Res64: AEEB71CD9928B7F1 Time : 0.0 sec. user=mdettweiler [2013-09-16 08:29:07] 711*2^1253406-1 is not prime. Res64: 0CA6FC9C30FD6901 Time : 0.0 sec. user=mdettweiler [2013-09-16 08:29:07] 777*2^1253406-1 is not prime. Res64: EE335FD04B91F61E Time : 0.0 sec. user=mdettweiler [2013-09-16 08:30:15] 807*2^1253406-1 is not prime. Res64: BB7AA1DB05296A08 Time : 0.0 sec. user=mdettweiler [2013-09-16 08:30:16] 825*2^1253406-1 is not prime. Res64: 029DAE5CA90EB41C Time : 0.0 sec. user=mdettweiler [2013-09-16 08:34:40] 873*2^1253406-1 is not prime. Res64: 9EC6FC6AE3E622C4 Time : 0.0 sec. user=mdettweiler [2013-09-16 08:34:41] 893*2^1253406-1 is not prime. Res64: 64A3FB7FE224BA80 Time : 0.0 sec. user=mdettweiler [2013-09-16 08:38:45] 933*2^1253406-1 is not prime. Res64: F395E215AFE2F0DE Time : 0.0 sec. user=mdettweiler [2013-09-16 08:38:45] 1001*2^1253406-1 is not prime. Res64: E00DCC1DB6AA862F Time : 0.0 sec. user=mdettweiler [2013-09-16 08:50:12] 715*2^1253407-1 is not prime. Res64: D9627D74B90FF388 Time : 0.0 sec. user=mdettweiler [2013-09-16 08:50:13] 793*2^1253407-1 is not prime. Res64: BAC537458A0F35D8 Time : 0.0 sec. user=mdettweiler [2013-09-16 08:51:33] 841*2^1253407-1 is not prime. Res64: 2ABC69294DCB09A0 Time : 0.0 sec. user=mdettweiler [2013-09-16 08:51:33] 683*2^1253408-1 is not prime. Res64: 9728823F8613712C Time : 0.0 sec. user=mdettweiler [2013-09-16 08:55:49] 789*2^1253408-1 is not prime. Res64: 4B3AC6D5E7EAE465 Time : 0.0 sec. user=mdettweiler [2013-09-16 08:55:50] 839*2^1253408-1 is not prime. Res64: 205A5D56A6D53081 Time : 0.0 sec. user=mdettweiler [2013-09-16 09:01:05] 855*2^1253408-1 is not prime. Res64: 77E41D71C5266C46 Time : 0.0 sec. user=mdettweiler [2013-09-16 09:01:05] 879*2^1253408-1 is not prime. Res64: 1048868B8180DC15 Time : 0.0 sec. user=mdettweiler [2013-09-16 09:12:29] 609*2^1253409-1 is not prime. Res64: 516844026CD9310B Time : 0.0 sec. user=mdettweiler [2013-09-16 09:12:29] 681*2^1253409-1 is not prime. Res64: CD0733F2DE6E5CEA Time : 0.0 sec. user=mdettweiler [2013-09-16 09:13:37] 969*2^1253408-1 is not prime. Res64: 71BA0601B8C7D54E Time : 0.0 sec. user=mdettweiler [2013-09-16 09:13:37] 977*2^1253408-1 is not prime. Res64: 48865FFE6522A7D0 Time : 0.0 sec. user=mdettweiler [2013-09-16 09:16:36] 741*2^1253409-1 is not prime. Res64: 222B939F7070C500 Time : 0.0 sec. user=mdettweiler [2013-09-16 09:16:37] 747*2^1253409-1 is not prime. Res64: 3C8C986945945021 Time : 0.0 sec. user=mdettweiler [2013-09-16 09:21:51] 759*2^1253409-1 is not prime. Res64: AE850EB5FF8F2618 Time : 0.0 sec. user=mdettweiler [2013-09-16 09:21:51] 835*2^1253409-1 is not prime. Res64: F6351B314DA422E0 Time : 0.0 sec. user=mdettweiler [2013-09-16 09:33:43] 847*2^1253409-1 is not prime. Res64: B0D37913C58F70BC Time : 0.0 sec. user=mdettweiler [2013-09-16 09:33:43] 865*2^1253409-1 is not prime. Res64: 3B00DE0F6C9D6B3A Time : 0.0 sec. user=mdettweiler [2013-09-16 09:34:50] 867*2^1253409-1 is not prime. Res64: F9EC9EE487E23945 Time : 0.0 sec. user=mdettweiler [2013-09-16 09:34:51] 695*2^1253410-1 is not prime. Res64: 1DEF772203762989 Time : 0.0 sec. user=mdettweiler [2013-09-16 09:36:54] 731*2^1253410-1 is not prime. Res64: BFDE9E2A259F4F06 Time : 0.0 sec. user=mdettweiler [2013-09-16 09:36:55] 785*2^1253410-1 is not prime. Res64: 684A75F7CD32AF30 Time : 0.0 sec. user=mdettweiler [2013-09-16 09:44:06] 867*2^1253410-1 is not prime. Res64: 673256BA32EB7588 Time : 0.0 sec. user=mdettweiler [2013-09-16 09:44:06] 975*2^1253410-1 is not prime. Res64: B2398962723F0DDD Time : 0.0 sec. user=mdettweiler [2013-09-16 09:54:56] 987*2^1253410-1 is not prime. Res64: 29EAEB01B830512E Time : 0.0 sec. user=mdettweiler [2013-09-16 09:54:56] 675*2^1253411-1 is not prime. Res64: E48D49A518050043 Time : 0.0 sec. user=mdettweiler [2013-09-16 09:54:59] 759*2^1253411-1 is not prime. Res64: 1F9AFBCE8E53397E Time : 0.0 sec. user=mdettweiler [2013-09-16 09:55:00] 801*2^1253411-1 is not prime. Res64: 2295BC1C4464365C Time : 0.0 sec. user=mdettweiler [2013-09-16 09:58:22] 841*2^1253411-1 is not prime. Res64: 2D8B7BE041AA4DBE Time : 0.0 sec. user=mdettweiler [2013-09-16 09:58:22] 991*2^1253411-1 is not prime. Res64: C9BC0529F8B97088 Time : 0.0 sec. user=mdettweiler [2013-09-16 10:04:30] 777*2^1253412-1 is not prime. Res64: 64EE897336288808 Time : 0.0 sec. user=mdettweiler [2013-09-16 10:04:31] 803*2^1253412-1 is not prime. Res64: BF636649139333A6 Time : 0.0 sec. user=mdettweiler [2013-09-16 10:15:10] 609*2^1253413-1 is not prime. Res64: 23C0BC1A988D5013 Time : 0.0 sec. user=mdettweiler [2013-09-16 10:15:11] 699*2^1253413-1 is not prime. Res64: DDC454D4593BDDC0 Time : 0.0 sec. user=mdettweiler [2013-09-16 10:16:08] 819*2^1253412-1 is not prime. Res64: F3571115E4C0C3A8 Time : 0.0 sec. user=mdettweiler [2013-09-16 10:16:08] 915*2^1253412-1 is not prime. Res64: 442D888829AD2F59 Time : 0.0 sec. user=mdettweiler [2013-09-16 10:19:14] 765*2^1253413-1 is not prime. Res64: 6F8AFEF9D7436CEE Time : 0.0 sec. user=mdettweiler [2013-09-16 10:19:14] 915*2^1253413-1 is not prime. Res64: AAAC43C801ACB0F9 Time : 0.0 sec. user=mdettweiler [2013-09-16 10:26:16] 937*2^1253413-1 is not prime. Res64: 88E97A38EAECCD23 Time : 0.0 sec. user=mdettweiler [2013-09-16 10:26:16] 987*2^1253413-1 is not prime. Res64: FB3A6AF5F31F51BE Time : 0.0 sec. user=mdettweiler [2013-09-16 10:35:00] 705*2^1253414-1 is not prime. Res64: E37F27F81CA1EC8D Time : 0.0 sec. user=mdettweiler [2013-09-16 10:35:00] 717*2^1253414-1 is not prime. Res64: BCE711EF75B6D2BC Time : 0.0 sec. user=mdettweiler [2013-09-16 10:36:53] 851*2^1253414-1 is not prime. Res64: C95AD49ED83EC71E Time : 0.0 sec. user=mdettweiler [2013-09-16 10:36:53] 903*2^1253414-1 is not prime. Res64: BEE082FDFF284126 Time : 0.0 sec. user=mdettweiler [2013-09-16 10:40:57] 935*2^1253414-1 is not prime. Res64: A7EE5B2A2F8FB1FF Time : 0.0 sec. user=mdettweiler [2013-09-16 10:40:57] 995*2^1253414-1 is not prime. Res64: B6B620CC30702982 Time : 0.0 sec. user=mdettweiler [2013-09-16 10:46:05] 685*2^1253415-1 is not prime. Res64: E57563AC01249117 Time : 0.0 sec. user=mdettweiler [2013-09-16 10:46:05] 691*2^1253415-1 is not prime. Res64: 9859584B54DF3036 Time : 0.0 sec. user=mdettweiler [2013-09-16 10:54:47] 765*2^1253415-1 is not prime. Res64: 285F21AB58ED6E49 Time : 0.0 sec. user=mdettweiler [2013-09-16 10:54:47] 795*2^1253415-1 is not prime. Res64: 17B1F9BC4FA460A0 Time : 0.0 sec. user=mdettweiler [2013-09-16 10:57:36] 949*2^1253415-1 is not prime. Res64: CFB152D32259886E Time : 0.0 sec. user=mdettweiler [2013-09-16 10:57:36] 615*2^1253416-1 is not prime. Res64: 41F6D89F5805432C Time : 0.0 sec. user=mdettweiler [2013-09-16 11:00:42] 735*2^1253416-1 is not prime. Res64: AFE1D86D1ED1CD8D Time : 0.0 sec. user=mdettweiler [2013-09-16 11:00:42] 825*2^1253416-1 is not prime. Res64: C4A6BDD874BFD036 Time : 0.0 sec. user=mdettweiler [2013-09-16 11:07:52] 923*2^1253416-1 is not prime. Res64: D743270F5F636D6E Time : 0.0 sec. user=mdettweiler [2013-09-16 11:07:53] 993*2^1253416-1 is not prime. Res64: 70AA896B60068152 Time : 0.0 sec. user=mdettweiler [2013-09-16 11:14:31] 711*2^1253417-1 is not prime. Res64: A60A525E4427EC0F Time : 0.0 sec. user=mdettweiler [2013-09-16 11:14:32] 747*2^1253417-1 is not prime. Res64: 2E85C57B814AF28A Time : 0.0 sec. user=mdettweiler [2013-09-16 11:19:26] 867*2^1253417-1 is not prime. Res64: 116020B4CA19360C Time : 0.0 sec. user=mdettweiler [2013-09-16 11:19:26] 879*2^1253417-1 is not prime. Res64: D584D7BBDF8506CF Time : 0.0 sec. user=mdettweiler [2013-09-16 11:22:23] 937*2^1253417-1 is not prime. Res64: D03087C542BCA722 Time : 0.0 sec. user=mdettweiler [2013-09-16 11:22:23] 971*2^1253418-1 is not prime. Res64: 6AFA85852569B362 Time : 0.0 sec. user=mdettweiler [2013-09-16 11:27:39] 609*2^1253419-1 is not prime. Res64: 35B145501DAC4126 Time : 0.0 sec. user=mdettweiler [2013-09-16 11:27:40] 645*2^1253419-1 is not prime. Res64: ED93E2EAD8DB63E5 Time : 0.0 sec. user=mdettweiler [2013-09-16 11:34:23] 709*2^1253419-1 is not prime. Res64: D7E61DD7838EA36A Time : 0.0 sec. user=mdettweiler [2013-09-16 11:34:23] 829*2^1253419-1 is not prime. Res64: AF8D818B3636D90C Time : 0.0 sec. user=mdettweiler [2013-09-16 11:39:10] 859*2^1253419-1 is not prime. Res64: 91CA12579C5AE196 Time : 0.0 sec. user=mdettweiler [2013-09-16 11:39:10] 743*2^1253420-1 is not prime. Res64: B3CF6CEC182ABF59 Time : 0.0 sec. user=mdettweiler [2013-09-16 11:43:06] 797*2^1253420-1 is not prime. Res64: 06B617CBA3DE4085 Time : 0.0 sec. user=mdettweiler [2013-09-16 11:43:06] 963*2^1253420-1 is not prime. Res64: C7CE204356445258 Time : 0.0 sec. user=mdettweiler [2013-09-16 11:47:27] 627*2^1253421-1 is not prime. Res64: 28D718987FA80E5A Time : 0.0 sec. user=mdettweiler [2013-09-16 11:47:27] 685*2^1253421-1 is not prime. Res64: 8EBABCD96A53BA2F Time : 0.0 sec. user=mdettweiler [2013-09-16 11:54:11] 805*2^1253421-1 is not prime. Res64: BDB25503C956A191 Time : 0.0 sec. user=mdettweiler [2013-09-16 11:54:11] 819*2^1253421-1 is not prime. Res64: E93F87441EE744C5 Time : 0.0 sec. user=mdettweiler [2013-09-16 11:59:47] 829*2^1253421-1 is not prime. Res64: D885542DED4133EC Time : 0.0 sec. user=mdettweiler [2013-09-16 11:59:48] 997*2^1253421-1 is not prime. Res64: 5EFB7BAD35986A64 Time : 0.0 sec. user=mdettweiler [2013-09-16 12:02:48] 611*2^1253422-1 is not prime. Res64: 2A2B9C319C2D9869 Time : 0.0 sec. user=mdettweiler [2013-09-16 12:02:50] 623*2^1253422-1 is not prime. Res64: A280D385E22A4725 Time : 0.0 sec. user=mdettweiler [2013-09-16 12:07:09] 713*2^1253422-1 is not prime. Res64: 25EE87C10381F12F Time : 0.0 sec. user=mdettweiler [2013-09-16 12:07:10] 723*2^1253422-1 is not prime. Res64: 173C02AD75F5F59D Time : 0.0 sec. user=mdettweiler [2013-09-16 12:14:54] 825*2^1253422-1 is not prime. Res64: 9FB05B5F0FF9FF37 Time : 0.0 sec. user=mdettweiler [2013-09-16 12:14:55] 873*2^1253422-1 is not prime. Res64: 98506654D9179D74 Time : 0.0 sec. user=mdettweiler [2013-09-16 12:21:38] 911*2^1253422-1 is not prime. Res64: ED213FA6BAD20C5F Time : 0.0 sec. user=mdettweiler [2013-09-16 12:21:38] 975*2^1253422-1 is not prime. Res64: 7B5D5916418E1F83 Time : 0.0 sec. user=mdettweiler [2013-09-16 12:22:49] 663*2^1253423-1 is not prime. Res64: F39E344F8B4707B2 Time : 0.0 sec. user=mdettweiler [2013-09-16 12:22:50] 705*2^1253423-1 is not prime. Res64: C70A625930926850 Time : 0.0 sec. user=mdettweiler [2013-09-16 12:27:35] 721*2^1253423-1 is not prime. Res64: 445427E6D04739FF Time : 0.0 sec. user=mdettweiler [2013-09-16 12:27:35] 735*2^1253423-1 is not prime. Res64: 6DA03CF3E232F463 Time : 0.0 sec. user=mdettweiler [2013-09-16 12:35:42] 753*2^1253423-1 is not prime. Res64: 77D5CEE012180EEB Time : 0.0 sec. user=mdettweiler [2013-09-16 12:35:43] 819*2^1253423-1 is not prime. Res64: C9C9C64A4185383E Time : 0.0 sec. user=mdettweiler [2013-09-16 12:43:40] 859*2^1253423-1 is not prime. Res64: 31655B9864F95D7C Time : 0.0 sec. user=mdettweiler [2013-09-16 12:43:40] 921*2^1253423-1 is not prime. Res64: E63667159D2461AA Time : 0.0 sec. user=mdettweiler [2013-09-16 12:43:42] 627*2^1253424-1 is not prime. Res64: DC367B59F6FFF0CB Time : 0.0 sec. user=mdettweiler [2013-09-16 12:43:42] 689*2^1253424-1 is not prime. Res64: 4AD2BF3517A3DD75 Time : 0.0 sec. user=mdettweiler [2013-09-16 12:48:59] 753*2^1253424-1 is not prime. Res64: 9693340D3BB7998F Time : 0.0 sec. user=mdettweiler [2013-09-16 12:48:59] 759*2^1253424-1 is not prime. Res64: EAFD2E56A55D4001 Time : 0.0 sec. user=mdettweiler [2013-09-16 12:58:11] 873*2^1253424-1 is not prime. Res64: CB22CB08DED7F652 Time : 0.0 sec. user=mdettweiler [2013-09-16 12:58:11] 983*2^1253424-1 is not prime. Res64: 890BACA7A2E3AB32 Time : 0.0 sec. user=mdettweiler [2013-09-16 13:04:08] 715*2^1253425-1 is not prime. Res64: 04127BB66AA138B0 Time : 0.0 sec. user=mdettweiler [2013-09-16 13:04:08] 765*2^1253425-1 is not prime. Res64: 6EB95BD2CE973F2F Time : 0.0 sec. user=mdettweiler [2013-09-16 13:04:14] 645*2^1253425-1 is not prime. Res64: 60B668B9AC67CF1C Time : 0.0 sec. user=mdettweiler [2013-09-16 13:04:15] 705*2^1253425-1 is not prime. Res64: 79D934D121DA8A8A Time : 0.0 sec. user=mdettweiler [2013-09-16 13:09:28] 775*2^1253425-1 is not prime. Res64: 5672D7F741341B06 Time : 0.0 sec. user=mdettweiler [2013-09-16 13:09:29] 789*2^1253425-1 is not prime. Res64: 5DC43094A30F7E36 Time : 0.0 sec. user=mdettweiler [2013-09-16 13:19:08] 831*2^1253425-1 is not prime. Res64: 011F6A65BF03B647 Time : 0.0 sec. user=mdettweiler [2013-09-16 13:19:09] 871*2^1253425-1 is not prime. Res64: 558BB07714BA2299 Time : 0.0 sec. user=mdettweiler [2013-09-16 13:24:47] 979*2^1253425-1 is not prime. Res64: 1198DEA80C19D136 Time : 0.0 sec. user=mdettweiler [2013-09-16 13:24:48] 651*2^1253426-1 is not prime. Res64: 2C0F172D8C2AA468 Time : 0.0 sec. user=mdettweiler [2013-09-16 13:24:52] 713*2^1253426-1 is not prime. Res64: C9AEA3A53A9FE23D Time : 0.0 sec. user=mdettweiler [2013-09-16 13:24:53] 867*2^1253426-1 is not prime. Res64: 633B8AC11CDD735C Time : 0.0 sec. user=mdettweiler [2013-09-16 13:30:07] 651*2^1253427-1 is not prime. Res64: 1CE1F770B02EA697 Time : 0.0 sec. user=mdettweiler [2013-09-16 13:30:07] 949*2^1253427-1 is not prime. Res64: EC6104518DD83DEE Time : 0.0 sec. user=mdettweiler [2013-09-16 13:39:01] 605*2^1253428-1 is not prime. Res64: D8BB7C19B28D720A Time : 0.0 sec. user=mdettweiler [2013-09-16 13:39:02] 647*2^1253428-1 is not prime. Res64: 731E05363F93F2EE Time : 0.0 sec. user=mdettweiler [2013-09-16 13:44:40] 665*2^1253428-1 is not prime. Res64: 433A130B776F39F3 Time : 0.0 sec. user=mdettweiler [2013-09-16 13:44:40] 695*2^1253428-1 is not prime. Res64: A4DC045652184844 Time : 0.0 sec. user=mdettweiler [2013-09-16 13:44:44] 743*2^1253428-1 is not prime. Res64: 2960A0E1D77F9AB8 Time : 0.0 sec. user=mdettweiler [2013-09-16 13:44:44] 797*2^1253428-1 is not prime. Res64: A46E22FDAE844C55 Time : 0.0 sec. user=mdettweiler [2013-09-16 13:51:08] 855*2^1253428-1 is not prime. Res64: D2C918F7BD8D61BB Time : 0.0 sec. user=mdettweiler [2013-09-16 13:51:09] 905*2^1253428-1 is not prime. Res64: A88F1B6DA6943440 Time : 0.0 sec. user=mdettweiler [2013-09-16 14:01:53] 929*2^1253428-1 is not prime. Res64: 9D1ACF7E5B0D6563 Time : 0.0 sec. user=mdettweiler [2013-09-16 14:01:55] 989*2^1253428-1 is not prime. Res64: 9EBC7B8F2BBB0F75 Time : 0.0 sec. user=mdettweiler [2013-09-16 14:05:38] 635*2^1253430-1 is not prime. Res64: A10E5A4386783010 Time : 0.0 sec. user=mdettweiler [2013-09-16 14:05:39] 795*2^1253430-1 is not prime. Res64: E35F32BE12D0D1A4 Time : 0.0 sec. user=mdettweiler [2013-09-16 14:06:29] 993*2^1253428-1 is not prime. Res64: 0DDF79F6949256DC Time : 0.0 sec. user=mdettweiler [2013-09-16 14:06:31] 655*2^1253429-1 is not prime. Res64: 5ECE02D6F15F7FB8 Time : 0.0 sec. user=mdettweiler [2013-09-16 14:11:40] 851*2^1253430-1 is not prime. Res64: 2DB06A015CF4C962 Time : 0.0 sec. user=mdettweiler [2013-09-16 14:11:40] 703*2^1253431-1 is not prime. Res64: 9C80196DBF75737F Time : 0.0 sec. user=mdettweiler [2013-09-16 14:21:36] 709*2^1253431-1 is not prime. Res64: 358994BBD23F6415 Time : 0.0 sec. user=mdettweiler [2013-09-16 14:21:37] 819*2^1253431-1 is not prime. Res64: 6D4BB8948EAF02D8 Time : 0.0 sec. user=mdettweiler [2013-09-16 14:26:19] 861*2^1253431-1 is not prime. Res64: 6CBF847F95F87946 Time : 0.0 sec. user=mdettweiler [2013-09-16 14:26:20] 885*2^1253431-1 is not prime. Res64: DEF211D4AB36A589 Time : 0.0 sec. user=mdettweiler [2013-09-16 14:27:08] 939*2^1253431-1 is not prime. Res64: 7ABCDD1CE555FD92 Time : 0.0 sec. user=mdettweiler [2013-09-16 14:27:08] 633*2^1253432-1 is not prime. Res64: 684D6D04E8A28E87 Time : 0.0 sec. user=mdettweiler [2013-09-16 14:32:18] 665*2^1253432-1 is not prime. Res64: 4550E0460FC0C401 Time : 0.0 sec. user=mdettweiler [2013-09-16 14:32:18] 935*2^1253432-1 is not prime. Res64: DD2E03DC5C72D76B Time : 0.0 sec. user=mdettweiler [2013-09-16 14:42:22] 963*2^1253432-1 is not prime. Res64: 4B91F59DB5EC8067 Time : 0.0 sec. user=mdettweiler [2013-09-16 14:42:22] 739*2^1253433-1 is not prime. Res64: CECB8F92FD28ADEF Time : 0.0 sec. user=mdettweiler [2013-09-16 14:47:15] 835*2^1253433-1 is not prime. Res64: C2500792781F1FAB Time : 0.0 sec. user=mdettweiler [2013-09-16 14:47:15] 871*2^1253433-1 is not prime. Res64: A89C7FF327CE2E22 Time : 0.0 sec. user=mdettweiler [2013-09-16 14:48:07] 701*2^1253434-1 is not prime. Res64: 962B362B25A355AE Time : 0.0 sec. user=mdettweiler [2013-09-16 14:48:07] 957*2^1253434-1 is not prime. Res64: E47F76A5340FC2A7 Time : 0.0 sec. user=mdettweiler [2013-09-16 14:53:15] 987*2^1253434-1 is not prime. Res64: E7486F6231DDC61D Time : 0.0 sec. user=mdettweiler [2013-09-16 14:53:15] 685*2^1253435-1 is not prime. Res64: 38EDC006B066C8F3 Time : 0.0 sec. user=mdettweiler [2013-09-16 15:02:12] 783*2^1253435-1 is not prime. Res64: 7C826DD7D4CA0D61 Time : 0.0 sec. user=mdettweiler [2013-09-16 15:02:13] 799*2^1253435-1 is not prime. Res64: 8B02E23B5BEA10E7 Time : 0.0 sec. user=mdettweiler [2013-09-16 15:07:58] 861*2^1253435-1 is not prime. Res64: D5C031FF2940C29B Time : 0.0 sec. user=mdettweiler [2013-09-16 15:07:58] 885*2^1253435-1 is not prime. Res64: 3E4F9837FAF38702 Time : 0.0 sec. user=mdettweiler [2013-09-16 15:09:49] 949*2^1253435-1 is not prime. Res64: 966DB05B2C48894B Time : 0.0 sec. user=mdettweiler [2013-09-16 15:09:50] 973*2^1253435-1 is not prime. Res64: 5FF199458E4D59B9 Time : 0.0 sec. user=mdettweiler [2013-09-16 15:13:06] 759*2^1253436-1 is not prime. Res64: 293C474D94A957C5 Time : 0.0 sec. user=mdettweiler [2013-09-16 15:13:06] 837*2^1253436-1 is not prime. Res64: 52905B03BDF4833B Time : 0.0 sec. user=mdettweiler [2013-09-16 15:24:08] 945*2^1253436-1 is not prime. Res64: C78819D4342821A2 Time : 0.0 sec. user=mdettweiler [2013-09-16 15:24:08] 983*2^1253436-1 is not prime. Res64: 648148548BF7494B Time : 0.0 sec. user=mdettweiler [2013-09-16 15:28:22] 727*2^1253437-1 is not prime. Res64: BE8F31A451CA75FC Time : 0.0 sec. user=mdettweiler [2013-09-16 15:28:22] 847*2^1253437-1 is not prime. Res64: 3A08FF80C4208F54 Time : 0.0 sec. user=mdettweiler [2013-09-16 15:32:02] 915*2^1253437-1 is not prime. Res64: 6AD7E54FA444F103 Time : 0.0 sec. user=mdettweiler [2013-09-16 15:32:02] 961*2^1253437-1 is not prime. Res64: FC99A33EB8167FDB Time : 0.0 sec. user=mdettweiler [2013-09-16 15:34:23] 997*2^1253437-1 is not prime. Res64: 4632C38798287D4B Time : 0.0 sec. user=mdettweiler [2013-09-16 15:34:23] 845*2^1253438-1 is not prime. Res64: AA4CD2C19ECD9A21 Time : 0.0 sec. user=mdettweiler [2013-09-16 15:46:05] 893*2^1253438-1 is not prime. Res64: 180BBB91C3028726 Time : 0.0 sec. user=mdettweiler [2013-09-16 15:46:06] 941*2^1253438-1 is not prime. Res64: 46E0AC2F9C7E13E9 Time : 0.0 sec. user=mdettweiler [2013-09-16 15:50:27] 953*2^1253438-1 is not prime. Res64: C4966B25E3CD23AA Time : 0.0 sec. user=mdettweiler [2013-09-16 15:50:28] 957*2^1253438-1 is not prime. Res64: B65031FE5D154D53 Time : 0.0 sec. user=mdettweiler [2013-09-16 15:54:10] 971*2^1253438-1 is not prime. Res64: 5193E3A704033C78 Time : 0.0 sec. user=mdettweiler [2013-09-16 15:54:10] 977*2^1253438-1 is not prime. Res64: 15A66846B4A9C0C7 Time : 0.0 sec. user=mdettweiler [2013-09-16 15:54:31] 609*2^1253439-1 is not prime. Res64: DBCB0C311AB28911 Time : 0.0 sec. user=mdettweiler [2013-09-16 15:54:31] 675*2^1253439-1 is not prime. Res64: 1B958C1CEF6B3F83 Time : 0.0 sec. user=mdettweiler [2013-09-16 16:06:23] 693*2^1253439-1 is not prime. Res64: A34C43E2C9BA7D51 Time : 0.0 sec. user=mdettweiler [2013-09-16 16:06:24] 723*2^1253439-1 is not prime. Res64: 27CEF70648FAA3C6 Time : 0.0 sec. user=mdettweiler [2013-09-16 16:11:48] 861*2^1253439-1 is not prime. Res64: 4351AFA9BFCDD538 Time : 0.0 sec. user=mdettweiler [2013-09-16 16:11:49] 879*2^1253439-1 is not prime. Res64: 4EBBD10BCC05D698 Time : 0.0 sec. user=mdettweiler [2013-09-16 16:14:38] 603*2^1253440-1 is not prime. Res64: A5BFAC3DA2D2734C Time : 0.0 sec. user=mdettweiler [2013-09-16 16:14:38] 653*2^1253440-1 is not prime. Res64: 573490E345E9BCEF Time : 0.0 sec. user=mdettweiler [2013-09-16 16:14:59] 695*2^1253440-1 is not prime. Res64: 33151CE66EEED995 Time : 0.0 sec. user=mdettweiler [2013-09-16 16:14:59] 717*2^1253440-1 is not prime. Res64: EFBE04891D71D87F Time : 0.0 sec. user=mdettweiler [2013-09-16 16:30:09] 897*2^1253440-1 is not prime. Res64: 6E493C73477BB281 Time : 0.0 sec. user=mdettweiler [2013-09-16 16:30:09] 905*2^1253440-1 is not prime. Res64: 7CB9BD0C89D6125F Time : 0.0 sec. user=mdettweiler [2013-09-16 16:34:34] 933*2^1253440-1 is not prime. Res64: 0D1F79BA6A530C74 Time : 0.0 sec. user=mdettweiler [2013-09-16 16:34:34] 631*2^1253441-1 is not prime. Res64: 65ACD0299FBB606D Time : 0.0 sec. user=mdettweiler [2013-09-16 16:36:28] 651*2^1253441-1 is not prime. Res64: 15EFD9D29517292A Time : 0.0 sec. user=mdettweiler [2013-09-16 16:36:28] 675*2^1253441-1 is not prime. Res64: AC9740A3B1E1EE3A Time : 0.0 sec. user=mdettweiler [2013-09-16 16:36:38] 781*2^1253441-1 is not prime. Res64: 62D466447F4EECF3 Time : 0.0 sec. user=mdettweiler [2013-09-16 16:36:38] 789*2^1253441-1 is not prime. Res64: 8A637194756F62DD Time : 0.0 sec. user=mdettweiler [2013-09-16 16:51:59] 799*2^1253441-1 is not prime. Res64: DB8D014BEA9D02BE Time : 0.0 sec. user=mdettweiler [2013-09-16 16:51:59] 805*2^1253441-1 is not prime. Res64: 34C9B37A0470E194 Time : 0.0 sec. user=mdettweiler [2013-09-16 16:57:00] 991*2^1253441-1 is not prime. Res64: EF7B52E5ED1C66C0 Time : 0.0 sec. user=mdettweiler [2013-09-16 16:57:01] 705*2^1253442-1 is not prime. Res64: 1B93622990820292 Time : 0.0 sec. user=mdettweiler [2013-09-16 16:57:44] 741*2^1253442-1 is not prime. Res64: D9CF7C8EE0E655CD Time : 0.0 sec. user=mdettweiler [2013-09-16 16:57:44] 765*2^1253442-1 is not prime. Res64: FB3F3F168BAD2960 Time : 0.0 sec. user=mdettweiler [2013-09-16 16:58:00] 807*2^1253442-1 is not prime. Res64: 58D65825785FEAF2 Time : 0.0 sec. user=mdettweiler [2013-09-16 16:58:00] 837*2^1253442-1 is not prime. Res64: 84B0D2566FE4B3CF Time : 0.0 sec. user=mdettweiler [2013-09-16 17:13:05] 945*2^1253442-1 is not prime. Res64: D8A743DFC9AEE270 Time : 0.0 sec. user=mdettweiler [2013-09-16 17:13:06] 723*2^1253443-1 is not prime. Res64: 749E3938B49A25B6 Time : 0.0 sec. user=mdettweiler [2013-09-16 17:17:01] 769*2^1253443-1 is not prime. Res64: 8629DD3F1950DE91 Time : 0.0 sec. user=mdettweiler [2013-09-16 17:17:01] 805*2^1253443-1 is not prime. Res64: 72CF1A87E94FD741 Time : 0.0 sec. user=mdettweiler [2013-09-16 17:19:44] 891*2^1253443-1 is not prime. Res64: 024359DDD55372D5 Time : 0.0 sec. user=mdettweiler [2013-09-16 17:19:45] 939*2^1253443-1 is not prime. Res64: 34021BE1DBC2880C Time : 0.0 sec. user=mdettweiler [2013-09-16 17:19:55] 943*2^1253443-1 is not prime. Res64: AEF72EC4FAFDC4E9 Time : 0.0 sec. user=mdettweiler [2013-09-16 17:19:55] 945*2^1253443-1 is not prime. Res64: F4304A840792D992 Time : 0.0 sec. user=mdettweiler [2013-09-16 17:33:56] 973*2^1253443-1 is not prime. Res64: 0B7B821AF21436B4 Time : 0.0 sec. user=mdettweiler [2013-09-16 17:33:56] 609*2^1253444-1 is not prime. Res64: FE4F6B11668BEB38 Time : 0.0 sec. user=mdettweiler [2013-09-16 17:36:54] 629*2^1253444-1 is not prime. Res64: 7A10EF9E15C7286F Time : 0.0 sec. user=mdettweiler [2013-09-16 17:36:54] 675*2^1253444-1 is not prime. Res64: 2652E46FD930943C Time : 0.0 sec. user=mdettweiler [2013-09-16 17:39:35] 689*2^1253444-1 is not prime. Res64: 42731A5D4B354D6C Time : 0.0 sec. user=mdettweiler [2013-09-16 17:39:35] 759*2^1253444-1 is not prime. Res64: C88317DCBC5F439A Time : 0.0 sec. user=mdettweiler [2013-09-16 17:40:41] 825*2^1253444-1 is not prime. Res64: 1A9CFC097AD692CB Time : 0.0 sec. user=mdettweiler [2013-09-16 17:40:42] 899*2^1253444-1 is not prime. Res64: 403703A4F1D441B6 Time : 0.0 sec. user=mdettweiler [2013-09-16 17:53:51] 657*2^1253445-1 is not prime. Res64: A2EC50855F77327B Time : 0.0 sec. user=mdettweiler [2013-09-16 17:53:52] 691*2^1253445-1 is not prime. Res64: 1B2063492F5DC7F5 Time : 0.0 sec. user=mdettweiler [2013-09-16 17:57:00] 741*2^1253445-1 is not prime. Res64: 146FAE659062C28E Time : 0.0 sec. user=mdettweiler [2013-09-16 17:57:00] 759*2^1253445-1 is not prime. Res64: C30F5EC4BC80E172 Time : 0.0 sec. user=mdettweiler [2013-09-16 17:59:49] 795*2^1253445-1 is not prime. Res64: DD221C7B7C6A25AB Time : 0.0 sec. user=mdettweiler [2013-09-16 17:59:50] 819*2^1253445-1 is not prime. Res64: C9A0ACE55A36C3E4 Time : 0.0 sec. user=mdettweiler [2013-09-16 18:01:45] 871*2^1253445-1 is not prime. Res64: 0323407DC850D2EA Time : 0.0 sec. user=mdettweiler [2013-09-16 18:01:46] 717*2^1253446-1 is not prime. Res64: BABBA5A370F5C8FC Time : 0.0 sec. user=juhehe [2013-09-16 18:13:40] 601*2^1253445-1 is not prime. Res64: 5196A2F490C66834 Time : 0.0 sec. user=mdettweiler [2013-09-16 18:14:09] 743*2^1253446-1 is not prime. Res64: 5824B894B2227580 Time : 0.0 sec. user=mdettweiler [2013-09-16 18:14:09] 777*2^1253446-1 is not prime. Res64: 7B0706DCD1A9973E Time : 0.0 sec. user=mdettweiler [2013-09-16 18:19:13] 933*2^1253446-1 is not prime. Res64: 2505F2E7E20430C3 Time : 0.0 sec. user=mdettweiler [2013-09-16 18:19:14] 971*2^1253446-1 is not prime. Res64: 5A450347868DEFD0 Time : 0.0 sec. user=mdettweiler [2013-09-16 18:20:07] 603*2^1253447-1 is not prime. Res64: 9B298646D9AD3A80 Time : 0.0 sec. user=mdettweiler [2013-09-16 18:20:08] 661*2^1253447-1 is not prime. Res64: 977883DBB9614F35 Time : 0.0 sec. user=mdettweiler [2013-09-16 18:22:23] 735*2^1253447-1 is not prime. Res64: DEF9C4B5E911F414 Time : 0.0 sec. user=mdettweiler [2013-09-16 18:22:24] 799*2^1253447-1 is not prime. Res64: 746BF61EA7C406F2 Time : 0.0 sec. user=mdettweiler [2013-09-16 18:36:25] 865*2^1253447-1 is not prime. Res64: 9FA8FFFBC566D5D6 Time : 0.0 sec. user=mdettweiler [2013-09-16 18:36:25] 979*2^1253447-1 is not prime. Res64: 5E56206E9ED07FA1 Time : 0.0 sec. user=mdettweiler [2013-09-16 18:40:28] 981*2^1253447-1 is not prime. Res64: 2EA03F471CCF623C Time : 0.0 sec. user=mdettweiler [2013-09-16 18:40:28] 683*2^1253448-1 is not prime. Res64: 56204E9B3C98A1C7 Time : 0.0 sec. user=mdettweiler [2013-09-16 18:40:35] 735*2^1253448-1 is not prime. Res64: F67E362BF798B133 Time : 0.0 sec. user=mdettweiler [2013-09-16 18:40:35] 765*2^1253448-1 is not prime. Res64: 126B4A4678E3E06E Time : 0.0 sec. user=mdettweiler [2013-09-16 18:43:36] 845*2^1253448-1 is not prime. Res64: 5D9D91F7590E9764 Time : 0.0 sec. user=mdettweiler [2013-09-16 18:43:36] 935*2^1253448-1 is not prime. Res64: 9864F652B1C3E3B2 Time : 0.0 sec. user=mdettweiler [2013-09-16 18:57:40] 999*2^1253448-1 is not prime. Res64: 8379A9C275DC89F3 Time : 0.0 sec. user=mdettweiler [2013-09-16 18:57:40] 649*2^1253449-1 is not prime. Res64: FA1436F6C8BD9E2D Time : 0.0 sec. user=mdettweiler [2013-09-16 19:00:45] 661*2^1253449-1 is not prime. Res64: FCF067EB027770F8 Time : 0.0 sec. user=mdettweiler [2013-09-16 19:00:45] 679*2^1253449-1 is not prime. Res64: 10AD48EC612EC27F Time : 0.0 sec. user=mdettweiler [2013-09-16 19:00:56] 721*2^1253449-1 is not prime. Res64: 2206505BEE5FA69F Time : 0.0 sec. user=mdettweiler [2013-09-16 19:00:57] 741*2^1253449-1 is not prime. Res64: FA5C451E1C9EB6C2 Time : 0.0 sec. user=mdettweiler [2013-09-16 19:05:57] 897*2^1253449-1 is not prime. Res64: EB265E5D30DCEE84 Time : 0.0 sec. user=mdettweiler [2013-09-16 19:05:57] 919*2^1253449-1 is not prime. Res64: 4C0DFC8153A9C5A9 Time : 0.0 sec. user=mdettweiler [2013-09-16 19:18:47] 677*2^1253450-1 is not prime. Res64: 4610B21DE57DA07A Time : 0.0 sec. user=mdettweiler [2013-09-16 19:18:47] 687*2^1253450-1 is not prime. Res64: E5DAFE936804ED2D Time : 0.0 sec. user=mdettweiler [2013-09-16 19:21:51] 743*2^1253450-1 is not prime. Res64: 8212824FA71256E3 Time : 0.0 sec. user=mdettweiler [2013-09-16 19:21:51] 801*2^1253450-1 is not prime. Res64: F203DC8E8D13847E Time : 0.0 sec. user=mdettweiler [2013-09-16 19:22:11] 843*2^1253450-1 is not prime. Res64: BCCD6202B58EA5FE Time : 0.0 sec. user=mdettweiler [2013-09-16 19:22:12] 851*2^1253450-1 is not prime. Res64: 789EBC45771592BF Time : 0.0 sec. user=mdettweiler [2013-09-16 19:28:41] 915*2^1253450-1 is not prime. Res64: 6C0A08B324A7A930 Time : 0.0 sec. user=mdettweiler [2013-09-16 19:28:41] 977*2^1253450-1 is not prime. Res64: 3943AECD25D30279 Time : 0.0 sec. user=mdettweiler [2013-09-16 19:38:33] 621*2^1253451-1 is not prime. Res64: 9D7D304DF57525F6 Time : 0.0 sec. user=mdettweiler [2013-09-16 19:38:33] 625*2^1253451-1 is not prime. Res64: D0A26F281708A9A1 Time : 0.0 sec. user=mdettweiler [2013-09-16 19:41:33] 739*2^1253451-1 is not prime. Res64: FCF6CA5E0A32E05B Time : 0.0 sec. user=mdettweiler [2013-09-16 19:41:33] 745*2^1253451-1 is not prime. Res64: B2E59A9845BDEDF6 Time : 0.0 sec. user=mdettweiler [2013-09-16 19:43:45] 931*2^1253451-1 is not prime. Res64: 8247E6B0EB67412F Time : 0.0 sec. user=mdettweiler [2013-09-16 19:43:45] 949*2^1253451-1 is not prime. Res64: 00ABA9B780E56D5E Time : 0.0 sec. user=mdettweiler [2013-09-16 19:49:22] 999*2^1253451-1 is not prime. Res64: 8C99A2A0ACA6DF4E Time : 0.0 sec. user=mdettweiler [2013-09-16 19:49:22] 755*2^1253452-1 is not prime. Res64: E878FAF5E4AC4FD2 Time : 0.0 sec. user=mdettweiler [2013-09-16 19:58:18] 807*2^1253452-1 is not prime. Res64: C8E2194013554ECE Time : 0.0 sec. user=mdettweiler [2013-09-16 19:58:18] 855*2^1253452-1 is not prime. Res64: 815BE17E78A61926 Time : 0.0 sec. user=mdettweiler [2013-09-16 20:03:12] 923*2^1253452-1 is not prime. Res64: A6BE803317F06094 Time : 0.0 sec. user=mdettweiler [2013-09-16 20:03:13] 987*2^1253452-1 is not prime. Res64: B1C91FD92A07B49B Time : 0.0 sec. user=mdettweiler [2013-09-16 20:04:21] 999*2^1253452-1 is not prime. Res64: 4FD977B342311E81 Time : 0.0 sec. user=mdettweiler [2013-09-16 20:04:23] 621*2^1253453-1 is not prime. Res64: 09639D3B22F80F91 Time : 0.0 sec. user=mdettweiler [2013-09-16 20:09:09] 675*2^1253453-1 is not prime. Res64: 401F648721A3C397 Time : 0.0 sec. user=mdettweiler [2013-09-16 20:09:10] 741*2^1253453-1 is not prime. Res64: D35EE77CA6B95D07 Time : 0.0 sec. user=mdettweiler [2013-09-16 20:17:55] 745*2^1253453-1 is not prime. Res64: 4080725A54F0BB2D Time : 0.0 sec. user=mdettweiler [2013-09-16 20:17:55] 769*2^1253453-1 is not prime. Res64: D592C3EF919FF90E Time : 0.0 sec. user=mdettweiler [2013-09-16 20:24:00] 723*2^1253454-1 is not prime. Res64: 789A455E86FE687D Time : 0.0 sec. user=mdettweiler [2013-09-16 20:24:01] 747*2^1253454-1 is not prime. Res64: 21C7A52D2BCA682B Time : 0.0 sec. user=mdettweiler [2013-09-16 20:24:47] 979*2^1253453-1 is not prime. Res64: EEB172CDB7265479 Time : 0.0 sec. user=mdettweiler [2013-09-16 20:24:47] 981*2^1253453-1 is not prime. Res64: 1B3FE51C8A4E6603 Time : 0.0 sec. user=mdettweiler [2013-09-16 20:29:54] 863*2^1253454-1 is not prime. Res64: 12379293718C8BDC Time : 0.0 sec. user=mdettweiler [2013-09-16 20:29:54] 951*2^1253454-1 is not prime. Res64: 33A014CEC2947136 Time : 0.0 sec. user=mdettweiler [2013-09-16 20:37:31] 693*2^1253455-1 is not prime. Res64: CBB078CC936A009E Time : 0.0 sec. user=mdettweiler [2013-09-16 20:37:31] 705*2^1253455-1 is not prime. Res64: EF5B420554A0F4F4 Time : 0.0 sec. user=mdettweiler [2013-09-16 20:44:41] 819*2^1253455-1 is not prime. Res64: 6008E98EDB3BC42D Time : 0.0 sec. user=mdettweiler [2013-09-16 20:44:42] 873*2^1253455-1 is not prime. Res64: 044D5C08ED322944 Time : 0.0 sec. user=mdettweiler [2013-09-16 20:45:24] 743*2^1253456-1 is not prime. Res64: B78017084A8ABACD Time : 0.0 sec. user=mdettweiler [2013-09-16 20:45:24] 909*2^1253456-1 is not prime. Res64: A70F6D9A18183E53 Time : 0.0 sec. user=mdettweiler [2013-09-16 20:49:40] 601*2^1253457-1 is not prime. Res64: 2FFAC06CCF4E7DAB Time : 0.0 sec. user=mdettweiler [2013-09-16 20:49:40] 685*2^1253457-1 is not prime. Res64: 75E2174C99393A4A Time : 0.0 sec. user=mdettweiler [2013-09-16 20:57:23] 739*2^1253457-1 is not prime. Res64: 5B863CE7EB64D7A0 Time : 0.0 sec. user=mdettweiler [2013-09-16 20:57:24] 829*2^1253457-1 is not prime. Res64: 271361F9137A08B7 Time : 0.0 sec. user=mdettweiler [2013-09-16 21:05:49] 647*2^1253458-1 is not prime. Res64: E1793D1A8DB80B04 Time : 0.0 sec. user=mdettweiler [2013-09-16 21:05:50] 657*2^1253458-1 is not prime. Res64: B48D61B53EB2149C Time : 0.0 sec. user=mdettweiler [2013-09-16 21:06:20] 837*2^1253457-1 is not prime. Res64: 6E36B09BCFC8AE42 Time : 0.0 sec. user=mdettweiler [2013-09-16 21:06:21] 919*2^1253457-1 is not prime. Res64: C8497AA85E9CBB23 Time : 0.0 sec. user=mdettweiler [2013-09-16 21:10:08] 665*2^1253458-1 is not prime. Res64: 685FC68CDE637988 Time : 0.0 sec. user=mdettweiler [2013-09-16 21:10:08] 695*2^1253458-1 is not prime. Res64: 8D016164AA210184 Time : 0.0 sec. user=mdettweiler [2013-09-16 21:18:25] 713*2^1253458-1 is not prime. Res64: 459B34CC6D07C708 Time : 0.0 sec. user=mdettweiler [2013-09-16 21:18:25] 831*2^1253458-1 is not prime. Res64: 367F3FB07A947D73 Time : 0.0 sec. user=mdettweiler [2013-09-16 21:27:38] 609*2^1253459-1 is not prime. Res64: F0C14DD3B602707A Time : 0.0 sec. user=mdettweiler [2013-09-16 21:27:38] 615*2^1253459-1 is not prime. Res64: 2523077BCEF60433 Time : 0.0 sec. user=mdettweiler [2013-09-16 21:28:54] 933*2^1253458-1 is not prime. Res64: B287155C2FFCA519 Time : 0.0 sec. user=mdettweiler [2013-09-16 21:28:55] 995*2^1253458-1 is not prime. Res64: AF49CF0EA926184F Time : 0.0 sec. user=mdettweiler [2013-09-16 21:31:33] 655*2^1253459-1 is not prime. Res64: C527548A95FB6E89 Time : 0.0 sec. user=mdettweiler [2013-09-16 21:31:34] 813*2^1253459-1 is not prime. Res64: B19286634A468AB8 Time : 0.0 sec. user=mdettweiler [2013-09-16 21:39:27] 819*2^1253459-1 is not prime. Res64: 45044EB1EBC19B9A Time : 0.0 sec. user=mdettweiler [2013-09-16 21:39:27] 609*2^1253460-1 is not prime. Res64: 50BA8823C28D2842 Time : 0.0 sec. user=mdettweiler [2013-09-16 21:48:41] 675*2^1253460-1 is not prime. Res64: 9D1264186A615C98 Time : 0.0 sec. user=mdettweiler [2013-09-16 21:48:41] 693*2^1253460-1 is not prime. Res64: B791F5C84AE25F7E Time : 0.0 sec. user=mdettweiler [2013-09-16 21:51:07] 873*2^1253460-1 is not prime. Res64: 097641E6866325F3 Time : 0.0 sec. user=mdettweiler [2013-09-16 21:51:08] 601*2^1253461-1 is not prime. Res64: FD3BC5D0E2319F2A Time : 0.0 sec. user=mdettweiler [2013-09-16 21:52:37] 639*2^1253461-1 is not prime. Res64: 19F9E80E689CBCFF Time : 0.0 sec. user=mdettweiler [2013-09-16 21:52:37] 651*2^1253461-1 is not prime. Res64: D873BE4252CE1C64 Time : 0.0 sec. user=mdettweiler [2013-09-16 22:00:46] 681*2^1253461-1 is not prime. Res64: 2724C6E950CA3F22 Time : 0.0 sec. user=mdettweiler [2013-09-16 22:00:47] 889*2^1253461-1 is not prime. Res64: 1344F84CDD0B75BB Time : 0.0 sec. user=mdettweiler [2013-09-16 22:10:31] 975*2^1253461-1 is not prime. Res64: A1953E67F0F0255B Time : 0.0 sec. user=mdettweiler [2013-09-16 22:10:31] 979*2^1253461-1 is not prime. Res64: B7E1D49C93170657 Time : 0.0 sec. user=mdettweiler [2013-09-16 22:12:06] 997*2^1253461-1 is not prime. Res64: 56254F628ABCDC6E Time : 0.0 sec. user=mdettweiler [2013-09-16 22:12:06] 705*2^1253462-1 is not prime. Res64: 0C7F08E560636F5B Time : 0.0 sec. user=mdettweiler [2013-09-16 22:14:19] 977*2^1253462-1 is not prime. Res64: 3A0D75CFA784B20A Time : 0.0 sec. user=mdettweiler [2013-09-16 22:14:19] 987*2^1253462-1 is not prime. Res64: 5E6739C6802D6C97 Time : 0.0 sec. user=mdettweiler [2013-09-16 22:20:41] 669*2^1253463-1 is not prime. Res64: 61FFB179689186CF Time : 0.0 sec. user=mdettweiler [2013-09-16 22:20:41] 723*2^1253463-1 is not prime. Res64: F7C46DB447455247 Time : 0.0 sec. user=mdettweiler [2013-09-16 22:30:26] 775*2^1253463-1 is not prime. Res64: 8B586F7D4F083E9A Time : 0.0 sec. user=mdettweiler [2013-09-16 22:30:26] 793*2^1253463-1 is not prime. Res64: A0CFCFEE1049BDBD Time : 0.0 sec. user=mdettweiler [2013-09-16 22:32:02] 795*2^1253463-1 is not prime. Res64: 7BA97CEEC0A8A96F Time : 0.0 sec. user=mdettweiler [2013-09-16 22:32:03] 831*2^1253463-1 is not prime. Res64: 8D19D6D67E70B0E4 Time : 0.0 sec. user=mdettweiler [2013-09-16 22:35:57] 871*2^1253463-1 is not prime. Res64: 6A860EC0F49A0439 Time : 0.0 sec. user=mdettweiler [2013-09-16 22:35:57] 919*2^1253463-1 is not prime. Res64: AFD3C29C6E3CCA55 Time : 0.0 sec. user=mdettweiler [2013-09-16 22:40:29] 623*2^1253464-1 is not prime. Res64: DFC0BD9DB3D8C747 Time : 0.0 sec. user=mdettweiler [2013-09-16 22:40:29] 629*2^1253464-1 is not prime. Res64: 92F31D8C9B795651 Time : 0.0 sec. user=mdettweiler [2013-09-16 22:51:22] 705*2^1253464-1 is not prime. Res64: D733439BD71358DB Time : 0.0 sec. user=mdettweiler [2013-09-16 22:51:22] 899*2^1253464-1 is not prime. Res64: 1A809C33A5D6E3FE Time : 0.0 sec. user=mdettweiler [2013-09-16 22:54:15] 903*2^1253464-1 is not prime. Res64: 77A7F47837866217 Time : 0.0 sec. user=mdettweiler [2013-09-16 22:54:16] 959*2^1253464-1 is not prime. Res64: 850C718E67CAE558 Time : 0.0 sec. user=mdettweiler [2013-09-16 22:57:08] 965*2^1253464-1 is not prime. Res64: 6D13E258883DCAFA Time : 0.0 sec. user=mdettweiler [2013-09-16 22:57:08] 691*2^1253465-1 is not prime. Res64: 74C45D935B53CC56 Time : 0.0 sec. user=mdettweiler [2013-09-16 23:02:29] 907*2^1253465-1 is not prime. Res64: 89564D9546342B86 Time : 0.0 sec. user=mdettweiler [2013-09-16 23:02:30] 949*2^1253465-1 is not prime. Res64: 4A3D8B0CA0CB7039 Time : 0.0 sec. user=mdettweiler [2013-09-16 23:11:13] 635*2^1253466-1 is not prime. Res64: 7DB5E000E8F37B46 Time : 0.0 sec. user=mdettweiler [2013-09-16 23:11:14] 741*2^1253466-1 is not prime. Res64: DCD38AD6C6FEA336 Time : 0.0 sec. user=mdettweiler [2013-09-16 23:13:57] 755*2^1253466-1 is not prime. Res64: C2DF1BD596E04FFB Time : 0.0 sec. user=mdettweiler [2013-09-16 23:13:58] 803*2^1253466-1 is not prime. Res64: 67C5315B9D1D7C0E Time : 0.0 sec. user=mdettweiler [2013-09-16 23:18:35] 867*2^1253466-1 is not prime. Res64: B6B44C9397DDCFD6 Time : 0.0 sec. user=mdettweiler [2013-09-16 23:18:36] 963*2^1253466-1 is not prime. Res64: 2FE42DE743D6F1C1 Time : 0.0 sec. user=mdettweiler [2013-09-16 23:22:21] 615*2^1253467-1 is not prime. Res64: 68F28366663AC7CB Time : 0.0 sec. user=mdettweiler [2013-09-16 23:22:22] 681*2^1253467-1 is not prime. Res64: C3C65FC38FE1EB2A Time : 0.0 sec. user=mdettweiler [2013-09-16 23:30:44] 735*2^1253467-1 is not prime. Res64: DC1648BBF618A526 Time : 0.0 sec. user=mdettweiler [2013-09-16 23:30:45] 741*2^1253467-1 is not prime. Res64: 9065A7A1E3D19FBA Time : 0.0 sec. user=mdettweiler [2013-09-16 23:33:24] 775*2^1253467-1 is not prime. Res64: 8E323EF0EC115D77 Time : 0.0 sec. user=mdettweiler [2013-09-16 23:33:25] 819*2^1253467-1 is not prime. Res64: 0F26816585C224BB Time : 0.0 sec. user=mdettweiler [2013-09-16 23:38:01] 841*2^1253467-1 is not prime. Res64: 0ED19BB650939B43 Time : 0.0 sec. user=mdettweiler [2013-09-16 23:38:02] 859*2^1253467-1 is not prime. Res64: 2AB5A8B97FE60569 Time : 0.0 sec. user=mdettweiler [2013-09-16 23:42:46] 909*2^1253467-1 is not prime. Res64: 97BF13BD57C549AF Time : 0.0 sec. user=mdettweiler [2013-09-16 23:42:46] 635*2^1253468-1 is not prime. Res64: 4DFB3453A10594E2 Time : 0.0 sec. user=mdettweiler [2013-09-16 23:50:35] 659*2^1253468-1 is not prime. Res64: 1B20FC97E79EC240 Time : 0.0 sec. user=mdettweiler [2013-09-16 23:50:35] 707*2^1253468-1 is not prime. Res64: 4BE4B83CFE2DF07E Time : 0.0 sec. user=mdettweiler [2013-09-16 23:54:25] 833*2^1253468-1 is not prime. Res64: A9DF73F6F0F804A4 Time : 0.0 sec. user=mdettweiler [2013-09-16 23:54:25] 953*2^1253468-1 is not prime. Res64: 485B91AF2EC4FE58 Time : 0.0 sec. user=mdettweiler [2013-09-16 23:58:21] 609*2^1253469-1 is not prime. Res64: 7D59735ED99C8497 Time : 0.0 sec. user=mdettweiler [2013-09-16 23:58:22] 657*2^1253469-1 is not prime. Res64: 5E0547C12640BE77 Time : 0.0 sec.