user=mdettweiler [2016-05-23 00:13:24] 813*2^1430059-1 is not prime. Res64: FCA2CBAE6A1C410C Time : 0.0 sec. user=mdettweiler [2016-05-23 00:13:25] 931*2^1430059-1 is not prime. Res64: 1CE156F34F544C62 Time : 0.0 sec. user=mdettweiler [2016-05-23 00:13:25] 969*2^1430059-1 is not prime. Res64: EC8513E9DE62565D Time : 0.0 sec. user=mdettweiler [2016-05-23 00:13:26] 663*2^1430060-1 is not prime. Res64: 4DE69C5C9F9FF9E2 Time : 0.0 sec. user=mdettweiler [2016-05-23 00:13:26] 797*2^1430060-1 is not prime. Res64: 035050DFDA81783A Time : 0.0 sec. user=mdettweiler [2016-05-23 00:36:53] 843*2^1430060-1 is not prime. Res64: 249D0EE48E24B25A Time : 0.0 sec. user=mdettweiler [2016-05-23 00:36:54] 857*2^1430060-1 is not prime. Res64: 476E215D8D8C9B09 Time : 0.0 sec. user=mdettweiler [2016-05-23 00:36:54] 727*2^1430061-1 is not prime. Res64: 0F9ADCFA320DF59D Time : 0.0 sec. user=mdettweiler [2016-05-23 00:36:54] 847*2^1430061-1 is not prime. Res64: 91374BCDC2FE0813 Time : 0.0 sec. user=mdettweiler [2016-05-23 00:36:55] 867*2^1430061-1 is not prime. Res64: A40D44DA1875BCB8 Time : 0.0 sec. user=mdettweiler [2016-05-23 00:36:56] 877*2^1430061-1 is not prime. Res64: 6272ACDE8E7B52BA Time : 0.0 sec. user=mdettweiler [2016-05-23 00:36:57] 937*2^1430061-1 is not prime. Res64: 973D28A4264E4F15 Time : 0.0 sec. user=mdettweiler [2016-05-23 00:36:57] 955*2^1430061-1 is not prime. Res64: F2C6EBD0CBF38F28 Time : 0.0 sec. user=mdettweiler [2016-05-23 00:36:57] 961*2^1430061-1 is not prime. Res64: 1B4CE30BE90A1C02 Time : 0.0 sec. user=mdettweiler [2016-05-23 00:36:58] 999*2^1430061-1 is not prime. Res64: EE14B499D79B4E98 Time : 0.0 sec. user=mdettweiler [2016-05-23 00:38:14] 635*2^1430062-1 is not prime. Res64: E840C52DE3DF96CB Time : 0.0 sec. user=mdettweiler [2016-05-23 00:38:14] 813*2^1430062-1 is not prime. Res64: 3462005F73AFF9CA Time : 0.0 sec. user=mdettweiler [2016-05-23 00:38:15] 945*2^1430062-1 is not prime. Res64: 3393F920CDBE1C70 Time : 0.0 sec. user=mdettweiler [2016-05-23 00:38:15] 603*2^1430063-1 is not prime. Res64: BB7C15192949A665 Time : 0.0 sec. user=mdettweiler [2016-05-23 00:38:15] 615*2^1430063-1 is not prime. Res64: B13E72058BA237CB Time : 0.0 sec. user=mdettweiler [2016-05-23 00:58:18] 633*2^1430063-1 is not prime. Res64: 282158B277558E11 Time : 0.0 sec. user=mdettweiler [2016-05-23 00:58:18] 775*2^1430063-1 is not prime. Res64: 82FE3668D3F91262 Time : 0.0 sec. user=mdettweiler [2016-05-23 00:58:18] 855*2^1430063-1 is not prime. Res64: 3E0923EE84794D09 Time : 0.0 sec. user=mdettweiler [2016-05-23 00:58:19] 945*2^1430063-1 is not prime. Res64: 2132B0A920BB0214 Time : 0.0 sec. user=mdettweiler [2016-05-23 00:58:19] 615*2^1430064-1 is not prime. Res64: 8C25FCACE66F737C Time : 0.0 sec. user=mdettweiler [2016-05-23 01:21:52] 725*2^1430064-1 is not prime. Res64: A6E6661F611A2097 Time : 0.0 sec. user=mdettweiler [2016-05-23 01:21:52] 789*2^1430064-1 is not prime. Res64: 851279500981C225 Time : 0.0 sec. user=mdettweiler [2016-05-23 01:21:53] 917*2^1430064-1 is not prime. Res64: A29ABA688FED17FB Time : 0.0 sec. user=mdettweiler [2016-05-23 01:21:53] 651*2^1430065-1 is not prime. Res64: 8DB740C1D74999A8 Time : 0.0 sec. user=mdettweiler [2016-05-23 01:21:54] 691*2^1430065-1 is not prime. Res64: DFCB9474931E80F5 Time : 0.0 sec. user=mdettweiler [2016-05-23 01:22:02] 699*2^1430065-1 is not prime. Res64: 70698707F33A4F56 Time : 0.0 sec. user=mdettweiler [2016-05-23 01:22:02] 717*2^1430065-1 is not prime. Res64: F1A800C4F5F66E56 Time : 0.0 sec. user=mdettweiler [2016-05-23 01:22:03] 741*2^1430065-1 is not prime. Res64: CD58F117D5BD0DFB Time : 0.0 sec. user=mdettweiler [2016-05-23 01:22:03] 777*2^1430065-1 is not prime. Res64: FA430F648024BB17 Time : 0.0 sec. user=mdettweiler [2016-05-23 01:22:04] 877*2^1430065-1 is not prime. Res64: 8AC1F17E5ACB517F Time : 0.0 sec. user=mdettweiler [2016-05-23 01:23:13] 889*2^1430065-1 is not prime. Res64: A59ECE7476EC892D Time : 0.0 sec. user=mdettweiler [2016-05-23 01:23:14] 895*2^1430065-1 is not prime. Res64: E3447DD75C72FB24 Time : 0.0 sec. user=mdettweiler [2016-05-23 01:23:14] 955*2^1430065-1 is not prime. Res64: 6D82922554496BE8 Time : 0.0 sec. user=mdettweiler [2016-05-23 01:23:14] 985*2^1430065-1 is not prime. Res64: 14D19E4C15666766 Time : 0.0 sec. user=mdettweiler [2016-05-23 01:23:15] 987*2^1430065-1 is not prime. Res64: 6E08B9CA03BF20F8 Time : 0.0 sec. user=mdettweiler [2016-05-23 01:43:28] 633*2^1430066-1 is not prime. Res64: 4CCDB0453A211D37 Time : 0.0 sec. user=mdettweiler [2016-05-23 01:43:28] 677*2^1430066-1 is not prime. Res64: 48E81932653456BE Time : 0.0 sec. user=mdettweiler [2016-05-23 01:43:29] 767*2^1430066-1 is not prime. Res64: 83FA85119402FF9C Time : 0.0 sec. user=mdettweiler [2016-05-23 01:43:29] 911*2^1430066-1 is not prime. Res64: 05604D0DE33AD374 Time : 0.0 sec. user=mdettweiler [2016-05-23 01:43:29] 1001*2^1430066-1 is not prime. Res64: FDE2EA6B97D9E5EA Time : 0.0 sec. user=mdettweiler [2016-05-23 02:08:08] 609*2^1430067-1 is not prime. Res64: F4287880917B7969 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:08:08] 625*2^1430067-1 is not prime. Res64: AB5AC84FFF931141 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:08:09] 691*2^1430067-1 is not prime. Res64: E069DBFF34FD63F9 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:08:09] 703*2^1430067-1 is not prime. Res64: A382DD1E22B6CF74 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:08:09] 709*2^1430067-1 is not prime. Res64: 842B14E5746EC709 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:08:28] 775*2^1430067-1 is not prime. Res64: F0FDEB51C8AE2BA0 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:08:28] 781*2^1430067-1 is not prime. Res64: AA53D14968F1002F Time : 0.0 sec. user=mdettweiler [2016-05-23 02:08:29] 895*2^1430067-1 is not prime. Res64: 001B35E5180EA946 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:08:29] 951*2^1430067-1 is not prime. Res64: 0736C373317BA9EE Time : 0.0 sec. user=mdettweiler [2016-05-23 02:08:29] 605*2^1430068-1 is not prime. Res64: 0671CA3E2B7DAF05 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:09:29] 615*2^1430068-1 is not prime. Res64: BA9DB470C86E2931 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:09:30] 657*2^1430068-1 is not prime. Res64: 9D0EB0BF4957646C Time : 0.0 sec. user=mdettweiler [2016-05-23 02:09:30] 923*2^1430068-1 is not prime. Res64: 4F0A0DE1254CF5A1 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:09:31] 631*2^1430069-1 is not prime. Res64: F0E1CB1A6949F4D4 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:09:31] 685*2^1430069-1 is not prime. Res64: D58FF7993967E22C Time : 0.0 sec. user=mdettweiler [2016-05-23 02:29:12] 691*2^1430069-1 is not prime. Res64: 80E7D895BA1055BE Time : 0.0 sec. user=mdettweiler [2016-05-23 02:29:13] 697*2^1430069-1 is not prime. Res64: 915B9D94BAD3EC00 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:29:13] 711*2^1430069-1 is not prime. Res64: 67E5C5257F828886 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:29:14] 781*2^1430069-1 is not prime. Res64: 2B2EA939E7FD5D65 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:29:14] 787*2^1430069-1 is not prime. Res64: 0592099B466D5964 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:53:22] 885*2^1430069-1 is not prime. Res64: 614A3FC49DAC1CFB Time : 0.0 sec. user=mdettweiler [2016-05-23 02:53:23] 931*2^1430069-1 is not prime. Res64: 75F6AF1FF0C5D5A6 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:53:24] 939*2^1430069-1 is not prime. Res64: 8B7ED7C78EF741EF Time : 0.0 sec. user=mdettweiler [2016-05-23 02:53:24] 987*2^1430069-1 is not prime. Res64: FD54D050BF270986 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:53:25] 723*2^1430070-1 is not prime. Res64: 81582EAD596D81B7 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:53:36] 741*2^1430070-1 is not prime. Res64: 17BE0DBE2D6FB24F Time : 0.0 sec. user=mdettweiler [2016-05-23 02:53:36] 761*2^1430070-1 is not prime. Res64: 74992FF6A4666FB4 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:53:37] 621*2^1430071-1 is not prime. Res64: A9C0FC38A0314BDE Time : 0.0 sec. user=mdettweiler [2016-05-23 02:53:38] 645*2^1430071-1 is not prime. Res64: 6DA50D0AF9041105 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:53:38] 675*2^1430071-1 is not prime. Res64: BA2C5D12696634E8 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:54:36] 693*2^1430071-1 is not prime. Res64: 9A5F63FE8E9DAB70 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:54:36] 735*2^1430071-1 is not prime. Res64: CF090B9440574C53 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:54:37] 745*2^1430071-1 is not prime. Res64: 2A9A3DCDAD182B01 Time : 0.0 sec. user=mdettweiler [2016-05-23 02:54:37] 789*2^1430071-1 is not prime. Res64: 4CACE1543BA5CC6A Time : 0.0 sec. user=mdettweiler [2016-05-23 02:54:38] 855*2^1430071-1 is not prime. Res64: 80FFC72D06B8791C Time : 0.0 sec. user=mdettweiler [2016-05-23 03:14:27] 873*2^1430071-1 is not prime. Res64: 8C478C1E3A8532F2 Time : 0.0 sec. user=mdettweiler [2016-05-23 03:14:27] 909*2^1430071-1 is not prime. Res64: 86E0F93BF8FFF4BC Time : 0.0 sec. user=mdettweiler [2016-05-23 03:14:28] 925*2^1430071-1 is not prime. Res64: D93C1C7B6830A825 Time : 0.0 sec. user=mdettweiler [2016-05-23 03:14:28] 969*2^1430071-1 is not prime. Res64: 0B415B3B20D8F362 Time : 0.0 sec. user=mdettweiler [2016-05-23 03:14:28] 973*2^1430071-1 is not prime. Res64: B21DFD84D61042BC Time : 0.0 sec. user=mdettweiler [2016-05-23 03:38:38] 669*2^1430072-1 is not prime. Res64: 04BAB3ED44740D70 Time : 0.0 sec. user=mdettweiler [2016-05-23 03:38:41] 725*2^1430072-1 is not prime. Res64: 062ED49A987DD0B0 Time : 0.0 sec. user=mdettweiler [2016-05-23 03:38:42] 797*2^1430072-1 is not prime. Res64: CAD626543114EF9B Time : 0.0 sec. user=mdettweiler [2016-05-23 03:38:43] 873*2^1430072-1 is not prime. Res64: CF38B6F23707749C Time : 0.0 sec. user=mdettweiler [2016-05-23 03:38:45] 957*2^1430072-1 is not prime. Res64: 8633F425ADFC31FF Time : 0.0 sec. user=mdettweiler [2016-05-23 03:38:46] 899*2^1430072-1 is not prime. Res64: 9A8AF62B20F593F4 Time : 0.0 sec. user=mdettweiler [2016-05-23 03:38:47] 963*2^1430072-1 is not prime. Res64: CBE5B3FA5AB07C0E Time : 0.0 sec. user=mdettweiler [2016-05-23 03:38:49] 609*2^1430073-1 is not prime. Res64: 681DF9199036C756 Time : 0.0 sec. user=mdettweiler [2016-05-23 03:38:50] 625*2^1430073-1 is not prime. Res64: 82AAAB90264FAF3B Time : 0.0 sec. user=mdettweiler [2016-05-23 03:38:53] 669*2^1430073-1 is not prime. Res64: 915AFE617225226F Time : 0.0 sec. user=mdettweiler [2016-05-23 03:39:42] 691*2^1430073-1 is not prime. Res64: CC48F340AF37C101 Time : 0.0 sec. user=mdettweiler [2016-05-23 03:39:44] 937*2^1430073-1 is not prime. Res64: C39BCB5CCF8B644E Time : 0.0 sec. user=mdettweiler [2016-05-23 03:39:46] 985*2^1430073-1 is not prime. Res64: B16D9F8AC05CE4D2 Time : 0.0 sec. user=mdettweiler [2016-05-23 03:39:48] 991*2^1430073-1 is not prime. Res64: 163CC5E977AF4628 Time : 0.0 sec. user=mdettweiler [2016-05-23 03:39:50] 611*2^1430074-1 is not prime. Res64: CB0326BD438FD96B Time : 0.0 sec. user=mdettweiler [2016-05-23 03:59:29] 663*2^1430074-1 is not prime. Res64: 11826B0DA56F632F Time : 0.0 sec. user=mdettweiler [2016-05-23 03:59:34] 677*2^1430074-1 is not prime. Res64: 638E3F35F651A87D Time : 0.0 sec. user=mdettweiler [2016-05-23 03:59:37] 783*2^1430074-1 is not prime. Res64: 2192EE317C404CB8 Time : 0.0 sec. user=mdettweiler [2016-05-23 03:59:39] 825*2^1430074-1 is not prime. Res64: 7C3AC8457DDA09D4 Time : 0.0 sec. user=mdettweiler [2016-05-23 03:59:41] 941*2^1430074-1 is not prime. Res64: BC1A49EA77481BDB Time : 0.0 sec. user=mdettweiler [2016-05-23 04:24:23] 971*2^1430074-1 is not prime. Res64: AF6F9D8701CEB460 Time : 0.0 sec. user=mdettweiler [2016-05-23 04:24:24] 633*2^1430075-1 is not prime. Res64: 743949DC059B0FF3 Time : 0.0 sec. user=mdettweiler [2016-05-23 04:24:26] 759*2^1430075-1 is not prime. Res64: 87FD6440E001EF34 Time : 0.0 sec. user=mdettweiler [2016-05-23 04:24:27] 775*2^1430075-1 is not prime. Res64: 0E414EFADD9DE872 Time : 0.0 sec. user=mdettweiler [2016-05-23 04:24:28] 859*2^1430075-1 is not prime. Res64: B97711F38F4301E7 Time : 0.0 sec. user=mdettweiler [2016-05-23 04:24:31] 885*2^1430075-1 is not prime. Res64: 6D3BA3C9A51DF6E9 Time : 0.0 sec. user=mdettweiler [2016-05-23 04:24:32] 949*2^1430075-1 is not prime. Res64: 5A8925B953F71666 Time : 0.0 sec. user=mdettweiler [2016-05-23 04:24:33] 985*2^1430075-1 is not prime. Res64: 0B2A98C727F05331 Time : 0.0 sec. user=mdettweiler [2016-05-23 04:24:35] 633*2^1430076-1 is not prime. Res64: 888FCBE60273A54D Time : 0.0 sec. user=mdettweiler [2016-05-23 04:24:36] 675*2^1430076-1 is not prime. Res64: CCCEE9A5A8652738 Time : 0.0 sec. user=mdettweiler [2016-05-23 04:25:02] 693*2^1430076-1 is not prime. Res64: 1697C19D8F14FB72 Time : 0.0 sec. user=mdettweiler [2016-05-23 04:25:03] 717*2^1430076-1 is not prime. Res64: 23DC04D2ED0C6ABA Time : 0.0 sec. user=mdettweiler [2016-05-23 04:25:04] 783*2^1430076-1 is not prime. Res64: 2C87013698CFF0C2 Time : 0.0 sec. user=mdettweiler [2016-05-23 04:25:05] 845*2^1430076-1 is not prime. Res64: 45D0ECD937093453 Time : 0.0 sec. user=mdettweiler [2016-05-23 04:25:06] 923*2^1430076-1 is not prime. Res64: 96084A9C92DF3E17 Time : 0.0 sec. user=mdettweiler [2016-05-23 04:45:15] 961*2^1430077-1 is not prime. Res64: 750BDCD958F383F7 Time : 0.0 sec. user=mdettweiler [2016-05-23 04:45:15] 641*2^1430078-1 is not prime. Res64: 6C449D3FF52BEB16 Time : 0.0 sec. user=mdettweiler [2016-05-23 04:45:16] 707*2^1430078-1 is not prime. Res64: 09C024A32FDC563E Time : 0.0 sec. user=mdettweiler [2016-05-23 04:45:16] 813*2^1430078-1 is not prime. Res64: 62728AF9CE22EE89 Time : 0.0 sec. user=mdettweiler [2016-05-23 04:45:16] 843*2^1430078-1 is not prime. Res64: CF6073E28B943B74 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:09:36] 921*2^1430078-1 is not prime. Res64: 350C4E68CE030B06 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:09:37] 927*2^1430078-1 is not prime. Res64: C94C39B3573872D4 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:09:37] 913*2^1430079-1 is not prime. Res64: 7172A010FE6F8E0D Time : 0.0 sec. user=mdettweiler [2016-05-23 05:09:38] 921*2^1430079-1 is not prime. Res64: 555E0B2104D4DA6D Time : 0.0 sec. user=mdettweiler [2016-05-23 05:09:39] 951*2^1430079-1 is not prime. Res64: FA8BA3F0314019E2 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:09:41] 713*2^1430080-1 is not prime. Res64: 388BD7FF847DAD5D Time : 0.0 sec. user=mdettweiler [2016-05-23 05:09:42] 813*2^1430080-1 is not prime. Res64: 329671340E19936A Time : 0.0 sec. user=mdettweiler [2016-05-23 05:09:43] 651*2^1430081-1 is not prime. Res64: D7DA36F6C5C75FC8 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:09:44] 901*2^1430081-1 is not prime. Res64: 0DAAA357B3253D04 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:09:45] 937*2^1430081-1 is not prime. Res64: 43336CFE3A323C45 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:10:08] 991*2^1430081-1 is not prime. Res64: 19AAD5C110C89A06 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:10:10] 713*2^1430082-1 is not prime. Res64: 912909487193A0F9 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:10:12] 725*2^1430082-1 is not prime. Res64: 7431E466805E2C90 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:10:14] 815*2^1430082-1 is not prime. Res64: 92E6D6B34D24BA0B Time : 0.0 sec. user=mdettweiler [2016-05-23 05:10:15] 963*2^1430082-1 is not prime. Res64: 3373AEA273C0B2BE Time : 0.0 sec. user=mdettweiler [2016-05-23 05:30:15] 625*2^1430083-1 is not prime. Res64: 6904CA0D2121A765 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:30:15] 649*2^1430083-1 is not prime. Res64: 70DCC4C6A256DFBB Time : 0.0 sec. user=mdettweiler [2016-05-23 05:30:16] 693*2^1430083-1 is not prime. Res64: 4FEB5BCDDFE30157 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:30:16] 765*2^1430083-1 is not prime. Res64: 86565F9B8AB6EAE1 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:30:16] 859*2^1430083-1 is not prime. Res64: 507641413C05493D Time : 0.0 sec. user=mdettweiler [2016-05-23 05:54:36] 871*2^1430083-1 is not prime. Res64: 02D729D78C329192 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:54:37] 889*2^1430083-1 is not prime. Res64: 14536B7CD8D96CAB Time : 0.0 sec. user=mdettweiler [2016-05-23 05:54:37] 609*2^1430084-1 is not prime. Res64: 5C1CACB8876BB437 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:54:38] 617*2^1430084-1 is not prime. Res64: 2ACCE150D425F818 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:54:38] 635*2^1430084-1 is not prime. Res64: A46C7E05CCDFA6D8 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:54:51] 825*2^1430084-1 is not prime. Res64: 86AE463144733764 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:54:52] 843*2^1430084-1 is not prime. Res64: 39866900575C257F Time : 0.0 sec. user=mdettweiler [2016-05-23 05:54:52] 927*2^1430084-1 is not prime. Res64: 4322F48305DDD9BE Time : 0.0 sec. user=mdettweiler [2016-05-23 05:54:52] 957*2^1430084-1 is not prime. Res64: C6C2BA504AE8D7DD Time : 0.0 sec. user=mdettweiler [2016-05-23 05:54:53] 627*2^1430085-1 is not prime. Res64: C3C49EFF7BF2EF99 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:55:18] 655*2^1430085-1 is not prime. Res64: DEC842D48B2AF86F Time : 0.0 sec. user=mdettweiler [2016-05-23 05:55:19] 735*2^1430085-1 is not prime. Res64: DCBE8B03C9C3DAA0 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:55:19] 759*2^1430085-1 is not prime. Res64: EBF494259DA2B79D Time : 0.0 sec. user=mdettweiler [2016-05-23 05:55:20] 765*2^1430085-1 is not prime. Res64: 9BF17F0DF58EC117 Time : 0.0 sec. user=mdettweiler [2016-05-23 05:55:20] 795*2^1430085-1 is not prime. Res64: 8CC74757E2748E48 Time : 0.0 sec. user=mdettweiler [2016-05-23 06:15:30] 811*2^1430085-1 is not prime. Res64: 551DA65F09516812 Time : 0.0 sec. user=mdettweiler [2016-05-23 06:15:31] 895*2^1430085-1 is not prime. Res64: 654DFFC18E15F529 Time : 0.0 sec. user=mdettweiler [2016-05-23 06:15:31] 979*2^1430085-1 is not prime. Res64: E477916D35D9CB6E Time : 0.0 sec. user=mdettweiler [2016-05-23 06:15:32] 645*2^1430086-1 is not prime. Res64: ED1E50B91A64D7E4 Time : 0.0 sec. user=mdettweiler [2016-05-23 06:15:32] 651*2^1430086-1 is not prime. Res64: 4B047FBEF62A02C9 Time : 0.0 sec. user=mdettweiler [2016-05-23 06:39:38] 821*2^1430086-1 is not prime. Res64: 9E62BE7F3C6EDC4E Time : 0.0 sec. user=mdettweiler [2016-05-23 06:39:39] 825*2^1430086-1 is not prime. Res64: A5D70C6625A4E6F6 Time : 0.0 sec. user=mdettweiler [2016-05-23 06:39:39] 843*2^1430086-1 is not prime. Res64: 1399F2453449157A Time : 0.0 sec. user=mdettweiler [2016-05-23 06:39:39] 887*2^1430086-1 is not prime. Res64: DAB452D6802BB94E Time : 0.0 sec. user=mdettweiler [2016-05-23 06:39:40] 957*2^1430086-1 is not prime. Res64: 9DFC755AF58B4197 Time : 0.0 sec. user=mdettweiler [2016-05-23 06:39:50] 775*2^1430087-1 is not prime. Res64: 250B443F082CD8C7 Time : 0.0 sec. user=mdettweiler [2016-05-23 06:39:51] 825*2^1430087-1 is not prime. Res64: 1D09D4B0EDF53B0C Time : 0.0 sec. user=mdettweiler [2016-05-23 06:39:51] 725*2^1430088-1 is not prime. Res64: DDD523B616ACC5D4 Time : 0.0 sec. user=mdettweiler [2016-05-23 06:39:51] 765*2^1430088-1 is not prime. Res64: 632AA6885B61C031 Time : 0.0 sec. user=mdettweiler [2016-05-23 06:39:52] 789*2^1430088-1 is not prime. Res64: 0ED8622F03D73EC4 Time : 0.0 sec. user=mdettweiler [2016-05-23 06:40:27] 849*2^1430088-1 is not prime. Res64: DB9C544F66C31F41 Time : 0.0 sec. user=mdettweiler [2016-05-23 06:40:27] 601*2^1430089-1 is not prime. Res64: B706A1CA02A65F57 Time : 0.0 sec. user=mdettweiler [2016-05-23 06:40:28] 615*2^1430089-1 is not prime. Res64: AD9E02AA3A88CB6D Time : 0.0 sec. user=mdettweiler [2016-05-23 06:40:28] 625*2^1430089-1 is not prime. Res64: 4C1B4F8258E35C17 Time : 0.0 sec. user=mdettweiler [2016-05-23 06:40:29] 639*2^1430089-1 is not prime. Res64: 43962EF49F2BF0AA Time : 0.0 sec. user=mdettweiler [2016-05-23 07:00:38] 649*2^1430089-1 is not prime. Res64: 6FC36498E82827DD Time : 0.0 sec. user=mdettweiler [2016-05-23 07:00:38] 855*2^1430089-1 is not prime. Res64: 9C9BBE82ABA0A586 Time : 0.0 sec. user=mdettweiler [2016-05-23 07:00:39] 657*2^1430090-1 is not prime. Res64: E47280A902E88575 Time : 0.0 sec. user=mdettweiler [2016-05-23 07:00:40] 677*2^1430090-1 is not prime. Res64: DE4AD5752DD75DE2 Time : 0.0 sec. user=mdettweiler [2016-05-23 07:00:41] 707*2^1430090-1 is not prime. Res64: F8E6F048B70D1793 Time : 0.0 sec. user=mdettweiler [2016-05-23 07:24:48] 747*2^1430090-1 is not prime. Res64: 4CA0CE36CD5EA41B Time : 0.0 sec. user=mdettweiler [2016-05-23 07:24:49] 753*2^1430090-1 is not prime. Res64: 78D10037D7F93B9D Time : 0.0 sec. user=mdettweiler [2016-05-23 07:24:50] 767*2^1430090-1 is not prime. Res64: 75C0080275D7D8B2 Time : 0.0 sec. user=mdettweiler [2016-05-23 07:24:50] 917*2^1430090-1 is not prime. Res64: 463AC190CADB5CCC Time : 0.0 sec. user=mdettweiler [2016-05-23 07:24:50] 753*2^1430091-1 is not prime. Res64: ED1B4135DB9EAE6B Time : 0.0 sec. user=mdettweiler [2016-05-23 07:24:58] 795*2^1430091-1 is not prime. Res64: C4171CA9364AFFCD Time : 0.0 sec. user=mdettweiler [2016-05-23 07:24:58] 951*2^1430091-1 is not prime. Res64: B06753741994508F Time : 0.0 sec. user=mdettweiler [2016-05-23 07:24:59] 975*2^1430091-1 is not prime. Res64: 96510C36CC9C8118 Time : 0.0 sec. user=mdettweiler [2016-05-23 07:24:59] 647*2^1430092-1 is not prime. Res64: 35461CDADC831C7C Time : 0.0 sec. user=mdettweiler [2016-05-23 07:25:00] 687*2^1430092-1 is not prime. Res64: 6BF1BEBC2DBF36CC Time : 0.0 sec. user=mdettweiler [2016-05-23 07:25:38] 723*2^1430092-1 is not prime. Res64: 0DF6AFCA8C9060BD Time : 0.0 sec. user=mdettweiler [2016-05-23 07:25:38] 989*2^1430092-1 is not prime. Res64: 3028F8ABCA398C8D Time : 0.0 sec. user=mdettweiler [2016-05-23 07:25:38] 999*2^1430092-1 is not prime. Res64: 4B58B117861C20C4 Time : 0.0 sec. user=mdettweiler [2016-05-23 07:25:39] 745*2^1430093-1 is not prime. Res64: 19B3A2A25D856DF2 Time : 0.0 sec. user=mdettweiler [2016-05-23 07:25:39] 855*2^1430093-1 is not prime. Res64: 836988EE3F0E5BD4 Time : 0.0 sec. user=mdettweiler [2016-05-23 07:46:27] 861*2^1430093-1 is not prime. Res64: 34010FF49A5C53E7 Time : 0.0 sec. user=mdettweiler [2016-05-23 07:46:27] 871*2^1430093-1 is not prime. Res64: 75D97F5C6F7F1CB3 Time : 0.0 sec. user=mdettweiler [2016-05-23 07:46:28] 879*2^1430093-1 is not prime. Res64: B81A80C08AEFEA2E Time : 0.0 sec. user=mdettweiler [2016-05-23 07:46:28] 939*2^1430093-1 is not prime. Res64: 75C36949FC3B6988 Time : 0.0 sec. user=mdettweiler [2016-05-23 07:46:29] 955*2^1430093-1 is not prime. Res64: F19BFDB4A832EA2B Time : 0.0 sec. user=mdettweiler [2016-05-23 08:10:19] 605*2^1430094-1 is not prime. Res64: 3CADE8D3CB201E72 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:10:20] 671*2^1430094-1 is not prime. Res64: 93976186AE8E7C7E Time : 0.0 sec. user=mdettweiler [2016-05-23 08:10:20] 677*2^1430094-1 is not prime. Res64: 49983687E00294AD Time : 0.0 sec. user=mdettweiler [2016-05-23 08:10:21] 707*2^1430094-1 is not prime. Res64: 4141771CE9258055 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:10:21] 755*2^1430094-1 is not prime. Res64: D0B073309BFB33F1 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:10:54] 773*2^1430094-1 is not prime. Res64: 80F9BFDEEB207116 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:10:54] 885*2^1430094-1 is not prime. Res64: 0424D62B28E33E5D Time : 0.0 sec. user=mdettweiler [2016-05-23 08:10:54] 887*2^1430094-1 is not prime. Res64: 27A8ECF7BFA95E4A Time : 0.0 sec. user=mdettweiler [2016-05-23 08:10:55] 891*2^1430094-1 is not prime. Res64: 4C593D5AA89A00C5 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:10:55] 947*2^1430094-1 is not prime. Res64: D52311CB8A919F2E Time : 0.0 sec. user=mdettweiler [2016-05-23 08:11:14] 649*2^1430095-1 is not prime. Res64: 3DDC61DF51C1FC21 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:11:14] 789*2^1430095-1 is not prime. Res64: 313493BAE89E4BA3 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:11:15] 793*2^1430095-1 is not prime. Res64: 312DBB068362AA30 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:11:15] 831*2^1430095-1 is not prime. Res64: 3092850789EC863D Time : 0.0 sec. user=mdettweiler [2016-05-23 08:11:16] 943*2^1430095-1 is not prime. Res64: 8B084CD8A8F5AF46 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:31:36] 773*2^1430096-1 is not prime. Res64: 44ECB90BAB9FDEAA Time : 0.0 sec. user=mdettweiler [2016-05-23 08:31:36] 789*2^1430096-1 is not prime. Res64: FD854F759BAEE3BA Time : 0.0 sec. user=mdettweiler [2016-05-23 08:31:37] 855*2^1430096-1 is not prime. Res64: F3A752C104FADD55 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:31:37] 879*2^1430096-1 is not prime. Res64: 7E9FE5BF6D82C285 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:31:37] 917*2^1430096-1 is not prime. Res64: 00CAFEDA7BFED01C Time : 0.0 sec. user=mdettweiler [2016-05-23 08:55:34] 607*2^1430097-1 is not prime. Res64: 42C895B5F0D1A9B5 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:55:35] 651*2^1430097-1 is not prime. Res64: 136D924BCACD7C59 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:55:35] 741*2^1430097-1 is not prime. Res64: 48D0A4721C620502 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:55:35] 747*2^1430097-1 is not prime. Res64: 5C25249C6742A4E0 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:55:36] 751*2^1430097-1 is not prime. Res64: 8D754663C8450D36 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:56:00] 765*2^1430097-1 is not prime. Res64: B29FCFDC6E6735C4 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:56:00] 781*2^1430097-1 is not prime. Res64: 425AAECC54DB707F Time : 0.0 sec. user=mdettweiler [2016-05-23 08:56:01] 835*2^1430097-1 is not prime. Res64: AD7676261EE251AD Time : 0.0 sec. user=mdettweiler [2016-05-23 08:56:01] 847*2^1430097-1 is not prime. Res64: D77E3B930EBC1680 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:56:02] 885*2^1430097-1 is not prime. Res64: 8337DE4CEE684788 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:56:42] 949*2^1430097-1 is not prime. Res64: B298846768E3CB5B Time : 0.0 sec. user=mdettweiler [2016-05-23 08:56:43] 713*2^1430098-1 is not prime. Res64: A8CD0C5418305411 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:56:43] 723*2^1430098-1 is not prime. Res64: 00753357C52E9BDC Time : 0.0 sec. user=mdettweiler [2016-05-23 08:56:43] 765*2^1430098-1 is not prime. Res64: 6DF6BF94F4C141D3 Time : 0.0 sec. user=mdettweiler [2016-05-23 08:56:44] 831*2^1430098-1 is not prime. Res64: 556B6E5D139DECD8 Time : 0.0 sec. user=mdettweiler [2016-05-23 09:17:59] 891*2^1430098-1 is not prime. Res64: 06833536A7DB4F16 Time : 0.0 sec. user=mdettweiler [2016-05-23 09:17:59] 957*2^1430098-1 is not prime. Res64: E05DE3B2F5E27186 Time : 0.0 sec. user=mdettweiler [2016-05-23 09:18:00] 975*2^1430098-1 is not prime. Res64: 3495DC5085D5D245 Time : 0.0 sec. user=mdettweiler [2016-05-23 09:18:00] 693*2^1430099-1 is not prime. Res64: 67ABF7AC335837EE Time : 0.0 sec. user=mdettweiler [2016-05-23 09:18:00] 879*2^1430099-1 is not prime. Res64: 58818EFF6D5610BB Time : 0.0 sec. user=mdettweiler [2016-05-23 09:42:30] 931*2^1430101-1 is not prime. Res64: 8FFE6EEBCD987C2A Time : 0.0 sec. user=mdettweiler [2016-05-23 09:42:30] 975*2^1430101-1 is not prime. Res64: 9CA8F78BC120B60C Time : 0.0 sec. user=mdettweiler [2016-05-23 09:42:31] 997*2^1430101-1 is not prime. Res64: 14A44BDE0814E98E Time : 0.0 sec. user=mdettweiler [2016-05-23 09:42:31] 603*2^1430102-1 is not prime. Res64: 275C7949EABDF205 Time : 0.0 sec. user=mdettweiler [2016-05-23 09:42:32] 683*2^1430102-1 is not prime. Res64: 1BCF7304A675A2F9 Time : 0.0 sec. user=mdettweiler [2016-05-23 09:42:38] 909*2^1430099-1 is not prime. Res64: 6272C3A48875DA3B Time : 0.0 sec. user=mdettweiler [2016-05-23 09:42:38] 993*2^1430099-1 is not prime. Res64: F198135E0EF23600 Time : 0.0 sec. user=mdettweiler [2016-05-23 09:42:39] 623*2^1430100-1 is not prime. Res64: 8313621BA95ACFB1 Time : 0.0 sec. user=mdettweiler [2016-05-23 09:42:39] 665*2^1430100-1 is not prime. Res64: E07457D1E08DDEC1 Time : 0.0 sec. user=mdettweiler [2016-05-23 09:42:39] 691*2^1430101-1 is not prime. Res64: 51295B2D9063DE33 Time : 0.0 sec. user=mdettweiler [2016-05-23 09:43:16] 713*2^1430102-1 is not prime. Res64: DD5F46403E9B536F Time : 0.0 sec. user=mdettweiler [2016-05-23 09:43:16] 741*2^1430102-1 is not prime. Res64: D8B9E1DB07A3F91A Time : 0.0 sec. user=mdettweiler [2016-05-23 09:43:16] 753*2^1430102-1 is not prime. Res64: 4188300AF957EF3B Time : 0.0 sec. user=mdettweiler [2016-05-23 09:43:17] 801*2^1430102-1 is not prime. Res64: 741D0E4E9EBA3415 Time : 0.0 sec. user=mdettweiler [2016-05-23 09:43:17] 843*2^1430102-1 is not prime. Res64: 790C3110B39E6047 Time : 0.0 sec. user=mdettweiler [2016-05-23 10:03:45] 885*2^1430102-1 is not prime. Res64: 77100F2182DE7695 Time : 0.0 sec. user=mdettweiler [2016-05-23 10:03:46] 893*2^1430102-1 is not prime. Res64: DB50A94A10782204 Time : 0.0 sec. user=mdettweiler [2016-05-23 10:03:47] 915*2^1430102-1 is not prime. Res64: D7EB700E4A55FB50 Time : 0.0 sec. user=mdettweiler [2016-05-23 10:03:49] 945*2^1430102-1 is not prime. Res64: C90DD8244C94A682 Time : 0.0 sec. user=mdettweiler [2016-05-23 10:03:50] 615*2^1430103-1 is not prime. Res64: B62B54D3591E4265 Time : 0.0 sec. user=mdettweiler [2016-05-23 10:27:32] 945*2^1430103-1 is not prime. Res64: EACDBA4E1ED00653 Time : 0.0 sec. user=mdettweiler [2016-05-23 10:27:33] 657*2^1430104-1 is not prime. Res64: 18CFF0DE6802A937 Time : 0.0 sec. user=mdettweiler [2016-05-23 10:27:33] 693*2^1430104-1 is not prime. Res64: F5F3B8C3D46C8F6F Time : 0.0 sec. user=mdettweiler [2016-05-23 10:27:34] 755*2^1430104-1 is not prime. Res64: E1B8A44A6FA02ED0 Time : 0.0 sec. user=mdettweiler [2016-05-23 10:27:34] 765*2^1430104-1 is not prime. Res64: 5462C0A0AF69054E Time : 0.0 sec. user=mdettweiler [2016-05-23 10:27:41] 619*2^1430103-1 is not prime. Res64: 8327C5DD5EC869C0 Time : 0.0 sec. user=mdettweiler [2016-05-23 10:27:41] 819*2^1430103-1 is not prime. Res64: D5D52E10BF4C4B7A Time : 0.0 sec. user=mdettweiler [2016-05-23 10:27:41] 859*2^1430103-1 is not prime. Res64: 03D016645812E8C1 Time : 0.0 sec. user=mdettweiler [2016-05-23 10:27:42] 891*2^1430103-1 is not prime. Res64: 0F89D9D693C3CFE4 Time : 0.0 sec. user=mdettweiler [2016-05-23 10:27:42] 901*2^1430103-1 is not prime. Res64: 1D462A162BF08C51 Time : 0.0 sec. user=mdettweiler [2016-05-23 10:28:31] 903*2^1430104-1 is not prime. Res64: 06F47A6C98479223 Time : 0.0 sec. user=mdettweiler [2016-05-23 10:28:31] 729*2^1430105-1 is not prime. Res64: F0474F1644E338EF Time : 0.0 sec. user=mdettweiler [2016-05-23 10:28:32] 885*2^1430105-1 is not prime. Res64: BAD8AEDE44FB3837 Time : 0.0 sec. user=mdettweiler [2016-05-23 10:28:32] 765*2^1430106-1 is not prime. Res64: 1438369CA4E916EA Time : 0.0 sec. user=mdettweiler [2016-05-23 10:28:32] 767*2^1430106-1 is not prime. Res64: 9FB4EE239723A9EA Time : 0.0 sec. user=mdettweiler [2016-05-23 10:49:07] 783*2^1430106-1 is not prime. Res64: 6E935DE3C285A695 Time : 0.0 sec. user=mdettweiler [2016-05-23 10:49:07] 803*2^1430106-1 is not prime. Res64: FC994B0AF9B9838C Time : 0.0 sec. user=mdettweiler [2016-05-23 10:49:07] 833*2^1430106-1 is not prime. Res64: 0D1167E4900742E7 Time : 0.0 sec. user=mdettweiler [2016-05-23 10:49:08] 837*2^1430106-1 is not prime. Res64: 59397E1C82DB9491 Time : 0.0 sec. user=mdettweiler [2016-05-23 10:49:08] 881*2^1430106-1 is not prime. Res64: 25F8FC5C90762CA8 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:12:58] 887*2^1430106-1 is not prime. Res64: A61A3AA59AE0DB5F Time : 0.0 sec. user=mdettweiler [2016-05-23 11:12:59] 983*2^1430106-1 is not prime. Res64: A1DF5A2BAF5C25B1 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:13:00] 639*2^1430107-1 is not prime. Res64: EAB0BF1DB11F2286 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:13:00] 645*2^1430107-1 is not prime. Res64: 1A2B46C9E310A97A Time : 0.0 sec. user=mdettweiler [2016-05-23 11:13:01] 649*2^1430107-1 is not prime. Res64: 2094C963F560A3C4 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:14:09] 609*2^1430109-1 is not prime. Res64: 1EFB73DCC66DAEFC Time : 0.0 sec. user=mdettweiler [2016-05-23 11:14:09] 647*2^1430110-1 is not prime. Res64: 6230E6CDAF1B3BBF Time : 0.0 sec. user=mdettweiler [2016-05-23 11:14:10] 675*2^1430110-1 is not prime. Res64: 8F10BA2B6F70A423 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:14:10] 761*2^1430110-1 is not prime. Res64: 7367A80674487B8A Time : 0.0 sec. user=mdettweiler [2016-05-23 11:14:10] 911*2^1430110-1 is not prime. Res64: D2EB2789077585E6 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:14:45] 769*2^1430107-1 is not prime. Res64: 1B2C6F121C3306C2 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:14:45] 635*2^1430108-1 is not prime. Res64: 5D9ED9290679E621 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:14:45] 753*2^1430108-1 is not prime. Res64: 52904133F955796E Time : 0.0 sec. user=mdettweiler [2016-05-23 11:14:46] 827*2^1430108-1 is not prime. Res64: A203AC2019F621A6 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:14:46] 969*2^1430108-1 is not prime. Res64: 037A1F954171416B Time : 0.0 sec. user=mdettweiler [2016-05-23 11:34:14] 945*2^1430110-1 is not prime. Res64: 79F56FB888D89ED8 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:34:14] 621*2^1430111-1 is not prime. Res64: 6CF1FFC67AA55C83 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:34:15] 753*2^1430111-1 is not prime. Res64: FD61452E45586101 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:34:15] 999*2^1430111-1 is not prime. Res64: DB1F810A5759C9DE Time : 0.0 sec. user=mdettweiler [2016-05-23 11:34:16] 657*2^1430112-1 is not prime. Res64: F88A2FDCE7CAE9DE Time : 0.0 sec. user=mdettweiler [2016-05-23 11:58:04] 675*2^1430112-1 is not prime. Res64: FFBD610D6CBD46C0 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:58:04] 819*2^1430112-1 is not prime. Res64: 5F6C35944E173ECA Time : 0.0 sec. user=mdettweiler [2016-05-23 11:58:05] 923*2^1430112-1 is not prime. Res64: AB298134FEB2AA6A Time : 0.0 sec. user=mdettweiler [2016-05-23 11:58:05] 675*2^1430113-1 is not prime. Res64: 2AAAF232F6319590 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:58:05] 705*2^1430113-1 is not prime. Res64: 6B3DBD6036687826 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:58:59] 729*2^1430113-1 is not prime. Res64: 2A37517DA19F6446 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:58:59] 747*2^1430113-1 is not prime. Res64: DFEC6648471F593E Time : 0.0 sec. user=mdettweiler [2016-05-23 11:58:59] 769*2^1430113-1 is not prime. Res64: F336FD08CC3AF511 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:59:00] 847*2^1430113-1 is not prime. Res64: 82DA723F2ACFE4C0 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:59:00] 915*2^1430113-1 is not prime. Res64: B6E7F467DDA4988D Time : 0.0 sec. user=mdettweiler [2016-05-23 11:59:38] 617*2^1430114-1 is not prime. Res64: 16EBE936BDB90352 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:59:38] 813*2^1430114-1 is not prime. Res64: 3D86773273FE70D4 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:59:39] 941*2^1430114-1 is not prime. Res64: 0F9BC0742E2A9504 Time : 0.0 sec. user=mdettweiler [2016-05-23 11:59:39] 625*2^1430115-1 is not prime. Res64: 02492A835D04864D Time : 0.0 sec. user=mdettweiler [2016-05-23 11:59:39] 633*2^1430115-1 is not prime. Res64: BB9C5B511E748A10 Time : 0.0 sec. user=mdettweiler [2016-05-23 12:19:20] 919*2^1430115-1 is not prime. Res64: D3893F7040C930EC Time : 0.0 sec. user=mdettweiler [2016-05-23 12:19:20] 943*2^1430115-1 is not prime. Res64: BA51735C4EE84812 Time : 0.0 sec. user=mdettweiler [2016-05-23 12:19:21] 963*2^1430115-1 is not prime. Res64: 0AD502DDBE035C8B Time : 0.0 sec. user=mdettweiler [2016-05-23 12:19:21] 609*2^1430116-1 is not prime. Res64: 3DB3EE96B7615FE7 Time : 0.0 sec. user=mdettweiler [2016-05-23 12:19:22] 639*2^1430116-1 is not prime. Res64: 9CBDD1881FEBB38B Time : 0.0 sec. user=mdettweiler [2016-05-23 12:43:11] 657*2^1430116-1 is not prime. Res64: 7833CA933283E162 Time : 0.0 sec. user=mdettweiler [2016-05-23 12:43:11] 749*2^1430116-1 is not prime. Res64: D0DAB5CC8F3A237B Time : 0.0 sec. user=mdettweiler [2016-05-23 12:43:12] 779*2^1430116-1 is not prime. Res64: EF7216209C6E039B Time : 0.0 sec. user=mdettweiler [2016-05-23 12:43:12] 855*2^1430116-1 is not prime. Res64: 211714E1C80B61F5 Time : 0.0 sec. user=mdettweiler [2016-05-23 12:43:12] 939*2^1430116-1 is not prime. Res64: F5A060675090566D Time : 0.0 sec. user=mdettweiler [2016-05-23 12:44:02] 615*2^1430117-1 is not prime. Res64: 90587CDB06240715 Time : 0.0 sec. user=mdettweiler [2016-05-23 12:44:02] 691*2^1430117-1 is not prime. Res64: 2CEEAD1DD20AC548 Time : 0.0 sec. user=mdettweiler [2016-05-23 12:44:03] 717*2^1430117-1 is not prime. Res64: 1A90D09F83F0031B Time : 0.0 sec. user=mdettweiler [2016-05-23 12:44:03] 759*2^1430117-1 is not prime. Res64: 873E86705CAAD402 Time : 0.0 sec. user=mdettweiler [2016-05-23 12:44:03] 799*2^1430117-1 is not prime. Res64: 198C741856CBD977 Time : 0.0 sec. user=mdettweiler [2016-05-23 12:44:44] 861*2^1430117-1 is not prime. Res64: 38398D339764E0B3 Time : 0.0 sec. user=mdettweiler [2016-05-23 12:44:44] 681*2^1430118-1 is not prime. Res64: 5C584A34DD5727DC Time : 0.0 sec. user=mdettweiler [2016-05-23 12:44:45] 765*2^1430118-1 is not prime. Res64: E497E989BDBDB4BC Time : 0.0 sec. user=mdettweiler [2016-05-23 12:44:45] 791*2^1430118-1 is not prime. Res64: FB3209FF9773FBD9 Time : 0.0 sec. user=mdettweiler [2016-05-23 12:44:45] 927*2^1430118-1 is not prime. Res64: 7846D683FD90E394 Time : 0.0 sec. user=mdettweiler [2016-05-23 13:04:35] 933*2^1430118-1 is not prime. Res64: DDBBF8D1F2CF56E0 Time : 0.0 sec. user=mdettweiler [2016-05-23 13:04:37] 681*2^1430119-1 is not prime. Res64: CA15348EEE2CF887 Time : 0.0 sec. user=mdettweiler [2016-05-23 13:04:38] 745*2^1430119-1 is not prime. Res64: 6461BFE8BC983E34 Time : 0.0 sec. user=mdettweiler [2016-05-23 13:04:40] 765*2^1430119-1 is not prime. Res64: 6793F1BD160B632F Time : 0.0 sec. user=mdettweiler [2016-05-23 13:04:41] 771*2^1430119-1 is not prime. Res64: FDFBBC93A92C19AB Time : 0.0 sec. user=mdettweiler [2016-05-23 13:28:18] 853*2^1430119-1 is not prime. Res64: 1ECF1BE0D1A50072 Time : 0.0 sec. user=mdettweiler [2016-05-23 13:28:18] 891*2^1430119-1 is not prime. Res64: 138465E0E7D329DA Time : 0.0 sec. user=mdettweiler [2016-05-23 13:28:19] 951*2^1430119-1 is not prime. Res64: 3FDA52359D0337CC Time : 0.0 sec. user=mdettweiler [2016-05-23 13:28:19] 767*2^1430120-1 is not prime. Res64: 23D2E114F202C057 Time : 0.0 sec. user=mdettweiler [2016-05-23 13:28:19] 789*2^1430120-1 is not prime. Res64: 3670F06ABECF65C1 Time : 0.0 sec. user=mdettweiler [2016-05-23 13:29:03] 795*2^1430120-1 is not prime. Res64: 2E66ED4459F7E87B Time : 0.0 sec. user=mdettweiler [2016-05-23 13:29:03] 827*2^1430120-1 is not prime. Res64: 70CE54859867A784 Time : 0.0 sec. user=mdettweiler [2016-05-23 13:29:04] 839*2^1430120-1 is not prime. Res64: 6E398A13BE7EBAD5 Time : 0.0 sec. user=mdettweiler [2016-05-23 13:29:04] 627*2^1430121-1 is not prime. Res64: E8AB27E4E0B4E130 Time : 0.0 sec. user=mdettweiler [2016-05-23 13:29:05] 637*2^1430121-1 is not prime. Res64: A68060B768D988CC Time : 0.0 sec. user=mdettweiler [2016-05-23 13:29:48] 709*2^1430121-1 is not prime. Res64: E82A9F0820DD1F71 Time : 0.0 sec. user=mdettweiler [2016-05-23 13:29:49] 735*2^1430121-1 is not prime. Res64: 6540858AABB2BED5 Time : 0.0 sec. user=mdettweiler [2016-05-23 13:29:49] 781*2^1430121-1 is not prime. Res64: 5F27FAB6F44077EC Time : 0.0 sec. user=mdettweiler [2016-05-23 13:29:49] 987*2^1430121-1 is not prime. Res64: FFA9E6B91AFF38A9 Time : 0.0 sec. user=mdettweiler [2016-05-23 13:29:50] 991*2^1430121-1 is not prime. Res64: E3520F1A1D60D609 Time : 0.0 sec. user=mdettweiler [2016-05-23 13:50:21] 681*2^1430122-1 is not prime. Res64: C1CDFC0318E952AB Time : 0.0 sec. user=mdettweiler [2016-05-23 13:50:22] 873*2^1430122-1 is not prime. Res64: 9EB3C8AF23B2BBB8 Time : 0.0 sec. user=mdettweiler [2016-05-23 13:50:22] 923*2^1430122-1 is not prime. Res64: 05B46A6CD15522E4 Time : 0.0 sec. user=mdettweiler [2016-05-23 13:50:22] 947*2^1430122-1 is not prime. Res64: 54BAEC66CA74CC3C Time : 0.0 sec. user=mdettweiler [2016-05-23 13:50:23] 603*2^1430123-1 is not prime. Res64: DBF9028F98618B24 Time : 0.0 sec. user=mdettweiler [2016-05-23 14:13:37] 615*2^1430123-1 is not prime. Res64: 121286DA94D6028E Time : 0.0 sec. user=mdettweiler [2016-05-23 14:13:37] 619*2^1430123-1 is not prime. Res64: 2818C4753BBD5D8C Time : 0.0 sec. user=mdettweiler [2016-05-23 14:13:38] 679*2^1430123-1 is not prime. Res64: DBCA06E7A3D63DDA Time : 0.0 sec. user=mdettweiler [2016-05-23 14:13:38] 745*2^1430123-1 is not prime. Res64: 7B0B85E3363EA39B Time : 0.0 sec. user=mdettweiler [2016-05-23 14:13:39] 781*2^1430123-1 is not prime. Res64: 3254BC82B1AC3C9C Time : 0.0 sec. user=mdettweiler [2016-05-23 14:14:12] 813*2^1430123-1 is not prime. Res64: 748376F5FEE13318 Time : 0.0 sec. user=mdettweiler [2016-05-23 14:14:12] 855*2^1430123-1 is not prime. Res64: 4841E128A4AF3E6B Time : 0.0 sec. user=mdettweiler [2016-05-23 14:14:12] 861*2^1430123-1 is not prime. Res64: 72D074C8FBA8F2F6 Time : 0.0 sec. user=mdettweiler [2016-05-23 14:14:13] 895*2^1430123-1 is not prime. Res64: 414845F56B246CDE Time : 0.0 sec. user=mdettweiler [2016-05-23 14:14:13] 943*2^1430123-1 is not prime. Res64: FB4FD28A72D1580C Time : 0.0 sec. user=mdettweiler [2016-05-23 14:15:06] 993*2^1430123-1 is not prime. Res64: 5841FCDD11D4153B Time : 0.0 sec. user=mdettweiler [2016-05-23 14:15:06] 753*2^1430124-1 is not prime. Res64: F1596D0F5CB70036 Time : 0.0 sec. user=mdettweiler [2016-05-23 14:15:06] 765*2^1430124-1 is not prime. Res64: 8610396286E8DD6F Time : 0.0 sec. user=mdettweiler [2016-05-23 14:15:07] 795*2^1430124-1 is not prime. Res64: 08C2C32B0E862F90 Time : 0.0 sec. user=mdettweiler [2016-05-23 14:15:07] 909*2^1430124-1 is not prime. Res64: EC2EC68D29199DEC Time : 0.0 sec. user=mdettweiler [2016-05-23 14:35:26] 929*2^1430124-1 is not prime. Res64: 8CE47DA1B1F4CABE Time : 0.0 sec. user=mdettweiler [2016-05-23 14:35:26] 987*2^1430124-1 is not prime. Res64: C89C992D443CF095 Time : 0.0 sec. user=mdettweiler [2016-05-23 14:35:27] 993*2^1430124-1 is not prime. Res64: 415518777946DA14 Time : 0.0 sec. user=mdettweiler [2016-05-23 14:35:27] 685*2^1430125-1 is not prime. Res64: 05FC3056EC8294EE Time : 0.0 sec. user=mdettweiler [2016-05-23 14:35:27] 895*2^1430125-1 is not prime. Res64: 46834CBB6BEACA3F Time : 0.0 sec. user=mdettweiler [2016-05-23 14:58:46] 919*2^1430125-1 is not prime. Res64: 184BFFFE0C605CB5 Time : 0.0 sec. user=mdettweiler [2016-05-23 14:58:46] 615*2^1430126-1 is not prime. Res64: D2D8493B18801D7B Time : 0.0 sec. user=mdettweiler [2016-05-23 14:58:46] 743*2^1430126-1 is not prime. Res64: 7650E73D26FE3E08 Time : 0.0 sec. user=mdettweiler [2016-05-23 14:58:47] 761*2^1430126-1 is not prime. Res64: 2D49B2DB2A7B772E Time : 0.0 sec. user=mdettweiler [2016-05-23 14:58:47] 897*2^1430126-1 is not prime. Res64: 8EE0F0CA2FE1F11E Time : 0.0 sec. user=mdettweiler [2016-05-23 14:59:31] 935*2^1430126-1 is not prime. Res64: A17C49A50C7170B3 Time : 0.0 sec. user=mdettweiler [2016-05-23 14:59:31] 957*2^1430126-1 is not prime. Res64: 23B44C284110B40E Time : 0.0 sec. user=mdettweiler [2016-05-23 14:59:32] 609*2^1430127-1 is not prime. Res64: 6BDB3550EE79B4D8 Time : 0.0 sec. user=mdettweiler [2016-05-23 14:59:32] 649*2^1430127-1 is not prime. Res64: A0A94105EB80E0C9 Time : 0.0 sec. user=mdettweiler [2016-05-23 14:59:32] 685*2^1430127-1 is not prime. Res64: A7B57D12494E8C81 Time : 0.0 sec. user=mdettweiler [2016-05-23 15:00:13] 805*2^1430127-1 is not prime. Res64: 55023DB37A79C373 Time : 0.0 sec. user=mdettweiler [2016-05-23 15:00:14] 825*2^1430127-1 is not prime. Res64: BC8220B5D942567A Time : 0.0 sec. user=mdettweiler [2016-05-23 15:00:15] 985*2^1430127-1 is not prime. Res64: B4A0683EFFDE6C98 Time : 0.0 sec. user=mdettweiler [2016-05-23 15:00:16] 839*2^1430128-1 is not prime. Res64: 5A424D1AD5CA40FD Time : 0.0 sec. user=mdettweiler [2016-05-23 15:00:17] 855*2^1430128-1 is not prime. Res64: 153C86E2FF8C513B Time : 0.0 sec. user=mdettweiler [2016-05-23 15:20:30] 649*2^1430129-1 is not prime. Res64: 5E6B624E79BB4E79 Time : 0.0 sec. user=mdettweiler [2016-05-23 15:20:30] 819*2^1430129-1 is not prime. Res64: 3FFE11131AF66495 Time : 0.0 sec. user=mdettweiler [2016-05-23 15:20:31] 837*2^1430129-1 is not prime. Res64: 085CDEC8B7504E3E Time : 0.0 sec. user=mdettweiler [2016-05-23 15:20:31] 897*2^1430129-1 is not prime. Res64: 6733163DB9F23320 Time : 0.0 sec. user=mdettweiler [2016-05-23 15:20:32] 647*2^1430130-1 is not prime. Res64: B7D79801E97572F4 Time : 0.0 sec. user=mdettweiler [2016-05-23 15:43:50] 665*2^1430130-1 is not prime. Res64: FC6BA89D13441915 Time : 0.0 sec. user=mdettweiler [2016-05-23 15:43:51] 681*2^1430130-1 is not prime. Res64: 0D84510C9324ED84 Time : 0.0 sec. user=mdettweiler [2016-05-23 15:43:51] 797*2^1430130-1 is not prime. Res64: CD72A62DA365C976 Time : 0.0 sec. user=mdettweiler [2016-05-23 15:43:52] 875*2^1430130-1 is not prime. Res64: 6A07939645B26375 Time : 0.0 sec. user=mdettweiler [2016-05-23 15:43:52] 963*2^1430130-1 is not prime. Res64: 1C3C5A8995D57305 Time : 0.0 sec. user=mdettweiler [2016-05-23 15:44:47] 675*2^1430131-1 is not prime. Res64: D781932802EA5C8A Time : 0.0 sec. user=mdettweiler [2016-05-23 15:44:48] 693*2^1430131-1 is not prime. Res64: 42DD0F418C8148A8 Time : 0.0 sec. user=mdettweiler [2016-05-23 15:44:48] 771*2^1430131-1 is not prime. Res64: 56E0A5CA3DCA7422 Time : 0.0 sec. user=mdettweiler [2016-05-23 15:44:49] 859*2^1430131-1 is not prime. Res64: EC9EBDB5BD1E15A2 Time : 0.0 sec. user=mdettweiler [2016-05-23 15:44:49] 889*2^1430131-1 is not prime. Res64: DFB7077320FB6315 Time : 0.0 sec. user=mdettweiler [2016-05-23 15:45:20] 913*2^1430131-1 is not prime. Res64: B8F656FF4AB59A2D Time : 0.0 sec. user=mdettweiler [2016-05-23 15:45:20] 951*2^1430131-1 is not prime. Res64: 9B364964BE5208B6 Time : 0.0 sec. user=mdettweiler [2016-05-23 15:45:21] 603*2^1430132-1 is not prime. Res64: ED756237C3A0B66F Time : 0.0 sec. user=mdettweiler [2016-05-23 15:45:21] 749*2^1430132-1 is not prime. Res64: 9A434CF0B506BCAB Time : 0.0 sec. user=mdettweiler [2016-05-23 15:45:22] 959*2^1430132-1 is not prime. Res64: 2D68F0A43965E2E6 Time : 0.0 sec. user=mdettweiler [2016-05-23 16:05:27] 963*2^1430132-1 is not prime. Res64: 0FAF2DDDFFE9767B Time : 0.0 sec. user=mdettweiler [2016-05-23 16:05:29] 627*2^1430133-1 is not prime. Res64: A8E4BE0C87DE82BD Time : 0.0 sec. user=mdettweiler [2016-05-23 16:05:31] 805*2^1430133-1 is not prime. Res64: 38E8508105FCAF99 Time : 0.0 sec. user=mdettweiler [2016-05-23 16:05:32] 829*2^1430133-1 is not prime. Res64: 777D23927341F202 Time : 0.0 sec. user=mdettweiler [2016-05-23 16:05:34] 835*2^1430133-1 is not prime. Res64: 5EA07375F5D0876C Time : 0.0 sec. user=mdettweiler [2016-05-23 16:28:56] 847*2^1430133-1 is not prime. Res64: 03E5EB703331C0D1 Time : 0.0 sec. user=mdettweiler [2016-05-23 16:28:57] 921*2^1430133-1 is not prime. Res64: 0F6CE8F16C5A1D8F Time : 0.0 sec. user=mdettweiler [2016-05-23 16:28:57] 961*2^1430133-1 is not prime. Res64: FABDA41E86FD1D10 Time : 0.0 sec. user=mdettweiler [2016-05-23 16:28:57] 605*2^1430134-1 is not prime. Res64: F822CDD707E15F27 Time : 0.0 sec. user=mdettweiler [2016-05-23 16:28:58] 791*2^1430134-1 is not prime. Res64: 10D3631C3736F13E Time : 0.0 sec. user=mdettweiler [2016-05-23 16:29:40] 917*2^1430134-1 is not prime. Res64: EE76306477A6D97F Time : 0.0 sec. user=mdettweiler [2016-05-23 16:29:40] 619*2^1430135-1 is not prime. Res64: A7283487E3375F52 Time : 0.0 sec. user=mdettweiler [2016-05-23 16:29:40] 715*2^1430135-1 is not prime. Res64: 78A5981FF6C7AFCD Time : 0.0 sec. user=mdettweiler [2016-05-23 16:29:41] 909*2^1430135-1 is not prime. Res64: 366333A7924A552C Time : 0.0 sec. user=mdettweiler [2016-05-23 16:29:41] 921*2^1430135-1 is not prime. Res64: F860FE9A4B58CA4F Time : 0.0 sec. user=mdettweiler [2016-05-23 16:30:20] 973*2^1430135-1 is not prime. Res64: 2336E62D0B44685C Time : 0.0 sec. user=mdettweiler [2016-05-23 16:30:21] 991*2^1430135-1 is not prime. Res64: 51A896CF89622BF8 Time : 0.0 sec. user=mdettweiler [2016-05-23 16:30:21] 669*2^1430136-1 is not prime. Res64: 491DC5A6ECB6312F Time : 0.0 sec. user=mdettweiler [2016-05-23 16:30:21] 693*2^1430136-1 is not prime. Res64: D59BC35C3595DBAD Time : 0.0 sec. user=mdettweiler [2016-05-23 16:30:22] 759*2^1430136-1 is not prime. Res64: 0A41E62F40FF3489 Time : 0.0 sec. user=mdettweiler [2016-05-23 16:51:00] 779*2^1430136-1 is not prime. Res64: 56B5D0A7129118A7 Time : 0.0 sec. user=mdettweiler [2016-05-23 16:51:01] 843*2^1430136-1 is not prime. Res64: 355B0AFEE0F4931A Time : 0.0 sec. user=mdettweiler [2016-05-23 16:51:01] 845*2^1430136-1 is not prime. Res64: 813D1C40DBE62C97 Time : 0.0 sec. user=mdettweiler [2016-05-23 16:51:01] 905*2^1430136-1 is not prime. Res64: 7EDAD4BF8952DF3A Time : 0.0 sec. user=mdettweiler [2016-05-23 16:51:02] 831*2^1430137-1 is not prime. Res64: 7233454FF16714AE Time : 0.0 sec. user=mdettweiler [2016-05-23 17:14:02] 841*2^1430137-1 is not prime. Res64: FB0A4FC46A69D3C2 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:14:03] 895*2^1430137-1 is not prime. Res64: 882291CA18E6A211 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:14:03] 931*2^1430137-1 is not prime. Res64: 24C4FFAB4ADB8AB7 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:14:03] 617*2^1430138-1 is not prime. Res64: DD9DA6A0EFF1D3B8 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:14:04] 683*2^1430138-1 is not prime. Res64: 541F740A515A7141 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:14:41] 711*2^1430138-1 is not prime. Res64: 575627B11D29CED0 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:14:41] 753*2^1430138-1 is not prime. Res64: 1A970C8C78B7A67D Time : 0.0 sec. user=mdettweiler [2016-05-23 17:14:42] 773*2^1430138-1 is not prime. Res64: 305EE79E4C4BA9A1 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:14:42] 813*2^1430138-1 is not prime. Res64: EC1CF131CCE759DF Time : 0.0 sec. user=mdettweiler [2016-05-23 17:14:42] 875*2^1430138-1 is not prime. Res64: 9CBE2FD9DFAF3B27 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:15:26] 921*2^1430138-1 is not prime. Res64: D55C1CF8FA031187 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:15:27] 945*2^1430138-1 is not prime. Res64: 5DA9F22C68396A02 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:15:27] 971*2^1430138-1 is not prime. Res64: 5C7A2CEDCE0D9D90 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:15:27] 669*2^1430139-1 is not prime. Res64: 33C951C2D67CC2BD Time : 0.0 sec. user=mdettweiler [2016-05-23 17:15:28] 723*2^1430139-1 is not prime. Res64: B94DEB8DB61334A3 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:36:07] 835*2^1430139-1 is not prime. Res64: FCFBDE3339F1E8DB Time : 0.0 sec. user=mdettweiler [2016-05-23 17:36:07] 861*2^1430139-1 is not prime. Res64: 7D67D116F0F77BB1 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:36:08] 985*2^1430139-1 is not prime. Res64: B8ED643B1D3EE496 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:36:08] 719*2^1430140-1 is not prime. Res64: 2A088DADA8C1BF7E Time : 0.0 sec. user=mdettweiler [2016-05-23 17:36:08] 803*2^1430140-1 is not prime. Res64: BDFD7559A752BBA1 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:59:18] 843*2^1430140-1 is not prime. Res64: 4A3A2D25C4EC0229 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:59:19] 601*2^1430141-1 is not prime. Res64: BDE698DC3DC2E781 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:59:19] 711*2^1430141-1 is not prime. Res64: 672BE2EA6CF91F47 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:59:19] 727*2^1430141-1 is not prime. Res64: 3D678075ECE0D0D9 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:59:20] 777*2^1430141-1 is not prime. Res64: E52392C0CA1640E5 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:59:47] 859*2^1430141-1 is not prime. Res64: 57573BC695C95510 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:59:48] 981*2^1430141-1 is not prime. Res64: F6E4275A2A1BB9A8 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:59:48] 997*2^1430141-1 is not prime. Res64: 1FA25D684E53D01F Time : 0.0 sec. user=mdettweiler [2016-05-23 17:59:48] 651*2^1430142-1 is not prime. Res64: 1EE376EF228E2706 Time : 0.0 sec. user=mdettweiler [2016-05-23 17:59:49] 723*2^1430142-1 is not prime. Res64: 287044CB304E03AA Time : 0.0 sec. user=mdettweiler [2016-05-23 18:00:27] 747*2^1430142-1 is not prime. Res64: A9C0361677159558 Time : 0.0 sec. user=mdettweiler [2016-05-23 18:00:28] 941*2^1430142-1 is not prime. Res64: E1AC142032BCD6C9 Time : 0.0 sec. user=mdettweiler [2016-05-23 18:00:29] 639*2^1430143-1 is not prime. Res64: C0E160D1AD50DCE5 Time : 0.0 sec. user=mdettweiler [2016-05-23 18:00:30] 663*2^1430143-1 is not prime. Res64: 87525FEE679FC0E1 Time : 0.0 sec. user=mdettweiler [2016-05-23 18:00:31] 679*2^1430143-1 is not prime. Res64: 14242FB4E55CD212 Time : 0.0 sec. user=mdettweiler [2016-05-23 18:21:23] 793*2^1430143-1 is not prime. Res64: 736152C7133978AE Time : 0.0 sec. user=mdettweiler [2016-05-23 18:21:23] 811*2^1430143-1 is not prime. Res64: FDD7A82659DB0643 Time : 0.0 sec. user=mdettweiler [2016-05-23 18:21:24] 871*2^1430143-1 is not prime. Res64: 3FBC0959CB2F26A6 Time : 0.0 sec. user=mdettweiler [2016-05-23 18:21:24] 885*2^1430143-1 is not prime. Res64: B32D469AA3727ED3 Time : 0.0 sec. user=mdettweiler [2016-05-23 18:21:25] 873*2^1430144-1 is not prime. Res64: BBFF4ACF85953ED5 Time : 0.0 sec. user=mdettweiler [2016-05-23 18:44:35] 893*2^1430144-1 is not prime. Res64: 0E66B67576DB0BFF Time : 0.0 sec. user=mdettweiler [2016-05-23 18:44:36] 669*2^1430145-1 is not prime. Res64: 1E9DA3A36A7122A6 Time : 0.0 sec. user=mdettweiler [2016-05-23 18:44:36] 727*2^1430145-1 is not prime. Res64: 3FABF5A637971DA2 Time : 0.0 sec. user=mdettweiler [2016-05-23 18:44:36] 795*2^1430145-1 is not prime. Res64: E105D56ECA2B568C Time : 0.0 sec. user=mdettweiler [2016-05-23 18:44:37] 831*2^1430145-1 is not prime. Res64: DE36B6C9EFDC312F Time : 0.0 sec. user=mdettweiler [2016-05-23 18:44:48] 887*2^1430146-1 is not prime. Res64: 352F3CEDE18B69B2 Time : 0.0 sec. user=mdettweiler [2016-05-23 18:44:48] 945*2^1430146-1 is not prime. Res64: C694B4613DF5E72A Time : 0.0 sec. user=mdettweiler [2016-05-23 18:44:48] 663*2^1430147-1 is not prime. Res64: 6EC3539C70F93115 Time : 0.0 sec. user=mdettweiler [2016-05-23 18:44:49] 819*2^1430147-1 is not prime. Res64: D066F9AD3BAE88DC Time : 0.0 sec. user=mdettweiler [2016-05-23 18:44:49] 823*2^1430147-1 is not prime. Res64: 1833EC68A42FE9BD Time : 0.0 sec. user=mdettweiler [2016-05-23 18:45:41] 939*2^1430147-1 is not prime. Res64: 904627FBCE9CBBB7 Time : 0.0 sec. user=mdettweiler [2016-05-23 18:45:42] 665*2^1430148-1 is not prime. Res64: 25C3E406573A0BB9 Time : 0.0 sec. user=mdettweiler [2016-05-23 18:45:42] 669*2^1430148-1 is not prime. Res64: 8B74E09F2336FA25 Time : 0.0 sec. user=mdettweiler [2016-05-23 18:45:42] 707*2^1430148-1 is not prime. Res64: 561889259E1D260E Time : 0.0 sec. user=mdettweiler [2016-05-23 18:45:43] 773*2^1430148-1 is not prime. Res64: 866A1872C7E5B806 Time : 0.0 sec. user=mdettweiler [2016-05-23 19:06:41] 809*2^1430148-1 is not prime. Res64: 0CFBE83EF5E92C5D Time : 0.0 sec. user=mdettweiler [2016-05-23 19:06:44] 819*2^1430148-1 is not prime. Res64: 9823787487773B3F Time : 0.0 sec. user=mdettweiler [2016-05-23 19:06:46] 825*2^1430148-1 is not prime. Res64: 9745C4262EBBBA48 Time : 0.0 sec. user=mdettweiler [2016-05-23 19:06:47] 929*2^1430148-1 is not prime. Res64: C1A646D699364702 Time : 0.0 sec. user=mdettweiler [2016-05-23 19:06:50] 933*2^1430148-1 is not prime. Res64: AC5E922794339FDA Time : 0.0 sec. user=mdettweiler [2016-05-23 19:29:55] 939*2^1430149-1 is not prime. Res64: 5C5EF3E4EAEDBC7E Time : 0.0 sec. user=mdettweiler [2016-05-23 19:29:55] 619*2^1430149-1 is not prime. Res64: 617CB23BD8BDA33C Time : 0.0 sec. user=mdettweiler [2016-05-23 19:29:55] 987*2^1430149-1 is not prime. Res64: A14F70C4CCC38813 Time : 0.0 sec. user=mdettweiler [2016-05-23 19:29:56] 625*2^1430149-1 is not prime. Res64: 032DE93482DD915B Time : 0.0 sec. user=mdettweiler [2016-05-23 19:29:56] 645*2^1430150-1 is not prime. Res64: 41E1086A7FAFF8D2 Time : 0.0 sec. user=mdettweiler [2016-05-23 19:29:56] 649*2^1430149-1 is not prime. Res64: 0F8E96F9E5D82C9E Time : 0.0 sec. user=mdettweiler [2016-05-23 19:29:56] 657*2^1430150-1 is not prime. Res64: BE2E4F81AE8EF483 Time : 0.0 sec. user=mdettweiler [2016-05-23 19:29:57] 789*2^1430149-1 is not prime. Res64: 7B2158F1771166C1 Time : 0.0 sec. user=mdettweiler [2016-05-23 19:29:57] 663*2^1430150-1 is not prime. Res64: 769D174B0C1B1D3C Time : 0.0 sec. user=mdettweiler [2016-05-23 19:29:57] 855*2^1430149-1 is not prime. Res64: 60A599BB59F6535A Time : 0.0 sec. user=mdettweiler [2016-05-23 19:30:53] 797*2^1430150-1 is not prime. Res64: DCEA69754D71A74E Time : 0.0 sec. user=mdettweiler [2016-05-23 19:30:53] 825*2^1430150-1 is not prime. Res64: 9B33795B3D59645B Time : 0.0 sec. user=mdettweiler [2016-05-23 19:30:54] 845*2^1430150-1 is not prime. Res64: 122B56EFFC575DA3 Time : 0.0 sec. user=mdettweiler [2016-05-23 19:30:54] 851*2^1430150-1 is not prime. Res64: 35B5977EFB43D9D3 Time : 0.0 sec. user=mdettweiler [2016-05-23 19:30:54] 885*2^1430150-1 is not prime. Res64: F3AFE7DBD9C4D485 Time : 0.0 sec. user=mdettweiler [2016-05-23 19:52:15] 911*2^1430150-1 is not prime. Res64: 750BA174648BA7D5 Time : 0.0 sec. user=mdettweiler [2016-05-23 19:52:16] 917*2^1430150-1 is not prime. Res64: F6DEDF45C799FA06 Time : 0.0 sec. user=mdettweiler [2016-05-23 19:52:16] 957*2^1430150-1 is not prime. Res64: 6B1F0A812873D401 Time : 0.0 sec. user=mdettweiler [2016-05-23 19:52:16] 643*2^1430151-1 is not prime. Res64: C75B0839C97A519D Time : 0.0 sec. user=mdettweiler [2016-05-23 19:52:17] 781*2^1430151-1 is not prime. Res64: FCE01E3F73EA14CA Time : 0.0 sec. user=mdettweiler [2016-05-23 20:15:02] 615*2^1430153-1 is not prime. Res64: 67F0E318C592671F Time : 0.0 sec. user=mdettweiler [2016-05-23 20:15:03] 861*2^1430153-1 is not prime. Res64: C997CEB094E65C0A Time : 0.0 sec. user=mdettweiler [2016-05-23 20:15:03] 867*2^1430153-1 is not prime. Res64: 8C00BF599484AC52 Time : 0.0 sec. user=mdettweiler [2016-05-23 20:15:04] 949*2^1430153-1 is not prime. Res64: 7C09FD2D012459AA Time : 0.0 sec. user=mdettweiler [2016-05-23 20:15:04] 605*2^1430154-1 is not prime. Res64: D65BA32760827D74 Time : 0.0 sec. user=mdettweiler [2016-05-23 20:15:10] 793*2^1430151-1 is not prime. Res64: 9CC607B119F5324D Time : 0.0 sec. user=mdettweiler [2016-05-23 20:15:11] 861*2^1430151-1 is not prime. Res64: 06A10682F21C46C5 Time : 0.0 sec. user=mdettweiler [2016-05-23 20:15:12] 675*2^1430152-1 is not prime. Res64: 8F95C862724ECE56 Time : 0.0 sec. user=mdettweiler [2016-05-23 20:15:12] 825*2^1430152-1 is not prime. Res64: B6E61B3C7ED1BA2A Time : 0.0 sec. user=mdettweiler [2016-05-23 20:15:13] 975*2^1430152-1 is not prime. Res64: 082D11C5CBB94511 Time : 0.0 sec. user=mdettweiler [2016-05-23 20:16:03] 635*2^1430154-1 is not prime. Res64: A50D340B1099042A Time : 0.0 sec. user=mdettweiler [2016-05-23 20:16:03] 803*2^1430154-1 is not prime. Res64: E8280CD8785F5482 Time : 0.0 sec. user=mdettweiler [2016-05-23 20:16:03] 825*2^1430154-1 is not prime. Res64: D37FB7C9CBF061F0 Time : 0.0 sec. user=mdettweiler [2016-05-23 20:16:04] 851*2^1430154-1 is not prime. Res64: 9F29B8FE6A8ED740 Time : 0.0 sec. user=mdettweiler [2016-05-23 20:16:04] 885*2^1430154-1 is not prime. Res64: F0624B8098D460B7 Time : 0.0 sec. user=mdettweiler [2016-05-23 20:37:33] 983*2^1430154-1 is not prime. Res64: 409E5086BBE231DB Time : 0.0 sec. user=mdettweiler [2016-05-23 20:37:33] 673*2^1430155-1 is not prime. Res64: F293DCE425BCE0F3 Time : 0.0 sec. user=mdettweiler [2016-05-23 20:37:34] 735*2^1430155-1 is not prime. Res64: 5F5CA04584B35939 Time : 0.0 sec. user=mdettweiler [2016-05-23 20:37:34] 775*2^1430155-1 is not prime. Res64: 6F43DF1AC7EBD2B5 Time : 0.0 sec. user=mdettweiler [2016-05-23 20:37:34] 859*2^1430155-1 is not prime. Res64: FAD2A7CBA002A02D Time : 0.0 sec. user=mdettweiler [2016-05-23 21:00:01] 973*2^1430155-1 is not prime. Res64: 392B5E0EF84CA887 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:00:01] 617*2^1430156-1 is not prime. Res64: EC1C4B322DE97143 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:00:01] 789*2^1430156-1 is not prime. Res64: FE201B8F1ABD1B0A Time : 0.0 sec. user=mdettweiler [2016-05-23 21:00:02] 827*2^1430156-1 is not prime. Res64: 78C1FE8F6449E94B Time : 0.0 sec. user=mdettweiler [2016-05-23 21:00:03] 627*2^1430157-1 is not prime. Res64: 673E16B11F487C8A Time : 0.0 sec. user=mdettweiler [2016-05-23 21:00:21] 727*2^1430157-1 is not prime. Res64: B925B22C9D2BB594 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:00:22] 805*2^1430157-1 is not prime. Res64: 184CA153223F546D Time : 0.0 sec. user=mdettweiler [2016-05-23 21:00:23] 847*2^1430157-1 is not prime. Res64: 69752071B80F393D Time : 0.0 sec. user=mdettweiler [2016-05-23 21:00:24] 865*2^1430157-1 is not prime. Res64: 2C707212F5C41055 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:00:25] 871*2^1430157-1 is not prime. Res64: 4F6665874600FFE9 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:00:57] 927*2^1430157-1 is not prime. Res64: 351FD31F306167CF Time : 0.0 sec. user=mdettweiler [2016-05-23 21:00:58] 955*2^1430157-1 is not prime. Res64: AE13BA58B31426A1 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:00:59] 651*2^1430158-1 is not prime. Res64: AE3D2AFA88F9DE3D Time : 0.0 sec. user=mdettweiler [2016-05-23 21:01:00] 681*2^1430158-1 is not prime. Res64: CD3FAD41EC7A97E0 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:01:00] 821*2^1430158-1 is not prime. Res64: 5AA2A68C41EB2E60 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:22:41] 833*2^1430158-1 is not prime. Res64: 3DC13EE259280FF7 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:22:42] 843*2^1430158-1 is not prime. Res64: 82FF73B68E4A833A Time : 0.0 sec. user=mdettweiler [2016-05-23 21:22:42] 845*2^1430158-1 is not prime. Res64: A34BFA2FA76CCEE0 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:22:43] 915*2^1430158-1 is not prime. Res64: 98DAC4E5548280F8 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:22:43] 971*2^1430158-1 is not prime. Res64: 97405772ADB2A062 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:45:18] 621*2^1430159-1 is not prime. Res64: 43AA02BEA68B5434 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:45:18] 661*2^1430159-1 is not prime. Res64: 40E682023605804A Time : 0.0 sec. user=mdettweiler [2016-05-23 21:45:19] 759*2^1430159-1 is not prime. Res64: 8FE59CD02060C465 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:45:19] 825*2^1430159-1 is not prime. Res64: 45BF8A9625636966 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:45:19] 843*2^1430159-1 is not prime. Res64: EF21AE4FD6BB696B Time : 0.0 sec. user=mdettweiler [2016-05-23 21:45:33] 913*2^1430159-1 is not prime. Res64: 806B5B85C4500B19 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:45:33] 943*2^1430159-1 is not prime. Res64: DCC22E04F4CD0E86 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:45:34] 955*2^1430159-1 is not prime. Res64: 3F8290E5F18A7AC4 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:45:34] 985*2^1430159-1 is not prime. Res64: CBC389D4FCB5F1AA Time : 0.0 sec. user=mdettweiler [2016-05-23 21:45:35] 725*2^1430160-1 is not prime. Res64: B34A11B6D022FBA1 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:46:25] 899*2^1430160-1 is not prime. Res64: 6397BFEFD8CC3DDE Time : 0.0 sec. user=mdettweiler [2016-05-23 21:46:26] 959*2^1430160-1 is not prime. Res64: 1E8E435A708FA6C1 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:46:26] 983*2^1430160-1 is not prime. Res64: E7893073C16B7EC7 Time : 0.0 sec. user=mdettweiler [2016-05-23 21:46:27] 625*2^1430161-1 is not prime. Res64: 4A366CC78DC9F1CA Time : 0.0 sec. user=mdettweiler [2016-05-23 21:46:27] 801*2^1430161-1 is not prime. Res64: 15C2C3AD1E574ABA Time : 0.0 sec. user=mdettweiler [2016-05-23 22:08:17] 805*2^1430161-1 is not prime. Res64: E5F453D2A2BE3352 Time : 0.0 sec. user=mdettweiler [2016-05-23 22:08:18] 877*2^1430161-1 is not prime. Res64: 9B6382B291CCCE43 Time : 0.0 sec. user=mdettweiler [2016-05-23 22:08:18] 987*2^1430161-1 is not prime. Res64: 4B1A1601594BE9B1 Time : 0.0 sec. user=mdettweiler [2016-05-23 22:08:19] 997*2^1430161-1 is not prime. Res64: 9ED83EA6A7EBC8F4 Time : 0.0 sec. user=mdettweiler [2016-05-23 22:08:19] 999*2^1430161-1 is not prime. Res64: 539D211D5546C44E Time : 0.0 sec. user=mdettweiler [2016-05-23 22:30:27] 735*2^1430162-1 is not prime. Res64: 8203C06185B69D51 Time : 0.0 sec. user=mdettweiler [2016-05-23 22:30:27] 827*2^1430162-1 is not prime. Res64: F2A0173967279192 Time : 0.0 sec. user=mdettweiler [2016-05-23 22:30:28] 867*2^1430162-1 is not prime. Res64: E3709D84F1D9376A Time : 0.0 sec. user=mdettweiler [2016-05-23 22:30:28] 911*2^1430162-1 is not prime. Res64: CEB2024BA25FDD55 Time : 0.0 sec. user=mdettweiler [2016-05-23 22:30:29] 935*2^1430162-1 is not prime. Res64: 20AB8027A7806BD2 Time : 0.0 sec. user=mdettweiler [2016-05-23 22:30:31] 963*2^1430162-1 is not prime. Res64: CE79AE38D07D28B9 Time : 0.0 sec. user=mdettweiler [2016-05-23 22:30:31] 609*2^1430163-1 is not prime. Res64: 26FD8AD217B212A2 Time : 0.0 sec. user=mdettweiler [2016-05-23 22:30:32] 735*2^1430163-1 is not prime. Res64: 337E08DDEEE3134F Time : 0.0 sec. user=mdettweiler [2016-05-23 22:30:32] 741*2^1430163-1 is not prime. Res64: AB81D4F9059C5830 Time : 0.0 sec. user=mdettweiler [2016-05-23 22:30:32] 793*2^1430163-1 is not prime. Res64: 4F093C00E280B7E5 Time : 0.0 sec. user=mdettweiler [2016-05-23 22:31:51] 853*2^1430163-1 is not prime. Res64: AC605EF6AA7EBDFA Time : 0.0 sec. user=mdettweiler [2016-05-23 22:31:52] 871*2^1430163-1 is not prime. Res64: CBFE2A70CBD838EE Time : 0.0 sec. user=mdettweiler [2016-05-23 22:31:52] 943*2^1430163-1 is not prime. Res64: 64B094DB995B6805 Time : 0.0 sec. user=mdettweiler [2016-05-23 22:31:52] 951*2^1430163-1 is not prime. Res64: 87B4139E542B5896 Time : 0.0 sec. user=mdettweiler [2016-05-23 22:31:53] 657*2^1430164-1 is not prime. Res64: 8FEF36CF80EFCFDA Time : 0.0 sec. user=mdettweiler [2016-05-23 22:53:24] 783*2^1430164-1 is not prime. Res64: 8DEC5B0578B9F15D Time : 0.0 sec. user=mdettweiler [2016-05-23 22:53:24] 905*2^1430164-1 is not prime. Res64: 4A3AE03A409E9A64 Time : 0.0 sec. user=mdettweiler [2016-05-23 22:53:24] 915*2^1430164-1 is not prime. Res64: 9BBEDB242C3D4096 Time : 0.0 sec. user=mdettweiler [2016-05-23 22:53:25] 927*2^1430164-1 is not prime. Res64: 79B568E83AA818E7 Time : 0.0 sec. user=mdettweiler [2016-05-23 22:53:25] 929*2^1430164-1 is not prime. Res64: F0D4111DB30E8049 Time : 0.0 sec. user=mdettweiler [2016-05-23 23:15:28] 939*2^1430165-1 is not prime. Res64: D07E1A5792733464 Time : 0.0 sec. user=mdettweiler [2016-05-23 23:15:28] 991*2^1430165-1 is not prime. Res64: 904573492915B7A6 Time : 0.0 sec. user=mdettweiler [2016-05-23 23:15:29] 713*2^1430166-1 is not prime. Res64: 2099B4AB70B1F12E Time : 0.0 sec. user=mdettweiler [2016-05-23 23:15:29] 717*2^1430166-1 is not prime. Res64: 9F26A01BB91F7968 Time : 0.0 sec. user=mdettweiler [2016-05-23 23:15:30] 761*2^1430166-1 is not prime. Res64: 510DB01F59D3DB64 Time : 0.0 sec. user=mdettweiler [2016-05-23 23:15:37] 995*2^1430164-1 is not prime. Res64: 16DE3B3D63E7A266 Time : 0.0 sec. user=mdettweiler [2016-05-23 23:15:37] 627*2^1430165-1 is not prime. Res64: 02F1B78986D7DB91 Time : 0.0 sec. user=mdettweiler [2016-05-23 23:15:37] 649*2^1430165-1 is not prime. Res64: CA95967E3ADC60FA Time : 0.0 sec. user=mdettweiler [2016-05-23 23:15:38] 735*2^1430165-1 is not prime. Res64: 01781B8F6A0450C9 Time : 0.0 sec. user=mdettweiler [2016-05-23 23:15:38] 865*2^1430165-1 is not prime. Res64: 957D5A548BB5C7C7 Time : 0.0 sec. user=mdettweiler [2016-05-23 23:16:44] 801*2^1430166-1 is not prime. Res64: 6601743D6B2757CA Time : 0.0 sec. user=mdettweiler [2016-05-23 23:16:44] 893*2^1430166-1 is not prime. Res64: 2684AB629D2FE869 Time : 0.0 sec. user=mdettweiler [2016-05-23 23:16:45] 903*2^1430166-1 is not prime. Res64: 2598227CB62A6640 Time : 0.0 sec. user=mdettweiler [2016-05-23 23:16:45] 945*2^1430166-1 is not prime. Res64: 04CCA04CCEBD0198 Time : 0.0 sec. user=mdettweiler [2016-05-23 23:16:45] 947*2^1430166-1 is not prime. Res64: C744533777C6C4AA Time : 0.0 sec. user=mdettweiler [2016-05-23 23:38:35] 645*2^1430167-1 is not prime. Res64: E768347B26EF7148 Time : 0.0 sec. user=mdettweiler [2016-05-23 23:38:36] 813*2^1430167-1 is not prime. Res64: 8CBDBB0651DFF4DC Time : 0.0 sec. user=mdettweiler [2016-05-23 23:38:36] 871*2^1430167-1 is not prime. Res64: 8890FF5CE3A6F549 Time : 0.0 sec. user=mdettweiler [2016-05-23 23:38:36] 913*2^1430167-1 is not prime. Res64: 1760D214929E1729 Time : 0.0 sec. user=mdettweiler [2016-05-23 23:38:37] 939*2^1430167-1 is not prime. Res64: 3E48E05A0F09CA02 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:00:44] 603*2^1430168-1 is not prime. Res64: 222F80B02F39AF49 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:00:44] 601*2^1430169-1 is not prime. Res64: 4752918A71D4AB3A Time : 0.0 sec. user=mdettweiler [2016-05-24 00:00:45] 759*2^1430168-1 is not prime. Res64: 18EA20CEBFE1A8FB Time : 0.0 sec. user=mdettweiler [2016-05-24 00:00:45] 669*2^1430169-1 is not prime. Res64: 9D1CB30398EF83A7 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:00:45] 855*2^1430168-1 is not prime. Res64: 025ED12280EEB3BC Time : 0.0 sec. user=mdettweiler [2016-05-24 00:00:45] 745*2^1430169-1 is not prime. Res64: 53332583A1DCD7B1 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:00:46] 897*2^1430168-1 is not prime. Res64: 83072D45719100B3 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:00:46] 747*2^1430169-1 is not prime. Res64: EC5C80BAC8D9510F Time : 0.0 sec. user=mdettweiler [2016-05-24 00:00:46] 759*2^1430169-1 is not prime. Res64: A633EC3320F0AAC9 Time : 0.0 sec. user=mdettweiler [2016-05-24 00:00:46] 999*2^1430168-1 is not prime. Res64: E3BA61BA0B9C9A83 Time : 0.0 sec.