user=mdettweiler [2010-08-23 00:01:42] 587*2^890530-1 is not prime. Res64: 1A89657E3325A274 Time : 0.0 sec. user=mdettweiler [2010-08-23 00:01:43] 411*2^890531-1 is not prime. Res64: A63C1FCB7302F574 Time : 0.0 sec. user=mdettweiler [2010-08-23 00:01:43] 445*2^890531-1 is not prime. Res64: E4314D614DDCFDB4 Time : 0.0 sec. user=mdettweiler [2010-08-23 00:01:55] 465*2^890531-1 is not prime. Res64: 597AE67F0E890769 Time : 0.0 sec. user=mdettweiler [2010-08-23 00:01:55] 505*2^890531-1 is not prime. Res64: 3A5AFF109B386E53 Time : 0.0 sec. user=mdettweiler [2010-08-23 00:01:56] 579*2^890531-1 is not prime. Res64: 1F0E8F5403B5B085 Time : 0.0 sec. user=mdettweiler [2010-08-23 00:02:45] 429*2^890532-1 is not prime. Res64: 5BC79C717C432B35 Time : 0.0 sec. user=mdettweiler [2010-08-23 00:02:45] 545*2^890532-1 is not prime. Res64: A12327892E15EBC9 Time : 0.0 sec. user=mdettweiler [2010-08-23 00:02:46] 579*2^890532-1 is not prime. Res64: 18CDF11255041F0B Time : 0.0 sec. user=mdettweiler [2010-08-23 00:06:10] 499*2^890533-1 is not prime. Res64: 8C7CF22E361B6F94 Time : 0.0 sec. user=mdettweiler [2010-08-23 00:06:10] 507*2^890533-1 is not prime. Res64: 674E9937FC14EA3B Time : 0.0 sec. user=mdettweiler [2010-08-23 00:06:11] 517*2^890533-1 is not prime. Res64: E9668945CDC4F80F Time : 0.0 sec. user=mdettweiler [2010-08-23 00:43:17] 525*2^890533-1 is not prime. Res64: F443E200EBEA8BB2 Time : 0.0 sec. user=mdettweiler [2010-08-23 00:43:18] 565*2^890533-1 is not prime. Res64: C1AD2A0F2F5ABC23 Time : 0.0 sec. user=mdettweiler [2010-08-23 00:43:18] 411*2^890534-1 is not prime. Res64: 74E401D57C36C558 Time : 0.0 sec. user=mdettweiler [2010-08-23 00:43:33] 503*2^890534-1 is not prime. Res64: F7B6CB545ED226DF Time : 0.0 sec. user=mdettweiler [2010-08-23 00:43:33] 587*2^890534-1 is not prime. Res64: E8A805F91C7E8508 Time : 0.0 sec. user=mdettweiler [2010-08-23 00:43:33] 459*2^890535-1 is not prime. Res64: 9A1769CAA195928B Time : 0.0 sec. user=mdettweiler [2010-08-23 00:44:17] 481*2^890535-1 is not prime. Res64: 1D194D31C9C70658 Time : 0.0 sec. user=mdettweiler [2010-08-23 00:44:17] 523*2^890535-1 is not prime. Res64: 4E181B0AC49549C4 Time : 0.0 sec. user=mdettweiler [2010-08-23 00:44:17] 437*2^890536-1 is not prime. Res64: 9E0CAE0305C9117E Time : 0.0 sec. user=mdettweiler [2010-08-23 00:47:51] 453*2^890536-1 is not prime. Res64: 517B55E16B54188C Time : 0.0 sec. user=mdettweiler [2010-08-23 00:47:51] 527*2^890536-1 is not prime. Res64: 2628BA1FEB8031E6 Time : 0.0 sec. user=mdettweiler [2010-08-23 00:47:52] 593*2^890536-1 is not prime. Res64: 587827051ACFB7F5 Time : 0.0 sec. user=mdettweiler [2010-08-23 01:24:47] 475*2^890537-1 is not prime. Res64: ADB61D6249542355 Time : 0.0 sec. user=mdettweiler [2010-08-23 01:24:47] 477*2^890537-1 is not prime. Res64: A52499DD745F369F Time : 0.0 sec. user=mdettweiler [2010-08-23 01:24:48] 495*2^890537-1 is not prime. Res64: 33FA3C41E2084DC6 Time : 0.0 sec. user=mdettweiler [2010-08-23 01:25:02] 511*2^890537-1 is not prime. Res64: E0C5634285337362 Time : 0.0 sec. user=mdettweiler [2010-08-23 01:25:02] 549*2^890537-1 is not prime. Res64: C31BA81D98787C53 Time : 0.0 sec. user=mdettweiler [2010-08-23 01:25:02] 561*2^890537-1 is not prime. Res64: C3A89A5238226EE2 Time : 0.0 sec. user=mdettweiler [2010-08-23 01:25:43] 423*2^890538-1 is not prime. Res64: 95C7B654813E69ED Time : 0.0 sec. user=mdettweiler [2010-08-23 01:25:43] 485*2^890538-1 is not prime. Res64: AE028A21EEDE4D61 Time : 0.0 sec. user=mdettweiler [2010-08-23 01:25:43] 585*2^890538-1 is not prime. Res64: 6D5EC37491412D08 Time : 0.0 sec. user=mdettweiler [2010-08-23 01:29:20] 463*2^890539-1 is not prime. Res64: 87CCAB80AA4725B2 Time : 0.0 sec. user=mdettweiler [2010-08-23 01:29:20] 483*2^890539-1 is not prime. Res64: B656645230B90325 Time : 0.0 sec. user=mdettweiler [2010-08-23 01:29:20] 583*2^890539-1 is not prime. Res64: EC3C1E0BEA200351 Time : 0.0 sec. user=mdettweiler [2010-08-23 02:06:18] 467*2^890540-1 is not prime. Res64: F02E2F30F77FABCA Time : 0.0 sec. user=mdettweiler [2010-08-23 02:06:19] 477*2^890540-1 is not prime. Res64: 5E78087EFE21E72E Time : 0.0 sec. user=mdettweiler [2010-08-23 02:06:19] 515*2^890540-1 is not prime. Res64: F35E937E3D580335 Time : 0.0 sec. user=mdettweiler [2010-08-23 02:06:34] 537*2^890540-1 is not prime. Res64: 16EC4EF82C2B0D69 Time : 0.0 sec. user=mdettweiler [2010-08-23 02:06:34] 579*2^890540-1 is not prime. Res64: F7D7F9BC37772416 Time : 0.0 sec. user=mdettweiler [2010-08-23 02:06:34] 471*2^890541-1 is not prime. Res64: 90DFC49AA2A968D8 Time : 0.0 sec. user=mdettweiler [2010-08-23 02:07:11] 549*2^890541-1 is not prime. Res64: 17F5F6BD051616D0 Time : 0.0 sec. user=mdettweiler [2010-08-23 02:07:12] 577*2^890541-1 is not prime. Res64: ACB118F8B59DA9C1 Time : 0.0 sec. user=mdettweiler [2010-08-23 02:07:12] 579*2^890541-1 is not prime. Res64: 0E725F4660255C04 Time : 0.0 sec. user=mdettweiler [2010-08-23 02:10:50] 405*2^890542-1 is not prime. Res64: D5F006B3D2C4F2E5 Time : 0.0 sec. user=mdettweiler [2010-08-23 02:10:50] 425*2^890542-1 is not prime. Res64: 9F41720A5EE2655C Time : 0.0 sec. user=mdettweiler [2010-08-23 02:10:50] 453*2^890542-1 is not prime. Res64: 9423F149A6CE3EF6 Time : 0.0 sec. user=mdettweiler [2010-08-23 02:47:50] 489*2^890207-1 is not prime. Res64: FFD68FD216DB2B56 Time : 0.0 sec. user=mdettweiler [2010-08-23 02:47:50] 485*2^890208-1 is not prime. Res64: DA471C20ACEA6FD4 Time : 0.0 sec. user=mdettweiler [2010-08-23 02:47:50] 489*2^890208-1 is not prime. Res64: B5C7D7E67869B94A Time : 0.0 sec. user=mdettweiler [2010-08-23 02:48:02] 565*2^890209-1 is not prime. Res64: 768C7B3DDA60964D Time : 0.0 sec. user=mdettweiler [2010-08-23 02:48:02] 515*2^890210-1 is not prime. Res64: B1E85790FEDA2703 Time : 0.0 sec. user=mdettweiler [2010-08-23 02:48:03] 521*2^890210-1 is not prime. Res64: C0A9A424F0B53688 Time : 0.0 sec. user=mdettweiler [2010-08-23 02:48:41] 483*2^890542-1 is not prime. Res64: 7790EB2C4CE82743 Time : 0.0 sec. user=mdettweiler [2010-08-23 02:48:41] 545*2^890542-1 is not prime. Res64: C242D4F531435E10 Time : 0.0 sec. user=mdettweiler [2010-08-23 02:48:42] 561*2^890542-1 is not prime. Res64: EDBC2D362A60B987 Time : 0.0 sec. user=mdettweiler [2010-08-23 02:52:16] 411*2^890543-1 is not prime. Res64: 237D1B6028C060B7 Time : 0.0 sec. user=mdettweiler [2010-08-23 02:52:16] 441*2^890543-1 is not prime. Res64: 29EE89D0713DB77C Time : 0.0 sec. user=mdettweiler [2010-08-23 02:52:16] 585*2^890543-1 is not prime. Res64: CC4D930EF5A5BABF Time : 0.0 sec. user=mdettweiler [2010-08-23 03:29:21] 419*2^890544-1 is not prime. Res64: BE7EE99777D3D32B Time : 0.0 sec. user=mdettweiler [2010-08-23 03:29:22] 453*2^890544-1 is not prime. Res64: 3D1FCE09E281721E Time : 0.0 sec. user=mdettweiler [2010-08-23 03:29:22] 497*2^890544-1 is not prime. Res64: 04593614651D4733 Time : 0.0 sec. user=mdettweiler [2010-08-23 03:29:30] 567*2^890544-1 is not prime. Res64: 57F4AC67D98408E3 Time : 0.0 sec. user=mdettweiler [2010-08-23 03:29:30] 447*2^890545-1 is not prime. Res64: C043A4E7CA0D3213 Time : 0.0 sec. user=mdettweiler [2010-08-23 03:29:30] 457*2^890545-1 is not prime. Res64: 27EE3F6587D8DB86 Time : 0.0 sec. user=mdettweiler [2010-08-23 03:30:11] 471*2^890545-1 is not prime. Res64: D2FECFFF0928DAD4 Time : 0.0 sec. user=mdettweiler [2010-08-23 03:30:11] 541*2^890545-1 is not prime. Res64: 672B654BFEAE87D1 Time : 0.0 sec. user=mdettweiler [2010-08-23 03:30:11] 577*2^890545-1 is not prime. Res64: 67201108EB6E1FEB Time : 0.0 sec. user=mdettweiler [2010-08-23 03:33:42] 589*2^890545-1 is not prime. Res64: 72060F397DC6B78D Time : 0.0 sec. user=mdettweiler [2010-08-23 03:33:43] 431*2^890546-1 is not prime. Res64: B2F9D747C0B2EF5F Time : 0.0 sec. user=mdettweiler [2010-08-23 03:33:43] 473*2^890546-1 is not prime. Res64: 65F5C23A5B89A56D Time : 0.0 sec. user=henryzz [2010-08-23 03:59:47] 585*2^890495-1 is not prime. Res64: D5EDF275B56DEE80 Time : 0.0 sec. user=henryzz [2010-08-23 04:00:51] 455*2^890496-1 is not prime. Res64: 4580A6DD81DF3BED Time : 0.0 sec. user=henryzz [2010-08-23 04:02:30] 429*2^890496-1 is not prime. Res64: E4BB2999A7DC2A0F Time : 0.0 sec. user=henryzz [2010-08-23 04:03:18] 587*2^890496-1 is not prime. Res64: 36D10E49E7498C80 Time : 0.0 sec. user=mdettweiler [2010-08-23 04:10:51] 593*2^890546-1 is not prime. Res64: 732D4800B0C8D644 Time : 0.0 sec. user=mdettweiler [2010-08-23 04:10:51] 409*2^890547-1 is not prime. Res64: B0AABBE4EB589887 Time : 0.0 sec. user=mdettweiler [2010-08-23 04:10:51] 471*2^890547-1 is not prime. Res64: 2AE199BE9DAAD5C2 Time : 0.0 sec. user=mdettweiler [2010-08-23 04:11:02] 513*2^890547-1 is not prime. Res64: 680A4574061F1566 Time : 0.0 sec. user=mdettweiler [2010-08-23 04:11:02] 571*2^890547-1 is not prime. Res64: E2DC49273BC274BE Time : 0.0 sec. user=mdettweiler [2010-08-23 04:11:02] 437*2^890548-1 is not prime. Res64: 910327D679995E98 Time : 0.0 sec. user=mdettweiler [2010-08-23 04:11:39] 549*2^890548-1 is not prime. Res64: 5384097D24D56832 Time : 0.0 sec. user=mdettweiler [2010-08-23 04:11:39] 597*2^890548-1 is not prime. Res64: 4B87A3BA23271311 Time : 0.0 sec. user=mdettweiler [2010-08-23 04:11:39] 559*2^890549-1 is not prime. Res64: 7053B508BEF9415D Time : 0.0 sec. user=mdettweiler [2010-08-23 04:15:11] 567*2^890549-1 is not prime. Res64: 98F43E2BFA6B1DDC Time : 0.0 sec. user=mdettweiler [2010-08-23 04:15:11] 423*2^890550-1 is not prime. Res64: 5B2BC7038910D0C0 Time : 0.0 sec. user=mdettweiler [2010-08-23 04:15:12] 453*2^890550-1 is not prime. Res64: 47C242872F881FC7 Time : 0.0 sec. user=henryzz [2010-08-23 04:18:54] 521*2^890550-1 is not prime. Res64: CE51DF3BE10E6D62 Time : 0.0 sec. user=henryzz [2010-08-23 04:19:15] 429*2^890551-1 is not prime. Res64: C06C52BD2E47FED8 Time : 0.0 sec. user=henryzz [2010-08-23 04:20:55] 441*2^890551-1 is not prime. Res64: B46FE2B0AA4890F0 Time : 0.0 sec. user=henryzz [2010-08-23 04:23:37] 531*2^890551-1 is not prime. Res64: 572B70A6A0A9A603 Time : 0.0 sec. user=henryzz [2010-08-23 04:37:05] 441*2^890557-1 is not prime. Res64: CB08C77FD0AB0DCC Time : 0.0 sec. user=henryzz [2010-08-23 04:39:22] 505*2^890557-1 is not prime. Res64: 7FE65C7CF2486B45 Time : 0.0 sec. user=henryzz [2010-08-23 04:40:47] 447*2^890557-1 is not prime. Res64: 55F8248A85B7BAAE Time : 0.0 sec. user=henryzz [2010-08-23 04:42:32] 525*2^890558-1 is not prime. Res64: 8D51CDA50AB579CD Time : 0.0 sec. user=mdettweiler [2010-08-23 04:52:22] 549*2^890551-1 is not prime. Res64: E18A6A1A4BB94BDA Time : 0.0 sec. user=mdettweiler [2010-08-23 04:52:23] 405*2^890552-1 is not prime. Res64: B7A262CA4BFFF8F3 Time : 0.0 sec. user=mdettweiler [2010-08-23 04:52:23] 437*2^890552-1 is not prime. Res64: 32DD805E30E08BB9 Time : 0.0 sec. user=mdettweiler [2010-08-23 04:52:35] 525*2^890552-1 is not prime. Res64: 0017F781D53B586C Time : 0.0 sec. user=mdettweiler [2010-08-23 04:52:35] 501*2^890553-1 is not prime. Res64: 9ED6F3406E4CADDC Time : 0.0 sec. user=mdettweiler [2010-08-23 04:52:35] 559*2^890553-1 is not prime. Res64: 5591245FE54B4860 Time : 0.0 sec. user=mdettweiler [2010-08-23 04:53:06] 585*2^890553-1 is not prime. Res64: 93EFE6E4BD59F4C1 Time : 0.0 sec. user=mdettweiler [2010-08-23 04:53:06] 447*2^890554-1 is not prime. Res64: F50DFF6243CD245D Time : 0.0 sec. user=mdettweiler [2010-08-23 04:53:06] 543*2^890555-1 is not prime. Res64: F880C7B2FD1B1F8E Time : 0.0 sec. user=henryzz [2010-08-23 04:55:31] 543*2^890559-1 is not prime. Res64: FD0158932F567164 Time : 0.0 sec. user=mdettweiler [2010-08-23 04:56:40] 473*2^890556-1 is not prime. Res64: 3057A1AD1FD1C17E Time : 0.0 sec. user=mdettweiler [2010-08-23 04:56:40] 485*2^890556-1 is not prime. Res64: 3C2223DA32A26675 Time : 0.0 sec. user=mdettweiler [2010-08-23 04:56:40] 557*2^890556-1 is not prime. Res64: FF0B0A6B6238FF43 Time : 0.0 sec. user=henryzz [2010-08-23 04:57:09] 553*2^890559-1 is not prime. Res64: 4DB64A29ECA5D60D Time : 0.0 sec. user=henryzz [2010-08-23 05:00:43] 483*2^890560-1 is not prime. Res64: E33192B1F48B5F69 Time : 0.0 sec. user=henryzz [2010-08-23 05:00:49] 447*2^890560-1 is not prime. Res64: CB95FF691FD5A6C9 Time : 0.0 sec. user=henryzz [2010-08-23 05:14:05] 551*2^890562-1 is not prime. Res64: C9C4D5C7100133DC Time : 0.0 sec. user=henryzz [2010-08-23 05:14:32] 415*2^890563-1 is not prime. Res64: F4CAE90A6834EB02 Time : 0.0 sec. user=henryzz [2010-08-23 05:17:53] 573*2^890563-1 is not prime. Res64: D2244C0CD7B47823 Time : 0.0 sec. user=henryzz [2010-08-23 05:18:17] 519*2^890563-1 is not prime. Res64: D9D68767806BCF35 Time : 0.0 sec. user=henryzz [2010-08-23 05:30:53] 589*2^890563-1 is not prime. Res64: A6BD1BE005C263B0 Time : 0.0 sec. user=henryzz [2010-08-23 05:31:51] 525*2^890564-1 is not prime. Res64: AADCB0093049CA88 Time : 0.0 sec. user=mdettweiler [2010-08-23 05:33:52] 525*2^890560-1 is not prime. Res64: 043D0EFD1731B0AD Time : 0.0 sec. user=mdettweiler [2010-08-23 05:33:53] 527*2^890560-1 is not prime. Res64: 0899E7E8B359E569 Time : 0.0 sec. user=mdettweiler [2010-08-23 05:33:53] 597*2^890560-1 is not prime. Res64: 5C36B4AE250D4A76 Time : 0.0 sec. user=mdettweiler [2010-08-23 05:34:06] 439*2^890561-1 is not prime. Res64: 192D65C798BBC6A2 Time : 0.0 sec. user=mdettweiler [2010-08-23 05:34:06] 475*2^890561-1 is not prime. Res64: 3C3BAD112129B314 Time : 0.0 sec. user=mdettweiler [2010-08-23 05:34:06] 511*2^890561-1 is not prime. Res64: AA085AEEEACD4EC5 Time : 0.0 sec. user=mdettweiler [2010-08-23 05:34:33] 547*2^890561-1 is not prime. Res64: 945B9FB6287BA9C2 Time : 0.0 sec. user=mdettweiler [2010-08-23 05:34:33] 591*2^890561-1 is not prime. Res64: F4DB920B60B50052 Time : 0.0 sec. user=mdettweiler [2010-08-23 05:34:34] 431*2^890562-1 is not prime. Res64: F88A82CEF75F51CD Time : 0.0 sec. user=henryzz [2010-08-23 05:35:21] 453*2^890566-1 is not prime. Res64: 615D65DEE8A2B028 Time : 0.0 sec. user=henryzz [2010-08-23 05:35:49] 577*2^890565-1 is not prime. Res64: 1F4A4F508D3D76F0 Time : 0.0 sec. user=mdettweiler [2010-08-23 05:38:08] 563*2^890562-1 is not prime. Res64: 72C01CA05DFFBB38 Time : 0.0 sec. user=mdettweiler [2010-08-23 05:38:08] 567*2^890562-1 is not prime. Res64: 7C6FDF1889CB6A4E Time : 0.0 sec. user=mdettweiler [2010-08-23 05:38:09] 587*2^890562-1 is not prime. Res64: 1445B951652763E2 Time : 0.0 sec. user=henryzz [2010-08-23 05:48:57] 455*2^890566-1 is not prime. Res64: 53BE5A45C2A33EEC Time : 0.0 sec. user=henryzz [2010-08-23 05:50:02] 465*2^890566-1 is not prime. Res64: FEABF65DC82956A3 Time : 0.0 sec. user=henryzz [2010-08-23 05:52:28] 457*2^890569-1 is not prime. Res64: 38F77354A4602EF6 Time : 0.0 sec. user=henryzz [2010-08-23 05:53:20] 471*2^890569-1 is not prime. Res64: 7EB5435155C8A356 Time : 0.0 sec. user=henryzz [2010-08-23 06:06:43] 431*2^890570-1 is not prime. Res64: 23C8BC7A55655863 Time : 0.0 sec. user=henryzz [2010-08-23 06:08:21] 525*2^890570-1 is not prime. Res64: FC6779C93A8127CD Time : 0.0 sec. user=henryzz [2010-08-23 06:10:52] 561*2^890570-1 is not prime. Res64: D19618D515C1B1F4 Time : 0.0 sec. user=henryzz [2010-08-23 06:11:18] 593*2^890570-1 is not prime. Res64: C79F3B6F6EB6F86B Time : 0.0 sec. user=mdettweiler [2010-08-23 06:15:30] 551*2^890566-1 is not prime. Res64: 1692A299323DAA65 Time : 0.0 sec. user=mdettweiler [2010-08-23 06:15:30] 451*2^890567-1 is not prime. Res64: EE9CDD9DDDB241E3 Time : 0.0 sec. user=mdettweiler [2010-08-23 06:15:30] 465*2^890567-1 is not prime. Res64: 46E82DB15E215845 Time : 0.0 sec. user=mdettweiler [2010-08-23 06:15:49] 511*2^890567-1 is not prime. Res64: 533BA3E4E84B566A Time : 0.0 sec. user=mdettweiler [2010-08-23 06:15:49] 425*2^890568-1 is not prime. Res64: 56F3F190513968E6 Time : 0.0 sec. user=mdettweiler [2010-08-23 06:15:49] 485*2^890568-1 is not prime. Res64: 62E76E20E1877693 Time : 0.0 sec. user=mdettweiler [2010-08-23 06:16:04] 489*2^890568-1 is not prime. Res64: ECDC4C50CCEF4EFB Time : 0.0 sec. user=mdettweiler [2010-08-23 06:16:04] 539*2^890568-1 is not prime. Res64: BEE99B5505857143 Time : 0.0 sec. user=mdettweiler [2010-08-23 06:16:04] 429*2^890569-1 is not prime. Res64: 59F9971AB00DC991 Time : 0.0 sec. user=mdettweiler [2010-08-23 06:19:42] 535*2^890569-1 is not prime. Res64: EC524BA9B5C7CEA8 Time : 0.0 sec. user=mdettweiler [2010-08-23 06:19:42] 565*2^890569-1 is not prime. Res64: 14CD7C75E4DE7944 Time : 0.0 sec. user=mdettweiler [2010-08-23 06:19:42] 597*2^890569-1 is not prime. Res64: AD0E1DB20CCD1FEB Time : 0.0 sec. user=henryzz [2010-08-23 06:25:03] 445*2^890571-1 is not prime. Res64: 770C1613A372F953 Time : 0.0 sec. user=henryzz [2010-08-23 06:25:44] 453*2^890571-1 is not prime. Res64: FB0038D7B1274EAB Time : 0.0 sec. user=henryzz [2010-08-23 06:27:57] 459*2^890571-1 is not prime. Res64: 5AFBE0920020831B Time : 0.0 sec. user=henryzz [2010-08-23 06:28:49] 489*2^890571-1 is not prime. Res64: 5A33FEE01A53D28D Time : 0.0 sec. user=henryzz [2010-08-23 06:42:56] 559*2^890573-1 is not prime. Res64: 48F6945735465DBD Time : 0.0 sec. user=henryzz [2010-08-23 06:43:25] 571*2^890573-1 is not prime. Res64: C45DD4BC56E8AF2E Time : 0.0 sec. user=henryzz [2010-08-23 06:45:54] 591*2^890573-1 is not prime. Res64: 1294B813B0CE1E4B Time : 0.0 sec. user=henryzz [2010-08-23 06:46:49] 431*2^890574-1 is not prime. Res64: AA31B0B5CB0610A0 Time : 0.0 sec. user=mdettweiler [2010-08-23 06:57:00] 555*2^890571-1 is not prime. Res64: 0BB52B5AA885D64E Time : 0.0 sec. user=mdettweiler [2010-08-23 06:57:00] 447*2^890572-1 is not prime. Res64: 523AF3E8B14F0605 Time : 0.0 sec. user=mdettweiler [2010-08-23 06:57:00] 453*2^890572-1 is not prime. Res64: 5C0B84B4350AAD22 Time : 0.0 sec. user=mdettweiler [2010-08-23 06:57:19] 507*2^890572-1 is not prime. Res64: 23CC5A250CE9DD63 Time : 0.0 sec. user=mdettweiler [2010-08-23 06:57:19] 545*2^890572-1 is not prime. Res64: E390FAF263804DA1 Time : 0.0 sec. user=mdettweiler [2010-08-23 06:57:20] 567*2^890572-1 is not prime. Res64: 303287912F13B763 Time : 0.0 sec. user=mdettweiler [2010-08-23 06:57:29] 573*2^890572-1 is not prime. Res64: D7DAEBFF63C02A76 Time : 0.0 sec. user=mdettweiler [2010-08-23 06:57:29] 411*2^890573-1 is not prime. Res64: 932FF39E485E89F8 Time : 0.0 sec. user=mdettweiler [2010-08-23 06:57:29] 417*2^890573-1 is not prime. Res64: 592DB14F2C3F9EA8 Time : 0.0 sec. user=mdettweiler [2010-08-23 07:01:09] 451*2^890573-1 is not prime. Res64: B5F0DA35A67B9FEF Time : 0.0 sec. user=mdettweiler [2010-08-23 07:01:10] 475*2^890573-1 is not prime. Res64: 4387B9313BDCAED3 Time : 0.0 sec. user=mdettweiler [2010-08-23 07:01:10] 477*2^890573-1 is not prime. Res64: 4EB55C569BCA2F19 Time : 0.0 sec. user=henryzz [2010-08-23 07:01:32] 501*2^890574-1 is not prime. Res64: D5AEE46F883DCD23 Time : 0.0 sec. user=henryzz [2010-08-23 07:01:45] 513*2^890574-1 is not prime. Res64: 0D20090A02C63FC1 Time : 0.0 sec. user=henryzz [2010-08-23 07:04:10] 521*2^890574-1 is not prime. Res64: 2E7BE72637540F2A Time : 0.0 sec. user=henryzz [2010-08-23 07:04:35] 453*2^890575-1 is not prime. Res64: 16DECC56562EA444 Time : 0.0 sec. user=henryzz [2010-08-23 07:20:43] 589*2^890579-1 is not prime. Res64: 13372FD0450EA244 Time : 0.0 sec. user=henryzz [2010-08-23 07:23:03] 585*2^890580-1 is not prime. Res64: BE0C0CA293EFD3D0 Time : 0.0 sec. user=henryzz [2010-08-23 07:25:26] 405*2^890580-1 is not prime. Res64: DAD7168EA98EA35C Time : 0.0 sec. user=henryzz [2010-08-23 07:27:32] 453*2^890580-1 is not prime. Res64: 7F24B7D82F0FB05C Time : 0.0 sec. user=mdettweiler [2010-08-23 07:38:34] 589*2^890575-1 is not prime. Res64: 1FA08031FD620C3E Time : 0.0 sec. user=mdettweiler [2010-08-23 07:38:35] 539*2^890576-1 is not prime. Res64: 21A4581EF0F85785 Time : 0.0 sec. user=mdettweiler [2010-08-23 07:38:35] 557*2^890576-1 is not prime. Res64: 2549A8F430E25CB4 Time : 0.0 sec. user=mdettweiler [2010-08-23 07:38:51] 563*2^890576-1 is not prime. Res64: 3E785D051A0AB068 Time : 0.0 sec. user=mdettweiler [2010-08-23 07:38:52] 573*2^890576-1 is not prime. Res64: 9CDCDDBB73025690 Time : 0.0 sec. user=mdettweiler [2010-08-23 07:38:52] 533*2^890578-1 is not prime. Res64: DB7E4D5BE5A5BC84 Time : 0.0 sec. user=henryzz [2010-08-23 07:38:58] 415*2^890581-1 is not prime. Res64: 6E1F3EEBDE171937 Time : 0.0 sec. user=mdettweiler [2010-08-23 07:39:03] 555*2^890578-1 is not prime. Res64: B89FF0ACB6DBF839 Time : 0.0 sec. user=mdettweiler [2010-08-23 07:39:04] 561*2^890578-1 is not prime. Res64: 02C0D4BE505C381E Time : 0.0 sec. user=mdettweiler [2010-08-23 07:39:04] 411*2^890579-1 is not prime. Res64: 5B21D7F9F4C9430B Time : 0.0 sec. user=henryzz [2010-08-23 07:41:24] 421*2^890581-1 is not prime. Res64: ABD3F36C1A52A3B1 Time : 0.0 sec. user=mdettweiler [2010-08-23 07:42:42] 463*2^890579-1 is not prime. Res64: 93DE9A722802ABA5 Time : 0.0 sec. user=mdettweiler [2010-08-23 07:42:42] 495*2^890579-1 is not prime. Res64: AF93072CE5EBB210 Time : 0.0 sec. user=mdettweiler [2010-08-23 07:42:42] 571*2^890579-1 is not prime. Res64: 3DA3F3E9A6EFACEF Time : 0.0 sec. user=henryzz [2010-08-23 07:44:11] 477*2^890581-1 is not prime. Res64: 81E2E86D1B9408F1 Time : 0.0 sec. user=henryzz [2010-08-23 07:46:13] 525*2^890581-1 is not prime. Res64: FDE60521A134C5B8 Time : 0.0 sec. user=henryzz [2010-08-23 07:57:28] 543*2^890583-1 is not prime. Res64: D1114E5C5026B477 Time : 0.0 sec. user=henryzz [2010-08-23 07:59:56] 585*2^890583-1 is not prime. Res64: 0C49BAB705DFFE78 Time : 0.0 sec. user=henryzz [2010-08-23 08:01:58] 549*2^890584-1 is not prime. Res64: EE2C9B5B6E244AA4 Time : 0.0 sec. user=henryzz [2010-08-23 08:05:42] 465*2^890585-1 is not prime. Res64: 671472DFBA0CD992 Time : 0.0 sec. user=henryzz [2010-08-23 08:16:23] 469*2^890585-1 is not prime. Res64: 423FAE4BE0131A67 Time : 0.0 sec. user=henryzz [2010-08-23 08:18:14] 475*2^890585-1 is not prime. Res64: 74F9BB5CB6215DDA Time : 0.0 sec. user=henryzz [2010-08-23 08:20:00] 481*2^890585-1 is not prime. Res64: AE8DA0BCCE3755EE Time : 0.0 sec. user=mdettweiler [2010-08-23 08:20:04] 547*2^890581-1 is not prime. Res64: 7F9B067D15A6F9DA Time : 0.0 sec. user=mdettweiler [2010-08-23 08:20:04] 565*2^890581-1 is not prime. Res64: 1796B864FB1862C7 Time : 0.0 sec. user=mdettweiler [2010-08-23 08:20:04] 591*2^890581-1 is not prime. Res64: 5707FBF521CA65AB Time : 0.0 sec. user=mdettweiler [2010-08-23 08:20:22] 483*2^890582-1 is not prime. Res64: 36F904D82DEE891B Time : 0.0 sec. user=mdettweiler [2010-08-23 08:20:22] 561*2^890582-1 is not prime. Res64: 5A6064A0DD7B8756 Time : 0.0 sec. user=mdettweiler [2010-08-23 08:20:22] 581*2^890582-1 is not prime. Res64: AC65F0DD597E1C01 Time : 0.0 sec. user=mdettweiler [2010-08-23 08:20:34] 593*2^890582-1 is not prime. Res64: B86133FA89561CA2 Time : 0.0 sec. user=mdettweiler [2010-08-23 08:20:34] 411*2^890583-1 is not prime. Res64: FA523C5491AE11A1 Time : 0.0 sec. user=mdettweiler [2010-08-23 08:20:34] 453*2^890583-1 is not prime. Res64: BFB664430B1723E7 Time : 0.0 sec. user=mdettweiler [2010-08-23 08:24:08] 591*2^890583-1 is not prime. Res64: 48E0DDB0E7320F1C Time : 0.0 sec. user=mdettweiler [2010-08-23 08:24:09] 435*2^890584-1 is not prime. Res64: B295489D9A943624 Time : 0.0 sec. user=mdettweiler [2010-08-23 08:24:09] 507*2^890584-1 is not prime. Res64: 961828AEC7126A85 Time : 0.0 sec. user=henryzz [2010-08-23 08:24:21] 487*2^890585-1 is not prime. Res64: 9FAB63473F355EC0 Time : 0.0 sec. user=henryzz [2010-08-23 08:35:19] 507*2^890585-1 is not prime. Res64: 1D8BDB4EF0DAD2FD Time : 0.0 sec. user=henryzz [2010-08-23 08:36:21] 525*2^890585-1 is not prime. Res64: F095F8757ED5199D Time : 0.0 sec. user=henryzz [2010-08-23 08:38:56] 453*2^890586-1 is not prime. Res64: D967F9DE21FC488C Time : 0.0 sec. user=henryzz [2010-08-23 08:43:15] 545*2^890588-1 is not prime. Res64: A3AECB46498FB9B0 Time : 0.0 sec. user=henryzz [2010-08-23 08:53:46] 417*2^890589-1 is not prime. Res64: 18BC84D23877B792 Time : 0.0 sec. user=henryzz [2010-08-23 08:54:41] 439*2^890589-1 is not prime. Res64: 3AAD2B93D37E69F9 Time : 0.0 sec. user=henryzz [2010-08-23 08:57:42] 495*2^890589-1 is not prime. Res64: E5E9A0464E79305D Time : 0.0 sec. user=mdettweiler [2010-08-23 09:01:30] 585*2^890585-1 is not prime. Res64: 3FB62F52C77B6094 Time : 0.0 sec. user=mdettweiler [2010-08-23 09:01:30] 589*2^890585-1 is not prime. Res64: 604C141C3E00225A Time : 0.0 sec. user=mdettweiler [2010-08-23 09:01:31] 447*2^890586-1 is not prime. Res64: B352265CCFDAC1E5 Time : 0.0 sec. user=mdettweiler [2010-08-23 09:01:50] 461*2^890586-1 is not prime. Res64: 1F25E91C604835C6 Time : 0.0 sec. user=mdettweiler [2010-08-23 09:01:51] 501*2^890586-1 is not prime. Res64: F748C8BB9F4F9534 Time : 0.0 sec. user=mdettweiler [2010-08-23 09:01:51] 537*2^890586-1 is not prime. Res64: 077C5D3F670AFCB6 Time : 0.0 sec. user=mdettweiler [2010-08-23 09:01:57] 587*2^890586-1 is not prime. Res64: EE048738D527A9ED Time : 0.0 sec. user=mdettweiler [2010-08-23 09:01:57] 505*2^890587-1 is not prime. Res64: 81FA4AC718341022 Time : 0.0 sec. user=mdettweiler [2010-08-23 09:01:57] 519*2^890587-1 is not prime. Res64: 1F4BF5E0C1D8A0D1 Time : 0.0 sec. user=henryzz [2010-08-23 09:02:14] 511*2^890589-1 is not prime. Res64: CFC8627DDF10D2A5 Time : 0.0 sec. user=mdettweiler [2010-08-23 09:05:37] 549*2^890587-1 is not prime. Res64: B4DFE37E34D4E154 Time : 0.0 sec. user=mdettweiler [2010-08-23 09:05:37] 435*2^890588-1 is not prime. Res64: 79B0F80B7302B32F Time : 0.0 sec. user=mdettweiler [2010-08-23 09:05:37] 437*2^890588-1 is not prime. Res64: 93BE6E42913AFC57 Time : 0.0 sec. user=henryzz [2010-08-23 09:12:53] 549*2^890589-1 is not prime. Res64: 0EF0F68A91C05AEA Time : 0.0 sec. user=henryzz [2010-08-23 09:13:48] 571*2^890589-1 is not prime. Res64: 44B37EF0DD06FBE8 Time : 0.0 sec. user=henryzz [2010-08-23 09:15:51] 579*2^890589-1 is not prime. Res64: 18A1A94C98C4C515 Time : 0.0 sec. user=henryzz [2010-08-23 09:20:31] 497*2^890592-1 is not prime. Res64: 89DA8023CE458480 Time : 0.0 sec. user=henryzz [2010-08-23 09:31:59] 525*2^890593-1 is not prime. Res64: C642947A026953B4 Time : 0.0 sec. user=henryzz [2010-08-23 09:32:08] 555*2^890593-1 is not prime. Res64: 7FCD79BFD6D69E7E Time : 0.0 sec. user=henryzz [2010-08-23 09:35:05] 423*2^890594-1 is not prime. Res64: 3F90ADF6DF72FF31 Time : 0.0 sec. user=henryzz [2010-08-23 09:39:24] 521*2^890594-1 is not prime. Res64: 3970D06EBD801DE4 Time : 0.0 sec. user=mdettweiler [2010-08-23 09:43:01] 461*2^890590-1 is not prime. Res64: AEF38B73D264373A Time : 0.0 sec. user=mdettweiler [2010-08-23 09:43:01] 575*2^890590-1 is not prime. Res64: 4FE36399BCA78AA7 Time : 0.0 sec. user=mdettweiler [2010-08-23 09:43:02] 433*2^890591-1 is not prime. Res64: FFD00DF9E9DD213C Time : 0.0 sec. user=mdettweiler [2010-08-23 09:43:21] 519*2^890591-1 is not prime. Res64: AD5326753FD11F40 Time : 0.0 sec. user=mdettweiler [2010-08-23 09:43:21] 565*2^890591-1 is not prime. Res64: E07B53EFF044A69C Time : 0.0 sec. user=mdettweiler [2010-08-23 09:43:22] 459*2^890592-1 is not prime. Res64: 7D80D28D4BC6860E Time : 0.0 sec. user=mdettweiler [2010-08-23 09:43:23] 451*2^890591-1 is not prime. Res64: EEF8A2833E051547 Time : 0.0 sec. user=mdettweiler [2010-08-23 09:43:23] 475*2^890591-1 is not prime. Res64: 1C2A5AC1185F69F9 Time : 0.0 sec. user=mdettweiler [2010-08-23 09:43:24] 511*2^890591-1 is not prime. Res64: 5F4175135EA09849 Time : 0.0 sec. user=mdettweiler [2010-08-23 09:47:11] 539*2^890592-1 is not prime. Res64: DCC1D5EA41198037 Time : 0.0 sec. user=mdettweiler [2010-08-23 09:47:12] 593*2^890592-1 is not prime. Res64: EE7FA1BB8E13398B Time : 0.0 sec. user=mdettweiler [2010-08-23 09:47:12] 465*2^890593-1 is not prime. Res64: 2A91F185D2E525F1 Time : 0.0 sec. user=henryzz [2010-08-23 09:50:14] 511*2^890597-1 is not prime. Res64: A7331ADD5635C29A Time : 0.0 sec. user=henryzz [2010-08-23 09:50:47] 485*2^890596-1 is not prime. Res64: A3808711FA805EB5 Time : 0.0 sec. user=henryzz [2010-08-23 09:54:15] 517*2^890597-1 is not prime. Res64: 1803F34153E641D8 Time : 0.0 sec. user=henryzz [2010-08-23 09:57:48] 401*2^890598-1 is not prime. Res64: 963AFCFB617FFF38 Time : 0.0 sec. user=henryzz [2010-08-23 10:09:26] 471*2^890601-1 is not prime. Res64: BF81DD738ED50806 Time : 0.0 sec. user=henryzz [2010-08-23 10:10:01] 593*2^890600-1 is not prime. Res64: 521144328FF04A0F Time : 0.0 sec. user=henryzz [2010-08-23 10:13:57] 511*2^890601-1 is not prime. Res64: 8BFCA18AFBE31807 Time : 0.0 sec. user=henryzz [2010-08-23 10:16:23] 491*2^890602-1 is not prime. Res64: 9E87B48832599B74 Time : 0.0 sec. user=mdettweiler [2010-08-23 10:24:33] 485*2^890598-1 is not prime. Res64: 0B6DC311CFBD7B47 Time : 0.0 sec. user=mdettweiler [2010-08-23 10:24:33] 507*2^890598-1 is not prime. Res64: 2D4ED13B373E0B5F Time : 0.0 sec. user=mdettweiler [2010-08-23 10:24:33] 551*2^890598-1 is not prime. Res64: 6BA1316789D8F23D Time : 0.0 sec. user=mdettweiler [2010-08-23 10:25:05] 563*2^890598-1 is not prime. Res64: 776F767FBB58789A Time : 0.0 sec. user=mdettweiler [2010-08-23 10:25:05] 421*2^890599-1 is not prime. Res64: 0140A6CB588B8444 Time : 0.0 sec. user=mdettweiler [2010-08-23 10:25:05] 451*2^890599-1 is not prime. Res64: 3F620CFD9BF6FA97 Time : 0.0 sec. user=mdettweiler [2010-08-23 10:25:09] 483*2^890599-1 is not prime. Res64: 02AC5321EEFDDA1B Time : 0.0 sec. user=mdettweiler [2010-08-23 10:25:10] 523*2^890599-1 is not prime. Res64: 28F4995DB9A81CC5 Time : 0.0 sec. user=mdettweiler [2010-08-23 10:25:10] 437*2^890600-1 is not prime. Res64: 2EB8091E923C5449 Time : 0.0 sec. user=henryzz [2010-08-23 10:28:26] 551*2^890602-1 is not prime. Res64: 4AC7E5CD2E5B6DE3 Time : 0.0 sec. user=mdettweiler [2010-08-23 10:28:59] 515*2^890600-1 is not prime. Res64: 0E5371A3D053606F Time : 0.0 sec. user=mdettweiler [2010-08-23 10:28:59] 533*2^890600-1 is not prime. Res64: DE7581E50FA1397F Time : 0.0 sec. user=mdettweiler [2010-08-23 10:28:59] 537*2^890600-1 is not prime. Res64: D8267E59B7F784B9 Time : 0.0 sec. user=henryzz [2010-08-23 10:30:28] 411*2^890603-1 is not prime. Res64: 81114CFC61F300A5 Time : 0.0 sec. user=henryzz [2010-08-23 10:34:34] 445*2^890603-1 is not prime. Res64: D63A9B8ABBE6A558 Time : 0.0 sec. user=henryzz [2010-08-23 10:36:56] 435*2^890603-1 is not prime. Res64: 7E71C45FC6F6018B Time : 0.0 sec. user=henryzz [2010-08-23 10:50:04] 511*2^890605-1 is not prime. Res64: 7D64F4C9879B3B95 Time : 0.0 sec. user=henryzz [2010-08-23 10:50:14] 455*2^890606-1 is not prime. Res64: C38A64C18CB28549 Time : 0.0 sec. user=henryzz [2010-08-23 10:53:19] 483*2^890606-1 is not prime. Res64: EB84709313E62776 Time : 0.0 sec. user=henryzz [2010-08-23 10:56:56] 507*2^890606-1 is not prime. Res64: 234E2C0E36E8844B Time : 0.0 sec. user=mdettweiler [2010-08-23 11:08:07] 453*2^890603-1 is not prime. Res64: B100272842F46A79 Time : 0.0 sec. user=mdettweiler [2010-08-23 11:08:07] 501*2^890603-1 is not prime. Res64: 160EEE0AB6A60579 Time : 0.0 sec. user=mdettweiler [2010-08-23 11:08:08] 549*2^890603-1 is not prime. Res64: 3C4CF6240676D87E Time : 0.0 sec. user=mdettweiler [2010-08-23 11:08:40] 447*2^890604-1 is not prime. Res64: DFC9BB40EBEA5424 Time : 0.0 sec. user=mdettweiler [2010-08-23 11:08:40] 459*2^890604-1 is not prime. Res64: E06BF3B9EA758329 Time : 0.0 sec. user=mdettweiler [2010-08-23 11:08:41] 549*2^890604-1 is not prime. Res64: E852BE9243EFEC49 Time : 0.0 sec. user=mdettweiler [2010-08-23 11:08:44] 405*2^890605-1 is not prime. Res64: C6A3B06701C3A5E5 Time : 0.0 sec. user=mdettweiler [2010-08-23 11:08:44] 415*2^890605-1 is not prime. Res64: AA1A73BEA349FD9E Time : 0.0 sec. user=mdettweiler [2010-08-23 11:08:44] 429*2^890605-1 is not prime. Res64: 924A11FCA6C67AC2 Time : 0.0 sec. user=henryzz [2010-08-23 11:09:00] 545*2^890606-1 is not prime. Res64: A89275814FD0433F Time : 0.0 sec. user=henryzz [2010-08-23 11:11:45] 515*2^890606-1 is not prime. Res64: E2D451A5F520814D Time : 0.0 sec. user=mdettweiler [2010-08-23 11:12:20] 547*2^890605-1 is not prime. Res64: 01CF9A735418FEBC Time : 0.0 sec. user=mdettweiler [2010-08-23 11:12:20] 595*2^890605-1 is not prime. Res64: 2B6197994F0DE1D2 Time : 0.0 sec. user=mdettweiler [2010-08-23 11:12:20] 425*2^890606-1 is not prime. Res64: C39B026BED270118 Time : 0.0 sec. user=henryzz [2010-08-23 11:14:17] 445*2^890607-1 is not prime. Res64: 75AF2471E1F8E439 Time : 0.0 sec. user=henryzz [2010-08-23 11:15:47] 471*2^890607-1 is not prime. Res64: 183F374A6468995E Time : 0.0 sec. user=henryzz [2010-08-23 11:27:50] 527*2^890610-1 is not prime. Res64: 322D83F18C9BFB5C Time : 0.0 sec. user=henryzz [2010-08-23 11:30:42] 537*2^890610-1 is not prime. Res64: F688DE2A6B13C0B6 Time : 0.0 sec. user=henryzz [2010-08-23 11:34:05] 585*2^890612-1 is not prime. Res64: FBE08833EE217393 Time : 0.0 sec. user=henryzz [2010-08-23 11:35:40] 405*2^890613-1 is not prime. Res64: FD293D612FDCE9DE Time : 0.0 sec. user=henryzz [2010-08-23 11:47:46] 475*2^890613-1 is not prime. Res64: 2FBB1E239AA40285 Time : 0.0 sec. user=henryzz [2010-08-23 11:49:12] 495*2^890613-1 is not prime. Res64: E2EB1E37B6164D28 Time : 0.0 sec. user=mdettweiler [2010-08-23 11:50:07] 553*2^890607-1 is not prime. Res64: 93C5EB9796D4F8CE Time : 0.0 sec. user=mdettweiler [2010-08-23 11:50:07] 595*2^890607-1 is not prime. Res64: 19FF99375EB87518 Time : 0.0 sec. user=mdettweiler [2010-08-23 11:50:08] 413*2^890608-1 is not prime. Res64: 0528B6C1B43C896C Time : 0.0 sec. user=mdettweiler [2010-08-23 11:50:32] 419*2^890608-1 is not prime. Res64: 3F5DE51A359688A9 Time : 0.0 sec. user=mdettweiler [2010-08-23 11:50:32] 509*2^890608-1 is not prime. Res64: 52BB5EA79EE72ED3 Time : 0.0 sec. user=mdettweiler [2010-08-23 11:50:33] 441*2^890609-1 is not prime. Res64: 41F53EBA7F209550 Time : 0.0 sec. user=mdettweiler [2010-08-23 11:50:41] 465*2^890609-1 is not prime. Res64: E94E793015900177 Time : 0.0 sec. user=mdettweiler [2010-08-23 11:50:41] 401*2^890610-1 is not prime. Res64: 629D57CA441AA26F Time : 0.0 sec. user=mdettweiler [2010-08-23 11:50:42] 461*2^890610-1 is not prime. Res64: 4F70F30691CA7BD8 Time : 0.0 sec. user=henryzz [2010-08-23 11:53:36] 499*2^890613-1 is not prime. Res64: 4A198CA7DF2C4452 Time : 0.0 sec. user=mdettweiler [2010-08-23 11:54:10] 437*2^890612-1 is not prime. Res64: FD6525D9D5D3CEDE Time : 0.0 sec. user=mdettweiler [2010-08-23 11:54:10] 507*2^890612-1 is not prime. Res64: E4CFA76A06076C7F Time : 0.0 sec. user=mdettweiler [2010-08-23 11:54:11] 539*2^890612-1 is not prime. Res64: 1FE352F25EEAA875 Time : 0.0 sec. user=henryzz [2010-08-23 11:54:51] 559*2^890613-1 is not prime. Res64: 0B984051D7DC9C36 Time : 0.0 sec. user=henryzz [2010-08-23 12:06:03] 591*2^890613-1 is not prime. Res64: E5E4907314AE1100 Time : 0.0 sec. user=henryzz [2010-08-23 12:08:13] 595*2^890613-1 is not prime. Res64: 4627B755D3BE8EA0 Time : 0.0 sec. user=henryzz [2010-08-23 12:12:03] 471*2^890617-1 is not prime. Res64: A8347058E1FD7DB1 Time : 0.0 sec. user=henryzz [2010-08-23 12:13:16] 595*2^890617-1 is not prime. Res64: EEE1808F69CAA1B5 Time : 0.0 sec. user=henryzz [2010-08-23 12:24:55] 473*2^890618-1 is not prime. Res64: D37416F62F39FC08 Time : 0.0 sec. user=henryzz [2010-08-23 12:26:54] 573*2^890618-1 is not prime. Res64: 521C51D7DC28EE3D Time : 0.0 sec. user=henryzz [2010-08-23 12:30:59] 489*2^890619-1 is not prime. Res64: 3D34EE6EB59E6244 Time : 0.0 sec. user=mdettweiler [2010-08-23 12:31:57] 401*2^890614-1 is not prime. Res64: 219C2D4E920ED4D4 Time : 0.0 sec. user=mdettweiler [2010-08-23 12:31:58] 443*2^890614-1 is not prime. Res64: EE1EA562E10CE4F3 Time : 0.0 sec. user=mdettweiler [2010-08-23 12:31:58] 477*2^890614-1 is not prime. Res64: 5538B97DCA4591F7 Time : 0.0 sec. user=henryzz [2010-08-23 12:32:03] 501*2^890619-1 is not prime. Res64: 53FEC7866E140953 Time : 0.0 sec. user=mdettweiler [2010-08-23 12:32:25] 533*2^890614-1 is not prime. Res64: 9CDA0894DC7A1296 Time : 0.0 sec. user=mdettweiler [2010-08-23 12:32:25] 481*2^890615-1 is not prime. Res64: 0BFD0488DB198FB8 Time : 0.0 sec. user=mdettweiler [2010-08-23 12:32:25] 503*2^890616-1 is not prime. Res64: 2EC395EBCB262A71 Time : 0.0 sec. user=mdettweiler [2010-08-23 12:32:26] 509*2^890616-1 is not prime. Res64: E857130B3D8EB34A Time : 0.0 sec. user=mdettweiler [2010-08-23 12:32:27] 593*2^890616-1 is not prime. Res64: 65469B47AB540A98 Time : 0.0 sec. user=mdettweiler [2010-08-23 12:32:27] 405*2^890617-1 is not prime. Res64: FEA69E39214D8EDD Time : 0.0 sec. user=mdettweiler [2010-08-23 12:35:52] 499*2^890617-1 is not prime. Res64: 7DFAA802EA4791E9 Time : 0.0 sec. user=mdettweiler [2010-08-23 12:35:53] 531*2^890617-1 is not prime. Res64: 8F7C59010F0EE456 Time : 0.0 sec. user=mdettweiler [2010-08-23 12:35:53] 567*2^890617-1 is not prime. Res64: E8E12AD98B3CD52C Time : 0.0 sec. user=henryzz [2010-08-23 12:43:29] 495*2^890620-1 is not prime. Res64: 09B11A24EF7F87A2 Time : 0.0 sec. user=henryzz [2010-08-23 12:50:54] 527*2^890620-1 is not prime. Res64: 4BA42A292B2578FF Time : 0.0 sec. user=henryzz [2010-08-23 12:52:14] 511*2^890621-1 is not prime. Res64: 5E7866CA52E743A0 Time : 0.0 sec. user=henryzz [2010-08-23 12:52:20] 537*2^890620-1 is not prime. Res64: 628A99633D6A5737 Time : 0.0 sec. user=henryzz [2010-08-23 13:03:00] 599*2^890624-1 is not prime. Res64: 29AD2364F87926EA Time : 0.0 sec. user=henryzz [2010-08-23 13:10:44] 465*2^890625-1 is not prime. Res64: 5E00D019F9CFD067 Time : 0.0 sec. user=henryzz [2010-08-23 13:11:32] 457*2^890625-1 is not prime. Res64: 7EA22DD200D54DA2 Time : 0.0 sec. user=mdettweiler [2010-08-23 13:14:03] 549*2^890620-1 is not prime. Res64: F7133A26F8E6E88A Time : 0.0 sec. user=mdettweiler [2010-08-23 13:14:04] 587*2^890620-1 is not prime. Res64: 9A90A68EABD8BEB1 Time : 0.0 sec. user=mdettweiler [2010-08-23 13:14:04] 417*2^890621-1 is not prime. Res64: 678A82464483D1A2 Time : 0.0 sec. user=mdettweiler [2010-08-23 13:14:19] 557*2^890622-1 is not prime. Res64: B1C4041D55F5791E Time : 0.0 sec. user=mdettweiler [2010-08-23 13:14:20] 587*2^890622-1 is not prime. Res64: 95B56E1646AB2031 Time : 0.0 sec. user=mdettweiler [2010-08-23 13:14:20] 423*2^890623-1 is not prime. Res64: 8192310B30BA0CE0 Time : 0.0 sec. user=mdettweiler [2010-08-23 13:14:27] 517*2^890621-1 is not prime. Res64: E1E1C85C2CF6652F Time : 0.0 sec. user=mdettweiler [2010-08-23 13:14:27] 527*2^890622-1 is not prime. Res64: 6CA32B6BB8E34067 Time : 0.0 sec. user=mdettweiler [2010-08-23 13:14:27] 543*2^890622-1 is not prime. Res64: 08F4FF6C2FEBE213 Time : 0.0 sec. user=mdettweiler [2010-08-23 13:17:43] 493*2^890623-1 is not prime. Res64: 041A210455E243E6 Time : 0.0 sec. user=mdettweiler [2010-08-23 13:17:43] 473*2^890624-1 is not prime. Res64: 51BF4E2803374FC9 Time : 0.0 sec. user=mdettweiler [2010-08-23 13:17:44] 567*2^890624-1 is not prime. Res64: FF4D67CBFED0D4CD Time : 0.0 sec. user=henryzz [2010-08-23 13:20:53] 591*2^890625-1 is not prime. Res64: 76313AE0196D3FEE Time : 0.0 sec. user=henryzz [2010-08-23 13:22:25] 405*2^890625-1 is not prime. Res64: 1D11E2708C46CB7B Time : 0.0 sec. user=henryzz [2010-08-23 13:28:09] 597*2^890625-1 is not prime. Res64: 5A8A8833ACA4477B Time : 0.0 sec. user=henryzz [2010-08-23 13:29:13] 411*2^890626-1 is not prime. Res64: 40BA8FF7D2886533 Time : 0.0 sec. user=henryzz [2010-08-23 13:38:35] 441*2^890629-1 is not prime. Res64: 91C6038B62662608 Time : 0.0 sec. user=henryzz [2010-08-23 13:41:08] 461*2^890630-1 is not prime. Res64: 5FD855BB8680378E Time : 0.0 sec. user=henryzz [2010-08-23 13:45:58] 467*2^890630-1 is not prime. Res64: B984FC2C6894DF83 Time : 0.0 sec. user=henryzz [2010-08-23 13:48:31] 477*2^890630-1 is not prime. Res64: 6169DB27059DCB33 Time : 0.0 sec. user=mdettweiler [2010-08-23 13:56:14] 471*2^890626-1 is not prime. Res64: C3FE984CFAE7E27A Time : 0.0 sec. user=mdettweiler [2010-08-23 13:56:14] 495*2^890626-1 is not prime. Res64: 2FC4B99EA9FD6436 Time : 0.0 sec. user=mdettweiler [2010-08-23 13:56:14] 531*2^890626-1 is not prime. Res64: 726AF0C49EA07979 Time : 0.0 sec. user=mdettweiler [2010-08-23 13:56:17] 575*2^890626-1 is not prime. Res64: 76C8E254BCC5ED4A Time : 0.0 sec. user=mdettweiler [2010-08-23 13:56:17] 593*2^890626-1 is not prime. Res64: 8F4ED340EBB22F94 Time : 0.0 sec. user=mdettweiler [2010-08-23 13:56:17] 597*2^890626-1 is not prime. Res64: 1FC70A1F7A557247 Time : 0.0 sec. user=mdettweiler [2010-08-23 13:56:39] 511*2^890627-1 is not prime. Res64: 3BBB7D8E0FE478DF Time : 0.0 sec. user=mdettweiler [2010-08-23 13:56:39] 585*2^890627-1 is not prime. Res64: F56D29C8BBC90CFA Time : 0.0 sec. user=mdettweiler [2010-08-23 13:56:39] 419*2^890628-1 is not prime. Res64: C30DD98AF3FB7553 Time : 0.0 sec. user=henryzz [2010-08-23 13:58:12] 575*2^890630-1 is not prime. Res64: F7587272AC5C5EFA Time : 0.0 sec. user=mdettweiler [2010-08-23 13:59:40] 483*2^890628-1 is not prime. Res64: 3F0E821F65BE9BF2 Time : 0.0 sec. user=mdettweiler [2010-08-23 13:59:41] 537*2^890628-1 is not prime. Res64: BF92A29CF3A3C75F Time : 0.0 sec. user=mdettweiler [2010-08-23 13:59:41] 545*2^890628-1 is not prime. Res64: 040DB4816AF6FAE5 Time : 0.0 sec. user=henryzz [2010-08-23 14:01:27] 591*2^890631-1 is not prime. Res64: 11FAAB2B654A2AAA Time : 0.0 sec. user=henryzz [2010-08-23 14:05:31] 419*2^890632-1 is not prime. Res64: 5785E4F9E8B0074F Time : 0.0 sec. user=henryzz [2010-08-23 14:08:43] 563*2^890632-1 is not prime. Res64: 86D943CF836BCDBC Time : 0.0 sec. user=henryzz [2010-08-23 14:18:07] 585*2^890634-1 is not prime. Res64: D809EC32E6A143F9 Time : 0.0 sec. user=henryzz [2010-08-23 14:21:05] 417*2^890636-1 is not prime. Res64: 8FD0F7A436036B41 Time : 0.0 sec. user=henryzz [2010-08-23 14:25:05] 437*2^890636-1 is not prime. Res64: 67C2B20CF53ED102 Time : 0.0 sec. user=henryzz [2010-08-23 14:27:43] 537*2^890636-1 is not prime. Res64: 49DBE89D1B2F40A6 Time : 0.0 sec. user=henryzz [2010-08-23 14:37:02] 429*2^890637-1 is not prime. Res64: 6A572E0952F8EE2C Time : 0.0 sec. user=mdettweiler [2010-08-23 14:38:36] 529*2^890633-1 is not prime. Res64: 81B4DBE4ACE26215 Time : 0.0 sec. user=mdettweiler [2010-08-23 14:38:36] 571*2^890633-1 is not prime. Res64: FDDE6EB9B3537FC0 Time : 0.0 sec. user=mdettweiler [2010-08-23 14:38:37] 589*2^890633-1 is not prime. Res64: BAC0400DEA1F7BF1 Time : 0.0 sec. user=mdettweiler [2010-08-23 14:38:43] 421*2^890633-1 is not prime. Res64: 98F1AF1B1B2EDE5E Time : 0.0 sec. user=mdettweiler [2010-08-23 14:38:43] 465*2^890633-1 is not prime. Res64: 3EFBFB725D18464C Time : 0.0 sec. user=mdettweiler [2010-08-23 14:38:44] 507*2^890633-1 is not prime. Res64: 8F6BE1295F3D97A1 Time : 0.0 sec. user=mdettweiler [2010-08-23 14:39:20] 483*2^890634-1 is not prime. Res64: 1BDE6D4A61387684 Time : 0.0 sec. user=mdettweiler [2010-08-23 14:39:20] 531*2^890634-1 is not prime. Res64: DD378807833024D9 Time : 0.0 sec. user=mdettweiler [2010-08-23 14:39:21] 543*2^890634-1 is not prime. Res64: 42F611A582C7E450 Time : 0.0 sec. user=mdettweiler [2010-08-23 14:42:02] 433*2^890635-1 is not prime. Res64: 4DA90B7DF20FE10B Time : 0.0 sec. user=mdettweiler [2010-08-23 14:42:03] 453*2^890635-1 is not prime. Res64: 58D2E4EC7BE0F631 Time : 0.0 sec. user=mdettweiler [2010-08-23 14:42:03] 555*2^890635-1 is not prime. Res64: 1716927F27999667 Time : 0.0 sec. user=henryzz [2010-08-23 14:42:14] 471*2^890637-1 is not prime. Res64: ACB4E9B8F579ECF7 Time : 0.0 sec. user=henryzz [2010-08-23 14:44:31] 537*2^890637-1 is not prime. Res64: C9431A712DACFFC2 Time : 0.0 sec. user=henryzz [2010-08-23 14:48:33] 413*2^890638-1 is not prime. Res64: E6A410BA9B91EA13 Time : 0.0 sec. user=henryzz [2010-08-23 14:58:18] 447*2^890638-1 is not prime. Res64: 01448729E67771F6 Time : 0.0 sec. user=henryzz [2010-08-23 15:02:59] 587*2^890642-1 is not prime. Res64: 28BB94026113DD9E Time : 0.0 sec. user=henryzz [2010-08-23 15:04:20] 415*2^890643-1 is not prime. Res64: 093009CFDCBC62BA Time : 0.0 sec. user=henryzz [2010-08-23 15:09:18] 451*2^890643-1 is not prime. Res64: 2836505F99FE31AA Time : 0.0 sec. user=henryzz [2010-08-23 15:18:25] 529*2^890643-1 is not prime. Res64: FA71BB5A3E575BA1 Time : 0.0 sec. user=mdettweiler [2010-08-23 15:20:45] 503*2^890638-1 is not prime. Res64: C0AAB6A32D171B40 Time : 0.0 sec. user=mdettweiler [2010-08-23 15:20:45] 561*2^890638-1 is not prime. Res64: 3F4408E74E3B38B9 Time : 0.0 sec. user=mdettweiler [2010-08-23 15:20:46] 433*2^890639-1 is not prime. Res64: B80D0B9B7C28DC31 Time : 0.0 sec. user=mdettweiler [2010-08-23 15:20:55] 523*2^890639-1 is not prime. Res64: F50C480EC016138A Time : 0.0 sec. user=mdettweiler [2010-08-23 15:20:56] 549*2^890639-1 is not prime. Res64: 240ACADDBCD6A589 Time : 0.0 sec. user=mdettweiler [2010-08-23 15:20:57] 567*2^890640-1 is not prime. Res64: 13F58325541B0AB1 Time : 0.0 sec. user=mdettweiler [2010-08-23 15:21:17] 489*2^890641-1 is not prime. Res64: 1AB32A6B305A8919 Time : 0.0 sec. user=mdettweiler [2010-08-23 15:21:17] 531*2^890641-1 is not prime. Res64: 796774269D455858 Time : 0.0 sec. user=mdettweiler [2010-08-23 15:21:18] 407*2^890642-1 is not prime. Res64: 75698C7E79FDC0A0 Time : 0.0 sec. user=mdettweiler [2010-08-23 15:24:08] 515*2^890642-1 is not prime. Res64: 2A789DABA79DBEDB Time : 0.0 sec. user=mdettweiler [2010-08-23 15:24:09] 533*2^890642-1 is not prime. Res64: FECA7D758C8A795B Time : 0.0 sec. user=mdettweiler [2010-08-23 15:24:09] 585*2^890642-1 is not prime. Res64: D3275A409EB44F95 Time : 0.0 sec. user=henryzz [2010-08-23 15:24:13] 583*2^890643-1 is not prime. Res64: 8ECA5A5EDEBFCC2F Time : 0.0 sec. user=henryzz [2010-08-23 15:25:40] 595*2^890643-1 is not prime. Res64: 7657E098BB539AEA Time : 0.0 sec. user=henryzz [2010-08-23 15:30:58] 437*2^890644-1 is not prime. Res64: 1A6D836B4AE40CA4 Time : 0.0 sec. user=henryzz [2010-08-23 15:37:19] 563*2^890644-1 is not prime. Res64: 23E48C90D3DC4EF5 Time : 0.0 sec. user=mdettweiler [2010-08-23 16:01:53] 553*2^890647-1 is not prime. Res64: F18B9C28BCAF5AD6 Time : 0.0 sec. user=mdettweiler [2010-08-23 16:02:20] 573*2^890644-1 is not prime. Res64: 4CE5F6E910506630 Time : 0.0 sec. user=mdettweiler [2010-08-23 16:02:20] 587*2^890644-1 is not prime. Res64: 66293F653BA10012 Time : 0.0 sec. user=mdettweiler [2010-08-23 16:02:21] 409*2^890645-1 is not prime. Res64: 64A934A7D14C26F1 Time : 0.0 sec. user=mdettweiler [2010-08-23 16:02:29] 507*2^890645-1 is not prime. Res64: 4E1BA232962CD0B1 Time : 0.0 sec. user=mdettweiler [2010-08-23 16:02:37] 517*2^890645-1 is not prime. Res64: 3A705C3E75A6A367 Time : 0.0 sec. user=mdettweiler [2010-08-23 16:02:38] 589*2^890645-1 is not prime. Res64: 2F2E8957E4EBB329 Time : 0.0 sec. user=mdettweiler [2010-08-23 16:02:49] 425*2^890646-1 is not prime. Res64: ABC3A4CFA18834F0 Time : 0.0 sec. user=mdettweiler [2010-08-23 16:02:49] 431*2^890646-1 is not prime. Res64: 081619F259BCEF18 Time : 0.0 sec. user=mdettweiler [2010-08-23 16:02:49] 443*2^890646-1 is not prime. Res64: ABC18649A424798B Time : 0.0 sec. user=mdettweiler [2010-08-23 16:05:38] 473*2^890646-1 is not prime. Res64: 6E801776001A162A Time : 0.0 sec. user=mdettweiler [2010-08-23 16:05:39] 513*2^890646-1 is not prime. Res64: 15EB64A5BE1D6751 Time : 0.0 sec. user=mdettweiler [2010-08-23 16:05:39] 515*2^890646-1 is not prime. Res64: FEA9E22176700DE2 Time : 0.0 sec. user=mdettweiler [2010-08-23 16:44:08] 573*2^890647-1 is not prime. Res64: 984A6366219C4BDB Time : 0.0 sec. user=mdettweiler [2010-08-23 16:44:09] 595*2^890647-1 is not prime. Res64: D4D32D5EF80320CE Time : 0.0 sec. user=mdettweiler [2010-08-23 16:44:10] 449*2^890648-1 is not prime. Res64: 77983DF39CE1046C Time : 0.0 sec. user=mdettweiler [2010-08-23 16:44:10] 417*2^890648-1 is not prime. Res64: 4594260145172235 Time : 0.0 sec. user=mdettweiler [2010-08-23 16:44:11] 539*2^890648-1 is not prime. Res64: 0453A4BC7AD67248 Time : 0.0 sec. user=mdettweiler [2010-08-23 16:44:11] 557*2^890648-1 is not prime. Res64: 773934E482547D3C Time : 0.0 sec. user=mdettweiler [2010-08-23 16:44:23] 415*2^890649-1 is not prime. Res64: B70A4C46C77DCDD6 Time : 0.0 sec. user=mdettweiler [2010-08-23 16:44:23] 447*2^890649-1 is not prime. Res64: 8255D7A2FBCB93BF Time : 0.0 sec. user=mdettweiler [2010-08-23 16:44:24] 459*2^890649-1 is not prime. Res64: 9286147AEC3D817D Time : 0.0 sec. user=mdettweiler [2010-08-23 16:47:08] 555*2^890649-1 is not prime. Res64: B62322BE888D5E15 Time : 0.0 sec. user=mdettweiler [2010-08-23 16:47:08] 571*2^890649-1 is not prime. Res64: D1B45A84E3AB8AC7 Time : 0.0 sec. user=mdettweiler [2010-08-23 16:47:09] 483*2^890650-1 is not prime. Res64: BBBEB3FA466A7DD3 Time : 0.0 sec. user=mdettweiler [2010-08-23 17:25:42] 525*2^890650-1 is not prime. Res64: EA647BB093073E34 Time : 0.0 sec. user=mdettweiler [2010-08-23 17:25:43] 597*2^890650-1 is not prime. Res64: 6CD6286EB3A14E96 Time : 0.0 sec. user=mdettweiler [2010-08-23 17:25:43] 465*2^890651-1 is not prime. Res64: 16B5695AF9F09B77 Time : 0.0 sec. user=mdettweiler [2010-08-23 17:25:44] 529*2^890651-1 is not prime. Res64: 6FD8E8CC5CAE7772 Time : 0.0 sec. user=mdettweiler [2010-08-23 17:25:44] 405*2^890652-1 is not prime. Res64: AE2FD7B760404BFE Time : 0.0 sec. user=mdettweiler [2010-08-23 17:25:45] 459*2^890652-1 is not prime. Res64: 2A365CC50F07BF2D Time : 0.0 sec. user=mdettweiler [2010-08-23 17:25:55] 545*2^890652-1 is not prime. Res64: AB936A1C194D7878 Time : 0.0 sec. user=mdettweiler [2010-08-23 17:25:56] 563*2^890652-1 is not prime. Res64: C4642DD7F5C07C1A Time : 0.0 sec. user=mdettweiler [2010-08-23 17:25:56] 587*2^890652-1 is not prime. Res64: E7EE7AC37BD7D288 Time : 0.0 sec. user=mdettweiler [2010-08-23 17:28:39] 427*2^890653-1 is not prime. Res64: 19AC3ED4C786B8D5 Time : 0.0 sec. user=mdettweiler [2010-08-23 17:28:39] 435*2^890653-1 is not prime. Res64: 32E0DD0EB175E936 Time : 0.0 sec. user=mdettweiler [2010-08-23 17:28:39] 471*2^890653-1 is not prime. Res64: 1BEBFD0BE7E1DF9B Time : 0.0 sec. user=mdettweiler [2010-08-23 18:07:34] 565*2^890653-1 is not prime. Res64: 8C899640E049B2F0 Time : 0.0 sec. user=mdettweiler [2010-08-23 18:07:34] 577*2^890653-1 is not prime. Res64: B4C6BF33366E3CEE Time : 0.0 sec. user=mdettweiler [2010-08-23 18:07:35] 417*2^890654-1 is not prime. Res64: 011135E992329F77 Time : 0.0 sec. user=mdettweiler [2010-08-23 18:07:46] 473*2^890654-1 is not prime. Res64: A7E06BA7797B3660 Time : 0.0 sec. user=mdettweiler [2010-08-23 18:07:46] 507*2^890654-1 is not prime. Res64: D2127B521AFC9ADA Time : 0.0 sec. user=mdettweiler [2010-08-23 18:07:47] 545*2^890654-1 is not prime. Res64: 91A91EB34FCA9E97 Time : 0.0 sec. user=mdettweiler [2010-08-23 18:07:48] 563*2^890654-1 is not prime. Res64: 97AC57AB2879140B Time : 0.0 sec. user=mdettweiler [2010-08-23 18:07:48] 415*2^890655-1 is not prime. Res64: 41975143BFF04489 Time : 0.0 sec. user=mdettweiler [2010-08-23 18:07:49] 469*2^890655-1 is not prime. Res64: 7A45BE87D4196450 Time : 0.0 sec. user=mdettweiler [2010-08-23 18:10:49] 489*2^890655-1 is not prime. Res64: 887DB719BF7FCEC1 Time : 0.0 sec. user=mdettweiler [2010-08-23 18:10:50] 595*2^890655-1 is not prime. Res64: CF44737B5EA4FB96 Time : 0.0 sec. user=mdettweiler [2010-08-23 18:10:50] 495*2^890656-1 is not prime. Res64: 4B4DB5278CC40683 Time : 0.0 sec. user=mdettweiler [2010-08-23 18:51:25] 509*2^890656-1 is not prime. Res64: 342C8F532BD46CB8 Time : 0.0 sec. user=mdettweiler [2010-08-23 18:51:25] 525*2^890656-1 is not prime. Res64: 3FCEBBCF20FD80D1 Time : 0.0 sec. user=mdettweiler [2010-08-23 18:51:25] 569*2^890656-1 is not prime. Res64: 9CE5BC534515479A Time : 0.0 sec. user=mdettweiler [2010-08-23 18:51:27] 597*2^890656-1 is not prime. Res64: 103B0B909B4F23D9 Time : 0.0 sec. user=mdettweiler [2010-08-23 18:51:27] 421*2^890657-1 is not prime. Res64: 95D09F28B101B7A9 Time : 0.0 sec. user=mdettweiler [2010-08-23 18:51:28] 465*2^890657-1 is not prime. Res64: F913F89981915EBB Time : 0.0 sec. user=mdettweiler [2010-08-23 18:51:34] 501*2^890657-1 is not prime. Res64: BC7C96EB2C55E884 Time : 0.0 sec. user=mdettweiler [2010-08-23 18:51:35] 529*2^890657-1 is not prime. Res64: 4926305C43451D40 Time : 0.0 sec. user=mdettweiler [2010-08-23 18:51:35] 559*2^890657-1 is not prime. Res64: 0AD8CE28C33978F0 Time : 0.0 sec. user=mdettweiler [2010-08-23 18:55:41] 585*2^890657-1 is not prime. Res64: 1753456FA6349E7E Time : 0.0 sec. user=mdettweiler [2010-08-23 18:55:41] 497*2^890658-1 is not prime. Res64: E42A18EE7E88CC42 Time : 0.0 sec. user=mdettweiler [2010-08-23 18:55:41] 503*2^890658-1 is not prime. Res64: A460F630E3765DF6 Time : 0.0 sec. user=mdettweiler [2010-08-23 19:34:51] 467*2^890660-1 is not prime. Res64: AB09B908A430AF01 Time : 0.0 sec. user=mdettweiler [2010-08-23 19:34:51] 533*2^890660-1 is not prime. Res64: BA34098A8270D55C Time : 0.0 sec. user=mdettweiler [2010-08-23 19:34:52] 409*2^890661-1 is not prime. Res64: 3D04901E82601177 Time : 0.0 sec. user=mdettweiler [2010-08-23 19:35:10] 469*2^890661-1 is not prime. Res64: 261C7B8662E69640 Time : 0.0 sec. user=mdettweiler [2010-08-23 19:35:11] 511*2^890661-1 is not prime. Res64: 5F9196C7E8061623 Time : 0.0 sec. user=mdettweiler [2010-08-23 19:35:11] 565*2^890661-1 is not prime. Res64: 311A0F9C1536E4F0 Time : 0.0 sec. user=mdettweiler [2010-08-23 19:35:11] 555*2^890659-1 is not prime. Res64: 9F9FE7F5CD74C05F Time : 0.0 sec. user=mdettweiler [2010-08-23 19:35:12] 417*2^890660-1 is not prime. Res64: 843F4CEB95F4CCBF Time : 0.0 sec. user=mdettweiler [2010-08-23 19:35:12] 455*2^890660-1 is not prime. Res64: 4AB1A1726028B17C Time : 0.0 sec. user=mdettweiler [2010-08-23 19:39:36] 597*2^890661-1 is not prime. Res64: 508FDB9F362AEA0A Time : 0.0 sec. user=mdettweiler [2010-08-23 19:39:37] 423*2^890662-1 is not prime. Res64: 951A795D533F4AA3 Time : 0.0 sec. user=mdettweiler [2010-08-23 19:39:37] 455*2^890662-1 is not prime. Res64: A5C268660EC62C37 Time : 0.0 sec. user=mdettweiler [2010-08-23 20:17:17] 461*2^890662-1 is not prime. Res64: 8FB4E3C7CD4E7D23 Time : 0.0 sec. user=mdettweiler [2010-08-23 20:17:17] 513*2^890662-1 is not prime. Res64: ECB12ED5ACE300D6 Time : 0.0 sec. user=mdettweiler [2010-08-23 20:17:18] 511*2^890663-1 is not prime. Res64: DEA22E546E01711F Time : 0.0 sec. user=mdettweiler [2010-08-23 20:17:29] 559*2^890663-1 is not prime. Res64: 4659B6D5FD7B1DAF Time : 0.0 sec. user=mdettweiler [2010-08-23 20:17:30] 425*2^890664-1 is not prime. Res64: FED32AC26C54E38D Time : 0.0 sec. user=mdettweiler [2010-08-23 20:17:30] 527*2^890664-1 is not prime. Res64: E7D097E4B23D316A Time : 0.0 sec. user=mdettweiler [2010-08-23 20:17:34] 557*2^890664-1 is not prime. Res64: 063C74BFA6339C68 Time : 0.0 sec. user=mdettweiler [2010-08-23 20:17:34] 567*2^890664-1 is not prime. Res64: BB571990691C8D40 Time : 0.0 sec. user=mdettweiler [2010-08-23 20:17:34] 585*2^890664-1 is not prime. Res64: 3CC6740BBE7005C7 Time : 0.0 sec. user=mdettweiler [2010-08-23 20:21:56] 405*2^890665-1 is not prime. Res64: 9424ED438505A50A Time : 0.0 sec. user=mdettweiler [2010-08-23 20:21:57] 411*2^890665-1 is not prime. Res64: 3EB2751287BCF047 Time : 0.0 sec. user=mdettweiler [2010-08-23 20:21:57] 577*2^890665-1 is not prime. Res64: 670F7C3B3B195BEF Time : 0.0 sec. user=mdettweiler [2010-08-23 20:59:48] 595*2^890665-1 is not prime. Res64: D7CDEA3EB0B7363E Time : 0.0 sec. user=mdettweiler [2010-08-23 20:59:49] 437*2^890666-1 is not prime. Res64: 1CD42119258A52F8 Time : 0.0 sec. user=mdettweiler [2010-08-23 20:59:49] 447*2^890666-1 is not prime. Res64: DC4457B952997234 Time : 0.0 sec. user=mdettweiler [2010-08-23 20:59:57] 495*2^890666-1 is not prime. Res64: C69DA8796AB57195 Time : 0.0 sec. user=mdettweiler [2010-08-23 20:59:57] 503*2^890666-1 is not prime. Res64: 862CDCDC3C5B5FFC Time : 0.0 sec. user=mdettweiler [2010-08-23 20:59:58] 537*2^890666-1 is not prime. Res64: 34A15B3FF4947815 Time : 0.0 sec. user=mdettweiler [2010-08-23 21:00:11] 581*2^890666-1 is not prime. Res64: 5B67C64EB278F70A Time : 0.0 sec. user=mdettweiler [2010-08-23 21:00:12] 471*2^890667-1 is not prime. Res64: E21BF5F08B1F77D4 Time : 0.0 sec. user=mdettweiler [2010-08-23 21:00:12] 483*2^890667-1 is not prime. Res64: F1621EA434B20170 Time : 0.0 sec. user=mdettweiler [2010-08-23 21:04:17] 555*2^890667-1 is not prime. Res64: EDD14C754B0BB462 Time : 0.0 sec. user=mdettweiler [2010-08-23 21:04:18] 429*2^890668-1 is not prime. Res64: 26FA302E4479E1D4 Time : 0.0 sec. user=mdettweiler [2010-08-23 21:04:18] 435*2^890668-1 is not prime. Res64: 431C49EBFC3A3CA1 Time : 0.0 sec. user=mdettweiler [2010-08-23 21:41:55] 437*2^890668-1 is not prime. Res64: 485A186D22A7CA6B Time : 0.0 sec. user=mdettweiler [2010-08-23 21:41:56] 489*2^890668-1 is not prime. Res64: D6102C21B30B0BD3 Time : 0.0 sec. user=mdettweiler [2010-08-23 21:41:56] 513*2^890668-1 is not prime. Res64: 3EFB68811B989847 Time : 0.0 sec. user=mdettweiler [2010-08-23 21:42:21] 519*2^890668-1 is not prime. Res64: 75CF9CE40F64F665 Time : 0.0 sec. user=mdettweiler [2010-08-23 21:42:21] 411*2^890669-1 is not prime. Res64: 1832250206B62DAC Time : 0.0 sec. user=mdettweiler [2010-08-23 21:42:21] 435*2^890669-1 is not prime. Res64: 4E48C4F0763A75D3 Time : 0.0 sec. user=mdettweiler [2010-08-23 21:42:40] 445*2^890669-1 is not prime. Res64: BEEDD941F8BCA693 Time : 0.0 sec. user=mdettweiler [2010-08-23 21:42:40] 571*2^890669-1 is not prime. Res64: DEF7AAEBA5A88409 Time : 0.0 sec. user=mdettweiler [2010-08-23 21:42:41] 413*2^890670-1 is not prime. Res64: FDF654A2E9BC41C8 Time : 0.0 sec. user=mdettweiler [2010-08-23 21:46:20] 593*2^890670-1 is not prime. Res64: 2B950931FE92C486 Time : 0.0 sec. user=mdettweiler [2010-08-23 21:46:20] 475*2^890671-1 is not prime. Res64: 89FDDF46F1133798 Time : 0.0 sec. user=mdettweiler [2010-08-23 21:46:20] 511*2^890671-1 is not prime. Res64: 5B1381AC777F26FF Time : 0.0 sec. user=mdettweiler [2010-08-23 22:23:27] 559*2^890671-1 is not prime. Res64: 0E2F657F8067E8CF Time : 0.0 sec. user=mdettweiler [2010-08-23 22:23:27] 447*2^890672-1 is not prime. Res64: 7CD39A6767763BB7 Time : 0.0 sec. user=mdettweiler [2010-08-23 22:23:27] 533*2^890672-1 is not prime. Res64: 4FCA58B36FCE11BE Time : 0.0 sec. user=mdettweiler [2010-08-23 22:23:53] 599*2^890672-1 is not prime. Res64: 378BAABCC176DACC Time : 0.0 sec. user=mdettweiler [2010-08-23 22:23:53] 457*2^890673-1 is not prime. Res64: 8CC3D18D789C8507 Time : 0.0 sec. user=mdettweiler [2010-08-23 22:23:53] 475*2^890673-1 is not prime. Res64: 4DB0EC1B5A4C762B Time : 0.0 sec. user=mdettweiler [2010-08-23 22:24:09] 481*2^890673-1 is not prime. Res64: 59901EC7150B1B62 Time : 0.0 sec. user=mdettweiler [2010-08-23 22:24:10] 487*2^890673-1 is not prime. Res64: 56BC1402589B8113 Time : 0.0 sec. user=mdettweiler [2010-08-23 22:24:10] 501*2^890673-1 is not prime. Res64: 9E1999130C8C2D88 Time : 0.0 sec. user=mdettweiler [2010-08-23 22:27:53] 595*2^890673-1 is not prime. Res64: 3E3A95586FF76348 Time : 0.0 sec. user=mdettweiler [2010-08-23 22:27:53] 527*2^890674-1 is not prime. Res64: A586F9C1001AB532 Time : 0.0 sec. user=mdettweiler [2010-08-23 22:27:53] 567*2^890674-1 is not prime. Res64: 7B279A30F75D1E26 Time : 0.0 sec. user=mdettweiler [2010-08-23 23:05:02] 421*2^890675-1 is not prime. Res64: 0AE6C7D00F419025 Time : 0.0 sec. user=mdettweiler [2010-08-23 23:05:03] 445*2^890675-1 is not prime. Res64: 55757F4E913077D3 Time : 0.0 sec. user=mdettweiler [2010-08-23 23:05:04] 463*2^890675-1 is not prime. Res64: 0E3CAA69AC571D4C Time : 0.0 sec. user=mdettweiler [2010-08-23 23:05:31] 469*2^890675-1 is not prime. Res64: B5C3134FD81396D2 Time : 0.0 sec. user=mdettweiler [2010-08-23 23:05:31] 475*2^890675-1 is not prime. Res64: E4080675C82CF698 Time : 0.0 sec. user=mdettweiler [2010-08-23 23:05:31] 481*2^890675-1 is not prime. Res64: 3CC1ED4E5F21F1E6 Time : 0.0 sec. user=mdettweiler [2010-08-23 23:05:42] 511*2^890675-1 is not prime. Res64: D4D981243536E985 Time : 0.0 sec. user=mdettweiler [2010-08-23 23:05:42] 519*2^890675-1 is not prime. Res64: B923F44CB103A13B Time : 0.0 sec. user=mdettweiler [2010-08-23 23:05:42] 573*2^890675-1 is not prime. Res64: 6B7F50C82B28C304 Time : 0.0 sec. user=mdettweiler [2010-08-23 23:09:24] 465*2^890676-1 is not prime. Res64: 416878C75F396FDC Time : 0.0 sec. user=mdettweiler [2010-08-23 23:09:24] 473*2^890676-1 is not prime. Res64: 8758AB931B2E2343 Time : 0.0 sec. user=mdettweiler [2010-08-23 23:09:24] 525*2^890676-1 is not prime. Res64: BB050D041AB81CF0 Time : 0.0 sec. user=mdettweiler [2010-08-23 23:46:38] 537*2^890676-1 is not prime. Res64: BB43C1F5C797DB2E Time : 0.0 sec. user=mdettweiler [2010-08-23 23:46:38] 557*2^890676-1 is not prime. Res64: 36157B0D95EC344D Time : 0.0 sec. user=mdettweiler [2010-08-23 23:46:39] 597*2^890676-1 is not prime. Res64: 8E67ABCC71D8BD76 Time : 0.0 sec. user=mdettweiler [2010-08-23 23:47:00] 421*2^890677-1 is not prime. Res64: E9F212BC5A12ADB1 Time : 0.0 sec. user=mdettweiler [2010-08-23 23:47:00] 441*2^890677-1 is not prime. Res64: 19618B3975530C5F Time : 0.0 sec. user=mdettweiler [2010-08-23 23:47:00] 555*2^890677-1 is not prime. Res64: 17568F1EAC2B6623 Time : 0.0 sec. user=mdettweiler [2010-08-23 23:47:13] 473*2^890678-1 is not prime. Res64: 2B3D169B78419109 Time : 0.0 sec. user=mdettweiler [2010-08-23 23:47:13] 573*2^890679-1 is not prime. Res64: B5580CF097C6032F Time : 0.0 sec. user=mdettweiler [2010-08-23 23:47:13] 423*2^890680-1 is not prime. Res64: A9E89C95C86F5F62 Time : 0.0 sec. user=mdettweiler [2010-08-23 23:50:53] 429*2^890680-1 is not prime. Res64: A73E86C1290844BE Time : 0.0 sec. user=mdettweiler [2010-08-23 23:50:53] 549*2^890680-1 is not prime. Res64: DFFF29E0DDE333A9 Time : 0.0 sec. user=mdettweiler [2010-08-23 23:50:54] 411*2^890681-1 is not prime. Res64: F23FE3EA85A5FD0F Time : 0.0 sec.