user=vaughan [2010-06-24 00:03:45] 445*2^835365-1 is not prime. Res64: FA64BAAF6FFF2FC6 Time : 1038.0 sec. user=vaughan [2010-06-24 00:04:59] 421*2^835361-1 is not prime. Res64: 88A49A89F9521333 Time : 3877.0 sec. user=vaughan [2010-06-24 00:08:59] 535*2^835361-1 is not prime. Res64: 13B20953C8331A3A Time : 3872.0 sec. user=vaughan [2010-06-24 00:13:53] 459*2^835365-1 is not prime. Res64: 1CEAF6CE6478FBB9 Time : 1045.0 sec. user=vaughan [2010-06-24 00:21:05] 567*2^835368-1 is not prime. Res64: 09BB32681C466646 Time : 1040.0 sec. user=vaughan [2010-06-24 00:31:16] 447*2^835369-1 is not prime. Res64: A1394330FADE464D Time : 1043.0 sec. user=vaughan [2010-06-24 00:38:26] 549*2^835369-1 is not prime. Res64: 617FA93D61A2BD2B Time : 1041.0 sec. user=Flatlander [2010-06-24 00:45:49] 433*2^835363-1 is not prime. Res64: 7BB5487FEC8F7A7C Time : 4900.0 sec. user=Flatlander [2010-06-24 00:45:50] 483*2^835363-1 is not prime. Res64: A779623EDE4B04FE Time : 4900.0 sec. user=Flatlander [2010-06-24 00:45:51] 549*2^835363-1 is not prime. Res64: F9079583BE28A9B2 Time : 4899.0 sec. user=Flatlander [2010-06-24 00:45:52] 503*2^835364-1 is not prime. Res64: 2BA253A160973622 Time : 4899.0 sec. user=Flatlander [2010-06-24 00:45:53] 533*2^835364-1 is not prime. Res64: EBEC522CD011A562 Time : 4898.0 sec. user=vaughan [2010-06-24 00:48:40] 561*2^835369-1 is not prime. Res64: 8A90D7BACAFE8314 Time : 1044.0 sec. user=Flatlander [2010-06-24 00:51:23] 565*2^835361-1 is not prime. Res64: 88B07C88F16C561B Time : 5476.0 sec. user=Flatlander [2010-06-24 00:51:24] 431*2^835362-1 is not prime. Res64: 5E8A4541E1BF1ADD Time : 5475.0 sec. user=Flatlander [2010-06-24 00:51:25] 453*2^835362-1 is not prime. Res64: B42EFFE96C95ED9D Time : 5475.0 sec. user=Flatlander [2010-06-24 00:51:25] 521*2^835362-1 is not prime. Res64: 1916AD91717299CE Time : 5473.0 sec. user=Flatlander [2010-06-24 00:51:26] 543*2^835362-1 is not prime. Res64: 7FC80696AF7C5212 Time : 5472.0 sec. user=vaughan [2010-06-24 00:55:46] 597*2^835369-1 is not prime. Res64: 7F876BA4C85106FD Time : 1040.0 sec. user=vaughan [2010-06-24 01:06:03] 511*2^835371-1 is not prime. Res64: BA9CBEBC7D02E700 Time : 1044.0 sec. user=vaughan [2010-06-24 01:09:40] 439*2^835369-1 is not prime. Res64: 3BFC6960DAFFDBB1 Time : 3881.0 sec. user=vaughan [2010-06-24 01:13:05] 455*2^835372-1 is not prime. Res64: 60BB97C516F8DEAF Time : 1040.0 sec. user=vaughan [2010-06-24 01:15:38] 441*2^835369-1 is not prime. Res64: 9A3498B7E9ED5E49 Time : 4000.0 sec. user=vaughan [2010-06-24 01:23:27] 525*2^835372-1 is not prime. Res64: E0E70FF813FE2C0A Time : 1044.0 sec. user=Flatlander [2010-06-24 01:24:14] 491*2^835366-1 is not prime. Res64: 5D379CCDE56639D7 Time : 5029.0 sec. user=Flatlander [2010-06-24 01:24:15] 581*2^835366-1 is not prime. Res64: 93813131DBAB2E97 Time : 5028.0 sec. user=Flatlander [2010-06-24 01:24:16] 435*2^835367-1 is not prime. Res64: 5BDFE0FAD8F9F40F Time : 5027.0 sec. user=Flatlander [2010-06-24 01:24:17] 531*2^835367-1 is not prime. Res64: 36359E17CD4ABED3 Time : 5027.0 sec. user=Flatlander [2010-06-24 01:24:18] 425*2^835368-1 is not prime. Res64: 17FABD92795C23A0 Time : 5026.0 sec. user=vaughan [2010-06-24 01:30:25] 539*2^835372-1 is not prime. Res64: 85C9B4FD983AC905 Time : 1040.0 sec. user=Flatlander [2010-06-24 01:35:05] 465*2^835365-1 is not prime. Res64: 7C41FF2A43281F87 Time : 5779.0 sec. user=Flatlander [2010-06-24 01:35:06] 469*2^835365-1 is not prime. Res64: 8A584CAE08FC395F Time : 5779.0 sec. user=Flatlander [2010-06-24 01:35:06] 507*2^835365-1 is not prime. Res64: AF07C5EE30DAE59D Time : 5777.0 sec. user=Flatlander [2010-06-24 01:35:07] 447*2^835366-1 is not prime. Res64: EE438C5674884139 Time : 5777.0 sec. user=Flatlander [2010-06-24 01:35:08] 461*2^835366-1 is not prime. Res64: C6945797778F7497 Time : 5776.0 sec. user=vaughan [2010-06-24 01:40:50] 405*2^835373-1 is not prime. Res64: 863E45656E4354C3 Time : 1044.0 sec. user=vaughan [2010-06-24 01:47:45] 451*2^835375-1 is not prime. Res64: 4524A820FD6E7494 Time : 1040.0 sec. user=vaughan [2010-06-24 01:58:14] 435*2^835376-1 is not prime. Res64: B01FAE41B3F8C40C Time : 1044.0 sec. user=Flatlander [2010-06-24 02:04:04] 513*2^835371-1 is not prime. Res64: 742420DA6F784065 Time : 4356.0 sec. user=Flatlander [2010-06-24 02:04:05] 529*2^835371-1 is not prime. Res64: 2951059FEA1B8320 Time : 4356.0 sec. user=Flatlander [2010-06-24 02:04:06] 535*2^835371-1 is not prime. Res64: 7770E90A731E0D6B Time : 4355.0 sec. user=Flatlander [2010-06-24 02:04:06] 429*2^835372-1 is not prime. Res64: C543A8B1FFBB00DE Time : 4354.0 sec. user=Flatlander [2010-06-24 02:04:07] 435*2^835372-1 is not prime. Res64: 85F73F47050B56E9 Time : 4353.0 sec. user=vaughan [2010-06-24 02:05:05] 503*2^835376-1 is not prime. Res64: 4E18F76CC2CFB2A1 Time : 1040.0 sec. user=Flatlander [2010-06-24 02:11:25] 417*2^835370-1 is not prime. Res64: D949864199D73E81 Time : 5131.0 sec. user=Flatlander [2010-06-24 02:11:26] 515*2^835370-1 is not prime. Res64: 474AB4A27616F748 Time : 5130.0 sec. user=Flatlander [2010-06-24 02:11:27] 525*2^835370-1 is not prime. Res64: EF4F9F40D81258E0 Time : 5130.0 sec. user=Flatlander [2010-06-24 02:11:28] 561*2^835370-1 is not prime. Res64: 2DB33C2470A17FD7 Time : 5129.0 sec. user=Flatlander [2010-06-24 02:11:29] 453*2^835371-1 is not prime. Res64: 10383CB3E97B3DF8 Time : 5129.0 sec. user=vaughan [2010-06-24 02:14:33] 533*2^835372-1 is not prime. Res64: 0548ECD99AFEDA6C Time : 3893.0 sec. user=vaughan [2010-06-24 02:15:37] 519*2^835376-1 is not prime. Res64: 68E973EF8D9ED7BE Time : 1044.0 sec. user=vaughan [2010-06-24 02:19:45] 545*2^835372-1 is not prime. Res64: 90A0E77DF80634BD Time : 3847.0 sec. user=vaughan [2010-06-24 02:22:26] 595*2^835377-1 is not prime. Res64: 6A4FCD36C6EE7E59 Time : 1041.0 sec. user=vaughan [2010-06-24 02:24:19] 555*2^835323-1 is not prime. Res64: E830CB20F7ACC41D Time : 22722.0 sec. user=vaughan [2010-06-24 02:24:19] 573*2^835323-1 is not prime. Res64: 782EC4C370C09FD5 Time : 22722.0 sec. user=vaughan [2010-06-24 02:24:19] 585*2^835323-1 is not prime. Res64: 0C66DE8D9E16A2C3 Time : 22721.0 sec. user=vaughan [2010-06-24 02:24:20] 419*2^835324-1 is not prime. Res64: 9DFA738198EC20E6 Time : 22721.0 sec. user=vaughan [2010-06-24 02:24:20] 429*2^835324-1 is not prime. Res64: C2ACB144A8A4B979 Time : 22721.0 sec. user=vaughan [2010-06-24 02:24:20] 435*2^835324-1 is not prime. Res64: 18B4D0B7B61A5FF4 Time : 22720.0 sec. user=vaughan [2010-06-24 02:24:20] 455*2^835324-1 is not prime. Res64: 1E38F6DE38E4A144 Time : 22720.0 sec. user=vaughan [2010-06-24 02:24:21] 495*2^835324-1 is not prime. Res64: C185A191D199DA8D Time : 22720.0 sec. user=vaughan [2010-06-24 02:24:21] 567*2^835324-1 is not prime. Res64: 11CEA04A9013F34F Time : 22719.0 sec. user=vaughan [2010-06-24 02:24:21] 447*2^835325-1 is not prime. Res64: 8A95584DB87D4CDF Time : 22719.0 sec. user=vaughan [2010-06-24 02:24:22] 481*2^835325-1 is not prime. Res64: A18921E30706C50E Time : 22719.0 sec. user=vaughan [2010-06-24 02:24:22] 487*2^835325-1 is not prime. Res64: C455BEFBF915027E Time : 22719.0 sec. user=vaughan [2010-06-24 02:24:22] 489*2^835325-1 is not prime. Res64: E9FDA98EF842AEED Time : 22718.0 sec. user=vaughan [2010-06-24 02:24:22] 565*2^835325-1 is not prime. Res64: 739F54311CAB2EAB Time : 22718.0 sec. user=vaughan [2010-06-24 02:24:23] 579*2^835325-1 is not prime. Res64: 2D9400CC7050A2C9 Time : 22718.0 sec. user=vaughan [2010-06-24 02:24:23] 411*2^835326-1 is not prime. Res64: 9B445AA7C574D24D Time : 22717.0 sec. user=vaughan [2010-06-24 02:24:23] 437*2^835326-1 is not prime. Res64: CD7511236782BA8F Time : 22717.0 sec. user=vaughan [2010-06-24 02:24:23] 503*2^835326-1 is not prime. Res64: 4AA6BABE5102BB49 Time : 22716.0 sec. user=vaughan [2010-06-24 02:24:24] 563*2^835326-1 is not prime. Res64: EA5E1C363EC73343 Time : 22717.0 sec. user=vaughan [2010-06-24 02:24:24] 567*2^835326-1 is not prime. Res64: 65560703D1C0B95F Time : 22716.0 sec. user=vaughan [2010-06-24 02:24:24] 421*2^835327-1 is not prime. Res64: C0EC507B8BB3321B Time : 22716.0 sec. user=vaughan [2010-06-24 02:24:25] 463*2^835327-1 is not prime. Res64: 8A9EC6100290EE31 Time : 22716.0 sec. user=vaughan [2010-06-24 02:24:25] 469*2^835327-1 is not prime. Res64: 3B6D5211C79DA6B2 Time : 22715.0 sec. user=vaughan [2010-06-24 02:24:25] 531*2^835327-1 is not prime. Res64: A19FE473F955B774 Time : 22715.0 sec. user=vaughan [2010-06-24 02:24:25] 417*2^835328-1 is not prime. Res64: 1982306CC5C67A44 Time : 22714.0 sec. user=vaughan [2010-06-24 02:33:01] 505*2^835379-1 is not prime. Res64: B38FA823FCED2D33 Time : 1044.0 sec. user=vaughan [2010-06-24 02:33:59] 439*2^835329-1 is not prime. Res64: 13BAD41763FC74B2 Time : 22729.0 sec. user=vaughan [2010-06-24 02:33:59] 465*2^835329-1 is not prime. Res64: B8476F21065CDAC3 Time : 22728.0 sec. user=vaughan [2010-06-24 02:34:00] 495*2^835329-1 is not prime. Res64: 6D4CEAC3555A1DCB Time : 22729.0 sec. user=vaughan [2010-06-24 02:34:00] 503*2^835330-1 is not prime. Res64: 203FC90719F09B41 Time : 22728.0 sec. user=vaughan [2010-06-24 02:34:00] 525*2^835330-1 is not prime. Res64: 85794B5167833548 Time : 22728.0 sec. user=vaughan [2010-06-24 02:34:01] 531*2^835330-1 is not prime. Res64: 8BDBAA560F981DAF Time : 22728.0 sec. user=vaughan [2010-06-24 02:34:01] 555*2^835330-1 is not prime. Res64: 07174CF2863DC02E Time : 22728.0 sec. user=vaughan [2010-06-24 02:34:01] 411*2^835331-1 is not prime. Res64: 09A8A65451C201ED Time : 22727.0 sec. user=vaughan [2010-06-24 02:34:01] 505*2^835331-1 is not prime. Res64: 1C3E107A9EF5CBF4 Time : 22726.0 sec. user=vaughan [2010-06-24 02:34:02] 511*2^835331-1 is not prime. Res64: 8EE3CA9A78EE3E05 Time : 22727.0 sec. user=vaughan [2010-06-24 02:34:02] 485*2^835332-1 is not prime. Res64: 1E23E057728EDC85 Time : 22726.0 sec. user=vaughan [2010-06-24 02:34:02] 441*2^835333-1 is not prime. Res64: 100325B0B3463FA1 Time : 22726.0 sec. user=vaughan [2010-06-24 02:34:03] 511*2^835333-1 is not prime. Res64: DCCC9541B407F886 Time : 22726.0 sec. user=vaughan [2010-06-24 02:34:03] 537*2^835333-1 is not prime. Res64: 5EDEA053109AC797 Time : 22726.0 sec. user=vaughan [2010-06-24 02:34:03] 437*2^835334-1 is not prime. Res64: B4BADFE98A2DE78A Time : 22725.0 sec. user=vaughan [2010-06-24 02:34:03] 563*2^835334-1 is not prime. Res64: D52D4D0ABE6C6460 Time : 22724.0 sec. user=vaughan [2010-06-24 02:34:04] 585*2^835334-1 is not prime. Res64: 1849CA019809C650 Time : 22725.0 sec. user=vaughan [2010-06-24 02:34:04] 409*2^835335-1 is not prime. Res64: 0DA4413395A01D31 Time : 22724.0 sec. user=vaughan [2010-06-24 02:34:04] 445*2^835335-1 is not prime. Res64: A7778535E1923A2D Time : 22724.0 sec. user=vaughan [2010-06-24 02:34:04] 573*2^835335-1 is not prime. Res64: F94288AAE26057BB Time : 22723.0 sec. user=vaughan [2010-06-24 02:34:05] 537*2^835336-1 is not prime. Res64: E5C51A36893C77C5 Time : 22723.0 sec. user=vaughan [2010-06-24 02:34:05] 517*2^835337-1 is not prime. Res64: C6BA4E0C3720B539 Time : 22723.0 sec. user=vaughan [2010-06-24 02:34:05] 413*2^835338-1 is not prime. Res64: 7B45B44652148459 Time : 22722.0 sec. user=vaughan [2010-06-24 02:34:06] 417*2^835338-1 is not prime. Res64: D30F59DEC2BF4C76 Time : 22723.0 sec. user=vaughan [2010-06-24 02:34:06] 461*2^835338-1 is not prime. Res64: EC6CFD3EBB2F584E Time : 22722.0 sec. user=vaughan [2010-06-24 02:39:46] 555*2^835380-1 is not prime. Res64: 3169A0B8C8801C60 Time : 1040.0 sec. user=vaughan [2010-06-24 02:43:48] 523*2^835339-1 is not prime. Res64: 92AF6930E975956C Time : 22727.0 sec. user=vaughan [2010-06-24 02:43:48] 579*2^835339-1 is not prime. Res64: 58BEAAC87CEB8469 Time : 22726.0 sec. user=vaughan [2010-06-24 02:43:48] 405*2^835341-1 is not prime. Res64: 4435BF1E6414B30D Time : 22726.0 sec. user=vaughan [2010-06-24 02:43:49] 429*2^835341-1 is not prime. Res64: 982A3FEA5504185C Time : 22726.0 sec. user=vaughan [2010-06-24 02:43:49] 451*2^835341-1 is not prime. Res64: 00F9F3A8B78CBC6F Time : 22726.0 sec. user=vaughan [2010-06-24 02:43:49] 469*2^835341-1 is not prime. Res64: 83F31B0EBD11DACF Time : 22725.0 sec. user=vaughan [2010-06-24 02:43:50] 487*2^835341-1 is not prime. Res64: BEA6E9312CCA409F Time : 22725.0 sec. user=vaughan [2010-06-24 02:43:50] 537*2^835341-1 is not prime. Res64: DAA099C43FDF73DD Time : 22725.0 sec. user=vaughan [2010-06-24 02:43:50] 565*2^835341-1 is not prime. Res64: A824DAFED141882B Time : 22724.0 sec. user=vaughan [2010-06-24 02:43:50] 525*2^835342-1 is not prime. Res64: 2D2B6C51E7309FD2 Time : 22724.0 sec. user=vaughan [2010-06-24 02:43:51] 567*2^835342-1 is not prime. Res64: E7DC8E657FFF6748 Time : 22724.0 sec. user=vaughan [2010-06-24 02:43:51] 445*2^835343-1 is not prime. Res64: 38C3D7CC52B7C5CA Time : 22724.0 sec. user=vaughan [2010-06-24 02:43:51] 475*2^835343-1 is not prime. Res64: 5EA052BFCDA1DB03 Time : 22723.0 sec. user=vaughan [2010-06-24 02:43:51] 481*2^835343-1 is not prime. Res64: 1618E19CF7ED6CBF Time : 22723.0 sec. user=vaughan [2010-06-24 02:43:52] 571*2^835343-1 is not prime. Res64: 26736836109FFA77 Time : 22723.0 sec. user=vaughan [2010-06-24 02:43:52] 425*2^835344-1 is not prime. Res64: 07A1151ED446AB61 Time : 22722.0 sec. user=vaughan [2010-06-24 02:43:52] 429*2^835344-1 is not prime. Res64: A2EA5FBD810A9EA7 Time : 22722.0 sec. user=vaughan [2010-06-24 02:43:53] 543*2^835344-1 is not prime. Res64: A69578E5CCEA9F2C Time : 22722.0 sec. user=vaughan [2010-06-24 02:43:53] 405*2^835345-1 is not prime. Res64: AF80C582E1377FBC Time : 22722.0 sec. user=vaughan [2010-06-24 02:43:53] 469*2^835345-1 is not prime. Res64: 5B803C8D2E4C75E9 Time : 22721.0 sec. user=vaughan [2010-06-24 02:43:53] 507*2^835345-1 is not prime. Res64: 3BB419D7365717B2 Time : 22721.0 sec. user=vaughan [2010-06-24 02:43:54] 511*2^835345-1 is not prime. Res64: 0C593B7474026DEC Time : 22721.0 sec. user=vaughan [2010-06-24 02:43:54] 531*2^835345-1 is not prime. Res64: FF93F6AB21F396AB Time : 22721.0 sec. user=vaughan [2010-06-24 02:43:54] 497*2^835346-1 is not prime. Res64: 9B2D2C0818F5607E Time : 22720.0 sec. user=vaughan [2010-06-24 02:43:55] 525*2^835346-1 is not prime. Res64: 5534501B6E857D40 Time : 22720.0 sec. user=vaughan [2010-06-24 02:50:24] 495*2^835387-1 is not prime. Res64: 08014FA89427A296 Time : 1044.0 sec. user=vaughan [2010-06-24 02:57:06] 541*2^835393-1 is not prime. Res64: CFA3C0FF4E8132D7 Time : 1040.0 sec. user=Flatlander [2010-06-24 02:58:48] 465*2^835375-1 is not prime. Res64: F5D5AC45814FF6E7 Time : 5018.0 sec. user=Flatlander [2010-06-24 02:58:49] 499*2^835375-1 is not prime. Res64: FD217DCDA74ECA4A Time : 5018.0 sec. user=Flatlander [2010-06-24 02:58:50] 519*2^835375-1 is not prime. Res64: 801C3BD8EC526F3D Time : 5017.0 sec. user=Flatlander [2010-06-24 02:58:50] 589*2^835375-1 is not prime. Res64: 9C1234FE4DBA7D31 Time : 5015.0 sec. user=Flatlander [2010-06-24 02:58:51] 407*2^835376-1 is not prime. Res64: 860533B4C6AEFE30 Time : 5015.0 sec. user=Flatlander [2010-06-24 03:03:09] 511*2^835373-1 is not prime. Res64: 57A835639F94F333 Time : 5930.0 sec. user=Flatlander [2010-06-24 03:03:09] 453*2^835374-1 is not prime. Res64: C0204E444B9C66BB Time : 5928.0 sec. user=Flatlander [2010-06-24 03:03:10] 521*2^835374-1 is not prime. Res64: 771499BA8F8B1435 Time : 5928.0 sec. user=Flatlander [2010-06-24 03:03:11] 555*2^835374-1 is not prime. Res64: 01BE201F3ED70E7C Time : 5927.0 sec. user=Flatlander [2010-06-24 03:03:12] 593*2^835374-1 is not prime. Res64: 12E1CBF641FDFDB4 Time : 5926.0 sec. user=vaughan [2010-06-24 03:07:49] 531*2^835401-1 is not prime. Res64: 7F5C1EA814D1F967 Time : 1045.0 sec. user=vaughan [2010-06-24 03:14:26] 535*2^835401-1 is not prime. Res64: 63CA56BEF5B06905 Time : 1041.0 sec. user=vaughan [2010-06-24 03:19:15] 489*2^835379-1 is not prime. Res64: 3446B5EB57CAFFFB Time : 3882.0 sec. user=Flatlander [2010-06-24 03:24:43] 443*2^835378-1 is not prime. Res64: 9B1C340C1C9E1CA1 Time : 4393.0 sec. user=Flatlander [2010-06-24 03:24:43] 495*2^835378-1 is not prime. Res64: AF20028227D75B70 Time : 4392.0 sec. user=Flatlander [2010-06-24 03:24:44] 507*2^835378-1 is not prime. Res64: 6D8DAFB6FAE33995 Time : 4391.0 sec. user=Flatlander [2010-06-24 03:24:44] 561*2^835378-1 is not prime. Res64: E5E6073CD905010B Time : 4389.0 sec. user=Flatlander [2010-06-24 03:24:45] 481*2^835379-1 is not prime. Res64: FB63630E32E16EC3 Time : 4388.0 sec. user=vaughan [2010-06-24 03:25:11] 545*2^835404-1 is not prime. Res64: D9A173C313DB2161 Time : 1043.0 sec. user=vaughan [2010-06-24 03:25:15] 477*2^835274-1 is not prime. Res64: 134C3A49D2D0C983 Time : 55096.0 sec. user=vaughan [2010-06-24 03:26:22] 565*2^835379-1 is not prime. Res64: DA0387E0D7BB8B69 Time : 3997.0 sec. user=vaughan [2010-06-24 03:28:32] 593*2^835274-1 is not prime. Res64: 6787ABCE923FD74D Time : 55098.0 sec. user=vaughan [2010-06-24 03:29:47] 459*2^835275-1 is not prime. Res64: A460C5DF58BEA1DD Time : 55117.0 sec. user=vaughan [2010-06-24 03:31:48] 555*2^835404-1 is not prime. Res64: D5E1D6EF4A52C9AF Time : 1042.0 sec. user=vaughan [2010-06-24 03:41:48] 515*2^835406-1 is not prime. Res64: C51B27E50EA90BDB Time : 993.0 sec. user=vaughan [2010-06-24 03:42:35] 501*2^835406-1 is not prime. Res64: 1C8D2C976419F3F8 Time : 1044.0 sec. user=Flatlander [2010-06-24 03:42:44] 593*2^835376-1 is not prime. Res64: 3280D75EF01BE334 Time : 5915.0 sec. user=Flatlander [2010-06-24 03:42:44] 409*2^835377-1 is not prime. Res64: 75EA96008F74BAD6 Time : 5914.0 sec. user=Flatlander [2010-06-24 03:42:44] 447*2^835377-1 is not prime. Res64: 3D8BFA10BDD08304 Time : 5912.0 sec. user=Flatlander [2010-06-24 03:42:45] 471*2^835377-1 is not prime. Res64: A7B85A60FF2D4C0C Time : 5911.0 sec. user=Flatlander [2010-06-24 03:42:45] 495*2^835377-1 is not prime. Res64: E79B6E3291553B01 Time : 5910.0 sec. user=vaughan [2010-06-24 03:45:21] 561*2^835406-1 is not prime. Res64: 17B4BA5E8C2F6725 Time : 1010.0 sec. user=vaughan [2010-06-24 03:47:08] 585*2^835406-1 is not prime. Res64: 92ADC026B8340E35 Time : 1041.0 sec. user=vaughan [2010-06-24 03:49:08] 405*2^835407-1 is not prime. Res64: 05AEC2D64E72DA97 Time : 1041.0 sec. user=vaughan [2010-06-24 03:49:42] 413*2^835408-1 is not prime. Res64: 4F5D146C3DE871EF Time : 985.0 sec. user=vaughan [2010-06-24 03:58:17] 419*2^835408-1 is not prime. Res64: 177E561AE9506353 Time : 990.0 sec. user=vaughan [2010-06-24 03:59:58] 429*2^835408-1 is not prime. Res64: B8AF4B0E8FEC75FF Time : 1044.0 sec. user=vaughan [2010-06-24 04:02:06] 481*2^835409-1 is not prime. Res64: F6C7F759724FE691 Time : 1006.0 sec. user=vaughan [2010-06-24 04:02:57] 563*2^835404-1 is not prime. Res64: B013AD7929CCF75B Time : 2622.0 sec. user=vaughan [2010-06-24 04:04:25] 517*2^835409-1 is not prime. Res64: 3229636280CCD7D3 Time : 1037.0 sec. user=vaughan [2010-06-24 04:06:07] 571*2^835409-1 is not prime. Res64: 1F2DEBDB32BD7CCF Time : 985.0 sec. user=vaughan [2010-06-24 04:06:28] 567*2^835409-1 is not prime. Res64: 92F92C660F5BA2C0 Time : 1040.0 sec. user=vaughan [2010-06-24 04:06:35] 525*2^835406-1 is not prime. Res64: 20BC5B9FD20DDEEB Time : 2413.0 sec. user=vaughan [2010-06-24 04:14:46] 589*2^835409-1 is not prime. Res64: A1638E78C8503DF3 Time : 989.0 sec. user=vaughan [2010-06-24 04:17:24] 483*2^835410-1 is not prime. Res64: A2B93FFCBA5ABD5A Time : 1046.0 sec. user=vaughan [2010-06-24 04:18:50] 531*2^835410-1 is not prime. Res64: B8EA0750D1FBD9A3 Time : 1005.0 sec. user=vaughan [2010-06-24 04:21:40] 535*2^835411-1 is not prime. Res64: 375C94C71E87441C Time : 1035.0 sec. user=Flatlander [2010-06-24 04:21:44] 537*2^835401-1 is not prime. Res64: 737D4E0AD91D90AE Time : 4971.0 sec. user=Flatlander [2010-06-24 04:21:45] 555*2^835401-1 is not prime. Res64: DE9F5D7AE8EBBB1E Time : 4971.0 sec. user=Flatlander [2010-06-24 04:21:46] 483*2^835402-1 is not prime. Res64: BF5023CE9624F5C4 Time : 4970.0 sec. user=Flatlander [2010-06-24 04:21:47] 411*2^835403-1 is not prime. Res64: 7C7C97A552B38444 Time : 4969.0 sec. user=Flatlander [2010-06-24 04:21:47] 435*2^835403-1 is not prime. Res64: 74DF1B5115E61A0B Time : 4968.0 sec. user=vaughan [2010-06-24 04:22:33] 555*2^835411-1 is not prime. Res64: 9FBAB412429D2556 Time : 987.0 sec. user=vaughan [2010-06-24 04:23:45] 425*2^835412-1 is not prime. Res64: E62BAA3C32B7A5AC Time : 1037.0 sec. user=Flatlander [2010-06-24 04:27:21] 523*2^835403-1 is not prime. Res64: 17A5688BF549D71D Time : 5048.0 sec. user=Flatlander [2010-06-24 04:27:22] 565*2^835403-1 is not prime. Res64: AF387C85B5A49E88 Time : 5047.0 sec. user=Flatlander [2010-06-24 04:27:23] 503*2^835404-1 is not prime. Res64: A832C5CF3BED49BF Time : 5047.0 sec. user=Flatlander [2010-06-24 04:27:23] 513*2^835404-1 is not prime. Res64: 07FB61D684369DB6 Time : 5045.0 sec. user=Flatlander [2010-06-24 04:27:24] 525*2^835404-1 is not prime. Res64: A502B69458ED32B2 Time : 5044.0 sec. user=vaughan [2010-06-24 04:31:15] 483*2^835412-1 is not prime. Res64: D1EADF24B6F68EDB Time : 989.0 sec. user=vaughan [2010-06-24 04:34:51] 507*2^835412-1 is not prime. Res64: 2639F8545A06133D Time : 1047.0 sec. user=vaughan [2010-06-24 04:35:34] 495*2^835413-1 is not prime. Res64: D2276EACAE48CFDA Time : 1004.0 sec. user=vaughan [2010-06-24 04:35:58] 499*2^835411-1 is not prime. Res64: C920861B5AD6179C Time : 1981.0 sec. user=vaughan [2010-06-24 04:38:56] 529*2^835413-1 is not prime. Res64: 37F5F4A063F357BD Time : 1036.0 sec. user=vaughan [2010-06-24 04:38:56] 525*2^835415-1 is not prime. Res64: 3BBAB636DA66BE6A Time : 984.0 sec. user=vaughan [2010-06-24 04:40:43] 447*2^835412-1 is not prime. Res64: 24D579C6F9FA8465 Time : 2048.0 sec. user=vaughan [2010-06-24 04:41:05] 405*2^835416-1 is not prime. Res64: 17D04039C2E09E8A Time : 1040.0 sec. user=vaughan [2010-06-24 04:47:44] 427*2^835417-1 is not prime. Res64: F8C108139371B4D6 Time : 989.0 sec. user=vaughan [2010-06-24 04:52:18] 483*2^835418-1 is not prime. Res64: 1BBA2EA5254C9073 Time : 1004.0 sec. user=vaughan [2010-06-24 04:52:18] 439*2^835417-1 is not prime. Res64: EB7A2C987922F779 Time : 1047.0 sec. user=vaughan [2010-06-24 04:55:20] 441*2^835419-1 is not prime. Res64: 3AACAF800D39CBF8 Time : 984.0 sec. user=vaughan [2010-06-24 04:56:12] 403*2^835419-1 is not prime. Res64: 4EAE6B5815620761 Time : 1037.0 sec. user=vaughan [2010-06-24 04:58:25] 493*2^835419-1 is not prime. Res64: F23C325980C19297 Time : 1040.0 sec. user=Flatlander [2010-06-24 04:59:15] 411*2^835405-1 is not prime. Res64: 20BA8610721CAE53 Time : 5669.0 sec. user=Flatlander [2010-06-24 04:59:15] 427*2^835405-1 is not prime. Res64: A9FD62B656E2CF04 Time : 5668.0 sec. user=Flatlander [2010-06-24 04:59:16] 561*2^835405-1 is not prime. Res64: 1821B10AA18BF2E3 Time : 5668.0 sec. user=Flatlander [2010-06-24 04:59:17] 595*2^835405-1 is not prime. Res64: 9F0F9E6EE87FA284 Time : 5669.0 sec. user=Flatlander [2010-06-24 04:59:18] 405*2^835406-1 is not prime. Res64: B0961BEC09C4509D Time : 5669.0 sec. user=vaughan [2010-06-24 05:04:12] 501*2^835419-1 is not prime. Res64: 2A25029A0CB99576 Time : 989.0 sec. user=vaughan [2010-06-24 05:09:03] 573*2^835419-1 is not prime. Res64: 2BA03A5AEF9F1413 Time : 1005.0 sec. user=vaughan [2010-06-24 05:09:15] 533*2^835418-1 is not prime. Res64: 203F3F0839273FB1 Time : 1997.0 sec. user=vaughan [2010-06-24 05:09:46] 453*2^835420-1 is not prime. Res64: AC7BA09AB617758F Time : 1048.0 sec. user=vaughan [2010-06-24 05:11:44] 513*2^835420-1 is not prime. Res64: EF091460CDB24D12 Time : 984.0 sec. user=vaughan [2010-06-24 05:13:27] 447*2^835421-1 is not prime. Res64: 6A68B0EFF43B3A87 Time : 1035.0 sec. user=vaughan [2010-06-24 05:14:00] 451*2^835419-1 is not prime. Res64: 6608DE68F5668083 Time : 1998.0 sec. user=vaughan [2010-06-24 05:15:43] 413*2^835422-1 is not prime. Res64: 9A2E72CAEE13AB8C Time : 1038.0 sec. user=Flatlander [2010-06-24 05:18:17] 449*2^835408-1 is not prime. Res64: C6880ABAEDCD8FA8 Time : 5731.0 sec. user=Flatlander [2010-06-24 05:18:17] 513*2^835408-1 is not prime. Res64: 44FDD9E5B794D241 Time : 5731.0 sec. user=Flatlander [2010-06-24 05:18:18] 575*2^835408-1 is not prime. Res64: F537FB3F0A6933B6 Time : 5731.0 sec. user=Flatlander [2010-06-24 05:18:18] 459*2^835409-1 is not prime. Res64: F004A2568A147184 Time : 5730.0 sec. user=Flatlander [2010-06-24 05:18:19] 465*2^835409-1 is not prime. Res64: 9C3B4379338B3C63 Time : 5731.0 sec. user=vaughan [2010-06-24 05:20:41] 447*2^835424-1 is not prime. Res64: B746CE75E5BE3E5A Time : 989.0 sec. user=vaughan [2010-06-24 05:25:46] 507*2^835424-1 is not prime. Res64: E15896933FEE6877 Time : 1004.0 sec. user=vaughan [2010-06-24 05:27:13] 459*2^835425-1 is not prime. Res64: 2B464B5B451E123E Time : 1047.0 sec. user=vaughan [2010-06-24 05:28:09] 475*2^835425-1 is not prime. Res64: 3B855323BBF8E912 Time : 985.0 sec. user=vaughan [2010-06-24 05:30:42] 481*2^835425-1 is not prime. Res64: DF543A4D712BAA70 Time : 1036.0 sec. user=vaughan [2010-06-24 05:33:03] 577*2^835425-1 is not prime. Res64: 34DBE5E9F65839D1 Time : 1040.0 sec. user=vaughan [2010-06-24 05:37:09] 433*2^835427-1 is not prime. Res64: 9E5CA248EAD67891 Time : 988.0 sec. user=vaughan [2010-06-24 05:42:09] 557*2^835424-1 is not prime. Res64: BEBDD26057906DB2 Time : 1975.0 sec. user=vaughan [2010-06-24 05:42:32] 571*2^835427-1 is not prime. Res64: BA6CC2E1F04F7569 Time : 1006.0 sec. user=vaughan [2010-06-24 05:44:33] 467*2^835428-1 is not prime. Res64: 570486C9A3E0F85A Time : 985.0 sec. user=vaughan [2010-06-24 05:44:37] 589*2^835427-1 is not prime. Res64: BF3E249F7BC3082C Time : 1044.0 sec. user=vaughan [2010-06-24 05:47:57] 479*2^835428-1 is not prime. Res64: FD5DEB8E856B2265 Time : 1035.0 sec. user=vaughan [2010-06-24 05:48:00] 555*2^835425-1 is not prime. Res64: 6CD22A4A790EA291 Time : 2040.0 sec. user=vaughan [2010-06-24 05:50:23] 515*2^835428-1 is not prime. Res64: 554DFEFAF829F14F Time : 1041.0 sec. user=Flatlander [2010-06-24 05:50:30] 423*2^835414-1 is not prime. Res64: 162D8AC8DAFEF7C4 Time : 5321.0 sec. user=Flatlander [2010-06-24 05:50:31] 455*2^835414-1 is not prime. Res64: 7BF5C1B33906ADE5 Time : 5320.0 sec. user=Flatlander [2010-06-24 05:50:31] 503*2^835414-1 is not prime. Res64: 6162E6C963DD4B1A Time : 5319.0 sec. user=Flatlander [2010-06-24 05:50:32] 533*2^835414-1 is not prime. Res64: 83E275A01E70A287 Time : 5318.0 sec. user=Flatlander [2010-06-24 05:50:32] 575*2^835414-1 is not prime. Res64: 284D47DBD2E73908 Time : 5317.0 sec. user=vaughan [2010-06-24 05:53:39] 563*2^835428-1 is not prime. Res64: 37974158228C6A64 Time : 990.0 sec. user=Flatlander [2010-06-24 05:57:56] 413*2^835416-1 is not prime. Res64: 270C847500C70360 Time : 5430.0 sec. user=Flatlander [2010-06-24 05:57:57] 515*2^835416-1 is not prime. Res64: E925AD193977D11F Time : 5430.0 sec. user=Flatlander [2010-06-24 05:57:57] 567*2^835416-1 is not prime. Res64: F0556BFFF4DE8D7E Time : 5428.0 sec. user=Flatlander [2010-06-24 05:57:58] 597*2^835416-1 is not prime. Res64: F7C319F24B539AB0 Time : 5427.0 sec. user=Flatlander [2010-06-24 05:57:58] 421*2^835417-1 is not prime. Res64: 55FEDEF0DAC6EC2F Time : 5426.0 sec. user=vaughan [2010-06-24 05:59:17] 427*2^835429-1 is not prime. Res64: 0E933F0FFE7CFD14 Time : 1005.0 sec. user=vaughan [2010-06-24 06:00:57] 435*2^835429-1 is not prime. Res64: 8CEF4E166AF6FA74 Time : 985.0 sec. user=vaughan [2010-06-24 06:02:01] 489*2^835429-1 is not prime. Res64: 4E87FD352624BD6E Time : 1045.0 sec. user=vaughan [2010-06-24 06:05:12] 525*2^835429-1 is not prime. Res64: D6CF524648DD850D Time : 1036.0 sec. user=vaughan [2010-06-24 06:07:44] 495*2^835430-1 is not prime. Res64: 13FE110EC235D54A Time : 1041.0 sec. user=vaughan [2010-06-24 06:10:08] 549*2^835431-1 is not prime. Res64: 28AF63760E059109 Time : 989.0 sec. user=Flatlander [2010-06-24 06:14:43] 503*2^835422-1 is not prime. Res64: 999D51025906C2C1 Time : 4524.0 sec. user=Flatlander [2010-06-24 06:14:44] 585*2^835422-1 is not prime. Res64: 16779AAE25C0D99B Time : 4523.0 sec. user=Flatlander [2010-06-24 06:14:45] 481*2^835423-1 is not prime. Res64: 8A1B7784C11E2696 Time : 4523.0 sec. user=Flatlander [2010-06-24 06:14:46] 525*2^835423-1 is not prime. Res64: 29D14633B49B4A79 Time : 4522.0 sec. user=Flatlander [2010-06-24 06:14:46] 417*2^835424-1 is not prime. Res64: 50614C4D26118D43 Time : 4520.0 sec. user=vaughan [2010-06-24 06:15:11] 411*2^835429-1 is not prime. Res64: BA7A46C61D76EFC2 Time : 1982.0 sec. user=vaughan [2010-06-24 06:16:00] 529*2^835433-1 is not prime. Res64: 38764077BDCE2A1D Time : 1004.0 sec. user=vaughan [2010-06-24 06:17:21] 549*2^835433-1 is not prime. Res64: 0C3FA1557EEBB318 Time : 984.0 sec. user=vaughan [2010-06-24 06:19:24] 595*2^835433-1 is not prime. Res64: 42E986D08E94F114 Time : 1043.0 sec. user=vaughan [2010-06-24 06:21:03] 577*2^835429-1 is not prime. Res64: 62666E19DC92219D Time : 1984.0 sec. user=vaughan [2010-06-24 06:22:27] 431*2^835434-1 is not prime. Res64: FAECB0BDB01E0118 Time : 1035.0 sec. user=vaughan [2010-06-24 06:25:04] 437*2^835434-1 is not prime. Res64: 40F22A53A6304AA5 Time : 1040.0 sec. user=vaughan [2010-06-24 06:26:37] 461*2^835434-1 is not prime. Res64: E8D8C48200A36B91 Time : 990.0 sec. user=vaughan [2010-06-24 06:32:46] 465*2^835435-1 is not prime. Res64: 3CDE99FEAAE7AE49 Time : 1006.0 sec. user=vaughan [2010-06-24 06:33:45] 481*2^835435-1 is not prime. Res64: BB6D2E90692F9D12 Time : 984.0 sec. user=vaughan [2010-06-24 06:36:48] 583*2^835435-1 is not prime. Res64: AB75BC2D9DD2095A Time : 1045.0 sec. user=vaughan [2010-06-24 06:39:43] 525*2^835436-1 is not prime. Res64: 78383E6D03681C9B Time : 1036.0 sec. user=vaughan [2010-06-24 06:42:27] 545*2^835436-1 is not prime. Res64: F175676099BAEAB2 Time : 1043.0 sec. user=vaughan [2010-06-24 06:43:05] 585*2^835436-1 is not prime. Res64: C6C659FD35E9DD74 Time : 988.0 sec. user=vaughan [2010-06-24 06:48:12] 411*2^835435-1 is not prime. Res64: 71C9EAEF3AC86494 Time : 1982.0 sec. user=vaughan [2010-06-24 06:49:30] 465*2^835437-1 is not prime. Res64: 8E994343A80397D9 Time : 1004.0 sec. user=vaughan [2010-06-24 06:50:09] 511*2^835437-1 is not prime. Res64: 2A8D433154038735 Time : 984.0 sec. user=vaughan [2010-06-24 06:54:03] 437*2^835436-1 is not prime. Res64: CA88CB28CF8946EC Time : 1980.0 sec. user=vaughan [2010-06-24 06:54:18] 529*2^835437-1 is not prime. Res64: 2729BEE7833B3F13 Time : 1050.0 sec. user=vaughan [2010-06-24 06:56:58] 565*2^835437-1 is not prime. Res64: 6418CA345A53ACE2 Time : 1036.0 sec. user=vaughan [2010-06-24 06:59:34] 597*2^835438-1 is not prime. Res64: EA46BF1A5F1F2F7F Time : 989.0 sec. user=vaughan [2010-06-24 06:59:48] 471*2^835438-1 is not prime. Res64: 22F571552F686ACC Time : 1041.0 sec. user=Flatlander [2010-06-24 07:04:37] 411*2^835426-1 is not prime. Res64: EB11536A4B167AFC Time : 6377.0 sec. user=Flatlander [2010-06-24 07:04:38] 561*2^835426-1 is not prime. Res64: C1A85DF176C2BBD6 Time : 6377.0 sec. user=Flatlander [2010-06-24 07:04:38] 581*2^835426-1 is not prime. Res64: 53C4C6A491BD354E Time : 6376.0 sec. user=Flatlander [2010-06-24 07:04:39] 593*2^835426-1 is not prime. Res64: 323BC4EEFBF0C5DF Time : 6376.0 sec. user=Flatlander [2010-06-24 07:04:40] 421*2^835427-1 is not prime. Res64: 650EF0A3BBF055C6 Time : 6376.0 sec. user=vaughan [2010-06-24 07:06:16] 425*2^835440-1 is not prime. Res64: F2CAC06493F281E9 Time : 1006.0 sec. user=vaughan [2010-06-24 07:06:34] 437*2^835440-1 is not prime. Res64: 60D2860D80C4AB0C Time : 985.0 sec. user=vaughan [2010-06-24 07:11:42] 525*2^835440-1 is not prime. Res64: 9502E77111F37F3C Time : 1045.0 sec. user=vaughan [2010-06-24 07:14:13] 597*2^835440-1 is not prime. Res64: DD7DEF48C9DE47FF Time : 1036.0 sec. user=vaughan [2010-06-24 07:16:02] 439*2^835441-1 is not prime. Res64: DA312B134CA358F8 Time : 988.0 sec. user=vaughan [2010-06-24 07:17:09] 447*2^835441-1 is not prime. Res64: DFD07BFA97F491CF Time : 1041.0 sec. user=vaughan [2010-06-24 07:21:10] 435*2^835439-1 is not prime. Res64: 13290FE91DD0DE54 Time : 1978.0 sec. user=vaughan [2010-06-24 07:22:58] 437*2^835442-1 is not prime. Res64: 338E08B334735F51 Time : 984.0 sec. user=vaughan [2010-06-24 07:22:59] 431*2^835442-1 is not prime. Res64: 345AA2124DF4D100 Time : 1003.0 sec. user=vaughan [2010-06-24 07:27:03] 509*2^835440-1 is not prime. Res64: F6304B35DB9BCB48 Time : 1980.0 sec. user=vaughan [2010-06-24 07:29:10] 447*2^835442-1 is not prime. Res64: 45A8AAF9C0821D74 Time : 1048.0 sec. user=vaughan [2010-06-24 07:31:28] 453*2^835442-1 is not prime. Res64: 24424819E08A9D9B Time : 1036.0 sec. user=vaughan [2010-06-24 07:32:31] 501*2^835442-1 is not prime. Res64: 67B5981172FE9854 Time : 989.0 sec. user=vaughan [2010-06-24 07:34:26] 503*2^835442-1 is not prime. Res64: ED6498BE522BF126 Time : 1037.0 sec. user=vaughan [2010-06-24 07:39:20] 581*2^835442-1 is not prime. Res64: 6F60DAE4F6112AAF Time : 982.0 sec. user=vaughan [2010-06-24 07:39:44] 433*2^835443-1 is not prime. Res64: 756BD9250D94279B Time : 1005.0 sec. user=vaughan [2010-06-24 07:46:39] 453*2^835443-1 is not prime. Res64: 9DB3413934AF2BD1 Time : 1050.0 sec. user=vaughan [2010-06-24 07:48:41] 591*2^835443-1 is not prime. Res64: 5DBD923D5E695E29 Time : 1034.0 sec. user=vaughan [2010-06-24 07:48:59] 437*2^835444-1 is not prime. Res64: 1BBC933032F3098B Time : 989.0 sec. user=vaughan [2010-06-24 07:51:43] 453*2^835444-1 is not prime. Res64: F7AAD39E7D965D66 Time : 1037.0 sec. user=vaughan [2010-06-24 07:55:08] 573*2^835442-1 is not prime. Res64: B941AA03EAC3D91A Time : 2038.0 sec. user=vaughan [2010-06-24 07:55:41] 483*2^835444-1 is not prime. Res64: 910DCFF058E69084 Time : 981.0 sec. user=vaughan [2010-06-24 07:56:28] 495*2^835444-1 is not prime. Res64: B23A2EDF17D1FDAB Time : 1004.0 sec. user=vaughan [2010-06-24 07:59:56] 451*2^835443-1 is not prime. Res64: 8E657E6786A6CE4E Time : 1973.0 sec. user=Flatlander [2010-06-24 08:01:59] 561*2^835430-1 is not prime. Res64: EEB8E7A9E484BAAC Time : 7887.0 sec. user=Flatlander [2010-06-24 08:02:00] 585*2^835430-1 is not prime. Res64: DCB2AC80E46F283D Time : 7886.0 sec. user=Flatlander [2010-06-24 08:02:00] 593*2^835430-1 is not prime. Res64: 4E588BBF25CC0FA8 Time : 7884.0 sec. user=Flatlander [2010-06-24 08:02:00] 403*2^835431-1 is not prime. Res64: 9FC0B0B0E419B046 Time : 7884.0 sec. user=Flatlander [2010-06-24 08:02:00] 423*2^835431-1 is not prime. Res64: 631154EDCE0A4C86 Time : 7883.0 sec. user=vaughan [2010-06-24 08:04:09] 575*2^835444-1 is not prime. Res64: CD5A48376F4C3D7A Time : 1050.0 sec. user=vaughan [2010-06-24 08:05:28] 465*2^835445-1 is not prime. Res64: 1E114F806F066CAE Time : 989.0 sec. user=vaughan [2010-06-24 08:05:53] 597*2^835444-1 is not prime. Res64: 638EA60228D00FF1 Time : 1033.0 sec. user=vaughan [2010-06-24 08:08:59] 481*2^835445-1 is not prime. Res64: B698E7F4140C69F5 Time : 1036.0 sec. user=vaughan [2010-06-24 08:12:04] 417*2^835446-1 is not prime. Res64: 6EE12BD677423FCE Time : 983.0 sec. user=Flatlander [2010-06-24 08:12:07] 565*2^835431-1 is not prime. Res64: 8290424990BC1699 Time : 8047.0 sec. user=Flatlander [2010-06-24 08:12:08] 447*2^835432-1 is not prime. Res64: 2A69979D6FF95985 Time : 8047.0 sec. user=Flatlander [2010-06-24 08:12:08] 455*2^835432-1 is not prime. Res64: 1D1C4F760882944E Time : 8046.0 sec. user=Flatlander [2010-06-24 08:12:09] 511*2^835433-1 is not prime. Res64: 46595109751F27DD Time : 8046.0 sec. user=Flatlander [2010-06-24 08:12:10] 517*2^835433-1 is not prime. Res64: 7CF1FBE5EEE87C37 Time : 8046.0 sec. user=vaughan [2010-06-24 08:13:13] 455*2^835446-1 is not prime. Res64: 473EFC43FD1215BA Time : 1005.0 sec. user=Flatlander [2010-06-24 08:19:18] 507*2^835441-1 is not prime. Res64: CB97B550E44D09CC Time : 4477.0 sec. user=Flatlander [2010-06-24 08:19:19] 525*2^835441-1 is not prime. Res64: F1A1BB18A83A9F0A Time : 4476.0 sec. user=Flatlander [2010-06-24 08:19:20] 541*2^835441-1 is not prime. Res64: B71C08A323E09A25 Time : 4475.0 sec. user=Flatlander [2010-06-24 08:19:20] 559*2^835441-1 is not prime. Res64: AC3F73946D0E6111 Time : 4474.0 sec. user=Flatlander [2010-06-24 08:19:21] 565*2^835441-1 is not prime. Res64: C1DB8A7285409723 Time : 4473.0 sec. user=vaughan [2010-06-24 08:21:37] 519*2^835448-1 is not prime. Res64: A3D4F86C6A97DE77 Time : 1049.0 sec. user=vaughan [2010-06-24 08:21:55] 539*2^835448-1 is not prime. Res64: 76C5499193A4471D Time : 987.0 sec. user=vaughan [2010-06-24 08:23:07] 501*2^835449-1 is not prime. Res64: 322B2AB026286101 Time : 1034.0 sec. user=Flatlander [2010-06-24 08:25:09] 465*2^835434-1 is not prime. Res64: EF1B64CABF388A02 Time : 7821.0 sec. user=Flatlander [2010-06-24 08:25:10] 507*2^835434-1 is not prime. Res64: ED40266F4E5C2981 Time : 7820.0 sec. user=Flatlander [2010-06-24 08:25:11] 525*2^835434-1 is not prime. Res64: 31E066290B8978FC Time : 7820.0 sec. user=Flatlander [2010-06-24 08:25:12] 573*2^835434-1 is not prime. Res64: 2C4E002616ECBE56 Time : 7821.0 sec. user=Flatlander [2010-06-24 08:25:12] 587*2^835434-1 is not prime. Res64: 7A51CEE6DD8CE82D Time : 7821.0 sec. user=vaughan [2010-06-24 08:26:17] 555*2^835449-1 is not prime. Res64: 3F3402C7E78E9258 Time : 1038.0 sec. user=vaughan [2010-06-24 08:28:04] 537*2^835445-1 is not prime. Res64: EBE1A4E049C0F304 Time : 1976.0 sec. user=vaughan [2010-06-24 08:28:26] 571*2^835449-1 is not prime. Res64: 38CAABFC1DDF66FC Time : 983.0 sec. user=vaughan [2010-06-24 08:29:57] 587*2^835450-1 is not prime. Res64: 87DF14321BE20480 Time : 1004.0 sec. user=vaughan [2010-06-24 08:32:57] 465*2^835446-1 is not prime. Res64: 96DB70DBCD93303D Time : 1981.0 sec. user=vaughan [2010-06-24 08:38:22] 411*2^835453-1 is not prime. Res64: D231E357FF74439A Time : 987.0 sec. user=vaughan [2010-06-24 08:39:08] 567*2^835452-1 is not prime. Res64: 3388F261C0708EA9 Time : 1051.0 sec. user=vaughan [2010-06-24 08:40:20] 477*2^835453-1 is not prime. Res64: E9D9A817E2EDD822 Time : 1033.0 sec. user=vaughan [2010-06-24 08:42:07] 411*2^835381-1 is not prime. Res64: 42D3D4F487538579 Time : 22661.0 sec. user=vaughan [2010-06-24 08:42:08] 439*2^835381-1 is not prime. Res64: 288BB931E6553F11 Time : 22662.0 sec. user=vaughan [2010-06-24 08:42:08] 465*2^835381-1 is not prime. Res64: F8FC3300E6D19B30 Time : 22661.0 sec. user=vaughan [2010-06-24 08:42:08] 489*2^835381-1 is not prime. Res64: E43C5210D949DCAF Time : 22660.0 sec. user=vaughan [2010-06-24 08:42:08] 549*2^835381-1 is not prime. Res64: 2C081D8B686E1102 Time : 22660.0 sec. user=vaughan [2010-06-24 08:42:09] 559*2^835381-1 is not prime. Res64: 884DA7D39C48B67B Time : 22660.0 sec. user=vaughan [2010-06-24 08:42:09] 577*2^835381-1 is not prime. Res64: B83B0486B4C34E79 Time : 22660.0 sec. user=vaughan [2010-06-24 08:42:09] 525*2^835382-1 is not prime. Res64: 89374579C7F2BF3C Time : 22659.0 sec. user=vaughan [2010-06-24 08:42:10] 581*2^835382-1 is not prime. Res64: 772BCD46003004A3 Time : 22660.0 sec. user=vaughan [2010-06-24 08:42:10] 459*2^835383-1 is not prime. Res64: 8531A2FE07D4B6B2 Time : 22659.0 sec. user=vaughan [2010-06-24 08:42:10] 489*2^835383-1 is not prime. Res64: 56170B73A0CFC49E Time : 22659.0 sec. user=vaughan [2010-06-24 08:42:10] 493*2^835383-1 is not prime. Res64: D898CB90B3D023D6 Time : 22658.0 sec. user=vaughan [2010-06-24 08:42:11] 553*2^835383-1 is not prime. Res64: 79DC33F7188C59BC Time : 22658.0 sec. user=vaughan [2010-06-24 08:42:11] 413*2^835384-1 is not prime. Res64: 0E7B0F8814D48540 Time : 22658.0 sec. user=vaughan [2010-06-24 08:42:11] 429*2^835384-1 is not prime. Res64: 37066C6E44CD0BFE Time : 22657.0 sec. user=vaughan [2010-06-24 08:42:12] 509*2^835384-1 is not prime. Res64: 8911FB0F4C024648 Time : 22658.0 sec. user=vaughan [2010-06-24 08:42:12] 409*2^835385-1 is not prime. Res64: D87A091E1A544555 Time : 22657.0 sec. user=vaughan [2010-06-24 08:42:12] 411*2^835385-1 is not prime. Res64: D77B5B267BB2A676 Time : 22657.0 sec. user=vaughan [2010-06-24 08:42:12] 481*2^835385-1 is not prime. Res64: D79D419E30A6FB5E Time : 22656.0 sec. user=vaughan [2010-06-24 08:42:13] 507*2^835385-1 is not prime. Res64: 1D00E5CE4C15DD6D Time : 22657.0 sec. user=vaughan [2010-06-24 08:42:13] 547*2^835385-1 is not prime. Res64: 35676E1452268E1C Time : 22656.0 sec. user=vaughan [2010-06-24 08:42:13] 425*2^835386-1 is not prime. Res64: F55F9D71D99B271C Time : 22656.0 sec. user=vaughan [2010-06-24 08:42:14] 483*2^835386-1 is not prime. Res64: EEE2AB940CC1320D Time : 22656.0 sec. user=vaughan [2010-06-24 08:42:14] 593*2^835386-1 is not prime. Res64: 81B7E0720C59322D Time : 22655.0 sec. user=vaughan [2010-06-24 08:42:14] 493*2^835387-1 is not prime. Res64: 01A2CE1BDEFC7790 Time : 22655.0 sec. user=vaughan [2010-06-24 08:43:33] 583*2^835455-1 is not prime. Res64: 66EC4F0F49274270 Time : 1036.0 sec. user=vaughan [2010-06-24 08:44:47] 455*2^835456-1 is not prime. Res64: BE1364D9D6910F82 Time : 981.0 sec. user=vaughan [2010-06-24 08:46:41] 483*2^835456-1 is not prime. Res64: DA466EDBA9EB5EF0 Time : 1005.0 sec. user=vaughan [2010-06-24 08:51:52] 553*2^835387-1 is not prime. Res64: 07B3F8982EE229B1 Time : 22666.0 sec. user=vaughan [2010-06-24 08:51:52] 437*2^835388-1 is not prime. Res64: FC465F2D5B381AFF Time : 22665.0 sec. user=vaughan [2010-06-24 08:51:52] 459*2^835388-1 is not prime. Res64: 05B145EB9038FFE9 Time : 22664.0 sec. user=vaughan [2010-06-24 08:51:52] 489*2^835388-1 is not prime. Res64: 5DC5046FB2040087 Time : 22664.0 sec. user=vaughan [2010-06-24 08:51:53] 507*2^835388-1 is not prime. Res64: 3DED718E8CB79B2A Time : 22664.0 sec. user=vaughan [2010-06-24 08:51:53] 563*2^835388-1 is not prime. Res64: D51B898DCB9F781E Time : 22664.0 sec. user=vaughan [2010-06-24 08:51:53] 585*2^835388-1 is not prime. Res64: F31632D5D48CF562 Time : 22663.0 sec. user=vaughan [2010-06-24 08:51:54] 427*2^835389-1 is not prime. Res64: 660AE2DD8C26A469 Time : 22664.0 sec. user=vaughan [2010-06-24 08:51:54] 441*2^835389-1 is not prime. Res64: AEBCBBE5B528B9A2 Time : 22663.0 sec. user=vaughan [2010-06-24 08:51:54] 499*2^835389-1 is not prime. Res64: E1A2F80910312259 Time : 22662.0 sec. user=vaughan [2010-06-24 08:51:54] 537*2^835389-1 is not prime. Res64: A5279EE7C0A8A380 Time : 22662.0 sec. user=vaughan [2010-06-24 08:51:55] 559*2^835389-1 is not prime. Res64: 2E087BF423A5A03D Time : 22662.0 sec. user=vaughan [2010-06-24 08:51:55] 483*2^835390-1 is not prime. Res64: 00DEB825CC0B4BEA Time : 22662.0 sec. user=vaughan [2010-06-24 08:51:55] 409*2^835391-1 is not prime. Res64: EFD350BE045B7E77 Time : 22661.0 sec. user=vaughan [2010-06-24 08:51:56] 585*2^835391-1 is not prime. Res64: 1C6FA95AC30C650E Time : 22662.0 sec. user=vaughan [2010-06-24 08:51:56] 419*2^835392-1 is not prime. Res64: A14AAC3D832D5AF7 Time : 22661.0 sec. user=vaughan [2010-06-24 08:51:56] 437*2^835392-1 is not prime. Res64: 18DFA56AD4101E5C Time : 22661.0 sec. user=vaughan [2010-06-24 08:51:56] 503*2^835392-1 is not prime. Res64: 17085F340CE976B0 Time : 22660.0 sec. user=vaughan [2010-06-24 08:51:57] 527*2^835392-1 is not prime. Res64: 76AF91D5EEA18758 Time : 22660.0 sec. user=vaughan [2010-06-24 08:51:57] 587*2^835392-1 is not prime. Res64: BD24DDC0764A7550 Time : 22660.0 sec. user=vaughan [2010-06-24 08:51:57] 593*2^835392-1 is not prime. Res64: FA3D31C1763A9753 Time : 22659.0 sec. user=vaughan [2010-06-24 08:51:57] 421*2^835393-1 is not prime. Res64: 3C6457E66F3B3304 Time : 22659.0 sec. user=vaughan [2010-06-24 08:51:58] 489*2^835393-1 is not prime. Res64: 2700700CB29A6C65 Time : 22659.0 sec. user=vaughan [2010-06-24 08:51:58] 511*2^835393-1 is not prime. Res64: DDBC92648F5F98B1 Time : 22659.0 sec. user=vaughan [2010-06-24 08:51:58] 517*2^835393-1 is not prime. Res64: 0EBFE286E55CD85E Time : 22658.0 sec. user=vaughan [2010-06-24 08:54:49] 509*2^835456-1 is not prime. Res64: 6A3495A10E01A2CB Time : 987.0 sec. user=vaughan [2010-06-24 08:56:34] 537*2^835456-1 is not prime. Res64: D09F6B0053AE7465 Time : 1047.0 sec. user=vaughan [2010-06-24 08:57:34] 405*2^835457-1 is not prime. Res64: 7085D0551D667B50 Time : 1034.0 sec. user=vaughan [2010-06-24 09:00:55] 419*2^835464-1 is not prime. Res64: 94153E9F21BD2545 Time : 1042.0 sec. user=vaughan [2010-06-24 09:00:57] 453*2^835456-1 is not prime. Res64: A4C742EC3AED5D15 Time : 1973.0 sec. user=vaughan [2010-06-24 09:01:10] 587*2^835464-1 is not prime. Res64: CDBDF98A036B137E Time : 983.0 sec. user=vaughan [2010-06-24 09:01:28] 555*2^835393-1 is not prime. Res64: DBF426FBDCE17160 Time : 22653.0 sec. user=vaughan [2010-06-24 09:01:28] 591*2^835393-1 is not prime. Res64: A2E2A4222467988F Time : 22652.0 sec. user=vaughan [2010-06-24 09:01:29] 533*2^835394-1 is not prime. Res64: 6CD4897AA58AE135 Time : 22653.0 sec. user=vaughan [2010-06-24 09:01:29] 405*2^835395-1 is not prime. Res64: DF6DF4D6F1E797D3 Time : 22652.0 sec. user=vaughan [2010-06-24 09:01:29] 465*2^835395-1 is not prime. Res64: ECE70672DD01053A Time : 22652.0 sec. user=vaughan [2010-06-24 09:01:30] 481*2^835395-1 is not prime. Res64: 4110E52B7AE235CB Time : 22652.0 sec. user=vaughan [2010-06-24 09:01:30] 513*2^835395-1 is not prime. Res64: 2287842B2F46A11A Time : 22651.0 sec. user=vaughan [2010-06-24 09:01:30] 543*2^835395-1 is not prime. Res64: DC6A947DF85180A1 Time : 22651.0 sec. user=vaughan [2010-06-24 09:01:30] 405*2^835396-1 is not prime. Res64: 6D37AF217DDA91D1 Time : 22650.0 sec. user=vaughan [2010-06-24 09:01:31] 519*2^835396-1 is not prime. Res64: 27E7A3E04CACD5AF Time : 22651.0 sec. user=vaughan [2010-06-24 09:01:31] 517*2^835397-1 is not prime. Res64: 3162DD63BBFB1E4C Time : 22650.0 sec. user=vaughan [2010-06-24 09:01:31] 401*2^835398-1 is not prime. Res64: 8CC78D695EDF8D8C Time : 22650.0 sec. user=vaughan [2010-06-24 09:01:32] 447*2^835398-1 is not prime. Res64: 89050FCBAE009A37 Time : 22650.0 sec. user=vaughan [2010-06-24 09:01:32] 573*2^835398-1 is not prime. Res64: 1E56429329066187 Time : 22650.0 sec. user=vaughan [2010-06-24 09:01:32] 581*2^835398-1 is not prime. Res64: 41FCA7125D6A892C Time : 22649.0 sec. user=vaughan [2010-06-24 09:01:32] 493*2^835399-1 is not prime. Res64: B0290EE73C873359 Time : 22648.0 sec. user=vaughan [2010-06-24 09:01:33] 559*2^835399-1 is not prime. Res64: 5B6425791B3DDAC9 Time : 22649.0 sec. user=vaughan [2010-06-24 09:01:33] 579*2^835399-1 is not prime. Res64: A863B596643495F5 Time : 22648.0 sec. user=vaughan [2010-06-24 09:01:33] 437*2^835400-1 is not prime. Res64: A576B34F99169ECA Time : 22648.0 sec. user=vaughan [2010-06-24 09:01:33] 525*2^835400-1 is not prime. Res64: 7F13805B10B971DB Time : 22647.0 sec. user=vaughan [2010-06-24 09:01:34] 585*2^835400-1 is not prime. Res64: 8190F63978398E4E Time : 22648.0 sec. user=vaughan [2010-06-24 09:01:34] 599*2^835400-1 is not prime. Res64: C190EBEE1835492F Time : 22647.0 sec. user=vaughan [2010-06-24 09:01:34] 405*2^835401-1 is not prime. Res64: 41A797699BA18038 Time : 22646.0 sec. user=vaughan [2010-06-24 09:01:35] 471*2^835401-1 is not prime. Res64: DC1969CB56E1CC43 Time : 22647.0 sec. user=vaughan [2010-06-24 09:01:35] 529*2^835401-1 is not prime. Res64: 0E5D2EC7A6A81BE4 Time : 22646.0 sec. user=vaughan [2010-06-24 09:03:26] 405*2^835465-1 is not prime. Res64: 09B9BF081BBB5322 Time : 1005.0 sec. user=vaughan [2010-06-24 09:05:54] 485*2^835456-1 is not prime. Res64: 3D82339DAE8B8A27 Time : 1978.0 sec. user=vaughan [2010-06-24 09:11:16] 459*2^835473-1 is not prime. Res64: 8991BCE588C0AD8A Time : 987.0 sec. user=vaughan [2010-06-24 09:13:59] 471*2^835473-1 is not prime. Res64: 387B869AB13DC34F Time : 1045.0 sec. user=vaughan [2010-06-24 09:14:48] 501*2^835473-1 is not prime. Res64: E3CE5944414C3BD9 Time : 1035.0 sec. user=vaughan [2010-06-24 09:17:31] 453*2^835474-1 is not prime. Res64: 393F420968B1B28B Time : 982.0 sec. user=vaughan [2010-06-24 09:18:16] 549*2^835473-1 is not prime. Res64: 55D11811B875080D Time : 1042.0 sec. user=vaughan [2010-06-24 09:20:08] 563*2^835480-1 is not prime. Res64: 5680DE97EA9F69B6 Time : 1003.0 sec. user=vaughan [2010-06-24 09:27:45] 475*2^835481-1 is not prime. Res64: 6C030CAE7D0FAAAB Time : 989.0 sec. user=vaughan [2010-06-24 09:31:23] 495*2^835481-1 is not prime. Res64: 8787CFC1AA24F441 Time : 1044.0 sec. user=vaughan [2010-06-24 09:32:02] 525*2^835481-1 is not prime. Res64: 8795C632D4A8A4DD Time : 1035.0 sec. user=vaughan [2010-06-24 09:33:53] 413*2^835474-1 is not prime. Res64: F1D822944C897350 Time : 1977.0 sec. user=vaughan [2010-06-24 09:33:53] 537*2^835481-1 is not prime. Res64: 1A33FE38B5DD985F Time : 982.0 sec. user=vaughan [2010-06-24 09:35:37] 483*2^835482-1 is not prime. Res64: E4B90D6AC32B502A Time : 1041.0 sec. user=vaughan [2010-06-24 09:36:53] 495*2^835482-1 is not prime. Res64: FA74AF3C05F32790 Time : 1005.0 sec. user=vaughan [2010-06-24 09:38:55] 465*2^835481-1 is not prime. Res64: FCD54C85220748BF Time : 1981.0 sec. user=Flatlander [2010-06-24 09:41:13] 503*2^835446-1 is not prime. Res64: F4657151AA35D783 Time : 5952.0 sec. user=Flatlander [2010-06-24 09:41:13] 465*2^835447-1 is not prime. Res64: DA5DF49CF9C430A4 Time : 5952.0 sec. user=Flatlander [2010-06-24 09:41:14] 541*2^835447-1 is not prime. Res64: 337D332B19DEB587 Time : 5953.0 sec. user=Flatlander [2010-06-24 09:41:14] 573*2^835447-1 is not prime. Res64: C1D151A73A912F09 Time : 5952.0 sec. user=Flatlander [2010-06-24 09:41:14] 507*2^835448-1 is not prime. Res64: C1EEAECACFF4BF75 Time : 5951.0 sec. user=vaughan [2010-06-24 09:44:13] 567*2^835482-1 is not prime. Res64: 52567D2F149FF222 Time : 989.0 sec. user=vaughan [2010-06-24 09:48:47] 441*2^835483-1 is not prime. Res64: 9CAF2F6DF7BC1541 Time : 1044.0 sec. user=vaughan [2010-06-24 09:49:17] 511*2^835483-1 is not prime. Res64: BE6440202E5BD3F2 Time : 1035.0 sec. user=vaughan [2010-06-24 09:50:13] 549*2^835483-1 is not prime. Res64: 1F2F012DC2FABAEB Time : 980.0 sec. user=vaughan [2010-06-24 09:52:57] 435*2^835484-1 is not prime. Res64: 6F19C87867FF8F8F Time : 1041.0 sec. user=vaughan [2010-06-24 09:53:36] 447*2^835484-1 is not prime. Res64: 348A7BBF51302969 Time : 1004.0 sec. user=vaughan [2010-06-24 09:55:58] 489*2^835273-1 is not prime. Res64: 459FF75AD22E7329 Time : 78601.0 sec. user=vaughan [2010-06-24 09:56:02] 525*2^835273-1 is not prime. Res64: B7EEF7D6C7BB1401 Time : 78603.0 sec. user=vaughan [2010-06-24 09:56:14] 489*2^835272-1 is not prime. Res64: 6395B3FEA9C6CCD3 Time : 79041.0 sec. user=vaughan [2010-06-24 09:58:53] 537*2^835272-1 is not prime. Res64: 7B33A30B9770C215 Time : 79163.0 sec. user=vaughan [2010-06-24 10:00:07] 411*2^835273-1 is not prime. Res64: 742F8B7373B21223 Time : 78922.0 sec. user=vaughan [2010-06-24 10:00:40] 525*2^835486-1 is not prime. Res64: 1874E681DE1FA7E5 Time : 987.0 sec. user=vaughan [2010-06-24 10:03:25] 561*2^835274-1 is not prime. Res64: CB86C876F1C27A4B Time : 78828.0 sec. user=vaughan [2010-06-24 10:04:02] 587*2^835276-1 is not prime. Res64: 23C3A838780C4ABF Time : 78569.0 sec. user=vaughan [2010-06-24 10:05:33] 529*2^835275-1 is not prime. Res64: 16BD13A84DE5EB30 Time : 78828.0 sec. user=vaughan [2010-06-24 10:06:16] 597*2^835486-1 is not prime. Res64: 289FADB09C43E788 Time : 1049.0 sec. user=vaughan [2010-06-24 10:06:31] 571*2^835487-1 is not prime. Res64: F1D6E6F45F214155 Time : 1034.0 sec. user=vaughan [2010-06-24 10:06:35] 479*2^835488-1 is not prime. Res64: 780888E33BCD4EA2 Time : 982.0 sec. user=vaughan [2010-06-24 10:06:47] 519*2^835483-1 is not prime. Res64: F6AF2E7DA48425D7 Time : 1974.0 sec. user=vaughan [2010-06-24 10:07:08] 597*2^835276-1 is not prime. Res64: F47195A12ED0F5A1 Time : 78620.0 sec. user=vaughan [2010-06-24 10:08:08] 485*2^835276-1 is not prime. Res64: EC2C03F2A3C30A98 Time : 78859.0 sec. user=vaughan [2010-06-24 10:10:16] 503*2^835488-1 is not prime. Res64: 20112DE7D95CE617 Time : 1039.0 sec. user=vaughan [2010-06-24 10:10:20] 563*2^835488-1 is not prime. Res64: 685466D011778B52 Time : 1004.0 sec. user=vaughan [2010-06-24 10:10:25] 455*2^835276-1 is not prime. Res64: BDC48F5A3F7E998D Time : 78931.0 sec. user=vaughan [2010-06-24 10:11:52] 479*2^835484-1 is not prime. Res64: 2055B9C0088BC8EF Time : 1978.0 sec. user=vaughan [2010-06-24 10:12:08] 507*2^835489-1 is not prime. Res64: 019F87C9F150E9BB Time : 721.0 sec. user=vaughan [2010-06-24 10:13:17] 457*2^835489-1 is not prime. Res64: 05A2B67D76512E43 Time : 1023.0 sec. user=vaughan [2010-06-24 10:13:25] 421*2^835489-1 is not prime. Res64: 870FBCB1D346DCEA Time : 1044.0 sec. user=vaughan [2010-06-24 10:14:23] 569*2^835488-1 is not prime. Res64: D51AA150740F5FB0 Time : 1105.0 sec. user=vaughan [2010-06-24 10:15:50] 471*2^835489-1 is not prime. Res64: E4E96B454EF623FD Time : 1017.0 sec. user=vaughan [2010-06-24 10:17:08] 411*2^835490-1 is not prime. Res64: 9060F983F1D2CC5D Time : 988.0 sec. user=Flatlander [2010-06-24 10:17:30] 443*2^835450-1 is not prime. Res64: 4FD270767A408569 Time : 7518.0 sec. user=Flatlander [2010-06-24 10:17:31] 513*2^835450-1 is not prime. Res64: C30706CD9346B18C Time : 7518.0 sec. user=Flatlander [2010-06-24 10:17:32] 525*2^835450-1 is not prime. Res64: 1E5D2F1F222EBBE1 Time : 7517.0 sec. user=Flatlander [2010-06-24 10:17:33] 533*2^835450-1 is not prime. Res64: 5D7EB891B9FC47FE Time : 7517.0 sec. user=Flatlander [2010-06-24 10:17:34] 575*2^835450-1 is not prime. Res64: 911EE884E26A4F5A Time : 7516.0 sec. user=vaughan [2010-06-24 10:20:04] 483*2^835490-1 is not prime. Res64: BF46CE7AF08DD9FA Time : 999.0 sec. user=vaughan [2010-06-24 10:20:09] 569*2^835492-1 is not prime. Res64: 08A02297877BBBFE Time : 721.0 sec. user=vaughan [2010-06-24 10:22:02] 469*2^835491-1 is not prime. Res64: 43D6A2895F863CAC Time : 990.0 sec. user=vaughan [2010-06-24 10:22:25] 481*2^835493-1 is not prime. Res64: C0762240D7122DFC Time : 720.0 sec. user=vaughan [2010-06-24 10:22:58] 579*2^835491-1 is not prime. Res64: 7FB45448DD02C3CE Time : 983.0 sec. user=vaughan [2010-06-24 10:23:08] 501*2^835490-1 is not prime. Res64: 4B4DCA6158C3031D Time : 1146.0 sec. user=vaughan [2010-06-24 10:23:40] 493*2^835491-1 is not prime. Res64: A43AC2670FF3CC3A Time : 1045.0 sec. user=vaughan [2010-06-24 10:23:45] 513*2^835491-1 is not prime. Res64: 097FA29DF873DD7D Time : 1035.0 sec. user=vaughan [2010-06-24 10:24:02] 489*2^835493-1 is not prime. Res64: D31D08A3499F3B78 Time : 714.0 sec. user=Flatlander [2010-06-24 10:24:09] 463*2^835451-1 is not prime. Res64: 12CFC7293F366698 Time : 7486.0 sec. user=Flatlander [2010-06-24 10:24:10] 493*2^835451-1 is not prime. Res64: 18A7500462FABA44 Time : 7486.0 sec. user=Flatlander [2010-06-24 10:24:11] 549*2^835451-1 is not prime. Res64: 39EC370B747AFEF1 Time : 7485.0 sec. user=Flatlander [2010-06-24 10:24:11] 455*2^835452-1 is not prime. Res64: E7F0C0C8C2069F0C Time : 7484.0 sec. user=Flatlander [2010-06-24 10:24:12] 485*2^835452-1 is not prime. Res64: CEABDA3C4E2CB33B Time : 7484.0 sec. user=vaughan [2010-06-24 10:24:59] 549*2^835492-1 is not prime. Res64: 8AD5A1636B6B64B7 Time : 1071.0 sec. user=vaughan [2010-06-24 10:27:05] 417*2^835493-1 is not prime. Res64: CE194307E7D8D6E7 Time : 1005.0 sec. user=vaughan [2010-06-24 10:27:37] 405*2^835493-1 is not prime. Res64: 398E02A7A231CB2A Time : 1042.0 sec. user=Flatlander [2010-06-24 10:29:42] 547*2^835453-1 is not prime. Res64: F6ED006626319D02 Time : 7468.0 sec. user=Flatlander [2010-06-24 10:29:43] 483*2^835454-1 is not prime. Res64: 373696A5A34F60C6 Time : 7468.0 sec. user=Flatlander [2010-06-24 10:29:44] 415*2^835455-1 is not prime. Res64: A2417690E50146B3 Time : 7467.0 sec. user=Flatlander [2010-06-24 10:29:44] 493*2^835455-1 is not prime. Res64: 27F36119DC877390 Time : 7465.0 sec. user=Flatlander [2010-06-24 10:29:45] 511*2^835455-1 is not prime. Res64: 385F1954C5C369B5 Time : 7465.0 sec. user=vaughan [2010-06-24 10:30:14] 591*2^835493-1 is not prime. Res64: 3ADF58365BEC9DC3 Time : 1017.0 sec. user=vaughan [2010-06-24 10:30:28] 411*2^835494-1 is not prime. Res64: 027AEB5C3A27A6CA Time : 1024.0 sec. user=vaughan [2010-06-24 10:32:04] 495*2^835498-1 is not prime. Res64: 3132EEDF8A82DFE8 Time : 715.0 sec. user=vaughan [2010-06-24 10:32:44] 521*2^835494-1 is not prime. Res64: BC1EA3E2F194449C Time : 1015.0 sec. user=vaughan [2010-06-24 10:33:15] 473*2^835494-1 is not prime. Res64: F6D65D16F90B00E9 Time : 1132.0 sec. user=vaughan [2010-06-24 10:33:36] 585*2^835494-1 is not prime. Res64: 697E8136558FEE2A Time : 989.0 sec. user=vaughan [2010-06-24 10:34:20] 435*2^835499-1 is not prime. Res64: F409AAFD979E0A63 Time : 716.0 sec. user=vaughan [2010-06-24 10:35:55] 525*2^835500-1 is not prime. Res64: 024EA7C97215ED07 Time : 713.0 sec. user=vaughan [2010-06-24 10:36:44] 529*2^835497-1 is not prime. Res64: 7780299F96CBE5B4 Time : 1000.0 sec. user=vaughan [2010-06-24 10:38:32] 581*2^835498-1 is not prime. Res64: 0E9647E4C68AB953 Time : 990.0 sec. user=vaughan [2010-06-24 10:39:19] 571*2^835499-1 is not prime. Res64: 1A5D9891935008AD Time : 982.0 sec. user=vaughan [2010-06-24 10:39:43] 455*2^835492-1 is not prime. Res64: FEE3CC9CFA0DA020 Time : 1977.0 sec. user=vaughan [2010-06-24 10:40:59] 453*2^835500-1 is not prime. Res64: 0BD760DA305EB47C Time : 1035.0 sec. user=vaughan [2010-06-24 10:41:06] 447*2^835500-1 is not prime. Res64: 068E9C195D2140FD Time : 1046.0 sec. user=vaughan [2010-06-24 10:42:00] 579*2^835499-1 is not prime. Res64: 5076A0B6E9BD07DC Time : 1132.0 sec. user=vaughan [2010-06-24 10:42:41] 555*2^835501-1 is not prime. Res64: 8BA1FC9C96B127BA Time : 1062.0 sec. user=vaughan [2010-06-24 10:43:49] 407*2^835502-1 is not prime. Res64: 2CD801458EB5E9A9 Time : 1004.0 sec. user=vaughan [2010-06-24 10:44:00] 549*2^835504-1 is not prime. Res64: 9B3DA8296066BEBD Time : 716.0 sec. user=vaughan [2010-06-24 10:44:54] 487*2^835493-1 is not prime. Res64: BA4BC42B26430A5D Time : 1982.0 sec. user=vaughan [2010-06-24 10:44:58] 423*2^835502-1 is not prime. Res64: 6A61833510D88B15 Time : 1041.0 sec. user=vaughan [2010-06-24 10:46:15] 595*2^835505-1 is not prime. Res64: 8C371670E34F3C49 Time : 715.0 sec. user=vaughan [2010-06-24 10:47:08] 509*2^835504-1 is not prime. Res64: 6DF99831E13919AF Time : 1014.0 sec. user=vaughan [2010-06-24 10:47:31] 539*2^835504-1 is not prime. Res64: 0BB72259DC72593B Time : 1023.0 sec. user=vaughan [2010-06-24 10:47:46] 497*2^835506-1 is not prime. Res64: 12B5881F65F0DED0 Time : 712.0 sec. user=vaughan [2010-06-24 10:49:37] 587*2^835504-1 is not prime. Res64: 324E9DD1C2529C5A Time : 1014.0 sec. user=vaughan [2010-06-24 10:50:04] 589*2^835505-1 is not prime. Res64: 8E93D5B5C4987EA3 Time : 988.0 sec. user=vaughan [2010-06-24 10:52:06] 465*2^835505-1 is not prime. Res64: CE1819934C0A8138 Time : 1132.0 sec. user=vaughan [2010-06-24 10:53:22] 507*2^835506-1 is not prime. Res64: 09ECCD7519EEF97F Time : 999.0 sec. user=vaughan [2010-06-24 10:55:01] 531*2^835506-1 is not prime. Res64: 6AC4EEBC334300CF Time : 990.0 sec. user=vaughan [2010-06-24 10:55:41] 537*2^835506-1 is not prime. Res64: 2456646DA9D42772 Time : 982.0 sec. user=vaughan [2010-06-24 10:55:55] 573*2^835508-1 is not prime. Res64: DAFD6FD7F3CB78E4 Time : 716.0 sec. user=vaughan [2010-06-24 10:58:10] 439*2^835509-1 is not prime. Res64: 522DFECFF7A900BA Time : 715.0 sec. user=vaughan [2010-06-24 10:58:12] 505*2^835507-1 is not prime. Res64: F5B98B3BC2040C9E Time : 1034.0 sec. user=vaughan [2010-06-24 10:58:30] 531*2^835507-1 is not prime. Res64: 22574935499B2496 Time : 1045.0 sec. user=vaughan [2010-06-24 10:59:37] 465*2^835511-1 is not prime. Res64: E05D195964D36F3C Time : 711.0 sec. user=vaughan [2010-06-24 11:00:21] 435*2^835508-1 is not prime. Res64: 448BC9BFE110F312 Time : 1061.0 sec. user=vaughan [2010-06-24 11:00:34] 503*2^835508-1 is not prime. Res64: 111DF9C31CCB00D6 Time : 1005.0 sec. user=vaughan [2010-06-24 11:00:51] 583*2^835507-1 is not prime. Res64: 5D9AF4F9DCEACE32 Time : 1131.0 sec. user=vaughan [2010-06-24 11:02:20] 417*2^835509-1 is not prime. Res64: 91B554197B4B7B50 Time : 1042.0 sec. user=vaughan [2010-06-24 11:04:03] 481*2^835509-1 is not prime. Res64: DE8D37A699530B1B Time : 1015.0 sec. user=vaughan [2010-06-24 11:04:32] 521*2^835510-1 is not prime. Res64: 836B4FA57482634D Time : 1022.0 sec. user=vaughan [2010-06-24 11:06:32] 503*2^835512-1 is not prime. Res64: C7EB7B2A3BCFC3D6 Time : 988.0 sec. user=vaughan [2010-06-24 11:06:35] 565*2^835511-1 is not prime. Res64: F4051CD892454B21 Time : 1018.0 sec. user=vaughan [2010-06-24 11:07:50] 477*2^835513-1 is not prime. Res64: 5827B8BFF1AF7450 Time : 715.0 sec. user=vaughan [2010-06-24 11:09:59] 567*2^835512-1 is not prime. Res64: D8B5C6A5FC51CC46 Time : 997.0 sec. user=vaughan [2010-06-24 11:10:06] 495*2^835513-1 is not prime. Res64: 48D56882246AB9B2 Time : 716.0 sec. user=vaughan [2010-06-24 11:10:57] 525*2^835512-1 is not prime. Res64: 7988E691BBA2DAD4 Time : 1131.0 sec. user=vaughan [2010-06-24 11:11:29] 411*2^835514-1 is not prime. Res64: 29F99DF943385919 Time : 712.0 sec. user=vaughan [2010-06-24 11:11:31] 411*2^835513-1 is not prime. Res64: E31A612AE005FA81 Time : 990.0 sec. user=vaughan [2010-06-24 11:12:02] 427*2^835513-1 is not prime. Res64: 06B96210861833FC Time : 981.0 sec. user=vaughan [2010-06-24 11:14:09] 483*2^835507-1 is not prime. Res64: 2B52B2D4F8F37194 Time : 2066.0 sec. user=vaughan [2010-06-24 11:15:26] 525*2^835513-1 is not prime. Res64: 5EC24C53DDABD6BB Time : 1034.0 sec. user=vaughan [2010-06-24 11:15:54] 541*2^835513-1 is not prime. Res64: 2E5312BCDC7A00F1 Time : 1044.0 sec. user=vaughan [2010-06-24 11:17:18] 447*2^835514-1 is not prime. Res64: 2176F289E2D01F1C Time : 1004.0 sec. user=vaughan [2010-06-24 11:18:01] 423*2^835514-1 is not prime. Res64: 2827BF1EB00EF9F0 Time : 1061.0 sec. user=vaughan [2010-06-24 11:19:18] 599*2^835508-1 is not prime. Res64: 58FFF469DFDA1577 Time : 2064.0 sec. user=vaughan [2010-06-24 11:19:42] 507*2^835514-1 is not prime. Res64: 14429A395E991D2C Time : 1042.0 sec. user=vaughan [2010-06-24 11:19:42] 501*2^835514-1 is not prime. Res64: DD28BA9FCC1C71B4 Time : 1131.0 sec. user=vaughan [2010-06-24 11:19:46] 445*2^835515-1 is not prime. Res64: A6E8F1D61C040202 Time : 716.0 sec. user=vaughan [2010-06-24 11:20:59] 531*2^835514-1 is not prime. Res64: D0A42FBD277CEA0A Time : 1016.0 sec. user=vaughan [2010-06-24 11:21:35] 545*2^835514-1 is not prime. Res64: F8F55AF222679611 Time : 1023.0 sec. user=vaughan [2010-06-24 11:22:01] 535*2^835515-1 is not prime. Res64: 4EBFDD89BDC61A61 Time : 716.0 sec. user=vaughan [2010-06-24 11:23:00] 405*2^835515-1 is not prime. Res64: 800AA76B36622A05 Time : 988.0 sec. user=vaughan [2010-06-24 11:23:21] 595*2^835515-1 is not prime. Res64: 45B1190E03F84562 Time : 712.0 sec. user=vaughan [2010-06-24 11:23:34] 441*2^835515-1 is not prime. Res64: 055D928CFB5E5B06 Time : 1019.0 sec. user=Flatlander [2010-06-24 11:24:16] 507*2^835484-1 is not prime. Res64: 384F28E7E98DCD5C Time : 6181.0 sec. user=Flatlander [2010-06-24 11:24:16] 563*2^835484-1 is not prime. Res64: 2C08D22EADEFEB19 Time : 6180.0 sec. user=Flatlander [2010-06-24 11:24:17] 459*2^835485-1 is not prime. Res64: F54CE9DEABC98812 Time : 6180.0 sec. user=Flatlander [2010-06-24 11:24:17] 507*2^835485-1 is not prime. Res64: 389961645F3A5F77 Time : 6180.0 sec. user=Flatlander [2010-06-24 11:24:18] 577*2^835485-1 is not prime. Res64: 0DB4FF7351CAB3D5 Time : 6180.0 sec. user=vaughan [2010-06-24 11:26:38] 465*2^835515-1 is not prime. Res64: F4824B59B20C3BAD Time : 999.0 sec. user=vaughan [2010-06-24 11:28:02] 429*2^835516-1 is not prime. Res64: 2E97ABBC769CD642 Time : 991.0 sec. user=vaughan [2010-06-24 11:28:25] 449*2^835516-1 is not prime. Res64: B62CD8D3D3AD09E2 Time : 983.0 sec. user=vaughan [2010-06-24 11:29:48] 553*2^835515-1 is not prime. Res64: BE3F9DDD92B55BB2 Time : 1131.0 sec. user=vaughan [2010-06-24 11:31:41] 507*2^835517-1 is not prime. Res64: A4559C8267DE13EA Time : 716.0 sec. user=vaughan [2010-06-24 11:32:40] 527*2^835516-1 is not prime. Res64: 18B544973CA8F547 Time : 1034.0 sec. user=vaughan [2010-06-24 11:33:17] 539*2^835516-1 is not prime. Res64: FAC6397A7344744C Time : 1044.0 sec. user=vaughan [2010-06-24 11:33:56] 551*2^835518-1 is not prime. Res64: 7D730AA343FE1414 Time : 715.0 sec. user=vaughan [2010-06-24 11:34:03] 569*2^835516-1 is not prime. Res64: B99A218A4014FA17 Time : 1005.0 sec. user=vaughan [2010-06-24 11:35:14] 465*2^835519-1 is not prime. Res64: DAD2279DAECEC10B Time : 713.0 sec. user=vaughan [2010-06-24 11:35:41] 597*2^835516-1 is not prime. Res64: 4711A2351676820E Time : 1061.0 sec. user=vaughan [2010-06-24 11:37:03] 417*2^835517-1 is not prime. Res64: 1AE1C2EE0DFD228D Time : 1042.0 sec. user=vaughan [2010-06-24 11:37:54] 405*2^835518-1 is not prime. Res64: 1FABA470A49777FD Time : 1015.0 sec. user=vaughan [2010-06-24 11:38:34] 465*2^835517-1 is not prime. Res64: 04D474C989531B40 Time : 1132.0 sec. user=vaughan [2010-06-24 11:38:38] 515*2^835518-1 is not prime. Res64: 42872045E290A4ED Time : 1024.0 sec. user=vaughan [2010-06-24 11:39:28] 557*2^835518-1 is not prime. Res64: 565942C40D9DD012 Time : 988.0 sec. user=vaughan [2010-06-24 11:40:31] 549*2^835519-1 is not prime. Res64: 2DAC875C516B4AD4 Time : 1017.0 sec. user=vaughan [2010-06-24 11:43:16] 593*2^835520-1 is not prime. Res64: 23931B0A0E0A9004 Time : 999.0 sec. user=vaughan [2010-06-24 11:43:36] 487*2^835521-1 is not prime. Res64: BB0990001525AC40 Time : 715.0 sec. user=vaughan [2010-06-24 11:44:32] 599*2^835520-1 is not prime. Res64: 918DD459039FB7F3 Time : 991.0 sec. user=vaughan [2010-06-24 11:44:47] 429*2^835521-1 is not prime. Res64: CD9C0405B3E4F308 Time : 983.0 sec. user=vaughan [2010-06-24 11:45:52] 591*2^835521-1 is not prime. Res64: ED413AC3F2C545D1 Time : 716.0 sec. user=vaughan [2010-06-24 11:47:02] 525*2^835516-1 is not prime. Res64: 4A9CE7B7A0BC73A6 Time : 1973.0 sec. user=vaughan [2010-06-24 11:47:06] 507*2^835522-1 is not prime. Res64: 211A39DAFBD873E3 Time : 713.0 sec. user=vaughan [2010-06-24 11:48:40] 459*2^835521-1 is not prime. Res64: 4FB1855B7F85AAA2 Time : 1132.0 sec. user=vaughan [2010-06-24 11:49:55] 571*2^835521-1 is not prime. Res64: C0871F6707762D84 Time : 1035.0 sec. user=vaughan [2010-06-24 11:50:43] 579*2^835521-1 is not prime. Res64: FD9D31B6603FD87B Time : 1046.0 sec. user=vaughan [2010-06-24 11:50:46] 497*2^835522-1 is not prime. Res64: 8265FD1E5E55B89C Time : 1004.0 sec. user=vaughan [2010-06-24 11:52:15] 405*2^835517-1 is not prime. Res64: B2883A4141D44E61 Time : 1977.0 sec. user=vaughan [2010-06-24 11:53:21] 521*2^835522-1 is not prime. Res64: 2D314ADCD8E14C4C Time : 1061.0 sec. user=vaughan [2010-06-24 11:54:24] 525*2^835522-1 is not prime. Res64: 5654D0029BD7F161 Time : 1041.0 sec. user=vaughan [2010-06-24 11:55:12] 533*2^835522-1 is not prime. Res64: D539C8C1BE9B3DA4 Time : 1038.0 sec. user=vaughan [2010-06-24 11:55:30] 413*2^835524-1 is not prime. Res64: C2E103A3C6AA1B3F Time : 714.0 sec. user=vaughan [2010-06-24 11:55:41] 489*2^835523-1 is not prime. Res64: 85FFFBE63BFE6380 Time : 1023.0 sec. user=vaughan [2010-06-24 11:55:56] 519*2^835523-1 is not prime. Res64: CC106159B39498BC Time : 988.0 sec. user=vaughan [2010-06-24 11:57:25] 523*2^835523-1 is not prime. Res64: CD1AB767E8B8385B Time : 1014.0 sec. user=vaughan [2010-06-24 11:57:26] 463*2^835523-1 is not prime. Res64: DA66C0BB0097D403 Time : 1132.0 sec. user=vaughan [2010-06-24 11:57:47] 483*2^835524-1 is not prime. Res64: 13FBB62130FE7AF7 Time : 716.0 sec. user=vaughan [2010-06-24 11:58:58] 579*2^835524-1 is not prime. Res64: AA62A431F60C8A4C Time : 712.0 sec. user=vaughan [2010-06-24 11:59:53] 585*2^835523-1 is not prime. Res64: 6C9A5893EB30C080 Time : 997.0 sec. user=Flatlander [2010-06-24 11:59:56] 415*2^835495-1 is not prime. Res64: 4DB3CC9111F34F18 Time : 6141.0 sec. user=Flatlander [2010-06-24 11:59:57] 453*2^835495-1 is not prime. Res64: 8FCCFEBC726B0995 Time : 6140.0 sec. user=Flatlander [2010-06-24 11:59:57] 509*2^835496-1 is not prime. Res64: 517B8DFFD708A931 Time : 6139.0 sec. user=Flatlander [2010-06-24 11:59:58] 405*2^835497-1 is not prime. Res64: 241E8894CC550833 Time : 6138.0 sec. user=Flatlander [2010-06-24 11:59:58] 517*2^835497-1 is not prime. Res64: E64B117412CAC555 Time : 6137.0 sec. user=vaughan [2010-06-24 12:01:00] 423*2^835524-1 is not prime. Res64: C94BB54DB2B23ADD Time : 988.0 sec. user=vaughan [2010-06-24 12:01:09] 447*2^835524-1 is not prime. Res64: 6036837D9D84076A Time : 982.0 sec. user=vaughan [2010-06-24 12:07:08] 429*2^835525-1 is not prime. Res64: 15652D0AB5164D5C Time : 1034.0 sec. user=vaughan [2010-06-24 12:07:26] 501*2^835527-1 is not prime. Res64: 02F3C85B612E77CC Time : 716.0 sec. user=vaughan [2010-06-24 12:07:30] 541*2^835525-1 is not prime. Res64: 316833F5980949AC Time : 1004.0 sec. user=vaughan [2010-06-24 12:07:32] 427*2^835525-1 is not prime. Res64: FDA9CB72B9C74A72 Time : 1132.0 sec. user=vaughan [2010-06-24 12:08:07] 489*2^835525-1 is not prime. Res64: D8C33E7672E91B47 Time : 1045.0 sec. user=vaughan [2010-06-24 12:09:41] 477*2^835529-1 is not prime. Res64: 9282DE5374A1D537 Time : 714.0 sec. user=vaughan [2010-06-24 12:10:50] 481*2^835529-1 is not prime. Res64: 0DA641B23E0CF465 Time : 712.0 sec. user=vaughan [2010-06-24 12:10:59] 501*2^835526-1 is not prime. Res64: 8E9FA41EAFF274E4 Time : 1058.0 sec. user=vaughan [2010-06-24 12:11:46] 563*2^835526-1 is not prime. Res64: D08670787AE6310F Time : 1042.0 sec. user=vaughan [2010-06-24 12:12:06] 475*2^835527-1 is not prime. Res64: 9EFC7584D6B9587A Time : 1014.0 sec. user=vaughan [2010-06-24 12:12:24] 595*2^835527-1 is not prime. Res64: A605CE1592F863D3 Time : 989.0 sec. user=vaughan [2010-06-24 12:12:43] 585*2^835527-1 is not prime. Res64: D2B3A688BB5A4AB2 Time : 1022.0 sec. user=vaughan [2010-06-24 12:14:17] 437*2^835528-1 is not prime. Res64: 9B86AFFE2A8513E6 Time : 1013.0 sec. user=vaughan [2010-06-24 12:16:17] 509*2^835528-1 is not prime. Res64: 49060DA6F2134A75 Time : 1131.0 sec. user=vaughan [2010-06-24 12:16:30] 487*2^835529-1 is not prime. Res64: 5D163B1D4E782B69 Time : 997.0 sec. user=vaughan [2010-06-24 12:17:31] 595*2^835529-1 is not prime. Res64: 1E6150BA3732E756 Time : 982.0 sec. user=vaughan [2010-06-24 12:17:33] 571*2^835529-1 is not prime. Res64: 5117403D2D54A617 Time : 993.0 sec. user=Flatlander [2010-06-24 12:18:21] 439*2^835503-1 is not prime. Res64: 51635BF616C7BF98 Time : 6514.0 sec. user=Flatlander [2010-06-24 12:18:22] 453*2^835503-1 is not prime. Res64: E37136C04061BD61 Time : 6514.0 sec. user=Flatlander [2010-06-24 12:18:23] 471*2^835503-1 is not prime. Res64: 7779123216634FDB Time : 6513.0 sec. user=Flatlander [2010-06-24 12:18:23] 553*2^835503-1 is not prime. Res64: AEFAF84D84D3B458 Time : 6511.0 sec. user=Flatlander [2010-06-24 12:18:24] 591*2^835503-1 is not prime. Res64: E5997A6948102AB0 Time : 6511.0 sec. user=vaughan [2010-06-24 12:19:21] 465*2^835530-1 is not prime. Res64: 63519B44FA3ADBA2 Time : 716.0 sec. user=vaughan [2010-06-24 12:19:53] 525*2^835524-1 is not prime. Res64: 52B147BB0FF67F1F Time : 1971.0 sec. user=vaughan [2010-06-24 12:21:37] 421*2^835531-1 is not prime. Res64: 7F678F1BD17A788D Time : 716.0 sec. user=vaughan [2010-06-24 12:22:43] 441*2^835531-1 is not prime. Res64: 1DC86ED22A03A246 Time : 713.0 sec. user=vaughan [2010-06-24 12:24:14] 473*2^835530-1 is not prime. Res64: 6BDF3B5BA242C8C1 Time : 1005.0 sec. user=vaughan [2010-06-24 12:24:24] 447*2^835530-1 is not prime. Res64: 789DBEEE0D2138C5 Time : 1036.0 sec. user=vaughan [2010-06-24 12:25:09] 431*2^835526-1 is not prime. Res64: 9E5C6B0C6A30B776 Time : 1974.0 sec. user=vaughan [2010-06-24 12:25:31] 513*2^835530-1 is not prime. Res64: 2E69BF1A433001DE Time : 1044.0 sec. user=vaughan [2010-06-24 12:26:24] 495*2^835530-1 is not prime. Res64: FD1C2AE47C978449 Time : 1133.0 sec. user=Flatlander [2010-06-24 12:28:06] 555*2^835500-1 is not prime. Res64: 2E76F91CEA4F04FE Time : 7432.0 sec. user=Flatlander [2010-06-24 12:28:06] 585*2^835500-1 is not prime. Res64: 6C3F1E13B29D110C Time : 7431.0 sec. user=Flatlander [2010-06-24 12:28:07] 427*2^835501-1 is not prime. Res64: 513F502A7E150A17 Time : 7430.0 sec. user=Flatlander [2010-06-24 12:28:08] 471*2^835501-1 is not prime. Res64: 04F58276354AC493 Time : 7429.0 sec. user=Flatlander [2010-06-24 12:28:08] 537*2^835501-1 is not prime. Res64: 72597886A3E1C534 Time : 7428.0 sec. user=vaughan [2010-06-24 12:28:38] 453*2^835531-1 is not prime. Res64: 787AE7F69A06DCEF Time : 1059.0 sec. user=vaughan [2010-06-24 12:28:52] 437*2^835532-1 is not prime. Res64: 5C82863A76F021BD Time : 989.0 sec. user=vaughan [2010-06-24 12:29:00] 417*2^835532-1 is not prime. Res64: 9F178E4D61562D18 Time : 1014.0 sec. user=vaughan [2010-06-24 12:29:07] 549*2^835531-1 is not prime. Res64: 7D06C57E03A965C7 Time : 1041.0 sec. user=vaughan [2010-06-24 12:29:46] 483*2^835532-1 is not prime. Res64: 9B0351527A92C400 Time : 1023.0 sec. user=vaughan [2010-06-24 12:31:09] 515*2^835532-1 is not prime. Res64: 3BED04DDDF1C6A05 Time : 1012.0 sec. user=vaughan [2010-06-24 12:31:16] 537*2^835537-1 is not prime. Res64: 027DB4335CF3E303 Time : 715.0 sec. user=vaughan [2010-06-24 12:33:08] 551*2^835534-1 is not prime. Res64: E990027AF828D41B Time : 998.0 sec. user=vaughan [2010-06-24 12:33:31] 417*2^835538-1 is not prime. Res64: 872964F23643DCCC Time : 715.0 sec. user=vaughan [2010-06-24 12:33:56] 411*2^835535-1 is not prime. Res64: 42F8FDC4F6BA5E1A Time : 985.0 sec. user=vaughan [2010-06-24 12:34:03] 573*2^835535-1 is not prime. Res64: 9FB212956A8EC1D8 Time : 990.0 sec. user=vaughan [2010-06-24 12:34:34] 483*2^835538-1 is not prime. Res64: 87075B863AE91C92 Time : 712.0 sec. user=vaughan [2010-06-24 12:35:08] 491*2^835534-1 is not prime. Res64: 8486B832BA7F0686 Time : 1131.0 sec. user=vaughan [2010-06-24 12:40:59] 561*2^835538-1 is not prime. Res64: 92429F4906051DD5 Time : 1005.0 sec. user=vaughan [2010-06-24 12:41:39] 411*2^835539-1 is not prime. Res64: A32BA690C53499B5 Time : 1035.0 sec. user=vaughan [2010-06-24 12:42:54] 513*2^835539-1 is not prime. Res64: 0E8865DAE2551AF5 Time : 1044.0 sec. user=vaughan [2010-06-24 12:43:12] 581*2^835542-1 is not prime. Res64: 8BBD76ADDED15C53 Time : 716.0 sec. user=vaughan [2010-06-24 12:45:15] 523*2^835539-1 is not prime. Res64: 7F6A01BAA2CE9093 Time : 1131.0 sec. user=vaughan [2010-06-24 12:45:19] 437*2^835542-1 is not prime. Res64: F81C51546D1939A1 Time : 988.0 sec. user=vaughan [2010-06-24 12:45:26] 549*2^835543-1 is not prime. Res64: DC90B1A54B5277DF Time : 715.0 sec. user=vaughan [2010-06-24 12:45:54] 471*2^835542-1 is not prime. Res64: 6368CE0EDDE874D1 Time : 1014.0 sec. user=vaughan [2010-06-24 12:46:16] 571*2^835541-1 is not prime. Res64: D52A82E07F2BB007 Time : 1058.0 sec. user=vaughan [2010-06-24 12:46:25] 417*2^835544-1 is not prime. Res64: BA1A5D906DF90043 Time : 711.0 sec. user=vaughan [2010-06-24 12:46:29] 501*2^835542-1 is not prime. Res64: 6388FC35270C8998 Time : 1042.0 sec. user=vaughan [2010-06-24 12:46:49] 513*2^835542-1 is not prime. Res64: 2B8A51EDF77D0C23 Time : 1023.0 sec. user=vaughan [2010-06-24 12:48:03] 563*2^835542-1 is not prime. Res64: FD53B93122119E8C Time : 1014.0 sec. user=vaughan [2010-06-24 12:49:44] 441*2^835543-1 is not prime. Res64: 7E9E9DE596A35383 Time : 997.0 sec. user=vaughan [2010-06-24 12:50:19] 553*2^835543-1 is not prime. Res64: CBF863CD293D7CCE Time : 984.0 sec. user=vaughan [2010-06-24 12:50:33] 407*2^835544-1 is not prime. Res64: 4C88C9965E90CA46 Time : 990.0 sec. user=vaughan [2010-06-24 12:52:45] 589*2^835537-1 is not prime. Res64: 304DBC84470B7467 Time : 1972.0 sec. user=vaughan [2010-06-24 12:54:01] 587*2^835544-1 is not prime. Res64: 71244D8D057318D9 Time : 1133.0 sec. user=vaughan [2010-06-24 12:55:07] 445*2^835545-1 is not prime. Res64: 9F2DDB98AC7A634A Time : 716.0 sec. user=vaughan [2010-06-24 12:57:20] 579*2^835545-1 is not prime. Res64: C106B05D8D9D1C7C Time : 714.0 sec. user=vaughan [2010-06-24 12:57:43] 599*2^835544-1 is not prime. Res64: 5EDE09AE65A1F3B5 Time : 1005.0 sec. user=vaughan [2010-06-24 12:58:01] 415*2^835539-1 is not prime. Res64: 3BE5B3591CA8D506 Time : 1972.0 sec. user=vaughan [2010-06-24 12:58:17] 425*2^835546-1 is not prime. Res64: 631990287CECFA19 Time : 712.0 sec. user=vaughan [2010-06-24 12:58:53] 409*2^835545-1 is not prime. Res64: F1F3CC4395A3E9F9 Time : 1034.0 sec. user=vaughan [2010-06-24 13:00:18] 441*2^835545-1 is not prime. Res64: 7BB39EEADC96859C Time : 1044.0 sec. user=vaughan [2010-06-24 13:01:47] 517*2^835545-1 is not prime. Res64: 81B846271F7F2A74 Time : 988.0 sec. user=vaughan [2010-06-24 13:02:47] 595*2^835545-1 is not prime. Res64: 620D3665D2018D1D Time : 1013.0 sec. user=vaughan [2010-06-24 13:03:51] 567*2^835546-1 is not prime. Res64: 737A67BA3426131B Time : 1023.0 sec. user=vaughan [2010-06-24 13:03:53] 413*2^835546-1 is not prime. Res64: E618B30AD9E8FBF9 Time : 1057.0 sec. user=vaughan [2010-06-24 13:04:07] 475*2^835545-1 is not prime. Res64: BA61F83CEFAFAD4C Time : 1132.0 sec. user=vaughan [2010-06-24 13:04:18] 471*2^835546-1 is not prime. Res64: 0BF706055457134D Time : 1069.0 sec. user=vaughan [2010-06-24 13:04:54] 489*2^835547-1 is not prime. Res64: 7EBBF08F74360B53 Time : 1011.0 sec. user=vaughan [2010-06-24 13:06:20] 565*2^835547-1 is not prime. Res64: CE663C08DDF14996 Time : 997.0 sec. user=Flatlander [2010-06-24 13:06:34] 405*2^835520-1 is not prime. Res64: 79C6924B8AE59D59 Time : 6135.0 sec. user=Flatlander [2010-06-24 13:06:35] 459*2^835520-1 is not prime. Res64: 2CB3888D9E91DF69 Time : 6135.0 sec. user=Flatlander [2010-06-24 13:06:36] 503*2^835520-1 is not prime. Res64: 0B04B542AF952A3D Time : 6135.0 sec. user=Flatlander [2010-06-24 13:06:36] 525*2^835520-1 is not prime. Res64: 40A82083FC56F648 Time : 6134.0 sec. user=Flatlander [2010-06-24 13:06:37] 537*2^835520-1 is not prime. Res64: FA378724FE2877DB Time : 6134.0 sec. user=vaughan [2010-06-24 13:06:43] 585*2^835547-1 is not prime. Res64: 51A655C6D3DA5FAC Time : 984.0 sec. user=vaughan [2010-06-24 13:07:02] 425*2^835548-1 is not prime. Res64: A8044AB32B4588AD Time : 990.0 sec. user=vaughan [2010-06-24 13:07:02] 527*2^835548-1 is not prime. Res64: E242A45E7C8DD77D Time : 715.0 sec. user=vaughan [2010-06-24 13:09:16] 539*2^835548-1 is not prime. Res64: 313A6C46E59186E1 Time : 716.0 sec. user=vaughan [2010-06-24 13:10:10] 451*2^835549-1 is not prime. Res64: 1FBE0BAF323B6ECE Time : 713.0 sec. user=vaughan [2010-06-24 13:12:52] 515*2^835548-1 is not prime. Res64: 2907B367D058684E Time : 1132.0 sec. user=vaughan [2010-06-24 13:14:28] 563*2^835548-1 is not prime. Res64: 4EE0E4ADC63BC854 Time : 1005.0 sec. user=vaughan [2010-06-24 13:16:08] 505*2^835549-1 is not prime. Res64: FD01547516AF4BE5 Time : 1035.0 sec. user=vaughan [2010-06-24 13:18:14] 505*2^834907-1 is not prime. Res64: 9677B3FE42CA1B1C Time : 987.0 sec. user=vaughan [2010-06-24 13:18:57] 555*2^835554-1 is not prime. Res64: 290BDA529C92CF69 Time : 715.0 sec. user=vaughan [2010-06-24 13:19:40] 567*2^835549-1 is not prime. Res64: 9A5A8D912DAB2023 Time : 1013.0 sec. user=vaughan [2010-06-24 13:20:53] 467*2^835550-1 is not prime. Res64: EE867A42936030B7 Time : 1022.0 sec. user=vaughan [2010-06-24 13:21:11] 405*2^835555-1 is not prime. Res64: 8DD1E9821C612695 Time : 716.0 sec. user=vaughan [2010-06-24 13:21:31] 585*2^835550-1 is not prime. Res64: 8A23FC82CB8CF0EE Time : 1058.0 sec. user=vaughan [2010-06-24 13:21:46] 483*2^835552-1 is not prime. Res64: 561285CD3858D720 Time : 1013.0 sec. user=vaughan [2010-06-24 13:22:02] 523*2^835555-1 is not prime. Res64: DB6EDD1F282C7CD7 Time : 713.0 sec. user=Flatlander [2010-06-24 13:22:34] 495*2^835529-1 is not prime. Res64: 32CE347201B5741E Time : 4954.0 sec. user=Flatlander [2010-06-24 13:22:35] 501*2^835529-1 is not prime. Res64: 7EF27944A5C5189E Time : 4954.0 sec. user=Flatlander [2010-06-24 13:22:36] 511*2^835529-1 is not prime. Res64: E1FFDF1335F23AE6 Time : 4954.0 sec. user=Flatlander [2010-06-24 13:22:36] 565*2^835529-1 is not prime. Res64: A37C5D98F22A2921 Time : 4954.0 sec. user=Flatlander [2010-06-24 13:22:37] 567*2^835529-1 is not prime. Res64: DAAC330E3E57966D Time : 4955.0 sec. user=vaughan [2010-06-24 13:22:55] 567*2^835552-1 is not prime. Res64: 903A7B583D20B5F3 Time : 995.0 sec. user=vaughan [2010-06-24 13:22:59] 469*2^835551-1 is not prime. Res64: FC70D2583C692093 Time : 1132.0 sec. user=vaughan [2010-06-24 13:23:07] 503*2^835554-1 is not prime. Res64: 4C0706B1D4D67F25 Time : 984.0 sec. user=vaughan [2010-06-24 13:23:30] 521*2^835554-1 is not prime. Res64: 5B7C021A8B34B5DE Time : 988.0 sec. user=vaughan [2010-06-24 13:24:56] 511*2^835549-1 is not prime. Res64: ECB9A6F51D552BAE Time : 1478.0 sec. user=vaughan [2010-06-24 13:25:34] 513*2^835548-1 is not prime. Res64: B2E4B0F1405370B0 Time : 1970.0 sec. user=vaughan [2010-06-24 13:29:26] 419*2^835552-1 is not prime. Res64: 8FE8F4176AE9684E Time : 1508.0 sec. user=vaughan [2010-06-24 13:30:53] 439*2^835549-1 is not prime. Res64: CD83CC9B6AC3CD43 Time : 1972.0 sec. user=vaughan [2010-06-24 13:30:53] 405*2^835556-1 is not prime. Res64: D5AE3E600120B66B Time : 716.0 sec. user=vaughan [2010-06-24 13:31:13] 573*2^835555-1 is not prime. Res64: B01734B1E4F750D9 Time : 1005.0 sec. user=vaughan [2010-06-24 13:31:43] 535*2^835555-1 is not prime. Res64: EBEB7EF2FD30A142 Time : 1132.0 sec. user=vaughan [2010-06-24 13:33:06] 477*2^835556-1 is not prime. Res64: CC2CCF3D6962B4F1 Time : 715.0 sec. user=vaughan [2010-06-24 13:33:24] 579*2^835555-1 is not prime. Res64: EA776A9A40913750 Time : 1036.0 sec. user=vaughan [2010-06-24 13:33:54] 429*2^835557-1 is not prime. Res64: CB22C027695E9651 Time : 712.0 sec. user=vaughan [2010-06-24 13:34:43] 595*2^835555-1 is not prime. Res64: 71803ED500BECA85 Time : 989.0 sec. user=vaughan [2010-06-24 13:36:32] 425*2^835556-1 is not prime. Res64: 6F09D6AB6733A38B Time : 1013.0 sec. user=vaughan [2010-06-24 13:37:53] 437*2^835556-1 is not prime. Res64: A736CEBB1D6E5D92 Time : 1021.0 sec. user=vaughan [2010-06-24 13:38:39] 427*2^835557-1 is not prime. Res64: 04F767C165E33BE1 Time : 1013.0 sec. user=vaughan [2010-06-24 13:39:06] 495*2^835556-1 is not prime. Res64: 92A7A7541CD56B08 Time : 1055.0 sec. user=vaughan [2010-06-24 13:39:30] 525*2^835558-1 is not prime. Res64: DE33914BB1C32963 Time : 995.0 sec. user=vaughan [2010-06-24 13:39:30] 581*2^835558-1 is not prime. Res64: 31DB0B257DEC1F31 Time : 983.0 sec. user=vaughan [2010-06-24 13:39:58] 459*2^835559-1 is not prime. Res64: 82CD128B6CA9507E Time : 988.0 sec. user=vaughan [2010-06-24 13:41:50] 545*2^835558-1 is not prime. Res64: 07C36213D4124E3F Time : 1131.0 sec. user=vaughan [2010-06-24 13:42:48] 547*2^835561-1 is not prime. Res64: C808A362A177843D Time : 716.0 sec. user=vaughan [2010-06-24 13:45:01] 495*2^835562-1 is not prime. Res64: 15DCE559DDFA3BCA Time : 715.0 sec. user=vaughan [2010-06-24 13:45:46] 561*2^835562-1 is not prime. Res64: 1D99428839F6DE12 Time : 712.0 sec. user=vaughan [2010-06-24 13:47:56] 555*2^835561-1 is not prime. Res64: C45467BCDC51B324 Time : 1004.0 sec. user=vaughan [2010-06-24 13:50:33] 565*2^835561-1 is not prime. Res64: 264848C3ABCF2BE7 Time : 1131.0 sec. user=vaughan [2010-06-24 13:50:39] 515*2^835562-1 is not prime. Res64: D4A2D8B8BE4CCBA9 Time : 1035.0 sec. user=vaughan [2010-06-24 13:51:13] 587*2^835562-1 is not prime. Res64: B00996A788EC9841 Time : 991.0 sec. user=vaughan [2010-06-24 13:51:38] 589*2^835559-1 is not prime. Res64: F4719C8B951B4507 Time : 1602.0 sec. user=vaughan [2010-06-24 13:53:25] 471*2^835563-1 is not prime. Res64: EC4FEBCDB84BC701 Time : 1013.0 sec. user=vaughan [2010-06-24 13:54:43] 469*2^835565-1 is not prime. Res64: E7DCB851124C3CBF Time : 715.0 sec. user=vaughan [2010-06-24 13:54:53] 585*2^835563-1 is not prime. Res64: 3398D86750732177 Time : 1020.0 sec. user=vaughan [2010-06-24 13:55:33] 447*2^835564-1 is not prime. Res64: B5ADCF3EBC2B50B5 Time : 1014.0 sec. user=vaughan [2010-06-24 13:55:37] 447*2^835560-1 is not prime. Res64: E81FAF483370C01C Time : 1572.0 sec. user=vaughan [2010-06-24 13:55:55] 575*2^835564-1 is not prime. Res64: E30494817B4A408B Time : 985.0 sec. user=vaughan [2010-06-24 13:56:07] 549*2^835564-1 is not prime. Res64: 6768324957C41EC3 Time : 997.0 sec. user=vaughan [2010-06-24 13:56:27] 451*2^835565-1 is not prime. Res64: B2CFEEB20B0D3ED0 Time : 989.0 sec. user=vaughan [2010-06-24 13:56:38] 507*2^835564-1 is not prime. Res64: B4B32B4B9AB1AB69 Time : 1052.0 sec. user=vaughan [2010-06-24 13:56:57] 495*2^835565-1 is not prime. Res64: 299898516BEB376E Time : 716.0 sec. user=vaughan [2010-06-24 13:57:38] 589*2^835565-1 is not prime. Res64: CBF51DD053BF06D5 Time : 712.0 sec. user=vaughan [2010-06-24 13:59:33] 429*2^835560-1 is not prime. Res64: 7CB56DCBFFB41AE4 Time : 2039.0 sec. user=vaughan [2010-06-24 14:00:40] 465*2^835565-1 is not prime. Res64: E9B234D064595350 Time : 1131.0 sec. user=vaughan [2010-06-24 14:03:35] 415*2^835561-1 is not prime. Res64: CE8D8E957B27BC7E Time : 1963.0 sec. user=vaughan [2010-06-24 14:04:41] 437*2^835566-1 is not prime. Res64: DDBAB4EC816CCF02 Time : 1005.0 sec. user=vaughan [2010-06-24 14:06:38] 531*2^835567-1 is not prime. Res64: 5C27D71D974C0027 Time : 715.0 sec. user=vaughan [2010-06-24 14:07:42] 405*2^835567-1 is not prime. Res64: 7B027385B8C32A2F Time : 990.0 sec. user=vaughan [2010-06-24 14:07:53] 537*2^835566-1 is not prime. Res64: 620F80743AE26FA6 Time : 1034.0 sec. user=vaughan [2010-06-24 14:08:52] 549*2^835569-1 is not prime. Res64: 4C772EBBB107DCEF Time : 716.0 sec. user=vaughan [2010-06-24 14:09:22] 447*2^835566-1 is not prime. Res64: 328C60EA990D062F Time : 1129.0 sec. user=vaughan [2010-06-24 14:09:30] 401*2^835570-1 is not prime. Res64: 4887440C7B22ABFA Time : 713.0 sec. user=vaughan [2010-06-24 14:10:18] 519*2^835567-1 is not prime. Res64: BAC343FD98AD8432 Time : 1014.0 sec. user=vaughan [2010-06-24 14:11:52] 413*2^835568-1 is not prime. Res64: BA42C127B4D31B5D Time : 1020.0 sec. user=vaughan [2010-06-24 14:12:18] 519*2^835568-1 is not prime. Res64: 3F19DD11ECD54390 Time : 984.0 sec. user=vaughan [2010-06-24 14:12:26] 423*2^835568-1 is not prime. Res64: 9CC9D2728B750ADF Time : 1014.0 sec. user=vaughan [2010-06-24 14:12:42] 599*2^835568-1 is not prime. Res64: 6A329B1471209988 Time : 996.0 sec. user=vaughan [2010-06-24 14:12:54] 415*2^835569-1 is not prime. Res64: D35E6FB4C827EE84 Time : 987.0 sec. user=vaughan [2010-06-24 14:14:02] 465*2^835567-1 is not prime. Res64: 9563736D1A306E24 Time : 1344.0 sec. user=vaughan [2010-06-24 14:14:11] 481*2^835569-1 is not prime. Res64: AF557F196FBBB54C Time : 1053.0 sec. user=vaughan [2010-06-24 14:18:33] 471*2^835570-1 is not prime. Res64: C546E7A661F0E064 Time : 716.0 sec. user=vaughan [2010-06-24 14:19:31] 411*2^835570-1 is not prime. Res64: 24CAB3B41A7BBA83 Time : 1131.0 sec. user=vaughan [2010-06-24 14:19:38] 465*2^835568-1 is not prime. Res64: 48360C74CEB01C59 Time : 1441.0 sec. user=vaughan [2010-06-24 14:20:47] 439*2^835571-1 is not prime. Res64: 455033935DEDBBCF Time : 715.0 sec. user=vaughan [2010-06-24 14:21:22] 549*2^835571-1 is not prime. Res64: 139E4D9B8ACF2E65 Time : 712.0 sec. user=vaughan [2010-06-24 14:21:27] 467*2^835570-1 is not prime. Res64: F21298820F07DA7C Time : 1006.0 sec. user=Flatlander [2010-06-24 14:22:17] 591*2^835535-1 is not prime. Res64: F7B79C6A49B77313 Time : 7431.0 sec. user=Flatlander [2010-06-24 14:22:17] 453*2^835536-1 is not prime. Res64: 0CDE9F4E4346C995 Time : 7430.0 sec. user=Flatlander [2010-06-24 14:22:18] 427*2^835537-1 is not prime. Res64: 664C50F918318C3C Time : 7429.0 sec. user=Flatlander [2010-06-24 14:22:18] 441*2^835537-1 is not prime. Res64: 26DACDD4A83C8210 Time : 7427.0 sec. user=Flatlander [2010-06-24 14:22:19] 465*2^835537-1 is not prime. Res64: 62F368B3CBA3A1CA Time : 7427.0 sec. user=vaughan [2010-06-24 14:24:11] 533*2^835570-1 is not prime. Res64: 6C4F42DB2ECE719E Time : 989.0 sec. user=vaughan [2010-06-24 14:25:06] 581*2^835570-1 is not prime. Res64: E049073CD76B22F7 Time : 1033.0 sec. user=vaughan [2010-06-24 14:27:11] 571*2^835571-1 is not prime. Res64: 2EA7EFE6C2A3ECFA Time : 1013.0 sec. user=vaughan [2010-06-24 14:28:11] 445*2^835571-1 is not prime. Res64: 8FC4120D6CF65AB0 Time : 1129.0 sec. user=vaughan [2010-06-24 14:28:42] 423*2^835572-1 is not prime. Res64: CBD731910619715D Time : 984.0 sec. user=vaughan [2010-06-24 14:28:52] 579*2^835571-1 is not prime. Res64: 8FCD3917C3924221 Time : 1020.0 sec. user=vaughan [2010-06-24 14:29:18] 485*2^835572-1 is not prime. Res64: 0B06003755FB58FB Time : 996.0 sec. user=vaughan [2010-06-24 14:29:18] 437*2^835572-1 is not prime. Res64: 885F7653EC23C59D Time : 1012.0 sec. user=vaughan [2010-06-24 14:29:23] 503*2^835572-1 is not prime. Res64: FCBFC9E53B113434 Time : 989.0 sec. user=vaughan [2010-06-24 14:30:28] 435*2^835573-1 is not prime. Res64: 288126CAAABB47E7 Time : 715.0 sec. user=vaughan [2010-06-24 14:31:44] 411*2^835573-1 is not prime. Res64: A21A8F57F51B0EBF Time : 1053.0 sec. user=vaughan [2010-06-24 14:32:25] 405*2^835570-1 is not prime. Res64: 055EAAC788E92602 Time : 1973.0 sec. user=Flatlander [2010-06-24 14:32:36] 429*2^835540-1 is not prime. Res64: C930098D9C9E5980 Time : 7467.0 sec. user=Flatlander [2010-06-24 14:32:37] 411*2^835541-1 is not prime. Res64: 0FD11AE73A139748 Time : 7467.0 sec. user=Flatlander [2010-06-24 14:32:38] 421*2^835541-1 is not prime. Res64: 33FF51FEC90B9E21 Time : 7467.0 sec. user=Flatlander [2010-06-24 14:32:39] 489*2^835541-1 is not prime. Res64: 1311ACBDFD22F28F Time : 7466.0 sec. user=Flatlander [2010-06-24 14:32:40] 507*2^835541-1 is not prime. Res64: F25EA5CE88EB5AAD Time : 7466.0 sec. user=vaughan [2010-06-24 14:32:43] 511*2^835573-1 is not prime. Res64: 588D2B18FF6F6C09 Time : 716.0 sec. user=vaughan [2010-06-24 14:33:14] 519*2^835573-1 is not prime. Res64: 6D88C1CCBE11F9D9 Time : 712.0 sec. user=vaughan [2010-06-24 14:36:32] 437*2^835570-1 is not prime. Res64: 45E244E381ED76F3 Time : 1977.0 sec. user=vaughan [2010-06-24 14:37:19] 537*2^835572-1 is not prime. Res64: 280C67751F717724 Time : 1397.0 sec. user=Flatlander [2010-06-24 14:37:31] 457*2^835557-1 is not prime. Res64: 043F4156F9D72D6D Time : 4492.0 sec. user=Flatlander [2010-06-24 14:37:31] 549*2^835557-1 is not prime. Res64: 6F139C377D15BCE7 Time : 4492.0 sec. user=Flatlander [2010-06-24 14:37:32] 585*2^835557-1 is not prime. Res64: 90F2E066A15F78D4 Time : 4493.0 sec. user=Flatlander [2010-06-24 14:37:33] 413*2^835558-1 is not prime. Res64: E57D755896CD4BEE Time : 4493.0 sec. user=Flatlander [2010-06-24 14:37:34] 495*2^835558-1 is not prime. Res64: D4CC2A714451A0F2 Time : 4494.0 sec. user=vaughan [2010-06-24 14:38:12] 547*2^835573-1 is not prime. Res64: 732BFB915C782A18 Time : 1006.0 sec. user=vaughan [2010-06-24 14:38:22] 451*2^835573-1 is not prime. Res64: 10762E4F00DD77C0 Time : 1131.0 sec. user=vaughan [2010-06-24 14:40:40] 525*2^835576-1 is not prime. Res64: E0CFA62D5C4D2D71 Time : 989.0 sec. user=vaughan [2010-06-24 14:42:21] 537*2^835576-1 is not prime. Res64: 516775C998B060B7 Time : 1035.0 sec. user=vaughan [2010-06-24 14:42:24] 465*2^835579-1 is not prime. Res64: 149689724AB3A65F Time : 716.0 sec. user=vaughan [2010-06-24 14:44:03] 539*2^835576-1 is not prime. Res64: 4FBB6384593B49A6 Time : 1012.0 sec. user=vaughan [2010-06-24 14:44:38] 545*2^835580-1 is not prime. Res64: 08ECDAB19ECC7994 Time : 715.0 sec. user=vaughan [2010-06-24 14:44:57] 471*2^835573-1 is not prime. Res64: 6430F7F6A9CF16FB Time : 1519.0 sec. user=vaughan [2010-06-24 14:45:06] 401*2^835582-1 is not prime. Res64: B2BA23D93D44CAEC Time : 712.0 sec. user=vaughan [2010-06-24 14:45:13] 437*2^835578-1 is not prime. Res64: C6A2F30BAE84E8E9 Time : 991.0 sec. user=vaughan [2010-06-24 14:45:52] 451*2^835579-1 is not prime. Res64: 7825C4CB267CDA8D Time : 989.0 sec. user=vaughan [2010-06-24 14:45:52] 485*2^835578-1 is not prime. Res64: 67259106B317BE2F Time : 1021.0 sec. user=vaughan [2010-06-24 14:45:54] 567*2^835578-1 is not prime. Res64: 9638CCF57E285C9B Time : 996.0 sec. user=vaughan [2010-06-24 14:46:11] 439*2^835579-1 is not prime. Res64: 7EAD6225E046941D Time : 1013.0 sec. user=vaughan [2010-06-24 14:47:00] 575*2^835576-1 is not prime. Res64: B6603018D8F90548 Time : 1129.0 sec. user=vaughan [2010-06-24 14:49:18] 489*2^835579-1 is not prime. Res64: 4AE615A4EE35F648 Time : 1054.0 sec. user=vaughan [2010-06-24 14:54:19] 441*2^835585-1 is not prime. Res64: 8B0610B7CA6A9FF8 Time : 716.0 sec. user=vaughan [2010-06-24 14:55:03] 585*2^835583-1 is not prime. Res64: B897B1B8177B711B Time : 1012.0 sec. user=vaughan [2010-06-24 14:56:33] 407*2^835586-1 is not prime. Res64: 43144AE5AC6CBE2C Time : 715.0 sec. user=vaughan [2010-06-24 14:56:57] 447*2^835586-1 is not prime. Res64: CCBFDA16D1E930B7 Time : 712.0 sec. user=vaughan [2010-06-24 14:57:13] 425*2^835584-1 is not prime. Res64: F34C3FF87A26FC9A Time : 1131.0 sec. user=vaughan [2010-06-24 14:57:20] 557*2^835584-1 is not prime. Res64: 5F1251E7583084BA Time : 1000.0 sec. user=Flatlander [2010-06-24 14:58:30] 435*2^835553-1 is not prime. Res64: 429187E351A6510C Time : 6712.0 sec. user=Flatlander [2010-06-24 14:58:31] 439*2^835553-1 is not prime. Res64: 7687C351D5E6EBAE Time : 6712.0 sec. user=Flatlander [2010-06-24 14:58:31] 487*2^835553-1 is not prime. Res64: 091B978244B9CB37 Time : 6711.0 sec. user=Flatlander [2010-06-24 14:58:32] 591*2^835553-1 is not prime. Res64: 5007DA09E51DBC8A Time : 6711.0 sec. user=Flatlander [2010-06-24 14:58:33] 483*2^835554-1 is not prime. Res64: AAA770F573096452 Time : 6711.0 sec. user=vaughan [2010-06-24 14:59:40] 563*2^835584-1 is not prime. Res64: 126DB3B416746C78 Time : 1039.0 sec. user=vaughan [2010-06-24 15:00:56] 499*2^835585-1 is not prime. Res64: 49990DBE6D90D84E Time : 1013.0 sec. user=vaughan [2010-06-24 15:01:38] 453*2^835586-1 is not prime. Res64: A73E2B28829493B4 Time : 985.0 sec. user=vaughan [2010-06-24 15:02:20] 483*2^835586-1 is not prime. Res64: FC8E456C9479315B Time : 988.0 sec. user=vaughan [2010-06-24 15:02:21] 513*2^835582-1 is not prime. Res64: B3DAFA5784FD734B Time : 1502.0 sec. user=vaughan [2010-06-24 15:02:31] 545*2^835586-1 is not prime. Res64: 9B092C19428594D9 Time : 997.0 sec. user=vaughan [2010-06-24 15:02:52] 537*2^835586-1 is not prime. Res64: E3A2157B774AF6C8 Time : 1020.0 sec. user=vaughan [2010-06-24 15:03:04] 585*2^835586-1 is not prime. Res64: 05FF4A0F5162208D Time : 1013.0 sec. user=vaughan [2010-06-24 15:05:48] 523*2^835587-1 is not prime. Res64: 07BC907ACD086B71 Time : 1128.0 sec. user=vaughan [2010-06-24 15:06:13] 429*2^835588-1 is not prime. Res64: 02E6BF76C8C486B9 Time : 714.0 sec. user=vaughan [2010-06-24 15:06:23] 555*2^835579-1 is not prime. Res64: F018810D756717A9 Time : 2038.0 sec. user=vaughan [2010-06-24 15:06:51] 583*2^835587-1 is not prime. Res64: F03A4A7D019E8C92 Time : 1053.0 sec. user=vaughan [2010-06-24 15:08:28] 449*2^835588-1 is not prime. Res64: 7C47D43C71C9BEF2 Time : 715.0 sec. user=vaughan [2010-06-24 15:08:48] 559*2^835589-1 is not prime. Res64: C32511B5F1D6DF82 Time : 711.0 sec. user=vaughan [2010-06-24 15:09:14] 425*2^835582-1 is not prime. Res64: 4106B3DB529F4C0B Time : 1962.0 sec. user=vaughan [2010-06-24 15:11:48] 435*2^835588-1 is not prime. Res64: 11773ACD1366A36B Time : 1005.0 sec. user=vaughan [2010-06-24 15:13:47] 437*2^835590-1 is not prime. Res64: 7F28DBF1DC0494B4 Time : 987.0 sec. user=vaughan [2010-06-24 15:14:20] 431*2^835586-1 is not prime. Res64: A811DF53C5AC2940 Time : 1763.0 sec. user=vaughan [2010-06-24 15:16:02] 567*2^835589-1 is not prime. Res64: 9D94A547C6878296 Time : 1130.0 sec. user=vaughan [2010-06-24 15:16:56] 463*2^835591-1 is not prime. Res64: 9AFB77BA1EEA0674 Time : 1036.0 sec. user=vaughan [2010-06-24 15:17:47] 493*2^835591-1 is not prime. Res64: 6A2441D53ED9E7D7 Time : 1012.0 sec. user=vaughan [2010-06-24 15:18:02] 535*2^835591-1 is not prime. Res64: AF965EFC8B83E418 Time : 985.0 sec. user=vaughan [2010-06-24 15:18:08] 595*2^835593-1 is not prime. Res64: 1FED5A20BC041049 Time : 715.0 sec. user=vaughan [2010-06-24 15:18:49] 425*2^835592-1 is not prime. Res64: D572267D7FBCB0BE Time : 989.0 sec. user=vaughan [2010-06-24 15:19:06] 563*2^835592-1 is not prime. Res64: CEB958E9A9B6A2FD Time : 996.0 sec. user=vaughan [2010-06-24 15:19:50] 573*2^835592-1 is not prime. Res64: 8E454FBDCBB19AC0 Time : 1019.0 sec. user=vaughan [2010-06-24 15:19:56] 439*2^835593-1 is not prime. Res64: D1985F6CB79EB387 Time : 1013.0 sec. user=vaughan [2010-06-24 15:20:22] 587*2^835596-1 is not prime. Res64: AB82194F723FBC7C Time : 715.0 sec. user=vaughan [2010-06-24 15:20:39] 597*2^835596-1 is not prime. Res64: 6B20F9ED8B3DDC42 Time : 711.0 sec. user=vaughan [2010-06-24 15:23:17] 539*2^835592-1 is not prime. Res64: A6D9C58FD7577362 Time : 1256.0 sec. user=vaughan [2010-06-24 15:24:23] 481*2^835595-1 is not prime. Res64: F18E2CA8D501F4EA Time : 1052.0 sec. user=vaughan [2010-06-24 15:24:38] 481*2^835593-1 is not prime. Res64: 6A13CAA86889AD56 Time : 1130.0 sec. user=vaughan [2010-06-24 15:28:33] 517*2^835597-1 is not prime. Res64: 4784D3583462CC91 Time : 1005.0 sec. user=vaughan [2010-06-24 15:30:04] 549*2^835599-1 is not prime. Res64: BD9ABC86434EEE73 Time : 716.0 sec. user=vaughan [2010-06-24 15:30:16] 549*2^835597-1 is not prime. Res64: AACC315393E65982 Time : 989.0 sec. user=vaughan [2010-06-24 15:31:38] 417*2^835598-1 is not prime. Res64: 2AAAEC9102D50BF3 Time : 1038.0 sec. user=vaughan [2010-06-24 15:32:17] 487*2^835601-1 is not prime. Res64: 7CE897CFFCFAB04F Time : 715.0 sec. user=vaughan [2010-06-24 15:32:32] 489*2^835601-1 is not prime. Res64: 154AEDA40E3E76E0 Time : 713.0 sec. user=vaughan [2010-06-24 15:34:08] 503*2^835598-1 is not prime. Res64: 5B3B1C3F3B30F60A Time : 1033.0 sec. user=vaughan [2010-06-24 15:34:27] 567*2^835598-1 is not prime. Res64: 28C6903721D750C9 Time : 985.0 sec. user=vaughan [2010-06-24 15:34:42] 515*2^835598-1 is not prime. Res64: B8032F85C2DE15F9 Time : 1015.0 sec. user=vaughan [2010-06-24 15:34:53] 453*2^835598-1 is not prime. Res64: 756E77C826FF4DAA Time : 1131.0 sec. user=vaughan [2010-06-24 15:35:17] 553*2^835599-1 is not prime. Res64: 683DD2C4F520F593 Time : 989.0 sec. user=vaughan [2010-06-24 15:35:42] 571*2^835599-1 is not prime. Res64: 3F226022FBDC2E8D Time : 996.0 sec. user=vaughan [2010-06-24 15:36:48] 409*2^835601-1 is not prime. Res64: 56158860C61F05E1 Time : 1012.0 sec. user=vaughan [2010-06-24 15:36:51] 513*2^835600-1 is not prime. Res64: FBE99AC12A427B5F Time : 1021.0 sec. user=vaughan [2010-06-24 15:39:24] 411*2^835595-1 is not prime. Res64: BBE46B14364C8C04 Time : 1981.0 sec. user=vaughan [2010-06-24 15:40:47] 423*2^835602-1 is not prime. Res64: 8226779CBE7B16B5 Time : 1051.0 sec. user=vaughan [2010-06-24 15:41:57] 447*2^835602-1 is not prime. Res64: A6782A70667FD732 Time : 1054.0 sec. user=vaughan [2010-06-24 15:41:59] 483*2^835603-1 is not prime. Res64: 4C5A450860DCADCC Time : 716.0 sec. user=vaughan [2010-06-24 15:42:15] 511*2^835597-1 is not prime. Res64: 6A201DEC5F775775 Time : 1981.0 sec. user=vaughan [2010-06-24 15:43:28] 527*2^835602-1 is not prime. Res64: 389B8916502CFB22 Time : 1130.0 sec. user=vaughan [2010-06-24 15:44:14] 479*2^835604-1 is not prime. Res64: 1F74D5ECA458E9C1 Time : 717.0 sec. user=vaughan [2010-06-24 15:44:25] 503*2^835604-1 is not prime. Res64: 97A2C70471E30186 Time : 714.0 sec. user=vaughan [2010-06-24 15:45:18] 537*2^835602-1 is not prime. Res64: 989D1AE168728EA5 Time : 1005.0 sec. user=vaughan [2010-06-24 15:46:46] 519*2^835603-1 is not prime. Res64: 87373BF9F6CE22C4 Time : 990.0 sec. user=vaughan [2010-06-24 15:48:53] 447*2^835604-1 is not prime. Res64: B1A8EA4B43F99D9E Time : 1036.0 sec. user=vaughan [2010-06-24 15:50:52] 563*2^835604-1 is not prime. Res64: AD7FDDA68B083DAF Time : 985.0 sec. user=vaughan [2010-06-24 15:51:24] 533*2^835604-1 is not prime. Res64: 388A53FCED7CD53F Time : 1036.0 sec. user=vaughan [2010-06-24 15:51:35] 597*2^835605-1 is not prime. Res64: 7159332EE44556A0 Time : 1014.0 sec. user=vaughan [2010-06-24 15:51:46] 461*2^835606-1 is not prime. Res64: C1C74F95EDAC8967 Time : 989.0 sec. user=vaughan [2010-06-24 15:52:17] 525*2^835606-1 is not prime. Res64: 3D69BA1B099DAC16 Time : 995.0 sec. user=vaughan [2010-06-24 15:53:41] 419*2^835608-1 is not prime. Res64: 02E28BE3B9BB5DA4 Time : 1013.0 sec. user=vaughan [2010-06-24 15:53:44] 411*2^835606-1 is not prime. Res64: B36C616FE8A7FBA1 Time : 1132.0 sec. user=vaughan [2010-06-24 15:53:51] 485*2^835608-1 is not prime. Res64: 51EAABC21C7BB297 Time : 1021.0 sec. user=vaughan [2010-06-24 15:53:56] 535*2^835609-1 is not prime. Res64: 632A8EB20ACDF619 Time : 717.0 sec. user=vaughan [2010-06-24 15:56:09] 405*2^835611-1 is not prime. Res64: 15AC9F1D7E14C0AE Time : 716.0 sec. user=vaughan [2010-06-24 15:56:17] 493*2^835611-1 is not prime. Res64: E0B1DEDCE23A964E Time : 712.0 sec. user=vaughan [2010-06-24 15:58:18] 585*2^835608-1 is not prime. Res64: B415AD2C70451F35 Time : 1051.0 sec. user=vaughan [2010-06-24 15:59:27] 495*2^835609-1 is not prime. Res64: 73BBEBBF8404A886 Time : 1050.0 sec. user=vaughan [2010-06-24 16:02:02] 529*2^835611-1 is not prime. Res64: 4BA96B5F05EA4F89 Time : 1004.0 sec. user=vaughan [2010-06-24 16:02:18] 565*2^835609-1 is not prime. Res64: DD3EE9137F1D4DDC Time : 1130.0 sec. user=vaughan [2010-06-24 16:03:15] 549*2^835611-1 is not prime. Res64: 629BDA15EEF25691 Time : 990.0 sec. user=vaughan [2010-06-24 16:05:52] 455*2^835614-1 is not prime. Res64: 27849673FC8846C5 Time : 716.0 sec. user=vaughan [2010-06-24 16:06:09] 571*2^835611-1 is not prime. Res64: D62FB98C33B4032F Time : 1036.0 sec. user=vaughan [2010-06-24 16:07:18] 579*2^835611-1 is not prime. Res64: 724FB0CEC9E202EC Time : 987.0 sec. user=vaughan [2010-06-24 16:08:04] 513*2^835614-1 is not prime. Res64: CC1562FAA8229180 Time : 715.0 sec. user=vaughan [2010-06-24 16:08:09] 441*2^835615-1 is not prime. Res64: B9FF53E5EB7C8439 Time : 712.0 sec. user=vaughan [2010-06-24 16:08:13] 483*2^835612-1 is not prime. Res64: 3454FDAC9178953D Time : 988.0 sec. user=vaughan [2010-06-24 16:08:28] 437*2^835612-1 is not prime. Res64: EEECA2984C180A53 Time : 1014.0 sec. user=vaughan [2010-06-24 16:08:40] 413*2^835612-1 is not prime. Res64: E66AA9F1255F6B5B Time : 1036.0 sec. user=vaughan [2010-06-24 16:08:54] 489*2^835612-1 is not prime. Res64: 839AC5158ECEA13D Time : 997.0 sec. user=vaughan [2010-06-24 16:10:34] 533*2^835612-1 is not prime. Res64: F3C6129AFCDA7193 Time : 1013.0 sec. user=vaughan [2010-06-24 16:10:52] 465*2^835613-1 is not prime. Res64: 65E70F6675CC9128 Time : 1021.0 sec. user=vaughan [2010-06-24 16:12:12] 569*2^835608-1 is not prime. Res64: 04A8A4774508D146 Time : 1968.0 sec. user=vaughan [2010-06-24 16:12:35] 539*2^835612-1 is not prime. Res64: 3B214D652DD819B9 Time : 1131.0 sec. user=vaughan [2010-06-24 16:15:03] 559*2^835609-1 is not prime. Res64: EAAA13B658EA6EA4 Time : 1968.0 sec. user=vaughan [2010-06-24 16:15:48] 471*2^835615-1 is not prime. Res64: C0EABAC30C98BE17 Time : 1051.0 sec. user=Flatlander [2010-06-24 16:15:56] 513*2^835590-1 is not prime. Res64: A4AC55586E182602 Time : 4642.0 sec. user=Flatlander [2010-06-24 16:15:56] 543*2^835590-1 is not prime. Res64: 0DE1C0B71A6EE836 Time : 4640.0 sec. user=Flatlander [2010-06-24 16:15:56] 405*2^835591-1 is not prime. Res64: EA8ECCF10ED2469E Time : 4638.0 sec. user=Flatlander [2010-06-24 16:15:56] 423*2^835591-1 is not prime. Res64: 5010AE71A33BC59D Time : 4637.0 sec. user=Flatlander [2010-06-24 16:15:56] 453*2^835591-1 is not prime. Res64: 98F3A4F66BFC7BDC Time : 4635.0 sec. user=vaughan [2010-06-24 16:16:59] 531*2^835615-1 is not prime. Res64: CEC1EB6A4C683E33 Time : 1052.0 sec. user=vaughan [2010-06-24 16:17:47] 471*2^835617-1 is not prime. Res64: AC649E6076D5B195 Time : 716.0 sec. user=vaughan [2010-06-24 16:18:47] 465*2^835616-1 is not prime. Res64: B39761AFD126C591 Time : 1005.0 sec. user=vaughan [2010-06-24 16:19:44] 447*2^835617-1 is not prime. Res64: E6033A966A4A29FA Time : 990.0 sec. user=vaughan [2010-06-24 16:19:59] 537*2^835617-1 is not prime. Res64: 72CD2199C2998532 Time : 715.0 sec. user=vaughan [2010-06-24 16:20:02] 577*2^835617-1 is not prime. Res64: 0A2098BBFD74DA19 Time : 713.0 sec. user=vaughan [2010-06-24 16:21:07] 557*2^835616-1 is not prime. Res64: 3509ABF14DF716F4 Time : 1130.0 sec. user=vaughan [2010-06-24 16:23:27] 499*2^835617-1 is not prime. Res64: BD1D0ECFC9F60BEE Time : 1039.0 sec. user=vaughan [2010-06-24 16:23:42] 507*2^835617-1 is not prime. Res64: 444C15A9FED814B0 Time : 984.0 sec. user=vaughan [2010-06-24 16:24:42] 423*2^835618-1 is not prime. Res64: 016A43F10088AF87 Time : 989.0 sec. user=vaughan [2010-06-24 16:25:21] 425*2^835618-1 is not prime. Res64: A4BB944BB5A72CC1 Time : 1013.0 sec. user=vaughan [2010-06-24 16:25:31] 513*2^835618-1 is not prime. Res64: 3CA7BF19067CD046 Time : 998.0 sec. user=vaughan [2010-06-24 16:25:57] 471*2^835618-1 is not prime. Res64: 59DB8E82491E4048 Time : 1037.0 sec. user=vaughan [2010-06-24 16:27:27] 527*2^835618-1 is not prime. Res64: 8A8F3F7395AA394E Time : 1013.0 sec. user=vaughan [2010-06-24 16:27:52] 581*2^835618-1 is not prime. Res64: 0F87B4674CBA5258 Time : 1021.0 sec. user=vaughan [2010-06-24 16:29:42] 405*2^835621-1 is not prime. Res64: 8156C08ED8461069 Time : 715.0 sec. user=Flatlander [2010-06-24 16:29:48] 549*2^835573-1 is not prime. Res64: 99C02499EC910AB1 Time : 7648.0 sec. user=Flatlander [2010-06-24 16:29:49] 403*2^835575-1 is not prime. Res64: 7396D54DA2D233A4 Time : 7648.0 sec. user=Flatlander [2010-06-24 16:29:50] 451*2^835575-1 is not prime. Res64: 00CEC0ECB6E02065 Time : 7648.0 sec. user=Flatlander [2010-06-24 16:29:50] 469*2^835575-1 is not prime. Res64: 692147C63FF67B23 Time : 7647.0 sec. user=Flatlander [2010-06-24 16:29:51] 555*2^835575-1 is not prime. Res64: C8026231B37287A4 Time : 7647.0 sec. user=vaughan [2010-06-24 16:31:26] 531*2^835619-1 is not prime. Res64: A8ABA9B5F0483129 Time : 1132.0 sec. user=vaughan [2010-06-24 16:31:54] 417*2^835622-1 is not prime. Res64: 513A755D2A8F1AB2 Time : 713.0 sec. user=vaughan [2010-06-24 16:31:58] 525*2^835621-1 is not prime. Res64: AC9EDED8E68B6606 Time : 719.0 sec. user=vaughan [2010-06-24 16:33:16] 589*2^835619-1 is not prime. Res64: FE72567C0EB26FF1 Time : 1048.0 sec. user=vaughan [2010-06-24 16:34:32] 597*2^835620-1 is not prime. Res64: 62361CC68443D6CA Time : 1053.0 sec. user=vaughan [2010-06-24 16:35:31] 409*2^835621-1 is not prime. Res64: 24FB5320128719DF Time : 1004.0 sec. user=vaughan [2010-06-24 16:36:12] 465*2^835621-1 is not prime. Res64: 7B5201461ED2EF06 Time : 988.0 sec. user=vaughan [2010-06-24 16:39:56] 423*2^835622-1 is not prime. Res64: EDE2401A63E9959B Time : 1130.0 sec. user=vaughan [2010-06-24 16:40:05] 557*2^835622-1 is not prime. Res64: BBEEEB06283E7D52 Time : 983.0 sec. user=vaughan [2010-06-24 16:40:44] 455*2^835622-1 is not prime. Res64: CAC0F39D5F39F240 Time : 1037.0 sec. user=vaughan [2010-06-24 16:41:10] 563*2^835622-1 is not prime. Res64: 2BBD4A3C4CAF785B Time : 988.0 sec. user=vaughan [2010-06-24 16:41:37] 527*2^835624-1 is not prime. Res64: 3F96E9E7AD30342F Time : 715.0 sec. user=vaughan [2010-06-24 16:42:08] 591*2^835623-1 is not prime. Res64: 4006962F74B19092 Time : 997.0 sec. user=vaughan [2010-06-24 16:42:13] 459*2^835623-1 is not prime. Res64: BD9ADF8E380EBAEB Time : 1013.0 sec. user=Flatlander [2010-06-24 16:42:49] 589*2^835579-1 is not prime. Res64: 7A15F005C5F09BD7 Time : 7808.0 sec. user=Flatlander [2010-06-24 16:42:50] 467*2^835580-1 is not prime. Res64: FE8C0A10F416625F Time : 7807.0 sec. user=Flatlander [2010-06-24 16:42:50] 563*2^835580-1 is not prime. Res64: 666299FCE768CD69 Time : 7806.0 sec. user=Flatlander [2010-06-24 16:42:51] 415*2^835581-1 is not prime. Res64: 420B66F98A84627B Time : 7805.0 sec. user=Flatlander [2010-06-24 16:42:51] 565*2^835581-1 is not prime. Res64: 27A08E7891618990 Time : 7803.0 sec. user=vaughan [2010-06-24 16:43:14] 447*2^835624-1 is not prime. Res64: 1F0B4FCA5AD76C56 Time : 1037.0 sec. user=vaughan [2010-06-24 16:43:46] 521*2^835626-1 is not prime. Res64: 77224F5F6FA4C08C Time : 712.0 sec. user=vaughan [2010-06-24 16:43:53] 405*2^835627-1 is not prime. Res64: 068DED5D0BF7B7F8 Time : 716.0 sec. user=vaughan [2010-06-24 16:44:19] 455*2^835624-1 is not prime. Res64: 2BB4C3E11508A8F0 Time : 1013.0 sec. user=vaughan [2010-06-24 16:44:53] 479*2^835624-1 is not prime. Res64: F77FDA866EACA3D9 Time : 1021.0 sec. user=vaughan [2010-06-24 16:45:12] 481*2^835619-1 is not prime. Res64: 85A1227DC7D7300D Time : 1980.0 sec. user=vaughan [2010-06-24 16:48:03] 571*2^835619-1 is not prime. Res64: AF6559418C2380C5 Time : 1980.0 sec. user=Flatlander [2010-06-24 16:49:32] 581*2^835582-1 is not prime. Res64: A5BDFF8C0072744C Time : 7917.0 sec. user=Flatlander [2010-06-24 16:49:33] 591*2^835582-1 is not prime. Res64: 7ACDC11345BA8573 Time : 7916.0 sec. user=Flatlander [2010-06-24 16:49:33] 451*2^835583-1 is not prime. Res64: 8DB9ABE9DE69713E Time : 7914.0 sec. user=Flatlander [2010-06-24 16:49:33] 523*2^835583-1 is not prime. Res64: 4DDF83D466E37112 Time : 7913.0 sec. user=Flatlander [2010-06-24 16:49:34] 565*2^835583-1 is not prime. Res64: 55400DEE70364C77 Time : 7912.0 sec. user=vaughan [2010-06-24 16:50:17] 405*2^835626-1 is not prime. Res64: 4BA0554C55E6F8AD Time : 1131.0 sec. user=vaughan [2010-06-24 16:50:46] 433*2^835627-1 is not prime. Res64: 4D8433CA91EED62E Time : 1051.0 sec. user=vaughan [2010-06-24 16:52:05] 519*2^835627-1 is not prime. Res64: EFF8E2BFDF9BCA80 Time : 1053.0 sec. user=vaughan [2010-06-24 16:52:17] 573*2^835627-1 is not prime. Res64: 5954873B7519A303 Time : 1006.0 sec. user=vaughan [2010-06-24 16:52:42] 479*2^835628-1 is not prime. Res64: 864C3F9F61767657 Time : 990.0 sec. user=vaughan [2010-06-24 16:53:33] 507*2^835629-1 is not prime. Res64: 104A4EECE37C302A Time : 716.0 sec. user=vaughan [2010-06-24 16:55:38] 479*2^835632-1 is not prime. Res64: BFB52F56D51E4EE7 Time : 712.0 sec. user=vaughan [2010-06-24 16:55:48] 569*2^835632-1 is not prime. Res64: BCC72C6CE17253FD Time : 715.0 sec. user=vaughan [2010-06-24 16:56:29] 599*2^835628-1 is not prime. Res64: DB59C3E975152CDF Time : 984.0 sec. user=vaughan [2010-06-24 16:57:37] 471*2^835629-1 is not prime. Res64: B95422ECADF5ACD3 Time : 988.0 sec. user=vaughan [2010-06-24 16:58:00] 429*2^835629-1 is not prime. Res64: 79F46DFD1D728416 Time : 1036.0 sec. user=vaughan [2010-06-24 16:58:44] 525*2^835629-1 is not prime. Res64: E695D89F6CABE9C2 Time : 996.0 sec. user=vaughan [2010-06-24 16:58:46] 537*2^835628-1 is not prime. Res64: B5BEE7B88EFF0514 Time : 1131.0 sec. user=vaughan [2010-06-24 16:59:07] 565*2^835629-1 is not prime. Res64: E32322956D0F3C81 Time : 1014.0 sec. user=vaughan [2010-06-24 17:00:30] 571*2^835631-1 is not prime. Res64: 87E036E7072A69FB Time : 1037.0 sec. user=vaughan [2010-06-24 17:01:12] 405*2^835633-1 is not prime. Res64: 37448414E1901A67 Time : 1013.0 sec. user=vaughan [2010-06-24 17:01:52] 427*2^835633-1 is not prime. Res64: C900F610F85965BE Time : 1020.0 sec. user=vaughan [2010-06-24 17:05:28] 405*2^835637-1 is not prime. Res64: 41D7575C0EF56104 Time : 715.0 sec. user=vaughan [2010-06-24 17:07:31] 439*2^835637-1 is not prime. Res64: FC105565D4DE333E Time : 713.0 sec. user=vaughan [2010-06-24 17:07:44] 487*2^835637-1 is not prime. Res64: C65809C8F5E041B1 Time : 716.0 sec. user=vaughan [2010-06-24 17:08:14] 529*2^835635-1 is not prime. Res64: 6E50296BB6EF9FE1 Time : 1048.0 sec. user=vaughan [2010-06-24 17:09:02] 497*2^835636-1 is not prime. Res64: 2442F6637BCD1864 Time : 1005.0 sec. user=vaughan [2010-06-24 17:09:07] 459*2^835635-1 is not prime. Res64: F184C10996B5C895 Time : 1130.0 sec. user=vaughan [2010-06-24 17:09:10] 587*2^835636-1 is not prime. Res64: 755CBFB1227033CB Time : 989.0 sec. user=vaughan [2010-06-24 17:09:38] 573*2^835635-1 is not prime. Res64: EA57D79DA2E2D1D2 Time : 1054.0 sec. user=vaughan [2010-06-24 17:12:51] 489*2^835637-1 is not prime. Res64: EB89D178463427A9 Time : 982.0 sec. user=vaughan [2010-06-24 17:14:06] 565*2^835637-1 is not prime. Res64: 6532DEE8B20649AB Time : 989.0 sec. user=vaughan [2010-06-24 17:15:19] 571*2^835637-1 is not prime. Res64: 128A317A31F2BA8C Time : 1039.0 sec. user=vaughan [2010-06-24 17:15:22] 483*2^835638-1 is not prime. Res64: 145B93D13DA8E712 Time : 998.0 sec. user=vaughan [2010-06-24 17:15:59] 465*2^835639-1 is not prime. Res64: F6E01A9274D5B425 Time : 1013.0 sec. user=vaughan [2010-06-24 17:17:23] 589*2^835639-1 is not prime. Res64: 908A1299311A1899 Time : 715.0 sec. user=vaughan [2010-06-24 17:17:34] 567*2^835638-1 is not prime. Res64: E0F7098C2D5F8574 Time : 1128.0 sec. user=vaughan [2010-06-24 17:17:47] 469*2^835639-1 is not prime. Res64: 4070D8E2C466195A Time : 1038.0 sec. user=vaughan [2010-06-24 17:18:03] 429*2^835633-1 is not prime. Res64: 332F4BCE9C430AC3 Time : 1972.0 sec. user=vaughan [2010-06-24 17:18:05] 549*2^835639-1 is not prime. Res64: 57447147F32D7FBA Time : 1013.0 sec. user=vaughan [2010-06-24 17:18:53] 561*2^835639-1 is not prime. Res64: E7DE0083EF0FCEDD Time : 1021.0 sec. user=vaughan [2010-06-24 17:19:23] 455*2^835640-1 is not prime. Res64: 2A1C51321C343DC0 Time : 713.0 sec. user=vaughan [2010-06-24 17:19:39] 503*2^835640-1 is not prime. Res64: 73855D779CA0710C Time : 716.0 sec. user=vaughan [2010-06-24 17:20:57] 565*2^835633-1 is not prime. Res64: 824EB4E7E2CCAF22 Time : 1974.0 sec. user=vaughan [2010-06-24 17:25:40] 533*2^835640-1 is not prime. Res64: 72850C20F068A5E5 Time : 1047.0 sec. user=vaughan [2010-06-24 17:25:41] 445*2^835641-1 is not prime. Res64: 1B1116BDF192E9E5 Time : 991.0 sec. user=vaughan [2010-06-24 17:25:46] 585*2^835640-1 is not prime. Res64: 6461D4E4E06F3C17 Time : 1005.0 sec. user=vaughan [2010-06-24 17:27:22] 465*2^835641-1 is not prime. Res64: AAA93FC0BC11CAE0 Time : 1065.0 sec. user=vaughan [2010-06-24 17:28:04] 415*2^835641-1 is not prime. Res64: 0818AED1EBECD965 Time : 1137.0 sec. user=vaughan [2010-06-24 17:29:14] 411*2^835021-1 is not prime. Res64: 5617283BB35526B3 Time : 983.0 sec. user=vaughan [2010-06-24 17:29:19] 535*2^835641-1 is not prime. Res64: E96E99C3CB19DB05 Time : 716.0 sec. user=vaughan [2010-06-24 17:30:32] 451*2^835021-1 is not prime. Res64: 5906BE7F0DC75AAE Time : 987.0 sec. user=vaughan [2010-06-24 17:31:15] 581*2^835642-1 is not prime. Res64: 97863FE18FEF9BF9 Time : 713.0 sec. user=vaughan [2010-06-24 17:31:34] 411*2^835643-1 is not prime. Res64: 10CCCFD9DE7E0F01 Time : 715.0 sec. user=vaughan [2010-06-24 17:31:57] 417*2^835022-1 is not prime. Res64: BF258FC44EEF549C Time : 996.0 sec. user=vaughan [2010-06-24 17:32:39] 577*2^835021-1 is not prime. Res64: 8C01BFF67FF7D3EE Time : 1040.0 sec. user=vaughan [2010-06-24 17:32:53] 455*2^835022-1 is not prime. Res64: BCAA8F21529721E4 Time : 1014.0 sec. user=vaughan [2010-06-24 17:34:59] 491*2^835642-1 is not prime. Res64: 60E42AD8E00D8A23 Time : 1014.0 sec. user=vaughan [2010-06-24 17:35:07] 571*2^835641-1 is not prime. Res64: FB3B74395D566E30 Time : 1041.0 sec. user=vaughan [2010-06-24 17:35:59] 573*2^835642-1 is not prime. Res64: 074EEABE51F55BC8 Time : 1026.0 sec. user=vaughan [2010-06-24 17:36:33] 537*2^835641-1 is not prime. Res64: 7AEFF7F778E81DC2 Time : 1139.0 sec. user=vaughan [2010-06-24 17:41:14] 455*2^835644-1 is not prime. Res64: 72737E554DF6B48B Time : 716.0 sec. user=vaughan [2010-06-24 17:42:08] 519*2^835643-1 is not prime. Res64: C1271CC00107622C Time : 987.0 sec. user=vaughan [2010-06-24 17:42:31] 523*2^835643-1 is not prime. Res64: E3ABD0CA57590A18 Time : 1005.0 sec. user=vaughan [2010-06-24 17:43:05] 453*2^835643-1 is not prime. Res64: 704FF5F3D6BEC685 Time : 1045.0 sec. user=vaughan [2010-06-24 17:43:07] 503*2^835644-1 is not prime. Res64: 97ECE5ADBDD21369 Time : 712.0 sec. user=vaughan [2010-06-24 17:43:29] 567*2^835644-1 is not prime. Res64: BD12560204722B00 Time : 715.0 sec. user=vaughan [2010-06-24 17:44:55] 589*2^835643-1 is not prime. Res64: EEC1C32018A2B43B Time : 1053.0 sec. user=Flatlander [2010-06-24 17:45:07] 549*2^835624-1 is not prime. Res64: 380EA3A9DE00078C Time : 4515.0 sec. user=Flatlander [2010-06-24 17:45:07] 441*2^835625-1 is not prime. Res64: C37844889B284220 Time : 4514.0 sec. user=Flatlander [2010-06-24 17:45:07] 445*2^835625-1 is not prime. Res64: BD1F25A320CA5F45 Time : 4512.0 sec. user=Flatlander [2010-06-24 17:45:07] 475*2^835625-1 is not prime. Res64: B097B69C0E420577 Time : 4511.0 sec. user=Flatlander [2010-06-24 17:45:07] 525*2^835625-1 is not prime. Res64: 73A668F2E1A324B1 Time : 4510.0 sec. user=vaughan [2010-06-24 17:45:39] 423*2^835644-1 is not prime. Res64: 1C691293ADF9BC22 Time : 985.0 sec. user=vaughan [2010-06-24 17:46:54] 591*2^835643-1 is not prime. Res64: FD61B1153FC449B7 Time : 1131.0 sec. user=vaughan [2010-06-24 17:47:03] 483*2^835644-1 is not prime. Res64: AA1520632F9074E3 Time : 991.0 sec. user=vaughan [2010-06-24 17:48:34] 585*2^835644-1 is not prime. Res64: C69E15EA54E02320 Time : 998.0 sec. user=vaughan [2010-06-24 17:49:52] 465*2^835645-1 is not prime. Res64: 0C39A6467B03ECB2 Time : 1020.0 sec. user=vaughan [2010-06-24 17:49:59] 597*2^835644-1 is not prime. Res64: 0D45C7B412D85D31 Time : 1040.0 sec. user=vaughan [2010-06-24 17:51:03] 597*2^835641-1 is not prime. Res64: A2A7D25CD9E63C1E Time : 1980.0 sec. user=vaughan [2010-06-24 17:52:00] 481*2^835645-1 is not prime. Res64: 07546BBA631DB503 Time : 1022.0 sec. user=vaughan [2010-06-24 17:52:23] 519*2^835645-1 is not prime. Res64: 2F1DE7F6E44810CF Time : 1037.0 sec. user=vaughan [2010-06-24 17:52:58] 417*2^835646-1 is not prime. Res64: EC49D8A087DCD934 Time : 1020.0 sec. user=vaughan [2010-06-24 17:53:09] 515*2^835646-1 is not prime. Res64: 6FA7ABE7809CDD89 Time : 715.0 sec. user=vaughan [2010-06-24 17:53:55] 433*2^835643-1 is not prime. Res64: FA0E22A239A4C344 Time : 1978.0 sec. user=vaughan [2010-06-24 17:54:58] 475*2^835647-1 is not prime. Res64: 4E8C0E2E82248275 Time : 711.0 sec. user=vaughan [2010-06-24 17:55:21] 461*2^835646-1 is not prime. Res64: DE1A84FB127C236B Time : 1128.0 sec. user=vaughan [2010-06-24 17:55:25] 511*2^835647-1 is not prime. Res64: 0162905B352BB710 Time : 716.0 sec. user=vaughan [2010-06-24 17:58:38] 573*2^835646-1 is not prime. Res64: 2CFA028E86C0CCA3 Time : 990.0 sec. user=vaughan [2010-06-24 17:59:15] 581*2^835646-1 is not prime. Res64: BBCA3C7C4EDDF91E Time : 1004.0 sec. user=vaughan [2010-06-24 18:00:50] 441*2^835647-1 is not prime. Res64: EEFFF3DBB46AF54F Time : 1065.0 sec. user=vaughan [2010-06-24 18:02:03] 563*2^835648-1 is not prime. Res64: 4C5BA374C7EA793B Time : 985.0 sec. user=vaughan [2010-06-24 18:02:29] 543*2^835647-1 is not prime. Res64: 5BB9551412CC0B25 Time : 1054.0 sec. user=vaughan [2010-06-24 18:03:46] 597*2^835648-1 is not prime. Res64: AD2EEDA63CF29FD9 Time : 1003.0 sec. user=Flatlander [2010-06-24 18:04:01] 437*2^835620-1 is not prime. Res64: 730C5FA996124C06 Time : 6484.0 sec. user=Flatlander [2010-06-24 18:04:01] 453*2^835620-1 is not prime. Res64: 8B6CA0985517260E Time : 6484.0 sec. user=Flatlander [2010-06-24 18:04:01] 513*2^835620-1 is not prime. Res64: 7207D202AD1E3583 Time : 6484.0 sec. user=Flatlander [2010-06-24 18:04:01] 545*2^835620-1 is not prime. Res64: 9ACA5982C4C07F8C Time : 6483.0 sec. user=Flatlander [2010-06-24 18:04:01] 549*2^835620-1 is not prime. Res64: 5E548325D29518D3 Time : 6483.0 sec. user=vaughan [2010-06-24 18:05:05] 511*2^835651-1 is not prime. Res64: CD7B014807C7E380 Time : 716.0 sec. user=vaughan [2010-06-24 18:05:20] 447*2^835649-1 is not prime. Res64: F9EAA2513EB987AD Time : 1006.0 sec. user=Flatlander [2010-06-24 18:05:22] 595*2^835629-1 is not prime. Res64: D90C6CD29A688593 Time : 4949.0 sec. user=Flatlander [2010-06-24 18:05:22] 483*2^835630-1 is not prime. Res64: BADF44DB40EA438E Time : 4948.0 sec. user=Flatlander [2010-06-24 18:05:22] 533*2^835630-1 is not prime. Res64: F5D918C9A86073AC Time : 4948.0 sec. user=Flatlander [2010-06-24 18:05:22] 587*2^835630-1 is not prime. Res64: 15ADE4837F4E05CC Time : 4947.0 sec. user=Flatlander [2010-06-24 18:05:22] 453*2^835631-1 is not prime. Res64: 8762DB022FE368F1 Time : 4946.0 sec. user=vaughan [2010-06-24 18:05:45] 575*2^835648-1 is not prime. Res64: CFD8A23070F2B69D Time : 1131.0 sec. user=vaughan [2010-06-24 18:06:51] 405*2^835652-1 is not prime. Res64: ED86759C7072048A Time : 713.0 sec. user=vaughan [2010-06-24 18:07:05] 525*2^835649-1 is not prime. Res64: 01A3204AC895942B Time : 1034.0 sec. user=vaughan [2010-06-24 18:07:20] 479*2^835652-1 is not prime. Res64: A890E51B0E01BE2A Time : 716.0 sec. user=vaughan [2010-06-24 18:07:38] 567*2^835649-1 is not prime. Res64: 83AA2278DFD6612E Time : 1059.0 sec. user=vaughan [2010-06-24 18:09:12] 567*2^835650-1 is not prime. Res64: 17B1F55607A93963 Time : 1032.0 sec. user=vaughan [2010-06-24 18:09:38] 451*2^835651-1 is not prime. Res64: 58ECA8AFBE3376F6 Time : 1036.0 sec. user=vaughan [2010-06-24 18:09:58] 465*2^835651-1 is not prime. Res64: AC17CFE5502F032C Time : 1020.0 sec. user=vaughan [2010-06-24 18:14:09] 477*2^835652-1 is not prime. Res64: 0F967CF2704EDBA7 Time : 1128.0 sec. user=vaughan [2010-06-24 18:15:06] 445*2^835653-1 is not prime. Res64: D9D655F2AFB795F1 Time : 989.0 sec. user=vaughan [2010-06-24 18:16:00] 499*2^835653-1 is not prime. Res64: 210AD3989237ED7C Time : 1005.0 sec. user=vaughan [2010-06-24 18:17:00] 585*2^835655-1 is not prime. Res64: 5EEAD80E7FF3CC3C Time : 716.0 sec. user=vaughan [2010-06-24 18:18:20] 529*2^835653-1 is not prime. Res64: 191E5550AAD6A191 Time : 1050.0 sec. user=vaughan [2010-06-24 18:18:26] 447*2^835654-1 is not prime. Res64: FB907CE656EBFF84 Time : 983.0 sec. user=vaughan [2010-06-24 18:18:42] 573*2^835658-1 is not prime. Res64: E8459574B1ABA008 Time : 712.0 sec. user=vaughan [2010-06-24 18:19:15] 411*2^835659-1 is not prime. Res64: 07F175B17D70627E Time : 715.0 sec. user=vaughan [2010-06-24 18:20:02] 525*2^835654-1 is not prime. Res64: 836A277C77B2BB61 Time : 1053.0 sec. user=vaughan [2010-06-24 18:20:28] 527*2^835654-1 is not prime. Res64: BBB37889456AFA96 Time : 1002.0 sec. user=vaughan [2010-06-24 18:22:06] 557*2^835656-1 is not prime. Res64: EE0EDA2C89138A2A Time : 1006.0 sec. user=vaughan [2010-06-24 18:23:53] 447*2^835650-1 is not prime. Res64: D63798E7D14129EB Time : 1971.0 sec. user=vaughan [2010-06-24 18:24:18] 585*2^835658-1 is not prime. Res64: 9423EBB1EB310703 Time : 1034.0 sec. user=vaughan [2010-06-24 18:24:35] 561*2^835658-1 is not prime. Res64: DB0946F8CCF040C6 Time : 1131.0 sec. user=vaughan [2010-06-24 18:24:56] 483*2^835659-1 is not prime. Res64: 9AE5E461695F5C72 Time : 1038.0 sec. user=vaughan [2010-06-24 18:26:25] 501*2^835659-1 is not prime. Res64: 5A06A9B2A0DFFA0D Time : 1033.0 sec. user=vaughan [2010-06-24 18:26:48] 549*2^835651-1 is not prime. Res64: 99982F9F27B3C413 Time : 1973.0 sec. user=vaughan [2010-06-24 18:26:58] 483*2^835660-1 is not prime. Res64: 8205E8847408290C Time : 1020.0 sec. user=vaughan [2010-06-24 18:27:01] 573*2^835659-1 is not prime. Res64: 63065F181B8FF2A6 Time : 1043.0 sec. user=vaughan [2010-06-24 18:28:55] 525*2^835661-1 is not prime. Res64: FE64E272F5DAEB71 Time : 715.0 sec. user=vaughan [2010-06-24 18:30:34] 405*2^835662-1 is not prime. Res64: A7FE688AE0E1945F Time : 712.0 sec. user=vaughan [2010-06-24 18:31:11] 453*2^835662-1 is not prime. Res64: AB0DA9A3EAC63553 Time : 716.0 sec. user=vaughan [2010-06-24 18:31:36] 475*2^835661-1 is not prime. Res64: 52EA76C9792F7734 Time : 991.0 sec. user=vaughan [2010-06-24 18:32:52] 511*2^835661-1 is not prime. Res64: C536574C1DE11892 Time : 1012.0 sec. user=vaughan [2010-06-24 18:32:59] 447*2^835661-1 is not prime. Res64: 8198685C169978AB Time : 1130.0 sec. user=vaughan [2010-06-24 18:34:55] 401*2^835662-1 is not prime. Res64: C5CF12D9B4334361 Time : 989.0 sec. user=vaughan [2010-06-24 18:35:47] 549*2^835661-1 is not prime. Res64: 2D9862039821DF98 Time : 1048.0 sec. user=vaughan [2010-06-24 18:37:09] 433*2^835663-1 is not prime. Res64: BAD468433BC62645 Time : 1001.0 sec. user=vaughan [2010-06-24 18:37:35] 525*2^835662-1 is not prime. Res64: 754D67D9668E5A53 Time : 1053.0 sec. user=vaughan [2010-06-24 18:38:52] 493*2^835663-1 is not prime. Res64: B432CEC0023EB78B Time : 1007.0 sec. user=vaughan [2010-06-24 18:40:50] 579*2^835665-1 is not prime. Res64: 6B70E04F1D076D5E Time : 715.0 sec. user=vaughan [2010-06-24 18:41:30] 595*2^835663-1 is not prime. Res64: 066ACCCD2D69F236 Time : 1033.0 sec. user=vaughan [2010-06-24 18:42:16] 599*2^835664-1 is not prime. Res64: C9DC46B2D0652B87 Time : 1041.0 sec. user=vaughan [2010-06-24 18:42:25] 591*2^835665-1 is not prime. Res64: E5849A1F913C2445 Time : 711.0 sec. user=vaughan [2010-06-24 18:43:09] 425*2^835666-1 is not prime. Res64: 559C3139EFF14404 Time : 719.0 sec. user=vaughan [2010-06-24 18:43:25] 563*2^835664-1 is not prime. Res64: FB22D3D667727908 Time : 1131.0 sec. user=vaughan [2010-06-24 18:43:38] 405*2^835665-1 is not prime. Res64: 3183CCB522BB321E Time : 1034.0 sec. user=vaughan [2010-06-24 18:43:58] 525*2^835665-1 is not prime. Res64: 5B9F958037E4F737 Time : 1020.0 sec. user=vaughan [2010-06-24 18:44:17] 577*2^835665-1 is not prime. Res64: 32A253C3897569D0 Time : 1036.0 sec. user=vaughan [2010-06-24 18:48:04] 443*2^835666-1 is not prime. Res64: AA3E1E222D0B4E5F Time : 989.0 sec. user=vaughan [2010-06-24 18:49:38] 477*2^835666-1 is not prime. Res64: 3DDDED6F8C908350 Time : 1006.0 sec. user=vaughan [2010-06-24 18:51:20] 531*2^835666-1 is not prime. Res64: F862AB842A19F35B Time : 985.0 sec. user=vaughan [2010-06-24 18:51:48] 513*2^835666-1 is not prime. Res64: 93D5C4F31048228B Time : 1130.0 sec. user=vaughan [2010-06-24 18:52:46] 505*2^835667-1 is not prime. Res64: F22C230A031E2D0E Time : 716.0 sec. user=vaughan [2010-06-24 18:53:15] 567*2^835666-1 is not prime. Res64: 8A9CE56F5E92D26B Time : 1048.0 sec. user=vaughan [2010-06-24 18:53:50] 469*2^835667-1 is not prime. Res64: 64053D6A97457821 Time : 1001.0 sec. user=vaughan [2010-06-24 18:54:17] 595*2^835667-1 is not prime. Res64: 0C581A9652C9A4A8 Time : 712.0 sec. user=vaughan [2010-06-24 18:55:04] 423*2^835668-1 is not prime. Res64: D5397900336B47B1 Time : 715.0 sec. user=vaughan [2010-06-24 18:55:09] 475*2^835667-1 is not prime. Res64: 7FA2736FF49ED3A4 Time : 1054.0 sec. user=vaughan [2010-06-24 18:55:38] 493*2^835667-1 is not prime. Res64: 6380A3995FBC0ED8 Time : 1006.0 sec. user=vaughan [2010-06-24 18:58:03] 559*2^835663-1 is not prime. Res64: A9DA7F06C97A8494 Time : 2050.0 sec. user=Flatlander [2010-06-24 18:58:28] 577*2^835633-1 is not prime. Res64: 14CDF89DC78EAC40 Time : 7733.0 sec. user=Flatlander [2010-06-24 18:58:28] 497*2^835634-1 is not prime. Res64: 54D5AAD23E9D1801 Time : 7733.0 sec. user=Flatlander [2010-06-24 18:58:28] 531*2^835634-1 is not prime. Res64: 4C98DE3918FEFC9F Time : 7732.0 sec. user=Flatlander [2010-06-24 18:58:29] 567*2^835634-1 is not prime. Res64: 363A63DAAE578A8B Time : 7732.0 sec. user=Flatlander [2010-06-24 18:58:29] 409*2^835635-1 is not prime. Res64: 0C91AE7D2DA9D5D4 Time : 7731.0 sec. user=vaughan [2010-06-24 18:58:44] 571*2^835667-1 is not prime. Res64: 08C541DDD2690040 Time : 1034.0 sec. user=vaughan [2010-06-24 18:59:34] 585*2^835667-1 is not prime. Res64: 9D123C7F445EF1DB Time : 1038.0 sec. user=vaughan [2010-06-24 18:59:49] 481*2^835665-1 is not prime. Res64: 4ED2766F14EA05C3 Time : 1982.0 sec. user=vaughan [2010-06-24 19:00:53] 411*2^835669-1 is not prime. Res64: 6DC1E83953CC494E Time : 1035.0 sec. user=vaughan [2010-06-24 19:00:59] 421*2^835669-1 is not prime. Res64: 5589083F257D2689 Time : 1021.0 sec. user=vaughan [2010-06-24 19:01:31] 429*2^835669-1 is not prime. Res64: E13A5E12F06DEC29 Time : 1034.0 sec. user=vaughan [2010-06-24 19:02:18] 555*2^835668-1 is not prime. Res64: 77E571303762578C Time : 1133.0 sec. user=vaughan [2010-06-24 19:04:33] 441*2^835669-1 is not prime. Res64: DC49AAAD0547034C Time : 989.0 sec. user=vaughan [2010-06-24 19:29:04] 595*2^835669-1 is not prime. Res64: 9B5AB4F5E27EED2A Time : 2179.0 sec. user=vaughan [2010-06-24 19:29:05] 447*2^835676-1 is not prime. Res64: A2D6FDC54E13D92B Time : 1655.0 sec. user=vaughan [2010-06-24 19:29:06] 423*2^835671-1 is not prime. Res64: 868CBBB70CD51DE2 Time : 2037.0 sec. user=vaughan [2010-06-24 19:29:06] 455*2^835670-1 is not prime. Res64: 87E42F80A98F8E7A Time : 2090.0 sec. user=vaughan [2010-06-24 19:29:06] 565*2^835669-1 is not prime. Res64: 86C4189D968FB5F9 Time : 2239.0 sec. user=vaughan [2010-06-24 19:29:08] 481*2^835675-1 is not prime. Res64: EAAE3D3DC4EE9CF4 Time : 1696.0 sec. user=vaughan [2010-06-24 19:29:09] 531*2^835675-1 is not prime. Res64: F5E6ECF3F30A00BE Time : 1691.0 sec. user=vaughan [2010-06-24 19:29:09] 429*2^835672-1 is not prime. Res64: 8EA44AF569C1A4F8 Time : 2011.0 sec. user=vaughan [2010-06-24 19:29:12] 465*2^835669-1 is not prime. Res64: 4D725CF91FFD44AD Time : 2375.0 sec. user=vaughan [2010-06-24 19:29:13] 411*2^835670-1 is not prime. Res64: 0A4E2D82C2C29B6C Time : 2123.0 sec. user=vaughan [2010-06-24 19:29:17] 585*2^835673-1 is not prime. Res64: 680E19F3035E7B82 Time : 1833.0 sec. user=vaughan [2010-06-24 19:29:17] 407*2^835670-1 is not prime. Res64: BB569F8F12589B88 Time : 2163.0 sec. user=vaughan [2010-06-24 19:30:03] 405*2^835671-1 is not prime. Res64: C12692313FF6DF38 Time : 2099.0 sec. user=vaughan [2010-06-24 19:30:10] 571*2^835677-1 is not prime. Res64: 73E22A43C957F0B0 Time : 1673.0 sec. user=vaughan [2010-06-24 19:30:19] 447*2^835674-1 is not prime. Res64: E949F0D1A84AF5D4 Time : 1846.0 sec. user=vaughan [2010-06-24 19:30:46] 489*2^835669-1 is not prime. Res64: 6BF52AD086039830 Time : 2367.0 sec. user=vaughan [2010-06-24 19:31:28] 569*2^835672-1 is not prime. Res64: 477DF2FF938858AB Time : 2006.0 sec. user=vaughan [2010-06-24 19:33:10] 401*2^835678-1 is not prime. Res64: C7717C897F26EAB8 Time : 1717.0 sec. user=Flatlander [2010-06-24 19:33:40] 419*2^835648-1 is not prime. Res64: 814AB985A690A796 Time : 6512.0 sec. user=Flatlander [2010-06-24 19:33:40] 435*2^835648-1 is not prime. Res64: D0DE8B12982462B0 Time : 6512.0 sec. user=Flatlander [2010-06-24 19:33:41] 485*2^835648-1 is not prime. Res64: 22C3DA3D452B36E2 Time : 6512.0 sec. user=Flatlander [2010-06-24 19:33:41] 509*2^835648-1 is not prime. Res64: EE0A5B433A1A6352 Time : 6512.0 sec. user=Flatlander [2010-06-24 19:33:42] 549*2^835648-1 is not prime. Res64: 8F4E947C63888BDA Time : 6513.0 sec. user=vaughan [2010-06-24 19:34:18] 475*2^835675-1 is not prime. Res64: 51C807B0C2ECC231 Time : 2069.0 sec. user=Flatlander [2010-06-24 19:35:50] 469*2^835657-1 is not prime. Res64: D7904953DEA9095B Time : 5427.0 sec. user=Flatlander [2010-06-24 19:35:50] 423*2^835658-1 is not prime. Res64: 5BE4BF75752E50A8 Time : 5427.0 sec. user=Flatlander [2010-06-24 19:35:51] 507*2^835658-1 is not prime. Res64: C02BBA15D09E023B Time : 5428.0 sec. user=Flatlander [2010-06-24 19:35:51] 525*2^835658-1 is not prime. Res64: D8B430F79571B6E1 Time : 5427.0 sec. user=Flatlander [2010-06-24 19:35:51] 551*2^835658-1 is not prime. Res64: F706BBD0DE6118A5 Time : 5427.0 sec. user=Flatlander [2010-06-24 19:47:21] 533*2^835654-1 is not prime. Res64: 0A1189DCF898E5A8 Time : 6199.0 sec. user=Flatlander [2010-06-24 19:47:22] 441*2^835655-1 is not prime. Res64: 6D1C8650C21076C8 Time : 6200.0 sec. user=Flatlander [2010-06-24 19:47:22] 463*2^835655-1 is not prime. Res64: 078B935CC4FCBA6D Time : 6200.0 sec. user=Flatlander [2010-06-24 19:47:22] 465*2^835655-1 is not prime. Res64: 8AE5DA9E614A65FA Time : 6199.0 sec. user=Flatlander [2010-06-24 19:47:23] 475*2^835655-1 is not prime. Res64: 16CF2A36D11E8BF9 Time : 6200.0 sec. user=Flatlander [2010-06-24 21:01:40] 573*2^835672-1 is not prime. Res64: D5FEEA450B98F986 Time : 7391.0 sec. user=Flatlander [2010-06-24 21:01:41] 445*2^835673-1 is not prime. Res64: E2166EAD7F3AFA58 Time : 7390.0 sec. user=Flatlander [2010-06-24 21:01:41] 487*2^835673-1 is not prime. Res64: CC295DC0D36B93FF Time : 7389.0 sec. user=Flatlander [2010-06-24 21:01:42] 507*2^835673-1 is not prime. Res64: B3B10F8CE72D1E0E Time : 7389.0 sec. user=Flatlander [2010-06-24 21:01:42] 529*2^835673-1 is not prime. Res64: B0B7929AB5305D7D Time : 7388.0 sec. user=Flatlander [2010-06-24 21:12:45] 429*2^835684-1 is not prime. Res64: BE6752FF595501C5 Time : 5942.0 sec. user=Flatlander [2010-06-24 21:12:46] 453*2^835684-1 is not prime. Res64: 8F31D53FF95A74E0 Time : 5942.0 sec. user=Flatlander [2010-06-24 21:12:47] 507*2^835684-1 is not prime. Res64: 20642F3B8AC65DC3 Time : 5942.0 sec. user=Flatlander [2010-06-24 21:12:48] 549*2^835684-1 is not prime. Res64: 6B7D3D684989DF8B Time : 5942.0 sec. user=Flatlander [2010-06-24 21:12:48] 421*2^835685-1 is not prime. Res64: 9DC8955691E82791 Time : 5941.0 sec. user=Flatlander [2010-06-24 21:13:28] 469*2^835685-1 is not prime. Res64: D4BF655069893E93 Time : 5856.0 sec. user=Flatlander [2010-06-24 21:13:29] 475*2^835685-1 is not prime. Res64: 26D0702EB248FBC6 Time : 5856.0 sec. user=Flatlander [2010-06-24 21:13:29] 507*2^835685-1 is not prime. Res64: 39641DD6BFACE2F1 Time : 5856.0 sec. user=Flatlander [2010-06-24 21:13:30] 537*2^835686-1 is not prime. Res64: ACEE8BCC42E680C0 Time : 5856.0 sec. user=Flatlander [2010-06-24 21:13:30] 587*2^835686-1 is not prime. Res64: B16B50B68442214F Time : 5856.0 sec. user=Flatlander [2010-06-24 21:33:51] 439*2^835687-1 is not prime. Res64: D39171099388F218 Time : 6387.0 sec. user=Flatlander [2010-06-24 21:33:52] 441*2^835687-1 is not prime. Res64: 19412A61D032836F Time : 6387.0 sec. user=Flatlander [2010-06-24 21:33:52] 483*2^835687-1 is not prime. Res64: 489699D64D65604C Time : 6386.0 sec. user=Flatlander [2010-06-24 21:33:53] 531*2^835687-1 is not prime. Res64: D7A1453B8AFAA9AA Time : 6386.0 sec. user=Flatlander [2010-06-24 21:33:53] 583*2^835687-1 is not prime. Res64: FCC611D41C87404E Time : 6385.0 sec. user=vaughan [2010-06-24 21:59:51] 471*2^835678-1 is not prime. Res64: 2A65C27A2E2A7A4A Time : 9039.0 sec. user=vaughan [2010-06-24 22:00:05] 467*2^835682-1 is not prime. Res64: 487F4D4FA1918C4B Time : 8986.0 sec. user=vaughan [2010-06-24 22:00:05] 525*2^835678-1 is not prime. Res64: 174441DE75C91DBA Time : 9052.0 sec. user=vaughan [2010-06-24 22:00:08] 497*2^835682-1 is not prime. Res64: 542D4DDFE61EFF95 Time : 8989.0 sec. user=vaughan [2010-06-24 22:00:14] 595*2^835683-1 is not prime. Res64: 502BCF0FF0F53300 Time : 8804.0 sec. user=vaughan [2010-06-24 22:00:25] 437*2^835680-1 is not prime. Res64: 4BB95BE4EA32B5DA Time : 9024.0 sec. user=vaughan [2010-06-24 22:00:26] 471*2^835683-1 is not prime. Res64: 703338E62B836350 Time : 8969.0 sec. user=vaughan [2010-06-24 22:00:28] 413*2^835680-1 is not prime. Res64: C5A348CD0667C1C8 Time : 9018.0 sec. user=vaughan [2010-06-24 22:00:32] 575*2^835678-1 is not prime. Res64: ADF3369ED0993C8F Time : 9076.0 sec. user=vaughan [2010-06-24 22:00:33] 481*2^835683-1 is not prime. Res64: 8537C2FB1D43173B Time : 8858.0 sec. user=vaughan [2010-06-24 22:00:33] 553*2^835679-1 is not prime. Res64: F42101812D3E09B7 Time : 9076.0 sec. user=vaughan [2010-06-24 22:00:35] 423*2^835680-1 is not prime. Res64: 165D3BFA684B766B Time : 9025.0 sec. user=vaughan [2010-06-24 22:00:35] 581*2^835682-1 is not prime. Res64: BEFC436E2BB64253 Time : 8998.0 sec. user=vaughan [2010-06-24 22:00:35] 461*2^835678-1 is not prime. Res64: 3470E4731BB5AF93 Time : 9090.0 sec. user=vaughan [2010-06-24 22:00:36] 471*2^835681-1 is not prime. Res64: B8296408D2FB636D Time : 9024.0 sec. user=vaughan [2010-06-24 22:00:36] 439*2^835681-1 is not prime. Res64: E5B9BD28BC610E41 Time : 9025.0 sec. user=vaughan [2010-06-24 22:00:36] 441*2^835683-1 is not prime. Res64: 8B3442A9A63A1073 Time : 8994.0 sec. user=vaughan [2010-06-24 22:00:41] 407*2^835682-1 is not prime. Res64: 05720245E72D9112 Time : 9027.0 sec. user=vaughan [2010-06-24 22:00:44] 467*2^835678-1 is not prime. Res64: 73EBC17ADBDAC2AD Time : 9098.0 sec. user=vaughan [2010-06-24 22:12:21] 579*2^835695-1 is not prime. Res64: C4DF7F60B460D200 Time : 716.0 sec. user=vaughan [2010-06-24 22:12:28] 405*2^835698-1 is not prime. Res64: 0E3EE902D21C1443 Time : 713.0 sec. user=vaughan [2010-06-24 22:12:30] 589*2^835697-1 is not prime. Res64: 8DCAD25FC23DA1A3 Time : 716.0 sec. user=vaughan [2010-06-24 22:16:34] 481*2^835693-1 is not prime. Res64: 7E3C53EE04B99F34 Time : 1003.0 sec. user=vaughan [2010-06-24 22:16:45] 415*2^835695-1 is not prime. Res64: DEC778CD0AEF977D Time : 1000.0 sec. user=vaughan [2010-06-24 22:16:56] 509*2^835696-1 is not prime. Res64: 2FEF060F3BB5409B Time : 988.0 sec. user=vaughan [2010-06-24 22:17:00] 465*2^835698-1 is not prime. Res64: 585D21A874392A1E Time : 984.0 sec. user=vaughan [2010-06-24 22:17:04] 549*2^835697-1 is not prime. Res64: 55BEF683D5C835ED Time : 990.0 sec. user=vaughan [2010-06-24 22:17:15] 567*2^835693-1 is not prime. Res64: 46BF1616E571ECCA Time : 1031.0 sec. user=vaughan [2010-06-24 22:17:18] 483*2^835698-1 is not prime. Res64: DEF80656DD347705 Time : 994.0 sec. user=vaughan [2010-06-24 22:17:22] 453*2^835695-1 is not prime. Res64: A8AF06D6800DAAB9 Time : 1035.0 sec. user=vaughan [2010-06-24 22:17:25] 437*2^835698-1 is not prime. Res64: 4E1AADE69BDCC560 Time : 1010.0 sec. user=vaughan [2010-06-24 22:17:26] 461*2^835698-1 is not prime. Res64: 2892F9C54EE55C87 Time : 1010.0 sec. user=vaughan [2010-06-24 22:17:34] 569*2^835696-1 is not prime. Res64: 9D60BCE8EFEF5C70 Time : 1021.0 sec. user=vaughan [2010-06-24 22:17:43] 563*2^835696-1 is not prime. Res64: 305F2039ACB8DE82 Time : 1031.0 sec. user=vaughan [2010-06-24 22:17:56] 473*2^835698-1 is not prime. Res64: D5594177FD3BB0BE Time : 1035.0 sec. user=vaughan [2010-06-24 22:18:03] 447*2^835697-1 is not prime. Res64: 1F0B66A623799963 Time : 1050.0 sec. user=vaughan [2010-06-24 22:24:16] 581*2^835698-1 is not prime. Res64: C64EF4D47DAA97D5 Time : 716.0 sec. user=vaughan [2010-06-24 22:24:21] 411*2^835699-1 is not prime. Res64: CB4762327B763FED Time : 713.0 sec. user=vaughan [2010-06-24 22:24:25] 421*2^835699-1 is not prime. Res64: BE887479D1422224 Time : 715.0 sec. user=Flatlander [2010-06-24 22:28:12] 493*2^835691-1 is not prime. Res64: 20B518C4E1222402 Time : 4481.0 sec. user=Flatlander [2010-06-24 22:28:13] 419*2^835692-1 is not prime. Res64: 0D792034C4050D8C Time : 4482.0 sec. user=Flatlander [2010-06-24 22:28:14] 489*2^835692-1 is not prime. Res64: 060932FB7E1CBD83 Time : 4482.0 sec. user=Flatlander [2010-06-24 22:28:15] 515*2^835692-1 is not prime. Res64: 9438E4F05C331558 Time : 4483.0 sec. user=Flatlander [2010-06-24 22:28:16] 563*2^835692-1 is not prime. Res64: 89BA2E4A5E6D15F9 Time : 4484.0 sec. user=Flatlander [2010-06-24 22:30:43] 469*2^835689-1 is not prime. Res64: E97DF5EDFF4F034D Time : 4674.0 sec. user=Flatlander [2010-06-24 22:30:44] 549*2^835689-1 is not prime. Res64: 8C97BAE745F097A4 Time : 4674.0 sec. user=Flatlander [2010-06-24 22:30:45] 467*2^835690-1 is not prime. Res64: C9AE92686B4DEA3F Time : 4675.0 sec. user=Flatlander [2010-06-24 22:30:45] 433*2^835691-1 is not prime. Res64: 6B7CD092C2CC1A9B Time : 4675.0 sec. user=Flatlander [2010-06-24 22:30:46] 445*2^835691-1 is not prime. Res64: 459F50DA174E614D Time : 4675.0 sec. user=vaughan [2010-06-24 22:33:10] 543*2^835695-1 is not prime. Res64: 005C524CBF1FD38C Time : 1977.0 sec. user=vaughan [2010-06-24 22:33:19] 493*2^835699-1 is not prime. Res64: C820EC2D40F6057B Time : 1006.0 sec. user=vaughan [2010-06-24 22:33:20] 413*2^835696-1 is not prime. Res64: 66AEFCECDC3CD1C3 Time : 1975.0 sec. user=vaughan [2010-06-24 22:33:23] 555*2^835699-1 is not prime. Res64: B83FBD5BAE6D4126 Time : 984.0 sec. user=vaughan [2010-06-24 22:33:23] 549*2^835699-1 is not prime. Res64: 282AF4BE73CB84FC Time : 999.0 sec. user=vaughan [2010-06-24 22:33:25] 553*2^835699-1 is not prime. Res64: BD4EFEE3EB4E0329 Time : 989.0 sec. user=vaughan [2010-06-24 22:34:10] 405*2^835701-1 is not prime. Res64: AD1B9562A1DA88A3 Time : 1005.0 sec. user=vaughan [2010-06-24 22:34:24] 515*2^835700-1 is not prime. Res64: E23AB8C40BB53DA2 Time : 1026.0 sec. user=vaughan [2010-06-24 22:34:24] 459*2^835700-1 is not prime. Res64: 28285D1CBF99C1D5 Time : 1030.0 sec. user=vaughan [2010-06-24 22:34:36] 533*2^835700-1 is not prime. Res64: 2DC41B9B04512A2B Time : 1034.0 sec. user=vaughan [2010-06-24 22:34:50] 451*2^835701-1 is not prime. Res64: 6D83C973A6DAB444 Time : 1044.0 sec. user=vaughan [2010-06-24 22:34:50] 471*2^835702-1 is not prime. Res64: 94CC58A64E1D531C Time : 1027.0 sec. user=vaughan [2010-06-24 22:35:10] 417*2^835700-1 is not prime. Res64: C2C8E4F2DC653F78 Time : 1086.0 sec. user=vaughan [2010-06-24 22:35:12] 483*2^835702-1 is not prime. Res64: 26990B5D2562D1B8 Time : 1036.0 sec. user=vaughan [2010-06-24 22:35:20] 517*2^835701-1 is not prime. Res64: 44716DF2214ABB1A Time : 1066.0 sec. user=vaughan [2010-06-24 22:35:32] 527*2^835702-1 is not prime. Res64: DE16075B7213E799 Time : 1049.0 sec. user=vaughan [2010-06-24 22:36:11] 567*2^835702-1 is not prime. Res64: A35316A606D14F8C Time : 716.0 sec. user=vaughan [2010-06-24 22:36:14] 591*2^835702-1 is not prime. Res64: 9B0E664D639F238F Time : 713.0 sec. user=vaughan [2010-06-24 22:36:20] 475*2^835703-1 is not prime. Res64: 0DDB9C847AAA6A34 Time : 715.0 sec. user=vaughan [2010-06-24 22:48:06] 473*2^835710-1 is not prime. Res64: E92E7342B48F41B9 Time : 713.0 sec. user=vaughan [2010-06-24 22:48:06] 471*2^835710-1 is not prime. Res64: B70B819254EE90B6 Time : 715.0 sec. user=vaughan [2010-06-24 22:48:16] 501*2^835710-1 is not prime. Res64: E48A0C9F69BAAF0F Time : 716.0 sec. user=vaughan [2010-06-24 22:49:47] 581*2^835706-1 is not prime. Res64: 32D3A1522E4D83AB Time : 984.0 sec. user=vaughan [2010-06-24 22:49:53] 523*2^835707-1 is not prime. Res64: EF14ABD0103E146D Time : 988.0 sec. user=vaughan [2010-06-24 22:50:02] 475*2^835707-1 is not prime. Res64: 34BD75CBA30B6E5E Time : 999.0 sec. user=vaughan [2010-06-24 22:50:04] 503*2^835706-1 is not prime. Res64: 35A79C259701DAFB Time : 1005.0 sec. user=vaughan [2010-06-24 22:50:55] 579*2^835707-1 is not prime. Res64: AC2C9F3EEA2976A2 Time : 1005.0 sec. user=vaughan [2010-06-24 22:51:34] 419*2^835708-1 is not prime. Res64: 948F06BDB43D7DE5 Time : 1031.0 sec. user=vaughan [2010-06-24 22:51:54] 483*2^835708-1 is not prime. Res64: 8498AD58AA278A0A Time : 1038.0 sec. user=vaughan [2010-06-24 22:52:00] 583*2^835707-1 is not prime. Res64: 222BC522FF494B74 Time : 1057.0 sec. user=vaughan [2010-06-24 22:52:00] 539*2^835708-1 is not prime. Res64: 220EE9AAE37F779F Time : 1030.0 sec. user=vaughan [2010-06-24 22:52:27] 559*2^835709-1 is not prime. Res64: 5927EBA5A538AB65 Time : 1035.0 sec. user=vaughan [2010-06-24 22:52:44] 533*2^835708-1 is not prime. Res64: ABF2010B0C135DB5 Time : 1074.0 sec. user=vaughan [2010-06-24 22:53:06] 447*2^835710-1 is not prime. Res64: DD96FD326121B939 Time : 1054.0 sec. user=vaughan [2010-06-24 22:53:56] 431*2^835710-1 is not prime. Res64: 01C020CE7DF1620D Time : 1116.0 sec. user=vaughan [2010-06-24 22:55:23] 537*2^835709-1 is not prime. Res64: 17B540FE4AD8BE77 Time : 1214.0 sec. user=vaughan [2010-06-24 22:59:59] 585*2^835710-1 is not prime. Res64: B950E19FBF2EFCEB Time : 713.0 sec. user=vaughan [2010-06-24 23:00:01] 593*2^835710-1 is not prime. Res64: C169BD2F758FA330 Time : 715.0 sec. user=vaughan [2010-06-24 23:00:11] 531*2^835711-1 is not prime. Res64: A5C6DFA29F3CED90 Time : 716.0 sec. user=vaughan [2010-06-24 23:06:07] 535*2^835711-1 is not prime. Res64: EC1C46A96661A16B Time : 980.0 sec. user=vaughan [2010-06-24 23:06:11] 453*2^835706-1 is not prime. Res64: 221AF97C578AA5AE Time : 1981.0 sec. user=vaughan [2010-06-24 23:06:21] 417*2^835712-1 is not prime. Res64: F8A3FB4B76F374D3 Time : 988.0 sec. user=vaughan [2010-06-24 23:06:26] 573*2^835706-1 is not prime. Res64: 1BE99848623656B5 Time : 1986.0 sec. user=vaughan [2010-06-24 23:06:38] 425*2^835712-1 is not prime. Res64: E51E9189375CA490 Time : 997.0 sec. user=vaughan [2010-06-24 23:06:49] 447*2^835712-1 is not prime. Res64: 82ACA0E3EB389FAA Time : 1005.0 sec. user=vaughan [2010-06-24 23:07:39] 557*2^835712-1 is not prime. Res64: 51A4AB0C26EE0883 Time : 1005.0 sec. user=vaughan [2010-06-24 23:08:45] 441*2^835713-1 is not prime. Res64: 4ADD13E5D6C28F0F Time : 1032.0 sec. user=vaughan [2010-06-24 23:09:09] 457*2^835713-1 is not prime. Res64: 22A55C27D7330DBE Time : 1035.0 sec. user=vaughan [2010-06-24 23:09:11] 529*2^835713-1 is not prime. Res64: 50584A6B03BFDA16 Time : 1031.0 sec. user=vaughan [2010-06-24 23:09:40] 475*2^835713-1 is not prime. Res64: 3A21C90894278233 Time : 1061.0 sec. user=vaughan [2010-06-24 23:09:41] 423*2^835714-1 is not prime. Res64: 3E77522817A36300 Time : 1034.0 sec. user=vaughan [2010-06-24 23:10:35] 513*2^835714-1 is not prime. Res64: 00D479DDB4237C05 Time : 1049.0 sec. user=vaughan [2010-06-24 23:10:40] 435*2^835714-1 is not prime. Res64: A28EE88B422F362D Time : 1076.0 sec. user=vaughan [2010-06-24 23:11:52] 459*2^835715-1 is not prime. Res64: 9DC48DB0669F1EB7 Time : 713.0 sec. user=vaughan [2010-06-24 23:11:57] 481*2^835715-1 is not prime. Res64: 6F49985E662DE97A Time : 716.0 sec. user=vaughan [2010-06-24 23:12:06] 437*2^835716-1 is not prime. Res64: CED9583FE57080E1 Time : 715.0 sec. user=vaughan [2010-06-24 23:12:28] 411*2^835715-1 is not prime. Res64: 0E746593771A8E47 Time : 1112.0 sec. user=vaughan [2010-06-24 23:15:40] 421*2^835715-1 is not prime. Res64: C1015F5823D1358D Time : 1217.0 sec. user=vaughan [2010-06-24 23:22:28] 459*2^835716-1 is not prime. Res64: 604AE9E1570B47B7 Time : 981.0 sec. user=vaughan [2010-06-24 23:22:49] 527*2^835716-1 is not prime. Res64: 7805BBB16F5A0385 Time : 989.0 sec. user=vaughan [2010-06-24 23:23:16] 439*2^835717-1 is not prime. Res64: BFB200FE73A7AAD4 Time : 998.0 sec. user=vaughan [2010-06-24 23:23:34] 441*2^835717-1 is not prime. Res64: 0F4F119616BFDFA1 Time : 1005.0 sec. user=vaughan [2010-06-24 23:23:46] 469*2^835719-1 is not prime. Res64: 66AF89274B44BF65 Time : 714.0 sec. user=vaughan [2010-06-24 23:23:52] 555*2^835719-1 is not prime. Res64: D78E2A777E5213D8 Time : 716.0 sec. user=vaughan [2010-06-24 23:24:02] 565*2^835719-1 is not prime. Res64: D78B4D75E712BA81 Time : 716.0 sec. user=vaughan [2010-06-24 23:24:23] 447*2^835717-1 is not prime. Res64: 86830A5429B90599 Time : 1004.0 sec. user=vaughan [2010-06-24 23:25:55] 489*2^835717-1 is not prime. Res64: 60C69205AF56A920 Time : 1030.0 sec. user=vaughan [2010-06-24 23:26:22] 565*2^835717-1 is not prime. Res64: C1AA2779D2E6E021 Time : 1031.0 sec. user=vaughan [2010-06-24 23:26:24] 531*2^835717-1 is not prime. Res64: 60F77BE2D882DDAF Time : 1036.0 sec. user=vaughan [2010-06-24 23:26:54] 431*2^835718-1 is not prime. Res64: 1844C50F2FABD15F Time : 1034.0 sec. user=vaughan [2010-06-24 23:27:18] 589*2^835717-1 is not prime. Res64: 5E9284ABD5F0CE26 Time : 1059.0 sec. user=vaughan [2010-06-24 23:28:05] 585*2^835718-1 is not prime. Res64: B352520FF8A2DEFB Time : 1050.0 sec. user=vaughan [2010-06-24 23:28:34] 429*2^835719-1 is not prime. Res64: FD4C5DB5976F9D1A Time : 1075.0 sec. user=vaughan [2010-06-24 23:31:03] 495*2^835720-1 is not prime. Res64: C0DB2A99788EDA98 Time : 1115.0 sec. user=vaughan [2010-06-24 23:35:39] 489*2^835721-1 is not prime. Res64: 1E55CEC15A68F434 Time : 714.0 sec. user=vaughan [2010-06-24 23:35:48] 559*2^835721-1 is not prime. Res64: 700445AC4D64C654 Time : 716.0 sec. user=vaughan [2010-06-24 23:35:54] 563*2^835720-1 is not prime. Res64: D11DF2A33708CDA2 Time : 1214.0 sec. user=vaughan [2010-06-24 23:35:57] 507*2^835722-1 is not prime. Res64: D4664992652C8578 Time : 715.0 sec. user=vaughan [2010-06-24 23:38:48] 567*2^835720-1 is not prime. Res64: 41B45C629118B299 Time : 980.0 sec. user=vaughan [2010-06-24 23:39:08] 515*2^835716-1 is not prime. Res64: 9BD60EC95B8EF2AC Time : 1977.0 sec. user=vaughan [2010-06-24 23:39:16] 409*2^835721-1 is not prime. Res64: F435F869A51CADAC Time : 987.0 sec. user=vaughan [2010-06-24 23:39:25] 405*2^835717-1 is not prime. Res64: 4AF74E9C736EFA3E Time : 1980.0 sec. user=Flatlander [2010-06-24 23:39:45] 503*2^835688-1 is not prime. Res64: 2C34BCECF62B6A75 Time : 9482.0 sec. user=Flatlander [2010-06-24 23:39:46] 519*2^835688-1 is not prime. Res64: 9143F0D6B8AC36BC Time : 9482.0 sec. user=Flatlander [2010-06-24 23:39:47] 563*2^835688-1 is not prime. Res64: E19F7921592122A8 Time : 9482.0 sec. user=Flatlander [2010-06-24 23:39:47] 415*2^835689-1 is not prime. Res64: 4A7C52CAEA85D314 Time : 9482.0 sec. user=Flatlander [2010-06-24 23:39:48] 447*2^835689-1 is not prime. Res64: 556DEEE15C2AAEA7 Time : 9482.0 sec. user=vaughan [2010-06-24 23:39:56] 411*2^835721-1 is not prime. Res64: B9561204AF7D8BA7 Time : 1001.0 sec. user=vaughan [2010-06-24 23:40:19] 421*2^835721-1 is not prime. Res64: 010301AC18E76315 Time : 1005.0 sec. user=vaughan [2010-06-24 23:41:08] 521*2^835722-1 is not prime. Res64: 1A04B1E80551CA5A Time : 1005.0 sec. user=vaughan [2010-06-24 23:43:03] 525*2^835722-1 is not prime. Res64: 0EDB60E6ED2105AB Time : 1028.0 sec. user=vaughan [2010-06-24 23:43:32] 543*2^835722-1 is not prime. Res64: 658FC6EC32F9DA8F Time : 1030.0 sec. user=vaughan [2010-06-24 23:43:41] 439*2^835723-1 is not prime. Res64: F387D69610E717C3 Time : 1037.0 sec. user=vaughan [2010-06-24 23:44:08] 451*2^835723-1 is not prime. Res64: 8FDC0C0BE246170E Time : 1034.0 sec. user=vaughan [2010-06-24 23:44:55] 463*2^835723-1 is not prime. Res64: 08B7BDAEC9FF97FA Time : 1058.0 sec. user=vaughan [2010-06-24 23:45:36] 519*2^835723-1 is not prime. Res64: CE0A2F8A88DD9CAD Time : 1052.0 sec. user=Flatlander [2010-06-24 23:46:14] 489*2^835703-1 is not prime. Res64: 1EF5E602E6583177 Time : 4677.0 sec. user=Flatlander [2010-06-24 23:46:15] 501*2^835703-1 is not prime. Res64: 3DC8BD3B7AB2A521 Time : 4676.0 sec. user=Flatlander [2010-06-24 23:46:16] 549*2^835703-1 is not prime. Res64: 60A25624B1A950CE Time : 4676.0 sec. user=Flatlander [2010-06-24 23:46:17] 453*2^835704-1 is not prime. Res64: 5CA6C4985D75DC24 Time : 4675.0 sec. user=Flatlander [2010-06-24 23:46:18] 503*2^835704-1 is not prime. Res64: 6DA2B6EE89737CFF Time : 4674.0 sec. user=vaughan [2010-06-24 23:46:29] 435*2^835724-1 is not prime. Res64: 5EEE90DBEC128BFB Time : 1075.0 sec. user=vaughan [2010-06-24 23:47:32] 473*2^835724-1 is not prime. Res64: 9F33325EDD8E410A Time : 715.0 sec. user=vaughan [2010-06-24 23:47:43] 503*2^835724-1 is not prime. Res64: D5E73AE38D26AB3A Time : 716.0 sec. user=vaughan [2010-06-24 23:47:52] 599*2^835724-1 is not prime. Res64: 6552B089C0EFB116 Time : 715.0 sec. user=Flatlander [2010-06-24 23:48:49] 525*2^835704-1 is not prime. Res64: AC8D3A48331CF658 Time : 4681.0 sec. user=Flatlander [2010-06-24 23:48:50] 549*2^835704-1 is not prime. Res64: 3498CD48E2F81D15 Time : 4681.0 sec. user=Flatlander [2010-06-24 23:48:51] 415*2^835705-1 is not prime. Res64: 15B1DD783842ADBE Time : 4680.0 sec. user=Flatlander [2010-06-24 23:48:52] 555*2^835705-1 is not prime. Res64: FFD970851B3CE26E Time : 4679.0 sec. user=Flatlander [2010-06-24 23:48:52] 597*2^835705-1 is not prime. Res64: D79E699C2C6FCBAB Time : 4678.0 sec. user=vaughan [2010-06-24 23:49:37] 459*2^835724-1 is not prime. Res64: 407F155B7BA2BF6C Time : 1114.0 sec. user=vaughan [2010-06-24 23:55:10] 445*2^835725-1 is not prime. Res64: A992D4E3EB9D66B6 Time : 982.0 sec. user=vaughan [2010-06-24 23:55:43] 585*2^835725-1 is not prime. Res64: 0B2D91971865FD05 Time : 987.0 sec. user=vaughan [2010-06-24 23:56:12] 519*2^835724-1 is not prime. Res64: 11C0E7336D2C2525 Time : 1218.0 sec. user=vaughan [2010-06-24 23:56:35] 419*2^835728-1 is not prime. Res64: 79C2E43030A0282E Time : 999.0 sec. user=vaughan [2010-06-24 23:57:04] 485*2^835728-1 is not prime. Res64: 663746007FEC7B3F Time : 1005.0 sec. user=vaughan [2010-06-24 23:57:51] 503*2^835728-1 is not prime. Res64: 202C4D4645F98ED8 Time : 1004.0 sec. user=vaughan [2010-06-24 23:59:25] 537*2^835732-1 is not prime. Res64: 9DC1FB34CE9A858F Time : 714.0 sec. user=vaughan [2010-06-24 23:59:38] 421*2^835733-1 is not prime. Res64: 4C2962BD23CEB426 Time : 715.0 sec. user=vaughan [2010-06-24 23:59:48] 481*2^835733-1 is not prime. Res64: 952DEE5B313ADBB3 Time : 716.0 sec. user=vaughan [2010-06-25 00:00:16] 527*2^835728-1 is not prime. Res64: CFDBADCAC3557750 Time : 1033.0 sec. user=vaughan [2010-06-25 00:00:43] 421*2^835729-1 is not prime. Res64: 5DC9352E05ACDEC8 Time : 1031.0 sec. user=vaughan [2010-06-25 00:00:56] 435*2^835729-1 is not prime. Res64: F5EB54854E6CCA87 Time : 1036.0 sec.