user=vaughan [2012-04-04 00:17:42] 545*2^1129558-1 is not prime. Res64: 20E20677443ADD6D Time : 0.0 sec. user=juhehe [2012-04-04 02:05:19] 511*2^1129557-1 is not prime. Res64: DEBC60817D76C22F Time : 0.0 sec. user=juhehe [2012-04-04 02:07:17] 409*2^1129557-1 is not prime. Res64: 83B0A44128C22D99 Time : 0.0 sec. user=juhehe [2012-04-04 02:47:51] 463*2^1129559-1 is not prime. Res64: 2B25C226DD34AFC1 Time : 0.0 sec. user=juhehe [2012-04-04 02:50:48] 493*2^1129559-1 is not prime. Res64: 0F7BA9E1A40E6491 Time : 0.0 sec. user=juhehe [2012-04-04 03:21:40] 511*2^1129559-1 is not prime. Res64: 619AB5F38CDD18BA Time : 0.0 sec. user=juhehe [2012-04-04 03:24:08] 423*2^1129560-1 is not prime. Res64: 827B97A74DEA60A6 Time : 0.0 sec. user=juhehe [2012-04-04 03:29:12] 429*2^1129543-1 is not prime. Res64: 708CCA683757EE49 Time : 0.0 sec. user=vaughan [2012-04-04 03:34:00] 455*2^1129560-1 is not prime. Res64: 8F0DA984253224D7 Time : 0.0 sec. user=juhehe [2012-04-04 03:52:45] 429*2^1129561-1 is not prime. Res64: 9E218CF5527D5512 Time : 0.0 sec. user=juhehe [2012-04-04 03:54:36] 409*2^1129561-1 is not prime. Res64: 2390FCD318472D5D Time : 0.0 sec. user=juhehe [2012-04-04 03:57:13] 415*2^1129561-1 is not prime. Res64: 44C7A69C50C89CDB Time : 0.0 sec. user=juhehe [2012-04-04 04:14:30] 555*2^1129561-1 is not prime. Res64: 7E0954502EA48625 Time : 0.0 sec. user=juhehe [2012-04-04 04:27:32] 525*2^1129562-1 is not prime. Res64: DA19A2E130A4A78E Time : 0.0 sec. user=juhehe [2012-04-04 04:35:10] 481*2^1129563-1 is not prime. Res64: D3AFCE980F63C5A6 Time : 0.0 sec. user=juhehe [2012-04-04 04:40:48] 591*2^1129563-1 is not prime. Res64: 3D316BDB6D9A4B30 Time : 0.0 sec. user=henryzz [2012-04-04 04:57:31] 507*2^1129554-1 is not prime. Res64: 4AD92ADE3E6916BC Time : 0.0 sec. user=juhehe [2012-04-04 04:59:51] 497*2^1129564-1 is not prime. Res64: 84DD1F003D8008F4 Time : 0.0 sec. user=juhehe [2012-04-04 05:00:55] 441*2^1129565-1 is not prime. Res64: 94E165DE0BC6D37A Time : 0.0 sec. user=juhehe [2012-04-04 05:08:33] 411*2^1129565-1 is not prime. Res64: 972C8F85733FE62F Time : 0.0 sec. user=henryzz [2012-04-04 05:10:11] 557*2^1129556-1 is not prime. Res64: 25AA559C0CAB8E52 Time : 0.0 sec. user=henryzz [2012-04-04 05:10:17] 515*2^1129556-1 is not prime. Res64: 5C61616B5C4C5445 Time : 0.0 sec. user=henryzz [2012-04-04 05:10:49] 567*2^1129556-1 is not prime. Res64: B3BB702ED44F1392 Time : 0.0 sec. user=juhehe [2012-04-04 05:21:05] 453*2^1129566-1 is not prime. Res64: 6376B6D4050A6A98 Time : 0.0 sec. user=juhehe [2012-04-04 05:32:51] 517*2^1129565-1 is not prime. Res64: C88C8BDEC87F44C7 Time : 0.0 sec. user=henryzz [2012-04-04 05:39:15] 481*2^1129565-1 is not prime. Res64: AF8BFB6620ACEA5C Time : 0.0 sec. user=juhehe [2012-04-04 05:41:09] 549*2^1129567-1 is not prime. Res64: A4AF1F9AD1395AAC Time : 0.0 sec. user=juhehe [2012-04-04 05:41:33] 537*2^1129566-1 is not prime. Res64: 0FAB38C7BD82FA9E Time : 0.0 sec. user=henryzz [2012-04-04 05:43:35] 499*2^1129567-1 is not prime. Res64: 2E04693042F509F1 Time : 0.0 sec. user=henryzz [2012-04-04 05:44:13] 519*2^1129567-1 is not prime. Res64: 4BE230C40C907757 Time : 0.0 sec. user=juhehe [2012-04-04 06:02:02] 563*2^1129568-1 is not prime. Res64: 9D328850500395D2 Time : 0.0 sec. user=juhehe [2012-04-04 06:05:35] 525*2^1129568-1 is not prime. Res64: D1B1ED46EF7FDDB2 Time : 0.0 sec. user=juhehe [2012-04-04 06:15:24] 571*2^1129569-1 is not prime. Res64: 89AA446F65D36FDB Time : 0.0 sec. user=henryzz [2012-04-04 06:15:32] 503*2^1129570-1 is not prime. Res64: 15D6A82AECD93700 Time : 0.0 sec. user=henryzz [2012-04-04 06:18:55] 513*2^1129570-1 is not prime. Res64: D7AFD919DBA6230D Time : 0.0 sec. user=juhehe [2012-04-04 06:22:57] 575*2^1129570-1 is not prime. Res64: 98BF2C9945F7F442 Time : 0.0 sec. user=henryzz [2012-04-04 06:34:16] 591*2^1129566-1 is not prime. Res64: 5388FA2B2BF00EF6 Time : 0.0 sec. user=juhehe [2012-04-04 06:39:12] 433*2^1129571-1 is not prime. Res64: 366290BEB2738401 Time : 0.0 sec. user=juhehe [2012-04-04 06:44:56] 413*2^1129572-1 is not prime. Res64: F696EBDCCF199E59 Time : 0.0 sec. user=henryzz [2012-04-04 06:49:44] 445*2^1129571-1 is not prime. Res64: 545FC09F5AA26802 Time : 0.0 sec. user=henryzz [2012-04-04 06:51:30] 441*2^1129571-1 is not prime. Res64: DAB8A60C65898CDE Time : 0.0 sec. user=vaughan [2012-04-04 06:58:58] 567*2^1129570-1 is not prime. Res64: E196294F24E0E4B2 Time : 0.0 sec. user=juhehe [2012-04-04 07:05:04] 563*2^1129572-1 is not prime. Res64: AEABE94A370CBA22 Time : 0.0 sec. user=henryzz [2012-04-04 07:08:12] 539*2^1129568-1 is not prime. Res64: 0740C66785BF6836 Time : 0.0 sec. user=juhehe [2012-04-04 07:13:39] 545*2^1129572-1 is not prime. Res64: 148E828EC3BC502E Time : 0.0 sec. user=juhehe [2012-04-04 07:25:14] 477*2^1129573-1 is not prime. Res64: 879F7C381FF9A99E Time : 0.0 sec. user=henryzz [2012-04-04 07:26:22] 427*2^1129573-1 is not prime. Res64: 7E1E744BF600E7D5 Time : 0.0 sec. user=henryzz [2012-04-04 07:26:47] 411*2^1129573-1 is not prime. Res64: 7DBF3D898A2473FB Time : 0.0 sec. user=juhehe [2012-04-04 07:45:21] 595*2^1129573-1 is not prime. Res64: 5D7BEF49AD83E7D1 Time : 0.0 sec. user=henryzz [2012-04-04 07:46:09] 517*2^1129573-1 is not prime. Res64: 6B6FC3114399370D Time : 0.0 sec. user=juhehe [2012-04-04 07:47:32] 591*2^1129573-1 is not prime. Res64: AFF2A5C5843EFE2D Time : 0.0 sec. user=henryzz [2012-04-04 08:03:01] 425*2^1129574-1 is not prime. Res64: 68414F42567C5567 Time : 0.0 sec. user=henryzz [2012-04-04 08:03:25] 425*2^1129572-1 is not prime. Res64: 578C8A564480D063 Time : 0.0 sec. user=juhehe [2012-04-04 08:05:24] 579*2^1129575-1 is not prime. Res64: 2423567B302C7651 Time : 0.0 sec. user=henryzz [2012-04-04 08:19:40] 447*2^1129576-1 is not prime. Res64: 9072288B7E30CE2D Time : 0.0 sec. user=henryzz [2012-04-04 08:21:48] 567*2^1129574-1 is not prime. Res64: 074794AC91E7CF62 Time : 0.0 sec. user=juhehe [2012-04-04 08:22:19] 539*2^1129576-1 is not prime. Res64: 86430F59BFBBF68D Time : 0.0 sec. user=juhehe [2012-04-04 08:25:26] 469*2^1129577-1 is not prime. Res64: 6B81A3E2A498FBB7 Time : 0.0 sec. user=henryzz [2012-04-04 08:40:32] 593*2^1129576-1 is not prime. Res64: CAD2633CEF421694 Time : 0.0 sec. user=juhehe [2012-04-04 08:45:25] 461*2^1129578-1 is not prime. Res64: 50FC0B0DEDB4236B Time : 0.0 sec. user=juhehe [2012-04-04 08:56:56] 585*2^1129577-1 is not prime. Res64: 9289AC33371DAAD8 Time : 0.0 sec. user=henryzz [2012-04-04 08:59:42] 567*2^1129577-1 is not prime. Res64: 445D8F6CAFE62B97 Time : 0.0 sec. user=henryzz [2012-04-04 09:00:58] 571*2^1129577-1 is not prime. Res64: C264E08EF24E4ACB Time : 0.0 sec. user=juhehe [2012-04-04 09:05:26] 451*2^1129579-1 is not prime. Res64: EBD10D4050DAD0CE Time : 0.0 sec. user=henryzz [2012-04-04 09:11:33] 575*2^1129576-1 is not prime. Res64: 997F3661E4FE7603 Time : 0.0 sec. user=henryzz [2012-04-04 09:16:42] 551*2^1129578-1 is not prime. Res64: 1B381FF4647DCA02 Time : 0.0 sec. user=juhehe [2012-04-04 09:25:37] 467*2^1129580-1 is not prime. Res64: 73A8F10BF01906EB Time : 0.0 sec. user=juhehe [2012-04-04 09:31:12] 463*2^1129579-1 is not prime. Res64: BBAD8E9777DDD12E Time : 0.0 sec. user=henryzz [2012-04-04 09:40:41] 555*2^1129579-1 is not prime. Res64: 33DA461FB7A0967C Time : 0.0 sec. user=henryzz [2012-04-04 09:40:50] 495*2^1129579-1 is not prime. Res64: D1C3E5D993E87044 Time : 0.0 sec. user=henryzz [2012-04-04 09:41:32] 593*2^1129580-1 is not prime. Res64: F05A26B0DAED18CF Time : 0.0 sec. user=vaughan [2012-04-04 09:43:28] 557*2^1129580-1 is not prime. Res64: C588BA7B9421AB25 Time : 0.0 sec. user=juhehe [2012-04-04 09:45:44] 517*2^1129581-1 is not prime. Res64: 27DF9F0A6CE480CB Time : 0.0 sec. user=henryzz [2012-04-04 09:45:47] 459*2^1129581-1 is not prime. Res64: 62D25FA8FCF55B49 Time : 0.0 sec. user=juhehe [2012-04-04 10:05:06] 525*2^1129582-1 is not prime. Res64: F183BD387551BF23 Time : 0.0 sec. user=juhehe [2012-04-04 10:05:48] 421*2^1129585-1 is not prime. Res64: 47A700BC01133F27 Time : 0.0 sec. user=henryzz [2012-04-04 10:10:47] 411*2^1129583-1 is not prime. Res64: 7F7C41EC59E8F578 Time : 0.0 sec. user=henryzz [2012-04-04 10:11:24] 523*2^1129583-1 is not prime. Res64: 60AFC1485451BB2D Time : 0.0 sec. user=henryzz [2012-04-04 10:12:54] 571*2^1129583-1 is not prime. Res64: 912EA14FB6712F45 Time : 0.0 sec. user=vaughan [2012-04-04 10:16:52] 465*2^1129584-1 is not prime. Res64: 143C67DA6B5DE547 Time : 0.0 sec. user=henryzz [2012-04-04 10:17:39] 457*2^1129585-1 is not prime. Res64: C89AB4EC62F4DCB1 Time : 0.0 sec. user=juhehe [2012-04-04 10:25:49] 489*2^1129585-1 is not prime. Res64: 2023611284CC9A5C Time : 0.0 sec. user=juhehe [2012-04-04 10:39:34] 481*2^1129585-1 is not prime. Res64: FB432D807D37C154 Time : 0.0 sec. user=henryzz [2012-04-04 10:43:07] 535*2^1129585-1 is not prime. Res64: 59E331C0D967F22F Time : 0.0 sec. user=henryzz [2012-04-04 10:44:39] 447*2^1129586-1 is not prime. Res64: F5D8421C68729CFF Time : 0.0 sec. user=juhehe [2012-04-04 10:45:48] 587*2^1129586-1 is not prime. Res64: 3C41A343AC413FF7 Time : 0.0 sec. user=henryzz [2012-04-04 10:48:04] 567*2^1129585-1 is not prime. Res64: 21EE9F8B2492ED94 Time : 0.0 sec. user=henryzz [2012-04-04 10:53:04] 551*2^1129586-1 is not prime. Res64: 0823DE2267D185C0 Time : 0.0 sec. user=juhehe [2012-04-04 11:05:50] 495*2^1129588-1 is not prime. Res64: 8CC8E226EC6795F7 Time : 0.0 sec. user=juhehe [2012-04-04 11:13:47] 439*2^1129587-1 is not prime. Res64: C1C0E2998AC9341D Time : 0.0 sec. user=henryzz [2012-04-04 11:18:02] 595*2^1129587-1 is not prime. Res64: 1737607183708D95 Time : 0.0 sec. user=henryzz [2012-04-04 11:22:15] 489*2^1129587-1 is not prime. Res64: ABBBD20573A59F83 Time : 0.0 sec. user=juhehe [2012-04-04 11:25:52] 451*2^1129589-1 is not prime. Res64: E3218E5B3A3D1D92 Time : 0.0 sec. user=henryzz [2012-04-04 11:31:27] 421*2^1129589-1 is not prime. Res64: 32EE6556BA9F16DE Time : 0.0 sec. user=henryzz [2012-04-04 11:44:38] 527*2^1129588-1 is not prime. Res64: 392024849CDFC35B Time : 0.0 sec. user=juhehe [2012-04-04 11:45:51] 425*2^1129590-1 is not prime. Res64: 09FD7350958C6DD7 Time : 0.0 sec. user=juhehe [2012-04-04 11:48:09] 459*2^1129589-1 is not prime. Res64: B9A15B1E2E5CAA51 Time : 0.0 sec. user=henryzz [2012-04-04 11:59:49] 589*2^1129589-1 is not prime. Res64: BD09FFBE78815BC6 Time : 0.0 sec. user=henryzz [2012-04-04 12:02:21] 567*2^1129589-1 is not prime. Res64: 22FB1BF95ACB9991 Time : 0.0 sec. user=juhehe [2012-04-04 12:05:50] 483*2^1129590-1 is not prime. Res64: FAC5128D324EEB1C Time : 0.0 sec. user=henryzz [2012-04-04 12:16:05] 437*2^1129590-1 is not prime. Res64: 8AC0B8C95EF3CDEA Time : 0.0 sec. user=henryzz [2012-04-04 12:20:48] 473*2^1129590-1 is not prime. Res64: 6F1F37B8F71573EB Time : 0.0 sec. user=juhehe [2012-04-04 12:22:26] 525*2^1129590-1 is not prime. Res64: F85AE9A54B7BDFD4 Time : 0.0 sec. user=vaughan [2012-04-04 12:28:05] 483*2^1129591-1 is not prime. Res64: D8900AF6F9DC5D71 Time : 0.0 sec. user=henryzz [2012-04-04 12:36:41] 489*2^1129591-1 is not prime. Res64: D1AFD066727DF94D Time : 0.0 sec. user=henryzz [2012-04-04 12:39:55] 493*2^1129591-1 is not prime. Res64: 223E956ADB31BC58 Time : 0.0 sec. user=henryzz [2012-04-04 12:54:53] 447*2^1129592-1 is not prime. Res64: DC9C0E3FEBF8A756 Time : 0.0 sec. user=juhehe [2012-04-04 12:57:02] 441*2^1129593-1 is not prime. Res64: 3CD00B5D9B1E8BC2 Time : 0.0 sec. user=henryzz [2012-04-04 13:09:11] 533*2^1129592-1 is not prime. Res64: 7713C57816FEA45D Time : 0.0 sec. user=henryzz [2012-04-04 13:23:13] 459*2^1129593-1 is not prime. Res64: 78F7BDECB91D4FB0 Time : 0.0 sec. user=henryzz [2012-04-04 13:29:34] 585*2^1129593-1 is not prime. Res64: 66CB2D82939431CA Time : 0.0 sec. user=juhehe [2012-04-04 13:31:29] 453*2^1129594-1 is not prime. Res64: FC826BB7B5215E83 Time : 0.0 sec. user=henryzz [2012-04-04 13:34:16] 425*2^1129594-1 is not prime. Res64: 89F4971EE5B0B6E5 Time : 0.0 sec. user=henryzz [2012-04-04 13:45:07] 403*2^1129595-1 is not prime. Res64: FDFCF7E360FDD4B1 Time : 0.0 sec. user=henryzz [2012-04-04 13:57:49] 445*2^1129595-1 is not prime. Res64: BC4579ADB862F5C3 Time : 0.0 sec. user=henryzz [2012-04-04 14:06:37] 405*2^1129596-1 is not prime. Res64: C00254938F784D78 Time : 0.0 sec. user=henryzz [2012-04-04 14:09:35] 477*2^1129597-1 is not prime. Res64: C75AD2B2E5686D3C Time : 0.0 sec. user=henryzz [2012-04-04 14:13:27] 489*2^1129597-1 is not prime. Res64: 3C3BAF2392C1D433 Time : 0.0 sec. user=henryzz [2012-04-04 14:34:07] 565*2^1129597-1 is not prime. Res64: 2C254D295EE090E5 Time : 0.0 sec. user=henryzz [2012-04-04 14:37:09] 507*2^1129598-1 is not prime. Res64: C2053B185ECC0888 Time : 0.0 sec. user=henryzz [2012-04-04 14:43:44] 437*2^1129598-1 is not prime. Res64: EC1EDCE70213F372 Time : 0.0 sec. user=henryzz [2012-04-04 14:49:52] 469*2^1129599-1 is not prime. Res64: 67CB030CA2F587A4 Time : 0.0 sec. user=henryzz [2012-04-04 15:15:55] 483*2^1129599-1 is not prime. Res64: 7D576B8F40EDCCA5 Time : 0.0 sec. user=henryzz [2012-04-04 15:18:21] 445*2^1129601-1 is not prime. Res64: D54C3220A260A911 Time : 0.0 sec. user=henryzz [2012-04-04 15:23:36] 597*2^1129600-1 is not prime. Res64: 46F3E3B757923F1F Time : 0.0 sec. user=henryzz [2012-04-04 15:28:03] 459*2^1129601-1 is not prime. Res64: 14C399E89B0B7AEA Time : 0.0 sec. user=henryzz [2012-04-04 15:53:18] 549*2^1129601-1 is not prime. Res64: A61E839B1F48A7F8 Time : 0.0 sec. user=henryzz [2012-04-04 16:03:45] 447*2^1129602-1 is not prime. Res64: F2CF91F5CAB8A1E5 Time : 0.0 sec. user=henryzz [2012-04-04 16:15:29] 487*2^1129601-1 is not prime. Res64: 0728D8237D6236FD Time : 0.0 sec. user=henryzz [2012-04-04 16:19:14] 537*2^1129602-1 is not prime. Res64: B3E809A69E8ED606 Time : 0.0 sec. user=henryzz [2012-04-04 16:27:23] 433*2^1129603-1 is not prime. Res64: 4F7DA7774304ACA3 Time : 0.0 sec. user=henryzz [2012-04-04 16:45:00] 483*2^1129604-1 is not prime. Res64: 0A58A2B4E50995E3 Time : 0.0 sec. user=henryzz [2012-04-04 16:50:30] 489*2^1129604-1 is not prime. Res64: F48E1111F65F47B4 Time : 0.0 sec. user=henryzz [2012-04-04 16:52:59] 475*2^1129605-1 is not prime. Res64: EE66B417FF43A6E7 Time : 0.0 sec. user=vaughan [2012-04-04 16:54:07] 481*2^1129605-1 is not prime. Res64: 6811AA2ED7C6F9F5 Time : 0.0 sec. user=henryzz [2012-04-04 17:03:39] 579*2^1129605-1 is not prime. Res64: CD419C4476005D57 Time : 0.0 sec. user=henryzz [2012-04-04 17:23:43] 405*2^1129606-1 is not prime. Res64: 48FD9CC6265A856D Time : 0.0 sec. user=henryzz [2012-04-04 17:31:12] 443*2^1129606-1 is not prime. Res64: B64680C6E8164B83 Time : 0.0 sec. user=henryzz [2012-04-04 17:32:30] 465*2^1129606-1 is not prime. Res64: E6177F882A9A25D0 Time : 0.0 sec. user=henryzz [2012-04-04 17:42:57] 551*2^1129606-1 is not prime. Res64: 76DE8CDEC6F15106 Time : 0.0 sec. user=henryzz [2012-04-04 17:58:44] 559*2^1129607-1 is not prime. Res64: FEFD83F4775244F3 Time : 0.0 sec. user=henryzz [2012-04-04 18:06:12] 537*2^1129608-1 is not prime. Res64: 67AC87DD056A5D00 Time : 0.0 sec. user=henryzz [2012-04-04 18:09:48] 427*2^1129609-1 is not prime. Res64: 2AE72E8635CD575A Time : 0.0 sec. user=henryzz [2012-04-04 18:28:37] 457*2^1129609-1 is not prime. Res64: 66A22129547D2009 Time : 0.0 sec. user=henryzz [2012-04-04 18:36:10] 559*2^1129609-1 is not prime. Res64: F7EF1C2FD8B42ED8 Time : 0.0 sec. user=henryzz [2012-04-04 18:36:37] 473*2^1129610-1 is not prime. Res64: 4AC7F6FC8EB2B858 Time : 0.0 sec. user=henryzz [2012-04-04 18:57:51] 501*2^1129610-1 is not prime. Res64: EF825BAC363CF260 Time : 0.0 sec. user=henryzz [2012-04-04 18:58:13] 495*2^1129610-1 is not prime. Res64: 717ED99BF8FFBF2A Time : 0.0 sec. user=vaughan [2012-04-04 20:14:53] 409*2^1129613-1 is not prime. Res64: D844336868E28388 Time : 0.0 sec. user=vaughan [2012-04-04 22:26:57] 451*2^1129613-1 is not prime. Res64: C2CDBB046BE089AE Time : 0.0 sec.