user=mdettweiler [2012-08-30 00:02:26] 639*2^1227811-1 is not prime. Res64: F5E5E4DF2F13B46D Time : 0.0 sec. user=vaughan [2012-08-30 00:09:06] 987*2^1227809-1 is not prime. Res64: AE2A85AC47CBFDB0 Time : 0.0 sec. user=mdettweiler [2012-08-30 00:12:49] 703*2^1227811-1 is not prime. Res64: 5808D3C4FEEEF514 Time : 0.0 sec. user=mdettweiler [2012-08-30 00:12:49] 691*2^1227811-1 is not prime. Res64: 31F1A4DE57A03023 Time : 0.0 sec. user=mdettweiler [2012-08-30 00:12:53] 751*2^1227811-1 is not prime. Res64: D0446E4DB532A818 Time : 0.0 sec. user=mdettweiler [2012-08-30 00:12:57] 769*2^1227811-1 is not prime. Res64: 1FB53820B9719F63 Time : 0.0 sec. user=mdettweiler [2012-08-30 00:12:59] 771*2^1227811-1 is not prime. Res64: 92F9A5D33CA53F08 Time : 0.0 sec. user=mdettweiler [2012-08-30 00:32:22] 793*2^1227811-1 is not prime. Res64: DF2873D2D5D41996 Time : 0.0 sec. user=mdettweiler [2012-08-30 00:33:33] 929*2^1227812-1 is not prime. Res64: DD072E28FB4A73C2 Time : 0.0 sec. user=mdettweiler [2012-08-30 00:33:34] 977*2^1227812-1 is not prime. Res64: 008D493F165104CB Time : 0.0 sec. user=mdettweiler [2012-08-30 00:33:36] 609*2^1227813-1 is not prime. Res64: 0E4178AA960FCD21 Time : 0.0 sec. user=mdettweiler [2012-08-30 00:33:37] 639*2^1227813-1 is not prime. Res64: EE6512B55E2C959D Time : 0.0 sec. user=mdettweiler [2012-08-30 00:42:52] 743*2^1227812-1 is not prime. Res64: 61783A0CE021DEF9 Time : 0.0 sec. user=juhehe [2012-08-30 00:46:18] 939*2^1227811-1 is not prime. Res64: 0B00A7A979256A9C Time : 0.0 sec. user=vaughan [2012-08-30 00:47:09] 699*2^1227812-1 is not prime. Res64: D5EB06FC97BC59C2 Time : 0.0 sec. user=mdettweiler [2012-08-30 00:54:07] 727*2^1227813-1 is not prime. Res64: 896ABF30079E8029 Time : 0.0 sec. user=mdettweiler [2012-08-30 00:54:08] 735*2^1227813-1 is not prime. Res64: 2B703F061B8B8386 Time : 0.0 sec. user=mdettweiler [2012-08-30 00:54:10] 747*2^1227813-1 is not prime. Res64: 4BC91C7C72E08AFF Time : 0.0 sec. user=mdettweiler [2012-08-30 00:54:11] 805*2^1227813-1 is not prime. Res64: 9DAD307EDDD66A8B Time : 0.0 sec. user=mdettweiler [2012-08-30 01:02:19] 669*2^1227813-1 is not prime. Res64: 24A6CB2C7CC12E14 Time : 0.0 sec. user=mdettweiler [2012-08-30 01:12:45] 817*2^1227813-1 is not prime. Res64: F79D9617D919ADEB Time : 0.0 sec. user=mdettweiler [2012-08-30 01:14:44] 969*2^1227813-1 is not prime. Res64: 075464AD14C49BE5 Time : 0.0 sec. user=mdettweiler [2012-08-30 01:14:46] 621*2^1227814-1 is not prime. Res64: 4CEA99EC2A47B26D Time : 0.0 sec. user=mdettweiler [2012-08-30 01:14:48] 623*2^1227814-1 is not prime. Res64: 1AAF7FA6E2FC6E27 Time : 0.0 sec. user=mdettweiler [2012-08-30 01:14:50] 681*2^1227814-1 is not prime. Res64: C567F717EDE1D6C7 Time : 0.0 sec. user=vaughan [2012-08-30 01:24:50] 921*2^1227813-1 is not prime. Res64: 4C3029B72B80CE51 Time : 0.0 sec. user=juhehe [2012-08-30 01:29:37] 867*2^1227813-1 is not prime. Res64: A73E9B91B57D292C Time : 0.0 sec. user=mdettweiler [2012-08-30 01:32:10] 737*2^1227814-1 is not prime. Res64: 0F86001B0AECD111 Time : 0.0 sec. user=mdettweiler [2012-08-30 01:35:34] 917*2^1227814-1 is not prime. Res64: 798A831201719599 Time : 0.0 sec. user=mdettweiler [2012-08-30 01:35:34] 649*2^1227815-1 is not prime. Res64: B992D69D002C42EB Time : 0.0 sec. user=mdettweiler [2012-08-30 01:35:34] 957*2^1227814-1 is not prime. Res64: 6AFEB73B1531A9D4 Time : 0.0 sec. user=mdettweiler [2012-08-30 01:35:35] 661*2^1227815-1 is not prime. Res64: C8A6EF20FA103FB1 Time : 0.0 sec. user=mdettweiler [2012-08-30 01:43:10] 887*2^1227814-1 is not prime. Res64: CD38D518FDB0EC37 Time : 0.0 sec. user=mdettweiler [2012-08-30 01:56:07] 909*2^1227815-1 is not prime. Res64: 5508405E25A43A94 Time : 0.0 sec. user=mdettweiler [2012-08-30 01:56:08] 963*2^1227815-1 is not prime. Res64: BEF7477F2024D3AC Time : 0.0 sec. user=mdettweiler [2012-08-30 01:56:09] 973*2^1227815-1 is not prime. Res64: 74D8A9A0ED9E9803 Time : 0.0 sec. user=mdettweiler [2012-08-30 01:56:10] 999*2^1227815-1 is not prime. Res64: AB0C106784CB44CA Time : 0.0 sec. user=mdettweiler [2012-08-30 02:02:08] 841*2^1227815-1 is not prime. Res64: 2AE7DAB7EB822754 Time : 0.0 sec. user=vaughan [2012-08-30 02:02:34] 789*2^1227815-1 is not prime. Res64: 7917BB6FF49307B9 Time : 0.0 sec. user=mdettweiler [2012-08-30 02:12:53] 653*2^1227816-1 is not prime. Res64: B715E836A02EF3CA Time : 0.0 sec. user=juhehe [2012-08-30 02:13:24] 799*2^1227815-1 is not prime. Res64: 810A15B591BFA41E Time : 0.0 sec. user=mdettweiler [2012-08-30 02:16:39] 717*2^1227816-1 is not prime. Res64: 8DF80A69F9A8B1B9 Time : 0.0 sec. user=mdettweiler [2012-08-30 02:16:40] 903*2^1227816-1 is not prime. Res64: 953D2C7EB12EF13A Time : 0.0 sec. user=mdettweiler [2012-08-30 02:16:41] 909*2^1227816-1 is not prime. Res64: 6E08AB3FF77CDC9F Time : 0.0 sec. user=mdettweiler [2012-08-30 02:16:42] 661*2^1227817-1 is not prime. Res64: 75ACFBD235B42F72 Time : 0.0 sec. user=mdettweiler [2012-08-30 02:31:45] 741*2^1227817-1 is not prime. Res64: C5B0343A31F04EF3 Time : 0.0 sec. user=mdettweiler [2012-08-30 02:37:16] 955*2^1227817-1 is not prime. Res64: FC2057734C05D71B Time : 0.0 sec. user=mdettweiler [2012-08-30 02:37:17] 707*2^1227818-1 is not prime. Res64: E4C2ABCFF4893536 Time : 0.0 sec. user=mdettweiler [2012-08-30 02:37:18] 967*2^1227817-1 is not prime. Res64: 1500ADB6F34DA4A1 Time : 0.0 sec. user=mdettweiler [2012-08-30 02:37:18] 861*2^1227818-1 is not prime. Res64: 5245F23F8B75D511 Time : 0.0 sec. user=vaughan [2012-08-30 02:40:17] 747*2^1227817-1 is not prime. Res64: BFCB2DBB837A5275 Time : 0.0 sec. user=mdettweiler [2012-08-30 02:42:44] 871*2^1227817-1 is not prime. Res64: CFF68707F9E7E21D Time : 0.0 sec. user=juhehe [2012-08-30 02:57:31] 895*2^1227817-1 is not prime. Res64: 35D788F0716ED551 Time : 0.0 sec. user=mdettweiler [2012-08-30 02:58:07] 705*2^1227819-1 is not prime. Res64: 6AD7C62F0D68FABE Time : 0.0 sec. user=mdettweiler [2012-08-30 02:58:08] 735*2^1227819-1 is not prime. Res64: 6D556EDD225353A5 Time : 0.0 sec. user=mdettweiler [2012-08-30 02:58:09] 825*2^1227819-1 is not prime. Res64: 1EC76106B01704B6 Time : 0.0 sec. user=mdettweiler [2012-08-30 02:58:10] 961*2^1227819-1 is not prime. Res64: 46A1C8D93BD54DE9 Time : 0.0 sec. user=mdettweiler [2012-08-30 03:01:41] 923*2^1227818-1 is not prime. Res64: C4580D7336E282FB Time : 0.0 sec. user=mdettweiler [2012-08-30 03:12:24] 825*2^1227820-1 is not prime. Res64: A73698B61FC77009 Time : 0.0 sec. user=vaughan [2012-08-30 03:18:01] 777*2^1227820-1 is not prime. Res64: 0D0722651276A22E Time : 0.0 sec. user=mdettweiler [2012-08-30 03:18:40] 607*2^1227821-1 is not prime. Res64: 91BADB9B1C892748 Time : 0.0 sec. user=mdettweiler [2012-08-30 03:18:41] 631*2^1227821-1 is not prime. Res64: 89760C5FAAEA28B4 Time : 0.0 sec. user=mdettweiler [2012-08-30 03:18:42] 645*2^1227821-1 is not prime. Res64: 99B5EEC9D330CBCE Time : 0.0 sec. user=mdettweiler [2012-08-30 03:18:43] 901*2^1227821-1 is not prime. Res64: 9EC9B1B2B8691BA6 Time : 0.0 sec. user=mdettweiler [2012-08-30 03:31:36] 987*2^1227821-1 is not prime. Res64: 01D86342DB5F5D18 Time : 0.0 sec. user=mdettweiler [2012-08-30 03:39:14] 671*2^1227822-1 is not prime. Res64: 910B786900347A44 Time : 0.0 sec. user=mdettweiler [2012-08-30 03:39:15] 681*2^1227822-1 is not prime. Res64: 408F3044BD0C8980 Time : 0.0 sec. user=mdettweiler [2012-08-30 03:39:16] 713*2^1227822-1 is not prime. Res64: E64088154FC8B9EE Time : 0.0 sec. user=mdettweiler [2012-08-30 03:39:17] 951*2^1227822-1 is not prime. Res64: 082E99CCD591E451 Time : 0.0 sec. user=juhehe [2012-08-30 03:41:30] 999*2^1227820-1 is not prime. Res64: 5FF0EE904A513EA0 Time : 0.0 sec. user=mdettweiler [2012-08-30 03:42:06] 611*2^1227822-1 is not prime. Res64: 0315B15F12C6D557 Time : 0.0 sec. user=vaughan [2012-08-30 03:55:44] 651*2^1227822-1 is not prime. Res64: D171AA656C3C50A2 Time : 0.0 sec. user=mdettweiler [2012-08-30 04:00:10] 983*2^1227822-1 is not prime. Res64: BF5C34E782C8D51A Time : 0.0 sec. user=mdettweiler [2012-08-30 04:00:17] 621*2^1227823-1 is not prime. Res64: 7A57520F095DDFDB Time : 0.0 sec. user=mdettweiler [2012-08-30 04:00:17] 703*2^1227823-1 is not prime. Res64: D492C7DF3D478CA5 Time : 0.0 sec. user=mdettweiler [2012-08-30 04:00:18] 709*2^1227823-1 is not prime. Res64: FBAACC3BB1AFD5A3 Time : 0.0 sec. user=mdettweiler [2012-08-30 04:01:26] 965*2^1227822-1 is not prime. Res64: 03BD77A9870DB097 Time : 0.0 sec. user=mdettweiler [2012-08-30 04:11:47] 745*2^1227823-1 is not prime. Res64: 6FC420EA18DEA3F9 Time : 0.0 sec. user=mdettweiler [2012-08-30 04:20:54] 859*2^1227823-1 is not prime. Res64: 7AA70837493915AE Time : 0.0 sec. user=mdettweiler [2012-08-30 04:20:54] 961*2^1227823-1 is not prime. Res64: 399AB486A9445ADF Time : 0.0 sec. user=mdettweiler [2012-08-30 04:20:55] 853*2^1227823-1 is not prime. Res64: 28F8FC8BA98CBAA8 Time : 0.0 sec. user=mdettweiler [2012-08-30 04:20:55] 623*2^1227824-1 is not prime. Res64: A17BA254FE627C0C Time : 0.0 sec. user=mdettweiler [2012-08-30 04:31:06] 635*2^1227824-1 is not prime. Res64: 74A64EFEBE29E3D0 Time : 0.0 sec. user=vaughan [2012-08-30 04:33:26] 751*2^1227823-1 is not prime. Res64: 6FA2B8ACF1DD9715 Time : 0.0 sec. user=mdettweiler [2012-08-30 04:41:30] 951*2^1227825-1 is not prime. Res64: BE78E3C3F7DAF095 Time : 0.0 sec. user=mdettweiler [2012-08-30 04:41:31] 695*2^1227826-1 is not prime. Res64: 679676305ABC5264 Time : 0.0 sec. user=mdettweiler [2012-08-30 04:41:31] 985*2^1227825-1 is not prime. Res64: 72A8905DF2F9BBE3 Time : 0.0 sec. user=mdettweiler [2012-08-30 04:41:31] 737*2^1227826-1 is not prime. Res64: 6A19E989BE8C25FF Time : 0.0 sec. user=mdettweiler [2012-08-30 04:41:34] 601*2^1227825-1 is not prime. Res64: 9CDAF9607E4395AB Time : 0.0 sec. user=mdettweiler [2012-08-30 05:00:48] 747*2^1227826-1 is not prime. Res64: AF0D058330459382 Time : 0.0 sec. user=mdettweiler [2012-08-30 05:02:08] 621*2^1227827-1 is not prime. Res64: D17D6B1B889190E4 Time : 0.0 sec. user=mdettweiler [2012-08-30 05:02:09] 781*2^1227827-1 is not prime. Res64: 8BB0A6D3E697FB7C Time : 0.0 sec. user=mdettweiler [2012-08-30 05:02:09] 823*2^1227827-1 is not prime. Res64: 54467DEFD69D4F90 Time : 0.0 sec. user=mdettweiler [2012-08-30 05:02:10] 861*2^1227827-1 is not prime. Res64: 550352963E8E7A32 Time : 0.0 sec. user=vaughan [2012-08-30 05:11:12] 1001*2^1227826-1 is not prime. Res64: A2A17DD8B3DE9F54 Time : 0.0 sec. user=mdettweiler [2012-08-30 05:11:15] 889*2^1227827-1 is not prime. Res64: A9C51E64E27F3657 Time : 0.0 sec. user=mdettweiler [2012-08-30 05:22:41] 615*2^1227829-1 is not prime. Res64: 133A4CC8F22F6557 Time : 0.0 sec. user=mdettweiler [2012-08-30 05:22:42] 657*2^1227828-1 is not prime. Res64: 3CAA7F96E81F6D13 Time : 0.0 sec. user=mdettweiler [2012-08-30 05:22:42] 721*2^1227829-1 is not prime. Res64: 84927F8C4DFFE556 Time : 0.0 sec. user=mdettweiler [2012-08-30 05:22:42] 753*2^1227828-1 is not prime. Res64: F2F1017407D8F78E Time : 0.0 sec. user=mdettweiler [2012-08-30 05:30:44] 633*2^1227828-1 is not prime. Res64: DFCAADA14AB0CE80 Time : 0.0 sec. user=mdettweiler [2012-08-30 05:40:52] 897*2^1227829-1 is not prime. Res64: A080ED614322B86C Time : 0.0 sec. user=mdettweiler [2012-08-30 05:43:16] 635*2^1227830-1 is not prime. Res64: 5805442233E9B55C Time : 0.0 sec. user=mdettweiler [2012-08-30 05:43:16] 955*2^1227829-1 is not prime. Res64: 3C419B5D04C07D09 Time : 0.0 sec. user=mdettweiler [2012-08-30 05:43:16] 641*2^1227830-1 is not prime. Res64: BC1E0B0A22BD8E55 Time : 0.0 sec. user=mdettweiler [2012-08-30 05:43:17] 603*2^1227830-1 is not prime. Res64: F7F5C61376A66277 Time : 0.0 sec. user=juhehe [2012-08-30 05:45:53] 775*2^1227829-1 is not prime. Res64: 0BB2DB6A0284577D Time : 0.0 sec. user=vaughan [2012-08-30 05:49:01] 895*2^1227829-1 is not prime. Res64: 2FE2D7FE483F818F Time : 0.0 sec. user=mdettweiler [2012-08-30 06:00:24] 657*2^1227830-1 is not prime. Res64: 4DBA168319C3E7D0 Time : 0.0 sec. user=mdettweiler [2012-08-30 06:03:45] 791*2^1227830-1 is not prime. Res64: 01A6D273E229B0F5 Time : 0.0 sec. user=mdettweiler [2012-08-30 06:03:46] 875*2^1227830-1 is not prime. Res64: 743F026F984E7CB6 Time : 0.0 sec. user=mdettweiler [2012-08-30 06:03:47] 851*2^1227830-1 is not prime. Res64: 5BD7CEC38C3A38FE Time : 0.0 sec. user=mdettweiler [2012-08-30 06:03:48] 941*2^1227830-1 is not prime. Res64: 38326117A5D69BF1 Time : 0.0 sec. user=mdettweiler [2012-08-30 06:10:35] 675*2^1227830-1 is not prime. Res64: 06EC6AC44C93989F Time : 0.0 sec. user=mdettweiler [2012-08-30 06:24:18] 741*2^1227831-1 is not prime. Res64: 3EB79A3A85451CB0 Time : 0.0 sec. user=mdettweiler [2012-08-30 06:24:19] 763*2^1227831-1 is not prime. Res64: 6762E6B6249F0EA4 Time : 0.0 sec. user=mdettweiler [2012-08-30 06:24:21] 873*2^1227831-1 is not prime. Res64: 2E125ACDCD3F985A Time : 0.0 sec. user=mdettweiler [2012-08-30 06:24:21] 635*2^1227832-1 is not prime. Res64: 7CAFA0487C6F04FD Time : 0.0 sec. user=vaughan [2012-08-30 06:26:43] 625*2^1227831-1 is not prime. Res64: CDE9671AB04F15ED Time : 0.0 sec. user=mdettweiler [2012-08-30 06:30:05] 679*2^1227831-1 is not prime. Res64: 30A9F9CC26ABC9D0 Time : 0.0 sec. user=mdettweiler [2012-08-30 06:40:18] 677*2^1227832-1 is not prime. Res64: 4E8C6CD26B69BA8A Time : 0.0 sec. user=mdettweiler [2012-08-30 06:44:50] 819*2^1227832-1 is not prime. Res64: 37F4A8646286AB68 Time : 0.0 sec. user=mdettweiler [2012-08-30 06:44:50] 917*2^1227832-1 is not prime. Res64: DBE4B9F19FD300F6 Time : 0.0 sec. user=mdettweiler [2012-08-30 06:44:53] 615*2^1227833-1 is not prime. Res64: 6B95D379F79632F8 Time : 0.0 sec. user=mdettweiler [2012-08-30 06:44:53] 945*2^1227833-1 is not prime. Res64: 878205FA1B565695 Time : 0.0 sec. user=gd_barnes [2012-08-30 06:48:54] 779*2^1227832-1 is not prime. Res64: 41AC0E2DE0DDA378 Time : 0.0 sec. user=gd_barnes [2012-08-30 06:49:01] 735*2^1227832-1 is not prime. Res64: 00858F2681030A9C Time : 0.0 sec. user=mdettweiler [2012-08-30 06:59:39] 725*2^1227834-1 is not prime. Res64: E3946235D8A9D1C5 Time : 0.0 sec. user=vaughan [2012-08-30 07:04:24] 635*2^1227834-1 is not prime. Res64: 44344EA46021F0CE Time : 0.0 sec. user=mdettweiler [2012-08-30 07:05:21] 645*2^1227835-1 is not prime. Res64: 9BB003C640DA67AD Time : 0.0 sec. user=mdettweiler [2012-08-30 07:05:22] 733*2^1227835-1 is not prime. Res64: E27BFA6F11EE0488 Time : 0.0 sec. user=mdettweiler [2012-08-30 07:05:25] 765*2^1227835-1 is not prime. Res64: 11616BFB8F095E91 Time : 0.0 sec. user=mdettweiler [2012-08-30 07:05:29] 861*2^1227835-1 is not prime. Res64: 952CAE2A1E451BFB Time : 0.0 sec. user=mdettweiler [2012-08-30 07:09:54] 609*2^1227835-1 is not prime. Res64: EA1CF261820275C5 Time : 0.0 sec. user=mdettweiler [2012-08-30 07:25:57] 669*2^1227836-1 is not prime. Res64: D9213B6649643CB9 Time : 0.0 sec. user=mdettweiler [2012-08-30 07:25:57] 813*2^1227836-1 is not prime. Res64: E99641AAD743A70C Time : 0.0 sec. user=mdettweiler [2012-08-30 07:26:01] 825*2^1227836-1 is not prime. Res64: EA80C8030DA7EE81 Time : 0.0 sec. user=mdettweiler [2012-08-30 07:26:01] 833*2^1227836-1 is not prime. Res64: 44ADEA5D390B28BA Time : 0.0 sec. user=mdettweiler [2012-08-30 07:29:11] 919*2^1227835-1 is not prime. Res64: C91630016E8F0915 Time : 0.0 sec. user=mdettweiler [2012-08-30 07:39:28] 741*2^1227837-1 is not prime. Res64: 23E081C4D346FF91 Time : 0.0 sec. user=vaughan [2012-08-30 07:42:06] 973*2^1227835-1 is not prime. Res64: 291E2FFDBAF23CCD Time : 0.0 sec. user=mdettweiler [2012-08-30 07:46:29] 805*2^1227837-1 is not prime. Res64: 148862AFB41C89FF Time : 0.0 sec. user=mdettweiler [2012-08-30 07:46:30] 817*2^1227837-1 is not prime. Res64: B3801766A2A27DBA Time : 0.0 sec. user=mdettweiler [2012-08-30 07:46:32] 901*2^1227837-1 is not prime. Res64: 67E11AFD4F76C40C Time : 0.0 sec. user=mdettweiler [2012-08-30 07:46:33] 919*2^1227837-1 is not prime. Res64: 6BCF371E80084D55 Time : 0.0 sec. user=juhehe [2012-08-30 07:50:14] 675*2^1227837-1 is not prime. Res64: 6607E532F00902B0 Time : 0.0 sec. user=mdettweiler [2012-08-30 07:58:43] 713*2^1227838-1 is not prime. Res64: 3F2EBA6BD34F8764 Time : 0.0 sec. user=mdettweiler [2012-08-30 08:06:59] 741*2^1227839-1 is not prime. Res64: 9A70748F37BAA150 Time : 0.0 sec. user=mdettweiler [2012-08-30 08:07:01] 831*2^1227839-1 is not prime. Res64: F9FFCA2681A3B401 Time : 0.0 sec. user=mdettweiler [2012-08-30 08:07:04] 865*2^1227839-1 is not prime. Res64: 237115C7F9258AEA Time : 0.0 sec. user=mdettweiler [2012-08-30 08:07:05] 885*2^1227839-1 is not prime. Res64: 027887E912CCCD8B Time : 0.0 sec. user=mdettweiler [2012-08-30 08:09:04] 669*2^1227839-1 is not prime. Res64: FB463101307C33C0 Time : 0.0 sec. user=vaughan [2012-08-30 08:19:46] 693*2^1227839-1 is not prime. Res64: F9FCCB5654474695 Time : 0.0 sec. user=mdettweiler [2012-08-30 08:27:41] 759*2^1227547-1 is not prime. Res64: 069D2228EF9F1858 Time : 0.0 sec. user=mdettweiler [2012-08-30 08:27:42] 861*2^1227549-1 is not prime. Res64: 87C4E65C4070C4C2 Time : 0.0 sec. user=mdettweiler [2012-08-30 08:27:46] 969*2^1227549-1 is not prime. Res64: D6CCA1D2F29C0A23 Time : 0.0 sec. user=mdettweiler [2012-08-30 08:27:47] 755*2^1227550-1 is not prime. Res64: D39865B61B399277 Time : 0.0 sec. user=mdettweiler [2012-08-30 08:28:16] 717*2^1227546-1 is not prime. Res64: 228C68D04F4E0627 Time : 0.0 sec. user=mdettweiler [2012-08-30 08:38:41] 941*2^1227550-1 is not prime. Res64: C68B4CD0D2FD54E8 Time : 0.0 sec. user=mdettweiler [2012-08-30 08:48:12] 711*2^1227551-1 is not prime. Res64: 6BB1642D81113AB6 Time : 0.0 sec. user=mdettweiler [2012-08-30 08:48:13] 943*2^1227551-1 is not prime. Res64: 001CBEF5E177A341 Time : 0.0 sec. user=mdettweiler [2012-08-30 08:48:17] 979*2^1227551-1 is not prime. Res64: 72C4F2073520CA62 Time : 0.0 sec. user=mdettweiler [2012-08-30 08:48:17] 669*2^1227552-1 is not prime. Res64: 61ECBDEBE9D032C7 Time : 0.0 sec. user=vaughan [2012-08-30 08:57:40] 945*2^1227550-1 is not prime. Res64: 04E513A63D3438E7 Time : 0.0 sec. user=mdettweiler [2012-08-30 08:57:48] 875*2^1227552-1 is not prime. Res64: ED7B6B07AA5ACACA Time : 0.0 sec. user=mdettweiler [2012-08-30 09:08:16] 615*2^1227553-1 is not prime. Res64: DDB1C486CDE2540E Time : 0.0 sec. user=mdettweiler [2012-08-30 09:08:44] 769*2^1227553-1 is not prime. Res64: DB2AB64C0DED0976 Time : 0.0 sec. user=mdettweiler [2012-08-30 09:08:46] 897*2^1227553-1 is not prime. Res64: 5C9FDBB608115911 Time : 0.0 sec. user=mdettweiler [2012-08-30 09:08:48] 955*2^1227553-1 is not prime. Res64: 1B40EA2611724A79 Time : 0.0 sec. user=mdettweiler [2012-08-30 09:08:52] 623*2^1227554-1 is not prime. Res64: D74B55C10D547DF1 Time : 0.0 sec. user=mdettweiler [2012-08-30 09:27:24] 705*2^1227554-1 is not prime. Res64: 49194D4D84C4A47C Time : 0.0 sec. user=mdettweiler [2012-08-30 09:29:24] 921*2^1227839-1 is not prime. Res64: D7521D5B9F41B5A6 Time : 0.0 sec. user=mdettweiler [2012-08-30 09:29:24] 931*2^1227839-1 is not prime. Res64: 6F29DB1CDFE96863 Time : 0.0 sec. user=mdettweiler [2012-08-30 09:29:26] 609*2^1227840-1 is not prime. Res64: AC5898138EB8C0BC Time : 0.0 sec. user=mdettweiler [2012-08-30 09:29:27] 635*2^1227840-1 is not prime. Res64: 66AD792466AE4A45 Time : 0.0 sec. user=vaughan [2012-08-30 09:35:20] 665*2^1227554-1 is not prime. Res64: 2ED43F0BC24CF289 Time : 0.0 sec. user=mdettweiler [2012-08-30 09:37:53] 827*2^1227554-1 is not prime. Res64: 8AA96269DBEA873F Time : 0.0 sec. user=mdettweiler [2012-08-30 09:49:55] 723*2^1227840-1 is not prime. Res64: 9AB825DBDD2AAE48 Time : 0.0 sec. user=mdettweiler [2012-08-30 09:49:55] 753*2^1227840-1 is not prime. Res64: 8649ED6C1D29B3B6 Time : 0.0 sec. user=mdettweiler [2012-08-30 09:49:57] 839*2^1227840-1 is not prime. Res64: A35BA801EAE50AFE Time : 0.0 sec. user=mdettweiler [2012-08-30 09:49:57] 845*2^1227840-1 is not prime. Res64: F68FC185D8DF740B Time : 0.0 sec. user=mdettweiler [2012-08-30 09:57:14] 689*2^1227840-1 is not prime. Res64: 78C9FFD14C33DE3E Time : 0.0 sec. user=mdettweiler [2012-08-30 10:07:49] 887*2^1227840-1 is not prime. Res64: D2815028AEE19907 Time : 0.0 sec. user=mdettweiler [2012-08-30 10:10:25] 945*2^1227840-1 is not prime. Res64: 2D62783CF6ACC687 Time : 0.0 sec. user=mdettweiler [2012-08-30 10:10:26] 681*2^1227841-1 is not prime. Res64: 648AD93BD5E6511D Time : 0.0 sec. user=mdettweiler [2012-08-30 10:10:28] 705*2^1227841-1 is not prime. Res64: 9554A5AF8EC872AC Time : 0.0 sec. user=mdettweiler [2012-08-30 10:10:28] 727*2^1227841-1 is not prime. Res64: C23059E7FD25EE3D Time : 0.0 sec. user=vaughan [2012-08-30 10:13:02] 875*2^1227840-1 is not prime. Res64: 548DE774E85BAEDC Time : 0.0 sec. user=mdettweiler [2012-08-30 10:27:19] 867*2^1227841-1 is not prime. Res64: 6F224C80CDDF325E Time : 0.0 sec. user=mdettweiler [2012-08-30 10:30:58] 979*2^1227841-1 is not prime. Res64: 5A12F391557E47CB Time : 0.0 sec. user=mdettweiler [2012-08-30 10:30:58] 705*2^1227842-1 is not prime. Res64: 2764BD3382EE259B Time : 0.0 sec. user=mdettweiler [2012-08-30 10:31:01] 755*2^1227842-1 is not prime. Res64: 122D38AEAF48379A Time : 0.0 sec. user=mdettweiler [2012-08-30 10:31:02] 771*2^1227842-1 is not prime. Res64: ADE9CE2B878D9EB5 Time : 0.0 sec. user=mdettweiler [2012-08-30 10:38:04] 967*2^1227841-1 is not prime. Res64: 5FA7807FB02C2184 Time : 0.0 sec. user=juhehe [2012-08-30 10:38:28] 817*2^1227841-1 is not prime. Res64: 978D75AC70E4DC55 Time : 0.0 sec. user=vaughan [2012-08-30 10:50:53] 885*2^1227842-1 is not prime. Res64: 085D227732C9C93A Time : 0.0 sec. user=mdettweiler [2012-08-30 10:51:29] 893*2^1227842-1 is not prime. Res64: C1E70554E4FE176D Time : 0.0 sec. user=mdettweiler [2012-08-30 10:51:30] 935*2^1227842-1 is not prime. Res64: 95AE61ED8E4B5D76 Time : 0.0 sec. user=mdettweiler [2012-08-30 10:51:32] 983*2^1227842-1 is not prime. Res64: B8AADADDC8E24641 Time : 0.0 sec. user=mdettweiler [2012-08-30 10:51:33] 669*2^1227843-1 is not prime. Res64: 778DFAEAD6F7B99D Time : 0.0 sec. user=mdettweiler [2012-08-30 10:57:16] 887*2^1227842-1 is not prime. Res64: B4B0FAF87068A971 Time : 0.0 sec. user=mdettweiler [2012-08-30 11:07:43] 703*2^1227843-1 is not prime. Res64: D4BD42F12ECFEDD5 Time : 0.0 sec. user=mdettweiler [2012-08-30 11:12:00] 871*2^1227843-1 is not prime. Res64: B6239177A64FF9D6 Time : 0.0 sec. user=mdettweiler [2012-08-30 11:12:02] 895*2^1227843-1 is not prime. Res64: E4E0F289C3373FAA Time : 0.0 sec. user=mdettweiler [2012-08-30 11:12:06] 973*2^1227843-1 is not prime. Res64: D2BE46D27330FFC0 Time : 0.0 sec. user=mdettweiler [2012-08-30 11:12:07] 749*2^1227844-1 is not prime. Res64: 00D434562F61EDEC Time : 0.0 sec. user=mdettweiler [2012-08-30 11:26:47] 803*2^1227844-1 is not prime. Res64: E6FC4D6386A1771F Time : 0.0 sec. user=vaughan [2012-08-30 11:28:35] 829*2^1227843-1 is not prime. Res64: AFB772963C2D7591 Time : 0.0 sec. user=mdettweiler [2012-08-30 11:32:45] 929*2^1227844-1 is not prime. Res64: 31512D0F576EBDE6 Time : 0.0 sec. user=mdettweiler [2012-08-30 11:32:46] 987*2^1227844-1 is not prime. Res64: C39E1C166ADB749A Time : 0.0 sec. user=mdettweiler [2012-08-30 11:32:48] 729*2^1227845-1 is not prime. Res64: A8EAAF34E8F4B85C Time : 0.0 sec. user=mdettweiler [2012-08-30 11:32:49] 771*2^1227845-1 is not prime. Res64: FFCCBF0E2AA84B40 Time : 0.0 sec. user=mdettweiler [2012-08-30 11:37:16] 825*2^1227844-1 is not prime. Res64: 7DF62B9233D746B6 Time : 0.0 sec. user=mdettweiler [2012-08-30 11:53:21] 851*2^1227846-1 is not prime. Res64: A7F5DDD1292396FF Time : 0.0 sec. user=mdettweiler [2012-08-30 11:53:21] 903*2^1227846-1 is not prime. Res64: 5FA98A1C7A83C8FA Time : 0.0 sec. user=mdettweiler [2012-08-30 11:53:24] 923*2^1227846-1 is not prime. Res64: 881D4564A2260EAF Time : 0.0 sec. user=mdettweiler [2012-08-30 11:53:24] 963*2^1227846-1 is not prime. Res64: 5967D436FFD0F390 Time : 0.0 sec. user=mdettweiler [2012-08-30 11:56:36] 855*2^1227845-1 is not prime. Res64: 1B20CFF65663B8AA Time : 0.0 sec. user=vaughan [2012-08-30 12:06:16] 641*2^1227846-1 is not prime. Res64: E9887E2E0AFEABEF Time : 0.0 sec. user=mdettweiler [2012-08-30 12:06:53] 983*2^1227846-1 is not prime. Res64: AA048250BA87F1D3 Time : 0.0 sec. user=mdettweiler [2012-08-30 12:14:19] 705*2^1227847-1 is not prime. Res64: B58D424502C1C8E5 Time : 0.0 sec. user=mdettweiler [2012-08-30 12:14:20] 805*2^1227847-1 is not prime. Res64: 4F48A2787827389F Time : 0.0 sec. user=mdettweiler [2012-08-30 12:14:21] 933*2^1227847-1 is not prime. Res64: 93594B8FA5ACB73A Time : 0.0 sec. user=mdettweiler [2012-08-30 12:14:22] 687*2^1227848-1 is not prime. Res64: 37F46B268B0498ED Time : 0.0 sec. user=mdettweiler [2012-08-30 12:26:11] 725*2^1227848-1 is not prime. Res64: BDDED5CD26CF035E Time : 0.0 sec. user=mdettweiler [2012-08-30 12:35:42] 759*2^1227849-1 is not prime. Res64: B349668F3FDB2431 Time : 0.0 sec. user=mdettweiler [2012-08-30 12:35:43] 985*2^1227849-1 is not prime. Res64: B635D0E7DAE4720F Time : 0.0 sec. user=mdettweiler [2012-08-30 12:35:44] 997*2^1227849-1 is not prime. Res64: C5082A9267939B67 Time : 0.0 sec. user=mdettweiler [2012-08-30 12:35:44] 999*2^1227849-1 is not prime. Res64: 6EEBBFED6F2D37C4 Time : 0.0 sec. user=mdettweiler [2012-08-30 12:36:30] 721*2^1227849-1 is not prime. Res64: B6C9E0D033E19CD0 Time : 0.0 sec. user=juhehe [2012-08-30 12:43:32] 963*2^1227848-1 is not prime. Res64: 03DB42B5C50F0F21 Time : 0.0 sec. user=vaughan [2012-08-30 12:44:01] 995*2^1227848-1 is not prime. Res64: D217395DF3E00F05 Time : 0.0 sec. user=mdettweiler [2012-08-30 12:55:47] 671*2^1227850-1 is not prime. Res64: 7474B776632B7A7B Time : 0.0 sec. user=mdettweiler [2012-08-30 12:56:48] 755*2^1227850-1 is not prime. Res64: 617D71B507337E2E Time : 0.0 sec. user=mdettweiler [2012-08-30 12:56:48] 825*2^1227850-1 is not prime. Res64: C222F0D40CC07A8F Time : 0.0 sec. user=mdettweiler [2012-08-30 12:56:49] 845*2^1227850-1 is not prime. Res64: 1370865E6A4B6CBE Time : 0.0 sec. user=mdettweiler [2012-08-30 12:56:49] 867*2^1227850-1 is not prime. Res64: 9CD47FF835CB78C4 Time : 0.0 sec. user=mdettweiler [2012-08-30 13:06:02] 873*2^1227850-1 is not prime. Res64: 8B19EAF2B9BC5189 Time : 0.0 sec. user=mdettweiler [2012-08-30 13:17:52] 945*2^1227851-1 is not prime. Res64: 24F838B85B3F72DE Time : 0.0 sec. user=mdettweiler [2012-08-30 13:17:52] 653*2^1227852-1 is not prime. Res64: 2B5CB242240896AF Time : 0.0 sec. user=mdettweiler [2012-08-30 13:17:55] 689*2^1227852-1 is not prime. Res64: DEE1E53215CE53B3 Time : 0.0 sec. user=mdettweiler [2012-08-30 13:17:55] 717*2^1227852-1 is not prime. Res64: 0D55864FAE045E13 Time : 0.0 sec. user=vaughan [2012-08-30 13:21:44] 891*2^1227850-1 is not prime. Res64: 84A2E00F9B82EE85 Time : 0.0 sec. user=mdettweiler [2012-08-30 13:25:19] 711*2^1227851-1 is not prime. Res64: B2D534D7C6533060 Time : 0.0 sec. user=mdettweiler [2012-08-30 13:35:44] 767*2^1227852-1 is not prime. Res64: E2B22DFFB94D44AF Time : 0.0 sec. user=mdettweiler [2012-08-30 13:39:00] 639*2^1227853-1 is not prime. Res64: 846822ECE57115AC Time : 0.0 sec. user=mdettweiler [2012-08-30 13:39:01] 801*2^1227853-1 is not prime. Res64: 08A1CD12A030379A Time : 0.0 sec. user=mdettweiler [2012-08-30 13:39:01] 825*2^1227852-1 is not prime. Res64: 3001D3F76F8A8A78 Time : 0.0 sec. user=mdettweiler [2012-08-30 13:39:01] 923*2^1227852-1 is not prime. Res64: 9DAE4B3CBFBA04D0 Time : 0.0 sec. user=mdettweiler [2012-08-30 13:54:56] 847*2^1227853-1 is not prime. Res64: 0633C1E2325A621F Time : 0.0 sec. user=vaughan [2012-08-30 13:59:30] 811*2^1227853-1 is not prime. Res64: 05F9BF6672F4738F Time : 0.0 sec. user=mdettweiler [2012-08-30 14:00:05] 901*2^1227853-1 is not prime. Res64: D664A133DBA5E0AE Time : 0.0 sec. user=mdettweiler [2012-08-30 14:00:06] 945*2^1227853-1 is not prime. Res64: 33D393542A823CBA Time : 0.0 sec. user=mdettweiler [2012-08-30 14:00:06] 825*2^1227854-1 is not prime. Res64: 096CE2575A94B530 Time : 0.0 sec. user=mdettweiler [2012-08-30 14:00:06] 833*2^1227854-1 is not prime. Res64: A5077E999A165D3D Time : 0.0 sec. user=mdettweiler [2012-08-30 14:05:19] 867*2^1227853-1 is not prime. Res64: 5E96CDED7DA5E6F5 Time : 0.0 sec. user=mdettweiler [2012-08-30 14:21:12] 965*2^1227854-1 is not prime. Res64: 85FBC4C5784C0045 Time : 0.0 sec. user=mdettweiler [2012-08-30 14:21:12] 675*2^1227855-1 is not prime. Res64: AD79B40181F46FD1 Time : 0.0 sec. user=mdettweiler [2012-08-30 14:21:15] 723*2^1227855-1 is not prime. Res64: 464F3D49E41CEE83 Time : 0.0 sec. user=mdettweiler [2012-08-30 14:21:16] 739*2^1227855-1 is not prime. Res64: 7447E6EF97CB243A Time : 0.0 sec. user=mdettweiler [2012-08-30 14:24:29] 851*2^1227854-1 is not prime. Res64: 47DB95BB041F2A90 Time : 0.0 sec. user=mdettweiler [2012-08-30 14:34:56] 781*2^1227855-1 is not prime. Res64: 08B2D4D6CDAD1EE5 Time : 0.0 sec. user=vaughan [2012-08-30 14:37:12] 885*2^1227854-1 is not prime. Res64: F020F281FDFF3E66 Time : 0.0 sec. user=mdettweiler [2012-08-30 14:42:13] 823*2^1227855-1 is not prime. Res64: 6EF8CCF50B7B65C2 Time : 0.0 sec. user=mdettweiler [2012-08-30 14:42:13] 951*2^1227855-1 is not prime. Res64: 33BA19F8A9DE0BE6 Time : 0.0 sec. user=mdettweiler [2012-08-30 14:42:14] 961*2^1227855-1 is not prime. Res64: E894710817695CDB Time : 0.0 sec. user=mdettweiler [2012-08-30 14:42:14] 723*2^1227856-1 is not prime. Res64: 473C7133D4FC1566 Time : 0.0 sec. user=mdettweiler [2012-08-30 14:54:04] 825*2^1227856-1 is not prime. Res64: 7B4A7DB446CF4488 Time : 0.0 sec. user=mdettweiler [2012-08-30 15:03:23] 615*2^1227857-1 is not prime. Res64: A4F548EE2080BAA2 Time : 0.0 sec. user=mdettweiler [2012-08-30 15:03:23] 741*2^1227857-1 is not prime. Res64: 1138FCAA79A762A7 Time : 0.0 sec. user=mdettweiler [2012-08-30 15:03:23] 829*2^1227857-1 is not prime. Res64: 4C8D2DCB55BF35BB Time : 0.0 sec. user=mdettweiler [2012-08-30 15:03:24] 685*2^1227857-1 is not prime. Res64: AAB83F58B0CD8827 Time : 0.0 sec. user=mdettweiler [2012-08-30 15:04:31] 933*2^1227856-1 is not prime. Res64: BC3E93AE8801195E Time : 0.0 sec. user=vaughan [2012-08-30 15:14:55] 983*2^1227856-1 is not prime. Res64: 0442DDAAA6C283C5 Time : 0.0 sec. user=mdettweiler [2012-08-30 15:23:38] 837*2^1227857-1 is not prime. Res64: 78B31AF6D6688DC4 Time : 0.0 sec. user=mdettweiler [2012-08-30 15:25:00] 981*2^1227857-1 is not prime. Res64: 155CF05A9A7A8F96 Time : 0.0 sec. user=mdettweiler [2012-08-30 15:25:00] 647*2^1227858-1 is not prime. Res64: 1B2F05763CE5C025 Time : 0.0 sec. user=mdettweiler [2012-08-30 15:25:00] 635*2^1227858-1 is not prime. Res64: 21DB842889C42D9D Time : 0.0 sec. user=mdettweiler [2012-08-30 15:25:00] 671*2^1227858-1 is not prime. Res64: F8CCF6A668069EC8 Time : 0.0 sec. user=mdettweiler [2012-08-30 15:34:07] 713*2^1227858-1 is not prime. Res64: 41D86824E87BCDA2 Time : 0.0 sec. user=mdettweiler [2012-08-30 15:47:04] 933*2^1227858-1 is not prime. Res64: 01FDAE59E72F94D3 Time : 0.0 sec. user=mdettweiler [2012-08-30 15:47:04] 945*2^1227858-1 is not prime. Res64: EB783E00960C397E Time : 0.0 sec. user=mdettweiler [2012-08-30 15:47:05] 975*2^1227858-1 is not prime. Res64: EF7BE6348A77B55C Time : 0.0 sec. user=mdettweiler [2012-08-30 15:47:05] 603*2^1227859-1 is not prime. Res64: 06906837DE82BC47 Time : 0.0 sec. user=vaughan [2012-08-30 15:52:52] 843*2^1227858-1 is not prime. Res64: CF46FB7FD9501975 Time : 0.0 sec. user=mdettweiler [2012-08-30 15:53:14] 927*2^1227858-1 is not prime. Res64: 67AE5331BF2AE5B5 Time : 0.0 sec. user=mdettweiler [2012-08-30 16:03:42] 735*2^1227859-1 is not prime. Res64: B5E277B4B0D592F0 Time : 0.0 sec. user=mdettweiler [2012-08-30 16:08:56] 861*2^1227859-1 is not prime. Res64: 43B727C9E848BC40 Time : 0.0 sec. user=mdettweiler [2012-08-30 16:08:57] 603*2^1227860-1 is not prime. Res64: B06409E9AAB2E1F6 Time : 0.0 sec. user=mdettweiler [2012-08-30 16:08:58] 675*2^1227860-1 is not prime. Res64: 21618763600B7E34 Time : 0.0 sec. user=mdettweiler [2012-08-30 16:08:59] 707*2^1227860-1 is not prime. Res64: 19300200C7463AF6 Time : 0.0 sec. user=mdettweiler [2012-08-30 16:22:55] 819*2^1227860-1 is not prime. Res64: 27954872455B5E25 Time : 0.0 sec. user=vaughan [2012-08-30 16:30:33] 795*2^1227860-1 is not prime. Res64: 34008CD5E7DA3079 Time : 0.0 sec. user=mdettweiler [2012-08-30 16:31:18] 843*2^1227860-1 is not prime. Res64: 827E6A4E80973EC9 Time : 0.0 sec. user=mdettweiler [2012-08-30 16:31:19] 893*2^1227860-1 is not prime. Res64: FC0B1C102311344A Time : 0.0 sec. user=mdettweiler [2012-08-30 16:31:21] 923*2^1227860-1 is not prime. Res64: 0E183021A304FCCD Time : 0.0 sec. user=mdettweiler [2012-08-30 16:31:21] 999*2^1227860-1 is not prime. Res64: 9C39E212C14139B5 Time : 0.0 sec. user=mdettweiler [2012-08-30 16:33:32] 833*2^1227860-1 is not prime. Res64: B2B159C9088EE8C6 Time : 0.0 sec. user=mdettweiler [2012-08-30 16:52:38] 627*2^1227861-1 is not prime. Res64: 4574084ABF2729B9 Time : 0.0 sec. user=mdettweiler [2012-08-30 16:53:19] 657*2^1227861-1 is not prime. Res64: 24CF4725B69451AF Time : 0.0 sec. user=mdettweiler [2012-08-30 16:53:19] 837*2^1227861-1 is not prime. Res64: 3E5EF2738017F138 Time : 0.0 sec. user=mdettweiler [2012-08-30 16:53:21] 961*2^1227861-1 is not prime. Res64: E4843A83502844A2 Time : 0.0 sec. user=mdettweiler [2012-08-30 16:53:21] 677*2^1227862-1 is not prime. Res64: 915418F47C9555C7 Time : 0.0 sec. user=mdettweiler [2012-08-30 17:03:02] 765*2^1227862-1 is not prime. Res64: D0DEAC2E950600A6 Time : 0.0 sec. user=vaughan [2012-08-30 17:08:16] 651*2^1227861-1 is not prime. Res64: 261B43EFC0A9CB2A Time : 0.0 sec. user=mdettweiler [2012-08-30 17:15:21] 873*2^1227862-1 is not prime. Res64: FB66F45093D1CD8F Time : 0.0 sec. user=mdettweiler [2012-08-30 17:15:22] 917*2^1227862-1 is not prime. Res64: D407FC9EB852F63A Time : 0.0 sec. user=mdettweiler [2012-08-30 17:15:23] 941*2^1227862-1 is not prime. Res64: 16CE8D18B013F9B3 Time : 0.0 sec. user=mdettweiler [2012-08-30 17:15:24] 945*2^1227862-1 is not prime. Res64: E800887317584D9E Time : 0.0 sec. user=mdettweiler [2012-08-30 17:22:09] 867*2^1227862-1 is not prime. Res64: 69DA101BCC8FF22C Time : 0.0 sec. user=mdettweiler [2012-08-30 17:32:55] 609*2^1227863-1 is not prime. Res64: C1F6BE9F2478D8A3 Time : 0.0 sec. user=mdettweiler [2012-08-30 17:38:03] 861*2^1227863-1 is not prime. Res64: D7F322AE9ADFAEEB Time : 0.0 sec. user=mdettweiler [2012-08-30 17:38:03] 809*2^1227864-1 is not prime. Res64: F3BAE90E044C888A Time : 0.0 sec. user=mdettweiler [2012-08-30 17:38:35] 973*2^1227863-1 is not prime. Res64: 26B9A50360FC330B Time : 0.0 sec. user=mdettweiler [2012-08-30 17:38:35] 753*2^1227864-1 is not prime. Res64: 3EA8FB02186D5000 Time : 0.0 sec. user=vaughan [2012-08-30 17:46:00] 811*2^1227863-1 is not prime. Res64: AE75D0A0636ABFBB Time : 0.0 sec. user=mdettweiler [2012-08-30 17:51:53] 993*2^1227864-1 is not prime. Res64: 11C649D5510C1650 Time : 0.0 sec. user=mdettweiler [2012-08-30 17:59:01] 607*2^1227865-1 is not prime. Res64: A7BB01607BBA8C9A Time : 0.0 sec. user=mdettweiler [2012-08-30 17:59:02] 619*2^1227865-1 is not prime. Res64: EA4F13FB42F2D0C4 Time : 0.0 sec. user=mdettweiler [2012-08-30 17:59:34] 651*2^1227865-1 is not prime. Res64: 42C05A5D4DED1060 Time : 0.0 sec. user=mdettweiler [2012-08-30 17:59:34] 685*2^1227865-1 is not prime. Res64: E863C198511676B1 Time : 0.0 sec. user=mdettweiler [2012-08-30 18:02:35] 601*2^1227865-1 is not prime. Res64: 551E3CB47961CF22 Time : 0.0 sec. user=mdettweiler [2012-08-30 18:19:54] 897*2^1227865-1 is not prime. Res64: F5F3E50455D102AF Time : 0.0 sec. user=mdettweiler [2012-08-30 18:19:55] 939*2^1227865-1 is not prime. Res64: CE4EA7BAF2219241 Time : 0.0 sec. user=mdettweiler [2012-08-30 18:20:28] 997*2^1227865-1 is not prime. Res64: D4CB94FB33BC4E16 Time : 0.0 sec. user=mdettweiler [2012-08-30 18:20:28] 783*2^1227866-1 is not prime. Res64: CE4E44631D8AE162 Time : 0.0 sec. user=mdettweiler [2012-08-30 18:21:29] 871*2^1227865-1 is not prime. Res64: 6143445F409512D7 Time : 0.0 sec. user=vaughan [2012-08-30 18:23:43] 691*2^1227865-1 is not prime. Res64: 0CF2330B8C23DEA1 Time : 0.0 sec. user=mdettweiler [2012-08-30 18:32:11] 619*2^1227867-1 is not prime. Res64: 57C04A88E68DEA84 Time : 0.0 sec. user=mdettweiler [2012-08-30 18:40:51] 651*2^1227867-1 is not prime. Res64: 7208339227CB68A6 Time : 0.0 sec. user=mdettweiler [2012-08-30 18:40:51] 675*2^1227867-1 is not prime. Res64: 598288EBFCA6880E Time : 0.0 sec. user=mdettweiler [2012-08-30 18:41:21] 795*2^1227867-1 is not prime. Res64: BC625CC774CA5024 Time : 0.0 sec. user=mdettweiler [2012-08-30 18:41:21] 823*2^1227867-1 is not prime. Res64: 8BC4D76B26F4D67E Time : 0.0 sec. user=mdettweiler [2012-08-30 18:51:01] 835*2^1227867-1 is not prime. Res64: 336DE728565D9C29 Time : 0.0 sec. user=vaughan [2012-08-30 19:01:26] 861*2^1227867-1 is not prime. Res64: E3A183154C1AEA19 Time : 0.0 sec. user=mdettweiler [2012-08-30 19:01:45] 961*2^1227867-1 is not prime. Res64: 1EE06543A5276F5D Time : 0.0 sec. user=mdettweiler [2012-08-30 19:01:45] 617*2^1227868-1 is not prime. Res64: 34062E4584AD77FF Time : 0.0 sec. user=mdettweiler [2012-08-30 19:01:48] 919*2^1227867-1 is not prime. Res64: D14DB8342520CC5F Time : 0.0 sec. user=mdettweiler [2012-08-30 19:02:14] 777*2^1227868-1 is not prime. Res64: 5AF7F6581D5A77EB Time : 0.0 sec. user=mdettweiler [2012-08-30 19:02:15] 797*2^1227868-1 is not prime. Res64: 721FC117A2E0CBCD Time : 0.0 sec. user=mdettweiler [2012-08-30 19:20:37] 845*2^1227868-1 is not prime. Res64: CFAA427D9A263BEB Time : 0.0 sec. user=mdettweiler [2012-08-30 19:22:44] 969*2^1227868-1 is not prime. Res64: DA38D98C2960C20F Time : 0.0 sec. user=mdettweiler [2012-08-30 19:22:45] 615*2^1227869-1 is not prime. Res64: 5BD40C6BE9FF31ED Time : 0.0 sec. user=mdettweiler [2012-08-30 19:23:14] 721*2^1227869-1 is not prime. Res64: D3BCB55A21B8529E Time : 0.0 sec. user=mdettweiler [2012-08-30 19:23:14] 727*2^1227869-1 is not prime. Res64: 005AB4E4D7D01668 Time : 0.0 sec. user=mdettweiler [2012-08-30 19:31:24] 679*2^1227869-1 is not prime. Res64: A5ED631EC4417A48 Time : 0.0 sec. user=vaughan [2012-08-30 19:39:24] 855*2^1227868-1 is not prime. Res64: F46749C8F3E36493 Time : 0.0 sec. user=mdettweiler [2012-08-30 19:43:44] 795*2^1227869-1 is not prime. Res64: CCC7174BBFD3BD63 Time : 0.0 sec. user=mdettweiler [2012-08-30 19:43:44] 811*2^1227869-1 is not prime. Res64: 1B3E18B5B410B772 Time : 0.0 sec. user=mdettweiler [2012-08-30 19:44:14] 825*2^1227869-1 is not prime. Res64: B45017804731B084 Time : 0.0 sec. user=mdettweiler [2012-08-30 19:44:14] 927*2^1227869-1 is not prime. Res64: 09B4C24552D3DBDC Time : 0.0 sec. user=mdettweiler [2012-08-30 19:50:19] 735*2^1227869-1 is not prime. Res64: EE3E7E7859D1680E Time : 0.0 sec. user=mdettweiler [2012-08-30 20:01:03] 985*2^1227869-1 is not prime. Res64: 8C990BBC75365EB3 Time : 0.0 sec. user=mdettweiler [2012-08-30 20:04:44] 783*2^1227870-1 is not prime. Res64: 91F0200497AEC19D Time : 0.0 sec. user=mdettweiler [2012-08-30 20:04:46] 797*2^1227870-1 is not prime. Res64: AB782530B3B3F7F4 Time : 0.0 sec. user=mdettweiler [2012-08-30 20:05:13] 963*2^1227870-1 is not prime. Res64: 9188733AA0DC8EA7 Time : 0.0 sec. user=mdettweiler [2012-08-30 20:05:14] 625*2^1227871-1 is not prime. Res64: 00043CBC558EBCE3 Time : 0.0 sec. user=vaughan [2012-08-30 20:17:07] 777*2^1227870-1 is not prime. Res64: E46A35A3E3E836AF Time : 0.0 sec. user=mdettweiler [2012-08-30 20:19:49] 673*2^1227871-1 is not prime. Res64: F7E9D114934679D9 Time : 0.0 sec. user=mdettweiler [2012-08-30 20:26:06] 841*2^1227871-1 is not prime. Res64: ACF9C2BBA2FB521E Time : 0.0 sec. user=mdettweiler [2012-08-30 20:26:07] 931*2^1227871-1 is not prime. Res64: F01FB2A2CF6CA1E4 Time : 0.0 sec. user=mdettweiler [2012-08-30 20:26:33] 999*2^1227871-1 is not prime. Res64: F321143483EA7FCF Time : 0.0 sec. user=mdettweiler [2012-08-30 20:26:33] 665*2^1227872-1 is not prime. Res64: 8FA126308AAD5694 Time : 0.0 sec. user=mdettweiler [2012-08-30 20:30:54] 769*2^1227871-1 is not prime. Res64: 7185A6BE92C6AF92 Time : 0.0 sec. user=mdettweiler [2012-08-30 20:47:00] 893*2^1227872-1 is not prime. Res64: B840DF05E5DC56A9 Time : 0.0 sec. user=mdettweiler [2012-08-30 20:47:01] 929*2^1227872-1 is not prime. Res64: BCC6422DE2C980E8 Time : 0.0 sec. user=mdettweiler [2012-08-30 20:47:27] 999*2^1227872-1 is not prime. Res64: 761C16ADAFCBC2D4 Time : 0.0 sec. user=mdettweiler [2012-08-30 20:47:28] 637*2^1227873-1 is not prime. Res64: EF72660ACCFFF08A Time : 0.0 sec. user=mdettweiler [2012-08-30 20:49:23] 759*2^1227872-1 is not prime. Res64: FCED196E0AED34EE Time : 0.0 sec. user=vaughan [2012-08-30 20:55:07] 683*2^1227872-1 is not prime. Res64: A8980D8CFFAE726E Time : 0.0 sec. user=mdettweiler [2012-08-30 21:00:29] 649*2^1227873-1 is not prime. Res64: 9D1AB9C3BBA92CD7 Time : 0.0 sec. user=juhehe [2012-08-30 21:04:48] 797*2^1227872-1 is not prime. Res64: 79A9E47871BD79ED Time : 0.0 sec. user=mdettweiler [2012-08-30 21:07:55] 699*2^1227873-1 is not prime. Res64: 956B31ECFC1CAF30 Time : 0.0 sec. user=mdettweiler [2012-08-30 21:07:57] 741*2^1227873-1 is not prime. Res64: A2A410C89A1D9303 Time : 0.0 sec. user=mdettweiler [2012-08-30 21:08:22] 789*2^1227873-1 is not prime. Res64: 3038368B0835FED0 Time : 0.0 sec. user=mdettweiler [2012-08-30 21:08:23] 621*2^1227874-1 is not prime. Res64: 6C8403C6C5BF0A85 Time : 0.0 sec. user=mdettweiler [2012-08-30 21:19:00] 701*2^1227874-1 is not prime. Res64: 2FA0552E2DC2E6BD Time : 0.0 sec. user=mdettweiler [2012-08-30 21:28:56] 601*2^1227875-1 is not prime. Res64: CCDB23C50D5E1AFC Time : 0.0 sec. user=mdettweiler [2012-08-30 21:28:56] 655*2^1227875-1 is not prime. Res64: 40CB0631A3939F66 Time : 0.0 sec. user=mdettweiler [2012-08-30 21:29:19] 669*2^1227875-1 is not prime. Res64: 92339FD3638C8CCD Time : 0.0 sec. user=mdettweiler [2012-08-30 21:29:19] 759*2^1227875-1 is not prime. Res64: EE2B796752D54572 Time : 0.0 sec. user=mdettweiler [2012-08-30 21:30:04] 857*2^1227874-1 is not prime. Res64: 4EBB0AE40C35949B Time : 0.0 sec. user=vaughan [2012-08-30 21:32:49] 831*2^1227874-1 is not prime. Res64: 693C6019784C475A Time : 0.0 sec. user=mdettweiler [2012-08-30 21:48:54] 939*2^1227875-1 is not prime. Res64: 25F9B79423E11A33 Time : 0.0 sec. user=juhehe [2012-08-30 21:49:24] 993*2^1227874-1 is not prime. Res64: 61ABE61EAF318B86 Time : 0.0 sec. user=mdettweiler [2012-08-30 21:49:49] 699*2^1227876-1 is not prime. Res64: 6EE8EED7DD211A86 Time : 0.0 sec. user=mdettweiler [2012-08-30 21:49:49] 845*2^1227876-1 is not prime. Res64: 2B467FE8988E7E72 Time : 0.0 sec. user=mdettweiler [2012-08-30 21:50:13] 993*2^1227876-1 is not prime. Res64: 1EB30ACAF54B3196 Time : 0.0 sec. user=mdettweiler [2012-08-30 21:50:13] 747*2^1227877-1 is not prime. Res64: 21C18ABD2E8C75C9 Time : 0.0 sec. user=mdettweiler [2012-08-30 21:59:39] 955*2^1227877-1 is not prime. Res64: 0BB2164BECB1DA45 Time : 0.0 sec. user=vaughan [2012-08-30 22:10:33] 967*2^1227877-1 is not prime. Res64: 8D3600CA6578D501 Time : 0.0 sec. user=mdettweiler [2012-08-30 22:10:43] 867*2^1227878-1 is not prime. Res64: E0231A6AE360C2B5 Time : 0.0 sec. user=mdettweiler [2012-08-30 22:10:44] 971*2^1227878-1 is not prime. Res64: E31626A6D0C0D5A5 Time : 0.0 sec. user=mdettweiler [2012-08-30 22:11:07] 639*2^1227879-1 is not prime. Res64: 9C879D99A39977A4 Time : 0.0 sec. user=mdettweiler [2012-08-30 22:11:08] 685*2^1227879-1 is not prime. Res64: FA22E13BF126A987 Time : 0.0 sec. user=mdettweiler [2012-08-30 22:18:29] 605*2^1227878-1 is not prime. Res64: D98DFC1628AAEB08 Time : 0.0 sec. user=mdettweiler [2012-08-30 22:29:13] 693*2^1227879-1 is not prime. Res64: 7A42BEA1F49C5D18 Time : 0.0 sec. user=mdettweiler [2012-08-30 22:31:44] 741*2^1227879-1 is not prime. Res64: 1CEE075D2B952E68 Time : 0.0 sec. user=mdettweiler [2012-08-30 22:31:45] 985*2^1227879-1 is not prime. Res64: 16FEB62377A82006 Time : 0.0 sec. user=mdettweiler [2012-08-30 22:32:06] 999*2^1227879-1 is not prime. Res64: 9CC69BC0B1EE296C Time : 0.0 sec. user=mdettweiler [2012-08-30 22:32:07] 603*2^1227880-1 is not prime. Res64: 141338EE426F7210 Time : 0.0 sec. user=juhehe [2012-08-30 22:33:59] 761*2^1227878-1 is not prime. Res64: 62FB1226788787FF Time : 0.0 sec. user=mdettweiler [2012-08-30 22:47:59] 645*2^1227880-1 is not prime. Res64: 94B3FD3DDC5B4009 Time : 0.0 sec. user=vaughan [2012-08-30 22:48:22] 705*2^1227879-1 is not prime. Res64: A4BCEBAB58BBB35C Time : 0.0 sec. user=mdettweiler [2012-08-30 22:52:34] 675*2^1227880-1 is not prime. Res64: C604AFEAD7766DEB Time : 0.0 sec. user=mdettweiler [2012-08-30 22:52:34] 735*2^1227880-1 is not prime. Res64: 5735F5899DB8117A Time : 0.0 sec. user=mdettweiler [2012-08-30 22:52:55] 843*2^1227880-1 is not prime. Res64: BFE8C8844CA091B4 Time : 0.0 sec. user=mdettweiler [2012-08-30 22:52:56] 965*2^1227880-1 is not prime. Res64: 583FF0EE27361227 Time : 0.0 sec. user=mdettweiler [2012-08-30 22:58:54] 665*2^1227880-1 is not prime. Res64: CE58F274EAA09FD4 Time : 0.0 sec. user=mdettweiler [2012-08-30 23:13:10] 819*2^1227881-1 is not prime. Res64: 24044C4EA7DE384E Time : 0.0 sec. user=mdettweiler [2012-08-30 23:13:11] 829*2^1227881-1 is not prime. Res64: C949BF14595CE3CF Time : 0.0 sec. user=mdettweiler [2012-08-30 23:13:31] 871*2^1227881-1 is not prime. Res64: DDB4D0834AB3A423 Time : 0.0 sec. user=mdettweiler [2012-08-30 23:13:32] 889*2^1227881-1 is not prime. Res64: 21813E8094228C56 Time : 0.0 sec. user=mdettweiler [2012-08-30 23:17:38] 649*2^1227881-1 is not prime. Res64: 8E0580DDEFB1E794 Time : 0.0 sec. user=juhehe [2012-08-30 23:18:35] 601*2^1227881-1 is not prime. Res64: 711EA5EE6BE05A7D Time : 0.0 sec. user=vaughan [2012-08-30 23:26:05] 741*2^1227881-1 is not prime. Res64: B61D66CEDBAB20DF Time : 0.0 sec. user=mdettweiler [2012-08-30 23:28:29] 949*2^1227881-1 is not prime. Res64: D4DEDD18D813FF01 Time : 0.0 sec. user=mdettweiler [2012-08-30 23:33:55] 957*2^1227881-1 is not prime. Res64: 47A0A5F4BEFE6A7B Time : 0.0 sec. user=mdettweiler [2012-08-30 23:33:55] 705*2^1227882-1 is not prime. Res64: 5D9EADF881C8F399 Time : 0.0 sec. user=mdettweiler [2012-08-30 23:34:14] 815*2^1227882-1 is not prime. Res64: DE60B83B888189A7 Time : 0.0 sec. user=mdettweiler [2012-08-30 23:34:15] 833*2^1227882-1 is not prime. Res64: C7C1FA1FFFAD9EB7 Time : 0.0 sec. user=mdettweiler [2012-08-30 23:47:13] 887*2^1227882-1 is not prime. Res64: 41627250891E35A5 Time : 0.0 sec. user=mdettweiler [2012-08-30 23:54:32] 803*2^1227884-1 is not prime. Res64: 8BAB47EB656E312E Time : 0.0 sec. user=mdettweiler [2012-08-30 23:54:32] 885*2^1227884-1 is not prime. Res64: DDEDD4FA944CBDE0 Time : 0.0 sec. user=mdettweiler [2012-08-30 23:54:48] 607*2^1227885-1 is not prime. Res64: C88FE8EAC65BCCC3 Time : 0.0 sec. user=mdettweiler [2012-08-30 23:54:49] 649*2^1227885-1 is not prime. Res64: 2E39A70ECDCFC8CC Time : 0.0 sec. user=mdettweiler [2012-08-30 23:58:03] 749*2^1227884-1 is not prime. Res64: 1469E73DB5F729EB Time : 0.0 sec.