user=mdettweiler [2015-05-04 00:05:30] 867*2^1398402-1 is not prime. Res64: 32E5458F9C3C280C Time : 0.0 sec. user=mdettweiler [2015-05-04 00:05:31] 873*2^1398402-1 is not prime. Res64: 00C61E9FE23F39A3 Time : 0.0 sec. user=mdettweiler [2015-05-04 00:05:41] 867*2^1398401-1 is not prime. Res64: 9FF9076FA7109F41 Time : 0.0 sec. user=mdettweiler [2015-05-04 00:05:42] 975*2^1398402-1 is not prime. Res64: 3FA1C1B904C58780 Time : 0.0 sec. user=mdettweiler [2015-05-04 00:05:43] 909*2^1398401-1 is not prime. Res64: 3883FA52215E72B2 Time : 0.0 sec. user=mdettweiler [2015-05-04 00:05:45] 977*2^1398402-1 is not prime. Res64: 965F6B240F9216E1 Time : 0.0 sec. user=mdettweiler [2015-05-04 00:06:08] 649*2^1398403-1 is not prime. Res64: 3F9F7340DEF69C1A Time : 0.0 sec. user=mdettweiler [2015-05-04 00:06:09] 673*2^1398403-1 is not prime. Res64: B49925A47B7920E1 Time : 0.0 sec. user=mdettweiler [2015-05-04 00:23:26] 853*2^1398403-1 is not prime. Res64: FD96C39F2105FD2C Time : 0.0 sec. user=mdettweiler [2015-05-04 00:23:26] 855*2^1398403-1 is not prime. Res64: 58E342980CD71433 Time : 0.0 sec. user=mdettweiler [2015-05-04 00:23:27] 677*2^1398404-1 is not prime. Res64: B07A4DA829536CA3 Time : 0.0 sec. user=mdettweiler [2015-05-04 00:23:28] 691*2^1398403-1 is not prime. Res64: EC8F01405053538B Time : 0.0 sec. user=mdettweiler [2015-05-04 00:23:28] 687*2^1398404-1 is not prime. Res64: 91453E9C0A3F9C96 Time : 0.0 sec. user=mdettweiler [2015-05-04 00:23:28] 765*2^1398403-1 is not prime. Res64: B20274F13FC1847F Time : 0.0 sec. user=mdettweiler [2015-05-04 00:23:42] 707*2^1398404-1 is not prime. Res64: 70A0576B28F705C7 Time : 0.0 sec. user=mdettweiler [2015-05-04 00:23:42] 789*2^1398404-1 is not prime. Res64: 498EB7D94E943DE6 Time : 0.0 sec. user=mdettweiler [2015-05-04 00:41:12] 875*2^1398404-1 is not prime. Res64: 1A0B43B9A57846B1 Time : 0.0 sec. user=mdettweiler [2015-05-04 00:41:13] 969*2^1398404-1 is not prime. Res64: CC2963F106B4F33C Time : 0.0 sec. user=mdettweiler [2015-05-04 00:41:17] 781*2^1398405-1 is not prime. Res64: CE18A89C300E784E Time : 0.0 sec. user=mdettweiler [2015-05-04 00:41:18] 825*2^1398405-1 is not prime. Res64: CAEBAEDCD136DFD2 Time : 0.0 sec. user=mdettweiler [2015-05-04 00:41:19] 795*2^1398404-1 is not prime. Res64: 9613B0AF05BE9DE3 Time : 0.0 sec. user=mdettweiler [2015-05-04 00:41:20] 873*2^1398404-1 is not prime. Res64: 90E1BBEAEF6F0F17 Time : 0.0 sec. user=mdettweiler [2015-05-04 00:41:38] 955*2^1398405-1 is not prime. Res64: 48F982D4B64C7E56 Time : 0.0 sec. user=mdettweiler [2015-05-04 00:41:38] 705*2^1398406-1 is not prime. Res64: DA6957B1AF6CDEAE Time : 0.0 sec. user=mdettweiler [2015-05-04 00:58:53] 765*2^1398406-1 is not prime. Res64: 42E91FFDEECC1B54 Time : 0.0 sec. user=mdettweiler [2015-05-04 00:58:53] 825*2^1398406-1 is not prime. Res64: 606386CF53D547AD Time : 0.0 sec. user=mdettweiler [2015-05-04 00:58:55] 917*2^1398406-1 is not prime. Res64: B1C6C4BE96C31BBD Time : 0.0 sec. user=mdettweiler [2015-05-04 00:58:55] 987*2^1398406-1 is not prime. Res64: 487A006254A70CD7 Time : 0.0 sec. user=mdettweiler [2015-05-04 00:58:59] 897*2^1398406-1 is not prime. Res64: F45AE1396EE3B925 Time : 0.0 sec. user=mdettweiler [2015-05-04 00:59:00] 911*2^1398406-1 is not prime. Res64: 74214A5FF952280D Time : 0.0 sec. user=mdettweiler [2015-05-04 00:59:13] 711*2^1398407-1 is not prime. Res64: AF632D5BA5E1DB5A Time : 0.0 sec. user=mdettweiler [2015-05-04 00:59:13] 859*2^1398407-1 is not prime. Res64: C78651F1CC06053F Time : 0.0 sec. user=mdettweiler [2015-05-04 01:16:24] 883*2^1398407-1 is not prime. Res64: 8B44146B6E1728B3 Time : 0.0 sec. user=mdettweiler [2015-05-04 01:16:24] 895*2^1398407-1 is not prime. Res64: 922B72B3D93EB519 Time : 0.0 sec. user=mdettweiler [2015-05-04 01:16:29] 949*2^1398407-1 is not prime. Res64: F89AD183521F1DC7 Time : 0.0 sec. user=mdettweiler [2015-05-04 01:16:29] 955*2^1398407-1 is not prime. Res64: 155D72D1F86B0AAF Time : 0.0 sec. user=mdettweiler [2015-05-04 01:16:42] 979*2^1398407-1 is not prime. Res64: BE710F4435F783ED Time : 0.0 sec. user=mdettweiler [2015-05-04 01:16:42] 699*2^1398408-1 is not prime. Res64: D8C1FBE892DCC4C1 Time : 0.0 sec. user=mdettweiler [2015-05-04 01:16:48] 777*2^1398408-1 is not prime. Res64: 2A06B3690091DDEA Time : 0.0 sec. user=mdettweiler [2015-05-04 01:16:48] 927*2^1398408-1 is not prime. Res64: 0824D87A812281C6 Time : 0.0 sec. user=mdettweiler [2015-05-04 01:34:12] 993*2^1398408-1 is not prime. Res64: 613ED1E444C6913F Time : 0.0 sec. user=mdettweiler [2015-05-04 01:34:12] 721*2^1398409-1 is not prime. Res64: 9A47CD20EFF18118 Time : 0.0 sec. user=mdettweiler [2015-05-04 01:34:16] 741*2^1398409-1 is not prime. Res64: 00FA190B90E6BBF7 Time : 0.0 sec. user=mdettweiler [2015-05-04 01:34:17] 747*2^1398409-1 is not prime. Res64: E1DD2A3AF732448D Time : 0.0 sec. user=mdettweiler [2015-05-04 01:34:30] 841*2^1398409-1 is not prime. Res64: 6314F9B63ACDCE88 Time : 0.0 sec. user=mdettweiler [2015-05-04 01:34:30] 877*2^1398409-1 is not prime. Res64: 9781DADD9F4C4F71 Time : 0.0 sec. user=mdettweiler [2015-05-04 01:34:37] 931*2^1398409-1 is not prime. Res64: D76438C4A7D5C006 Time : 0.0 sec. user=mdettweiler [2015-05-04 01:34:38] 603*2^1398410-1 is not prime. Res64: A0B74F903C1DF346 Time : 0.0 sec. user=mdettweiler [2015-05-04 01:51:49] 753*2^1398410-1 is not prime. Res64: 4ED31170B94A6502 Time : 0.0 sec. user=mdettweiler [2015-05-04 01:51:49] 785*2^1398410-1 is not prime. Res64: B8EECB1E5575F106 Time : 0.0 sec. user=mdettweiler [2015-05-04 01:51:57] 801*2^1398410-1 is not prime. Res64: 4B576B50A5968F33 Time : 0.0 sec. user=mdettweiler [2015-05-04 01:51:57] 833*2^1398410-1 is not prime. Res64: 068478007EAF807A Time : 0.0 sec. user=mdettweiler [2015-05-04 01:52:04] 917*2^1398410-1 is not prime. Res64: F88B206CB4487CFB Time : 0.0 sec. user=mdettweiler [2015-05-04 01:52:05] 613*2^1398411-1 is not prime. Res64: 9AB7D9E96F08BD79 Time : 0.0 sec. user=mdettweiler [2015-05-04 01:52:08] 669*2^1398411-1 is not prime. Res64: 6E01FEF55C20D44F Time : 0.0 sec. user=mdettweiler [2015-05-04 01:52:08] 723*2^1398411-1 is not prime. Res64: 822E35EB42B229E7 Time : 0.0 sec. user=mdettweiler [2015-05-04 02:09:36] 751*2^1398411-1 is not prime. Res64: 497A645755536D66 Time : 0.0 sec. user=mdettweiler [2015-05-04 02:09:36] 783*2^1398411-1 is not prime. Res64: 65BB730B9F1C1E9F Time : 0.0 sec. user=mdettweiler [2015-05-04 02:09:44] 957*2^1398412-1 is not prime. Res64: C578ECF08E19ADCB Time : 0.0 sec. user=mdettweiler [2015-05-04 02:09:44] 727*2^1398413-1 is not prime. Res64: EA1B8ECCCA39E41D Time : 0.0 sec. user=mdettweiler [2015-05-04 02:09:44] 903*2^1398411-1 is not prime. Res64: 3CCA1FBD0563C861 Time : 0.0 sec. user=mdettweiler [2015-05-04 02:09:44] 961*2^1398411-1 is not prime. Res64: 56F05BFD1A0F4E45 Time : 0.0 sec. user=mdettweiler [2015-05-04 02:10:00] 975*2^1398411-1 is not prime. Res64: EAE8D38616004C83 Time : 0.0 sec. user=mdettweiler [2015-05-04 02:10:00] 735*2^1398412-1 is not prime. Res64: F532950EF3351835 Time : 0.0 sec. user=mdettweiler [2015-05-04 02:28:06] 729*2^1398413-1 is not prime. Res64: 9BF50A1826C88D6B Time : 0.0 sec. user=mdettweiler [2015-05-04 02:28:06] 735*2^1398413-1 is not prime. Res64: B3A6EF7BA4F4D076 Time : 0.0 sec. user=mdettweiler [2015-05-04 02:28:21] 957*2^1398413-1 is not prime. Res64: 185466F0D4466212 Time : 0.0 sec. user=mdettweiler [2015-05-04 02:28:21] 981*2^1398413-1 is not prime. Res64: 2C1D3D0E79175C02 Time : 0.0 sec. user=mdettweiler [2015-05-04 02:28:31] 805*2^1398413-1 is not prime. Res64: C73551E462BB1918 Time : 0.0 sec. user=mdettweiler [2015-05-04 02:28:32] 949*2^1398413-1 is not prime. Res64: 798B48A83148F382 Time : 0.0 sec. user=mdettweiler [2015-05-04 02:28:47] 611*2^1398414-1 is not prime. Res64: 4C0D65B6CA9F53CE Time : 0.0 sec. user=mdettweiler [2015-05-04 02:28:47] 705*2^1398414-1 is not prime. Res64: 54B0D901AB086BBA Time : 0.0 sec. user=mdettweiler [2015-05-04 02:45:56] 707*2^1398414-1 is not prime. Res64: CBAC6E352936E234 Time : 0.0 sec. user=mdettweiler [2015-05-04 02:45:56] 723*2^1398414-1 is not prime. Res64: 48339F79F44B687E Time : 0.0 sec. user=mdettweiler [2015-05-04 02:45:59] 903*2^1398414-1 is not prime. Res64: CC6137BDE139E176 Time : 0.0 sec. user=mdettweiler [2015-05-04 02:46:00] 723*2^1398415-1 is not prime. Res64: 21A1F47CD2F567A2 Time : 0.0 sec. user=mdettweiler [2015-05-04 02:46:06] 853*2^1398415-1 is not prime. Res64: 8CB4AC5D639598E1 Time : 0.0 sec. user=mdettweiler [2015-05-04 02:46:06] 871*2^1398415-1 is not prime. Res64: 6FC9B23E95EDB177 Time : 0.0 sec. user=mdettweiler [2015-05-04 02:46:25] 915*2^1398415-1 is not prime. Res64: 45677368C70928C1 Time : 0.0 sec. user=mdettweiler [2015-05-04 02:46:25] 933*2^1398415-1 is not prime. Res64: 99A966A8F26AEA7E Time : 0.0 sec. user=mdettweiler [2015-05-04 03:03:26] 827*2^1398416-1 is not prime. Res64: 4664B6CF34995118 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:03:27] 897*2^1398416-1 is not prime. Res64: 264CDB67AC5F204E Time : 0.0 sec. user=mdettweiler [2015-05-04 03:03:34] 903*2^1398416-1 is not prime. Res64: 151BB51B1D2F852E Time : 0.0 sec. user=mdettweiler [2015-05-04 03:03:35] 615*2^1398417-1 is not prime. Res64: E5758975938F7417 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:03:50] 691*2^1398417-1 is not prime. Res64: 94C4A7196D090C38 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:03:51] 741*2^1398417-1 is not prime. Res64: C8F334B228AF3CEB Time : 0.0 sec. user=mdettweiler [2015-05-04 03:03:56] 777*2^1398417-1 is not prime. Res64: A3800116F722F2F5 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:03:57] 945*2^1398417-1 is not prime. Res64: 9220F5196A08050F Time : 0.0 sec. user=mdettweiler [2015-05-04 03:21:19] 979*2^1398417-1 is not prime. Res64: 79FEBD4FA0EF0F63 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:21:19] 611*2^1398418-1 is not prime. Res64: 366510BCD9830B80 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:21:25] 671*2^1398418-1 is not prime. Res64: 80C916774F0C0CE7 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:21:25] 813*2^1398418-1 is not prime. Res64: 8582FED677582778 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:21:25] 843*2^1398418-1 is not prime. Res64: 87720CF8F9C5A3BF Time : 0.0 sec. user=mdettweiler [2015-05-04 03:21:26] 975*2^1398418-1 is not prime. Res64: 85DBBE2667B580F1 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:21:39] 711*2^1398419-1 is not prime. Res64: A6D9DEC06C80F56B Time : 0.0 sec. user=mdettweiler [2015-05-04 03:21:39] 735*2^1398419-1 is not prime. Res64: 3A5366CDE4FA8AE5 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:39:01] 859*2^1398419-1 is not prime. Res64: A63F23550D9C3068 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:39:02] 759*2^1398420-1 is not prime. Res64: C789F5C24109AE3F Time : 0.0 sec. user=mdettweiler [2015-05-04 03:39:03] 973*2^1398419-1 is not prime. Res64: 896F099AADE41119 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:39:04] 797*2^1398420-1 is not prime. Res64: 7CD71FE419BC8FD8 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:39:06] 669*2^1398420-1 is not prime. Res64: 93EDDA291779B2CA Time : 0.0 sec. user=mdettweiler [2015-05-04 03:39:07] 689*2^1398420-1 is not prime. Res64: 7CC2EE1EAD650501 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:39:30] 639*2^1398421-1 is not prime. Res64: E2203337B6B004D5 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:39:30] 681*2^1398421-1 is not prime. Res64: 5F69A77A94566431 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:57:07] 873*2^1398422-1 is not prime. Res64: 0AFED2B21D10BA6C Time : 0.0 sec. user=mdettweiler [2015-05-04 03:57:08] 963*2^1398422-1 is not prime. Res64: 124992D175C33946 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:57:08] 769*2^1398421-1 is not prime. Res64: 157F742825055C0B Time : 0.0 sec. user=mdettweiler [2015-05-04 03:57:08] 771*2^1398421-1 is not prime. Res64: 7FD6A60FFBAE97ED Time : 0.0 sec. user=mdettweiler [2015-05-04 03:57:11] 771*2^1398422-1 is not prime. Res64: 9E117A4D3325F480 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:57:11] 825*2^1398422-1 is not prime. Res64: 073C97FBE370EF38 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:57:17] 849*2^1398421-1 is not prime. Res64: 3517F1E2267E2FF0 Time : 0.0 sec. user=mdettweiler [2015-05-04 03:57:17] 675*2^1398422-1 is not prime. Res64: 2EE67EE9F26445D6 Time : 0.0 sec. user=mdettweiler [2015-05-04 04:14:48] 619*2^1398423-1 is not prime. Res64: BCB5CBA41071EE9A Time : 0.0 sec. user=mdettweiler [2015-05-04 04:14:48] 669*2^1398423-1 is not prime. Res64: 67F3D68C0BC74897 Time : 0.0 sec. user=mdettweiler [2015-05-04 04:14:53] 987*2^1398422-1 is not prime. Res64: DC0C92FF8771BE85 Time : 0.0 sec. user=mdettweiler [2015-05-04 04:14:53] 615*2^1398423-1 is not prime. Res64: 80B712A7C842DB13 Time : 0.0 sec. user=mdettweiler [2015-05-04 04:14:54] 691*2^1398423-1 is not prime. Res64: C9037763E01A0573 Time : 0.0 sec. user=mdettweiler [2015-05-04 04:14:54] 885*2^1398423-1 is not prime. Res64: EEF932C98AD9A62D Time : 0.0 sec. user=mdettweiler [2015-05-04 04:14:55] 901*2^1398423-1 is not prime. Res64: D637541D286D3AA3 Time : 0.0 sec. user=mdettweiler [2015-05-04 04:14:55] 919*2^1398423-1 is not prime. Res64: 90EC5F7A791CF7DA Time : 0.0 sec. user=mdettweiler [2015-05-04 04:32:27] 707*2^1398424-1 is not prime. Res64: FF8E287333297158 Time : 0.0 sec. user=mdettweiler [2015-05-04 04:32:27] 719*2^1398424-1 is not prime. Res64: BFE36214661F351E Time : 0.0 sec. user=mdettweiler [2015-05-04 04:32:28] 743*2^1398424-1 is not prime. Res64: DD4026C113F75971 Time : 0.0 sec. user=mdettweiler [2015-05-04 04:32:28] 833*2^1398424-1 is not prime. Res64: 106071CAF40BA756 Time : 0.0 sec. user=mdettweiler [2015-05-04 04:32:29] 693*2^1398424-1 is not prime. Res64: 921D3F2D0C375990 Time : 0.0 sec. user=mdettweiler [2015-05-04 04:32:30] 699*2^1398424-1 is not prime. Res64: 2EA2083EEF09E64D Time : 0.0 sec. user=mdettweiler [2015-05-04 04:32:39] 843*2^1398424-1 is not prime. Res64: 5CF6A35548D87D47 Time : 0.0 sec. user=mdettweiler [2015-05-04 04:32:39] 729*2^1398425-1 is not prime. Res64: 0DB88CF363AB795B Time : 0.0 sec. user=mdettweiler [2015-05-04 04:49:59] 735*2^1398425-1 is not prime. Res64: EAA2F900C1B076A7 Time : 0.0 sec. user=mdettweiler [2015-05-04 04:50:00] 775*2^1398425-1 is not prime. Res64: BAFF48804034550D Time : 0.0 sec. user=mdettweiler [2015-05-04 04:50:00] 955*2^1398425-1 is not prime. Res64: 7A3DD64CFB14EA9D Time : 0.0 sec. user=mdettweiler [2015-05-04 04:50:00] 981*2^1398425-1 is not prime. Res64: 980D9FFEEBB05567 Time : 0.0 sec. user=mdettweiler [2015-05-04 04:50:00] 805*2^1398425-1 is not prime. Res64: C2752266726EFC7D Time : 0.0 sec. user=mdettweiler [2015-05-04 04:50:01] 909*2^1398425-1 is not prime. Res64: 5DD8BE9517252C53 Time : 0.0 sec. user=mdettweiler [2015-05-04 04:50:10] 755*2^1398426-1 is not prime. Res64: 308201B4BD3CCA67 Time : 0.0 sec. user=mdettweiler [2015-05-04 04:50:10] 783*2^1398426-1 is not prime. Res64: 2DA6B72666876152 Time : 0.0 sec. user=mdettweiler [2015-05-04 05:07:32] 615*2^1398427-1 is not prime. Res64: 58F852FDBB0DDD7C Time : 0.0 sec. user=mdettweiler [2015-05-04 05:07:32] 621*2^1398427-1 is not prime. Res64: A4CEEE2ACCFAB5FD Time : 0.0 sec. user=mdettweiler [2015-05-04 05:07:37] 645*2^1398427-1 is not prime. Res64: E8816841C004B642 Time : 0.0 sec. user=mdettweiler [2015-05-04 05:07:37] 681*2^1398427-1 is not prime. Res64: 169070FF89FCE901 Time : 0.0 sec. user=mdettweiler [2015-05-04 05:07:40] 873*2^1398426-1 is not prime. Res64: 9EA2C2BAD34DA70C Time : 0.0 sec. user=mdettweiler [2015-05-04 05:07:40] 947*2^1398426-1 is not prime. Res64: 4C2094C297AC5608 Time : 0.0 sec. user=mdettweiler [2015-05-04 05:07:48] 685*2^1398427-1 is not prime. Res64: 17957ED33552511F Time : 0.0 sec. user=mdettweiler [2015-05-04 05:07:48] 841*2^1398427-1 is not prime. Res64: BBA9AD444574F138 Time : 0.0 sec. user=mdettweiler [2015-05-04 05:25:12] 909*2^1398427-1 is not prime. Res64: 0D8668AA1C38E85B Time : 0.0 sec. user=mdettweiler [2015-05-04 05:25:12] 925*2^1398427-1 is not prime. Res64: DA6291B11BB10471 Time : 0.0 sec. user=mdettweiler [2015-05-04 05:25:14] 699*2^1398428-1 is not prime. Res64: 5EE64C582C7DA4FD Time : 0.0 sec. user=mdettweiler [2015-05-04 05:25:14] 735*2^1398428-1 is not prime. Res64: 21B891FEB1B2EB5B Time : 0.0 sec. user=mdettweiler [2015-05-04 05:25:23] 773*2^1398428-1 is not prime. Res64: D725B6D01DBB9D77 Time : 0.0 sec. user=mdettweiler [2015-05-04 05:25:23] 803*2^1398428-1 is not prime. Res64: 5C90EBA55C6552CB Time : 0.0 sec. user=mdettweiler [2015-05-04 05:25:32] 825*2^1398428-1 is not prime. Res64: 4C6C50BD1FAF507D Time : 0.0 sec. user=mdettweiler [2015-05-04 05:25:32] 869*2^1398428-1 is not prime. Res64: 7900541C1C6A4398 Time : 0.0 sec. user=mdettweiler [2015-05-04 05:42:49] 899*2^1398428-1 is not prime. Res64: BB5BE4E2F31F8A06 Time : 0.0 sec. user=mdettweiler [2015-05-04 05:42:49] 909*2^1398428-1 is not prime. Res64: 8F59B96806049E65 Time : 0.0 sec. user=mdettweiler [2015-05-04 05:42:55] 923*2^1398428-1 is not prime. Res64: D0C076B4D6C904B0 Time : 0.0 sec. user=mdettweiler [2015-05-04 05:42:55] 639*2^1398429-1 is not prime. Res64: 8A8EFF9F3652F780 Time : 0.0 sec. user=mdettweiler [2015-05-04 05:42:56] 747*2^1398429-1 is not prime. Res64: 30A8CD66B3343767 Time : 0.0 sec. user=mdettweiler [2015-05-04 05:42:57] 847*2^1398429-1 is not prime. Res64: A26390F0D0CBE36E Time : 0.0 sec. user=mdettweiler [2015-05-04 05:43:08] 885*2^1398429-1 is not prime. Res64: 451E476D9673F8A5 Time : 0.0 sec. user=mdettweiler [2015-05-04 05:43:08] 895*2^1398429-1 is not prime. Res64: 5B83C7A7A0594BBA Time : 0.0 sec. user=mdettweiler [2015-05-04 06:00:23] 985*2^1398429-1 is not prime. Res64: F3B119817EC56429 Time : 0.0 sec. user=mdettweiler [2015-05-04 06:00:24] 623*2^1398430-1 is not prime. Res64: 6AD4F545AE5614FE Time : 0.0 sec. user=mdettweiler [2015-05-04 06:00:29] 813*2^1398430-1 is not prime. Res64: 232CC11833AA48ED Time : 0.0 sec. user=mdettweiler [2015-05-04 06:00:29] 831*2^1398430-1 is not prime. Res64: 1C69FFF469197825 Time : 0.0 sec. user=mdettweiler [2015-05-04 06:00:31] 971*2^1398430-1 is not prime. Res64: AFB0AA8EE3EC37F9 Time : 0.0 sec. user=mdettweiler [2015-05-04 06:00:32] 981*2^1398430-1 is not prime. Res64: 9FF0D695F640B3CB Time : 0.0 sec. user=mdettweiler [2015-05-04 06:00:40] 987*2^1398430-1 is not prime. Res64: 0411CF4E5E7AA654 Time : 0.0 sec. user=mdettweiler [2015-05-04 06:00:41] 601*2^1398431-1 is not prime. Res64: 28966ECE743E936D Time : 0.0 sec. user=mdettweiler [2015-05-04 06:18:03] 745*2^1398431-1 is not prime. Res64: B64BAB1157906FDF Time : 0.0 sec. user=mdettweiler [2015-05-04 06:18:03] 783*2^1398431-1 is not prime. Res64: 7097B38E7BA7CDED Time : 0.0 sec. user=mdettweiler [2015-05-04 06:18:07] 885*2^1398431-1 is not prime. Res64: B62889CD4CF4ECC0 Time : 0.0 sec. user=mdettweiler [2015-05-04 06:18:07] 979*2^1398431-1 is not prime. Res64: 1689CC0B7CA02554 Time : 0.0 sec. user=mdettweiler [2015-05-04 06:18:14] 813*2^1398431-1 is not prime. Res64: 9ED377DDC4CED713 Time : 0.0 sec. user=mdettweiler [2015-05-04 06:18:14] 879*2^1398431-1 is not prime. Res64: 94F8317B42CA72E2 Time : 0.0 sec. user=mdettweiler [2015-05-04 06:18:20] 863*2^1398432-1 is not prime. Res64: BC55177678870226 Time : 0.0 sec. user=mdettweiler [2015-05-04 06:18:20] 887*2^1398432-1 is not prime. Res64: 5E797FFF9B86105C Time : 0.0 sec. user=mdettweiler [2015-05-04 06:35:48] 651*2^1398433-1 is not prime. Res64: 193339551A25D190 Time : 0.0 sec. user=mdettweiler [2015-05-04 06:35:48] 679*2^1398433-1 is not prime. Res64: 64169D9CBA5B945A Time : 0.0 sec. user=mdettweiler [2015-05-04 06:35:50] 923*2^1398432-1 is not prime. Res64: 31DDF5240B814CB7 Time : 0.0 sec. user=mdettweiler [2015-05-04 06:35:50] 639*2^1398433-1 is not prime. Res64: 18207A9602230839 Time : 0.0 sec. user=mdettweiler [2015-05-04 06:35:56] 801*2^1398433-1 is not prime. Res64: 84DADBF1F14E4AF1 Time : 0.0 sec. user=mdettweiler [2015-05-04 06:35:56] 939*2^1398433-1 is not prime. Res64: E819903C4DC884CC Time : 0.0 sec. user=mdettweiler [2015-05-04 06:35:56] 705*2^1398433-1 is not prime. Res64: 6E337BEF515C82AA Time : 0.0 sec. user=mdettweiler [2015-05-04 06:35:56] 747*2^1398433-1 is not prime. Res64: C6735A618DFA0AF7 Time : 0.0 sec. user=mdettweiler [2015-05-04 06:54:09] 635*2^1398434-1 is not prime. Res64: AA7A6D5DD036872D Time : 0.0 sec. user=mdettweiler [2015-05-04 06:54:09] 683*2^1398434-1 is not prime. Res64: B061B6493C7A2F4B Time : 0.0 sec. user=mdettweiler [2015-05-04 06:54:15] 753*2^1398434-1 is not prime. Res64: E1C96ED969C16858 Time : 0.0 sec. user=mdettweiler [2015-05-04 06:54:15] 767*2^1398434-1 is not prime. Res64: 10A00E39B476B7DC Time : 0.0 sec. user=mdettweiler [2015-05-04 06:54:15] 987*2^1398433-1 is not prime. Res64: 3140B644469FF44A Time : 0.0 sec. user=mdettweiler [2015-05-04 06:54:16] 633*2^1398434-1 is not prime. Res64: 46ABD1412A5995DF Time : 0.0 sec. user=mdettweiler [2015-05-04 06:54:17] 705*2^1398434-1 is not prime. Res64: E18C9FE326EA7A30 Time : 0.0 sec. user=mdettweiler [2015-05-04 06:54:17] 731*2^1398434-1 is not prime. Res64: F4620D7D891FE7F3 Time : 0.0 sec. user=mdettweiler [2015-05-04 07:12:22] 783*2^1398435-1 is not prime. Res64: E90F4354EC9EAAD0 Time : 0.0 sec. user=mdettweiler [2015-05-04 07:12:22] 819*2^1398435-1 is not prime. Res64: 721F3243261BC4F3 Time : 0.0 sec. user=mdettweiler [2015-05-04 07:12:32] 885*2^1398434-1 is not prime. Res64: 8A5217110135C2F5 Time : 0.0 sec. user=mdettweiler [2015-05-04 07:12:33] 935*2^1398434-1 is not prime. Res64: D47B855F778C788C Time : 0.0 sec. user=mdettweiler [2015-05-04 07:12:33] 773*2^1398434-1 is not prime. Res64: BBF3F3C38F955462 Time : 0.0 sec. user=mdettweiler [2015-05-04 07:12:34] 825*2^1398434-1 is not prime. Res64: CE54453E8780F87D Time : 0.0 sec. user=mdettweiler [2015-05-04 07:12:45] 723*2^1398435-1 is not prime. Res64: 239509C634B1E2FD Time : 0.0 sec. user=mdettweiler [2015-05-04 07:12:46] 781*2^1398435-1 is not prime. Res64: 14F49B1B61016FC1 Time : 0.0 sec. user=mdettweiler [2015-05-04 07:30:05] 895*2^1398435-1 is not prime. Res64: E14A943E1866215D Time : 0.0 sec. user=mdettweiler [2015-05-04 07:30:08] 909*2^1398435-1 is not prime. Res64: 724162E49A66DF5B Time : 0.0 sec. user=mdettweiler [2015-05-04 07:30:10] 663*2^1398436-1 is not prime. Res64: 8C27B3D15E00236F Time : 0.0 sec. user=mdettweiler [2015-05-04 07:30:10] 735*2^1398436-1 is not prime. Res64: 6C75B0CDEEAFD978 Time : 0.0 sec. user=mdettweiler [2015-05-04 07:30:15] 749*2^1398436-1 is not prime. Res64: 49EAA022A2AE55A7 Time : 0.0 sec. user=mdettweiler [2015-05-04 07:30:15] 857*2^1398436-1 is not prime. Res64: 6A3A7B02BD24D384 Time : 0.0 sec. user=mdettweiler [2015-05-04 07:30:28] 869*2^1398436-1 is not prime. Res64: 12C3B1D6EFA665CF Time : 0.0 sec. user=mdettweiler [2015-05-04 07:30:28] 939*2^1398436-1 is not prime. Res64: 8762156F645F0387 Time : 0.0 sec. user=mdettweiler [2015-05-04 07:47:49] 927*2^1398437-1 is not prime. Res64: 2A667202BBFCB06D Time : 0.0 sec. user=mdettweiler [2015-05-04 07:47:49] 999*2^1398436-1 is not prime. Res64: 2D26D5007465AFE1 Time : 0.0 sec. user=mdettweiler [2015-05-04 07:47:49] 657*2^1398438-1 is not prime. Res64: ECE6E30878E3F5A6 Time : 0.0 sec. user=mdettweiler [2015-05-04 07:47:50] 675*2^1398437-1 is not prime. Res64: AC4860C81A91BB7F Time : 0.0 sec. user=mdettweiler [2015-05-04 07:47:50] 837*2^1398437-1 is not prime. Res64: BB349FDC0A738AC9 Time : 0.0 sec. user=mdettweiler [2015-05-04 07:47:50] 847*2^1398437-1 is not prime. Res64: DC3C690E5165BC35 Time : 0.0 sec. user=mdettweiler [2015-05-04 07:48:15] 663*2^1398438-1 is not prime. Res64: 7DE8EEAB8BDEC498 Time : 0.0 sec. user=mdettweiler [2015-05-04 07:48:15] 681*2^1398438-1 is not prime. Res64: 61B5EFA44F6F4AC5 Time : 0.0 sec. user=mdettweiler [2015-05-04 08:05:22] 705*2^1398438-1 is not prime. Res64: 189E0BF08A21F72F Time : 0.0 sec. user=mdettweiler [2015-05-04 08:05:22] 713*2^1398438-1 is not prime. Res64: 209082E6C2BBB839 Time : 0.0 sec. user=mdettweiler [2015-05-04 08:05:29] 615*2^1398439-1 is not prime. Res64: 803D62E3DFD7CE0B Time : 0.0 sec. user=mdettweiler [2015-05-04 08:05:30] 791*2^1398438-1 is not prime. Res64: 6B5C9872F4DAA445 Time : 0.0 sec. user=mdettweiler [2015-05-04 08:05:30] 841*2^1398439-1 is not prime. Res64: 1B95CA23C4BB0B5D Time : 0.0 sec. user=mdettweiler [2015-05-04 08:05:31] 927*2^1398438-1 is not prime. Res64: B62E7822ACE18169 Time : 0.0 sec. user=mdettweiler [2015-05-04 08:05:47] 853*2^1398439-1 is not prime. Res64: 11ECA5F85FA92AA0 Time : 0.0 sec. user=mdettweiler [2015-05-04 08:05:48] 883*2^1398439-1 is not prime. Res64: 772259D31198E18D Time : 0.0 sec. user=mdettweiler [2015-05-04 08:23:19] 931*2^1398439-1 is not prime. Res64: B0617EC2739ED288 Time : 0.0 sec. user=mdettweiler [2015-05-04 08:23:20] 975*2^1398439-1 is not prime. Res64: B59D300567F20F6A Time : 0.0 sec. user=mdettweiler [2015-05-04 08:23:25] 753*2^1398440-1 is not prime. Res64: 6B8025ADB5429F3C Time : 0.0 sec. user=mdettweiler [2015-05-04 08:23:26] 833*2^1398440-1 is not prime. Res64: F7CACA9301D7738F Time : 0.0 sec. user=mdettweiler [2015-05-04 08:23:27] 999*2^1398439-1 is not prime. Res64: 71FDEC1C206126A0 Time : 0.0 sec. user=mdettweiler [2015-05-04 08:23:27] 677*2^1398440-1 is not prime. Res64: 3A351436470DB26D Time : 0.0 sec. user=mdettweiler [2015-05-04 08:23:40] 855*2^1398440-1 is not prime. Res64: BAE0D316B1722C86 Time : 0.0 sec. user=mdettweiler [2015-05-04 08:23:41] 915*2^1398440-1 is not prime. Res64: 8EB14BDC6C686B30 Time : 0.0 sec. user=mdettweiler [2015-05-04 08:40:56] 625*2^1398441-1 is not prime. Res64: FA37DAFC3FCEFB2A Time : 0.0 sec. user=mdettweiler [2015-05-04 08:40:57] 781*2^1398441-1 is not prime. Res64: CCFD5BE5F40FDCD2 Time : 0.0 sec. user=mdettweiler [2015-05-04 08:41:01] 929*2^1398440-1 is not prime. Res64: 8B90C52BF66FFE9A Time : 0.0 sec. user=mdettweiler [2015-05-04 08:41:02] 999*2^1398440-1 is not prime. Res64: 4D359BE47A11B76C Time : 0.0 sec. user=mdettweiler [2015-05-04 08:41:06] 847*2^1398441-1 is not prime. Res64: EB235B70D8FCB8FD Time : 0.0 sec. user=mdettweiler [2015-05-04 08:41:06] 901*2^1398441-1 is not prime. Res64: DBD3334F7A254919 Time : 0.0 sec. user=mdettweiler [2015-05-04 08:41:16] 909*2^1398441-1 is not prime. Res64: 46D74F12E21644F8 Time : 0.0 sec. user=mdettweiler [2015-05-04 08:41:16] 969*2^1398441-1 is not prime. Res64: 9595B14BFA146B1C Time : 0.0 sec. user=mdettweiler [2015-05-04 08:58:29] 997*2^1398441-1 is not prime. Res64: 1F32DCA307520EAF Time : 0.0 sec. user=mdettweiler [2015-05-04 08:58:30] 621*2^1398442-1 is not prime. Res64: 9B3DEB64DE97122B Time : 0.0 sec. user=mdettweiler [2015-05-04 08:58:34] 731*2^1398442-1 is not prime. Res64: 49E3E7BDD1695345 Time : 0.0 sec. user=mdettweiler [2015-05-04 08:58:35] 777*2^1398442-1 is not prime. Res64: 4F052A05EA6246FD Time : 0.0 sec. user=mdettweiler [2015-05-04 08:58:39] 885*2^1398442-1 is not prime. Res64: 8A57057AAC84E006 Time : 0.0 sec. user=mdettweiler [2015-05-04 08:58:39] 915*2^1398442-1 is not prime. Res64: B5250322E6E232F3 Time : 0.0 sec. user=mdettweiler [2015-05-04 08:58:54] 675*2^1398443-1 is not prime. Res64: BEEDDFAD392CC335 Time : 0.0 sec. user=mdettweiler [2015-05-04 08:58:54] 685*2^1398443-1 is not prime. Res64: 3CE65CC1BBF03E08 Time : 0.0 sec. user=mdettweiler [2015-05-04 09:16:25] 853*2^1398443-1 is not prime. Res64: 1D8F67DB990B1C70 Time : 0.0 sec. user=mdettweiler [2015-05-04 09:16:25] 871*2^1398443-1 is not prime. Res64: 990F0E174507EEE3 Time : 0.0 sec. user=mdettweiler [2015-05-04 09:16:43] 741*2^1398443-1 is not prime. Res64: D82E50B8AD94EE45 Time : 0.0 sec. user=mdettweiler [2015-05-04 09:16:43] 813*2^1398443-1 is not prime. Res64: 7527E5573D643CE0 Time : 0.0 sec. user=mdettweiler [2015-05-04 09:16:48] 635*2^1398444-1 is not prime. Res64: 419644868BA234A3 Time : 0.0 sec. user=mdettweiler [2015-05-04 09:16:48] 773*2^1398444-1 is not prime. Res64: 52F08A91623F8C8B Time : 0.0 sec. user=mdettweiler [2015-05-04 09:16:58] 885*2^1398443-1 is not prime. Res64: 327C5A8909098FAD Time : 0.0 sec. user=mdettweiler [2015-05-04 09:16:59] 993*2^1398443-1 is not prime. Res64: 91AEC881456C6381 Time : 0.0 sec. user=mdettweiler [2015-05-04 09:34:19] 899*2^1398444-1 is not prime. Res64: BEB96B70D93F240B Time : 0.0 sec. user=mdettweiler [2015-05-04 09:34:19] 975*2^1398444-1 is not prime. Res64: BCAAF8FA059B2B63 Time : 0.0 sec. user=mdettweiler [2015-05-04 09:34:26] 847*2^1398445-1 is not prime. Res64: C9314464C66CC004 Time : 0.0 sec. user=mdettweiler [2015-05-04 09:34:27] 939*2^1398445-1 is not prime. Res64: 83F9E94BD8AF2CBD Time : 0.0 sec. user=mdettweiler [2015-05-04 09:34:27] 777*2^1398445-1 is not prime. Res64: 73E65C0AF60E3CB8 Time : 0.0 sec. user=mdettweiler [2015-05-04 09:34:27] 831*2^1398445-1 is not prime. Res64: 60C317DA1A220222 Time : 0.0 sec. user=mdettweiler [2015-05-04 09:34:33] 961*2^1398445-1 is not prime. Res64: 3C6956DC4D7FAAEF Time : 0.0 sec. user=mdettweiler [2015-05-04 09:34:33] 615*2^1398446-1 is not prime. Res64: 6271CD043761BD58 Time : 0.0 sec. user=mdettweiler [2015-05-04 09:52:50] 917*2^1398446-1 is not prime. Res64: 1B27A3EB12D1027C Time : 0.0 sec. user=mdettweiler [2015-05-04 09:52:50] 935*2^1398446-1 is not prime. Res64: FFA8154A2AE5A306 Time : 0.0 sec. user=mdettweiler [2015-05-04 09:52:50] 953*2^1398446-1 is not prime. Res64: AA61B96B2BB9F81C Time : 0.0 sec. user=mdettweiler [2015-05-04 09:52:50] 623*2^1398446-1 is not prime. Res64: E0E4962D09668B38 Time : 0.0 sec. user=mdettweiler [2015-05-04 09:52:51] 965*2^1398446-1 is not prime. Res64: 5B3C104FD0D05094 Time : 0.0 sec. user=mdettweiler [2015-05-04 09:52:51] 795*2^1398446-1 is not prime. Res64: 5B18DA488A3444ED Time : 0.0 sec. user=mdettweiler [2015-05-04 09:52:57] 661*2^1398447-1 is not prime. Res64: A08F2E96CF098EE8 Time : 0.0 sec. user=mdettweiler [2015-05-04 09:52:57] 691*2^1398447-1 is not prime. Res64: 3D22B132F15761BB Time : 0.0 sec. user=mdettweiler [2015-05-04 10:11:01] 751*2^1398447-1 is not prime. Res64: FFE05694DAA1DF73 Time : 0.0 sec. user=mdettweiler [2015-05-04 10:11:01] 859*2^1398447-1 is not prime. Res64: DB158A5D3F0C9852 Time : 0.0 sec. user=mdettweiler [2015-05-04 10:11:04] 665*2^1398448-1 is not prime. Res64: 28F4720CB3ACE418 Time : 0.0 sec. user=mdettweiler [2015-05-04 10:11:04] 687*2^1398448-1 is not prime. Res64: 4D877E99237F2F79 Time : 0.0 sec. user=mdettweiler [2015-05-04 10:11:09] 797*2^1398448-1 is not prime. Res64: 890AF247BCB500BB Time : 0.0 sec. user=mdettweiler [2015-05-04 10:11:09] 855*2^1398448-1 is not prime. Res64: BA60A65CE5A665A6 Time : 0.0 sec. user=mdettweiler [2015-05-04 10:11:13] 887*2^1398448-1 is not prime. Res64: 5DA2F4DF45B2412C Time : 0.0 sec. user=mdettweiler [2015-05-04 10:11:14] 975*2^1398448-1 is not prime. Res64: B846F0F78C8F4DD7 Time : 0.0 sec. user=mdettweiler [2015-05-04 10:28:39] 729*2^1398449-1 is not prime. Res64: 02122DE862B567D8 Time : 0.0 sec. user=mdettweiler [2015-05-04 10:28:40] 787*2^1398449-1 is not prime. Res64: D65425243A924C92 Time : 0.0 sec. user=mdettweiler [2015-05-04 10:28:41] 615*2^1398449-1 is not prime. Res64: A39C5D4FE3DF2A7E Time : 0.0 sec. user=mdettweiler [2015-05-04 10:28:42] 637*2^1398449-1 is not prime. Res64: 84DE2BE0B11088F1 Time : 0.0 sec. user=mdettweiler [2015-05-04 10:28:42] 837*2^1398449-1 is not prime. Res64: 4B900740A445ABDA Time : 0.0 sec. user=mdettweiler [2015-05-04 10:28:43] 861*2^1398449-1 is not prime. Res64: B4AFA373F90EF12F Time : 0.0 sec. user=mdettweiler [2015-05-04 10:28:54] 867*2^1398449-1 is not prime. Res64: 0F4DD9E2CE1DF349 Time : 0.0 sec. user=mdettweiler [2015-05-04 10:28:54] 611*2^1398450-1 is not prime. Res64: 8D1FB895F46712BC Time : 0.0 sec. user=mdettweiler [2015-05-04 10:46:19] 725*2^1398450-1 is not prime. Res64: 1231F16F9ED58CE0 Time : 0.0 sec. user=mdettweiler [2015-05-04 10:46:20] 747*2^1398450-1 is not prime. Res64: BB526D0470858C77 Time : 0.0 sec. user=mdettweiler [2015-05-04 10:46:20] 765*2^1398450-1 is not prime. Res64: D64BDA921C069F9D Time : 0.0 sec. user=mdettweiler [2015-05-04 10:46:20] 797*2^1398450-1 is not prime. Res64: 836502D347A16341 Time : 0.0 sec. user=mdettweiler [2015-05-04 10:46:21] 803*2^1398450-1 is not prime. Res64: C2A206BF21D74333 Time : 0.0 sec. user=mdettweiler [2015-05-04 10:46:22] 873*2^1398450-1 is not prime. Res64: F2E2ABEF783DEFEE Time : 0.0 sec. user=mdettweiler [2015-05-04 10:46:37] 933*2^1398450-1 is not prime. Res64: 3C0C3E44B0433F03 Time : 0.0 sec. user=mdettweiler [2015-05-04 10:46:37] 631*2^1398451-1 is not prime. Res64: 07FFE8EFA8303F5E Time : 0.0 sec. user=mdettweiler [2015-05-04 11:03:58] 675*2^1398451-1 is not prime. Res64: AA7AC434E847C831 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:04:00] 789*2^1398451-1 is not prime. Res64: F546FF3E37489EC4 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:04:06] 931*2^1398451-1 is not prime. Res64: 2AB0F1B8E231B5C3 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:04:08] 969*2^1398451-1 is not prime. Res64: 53ED679A6BBD0EAD Time : 0.0 sec. user=mdettweiler [2015-05-04 11:04:15] 861*2^1398451-1 is not prime. Res64: 582A8103F0F7DB96 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:04:16] 913*2^1398451-1 is not prime. Res64: 70C3CD0E58746752 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:04:19] 615*2^1398452-1 is not prime. Res64: 2346293731DA6627 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:04:20] 617*2^1398452-1 is not prime. Res64: EE70072B28DF3EDE Time : 0.0 sec. user=mdettweiler [2015-05-04 11:21:52] 767*2^1398452-1 is not prime. Res64: F242AAB19F4A0EF2 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:21:53] 825*2^1398452-1 is not prime. Res64: B1E1DED7DFDF9DA0 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:21:58] 843*2^1398452-1 is not prime. Res64: C6E74ABA3C3AFB72 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:21:58] 639*2^1398453-1 is not prime. Res64: 3F1932CFA01888A2 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:21:58] 607*2^1398453-1 is not prime. Res64: 5ADF4FC5720AA539 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:21:59] 657*2^1398453-1 is not prime. Res64: 66209EB10C88B128 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:22:05] 735*2^1398453-1 is not prime. Res64: 25BDF129714351D7 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:22:06] 819*2^1398453-1 is not prime. Res64: 57A0639C6B3012E5 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:39:37] 849*2^1398453-1 is not prime. Res64: E75B1B4A542C83C1 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:39:37] 891*2^1398453-1 is not prime. Res64: E54727B15A4D276A Time : 0.0 sec. user=mdettweiler [2015-05-04 11:39:37] 961*2^1398453-1 is not prime. Res64: 9B59352B4DB58F3B Time : 0.0 sec. user=mdettweiler [2015-05-04 11:39:38] 657*2^1398454-1 is not prime. Res64: 1A9DD828DA7AD259 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:39:40] 923*2^1398454-1 is not prime. Res64: 6C708729ABD8CB38 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:39:40] 981*2^1398454-1 is not prime. Res64: 9E51080AEDEA00F7 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:39:40] 791*2^1398454-1 is not prime. Res64: A81D8C9BDCB91A58 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:39:41] 885*2^1398454-1 is not prime. Res64: 97FE5F253AEDA939 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:57:09] 799*2^1398455-1 is not prime. Res64: C1325A76D752BACB Time : 0.0 sec. user=mdettweiler [2015-05-04 11:57:10] 883*2^1398455-1 is not prime. Res64: 8F7F876BE78E00AC Time : 0.0 sec. user=mdettweiler [2015-05-04 11:57:13] 673*2^1398455-1 is not prime. Res64: CCCFD38104833FA0 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:57:13] 775*2^1398455-1 is not prime. Res64: B336FE776ECE77AA Time : 0.0 sec. user=mdettweiler [2015-05-04 11:57:16] 913*2^1398455-1 is not prime. Res64: F803A2E899159F5C Time : 0.0 sec. user=mdettweiler [2015-05-04 11:57:17] 949*2^1398455-1 is not prime. Res64: DBE05B6005CA2115 Time : 0.0 sec. user=mdettweiler [2015-05-04 11:57:20] 979*2^1398455-1 is not prime. Res64: A990F58A5362019A Time : 0.0 sec. user=mdettweiler [2015-05-04 11:57:21] 669*2^1398456-1 is not prime. Res64: F54F91AAEA3EBB77 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:14:43] 803*2^1398456-1 is not prime. Res64: AA4801686E5F5CCA Time : 0.0 sec. user=mdettweiler [2015-05-04 12:14:44] 849*2^1398456-1 is not prime. Res64: 99C7DE2249CA3268 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:14:49] 983*2^1398456-1 is not prime. Res64: E6893D21B264C008 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:14:50] 661*2^1398457-1 is not prime. Res64: 5D89B498BB4A0B31 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:14:54] 771*2^1398457-1 is not prime. Res64: EAC9B074A31A2032 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:14:54] 867*2^1398457-1 is not prime. Res64: 627936BDF51FCEDC Time : 0.0 sec. user=mdettweiler [2015-05-04 12:15:01] 645*2^1398458-1 is not prime. Res64: 9ADCDF52C44FC5C4 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:15:02] 813*2^1398458-1 is not prime. Res64: FB172F1496F354D6 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:32:23] 867*2^1398458-1 is not prime. Res64: 883014973A8D59D2 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:32:24] 945*2^1398458-1 is not prime. Res64: 35A689DEA1F68F46 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:32:25] 957*2^1398458-1 is not prime. Res64: 35F79CFAED6FC7E1 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:32:25] 609*2^1398459-1 is not prime. Res64: 97A5B9A12B921BB5 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:32:31] 685*2^1398459-1 is not prime. Res64: 7E7B622B973AB555 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:32:32] 801*2^1398459-1 is not prime. Res64: C06BFCCC0AB9B9F0 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:32:47] 873*2^1398459-1 is not prime. Res64: 22BF76787F5837B8 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:32:47] 921*2^1398459-1 is not prime. Res64: 9C00BE9F50ABCE04 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:49:57] 985*2^1398459-1 is not prime. Res64: 38144369A5865B79 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:49:57] 623*2^1398460-1 is not prime. Res64: 2C49B452ECBE13E2 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:50:03] 719*2^1398460-1 is not prime. Res64: 2A34203531DE7D27 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:50:03] 797*2^1398460-1 is not prime. Res64: C0CCDAFDA440EAB0 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:50:08] 819*2^1398460-1 is not prime. Res64: D84FCABAD75094FF Time : 0.0 sec. user=mdettweiler [2015-05-04 12:50:08] 855*2^1398460-1 is not prime. Res64: C9DD9462E347F90B Time : 0.0 sec. user=mdettweiler [2015-05-04 12:50:24] 957*2^1398460-1 is not prime. Res64: 60CE65FF9E1DBDA8 Time : 0.0 sec. user=mdettweiler [2015-05-04 12:50:25] 907*2^1398461-1 is not prime. Res64: D5D1DB14AC82C175 Time : 0.0 sec. user=mdettweiler [2015-05-04 13:07:40] 987*2^1398461-1 is not prime. Res64: 1D950C5FD9434E9F Time : 0.0 sec. user=mdettweiler [2015-05-04 13:07:41] 997*2^1398461-1 is not prime. Res64: 2FACA461EB05806F Time : 0.0 sec. user=mdettweiler [2015-05-04 13:07:51] 611*2^1398462-1 is not prime. Res64: A8E62F1590AA944F Time : 0.0 sec. user=mdettweiler [2015-05-04 13:07:51] 693*2^1398462-1 is not prime. Res64: AA095A317C9EA313 Time : 0.0 sec. user=mdettweiler [2015-05-04 13:07:55] 725*2^1398462-1 is not prime. Res64: C00ED49B1369EE23 Time : 0.0 sec. user=mdettweiler [2015-05-04 13:07:55] 891*2^1398462-1 is not prime. Res64: 29E872C32F44B415 Time : 0.0 sec. user=mdettweiler [2015-05-04 13:08:08] 615*2^1398463-1 is not prime. Res64: D656D690DFEE363D Time : 0.0 sec. user=mdettweiler [2015-05-04 13:08:09] 625*2^1398463-1 is not prime. Res64: 6DA8AB3B6494E124 Time : 0.0 sec. user=mdettweiler [2015-05-04 13:25:29] 685*2^1398463-1 is not prime. Res64: 3C036C5A02E9D8E0 Time : 0.0 sec. user=mdettweiler [2015-05-04 13:25:29] 703*2^1398463-1 is not prime. Res64: 6A5E7BACE0D9280D Time : 0.0 sec. user=mdettweiler [2015-05-04 13:25:33] 741*2^1398463-1 is not prime. Res64: 76B8C70F94CA60CF Time : 0.0 sec. user=mdettweiler [2015-05-04 13:25:33] 745*2^1398463-1 is not prime. Res64: 381457FB513B82D7 Time : 0.0 sec. user=mdettweiler [2015-05-04 13:25:42] 657*2^1398464-1 is not prime. Res64: 3312B01D29038A66 Time : 0.0 sec. user=mdettweiler [2015-05-04 13:25:42] 743*2^1398464-1 is not prime. Res64: 939618D72DCF841C Time : 0.0 sec. user=mdettweiler [2015-05-04 13:25:51] 767*2^1398464-1 is not prime. Res64: 48AC1F39C78A0EE6 Time : 0.0 sec. user=mdettweiler [2015-05-04 13:25:52] 833*2^1398464-1 is not prime. Res64: CA4548954734D6E8 Time : 0.0 sec. user=mdettweiler [2015-05-04 13:43:07] 855*2^1398464-1 is not prime. Res64: 6D7584FB08DB9389 Time : 0.0 sec. user=mdettweiler [2015-05-04 13:43:07] 893*2^1398464-1 is not prime. Res64: 354B9A53D0BEDB27 Time : 0.0 sec. user=mdettweiler [2015-05-04 13:43:22] 959*2^1398464-1 is not prime. Res64: 0F4AD70C8BD54C28 Time : 0.0 sec. user=mdettweiler [2015-05-04 13:43:22] 609*2^1398465-1 is not prime. Res64: BD5A8BE06B13D0AC Time : 0.0 sec. user=mdettweiler [2015-05-04 13:43:22] 927*2^1398464-1 is not prime. Res64: 0762DC5893F5B87C Time : 0.0 sec. user=mdettweiler [2015-05-04 13:43:23] 945*2^1398464-1 is not prime. Res64: CC2ED3696F083D91 Time : 0.0 sec. user=mdettweiler [2015-05-04 13:43:34] 717*2^1398465-1 is not prime. Res64: 0ED7F0A94A5F833B Time : 0.0 sec. user=mdettweiler [2015-05-04 13:43:34] 861*2^1398465-1 is not prime. Res64: 0221F1E8322BB374 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:00:47] 919*2^1398465-1 is not prime. Res64: 78C0893392E7827C Time : 0.0 sec. user=mdettweiler [2015-05-04 14:00:48] 937*2^1398465-1 is not prime. Res64: 4EF583914C16F70D Time : 0.0 sec. user=mdettweiler [2015-05-04 14:01:00] 671*2^1398466-1 is not prime. Res64: 6998F92F7D0A4D60 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:01:02] 705*2^1398466-1 is not prime. Res64: 5B28BCAF7B8B303B Time : 0.0 sec. user=mdettweiler [2015-05-04 14:01:02] 651*2^1398466-1 is not prime. Res64: 87EFB2336AEE0519 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:01:03] 657*2^1398466-1 is not prime. Res64: 8BA104371ADB7E22 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:01:12] 813*2^1398466-1 is not prime. Res64: 9318486762C898F1 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:01:13] 825*2^1398466-1 is not prime. Res64: 5E7B9D4562D18669 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:18:35] 855*2^1398466-1 is not prime. Res64: 1ACF926AC4557F84 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:18:35] 941*2^1398466-1 is not prime. Res64: 4D90E10B2E45451C Time : 0.0 sec. user=mdettweiler [2015-05-04 14:18:43] 801*2^1398467-1 is not prime. Res64: 31D5F0042623B1F2 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:18:44] 619*2^1398467-1 is not prime. Res64: D9326C96BEC4FDCE Time : 0.0 sec. user=mdettweiler [2015-05-04 14:18:44] 823*2^1398467-1 is not prime. Res64: 0EA7FEED1ED739D0 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:18:44] 759*2^1398467-1 is not prime. Res64: 8E99E0434FB0FDBF Time : 0.0 sec. user=mdettweiler [2015-05-04 14:18:50] 901*2^1398467-1 is not prime. Res64: A480867182299B35 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:18:51] 993*2^1398467-1 is not prime. Res64: 8FF07F02ADF16F99 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:36:17] 605*2^1398468-1 is not prime. Res64: 61C9D053CDF05827 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:36:17] 633*2^1398468-1 is not prime. Res64: 083A6F63C69BC202 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:36:21] 809*2^1398468-1 is not prime. Res64: A143CE641CD01844 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:36:21] 837*2^1398468-1 is not prime. Res64: F8D194E006C0D7DE Time : 0.0 sec. user=mdettweiler [2015-05-04 14:36:29] 933*2^1398468-1 is not prime. Res64: E3C2A7AC3686F39B Time : 0.0 sec. user=mdettweiler [2015-05-04 14:36:29] 999*2^1398468-1 is not prime. Res64: 288D0380D685F290 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:36:31] 657*2^1398468-1 is not prime. Res64: 93E670BF1773FCB8 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:36:32] 773*2^1398468-1 is not prime. Res64: 532D133CF5B0D495 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:53:56] 615*2^1398469-1 is not prime. Res64: 4EC5BACEB954FB0D Time : 0.0 sec. user=mdettweiler [2015-05-04 14:53:56] 619*2^1398469-1 is not prime. Res64: 4D73254FF9695261 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:54:02] 681*2^1398469-1 is not prime. Res64: 645E3F395DAC7685 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:54:02] 747*2^1398469-1 is not prime. Res64: ECE4BCE9CC43A65B Time : 0.0 sec. user=mdettweiler [2015-05-04 14:54:12] 775*2^1398469-1 is not prime. Res64: AA2FDAD4B9F247A8 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:54:13] 801*2^1398469-1 is not prime. Res64: 352848EF1CF04B57 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:54:22] 831*2^1398469-1 is not prime. Res64: CA4B5BC2EC0278D3 Time : 0.0 sec. user=mdettweiler [2015-05-04 14:54:23] 885*2^1398469-1 is not prime. Res64: BE083D5DA8CC6C59 Time : 0.0 sec. user=mdettweiler [2015-05-04 15:11:31] 955*2^1398469-1 is not prime. Res64: F63002233FE8F0E7 Time : 0.0 sec. user=mdettweiler [2015-05-04 15:11:32] 615*2^1398470-1 is not prime. Res64: B7F2452ACA6A1C09 Time : 0.0 sec. user=mdettweiler [2015-05-04 15:11:38] 707*2^1398470-1 is not prime. Res64: 611AC30980C9CA12 Time : 0.0 sec. user=mdettweiler [2015-05-04 15:11:39] 717*2^1398470-1 is not prime. Res64: 9ABF1649626EE7DA Time : 0.0 sec. user=mdettweiler [2015-05-04 15:11:52] 741*2^1398470-1 is not prime. Res64: 435EC7244525AFD2 Time : 0.0 sec. user=mdettweiler [2015-05-04 15:11:52] 843*2^1398470-1 is not prime. Res64: F3ECF9AC57B88A40 Time : 0.0 sec. user=mdettweiler [2015-05-04 15:11:56] 893*2^1398470-1 is not prime. Res64: A4B1AEAC62038A69 Time : 0.0 sec. user=mdettweiler [2015-05-04 15:11:57] 935*2^1398470-1 is not prime. Res64: 9E3013AE787F839B Time : 0.0 sec. user=mdettweiler [2015-05-04 15:29:13] 741*2^1398471-1 is not prime. Res64: C41AB8C3B7094DDE Time : 0.0 sec. user=mdettweiler [2015-05-04 15:29:14] 793*2^1398471-1 is not prime. Res64: 18D93993B8E7E77E Time : 0.0 sec. user=mdettweiler [2015-05-04 15:29:14] 945*2^1398470-1 is not prime. Res64: 7D394C7717A193A0 Time : 0.0 sec. user=mdettweiler [2015-05-04 15:29:15] 735*2^1398471-1 is not prime. Res64: 27E84E67DE4586EE Time : 0.0 sec. user=mdettweiler [2015-05-04 15:29:27] 805*2^1398471-1 is not prime. Res64: A30DA6F95C050C56 Time : 0.0 sec. user=mdettweiler [2015-05-04 15:29:27] 873*2^1398471-1 is not prime. Res64: 34CECC63D92482AB Time : 0.0 sec. user=mdettweiler [2015-05-04 15:29:30] 665*2^1398472-1 is not prime. Res64: 19FA4EF9CC44F990 Time : 0.0 sec. user=mdettweiler [2015-05-04 15:29:30] 677*2^1398472-1 is not prime. Res64: F97987101A49EDC0 Time : 0.0 sec. user=mdettweiler [2015-05-04 15:46:47] 803*2^1398472-1 is not prime. Res64: 2870097CEF7BBBE0 Time : 0.0 sec. user=mdettweiler [2015-05-04 15:46:48] 857*2^1398472-1 is not prime. Res64: 77BAEF18857BA8BB Time : 0.0 sec. user=mdettweiler [2015-05-04 15:46:58] 923*2^1398472-1 is not prime. Res64: 69465956BA12E377 Time : 0.0 sec. user=mdettweiler [2015-05-04 15:46:58] 965*2^1398472-1 is not prime. Res64: 6A46D52228CC8DAB Time : 0.0 sec. user=mdettweiler [2015-05-04 15:47:06] 699*2^1398473-1 is not prime. Res64: 3F947A21D6E55A1E Time : 0.0 sec. user=mdettweiler [2015-05-04 15:47:06] 925*2^1398473-1 is not prime. Res64: 46799311F0BBF39E Time : 0.0 sec. user=mdettweiler [2015-05-04 15:47:16] 969*2^1398473-1 is not prime. Res64: 95B68F5E16A2B998 Time : 0.0 sec. user=mdettweiler [2015-05-04 15:47:17] 605*2^1398474-1 is not prime. Res64: 0999AC0E2F6F6C79 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:04:42] 621*2^1398474-1 is not prime. Res64: 960F06A96C30E240 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:04:43] 717*2^1398474-1 is not prime. Res64: 6F58EE08F95FCF35 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:04:48] 741*2^1398474-1 is not prime. Res64: 35D6EEDB941B05B0 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:04:49] 747*2^1398474-1 is not prime. Res64: 85E9BEF592D95836 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:04:54] 825*2^1398474-1 is not prime. Res64: 3C4E0C25D38FCCB5 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:04:55] 833*2^1398474-1 is not prime. Res64: 16CA01FE97884307 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:05:16] 905*2^1398474-1 is not prime. Res64: 876565DC20E48534 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:05:16] 945*2^1398474-1 is not prime. Res64: 6DFF6D19F24DF636 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:23:47] 971*2^1398474-1 is not prime. Res64: 79715D69DCADA4F6 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:23:48] 609*2^1398475-1 is not prime. Res64: 947AB09BFE2162F1 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:23:55] 723*2^1398475-1 is not prime. Res64: 585E688792D69703 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:23:55] 801*2^1398475-1 is not prime. Res64: FF3CC54A7DC8AD13 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:24:09] 601*2^1398475-1 is not prime. Res64: 9876BC8461449EA4 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:24:10] 673*2^1398475-1 is not prime. Res64: B31C3BA5AA754AFC Time : 0.0 sec. user=mdettweiler [2015-05-04 16:24:10] 891*2^1398475-1 is not prime. Res64: 4B231B395AC93C66 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:24:10] 973*2^1398475-1 is not prime. Res64: E3BE988F37DCCCEC Time : 0.0 sec. user=mdettweiler [2015-05-04 16:41:59] 603*2^1398476-1 is not prime. Res64: 158264ECDBAC6F3C Time : 0.0 sec. user=mdettweiler [2015-05-04 16:42:00] 773*2^1398476-1 is not prime. Res64: 2823B0E060823BC1 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:42:20] 609*2^1398477-1 is not prime. Res64: 333D9FAC768A52E3 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:42:21] 669*2^1398477-1 is not prime. Res64: 2A2BDE03693A7DE8 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:42:24] 839*2^1398476-1 is not prime. Res64: F1E5CECD25AC3181 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:42:24] 675*2^1398477-1 is not prime. Res64: FC0C6364C75BEC19 Time : 0.0 sec. user=mdettweiler [2015-05-04 16:42:24] 855*2^1398476-1 is not prime. Res64: 2DB8406F9B5EF06C Time : 0.0 sec. user=mdettweiler [2015-05-04 16:42:24] 699*2^1398477-1 is not prime. Res64: 4F730D609D7F1288 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:00:56] 727*2^1398477-1 is not prime. Res64: 8E41D5B0DE832997 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:00:58] 777*2^1398477-1 is not prime. Res64: F1B3EB4B431D1828 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:01:23] 795*2^1398477-1 is not prime. Res64: 0388992CFABB10CC Time : 0.0 sec. user=mdettweiler [2015-05-04 17:01:24] 819*2^1398477-1 is not prime. Res64: 30529C2DC0D6B9EE Time : 0.0 sec. user=mdettweiler [2015-05-04 17:01:30] 849*2^1398477-1 is not prime. Res64: 915386F8CA19511B Time : 0.0 sec. user=mdettweiler [2015-05-04 17:01:31] 891*2^1398477-1 is not prime. Res64: CA3AB27001C05734 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:01:33] 945*2^1398477-1 is not prime. Res64: 85156780028D5719 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:01:34] 603*2^1398478-1 is not prime. Res64: 874E8EDD9778B954 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:19:35] 605*2^1398478-1 is not prime. Res64: 65A185BED4D7DF0F Time : 0.0 sec. user=mdettweiler [2015-05-04 17:19:36] 621*2^1398478-1 is not prime. Res64: 67772EA53234A609 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:19:48] 663*2^1398478-1 is not prime. Res64: 14F9C75C11BC8FC4 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:19:48] 665*2^1398478-1 is not prime. Res64: 7EE65FA56AE5290E Time : 0.0 sec. user=mdettweiler [2015-05-04 17:19:54] 765*2^1398478-1 is not prime. Res64: 9605D099543CAA15 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:19:54] 815*2^1398478-1 is not prime. Res64: 0F0C1743C1E74CFB Time : 0.0 sec. user=mdettweiler [2015-05-04 17:19:56] 831*2^1398478-1 is not prime. Res64: 49DFA4F289958EF0 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:19:56] 843*2^1398478-1 is not prime. Res64: DA23ECBB426F94DF Time : 0.0 sec. user=mdettweiler [2015-05-04 17:38:05] 771*2^1398479-1 is not prime. Res64: 8C8F9602310ED21E Time : 0.0 sec. user=mdettweiler [2015-05-04 17:38:05] 635*2^1398480-1 is not prime. Res64: 4D6F7D05F06F5751 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:38:15] 993*2^1398478-1 is not prime. Res64: B2708A8E952A0E71 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:38:15] 729*2^1398479-1 is not prime. Res64: C4BE7F03E08AA97B Time : 0.0 sec. user=mdettweiler [2015-05-04 17:38:17] 723*2^1398480-1 is not prime. Res64: E1693CD22D0847F1 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:38:17] 795*2^1398480-1 is not prime. Res64: A6D2C3FDA0B9B9C0 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:38:41] 857*2^1398480-1 is not prime. Res64: 58A3F231B45C3A59 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:38:41] 873*2^1398480-1 is not prime. Res64: AD9E5EB637790443 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:56:26] 915*2^1398480-1 is not prime. Res64: E5A251C7F0D4EB73 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:56:26] 747*2^1398481-1 is not prime. Res64: 89479ECF3FD155F3 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:56:31] 987*2^1398481-1 is not prime. Res64: 5733E40F7B4CC445 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:56:31] 997*2^1398481-1 is not prime. Res64: 205FC957C24ABE15 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:56:46] 895*2^1398481-1 is not prime. Res64: 8E397E7A187188E8 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:56:46] 909*2^1398481-1 is not prime. Res64: A26C22C31FCE5F8F Time : 0.0 sec. user=mdettweiler [2015-05-04 17:57:07] 735*2^1398482-1 is not prime. Res64: E2E5F1DC9C007404 Time : 0.0 sec. user=mdettweiler [2015-05-04 17:57:08] 741*2^1398482-1 is not prime. Res64: 2B254DECF8B48659 Time : 0.0 sec. user=mdettweiler [2015-05-04 18:14:48] 837*2^1398482-1 is not prime. Res64: 7DE7FCE33D7AFC6F Time : 0.0 sec. user=mdettweiler [2015-05-04 18:14:49] 873*2^1398482-1 is not prime. Res64: A26F3DE7EC5A8129 Time : 0.0 sec. user=mdettweiler [2015-05-04 18:14:56] 875*2^1398482-1 is not prime. Res64: 7E96750F26EBAEBA Time : 0.0 sec. user=mdettweiler [2015-05-04 18:14:56] 709*2^1398483-1 is not prime. Res64: 0FB849F6F230EB6B Time : 0.0 sec. user=mdettweiler [2015-05-04 18:14:59] 753*2^1398483-1 is not prime. Res64: 8AE5B39061CF3206 Time : 0.0 sec. user=mdettweiler [2015-05-04 18:15:00] 819*2^1398483-1 is not prime. Res64: A0C5D130FAB1C394 Time : 0.0 sec. user=mdettweiler [2015-05-04 18:15:34] 829*2^1398483-1 is not prime. Res64: 0B1370B11967D5DE Time : 0.0 sec. user=mdettweiler [2015-05-04 18:15:35] 853*2^1398483-1 is not prime. Res64: CAE67F2BC28A2CA3 Time : 0.0 sec. user=mdettweiler [2015-05-04 18:33:22] 785*2^1398484-1 is not prime. Res64: 469A86B3C2C96586 Time : 0.0 sec. user=mdettweiler [2015-05-04 18:33:22] 813*2^1398484-1 is not prime. Res64: B2BC16900761F71B Time : 0.0 sec. user=mdettweiler [2015-05-04 18:33:24] 913*2^1398483-1 is not prime. Res64: 61BD713BD6BBE120 Time : 0.0 sec. user=mdettweiler [2015-05-04 18:33:25] 783*2^1398484-1 is not prime. Res64: E3483C909E0F6E3C Time : 0.0 sec. user=mdettweiler [2015-05-04 18:33:27] 863*2^1398484-1 is not prime. Res64: 4A4AE84AB5B3F4AD Time : 0.0 sec. user=mdettweiler [2015-05-04 18:33:28] 887*2^1398484-1 is not prime. Res64: 48BB78E1F0AFD988 Time : 0.0 sec. user=mdettweiler [2015-05-04 18:34:00] 601*2^1398485-1 is not prime. Res64: 0E86C8131C52302A Time : 0.0 sec. user=mdettweiler [2015-05-04 18:34:01] 627*2^1398485-1 is not prime. Res64: 5A0265665E230139 Time : 0.0 sec. user=mdettweiler [2015-05-04 18:51:43] 657*2^1398485-1 is not prime. Res64: C4853A891D267B2A Time : 0.0 sec. user=mdettweiler [2015-05-04 18:51:44] 699*2^1398485-1 is not prime. Res64: 9F24114BB4D22890 Time : 0.0 sec. user=mdettweiler [2015-05-04 18:51:51] 727*2^1398485-1 is not prime. Res64: F854E0AF198231BB Time : 0.0 sec. user=mdettweiler [2015-05-04 18:51:51] 729*2^1398485-1 is not prime. Res64: 3B234AB890AF2073 Time : 0.0 sec. user=mdettweiler [2015-05-04 18:52:13] 735*2^1398485-1 is not prime. Res64: E4482A52783CDEC7 Time : 0.0 sec. user=mdettweiler [2015-05-04 18:52:14] 789*2^1398485-1 is not prime. Res64: 079D30F86B454E2E Time : 0.0 sec. user=mdettweiler [2015-05-04 18:52:19] 861*2^1398485-1 is not prime. Res64: F9AC3652456BF08F Time : 0.0 sec. user=mdettweiler [2015-05-04 18:52:19] 867*2^1398485-1 is not prime. Res64: D989CAB49CC8D7BA Time : 0.0 sec. user=mdettweiler [2015-05-04 19:10:07] 711*2^1398486-1 is not prime. Res64: 460924F6100527D9 Time : 0.0 sec. user=mdettweiler [2015-05-04 19:10:08] 723*2^1398486-1 is not prime. Res64: 01CBDBD916A417CF Time : 0.0 sec. user=mdettweiler [2015-05-04 19:10:26] 937*2^1398485-1 is not prime. Res64: 2212DB188FCB635F Time : 0.0 sec. user=mdettweiler [2015-05-04 19:10:26] 647*2^1398486-1 is not prime. Res64: CED967568DC64854 Time : 0.0 sec. user=mdettweiler [2015-05-04 19:10:30] 737*2^1398486-1 is not prime. Res64: 4EC88FBD2BCB8873 Time : 0.0 sec. user=mdettweiler [2015-05-04 19:10:30] 971*2^1398486-1 is not prime. Res64: FA07B2180E994163 Time : 0.0 sec. user=mdettweiler [2015-05-04 19:10:56] 603*2^1398487-1 is not prime. Res64: 8D3E82D366ACC3BE Time : 0.0 sec. user=mdettweiler [2015-05-04 19:10:56] 619*2^1398487-1 is not prime. Res64: D2B41252E81537DB Time : 0.0 sec. user=mdettweiler [2015-05-04 19:28:16] 693*2^1398487-1 is not prime. Res64: 8099DB18BECB0FE6 Time : 0.0 sec. user=mdettweiler [2015-05-04 19:28:17] 703*2^1398487-1 is not prime. Res64: 7915BF8F4A9B861C Time : 0.0 sec. user=mdettweiler [2015-05-04 19:28:25] 729*2^1398487-1 is not prime. Res64: B9B7DF0F143C6499 Time : 0.0 sec. user=mdettweiler [2015-05-04 19:28:25] 841*2^1398487-1 is not prime. Res64: 4DE1CEA2D1C31CB6 Time : 0.0 sec. user=mdettweiler [2015-05-04 19:28:35] 931*2^1398487-1 is not prime. Res64: C9ED175F9817426A Time : 0.0 sec. user=mdettweiler [2015-05-04 19:28:35] 951*2^1398487-1 is not prime. Res64: 62107D9B2C5A29D1 Time : 0.0 sec. user=mdettweiler [2015-05-04 19:28:46] 975*2^1398487-1 is not prime. Res64: 5E975F4F0B43949A Time : 0.0 sec. user=mdettweiler [2015-05-04 19:28:47] 735*2^1398488-1 is not prime. Res64: C18A84B9301649BC Time : 0.0 sec. user=mdettweiler [2015-05-04 19:45:53] 773*2^1398488-1 is not prime. Res64: 5B32A419CD7E3445 Time : 0.0 sec. user=mdettweiler [2015-05-04 19:45:53] 825*2^1398488-1 is not prime. Res64: E339DF3E8DD3C31C Time : 0.0 sec. user=mdettweiler [2015-05-04 19:46:09] 827*2^1398488-1 is not prime. Res64: 038866FD54B2E439 Time : 0.0 sec. user=mdettweiler [2015-05-04 19:46:09] 837*2^1398488-1 is not prime. Res64: 73506956317C5160 Time : 0.0 sec. user=mdettweiler [2015-05-04 19:46:12] 935*2^1398488-1 is not prime. Res64: 5E7A98415D318200 Time : 0.0 sec. user=mdettweiler [2015-05-04 19:46:12] 649*2^1398489-1 is not prime. Res64: 45DE10CD080AC686 Time : 0.0 sec. user=mdettweiler [2015-05-04 19:46:22] 661*2^1398489-1 is not prime. Res64: BF002316F12ADEBB Time : 0.0 sec. user=mdettweiler [2015-05-04 19:46:22] 691*2^1398489-1 is not prime. Res64: 4738834635F10B20 Time : 0.0 sec. user=mdettweiler [2015-05-04 20:03:30] 949*2^1398489-1 is not prime. Res64: 298BD1B067343C1E Time : 0.0 sec. user=mdettweiler [2015-05-04 20:03:31] 645*2^1398490-1 is not prime. Res64: E2E1CE212CF0165E Time : 0.0 sec. user=mdettweiler [2015-05-04 20:03:45] 665*2^1398490-1 is not prime. Res64: CE8E2BEB1F0FE721 Time : 0.0 sec. user=mdettweiler [2015-05-04 20:03:46] 755*2^1398490-1 is not prime. Res64: 10D281782520F52B Time : 0.0 sec. user=mdettweiler [2015-05-04 20:03:51] 801*2^1398490-1 is not prime. Res64: 5D9DA0A368B718AF Time : 0.0 sec. user=mdettweiler [2015-05-04 20:03:52] 825*2^1398490-1 is not prime. Res64: 68BCF78E156C0C0F Time : 0.0 sec. user=mdettweiler [2015-05-04 20:04:02] 891*2^1398490-1 is not prime. Res64: 4C20D12AB5A2F896 Time : 0.0 sec. user=mdettweiler [2015-05-04 20:04:03] 741*2^1398491-1 is not prime. Res64: 5F302CF31881C2FB Time : 0.0 sec. user=mdettweiler [2015-05-04 20:21:30] 949*2^1398491-1 is not prime. Res64: BCE2633A7974B0F5 Time : 0.0 sec. user=mdettweiler [2015-05-04 20:21:31] 969*2^1398491-1 is not prime. Res64: 05E9C256C9FDCFEB Time : 0.0 sec. user=mdettweiler [2015-05-04 20:21:31] 993*2^1398491-1 is not prime. Res64: 425B3ADDE2E56AE7 Time : 0.0 sec. user=mdettweiler [2015-05-04 20:21:32] 717*2^1398492-1 is not prime. Res64: 85F51ED2F34E64D7 Time : 0.0 sec. user=mdettweiler [2015-05-04 20:21:35] 759*2^1398491-1 is not prime. Res64: C545723BF3C81F72 Time : 0.0 sec. user=mdettweiler [2015-05-04 20:21:35] 871*2^1398491-1 is not prime. Res64: 9D84077493571DBD Time : 0.0 sec. user=mdettweiler [2015-05-04 20:21:44] 765*2^1398492-1 is not prime. Res64: 710E1B398F82D294 Time : 0.0 sec. user=mdettweiler [2015-05-04 20:21:44] 767*2^1398492-1 is not prime. Res64: 4E923FD76B505D74 Time : 0.0 sec. user=mdettweiler [2015-05-04 20:39:04] 843*2^1398492-1 is not prime. Res64: 4B99C526AC35E229 Time : 0.0 sec. user=mdettweiler [2015-05-04 20:39:04] 887*2^1398492-1 is not prime. Res64: C0A079929286693A Time : 0.0 sec. user=mdettweiler [2015-05-04 20:39:10] 847*2^1398493-1 is not prime. Res64: 4AD1C0F65267C6AB Time : 0.0 sec. user=mdettweiler [2015-05-04 20:39:11] 605*2^1398494-1 is not prime. Res64: CE643EC4835247E0 Time : 0.0 sec. user=mdettweiler [2015-05-04 20:39:11] 615*2^1398493-1 is not prime. Res64: 92C0A3B4B4E4BE9B Time : 0.0 sec. user=mdettweiler [2015-05-04 20:39:11] 811*2^1398493-1 is not prime. Res64: 168E46A2E834BD5F Time : 0.0 sec. user=mdettweiler [2015-05-04 20:39:20] 741*2^1398494-1 is not prime. Res64: E6E3E4C77D31C08D Time : 0.0 sec. user=mdettweiler [2015-05-04 20:39:21] 797*2^1398494-1 is not prime. Res64: EC71B2C8F9748A6A Time : 0.0 sec. user=mdettweiler [2015-05-04 20:56:37] 813*2^1398494-1 is not prime. Res64: 450CDC394DFA9FD4 Time : 0.0 sec. user=mdettweiler [2015-05-04 20:56:37] 851*2^1398494-1 is not prime. Res64: 4B650467EB8E2292 Time : 0.0 sec. user=mdettweiler [2015-05-04 21:28:07] 765*2^1398496-1 is not prime. Res64: 22FF0B5211EEA031 Time : 0.0 sec.