user=mdettweiler [2016-10-20 00:14:50] 715*2^1443293-1 is not prime. Res64: E42BA0490EAD8F79 Time : 0.0 sec. user=mdettweiler [2016-10-20 00:14:50] 741*2^1443293-1 is not prime. Res64: B88E6130902B201A Time : 0.0 sec. user=mdettweiler [2016-10-20 00:14:50] 789*2^1443293-1 is not prime. Res64: D4A3728C5134B1F1 Time : 0.0 sec. user=mdettweiler [2016-10-20 00:14:51] 811*2^1443293-1 is not prime. Res64: F94CC7B5B4C97AC4 Time : 0.0 sec. user=mdettweiler [2016-10-20 00:14:51] 969*2^1443293-1 is not prime. Res64: 6FC85591677619B7 Time : 0.0 sec. user=mdettweiler [2016-10-20 00:20:40] 737*2^1443294-1 is not prime. Res64: C0B2BC1A3C341876 Time : 0.0 sec. user=mdettweiler [2016-10-20 00:20:40] 825*2^1443294-1 is not prime. Res64: 8385182E19C879BB Time : 0.0 sec. user=mdettweiler [2016-10-20 00:20:40] 881*2^1443294-1 is not prime. Res64: E331562CDA033825 Time : 0.0 sec. user=mdettweiler [2016-10-20 00:20:41] 885*2^1443294-1 is not prime. Res64: E2E6D263E4D4B27E Time : 0.0 sec. user=mdettweiler [2016-10-20 00:20:41] 903*2^1443294-1 is not prime. Res64: CEB4A4DE4A028627 Time : 0.0 sec. user=mdettweiler [2016-10-20 00:43:24] 843*2^1443295-1 is not prime. Res64: F682E3C85CAB6B8A Time : 0.0 sec. user=mdettweiler [2016-10-20 00:43:24] 891*2^1443295-1 is not prime. Res64: 1DA06F012F55FA5B Time : 0.0 sec. user=mdettweiler [2016-10-20 00:43:24] 925*2^1443295-1 is not prime. Res64: 07AD0571CC195817 Time : 0.0 sec. user=mdettweiler [2016-10-20 00:43:25] 961*2^1443295-1 is not prime. Res64: DC24D74DEEF233EA Time : 0.0 sec. user=mdettweiler [2016-10-20 00:43:25] 609*2^1443296-1 is not prime. Res64: 34D0F81247A834D5 Time : 0.0 sec. user=mdettweiler [2016-10-20 00:43:31] 941*2^1443294-1 is not prime. Res64: 6C4EEFE02D1F18B6 Time : 0.0 sec. user=mdettweiler [2016-10-20 00:43:31] 603*2^1443295-1 is not prime. Res64: 033371F2503854B3 Time : 0.0 sec. user=mdettweiler [2016-10-20 00:43:32] 685*2^1443295-1 is not prime. Res64: EA54A5251BF2E9C2 Time : 0.0 sec. user=mdettweiler [2016-10-20 00:43:32] 709*2^1443295-1 is not prime. Res64: 53B08EB317202728 Time : 0.0 sec. user=mdettweiler [2016-10-20 00:43:32] 715*2^1443295-1 is not prime. Res64: 92DCB8C28BE9777A Time : 0.0 sec. user=mdettweiler [2016-10-20 00:59:39] 633*2^1443296-1 is not prime. Res64: F88024B71BD1385F Time : 0.0 sec. user=mdettweiler [2016-10-20 00:59:40] 645*2^1443296-1 is not prime. Res64: 5006DD4499A5101C Time : 0.0 sec. user=mdettweiler [2016-10-20 00:59:40] 683*2^1443296-1 is not prime. Res64: 9AA7D6C16AAC88D2 Time : 0.0 sec. user=mdettweiler [2016-10-20 00:59:41] 773*2^1443296-1 is not prime. Res64: 2D148A43E8001877 Time : 0.0 sec. user=mdettweiler [2016-10-20 00:59:41] 867*2^1443296-1 is not prime. Res64: C281AE7F41A0FFF8 Time : 0.0 sec. user=mdettweiler [2016-10-20 01:05:45] 875*2^1443296-1 is not prime. Res64: 8DD115F7866E6622 Time : 0.0 sec. user=mdettweiler [2016-10-20 01:05:46] 957*2^1443296-1 is not prime. Res64: 7AE8C6DD3AE2EE45 Time : 0.0 sec. user=mdettweiler [2016-10-20 01:05:47] 637*2^1443297-1 is not prime. Res64: CC861AEF02F39964 Time : 0.0 sec. user=mdettweiler [2016-10-20 01:05:48] 747*2^1443297-1 is not prime. Res64: 2590759260A654C5 Time : 0.0 sec. user=mdettweiler [2016-10-20 01:05:49] 765*2^1443297-1 is not prime. Res64: 049FAC3594FE2653 Time : 0.0 sec. user=mdettweiler [2016-10-20 01:28:05] 807*2^1443297-1 is not prime. Res64: B61445B0AB70C46A Time : 0.0 sec. user=mdettweiler [2016-10-20 01:28:06] 885*2^1443297-1 is not prime. Res64: 09C795BAC9F64B0E Time : 0.0 sec. user=mdettweiler [2016-10-20 01:28:07] 945*2^1443297-1 is not prime. Res64: 67B9624D866D59C0 Time : 0.0 sec. user=mdettweiler [2016-10-20 01:28:08] 979*2^1443297-1 is not prime. Res64: FFAD03ECDE84572F Time : 0.0 sec. user=mdettweiler [2016-10-20 01:28:10] 665*2^1443298-1 is not prime. Res64: E43F69D9B07A6932 Time : 0.0 sec. user=mdettweiler [2016-10-20 01:28:10] 773*2^1443298-1 is not prime. Res64: 6C4CB597220E12CC Time : 0.0 sec. user=mdettweiler [2016-10-20 01:28:11] 655*2^1443299-1 is not prime. Res64: 3C07DA78F27B2D6F Time : 0.0 sec. user=mdettweiler [2016-10-20 01:28:12] 745*2^1443299-1 is not prime. Res64: 5256B3E0C924286E Time : 0.0 sec. user=mdettweiler [2016-10-20 01:28:14] 823*2^1443299-1 is not prime. Res64: CCB4A56A025D029C Time : 0.0 sec. user=mdettweiler [2016-10-20 01:28:16] 909*2^1443299-1 is not prime. Res64: B5F9F38E72E8963B Time : 0.0 sec. user=mdettweiler [2016-10-20 01:44:29] 913*2^1443299-1 is not prime. Res64: 8336881561D93B13 Time : 0.0 sec. user=mdettweiler [2016-10-20 01:44:29] 939*2^1443299-1 is not prime. Res64: F71F883A26E07412 Time : 0.0 sec. user=mdettweiler [2016-10-20 01:44:30] 753*2^1443300-1 is not prime. Res64: 6914928BDF4DCC64 Time : 0.0 sec. user=mdettweiler [2016-10-20 01:44:30] 839*2^1443300-1 is not prime. Res64: 6601CA2C3D3031AA Time : 0.0 sec. user=mdettweiler [2016-10-20 01:44:31] 933*2^1443300-1 is not prime. Res64: 51FBE9B2D6481DBB Time : 0.0 sec. user=mdettweiler [2016-10-20 01:50:40] 959*2^1443300-1 is not prime. Res64: EEAC5CEB3809FE59 Time : 0.0 sec. user=mdettweiler [2016-10-20 01:50:40] 625*2^1443301-1 is not prime. Res64: 30F7FB608331CD35 Time : 0.0 sec. user=mdettweiler [2016-10-20 01:50:41] 639*2^1443301-1 is not prime. Res64: 8017A492C12D904D Time : 0.0 sec. user=mdettweiler [2016-10-20 01:50:41] 645*2^1443301-1 is not prime. Res64: 08122EBF7D5A4F95 Time : 0.0 sec. user=mdettweiler [2016-10-20 01:50:41] 691*2^1443301-1 is not prime. Res64: A9635C9C55DD5E30 Time : 0.0 sec. user=mdettweiler [2016-10-20 02:13:17] 885*2^1443302-1 is not prime. Res64: 0F186B232BEA03EC Time : 0.0 sec. user=mdettweiler [2016-10-20 02:13:17] 887*2^1443302-1 is not prime. Res64: E46BAD2281D9D59A Time : 0.0 sec. user=mdettweiler [2016-10-20 02:13:18] 897*2^1443302-1 is not prime. Res64: 5C6C11294404235B Time : 0.0 sec. user=mdettweiler [2016-10-20 02:13:18] 745*2^1443301-1 is not prime. Res64: 668DB63E7FFE95E0 Time : 0.0 sec. user=mdettweiler [2016-10-20 02:13:18] 917*2^1443302-1 is not prime. Res64: 64859C8E927FDF89 Time : 0.0 sec. user=mdettweiler [2016-10-20 02:13:18] 751*2^1443301-1 is not prime. Res64: CD510CD649C5D90C Time : 0.0 sec. user=mdettweiler [2016-10-20 02:13:18] 639*2^1443303-1 is not prime. Res64: 3053E94957E63A07 Time : 0.0 sec. user=mdettweiler [2016-10-20 02:13:19] 615*2^1443302-1 is not prime. Res64: 4C0D63F8622D55CE Time : 0.0 sec. user=mdettweiler [2016-10-20 02:13:19] 671*2^1443302-1 is not prime. Res64: 62285E5A42003109 Time : 0.0 sec. user=mdettweiler [2016-10-20 02:13:20] 873*2^1443302-1 is not prime. Res64: E691C15FBC269F10 Time : 0.0 sec. user=mdettweiler [2016-10-20 02:30:33] 643*2^1443303-1 is not prime. Res64: 15F2804C930D9841 Time : 0.0 sec. user=mdettweiler [2016-10-20 02:30:34] 649*2^1443303-1 is not prime. Res64: B84D038C7557C761 Time : 0.0 sec. user=mdettweiler [2016-10-20 02:30:35] 679*2^1443303-1 is not prime. Res64: DD1623A5B93A1F5B Time : 0.0 sec. user=mdettweiler [2016-10-20 02:30:35] 705*2^1443303-1 is not prime. Res64: 8DD44C9790BC80CC Time : 0.0 sec. user=mdettweiler [2016-10-20 02:30:36] 609*2^1443304-1 is not prime. Res64: A45A9CB638966B60 Time : 0.0 sec. user=mdettweiler [2016-10-20 02:37:24] 657*2^1443304-1 is not prime. Res64: 590DB4E73FEEFA65 Time : 0.0 sec. user=mdettweiler [2016-10-20 02:37:24] 773*2^1443304-1 is not prime. Res64: 5692C18864FDB41D Time : 0.0 sec. user=mdettweiler [2016-10-20 02:37:25] 825*2^1443304-1 is not prime. Res64: 1DFBA57A4585F8DD Time : 0.0 sec. user=mdettweiler [2016-10-20 02:37:25] 849*2^1443304-1 is not prime. Res64: F2095B1C070A5451 Time : 0.0 sec. user=mdettweiler [2016-10-20 02:37:26] 863*2^1443304-1 is not prime. Res64: 02E5EDCFE43D9CAC Time : 0.0 sec. user=mdettweiler [2016-10-20 02:58:53] 939*2^1443305-1 is not prime. Res64: 4E8A6E0DE793D512 Time : 0.0 sec. user=mdettweiler [2016-10-20 02:58:54] 671*2^1443306-1 is not prime. Res64: 22A345CEDE88B882 Time : 0.0 sec. user=mdettweiler [2016-10-20 02:58:54] 713*2^1443306-1 is not prime. Res64: 0F80DCC48BC94BBB Time : 0.0 sec. user=mdettweiler [2016-10-20 02:58:54] 735*2^1443306-1 is not prime. Res64: 8A20A9D7294EFC14 Time : 0.0 sec. user=mdettweiler [2016-10-20 02:58:55] 741*2^1443306-1 is not prime. Res64: D8D389E0289A95D9 Time : 0.0 sec. user=mdettweiler [2016-10-20 02:59:16] 657*2^1443305-1 is not prime. Res64: 7C4069BF9487DC5F Time : 0.0 sec. user=mdettweiler [2016-10-20 02:59:16] 759*2^1443305-1 is not prime. Res64: CCE0B3C2BA3CCF76 Time : 0.0 sec. user=mdettweiler [2016-10-20 02:59:16] 777*2^1443305-1 is not prime. Res64: C12F199F96EDAEEC Time : 0.0 sec. user=mdettweiler [2016-10-20 02:59:17] 787*2^1443305-1 is not prime. Res64: 1E641FA94DCCE755 Time : 0.0 sec. user=mdettweiler [2016-10-20 02:59:17] 825*2^1443306-1 is not prime. Res64: E43D09EB8B575A42 Time : 0.0 sec. user=mdettweiler [2016-10-20 03:15:32] 875*2^1443306-1 is not prime. Res64: FA312E8E9ECEA34E Time : 0.0 sec. user=mdettweiler [2016-10-20 03:15:35] 887*2^1443306-1 is not prime. Res64: 89F4AAE5639A9E1A Time : 0.0 sec. user=mdettweiler [2016-10-20 03:15:38] 699*2^1443307-1 is not prime. Res64: 8EF3D86101F596BA Time : 0.0 sec. user=mdettweiler [2016-10-20 03:15:43] 751*2^1443307-1 is not prime. Res64: 54941A9EB60DB72E Time : 0.0 sec. user=mdettweiler [2016-10-20 03:15:44] 829*2^1443307-1 is not prime. Res64: A063D6CA98C3C2C6 Time : 0.0 sec. user=mdettweiler [2016-10-20 03:22:24] 885*2^1443307-1 is not prime. Res64: 989C3132E616304B Time : 0.0 sec. user=mdettweiler [2016-10-20 03:22:24] 915*2^1443307-1 is not prime. Res64: 81AA0E63FFF3F171 Time : 0.0 sec. user=mdettweiler [2016-10-20 03:22:24] 635*2^1443308-1 is not prime. Res64: 7393CA2E767A9488 Time : 0.0 sec. user=mdettweiler [2016-10-20 03:22:25] 657*2^1443308-1 is not prime. Res64: 0E5A86C5E90A3FE9 Time : 0.0 sec. user=mdettweiler [2016-10-20 03:22:26] 663*2^1443308-1 is not prime. Res64: 44815933E0798088 Time : 0.0 sec. user=mdettweiler [2016-10-20 03:44:01] 753*2^1443308-1 is not prime. Res64: 04AB5BC6D8651E9E Time : 0.0 sec. user=mdettweiler [2016-10-20 03:44:04] 777*2^1443308-1 is not prime. Res64: A107E08889E6B7B7 Time : 0.0 sec. user=mdettweiler [2016-10-20 03:44:05] 897*2^1443308-1 is not prime. Res64: 889CAF6C50A5D0C4 Time : 0.0 sec. user=mdettweiler [2016-10-20 03:44:07] 655*2^1443309-1 is not prime. Res64: 1B6A31EDA2408DB4 Time : 0.0 sec. user=mdettweiler [2016-10-20 03:44:10] 657*2^1443309-1 is not prime. Res64: 8DE1D5D8FC58DBD1 Time : 0.0 sec. user=mdettweiler [2016-10-20 03:44:38] 667*2^1443309-1 is not prime. Res64: 266CCCEABC980393 Time : 0.0 sec. user=mdettweiler [2016-10-20 04:01:16] 717*2^1443310-1 is not prime. Res64: 67D4FA4653540004 Time : 0.0 sec. user=mdettweiler [2016-10-20 04:01:20] 723*2^1443310-1 is not prime. Res64: 9C6C307C3917EEB1 Time : 0.0 sec. user=mdettweiler [2016-10-20 04:01:21] 741*2^1443310-1 is not prime. Res64: 4857BA06016F0C44 Time : 0.0 sec. user=mdettweiler [2016-10-20 04:01:24] 761*2^1443310-1 is not prime. Res64: 2444D00B8917EE0B Time : 0.0 sec. user=mdettweiler [2016-10-20 04:01:29] 777*2^1443310-1 is not prime. Res64: 94CCA20A193DC1D8 Time : 0.0 sec. user=mdettweiler [2016-10-20 04:08:39] 813*2^1443310-1 is not prime. Res64: BFC630284580100D Time : 0.0 sec. user=mdettweiler [2016-10-20 04:08:41] 825*2^1443310-1 is not prime. Res64: 20D66A198AD0B7A9 Time : 0.0 sec. user=mdettweiler [2016-10-20 04:08:44] 987*2^1443310-1 is not prime. Res64: C9C77334117C2E6A Time : 0.0 sec. user=mdettweiler [2016-10-20 04:08:47] 603*2^1443311-1 is not prime. Res64: 494BCD3AC5CFB78B Time : 0.0 sec. user=mdettweiler [2016-10-20 04:08:48] 643*2^1443311-1 is not prime. Res64: 3DD4EA9E4A6EDA91 Time : 0.0 sec. user=mdettweiler [2016-10-20 04:29:59] 661*2^1443311-1 is not prime. Res64: 8EE21065A3A7C7E0 Time : 0.0 sec. user=mdettweiler [2016-10-20 04:29:59] 745*2^1443311-1 is not prime. Res64: 5574DED8C0787F75 Time : 0.0 sec. user=mdettweiler [2016-10-20 04:30:00] 865*2^1443311-1 is not prime. Res64: C6DC6A38724C3CD8 Time : 0.0 sec. user=mdettweiler [2016-10-20 04:30:00] 883*2^1443311-1 is not prime. Res64: 60ADBD69EF4FD85F Time : 0.0 sec. user=mdettweiler [2016-10-20 04:30:00] 943*2^1443311-1 is not prime. Res64: AF00862D09E24F61 Time : 0.0 sec. user=mdettweiler [2016-10-20 04:47:12] 669*2^1443312-1 is not prime. Res64: 7EE364C563D5BE6D Time : 0.0 sec. user=mdettweiler [2016-10-20 04:47:14] 699*2^1443312-1 is not prime. Res64: 32D09273B90BACA9 Time : 0.0 sec. user=mdettweiler [2016-10-20 04:47:16] 737*2^1443312-1 is not prime. Res64: 6B0664057F43B213 Time : 0.0 sec. user=mdettweiler [2016-10-20 04:47:17] 917*2^1443312-1 is not prime. Res64: 33FE4FA22A6CE50B Time : 0.0 sec. user=mdettweiler [2016-10-20 04:47:19] 923*2^1443312-1 is not prime. Res64: E790BCC2D96A4D58 Time : 0.0 sec. user=mdettweiler [2016-10-20 04:54:23] 721*2^1443313-1 is not prime. Res64: F2013E0D8CBA2072 Time : 0.0 sec. user=mdettweiler [2016-10-20 04:54:24] 775*2^1443313-1 is not prime. Res64: E157B8CBB1A763E9 Time : 0.0 sec. user=mdettweiler [2016-10-20 04:54:25] 855*2^1443313-1 is not prime. Res64: 8763003C0C69D81D Time : 0.0 sec. user=mdettweiler [2016-10-20 04:54:25] 867*2^1443313-1 is not prime. Res64: 4A5FA0E46231A3F2 Time : 0.0 sec. user=mdettweiler [2016-10-20 04:54:26] 889*2^1443313-1 is not prime. Res64: 3E6486FDBEE8FB66 Time : 0.0 sec. user=mdettweiler [2016-10-20 05:15:12] 915*2^1443313-1 is not prime. Res64: 60A64F039C25C7C6 Time : 0.0 sec. user=mdettweiler [2016-10-20 05:15:14] 925*2^1443313-1 is not prime. Res64: AB2E9271C90F497C Time : 0.0 sec. user=mdettweiler [2016-10-20 05:15:14] 945*2^1443313-1 is not prime. Res64: FFD7CAA79B3517C4 Time : 0.0 sec. user=mdettweiler [2016-10-20 05:15:15] 951*2^1443313-1 is not prime. Res64: 54A52541EA0A4979 Time : 0.0 sec. user=mdettweiler [2016-10-20 05:15:15] 615*2^1443314-1 is not prime. Res64: 5B8B566FB8EDEF77 Time : 0.0 sec. user=mdettweiler [2016-10-20 05:32:40] 633*2^1443314-1 is not prime. Res64: 43410E07B5643E95 Time : 0.0 sec. user=mdettweiler [2016-10-20 05:32:41] 665*2^1443314-1 is not prime. Res64: 3CBAF9ABC8DDE8C8 Time : 0.0 sec. user=mdettweiler [2016-10-20 05:32:41] 675*2^1443314-1 is not prime. Res64: 02E55572C9CE87B8 Time : 0.0 sec. user=mdettweiler [2016-10-20 05:32:41] 687*2^1443314-1 is not prime. Res64: 8E95592B2AB34FC8 Time : 0.0 sec. user=mdettweiler [2016-10-20 05:32:42] 701*2^1443314-1 is not prime. Res64: AAA36D3B99314985 Time : 0.0 sec. user=mdettweiler [2016-10-20 05:39:55] 705*2^1443314-1 is not prime. Res64: 09965896B19FAA04 Time : 0.0 sec. user=mdettweiler [2016-10-20 05:39:56] 767*2^1443314-1 is not prime. Res64: 8C805EF722ACC7B2 Time : 0.0 sec. user=mdettweiler [2016-10-20 05:39:56] 797*2^1443314-1 is not prime. Res64: 76AEF2710C4F37F5 Time : 0.0 sec. user=mdettweiler [2016-10-20 05:39:57] 837*2^1443314-1 is not prime. Res64: 480BA92946571AF8 Time : 0.0 sec. user=mdettweiler [2016-10-20 05:39:57] 857*2^1443314-1 is not prime. Res64: 9DB4403377953ECE Time : 0.0 sec. user=mdettweiler [2016-10-20 05:56:48] 861*2^1443309-1 is not prime. Res64: CAA7F0BDC9E8B00A Time : 0.0 sec. user=mdettweiler [2016-10-20 05:56:48] 889*2^1443309-1 is not prime. Res64: 44D1E054DDF76AD9 Time : 0.0 sec. user=mdettweiler [2016-10-20 05:56:49] 927*2^1443309-1 is not prime. Res64: 34346951D2030369 Time : 0.0 sec. user=mdettweiler [2016-10-20 05:56:49] 603*2^1443310-1 is not prime. Res64: B051D7A8CB1DD68C Time : 0.0 sec. user=mdettweiler [2016-10-20 06:00:27] 873*2^1443314-1 is not prime. Res64: 91AE9626B39CC8E8 Time : 0.0 sec. user=mdettweiler [2016-10-20 06:00:27] 923*2^1443314-1 is not prime. Res64: 9CDCB14B86E7F3B9 Time : 0.0 sec. user=mdettweiler [2016-10-20 06:00:28] 983*2^1443314-1 is not prime. Res64: 9F2D0AEC9CCB3804 Time : 0.0 sec. user=mdettweiler [2016-10-20 06:00:29] 783*2^1443315-1 is not prime. Res64: 4E84DF39DA5E0023 Time : 0.0 sec. user=mdettweiler [2016-10-20 06:00:30] 949*2^1443315-1 is not prime. Res64: 6672F05A7B328CE3 Time : 0.0 sec. user=mdettweiler [2016-10-20 06:17:58] 951*2^1443315-1 is not prime. Res64: 2C17A8D2F781671A Time : 0.0 sec. user=mdettweiler [2016-10-20 06:17:58] 969*2^1443315-1 is not prime. Res64: A00481BA183CD7FC Time : 0.0 sec. user=mdettweiler [2016-10-20 06:17:59] 979*2^1443315-1 is not prime. Res64: 5BCAF9BBFC808D2B Time : 0.0 sec. user=mdettweiler [2016-10-20 06:17:59] 875*2^1443316-1 is not prime. Res64: 43C27CCD96ED730D Time : 0.0 sec. user=mdettweiler [2016-10-20 06:18:00] 989*2^1443316-1 is not prime. Res64: 394EEDB1D73E15B8 Time : 0.0 sec. user=mdettweiler [2016-10-20 06:25:02] 627*2^1443317-1 is not prime. Res64: A4CE4BC99DD52788 Time : 0.0 sec. user=mdettweiler [2016-10-20 06:25:03] 741*2^1443317-1 is not prime. Res64: A41342392BDFB5F9 Time : 0.0 sec. user=mdettweiler [2016-10-20 06:25:03] 771*2^1443317-1 is not prime. Res64: 0BD0C3C16C632803 Time : 0.0 sec. user=mdettweiler [2016-10-20 06:25:04] 837*2^1443317-1 is not prime. Res64: CD92FBB0F75EC8B9 Time : 0.0 sec. user=mdettweiler [2016-10-20 06:25:04] 847*2^1443317-1 is not prime. Res64: 54F7273E17A3EAD0 Time : 0.0 sec. user=mdettweiler [2016-10-20 06:41:36] 889*2^1443317-1 is not prime. Res64: 3C350DE1F7BA1AF7 Time : 0.0 sec. user=mdettweiler [2016-10-20 06:45:11] 651*2^1443318-1 is not prime. Res64: AB8D401337A5A23D Time : 0.0 sec. user=mdettweiler [2016-10-20 06:45:11] 671*2^1443318-1 is not prime. Res64: 79FDD0140B7C50DA Time : 0.0 sec. user=mdettweiler [2016-10-20 06:45:12] 797*2^1443318-1 is not prime. Res64: 12B4733B26DCC4A6 Time : 0.0 sec. user=mdettweiler [2016-10-20 06:45:12] 833*2^1443318-1 is not prime. Res64: 621C85F342813289 Time : 0.0 sec. user=mdettweiler [2016-10-20 06:45:13] 927*2^1443318-1 is not prime. Res64: 49CD1DD6AC7F225B Time : 0.0 sec. user=mdettweiler [2016-10-20 07:03:12] 933*2^1443318-1 is not prime. Res64: 58DB3941B57FF7B2 Time : 0.0 sec. user=mdettweiler [2016-10-20 07:03:13] 971*2^1443318-1 is not prime. Res64: A3A034F57EA34B32 Time : 0.0 sec. user=mdettweiler [2016-10-20 07:03:14] 977*2^1443318-1 is not prime. Res64: 10E198C87C835C4E Time : 0.0 sec. user=mdettweiler [2016-10-20 07:03:15] 705*2^1443319-1 is not prime. Res64: 6E95FEED185F1667 Time : 0.0 sec. user=mdettweiler [2016-10-20 07:03:16] 745*2^1443319-1 is not prime. Res64: 4F018EEA1DAFC65E Time : 0.0 sec. user=mdettweiler [2016-10-20 07:10:38] 925*2^1443319-1 is not prime. Res64: CD105EADC54F0595 Time : 0.0 sec. user=mdettweiler [2016-10-20 07:10:42] 951*2^1443319-1 is not prime. Res64: 1BA40F67561C60BF Time : 0.0 sec. user=mdettweiler [2016-10-20 07:10:44] 753*2^1443320-1 is not prime. Res64: 518302E9E04D06FF Time : 0.0 sec. user=mdettweiler [2016-10-20 07:10:45] 797*2^1443320-1 is not prime. Res64: 0E524E12BA45FAAC Time : 0.0 sec. user=mdettweiler [2016-10-20 07:10:46] 819*2^1443320-1 is not prime. Res64: B189E2E12C09774D Time : 0.0 sec. user=mdettweiler [2016-10-20 07:31:09] 685*2^1443321-1 is not prime. Res64: A017CB52F52FBD90 Time : 0.0 sec. user=mdettweiler [2016-10-20 07:31:09] 705*2^1443321-1 is not prime. Res64: 572E6A565B46D542 Time : 0.0 sec. user=mdettweiler [2016-10-20 07:31:09] 907*2^1443321-1 is not prime. Res64: 078F9CC9D74162BC Time : 0.0 sec. user=mdettweiler [2016-10-20 07:31:10] 975*2^1443321-1 is not prime. Res64: 78B639202CD5D11A Time : 0.0 sec. user=mdettweiler [2016-10-20 07:31:10] 991*2^1443321-1 is not prime. Res64: 9DF82DA8619EE443 Time : 0.0 sec. user=mdettweiler [2016-10-20 07:49:09] 675*2^1443322-1 is not prime. Res64: 748BF8C8ABAEB9F9 Time : 0.0 sec. user=mdettweiler [2016-10-20 07:49:09] 747*2^1443322-1 is not prime. Res64: 065CB845D88F26BC Time : 0.0 sec. user=mdettweiler [2016-10-20 07:49:10] 777*2^1443322-1 is not prime. Res64: 903BB782A21372FC Time : 0.0 sec. user=mdettweiler [2016-10-20 07:49:10] 867*2^1443322-1 is not prime. Res64: 370A122622589A59 Time : 0.0 sec. user=mdettweiler [2016-10-20 07:49:11] 983*2^1443322-1 is not prime. Res64: 6FE2BC765D356B18 Time : 0.0 sec. user=mdettweiler [2016-10-20 07:56:25] 631*2^1443323-1 is not prime. Res64: E68F68F05B0425E4 Time : 0.0 sec. user=mdettweiler [2016-10-20 07:56:26] 669*2^1443323-1 is not prime. Res64: E5CDFE97B39B657D Time : 0.0 sec. user=mdettweiler [2016-10-20 07:56:26] 699*2^1443323-1 is not prime. Res64: 40D4615D8F5572E9 Time : 0.0 sec. user=mdettweiler [2016-10-20 07:56:26] 705*2^1443323-1 is not prime. Res64: C97878CC2A304221 Time : 0.0 sec. user=mdettweiler [2016-10-20 07:56:27] 723*2^1443324-1 is not prime. Res64: 87409DEAE6E336A0 Time : 0.0 sec. user=mdettweiler [2016-10-20 08:17:05] 765*2^1443324-1 is not prime. Res64: 89C114F472ECECAA Time : 0.0 sec. user=mdettweiler [2016-10-20 08:17:06] 857*2^1443324-1 is not prime. Res64: 5C0AE82E0A6DBE10 Time : 0.0 sec. user=mdettweiler [2016-10-20 08:17:06] 863*2^1443324-1 is not prime. Res64: 0790F744162045B4 Time : 0.0 sec. user=mdettweiler [2016-10-20 08:17:06] 729*2^1443325-1 is not prime. Res64: 794AA4F52C74D83D Time : 0.0 sec. user=mdettweiler [2016-10-20 08:17:07] 777*2^1443325-1 is not prime. Res64: 932E413C47BC3025 Time : 0.0 sec. user=mdettweiler [2016-10-20 08:34:46] 805*2^1443325-1 is not prime. Res64: 2BDC1F7C9B6ED0AE Time : 0.0 sec. user=mdettweiler [2016-10-20 08:34:46] 825*2^1443325-1 is not prime. Res64: 6CBBAF41FEC163F8 Time : 0.0 sec. user=mdettweiler [2016-10-20 08:34:47] 847*2^1443325-1 is not prime. Res64: 668B18D12978FE0E Time : 0.0 sec. user=mdettweiler [2016-10-20 08:34:47] 861*2^1443325-1 is not prime. Res64: 7E9184DF968A59E2 Time : 0.0 sec. user=mdettweiler [2016-10-20 08:34:48] 677*2^1443326-1 is not prime. Res64: 322B04D5CDF67C22 Time : 0.0 sec. user=mdettweiler [2016-10-20 08:42:02] 813*2^1443326-1 is not prime. Res64: 6DF4FABD040A56C9 Time : 0.0 sec. user=mdettweiler [2016-10-20 08:42:02] 945*2^1443326-1 is not prime. Res64: D7DE62472B1551DA Time : 0.0 sec. user=mdettweiler [2016-10-20 08:42:02] 953*2^1443326-1 is not prime. Res64: 868615B6429CAA5F Time : 0.0 sec. user=mdettweiler [2016-10-20 08:42:03] 675*2^1443327-1 is not prime. Res64: C13C2F64863A13A0 Time : 0.0 sec. user=mdettweiler [2016-10-20 08:42:03] 709*2^1443327-1 is not prime. Res64: 0099393698A0660F Time : 0.0 sec. user=mdettweiler [2016-10-20 09:02:40] 645*2^1443328-1 is not prime. Res64: 6EFFE2940C3C6586 Time : 0.0 sec. user=mdettweiler [2016-10-20 09:02:41] 695*2^1443328-1 is not prime. Res64: 03E98C815E8B1645 Time : 0.0 sec. user=mdettweiler [2016-10-20 09:02:42] 705*2^1443328-1 is not prime. Res64: B899E670FD06B823 Time : 0.0 sec. user=mdettweiler [2016-10-20 09:02:43] 777*2^1443328-1 is not prime. Res64: 4A65D5A0B812B694 Time : 0.0 sec. user=mdettweiler [2016-10-20 09:02:44] 813*2^1443328-1 is not prime. Res64: A23B5E80B888642E Time : 0.0 sec. user=mdettweiler [2016-10-20 09:20:37] 839*2^1443328-1 is not prime. Res64: 4D13B60BCFB5C243 Time : 0.0 sec. user=mdettweiler [2016-10-20 09:20:37] 855*2^1443328-1 is not prime. Res64: 940AE35B8164FCE2 Time : 0.0 sec. user=mdettweiler [2016-10-20 09:20:37] 915*2^1443328-1 is not prime. Res64: 909536797563C5A4 Time : 0.0 sec. user=mdettweiler [2016-10-20 09:20:38] 615*2^1443329-1 is not prime. Res64: F4353E528BA94901 Time : 0.0 sec. user=mdettweiler [2016-10-20 09:20:38] 795*2^1443329-1 is not prime. Res64: 71CB71202A7FFFD4 Time : 0.0 sec. user=mdettweiler [2016-10-20 09:27:55] 799*2^1443329-1 is not prime. Res64: 51945AE4886EC327 Time : 0.0 sec. user=mdettweiler [2016-10-20 09:27:55] 837*2^1443329-1 is not prime. Res64: C8454E09827AFA48 Time : 0.0 sec. user=mdettweiler [2016-10-20 09:27:55] 861*2^1443329-1 is not prime. Res64: 81BE6706D647E380 Time : 0.0 sec. user=mdettweiler [2016-10-20 09:27:56] 985*2^1443329-1 is not prime. Res64: 04224ECC62729CE0 Time : 0.0 sec. user=mdettweiler [2016-10-20 09:27:56] 611*2^1443330-1 is not prime. Res64: EAA207BE4AD94DED Time : 0.0 sec. user=mdettweiler [2016-10-20 09:36:49] 901*2^1443317-1 is not prime. Res64: DEDB28363F16EE37 Time : 0.0 sec. user=mdettweiler [2016-10-20 09:36:50] 945*2^1443317-1 is not prime. Res64: 67C348A282DDEC12 Time : 0.0 sec. user=mdettweiler [2016-10-20 09:36:50] 981*2^1443317-1 is not prime. Res64: CF2154B611342F7B Time : 0.0 sec. user=mdettweiler [2016-10-20 09:36:51] 997*2^1443317-1 is not prime. Res64: F65E3423C64826D9 Time : 0.0 sec. user=mdettweiler [2016-10-20 09:48:24] 635*2^1443330-1 is not prime. Res64: FB227F4139FEDE36 Time : 0.0 sec. user=mdettweiler [2016-10-20 09:48:25] 747*2^1443330-1 is not prime. Res64: 3030FBD8A0FDA5DA Time : 0.0 sec. user=mdettweiler [2016-10-20 09:48:25] 773*2^1443330-1 is not prime. Res64: BB81BBAE8CFBB8AC Time : 0.0 sec. user=mdettweiler [2016-10-20 09:48:25] 783*2^1443330-1 is not prime. Res64: A5F9556A690720BA Time : 0.0 sec. user=mdettweiler [2016-10-20 09:48:26] 833*2^1443330-1 is not prime. Res64: A29BF6F907008C6F Time : 0.0 sec. user=mdettweiler [2016-10-20 10:05:47] 917*2^1443330-1 is not prime. Res64: 7FEE40BB45FFD9D4 Time : 0.0 sec. user=mdettweiler [2016-10-20 10:05:49] 601*2^1443331-1 is not prime. Res64: 61F84717A760C0B7 Time : 0.0 sec. user=mdettweiler [2016-10-20 10:05:51] 645*2^1443331-1 is not prime. Res64: 8E2AAF9E400E1520 Time : 0.0 sec. user=mdettweiler [2016-10-20 10:05:55] 693*2^1443331-1 is not prime. Res64: 75BC1B2B31C6D515 Time : 0.0 sec. user=mdettweiler [2016-10-20 10:05:58] 741*2^1443331-1 is not prime. Res64: 661E4F3AF2C874FE Time : 0.0 sec. user=mdettweiler [2016-10-20 10:13:02] 769*2^1443331-1 is not prime. Res64: BD81F17A01A2761E Time : 0.0 sec. user=mdettweiler [2016-10-20 10:13:03] 835*2^1443331-1 is not prime. Res64: F52EBA77CD84CD68 Time : 0.0 sec. user=mdettweiler [2016-10-20 10:13:03] 883*2^1443331-1 is not prime. Res64: 154A27333B2599D3 Time : 0.0 sec. user=mdettweiler [2016-10-20 10:13:03] 889*2^1443331-1 is not prime. Res64: 378B9AA8170EB397 Time : 0.0 sec. user=mdettweiler [2016-10-20 10:13:04] 895*2^1443331-1 is not prime. Res64: A3582F8998317661 Time : 0.0 sec. user=mdettweiler [2016-10-20 10:21:36] 665*2^1443332-1 is not prime. Res64: 35A77840021018BF Time : 0.0 sec. user=mdettweiler [2016-10-20 10:21:37] 669*2^1443332-1 is not prime. Res64: DA55294BDE011DBE Time : 0.0 sec. user=mdettweiler [2016-10-20 10:21:37] 735*2^1443332-1 is not prime. Res64: B084D4CB33D64B5C Time : 0.0 sec. user=mdettweiler [2016-10-20 10:21:37] 797*2^1443332-1 is not prime. Res64: 0F3AF9077915328B Time : 0.0 sec. user=mdettweiler [2016-10-20 10:21:38] 983*2^1443332-1 is not prime. Res64: 82BB83846A393507 Time : 0.0 sec. user=mdettweiler [2016-10-20 10:33:06] 681*2^1443333-1 is not prime. Res64: A6A4D3CB76D02D79 Time : 0.0 sec. user=mdettweiler [2016-10-20 10:33:07] 937*2^1443333-1 is not prime. Res64: 2CA2FA0C23385143 Time : 0.0 sec. user=mdettweiler [2016-10-20 10:33:07] 991*2^1443333-1 is not prime. Res64: 1EE036500CFFF369 Time : 0.0 sec. user=mdettweiler [2016-10-20 10:33:08] 737*2^1443334-1 is not prime. Res64: 720C1CB5236EC9B4 Time : 0.0 sec. user=mdettweiler [2016-10-20 10:33:08] 813*2^1443334-1 is not prime. Res64: D0A95C41E4F4DBD7 Time : 0.0 sec. user=mdettweiler [2016-10-20 10:51:04] 609*2^1443335-1 is not prime. Res64: E29C3E090B6DA87D Time : 0.0 sec. user=mdettweiler [2016-10-20 10:51:04] 705*2^1443335-1 is not prime. Res64: 08A72CF383A0616C Time : 0.0 sec. user=mdettweiler [2016-10-20 10:51:05] 775*2^1443335-1 is not prime. Res64: 4CF1A8F081EB621B Time : 0.0 sec. user=mdettweiler [2016-10-20 10:51:05] 789*2^1443335-1 is not prime. Res64: 42694CA6458A381F Time : 0.0 sec. user=mdettweiler [2016-10-20 10:51:05] 859*2^1443335-1 is not prime. Res64: FBD4C0A783F64911 Time : 0.0 sec. user=mdettweiler [2016-10-20 10:57:49] 861*2^1443335-1 is not prime. Res64: F70E00961EA4BD08 Time : 0.0 sec. user=mdettweiler [2016-10-20 10:57:49] 883*2^1443335-1 is not prime. Res64: 8DD6E1DAE91F91ED Time : 0.0 sec. user=mdettweiler [2016-10-20 10:57:49] 895*2^1443335-1 is not prime. Res64: 37AFA9C71FCCDFDB Time : 0.0 sec. user=mdettweiler [2016-10-20 10:57:50] 921*2^1443335-1 is not prime. Res64: AF7158A395F44357 Time : 0.0 sec. user=mdettweiler [2016-10-20 10:57:50] 979*2^1443335-1 is not prime. Res64: 36A6C26E44D23D2E Time : 0.0 sec. user=mdettweiler [2016-10-20 11:06:35] 627*2^1443336-1 is not prime. Res64: 977BFBB339660988 Time : 0.0 sec. user=mdettweiler [2016-10-20 11:06:39] 843*2^1443336-1 is not prime. Res64: 11EFF47238DF1990 Time : 0.0 sec. user=mdettweiler [2016-10-20 11:06:43] 875*2^1443336-1 is not prime. Res64: C8DE80F8B461CCE3 Time : 0.0 sec. user=mdettweiler [2016-10-20 11:06:45] 905*2^1443336-1 is not prime. Res64: F5B021C9A4FD2E5A Time : 0.0 sec. user=mdettweiler [2016-10-20 11:06:47] 947*2^1443336-1 is not prime. Res64: 199928BEFA6DA251 Time : 0.0 sec. user=mdettweiler [2016-10-20 11:18:00] 983*2^1443336-1 is not prime. Res64: 05A68CCF407855F4 Time : 0.0 sec. user=mdettweiler [2016-10-20 11:18:00] 729*2^1443337-1 is not prime. Res64: 0D017CA60FCD8D70 Time : 0.0 sec. user=mdettweiler [2016-10-20 11:18:00] 747*2^1443337-1 is not prime. Res64: A4903A02BC1CC78D Time : 0.0 sec. user=mdettweiler [2016-10-20 11:18:01] 871*2^1443337-1 is not prime. Res64: EE8D757375AFF4AC Time : 0.0 sec. user=mdettweiler [2016-10-20 11:18:01] 895*2^1443337-1 is not prime. Res64: 09391D2AF7C54946 Time : 0.0 sec. user=mdettweiler [2016-10-20 11:36:20] 955*2^1443337-1 is not prime. Res64: 267FD3D423B47F3C Time : 0.0 sec. user=mdettweiler [2016-10-20 11:36:20] 985*2^1443337-1 is not prime. Res64: 6DD2096D3DBF169F Time : 0.0 sec. user=mdettweiler [2016-10-20 11:36:20] 641*2^1443338-1 is not prime. Res64: 8DFB26E6978697DC Time : 0.0 sec. user=mdettweiler [2016-10-20 11:36:21] 773*2^1443338-1 is not prime. Res64: CBEACB8E1A558758 Time : 0.0 sec. user=mdettweiler [2016-10-20 11:36:21] 857*2^1443338-1 is not prime. Res64: B78F626D05643CF1 Time : 0.0 sec. user=mdettweiler [2016-10-20 11:43:13] 893*2^1443338-1 is not prime. Res64: C78D9DD4B00BAEE4 Time : 0.0 sec. user=mdettweiler [2016-10-20 11:43:14] 625*2^1443339-1 is not prime. Res64: 3EA45412D6DDEA6E Time : 0.0 sec. user=mdettweiler [2016-10-20 11:43:14] 663*2^1443339-1 is not prime. Res64: A6FDE500AD72E231 Time : 0.0 sec. user=mdettweiler [2016-10-20 11:43:15] 753*2^1443339-1 is not prime. Res64: 6AC3DBFEA4E73D77 Time : 0.0 sec. user=mdettweiler [2016-10-20 11:43:15] 825*2^1443339-1 is not prime. Res64: E1FFC8FA5B5B069B Time : 0.0 sec. user=mdettweiler [2016-10-20 11:52:14] 861*2^1443339-1 is not prime. Res64: 5F4C30CDC8086C99 Time : 0.0 sec. user=mdettweiler [2016-10-20 11:52:14] 969*2^1443339-1 is not prime. Res64: 5A5D0CFA4F4A411F Time : 0.0 sec. user=mdettweiler [2016-10-20 11:52:15] 695*2^1443340-1 is not prime. Res64: FB69936CDED3073C Time : 0.0 sec. user=mdettweiler [2016-10-20 11:52:15] 873*2^1443340-1 is not prime. Res64: F1280AB21E4CC7AB Time : 0.0 sec. user=mdettweiler [2016-10-20 11:52:15] 875*2^1443340-1 is not prime. Res64: D1572EE206D9E712 Time : 0.0 sec. user=mdettweiler [2016-10-20 12:03:19] 933*2^1443340-1 is not prime. Res64: 25E4D4A0EAAE3AE4 Time : 0.0 sec. user=mdettweiler [2016-10-20 12:03:20] 939*2^1443340-1 is not prime. Res64: EE548CB44A57B72A Time : 0.0 sec. user=mdettweiler [2016-10-20 12:03:21] 615*2^1443341-1 is not prime. Res64: F33206FCCC4585EF Time : 0.0 sec. user=mdettweiler [2016-10-20 12:03:22] 651*2^1443341-1 is not prime. Res64: 786877EC9F2DE542 Time : 0.0 sec. user=mdettweiler [2016-10-20 12:03:23] 727*2^1443341-1 is not prime. Res64: FAD0CC2A9F10F15E Time : 0.0 sec. user=mdettweiler [2016-10-20 12:21:35] 871*2^1443341-1 is not prime. Res64: 7142704CFD9AC8E4 Time : 0.0 sec. user=mdettweiler [2016-10-20 12:21:36] 635*2^1443342-1 is not prime. Res64: 26B97B5F15EB8BF2 Time : 0.0 sec. user=mdettweiler [2016-10-20 12:21:36] 737*2^1443342-1 is not prime. Res64: A407C119BEC75008 Time : 0.0 sec. user=mdettweiler [2016-10-20 12:21:36] 863*2^1443342-1 is not prime. Res64: FB32559FAC88F2EF Time : 0.0 sec. user=mdettweiler [2016-10-20 12:21:37] 885*2^1443342-1 is not prime. Res64: AEB7BC7A1C32E6C2 Time : 0.0 sec. user=mdettweiler [2016-10-20 12:28:15] 633*2^1443343-1 is not prime. Res64: BC010B9376C18BB2 Time : 0.0 sec. user=mdettweiler [2016-10-20 12:28:16] 723*2^1443343-1 is not prime. Res64: C0AE57920A364A91 Time : 0.0 sec. user=mdettweiler [2016-10-20 12:28:16] 871*2^1443343-1 is not prime. Res64: AEFEE4127ED30011 Time : 0.0 sec. user=mdettweiler [2016-10-20 12:28:16] 985*2^1443343-1 is not prime. Res64: 4B5D3B88A9BE198E Time : 0.0 sec. user=mdettweiler [2016-10-20 12:28:17] 609*2^1443344-1 is not prime. Res64: 57F4BEAE095C1A35 Time : 0.0 sec. user=mdettweiler [2016-10-20 12:37:00] 663*2^1443344-1 is not prime. Res64: BEF6C69DBE1F6FB4 Time : 0.0 sec. user=mdettweiler [2016-10-20 12:37:00] 683*2^1443344-1 is not prime. Res64: 313E7769370E099D Time : 0.0 sec. user=mdettweiler [2016-10-20 12:37:01] 747*2^1443344-1 is not prime. Res64: 0087C7A07F72E3D4 Time : 0.0 sec. user=mdettweiler [2016-10-20 12:37:01] 875*2^1443344-1 is not prime. Res64: 40EC129AAEED65B6 Time : 0.0 sec. user=mdettweiler [2016-10-20 12:37:01] 917*2^1443344-1 is not prime. Res64: 129E2381A7025A48 Time : 0.0 sec. user=mdettweiler [2016-10-20 12:48:19] 945*2^1443344-1 is not prime. Res64: AE5C15D2DCFAA3EA Time : 0.0 sec. user=mdettweiler [2016-10-20 12:48:20] 983*2^1443344-1 is not prime. Res64: 2EC7423185268B85 Time : 0.0 sec. user=mdettweiler [2016-10-20 12:48:20] 607*2^1443345-1 is not prime. Res64: D0EDAEC1BA9A1ACA Time : 0.0 sec. user=mdettweiler [2016-10-20 12:48:20] 777*2^1443345-1 is not prime. Res64: 36001B0CFC1D3F57 Time : 0.0 sec. user=mdettweiler [2016-10-20 12:48:21] 831*2^1443345-1 is not prime. Res64: B08CB9F12A904662 Time : 0.0 sec. user=mdettweiler [2016-10-20 13:06:46] 889*2^1443345-1 is not prime. Res64: 62D8FE0186CBC0BF Time : 0.0 sec. user=mdettweiler [2016-10-20 13:06:48] 895*2^1443345-1 is not prime. Res64: 14DA24C84CE60E79 Time : 0.0 sec. user=mdettweiler [2016-10-20 13:06:50] 955*2^1443345-1 is not prime. Res64: D56B04BE40A5D871 Time : 0.0 sec. user=mdettweiler [2016-10-20 13:06:53] 997*2^1443345-1 is not prime. Res64: 3E3D7C0DECA7D722 Time : 0.0 sec. user=mdettweiler [2016-10-20 13:06:55] 635*2^1443346-1 is not prime. Res64: E2344BB0849AECDB Time : 0.0 sec. user=mdettweiler [2016-10-20 13:13:52] 815*2^1443346-1 is not prime. Res64: CC14174FE56354C2 Time : 0.0 sec. user=mdettweiler [2016-10-20 13:13:53] 833*2^1443346-1 is not prime. Res64: 1830553D01685CE1 Time : 0.0 sec. user=mdettweiler [2016-10-20 13:13:54] 861*2^1443346-1 is not prime. Res64: ACEB4C7BECD87F08 Time : 0.0 sec. user=mdettweiler [2016-10-20 13:13:56] 881*2^1443346-1 is not prime. Res64: 96F3CFDC64A77478 Time : 0.0 sec. user=mdettweiler [2016-10-20 13:13:57] 887*2^1443346-1 is not prime. Res64: 3F4C03D177D679CB Time : 0.0 sec. user=mdettweiler [2016-10-20 13:23:00] 945*2^1443346-1 is not prime. Res64: 3871C2F0F5E31CA3 Time : 0.0 sec. user=mdettweiler [2016-10-20 13:23:01] 621*2^1443347-1 is not prime. Res64: C472E7C5A7FB364A Time : 0.0 sec. user=mdettweiler [2016-10-20 13:23:01] 643*2^1443347-1 is not prime. Res64: 2990E10FEDC18C10 Time : 0.0 sec. user=mdettweiler [2016-10-20 13:23:01] 663*2^1443347-1 is not prime. Res64: 9F708B45FD30BA89 Time : 0.0 sec. user=mdettweiler [2016-10-20 13:23:01] 685*2^1443347-1 is not prime. Res64: AC47F38116B45E66 Time : 0.0 sec. user=mdettweiler [2016-10-20 13:34:51] 759*2^1443347-1 is not prime. Res64: 49E86BB33C50C961 Time : 0.0 sec. user=mdettweiler [2016-10-20 13:34:52] 813*2^1443347-1 is not prime. Res64: 94D191713F6F17D2 Time : 0.0 sec. user=mdettweiler [2016-10-20 13:34:52] 859*2^1443347-1 is not prime. Res64: 46C5DA4201E8E989 Time : 0.0 sec. user=mdettweiler [2016-10-20 13:34:53] 903*2^1443347-1 is not prime. Res64: 60BCA68765A6787E Time : 0.0 sec. user=mdettweiler [2016-10-20 13:34:53] 627*2^1443348-1 is not prime. Res64: CFA6E3E2304C6C83 Time : 0.0 sec. user=mdettweiler [2016-10-20 13:53:43] 669*2^1443348-1 is not prime. Res64: 962573238BD6AE43 Time : 0.0 sec. user=mdettweiler [2016-10-20 13:53:43] 773*2^1443348-1 is not prime. Res64: 348F5F9D17BEC3AD Time : 0.0 sec. user=mdettweiler [2016-10-20 13:53:44] 839*2^1443348-1 is not prime. Res64: 3BD0EA2F37B0453F Time : 0.0 sec. user=mdettweiler [2016-10-20 13:53:44] 957*2^1443348-1 is not prime. Res64: 52F3932053361AEE Time : 0.0 sec. user=mdettweiler [2016-10-20 13:53:45] 959*2^1443348-1 is not prime. Res64: 2EB7AD2AEE529FA2 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:00:41] 969*2^1443348-1 is not prime. Res64: D979A564784CFAF9 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:00:42] 975*2^1443348-1 is not prime. Res64: FA35A66C25528641 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:00:43] 625*2^1443349-1 is not prime. Res64: A04E6EE827EB2CD4 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:00:44] 861*2^1443349-1 is not prime. Res64: 1C434E35E1502C68 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:00:45] 885*2^1443349-1 is not prime. Res64: AF257ECECB6F3406 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:09:42] 919*2^1443349-1 is not prime. Res64: 1289A888D0443D78 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:09:47] 955*2^1443349-1 is not prime. Res64: CCFEBB392379F633 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:09:48] 663*2^1443350-1 is not prime. Res64: 2FE94D13B35F9737 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:09:50] 665*2^1443350-1 is not prime. Res64: CC1E6AEFA2227733 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:09:53] 795*2^1443350-1 is not prime. Res64: C4E888A1FD1BD583 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:21:52] 801*2^1443350-1 is not prime. Res64: C30ACE49FFD823A5 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:21:53] 827*2^1443350-1 is not prime. Res64: B0C4F5F6563BFE95 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:21:53] 851*2^1443350-1 is not prime. Res64: F42C5135D6EADED0 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:21:53] 935*2^1443350-1 is not prime. Res64: A3DDAD384F0E05D2 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:21:53] 951*2^1443350-1 is not prime. Res64: 93BB571271E19C21 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:40:44] 711*2^1443351-1 is not prime. Res64: 0F1D617B4C01EDEE Time : 0.0 sec. user=mdettweiler [2016-10-20 14:40:44] 979*2^1443351-1 is not prime. Res64: 44ED637F20ADAD12 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:40:45] 635*2^1443352-1 is not prime. Res64: 957A534DC8EE662D Time : 0.0 sec. user=mdettweiler [2016-10-20 14:40:45] 743*2^1443352-1 is not prime. Res64: C645A9C60B8905C8 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:40:45] 779*2^1443352-1 is not prime. Res64: 1CF29D0B4EF0E6B7 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:48:13] 995*2^1443352-1 is not prime. Res64: 089A671B809B0658 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:48:13] 627*2^1443353-1 is not prime. Res64: EE03827956347147 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:48:13] 657*2^1443353-1 is not prime. Res64: 287296AD33EB98CF Time : 0.0 sec. user=mdettweiler [2016-10-20 14:48:14] 787*2^1443353-1 is not prime. Res64: 1EEFAA6F9900ACEE Time : 0.0 sec. user=mdettweiler [2016-10-20 14:48:14] 621*2^1443354-1 is not prime. Res64: C6D8C47B34E33692 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:57:15] 635*2^1443354-1 is not prime. Res64: F2D4122C266F9605 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:57:16] 641*2^1443354-1 is not prime. Res64: 38EB1E0F201E8BF1 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:57:16] 683*2^1443354-1 is not prime. Res64: 93CB245B501E9C27 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:57:16] 707*2^1443354-1 is not prime. Res64: A23FD89B9A6FFF93 Time : 0.0 sec. user=mdettweiler [2016-10-20 14:57:17] 755*2^1443354-1 is not prime. Res64: 856E23144F7BA2BE Time : 0.0 sec. user=mdettweiler [2016-10-20 15:08:00] 821*2^1443354-1 is not prime. Res64: 57535F8F2190C939 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:08:06] 951*2^1443354-1 is not prime. Res64: D5F3D73E5B4A9D61 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:08:09] 645*2^1443355-1 is not prime. Res64: F60AC85CF554B906 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:08:12] 873*2^1443355-1 is not prime. Res64: DB385648BD0927A9 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:08:15] 623*2^1443356-1 is not prime. Res64: CE0D719448D07665 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:25:52] 657*2^1443356-1 is not prime. Res64: 777F7FF6C2FE0F95 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:25:52] 675*2^1443356-1 is not prime. Res64: 7E0310B924844D13 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:25:52] 683*2^1443356-1 is not prime. Res64: C38C2C837582CBA5 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:25:53] 875*2^1443356-1 is not prime. Res64: 6D2EBFD28F2BAC7B Time : 0.0 sec. user=mdettweiler [2016-10-20 15:25:53] 927*2^1443356-1 is not prime. Res64: B2011E7ED0555728 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:33:09] 999*2^1443356-1 is not prime. Res64: F22A69FCDED0F3E8 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:33:10] 625*2^1443357-1 is not prime. Res64: BEBB28FDAADD3EB1 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:33:10] 639*2^1443357-1 is not prime. Res64: 67A6FF3C940E84D5 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:33:10] 717*2^1443357-1 is not prime. Res64: A558B20A2EE83B89 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:33:11] 727*2^1443357-1 is not prime. Res64: D7D57291C788FD2B Time : 0.0 sec. user=mdettweiler [2016-10-20 15:41:58] 741*2^1443357-1 is not prime. Res64: 11ACE5EE7BA0D463 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:41:59] 901*2^1443357-1 is not prime. Res64: 24D5AC80601A9624 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:41:59] 605*2^1443358-1 is not prime. Res64: 0462FA28A2577C24 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:41:59] 827*2^1443358-1 is not prime. Res64: B5A0AD6CE6AA6C07 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:42:00] 867*2^1443358-1 is not prime. Res64: 6F9CC332AC75B3AC Time : 0.0 sec. user=mdettweiler [2016-10-20 15:53:11] 993*2^1443358-1 is not prime. Res64: 49CC976C3291BB30 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:53:12] 601*2^1443359-1 is not prime. Res64: 604E829AE4127877 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:53:12] 859*2^1443359-1 is not prime. Res64: F63E6C7D9D788342 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:53:13] 669*2^1443360-1 is not prime. Res64: 17A9BB1AFECB3FE3 Time : 0.0 sec. user=mdettweiler [2016-10-20 15:53:13] 803*2^1443360-1 is not prime. Res64: DB14F5AA8CCE6393 Time : 0.0 sec. user=mdettweiler [2016-10-20 16:10:41] 839*2^1443360-1 is not prime. Res64: F9A0C088B238F7BD Time : 0.0 sec. user=mdettweiler [2016-10-20 16:10:44] 845*2^1443360-1 is not prime. Res64: 99D87ED57845B747 Time : 0.0 sec. user=mdettweiler [2016-10-20 16:10:46] 905*2^1443360-1 is not prime. Res64: 77939B7C3F6C40D3 Time : 0.0 sec. user=mdettweiler [2016-10-20 16:10:49] 909*2^1443360-1 is not prime. Res64: 1228F8487DF13C33 Time : 0.0 sec. user=mdettweiler [2016-10-20 16:10:51] 933*2^1443360-1 is not prime. Res64: 32EAF9618459033C Time : 0.0 sec. user=mdettweiler [2016-10-20 16:17:57] 807*2^1443361-1 is not prime. Res64: BBE6619E926B8BF3 Time : 0.0 sec. user=mdettweiler [2016-10-20 16:17:57] 951*2^1443361-1 is not prime. Res64: 1753CC7E37E3BE1C Time : 0.0 sec. user=mdettweiler [2016-10-20 16:17:57] 987*2^1443361-1 is not prime. Res64: DA572B182252723F Time : 0.0 sec. user=mdettweiler [2016-10-20 16:17:58] 617*2^1443362-1 is not prime. Res64: 4ACF1D90B098FECE Time : 0.0 sec. user=mdettweiler [2016-10-20 16:17:58] 1001*2^1443362-1 is not prime. Res64: 22FC57A1A24CE123 Time : 0.0 sec. user=mdettweiler [2016-10-20 16:26:30] 685*2^1443363-1 is not prime. Res64: AF9754E4C55FF5CD Time : 0.0 sec. user=mdettweiler [2016-10-20 16:26:30] 765*2^1443363-1 is not prime. Res64: 59FB137A598AF5C5 Time : 0.0 sec. user=mdettweiler [2016-10-20 16:26:31] 853*2^1443363-1 is not prime. Res64: 0C6550402A8E1A7E Time : 0.0 sec. user=mdettweiler [2016-10-20 16:26:31] 873*2^1443363-1 is not prime. Res64: 9B7C0FE82E05ED17 Time : 0.0 sec. user=mdettweiler [2016-10-20 16:26:32] 695*2^1443364-1 is not prime. Res64: 3420055EEE85A4E2 Time : 0.0 sec. user=mdettweiler [2016-10-20 16:37:57] 765*2^1443364-1 is not prime. Res64: 8DD5B93638D7657B Time : 0.0 sec. user=mdettweiler [2016-10-20 16:37:58] 833*2^1443364-1 is not prime. Res64: 0F9017787E2A55D4 Time : 0.0 sec. user=mdettweiler [2016-10-20 16:37:58] 885*2^1443364-1 is not prime. Res64: 65CC23D55F1F3AC4 Time : 0.0 sec. user=mdettweiler [2016-10-20 16:37:59] 947*2^1443364-1 is not prime. Res64: 5876CF3B772BEB94 Time : 0.0 sec. user=mdettweiler [2016-10-20 16:37:59] 741*2^1443365-1 is not prime. Res64: D643E9F53F87BAC7 Time : 0.0 sec. user=mdettweiler [2016-10-20 16:55:54] 757*2^1443365-1 is not prime. Res64: F670DE9716FAA3ED Time : 0.0 sec. user=mdettweiler [2016-10-20 16:55:55] 787*2^1443365-1 is not prime. Res64: 6D05EBE645D1AA4E Time : 0.0 sec. user=mdettweiler [2016-10-20 16:55:55] 915*2^1443365-1 is not prime. Res64: 2BFB7AC290D1B94D Time : 0.0 sec. user=mdettweiler [2016-10-20 16:55:56] 957*2^1443365-1 is not prime. Res64: BFB6EB2EA7DD3453 Time : 0.0 sec. user=mdettweiler [2016-10-20 16:55:56] 693*2^1443366-1 is not prime. Res64: 16767571216F9705 Time : 0.0 sec. user=mdettweiler [2016-10-20 17:02:58] 695*2^1443366-1 is not prime. Res64: 6DED0DBC609981B0 Time : 0.0 sec. user=mdettweiler [2016-10-20 17:02:59] 711*2^1443366-1 is not prime. Res64: 4328926313EBB8C8 Time : 0.0 sec. user=mdettweiler [2016-10-20 17:03:00] 741*2^1443366-1 is not prime. Res64: 807544F6280AC94A Time : 0.0 sec. user=mdettweiler [2016-10-20 17:03:01] 775*2^1443367-1 is not prime. Res64: 8ECA7A46DB5FBD51 Time : 0.0 sec. user=mdettweiler [2016-10-20 17:03:02] 915*2^1443367-1 is not prime. Res64: B96CECDDCEF5B660 Time : 0.0 sec. user=mdettweiler [2016-10-20 17:11:18] 951*2^1443367-1 is not prime. Res64: 371CA917A16C5789 Time : 0.0 sec. user=mdettweiler [2016-10-20 17:11:19] 687*2^1443368-1 is not prime. Res64: 337608FAF03F0EB9 Time : 0.0 sec. user=mdettweiler [2016-10-20 17:11:19] 627*2^1443369-1 is not prime. Res64: BA8E17125BFB2999 Time : 0.0 sec. user=mdettweiler [2016-10-20 17:11:20] 787*2^1443369-1 is not prime. Res64: F2C818F1EA066CFC Time : 0.0 sec. user=mdettweiler [2016-10-20 17:11:20] 865*2^1443369-1 is not prime. Res64: C5E4BC06BD31ACFC Time : 0.0 sec. user=mdettweiler [2016-10-20 17:22:46] 885*2^1443369-1 is not prime. Res64: 8390F44B568D972E Time : 0.0 sec. user=mdettweiler [2016-10-20 17:22:46] 889*2^1443369-1 is not prime. Res64: C22C618585C79BBD Time : 0.0 sec. user=mdettweiler [2016-10-20 17:22:47] 975*2^1443369-1 is not prime. Res64: 49DC68FF7D9C0755 Time : 0.0 sec. user=mdettweiler [2016-10-20 17:22:47] 657*2^1443370-1 is not prime. Res64: A3F6A7B99942A28D Time : 0.0 sec. user=mdettweiler [2016-10-20 17:22:47] 857*2^1443370-1 is not prime. Res64: 44C6EB3ADD93A03B Time : 0.0 sec. user=mdettweiler [2016-10-20 17:40:42] 867*2^1443370-1 is not prime. Res64: 22579EB5E8501334 Time : 0.0 sec. user=mdettweiler [2016-10-20 17:40:42] 923*2^1443370-1 is not prime. Res64: C87E7653D8893B5D Time : 0.0 sec. user=mdettweiler [2016-10-20 17:40:43] 945*2^1443370-1 is not prime. Res64: FCC58104E1572BA3 Time : 0.0 sec. user=mdettweiler [2016-10-20 17:40:43] 995*2^1443370-1 is not prime. Res64: 0A8CB668FDBFB873 Time : 0.0 sec. user=mdettweiler [2016-10-20 17:40:44] 609*2^1443371-1 is not prime. Res64: 64C1CABAEFA3F404 Time : 0.0 sec. user=mdettweiler [2016-10-20 17:47:51] 619*2^1443371-1 is not prime. Res64: 8B98A6C3EB7C8934 Time : 0.0 sec. user=mdettweiler [2016-10-20 17:47:52] 621*2^1443371-1 is not prime. Res64: 1616A6536713E485 Time : 0.0 sec. user=mdettweiler [2016-10-20 17:47:52] 759*2^1443371-1 is not prime. Res64: 91750BABD4DD1A63 Time : 0.0 sec. user=mdettweiler [2016-10-20 17:47:52] 841*2^1443371-1 is not prime. Res64: 48EBC5A72631E22F Time : 0.0 sec. user=mdettweiler [2016-10-20 17:47:53] 885*2^1443371-1 is not prime. Res64: EF8870CCA5216ADF Time : 0.0 sec. user=mdettweiler [2016-10-20 17:56:38] 973*2^1443371-1 is not prime. Res64: 9DC59C7CA65482D7 Time : 0.0 sec. user=mdettweiler [2016-10-20 17:56:39] 605*2^1443372-1 is not prime. Res64: B69BC22A2E4F94E0 Time : 0.0 sec. user=mdettweiler [2016-10-20 17:56:39] 647*2^1443372-1 is not prime. Res64: 27E5E58861A9F07D Time : 0.0 sec. user=mdettweiler [2016-10-20 17:56:39] 749*2^1443372-1 is not prime. Res64: 8546E0C9B59796F8 Time : 0.0 sec. user=mdettweiler [2016-10-20 17:56:40] 887*2^1443372-1 is not prime. Res64: 61203A7DB24ACF7A Time : 0.0 sec. user=mdettweiler [2016-10-20 18:08:03] 893*2^1443372-1 is not prime. Res64: 4BBBC0D453712929 Time : 0.0 sec. user=mdettweiler [2016-10-20 18:08:04] 899*2^1443372-1 is not prime. Res64: 36398D85B6FAB4A6 Time : 0.0 sec. user=mdettweiler [2016-10-20 18:08:07] 945*2^1443372-1 is not prime. Res64: 6E7BC416D5950C71 Time : 0.0 sec. user=mdettweiler [2016-10-20 18:08:08] 975*2^1443372-1 is not prime. Res64: 48DDEB4575AB1DB7 Time : 0.0 sec. user=mdettweiler [2016-10-20 18:08:09] 619*2^1443373-1 is not prime. Res64: D41E6A474F0E27DA Time : 0.0 sec. user=mdettweiler [2016-10-20 18:26:07] 789*2^1443373-1 is not prime. Res64: 0FF6CC3A1BF01E5D Time : 0.0 sec. user=mdettweiler [2016-10-20 18:26:08] 805*2^1443373-1 is not prime. Res64: FBD6BE3E3B67CAEB Time : 0.0 sec. user=mdettweiler [2016-10-20 18:26:08] 895*2^1443373-1 is not prime. Res64: C23289329EB59396 Time : 0.0 sec. user=mdettweiler [2016-10-20 18:26:08] 665*2^1443374-1 is not prime. Res64: 643A665C747D62BE Time : 0.0 sec. user=mdettweiler [2016-10-20 18:26:09] 897*2^1443374-1 is not prime. Res64: FFA6A14249CF2AE8 Time : 0.0 sec. user=mdettweiler [2016-10-20 18:33:16] 619*2^1443375-1 is not prime. Res64: 93F148C153E43137 Time : 0.0 sec. user=mdettweiler [2016-10-20 18:33:16] 663*2^1443375-1 is not prime. Res64: DB8C84D755828F81 Time : 0.0 sec. user=mdettweiler [2016-10-20 18:33:17] 735*2^1443375-1 is not prime. Res64: 02E819E3ECB4192B Time : 0.0 sec. user=mdettweiler [2016-10-20 18:33:17] 751*2^1443375-1 is not prime. Res64: 8471DE429A108CFB Time : 0.0 sec. user=mdettweiler [2016-10-20 18:33:17] 763*2^1443375-1 is not prime. Res64: 88D638449A6B3017 Time : 0.0 sec. user=mdettweiler [2016-10-20 18:41:31] 783*2^1443375-1 is not prime. Res64: 9C3A8D8334F6F6C1 Time : 0.0 sec. user=mdettweiler [2016-10-20 18:41:31] 819*2^1443375-1 is not prime. Res64: 0B58DC0E8A0C1670 Time : 0.0 sec. user=mdettweiler [2016-10-20 18:41:32] 861*2^1443375-1 is not prime. Res64: 1D14D9A0EA90A09C Time : 0.0 sec. user=mdettweiler [2016-10-20 18:41:32] 909*2^1443375-1 is not prime. Res64: 0AA19047835A05EE Time : 0.0 sec. user=mdettweiler [2016-10-20 18:41:32] 609*2^1443376-1 is not prime. Res64: 20A41F29647C8C2D Time : 0.0 sec. user=mdettweiler [2016-10-20 18:53:12] 777*2^1443376-1 is not prime. Res64: 4B6080B3CEE19660 Time : 0.0 sec. user=mdettweiler [2016-10-20 18:53:13] 785*2^1443376-1 is not prime. Res64: F03CA5FFE69E8E4B Time : 0.0 sec. user=mdettweiler [2016-10-20 18:53:13] 905*2^1443376-1 is not prime. Res64: 304C7457E4F0C0C0 Time : 0.0 sec. user=mdettweiler [2016-10-20 18:53:14] 975*2^1443376-1 is not prime. Res64: 940FA0A7A5F6B2EA Time : 0.0 sec. user=mdettweiler [2016-10-20 18:53:14] 989*2^1443376-1 is not prime. Res64: 3EAA4C5089E0AAC3 Time : 0.0 sec. user=mdettweiler [2016-10-20 19:10:51] 993*2^1443376-1 is not prime. Res64: 124D0466167313CC Time : 0.0 sec. user=mdettweiler [2016-10-20 19:10:52] 631*2^1443377-1 is not prime. Res64: 78DA570B79448A5C Time : 0.0 sec. user=mdettweiler [2016-10-20 19:10:53] 847*2^1443377-1 is not prime. Res64: 3119DD4E30F8AD61 Time : 0.0 sec. user=mdettweiler [2016-10-20 19:10:54] 901*2^1443377-1 is not prime. Res64: E7F41A9DD5283405 Time : 0.0 sec. user=mdettweiler [2016-10-20 19:10:55] 925*2^1443377-1 is not prime. Res64: FA7C513679C84F45 Time : 0.0 sec. user=mdettweiler [2016-10-20 19:18:10] 949*2^1443377-1 is not prime. Res64: B288B373A20F1D3C Time : 0.0 sec. user=mdettweiler [2016-10-20 19:18:10] 991*2^1443377-1 is not prime. Res64: B800C7C85FF6D95B Time : 0.0 sec. user=mdettweiler [2016-10-20 19:18:11] 997*2^1443377-1 is not prime. Res64: 0596B7A4DF543502 Time : 0.0 sec. user=mdettweiler [2016-10-20 19:18:11] 605*2^1443378-1 is not prime. Res64: EDFC62A08B0933E5 Time : 0.0 sec. user=mdettweiler [2016-10-20 19:18:12] 641*2^1443378-1 is not prime. Res64: 3C50E2A71986A52B Time : 0.0 sec. user=mdettweiler [2016-10-20 19:26:10] 657*2^1443378-1 is not prime. Res64: E392EB5247554F2B Time : 0.0 sec. user=mdettweiler [2016-10-20 19:26:11] 665*2^1443378-1 is not prime. Res64: 684372AAF52F302B Time : 0.0 sec. user=mdettweiler [2016-10-20 19:26:11] 711*2^1443378-1 is not prime. Res64: 90FC87F01F100C61 Time : 0.0 sec. user=mdettweiler [2016-10-20 19:26:11] 713*2^1443378-1 is not prime. Res64: E6101817AF206448 Time : 0.0 sec. user=mdettweiler [2016-10-20 19:26:12] 731*2^1443378-1 is not prime. Res64: 2711AA63D4B05385 Time : 0.0 sec. user=mdettweiler [2016-10-20 19:38:01] 905*2^1443378-1 is not prime. Res64: 8A7538B9F4E338AD Time : 0.0 sec. user=mdettweiler [2016-10-20 19:38:02] 921*2^1443378-1 is not prime. Res64: 9F5B880C0399847B Time : 0.0 sec. user=mdettweiler [2016-10-20 19:38:02] 603*2^1443379-1 is not prime. Res64: 600A87B396C0CD7E Time : 0.0 sec. user=mdettweiler [2016-10-20 19:38:02] 645*2^1443379-1 is not prime. Res64: AA16C0D6BF5B311A Time : 0.0 sec. user=mdettweiler [2016-10-20 19:38:03] 919*2^1443379-1 is not prime. Res64: 97AF7A5D312DEA06 Time : 0.0 sec. user=mdettweiler [2016-10-20 19:55:47] 951*2^1443379-1 is not prime. Res64: 201C4DF511245386 Time : 0.0 sec. user=mdettweiler [2016-10-20 19:55:48] 633*2^1443380-1 is not prime. Res64: 1ABA51CE2CA22C5A Time : 0.0 sec. user=mdettweiler [2016-10-20 19:55:48] 635*2^1443380-1 is not prime. Res64: 8813D8E3764E3ED6 Time : 0.0 sec. user=mdettweiler [2016-10-20 19:55:48] 707*2^1443380-1 is not prime. Res64: F2D87DDDAA78612C Time : 0.0 sec. user=mdettweiler [2016-10-20 19:55:49] 735*2^1443380-1 is not prime. Res64: E654A7480C06E82A Time : 0.0 sec. user=mdettweiler [2016-10-20 20:03:03] 753*2^1443380-1 is not prime. Res64: 51FFCCA9AAA184CD Time : 0.0 sec. user=mdettweiler [2016-10-20 20:03:05] 797*2^1443380-1 is not prime. Res64: D04B21B3AEA17952 Time : 0.0 sec. user=mdettweiler [2016-10-20 20:03:06] 875*2^1443380-1 is not prime. Res64: B7862FF7F29DFCFD Time : 0.0 sec. user=mdettweiler [2016-10-20 20:03:07] 915*2^1443380-1 is not prime. Res64: 2EA23E11A9407475 Time : 0.0 sec. user=mdettweiler [2016-10-20 20:03:08] 615*2^1443381-1 is not prime. Res64: 2552749FC0507D60 Time : 0.0 sec. user=mdettweiler [2016-10-20 20:10:50] 651*2^1443381-1 is not prime. Res64: 2FCD832622C2F5C3 Time : 0.0 sec. user=mdettweiler [2016-10-20 20:10:51] 679*2^1443381-1 is not prime. Res64: 991EB5FA8D61DF38 Time : 0.0 sec. user=mdettweiler [2016-10-20 20:10:54] 717*2^1443381-1 is not prime. Res64: 20B5B5F29E88E406 Time : 0.0 sec. user=mdettweiler [2016-10-20 20:10:55] 741*2^1443381-1 is not prime. Res64: 1C44156BBD9C2FEC Time : 0.0 sec. user=mdettweiler [2016-10-20 20:10:57] 795*2^1443381-1 is not prime. Res64: 281AA57F32D0F468 Time : 0.0 sec. user=mdettweiler [2016-10-20 20:22:53] 987*2^1443381-1 is not prime. Res64: 072CD540A91CDB04 Time : 0.0 sec. user=mdettweiler [2016-10-20 20:22:54] 991*2^1443381-1 is not prime. Res64: F8DEF969A6EA596B Time : 0.0 sec. user=mdettweiler [2016-10-20 20:22:54] 657*2^1443382-1 is not prime. Res64: 920B86DBC1514B19 Time : 0.0 sec. user=mdettweiler [2016-10-20 20:22:55] 777*2^1443382-1 is not prime. Res64: 08F6673CFF0D52E2 Time : 0.0 sec. user=mdettweiler [2016-10-20 20:22:55] 815*2^1443382-1 is not prime. Res64: 0276148F2B4D9DC2 Time : 0.0 sec. user=mdettweiler [2016-10-20 20:40:52] 827*2^1443382-1 is not prime. Res64: 5FBF565D86506520 Time : 0.0 sec. user=mdettweiler [2016-10-20 20:40:52] 867*2^1443382-1 is not prime. Res64: 2768BC790F98702C Time : 0.0 sec. user=mdettweiler [2016-10-20 20:40:53] 873*2^1443382-1 is not prime. Res64: 421CCD10D4B963EA Time : 0.0 sec. user=mdettweiler [2016-10-20 20:40:53] 685*2^1443383-1 is not prime. Res64: B52F39C81EE9158E Time : 0.0 sec. user=mdettweiler [2016-10-20 20:40:54] 715*2^1443383-1 is not prime. Res64: F5593EA4BE3C39BB Time : 0.0 sec. user=mdettweiler [2016-10-20 20:48:15] 753*2^1443383-1 is not prime. Res64: 9528CA534083F354 Time : 0.0 sec. user=mdettweiler [2016-10-20 20:48:15] 813*2^1443383-1 is not prime. Res64: AAB367E1D41F0D8D Time : 0.0 sec. user=mdettweiler [2016-10-20 20:48:16] 823*2^1443383-1 is not prime. Res64: 54EEA769700637AB Time : 0.0 sec. user=mdettweiler [2016-10-20 20:48:16] 943*2^1443383-1 is not prime. Res64: F7804E223F367F93 Time : 0.0 sec. user=mdettweiler [2016-10-20 20:48:17] 955*2^1443383-1 is not prime. Res64: 01F23815AD8F5E56 Time : 0.0 sec. user=mdettweiler [2016-10-20 20:56:20] 683*2^1443384-1 is not prime. Res64: 9EDE4D71B47A195D Time : 0.0 sec. user=mdettweiler [2016-10-20 20:56:20] 699*2^1443384-1 is not prime. Res64: 8E0D0160D770CCB7 Time : 0.0 sec. user=mdettweiler [2016-10-20 20:56:20] 789*2^1443384-1 is not prime. Res64: 6156887C46789C25 Time : 0.0 sec. user=mdettweiler [2016-10-20 20:56:21] 651*2^1443385-1 is not prime. Res64: F7DD4D61B1285BB0 Time : 0.0 sec. user=mdettweiler [2016-10-20 20:56:21] 661*2^1443385-1 is not prime. Res64: FF4136FA28107E5E Time : 0.0 sec. user=mdettweiler [2016-10-20 21:07:44] 699*2^1443385-1 is not prime. Res64: 8BA3EC7BF95D0DB1 Time : 0.0 sec. user=mdettweiler [2016-10-20 21:07:50] 765*2^1443385-1 is not prime. Res64: 96B45550E1541F2A Time : 0.0 sec. user=mdettweiler [2016-10-20 21:07:54] 895*2^1443385-1 is not prime. Res64: D4C59ED86D1A92A1 Time : 0.0 sec. user=mdettweiler [2016-10-20 21:07:58] 925*2^1443385-1 is not prime. Res64: 5BEF011FD5C5DF02 Time : 0.0 sec. user=mdettweiler [2016-10-20 21:08:00] 937*2^1443385-1 is not prime. Res64: 7F60046A85D86A6F Time : 0.0 sec. user=mdettweiler [2016-10-20 21:25:45] 707*2^1443386-1 is not prime. Res64: 125F1E6B388781D8 Time : 0.0 sec. user=mdettweiler [2016-10-20 21:25:45] 713*2^1443386-1 is not prime. Res64: 057E3C11496AC97D Time : 0.0 sec. user=mdettweiler [2016-10-20 21:25:45] 741*2^1443386-1 is not prime. Res64: C3595A955451245D Time : 0.0 sec. user=mdettweiler [2016-10-20 21:25:46] 783*2^1443386-1 is not prime. Res64: 93E77095305B6A73 Time : 0.0 sec. user=mdettweiler [2016-10-20 21:25:46] 815*2^1443386-1 is not prime. Res64: BCEF940C115C631A Time : 0.0 sec. user=mdettweiler [2016-10-20 21:33:11] 843*2^1443386-1 is not prime. Res64: 69184084DB280CDA Time : 0.0 sec. user=mdettweiler [2016-10-20 21:33:12] 971*2^1443386-1 is not prime. Res64: 06FB05CC33FD24F8 Time : 0.0 sec. user=mdettweiler [2016-10-20 21:33:12] 873*2^1443387-1 is not prime. Res64: 37AE6D143E7CA18B Time : 0.0 sec. user=mdettweiler [2016-10-20 21:33:12] 961*2^1443387-1 is not prime. Res64: 36FD7B88BD83E412 Time : 0.0 sec. user=mdettweiler [2016-10-20 21:33:13] 991*2^1443387-1 is not prime. Res64: 2E9CBCB2009A2722 Time : 0.0 sec. user=mdettweiler [2016-10-20 21:41:15] 647*2^1443388-1 is not prime. Res64: 0DC8AC3DC50F1EFE Time : 0.0 sec. user=mdettweiler [2016-10-20 21:41:16] 665*2^1443388-1 is not prime. Res64: 4414E333678C93D5 Time : 0.0 sec. user=mdettweiler [2016-10-20 21:41:16] 687*2^1443388-1 is not prime. Res64: 8982BC8228146D93 Time : 0.0 sec. user=mdettweiler [2016-10-20 21:41:17] 705*2^1443388-1 is not prime. Res64: C4091DB36E23549E Time : 0.0 sec. user=mdettweiler [2016-10-20 21:41:17] 723*2^1443388-1 is not prime. Res64: EB712F5D19A5E24E Time : 0.0 sec. user=mdettweiler [2016-10-20 21:53:17] 797*2^1443388-1 is not prime. Res64: 212044F48882C675 Time : 0.0 sec. user=mdettweiler [2016-10-20 21:53:17] 813*2^1443388-1 is not prime. Res64: 9B6734B00C042E3F Time : 0.0 sec. user=mdettweiler [2016-10-20 21:53:17] 845*2^1443388-1 is not prime. Res64: 075D1689BFB588F3 Time : 0.0 sec. user=mdettweiler [2016-10-20 21:53:18] 885*2^1443388-1 is not prime. Res64: 396D69753AD8D62E Time : 0.0 sec. user=mdettweiler [2016-10-20 21:53:18] 923*2^1443388-1 is not prime. Res64: 36C7ED94DA4F3006 Time : 0.0 sec. user=mdettweiler [2016-10-20 22:10:47] 927*2^1443388-1 is not prime. Res64: 37B1F50E4FC21C16 Time : 0.0 sec. user=mdettweiler [2016-10-20 22:10:51] 999*2^1443388-1 is not prime. Res64: D9A19C4F01FC025E Time : 0.0 sec. user=mdettweiler [2016-10-20 22:10:53] 691*2^1443389-1 is not prime. Res64: 2C56152B6FF3C32B Time : 0.0 sec. user=mdettweiler [2016-10-20 22:10:54] 721*2^1443389-1 is not prime. Res64: 49EB37DA686C699F Time : 0.0 sec. user=mdettweiler [2016-10-20 22:10:56] 769*2^1443389-1 is not prime. Res64: 30A8C8E29BDA825E Time : 0.0 sec. user=mdettweiler [2016-10-20 22:18:16] 825*2^1443389-1 is not prime. Res64: B208716E440F5FC0 Time : 0.0 sec. user=mdettweiler [2016-10-20 22:18:17] 847*2^1443389-1 is not prime. Res64: 116B3BF5FC7EB2E9 Time : 0.0 sec. user=mdettweiler [2016-10-20 22:18:17] 889*2^1443389-1 is not prime. Res64: BD6D71E5AED01B99 Time : 0.0 sec. user=mdettweiler [2016-10-20 22:18:18] 907*2^1443389-1 is not prime. Res64: FC963EBEB4BD3796 Time : 0.0 sec. user=mdettweiler [2016-10-20 22:18:18] 927*2^1443389-1 is not prime. Res64: BF6D79B8826BCBBB Time : 0.0 sec. user=mdettweiler [2016-10-20 22:26:31] 979*2^1443389-1 is not prime. Res64: ED0159768A2EB734 Time : 0.0 sec. user=mdettweiler [2016-10-20 22:26:31] 611*2^1443390-1 is not prime. Res64: 44CDD38D92E70BE2 Time : 0.0 sec. user=mdettweiler [2016-10-20 22:26:32] 615*2^1443390-1 is not prime. Res64: 83976C1DCE6ADF83 Time : 0.0 sec. user=mdettweiler [2016-10-20 22:26:32] 653*2^1443390-1 is not prime. Res64: 804281DFC0B59EE0 Time : 0.0 sec. user=mdettweiler [2016-10-20 22:26:32] 755*2^1443390-1 is not prime. Res64: E92046CB96243682 Time : 0.0 sec. user=mdettweiler [2016-10-20 22:38:13] 797*2^1443390-1 is not prime. Res64: CB07DEACD454EE4E Time : 0.0 sec. user=mdettweiler [2016-10-20 22:38:14] 861*2^1443390-1 is not prime. Res64: 7EDBD112F9F10C21 Time : 0.0 sec. user=mdettweiler [2016-10-20 22:38:14] 863*2^1443390-1 is not prime. Res64: 355C32A80B336EC6 Time : 0.0 sec. user=mdettweiler [2016-10-20 22:38:14] 891*2^1443390-1 is not prime. Res64: BD3A82AECC0F2FB4 Time : 0.0 sec. user=mdettweiler [2016-10-20 22:38:15] 933*2^1443390-1 is not prime. Res64: 0ECC56601912C107 Time : 0.0 sec. user=mdettweiler [2016-10-20 22:56:08] 945*2^1443390-1 is not prime. Res64: 6327445D0B20CF12 Time : 0.0 sec. user=mdettweiler [2016-10-20 22:56:08] 1001*2^1443390-1 is not prime. Res64: 6C3DB15C12D81096 Time : 0.0 sec. user=mdettweiler [2016-10-20 22:56:09] 619*2^1443391-1 is not prime. Res64: 1C417C019C98E340 Time : 0.0 sec. user=mdettweiler [2016-10-20 22:56:09] 645*2^1443391-1 is not prime. Res64: 509A6BF01E37C106 Time : 0.0 sec. user=mdettweiler [2016-10-20 22:56:09] 673*2^1443391-1 is not prime. Res64: B3D259024704BA2F Time : 0.0 sec. user=mdettweiler [2016-10-20 23:03:20] 705*2^1443391-1 is not prime. Res64: C06A1F08422E9DB0 Time : 0.0 sec. user=mdettweiler [2016-10-20 23:03:20] 789*2^1443391-1 is not prime. Res64: 0168E19C304B1186 Time : 0.0 sec. user=mdettweiler [2016-10-20 23:03:22] 891*2^1443391-1 is not prime. Res64: FEEC5B8F4289D3E9 Time : 0.0 sec. user=mdettweiler [2016-10-20 23:03:23] 925*2^1443391-1 is not prime. Res64: CFDB47029F8A1E65 Time : 0.0 sec. user=mdettweiler [2016-10-20 23:03:24] 939*2^1443391-1 is not prime. Res64: DD241FAC20AD2E03 Time : 0.0 sec. user=mdettweiler [2016-10-20 23:11:55] 969*2^1443391-1 is not prime. Res64: F1FFBFEBF9E5659B Time : 0.0 sec. user=mdettweiler [2016-10-20 23:11:59] 617*2^1443392-1 is not prime. Res64: 4196674ADEFDB713 Time : 0.0 sec. user=mdettweiler [2016-10-20 23:12:01] 665*2^1443392-1 is not prime. Res64: 58E08116B5C5C883 Time : 0.0 sec. user=mdettweiler [2016-10-20 23:12:03] 669*2^1443392-1 is not prime. Res64: A16A116795FFA2FE Time : 0.0 sec. user=mdettweiler [2016-10-20 23:12:05] 719*2^1443392-1 is not prime. Res64: 654362EF40A02977 Time : 0.0 sec. user=mdettweiler [2016-10-20 23:24:47] 833*2^1443392-1 is not prime. Res64: FDEDF49B265E3775 Time : 0.0 sec. user=mdettweiler [2016-10-20 23:24:47] 909*2^1443392-1 is not prime. Res64: D52E2E9D5093CC00 Time : 0.0 sec. user=mdettweiler [2016-10-20 23:24:47] 983*2^1443392-1 is not prime. Res64: A46742F6F0E732DA Time : 0.0 sec. user=mdettweiler [2016-10-20 23:24:48] 639*2^1443393-1 is not prime. Res64: C1EBD6FF61F35EB0 Time : 0.0 sec. user=mdettweiler [2016-10-20 23:24:48] 741*2^1443393-1 is not prime. Res64: A1A22C5EF6425796 Time : 0.0 sec. user=mdettweiler [2016-10-20 23:47:18] 751*2^1443393-1 is not prime. Res64: 40768DC3AABE3B0E Time : 0.0 sec. user=mdettweiler [2016-10-20 23:47:18] 867*2^1443393-1 is not prime. Res64: DC549ED450EE3913 Time : 0.0 sec. user=mdettweiler [2016-10-20 23:47:18] 891*2^1443393-1 is not prime. Res64: 35E43A0A7596B510 Time : 0.0 sec. user=mdettweiler [2016-10-20 23:47:19] 951*2^1443393-1 is not prime. Res64: 4E2F05C8321A474E Time : 0.0 sec. user=mdettweiler [2016-10-20 23:47:19] 681*2^1443394-1 is not prime. Res64: 95F73C6E016FBDDA Time : 0.0 sec. user=mdettweiler [2016-10-20 23:54:07] 723*2^1443394-1 is not prime. Res64: 748ED82A2AC7C1FC Time : 0.0 sec. user=mdettweiler [2016-10-20 23:54:08] 831*2^1443394-1 is not prime. Res64: 1FA7C218B5A4AD13 Time : 0.0 sec. user=mdettweiler [2016-10-20 23:54:08] 957*2^1443394-1 is not prime. Res64: 06380D91D7F1244C Time : 0.0 sec. user=mdettweiler [2016-10-20 23:54:08] 975*2^1443394-1 is not prime. Res64: 2C7D803BC3E90D99 Time : 0.0 sec. user=mdettweiler [2016-10-20 23:54:09] 609*2^1443395-1 is not prime. Res64: 35926ACD15AA7E5C Time : 0.0 sec.