user=juhehe [2012-04-03 02:49:43] 451*2^1129495-1 is not prime. Res64: A156C76F81F71C49 Time : 0.0 sec. user=juhehe [2012-04-03 02:51:38] 525*2^1129495-1 is not prime. Res64: B8CD728F71007FC9 Time : 0.0 sec. user=henryzz [2012-04-03 03:10:38] 433*2^1129495-1 is not prime. Res64: A69AD8A96F027618 Time : 0.0 sec. user=henryzz [2012-04-03 03:12:12] 441*2^1129495-1 is not prime. Res64: 6E4AB9EC33B6DB45 Time : 0.0 sec. user=henryzz [2012-04-03 03:18:41] 437*2^1129496-1 is not prime. Res64: A775AE11B1C929C3 Time : 0.0 sec. user=vaughan [2012-04-03 03:21:26] 577*2^1129497-1 is not prime. Res64: B9FAD3E8DB29926B Time : 0.0 sec. user=juhehe [2012-04-03 03:22:43] 423*2^1129498-1 is not prime. Res64: 028285C0C6CF77B7 Time : 0.0 sec. user=henryzz [2012-04-03 03:23:50] 507*2^1129496-1 is not prime. Res64: 0F6E6A58D1F7C758 Time : 0.0 sec. user=juhehe [2012-04-03 03:24:52] 443*2^1129498-1 is not prime. Res64: CF24BA33C75A5049 Time : 0.0 sec. user=henryzz [2012-04-03 03:44:55] 495*2^1129498-1 is not prime. Res64: 3B284E5A0D557DAD Time : 0.0 sec. user=vaughan [2012-04-03 03:54:50] 493*2^1129499-1 is not prime. Res64: 120F3A228FCD374F Time : 0.0 sec. user=juhehe [2012-04-03 03:55:16] 573*2^1129499-1 is not prime. Res64: 3F9FF3E551C59C7F Time : 0.0 sec. user=juhehe [2012-04-03 03:57:28] 525*2^1129500-1 is not prime. Res64: C33CD6D726365F4C Time : 0.0 sec. user=henryzz [2012-04-03 03:58:25] 513*2^1129500-1 is not prime. Res64: E8BD3D81A3ADCD3D Time : 0.0 sec. user=henryzz [2012-04-03 04:14:50] 561*2^1129498-1 is not prime. Res64: CEEA01F9C7C55BD9 Time : 0.0 sec. user=henryzz [2012-04-03 04:22:44] 539*2^1129500-1 is not prime. Res64: F679F922B75592A1 Time : 0.0 sec. user=henryzz [2012-04-03 04:25:03] 435*2^1129499-1 is not prime. Res64: CB5BB45E6B0AEDF5 Time : 0.0 sec. user=vaughan [2012-04-03 04:28:26] 549*2^1129500-1 is not prime. Res64: 812B843295A4FE1C Time : 0.0 sec. user=juhehe [2012-04-03 04:35:40] 411*2^1129501-1 is not prime. Res64: AFF2766A982609CD Time : 0.0 sec. user=juhehe [2012-04-03 04:36:12] 499*2^1129501-1 is not prime. Res64: 1139EF4B425B56E8 Time : 0.0 sec. user=vaughan [2012-04-03 05:02:19] 585*2^1129502-1 is not prime. Res64: EAA785CC0D6954C7 Time : 0.0 sec. user=juhehe [2012-04-03 05:10:01] 489*2^1129503-1 is not prime. Res64: F4C301F99F2F1F18 Time : 0.0 sec. user=juhehe [2012-04-03 05:10:12] 459*2^1129503-1 is not prime. Res64: F829906965FFAD9A Time : 0.0 sec. user=henryzz [2012-04-03 05:33:43] 551*2^1129502-1 is not prime. Res64: 585DF8626CC164D5 Time : 0.0 sec. user=henryzz [2012-04-03 05:34:14] 525*2^1129501-1 is not prime. Res64: 87366F203AC5B9B1 Time : 0.0 sec. user=henryzz [2012-04-03 05:34:51] 547*2^1129501-1 is not prime. Res64: 3D46380F8446C2F1 Time : 0.0 sec. user=vaughan [2012-04-03 05:35:36] 559*2^1129503-1 is not prime. Res64: 17DBD8CBBD954325 Time : 0.0 sec. user=juhehe [2012-04-03 05:42:42] 413*2^1129504-1 is not prime. Res64: 37023894385E92B2 Time : 0.0 sec. user=juhehe [2012-04-03 05:42:59] 447*2^1129504-1 is not prime. Res64: E1257E3B2BAF644B Time : 0.0 sec. user=henryzz [2012-04-03 05:43:38] 405*2^1129502-1 is not prime. Res64: 14D341981B74550F Time : 0.0 sec. user=juhehe [2012-04-03 06:15:34] 537*2^1129505-1 is not prime. Res64: BE5B4E004598509F Time : 0.0 sec. user=juhehe [2012-04-03 06:15:41] 471*2^1129506-1 is not prime. Res64: 2938B298A0603F05 Time : 0.0 sec. user=henryzz [2012-04-03 06:26:09] 445*2^1129505-1 is not prime. Res64: 977CCE9BD2C66903 Time : 0.0 sec. user=henryzz [2012-04-03 06:26:22] 597*2^1129504-1 is not prime. Res64: 6281D7CF91E9A0FB Time : 0.0 sec. user=henryzz [2012-04-03 06:29:00] 405*2^1129505-1 is not prime. Res64: 7EABA7CF7C6FFCF9 Time : 0.0 sec. user=mdettweiler [2012-04-03 06:30:48] 475*2^1129507-1 is not prime. Res64: F4C954DA1D181C34 Time : 0.0 sec. user=vaughan [2012-04-03 06:42:13] 503*2^1129506-1 is not prime. Res64: DDFFE4D608EF3917 Time : 0.0 sec. user=henryzz [2012-04-03 06:48:14] 483*2^1129506-1 is not prime. Res64: A3DFA5438C55ABF0 Time : 0.0 sec. user=juhehe [2012-04-03 06:48:21] 587*2^1129506-1 is not prime. Res64: 78B56AB5D1545A8D Time : 0.0 sec. user=juhehe [2012-04-03 06:48:28] 469*2^1129507-1 is not prime. Res64: EB353D428B7C5F72 Time : 0.0 sec. user=henryzz [2012-04-03 07:05:06] 583*2^1129507-1 is not prime. Res64: AE68B934D2ECDE76 Time : 0.0 sec. user=gd_barnes [2012-04-03 07:05:06] 467*2^1129508-1 is not prime. Res64: 7CEECF9235414CDF Time : 0.0 sec. user=gd_barnes [2012-04-03 07:10:27] 441*2^1129509-1 is not prime. Res64: B69DB99101A4C44B Time : 0.0 sec. user=henryzz [2012-04-03 07:13:34] 405*2^1129508-1 is not prime. Res64: 5867FE51943E049D Time : 0.0 sec. user=vaughan [2012-04-03 07:15:50] 471*2^1129509-1 is not prime. Res64: D857F100F16CDB0A Time : 0.0 sec. user=juhehe [2012-04-03 07:21:09] 471*2^1129510-1 is not prime. Res64: 10FA7CA367A77DA0 Time : 0.0 sec. user=juhehe [2012-04-03 07:21:09] 595*2^1129509-1 is not prime. Res64: 91D8E7A90CB88723 Time : 0.0 sec. user=henryzz [2012-04-03 07:23:00] 467*2^1129510-1 is not prime. Res64: 3D2A191EC74D6DD7 Time : 0.0 sec. user=juhehe [2012-04-03 07:25:42] 561*2^1129481-1 is not prime. Res64: D0E9AD5FCBF0209B Time : 0.0 sec. user=henryzz [2012-04-03 07:46:08] 525*2^1129510-1 is not prime. Res64: FF9496EDD99CF3B7 Time : 0.0 sec. user=juhehe [2012-04-03 07:47:07] 411*2^1129513-1 is not prime. Res64: 91A614279332D39C Time : 0.0 sec. user=vaughan [2012-04-03 07:49:19] 455*2^1129512-1 is not prime. Res64: 36767FEBABC63D8F Time : 0.0 sec. user=juhehe [2012-04-03 07:53:31] 503*2^1129512-1 is not prime. Res64: 1BEB46A6BEC50680 Time : 0.0 sec. user=juhehe [2012-04-03 07:54:07] 467*2^1129512-1 is not prime. Res64: D13FF5A334661820 Time : 0.0 sec. user=henryzz [2012-04-03 07:55:26] 567*2^1129510-1 is not prime. Res64: 41D164D241305A7C Time : 0.0 sec. user=henryzz [2012-04-03 08:03:02] 405*2^1129513-1 is not prime. Res64: F186DF04BB85DB73 Time : 0.0 sec. user=henryzz [2012-04-03 08:04:22] 561*2^1129507-1 is not prime. Res64: 29DAB5A7A080A3B1 Time : 0.0 sec. user=juhehe [2012-04-03 08:07:09] 407*2^1129514-1 is not prime. Res64: 48C624E611280436 Time : 0.0 sec. user=juhehe [2012-04-03 08:26:22] 507*2^1129514-1 is not prime. Res64: 0032260F2CC67266 Time : 0.0 sec. user=juhehe [2012-04-03 08:26:56] 533*2^1129514-1 is not prime. Res64: 5CD7F71F21615AA6 Time : 0.0 sec. user=juhehe [2012-04-03 08:27:12] 433*2^1129515-1 is not prime. Res64: 2C283F6F5570C0B4 Time : 0.0 sec. user=henryzz [2012-04-03 08:30:53] 559*2^1129513-1 is not prime. Res64: AE8C1159C5599E4A Time : 0.0 sec. user=henryzz [2012-04-03 08:37:29] 545*2^1129514-1 is not prime. Res64: EC30547177456676 Time : 0.0 sec. user=henryzz [2012-04-03 08:37:36] 405*2^1129515-1 is not prime. Res64: 683A10087115112E Time : 0.0 sec. user=henryzz [2012-04-03 08:42:18] 411*2^1129515-1 is not prime. Res64: A50DA2DD1EF72929 Time : 0.0 sec. user=juhehe [2012-04-03 08:47:06] 495*2^1129516-1 is not prime. Res64: 5BAAD9DCFEE1DED3 Time : 0.0 sec. user=juhehe [2012-04-03 08:59:11] 495*2^1129515-1 is not prime. Res64: 8D9EAB14639E36D8 Time : 0.0 sec. user=juhehe [2012-04-03 08:59:46] 531*2^1129515-1 is not prime. Res64: 9A61D25811B8C1E4 Time : 0.0 sec. user=henryzz [2012-04-03 09:05:20] 537*2^1129516-1 is not prime. Res64: DFA5DEA361417D69 Time : 0.0 sec. user=juhehe [2012-04-03 09:07:01] 537*2^1129517-1 is not prime. Res64: 493992C4F63DD75A Time : 0.0 sec. user=henryzz [2012-04-03 09:09:24] 445*2^1129517-1 is not prime. Res64: 74A540A5C12BC7FD Time : 0.0 sec. user=henryzz [2012-04-03 09:12:21] 465*2^1129517-1 is not prime. Res64: 3D05FCFAF94ACCD9 Time : 0.0 sec. user=henryzz [2012-04-03 09:16:28] 489*2^1129517-1 is not prime. Res64: 237C9BEE3F93DE37 Time : 0.0 sec. user=juhehe [2012-04-03 09:26:55] 447*2^1129518-1 is not prime. Res64: ECD936F2B67088B7 Time : 0.0 sec. user=juhehe [2012-04-03 09:32:03] 549*2^1129517-1 is not prime. Res64: 68C66F717D7C39D8 Time : 0.0 sec. user=juhehe [2012-04-03 09:32:37] 577*2^1129517-1 is not prime. Res64: 9F31F7190DF889CB Time : 0.0 sec. user=henryzz [2012-04-03 09:41:45] 589*2^1129517-1 is not prime. Res64: 3A6EA88F4EE9A844 Time : 0.0 sec. user=henryzz [2012-04-03 09:44:08] 483*2^1129518-1 is not prime. Res64: 4F097A8DA50F2A6F Time : 0.0 sec. user=juhehe [2012-04-03 09:46:54] 505*2^1129519-1 is not prime. Res64: 9BCD25A65229CB5B Time : 0.0 sec. user=henryzz [2012-04-03 09:47:15] 557*2^1129518-1 is not prime. Res64: B4704DFE05155965 Time : 0.0 sec. user=henryzz [2012-04-03 09:52:45] 481*2^1129519-1 is not prime. Res64: 64E97D01474DCA1E Time : 0.0 sec. user=juhehe [2012-04-03 10:04:57] 589*2^1129519-1 is not prime. Res64: 01AA558CE82918D7 Time : 0.0 sec. user=juhehe [2012-04-03 10:05:24] 595*2^1129519-1 is not prime. Res64: A17CD0DC1D1CB05F Time : 0.0 sec. user=juhehe [2012-04-03 10:06:52] 459*2^1129521-1 is not prime. Res64: B6229D2A489AB85B Time : 0.0 sec. user=henryzz [2012-04-03 10:17:25] 593*2^1129520-1 is not prime. Res64: EEA8E657E5B44187 Time : 0.0 sec. user=henryzz [2012-04-03 10:19:13] 539*2^1129520-1 is not prime. Res64: 906F41FB1B44EAC2 Time : 0.0 sec. user=henryzz [2012-04-03 10:20:47] 511*2^1129521-1 is not prime. Res64: 93A97CB7E19143AD Time : 0.0 sec. user=henryzz [2012-04-03 10:26:44] 585*2^1129521-1 is not prime. Res64: F2F22F956823847A Time : 0.0 sec. user=juhehe [2012-04-03 10:26:55] 503*2^1129524-1 is not prime. Res64: B77B6F148D4A0486 Time : 0.0 sec. user=vaughan [2012-04-03 10:33:12] 555*2^1129522-1 is not prime. Res64: 14F9C982B58F201A Time : 0.0 sec. user=juhehe [2012-04-03 10:37:40] 463*2^1129523-1 is not prime. Res64: 15B7F63ABB3F9666 Time : 0.0 sec. user=juhehe [2012-04-03 10:38:05] 511*2^1129523-1 is not prime. Res64: B6CBF456BDD4106E Time : 0.0 sec. user=juhehe [2012-04-03 10:46:55] 405*2^1129525-1 is not prime. Res64: 063B9F623B6B7E23 Time : 0.0 sec. user=henryzz [2012-04-03 10:55:22] 539*2^1129524-1 is not prime. Res64: 35BDD634D30900ED Time : 0.0 sec. user=henryzz [2012-04-03 11:05:03] 579*2^1129524-1 is not prime. Res64: 6A18DEF6999F344A Time : 0.0 sec. user=juhehe [2012-04-03 11:06:54] 577*2^1129525-1 is not prime. Res64: F06E60C009011FED Time : 0.0 sec. user=juhehe [2012-04-03 11:10:30] 465*2^1129525-1 is not prime. Res64: 915148E9DEF12560 Time : 0.0 sec. user=juhehe [2012-04-03 11:10:46] 499*2^1129525-1 is not prime. Res64: 46A745BC8DEA021E Time : 0.0 sec. user=henryzz [2012-04-03 11:18:21] 557*2^1129524-1 is not prime. Res64: 899D58F9D93F76D3 Time : 0.0 sec. user=juhehe [2012-04-03 11:26:49] 575*2^1129526-1 is not prime. Res64: 80881EEFE5BF5AEE Time : 0.0 sec. user=henryzz [2012-04-03 11:40:06] 561*2^1129526-1 is not prime. Res64: C2C94A82C8F7BEEF Time : 0.0 sec. user=juhehe [2012-04-03 11:43:32] 593*2^1129526-1 is not prime. Res64: 6E70E8F6C1896588 Time : 0.0 sec. user=juhehe [2012-04-03 11:43:48] 409*2^1129527-1 is not prime. Res64: C3A2E1275860C527 Time : 0.0 sec. user=juhehe [2012-04-03 11:46:44] 471*2^1129527-1 is not prime. Res64: 21AF00C459A8EE26 Time : 0.0 sec. user=henryzz [2012-04-03 11:54:13] 469*2^1129527-1 is not prime. Res64: 33017088B0102F6B Time : 0.0 sec. user=henryzz [2012-04-03 11:58:01] 563*2^1129524-1 is not prime. Res64: B0EDB333FE04151B Time : 0.0 sec. user=juhehe [2012-04-03 12:06:43] 477*2^1129529-1 is not prime. Res64: 2322CE4E715D414B Time : 0.0 sec. user=henryzz [2012-04-03 12:16:04] 583*2^1129527-1 is not prime. Res64: FBDC750917D17438 Time : 0.0 sec. user=juhehe [2012-04-03 12:16:26] 495*2^1129528-1 is not prime. Res64: 7FD626F66DA7954D Time : 0.0 sec. user=henryzz [2012-04-03 12:16:27] 537*2^1129526-1 is not prime. Res64: 0A06CF6E6B86BB7C Time : 0.0 sec. user=juhehe [2012-04-03 12:16:35] 527*2^1129528-1 is not prime. Res64: 2A032875B9A94397 Time : 0.0 sec. user=juhehe [2012-04-03 12:26:45] 483*2^1129531-1 is not prime. Res64: 14DB3EDF9B0DDBB4 Time : 0.0 sec. user=henryzz [2012-04-03 12:36:10] 463*2^1129531-1 is not prime. Res64: 53DF50C4B3717CAF Time : 0.0 sec. user=juhehe [2012-04-03 12:46:41] 525*2^1129533-1 is not prime. Res64: FF1ED36029E6BB72 Time : 0.0 sec. user=juhehe [2012-04-03 12:49:37] 533*2^1129532-1 is not prime. Res64: 5A7A4A1CE8B625B2 Time : 0.0 sec. user=juhehe [2012-04-03 12:49:41] 417*2^1129533-1 is not prime. Res64: DC81134AC0FEDCD6 Time : 0.0 sec. user=henryzz [2012-04-03 12:57:36] 507*2^1129532-1 is not prime. Res64: 5EA83A503F6F82D0 Time : 0.0 sec. user=henryzz [2012-04-03 12:59:02] 511*2^1129529-1 is not prime. Res64: 8DBBAB7994AAB8B0 Time : 0.0 sec. user=juhehe [2012-04-03 13:06:39] 537*2^1129536-1 is not prime. Res64: BAE758DE43348207 Time : 0.0 sec. user=henryzz [2012-04-03 13:09:11] 507*2^1129533-1 is not prime. Res64: 1CE2AEF42A90EB00 Time : 0.0 sec. user=henryzz [2012-04-03 13:11:56] 477*2^1129534-1 is not prime. Res64: 5751C446CFD52A62 Time : 0.0 sec. user=vaughan [2012-04-03 13:17:16] 491*2^1129534-1 is not prime. Res64: 5C87D04A1E771CED Time : 0.0 sec. user=juhehe [2012-04-03 13:22:36] 405*2^1129537-1 is not prime. Res64: 0FE1C18F7E682C5F Time : 0.0 sec. user=juhehe [2012-04-03 13:22:36] 539*2^1129536-1 is not prime. Res64: B737379AAADB2229 Time : 0.0 sec. user=juhehe [2012-04-03 13:26:37] 595*2^1129539-1 is not prime. Res64: 832BD3226C2E99F9 Time : 0.0 sec. user=henryzz [2012-04-03 13:32:10] 431*2^1129538-1 is not prime. Res64: F8EF566F61BD3CB6 Time : 0.0 sec. user=henryzz [2012-04-03 13:37:11] 465*2^1129539-1 is not prime. Res64: 260F48DD79A95E95 Time : 0.0 sec. user=henryzz [2012-04-03 13:38:29] 537*2^1129540-1 is not prime. Res64: B1A8EEDA77064CF3 Time : 0.0 sec. user=henryzz [2012-04-03 13:44:44] 569*2^1129540-1 is not prime. Res64: B02E051CC633E97B Time : 0.0 sec. user=juhehe [2012-04-03 13:46:38] 549*2^1129541-1 is not prime. Res64: D0C3C77A927824C4 Time : 0.0 sec. user=juhehe [2012-04-03 13:56:16] 445*2^1129541-1 is not prime. Res64: CE9F7C443059BCEC Time : 0.0 sec. user=juhehe [2012-04-03 13:56:24] 417*2^1129541-1 is not prime. Res64: 1B22A4669312F481 Time : 0.0 sec. user=henryzz [2012-04-03 14:06:28] 495*2^1129542-1 is not prime. Res64: 2E582CA924406065 Time : 0.0 sec. user=henryzz [2012-04-03 14:08:31] 555*2^1129542-1 is not prime. Res64: 39B3923129FFD073 Time : 0.0 sec. user=henryzz [2012-04-03 14:08:54] 471*2^1129542-1 is not prime. Res64: 162DC43BDB264943 Time : 0.0 sec. user=henryzz [2012-04-03 14:23:21] 421*2^1129543-1 is not prime. Res64: 50E9BC10DF11BD86 Time : 0.0 sec. user=vaughan [2012-04-03 14:23:24] 589*2^1129543-1 is not prime. Res64: 63284196783DACDC Time : 0.0 sec. user=juhehe [2012-04-03 14:30:10] 599*2^1129544-1 is not prime. Res64: DA6EF944EFB26CB0 Time : 0.0 sec. user=juhehe [2012-04-03 14:30:27] 415*2^1129545-1 is not prime. Res64: 1D851A442124A77F Time : 0.0 sec. user=henryzz [2012-04-03 14:37:00] 475*2^1129545-1 is not prime. Res64: 6580DFB52DAEA490 Time : 0.0 sec. user=henryzz [2012-04-03 14:40:02] 459*2^1129545-1 is not prime. Res64: 1FFB3DFC138FB3D5 Time : 0.0 sec. user=henryzz [2012-04-03 14:42:10] 511*2^1129545-1 is not prime. Res64: EF6B631E5598F181 Time : 0.0 sec. user=juhehe [2012-04-03 15:02:59] 595*2^1129545-1 is not prime. Res64: EB94B24577CC9C72 Time : 0.0 sec. user=juhehe [2012-04-03 15:03:16] 527*2^1129546-1 is not prime. Res64: 758B5AC02222232C Time : 0.0 sec. user=henryzz [2012-04-03 15:03:50] 529*2^1129545-1 is not prime. Res64: 97536C574751C7BE Time : 0.0 sec. user=henryzz [2012-04-03 15:09:15] 453*2^1129547-1 is not prime. Res64: 8F3E9AA54A120751 Time : 0.0 sec. user=henryzz [2012-04-03 15:10:24] 463*2^1129547-1 is not prime. Res64: E972B677EDF00D4A Time : 0.0 sec. user=henryzz [2012-04-03 15:15:56] 519*2^1129547-1 is not prime. Res64: 19D19A4E7C640811 Time : 0.0 sec. user=juhehe [2012-04-03 15:35:46] 531*2^1129547-1 is not prime. Res64: B2F7583F588BDBFB Time : 0.0 sec. user=juhehe [2012-04-03 15:36:03] 549*2^1129547-1 is not prime. Res64: CC816AF507331E3A Time : 0.0 sec. user=henryzz [2012-04-03 15:36:59] 405*2^1129548-1 is not prime. Res64: ABB5D43ECFE884A3 Time : 0.0 sec. user=henryzz [2012-04-03 15:41:33] 467*2^1129548-1 is not prime. Res64: B4ECA97EC01230F2 Time : 0.0 sec. user=henryzz [2012-04-03 16:01:14] 485*2^1129548-1 is not prime. Res64: 69ECCE39B8DB726B Time : 0.0 sec. user=juhehe [2012-04-03 16:08:37] 569*2^1129548-1 is not prime. Res64: C0120DA1D9FDE39C Time : 0.0 sec. user=juhehe [2012-04-03 16:08:47] 597*2^1129548-1 is not prime. Res64: 8F5A03F52A1C1D8F Time : 0.0 sec. user=henryzz [2012-04-03 16:14:51] 447*2^1129549-1 is not prime. Res64: B376EC9BF72F77D8 Time : 0.0 sec. user=henryzz [2012-04-03 16:18:28] 565*2^1129549-1 is not prime. Res64: 8513257A6E2B6385 Time : 0.0 sec. user=henryzz [2012-04-03 16:22:45] 515*2^1129548-1 is not prime. Res64: 9AE4C95E7CB35AD9 Time : 0.0 sec. user=juhehe [2012-04-03 16:41:29] 585*2^1129550-1 is not prime. Res64: F73812714D780063 Time : 0.0 sec. user=juhehe [2012-04-03 16:41:39] 587*2^1129550-1 is not prime. Res64: C93500D6E670BF2E Time : 0.0 sec. user=henryzz [2012-04-03 16:42:34] 411*2^1129550-1 is not prime. Res64: 060AE841BDE0AABB Time : 0.0 sec. user=henryzz [2012-04-03 16:50:11] 423*2^1129551-1 is not prime. Res64: 2E34CCEF84E25313 Time : 0.0 sec. user=henryzz [2012-04-03 16:58:05] 483*2^1129552-1 is not prime. Res64: DF68771CF27F20B8 Time : 0.0 sec. user=henryzz [2012-04-03 16:59:07] 447*2^1129552-1 is not prime. Res64: 6C1A3C0523AC7758 Time : 0.0 sec. user=juhehe [2012-04-03 17:14:21] 487*2^1129553-1 is not prime. Res64: F3977ACBAD876544 Time : 0.0 sec. user=juhehe [2012-04-03 17:14:24] 563*2^1129552-1 is not prime. Res64: 6DFDB63B391CF9A1 Time : 0.0 sec. user=henryzz [2012-04-03 17:26:02] 507*2^1129553-1 is not prime. Res64: 67829ED26D75DB8A Time : 0.0 sec. user=henryzz [2012-04-03 17:33:14] 501*2^1129554-1 is not prime. Res64: 813B1E299E0EF203 Time : 0.0 sec. user=henryzz [2012-04-03 17:35:41] 471*2^1129555-1 is not prime. Res64: C368146E69860E98 Time : 0.0 sec. user=juhehe [2012-04-03 17:47:07] 553*2^1129555-1 is not prime. Res64: D32BA03471960ADE Time : 0.0 sec. user=juhehe [2012-04-03 17:47:08] 455*2^1129556-1 is not prime. Res64: 1B41AA7FAB934B65 Time : 0.0 sec. user=vaughan [2012-04-03 19:18:27] 565*2^1129557-1 is not prime. Res64: D7A940DC90722084 Time : 0.0 sec. user=gd_barnes [2012-04-03 22:34:30] 471*2^1129558-1 is not prime. Res64: CCC3A23671B98ED4 Time : 0.0 sec. user=vaughan [2012-04-03 22:35:02] 465*2^1129558-1 is not prime. Res64: 251FF477F97B608E Time : 0.0 sec. user=vaughan [2012-04-03 23:08:20] 527*2^1129558-1 is not prime. Res64: 1556B8B563F34599 Time : 0.0 sec.