user=mdettweiler [2013-08-18 00:05:29] 847*2^1251061-1 is not prime. Res64: 4143D77DBD27B971 Time : 0.0 sec. user=mdettweiler [2013-08-18 00:05:30] 861*2^1251061-1 is not prime. Res64: BDD5153457C3C5D3 Time : 0.0 sec. user=mdettweiler [2013-08-18 00:07:25] 603*2^1251062-1 is not prime. Res64: 2F2A4DAAAC01183E Time : 0.0 sec. user=mdettweiler [2013-08-18 00:07:27] 785*2^1251062-1 is not prime. Res64: 0659AC87F3A339FC Time : 0.0 sec. user=mdettweiler [2013-08-18 00:13:14] 813*2^1251062-1 is not prime. Res64: 729B9AE93CA65375 Time : 0.0 sec. user=mdettweiler [2013-08-18 00:13:15] 825*2^1251062-1 is not prime. Res64: 737BB1C28C493E98 Time : 0.0 sec. user=mdettweiler [2013-08-18 00:18:30] 827*2^1251062-1 is not prime. Res64: 9EF56202A083BEAF Time : 0.0 sec. user=mdettweiler [2013-08-18 00:18:30] 833*2^1251062-1 is not prime. Res64: A82C1A8B0EFB6C92 Time : 0.0 sec. user=mdettweiler [2013-08-18 00:26:14] 867*2^1251062-1 is not prime. Res64: 49D91589A16A2D49 Time : 0.0 sec. user=mdettweiler [2013-08-18 00:26:14] 873*2^1251062-1 is not prime. Res64: 01D5221AC1D3324D Time : 0.0 sec. user=mdettweiler [2013-08-18 00:28:51] 897*2^1251062-1 is not prime. Res64: D5047B7CC68854C3 Time : 0.0 sec. user=mdettweiler [2013-08-18 00:28:51] 935*2^1251062-1 is not prime. Res64: 4E250B4271067B9E Time : 0.0 sec. user=mdettweiler [2013-08-18 00:33:40] 643*2^1251063-1 is not prime. Res64: 8DA477A90D8D713F Time : 0.0 sec. user=mdettweiler [2013-08-18 00:33:41] 723*2^1251063-1 is not prime. Res64: 437A94605A375C85 Time : 0.0 sec. user=mdettweiler [2013-08-18 00:39:01] 739*2^1251063-1 is not prime. Res64: 59605CA60E15114F Time : 0.0 sec. user=mdettweiler [2013-08-18 00:39:01] 859*2^1251063-1 is not prime. Res64: 07CCA75310A70637 Time : 0.0 sec. user=mdettweiler [2013-08-18 00:47:22] 951*2^1251063-1 is not prime. Res64: 7B2C7BC08C2DA975 Time : 0.0 sec. user=mdettweiler [2013-08-18 00:47:22] 755*2^1251064-1 is not prime. Res64: 3F374D5E2ADEF56C Time : 0.0 sec. user=mdettweiler [2013-08-18 00:48:58] 803*2^1251064-1 is not prime. Res64: 2A08E3E7DC9EEEF2 Time : 0.0 sec. user=mdettweiler [2013-08-18 00:48:58] 827*2^1251064-1 is not prime. Res64: 405DCCF742CBDB4E Time : 0.0 sec. user=mdettweiler [2013-08-18 00:53:47] 849*2^1251064-1 is not prime. Res64: 3B6627F633ABC421 Time : 0.0 sec. user=mdettweiler [2013-08-18 00:53:48] 875*2^1251064-1 is not prime. Res64: 6CAB974F5781949D Time : 0.0 sec. user=mdettweiler [2013-08-18 01:00:08] 887*2^1251064-1 is not prime. Res64: FEED03EA9FA42556 Time : 0.0 sec. user=mdettweiler [2013-08-18 01:00:10] 965*2^1251064-1 is not prime. Res64: F1B1FDD60C19D8CC Time : 0.0 sec. user=mdettweiler [2013-08-18 01:07:29] 619*2^1251065-1 is not prime. Res64: 78F2A9D62EFBABFD Time : 0.0 sec. user=mdettweiler [2013-08-18 01:07:30] 651*2^1251065-1 is not prime. Res64: 5BDA011A2AAE56AA Time : 0.0 sec. user=mdettweiler [2013-08-18 01:09:03] 685*2^1251065-1 is not prime. Res64: 8E33E47C0D8C1A70 Time : 0.0 sec. user=mdettweiler [2013-08-18 01:09:04] 777*2^1251065-1 is not prime. Res64: 4B32D8A277411116 Time : 0.0 sec. user=mdettweiler [2013-08-18 01:14:48] 795*2^1251065-1 is not prime. Res64: A94BE856365F1F66 Time : 0.0 sec. user=mdettweiler [2013-08-18 01:14:48] 937*2^1251065-1 is not prime. Res64: 8FF6C9E1BE3863F2 Time : 0.0 sec. user=mdettweiler [2013-08-18 01:22:09] 917*2^1251066-1 is not prime. Res64: F0CC2F0BD38E6272 Time : 0.0 sec. user=mdettweiler [2013-08-18 01:22:09] 921*2^1251066-1 is not prime. Res64: D7D1D807671CF91C Time : 0.0 sec. user=mdettweiler [2013-08-18 01:28:29] 1001*2^1251066-1 is not prime. Res64: 00C45BF3C52AEB11 Time : 0.0 sec. user=mdettweiler [2013-08-18 01:28:29] 681*2^1251067-1 is not prime. Res64: 47F776F414594580 Time : 0.0 sec. user=mdettweiler [2013-08-18 01:31:07] 931*2^1251067-1 is not prime. Res64: FD1E5333B6F7F34C Time : 0.0 sec. user=mdettweiler [2013-08-18 01:31:07] 961*2^1251067-1 is not prime. Res64: 42313D0B2BCE69B6 Time : 0.0 sec. user=mdettweiler [2013-08-18 01:35:49] 973*2^1251067-1 is not prime. Res64: 5DA9F3C00BCD57CD Time : 0.0 sec. user=mdettweiler [2013-08-18 01:35:50] 617*2^1251068-1 is not prime. Res64: 09B854CB29245285 Time : 0.0 sec. user=mdettweiler [2013-08-18 01:42:18] 665*2^1251068-1 is not prime. Res64: 72EDC08AEA44C9B8 Time : 0.0 sec. user=mdettweiler [2013-08-18 01:42:18] 677*2^1251068-1 is not prime. Res64: 72DF68B4D30652E7 Time : 0.0 sec. user=mdettweiler [2013-08-18 01:48:31] 707*2^1251068-1 is not prime. Res64: C5A18B79AFAD8FD2 Time : 0.0 sec. user=mdettweiler [2013-08-18 01:48:31] 837*2^1251068-1 is not prime. Res64: C06A02CAD246A4CC Time : 0.0 sec. user=mdettweiler [2013-08-18 01:52:06] 855*2^1251068-1 is not prime. Res64: C5186B9F12A209F2 Time : 0.0 sec. user=mdettweiler [2013-08-18 01:52:07] 945*2^1251068-1 is not prime. Res64: A22347E693B6D3F5 Time : 0.0 sec. user=mdettweiler [2013-08-18 01:57:44] 963*2^1251068-1 is not prime. Res64: B1C92138F7A2C72E Time : 0.0 sec. user=mdettweiler [2013-08-18 01:57:44] 999*2^1251068-1 is not prime. Res64: 2653479BDAD3F85E Time : 0.0 sec. user=mdettweiler [2013-08-18 02:02:22] 609*2^1251069-1 is not prime. Res64: DAEAD0C0F2446C8C Time : 0.0 sec. user=mdettweiler [2013-08-18 02:02:23] 657*2^1251069-1 is not prime. Res64: 67D0A4CB6044B290 Time : 0.0 sec. user=mdettweiler [2013-08-18 02:08:31] 721*2^1251069-1 is not prime. Res64: 29F7E28F5DA04FDE Time : 0.0 sec. user=mdettweiler [2013-08-18 02:08:32] 795*2^1251069-1 is not prime. Res64: DD28544FDA69EEE4 Time : 0.0 sec. user=mdettweiler [2013-08-18 02:12:08] 831*2^1251069-1 is not prime. Res64: 83AD13D34AA3F7D1 Time : 0.0 sec. user=mdettweiler [2013-08-18 02:12:08] 891*2^1251069-1 is not prime. Res64: 5C53146F2CA41DBB Time : 0.0 sec. user=mdettweiler [2013-08-18 02:18:43] 997*2^1251069-1 is not prime. Res64: E9BC6A1A7FFCE762 Time : 0.0 sec. user=mdettweiler [2013-08-18 02:18:43] 713*2^1251070-1 is not prime. Res64: 2B76789F8FA25C2F Time : 0.0 sec. user=mdettweiler [2013-08-18 02:22:28] 741*2^1251070-1 is not prime. Res64: B8D5843F848EF7C7 Time : 0.0 sec. user=mdettweiler [2013-08-18 02:22:28] 827*2^1251070-1 is not prime. Res64: BC91CE3C7987292F Time : 0.0 sec. user=mdettweiler [2013-08-18 02:30:38] 917*2^1251070-1 is not prime. Res64: D96BEE2DD31580B9 Time : 0.0 sec. user=mdettweiler [2013-08-18 02:30:39] 987*2^1251070-1 is not prime. Res64: 852D4C9A6D03DCF0 Time : 0.0 sec. user=mdettweiler [2013-08-18 02:32:25] 601*2^1251071-1 is not prime. Res64: 1416FB5E5553C098 Time : 0.0 sec. user=mdettweiler [2013-08-18 02:32:26] 619*2^1251071-1 is not prime. Res64: 92FAEC2C9A031005 Time : 0.0 sec. user=mdettweiler [2013-08-18 02:39:01] 789*2^1251071-1 is not prime. Res64: A9BA58B5666F8C8E Time : 0.0 sec. user=mdettweiler [2013-08-18 02:39:01] 855*2^1251071-1 is not prime. Res64: 89457D6C4C9EB18D Time : 0.0 sec. user=mdettweiler [2013-08-18 02:43:38] 883*2^1251071-1 is not prime. Res64: 15C3F59EB29910FF Time : 0.0 sec. user=mdettweiler [2013-08-18 02:43:38] 901*2^1251071-1 is not prime. Res64: CB471E7A0E18D418 Time : 0.0 sec. user=mdettweiler [2013-08-18 02:52:39] 635*2^1251072-1 is not prime. Res64: B14EF2117AA29AAE Time : 0.0 sec. user=mdettweiler [2013-08-18 02:52:39] 665*2^1251072-1 is not prime. Res64: 548043615522051F Time : 0.0 sec. user=mdettweiler [2013-08-18 02:52:54] 909*2^1251071-1 is not prime. Res64: CB301B5443BFA34B Time : 0.0 sec. user=mdettweiler [2013-08-18 02:52:54] 949*2^1251071-1 is not prime. Res64: A7429285BA748934 Time : 0.0 sec. user=mdettweiler [2013-08-18 02:59:05] 689*2^1251072-1 is not prime. Res64: DB217658974E3609 Time : 0.0 sec. user=mdettweiler [2013-08-18 02:59:05] 713*2^1251072-1 is not prime. Res64: 5AE4F265D8E583C1 Time : 0.0 sec. user=mdettweiler [2013-08-18 03:04:50] 887*2^1251072-1 is not prime. Res64: 7B2F81739816B34D Time : 0.0 sec. user=mdettweiler [2013-08-18 03:04:51] 903*2^1251072-1 is not prime. Res64: B8F2A58B5C2766D5 Time : 0.0 sec. user=mdettweiler [2013-08-18 03:13:45] 945*2^1251072-1 is not prime. Res64: C7D340AF2D76E16E Time : 0.0 sec. user=mdettweiler [2013-08-18 03:13:46] 895*2^1251073-1 is not prime. Res64: BDB77F9BA3E43F34 Time : 0.0 sec. user=mdettweiler [2013-08-18 03:15:07] 901*2^1251073-1 is not prime. Res64: FC5DF1560D5A17CC Time : 0.0 sec. user=mdettweiler [2013-08-18 03:15:08] 939*2^1251073-1 is not prime. Res64: F64CF77517AFE957 Time : 0.0 sec. user=mdettweiler [2013-08-18 03:19:13] 605*2^1251074-1 is not prime. Res64: 20222D3439411996 Time : 0.0 sec. user=mdettweiler [2013-08-18 03:19:13] 623*2^1251074-1 is not prime. Res64: B9CEC73129BAADD4 Time : 0.0 sec. user=mdettweiler [2013-08-18 03:25:02] 747*2^1251074-1 is not prime. Res64: 28911DC0D487984C Time : 0.0 sec. user=mdettweiler [2013-08-18 03:25:02] 767*2^1251074-1 is not prime. Res64: AB7F3E05E4C46B1E Time : 0.0 sec. user=mdettweiler [2013-08-18 03:33:50] 825*2^1251074-1 is not prime. Res64: C9F37E98D9AADF86 Time : 0.0 sec. user=mdettweiler [2013-08-18 03:33:51] 837*2^1251074-1 is not prime. Res64: E5A31434D017C93C Time : 0.0 sec. user=mdettweiler [2013-08-18 03:36:03] 887*2^1251074-1 is not prime. Res64: FCC1128E9F494DBE Time : 0.0 sec. user=mdettweiler [2013-08-18 03:36:03] 927*2^1251074-1 is not prime. Res64: F84ED6DFEDD44BA4 Time : 0.0 sec. user=mdettweiler [2013-08-18 03:40:06] 981*2^1251074-1 is not prime. Res64: 2D444F52EA6354B1 Time : 0.0 sec. user=mdettweiler [2013-08-18 03:40:06] 735*2^1251075-1 is not prime. Res64: 235D3895C124CD14 Time : 0.0 sec. user=mdettweiler [2013-08-18 03:44:56] 741*2^1251075-1 is not prime. Res64: 6B0E82C45E2CFC47 Time : 0.0 sec. user=mdettweiler [2013-08-18 03:44:57] 891*2^1251075-1 is not prime. Res64: 057C14BFF7709047 Time : 0.0 sec. user=mdettweiler [2013-08-18 03:53:50] 617*2^1251076-1 is not prime. Res64: 7CA79C0DB9DB8260 Time : 0.0 sec. user=mdettweiler [2013-08-18 03:53:50] 647*2^1251076-1 is not prime. Res64: 59A8D3DEB5941D0E Time : 0.0 sec. user=mdettweiler [2013-08-18 03:55:57] 723*2^1251076-1 is not prime. Res64: D4BD87D679F1DFF6 Time : 0.0 sec. user=mdettweiler [2013-08-18 03:55:57] 627*2^1251077-1 is not prime. Res64: B1B0513D8E426C40 Time : 0.0 sec. user=mdettweiler [2013-08-18 04:00:04] 655*2^1251077-1 is not prime. Res64: C78C478EDE8C6326 Time : 0.0 sec. user=mdettweiler [2013-08-18 04:00:05] 715*2^1251077-1 is not prime. Res64: 42BA67E5E2B57711 Time : 0.0 sec. user=mdettweiler [2013-08-18 04:06:09] 747*2^1251077-1 is not prime. Res64: 88A224E4305039B5 Time : 0.0 sec. user=mdettweiler [2013-08-18 04:06:10] 939*2^1251077-1 is not prime. Res64: 26ECC8272A07ED3E Time : 0.0 sec. user=mdettweiler [2013-08-18 04:15:54] 821*2^1251078-1 is not prime. Res64: 7A717CCF5DDDF1B2 Time : 0.0 sec. user=mdettweiler [2013-08-18 04:15:54] 971*2^1251078-1 is not prime. Res64: 6D8E352E73452C91 Time : 0.0 sec. user=mdettweiler [2013-08-18 04:17:11] 603*2^1251079-1 is not prime. Res64: FDD46E8AC6D1E074 Time : 0.0 sec. user=mdettweiler [2013-08-18 04:17:11] 621*2^1251079-1 is not prime. Res64: 3ACBDD69ACFBDD4B Time : 0.0 sec. user=mdettweiler [2013-08-18 04:21:38] 709*2^1251079-1 is not prime. Res64: 0B44745395CEF986 Time : 0.0 sec. user=mdettweiler [2013-08-18 04:21:38] 729*2^1251079-1 is not prime. Res64: 266EB58FE85EF5AF Time : 0.0 sec. user=mdettweiler [2013-08-18 04:27:57] 741*2^1251079-1 is not prime. Res64: A1F68E775E42FC07 Time : 0.0 sec. user=mdettweiler [2013-08-18 04:27:57] 771*2^1251079-1 is not prime. Res64: AADF4D2D6836B176 Time : 0.0 sec. user=mdettweiler [2013-08-18 04:37:48] 853*2^1251079-1 is not prime. Res64: F9950FA19B2B9A4E Time : 0.0 sec. user=mdettweiler [2013-08-18 04:37:48] 951*2^1251079-1 is not prime. Res64: 0C22B5CC147C8CE2 Time : 0.0 sec. user=mdettweiler [2013-08-18 04:38:59] 999*2^1251079-1 is not prime. Res64: E0617FEB5B24E79A Time : 0.0 sec. user=mdettweiler [2013-08-18 04:39:00] 633*2^1251080-1 is not prime. Res64: 29F0BB0A79B2C8D1 Time : 0.0 sec. user=mdettweiler [2013-08-18 04:42:14] 813*2^1251080-1 is not prime. Res64: 6131291C10FF905C Time : 0.0 sec. user=mdettweiler [2013-08-18 04:42:15] 819*2^1251080-1 is not prime. Res64: D2294A3D5BCBCB24 Time : 0.0 sec. user=mdettweiler [2013-08-18 04:49:25] 879*2^1251080-1 is not prime. Res64: E1AA837842CBBA6D Time : 0.0 sec. user=mdettweiler [2013-08-18 04:49:26] 945*2^1251080-1 is not prime. Res64: 3061A41B27151C42 Time : 0.0 sec. user=mdettweiler [2013-08-18 04:59:28] 995*2^1251080-1 is not prime. Res64: 2D96A8FA5163B74C Time : 0.0 sec. user=mdettweiler [2013-08-18 04:59:28] 735*2^1251081-1 is not prime. Res64: 5B8CE9EC610B040B Time : 0.0 sec. user=mdettweiler [2013-08-18 04:59:34] 739*2^1251081-1 is not prime. Res64: 056617F8E4F0C6A4 Time : 0.0 sec. user=mdettweiler [2013-08-18 04:59:34] 745*2^1251081-1 is not prime. Res64: 28BBE406D2191DD2 Time : 0.0 sec. user=mdettweiler [2013-08-18 05:02:50] 837*2^1251081-1 is not prime. Res64: 05257973FB6F1DCB Time : 0.0 sec. user=mdettweiler [2013-08-18 05:02:51] 681*2^1251082-1 is not prime. Res64: 57215660F622562C Time : 0.0 sec. user=mdettweiler [2013-08-18 05:10:02] 735*2^1251082-1 is not prime. Res64: 02971C6B5E4DEAC0 Time : 0.0 sec. user=mdettweiler [2013-08-18 05:10:03] 619*2^1251083-1 is not prime. Res64: DCDF55E9F31BAD02 Time : 0.0 sec. user=mdettweiler [2013-08-18 05:21:20] 675*2^1251083-1 is not prime. Res64: 180ED17CA11AC698 Time : 0.0 sec. user=mdettweiler [2013-08-18 05:21:20] 789*2^1251083-1 is not prime. Res64: CB7B76C1A707156C Time : 0.0 sec. user=mdettweiler [2013-08-18 05:22:40] 823*2^1251083-1 is not prime. Res64: A711DDEB20AB6C1B Time : 0.0 sec. user=mdettweiler [2013-08-18 05:22:41] 949*2^1251083-1 is not prime. Res64: 22CF05E44BFB0AB2 Time : 0.0 sec. user=mdettweiler [2013-08-18 05:25:40] 963*2^1251083-1 is not prime. Res64: 58B9DE507C2F9911 Time : 0.0 sec. user=mdettweiler [2013-08-18 05:25:40] 717*2^1251084-1 is not prime. Res64: E2289C2B22C8D463 Time : 0.0 sec. user=mdettweiler [2013-08-18 05:31:38] 719*2^1251084-1 is not prime. Res64: 2D5996D1E19DFDAE Time : 0.0 sec. user=mdettweiler [2013-08-18 05:31:39] 723*2^1251084-1 is not prime. Res64: 7C17C8C3A63F1335 Time : 0.0 sec. user=mdettweiler [2013-08-18 05:43:49] 799*2^1251085-1 is not prime. Res64: 4C30378A92687642 Time : 0.0 sec. user=mdettweiler [2013-08-18 05:43:49] 663*2^1251086-1 is not prime. Res64: 4FB0979B51B1D631 Time : 0.0 sec. user=mdettweiler [2013-08-18 05:44:40] 905*2^1251084-1 is not prime. Res64: 62B7D5D9AB1A8E0B Time : 0.0 sec. user=mdettweiler [2013-08-18 05:44:40] 929*2^1251084-1 is not prime. Res64: 4E5E269E1324C67E Time : 0.0 sec. user=mdettweiler [2013-08-18 05:46:49] 677*2^1251086-1 is not prime. Res64: FE4ADA567661367A Time : 0.0 sec. user=mdettweiler [2013-08-18 05:46:49] 693*2^1251086-1 is not prime. Res64: FB2A703E5E828F9E Time : 0.0 sec. user=mdettweiler [2013-08-18 05:52:38] 767*2^1251086-1 is not prime. Res64: 903BD942FE23D842 Time : 0.0 sec. user=mdettweiler [2013-08-18 05:52:39] 825*2^1251086-1 is not prime. Res64: 54573948CA3162F6 Time : 0.0 sec. user=mdettweiler [2013-08-18 06:05:14] 693*2^1251087-1 is not prime. Res64: 9024D164ECF309BD Time : 0.0 sec. user=mdettweiler [2013-08-18 06:05:14] 775*2^1251087-1 is not prime. Res64: 84B8517E03946C66 Time : 0.0 sec. user=mdettweiler [2013-08-18 06:05:27] 831*2^1251086-1 is not prime. Res64: 8B0A6FF7619E05F9 Time : 0.0 sec. user=mdettweiler [2013-08-18 06:05:28] 921*2^1251086-1 is not prime. Res64: 771E43ACF7A8475F Time : 0.0 sec. user=mdettweiler [2013-08-18 06:08:22] 805*2^1251087-1 is not prime. Res64: CE1CF8DA99B12961 Time : 0.0 sec. user=mdettweiler [2013-08-18 06:08:22] 931*2^1251087-1 is not prime. Res64: 3AE8057DBAA870B8 Time : 0.0 sec. user=mdettweiler [2013-08-18 06:14:14] 955*2^1251087-1 is not prime. Res64: ADC4AC8D3B86F768 Time : 0.0 sec. user=mdettweiler [2013-08-18 06:14:14] 605*2^1251088-1 is not prime. Res64: 40D8E922D35FC865 Time : 0.0 sec. user=mdettweiler [2013-08-18 06:25:41] 747*2^1251088-1 is not prime. Res64: 6C424C9C4BEEFDC3 Time : 0.0 sec. user=mdettweiler [2013-08-18 06:25:42] 813*2^1251088-1 is not prime. Res64: B24A59FE3CDA6240 Time : 0.0 sec. user=mdettweiler [2013-08-18 06:27:48] 915*2^1251088-1 is not prime. Res64: B649B42931A2A964 Time : 0.0 sec. user=mdettweiler [2013-08-18 06:27:48] 927*2^1251088-1 is not prime. Res64: 25E5FD6A4639FB53 Time : 0.0 sec. user=mdettweiler [2013-08-18 06:28:44] 637*2^1251089-1 is not prime. Res64: 3EA3A809A4247117 Time : 0.0 sec. user=mdettweiler [2013-08-18 06:28:44] 829*2^1251089-1 is not prime. Res64: 104E1B452786DAB6 Time : 0.0 sec. user=mdettweiler [2013-08-18 06:34:33] 847*2^1251089-1 is not prime. Res64: C1FD5774D925A7B3 Time : 0.0 sec. user=mdettweiler [2013-08-18 06:34:33] 867*2^1251089-1 is not prime. Res64: 443C43FF097F2F9F Time : 0.0 sec. user=mdettweiler [2013-08-18 06:47:50] 949*2^1251089-1 is not prime. Res64: 1391FBC4B9AA4A08 Time : 0.0 sec. user=mdettweiler [2013-08-18 06:47:51] 957*2^1251089-1 is not prime. Res64: 114F81F22FEF18BD Time : 0.0 sec. user=mdettweiler [2013-08-18 06:48:55] 967*2^1251089-1 is not prime. Res64: A5412B9FCB872A56 Time : 0.0 sec. user=mdettweiler [2013-08-18 06:48:56] 641*2^1251090-1 is not prime. Res64: 64C4791F25CAB336 Time : 0.0 sec. user=mdettweiler [2013-08-18 06:48:58] 735*2^1251090-1 is not prime. Res64: 441F3F164583FEBE Time : 0.0 sec. user=mdettweiler [2013-08-18 06:48:58] 851*2^1251090-1 is not prime. Res64: 207D52C8C3AFDD86 Time : 0.0 sec. user=mdettweiler [2013-08-18 06:54:40] 861*2^1251090-1 is not prime. Res64: 76096A43D45A4005 Time : 0.0 sec. user=mdettweiler [2013-08-18 06:54:40] 723*2^1251091-1 is not prime. Res64: 3FCDDA488F410855 Time : 0.0 sec. user=mdettweiler [2013-08-18 07:08:04] 813*2^1251091-1 is not prime. Res64: 2187E34FEB102DE1 Time : 0.0 sec. user=mdettweiler [2013-08-18 07:08:06] 843*2^1251091-1 is not prime. Res64: 818838BC5E257FA3 Time : 0.0 sec. user=mdettweiler [2013-08-18 07:09:08] 677*2^1251092-1 is not prime. Res64: 4BFAE0D5F04A14E7 Time : 0.0 sec. user=mdettweiler [2013-08-18 07:09:09] 735*2^1251092-1 is not prime. Res64: 72A8F0CE939DB00F Time : 0.0 sec. user=mdettweiler [2013-08-18 07:10:02] 939*2^1251091-1 is not prime. Res64: 589664E1FF10C1FB Time : 0.0 sec. user=mdettweiler [2013-08-18 07:10:03] 603*2^1251092-1 is not prime. Res64: E61730C1DB826960 Time : 0.0 sec. user=mdettweiler [2013-08-18 07:14:52] 759*2^1251092-1 is not prime. Res64: AA6066449C6CD979 Time : 0.0 sec. user=mdettweiler [2013-08-18 07:14:52] 767*2^1251092-1 is not prime. Res64: 1EBC8BBD71907A92 Time : 0.0 sec. user=mdettweiler [2013-08-18 07:28:17] 813*2^1251092-1 is not prime. Res64: 196E01F19F0BA62B Time : 0.0 sec. user=mdettweiler [2013-08-18 07:28:17] 825*2^1251092-1 is not prime. Res64: F7345968CF487146 Time : 0.0 sec. user=mdettweiler [2013-08-18 07:30:07] 843*2^1251092-1 is not prime. Res64: 594370047D724926 Time : 0.0 sec. user=mdettweiler [2013-08-18 07:30:07] 945*2^1251092-1 is not prime. Res64: 387792CEF6BD02D6 Time : 0.0 sec. user=mdettweiler [2013-08-18 07:30:10] 805*2^1251093-1 is not prime. Res64: 94371FB581EEC881 Time : 0.0 sec. user=mdettweiler [2013-08-18 07:30:11] 891*2^1251093-1 is not prime. Res64: B4B2F1BAB95AF7E8 Time : 0.0 sec. user=mdettweiler [2013-08-18 07:35:47] 999*2^1251093-1 is not prime. Res64: 3909AE309A5BD5E6 Time : 0.0 sec. user=mdettweiler [2013-08-18 07:35:47] 651*2^1251094-1 is not prime. Res64: D641158D11C58563 Time : 0.0 sec. user=mdettweiler [2013-08-18 07:48:15] 681*2^1251094-1 is not prime. Res64: 839BA51AA13BB55E Time : 0.0 sec. user=mdettweiler [2013-08-18 07:48:15] 783*2^1251094-1 is not prime. Res64: 4DD3DFCC8F6B8917 Time : 0.0 sec. user=mdettweiler [2013-08-18 07:50:06] 831*2^1251094-1 is not prime. Res64: A6501D0D07247F6D Time : 0.0 sec. user=mdettweiler [2013-08-18 07:50:06] 863*2^1251094-1 is not prime. Res64: CFEA7CA24A109904 Time : 0.0 sec. user=mdettweiler [2013-08-18 07:51:04] 643*2^1251095-1 is not prime. Res64: D48671E0C721ABBB Time : 0.0 sec. user=mdettweiler [2013-08-18 07:51:05] 921*2^1251095-1 is not prime. Res64: 61984DD6ED52A426 Time : 0.0 sec. user=mdettweiler [2013-08-18 07:55:49] 705*2^1251096-1 is not prime. Res64: D0E5874CC9DAC71E Time : 0.0 sec. user=mdettweiler [2013-08-18 07:55:49] 767*2^1251096-1 is not prime. Res64: E866450994864B3E Time : 0.0 sec. user=mdettweiler [2013-08-18 08:08:15] 777*2^1251096-1 is not prime. Res64: 155287E74AF11956 Time : 0.0 sec. user=mdettweiler [2013-08-18 08:08:15] 839*2^1251096-1 is not prime. Res64: 5802FF809856356A Time : 0.0 sec. user=mdettweiler [2013-08-18 08:11:03] 649*2^1251097-1 is not prime. Res64: F698B52FC8687134 Time : 0.0 sec. user=mdettweiler [2013-08-18 08:11:03] 741*2^1251097-1 is not prime. Res64: 0EB4DA9DB591BC31 Time : 0.0 sec. user=mdettweiler [2013-08-18 08:12:04] 903*2^1251096-1 is not prime. Res64: 406CD482F0637A40 Time : 0.0 sec. user=mdettweiler [2013-08-18 08:12:04] 917*2^1251096-1 is not prime. Res64: 4E5B7D0CEEFBC4A9 Time : 0.0 sec. user=mdettweiler [2013-08-18 08:15:51] 747*2^1251097-1 is not prime. Res64: 63B0773D0D57F115 Time : 0.0 sec. user=mdettweiler [2013-08-18 08:15:51] 751*2^1251097-1 is not prime. Res64: B1CCC9827A033D88 Time : 0.0 sec. user=mdettweiler [2013-08-18 08:28:24] 829*2^1251097-1 is not prime. Res64: 7C03307E48F491BA Time : 0.0 sec. user=mdettweiler [2013-08-18 08:28:25] 867*2^1251097-1 is not prime. Res64: B7E3C00440DD32C0 Time : 0.0 sec. user=mdettweiler [2013-08-18 08:32:04] 871*2^1251097-1 is not prime. Res64: 5911F62CBB3F480D Time : 0.0 sec. user=mdettweiler [2013-08-18 08:32:05] 931*2^1251097-1 is not prime. Res64: 7454CF156E7791C7 Time : 0.0 sec. user=mdettweiler [2013-08-18 08:32:09] 645*2^1251098-1 is not prime. Res64: 74C9EF6E1A99594C Time : 0.0 sec. user=mdettweiler [2013-08-18 08:32:09] 707*2^1251098-1 is not prime. Res64: C1DACFADED46D30D Time : 0.0 sec. user=mdettweiler [2013-08-18 08:35:56] 713*2^1251098-1 is not prime. Res64: 59E1C4225F968BAB Time : 0.0 sec. user=mdettweiler [2013-08-18 08:35:56] 743*2^1251098-1 is not prime. Res64: F7D25A62EC6604E3 Time : 0.0 sec. user=mdettweiler [2013-08-18 08:48:26] 791*2^1251098-1 is not prime. Res64: 3A4C3A0B5BE62451 Time : 0.0 sec. user=mdettweiler [2013-08-18 08:48:27] 867*2^1251098-1 is not prime. Res64: AB44B045C0966523 Time : 0.0 sec. user=mdettweiler [2013-08-18 08:52:11] 603*2^1251100-1 is not prime. Res64: 652D350538EBFC6E Time : 0.0 sec. user=mdettweiler [2013-08-18 08:52:11] 615*2^1251100-1 is not prime. Res64: 05C94660C0B37890 Time : 0.0 sec. user=mdettweiler [2013-08-18 08:53:06] 935*2^1251098-1 is not prime. Res64: EC9C33CF1F3A982C Time : 0.0 sec. user=mdettweiler [2013-08-18 08:53:06] 745*2^1251099-1 is not prime. Res64: 1D67C172FA0A2073 Time : 0.0 sec. user=mdettweiler [2013-08-18 08:57:53] 899*2^1251100-1 is not prime. Res64: EF60D50E044CF077 Time : 0.0 sec. user=mdettweiler [2013-08-18 08:57:53] 923*2^1251100-1 is not prime. Res64: 9B9ACEF3C114B349 Time : 0.0 sec. user=mdettweiler [2013-08-18 09:10:19] 983*2^1251100-1 is not prime. Res64: B5184F5ADDB449ED Time : 0.0 sec. user=mdettweiler [2013-08-18 09:10:20] 999*2^1251100-1 is not prime. Res64: 6C2AE1FFE45528A6 Time : 0.0 sec. user=mdettweiler [2013-08-18 09:12:10] 621*2^1251101-1 is not prime. Res64: C133E68015BDB084 Time : 0.0 sec. user=mdettweiler [2013-08-18 09:12:11] 691*2^1251101-1 is not prime. Res64: 78557676A7381402 Time : 0.0 sec. user=mdettweiler [2013-08-18 09:13:06] 715*2^1251101-1 is not prime. Res64: 604D2AE36E238F2F Time : 0.0 sec. user=mdettweiler [2013-08-18 09:13:07] 811*2^1251101-1 is not prime. Res64: 09AB2C72E7A79D03 Time : 0.0 sec. user=mdettweiler [2013-08-18 09:18:51] 889*2^1251101-1 is not prime. Res64: C3B30D98307C9265 Time : 0.0 sec. user=mdettweiler [2013-08-18 09:18:51] 941*2^1251102-1 is not prime. Res64: DB47980872BF2F58 Time : 0.0 sec. user=mdettweiler [2013-08-18 09:31:20] 965*2^1251102-1 is not prime. Res64: C69CE0EE8F2C8D81 Time : 0.0 sec. user=mdettweiler [2013-08-18 09:31:20] 603*2^1251103-1 is not prime. Res64: 32BBC2741B16DE0D Time : 0.0 sec. user=mdettweiler [2013-08-18 09:32:15] 751*2^1251103-1 is not prime. Res64: F5A17383E54092AB Time : 0.0 sec. user=mdettweiler [2013-08-18 09:32:15] 789*2^1251103-1 is not prime. Res64: AEE2EB55B9FA2A4C Time : 0.0 sec. user=mdettweiler [2013-08-18 09:33:06] 793*2^1251103-1 is not prime. Res64: 2BB84C20FD1D3944 Time : 0.0 sec. user=mdettweiler [2013-08-18 09:33:06] 813*2^1251103-1 is not prime. Res64: 2F02CDA58D9A4F8B Time : 0.0 sec. user=mdettweiler [2013-08-18 09:38:53] 853*2^1251103-1 is not prime. Res64: 94B751966CA20D16 Time : 0.0 sec. user=mdettweiler [2013-08-18 09:38:53] 855*2^1251103-1 is not prime. Res64: 7DF8EAE04DE074A2 Time : 0.0 sec. user=mdettweiler [2013-08-18 09:52:20] 933*2^1251103-1 is not prime. Res64: DBC8712F3AECE539 Time : 0.0 sec. user=mdettweiler [2013-08-18 09:52:21] 665*2^1251104-1 is not prime. Res64: 77544FFEC2315177 Time : 0.0 sec. user=mdettweiler [2013-08-18 09:52:24] 753*2^1251104-1 is not prime. Res64: D3CC1EEBECD24677 Time : 0.0 sec. user=mdettweiler [2013-08-18 09:52:24] 755*2^1251104-1 is not prime. Res64: 4ED95C89E2F77285 Time : 0.0 sec. user=mdettweiler [2013-08-18 09:54:06] 785*2^1251104-1 is not prime. Res64: DD10A3B8765A1868 Time : 0.0 sec. user=mdettweiler [2013-08-18 09:54:06] 923*2^1251104-1 is not prime. Res64: B5BD2391FEC773CF Time : 0.0 sec. user=mdettweiler [2013-08-18 10:01:01] 927*2^1251104-1 is not prime. Res64: A9E26855461786D7 Time : 0.0 sec. user=mdettweiler [2013-08-18 10:01:02] 945*2^1251104-1 is not prime. Res64: 2732216BD894D935 Time : 0.0 sec. user=mdettweiler [2013-08-18 10:13:22] 969*2^1251104-1 is not prime. Res64: 0E7C9F8DE8946D40 Time : 0.0 sec. user=mdettweiler [2013-08-18 10:13:22] 861*2^1251105-1 is not prime. Res64: 04D8374D4299AD7E Time : 0.0 sec. user=mdettweiler [2013-08-18 10:13:23] 889*2^1251105-1 is not prime. Res64: 8AD144F9F69595B5 Time : 0.0 sec. user=mdettweiler [2013-08-18 10:13:23] 937*2^1251105-1 is not prime. Res64: 754D02F534E6E9A7 Time : 0.0 sec. user=mdettweiler [2013-08-18 10:14:09] 735*2^1251106-1 is not prime. Res64: 8D8C604479142325 Time : 0.0 sec. user=mdettweiler [2013-08-18 10:14:09] 773*2^1251106-1 is not prime. Res64: D16490F23E4A2673 Time : 0.0 sec. user=mdettweiler [2013-08-18 10:21:11] 881*2^1251106-1 is not prime. Res64: F8283C3BD199C11E Time : 0.0 sec. user=mdettweiler [2013-08-18 10:21:12] 891*2^1251106-1 is not prime. Res64: 897D63206A1602A5 Time : 0.0 sec. user=mdettweiler [2013-08-18 10:33:29] 741*2^1251107-1 is not prime. Res64: 5ECAA23F453132E8 Time : 0.0 sec. user=mdettweiler [2013-08-18 10:33:29] 753*2^1251107-1 is not prime. Res64: 4057B68629807200 Time : 0.0 sec. user=mdettweiler [2013-08-18 10:34:17] 759*2^1251107-1 is not prime. Res64: 2FBF1F87F1CD138C Time : 0.0 sec. user=mdettweiler [2013-08-18 10:34:18] 885*2^1251107-1 is not prime. Res64: 189BB0442894AC97 Time : 0.0 sec. user=mdettweiler [2013-08-18 10:34:29] 923*2^1251106-1 is not prime. Res64: 0FFFA0AEE6AF6C64 Time : 0.0 sec. user=mdettweiler [2013-08-18 10:34:30] 609*2^1251107-1 is not prime. Res64: 1A3E4BD0B67C286B Time : 0.0 sec. user=mdettweiler [2013-08-18 10:43:15] 913*2^1251107-1 is not prime. Res64: D3C0BA941BFA9A83 Time : 0.0 sec. user=mdettweiler [2013-08-18 10:43:16] 939*2^1251107-1 is not prime. Res64: 76CED9B6ACFDFD8D Time : 0.0 sec. user=mdettweiler [2013-08-18 10:54:18] 665*2^1251108-1 is not prime. Res64: 86A832FC4CD5829F Time : 0.0 sec. user=mdettweiler [2013-08-18 10:54:18] 669*2^1251108-1 is not prime. Res64: 6592ADA13F4CDF96 Time : 0.0 sec. user=mdettweiler [2013-08-18 10:54:29] 991*2^1251107-1 is not prime. Res64: 37604F56F316889B Time : 0.0 sec. user=mdettweiler [2013-08-18 10:54:29] 657*2^1251108-1 is not prime. Res64: D9DEF0078BA7D575 Time : 0.0 sec. user=mdettweiler [2013-08-18 10:54:31] 683*2^1251108-1 is not prime. Res64: 6F1D28F77255267D Time : 0.0 sec. user=mdettweiler [2013-08-18 10:54:31] 705*2^1251108-1 is not prime. Res64: 563BA0C53456A71A Time : 0.0 sec. user=mdettweiler [2013-08-18 11:03:19] 707*2^1251108-1 is not prime. Res64: EA272B0E45CFCC62 Time : 0.0 sec. user=mdettweiler [2013-08-18 11:03:19] 783*2^1251108-1 is not prime. Res64: 78AF3A3850CEE690 Time : 0.0 sec. user=mdettweiler [2013-08-18 11:14:20] 795*2^1251108-1 is not prime. Res64: BCEF65DACDD71B8F Time : 0.0 sec. user=mdettweiler [2013-08-18 11:14:20] 825*2^1251108-1 is not prime. Res64: 462860615DD861B1 Time : 0.0 sec. user=mdettweiler [2013-08-18 11:15:24] 845*2^1251108-1 is not prime. Res64: 644744409E4957FD Time : 0.0 sec. user=mdettweiler [2013-08-18 11:15:25] 899*2^1251108-1 is not prime. Res64: 726B1DE894407CC9 Time : 0.0 sec. user=mdettweiler [2013-08-18 11:16:27] 945*2^1251108-1 is not prime. Res64: 71A88783206DC4B6 Time : 0.0 sec. user=mdettweiler [2013-08-18 11:16:27] 957*2^1251108-1 is not prime. Res64: 9B5B68E38804D882 Time : 0.0 sec. user=mdettweiler [2013-08-18 11:24:28] 959*2^1251108-1 is not prime. Res64: B65A863347FE8DB0 Time : 0.0 sec. user=mdettweiler [2013-08-18 11:24:28] 681*2^1251109-1 is not prime. Res64: 90C0AE118C28B70B Time : 0.0 sec. user=mdettweiler [2013-08-18 11:34:33] 747*2^1251109-1 is not prime. Res64: CE07A164EF84DCEA Time : 0.0 sec. user=mdettweiler [2013-08-18 11:34:34] 817*2^1251109-1 is not prime. Res64: EC31E88EAEAEE748 Time : 0.0 sec. user=mdettweiler [2013-08-18 11:35:29] 825*2^1251109-1 is not prime. Res64: C9E90BD862301D8E Time : 0.0 sec. user=mdettweiler [2013-08-18 11:35:29] 861*2^1251109-1 is not prime. Res64: 1AF179D32D30F034 Time : 0.0 sec. user=mdettweiler [2013-08-18 11:37:27] 961*2^1251109-1 is not prime. Res64: 668379B51AB0DB8A Time : 0.0 sec. user=mdettweiler [2013-08-18 11:37:27] 795*2^1251110-1 is not prime. Res64: AAB48F56E28C49DC Time : 0.0 sec. user=mdettweiler [2013-08-18 11:45:27] 813*2^1251110-1 is not prime. Res64: EBAB9E31C2028B4C Time : 0.0 sec. user=mdettweiler [2013-08-18 11:45:27] 1001*2^1251110-1 is not prime. Res64: D9BCB4BD8741034B Time : 0.0 sec. user=mdettweiler [2013-08-18 11:54:33] 651*2^1251111-1 is not prime. Res64: B7F86410F63125B5 Time : 0.0 sec. user=mdettweiler [2013-08-18 11:54:33] 723*2^1251111-1 is not prime. Res64: 3055D80A8ED60E7D Time : 0.0 sec. user=mdettweiler [2013-08-18 11:55:35] 783*2^1251111-1 is not prime. Res64: FD1A338655070871 Time : 0.0 sec. user=mdettweiler [2013-08-18 11:55:35] 823*2^1251111-1 is not prime. Res64: D397BE0359D59338 Time : 0.0 sec. user=mdettweiler [2013-08-18 11:58:30] 849*2^1251111-1 is not prime. Res64: D6E59C54275DDA7D Time : 0.0 sec. user=mdettweiler [2013-08-18 11:58:31] 909*2^1251111-1 is not prime. Res64: 020352108A370C76 Time : 0.0 sec. user=mdettweiler [2013-08-18 12:07:22] 961*2^1251111-1 is not prime. Res64: AEAF92129101F1ED Time : 0.0 sec. user=mdettweiler [2013-08-18 12:07:23] 991*2^1251111-1 is not prime. Res64: 8BEBA8CE3DBDE3F5 Time : 0.0 sec. user=mdettweiler [2013-08-18 12:14:42] 615*2^1251112-1 is not prime. Res64: 88AC624BB83261D4 Time : 0.0 sec. user=mdettweiler [2013-08-18 12:14:43] 833*2^1251112-1 is not prime. Res64: DE5D889FF1E48DAE Time : 0.0 sec. user=mdettweiler [2013-08-18 12:15:52] 843*2^1251112-1 is not prime. Res64: B70DFDDA1D60A14F Time : 0.0 sec. user=mdettweiler [2013-08-18 12:15:52] 863*2^1251112-1 is not prime. Res64: B59F8FCE4C58B812 Time : 0.0 sec. user=mdettweiler [2013-08-18 12:19:28] 897*2^1251112-1 is not prime. Res64: ACAFB9D784C9DACD Time : 0.0 sec. user=mdettweiler [2013-08-18 12:19:28] 903*2^1251112-1 is not prime. Res64: A4D33256F6C8434A Time : 0.0 sec. user=mdettweiler [2013-08-18 12:28:17] 965*2^1251112-1 is not prime. Res64: F39C24FADA9B668A Time : 0.0 sec. user=mdettweiler [2013-08-18 12:28:17] 619*2^1251113-1 is not prime. Res64: 364F25D64C7DC288 Time : 0.0 sec. user=mdettweiler [2013-08-18 12:34:34] 675*2^1251113-1 is not prime. Res64: F26C4E4CEACF0743 Time : 0.0 sec. user=mdettweiler [2013-08-18 12:34:34] 787*2^1251113-1 is not prime. Res64: 18BBF6A4EC3A81C8 Time : 0.0 sec. user=mdettweiler [2013-08-18 12:36:35] 789*2^1251113-1 is not prime. Res64: 49148FEC8D8D6E8E Time : 0.0 sec. user=mdettweiler [2013-08-18 12:36:36] 901*2^1251113-1 is not prime. Res64: 0007655412564097 Time : 0.0 sec. user=mdettweiler [2013-08-18 12:40:11] 985*2^1251113-1 is not prime. Res64: E1CDA70AD38EF3A1 Time : 0.0 sec. user=mdettweiler [2013-08-18 12:40:11] 663*2^1251114-1 is not prime. Res64: 779294AC72701614 Time : 0.0 sec. user=mdettweiler [2013-08-18 12:48:09] 707*2^1251114-1 is not prime. Res64: BA44CE1355EE6C1F Time : 0.0 sec. user=mdettweiler [2013-08-18 12:48:09] 797*2^1251114-1 is not prime. Res64: 3DB427BD43BB36C2 Time : 0.0 sec. user=mdettweiler [2013-08-18 12:55:25] 861*2^1251114-1 is not prime. Res64: 8D23F0244F45A7EA Time : 0.0 sec. user=mdettweiler [2013-08-18 12:55:25] 945*2^1251114-1 is not prime. Res64: BEB4C4D2E71CFE2C Time : 0.0 sec. user=mdettweiler [2013-08-18 12:56:24] 633*2^1251115-1 is not prime. Res64: 2D802D6FF52A568E Time : 0.0 sec. user=mdettweiler [2013-08-18 12:56:24] 789*2^1251115-1 is not prime. Res64: 8C27CE7381984A93 Time : 0.0 sec. user=mdettweiler [2013-08-18 13:01:06] 819*2^1251115-1 is not prime. Res64: E2E3A64890F862F4 Time : 0.0 sec. user=mdettweiler [2013-08-18 13:01:06] 915*2^1251115-1 is not prime. Res64: B2CC922076E0D910 Time : 0.0 sec. user=mdettweiler [2013-08-18 13:08:04] 609*2^1251116-1 is not prime. Res64: 9D3087993002274A Time : 0.0 sec. user=mdettweiler [2013-08-18 13:08:04] 629*2^1251116-1 is not prime. Res64: C4B054AFCB45E94B Time : 0.0 sec. user=mdettweiler [2013-08-18 13:15:31] 647*2^1251116-1 is not prime. Res64: DE19C9FC34D874F6 Time : 0.0 sec. user=mdettweiler [2013-08-18 13:15:32] 683*2^1251116-1 is not prime. Res64: F978C072CF01B8C3 Time : 0.0 sec. user=mdettweiler [2013-08-18 13:16:26] 785*2^1251116-1 is not prime. Res64: 5E98AC38C78CDE11 Time : 0.0 sec. user=mdettweiler [2013-08-18 13:16:26] 845*2^1251116-1 is not prime. Res64: 070F5B5CBBDD15B6 Time : 0.0 sec. user=mdettweiler [2013-08-18 13:21:22] 857*2^1251116-1 is not prime. Res64: 53C63649EBF856ED Time : 0.0 sec. user=mdettweiler [2013-08-18 13:21:22] 897*2^1251116-1 is not prime. Res64: 93A60FDDF32DAF0F Time : 0.0 sec. user=mdettweiler [2013-08-18 13:29:05] 953*2^1251116-1 is not prime. Res64: 3C72473D0F2A3F51 Time : 0.0 sec. user=mdettweiler [2013-08-18 13:29:06] 609*2^1251117-1 is not prime. Res64: 8C4FDBA5F4D395AB Time : 0.0 sec. user=mdettweiler [2013-08-18 13:35:32] 667*2^1251117-1 is not prime. Res64: 3707BFD0E6B4B42D Time : 0.0 sec. user=mdettweiler [2013-08-18 13:35:32] 765*2^1251117-1 is not prime. Res64: BCE0B9A2D642B446 Time : 0.0 sec. user=mdettweiler [2013-08-18 13:36:21] 825*2^1251117-1 is not prime. Res64: D46B84C1CFC0AFC3 Time : 0.0 sec. user=mdettweiler [2013-08-18 13:36:21] 831*2^1251117-1 is not prime. Res64: 478CBC05E760683E Time : 0.0 sec. user=mdettweiler [2013-08-18 13:41:19] 895*2^1251117-1 is not prime. Res64: 305341115AAB673B Time : 0.0 sec. user=mdettweiler [2013-08-18 13:41:19] 705*2^1251118-1 is not prime. Res64: BC33E9743ACC92A5 Time : 0.0 sec. user=mdettweiler [2013-08-18 13:49:00] 791*2^1251118-1 is not prime. Res64: 0161AD80D8163EB6 Time : 0.0 sec. user=mdettweiler [2013-08-18 13:49:01] 863*2^1251118-1 is not prime. Res64: 8074E887C9937F09 Time : 0.0 sec. user=mdettweiler [2013-08-18 13:56:24] 601*2^1251119-1 is not prime. Res64: 23D90E24744F4F5E Time : 0.0 sec. user=mdettweiler [2013-08-18 13:56:25] 645*2^1251119-1 is not prime. Res64: AC0B2F86616F096F Time : 0.0 sec. user=mdettweiler [2013-08-18 13:56:25] 887*2^1251118-1 is not prime. Res64: 213DFFB4312C1FCB Time : 0.0 sec. user=mdettweiler [2013-08-18 13:56:25] 957*2^1251118-1 is not prime. Res64: FD7E983D2A8F888E Time : 0.0 sec. user=mdettweiler [2013-08-18 14:01:22] 661*2^1251119-1 is not prime. Res64: 280C222DCC743F46 Time : 0.0 sec. user=mdettweiler [2013-08-18 14:01:23] 703*2^1251119-1 is not prime. Res64: 2EEAB632504602B5 Time : 0.0 sec. user=mdettweiler [2013-08-18 14:09:00] 741*2^1251119-1 is not prime. Res64: 019BD6DA99A7077F Time : 0.0 sec. user=mdettweiler [2013-08-18 14:09:01] 799*2^1251119-1 is not prime. Res64: 2A72308824348EC7 Time : 0.0 sec. user=mdettweiler [2013-08-18 14:16:24] 861*2^1251119-1 is not prime. Res64: 200F919323050A7A Time : 0.0 sec. user=mdettweiler [2013-08-18 14:16:25] 865*2^1251119-1 is not prime. Res64: 4005E5C1E8691768 Time : 0.0 sec. user=mdettweiler [2013-08-18 14:16:30] 843*2^1251119-1 is not prime. Res64: 85A65528408C7B7A Time : 0.0 sec. user=mdettweiler [2013-08-18 14:16:30] 855*2^1251119-1 is not prime. Res64: 640EEE880CE73272 Time : 0.0 sec. user=mdettweiler [2013-08-18 14:21:26] 885*2^1251119-1 is not prime. Res64: 8B0DC29A971D5943 Time : 0.0 sec. user=mdettweiler [2013-08-18 14:21:27] 623*2^1251120-1 is not prime. Res64: 37D189BC53576227 Time : 0.0 sec. user=mdettweiler [2013-08-18 14:28:59] 675*2^1251120-1 is not prime. Res64: F78B692595C8DFB2 Time : 0.0 sec. user=mdettweiler [2013-08-18 14:29:00] 797*2^1251120-1 is not prime. Res64: C5D6A07387D57C80 Time : 0.0 sec. user=mdettweiler [2013-08-18 14:36:30] 679*2^1251121-1 is not prime. Res64: C592CA034DBB6A3A Time : 0.0 sec. user=mdettweiler [2013-08-18 14:36:30] 717*2^1251121-1 is not prime. Res64: E086FBC847A4D9DE Time : 0.0 sec. user=mdettweiler [2013-08-18 14:37:22] 927*2^1251120-1 is not prime. Res64: 7976FCB154077CDE Time : 0.0 sec. user=mdettweiler [2013-08-18 14:37:22] 639*2^1251121-1 is not prime. Res64: A16219D8B8C894EC Time : 0.0 sec. user=mdettweiler [2013-08-18 14:41:23] 889*2^1251121-1 is not prime. Res64: 98BEFB01345470AD Time : 0.0 sec. user=mdettweiler [2013-08-18 14:41:23] 895*2^1251121-1 is not prime. Res64: A9B6F5D994244A82 Time : 0.0 sec. user=mdettweiler [2013-08-18 14:49:59] 979*2^1251121-1 is not prime. Res64: E3945751FEC5B820 Time : 0.0 sec. user=mdettweiler [2013-08-18 14:49:59] 633*2^1251122-1 is not prime. Res64: 9D1B1EFE2CA80238 Time : 0.0 sec. user=mdettweiler [2013-08-18 14:56:31] 755*2^1251122-1 is not prime. Res64: E6B346E0B539521E Time : 0.0 sec. user=mdettweiler [2013-08-18 14:56:31] 771*2^1251122-1 is not prime. Res64: A93C99CB06CAF97D Time : 0.0 sec. user=mdettweiler [2013-08-18 14:57:21] 791*2^1251122-1 is not prime. Res64: 6741FBD73DE8ED32 Time : 0.0 sec. user=mdettweiler [2013-08-18 14:57:21] 797*2^1251122-1 is not prime. Res64: 7EA5DAD4C1D0E439 Time : 0.0 sec. user=mdettweiler [2013-08-18 15:01:25] 843*2^1251122-1 is not prime. Res64: 386477175E6AB6A1 Time : 0.0 sec. user=mdettweiler [2013-08-18 15:01:26] 867*2^1251122-1 is not prime. Res64: 14ABB503C44317E5 Time : 0.0 sec. user=mdettweiler [2013-08-18 15:10:02] 801*2^1251123-1 is not prime. Res64: 00BD833CECD533F6 Time : 0.0 sec. user=mdettweiler [2013-08-18 15:10:03] 805*2^1251123-1 is not prime. Res64: 7F37CB88A05A797D Time : 0.0 sec. user=mdettweiler [2013-08-18 15:16:32] 849*2^1251123-1 is not prime. Res64: D9AA62E934470A05 Time : 0.0 sec. user=mdettweiler [2013-08-18 15:16:32] 657*2^1251124-1 is not prime. Res64: E025EA44FD82795B Time : 0.0 sec. user=mdettweiler [2013-08-18 15:17:22] 663*2^1251124-1 is not prime. Res64: 0739BEA1D98452B4 Time : 0.0 sec. user=mdettweiler [2013-08-18 15:17:22] 743*2^1251124-1 is not prime. Res64: DAFEC6C327AA366E Time : 0.0 sec. user=mdettweiler [2013-08-18 15:21:25] 843*2^1251124-1 is not prime. Res64: AC9AF2FBB80446B1 Time : 0.0 sec. user=mdettweiler [2013-08-18 15:21:25] 855*2^1251124-1 is not prime. Res64: 6AEF121777627E90 Time : 0.0 sec. user=mdettweiler [2013-08-18 15:30:05] 869*2^1251124-1 is not prime. Res64: 7A72E09852B5E073 Time : 0.0 sec. user=mdettweiler [2013-08-18 15:30:05] 885*2^1251124-1 is not prime. Res64: FC9EF2E65B05A2F4 Time : 0.0 sec. user=mdettweiler [2013-08-18 15:37:22] 715*2^1251125-1 is not prime. Res64: 51BBEAB88FC5FF50 Time : 0.0 sec. user=mdettweiler [2013-08-18 15:37:23] 727*2^1251125-1 is not prime. Res64: FAE54DD90EB0972C Time : 0.0 sec. user=mdettweiler [2013-08-18 15:38:20] 899*2^1251124-1 is not prime. Res64: 81A5C4DEE8B60CB4 Time : 0.0 sec. user=mdettweiler [2013-08-18 15:38:21] 965*2^1251124-1 is not prime. Res64: EE41B924E36994D2 Time : 0.0 sec. user=mdettweiler [2013-08-18 15:41:30] 771*2^1251125-1 is not prime. Res64: 18B2BAAF5E793240 Time : 0.0 sec. user=mdettweiler [2013-08-18 15:41:30] 777*2^1251125-1 is not prime. Res64: E4B7D18BA5D3BDBD Time : 0.0 sec. user=mdettweiler [2013-08-18 15:50:11] 837*2^1251125-1 is not prime. Res64: 133F9EEA9C65AF1E Time : 0.0 sec. user=mdettweiler [2013-08-18 15:50:12] 847*2^1251125-1 is not prime. Res64: 753DE09D2FB67863 Time : 0.0 sec. user=mdettweiler [2013-08-18 15:57:27] 861*2^1251125-1 is not prime. Res64: 088D4875AA3976F6 Time : 0.0 sec. user=mdettweiler [2013-08-18 15:57:27] 865*2^1251125-1 is not prime. Res64: 254DD8F20277D609 Time : 0.0 sec. user=mdettweiler [2013-08-18 15:59:20] 871*2^1251125-1 is not prime. Res64: B4912FF7A7AEE476 Time : 0.0 sec. user=mdettweiler [2013-08-18 15:59:20] 927*2^1251125-1 is not prime. Res64: 1DAB4BE0D120B30B Time : 0.0 sec. user=mdettweiler [2013-08-18 16:03:26] 937*2^1251125-1 is not prime. Res64: 10652B636E6E2C40 Time : 0.0 sec. user=mdettweiler [2013-08-18 16:03:27] 981*2^1251125-1 is not prime. Res64: E780FE19A0AB1AED Time : 0.0 sec. user=mdettweiler [2013-08-18 16:11:07] 991*2^1251125-1 is not prime. Res64: 2CDC36E8B99963C0 Time : 0.0 sec. user=mdettweiler [2013-08-18 16:11:07] 693*2^1251126-1 is not prime. Res64: B752F6F281FB9C0D Time : 0.0 sec. user=mdettweiler [2013-08-18 16:17:30] 717*2^1251126-1 is not prime. Res64: F574D7ED27E2F121 Time : 0.0 sec. user=mdettweiler [2013-08-18 16:17:30] 891*2^1251126-1 is not prime. Res64: 7F6F0BC29C9E4A07 Time : 0.0 sec. user=mdettweiler [2013-08-18 16:21:22] 971*2^1251126-1 is not prime. Res64: 62ABC6ACEDCAE618 Time : 0.0 sec. user=mdettweiler [2013-08-18 16:21:22] 993*2^1251126-1 is not prime. Res64: 5391589A965C6BD6 Time : 0.0 sec. user=mdettweiler [2013-08-18 16:23:40] 619*2^1251127-1 is not prime. Res64: 337D1F8A8862B2D0 Time : 0.0 sec. user=mdettweiler [2013-08-18 16:23:40] 819*2^1251127-1 is not prime. Res64: 0EEDC6B75DA6298E Time : 0.0 sec. user=mdettweiler [2013-08-18 16:31:19] 831*2^1251127-1 is not prime. Res64: 81FDFB9355F0F995 Time : 0.0 sec. user=mdettweiler [2013-08-18 16:31:20] 841*2^1251127-1 is not prime. Res64: A691DBC95AEF748D Time : 0.0 sec. user=mdettweiler [2013-08-18 16:37:39] 849*2^1251127-1 is not prime. Res64: 456E5BF61CEADE63 Time : 0.0 sec. user=mdettweiler [2013-08-18 16:37:40] 885*2^1251127-1 is not prime. Res64: 7259CBD6CEC2EAD5 Time : 0.0 sec. user=mdettweiler [2013-08-18 16:42:28] 915*2^1251127-1 is not prime. Res64: 7DF4018D177DFA74 Time : 0.0 sec. user=mdettweiler [2013-08-18 16:42:28] 699*2^1251128-1 is not prime. Res64: F02FA8D75772F7A3 Time : 0.0 sec. user=mdettweiler [2013-08-18 16:43:53] 767*2^1251128-1 is not prime. Res64: D41F3A46918AC076 Time : 0.0 sec. user=mdettweiler [2013-08-18 16:43:53] 773*2^1251128-1 is not prime. Res64: E4216F7503962971 Time : 0.0 sec. user=mdettweiler [2013-08-18 16:51:30] 745*2^1251129-1 is not prime. Res64: A559BC488DD0DACA Time : 0.0 sec. user=mdettweiler [2013-08-18 16:51:30] 787*2^1251129-1 is not prime. Res64: 4E4239E2799ACDFB Time : 0.0 sec. user=mdettweiler [2013-08-18 16:57:48] 795*2^1251129-1 is not prime. Res64: B1256A2DFC1413A3 Time : 0.0 sec. user=mdettweiler [2013-08-18 16:57:48] 877*2^1251129-1 is not prime. Res64: 08715DAF53A88BEB Time : 0.0 sec. user=mdettweiler [2013-08-18 17:03:36] 889*2^1251129-1 is not prime. Res64: E88D2FBC5CB0D036 Time : 0.0 sec. user=mdettweiler [2013-08-18 17:03:36] 907*2^1251129-1 is not prime. Res64: 86DF0247D9BFA8AE Time : 0.0 sec. user=mdettweiler [2013-08-18 17:04:06] 653*2^1251130-1 is not prime. Res64: CE53860A5C2A6A72 Time : 0.0 sec. user=mdettweiler [2013-08-18 17:04:06] 723*2^1251130-1 is not prime. Res64: B2D9B6E75466D2BA Time : 0.0 sec. user=mdettweiler [2013-08-18 17:11:45] 731*2^1251130-1 is not prime. Res64: 36ECBB569CF27A0C Time : 0.0 sec. user=mdettweiler [2013-08-18 17:11:46] 743*2^1251130-1 is not prime. Res64: 97D5712B81A5D108 Time : 0.0 sec. user=mdettweiler [2013-08-18 17:18:00] 755*2^1251130-1 is not prime. Res64: E7240DC7B288A83F Time : 0.0 sec. user=mdettweiler [2013-08-18 17:18:00] 777*2^1251130-1 is not prime. Res64: 94C30AED0002F662 Time : 0.0 sec. user=mdettweiler [2013-08-18 17:23:54] 857*2^1251130-1 is not prime. Res64: FDCD20D157C120A4 Time : 0.0 sec. user=mdettweiler [2013-08-18 17:23:54] 867*2^1251130-1 is not prime. Res64: 1CA1DD1971613F84 Time : 0.0 sec. user=mdettweiler [2013-08-18 17:25:17] 945*2^1251130-1 is not prime. Res64: FF347C1D3472C80A Time : 0.0 sec. user=mdettweiler [2013-08-18 17:25:17] 643*2^1251131-1 is not prime. Res64: 6EEDA0E8264265A9 Time : 0.0 sec. user=mdettweiler [2013-08-18 17:32:56] 883*2^1251131-1 is not prime. Res64: F76D962CFF79E0C1 Time : 0.0 sec. user=mdettweiler [2013-08-18 17:32:56] 901*2^1251131-1 is not prime. Res64: 2090A9058B4FE995 Time : 0.0 sec. user=mdettweiler [2013-08-18 17:39:28] 627*2^1251132-1 is not prime. Res64: 41476B44EBBE0553 Time : 0.0 sec. user=mdettweiler [2013-08-18 17:39:29] 959*2^1251132-1 is not prime. Res64: 4806B95241BDF68B Time : 0.0 sec. user=mdettweiler [2013-08-18 17:44:44] 741*2^1251133-1 is not prime. Res64: 5F3EE9A85DAC8B3A Time : 0.0 sec. user=mdettweiler [2013-08-18 17:44:44] 861*2^1251133-1 is not prime. Res64: B97D5DBD8799ACE8 Time : 0.0 sec. user=mdettweiler [2013-08-18 17:47:16] 895*2^1251133-1 is not prime. Res64: 64AF58BE2C7A0691 Time : 0.0 sec. user=mdettweiler [2013-08-18 17:47:16] 961*2^1251133-1 is not prime. Res64: 9E4A471F41D190A7 Time : 0.0 sec. user=mdettweiler [2013-08-18 17:54:09] 753*2^1251134-1 is not prime. Res64: C4E3E290FB6BB220 Time : 0.0 sec. user=mdettweiler [2013-08-18 17:54:09] 813*2^1251134-1 is not prime. Res64: 3CE7465C616CFC27 Time : 0.0 sec. user=mdettweiler [2013-08-18 18:00:12] 709*2^1251135-1 is not prime. Res64: 225F75628B323494 Time : 0.0 sec. user=mdettweiler [2013-08-18 18:00:14] 723*2^1251135-1 is not prime. Res64: 8BDAF12170955E34 Time : 0.0 sec. user=mdettweiler [2013-08-18 18:05:07] 781*2^1251135-1 is not prime. Res64: 48644EADD6375948 Time : 0.0 sec. user=mdettweiler [2013-08-18 18:05:08] 829*2^1251135-1 is not prime. Res64: 2642429F86F93C6C Time : 0.0 sec. user=juhehe [2013-08-18 18:05:51] 741*2^1251131-1 is not prime. Res64: 5170804E37151C3B Time : 0.0 sec. user=mdettweiler [2013-08-18 18:07:37] 645*2^1251136-1 is not prime. Res64: D6E3E7A4D151388C Time : 0.0 sec. user=mdettweiler [2013-08-18 18:07:38] 657*2^1251136-1 is not prime. Res64: 9E9FB4C0DDE0308B Time : 0.0 sec. user=mdettweiler [2013-08-18 18:14:28] 717*2^1251136-1 is not prime. Res64: 7E068BF22EDB2745 Time : 0.0 sec. user=mdettweiler [2013-08-18 18:14:28] 773*2^1251136-1 is not prime. Res64: 6A5A44B619CA85C7 Time : 0.0 sec. user=mdettweiler [2013-08-18 18:22:28] 917*2^1251136-1 is not prime. Res64: 749FA774991781E8 Time : 0.0 sec. user=mdettweiler [2013-08-18 18:22:29] 983*2^1251136-1 is not prime. Res64: 866A385EBF395003 Time : 0.0 sec. user=mdettweiler [2013-08-18 18:25:29] 649*2^1251137-1 is not prime. Res64: 569AF8C84F0B05CD Time : 0.0 sec. user=mdettweiler [2013-08-18 18:25:29] 801*2^1251137-1 is not prime. Res64: DB1F0DD8F0954F3B Time : 0.0 sec. user=mdettweiler [2013-08-18 18:29:55] 909*2^1251137-1 is not prime. Res64: DEF732D7827653D2 Time : 0.0 sec. user=mdettweiler [2013-08-18 18:29:56] 957*2^1251137-1 is not prime. Res64: CE22B298BD094ADE Time : 0.0 sec. user=mdettweiler [2013-08-18 18:35:48] 967*2^1251137-1 is not prime. Res64: BBFB3FCD4710B9FE Time : 0.0 sec. user=mdettweiler [2013-08-18 18:35:48] 635*2^1251138-1 is not prime. Res64: EE9157C41946CA22 Time : 0.0 sec. user=mdettweiler [2013-08-18 18:42:43] 683*2^1251138-1 is not prime. Res64: E7EC437BBD0C6B83 Time : 0.0 sec. user=mdettweiler [2013-08-18 18:42:43] 801*2^1251138-1 is not prime. Res64: C7F546547115779B Time : 0.0 sec. user=mdettweiler [2013-08-18 18:46:39] 825*2^1251138-1 is not prime. Res64: 0EBAD504DFB203A9 Time : 0.0 sec. user=mdettweiler [2013-08-18 18:46:39] 921*2^1251138-1 is not prime. Res64: 1D3B9EC4C0E46096 Time : 0.0 sec. user=mdettweiler [2013-08-18 18:51:04] 1001*2^1251138-1 is not prime. Res64: D7A516C5C2D8EA02 Time : 0.0 sec. user=mdettweiler [2013-08-18 18:51:04] 619*2^1251139-1 is not prime. Res64: B96F5CEDD9B0F39E Time : 0.0 sec. user=mdettweiler [2013-08-18 18:55:59] 705*2^1251139-1 is not prime. Res64: E16635EB862156DC Time : 0.0 sec. user=mdettweiler [2013-08-18 18:55:59] 733*2^1251139-1 is not prime. Res64: 4818CE6E7CDC37EE Time : 0.0 sec. user=mdettweiler [2013-08-18 19:02:54] 813*2^1251139-1 is not prime. Res64: F67A0889CB7FBEDC Time : 0.0 sec. user=mdettweiler [2013-08-18 19:02:55] 885*2^1251139-1 is not prime. Res64: 98610CDE5BB5153B Time : 0.0 sec. user=mdettweiler [2013-08-18 19:07:45] 891*2^1251139-1 is not prime. Res64: 9542F0B802368DE7 Time : 0.0 sec. user=mdettweiler [2013-08-18 19:07:46] 919*2^1251139-1 is not prime. Res64: 3E7DC1089615BD70 Time : 0.0 sec. user=mdettweiler [2013-08-18 19:11:13] 635*2^1251140-1 is not prime. Res64: 8EDFCB9315616F26 Time : 0.0 sec. user=mdettweiler [2013-08-18 19:11:13] 689*2^1251140-1 is not prime. Res64: 4D85349ED046973A Time : 0.0 sec. user=mdettweiler [2013-08-18 19:18:05] 899*2^1251140-1 is not prime. Res64: AE0959DC71280B68 Time : 0.0 sec. user=mdettweiler [2013-08-18 19:18:06] 929*2^1251140-1 is not prime. Res64: 4AB715E44AD0CB8B Time : 0.0 sec. user=mdettweiler [2013-08-18 19:25:02] 945*2^1251140-1 is not prime. Res64: B222CEE809DD8BF9 Time : 0.0 sec. user=mdettweiler [2013-08-18 19:25:02] 953*2^1251140-1 is not prime. Res64: 4C6DB1D32B0D2976 Time : 0.0 sec. user=mdettweiler [2013-08-18 19:28:54] 999*2^1251140-1 is not prime. Res64: 877D6E6005AB7564 Time : 0.0 sec. user=mdettweiler [2013-08-18 19:28:54] 615*2^1251141-1 is not prime. Res64: 835285C77847BF90 Time : 0.0 sec. user=mdettweiler [2013-08-18 19:31:18] 709*2^1251141-1 is not prime. Res64: 6C48A70BAFB32890 Time : 0.0 sec. user=mdettweiler [2013-08-18 19:31:18] 717*2^1251141-1 is not prime. Res64: 090F01E236C1C67B Time : 0.0 sec. user=mdettweiler [2013-08-18 19:38:16] 727*2^1251141-1 is not prime. Res64: 1FB2C08C9ACC3D21 Time : 0.0 sec. user=mdettweiler [2013-08-18 19:38:17] 735*2^1251141-1 is not prime. Res64: FC549A2A52F7CF6C Time : 0.0 sec. user=mdettweiler [2013-08-18 19:45:11] 745*2^1251141-1 is not prime. Res64: B3F7ABAE028C97F8 Time : 0.0 sec. user=mdettweiler [2013-08-18 19:45:11] 819*2^1251141-1 is not prime. Res64: EFDED4D94F9CA4A3 Time : 0.0 sec. user=mdettweiler [2013-08-18 19:49:05] 849*2^1251141-1 is not prime. Res64: B773680DA7A8D861 Time : 0.0 sec. user=mdettweiler [2013-08-18 19:49:05] 861*2^1251141-1 is not prime. Res64: 0CE486813366F3B1 Time : 0.0 sec. user=mdettweiler [2013-08-18 19:53:20] 937*2^1251141-1 is not prime. Res64: 4227509EF79A308D Time : 0.0 sec. user=mdettweiler [2013-08-18 19:53:20] 987*2^1251141-1 is not prime. Res64: 29E443C38A7AB809 Time : 0.0 sec. user=mdettweiler [2013-08-18 19:58:31] 717*2^1251142-1 is not prime. Res64: EBFFCBE0A7369227 Time : 0.0 sec. user=mdettweiler [2013-08-18 19:58:31] 791*2^1251142-1 is not prime. Res64: 92D8346E951A3106 Time : 0.0 sec. user=mdettweiler [2013-08-18 20:05:21] 813*2^1251142-1 is not prime. Res64: A5F3B92A0C7A9F2F Time : 0.0 sec. user=mdettweiler [2013-08-18 20:05:22] 815*2^1251142-1 is not prime. Res64: F545B5BA854D6D20 Time : 0.0 sec. user=mdettweiler [2013-08-18 20:09:14] 721*2^1251143-1 is not prime. Res64: F97534185305702A Time : 0.0 sec. user=mdettweiler [2013-08-18 20:09:16] 753*2^1251143-1 is not prime. Res64: 80C4DF76C3ACF7CB Time : 0.0 sec. user=mdettweiler [2013-08-18 20:13:30] 759*2^1251143-1 is not prime. Res64: 9BC68BDEA3D261F6 Time : 0.0 sec. user=mdettweiler [2013-08-18 20:13:31] 885*2^1251143-1 is not prime. Res64: 6C7C8D679D4777D8 Time : 0.0 sec. user=mdettweiler [2013-08-18 20:20:33] 945*2^1251143-1 is not prime. Res64: 072C88EB63EF01F6 Time : 0.0 sec. user=mdettweiler [2013-08-18 20:20:33] 949*2^1251143-1 is not prime. Res64: 944FC99900085C30 Time : 0.0 sec. user=mdettweiler [2013-08-18 20:25:30] 627*2^1251144-1 is not prime. Res64: 053715F3EB55D99C Time : 0.0 sec. user=mdettweiler [2013-08-18 20:25:31] 663*2^1251144-1 is not prime. Res64: B9C99F1642BA27A5 Time : 0.0 sec. user=mdettweiler [2013-08-18 20:29:28] 675*2^1251144-1 is not prime. Res64: 94C265571193208B Time : 0.0 sec. user=mdettweiler [2013-08-18 20:29:28] 689*2^1251144-1 is not prime. Res64: 650D12DFDE955CD5 Time : 0.0 sec. user=mdettweiler [2013-08-18 20:33:43] 699*2^1251144-1 is not prime. Res64: 5898CB2795153FEB Time : 0.0 sec. user=mdettweiler [2013-08-18 20:33:43] 717*2^1251144-1 is not prime. Res64: 1B7F15DFB158B120 Time : 0.0 sec. user=mdettweiler [2013-08-18 20:40:46] 719*2^1251144-1 is not prime. Res64: F8E5EE3DCBC9F8D7 Time : 0.0 sec. user=mdettweiler [2013-08-18 20:40:46] 809*2^1251144-1 is not prime. Res64: 5CED64EFF6369B2E Time : 0.0 sec. user=mdettweiler [2013-08-18 20:46:41] 893*2^1251144-1 is not prime. Res64: D18B069C53A867CD Time : 0.0 sec. user=mdettweiler [2013-08-18 20:46:41] 905*2^1251144-1 is not prime. Res64: 256D819AE24AC301 Time : 0.0 sec. user=mdettweiler [2013-08-18 20:50:36] 945*2^1251144-1 is not prime. Res64: 908FBE36BE5C2A07 Time : 0.0 sec. user=mdettweiler [2013-08-18 20:50:37] 705*2^1251145-1 is not prime. Res64: F8DA240372FD5D55 Time : 0.0 sec. user=mdettweiler [2013-08-18 20:54:52] 885*2^1251145-1 is not prime. Res64: 1C0674FF630A9F8F Time : 0.0 sec. user=mdettweiler [2013-08-18 20:54:53] 925*2^1251145-1 is not prime. Res64: 6A4B04CDCC2868AA Time : 0.0 sec. user=mdettweiler [2013-08-18 21:02:54] 955*2^1251145-1 is not prime. Res64: 97804EC2DD4C77B5 Time : 0.0 sec. user=mdettweiler [2013-08-18 21:02:55] 975*2^1251145-1 is not prime. Res64: E87CE7C0E339C132 Time : 0.0 sec. user=mdettweiler [2013-08-18 21:06:57] 641*2^1251146-1 is not prime. Res64: 5B1A0BF43DF667E3 Time : 0.0 sec. user=mdettweiler [2013-08-18 21:06:58] 705*2^1251146-1 is not prime. Res64: 6810DE62F4E4D6DD Time : 0.0 sec. user=mdettweiler [2013-08-18 21:10:46] 717*2^1251146-1 is not prime. Res64: 1F0502E3A584075D Time : 0.0 sec. user=mdettweiler [2013-08-18 21:10:47] 767*2^1251146-1 is not prime. Res64: E022B4914A60F864 Time : 0.0 sec. user=mdettweiler [2013-08-18 21:16:02] 831*2^1251146-1 is not prime. Res64: 7D0473EF0E8F1611 Time : 0.0 sec. user=mdettweiler [2013-08-18 21:16:03] 911*2^1251146-1 is not prime. Res64: 06276594DBCD8B01 Time : 0.0 sec. user=mdettweiler [2013-08-18 21:23:08] 651*2^1251147-1 is not prime. Res64: 92C968846334809E Time : 0.0 sec. user=mdettweiler [2013-08-18 21:23:09] 795*2^1251147-1 is not prime. Res64: 2C3833921AB42AD6 Time : 0.0 sec. user=mdettweiler [2013-08-18 21:27:06] 819*2^1251147-1 is not prime. Res64: C5672B0248B6DE86 Time : 0.0 sec. user=mdettweiler [2013-08-18 21:27:06] 859*2^1251147-1 is not prime. Res64: 29603E6105B49E8A Time : 0.0 sec. user=mdettweiler [2013-08-18 21:31:57] 895*2^1251147-1 is not prime. Res64: B444004E0649CDCE Time : 0.0 sec. user=mdettweiler [2013-08-18 21:31:57] 961*2^1251147-1 is not prime. Res64: 306C644D978B5B65 Time : 0.0 sec. user=mdettweiler [2013-08-18 21:36:13] 735*2^1251148-1 is not prime. Res64: 5072F83BDC850417 Time : 0.0 sec. user=mdettweiler [2013-08-18 21:36:13] 743*2^1251148-1 is not prime. Res64: 2E521AB5AB0EB0B3 Time : 0.0 sec. user=mdettweiler [2013-08-18 21:43:24] 765*2^1251148-1 is not prime. Res64: 9BC9CA142E380657 Time : 0.0 sec. user=mdettweiler [2013-08-18 21:43:24] 783*2^1251148-1 is not prime. Res64: 413A344DD4E37E15 Time : 0.0 sec. user=mdettweiler [2013-08-18 21:48:16] 845*2^1251148-1 is not prime. Res64: 8ED05B72E2FCDC74 Time : 0.0 sec. user=mdettweiler [2013-08-18 21:48:16] 953*2^1251148-1 is not prime. Res64: 527AF83C84BAD1E1 Time : 0.0 sec. user=mdettweiler [2013-08-18 21:53:14] 999*2^1251148-1 is not prime. Res64: 69C754F4AADACC04 Time : 0.0 sec. user=mdettweiler [2013-08-18 21:53:15] 619*2^1251149-1 is not prime. Res64: F516BF83636C68EA Time : 0.0 sec. user=mdettweiler [2013-08-18 21:56:34] 729*2^1251149-1 is not prime. Res64: DAF942C638077159 Time : 0.0 sec. user=mdettweiler [2013-08-18 21:56:34] 747*2^1251149-1 is not prime. Res64: CF5619DF891F7F4B Time : 0.0 sec. user=mdettweiler [2013-08-18 22:04:30] 955*2^1251149-1 is not prime. Res64: 6E288986164ACD3D Time : 0.0 sec. user=mdettweiler [2013-08-18 22:04:31] 707*2^1251150-1 is not prime. Res64: 665431B9D93E13E8 Time : 0.0 sec. user=mdettweiler [2013-08-18 22:08:31] 747*2^1251150-1 is not prime. Res64: BACA66CEAB285B5E Time : 0.0 sec. user=mdettweiler [2013-08-18 22:08:31] 755*2^1251150-1 is not prime. Res64: AFBBEB73F3D1B550 Time : 0.0 sec. user=mdettweiler [2013-08-18 22:14:25] 873*2^1251150-1 is not prime. Res64: 3661602A4AD486A9 Time : 0.0 sec. user=mdettweiler [2013-08-18 22:14:26] 921*2^1251150-1 is not prime. Res64: 757D69550A0C2070 Time : 0.0 sec. user=mdettweiler [2013-08-18 22:17:44] 951*2^1251150-1 is not prime. Res64: B7285B1DE9B6F4FF Time : 0.0 sec. user=mdettweiler [2013-08-18 22:17:44] 675*2^1251151-1 is not prime. Res64: E51BFADEF370BBBB Time : 0.0 sec. user=mdettweiler [2013-08-18 22:24:41] 735*2^1251151-1 is not prime. Res64: E35923CCC0A845BA Time : 0.0 sec. user=mdettweiler [2013-08-18 22:24:41] 741*2^1251151-1 is not prime. Res64: 0C74C0A1D562C5BB Time : 0.0 sec. user=mdettweiler [2013-08-18 22:28:47] 805*2^1251151-1 is not prime. Res64: 359A2D449F429B33 Time : 0.0 sec. user=mdettweiler [2013-08-18 22:28:48] 841*2^1251151-1 is not prime. Res64: A78AEBAEB6B2DB68 Time : 0.0 sec. user=mdettweiler [2013-08-18 22:35:36] 961*2^1251151-1 is not prime. Res64: FFBAE18706AE4CB8 Time : 0.0 sec. user=mdettweiler [2013-08-18 22:35:36] 629*2^1251152-1 is not prime. Res64: 2DCF41DAAD90605C Time : 0.0 sec. user=mdettweiler [2013-08-18 22:37:59] 657*2^1251152-1 is not prime. Res64: 5D2C96234CDDA4DF Time : 0.0 sec. user=mdettweiler [2013-08-18 22:37:59] 717*2^1251152-1 is not prime. Res64: EDB38D7179A616C4 Time : 0.0 sec. user=mdettweiler [2013-08-18 22:44:55] 719*2^1251152-1 is not prime. Res64: 5F4BFC2014E4D65E Time : 0.0 sec. user=mdettweiler [2013-08-18 22:44:55] 767*2^1251152-1 is not prime. Res64: EEF9F1120238E860 Time : 0.0 sec. user=mdettweiler [2013-08-18 22:48:59] 797*2^1251152-1 is not prime. Res64: FEA88DB8DC2BA8E6 Time : 0.0 sec. user=mdettweiler [2013-08-18 22:49:00] 843*2^1251152-1 is not prime. Res64: 382F7FFB279AFB95 Time : 0.0 sec. user=mdettweiler [2013-08-18 22:56:46] 995*2^1251152-1 is not prime. Res64: 16F33EEF579AC4E2 Time : 0.0 sec. user=mdettweiler [2013-08-18 22:56:46] 675*2^1251153-1 is not prime. Res64: 1269883C89A03B77 Time : 0.0 sec. user=mdettweiler [2013-08-18 22:58:10] 817*2^1251153-1 is not prime. Res64: 6744EBFCE82DED7E Time : 0.0 sec. user=mdettweiler [2013-08-18 22:58:10] 891*2^1251153-1 is not prime. Res64: D84D40F15E4861DA Time : 0.0 sec. user=mdettweiler [2013-08-18 23:06:55] 945*2^1251153-1 is not prime. Res64: FA77261A3E308A9E Time : 0.0 sec. user=mdettweiler [2013-08-18 23:06:55] 985*2^1251153-1 is not prime. Res64: 02FBA38922B5D44C Time : 0.0 sec. user=mdettweiler [2013-08-18 23:09:03] 687*2^1251154-1 is not prime. Res64: 1836AB2D4A1DC14F Time : 0.0 sec. user=mdettweiler [2013-08-18 23:09:04] 821*2^1251154-1 is not prime. Res64: 6A53DEF0B1152EF6 Time : 0.0 sec. user=mdettweiler [2013-08-18 23:16:47] 827*2^1251154-1 is not prime. Res64: E7C7D518BFBD7A60 Time : 0.0 sec. user=mdettweiler [2013-08-18 23:16:48] 861*2^1251154-1 is not prime. Res64: BB7E544945DDE23A Time : 0.0 sec. user=mdettweiler [2013-08-18 23:19:08] 885*2^1251154-1 is not prime. Res64: F1AFD819B7167663 Time : 0.0 sec. user=mdettweiler [2013-08-18 23:19:08] 971*2^1251154-1 is not prime. Res64: 3F71AD21362A908E Time : 0.0 sec. user=mdettweiler [2013-08-18 23:27:48] 1001*2^1251154-1 is not prime. Res64: F69219E1469722D0 Time : 0.0 sec. user=mdettweiler [2013-08-18 23:27:48] 643*2^1251155-1 is not prime. Res64: 39F9A63C4C8A984A Time : 0.0 sec. user=mdettweiler [2013-08-18 23:29:06] 819*2^1251155-1 is not prime. Res64: EBC6A09615E0BFC4 Time : 0.0 sec. user=mdettweiler [2013-08-18 23:29:06] 859*2^1251155-1 is not prime. Res64: 49CB3D040B637EF5 Time : 0.0 sec. user=mdettweiler [2013-08-18 23:36:59] 635*2^1251156-1 is not prime. Res64: 253786E33AA1951B Time : 0.0 sec. user=mdettweiler [2013-08-18 23:37:00] 825*2^1251156-1 is not prime. Res64: 618E25387F8DD970 Time : 0.0 sec. user=mdettweiler [2013-08-18 23:40:11] 873*2^1251156-1 is not prime. Res64: 2EC02825A568DDED Time : 0.0 sec. user=mdettweiler [2013-08-18 23:40:12] 969*2^1251156-1 is not prime. Res64: 681611ED8296779D Time : 0.0 sec. user=mdettweiler [2013-08-18 23:47:49] 601*2^1251157-1 is not prime. Res64: 5DCD8D71011CD06C Time : 0.0 sec. user=mdettweiler [2013-08-18 23:47:50] 661*2^1251157-1 is not prime. Res64: 858443C429B94C6E Time : 0.0 sec. user=mdettweiler [2013-08-18 23:49:10] 687*2^1251157-1 is not prime. Res64: C8D9CB115A4D5686 Time : 0.0 sec. user=mdettweiler [2013-08-18 23:49:10] 757*2^1251157-1 is not prime. Res64: AAF497E1F3A1671A Time : 0.0 sec. user=mdettweiler [2013-08-18 23:58:56] 931*2^1251157-1 is not prime. Res64: 149B56496C28B096 Time : 0.0 sec. user=mdettweiler [2013-08-18 23:58:56] 939*2^1251157-1 is not prime. Res64: C0B91C207D05C73E Time : 0.0 sec.