user=ototero [2010-10-11 00:07:32] 549*2^915151-1 is not prime. Res64: 40775B4323FC6756 Time : 5652.0 sec. user=ototero [2010-10-11 00:07:32] 489*2^915152-1 is not prime. Res64: 527DC06BEE984200 Time : 5652.0 sec. user=ototero [2010-10-11 00:07:33] 519*2^915152-1 is not prime. Res64: 809C947279ACEC64 Time : 5652.0 sec. user=ototero [2010-10-11 00:07:33] 507*2^915153-1 is not prime. Res64: 8A13E51333ADDEF1 Time : 5652.0 sec. user=ototero [2010-10-11 00:07:33] 517*2^915153-1 is not prime. Res64: 301B955C8175F61C Time : 5652.0 sec. user=ototero [2010-10-11 01:41:21] 555*2^915153-1 is not prime. Res64: EC8E6718F02110D2 Time : 5628.0 sec. user=ototero [2010-10-11 01:41:21] 435*2^915154-1 is not prime. Res64: C82332002FECAC2B Time : 5627.0 sec. user=ototero [2010-10-11 01:41:21] 447*2^915154-1 is not prime. Res64: 0B64D4FD9E685612 Time : 5627.0 sec. user=ototero [2010-10-11 01:41:21] 465*2^915154-1 is not prime. Res64: 8A0ED1DF64C6C376 Time : 5627.0 sec. user=ototero [2010-10-11 01:41:22] 503*2^915154-1 is not prime. Res64: 28C2E41C99CC4DA2 Time : 5627.0 sec. user=ototero [2010-10-11 03:15:20] 521*2^915154-1 is not prime. Res64: 3086BEDE4E4485C1 Time : 5638.0 sec. user=ototero [2010-10-11 03:15:20] 511*2^915155-1 is not prime. Res64: 1D7E5D8078F75E6A Time : 5638.0 sec. user=ototero [2010-10-11 03:15:21] 523*2^915155-1 is not prime. Res64: 57BA9BBCA199ED4A Time : 5638.0 sec. user=ototero [2010-10-11 03:15:21] 459*2^915156-1 is not prime. Res64: E07EFD1F6D4E84F8 Time : 5638.0 sec. user=ototero [2010-10-11 03:15:21] 439*2^915157-1 is not prime. Res64: 60C72DA330ECBF04 Time : 5638.0 sec. user=ototero [2010-10-11 04:49:52] 489*2^915157-1 is not prime. Res64: E67BDE601132345F Time : 5671.0 sec. user=ototero [2010-10-11 04:49:53] 507*2^915157-1 is not prime. Res64: 5AEAC6D1D4ECA6F7 Time : 5672.0 sec. user=ototero [2010-10-11 04:49:53] 511*2^915157-1 is not prime. Res64: 1BB9CE88C6C88B3D Time : 5671.0 sec. user=ototero [2010-10-11 04:49:53] 519*2^915157-1 is not prime. Res64: 8CDD67DC3EA8CAA7 Time : 5671.0 sec. user=ototero [2010-10-11 04:49:53] 567*2^915158-1 is not prime. Res64: 4D6EBE2CA4539E95 Time : 5671.0 sec. user=ototero [2010-10-11 06:23:56] 459*2^915159-1 is not prime. Res64: 75710C0FCAEC623E Time : 5643.0 sec. user=ototero [2010-10-11 06:23:56] 483*2^915159-1 is not prime. Res64: 96BC1B6AE5E33E88 Time : 5642.0 sec. user=ototero [2010-10-11 06:23:56] 489*2^915159-1 is not prime. Res64: B988C99844DB9FA2 Time : 5642.0 sec. user=ototero [2010-10-11 06:23:57] 531*2^915159-1 is not prime. Res64: 96D4602C48FD1420 Time : 5643.0 sec. user=ototero [2010-10-11 06:23:57] 549*2^915159-1 is not prime. Res64: F39C3336A9E4C1B8 Time : 5642.0 sec. user=ototero [2010-10-11 07:58:05] 579*2^915159-1 is not prime. Res64: 778B45D576107798 Time : 5648.0 sec. user=ototero [2010-10-11 07:58:05] 583*2^915159-1 is not prime. Res64: 0D1A43095AA32597 Time : 5648.0 sec. user=ototero [2010-10-11 07:58:05] 465*2^915160-1 is not prime. Res64: C84777D521504984 Time : 5647.0 sec. user=ototero [2010-10-11 07:58:05] 509*2^915160-1 is not prime. Res64: 226122D089AFBB77 Time : 5647.0 sec. user=ototero [2010-10-11 07:58:06] 569*2^915160-1 is not prime. Res64: DF18D662E8D04FDE Time : 5648.0 sec. user=ototero [2010-10-11 09:31:57] 597*2^915160-1 is not prime. Res64: CAEC4BAD87B09D06 Time : 5631.0 sec. user=ototero [2010-10-11 09:31:58] 439*2^915161-1 is not prime. Res64: 8A244E47C54E1C92 Time : 5632.0 sec. user=ototero [2010-10-11 09:31:58] 487*2^915161-1 is not prime. Res64: 03631F63AB0F9DDA Time : 5631.0 sec. user=ototero [2010-10-11 09:31:58] 511*2^915161-1 is not prime. Res64: 8CB70A3B657ADEDC Time : 5631.0 sec. user=ototero [2010-10-11 09:31:58] 571*2^915161-1 is not prime. Res64: 3DEBF4FD878869F7 Time : 5631.0 sec. user=ototero [2010-10-11 11:06:05] 579*2^915161-1 is not prime. Res64: E29E5D576068E1ED Time : 5646.0 sec. user=ototero [2010-10-11 11:06:05] 405*2^915162-1 is not prime. Res64: E5C357415DFDA9EB Time : 5646.0 sec. user=ototero [2010-10-11 11:06:05] 425*2^915162-1 is not prime. Res64: 7A8D2E48DA2849A8 Time : 5646.0 sec. user=ototero [2010-10-11 11:06:05] 437*2^915162-1 is not prime. Res64: 2B029486A28E7E16 Time : 5645.0 sec. user=ototero [2010-10-11 11:06:05] 513*2^915162-1 is not prime. Res64: DBDE30FBF9F9C8BA Time : 5645.0 sec. user=Robert47 [2010-10-11 11:47:11] 551*2^915162-1 is not prime. Res64: C6C8303FDE412B54 Time : 3522.0 sec. user=ototero [2010-10-11 12:39:57] 567*2^915162-1 is not prime. Res64: FAFB0FD21E02BC4A Time : 5631.0 sec. user=ototero [2010-10-11 12:39:57] 553*2^915163-1 is not prime. Res64: 85CE6F777BB8BFA0 Time : 5631.0 sec. user=ototero [2010-10-11 12:39:57] 595*2^915163-1 is not prime. Res64: 0881C1D62975DF2C Time : 5630.0 sec. user=ototero [2010-10-11 12:39:57] 465*2^915164-1 is not prime. Res64: 97CEDBAE9F28B259 Time : 5630.0 sec. user=ototero [2010-10-11 12:39:57] 593*2^915164-1 is not prime. Res64: 2D467D4E5D872570 Time : 5630.0 sec. user=Robert47 [2010-10-11 12:45:57] 409*2^915165-1 is not prime. Res64: 2E183699FAC63270 Time : 3526.0 sec. user=Robert47 [2010-10-11 13:47:24] 561*2^915166-1 is not prime. Res64: 5B1757C6CED95AE0 Time : 3686.0 sec. user=ototero [2010-10-11 14:13:34] 537*2^915165-1 is not prime. Res64: AA03FDA2883812B2 Time : 5616.0 sec. user=ototero [2010-10-11 14:13:34] 577*2^915165-1 is not prime. Res64: 033A2E80AC3C368F Time : 5616.0 sec. user=ototero [2010-10-11 14:13:34] 453*2^915166-1 is not prime. Res64: A8ADC1529026B145 Time : 5616.0 sec. user=ototero [2010-10-11 14:13:34] 495*2^915166-1 is not prime. Res64: 146B744CED27199C Time : 5615.0 sec. user=ototero [2010-10-11 14:13:34] 525*2^915166-1 is not prime. Res64: 1593A06D69D652F0 Time : 5615.0 sec. user=Robert47 [2010-10-11 14:48:36] 433*2^915167-1 is not prime. Res64: 791032BC59DAFF7E Time : 3670.0 sec. user=ototero [2010-10-11 15:47:29] 475*2^915167-1 is not prime. Res64: 29B0C3662D3C0C6C Time : 5634.0 sec. user=ototero [2010-10-11 15:47:29] 571*2^915167-1 is not prime. Res64: 5F3CAA1B516B52BE Time : 5634.0 sec. user=ototero [2010-10-11 15:47:29] 589*2^915167-1 is not prime. Res64: EC125C7950EE91E5 Time : 5633.0 sec. user=ototero [2010-10-11 15:47:29] 423*2^915168-1 is not prime. Res64: 58CC4664716C406E Time : 5633.0 sec. user=ototero [2010-10-11 15:47:29] 525*2^915168-1 is not prime. Res64: 4E2D8E36015CE49B Time : 5633.0 sec. user=ototero [2010-10-11 17:20:56] 563*2^915168-1 is not prime. Res64: 0CC195AB307F7DE6 Time : 5606.0 sec. user=ototero [2010-10-11 17:20:56] 567*2^915168-1 is not prime. Res64: 5BAED55F546FD552 Time : 5606.0 sec. user=ototero [2010-10-11 17:20:56] 505*2^915169-1 is not prime. Res64: 1361308E5F98BD9E Time : 5605.0 sec. user=ototero [2010-10-11 17:20:56] 595*2^915169-1 is not prime. Res64: AB1FC773C64E93CD Time : 5605.0 sec. user=ototero [2010-10-11 17:20:56] 447*2^915170-1 is not prime. Res64: EE1CADBD469D3CD4 Time : 5605.0 sec. user=ototero [2010-10-11 18:54:25] 515*2^915170-1 is not prime. Res64: BFEC35FEAAFDD23B Time : 5608.0 sec. user=ototero [2010-10-11 18:54:25] 533*2^915170-1 is not prime. Res64: 484CB07838EB9C7B Time : 5608.0 sec. user=ototero [2010-10-11 18:54:25] 537*2^915170-1 is not prime. Res64: CE8D6D12FB831FA9 Time : 5608.0 sec. user=ototero [2010-10-11 18:54:25] 561*2^915170-1 is not prime. Res64: 8B1634793C6283E3 Time : 5607.0 sec. user=ototero [2010-10-11 18:54:25] 439*2^915171-1 is not prime. Res64: 8FC0119D1CD4D0A0 Time : 5607.0 sec. user=ototero [2010-10-11 20:28:36] 579*2^915171-1 is not prime. Res64: 01454861F6CD37C3 Time : 5650.0 sec. user=ototero [2010-10-11 20:28:36] 585*2^915171-1 is not prime. Res64: 2E17A45FC3F8F609 Time : 5650.0 sec. user=ototero [2010-10-11 20:28:36] 405*2^915172-1 is not prime. Res64: D42D74EF221BCF7D Time : 5650.0 sec. user=ototero [2010-10-11 20:28:37] 419*2^915172-1 is not prime. Res64: 9B3C71795A601C78 Time : 5650.0 sec. user=ototero [2010-10-11 20:28:37] 429*2^915172-1 is not prime. Res64: C4EC7E8178C675EB Time : 5650.0 sec. user=ototero [2010-10-11 22:03:26] 483*2^915172-1 is not prime. Res64: 93BBC40E39E81949 Time : 5689.0 sec. user=ototero [2010-10-11 22:03:27] 533*2^915172-1 is not prime. Res64: F155B0218BD029B6 Time : 5690.0 sec. user=ototero [2010-10-11 22:03:27] 411*2^915173-1 is not prime. Res64: 4922C4439CB143FC Time : 5689.0 sec. user=ototero [2010-10-11 22:03:27] 495*2^915173-1 is not prime. Res64: 962F7B9772951494 Time : 5689.0 sec. user=ototero [2010-10-11 22:03:27] 567*2^915173-1 is not prime. Res64: DF6C0986A771FCB9 Time : 5688.0 sec. user=ototero [2010-10-11 23:36:41] 585*2^915173-1 is not prime. Res64: 7D46791EDF6349D8 Time : 5593.0 sec. user=ototero [2010-10-11 23:36:41] 437*2^915174-1 is not prime. Res64: F6F4388EF7CD191F Time : 5593.0 sec. user=ototero [2010-10-11 23:36:41] 593*2^915174-1 is not prime. Res64: 2EB945ABCA254A8E Time : 5593.0 sec. user=ototero [2010-10-11 23:36:42] 463*2^915175-1 is not prime. Res64: 38B8D86FC873BD4D Time : 5593.0 sec. user=ototero [2010-10-11 23:36:42] 493*2^915175-1 is not prime. Res64: BCCC5A2002DBC6EA Time : 5593.0 sec.