user=mdettweiler [2015-01-04 00:02:12] 891*2^1388517-1 is not prime. Res64: CE2D785A7B04755A Time : 0.0 sec. user=mdettweiler [2015-01-04 00:02:28] 937*2^1388517-1 is not prime. Res64: 188514E1565692DF Time : 0.0 sec. user=mdettweiler [2015-01-04 00:02:29] 955*2^1388517-1 is not prime. Res64: 7230AEAD03E18DF9 Time : 0.0 sec. user=mdettweiler [2015-01-04 00:05:52] 979*2^1388517-1 is not prime. Res64: 8386ACC30500F074 Time : 0.0 sec. user=mdettweiler [2015-01-04 00:05:53] 985*2^1388517-1 is not prime. Res64: 5874817556235955 Time : 0.0 sec. user=mdettweiler [2015-01-04 00:07:14] 617*2^1388518-1 is not prime. Res64: D866BAE520604DBA Time : 0.0 sec. user=mdettweiler [2015-01-04 00:07:16] 723*2^1388518-1 is not prime. Res64: 630C436244AA0575 Time : 0.0 sec. user=mdettweiler [2015-01-04 00:29:04] 747*2^1388518-1 is not prime. Res64: 1B039B9D58F318B1 Time : 0.0 sec. user=mdettweiler [2015-01-04 00:29:05] 777*2^1388518-1 is not prime. Res64: 7CF5E81D99AD3F17 Time : 0.0 sec. user=mdettweiler [2015-01-04 00:32:52] 801*2^1388518-1 is not prime. Res64: 8DC2BDE90412EB7A Time : 0.0 sec. user=mdettweiler [2015-01-04 00:32:53] 843*2^1388518-1 is not prime. Res64: 07655844A1B26D35 Time : 0.0 sec. user=mdettweiler [2015-01-04 00:34:51] 911*2^1388518-1 is not prime. Res64: CDB75ED6C498239E Time : 0.0 sec. user=mdettweiler [2015-01-04 00:34:52] 915*2^1388518-1 is not prime. Res64: 3D42B58CBD8CFA53 Time : 0.0 sec. user=mdettweiler [2015-01-04 00:55:56] 741*2^1388519-1 is not prime. Res64: 990934CA943B41E5 Time : 0.0 sec. user=mdettweiler [2015-01-04 00:55:57] 753*2^1388519-1 is not prime. Res64: 3DBF71CDDA1906FA Time : 0.0 sec. user=mdettweiler [2015-01-04 00:59:41] 759*2^1388519-1 is not prime. Res64: 70671835AC3E3F5E Time : 0.0 sec. user=mdettweiler [2015-01-04 00:59:42] 771*2^1388519-1 is not prime. Res64: EA946A905128E50B Time : 0.0 sec. user=mdettweiler [2015-01-04 01:01:45] 855*2^1388519-1 is not prime. Res64: 8ABC0CFD646658B4 Time : 0.0 sec. user=mdettweiler [2015-01-04 01:01:46] 859*2^1388519-1 is not prime. Res64: A7A807B8C6427DF6 Time : 0.0 sec. user=mdettweiler [2015-01-04 01:17:42] 919*2^1388517-1 is not prime. Res64: E8CFCFD413E69F28 Time : 0.0 sec. user=mdettweiler [2015-01-04 01:22:47] 999*2^1388519-1 is not prime. Res64: D7E33D11FF7919BD Time : 0.0 sec. user=mdettweiler [2015-01-04 01:22:47] 627*2^1388520-1 is not prime. Res64: 85F5DA3DBF36052D Time : 0.0 sec. user=mdettweiler [2015-01-04 01:26:21] 753*2^1388520-1 is not prime. Res64: 1CE67EACDCA43ACF Time : 0.0 sec. user=mdettweiler [2015-01-04 01:26:22] 759*2^1388520-1 is not prime. Res64: 8FB9DE2859B47B7C Time : 0.0 sec. user=mdettweiler [2015-01-04 01:28:34] 803*2^1388520-1 is not prime. Res64: 38F76BBFB5C27A7A Time : 0.0 sec. user=mdettweiler [2015-01-04 01:28:37] 849*2^1388520-1 is not prime. Res64: 50299884686ACB0D Time : 0.0 sec. user=mdettweiler [2015-01-04 01:44:08] 959*2^1388520-1 is not prime. Res64: 4047F76F0D8D43D8 Time : 0.0 sec. user=mdettweiler [2015-01-04 01:44:08] 607*2^1388521-1 is not prime. Res64: 1C947E1AD63DD73B Time : 0.0 sec. user=mdettweiler [2015-01-04 01:49:05] 651*2^1388521-1 is not prime. Res64: F710278CFFF764E6 Time : 0.0 sec. user=mdettweiler [2015-01-04 01:49:06] 681*2^1388521-1 is not prime. Res64: E65745B9DCA5B0DA Time : 0.0 sec. user=mdettweiler [2015-01-04 01:53:11] 867*2^1388521-1 is not prime. Res64: 0E5F69E94A09633E Time : 0.0 sec. user=mdettweiler [2015-01-04 01:55:16] 937*2^1388521-1 is not prime. Res64: D36DA7617918EEF8 Time : 0.0 sec. user=mdettweiler [2015-01-04 01:55:17] 975*2^1388521-1 is not prime. Res64: 96AC60A17D2E13B1 Time : 0.0 sec. user=mdettweiler [2015-01-04 02:10:52] 623*2^1388522-1 is not prime. Res64: 06368461DFBB1C7B Time : 0.0 sec. user=mdettweiler [2015-01-04 02:10:53] 671*2^1388522-1 is not prime. Res64: 5BBC0CFB1851E04C Time : 0.0 sec. user=mdettweiler [2015-01-04 02:15:45] 683*2^1388522-1 is not prime. Res64: 813519BF1F45C721 Time : 0.0 sec. user=mdettweiler [2015-01-04 02:15:46] 735*2^1388522-1 is not prime. Res64: 357FCD25B90ABAF3 Time : 0.0 sec. user=mdettweiler [2015-01-04 02:22:00] 815*2^1388522-1 is not prime. Res64: 5BFFC0B6D03489E1 Time : 0.0 sec. user=mdettweiler [2015-01-04 02:22:01] 987*2^1388522-1 is not prime. Res64: C7AF60F32C1A6F32 Time : 0.0 sec. user=mdettweiler [2015-01-04 02:42:43] 669*2^1388523-1 is not prime. Res64: F4F6BA03850E2E7E Time : 0.0 sec. user=mdettweiler [2015-01-04 02:42:43] 685*2^1388523-1 is not prime. Res64: E6635201ADCA8642 Time : 0.0 sec. user=mdettweiler [2015-01-04 02:48:37] 723*2^1388523-1 is not prime. Res64: 4FFA8D982B6CD95D Time : 0.0 sec. user=mdettweiler [2015-01-04 02:48:37] 835*2^1388523-1 is not prime. Res64: 44642D40A7D11638 Time : 0.0 sec. user=mdettweiler [2015-01-04 03:05:20] 613*2^1388523-1 is not prime. Res64: 464CD0AA537B6856 Time : 0.0 sec. user=mdettweiler [2015-01-04 03:05:23] 615*2^1388523-1 is not prime. Res64: 0ACD0CDA2FF622A3 Time : 0.0 sec. user=mdettweiler [2015-01-04 03:09:44] 961*2^1388523-1 is not prime. Res64: 2DEF0BF24AB44E6C Time : 0.0 sec. user=mdettweiler [2015-01-04 03:09:45] 677*2^1388524-1 is not prime. Res64: 27665D4828BA246A Time : 0.0 sec. user=mdettweiler [2015-01-04 03:15:48] 819*2^1388524-1 is not prime. Res64: 48DCCAC69DC8EAB8 Time : 0.0 sec. user=mdettweiler [2015-01-04 03:15:48] 833*2^1388524-1 is not prime. Res64: A4BB1DB2DFDEE2F5 Time : 0.0 sec. user=mdettweiler [2015-01-04 03:34:45] 873*2^1388524-1 is not prime. Res64: 9F649CEA36DDD13C Time : 0.0 sec. user=mdettweiler [2015-01-04 03:42:57] 717*2^1388525-1 is not prime. Res64: B1B1E1651E6647CB Time : 0.0 sec. user=mdettweiler [2015-01-04 04:47:11] 877*2^1388521-1 is not prime. Res64: 9DCC7D783037BC75 Time : 0.0 sec. user=mdettweiler [2015-01-04 04:51:09] 887*2^1388524-1 is not prime. Res64: 10F08476E607E4D0 Time : 0.0 sec. user=mdettweiler [2015-01-04 05:09:48] 989*2^1388524-1 is not prime. Res64: CB0CBB65A613D5E1 Time : 0.0 sec. user=mdettweiler [2015-01-04 05:09:50] 627*2^1388525-1 is not prime. Res64: 8A4AE1012C115DA2 Time : 0.0 sec. user=mdettweiler [2015-01-04 05:14:26] 653*2^1388526-1 is not prime. Res64: 6E4BD97C3110DB1C Time : 0.0 sec. user=mdettweiler [2015-01-04 05:14:26] 713*2^1388526-1 is not prime. Res64: E4455FCDF8A9E9C8 Time : 0.0 sec. user=mdettweiler [2015-01-04 05:18:02] 725*2^1388526-1 is not prime. Res64: 861C763CB805CBE8 Time : 0.0 sec. user=mdettweiler [2015-01-04 05:18:03] 975*2^1388526-1 is not prime. Res64: 8A024E46EF5F4C5F Time : 0.0 sec. user=mdettweiler [2015-01-04 05:18:55] 937*2^1388525-1 is not prime. Res64: F5DB67C4EEC3AE44 Time : 0.0 sec. user=mdettweiler [2015-01-04 05:38:29] 639*2^1388527-1 is not prime. Res64: 4BA3B30F85D362FF Time : 0.0 sec. user=mdettweiler [2015-01-04 05:38:29] 705*2^1388527-1 is not prime. Res64: 10DCBC2E8AFB3E1B Time : 0.0 sec. user=mdettweiler [2015-01-04 05:41:22] 1001*2^1388526-1 is not prime. Res64: 729F6BDA9D675CB9 Time : 0.0 sec. user=mdettweiler [2015-01-04 05:41:23] 831*2^1388527-1 is not prime. Res64: 1BD59001BF6EEA58 Time : 0.0 sec. user=mdettweiler [2015-01-04 05:45:18] 883*2^1388527-1 is not prime. Res64: 22661486E4DB03C7 Time : 0.0 sec. user=mdettweiler [2015-01-04 05:45:19] 973*2^1388527-1 is not prime. Res64: AD0750BC482C2BF3 Time : 0.0 sec. user=mdettweiler [2015-01-04 06:05:35] 985*2^1388527-1 is not prime. Res64: 2848E2A38365A0CC Time : 0.0 sec. user=mdettweiler [2015-01-04 06:05:37] 629*2^1388528-1 is not prime. Res64: EFF631BEACD5AB6A Time : 0.0 sec. user=mdettweiler [2015-01-04 06:11:43] 845*2^1388528-1 is not prime. Res64: 17DCEDDD6EE2C0AA Time : 0.0 sec. user=mdettweiler [2015-01-04 06:11:44] 867*2^1388528-1 is not prime. Res64: 507DF80E399DAC25 Time : 0.0 sec. user=mdettweiler [2015-01-04 06:37:51] 691*2^1388529-1 is not prime. Res64: A742A7617C82E78F Time : 0.0 sec. user=mdettweiler [2015-01-04 06:37:52] 727*2^1388529-1 is not prime. Res64: A57D0DDFCC7A71F3 Time : 0.0 sec. user=mdettweiler [2015-01-04 06:39:00] 909*2^1388528-1 is not prime. Res64: 26B43D301CC815E2 Time : 0.0 sec. user=mdettweiler [2015-01-04 06:39:00] 959*2^1388528-1 is not prime. Res64: DD2FC294891C48EA Time : 0.0 sec. user=mdettweiler [2015-01-04 07:01:13] 637*2^1388529-1 is not prime. Res64: B703C1F43BAC7ECF Time : 0.0 sec. user=mdettweiler [2015-01-04 07:01:13] 681*2^1388529-1 is not prime. Res64: 6C7F1B61167181CD Time : 0.0 sec. user=mdettweiler [2015-01-04 07:05:51] 861*2^1388529-1 is not prime. Res64: 3033A5D155BA75F9 Time : 0.0 sec. user=mdettweiler [2015-01-04 07:30:13] 955*2^1388529-1 is not prime. Res64: 1C6492515BF2A322 Time : 0.0 sec. user=mdettweiler [2015-01-04 07:30:14] 623*2^1388530-1 is not prime. Res64: 6AA1E6E07F218D1A Time : 0.0 sec. user=mdettweiler [2015-01-04 07:32:48] 725*2^1388528-1 is not prime. Res64: FACDA5642702FC57 Time : 0.0 sec. user=mdettweiler [2015-01-04 07:32:48] 759*2^1388528-1 is not prime. Res64: 76B33FFB0BDEE6FA Time : 0.0 sec. user=mdettweiler [2015-01-04 07:58:14] 633*2^1388530-1 is not prime. Res64: 42991A700C278A9E Time : 0.0 sec. user=mdettweiler [2015-01-04 07:58:15] 663*2^1388530-1 is not prime. Res64: 19506235A1F0D772 Time : 0.0 sec. user=juhehe [2015-01-04 08:00:23] 675*2^1388530-1 is not prime. Res64: 68E14FB50336A1A3 Time : 0.0 sec. user=mdettweiler [2015-01-04 08:00:48] 687*2^1388530-1 is not prime. Res64: 51039D16F83231F9 Time : 0.0 sec. user=mdettweiler [2015-01-04 08:00:49] 827*2^1388530-1 is not prime. Res64: B7F5BA4308DE82FD Time : 0.0 sec. user=mdettweiler [2015-01-04 08:26:27] 867*2^1388530-1 is not prime. Res64: 71B744CE47C5CB06 Time : 0.0 sec. user=mdettweiler [2015-01-04 08:26:27] 917*2^1388530-1 is not prime. Res64: FD5F8E309E1169CD Time : 0.0 sec. user=mdettweiler [2015-01-04 08:28:19] 811*2^1388529-1 is not prime. Res64: 666EB9AB94435581 Time : 0.0 sec. user=mdettweiler [2015-01-04 08:28:19] 831*2^1388529-1 is not prime. Res64: 10F2F1371FFEFE12 Time : 0.0 sec. user=mdettweiler [2015-01-04 08:28:41] 923*2^1388530-1 is not prime. Res64: 17B4BCCC222B0920 Time : 0.0 sec. user=mdettweiler [2015-01-04 08:28:42] 951*2^1388530-1 is not prime. Res64: 946007DCB0ECE47B Time : 0.0 sec. user=mdettweiler [2015-01-04 08:29:43] 889*2^1388529-1 is not prime. Res64: 05B8BE658AD91439 Time : 0.0 sec. user=mdettweiler [2015-01-04 08:52:58] 957*2^1388530-1 is not prime. Res64: 90AFDC2221AFA565 Time : 0.0 sec. user=mdettweiler [2015-01-04 08:52:58] 619*2^1388531-1 is not prime. Res64: C98F99406E3EE39B Time : 0.0 sec. user=mdettweiler [2015-01-04 08:54:56] 741*2^1388531-1 is not prime. Res64: F7A62B2F1519B002 Time : 0.0 sec. user=mdettweiler [2015-01-04 08:54:56] 745*2^1388531-1 is not prime. Res64: E2ABA0105DE85906 Time : 0.0 sec. user=mdettweiler [2015-01-04 08:55:16] 753*2^1388531-1 is not prime. Res64: 51F49D77974FBD35 Time : 0.0 sec. user=mdettweiler [2015-01-04 08:55:17] 759*2^1388531-1 is not prime. Res64: 174B89A709F9D537 Time : 0.0 sec. user=mdettweiler [2015-01-04 08:56:19] 801*2^1388531-1 is not prime. Res64: 6EF6919B4886A8D4 Time : 0.0 sec. user=mdettweiler [2015-01-04 08:56:20] 885*2^1388531-1 is not prime. Res64: BBBC9593146175FB Time : 0.0 sec. user=mdettweiler [2015-01-04 09:19:33] 901*2^1388531-1 is not prime. Res64: 62290AEE6BA840B8 Time : 0.0 sec. user=mdettweiler [2015-01-04 09:19:34] 959*2^1388532-1 is not prime. Res64: 3C4C666F4596F44D Time : 0.0 sec. user=mdettweiler [2015-01-04 09:21:23] 977*2^1388532-1 is not prime. Res64: 634A3DA6BE0E29FA Time : 0.0 sec. user=mdettweiler [2015-01-04 09:21:23] 983*2^1388532-1 is not prime. Res64: 32FC661EC2236C52 Time : 0.0 sec. user=mdettweiler [2015-01-04 09:22:02] 685*2^1388533-1 is not prime. Res64: 706EBB6A9410F328 Time : 0.0 sec. user=mdettweiler [2015-01-04 09:22:02] 691*2^1388533-1 is not prime. Res64: 0964FC86C456A9FF Time : 0.0 sec. user=mdettweiler [2015-01-04 09:22:47] 859*2^1388533-1 is not prime. Res64: 0C7CE7931E108EF0 Time : 0.0 sec. user=mdettweiler [2015-01-04 09:22:48] 885*2^1388533-1 is not prime. Res64: EE6607EF26F4F876 Time : 0.0 sec. user=mdettweiler [2015-01-04 09:46:07] 889*2^1388533-1 is not prime. Res64: 1E337128BC07C36B Time : 0.0 sec. user=mdettweiler [2015-01-04 09:46:08] 979*2^1388533-1 is not prime. Res64: D029B6A92FF4BBAA Time : 0.0 sec. user=mdettweiler [2015-01-04 09:47:54] 615*2^1388534-1 is not prime. Res64: E7AF8AFE38736D0C Time : 0.0 sec. user=mdettweiler [2015-01-04 09:47:55] 665*2^1388534-1 is not prime. Res64: 8EF95C7D52CB909F Time : 0.0 sec. user=mdettweiler [2015-01-04 09:48:24] 693*2^1388534-1 is not prime. Res64: 79B15A851EE53ACA Time : 0.0 sec. user=mdettweiler [2015-01-04 09:48:25] 791*2^1388534-1 is not prime. Res64: 72C2253E2ADC8A80 Time : 0.0 sec. user=mdettweiler [2015-01-04 09:49:12] 857*2^1388534-1 is not prime. Res64: 2710BA728E7ABCF2 Time : 0.0 sec. user=mdettweiler [2015-01-04 09:49:12] 875*2^1388534-1 is not prime. Res64: 22D2B92EDE418BD8 Time : 0.0 sec. user=mdettweiler [2015-01-04 10:12:36] 953*2^1388534-1 is not prime. Res64: 0AD348062546F0E6 Time : 0.0 sec. user=mdettweiler [2015-01-04 10:12:37] 993*2^1388534-1 is not prime. Res64: A8718DC7DB7F17D0 Time : 0.0 sec. user=mdettweiler [2015-01-04 10:14:10] 763*2^1388535-1 is not prime. Res64: 0BF9C88DCC9D044E Time : 0.0 sec. user=mdettweiler [2015-01-04 10:14:10] 781*2^1388535-1 is not prime. Res64: 664405B436C5409A Time : 0.0 sec. user=mdettweiler [2015-01-04 10:14:54] 859*2^1388535-1 is not prime. Res64: 839F979B155A7484 Time : 0.0 sec. user=mdettweiler [2015-01-04 10:14:55] 951*2^1388535-1 is not prime. Res64: D10ADF75DE4B8A6B Time : 0.0 sec. user=mdettweiler [2015-01-04 10:15:54] 963*2^1388535-1 is not prime. Res64: 570CD4CAC868B750 Time : 0.0 sec. user=mdettweiler [2015-01-04 10:15:54] 979*2^1388535-1 is not prime. Res64: D944D984E5965230 Time : 0.0 sec. user=mdettweiler [2015-01-04 10:39:33] 629*2^1388536-1 is not prime. Res64: 54B1873DABBF1003 Time : 0.0 sec. user=mdettweiler [2015-01-04 10:39:33] 675*2^1388536-1 is not prime. Res64: A92ECBB360628FDA Time : 0.0 sec. user=mdettweiler [2015-01-04 10:40:45] 719*2^1388536-1 is not prime. Res64: 32BA7050C301FFBB Time : 0.0 sec. user=mdettweiler [2015-01-04 10:40:45] 743*2^1388536-1 is not prime. Res64: B9EF5C2EDA26C779 Time : 0.0 sec. user=mdettweiler [2015-01-04 10:41:10] 927*2^1388536-1 is not prime. Res64: E15D622BAD794623 Time : 0.0 sec. user=mdettweiler [2015-01-04 10:41:10] 697*2^1388537-1 is not prime. Res64: E705E57016F81F8A Time : 0.0 sec. user=mdettweiler [2015-01-04 10:42:18] 747*2^1388537-1 is not prime. Res64: 8551A36CB339F5D4 Time : 0.0 sec. user=mdettweiler [2015-01-04 10:42:18] 759*2^1388537-1 is not prime. Res64: 364EF5CFA2E32FE9 Time : 0.0 sec. user=mdettweiler [2015-01-04 11:06:09] 829*2^1388537-1 is not prime. Res64: 5116F4538838947A Time : 0.0 sec. user=mdettweiler [2015-01-04 11:06:10] 831*2^1388537-1 is not prime. Res64: E7E2FB2D219B20D3 Time : 0.0 sec. user=mdettweiler [2015-01-04 11:07:17] 939*2^1388537-1 is not prime. Res64: 96F43BAB327A3A76 Time : 0.0 sec. user=mdettweiler [2015-01-04 11:07:17] 773*2^1388538-1 is not prime. Res64: A9D191C73DCA32C1 Time : 0.0 sec. user=mdettweiler [2015-01-04 11:07:51] 797*2^1388538-1 is not prime. Res64: 4BD9C4AF3A723A7C Time : 0.0 sec. user=mdettweiler [2015-01-04 11:07:51] 803*2^1388538-1 is not prime. Res64: B91925019F2E08BA Time : 0.0 sec. user=mdettweiler [2015-01-04 11:08:40] 825*2^1388538-1 is not prime. Res64: C1956258F183B8BE Time : 0.0 sec. user=mdettweiler [2015-01-04 11:08:40] 921*2^1388538-1 is not prime. Res64: 60FC125B640F2581 Time : 0.0 sec. user=mdettweiler [2015-01-04 11:32:56] 971*2^1388538-1 is not prime. Res64: D03A1F2BA7D9AD26 Time : 0.0 sec. user=mdettweiler [2015-01-04 11:32:56] 1001*2^1388538-1 is not prime. Res64: 46D897E93990EA4F Time : 0.0 sec. user=mdettweiler [2015-01-04 11:33:28] 609*2^1388539-1 is not prime. Res64: 88C3FE1680302AFA Time : 0.0 sec. user=mdettweiler [2015-01-04 11:33:28] 681*2^1388539-1 is not prime. Res64: B66203C8DE6A332A Time : 0.0 sec. user=mdettweiler [2015-01-04 11:34:27] 685*2^1388539-1 is not prime. Res64: C16518FCFBAD59F2 Time : 0.0 sec. user=mdettweiler [2015-01-04 11:34:28] 709*2^1388539-1 is not prime. Res64: B6304E593F9DA93A Time : 0.0 sec. user=mdettweiler [2015-01-04 11:35:12] 885*2^1388539-1 is not prime. Res64: 87E56C49734405EA Time : 0.0 sec. user=mdettweiler [2015-01-04 11:35:13] 891*2^1388539-1 is not prime. Res64: 9C642C34B9048B6A Time : 0.0 sec. user=mdettweiler [2015-01-04 11:59:35] 999*2^1388539-1 is not prime. Res64: EC9EA0B427ABC1AE Time : 0.0 sec. user=mdettweiler [2015-01-04 11:59:35] 635*2^1388540-1 is not prime. Res64: D3A34358C2974DAF Time : 0.0 sec. user=mdettweiler [2015-01-04 11:59:48] 687*2^1388540-1 is not prime. Res64: 3FCCC8E95E2A9A6D Time : 0.0 sec. user=mdettweiler [2015-01-04 11:59:49] 789*2^1388540-1 is not prime. Res64: 66AFC3326222CDC2 Time : 0.0 sec. user=mdettweiler [2015-01-04 12:00:50] 795*2^1388540-1 is not prime. Res64: 0B5C43DAC433F0CB Time : 0.0 sec. user=mdettweiler [2015-01-04 12:00:51] 813*2^1388540-1 is not prime. Res64: 88F3181A856F706E Time : 0.0 sec. user=mdettweiler [2015-01-04 12:01:52] 825*2^1388540-1 is not prime. Res64: 1D84B3DA2E47CFF9 Time : 0.0 sec. user=mdettweiler [2015-01-04 12:01:53] 983*2^1388540-1 is not prime. Res64: FD836070D26629C4 Time : 0.0 sec. user=mdettweiler [2015-01-04 12:26:06] 607*2^1388541-1 is not prime. Res64: 70536FF5E9997010 Time : 0.0 sec. user=mdettweiler [2015-01-04 12:26:07] 627*2^1388541-1 is not prime. Res64: 6C9E0F642141A67E Time : 0.0 sec. user=mdettweiler [2015-01-04 12:26:13] 709*2^1388541-1 is not prime. Res64: 53133CF3DD9704AB Time : 0.0 sec. user=mdettweiler [2015-01-04 12:26:13] 727*2^1388541-1 is not prime. Res64: 3358B7A6E627F556 Time : 0.0 sec. user=mdettweiler [2015-01-04 12:27:22] 741*2^1388541-1 is not prime. Res64: 1CD4D8B2C4C75A81 Time : 0.0 sec. user=mdettweiler [2015-01-04 12:27:22] 817*2^1388541-1 is not prime. Res64: F2D53B69B85F04CC Time : 0.0 sec. user=mdettweiler [2015-01-04 12:28:14] 861*2^1388541-1 is not prime. Res64: 767A0631A04EDB87 Time : 0.0 sec. user=mdettweiler [2015-01-04 12:28:14] 961*2^1388541-1 is not prime. Res64: A96D11007F614A1C Time : 0.0 sec. user=mdettweiler [2015-01-04 12:52:45] 999*2^1388541-1 is not prime. Res64: F93E83F5505292D8 Time : 0.0 sec. user=mdettweiler [2015-01-04 12:52:45] 975*2^1388541-1 is not prime. Res64: 0EA73A0D3E672754 Time : 0.0 sec. user=mdettweiler [2015-01-04 12:52:45] 991*2^1388541-1 is not prime. Res64: B660129C384E4B15 Time : 0.0 sec. user=mdettweiler [2015-01-04 12:52:45] 621*2^1388542-1 is not prime. Res64: DD4576C12D97743B Time : 0.0 sec. user=mdettweiler [2015-01-04 12:53:47] 665*2^1388542-1 is not prime. Res64: 756945EE7B4DD309 Time : 0.0 sec. user=mdettweiler [2015-01-04 12:53:47] 675*2^1388542-1 is not prime. Res64: C8457E3BD577844B Time : 0.0 sec. user=mdettweiler [2015-01-04 12:54:44] 681*2^1388542-1 is not prime. Res64: 398421351FF0F5AF Time : 0.0 sec. user=mdettweiler [2015-01-04 12:54:45] 831*2^1388542-1 is not prime. Res64: E0D1B1C461FB45B8 Time : 0.0 sec. user=mdettweiler [2015-01-04 13:19:14] 917*2^1388542-1 is not prime. Res64: B3AA98F0B6733DFE Time : 0.0 sec. user=mdettweiler [2015-01-04 13:19:15] 633*2^1388543-1 is not prime. Res64: 121830DB2D4A5EA2 Time : 0.0 sec. user=mdettweiler [2015-01-04 13:19:27] 867*2^1388542-1 is not prime. Res64: BF581283AE6F34F7 Time : 0.0 sec. user=mdettweiler [2015-01-04 13:19:28] 915*2^1388542-1 is not prime. Res64: 6606F824195EA712 Time : 0.0 sec. user=mdettweiler [2015-01-04 13:20:35] 661*2^1388543-1 is not prime. Res64: 36F57664C24D2839 Time : 0.0 sec. user=mdettweiler [2015-01-04 13:20:36] 663*2^1388543-1 is not prime. Res64: 9BE1C4C2FB33E9AB Time : 0.0 sec. user=mdettweiler [2015-01-04 13:21:33] 669*2^1388543-1 is not prime. Res64: 5D12021402E0AEAC Time : 0.0 sec. user=mdettweiler [2015-01-04 13:21:34] 693*2^1388543-1 is not prime. Res64: 9B42B1307DEE3225 Time : 0.0 sec. user=mdettweiler [2015-01-04 13:46:00] 705*2^1388543-1 is not prime. Res64: 7819FC2FE6DB29EA Time : 0.0 sec. user=mdettweiler [2015-01-04 13:46:00] 741*2^1388543-1 is not prime. Res64: 4CD2E2DC35DD0CDD Time : 0.0 sec. user=mdettweiler [2015-01-04 13:46:18] 789*2^1388543-1 is not prime. Res64: 841A7C3374987A47 Time : 0.0 sec. user=mdettweiler [2015-01-04 13:46:18] 629*2^1388544-1 is not prime. Res64: 86E2AF210FBF0BDA Time : 0.0 sec. user=mdettweiler [2015-01-04 13:47:33] 675*2^1388544-1 is not prime. Res64: 0A18C0EF78CF1225 Time : 0.0 sec. user=mdettweiler [2015-01-04 13:47:34] 719*2^1388544-1 is not prime. Res64: CC9352AD696B61B3 Time : 0.0 sec. user=mdettweiler [2015-01-04 13:48:20] 725*2^1388544-1 is not prime. Res64: BA230DEC2C8005E1 Time : 0.0 sec. user=mdettweiler [2015-01-04 13:48:20] 737*2^1388544-1 is not prime. Res64: D908FE46BCA27BDB Time : 0.0 sec. user=mdettweiler [2015-01-04 14:12:51] 767*2^1388544-1 is not prime. Res64: 4F187B0599B51B42 Time : 0.0 sec. user=mdettweiler [2015-01-04 14:12:51] 843*2^1388544-1 is not prime. Res64: 28532BA341C6A869 Time : 0.0 sec. user=mdettweiler [2015-01-04 14:13:07] 945*2^1388544-1 is not prime. Res64: F815AB7A06636123 Time : 0.0 sec. user=mdettweiler [2015-01-04 14:13:08] 625*2^1388545-1 is not prime. Res64: D2A504A3B1DAD170 Time : 0.0 sec. user=mdettweiler [2015-01-04 14:14:30] 691*2^1388545-1 is not prime. Res64: 26029776CD2EBB96 Time : 0.0 sec. user=mdettweiler [2015-01-04 14:14:30] 985*2^1388545-1 is not prime. Res64: 977878D0E0D11EBF Time : 0.0 sec. user=mdettweiler [2015-01-04 14:15:16] 627*2^1388546-1 is not prime. Res64: 016B9A41C1C9E723 Time : 0.0 sec. user=mdettweiler [2015-01-04 14:15:16] 683*2^1388546-1 is not prime. Res64: 6AF77ACA02CB2F89 Time : 0.0 sec. user=mdettweiler [2015-01-04 14:40:00] 983*2^1388546-1 is not prime. Res64: F2C1C39726A608AC Time : 0.0 sec. user=mdettweiler [2015-01-04 14:40:01] 1001*2^1388546-1 is not prime. Res64: 0D61070A2036E484 Time : 0.0 sec. user=mdettweiler [2015-01-04 14:40:16] 831*2^1388546-1 is not prime. Res64: FB066AC94117A223 Time : 0.0 sec. user=mdettweiler [2015-01-04 14:40:16] 857*2^1388546-1 is not prime. Res64: 4F6A170DDE922CEB Time : 0.0 sec. user=mdettweiler [2015-01-04 14:42:09] 741*2^1388547-1 is not prime. Res64: 4E0F95639DE76C8B Time : 0.0 sec. user=mdettweiler [2015-01-04 14:42:09] 801*2^1388547-1 is not prime. Res64: 97048F62B892E0E7 Time : 0.0 sec. user=mdettweiler [2015-01-04 14:42:24] 951*2^1388547-1 is not prime. Res64: 10E936FFED8E77FF Time : 0.0 sec. user=mdettweiler [2015-01-04 14:42:25] 979*2^1388547-1 is not prime. Res64: 4FDB221D648F3F61 Time : 0.0 sec. user=mdettweiler [2015-01-04 16:47:22] 803*2^1388548-1 is not prime. Res64: B21EE2A33BACB2CB Time : 0.0 sec. user=mdettweiler [2015-01-04 16:47:23] 869*2^1388548-1 is not prime. Res64: D3D7B7BED1B2FCF8 Time : 0.0 sec. user=mdettweiler [2015-01-04 17:01:10] 657*2^1388548-1 is not prime. Res64: 44F03EC687853B44 Time : 0.0 sec. user=mdettweiler [2015-01-04 17:01:11] 665*2^1388548-1 is not prime. Res64: 375929B08D32FFC3 Time : 0.0 sec. user=mdettweiler [2015-01-04 17:02:08] 875*2^1388548-1 is not prime. Res64: 1983822BFDF00754 Time : 0.0 sec. user=mdettweiler [2015-01-04 17:02:09] 957*2^1388548-1 is not prime. Res64: E0DC3945EF3921DC Time : 0.0 sec. user=mdettweiler [2015-01-04 17:03:31] 743*2^1388548-1 is not prime. Res64: FD76E2B0D24CD57A Time : 0.0 sec. user=mdettweiler [2015-01-04 17:03:33] 749*2^1388548-1 is not prime. Res64: EDC648BDF71B08E4 Time : 0.0 sec. user=mdettweiler [2015-01-04 17:15:04] 787*2^1388549-1 is not prime. Res64: EF1AB06361E0F0DB Time : 0.0 sec. user=mdettweiler [2015-01-04 17:15:05] 855*2^1388549-1 is not prime. Res64: B474A41CE322DC90 Time : 0.0 sec. user=mdettweiler [2015-01-04 17:27:34] 889*2^1388549-1 is not prime. Res64: E6BDD4F2AC6BB6FE Time : 0.0 sec. user=mdettweiler [2015-01-04 17:27:35] 949*2^1388549-1 is not prime. Res64: 38FAC13489E90713 Time : 0.0 sec. user=mdettweiler [2015-01-04 17:28:41] 641*2^1388550-1 is not prime. Res64: 20779F6691DC4279 Time : 0.0 sec. user=mdettweiler [2015-01-04 17:28:42] 665*2^1388550-1 is not prime. Res64: B84445C4575885B7 Time : 0.0 sec. user=mdettweiler [2015-01-04 17:30:14] 707*2^1388550-1 is not prime. Res64: 8A1AFC798E220CEA Time : 0.0 sec. user=mdettweiler [2015-01-04 17:41:36] 765*2^1388550-1 is not prime. Res64: CC12202E61697678 Time : 0.0 sec. user=mdettweiler [2015-01-04 17:41:36] 783*2^1388550-1 is not prime. Res64: 8B87EC7366CCDE08 Time : 0.0 sec. user=juhehe [2015-01-04 17:48:45] 801*2^1388550-1 is not prime. Res64: 4A7D592429AC1D3E Time : 0.0 sec. user=mdettweiler [2015-01-04 17:54:09] 873*2^1388550-1 is not prime. Res64: 0D67B014AA923EF4 Time : 0.0 sec. user=mdettweiler [2015-01-04 17:54:09] 917*2^1388550-1 is not prime. Res64: 232029E6EED8AEFE Time : 0.0 sec. user=mdettweiler [2015-01-04 17:55:31] 681*2^1388551-1 is not prime. Res64: 900243688E322BA0 Time : 0.0 sec. user=mdettweiler [2015-01-04 17:55:45] 783*2^1388551-1 is not prime. Res64: 5A602B89973F1617 Time : 0.0 sec. user=mdettweiler [2015-01-04 18:21:51] 931*2^1388551-1 is not prime. Res64: CCF5A230EA53855C Time : 0.0 sec. user=mdettweiler [2015-01-04 18:21:51] 943*2^1388551-1 is not prime. Res64: 6E0174EDC5C724D9 Time : 0.0 sec. user=mdettweiler [2015-01-04 18:53:54] 951*2^1388551-1 is not prime. Res64: F64EF6940263C3E9 Time : 0.0 sec. user=mdettweiler [2015-01-04 18:59:35] 713*2^1388550-1 is not prime. Res64: 7CDDC041ABC215AB Time : 0.0 sec. user=mdettweiler [2015-01-04 19:33:04] 699*2^1388552-1 is not prime. Res64: 46A88A12E18C8819 Time : 0.0 sec. user=mdettweiler [2015-01-04 19:33:05] 717*2^1388552-1 is not prime. Res64: FA4FAFD6B5A2FCDB Time : 0.0 sec. user=mdettweiler [2015-01-04 19:46:14] 793*2^1388551-1 is not prime. Res64: A9043F0DB2351026 Time : 0.0 sec. user=mdettweiler [2015-01-04 20:07:44] 767*2^1388552-1 is not prime. Res64: CBD03017B2BEA368 Time : 0.0 sec. user=mdettweiler [2015-01-04 20:07:45] 827*2^1388552-1 is not prime. Res64: 7F1E13E17AB29072 Time : 0.0 sec. user=mdettweiler [2015-01-04 20:12:19] 837*2^1388552-1 is not prime. Res64: 512EE2D1686B1946 Time : 0.0 sec. user=mdettweiler [2015-01-04 20:12:19] 915*2^1388552-1 is not prime. Res64: A2F67EB5D6C0B9D1 Time : 0.0 sec. user=mdettweiler [2015-01-04 20:30:02] 683*2^1388552-1 is not prime. Res64: 458EB67247165576 Time : 0.0 sec. user=mdettweiler [2015-01-04 20:38:26] 681*2^1388553-1 is not prime. Res64: B2EA7E1B817219B1 Time : 0.0 sec. user=mdettweiler [2015-01-04 20:42:00] 745*2^1388553-1 is not prime. Res64: 3BFA35249775FCCE Time : 0.0 sec. user=mdettweiler [2015-01-04 20:42:00] 829*2^1388553-1 is not prime. Res64: 94E7738B98035CA2 Time : 0.0 sec. user=mdettweiler [2015-01-04 20:59:50] 645*2^1388554-1 is not prime. Res64: 0106B26F19274D9B Time : 0.0 sec. user=mdettweiler [2015-01-04 20:59:50] 737*2^1388554-1 is not prime. Res64: D2C895C78F3119A7 Time : 0.0 sec. user=mdettweiler [2015-01-04 21:04:24] 895*2^1388551-1 is not prime. Res64: 86EFF6B9B20E528E Time : 0.0 sec. user=mdettweiler [2015-01-04 21:10:44] 885*2^1388554-1 is not prime. Res64: 0472DE621DAF6C78 Time : 0.0 sec. user=mdettweiler [2015-01-04 21:10:46] 917*2^1388554-1 is not prime. Res64: 871C3A2993B416EE Time : 0.0 sec. user=mdettweiler [2015-01-04 21:27:48] 945*2^1388554-1 is not prime. Res64: DF4EACBE65CFB96C Time : 0.0 sec. user=mdettweiler [2015-01-04 21:27:48] 975*2^1388554-1 is not prime. Res64: 7362545FAC6D1012 Time : 0.0 sec. user=mdettweiler [2015-01-04 21:33:17] 643*2^1388555-1 is not prime. Res64: 99B04D5A513489B0 Time : 0.0 sec. user=mdettweiler [2015-01-04 21:33:17] 715*2^1388555-1 is not prime. Res64: ADF7AA483481AAE6 Time : 0.0 sec. user=mdettweiler [2015-01-04 21:39:19] 733*2^1388555-1 is not prime. Res64: 3430A57622DAD8A8 Time : 0.0 sec. user=mdettweiler [2015-01-04 21:39:19] 861*2^1388555-1 is not prime. Res64: 7FAE5F3E274413E5 Time : 0.0 sec. user=mdettweiler [2015-01-04 21:55:38] 883*2^1388555-1 is not prime. Res64: CD74BBEF6A796EEF Time : 0.0 sec. user=mdettweiler [2015-01-04 22:01:40] 973*2^1388555-1 is not prime. Res64: 0383915D51FEAD60 Time : 0.0 sec. user=mdettweiler [2015-01-04 22:02:14] 685*2^1388553-1 is not prime. Res64: 1D66DDD95BA408B5 Time : 0.0 sec. user=mdettweiler [2015-01-04 22:35:47] 871*2^1388557-1 is not prime. Res64: A5EE7F5AD5D9ADB4 Time : 0.0 sec. user=mdettweiler [2015-01-04 22:35:47] 897*2^1388557-1 is not prime. Res64: 0482847E95C61C47 Time : 0.0 sec. user=mdettweiler [2015-01-04 23:14:44] 955*2^1388557-1 is not prime. Res64: EB0D60B9FB9BCBB1 Time : 0.0 sec. user=mdettweiler [2015-01-04 23:14:45] 671*2^1388558-1 is not prime. Res64: 68EB3E74A0060339 Time : 0.0 sec. user=mdettweiler [2015-01-04 23:45:21] 963*2^1388555-1 is not prime. Res64: D9A5279D1F08B603 Time : 0.0 sec. user=mdettweiler [2015-01-04 23:45:22] 783*2^1388556-1 is not prime. Res64: BE3F84EDE19C7656 Time : 0.0 sec. user=mdettweiler [2015-01-04 23:48:18] 789*2^1388556-1 is not prime. Res64: 395147F913B164C1 Time : 0.0 sec. user=mdettweiler [2015-01-04 23:48:18] 693*2^1388558-1 is not prime. Res64: 5EC67F1243100852 Time : 0.0 sec. user=mdettweiler [2015-01-04 23:48:19] 987*2^1388556-1 is not prime. Res64: B002F8FBC06B9852 Time : 0.0 sec. user=mdettweiler [2015-01-04 23:48:19] 711*2^1388558-1 is not prime. Res64: 4311149D2BE7936C Time : 0.0 sec.