user=mdettweiler [2015-12-31 00:04:21] 857*2^1418396-1 is not prime. Res64: 83B84652A2605EE8 Time : 0.0 sec. user=mdettweiler [2015-12-31 00:04:21] 683*2^1418396-1 is not prime. Res64: EFE8BDE20E900A82 Time : 0.0 sec. user=mdettweiler [2015-12-31 00:04:22] 927*2^1418396-1 is not prime. Res64: FBBA340F381D9C71 Time : 0.0 sec. user=mdettweiler [2015-12-31 00:04:22] 825*2^1418396-1 is not prime. Res64: DA946C4B1726ACC4 Time : 0.0 sec. user=mdettweiler [2015-12-31 00:22:11] 607*2^1418397-1 is not prime. Res64: 47D20AC63A3E5641 Time : 0.0 sec. user=mdettweiler [2015-12-31 00:22:12] 615*2^1418397-1 is not prime. Res64: 549B12BADA2F0223 Time : 0.0 sec. user=mdettweiler [2015-12-31 00:22:14] 669*2^1418397-1 is not prime. Res64: 2CC2901465A8CC51 Time : 0.0 sec. user=mdettweiler [2015-12-31 00:22:14] 691*2^1418397-1 is not prime. Res64: 4D9BC72FD705E136 Time : 0.0 sec. user=mdettweiler [2015-12-31 00:39:42] 727*2^1418397-1 is not prime. Res64: 557EE548DB0EA58C Time : 0.0 sec. user=mdettweiler [2015-12-31 00:39:42] 747*2^1418397-1 is not prime. Res64: 8CFDD1D10FE01573 Time : 0.0 sec. user=mdettweiler [2015-12-31 00:39:43] 759*2^1418397-1 is not prime. Res64: E0F6D420C9861856 Time : 0.0 sec. user=mdettweiler [2015-12-31 00:39:43] 835*2^1418397-1 is not prime. Res64: CCCEF5DC588D782E Time : 0.0 sec. user=mdettweiler [2015-12-31 00:57:14] 991*2^1418397-1 is not prime. Res64: EDC2F27437C771BC Time : 0.0 sec. user=mdettweiler [2015-12-31 00:57:15] 651*2^1418398-1 is not prime. Res64: 88A8B2B0860F4FA6 Time : 0.0 sec. user=mdettweiler [2015-12-31 00:57:16] 737*2^1418398-1 is not prime. Res64: CC26ED6BCBE50B14 Time : 0.0 sec. user=mdettweiler [2015-12-31 00:57:17] 815*2^1418398-1 is not prime. Res64: F56D36A6164DB2BF Time : 0.0 sec. user=mdettweiler [2015-12-31 01:14:50] 693*2^1418399-1 is not prime. Res64: 3CE64F1A770BB206 Time : 0.0 sec. user=mdettweiler [2015-12-31 01:14:50] 771*2^1418399-1 is not prime. Res64: 77637F7576C18B56 Time : 0.0 sec. user=mdettweiler [2015-12-31 01:14:51] 943*2^1418399-1 is not prime. Res64: 3E9AFC715556F1BA Time : 0.0 sec. user=mdettweiler [2015-12-31 01:14:51] 795*2^1418400-1 is not prime. Res64: C9ECF2C3079F7795 Time : 0.0 sec. user=mdettweiler [2015-12-31 01:32:31] 839*2^1418400-1 is not prime. Res64: 3EA60991441F2F1B Time : 0.0 sec. user=mdettweiler [2015-12-31 01:32:31] 845*2^1418400-1 is not prime. Res64: 0B9A1E80B31A21FA Time : 0.0 sec. user=mdettweiler [2015-12-31 01:32:32] 857*2^1418400-1 is not prime. Res64: 51FD80F67C1788CE Time : 0.0 sec. user=mdettweiler [2015-12-31 01:32:32] 893*2^1418400-1 is not prime. Res64: FEA57C8A7B288154 Time : 0.0 sec. user=mdettweiler [2015-12-31 01:51:39] 625*2^1418401-1 is not prime. Res64: A5C2210B8FBA6AC8 Time : 0.0 sec. user=mdettweiler [2015-12-31 01:51:40] 905*2^1418400-1 is not prime. Res64: 700CC0E79347B7BC Time : 0.0 sec. user=mdettweiler [2015-12-31 01:51:40] 645*2^1418401-1 is not prime. Res64: 137A010692FCCC16 Time : 0.0 sec. user=mdettweiler [2015-12-31 01:51:40] 929*2^1418400-1 is not prime. Res64: B8546C0D495913F0 Time : 0.0 sec. user=mdettweiler [2015-12-31 02:09:10] 997*2^1418401-1 is not prime. Res64: FA292BA49B6FC1F8 Time : 0.0 sec. user=mdettweiler [2015-12-31 02:09:10] 771*2^1418401-1 is not prime. Res64: 3DC4CACF7D1D9318 Time : 0.0 sec. user=mdettweiler [2015-12-31 02:09:10] 735*2^1418402-1 is not prime. Res64: F0B63F6AF1E09E9C Time : 0.0 sec. user=mdettweiler [2015-12-31 02:09:10] 777*2^1418401-1 is not prime. Res64: DF976012FF036004 Time : 0.0 sec. user=mdettweiler [2015-12-31 02:26:42] 699*2^1418403-1 is not prime. Res64: 7B0CFBB550AAFCBF Time : 0.0 sec. user=mdettweiler [2015-12-31 02:26:42] 791*2^1418402-1 is not prime. Res64: 75933BDD5BC9B485 Time : 0.0 sec. user=mdettweiler [2015-12-31 02:26:43] 723*2^1418403-1 is not prime. Res64: DE5459FE8DC0AB00 Time : 0.0 sec. user=mdettweiler [2015-12-31 02:26:43] 669*2^1418403-1 is not prime. Res64: B472266298F3B08E Time : 0.0 sec. user=mdettweiler [2015-12-31 02:44:15] 871*2^1418403-1 is not prime. Res64: 1D9E5FE697878FF9 Time : 0.0 sec. user=mdettweiler [2015-12-31 02:44:16] 769*2^1418403-1 is not prime. Res64: 8C246B53331234BD Time : 0.0 sec. user=mdettweiler [2015-12-31 02:44:16] 955*2^1418403-1 is not prime. Res64: 609A5F5A83A43342 Time : 0.0 sec. user=mdettweiler [2015-12-31 02:44:16] 825*2^1418403-1 is not prime. Res64: 3CF021D6C80E6148 Time : 0.0 sec. user=mdettweiler [2015-12-31 03:01:43] 915*2^1418404-1 is not prime. Res64: 6176599B2A01805E Time : 0.0 sec. user=mdettweiler [2015-12-31 03:01:45] 927*2^1418404-1 is not prime. Res64: 7062D764F234DDF2 Time : 0.0 sec. user=mdettweiler [2015-12-31 03:01:47] 963*2^1418403-1 is not prime. Res64: F5EE682E066CA135 Time : 0.0 sec. user=mdettweiler [2015-12-31 03:01:50] 635*2^1418404-1 is not prime. Res64: EA4C5A62C5FCE7B1 Time : 0.0 sec. user=mdettweiler [2015-12-31 03:19:49] 989*2^1418404-1 is not prime. Res64: EF726740428D60B1 Time : 0.0 sec. user=mdettweiler [2015-12-31 03:19:50] 601*2^1418405-1 is not prime. Res64: 391CABE5503F0195 Time : 0.0 sec. user=mdettweiler [2015-12-31 03:19:51] 627*2^1418405-1 is not prime. Res64: 1629363F5EE57535 Time : 0.0 sec. user=mdettweiler [2015-12-31 03:19:52] 645*2^1418405-1 is not prime. Res64: AF268EAC9EB0B70B Time : 0.0 sec. user=mdettweiler [2015-12-31 03:37:19] 979*2^1418405-1 is not prime. Res64: 8FBD520BA02CB695 Time : 0.0 sec. user=mdettweiler [2015-12-31 03:37:19] 757*2^1418405-1 is not prime. Res64: E96C2FEE6CE89A02 Time : 0.0 sec. user=mdettweiler [2015-12-31 03:37:20] 987*2^1418405-1 is not prime. Res64: 7BF078E72C79EBC4 Time : 0.0 sec. user=mdettweiler [2015-12-31 03:37:21] 957*2^1418405-1 is not prime. Res64: 32E6ADE59AEE1AAB Time : 0.0 sec. user=mdettweiler [2015-12-31 03:55:04] 611*2^1418406-1 is not prime. Res64: 236C64BC731DA0D4 Time : 0.0 sec. user=mdettweiler [2015-12-31 03:55:05] 761*2^1418406-1 is not prime. Res64: 178C7FBB6B09B369 Time : 0.0 sec. user=mdettweiler [2015-12-31 03:55:05] 653*2^1418406-1 is not prime. Res64: 88645B984169DA35 Time : 0.0 sec. user=mdettweiler [2015-12-31 03:55:05] 887*2^1418406-1 is not prime. Res64: 15B16155CE08145A Time : 0.0 sec. user=mdettweiler [2015-12-31 04:12:34] 983*2^1418406-1 is not prime. Res64: DC22DCC4F152236F Time : 0.0 sec. user=mdettweiler [2015-12-31 04:12:35] 945*2^1418406-1 is not prime. Res64: 9776AF860B509C26 Time : 0.0 sec. user=mdettweiler [2015-12-31 04:12:35] 639*2^1418407-1 is not prime. Res64: E1ECA880E9F7B81B Time : 0.0 sec. user=mdettweiler [2015-12-31 04:12:35] 947*2^1418406-1 is not prime. Res64: 53D33E9F2F19BA70 Time : 0.0 sec. user=mdettweiler [2015-12-31 04:30:04] 705*2^1418407-1 is not prime. Res64: E9023ABA71602E84 Time : 0.0 sec. user=mdettweiler [2015-12-31 04:30:04] 645*2^1418407-1 is not prime. Res64: 0E6A9DED05A9F512 Time : 0.0 sec. user=mdettweiler [2015-12-31 04:30:04] 729*2^1418407-1 is not prime. Res64: 7059F187D5D3615E Time : 0.0 sec. user=mdettweiler [2015-12-31 04:30:05] 651*2^1418407-1 is not prime. Res64: BC33DEDC13CB634B Time : 0.0 sec. user=mdettweiler [2015-12-31 04:47:33] 829*2^1418407-1 is not prime. Res64: 8B4AF49DE5A1BA29 Time : 0.0 sec. user=mdettweiler [2015-12-31 04:47:33] 885*2^1418407-1 is not prime. Res64: 9B6A2308E299322E Time : 0.0 sec. user=mdettweiler [2015-12-31 04:47:34] 645*2^1418408-1 is not prime. Res64: 34B104926BE1DFA0 Time : 0.0 sec. user=mdettweiler [2015-12-31 04:47:35] 665*2^1418408-1 is not prime. Res64: 3B615B7079B08489 Time : 0.0 sec. user=mdettweiler [2015-12-31 05:05:03] 773*2^1418408-1 is not prime. Res64: 1458F7F09218FA73 Time : 0.0 sec. user=mdettweiler [2015-12-31 05:05:04] 691*2^1418409-1 is not prime. Res64: 4747E03E6B693219 Time : 0.0 sec. user=mdettweiler [2015-12-31 05:05:04] 855*2^1418408-1 is not prime. Res64: 256922D4347CB290 Time : 0.0 sec. user=mdettweiler [2015-12-31 05:05:05] 727*2^1418409-1 is not prime. Res64: 4C34ADD6874C8200 Time : 0.0 sec. user=mdettweiler [2015-12-31 05:22:41] 807*2^1418409-1 is not prime. Res64: 3A45E7DD35B88381 Time : 0.0 sec. user=mdettweiler [2015-12-31 05:22:41] 745*2^1418409-1 is not prime. Res64: 6540DEB598086299 Time : 0.0 sec. user=mdettweiler [2015-12-31 05:22:42] 865*2^1418409-1 is not prime. Res64: 6AA6254A6EA25054 Time : 0.0 sec. user=mdettweiler [2015-12-31 05:22:42] 751*2^1418409-1 is not prime. Res64: B1716FC4423E1997 Time : 0.0 sec. user=mdettweiler [2015-12-31 05:40:09] 755*2^1418410-1 is not prime. Res64: 4142CDAF0E53D20A Time : 0.0 sec. user=mdettweiler [2015-12-31 05:40:10] 997*2^1418409-1 is not prime. Res64: 73817CCE623F2B20 Time : 0.0 sec. user=mdettweiler [2015-12-31 05:40:10] 773*2^1418410-1 is not prime. Res64: 0A814F14C5E5E8B5 Time : 0.0 sec. user=mdettweiler [2015-12-31 05:40:10] 633*2^1418410-1 is not prime. Res64: E3C43913E34DCCE3 Time : 0.0 sec. user=mdettweiler [2015-12-31 05:57:37] 827*2^1418410-1 is not prime. Res64: B8DB7D448E5622A2 Time : 0.0 sec. user=mdettweiler [2015-12-31 05:57:37] 843*2^1418410-1 is not prime. Res64: 7DFAEF3C9EDCA88F Time : 0.0 sec. user=mdettweiler [2015-12-31 05:57:37] 885*2^1418410-1 is not prime. Res64: 2725603C7565CB3A Time : 0.0 sec. user=mdettweiler [2015-12-31 05:57:38] 923*2^1418410-1 is not prime. Res64: 4886939CEAAFFBEF Time : 0.0 sec. user=mdettweiler [2015-12-31 06:15:04] 981*2^1418410-1 is not prime. Res64: 42B6BBA985C231E1 Time : 0.0 sec. user=mdettweiler [2015-12-31 06:15:04] 705*2^1418411-1 is not prime. Res64: 05E284380E8C778D Time : 0.0 sec. user=mdettweiler [2015-12-31 06:15:04] 715*2^1418411-1 is not prime. Res64: CDCE8BFC5D11CB49 Time : 0.0 sec. user=mdettweiler [2015-12-31 06:15:05] 805*2^1418411-1 is not prime. Res64: B5B8E6B4D244FAE6 Time : 0.0 sec. user=mdettweiler [2015-12-31 06:32:32] 811*2^1418411-1 is not prime. Res64: A6CF9962F9AD321C Time : 0.0 sec. user=mdettweiler [2015-12-31 06:32:32] 813*2^1418411-1 is not prime. Res64: D717F7F4BA7571D2 Time : 0.0 sec. user=mdettweiler [2015-12-31 06:32:32] 841*2^1418411-1 is not prime. Res64: 4C759C0F69E5D709 Time : 0.0 sec. user=mdettweiler [2015-12-31 06:32:33] 843*2^1418411-1 is not prime. Res64: C2990292B7A131DB Time : 0.0 sec. user=mdettweiler [2015-12-31 06:49:59] 885*2^1418411-1 is not prime. Res64: 4B3806C6B800A81B Time : 0.0 sec. user=mdettweiler [2015-12-31 06:49:59] 949*2^1418411-1 is not prime. Res64: 8B0514C792D907AD Time : 0.0 sec. user=mdettweiler [2015-12-31 06:49:59] 981*2^1418411-1 is not prime. Res64: FAFE3EA683245ADA Time : 0.0 sec. user=mdettweiler [2015-12-31 06:50:00] 627*2^1418412-1 is not prime. Res64: B8D909FA7AE5EA5C Time : 0.0 sec. user=mdettweiler [2015-12-31 07:07:26] 723*2^1418412-1 is not prime. Res64: 935C0EB75CF5866E Time : 0.0 sec. user=mdettweiler [2015-12-31 07:07:27] 777*2^1418412-1 is not prime. Res64: 3E63C34B772F1564 Time : 0.0 sec. user=mdettweiler [2015-12-31 07:07:27] 647*2^1418412-1 is not prime. Res64: 3201D9F21A9D4DBE Time : 0.0 sec. user=mdettweiler [2015-12-31 07:07:28] 719*2^1418412-1 is not prime. Res64: FCF6AA16B4A268C0 Time : 0.0 sec. user=mdettweiler [2015-12-31 07:24:56] 609*2^1418413-1 is not prime. Res64: 5955F0CFDDD3E317 Time : 0.0 sec. user=mdettweiler [2015-12-31 07:24:56] 803*2^1418412-1 is not prime. Res64: 63CA437148A74DB1 Time : 0.0 sec. user=mdettweiler [2015-12-31 07:24:57] 691*2^1418413-1 is not prime. Res64: DF8D2B1DCF719F48 Time : 0.0 sec. user=mdettweiler [2015-12-31 07:24:57] 987*2^1418412-1 is not prime. Res64: 8B1F4D24C119D4A3 Time : 0.0 sec. user=mdettweiler [2015-12-31 07:42:24] 721*2^1418413-1 is not prime. Res64: 6703F262C224D1A2 Time : 0.0 sec. user=mdettweiler [2015-12-31 07:42:25] 757*2^1418413-1 is not prime. Res64: 4430386435C5B751 Time : 0.0 sec. user=mdettweiler [2015-12-31 07:42:26] 627*2^1418414-1 is not prime. Res64: FAC730EF01C9404C Time : 0.0 sec. user=mdettweiler [2015-12-31 07:42:26] 645*2^1418414-1 is not prime. Res64: A10ADCB3D7A4517E Time : 0.0 sec. user=mdettweiler [2015-12-31 07:59:51] 693*2^1418414-1 is not prime. Res64: 6B0B1EF32D9A3A0B Time : 0.0 sec. user=mdettweiler [2015-12-31 07:59:52] 743*2^1418414-1 is not prime. Res64: 7A9144D95B0316AC Time : 0.0 sec. user=mdettweiler [2015-12-31 07:59:54] 753*2^1418414-1 is not prime. Res64: 389A2CAE0EE1FFEE Time : 0.0 sec. user=mdettweiler [2015-12-31 07:59:54] 827*2^1418414-1 is not prime. Res64: C19ADCEF67BA1F8B Time : 0.0 sec. user=mdettweiler [2015-12-31 08:17:20] 917*2^1418414-1 is not prime. Res64: 49E57D89AF481F88 Time : 0.0 sec. user=mdettweiler [2015-12-31 08:17:20] 709*2^1418415-1 is not prime. Res64: 0C7B7038A7F9D3C4 Time : 0.0 sec. user=mdettweiler [2015-12-31 08:17:21] 739*2^1418415-1 is not prime. Res64: 5B22BD3EF3C80E08 Time : 0.0 sec. user=mdettweiler [2015-12-31 08:17:22] 783*2^1418415-1 is not prime. Res64: EE488BF47FFF1C2D Time : 0.0 sec. user=mdettweiler [2015-12-31 08:34:48] 895*2^1418415-1 is not prime. Res64: FAD84CCAE9238D7D Time : 0.0 sec. user=mdettweiler [2015-12-31 08:34:49] 909*2^1418415-1 is not prime. Res64: 1B2D0107C7C3159B Time : 0.0 sec. user=mdettweiler [2015-12-31 08:34:53] 921*2^1418415-1 is not prime. Res64: B58166C9A33BD578 Time : 0.0 sec. user=mdettweiler [2015-12-31 08:34:53] 603*2^1418416-1 is not prime. Res64: CB92C26A16E43455 Time : 0.0 sec. user=mdettweiler [2015-12-31 08:52:17] 657*2^1418416-1 is not prime. Res64: 555808DE416AFE2A Time : 0.0 sec. user=mdettweiler [2015-12-31 08:52:17] 677*2^1418416-1 is not prime. Res64: CC7C197B4D6C557F Time : 0.0 sec. user=mdettweiler [2015-12-31 08:52:22] 813*2^1418416-1 is not prime. Res64: C01B1D850E64DD0B Time : 0.0 sec. user=mdettweiler [2015-12-31 08:52:22] 869*2^1418416-1 is not prime. Res64: F9756ED97D9633DA Time : 0.0 sec. user=mdettweiler [2015-12-31 09:09:45] 873*2^1418416-1 is not prime. Res64: D9B9F1A27FE4FF3E Time : 0.0 sec. user=mdettweiler [2015-12-31 09:09:45] 917*2^1418416-1 is not prime. Res64: 13281880887CD325 Time : 0.0 sec. user=mdettweiler [2015-12-31 09:09:49] 607*2^1418417-1 is not prime. Res64: F39A93E4326A4A35 Time : 0.0 sec. user=mdettweiler [2015-12-31 09:09:49] 649*2^1418417-1 is not prime. Res64: 44407C4F060200B4 Time : 0.0 sec. user=mdettweiler [2015-12-31 09:27:12] 669*2^1418417-1 is not prime. Res64: 495ECF255040A9C9 Time : 0.0 sec. user=mdettweiler [2015-12-31 09:27:13] 729*2^1418417-1 is not prime. Res64: 5DFC353D4952BBAD Time : 0.0 sec. user=mdettweiler [2015-12-31 09:27:20] 735*2^1418417-1 is not prime. Res64: 0E3F561337729596 Time : 0.0 sec. user=mdettweiler [2015-12-31 09:27:21] 771*2^1418417-1 is not prime. Res64: A03E4162E405C5CE Time : 0.0 sec. user=mdettweiler [2015-12-31 09:44:39] 801*2^1418417-1 is not prime. Res64: B4C3B7AEF6ABB6AD Time : 0.0 sec. user=mdettweiler [2015-12-31 09:44:40] 991*2^1418417-1 is not prime. Res64: 74EB1287F4C2C9DF Time : 0.0 sec. user=mdettweiler [2015-12-31 09:44:52] 651*2^1418418-1 is not prime. Res64: D53924DF43643C37 Time : 0.0 sec. user=mdettweiler [2015-12-31 09:44:52] 713*2^1418418-1 is not prime. Res64: E268CB93B3EF855F Time : 0.0 sec. user=mdettweiler [2015-12-31 10:02:08] 747*2^1418418-1 is not prime. Res64: BA2A7D2C36E3CD68 Time : 0.0 sec. user=mdettweiler [2015-12-31 10:02:09] 755*2^1418418-1 is not prime. Res64: E589EC4692B02B13 Time : 0.0 sec. user=mdettweiler [2015-12-31 10:02:20] 825*2^1418418-1 is not prime. Res64: 3DD1F2E2CA506755 Time : 0.0 sec. user=mdettweiler [2015-12-31 10:02:21] 885*2^1418418-1 is not prime. Res64: 4220C34793A3F8AE Time : 0.0 sec. user=mdettweiler [2015-12-31 10:19:48] 941*2^1418418-1 is not prime. Res64: 1376EC493630967B Time : 0.0 sec. user=mdettweiler [2015-12-31 10:19:49] 975*2^1418418-1 is not prime. Res64: 71D63C4364938BBA Time : 0.0 sec. user=mdettweiler [2015-12-31 10:19:50] 625*2^1418419-1 is not prime. Res64: 1DE7BE246E465D06 Time : 0.0 sec. user=mdettweiler [2015-12-31 10:19:50] 633*2^1418419-1 is not prime. Res64: E711086255F16379 Time : 0.0 sec. user=mdettweiler [2015-12-31 10:37:18] 709*2^1418419-1 is not prime. Res64: 9B6AEBED380675C0 Time : 0.0 sec. user=mdettweiler [2015-12-31 10:37:18] 645*2^1418419-1 is not prime. Res64: 580B502889400B42 Time : 0.0 sec. user=mdettweiler [2015-12-31 10:37:18] 775*2^1418419-1 is not prime. Res64: 1CD0CDE698065EB7 Time : 0.0 sec. user=mdettweiler [2015-12-31 10:37:18] 663*2^1418419-1 is not prime. Res64: BF72D7470C0B5725 Time : 0.0 sec. user=mdettweiler [2015-12-31 10:54:45] 885*2^1418419-1 is not prime. Res64: D95E9E845D108112 Time : 0.0 sec. user=mdettweiler [2015-12-31 10:54:45] 975*2^1418419-1 is not prime. Res64: 9E3CB827F2C06D9D Time : 0.0 sec. user=mdettweiler [2015-12-31 10:54:46] 925*2^1418419-1 is not prime. Res64: 8BB3D09D214B72D8 Time : 0.0 sec. user=mdettweiler [2015-12-31 10:54:46] 735*2^1418420-1 is not prime. Res64: BA50AB4C34B3E53F Time : 0.0 sec. user=mdettweiler [2015-12-31 11:12:13] 759*2^1418420-1 is not prime. Res64: B0B5F70089BF0232 Time : 0.0 sec. user=mdettweiler [2015-12-31 11:12:14] 767*2^1418420-1 is not prime. Res64: 8D4A49918B3E229D Time : 0.0 sec. user=mdettweiler [2015-12-31 11:12:16] 819*2^1418420-1 is not prime. Res64: 6E29E56562E2763F Time : 0.0 sec. user=mdettweiler [2015-12-31 11:12:17] 827*2^1418420-1 is not prime. Res64: 29DFB932FA19AB64 Time : 0.0 sec. user=mdettweiler [2015-12-31 11:29:44] 963*2^1418420-1 is not prime. Res64: 8D1E9FD41862B653 Time : 0.0 sec. user=mdettweiler [2015-12-31 11:29:44] 679*2^1418421-1 is not prime. Res64: A2A219E754B324C1 Time : 0.0 sec. user=mdettweiler [2015-12-31 11:29:45] 875*2^1418420-1 is not prime. Res64: 08D37166BAD3FE9C Time : 0.0 sec. user=mdettweiler [2015-12-31 11:29:46] 935*2^1418420-1 is not prime. Res64: 63F7E9993743D140 Time : 0.0 sec. user=mdettweiler [2015-12-31 11:47:11] 741*2^1418421-1 is not prime. Res64: EE0879DDD7279C99 Time : 0.0 sec. user=mdettweiler [2015-12-31 11:47:11] 789*2^1418421-1 is not prime. Res64: 7804FF69BABC8C4C Time : 0.0 sec. user=mdettweiler [2015-12-31 11:47:13] 895*2^1418421-1 is not prime. Res64: 540C8B8C3C37DB3F Time : 0.0 sec. user=mdettweiler [2015-12-31 11:47:13] 965*2^1418422-1 is not prime. Res64: FA566F780FE810A6 Time : 0.0 sec. user=mdettweiler [2015-12-31 12:04:39] 609*2^1418423-1 is not prime. Res64: 470F49F80EF99CEB Time : 0.0 sec. user=mdettweiler [2015-12-31 12:04:40] 913*2^1418423-1 is not prime. Res64: D07DE7B0A42BD4E3 Time : 0.0 sec. user=mdettweiler [2015-12-31 12:04:41] 921*2^1418423-1 is not prime. Res64: E8917F7CA880B7C1 Time : 0.0 sec. user=mdettweiler [2015-12-31 12:04:42] 949*2^1418423-1 is not prime. Res64: C2ED6CF04260A8ED Time : 0.0 sec. user=mdettweiler [2015-12-31 12:22:27] 759*2^1418424-1 is not prime. Res64: 4FE400C45EC821B1 Time : 0.0 sec. user=mdettweiler [2015-12-31 12:22:28] 981*2^1418423-1 is not prime. Res64: F4FD81811C84D9CB Time : 0.0 sec. user=mdettweiler [2015-12-31 12:22:28] 909*2^1418424-1 is not prime. Res64: 6BE1105F55F14AD3 Time : 0.0 sec. user=mdettweiler [2015-12-31 12:22:29] 707*2^1418424-1 is not prime. Res64: 565E2D67FE728E6D Time : 0.0 sec. user=mdettweiler [2015-12-31 12:40:03] 993*2^1418424-1 is not prime. Res64: 2540CDAA2F1EFF2C Time : 0.0 sec. user=mdettweiler [2015-12-31 12:40:04] 607*2^1418425-1 is not prime. Res64: BCD213339193A3E0 Time : 0.0 sec. user=mdettweiler [2015-12-31 12:40:04] 609*2^1418425-1 is not prime. Res64: 745DBE4A85D2009D Time : 0.0 sec. user=mdettweiler [2015-12-31 12:40:04] 861*2^1418425-1 is not prime. Res64: 6027AB087F4C6C8B Time : 0.0 sec. user=mdettweiler [2015-12-31 12:57:30] 633*2^1418426-1 is not prime. Res64: 95C3B5D3B8C7518E Time : 0.0 sec. user=mdettweiler [2015-12-31 12:57:31] 877*2^1418425-1 is not prime. Res64: 1977F659D522EF77 Time : 0.0 sec. user=mdettweiler [2015-12-31 12:57:31] 831*2^1418426-1 is not prime. Res64: 7CF19E11F340B498 Time : 0.0 sec. user=mdettweiler [2015-12-31 12:57:31] 615*2^1418426-1 is not prime. Res64: 754DC23CC89991BF Time : 0.0 sec. user=mdettweiler [2015-12-31 13:14:58] 867*2^1418426-1 is not prime. Res64: 8A845761151D6166 Time : 0.0 sec. user=mdettweiler [2015-12-31 13:14:58] 805*2^1418427-1 is not prime. Res64: 009226F9BAAC770A Time : 0.0 sec. user=mdettweiler [2015-12-31 13:14:58] 945*2^1418426-1 is not prime. Res64: 21D686E599913BEA Time : 0.0 sec. user=mdettweiler [2015-12-31 13:14:59] 843*2^1418427-1 is not prime. Res64: C1B5CD332A59A928 Time : 0.0 sec. user=mdettweiler [2015-12-31 13:32:26] 903*2^1418427-1 is not prime. Res64: A3CEF9985B6AA430 Time : 0.0 sec. user=mdettweiler [2015-12-31 13:32:27] 961*2^1418427-1 is not prime. Res64: 459B2010CA1C0784 Time : 0.0 sec. user=mdettweiler [2015-12-31 13:32:27] 895*2^1418427-1 is not prime. Res64: 2863AF7BCA20FE31 Time : 0.0 sec. user=mdettweiler [2015-12-31 13:32:28] 901*2^1418427-1 is not prime. Res64: 51187C4C507390A1 Time : 0.0 sec. user=mdettweiler [2015-12-31 13:49:54] 615*2^1418428-1 is not prime. Res64: 24372484A6FC7F74 Time : 0.0 sec. user=mdettweiler [2015-12-31 13:49:55] 639*2^1418428-1 is not prime. Res64: FBBBDCB58CCC3B50 Time : 0.0 sec. user=mdettweiler [2015-12-31 13:49:55] 647*2^1418428-1 is not prime. Res64: 244411CD01FE1A46 Time : 0.0 sec. user=mdettweiler [2015-12-31 13:49:55] 729*2^1418428-1 is not prime. Res64: A9052EC8F9F6E8E9 Time : 0.0 sec. user=mdettweiler [2015-12-31 14:07:22] 743*2^1418428-1 is not prime. Res64: E24FE9EBA3F0F2FA Time : 0.0 sec. user=mdettweiler [2015-12-31 14:07:22] 685*2^1418429-1 is not prime. Res64: E2FA1356A5FE1967 Time : 0.0 sec. user=mdettweiler [2015-12-31 14:07:25] 645*2^1418429-1 is not prime. Res64: 92709C2BE2E417AB Time : 0.0 sec. user=mdettweiler [2015-12-31 14:07:27] 889*2^1418429-1 is not prime. Res64: 51426831C56CC758 Time : 0.0 sec. user=mdettweiler [2015-12-31 14:25:14] 897*2^1418429-1 is not prime. Res64: 5FF09C984BCF46F6 Time : 0.0 sec. user=mdettweiler [2015-12-31 14:25:15] 951*2^1418429-1 is not prime. Res64: D2E79277DBCC74FB Time : 0.0 sec. user=mdettweiler [2015-12-31 14:25:16] 707*2^1418430-1 is not prime. Res64: CA57BE4C924FBD0E Time : 0.0 sec. user=mdettweiler [2015-12-31 14:25:17] 723*2^1418430-1 is not prime. Res64: 52A2B41B602D8424 Time : 0.0 sec. user=mdettweiler [2015-12-31 14:42:43] 821*2^1418430-1 is not prime. Res64: 48C48295A0826681 Time : 0.0 sec. user=mdettweiler [2015-12-31 14:42:43] 725*2^1418430-1 is not prime. Res64: 46F016B8A9757793 Time : 0.0 sec. user=mdettweiler [2015-12-31 14:42:43] 887*2^1418430-1 is not prime. Res64: 3B9DB4914021D80A Time : 0.0 sec. user=mdettweiler [2015-12-31 14:42:43] 777*2^1418430-1 is not prime. Res64: 02EB9ED6FEE41186 Time : 0.0 sec. user=mdettweiler [2015-12-31 15:00:10] 945*2^1418430-1 is not prime. Res64: 6FB7384D12DCDDE9 Time : 0.0 sec. user=mdettweiler [2015-12-31 15:00:10] 789*2^1418431-1 is not prime. Res64: 2E56757BDDE97DEB Time : 0.0 sec. user=mdettweiler [2015-12-31 15:00:10] 685*2^1418431-1 is not prime. Res64: A9E4AD44305F1DA0 Time : 0.0 sec. user=mdettweiler [2015-12-31 15:00:11] 813*2^1418431-1 is not prime. Res64: 47A4E4AFDC805A7E Time : 0.0 sec. user=mdettweiler [2015-12-31 15:17:39] 885*2^1418431-1 is not prime. Res64: 2C24CF8279068F9A Time : 0.0 sec. user=mdettweiler [2015-12-31 15:17:39] 687*2^1418432-1 is not prime. Res64: 88034CCD8FA20F17 Time : 0.0 sec. user=mdettweiler [2015-12-31 15:17:39] 891*2^1418431-1 is not prime. Res64: 635E99451C6F022B Time : 0.0 sec. user=mdettweiler [2015-12-31 15:17:39] 713*2^1418432-1 is not prime. Res64: A5FE2B477248D63A Time : 0.0 sec. user=mdettweiler [2015-12-31 15:35:08] 803*2^1418432-1 is not prime. Res64: B1EE0976AE9FFB8D Time : 0.0 sec. user=mdettweiler [2015-12-31 15:35:09] 615*2^1418433-1 is not prime. Res64: 1EB4F3E8B0BA6641 Time : 0.0 sec. user=mdettweiler [2015-12-31 15:35:09] 873*2^1418432-1 is not prime. Res64: C22CFA5127BE5F96 Time : 0.0 sec. user=mdettweiler [2015-12-31 15:35:09] 789*2^1418433-1 is not prime. Res64: 5AA436B77F9B4E25 Time : 0.0 sec. user=mdettweiler [2015-12-31 15:52:35] 871*2^1418433-1 is not prime. Res64: 5D2BF89618228EB5 Time : 0.0 sec. user=mdettweiler [2015-12-31 15:52:36] 991*2^1418433-1 is not prime. Res64: 603C1F1589F44BAB Time : 0.0 sec. user=mdettweiler [2015-12-31 15:52:36] 645*2^1418434-1 is not prime. Res64: FF0F545C3A3637A7 Time : 0.0 sec. user=mdettweiler [2015-12-31 15:52:37] 675*2^1418434-1 is not prime. Res64: 0583B3894B4E50BE Time : 0.0 sec. user=mdettweiler [2015-12-31 16:10:04] 813*2^1418434-1 is not prime. Res64: C2F089F5C30434AB Time : 0.0 sec. user=mdettweiler [2015-12-31 16:10:04] 861*2^1418434-1 is not prime. Res64: 94FC079D5CA9DB3E Time : 0.0 sec. user=mdettweiler [2015-12-31 16:10:05] 987*2^1418434-1 is not prime. Res64: 1F064F53ED50CA9E Time : 0.0 sec. user=mdettweiler [2015-12-31 16:10:05] 831*2^1418434-1 is not prime. Res64: DAEF9AFFB8D923D2 Time : 0.0 sec. user=mdettweiler [2015-12-31 16:27:34] 993*2^1418434-1 is not prime. Res64: C3E9BFC9ADAC4E4C Time : 0.0 sec. user=mdettweiler [2015-12-31 16:27:34] 649*2^1418435-1 is not prime. Res64: 68061C3C858620D0 Time : 0.0 sec. user=mdettweiler [2015-12-31 16:27:34] 651*2^1418435-1 is not prime. Res64: 5199D9A7E6E07988 Time : 0.0 sec. user=mdettweiler [2015-12-31 16:27:35] 685*2^1418435-1 is not prime. Res64: B20B99531B05023F Time : 0.0 sec. user=mdettweiler [2015-12-31 16:45:01] 693*2^1418435-1 is not prime. Res64: 5FA2D72D28439E1E Time : 0.0 sec. user=mdettweiler [2015-12-31 16:45:01] 861*2^1418435-1 is not prime. Res64: 441E28968D500640 Time : 0.0 sec. user=mdettweiler [2015-12-31 16:45:02] 883*2^1418435-1 is not prime. Res64: CEDEAF14D5B3D3F8 Time : 0.0 sec. user=mdettweiler [2015-12-31 16:45:03] 719*2^1418436-1 is not prime. Res64: 0B93B5009875065B Time : 0.0 sec. user=mdettweiler [2015-12-31 17:02:37] 737*2^1418436-1 is not prime. Res64: 8E6C9667D7B0CD1F Time : 0.0 sec. user=mdettweiler [2015-12-31 17:02:38] 765*2^1418436-1 is not prime. Res64: A1B221CBFA9E3473 Time : 0.0 sec. user=mdettweiler [2015-12-31 17:02:39] 843*2^1418436-1 is not prime. Res64: 7FDCCDB09CB15FF7 Time : 0.0 sec. user=mdettweiler [2015-12-31 17:02:39] 927*2^1418436-1 is not prime. Res64: 432BC941F3295E41 Time : 0.0 sec. user=mdettweiler [2015-12-31 17:20:31] 947*2^1418436-1 is not prime. Res64: 8BA24429DBA6419A Time : 0.0 sec. user=mdettweiler [2015-12-31 17:20:32] 601*2^1418437-1 is not prime. Res64: F0299C3686F5885B Time : 0.0 sec. user=mdettweiler [2015-12-31 17:20:32] 729*2^1418437-1 is not prime. Res64: E66432E1B2998A65 Time : 0.0 sec. user=mdettweiler [2015-12-31 17:20:32] 775*2^1418437-1 is not prime. Res64: BA726F036700B5F4 Time : 0.0 sec. user=mdettweiler [2015-12-31 17:38:00] 889*2^1418437-1 is not prime. Res64: 31DF372DFDDBB70E Time : 0.0 sec. user=mdettweiler [2015-12-31 17:38:00] 835*2^1418437-1 is not prime. Res64: ECC92F1546141130 Time : 0.0 sec. user=mdettweiler [2015-12-31 17:38:00] 997*2^1418437-1 is not prime. Res64: 294FCA92F1D62AAD Time : 0.0 sec. user=mdettweiler [2015-12-31 17:38:00] 885*2^1418437-1 is not prime. Res64: 481F6FDC2D77C540 Time : 0.0 sec. user=mdettweiler [2015-12-31 17:55:27] 743*2^1418438-1 is not prime. Res64: E25A10EE9A1AF06A Time : 0.0 sec. user=mdettweiler [2015-12-31 17:55:27] 665*2^1418438-1 is not prime. Res64: 81D0A92CF1CC3C9A Time : 0.0 sec. user=mdettweiler [2015-12-31 17:55:28] 825*2^1418438-1 is not prime. Res64: F86B345E903D3974 Time : 0.0 sec. user=mdettweiler [2015-12-31 17:55:28] 711*2^1418438-1 is not prime. Res64: B3BD15222394F23E Time : 0.0 sec. user=mdettweiler [2015-12-31 18:12:55] 957*2^1418438-1 is not prime. Res64: 6083491948D0F219 Time : 0.0 sec. user=mdettweiler [2015-12-31 18:12:56] 995*2^1418438-1 is not prime. Res64: EADC9719D565E04C Time : 0.0 sec. user=mdettweiler [2015-12-31 18:12:56] 885*2^1418438-1 is not prime. Res64: 685FD7BDCB3CF517 Time : 0.0 sec. user=mdettweiler [2015-12-31 18:12:56] 887*2^1418438-1 is not prime. Res64: 8FB46FBD58BE5D2E Time : 0.0 sec. user=mdettweiler [2015-12-31 18:30:26] 663*2^1418439-1 is not prime. Res64: 4509A465456445F3 Time : 0.0 sec. user=mdettweiler [2015-12-31 18:30:26] 619*2^1418439-1 is not prime. Res64: A42C6031FCB98738 Time : 0.0 sec. user=mdettweiler [2015-12-31 18:30:27] 723*2^1418439-1 is not prime. Res64: CCD0F849EEEEDAE7 Time : 0.0 sec. user=mdettweiler [2015-12-31 18:30:27] 625*2^1418439-1 is not prime. Res64: 0F8CF4A5A91E31F7 Time : 0.0 sec. user=mdettweiler [2015-12-31 18:48:05] 933*2^1418439-1 is not prime. Res64: D12B0BF00B80A7F6 Time : 0.0 sec. user=mdettweiler [2015-12-31 18:48:06] 949*2^1418439-1 is not prime. Res64: 0234A951424C66F5 Time : 0.0 sec. user=mdettweiler [2015-12-31 18:48:06] 951*2^1418439-1 is not prime. Res64: B428B5CD2A33AE92 Time : 0.0 sec. user=mdettweiler [2015-12-31 18:48:06] 609*2^1418440-1 is not prime. Res64: 355DD0B576C9A819 Time : 0.0 sec. user=mdettweiler [2015-12-31 19:05:47] 615*2^1418440-1 is not prime. Res64: DDC077B0EE10A9BE Time : 0.0 sec. user=mdettweiler [2015-12-31 19:05:48] 833*2^1418440-1 is not prime. Res64: 9CD89AC8D9E83182 Time : 0.0 sec. user=mdettweiler [2015-12-31 19:05:49] 759*2^1418440-1 is not prime. Res64: A689437606CDF869 Time : 0.0 sec. user=mdettweiler [2015-12-31 19:05:51] 989*2^1418440-1 is not prime. Res64: 17F67FF8557FE0EE Time : 0.0 sec. user=mdettweiler [2015-12-31 19:23:47] 775*2^1418441-1 is not prime. Res64: E028FBF83E8CB475 Time : 0.0 sec. user=mdettweiler [2015-12-31 19:23:47] 607*2^1418441-1 is not prime. Res64: 1400DE428ADC3E9A Time : 0.0 sec. user=mdettweiler [2015-12-31 19:23:47] 867*2^1418441-1 is not prime. Res64: A6F253CD844170C2 Time : 0.0 sec. user=mdettweiler [2015-12-31 19:23:47] 747*2^1418441-1 is not prime. Res64: A324191B2C6B6118 Time : 0.0 sec. user=mdettweiler [2015-12-31 19:41:19] 955*2^1418441-1 is not prime. Res64: B5A4CB7DEC02E6F2 Time : 0.0 sec. user=mdettweiler [2015-12-31 19:41:19] 909*2^1418441-1 is not prime. Res64: 10B14E03C7F19636 Time : 0.0 sec. user=mdettweiler [2015-12-31 19:41:20] 651*2^1418442-1 is not prime. Res64: 49CB841E6D9603AB Time : 0.0 sec. user=mdettweiler [2015-12-31 19:41:20] 925*2^1418441-1 is not prime. Res64: 8706CE1B68A8612A Time : 0.0 sec. user=mdettweiler [2015-12-31 19:58:52] 717*2^1418442-1 is not prime. Res64: BD70D7AAAC524074 Time : 0.0 sec. user=mdettweiler [2015-12-31 19:58:52] 747*2^1418442-1 is not prime. Res64: 62DF32B1B43DF197 Time : 0.0 sec. user=mdettweiler [2015-12-31 19:58:52] 735*2^1418442-1 is not prime. Res64: 311F8D53A9F6E3EE Time : 0.0 sec. user=mdettweiler [2015-12-31 19:58:53] 765*2^1418442-1 is not prime. Res64: A3C52FFD9A53CC64 Time : 0.0 sec. user=mdettweiler [2015-12-31 20:16:24] 867*2^1418442-1 is not prime. Res64: FBC969CC3C686A70 Time : 0.0 sec. user=mdettweiler [2015-12-31 20:16:24] 837*2^1418442-1 is not prime. Res64: 3C23736169EB1E1F Time : 0.0 sec. user=mdettweiler [2015-12-31 20:16:25] 843*2^1418442-1 is not prime. Res64: E53B971C1C1615B1 Time : 0.0 sec. user=mdettweiler [2015-12-31 20:16:25] 875*2^1418442-1 is not prime. Res64: 7635789A5F5949A0 Time : 0.0 sec. user=mdettweiler [2015-12-31 20:33:58] 615*2^1418443-1 is not prime. Res64: 8480DCEEA21045EC Time : 0.0 sec. user=mdettweiler [2015-12-31 20:33:59] 621*2^1418443-1 is not prime. Res64: BE94335EC2E215BF Time : 0.0 sec. user=mdettweiler [2015-12-31 20:34:01] 975*2^1418442-1 is not prime. Res64: 5F44734C12ADC7C7 Time : 0.0 sec. user=mdettweiler [2015-12-31 20:34:01] 983*2^1418442-1 is not prime. Res64: B12B923277ED2F9D Time : 0.0 sec. user=mdettweiler [2015-12-31 20:51:30] 741*2^1418443-1 is not prime. Res64: 250C44E4E0193EE8 Time : 0.0 sec. user=mdettweiler [2015-12-31 20:51:30] 835*2^1418443-1 is not prime. Res64: 91E5324D3F8F3C99 Time : 0.0 sec. user=mdettweiler [2015-12-31 20:51:33] 873*2^1418443-1 is not prime. Res64: 1A5185AC2AB40A02 Time : 0.0 sec. user=mdettweiler [2015-12-31 20:51:34] 915*2^1418443-1 is not prime. Res64: BBB5535C43E23AE1 Time : 0.0 sec. user=mdettweiler [2015-12-31 21:09:03] 925*2^1418443-1 is not prime. Res64: 10762A6B75F51E18 Time : 0.0 sec. user=mdettweiler [2015-12-31 21:09:05] 605*2^1418444-1 is not prime. Res64: 5961F8C7AC7DBE0B Time : 0.0 sec. user=mdettweiler [2015-12-31 21:09:06] 629*2^1418444-1 is not prime. Res64: 8E915882E707A086 Time : 0.0 sec. user=mdettweiler [2015-12-31 21:09:06] 753*2^1418444-1 is not prime. Res64: 9FC2BBFE7B51B20A Time : 0.0 sec. user=mdettweiler [2015-12-31 21:26:53] 843*2^1418444-1 is not prime. Res64: F90CDD96C81FF327 Time : 0.0 sec. user=mdettweiler [2015-12-31 21:26:53] 873*2^1418444-1 is not prime. Res64: AB116537B2674044 Time : 0.0 sec. user=mdettweiler [2015-12-31 21:26:55] 767*2^1418444-1 is not prime. Res64: 64F8B59EAC769A64 Time : 0.0 sec. user=mdettweiler [2015-12-31 21:26:55] 785*2^1418444-1 is not prime. Res64: C8A0E1E75688AA73 Time : 0.0 sec. user=mdettweiler [2015-12-31 21:44:29] 893*2^1418444-1 is not prime. Res64: 367AF8CFF6D0D1C8 Time : 0.0 sec. user=mdettweiler [2015-12-31 21:44:29] 927*2^1418444-1 is not prime. Res64: 79A2AC7DBB4E6C26 Time : 0.0 sec. user=mdettweiler [2015-12-31 21:44:33] 735*2^1418445-1 is not prime. Res64: 67AC7A7FA502E307 Time : 0.0 sec. user=mdettweiler [2015-12-31 21:44:33] 781*2^1418445-1 is not prime. Res64: D8F8459D96DE1E11 Time : 0.0 sec. user=mdettweiler [2015-12-31 22:02:01] 979*2^1418445-1 is not prime. Res64: 64FB583AADBA94F8 Time : 0.0 sec. user=mdettweiler [2015-12-31 22:02:02] 603*2^1418446-1 is not prime. Res64: 9EB0D96E80BD3596 Time : 0.0 sec. user=mdettweiler [2015-12-31 22:02:05] 723*2^1418446-1 is not prime. Res64: 02CC9DFE436E271C Time : 0.0 sec. user=mdettweiler [2015-12-31 22:02:06] 755*2^1418446-1 is not prime. Res64: 3E006B966204FFF0 Time : 0.0 sec. user=mdettweiler [2015-12-31 22:19:52] 861*2^1418446-1 is not prime. Res64: A8794205340EF9D6 Time : 0.0 sec. user=mdettweiler [2015-12-31 22:19:52] 923*2^1418446-1 is not prime. Res64: EB21C2D23CF0F784 Time : 0.0 sec. user=mdettweiler [2015-12-31 22:19:52] 873*2^1418446-1 is not prime. Res64: 0411CFBF217C1D2E Time : 0.0 sec. user=mdettweiler [2015-12-31 22:19:52] 661*2^1418447-1 is not prime. Res64: FCC62103D61F91ED Time : 0.0 sec. user=mdettweiler [2015-12-31 22:37:32] 669*2^1418448-1 is not prime. Res64: ED662CA2893C3469 Time : 0.0 sec. user=mdettweiler [2015-12-31 22:37:32] 759*2^1418447-1 is not prime. Res64: E9E57FFEA7998A2D Time : 0.0 sec. user=mdettweiler [2015-12-31 22:37:32] 707*2^1418448-1 is not prime. Res64: CF58F2C074A93439 Time : 0.0 sec. user=mdettweiler [2015-12-31 22:37:32] 879*2^1418447-1 is not prime. Res64: 215D92000332B11C Time : 0.0 sec. user=mdettweiler [2015-12-31 22:55:05] 753*2^1418448-1 is not prime. Res64: 6949D3E362F92A95 Time : 0.0 sec. user=mdettweiler [2015-12-31 22:55:05] 759*2^1418448-1 is not prime. Res64: E9E3C8220F77B299 Time : 0.0 sec. user=mdettweiler [2015-12-31 22:55:06] 789*2^1418448-1 is not prime. Res64: A49549B3F34045A7 Time : 0.0 sec. user=mdettweiler [2015-12-31 22:55:06] 803*2^1418448-1 is not prime. Res64: 973C847FA7FD4742 Time : 0.0 sec. user=mdettweiler [2015-12-31 23:12:37] 899*2^1418448-1 is not prime. Res64: 0812388E41A72342 Time : 0.0 sec. user=mdettweiler [2015-12-31 23:12:37] 615*2^1418449-1 is not prime. Res64: 6120C50B5CF3BDF6 Time : 0.0 sec. user=mdettweiler [2015-12-31 23:12:37] 819*2^1418448-1 is not prime. Res64: 8FB881B110C3342B Time : 0.0 sec. user=mdettweiler [2015-12-31 23:12:38] 845*2^1418448-1 is not prime. Res64: 0D197817D188659D Time : 0.0 sec. user=mdettweiler [2015-12-31 23:30:12] 687*2^1418449-1 is not prime. Res64: 0689E0285F9C0406 Time : 0.0 sec. user=mdettweiler [2015-12-31 23:30:12] 855*2^1418449-1 is not prime. Res64: D91779C47C778A3A Time : 0.0 sec. user=mdettweiler [2015-12-31 23:30:13] 771*2^1418449-1 is not prime. Res64: 2485DD0270484E4D Time : 0.0 sec. user=mdettweiler [2015-12-31 23:30:13] 931*2^1418449-1 is not prime. Res64: CE7C8C20E26CC512 Time : 0.0 sec. user=mdettweiler [2015-12-31 23:47:45] 951*2^1418449-1 is not prime. Res64: A91584E69D047DCE Time : 0.0 sec. user=mdettweiler [2015-12-31 23:47:45] 791*2^1418450-1 is not prime. Res64: 95E82E71C81A51A2 Time : 0.0 sec. user=mdettweiler [2015-12-31 23:47:46] 831*2^1418450-1 is not prime. Res64: E1836797286949EB Time : 0.0 sec. user=mdettweiler [2015-12-31 23:47:46] 867*2^1418450-1 is not prime. Res64: F1A575828C3F9371 Time : 0.0 sec.