user=vaughan [2009-05-31 00:04:02] 483*2^690726-1 is not prime. Res64: 2FC7D551A223C697 Time : 448.0 sec. user=vaughan [2009-05-31 00:04:55] 453*2^690723-1 is not prime. Res64: DE28F5023A4AF113 Time : 771.0 sec. user=vaughan [2009-05-31 00:05:08] 587*2^690726-1 is not prime. Res64: 8888856B322CEB94 Time : 455.0 sec. user=SazanEyes [2009-05-31 00:05:32] 479*2^690700-1 is not prime. Res64: 0199FBB6451FD84C Time : 8558.0 sec. user=vaughan [2009-05-31 00:11:28] 489*2^690731-1 is not prime. Res64: 9205B6B7251BEDE8 Time : 447.0 sec. user=vaughan [2009-05-31 00:11:32] 595*2^690727-1 is not prime. Res64: 65FEAAE65548FE83 Time : 590.0 sec. user=vaughan [2009-05-31 00:11:32] 495*2^690728-1 is not prime. Res64: 268F1A516DBF81C1 Time : 590.0 sec. user=vaughan [2009-05-31 00:11:32] 519*2^690728-1 is not prime. Res64: E4393819A7D0F339 Time : 590.0 sec. user=vaughan [2009-05-31 00:11:34] 499*2^690727-1 is not prime. Res64: 4507B8B731BABAB7 Time : 593.0 sec. user=vaughan [2009-05-31 00:12:38] 447*2^690732-1 is not prime. Res64: E70E239C3B5F6079 Time : 450.0 sec. user=vaughan [2009-05-31 00:12:49] 445*2^690723-1 is not prime. Res64: 143F3F9BBD3D4197 Time : 1309.0 sec. user=vaughan [2009-05-31 00:16:05] 507*2^690724-1 is not prime. Res64: FD9D6849A3A6B8A1 Time : 1402.0 sec. user=vaughan [2009-05-31 00:17:25] 579*2^690731-1 is not prime. Res64: 7BECB63816B8148E Time : 750.0 sec. user=vaughan [2009-05-31 00:18:16] 409*2^690725-1 is not prime. Res64: B31E0C2CBAD073A6 Time : 1476.0 sec. user=vaughan [2009-05-31 00:18:54] 499*2^690733-1 is not prime. Res64: 6E5B0EA6E65715DC Time : 446.0 sec. user=vaughan [2009-05-31 00:19:41] 481*2^690725-1 is not prime. Res64: 84F9BDCFDDE55B34 Time : 1477.0 sec. user=vaughan [2009-05-31 00:20:08] 517*2^690733-1 is not prime. Res64: 69396A3188403D05 Time : 450.0 sec. user=SazanEyes [2009-05-31 00:25:00] 445*2^690701-1 is not prime. Res64: 2EBEADA87092E63A Time : 8681.0 sec. user=vaughan [2009-05-31 00:26:22] 525*2^690738-1 is not prime. Res64: 44DCD27CA5CD6F0D Time : 448.0 sec. user=vaughan [2009-05-31 00:27:39] 459*2^690741-1 is not prime. Res64: 549BDBEB1955E753 Time : 451.0 sec. user=vaughan [2009-05-31 00:29:33] 567*2^690737-1 is not prime. Res64: 2EFE8794DB20C8DF Time : 728.0 sec. user=SazanEyes [2009-05-31 00:33:26] 511*2^690701-1 is not prime. Res64: CA6C65FEFF18B847 Time : 8521.0 sec. user=vaughan [2009-05-31 00:33:48] 579*2^690741-1 is not prime. Res64: 0FB5CE6D0275725C Time : 447.0 sec. user=vaughan [2009-05-31 00:35:10] 495*2^690742-1 is not prime. Res64: 926CAF33815C1BF5 Time : 451.0 sec. user=vaughan [2009-05-31 00:36:19] 425*2^690734-1 is not prime. Res64: 520C182AA4C4CAB6 Time : 1410.0 sec. user=vaughan [2009-05-31 00:39:34] 495*2^690734-1 is not prime. Res64: FFB918B5F601839B Time : 1409.0 sec. user=vaughan [2009-05-31 00:41:15] 445*2^690743-1 is not prime. Res64: 14262DBAD3748512 Time : 448.0 sec. user=vaughan [2009-05-31 00:41:39] 545*2^690742-1 is not prime. Res64: A229A08D5E2E1E00 Time : 726.0 sec. user=vaughan [2009-05-31 00:42:43] 559*2^690743-1 is not prime. Res64: 67A7523D8B300EB6 Time : 453.0 sec. user=vaughan [2009-05-31 00:43:08] 589*2^690737-1 is not prime. Res64: 2F0709BB4CD31742 Time : 1493.0 sec. user=vaughan [2009-05-31 00:44:23] 465*2^690739-1 is not prime. Res64: EC97293B5AF1778C Time : 1482.0 sec. user=vaughan [2009-05-31 00:48:41] 411*2^690745-1 is not prime. Res64: A56A02A5B3E64F24 Time : 446.0 sec. user=vaughan [2009-05-31 00:50:15] 451*2^690747-1 is not prime. Res64: 4E11A545ADB3597A Time : 452.0 sec. user=SazanEyes [2009-05-31 00:54:13] 567*2^690702-1 is not prime. Res64: 1138F7C72B75125D Time : 8749.0 sec. user=vaughan [2009-05-31 00:54:53] 429*2^690745-1 is not prime. Res64: CF302CCBAFB23CDF Time : 794.0 sec. user=vaughan [2009-05-31 00:56:08] 569*2^690748-1 is not prime. Res64: DF266994AAD30FA2 Time : 447.0 sec. user=vaughan [2009-05-31 00:57:48] 517*2^690749-1 is not prime. Res64: 0B1A04104B0069D4 Time : 453.0 sec. user=vaughan [2009-05-31 00:58:05] 567*2^690744-1 is not prime. Res64: D34C78C01303214B Time : 1306.0 sec. user=vaughan [2009-05-31 01:02:47] 597*2^690744-1 is not prime. Res64: CC0AA82BB156D3D5 Time : 1394.0 sec. user=SazanEyes [2009-05-31 01:03:08] 533*2^690704-1 is not prime. Res64: 31038B6360A4178E Time : 8604.0 sec. user=vaughan [2009-05-31 01:03:34] 405*2^690751-1 is not prime. Res64: 3F2D086E8E8EDB24 Time : 446.0 sec. user=vaughan [2009-05-31 01:05:18] 441*2^690753-1 is not prime. Res64: 724FE0D46013CFE8 Time : 450.0 sec. user=vaughan [2009-05-31 01:06:19] 501*2^690747-1 is not prime. Res64: CB331CDDBD8D7C36 Time : 1391.0 sec. user=vaughan [2009-05-31 01:08:10] 537*2^690750-1 is not prime. Res64: D7C0AD2C4C395FF8 Time : 797.0 sec. user=vaughan [2009-05-31 01:08:43] 523*2^690747-1 is not prime. Res64: D138106B6D821F70 Time : 1460.0 sec. user=vaughan [2009-05-31 01:11:00] 579*2^690755-1 is not prime. Res64: C7961C63AA174E7A Time : 446.0 sec. user=vaughan [2009-05-31 01:12:52] 595*2^690755-1 is not prime. Res64: 2E7936F17B681FDF Time : 454.0 sec. user=vaughan [2009-05-31 01:18:28] 579*2^690759-1 is not prime. Res64: 755709722700D420 Time : 448.0 sec. user=vaughan [2009-05-31 01:20:17] 497*2^690756-1 is not prime. Res64: 5EB82C4011DDAF1A Time : 727.0 sec. user=vaughan [2009-05-31 01:20:32] 583*2^690759-1 is not prime. Res64: 2D9FF0BF9ADBAEFA Time : 461.0 sec. user=vaughan [2009-05-31 01:21:08] 423*2^690754-1 is not prime. Res64: 83284D2FE8157DFE Time : 1383.0 sec. user=SazanEyes [2009-05-31 01:23:34] 517*2^690705-1 is not prime. Res64: E250F6AB212909C9 Time : 8759.0 sec. user=vaughan [2009-05-31 01:25:54] 429*2^690760-1 is not prime. Res64: 083B18ACC5B6BEC3 Time : 446.0 sec. user=vaughan [2009-05-31 01:25:55] 483*2^690754-1 is not prime. Res64: C6B044FFC55B2C44 Time : 1389.0 sec. user=vaughan [2009-05-31 01:28:03] 405*2^690761-1 is not prime. Res64: 6934B3735ECF5D23 Time : 451.0 sec. user=vaughan [2009-05-31 01:30:44] 473*2^690756-1 is not prime. Res64: 8FA985CFD5E39508 Time : 1465.0 sec. user=SazanEyes [2009-05-31 01:31:33] 495*2^690709-1 is not prime. Res64: 25306E2AF09F0D58 Time : 8621.0 sec. user=vaughan [2009-05-31 01:32:51] 549*2^690760-1 is not prime. Res64: A02051E1E15EF00E Time : 755.0 sec. user=vaughan [2009-05-31 01:33:05] 501*2^690759-1 is not prime. Res64: 12572F4BE0C1499A Time : 1462.0 sec. user=vaughan [2009-05-31 01:33:21] 441*2^690763-1 is not prime. Res64: 65442CEE67C96DAB Time : 447.0 sec. user=vaughan [2009-05-31 01:35:34] 413*2^690764-1 is not prime. Res64: B082EAF15603AA94 Time : 452.0 sec. user=vaughan [2009-05-31 01:40:47] 519*2^690767-1 is not prime. Res64: 2057CBA78597D3B0 Time : 447.0 sec. user=vaughan [2009-05-31 01:42:47] 477*2^690761-1 is not prime. Res64: BB9D4F4A2F2F704B Time : 1300.0 sec. user=vaughan [2009-05-31 01:43:04] 571*2^690767-1 is not prime. Res64: 612FBA14D0674988 Time : 450.0 sec. user=vaughan [2009-05-31 01:46:28] 461*2^690766-1 is not prime. Res64: B8019C26B4FF49F2 Time : 817.0 sec. user=vaughan [2009-05-31 01:48:12] 413*2^690768-1 is not prime. Res64: 258719E684ABDCED Time : 446.0 sec. user=vaughan [2009-05-31 01:49:07] 553*2^690763-1 is not prime. Res64: 2E4C2D6ED6D7DE72 Time : 1393.0 sec. user=vaughan [2009-05-31 01:50:35] 425*2^690770-1 is not prime. Res64: 22FA56797C4E85C4 Time : 451.0 sec. user=SazanEyes [2009-05-31 01:52:47] 437*2^690712-1 is not prime. Res64: 29AB52329BDC4339 Time : 8762.0 sec. user=vaughan [2009-05-31 01:53:46] 545*2^690764-1 is not prime. Res64: 400D9386E51C73B0 Time : 1382.0 sec. user=vaughan [2009-05-31 01:55:38] 521*2^690770-1 is not prime. Res64: 9787852FC86E1D00 Time : 447.0 sec. user=vaughan [2009-05-31 01:57:15] 501*2^690767-1 is not prime. Res64: B5622016062AB742 Time : 1450.0 sec. user=vaughan [2009-05-31 01:58:05] 545*2^690770-1 is not prime. Res64: 227B5326F5997479 Time : 450.0 sec. user=vaughan [2009-05-31 01:58:50] 515*2^690770-1 is not prime. Res64: 43891E5C4251133F Time : 742.0 sec. user=SazanEyes [2009-05-31 01:59:55] 551*2^690718-1 is not prime. Res64: ADD24B20217C63CD Time : 8561.0 sec. user=vaughan [2009-05-31 02:03:04] 513*2^690771-1 is not prime. Res64: 1A310D2BE6FB74A5 Time : 446.0 sec. user=vaughan [2009-05-31 02:05:35] 411*2^690773-1 is not prime. Res64: 79CBE21D1BECF8DA Time : 450.0 sec. user=vaughan [2009-05-31 02:05:47] 589*2^690769-1 is not prime. Res64: C6D9F197B3500737 Time : 1380.0 sec. user=vaughan [2009-05-31 02:10:33] 437*2^690774-1 is not prime. Res64: D39576D4AB593C07 Time : 449.0 sec. user=vaughan [2009-05-31 02:12:04] 435*2^690773-1 is not prime. Res64: 7F85A5EA6BD3F59F Time : 794.0 sec. user=vaughan [2009-05-31 02:12:18] 531*2^690770-1 is not prime. Res64: 8CFD1E3F63528B64 Time : 1392.0 sec. user=vaughan [2009-05-31 02:13:22] 447*2^690774-1 is not prime. Res64: 66D004BE7B7735E5 Time : 467.0 sec. user=vaughan [2009-05-31 02:17:58] 527*2^690774-1 is not prime. Res64: 040F0CCA92E05E3C Time : 445.0 sec. user=vaughan [2009-05-31 02:18:23] 475*2^690771-1 is not prime. Res64: 9DBF99F23D8168AF Time : 1477.0 sec. user=vaughan [2009-05-31 02:20:53] 541*2^690775-1 is not prime. Res64: BCB9DCF1209C761B Time : 452.0 sec. user=vaughan [2009-05-31 02:21:45] 595*2^690771-1 is not prime. Res64: 347B3E61F3646253 Time : 1470.0 sec. user=SazanEyes [2009-05-31 02:21:58] 529*2^690725-1 is not prime. Res64: 532F702E8EAD0863 Time : 8763.0 sec. user=vaughan [2009-05-31 02:24:50] 555*2^690774-1 is not prime. Res64: 504C6B1DA82AA8AE Time : 766.0 sec. user=vaughan [2009-05-31 02:25:25] 405*2^690776-1 is not prime. Res64: 87D591DC1EBAE15C Time : 447.0 sec. user=vaughan [2009-05-31 02:27:24] 501*2^690774-1 is not prime. Res64: 23587102E406280A Time : 1297.0 sec. user=vaughan [2009-05-31 02:28:29] 509*2^690776-1 is not prime. Res64: 26F04D008D50C7D6 Time : 456.0 sec. user=SazanEyes [2009-05-31 02:29:23] 455*2^690732-1 is not prime. Res64: 99940DE4AA63D88F Time : 8631.0 sec. user=vaughan [2009-05-31 02:32:50] 475*2^690777-1 is not prime. Res64: B5AB8EDE4D7291D4 Time : 445.0 sec. user=vaughan [2009-05-31 02:35:28] 481*2^690775-1 is not prime. Res64: 83412C8CD5129AEA Time : 1390.0 sec. user=vaughan [2009-05-31 02:35:59] 405*2^690778-1 is not prime. Res64: E7A8437E9ADF8462 Time : 450.0 sec. user=vaughan [2009-05-31 02:37:16] 471*2^690777-1 is not prime. Res64: 835F62E80BCD6BF7 Time : 746.0 sec. user=vaughan [2009-05-31 02:40:15] 411*2^690779-1 is not prime. Res64: D6DE1EB0A570E451 Time : 445.0 sec. user=vaughan [2009-05-31 02:41:27] 455*2^690776-1 is not prime. Res64: 0CCE07C03C802A85 Time : 1387.0 sec. user=vaughan [2009-05-31 02:43:30] 511*2^690779-1 is not prime. Res64: 24F729A076E5B68D Time : 451.0 sec. user=vaughan [2009-05-31 02:46:02] 539*2^690776-1 is not prime. Res64: 0325AA33869EBB63 Time : 1458.0 sec. user=vaughan [2009-05-31 02:47:41] 415*2^690781-1 is not prime. Res64: ACCF435D8B4005E9 Time : 446.0 sec. user=vaughan [2009-05-31 02:49:30] 589*2^690779-1 is not prime. Res64: 0E09854032BDD635 Time : 734.0 sec. user=vaughan [2009-05-31 02:50:28] 595*2^690777-1 is not prime. Res64: 77B89DE0132D4212 Time : 1384.0 sec. user=vaughan [2009-05-31 02:51:04] 455*2^690782-1 is not prime. Res64: 3C35D179FE8AF954 Time : 454.0 sec. user=SazanEyes [2009-05-31 02:51:04] 537*2^690741-1 is not prime. Res64: F85744F2E896F8D1 Time : 8764.0 sec. user=vaughan [2009-05-31 02:55:08] 593*2^690782-1 is not prime. Res64: 8E9325C33F576A88 Time : 447.0 sec. user=SazanEyes [2009-05-31 02:57:39] 591*2^690742-1 is not prime. Res64: EAC317973C20BD3A Time : 8653.0 sec. user=vaughan [2009-05-31 02:58:36] 565*2^690783-1 is not prime. Res64: 75454A009864F5B2 Time : 452.0 sec. user=vaughan [2009-05-31 02:58:38] 459*2^690779-1 is not prime. Res64: 4A23ECA02F1CCD4C Time : 1390.0 sec. user=vaughan [2009-05-31 03:01:21] 411*2^690783-1 is not prime. Res64: 7038A42FD47F23E7 Time : 711.0 sec. user=vaughan [2009-05-31 03:02:34] 595*2^690783-1 is not prime. Res64: 319CF616B8745B28 Time : 447.0 sec. user=vaughan [2009-05-31 03:05:58] 577*2^690781-1 is not prime. Res64: C63F1B4B8628E0CE Time : 1471.0 sec. user=vaughan [2009-05-31 03:06:06] 569*2^690784-1 is not prime. Res64: 46C62DD0A12AF8EB Time : 450.0 sec. user=vaughan [2009-05-31 03:10:00] 529*2^690785-1 is not prime. Res64: 092416C82053A5D2 Time : 447.0 sec. user=vaughan [2009-05-31 03:10:25] 563*2^690782-1 is not prime. Res64: 41BD481FBC364FFF Time : 1463.0 sec. user=vaughan [2009-05-31 03:12:02] 553*2^690783-1 is not prime. Res64: 7E48FBBD045567E9 Time : 1294.0 sec. user=vaughan [2009-05-31 03:13:19] 445*2^690785-1 is not prime. Res64: 901BB1DAB2AC6834 Time : 718.0 sec. user=vaughan [2009-05-31 03:13:39] 463*2^690787-1 is not prime. Res64: B789EDAE8EC7301C Time : 453.0 sec. user=vaughan [2009-05-31 03:17:25] 489*2^690787-1 is not prime. Res64: C21D3DEDFC057AC6 Time : 446.0 sec. user=SazanEyes [2009-05-31 03:20:12] 577*2^690749-1 is not prime. Res64: 0E58841BEE519E5B Time : 8759.0 sec. user=vaughan [2009-05-31 03:21:10] 533*2^690788-1 is not prime. Res64: C8B2E68D9EB51EEA Time : 451.0 sec. user=vaughan [2009-05-31 03:21:50] 409*2^690785-1 is not prime. Res64: 602723BF29D91B59 Time : 1392.0 sec. user=vaughan [2009-05-31 03:24:51] 557*2^690788-1 is not prime. Res64: 19396F4562D87C2A Time : 446.0 sec. user=vaughan [2009-05-31 03:25:23] 405*2^690788-1 is not prime. Res64: 8B466E552AF9B998 Time : 724.0 sec. user=SazanEyes [2009-05-31 03:26:10] 513*2^690754-1 is not prime. Res64: 85FC5049D03369E8 Time : 8582.0 sec. user=vaughan [2009-05-31 03:28:40] 471*2^690789-1 is not prime. Res64: F94CD69E32CC72B0 Time : 451.0 sec. user=vaughan [2009-05-31 03:28:58] 577*2^690785-1 is not prime. Res64: A24A8EF36125EA77 Time : 1380.0 sec. user=vaughan [2009-05-31 03:32:17] 511*2^690789-1 is not prime. Res64: 676EDDC3CC5D0F27 Time : 446.0 sec. user=vaughan [2009-05-31 03:34:39] 505*2^690787-1 is not prime. Res64: BE6111025FD0A240 Time : 1454.0 sec. user=vaughan [2009-05-31 03:35:05] 541*2^690787-1 is not prime. Res64: 1DFFD519DEAA1DBB Time : 1383.0 sec. user=vaughan [2009-05-31 03:36:10] 525*2^690790-1 is not prime. Res64: 72C2E1984EA40924 Time : 450.0 sec. user=vaughan [2009-05-31 03:37:35] 453*2^690790-1 is not prime. Res64: 52B0A6349C6AFED4 Time : 732.0 sec. user=vaughan [2009-05-31 03:39:42] 403*2^690791-1 is not prime. Res64: 3AAA88B125265413 Time : 445.0 sec. user=vaughan [2009-05-31 03:43:40] 419*2^690792-1 is not prime. Res64: 4A14B195EC9F2EB9 Time : 450.0 sec. user=vaughan [2009-05-31 03:44:57] 481*2^690789-1 is not prime. Res64: 951BA7CE286B2D1C Time : 1388.0 sec. user=vaughan [2009-05-31 03:47:08] 485*2^690792-1 is not prime. Res64: B512C544B6A96477 Time : 446.0 sec. user=SazanEyes [2009-05-31 03:48:10] 507*2^690761-1 is not prime. Res64: 9FA0851251E11147 Time : 8677.0 sec. user=vaughan [2009-05-31 03:50:48] 453*2^690792-1 is not prime. Res64: 5F89511F7734719A Time : 793.0 sec. user=vaughan [2009-05-31 03:51:10] 465*2^690793-1 is not prime. Res64: 0F2FEF799563A8D7 Time : 450.0 sec. user=vaughan [2009-05-31 03:53:21] 555*2^690790-1 is not prime. Res64: C7B217200F520A8E Time : 1463.0 sec. user=vaughan [2009-05-31 03:54:34] 559*2^690793-1 is not prime. Res64: 7031BFED97F7BED2 Time : 446.0 sec. user=SazanEyes [2009-05-31 03:54:37] 471*2^690765-1 is not prime. Res64: F66E86C803711094 Time : 8584.0 sec. user=vaughan [2009-05-31 03:56:45] 571*2^690791-1 is not prime. Res64: 2858B6BA7B472236 Time : 1300.0 sec. user=vaughan [2009-05-31 03:58:40] 531*2^690794-1 is not prime. Res64: 22C1CD6BE39900ED Time : 450.0 sec. user=vaughan [2009-05-31 03:59:03] 549*2^690791-1 is not prime. Res64: 6E4BD9DFC77E505D Time : 1464.0 sec. user=vaughan [2009-05-31 04:02:00] 445*2^690795-1 is not prime. Res64: 62907E2C29251DDE Time : 446.0 sec. user=vaughan [2009-05-31 04:03:57] 507*2^690794-1 is not prime. Res64: BB700027D2184700 Time : 789.0 sec. user=vaughan [2009-05-31 04:06:10] 535*2^690795-1 is not prime. Res64: 984ACDB685A793D0 Time : 450.0 sec. user=vaughan [2009-05-31 04:08:14] 517*2^690793-1 is not prime. Res64: 38EC1B535C4CB0DD Time : 1398.0 sec. user=vaughan [2009-05-31 04:09:26] 583*2^690795-1 is not prime. Res64: 16B0B1CE4ECEDAFC Time : 446.0 sec. user=vaughan [2009-05-31 04:13:40] 413*2^690798-1 is not prime. Res64: 5E7EE4E716B797CD Time : 450.0 sec. user=vaughan [2009-05-31 04:16:27] 561*2^690794-1 is not prime. Res64: 5481B30366DB6C39 Time : 1386.0 sec. user=vaughan [2009-05-31 04:16:52] 443*2^690798-1 is not prime. Res64: D321194486BB3A00 Time : 446.0 sec. user=vaughan [2009-05-31 04:17:08] 487*2^690797-1 is not prime. Res64: D376BE3DC72462F7 Time : 792.0 sec. user=SazanEyes [2009-05-31 04:17:25] 465*2^690771-1 is not prime. Res64: 78A4AB19C84113FD Time : 8678.0 sec. user=vaughan [2009-05-31 04:19:47] 529*2^690795-1 is not prime. Res64: D9AB89DA8FA7A80F Time : 1382.0 sec. user=vaughan [2009-05-31 04:21:11] 513*2^690798-1 is not prime. Res64: 73BC47B15A8558A3 Time : 451.0 sec. user=SazanEyes [2009-05-31 04:22:37] 439*2^690773-1 is not prime. Res64: 6EEC6D497C172B10 Time : 8563.0 sec. user=vaughan [2009-05-31 04:23:18] 555*2^690795-1 is not prime. Res64: E55443B93AEF0745 Time : 1455.0 sec. user=vaughan [2009-05-31 04:24:19] 441*2^690799-1 is not prime. Res64: 558C9E94760F7CE8 Time : 447.0 sec. user=vaughan [2009-05-31 04:28:42] 509*2^690800-1 is not prime. Res64: 8941A85E4573F3D2 Time : 451.0 sec. user=vaughan [2009-05-31 04:29:33] 483*2^690799-1 is not prime. Res64: 4E85731CAB8BE367 Time : 746.0 sec. user=vaughan [2009-05-31 04:31:28] 431*2^690798-1 is not prime. Res64: 8D899524BCD6F06D Time : 1394.0 sec. user=vaughan [2009-05-31 04:31:45] 471*2^690801-1 is not prime. Res64: 197AE2D025A159AD Time : 447.0 sec. user=vaughan [2009-05-31 04:36:13] 555*2^690801-1 is not prime. Res64: EAC8D95DC3D2F28B Time : 451.0 sec. user=vaughan [2009-05-31 04:41:52] 533*2^690802-1 is not prime. Res64: 574AB20592C5D07E Time : 739.0 sec. user=vaughan [2009-05-31 04:43:35] 459*2^690800-1 is not prime. Res64: 72BAB9E2B8AD5A62 Time : 1429.0 sec. user=vaughan [2009-05-31 04:43:36] 581*2^690798-1 is not prime. Res64: 1093A62F56561E2A Time : 1629.0 sec. user=vaughan [2009-05-31 04:43:46] 561*2^690802-1 is not prime. Res64: 896F4C9077987ABD Time : 721.0 sec. user=SazanEyes [2009-05-31 04:45:15] 563*2^690776-1 is not prime. Res64: C22955210527AEB6 Time : 8597.0 sec. user=vaughan [2009-05-31 04:47:21] 469*2^690801-1 is not prime. Res64: 1C5E9214F46DE1D2 Time : 1444.0 sec. user=SazanEyes [2009-05-31 04:51:00] 453*2^690778-1 is not prime. Res64: 67444E0CDBDAE9C7 Time : 8497.0 sec. user=vaughan [2009-05-31 04:51:11] 469*2^690805-1 is not prime. Res64: 994EE023BA3D64D3 Time : 445.0 sec. user=vaughan [2009-05-31 04:52:18] 455*2^690806-1 is not prime. Res64: 5BA21A0D572929B9 Time : 450.0 sec. user=vaughan [2009-05-31 04:54:38] 551*2^690802-1 is not prime. Res64: 44C1D1953DCC86F1 Time : 1390.0 sec. user=vaughan [2009-05-31 04:54:40] 497*2^690804-1 is not prime. Res64: A2AD64F830864D79 Time : 768.0 sec. user=vaughan [2009-05-31 04:58:37] 571*2^690807-1 is not prime. Res64: 78C0C10842BD1927 Time : 446.0 sec. user=vaughan [2009-05-31 04:59:49] 419*2^690808-1 is not prime. Res64: 02DEABC732A7B894 Time : 451.0 sec. user=vaughan [2009-05-31 05:06:03] 571*2^690809-1 is not prime. Res64: 0A3CAABF058F34EA Time : 447.0 sec. user=vaughan [2009-05-31 05:07:19] 483*2^690810-1 is not prime. Res64: F302393FE4E0910F Time : 451.0 sec. user=vaughan [2009-05-31 05:07:32] 517*2^690809-1 is not prime. Res64: D32EB926332B9773 Time : 772.0 sec. user=vaughan [2009-05-31 05:07:38] 555*2^690805-1 is not prime. Res64: E95039B99A07D6A5 Time : 1381.0 sec. user=vaughan [2009-05-31 05:07:40] 567*2^690805-1 is not prime. Res64: 5ED18DD1F48DF740 Time : 1382.0 sec. user=vaughan [2009-05-31 05:11:36] 531*2^690807-1 is not prime. Res64: C94CFEBAE553D125 Time : 1455.0 sec. user=vaughan [2009-05-31 05:13:29] 441*2^690805-1 is not prime. Res64: F1D0CF3831D737F2 Time : 447.0 sec. user=SazanEyes [2009-05-31 05:14:17] 571*2^690783-1 is not prime. Res64: 7E5135FBBBBCB954 Time : 8593.0 sec. user=vaughan [2009-05-31 05:14:48] 521*2^690810-1 is not prime. Res64: 75EAF2FC1652238F Time : 449.0 sec. user=vaughan [2009-05-31 05:17:55] 597*2^690808-1 is not prime. Res64: 3F582D59AD5AA0DE Time : 1397.0 sec. user=SazanEyes [2009-05-31 05:19:32] 483*2^690784-1 is not prime. Res64: 3B6558B3CE90680B Time : 8513.0 sec. user=vaughan [2009-05-31 05:20:00] 525*2^690810-1 is not prime. Res64: 11CE8EEBC7092C09 Time : 748.0 sec. user=vaughan [2009-05-31 05:20:54] 417*2^690812-1 is not prime. Res64: F9455B28819F0429 Time : 445.0 sec. user=vaughan [2009-05-31 05:22:17] 573*2^690812-1 is not prime. Res64: 8464B6D4800F7E8A Time : 449.0 sec. user=vaughan [2009-05-31 05:28:20] 549*2^690813-1 is not prime. Res64: 5E39FC98886E15A6 Time : 446.0 sec. user=vaughan [2009-05-31 05:29:16] 453*2^690811-1 is not prime. Res64: 8379D67EDA62F7C2 Time : 1298.0 sec. user=vaughan [2009-05-31 05:29:48] 597*2^690813-1 is not prime. Res64: 1FC928A69105DACB Time : 451.0 sec. user=vaughan [2009-05-31 05:32:06] 463*2^690811-1 is not prime. Res64: A83604635B8DDCB7 Time : 1466.0 sec. user=vaughan [2009-05-31 05:32:57] 525*2^690813-1 is not prime. Res64: DB15191E0B5DC7E3 Time : 777.0 sec. user=vaughan [2009-05-31 05:35:46] 401*2^690814-1 is not prime. Res64: 9FED5C2A42F7D3CD Time : 446.0 sec. user=vaughan [2009-05-31 05:35:58] 531*2^690811-1 is not prime. Res64: F434D43E1927EEED Time : 1462.0 sec. user=vaughan [2009-05-31 05:37:18] 533*2^690814-1 is not prime. Res64: 6A48CBC144CD026B Time : 450.0 sec. user=vaughan [2009-05-31 05:41:04] 409*2^690813-1 is not prime. Res64: 325B42A31E647116 Time : 1389.0 sec. user=SazanEyes [2009-05-31 05:42:06] 427*2^690789-1 is not prime. Res64: 59BABB1C0F1CD0E1 Time : 8514.0 sec. user=vaughan [2009-05-31 05:43:12] 513*2^690816-1 is not prime. Res64: BAD90931D4E1AA10 Time : 446.0 sec. user=vaughan [2009-05-31 05:44:48] 431*2^690818-1 is not prime. Res64: ABFDE4384AAC7FBF Time : 450.0 sec. user=vaughan [2009-05-31 05:45:08] 543*2^690815-1 is not prime. Res64: 474A516AA1592AB6 Time : 731.0 sec. user=SazanEyes [2009-05-31 05:47:54] 477*2^690790-1 is not prime. Res64: C20CE15E3E2FC2A6 Time : 8504.0 sec. user=vaughan [2009-05-31 05:50:38] 489*2^690819-1 is not prime. Res64: 55B3B0A2D311A756 Time : 447.0 sec. user=vaughan [2009-05-31 05:52:18] 483*2^690814-1 is not prime. Res64: D46309F81A12A809 Time : 1382.0 sec. user=vaughan [2009-05-31 05:52:18] 437*2^690820-1 is not prime. Res64: A2461BD387CC71A4 Time : 450.0 sec. user=vaughan [2009-05-31 05:55:11] 409*2^690815-1 is not prime. Res64: 4A36C0387609304C Time : 1385.0 sec. user=vaughan [2009-05-31 05:58:04] 489*2^690821-1 is not prime. Res64: 0AC5E06F3C555DA3 Time : 446.0 sec. user=vaughan [2009-05-31 05:58:37] 447*2^690820-1 is not prime. Res64: CAD03DE15EF22626 Time : 810.0 sec. user=vaughan [2009-05-31 05:59:48] 529*2^690821-1 is not prime. Res64: DE2720962DD0EA2B Time : 451.0 sec. user=vaughan [2009-05-31 06:00:17] 425*2^690818-1 is not prime. Res64: E42E29129B9BD471 Time : 1459.0 sec. user=vaughan [2009-05-31 06:04:18] 483*2^690818-1 is not prime. Res64: E37E2A1AC74198F8 Time : 1394.0 sec. user=vaughan [2009-05-31 06:05:28] 485*2^690822-1 is not prime. Res64: AFA69314E8E375FA Time : 444.0 sec. user=vaughan [2009-05-31 06:07:21] 573*2^690822-1 is not prime. Res64: 4282A7DA69A93DB6 Time : 454.0 sec. user=vaughan [2009-05-31 06:10:31] 551*2^690822-1 is not prime. Res64: 4E70EFAF7EFDDF00 Time : 715.0 sec. user=SazanEyes [2009-05-31 06:11:15] 447*2^690794-1 is not prime. Res64: 1D121CEB6E42E560 Time : 8585.0 sec. user=vaughan [2009-05-31 06:12:52] 451*2^690823-1 is not prime. Res64: 3879B75DE6EC701A Time : 444.0 sec. user=vaughan [2009-05-31 06:13:52] 517*2^690821-1 is not prime. Res64: A7034F917CA23811 Time : 1295.0 sec. user=vaughan [2009-05-31 06:14:54] 425*2^690824-1 is not prime. Res64: 5FE4AA47C96E9FB5 Time : 453.0 sec. user=SazanEyes [2009-05-31 06:16:09] 495*2^690795-1 is not prime. Res64: 05D076D1B4A9F044 Time : 8492.0 sec. user=vaughan [2009-05-31 06:19:37] 483*2^690822-1 is not prime. Res64: D11B9F14F7B6A1CA Time : 1467.0 sec. user=vaughan [2009-05-31 06:20:18] 465*2^690824-1 is not prime. Res64: 68F05D8F1AFCF7E9 Time : 446.0 sec. user=vaughan [2009-05-31 06:22:23] 435*2^690824-1 is not prime. Res64: B085F2C851EBA1D6 Time : 712.0 sec. user=vaughan [2009-05-31 06:22:24] 563*2^690824-1 is not prime. Res64: 383428A2DFAC9F8F Time : 451.0 sec. user=vaughan [2009-05-31 06:24:37] 411*2^690823-1 is not prime. Res64: 73E2658A2712DD12 Time : 1461.0 sec. user=vaughan [2009-05-31 06:27:28] 415*2^690823-1 is not prime. Res64: F09F0FE642686078 Time : 1390.0 sec. user=vaughan [2009-05-31 06:27:43] 531*2^690825-1 is not prime. Res64: D4C902BE343956CC Time : 445.0 sec. user=vaughan [2009-05-31 06:29:54] 525*2^690826-1 is not prime. Res64: 43FFE32E252D3D35 Time : 450.0 sec. user=vaughan [2009-05-31 06:34:20] 461*2^690826-1 is not prime. Res64: 4D56E1D3F383D0B2 Time : 717.0 sec. user=vaughan [2009-05-31 06:35:09] 433*2^690827-1 is not prime. Res64: A31A815A011746E5 Time : 446.0 sec. user=vaughan [2009-05-31 06:36:58] 507*2^690824-1 is not prime. Res64: 4D5FC863AAF6FA95 Time : 1386.0 sec. user=vaughan [2009-05-31 06:37:24] 495*2^690827-1 is not prime. Res64: C472ED9D654DA68A Time : 450.0 sec. user=SazanEyes [2009-05-31 06:40:24] 413*2^690800-1 is not prime. Res64: A3A5E075B5EB04F1 Time : 8579.0 sec. user=vaughan [2009-05-31 06:42:35] 595*2^690827-1 is not prime. Res64: 47FF890D72A40563 Time : 446.0 sec. user=vaughan [2009-05-31 06:42:45] 517*2^690825-1 is not prime. Res64: 4DDF8D6162FAFD96 Time : 1388.0 sec. user=SazanEyes [2009-05-31 06:44:30] 557*2^690800-1 is not prime. Res64: 1FC47464772AAAB1 Time : 8513.0 sec. user=vaughan [2009-05-31 06:44:55] 437*2^690828-1 is not prime. Res64: 8C9FB421C4180173 Time : 451.0 sec. user=vaughan [2009-05-31 06:46:44] 511*2^690827-1 is not prime. Res64: B0F728BF451C16BE Time : 744.0 sec. user=vaughan [2009-05-31 06:47:43] 527*2^690826-1 is not prime. Res64: 51377FA6311C39CA Time : 1386.0 sec. user=vaughan [2009-05-31 06:49:58] 441*2^690829-1 is not prime. Res64: 7F5AF0F90C74D697 Time : 444.0 sec. user=vaughan [2009-05-31 06:50:44] 545*2^690826-1 is not prime. Res64: A69300867C3F0AE5 Time : 1397.0 sec. user=vaughan [2009-05-31 06:52:28] 537*2^690829-1 is not prime. Res64: FBA71AE519BEEF7D Time : 453.0 sec. user=vaughan [2009-05-31 06:57:23] 501*2^690830-1 is not prime. Res64: 5473D2460F7E6233 Time : 446.0 sec. user=vaughan [2009-05-31 06:58:35] 419*2^690828-1 is not prime. Res64: 059DCAA33920234A Time : 1297.0 sec. user=vaughan [2009-05-31 06:58:41] 577*2^690829-1 is not prime. Res64: 0291E1D55DA506A5 Time : 717.0 sec. user=vaughan [2009-05-31 06:59:58] 483*2^690831-1 is not prime. Res64: D9A4ED60CAF3D7FF Time : 450.0 sec. user=vaughan [2009-05-31 07:04:48] 513*2^690831-1 is not prime. Res64: 9CD583F2C4871275 Time : 445.0 sec. user=vaughan [2009-05-31 07:07:15] 465*2^690829-1 is not prime. Res64: 373D9174BC9A8F9B Time : 1470.0 sec. user=vaughan [2009-05-31 07:07:30] 563*2^690832-1 is not prime. Res64: 6E2617FC3A7E41E7 Time : 452.0 sec. user=SazanEyes [2009-05-31 07:08:21] 483*2^690806-1 is not prime. Res64: A24D96461BE29DD0 Time : 8586.0 sec. user=vaughan [2009-05-31 07:10:30] 507*2^690832-1 is not prime. Res64: 3F4BF87A6C3AF8C8 Time : 709.0 sec. user=vaughan [2009-05-31 07:12:10] 595*2^690829-1 is not prime. Res64: A2E9A2666A27DE10 Time : 1467.0 sec. user=vaughan [2009-05-31 07:12:13] 409*2^690833-1 is not prime. Res64: F4076AF1538C5F42 Time : 445.0 sec. user=SazanEyes [2009-05-31 07:12:42] 565*2^690807-1 is not prime. Res64: 8C17ADAEFB9E7497 Time : 8502.0 sec. user=vaughan [2009-05-31 07:14:00] 433*2^690831-1 is not prime. Res64: AA294847DB1B567E Time : 1396.0 sec. user=vaughan [2009-05-31 07:15:01] 501*2^690833-1 is not prime. Res64: 12EEEB29CFA6E33D Time : 452.0 sec. user=vaughan [2009-05-31 07:19:38] 443*2^690834-1 is not prime. Res64: 5F6D957A3526DE65 Time : 445.0 sec. user=vaughan [2009-05-31 07:21:44] 595*2^690831-1 is not prime. Res64: 2204952FAE7EBC6B Time : 1389.0 sec. user=vaughan [2009-05-31 07:22:23] 411*2^690834-1 is not prime. Res64: 07B250B6655A047E Time : 713.0 sec. user=vaughan [2009-05-31 07:22:31] 437*2^690836-1 is not prime. Res64: 6732AEB10CC35B70 Time : 450.0 sec. user=vaughan [2009-05-31 07:27:04] 465*2^690836-1 is not prime. Res64: 1CC163989EACA024 Time : 446.0 sec. user=vaughan [2009-05-31 07:30:01] 417*2^690837-1 is not prime. Res64: DD82D4B331DBCAE7 Time : 450.0 sec. user=vaughan [2009-05-31 07:30:18] 475*2^690833-1 is not prime. Res64: 6F77BCFE02E96222 Time : 1384.0 sec. user=vaughan [2009-05-31 07:34:12] 405*2^690837-1 is not prime. Res64: D970EC77198F0056 Time : 709.0 sec. user=vaughan [2009-05-31 07:34:29] 439*2^690837-1 is not prime. Res64: CFE39A8FBD8D17E8 Time : 446.0 sec. user=vaughan [2009-05-31 07:35:04] 423*2^690834-1 is not prime. Res64: 4949A29A6E080B65 Time : 1375.0 sec. user=SazanEyes [2009-05-31 07:36:13] 525*2^690812-1 is not prime. Res64: 39DE1DCC73D338EF Time : 8516.0 sec. user=vaughan [2009-05-31 07:37:16] 495*2^690835-1 is not prime. Res64: AF443A51E73CD2D1 Time : 1396.0 sec. user=vaughan [2009-05-31 07:37:30] 577*2^690837-1 is not prime. Res64: 9FFDBD40A9E01433 Time : 449.0 sec. user=SazanEyes [2009-05-31 07:41:07] 517*2^690813-1 is not prime. Res64: 3411919EADF0FC31 Time : 8495.0 sec. user=vaughan [2009-05-31 07:41:54] 491*2^690838-1 is not prime. Res64: A3F1393904C1467B Time : 445.0 sec. user=vaughan [2009-05-31 07:43:23] 585*2^690836-1 is not prime. Res64: 2C050521DB113B64 Time : 1300.0 sec. user=vaughan [2009-05-31 07:44:59] 597*2^690838-1 is not prime. Res64: 07BC7CA22428172A Time : 449.0 sec. user=vaughan [2009-05-31 07:46:08] 423*2^690838-1 is not prime. Res64: 664C668585E9C0BD Time : 716.0 sec. user=vaughan [2009-05-31 07:49:19] 543*2^690839-1 is not prime. Res64: F732B1F614FCAC69 Time : 445.0 sec. user=vaughan [2009-05-31 07:52:28] 425*2^690840-1 is not prime. Res64: DFB79E3237DBA926 Time : 449.0 sec. user=vaughan [2009-05-31 07:54:42] 401*2^690838-1 is not prime. Res64: E48F33E9FF4D62CF Time : 1464.0 sec. user=vaughan [2009-05-31 07:56:44] 455*2^690840-1 is not prime. Res64: 9523847904BCBE26 Time : 445.0 sec. user=vaughan [2009-05-31 07:58:23] 429*2^690840-1 is not prime. Res64: A58B2B50D656EAD3 Time : 736.0 sec. user=vaughan [2009-05-31 07:59:22] 533*2^690838-1 is not prime. Res64: 1D8C46A092AECA97 Time : 1458.0 sec. user=vaughan [2009-05-31 07:59:58] 569*2^690840-1 is not prime. Res64: 79BE7DD2CF3FD410 Time : 450.0 sec. user=vaughan [2009-05-31 08:00:30] 581*2^690838-1 is not prime. Res64: 197C1D33F511FCFF Time : 1394.0 sec. user=vaughan [2009-05-31 08:04:07] 441*2^690841-1 is not prime. Res64: 4D13B421DA007655 Time : 443.0 sec. user=SazanEyes [2009-05-31 08:05:17] 551*2^690818-1 is not prime. Res64: 46D4080CF03BACD3 Time : 8591.0 sec. user=vaughan [2009-05-31 08:06:29] 405*2^690840-1 is not prime. Res64: 18CC28D94A332F2F Time : 1386.0 sec. user=vaughan [2009-05-31 08:07:30] 407*2^690842-1 is not prime. Res64: A6287EB0456E1F03 Time : 452.0 sec. user=SazanEyes [2009-05-31 08:09:27] 465*2^690821-1 is not prime. Res64: 86A1105765A06642 Time : 8494.0 sec. user=vaughan [2009-05-31 08:10:08] 465*2^690841-1 is not prime. Res64: 0F80D14F5C31FC4D Time : 706.0 sec. user=vaughan [2009-05-31 08:11:30] 425*2^690842-1 is not prime. Res64: F711CD945CA9F664 Time : 443.0 sec. user=vaughan [2009-05-31 08:15:03] 525*2^690842-1 is not prime. Res64: 5D72985303D679FE Time : 453.0 sec. user=vaughan [2009-05-31 08:17:36] 421*2^690841-1 is not prime. Res64: 0C4F86F4415A5162 Time : 1374.0 sec. user=vaughan [2009-05-31 08:18:53] 481*2^690843-1 is not prime. Res64: 0A559DDF0E51850A Time : 443.0 sec. user=vaughan [2009-05-31 08:21:59] 587*2^690842-1 is not prime. Res64: 4C1750AF8D05B580 Time : 712.0 sec. user=vaughan [2009-05-31 08:22:12] 505*2^690841-1 is not prime. Res64: 4AC2A25FE14806DE Time : 1370.0 sec. user=vaughan [2009-05-31 08:22:35] 501*2^690843-1 is not prime. Res64: A8CCBE989101A55A Time : 452.0 sec. user=vaughan [2009-05-31 08:23:45] 417*2^690842-1 is not prime. Res64: F2E54BE01029A939 Time : 1395.0 sec. user=vaughan [2009-05-31 08:26:17] 419*2^690844-1 is not prime. Res64: 817EE716C426E411 Time : 444.0 sec. user=vaughan [2009-05-31 08:28:06] 503*2^690842-1 is not prime. Res64: C0E359966FB4E25B Time : 1298.0 sec. user=vaughan [2009-05-31 08:30:07] 533*2^690844-1 is not prime. Res64: BDE859B6990F3404 Time : 452.0 sec. user=vaughan [2009-05-31 08:33:41] 575*2^690844-1 is not prime. Res64: BA52E967258209D9 Time : 445.0 sec. user=vaughan [2009-05-31 08:33:52] 435*2^690844-1 is not prime. Res64: F9E3E1CAF49A7A9F Time : 713.0 sec. user=SazanEyes [2009-05-31 08:34:22] 447*2^690824-1 is not prime. Res64: A733611AAD2799AD Time : 8587.0 sec. user=vaughan [2009-05-31 08:37:37] 405*2^690845-1 is not prime. Res64: AE1971234BACEBCA Time : 450.0 sec. user=SazanEyes [2009-05-31 08:37:46] 457*2^690825-1 is not prime. Res64: 96336F3D9737EE23 Time : 8497.0 sec. user=vaughan [2009-05-31 08:41:07] 507*2^690845-1 is not prime. Res64: C03C4B252CE5AEC3 Time : 447.0 sec. user=vaughan [2009-05-31 08:41:59] 591*2^690843-1 is not prime. Res64: DFCB5F0C97127F19 Time : 1463.0 sec. user=vaughan [2009-05-31 08:45:07] 453*2^690846-1 is not prime. Res64: 4975D4CDE776170A Time : 450.0 sec. user=vaughan [2009-05-31 08:45:35] 411*2^690846-1 is not prime. Res64: A0BCDA8D1F629EAD Time : 703.0 sec. user=vaughan [2009-05-31 08:46:26] 437*2^690844-1 is not prime. Res64: F4368F8A1D4E39BB Time : 1455.0 sec. user=vaughan [2009-05-31 08:46:58] 539*2^690844-1 is not prime. Res64: CC3CD1F24F9B3479 Time : 1393.0 sec. user=vaughan [2009-05-31 08:48:32] 525*2^690846-1 is not prime. Res64: B4F66C5AAC682FEA Time : 446.0 sec. user=vaughan [2009-05-31 08:51:16] 587*2^690844-1 is not prime. Res64: 9FB0A4DE6F6E950B Time : 1390.0 sec. user=vaughan [2009-05-31 08:52:37] 595*2^690847-1 is not prime. Res64: 242DD624689BC43B Time : 450.0 sec. user=vaughan [2009-05-31 08:55:58] 441*2^690849-1 is not prime. Res64: D1F3972B99351038 Time : 446.0 sec. user=vaughan [2009-05-31 08:57:09] 495*2^690848-1 is not prime. Res64: 1E6DC683D83D8392 Time : 694.0 sec. user=vaughan [2009-05-31 09:00:08] 461*2^690850-1 is not prime. Res64: 2D3A1CEF56876363 Time : 451.0 sec. user=vaughan [2009-05-31 09:03:24] 483*2^690850-1 is not prime. Res64: BD0127C2F877120E Time : 446.0 sec. user=SazanEyes [2009-05-31 09:03:35] 527*2^690828-1 is not prime. Res64: 56C8D96367D3C7D4 Time : 8591.0 sec. user=vaughan [2009-05-31 09:05:08] 541*2^690847-1 is not prime. Res64: E7589D8128CDF3A4 Time : 1389.0 sec. user=SazanEyes [2009-05-31 09:05:37] 495*2^690829-1 is not prime. Res64: 99609324EF63795E Time : 8468.0 sec. user=vaughan [2009-05-31 09:07:44] 555*2^690850-1 is not prime. Res64: 09C39804D5637701 Time : 457.0 sec. user=vaughan [2009-05-31 09:08:42] 513*2^690850-1 is not prime. Res64: 55D46B16DC4FE559 Time : 693.0 sec. user=vaughan [2009-05-31 09:09:31] 557*2^690848-1 is not prime. Res64: 38ACB8439EABF216 Time : 1385.0 sec. user=vaughan [2009-05-31 09:10:18] 563*2^690848-1 is not prime. Res64: B43C16137A102679 Time : 1400.0 sec. user=vaughan [2009-05-31 09:10:51] 567*2^690850-1 is not prime. Res64: F8F3142E454B36F5 Time : 447.0 sec. user=vaughan [2009-05-31 09:12:55] 559*2^690849-1 is not prime. Res64: 64BA034103EB19D1 Time : 1299.0 sec. user=vaughan [2009-05-31 09:15:19] 405*2^690852-1 is not prime. Res64: 009AFE7720911569 Time : 456.0 sec. user=vaughan [2009-05-31 09:18:18] 555*2^690852-1 is not prime. Res64: C399E2845A38F214 Time : 447.0 sec. user=vaughan [2009-05-31 09:20:29] 413*2^690852-1 is not prime. Res64: 336595D012C63292 Time : 707.0 sec. user=vaughan [2009-05-31 09:22:49] 471*2^690853-1 is not prime. Res64: 0F5777A0D6ED7E73 Time : 451.0 sec. user=vaughan [2009-05-31 09:25:44] 555*2^690853-1 is not prime. Res64: B33E1348474F3AF5 Time : 446.0 sec. user=vaughan [2009-05-31 09:29:34] 579*2^690851-1 is not prime. Res64: 80A7DAF98AE7F347 Time : 1466.0 sec. user=vaughan [2009-05-31 09:30:17] 461*2^690854-1 is not prime. Res64: 0DEDBF11AA58AF42 Time : 448.0 sec. user=vaughan [2009-05-31 09:32:08] 559*2^690853-1 is not prime. Res64: 96798B184592A53D Time : 699.0 sec. user=SazanEyes [2009-05-31 09:32:47] 559*2^690833-1 is not prime. Res64: B71DB616B39E8000 Time : 8666.0 sec. user=vaughan [2009-05-31 09:33:12] 473*2^690854-1 is not prime. Res64: 9547A4E14161A243 Time : 448.0 sec. user=vaughan [2009-05-31 09:33:33] 497*2^690852-1 is not prime. Res64: E11904362B1F5CB6 Time : 1395.0 sec. user=vaughan [2009-05-31 09:33:50] 489*2^690852-1 is not prime. Res64: F97C54BAEE0EEBD4 Time : 1459.0 sec. user=SazanEyes [2009-05-31 09:33:52] 573*2^690834-1 is not prime. Res64: 5D61FEAC960BC048 Time : 8470.0 sec. user=vaughan [2009-05-31 09:36:01] 421*2^690853-1 is not prime. Res64: EB5C368C536AED9E Time : 1386.0 sec. user=vaughan [2009-05-31 09:37:51] 561*2^690854-1 is not prime. Res64: E09DD032699B8EEE Time : 454.0 sec. user=vaughan [2009-05-31 09:40:38] 595*2^690855-1 is not prime. Res64: AE908E0121E0FA37 Time : 447.0 sec. user=vaughan [2009-05-31 09:43:47] 573*2^690854-1 is not prime. Res64: 40D13E7B09B0DB4D Time : 699.0 sec. user=vaughan [2009-05-31 09:45:23] 501*2^690857-1 is not prime. Res64: 2D2B743C94250AC1 Time : 452.0 sec. user=vaughan [2009-05-31 09:48:04] 595*2^690857-1 is not prime. Res64: 1CA8A86F28F3D0B3 Time : 447.0 sec. user=vaughan [2009-05-31 09:52:28] 525*2^690854-1 is not prime. Res64: 8ED273F8CD83BB5A Time : 1375.0 sec. user=vaughan [2009-05-31 09:52:53] 497*2^690858-1 is not prime. Res64: 229AB8C84BFE9093 Time : 451.0 sec. user=vaughan [2009-05-31 09:55:19] 465*2^690858-1 is not prime. Res64: D7081A3CCA1A6208 Time : 692.0 sec. user=vaughan [2009-05-31 09:55:29] 429*2^690859-1 is not prime. Res64: C4DEF36FE39AB1AA Time : 446.0 sec. user=vaughan [2009-05-31 09:56:43] 483*2^690856-1 is not prime. Res64: D199F1BE013A20AE Time : 1373.0 sec. user=vaughan [2009-05-31 09:56:47] 437*2^690856-1 is not prime. Res64: FF57E0FD8E26A95D Time : 1394.0 sec. user=vaughan [2009-05-31 09:57:38] 527*2^690856-1 is not prime. Res64: 11966AFB864DBABF Time : 1297.0 sec. user=vaughan [2009-05-31 10:00:27] 465*2^690859-1 is not prime. Res64: C737A6AFF7DCA360 Time : 455.0 sec. user=SazanEyes [2009-05-31 10:01:56] 551*2^690838-1 is not prime. Res64: 34720FCF43BFCC2C Time : 8743.0 sec. user=SazanEyes [2009-05-31 10:02:13] 451*2^690839-1 is not prime. Res64: B88918D855EFB7A8 Time : 8466.0 sec. user=vaughan [2009-05-31 10:02:54] 553*2^690859-1 is not prime. Res64: C68C10B85AB20317 Time : 445.0 sec. user=vaughan [2009-05-31 10:06:48] 483*2^690859-1 is not prime. Res64: A57E9656F0268E7F Time : 689.0 sec. user=vaughan [2009-05-31 10:08:08] 599*2^690860-1 is not prime. Res64: B093D8BF861254A7 Time : 461.0 sec. user=vaughan [2009-05-31 10:10:20] 597*2^690861-1 is not prime. Res64: 1A0171C6906C7BFD Time : 447.0 sec. user=vaughan [2009-05-31 10:15:44] 471*2^690862-1 is not prime. Res64: 446FD96F3B3F972B Time : 457.0 sec. user=vaughan [2009-05-31 10:16:52] 463*2^690859-1 is not prime. Res64: 5347BCAB63F583F9 Time : 1464.0 sec. user=vaughan [2009-05-31 10:17:55] 573*2^690862-1 is not prime. Res64: 526E736054A22D81 Time : 456.0 sec. user=vaughan [2009-05-31 10:18:32] 455*2^690862-1 is not prime. Res64: 7B96AB7ED2F31D2B Time : 704.0 sec. user=vaughan [2009-05-31 10:20:04] 477*2^690860-1 is not prime. Res64: A182411101038E58 Time : 1397.0 sec. user=vaughan [2009-05-31 10:20:45] 585*2^690860-1 is not prime. Res64: 2D76567BCDF3B5E4 Time : 1387.0 sec. user=vaughan [2009-05-31 10:21:03] 449*2^690860-1 is not prime. Res64: B5E5CDDFABC8BE97 Time : 1461.0 sec. user=vaughan [2009-05-31 10:23:16] 439*2^690863-1 is not prime. Res64: D2FC862BDB44CD7C Time : 453.0 sec. user=vaughan [2009-05-31 10:25:26] 549*2^690863-1 is not prime. Res64: 2ACB8F21DB6F42E8 Time : 452.0 sec. user=vaughan [2009-05-31 10:30:20] 455*2^690864-1 is not prime. Res64: 74424DB461075FE3 Time : 708.0 sec. user=SazanEyes [2009-05-31 10:30:37] 581*2^690842-1 is not prime. Res64: D1024F95848D5271 Time : 8470.0 sec. user=vaughan [2009-05-31 10:30:54] 469*2^690865-1 is not prime. Res64: 72176A8986FAE571 Time : 458.0 sec. user=SazanEyes [2009-05-31 10:31:09] 431*2^690842-1 is not prime. Res64: 22CFB86900FC37FF Time : 8752.0 sec. user=vaughan [2009-05-31 10:32:58] 495*2^690865-1 is not prime. Res64: E7B3B1F6D1B988E9 Time : 452.0 sec. user=vaughan [2009-05-31 10:38:29] 565*2^690865-1 is not prime. Res64: 67208F35ABFAB40B Time : 459.0 sec. user=vaughan [2009-05-31 10:40:32] 405*2^690866-1 is not prime. Res64: 457743C38B29C00C Time : 458.0 sec. user=vaughan [2009-05-31 10:41:58] 525*2^690865-1 is not prime. Res64: 1A6192D95AAEB7BA Time : 698.0 sec. user=vaughan [2009-05-31 10:46:04] 425*2^690866-1 is not prime. Res64: 5F231BDBF1ABFB6D Time : 456.0 sec. user=vaughan [2009-05-31 10:48:07] 447*2^690866-1 is not prime. Res64: BB7CCCFC87C739D2 Time : 459.0 sec. user=vaughan [2009-05-31 10:53:41] 497*2^690866-1 is not prime. Res64: 92B4EFD52762322B Time : 457.0 sec. user=vaughan [2009-05-31 10:53:50] 477*2^690866-1 is not prime. Res64: 724487A75321967B Time : 712.0 sec. user=vaughan [2009-05-31 10:55:37] 525*2^690866-1 is not prime. Res64: A3D147CBEFE51ED8 Time : 454.0 sec. user=SazanEyes [2009-05-31 10:58:53] 473*2^690846-1 is not prime. Res64: 21990321086B6E9A Time : 8467.0 sec. user=SazanEyes [2009-05-31 11:00:17] 425*2^690846-1 is not prime. Res64: D4F6010CDAB99C51 Time : 8755.0 sec. user=vaughan [2009-05-31 11:01:21] 531*2^690866-1 is not prime. Res64: D1DB8E9BDB4A6217 Time : 461.0 sec. user=vaughan [2009-05-31 11:03:06] 529*2^690867-1 is not prime. Res64: 0DC147CEBE36B035 Time : 452.0 sec. user=vaughan [2009-05-31 11:06:31] 453*2^690867-1 is not prime. Res64: C9A879585FB97757 Time : 762.0 sec. user=vaughan [2009-05-31 11:09:02] 497*2^690868-1 is not prime. Res64: 4C46C099F16F4E2D Time : 462.0 sec. user=vaughan [2009-05-31 11:10:33] 525*2^690868-1 is not prime. Res64: 0F2507FEB6949D93 Time : 450.0 sec. user=vaughan [2009-05-31 11:16:34] 537*2^690868-1 is not prime. Res64: 2710187EAF0F5485 Time : 453.0 sec. user=vaughan [2009-05-31 11:18:01] 487*2^690869-1 is not prime. Res64: 624FECE262E31AD3 Time : 449.0 sec. user=vaughan [2009-05-31 11:18:07] 527*2^690868-1 is not prime. Res64: E06602D9EA8FFDBE Time : 696.0 sec. user=vaughan [2009-05-31 11:24:09] 517*2^690869-1 is not prime. Res64: 5FA3F4530EEE31A9 Time : 455.0 sec. user=vaughan [2009-05-31 11:25:41] 561*2^690869-1 is not prime. Res64: 7980B4FDEFEA11FB Time : 461.0 sec. user=SazanEyes [2009-05-31 11:28:18] 585*2^690851-1 is not prime. Res64: 5E1AC63428F49D84 Time : 8562.0 sec. user=SazanEyes [2009-05-31 11:29:26] 505*2^690851-1 is not prime. Res64: 7ACF6AC6E2AC7D0F Time : 8751.0 sec. user=vaughan [2009-05-31 11:30:04] 413*2^690870-1 is not prime. Res64: DA4E2261BF5D332E Time : 717.0 sec. user=vaughan [2009-05-31 11:31:53] 503*2^690870-1 is not prime. Res64: 935E18F98F5A8FDC Time : 465.0 sec. user=vaughan [2009-05-31 11:33:19] 525*2^690870-1 is not prime. Res64: EC997FE99FEFCFE6 Time : 462.0 sec. user=vaughan [2009-05-31 11:39:28] 421*2^690871-1 is not prime. Res64: E84740D7EB80E270 Time : 456.0 sec. user=vaughan [2009-05-31 11:40:47] 493*2^690871-1 is not prime. Res64: 25C7D8B353456A9B Time : 449.0 sec. user=vaughan [2009-05-31 11:41:55] 581*2^690870-1 is not prime. Res64: F944FCE84C7267A9 Time : 711.0 sec. user=vaughan [2009-05-31 11:47:01] 511*2^690871-1 is not prime. Res64: CFC4E1DBBBE8BE62 Time : 454.0 sec. user=vaughan [2009-05-31 11:48:14] 531*2^690871-1 is not prime. Res64: 93EED6AFFF783739 Time : 448.0 sec. user=vaughan [2009-05-31 11:53:45] 413*2^690872-1 is not prime. Res64: 4D3D5992E167B223 Time : 710.0 sec. user=vaughan [2009-05-31 11:54:37] 447*2^690872-1 is not prime. Res64: D74F768585B33827 Time : 456.0 sec. user=vaughan [2009-05-31 11:56:01] 449*2^690872-1 is not prime. Res64: 5C4842054B01E63C Time : 468.0 sec. user=SazanEyes [2009-05-31 11:56:38] 509*2^690856-1 is not prime. Res64: 7C4F87C530D03243 Time : 8566.0 sec. user=SazanEyes [2009-05-31 11:58:40] 471*2^690855-1 is not prime. Res64: 2222018599BEEBF7 Time : 8753.0 sec. user=vaughan [2009-05-31 12:02:15] 459*2^690872-1 is not prime. Res64: 40780CA12D048843 Time : 459.0 sec. user=vaughan [2009-05-31 12:03:33] 537*2^690872-1 is not prime. Res64: CB0FA01929AB04E4 Time : 462.0 sec. user=vaughan [2009-05-31 12:09:34] 455*2^690872-1 is not prime. Res64: 8C20D4B74C232675 Time : 949.0 sec. user=vaughan [2009-05-31 12:09:52] 481*2^690873-1 is not prime. Res64: 590C2DF612BA2787 Time : 458.0 sec. user=vaughan [2009-05-31 12:11:05] 565*2^690873-1 is not prime. Res64: 0EF48FF8CBCF4422 Time : 453.0 sec. user=vaughan [2009-05-31 12:17:26] 497*2^690874-1 is not prime. Res64: AF24E8160FC08AD6 Time : 455.0 sec. user=vaughan [2009-05-31 12:18:33] 567*2^690874-1 is not prime. Res64: 2033DE4B841962BF Time : 449.0 sec. user=SazanEyes [2009-05-31 12:25:06] 549*2^690861-1 is not prime. Res64: A2B3E7A73B39116F Time : 8573.0 sec. user=vaughan [2009-05-31 12:25:21] 489*2^690875-1 is not prime. Res64: 6BF6401533AD3D66 Time : 476.0 sec. user=vaughan [2009-05-31 12:26:13] 531*2^690875-1 is not prime. Res64: 3C4343A12A87C536 Time : 460.0 sec. user=SazanEyes [2009-05-31 12:26:33] 439*2^690861-1 is not prime. Res64: 96C92A4A2003B359 Time : 8677.0 sec. user=vaughan [2009-05-31 12:27:45] 577*2^690873-1 is not prime. Res64: D3F046FBE0E26648 Time : 1091.0 sec. user=vaughan [2009-05-31 12:33:14] 573*2^690875-1 is not prime. Res64: 53179BAE5CBD61A2 Time : 474.0 sec. user=vaughan [2009-05-31 12:33:42] 429*2^690876-1 is not prime. Res64: 3107A0691C52E689 Time : 450.0 sec. user=vaughan [2009-05-31 12:40:47] 563*2^690876-1 is not prime. Res64: 170E15D7DBAFFCA3 Time : 453.0 sec. user=vaughan [2009-05-31 12:41:09] 435*2^690877-1 is not prime. Res64: 23A1BCF250536542 Time : 448.0 sec. user=vaughan [2009-05-31 12:42:26] 507*2^690876-1 is not prime. Res64: 64BDF359EDD8AAF9 Time : 881.0 sec. user=vaughan [2009-05-31 12:48:20] 417*2^690878-1 is not prime. Res64: B97FBCE14AD78F5D Time : 454.0 sec. user=vaughan [2009-05-31 12:48:46] 591*2^690878-1 is not prime. Res64: 22A252F6C5F2B1D6 Time : 457.0 sec. user=SazanEyes [2009-05-31 12:53:09] 535*2^690865-1 is not prime. Res64: DBEF8DDD1099F9AC Time : 8552.0 sec. user=vaughan [2009-05-31 12:54:35] 513*2^690879-1 is not prime. Res64: 87EFF166CC595F54 Time : 729.0 sec. user=SazanEyes [2009-05-31 12:55:36] 597*2^690865-1 is not prime. Res64: AE65DE8AB989A023 Time : 8667.0 sec. user=vaughan [2009-05-31 12:55:53] 407*2^690880-1 is not prime. Res64: 0114693464BDD2C9 Time : 454.0 sec. user=vaughan [2009-05-31 12:56:15] 447*2^690880-1 is not prime. Res64: BF7A1A7AFE3FDD13 Time : 449.0 sec. user=vaughan [2009-05-31 13:03:36] 437*2^690882-1 is not prime. Res64: 3784FEED738019C4 Time : 463.0 sec. user=vaughan [2009-05-31 13:03:45] 483*2^690882-1 is not prime. Res64: 41C9E141740E02E5 Time : 451.0 sec. user=vaughan [2009-05-31 13:07:08] 479*2^690880-1 is not prime. Res64: CDBFB6A54E218A70 Time : 753.0 sec. user=vaughan [2009-05-31 13:11:12] 507*2^690882-1 is not prime. Res64: 1E5D8014B5BBF47E Time : 456.0 sec. user=vaughan [2009-05-31 13:11:15] 551*2^690882-1 is not prime. Res64: 1E2492C734BC930E Time : 451.0 sec. user=vaughan [2009-05-31 13:18:47] 495*2^690883-1 is not prime. Res64: AB119AB22C2CD16D Time : 453.0 sec. user=vaughan [2009-05-31 13:18:50] 583*2^690883-1 is not prime. Res64: 98FF12700BDF5814 Time : 458.0 sec. user=vaughan [2009-05-31 13:19:19] 441*2^690883-1 is not prime. Res64: CC0DD1AD5F479C01 Time : 731.0 sec. user=SazanEyes [2009-05-31 13:22:46] 429*2^690868-1 is not prime. Res64: E7789F3746A0BB13 Time : 8633.0 sec. user=SazanEyes [2009-05-31 13:23:27] 453*2^690868-1 is not prime. Res64: 5214013CABD0A11D Time : 8590.0 sec. user=vaughan [2009-05-31 13:26:17] 589*2^690883-1 is not prime. Res64: 0A88DA0132D502DD Time : 451.0 sec. user=vaughan [2009-05-31 13:26:27] 595*2^690883-1 is not prime. Res64: AC7A97D2E6AC7AEA Time : 457.0 sec. user=vaughan [2009-05-31 13:31:30] 511*2^690885-1 is not prime. Res64: B7102B5C057BCE55 Time : 731.0 sec. user=vaughan [2009-05-31 13:33:43] 495*2^690886-1 is not prime. Res64: 419715BF50591336 Time : 451.0 sec. user=vaughan [2009-05-31 13:34:13] 561*2^690886-1 is not prime. Res64: 41F419D2716F00ED Time : 467.0 sec. user=vaughan [2009-05-31 13:41:12] 433*2^690887-1 is not prime. Res64: F3738764A452B247 Time : 450.0 sec. user=vaughan [2009-05-31 13:41:51] 585*2^690887-1 is not prime. Res64: FD397CFF3BEF3A0F Time : 459.0 sec. user=vaughan [2009-05-31 13:43:29] 573*2^690886-1 is not prime. Res64: 6CC7D8205AFC1391 Time : 719.0 sec. user=vaughan [2009-05-31 13:48:38] 467*2^690888-1 is not prime. Res64: 435CC87BC55EB33B Time : 447.0 sec. user=vaughan [2009-05-31 13:49:25] 485*2^690888-1 is not prime. Res64: 866E71B94EE8F94D Time : 454.0 sec. user=SazanEyes [2009-05-31 13:50:38] 543*2^690870-1 is not prime. Res64: 771FEFB39DC381A8 Time : 8540.0 sec. user=SazanEyes [2009-05-31 13:52:31] 567*2^690870-1 is not prime. Res64: AD75C8736F20DA20 Time : 8585.0 sec. user=vaughan [2009-05-31 13:56:08] 555*2^690888-1 is not prime. Res64: F5494710E1214867 Time : 450.0 sec. user=vaughan [2009-05-31 13:57:02] 567*2^690888-1 is not prime. Res64: 6F3517E20AC578FB Time : 458.0 sec. user=vaughan [2009-05-31 13:57:07] 503*2^690888-1 is not prime. Res64: B9693B8FB7B48984 Time : 819.0 sec. user=vaughan [2009-05-31 14:03:37] 481*2^690889-1 is not prime. Res64: E5252A149FBE394F Time : 450.0 sec. user=vaughan [2009-05-31 14:04:37] 547*2^690889-1 is not prime. Res64: 8793814C5D8A3CB0 Time : 455.0 sec. user=vaughan [2009-05-31 14:11:07] 403*2^690891-1 is not prime. Res64: 153D505001983B69 Time : 451.0 sec. user=vaughan [2009-05-31 14:11:21] 525*2^690890-1 is not prime. Res64: 09AE2B3F5C1E08FF Time : 854.0 sec. user=vaughan [2009-05-31 14:12:12] 475*2^690891-1 is not prime. Res64: DD2A8557269D060D Time : 456.0 sec. user=vaughan [2009-05-31 14:18:38] 531*2^690891-1 is not prime. Res64: 3A1A6D9432327F75 Time : 452.0 sec. user=vaughan [2009-05-31 14:19:52] 405*2^690892-1 is not prime. Res64: 7A5DE0C0E5D1590C Time : 461.0 sec. user=SazanEyes [2009-05-31 14:20:09] 563*2^690872-1 is not prime. Res64: E2D5B41718F415D5 Time : 8611.0 sec. user=SazanEyes [2009-05-31 14:21:32] 429*2^690873-1 is not prime. Res64: 11BA9CA3CF12B29C Time : 8572.0 sec. user=vaughan [2009-05-31 14:26:14] 489*2^690892-1 is not prime. Res64: 6E2B0726714EB29D Time : 457.0 sec. user=vaughan [2009-05-31 14:26:40] 585*2^690891-1 is not prime. Res64: 306642F4DF459154 Time : 919.0 sec. user=vaughan [2009-05-31 14:27:28] 533*2^690892-1 is not prime. Res64: 85B1B2A5F673E4C6 Time : 457.0 sec. user=vaughan [2009-05-31 14:33:48] 441*2^690893-1 is not prime. Res64: 43DD794F56E6A193 Time : 456.0 sec. user=vaughan [2009-05-31 14:35:03] 487*2^690893-1 is not prime. Res64: B27AE0D41C6A19D5 Time : 456.0 sec. user=vaughan [2009-05-31 14:38:38] 481*2^690893-1 is not prime. Res64: 8D896F33DB4BC680 Time : 719.0 sec. user=vaughan [2009-05-31 14:41:18] 495*2^690893-1 is not prime. Res64: 5393CECCCF2654F9 Time : 452.0 sec. user=vaughan [2009-05-31 14:41:50] 441*2^690865-1 is not prime. Res64: 184E86B4B7B2E634 Time : 15649.0 sec. user=vaughan [2009-05-31 14:42:13] 451*2^690863-1 is not prime. Res64: 0E2F3DB7911201EA Time : 15922.0 sec. user=vaughan [2009-05-31 14:42:37] 555*2^690864-1 is not prime. Res64: 2B76909435A19B01 Time : 15754.0 sec. user=vaughan [2009-05-31 14:42:40] 537*2^690893-1 is not prime. Res64: D6F001A0BA16F764 Time : 458.0 sec. user=vaughan [2009-05-31 14:42:40] 587*2^690864-1 is not prime. Res64: 7E364553A25BE085 Time : 15715.0 sec. user=SazanEyes [2009-05-31 14:48:07] 585*2^690875-1 is not prime. Res64: 642831AB752D0D54 Time : 8581.0 sec. user=vaughan [2009-05-31 14:48:48] 513*2^690894-1 is not prime. Res64: B222C57E3676D09D Time : 451.0 sec. user=vaughan [2009-05-31 14:50:14] 427*2^690897-1 is not prime. Res64: 1E2ED3FAE77FD6AD Time : 458.0 sec. user=SazanEyes [2009-05-31 14:50:44] 483*2^690876-1 is not prime. Res64: 1078E660858F558A Time : 8652.0 sec. user=vaughan [2009-05-31 14:50:47] 411*2^690894-1 is not prime. Res64: 367A2D81B15D0AA6 Time : 730.0 sec. user=vaughan [2009-05-31 14:56:14] 413*2^690898-1 is not prime. Res64: F0A2CA63EE76B16E Time : 447.0 sec. user=vaughan [2009-05-31 14:57:44] 435*2^690898-1 is not prime. Res64: 665FDFAEC5D91405 Time : 451.0 sec. user=vaughan [2009-05-31 15:02:24] 491*2^690898-1 is not prime. Res64: 873B87C8D96C083E Time : 698.0 sec. user=vaughan [2009-05-31 15:03:25] 529*2^690897-1 is not prime. Res64: A92AF8FF8D3AE32C Time : 1246.0 sec. user=vaughan [2009-05-31 15:03:40] 561*2^690898-1 is not prime. Res64: DE2C40DC8CA20EB5 Time : 446.0 sec. user=vaughan [2009-05-31 15:03:50] 405*2^690895-1 is not prime. Res64: 28EDA412FE489973 Time : 1321.0 sec. user=vaughan [2009-05-31 15:04:19] 541*2^690895-1 is not prime. Res64: DB9ACECD968E6EBA Time : 1327.0 sec. user=vaughan [2009-05-31 15:04:39] 465*2^690896-1 is not prime. Res64: 5E20DB20C0FDD2B7 Time : 1326.0 sec. user=vaughan [2009-05-31 15:05:13] 575*2^690898-1 is not prime. Res64: 7E2225FDC51249C0 Time : 450.0 sec. user=vaughan [2009-05-31 15:11:06] 589*2^690899-1 is not prime. Res64: F67E540CE3CC89B5 Time : 446.0 sec. user=vaughan [2009-05-31 15:12:47] 597*2^690900-1 is not prime. Res64: F0F8F21F56F68A56 Time : 455.0 sec. user=vaughan [2009-05-31 15:14:02] 465*2^690899-1 is not prime. Res64: 44F381610A84098E Time : 698.0 sec. user=SazanEyes [2009-05-31 15:17:26] 453*2^690880-1 is not prime. Res64: 45474C0F58903196 Time : 8657.0 sec. user=vaughan [2009-05-31 15:18:32] 411*2^690901-1 is not prime. Res64: 996146F14F10BB8D Time : 446.0 sec. user=SazanEyes [2009-05-31 15:19:55] 563*2^690880-1 is not prime. Res64: 12B2F7E6604B23DA Time : 8659.0 sec. user=vaughan [2009-05-31 15:20:18] 427*2^690901-1 is not prime. Res64: B574FBF96C9A05D8 Time : 451.0 sec. user=vaughan [2009-05-31 15:24:33] 447*2^690900-1 is not prime. Res64: 5DE87FE7DEAD2715 Time : 1244.0 sec. user=vaughan [2009-05-31 15:25:37] 571*2^690899-1 is not prime. Res64: 68FAF4F0CD3561E3 Time : 1332.0 sec. user=vaughan [2009-05-31 15:25:43] 507*2^690901-1 is not prime. Res64: 7285A643314D1A11 Time : 701.0 sec. user=vaughan [2009-05-31 15:25:58] 503*2^690902-1 is not prime. Res64: 51AA46A4319F1593 Time : 446.0 sec. user=vaughan [2009-05-31 15:26:24] 557*2^690900-1 is not prime. Res64: 65F5812144B8807C Time : 1325.0 sec. user=vaughan [2009-05-31 15:26:42] 585*2^690900-1 is not prime. Res64: 0E3AA3B3B3F215C9 Time : 1324.0 sec. user=vaughan [2009-05-31 15:27:49] 465*2^690903-1 is not prime. Res64: 748D2B0634B8D695 Time : 451.0 sec. user=vaughan [2009-05-31 15:33:24] 437*2^690904-1 is not prime. Res64: 63B49904E44944CC Time : 446.0 sec. user=vaughan [2009-05-31 15:35:19] 507*2^690905-1 is not prime. Res64: 5F3C8DD07B0C3EB8 Time : 451.0 sec. user=vaughan [2009-05-31 15:37:41] 523*2^690903-1 is not prime. Res64: 7DE9941883D4D30A Time : 718.0 sec. user=vaughan [2009-05-31 15:41:20] 547*2^690905-1 is not prime. Res64: A13A9D830B44A20D Time : 477.0 sec. user=vaughan [2009-05-31 15:42:59] 591*2^690905-1 is not prime. Res64: 515A4652B4ECD1BD Time : 461.0 sec. user=vaughan [2009-05-31 15:46:35] 481*2^690903-1 is not prime. Res64: A005E5A6D26A7402 Time : 1323.0 sec. user=SazanEyes [2009-05-31 15:46:45] 411*2^690886-1 is not prime. Res64: 5B9EFEC2C3772D7E Time : 8639.0 sec. user=vaughan [2009-05-31 15:47:45] 483*2^690903-1 is not prime. Res64: 960D213CA256EBE3 Time : 1329.0 sec. user=vaughan [2009-05-31 15:48:24] 453*2^690904-1 is not prime. Res64: 6F11F5A63CD36DB4 Time : 1320.0 sec. user=vaughan [2009-05-31 15:48:43] 587*2^690904-1 is not prime. Res64: BB3FFB62420EC51B Time : 1321.0 sec. user=vaughan [2009-05-31 15:48:51] 437*2^690906-1 is not prime. Res64: 6848E05ED7CC9F4C Time : 451.0 sec. user=SazanEyes [2009-05-31 15:49:04] 483*2^690886-1 is not prime. Res64: 2F5CB5D3795E46D0 Time : 8737.0 sec. user=vaughan [2009-05-31 15:49:30] 405*2^690906-1 is not prime. Res64: FAB038E08EBE42A5 Time : 709.0 sec. user=vaughan [2009-05-31 15:50:39] 537*2^690906-1 is not prime. Res64: 33E05198D6D27FBB Time : 460.0 sec. user=vaughan [2009-05-31 15:56:17] 459*2^690908-1 is not prime. Res64: B15279306AF4B0C6 Time : 446.0 sec. user=vaughan [2009-05-31 15:58:13] 525*2^690908-1 is not prime. Res64: 311DAC7494D7901A Time : 454.0 sec. user=vaughan [2009-05-31 16:01:15] 515*2^690908-1 is not prime. Res64: D2A079FABDBCB8BC Time : 705.0 sec. user=vaughan [2009-05-31 16:03:44] 451*2^690909-1 is not prime. Res64: 93609F0504E409FF Time : 447.0 sec. user=vaughan [2009-05-31 16:06:03] 495*2^690909-1 is not prime. Res64: 65728DA6FA51FD2F Time : 471.0 sec. user=vaughan [2009-05-31 16:07:40] 593*2^690906-1 is not prime. Res64: 4D7182459AFF4225 Time : 1265.0 sec. user=vaughan [2009-05-31 16:08:52] 493*2^690907-1 is not prime. Res64: 5D6431C0B6B39A45 Time : 1267.0 sec. user=vaughan [2009-05-31 16:10:54] 495*2^690907-1 is not prime. Res64: 8E03766D663BDC1F Time : 1351.0 sec. user=vaughan [2009-05-31 16:10:59] 579*2^690907-1 is not prime. Res64: A1675A81A73AAAB0 Time : 1336.0 sec. user=vaughan [2009-05-31 16:11:13] 537*2^690909-1 is not prime. Res64: 7237B90A010C4EC5 Time : 449.0 sec. user=vaughan [2009-05-31 16:12:58] 499*2^690909-1 is not prime. Res64: E307043614C731D8 Time : 703.0 sec. user=vaughan [2009-05-31 16:13:42] 565*2^690909-1 is not prime. Res64: E24CE8C1D69CB71C Time : 460.0 sec. user=SazanEyes [2009-05-31 16:16:03] 441*2^690889-1 is not prime. Res64: 9514B588FFC36FED Time : 8725.0 sec. user=SazanEyes [2009-05-31 16:18:10] 471*2^690889-1 is not prime. Res64: 0B64BA2CCC256384 Time : 8739.0 sec. user=vaughan [2009-05-31 16:18:38] 479*2^690912-1 is not prime. Res64: B619321ADDDE9489 Time : 445.0 sec. user=vaughan [2009-05-31 16:21:13] 507*2^690913-1 is not prime. Res64: EDD0447F59464237 Time : 451.0 sec. user=vaughan [2009-05-31 16:24:37] 429*2^690913-1 is not prime. Res64: 16A2A182F0EB8038 Time : 700.0 sec. user=vaughan [2009-05-31 16:26:06] 495*2^690914-1 is not prime. Res64: AE85CE620883CDEF Time : 448.0 sec. user=vaughan [2009-05-31 16:29:05] 501*2^690914-1 is not prime. Res64: 54C019AB5D7D393A Time : 472.0 sec. user=vaughan [2009-05-31 16:29:58] 483*2^690910-1 is not prime. Res64: A84B3358551E77DF Time : 1339.0 sec. user=vaughan [2009-05-31 16:31:14] 545*2^690910-1 is not prime. Res64: C5DB7FA5619140E2 Time : 1343.0 sec. user=vaughan [2009-05-31 16:33:14] 525*2^690911-1 is not prime. Res64: A24ACE7C7CC8D701 Time : 1335.0 sec. user=vaughan [2009-05-31 16:33:19] 459*2^690911-1 is not prime. Res64: 49CAC4CFEC224C88 Time : 1345.0 sec. user=vaughan [2009-05-31 16:33:33] 465*2^690915-1 is not prime. Res64: 46B2A1FD45FA79C1 Time : 447.0 sec. user=vaughan [2009-05-31 16:36:23] 415*2^690915-1 is not prime. Res64: E8C0DEEF18E229A5 Time : 707.0 sec. user=vaughan [2009-05-31 16:36:35] 475*2^690915-1 is not prime. Res64: F1F88C9EEB4C0F87 Time : 450.0 sec. user=vaughan [2009-05-31 16:41:00] 539*2^690916-1 is not prime. Res64: 9EEF7D67A2D906B7 Time : 447.0 sec. user=vaughan [2009-05-31 16:44:05] 451*2^690917-1 is not prime. Res64: 215B8324AF99105A Time : 450.0 sec. user=SazanEyes [2009-05-31 16:45:31] 417*2^690893-1 is not prime. Res64: 05AB2EB56800DCA9 Time : 8722.0 sec. user=SazanEyes [2009-05-31 16:47:16] 435*2^690893-1 is not prime. Res64: 2B07C24B28B5C19A Time : 8744.0 sec. user=vaughan [2009-05-31 16:48:15] 439*2^690917-1 is not prime. Res64: 0DAD511E21F9F483 Time : 713.0 sec. user=vaughan [2009-05-31 16:48:25] 537*2^690917-1 is not prime. Res64: 589A35E52C71E07E Time : 446.0 sec. user=vaughan [2009-05-31 16:50:58] 595*2^690915-1 is not prime. Res64: 4DFBD6523ECD5B62 Time : 1260.0 sec. user=vaughan [2009-05-31 16:51:37] 405*2^690918-1 is not prime. Res64: 64054896610CAA25 Time : 452.0 sec. user=vaughan [2009-05-31 16:52:08] 447*2^690916-1 is not prime. Res64: 5ED880F6F76BA4D9 Time : 1254.0 sec. user=vaughan [2009-05-31 16:54:08] 483*2^690916-1 is not prime. Res64: D45E8C9B9846068D Time : 1250.0 sec. user=vaughan [2009-05-31 16:55:22] 465*2^690916-1 is not prime. Res64: 36D9F9F4718331D5 Time : 1328.0 sec. user=vaughan [2009-05-31 16:55:51] 483*2^690920-1 is not prime. Res64: BA05B461FEDD5B88 Time : 447.0 sec. user=vaughan [2009-05-31 16:59:07] 509*2^690920-1 is not prime. Res64: 31EF1690354DAA02 Time : 451.0 sec. user=vaughan [2009-05-31 17:00:42] 531*2^690919-1 is not prime. Res64: 22A3E279B564165F Time : 747.0 sec. user=vaughan [2009-05-31 17:03:17] 413*2^690922-1 is not prime. Res64: 44218500AF19E395 Time : 447.0 sec. user=vaughan [2009-05-31 17:06:38] 561*2^690922-1 is not prime. Res64: 78CCC7B4A83F28E1 Time : 451.0 sec. user=vaughan [2009-05-31 17:10:43] 593*2^690922-1 is not prime. Res64: 7F92A3453BC25E80 Time : 446.0 sec. user=vaughan [2009-05-31 17:13:13] 495*2^690920-1 is not prime. Res64: 8D3C358953E7295A Time : 1335.0 sec. user=vaughan [2009-05-31 17:13:44] 567*2^690922-1 is not prime. Res64: C34B62685AC31B05 Time : 782.0 sec. user=vaughan [2009-05-31 17:14:08] 463*2^690923-1 is not prime. Res64: D0A2A98C329B0EEA Time : 450.0 sec. user=vaughan [2009-05-31 17:14:27] 593*2^690920-1 is not prime. Res64: 2FE4E7BBADEF870B Time : 1339.0 sec. user=SazanEyes [2009-05-31 17:14:55] 549*2^690897-1 is not prime. Res64: 293FA0BA2080767A Time : 8809.0 sec. user=vaughan [2009-05-31 17:16:18] 511*2^690921-1 is not prime. Res64: B321F45D306A74DA Time : 1330.0 sec. user=SazanEyes [2009-05-31 17:16:19] 467*2^690898-1 is not prime. Res64: F41149ADF479D856 Time : 8735.0 sec. user=vaughan [2009-05-31 17:17:32] 559*2^690921-1 is not prime. Res64: 08CDC71A352D960B Time : 1330.0 sec. user=vaughan [2009-05-31 17:18:09] 553*2^690923-1 is not prime. Res64: 2E4A46DAB6035F1F Time : 446.0 sec. user=vaughan [2009-05-31 17:21:39] 483*2^690924-1 is not prime. Res64: 35218CD860B03AAA Time : 451.0 sec. user=vaughan [2009-05-31 17:25:35] 421*2^690925-1 is not prime. Res64: 89224B0199B2DA3E Time : 446.0 sec. user=vaughan [2009-05-31 17:25:49] 465*2^690924-1 is not prime. Res64: F1B2C5DD4FD0C486 Time : 725.0 sec. user=vaughan [2009-05-31 17:29:10] 547*2^690925-1 is not prime. Res64: 134CA65AFDAC4540 Time : 451.0 sec. user=vaughan [2009-05-31 17:33:02] 417*2^690926-1 is not prime. Res64: 927B7B0878CF9E46 Time : 447.0 sec. user=vaughan [2009-05-31 17:33:56] 455*2^690924-1 is not prime. Res64: 7A2C4AC7B918F9B7 Time : 1243.0 sec. user=vaughan [2009-05-31 17:36:39] 497*2^690924-1 is not prime. Res64: 88CABDEDD67B8B1C Time : 1332.0 sec. user=vaughan [2009-05-31 17:36:43] 465*2^690927-1 is not prime. Res64: 12B910BC5322120D Time : 454.0 sec. user=vaughan [2009-05-31 17:37:01] 585*2^690924-1 is not prime. Res64: 699FDA75B638D5D1 Time : 1244.0 sec. user=vaughan [2009-05-31 17:37:40] 515*2^690926-1 is not prime. Res64: A49AE7CF84EAC0E1 Time : 711.0 sec. user=vaughan [2009-05-31 17:39:37] 409*2^690925-1 is not prime. Res64: F4F270A7A4EDC522 Time : 1326.0 sec. user=vaughan [2009-05-31 17:40:30] 471*2^690927-1 is not prime. Res64: BBC5C08FFF3E88F2 Time : 448.0 sec. user=SazanEyes [2009-05-31 17:44:18] 561*2^690901-1 is not prime. Res64: EA456BFD1E51A573 Time : 8812.0 sec. user=vaughan [2009-05-31 17:44:27] 565*2^690927-1 is not prime. Res64: 228762FCCA387093 Time : 464.0 sec. user=SazanEyes [2009-05-31 17:45:26] 545*2^690902-1 is not prime. Res64: 3FCF5F01F211F84C Time : 8732.0 sec. user=vaughan [2009-05-31 17:47:56] 447*2^690929-1 is not prime. Res64: C0F17867750286A1 Time : 446.0 sec. user=vaughan [2009-05-31 17:49:36] 513*2^690928-1 is not prime. Res64: BEA8B3D8C25F969B Time : 716.0 sec. user=vaughan [2009-05-31 17:51:57] 405*2^690930-1 is not prime. Res64: DFEBE689C86F40F1 Time : 450.0 sec. user=vaughan [2009-05-31 17:55:23] 411*2^690931-1 is not prime. Res64: A913D9F68E58747C Time : 447.0 sec. user=vaughan [2009-05-31 17:56:02] 489*2^690927-1 is not prime. Res64: 4A780746B4ED82AE Time : 1327.0 sec. user=vaughan [2009-05-31 17:58:51] 531*2^690927-1 is not prime. Res64: 3E68D67F536870F5 Time : 1332.0 sec. user=vaughan [2009-05-31 17:59:05] 405*2^690928-1 is not prime. Res64: 11DEC2805AA16033 Time : 1324.0 sec. user=vaughan [2009-05-31 17:59:27] 489*2^690931-1 is not prime. Res64: CFA1F96D78A1D904 Time : 450.0 sec. user=vaughan [2009-05-31 18:01:27] 483*2^690931-1 is not prime. Res64: 0A9FF85848EFBB92 Time : 711.0 sec. user=vaughan [2009-05-31 18:01:41] 527*2^690928-1 is not prime. Res64: A02D83F79B7C34A6 Time : 1324.0 sec. user=vaughan [2009-05-31 18:02:49] 595*2^690931-1 is not prime. Res64: A19CFD60953E19AB Time : 446.0 sec. user=vaughan [2009-05-31 18:06:58] 579*2^690932-1 is not prime. Res64: 4A4F9971C3F58DF1 Time : 451.0 sec. user=vaughan [2009-05-31 18:10:14] 471*2^690933-1 is not prime. Res64: 775C261971FD5A3E Time : 445.0 sec. user=vaughan [2009-05-31 18:13:32] 585*2^690932-1 is not prime. Res64: 88AAB9B6DD1EF4E5 Time : 725.0 sec. user=SazanEyes [2009-05-31 18:13:39] 471*2^690907-1 is not prime. Res64: C3924BC5D6D95CA1 Time : 8814.0 sec. user=vaughan [2009-05-31 18:14:28] 565*2^690933-1 is not prime. Res64: 75A572474AF85F85 Time : 450.0 sec. user=SazanEyes [2009-05-31 18:14:33] 479*2^690908-1 is not prime. Res64: 1568B88A22F2AD83 Time : 8729.0 sec. user=vaughan [2009-05-31 18:16:43] 437*2^690932-1 is not prime. Res64: 783A8A562ACBF767 Time : 1241.0 sec. user=vaughan [2009-05-31 18:17:40] 477*2^690934-1 is not prime. Res64: D6531D36E033CDBC Time : 446.0 sec. user=vaughan [2009-05-31 18:19:49] 483*2^690932-1 is not prime. Res64: D057E63EA421EA24 Time : 1245.0 sec. user=vaughan [2009-05-31 18:21:06] 449*2^690932-1 is not prime. Res64: 2EFA850101F31216 Time : 1335.0 sec. user=vaughan [2009-05-31 18:21:58] 551*2^690934-1 is not prime. Res64: 41199342490FA942 Time : 450.0 sec. user=vaughan [2009-05-31 18:23:50] 451*2^690933-1 is not prime. Res64: 0EE443FB5732B6B5 Time : 1330.0 sec. user=vaughan [2009-05-31 18:25:07] 501*2^690935-1 is not prime. Res64: 6D984D819DF263AB Time : 447.0 sec. user=vaughan [2009-05-31 18:25:49] 483*2^690934-1 is not prime. Res64: 2692560C229F8094 Time : 737.0 sec. user=vaughan [2009-05-31 18:29:29] 515*2^690936-1 is not prime. Res64: 9E3FE21DCCB78921 Time : 451.0 sec. user=vaughan [2009-05-31 18:32:33] 539*2^690936-1 is not prime. Res64: EA7A8AEDF3CB80DB Time : 447.0 sec. user=vaughan [2009-05-31 18:37:00] 405*2^690937-1 is not prime. Res64: 9A99FE8903205A86 Time : 452.0 sec. user=vaughan [2009-05-31 18:38:49] 585*2^690936-1 is not prime. Res64: B1F14CD94F126EFC Time : 780.0 sec. user=vaughan [2009-05-31 18:38:54] 573*2^690934-1 is not prime. Res64: DE3852ADD90594C5 Time : 1331.0 sec. user=vaughan [2009-05-31 18:40:00] 439*2^690937-1 is not prime. Res64: 9A3D99047F00474A Time : 448.0 sec. user=vaughan [2009-05-31 18:41:56] 525*2^690935-1 is not prime. Res64: 0454F3C2FAE5371C Time : 1327.0 sec. user=SazanEyes [2009-05-31 18:42:33] 447*2^690914-1 is not prime. Res64: BE0DC4E6B2314922 Time : 8663.0 sec. user=SazanEyes [2009-05-31 18:43:04] 595*2^690913-1 is not prime. Res64: 5E4AADF2549D2C81 Time : 8821.0 sec. user=vaughan [2009-05-31 18:43:19] 437*2^690936-1 is not prime. Res64: CCD433D6D2C576CC Time : 1333.0 sec. user=vaughan [2009-05-31 18:44:30] 495*2^690937-1 is not prime. Res64: C6E2097698C17E7A Time : 450.0 sec. user=vaughan [2009-05-31 18:45:57] 527*2^690936-1 is not prime. Res64: DFC0D5F955F9A78A Time : 1327.0 sec. user=vaughan [2009-05-31 18:47:26] 497*2^690938-1 is not prime. Res64: EC3FEB3A20E18B16 Time : 446.0 sec. user=vaughan [2009-05-31 18:52:00] 595*2^690939-1 is not prime. Res64: 023990EDC50B57FB Time : 450.0 sec. user=vaughan [2009-05-31 18:52:07] 589*2^690937-1 is not prime. Res64: 1F1582C7634D11F0 Time : 798.0 sec. user=vaughan [2009-05-31 18:54:54] 527*2^690940-1 is not prime. Res64: C7B173D55312553C Time : 448.0 sec. user=vaughan [2009-05-31 18:59:30] 533*2^690940-1 is not prime. Res64: 0CBBD7220D1F1AAB Time : 450.0 sec. user=vaughan [2009-05-31 18:59:58] 431*2^690938-1 is not prime. Res64: 81FB2B25DCD6AB60 Time : 1264.0 sec. user=vaughan [2009-05-31 19:02:20] 417*2^690941-1 is not prime. Res64: 4440B8F551C36410 Time : 447.0 sec. user=vaughan [2009-05-31 19:03:00] 585*2^690938-1 is not prime. Res64: D4AB627D395D0C84 Time : 1265.0 sec. user=vaughan [2009-05-31 19:04:16] 483*2^690939-1 is not prime. Res64: 471D306851DF6973 Time : 1258.0 sec. user=vaughan [2009-05-31 19:04:47] 545*2^690940-1 is not prime. Res64: AF289524F609081C Time : 760.0 sec. user=vaughan [2009-05-31 19:07:00] 459*2^690941-1 is not prime. Res64: 2D4947C5BD52FBE5 Time : 450.0 sec. user=vaughan [2009-05-31 19:08:08] 519*2^690940-1 is not prime. Res64: 4436DED558EC18AC Time : 1331.0 sec. user=vaughan [2009-05-31 19:09:46] 591*2^690941-1 is not prime. Res64: 0A6CE6DAD1BAD498 Time : 446.0 sec. user=SazanEyes [2009-05-31 19:11:35] 523*2^690919-1 is not prime. Res64: 88FA95C26B9CC754 Time : 8659.0 sec. user=SazanEyes [2009-05-31 19:12:27] 585*2^690918-1 is not prime. Res64: E1A4AC21E9781FAC Time : 8816.0 sec. user=vaughan [2009-05-31 19:14:35] 495*2^690942-1 is not prime. Res64: E7DAB4B3A8728ECF Time : 455.0 sec. user=vaughan [2009-05-31 19:17:11] 411*2^690943-1 is not prime. Res64: 5818FB3DF0FF7002 Time : 445.0 sec. user=vaughan [2009-05-31 19:17:42] 453*2^690942-1 is not prime. Res64: D38C40FE09AB07F8 Time : 775.0 sec. user=vaughan [2009-05-31 19:22:08] 475*2^690943-1 is not prime. Res64: CB8E79662A51A003 Time : 453.0 sec. user=vaughan [2009-05-31 19:22:15] 477*2^690941-1 is not prime. Res64: A2E39F37C5AF2469 Time : 1338.0 sec. user=vaughan [2009-05-31 19:24:36] 493*2^690943-1 is not prime. Res64: 1DC68852FB4CF8BE Time : 446.0 sec. user=vaughan [2009-05-31 19:25:13] 423*2^690942-1 is not prime. Res64: 63486AAD97DABB14 Time : 1334.0 sec. user=vaughan [2009-05-31 19:26:33] 437*2^690942-1 is not prime. Res64: CCA86FC689947073 Time : 1338.0 sec. user=vaughan [2009-05-31 19:29:34] 435*2^690944-1 is not prime. Res64: 36865351D36F1D0E Time : 713.0 sec. user=vaughan [2009-05-31 19:29:38] 503*2^690944-1 is not prime. Res64: CAED274527714119 Time : 451.0 sec. user=vaughan [2009-05-31 19:30:14] 587*2^690942-1 is not prime. Res64: 70FA77CF4C7CD8C2 Time : 1326.0 sec. user=vaughan [2009-05-31 19:32:03] 599*2^690944-1 is not prime. Res64: C9F6917EBA252940 Time : 448.0 sec. user=vaughan [2009-05-31 19:37:36] 435*2^690947-1 is not prime. Res64: F32671E593A263A0 Time : 479.0 sec. user=vaughan [2009-05-31 19:39:34] 465*2^690947-1 is not prime. Res64: A3B52EC4FC2CFFF9 Time : 452.0 sec. user=SazanEyes [2009-05-31 19:40:42] 593*2^690924-1 is not prime. Res64: 9C0311F0AB5C90F7 Time : 8663.0 sec. user=vaughan [2009-05-31 19:41:37] 487*2^690945-1 is not prime. Res64: 55FDF8C3B7C03309 Time : 724.0 sec. user=SazanEyes [2009-05-31 19:41:48] 507*2^690924-1 is not prime. Res64: 3E1B9AE426010C2B Time : 8813.0 sec. user=vaughan [2009-05-31 19:43:06] 563*2^690944-1 is not prime. Res64: 5C897EB5507C4D65 Time : 1251.0 sec. user=vaughan [2009-05-31 19:45:06] 501*2^690947-1 is not prime. Res64: CE994667ACEA4A32 Time : 451.0 sec. user=vaughan [2009-05-31 19:46:00] 475*2^690945-1 is not prime. Res64: 782C058056D479A5 Time : 1248.0 sec. user=vaughan [2009-05-31 19:46:59] 511*2^690947-1 is not prime. Res64: A34A0BD1FF39DFF9 Time : 445.0 sec. user=vaughan [2009-05-31 19:47:22] 481*2^690945-1 is not prime. Res64: 9B4E0B6B61F6E664 Time : 1249.0 sec. user=vaughan [2009-05-31 19:52:20] 451*2^690947-1 is not prime. Res64: 2BE852BDB64B8BCF Time : 1326.0 sec. user=vaughan [2009-05-31 19:52:37] 539*2^690948-1 is not prime. Res64: FF121B4D69AADC94 Time : 451.0 sec. user=vaughan [2009-05-31 19:53:27] 429*2^690948-1 is not prime. Res64: 685ACD1B7193362C Time : 711.0 sec. user=vaughan [2009-05-31 19:54:26] 457*2^690949-1 is not prime. Res64: BBBF0F48C9A099FF Time : 447.0 sec. user=vaughan [2009-05-31 20:00:09] 567*2^690950-1 is not prime. Res64: 4BCF639F81566E23 Time : 452.0 sec. user=vaughan [2009-05-31 20:01:54] 455*2^690952-1 is not prime. Res64: 246A93B8EBDE165B Time : 448.0 sec. user=vaughan [2009-05-31 20:05:12] 525*2^690948-1 is not prime. Res64: 54307D9C97882E06 Time : 1326.0 sec. user=vaughan [2009-05-31 20:05:16] 447*2^690952-1 is not prime. Res64: 3850A84AAAAC1B5B Time : 710.0 sec. user=vaughan [2009-05-31 20:07:37] 467*2^690952-1 is not prime. Res64: B6F7FEEC6D7DF505 Time : 448.0 sec. user=vaughan [2009-05-31 20:08:07] 569*2^690948-1 is not prime. Res64: BA5A4B1814BA7341 Time : 1327.0 sec. user=SazanEyes [2009-05-31 20:08:44] 503*2^690930-1 is not prime. Res64: 723BC7C6BF477C92 Time : 8599.0 sec. user=vaughan [2009-05-31 20:09:20] 485*2^690952-1 is not prime. Res64: 007A288C3A2DF00D Time : 446.0 sec. user=vaughan [2009-05-31 20:09:39] 465*2^690949-1 is not prime. Res64: BF97623BCC52B1E0 Time : 1337.0 sec. user=SazanEyes [2009-05-31 20:11:25] 465*2^690929-1 is not prime. Res64: 1DEE6D593B5E6AAF Time : 8827.0 sec. user=vaughan [2009-05-31 20:14:30] 559*2^690949-1 is not prime. Res64: 2E151C7B2B5347D9 Time : 1330.0 sec. user=vaughan [2009-05-31 20:15:06] 495*2^690953-1 is not prime. Res64: C0A32256E52AA31B Time : 449.0 sec. user=vaughan [2009-05-31 20:16:46] 591*2^690953-1 is not prime. Res64: 1A1A64F9A9D4943C Time : 446.0 sec. user=vaughan [2009-05-31 20:17:05] 445*2^690953-1 is not prime. Res64: A074F9E760E50713 Time : 709.0 sec. user=vaughan [2009-05-31 20:22:35] 405*2^690955-1 is not prime. Res64: B5CB8DF21C6574BD Time : 449.0 sec. user=vaughan [2009-05-31 20:24:12] 415*2^690955-1 is not prime. Res64: 6696EE17ED1A8719 Time : 446.0 sec. user=vaughan [2009-05-31 20:27:19] 405*2^690953-1 is not prime. Res64: D7B3C951B8B3A1FB Time : 1327.0 sec. user=vaughan [2009-05-31 20:28:41] 421*2^690955-1 is not prime. Res64: 4017918B19E84E5D Time : 696.0 sec. user=vaughan [2009-05-31 20:28:50] 537*2^690953-1 is not prime. Res64: A78BDD381F119ABD Time : 1243.0 sec. user=vaughan [2009-05-31 20:30:05] 465*2^690955-1 is not prime. Res64: 11D384B481B4072A Time : 450.0 sec. user=vaughan [2009-05-31 20:31:38] 535*2^690955-1 is not prime. Res64: 8A2092730B82FAE5 Time : 446.0 sec. user=vaughan [2009-05-31 20:31:52] 413*2^690954-1 is not prime. Res64: CC87D8D99FAF1F11 Time : 1333.0 sec. user=vaughan [2009-05-31 20:36:35] 585*2^690954-1 is not prime. Res64: EF32383BD1D2AD2B Time : 1325.0 sec. user=SazanEyes [2009-05-31 20:36:41] 567*2^690934-1 is not prime. Res64: A957733931CDBE3D Time : 8528.0 sec. user=vaughan [2009-05-31 20:37:34] 557*2^690956-1 is not prime. Res64: 83BD61C162916201 Time : 449.0 sec. user=vaughan [2009-05-31 20:39:04] 405*2^690957-1 is not prime. Res64: 1C7094DD0B81A179 Time : 447.0 sec. user=vaughan [2009-05-31 20:40:15] 459*2^690956-1 is not prime. Res64: 0C50E3A0DEED8A3F Time : 694.0 sec. user=SazanEyes [2009-05-31 20:40:56] 521*2^690934-1 is not prime. Res64: 27AE688995F66FF2 Time : 8837.0 sec. user=vaughan [2009-05-31 20:45:04] 441*2^690959-1 is not prime. Res64: 595E65A8665358E7 Time : 450.0 sec. user=vaughan [2009-05-31 20:46:29] 505*2^690959-1 is not prime. Res64: 3FF35CDB944622AE Time : 446.0 sec. user=vaughan [2009-05-31 20:49:28] 447*2^690956-1 is not prime. Res64: 4E9950DF5403BA90 Time : 1329.0 sec. user=vaughan [2009-05-31 20:50:57] 477*2^690956-1 is not prime. Res64: 33E41E35F507FA18 Time : 1327.0 sec. user=vaughan [2009-05-31 20:51:51] 569*2^690960-1 is not prime. Res64: A47F818716C2CBD1 Time : 696.0 sec. user=vaughan [2009-05-31 20:52:33] 447*2^690961-1 is not prime. Res64: 908B3F68BDE02928 Time : 449.0 sec. user=vaughan [2009-05-31 20:53:55] 511*2^690961-1 is not prime. Res64: D1EF4F3B99BDE55F Time : 446.0 sec. user=vaughan [2009-05-31 20:54:05] 457*2^690957-1 is not prime. Res64: 3D00A782CF6E81DA Time : 1333.0 sec. user=vaughan [2009-05-31 20:58:45] 517*2^690957-1 is not prime. Res64: BA1567ED1A0E2CEA Time : 1330.0 sec. user=vaughan [2009-05-31 21:00:02] 483*2^690962-1 is not prime. Res64: 420B5789F354CC03 Time : 449.0 sec. user=vaughan [2009-05-31 21:01:21] 501*2^690962-1 is not prime. Res64: 3CC61445D8286022 Time : 446.0 sec. user=vaughan [2009-05-31 21:03:25] 417*2^690962-1 is not prime. Res64: AFAEDD2A96B021C2 Time : 694.0 sec. user=SazanEyes [2009-05-31 21:05:46] 411*2^690939-1 is not prime. Res64: A1E80A4F1E989236 Time : 8593.0 sec. user=vaughan [2009-05-31 21:07:33] 433*2^690963-1 is not prime. Res64: EB38D4375F12F5F9 Time : 451.0 sec. user=vaughan [2009-05-31 21:08:47] 471*2^690963-1 is not prime. Res64: 02AD25AC4B5362BA Time : 446.0 sec. user=SazanEyes [2009-05-31 21:10:25] 415*2^690939-1 is not prime. Res64: 8FD34CDA579BDC71 Time : 8841.0 sec. user=vaughan [2009-05-31 21:11:29] 525*2^690961-1 is not prime. Res64: 8232322B87BC9C72 Time : 1322.0 sec. user=vaughan [2009-05-31 21:11:39] 559*2^690961-1 is not prime. Res64: 03B0461C0A903AEF Time : 1242.0 sec. user=vaughan [2009-05-31 21:15:04] 555*2^690963-1 is not prime. Res64: B5502FB1719D3605 Time : 452.0 sec. user=vaughan [2009-05-31 21:15:11] 529*2^690963-1 is not prime. Res64: D8E87EED354086EE Time : 707.0 sec. user=vaughan [2009-05-31 21:16:13] 571*2^690963-1 is not prime. Res64: 86460EF632A78398 Time : 446.0 sec. user=vaughan [2009-05-31 21:16:16] 515*2^690962-1 is not prime. Res64: 90CAEFFC2545D0C4 Time : 1331.0 sec. user=vaughan [2009-05-31 21:20:56] 411*2^690963-1 is not prime. Res64: 89CD12DDF96F1971 Time : 1332.0 sec. user=vaughan [2009-05-31 21:22:35] 497*2^690964-1 is not prime. Res64: F7D5E63D2F7B28A6 Time : 452.0 sec. user=vaughan [2009-05-31 21:23:38] 451*2^690965-1 is not prime. Res64: 6C0C36C4ED51939C Time : 445.0 sec. user=vaughan [2009-05-31 21:26:56] 569*2^690964-1 is not prime. Res64: 1E3031EA0AEEEB86 Time : 705.0 sec. user=vaughan [2009-05-31 21:30:05] 489*2^690965-1 is not prime. Res64: B30E78F061B3F1FE Time : 450.0 sec. user=vaughan [2009-05-31 21:31:05] 517*2^690965-1 is not prime. Res64: E15653DFB7892590 Time : 447.0 sec. user=vaughan [2009-05-31 21:33:42] 483*2^690964-1 is not prime. Res64: E36B5FAB6E341170 Time : 1333.0 sec. user=vaughan [2009-05-31 21:33:51] 489*2^690964-1 is not prime. Res64: C739B7E2BA3840CF Time : 1332.0 sec. user=SazanEyes [2009-05-31 21:34:40] 429*2^690943-1 is not prime. Res64: 871B9B45A55F0799 Time : 8585.0 sec. user=vaughan [2009-05-31 21:37:38] 525*2^690966-1 is not prime. Res64: 15EE85245AC256AB Time : 453.0 sec. user=vaughan [2009-05-31 21:38:31] 525*2^690965-1 is not prime. Res64: 5A0406790F0831D7 Time : 695.0 sec. user=vaughan [2009-05-31 21:38:34] 573*2^690966-1 is not prime. Res64: CE651E4C0A9F41B2 Time : 450.0 sec. user=vaughan [2009-05-31 21:38:36] 459*2^690965-1 is not prime. Res64: 8F25D4E1DE2A8256 Time : 1341.0 sec. user=SazanEyes [2009-05-31 21:40:11] 451*2^690943-1 is not prime. Res64: 1E7A4751710AC86B Time : 8864.0 sec. user=vaughan [2009-05-31 21:43:05] 487*2^690965-1 is not prime. Res64: 777A945660411C06 Time : 1329.0 sec. user=vaughan [2009-05-31 21:45:09] 493*2^690967-1 is not prime. Res64: 5A3261DCECB2C52C Time : 451.0 sec. user=vaughan [2009-05-31 21:46:00] 595*2^690967-1 is not prime. Res64: E35AFA69BB65699F Time : 446.0 sec. user=vaughan [2009-05-31 21:50:14] 549*2^690967-1 is not prime. Res64: C8667B9789562344 Time : 703.0 sec. user=vaughan [2009-05-31 21:52:39] 533*2^690968-1 is not prime. Res64: C4CFD3CC66916F32 Time : 450.0 sec. user=vaughan [2009-05-31 21:53:27] 445*2^690969-1 is not prime. Res64: F0EE81F54FDA97ED Time : 447.0 sec. user=vaughan [2009-05-31 21:54:41] 451*2^690967-1 is not prime. Res64: 2FA5C35CC372D70F Time : 1250.0 sec. user=vaughan [2009-05-31 21:55:53] 405*2^690967-1 is not prime. Res64: AE4E7269E6E26644 Time : 1331.0 sec. user=vaughan [2009-05-31 22:00:08] 423*2^690970-1 is not prime. Res64: 52C658FB46856DCF Time : 449.0 sec. user=vaughan [2009-05-31 22:00:53] 425*2^690968-1 is not prime. Res64: 1074AC449DC30236 Time : 1338.0 sec. user=vaughan [2009-05-31 22:00:54] 465*2^690970-1 is not prime. Res64: 545AD279EB37222D Time : 447.0 sec. user=vaughan [2009-05-31 22:02:13] 501*2^690969-1 is not prime. Res64: BFC769DC0206BDB8 Time : 719.0 sec. user=SazanEyes [2009-05-31 22:03:44] 585*2^690947-1 is not prime. Res64: 18B52D2EBD06306C Time : 8582.0 sec. user=vaughan [2009-05-31 22:05:18] 507*2^690968-1 is not prime. Res64: 1BC0C546B410CE0A Time : 1333.0 sec. user=vaughan [2009-05-31 22:07:38] 433*2^690971-1 is not prime. Res64: F2A9D94696160419 Time : 450.0 sec. user=vaughan [2009-05-31 22:08:19] 493*2^690971-1 is not prime. Res64: CA01807C488DE595 Time : 445.0 sec. user=SazanEyes [2009-05-31 22:09:39] 503*2^690948-1 is not prime. Res64: C5FC621992BC1AA4 Time : 8871.0 sec. user=vaughan [2009-05-31 22:14:13] 505*2^690971-1 is not prime. Res64: 83E5EEB08F19F440 Time : 720.0 sec. user=vaughan [2009-05-31 22:15:08] 479*2^690972-1 is not prime. Res64: 290281D1869E401D Time : 450.0 sec. user=vaughan [2009-05-31 22:15:45] 411*2^690973-1 is not prime. Res64: 18A776BB19AC98BF Time : 446.0 sec. user=vaughan [2009-05-31 22:16:48] 531*2^690970-1 is not prime. Res64: FF3742F12717EA14 Time : 1328.0 sec. user=vaughan [2009-05-31 22:18:05] 597*2^690970-1 is not prime. Res64: DFBBD0D4F01A1666 Time : 1332.0 sec. user=vaughan [2009-05-31 22:22:39] 447*2^690974-1 is not prime. Res64: A4611B4ABA1EB456 Time : 451.0 sec. user=vaughan [2009-05-31 22:23:07] 439*2^690971-1 is not prime. Res64: DEB5B45F5B08981A Time : 1335.0 sec. user=vaughan [2009-05-31 22:23:12] 461*2^690974-1 is not prime. Res64: 23F92993C6C08073 Time : 447.0 sec. user=vaughan [2009-05-31 22:26:28] 423*2^690974-1 is not prime. Res64: 52CFB75EA7703F36 Time : 735.0 sec. user=vaughan [2009-05-31 22:27:26] 423*2^690972-1 is not prime. Res64: F65DF89C3662B78E Time : 1329.0 sec. user=vaughan [2009-05-31 22:30:09] 411*2^690975-1 is not prime. Res64: CBC45E8638394016 Time : 451.0 sec. user=vaughan [2009-05-31 22:30:37] 471*2^690975-1 is not prime. Res64: E675486B3972796E Time : 446.0 sec. user=SazanEyes [2009-05-31 22:32:47] 565*2^690953-1 is not prime. Res64: 9C359B49DDB5D9E3 Time : 8643.0 sec. user=vaughan [2009-05-31 22:37:39] 485*2^690976-1 is not prime. Res64: A2A4E8BC765CF203 Time : 451.0 sec. user=vaughan [2009-05-31 22:37:41] 545*2^690974-1 is not prime. Res64: F288DE8A4D4722C3 Time : 1254.0 sec. user=vaughan [2009-05-31 22:38:03] 495*2^690976-1 is not prime. Res64: 883B25DA48C763B4 Time : 447.0 sec. user=vaughan [2009-05-31 22:38:47] 591*2^690975-1 is not prime. Res64: 87DC64091D83DAC5 Time : 739.0 sec. user=SazanEyes [2009-05-31 22:39:07] 513*2^690954-1 is not prime. Res64: 482E404943A43CF5 Time : 8862.0 sec. user=vaughan [2009-05-31 22:40:25] 405*2^690975-1 is not prime. Res64: C5A3FFA9AEE3E038 Time : 1340.0 sec. user=vaughan [2009-05-31 22:44:01] 459*2^690975-1 is not prime. Res64: 7BBDF7FFBA70205E Time : 1255.0 sec. user=vaughan [2009-05-31 22:45:09] 537*2^690977-1 is not prime. Res64: 18080929A79F470B Time : 450.0 sec. user=vaughan [2009-05-31 22:45:29] 465*2^690978-1 is not prime. Res64: B7DDD35DCE062125 Time : 446.0 sec. user=vaughan [2009-05-31 22:49:36] 435*2^690976-1 is not prime. Res64: D6CB231E75E8B944 Time : 1331.0 sec. user=vaughan [2009-05-31 22:51:13] 515*2^690978-1 is not prime. Res64: 551653D42390AA26 Time : 746.0 sec. user=vaughan [2009-05-31 22:52:39] 573*2^690978-1 is not prime. Res64: 159025CB8F756888 Time : 450.0 sec. user=vaughan [2009-05-31 22:52:55] 441*2^690979-1 is not prime. Res64: 59E9FE19D09F62B5 Time : 446.0 sec. user=vaughan [2009-05-31 22:59:57] 567*2^690977-1 is not prime. Res64: 290387D423430DF5 Time : 1336.0 sec. user=vaughan [2009-05-31 23:00:09] 425*2^690980-1 is not prime. Res64: 56571C34C7599641 Time : 450.0 sec. user=vaughan [2009-05-31 23:00:20] 479*2^690980-1 is not prime. Res64: 4029FD540AA9BF45 Time : 445.0 sec. user=SazanEyes [2009-05-31 23:01:51] 467*2^690958-1 is not prime. Res64: 311003DB1EDAB28D Time : 8710.0 sec. user=vaughan [2009-05-31 23:02:41] 527*2^690978-1 is not prime. Res64: AEE4FFAD0D7FDFDC Time : 1337.0 sec. user=vaughan [2009-05-31 23:03:43] 589*2^690979-1 is not prime. Res64: 7C69692382B1C453 Time : 750.0 sec. user=vaughan [2009-05-31 23:06:20] 555*2^690978-1 is not prime. Res64: 7B9A149ADB5561CE Time : 1339.0 sec. user=vaughan [2009-05-31 23:07:38] 417*2^690981-1 is not prime. Res64: 59342CDEA42892EF Time : 449.0 sec. user=vaughan [2009-05-31 23:07:45] 469*2^690981-1 is not prime. Res64: C098173BEC838F99 Time : 445.0 sec. user=SazanEyes [2009-05-31 23:08:31] 411*2^690961-1 is not prime. Res64: 6089196D16D35161 Time : 8855.0 sec. user=vaughan [2009-05-31 23:11:43] 531*2^690979-1 is not prime. Res64: 4FC0D1ED6E57C9A5 Time : 1328.0 sec. user=vaughan [2009-05-31 23:15:08] 491*2^690982-1 is not prime. Res64: CA7A8271B375E47F Time : 450.0 sec. user=vaughan [2009-05-31 23:15:10] 527*2^690982-1 is not prime. Res64: F8839BA6A7ADD060 Time : 445.0 sec. user=vaughan [2009-05-31 23:15:59] 537*2^690981-1 is not prime. Res64: ED24BEDDEC7810A5 Time : 736.0 sec. user=vaughan [2009-05-31 23:20:49] 545*2^690980-1 is not prime. Res64: DE0329430090CD49 Time : 1252.0 sec. user=vaughan [2009-05-31 23:22:35] 511*2^690983-1 is not prime. Res64: D8FD5CBB81F273CA Time : 445.0 sec. user=vaughan [2009-05-31 23:22:37] 489*2^690983-1 is not prime. Res64: 69BABA0248AF1C9B Time : 450.0 sec. user=vaughan [2009-05-31 23:24:59] 511*2^690981-1 is not prime. Res64: B03F680F87536BCB Time : 1338.0 sec. user=vaughan [2009-05-31 23:27:09] 435*2^690982-1 is not prime. Res64: EA73EF50D8C16444 Time : 1249.0 sec. user=vaughan [2009-05-31 23:27:47] 523*2^690983-1 is not prime. Res64: DC9121C85B802FD9 Time : 709.0 sec. user=vaughan [2009-05-31 23:30:00] 413*2^690984-1 is not prime. Res64: 68EA2D5809EF3421 Time : 445.0 sec. user=vaughan [2009-05-31 23:30:06] 425*2^690984-1 is not prime. Res64: DD89564FA607DD97 Time : 450.0 sec. user=SazanEyes [2009-05-31 23:30:55] 543*2^690963-1 is not prime. Res64: 5C1A4EF9510998D9 Time : 8709.0 sec. user=vaughan [2009-05-31 23:33:47] 463*2^690983-1 is not prime. Res64: 3C70CABC51059B7D Time : 1324.0 sec. user=vaughan [2009-05-31 23:37:26] 525*2^690985-1 is not prime. Res64: C0D1D71BB4E4F0CD Time : 446.0 sec. user=vaughan [2009-05-31 23:37:36] 473*2^690986-1 is not prime. Res64: 491F0ECC963EF592 Time : 450.0 sec. user=SazanEyes [2009-05-31 23:37:56] 573*2^690963-1 is not prime. Res64: E3A075E5FFEF3AAE Time : 8852.0 sec. user=vaughan [2009-05-31 23:39:49] 471*2^690985-1 is not prime. Res64: 542C06B1FEC24A71 Time : 722.0 sec. user=vaughan [2009-05-31 23:43:03] 559*2^690983-1 is not prime. Res64: 5C0BD4D03BFD163F Time : 1334.0 sec. user=vaughan [2009-05-31 23:44:52] 581*2^690986-1 is not prime. Res64: 4A57D60CB7A71C46 Time : 447.0 sec. user=vaughan [2009-05-31 23:45:06] 403*2^690987-1 is not prime. Res64: E21EAB09E1BCA5FD Time : 450.0 sec. user=vaughan [2009-05-31 23:47:13] 539*2^690984-1 is not prime. Res64: FE2C91930E066490 Time : 1334.0 sec. user=vaughan [2009-05-31 23:49:24] 543*2^690984-1 is not prime. Res64: C7291F8468EE8C38 Time : 1335.0 sec. user=vaughan [2009-05-31 23:51:39] 433*2^690987-1 is not prime. Res64: 58A6D78F684FC835 Time : 710.0 sec. user=vaughan [2009-05-31 23:52:17] 453*2^690987-1 is not prime. Res64: EC0EE68E087309EF Time : 446.0 sec. user=vaughan [2009-05-31 23:52:36] 493*2^690987-1 is not prime. Res64: 7E1C3C77C4F8A9FC Time : 450.0 sec. user=vaughan [2009-05-31 23:55:55] 495*2^690986-1 is not prime. Res64: 3B058DAF1C84DA1D Time : 1328.0 sec. user=vaughan [2009-05-31 23:59:42] 483*2^690988-1 is not prime. Res64: C205659B1010E3AB Time : 445.0 sec.