user=mdettweiler [2015-07-10 00:03:27] 729*2^1402613-1 is not prime. Res64: 05B698203BE94CA1 Time : 0.0 sec. user=mdettweiler [2015-07-10 00:03:28] 735*2^1402613-1 is not prime. Res64: AB676F86593CBE56 Time : 0.0 sec. user=mdettweiler [2015-07-10 00:14:05] 829*2^1402613-1 is not prime. Res64: 6814A1A04C40E9FB Time : 0.0 sec. user=mdettweiler [2015-07-10 00:14:06] 859*2^1402613-1 is not prime. Res64: D5673D11E3A2642C Time : 0.0 sec. user=mdettweiler [2015-07-10 00:14:07] 861*2^1402613-1 is not prime. Res64: 31E81C4D90D8A8FE Time : 0.0 sec. user=mdettweiler [2015-07-10 00:14:07] 737*2^1402614-1 is not prime. Res64: 80C611D3DE54DD77 Time : 0.0 sec. user=mdettweiler [2015-07-10 00:20:49] 741*2^1402614-1 is not prime. Res64: D78BC3927C0A0F58 Time : 0.0 sec. user=mdettweiler [2015-07-10 00:20:49] 923*2^1402614-1 is not prime. Res64: ADB3F5299D8CDFD3 Time : 0.0 sec. user=mdettweiler [2015-07-10 00:31:27] 645*2^1402615-1 is not prime. Res64: F0E1436A3970412B Time : 0.0 sec. user=mdettweiler [2015-07-10 00:31:27] 663*2^1402615-1 is not prime. Res64: 660E9FC44399F478 Time : 0.0 sec. user=mdettweiler [2015-07-10 00:31:27] 735*2^1402615-1 is not prime. Res64: 0B885BCC94D80505 Time : 0.0 sec. user=mdettweiler [2015-07-10 00:31:28] 819*2^1402615-1 is not prime. Res64: 69AF2CD2E39116FC Time : 0.0 sec. user=mdettweiler [2015-07-10 00:38:10] 855*2^1402615-1 is not prime. Res64: D83F80C298FF100B Time : 0.0 sec. user=mdettweiler [2015-07-10 00:38:10] 873*2^1402615-1 is not prime. Res64: 0371044BDC66247C Time : 0.0 sec. user=mdettweiler [2015-07-10 00:48:47] 657*2^1402616-1 is not prime. Res64: 00D807DB2882DD3F Time : 0.0 sec. user=mdettweiler [2015-07-10 00:48:48] 843*2^1402616-1 is not prime. Res64: F087A009621EB90E Time : 0.0 sec. user=mdettweiler [2015-07-10 00:48:49] 945*2^1402616-1 is not prime. Res64: C86B949EC8AF4C9C Time : 0.0 sec. user=mdettweiler [2015-07-10 00:48:49] 957*2^1402616-1 is not prime. Res64: 9220EFD55F4785A9 Time : 0.0 sec. user=mdettweiler [2015-07-10 00:55:31] 609*2^1402617-1 is not prime. Res64: A6690F5525B03A5C Time : 0.0 sec. user=mdettweiler [2015-07-10 00:55:31] 711*2^1402617-1 is not prime. Res64: 7BDDD19059E57C5C Time : 0.0 sec. user=mdettweiler [2015-07-10 01:06:09] 805*2^1402617-1 is not prime. Res64: F353F66046BCD500 Time : 0.0 sec. user=mdettweiler [2015-07-10 01:06:10] 871*2^1402617-1 is not prime. Res64: 040D00714AF69DFF Time : 0.0 sec. user=mdettweiler [2015-07-10 01:06:11] 849*2^1402617-1 is not prime. Res64: 0C20E02CD35DB072 Time : 0.0 sec. user=mdettweiler [2015-07-10 01:06:11] 645*2^1402618-1 is not prime. Res64: 1AC0101B5D8EED7C Time : 0.0 sec. user=mdettweiler [2015-07-10 01:12:55] 755*2^1402618-1 is not prime. Res64: F0F93B829ED289F2 Time : 0.0 sec. user=mdettweiler [2015-07-10 01:12:55] 891*2^1402618-1 is not prime. Res64: FDDA090C319DA64A Time : 0.0 sec. user=mdettweiler [2015-07-10 01:23:51] 767*2^1402620-1 is not prime. Res64: 69C8823473048F85 Time : 0.0 sec. user=mdettweiler [2015-07-10 01:23:51] 777*2^1402620-1 is not prime. Res64: 80418857D8C328CD Time : 0.0 sec. user=mdettweiler [2015-07-10 01:23:53] 915*2^1402620-1 is not prime. Res64: C7AC19D880DC034F Time : 0.0 sec. user=mdettweiler [2015-07-10 01:23:53] 927*2^1402620-1 is not prime. Res64: EF68AD92189D8176 Time : 0.0 sec. user=mdettweiler [2015-07-10 01:30:19] 607*2^1402621-1 is not prime. Res64: 8591637921252894 Time : 0.0 sec. user=mdettweiler [2015-07-10 01:30:20] 817*2^1402621-1 is not prime. Res64: 871F1C918A4DE037 Time : 0.0 sec. user=mdettweiler [2015-07-10 01:41:12] 955*2^1402621-1 is not prime. Res64: A9F52C7CCA92D977 Time : 0.0 sec. user=mdettweiler [2015-07-10 01:41:13] 665*2^1402622-1 is not prime. Res64: D4CFF4985F14E8B6 Time : 0.0 sec. user=mdettweiler [2015-07-10 01:41:14] 731*2^1402622-1 is not prime. Res64: 5E3892156956FCE0 Time : 0.0 sec. user=mdettweiler [2015-07-10 01:41:15] 761*2^1402622-1 is not prime. Res64: 11D8C521856B4D03 Time : 0.0 sec. user=mdettweiler [2015-07-10 01:47:49] 785*2^1402622-1 is not prime. Res64: 1F48162AB3D14D60 Time : 0.0 sec. user=mdettweiler [2015-07-10 01:47:50] 791*2^1402622-1 is not prime. Res64: 8DAE5ED736AADF2D Time : 0.0 sec. user=mdettweiler [2015-07-10 01:58:36] 867*2^1402622-1 is not prime. Res64: 3D8C31ABB9CC2037 Time : 0.0 sec. user=mdettweiler [2015-07-10 01:58:36] 917*2^1402622-1 is not prime. Res64: E9C6299D895A0CD3 Time : 0.0 sec. user=mdettweiler [2015-07-10 01:58:37] 619*2^1402623-1 is not prime. Res64: E8AC1F393256ABA7 Time : 0.0 sec. user=mdettweiler [2015-07-10 01:58:38] 663*2^1402623-1 is not prime. Res64: FD9CD6BD3D4468CB Time : 0.0 sec. user=mdettweiler [2015-07-10 02:05:11] 675*2^1402623-1 is not prime. Res64: 3B1375740A7AF175 Time : 0.0 sec. user=mdettweiler [2015-07-10 02:05:12] 679*2^1402623-1 is not prime. Res64: 20136B527289D0A9 Time : 0.0 sec. user=mdettweiler [2015-07-10 02:15:57] 723*2^1402623-1 is not prime. Res64: B7EDC4AB2ACADCD8 Time : 0.0 sec. user=mdettweiler [2015-07-10 02:15:58] 763*2^1402623-1 is not prime. Res64: 389A55588AC2671D Time : 0.0 sec. user=mdettweiler [2015-07-10 02:15:58] 781*2^1402623-1 is not prime. Res64: C8CC119754908E48 Time : 0.0 sec. user=mdettweiler [2015-07-10 02:15:59] 969*2^1402623-1 is not prime. Res64: 36280D6E756239FC Time : 0.0 sec. user=mdettweiler [2015-07-10 02:22:51] 623*2^1402624-1 is not prime. Res64: 8F37081A7B215727 Time : 0.0 sec. user=mdettweiler [2015-07-10 02:22:52] 657*2^1402624-1 is not prime. Res64: B61E4115A27161B1 Time : 0.0 sec. user=mdettweiler [2015-07-10 02:33:24] 677*2^1402624-1 is not prime. Res64: AC11AFD1DC834261 Time : 0.0 sec. user=mdettweiler [2015-07-10 02:33:24] 781*2^1402625-1 is not prime. Res64: 83AAC61FA997AC0C Time : 0.0 sec. user=mdettweiler [2015-07-10 02:33:24] 947*2^1402624-1 is not prime. Res64: 07130C464CF54733 Time : 0.0 sec. user=mdettweiler [2015-07-10 02:33:24] 861*2^1402625-1 is not prime. Res64: FE9CF76B6FF97412 Time : 0.0 sec. user=mdettweiler [2015-07-10 02:40:16] 671*2^1402626-1 is not prime. Res64: 978541CFACBF1E62 Time : 0.0 sec. user=mdettweiler [2015-07-10 02:40:16] 735*2^1402626-1 is not prime. Res64: 504CF552CF476011 Time : 0.0 sec. user=mdettweiler [2015-07-10 02:51:00] 815*2^1402626-1 is not prime. Res64: 6FC86C4C9E801923 Time : 0.0 sec. user=mdettweiler [2015-07-10 02:51:00] 821*2^1402626-1 is not prime. Res64: 93B1BE536D9136FD Time : 0.0 sec. user=mdettweiler [2015-07-10 02:51:02] 917*2^1402626-1 is not prime. Res64: 492E6840304AF147 Time : 0.0 sec. user=mdettweiler [2015-07-10 02:51:02] 933*2^1402626-1 is not prime. Res64: 88AFDE9166C409CD Time : 0.0 sec. user=mdettweiler [2015-07-10 02:57:45] 945*2^1402626-1 is not prime. Res64: 20DA32EB7BA88632 Time : 0.0 sec. user=mdettweiler [2015-07-10 02:57:45] 993*2^1402626-1 is not prime. Res64: B7285CE648130F47 Time : 0.0 sec. user=mdettweiler [2015-07-10 03:08:23] 1001*2^1402626-1 is not prime. Res64: CD84781F30D31EF2 Time : 0.0 sec. user=mdettweiler [2015-07-10 03:08:24] 619*2^1402627-1 is not prime. Res64: 1FD70D79639A50E5 Time : 0.0 sec. user=mdettweiler [2015-07-10 03:08:25] 639*2^1402627-1 is not prime. Res64: 7E4542D8FF97BF97 Time : 0.0 sec. user=mdettweiler [2015-07-10 03:08:25] 663*2^1402627-1 is not prime. Res64: 2DC6FF1FC6EC10BB Time : 0.0 sec. user=mdettweiler [2015-07-10 03:15:09] 741*2^1402627-1 is not prime. Res64: 476C71570A6983E6 Time : 0.0 sec. user=mdettweiler [2015-07-10 03:15:09] 629*2^1402628-1 is not prime. Res64: 486F6463FE978058 Time : 0.0 sec. user=mdettweiler [2015-07-10 03:25:50] 677*2^1402628-1 is not prime. Res64: 0C6428AC89177F3F Time : 0.0 sec. user=mdettweiler [2015-07-10 03:25:51] 875*2^1402628-1 is not prime. Res64: A3DA90BE015E70D0 Time : 0.0 sec. user=mdettweiler [2015-07-10 03:25:51] 759*2^1402628-1 is not prime. Res64: 4F05F936ECD6D969 Time : 0.0 sec. user=mdettweiler [2015-07-10 03:25:52] 893*2^1402628-1 is not prime. Res64: 45B162B8832CB386 Time : 0.0 sec. user=mdettweiler [2015-07-10 03:32:32] 957*2^1402628-1 is not prime. Res64: 064728A6A703C993 Time : 0.0 sec. user=mdettweiler [2015-07-10 03:32:33] 609*2^1402629-1 is not prime. Res64: 40144760B7CABFC1 Time : 0.0 sec. user=mdettweiler [2015-07-10 03:43:15] 669*2^1402629-1 is not prime. Res64: 42E47A396F3DD95E Time : 0.0 sec. user=mdettweiler [2015-07-10 03:43:17] 835*2^1402629-1 is not prime. Res64: A48166FF34708F2C Time : 0.0 sec. user=mdettweiler [2015-07-10 03:43:18] 759*2^1402629-1 is not prime. Res64: DED5B76AAA8A1CBB Time : 0.0 sec. user=mdettweiler [2015-07-10 03:43:19] 955*2^1402629-1 is not prime. Res64: 0D0CB33CA59ED51D Time : 0.0 sec. user=mdettweiler [2015-07-10 03:49:57] 961*2^1402629-1 is not prime. Res64: 2712A165FCF17A88 Time : 0.0 sec. user=mdettweiler [2015-07-10 03:49:57] 985*2^1402629-1 is not prime. Res64: 7AA52410DB26FAC2 Time : 0.0 sec. user=S_K_ [2015-07-10 03:51:32] 633*2^1402626-1 is not prime. Res64: 5779294B10183845 Time : 0.0 sec. user=mdettweiler [2015-07-10 04:00:50] 991*2^1402629-1 is not prime. Res64: BC1773BC479A8BF9 Time : 0.0 sec. user=mdettweiler [2015-07-10 04:00:51] 999*2^1402629-1 is not prime. Res64: 7CCC480E9CFF8947 Time : 0.0 sec. user=mdettweiler [2015-07-10 04:00:52] 663*2^1402630-1 is not prime. Res64: 9F91D8EC81829377 Time : 0.0 sec. user=mdettweiler [2015-07-10 04:00:53] 873*2^1402630-1 is not prime. Res64: 1D8B9492C6772138 Time : 0.0 sec. user=mdettweiler [2015-07-10 04:07:23] 615*2^1402631-1 is not prime. Res64: B48A0E94E3B8BBAB Time : 0.0 sec. user=mdettweiler [2015-07-10 04:07:23] 663*2^1402631-1 is not prime. Res64: EC52EB7CDBFFE3C5 Time : 0.0 sec. user=mdettweiler [2015-07-10 04:18:34] 635*2^1402632-1 is not prime. Res64: FC532C1B403C2B80 Time : 0.0 sec. user=mdettweiler [2015-07-10 04:18:35] 653*2^1402632-1 is not prime. Res64: 9462A32E1DAA545A Time : 0.0 sec. user=mdettweiler [2015-07-10 04:18:36] 917*2^1402632-1 is not prime. Res64: E78AFB832FCA7FF5 Time : 0.0 sec. user=mdettweiler [2015-07-10 04:18:37] 745*2^1402633-1 is not prime. Res64: F413043ADF270082 Time : 0.0 sec. user=mdettweiler [2015-07-10 04:24:45] 807*2^1402633-1 is not prime. Res64: 41322B6556A7AB0F Time : 0.0 sec. user=mdettweiler [2015-07-10 04:24:45] 861*2^1402633-1 is not prime. Res64: 699A4DF3097F9DB0 Time : 0.0 sec. user=mdettweiler [2015-07-10 04:35:58] 901*2^1402633-1 is not prime. Res64: 08E91EF0EC7B426C Time : 0.0 sec. user=mdettweiler [2015-07-10 04:35:58] 987*2^1402633-1 is not prime. Res64: EAF509E46A5AB248 Time : 0.0 sec. user=mdettweiler [2015-07-10 04:35:58] 711*2^1402634-1 is not prime. Res64: 45FA876A9FDEEA22 Time : 0.0 sec. user=mdettweiler [2015-07-10 04:35:59] 753*2^1402634-1 is not prime. Res64: 43452D3BD33DD121 Time : 0.0 sec. user=mdettweiler [2015-07-10 04:42:07] 755*2^1402634-1 is not prime. Res64: 74FEF2E6382CBDE3 Time : 0.0 sec. user=mdettweiler [2015-07-10 04:42:08] 773*2^1402634-1 is not prime. Res64: 6BC07C966B999442 Time : 0.0 sec. user=mdettweiler [2015-07-10 04:53:21] 935*2^1402634-1 is not prime. Res64: 9B8DA50731B9A6B7 Time : 0.0 sec. user=mdettweiler [2015-07-10 04:53:21] 619*2^1402635-1 is not prime. Res64: 96244F426731270D Time : 0.0 sec. user=mdettweiler [2015-07-10 04:53:21] 625*2^1402635-1 is not prime. Res64: CA1EA7D8DAEDCC06 Time : 0.0 sec. user=mdettweiler [2015-07-10 04:53:22] 699*2^1402635-1 is not prime. Res64: D6FA92E3F964E9ED Time : 0.0 sec. user=mdettweiler [2015-07-10 04:59:30] 849*2^1402635-1 is not prime. Res64: 61587AC8DA2F003C Time : 0.0 sec. user=mdettweiler [2015-07-10 04:59:30] 853*2^1402635-1 is not prime. Res64: E8F041229942DAF1 Time : 0.0 sec. user=mdettweiler [2015-07-10 05:10:44] 843*2^1402636-1 is not prime. Res64: 4012FC8832F4550A Time : 0.0 sec. user=mdettweiler [2015-07-10 05:10:45] 873*2^1402635-1 is not prime. Res64: 9077293A7A007E6D Time : 0.0 sec. user=mdettweiler [2015-07-10 05:10:45] 845*2^1402636-1 is not prime. Res64: 856D263815AC5018 Time : 0.0 sec. user=mdettweiler [2015-07-10 05:10:45] 919*2^1402635-1 is not prime. Res64: 1A2C92953409E867 Time : 0.0 sec. user=mdettweiler [2015-07-10 05:16:56] 615*2^1402637-1 is not prime. Res64: 91A1F95D63F282C3 Time : 0.0 sec. user=mdettweiler [2015-07-10 05:16:56] 715*2^1402637-1 is not prime. Res64: 9F1D0F095C58ED29 Time : 0.0 sec. user=mdettweiler [2015-07-10 05:28:12] 729*2^1402637-1 is not prime. Res64: C392627C3E734718 Time : 0.0 sec. user=mdettweiler [2015-07-10 05:28:13] 741*2^1402637-1 is not prime. Res64: 2D8A123354C53358 Time : 0.0 sec. user=mdettweiler [2015-07-10 05:28:15] 867*2^1402637-1 is not prime. Res64: B8EC1AB36637B72C Time : 0.0 sec. user=mdettweiler [2015-07-10 05:28:16] 635*2^1402638-1 is not prime. Res64: 8434E5F0859D2D7E Time : 0.0 sec. user=mdettweiler [2015-07-10 05:34:21] 663*2^1402638-1 is not prime. Res64: D2DD11460C31F0D3 Time : 0.0 sec. user=mdettweiler [2015-07-10 05:34:21] 711*2^1402638-1 is not prime. Res64: 034F759979234E14 Time : 0.0 sec. user=mdettweiler [2015-07-10 05:45:35] 737*2^1402638-1 is not prime. Res64: B868223B7C0386E6 Time : 0.0 sec. user=mdettweiler [2015-07-10 05:45:35] 755*2^1402638-1 is not prime. Res64: 3CD2F84D3601A394 Time : 0.0 sec. user=mdettweiler [2015-07-10 05:45:38] 777*2^1402638-1 is not prime. Res64: 8AF9A044AFAF6275 Time : 0.0 sec. user=mdettweiler [2015-07-10 05:45:39] 843*2^1402638-1 is not prime. Res64: 4ACAF394698493C5 Time : 0.0 sec. user=mdettweiler [2015-07-10 05:51:45] 887*2^1402638-1 is not prime. Res64: BF9C4BC21AFF76A1 Time : 0.0 sec. user=mdettweiler [2015-07-10 05:51:46] 927*2^1402638-1 is not prime. Res64: 0DCB26DCA5BD6D52 Time : 0.0 sec. user=mdettweiler [2015-07-10 06:02:59] 951*2^1402638-1 is not prime. Res64: AC8C9B13F3BEC3E3 Time : 0.0 sec. user=mdettweiler [2015-07-10 06:03:02] 909*2^1402639-1 is not prime. Res64: 434B82534E4A1A93 Time : 0.0 sec. user=mdettweiler [2015-07-10 06:03:03] 961*2^1402639-1 is not prime. Res64: C352A75F9260AC9B Time : 0.0 sec. user=mdettweiler [2015-07-10 06:03:04] 735*2^1402640-1 is not prime. Res64: 860B33D42870DE9D Time : 0.0 sec. user=mdettweiler [2015-07-10 06:09:22] 743*2^1402640-1 is not prime. Res64: D92C17431829EF1B Time : 0.0 sec. user=mdettweiler [2015-07-10 06:09:22] 923*2^1402640-1 is not prime. Res64: C66C83ACFF9AFE33 Time : 0.0 sec. user=mdettweiler [2015-07-10 06:20:46] 959*2^1402640-1 is not prime. Res64: 1B1505911DB2BABE Time : 0.0 sec. user=mdettweiler [2015-07-10 06:20:46] 601*2^1402641-1 is not prime. Res64: 6E7A0F4B989085AB Time : 0.0 sec. user=mdettweiler [2015-07-10 06:20:47] 739*2^1402641-1 is not prime. Res64: 9916A704ADD41E12 Time : 0.0 sec. user=mdettweiler [2015-07-10 06:20:47] 741*2^1402641-1 is not prime. Res64: 52B5C016DABB9F21 Time : 0.0 sec. user=mdettweiler [2015-07-10 06:26:53] 789*2^1402641-1 is not prime. Res64: 5713FE952C2957F6 Time : 0.0 sec. user=mdettweiler [2015-07-10 06:26:53] 895*2^1402641-1 is not prime. Res64: 1B1639C542FD20DC Time : 0.0 sec. user=mdettweiler [2015-07-10 06:38:10] 671*2^1402642-1 is not prime. Res64: 56F2333C98A4E3E0 Time : 0.0 sec. user=mdettweiler [2015-07-10 06:38:11] 675*2^1402642-1 is not prime. Res64: 8E9A528481AFC7D0 Time : 0.0 sec. user=mdettweiler [2015-07-10 06:38:13] 951*2^1402641-1 is not prime. Res64: 6043F49197C30DE7 Time : 0.0 sec. user=mdettweiler [2015-07-10 06:38:13] 645*2^1402642-1 is not prime. Res64: F0B24E69DAF5E8F0 Time : 0.0 sec. user=mdettweiler [2015-07-10 06:44:19] 677*2^1402642-1 is not prime. Res64: 6C17489341A822BE Time : 0.0 sec. user=mdettweiler [2015-07-10 06:44:20] 695*2^1402642-1 is not prime. Res64: 24B79ECCFE3AE78D Time : 0.0 sec. user=mdettweiler [2015-07-10 06:55:35] 705*2^1402642-1 is not prime. Res64: 6CAB62B5976D3CDE Time : 0.0 sec. user=mdettweiler [2015-07-10 06:55:36] 815*2^1402642-1 is not prime. Res64: 73512A5F6A37EDF1 Time : 0.0 sec. user=mdettweiler [2015-07-10 06:55:37] 987*2^1402642-1 is not prime. Res64: D449A0C57D9C95D5 Time : 0.0 sec. user=mdettweiler [2015-07-10 06:55:37] 619*2^1402643-1 is not prime. Res64: 68DA3E149AEC9125 Time : 0.0 sec. user=mdettweiler [2015-07-10 07:01:43] 675*2^1402643-1 is not prime. Res64: 3A3D61B20E997589 Time : 0.0 sec. user=mdettweiler [2015-07-10 07:01:44] 771*2^1402643-1 is not prime. Res64: 17FA6368F13A7DA2 Time : 0.0 sec. user=mdettweiler [2015-07-10 07:12:59] 859*2^1402643-1 is not prime. Res64: F322BB3BDE9715D2 Time : 0.0 sec. user=mdettweiler [2015-07-10 07:12:59] 895*2^1402643-1 is not prime. Res64: 67F03571732419B6 Time : 0.0 sec. user=mdettweiler [2015-07-10 07:13:00] 915*2^1402643-1 is not prime. Res64: E4525B44805DE84F Time : 0.0 sec. user=mdettweiler [2015-07-10 07:13:01] 963*2^1402643-1 is not prime. Res64: 80B640A23E42994F Time : 0.0 sec. user=mdettweiler [2015-07-10 07:19:15] 981*2^1402643-1 is not prime. Res64: 86718D5E5A74CA79 Time : 0.0 sec. user=mdettweiler [2015-07-10 07:19:16] 985*2^1402643-1 is not prime. Res64: D01D0EEFEF6AA472 Time : 0.0 sec. user=mdettweiler [2015-07-10 07:30:27] 991*2^1402643-1 is not prime. Res64: 59762B0DE02C5EB2 Time : 0.0 sec. user=mdettweiler [2015-07-10 07:30:28] 993*2^1402643-1 is not prime. Res64: 7E2BFAF68141DB97 Time : 0.0 sec. user=mdettweiler [2015-07-10 07:30:29] 675*2^1402644-1 is not prime. Res64: 07E5BAF40CB075E4 Time : 0.0 sec. user=mdettweiler [2015-07-10 07:30:29] 899*2^1402644-1 is not prime. Res64: 1A47922E4DB0ACC8 Time : 0.0 sec. user=mdettweiler [2015-07-10 07:36:41] 927*2^1402644-1 is not prime. Res64: 16764046E7A768D5 Time : 0.0 sec. user=mdettweiler [2015-07-10 07:36:41] 625*2^1402645-1 is not prime. Res64: 51DC5495B15F7ED8 Time : 0.0 sec. user=mdettweiler [2015-07-10 07:47:52] 645*2^1402645-1 is not prime. Res64: C6F9C12CB9B1AB1D Time : 0.0 sec. user=mdettweiler [2015-07-10 07:47:52] 667*2^1402645-1 is not prime. Res64: 66DF9F3BF417969E Time : 0.0 sec. user=mdettweiler [2015-07-10 07:47:52] 661*2^1402645-1 is not prime. Res64: 62D338F03BA6531C Time : 0.0 sec. user=mdettweiler [2015-07-10 07:47:53] 685*2^1402645-1 is not prime. Res64: F1CB59350AB1C2DE Time : 0.0 sec. user=mdettweiler [2015-07-10 07:54:05] 721*2^1402645-1 is not prime. Res64: 0B9D9DF9DCF49077 Time : 0.0 sec. user=mdettweiler [2015-07-10 07:54:05] 751*2^1402645-1 is not prime. Res64: 83242F6EAEFBCB4C Time : 0.0 sec. user=mdettweiler [2015-07-10 08:05:17] 759*2^1402645-1 is not prime. Res64: 33D7750E6039DA2A Time : 0.0 sec. user=mdettweiler [2015-07-10 08:05:18] 817*2^1402645-1 is not prime. Res64: E0D677949C8B59E9 Time : 0.0 sec. user=mdettweiler [2015-07-10 08:05:19] 939*2^1402645-1 is not prime. Res64: A823EC55414CDD28 Time : 0.0 sec. user=mdettweiler [2015-07-10 08:05:20] 635*2^1402646-1 is not prime. Res64: 59A965D6434AFB8D Time : 0.0 sec. user=mdettweiler [2015-07-10 08:11:28] 801*2^1402646-1 is not prime. Res64: 7464F712270D0AB0 Time : 0.0 sec. user=mdettweiler [2015-07-10 08:11:29] 921*2^1402646-1 is not prime. Res64: 46BEF7572DD996AF Time : 0.0 sec. user=mdettweiler [2015-07-10 08:23:22] 957*2^1402646-1 is not prime. Res64: D76A43DFDE34457D Time : 0.0 sec. user=mdettweiler [2015-07-10 08:23:23] 971*2^1402646-1 is not prime. Res64: 1B81C74A66D6F46D Time : 0.0 sec. user=mdettweiler [2015-07-10 08:23:23] 765*2^1402647-1 is not prime. Res64: 4BC2AC78D6031D62 Time : 0.0 sec. user=mdettweiler [2015-07-10 08:23:23] 849*2^1402647-1 is not prime. Res64: 0F201797559D1795 Time : 0.0 sec. user=mdettweiler [2015-07-10 08:28:52] 951*2^1402647-1 is not prime. Res64: 42A131BC68586414 Time : 0.0 sec. user=mdettweiler [2015-07-10 08:28:53] 663*2^1402648-1 is not prime. Res64: 7D409E24607D9767 Time : 0.0 sec. user=mdettweiler [2015-07-10 08:40:47] 843*2^1402648-1 is not prime. Res64: 4F7CD87A85A132F7 Time : 0.0 sec. user=mdettweiler [2015-07-10 08:40:47] 765*2^1402648-1 is not prime. Res64: 1B912927F955C039 Time : 0.0 sec. user=mdettweiler [2015-07-10 08:40:48] 679*2^1402649-1 is not prime. Res64: B9099BE20F863B8D Time : 0.0 sec. user=mdettweiler [2015-07-10 08:40:48] 803*2^1402648-1 is not prime. Res64: B45D42183DA5E109 Time : 0.0 sec. user=mdettweiler [2015-07-10 08:46:18] 711*2^1402649-1 is not prime. Res64: CA77A32825A375BF Time : 0.0 sec. user=mdettweiler [2015-07-10 08:46:19] 795*2^1402649-1 is not prime. Res64: 34AA3DC7D672F846 Time : 0.0 sec. user=mdettweiler [2015-07-10 08:58:11] 799*2^1402649-1 is not prime. Res64: 0A06B9514EC732F1 Time : 0.0 sec. user=mdettweiler [2015-07-10 08:58:11] 811*2^1402649-1 is not prime. Res64: DE8EB77268528AD7 Time : 0.0 sec. user=mdettweiler [2015-07-10 08:58:13] 831*2^1402649-1 is not prime. Res64: A07A39993512FD1B Time : 0.0 sec. user=mdettweiler [2015-07-10 08:58:13] 897*2^1402649-1 is not prime. Res64: 23A6752B74FAA12C Time : 0.0 sec. user=mdettweiler [2015-07-10 09:03:45] 949*2^1402649-1 is not prime. Res64: 45426B28814D0A73 Time : 0.0 sec. user=mdettweiler [2015-07-10 09:03:46] 611*2^1402650-1 is not prime. Res64: 71564B8095437BE1 Time : 0.0 sec. user=mdettweiler [2015-07-10 09:15:36] 627*2^1402650-1 is not prime. Res64: 4063E01129EC1E57 Time : 0.0 sec. user=mdettweiler [2015-07-10 09:15:36] 783*2^1402650-1 is not prime. Res64: C20FCE28ED3B175A Time : 0.0 sec. user=mdettweiler [2015-07-10 09:15:41] 791*2^1402650-1 is not prime. Res64: 9B25A0A5825E49D5 Time : 0.0 sec. user=mdettweiler [2015-07-10 09:15:41] 843*2^1402650-1 is not prime. Res64: 151C6BF0BCACF748 Time : 0.0 sec. user=mdettweiler [2015-07-10 09:21:12] 861*2^1402650-1 is not prime. Res64: 0C63AA128309B49E Time : 0.0 sec. user=mdettweiler [2015-07-10 09:21:12] 885*2^1402650-1 is not prime. Res64: 7844FCFEE4445E27 Time : 0.0 sec. user=mdettweiler [2015-07-10 09:33:00] 915*2^1402650-1 is not prime. Res64: FDDF904F72A56D30 Time : 0.0 sec. user=mdettweiler [2015-07-10 09:33:00] 917*2^1402650-1 is not prime. Res64: F158F0867AE5F670 Time : 0.0 sec. user=mdettweiler [2015-07-10 09:33:04] 971*2^1402650-1 is not prime. Res64: F4B86759A4E2402D Time : 0.0 sec. user=mdettweiler [2015-07-10 09:33:04] 977*2^1402650-1 is not prime. Res64: C2E9A2621DF230EA Time : 0.0 sec. user=mdettweiler [2015-07-10 09:38:35] 1001*2^1402650-1 is not prime. Res64: 98DFA65CC42A9476 Time : 0.0 sec. user=mdettweiler [2015-07-10 09:38:36] 619*2^1402651-1 is not prime. Res64: 9F8981C403CFCCF4 Time : 0.0 sec. user=mdettweiler [2015-07-10 09:50:24] 745*2^1402651-1 is not prime. Res64: 3712D46B2D535142 Time : 0.0 sec. user=mdettweiler [2015-07-10 09:50:24] 769*2^1402651-1 is not prime. Res64: F8E82BC89C7050D4 Time : 0.0 sec. user=mdettweiler [2015-07-10 09:50:27] 843*2^1402651-1 is not prime. Res64: 2EB47B312E2DF1CF Time : 0.0 sec. user=mdettweiler [2015-07-10 09:50:28] 891*2^1402651-1 is not prime. Res64: 47DA755C952DFEF7 Time : 0.0 sec. user=mdettweiler [2015-07-10 09:56:03] 973*2^1402651-1 is not prime. Res64: 98C5199CD71E299F Time : 0.0 sec. user=mdettweiler [2015-07-10 09:56:03] 629*2^1402652-1 is not prime. Res64: 14D7657848B16209 Time : 0.0 sec. user=mdettweiler [2015-07-10 10:07:49] 735*2^1402652-1 is not prime. Res64: 3D80DA402F2BFDBB Time : 0.0 sec. user=mdettweiler [2015-07-10 10:07:49] 755*2^1402652-1 is not prime. Res64: 08395EA34C93B719 Time : 0.0 sec. user=mdettweiler [2015-07-10 10:07:51] 819*2^1402652-1 is not prime. Res64: 49293676B97B7486 Time : 0.0 sec. user=mdettweiler [2015-07-10 10:07:51] 873*2^1402652-1 is not prime. Res64: D4C0D023AEB1928D Time : 0.0 sec. user=mdettweiler [2015-07-10 10:13:26] 903*2^1402652-1 is not prime. Res64: 23920AD63FBA5FA6 Time : 0.0 sec. user=mdettweiler [2015-07-10 10:13:26] 915*2^1402652-1 is not prime. Res64: 74A7B9BBEA97FACE Time : 0.0 sec. user=mdettweiler [2015-07-10 10:25:15] 945*2^1402652-1 is not prime. Res64: C2ECE0E43196DB64 Time : 0.0 sec. user=mdettweiler [2015-07-10 10:25:16] 607*2^1402653-1 is not prime. Res64: 4FDEF8000178084D Time : 0.0 sec. user=mdettweiler [2015-07-10 10:25:19] 699*2^1402653-1 is not prime. Res64: 93794DB3EF91743B Time : 0.0 sec. user=mdettweiler [2015-07-10 10:25:20] 735*2^1402653-1 is not prime. Res64: EFF88316EC417B05 Time : 0.0 sec. user=mdettweiler [2015-07-10 10:30:54] 811*2^1402653-1 is not prime. Res64: B6A07D25010AEDBB Time : 0.0 sec. user=mdettweiler [2015-07-10 10:30:55] 817*2^1402653-1 is not prime. Res64: 72A3950A39464F29 Time : 0.0 sec. user=mdettweiler [2015-07-10 10:42:42] 921*2^1402653-1 is not prime. Res64: 7C23B6F20B5435F2 Time : 0.0 sec. user=mdettweiler [2015-07-10 10:42:43] 705*2^1402654-1 is not prime. Res64: 82C88025F1ED3AD7 Time : 0.0 sec. user=mdettweiler [2015-07-10 10:42:44] 857*2^1402654-1 is not prime. Res64: 2698877123D90C31 Time : 0.0 sec. user=mdettweiler [2015-07-10 10:42:45] 971*2^1402654-1 is not prime. Res64: CAB40F644C794CB3 Time : 0.0 sec. user=mdettweiler [2015-07-10 10:48:18] 1001*2^1402654-1 is not prime. Res64: 7204D841EC9E4980 Time : 0.0 sec. user=mdettweiler [2015-07-10 10:48:18] 609*2^1402655-1 is not prime. Res64: FE8C12F9285B161C Time : 0.0 sec. user=mdettweiler [2015-07-10 11:00:07] 661*2^1402655-1 is not prime. Res64: D9374BC696E7665C Time : 0.0 sec. user=mdettweiler [2015-07-10 11:00:07] 781*2^1402655-1 is not prime. Res64: 72638B39B86A3A1D Time : 0.0 sec. user=mdettweiler [2015-07-10 11:00:08] 789*2^1402655-1 is not prime. Res64: 364AC80C57880A90 Time : 0.0 sec. user=mdettweiler [2015-07-10 11:00:08] 865*2^1402655-1 is not prime. Res64: 8AF60663FB0AAA97 Time : 0.0 sec. user=mdettweiler [2015-07-10 11:05:42] 883*2^1402655-1 is not prime. Res64: 3525D8356C59C693 Time : 0.0 sec. user=mdettweiler [2015-07-10 11:05:44] 999*2^1402655-1 is not prime. Res64: 08D7CF3356EA8F4B Time : 0.0 sec. user=mdettweiler [2015-07-10 11:17:32] 615*2^1402656-1 is not prime. Res64: 32EB0B95AD761EF6 Time : 0.0 sec. user=mdettweiler [2015-07-10 11:17:32] 633*2^1402656-1 is not prime. Res64: 2250D9C5F8B52F9E Time : 0.0 sec. user=mdettweiler [2015-07-10 11:17:33] 639*2^1402656-1 is not prime. Res64: D3B2522A39ABF8A2 Time : 0.0 sec. user=mdettweiler [2015-07-10 11:17:33] 759*2^1402656-1 is not prime. Res64: C6F0EEE037FBBDA7 Time : 0.0 sec. user=mdettweiler [2015-07-10 11:23:09] 815*2^1402656-1 is not prime. Res64: 54E642C8F1B29FD6 Time : 0.0 sec. user=mdettweiler [2015-07-10 11:23:09] 825*2^1402656-1 is not prime. Res64: D535D55C6F3C838A Time : 0.0 sec. user=mdettweiler [2015-07-10 11:34:58] 619*2^1402657-1 is not prime. Res64: 5F6CD3982D215D4A Time : 0.0 sec. user=mdettweiler [2015-07-10 11:34:58] 849*2^1402656-1 is not prime. Res64: 5738558895859E5D Time : 0.0 sec. user=mdettweiler [2015-07-10 11:34:59] 993*2^1402656-1 is not prime. Res64: 441610574884D309 Time : 0.0 sec. user=mdettweiler [2015-07-10 11:34:59] 729*2^1402657-1 is not prime. Res64: D3CB9190FF0FCAB6 Time : 0.0 sec. user=mdettweiler [2015-07-10 11:40:32] 747*2^1402657-1 is not prime. Res64: 5699C1C333869C2C Time : 0.0 sec. user=mdettweiler [2015-07-10 11:40:33] 777*2^1402657-1 is not prime. Res64: 78DC3C2CCCAF16F7 Time : 0.0 sec. user=mdettweiler [2015-07-10 11:52:24] 937*2^1402657-1 is not prime. Res64: 677DA49FDC94318A Time : 0.0 sec. user=mdettweiler [2015-07-10 11:52:24] 867*2^1402657-1 is not prime. Res64: 8D82CE5E34ED4822 Time : 0.0 sec. user=mdettweiler [2015-07-10 11:52:24] 645*2^1402658-1 is not prime. Res64: 432B66B06BB49174 Time : 0.0 sec. user=mdettweiler [2015-07-10 11:52:24] 871*2^1402657-1 is not prime. Res64: 2482111A52EDCFA3 Time : 0.0 sec. user=mdettweiler [2015-07-10 11:57:57] 753*2^1402658-1 is not prime. Res64: A383661E76EF27CA Time : 0.0 sec. user=mdettweiler [2015-07-10 11:57:57] 791*2^1402658-1 is not prime. Res64: 123DF53B0BDD835A Time : 0.0 sec. user=mdettweiler [2015-07-10 12:09:48] 837*2^1402658-1 is not prime. Res64: 65A84FD7FAF2C2CF Time : 0.0 sec. user=mdettweiler [2015-07-10 12:09:48] 679*2^1402659-1 is not prime. Res64: BC253DF4785442B5 Time : 0.0 sec. user=mdettweiler [2015-07-10 12:09:49] 975*2^1402659-1 is not prime. Res64: 0800D69202B2E433 Time : 0.0 sec. user=mdettweiler [2015-07-10 12:09:49] 717*2^1402660-1 is not prime. Res64: F005DCE43728B43D Time : 0.0 sec. user=mdettweiler [2015-07-10 12:15:21] 619*2^1402661-1 is not prime. Res64: 731DF54918573883 Time : 0.0 sec. user=mdettweiler [2015-07-10 12:15:21] 747*2^1402661-1 is not prime. Res64: 1E22FD5926D063AF Time : 0.0 sec. user=mdettweiler [2015-07-10 12:27:16] 955*2^1402661-1 is not prime. Res64: 4FB35B7029B9153B Time : 0.0 sec. user=mdettweiler [2015-07-10 12:27:16] 957*2^1402661-1 is not prime. Res64: 5EC2A1CCE33B1FC4 Time : 0.0 sec. user=mdettweiler [2015-07-10 12:27:18] 777*2^1402661-1 is not prime. Res64: F02F5D0EE8D89FC2 Time : 0.0 sec. user=mdettweiler [2015-07-10 12:27:18] 889*2^1402661-1 is not prime. Res64: C1526F9665D7E904 Time : 0.0 sec. user=mdettweiler [2015-07-10 12:32:45] 677*2^1402662-1 is not prime. Res64: 4F25F0F9FB3FFE64 Time : 0.0 sec. user=mdettweiler [2015-07-10 12:32:46] 821*2^1402662-1 is not prime. Res64: B9445C220BC9E383 Time : 0.0 sec. user=mdettweiler [2015-07-10 12:44:46] 947*2^1402662-1 is not prime. Res64: 8F2F068933E3D78C Time : 0.0 sec. user=mdettweiler [2015-07-10 12:44:46] 693*2^1402663-1 is not prime. Res64: 0842525F9BB79C61 Time : 0.0 sec. user=mdettweiler [2015-07-10 12:44:46] 663*2^1402663-1 is not prime. Res64: D76FF91593CA9B63 Time : 0.0 sec. user=mdettweiler [2015-07-10 12:44:46] 789*2^1402663-1 is not prime. Res64: 137F49855CEB1426 Time : 0.0 sec. user=mdettweiler [2015-07-10 12:50:17] 743*2^1402664-1 is not prime. Res64: 71EA96DC4F85545B Time : 0.0 sec. user=mdettweiler [2015-07-10 12:50:17] 825*2^1402664-1 is not prime. Res64: F9DE6308CAFE283C Time : 0.0 sec. user=mdettweiler [2015-07-10 13:02:28] 935*2^1402664-1 is not prime. Res64: A953F373D70F1E1A Time : 0.0 sec. user=mdettweiler [2015-07-10 13:02:28] 649*2^1402665-1 is not prime. Res64: CE4AC7F9C7612A9D Time : 0.0 sec. user=mdettweiler [2015-07-10 13:02:29] 993*2^1402664-1 is not prime. Res64: A929FCCE91332590 Time : 0.0 sec. user=mdettweiler [2015-07-10 13:02:30] 657*2^1402665-1 is not prime. Res64: 88EA61E9CE38BB0C Time : 0.0 sec. user=mdettweiler [2015-07-10 13:07:55] 789*2^1402665-1 is not prime. Res64: 75F67FE569BD8072 Time : 0.0 sec. user=mdettweiler [2015-07-10 13:07:56] 819*2^1402665-1 is not prime. Res64: A3CA75F1075D61A0 Time : 0.0 sec. user=mdettweiler [2015-07-10 13:21:01] 991*2^1402665-1 is not prime. Res64: E0D780AFE8356536 Time : 0.0 sec. user=mdettweiler [2015-07-10 13:21:01] 837*2^1402665-1 is not prime. Res64: 10471F5CD387DA00 Time : 0.0 sec. user=mdettweiler [2015-07-10 13:21:01] 647*2^1402666-1 is not prime. Res64: 49242F840CDF5314 Time : 0.0 sec. user=mdettweiler [2015-07-10 13:21:02] 861*2^1402665-1 is not prime. Res64: A35BD341549AB78C Time : 0.0 sec. user=mdettweiler [2015-07-10 13:26:38] 657*2^1402666-1 is not prime. Res64: 2D64AF7ABEB1F908 Time : 0.0 sec. user=mdettweiler [2015-07-10 13:26:38] 677*2^1402666-1 is not prime. Res64: 220E06579483F284 Time : 0.0 sec. user=S_K_ [2015-07-10 13:39:31] 893*2^1402662-1 is not prime. Res64: 05A3B2D4106BE2B9 Time : 0.0 sec. user=mdettweiler [2015-07-10 13:39:46] 735*2^1402666-1 is not prime. Res64: A1851EBAFFC7B15B Time : 0.0 sec. user=mdettweiler [2015-07-10 13:39:47] 911*2^1402666-1 is not prime. Res64: EFEE5F0F9E65EA15 Time : 0.0 sec. user=mdettweiler [2015-07-10 13:39:50] 945*2^1402666-1 is not prime. Res64: 671E76939FE05AB6 Time : 0.0 sec. user=mdettweiler [2015-07-10 13:39:50] 619*2^1402667-1 is not prime. Res64: EDDC070FAA1E4503 Time : 0.0 sec. user=mdettweiler [2015-07-10 13:45:26] 633*2^1402667-1 is not prime. Res64: BC59C9D3943CCCE0 Time : 0.0 sec. user=mdettweiler [2015-07-10 13:45:26] 649*2^1402667-1 is not prime. Res64: 32F7B7F625BD490D Time : 0.0 sec. user=mdettweiler [2015-07-10 13:58:34] 735*2^1402667-1 is not prime. Res64: 0C37ADBF373C0B2E Time : 0.0 sec. user=mdettweiler [2015-07-10 13:58:34] 813*2^1402667-1 is not prime. Res64: 7C2E8C6344AC4811 Time : 0.0 sec. user=mdettweiler [2015-07-10 13:58:39] 973*2^1402667-1 is not prime. Res64: B102C36CB6B97F82 Time : 0.0 sec. user=mdettweiler [2015-07-10 13:58:39] 981*2^1402667-1 is not prime. Res64: 8F4E47EA87F39A1C Time : 0.0 sec. user=mdettweiler [2015-07-10 14:04:05] 993*2^1402667-1 is not prime. Res64: F552CD5DA7C85C2D Time : 0.0 sec. user=mdettweiler [2015-07-10 14:04:07] 639*2^1402668-1 is not prime. Res64: D03A172B6ABE14DD Time : 0.0 sec. user=mdettweiler [2015-07-10 14:16:44] 707*2^1402668-1 is not prime. Res64: 5E0F7EBC019AAE18 Time : 0.0 sec. user=mdettweiler [2015-07-10 14:16:44] 725*2^1402668-1 is not prime. Res64: 17EA34C7CD9A2AA5 Time : 0.0 sec. user=mdettweiler [2015-07-10 14:16:50] 735*2^1402668-1 is not prime. Res64: E66A6E58A44C5A07 Time : 0.0 sec. user=mdettweiler [2015-07-10 14:16:51] 737*2^1402668-1 is not prime. Res64: A565D7949DE0A903 Time : 0.0 sec. user=mdettweiler [2015-07-10 14:22:22] 759*2^1402668-1 is not prime. Res64: 4158167C7B93FF3E Time : 0.0 sec. user=mdettweiler [2015-07-10 14:22:22] 797*2^1402668-1 is not prime. Res64: 31F2297149A05AE4 Time : 0.0 sec. user=mdettweiler [2015-07-10 14:34:47] 809*2^1402668-1 is not prime. Res64: 94A8D6DD2285A460 Time : 0.0 sec. user=mdettweiler [2015-07-10 14:34:47] 929*2^1402668-1 is not prime. Res64: 6353DFB1026132A6 Time : 0.0 sec. user=mdettweiler [2015-07-10 14:34:52] 987*2^1402668-1 is not prime. Res64: 894F1D859DA1A240 Time : 0.0 sec. user=mdettweiler [2015-07-10 14:34:52] 615*2^1402669-1 is not prime. Res64: 072D046E116D0A93 Time : 0.0 sec. user=mdettweiler [2015-07-10 14:40:16] 681*2^1402669-1 is not prime. Res64: A470C6E9510A35B5 Time : 0.0 sec. user=mdettweiler [2015-07-10 14:40:16] 819*2^1402669-1 is not prime. Res64: 78AFAD51F44B4DB9 Time : 0.0 sec. user=mdettweiler [2015-07-10 14:52:27] 967*2^1402669-1 is not prime. Res64: F3F72B18B4B360CA Time : 0.0 sec. user=mdettweiler [2015-07-10 14:52:27] 997*2^1402669-1 is not prime. Res64: 8B31174BC6241654 Time : 0.0 sec. user=mdettweiler [2015-07-10 14:52:33] 671*2^1402670-1 is not prime. Res64: 377A523AF426C9A4 Time : 0.0 sec. user=mdettweiler [2015-07-10 14:52:34] 711*2^1402670-1 is not prime. Res64: 00AB5D0B1ED223E8 Time : 0.0 sec. user=mdettweiler [2015-07-10 14:57:53] 843*2^1402670-1 is not prime. Res64: E3800C451FD20B7A Time : 0.0 sec. user=mdettweiler [2015-07-10 14:57:53] 851*2^1402670-1 is not prime. Res64: 9AE0326D673EADA5 Time : 0.0 sec. user=mdettweiler [2015-07-10 15:09:54] 935*2^1402670-1 is not prime. Res64: 71571D490FE6C989 Time : 0.0 sec. user=mdettweiler [2015-07-10 15:09:54] 945*2^1402670-1 is not prime. Res64: 4D2AE9B4EE41DC05 Time : 0.0 sec. user=mdettweiler [2015-07-10 15:10:00] 621*2^1402671-1 is not prime. Res64: B719C102C8D48C51 Time : 0.0 sec. user=mdettweiler [2015-07-10 15:10:01] 735*2^1402671-1 is not prime. Res64: B2D73AA7F1E218CC Time : 0.0 sec. user=S_K_ [2015-07-10 15:10:23] 651*2^1402667-1 is not prime. Res64: 805C47AD1EB369A5 Time : 0.0 sec. user=mdettweiler [2015-07-10 15:15:18] 901*2^1402671-1 is not prime. Res64: A5864D40291F19D9 Time : 0.0 sec. user=mdettweiler [2015-07-10 15:15:18] 921*2^1402671-1 is not prime. Res64: D8D682CE2CFD9490 Time : 0.0 sec. user=mdettweiler [2015-07-10 15:27:23] 629*2^1402672-1 is not prime. Res64: 9550558304FF8676 Time : 0.0 sec. user=mdettweiler [2015-07-10 15:27:24] 657*2^1402672-1 is not prime. Res64: 43ECC44D0865EB98 Time : 0.0 sec. user=mdettweiler [2015-07-10 15:27:27] 665*2^1402672-1 is not prime. Res64: 58E13667C4A62837 Time : 0.0 sec. user=mdettweiler [2015-07-10 15:27:27] 677*2^1402672-1 is not prime. Res64: ACA62C3661610EA7 Time : 0.0 sec. user=mdettweiler [2015-07-10 15:32:44] 717*2^1402672-1 is not prime. Res64: A75CA524547996B5 Time : 0.0 sec. user=mdettweiler [2015-07-10 15:32:44] 909*2^1402672-1 is not prime. Res64: 1117C92BED86BB44 Time : 0.0 sec. user=mdettweiler [2015-07-10 15:44:49] 917*2^1402672-1 is not prime. Res64: E1803B59CA56E53C Time : 0.0 sec. user=mdettweiler [2015-07-10 15:44:49] 939*2^1402672-1 is not prime. Res64: 5B6666B91BBC38AD Time : 0.0 sec. user=mdettweiler [2015-07-10 15:44:52] 965*2^1402672-1 is not prime. Res64: C6D14CFD686562BB Time : 0.0 sec. user=mdettweiler [2015-07-10 15:44:53] 615*2^1402673-1 is not prime. Res64: E81C459751B7C80F Time : 0.0 sec. user=mdettweiler [2015-07-10 15:50:10] 627*2^1402673-1 is not prime. Res64: FD5ED62035352DAC Time : 0.0 sec. user=mdettweiler [2015-07-10 15:50:10] 741*2^1402673-1 is not prime. Res64: 601CEC013C2BCCF9 Time : 0.0 sec. user=mdettweiler [2015-07-10 16:02:14] 985*2^1402673-1 is not prime. Res64: C7B6B1864302230F Time : 0.0 sec. user=mdettweiler [2015-07-10 16:02:15] 731*2^1402674-1 is not prime. Res64: 414549E21C5104EF Time : 0.0 sec. user=mdettweiler [2015-07-10 16:02:16] 797*2^1402674-1 is not prime. Res64: 591618D0A48CBD51 Time : 0.0 sec. user=mdettweiler [2015-07-10 16:02:17] 833*2^1402674-1 is not prime. Res64: E0C675F5CBCC8C7E Time : 0.0 sec. user=mdettweiler [2015-07-10 16:07:35] 881*2^1402674-1 is not prime. Res64: 374569885D9D1118 Time : 0.0 sec. user=mdettweiler [2015-07-10 16:07:35] 887*2^1402674-1 is not prime. Res64: E06938AF1CE1E4EB Time : 0.0 sec. user=mdettweiler [2015-07-10 16:19:54] 673*2^1402675-1 is not prime. Res64: E2A9F8497FADB79D Time : 0.0 sec. user=mdettweiler [2015-07-10 16:19:54] 691*2^1402675-1 is not prime. Res64: 2324C9C54701BE71 Time : 0.0 sec. user=mdettweiler [2015-07-10 16:19:55] 789*2^1402675-1 is not prime. Res64: AE3EA929B87B51F2 Time : 0.0 sec. user=mdettweiler [2015-07-10 16:19:55] 969*2^1402675-1 is not prime. Res64: DDC5970B24BE1673 Time : 0.0 sec. user=mdettweiler [2015-07-10 16:25:00] 979*2^1402675-1 is not prime. Res64: 10760DA9B94A0967 Time : 0.0 sec. user=mdettweiler [2015-07-10 16:25:01] 999*2^1402675-1 is not prime. Res64: 872E7355E9C923AE Time : 0.0 sec. user=mdettweiler [2015-07-10 16:37:21] 647*2^1402676-1 is not prime. Res64: DC780C870286008B Time : 0.0 sec. user=mdettweiler [2015-07-10 16:37:21] 677*2^1402676-1 is not prime. Res64: 75660F66A65CEDA1 Time : 0.0 sec. user=mdettweiler [2015-07-10 16:37:25] 725*2^1402676-1 is not prime. Res64: FB1BB428FED03D29 Time : 0.0 sec. user=mdettweiler [2015-07-10 16:37:25] 749*2^1402676-1 is not prime. Res64: C44F6C390AD28536 Time : 0.0 sec. user=mdettweiler [2015-07-10 16:42:30] 869*2^1402676-1 is not prime. Res64: 6F4681BB72DB6408 Time : 0.0 sec. user=mdettweiler [2015-07-10 16:42:31] 983*2^1402676-1 is not prime. Res64: 8064DD45F902CF21 Time : 0.0 sec. user=mdettweiler [2015-07-10 16:54:47] 601*2^1402677-1 is not prime. Res64: B92998B29986AF2F Time : 0.0 sec. user=mdettweiler [2015-07-10 16:54:48] 649*2^1402677-1 is not prime. Res64: ED4B0D4EFD013BE5 Time : 0.0 sec. user=mdettweiler [2015-07-10 16:54:50] 661*2^1402677-1 is not prime. Res64: 955827E1C8860F1A Time : 0.0 sec. user=mdettweiler [2015-07-10 16:54:51] 717*2^1402677-1 is not prime. Res64: 6191578E81AA28C3 Time : 0.0 sec. user=mdettweiler [2015-07-10 16:59:57] 727*2^1402677-1 is not prime. Res64: D592EDF6633BCDFF Time : 0.0 sec. user=mdettweiler [2015-07-10 16:59:57] 777*2^1402677-1 is not prime. Res64: 06F86BB8341E0DB3 Time : 0.0 sec. user=mdettweiler [2015-07-10 17:12:14] 837*2^1402677-1 is not prime. Res64: 7ABD9E1B480D22AD Time : 0.0 sec. user=mdettweiler [2015-07-10 17:12:14] 997*2^1402677-1 is not prime. Res64: 0A259F761B0ED583 Time : 0.0 sec. user=mdettweiler [2015-07-10 17:12:16] 777*2^1402678-1 is not prime. Res64: EFC8404ADF9DB514 Time : 0.0 sec. user=mdettweiler [2015-07-10 17:12:17] 801*2^1402678-1 is not prime. Res64: 88375EAD1413917E Time : 0.0 sec. user=mdettweiler [2015-07-10 17:17:23] 815*2^1402678-1 is not prime. Res64: 5E73561F5D854143 Time : 0.0 sec. user=mdettweiler [2015-07-10 17:17:23] 825*2^1402678-1 is not prime. Res64: 222AC7E31DE71555 Time : 0.0 sec. user=mdettweiler [2015-07-10 17:29:39] 867*2^1402678-1 is not prime. Res64: BE55850B52D94BE9 Time : 0.0 sec. user=mdettweiler [2015-07-10 17:29:39] 945*2^1402678-1 is not prime. Res64: 9DB978934AB47AA1 Time : 0.0 sec. user=mdettweiler [2015-07-10 17:29:45] 993*2^1402678-1 is not prime. Res64: 007B6AB5C7774295 Time : 0.0 sec. user=mdettweiler [2015-07-10 17:29:45] 1001*2^1402678-1 is not prime. Res64: C8BB85D0437EC725 Time : 0.0 sec. user=mdettweiler [2015-07-10 17:34:47] 721*2^1402679-1 is not prime. Res64: 6D21408FA8C72B0F Time : 0.0 sec. user=mdettweiler [2015-07-10 17:34:48] 771*2^1402679-1 is not prime. Res64: 56F65E9CB8921F6F Time : 0.0 sec. user=mdettweiler [2015-07-10 17:47:09] 775*2^1402679-1 is not prime. Res64: 86835B92C01BDF80 Time : 0.0 sec. user=mdettweiler [2015-07-10 17:47:09] 883*2^1402679-1 is not prime. Res64: D620C9303A8ACCFE Time : 0.0 sec. user=mdettweiler [2015-07-10 17:47:10] 913*2^1402679-1 is not prime. Res64: CC637FFA29258129 Time : 0.0 sec. user=mdettweiler [2015-07-10 17:47:10] 719*2^1402680-1 is not prime. Res64: 394E244CB99892B0 Time : 0.0 sec. user=S_K_ [2015-07-10 17:50:27] 999*2^1402676-1 is not prime. Res64: 4455108F75E31F05 Time : 0.0 sec. user=mdettweiler [2015-07-10 17:52:15] 735*2^1402680-1 is not prime. Res64: 5779843EE9DAC17D Time : 0.0 sec. user=mdettweiler [2015-07-10 17:52:16] 737*2^1402680-1 is not prime. Res64: 33E28D3B6F99417D Time : 0.0 sec. user=mdettweiler [2015-07-10 18:04:33] 773*2^1402680-1 is not prime. Res64: 79C46A40E151A013 Time : 0.0 sec. user=mdettweiler [2015-07-10 18:04:35] 873*2^1402680-1 is not prime. Res64: 4491799E2906174F Time : 0.0 sec. user=mdettweiler [2015-07-10 18:04:35] 803*2^1402680-1 is not prime. Res64: CB22AB322A0FC1C3 Time : 0.0 sec. user=mdettweiler [2015-07-10 18:04:36] 879*2^1402680-1 is not prime. Res64: 3397C46142B8BE26 Time : 0.0 sec. user=mdettweiler [2015-07-10 18:09:38] 945*2^1402680-1 is not prime. Res64: 1BB6293FCBEF2C6D Time : 0.0 sec. user=mdettweiler [2015-07-10 18:09:39] 959*2^1402680-1 is not prime. Res64: FA35A0BA797A1EA7 Time : 0.0 sec. user=mdettweiler [2015-07-10 18:22:24] 651*2^1402681-1 is not prime. Res64: EE86D0CFF64A3C11 Time : 0.0 sec. user=mdettweiler [2015-07-10 18:22:25] 691*2^1402681-1 is not prime. Res64: 19288B6D93B3C266 Time : 0.0 sec. user=mdettweiler [2015-07-10 18:22:25] 975*2^1402680-1 is not prime. Res64: C5036A29313FE5A3 Time : 0.0 sec. user=mdettweiler [2015-07-10 18:22:25] 615*2^1402681-1 is not prime. Res64: 07730B60AE5568F6 Time : 0.0 sec. user=mdettweiler [2015-07-10 18:27:05] 705*2^1402681-1 is not prime. Res64: 0A5FC80A4A43B0B4 Time : 0.0 sec. user=mdettweiler [2015-07-10 18:27:05] 715*2^1402681-1 is not prime. Res64: 3EE308DAF4D3F03C Time : 0.0 sec. user=mdettweiler [2015-07-10 18:39:48] 789*2^1402681-1 is not prime. Res64: 923B1A619DAA5818 Time : 0.0 sec. user=mdettweiler [2015-07-10 18:39:48] 871*2^1402681-1 is not prime. Res64: 70F36BB36901D84A Time : 0.0 sec. user=mdettweiler [2015-07-10 18:39:49] 603*2^1402682-1 is not prime. Res64: 477B4B93030AB71E Time : 0.0 sec. user=mdettweiler [2015-07-10 18:39:49] 665*2^1402682-1 is not prime. Res64: D75AC2A730D4BE8A Time : 0.0 sec. user=mdettweiler [2015-07-10 18:44:28] 711*2^1402682-1 is not prime. Res64: 8B8F4867275F3FAD Time : 0.0 sec. user=mdettweiler [2015-07-10 18:44:29] 903*2^1402682-1 is not prime. Res64: 548EA150EA73A356 Time : 0.0 sec. user=mdettweiler [2015-07-10 18:57:12] 721*2^1402683-1 is not prime. Res64: AF705708DC629CBF Time : 0.0 sec. user=mdettweiler [2015-07-10 18:57:12] 751*2^1402683-1 is not prime. Res64: CACBB789E2335F68 Time : 0.0 sec. user=mdettweiler [2015-07-10 18:57:14] 961*2^1402683-1 is not prime. Res64: DC60592732E2165D Time : 0.0 sec. user=mdettweiler [2015-07-10 18:57:14] 969*2^1402683-1 is not prime. Res64: 130597BA6732320C Time : 0.0 sec. user=mdettweiler [2015-07-10 19:01:54] 985*2^1402683-1 is not prime. Res64: C594401064237AF3 Time : 0.0 sec. user=mdettweiler [2015-07-10 19:01:55] 605*2^1402684-1 is not prime. Res64: F2E158053AD9A93A Time : 0.0 sec. user=mdettweiler [2015-07-10 19:14:35] 749*2^1402684-1 is not prime. Res64: C6ED7A4B1F10E137 Time : 0.0 sec. user=mdettweiler [2015-07-10 19:14:36] 855*2^1402684-1 is not prime. Res64: D34DD19182F9CB64 Time : 0.0 sec. user=mdettweiler [2015-07-10 19:14:37] 885*2^1402684-1 is not prime. Res64: FA7D2D85FDA152A6 Time : 0.0 sec. user=mdettweiler [2015-07-10 19:14:37] 607*2^1402685-1 is not prime. Res64: 46DFD8A76CE8DB6A Time : 0.0 sec. user=mdettweiler [2015-07-10 19:19:26] 711*2^1402685-1 is not prime. Res64: 2321DC53D49B2F5D Time : 0.0 sec. user=mdettweiler [2015-07-10 19:19:27] 801*2^1402685-1 is not prime. Res64: ED9A46162E0774AF Time : 0.0 sec. user=mdettweiler [2015-07-10 19:32:04] 941*2^1402686-1 is not prime. Res64: 3F2E6C8E3C2BA0BD Time : 0.0 sec. user=mdettweiler [2015-07-10 19:32:04] 957*2^1402686-1 is not prime. Res64: 706A6C5644F41AEC Time : 0.0 sec. user=mdettweiler [2015-07-10 19:32:05] 683*2^1402686-1 is not prime. Res64: 617FBDA3A463C248 Time : 0.0 sec. user=mdettweiler [2015-07-10 19:32:06] 851*2^1402686-1 is not prime. Res64: E5A01B0AD56DA89B Time : 0.0 sec. user=mdettweiler [2015-07-10 19:36:51] 649*2^1402687-1 is not prime. Res64: 5488CEA16879232B Time : 0.0 sec. user=mdettweiler [2015-07-10 19:36:51] 735*2^1402687-1 is not prime. Res64: 7CFFBBA7DA6B628C Time : 0.0 sec. user=mdettweiler [2015-07-10 19:49:29] 763*2^1402687-1 is not prime. Res64: 2ABB579F46A4E79C Time : 0.0 sec. user=mdettweiler [2015-07-10 19:49:29] 859*2^1402687-1 is not prime. Res64: B5713229294F33E9 Time : 0.0 sec. user=mdettweiler [2015-07-10 19:49:30] 765*2^1402687-1 is not prime. Res64: AACE54ADA3AAE73D Time : 0.0 sec. user=mdettweiler [2015-07-10 19:49:30] 873*2^1402687-1 is not prime. Res64: 9F29D418DFB07DA3 Time : 0.0 sec. user=mdettweiler [2015-07-10 19:54:18] 925*2^1402687-1 is not prime. Res64: 8E96C6A62BFF11C3 Time : 0.0 sec. user=mdettweiler [2015-07-10 19:54:18] 617*2^1402688-1 is not prime. Res64: A19B372B885A4343 Time : 0.0 sec. user=mdettweiler [2015-07-10 20:07:01] 777*2^1402688-1 is not prime. Res64: 553C414F96E36326 Time : 0.0 sec. user=mdettweiler [2015-07-10 20:07:01] 789*2^1402688-1 is not prime. Res64: 23B1F0A0D88FA79A Time : 0.0 sec. user=mdettweiler [2015-07-10 20:07:03] 687*2^1402688-1 is not prime. Res64: 180141B8F069CF4F Time : 0.0 sec. user=mdettweiler [2015-07-10 20:07:04] 743*2^1402688-1 is not prime. Res64: 7B51957AB2E0A598 Time : 0.0 sec. user=mdettweiler [2015-07-10 20:11:43] 959*2^1402688-1 is not prime. Res64: 7E0412D84E66FBCC Time : 0.0 sec. user=mdettweiler [2015-07-10 20:11:43] 625*2^1402689-1 is not prime. Res64: 1DA9C02018BFCF1A Time : 0.0 sec. user=mdettweiler [2015-07-10 20:24:30] 681*2^1402689-1 is not prime. Res64: EE4B2EB4BAD7D370 Time : 0.0 sec. user=mdettweiler [2015-07-10 20:24:31] 865*2^1402689-1 is not prime. Res64: 845DACBB72265ADA Time : 0.0 sec. user=mdettweiler [2015-07-10 20:24:32] 877*2^1402689-1 is not prime. Res64: BB264DFB7FED49B1 Time : 0.0 sec. user=mdettweiler [2015-07-10 20:24:33] 651*2^1402690-1 is not prime. Res64: E753ED4960647F35 Time : 0.0 sec. user=mdettweiler [2015-07-10 20:29:08] 665*2^1402690-1 is not prime. Res64: 3603C0FA63F8FB01 Time : 0.0 sec. user=mdettweiler [2015-07-10 20:29:08] 687*2^1402690-1 is not prime. Res64: 3118D8487096DFF5 Time : 0.0 sec. user=mdettweiler [2015-07-10 20:42:07] 717*2^1402690-1 is not prime. Res64: 7A7E13A44A6FB42E Time : 0.0 sec. user=mdettweiler [2015-07-10 20:42:07] 821*2^1402690-1 is not prime. Res64: 4F40C0F9D6F25829 Time : 0.0 sec. user=mdettweiler [2015-07-10 20:42:08] 915*2^1402690-1 is not prime. Res64: 88E9FF5726AED38C Time : 0.0 sec. user=mdettweiler [2015-07-10 20:42:09] 631*2^1402691-1 is not prime. Res64: 5DEE46EE20121839 Time : 0.0 sec. user=juhehe [2015-07-10 20:46:14] 657*2^1402690-1 is not prime. Res64: 5D3975FD8CAE20C3 Time : 0.0 sec. user=mdettweiler [2015-07-10 20:46:51] 711*2^1402691-1 is not prime. Res64: 124111F0524FEDBE Time : 0.0 sec. user=mdettweiler [2015-07-10 20:46:52] 895*2^1402691-1 is not prime. Res64: EE729E95B0CDF7AD Time : 0.0 sec. user=mdettweiler [2015-07-10 20:59:56] 669*2^1402692-1 is not prime. Res64: C0E77CC57DFAFBC2 Time : 0.0 sec. user=mdettweiler [2015-07-10 20:59:56] 797*2^1402692-1 is not prime. Res64: 236BA33577687D1D Time : 0.0 sec. user=mdettweiler [2015-07-10 20:59:58] 825*2^1402692-1 is not prime. Res64: C2E3845C3675B1A2 Time : 0.0 sec. user=mdettweiler [2015-07-10 20:59:58] 863*2^1402692-1 is not prime. Res64: F0EEEACB006B2F21 Time : 0.0 sec. user=mdettweiler [2015-07-10 21:04:40] 867*2^1402692-1 is not prime. Res64: E0C399E15335AA43 Time : 0.0 sec. user=mdettweiler [2015-07-10 21:04:41] 899*2^1402692-1 is not prime. Res64: B2770787E6B371A2 Time : 0.0 sec. user=juhehe [2015-07-10 21:10:11] 635*2^1402692-1 is not prime. Res64: 021928A618007433 Time : 0.0 sec. user=mdettweiler [2015-07-10 21:17:51] 959*2^1402692-1 is not prime. Res64: 4C6C598CC333C0D2 Time : 0.0 sec. user=mdettweiler [2015-07-10 21:17:51] 625*2^1402693-1 is not prime. Res64: 56781290DA1B74D4 Time : 0.0 sec. user=mdettweiler [2015-07-10 21:17:52] 919*2^1402693-1 is not prime. Res64: F07D494EC32C709E Time : 0.0 sec. user=mdettweiler [2015-07-10 21:17:52] 925*2^1402693-1 is not prime. Res64: FE7AA6850C27CDEA Time : 0.0 sec. user=mdettweiler [2015-07-10 21:22:51] 937*2^1402693-1 is not prime. Res64: D8DDD496064B41CC Time : 0.0 sec. user=mdettweiler [2015-07-10 21:22:51] 987*2^1402693-1 is not prime. Res64: 4824C190F757373C Time : 0.0 sec. user=mdettweiler [2015-07-10 21:35:42] 999*2^1402693-1 is not prime. Res64: 11E50D858135D096 Time : 0.0 sec. user=mdettweiler [2015-07-10 21:35:42] 747*2^1402694-1 is not prime. Res64: 2CE92E5D9B3CE76B Time : 0.0 sec. user=mdettweiler [2015-07-10 21:35:43] 923*2^1402694-1 is not prime. Res64: ED72C30D1593B523 Time : 0.0 sec. user=mdettweiler [2015-07-10 21:35:43] 775*2^1402695-1 is not prime. Res64: 31ED102C1C560529 Time : 0.0 sec. user=mdettweiler [2015-07-10 21:40:38] 781*2^1402695-1 is not prime. Res64: 46336F9A0E4975B7 Time : 0.0 sec. user=mdettweiler [2015-07-10 21:40:39] 849*2^1402695-1 is not prime. Res64: 6B122AE9CF1B2F7A Time : 0.0 sec. user=mdettweiler [2015-07-10 21:53:38] 765*2^1402696-1 is not prime. Res64: B6C170858A60ADFD Time : 0.0 sec. user=mdettweiler [2015-07-10 21:53:39] 849*2^1402696-1 is not prime. Res64: E5C5B435135C1FBB Time : 0.0 sec. user=mdettweiler [2015-07-10 21:53:39] 955*2^1402695-1 is not prime. Res64: F99939EC231F2979 Time : 0.0 sec. user=mdettweiler [2015-07-10 21:53:39] 645*2^1402696-1 is not prime. Res64: 54DAC14470E52243 Time : 0.0 sec. user=mdettweiler [2015-07-10 21:58:34] 857*2^1402696-1 is not prime. Res64: 418543854EEE0221 Time : 0.0 sec. user=mdettweiler [2015-07-10 21:58:35] 873*2^1402696-1 is not prime. Res64: 97FD8D9FBE7C0334 Time : 0.0 sec. user=mdettweiler [2015-07-10 22:11:38] 957*2^1402696-1 is not prime. Res64: 7FD3E8437D14D0DF Time : 0.0 sec. user=mdettweiler [2015-07-10 22:11:39] 969*2^1402696-1 is not prime. Res64: 8E0FF36F9464EA63 Time : 0.0 sec. user=mdettweiler [2015-07-10 22:11:39] 899*2^1402696-1 is not prime. Res64: 1A810804E984784E Time : 0.0 sec. user=mdettweiler [2015-07-10 22:11:39] 905*2^1402696-1 is not prime. Res64: BBD4275AB8B9ED5D Time : 0.0 sec. user=mdettweiler [2015-07-10 22:16:37] 649*2^1402697-1 is not prime. Res64: 22859CA8DA8E5660 Time : 0.0 sec. user=mdettweiler [2015-07-10 22:16:37] 735*2^1402697-1 is not prime. Res64: 6A16432A5AEEF1D9 Time : 0.0 sec. user=mdettweiler [2015-07-10 22:29:40] 937*2^1402697-1 is not prime. Res64: A9AAE1C125D69B60 Time : 0.0 sec. user=mdettweiler [2015-07-10 22:29:40] 955*2^1402697-1 is not prime. Res64: 5220DF8627067F1E Time : 0.0 sec. user=mdettweiler [2015-07-10 22:29:42] 865*2^1402697-1 is not prime. Res64: 3914F4DF24B3EB32 Time : 0.0 sec. user=mdettweiler [2015-07-10 22:29:42] 885*2^1402697-1 is not prime. Res64: CF76DE9D74FEDD45 Time : 0.0 sec. user=mdettweiler [2015-07-10 22:34:35] 791*2^1402698-1 is not prime. Res64: 738F3E8D23D99879 Time : 0.0 sec. user=mdettweiler [2015-07-10 22:34:35] 797*2^1402698-1 is not prime. Res64: 1BC8A84FE9B701B9 Time : 0.0 sec. user=juhehe [2015-07-10 22:46:47] 861*2^1402697-1 is not prime. Res64: 5D9432849EC9E070 Time : 0.0 sec. user=mdettweiler [2015-07-10 22:47:37] 631*2^1402699-1 is not prime. Res64: 8C51E040D778F265 Time : 0.0 sec. user=mdettweiler [2015-07-10 22:47:38] 837*2^1402698-1 is not prime. Res64: C06F128DD6E4490B Time : 0.0 sec. user=mdettweiler [2015-07-10 22:47:38] 649*2^1402699-1 is not prime. Res64: 5E1F921934053E2A Time : 0.0 sec. user=mdettweiler [2015-07-10 22:47:38] 887*2^1402698-1 is not prime. Res64: 8C1ABFD0FD563134 Time : 0.0 sec. user=mdettweiler [2015-07-10 22:52:38] 681*2^1402699-1 is not prime. Res64: A5990B2980816F85 Time : 0.0 sec. user=mdettweiler [2015-07-10 22:52:38] 733*2^1402699-1 is not prime. Res64: 43F7D6BFE440673A Time : 0.0 sec. user=mdettweiler [2015-07-10 23:05:25] 765*2^1402699-1 is not prime. Res64: EBAC311CC94A0570 Time : 0.0 sec. user=mdettweiler [2015-07-10 23:05:27] 801*2^1402699-1 is not prime. Res64: CC4062C8128C9614 Time : 0.0 sec. user=mdettweiler [2015-07-10 23:05:27] 861*2^1402699-1 is not prime. Res64: CD9AB3E52F67DE88 Time : 0.0 sec. user=mdettweiler [2015-07-10 23:05:28] 931*2^1402699-1 is not prime. Res64: E225E1FD24FF2A27 Time : 0.0 sec. user=mdettweiler [2015-07-10 23:10:13] 615*2^1402700-1 is not prime. Res64: 1035031C69F76045 Time : 0.0 sec. user=mdettweiler [2015-07-10 23:10:13] 633*2^1402700-1 is not prime. Res64: 4AA205818FE60E84 Time : 0.0 sec. user=mdettweiler [2015-07-10 23:23:03] 635*2^1402700-1 is not prime. Res64: 94E9861D4BA86BAB Time : 0.0 sec. user=mdettweiler [2015-07-10 23:23:04] 983*2^1402700-1 is not prime. Res64: 89AFB877766A7475 Time : 0.0 sec. user=mdettweiler [2015-07-10 23:23:05] 727*2^1402701-1 is not prime. Res64: 5AD8EF46456C35D4 Time : 0.0 sec. user=mdettweiler [2015-07-10 23:23:06] 751*2^1402701-1 is not prime. Res64: 70A51ABEBBC51F56 Time : 0.0 sec. user=mdettweiler [2015-07-10 23:27:40] 795*2^1402701-1 is not prime. Res64: F1AFEBD180D14DF0 Time : 0.0 sec. user=mdettweiler [2015-07-10 23:27:40] 861*2^1402701-1 is not prime. Res64: 409A16E5317D464D Time : 0.0 sec. user=mdettweiler [2015-07-10 23:40:27] 895*2^1402701-1 is not prime. Res64: 4A8B45CEC9DC048C Time : 0.0 sec. user=mdettweiler [2015-07-10 23:40:28] 675*2^1402702-1 is not prime. Res64: 64C694205295E1CE Time : 0.0 sec. user=mdettweiler [2015-07-10 23:40:32] 681*2^1402702-1 is not prime. Res64: 75530E280DC5DE2A Time : 0.0 sec. user=mdettweiler [2015-07-10 23:40:32] 717*2^1402702-1 is not prime. Res64: D70931019A4BED87 Time : 0.0 sec. user=mdettweiler [2015-07-10 23:45:03] 723*2^1402702-1 is not prime. Res64: A918B3616E3966BE Time : 0.0 sec. user=mdettweiler [2015-07-10 23:45:04] 741*2^1402702-1 is not prime. Res64: 3940326ADFEB8E63 Time : 0.0 sec. user=mdettweiler [2015-07-10 23:57:50] 761*2^1402702-1 is not prime. Res64: 4188710B4D92BF74 Time : 0.0 sec. user=mdettweiler [2015-07-10 23:57:50] 765*2^1402702-1 is not prime. Res64: 1EFE8528B4CC7D39 Time : 0.0 sec. user=mdettweiler [2015-07-10 23:57:53] 777*2^1402702-1 is not prime. Res64: 765394A207FA64CD Time : 0.0 sec. user=mdettweiler [2015-07-10 23:57:54] 791*2^1402702-1 is not prime. Res64: 8A46C1BFBE6BFC3C Time : 0.0 sec.