user=juhehe [2017-05-31 00:10:29] 717*2^1455532-1 is not prime. Res64: 1C0543157049E934 Time : 0.0 sec. user=mdettweiler [2017-05-31 00:17:40] 723*2^1455532-1 is not prime. Res64: 370C2473A51A5557 Time : 0.0 sec. user=mdettweiler [2017-05-31 00:17:40] 803*2^1455532-1 is not prime. Res64: 9D14E0EEB61D8DBD Time : 0.0 sec. user=mdettweiler [2017-05-31 00:17:41] 947*2^1455532-1 is not prime. Res64: 2D1B98D855C4FB8E Time : 0.0 sec. user=mdettweiler [2017-05-31 00:17:41] 957*2^1455532-1 is not prime. Res64: 7E6C563AA56D8C63 Time : 0.0 sec. user=mdettweiler [2017-05-31 00:17:41] 965*2^1455532-1 is not prime. Res64: 2805F0A6C7F2BBC5 Time : 0.0 sec. user=mdettweiler [2017-05-31 00:25:49] 897*2^1455533-1 is not prime. Res64: B100260053F3CCB6 Time : 0.0 sec. user=mdettweiler [2017-05-31 00:25:50] 615*2^1455534-1 is not prime. Res64: A7E62E650AD5E9D4 Time : 0.0 sec. user=mdettweiler [2017-05-31 00:25:50] 627*2^1455534-1 is not prime. Res64: C66BE7D7949F6C64 Time : 0.0 sec. user=mdettweiler [2017-05-31 00:25:50] 663*2^1455534-1 is not prime. Res64: E11F0FCD6B601AEE Time : 0.0 sec. user=mdettweiler [2017-05-31 00:25:50] 791*2^1455534-1 is not prime. Res64: BB0E6CBCCDB02FAA Time : 0.0 sec. user=mdettweiler [2017-05-31 00:32:42] 861*2^1455534-1 is not prime. Res64: BD089E2987C7CAD4 Time : 0.0 sec. user=mdettweiler [2017-05-31 00:32:42] 891*2^1455534-1 is not prime. Res64: 7B281C20CA19DD59 Time : 0.0 sec. user=mdettweiler [2017-05-31 00:32:42] 945*2^1455534-1 is not prime. Res64: B7636B6377044031 Time : 0.0 sec. user=mdettweiler [2017-05-31 00:32:42] 685*2^1455535-1 is not prime. Res64: 286BAD5E757D696F Time : 0.0 sec. user=mdettweiler [2017-05-31 00:32:43] 705*2^1455535-1 is not prime. Res64: 58DF37F9999057E3 Time : 0.0 sec. user=mdettweiler [2017-05-31 00:45:55] 759*2^1455535-1 is not prime. Res64: 0989E35441384B77 Time : 0.0 sec. user=mdettweiler [2017-05-31 00:45:55] 843*2^1455535-1 is not prime. Res64: 3133A983D225C268 Time : 0.0 sec. user=mdettweiler [2017-05-31 00:45:55] 855*2^1455535-1 is not prime. Res64: 30003627164E472A Time : 0.0 sec. user=mdettweiler [2017-05-31 00:45:55] 871*2^1455535-1 is not prime. Res64: 170BEDC86F580AAE Time : 0.0 sec. user=mdettweiler [2017-05-31 00:45:55] 883*2^1455535-1 is not prime. Res64: 4D7A376BD5D0867F Time : 0.0 sec. user=mdettweiler [2017-05-31 01:03:21] 885*2^1455535-1 is not prime. Res64: 43C85B73D27917FC Time : 0.0 sec. user=mdettweiler [2017-05-31 01:03:22] 951*2^1455535-1 is not prime. Res64: 6837CE17F3A0D43E Time : 0.0 sec. user=mdettweiler [2017-05-31 01:03:23] 973*2^1455535-1 is not prime. Res64: 000A798482FF31F8 Time : 0.0 sec. user=mdettweiler [2017-05-31 01:03:24] 633*2^1455536-1 is not prime. Res64: E249437EA44273D7 Time : 0.0 sec. user=mdettweiler [2017-05-31 01:03:25] 683*2^1455536-1 is not prime. Res64: 89057C309FA77E43 Time : 0.0 sec. user=mdettweiler [2017-05-31 01:11:29] 767*2^1455536-1 is not prime. Res64: C486380EAA6A0C6B Time : 0.0 sec. user=mdettweiler [2017-05-31 01:11:29] 833*2^1455536-1 is not prime. Res64: 026C78C2946CA15E Time : 0.0 sec. user=mdettweiler [2017-05-31 01:11:29] 843*2^1455536-1 is not prime. Res64: B67615960348B694 Time : 0.0 sec. user=mdettweiler [2017-05-31 01:11:29] 873*2^1455536-1 is not prime. Res64: CCA32B8256935355 Time : 0.0 sec. user=mdettweiler [2017-05-31 01:11:30] 681*2^1455537-1 is not prime. Res64: 9F0F3E90FAD8F489 Time : 0.0 sec. user=mdettweiler [2017-05-31 01:18:33] 711*2^1455537-1 is not prime. Res64: 4564E4BF050EC0E3 Time : 0.0 sec. user=mdettweiler [2017-05-31 01:18:33] 807*2^1455537-1 is not prime. Res64: 88D471C2A7AEE07F Time : 0.0 sec. user=mdettweiler [2017-05-31 01:18:33] 817*2^1455537-1 is not prime. Res64: 1AAEAB443533C3C0 Time : 0.0 sec. user=mdettweiler [2017-05-31 01:18:33] 611*2^1455538-1 is not prime. Res64: E41EA11F0F0E285F Time : 0.0 sec. user=mdettweiler [2017-05-31 01:18:34] 911*2^1455538-1 is not prime. Res64: 2FCE965A23577A90 Time : 0.0 sec. user=juhehe [2017-05-31 01:31:04] 783*2^1455540-1 is not prime. Res64: 361F202F82D0DBDC Time : 0.0 sec. user=mdettweiler [2017-05-31 01:31:45] 741*2^1455539-1 is not prime. Res64: A71C6A26F83F8DC8 Time : 0.0 sec. user=mdettweiler [2017-05-31 01:31:45] 799*2^1455539-1 is not prime. Res64: 5F70AE3D298FAD97 Time : 0.0 sec. user=mdettweiler [2017-05-31 01:31:46] 879*2^1455539-1 is not prime. Res64: 13B96E3AF67C23EA Time : 0.0 sec. user=mdettweiler [2017-05-31 01:31:46] 707*2^1455540-1 is not prime. Res64: 73CF2D9A7CCEC8AF Time : 0.0 sec. user=mdettweiler [2017-05-31 01:31:46] 725*2^1455540-1 is not prime. Res64: E40B234258C42F7D Time : 0.0 sec. user=mdettweiler [2017-05-31 01:49:09] 965*2^1455540-1 is not prime. Res64: 19C1985F5DF424DA Time : 0.0 sec. user=mdettweiler [2017-05-31 01:49:10] 649*2^1455541-1 is not prime. Res64: 4B09C95CF13CBAD8 Time : 0.0 sec. user=mdettweiler [2017-05-31 01:49:10] 691*2^1455541-1 is not prime. Res64: 557D4BF6EF6B585D Time : 0.0 sec. user=mdettweiler [2017-05-31 01:49:10] 747*2^1455541-1 is not prime. Res64: 076E3F29FE60EC01 Time : 0.0 sec. user=mdettweiler [2017-05-31 01:49:11] 777*2^1455541-1 is not prime. Res64: 8731E1F41F5220F7 Time : 0.0 sec. user=mdettweiler [2017-05-31 01:56:54] 999*2^1455541-1 is not prime. Res64: BF1B9D91962A2C40 Time : 0.0 sec. user=mdettweiler [2017-05-31 01:56:55] 627*2^1455542-1 is not prime. Res64: 24A11594DF435682 Time : 0.0 sec. user=mdettweiler [2017-05-31 01:56:55] 635*2^1455542-1 is not prime. Res64: 8DF103538417FA84 Time : 0.0 sec. user=mdettweiler [2017-05-31 01:56:55] 683*2^1455542-1 is not prime. Res64: FCA7F52CF375AD1D Time : 0.0 sec. user=mdettweiler [2017-05-31 01:56:55] 743*2^1455542-1 is not prime. Res64: F1FF09C90C191897 Time : 0.0 sec. user=mdettweiler [2017-05-31 02:04:01] 755*2^1455542-1 is not prime. Res64: 91C5C3B6ABE3E295 Time : 0.0 sec. user=mdettweiler [2017-05-31 02:04:02] 923*2^1455542-1 is not prime. Res64: 56C9558CE2831489 Time : 0.0 sec. user=mdettweiler [2017-05-31 02:04:03] 935*2^1455542-1 is not prime. Res64: 53BAEBD5697CAFFD Time : 0.0 sec. user=mdettweiler [2017-05-31 02:04:04] 941*2^1455542-1 is not prime. Res64: B8E1526EDF88D77E Time : 0.0 sec. user=mdettweiler [2017-05-31 02:04:05] 661*2^1455543-1 is not prime. Res64: 33E74AAB4AC8163C Time : 0.0 sec. user=juhehe [2017-05-31 02:11:21] 663*2^1455543-1 is not prime. Res64: F918DC62A4FE13A7 Time : 0.0 sec. user=mdettweiler [2017-05-31 02:17:24] 691*2^1455543-1 is not prime. Res64: 56D62C18420D5DB4 Time : 0.0 sec. user=mdettweiler [2017-05-31 02:17:24] 745*2^1455543-1 is not prime. Res64: 4FDE1CF0636D6768 Time : 0.0 sec. user=mdettweiler [2017-05-31 02:17:25] 775*2^1455543-1 is not prime. Res64: C6F294200138504D Time : 0.0 sec. user=mdettweiler [2017-05-31 02:17:25] 921*2^1455543-1 is not prime. Res64: 4ED60A3C5CEA0DD1 Time : 0.0 sec. user=mdettweiler [2017-05-31 02:17:25] 933*2^1455543-1 is not prime. Res64: 5A9B40914B5DB4C4 Time : 0.0 sec. user=mdettweiler [2017-05-31 02:34:44] 717*2^1455544-1 is not prime. Res64: 1FB36A5645D58009 Time : 0.0 sec. user=mdettweiler [2017-05-31 02:34:44] 803*2^1455544-1 is not prime. Res64: AEB3DF8500D6AB78 Time : 0.0 sec. user=mdettweiler [2017-05-31 02:34:45] 875*2^1455544-1 is not prime. Res64: 9256D7B7883D2BBF Time : 0.0 sec. user=mdettweiler [2017-05-31 02:34:45] 899*2^1455544-1 is not prime. Res64: 5B201FF769DA093E Time : 0.0 sec. user=mdettweiler [2017-05-31 02:34:45] 909*2^1455544-1 is not prime. Res64: D4498CCA0B60B351 Time : 0.0 sec. user=mdettweiler [2017-05-31 02:43:05] 917*2^1455544-1 is not prime. Res64: DDB6739DB1DC7AB1 Time : 0.0 sec. user=mdettweiler [2017-05-31 02:43:05] 651*2^1455545-1 is not prime. Res64: 60FB2A6B0157EEDC Time : 0.0 sec. user=mdettweiler [2017-05-31 02:43:05] 697*2^1455545-1 is not prime. Res64: 6620AFB5E565E22E Time : 0.0 sec. user=mdettweiler [2017-05-31 02:43:05] 729*2^1455545-1 is not prime. Res64: D16BF0D9FD6B97C9 Time : 0.0 sec. user=mdettweiler [2017-05-31 02:43:05] 741*2^1455545-1 is not prime. Res64: DF5EE7673C7F5E25 Time : 0.0 sec. user=mdettweiler [2017-05-31 02:50:43] 787*2^1455545-1 is not prime. Res64: 373F58E275D3837A Time : 0.0 sec. user=mdettweiler [2017-05-31 02:50:44] 811*2^1455545-1 is not prime. Res64: 4E64DA7E7083714B Time : 0.0 sec. user=mdettweiler [2017-05-31 02:50:44] 855*2^1455545-1 is not prime. Res64: BC76580F4A7BBB26 Time : 0.0 sec. user=mdettweiler [2017-05-31 02:50:44] 889*2^1455545-1 is not prime. Res64: 290154FE3773DD44 Time : 0.0 sec. user=mdettweiler [2017-05-31 02:50:45] 985*2^1455545-1 is not prime. Res64: 4175D98B32689054 Time : 0.0 sec. user=mdettweiler [2017-05-31 03:03:56] 647*2^1455546-1 is not prime. Res64: BF893CD2CE790550 Time : 0.0 sec. user=mdettweiler [2017-05-31 03:03:58] 671*2^1455546-1 is not prime. Res64: 2F6A550E2AB31368 Time : 0.0 sec. user=mdettweiler [2017-05-31 03:03:59] 695*2^1455546-1 is not prime. Res64: 4C65572CA1D804FA Time : 0.0 sec. user=mdettweiler [2017-05-31 03:04:00] 723*2^1455546-1 is not prime. Res64: 032028B70B3EFB02 Time : 0.0 sec. user=mdettweiler [2017-05-31 03:04:02] 615*2^1455547-1 is not prime. Res64: 45D36A68B418EC59 Time : 0.0 sec. user=mdettweiler [2017-05-31 03:21:14] 631*2^1455547-1 is not prime. Res64: D6C615BEEC8D41EC Time : 0.0 sec. user=mdettweiler [2017-05-31 03:21:14] 633*2^1455547-1 is not prime. Res64: 5FAEB533FF57595D Time : 0.0 sec. user=mdettweiler [2017-05-31 03:21:14] 649*2^1455547-1 is not prime. Res64: 78B2DADE1CA095C0 Time : 0.0 sec. user=mdettweiler [2017-05-31 03:21:14] 801*2^1455547-1 is not prime. Res64: 3BECCDE1C41FE37E Time : 0.0 sec. user=mdettweiler [2017-05-31 03:21:15] 841*2^1455547-1 is not prime. Res64: 894FAA1291EDB900 Time : 0.0 sec. user=mdettweiler [2017-05-31 03:28:45] 885*2^1455547-1 is not prime. Res64: 8B6B73C7C88F4228 Time : 0.0 sec. user=mdettweiler [2017-05-31 03:28:47] 827*2^1455548-1 is not prime. Res64: 8CF5E74811AF33FF Time : 0.0 sec. user=mdettweiler [2017-05-31 03:28:48] 875*2^1455548-1 is not prime. Res64: 25FA203E3F0E2C45 Time : 0.0 sec. user=mdettweiler [2017-05-31 03:28:48] 615*2^1455549-1 is not prime. Res64: 579D12BF0A03EC8E Time : 0.0 sec. user=mdettweiler [2017-05-31 03:28:49] 625*2^1455549-1 is not prime. Res64: 768EA443D2ADFE07 Time : 0.0 sec. user=juhehe [2017-05-31 03:31:56] 999*2^1455549-1 is not prime. Res64: 526DB5C3E78D7E0C Time : 0.0 sec. user=mdettweiler [2017-05-31 03:36:20] 685*2^1455549-1 is not prime. Res64: 9F3DF7D9909EE7A4 Time : 0.0 sec. user=mdettweiler [2017-05-31 03:36:21] 955*2^1455549-1 is not prime. Res64: 4CD88ED481A541D8 Time : 0.0 sec. user=mdettweiler [2017-05-31 03:36:22] 969*2^1455549-1 is not prime. Res64: 26B4FC56BF83746C Time : 0.0 sec. user=mdettweiler [2017-05-31 03:36:23] 975*2^1455549-1 is not prime. Res64: 2FD9952323637ADF Time : 0.0 sec. user=mdettweiler [2017-05-31 03:36:24] 987*2^1455549-1 is not prime. Res64: 3F949E44F5419DDC Time : 0.0 sec. user=mdettweiler [2017-05-31 03:50:07] 761*2^1455550-1 is not prime. Res64: 7EA961080BB1E36D Time : 0.0 sec. user=mdettweiler [2017-05-31 03:50:09] 873*2^1455550-1 is not prime. Res64: 5AC3B6959845C0C9 Time : 0.0 sec. user=mdettweiler [2017-05-31 03:50:10] 813*2^1455551-1 is not prime. Res64: AC3B7373A91C3E5E Time : 0.0 sec. user=mdettweiler [2017-05-31 03:50:11] 829*2^1455551-1 is not prime. Res64: 5F15FBD43845E0C4 Time : 0.0 sec. user=mdettweiler [2017-05-31 03:50:11] 945*2^1455551-1 is not prime. Res64: 3A7A3FD75E3B4E88 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:06:46] 949*2^1455551-1 is not prime. Res64: AFA2FB8A392BDC39 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:06:47] 665*2^1455552-1 is not prime. Res64: 3D35A29DC8989F1F Time : 0.0 sec. user=mdettweiler [2017-05-31 04:06:48] 719*2^1455552-1 is not prime. Res64: 68C4C7357EF779F1 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:06:49] 759*2^1455552-1 is not prime. Res64: 2321B1BFAEDA09F3 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:06:50] 809*2^1455552-1 is not prime. Res64: 9764946583E93447 Time : 0.0 sec. user=juhehe [2017-05-31 04:12:11] 807*2^1455553-1 is not prime. Res64: 55AD8E5C5C742DCE Time : 0.0 sec. user=mdettweiler [2017-05-31 04:14:20] 923*2^1455552-1 is not prime. Res64: 6A8330C079D8B977 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:14:20] 679*2^1455553-1 is not prime. Res64: FD0536ECB91D97AD Time : 0.0 sec. user=mdettweiler [2017-05-31 04:14:20] 741*2^1455553-1 is not prime. Res64: A081CE04E81B5344 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:14:20] 747*2^1455553-1 is not prime. Res64: 32ACB57FA845251F Time : 0.0 sec. user=mdettweiler [2017-05-31 04:14:21] 801*2^1455553-1 is not prime. Res64: B88D14A717633D89 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:22:08] 867*2^1455553-1 is not prime. Res64: 452D2CC03F749DEA Time : 0.0 sec. user=mdettweiler [2017-05-31 04:22:09] 889*2^1455553-1 is not prime. Res64: 26448C2E74888FA6 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:22:09] 987*2^1455553-1 is not prime. Res64: 20AE87D6F4FE483E Time : 0.0 sec. user=mdettweiler [2017-05-31 04:22:09] 615*2^1455554-1 is not prime. Res64: F9C8003DB111DA94 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:22:09] 617*2^1455554-1 is not prime. Res64: 98A9446832FFC087 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:36:04] 623*2^1455554-1 is not prime. Res64: C2612226C8C3AFC1 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:36:04] 635*2^1455554-1 is not prime. Res64: 7592B7E5BA1094F1 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:36:04] 641*2^1455554-1 is not prime. Res64: 555601BC60CC89AD Time : 0.0 sec. user=mdettweiler [2017-05-31 04:36:05] 701*2^1455554-1 is not prime. Res64: 0956DF0D68075C6E Time : 0.0 sec. user=mdettweiler [2017-05-31 04:36:05] 755*2^1455554-1 is not prime. Res64: 86327B34526DDCF1 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:53:01] 813*2^1455554-1 is not prime. Res64: F3370F3167DFED24 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:53:02] 851*2^1455554-1 is not prime. Res64: E9E357382A95663F Time : 0.0 sec. user=mdettweiler [2017-05-31 04:53:02] 625*2^1455555-1 is not prime. Res64: 74E98B3F7937DB29 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:53:02] 663*2^1455555-1 is not prime. Res64: 65168106FFE2B0FE Time : 0.0 sec. user=mdettweiler [2017-05-31 04:53:02] 705*2^1455555-1 is not prime. Res64: 0EE1EF43EB780BE8 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:59:44] 921*2^1455555-1 is not prime. Res64: D69DD997926E7B53 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:59:44] 955*2^1455555-1 is not prime. Res64: EF9C576DD6687DB2 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:59:45] 639*2^1455556-1 is not prime. Res64: 853CEBE962B9F067 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:59:45] 663*2^1455556-1 is not prime. Res64: A322A73983EE4604 Time : 0.0 sec. user=mdettweiler [2017-05-31 04:59:45] 825*2^1455556-1 is not prime. Res64: A2CCE0663A658DA0 Time : 0.0 sec. user=mdettweiler [2017-05-31 05:07:53] 927*2^1455556-1 is not prime. Res64: 4FA0B5F5A2C80D5E Time : 0.0 sec. user=mdettweiler [2017-05-31 05:07:53] 989*2^1455556-1 is not prime. Res64: ECD95B1F4CF9E52E Time : 0.0 sec. user=mdettweiler [2017-05-31 05:07:54] 631*2^1455557-1 is not prime. Res64: D7F566168DCC8433 Time : 0.0 sec. user=mdettweiler [2017-05-31 05:07:54] 669*2^1455557-1 is not prime. Res64: C99C56E3D17F4848 Time : 0.0 sec. user=mdettweiler [2017-05-31 05:07:54] 697*2^1455557-1 is not prime. Res64: 1F586BC8B24FB1AC Time : 0.0 sec. user=mdettweiler [2017-05-31 05:21:54] 729*2^1455557-1 is not prime. Res64: E85FEE66CD5F5083 Time : 0.0 sec. user=mdettweiler [2017-05-31 05:21:55] 805*2^1455557-1 is not prime. Res64: 5D224CAAD1B50DA7 Time : 0.0 sec. user=mdettweiler [2017-05-31 05:21:55] 725*2^1455558-1 is not prime. Res64: DADC91BA29B6320B Time : 0.0 sec. user=mdettweiler [2017-05-31 05:21:55] 797*2^1455558-1 is not prime. Res64: F55F3C32B81EA745 Time : 0.0 sec. user=mdettweiler [2017-05-31 05:21:55] 821*2^1455558-1 is not prime. Res64: AADDADA6AB0E465F Time : 0.0 sec. user=juhehe [2017-05-31 05:32:42] 863*2^1455558-1 is not prime. Res64: A84C3C0136A6AADD Time : 0.0 sec. user=mdettweiler [2017-05-31 05:38:39] 887*2^1455558-1 is not prime. Res64: 1FBCEB64A9C88EE9 Time : 0.0 sec. user=mdettweiler [2017-05-31 05:38:39] 945*2^1455558-1 is not prime. Res64: 8D111C9D16D7C033 Time : 0.0 sec. user=mdettweiler [2017-05-31 05:38:39] 621*2^1455559-1 is not prime. Res64: CCEF68EC35D01949 Time : 0.0 sec. user=mdettweiler [2017-05-31 05:38:39] 649*2^1455559-1 is not prime. Res64: 03843C8FBFBBB8E4 Time : 0.0 sec. user=mdettweiler [2017-05-31 05:38:39] 811*2^1455559-1 is not prime. Res64: 31334FA37F74CBA6 Time : 0.0 sec. user=mdettweiler [2017-05-31 05:45:07] 831*2^1455559-1 is not prime. Res64: BC774702CD64AB8C Time : 0.0 sec. user=mdettweiler [2017-05-31 05:45:07] 841*2^1455559-1 is not prime. Res64: 947CA903B9BDBB2B Time : 0.0 sec. user=mdettweiler [2017-05-31 05:45:08] 961*2^1455559-1 is not prime. Res64: 2C898C1B16675557 Time : 0.0 sec. user=mdettweiler [2017-05-31 05:45:08] 973*2^1455559-1 is not prime. Res64: 8928CBE68386EA11 Time : 0.0 sec. user=mdettweiler [2017-05-31 05:45:08] 689*2^1455560-1 is not prime. Res64: 63E41127DA1D496C Time : 0.0 sec. user=mdettweiler [2017-05-31 05:53:35] 855*2^1455560-1 is not prime. Res64: 3EA03E0AF5EF63FB Time : 0.0 sec. user=mdettweiler [2017-05-31 05:53:35] 601*2^1455561-1 is not prime. Res64: 3CB9949922F5A2C4 Time : 0.0 sec. user=mdettweiler [2017-05-31 05:53:35] 717*2^1455561-1 is not prime. Res64: 8157828F976A1C90 Time : 0.0 sec. user=mdettweiler [2017-05-31 05:53:35] 747*2^1455561-1 is not prime. Res64: E5384F182078CA05 Time : 0.0 sec. user=mdettweiler [2017-05-31 05:53:36] 789*2^1455561-1 is not prime. Res64: 45F55BF03F88E2B8 Time : 0.0 sec. user=mdettweiler [2017-05-31 06:07:18] 837*2^1455561-1 is not prime. Res64: 3EF052DEB8C885D0 Time : 0.0 sec. user=mdettweiler [2017-05-31 06:07:19] 603*2^1455562-1 is not prime. Res64: 0E5AA59B8EDB5D46 Time : 0.0 sec. user=mdettweiler [2017-05-31 06:07:19] 633*2^1455562-1 is not prime. Res64: 8BE8F707E4F85D78 Time : 0.0 sec. user=mdettweiler [2017-05-31 06:07:19] 653*2^1455562-1 is not prime. Res64: 3E3CE0917C377053 Time : 0.0 sec. user=mdettweiler [2017-05-31 06:07:20] 665*2^1455562-1 is not prime. Res64: F775DC69B2AF53BD Time : 0.0 sec. user=mdettweiler [2017-05-31 06:24:13] 801*2^1455562-1 is not prime. Res64: 2D5CEFDE22EF153C Time : 0.0 sec. user=mdettweiler [2017-05-31 06:24:13] 885*2^1455562-1 is not prime. Res64: F868E2CB5ABFA9B1 Time : 0.0 sec. user=mdettweiler [2017-05-31 06:24:13] 915*2^1455562-1 is not prime. Res64: EB29E4EC56F5E308 Time : 0.0 sec. user=mdettweiler [2017-05-31 06:24:14] 923*2^1455562-1 is not prime. Res64: 6E74ABA3FC5656DB Time : 0.0 sec. user=mdettweiler [2017-05-31 06:24:14] 951*2^1455562-1 is not prime. Res64: 46BEBC745D7317FD Time : 0.0 sec. user=mdettweiler [2017-05-31 06:30:38] 663*2^1455563-1 is not prime. Res64: ABF3A6CB5434BECC Time : 0.0 sec. user=mdettweiler [2017-05-31 06:30:38] 703*2^1455563-1 is not prime. Res64: 4CFFEE149DF6E97A Time : 0.0 sec. user=mdettweiler [2017-05-31 06:30:38] 859*2^1455563-1 is not prime. Res64: 96CB57EB0060A0F4 Time : 0.0 sec. user=mdettweiler [2017-05-31 06:30:38] 723*2^1455564-1 is not prime. Res64: F8681B6364C77286 Time : 0.0 sec. user=mdettweiler [2017-05-31 06:30:39] 749*2^1455564-1 is not prime. Res64: 6059EF4D7979B9A6 Time : 0.0 sec. user=mdettweiler [2017-05-31 06:39:01] 975*2^1455564-1 is not prime. Res64: 02B973A6CE13E95C Time : 0.0 sec. user=mdettweiler [2017-05-31 06:39:01] 651*2^1455565-1 is not prime. Res64: 4E5751B430620B74 Time : 0.0 sec. user=mdettweiler [2017-05-31 06:39:02] 685*2^1455565-1 is not prime. Res64: 9736EC2CFB28D954 Time : 0.0 sec. user=mdettweiler [2017-05-31 06:39:02] 895*2^1455565-1 is not prime. Res64: 66C7D9C7DCA86A5A Time : 0.0 sec. user=mdettweiler [2017-05-31 06:39:02] 951*2^1455565-1 is not prime. Res64: 8AB8062CA07C38B9 Time : 0.0 sec. user=mdettweiler [2017-05-31 06:53:05] 615*2^1455566-1 is not prime. Res64: CDC946D2FFE14905 Time : 0.0 sec. user=juhehe [2017-05-31 06:53:05] 993*2^1455566-1 is not prime. Res64: 18853ACE8FC144D1 Time : 0.0 sec. user=mdettweiler [2017-05-31 06:53:05] 663*2^1455566-1 is not prime. Res64: 469AD7C847E64623 Time : 0.0 sec. user=mdettweiler [2017-05-31 06:53:06] 893*2^1455566-1 is not prime. Res64: 9E9D2DA1E6AC6984 Time : 0.0 sec. user=mdettweiler [2017-05-31 06:53:06] 963*2^1455566-1 is not prime. Res64: 7166D2F54008E1B2 Time : 0.0 sec. user=mdettweiler [2017-05-31 06:53:06] 981*2^1455566-1 is not prime. Res64: 70527AD8B138A837 Time : 0.0 sec. user=mdettweiler [2017-05-31 07:09:52] 625*2^1455567-1 is not prime. Res64: 99E834D33EBD9C57 Time : 0.0 sec. user=mdettweiler [2017-05-31 07:09:52] 643*2^1455567-1 is not prime. Res64: D9384D893F1F5558 Time : 0.0 sec. user=mdettweiler [2017-05-31 07:09:52] 703*2^1455567-1 is not prime. Res64: 2A96196F337D61A8 Time : 0.0 sec. user=mdettweiler [2017-05-31 07:09:53] 765*2^1455567-1 is not prime. Res64: F6C4E090115DE862 Time : 0.0 sec. user=mdettweiler [2017-05-31 07:09:53] 775*2^1455567-1 is not prime. Res64: B0E312D4C15DF556 Time : 0.0 sec. user=mdettweiler [2017-05-31 07:16:05] 605*2^1455568-1 is not prime. Res64: B6F2C8DB9C2512AC Time : 0.0 sec. user=mdettweiler [2017-05-31 07:16:05] 623*2^1455568-1 is not prime. Res64: 37A6BC213B12BB4E Time : 0.0 sec. user=mdettweiler [2017-05-31 07:16:05] 677*2^1455568-1 is not prime. Res64: 07513042402C5144 Time : 0.0 sec. user=mdettweiler [2017-05-31 07:16:06] 687*2^1455568-1 is not prime. Res64: C1EFAC8D878BF366 Time : 0.0 sec. user=mdettweiler [2017-05-31 07:16:06] 755*2^1455568-1 is not prime. Res64: F01DDC62275EDCDA Time : 0.0 sec. user=mdettweiler [2017-05-31 07:24:42] 875*2^1455568-1 is not prime. Res64: 5A8539C2C999BE18 Time : 0.0 sec. user=mdettweiler [2017-05-31 07:24:42] 909*2^1455568-1 is not prime. Res64: 9242A1F188F76875 Time : 0.0 sec. user=mdettweiler [2017-05-31 07:24:43] 927*2^1455568-1 is not prime. Res64: 5BC36FA981A9F0B0 Time : 0.0 sec. user=mdettweiler [2017-05-31 07:24:43] 831*2^1455569-1 is not prime. Res64: 5F1D6F1687F940F5 Time : 0.0 sec. user=mdettweiler [2017-05-31 07:24:43] 855*2^1455569-1 is not prime. Res64: 2C236F83C9B5CC0B Time : 0.0 sec. user=juhehe [2017-05-31 07:33:12] 885*2^1455570-1 is not prime. Res64: 9F1563BD32FA69F9 Time : 0.0 sec. user=mdettweiler [2017-05-31 07:38:51] 991*2^1455569-1 is not prime. Res64: 61EC357E8641FAEF Time : 0.0 sec. user=mdettweiler [2017-05-31 07:38:51] 611*2^1455570-1 is not prime. Res64: 565CFE22EA3A31D0 Time : 0.0 sec. user=mdettweiler [2017-05-31 07:38:52] 671*2^1455570-1 is not prime. Res64: C4F7805FCA93D645 Time : 0.0 sec. user=mdettweiler [2017-05-31 07:38:52] 767*2^1455570-1 is not prime. Res64: 49FEB943A5716D70 Time : 0.0 sec. user=mdettweiler [2017-05-31 07:38:52] 845*2^1455570-1 is not prime. Res64: 8F6DBA6C38BBE49A Time : 0.0 sec. user=mdettweiler [2017-05-31 07:55:41] 601*2^1455571-1 is not prime. Res64: 7DCE18B78C506984 Time : 0.0 sec. user=mdettweiler [2017-05-31 07:55:41] 651*2^1455571-1 is not prime. Res64: A0B56F2975A2203A Time : 0.0 sec. user=mdettweiler [2017-05-31 07:55:41] 679*2^1455571-1 is not prime. Res64: 2183B75A56F62178 Time : 0.0 sec. user=mdettweiler [2017-05-31 07:55:41] 759*2^1455571-1 is not prime. Res64: AE8C9CA5D216EA9C Time : 0.0 sec. user=mdettweiler [2017-05-31 07:55:42] 829*2^1455571-1 is not prime. Res64: 7FEC2DD256FECCC6 Time : 0.0 sec. user=mdettweiler [2017-05-31 08:01:44] 835*2^1455571-1 is not prime. Res64: EA76CCCE6E6A2473 Time : 0.0 sec. user=mdettweiler [2017-05-31 08:01:45] 849*2^1455571-1 is not prime. Res64: DFC72E7519B51371 Time : 0.0 sec. user=mdettweiler [2017-05-31 08:01:46] 669*2^1455572-1 is not prime. Res64: B6C84C0D38D42D2D Time : 0.0 sec. user=mdettweiler [2017-05-31 08:01:46] 777*2^1455572-1 is not prime. Res64: D682CD05A72DD3F8 Time : 0.0 sec. user=mdettweiler [2017-05-31 08:01:47] 867*2^1455572-1 is not prime. Res64: E3104A2C52014ACB Time : 0.0 sec. user=mdettweiler [2017-05-31 08:10:21] 893*2^1455572-1 is not prime. Res64: 5BCEB4E275B65C00 Time : 0.0 sec. user=mdettweiler [2017-05-31 08:10:22] 963*2^1455572-1 is not prime. Res64: FC39B4EF15A7834C Time : 0.0 sec. user=mdettweiler [2017-05-31 08:10:22] 607*2^1455573-1 is not prime. Res64: 2177B237F0A8FDCC Time : 0.0 sec. user=mdettweiler [2017-05-31 08:10:22] 649*2^1455573-1 is not prime. Res64: 3D22405451A733BF Time : 0.0 sec. user=mdettweiler [2017-05-31 08:10:22] 735*2^1455573-1 is not prime. Res64: EDBB793C7FDEB072 Time : 0.0 sec. user=mdettweiler [2017-05-31 08:24:39] 741*2^1455573-1 is not prime. Res64: 5A36EE3BC54C6682 Time : 0.0 sec. user=mdettweiler [2017-05-31 08:24:40] 781*2^1455573-1 is not prime. Res64: C8025A53A83F20B4 Time : 0.0 sec. user=mdettweiler [2017-05-31 08:24:40] 871*2^1455573-1 is not prime. Res64: 237E6307E81CD9BD Time : 0.0 sec. user=mdettweiler [2017-05-31 08:24:40] 915*2^1455573-1 is not prime. Res64: 6E39B066C94FF14B Time : 0.0 sec. user=mdettweiler [2017-05-31 08:24:40] 921*2^1455573-1 is not prime. Res64: EB7F348875069F1A Time : 0.0 sec. user=juhehe [2017-05-31 08:53:45] 963*2^1455575-1 is not prime. Res64: D63BDF10EA3277F4 Time : 0.0 sec. user=mdettweiler [2017-05-31 08:55:01] 635*2^1455574-1 is not prime. Res64: D1E5F9E6C6D70243 Time : 0.0 sec. user=mdettweiler [2017-05-31 08:55:01] 665*2^1455574-1 is not prime. Res64: 15404BBA54AA44A7 Time : 0.0 sec. user=mdettweiler [2017-05-31 08:55:02] 677*2^1455574-1 is not prime. Res64: 3E328825290F21FB Time : 0.0 sec. user=mdettweiler [2017-05-31 08:55:02] 723*2^1455574-1 is not prime. Res64: 6A1F2CF6A357CECE Time : 0.0 sec. user=mdettweiler [2017-05-31 08:55:02] 755*2^1455574-1 is not prime. Res64: 83D1EF0D1C4ED6A1 Time : 0.0 sec. user=juhehe [2017-05-31 09:10:10] 933*2^1455576-1 is not prime. Res64: 3E5E90578FB6334C Time : 0.0 sec. user=juhehe [2017-05-31 09:18:40] 649*2^1455577-1 is not prime. Res64: 413253C67924C36F Time : 0.0 sec. user=juhehe [2017-05-31 09:20:42] 605*2^1455578-1 is not prime. Res64: 364EBE88454D96C5 Time : 0.0 sec. user=juhehe [2017-05-31 09:33:50] 687*2^1455577-1 is not prime. Res64: BC39ADC3B875F326 Time : 0.0 sec. user=juhehe [2017-05-31 10:01:12] 627*2^1455578-1 is not prime. Res64: 43F7451B258E617D Time : 0.0 sec. user=juhehe [2017-05-31 10:54:13] 707*2^1455578-1 is not prime. Res64: AC575E0296A704E1 Time : 0.0 sec. user=juhehe [2017-05-31 11:34:15] 843*2^1455578-1 is not prime. Res64: F94C59C837B33DEC Time : 0.0 sec. user=juhehe [2017-05-31 12:14:33] 875*2^1455578-1 is not prime. Res64: DB6D9FD5E7CF7BB3 Time : 0.0 sec. user=juhehe [2017-05-31 12:55:08] 911*2^1455578-1 is not prime. Res64: 7777FF25953BEB79 Time : 0.0 sec. user=juhehe [2017-05-31 13:35:03] 1001*2^1455578-1 is not prime. Res64: DE12DAE607D5E9A6 Time : 0.0 sec. user=juhehe [2017-05-31 14:54:55] 685*2^1455579-1 is not prime. Res64: 1ABBC1F61FC64AC7 Time : 0.0 sec. user=juhehe [2017-05-31 15:34:51] 769*2^1455579-1 is not prime. Res64: FF2410856A1043B7 Time : 0.0 sec. user=juhehe [2017-05-31 16:55:15] 861*2^1455579-1 is not prime. Res64: 8EFF3F859FA9FE7D Time : 0.0 sec. user=juhehe [2017-05-31 17:35:17] 975*2^1455579-1 is not prime. Res64: EA026D9F3538430E Time : 0.0 sec. user=juhehe [2017-05-31 17:47:54] 985*2^1455579-1 is not prime. Res64: EF6382DF9ED8ED4F Time : 0.0 sec. user=juhehe [2017-05-31 18:56:36] 615*2^1455580-1 is not prime. Res64: 57D877772F9B05D6 Time : 0.0 sec. user=juhehe [2017-05-31 20:16:49] 759*2^1455580-1 is not prime. Res64: 83E28A966D91BC0D Time : 0.0 sec. user=juhehe [2017-05-31 20:56:49] 773*2^1455580-1 is not prime. Res64: A1F7397DF9B2EFE4 Time : 0.0 sec. user=juhehe [2017-05-31 22:16:44] 785*2^1455580-1 is not prime. Res64: 931797B2BB458840 Time : 0.0 sec. user=juhehe [2017-05-31 22:56:28] 897*2^1455580-1 is not prime. Res64: C6115308A9944B92 Time : 0.0 sec.