user=henryzz [2012-05-23 00:12:56] 507*2^1133118-1 is not prime. Res64: 97F5AB3BF5F1DB12 Time : 0.0 sec. user=henryzz [2012-05-23 00:17:32] 429*2^1133119-1 is not prime. Res64: BD350FE0439656AF Time : 0.0 sec. user=henryzz [2012-05-23 00:17:33] 465*2^1133118-1 is not prime. Res64: 41D2D887AA63DC9D Time : 0.0 sec. user=vaughan [2012-05-23 00:28:18] 481*2^1133119-1 is not prime. Res64: 10C557FC9FFBD6C5 Time : 0.0 sec. user=henryzz [2012-05-23 00:31:44] 515*2^1133118-1 is not prime. Res64: 74D96E69B087A050 Time : 0.0 sec. user=henryzz [2012-05-23 00:38:41] 525*2^1133119-1 is not prime. Res64: 4C8A521C97B9AE17 Time : 0.0 sec. user=henryzz [2012-05-23 00:40:33] 553*2^1133119-1 is not prime. Res64: 67A899CC97F7FE94 Time : 0.0 sec. user=henryzz [2012-05-23 00:43:15] 589*2^1133119-1 is not prime. Res64: 75DAA778DA18E75D Time : 0.0 sec. user=henryzz [2012-05-23 00:55:33] 489*2^1133120-1 is not prime. Res64: F12D90D8BC3A10B9 Time : 0.0 sec. user=henryzz [2012-05-23 01:02:17] 519*2^1133120-1 is not prime. Res64: FD4E115D611999B6 Time : 0.0 sec. user=henryzz [2012-05-23 01:06:47] 445*2^1133121-1 is not prime. Res64: 507CE7F6ADFB7614 Time : 0.0 sec. user=henryzz [2012-05-23 01:17:06] 439*2^1133121-1 is not prime. Res64: 8CF94B5EFCE53B45 Time : 0.0 sec. user=henryzz [2012-05-23 01:25:32] 469*2^1133121-1 is not prime. Res64: 6372A36828EA4987 Time : 0.0 sec. user=henryzz [2012-05-23 01:30:22] 517*2^1133121-1 is not prime. Res64: 97CA44949B8C4347 Time : 0.0 sec. user=henryzz [2012-05-23 01:32:24] 459*2^1133121-1 is not prime. Res64: A5EDB47FA8B239A7 Time : 0.0 sec. user=henryzz [2012-05-23 01:41:07] 559*2^1133121-1 is not prime. Res64: 19C907C87F54E549 Time : 0.0 sec. user=henryzz [2012-05-23 01:52:15] 571*2^1133121-1 is not prime. Res64: 3D29B38E523D19DA Time : 0.0 sec. user=henryzz [2012-05-23 01:54:12] 591*2^1133121-1 is not prime. Res64: 7CA60D11D8C05875 Time : 0.0 sec. user=henryzz [2012-05-23 01:56:34] 453*2^1133122-1 is not prime. Res64: 98199C7767A98A2F Time : 0.0 sec. user=henryzz [2012-05-23 02:16:28] 439*2^1133123-1 is not prime. Res64: 1BF409AE30DEAE9A Time : 0.0 sec. user=henryzz [2012-05-23 02:16:42] 433*2^1133123-1 is not prime. Res64: 4978B7EC8F5A035F Time : 0.0 sec. user=henryzz [2012-05-23 02:21:43] 445*2^1133123-1 is not prime. Res64: FC14064052E3B60D Time : 0.0 sec. user=henryzz [2012-05-23 02:24:32] 545*2^1133122-1 is not prime. Res64: 287F053BCFDBFBBE Time : 0.0 sec. user=henryzz [2012-05-23 02:39:46] 505*2^1133123-1 is not prime. Res64: 09AD8FEF1842433D Time : 0.0 sec. user=henryzz [2012-05-23 02:42:01] 591*2^1133123-1 is not prime. Res64: 1C04877BF287F38B Time : 0.0 sec. user=henryzz [2012-05-23 02:45:12] 447*2^1133124-1 is not prime. Res64: 1400A01F3E5BB069 Time : 0.0 sec. user=henryzz [2012-05-23 03:03:39] 549*2^1133124-1 is not prime. Res64: 4E517A51DB125897 Time : 0.0 sec. user=henryzz [2012-05-23 03:04:11] 503*2^1133124-1 is not prime. Res64: 2A3DDB1A6B9CD28E Time : 0.0 sec. user=henryzz [2012-05-23 03:07:47] 593*2^1133124-1 is not prime. Res64: DF4EBAF59479EE74 Time : 0.0 sec. user=henryzz [2012-05-23 03:09:25] 589*2^1133125-1 is not prime. Res64: 0855BA6B0BAD2E56 Time : 0.0 sec. user=henryzz [2012-05-23 03:26:18] 591*2^1133125-1 is not prime. Res64: 7CD464F7A0C5D45E Time : 0.0 sec. user=henryzz [2012-05-23 03:32:31] 503*2^1133126-1 is not prime. Res64: 2CF0B89147F1C6B8 Time : 0.0 sec. user=henryzz [2012-05-23 03:32:42] 431*2^1133126-1 is not prime. Res64: 9A65BBE122510AE8 Time : 0.0 sec. user=henryzz [2012-05-23 03:48:39] 597*2^1133125-1 is not prime. Res64: C8EC0ACEE9148388 Time : 0.0 sec. user=henryzz [2012-05-23 03:51:05] 551*2^1133126-1 is not prime. Res64: 9E309C8474EE1935 Time : 0.0 sec. user=henryzz [2012-05-23 03:55:55] 567*2^1133126-1 is not prime. Res64: A6573AA05EEA8A2F Time : 0.0 sec. user=henryzz [2012-05-23 03:58:22] 433*2^1133127-1 is not prime. Res64: 9D1DF14A13828B0D Time : 0.0 sec. user=henryzz [2012-05-23 04:11:04] 441*2^1133127-1 is not prime. Res64: 1B82EF277902B0F3 Time : 0.0 sec. user=henryzz [2012-05-23 04:19:25] 537*2^1133128-1 is not prime. Res64: 06B6EEC785998131 Time : 0.0 sec. user=henryzz [2012-05-23 04:23:07] 507*2^1133129-1 is not prime. Res64: 29B32A0FA2745211 Time : 0.0 sec. user=henryzz [2012-05-23 04:35:14] 555*2^1133127-1 is not prime. Res64: 1B146CF3F2882077 Time : 0.0 sec. user=henryzz [2012-05-23 04:36:17] 579*2^1133129-1 is not prime. Res64: 81F388E600297477 Time : 0.0 sec. user=henryzz [2012-05-23 04:43:49] 513*2^1133130-1 is not prime. Res64: 68A53616B8C559A1 Time : 0.0 sec. user=henryzz [2012-05-23 04:48:21] 429*2^1133131-1 is not prime. Res64: BEAF9D394EE60ED7 Time : 0.0 sec. user=henryzz [2012-05-23 05:01:12] 511*2^1133131-1 is not prime. Res64: 576D337C4F920749 Time : 0.0 sec. user=henryzz [2012-05-23 05:04:43] 539*2^1133132-1 is not prime. Res64: BF1054B911F64AA5 Time : 0.0 sec. user=henryzz [2012-05-23 05:07:56] 579*2^1133132-1 is not prime. Res64: E8DE9B95FF037135 Time : 0.0 sec. user=henryzz [2012-05-23 05:16:45] 587*2^1133132-1 is not prime. Res64: BBB9490FACED8788 Time : 0.0 sec. user=henryzz [2012-05-23 05:27:32] 427*2^1133133-1 is not prime. Res64: 452B60155ED909C5 Time : 0.0 sec. user=henryzz [2012-05-23 05:30:48] 591*2^1133133-1 is not prime. Res64: 2AFF2014B79D7958 Time : 0.0 sec. user=henryzz [2012-05-23 05:40:06] 465*2^1133134-1 is not prime. Res64: 79C8BBB9B87C90A2 Time : 0.0 sec. user=henryzz [2012-05-23 05:42:06] 499*2^1133133-1 is not prime. Res64: CE4DFDDE398080B6 Time : 0.0 sec. user=henryzz [2012-05-23 05:53:29] 545*2^1133134-1 is not prime. Res64: 0656103533974020 Time : 0.0 sec. user=henryzz [2012-05-23 06:05:37] 403*2^1133135-1 is not prime. Res64: 4D63BC0FFC92B015 Time : 0.0 sec. user=henryzz [2012-05-23 06:06:00] 525*2^1133136-1 is not prime. Res64: 19C3A7A16456D556 Time : 0.0 sec. user=henryzz [2012-05-23 06:09:53] 483*2^1133134-1 is not prime. Res64: 9C1432F925EBCAEA Time : 0.0 sec. user=henryzz [2012-05-23 06:16:44] 537*2^1133136-1 is not prime. Res64: 70004CEE7C91F749 Time : 0.0 sec. user=marco.bs [2012-05-23 06:25:24] 495*2^1133108-1 is not prime. Res64: 634689E8AA251CCE Time : 0.0 sec. user=henryzz [2012-05-23 06:28:31] 425*2^1133138-1 is not prime. Res64: F45DC05743AE215C Time : 0.0 sec. user=henryzz [2012-05-23 06:39:11] 483*2^1133140-1 is not prime. Res64: 00C2D3C389DC7F18 Time : 0.0 sec. user=henryzz [2012-05-23 06:39:47] 511*2^1133137-1 is not prime. Res64: A888BCF519C35885 Time : 0.0 sec. user=henryzz [2012-05-23 06:44:13] 507*2^1133138-1 is not prime. Res64: 71523AEB38E51557 Time : 0.0 sec. user=henryzz [2012-05-23 06:51:14] 579*2^1133140-1 is not prime. Res64: 87E4FB73C5506AFA Time : 0.0 sec. user=henryzz [2012-05-23 07:03:26] 409*2^1133141-1 is not prime. Res64: 61E627BB3555B4C9 Time : 0.0 sec. user=henryzz [2012-05-23 07:08:17] 571*2^1133141-1 is not prime. Res64: E8B9D44654448B0B Time : 0.0 sec. user=henryzz [2012-05-23 07:14:22] 405*2^1133142-1 is not prime. Res64: CC0AADE70360E521 Time : 0.0 sec. user=marco.bs [2012-05-23 07:16:13] 527*2^1133140-1 is not prime. Res64: 11440D03A1AE2576 Time : 0.0 sec. user=henryzz [2012-05-23 07:19:49] 475*2^1133141-1 is not prime. Res64: 720DA3DD4C2F2E0C Time : 0.0 sec. user=henryzz [2012-05-23 07:25:51] 413*2^1133142-1 is not prime. Res64: 177B6A1777BA27F2 Time : 0.0 sec. user=henryzz [2012-05-23 07:38:42] 587*2^1133142-1 is not prime. Res64: 24622F5C16DFE461 Time : 0.0 sec. user=henryzz [2012-05-23 07:42:31] 465*2^1133143-1 is not prime. Res64: B5C8CC850921B937 Time : 0.0 sec. user=henryzz [2012-05-23 07:50:25] 417*2^1133142-1 is not prime. Res64: 4BD9D4C354C6143E Time : 0.0 sec. user=henryzz [2012-05-23 07:50:28] 493*2^1133143-1 is not prime. Res64: 84317C1932503E2F Time : 0.0 sec. user=marco.bs [2012-05-23 08:05:55] 453*2^1133143-1 is not prime. Res64: E6C3823619C2EE07 Time : 0.0 sec. user=henryzz [2012-05-23 08:06:55] 525*2^1133143-1 is not prime. Res64: EBA92FDAFC794C5A Time : 0.0 sec. user=henryzz [2012-05-23 08:07:06] 519*2^1133143-1 is not prime. Res64: C8DAA73A1065C4F2 Time : 0.0 sec. user=henryzz [2012-05-23 08:15:40] 525*2^1133144-1 is not prime. Res64: FBF8EFF9A5C8ACB8 Time : 0.0 sec. user=henryzz [2012-05-23 08:21:48] 561*2^1133143-1 is not prime. Res64: 018F6D7525CB9F6A Time : 0.0 sec. user=henryzz [2012-05-23 08:31:15] 443*2^1133146-1 is not prime. Res64: A955237FB9F0FA08 Time : 0.0 sec. user=henryzz [2012-05-23 08:34:27] 575*2^1133146-1 is not prime. Res64: 65AC93EF9107342A Time : 0.0 sec. user=henryzz [2012-05-23 08:41:05] 523*2^1133147-1 is not prime. Res64: B0CC8690E7DB0318 Time : 0.0 sec. user=vaughan [2012-05-23 08:50:24] 531*2^1133147-1 is not prime. Res64: F8059636A5088910 Time : 0.0 sec. user=henryzz [2012-05-23 08:54:10] 545*2^1133148-1 is not prime. Res64: FC730293A308FFFF Time : 0.0 sec. user=marco.bs [2012-05-23 08:55:36] 409*2^1133145-1 is not prime. Res64: C0DD24E089C144FC Time : 0.0 sec. user=henryzz [2012-05-23 08:58:01] 559*2^1133149-1 is not prime. Res64: 8A9F93AAD99F707A Time : 0.0 sec. user=henryzz [2012-05-23 09:02:03] 537*2^1133148-1 is not prime. Res64: DD8A2869432DA9DE Time : 0.0 sec. user=henryzz [2012-05-23 09:14:47] 589*2^1133149-1 is not prime. Res64: 2DCC6580A1ECEDD2 Time : 0.0 sec. user=henryzz [2012-05-23 09:16:54] 417*2^1133150-1 is not prime. Res64: 49F21F85112F79E4 Time : 0.0 sec. user=henryzz [2012-05-23 09:20:37] 447*2^1133150-1 is not prime. Res64: 9FD889D6B579A872 Time : 0.0 sec. user=henryzz [2012-05-23 09:38:20] 467*2^1133150-1 is not prime. Res64: E14B68034E20FEB4 Time : 0.0 sec. user=henryzz [2012-05-23 09:38:56] 525*2^1133150-1 is not prime. Res64: DCB2216351F47520 Time : 0.0 sec. user=henryzz [2012-05-23 09:43:58] 493*2^1133151-1 is not prime. Res64: 5B3811AA75B20162 Time : 0.0 sec. user=henryzz [2012-05-23 09:44:38] 561*2^1133150-1 is not prime. Res64: 966F6927DEA2A383 Time : 0.0 sec. user=marco.bs [2012-05-23 09:45:26] 423*2^1133150-1 is not prime. Res64: 5F15F940CFAB0551 Time : 0.0 sec. user=henryzz [2012-05-23 10:04:29] 513*2^1133151-1 is not prime. Res64: 3E26B3958B2EB931 Time : 0.0 sec. user=henryzz [2012-05-23 10:06:45] 549*2^1133151-1 is not prime. Res64: FF50D8A9F62EEFD3 Time : 0.0 sec. user=henryzz [2012-05-23 10:09:16] 455*2^1133152-1 is not prime. Res64: 73FD47EF49FC4F34 Time : 0.0 sec. user=henryzz [2012-05-23 10:12:10] 435*2^1133153-1 is not prime. Res64: 35D2939F558C1AAF Time : 0.0 sec. user=henryzz [2012-05-23 10:29:35] 525*2^1133153-1 is not prime. Res64: 233832A74578D601 Time : 0.0 sec. user=marco.bs [2012-05-23 10:35:03] 495*2^1133153-1 is not prime. Res64: 2B4C362B68F9F085 Time : 0.0 sec. user=henryzz [2012-05-23 10:35:11] 473*2^1133154-1 is not prime. Res64: 2946EA2F9C06AD6C Time : 0.0 sec. user=henryzz [2012-05-23 10:36:08] 507*2^1133153-1 is not prime. Res64: 723F46EA300BC0A3 Time : 0.0 sec. user=henryzz [2012-05-23 10:48:04] 465*2^1133154-1 is not prime. Res64: 7BDC2B1E5EE5BD9A Time : 0.0 sec. user=henryzz [2012-05-23 10:54:08] 503*2^1133154-1 is not prime. Res64: C6CFC05E25C1FE41 Time : 0.0 sec. user=henryzz [2012-05-23 10:59:21] 471*2^1133155-1 is not prime. Res64: EF0DBCCF35CFAD75 Time : 0.0 sec. user=henryzz [2012-05-23 11:00:55] 459*2^1133156-1 is not prime. Res64: 4AD22E0C9FD7C8C8 Time : 0.0 sec. user=henryzz [2012-05-23 11:14:58] 503*2^1133156-1 is not prime. Res64: 2712F9352CAA29B6 Time : 0.0 sec. user=henryzz [2012-05-23 11:22:09] 491*2^1133158-1 is not prime. Res64: C4DF1F69D7F82889 Time : 0.0 sec. user=henryzz [2012-05-23 11:25:05] 513*2^1133158-1 is not prime. Res64: E511CD7CDA02C0C7 Time : 0.0 sec. user=marco.bs [2012-05-23 11:25:09] 525*2^1133154-1 is not prime. Res64: 8B54E8A0F8C2E510 Time : 0.0 sec. user=henryzz [2012-05-23 11:38:36] 591*2^1133158-1 is not prime. Res64: 61E58D3B12EC04DF Time : 0.0 sec. user=henryzz [2012-05-23 11:39:58] 507*2^1133156-1 is not prime. Res64: E2D3462DD1A230E7 Time : 0.0 sec. user=henryzz [2012-05-23 11:44:27] 481*2^1133159-1 is not prime. Res64: 20109777E2618692 Time : 0.0 sec. user=henryzz [2012-05-23 11:47:47] 579*2^1133159-1 is not prime. Res64: 1536BB28CF712C88 Time : 0.0 sec. user=henryzz [2012-05-23 12:04:27] 447*2^1133160-1 is not prime. Res64: 31233F25B9EA3D8C Time : 0.0 sec. user=henryzz [2012-05-23 12:10:55] 415*2^1133161-1 is not prime. Res64: F318A3A5E921B116 Time : 0.0 sec. user=henryzz [2012-05-23 12:12:34] 441*2^1133161-1 is not prime. Res64: 16E1E1A65AC4D22E Time : 0.0 sec. user=marco.bs [2012-05-23 12:14:59] 565*2^1133159-1 is not prime. Res64: 467DA123187E7112 Time : 0.0 sec. user=henryzz [2012-05-23 12:17:26] 497*2^1133162-1 is not prime. Res64: D2901F5CB7F4A03A Time : 0.0 sec. user=henryzz [2012-05-23 12:30:38] 501*2^1133162-1 is not prime. Res64: 1E0F1E375CEBFEBF Time : 0.0 sec. user=henryzz [2012-05-23 12:42:57] 489*2^1133163-1 is not prime. Res64: E4EC25C5812CE6E9 Time : 0.0 sec. user=henryzz [2012-05-23 12:43:15] 409*2^1133163-1 is not prime. Res64: D9CF984B40BB9D93 Time : 0.0 sec. user=henryzz [2012-05-23 12:43:19] 415*2^1133163-1 is not prime. Res64: 5E82D94F98DAFBA2 Time : 0.0 sec. user=henryzz [2012-05-23 12:59:04] 495*2^1133163-1 is not prime. Res64: 0FDAA3485FB07D13 Time : 0.0 sec. user=marco.bs [2012-05-23 13:05:02] 465*2^1133163-1 is not prime. Res64: 53C98977DEE2350B Time : 0.0 sec. user=henryzz [2012-05-23 13:08:22] 525*2^1133164-1 is not prime. Res64: 84F94699623AA116 Time : 0.0 sec. user=henryzz [2012-05-23 13:10:41] 589*2^1133165-1 is not prime. Res64: CA4270C9053D60EA Time : 0.0 sec. user=henryzz [2012-05-23 13:21:56] 481*2^1133165-1 is not prime. Res64: 8B4C20E66B16583C Time : 0.0 sec. user=henryzz [2012-05-23 13:22:00] 413*2^1133166-1 is not prime. Res64: 5EAEF7FC7DC45116 Time : 0.0 sec. user=henryzz [2012-05-23 13:33:04] 473*2^1133166-1 is not prime. Res64: 34567233ECD397F1 Time : 0.0 sec. user=henryzz [2012-05-23 13:45:23] 425*2^1133168-1 is not prime. Res64: 735843A41B5109DF Time : 0.0 sec. user=henryzz [2012-05-23 13:46:52] 455*2^1133166-1 is not prime. Res64: F0F859E0B9984630 Time : 0.0 sec. user=marco.bs [2012-05-23 13:55:45] 443*2^1133166-1 is not prime. Res64: E42777AF5824E52A Time : 0.0 sec. user=henryzz [2012-05-23 14:33:22] 599*2^1133168-1 is not prime. Res64: 6F86B2FC31B7C680 Time : 0.0 sec. user=henryzz [2012-05-23 14:33:22] 479*2^1133168-1 is not prime. Res64: 77C6B81181C16B5C Time : 0.0 sec. user=henryzz [2012-05-23 14:33:31] 585*2^1133168-1 is not prime. Res64: AE5DCBEF3FC695E8 Time : 0.0 sec. user=henryzz [2012-05-23 14:33:47] 503*2^1133168-1 is not prime. Res64: 45A985D178C4C881 Time : 0.0 sec. user=henryzz [2012-05-23 14:54:33] 453*2^1133170-1 is not prime. Res64: 1FA1C1751725C547 Time : 0.0 sec. user=henryzz [2012-05-23 14:54:42] 465*2^1133170-1 is not prime. Res64: 0605234F03ED769E Time : 0.0 sec. user=henryzz [2012-05-23 14:55:24] 531*2^1133170-1 is not prime. Res64: B5D8A10B64D61829 Time : 0.0 sec. user=henryzz [2012-05-23 14:55:59] 533*2^1133170-1 is not prime. Res64: 6CF20A4AF70A0C8C Time : 0.0 sec. user=henryzz [2012-05-23 15:15:52] 545*2^1133170-1 is not prime. Res64: A1AD9F0471BEFD79 Time : 0.0 sec. user=henryzz [2012-05-23 15:15:54] 519*2^1133171-1 is not prime. Res64: A4EC4393BE586E72 Time : 0.0 sec. user=henryzz [2012-05-23 15:16:42] 585*2^1133171-1 is not prime. Res64: F254590A42559D6B Time : 0.0 sec. user=henryzz [2012-05-23 15:17:17] 447*2^1133172-1 is not prime. Res64: A07A819D259CED31 Time : 0.0 sec. user=henryzz [2012-05-23 15:36:47] 441*2^1133173-1 is not prime. Res64: FD44AA11A47D734B Time : 0.0 sec. user=henryzz [2012-05-23 15:37:11] 481*2^1133173-1 is not prime. Res64: 48764212D6F0CCD1 Time : 0.0 sec. user=henryzz [2012-05-23 15:38:18] 517*2^1133173-1 is not prime. Res64: 3221D2862B42E84B Time : 0.0 sec. user=henryzz [2012-05-23 15:38:48] 565*2^1133173-1 is not prime. Res64: 38499F320191D406 Time : 0.0 sec. user=henryzz [2012-05-23 15:58:23] 441*2^1133175-1 is not prime. Res64: 2E8CE4CE467873A5 Time : 0.0 sec. user=henryzz [2012-05-23 15:58:30] 545*2^1133174-1 is not prime. Res64: F0E704318DCF0090 Time : 0.0 sec. user=henryzz [2012-05-23 15:59:37] 469*2^1133175-1 is not prime. Res64: A2D3E584B27BEDEA Time : 0.0 sec. user=henryzz [2012-05-23 16:00:03] 535*2^1133175-1 is not prime. Res64: 8434C7EFD3917C7F Time : 0.0 sec. user=henryzz [2012-05-23 16:43:44] 579*2^1133175-1 is not prime. Res64: 8D1914BC59A50B61 Time : 0.0 sec. user=henryzz [2012-05-23 16:44:03] 429*2^1133176-1 is not prime. Res64: C25D6D311AEE4597 Time : 0.0 sec. user=henryzz [2012-05-23 16:44:52] 453*2^1133176-1 is not prime. Res64: 7B75F0271EE73718 Time : 0.0 sec. user=henryzz [2012-05-23 16:45:14] 563*2^1133176-1 is not prime. Res64: 86860FBAB8F7CC02 Time : 0.0 sec. user=henryzz [2012-05-23 17:05:16] 567*2^1133176-1 is not prime. Res64: 4A91B1538DA58B9E Time : 0.0 sec. user=henryzz [2012-05-23 17:05:19] 445*2^1133177-1 is not prime. Res64: A121A93BAB34EF09 Time : 0.0 sec. user=henryzz [2012-05-23 17:06:16] 549*2^1133177-1 is not prime. Res64: F285F2AE4CD083DE Time : 0.0 sec. user=henryzz [2012-05-23 17:06:23] 529*2^1133177-1 is not prime. Res64: BE62029B18B367D3 Time : 0.0 sec.