user=mdettweiler [2015-11-03 00:03:27] 981*2^1413887-1 is not prime. Res64: 2E4EC08850563A1B Time : 0.0 sec. user=mdettweiler [2015-11-03 00:03:28] 735*2^1413888-1 is not prime. Res64: 69961DE950A12B77 Time : 0.0 sec. user=mdettweiler [2015-11-03 00:03:33] 759*2^1413888-1 is not prime. Res64: 0BDDBABCA7F3DE60 Time : 0.0 sec. user=mdettweiler [2015-11-03 00:03:34] 795*2^1413888-1 is not prime. Res64: D1C748E8C4996675 Time : 0.0 sec. user=mdettweiler [2015-11-03 00:03:42] 797*2^1413888-1 is not prime. Res64: 0587D57796B6B545 Time : 0.0 sec. user=mdettweiler [2015-11-03 00:03:42] 915*2^1413888-1 is not prime. Res64: 9703D740179C4BD0 Time : 0.0 sec. user=mdettweiler [2015-11-03 00:21:29] 927*2^1413888-1 is not prime. Res64: 81745ECF7C297C2C Time : 0.0 sec. user=mdettweiler [2015-11-03 00:21:29] 933*2^1413888-1 is not prime. Res64: BC142C90C5114715 Time : 0.0 sec. user=mdettweiler [2015-11-03 00:21:31] 945*2^1413888-1 is not prime. Res64: 8A09C6C69319D32E Time : 0.0 sec. user=mdettweiler [2015-11-03 00:21:32] 601*2^1413889-1 is not prime. Res64: 3AB3E378F4A15796 Time : 0.0 sec. user=mdettweiler [2015-11-03 00:21:37] 615*2^1413889-1 is not prime. Res64: 802805221441AA52 Time : 0.0 sec. user=mdettweiler [2015-11-03 00:21:37] 637*2^1413889-1 is not prime. Res64: CEF70EF1733F3C07 Time : 0.0 sec. user=mdettweiler [2015-11-03 00:39:20] 687*2^1413889-1 is not prime. Res64: 2B85666C89664552 Time : 0.0 sec. user=mdettweiler [2015-11-03 00:39:20] 741*2^1413889-1 is not prime. Res64: 8B43D9177E0ED9EE Time : 0.0 sec. user=mdettweiler [2015-11-03 00:39:21] 897*2^1413889-1 is not prime. Res64: 5C77C9BE349B7A31 Time : 0.0 sec. user=mdettweiler [2015-11-03 00:39:21] 919*2^1413889-1 is not prime. Res64: A0F2300D442BB017 Time : 0.0 sec. user=mdettweiler [2015-11-03 00:39:25] 955*2^1413889-1 is not prime. Res64: DB2698C480F4F617 Time : 0.0 sec. user=mdettweiler [2015-11-03 00:39:26] 985*2^1413889-1 is not prime. Res64: 129FEB1C64ABAB57 Time : 0.0 sec. user=mdettweiler [2015-11-03 00:57:03] 861*2^1413890-1 is not prime. Res64: 41F1A8FF717F3AA5 Time : 0.0 sec. user=mdettweiler [2015-11-03 00:57:03] 867*2^1413890-1 is not prime. Res64: 6F492470B9434B32 Time : 0.0 sec. user=mdettweiler [2015-11-03 00:57:06] 633*2^1413890-1 is not prime. Res64: C678FECA461576B2 Time : 0.0 sec. user=mdettweiler [2015-11-03 00:57:07] 825*2^1413890-1 is not prime. Res64: A70B00A91F9CFA63 Time : 0.0 sec. user=mdettweiler [2015-11-03 00:57:10] 887*2^1413890-1 is not prime. Res64: 54214A55122EAA13 Time : 0.0 sec. user=mdettweiler [2015-11-03 00:57:10] 935*2^1413890-1 is not prime. Res64: 514B2532A222EB01 Time : 0.0 sec. user=mdettweiler [2015-11-03 01:14:33] 639*2^1413891-1 is not prime. Res64: 3ECD561C23F663D5 Time : 0.0 sec. user=mdettweiler [2015-11-03 01:14:35] 711*2^1413891-1 is not prime. Res64: 42D34B7ED91490D4 Time : 0.0 sec. user=mdettweiler [2015-11-03 01:14:39] 859*2^1413891-1 is not prime. Res64: 9870B7AB5FE22FBB Time : 0.0 sec. user=mdettweiler [2015-11-03 01:14:41] 901*2^1413891-1 is not prime. Res64: EDA64C7B6919DFAD Time : 0.0 sec. user=mdettweiler [2015-11-03 01:14:43] 603*2^1413892-1 is not prime. Res64: 45CAEB88061E1B17 Time : 0.0 sec. user=mdettweiler [2015-11-03 01:14:44] 605*2^1413892-1 is not prime. Res64: 6D7C0DA1AE2E0282 Time : 0.0 sec. user=mdettweiler [2015-11-03 01:32:16] 929*2^1413892-1 is not prime. Res64: 2353A81BFC48F6C9 Time : 0.0 sec. user=mdettweiler [2015-11-03 01:32:16] 957*2^1413892-1 is not prime. Res64: F3C5634434746625 Time : 0.0 sec. user=mdettweiler [2015-11-03 01:32:18] 657*2^1413893-1 is not prime. Res64: 604376EE261F42BE Time : 0.0 sec. user=mdettweiler [2015-11-03 01:32:19] 669*2^1413893-1 is not prime. Res64: 3CA55CD1E7A511AB Time : 0.0 sec. user=mdettweiler [2015-11-03 01:32:21] 699*2^1413893-1 is not prime. Res64: 838922DF2721B449 Time : 0.0 sec. user=mdettweiler [2015-11-03 01:32:21] 771*2^1413893-1 is not prime. Res64: 0A28AAFE95DF0F41 Time : 0.0 sec. user=mdettweiler [2015-11-03 01:49:47] 879*2^1413893-1 is not prime. Res64: 6558A0E4C2CC39EE Time : 0.0 sec. user=mdettweiler [2015-11-03 01:49:47] 981*2^1413893-1 is not prime. Res64: 2805FD8E3D40D312 Time : 0.0 sec. user=mdettweiler [2015-11-03 01:49:47] 781*2^1413893-1 is not prime. Res64: 231F0A9CF4A034E3 Time : 0.0 sec. user=mdettweiler [2015-11-03 01:49:47] 939*2^1413893-1 is not prime. Res64: 45BC2DAFB666317B Time : 0.0 sec. user=mdettweiler [2015-11-03 01:49:47] 677*2^1413894-1 is not prime. Res64: 8E03DCBCD2555E06 Time : 0.0 sec. user=mdettweiler [2015-11-03 01:49:48] 867*2^1413893-1 is not prime. Res64: C2896A21C50F06D1 Time : 0.0 sec. user=mdettweiler [2015-11-03 02:07:25] 805*2^1413895-1 is not prime. Res64: CC131227B1914136 Time : 0.0 sec. user=mdettweiler [2015-11-03 02:07:26] 707*2^1413894-1 is not prime. Res64: 98FA0E23B6DAF60B Time : 0.0 sec. user=mdettweiler [2015-11-03 02:07:26] 895*2^1413895-1 is not prime. Res64: ED2A811C60C5AD48 Time : 0.0 sec. user=mdettweiler [2015-11-03 02:07:27] 747*2^1413894-1 is not prime. Res64: 42D8B19AB6CD0FBD Time : 0.0 sec. user=mdettweiler [2015-11-03 02:07:27] 603*2^1413895-1 is not prime. Res64: 684C24FA72269C38 Time : 0.0 sec. user=mdettweiler [2015-11-03 02:07:28] 673*2^1413895-1 is not prime. Res64: 9743E6C46D6BAC13 Time : 0.0 sec. user=mdettweiler [2015-11-03 02:25:04] 815*2^1413896-1 is not prime. Res64: 062CA7DF490E6A42 Time : 0.0 sec. user=mdettweiler [2015-11-03 02:25:04] 669*2^1413896-1 is not prime. Res64: 70E443A7F99EB648 Time : 0.0 sec. user=mdettweiler [2015-11-03 02:25:04] 999*2^1413895-1 is not prime. Res64: 9B4985F27E450455 Time : 0.0 sec. user=mdettweiler [2015-11-03 02:25:04] 993*2^1413896-1 is not prime. Res64: 23CCA39C1A456E88 Time : 0.0 sec. user=mdettweiler [2015-11-03 02:25:04] 803*2^1413896-1 is not prime. Res64: A98D4B963887DD0B Time : 0.0 sec. user=mdettweiler [2015-11-03 02:25:04] 633*2^1413896-1 is not prime. Res64: C60235718FDF5A59 Time : 0.0 sec. user=mdettweiler [2015-11-03 02:42:33] 611*2^1413898-1 is not prime. Res64: 9A51A131796BE5F2 Time : 0.0 sec. user=mdettweiler [2015-11-03 02:42:34] 617*2^1413898-1 is not prime. Res64: 8AF7F16E2C34149A Time : 0.0 sec. user=mdettweiler [2015-11-03 02:42:34] 699*2^1413897-1 is not prime. Res64: 4FD25D7E4BD09B91 Time : 0.0 sec. user=mdettweiler [2015-11-03 02:42:35] 837*2^1413897-1 is not prime. Res64: C224A2939DDCEB59 Time : 0.0 sec. user=mdettweiler [2015-11-03 02:42:36] 627*2^1413897-1 is not prime. Res64: 11922E8BD119F268 Time : 0.0 sec. user=mdettweiler [2015-11-03 02:42:36] 661*2^1413897-1 is not prime. Res64: E54D172988291017 Time : 0.0 sec. user=mdettweiler [2015-11-03 03:00:03] 657*2^1413898-1 is not prime. Res64: 7AF7F326E9050782 Time : 0.0 sec. user=mdettweiler [2015-11-03 03:00:04] 663*2^1413898-1 is not prime. Res64: A8FA974634846469 Time : 0.0 sec. user=mdettweiler [2015-11-03 03:00:04] 773*2^1413898-1 is not prime. Res64: 5CEB6F4BE2801922 Time : 0.0 sec. user=mdettweiler [2015-11-03 03:00:04] 687*2^1413898-1 is not prime. Res64: 2E90CCCB05B3DAC8 Time : 0.0 sec. user=mdettweiler [2015-11-03 03:00:05] 887*2^1413898-1 is not prime. Res64: A8F5CA67A156CBDB Time : 0.0 sec. user=mdettweiler [2015-11-03 03:00:05] 735*2^1413898-1 is not prime. Res64: 8A15CBEA74274386 Time : 0.0 sec. user=mdettweiler [2015-11-03 03:17:30] 891*2^1413898-1 is not prime. Res64: 6656AA68CA42D052 Time : 0.0 sec. user=mdettweiler [2015-11-03 03:17:31] 615*2^1413899-1 is not prime. Res64: 1E4D95AB0EAF1604 Time : 0.0 sec. user=mdettweiler [2015-11-03 03:17:31] 609*2^1413899-1 is not prime. Res64: EC05E6601AF67AD9 Time : 0.0 sec. user=mdettweiler [2015-11-03 03:17:31] 703*2^1413899-1 is not prime. Res64: 5CFBCA870DBAA046 Time : 0.0 sec. user=mdettweiler [2015-11-03 03:17:32] 733*2^1413899-1 is not prime. Res64: E20B43B7A319AF7A Time : 0.0 sec. user=mdettweiler [2015-11-03 03:17:33] 759*2^1413899-1 is not prime. Res64: 3DDFE34363F29AE5 Time : 0.0 sec. user=mdettweiler [2015-11-03 03:35:01] 991*2^1413899-1 is not prime. Res64: 3B2E922A1A5677B6 Time : 0.0 sec. user=mdettweiler [2015-11-03 03:35:02] 885*2^1413899-1 is not prime. Res64: 1D28BE46A2E93D99 Time : 0.0 sec. user=mdettweiler [2015-11-03 03:35:03] 993*2^1413899-1 is not prime. Res64: 9ACBBBBFD90F3AC5 Time : 0.0 sec. user=mdettweiler [2015-11-03 03:35:03] 939*2^1413899-1 is not prime. Res64: 217B5FC7F452DCC0 Time : 0.0 sec. user=mdettweiler [2015-11-03 03:35:04] 699*2^1413900-1 is not prime. Res64: 052485E1C2E1BBCE Time : 0.0 sec. user=mdettweiler [2015-11-03 03:35:05] 717*2^1413900-1 is not prime. Res64: 2900F6709E8DED6A Time : 0.0 sec. user=mdettweiler [2015-11-03 03:52:46] 783*2^1413900-1 is not prime. Res64: 46A7D17A2EBFEC85 Time : 0.0 sec. user=mdettweiler [2015-11-03 03:52:48] 905*2^1413900-1 is not prime. Res64: B90E6ADF8CCC1D36 Time : 0.0 sec. user=mdettweiler [2015-11-03 03:52:51] 999*2^1413900-1 is not prime. Res64: 47F528C9E15693E2 Time : 0.0 sec. user=mdettweiler [2015-11-03 03:52:52] 817*2^1413901-1 is not prime. Res64: 5D1DC1718B246D1A Time : 0.0 sec. user=mdettweiler [2015-11-03 03:52:54] 811*2^1413901-1 is not prime. Res64: 60FD53AA8857EAD4 Time : 0.0 sec. user=mdettweiler [2015-11-03 03:52:54] 825*2^1413901-1 is not prime. Res64: 06547AA61DB8CE18 Time : 0.0 sec. user=mdettweiler [2015-11-03 04:10:27] 767*2^1413902-1 is not prime. Res64: 3435AFF03B4A6150 Time : 0.0 sec. user=mdettweiler [2015-11-03 04:10:27] 849*2^1413901-1 is not prime. Res64: 71D8F8A7153E1DD7 Time : 0.0 sec. user=mdettweiler [2015-11-03 04:10:27] 771*2^1413902-1 is not prime. Res64: 06A7680156B248DB Time : 0.0 sec. user=mdettweiler [2015-11-03 04:10:28] 999*2^1413901-1 is not prime. Res64: D3794B17EFEB40E6 Time : 0.0 sec. user=mdettweiler [2015-11-03 04:10:28] 635*2^1413902-1 is not prime. Res64: B5265B0294A741F5 Time : 0.0 sec. user=mdettweiler [2015-11-03 04:10:28] 741*2^1413902-1 is not prime. Res64: 66A945E9CAB63376 Time : 0.0 sec. user=mdettweiler [2015-11-03 04:27:59] 801*2^1413902-1 is not prime. Res64: 23B847E91D521868 Time : 0.0 sec. user=mdettweiler [2015-11-03 04:27:59] 815*2^1413902-1 is not prime. Res64: CD80B56311B606B6 Time : 0.0 sec. user=mdettweiler [2015-11-03 04:27:59] 613*2^1413903-1 is not prime. Res64: 0D5BE1C0E0C0D4E4 Time : 0.0 sec. user=mdettweiler [2015-11-03 04:27:59] 915*2^1413902-1 is not prime. Res64: 24B6C08ADC8A2B73 Time : 0.0 sec. user=mdettweiler [2015-11-03 04:28:00] 625*2^1413903-1 is not prime. Res64: D6BE256E446AD431 Time : 0.0 sec. user=mdettweiler [2015-11-03 04:28:00] 663*2^1413903-1 is not prime. Res64: 639CF184C730ED11 Time : 0.0 sec. user=mdettweiler [2015-11-03 04:45:26] 763*2^1413903-1 is not prime. Res64: 50B872C083A205BC Time : 0.0 sec. user=mdettweiler [2015-11-03 04:45:27] 769*2^1413903-1 is not prime. Res64: A323869F41EA6447 Time : 0.0 sec. user=mdettweiler [2015-11-03 04:45:27] 795*2^1413903-1 is not prime. Res64: 3515F5CF9E817AA5 Time : 0.0 sec. user=mdettweiler [2015-11-03 04:45:27] 825*2^1413903-1 is not prime. Res64: 7E53506FBDBB6920 Time : 0.0 sec. user=mdettweiler [2015-11-03 04:45:28] 691*2^1413903-1 is not prime. Res64: CE9027A204D4B228 Time : 0.0 sec. user=mdettweiler [2015-11-03 04:45:29] 723*2^1413903-1 is not prime. Res64: 497DD9F782A2DD6D Time : 0.0 sec. user=mdettweiler [2015-11-03 05:02:55] 871*2^1413903-1 is not prime. Res64: 08AFCB5406736AE7 Time : 0.0 sec. user=mdettweiler [2015-11-03 05:02:57] 615*2^1413904-1 is not prime. Res64: 1E1126A65078DC69 Time : 0.0 sec. user=mdettweiler [2015-11-03 05:02:58] 885*2^1413903-1 is not prime. Res64: EBAF9CACE393D0A9 Time : 0.0 sec. user=mdettweiler [2015-11-03 05:02:59] 849*2^1413904-1 is not prime. Res64: 29ADDC9AE525DC10 Time : 0.0 sec. user=mdettweiler [2015-11-03 05:02:59] 833*2^1413904-1 is not prime. Res64: A970DE8FA20C9F38 Time : 0.0 sec. user=mdettweiler [2015-11-03 05:03:00] 903*2^1413904-1 is not prime. Res64: 68C2496BBABFFE90 Time : 0.0 sec. user=mdettweiler [2015-11-03 05:20:55] 989*2^1413904-1 is not prime. Res64: 67583FBDFC372B6C Time : 0.0 sec. user=mdettweiler [2015-11-03 05:20:55] 847*2^1413905-1 is not prime. Res64: E7A7953914167480 Time : 0.0 sec. user=mdettweiler [2015-11-03 05:20:57] 979*2^1413905-1 is not prime. Res64: FA08EA2CBB3A74D8 Time : 0.0 sec. user=mdettweiler [2015-11-03 05:20:58] 717*2^1413906-1 is not prime. Res64: 48CC16DADBAD3EDB Time : 0.0 sec. user=mdettweiler [2015-11-03 05:20:59] 787*2^1413905-1 is not prime. Res64: B9A887636B47EE16 Time : 0.0 sec. user=mdettweiler [2015-11-03 05:21:00] 925*2^1413905-1 is not prime. Res64: 40FACA14C67F1208 Time : 0.0 sec. user=mdettweiler [2015-11-03 05:38:28] 603*2^1413907-1 is not prime. Res64: 9B550D99D6D99570 Time : 0.0 sec. user=mdettweiler [2015-11-03 05:38:28] 681*2^1413907-1 is not prime. Res64: 91C0F06EE75A0E69 Time : 0.0 sec. user=mdettweiler [2015-11-03 05:38:28] 837*2^1413906-1 is not prime. Res64: FC2C5383CF9D66F7 Time : 0.0 sec. user=mdettweiler [2015-11-03 05:38:29] 861*2^1413906-1 is not prime. Res64: FFA2ADDBE99E05FE Time : 0.0 sec. user=mdettweiler [2015-11-03 05:38:30] 905*2^1413906-1 is not prime. Res64: BA34882B817F3B5D Time : 0.0 sec. user=mdettweiler [2015-11-03 05:38:30] 971*2^1413906-1 is not prime. Res64: 42D8CA43E5C80B2A Time : 0.0 sec. user=mdettweiler [2015-11-03 05:55:56] 735*2^1413907-1 is not prime. Res64: 7A2D948D35AF4214 Time : 0.0 sec. user=mdettweiler [2015-11-03 05:55:56] 901*2^1413907-1 is not prime. Res64: BFFD29A6D09698CB Time : 0.0 sec. user=mdettweiler [2015-11-03 05:55:56] 931*2^1413907-1 is not prime. Res64: 7F1635643D9C70E8 Time : 0.0 sec. user=mdettweiler [2015-11-03 05:55:57] 945*2^1413907-1 is not prime. Res64: D9CB4133E0A10C36 Time : 0.0 sec. user=mdettweiler [2015-11-03 05:56:01] 975*2^1413907-1 is not prime. Res64: 442461C764FC736F Time : 0.0 sec. user=mdettweiler [2015-11-03 05:56:01] 629*2^1413908-1 is not prime. Res64: 4B04E2281A8B8F3B Time : 0.0 sec. user=mdettweiler [2015-11-03 06:13:23] 819*2^1413908-1 is not prime. Res64: 6200B96C967437B1 Time : 0.0 sec. user=mdettweiler [2015-11-03 06:13:24] 867*2^1413908-1 is not prime. Res64: 79000D87647D177E Time : 0.0 sec. user=mdettweiler [2015-11-03 06:13:25] 945*2^1413908-1 is not prime. Res64: 92EF46E7962D0F5D Time : 0.0 sec. user=mdettweiler [2015-11-03 06:13:26] 969*2^1413908-1 is not prime. Res64: 0A25BFED857C11C4 Time : 0.0 sec. user=mdettweiler [2015-11-03 06:13:29] 649*2^1413909-1 is not prime. Res64: 32983BED07584C0F Time : 0.0 sec. user=mdettweiler [2015-11-03 06:13:29] 655*2^1413909-1 is not prime. Res64: 43183B599449E4FD Time : 0.0 sec. user=mdettweiler [2015-11-03 06:30:54] 895*2^1413909-1 is not prime. Res64: BD2D8A20EA115046 Time : 0.0 sec. user=mdettweiler [2015-11-03 06:30:55] 985*2^1413909-1 is not prime. Res64: 5D033E1F812AAA4F Time : 0.0 sec. user=mdettweiler [2015-11-03 06:30:55] 681*2^1413909-1 is not prime. Res64: 08441B15E92E4324 Time : 0.0 sec. user=mdettweiler [2015-11-03 06:30:55] 789*2^1413909-1 is not prime. Res64: 805E0B1F805F8E5F Time : 0.0 sec. user=mdettweiler [2015-11-03 06:30:57] 997*2^1413909-1 is not prime. Res64: B1BDDD3E2479C8BD Time : 0.0 sec. user=mdettweiler [2015-11-03 06:30:58] 999*2^1413909-1 is not prime. Res64: 1E32B110038F64E8 Time : 0.0 sec. user=mdettweiler [2015-11-03 06:48:21] 603*2^1413910-1 is not prime. Res64: FB60D66A5E84FF72 Time : 0.0 sec. user=mdettweiler [2015-11-03 06:48:21] 605*2^1413910-1 is not prime. Res64: EDF99EB3A429D3C2 Time : 0.0 sec. user=mdettweiler [2015-11-03 06:48:22] 611*2^1413910-1 is not prime. Res64: 888A921DF977D03B Time : 0.0 sec. user=mdettweiler [2015-11-03 06:48:22] 695*2^1413910-1 is not prime. Res64: CBEA160F0B692F5C Time : 0.0 sec. user=mdettweiler [2015-11-03 06:48:25] 765*2^1413910-1 is not prime. Res64: 9D4A965C204B5428 Time : 0.0 sec. user=mdettweiler [2015-11-03 06:48:26] 777*2^1413910-1 is not prime. Res64: DA560728C17285A1 Time : 0.0 sec. user=mdettweiler [2015-11-03 07:05:49] 945*2^1413910-1 is not prime. Res64: 047F45818975E9F9 Time : 0.0 sec. user=mdettweiler [2015-11-03 07:05:49] 675*2^1413911-1 is not prime. Res64: 1C83881A7641F988 Time : 0.0 sec. user=mdettweiler [2015-11-03 07:05:51] 735*2^1413911-1 is not prime. Res64: DC92A11735675A48 Time : 0.0 sec. user=mdettweiler [2015-11-03 07:05:51] 619*2^1413911-1 is not prime. Res64: 17B56027E93CEBDF Time : 0.0 sec. user=mdettweiler [2015-11-03 07:05:53] 825*2^1413911-1 is not prime. Res64: F4B1F420E57C11E6 Time : 0.0 sec. user=mdettweiler [2015-11-03 07:05:54] 859*2^1413911-1 is not prime. Res64: 4ABD9AB79D8F4023 Time : 0.0 sec. user=mdettweiler [2015-11-03 07:23:44] 665*2^1413912-1 is not prime. Res64: F0162CA2B00BD17B Time : 0.0 sec. user=mdettweiler [2015-11-03 07:23:45] 779*2^1413912-1 is not prime. Res64: 90FB7377547A7F92 Time : 0.0 sec. user=mdettweiler [2015-11-03 07:23:45] 825*2^1413912-1 is not prime. Res64: 63720A0C89C0D92E Time : 0.0 sec. user=mdettweiler [2015-11-03 07:23:45] 873*2^1413912-1 is not prime. Res64: BAB6F2B1504FF047 Time : 0.0 sec. user=mdettweiler [2015-11-03 07:23:46] 875*2^1413912-1 is not prime. Res64: 66A339CDCF231A16 Time : 0.0 sec. user=mdettweiler [2015-11-03 07:23:46] 625*2^1413913-1 is not prime. Res64: 1FFF724600F03CB9 Time : 0.0 sec. user=mdettweiler [2015-11-03 07:41:13] 637*2^1413913-1 is not prime. Res64: F33FB44F5C1AFE8C Time : 0.0 sec. user=mdettweiler [2015-11-03 07:41:13] 765*2^1413913-1 is not prime. Res64: C534343718A6A06A Time : 0.0 sec. user=mdettweiler [2015-11-03 07:41:14] 855*2^1413913-1 is not prime. Res64: 410C2075E707324A Time : 0.0 sec. user=mdettweiler [2015-11-03 07:41:14] 957*2^1413913-1 is not prime. Res64: F56B130E2EF20290 Time : 0.0 sec. user=mdettweiler [2015-11-03 07:41:14] 867*2^1413913-1 is not prime. Res64: D75DFF405ECEDE7E Time : 0.0 sec. user=mdettweiler [2015-11-03 07:41:14] 999*2^1413913-1 is not prime. Res64: A6F5497B06C6088A Time : 0.0 sec. user=mdettweiler [2015-11-03 07:58:40] 623*2^1413914-1 is not prime. Res64: 37C15E90E63ED2CE Time : 0.0 sec. user=mdettweiler [2015-11-03 07:58:40] 651*2^1413914-1 is not prime. Res64: E69839F210E6F51D Time : 0.0 sec. user=mdettweiler [2015-11-03 07:58:41] 731*2^1413914-1 is not prime. Res64: 4116CFAB12E8C352 Time : 0.0 sec. user=mdettweiler [2015-11-03 07:58:42] 741*2^1413914-1 is not prime. Res64: 400C54C56B727C82 Time : 0.0 sec. user=mdettweiler [2015-11-03 07:58:45] 825*2^1413914-1 is not prime. Res64: 749535D086DBB021 Time : 0.0 sec. user=mdettweiler [2015-11-03 07:58:45] 951*2^1413914-1 is not prime. Res64: EC5BDEDFC18A524F Time : 0.0 sec. user=mdettweiler [2015-11-03 08:16:06] 981*2^1413914-1 is not prime. Res64: C98421DF791E0163 Time : 0.0 sec. user=mdettweiler [2015-11-03 08:16:07] 739*2^1413915-1 is not prime. Res64: 1413B717244988C7 Time : 0.0 sec. user=mdettweiler [2015-11-03 08:16:07] 781*2^1413915-1 is not prime. Res64: 378E560834E72CCB Time : 0.0 sec. user=mdettweiler [2015-11-03 08:16:07] 795*2^1413915-1 is not prime. Res64: 3A7D9BD42F35F5C6 Time : 0.0 sec. user=mdettweiler [2015-11-03 08:16:11] 801*2^1413915-1 is not prime. Res64: BDB10EA8E3795508 Time : 0.0 sec. user=mdettweiler [2015-11-03 08:16:11] 979*2^1413915-1 is not prime. Res64: BAB0C0FF28417D45 Time : 0.0 sec. user=mdettweiler [2015-11-03 08:33:35] 663*2^1413916-1 is not prime. Res64: FF01DA25D3440885 Time : 0.0 sec. user=mdettweiler [2015-11-03 08:33:36] 845*2^1413916-1 is not prime. Res64: D2EBC17C49CDB76C Time : 0.0 sec. user=mdettweiler [2015-11-03 08:33:36] 887*2^1413916-1 is not prime. Res64: 46148B3C4452FE58 Time : 0.0 sec. user=mdettweiler [2015-11-03 08:33:36] 923*2^1413916-1 is not prime. Res64: AA371A5E51A5D035 Time : 0.0 sec. user=mdettweiler [2015-11-03 08:33:41] 969*2^1413916-1 is not prime. Res64: AD3FC74AB152197D Time : 0.0 sec. user=mdettweiler [2015-11-03 08:33:42] 615*2^1413917-1 is not prime. Res64: D4112DCB29DB5B9F Time : 0.0 sec. user=mdettweiler [2015-11-03 08:51:02] 675*2^1413917-1 is not prime. Res64: 7CD39A92ABB81BBE Time : 0.0 sec. user=mdettweiler [2015-11-03 08:51:02] 729*2^1413917-1 is not prime. Res64: FD188223DD277836 Time : 0.0 sec. user=mdettweiler [2015-11-03 08:51:02] 741*2^1413917-1 is not prime. Res64: 9ACDCA226D64E044 Time : 0.0 sec. user=mdettweiler [2015-11-03 08:51:03] 831*2^1413917-1 is not prime. Res64: B3E126FEE1A4E106 Time : 0.0 sec. user=mdettweiler [2015-11-03 08:51:09] 957*2^1413917-1 is not prime. Res64: 4241BB4E9765815B Time : 0.0 sec. user=mdettweiler [2015-11-03 08:51:09] 755*2^1413918-1 is not prime. Res64: 8DDE7497241EE742 Time : 0.0 sec. user=mdettweiler [2015-11-03 09:08:29] 765*2^1413918-1 is not prime. Res64: 5E4FAA3AE031C0B3 Time : 0.0 sec. user=mdettweiler [2015-11-03 09:08:29] 867*2^1413918-1 is not prime. Res64: CCC9599B79C0620E Time : 0.0 sec. user=mdettweiler [2015-11-03 09:08:30] 767*2^1413918-1 is not prime. Res64: 8865F82A7B621555 Time : 0.0 sec. user=mdettweiler [2015-11-03 09:08:30] 941*2^1413918-1 is not prime. Res64: FC018023BFC71F90 Time : 0.0 sec. user=mdettweiler [2015-11-03 09:08:36] 993*2^1413918-1 is not prime. Res64: 6DF8F7A9EF99D06E Time : 0.0 sec. user=mdettweiler [2015-11-03 09:08:36] 615*2^1413919-1 is not prime. Res64: B4DF88143512D207 Time : 0.0 sec. user=mdettweiler [2015-11-03 09:25:59] 723*2^1413919-1 is not prime. Res64: 903DE86B00E3CD69 Time : 0.0 sec. user=mdettweiler [2015-11-03 09:25:59] 763*2^1413919-1 is not prime. Res64: 5207A3FE03510465 Time : 0.0 sec. user=mdettweiler [2015-11-03 09:26:00] 645*2^1413919-1 is not prime. Res64: 061C3C5F3AF393FA Time : 0.0 sec. user=mdettweiler [2015-11-03 09:26:00] 661*2^1413919-1 is not prime. Res64: 551190AD061D87F9 Time : 0.0 sec. user=mdettweiler [2015-11-03 09:26:09] 811*2^1413919-1 is not prime. Res64: A380CF1B62C38C7B Time : 0.0 sec. user=mdettweiler [2015-11-03 09:26:09] 831*2^1413919-1 is not prime. Res64: 2B797B036668FF73 Time : 0.0 sec. user=mdettweiler [2015-11-03 09:43:26] 873*2^1413919-1 is not prime. Res64: 1A8F787F14594B9E Time : 0.0 sec. user=mdettweiler [2015-11-03 09:43:27] 891*2^1413919-1 is not prime. Res64: 5B5D5174E59A1DEA Time : 0.0 sec. user=mdettweiler [2015-11-03 09:43:29] 615*2^1413920-1 is not prime. Res64: 965DCE303E14DE9C Time : 0.0 sec. user=mdettweiler [2015-11-03 09:43:29] 717*2^1413920-1 is not prime. Res64: 05A845A518ACAE3C Time : 0.0 sec. user=mdettweiler [2015-11-03 09:43:38] 759*2^1413920-1 is not prime. Res64: C71771A7CBD3FF99 Time : 0.0 sec. user=mdettweiler [2015-11-03 09:43:38] 773*2^1413920-1 is not prime. Res64: 238397CBDF91ADC2 Time : 0.0 sec. user=mdettweiler [2015-11-03 10:00:57] 651*2^1413921-1 is not prime. Res64: ED26588EF2E7EFBA Time : 0.0 sec. user=mdettweiler [2015-11-03 10:00:58] 681*2^1413921-1 is not prime. Res64: 914999193CA655B2 Time : 0.0 sec. user=mdettweiler [2015-11-03 10:00:58] 963*2^1413920-1 is not prime. Res64: 60CCBD3BF6DB4116 Time : 0.0 sec. user=mdettweiler [2015-11-03 10:00:58] 983*2^1413920-1 is not prime. Res64: B932B330D01B3627 Time : 0.0 sec. user=mdettweiler [2015-11-03 10:01:05] 685*2^1413921-1 is not prime. Res64: 2EB04329FB44237A Time : 0.0 sec. user=mdettweiler [2015-11-03 10:01:07] 835*2^1413921-1 is not prime. Res64: A7B33F2A66AEFFFB Time : 0.0 sec. user=mdettweiler [2015-11-03 10:18:27] 907*2^1413921-1 is not prime. Res64: 1D9389598C9EDEF9 Time : 0.0 sec. user=mdettweiler [2015-11-03 10:18:27] 603*2^1413922-1 is not prime. Res64: 6E32F6E54659D62D Time : 0.0 sec. user=mdettweiler [2015-11-03 10:18:27] 991*2^1413921-1 is not prime. Res64: 23A4BE719D43D404 Time : 0.0 sec. user=mdettweiler [2015-11-03 10:18:28] 731*2^1413922-1 is not prime. Res64: AC06C05A23E0C42E Time : 0.0 sec. user=mdettweiler [2015-11-03 10:18:37] 743*2^1413922-1 is not prime. Res64: 807A1E7CCC10E827 Time : 0.0 sec. user=mdettweiler [2015-11-03 10:18:38] 833*2^1413922-1 is not prime. Res64: 2CB4F4376CBD45E2 Time : 0.0 sec. user=mdettweiler [2015-11-03 10:35:56] 843*2^1413922-1 is not prime. Res64: 9C9F1B63C693EBB5 Time : 0.0 sec. user=mdettweiler [2015-11-03 10:35:56] 945*2^1413922-1 is not prime. Res64: 8E4B1B929072B681 Time : 0.0 sec. user=mdettweiler [2015-11-03 10:35:57] 633*2^1413923-1 is not prime. Res64: E218E3E7DF56C7E6 Time : 0.0 sec. user=mdettweiler [2015-11-03 10:35:57] 703*2^1413923-1 is not prime. Res64: 4A88196ED2F3124B Time : 0.0 sec. user=mdettweiler [2015-11-03 10:36:05] 759*2^1413923-1 is not prime. Res64: A56ACCA1EE645304 Time : 0.0 sec. user=mdettweiler [2015-11-03 10:36:05] 775*2^1413923-1 is not prime. Res64: 81267460ACE87ACE Time : 0.0 sec. user=mdettweiler [2015-11-03 10:53:24] 853*2^1413923-1 is not prime. Res64: 6BDB133312B0BD92 Time : 0.0 sec. user=mdettweiler [2015-11-03 10:53:24] 999*2^1413923-1 is not prime. Res64: 7B75B8D1B144B533 Time : 0.0 sec. user=mdettweiler [2015-11-03 10:53:25] 973*2^1413923-1 is not prime. Res64: 17E2EBDB1FEC00AF Time : 0.0 sec. user=mdettweiler [2015-11-03 10:53:25] 635*2^1413924-1 is not prime. Res64: 6583815147DBAE57 Time : 0.0 sec. user=mdettweiler [2015-11-03 10:53:33] 723*2^1413924-1 is not prime. Res64: 1234975A1F4F5E63 Time : 0.0 sec. user=mdettweiler [2015-11-03 10:53:33] 773*2^1413924-1 is not prime. Res64: 312059AAF5080733 Time : 0.0 sec. user=mdettweiler [2015-11-03 11:10:52] 905*2^1413924-1 is not prime. Res64: A4C42ECE95D546F8 Time : 0.0 sec. user=mdettweiler [2015-11-03 11:10:52] 915*2^1413924-1 is not prime. Res64: B8B8B1F6D6E3945C Time : 0.0 sec. user=mdettweiler [2015-11-03 11:10:53] 947*2^1413924-1 is not prime. Res64: AADD00F26E836CE6 Time : 0.0 sec. user=mdettweiler [2015-11-03 11:10:53] 607*2^1413925-1 is not prime. Res64: 2A702733002886CF Time : 0.0 sec. user=mdettweiler [2015-11-03 11:11:00] 651*2^1413925-1 is not prime. Res64: 857A1B44C6A179BA Time : 0.0 sec. user=mdettweiler [2015-11-03 11:11:00] 675*2^1413925-1 is not prime. Res64: 6B7F7DD4A6DE520F Time : 0.0 sec. user=mdettweiler [2015-11-03 11:28:22] 727*2^1413925-1 is not prime. Res64: 3F03921EA8CF0A30 Time : 0.0 sec. user=mdettweiler [2015-11-03 11:28:22] 715*2^1413925-1 is not prime. Res64: 34E5A0E33316A57D Time : 0.0 sec. user=mdettweiler [2015-11-03 11:28:22] 871*2^1413925-1 is not prime. Res64: F1643DD10BFBFE04 Time : 0.0 sec. user=mdettweiler [2015-11-03 11:28:23] 717*2^1413925-1 is not prime. Res64: DD18156BB640AE4B Time : 0.0 sec. user=mdettweiler [2015-11-03 11:28:26] 895*2^1413925-1 is not prime. Res64: C3BEB861FD29D198 Time : 0.0 sec. user=mdettweiler [2015-11-03 11:28:27] 657*2^1413926-1 is not prime. Res64: BA9D2730CD2E05C0 Time : 0.0 sec. user=mdettweiler [2015-11-03 11:45:52] 683*2^1413926-1 is not prime. Res64: 04A2C8B7208B7365 Time : 0.0 sec. user=mdettweiler [2015-11-03 11:45:52] 705*2^1413926-1 is not prime. Res64: EB6C2BBD1F129307 Time : 0.0 sec. user=mdettweiler [2015-11-03 11:45:53] 785*2^1413926-1 is not prime. Res64: 638F1DBAD1187832 Time : 0.0 sec. user=mdettweiler [2015-11-03 11:45:53] 887*2^1413926-1 is not prime. Res64: 79BCBD80AF56D301 Time : 0.0 sec. user=mdettweiler [2015-11-03 11:45:56] 921*2^1413926-1 is not prime. Res64: 0CC52D771F24E19A Time : 0.0 sec. user=mdettweiler [2015-11-03 11:45:56] 945*2^1413926-1 is not prime. Res64: 59EF0BF5EE34D974 Time : 0.0 sec. user=mdettweiler [2015-11-03 12:03:23] 993*2^1413926-1 is not prime. Res64: 3EEDBF9B0B29847D Time : 0.0 sec. user=mdettweiler [2015-11-03 12:03:23] 741*2^1413927-1 is not prime. Res64: 9B53842069470CF9 Time : 0.0 sec. user=mdettweiler [2015-11-03 12:03:24] 703*2^1413927-1 is not prime. Res64: 96620C188DEBDC5C Time : 0.0 sec. user=mdettweiler [2015-11-03 12:03:24] 861*2^1413927-1 is not prime. Res64: 3077EAFD62A8375E Time : 0.0 sec. user=mdettweiler [2015-11-03 12:03:25] 765*2^1413927-1 is not prime. Res64: 1D849162C0959ED8 Time : 0.0 sec. user=mdettweiler [2015-11-03 12:03:26] 909*2^1413927-1 is not prime. Res64: 7B56BB050AA6EC69 Time : 0.0 sec. user=mdettweiler [2015-11-03 12:21:16] 887*2^1413928-1 is not prime. Res64: 3D9434EE38B6BB50 Time : 0.0 sec. user=mdettweiler [2015-11-03 12:21:16] 975*2^1413928-1 is not prime. Res64: 278D619FF3FC0FB5 Time : 0.0 sec. user=mdettweiler [2015-11-03 12:21:17] 747*2^1413928-1 is not prime. Res64: 88823F8E23B4FA2E Time : 0.0 sec. user=mdettweiler [2015-11-03 12:21:17] 975*2^1413927-1 is not prime. Res64: D783BF136A1BB183 Time : 0.0 sec. user=mdettweiler [2015-11-03 12:21:17] 843*2^1413928-1 is not prime. Res64: 69EC43DC90B3B390 Time : 0.0 sec. user=mdettweiler [2015-11-03 12:21:17] 979*2^1413927-1 is not prime. Res64: 21530554872F4757 Time : 0.0 sec. user=mdettweiler [2015-11-03 12:38:44] 615*2^1413929-1 is not prime. Res64: 36713842792E0C0F Time : 0.0 sec. user=mdettweiler [2015-11-03 12:38:45] 747*2^1413929-1 is not prime. Res64: 79A6B999C3FE311B Time : 0.0 sec. user=mdettweiler [2015-11-03 12:38:46] 811*2^1413929-1 is not prime. Res64: 80B32627D8FCA276 Time : 0.0 sec. user=mdettweiler [2015-11-03 12:38:46] 855*2^1413929-1 is not prime. Res64: 7C71A048807E6453 Time : 0.0 sec. user=mdettweiler [2015-11-03 12:38:47] 995*2^1413928-1 is not prime. Res64: 41B5B8C59B9A1AC9 Time : 0.0 sec. user=mdettweiler [2015-11-03 12:38:48] 999*2^1413928-1 is not prime. Res64: 9AC85E17ED4ED0D6 Time : 0.0 sec. user=mdettweiler [2015-11-03 12:56:13] 879*2^1413929-1 is not prime. Res64: C8038FC3A4EA3419 Time : 0.0 sec. user=mdettweiler [2015-11-03 12:56:13] 949*2^1413929-1 is not prime. Res64: 2C16B229C6066702 Time : 0.0 sec. user=mdettweiler [2015-11-03 12:56:15] 885*2^1413930-1 is not prime. Res64: 7CE5F3BFB803D906 Time : 0.0 sec. user=mdettweiler [2015-11-03 12:56:16] 887*2^1413930-1 is not prime. Res64: BA1D9648C2BAD6A9 Time : 0.0 sec. user=mdettweiler [2015-11-03 12:56:17] 893*2^1413930-1 is not prime. Res64: CBE0C14932D2408C Time : 0.0 sec. user=mdettweiler [2015-11-03 12:56:18] 921*2^1413930-1 is not prime. Res64: 8327A2F38044306B Time : 0.0 sec. user=mdettweiler [2015-11-03 13:13:41] 941*2^1413930-1 is not prime. Res64: F1EA5A60B6C7B5A3 Time : 0.0 sec. user=mdettweiler [2015-11-03 13:13:41] 751*2^1413931-1 is not prime. Res64: F0767091219C764D Time : 0.0 sec. user=mdettweiler [2015-11-03 13:13:43] 759*2^1413931-1 is not prime. Res64: B15BE6057F055D4F Time : 0.0 sec. user=mdettweiler [2015-11-03 13:13:43] 961*2^1413931-1 is not prime. Res64: FD635B594B0C1727 Time : 0.0 sec. user=mdettweiler [2015-11-03 13:13:46] 669*2^1413932-1 is not prime. Res64: A6DF04CDDA766524 Time : 0.0 sec. user=mdettweiler [2015-11-03 13:13:46] 843*2^1413932-1 is not prime. Res64: BC34BA8B2F8CFE87 Time : 0.0 sec. user=mdettweiler [2015-11-03 13:31:09] 857*2^1413932-1 is not prime. Res64: F56469EB8D393850 Time : 0.0 sec. user=mdettweiler [2015-11-03 13:31:09] 959*2^1413932-1 is not prime. Res64: 30ED507FCB085375 Time : 0.0 sec. user=mdettweiler [2015-11-03 13:31:10] 727*2^1413933-1 is not prime. Res64: 8BBD26DEDCB47D96 Time : 0.0 sec. user=mdettweiler [2015-11-03 13:31:10] 745*2^1413933-1 is not prime. Res64: 59592A5342E05C5A Time : 0.0 sec. user=mdettweiler [2015-11-03 13:31:12] 781*2^1413933-1 is not prime. Res64: 698272F8E4A2D26E Time : 0.0 sec. user=mdettweiler [2015-11-03 13:31:13] 817*2^1413933-1 is not prime. Res64: CFBA5FA48096A354 Time : 0.0 sec. user=mdettweiler [2015-11-03 13:48:37] 919*2^1413933-1 is not prime. Res64: 2229A3B9060E471A Time : 0.0 sec. user=mdettweiler [2015-11-03 13:48:38] 927*2^1413933-1 is not prime. Res64: FB1D65E10FB51122 Time : 0.0 sec. user=mdettweiler [2015-11-03 13:48:41] 665*2^1413934-1 is not prime. Res64: A5503C6CB24427AF Time : 0.0 sec. user=mdettweiler [2015-11-03 13:48:41] 955*2^1413933-1 is not prime. Res64: 977750542E34FCAE Time : 0.0 sec. user=mdettweiler [2015-11-03 13:48:41] 785*2^1413934-1 is not prime. Res64: 85B9CBD420DA0EB3 Time : 0.0 sec. user=mdettweiler [2015-11-03 13:48:41] 999*2^1413933-1 is not prime. Res64: CE20AB57877BA164 Time : 0.0 sec. user=mdettweiler [2015-11-03 14:06:05] 791*2^1413934-1 is not prime. Res64: F20FB562D9EE22AF Time : 0.0 sec. user=mdettweiler [2015-11-03 14:06:07] 917*2^1413934-1 is not prime. Res64: A98A309FCD5E8FF9 Time : 0.0 sec. user=mdettweiler [2015-11-03 14:06:09] 649*2^1413935-1 is not prime. Res64: 95359E27FAAF82EB Time : 0.0 sec. user=mdettweiler [2015-11-03 14:06:11] 843*2^1413935-1 is not prime. Res64: B6632D2D85A25050 Time : 0.0 sec. user=mdettweiler [2015-11-03 14:06:12] 951*2^1413934-1 is not prime. Res64: F420D4E8F938DB6E Time : 0.0 sec. user=mdettweiler [2015-11-03 14:06:13] 957*2^1413934-1 is not prime. Res64: BEFF838B1B109773 Time : 0.0 sec. user=mdettweiler [2015-11-03 14:23:54] 725*2^1413936-1 is not prime. Res64: 582D7463FA3DED84 Time : 0.0 sec. user=mdettweiler [2015-11-03 14:23:54] 803*2^1413936-1 is not prime. Res64: 418DA97D20B388F6 Time : 0.0 sec. user=mdettweiler [2015-11-03 14:23:54] 939*2^1413935-1 is not prime. Res64: 14310CD906EDD5DB Time : 0.0 sec. user=mdettweiler [2015-11-03 14:23:55] 705*2^1413936-1 is not prime. Res64: E87465570476AC80 Time : 0.0 sec. user=mdettweiler [2015-11-03 14:23:56] 855*2^1413935-1 is not prime. Res64: 7DEF051418CA1686 Time : 0.0 sec. user=mdettweiler [2015-11-03 14:23:56] 871*2^1413935-1 is not prime. Res64: 4293125AE90083BB Time : 0.0 sec. user=mdettweiler [2015-11-03 14:41:21] 857*2^1413936-1 is not prime. Res64: 1C1BA69073682086 Time : 0.0 sec. user=mdettweiler [2015-11-03 14:41:21] 809*2^1413936-1 is not prime. Res64: 7C828480C4A1E850 Time : 0.0 sec. user=mdettweiler [2015-11-03 14:41:21] 905*2^1413936-1 is not prime. Res64: EB12F5AAE100F54B Time : 0.0 sec. user=mdettweiler [2015-11-03 14:41:21] 843*2^1413936-1 is not prime. Res64: 8EBAB1D4058F990D Time : 0.0 sec. user=mdettweiler [2015-11-03 14:41:22] 969*2^1413936-1 is not prime. Res64: 82D93C6E731E26B2 Time : 0.0 sec. user=mdettweiler [2015-11-03 14:41:22] 639*2^1413937-1 is not prime. Res64: 7AB950BE810F8792 Time : 0.0 sec. user=mdettweiler [2015-11-03 14:58:49] 775*2^1413937-1 is not prime. Res64: 99BB9B9A7E251711 Time : 0.0 sec. user=mdettweiler [2015-11-03 14:58:49] 645*2^1413937-1 is not prime. Res64: 38AA80742309E79C Time : 0.0 sec. user=mdettweiler [2015-11-03 14:58:49] 765*2^1413937-1 is not prime. Res64: 75AF52D4E918D2D2 Time : 0.0 sec. user=mdettweiler [2015-11-03 14:58:49] 801*2^1413937-1 is not prime. Res64: 50CAE68638E43C51 Time : 0.0 sec. user=mdettweiler [2015-11-03 14:58:49] 667*2^1413937-1 is not prime. Res64: 3A5A1DDF95C6CB80 Time : 0.0 sec. user=mdettweiler [2015-11-03 14:58:50] 771*2^1413937-1 is not prime. Res64: 6D9BF988D26F5DA3 Time : 0.0 sec. user=mdettweiler [2015-11-03 15:16:16] 937*2^1413937-1 is not prime. Res64: 9B515B40953F38FF Time : 0.0 sec. user=mdettweiler [2015-11-03 15:16:16] 805*2^1413937-1 is not prime. Res64: 5CDE0D83E7441932 Time : 0.0 sec. user=mdettweiler [2015-11-03 15:16:16] 861*2^1413937-1 is not prime. Res64: CAF6D0F3D67DD145 Time : 0.0 sec. user=mdettweiler [2015-11-03 15:16:16] 807*2^1413937-1 is not prime. Res64: 80AE7E75C1E903B3 Time : 0.0 sec. user=mdettweiler [2015-11-03 15:16:17] 955*2^1413937-1 is not prime. Res64: C3CB1A5529CEDC93 Time : 0.0 sec. user=mdettweiler [2015-11-03 15:16:17] 885*2^1413937-1 is not prime. Res64: 758E49C473EF250C Time : 0.0 sec. user=mdettweiler [2015-11-03 15:33:53] 755*2^1413938-1 is not prime. Res64: 7813C82FB98F00B6 Time : 0.0 sec. user=mdettweiler [2015-11-03 15:33:54] 815*2^1413938-1 is not prime. Res64: 92CB81E7AE0409D3 Time : 0.0 sec. user=mdettweiler [2015-11-03 15:33:54] 635*2^1413938-1 is not prime. Res64: 40D76A399B53C936 Time : 0.0 sec. user=mdettweiler [2015-11-03 15:33:54] 641*2^1413938-1 is not prime. Res64: E49E8C7803A92573 Time : 0.0 sec. user=mdettweiler [2015-11-03 15:33:54] 705*2^1413938-1 is not prime. Res64: FCDE587C45AA9649 Time : 0.0 sec. user=mdettweiler [2015-11-03 15:33:55] 743*2^1413938-1 is not prime. Res64: 7D68365D52B90506 Time : 0.0 sec. user=mdettweiler [2015-11-03 15:51:41] 633*2^1413939-1 is not prime. Res64: 3DE14F0E76AEC68B Time : 0.0 sec. user=mdettweiler [2015-11-03 15:51:41] 705*2^1413939-1 is not prime. Res64: 1B1E882209ED5BA2 Time : 0.0 sec. user=mdettweiler [2015-11-03 15:51:44] 857*2^1413938-1 is not prime. Res64: 0F6D2E6A45F73022 Time : 0.0 sec. user=mdettweiler [2015-11-03 15:51:44] 915*2^1413938-1 is not prime. Res64: 804DC2070432501B Time : 0.0 sec. user=mdettweiler [2015-11-03 15:51:46] 945*2^1413938-1 is not prime. Res64: EEE2878BD0B5BE6E Time : 0.0 sec. user=mdettweiler [2015-11-03 15:51:46] 971*2^1413938-1 is not prime. Res64: 8FC262323C19E428 Time : 0.0 sec. user=mdettweiler [2015-11-03 16:09:08] 735*2^1413939-1 is not prime. Res64: CAA1124F74773CCF Time : 0.0 sec. user=mdettweiler [2015-11-03 16:09:09] 769*2^1413939-1 is not prime. Res64: 38BB25643FE173D5 Time : 0.0 sec. user=mdettweiler [2015-11-03 16:09:10] 891*2^1413939-1 is not prime. Res64: F3CCB3F6009ECC4A Time : 0.0 sec. user=mdettweiler [2015-11-03 16:09:11] 803*2^1413940-1 is not prime. Res64: 8449FD3761DD22AC Time : 0.0 sec. user=mdettweiler [2015-11-03 16:09:13] 843*2^1413940-1 is not prime. Res64: A90CDD0BFC5783CB Time : 0.0 sec. user=mdettweiler [2015-11-03 16:09:13] 927*2^1413940-1 is not prime. Res64: 5353F5ED513B4635 Time : 0.0 sec. user=mdettweiler [2015-11-03 16:26:38] 959*2^1413940-1 is not prime. Res64: CF432E01398FE62B Time : 0.0 sec. user=mdettweiler [2015-11-03 16:26:38] 965*2^1413940-1 is not prime. Res64: 1DE720DC93D13E20 Time : 0.0 sec. user=mdettweiler [2015-11-03 16:26:39] 989*2^1413940-1 is not prime. Res64: CD25271ED858F9C5 Time : 0.0 sec. user=mdettweiler [2015-11-03 16:26:39] 781*2^1413941-1 is not prime. Res64: 7EB3BE486E442625 Time : 0.0 sec. user=mdettweiler [2015-11-03 16:26:39] 795*2^1413941-1 is not prime. Res64: 3F1697AEA5DF2191 Time : 0.0 sec. user=mdettweiler [2015-11-03 16:26:40] 805*2^1413941-1 is not prime. Res64: 40EEF607B5D10FC1 Time : 0.0 sec. user=mdettweiler [2015-11-03 16:44:05] 683*2^1413942-1 is not prime. Res64: DC45A93B2A070128 Time : 0.0 sec. user=mdettweiler [2015-11-03 16:44:05] 987*2^1413941-1 is not prime. Res64: 367AA6331E135D4C Time : 0.0 sec. user=mdettweiler [2015-11-03 16:44:05] 983*2^1413942-1 is not prime. Res64: C27D9CB5440D4EBC Time : 0.0 sec. user=mdettweiler [2015-11-03 16:44:05] 621*2^1413942-1 is not prime. Res64: 744F6655016B7CD5 Time : 0.0 sec. user=mdettweiler [2015-11-03 16:44:06] 679*2^1413943-1 is not prime. Res64: B02B6B9E38066F2F Time : 0.0 sec. user=mdettweiler [2015-11-03 16:44:07] 919*2^1413943-1 is not prime. Res64: 91F45F041D1EA458 Time : 0.0 sec. user=mdettweiler [2015-11-03 17:01:33] 623*2^1413944-1 is not prime. Res64: 1A149A6DF5826B2D Time : 0.0 sec. user=mdettweiler [2015-11-03 17:01:34] 805*2^1413945-1 is not prime. Res64: 36CEE8E2548B524A Time : 0.0 sec. user=mdettweiler [2015-11-03 17:01:34] 899*2^1413944-1 is not prime. Res64: D8636C24A524C803 Time : 0.0 sec. user=mdettweiler [2015-11-03 17:01:35] 921*2^1413945-1 is not prime. Res64: 39F6EF7481BBB874 Time : 0.0 sec. user=mdettweiler [2015-11-03 17:01:35] 843*2^1413944-1 is not prime. Res64: 6280BE0C5CA41304 Time : 0.0 sec. user=mdettweiler [2015-11-03 17:01:35] 957*2^1413944-1 is not prime. Res64: 69863C02615F77AD Time : 0.0 sec. user=mdettweiler [2015-11-03 17:19:19] 937*2^1413945-1 is not prime. Res64: 76E8773DBE2A6249 Time : 0.0 sec. user=mdettweiler [2015-11-03 17:19:20] 969*2^1413945-1 is not prime. Res64: 59C261E11D0BC059 Time : 0.0 sec. user=mdettweiler [2015-11-03 17:19:20] 603*2^1413946-1 is not prime. Res64: A6A87C53C709EEB0 Time : 0.0 sec. user=mdettweiler [2015-11-03 17:19:21] 685*2^1413947-1 is not prime. Res64: 549DC3F31728A1AB Time : 0.0 sec. user=mdettweiler [2015-11-03 17:19:21] 781*2^1413947-1 is not prime. Res64: 346A0F84F5ADA912 Time : 0.0 sec. user=mdettweiler [2015-11-03 17:19:22] 799*2^1413947-1 is not prime. Res64: 375EBD6F5B39BEB5 Time : 0.0 sec. user=mdettweiler [2015-11-03 17:36:50] 999*2^1413947-1 is not prime. Res64: 615BC447A68EFC5F Time : 0.0 sec. user=mdettweiler [2015-11-03 17:36:50] 705*2^1413948-1 is not prime. Res64: 9928C96A7B13AABF Time : 0.0 sec. user=mdettweiler [2015-11-03 17:36:50] 647*2^1413948-1 is not prime. Res64: 6DF19EB0D56D27B6 Time : 0.0 sec. user=mdettweiler [2015-11-03 17:36:50] 737*2^1413948-1 is not prime. Res64: EAE3AE42685BE41F Time : 0.0 sec. user=mdettweiler [2015-11-03 17:36:52] 859*2^1413947-1 is not prime. Res64: AC63F3C1389150C2 Time : 0.0 sec. user=mdettweiler [2015-11-03 17:36:52] 885*2^1413947-1 is not prime. Res64: 207CA67984CEB6DE Time : 0.0 sec. user=mdettweiler [2015-11-03 17:54:18] 777*2^1413948-1 is not prime. Res64: BEE8079C20B060CC Time : 0.0 sec. user=mdettweiler [2015-11-03 17:54:18] 875*2^1413948-1 is not prime. Res64: D7ACBE375CFC36D8 Time : 0.0 sec. user=mdettweiler [2015-11-03 17:54:19] 923*2^1413948-1 is not prime. Res64: 2D69092806DC2702 Time : 0.0 sec. user=mdettweiler [2015-11-03 17:54:20] 927*2^1413948-1 is not prime. Res64: 4A5871ECC31AC64B Time : 0.0 sec. user=mdettweiler [2015-11-03 17:54:21] 933*2^1413948-1 is not prime. Res64: C56292304E7F8059 Time : 0.0 sec. user=mdettweiler [2015-11-03 17:54:21] 687*2^1413949-1 is not prime. Res64: 453FD366A07A3B8E Time : 0.0 sec. user=mdettweiler [2015-11-03 18:11:45] 699*2^1413949-1 is not prime. Res64: A0C01E27B1D25A59 Time : 0.0 sec. user=mdettweiler [2015-11-03 18:11:46] 769*2^1413949-1 is not prime. Res64: DEF8022AC47238E1 Time : 0.0 sec. user=mdettweiler [2015-11-03 18:11:49] 885*2^1413949-1 is not prime. Res64: 4A9BF3062F036490 Time : 0.0 sec. user=mdettweiler [2015-11-03 18:11:50] 635*2^1413950-1 is not prime. Res64: C15F191CCFE123B0 Time : 0.0 sec. user=mdettweiler [2015-11-03 18:11:51] 741*2^1413950-1 is not prime. Res64: CBA3C1832A9E2D0D Time : 0.0 sec. user=mdettweiler [2015-11-03 18:11:51] 743*2^1413950-1 is not prime. Res64: 3FD665137E33C0C8 Time : 0.0 sec. user=mdettweiler [2015-11-03 18:29:22] 885*2^1413950-1 is not prime. Res64: 89747FC39C1F4EAE Time : 0.0 sec. user=mdettweiler [2015-11-03 18:29:22] 785*2^1413950-1 is not prime. Res64: F1DB1713F3816D5B Time : 0.0 sec. user=mdettweiler [2015-11-03 18:29:23] 897*2^1413950-1 is not prime. Res64: E92040BD3A90FF00 Time : 0.0 sec. user=mdettweiler [2015-11-03 18:29:23] 801*2^1413950-1 is not prime. Res64: 05892EB9588CE7C8 Time : 0.0 sec. user=mdettweiler [2015-11-03 18:29:23] 951*2^1413950-1 is not prime. Res64: EB74836F6F765466 Time : 0.0 sec. user=mdettweiler [2015-11-03 18:29:23] 723*2^1413951-1 is not prime. Res64: AC478CBCAA43B11C Time : 0.0 sec. user=mdettweiler [2015-11-03 18:46:51] 629*2^1413952-1 is not prime. Res64: 0237EA55F53B6819 Time : 0.0 sec. user=mdettweiler [2015-11-03 18:46:51] 961*2^1413951-1 is not prime. Res64: 6646DFA61299546A Time : 0.0 sec. user=mdettweiler [2015-11-03 18:46:52] 645*2^1413952-1 is not prime. Res64: 0AC8F6571396C201 Time : 0.0 sec. user=mdettweiler [2015-11-03 18:46:52] 615*2^1413952-1 is not prime. Res64: D74791D6B4C0D524 Time : 0.0 sec. user=mdettweiler [2015-11-03 18:46:52] 751*2^1413951-1 is not prime. Res64: 31CCDA097A9AB80B Time : 0.0 sec. user=mdettweiler [2015-11-03 18:46:53] 823*2^1413951-1 is not prime. Res64: 8E6544FF437DBFA5 Time : 0.0 sec. user=mdettweiler [2015-11-03 19:04:20] 657*2^1413952-1 is not prime. Res64: E147F656F2A62104 Time : 0.0 sec. user=mdettweiler [2015-11-03 19:04:21] 813*2^1413952-1 is not prime. Res64: 673E90D6CFEFEF63 Time : 0.0 sec. user=mdettweiler [2015-11-03 19:04:22] 713*2^1413952-1 is not prime. Res64: F33AC27613CA32C2 Time : 0.0 sec. user=mdettweiler [2015-11-03 19:04:23] 869*2^1413952-1 is not prime. Res64: B67A84336A5D0A18 Time : 0.0 sec. user=mdettweiler [2015-11-03 19:04:23] 717*2^1413952-1 is not prime. Res64: 378DD7BA4E5FEED4 Time : 0.0 sec. user=mdettweiler [2015-11-03 19:04:24] 723*2^1413952-1 is not prime. Res64: 9C17D342E0F10D04 Time : 0.0 sec. user=mdettweiler [2015-11-03 19:22:22] 607*2^1413953-1 is not prime. Res64: 3816E10E660DB78E Time : 0.0 sec. user=mdettweiler [2015-11-03 19:22:22] 649*2^1413953-1 is not prime. Res64: 5A1435B43EFA14B5 Time : 0.0 sec. user=mdettweiler [2015-11-03 19:22:23] 741*2^1413953-1 is not prime. Res64: F78FF2BCF67C02CF Time : 0.0 sec. user=mdettweiler [2015-11-03 19:22:23] 955*2^1413953-1 is not prime. Res64: C8A3EE8FF2D484D8 Time : 0.0 sec. user=mdettweiler [2015-11-03 19:22:24] 957*2^1413952-1 is not prime. Res64: 79A1411F2030EBBB Time : 0.0 sec. user=mdettweiler [2015-11-03 19:22:25] 615*2^1413953-1 is not prime. Res64: 254A43AF7365B0CB Time : 0.0 sec. user=mdettweiler [2015-11-03 19:39:52] 635*2^1413954-1 is not prime. Res64: 984CC1D3EE6C5436 Time : 0.0 sec. user=mdettweiler [2015-11-03 19:39:53] 641*2^1413954-1 is not prime. Res64: EE3C32CF9A4F73E9 Time : 0.0 sec. user=mdettweiler [2015-11-03 19:39:53] 725*2^1413954-1 is not prime. Res64: 7E1250F1DCD4A4EC Time : 0.0 sec. user=mdettweiler [2015-11-03 19:39:54] 821*2^1413954-1 is not prime. Res64: 68646D86A3FFD7E9 Time : 0.0 sec. user=mdettweiler [2015-11-03 19:39:55] 903*2^1413954-1 is not prime. Res64: 24960B3A3F842CCA Time : 0.0 sec. user=mdettweiler [2015-11-03 19:39:56] 917*2^1413954-1 is not prime. Res64: 96D70ADDDC48334E Time : 0.0 sec. user=mdettweiler [2015-11-03 19:57:33] 603*2^1413955-1 is not prime. Res64: EA91CF488D1263C5 Time : 0.0 sec. user=mdettweiler [2015-11-03 19:57:33] 609*2^1413955-1 is not prime. Res64: 80539AA358B203EA Time : 0.0 sec. user=mdettweiler [2015-11-03 19:57:33] 873*2^1413955-1 is not prime. Res64: B28B7A98E3E8A6F6 Time : 0.0 sec. user=mdettweiler [2015-11-03 19:57:33] 925*2^1413955-1 is not prime. Res64: F017501A17842329 Time : 0.0 sec. user=mdettweiler [2015-11-03 19:57:36] 705*2^1413955-1 is not prime. Res64: 4FDBE3501BE1F509 Time : 0.0 sec. user=mdettweiler [2015-11-03 19:57:36] 871*2^1413955-1 is not prime. Res64: 20066817DCC06A33 Time : 0.0 sec. user=mdettweiler [2015-11-03 20:16:22] 683*2^1413956-1 is not prime. Res64: DE4143589C69B431 Time : 0.0 sec. user=mdettweiler [2015-11-03 20:16:22] 923*2^1413956-1 is not prime. Res64: B2F857170E883DB9 Time : 0.0 sec. user=mdettweiler [2015-11-03 20:16:25] 987*2^1413956-1 is not prime. Res64: 1ED40F4E15E33326 Time : 0.0 sec. user=mdettweiler [2015-11-03 20:16:26] 651*2^1413957-1 is not prime. Res64: 2081A2CF8B41DD68 Time : 0.0 sec. user=mdettweiler [2015-11-03 20:16:30] 661*2^1413957-1 is not prime. Res64: AAB07EAFC7EF727B Time : 0.0 sec. user=mdettweiler [2015-11-03 20:16:30] 741*2^1413957-1 is not prime. Res64: 824032D9AEF74DC8 Time : 0.0 sec. user=mdettweiler [2015-11-03 20:35:38] 805*2^1413957-1 is not prime. Res64: E58EAE2BF922D956 Time : 0.0 sec. user=mdettweiler [2015-11-03 20:35:39] 945*2^1413957-1 is not prime. Res64: 6A4E3ECAEDF56727 Time : 0.0 sec. user=mdettweiler [2015-11-03 20:35:39] 707*2^1413958-1 is not prime. Res64: A6428A597B723300 Time : 0.0 sec. user=mdettweiler [2015-11-03 20:35:40] 831*2^1413958-1 is not prime. Res64: 54F48E44055A68C4 Time : 0.0 sec. user=mdettweiler [2015-11-03 20:35:43] 843*2^1413958-1 is not prime. Res64: AD87F4BA543310A1 Time : 0.0 sec. user=mdettweiler [2015-11-03 20:35:44] 915*2^1413958-1 is not prime. Res64: 945CE74E65ABA98C Time : 0.0 sec. user=mdettweiler [2015-11-03 20:54:03] 987*2^1413958-1 is not prime. Res64: EFC0D747B48106F5 Time : 0.0 sec. user=mdettweiler [2015-11-03 20:54:03] 655*2^1413959-1 is not prime. Res64: E643B7BE618FDF00 Time : 0.0 sec. user=mdettweiler [2015-11-03 20:54:03] 645*2^1413959-1 is not prime. Res64: 6CB059FCA7C5D151 Time : 0.0 sec. user=mdettweiler [2015-11-03 20:54:03] 745*2^1413959-1 is not prime. Res64: 77D6A1350E30FC63 Time : 0.0 sec. user=mdettweiler [2015-11-03 20:54:07] 831*2^1413959-1 is not prime. Res64: F54FEECCD395CA2F Time : 0.0 sec. user=mdettweiler [2015-11-03 20:54:08] 943*2^1413959-1 is not prime. Res64: 6B55AD27C6EAC79E Time : 0.0 sec. user=mdettweiler [2015-11-03 21:11:31] 693*2^1413960-1 is not prime. Res64: 65CF42ED02144AA2 Time : 0.0 sec. user=mdettweiler [2015-11-03 21:11:31] 857*2^1413960-1 is not prime. Res64: A90B4A0D39F3E87F Time : 0.0 sec. user=mdettweiler [2015-11-03 21:11:32] 753*2^1413960-1 is not prime. Res64: 532A7F7DCC6A382C Time : 0.0 sec. user=mdettweiler [2015-11-03 21:11:32] 917*2^1413960-1 is not prime. Res64: 4041056A7FAAD6F7 Time : 0.0 sec. user=mdettweiler [2015-11-03 21:11:36] 929*2^1413960-1 is not prime. Res64: 1D9B5C77A44BA91F Time : 0.0 sec. user=mdettweiler [2015-11-03 21:11:36] 933*2^1413960-1 is not prime. Res64: 19445FDD51FE381E Time : 0.0 sec. user=mdettweiler [2015-11-03 21:29:01] 751*2^1413961-1 is not prime. Res64: C63A225F54AA50EF Time : 0.0 sec. user=mdettweiler [2015-11-03 21:29:01] 657*2^1413962-1 is not prime. Res64: 95D4C2FF14968D76 Time : 0.0 sec. user=mdettweiler [2015-11-03 21:29:02] 731*2^1413962-1 is not prime. Res64: 35AF68196FA4E475 Time : 0.0 sec. user=mdettweiler [2015-11-03 21:29:02] 741*2^1413962-1 is not prime. Res64: 06FA4D903BB37EC9 Time : 0.0 sec. user=mdettweiler [2015-11-03 21:29:03] 945*2^1413962-1 is not prime. Res64: E7BAC1E801EBDFDE Time : 0.0 sec. user=mdettweiler [2015-11-03 21:29:03] 675*2^1413963-1 is not prime. Res64: 40FB273BB49DC8FB Time : 0.0 sec. user=mdettweiler [2015-11-03 21:46:28] 739*2^1413963-1 is not prime. Res64: 347FC27F25EDA866 Time : 0.0 sec. user=mdettweiler [2015-11-03 21:46:28] 745*2^1413963-1 is not prime. Res64: 1FF0F64795FAB414 Time : 0.0 sec. user=mdettweiler [2015-11-03 21:46:29] 769*2^1413963-1 is not prime. Res64: A825C827DE67F48E Time : 0.0 sec. user=mdettweiler [2015-11-03 21:46:29] 891*2^1413963-1 is not prime. Res64: 46ABD966C00DAFCF Time : 0.0 sec. user=mdettweiler [2015-11-03 21:46:31] 753*2^1413963-1 is not prime. Res64: 38F942B38A193281 Time : 0.0 sec. user=mdettweiler [2015-11-03 21:46:31] 765*2^1413963-1 is not prime. Res64: 3D2EE4F41BD59BEB Time : 0.0 sec. user=mdettweiler [2015-11-03 22:03:57] 951*2^1413963-1 is not prime. Res64: 18619C3C24E79744 Time : 0.0 sec. user=mdettweiler [2015-11-03 22:03:57] 759*2^1413964-1 is not prime. Res64: A0068BF60037BA71 Time : 0.0 sec. user=mdettweiler [2015-11-03 22:03:58] 899*2^1413964-1 is not prime. Res64: 7E046D4111175A36 Time : 0.0 sec. user=mdettweiler [2015-11-03 22:03:58] 813*2^1413964-1 is not prime. Res64: 530F8DC3012FD627 Time : 0.0 sec. user=mdettweiler [2015-11-03 22:03:58] 743*2^1413964-1 is not prime. Res64: 5597045AA412FAC1 Time : 0.0 sec. user=mdettweiler [2015-11-03 22:03:59] 909*2^1413964-1 is not prime. Res64: 2886ABE22598BB08 Time : 0.0 sec. user=mdettweiler [2015-11-03 22:21:44] 953*2^1413964-1 is not prime. Res64: 94B3831E18ADF64A Time : 0.0 sec. user=mdettweiler [2015-11-03 22:21:45] 969*2^1413964-1 is not prime. Res64: B485D6AD86685285 Time : 0.0 sec. user=mdettweiler [2015-11-03 22:21:48] 759*2^1413965-1 is not prime. Res64: 2EC33D44EA188A11 Time : 0.0 sec. user=mdettweiler [2015-11-03 22:21:49] 775*2^1413965-1 is not prime. Res64: 2F0B1EA59E81A408 Time : 0.0 sec. user=mdettweiler [2015-11-03 22:21:50] 627*2^1413965-1 is not prime. Res64: 3D71FB2DD2318202 Time : 0.0 sec. user=mdettweiler [2015-11-03 22:21:50] 721*2^1413965-1 is not prime. Res64: A443B5D6D7EECD54 Time : 0.0 sec. user=mdettweiler [2015-11-03 22:39:15] 787*2^1413965-1 is not prime. Res64: C87F8C69CB137440 Time : 0.0 sec. user=mdettweiler [2015-11-03 22:39:15] 861*2^1413965-1 is not prime. Res64: 5B3392FE926C4463 Time : 0.0 sec. user=mdettweiler [2015-11-03 22:39:17] 927*2^1413965-1 is not prime. Res64: E6B72867CD502CC1 Time : 0.0 sec. user=mdettweiler [2015-11-03 22:39:17] 981*2^1413965-1 is not prime. Res64: 10DD5CE125C16DCD Time : 0.0 sec. user=mdettweiler [2015-11-03 22:39:21] 683*2^1413966-1 is not prime. Res64: 75F9E2E4BAB5C306 Time : 0.0 sec. user=mdettweiler [2015-11-03 22:39:21] 783*2^1413966-1 is not prime. Res64: 53D2E30F21AEFDED Time : 0.0 sec. user=mdettweiler [2015-11-03 22:56:48] 917*2^1413966-1 is not prime. Res64: F17D494BD69095A1 Time : 0.0 sec. user=mdettweiler [2015-11-03 22:56:48] 633*2^1413967-1 is not prime. Res64: 91B4B0BD5CEC5F4C Time : 0.0 sec. user=mdettweiler [2015-11-03 22:56:49] 649*2^1413967-1 is not prime. Res64: D1576F9BF7D84422 Time : 0.0 sec. user=mdettweiler [2015-11-03 22:56:49] 681*2^1413967-1 is not prime. Res64: 30155F47E270B9B7 Time : 0.0 sec. user=mdettweiler [2015-11-03 22:56:53] 741*2^1413967-1 is not prime. Res64: D28BE48740AB3B33 Time : 0.0 sec. user=mdettweiler [2015-11-03 22:56:53] 765*2^1413967-1 is not prime. Res64: 0B6081BC4AF9B175 Time : 0.0 sec. user=mdettweiler [2015-11-03 23:14:45] 885*2^1413967-1 is not prime. Res64: 44EEAA1B4D61C57C Time : 0.0 sec. user=mdettweiler [2015-11-03 23:14:45] 769*2^1413967-1 is not prime. Res64: 8302AF4C78E7DFA7 Time : 0.0 sec. user=mdettweiler [2015-11-03 23:14:46] 889*2^1413967-1 is not prime. Res64: 3829FDC6FA086D76 Time : 0.0 sec. user=mdettweiler [2015-11-03 23:14:46] 813*2^1413967-1 is not prime. Res64: 7F7258018CFCF146 Time : 0.0 sec. user=mdettweiler [2015-11-03 23:14:50] 895*2^1413967-1 is not prime. Res64: 6282CA39EADF4632 Time : 0.0 sec. user=mdettweiler [2015-11-03 23:14:50] 617*2^1413968-1 is not prime. Res64: E31A8DB5A5163642 Time : 0.0 sec. user=mdettweiler [2015-11-03 23:32:41] 635*2^1413968-1 is not prime. Res64: 1F32AF71D83F9483 Time : 0.0 sec. user=mdettweiler [2015-11-03 23:32:41] 735*2^1413968-1 is not prime. Res64: 8F7CAB118EB4C667 Time : 0.0 sec. user=mdettweiler [2015-11-03 23:32:41] 725*2^1413968-1 is not prime. Res64: FC91BA0F2D3DF8CD Time : 0.0 sec. user=mdettweiler [2015-11-03 23:32:42] 855*2^1413968-1 is not prime. Res64: EBE7E9C8EF3E09A3 Time : 0.0 sec. user=mdettweiler [2015-11-03 23:32:46] 879*2^1413968-1 is not prime. Res64: 20A483A6CDB7CACF Time : 0.0 sec. user=mdettweiler [2015-11-03 23:32:46] 963*2^1413968-1 is not prime. Res64: 2EF25785E546C23A Time : 0.0 sec. user=mdettweiler [2015-11-03 23:50:31] 765*2^1413969-1 is not prime. Res64: 855F17AE67AC7C7A Time : 0.0 sec. user=mdettweiler [2015-11-03 23:50:31] 889*2^1413969-1 is not prime. Res64: 51B22EAFAA113EF0 Time : 0.0 sec. user=mdettweiler [2015-11-03 23:50:32] 669*2^1413969-1 is not prime. Res64: E26266EBF1F103F1 Time : 0.0 sec. user=mdettweiler [2015-11-03 23:50:32] 727*2^1413969-1 is not prime. Res64: E3407B4B794FF2E1 Time : 0.0 sec. user=mdettweiler [2015-11-03 23:50:34] 987*2^1413969-1 is not prime. Res64: 62547C62C5F0E882 Time : 0.0 sec. user=mdettweiler [2015-11-03 23:50:34] 999*2^1413969-1 is not prime. Res64: C079E464F6BA3FE4 Time : 0.0 sec.