user=henryzz [2012-06-15 00:03:41] 567*2^1134434-1 is not prime. Res64: 53B8179B648BFDCF Time : 0.0 sec. user=henryzz [2012-06-15 00:15:09] 441*2^1134435-1 is not prime. Res64: 6551B6628ECEBC0B Time : 0.0 sec. user=henryzz [2012-06-15 00:30:30] 543*2^1134435-1 is not prime. Res64: 677D49B684A82391 Time : 0.0 sec. user=henryzz [2012-06-15 00:31:11] 573*2^1134435-1 is not prime. Res64: 00E0EB6668413E23 Time : 0.0 sec. user=henryzz [2012-06-15 00:36:53] 591*2^1134435-1 is not prime. Res64: 21B83EEE183821F6 Time : 0.0 sec. user=henryzz [2012-06-15 00:54:10] 435*2^1134436-1 is not prime. Res64: 5EEA263B19F15624 Time : 0.0 sec. user=henryzz [2012-06-15 01:04:59] 575*2^1134436-1 is not prime. Res64: 190048D55EBC01F2 Time : 0.0 sec. user=henryzz [2012-06-15 01:09:11] 447*2^1134436-1 is not prime. Res64: CFA6CB3ED6963144 Time : 0.0 sec. user=henryzz [2012-06-15 01:11:05] 597*2^1134436-1 is not prime. Res64: C20BB4522ED1D576 Time : 0.0 sec. user=henryzz [2012-06-15 01:28:06] 441*2^1134437-1 is not prime. Res64: 59F15F3593844E11 Time : 0.0 sec. user=henryzz [2012-06-15 01:41:45] 447*2^1134437-1 is not prime. Res64: C0E874C6D6BC18EE Time : 0.0 sec. user=henryzz [2012-06-15 01:44:06] 469*2^1134437-1 is not prime. Res64: D77BDB28AA34F782 Time : 0.0 sec. user=henryzz [2012-06-15 01:47:24] 413*2^1134438-1 is not prime. Res64: FB3CF6BB4923ADF0 Time : 0.0 sec. user=henryzz [2012-06-15 02:04:35] 431*2^1134438-1 is not prime. Res64: A6BABC51584AC968 Time : 0.0 sec. user=henryzz [2012-06-15 02:18:16] 483*2^1134438-1 is not prime. Res64: A8EF5F99984D4F67 Time : 0.0 sec. user=henryzz [2012-06-15 02:18:35] 513*2^1134438-1 is not prime. Res64: 972245FEAC300D1F Time : 0.0 sec. user=henryzz [2012-06-15 02:24:01] 555*2^1134438-1 is not prime. Res64: 40D82470DC58203C Time : 0.0 sec. user=henryzz [2012-06-15 02:40:48] 557*2^1134438-1 is not prime. Res64: 2CEB30EC91BB3C89 Time : 0.0 sec. user=henryzz [2012-06-15 02:54:20] 573*2^1134438-1 is not prime. Res64: 6879AB330E2D58B6 Time : 0.0 sec. user=henryzz [2012-06-15 02:56:38] 421*2^1134439-1 is not prime. Res64: BEF775BE818C00E9 Time : 0.0 sec. user=henryzz [2012-06-15 02:59:50] 405*2^1134440-1 is not prime. Res64: E66CA7A1E94EF36B Time : 0.0 sec. user=henryzz [2012-06-15 03:17:33] 407*2^1134440-1 is not prime. Res64: 5EB0FB4E6226CDA6 Time : 0.0 sec. user=henryzz [2012-06-15 03:31:29] 519*2^1134440-1 is not prime. Res64: AEBE955D70487CF7 Time : 0.0 sec. user=henryzz [2012-06-15 03:32:19] 533*2^1134440-1 is not prime. Res64: 4B43D6E11AFFD2AB Time : 0.0 sec. user=henryzz [2012-06-15 03:36:04] 537*2^1134440-1 is not prime. Res64: 3FCCCEC98D39FD0C Time : 0.0 sec. user=henryzz [2012-06-15 03:53:23] 593*2^1134440-1 is not prime. Res64: 7BA3E26D48EE54A5 Time : 0.0 sec. user=henryzz [2012-06-15 04:07:27] 475*2^1134441-1 is not prime. Res64: D9AC0ABB32A84F30 Time : 0.0 sec. user=henryzz [2012-06-15 04:09:56] 537*2^1134441-1 is not prime. Res64: E105E4BB893ACD8C Time : 0.0 sec. user=henryzz [2012-06-15 04:10:59] 555*2^1134441-1 is not prime. Res64: 971F4A04AA65DA7E Time : 0.0 sec. user=henryzz [2012-06-15 04:28:49] 497*2^1134442-1 is not prime. Res64: 4A339292766A47CA Time : 0.0 sec. user=henryzz [2012-06-15 04:44:04] 545*2^1134444-1 is not prime. Res64: 7823749D896A498F Time : 0.0 sec. user=henryzz [2012-06-15 04:45:11] 437*2^1134444-1 is not prime. Res64: 245DA9876550A999 Time : 0.0 sec. user=henryzz [2012-06-15 04:47:14] 587*2^1134444-1 is not prime. Res64: 1E6FE600BD0337D8 Time : 0.0 sec. user=henryzz [2012-06-15 05:01:56] 495*2^1134445-1 is not prime. Res64: E1E6CAEB8BB86C2B Time : 0.0 sec. user=henryzz [2012-06-15 05:20:47] 589*2^1134445-1 is not prime. Res64: AB161FDAA4244954 Time : 0.0 sec. user=henryzz [2012-06-15 05:21:57] 537*2^1134446-1 is not prime. Res64: 1AC6E6B304ADD34F Time : 0.0 sec. user=henryzz [2012-06-15 05:23:39] 577*2^1134445-1 is not prime. Res64: EB5426C098E2929F Time : 0.0 sec. user=henryzz [2012-06-15 05:33:58] 545*2^1134446-1 is not prime. Res64: DC8E27E9B75D8355 Time : 0.0 sec. user=henryzz [2012-06-15 05:56:26] 439*2^1134447-1 is not prime. Res64: 39A8E005AA30602F Time : 0.0 sec. user=henryzz [2012-06-15 05:59:53] 495*2^1134448-1 is not prime. Res64: C38BC07A53B80BEF Time : 0.0 sec. user=henryzz [2012-06-15 06:01:44] 573*2^1134447-1 is not prime. Res64: 0476368E7F13C11E Time : 0.0 sec. user=henryzz [2012-06-15 06:05:44] 527*2^1134448-1 is not prime. Res64: 4F21F30C95EFE3EA Time : 0.0 sec. user=henryzz [2012-06-15 06:30:39] 597*2^1134448-1 is not prime. Res64: 45882D3FBC4D7ED1 Time : 0.0 sec. user=henryzz [2012-06-15 06:36:15] 511*2^1134449-1 is not prime. Res64: 1AC7966970A6EE4F Time : 0.0 sec. user=henryzz [2012-06-15 06:39:09] 411*2^1134449-1 is not prime. Res64: 3B9E748CAE099CAE Time : 0.0 sec. user=henryzz [2012-06-15 06:41:50] 517*2^1134449-1 is not prime. Res64: 7F1C3C4CA4673FD2 Time : 0.0 sec. user=henryzz [2012-06-15 07:05:37] 579*2^1134449-1 is not prime. Res64: 4BBDA3871D276673 Time : 0.0 sec. user=henryzz [2012-06-15 07:13:28] 593*2^1134450-1 is not prime. Res64: 159329366B6CDF20 Time : 0.0 sec. user=henryzz [2012-06-15 07:14:17] 437*2^1134450-1 is not prime. Res64: 5FB845AE8D202CC2 Time : 0.0 sec. user=henryzz [2012-06-15 07:19:07] 535*2^1134451-1 is not prime. Res64: 1F15215DBDCC8275 Time : 0.0 sec. user=henryzz [2012-06-15 07:46:55] 595*2^1134451-1 is not prime. Res64: F82AB585EC66413A Time : 0.0 sec. user=henryzz [2012-06-15 07:48:36] 593*2^1134452-1 is not prime. Res64: 352D69FFB2FB043F Time : 0.0 sec. user=henryzz [2012-06-15 07:52:37] 557*2^1134452-1 is not prime. Res64: C78C76B7382F035F Time : 0.0 sec. user=henryzz [2012-06-15 07:54:17] 405*2^1134453-1 is not prime. Res64: 6A3CB89BA0B93189 Time : 0.0 sec. user=henryzz [2012-06-15 08:21:12] 517*2^1134453-1 is not prime. Res64: 8E0A85F894929E9F Time : 0.0 sec. user=henryzz [2012-06-15 08:27:12] 491*2^1134454-1 is not prime. Res64: 337ACF01844F6A99 Time : 0.0 sec. user=henryzz [2012-06-15 08:27:35] 513*2^1134454-1 is not prime. Res64: 4859C46A774A23D8 Time : 0.0 sec. user=henryzz [2012-06-15 08:31:52] 573*2^1134454-1 is not prime. Res64: 95A32D75B3267B73 Time : 0.0 sec. user=henryzz [2012-06-15 08:56:39] 585*2^1134455-1 is not prime. Res64: F60E7D4E040310B1 Time : 0.0 sec. user=henryzz [2012-06-15 09:02:22] 527*2^1134456-1 is not prime. Res64: 093F08E4049745A8 Time : 0.0 sec. user=henryzz [2012-06-15 09:04:54] 597*2^1134456-1 is not prime. Res64: E4889AFD34FF2A00 Time : 0.0 sec. user=henryzz [2012-06-15 09:08:03] 435*2^1134457-1 is not prime. Res64: 53AC879A2B9908BC Time : 0.0 sec. user=henryzz [2012-06-15 09:32:21] 507*2^1134457-1 is not prime. Res64: 1B224FCAF893502E Time : 0.0 sec. user=henryzz [2012-06-15 09:35:46] 561*2^1134457-1 is not prime. Res64: 99AA760B6BCA09C0 Time : 0.0 sec. user=henryzz [2012-06-15 09:40:52] 495*2^1134458-1 is not prime. Res64: 385F62B78F281F04 Time : 0.0 sec. user=henryzz [2012-06-15 09:48:27] 497*2^1134458-1 is not prime. Res64: F51B39740A7D4741 Time : 0.0 sec. user=henryzz [2012-06-15 10:07:44] 585*2^1134458-1 is not prime. Res64: 1FCCE8E32B24ADC9 Time : 0.0 sec. user=henryzz [2012-06-15 10:07:46] 573*2^1134458-1 is not prime. Res64: C83A852CE86AFA92 Time : 0.0 sec. user=henryzz [2012-06-15 10:16:02] 411*2^1134459-1 is not prime. Res64: D1774CDEDF4BB5D3 Time : 0.0 sec. user=henryzz [2012-06-15 10:28:21] 579*2^1134459-1 is not prime. Res64: 05489CACFD89E508 Time : 0.0 sec. user=henryzz [2012-06-15 10:45:32] 405*2^1134460-1 is not prime. Res64: 254D849272E57EE1 Time : 0.0 sec. user=henryzz [2012-06-15 10:47:25] 513*2^1134460-1 is not prime. Res64: 2E46111E1E0A62CE Time : 0.0 sec. user=henryzz [2012-06-15 10:48:32] 525*2^1134460-1 is not prime. Res64: F62DCFD94CD462D3 Time : 0.0 sec. user=henryzz [2012-06-15 11:04:17] 549*2^1134460-1 is not prime. Res64: C2B955449C53A796 Time : 0.0 sec. user=henryzz [2012-06-15 11:21:08] 421*2^1134461-1 is not prime. Res64: 70021DF32D5220A5 Time : 0.0 sec. user=henryzz [2012-06-15 11:22:00] 513*2^1134462-1 is not prime. Res64: F3DA9061BA085680 Time : 0.0 sec. user=henryzz [2012-06-15 11:24:09] 423*2^1134463-1 is not prime. Res64: FA32AA162DEF765E Time : 0.0 sec. user=henryzz [2012-06-15 11:45:24] 433*2^1134463-1 is not prime. Res64: 598E51B4B7215D9E Time : 0.0 sec. user=henryzz [2012-06-15 11:55:12] 543*2^1134464-1 is not prime. Res64: 30937928C95686AB Time : 0.0 sec. user=henryzz [2012-06-15 11:56:59] 473*2^1134464-1 is not prime. Res64: 8F2E46FAEF338E83 Time : 0.0 sec. user=henryzz [2012-06-15 11:59:30] 539*2^1134464-1 is not prime. Res64: BB854842AC7F865B Time : 0.0 sec. user=henryzz [2012-06-15 12:24:10] 441*2^1134465-1 is not prime. Res64: 3585A17B49E5F956 Time : 0.0 sec. user=henryzz [2012-06-15 12:25:07] 525*2^1134465-1 is not prime. Res64: 311C71996D62E3D5 Time : 0.0 sec. user=henryzz [2012-06-15 12:35:39] 585*2^1134465-1 is not prime. Res64: 355F50D4E34085AA Time : 0.0 sec. user=henryzz [2012-06-15 12:37:35] 561*2^1134466-1 is not prime. Res64: 1782D519E1268E07 Time : 0.0 sec. user=henryzz [2012-06-15 13:00:57] 581*2^1134466-1 is not prime. Res64: F45579D5ECC9DDCD Time : 0.0 sec. user=henryzz [2012-06-15 13:06:46] 441*2^1134467-1 is not prime. Res64: CA5ED778779146CA Time : 0.0 sec. user=henryzz [2012-06-15 13:08:04] 515*2^1134468-1 is not prime. Res64: E9676F407C96050B Time : 0.0 sec. user=henryzz [2012-06-15 13:12:13] 511*2^1134467-1 is not prime. Res64: 48BE30DAF999B68D Time : 0.0 sec. user=henryzz [2012-06-15 13:35:39] 569*2^1134468-1 is not prime. Res64: 8EC779DC869EC9C7 Time : 0.0 sec. user=henryzz [2012-06-15 13:42:17] 511*2^1134469-1 is not prime. Res64: 6A80472608FAB074 Time : 0.0 sec. user=henryzz [2012-06-15 13:44:01] 439*2^1134469-1 is not prime. Res64: 25497CC3D43E895E Time : 0.0 sec. user=henryzz [2012-06-15 13:48:51] 595*2^1134469-1 is not prime. Res64: 4AB7DEB6B5D4096D Time : 0.0 sec. user=henryzz [2012-06-15 14:10:07] 411*2^1134470-1 is not prime. Res64: 1EFAF0F75BEE1F79 Time : 0.0 sec. user=henryzz [2012-06-15 14:21:18] 437*2^1134470-1 is not prime. Res64: 591A9275CBD84AF7 Time : 0.0 sec. user=henryzz [2012-06-15 14:23:16] 563*2^1134470-1 is not prime. Res64: 2E631D67E0827441 Time : 0.0 sec. user=henryzz [2012-06-15 14:24:30] 417*2^1134470-1 is not prime. Res64: 54C5B5454D51783B Time : 0.0 sec. user=henryzz [2012-06-15 14:40:53] 405*2^1134471-1 is not prime. Res64: 5F36FEFC3C8C0E32 Time : 0.0 sec. user=henryzz [2012-06-15 14:56:59] 459*2^1134471-1 is not prime. Res64: 60CB3C37B38902D5 Time : 0.0 sec. user=henryzz [2012-06-15 15:00:20] 595*2^1134471-1 is not prime. Res64: 9CFC50153A9C6FBA Time : 0.0 sec. user=henryzz [2012-06-15 15:03:31] 511*2^1134471-1 is not prime. Res64: ECF28B3AAF619D21 Time : 0.0 sec. user=henryzz [2012-06-15 15:17:22] 437*2^1134472-1 is not prime. Res64: 78EE91121D7A9D64 Time : 0.0 sec. user=henryzz [2012-06-15 15:34:00] 489*2^1134473-1 is not prime. Res64: D117615D92FE1CB5 Time : 0.0 sec. user=henryzz [2012-06-15 15:35:42] 507*2^1134472-1 is not prime. Res64: 6B1ABA6395EE2C4E Time : 0.0 sec. user=henryzz [2012-06-15 15:37:36] 547*2^1134473-1 is not prime. Res64: E82D0C9A20D93028 Time : 0.0 sec. user=henryzz [2012-06-15 15:54:24] 549*2^1134473-1 is not prime. Res64: 7EC909F483257105 Time : 0.0 sec. user=henryzz [2012-06-15 16:07:00] 589*2^1134473-1 is not prime. Res64: 0CD913B1921EA1B5 Time : 0.0 sec. user=henryzz [2012-06-15 16:08:56] 513*2^1134474-1 is not prime. Res64: DAFBA1271D1C29B0 Time : 0.0 sec. user=henryzz [2012-06-15 16:13:34] 551*2^1134474-1 is not prime. Res64: BC638F9EC28D1C1D Time : 0.0 sec. user=henryzz [2012-06-15 16:27:03] 441*2^1134475-1 is not prime. Res64: 3F575550FAA7D5B1 Time : 0.0 sec. user=henryzz [2012-06-15 16:40:44] 585*2^1134476-1 is not prime. Res64: DCEE49559FBF4128 Time : 0.0 sec. user=henryzz [2012-06-15 16:46:39] 573*2^1134475-1 is not prime. Res64: 7BD544C4807CEF7C Time : 0.0 sec. user=henryzz [2012-06-15 16:47:20] 437*2^1134478-1 is not prime. Res64: AAB7BBEDD0F2E2E7 Time : 0.0 sec. user=henryzz [2012-06-15 16:59:54] 561*2^1134478-1 is not prime. Res64: 0EFAF47027FFC378 Time : 0.0 sec. user=henryzz [2012-06-15 17:10:32] 591*2^1134478-1 is not prime. Res64: 89EB72318065F61A Time : 0.0 sec. user=henryzz [2012-06-15 17:19:58] 523*2^1134479-1 is not prime. Res64: FD0DCCC5CC6799EA Time : 0.0 sec. user=henryzz [2012-06-15 17:24:02] 557*2^1134480-1 is not prime. Res64: 623C299CA573024E Time : 0.0 sec. user=henryzz [2012-06-15 17:37:23] 567*2^1134480-1 is not prime. Res64: 70B34FF429C562B4 Time : 0.0 sec. user=henryzz [2012-06-15 17:45:40] 597*2^1134480-1 is not prime. Res64: D16B27D437DE0C1C Time : 0.0 sec. user=henryzz [2012-06-15 17:50:07] 409*2^1134481-1 is not prime. Res64: 85F80B573AC01BA8 Time : 0.0 sec. user=henryzz [2012-06-15 18:00:15] 427*2^1134481-1 is not prime. Res64: 13019003CC4510E5 Time : 0.0 sec. user=henryzz [2012-06-15 18:10:45] 577*2^1134481-1 is not prime. Res64: 8097769FF22B9112 Time : 0.0 sec. user=henryzz [2012-06-15 18:20:34] 423*2^1134482-1 is not prime. Res64: E1BD2B12CB9A8502 Time : 0.0 sec. user=henryzz [2012-06-15 18:22:51] 425*2^1134482-1 is not prime. Res64: E615BC8D891E87DE Time : 0.0 sec. user=henryzz [2012-06-15 18:33:53] 495*2^1134482-1 is not prime. Res64: 27D268134A97FC07 Time : 0.0 sec. user=henryzz [2012-06-15 18:44:57] 503*2^1134482-1 is not prime. Res64: 646F593AE3DC398D Time : 0.0 sec. user=henryzz [2012-06-15 18:54:29] 533*2^1134482-1 is not prime. Res64: E86F2250615648A8 Time : 0.0 sec. user=henryzz [2012-06-15 19:01:35] 545*2^1134482-1 is not prime. Res64: F19DAF757108DD6F Time : 0.0 sec. user=henryzz [2012-06-15 19:08:45] 563*2^1134482-1 is not prime. Res64: 7A838F5580A6B94D Time : 0.0 sec. user=henryzz [2012-06-15 19:21:23] 415*2^1134483-1 is not prime. Res64: B9B997997C43C5A2 Time : 0.0 sec. user=henryzz [2012-06-15 19:29:36] 451*2^1134483-1 is not prime. Res64: E6B46289F0BF0706 Time : 0.0 sec. user=henryzz [2012-06-15 19:32:55] 489*2^1134483-1 is not prime. Res64: 6AB64BB9BC0328F1 Time : 0.0 sec. user=henryzz [2012-06-15 19:42:07] 541*2^1134483-1 is not prime. Res64: A79878F6902C7DD3 Time : 0.0 sec. user=henryzz [2012-06-15 19:57:29] 565*2^1134483-1 is not prime. Res64: 92798FD0DEA04EF6 Time : 0.0 sec. user=henryzz [2012-06-15 20:02:39] 595*2^1134483-1 is not prime. Res64: 6AEB1E740A523889 Time : 0.0 sec. user=henryzz [2012-06-15 20:05:59] 539*2^1134484-1 is not prime. Res64: CCF22B8CB03D6AC7 Time : 0.0 sec. user=henryzz [2012-06-15 20:14:30] 489*2^1134485-1 is not prime. Res64: E8D2C04F91E027D4 Time : 0.0 sec. user=henryzz [2012-06-15 20:30:43] 561*2^1134485-1 is not prime. Res64: 8DEC8FC1DB5C162D Time : 0.0 sec. user=henryzz [2012-06-15 20:35:50] 567*2^1134485-1 is not prime. Res64: 2F96332046E89A83 Time : 0.0 sec. user=henryzz [2012-06-15 20:43:03] 453*2^1134486-1 is not prime. Res64: DF5354AB8220DF70 Time : 0.0 sec. user=henryzz [2012-06-15 20:46:02] 471*2^1134486-1 is not prime. Res64: 8C154BD1D10E9D8C Time : 0.0 sec. user=henryzz [2012-06-15 21:05:02] 473*2^1134486-1 is not prime. Res64: 91993C2106FA8B1C Time : 0.0 sec. user=henryzz [2012-06-15 21:09:21] 429*2^1134487-1 is not prime. Res64: 3B8546CDE5926BB0 Time : 0.0 sec. user=henryzz [2012-06-15 21:15:24] 451*2^1134487-1 is not prime. Res64: 4837B95EB2D0825C Time : 0.0 sec. user=henryzz [2012-06-15 21:19:56] 469*2^1134487-1 is not prime. Res64: F3AC73E0DF80BBEF Time : 0.0 sec. user=henryzz [2012-06-15 21:42:21] 557*2^1134488-1 is not prime. Res64: B5BF96A57C08D1C8 Time : 0.0 sec. user=henryzz [2012-06-15 21:43:03] 533*2^1134488-1 is not prime. Res64: 2940DE2ED7A87285 Time : 0.0 sec. user=henryzz [2012-06-15 21:48:26] 573*2^1134488-1 is not prime. Res64: 9B8C52C4467448E4 Time : 0.0 sec. user=henryzz [2012-06-15 21:53:13] 595*2^1134489-1 is not prime. Res64: 5B1DD437DA118098 Time : 0.0 sec. user=henryzz [2012-06-15 22:16:32] 411*2^1134490-1 is not prime. Res64: 57BE93FF2E2F9F67 Time : 0.0 sec. user=henryzz [2012-06-15 22:20:07] 465*2^1134490-1 is not prime. Res64: BF3F12862DAFD913 Time : 0.0 sec. user=henryzz [2012-06-15 22:21:50] 527*2^1134490-1 is not prime. Res64: CF4994B4561A9633 Time : 0.0 sec. user=henryzz [2012-06-15 22:26:33] 533*2^1134490-1 is not prime. Res64: 2A338627CDFE9E8B Time : 0.0 sec. user=henryzz [2012-06-15 22:51:21] 493*2^1134491-1 is not prime. Res64: 87C69A5D8B977C83 Time : 0.0 sec. user=henryzz [2012-06-15 22:53:05] 591*2^1134491-1 is not prime. Res64: C602A38CC599DA1E Time : 0.0 sec. user=henryzz [2012-06-15 22:55:42] 595*2^1134491-1 is not prime. Res64: CD3BEB593DC2E207 Time : 0.0 sec. user=henryzz [2012-06-15 23:00:18] 405*2^1134492-1 is not prime. Res64: 5EFAB732B552A898 Time : 0.0 sec. user=henryzz [2012-06-15 23:26:25] 437*2^1134492-1 is not prime. Res64: CC0C425248D92DD0 Time : 0.0 sec. user=henryzz [2012-06-15 23:27:27] 425*2^1134492-1 is not prime. Res64: 5F4F147627C84924 Time : 0.0 sec. user=henryzz [2012-06-15 23:28:25] 447*2^1134492-1 is not prime. Res64: CE0696D1FE5886E5 Time : 0.0 sec. user=henryzz [2012-06-15 23:32:02] 479*2^1134492-1 is not prime. Res64: E5B6E81ACD0BBF0A Time : 0.0 sec. user=henryzz [2012-06-15 23:59:12] 549*2^1134492-1 is not prime. Res64: A95BE33E96D99EF0 Time : 0.0 sec. user=henryzz [2012-06-16 00:00:45] 499*2^1134493-1 is not prime. Res64: 16526D2A2206DF98 Time : 0.0 sec.