user=vaughan [2012-04-21 00:10:55] 559*2^1130481-1 is not prime. Res64: 51108B1C1320B647 Time : 0.0 sec. user=vaughan [2012-04-21 00:10:58] 579*2^1130481-1 is not prime. Res64: 75BAF227A5CEFF52 Time : 0.0 sec. user=vaughan [2012-04-21 00:11:31] 405*2^1130482-1 is not prime. Res64: 5B6099AF123CE107 Time : 0.0 sec. user=vaughan [2012-04-21 00:11:34] 551*2^1130482-1 is not prime. Res64: 6F6947C3B01F81DB Time : 0.0 sec. user=vaughan [2012-04-21 00:11:37] 411*2^1130483-1 is not prime. Res64: FDF544547EDE7389 Time : 0.0 sec. user=vaughan [2012-04-21 00:11:44] 505*2^1130483-1 is not prime. Res64: 192F7C5699694080 Time : 0.0 sec. user=vaughan [2012-04-21 00:19:12] 585*2^1130483-1 is not prime. Res64: 160299B5C4DB8A59 Time : 0.0 sec. user=vaughan [2012-04-21 00:19:12] 419*2^1130484-1 is not prime. Res64: 493327835D3B8744 Time : 0.0 sec. user=vaughan [2012-04-21 00:31:07] 459*2^1130484-1 is not prime. Res64: 76C070BCC916C077 Time : 0.0 sec. user=vaughan [2012-04-21 00:31:08] 569*2^1130484-1 is not prime. Res64: AEB88EFB06C407B8 Time : 0.0 sec. user=vaughan [2012-04-21 00:31:43] 409*2^1130485-1 is not prime. Res64: 7439F5E6EEBA7C11 Time : 0.0 sec. user=vaughan [2012-04-21 00:31:43] 457*2^1130485-1 is not prime. Res64: 3828B7FD45283AF6 Time : 0.0 sec. user=vaughan [2012-04-21 00:31:48] 473*2^1130486-1 is not prime. Res64: C3BC64C1CA859142 Time : 0.0 sec. user=vaughan [2012-04-21 00:31:48] 581*2^1130486-1 is not prime. Res64: E42F438D691085BB Time : 0.0 sec. user=vaughan [2012-04-21 00:39:18] 585*2^1130486-1 is not prime. Res64: 9CC679B976A03487 Time : 0.0 sec. user=vaughan [2012-04-21 00:39:19] 489*2^1130487-1 is not prime. Res64: 057235892CEA7623 Time : 0.0 sec. user=vaughan [2012-04-21 00:51:15] 523*2^1130487-1 is not prime. Res64: 1255E1A0560E08DC Time : 0.0 sec. user=vaughan [2012-04-21 00:51:16] 549*2^1130487-1 is not prime. Res64: 027764D4C106F800 Time : 0.0 sec. user=vaughan [2012-04-21 00:51:44] 437*2^1130488-1 is not prime. Res64: D533943B550497F0 Time : 0.0 sec. user=vaughan [2012-04-21 00:51:45] 435*2^1130489-1 is not prime. Res64: 172B968425780F37 Time : 0.0 sec. user=vaughan [2012-04-21 00:51:48] 481*2^1130489-1 is not prime. Res64: B3D74C630A2ACC76 Time : 0.0 sec. user=vaughan [2012-04-21 00:51:48] 559*2^1130489-1 is not prime. Res64: 006036E3C48DFCD6 Time : 0.0 sec. user=vaughan [2012-04-21 00:59:23] 589*2^1130489-1 is not prime. Res64: B8746A88BFF2DC4F Time : 0.0 sec. user=vaughan [2012-04-21 00:59:24] 413*2^1130490-1 is not prime. Res64: 23476AE05861BDF4 Time : 0.0 sec. user=vaughan [2012-04-21 01:11:12] 431*2^1130490-1 is not prime. Res64: F6B286ECF09B0369 Time : 0.0 sec. user=vaughan [2012-04-21 01:11:14] 471*2^1130490-1 is not prime. Res64: B3090B541A483659 Time : 0.0 sec. user=vaughan [2012-04-21 01:11:45] 587*2^1130492-1 is not prime. Res64: E4BA7FA41E1F9309 Time : 0.0 sec. user=vaughan [2012-04-21 01:11:49] 439*2^1130493-1 is not prime. Res64: 784955358580920E Time : 0.0 sec. user=vaughan [2012-04-21 01:11:52] 593*2^1130490-1 is not prime. Res64: 95251B93C949A9E6 Time : 0.0 sec. user=vaughan [2012-04-21 01:11:54] 495*2^1130491-1 is not prime. Res64: B759F35400F58AE4 Time : 0.0 sec. user=vaughan [2012-04-21 01:19:25] 445*2^1130493-1 is not prime. Res64: C687C8CA3022D605 Time : 0.0 sec. user=vaughan [2012-04-21 01:19:26] 457*2^1130493-1 is not prime. Res64: AFB16EBF81BB00D0 Time : 0.0 sec. user=vaughan [2012-04-21 01:31:15] 511*2^1130493-1 is not prime. Res64: A0D94CF362295A30 Time : 0.0 sec. user=vaughan [2012-04-21 01:31:16] 591*2^1130493-1 is not prime. Res64: 9C8D125CBE506DB2 Time : 0.0 sec. user=vaughan [2012-04-21 01:31:58] 453*2^1130494-1 is not prime. Res64: 9462E32E7C95AF38 Time : 0.0 sec. user=vaughan [2012-04-21 01:31:59] 525*2^1130494-1 is not prime. Res64: 5B03EF33960E5F35 Time : 0.0 sec. user=vaughan [2012-04-21 01:32:01] 551*2^1130494-1 is not prime. Res64: 0D57D8EEE525DD84 Time : 0.0 sec. user=vaughan [2012-04-21 01:32:02] 567*2^1130494-1 is not prime. Res64: 7A0D984904F43200 Time : 0.0 sec. user=vaughan [2012-04-21 01:34:44] 481*2^1130493-1 is not prime. Res64: 61B57465FBA5D2CF Time : 0.0 sec. user=vaughan [2012-04-21 01:39:28] 403*2^1130495-1 is not prime. Res64: 517C918A19E4B080 Time : 0.0 sec. user=vaughan [2012-04-21 01:39:29] 441*2^1130495-1 is not prime. Res64: A9DA4D232B49927E Time : 0.0 sec. user=vaughan [2012-04-21 01:51:18] 475*2^1130495-1 is not prime. Res64: 1A1038660F41E3ED Time : 0.0 sec. user=vaughan [2012-04-21 01:51:19] 437*2^1130496-1 is not prime. Res64: 2B1E604D7B82CEB6 Time : 0.0 sec. user=vaughan [2012-04-21 01:52:01] 539*2^1130496-1 is not prime. Res64: 54763BF39AA0393D Time : 0.0 sec. user=vaughan [2012-04-21 01:52:01] 593*2^1130496-1 is not prime. Res64: C04A4F1CFDA7F5E6 Time : 0.0 sec. user=vaughan [2012-04-21 01:52:02] 597*2^1130496-1 is not prime. Res64: AFF2509081E5A4C3 Time : 0.0 sec. user=vaughan [2012-04-21 01:52:03] 405*2^1130497-1 is not prime. Res64: 4BE01C8A4E796EA2 Time : 0.0 sec. user=vaughan [2012-04-21 01:59:31] 427*2^1130497-1 is not prime. Res64: 5411879C04E21A22 Time : 0.0 sec. user=vaughan [2012-04-21 01:59:31] 439*2^1130497-1 is not prime. Res64: 3B9689C9C870564A Time : 0.0 sec. user=vaughan [2012-04-21 02:11:19] 561*2^1130497-1 is not prime. Res64: 233D14BD5468AF1F Time : 0.0 sec. user=vaughan [2012-04-21 02:11:21] 525*2^1130498-1 is not prime. Res64: 66696DA727D32B21 Time : 0.0 sec. user=vaughan [2012-04-21 02:12:03] 551*2^1130498-1 is not prime. Res64: 96A3E0CB54F5D7CE Time : 0.0 sec. user=vaughan [2012-04-21 02:12:04] 573*2^1130499-1 is not prime. Res64: AD1721EC6D6B3B06 Time : 0.0 sec. user=vaughan [2012-04-21 02:12:06] 495*2^1130500-1 is not prime. Res64: 9707DAFB3E44F05B Time : 0.0 sec. user=vaughan [2012-04-21 02:12:07] 513*2^1130500-1 is not prime. Res64: 6BD61C15C46F4457 Time : 0.0 sec. user=vaughan [2012-04-21 02:19:33] 411*2^1130501-1 is not prime. Res64: FCC9B21B4B237088 Time : 0.0 sec. user=vaughan [2012-04-21 02:19:34] 465*2^1130501-1 is not prime. Res64: E28F2589972D4F6E Time : 0.0 sec. user=vaughan [2012-04-21 02:31:30] 517*2^1130501-1 is not prime. Res64: 4E4F00002DDEE70E Time : 0.0 sec. user=vaughan [2012-04-21 02:31:31] 559*2^1130501-1 is not prime. Res64: 5ACC2077224D564A Time : 0.0 sec. user=vaughan [2012-04-21 02:32:04] 557*2^1130502-1 is not prime. Res64: C9E8FAA7678C6D5E Time : 0.0 sec. user=vaughan [2012-04-21 02:32:05] 533*2^1130504-1 is not prime. Res64: F0694A13DAC9BEF1 Time : 0.0 sec. user=vaughan [2012-04-21 02:32:08] 557*2^1130504-1 is not prime. Res64: 051D72A8CE0FA249 Time : 0.0 sec. user=vaughan [2012-04-21 02:32:10] 495*2^1130505-1 is not prime. Res64: 540E8F5D47CDDAB1 Time : 0.0 sec. user=vaughan [2012-04-21 02:39:45] 577*2^1130505-1 is not prime. Res64: 7CFB86550049BF7B Time : 0.0 sec. user=vaughan [2012-04-21 02:39:47] 461*2^1130506-1 is not prime. Res64: 5137567EC4ADD993 Time : 0.0 sec. user=vaughan [2012-04-21 02:51:37] 483*2^1130506-1 is not prime. Res64: 8CA43F802DB50BB6 Time : 0.0 sec. user=vaughan [2012-04-21 02:51:38] 597*2^1130506-1 is not prime. Res64: 66AC326CCD91D128 Time : 0.0 sec. user=vaughan [2012-04-21 02:52:17] 403*2^1130507-1 is not prime. Res64: F28711F5D99A33D4 Time : 0.0 sec. user=vaughan [2012-04-21 02:52:18] 421*2^1130507-1 is not prime. Res64: 95D24376C41025DD Time : 0.0 sec. user=vaughan [2012-04-21 02:52:21] 489*2^1130507-1 is not prime. Res64: F361B23B182763C9 Time : 0.0 sec. user=vaughan [2012-04-21 02:52:21] 501*2^1130507-1 is not prime. Res64: CBDD16619223C2EE Time : 0.0 sec. user=vaughan [2012-04-21 02:59:46] 505*2^1130507-1 is not prime. Res64: 479BD1AF676DE604 Time : 0.0 sec. user=vaughan [2012-04-21 02:59:46] 405*2^1130508-1 is not prime. Res64: 246A861FC5601425 Time : 0.0 sec. user=vaughan [2012-04-21 03:11:39] 555*2^1130508-1 is not prime. Res64: 9EB54FF3EA92F87E Time : 0.0 sec. user=vaughan [2012-04-21 03:11:43] 427*2^1130509-1 is not prime. Res64: 9947670A50B21F60 Time : 0.0 sec. user=vaughan [2012-04-21 03:12:16] 439*2^1130509-1 is not prime. Res64: 517BBCAC977CC2F8 Time : 0.0 sec. user=vaughan [2012-04-21 03:12:17] 441*2^1130509-1 is not prime. Res64: 93E189EB5AFE9A4E Time : 0.0 sec. user=vaughan [2012-04-21 03:12:21] 517*2^1130509-1 is not prime. Res64: 0AD29A28E543EC1F Time : 0.0 sec. user=vaughan [2012-04-21 03:12:22] 589*2^1130509-1 is not prime. Res64: 7FA2D5270A17FA76 Time : 0.0 sec. user=vaughan [2012-04-21 03:19:47] 495*2^1130510-1 is not prime. Res64: 59C30697FF725782 Time : 0.0 sec. user=vaughan [2012-04-21 03:19:47] 501*2^1130510-1 is not prime. Res64: E40126630B7082AA Time : 0.0 sec. user=vaughan [2012-04-21 03:22:12] 503*2^1130508-1 is not prime. Res64: 183912D0FCD8F9B0 Time : 0.0 sec. user=vaughan [2012-04-21 03:31:50] 525*2^1130510-1 is not prime. Res64: 1CD8DD856C885EC5 Time : 0.0 sec. user=vaughan [2012-04-21 03:31:51] 557*2^1130510-1 is not prime. Res64: AD2DCAF77337FBA4 Time : 0.0 sec. user=vaughan [2012-04-21 03:32:21] 581*2^1130510-1 is not prime. Res64: 3E2CE5F9CF184249 Time : 0.0 sec. user=vaughan [2012-04-21 03:32:22] 587*2^1130510-1 is not prime. Res64: 30F3774C6F63BDC2 Time : 0.0 sec. user=vaughan [2012-04-21 03:32:26] 469*2^1130511-1 is not prime. Res64: A8A726AB2FD73B87 Time : 0.0 sec. user=vaughan [2012-04-21 03:32:26] 475*2^1130511-1 is not prime. Res64: E26C18407749C718 Time : 0.0 sec. user=vaughan [2012-04-21 03:39:52] 541*2^1130511-1 is not prime. Res64: 25A4012A53764574 Time : 0.0 sec. user=vaughan [2012-04-21 03:39:52] 573*2^1130512-1 is not prime. Res64: B66516FC4A417186 Time : 0.0 sec. user=vaughan [2012-04-21 03:40:55] 585*2^1130513-1 is not prime. Res64: CB1E58C218A63DBF Time : 0.0 sec. user=vaughan [2012-04-21 03:43:25] 443*2^1130514-1 is not prime. Res64: A1E5E325173389DE Time : 0.0 sec. user=vaughan [2012-04-21 03:51:54] 453*2^1130514-1 is not prime. Res64: 43D770A97C942180 Time : 0.0 sec. user=vaughan [2012-04-21 03:51:55] 503*2^1130514-1 is not prime. Res64: 9DF8BAA9E30124E2 Time : 0.0 sec. user=vaughan [2012-04-21 03:52:22] 421*2^1130515-1 is not prime. Res64: 4179235B8FA8272E Time : 0.0 sec. user=vaughan [2012-04-21 03:52:23] 465*2^1130515-1 is not prime. Res64: DDD721BC80AA56D6 Time : 0.0 sec. user=vaughan [2012-04-21 03:52:29] 531*2^1130515-1 is not prime. Res64: 0731DC6F92EFCD8B Time : 0.0 sec. user=vaughan [2012-04-21 03:52:30] 405*2^1130516-1 is not prime. Res64: EE3AA01885A5754F Time : 0.0 sec. user=vaughan [2012-04-21 03:59:50] 465*2^1130516-1 is not prime. Res64: A144828F5461E2E5 Time : 0.0 sec. user=vaughan [2012-04-21 03:59:50] 477*2^1130516-1 is not prime. Res64: ED63F8AAFC2A7DF4 Time : 0.0 sec. user=vaughan [2012-04-21 04:11:54] 539*2^1130516-1 is not prime. Res64: CEF3F8A9E57A0824 Time : 0.0 sec. user=vaughan [2012-04-21 04:11:55] 475*2^1130517-1 is not prime. Res64: B99A980845B4FEB5 Time : 0.0 sec. user=vaughan [2012-04-21 04:12:18] 495*2^1130517-1 is not prime. Res64: E9AD8955CE1476A4 Time : 0.0 sec. user=vaughan [2012-04-21 04:12:21] 507*2^1130517-1 is not prime. Res64: C2C9D408BA694C48 Time : 0.0 sec. user=vaughan [2012-04-21 04:12:30] 537*2^1130517-1 is not prime. Res64: E37FE92694BA5292 Time : 0.0 sec. user=vaughan [2012-04-21 04:12:32] 405*2^1130518-1 is not prime. Res64: 2F78D1BEDC411760 Time : 0.0 sec. user=vaughan [2012-04-21 04:19:44] 413*2^1130518-1 is not prime. Res64: 959C8C0A4D2DD996 Time : 0.0 sec. user=vaughan [2012-04-21 04:19:45] 483*2^1130518-1 is not prime. Res64: 302FCAAA569E7FE1 Time : 0.0 sec. user=gd_barnes [2012-04-21 04:22:36] 491*2^1130518-1 is not prime. Res64: 59D892270768AED9 Time : 0.0 sec. user=vaughan [2012-04-21 04:32:01] 589*2^1130519-1 is not prime. Res64: 6A198BBCC210532A Time : 0.0 sec. user=vaughan [2012-04-21 04:32:02] 405*2^1130520-1 is not prime. Res64: DC5E7B10E41443D4 Time : 0.0 sec. user=vaughan [2012-04-21 04:32:22] 437*2^1130520-1 is not prime. Res64: 215AAC9C6D6E6B20 Time : 0.0 sec. user=vaughan [2012-04-21 04:32:25] 541*2^1130521-1 is not prime. Res64: F67728BEC73043E3 Time : 0.0 sec. user=vaughan [2012-04-21 04:32:29] 549*2^1130521-1 is not prime. Res64: B0D2CB2CB309E765 Time : 0.0 sec. user=vaughan [2012-04-21 04:32:30] 555*2^1130521-1 is not prime. Res64: A56AF49C58251521 Time : 0.0 sec. user=vaughan [2012-04-21 04:39:42] 477*2^1130522-1 is not prime. Res64: 3D407C062DE4E141 Time : 0.0 sec. user=vaughan [2012-04-21 04:39:44] 415*2^1130523-1 is not prime. Res64: 09C384C8FB587F33 Time : 0.0 sec. user=vaughan [2012-04-21 04:52:06] 489*2^1130523-1 is not prime. Res64: 8BCCAAD86861C727 Time : 0.0 sec. user=vaughan [2012-04-21 04:52:07] 493*2^1130523-1 is not prime. Res64: 6731156D8A16BEC2 Time : 0.0 sec. user=vaughan [2012-04-21 04:52:26] 429*2^1130524-1 is not prime. Res64: 7167D3DE4E3CF5A2 Time : 0.0 sec. user=vaughan [2012-04-21 04:52:27] 455*2^1130524-1 is not prime. Res64: 7804AF5383E99734 Time : 0.0 sec. user=vaughan [2012-04-21 04:52:40] 519*2^1130524-1 is not prime. Res64: 00A70BF39E06A373 Time : 0.0 sec. user=vaughan [2012-04-21 04:52:41] 597*2^1130524-1 is not prime. Res64: A188DAE697AC92B2 Time : 0.0 sec. user=vaughan [2012-04-21 05:00:09] 409*2^1130525-1 is not prime. Res64: 962C335B042D3C4C Time : 0.0 sec. user=vaughan [2012-04-21 05:00:11] 527*2^1130526-1 is not prime. Res64: 594AFB4247E92B0E Time : 0.0 sec. user=vaughan [2012-04-21 05:04:09] 453*2^1130523-1 is not prime. Res64: DE3AE83FDC913734 Time : 0.0 sec. user=vaughan [2012-04-21 05:12:55] 581*2^1130526-1 is not prime. Res64: AF3A4727B8399F1D Time : 0.0 sec. user=vaughan [2012-04-21 05:12:59] 593*2^1130526-1 is not prime. Res64: 6EBE00EE28FA7618 Time : 0.0 sec. user=vaughan [2012-04-21 05:13:13] 421*2^1130527-1 is not prime. Res64: 67863913741E6EE1 Time : 0.0 sec. user=vaughan [2012-04-21 05:13:15] 441*2^1130527-1 is not prime. Res64: 148A1A84DEFE46C8 Time : 0.0 sec. user=vaughan [2012-04-21 05:13:29] 505*2^1130527-1 is not prime. Res64: D583E02BF385AD3A Time : 0.0 sec. user=vaughan [2012-04-21 05:13:30] 579*2^1130527-1 is not prime. Res64: 2C271B045470DEAF Time : 0.0 sec. user=vaughan [2012-04-21 05:21:05] 425*2^1130528-1 is not prime. Res64: 5A8AD9D2F0A6CE3F Time : 0.0 sec. user=vaughan [2012-04-21 05:21:05] 503*2^1130528-1 is not prime. Res64: 8A40B7C7BA113DC3 Time : 0.0 sec. user=vaughan [2012-04-21 05:31:56] 539*2^1130528-1 is not prime. Res64: DBCDBB5535F4E7F1 Time : 0.0 sec. user=vaughan [2012-04-21 05:33:56] 559*2^1130529-1 is not prime. Res64: B490AECEA7FAFF3D Time : 0.0 sec. user=vaughan [2012-04-21 05:33:57] 555*2^1130530-1 is not prime. Res64: 4B384CF2984CD5E8 Time : 0.0 sec. user=vaughan [2012-04-21 05:34:21] 441*2^1130531-1 is not prime. Res64: 96ACD0C8641A5B7A Time : 0.0 sec. user=vaughan [2012-04-21 05:34:22] 511*2^1130531-1 is not prime. Res64: AA4A6E19DCC6A5D8 Time : 0.0 sec. user=vaughan [2012-04-21 05:34:29] 519*2^1130531-1 is not prime. Res64: 95D25874CB7DC4F4 Time : 0.0 sec. user=vaughan [2012-04-21 05:34:30] 565*2^1130531-1 is not prime. Res64: 713C978E3B5E4E5A Time : 0.0 sec. user=henryzz [2012-04-21 05:39:42] 423*2^1130431-1 is not prime. Res64: 583DFB9A3A84C72E Time : 0.0 sec. user=vaughan [2012-04-21 05:41:56] 579*2^1130531-1 is not prime. Res64: C3A116BA68FD3A1D Time : 0.0 sec. user=vaughan [2012-04-21 05:41:57] 595*2^1130531-1 is not prime. Res64: F17F9880F9716CC0 Time : 0.0 sec. user=henryzz [2012-04-21 05:42:09] 511*2^1130431-1 is not prime. Res64: 98E6E2708BBB2741 Time : 0.0 sec. user=henryzz [2012-04-21 05:42:21] 593*2^1130430-1 is not prime. Res64: 4E1F3C5FEB1F0678 Time : 0.0 sec. user=henryzz [2012-04-21 05:52:29] 477*2^1130434-1 is not prime. Res64: DF3D3B30211D18EB Time : 0.0 sec. user=vaughan [2012-04-21 05:54:44] 485*2^1130532-1 is not prime. Res64: C759BC5E0FEB5B4A Time : 0.0 sec. user=vaughan [2012-04-21 05:54:45] 555*2^1130532-1 is not prime. Res64: 71E0DCF25EA4BB61 Time : 0.0 sec. user=vaughan [2012-04-21 05:55:11] 427*2^1130533-1 is not prime. Res64: 3099A99A340AAD4B Time : 0.0 sec. user=vaughan [2012-04-21 05:55:12] 477*2^1130533-1 is not prime. Res64: C826020B48EFCB1B Time : 0.0 sec. user=vaughan [2012-04-21 05:55:16] 519*2^1130533-1 is not prime. Res64: 955C4AF5FC4ACDB7 Time : 0.0 sec. user=vaughan [2012-04-21 05:55:16] 525*2^1130533-1 is not prime. Res64: 3FB9594522FC41FC Time : 0.0 sec. user=vaughan [2012-04-21 06:02:50] 433*2^1130535-1 is not prime. Res64: 4C84851A0C8558FE Time : 0.0 sec. user=vaughan [2012-04-21 06:02:51] 465*2^1130535-1 is not prime. Res64: B8801874503A998E Time : 0.0 sec. user=henryzz [2012-04-21 06:04:59] 591*2^1130535-1 is not prime. Res64: 8B054337D890E404 Time : 0.0 sec. user=henryzz [2012-04-21 06:06:01] 503*2^1130534-1 is not prime. Res64: 97EF3CB81119B3DE Time : 0.0 sec. user=henryzz [2012-04-21 06:08:33] 489*2^1130535-1 is not prime. Res64: F9412664290DFF5E Time : 0.0 sec. user=vaughan [2012-04-21 06:12:55] 597*2^1130533-1 is not prime. Res64: F465F56E7B774CA4 Time : 0.0 sec. user=vaughan [2012-04-21 06:15:31] 447*2^1130536-1 is not prime. Res64: FB2B5BEABB3F77AB Time : 0.0 sec. user=vaughan [2012-04-21 06:15:31] 441*2^1130537-1 is not prime. Res64: 30A38641E592F5E1 Time : 0.0 sec. user=vaughan [2012-04-21 06:15:55] 571*2^1130537-1 is not prime. Res64: 00C055C095B480FC Time : 0.0 sec. user=vaughan [2012-04-21 06:15:56] 417*2^1130538-1 is not prime. Res64: 492A12C70DDB24BE Time : 0.0 sec. user=vaughan [2012-04-21 06:15:57] 501*2^1130537-1 is not prime. Res64: 0AC0D40D8682ACAE Time : 0.0 sec. user=vaughan [2012-04-21 06:15:58] 537*2^1130537-1 is not prime. Res64: 5D2FF1A15FAD9AF9 Time : 0.0 sec. user=vaughan [2012-04-21 06:17:54] 451*2^1130539-1 is not prime. Res64: 3980CAF4B8C2DE63 Time : 0.0 sec. user=henryzz [2012-04-21 06:20:18] 413*2^1130536-1 is not prime. Res64: A7ECE81E3CA2120B Time : 0.0 sec. user=vaughan [2012-04-21 06:22:46] 411*2^1130539-1 is not prime. Res64: 2BCF1DE129CB2DA8 Time : 0.0 sec. user=vaughan [2012-04-21 06:23:35] 473*2^1130538-1 is not prime. Res64: 48822056EF5F06A7 Time : 0.0 sec. user=vaughan [2012-04-21 06:23:36] 563*2^1130538-1 is not prime. Res64: 2ABB0C4BBEE65AB2 Time : 0.0 sec. user=henryzz [2012-04-21 06:29:38] 499*2^1130539-1 is not prime. Res64: 668B069DA9DD9783 Time : 0.0 sec. user=vaughan [2012-04-21 06:30:59] 503*2^1130540-1 is not prime. Res64: 70C4DEA4E194ABD7 Time : 0.0 sec. user=henryzz [2012-04-21 06:33:37] 549*2^1130539-1 is not prime. Res64: C6A0D1A1A5193C26 Time : 0.0 sec. user=henryzz [2012-04-21 06:35:04] 417*2^1130540-1 is not prime. Res64: 549F034F7E8D9EE0 Time : 0.0 sec. user=vaughan [2012-04-21 06:36:19] 557*2^1130540-1 is not prime. Res64: 3349C93886F8F3F6 Time : 0.0 sec. user=vaughan [2012-04-21 06:36:19] 599*2^1130540-1 is not prime. Res64: 4CD8B46F70EF9907 Time : 0.0 sec. user=vaughan [2012-04-21 06:36:41] 451*2^1130541-1 is not prime. Res64: 7902DA0F02F3E2AB Time : 0.0 sec. user=vaughan [2012-04-21 06:36:42] 565*2^1130541-1 is not prime. Res64: 0E580DF28F19F8DB Time : 0.0 sec. user=vaughan [2012-04-21 06:36:45] 413*2^1130542-1 is not prime. Res64: 3D32CB435BB41CE3 Time : 0.0 sec. user=vaughan [2012-04-21 06:36:46] 435*2^1130542-1 is not prime. Res64: FCB7848BFD27CD6C Time : 0.0 sec. user=vaughan [2012-04-21 06:44:22] 525*2^1130542-1 is not prime. Res64: 69596D96121FB952 Time : 0.0 sec. user=vaughan [2012-04-21 06:44:23] 423*2^1130543-1 is not prime. Res64: 6773FF9357DC6B1F Time : 0.0 sec. user=henryzz [2012-04-21 06:47:40] 467*2^1130542-1 is not prime. Res64: CF5AEE8DE043F1F4 Time : 0.0 sec. user=henryzz [2012-04-21 06:54:08] 451*2^1130543-1 is not prime. Res64: 530D54D14940CED1 Time : 0.0 sec. user=vaughan [2012-04-21 06:57:04] 479*2^1130544-1 is not prime. Res64: A82786A2D3DA90D2 Time : 0.0 sec. user=vaughan [2012-04-21 06:57:05] 525*2^1130544-1 is not prime. Res64: 898290C1C83B195A Time : 0.0 sec. user=vaughan [2012-04-21 06:57:31] 539*2^1130544-1 is not prime. Res64: 5AAD76E68360961F Time : 0.0 sec. user=vaughan [2012-04-21 06:57:31] 415*2^1130545-1 is not prime. Res64: 5B796F90D5A49C00 Time : 0.0 sec. user=vaughan [2012-04-21 06:57:32] 557*2^1130544-1 is not prime. Res64: 0C78C6096F8A025A Time : 0.0 sec. user=vaughan [2012-04-21 06:57:32] 589*2^1130545-1 is not prime. Res64: 6F40A5F08F80F5E1 Time : 0.0 sec. user=henryzz [2012-04-21 07:02:59] 447*2^1130544-1 is not prime. Res64: 448DF69342525F7D Time : 0.0 sec. user=henryzz [2012-04-21 07:03:12] 505*2^1130543-1 is not prime. Res64: 95A6F26807146117 Time : 0.0 sec. user=vaughan [2012-04-21 07:05:09] 407*2^1130546-1 is not prime. Res64: 0460E5D42CBE391F Time : 0.0 sec. user=vaughan [2012-04-21 07:05:11] 425*2^1130546-1 is not prime. Res64: C6A5EA225EBEE1F9 Time : 0.0 sec. user=vaughan [2012-04-21 07:17:54] 403*2^1130547-1 is not prime. Res64: C6F6FBC709541ECD Time : 0.0 sec. user=vaughan [2012-04-21 07:17:55] 433*2^1130547-1 is not prime. Res64: DA50A2DD17F73178 Time : 0.0 sec. user=vaughan [2012-04-21 07:18:15] 563*2^1130548-1 is not prime. Res64: 3BA5BC0BFBF724C3 Time : 0.0 sec. user=vaughan [2012-04-21 07:18:16] 435*2^1130549-1 is not prime. Res64: 2DC91C79427F9210 Time : 0.0 sec. user=vaughan [2012-04-21 07:18:27] 489*2^1130547-1 is not prime. Res64: 81CFAFEC99A83614 Time : 0.0 sec. user=vaughan [2012-04-21 07:18:27] 533*2^1130548-1 is not prime. Res64: 24CA29D33ED823C3 Time : 0.0 sec. user=henryzz [2012-04-21 07:22:21] 573*2^1130546-1 is not prime. Res64: 313AD43FF055F4E5 Time : 0.0 sec. user=vaughan [2012-04-21 07:25:04] 521*2^1130546-1 is not prime. Res64: 5E07B301BCC9DC55 Time : 0.0 sec. user=vaughan [2012-04-21 07:25:55] 431*2^1130550-1 is not prime. Res64: D2CF0798063D5BE4 Time : 0.0 sec. user=vaughan [2012-04-21 07:25:56] 443*2^1130550-1 is not prime. Res64: 1840CFF18AF39777 Time : 0.0 sec. user=henryzz [2012-04-21 07:34:40] 497*2^1130546-1 is not prime. Res64: 46C0E7D8EE44447E Time : 0.0 sec. user=vaughan [2012-04-21 07:38:47] 473*2^1130550-1 is not prime. Res64: BC4569084CD8F112 Time : 0.0 sec. user=vaughan [2012-04-21 07:38:47] 501*2^1130550-1 is not prime. Res64: F1B5E7CA648F0691 Time : 0.0 sec. user=henryzz [2012-04-21 07:38:58] 549*2^1130549-1 is not prime. Res64: 9818EA523C5F1A51 Time : 0.0 sec. user=vaughan [2012-04-21 07:39:09] 525*2^1130550-1 is not prime. Res64: 293B46C92E8F01A7 Time : 0.0 sec. user=vaughan [2012-04-21 07:39:10] 405*2^1130551-1 is not prime. Res64: 9DC2E5A2140974E9 Time : 0.0 sec. user=vaughan [2012-04-21 07:39:19] 423*2^1130551-1 is not prime. Res64: 89485B4400B77E37 Time : 0.0 sec. user=vaughan [2012-04-21 07:39:19] 429*2^1130551-1 is not prime. Res64: AF66B93372B03A8F Time : 0.0 sec. user=henryzz [2012-04-21 07:43:24] 561*2^1130549-1 is not prime. Res64: CFCE50AF7230D870 Time : 0.0 sec. user=vaughan [2012-04-21 07:46:45] 453*2^1130552-1 is not prime. Res64: 6121622DDEAFC790 Time : 0.0 sec. user=vaughan [2012-04-21 07:46:46] 495*2^1130552-1 is not prime. Res64: 9DE4D1384D7A0D05 Time : 0.0 sec. user=henryzz [2012-04-21 07:50:02] 423*2^1130552-1 is not prime. Res64: 4352DFF95497B276 Time : 0.0 sec. user=henryzz [2012-04-21 07:57:17] 507*2^1130552-1 is not prime. Res64: 4C601F3C0EF4E3F5 Time : 0.0 sec. user=vaughan [2012-04-21 07:59:38] 515*2^1130552-1 is not prime. Res64: 3E69DC7D640FCBCF Time : 0.0 sec. user=vaughan [2012-04-21 07:59:39] 427*2^1130553-1 is not prime. Res64: 9FC20C46E39F1168 Time : 0.0 sec. user=vaughan [2012-04-21 08:00:07] 555*2^1130553-1 is not prime. Res64: 24EDBE84FCFB3413 Time : 0.0 sec. user=vaughan [2012-04-21 08:00:08] 495*2^1130554-1 is not prime. Res64: 0840CD14C68F0538 Time : 0.0 sec. user=vaughan [2012-04-21 08:00:17] 561*2^1130554-1 is not prime. Res64: 199F617563A2731B Time : 0.0 sec. user=vaughan [2012-04-21 08:00:18] 459*2^1130555-1 is not prime. Res64: D15CE0382A165EA1 Time : 0.0 sec. user=henryzz [2012-04-21 08:00:55] 537*2^1130553-1 is not prime. Res64: 1490FB92A5D4EE3E Time : 0.0 sec. user=henryzz [2012-04-21 08:04:29] 481*2^1130555-1 is not prime. Res64: 3DDB666969894913 Time : 0.0 sec. user=vaughan [2012-04-21 08:07:43] 573*2^1130555-1 is not prime. Res64: 8D111BED9401143B Time : 0.0 sec. user=vaughan [2012-04-21 08:07:44] 405*2^1130556-1 is not prime. Res64: 02A3B492A5717490 Time : 0.0 sec. user=henryzz [2012-04-21 08:12:02] 437*2^1130556-1 is not prime. Res64: 039CFBF85BFC5FD7 Time : 0.0 sec. user=henryzz [2012-04-21 08:19:24] 455*2^1130556-1 is not prime. Res64: AC26EAF9A8CB4E36 Time : 0.0 sec. user=vaughan [2012-04-21 08:20:30] 537*2^1130556-1 is not prime. Res64: 19706DA20709A3C1 Time : 0.0 sec. user=vaughan [2012-04-21 08:20:31] 441*2^1130557-1 is not prime. Res64: A780BEADC051019E Time : 0.0 sec. user=vaughan [2012-04-21 08:20:58] 417*2^1130558-1 is not prime. Res64: 239B49162137C489 Time : 0.0 sec. user=vaughan [2012-04-21 08:20:59] 435*2^1130558-1 is not prime. Res64: 9AE2B120F1185D03 Time : 0.0 sec. user=vaughan [2012-04-21 08:21:08] 583*2^1130559-1 is not prime. Res64: 97B4D82E0124BD01 Time : 0.0 sec. user=vaughan [2012-04-21 08:21:09] 569*2^1130560-1 is not prime. Res64: B8EE4C90CEC3D28F Time : 0.0 sec. user=henryzz [2012-04-21 08:23:03] 475*2^1130561-1 is not prime. Res64: 8163D2B98B2947F0 Time : 0.0 sec. user=henryzz [2012-04-21 08:25:28] 423*2^1130562-1 is not prime. Res64: 8EA839186B24612F Time : 0.0 sec. user=vaughan [2012-04-21 08:28:45] 503*2^1130562-1 is not prime. Res64: 6BF5C222B28679F8 Time : 0.0 sec. user=vaughan [2012-04-21 08:28:45] 543*2^1130562-1 is not prime. Res64: 294F309B70FF3A40 Time : 0.0 sec. user=gd_barnes [2012-04-21 08:31:10] 497*2^1130562-1 is not prime. Res64: C8BF828DD9FE4658 Time : 0.0 sec. user=vaughan [2012-04-21 08:32:26] 527*2^1130556-1 is not prime. Res64: A807D0EFBE3019A9 Time : 0.0 sec. user=henryzz [2012-04-21 08:34:03] 587*2^1130562-1 is not prime. Res64: 6F61CF18D5CA4E46 Time : 0.0 sec. user=vaughan [2012-04-21 08:41:24] 451*2^1130563-1 is not prime. Res64: CAF962F42FA8E2E9 Time : 0.0 sec. user=vaughan [2012-04-21 08:41:24] 505*2^1130563-1 is not prime. Res64: 31D35496D1F36D0B Time : 0.0 sec. user=henryzz [2012-04-21 08:41:28] 411*2^1130563-1 is not prime. Res64: 89094280C18BEE7E Time : 0.0 sec. user=vaughan [2012-04-21 08:41:53] 511*2^1130563-1 is not prime. Res64: 0B3818070FC1E309 Time : 0.0 sec. user=vaughan [2012-04-21 08:41:54] 519*2^1130563-1 is not prime. Res64: D4508ADBCDC85AD8 Time : 0.0 sec. user=vaughan [2012-04-21 08:42:06] 589*2^1130563-1 is not prime. Res64: C1EAB8A8526C5EDA Time : 0.0 sec. user=vaughan [2012-04-21 08:42:07] 595*2^1130563-1 is not prime. Res64: 5ED928F2F3925BC0 Time : 0.0 sec. user=henryzz [2012-04-21 08:45:02] 413*2^1130564-1 is not prime. Res64: 9F1256A0E7EF179B Time : 0.0 sec. user=henryzz [2012-04-21 08:46:32] 447*2^1130564-1 is not prime. Res64: EFEDEBF941795821 Time : 0.0 sec. user=vaughan [2012-04-21 08:49:31] 459*2^1130564-1 is not prime. Res64: 931A63B1D1D9AB71 Time : 0.0 sec. user=vaughan [2012-04-21 08:49:32] 489*2^1130564-1 is not prime. Res64: E8054EC5A3E1DCA1 Time : 0.0 sec. user=henryzz [2012-04-21 08:56:07] 405*2^1130565-1 is not prime. Res64: 5A1077487282AF78 Time : 0.0 sec. user=vaughan [2012-04-21 09:02:15] 409*2^1130565-1 is not prime. Res64: C94B43C88FE67268 Time : 0.0 sec. user=vaughan [2012-04-21 09:02:18] 441*2^1130565-1 is not prime. Res64: 2538F45520B54459 Time : 0.0 sec. user=vaughan [2012-04-21 09:02:48] 475*2^1130565-1 is not prime. Res64: B2CA6E7B97A3E9D3 Time : 0.0 sec. user=vaughan [2012-04-21 09:02:49] 481*2^1130565-1 is not prime. Res64: 24879AD9D7A0AFF2 Time : 0.0 sec. user=vaughan [2012-04-21 09:03:01] 455*2^1130566-1 is not prime. Res64: 5CD0259E18322D5C Time : 0.0 sec. user=vaughan [2012-04-21 09:03:03] 471*2^1130566-1 is not prime. Res64: ED04BF7DF0709F8E Time : 0.0 sec. user=henryzz [2012-04-21 09:03:44] 457*2^1130565-1 is not prime. Res64: ED7E11C4E15F7F9A Time : 0.0 sec. user=vaughan [2012-04-21 09:05:59] 593*2^1130564-1 is not prime. Res64: 54BF0FA276FB8AE9 Time : 0.0 sec. user=henryzz [2012-04-21 09:07:23] 525*2^1130566-1 is not prime. Res64: DA14C22EFB9B5914 Time : 0.0 sec. user=henryzz [2012-04-21 09:08:46] 527*2^1130566-1 is not prime. Res64: C15CB07A6242454A Time : 0.0 sec. user=vaughan [2012-04-21 09:10:23] 551*2^1130566-1 is not prime. Res64: 6CEDB7A6D8FEF53D Time : 0.0 sec. user=vaughan [2012-04-21 09:10:26] 561*2^1130566-1 is not prime. Res64: 7253D91A2BA33F5F Time : 0.0 sec. user=henryzz [2012-04-21 09:16:50] 571*2^1130567-1 is not prime. Res64: DD9B3ADCD4A5C75C Time : 0.0 sec. user=vaughan [2012-04-21 09:23:09] 595*2^1130567-1 is not prime. Res64: F9794270837FC81E Time : 0.0 sec. user=vaughan [2012-04-21 09:23:09] 405*2^1130568-1 is not prime. Res64: 586905DE52471C50 Time : 0.0 sec. user=vaughan [2012-04-21 09:23:46] 509*2^1130568-1 is not prime. Res64: 69F2B6100BD4C36B Time : 0.0 sec. user=vaughan [2012-04-21 09:23:46] 557*2^1130568-1 is not prime. Res64: 97DCDF904424D3AA Time : 0.0 sec. user=vaughan [2012-04-21 09:23:58] 465*2^1130569-1 is not prime. Res64: 9E9DB5B890838291 Time : 0.0 sec. user=vaughan [2012-04-21 09:23:59] 555*2^1130569-1 is not prime. Res64: F781A7F8448975BB Time : 0.0 sec. user=henryzz [2012-04-21 09:25:46] 589*2^1130569-1 is not prime. Res64: 73371C372E146616 Time : 0.0 sec. user=vaughan [2012-04-21 09:26:48] 549*2^1130572-1 is not prime. Res64: CE3BC26DFCFF4A4A Time : 0.0 sec. user=henryzz [2012-04-21 09:29:38] 411*2^1130570-1 is not prime. Res64: 0E12AC25F3B8C585 Time : 0.0 sec. user=henryzz [2012-04-21 09:30:46] 483*2^1130570-1 is not prime. Res64: 92350170251733CF Time : 0.0 sec. user=vaughan [2012-04-21 09:31:15] 593*2^1130570-1 is not prime. Res64: C77208953D5AA280 Time : 0.0 sec. user=vaughan [2012-04-21 09:31:15] 405*2^1130571-1 is not prime. Res64: 59D6F674B703E43C Time : 0.0 sec. user=henryzz [2012-04-21 09:38:52] 409*2^1130573-1 is not prime. Res64: 82541E622749EC48 Time : 0.0 sec. user=vaughan [2012-04-21 09:44:01] 475*2^1130573-1 is not prime. Res64: A0CC9BDD7948E30D Time : 0.0 sec. user=vaughan [2012-04-21 09:44:02] 477*2^1130573-1 is not prime. Res64: 0B020F77C29A05C1 Time : 0.0 sec. user=vaughan [2012-04-21 09:44:34] 529*2^1130573-1 is not prime. Res64: F643BA9FDDD7653D Time : 0.0 sec. user=vaughan [2012-04-21 09:44:34] 547*2^1130573-1 is not prime. Res64: EC5378C1EBD32230 Time : 0.0 sec. user=vaughan [2012-04-21 09:44:51] 589*2^1130573-1 is not prime. Res64: 0A53EADE939AA8E9 Time : 0.0 sec. user=vaughan [2012-04-21 09:44:51] 591*2^1130573-1 is not prime. Res64: 35CCD713BA87E95A Time : 0.0 sec. user=henryzz [2012-04-21 09:47:50] 417*2^1130574-1 is not prime. Res64: 5DE67079B24B36A8 Time : 0.0 sec. user=henryzz [2012-04-21 09:50:58] 443*2^1130574-1 is not prime. Res64: E02156E61FA092EA Time : 0.0 sec. user=vaughan [2012-04-21 09:52:04] 451*2^1130575-1 is not prime. Res64: 11C48F99DE0EEAB4 Time : 0.0 sec. user=vaughan [2012-04-21 09:52:05] 463*2^1130575-1 is not prime. Res64: CC9321C3D63929F8 Time : 0.0 sec. user=henryzz [2012-04-21 09:53:07] 485*2^1130574-1 is not prime. Res64: D3A6DBE599505EBA Time : 0.0 sec. user=henryzz [2012-04-21 10:01:49] 471*2^1130575-1 is not prime. Res64: 63966EB8388577DF Time : 0.0 sec. user=vaughan [2012-04-21 10:04:57] 483*2^1130576-1 is not prime. Res64: 47A9F061E4B682E2 Time : 0.0 sec. user=vaughan [2012-04-21 10:05:00] 563*2^1130576-1 is not prime. Res64: 1C5D5260DFFA5D62 Time : 0.0 sec. user=vaughan [2012-04-21 10:05:32] 427*2^1130577-1 is not prime. Res64: CBF2FA7F65D5761A Time : 0.0 sec. user=vaughan [2012-04-21 10:05:34] 511*2^1130577-1 is not prime. Res64: 643290FD8802A568 Time : 0.0 sec. user=vaughan [2012-04-21 10:05:47] 597*2^1130578-1 is not prime. Res64: 28A1F41112BACAC3 Time : 0.0 sec. user=vaughan [2012-04-21 10:05:50] 433*2^1130579-1 is not prime. Res64: 1BFAF4746F71DC67 Time : 0.0 sec. user=henryzz [2012-04-21 10:10:37] 469*2^1130579-1 is not prime. Res64: 801D2857960B35D6 Time : 0.0 sec. user=henryzz [2012-04-21 10:12:45] 501*2^1130579-1 is not prime. Res64: F5472F38200CFF88 Time : 0.0 sec. user=vaughan [2012-04-21 10:12:57] 523*2^1130579-1 is not prime. Res64: F87E7DBB472C4E3E Time : 0.0 sec. user=vaughan [2012-04-21 10:12:59] 565*2^1130579-1 is not prime. Res64: 10B7537A561B51E4 Time : 0.0 sec. user=vaughan [2012-04-21 10:14:37] 595*2^1130575-1 is not prime. Res64: E156460BE82C9866 Time : 0.0 sec. user=henryzz [2012-04-21 10:16:20] 413*2^1130580-1 is not prime. Res64: 659824C396CAECA6 Time : 0.0 sec. user=juhehe [2012-04-21 10:17:35] 563*2^1130572-1 is not prime. Res64: 962456741A425A6B Time : 0.0 sec. user=henryzz [2012-04-21 10:24:50] 423*2^1130580-1 is not prime. Res64: 48B5CE5BF3E13BD5 Time : 0.0 sec. user=vaughan [2012-04-21 10:25:54] 459*2^1130580-1 is not prime. Res64: 787D18A8620CF6C4 Time : 0.0 sec. user=vaughan [2012-04-21 10:25:55] 465*2^1130580-1 is not prime. Res64: BE7712CC7559FC0F Time : 0.0 sec. user=vaughan [2012-04-21 10:26:24] 549*2^1130580-1 is not prime. Res64: C3446AE5339FAD61 Time : 0.0 sec. user=vaughan [2012-04-21 10:26:25] 465*2^1130581-1 is not prime. Res64: 2E76BF1950843C02 Time : 0.0 sec. user=vaughan [2012-04-21 10:26:41] 505*2^1130581-1 is not prime. Res64: 7206C0CF1478B211 Time : 0.0 sec. user=vaughan [2012-04-21 10:26:42] 511*2^1130581-1 is not prime. Res64: 06BB759018227A74 Time : 0.0 sec. user=henryzz [2012-04-21 10:33:13] 525*2^1130581-1 is not prime. Res64: 6ECE0EBC9BA0DFFB Time : 0.0 sec. user=vaughan [2012-04-21 10:33:53] 425*2^1130582-1 is not prime. Res64: 1F90DD23658BF0D9 Time : 0.0 sec. user=vaughan [2012-04-21 10:33:54] 585*2^1130582-1 is not prime. Res64: D89099569F9FBA9A Time : 0.0 sec. user=henryzz [2012-04-21 10:35:32] 549*2^1130581-1 is not prime. Res64: 6573908E287CF88D Time : 0.0 sec. user=henryzz [2012-04-21 10:39:22] 471*2^1130583-1 is not prime. Res64: 5323BEBE0898C6D5 Time : 0.0 sec. user=vaughan [2012-04-21 10:46:42] 429*2^1130584-1 is not prime. Res64: 323EE8044AFA2420 Time : 0.0 sec. user=vaughan [2012-04-21 10:46:42] 437*2^1130584-1 is not prime. Res64: CDB7C71AC5279BEB Time : 0.0 sec. user=vaughan [2012-04-21 10:47:16] 549*2^1130584-1 is not prime. Res64: C6DA052B48E96539 Time : 0.0 sec. user=vaughan [2012-04-21 10:47:17] 405*2^1130585-1 is not prime. Res64: 2451C7FE56B0F615 Time : 0.0 sec. user=vaughan [2012-04-21 10:47:32] 481*2^1130585-1 is not prime. Res64: 114547B467A66A72 Time : 0.0 sec. user=vaughan [2012-04-21 10:47:33] 529*2^1130585-1 is not prime. Res64: 3471284345D1434D Time : 0.0 sec. user=henryzz [2012-04-21 10:48:45] 413*2^1130584-1 is not prime. Res64: BEAB23FFB23958E7 Time : 0.0 sec. user=vaughan [2012-04-21 10:50:35] 417*2^1130586-1 is not prime. Res64: CD7F4A84EDAC4FDE Time : 0.0 sec. user=henryzz [2012-04-21 10:56:07] 591*2^1130585-1 is not prime. Res64: 1550FD81E4F8D069 Time : 0.0 sec. user=henryzz [2012-04-21 11:02:18] 497*2^1130586-1 is not prime. Res64: EAB148F8A20A30DC Time : 0.0 sec. user=henryzz [2012-04-21 11:04:49] 439*2^1130587-1 is not prime. Res64: 46BF832C8738F2CC Time : 0.0 sec. user=henryzz [2012-04-21 11:12:54] 427*2^1130589-1 is not prime. Res64: 205D6B2A83CF32F2 Time : 0.0 sec. user=henryzz [2012-04-21 11:22:24] 575*2^1130590-1 is not prime. Res64: 0829FF8741981404 Time : 0.0 sec. user=vaughan [2012-04-21 11:23:00] 471*2^1130589-1 is not prime. Res64: 67AD9FF8EA3B4266 Time : 0.0 sec. user=henryzz [2012-04-21 11:25:49] 587*2^1130590-1 is not prime. Res64: 562DE5676EA96BF4 Time : 0.0 sec. user=henryzz [2012-04-21 11:29:41] 463*2^1130591-1 is not prime. Res64: 8949F1248AF5C9D0 Time : 0.0 sec. user=henryzz [2012-04-21 11:38:14] 591*2^1130591-1 is not prime. Res64: 1A8DEF7CDB942448 Time : 0.0 sec. user=henryzz [2012-04-21 11:47:18] 467*2^1130592-1 is not prime. Res64: 819F61A39467EB51 Time : 0.0 sec. user=henryzz [2012-04-21 11:50:36] 489*2^1130592-1 is not prime. Res64: 9EC44BC628502E29 Time : 0.0 sec. user=henryzz [2012-04-21 11:52:21] 517*2^1130593-1 is not prime. Res64: C8304513765CABFD Time : 0.0 sec. user=vaughan [2012-04-21 11:56:21] 485*2^1130592-1 is not prime. Res64: 24ED9AE2EC1C6BD9 Time : 0.0 sec. user=henryzz [2012-04-21 12:01:49] 555*2^1130593-1 is not prime. Res64: 6E36777F931BDE60 Time : 0.0 sec. user=vaughan [2012-04-21 12:29:40] 501*2^1130594-1 is not prime. Res64: B6D6EFB7B341BF89 Time : 0.0 sec. user=juhehe [2012-04-21 14:16:16] 471*2^1130595-1 is not prime. Res64: 06733F1E9D9909F2 Time : 0.0 sec. user=vaughan [2012-04-21 14:48:58] 511*2^1130595-1 is not prime. Res64: 2D8C92814F76B15E Time : 0.0 sec. user=gd_barnes [2012-04-21 19:27:17] 405*2^1130596-1 is not prime. Res64: ACF88AFA0F518923 Time : 0.0 sec. user=vaughan [2012-04-21 20:01:10] 435*2^1130596-1 is not prime. Res64: 33A066BBD52A904E Time : 0.0 sec. user=vaughan [2012-04-21 21:05:08] 437*2^1130586-1 is not prime. Res64: 491ECF0002409604 Time : 0.0 sec. user=vaughan [2012-04-21 21:17:46] 463*2^1130587-1 is not prime. Res64: 18E000610116064D Time : 0.0 sec. user=vaughan [2012-04-21 21:17:47] 489*2^1130587-1 is not prime. Res64: B58E867F1912697F Time : 0.0 sec. user=vaughan [2012-04-21 21:18:13] 413*2^1130588-1 is not prime. Res64: 054BA8F52EDAF4EC Time : 0.0 sec. user=vaughan [2012-04-21 21:18:14] 563*2^1130588-1 is not prime. Res64: 0F8BB7E5BEAD703B Time : 0.0 sec. user=vaughan [2012-04-21 21:18:46] 573*2^1130588-1 is not prime. Res64: 9D73238B75D20120 Time : 0.0 sec. user=vaughan [2012-04-21 21:18:47] 599*2^1130588-1 is not prime. Res64: 0467C9005F2D628C Time : 0.0 sec. user=vaughan [2012-04-21 21:22:11] 465*2^1130599-1 is not prime. Res64: 504C982484E1511D Time : 0.0 sec. user=vaughan [2012-04-21 21:22:16] 589*2^1130599-1 is not prime. Res64: 9D80E8E598013E9D Time : 0.0 sec. user=vaughan [2012-04-21 21:22:18] 473*2^1130600-1 is not prime. Res64: 54476FE6D9B7CB49 Time : 0.0 sec. user=vaughan [2012-04-21 21:22:19] 459*2^1130600-1 is not prime. Res64: E881D164DFB39C17 Time : 0.0 sec. user=vaughan [2012-04-21 21:23:08] 507*2^1130596-1 is not prime. Res64: 80396386802A48B3 Time : 0.0 sec. user=vaughan [2012-04-21 21:26:00] 525*2^1130596-1 is not prime. Res64: 3818845668ADFCC1 Time : 0.0 sec. user=vaughan [2012-04-21 21:26:01] 587*2^1130596-1 is not prime. Res64: 5343D211DE06026E Time : 0.0 sec. user=gd_barnes [2012-04-21 21:27:29] 445*2^1130597-1 is not prime. Res64: A2541C8EAC57E1CC Time : 0.0 sec. user=gd_barnes [2012-04-21 21:36:01] 489*2^1130600-1 is not prime. Res64: C9289C83B77E293F Time : 0.0 sec. user=vaughan [2012-04-21 21:38:23] 459*2^1130601-1 is not prime. Res64: 9634A5C40EF6BA53 Time : 0.0 sec. user=vaughan [2012-04-21 21:38:24] 597*2^1130601-1 is not prime. Res64: D4BDA0117AF28735 Time : 0.0 sec. user=vaughan [2012-04-21 21:38:37] 413*2^1130602-1 is not prime. Res64: 3125C5D1045A4F2C Time : 0.0 sec. user=vaughan [2012-04-21 21:38:37] 425*2^1130602-1 is not prime. Res64: 7A6000431D313EEF Time : 0.0 sec. user=vaughan [2012-04-21 21:39:46] 467*2^1130602-1 is not prime. Res64: 8AC4560560F41D63 Time : 0.0 sec. user=vaughan [2012-04-21 21:39:47] 483*2^1130602-1 is not prime. Res64: D7E8238D8BBEDC22 Time : 0.0 sec. user=vaughan [2012-04-21 21:41:26] 439*2^1130603-1 is not prime. Res64: B686DE46E7E35462 Time : 0.0 sec. user=vaughan [2012-04-21 21:41:27] 555*2^1130604-1 is not prime. Res64: 88709E523890B77F Time : 0.0 sec. user=vaughan [2012-04-21 21:41:28] 479*2^1130604-1 is not prime. Res64: 4512363D5CFE8084 Time : 0.0 sec. user=vaughan [2012-04-21 21:41:29] 475*2^1130603-1 is not prime. Res64: 21BA1880DBDB7433 Time : 0.0 sec. user=vaughan [2012-04-21 21:44:54] 599*2^1130600-1 is not prime. Res64: F773CE6F46EED951 Time : 0.0 sec. user=vaughan [2012-04-21 21:46:57] 593*2^1130604-1 is not prime. Res64: 43510DC56A5BAEF7 Time : 0.0 sec. user=vaughan [2012-04-21 21:46:58] 405*2^1130605-1 is not prime. Res64: D4E4AF26BF8CA004 Time : 0.0 sec. user=vaughan [2012-04-21 21:56:59] 545*2^1130606-1 is not prime. Res64: 0C9ED5BBF2AFD04A Time : 0.0 sec. user=vaughan [2012-04-21 21:57:00] 525*2^1130606-1 is not prime. Res64: FA91DC697AF7D387 Time : 0.0 sec. user=vaughan [2012-04-21 21:57:00] 433*2^1130607-1 is not prime. Res64: D8F119719B074CAF Time : 0.0 sec. user=vaughan [2012-04-21 21:57:01] 553*2^1130607-1 is not prime. Res64: 329FEB6D3D85ED98 Time : 0.0 sec. user=vaughan [2012-04-21 21:58:40] 415*2^1130605-1 is not prime. Res64: B91AB43042063DB5 Time : 0.0 sec. user=vaughan [2012-04-21 21:58:41] 507*2^1130605-1 is not prime. Res64: B480D20A592D2522 Time : 0.0 sec. user=vaughan [2012-04-21 21:58:54] 537*2^1130605-1 is not prime. Res64: E540ED6B9D87339B Time : 0.0 sec. user=vaughan [2012-04-21 21:58:55] 595*2^1130605-1 is not prime. Res64: 0F9E14E9E5072338 Time : 0.0 sec. user=vaughan [2012-04-21 22:00:37] 407*2^1130606-1 is not prime. Res64: 202346E7FC8A4334 Time : 0.0 sec. user=vaughan [2012-04-21 22:00:38] 477*2^1130606-1 is not prime. Res64: 15FD8FD0B8AE3227 Time : 0.0 sec. user=vaughan [2012-04-21 22:07:48] 573*2^1130607-1 is not prime. Res64: AA0AA49A648A22EA Time : 0.0 sec. user=vaughan [2012-04-21 22:07:50] 413*2^1130608-1 is not prime. Res64: C042A2C149F4C353 Time : 0.0 sec. user=vaughan [2012-04-21 22:12:30] 519*2^1130608-1 is not prime. Res64: 4176DD85BE2F6980 Time : 0.0 sec. user=vaughan [2012-04-21 22:12:34] 445*2^1130609-1 is not prime. Res64: 922CAE1F4AC421A1 Time : 0.0 sec. user=vaughan [2012-04-21 22:12:37] 507*2^1130608-1 is not prime. Res64: 44FEB8E58F6DF300 Time : 0.0 sec. user=vaughan [2012-04-21 22:12:38] 435*2^1130609-1 is not prime. Res64: 761F4781529BBC49 Time : 0.0 sec. user=vaughan [2012-04-21 22:18:17] 425*2^1130612-1 is not prime. Res64: C2A1894FA858E83B Time : 0.0 sec. user=vaughan [2012-04-21 22:18:55] 595*2^1130609-1 is not prime. Res64: FEF381D5256B769D Time : 0.0 sec. user=vaughan [2012-04-21 22:18:56] 401*2^1130610-1 is not prime. Res64: D8ABC4C77B0A8A68 Time : 0.0 sec. user=vaughan [2012-04-21 22:19:15] 473*2^1130610-1 is not prime. Res64: F6EC2D4E367813C9 Time : 0.0 sec. user=vaughan [2012-04-21 22:19:15] 521*2^1130610-1 is not prime. Res64: 9B5F86CFAC85AB63 Time : 0.0 sec. user=vaughan [2012-04-21 22:21:31] 451*2^1130611-1 is not prime. Res64: A8F001F7BA97FE00 Time : 0.0 sec. user=vaughan [2012-04-21 22:21:32] 463*2^1130611-1 is not prime. Res64: 17318D5B3AD2C64E Time : 0.0 sec. user=vaughan [2012-04-21 22:28:07] 465*2^1130614-1 is not prime. Res64: 1A02B9ACD8412E5F Time : 0.0 sec. user=vaughan [2012-04-21 22:28:08] 523*2^1130615-1 is not prime. Res64: 20193ED6BDDD0EFC Time : 0.0 sec. user=vaughan [2012-04-21 22:28:11] 539*2^1130616-1 is not prime. Res64: 7126302A26B51430 Time : 0.0 sec. user=vaughan [2012-04-21 22:28:11] 573*2^1130615-1 is not prime. Res64: 8DB153ED8CF5A88E Time : 0.0 sec. user=vaughan [2012-04-21 22:28:45] 537*2^1130612-1 is not prime. Res64: 7845F344458E006E Time : 0.0 sec. user=vaughan [2012-04-21 22:28:45] 599*2^1130612-1 is not prime. Res64: 5E561E05DB9293B4 Time : 0.0 sec. user=vaughan [2012-04-21 22:34:33] 495*2^1130617-1 is not prime. Res64: A6D6D5D3357BB4AE Time : 0.0 sec. user=vaughan [2012-04-21 22:39:37] 511*2^1130617-1 is not prime. Res64: D13DF42B9C3B3861 Time : 0.0 sec. user=vaughan [2012-04-21 22:39:38] 447*2^1130618-1 is not prime. Res64: 8FB132930734BC7F Time : 0.0 sec. user=vaughan [2012-04-21 22:39:54] 459*2^1130619-1 is not prime. Res64: 1B3E6A274C210777 Time : 0.0 sec. user=vaughan [2012-04-21 22:39:55] 531*2^1130619-1 is not prime. Res64: 71879756D1AA8D02 Time : 0.0 sec. user=vaughan [2012-04-21 22:42:24] 437*2^1130620-1 is not prime. Res64: C2805CDF3E4F0692 Time : 0.0 sec. user=vaughan [2012-04-21 22:42:24] 447*2^1130620-1 is not prime. Res64: 80E4FDD39AEC6ADD Time : 0.0 sec. user=vaughan [2012-04-21 22:43:40] 465*2^1130621-1 is not prime. Res64: 1F643E7E16F1AE7B Time : 0.0 sec. user=vaughan [2012-04-21 22:43:40] 507*2^1130621-1 is not prime. Res64: 495528EF44E7592B Time : 0.0 sec. user=vaughan [2012-04-21 22:43:42] 529*2^1130621-1 is not prime. Res64: DF02BE82534C133D Time : 0.0 sec. user=vaughan [2012-04-21 22:53:30] 553*2^1130619-1 is not prime. Res64: 96878A082A6C6570 Time : 0.0 sec. user=vaughan [2012-04-21 23:24:05] 411*2^1130623-1 is not prime. Res64: 35E764DFC03FA396 Time : 0.0 sec. user=vaughan [2012-04-21 23:24:06] 423*2^1130623-1 is not prime. Res64: 04808CBF072869DD Time : 0.0 sec. user=vaughan [2012-04-21 23:24:12] 453*2^1130622-1 is not prime. Res64: 9539790C57607228 Time : 0.0 sec. user=vaughan [2012-04-21 23:24:26] 451*2^1130623-1 is not prime. Res64: FB069685FFD28017 Time : 0.0 sec. user=vaughan [2012-04-21 23:24:27] 453*2^1130623-1 is not prime. Res64: 375ABE2C537E068A Time : 0.0 sec. user=vaughan [2012-04-21 23:24:29] 555*2^1130623-1 is not prime. Res64: E99697428DA2EEED Time : 0.0 sec. user=vaughan [2012-04-21 23:24:29] 423*2^1130624-1 is not prime. Res64: D8C30D1F368EB557 Time : 0.0 sec. user=vaughan [2012-04-21 23:24:49] 483*2^1130623-1 is not prime. Res64: 8A37376B258BF96C Time : 0.0 sec. user=vaughan [2012-04-21 23:24:49] 541*2^1130623-1 is not prime. Res64: C6614B5DCD48C341 Time : 0.0 sec. user=vaughan [2012-04-21 23:26:21] 551*2^1130622-1 is not prime. Res64: A374D403396EF739 Time : 0.0 sec. user=vaughan [2012-04-21 23:26:21] 587*2^1130622-1 is not prime. Res64: 9C2286EB62D02F76 Time : 0.0 sec. user=vaughan [2012-04-21 23:39:29] 507*2^1130625-1 is not prime. Res64: 73DF35835D54D71A Time : 0.0 sec. user=vaughan [2012-04-21 23:39:54] 465*2^1130627-1 is not prime. Res64: E6DBB35C59ED82A0 Time : 0.0 sec. user=vaughan [2012-04-21 23:40:08] 557*2^1130628-1 is not prime. Res64: 3300C619E897E539 Time : 0.0 sec. user=vaughan [2012-04-21 23:40:13] 563*2^1130628-1 is not prime. Res64: 22FECEB3E9DC6EC1 Time : 0.0 sec. user=vaughan [2012-04-21 23:42:21] 445*2^1130625-1 is not prime. Res64: A59800BF3DBC186E Time : 0.0 sec. user=vaughan [2012-04-21 23:42:21] 481*2^1130625-1 is not prime. Res64: E39F0714979F064F Time : 0.0 sec. user=vaughan [2012-04-21 23:44:28] 477*2^1130626-1 is not prime. Res64: A610C16DFC3866BA Time : 0.0 sec. user=vaughan [2012-04-21 23:44:29] 433*2^1130627-1 is not prime. Res64: BA4E3D91E460BE9F Time : 0.0 sec. user=vaughan [2012-04-21 23:44:41] 505*2^1130627-1 is not prime. Res64: E66108C28718445E Time : 0.0 sec. user=vaughan [2012-04-21 23:44:42] 467*2^1130628-1 is not prime. Res64: A511310CCEB01D83 Time : 0.0 sec. user=vaughan [2012-04-21 23:44:48] 591*2^1130625-1 is not prime. Res64: 7180927303367AA5 Time : 0.0 sec. user=vaughan [2012-04-21 23:45:44] 569*2^1130628-1 is not prime. Res64: 4ABEBB588DCF75D8 Time : 0.0 sec. user=vaughan [2012-04-21 23:45:45] 585*2^1130628-1 is not prime. Res64: 2816D355EE4AFE57 Time : 0.0 sec. user=vaughan [2012-04-21 23:47:09] 451*2^1130629-1 is not prime. Res64: BCC4BDFFBF2D4EA5 Time : 0.0 sec. user=vaughan [2012-04-21 23:47:10] 555*2^1130629-1 is not prime. Res64: C6541499D21F0328 Time : 0.0 sec. user=vaughan [2012-04-21 23:55:04] 461*2^1130630-1 is not prime. Res64: 45A092AD8136FFF7 Time : 0.0 sec. user=vaughan [2012-04-21 23:55:30] 557*2^1130630-1 is not prime. Res64: 8471A2271E27B13F Time : 0.0 sec. user=vaughan [2012-04-21 23:55:42] 409*2^1130631-1 is not prime. Res64: F869168564D6571D Time : 0.0 sec. user=vaughan [2012-04-21 23:55:49] 423*2^1130631-1 is not prime. Res64: 8FD6C70D32BB5797 Time : 0.0 sec.