user=vaughan [2012-02-12 00:36:53] 557*2^1122360-1 is not prime. Res64: C1F8C627014861BA Time : 0.0 sec. user=vaughan [2012-02-12 00:37:24] 405*2^1122361-1 is not prime. Res64: FCEFAE51A7865989 Time : 0.0 sec. user=vaughan [2012-02-12 00:37:32] 541*2^1122361-1 is not prime. Res64: 4089264891D167E1 Time : 0.0 sec. user=vaughan [2012-02-12 01:19:15] 483*2^1122499-1 is not prime. Res64: B8FE545A494947B7 Time : 0.0 sec. user=vaughan [2012-02-12 01:19:16] 583*2^1122499-1 is not prime. Res64: A40BEDB720D0D79E Time : 0.0 sec. user=vaughan [2012-02-12 01:21:38] 595*2^1122499-1 is not prime. Res64: A5762F1CA452EEAA Time : 0.0 sec. user=vaughan [2012-02-12 01:21:39] 417*2^1122500-1 is not prime. Res64: D95CC8C7A513A422 Time : 0.0 sec. user=vaughan [2012-02-12 01:22:13] 447*2^1122500-1 is not prime. Res64: BCF5FE526AA42F5B Time : 0.0 sec. user=vaughan [2012-02-12 01:22:14] 495*2^1122500-1 is not prime. Res64: E6225312EA92A9B5 Time : 0.0 sec. user=vaughan [2012-02-12 01:22:24] 515*2^1122500-1 is not prime. Res64: AF3D68E0B93CD19F Time : 0.0 sec. user=vaughan [2012-02-12 01:22:25] 533*2^1122500-1 is not prime. Res64: 38E56CCA02185C68 Time : 0.0 sec. user=vaughan [2012-02-12 02:04:03] 585*2^1122500-1 is not prime. Res64: BC366EDDE56C4001 Time : 0.0 sec. user=vaughan [2012-02-12 02:04:04] 427*2^1122501-1 is not prime. Res64: E83B35DFAADB1676 Time : 0.0 sec. user=vaughan [2012-02-12 02:06:26] 475*2^1122501-1 is not prime. Res64: 77CEDDA259684B95 Time : 0.0 sec. user=vaughan [2012-02-12 02:06:27] 499*2^1122501-1 is not prime. Res64: 1EB666B30A4191C1 Time : 0.0 sec. user=vaughan [2012-02-12 02:07:02] 507*2^1122501-1 is not prime. Res64: 0F197957F9A481BE Time : 0.0 sec. user=vaughan [2012-02-12 02:07:03] 511*2^1122501-1 is not prime. Res64: D49D29BD8B7A7F90 Time : 0.0 sec. user=vaughan [2012-02-12 02:07:14] 517*2^1122501-1 is not prime. Res64: 8E46A4327122FA08 Time : 0.0 sec. user=vaughan [2012-02-12 02:07:16] 531*2^1122501-1 is not prime. Res64: DCA82ABC353263F7 Time : 0.0 sec. user=juhehe [2012-02-12 02:30:48] 465*2^1122498-1 is not prime. Res64: EBFE66393DB842CE Time : 0.0 sec. user=juhehe [2012-02-12 02:31:15] 433*2^1122499-1 is not prime. Res64: 19FD33D71DA66D44 Time : 0.0 sec. user=juhehe [2012-02-12 02:52:53] 447*2^1122504-1 is not prime. Res64: A77861D7CA6FD3E8 Time : 0.0 sec. user=juhehe [2012-02-12 02:59:14] 559*2^1122503-1 is not prime. Res64: 2D3E1A7CE344B47D Time : 0.0 sec. user=vaughan [2012-02-12 02:59:47] 559*2^1122501-1 is not prime. Res64: 70A67CF447606370 Time : 0.0 sec. user=vaughan [2012-02-12 02:59:48] 597*2^1122501-1 is not prime. Res64: D9A50C8616E82BFE Time : 0.0 sec. user=vaughan [2012-02-12 03:02:37] 455*2^1122502-1 is not prime. Res64: 4BCE0B2532414FB7 Time : 0.0 sec. user=vaughan [2012-02-12 03:02:38] 507*2^1122502-1 is not prime. Res64: EBC64DB6FAF84B12 Time : 0.0 sec. user=vaughan [2012-02-12 03:03:52] 465*2^1122503-1 is not prime. Res64: FC991854492B2ECB Time : 0.0 sec. user=vaughan [2012-02-12 03:03:53] 523*2^1122503-1 is not prime. Res64: 6A42E6F27242007E Time : 0.0 sec. user=vaughan [2012-02-12 03:05:43] 521*2^1122502-1 is not prime. Res64: 10F8137CFD3321D9 Time : 0.0 sec. user=vaughan [2012-02-12 03:05:45] 551*2^1122502-1 is not prime. Res64: BCEBE0367644AD82 Time : 0.0 sec. user=juhehe [2012-02-12 03:14:32] 453*2^1122504-1 is not prime. Res64: 859682160D5ED24F Time : 0.0 sec. user=juhehe [2012-02-12 03:27:36] 465*2^1122504-1 is not prime. Res64: 1409DEDF49F23887 Time : 0.0 sec. user=juhehe [2012-02-12 03:36:07] 433*2^1122507-1 is not prime. Res64: 6C0611A5FD4FCAE9 Time : 0.0 sec. user=juhehe [2012-02-12 04:00:45] 419*2^1122508-1 is not prime. Res64: DCB257CD1D395DD5 Time : 0.0 sec. user=vaughan [2012-02-12 04:00:54] 525*2^1122504-1 is not prime. Res64: 9E4BB0B3317889BB Time : 0.0 sec. user=vaughan [2012-02-12 04:00:55] 527*2^1122504-1 is not prime. Res64: 2FF173B2C0CD5641 Time : 0.0 sec. user=vaughan [2012-02-12 04:01:35] 597*2^1122504-1 is not prime. Res64: B22F76DF39DF1261 Time : 0.0 sec. user=vaughan [2012-02-12 04:01:36] 421*2^1122505-1 is not prime. Res64: C1DD17E707374512 Time : 0.0 sec. user=vaughan [2012-02-12 04:03:00] 465*2^1122505-1 is not prime. Res64: 11D9EE04E3EA3F48 Time : 0.0 sec. user=vaughan [2012-02-12 04:03:02] 589*2^1122505-1 is not prime. Res64: 137E45605BDC423C Time : 0.0 sec. user=vaughan [2012-02-12 04:03:28] 537*2^1122506-1 is not prime. Res64: 9626D6EA8C1F6E94 Time : 0.0 sec. user=vaughan [2012-02-12 04:03:30] 567*2^1122506-1 is not prime. Res64: 34170406B101BF91 Time : 0.0 sec. user=juhehe [2012-02-12 04:21:10] 597*2^1122508-1 is not prime. Res64: 63F7C08E5965E037 Time : 0.0 sec. user=juhehe [2012-02-12 04:23:08] 471*2^1122507-1 is not prime. Res64: 9A0F05FB4A52B15A Time : 0.0 sec. user=juhehe [2012-02-12 04:41:54] 457*2^1122513-1 is not prime. Res64: 54CF49F345681EF8 Time : 0.0 sec. user=juhehe [2012-02-12 04:53:27] 501*2^1122513-1 is not prime. Res64: 3F905FAE52900D3F Time : 0.0 sec. user=juhehe [2012-02-12 04:54:17] 401*2^1122514-1 is not prime. Res64: 3BE6F4B2B9BD8B35 Time : 0.0 sec. user=vaughan [2012-02-12 04:59:44] 459*2^1122509-1 is not prime. Res64: 4ABDBE647DF4AF5F Time : 0.0 sec. user=vaughan [2012-02-12 04:59:44] 507*2^1122509-1 is not prime. Res64: 2B79A8CE5417AB00 Time : 0.0 sec. user=vaughan [2012-02-12 05:00:08] 405*2^1122510-1 is not prime. Res64: C85F833FA64EA758 Time : 0.0 sec. user=vaughan [2012-02-12 05:00:10] 563*2^1122510-1 is not prime. Res64: 9A1174A1E108EEFE Time : 0.0 sec. user=juhehe [2012-02-12 05:00:21] 435*2^1122514-1 is not prime. Res64: 760A19BAE91C85A1 Time : 0.0 sec. user=vaughan [2012-02-12 05:02:49] 507*2^1122512-1 is not prime. Res64: E2EFEF773E6CDF0C Time : 0.0 sec. user=vaughan [2012-02-12 05:02:50] 573*2^1122512-1 is not prime. Res64: 3862CF77684B4E38 Time : 0.0 sec. user=vaughan [2012-02-12 05:03:22] 423*2^1122511-1 is not prime. Res64: 4ACB77FA6CA893D2 Time : 0.0 sec. user=vaughan [2012-02-12 05:03:23] 435*2^1122512-1 is not prime. Res64: EC16ABD64424E19D Time : 0.0 sec. user=juhehe [2012-02-12 05:18:48] 537*2^1122516-1 is not prime. Res64: DB5C5990BC5D29E2 Time : 0.0 sec. user=juhehe [2012-02-12 05:24:48] 443*2^1122514-1 is not prime. Res64: 085DBD2524CC886B Time : 0.0 sec. user=juhehe [2012-02-12 05:25:37] 461*2^1122514-1 is not prime. Res64: 8761C3755BCF00CB Time : 0.0 sec. user=henryzz [2012-02-12 05:44:06] 567*2^1122518-1 is not prime. Res64: F610F43BC5983575 Time : 0.0 sec. user=juhehe [2012-02-12 05:44:23] 561*2^1122518-1 is not prime. Res64: 0193DF094881788C Time : 0.0 sec. user=henryzz [2012-02-12 05:46:18] 493*2^1122519-1 is not prime. Res64: C4615FA751C5FCB1 Time : 0.0 sec. user=henryzz [2012-02-12 05:47:33] 511*2^1122519-1 is not prime. Res64: B73C62EC23CC3375 Time : 0.0 sec. user=henryzz [2012-02-12 05:47:55] 467*2^1122520-1 is not prime. Res64: BA6B43DAD812805C Time : 0.0 sec. user=vaughan [2012-02-12 05:58:06] 445*2^1122515-1 is not prime. Res64: CCABCEC3BBB3BE0C Time : 0.0 sec. user=vaughan [2012-02-12 05:58:07] 405*2^1122516-1 is not prime. Res64: BA6B81C25252DB39 Time : 0.0 sec. user=juhehe [2012-02-12 05:58:17] 573*2^1122518-1 is not prime. Res64: D79EFCE9DE043A6B Time : 0.0 sec. user=juhehe [2012-02-12 05:59:38] 441*2^1122519-1 is not prime. Res64: 51CC051A548AF43B Time : 0.0 sec. user=vaughan [2012-02-12 05:59:58] 527*2^1122514-1 is not prime. Res64: FDDD6ABFB2D24A5F Time : 0.0 sec. user=vaughan [2012-02-12 05:59:58] 411*2^1122515-1 is not prime. Res64: D5C531771E837477 Time : 0.0 sec. user=vaughan [2012-02-12 06:00:49] 587*2^1122516-1 is not prime. Res64: F30154AC7E57AF8D Time : 0.0 sec. user=vaughan [2012-02-12 06:00:50] 439*2^1122517-1 is not prime. Res64: 4C2A6F9E9FCC0315 Time : 0.0 sec. user=henryzz [2012-02-12 06:04:27] 527*2^1122520-1 is not prime. Res64: 6FD9A5B8DFA77102 Time : 0.0 sec. user=vaughan [2012-02-12 06:05:26] 469*2^1122517-1 is not prime. Res64: 4138AE21EDC165DE Time : 0.0 sec. user=vaughan [2012-02-12 06:05:27] 515*2^1122518-1 is not prime. Res64: F3C7706157790B58 Time : 0.0 sec. user=henryzz [2012-02-12 06:06:12] 465*2^1122521-1 is not prime. Res64: E4301E3CC84BB91B Time : 0.0 sec. user=henryzz [2012-02-12 06:07:34] 489*2^1122521-1 is not prime. Res64: D6EF3D0D4E58845A Time : 0.0 sec. user=henryzz [2012-02-12 06:09:12] 529*2^1122521-1 is not prime. Res64: 2E02BBD52FF16519 Time : 0.0 sec. user=juhehe [2012-02-12 06:12:30] 439*2^1122521-1 is not prime. Res64: 3A60E836AC48514D Time : 0.0 sec. user=henryzz [2012-02-12 06:24:59] 483*2^1122524-1 is not prime. Res64: D5C793C442945CD7 Time : 0.0 sec. user=henryzz [2012-02-12 06:26:37] 415*2^1122525-1 is not prime. Res64: 319ABF32FDBD6301 Time : 0.0 sec. user=henryzz [2012-02-12 06:28:00] 481*2^1122525-1 is not prime. Res64: A40EC82C7B906BC7 Time : 0.0 sec. user=henryzz [2012-02-12 06:29:55] 545*2^1122526-1 is not prime. Res64: 31DE994F25F20FD9 Time : 0.0 sec. user=vaughan [2012-02-12 06:30:41] 441*2^1122523-1 is not prime. Res64: B24F13334DF22A11 Time : 0.0 sec. user=juhehe [2012-02-12 06:34:40] 495*2^1122522-1 is not prime. Res64: D915203EE1F032AF Time : 0.0 sec. user=juhehe [2012-02-12 06:34:57] 567*2^1122522-1 is not prime. Res64: 0D3A2D208197F86D Time : 0.0 sec. user=juhehe [2012-02-12 06:40:32] 551*2^1122526-1 is not prime. Res64: 20ED3BAF9AA9DD3B Time : 0.0 sec. user=henryzz [2012-02-12 06:45:32] 573*2^1122526-1 is not prime. Res64: 8CC1CDB9BCD4F578 Time : 0.0 sec. user=henryzz [2012-02-12 06:47:02] 575*2^1122526-1 is not prime. Res64: 17671CC696DC2C47 Time : 0.0 sec. user=henryzz [2012-02-12 06:48:24] 581*2^1122526-1 is not prime. Res64: B353F7A1686FDD46 Time : 0.0 sec. user=henryzz [2012-02-12 06:50:18] 409*2^1122527-1 is not prime. Res64: 812048C339179D99 Time : 0.0 sec. user=vaughan [2012-02-12 06:50:18] 431*2^1122522-1 is not prime. Res64: 18B5E0FEADF7F2DA Time : 0.0 sec. user=vaughan [2012-02-12 06:50:19] 437*2^1122522-1 is not prime. Res64: 25A81239A8A8B06D Time : 0.0 sec. user=vaughan [2012-02-12 06:52:32] 417*2^1122524-1 is not prime. Res64: 66785002DBDDF0E0 Time : 0.0 sec. user=vaughan [2012-02-12 06:52:32] 437*2^1122524-1 is not prime. Res64: 4795D195836057C8 Time : 0.0 sec. user=vaughan [2012-02-12 06:55:23] 573*2^1122524-1 is not prime. Res64: 87CAF6C5EC0B52B5 Time : 0.0 sec. user=vaughan [2012-02-12 06:55:23] 599*2^1122524-1 is not prime. Res64: ACCA3839D148AB99 Time : 0.0 sec. user=juhehe [2012-02-12 07:03:39] 505*2^1122527-1 is not prime. Res64: 12203CA896F49048 Time : 0.0 sec. user=henryzz [2012-02-12 07:06:40] 559*2^1122527-1 is not prime. Res64: A84A48F94588DA47 Time : 0.0 sec. user=henryzz [2012-02-12 07:06:43] 453*2^1122528-1 is not prime. Res64: CD7113BC08E12D63 Time : 0.0 sec. user=juhehe [2012-02-12 07:06:50] 435*2^1122527-1 is not prime. Res64: FA08CFEC3A438E10 Time : 0.0 sec. user=juhehe [2012-02-12 07:07:05] 475*2^1122527-1 is not prime. Res64: B8F38782B04B9E16 Time : 0.0 sec. user=henryzz [2012-02-12 07:08:44] 465*2^1122528-1 is not prime. Res64: EE8BB3E1D8CD2EC3 Time : 0.0 sec. user=vaughan [2012-02-12 07:10:45] 567*2^1122478-1 is not prime. Res64: A8BA668C5DB059F6 Time : 0.0 sec. user=henryzz [2012-02-12 07:11:15] 597*2^1122528-1 is not prime. Res64: 8D8FD5EC1716260B Time : 0.0 sec. user=vaughan [2012-02-12 07:11:28] 559*2^1122479-1 is not prime. Res64: 6BAD5182E11AB6A0 Time : 0.0 sec. user=vaughan [2012-02-12 07:13:30] 477*2^1122485-1 is not prime. Res64: 8283C6AFF0049DB7 Time : 0.0 sec. user=vaughan [2012-02-12 07:14:03] 507*2^1122485-1 is not prime. Res64: 0E8A4D164229E5C8 Time : 0.0 sec. user=vaughan [2012-02-12 07:15:54] 527*2^1122352-1 is not prime. Res64: D4B39ECD85C45DD7 Time : 0.0 sec. user=vaughan [2012-02-12 07:19:05] 465*2^1122481-1 is not prime. Res64: B9D9191D1C22F507 Time : 0.0 sec. user=vaughan [2012-02-12 07:19:06] 469*2^1122481-1 is not prime. Res64: AA65AFEF0B6F73D1 Time : 0.0 sec. user=vaughan [2012-02-12 07:19:25] 511*2^1122485-1 is not prime. Res64: C0E2249386C0E101 Time : 0.0 sec. user=vaughan [2012-02-12 07:19:25] 519*2^1122485-1 is not prime. Res64: B7C80CE11FCB35DB Time : 0.0 sec. user=vaughan [2012-02-12 07:20:40] 525*2^1122481-1 is not prime. Res64: 2C3A9DBDA2CA8E20 Time : 0.0 sec. user=vaughan [2012-02-12 07:20:41] 555*2^1122481-1 is not prime. Res64: D6B7F915056D3242 Time : 0.0 sec. user=vaughan [2012-02-12 07:21:38] 571*2^1122371-1 is not prime. Res64: B3CB87340070CFAC Time : 0.0 sec. user=vaughan [2012-02-12 07:25:16] 525*2^1122486-1 is not prime. Res64: 55FC139545082305 Time : 0.0 sec. user=vaughan [2012-02-12 07:25:17] 567*2^1122486-1 is not prime. Res64: 2E5EA1DEF151A72A Time : 0.0 sec. user=juhehe [2012-02-12 07:27:23] 503*2^1122326-1 is not prime. Res64: 013D83D1C5C781AF Time : 0.0 sec. user=henryzz [2012-02-12 07:27:24] 595*2^1122329-1 is not prime. Res64: DE9A79E47146A8F3 Time : 0.0 sec. user=henryzz [2012-02-12 07:27:27] 401*2^1122330-1 is not prime. Res64: 3DC3EA7ACEA64B03 Time : 0.0 sec. user=henryzz [2012-02-12 07:29:18] 511*2^1122331-1 is not prime. Res64: 6003354589DB085B Time : 0.0 sec. user=vaughan [2012-02-12 07:31:12] 531*2^1122331-1 is not prime. Res64: 3222216FB9CEFB66 Time : 0.0 sec. user=vaughan [2012-02-12 07:31:13] 477*2^1122332-1 is not prime. Res64: C32F17B2EF6E4857 Time : 0.0 sec. user=henryzz [2012-02-12 07:31:47] 539*2^1122332-1 is not prime. Res64: E7C4C08E2E23340A Time : 0.0 sec. user=vaughan [2012-02-12 07:31:49] 435*2^1122376-1 is not prime. Res64: D287835F2F6F9D44 Time : 0.0 sec. user=vaughan [2012-02-12 07:33:12] 483*2^1122376-1 is not prime. Res64: BE732A71A4C0DF57 Time : 0.0 sec. user=vaughan [2012-02-12 07:33:29] 555*2^1122480-1 is not prime. Res64: 1BE60769F1CDFE47 Time : 0.0 sec. user=vaughan [2012-02-12 07:33:53] 405*2^1122377-1 is not prime. Res64: 184D5155D469E85E Time : 0.0 sec. user=vaughan [2012-02-12 07:34:08] 457*2^1122333-1 is not prime. Res64: 2A2F6DD51A6CCFA0 Time : 0.0 sec. user=vaughan [2012-02-12 07:34:09] 435*2^1122334-1 is not prime. Res64: 57B6A23D7B14D580 Time : 0.0 sec. user=vaughan [2012-02-12 07:34:14] 465*2^1122377-1 is not prime. Res64: E82337B6B170D8B3 Time : 0.0 sec. user=vaughan [2012-02-12 07:34:27] 549*2^1122528-1 is not prime. Res64: 0D30ABCCF64B72FB Time : 0.0 sec. user=vaughan [2012-02-12 07:34:28] 569*2^1122528-1 is not prime. Res64: C0ADDB505049C2C0 Time : 0.0 sec. user=vaughan [2012-02-12 07:34:30] 589*2^1122485-1 is not prime. Res64: 4267D610F82410E9 Time : 0.0 sec. user=vaughan [2012-02-12 07:34:30] 405*2^1122486-1 is not prime. Res64: A5BC47FEF273DEFE Time : 0.0 sec. user=vaughan [2012-02-12 07:34:32] 525*2^1122485-1 is not prime. Res64: E339EB4F3BDDF07B Time : 0.0 sec. user=vaughan [2012-02-12 07:34:33] 565*2^1122485-1 is not prime. Res64: AB602D3482BE17CD Time : 0.0 sec. user=vaughan [2012-02-12 07:34:57] 501*2^1122482-1 is not prime. Res64: 761FCED3D1695BD7 Time : 0.0 sec. user=vaughan [2012-02-12 07:34:59] 483*2^1122482-1 is not prime. Res64: 77D4C557D77C7B69 Time : 0.0 sec. user=vaughan [2012-02-12 07:35:06] 415*2^1122483-1 is not prime. Res64: 907E941E2DD12139 Time : 0.0 sec. user=vaughan [2012-02-12 07:35:34] 535*2^1122351-1 is not prime. Res64: 02B38F9636051A37 Time : 0.0 sec. user=vaughan [2012-02-12 07:35:48] 435*2^1122337-1 is not prime. Res64: 4F3982093A13E14A Time : 0.0 sec. user=vaughan [2012-02-12 07:36:37] 559*2^1122317-1 is not prime. Res64: 00CBA3F1E51F5C68 Time : 0.0 sec. user=vaughan [2012-02-12 07:36:38] 517*2^1122321-1 is not prime. Res64: 5ECA3367D623C9EE Time : 0.0 sec. user=vaughan [2012-02-12 07:36:53] 525*2^1122338-1 is not prime. Res64: A04580448330A448 Time : 0.0 sec. user=vaughan [2012-02-12 07:37:22] 537*2^1122345-1 is not prime. Res64: B8BAD2FC99D71EB2 Time : 0.0 sec. user=vaughan [2012-02-12 07:38:54] 457*2^1122529-1 is not prime. Res64: 693CEAD47AD1084B Time : 0.0 sec. user=vaughan [2012-02-12 07:38:54] 477*2^1122529-1 is not prime. Res64: A035088C30BBD512 Time : 0.0 sec. user=juhehe [2012-02-12 07:39:04] 453*2^1122330-1 is not prime. Res64: C18A92A8AF7FFBD5 Time : 0.0 sec. user=juhehe [2012-02-12 07:39:17] 483*2^1122331-1 is not prime. Res64: 24600C56EA442CB1 Time : 0.0 sec. user=vaughan [2012-02-12 07:39:30] 427*2^1122325-1 is not prime. Res64: 435ADFFC55D01620 Time : 0.0 sec. user=vaughan [2012-02-12 07:39:31] 511*2^1122325-1 is not prime. Res64: 4758FAB7FD8938C2 Time : 0.0 sec. user=vaughan [2012-02-12 07:39:59] 451*2^1122343-1 is not prime. Res64: 3F36E265D2A343EB Time : 0.0 sec. user=vaughan [2012-02-12 07:39:59] 495*2^1122345-1 is not prime. Res64: 8634796A10944A51 Time : 0.0 sec. user=vaughan [2012-02-12 07:40:00] 545*2^1122530-1 is not prime. Res64: 36CA08F379052C08 Time : 0.0 sec. user=vaughan [2012-02-12 07:40:00] 561*2^1122530-1 is not prime. Res64: C066301604CA245E Time : 0.0 sec. user=vaughan [2012-02-12 07:41:18] 565*2^1122353-1 is not prime. Res64: 779E34322A593D46 Time : 0.0 sec. user=vaughan [2012-02-12 07:41:25] 423*2^1122360-1 is not prime. Res64: 1F2F3EBFE7E00694 Time : 0.0 sec. user=vaughan [2012-02-12 07:41:31] 525*2^1122349-1 is not prime. Res64: 3AEDBFD1D9D2BD60 Time : 0.0 sec. user=vaughan [2012-02-12 07:42:08] 485*2^1122534-1 is not prime. Res64: 32EA20EBDD2935E2 Time : 0.0 sec. user=vaughan [2012-02-12 07:42:30] 513*2^1122334-1 is not prime. Res64: BEC5352F3742EF4E Time : 0.0 sec. user=vaughan [2012-02-12 07:43:19] 475*2^1122347-1 is not prime. Res64: 1FB96A13A5F4AC1B Time : 0.0 sec. user=vaughan [2012-02-12 07:43:19] 503*2^1122348-1 is not prime. Res64: 88C8F4E5E4CF91EC Time : 0.0 sec. user=vaughan [2012-02-12 07:44:06] 507*2^1122345-1 is not prime. Res64: 0D78D2B184C55A44 Time : 0.0 sec. user=vaughan [2012-02-12 07:44:06] 535*2^1122345-1 is not prime. Res64: 06B3BC613FDBC167 Time : 0.0 sec. user=vaughan [2012-02-12 07:44:50] 449*2^1122536-1 is not prime. Res64: 31E76DC5134A0BD6 Time : 0.0 sec. user=vaughan [2012-02-12 07:45:30] 489*2^1122539-1 is not prime. Res64: B32FB60161B959E2 Time : 0.0 sec. user=henryzz [2012-02-12 07:48:37] 589*2^1122535-1 is not prime. Res64: 3B251EB8896925C0 Time : 0.0 sec. user=vaughan [2012-02-12 07:48:44] 573*2^1122534-1 is not prime. Res64: CD5AB40951F8A67F Time : 0.0 sec. user=henryzz [2012-02-12 07:50:00] 595*2^1122535-1 is not prime. Res64: E1BABD4C7C90784F Time : 0.0 sec. user=henryzz [2012-02-12 07:50:51] 425*2^1122536-1 is not prime. Res64: 0B84497E45EABD73 Time : 0.0 sec. user=henryzz [2012-02-12 07:53:43] 533*2^1122538-1 is not prime. Res64: 01E3E9E7C492E843 Time : 0.0 sec. user=juhehe [2012-02-12 07:54:58] 441*2^1122535-1 is not prime. Res64: ECA90A83528BAA47 Time : 0.0 sec. user=henryzz [2012-02-12 08:10:14] 453*2^1122550-1 is not prime. Res64: B14E962D6332DB45 Time : 0.0 sec. user=juhehe [2012-02-12 08:11:20] 571*2^1122543-1 is not prime. Res64: 1AD7CBED59F48A99 Time : 0.0 sec. user=juhehe [2012-02-12 08:11:31] 435*2^1122544-1 is not prime. Res64: 73A8B52CEE5FFA2A Time : 0.0 sec. user=henryzz [2012-02-12 08:11:49] 581*2^1122550-1 is not prime. Res64: 6D42174B46337C51 Time : 0.0 sec. user=henryzz [2012-02-12 08:14:00] 465*2^1122550-1 is not prime. Res64: 1D69804E5753550F Time : 0.0 sec. user=henryzz [2012-02-12 08:15:07] 587*2^1122550-1 is not prime. Res64: AE35828840E20FF5 Time : 0.0 sec. user=juhehe [2012-02-12 08:15:39] 421*2^1122551-1 is not prime. Res64: 14D9D52B3D7D9098 Time : 0.0 sec. user=henryzz [2012-02-12 08:31:11] 453*2^1122551-1 is not prime. Res64: 9D793BFD249BCE5F Time : 0.0 sec. user=henryzz [2012-02-12 08:32:19] 405*2^1122552-1 is not prime. Res64: DE8016C4FC8297CF Time : 0.0 sec. user=henryzz [2012-02-12 08:35:14] 459*2^1122552-1 is not prime. Res64: 88714A279A12392B Time : 0.0 sec. user=juhehe [2012-02-12 08:36:19] 515*2^1122552-1 is not prime. Res64: D8DBEC6B8AB6463F Time : 0.0 sec. user=henryzz [2012-02-12 08:36:23] 507*2^1122552-1 is not prime. Res64: 5530AB2682C899BD Time : 0.0 sec. user=juhehe [2012-02-12 08:43:49] 463*2^1122551-1 is not prime. Res64: 02C88E5CF9D48890 Time : 0.0 sec. user=juhehe [2012-02-12 08:43:58] 531*2^1122551-1 is not prime. Res64: 4AACC1F8CE721D4C Time : 0.0 sec. user=henryzz [2012-02-12 08:52:57] 525*2^1122552-1 is not prime. Res64: A35031DBD7469F34 Time : 0.0 sec. user=henryzz [2012-02-12 08:53:35] 537*2^1122552-1 is not prime. Res64: 33B093EE850F04D7 Time : 0.0 sec. user=henryzz [2012-02-12 08:56:35] 483*2^1122554-1 is not prime. Res64: 3A754B47998D135B Time : 0.0 sec. user=henryzz [2012-02-12 08:56:57] 465*2^1122555-1 is not prime. Res64: 4BD1D256B01003FF Time : 0.0 sec. user=juhehe [2012-02-12 08:57:01] 441*2^1122555-1 is not prime. Res64: FDCAC120F349EB74 Time : 0.0 sec. user=henryzz [2012-02-12 09:13:39] 553*2^1122555-1 is not prime. Res64: 43AAC431B9AAB9D3 Time : 0.0 sec. user=henryzz [2012-02-12 09:14:08] 465*2^1122556-1 is not prime. Res64: 111CC0EC85AF117F Time : 0.0 sec. user=juhehe [2012-02-12 09:15:56] 531*2^1122555-1 is not prime. Res64: 2AE467FAE7E4177D Time : 0.0 sec. user=juhehe [2012-02-12 09:16:05] 543*2^1122555-1 is not prime. Res64: 0E73043DC59A62C0 Time : 0.0 sec. user=henryzz [2012-02-12 09:17:16] 469*2^1122557-1 is not prime. Res64: DFAF21EAC567B0E7 Time : 0.0 sec. user=henryzz [2012-02-12 09:17:34] 495*2^1122556-1 is not prime. Res64: 18482C57963481EE Time : 0.0 sec. user=juhehe [2012-02-12 09:17:42] 587*2^1122556-1 is not prime. Res64: 298E88A06B1EFE9F Time : 0.0 sec. user=henryzz [2012-02-12 09:34:44] 475*2^1122557-1 is not prime. Res64: 21681F6FECE93450 Time : 0.0 sec. user=henryzz [2012-02-12 09:34:58] 589*2^1122557-1 is not prime. Res64: EF6913836356D938 Time : 0.0 sec. user=henryzz [2012-02-12 09:38:14] 421*2^1122559-1 is not prime. Res64: 36CF377E3FB1F2D5 Time : 0.0 sec. user=henryzz [2012-02-12 09:38:29] 483*2^1122559-1 is not prime. Res64: 9147392EE51DF0AF Time : 0.0 sec. user=juhehe [2012-02-12 09:38:45] 549*2^1122559-1 is not prime. Res64: 27729136DE35FC87 Time : 0.0 sec. user=henryzz [2012-02-12 09:55:09] 423*2^1122560-1 is not prime. Res64: 0782726A35CBB345 Time : 0.0 sec. user=henryzz [2012-02-12 09:55:29] 595*2^1122559-1 is not prime. Res64: C8A2F6EF0476A876 Time : 0.0 sec. user=henryzz [2012-02-12 09:59:43] 509*2^1122560-1 is not prime. Res64: 9CF7061D30343072 Time : 0.0 sec. user=henryzz [2012-02-12 09:59:50] 447*2^1122561-1 is not prime. Res64: EDB111B870923F98 Time : 0.0 sec. user=juhehe [2012-02-12 09:59:53] 525*2^1122562-1 is not prime. Res64: 24AE998CD26F2F0C Time : 0.0 sec. user=henryzz [2012-02-12 10:15:55] 465*2^1122563-1 is not prime. Res64: D6EF912FDAD4218E Time : 0.0 sec. user=henryzz [2012-02-12 10:16:06] 483*2^1122564-1 is not prime. Res64: 8AF1A6094D19473B Time : 0.0 sec. user=henryzz [2012-02-12 10:20:23] 429*2^1122565-1 is not prime. Res64: 9D3B194DF4C261A1 Time : 0.0 sec. user=henryzz [2012-02-12 10:20:45] 489*2^1122564-1 is not prime. Res64: 3D0B35917BCAB729 Time : 0.0 sec. user=juhehe [2012-02-12 10:21:00] 585*2^1122564-1 is not prime. Res64: 242D0DA6F6DAEDF5 Time : 0.0 sec. user=henryzz [2012-02-12 10:36:30] 441*2^1122565-1 is not prime. Res64: DBA95CFEA43F1217 Time : 0.0 sec. user=henryzz [2012-02-12 10:37:08] 541*2^1122565-1 is not prime. Res64: E0BB2A323D21E5D4 Time : 0.0 sec. user=henryzz [2012-02-12 10:40:52] 561*2^1122565-1 is not prime. Res64: 4A916D7834CC93FD Time : 0.0 sec. user=henryzz [2012-02-12 10:41:50] 437*2^1122566-1 is not prime. Res64: 702F6ADB9E3817BA Time : 0.0 sec. user=juhehe [2012-02-12 10:42:08] 537*2^1122566-1 is not prime. Res64: 8A0EF2D97B35633B Time : 0.0 sec. user=henryzz [2012-02-12 10:57:23] 569*2^1122376-1 is not prime. Res64: 4DE62367274733E9 Time : 0.0 sec. user=henryzz [2012-02-12 10:58:57] 445*2^1122377-1 is not prime. Res64: 20DAC7C535215F85 Time : 0.0 sec. user=henryzz [2012-02-12 11:01:28] 507*2^1122377-1 is not prime. Res64: 3C98000690761074 Time : 0.0 sec. user=henryzz [2012-02-12 11:02:16] 465*2^1122567-1 is not prime. Res64: A6C41B2468B5EEB1 Time : 0.0 sec. user=juhehe [2012-02-12 11:03:15] 501*2^1122567-1 is not prime. Res64: ED823C70477AE38B Time : 0.0 sec. user=henryzz [2012-02-12 11:18:06] 513*2^1122567-1 is not prime. Res64: 43BF040668899AA3 Time : 0.0 sec. user=henryzz [2012-02-12 11:19:41] 465*2^1122568-1 is not prime. Res64: 72B1F9EF979DD2FD Time : 0.0 sec. user=henryzz [2012-02-12 11:23:02] 421*2^1122569-1 is not prime. Res64: 9173858DE932D240 Time : 0.0 sec. user=henryzz [2012-02-12 11:24:10] 567*2^1122568-1 is not prime. Res64: 872B2143B26F6754 Time : 0.0 sec. user=juhehe [2012-02-12 11:24:26] 489*2^1122569-1 is not prime. Res64: EB935F5600E19BB5 Time : 0.0 sec. user=henryzz [2012-02-12 11:38:24] 411*2^1122570-1 is not prime. Res64: 984AF89394A787E3 Time : 0.0 sec. user=henryzz [2012-02-12 11:40:09] 417*2^1122570-1 is not prime. Res64: AE2FAE1DAECAFBA3 Time : 0.0 sec. user=henryzz [2012-02-12 11:43:10] 461*2^1122570-1 is not prime. Res64: B6831223C61F3195 Time : 0.0 sec. user=henryzz [2012-02-12 11:44:50] 471*2^1122570-1 is not prime. Res64: 19A8DDCCF4B2F36C Time : 0.0 sec. user=juhehe [2012-02-12 11:45:30] 503*2^1122570-1 is not prime. Res64: 74CEE3BE06B9B7FA Time : 0.0 sec. user=henryzz [2012-02-12 11:58:17] 521*2^1122570-1 is not prime. Res64: 8A6F9AECF0CB7470 Time : 0.0 sec. user=henryzz [2012-02-12 12:01:19] 543*2^1122570-1 is not prime. Res64: 5C15C7DE702DBF6F Time : 0.0 sec. user=henryzz [2012-02-12 12:03:19] 567*2^1122570-1 is not prime. Res64: 24709259F3A37321 Time : 0.0 sec. user=henryzz [2012-02-12 12:04:49] 593*2^1122570-1 is not prime. Res64: 5F1E0EDBB1DF754A Time : 0.0 sec. user=juhehe [2012-02-12 12:06:36] 405*2^1122571-1 is not prime. Res64: C0B999B438BD0500 Time : 0.0 sec. user=henryzz [2012-02-12 12:19:07] 489*2^1122571-1 is not prime. Res64: 8B21D0BEF24D067F Time : 0.0 sec. user=henryzz [2012-02-12 12:23:28] 495*2^1122571-1 is not prime. Res64: 0743D2D6EF70A537 Time : 0.0 sec. user=henryzz [2012-02-12 12:24:27] 449*2^1122572-1 is not prime. Res64: 8236B2B9D6EE5C4E Time : 0.0 sec. user=henryzz [2012-02-12 12:25:43] 483*2^1122572-1 is not prime. Res64: A86394ECB673DDCD Time : 0.0 sec. user=juhehe [2012-02-12 12:27:41] 409*2^1122573-1 is not prime. Res64: 3DFDC18655658D83 Time : 0.0 sec. user=henryzz [2012-02-12 12:40:07] 417*2^1122573-1 is not prime. Res64: EEF73430AB7FF494 Time : 0.0 sec. user=henryzz [2012-02-12 12:44:16] 459*2^1122573-1 is not prime. Res64: FCC5225B3ECDF548 Time : 0.0 sec. user=henryzz [2012-02-12 12:45:38] 549*2^1122573-1 is not prime. Res64: CBB6AE30D0D0B371 Time : 0.0 sec. user=henryzz [2012-02-12 12:47:30] 425*2^1122574-1 is not prime. Res64: B8E5907F1BEAFF5A Time : 0.0 sec. user=juhehe [2012-02-12 12:48:43] 461*2^1122574-1 is not prime. Res64: 646480DD8607236C Time : 0.0 sec. user=henryzz [2012-02-12 13:02:17] 483*2^1122574-1 is not prime. Res64: D4522B4F07954890 Time : 0.0 sec. user=henryzz [2012-02-12 13:05:00] 441*2^1122575-1 is not prime. Res64: AA171B98E0DB0853 Time : 0.0 sec. user=henryzz [2012-02-12 13:06:23] 405*2^1122576-1 is not prime. Res64: 0B2297438C4BCAAE Time : 0.0 sec. user=henryzz [2012-02-12 13:08:15] 437*2^1122576-1 is not prime. Res64: 4D501C36E833D75D Time : 0.0 sec. user=juhehe [2012-02-12 13:09:47] 455*2^1122576-1 is not prime. Res64: B05DB63265750DA6 Time : 0.0 sec. user=henryzz [2012-02-12 13:24:24] 567*2^1122576-1 is not prime. Res64: 518F5BA5817D9CAB Time : 0.0 sec. user=henryzz [2012-02-12 13:25:59] 429*2^1122577-1 is not prime. Res64: F61F8E999E30738C Time : 0.0 sec. user=henryzz [2012-02-12 13:26:57] 477*2^1122577-1 is not prime. Res64: 6354C393EDD5153D Time : 0.0 sec. user=henryzz [2012-02-12 13:29:18] 507*2^1122577-1 is not prime. Res64: F61446041CD9BEC6 Time : 0.0 sec. user=juhehe [2012-02-12 13:30:57] 511*2^1122577-1 is not prime. Res64: 2B0B4C04A83C71AC Time : 0.0 sec. user=henryzz [2012-02-12 13:45:50] 447*2^1122578-1 is not prime. Res64: 78048572B5746264 Time : 0.0 sec. user=henryzz [2012-02-12 13:47:30] 467*2^1122578-1 is not prime. Res64: B23C512C299CE30A Time : 0.0 sec. user=henryzz [2012-02-12 13:48:09] 429*2^1122579-1 is not prime. Res64: 4B73C400865ABEBA Time : 0.0 sec. user=henryzz [2012-02-12 13:49:21] 469*2^1122579-1 is not prime. Res64: 01500E21139CDEF0 Time : 0.0 sec. user=henryzz [2012-02-12 14:06:51] 483*2^1122580-1 is not prime. Res64: 8B5EE6F725103065 Time : 0.0 sec. user=henryzz [2012-02-12 14:08:36] 569*2^1122580-1 is not prime. Res64: 63EEE2495AC73747 Time : 0.0 sec. user=henryzz [2012-02-12 14:09:21] 423*2^1122582-1 is not prime. Res64: 7BF3159292D2214D Time : 0.0 sec. user=henryzz [2012-02-12 14:10:19] 513*2^1122582-1 is not prime. Res64: 33E761ADE54A5766 Time : 0.0 sec. user=henryzz [2012-02-12 14:28:05] 587*2^1122582-1 is not prime. Res64: ACB6AEE8B11A80EA Time : 0.0 sec. user=henryzz [2012-02-12 14:29:19] 421*2^1122583-1 is not prime. Res64: 0D82FB8D4C2D6C7E Time : 0.0 sec. user=henryzz [2012-02-12 14:31:03] 453*2^1122583-1 is not prime. Res64: 123A122CADE02C9A Time : 0.0 sec. user=henryzz [2012-02-12 14:31:04] 511*2^1122583-1 is not prime. Res64: 7881FEB270986B37 Time : 0.0 sec. user=henryzz [2012-02-12 14:49:05] 555*2^1122583-1 is not prime. Res64: 858EF3EF74DEF3BE Time : 0.0 sec. user=henryzz [2012-02-12 14:51:19] 413*2^1122584-1 is not prime. Res64: 95BCC1FA13822DA7 Time : 0.0 sec. user=henryzz [2012-02-12 14:52:09] 471*2^1122585-1 is not prime. Res64: 65A13A17CA7AD467 Time : 0.0 sec. user=henryzz [2012-02-12 14:53:10] 537*2^1122585-1 is not prime. Res64: D97F624D10D885E0 Time : 0.0 sec. user=henryzz [2012-02-12 15:10:46] 555*2^1122585-1 is not prime. Res64: 7AE65D2F505D68E4 Time : 0.0 sec. user=henryzz [2012-02-12 15:13:53] 465*2^1122587-1 is not prime. Res64: C9E4F9895E080AC4 Time : 0.0 sec. user=henryzz [2012-02-12 15:14:48] 521*2^1122586-1 is not prime. Res64: 63C429DFE2CC98DA Time : 0.0 sec. user=henryzz [2012-02-12 15:16:09] 501*2^1122587-1 is not prime. Res64: 3E652FF3E4465B65 Time : 0.0 sec. user=henryzz [2012-02-12 15:33:19] 513*2^1122588-1 is not prime. Res64: 583B42BC0BC5E93E Time : 0.0 sec. user=henryzz [2012-02-12 15:37:20] 537*2^1122588-1 is not prime. Res64: 5E5BC3A61882A16B Time : 0.0 sec. user=henryzz [2012-02-12 15:37:45] 527*2^1122588-1 is not prime. Res64: FCE1311FF1230310 Time : 0.0 sec. user=henryzz [2012-02-12 15:39:10] 515*2^1122588-1 is not prime. Res64: B08D5EF35E0E697B Time : 0.0 sec. user=henryzz [2012-02-12 15:57:05] 425*2^1122590-1 is not prime. Res64: 2FAEA37E46D5D0F1 Time : 0.0 sec. user=henryzz [2012-02-12 16:00:22] 585*2^1122590-1 is not prime. Res64: 800D186049D843E6 Time : 0.0 sec. user=henryzz [2012-02-12 16:01:21] 571*2^1122591-1 is not prime. Res64: 89A113DD362507D1 Time : 0.0 sec. user=henryzz [2012-02-12 16:01:36] 459*2^1122591-1 is not prime. Res64: 2775EF17DC6228A5 Time : 0.0 sec. user=henryzz [2012-02-12 16:19:22] 591*2^1122591-1 is not prime. Res64: 48BF1999AFFE1B92 Time : 0.0 sec. user=henryzz [2012-02-12 16:22:08] 419*2^1122592-1 is not prime. Res64: 06D957474B12F65C Time : 0.0 sec. user=henryzz [2012-02-12 16:22:12] 435*2^1122592-1 is not prime. Res64: 61A8DDE8F2D4B224 Time : 0.0 sec. user=henryzz [2012-02-12 16:22:15] 567*2^1122593-1 is not prime. Res64: ACFE93B4AA834E7A Time : 0.0 sec. user=henryzz [2012-02-12 16:40:18] 423*2^1122594-1 is not prime. Res64: B9D804A6E043F421 Time : 0.0 sec. user=henryzz [2012-02-12 16:42:50] 431*2^1122594-1 is not prime. Res64: 0521784DD3B658DA Time : 0.0 sec. user=henryzz [2012-02-12 16:43:10] 495*2^1122594-1 is not prime. Res64: CD05992D0421DF32 Time : 0.0 sec. user=henryzz [2012-02-12 16:43:23] 447*2^1122594-1 is not prime. Res64: AA057FDF22B8D66F Time : 0.0 sec. user=vaughan [2012-02-12 16:51:28] 525*2^1122534-1 is not prime. Res64: 1116D8D5A0EECDE5 Time : 0.0 sec. user=vaughan [2012-02-12 16:56:17] 587*2^1122534-1 is not prime. Res64: DD996B2181918D0D Time : 0.0 sec. user=vaughan [2012-02-12 16:57:24] 405*2^1122351-1 is not prime. Res64: 74DE13FBDCCD135B Time : 0.0 sec. user=vaughan [2012-02-12 16:58:13] 577*2^1122353-1 is not prime. Res64: 2148EEA3F9223089 Time : 0.0 sec. user=vaughan [2012-02-12 16:59:14] 411*2^1122343-1 is not prime. Res64: 4C89670E6E7172A0 Time : 0.0 sec. user=vaughan [2012-02-12 16:59:23] 475*2^1122531-1 is not prime. Res64: 31C447B683067BD2 Time : 0.0 sec. user=vaughan [2012-02-12 17:00:09] 581*2^1122346-1 is not prime. Res64: CD169B013ECE2D70 Time : 0.0 sec. user=henryzz [2012-02-12 17:01:44] 513*2^1122594-1 is not prime. Res64: EFCB0478E62E3F7B Time : 0.0 sec. user=vaughan [2012-02-12 17:02:02] 501*2^1122353-1 is not prime. Res64: 9C6D874C4DAC15E3 Time : 0.0 sec. user=vaughan [2012-02-12 17:04:04] 505*2^1122547-1 is not prime. Res64: D14E9DAD64C801A6 Time : 0.0 sec. user=vaughan [2012-02-12 17:04:05] 523*2^1122547-1 is not prime. Res64: 5ACD49097F07D193 Time : 0.0 sec. user=henryzz [2012-02-12 17:04:24] 563*2^1122594-1 is not prime. Res64: 126F66B5606D5EF1 Time : 0.0 sec. user=henryzz [2012-02-12 17:04:36] 415*2^1122595-1 is not prime. Res64: DFB36C242A146109 Time : 0.0 sec. user=vaughan [2012-02-12 17:05:39] 413*2^1122548-1 is not prime. Res64: 046BEC1BBCBCD9D0 Time : 0.0 sec. user=vaughan [2012-02-12 17:05:41] 459*2^1122548-1 is not prime. Res64: DE7F899DC0B07C7A Time : 0.0 sec. user=henryzz [2012-02-12 17:06:01] 441*2^1122595-1 is not prime. Res64: 835A147F124B68E9 Time : 0.0 sec. user=vaughan [2012-02-12 17:07:45] 435*2^1122536-1 is not prime. Res64: 09DD92A5DEB7B023 Time : 0.0 sec. user=vaughan [2012-02-12 17:07:46] 447*2^1122536-1 is not prime. Res64: D9EB01A0E1ABC38E Time : 0.0 sec. user=vaughan [2012-02-12 17:09:14] 531*2^1122537-1 is not prime. Res64: C8AB701134D417F9 Time : 0.0 sec. user=vaughan [2012-02-12 17:09:15] 571*2^1122537-1 is not prime. Res64: B26389557F597637 Time : 0.0 sec. user=vaughan [2012-02-12 17:13:05] 463*2^1122595-1 is not prime. Res64: C422940C0CDB2858 Time : 0.0 sec. user=vaughan [2012-02-12 17:13:12] 481*2^1122595-1 is not prime. Res64: 934E8E66EECB4AA3 Time : 0.0 sec. user=vaughan [2012-02-12 17:13:46] 561*2^1122542-1 is not prime. Res64: 892DC7E18AD0F494 Time : 0.0 sec. user=vaughan [2012-02-12 17:13:47] 481*2^1122543-1 is not prime. Res64: 9DAB36B254D44C79 Time : 0.0 sec. user=vaughan [2012-02-12 17:14:30] 565*2^1122539-1 is not prime. Res64: 8499F997E1DE8B09 Time : 0.0 sec. user=vaughan [2012-02-12 17:14:31] 515*2^1122540-1 is not prime. Res64: 0212DEC73279BE17 Time : 0.0 sec. user=vaughan [2012-02-12 17:14:50] 525*2^1122540-1 is not prime. Res64: BC238FE9E8639CA6 Time : 0.0 sec. user=vaughan [2012-02-12 17:14:51] 421*2^1122541-1 is not prime. Res64: 3812C2349BFDE794 Time : 0.0 sec. user=henryzz [2012-02-12 17:23:55] 555*2^1122600-1 is not prime. Res64: 258CEB88670744E6 Time : 0.0 sec. user=vaughan [2012-02-12 17:25:41] 447*2^1122601-1 is not prime. Res64: E65E2BF9DD9A9534 Time : 0.0 sec. user=vaughan [2012-02-12 17:25:42] 577*2^1122601-1 is not prime. Res64: 6DCC29D0AD5CA66E Time : 0.0 sec. user=henryzz [2012-02-12 17:26:13] 405*2^1122602-1 is not prime. Res64: 06C916B9CBFF720A Time : 0.0 sec. user=henryzz [2012-02-12 17:26:42] 435*2^1122602-1 is not prime. Res64: 4AA74127DA500921 Time : 0.0 sec. user=vaughan [2012-02-12 17:27:07] 545*2^1122602-1 is not prime. Res64: 6629F5B25E840419 Time : 0.0 sec. user=vaughan [2012-02-12 17:27:08] 561*2^1122602-1 is not prime. Res64: 46D4797CB8205D5B Time : 0.0 sec. user=vaughan [2012-02-12 17:27:10] 557*2^1122600-1 is not prime. Res64: FD6907EBACF18389 Time : 0.0 sec. user=vaughan [2012-02-12 17:27:10] 429*2^1122601-1 is not prime. Res64: 1828439EC047191D Time : 0.0 sec. user=henryzz [2012-02-12 17:27:58] 593*2^1122602-1 is not prime. Res64: B655F301C9EA0FBD Time : 0.0 sec. user=vaughan [2012-02-12 17:30:50] 535*2^1122595-1 is not prime. Res64: 1C81052A681A43C8 Time : 0.0 sec. user=vaughan [2012-02-12 17:30:50] 573*2^1122595-1 is not prime. Res64: E84A35F2B4CEE2C1 Time : 0.0 sec. user=vaughan [2012-02-12 17:31:55] 583*2^1122595-1 is not prime. Res64: 3B69373E336D63AD Time : 0.0 sec. user=vaughan [2012-02-12 17:31:55] 455*2^1122596-1 is not prime. Res64: F4F388A2F4F203B8 Time : 0.0 sec. user=vaughan [2012-02-12 17:32:44] 525*2^1122596-1 is not prime. Res64: 89ED434321E8769C Time : 0.0 sec. user=vaughan [2012-02-12 17:32:45] 537*2^1122596-1 is not prime. Res64: BA0BB5FC1A136DFC Time : 0.0 sec. user=vaughan [2012-02-12 17:33:46] 443*2^1122598-1 is not prime. Res64: 8912CE0D07631326 Time : 0.0 sec. user=vaughan [2012-02-12 17:33:46] 561*2^1122598-1 is not prime. Res64: 749E8C88F213180F Time : 0.0 sec. user=vaughan [2012-02-12 17:33:56] 423*2^1122599-1 is not prime. Res64: E4A5F4ED08775F44 Time : 0.0 sec. user=vaughan [2012-02-12 17:33:57] 559*2^1122599-1 is not prime. Res64: 43979380AD8246BD Time : 0.0 sec. user=vaughan [2012-02-12 17:34:46] 447*2^1122600-1 is not prime. Res64: E89B0DF75DD272C7 Time : 0.0 sec. user=vaughan [2012-02-12 17:34:46] 453*2^1122600-1 is not prime. Res64: 9075E599B221511A Time : 0.0 sec. user=vaughan [2012-02-12 17:34:47] 483*2^1122606-1 is not prime. Res64: EDDEA70DFE0ABBEC Time : 0.0 sec. user=vaughan [2012-02-12 17:34:47] 513*2^1122606-1 is not prime. Res64: B62F03DD2B2D8812 Time : 0.0 sec. user=vaughan [2012-02-12 17:35:36] 545*2^1122596-1 is not prime. Res64: A0148DCAC15B5CDB Time : 0.0 sec. user=vaughan [2012-02-12 17:35:36] 563*2^1122596-1 is not prime. Res64: EFAB858550A37BD1 Time : 0.0 sec. user=vaughan [2012-02-12 17:35:37] 549*2^1122597-1 is not prime. Res64: 6089543533FE167C Time : 0.0 sec. user=vaughan [2012-02-12 17:35:37] 595*2^1122597-1 is not prime. Res64: 90511AE899B99715 Time : 0.0 sec. user=vaughan [2012-02-12 17:38:58] 447*2^1122605-1 is not prime. Res64: 7A7671D3371A5FE4 Time : 0.0 sec. user=vaughan [2012-02-12 17:38:59] 489*2^1122605-1 is not prime. Res64: E9A214EA4E7AEAA9 Time : 0.0 sec. user=vaughan [2012-02-12 17:39:22] 483*2^1122607-1 is not prime. Res64: 715639C15D21F44E Time : 0.0 sec. user=vaughan [2012-02-12 17:39:23] 511*2^1122607-1 is not prime. Res64: E5A0D811A8C73384 Time : 0.0 sec. user=vaughan [2012-02-12 17:40:04] 519*2^1122607-1 is not prime. Res64: 33482CCE8157FBAC Time : 0.0 sec. user=vaughan [2012-02-12 17:40:05] 553*2^1122607-1 is not prime. Res64: 0356338E1F1E5546 Time : 0.0 sec. user=vaughan [2012-02-12 17:40:28] 511*2^1122605-1 is not prime. Res64: C7C0E06337A58896 Time : 0.0 sec. user=vaughan [2012-02-12 17:40:28] 529*2^1122605-1 is not prime. Res64: 8F8D947F552A568C Time : 0.0 sec. user=vaughan [2012-02-12 17:43:01] 519*2^1122604-1 is not prime. Res64: 43EBFBD350F0DD68 Time : 0.0 sec. user=vaughan [2012-02-12 17:43:01] 527*2^1122604-1 is not prime. Res64: 81FB77A92E69D83B Time : 0.0 sec. user=henryzz [2012-02-12 17:44:49] 465*2^1122609-1 is not prime. Res64: 997183118815795D Time : 0.0 sec. user=vaughan [2012-02-12 17:45:06] 525*2^1122606-1 is not prime. Res64: CF0968B997C2579E Time : 0.0 sec. user=vaughan [2012-02-12 17:45:06] 567*2^1122606-1 is not prime. Res64: AD941469E5589A8D Time : 0.0 sec. user=vaughan [2012-02-12 17:47:06] 471*2^1122609-1 is not prime. Res64: 8A2A85DC4A6F4A5D Time : 0.0 sec. user=vaughan [2012-02-12 17:47:06] 549*2^1122609-1 is not prime. Res64: AF072D63E55F54B0 Time : 0.0 sec. user=henryzz [2012-02-12 17:47:31] 545*2^1122610-1 is not prime. Res64: 735280096EA87DC6 Time : 0.0 sec. user=henryzz [2012-02-12 17:47:36] 463*2^1122611-1 is not prime. Res64: B013B3C32D329E6B Time : 0.0 sec. user=vaughan [2012-02-12 17:47:36] 577*2^1122605-1 is not prime. Res64: A9394BBAB1B3E092 Time : 0.0 sec. user=vaughan [2012-02-12 17:47:37] 579*2^1122605-1 is not prime. Res64: 26294EEF78DF8C46 Time : 0.0 sec. user=vaughan [2012-02-12 17:48:36] 505*2^1122611-1 is not prime. Res64: CEBE7612581DC2C2 Time : 0.0 sec. user=vaughan [2012-02-12 17:48:37] 549*2^1122611-1 is not prime. Res64: 10F88FED00728EAC Time : 0.0 sec. user=henryzz [2012-02-12 17:49:31] 585*2^1122612-1 is not prime. Res64: 627462CB72E7616C Time : 0.0 sec. user=vaughan [2012-02-12 17:52:13] 589*2^1122607-1 is not prime. Res64: F2651ACDEF11CC50 Time : 0.0 sec. user=vaughan [2012-02-12 17:52:13] 533*2^1122608-1 is not prime. Res64: 0C35EC9777397EC7 Time : 0.0 sec. user=vaughan [2012-02-12 17:52:29] 423*2^1122612-1 is not prime. Res64: D57105F9837D72B6 Time : 0.0 sec. user=vaughan [2012-02-12 17:52:30] 515*2^1122612-1 is not prime. Res64: 7D20FC310658F360 Time : 0.0 sec. user=vaughan [2012-02-12 17:56:21] 585*2^1122617-1 is not prime. Res64: E02888E92AC05604 Time : 0.0 sec. user=vaughan [2012-02-12 17:56:22] 589*2^1122617-1 is not prime. Res64: 5DFE2D4D0DE8A5A1 Time : 0.0 sec. user=vaughan [2012-02-12 18:04:27] 465*2^1122620-1 is not prime. Res64: 9B05B2AB81B977DD Time : 0.0 sec. user=vaughan [2012-02-12 18:04:29] 477*2^1122620-1 is not prime. Res64: 6470A1E778AD7F2D Time : 0.0 sec. user=henryzz [2012-02-12 18:05:03] 527*2^1122622-1 is not prime. Res64: D1DD06B7E3DF2058 Time : 0.0 sec. user=vaughan [2012-02-12 18:05:14] 503*2^1122620-1 is not prime. Res64: CC0F031079DE4A45 Time : 0.0 sec. user=vaughan [2012-02-12 18:05:14] 515*2^1122620-1 is not prime. Res64: 7488C478F1E7ECEB Time : 0.0 sec. user=vaughan [2012-02-12 18:05:21] 499*2^1122613-1 is not prime. Res64: 62881F3D41B56C11 Time : 0.0 sec. user=vaughan [2012-02-12 18:05:24] 541*2^1122613-1 is not prime. Res64: C3190EE8354F0F11 Time : 0.0 sec. user=vaughan [2012-02-12 18:06:25] 549*2^1122613-1 is not prime. Res64: AC86432688B206AA Time : 0.0 sec. user=vaughan [2012-02-12 18:06:27] 407*2^1122614-1 is not prime. Res64: D2A3BEC75C5CF48B Time : 0.0 sec. user=vaughan [2012-02-12 18:07:17] 423*2^1122614-1 is not prime. Res64: E8F24D07B0614BBE Time : 0.0 sec. user=vaughan [2012-02-12 18:07:18] 495*2^1122614-1 is not prime. Res64: 5AF6ADE6328F48DD Time : 0.0 sec. user=vaughan [2012-02-12 18:08:22] 459*2^1122615-1 is not prime. Res64: 771B0D613DC50B5E Time : 0.0 sec. user=henryzz [2012-02-12 18:08:23] 413*2^1122624-1 is not prime. Res64: E3DF2A0BF89444D3 Time : 0.0 sec. user=vaughan [2012-02-12 18:08:23] 489*2^1122615-1 is not prime. Res64: D898242151903B60 Time : 0.0 sec. user=vaughan [2012-02-12 18:08:29] 437*2^1122616-1 is not prime. Res64: 087C05F0C8C4574F Time : 0.0 sec. user=vaughan [2012-02-12 18:08:31] 453*2^1122616-1 is not prime. Res64: F9CBCBD496D5F5C0 Time : 0.0 sec. user=henryzz [2012-02-12 18:08:41] 411*2^1122625-1 is not prime. Res64: 0252AFA286DEC54F Time : 0.0 sec. user=vaughan [2012-02-12 18:08:48] 571*2^1122623-1 is not prime. Res64: 4734A61F7D3BDCDB Time : 0.0 sec. user=vaughan [2012-02-12 18:08:51] 573*2^1122623-1 is not prime. Res64: E9039205E39C2BE8 Time : 0.0 sec. user=vaughan [2012-02-12 18:09:22] 509*2^1122616-1 is not prime. Res64: 04D265EC1597C0A3 Time : 0.0 sec. user=vaughan [2012-02-12 18:09:23] 507*2^1122617-1 is not prime. Res64: CD65EE4F8CE35979 Time : 0.0 sec. user=henryzz [2012-02-12 18:10:12] 503*2^1122626-1 is not prime. Res64: FFEB509D870FE0D9 Time : 0.0 sec. user=vaughan [2012-02-12 18:10:17] 405*2^1122620-1 is not prime. Res64: BFB0335964FB44A0 Time : 0.0 sec. user=vaughan [2012-02-12 18:10:18] 447*2^1122620-1 is not prime. Res64: C1BF07EFCF2FEC1B Time : 0.0 sec. user=vaughan [2012-02-12 18:10:26] 415*2^1122625-1 is not prime. Res64: 17650BC583FEB003 Time : 0.0 sec. user=vaughan [2012-02-12 18:10:27] 473*2^1122626-1 is not prime. Res64: 545CCED2AA26EB36 Time : 0.0 sec. user=vaughan [2012-02-12 18:11:45] 471*2^1122621-1 is not prime. Res64: D5610A8C4EB8BF5D Time : 0.0 sec. user=vaughan [2012-02-12 18:11:46] 507*2^1122621-1 is not prime. Res64: BBA5D9AD638B32A4 Time : 0.0 sec. user=vaughan [2012-02-12 18:12:24] 421*2^1122619-1 is not prime. Res64: 6F6345E159C2D304 Time : 0.0 sec. user=vaughan [2012-02-12 18:12:25] 489*2^1122619-1 is not prime. Res64: 08830F39BDC2F540 Time : 0.0 sec. user=vaughan [2012-02-12 18:12:26] 429*2^1122619-1 is not prime. Res64: D3AB16EFA44E9504 Time : 0.0 sec. user=vaughan [2012-02-12 18:12:26] 579*2^1122619-1 is not prime. Res64: E5756231B65C3610 Time : 0.0 sec. user=vaughan [2012-02-12 18:16:25] 533*2^1122622-1 is not prime. Res64: A041768447D53047 Time : 0.0 sec. user=vaughan [2012-02-12 18:16:25] 549*2^1122623-1 is not prime. Res64: EAC686D8A9967D92 Time : 0.0 sec. user=vaughan [2012-02-12 18:17:23] 489*2^1122627-1 is not prime. Res64: 3E244045D019264C Time : 0.0 sec. user=vaughan [2012-02-12 18:17:23] 513*2^1122627-1 is not prime. Res64: 2BD05C8F82068258 Time : 0.0 sec. user=vaughan [2012-02-12 18:18:08] 435*2^1122629-1 is not prime. Res64: 31D16177B796CFD3 Time : 0.0 sec. user=vaughan [2012-02-12 18:18:08] 469*2^1122629-1 is not prime. Res64: 7F5F2D92F7EE48FE Time : 0.0 sec. user=vaughan [2012-02-12 18:19:45] 577*2^1122621-1 is not prime. Res64: 7807C459BC348F35 Time : 0.0 sec. user=vaughan [2012-02-12 18:19:45] 507*2^1122622-1 is not prime. Res64: 30FC2EE396F7660E Time : 0.0 sec. user=vaughan [2012-02-12 18:24:19] 549*2^1122624-1 is not prime. Res64: FFD12D2EC155B8AE Time : 0.0 sec. user=vaughan [2012-02-12 18:24:20] 587*2^1122624-1 is not prime. Res64: 6FD95513D7B5C22A Time : 0.0 sec. user=henryzz [2012-02-12 18:26:03] 589*2^1122629-1 is not prime. Res64: 351ECE6D8922B06B Time : 0.0 sec. user=vaughan [2012-02-12 18:28:56] 593*2^1122626-1 is not prime. Res64: 0B207D0DA9ACEAE1 Time : 0.0 sec. user=vaughan [2012-02-12 18:28:57] 403*2^1122627-1 is not prime. Res64: D52E06EFBB5B1F4C Time : 0.0 sec. user=henryzz [2012-02-12 18:29:05] 555*2^1122633-1 is not prime. Res64: D9CDFEAEADF2A3A2 Time : 0.0 sec. user=henryzz [2012-02-12 18:29:11] 475*2^1122633-1 is not prime. Res64: 443A003D770ADFC6 Time : 0.0 sec. user=vaughan [2012-02-12 18:29:36] 487*2^1122629-1 is not prime. Res64: 9459F6E12B051EA2 Time : 0.0 sec. user=vaughan [2012-02-12 18:29:37] 507*2^1122629-1 is not prime. Res64: BBBB1543D325D436 Time : 0.0 sec. user=vaughan [2012-02-12 18:30:15] 437*2^1122634-1 is not prime. Res64: 9C9D567570AC3AED Time : 0.0 sec. user=vaughan [2012-02-12 18:30:16] 443*2^1122634-1 is not prime. Res64: 767810EE0F5A1F34 Time : 0.0 sec. user=vaughan [2012-02-12 18:30:23] 431*2^1122630-1 is not prime. Res64: 8F5703ED573A0419 Time : 0.0 sec. user=vaughan [2012-02-12 18:30:24] 453*2^1122630-1 is not prime. Res64: EBB633CE79A2F254 Time : 0.0 sec. user=henryzz [2012-02-12 18:30:54] 503*2^1122636-1 is not prime. Res64: 816713C119E0DAE6 Time : 0.0 sec. user=vaughan [2012-02-12 18:32:11] 589*2^1122637-1 is not prime. Res64: 7DFF80A0B2544C8E Time : 0.0 sec. user=vaughan [2012-02-12 18:32:11] 415*2^1122639-1 is not prime. Res64: FF0CFE9C805480F8 Time : 0.0 sec. user=vaughan [2012-02-12 18:39:43] 511*2^1122641-1 is not prime. Res64: 58666219D2508F81 Time : 0.0 sec. user=vaughan [2012-02-12 18:39:44] 537*2^1122641-1 is not prime. Res64: 306ABE2D71D22B5C Time : 0.0 sec. user=vaughan [2012-02-12 18:40:06] 499*2^1122631-1 is not prime. Res64: 9AC73F7C3D519815 Time : 0.0 sec. user=vaughan [2012-02-12 18:40:07] 511*2^1122631-1 is not prime. Res64: EAFCB93B5E5F173F Time : 0.0 sec. user=vaughan [2012-02-12 18:41:00] 449*2^1122632-1 is not prime. Res64: 9D0525E5C8C3F89F Time : 0.0 sec. user=vaughan [2012-02-12 18:41:00] 483*2^1122632-1 is not prime. Res64: 3A3858515770FDDD Time : 0.0 sec. user=vaughan [2012-02-12 18:41:38] 567*2^1122636-1 is not prime. Res64: A159056C24872AA0 Time : 0.0 sec. user=vaughan [2012-02-12 18:41:39] 565*2^1122637-1 is not prime. Res64: 3E01C8E18FE61513 Time : 0.0 sec. user=vaughan [2012-02-12 18:41:49] 519*2^1122632-1 is not prime. Res64: 58699A0DC17DC489 Time : 0.0 sec. user=vaughan [2012-02-12 18:41:50] 525*2^1122632-1 is not prime. Res64: 922D42B013C3A37D Time : 0.0 sec. user=vaughan [2012-02-12 18:42:41] 441*2^1122641-1 is not prime. Res64: 2BF1C206BC6EFE75 Time : 0.0 sec. user=vaughan [2012-02-12 18:42:41] 459*2^1122641-1 is not prime. Res64: 581583B43FCC6BEE Time : 0.0 sec. user=vaughan [2012-02-12 18:42:56] 533*2^1122632-1 is not prime. Res64: 1CE2F7CDB0A0800D Time : 0.0 sec. user=vaughan [2012-02-12 18:42:56] 405*2^1122633-1 is not prime. Res64: 5E93A25A9AD38976 Time : 0.0 sec. user=vaughan [2012-02-12 18:43:02] 499*2^1122633-1 is not prime. Res64: 16C73F107BF97782 Time : 0.0 sec. user=vaughan [2012-02-12 18:43:03] 511*2^1122633-1 is not prime. Res64: 6986C8A39001F603 Time : 0.0 sec. user=vaughan [2012-02-12 18:43:09] 471*2^1122639-1 is not prime. Res64: 16B4E5D375DAE590 Time : 0.0 sec. user=vaughan [2012-02-12 18:43:09] 489*2^1122639-1 is not prime. Res64: DAEEDD38A33D3632 Time : 0.0 sec. user=vaughan [2012-02-12 18:43:58] 585*2^1122635-1 is not prime. Res64: 6A3759130A695B75 Time : 0.0 sec. user=vaughan [2012-02-12 18:43:58] 437*2^1122636-1 is not prime. Res64: 119A1E04135CA1C0 Time : 0.0 sec. user=henryzz [2012-02-12 18:46:27] 511*2^1122643-1 is not prime. Res64: 0F584FB295C7F822 Time : 0.0 sec. user=vaughan [2012-02-12 18:47:42] 411*2^1122641-1 is not prime. Res64: 0351497E2FA4D6C4 Time : 0.0 sec. user=vaughan [2012-02-12 18:47:43] 421*2^1122641-1 is not prime. Res64: CADD68A324DED0AD Time : 0.0 sec. user=vaughan [2012-02-12 18:49:07] 467*2^1122640-1 is not prime. Res64: ACE19BF04A4E56E7 Time : 0.0 sec. user=vaughan [2012-02-12 18:49:08] 527*2^1122640-1 is not prime. Res64: 223F667B6E8EDC08 Time : 0.0 sec. user=vaughan [2012-02-12 18:49:09] 573*2^1122639-1 is not prime. Res64: E82A81EE1D1E7203 Time : 0.0 sec. user=vaughan [2012-02-12 18:49:10] 449*2^1122640-1 is not prime. Res64: 540D34EF05D50CEB Time : 0.0 sec. user=henryzz [2012-02-12 18:49:35] 579*2^1122644-1 is not prime. Res64: 6CAD7BBDA8A6B601 Time : 0.0 sec. user=henryzz [2012-02-12 18:49:41] 441*2^1122645-1 is not prime. Res64: 3E841702D01A5B42 Time : 0.0 sec. user=henryzz [2012-02-12 18:51:24] 447*2^1122646-1 is not prime. Res64: 901DE0AC1BBD9B0A Time : 0.0 sec. user=vaughan [2012-02-12 18:51:40] 457*2^1122645-1 is not prime. Res64: 066233EECF383C2A Time : 0.0 sec. user=vaughan [2012-02-12 18:51:41] 511*2^1122645-1 is not prime. Res64: 711611262F69B254 Time : 0.0 sec. user=vaughan [2012-02-12 18:53:31] 455*2^1122646-1 is not prime. Res64: 16DD6B60E42CCC5E Time : 0.0 sec. user=vaughan [2012-02-12 18:53:32] 461*2^1122646-1 is not prime. Res64: 95E8D75F3B641374 Time : 0.0 sec. user=vaughan [2012-02-12 18:54:56] 445*2^1122645-1 is not prime. Res64: E0095FF47E1830D5 Time : 0.0 sec. user=vaughan [2012-02-12 18:54:57] 447*2^1122645-1 is not prime. Res64: CCA1AD0FCDBE3FF7 Time : 0.0 sec. user=vaughan [2012-02-12 18:55:38] 555*2^1122645-1 is not prime. Res64: 6ACEDCFF98C14DF5 Time : 0.0 sec. user=vaughan [2012-02-12 18:55:39] 413*2^1122646-1 is not prime. Res64: 4B31B58A21871EBD Time : 0.0 sec. user=vaughan [2012-02-12 18:56:23] 563*2^1122642-1 is not prime. Res64: 659BFC1E1A3C228E Time : 0.0 sec. user=vaughan [2012-02-12 18:56:24] 421*2^1122643-1 is not prime. Res64: 6A8E37856CB9D823 Time : 0.0 sec. user=vaughan [2012-02-12 19:01:02] 429*2^1122643-1 is not prime. Res64: D4B3857420F16AED Time : 0.0 sec. user=vaughan [2012-02-12 19:01:03] 483*2^1122643-1 is not prime. Res64: 689475E36E349430 Time : 0.0 sec. user=vaughan [2012-02-12 19:01:14] 471*2^1122646-1 is not prime. Res64: A43DEB34A78143C1 Time : 0.0 sec. user=vaughan [2012-02-12 19:01:16] 587*2^1122646-1 is not prime. Res64: 912C9C7BB0F729A6 Time : 0.0 sec. user=vaughan [2012-02-12 19:05:38] 583*2^1122643-1 is not prime. Res64: F5216C11E6B4D5D1 Time : 0.0 sec. user=vaughan [2012-02-12 19:05:39] 595*2^1122643-1 is not prime. Res64: 88AD0D9F7B19CCCF Time : 0.0 sec. user=henryzz [2012-02-12 19:07:24] 559*2^1122653-1 is not prime. Res64: 5491536EB9EE9B4A Time : 0.0 sec. user=vaughan [2012-02-12 19:07:27] 595*2^1122649-1 is not prime. Res64: 4AC8182E0F808BCD Time : 0.0 sec. user=vaughan [2012-02-12 19:07:28] 417*2^1122650-1 is not prime. Res64: 5B9F52E6289EB1BD Time : 0.0 sec. user=henryzz [2012-02-12 19:09:56] 465*2^1122655-1 is not prime. Res64: 1D7099714317610D Time : 0.0 sec. user=henryzz [2012-02-12 19:10:06] 541*2^1122655-1 is not prime. Res64: 3E440D6CE0053C5A Time : 0.0 sec. user=henryzz [2012-02-12 19:11:40] 455*2^1122656-1 is not prime. Res64: 7C355876A0908B46 Time : 0.0 sec. user=vaughan [2012-02-12 19:12:52] 559*2^1122647-1 is not prime. Res64: 44F8BDE16328AD81 Time : 0.0 sec. user=vaughan [2012-02-12 19:12:53] 437*2^1122648-1 is not prime. Res64: 2CD91B92BFECFA7D Time : 0.0 sec. user=vaughan [2012-02-12 19:13:17] 459*2^1122656-1 is not prime. Res64: 9B649DB361CFF175 Time : 0.0 sec. user=vaughan [2012-02-12 19:13:18] 519*2^1122656-1 is not prime. Res64: 97FB00C18A609DE2 Time : 0.0 sec. user=vaughan [2012-02-12 19:14:25] 483*2^1122652-1 is not prime. Res64: 74328CC3FE2DF74A Time : 0.0 sec. user=vaughan [2012-02-12 19:14:26] 489*2^1122652-1 is not prime. Res64: 108558D304979A40 Time : 0.0 sec. user=vaughan [2012-02-12 19:14:47] 591*2^1122646-1 is not prime. Res64: 00718E9C023949DB Time : 0.0 sec. user=vaughan [2012-02-12 19:14:47] 593*2^1122646-1 is not prime. Res64: 4566353F3189E770 Time : 0.0 sec. user=vaughan [2012-02-12 19:15:10] 563*2^1122656-1 is not prime. Res64: BCA2001D6785F158 Time : 0.0 sec. user=vaughan [2012-02-12 19:15:10] 585*2^1122656-1 is not prime. Res64: 4B9245C1DB9BAFF2 Time : 0.0 sec. user=vaughan [2012-02-12 19:15:39] 403*2^1122647-1 is not prime. Res64: B0B0C9699891D0F1 Time : 0.0 sec. user=vaughan [2012-02-12 19:15:40] 511*2^1122647-1 is not prime. Res64: 4C5A5AE6C69B14DB Time : 0.0 sec. user=vaughan [2012-02-12 19:16:33] 557*2^1122648-1 is not prime. Res64: 9F20A003D47B2305 Time : 0.0 sec. user=vaughan [2012-02-12 19:16:33] 481*2^1122649-1 is not prime. Res64: A30A69C9174FE33D Time : 0.0 sec. user=vaughan [2012-02-12 19:17:40] 435*2^1122652-1 is not prime. Res64: 3D35000D75965705 Time : 0.0 sec. user=vaughan [2012-02-12 19:17:41] 437*2^1122650-1 is not prime. Res64: 75AA1971082F22F8 Time : 0.0 sec. user=vaughan [2012-02-12 19:17:41] 447*2^1122652-1 is not prime. Res64: 1688A63B1CE19F69 Time : 0.0 sec. user=vaughan [2012-02-12 19:17:41] 415*2^1122651-1 is not prime. Res64: 38696DE28DD89444 Time : 0.0 sec. user=vaughan [2012-02-12 19:18:40] 545*2^1122652-1 is not prime. Res64: 9330EC1D1AA67ECD Time : 0.0 sec. user=vaughan [2012-02-12 19:18:40] 573*2^1122652-1 is not prime. Res64: 0700940D9E7CD1A1 Time : 0.0 sec. user=vaughan [2012-02-12 19:18:58] 567*2^1122653-1 is not prime. Res64: 1F938C49C32DA66A Time : 0.0 sec. user=vaughan [2012-02-12 19:18:59] 571*2^1122653-1 is not prime. Res64: 6E6333F7A9B1AFC3 Time : 0.0 sec. user=vaughan [2012-02-12 19:19:35] 439*2^1122657-1 is not prime. Res64: B20D05634ED3CA7F Time : 0.0 sec. user=vaughan [2012-02-12 19:19:35] 465*2^1122657-1 is not prime. Res64: 19970AA024C75598 Time : 0.0 sec. user=vaughan [2012-02-12 19:20:15] 483*2^1122658-1 is not prime. Res64: 09FD649E5A76DAEF Time : 0.0 sec. user=vaughan [2012-02-12 19:20:16] 403*2^1122659-1 is not prime. Res64: 9C588144C697984E Time : 0.0 sec. user=vaughan [2012-02-12 19:23:05] 579*2^1122659-1 is not prime. Res64: 30BDDBFC3979ACFF Time : 0.0 sec. user=vaughan [2012-02-12 19:23:06] 515*2^1122660-1 is not prime. Res64: 1C2D5D2BB928BA2E Time : 0.0 sec. user=vaughan [2012-02-12 19:25:46] 411*2^1122654-1 is not prime. Res64: 205DB684D0417830 Time : 0.0 sec. user=vaughan [2012-02-12 19:25:46] 453*2^1122654-1 is not prime. Res64: 1239882FBA28BEAF Time : 0.0 sec. user=vaughan [2012-02-12 19:25:49] 473*2^1122654-1 is not prime. Res64: 8C890062C422910F Time : 0.0 sec. user=vaughan [2012-02-12 19:25:50] 567*2^1122654-1 is not prime. Res64: AD3D2DB13EA63B05 Time : 0.0 sec. user=henryzz [2012-02-12 19:27:50] 587*2^1122660-1 is not prime. Res64: CF829CCC76FC9C4D Time : 0.0 sec. user=henryzz [2012-02-12 19:30:17] 427*2^1122661-1 is not prime. Res64: DD115013DC82C0DC Time : 0.0 sec. user=henryzz [2012-02-12 19:30:45] 405*2^1122661-1 is not prime. Res64: 90C085B0A8122AC8 Time : 0.0 sec. user=vaughan [2012-02-12 19:32:09] 539*2^1122660-1 is not prime. Res64: 212CB24EFD3B5B66 Time : 0.0 sec. user=vaughan [2012-02-12 19:32:09] 555*2^1122660-1 is not prime. Res64: A462F67DA74262C6 Time : 0.0 sec. user=henryzz [2012-02-12 19:32:32] 525*2^1122661-1 is not prime. Res64: ACF3D9FB2CEFC15E Time : 0.0 sec. user=vaughan [2012-02-12 19:33:04] 435*2^1122659-1 is not prime. Res64: 6E60890949A80782 Time : 0.0 sec. user=vaughan [2012-02-12 19:33:05] 481*2^1122659-1 is not prime. Res64: 7BE98B45DCC7E165 Time : 0.0 sec. user=vaughan [2012-02-12 19:34:53] 483*2^1122663-1 is not prime. Res64: 3B3EF8C9546EC6D7 Time : 0.0 sec. user=vaughan [2012-02-12 19:34:53] 419*2^1122664-1 is not prime. Res64: 4A61BB3E3D1F6286 Time : 0.0 sec. user=vaughan [2012-02-12 19:36:53] 473*2^1122666-1 is not prime. Res64: 214760C1108B9914 Time : 0.0 sec. user=vaughan [2012-02-12 19:36:54] 421*2^1122667-1 is not prime. Res64: A137E16EC7766D29 Time : 0.0 sec. user=vaughan [2012-02-12 19:37:46] 523*2^1122659-1 is not prime. Res64: A475A4C74ED37344 Time : 0.0 sec. user=vaughan [2012-02-12 19:37:46] 571*2^1122659-1 is not prime. Res64: 810AF6CBB6DA1AE0 Time : 0.0 sec. user=vaughan [2012-02-12 19:42:18] 525*2^1122660-1 is not prime. Res64: 47D212621B7ED712 Time : 0.0 sec. user=vaughan [2012-02-12 19:42:19] 527*2^1122660-1 is not prime. Res64: A03FF97223CCFA5B Time : 0.0 sec. user=vaughan [2012-02-12 19:44:09] 577*2^1122661-1 is not prime. Res64: 9A30C69FB7305B6E Time : 0.0 sec. user=vaughan [2012-02-12 19:44:10] 471*2^1122663-1 is not prime. Res64: 63643FB3A091EA46 Time : 0.0 sec. user=vaughan [2012-02-12 19:44:19] 435*2^1122673-1 is not prime. Res64: 6AF77B213E747B7C Time : 0.0 sec. user=vaughan [2012-02-12 19:44:20] 439*2^1122673-1 is not prime. Res64: ED6F76EFEF4C6DF1 Time : 0.0 sec. user=vaughan [2012-02-12 19:44:38] 501*2^1122674-1 is not prime. Res64: 1FBB5EE01C8EA915 Time : 0.0 sec. user=vaughan [2012-02-12 19:44:38] 551*2^1122674-1 is not prime. Res64: 04421D6FEACFA314 Time : 0.0 sec. user=vaughan [2012-02-12 19:45:00] 567*2^1122673-1 is not prime. Res64: B5390E319EECEF59 Time : 0.0 sec. user=vaughan [2012-02-12 19:45:01] 437*2^1122674-1 is not prime. Res64: 9A94F39115360271 Time : 0.0 sec. user=vaughan [2012-02-12 19:45:40] 435*2^1122664-1 is not prime. Res64: F3ADAFDDA8D32857 Time : 0.0 sec. user=vaughan [2012-02-12 19:45:41] 489*2^1122664-1 is not prime. Res64: 2EE6F37851B38712 Time : 0.0 sec. user=henryzz [2012-02-12 19:48:38] 513*2^1122675-1 is not prime. Res64: AB60BB8D440A58D0 Time : 0.0 sec. user=vaughan [2012-02-12 19:49:17] 587*2^1122664-1 is not prime. Res64: AB17BC6025DEDE4D Time : 0.0 sec. user=vaughan [2012-02-12 19:49:18] 447*2^1122666-1 is not prime. Res64: 07B6088D7AED7989 Time : 0.0 sec. user=vaughan [2012-02-12 19:50:13] 569*2^1122672-1 is not prime. Res64: 76B85AA7348303EB Time : 0.0 sec. user=vaughan [2012-02-12 19:50:14] 411*2^1122673-1 is not prime. Res64: 47E85AFA687B8D4E Time : 0.0 sec. user=vaughan [2012-02-12 19:50:14] 425*2^1122668-1 is not prime. Res64: 270A3A85DC13BFF7 Time : 0.0 sec. user=vaughan [2012-02-12 19:50:15] 465*2^1122668-1 is not prime. Res64: B4B66A133E544B52 Time : 0.0 sec. user=henryzz [2012-02-12 19:50:51] 545*2^1122676-1 is not prime. Res64: 781B42D42044F57A Time : 0.0 sec. user=henryzz [2012-02-12 19:51:01] 569*2^1122676-1 is not prime. Res64: 26869D43CF554152 Time : 0.0 sec. user=vaughan [2012-02-12 19:51:05] 415*2^1122669-1 is not prime. Res64: 1916A74EB55B8973 Time : 0.0 sec. user=vaughan [2012-02-12 19:51:05] 437*2^1122670-1 is not prime. Res64: 41BFE0B8405F3E99 Time : 0.0 sec. user=vaughan [2012-02-12 19:52:08] 455*2^1122670-1 is not prime. Res64: B54316EC46CE52A6 Time : 0.0 sec. user=vaughan [2012-02-12 19:52:08] 525*2^1122670-1 is not prime. Res64: 23538504EF125306 Time : 0.0 sec. user=vaughan [2012-02-12 19:52:10] 533*2^1122670-1 is not prime. Res64: D309E00DA6F79371 Time : 0.0 sec. user=vaughan [2012-02-12 19:52:11] 453*2^1122671-1 is not prime. Res64: CF7294C0A418ADF6 Time : 0.0 sec. user=henryzz [2012-02-12 19:52:51] 579*2^1122676-1 is not prime. Res64: 81F6576EB64C18EA Time : 0.0 sec. user=vaughan [2012-02-12 19:53:13] 479*2^1122672-1 is not prime. Res64: 440D1A1A7979BDAB Time : 0.0 sec. user=vaughan [2012-02-12 19:53:13] 527*2^1122672-1 is not prime. Res64: ED8D0D2AF4256568 Time : 0.0 sec. user=vaughan [2012-02-12 19:56:11] 567*2^1122677-1 is not prime. Res64: F3F3D560F053449F Time : 0.0 sec. user=vaughan [2012-02-12 19:56:12] 571*2^1122677-1 is not prime. Res64: A8B88FA0346EC7EC Time : 0.0 sec. user=vaughan [2012-02-12 19:56:51] 573*2^1122676-1 is not prime. Res64: F4F0CC8BB4B7D920 Time : 0.0 sec. user=vaughan [2012-02-12 19:56:51] 575*2^1122676-1 is not prime. Res64: 1A0D6B597577D8AA Time : 0.0 sec. user=vaughan [2012-02-12 19:58:20] 437*2^1122678-1 is not prime. Res64: 64902C2404B2A716 Time : 0.0 sec. user=vaughan [2012-02-12 19:58:21] 555*2^1122678-1 is not prime. Res64: DB241621ABE89475 Time : 0.0 sec. user=vaughan [2012-02-12 20:02:28] 563*2^1122674-1 is not prime. Res64: F8C0444A9AB73B62 Time : 0.0 sec. user=vaughan [2012-02-12 20:02:30] 453*2^1122675-1 is not prime. Res64: 5DFA746755D54A59 Time : 0.0 sec. user=vaughan [2012-02-12 20:02:30] 451*2^1122675-1 is not prime. Res64: F179FA851BFBB602 Time : 0.0 sec. user=vaughan [2012-02-12 20:02:31] 471*2^1122675-1 is not prime. Res64: A28DBDD35918C348 Time : 0.0 sec. user=vaughan [2012-02-12 20:06:01] 405*2^1122681-1 is not prime. Res64: BC9ABF0406DB3F19 Time : 0.0 sec. user=vaughan [2012-02-12 20:06:03] 579*2^1122681-1 is not prime. Res64: 6FBCD402656DC3B4 Time : 0.0 sec. user=vaughan [2012-02-12 20:08:54] 563*2^1122680-1 is not prime. Res64: ADE3C897474EFCA9 Time : 0.0 sec. user=vaughan [2012-02-12 20:08:57] 587*2^1122680-1 is not prime. Res64: B673774B769521E0 Time : 0.0 sec. user=vaughan [2012-02-12 20:09:40] 585*2^1122681-1 is not prime. Res64: 50B1B781B6300516 Time : 0.0 sec. user=vaughan [2012-02-12 20:09:41] 597*2^1122681-1 is not prime. Res64: 91EF17A3B12C1852 Time : 0.0 sec. user=henryzz [2012-02-12 20:09:43] 593*2^1122682-1 is not prime. Res64: 6409D05A2CB0F1B2 Time : 0.0 sec. user=vaughan [2012-02-12 20:09:45] 435*2^1122677-1 is not prime. Res64: A565AA340E0F346F Time : 0.0 sec. user=vaughan [2012-02-12 20:09:53] 495*2^1122677-1 is not prime. Res64: B36004E391A905A2 Time : 0.0 sec. user=henryzz [2012-02-12 20:11:09] 561*2^1122686-1 is not prime. Res64: AD1D6B31917314BB Time : 0.0 sec. user=henryzz [2012-02-12 20:11:23] 495*2^1122685-1 is not prime. Res64: 6AB9A6F9A0B074C5 Time : 0.0 sec. user=henryzz [2012-02-12 20:13:07] 525*2^1122688-1 is not prime. Res64: CA3250A94A1236B5 Time : 0.0 sec. user=vaughan [2012-02-12 20:14:30] 439*2^1122679-1 is not prime. Res64: 7FCBDD2DAFC62B4D Time : 0.0 sec. user=vaughan [2012-02-12 20:14:30] 525*2^1122679-1 is not prime. Res64: C359EA3DC3BED0C5 Time : 0.0 sec. user=vaughan [2012-02-12 20:15:19] 405*2^1122680-1 is not prime. Res64: 89F5D5CF32E6F855 Time : 0.0 sec. user=vaughan [2012-02-12 20:15:20] 465*2^1122680-1 is not prime. Res64: 6D205B390A6EA1AB Time : 0.0 sec. user=vaughan [2012-02-12 20:16:50] 413*2^1122682-1 is not prime. Res64: E75549FF139432A4 Time : 0.0 sec. user=vaughan [2012-02-12 20:16:51] 491*2^1122682-1 is not prime. Res64: 7C2EA2269200C648 Time : 0.0 sec. user=vaughan [2012-02-12 20:17:41] 431*2^1122690-1 is not prime. Res64: 61FA868AE33089DA Time : 0.0 sec. user=vaughan [2012-02-12 20:17:42] 503*2^1122690-1 is not prime. Res64: DE8A02AFD6D98C75 Time : 0.0 sec. user=vaughan [2012-02-12 20:19:03] 531*2^1122679-1 is not prime. Res64: 29228B077F420284 Time : 0.0 sec. user=vaughan [2012-02-12 20:19:04] 595*2^1122679-1 is not prime. Res64: 859135EFFF5FB79A Time : 0.0 sec. user=vaughan [2012-02-12 20:19:47] 489*2^1122691-1 is not prime. Res64: 6DE9A8BF5346AE66 Time : 0.0 sec. user=vaughan [2012-02-12 20:19:48] 505*2^1122691-1 is not prime. Res64: 00A21D7E8732BFF7 Time : 0.0 sec. user=vaughan [2012-02-12 20:21:21] 413*2^1122684-1 is not prime. Res64: 56C00D186F5EA75E Time : 0.0 sec. user=vaughan [2012-02-12 20:21:22] 419*2^1122684-1 is not prime. Res64: 527098FCC7675E4B Time : 0.0 sec. user=vaughan [2012-02-12 20:21:31] 593*2^1122690-1 is not prime. Res64: 7634741EA4D76086 Time : 0.0 sec. user=vaughan [2012-02-12 20:21:31] 483*2^1122691-1 is not prime. Res64: BCCA54B77281DD18 Time : 0.0 sec. user=vaughan [2012-02-12 20:23:50] 523*2^1122683-1 is not prime. Res64: EC5714D727CCCDD9 Time : 0.0 sec. user=vaughan [2012-02-12 20:23:50] 589*2^1122683-1 is not prime. Res64: 9D6C72D1D820B6CA Time : 0.0 sec. user=vaughan [2012-02-12 20:24:46] 447*2^1122684-1 is not prime. Res64: 7E2A02FB461E2630 Time : 0.0 sec. user=vaughan [2012-02-12 20:24:47] 405*2^1122685-1 is not prime. Res64: D641B636FE9C880F Time : 0.0 sec. user=vaughan [2012-02-12 20:25:33] 597*2^1122685-1 is not prime. Res64: 39F3CCAC0CB0C564 Time : 0.0 sec. user=vaughan [2012-02-12 20:25:34] 525*2^1122686-1 is not prime. Res64: 7360FC5D1A565F1D Time : 0.0 sec. user=vaughan [2012-02-12 20:26:42] 489*2^1122687-1 is not prime. Res64: 70D3B68B08479634 Time : 0.0 sec. user=vaughan [2012-02-12 20:26:43] 579*2^1122687-1 is not prime. Res64: FB4B9AE5FB25A809 Time : 0.0 sec. user=vaughan [2012-02-12 20:26:43] 429*2^1122687-1 is not prime. Res64: 7F4EB456C9412B0D Time : 0.0 sec. user=vaughan [2012-02-12 20:26:44] 483*2^1122687-1 is not prime. Res64: 18E070E2DB1F3D8F Time : 0.0 sec. user=vaughan [2012-02-12 20:27:37] 451*2^1122693-1 is not prime. Res64: E30B9BF52C606A04 Time : 0.0 sec. user=vaughan [2012-02-12 20:27:38] 525*2^1122693-1 is not prime. Res64: 878F46DCAD283E82 Time : 0.0 sec. user=vaughan [2012-02-12 20:27:42] 439*2^1122689-1 is not prime. Res64: 8DFDDA3FA5185985 Time : 0.0 sec. user=vaughan [2012-02-12 20:27:43] 525*2^1122689-1 is not prime. Res64: 11545D7937BF31B3 Time : 0.0 sec. user=henryzz [2012-02-12 20:30:22] 475*2^1122695-1 is not prime. Res64: FC04C89A8F570A9B Time : 0.0 sec. user=henryzz [2012-02-12 20:31:54] 595*2^1122697-1 is not prime. Res64: E62ADC7AA43BEB04 Time : 0.0 sec. user=henryzz [2012-02-12 20:32:16] 439*2^1122697-1 is not prime. Res64: 33E1B5D0B9046969 Time : 0.0 sec. user=henryzz [2012-02-12 20:33:12] 415*2^1122699-1 is not prime. Res64: 1BA1ABCE85005E16 Time : 0.0 sec. user=vaughan [2012-02-12 20:33:41] 591*2^1122693-1 is not prime. Res64: BD69CE54963D3EBA Time : 0.0 sec. user=vaughan [2012-02-12 20:33:41] 595*2^1122693-1 is not prime. Res64: 40F855175A19A29C Time : 0.0 sec. user=vaughan [2012-02-12 20:34:42] 413*2^1122694-1 is not prime. Res64: 09A6E0BA3AEC7360 Time : 0.0 sec. user=vaughan [2012-02-12 20:34:43] 561*2^1122694-1 is not prime. Res64: 9AB4A34C944F7046 Time : 0.0 sec. user=vaughan [2012-02-12 20:39:16] 533*2^1122700-1 is not prime. Res64: 0ECDB759A3CB3BA5 Time : 0.0 sec. user=vaughan [2012-02-12 20:39:16] 569*2^1122700-1 is not prime. Res64: 11D5F5AEDB1D4C7F Time : 0.0 sec. user=vaughan [2012-02-12 20:39:20] 483*2^1122692-1 is not prime. Res64: B02987416595914D Time : 0.0 sec. user=vaughan [2012-02-12 20:39:21] 555*2^1122691-1 is not prime. Res64: 0BAB77F06CBF43B5 Time : 0.0 sec. user=vaughan [2012-02-12 20:39:21] 537*2^1122692-1 is not prime. Res64: 78A81A57206B8F55 Time : 0.0 sec. user=vaughan [2012-02-12 20:39:21] 477*2^1122692-1 is not prime. Res64: AAD40C6068CFA455 Time : 0.0 sec. user=vaughan [2012-02-12 20:41:23] 485*2^1122702-1 is not prime. Res64: AF0236FBE47232D3 Time : 0.0 sec. user=vaughan [2012-02-12 20:41:23] 525*2^1122702-1 is not prime. Res64: 00DE668DF8B494A3 Time : 0.0 sec. user=vaughan [2012-02-12 20:46:20] 493*2^1122703-1 is not prime. Res64: 076C4D8464C345ED Time : 0.0 sec. user=vaughan [2012-02-12 20:46:21] 511*2^1122703-1 is not prime. Res64: DEB75966420FE1E8 Time : 0.0 sec. user=vaughan [2012-02-12 20:46:28] 531*2^1122699-1 is not prime. Res64: 2C87452C43147E8A Time : 0.0 sec. user=vaughan [2012-02-12 20:46:29] 449*2^1122700-1 is not prime. Res64: 0411B3C9E3420EE2 Time : 0.0 sec. user=vaughan [2012-02-12 20:46:48] 579*2^1122695-1 is not prime. Res64: 493503E5194FA174 Time : 0.0 sec. user=vaughan [2012-02-12 20:46:49] 587*2^1122696-1 is not prime. Res64: C74F92A92E475973 Time : 0.0 sec. user=vaughan [2012-02-12 20:48:01] 455*2^1122700-1 is not prime. Res64: 0AE9176519E1674C Time : 0.0 sec. user=vaughan [2012-02-12 20:48:01] 527*2^1122700-1 is not prime. Res64: C695A644D4EE8836 Time : 0.0 sec. user=vaughan [2012-02-12 20:49:08] 531*2^1122707-1 is not prime. Res64: 88D780DC65B5DF28 Time : 0.0 sec. user=vaughan [2012-02-12 20:49:08] 595*2^1122707-1 is not prime. Res64: E791B87B1A84E577 Time : 0.0 sec. user=henryzz [2012-02-12 20:50:45] 439*2^1122709-1 is not prime. Res64: E6AB0E088F4E52E6 Time : 0.0 sec. user=vaughan [2012-02-12 20:51:21] 459*2^1122699-1 is not prime. Res64: 423E9727FE0B5767 Time : 0.0 sec. user=vaughan [2012-02-12 20:51:21] 483*2^1122699-1 is not prime. Res64: 53DEFCB64A35CDFC Time : 0.0 sec. user=henryzz [2012-02-12 20:52:33] 495*2^1122709-1 is not prime. Res64: AFA7C6FEF74F9DB5 Time : 0.0 sec. user=vaughan [2012-02-12 20:52:35] 557*2^1122702-1 is not prime. Res64: 064FB93A660CB7C1 Time : 0.0 sec. user=vaughan [2012-02-12 20:52:36] 465*2^1122703-1 is not prime. Res64: AA7D7D93BD376E57 Time : 0.0 sec. user=henryzz [2012-02-12 20:52:45] 511*2^1122709-1 is not prime. Res64: A1CC0D82CA040B1F Time : 0.0 sec. user=henryzz [2012-02-12 20:53:52] 561*2^1122709-1 is not prime. Res64: B819F53BA88EC2BA Time : 0.0 sec. user=vaughan [2012-02-12 20:55:49] 547*2^1122701-1 is not prime. Res64: 0261454943DDFEF8 Time : 0.0 sec. user=vaughan [2012-02-12 20:55:50] 437*2^1122702-1 is not prime. Res64: FBF7DB66BA3E1F42 Time : 0.0 sec. user=vaughan [2012-02-12 20:58:27] 525*2^1122703-1 is not prime. Res64: 1695023BE1F26FA8 Time : 0.0 sec. user=vaughan [2012-02-12 20:58:28] 541*2^1122703-1 is not prime. Res64: 1E88BF79DDC6F0E9 Time : 0.0 sec. user=vaughan [2012-02-12 20:59:20] 549*2^1122703-1 is not prime. Res64: D8B1A92516F600F9 Time : 0.0 sec. user=vaughan [2012-02-12 20:59:20] 407*2^1122704-1 is not prime. Res64: 7EB8BBBAF30CDCAC Time : 0.0 sec. user=vaughan [2012-02-12 20:59:25] 501*2^1122710-1 is not prime. Res64: 4070A442632E85E1 Time : 0.0 sec. user=vaughan [2012-02-12 20:59:25] 525*2^1122710-1 is not prime. Res64: 6FC0D38D56EAFA07 Time : 0.0 sec. user=vaughan [2012-02-12 21:00:02] 519*2^1122704-1 is not prime. Res64: DEA66FB32A386941 Time : 0.0 sec. user=vaughan [2012-02-12 21:00:05] 405*2^1122705-1 is not prime. Res64: ACB421D7F5750F22 Time : 0.0 sec. user=vaughan [2012-02-12 21:00:34] 489*2^1122711-1 is not prime. Res64: ED5F3DCBC0F44B79 Time : 0.0 sec. user=vaughan [2012-02-12 21:00:35] 513*2^1122711-1 is not prime. Res64: 563544337B7B2FC1 Time : 0.0 sec. user=vaughan [2012-02-12 21:00:40] 585*2^1122710-1 is not prime. Res64: 27AA438A3096D79E Time : 0.0 sec. user=vaughan [2012-02-12 21:00:42] 441*2^1122711-1 is not prime. Res64: B027FC7FB4D4AE11 Time : 0.0 sec. user=vaughan [2012-02-12 21:01:13] 445*2^1122705-1 is not prime. Res64: 909DD0F8BDE7B7E6 Time : 0.0 sec. user=vaughan [2012-02-12 21:01:14] 517*2^1122705-1 is not prime. Res64: 935C9D41FAB3EA91 Time : 0.0 sec. user=vaughan [2012-02-12 21:01:14] 471*2^1122706-1 is not prime. Res64: D11A124990E2011D Time : 0.0 sec. user=vaughan [2012-02-12 21:01:15] 421*2^1122707-1 is not prime. Res64: DAE41C9CFD4AC8F3 Time : 0.0 sec. user=vaughan [2012-02-12 21:02:11] 423*2^1122708-1 is not prime. Res64: D75853DB2BA70968 Time : 0.0 sec. user=vaughan [2012-02-12 21:02:12] 421*2^1122709-1 is not prime. Res64: 2F7644929F7AFB57 Time : 0.0 sec. user=vaughan [2012-02-12 21:02:36] 589*2^1122713-1 is not prime. Res64: CD43888E0CA5CB0B Time : 0.0 sec. user=vaughan [2012-02-12 21:02:37] 503*2^1122714-1 is not prime. Res64: 5E77DB0BA83C4B02 Time : 0.0 sec. user=vaughan [2012-02-12 21:10:32] 441*2^1122717-1 is not prime. Res64: D8030C8DCBC985E1 Time : 0.0 sec. user=vaughan [2012-02-12 21:10:33] 577*2^1122717-1 is not prime. Res64: DFEEA1DEFF3D18E5 Time : 0.0 sec. user=henryzz [2012-02-12 21:12:08] 423*2^1122718-1 is not prime. Res64: DE0A297B09FFE7B8 Time : 0.0 sec. user=henryzz [2012-02-12 21:12:57] 493*2^1122719-1 is not prime. Res64: 60FC343946CCE8AE Time : 0.0 sec. user=henryzz [2012-02-12 21:13:04] 435*2^1122719-1 is not prime. Res64: DF7ACE6C4F29559F Time : 0.0 sec. user=vaughan [2012-02-12 21:13:36] 421*2^1122715-1 is not prime. Res64: 7C61F5C7437D613F Time : 0.0 sec. user=vaughan [2012-02-12 21:13:37] 429*2^1122715-1 is not prime. Res64: D51B2897F154B9BB Time : 0.0 sec. user=henryzz [2012-02-12 21:14:18] 559*2^1122719-1 is not prime. Res64: 36DCF91E3CAC128E Time : 0.0 sec. user=vaughan [2012-02-12 21:16:10] 435*2^1122712-1 is not prime. Res64: 861988FD08EA6FFC Time : 0.0 sec. user=vaughan [2012-02-12 21:16:10] 467*2^1122712-1 is not prime. Res64: A6137DBDF6DC0DA9 Time : 0.0 sec. user=vaughan [2012-02-12 21:16:14] 535*2^1122711-1 is not prime. Res64: B6309BB3FABD8D8D Time : 0.0 sec. user=vaughan [2012-02-12 21:16:14] 579*2^1122711-1 is not prime. Res64: 86AD8821E9633650 Time : 0.0 sec. user=vaughan [2012-02-12 21:19:19] 441*2^1122715-1 is not prime. Res64: 1743518A2CD24F89 Time : 0.0 sec. user=vaughan [2012-02-12 21:19:20] 531*2^1122715-1 is not prime. Res64: B52DA9CFB520256B Time : 0.0 sec. user=vaughan [2012-02-12 21:20:56] 427*2^1122717-1 is not prime. Res64: 85C7D21D221E8AF6 Time : 0.0 sec. user=vaughan [2012-02-12 21:20:57] 439*2^1122717-1 is not prime. Res64: FA98ADE992949181 Time : 0.0 sec. user=vaughan [2012-02-12 21:22:09] 405*2^1122722-1 is not prime. Res64: 477E02D4CB8D2882 Time : 0.0 sec. user=vaughan [2012-02-12 21:22:10] 423*2^1122722-1 is not prime. Res64: A615D13D83936560 Time : 0.0 sec. user=vaughan [2012-02-12 21:23:37] 447*2^1122716-1 is not prime. Res64: 2E7F8A7FC1ACC61B Time : 0.0 sec. user=vaughan [2012-02-12 21:23:38] 503*2^1122716-1 is not prime. Res64: AC313C0EE682AA7F Time : 0.0 sec. user=vaughan [2012-02-12 21:24:17] 513*2^1122724-1 is not prime. Res64: 64BDF74AAB6E191E Time : 0.0 sec. user=vaughan [2012-02-12 21:24:18] 527*2^1122724-1 is not prime. Res64: 8F39B115157C407C Time : 0.0 sec. user=vaughan [2012-02-12 21:25:42] 483*2^1122718-1 is not prime. Res64: E97539D70F1A4E76 Time : 0.0 sec. user=vaughan [2012-02-12 21:25:43] 491*2^1122718-1 is not prime. Res64: DFCC45C97D147957 Time : 0.0 sec. user=vaughan [2012-02-12 21:26:54] 489*2^1122721-1 is not prime. Res64: 0AA4899DF1F99A5D Time : 0.0 sec. user=vaughan [2012-02-12 21:26:55] 517*2^1122721-1 is not prime. Res64: D7B227E2668F1785 Time : 0.0 sec. user=vaughan [2012-02-12 21:28:09] 435*2^1122718-1 is not prime. Res64: 71C4728A4D8B336B Time : 0.0 sec. user=vaughan [2012-02-12 21:28:10] 453*2^1122718-1 is not prime. Res64: 53C605896C1FFCCC Time : 0.0 sec. user=vaughan [2012-02-12 21:28:16] 431*2^1122722-1 is not prime. Res64: 9E1B6262DDA15F33 Time : 0.0 sec. user=vaughan [2012-02-12 21:28:17] 437*2^1122722-1 is not prime. Res64: 418CEFD00FEEF6B6 Time : 0.0 sec. user=vaughan [2012-02-12 21:32:26] 549*2^1122724-1 is not prime. Res64: 1393B955FFF3B77E Time : 0.0 sec. user=vaughan [2012-02-12 21:32:26] 405*2^1122725-1 is not prime. Res64: 3229379E2143F5D3 Time : 0.0 sec. user=vaughan [2012-02-12 21:32:36] 503*2^1122720-1 is not prime. Res64: C6ECEBB72AA461DA Time : 0.0 sec. user=vaughan [2012-02-12 21:32:37] 569*2^1122720-1 is not prime. Res64: 6B2756B34207F8F5 Time : 0.0 sec. user=henryzz [2012-02-12 21:32:52] 469*2^1122725-1 is not prime. Res64: EF9E9182205355DD Time : 0.0 sec. user=vaughan [2012-02-12 21:32:58] 409*2^1122721-1 is not prime. Res64: 25B9573D4BA39C44 Time : 0.0 sec. user=vaughan [2012-02-12 21:32:58] 439*2^1122721-1 is not prime. Res64: 22B3C9FEE8C4D1EA Time : 0.0 sec. user=henryzz [2012-02-12 21:33:30] 517*2^1122725-1 is not prime. Res64: 7BF39DA2E4F95D9F Time : 0.0 sec. user=henryzz [2012-02-12 21:33:50] 443*2^1122726-1 is not prime. Res64: E7C9FB3A309E798C Time : 0.0 sec. user=vaughan [2012-02-12 21:33:51] 447*2^1122721-1 is not prime. Res64: A7B1462DCB0446BD Time : 0.0 sec. user=vaughan [2012-02-12 21:33:52] 465*2^1122721-1 is not prime. Res64: 23E4B74868342DF4 Time : 0.0 sec. user=henryzz [2012-02-12 21:34:39] 453*2^1122727-1 is not prime. Res64: E081466DC8370CFA Time : 0.0 sec. user=vaughan [2012-02-12 21:34:44] 565*2^1122721-1 is not prime. Res64: 2AD33C1B1D91A3FE Time : 0.0 sec. user=vaughan [2012-02-12 21:34:45] 577*2^1122721-1 is not prime. Res64: 4BAE9BC86BC02B5A Time : 0.0 sec. user=vaughan [2012-02-12 21:35:44] 533*2^1122722-1 is not prime. Res64: F8B6677F3E6A9C3D Time : 0.0 sec. user=vaughan [2012-02-12 21:35:45] 467*2^1122722-1 is not prime. Res64: BBBCB46BA6EEE38D Time : 0.0 sec. user=vaughan [2012-02-12 21:35:45] 451*2^1122723-1 is not prime. Res64: B9CE516EBF6B446D Time : 0.0 sec. user=vaughan [2012-02-12 21:35:45] 525*2^1122722-1 is not prime. Res64: B4C258283F86745A Time : 0.0 sec. user=vaughan [2012-02-12 21:36:43] 443*2^1122724-1 is not prime. Res64: E8EC3B84940FA3E1 Time : 0.0 sec. user=vaughan [2012-02-12 21:36:44] 507*2^1122724-1 is not prime. Res64: 1F74150D822B5C6C Time : 0.0 sec. user=vaughan [2012-02-12 21:40:51] 515*2^1122726-1 is not prime. Res64: 6F1500DBAF05E02D Time : 0.0 sec. user=vaughan [2012-02-12 21:40:52] 581*2^1122726-1 is not prime. Res64: A8DE70C4262C0F8A Time : 0.0 sec. user=vaughan [2012-02-12 21:43:51] 429*2^1122729-1 is not prime. Res64: E556617E51FC7AE1 Time : 0.0 sec. user=vaughan [2012-02-12 21:43:52] 471*2^1122729-1 is not prime. Res64: 32597DACB8AAD240 Time : 0.0 sec. user=vaughan [2012-02-12 21:46:08] 453*2^1122730-1 is not prime. Res64: F5493CB46FD03721 Time : 0.0 sec. user=vaughan [2012-02-12 21:46:08] 461*2^1122730-1 is not prime. Res64: F43B6F68EB84744B Time : 0.0 sec. user=vaughan [2012-02-12 21:52:16] 437*2^1122728-1 is not prime. Res64: 5F69F4810D25D3B1 Time : 0.0 sec. user=vaughan [2012-02-12 21:52:17] 507*2^1122728-1 is not prime. Res64: 31D0658F0834AE3D Time : 0.0 sec. user=vaughan [2012-02-12 21:53:03] 471*2^1122727-1 is not prime. Res64: B3D70BB18C10B876 Time : 0.0 sec. user=vaughan [2012-02-12 21:53:05] 475*2^1122727-1 is not prime. Res64: B52893C862A4611C Time : 0.0 sec. user=vaughan [2012-02-12 21:53:07] 483*2^1122727-1 is not prime. Res64: 6CD994A993242D63 Time : 0.0 sec. user=vaughan [2012-02-12 21:53:08] 493*2^1122727-1 is not prime. Res64: 477C5C6DFD180D04 Time : 0.0 sec. user=henryzz [2012-02-12 21:53:27] 573*2^1122735-1 is not prime. Res64: 1A4C201051FBC8F8 Time : 0.0 sec. user=vaughan [2012-02-12 21:53:52] 537*2^1122728-1 is not prime. Res64: 9F275E5AB70F5689 Time : 0.0 sec. user=vaughan [2012-02-12 21:53:52] 557*2^1122728-1 is not prime. Res64: 1D75BC2C2F26DF6B Time : 0.0 sec. user=vaughan [2012-02-12 21:53:55] 463*2^1122731-1 is not prime. Res64: 08B4A153AC03BED4 Time : 0.0 sec. user=vaughan [2012-02-12 21:53:56] 447*2^1122732-1 is not prime. Res64: 9A5DDBBE21F9F0BC Time : 0.0 sec. user=vaughan [2012-02-12 21:54:08] 557*2^1122734-1 is not prime. Res64: FE90521891D43AF5 Time : 0.0 sec. user=vaughan [2012-02-12 21:54:08] 481*2^1122735-1 is not prime. Res64: 8EDFC48CF180449D Time : 0.0 sec. user=henryzz [2012-02-12 21:54:10] 405*2^1122737-1 is not prime. Res64: 3D83805A31E8D7D4 Time : 0.0 sec. user=henryzz [2012-02-12 21:54:20] 511*2^1122737-1 is not prime. Res64: 3A1F9916089BC4C2 Time : 0.0 sec. user=vaughan [2012-02-12 21:55:05] 425*2^1122734-1 is not prime. Res64: A39F554984CB689C Time : 0.0 sec. user=vaughan [2012-02-12 21:55:06] 483*2^1122734-1 is not prime. Res64: 21516F3BDF22B0F1 Time : 0.0 sec. user=henryzz [2012-02-12 21:55:16] 559*2^1122737-1 is not prime. Res64: DAAC5FDE4E2365F7 Time : 0.0 sec. user=vaughan [2012-02-12 21:58:25] 533*2^1122730-1 is not prime. Res64: 18B1CC054A293B25 Time : 0.0 sec. user=vaughan [2012-02-12 21:58:25] 421*2^1122731-1 is not prime. Res64: E58CB4A834262A2F Time : 0.0 sec. user=vaughan [2012-02-12 22:00:24] 571*2^1122729-1 is not prime. Res64: BD66A44D40B0924A Time : 0.0 sec. user=vaughan [2012-02-12 22:00:25] 443*2^1122730-1 is not prime. Res64: 58FBD57754AAF9E5 Time : 0.0 sec. user=vaughan [2012-02-12 22:04:56] 483*2^1122732-1 is not prime. Res64: 2F8E79957A44F6C5 Time : 0.0 sec. user=vaughan [2012-02-12 22:04:58] 555*2^1122732-1 is not prime. Res64: 493889A028125BE9 Time : 0.0 sec. user=vaughan [2012-02-12 22:05:45] 483*2^1122740-1 is not prime. Res64: 961DE3473A65DEBA Time : 0.0 sec. user=vaughan [2012-02-12 22:05:46] 519*2^1122740-1 is not prime. Res64: B67240264BC52A57 Time : 0.0 sec. user=henryzz [2012-02-12 22:13:44] 595*2^1122743-1 is not prime. Res64: F73AE9D1811B18E6 Time : 0.0 sec. user=henryzz [2012-02-12 22:14:49] 471*2^1122747-1 is not prime. Res64: 06B59733CE05B5C7 Time : 0.0 sec. user=henryzz [2012-02-12 22:14:56] 489*2^1122747-1 is not prime. Res64: 4F5FBDB50A15B6AF Time : 0.0 sec. user=henryzz [2012-02-12 22:16:07] 437*2^1122748-1 is not prime. Res64: CE24BBC09A1CC570 Time : 0.0 sec. user=henryzz [2012-02-12 22:34:16] 507*2^1122752-1 is not prime. Res64: E869A34B29AEDBA8 Time : 0.0 sec. user=henryzz [2012-02-12 22:35:29] 525*2^1122752-1 is not prime. Res64: 4176636E8B22BB3A Time : 0.0 sec. user=henryzz [2012-02-12 22:35:39] 567*2^1122752-1 is not prime. Res64: C3B910575F5056EA Time : 0.0 sec. user=henryzz [2012-02-12 22:36:42] 495*2^1122753-1 is not prime. Res64: A19F0537F3B1B03A Time : 0.0 sec. user=henryzz [2012-02-12 22:54:51] 411*2^1122754-1 is not prime. Res64: E683DDC6E3FB083D Time : 0.0 sec. user=henryzz [2012-02-12 22:55:56] 435*2^1122754-1 is not prime. Res64: 9694B1CBCEF697D8 Time : 0.0 sec. user=henryzz [2012-02-12 22:56:06] 525*2^1122754-1 is not prime. Res64: DB3C8FEECA00A5A4 Time : 0.0 sec. user=henryzz [2012-02-12 22:57:33] 527*2^1122754-1 is not prime. Res64: EEC20B20960828A9 Time : 0.0 sec. user=henryzz [2012-02-12 23:15:21] 433*2^1122755-1 is not prime. Res64: 3AE2F30BED48B38F Time : 0.0 sec. user=henryzz [2012-02-12 23:16:22] 485*2^1122756-1 is not prime. Res64: 19FDF937E92A3B80 Time : 0.0 sec. user=henryzz [2012-02-12 23:16:35] 579*2^1122755-1 is not prime. Res64: 7AC0E9B211BEEF81 Time : 0.0 sec. user=henryzz [2012-02-12 23:18:26] 557*2^1122756-1 is not prime. Res64: 7CE8A1B6DAC4DAC8 Time : 0.0 sec. user=henryzz [2012-02-12 23:36:07] 435*2^1122757-1 is not prime. Res64: CBA7299981C66705 Time : 0.0 sec. user=henryzz [2012-02-12 23:36:49] 451*2^1122757-1 is not prime. Res64: 32C133692AAC37E2 Time : 0.0 sec. user=henryzz [2012-02-12 23:37:15] 507*2^1122757-1 is not prime. Res64: F7AFA65953C1581D Time : 0.0 sec. user=henryzz [2012-02-12 23:38:51] 595*2^1122757-1 is not prime. Res64: 71321D87EB437A44 Time : 0.0 sec. user=henryzz [2012-02-12 23:56:47] 461*2^1122758-1 is not prime. Res64: 03F654B7DF4DC128 Time : 0.0 sec. user=henryzz [2012-02-12 23:57:29] 471*2^1122759-1 is not prime. Res64: 9BA547651C044C4E Time : 0.0 sec. user=henryzz [2012-02-12 23:57:46] 481*2^1122759-1 is not prime. Res64: 48668CC30AC78090 Time : 0.0 sec. user=henryzz [2012-02-12 23:59:28] 467*2^1122760-1 is not prime. Res64: 9F5E9AB3D232F7F0 Time : 0.0 sec.