user=mdettweiler [2012-11-06 00:03:30] 735*2^1233711-1 is not prime. Res64: 27454064374CA375 Time : 0.0 sec. user=mdettweiler [2012-11-06 00:03:31] 859*2^1233711-1 is not prime. Res64: D6D783F8960BC8A4 Time : 0.0 sec. user=mdettweiler [2012-11-06 00:12:20] 861*2^1233711-1 is not prime. Res64: B2825F4E6FAAD505 Time : 0.0 sec. user=mdettweiler [2012-11-06 00:12:22] 865*2^1233711-1 is not prime. Res64: F148BC9F9649EBE6 Time : 0.0 sec. user=vaughan [2012-11-06 00:17:59] 613*2^1233711-1 is not prime. Res64: 6EA7FA0F8D2DA9E4 Time : 0.0 sec. user=mdettweiler [2012-11-06 00:24:38] 879*2^1233711-1 is not prime. Res64: 60D2562241716839 Time : 0.0 sec. user=mdettweiler [2012-11-06 00:24:39] 901*2^1233711-1 is not prime. Res64: 726D2E0369607693 Time : 0.0 sec. user=mdettweiler [2012-11-06 00:33:41] 615*2^1233712-1 is not prime. Res64: 96DF5D9C5EBB70CC Time : 0.0 sec. user=mdettweiler [2012-11-06 00:33:43] 675*2^1233712-1 is not prime. Res64: CEFECECC55E97186 Time : 0.0 sec. user=mdettweiler [2012-11-06 00:45:42] 863*2^1233712-1 is not prime. Res64: 4EB4A282FE0C55AE Time : 0.0 sec. user=mdettweiler [2012-11-06 00:45:43] 903*2^1233712-1 is not prime. Res64: 7894244BD3C96696 Time : 0.0 sec. user=mdettweiler [2012-11-06 00:54:48] 909*2^1233712-1 is not prime. Res64: F5D0516F3B296489 Time : 0.0 sec. user=mdettweiler [2012-11-06 00:54:48] 957*2^1233712-1 is not prime. Res64: 8A941EB76EE05CEB Time : 0.0 sec. user=vaughan [2012-11-06 00:55:44] 849*2^1233712-1 is not prime. Res64: E33045CF3CA95A78 Time : 0.0 sec. user=mdettweiler [2012-11-06 01:06:48] 615*2^1233713-1 is not prime. Res64: 8CE8D9D42DDBAA81 Time : 0.0 sec. user=mdettweiler [2012-11-06 01:06:49] 715*2^1233713-1 is not prime. Res64: 1AA68A0EA24C3526 Time : 0.0 sec. user=mdettweiler [2012-11-06 01:15:52] 747*2^1233713-1 is not prime. Res64: 68C9EB2194970135 Time : 0.0 sec. user=mdettweiler [2012-11-06 01:15:56] 805*2^1233713-1 is not prime. Res64: CDEE3F9276F89ABD Time : 0.0 sec. user=mdettweiler [2012-11-06 01:28:03] 837*2^1233713-1 is not prime. Res64: EB475FCF0A531B11 Time : 0.0 sec. user=mdettweiler [2012-11-06 01:28:04] 991*2^1233713-1 is not prime. Res64: 5D977692B98D03A5 Time : 0.0 sec. user=vaughan [2012-11-06 01:33:26] 811*2^1233713-1 is not prime. Res64: DC1AD6803BA1AEAB Time : 0.0 sec. user=mdettweiler [2012-11-06 01:37:16] 611*2^1233714-1 is not prime. Res64: 40816875A1A9CC2F Time : 0.0 sec. user=mdettweiler [2012-11-06 01:37:17] 737*2^1233714-1 is not prime. Res64: F604BE5A9DD707AC Time : 0.0 sec. user=mdettweiler [2012-11-06 01:49:08] 803*2^1233714-1 is not prime. Res64: C443740930177CD5 Time : 0.0 sec. user=mdettweiler [2012-11-06 01:49:09] 851*2^1233714-1 is not prime. Res64: 6D427520689D5EAF Time : 0.0 sec. user=mdettweiler [2012-11-06 01:58:20] 917*2^1233714-1 is not prime. Res64: 8EABDF0AB1CCE13B Time : 0.0 sec. user=mdettweiler [2012-11-06 01:58:21] 923*2^1233714-1 is not prime. Res64: 6346D42EDCEC2F1D Time : 0.0 sec. user=mdettweiler [2012-11-06 02:10:14] 927*2^1233714-1 is not prime. Res64: DEE00BDF804D9F13 Time : 0.0 sec. user=mdettweiler [2012-11-06 02:10:16] 609*2^1233715-1 is not prime. Res64: EDBE385310B8E898 Time : 0.0 sec. user=vaughan [2012-11-06 02:11:07] 861*2^1233714-1 is not prime. Res64: 525F559514C7FC4D Time : 0.0 sec. user=mdettweiler [2012-11-06 02:19:27] 633*2^1233715-1 is not prime. Res64: 7B742C5BD92EE651 Time : 0.0 sec. user=mdettweiler [2012-11-06 02:19:28] 645*2^1233715-1 is not prime. Res64: C901CFD2889205FB Time : 0.0 sec. user=mdettweiler [2012-11-06 02:31:25] 693*2^1233715-1 is not prime. Res64: 82EF14F295088AF7 Time : 0.0 sec. user=mdettweiler [2012-11-06 02:31:26] 805*2^1233715-1 is not prime. Res64: 034F9117BEFAD1B8 Time : 0.0 sec. user=mdettweiler [2012-11-06 02:40:39] 961*2^1233715-1 is not prime. Res64: 82814B1F7BAB5C72 Time : 0.0 sec. user=mdettweiler [2012-11-06 02:40:43] 617*2^1233716-1 is not prime. Res64: 62C15D720508B430 Time : 0.0 sec. user=vaughan [2012-11-06 02:48:52] 943*2^1233715-1 is not prime. Res64: 5AA5C79374A66FBD Time : 0.0 sec. user=mdettweiler [2012-11-06 02:52:41] 633*2^1233716-1 is not prime. Res64: 9E04540C6562C1CB Time : 0.0 sec. user=mdettweiler [2012-11-06 02:52:42] 677*2^1233716-1 is not prime. Res64: A47F690147EA9A9C Time : 0.0 sec. user=mdettweiler [2012-11-06 03:02:13] 749*2^1233716-1 is not prime. Res64: B64471B3425310E6 Time : 0.0 sec. user=mdettweiler [2012-11-06 03:02:14] 903*2^1233716-1 is not prime. Res64: 0AF7803E0EE10859 Time : 0.0 sec. user=mdettweiler [2012-11-06 03:13:48] 999*2^1233716-1 is not prime. Res64: 936035AAD5D2C29F Time : 0.0 sec. user=mdettweiler [2012-11-06 03:13:49] 681*2^1233717-1 is not prime. Res64: 0DC00B36D3F2E1BA Time : 0.0 sec. user=mdettweiler [2012-11-06 03:23:19] 831*2^1233717-1 is not prime. Res64: E34B573258468367 Time : 0.0 sec. user=mdettweiler [2012-11-06 03:23:20] 861*2^1233717-1 is not prime. Res64: CF924B768D4DB21E Time : 0.0 sec. user=vaughan [2012-11-06 03:26:47] 963*2^1233716-1 is not prime. Res64: 84D3D95D9257A6BF Time : 0.0 sec. user=mdettweiler [2012-11-06 03:35:02] 895*2^1233717-1 is not prime. Res64: EB477698183992E4 Time : 0.0 sec. user=mdettweiler [2012-11-06 03:35:03] 979*2^1233717-1 is not prime. Res64: 808121F7826DB90D Time : 0.0 sec. user=mdettweiler [2012-11-06 03:44:18] 705*2^1233718-1 is not prime. Res64: 1100C55DB19509C3 Time : 0.0 sec. user=mdettweiler [2012-11-06 03:44:19] 791*2^1233718-1 is not prime. Res64: 01BADFB6ADB4941D Time : 0.0 sec. user=mdettweiler [2012-11-06 03:56:13] 951*2^1233718-1 is not prime. Res64: 8F02B9F6F2F12984 Time : 0.0 sec. user=mdettweiler [2012-11-06 03:56:14] 975*2^1233718-1 is not prime. Res64: E5F8F924ADCA97BB Time : 0.0 sec. user=vaughan [2012-11-06 04:04:28] 891*2^1233718-1 is not prime. Res64: CB4E43BD13396F95 Time : 0.0 sec. user=mdettweiler [2012-11-06 04:05:34] 649*2^1233719-1 is not prime. Res64: 38A79E36A589ECA1 Time : 0.0 sec. user=mdettweiler [2012-11-06 04:05:35] 711*2^1233719-1 is not prime. Res64: 0302652F01C4EFF1 Time : 0.0 sec. user=mdettweiler [2012-11-06 04:17:19] 721*2^1233719-1 is not prime. Res64: DA3CF598F25A40E4 Time : 0.0 sec. user=mdettweiler [2012-11-06 04:17:20] 763*2^1233719-1 is not prime. Res64: 0A18DEB5D0E8A378 Time : 0.0 sec. user=mdettweiler [2012-11-06 04:26:41] 889*2^1233719-1 is not prime. Res64: 4673B555546437E9 Time : 0.0 sec. user=mdettweiler [2012-11-06 04:26:42] 979*2^1233719-1 is not prime. Res64: 3CE1BACB345803E3 Time : 0.0 sec. user=mdettweiler [2012-11-06 04:38:27] 675*2^1233720-1 is not prime. Res64: 00C2BE48E86EA254 Time : 0.0 sec. user=mdettweiler [2012-11-06 04:38:29] 803*2^1233720-1 is not prime. Res64: D272D3745CC98397 Time : 0.0 sec. user=vaughan [2012-11-06 04:42:19] 843*2^1233719-1 is not prime. Res64: 4182DA8BB33315D8 Time : 0.0 sec. user=mdettweiler [2012-11-06 04:47:47] 819*2^1233720-1 is not prime. Res64: E958B79183E09AD5 Time : 0.0 sec. user=mdettweiler [2012-11-06 04:47:47] 839*2^1233720-1 is not prime. Res64: 224E38340C12DD1C Time : 0.0 sec. user=mdettweiler [2012-11-06 04:59:40] 899*2^1233720-1 is not prime. Res64: 41BC8373D69D6AFA Time : 0.0 sec. user=mdettweiler [2012-11-06 04:59:41] 915*2^1233720-1 is not prime. Res64: 818BEFFE2B0A392F Time : 0.0 sec. user=mdettweiler [2012-11-06 05:08:50] 937*2^1233721-1 is not prime. Res64: B4D067E8700AF650 Time : 0.0 sec. user=mdettweiler [2012-11-06 05:08:51] 997*2^1233721-1 is not prime. Res64: CDC7DE4EFE277068 Time : 0.0 sec. user=vaughan [2012-11-06 05:20:01] 679*2^1233721-1 is not prime. Res64: F228F851E5FC9D86 Time : 0.0 sec. user=mdettweiler [2012-11-06 05:20:50] 999*2^1233721-1 is not prime. Res64: 0DE61C9E5E0CD3D7 Time : 0.0 sec. user=mdettweiler [2012-11-06 05:20:51] 633*2^1233722-1 is not prime. Res64: CAB375B8FCDE39CC Time : 0.0 sec. user=mdettweiler [2012-11-06 05:29:56] 645*2^1233722-1 is not prime. Res64: 5A66FD0D8F476D82 Time : 0.0 sec. user=mdettweiler [2012-11-06 05:29:57] 675*2^1233722-1 is not prime. Res64: 7A25517C2ABFB70E Time : 0.0 sec. user=mdettweiler [2012-11-06 05:41:55] 755*2^1233722-1 is not prime. Res64: AD83B5E17B73CC6B Time : 0.0 sec. user=mdettweiler [2012-11-06 05:41:55] 843*2^1233722-1 is not prime. Res64: A64C2788EB380239 Time : 0.0 sec. user=mdettweiler [2012-11-06 05:51:05] 941*2^1233722-1 is not prime. Res64: 931E08CAAB2C3797 Time : 0.0 sec. user=mdettweiler [2012-11-06 05:51:06] 983*2^1233722-1 is not prime. Res64: 5BE13DC2A06F2746 Time : 0.0 sec. user=vaughan [2012-11-06 05:57:45] 701*2^1233722-1 is not prime. Res64: C09C4353B7D7F714 Time : 0.0 sec. user=mdettweiler [2012-11-06 06:02:58] 765*2^1233723-1 is not prime. Res64: 30B591AB752B465F Time : 0.0 sec. user=mdettweiler [2012-11-06 06:03:00] 789*2^1233723-1 is not prime. Res64: B1886B13068135DD Time : 0.0 sec. user=mdettweiler [2012-11-06 06:12:12] 849*2^1233723-1 is not prime. Res64: D4419DE5050DEFEE Time : 0.0 sec. user=mdettweiler [2012-11-06 06:12:13] 859*2^1233723-1 is not prime. Res64: 8302276D1DF047C8 Time : 0.0 sec. user=mdettweiler [2012-11-06 06:24:23] 991*2^1233723-1 is not prime. Res64: 813BFCD2F031935C Time : 0.0 sec. user=mdettweiler [2012-11-06 06:24:24] 743*2^1233724-1 is not prime. Res64: 9B24F39AA1041A4E Time : 0.0 sec. user=mdettweiler [2012-11-06 06:33:15] 927*2^1233724-1 is not prime. Res64: 2C44BF1C536F00F5 Time : 0.0 sec. user=mdettweiler [2012-11-06 06:33:15] 735*2^1233725-1 is not prime. Res64: 24F12ECED77E3ADD Time : 0.0 sec. user=vaughan [2012-11-06 06:35:35] 891*2^1233723-1 is not prime. Res64: D66724CC794CA4D6 Time : 0.0 sec. user=mdettweiler [2012-11-06 06:45:38] 885*2^1233725-1 is not prime. Res64: 4E070B8C5DE85923 Time : 0.0 sec. user=mdettweiler [2012-11-06 06:45:39] 907*2^1233725-1 is not prime. Res64: CAF3FE80185BEF8F Time : 0.0 sec. user=mdettweiler [2012-11-06 06:54:18] 949*2^1233725-1 is not prime. Res64: 2C698023904FE35B Time : 0.0 sec. user=mdettweiler [2012-11-06 06:54:19] 957*2^1233725-1 is not prime. Res64: F3F411BAF06C96DC Time : 0.0 sec. user=mdettweiler [2012-11-06 07:06:43] 641*2^1233726-1 is not prime. Res64: 25393E90D0DBCD18 Time : 0.0 sec. user=mdettweiler [2012-11-06 07:06:46] 683*2^1233726-1 is not prime. Res64: 5FA5839790558B46 Time : 0.0 sec. user=vaughan [2012-11-06 07:13:19] 985*2^1233725-1 is not prime. Res64: E18BBAE9ABC59BFD Time : 0.0 sec. user=mdettweiler [2012-11-06 07:15:24] 783*2^1233726-1 is not prime. Res64: 7229378D95D8D33A Time : 0.0 sec. user=mdettweiler [2012-11-06 07:15:27] 815*2^1233726-1 is not prime. Res64: 10D8452CD8259032 Time : 0.0 sec. user=mdettweiler [2012-11-06 07:27:48] 843*2^1233726-1 is not prime. Res64: 997E17DDA0F8A8AA Time : 0.0 sec. user=mdettweiler [2012-11-06 07:27:49] 921*2^1233726-1 is not prime. Res64: 1F143282B99731BB Time : 0.0 sec. user=mdettweiler [2012-11-06 07:36:34] 649*2^1233727-1 is not prime. Res64: E632149BAA5957BF Time : 0.0 sec. user=mdettweiler [2012-11-06 07:36:35] 849*2^1233727-1 is not prime. Res64: 9560081DA23FFC74 Time : 0.0 sec. user=mdettweiler [2012-11-06 07:48:58] 861*2^1233727-1 is not prime. Res64: C30ADDE1ECF22FE2 Time : 0.0 sec. user=mdettweiler [2012-11-06 07:48:59] 871*2^1233727-1 is not prime. Res64: C06640995ED23917 Time : 0.0 sec. user=vaughan [2012-11-06 07:51:18] 633*2^1233727-1 is not prime. Res64: 57547CCEA0BF9F8F Time : 0.0 sec. user=mdettweiler [2012-11-06 07:57:38] 885*2^1233727-1 is not prime. Res64: 77614EB288B9FF8A Time : 0.0 sec. user=mdettweiler [2012-11-06 07:57:38] 979*2^1233727-1 is not prime. Res64: D2505B0EAD6F6517 Time : 0.0 sec. user=mdettweiler [2012-11-06 08:10:01] 665*2^1233728-1 is not prime. Res64: 03EB3EEC9297436D Time : 0.0 sec. user=mdettweiler [2012-11-06 08:10:02] 767*2^1233728-1 is not prime. Res64: 26EC704B48B671D4 Time : 0.0 sec. user=mdettweiler [2012-11-06 08:18:40] 969*2^1233728-1 is not prime. Res64: F903603ECD47C0D4 Time : 0.0 sec. user=mdettweiler [2012-11-06 08:18:42] 999*2^1233728-1 is not prime. Res64: 64565D03DB904F8B Time : 0.0 sec. user=vaughan [2012-11-06 08:28:58] 845*2^1233728-1 is not prime. Res64: B227765492CA408E Time : 0.0 sec. user=mdettweiler [2012-11-06 08:31:11] 787*2^1233729-1 is not prime. Res64: ECA999E1B8834D66 Time : 0.0 sec. user=mdettweiler [2012-11-06 08:31:11] 907*2^1233729-1 is not prime. Res64: 1D930019D340C43F Time : 0.0 sec. user=mdettweiler [2012-11-06 08:39:52] 975*2^1233729-1 is not prime. Res64: CC7F9C35DB1545AE Time : 0.0 sec. user=mdettweiler [2012-11-06 08:39:52] 997*2^1233729-1 is not prime. Res64: 188E4A2ACAC620A4 Time : 0.0 sec. user=mdettweiler [2012-11-06 08:52:13] 671*2^1233730-1 is not prime. Res64: DC628BEA726290AD Time : 0.0 sec. user=mdettweiler [2012-11-06 08:52:14] 755*2^1233730-1 is not prime. Res64: 7A8A96A7F2A8257F Time : 0.0 sec. user=mdettweiler [2012-11-06 09:00:56] 867*2^1233730-1 is not prime. Res64: EDFF2512260A846B Time : 0.0 sec. user=mdettweiler [2012-11-06 09:00:58] 601*2^1233731-1 is not prime. Res64: 1AAD69DA99FECF73 Time : 0.0 sec. user=vaughan [2012-11-06 09:06:39] 605*2^1233730-1 is not prime. Res64: C254E0F08D5217C2 Time : 0.0 sec. user=mdettweiler [2012-11-06 09:17:17] 673*2^1233731-1 is not prime. Res64: 320B67B9E57E131A Time : 0.0 sec. user=mdettweiler [2012-11-06 09:17:22] 693*2^1233731-1 is not prime. Res64: 4F07219A91C0BDDF Time : 0.0 sec. user=mdettweiler [2012-11-06 09:27:37] 733*2^1233731-1 is not prime. Res64: 50FDB519C50514FA Time : 0.0 sec. user=mdettweiler [2012-11-06 09:27:38] 745*2^1233731-1 is not prime. Res64: 0473ED2C033C3DBE Time : 0.0 sec. user=mdettweiler [2012-11-06 09:39:10] 855*2^1233731-1 is not prime. Res64: BCB9446F32940EF7 Time : 0.0 sec. user=mdettweiler [2012-11-06 09:39:11] 939*2^1233731-1 is not prime. Res64: F71E397F2A5D7782 Time : 0.0 sec. user=vaughan [2012-11-06 09:44:22] 781*2^1233731-1 is not prime. Res64: B234889A18AA5285 Time : 0.0 sec. user=mdettweiler [2012-11-06 09:48:31] 943*2^1233731-1 is not prime. Res64: FF2FC81DEC0E5EF3 Time : 0.0 sec. user=mdettweiler [2012-11-06 09:48:32] 969*2^1233731-1 is not prime. Res64: DD3437B32C60555F Time : 0.0 sec. user=mdettweiler [2012-11-06 10:00:04] 725*2^1233732-1 is not prime. Res64: 66A2D75DD746CCC2 Time : 0.0 sec. user=mdettweiler [2012-11-06 10:00:06] 947*2^1233732-1 is not prime. Res64: 8856E2B4F59CEF07 Time : 0.0 sec. user=mdettweiler [2012-11-06 10:09:29] 679*2^1233733-1 is not prime. Res64: F3BA718185C6A813 Time : 0.0 sec. user=mdettweiler [2012-11-06 10:09:31] 691*2^1233733-1 is not prime. Res64: 2566F156AEDF0527 Time : 0.0 sec. user=mdettweiler [2012-11-06 10:20:58] 729*2^1233733-1 is not prime. Res64: 4444FF2654F01061 Time : 0.0 sec. user=mdettweiler [2012-11-06 10:20:59] 741*2^1233733-1 is not prime. Res64: F8F698924E9242D3 Time : 0.0 sec. user=vaughan [2012-11-06 10:22:08] 965*2^1233732-1 is not prime. Res64: 483C757CA29396FE Time : 0.0 sec. user=mdettweiler [2012-11-06 10:30:29] 747*2^1233733-1 is not prime. Res64: 2783850090C4322D Time : 0.0 sec. user=mdettweiler [2012-11-06 10:30:31] 805*2^1233733-1 is not prime. Res64: 8F4BCE7ECF06CB0D Time : 0.0 sec. user=mdettweiler [2012-11-06 10:41:49] 831*2^1233733-1 is not prime. Res64: 985CA105E6E02289 Time : 0.0 sec. user=mdettweiler [2012-11-06 10:41:50] 939*2^1233733-1 is not prime. Res64: 00AFCA0E4A55D605 Time : 0.0 sec. user=mdettweiler [2012-11-06 10:51:20] 979*2^1233733-1 is not prime. Res64: CBCB58D99C536583 Time : 0.0 sec. user=mdettweiler [2012-11-06 10:51:21] 623*2^1233734-1 is not prime. Res64: BEFD3E6CE322B6D3 Time : 0.0 sec. user=vaughan [2012-11-06 10:59:46] 945*2^1233733-1 is not prime. Res64: 1EC82E95623B5C6B Time : 0.0 sec. user=mdettweiler [2012-11-06 11:02:40] 645*2^1233734-1 is not prime. Res64: 19062FDE51681C1E Time : 0.0 sec. user=mdettweiler [2012-11-06 11:02:41] 665*2^1233734-1 is not prime. Res64: B2ADE81F66FAC96B Time : 0.0 sec. user=mdettweiler [2012-11-06 11:12:09] 707*2^1233734-1 is not prime. Res64: EF02D58188331658 Time : 0.0 sec. user=mdettweiler [2012-11-06 11:12:13] 825*2^1233734-1 is not prime. Res64: C1C9F8F0F60AEC27 Time : 0.0 sec. user=mdettweiler [2012-11-06 11:23:31] 923*2^1233734-1 is not prime. Res64: 2CB9038E5088B0BD Time : 0.0 sec. user=mdettweiler [2012-11-06 11:23:32] 619*2^1233735-1 is not prime. Res64: 5A40F60775F234E5 Time : 0.0 sec. user=mdettweiler [2012-11-06 11:33:21] 649*2^1233735-1 is not prime. Res64: 47A8B990345321E9 Time : 0.0 sec. user=mdettweiler [2012-11-06 11:33:22] 709*2^1233735-1 is not prime. Res64: EFD30A2C3D582801 Time : 0.0 sec. user=vaughan [2012-11-06 11:37:26] 897*2^1233734-1 is not prime. Res64: 6B457E826A7FCE16 Time : 0.0 sec. user=mdettweiler [2012-11-06 11:44:27] 805*2^1233735-1 is not prime. Res64: 7BF54901611F1F8F Time : 0.0 sec. user=mdettweiler [2012-11-06 11:44:28] 829*2^1233735-1 is not prime. Res64: CD0152705E88DE2C Time : 0.0 sec. user=mdettweiler [2012-11-06 11:54:19] 831*2^1233735-1 is not prime. Res64: 7437402B65C33FBB Time : 0.0 sec. user=mdettweiler [2012-11-06 11:54:21] 849*2^1233735-1 is not prime. Res64: 42C27E06B86258AC Time : 0.0 sec. user=mdettweiler [2012-11-06 12:05:19] 949*2^1233735-1 is not prime. Res64: A3D07223D08C0F58 Time : 0.0 sec. user=mdettweiler [2012-11-06 12:05:20] 675*2^1233736-1 is not prime. Res64: 7A556042FB21B985 Time : 0.0 sec. user=vaughan [2012-11-06 12:15:08] 885*2^1233735-1 is not prime. Res64: F4200044520F0AFE Time : 0.0 sec. user=mdettweiler [2012-11-06 12:15:14] 719*2^1233736-1 is not prime. Res64: E9AA6C27C62EB9B7 Time : 0.0 sec. user=mdettweiler [2012-11-06 12:15:16] 839*2^1233736-1 is not prime. Res64: 5483753A91163EB7 Time : 0.0 sec. user=mdettweiler [2012-11-06 12:26:12] 619*2^1233737-1 is not prime. Res64: C28AD4A31781B26E Time : 0.0 sec. user=mdettweiler [2012-11-06 12:26:14] 631*2^1233737-1 is not prime. Res64: 908470ACA13D7D7E Time : 0.0 sec. user=mdettweiler [2012-11-06 12:36:16] 657*2^1233738-1 is not prime. Res64: C691B18611DA3361 Time : 0.0 sec. user=mdettweiler [2012-11-06 12:36:18] 705*2^1233738-1 is not prime. Res64: D0033F8D0C7C8DE1 Time : 0.0 sec. user=mdettweiler [2012-11-06 12:47:10] 777*2^1233738-1 is not prime. Res64: CFEA29B48F163FB0 Time : 0.0 sec. user=mdettweiler [2012-11-06 12:47:11] 825*2^1233738-1 is not prime. Res64: FA2DB66759BB24F0 Time : 0.0 sec. user=vaughan [2012-11-06 12:53:00] 795*2^1233737-1 is not prime. Res64: 29B47C73E2F20FCA Time : 0.0 sec. user=mdettweiler [2012-11-06 12:57:30] 843*2^1233738-1 is not prime. Res64: A7ED79149FBE4726 Time : 0.0 sec. user=mdettweiler [2012-11-06 12:57:31] 923*2^1233738-1 is not prime. Res64: 5CB7B9416865F3BA Time : 0.0 sec. user=mdettweiler [2012-11-06 13:08:55] 977*2^1233738-1 is not prime. Res64: 6B7E2474513AA2A6 Time : 0.0 sec. user=mdettweiler [2012-11-06 13:08:57] 993*2^1233738-1 is not prime. Res64: 852B93745C7789C0 Time : 0.0 sec. user=mdettweiler [2012-11-06 13:19:26] 619*2^1233739-1 is not prime. Res64: 0174C477CA1789DF Time : 0.0 sec. user=mdettweiler [2012-11-06 13:19:29] 693*2^1233739-1 is not prime. Res64: 5AA2B2F6141DB46F Time : 0.0 sec. user=mdettweiler [2012-11-06 13:30:29] 885*2^1233739-1 is not prime. Res64: 6B16E4B696572477 Time : 0.0 sec. user=mdettweiler [2012-11-06 13:30:29] 677*2^1233740-1 is not prime. Res64: 4B04C6F353BF6D8D Time : 0.0 sec. user=vaughan [2012-11-06 13:30:42] 615*2^1233739-1 is not prime. Res64: D2EAF677729E56DE Time : 0.0 sec. user=mdettweiler [2012-11-06 13:40:52] 699*2^1233740-1 is not prime. Res64: 1B8A5885BC56256C Time : 0.0 sec. user=mdettweiler [2012-11-06 13:40:53] 717*2^1233740-1 is not prime. Res64: 219B6200F2329988 Time : 0.0 sec. user=mdettweiler [2012-11-06 13:52:00] 789*2^1233740-1 is not prime. Res64: FDEF9E913A8DF0D6 Time : 0.0 sec. user=mdettweiler [2012-11-06 13:52:00] 795*2^1233740-1 is not prime. Res64: A85489A301E72F84 Time : 0.0 sec. user=mdettweiler [2012-11-06 14:02:15] 855*2^1233740-1 is not prime. Res64: 9DAE9742CC8E66CF Time : 0.0 sec. user=mdettweiler [2012-11-06 14:02:16] 935*2^1233740-1 is not prime. Res64: 6217AEE74D3661BC Time : 0.0 sec. user=vaughan [2012-11-06 14:08:26] 833*2^1233740-1 is not prime. Res64: 0CB517638E7DC1D5 Time : 0.0 sec. user=mdettweiler [2012-11-06 14:13:06] 945*2^1233740-1 is not prime. Res64: 9E54081FC49F7109 Time : 0.0 sec. user=mdettweiler [2012-11-06 14:13:08] 685*2^1233741-1 is not prime. Res64: 4C9CB7D8DA47C001 Time : 0.0 sec. user=mdettweiler [2012-11-06 14:23:23] 717*2^1233741-1 is not prime. Res64: 05BE97FC31019AF3 Time : 0.0 sec. user=mdettweiler [2012-11-06 14:23:24] 811*2^1233741-1 is not prime. Res64: 79CCEC3492B6EE3F Time : 0.0 sec. user=mdettweiler [2012-11-06 14:34:25] 861*2^1233741-1 is not prime. Res64: 26ACFAC699AB790A Time : 0.0 sec. user=mdettweiler [2012-11-06 14:34:25] 921*2^1233741-1 is not prime. Res64: FAF3CB0A4C9F7ABE Time : 0.0 sec. user=mdettweiler [2012-11-06 14:44:53] 987*2^1233741-1 is not prime. Res64: BFE6E6D7DD9A751A Time : 0.0 sec. user=mdettweiler [2012-11-06 14:44:54] 681*2^1233742-1 is not prime. Res64: 3BC546B06B4369AD Time : 0.0 sec. user=vaughan [2012-11-06 14:46:13] 847*2^1233741-1 is not prime. Res64: E3676439F5108130 Time : 0.0 sec. user=mdettweiler [2012-11-06 14:55:55] 917*2^1233742-1 is not prime. Res64: 8FFBE37043691AE1 Time : 0.0 sec. user=mdettweiler [2012-11-06 14:55:55] 609*2^1233743-1 is not prime. Res64: 63F0F491CAEB9A15 Time : 0.0 sec. user=mdettweiler [2012-11-06 15:06:24] 745*2^1233743-1 is not prime. Res64: 896E1682EFBF1FAC Time : 0.0 sec. user=mdettweiler [2012-11-06 15:06:25] 759*2^1233743-1 is not prime. Res64: 83818F4F9ECBCA30 Time : 0.0 sec. user=mdettweiler [2012-11-06 15:17:24] 831*2^1233743-1 is not prime. Res64: 25920BABC49F1AC1 Time : 0.0 sec. user=mdettweiler [2012-11-06 15:17:24] 981*2^1233743-1 is not prime. Res64: EB3962976698090F Time : 0.0 sec. user=vaughan [2012-11-06 15:23:54] 811*2^1233743-1 is not prime. Res64: 14DB5873E1ABDDC8 Time : 0.0 sec. user=mdettweiler [2012-11-06 15:28:06] 609*2^1233744-1 is not prime. Res64: 61AC3619DCB50940 Time : 0.0 sec. user=mdettweiler [2012-11-06 15:28:06] 663*2^1233744-1 is not prime. Res64: AFC279AAFDA63EA0 Time : 0.0 sec. user=mdettweiler [2012-11-06 15:39:14] 737*2^1233744-1 is not prime. Res64: 05F29B8FCA41E0EC Time : 0.0 sec. user=mdettweiler [2012-11-06 15:39:14] 747*2^1233744-1 is not prime. Res64: E36628513E644C1B Time : 0.0 sec. user=mdettweiler [2012-11-06 15:49:51] 805*2^1233745-1 is not prime. Res64: 381222AC4BE753CA Time : 0.0 sec. user=mdettweiler [2012-11-06 15:49:52] 819*2^1233745-1 is not prime. Res64: BB2B4D76BA1CE444 Time : 0.0 sec. user=mdettweiler [2012-11-06 16:01:03] 855*2^1233745-1 is not prime. Res64: 36EEACFAF8B974BC Time : 0.0 sec. user=mdettweiler [2012-11-06 16:01:03] 861*2^1233745-1 is not prime. Res64: 26AF1DCD754A8DE3 Time : 0.0 sec. user=vaughan [2012-11-06 16:01:37] 765*2^1233744-1 is not prime. Res64: 30E779C810087073 Time : 0.0 sec. user=mdettweiler [2012-11-06 16:11:41] 885*2^1233745-1 is not prime. Res64: 70B4D036EDAC5C81 Time : 0.0 sec. user=mdettweiler [2012-11-06 16:11:42] 919*2^1233745-1 is not prime. Res64: 93917B96DB71E0F3 Time : 0.0 sec. user=mdettweiler [2012-11-06 16:23:01] 939*2^1233745-1 is not prime. Res64: 8B93D1D0EB45C978 Time : 0.0 sec. user=mdettweiler [2012-11-06 16:23:01] 657*2^1233746-1 is not prime. Res64: C322776FA2DA0752 Time : 0.0 sec. user=mdettweiler [2012-11-06 16:33:50] 785*2^1233746-1 is not prime. Res64: FC3367EF82D6E0B0 Time : 0.0 sec. user=mdettweiler [2012-11-06 16:33:50] 887*2^1233746-1 is not prime. Res64: 7DEC65ADE72BDC11 Time : 0.0 sec. user=vaughan [2012-11-06 16:39:18] 741*2^1233746-1 is not prime. Res64: 4AABC4012B098C21 Time : 0.0 sec. user=mdettweiler [2012-11-06 16:44:53] 935*2^1233746-1 is not prime. Res64: 0668B6A7F9D6FA4D Time : 0.0 sec. user=mdettweiler [2012-11-06 16:44:53] 971*2^1233746-1 is not prime. Res64: CA8E5E22D491268A Time : 0.0 sec. user=mdettweiler [2012-11-06 16:55:37] 669*2^1233747-1 is not prime. Res64: F36FB4610F81AC00 Time : 0.0 sec. user=mdettweiler [2012-11-06 16:55:37] 765*2^1233747-1 is not prime. Res64: 3AFF3431C5241AD3 Time : 0.0 sec. user=mdettweiler [2012-11-06 17:06:23] 909*2^1233747-1 is not prime. Res64: 303E455FC191DBD8 Time : 0.0 sec. user=mdettweiler [2012-11-06 17:06:24] 647*2^1233748-1 is not prime. Res64: 7B30B6F0D64C2E30 Time : 0.0 sec. user=vaughan [2012-11-06 17:16:58] 903*2^1233747-1 is not prime. Res64: 88DF61CC80B43C2A Time : 0.0 sec. user=mdettweiler [2012-11-06 17:17:04] 677*2^1233748-1 is not prime. Res64: 1BAFCDEE7F02A6E2 Time : 0.0 sec. user=mdettweiler [2012-11-06 17:17:05] 699*2^1233748-1 is not prime. Res64: 4BD26CBF1F3587EA Time : 0.0 sec. user=mdettweiler [2012-11-06 17:28:09] 773*2^1233748-1 is not prime. Res64: 2460C4B58AA5D66C Time : 0.0 sec. user=mdettweiler [2012-11-06 17:28:09] 839*2^1233748-1 is not prime. Res64: 5D539C840CE906CD Time : 0.0 sec. user=mdettweiler [2012-11-06 17:38:47] 999*2^1233748-1 is not prime. Res64: A7DA7D4752C36706 Time : 0.0 sec. user=mdettweiler [2012-11-06 17:38:47] 655*2^1233749-1 is not prime. Res64: 460E2C23DE5CBEBB Time : 0.0 sec. user=mdettweiler [2012-11-06 17:49:41] 675*2^1233749-1 is not prime. Res64: 638FF4BA945258FB Time : 0.0 sec. user=mdettweiler [2012-11-06 17:49:41] 727*2^1233749-1 is not prime. Res64: 820F334E7AC806AF Time : 0.0 sec. user=vaughan [2012-11-06 17:54:44] 923*2^1233748-1 is not prime. Res64: CE803F0173124D5D Time : 0.0 sec. user=mdettweiler [2012-11-06 18:00:10] 769*2^1233749-1 is not prime. Res64: FCF606529C86B607 Time : 0.0 sec. user=mdettweiler [2012-11-06 18:00:11] 867*2^1233749-1 is not prime. Res64: 097779C001B90846 Time : 0.0 sec. user=mdettweiler [2012-11-06 18:10:58] 665*2^1233750-1 is not prime. Res64: 6EA3F900AB762AE9 Time : 0.0 sec. user=mdettweiler [2012-11-06 18:10:59] 791*2^1233750-1 is not prime. Res64: E77508E59B89CC2E Time : 0.0 sec. user=mdettweiler [2012-11-06 18:21:24] 923*2^1233750-1 is not prime. Res64: 227DF2AD62504A3E Time : 0.0 sec. user=mdettweiler [2012-11-06 18:21:24] 971*2^1233750-1 is not prime. Res64: 5838E58E03C67919 Time : 0.0 sec. user=mdettweiler [2012-11-06 18:32:16] 651*2^1233751-1 is not prime. Res64: 082B734715E48BA8 Time : 0.0 sec. user=mdettweiler [2012-11-06 18:32:16] 723*2^1233751-1 is not prime. Res64: 7EDCD2C4FABC552E Time : 0.0 sec. user=vaughan [2012-11-06 18:32:23] 917*2^1233750-1 is not prime. Res64: 3BD9390FD2004ADB Time : 0.0 sec. user=mdettweiler [2012-11-06 18:42:40] 759*2^1233751-1 is not prime. Res64: B11CD62400B4CCE2 Time : 0.0 sec. user=mdettweiler [2012-11-06 18:42:41] 805*2^1233751-1 is not prime. Res64: 28B10B4E0A5974CA Time : 0.0 sec. user=mdettweiler [2012-11-06 18:53:33] 885*2^1233751-1 is not prime. Res64: 002877A68636D220 Time : 0.0 sec. user=mdettweiler [2012-11-06 18:53:33] 943*2^1233751-1 is not prime. Res64: 6AE499C1CC41366E Time : 0.0 sec. user=mdettweiler [2012-11-06 19:03:59] 969*2^1233751-1 is not prime. Res64: 22312345CB86D147 Time : 0.0 sec. user=mdettweiler [2012-11-06 19:04:00] 993*2^1233751-1 is not prime. Res64: 2B455B30D8456C16 Time : 0.0 sec. user=vaughan [2012-11-06 19:10:04] 961*2^1233751-1 is not prime. Res64: B009675B7C0AF381 Time : 0.0 sec. user=mdettweiler [2012-11-06 19:14:51] 669*2^1233752-1 is not prime. Res64: 4B855AAA542F9E4C Time : 0.0 sec. user=mdettweiler [2012-11-06 19:14:53] 683*2^1233752-1 is not prime. Res64: A4295378220C7D96 Time : 0.0 sec. user=mdettweiler [2012-11-06 19:25:21] 903*2^1233752-1 is not prime. Res64: 85AC2B1621E3798C Time : 0.0 sec. user=mdettweiler [2012-11-06 19:25:21] 963*2^1233752-1 is not prime. Res64: FA2DE6D83D66E5FD Time : 0.0 sec. user=mdettweiler [2012-11-06 19:36:17] 999*2^1233752-1 is not prime. Res64: B16C726A4771277C Time : 0.0 sec. user=mdettweiler [2012-11-06 19:36:17] 609*2^1233753-1 is not prime. Res64: DEB9E1662605202E Time : 0.0 sec. user=mdettweiler [2012-11-06 19:46:51] 639*2^1233753-1 is not prime. Res64: C9540CF48AB1893B Time : 0.0 sec. user=mdettweiler [2012-11-06 19:46:52] 649*2^1233753-1 is not prime. Res64: 18FE013B7A58DF38 Time : 0.0 sec. user=vaughan [2012-11-06 19:47:49] 995*2^1233752-1 is not prime. Res64: 749DC6B5ADA916BE Time : 0.0 sec. user=mdettweiler [2012-11-06 19:57:46] 727*2^1233753-1 is not prime. Res64: E24330244BF07DE2 Time : 0.0 sec. user=mdettweiler [2012-11-06 19:57:47] 781*2^1233753-1 is not prime. Res64: 34E86DF1861365C1 Time : 0.0 sec. user=mdettweiler [2012-11-06 20:08:13] 817*2^1233753-1 is not prime. Res64: EF0EDD22F05EB013 Time : 0.0 sec. user=mdettweiler [2012-11-06 20:08:14] 937*2^1233753-1 is not prime. Res64: 9D1AB5A65AD3A291 Time : 0.0 sec. user=mdettweiler [2012-11-06 20:19:07] 955*2^1233753-1 is not prime. Res64: 78A2649804094758 Time : 0.0 sec. user=mdettweiler [2012-11-06 20:19:10] 675*2^1233754-1 is not prime. Res64: 33233E7845BF8327 Time : 0.0 sec. user=vaughan [2012-11-06 20:25:27] 951*2^1233753-1 is not prime. Res64: 3E35E11A0F12393F Time : 0.0 sec. user=mdettweiler [2012-11-06 20:29:42] 737*2^1233754-1 is not prime. Res64: 4BC70DF1A913D5AB Time : 0.0 sec. user=mdettweiler [2012-11-06 20:29:42] 755*2^1233754-1 is not prime. Res64: 98EBD1FC0BB1728C Time : 0.0 sec. user=mdettweiler [2012-11-06 20:40:49] 803*2^1233754-1 is not prime. Res64: BB9888C479F34899 Time : 0.0 sec. user=mdettweiler [2012-11-06 20:40:50] 857*2^1233754-1 is not prime. Res64: F5FE54A1F5337609 Time : 0.0 sec. user=mdettweiler [2012-11-06 20:51:03] 971*2^1233754-1 is not prime. Res64: B645B7456BAC41C1 Time : 0.0 sec. user=mdettweiler [2012-11-06 20:51:04] 983*2^1233754-1 is not prime. Res64: A350E6CE25554B90 Time : 0.0 sec. user=mdettweiler [2012-11-06 21:02:10] 601*2^1233755-1 is not prime. Res64: 1AC6F0D1745E27CD Time : 0.0 sec. user=mdettweiler [2012-11-06 21:02:11] 643*2^1233755-1 is not prime. Res64: 6E03269F97783A65 Time : 0.0 sec. user=vaughan [2012-11-06 21:03:08] 891*2^1233754-1 is not prime. Res64: 8C6D013173046BEF Time : 0.0 sec. user=mdettweiler [2012-11-06 21:12:23] 649*2^1233755-1 is not prime. Res64: 18426600A3A23E89 Time : 0.0 sec. user=mdettweiler [2012-11-06 21:12:26] 909*2^1233755-1 is not prime. Res64: DC07F1BB33FB63EB Time : 0.0 sec. user=mdettweiler [2012-11-06 21:23:36] 707*2^1233756-1 is not prime. Res64: 6C8D3B86F9996E83 Time : 0.0 sec. user=mdettweiler [2012-11-06 21:23:36] 737*2^1233756-1 is not prime. Res64: 9DC3294C991AAC38 Time : 0.0 sec. user=mdettweiler [2012-11-06 21:33:51] 843*2^1233756-1 is not prime. Res64: 7866707D55042BD2 Time : 0.0 sec. user=mdettweiler [2012-11-06 21:33:51] 845*2^1233756-1 is not prime. Res64: F3EB050C3CCFF033 Time : 0.0 sec. user=vaughan [2012-11-06 21:40:50] 767*2^1233756-1 is not prime. Res64: 034B5EC906D51DDF Time : 0.0 sec. user=mdettweiler [2012-11-06 21:45:15] 909*2^1233756-1 is not prime. Res64: BFF1DB350F0F561A Time : 0.0 sec. user=mdettweiler [2012-11-06 21:45:15] 639*2^1233757-1 is not prime. Res64: E20C9D141E639B31 Time : 0.0 sec. user=mdettweiler [2012-11-06 21:55:31] 727*2^1233757-1 is not prime. Res64: 2518FF07F02C5171 Time : 0.0 sec. user=mdettweiler [2012-11-06 21:55:32] 777*2^1233757-1 is not prime. Res64: 3E8D400FAD82FEBA Time : 0.0 sec. user=mdettweiler [2012-11-06 22:06:39] 801*2^1233757-1 is not prime. Res64: 2B7FDC4BDE061DF0 Time : 0.0 sec. user=mdettweiler [2012-11-06 22:06:39] 831*2^1233757-1 is not prime. Res64: AE98F32FCC90E430 Time : 0.0 sec. user=mdettweiler [2012-11-06 22:16:48] 867*2^1233757-1 is not prime. Res64: 5A9971F061902E84 Time : 0.0 sec. user=mdettweiler [2012-11-06 22:16:51] 901*2^1233757-1 is not prime. Res64: C44910911C3AF26C Time : 0.0 sec. user=vaughan [2012-11-06 22:18:32] 799*2^1233757-1 is not prime. Res64: 4A87AD1A39A105E9 Time : 0.0 sec. user=mdettweiler [2012-11-06 22:28:19] 931*2^1233757-1 is not prime. Res64: 29AEB80F38A2BEC2 Time : 0.0 sec. user=mdettweiler [2012-11-06 22:28:20] 937*2^1233757-1 is not prime. Res64: 532E6989FF62CC3B Time : 0.0 sec. user=mdettweiler [2012-11-06 22:39:33] 939*2^1233757-1 is not prime. Res64: 2CE70FAB0BF88C91 Time : 0.0 sec. user=mdettweiler [2012-11-06 22:39:33] 663*2^1233758-1 is not prime. Res64: 5D3421308E6B6C6B Time : 0.0 sec. user=mdettweiler [2012-11-06 22:50:02] 857*2^1233758-1 is not prime. Res64: 320771AD883B4686 Time : 0.0 sec. user=mdettweiler [2012-11-06 22:50:02] 609*2^1233759-1 is not prime. Res64: E5D894232A615EE9 Time : 0.0 sec. user=vaughan [2012-11-06 22:56:17] 711*2^1233758-1 is not prime. Res64: 3C5E7EE6D045B231 Time : 0.0 sec. user=mdettweiler [2012-11-06 23:01:02] 633*2^1233759-1 is not prime. Res64: 4DCE5D28A8F01FD5 Time : 0.0 sec. user=mdettweiler [2012-11-06 23:01:03] 709*2^1233759-1 is not prime. Res64: 743A5B9EB8FEB157 Time : 0.0 sec. user=mdettweiler [2012-11-06 23:11:25] 831*2^1233759-1 is not prime. Res64: CCD9C7AA9F716B7A Time : 0.0 sec. user=mdettweiler [2012-11-06 23:11:25] 895*2^1233759-1 is not prime. Res64: 0F7192E5A7CFEDBB Time : 0.0 sec. user=mdettweiler [2012-11-06 23:22:26] 951*2^1233759-1 is not prime. Res64: 2654B80C63C82AA1 Time : 0.0 sec. user=mdettweiler [2012-11-06 23:22:26] 629*2^1233760-1 is not prime. Res64: 2809F388DBE8F29D Time : 0.0 sec. user=mdettweiler [2012-11-06 23:32:37] 635*2^1233760-1 is not prime. Res64: 3E88002DDF82B2E2 Time : 0.0 sec. user=mdettweiler [2012-11-06 23:32:38] 819*2^1233760-1 is not prime. Res64: A1304DB3D3B349EE Time : 0.0 sec. user=vaughan [2012-11-06 23:33:59] 909*2^1233759-1 is not prime. Res64: FD42F828ED551E0B Time : 0.0 sec. user=mdettweiler [2012-11-06 23:43:41] 839*2^1233760-1 is not prime. Res64: E5BEBD1AD0192139 Time : 0.0 sec. user=mdettweiler [2012-11-06 23:43:41] 927*2^1233760-1 is not prime. Res64: E40DFD03A1EECB68 Time : 0.0 sec. user=mdettweiler [2012-11-06 23:53:47] 627*2^1233761-1 is not prime. Res64: 9E3274F12484CC7A Time : 0.0 sec. user=mdettweiler [2012-11-06 23:53:48] 715*2^1233761-1 is not prime. Res64: 49FEFBECCDDDD697 Time : 0.0 sec.