user=mdettweiler [2012-12-10 00:11:09] 743*2^1237126-1 is not prime. Res64: 3D3F2FC1E3FDC502 Time : 0.0 sec. user=mdettweiler [2012-12-10 00:11:10] 765*2^1237126-1 is not prime. Res64: 9A7A760B0ECF53B5 Time : 0.0 sec. user=mdettweiler [2012-12-10 00:17:37] 821*2^1237126-1 is not prime. Res64: 713A96EF6B2C3064 Time : 0.0 sec. user=mdettweiler [2012-12-10 00:17:39] 903*2^1237126-1 is not prime. Res64: D3E35AC57772521E Time : 0.0 sec. user=mdettweiler [2012-12-10 00:28:34] 923*2^1237126-1 is not prime. Res64: 0BFEBD96C4F98E0F Time : 0.0 sec. user=mdettweiler [2012-12-10 00:28:35] 933*2^1237126-1 is not prime. Res64: 84DD63BB2CEE05E5 Time : 0.0 sec. user=mdettweiler [2012-12-10 00:35:02] 993*2^1237126-1 is not prime. Res64: 0F4A035A2F7124C3 Time : 0.0 sec. user=mdettweiler [2012-12-10 00:35:02] 655*2^1237127-1 is not prime. Res64: A334D859AEB92889 Time : 0.0 sec. user=mdettweiler [2012-12-10 00:45:52] 669*2^1237127-1 is not prime. Res64: E2F0D1C69FE54F92 Time : 0.0 sec. user=mdettweiler [2012-12-10 00:45:53] 703*2^1237127-1 is not prime. Res64: 1A0E2EB0D424A24D Time : 0.0 sec. user=mdettweiler [2012-12-10 00:52:19] 781*2^1237127-1 is not prime. Res64: E40BDCBCDFB7204F Time : 0.0 sec. user=mdettweiler [2012-12-10 00:52:19] 831*2^1237127-1 is not prime. Res64: B048EACF2C369CF8 Time : 0.0 sec. user=mdettweiler [2012-12-10 01:03:11] 843*2^1237127-1 is not prime. Res64: 390AE0D218440BD3 Time : 0.0 sec. user=mdettweiler [2012-12-10 01:03:12] 963*2^1237127-1 is not prime. Res64: E90653650F915A22 Time : 0.0 sec. user=mdettweiler [2012-12-10 01:09:37] 633*2^1237128-1 is not prime. Res64: 73E7B3C28D95FFC5 Time : 0.0 sec. user=mdettweiler [2012-12-10 01:09:38] 635*2^1237128-1 is not prime. Res64: 825E41A5C0E117BE Time : 0.0 sec. user=mdettweiler [2012-12-10 01:20:36] 747*2^1237128-1 is not prime. Res64: 3DCF57B28D7E83D1 Time : 0.0 sec. user=mdettweiler [2012-12-10 01:20:36] 773*2^1237128-1 is not prime. Res64: 6660FD6DBF015FE5 Time : 0.0 sec. user=mdettweiler [2012-12-10 01:27:02] 789*2^1237128-1 is not prime. Res64: 02AE0B8E152C4BC2 Time : 0.0 sec. user=mdettweiler [2012-12-10 01:27:03] 797*2^1237128-1 is not prime. Res64: 23C697AE951D163F Time : 0.0 sec. user=mdettweiler [2012-12-10 01:37:56] 867*2^1237128-1 is not prime. Res64: CCD2466F1FE3862D Time : 0.0 sec. user=mdettweiler [2012-12-10 01:37:56] 975*2^1237128-1 is not prime. Res64: E84E82B3DA1BFD02 Time : 0.0 sec. user=mdettweiler [2012-12-10 01:44:21] 705*2^1237129-1 is not prime. Res64: 0CB49E68B9F8248C Time : 0.0 sec. user=mdettweiler [2012-12-10 01:44:22] 729*2^1237129-1 is not prime. Res64: 6E2EBDEFF7B08954 Time : 0.0 sec. user=mdettweiler [2012-12-10 01:55:14] 799*2^1237129-1 is not prime. Res64: 198F46735A8C40F1 Time : 0.0 sec. user=mdettweiler [2012-12-10 01:55:14] 847*2^1237129-1 is not prime. Res64: F9AC4146FF5C3E79 Time : 0.0 sec. user=mdettweiler [2012-12-10 02:01:39] 999*2^1237129-1 is not prime. Res64: 574BF9B3303E4AA4 Time : 0.0 sec. user=mdettweiler [2012-12-10 02:01:40] 767*2^1237130-1 is not prime. Res64: 5F3B25331BDD817C Time : 0.0 sec. user=mdettweiler [2012-12-10 02:12:31] 785*2^1237130-1 is not prime. Res64: 7CF31D682BEAFCEB Time : 0.0 sec. user=mdettweiler [2012-12-10 02:12:34] 833*2^1237130-1 is not prime. Res64: 88756FCC5EE5C3A8 Time : 0.0 sec. user=mdettweiler [2012-12-10 02:19:07] 927*2^1237130-1 is not prime. Res64: EE7171CAC7A51266 Time : 0.0 sec. user=mdettweiler [2012-12-10 02:19:08] 953*2^1237130-1 is not prime. Res64: 75F1B0F8AC47C4FF Time : 0.0 sec. user=mdettweiler [2012-12-10 02:29:59] 971*2^1237130-1 is not prime. Res64: E738F74C1CDA8F4D Time : 0.0 sec. user=mdettweiler [2012-12-10 02:29:59] 977*2^1237130-1 is not prime. Res64: AFD6C4E57973B5DE Time : 0.0 sec. user=mdettweiler [2012-12-10 02:36:26] 643*2^1237131-1 is not prime. Res64: C00D9BE23E837283 Time : 0.0 sec. user=mdettweiler [2012-12-10 02:36:29] 769*2^1237131-1 is not prime. Res64: 589392FE28729A9C Time : 0.0 sec. user=mdettweiler [2012-12-10 02:47:17] 951*2^1237131-1 is not prime. Res64: BA71D1E48EB77029 Time : 0.0 sec. user=mdettweiler [2012-12-10 02:47:18] 803*2^1237132-1 is not prime. Res64: A92A9607086AA1D8 Time : 0.0 sec. user=mdettweiler [2012-12-10 02:53:57] 857*2^1237132-1 is not prime. Res64: 6A48D3F64E2583AC Time : 0.0 sec. user=mdettweiler [2012-12-10 02:53:59] 903*2^1237132-1 is not prime. Res64: B4605C2C5687243C Time : 0.0 sec. user=mdettweiler [2012-12-10 03:04:45] 607*2^1237133-1 is not prime. Res64: EB0D7F7B3C63F21F Time : 0.0 sec. user=mdettweiler [2012-12-10 03:04:48] 627*2^1237133-1 is not prime. Res64: 7A21500EF8A6355B Time : 0.0 sec. user=mdettweiler [2012-12-10 03:11:17] 685*2^1237133-1 is not prime. Res64: C51D35FBC2CCA94C Time : 0.0 sec. user=mdettweiler [2012-12-10 03:11:18] 715*2^1237133-1 is not prime. Res64: 63A8C6CD6006CFE0 Time : 0.0 sec. user=mdettweiler [2012-12-10 03:22:36] 789*2^1237133-1 is not prime. Res64: 38578EE872350225 Time : 0.0 sec. user=mdettweiler [2012-12-10 03:22:36] 879*2^1237133-1 is not prime. Res64: 452042598482FD25 Time : 0.0 sec. user=mdettweiler [2012-12-10 03:28:46] 705*2^1237134-1 is not prime. Res64: 568DF67DA2FF311D Time : 0.0 sec. user=mdettweiler [2012-12-10 03:28:47] 723*2^1237134-1 is not prime. Res64: 0C685E6E367F15BD Time : 0.0 sec. user=mdettweiler [2012-12-10 03:39:58] 741*2^1237134-1 is not prime. Res64: 1B246E73A0937B6E Time : 0.0 sec. user=mdettweiler [2012-12-10 03:40:00] 773*2^1237134-1 is not prime. Res64: 44A03C2EE1742751 Time : 0.0 sec. user=mdettweiler [2012-12-10 03:46:04] 891*2^1237134-1 is not prime. Res64: 5F1D8287E500904A Time : 0.0 sec. user=mdettweiler [2012-12-10 03:46:05] 893*2^1237134-1 is not prime. Res64: 442288D1091F2993 Time : 0.0 sec. user=mdettweiler [2012-12-10 03:57:52] 945*2^1237134-1 is not prime. Res64: 3E9CF544B337BF10 Time : 0.0 sec. user=mdettweiler [2012-12-10 03:57:52] 947*2^1237134-1 is not prime. Res64: FA10090DB7832AB0 Time : 0.0 sec. user=mdettweiler [2012-12-10 04:03:24] 971*2^1237134-1 is not prime. Res64: 811D042C33C0D3E8 Time : 0.0 sec. user=mdettweiler [2012-12-10 04:03:27] 741*2^1237135-1 is not prime. Res64: D7B8EA32EC936B5D Time : 0.0 sec. user=mdettweiler [2012-12-10 04:15:10] 829*2^1237135-1 is not prime. Res64: A4CEA3F928E0705F Time : 0.0 sec. user=mdettweiler [2012-12-10 04:15:11] 885*2^1237135-1 is not prime. Res64: 1D2647E4831C290C Time : 0.0 sec. user=mdettweiler [2012-12-10 04:21:08] 889*2^1237135-1 is not prime. Res64: 75C9F595BEE7AE24 Time : 0.0 sec. user=mdettweiler [2012-12-10 04:21:08] 951*2^1237135-1 is not prime. Res64: 167E4321B531644F Time : 0.0 sec. user=mdettweiler [2012-12-10 04:32:30] 985*2^1237135-1 is not prime. Res64: 40CAF77FE969011E Time : 0.0 sec. user=mdettweiler [2012-12-10 04:32:31] 693*2^1237136-1 is not prime. Res64: 195F7A439529875A Time : 0.0 sec. user=mdettweiler [2012-12-10 04:38:27] 755*2^1237136-1 is not prime. Res64: FEA739C0A9A745C1 Time : 0.0 sec. user=mdettweiler [2012-12-10 04:38:28] 759*2^1237136-1 is not prime. Res64: 8DBB02F3D8AF6967 Time : 0.0 sec. user=mdettweiler [2012-12-10 04:49:51] 767*2^1237136-1 is not prime. Res64: DBCAC4B9469A172C Time : 0.0 sec. user=mdettweiler [2012-12-10 04:49:52] 789*2^1237136-1 is not prime. Res64: B2D3BCAF2907E45E Time : 0.0 sec. user=mdettweiler [2012-12-10 04:55:47] 825*2^1237136-1 is not prime. Res64: 0FCF2A9E5390C548 Time : 0.0 sec. user=mdettweiler [2012-12-10 04:55:47] 999*2^1237136-1 is not prime. Res64: 208D13B0A6873067 Time : 0.0 sec. user=juhehe [2012-12-10 04:56:14] 627*2^1237118-1 is not prime. Res64: 2CBAA6303549AFD0 Time : 0.0 sec. user=mdettweiler [2012-12-10 05:07:10] 651*2^1237137-1 is not prime. Res64: 73A69AC0F2EDAAB9 Time : 0.0 sec. user=mdettweiler [2012-12-10 05:07:12] 667*2^1237137-1 is not prime. Res64: 8102EEA06EB7BCC7 Time : 0.0 sec. user=mdettweiler [2012-12-10 05:13:04] 681*2^1237137-1 is not prime. Res64: DEF31469A8390B50 Time : 0.0 sec. user=mdettweiler [2012-12-10 05:13:05] 741*2^1237137-1 is not prime. Res64: C04DEE9A3AA4DC85 Time : 0.0 sec. user=mdettweiler [2012-12-10 05:24:39] 805*2^1237137-1 is not prime. Res64: 9A93EE4F00F85455 Time : 0.0 sec. user=mdettweiler [2012-12-10 05:24:40] 861*2^1237137-1 is not prime. Res64: 01A450C69ABBEEBE Time : 0.0 sec. user=mdettweiler [2012-12-10 05:30:25] 985*2^1237137-1 is not prime. Res64: B2EF0B1034316777 Time : 0.0 sec. user=mdettweiler [2012-12-10 05:30:28] 617*2^1237138-1 is not prime. Res64: 137631FD4C8787CF Time : 0.0 sec. user=mdettweiler [2012-12-10 05:41:58] 713*2^1237138-1 is not prime. Res64: 87FF84AEE521C894 Time : 0.0 sec. user=mdettweiler [2012-12-10 05:41:58] 813*2^1237138-1 is not prime. Res64: 6D403F2DB5E75EA3 Time : 0.0 sec. user=mdettweiler [2012-12-10 05:47:51] 827*2^1237138-1 is not prime. Res64: 8B779C0CD7553E57 Time : 0.0 sec. user=mdettweiler [2012-12-10 05:47:52] 885*2^1237138-1 is not prime. Res64: 448B8EC828CCE208 Time : 0.0 sec. user=mdettweiler [2012-12-10 05:59:19] 945*2^1237138-1 is not prime. Res64: BF3FDD08DC6DDA06 Time : 0.0 sec. user=mdettweiler [2012-12-10 05:59:19] 603*2^1237139-1 is not prime. Res64: F595CC62BD32869D Time : 0.0 sec. user=mdettweiler [2012-12-10 06:05:11] 735*2^1237139-1 is not prime. Res64: F3658242281E6CAB Time : 0.0 sec. user=mdettweiler [2012-12-10 06:05:12] 955*2^1237139-1 is not prime. Res64: D179B54BCDA0779B Time : 0.0 sec. user=mdettweiler [2012-12-10 06:16:37] 979*2^1237139-1 is not prime. Res64: D5AFA9E4E318AED8 Time : 0.0 sec. user=mdettweiler [2012-12-10 06:16:38] 991*2^1237139-1 is not prime. Res64: E4E61B6A6B12748D Time : 0.0 sec. user=mdettweiler [2012-12-10 06:22:37] 999*2^1237139-1 is not prime. Res64: 62306C298842D860 Time : 0.0 sec. user=mdettweiler [2012-12-10 06:22:38] 615*2^1237140-1 is not prime. Res64: 241A2D5F5D3DC98E Time : 0.0 sec. user=mdettweiler [2012-12-10 06:33:55] 777*2^1237140-1 is not prime. Res64: 015BB0CC7CB0B25D Time : 0.0 sec. user=mdettweiler [2012-12-10 06:33:56] 797*2^1237140-1 is not prime. Res64: 3B843A30C08FBD84 Time : 0.0 sec. user=mdettweiler [2012-12-10 06:39:56] 845*2^1237140-1 is not prime. Res64: 192DF88BF4818487 Time : 0.0 sec. user=mdettweiler [2012-12-10 06:39:56] 965*2^1237140-1 is not prime. Res64: 5121FE37DFF6CA86 Time : 0.0 sec. user=mdettweiler [2012-12-10 06:51:14] 745*2^1237141-1 is not prime. Res64: 03810F83D2B245D8 Time : 0.0 sec. user=mdettweiler [2012-12-10 06:51:15] 847*2^1237141-1 is not prime. Res64: 06BB2F69BDE803A4 Time : 0.0 sec. user=mdettweiler [2012-12-10 06:57:14] 961*2^1237141-1 is not prime. Res64: FD41BACCF48EAE38 Time : 0.0 sec. user=mdettweiler [2012-12-10 06:57:15] 615*2^1237142-1 is not prime. Res64: 3D5BAA43135E1B54 Time : 0.0 sec. user=mdettweiler [2012-12-10 07:08:33] 791*2^1237142-1 is not prime. Res64: 67E9C9FC1311B78A Time : 0.0 sec. user=mdettweiler [2012-12-10 07:08:37] 903*2^1237142-1 is not prime. Res64: 1D05EDFFD49399A7 Time : 0.0 sec. user=mdettweiler [2012-12-10 07:14:32] 951*2^1237142-1 is not prime. Res64: 45C83EB9D93610B0 Time : 0.0 sec. user=mdettweiler [2012-12-10 07:14:33] 965*2^1237142-1 is not prime. Res64: 7126622BD081BF8B Time : 0.0 sec. user=mdettweiler [2012-12-10 07:26:24] 1001*2^1237142-1 is not prime. Res64: AEC0632277047F6A Time : 0.0 sec. user=mdettweiler [2012-12-10 07:26:24] 619*2^1237143-1 is not prime. Res64: E581F4BAE398EF8B Time : 0.0 sec. user=mdettweiler [2012-12-10 07:31:51] 621*2^1237143-1 is not prime. Res64: 860D685D30FC936D Time : 0.0 sec. user=mdettweiler [2012-12-10 07:31:52] 661*2^1237143-1 is not prime. Res64: 4D424388EBB83293 Time : 0.0 sec. user=mdettweiler [2012-12-10 07:43:42] 669*2^1237143-1 is not prime. Res64: DCCCB660F18C4B66 Time : 0.0 sec. user=mdettweiler [2012-12-10 07:43:43] 825*2^1237143-1 is not prime. Res64: 4312923AF56DC00C Time : 0.0 sec. user=mdettweiler [2012-12-10 07:49:10] 873*2^1237143-1 is not prime. Res64: 526C3A4E88673B81 Time : 0.0 sec. user=mdettweiler [2012-12-10 07:49:10] 879*2^1237143-1 is not prime. Res64: 15306E742A922004 Time : 0.0 sec. user=mdettweiler [2012-12-10 08:01:01] 891*2^1237143-1 is not prime. Res64: C0D1348B5FABF49A Time : 0.0 sec. user=mdettweiler [2012-12-10 08:01:02] 901*2^1237143-1 is not prime. Res64: 32B3EA186850ADBC Time : 0.0 sec. user=mdettweiler [2012-12-10 08:06:27] 951*2^1237143-1 is not prime. Res64: 19C50E770560E35C Time : 0.0 sec. user=mdettweiler [2012-12-10 08:06:28] 615*2^1237144-1 is not prime. Res64: FD53D34C960B9002 Time : 0.0 sec. user=mdettweiler [2012-12-10 08:18:30] 707*2^1237144-1 is not prime. Res64: 96EFFF767BE951E9 Time : 0.0 sec. user=mdettweiler [2012-12-10 08:18:31] 719*2^1237144-1 is not prime. Res64: 703EA800D3E34A6F Time : 0.0 sec. user=mdettweiler [2012-12-10 08:23:49] 825*2^1237144-1 is not prime. Res64: 69316415700B95ED Time : 0.0 sec. user=mdettweiler [2012-12-10 08:23:50] 863*2^1237144-1 is not prime. Res64: 791374D46CBF8529 Time : 0.0 sec. user=mdettweiler [2012-12-10 08:35:53] 875*2^1237144-1 is not prime. Res64: 3DA2D172EC7B86B7 Time : 0.0 sec. user=mdettweiler [2012-12-10 08:35:53] 905*2^1237144-1 is not prime. Res64: C757D6903AEDAE1B Time : 0.0 sec. user=mdettweiler [2012-12-10 08:41:07] 627*2^1237145-1 is not prime. Res64: 3EBA37750F18D905 Time : 0.0 sec. user=mdettweiler [2012-12-10 08:41:08] 669*2^1237145-1 is not prime. Res64: D1943E79A77CC44C Time : 0.0 sec. user=mdettweiler [2012-12-10 08:53:12] 697*2^1237145-1 is not prime. Res64: C1E4156EBED4BCAC Time : 0.0 sec. user=mdettweiler [2012-12-10 08:53:12] 705*2^1237145-1 is not prime. Res64: F6951902B6FAC07A Time : 0.0 sec. user=mdettweiler [2012-12-10 08:58:25] 841*2^1237145-1 is not prime. Res64: C3A03875817F3FCF Time : 0.0 sec. user=mdettweiler [2012-12-10 08:58:26] 865*2^1237145-1 is not prime. Res64: F7BC23F4D4E2A06E Time : 0.0 sec. user=mdettweiler [2012-12-10 09:10:30] 925*2^1237145-1 is not prime. Res64: FE2DCBAD24381A32 Time : 0.0 sec. user=mdettweiler [2012-12-10 09:10:31] 711*2^1237146-1 is not prime. Res64: DF763B424732B02D Time : 0.0 sec. user=mdettweiler [2012-12-10 09:15:44] 713*2^1237146-1 is not prime. Res64: DA0D41B3CD8F20CB Time : 0.0 sec. user=mdettweiler [2012-12-10 09:15:44] 767*2^1237146-1 is not prime. Res64: BAD7BA107B742E22 Time : 0.0 sec. user=mdettweiler [2012-12-10 09:27:51] 821*2^1237146-1 is not prime. Res64: 4145B2231ABAC794 Time : 0.0 sec. user=mdettweiler [2012-12-10 09:27:52] 603*2^1237147-1 is not prime. Res64: DF449BE94C09943D Time : 0.0 sec. user=mdettweiler [2012-12-10 09:33:04] 639*2^1237147-1 is not prime. Res64: D66ABDA48CB7657B Time : 0.0 sec. user=mdettweiler [2012-12-10 09:33:05] 649*2^1237147-1 is not prime. Res64: 6D5DB34AD539AD03 Time : 0.0 sec. user=mdettweiler [2012-12-10 09:45:10] 735*2^1237147-1 is not prime. Res64: 971D8E224BCD8805 Time : 0.0 sec. user=mdettweiler [2012-12-10 09:45:10] 883*2^1237147-1 is not prime. Res64: 41D661DCE5B7590B Time : 0.0 sec. user=mdettweiler [2012-12-10 09:50:22] 939*2^1237147-1 is not prime. Res64: 034C55D6BDF34CBB Time : 0.0 sec. user=mdettweiler [2012-12-10 09:50:23] 975*2^1237147-1 is not prime. Res64: 57CD74DCBA7286CD Time : 0.0 sec. user=mdettweiler [2012-12-10 10:02:27] 999*2^1237147-1 is not prime. Res64: AAC035233777EF0D Time : 0.0 sec. user=mdettweiler [2012-12-10 10:02:28] 623*2^1237148-1 is not prime. Res64: 50A133F4910CE56F Time : 0.0 sec. user=mdettweiler [2012-12-10 10:07:41] 753*2^1237148-1 is not prime. Res64: 358284A074D18029 Time : 0.0 sec. user=mdettweiler [2012-12-10 10:07:43] 767*2^1237148-1 is not prime. Res64: 6A6E906282C70B78 Time : 0.0 sec. user=mdettweiler [2012-12-10 10:20:05] 819*2^1237148-1 is not prime. Res64: 07A4346EA87A4DDB Time : 0.0 sec. user=mdettweiler [2012-12-10 10:20:05] 893*2^1237148-1 is not prime. Res64: BC9EF3CC9928FAAB Time : 0.0 sec. user=mdettweiler [2012-12-10 10:25:06] 899*2^1237148-1 is not prime. Res64: F96847667FD09ECE Time : 0.0 sec. user=mdettweiler [2012-12-10 10:25:07] 909*2^1237148-1 is not prime. Res64: 4ACD5C025DD3300E Time : 0.0 sec. user=mdettweiler [2012-12-10 10:37:26] 969*2^1237148-1 is not prime. Res64: 32C0E364FB8F7F5B Time : 0.0 sec. user=mdettweiler [2012-12-10 10:37:26] 685*2^1237149-1 is not prime. Res64: 31C21CF2E454B573 Time : 0.0 sec. user=mdettweiler [2012-12-10 10:42:25] 751*2^1237149-1 is not prime. Res64: FE1B93CE1F7DE6BE Time : 0.0 sec. user=mdettweiler [2012-12-10 10:42:26] 765*2^1237149-1 is not prime. Res64: A9220A198C6514ED Time : 0.0 sec. user=mdettweiler [2012-12-10 10:54:44] 867*2^1237149-1 is not prime. Res64: 8D38A46D8740D243 Time : 0.0 sec. user=mdettweiler [2012-12-10 10:54:45] 891*2^1237149-1 is not prime. Res64: 748B414127FCC810 Time : 0.0 sec. user=mdettweiler [2012-12-10 10:59:43] 895*2^1237149-1 is not prime. Res64: 369709B626442B5F Time : 0.0 sec. user=mdettweiler [2012-12-10 10:59:43] 969*2^1237149-1 is not prime. Res64: C159F9B1A807A881 Time : 0.0 sec. user=mdettweiler [2012-12-10 11:12:02] 985*2^1237149-1 is not prime. Res64: 56A64994FB0D1145 Time : 0.0 sec. user=mdettweiler [2012-12-10 11:12:03] 991*2^1237149-1 is not prime. Res64: 41573AA00E81C7CE Time : 0.0 sec. user=mdettweiler [2012-12-10 11:17:01] 647*2^1237150-1 is not prime. Res64: D3C76CDEA0A15590 Time : 0.0 sec. user=mdettweiler [2012-12-10 11:17:01] 663*2^1237150-1 is not prime. Res64: 824C6AEFB6071207 Time : 0.0 sec. user=mdettweiler [2012-12-10 11:29:31] 707*2^1237150-1 is not prime. Res64: 768958013FACC548 Time : 0.0 sec. user=mdettweiler [2012-12-10 11:29:32] 777*2^1237150-1 is not prime. Res64: 5201E9CFBFA8E170 Time : 0.0 sec. user=mdettweiler [2012-12-10 11:34:19] 615*2^1237151-1 is not prime. Res64: 26B1A938FB17702C Time : 0.0 sec. user=mdettweiler [2012-12-10 11:34:20] 703*2^1237151-1 is not prime. Res64: 3A250C847FA9A1E0 Time : 0.0 sec. user=mdettweiler [2012-12-10 11:46:50] 735*2^1237151-1 is not prime. Res64: 5D1A285115B59A08 Time : 0.0 sec. user=mdettweiler [2012-12-10 11:46:51] 741*2^1237151-1 is not prime. Res64: 7AD933557D05E158 Time : 0.0 sec. user=mdettweiler [2012-12-10 11:51:37] 609*2^1237152-1 is not prime. Res64: 333DC448137F3FCC Time : 0.0 sec. user=mdettweiler [2012-12-10 11:51:37] 635*2^1237152-1 is not prime. Res64: 79428622AC817F41 Time : 0.0 sec. user=mdettweiler [2012-12-10 12:04:08] 717*2^1237152-1 is not prime. Res64: CD41B064243A19F5 Time : 0.0 sec. user=mdettweiler [2012-12-10 12:04:09] 977*2^1237152-1 is not prime. Res64: 6E67287309BFDBF5 Time : 0.0 sec. user=mdettweiler [2012-12-10 12:08:55] 771*2^1237153-1 is not prime. Res64: F7CFB60ECCA88CDE Time : 0.0 sec. user=mdettweiler [2012-12-10 12:08:57] 805*2^1237153-1 is not prime. Res64: B5FBA77BE2AB247D Time : 0.0 sec. user=mdettweiler [2012-12-10 12:21:28] 807*2^1237153-1 is not prime. Res64: 0FE6584864E2744E Time : 0.0 sec. user=mdettweiler [2012-12-10 12:21:29] 831*2^1237153-1 is not prime. Res64: 53036C341BFABDE1 Time : 0.0 sec. user=mdettweiler [2012-12-10 12:26:35] 987*2^1237153-1 is not prime. Res64: 9E76475225199C18 Time : 0.0 sec. user=mdettweiler [2012-12-10 12:26:35] 633*2^1237154-1 is not prime. Res64: 7AEB352241D45D2E Time : 0.0 sec. user=mdettweiler [2012-12-10 12:38:47] 731*2^1237154-1 is not prime. Res64: 7DB7EA5443C3DEDA Time : 0.0 sec. user=mdettweiler [2012-12-10 12:38:47] 741*2^1237154-1 is not prime. Res64: 05905C332A7F9062 Time : 0.0 sec. user=mdettweiler [2012-12-10 12:43:53] 941*2^1237154-1 is not prime. Res64: C9298747371D3BD8 Time : 0.0 sec. user=mdettweiler [2012-12-10 12:43:53] 993*2^1237154-1 is not prime. Res64: 0073116B9F702463 Time : 0.0 sec. user=mdettweiler [2012-12-10 12:56:04] 751*2^1237155-1 is not prime. Res64: 6185BD58FE7CDA08 Time : 0.0 sec. user=mdettweiler [2012-12-10 12:56:05] 871*2^1237155-1 is not prime. Res64: F253ACE7B393FB37 Time : 0.0 sec. user=mdettweiler [2012-12-10 13:01:11] 961*2^1237155-1 is not prime. Res64: 4AD94154111E8C1E Time : 0.0 sec. user=mdettweiler [2012-12-10 13:01:13] 979*2^1237155-1 is not prime. Res64: 14FF659A0B9042DD Time : 0.0 sec. user=mdettweiler [2012-12-10 13:13:23] 743*2^1237156-1 is not prime. Res64: C8924020D031F4BE Time : 0.0 sec. user=mdettweiler [2012-12-10 13:13:27] 749*2^1237156-1 is not prime. Res64: 7477A2403F468BD0 Time : 0.0 sec. user=mdettweiler [2012-12-10 13:18:46] 777*2^1237156-1 is not prime. Res64: A69E12FD7DAC65BC Time : 0.0 sec. user=mdettweiler [2012-12-10 13:18:47] 785*2^1237156-1 is not prime. Res64: D084201B75DA8526 Time : 0.0 sec. user=mdettweiler [2012-12-10 13:30:59] 855*2^1237156-1 is not prime. Res64: A4B803321255F189 Time : 0.0 sec. user=mdettweiler [2012-12-10 13:31:00] 939*2^1237156-1 is not prime. Res64: E75AD381B064DD07 Time : 0.0 sec. user=mdettweiler [2012-12-10 13:36:05] 965*2^1237156-1 is not prime. Res64: 11268E669C51AA04 Time : 0.0 sec. user=mdettweiler [2012-12-10 13:36:05] 999*2^1237156-1 is not prime. Res64: 1E33B9D9739B9563 Time : 0.0 sec. user=mdettweiler [2012-12-10 13:48:18] 649*2^1237157-1 is not prime. Res64: A63B371B74DF2932 Time : 0.0 sec. user=mdettweiler [2012-12-10 13:48:19] 675*2^1237157-1 is not prime. Res64: 3B25C94E247EA48F Time : 0.0 sec. user=mdettweiler [2012-12-10 13:53:23] 685*2^1237157-1 is not prime. Res64: 646A05EA78502EA2 Time : 0.0 sec. user=mdettweiler [2012-12-10 13:53:24] 729*2^1237157-1 is not prime. Res64: 70A41AE2928531B2 Time : 0.0 sec. user=mdettweiler [2012-12-10 14:05:39] 861*2^1237157-1 is not prime. Res64: 71854658C3F5B811 Time : 0.0 sec. user=mdettweiler [2012-12-10 14:05:40] 927*2^1237157-1 is not prime. Res64: 82D63B943C82519F Time : 0.0 sec. user=mdettweiler [2012-12-10 14:10:49] 945*2^1237157-1 is not prime. Res64: 5793544C4ECEA3D4 Time : 0.0 sec. user=mdettweiler [2012-12-10 14:10:54] 677*2^1237158-1 is not prime. Res64: 1017DB28244DF470 Time : 0.0 sec. user=mdettweiler [2012-12-10 14:23:25] 765*2^1237158-1 is not prime. Res64: D1EDF8AF112500E4 Time : 0.0 sec. user=mdettweiler [2012-12-10 14:23:25] 777*2^1237158-1 is not prime. Res64: 2A6A9BB20B04BB62 Time : 0.0 sec. user=mdettweiler [2012-12-10 14:29:22] 625*2^1237159-1 is not prime. Res64: 0E70363F6476DEF9 Time : 0.0 sec. user=mdettweiler [2012-12-10 14:29:23] 639*2^1237159-1 is not prime. Res64: CB5050845280CE22 Time : 0.0 sec. user=mdettweiler [2012-12-10 14:41:12] 661*2^1237159-1 is not prime. Res64: F5E704A4BD8AA2CF Time : 0.0 sec. user=mdettweiler [2012-12-10 14:41:13] 811*2^1237159-1 is not prime. Res64: BEFC70C68AFC0489 Time : 0.0 sec. user=mdettweiler [2012-12-10 14:46:43] 843*2^1237159-1 is not prime. Res64: 58F1425064AC4E99 Time : 0.0 sec. user=mdettweiler [2012-12-10 14:46:43] 885*2^1237159-1 is not prime. Res64: 35D193B2DD1EF1C9 Time : 0.0 sec. user=mdettweiler [2012-12-10 14:58:32] 925*2^1237159-1 is not prime. Res64: FC109DD99CBA2C47 Time : 0.0 sec. user=mdettweiler [2012-12-10 14:58:33] 933*2^1237159-1 is not prime. Res64: E9AA0AF0AA3DA8FC Time : 0.0 sec. user=mdettweiler [2012-12-10 15:04:03] 939*2^1237159-1 is not prime. Res64: 44213DD58C6E2026 Time : 0.0 sec. user=mdettweiler [2012-12-10 15:04:04] 975*2^1237159-1 is not prime. Res64: 6BB1713960C9050E Time : 0.0 sec. user=mdettweiler [2012-12-10 15:15:53] 669*2^1237160-1 is not prime. Res64: 067B543F31538A33 Time : 0.0 sec. user=mdettweiler [2012-12-10 15:15:55] 677*2^1237160-1 is not prime. Res64: D7BCF66FEBDBE925 Time : 0.0 sec. user=mdettweiler [2012-12-10 15:21:28] 813*2^1237160-1 is not prime. Res64: CF8161F56BCCD9CF Time : 0.0 sec. user=mdettweiler [2012-12-10 15:21:29] 983*2^1237160-1 is not prime. Res64: 3127791D13214C80 Time : 0.0 sec. user=mdettweiler [2012-12-10 15:33:28] 609*2^1237161-1 is not prime. Res64: 602754E0F2E7A6A4 Time : 0.0 sec. user=mdettweiler [2012-12-10 15:33:28] 709*2^1237161-1 is not prime. Res64: 8DF21C9BC34624BC Time : 0.0 sec. user=mdettweiler [2012-12-10 15:38:53] 745*2^1237161-1 is not prime. Res64: 21A87C7C0D210B1A Time : 0.0 sec. user=mdettweiler [2012-12-10 15:38:53] 807*2^1237161-1 is not prime. Res64: 7DE36051EBA09197 Time : 0.0 sec. user=mdettweiler [2012-12-10 15:50:52] 817*2^1237161-1 is not prime. Res64: 15CF55DDE23C70B7 Time : 0.0 sec. user=mdettweiler [2012-12-10 15:50:52] 877*2^1237161-1 is not prime. Res64: 6ED5402882F1AC3D Time : 0.0 sec. user=mdettweiler [2012-12-10 15:56:16] 907*2^1237161-1 is not prime. Res64: EDDBC5CE1CEA43F5 Time : 0.0 sec. user=mdettweiler [2012-12-10 15:56:16] 665*2^1237162-1 is not prime. Res64: 6CF3D64F013B8900 Time : 0.0 sec. user=mdettweiler [2012-12-10 16:08:24] 801*2^1237162-1 is not prime. Res64: 3AAFBD0EEAB52ED4 Time : 0.0 sec. user=mdettweiler [2012-12-10 16:08:26] 885*2^1237162-1 is not prime. Res64: B4DA89A0D28812A6 Time : 0.0 sec. user=mdettweiler [2012-12-10 16:13:58] 995*2^1237162-1 is not prime. Res64: 499FE1A8BDB99028 Time : 0.0 sec. user=mdettweiler [2012-12-10 16:13:59] 609*2^1237163-1 is not prime. Res64: B7CC2FE7297F519B Time : 0.0 sec. user=mdettweiler [2012-12-10 16:27:29] 693*2^1237163-1 is not prime. Res64: 70E311869AF96BBC Time : 0.0 sec. user=mdettweiler [2012-12-10 16:27:30] 745*2^1237163-1 is not prime. Res64: 6CEE41AFD4F236CA Time : 0.0 sec. user=mdettweiler [2012-12-10 16:32:01] 771*2^1237163-1 is not prime. Res64: F3BABB1DE36E44D5 Time : 0.0 sec. user=mdettweiler [2012-12-10 16:32:01] 871*2^1237163-1 is not prime. Res64: C44E5A63C85AEC00 Time : 0.0 sec. user=mdettweiler [2012-12-10 16:45:15] 895*2^1237163-1 is not prime. Res64: A2F1111F4BDE33D1 Time : 0.0 sec. user=mdettweiler [2012-12-10 16:45:15] 973*2^1237163-1 is not prime. Res64: 0350D2D77B9E2415 Time : 0.0 sec. user=mdettweiler [2012-12-10 17:03:19] 749*2^1237164-1 is not prime. Res64: 9A7CD10937A721D7 Time : 0.0 sec. user=mdettweiler [2012-12-10 17:03:20] 825*2^1237164-1 is not prime. Res64: D7896E56461B9FEE Time : 0.0 sec. user=mdettweiler [2012-12-10 17:15:48] 609*2^1237164-1 is not prime. Res64: 433A2316ECA7C76A Time : 0.0 sec. user=mdettweiler [2012-12-10 17:15:48] 623*2^1237164-1 is not prime. Res64: 00D923AF96AB9EB3 Time : 0.0 sec. user=mdettweiler [2012-12-10 17:21:17] 875*2^1237164-1 is not prime. Res64: DF13FE1539CCBF7F Time : 0.0 sec. user=mdettweiler [2012-12-10 17:21:17] 649*2^1237165-1 is not prime. Res64: 6980D69323DCCB47 Time : 0.0 sec. user=mdettweiler [2012-12-10 17:33:42] 741*2^1237165-1 is not prime. Res64: ED7CD6245BE5F61F Time : 0.0 sec. user=mdettweiler [2012-12-10 17:33:43] 777*2^1237165-1 is not prime. Res64: 2BE471B7C2C4C4EE Time : 0.0 sec. user=mdettweiler [2012-12-10 17:39:04] 825*2^1237165-1 is not prime. Res64: C69B105B0FCAEE28 Time : 0.0 sec. user=mdettweiler [2012-12-10 17:39:04] 861*2^1237165-1 is not prime. Res64: 5ED3BA0B3471B9C8 Time : 0.0 sec. user=mdettweiler [2012-12-10 17:51:26] 937*2^1237165-1 is not prime. Res64: B9C2F23336674CA0 Time : 0.0 sec. user=mdettweiler [2012-12-10 17:51:26] 957*2^1237165-1 is not prime. Res64: 9E8BB93E123E761E Time : 0.0 sec. user=mdettweiler [2012-12-10 17:56:47] 705*2^1237166-1 is not prime. Res64: 16201A2F074998D5 Time : 0.0 sec. user=mdettweiler [2012-12-10 17:56:47] 773*2^1237166-1 is not prime. Res64: A7A5D9564FF66150 Time : 0.0 sec. user=mdettweiler [2012-12-10 18:09:11] 917*2^1237166-1 is not prime. Res64: 9AB2CA18B9A24CBB Time : 0.0 sec. user=mdettweiler [2012-12-10 18:09:12] 669*2^1237167-1 is not prime. Res64: A4614D01F816464D Time : 0.0 sec. user=mdettweiler [2012-12-10 18:14:31] 735*2^1237167-1 is not prime. Res64: 60CDD204DD3D4D2B Time : 0.0 sec. user=mdettweiler [2012-12-10 18:14:32] 769*2^1237167-1 is not prime. Res64: 5FEB623918B06AD2 Time : 0.0 sec. user=mdettweiler [2012-12-10 18:26:57] 795*2^1237167-1 is not prime. Res64: 386896FA8A936029 Time : 0.0 sec. user=mdettweiler [2012-12-10 18:26:58] 829*2^1237167-1 is not prime. Res64: 799DD51EC9E48913 Time : 0.0 sec. user=mdettweiler [2012-12-10 18:32:17] 891*2^1237167-1 is not prime. Res64: F2D652F19CB394EC Time : 0.0 sec. user=mdettweiler [2012-12-10 18:32:17] 895*2^1237167-1 is not prime. Res64: 047657A48B95C448 Time : 0.0 sec. user=mdettweiler [2012-12-10 18:44:41] 985*2^1237167-1 is not prime. Res64: 7E9793D10314234C Time : 0.0 sec. user=mdettweiler [2012-12-10 18:44:42] 603*2^1237168-1 is not prime. Res64: 6BFE81DB46F17E81 Time : 0.0 sec. user=mdettweiler [2012-12-10 18:50:01] 605*2^1237168-1 is not prime. Res64: D7CDF8A619E8D683 Time : 0.0 sec. user=mdettweiler [2012-12-10 18:50:01] 735*2^1237168-1 is not prime. Res64: 2FC8BB8A893C3B10 Time : 0.0 sec. user=mdettweiler [2012-12-10 19:02:25] 905*2^1237168-1 is not prime. Res64: 696E43CA6B7A56D7 Time : 0.0 sec. user=mdettweiler [2012-12-10 19:02:26] 933*2^1237168-1 is not prime. Res64: 8E4927E950431D1D Time : 0.0 sec. user=mdettweiler [2012-12-10 19:07:41] 999*2^1237168-1 is not prime. Res64: 3A4E87608E359DCE Time : 0.0 sec. user=mdettweiler [2012-12-10 19:07:42] 615*2^1237169-1 is not prime. Res64: 307E4FBC7AA2BB61 Time : 0.0 sec. user=mdettweiler [2012-12-10 19:20:01] 637*2^1237169-1 is not prime. Res64: 359A8B1FA9B3CC88 Time : 0.0 sec. user=mdettweiler [2012-12-10 19:20:02] 705*2^1237169-1 is not prime. Res64: AA465C5A818B8B0F Time : 0.0 sec. user=mdettweiler [2012-12-10 19:25:07] 799*2^1237169-1 is not prime. Res64: 3725B88A10E4636D Time : 0.0 sec. user=mdettweiler [2012-12-10 19:25:08] 847*2^1237169-1 is not prime. Res64: CB194E08296A1491 Time : 0.0 sec. user=mdettweiler [2012-12-10 19:37:25] 985*2^1237169-1 is not prime. Res64: F23E877D1A7C79B7 Time : 0.0 sec. user=mdettweiler [2012-12-10 19:37:25] 711*2^1237170-1 is not prime. Res64: 86992BFEAF765C8C Time : 0.0 sec. user=mdettweiler [2012-12-10 19:42:29] 801*2^1237170-1 is not prime. Res64: 009AA3AC83B85091 Time : 0.0 sec. user=mdettweiler [2012-12-10 19:42:30] 803*2^1237170-1 is not prime. Res64: 9FB047B281C293CE Time : 0.0 sec. user=mdettweiler [2012-12-10 19:54:46] 917*2^1237170-1 is not prime. Res64: 6B99FF18AE023649 Time : 0.0 sec. user=mdettweiler [2012-12-10 19:54:47] 923*2^1237170-1 is not prime. Res64: 359E3A947EB7A353 Time : 0.0 sec. user=mdettweiler [2012-12-10 19:59:53] 673*2^1237171-1 is not prime. Res64: F3155FD7EBB1B1F2 Time : 0.0 sec. user=mdettweiler [2012-12-10 19:59:54] 741*2^1237171-1 is not prime. Res64: 0F15A27DAE11ECC0 Time : 0.0 sec. user=mdettweiler [2012-12-10 20:12:14] 769*2^1237171-1 is not prime. Res64: 67D9B1A1463515E4 Time : 0.0 sec. user=mdettweiler [2012-12-10 20:12:15] 805*2^1237171-1 is not prime. Res64: 0DC25A3638388354 Time : 0.0 sec. user=mdettweiler [2012-12-10 20:17:20] 943*2^1237171-1 is not prime. Res64: 5FF9ED2CBD565C04 Time : 0.0 sec. user=mdettweiler [2012-12-10 20:17:21] 629*2^1237172-1 is not prime. Res64: 5A1AC32A9B7ECB0C Time : 0.0 sec. user=mdettweiler [2012-12-10 20:30:13] 735*2^1237172-1 is not prime. Res64: D2D2C67384011459 Time : 0.0 sec. user=mdettweiler [2012-12-10 20:30:14] 873*2^1237172-1 is not prime. Res64: 5450502E86121BFE Time : 0.0 sec. user=mdettweiler [2012-12-10 20:35:14] 885*2^1237172-1 is not prime. Res64: 565A9236B58A53C4 Time : 0.0 sec. user=mdettweiler [2012-12-10 20:35:14] 983*2^1237172-1 is not prime. Res64: 8C7BD737F065CC30 Time : 0.0 sec. user=mdettweiler [2012-12-10 20:47:48] 649*2^1237173-1 is not prime. Res64: 1FBA5613273C974F Time : 0.0 sec. user=mdettweiler [2012-12-10 20:47:49] 721*2^1237173-1 is not prime. Res64: 4D1060C7FA758992 Time : 0.0 sec. user=mdettweiler [2012-12-10 20:52:52] 819*2^1237173-1 is not prime. Res64: B8A4A0D2163FBAC0 Time : 0.0 sec. user=mdettweiler [2012-12-10 20:52:53] 895*2^1237173-1 is not prime. Res64: FF4243762AF43DBF Time : 0.0 sec. user=mdettweiler [2012-12-10 21:05:17] 915*2^1237173-1 is not prime. Res64: 49DF1CE9A1F37804 Time : 0.0 sec. user=mdettweiler [2012-12-10 21:05:18] 999*2^1237173-1 is not prime. Res64: 7AFB29C30E4491AD Time : 0.0 sec. user=mdettweiler [2012-12-10 21:10:15] 645*2^1237174-1 is not prime. Res64: 6F1C0AC42DF1DD04 Time : 0.0 sec. user=mdettweiler [2012-12-10 21:10:18] 923*2^1237174-1 is not prime. Res64: 0BA8F29DE6782264 Time : 0.0 sec. user=mdettweiler [2012-12-10 21:22:40] 633*2^1237175-1 is not prime. Res64: 8F1BE0D50ACB24A0 Time : 0.0 sec. user=mdettweiler [2012-12-10 21:22:41] 661*2^1237175-1 is not prime. Res64: F224677109D70B72 Time : 0.0 sec. user=mdettweiler [2012-12-10 21:27:45] 693*2^1237175-1 is not prime. Res64: DCCB35FD1DB8E770 Time : 0.0 sec. user=mdettweiler [2012-12-10 21:27:46] 753*2^1237175-1 is not prime. Res64: 831474C3C6286CB7 Time : 0.0 sec. user=mdettweiler [2012-12-10 21:39:59] 771*2^1237175-1 is not prime. Res64: EBD604BC06713B0A Time : 0.0 sec. user=mdettweiler [2012-12-10 21:40:00] 775*2^1237175-1 is not prime. Res64: A0F94C3195D86A0D Time : 0.0 sec. user=mdettweiler [2012-12-10 21:45:06] 843*2^1237175-1 is not prime. Res64: 4E21AA2EA764CF37 Time : 0.0 sec. user=mdettweiler [2012-12-10 21:45:06] 969*2^1237175-1 is not prime. Res64: 21AB1DDB6B11FDAE Time : 0.0 sec. user=mdettweiler [2012-12-10 21:57:21] 689*2^1237176-1 is not prime. Res64: 126DA85B2B7DA000 Time : 0.0 sec. user=mdettweiler [2012-12-10 21:57:22] 693*2^1237176-1 is not prime. Res64: 44C22F91DBE2A5CB Time : 0.0 sec. user=mdettweiler [2012-12-10 22:02:28] 717*2^1237176-1 is not prime. Res64: 40145982FAA3CF12 Time : 0.0 sec. user=mdettweiler [2012-12-10 22:02:30] 725*2^1237176-1 is not prime. Res64: E41B6AA5C39B07F0 Time : 0.0 sec. user=mdettweiler [2012-12-10 22:14:43] 789*2^1237176-1 is not prime. Res64: 5AB1C29DF3AC7B92 Time : 0.0 sec. user=mdettweiler [2012-12-10 22:14:44] 849*2^1237176-1 is not prime. Res64: 3CBEEDFB0CBB88DF Time : 0.0 sec. user=mdettweiler [2012-12-10 22:20:23] 903*2^1237176-1 is not prime. Res64: 63C591548431AB21 Time : 0.0 sec. user=mdettweiler [2012-12-10 22:20:23] 609*2^1237177-1 is not prime. Res64: FA07D706C7F90194 Time : 0.0 sec. user=mdettweiler [2012-12-10 22:32:07] 615*2^1237177-1 is not prime. Res64: B5572EF878703EBC Time : 0.0 sec. user=mdettweiler [2012-12-10 22:32:08] 619*2^1237177-1 is not prime. Res64: C742C4ACC4D3815D Time : 0.0 sec. user=mdettweiler [2012-12-10 22:37:45] 649*2^1237177-1 is not prime. Res64: 4C3B97DAF846221A Time : 0.0 sec. user=mdettweiler [2012-12-10 22:37:46] 699*2^1237177-1 is not prime. Res64: 0FEE459A66B6E71D Time : 0.0 sec. user=mdettweiler [2012-12-10 22:49:29] 765*2^1237177-1 is not prime. Res64: 7E61E733D7324A63 Time : 0.0 sec. user=mdettweiler [2012-12-10 22:49:30] 871*2^1237177-1 is not prime. Res64: D69E8289D9960976 Time : 0.0 sec. user=mdettweiler [2012-12-10 22:55:07] 919*2^1237177-1 is not prime. Res64: C0B32AEA40B80530 Time : 0.0 sec. user=mdettweiler [2012-12-10 22:55:08] 939*2^1237177-1 is not prime. Res64: D74B9A386F757D05 Time : 0.0 sec. user=mdettweiler [2012-12-10 23:06:51] 967*2^1237177-1 is not prime. Res64: B17903258B121ED9 Time : 0.0 sec. user=mdettweiler [2012-12-10 23:06:54] 605*2^1237178-1 is not prime. Res64: 9423EC34F98CDC0F Time : 0.0 sec. user=mdettweiler [2012-12-10 23:12:29] 645*2^1237178-1 is not prime. Res64: 82838BC2EB29058F Time : 0.0 sec. user=mdettweiler [2012-12-10 23:12:30] 665*2^1237178-1 is not prime. Res64: 5BAEBB494598BFEF Time : 0.0 sec. user=mdettweiler [2012-12-10 23:24:25] 687*2^1237178-1 is not prime. Res64: 741F98B6598383C3 Time : 0.0 sec. user=mdettweiler [2012-12-10 23:24:25] 771*2^1237178-1 is not prime. Res64: 3E89E8C86217D602 Time : 0.0 sec. user=mdettweiler [2012-12-10 23:29:55] 797*2^1237178-1 is not prime. Res64: D239BE884E606623 Time : 0.0 sec. user=mdettweiler [2012-12-10 23:29:56] 857*2^1237178-1 is not prime. Res64: 3BE679291BBEA4FE Time : 0.0 sec. user=mdettweiler [2012-12-10 23:41:47] 923*2^1237178-1 is not prime. Res64: 9C70876A9BF094C0 Time : 0.0 sec. user=mdettweiler [2012-12-10 23:41:47] 609*2^1237179-1 is not prime. Res64: 34A00BA1C68FC782 Time : 0.0 sec. user=mdettweiler [2012-12-10 23:47:18] 745*2^1237179-1 is not prime. Res64: D884F578CC49B02B Time : 0.0 sec. user=mdettweiler [2012-12-10 23:47:18] 823*2^1237179-1 is not prime. Res64: 165926DF321E4DBC Time : 0.0 sec. user=mdettweiler [2012-12-10 23:59:08] 777*2^1237180-1 is not prime. Res64: 16CC843D2685A762 Time : 0.0 sec. user=mdettweiler [2012-12-10 23:59:09] 927*2^1237180-1 is not prime. Res64: 7AB23B6A8A9B4EE9 Time : 0.0 sec.