user=vaughan [2013-06-24 00:26:06] 949*2^1247195-1 is not prime. Res64: 1DA1E6F7ECE1816A Time : 0.0 sec. user=mdettweiler [2013-06-24 00:28:51] 913*2^1247195-1 is not prime. Res64: B6F19666E15BF286 Time : 0.0 sec. user=mdettweiler [2013-06-24 01:10:51] 981*2^1247195-1 is not prime. Res64: D95B62F162D9D66E Time : 0.0 sec. user=mdettweiler [2013-06-24 01:10:53] 609*2^1247196-1 is not prime. Res64: 7BB99BE50CD1CDA8 Time : 0.0 sec. user=mdettweiler [2013-06-24 01:28:22] 695*2^1247196-1 is not prime. Res64: A9A6A29CAB379FFE Time : 0.0 sec. user=mdettweiler [2013-06-24 01:28:22] 759*2^1247196-1 is not prime. Res64: 174B0A1D151F8C02 Time : 0.0 sec. user=vaughan [2013-06-24 01:42:41] 689*2^1247196-1 is not prime. Res64: ADAF044471EFA155 Time : 0.0 sec. user=mdettweiler [2013-06-24 01:45:48] 789*2^1247196-1 is not prime. Res64: B7DAEC2AD79CA1DD Time : 0.0 sec. user=mdettweiler [2013-06-24 01:45:49] 845*2^1247196-1 is not prime. Res64: B89C25983649E119 Time : 0.0 sec. user=mdettweiler [2013-06-24 02:02:59] 757*2^1247197-1 is not prime. Res64: 1540ED296312D69B Time : 0.0 sec. user=vaughan [2013-06-24 02:25:39] 887*2^1247196-1 is not prime. Res64: 21A426507C4021D9 Time : 0.0 sec. user=mdettweiler [2013-06-24 02:29:19] 759*2^1247197-1 is not prime. Res64: F617F0B9356419FB Time : 0.0 sec. user=mdettweiler [2013-06-24 02:46:36] 847*2^1247197-1 is not prime. Res64: 6DD5DAA6253A16BB Time : 0.0 sec. user=vaughan [2013-06-24 03:03:52] 831*2^1247197-1 is not prime. Res64: CA3D136CA1A69318 Time : 0.0 sec. user=mdettweiler [2013-06-24 03:10:35] 867*2^1247197-1 is not prime. Res64: FBEE1DF9E5B0DA82 Time : 0.0 sec. user=mdettweiler [2013-06-24 03:28:42] 931*2^1247197-1 is not prime. Res64: F259978138D77D2A Time : 0.0 sec. user=mdettweiler [2013-06-24 03:28:43] 979*2^1247197-1 is not prime. Res64: 8A02E261EEC4E1C1 Time : 0.0 sec. user=mdettweiler [2013-06-24 03:46:03] 827*2^1247198-1 is not prime. Res64: 5DED80BDCD0507CE Time : 0.0 sec. user=mdettweiler [2013-06-24 03:46:03] 885*2^1247198-1 is not prime. Res64: 36FC91D82DCB02A9 Time : 0.0 sec. user=mdettweiler [2013-06-24 04:03:04] 649*2^1247199-1 is not prime. Res64: 8DDCEE703DBEA8A1 Time : 0.0 sec. user=mdettweiler [2013-06-24 04:03:05] 735*2^1247199-1 is not prime. Res64: 5E3B31D3E7EF40D2 Time : 0.0 sec. user=mdettweiler [2013-06-24 04:20:38] 865*2^1247199-1 is not prime. Res64: 03A6F4D17CC132A6 Time : 0.0 sec. user=vaughan [2013-06-24 04:25:12] 957*2^1247198-1 is not prime. Res64: 490EBDAB3482AD2F Time : 0.0 sec. user=mdettweiler [2013-06-24 04:44:37] 919*2^1247199-1 is not prime. Res64: 4ABCC49119E644A4 Time : 0.0 sec. user=mdettweiler [2013-06-24 05:01:53] 645*2^1247200-1 is not prime. Res64: E15E614C74094758 Time : 0.0 sec. user=mdettweiler [2013-06-24 05:01:54] 653*2^1247200-1 is not prime. Res64: 4EDF60626F2EA1E9 Time : 0.0 sec. user=vaughan [2013-06-24 05:03:39] 629*2^1247200-1 is not prime. Res64: D3E6111FFA694B9E Time : 0.0 sec. user=mdettweiler [2013-06-24 05:19:26] 675*2^1247200-1 is not prime. Res64: 8E9875B404147D87 Time : 0.0 sec. user=mdettweiler [2013-06-24 05:52:54] 689*2^1247200-1 is not prime. Res64: F38E39DE22F18714 Time : 0.0 sec. user=mdettweiler [2013-06-24 06:10:11] 929*2^1247200-1 is not prime. Res64: C5A8AF6B455F1A19 Time : 0.0 sec. user=vaughan [2013-06-24 06:20:43] 777*2^1247200-1 is not prime. Res64: E9FF747F59007659 Time : 0.0 sec. user=mdettweiler [2013-06-24 06:39:10] 747*2^1247201-1 is not prime. Res64: 1CD6304EB0F2ABCA Time : 0.0 sec. user=mdettweiler [2013-06-24 07:23:10] 949*2^1247201-1 is not prime. Res64: 36475905702EED8B Time : 0.0 sec. user=vaughan [2013-06-24 07:36:54] 855*2^1247201-1 is not prime. Res64: 03C827F3AD9E86D7 Time : 0.0 sec. user=mdettweiler [2013-06-24 07:52:22] 955*2^1247201-1 is not prime. Res64: B80538EEDAF9B1A2 Time : 0.0 sec. user=mdettweiler [2013-06-24 08:09:27] 651*2^1247202-1 is not prime. Res64: 5494AA04473A083D Time : 0.0 sec. user=mdettweiler [2013-06-24 08:09:28] 725*2^1247202-1 is not prime. Res64: 853A3F384D0DA527 Time : 0.0 sec. user=vaughan [2013-06-24 08:15:24] 621*2^1247202-1 is not prime. Res64: 7D7D9E68847B6FB9 Time : 0.0 sec. user=mdettweiler [2013-06-24 08:26:58] 741*2^1247202-1 is not prime. Res64: 5BAE3122FCD81F83 Time : 0.0 sec. user=mdettweiler [2013-06-24 08:51:18] 941*2^1247202-1 is not prime. Res64: 264BA1ED0A3FE256 Time : 0.0 sec. user=vaughan [2013-06-24 09:31:53] 609*2^1247203-1 is not prime. Res64: BC84AA0E205942B4 Time : 0.0 sec. user=mdettweiler [2013-06-24 09:42:07] 619*2^1247203-1 is not prime. Res64: 9BA16CC7B96F1068 Time : 0.0 sec. user=mdettweiler [2013-06-24 09:42:07] 705*2^1247203-1 is not prime. Res64: 1C6481030F39C277 Time : 0.0 sec. user=mdettweiler [2013-06-24 09:59:27] 775*2^1247203-1 is not prime. Res64: 8FF1662F28D9C47A Time : 0.0 sec. user=mdettweiler [2013-06-24 09:59:27] 853*2^1247203-1 is not prime. Res64: A6A117D08BF7D157 Time : 0.0 sec. user=vaughan [2013-06-24 10:09:55] 769*2^1247203-1 is not prime. Res64: 13DA085F0FE3DF38 Time : 0.0 sec. user=mdettweiler [2013-06-24 10:16:46] 859*2^1247203-1 is not prime. Res64: 9DEBD62923DC8C72 Time : 0.0 sec. user=mdettweiler [2013-06-24 10:16:46] 885*2^1247203-1 is not prime. Res64: 4F1101510A124F63 Time : 0.0 sec. user=mdettweiler [2013-06-24 10:33:52] 615*2^1247204-1 is not prime. Res64: 7691804EC813DA66 Time : 0.0 sec. user=mdettweiler [2013-06-24 10:33:52] 617*2^1247204-1 is not prime. Res64: DB68EE25EFD6322D Time : 0.0 sec. user=mdettweiler [2013-06-24 10:50:53] 627*2^1247205-1 is not prime. Res64: 2E183EC4F0EE3F97 Time : 0.0 sec. user=mdettweiler [2013-06-24 10:50:54] 651*2^1247205-1 is not prime. Res64: 86F6E9CA7DD86C65 Time : 0.0 sec. user=vaughan [2013-06-24 10:52:57] 939*2^1247203-1 is not prime. Res64: 815F0518666DE48C Time : 0.0 sec. user=mdettweiler [2013-06-24 11:08:18] 717*2^1247205-1 is not prime. Res64: 617BED30C7242935 Time : 0.0 sec. user=mdettweiler [2013-06-24 11:30:12] 759*2^1247205-1 is not prime. Res64: 5EB0B022CBC736CB Time : 0.0 sec. user=vaughan [2013-06-24 11:31:15] 781*2^1247205-1 is not prime. Res64: 554322236E1AE7EB Time : 0.0 sec. user=mdettweiler [2013-06-24 12:13:29] 795*2^1247205-1 is not prime. Res64: E7B87701E967599A Time : 0.0 sec. user=mdettweiler [2013-06-24 12:13:30] 861*2^1247205-1 is not prime. Res64: 274E467299B3F2B4 Time : 0.0 sec. user=mdettweiler [2013-06-24 12:31:46] 937*2^1247205-1 is not prime. Res64: CA718362319CBF93 Time : 0.0 sec. user=vaughan [2013-06-24 12:48:18] 871*2^1247205-1 is not prime. Res64: F2C23B9A24155E11 Time : 0.0 sec. user=mdettweiler [2013-06-24 12:55:10] 975*2^1247205-1 is not prime. Res64: B20512E0B2C28947 Time : 0.0 sec. user=vaughan [2013-06-24 13:31:35] 997*2^1247205-1 is not prime. Res64: 470B385024595342 Time : 0.0 sec. user=mdettweiler [2013-06-24 13:46:12] 645*2^1247206-1 is not prime. Res64: 504D5B31A9956940 Time : 0.0 sec. user=mdettweiler [2013-06-24 14:07:45] 743*2^1247206-1 is not prime. Res64: D8625C0AEB533228 Time : 0.0 sec. user=vaughan [2013-06-24 14:09:55] 765*2^1247206-1 is not prime. Res64: 27CEE70BE46810C5 Time : 0.0 sec. user=mdettweiler [2013-06-24 14:25:15] 777*2^1247206-1 is not prime. Res64: DAB9524E3C678895 Time : 0.0 sec. user=mdettweiler [2013-06-24 14:44:59] 857*2^1247206-1 is not prime. Res64: 0FF426500F4E4BFE Time : 0.0 sec. user=vaughan [2013-06-24 14:53:09] 911*2^1247206-1 is not prime. Res64: F6C2F8F64A2D9420 Time : 0.0 sec. user=mdettweiler [2013-06-24 15:02:58] 917*2^1247206-1 is not prime. Res64: 94FDC48BC3FD016D Time : 0.0 sec. user=mdettweiler [2013-06-24 15:02:59] 971*2^1247206-1 is not prime. Res64: E12AA6CC9F83973A Time : 0.0 sec. user=mdettweiler [2013-06-24 15:20:17] 643*2^1247207-1 is not prime. Res64: 960049205282C2C3 Time : 0.0 sec. user=mdettweiler [2013-06-24 15:20:18] 705*2^1247207-1 is not prime. Res64: C0117504287BA7A2 Time : 0.0 sec. user=vaughan [2013-06-24 15:36:11] 987*2^1247206-1 is not prime. Res64: 11496B0E689AEFEE Time : 0.0 sec. user=mdettweiler [2013-06-24 15:37:36] 775*2^1247207-1 is not prime. Res64: DE1B1B452143C000 Time : 0.0 sec. user=mdettweiler [2013-06-24 15:37:36] 831*2^1247207-1 is not prime. Res64: 94FC54E6E26993AD Time : 0.0 sec. user=mdettweiler [2013-06-24 15:54:54] 879*2^1247207-1 is not prime. Res64: 669DD62FEF889B6C Time : 0.0 sec. user=mdettweiler [2013-06-24 15:55:11] 635*2^1247208-1 is not prime. Res64: 483CA38085E33D66 Time : 0.0 sec. user=vaughan [2013-06-24 16:14:29] 861*2^1247207-1 is not prime. Res64: 84F5DAE77F3006AC Time : 0.0 sec. user=mdettweiler [2013-06-24 16:33:02] 747*2^1247208-1 is not prime. Res64: 7CC7640F32CDE47D Time : 0.0 sec. user=vaughan [2013-06-24 16:52:44] 663*2^1247208-1 is not prime. Res64: A4329DB9B3CD6B83 Time : 0.0 sec. user=mdettweiler [2013-06-24 17:00:42] 767*2^1247208-1 is not prime. Res64: 58BBEC067AEFA840 Time : 0.0 sec. user=mdettweiler [2013-06-24 17:54:40] 685*2^1247209-1 is not prime. Res64: 6A83E7D45297DA3A Time : 0.0 sec. user=mdettweiler [2013-06-24 17:54:41] 645*2^1247210-1 is not prime. Res64: 26CB476F0B837BCA Time : 0.0 sec. user=vaughan [2013-06-24 18:09:20] 879*2^1247208-1 is not prime. Res64: 480D445D08D6C0B7 Time : 0.0 sec. user=mdettweiler [2013-06-24 18:11:50] 791*2^1247210-1 is not prime. Res64: 46AAAE6307C9EBC4 Time : 0.0 sec. user=mdettweiler [2013-06-24 18:11:51] 831*2^1247210-1 is not prime. Res64: A102DACA450D29FE Time : 0.0 sec. user=mdettweiler [2013-06-24 18:29:12] 923*2^1247210-1 is not prime. Res64: B54481FDA2A188B3 Time : 0.0 sec. user=mdettweiler [2013-06-24 18:29:13] 957*2^1247210-1 is not prime. Res64: EF215F25176DAFF6 Time : 0.0 sec. user=mdettweiler [2013-06-24 18:46:13] 703*2^1247211-1 is not prime. Res64: 52E5DCF68E0231CC Time : 0.0 sec. user=mdettweiler [2013-06-24 18:46:14] 781*2^1247211-1 is not prime. Res64: A4BADCB845C08CE8 Time : 0.0 sec. user=vaughan [2013-06-24 18:52:30] 911*2^1247210-1 is not prime. Res64: 852B7AB6A2DA9E9F Time : 0.0 sec. user=mdettweiler [2013-06-24 19:03:39] 783*2^1247211-1 is not prime. Res64: 5743F1DDA07F1A4D Time : 0.0 sec. user=mdettweiler [2013-06-24 19:03:41] 903*2^1247211-1 is not prime. Res64: 7370B663DBDC119A Time : 0.0 sec. user=mdettweiler [2013-06-24 19:22:33] 973*2^1247211-1 is not prime. Res64: B02B9B96579F569B Time : 0.0 sec. user=mdettweiler [2013-06-24 19:22:34] 975*2^1247211-1 is not prime. Res64: 9E8B34B2FEF6E9D3 Time : 0.0 sec. user=vaughan [2013-06-24 19:35:39] 961*2^1247211-1 is not prime. Res64: A38A226084E35A79 Time : 0.0 sec. user=mdettweiler [2013-06-24 19:39:54] 615*2^1247212-1 is not prime. Res64: DB15FDCFDB882161 Time : 0.0 sec. user=mdettweiler [2013-06-24 20:02:09] 639*2^1247212-1 is not prime. Res64: 5D37145E18D66BF3 Time : 0.0 sec. user=mdettweiler [2013-06-24 20:38:31] 765*2^1247212-1 is not prime. Res64: 2DD9292D3F5A8F9D Time : 0.0 sec. user=vaughan [2013-06-24 20:52:15] 743*2^1247212-1 is not prime. Res64: 2AC96971E998532C Time : 0.0 sec. user=mdettweiler [2013-06-24 21:13:34] 813*2^1247212-1 is not prime. Res64: C890A99E77D56C45 Time : 0.0 sec. user=vaughan [2013-06-24 21:30:21] 855*2^1247212-1 is not prime. Res64: 070D5F0E661AF742 Time : 0.0 sec. user=mdettweiler [2013-06-24 21:30:45] 923*2^1247212-1 is not prime. Res64: 1F5E03CBE04DD360 Time : 0.0 sec. user=mdettweiler [2013-06-24 21:30:45] 939*2^1247212-1 is not prime. Res64: 58789E79C3A3CCBF Time : 0.0 sec. user=mdettweiler [2013-06-24 21:47:59] 669*2^1247213-1 is not prime. Res64: 8CCD387552E00DC0 Time : 0.0 sec. user=mdettweiler [2013-06-24 22:23:33] 735*2^1247213-1 is not prime. Res64: 610F0DBC4F5DE47B Time : 0.0 sec. user=mdettweiler [2013-06-24 22:41:36] 745*2^1247213-1 is not prime. Res64: 159E38B2C72DDA8D Time : 0.0 sec. user=vaughan [2013-06-24 22:52:09] 987*2^1247212-1 is not prime. Res64: 2D8FC30F118EB4A2 Time : 0.0 sec. user=mdettweiler [2013-06-24 23:11:13] 747*2^1247213-1 is not prime. Res64: CBB55CA14BFF1381 Time : 0.0 sec. user=vaughan [2013-06-24 23:30:33] 775*2^1247213-1 is not prime. Res64: 438A06E630C077A7 Time : 0.0 sec.