user=henryzz [2012-06-06 00:01:14] 425*2^1133862-1 is not prime. Res64: 0BADBBFF9FB10763 Time : 0.0 sec. user=henryzz [2012-06-06 00:01:24] 517*2^1133861-1 is not prime. Res64: A9B04F1F55E895EF Time : 0.0 sec. user=henryzz [2012-06-06 00:19:04] 437*2^1133862-1 is not prime. Res64: A4B16EB8B39BF3E0 Time : 0.0 sec. user=henryzz [2012-06-06 00:30:31] 447*2^1133862-1 is not prime. Res64: 2E4D25FEE31F4F4F Time : 0.0 sec. user=henryzz [2012-06-06 00:34:59] 495*2^1133862-1 is not prime. Res64: 834DC7744F489983 Time : 0.0 sec. user=henryzz [2012-06-06 00:36:14] 551*2^1133862-1 is not prime. Res64: 3A8A34380192B392 Time : 0.0 sec. user=henryzz [2012-06-06 00:52:42] 585*2^1133862-1 is not prime. Res64: 8A071472048F4CFF Time : 0.0 sec. user=henryzz [2012-06-06 01:03:45] 411*2^1133863-1 is not prime. Res64: 7E928F659A508468 Time : 0.0 sec. user=henryzz [2012-06-06 01:07:45] 415*2^1133863-1 is not prime. Res64: 844E5B81F924712A Time : 0.0 sec. user=henryzz [2012-06-06 01:09:51] 493*2^1133863-1 is not prime. Res64: CED7C5B389715059 Time : 0.0 sec. user=henryzz [2012-06-06 01:25:21] 525*2^1133863-1 is not prime. Res64: E300338AE34AE2D7 Time : 0.0 sec. user=henryzz [2012-06-06 01:35:25] 541*2^1133863-1 is not prime. Res64: A266191901990471 Time : 0.0 sec. user=henryzz [2012-06-06 01:40:35] 561*2^1133863-1 is not prime. Res64: 30DADAC780CFCE31 Time : 0.0 sec. user=henryzz [2012-06-06 01:45:34] 495*2^1133864-1 is not prime. Res64: 703386B08F0D4DF1 Time : 0.0 sec. user=henryzz [2012-06-06 01:58:08] 573*2^1133864-1 is not prime. Res64: F895CCE4AAE20956 Time : 0.0 sec. user=henryzz [2012-06-06 02:10:07] 427*2^1133865-1 is not prime. Res64: BDF3A81B214F48D1 Time : 0.0 sec. user=henryzz [2012-06-06 02:12:32] 441*2^1133865-1 is not prime. Res64: 262EF5C818169D82 Time : 0.0 sec. user=henryzz [2012-06-06 02:20:08] 481*2^1133865-1 is not prime. Res64: 11D543B3274020C7 Time : 0.0 sec. user=henryzz [2012-06-06 02:30:40] 597*2^1133865-1 is not prime. Res64: FBA330F8E27E252B Time : 0.0 sec. user=henryzz [2012-06-06 02:42:51] 561*2^1133866-1 is not prime. Res64: E1D5E832452EBD24 Time : 0.0 sec. user=henryzz [2012-06-06 02:46:58] 531*2^1133867-1 is not prime. Res64: 4ADCF908F37267B1 Time : 0.0 sec. user=henryzz [2012-06-06 02:53:46] 589*2^1133867-1 is not prime. Res64: E261E84BFE938C9A Time : 0.0 sec. user=henryzz [2012-06-06 03:05:17] 453*2^1133868-1 is not prime. Res64: 1E091729D3CD0DAC Time : 0.0 sec. user=henryzz [2012-06-06 03:14:35] 459*2^1133868-1 is not prime. Res64: 616AC93195658FC6 Time : 0.0 sec. user=henryzz [2012-06-06 03:20:03] 503*2^1133868-1 is not prime. Res64: E5B5F9E005F2B525 Time : 0.0 sec. user=henryzz [2012-06-06 03:30:28] 557*2^1133868-1 is not prime. Res64: C6619DE25F3D7314 Time : 0.0 sec. user=henryzz [2012-06-06 03:39:35] 447*2^1133869-1 is not prime. Res64: 809974E1F4887DCF Time : 0.0 sec. user=henryzz [2012-06-06 03:47:13] 495*2^1133869-1 is not prime. Res64: 1824A3AAEFEBF262 Time : 0.0 sec. user=henryzz [2012-06-06 03:52:33] 549*2^1133869-1 is not prime. Res64: 2E448485BA1ACA1F Time : 0.0 sec. user=henryzz [2012-06-06 04:03:52] 555*2^1133869-1 is not prime. Res64: BD73B6B559C767F2 Time : 0.0 sec. user=henryzz [2012-06-06 04:12:27] 425*2^1133870-1 is not prime. Res64: 5513D412652D629A Time : 0.0 sec. user=henryzz [2012-06-06 04:20:51] 403*2^1133871-1 is not prime. Res64: 3EF0712854B0735C Time : 0.0 sec. user=henryzz [2012-06-06 04:27:22] 411*2^1133871-1 is not prime. Res64: 4FA62DBCA17DB241 Time : 0.0 sec. user=henryzz [2012-06-06 04:38:15] 469*2^1133871-1 is not prime. Res64: 1351707710B0E612 Time : 0.0 sec. user=henryzz [2012-06-06 04:46:18] 595*2^1133871-1 is not prime. Res64: C5EBE93D91DB321E Time : 0.0 sec. user=henryzz [2012-06-06 04:54:02] 405*2^1133872-1 is not prime. Res64: 145C9641DBDB68BF Time : 0.0 sec. user=henryzz [2012-06-06 04:59:42] 413*2^1133872-1 is not prime. Res64: BA47E743EAB448EF Time : 0.0 sec. user=henryzz [2012-06-06 05:09:50] 437*2^1133872-1 is not prime. Res64: 1A0202930CFE724A Time : 0.0 sec. user=henryzz [2012-06-06 05:18:21] 467*2^1133872-1 is not prime. Res64: 0FD45C3FA83CE615 Time : 0.0 sec. user=henryzz [2012-06-06 05:30:21] 519*2^1133872-1 is not prime. Res64: 2E4FD2095BA3E082 Time : 0.0 sec. user=henryzz [2012-06-06 05:34:29] 409*2^1133873-1 is not prime. Res64: 887B5F8DCDA5A627 Time : 0.0 sec. user=henryzz [2012-06-06 05:44:15] 487*2^1133873-1 is not prime. Res64: 36FD5D2C82BD1252 Time : 0.0 sec. user=henryzz [2012-06-06 05:51:36] 571*2^1133873-1 is not prime. Res64: 74B6329DD44ACB92 Time : 0.0 sec. user=henryzz [2012-06-06 06:04:19] 595*2^1133873-1 is not prime. Res64: 8E27892F9445BAC4 Time : 0.0 sec. user=henryzz [2012-06-06 06:07:14] 415*2^1133875-1 is not prime. Res64: 8DA00F2EC6D160D9 Time : 0.0 sec. user=henryzz [2012-06-06 06:19:43] 493*2^1133875-1 is not prime. Res64: 9CA5A9DAE44E779D Time : 0.0 sec. user=henryzz [2012-06-06 06:25:09] 583*2^1133875-1 is not prime. Res64: C9306FB311A3A12A Time : 0.0 sec. user=henryzz [2012-06-06 06:39:13] 515*2^1133876-1 is not prime. Res64: 465C5F05EBC69AA4 Time : 0.0 sec. user=henryzz [2012-06-06 06:39:17] 447*2^1133876-1 is not prime. Res64: 728D519ADB7D6D37 Time : 0.0 sec. user=henryzz [2012-06-06 06:57:19] 409*2^1133877-1 is not prime. Res64: 5CF800452B8C7F11 Time : 0.0 sec. user=henryzz [2012-06-06 06:58:49] 417*2^1133877-1 is not prime. Res64: 1EE43B0E5AC9F03B Time : 0.0 sec. user=henryzz [2012-06-06 07:11:57] 441*2^1133877-1 is not prime. Res64: 0C0000AF99F83F6F Time : 0.0 sec. user=henryzz [2012-06-06 07:14:48] 447*2^1133877-1 is not prime. Res64: D4DDEBB771663FC0 Time : 0.0 sec. user=henryzz [2012-06-06 07:32:10] 585*2^1133877-1 is not prime. Res64: 15AE5616DA8DC452 Time : 0.0 sec. user=henryzz [2012-06-06 07:35:09] 453*2^1133878-1 is not prime. Res64: B46698F6A5B12782 Time : 0.0 sec. user=henryzz [2012-06-06 07:46:27] 561*2^1133878-1 is not prime. Res64: 14497C3C112B7590 Time : 0.0 sec. user=henryzz [2012-06-06 07:48:47] 465*2^1133879-1 is not prime. Res64: A07D35DFD3860BB7 Time : 0.0 sec. user=henryzz [2012-06-06 08:08:12] 481*2^1133879-1 is not prime. Res64: A2F2DE19DD208EFB Time : 0.0 sec. user=henryzz [2012-06-06 08:13:43] 593*2^1133880-1 is not prime. Res64: EB16CEDF6EAB059A Time : 0.0 sec. user=henryzz [2012-06-06 08:18:33] 415*2^1133881-1 is not prime. Res64: 873966604DDBE187 Time : 0.0 sec. user=henryzz [2012-06-06 08:25:36] 489*2^1133881-1 is not prime. Res64: 683A599275944BDD Time : 0.0 sec. user=henryzz [2012-06-06 08:44:53] 535*2^1133881-1 is not prime. Res64: 9BF9ADEF46F18C11 Time : 0.0 sec. user=henryzz [2012-06-06 08:47:00] 549*2^1133881-1 is not prime. Res64: 46986B24509D8EE4 Time : 0.0 sec. user=henryzz [2012-06-06 08:57:55] 591*2^1133881-1 is not prime. Res64: A16D386B8BE8CE8F Time : 0.0 sec. user=henryzz [2012-06-06 09:01:54] 437*2^1133882-1 is not prime. Res64: AAF251EA40AD0C9B Time : 0.0 sec. user=henryzz [2012-06-06 09:20:37] 497*2^1133882-1 is not prime. Res64: 23939C05890C4F38 Time : 0.0 sec. user=henryzz [2012-06-06 09:23:02] 437*2^1133884-1 is not prime. Res64: BFFA22828C7886BA Time : 0.0 sec. user=henryzz [2012-06-06 09:33:12] 479*2^1133884-1 is not prime. Res64: 93AEACEF6D0C1657 Time : 0.0 sec. user=henryzz [2012-06-06 09:34:48] 507*2^1133884-1 is not prime. Res64: 88B997AC60244298 Time : 0.0 sec. user=henryzz [2012-06-06 09:56:38] 525*2^1133884-1 is not prime. Res64: 98449BC8A24CBF8F Time : 0.0 sec. user=henryzz [2012-06-06 10:01:32] 533*2^1133884-1 is not prime. Res64: 614386B4134F8F13 Time : 0.0 sec. user=henryzz [2012-06-06 10:07:17] 539*2^1133884-1 is not prime. Res64: 17B760F71C355C5F Time : 0.0 sec. user=henryzz [2012-06-06 10:11:59] 597*2^1133884-1 is not prime. Res64: 13E8FF02174B3B66 Time : 0.0 sec. user=henryzz [2012-06-06 10:30:58] 459*2^1133885-1 is not prime. Res64: 4F70D1F86101E7A3 Time : 0.0 sec. user=henryzz [2012-06-06 10:36:57] 487*2^1133885-1 is not prime. Res64: 75990E298823E5E9 Time : 0.0 sec. user=henryzz [2012-06-06 10:42:03] 405*2^1133886-1 is prime! Time : 0.0 sec. user=henryzz [2012-06-06 10:49:06] 503*2^1133886-1 is not prime. Res64: 3AE18F5F16666814 Time : 0.0 sec. user=henryzz [2012-06-06 11:09:22] 507*2^1133886-1 is not prime. Res64: DD270EE6BBB4A268 Time : 0.0 sec. user=henryzz [2012-06-06 11:13:48] 493*2^1133887-1 is not prime. Res64: 5BA0783EF28C29FA Time : 0.0 sec. user=henryzz [2012-06-06 11:15:25] 441*2^1133887-1 is not prime. Res64: 58492BA70AF2EEE7 Time : 0.0 sec. user=henryzz [2012-06-06 11:24:24] 523*2^1133887-1 is not prime. Res64: B37D52520ED24256 Time : 0.0 sec. user=henryzz [2012-06-06 11:47:30] 525*2^1133888-1 is not prime. Res64: B3F7CD68B64B69BE Time : 0.0 sec. user=henryzz [2012-06-06 11:48:57] 519*2^1133888-1 is not prime. Res64: 64C7940D237F9A0D Time : 0.0 sec. user=henryzz [2012-06-06 11:50:17] 563*2^1133888-1 is not prime. Res64: 103AEEF0BE5917D4 Time : 0.0 sec. user=henryzz [2012-06-06 11:59:41] 427*2^1133889-1 is not prime. Res64: 5CF453234EE3BD4F Time : 0.0 sec. user=henryzz [2012-06-06 12:23:27] 571*2^1133889-1 is not prime. Res64: 29E77D6E56894AEB Time : 0.0 sec. user=henryzz [2012-06-06 12:25:04] 405*2^1133890-1 is not prime. Res64: 94237F74E47EFB84 Time : 0.0 sec. user=henryzz [2012-06-06 12:25:33] 471*2^1133889-1 is not prime. Res64: 6B3D98308438E0C1 Time : 0.0 sec. user=henryzz [2012-06-06 12:37:23] 495*2^1133890-1 is not prime. Res64: 73F37F0B75E9756D Time : 0.0 sec. user=henryzz [2012-06-06 12:57:54] 575*2^1133890-1 is not prime. Res64: 502D8F09901C1B05 Time : 0.0 sec. user=henryzz [2012-06-06 13:00:47] 433*2^1133891-1 is not prime. Res64: C45A7524743BF875 Time : 0.0 sec. user=henryzz [2012-06-06 13:01:34] 519*2^1133891-1 is not prime. Res64: 23B6129E259AE736 Time : 0.0 sec. user=henryzz [2012-06-06 13:14:53] 405*2^1133892-1 is not prime. Res64: CFBCD6A38B06136E Time : 0.0 sec. user=henryzz [2012-06-06 13:35:20] 479*2^1133892-1 is not prime. Res64: A2C7647A22EFDC57 Time : 0.0 sec. user=henryzz [2012-06-06 13:36:17] 411*2^1133893-1 is not prime. Res64: 2CA9BC59C14DF292 Time : 0.0 sec. user=henryzz [2012-06-06 13:37:29] 439*2^1133893-1 is not prime. Res64: B47DB98923676301 Time : 0.0 sec. user=henryzz [2012-06-06 13:49:30] 451*2^1133893-1 is not prime. Res64: 8B5408584C86E743 Time : 0.0 sec. user=henryzz [2012-06-06 14:09:11] 495*2^1133893-1 is not prime. Res64: F264FA9F509E5469 Time : 0.0 sec. user=henryzz [2012-06-06 14:15:28] 465*2^1133893-1 is not prime. Res64: 6903D0A67E2C78D4 Time : 0.0 sec. user=henryzz [2012-06-06 14:17:37] 591*2^1133893-1 is not prime. Res64: 364A406A07D3B1F6 Time : 0.0 sec. user=henryzz [2012-06-06 14:20:22] 507*2^1133894-1 is not prime. Res64: 7AF6FA7B21874A76 Time : 0.0 sec. user=henryzz [2012-06-06 14:48:13] 551*2^1133894-1 is not prime. Res64: C104DBC81729B410 Time : 0.0 sec. user=henryzz [2012-06-06 14:51:05] 561*2^1133894-1 is not prime. Res64: 46A9627DFE47A911 Time : 0.0 sec. user=henryzz [2012-06-06 14:51:07] 563*2^1133894-1 is not prime. Res64: 0779EBF744D8A086 Time : 0.0 sec. user=henryzz [2012-06-06 14:58:19] 573*2^1133894-1 is not prime. Res64: 21CBB04B759DE3A3 Time : 0.0 sec. user=henryzz [2012-06-06 15:22:46] 587*2^1133894-1 is not prime. Res64: 9FF9C7BA076C09CD Time : 0.0 sec. user=henryzz [2012-06-06 15:25:39] 585*2^1133895-1 is not prime. Res64: B45377A7503C6CF3 Time : 0.0 sec. user=henryzz [2012-06-06 15:25:50] 441*2^1133895-1 is not prime. Res64: 609218431A1BFD47 Time : 0.0 sec. user=henryzz [2012-06-06 15:31:18] 591*2^1133895-1 is not prime. Res64: 9BAFC508820FCB47 Time : 0.0 sec. user=henryzz [2012-06-06 15:58:49] 595*2^1133895-1 is not prime. Res64: 8A77814A855A4E84 Time : 0.0 sec. user=henryzz [2012-06-06 15:59:19] 453*2^1133896-1 is not prime. Res64: 72C9D9C8414343B6 Time : 0.0 sec. user=henryzz [2012-06-06 16:00:40] 483*2^1133896-1 is not prime. Res64: 622E3C3A41975000 Time : 0.0 sec. user=henryzz [2012-06-06 16:04:42] 485*2^1133896-1 is not prime. Res64: B703234455B59BFE Time : 0.0 sec. user=henryzz [2012-06-06 16:31:53] 517*2^1133897-1 is not prime. Res64: 6D1B9CDE0392F4CB Time : 0.0 sec. user=henryzz [2012-06-06 16:35:34] 585*2^1133897-1 is not prime. Res64: D9B80C98DF844501 Time : 0.0 sec. user=henryzz [2012-06-06 16:35:37] 439*2^1133897-1 is not prime. Res64: 4E522CE197B59E32 Time : 0.0 sec. user=henryzz [2012-06-06 16:37:51] 565*2^1133897-1 is not prime. Res64: C1C1D736557602B6 Time : 0.0 sec. user=henryzz [2012-06-06 17:05:25] 447*2^1133898-1 is not prime. Res64: F7CF40A463958820 Time : 0.0 sec. user=henryzz [2012-06-06 17:08:57] 507*2^1133898-1 is not prime. Res64: E75F9A0E9CA250C8 Time : 0.0 sec. user=henryzz [2012-06-06 17:11:45] 567*2^1133898-1 is not prime. Res64: DE14E7EFC52C7B45 Time : 0.0 sec. user=henryzz [2012-06-06 17:12:28] 497*2^1133898-1 is not prime. Res64: 4EA004E4AFC9A9FE Time : 0.0 sec. user=henryzz [2012-06-06 17:36:46] 555*2^1133899-1 is not prime. Res64: C9CA0EC506854D42 Time : 0.0 sec. user=henryzz [2012-06-06 17:41:26] 447*2^1133900-1 is not prime. Res64: ECF1AC700D7989C1 Time : 0.0 sec. user=henryzz [2012-06-06 17:47:42] 537*2^1133900-1 is not prime. Res64: 6040B0E2BB6E4471 Time : 0.0 sec. user=henryzz [2012-06-06 17:49:24] 599*2^1133900-1 is not prime. Res64: 9AB7FC4D3473D67B Time : 0.0 sec. user=henryzz [2012-06-06 18:11:43] 453*2^1133902-1 is not prime. Res64: 9E9630B68A8DCD30 Time : 0.0 sec. user=henryzz [2012-06-06 18:17:13] 551*2^1133902-1 is not prime. Res64: 557DE0EEA23AD016 Time : 0.0 sec. user=henryzz [2012-06-06 18:22:14] 453*2^1133903-1 is not prime. Res64: 73156F3A4D840837 Time : 0.0 sec. user=henryzz [2012-06-06 18:24:58] 511*2^1133903-1 is not prime. Res64: 1DCD75759CDBA640 Time : 0.0 sec. user=henryzz [2012-06-06 18:48:56] 437*2^1133904-1 is not prime. Res64: CC7D2B9636606DA4 Time : 0.0 sec. user=henryzz [2012-06-06 18:53:18] 597*2^1133904-1 is not prime. Res64: 56EF500064F626AA Time : 0.0 sec. user=henryzz [2012-06-06 18:58:00] 563*2^1133904-1 is not prime. Res64: C3180A4D2FE6D7EF Time : 0.0 sec. user=henryzz [2012-06-06 19:00:06] 543*2^1133904-1 is not prime. Res64: FB8F63AFC712D4D6 Time : 0.0 sec. user=henryzz [2012-06-06 19:25:05] 545*2^1133906-1 is not prime. Res64: 51F81923680C4E30 Time : 0.0 sec. user=henryzz [2012-06-06 19:29:04] 561*2^1133905-1 is not prime. Res64: D0AFF6F3F4F44DD1 Time : 0.0 sec. user=henryzz [2012-06-06 19:29:25] 525*2^1133905-1 is not prime. Res64: 36F63C0557D3B5C6 Time : 0.0 sec. user=henryzz [2012-06-06 19:37:35] 581*2^1133906-1 is not prime. Res64: E065683D4C95B520 Time : 0.0 sec. user=henryzz [2012-06-06 19:59:36] 593*2^1133906-1 is not prime. Res64: 4287788EE6DB0F20 Time : 0.0 sec. user=henryzz [2012-06-06 20:04:48] 471*2^1133907-1 is not prime. Res64: 312423303EBD6F62 Time : 0.0 sec. user=henryzz [2012-06-06 20:07:45] 543*2^1133907-1 is not prime. Res64: 9A3B2B1FB2F3D797 Time : 0.0 sec. user=henryzz [2012-06-06 20:08:35] 475*2^1133907-1 is not prime. Res64: F27933F01A440095 Time : 0.0 sec. user=henryzz [2012-06-06 20:35:30] 553*2^1133907-1 is not prime. Res64: 51F567E61AB54272 Time : 0.0 sec. user=henryzz [2012-06-06 20:36:53] 571*2^1133907-1 is not prime. Res64: 181453CA9A662E8D Time : 0.0 sec. user=henryzz [2012-06-06 20:45:01] 495*2^1133908-1 is not prime. Res64: 70B43FC5D7A46081 Time : 0.0 sec. user=henryzz [2012-06-06 20:49:42] 533*2^1133908-1 is not prime. Res64: A99F98DD7D01EFE1 Time : 0.0 sec. user=henryzz [2012-06-06 21:12:15] 489*2^1133909-1 is not prime. Res64: 9120D9D2CEF26AE3 Time : 0.0 sec. user=henryzz [2012-06-06 21:13:29] 569*2^1133908-1 is not prime. Res64: 072881C977366CD6 Time : 0.0 sec. user=henryzz [2012-06-06 21:16:57] 537*2^1133908-1 is not prime. Res64: 2BE58B9BD10E46C9 Time : 0.0 sec. user=henryzz [2012-06-06 21:25:44] 559*2^1133909-1 is not prime. Res64: E5E4B4FBAE22EF53 Time : 0.0 sec. user=henryzz [2012-06-06 21:49:03] 425*2^1133910-1 is not prime. Res64: A7CAC6FB872B9275 Time : 0.0 sec. user=henryzz [2012-06-06 21:49:52] 415*2^1133911-1 is not prime. Res64: 772B258051B8F77D Time : 0.0 sec. user=henryzz [2012-06-06 21:53:30] 423*2^1133911-1 is not prime. Res64: 2AC93A2F201B2DA3 Time : 0.0 sec. user=henryzz [2012-06-06 21:55:57] 453*2^1133911-1 is not prime. Res64: 4ADFA673FF0D4775 Time : 0.0 sec. user=henryzz [2012-06-06 22:24:23] 493*2^1133911-1 is not prime. Res64: 3EC06D3CEDB27441 Time : 0.0 sec. user=henryzz [2012-06-06 22:25:12] 519*2^1133911-1 is not prime. Res64: E1672C08FA7E4942 Time : 0.0 sec. user=henryzz [2012-06-06 22:28:46] 479*2^1133912-1 is not prime. Res64: A51757FD6F4A2FF8 Time : 0.0 sec. user=henryzz [2012-06-06 22:29:13] 535*2^1133911-1 is not prime. Res64: E6AFF5F60F644A7B Time : 0.0 sec. user=henryzz [2012-06-06 23:00:00] 525*2^1133912-1 is not prime. Res64: 8278C89ED25FB0A8 Time : 0.0 sec. user=henryzz [2012-06-06 23:01:22] 405*2^1133913-1 is not prime. Res64: 7CC8F6AA50284845 Time : 0.0 sec. user=henryzz [2012-06-06 23:02:19] 573*2^1133912-1 is not prime. Res64: CE551DFA40A59674 Time : 0.0 sec. user=henryzz [2012-06-06 23:04:46] 439*2^1133913-1 is not prime. Res64: 0BAD4A128E22BCE9 Time : 0.0 sec. user=henryzz [2012-06-06 23:35:46] 441*2^1133913-1 is not prime. Res64: 5AA96B0CE10721BA Time : 0.0 sec. user=henryzz [2012-06-06 23:37:16] 453*2^1133914-1 is not prime. Res64: 00FA4EAD03B4C8BC Time : 0.0 sec. user=henryzz [2012-06-06 23:37:42] 517*2^1133913-1 is not prime. Res64: A19C1CAEE71F09EC Time : 0.0 sec. user=henryzz [2012-06-06 23:39:22] 593*2^1133914-1 is not prime. Res64: 77B92C9F7BFA03BD Time : 0.0 sec.