user=mdettweiler [2016-12-03 00:19:15] 893*2^1447538-1 is not prime. Res64: CC8A74F505F3FE92 Time : 0.0 sec. user=mdettweiler [2016-12-03 00:19:15] 675*2^1447539-1 is not prime. Res64: 2ED11D545E1DF7C6 Time : 0.0 sec. user=mdettweiler [2016-12-03 00:19:16] 691*2^1447539-1 is not prime. Res64: DE5B787CE5A75CD8 Time : 0.0 sec. user=mdettweiler [2016-12-03 00:19:16] 703*2^1447539-1 is not prime. Res64: 16E4EA9D7131169B Time : 0.0 sec. user=mdettweiler [2016-12-03 00:19:17] 723*2^1447539-1 is not prime. Res64: 2345F7E6DAE9BE36 Time : 0.0 sec. user=mdettweiler [2016-12-03 00:20:15] 919*2^1447539-1 is not prime. Res64: F78FB86E6215354A Time : 0.0 sec. user=mdettweiler [2016-12-03 00:20:16] 979*2^1447539-1 is not prime. Res64: D070DA2C0F0CE60A Time : 0.0 sec. user=mdettweiler [2016-12-03 00:20:16] 665*2^1447540-1 is not prime. Res64: 4FC8E50087C0A721 Time : 0.0 sec. user=mdettweiler [2016-12-03 00:20:17] 717*2^1447540-1 is not prime. Res64: DFBBAC4A32076B2A Time : 0.0 sec. user=mdettweiler [2016-12-03 00:20:17] 649*2^1447541-1 is not prime. Res64: 4330D9F316C8C3F4 Time : 0.0 sec. user=mdettweiler [2016-12-03 00:29:11] 691*2^1447541-1 is not prime. Res64: C9EC93CFA9C10151 Time : 0.0 sec. user=mdettweiler [2016-12-03 00:29:11] 727*2^1447541-1 is not prime. Res64: AC50D2BFAEC74915 Time : 0.0 sec. user=mdettweiler [2016-12-03 00:29:12] 865*2^1447541-1 is not prime. Res64: 9EF2A1B1FFB9F798 Time : 0.0 sec. user=mdettweiler [2016-12-03 00:29:12] 879*2^1447541-1 is not prime. Res64: 1560A88AC157C091 Time : 0.0 sec. user=mdettweiler [2016-12-03 00:29:13] 939*2^1447541-1 is not prime. Res64: 7D309C86E784DC8D Time : 0.0 sec. user=mdettweiler [2016-12-03 00:34:03] 741*2^1447542-1 is not prime. Res64: E4613CEDC7190B95 Time : 0.0 sec. user=mdettweiler [2016-12-03 00:34:03] 873*2^1447542-1 is not prime. Res64: 6153E57C3141F48A Time : 0.0 sec. user=mdettweiler [2016-12-03 00:34:04] 885*2^1447542-1 is not prime. Res64: 34B4239722D2D703 Time : 0.0 sec. user=mdettweiler [2016-12-03 00:34:04] 673*2^1447543-1 is not prime. Res64: FC9DBE7EFD586D26 Time : 0.0 sec. user=mdettweiler [2016-12-03 00:34:04] 811*2^1447543-1 is not prime. Res64: B520298243987BD5 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:04:03] 853*2^1447543-1 is not prime. Res64: 2718DA6E0C79442D Time : 0.0 sec. user=mdettweiler [2016-12-03 01:04:05] 605*2^1447544-1 is not prime. Res64: 0847E4DBF7FD2F2A Time : 0.0 sec. user=mdettweiler [2016-12-03 01:04:07] 843*2^1447544-1 is not prime. Res64: 70FD0CFB4138932B Time : 0.0 sec. user=mdettweiler [2016-12-03 01:04:08] 915*2^1447544-1 is not prime. Res64: BE8FF8714F841C03 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:04:10] 679*2^1447545-1 is not prime. Res64: EE705C60F415FEBC Time : 0.0 sec. user=mdettweiler [2016-12-03 01:04:59] 871*2^1447545-1 is not prime. Res64: 7E885B84A0ECF0FA Time : 0.0 sec. user=mdettweiler [2016-12-03 01:05:02] 969*2^1447545-1 is not prime. Res64: 62B1468BE57A4CED Time : 0.0 sec. user=mdettweiler [2016-12-03 01:05:04] 695*2^1447546-1 is not prime. Res64: E75AC72A6560A644 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:05:06] 773*2^1447546-1 is not prime. Res64: F2FD219AC95F8BD2 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:05:07] 825*2^1447546-1 is not prime. Res64: 86D0C953954435AE Time : 0.0 sec. user=mdettweiler [2016-12-03 01:13:52] 843*2^1447546-1 is not prime. Res64: 9D0347064E36DF54 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:13:52] 987*2^1447546-1 is not prime. Res64: 026E83DC632CA390 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:13:52] 621*2^1447547-1 is not prime. Res64: 13E9217C0D7E5329 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:13:53] 631*2^1447547-1 is not prime. Res64: E6451F5161C238BA Time : 0.0 sec. user=mdettweiler [2016-12-03 01:13:53] 633*2^1447547-1 is not prime. Res64: 9EB0B1A826C3B747 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:18:53] 711*2^1447547-1 is not prime. Res64: 1E3DDEF6EF1281AF Time : 0.0 sec. user=mdettweiler [2016-12-03 01:18:53] 895*2^1447547-1 is not prime. Res64: 66BAF0404E3E0824 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:18:54] 707*2^1447548-1 is not prime. Res64: 2A85DCF9DE3313B3 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:18:54] 725*2^1447548-1 is not prime. Res64: 305F4673B3CE600C Time : 0.0 sec. user=mdettweiler [2016-12-03 01:18:54] 767*2^1447548-1 is not prime. Res64: AE354D789F279925 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:49:01] 783*2^1447548-1 is not prime. Res64: FDF53CF7CA1C5AC6 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:49:02] 795*2^1447548-1 is not prime. Res64: E03C6A90773A5985 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:49:02] 797*2^1447548-1 is not prime. Res64: 4698B96661B06733 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:49:03] 819*2^1447548-1 is not prime. Res64: E1FFD59597D30496 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:49:03] 839*2^1447548-1 is not prime. Res64: 90984B2786040F09 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:49:54] 927*2^1447548-1 is not prime. Res64: E7D7E1CDD91C5356 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:49:54] 675*2^1447549-1 is not prime. Res64: BCC4AC63C7DAE4E7 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:49:55] 729*2^1447549-1 is not prime. Res64: A648DB5CD3870922 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:49:55] 741*2^1447549-1 is not prime. Res64: 23AAE8D0ECA62412 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:49:55] 769*2^1447549-1 is not prime. Res64: D75F524AB8AD98EC Time : 0.0 sec. user=mdettweiler [2016-12-03 01:58:38] 801*2^1447549-1 is not prime. Res64: 9BB667CF7C17A5F5 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:58:38] 825*2^1447549-1 is not prime. Res64: 6E0DB9780D7B55E6 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:58:39] 877*2^1447549-1 is not prime. Res64: 41D7A264F354B3FE Time : 0.0 sec. user=mdettweiler [2016-12-03 01:58:39] 939*2^1447549-1 is not prime. Res64: 11E2141B55405F58 Time : 0.0 sec. user=mdettweiler [2016-12-03 01:58:40] 955*2^1447549-1 is not prime. Res64: D96FF99123262092 Time : 0.0 sec. user=mdettweiler [2016-12-03 02:03:37] 831*2^1447550-1 is not prime. Res64: B85AB9586B92D21C Time : 0.0 sec. user=mdettweiler [2016-12-03 02:03:38] 897*2^1447550-1 is not prime. Res64: 4FCC22B61ADC9AB2 Time : 0.0 sec. user=mdettweiler [2016-12-03 02:03:39] 917*2^1447550-1 is not prime. Res64: 2A7334066134E7AF Time : 0.0 sec. user=mdettweiler [2016-12-03 02:03:40] 927*2^1447550-1 is not prime. Res64: 08AD3849CEE94F08 Time : 0.0 sec. user=mdettweiler [2016-12-03 02:03:41] 649*2^1447551-1 is not prime. Res64: AD90E92118149F91 Time : 0.0 sec. user=mdettweiler [2016-12-03 02:33:55] 769*2^1447551-1 is not prime. Res64: CDAC7B10AC80C155 Time : 0.0 sec. user=mdettweiler [2016-12-03 02:33:56] 823*2^1447551-1 is not prime. Res64: 6D067E661746C4AF Time : 0.0 sec. user=mdettweiler [2016-12-03 02:33:57] 885*2^1447551-1 is not prime. Res64: E7B6C5EFCD104BDD Time : 0.0 sec. user=mdettweiler [2016-12-03 02:33:57] 895*2^1447551-1 is not prime. Res64: D3AAA839FD97700E Time : 0.0 sec. user=mdettweiler [2016-12-03 02:33:57] 955*2^1447551-1 is not prime. Res64: D701F9F996D3D580 Time : 0.0 sec. user=mdettweiler [2016-12-03 02:34:59] 961*2^1447551-1 is not prime. Res64: 9591B61E5CB47181 Time : 0.0 sec. user=mdettweiler [2016-12-03 02:35:00] 991*2^1447551-1 is not prime. Res64: 6548C80A35FD9290 Time : 0.0 sec. user=mdettweiler [2016-12-03 02:35:00] 743*2^1447552-1 is not prime. Res64: 677E9D04D7C1A3A2 Time : 0.0 sec. user=mdettweiler [2016-12-03 02:35:01] 803*2^1447552-1 is not prime. Res64: 656FC012427AF65B Time : 0.0 sec. user=mdettweiler [2016-12-03 02:35:01] 875*2^1447552-1 is not prime. Res64: 6BB42ECF4D0B36C4 Time : 0.0 sec. user=mdettweiler [2016-12-03 02:44:08] 939*2^1447552-1 is not prime. Res64: 3618179C04B9AD26 Time : 0.0 sec. user=mdettweiler [2016-12-03 02:44:08] 651*2^1447553-1 is not prime. Res64: 135ECA0140BA1B27 Time : 0.0 sec. user=mdettweiler [2016-12-03 02:44:08] 657*2^1447553-1 is not prime. Res64: 648348437FC996DD Time : 0.0 sec. user=mdettweiler [2016-12-03 02:44:09] 685*2^1447553-1 is not prime. Res64: 6249C9BE2A839AAA Time : 0.0 sec. user=mdettweiler [2016-12-03 02:44:09] 699*2^1447553-1 is not prime. Res64: 7AD905A9EB19836A Time : 0.0 sec. user=mdettweiler [2016-12-03 02:49:21] 789*2^1447553-1 is not prime. Res64: 131B07E80B68A59E Time : 0.0 sec. user=mdettweiler [2016-12-03 02:49:21] 885*2^1447553-1 is not prime. Res64: 548161D2FF03B655 Time : 0.0 sec. user=mdettweiler [2016-12-03 02:49:21] 633*2^1447554-1 is not prime. Res64: B98B218770E6B840 Time : 0.0 sec. user=mdettweiler [2016-12-03 02:49:22] 641*2^1447554-1 is not prime. Res64: DABFD04679CBBCD7 Time : 0.0 sec. user=mdettweiler [2016-12-03 02:49:22] 723*2^1447554-1 is not prime. Res64: BCA602149C6A00FB Time : 0.0 sec. user=mdettweiler [2016-12-03 03:19:07] 741*2^1447554-1 is not prime. Res64: A05E3AD45F6D4710 Time : 0.0 sec. user=mdettweiler [2016-12-03 03:19:07] 773*2^1447554-1 is not prime. Res64: FCC9E7F31EB82584 Time : 0.0 sec. user=mdettweiler [2016-12-03 03:19:08] 807*2^1447554-1 is not prime. Res64: 59EEC3063BFA43B2 Time : 0.0 sec. user=mdettweiler [2016-12-03 03:19:08] 873*2^1447554-1 is not prime. Res64: 71BBF134754E57F5 Time : 0.0 sec. user=mdettweiler [2016-12-03 03:19:09] 975*2^1447554-1 is not prime. Res64: 54EE85206A0EBA76 Time : 0.0 sec. user=mdettweiler [2016-12-03 03:20:33] 639*2^1447555-1 is not prime. Res64: B48277E4C9881944 Time : 0.0 sec. user=mdettweiler [2016-12-03 03:20:34] 733*2^1447555-1 is not prime. Res64: 208D41003D21C0AD Time : 0.0 sec. user=mdettweiler [2016-12-03 03:20:34] 805*2^1447555-1 is not prime. Res64: 38950A838C5EF855 Time : 0.0 sec. user=mdettweiler [2016-12-03 03:20:34] 871*2^1447555-1 is not prime. Res64: E19CDE2643F16145 Time : 0.0 sec. user=mdettweiler [2016-12-03 03:20:35] 913*2^1447555-1 is not prime. Res64: 1FDB6A395C0FC1DF Time : 0.0 sec. user=mdettweiler [2016-12-03 03:28:53] 675*2^1447556-1 is not prime. Res64: 400AD5F2AE7AD2CA Time : 0.0 sec. user=mdettweiler [2016-12-03 03:28:54] 689*2^1447556-1 is not prime. Res64: 75986E0383E8BD27 Time : 0.0 sec. user=mdettweiler [2016-12-03 03:28:55] 693*2^1447556-1 is not prime. Res64: B5213DC8E0C6D0DF Time : 0.0 sec. user=mdettweiler [2016-12-03 03:28:56] 699*2^1447556-1 is not prime. Res64: 8E1DA551BB3395D7 Time : 0.0 sec. user=mdettweiler [2016-12-03 03:28:57] 743*2^1447556-1 is not prime. Res64: 2FD3DFBE70942E74 Time : 0.0 sec. user=mdettweiler [2016-12-03 03:34:10] 813*2^1447556-1 is not prime. Res64: E85FA1B961044E45 Time : 0.0 sec. user=mdettweiler [2016-12-03 03:34:12] 855*2^1447556-1 is not prime. Res64: 5784D227E3304D39 Time : 0.0 sec. user=mdettweiler [2016-12-03 03:34:15] 897*2^1447556-1 is not prime. Res64: 66ABC89C11D00039 Time : 0.0 sec. user=mdettweiler [2016-12-03 03:34:16] 945*2^1447556-1 is not prime. Res64: 8A57AB868FC57797 Time : 0.0 sec. user=mdettweiler [2016-12-03 03:34:18] 649*2^1447557-1 is not prime. Res64: 171BDEB6B6BE7458 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:04:06] 847*2^1447557-1 is not prime. Res64: 9CA6357B5956AC0E Time : 0.0 sec. user=mdettweiler [2016-12-03 04:04:08] 867*2^1447557-1 is not prime. Res64: FC9BDB200A1090A1 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:04:09] 945*2^1447557-1 is not prime. Res64: 0729145F2D6708B0 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:04:10] 611*2^1447558-1 is not prime. Res64: E8D2FD9EED55086E Time : 0.0 sec. user=mdettweiler [2016-12-03 04:04:11] 621*2^1447558-1 is not prime. Res64: 9B329B9672069665 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:05:30] 657*2^1447558-1 is not prime. Res64: EA419F7BC87AB973 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:05:32] 663*2^1447558-1 is not prime. Res64: 1C3D206546086851 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:05:33] 737*2^1447558-1 is not prime. Res64: 28091E87005D87A3 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:05:34] 755*2^1447558-1 is not prime. Res64: AC9037ABDA8D93E9 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:05:35] 833*2^1447558-1 is not prime. Res64: 6D821B3DFF0D4526 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:13:55] 915*2^1447558-1 is not prime. Res64: D202AE6459E56420 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:13:55] 951*2^1447558-1 is not prime. Res64: FCCD32212E529C3F Time : 0.0 sec. user=mdettweiler [2016-12-03 04:13:56] 981*2^1447558-1 is not prime. Res64: F3E60CE385FDBF6B Time : 0.0 sec. user=mdettweiler [2016-12-03 04:13:56] 987*2^1447558-1 is not prime. Res64: D78E2284B93C5CC4 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:13:56] 615*2^1447559-1 is not prime. Res64: 876260DEAC66FF64 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:19:16] 663*2^1447559-1 is not prime. Res64: 0B47B30C9C7A3962 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:19:16] 711*2^1447559-1 is not prime. Res64: DF2644121ACE9FF2 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:19:17] 721*2^1447559-1 is not prime. Res64: A186B83837FA897F Time : 0.0 sec. user=mdettweiler [2016-12-03 04:19:17] 729*2^1447559-1 is not prime. Res64: C384B8AC7058A382 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:19:18] 825*2^1447559-1 is not prime. Res64: 0547F5EFFB390A78 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:49:05] 859*2^1447559-1 is not prime. Res64: B0E33DBA3185ECCC Time : 0.0 sec. user=mdettweiler [2016-12-03 04:49:06] 861*2^1447559-1 is not prime. Res64: 05E1066CCA417AED Time : 0.0 sec. user=mdettweiler [2016-12-03 04:49:06] 629*2^1447560-1 is not prime. Res64: 31C592FA3F5ACF45 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:49:07] 693*2^1447560-1 is not prime. Res64: 4C535120BE0B67E2 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:49:07] 849*2^1447560-1 is not prime. Res64: 1431E2DF7256C2CE Time : 0.0 sec. user=mdettweiler [2016-12-03 04:50:39] 863*2^1447560-1 is not prime. Res64: F447AD838A95F90F Time : 0.0 sec. user=mdettweiler [2016-12-03 04:50:39] 909*2^1447560-1 is not prime. Res64: 1077D9AC2D8E3716 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:50:39] 923*2^1447560-1 is not prime. Res64: CB1C9FCA90B337E6 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:50:40] 975*2^1447560-1 is not prime. Res64: 91737F614B8AEFA0 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:50:40] 609*2^1447561-1 is not prime. Res64: 607ADE1903ECB3C2 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:58:54] 745*2^1447561-1 is not prime. Res64: 9E5021EE0B48AE08 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:58:54] 799*2^1447561-1 is not prime. Res64: A84E63B2759CE536 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:58:55] 945*2^1447561-1 is not prime. Res64: FF2AAD6AD0FE3F81 Time : 0.0 sec. user=mdettweiler [2016-12-03 04:58:55] 603*2^1447562-1 is not prime. Res64: CF445377B925CBBE Time : 0.0 sec. user=mdettweiler [2016-12-03 04:58:55] 701*2^1447562-1 is not prime. Res64: EC923D7F46C827DF Time : 0.0 sec. user=mdettweiler [2016-12-03 05:04:08] 755*2^1447562-1 is not prime. Res64: 8B343AD8E09306F8 Time : 0.0 sec. user=mdettweiler [2016-12-03 05:04:09] 815*2^1447562-1 is not prime. Res64: 1BBB1FFB3D0C799E Time : 0.0 sec. user=mdettweiler [2016-12-03 05:04:10] 873*2^1447562-1 is not prime. Res64: 19FE229238FEC548 Time : 0.0 sec. user=mdettweiler [2016-12-03 05:04:10] 609*2^1447563-1 is not prime. Res64: E305E7C97A27F7A6 Time : 0.0 sec. user=mdettweiler [2016-12-03 05:04:11] 621*2^1447563-1 is not prime. Res64: 5E11BEC6C7389EEF Time : 0.0 sec. user=mdettweiler [2016-12-03 05:34:11] 703*2^1447563-1 is not prime. Res64: 3346E7F851DB2AD1 Time : 0.0 sec. user=mdettweiler [2016-12-03 05:34:11] 765*2^1447563-1 is not prime. Res64: 9BDFBC1D708B281E Time : 0.0 sec. user=mdettweiler [2016-12-03 05:34:12] 835*2^1447563-1 is not prime. Res64: AC46D1CF62E48962 Time : 0.0 sec. user=mdettweiler [2016-12-03 05:34:12] 879*2^1447563-1 is not prime. Res64: C30F15128DDEC93D Time : 0.0 sec. user=mdettweiler [2016-12-03 05:34:12] 895*2^1447563-1 is not prime. Res64: C6F57A89775C783E Time : 0.0 sec. user=mdettweiler [2016-12-03 05:35:44] 765*2^1447564-1 is not prime. Res64: 468888C4DB84D3BA Time : 0.0 sec. user=mdettweiler [2016-12-03 05:35:45] 927*2^1447564-1 is not prime. Res64: EF7E0C414FDEA09A Time : 0.0 sec. user=mdettweiler [2016-12-03 05:35:45] 715*2^1447565-1 is not prime. Res64: 2166CBD7054EBEEC Time : 0.0 sec. user=mdettweiler [2016-12-03 05:35:45] 721*2^1447565-1 is not prime. Res64: 80E8484111D782A3 Time : 0.0 sec. user=mdettweiler [2016-12-03 05:35:46] 727*2^1447565-1 is not prime. Res64: D29B2248EBB9B911 Time : 0.0 sec. user=mdettweiler [2016-12-03 05:43:52] 831*2^1447565-1 is not prime. Res64: 96812C7135AA18DB Time : 0.0 sec. user=mdettweiler [2016-12-03 05:43:52] 711*2^1447566-1 is not prime. Res64: 3FD33E53B0EFEE8C Time : 0.0 sec. user=mdettweiler [2016-12-03 05:43:53] 765*2^1447566-1 is not prime. Res64: 9A64EF58B5105E7A Time : 0.0 sec. user=mdettweiler [2016-12-03 05:43:53] 767*2^1447566-1 is not prime. Res64: 43A833715CBAC79A Time : 0.0 sec. user=mdettweiler [2016-12-03 05:43:54] 783*2^1447566-1 is not prime. Res64: 627C73BA59DE1EEF Time : 0.0 sec. user=mdettweiler [2016-12-03 05:49:08] 851*2^1447566-1 is not prime. Res64: 7D10788F3B0C3B77 Time : 0.0 sec. user=mdettweiler [2016-12-03 05:49:08] 921*2^1447566-1 is not prime. Res64: 2982FE9BB7334E7C Time : 0.0 sec. user=mdettweiler [2016-12-03 05:49:09] 993*2^1447566-1 is not prime. Res64: 4FA321F95A07AE3B Time : 0.0 sec. user=mdettweiler [2016-12-03 05:49:09] 615*2^1447567-1 is not prime. Res64: E920502BBF435CB4 Time : 0.0 sec. user=mdettweiler [2016-12-03 05:49:09] 625*2^1447567-1 is not prime. Res64: 614A69883A6D957A Time : 0.0 sec. user=mdettweiler [2016-12-03 06:19:10] 649*2^1447567-1 is not prime. Res64: 7179E602949EC6BC Time : 0.0 sec. user=mdettweiler [2016-12-03 06:19:10] 715*2^1447567-1 is not prime. Res64: 7B4EE6851CAABB1F Time : 0.0 sec. user=mdettweiler [2016-12-03 06:19:11] 769*2^1447567-1 is not prime. Res64: 7040636926918CD8 Time : 0.0 sec. user=mdettweiler [2016-12-03 06:19:11] 677*2^1447568-1 is not prime. Res64: FD4DCAE80216CB85 Time : 0.0 sec. user=mdettweiler [2016-12-03 06:19:11] 819*2^1447568-1 is not prime. Res64: D9608C31B7029027 Time : 0.0 sec. user=mdettweiler [2016-12-03 06:20:30] 897*2^1447568-1 is not prime. Res64: 83DAF72484F236AA Time : 0.0 sec. user=mdettweiler [2016-12-03 06:20:30] 609*2^1447569-1 is not prime. Res64: 9DF8C9A823510801 Time : 0.0 sec. user=mdettweiler [2016-12-03 06:20:30] 615*2^1447569-1 is not prime. Res64: 7C15FE46D7CF01E9 Time : 0.0 sec. user=mdettweiler [2016-12-03 06:20:31] 865*2^1447569-1 is not prime. Res64: 5F5024A369C0452A Time : 0.0 sec. user=mdettweiler [2016-12-03 06:20:31] 921*2^1447569-1 is not prime. Res64: CDCBB00F3A02A677 Time : 0.0 sec. user=mdettweiler [2016-12-03 06:28:47] 979*2^1447569-1 is not prime. Res64: 23F47ACAAC03A306 Time : 0.0 sec. user=mdettweiler [2016-12-03 06:28:48] 611*2^1447570-1 is not prime. Res64: C3A77F89826F3431 Time : 0.0 sec. user=mdettweiler [2016-12-03 06:28:48] 765*2^1447570-1 is not prime. Res64: DC2B262A0C35E1D4 Time : 0.0 sec. user=mdettweiler [2016-12-03 06:28:48] 803*2^1447570-1 is not prime. Res64: E567896D84DA26F4 Time : 0.0 sec. user=mdettweiler [2016-12-03 06:28:49] 843*2^1447570-1 is not prime. Res64: FFACD71CCE08A341 Time : 0.0 sec. user=mdettweiler [2016-12-03 06:34:02] 861*2^1447570-1 is not prime. Res64: A6CABF9560A361F6 Time : 0.0 sec. user=mdettweiler [2016-12-03 06:34:02] 873*2^1447570-1 is not prime. Res64: D2238F9B1B0380D5 Time : 0.0 sec. user=mdettweiler [2016-12-03 06:34:03] 735*2^1447571-1 is not prime. Res64: D7B117D357CB3AF9 Time : 0.0 sec. user=mdettweiler [2016-12-03 06:34:03] 913*2^1447571-1 is not prime. Res64: 99351E53B2C3015D Time : 0.0 sec. user=mdettweiler [2016-12-03 06:34:03] 939*2^1447571-1 is not prime. Res64: 823DEA003AE68483 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:04:07] 943*2^1447571-1 is not prime. Res64: 75A056B7FF8104BF Time : 0.0 sec. user=mdettweiler [2016-12-03 07:04:08] 993*2^1447571-1 is not prime. Res64: 62FAFA11D5CD23AF Time : 0.0 sec. user=mdettweiler [2016-12-03 07:04:09] 635*2^1447572-1 is not prime. Res64: 529CA51AD9B2FC98 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:04:10] 695*2^1447572-1 is not prime. Res64: D5131D3A0B49B28C Time : 0.0 sec. user=mdettweiler [2016-12-03 07:04:11] 749*2^1447572-1 is not prime. Res64: 654191149B75A138 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:05:37] 765*2^1447572-1 is not prime. Res64: 78B973ABB6FBCF2D Time : 0.0 sec. user=mdettweiler [2016-12-03 07:05:39] 797*2^1447572-1 is not prime. Res64: 40214895EE8F0DE6 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:05:39] 893*2^1447572-1 is not prime. Res64: 8D635007F0775918 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:05:40] 649*2^1447573-1 is not prime. Res64: 4868B9B17EAED4D4 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:05:41] 685*2^1447573-1 is not prime. Res64: 5B36B37FB2C38C89 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:13:49] 751*2^1447573-1 is not prime. Res64: DAEF766BEB199984 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:13:49] 831*2^1447573-1 is not prime. Res64: 7B0DFE2845E06BC0 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:13:49] 861*2^1447573-1 is not prime. Res64: 978DE0979D19CC25 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:13:50] 945*2^1447573-1 is not prime. Res64: E087514A5014F75D Time : 0.0 sec. user=mdettweiler [2016-12-03 07:13:50] 955*2^1447573-1 is not prime. Res64: 8E38CE48AF021C38 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:18:52] 671*2^1447574-1 is not prime. Res64: 109D9019F42E7590 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:18:52] 707*2^1447574-1 is not prime. Res64: CE0B618E193B596B Time : 0.0 sec. user=mdettweiler [2016-12-03 07:18:52] 755*2^1447574-1 is not prime. Res64: 4155A7EA9CCA34A3 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:18:53] 797*2^1447574-1 is not prime. Res64: 16DF8CF14E4E4D73 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:18:53] 851*2^1447574-1 is not prime. Res64: 6B779CE1AD47E27D Time : 0.0 sec. user=mdettweiler [2016-12-03 07:48:54] 935*2^1447574-1 is not prime. Res64: 6457FE8ED2A4B3EA Time : 0.0 sec. user=mdettweiler [2016-12-03 07:48:55] 981*2^1447574-1 is not prime. Res64: 3AF8DECDE2350A14 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:48:55] 633*2^1447575-1 is not prime. Res64: DBD26F1D1ABD126A Time : 0.0 sec. user=mdettweiler [2016-12-03 07:48:55] 709*2^1447575-1 is not prime. Res64: 67E57BD6D8884C6B Time : 0.0 sec. user=mdettweiler [2016-12-03 07:48:56] 751*2^1447575-1 is not prime. Res64: 83FF4B27F12FB765 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:50:25] 783*2^1447575-1 is not prime. Res64: 481E9F2BB0A54BCF Time : 0.0 sec. user=mdettweiler [2016-12-03 07:50:26] 829*2^1447575-1 is not prime. Res64: 8D937B9D7D33F4F1 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:50:26] 849*2^1447575-1 is not prime. Res64: 0B8F8825CBC60F4C Time : 0.0 sec. user=mdettweiler [2016-12-03 07:50:26] 853*2^1447575-1 is not prime. Res64: 95160B1896877728 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:50:27] 871*2^1447575-1 is not prime. Res64: 4148AFE3494E2DC8 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:58:33] 777*2^1447576-1 is not prime. Res64: 53794FCD708E03B1 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:58:33] 845*2^1447576-1 is not prime. Res64: BC8E00C4CFFD2740 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:58:33] 887*2^1447576-1 is not prime. Res64: 528264BF6401F312 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:58:34] 933*2^1447576-1 is not prime. Res64: A8D4A96DE15E9E94 Time : 0.0 sec. user=mdettweiler [2016-12-03 07:58:34] 601*2^1447577-1 is not prime. Res64: EBBAD0CCD23D6943 Time : 0.0 sec. user=mdettweiler [2016-12-03 08:03:42] 637*2^1447577-1 is not prime. Res64: 70F6D84E39A5D1A9 Time : 0.0 sec. user=mdettweiler [2016-12-03 08:03:43] 645*2^1447577-1 is not prime. Res64: A4AE2C90945FB21A Time : 0.0 sec. user=mdettweiler [2016-12-03 08:03:44] 691*2^1447577-1 is not prime. Res64: 66E07D1753F97E37 Time : 0.0 sec. user=mdettweiler [2016-12-03 08:03:46] 879*2^1447577-1 is not prime. Res64: 18A24107C7AF3246 Time : 0.0 sec. user=mdettweiler [2016-12-03 08:03:47] 937*2^1447577-1 is not prime. Res64: 9762F20853FF72A2 Time : 0.0 sec. user=mdettweiler [2016-12-03 08:33:50] 641*2^1447578-1 is not prime. Res64: 70D8547AFBC1CF26 Time : 0.0 sec. user=mdettweiler [2016-12-03 08:33:50] 705*2^1447578-1 is not prime. Res64: 0D66139E4BABCB44 Time : 0.0 sec. user=mdettweiler [2016-12-03 08:33:51] 893*2^1447578-1 is not prime. Res64: E6875EBE6F96BE02 Time : 0.0 sec. user=mdettweiler [2016-12-03 08:33:51] 923*2^1447578-1 is not prime. Res64: 46E7E68B1BF8A4A3 Time : 0.0 sec. user=mdettweiler [2016-12-03 08:33:51] 945*2^1447578-1 is not prime. Res64: 93F0F34BDAA228CC Time : 0.0 sec. user=mdettweiler [2016-12-03 08:35:18] 963*2^1447578-1 is not prime. Res64: DF9726B65BCE079F Time : 0.0 sec. user=mdettweiler [2016-12-03 08:35:18] 681*2^1447579-1 is not prime. Res64: A524FB5311B2B44D Time : 0.0 sec. user=mdettweiler [2016-12-03 08:35:19] 691*2^1447579-1 is not prime. Res64: 6472774ED4997491 Time : 0.0 sec. user=mdettweiler [2016-12-03 08:35:19] 693*2^1447579-1 is not prime. Res64: 2D586F1C620EA59D Time : 0.0 sec. user=mdettweiler [2016-12-03 08:35:20] 745*2^1447579-1 is not prime. Res64: 2086859081EB77B7 Time : 0.0 sec. user=mdettweiler [2016-12-03 08:43:31] 793*2^1447579-1 is not prime. Res64: D48C4E1E9611BBC5 Time : 0.0 sec. user=mdettweiler [2016-12-03 08:43:32] 801*2^1447579-1 is not prime. Res64: FA4789458D00ED2F Time : 0.0 sec. user=mdettweiler [2016-12-03 08:43:32] 853*2^1447579-1 is not prime. Res64: C14A1439EAF5EB32 Time : 0.0 sec. user=mdettweiler [2016-12-03 08:43:33] 895*2^1447579-1 is not prime. Res64: FD802D2C7DAAC8D9 Time : 0.0 sec. user=mdettweiler [2016-12-03 08:43:33] 969*2^1447579-1 is not prime. Res64: 55FF1991DF484AA7 Time : 0.0 sec. user=mdettweiler [2016-12-03 08:48:50] 635*2^1447580-1 is not prime. Res64: 351095C9BA640CBC Time : 0.0 sec. user=mdettweiler [2016-12-03 08:48:50] 663*2^1447580-1 is not prime. Res64: C2979D7E2BC32EA1 Time : 0.0 sec. user=mdettweiler [2016-12-03 08:48:50] 677*2^1447580-1 is not prime. Res64: FDCFBA016980C379 Time : 0.0 sec. user=mdettweiler [2016-12-03 08:48:51] 819*2^1447580-1 is not prime. Res64: 158525D57F92A834 Time : 0.0 sec. user=mdettweiler [2016-12-03 08:48:51] 855*2^1447580-1 is not prime. Res64: A67137502E89A36E Time : 0.0 sec. user=mdettweiler [2016-12-03 09:18:49] 875*2^1447580-1 is not prime. Res64: 6B7D7DFA4CFEB57D Time : 0.0 sec. user=mdettweiler [2016-12-03 09:18:49] 977*2^1447580-1 is not prime. Res64: 467F17EF0E73B16E Time : 0.0 sec. user=mdettweiler [2016-12-03 09:18:50] 983*2^1447580-1 is not prime. Res64: D6D6CC68E9594B26 Time : 0.0 sec. user=mdettweiler [2016-12-03 09:18:50] 609*2^1447581-1 is not prime. Res64: CC6B4091912B3A49 Time : 0.0 sec. user=mdettweiler [2016-12-03 09:18:51] 685*2^1447581-1 is not prime. Res64: 8A565C3090407AD5 Time : 0.0 sec. user=mdettweiler [2016-12-03 09:20:02] 691*2^1447581-1 is not prime. Res64: 312F7BD9EE548A8B Time : 0.0 sec. user=mdettweiler [2016-12-03 09:20:03] 741*2^1447581-1 is not prime. Res64: B0CBF91DE494EB19 Time : 0.0 sec. user=mdettweiler [2016-12-03 09:20:03] 781*2^1447581-1 is not prime. Res64: 405DF6BFF51889A6 Time : 0.0 sec. user=mdettweiler [2016-12-03 09:20:03] 975*2^1447581-1 is not prime. Res64: 3A32E32D4908D095 Time : 0.0 sec. user=mdettweiler [2016-12-03 09:20:04] 999*2^1447581-1 is not prime. Res64: F5623D12EA3E51C4 Time : 0.0 sec. user=mdettweiler [2016-12-03 09:28:27] 647*2^1447582-1 is not prime. Res64: 2E505EF742C913AF Time : 0.0 sec. user=mdettweiler [2016-12-03 09:28:27] 713*2^1447582-1 is not prime. Res64: 7699C5B723DF89AB Time : 0.0 sec. user=mdettweiler [2016-12-03 09:28:28] 741*2^1447582-1 is not prime. Res64: 8D950EA6C006B7F7 Time : 0.0 sec. user=mdettweiler [2016-12-03 09:28:28] 743*2^1447582-1 is not prime. Res64: 4B46A4E45FC1AA3F Time : 0.0 sec. user=mdettweiler [2016-12-03 09:28:29] 821*2^1447582-1 is not prime. Res64: 4B423145A3A9BF30 Time : 0.0 sec. user=mdettweiler [2016-12-03 09:33:51] 891*2^1447582-1 is not prime. Res64: 811977272D298570 Time : 0.0 sec. user=mdettweiler [2016-12-03 09:33:51] 915*2^1447582-1 is not prime. Res64: F2BE6C226953BA01 Time : 0.0 sec. user=mdettweiler [2016-12-03 09:33:52] 951*2^1447582-1 is not prime. Res64: EF9D6ABDCF9C83A1 Time : 0.0 sec. user=mdettweiler [2016-12-03 09:33:52] 615*2^1447583-1 is not prime. Res64: 3C9723AF7E690099 Time : 0.0 sec. user=mdettweiler [2016-12-03 09:33:52] 703*2^1447583-1 is not prime. Res64: 101082AB0B30EF0D Time : 0.0 sec. user=mdettweiler [2016-12-03 10:03:44] 715*2^1447583-1 is not prime. Res64: AAECF5D769DF3B2E Time : 0.0 sec. user=mdettweiler [2016-12-03 10:03:45] 735*2^1447583-1 is not prime. Res64: 247DF6E6BF70A6C2 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:03:46] 741*2^1447583-1 is not prime. Res64: 4BA99591F6BD064E Time : 0.0 sec. user=mdettweiler [2016-12-03 10:03:47] 771*2^1447583-1 is not prime. Res64: 64BBDF1792EF8E32 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:03:48] 789*2^1447583-1 is not prime. Res64: 0B5A0E514EF2258E Time : 0.0 sec. user=mdettweiler [2016-12-03 10:05:01] 871*2^1447583-1 is not prime. Res64: 2F9D5CA32C5732F0 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:05:02] 945*2^1447583-1 is not prime. Res64: 660511FD3F22F716 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:05:03] 973*2^1447583-1 is not prime. Res64: 71AF7F8A03B56FEF Time : 0.0 sec. user=mdettweiler [2016-12-03 10:05:04] 635*2^1447584-1 is not prime. Res64: D6B0F48D05733EFF Time : 0.0 sec. user=mdettweiler [2016-12-03 10:05:05] 767*2^1447584-1 is not prime. Res64: 45AF869E2CE9A6C9 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:13:33] 873*2^1447584-1 is not prime. Res64: D896F36A618C716A Time : 0.0 sec. user=mdettweiler [2016-12-03 10:13:33] 875*2^1447584-1 is not prime. Res64: A14E6B4B08F10CB2 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:13:34] 927*2^1447584-1 is not prime. Res64: 908C4CAA6A874C09 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:13:34] 947*2^1447584-1 is not prime. Res64: E89A5C215FFEC6DE Time : 0.0 sec. user=mdettweiler [2016-12-03 10:13:34] 983*2^1447584-1 is not prime. Res64: 87B3E7B2215F39D0 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:18:49] 685*2^1447585-1 is not prime. Res64: 3957FAC6FDB71F1B Time : 0.0 sec. user=mdettweiler [2016-12-03 10:18:49] 771*2^1447585-1 is not prime. Res64: 98303107113B4410 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:18:49] 777*2^1447585-1 is not prime. Res64: 66CE28382C1FE311 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:18:50] 919*2^1447585-1 is not prime. Res64: DA36F2DC247733E7 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:18:50] 987*2^1447585-1 is not prime. Res64: 3475CD26E1D48551 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:48:47] 627*2^1447586-1 is not prime. Res64: AF4E39BC2E4BEE17 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:48:47] 633*2^1447586-1 is not prime. Res64: 6C59B81DCF0553C0 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:48:47] 783*2^1447586-1 is not prime. Res64: 7CC58B5574875F87 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:48:48] 833*2^1447586-1 is not prime. Res64: 5D8C4E00ED428973 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:48:48] 837*2^1447586-1 is not prime. Res64: 01356C47507FCCB2 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:49:43] 935*2^1447586-1 is not prime. Res64: 12E10FDAF242AD56 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:49:43] 981*2^1447586-1 is not prime. Res64: 28188227FF396303 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:49:44] 639*2^1447587-1 is not prime. Res64: 1DEE3DBCA9AADFEF Time : 0.0 sec. user=mdettweiler [2016-12-03 10:49:44] 643*2^1447587-1 is not prime. Res64: 8F376906F2467495 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:49:44] 669*2^1447587-1 is not prime. Res64: 1B04855769CD5E31 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:58:19] 711*2^1447587-1 is not prime. Res64: 2FBE79D8FD129C3A Time : 0.0 sec. user=mdettweiler [2016-12-03 10:58:19] 735*2^1447587-1 is not prime. Res64: 7AEA2327AC4E9A1D Time : 0.0 sec. user=mdettweiler [2016-12-03 10:58:20] 795*2^1447587-1 is not prime. Res64: D3F400F16F47D8A4 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:58:20] 825*2^1447587-1 is not prime. Res64: 1810E26D1F5681B9 Time : 0.0 sec. user=mdettweiler [2016-12-03 10:58:20] 973*2^1447587-1 is not prime. Res64: F89C42CA560344DE Time : 0.0 sec. user=mdettweiler [2016-12-03 11:03:36] 647*2^1447588-1 is not prime. Res64: 76E1BA56B223E375 Time : 0.0 sec. user=mdettweiler [2016-12-03 11:03:38] 657*2^1447588-1 is not prime. Res64: C0F0673D6FF88CD4 Time : 0.0 sec. user=mdettweiler [2016-12-03 11:03:39] 743*2^1447588-1 is not prime. Res64: A8120B3C10EC718F Time : 0.0 sec. user=mdettweiler [2016-12-03 11:03:40] 773*2^1447588-1 is not prime. Res64: 4ECBB58C730D9EFC Time : 0.0 sec. user=mdettweiler [2016-12-03 11:03:41] 855*2^1447588-1 is not prime. Res64: B4C4BE06CA471672 Time : 0.0 sec. user=mdettweiler [2016-12-03 11:33:53] 927*2^1447588-1 is not prime. Res64: 5BF6AFAAE505DBFF Time : 0.0 sec. user=mdettweiler [2016-12-03 11:33:53] 933*2^1447588-1 is not prime. Res64: EBFE06C5A7CB4FE0 Time : 0.0 sec. user=mdettweiler [2016-12-03 11:33:54] 995*2^1447588-1 is not prime. Res64: F1FF43EF3ED60EEC Time : 0.0 sec. user=mdettweiler [2016-12-03 11:33:54] 999*2^1447588-1 is not prime. Res64: A437C69BA6A81DF1 Time : 0.0 sec. user=mdettweiler [2016-12-03 11:33:54] 649*2^1447589-1 is not prime. Res64: 61441F1F171A9006 Time : 0.0 sec. user=mdettweiler [2016-12-03 11:34:36] 657*2^1447589-1 is not prime. Res64: 72C224C0C89511B1 Time : 0.0 sec. user=mdettweiler [2016-12-03 11:34:36] 721*2^1447589-1 is not prime. Res64: 28CDE7010AE38AC3 Time : 0.0 sec. user=mdettweiler [2016-12-03 11:34:36] 745*2^1447589-1 is not prime. Res64: 87F7163BA98F0869 Time : 0.0 sec. user=mdettweiler [2016-12-03 11:34:37] 769*2^1447589-1 is not prime. Res64: D547EE7AEF4D004E Time : 0.0 sec. user=mdettweiler [2016-12-03 11:34:37] 819*2^1447589-1 is not prime. Res64: 52C9985C3CD37C5A Time : 0.0 sec. user=mdettweiler [2016-12-03 11:43:14] 825*2^1447589-1 is not prime. Res64: 888313D1298E21EF Time : 0.0 sec. user=mdettweiler [2016-12-03 11:43:15] 955*2^1447589-1 is not prime. Res64: FB91208A5DFD0ED9 Time : 0.0 sec. user=mdettweiler [2016-12-03 11:43:15] 791*2^1447590-1 is not prime. Res64: DCAD551B98A475F0 Time : 0.0 sec. user=mdettweiler [2016-12-03 11:43:16] 873*2^1447590-1 is not prime. Res64: 1815FB0D6A1EB8AB Time : 0.0 sec. user=mdettweiler [2016-12-03 11:43:16] 885*2^1447590-1 is not prime. Res64: 5A16AB318FBFB3E0 Time : 0.0 sec. user=mdettweiler [2016-12-03 11:49:02] 921*2^1447590-1 is not prime. Res64: 3FB69552DA56B61F Time : 0.0 sec. user=mdettweiler [2016-12-03 11:49:02] 977*2^1447590-1 is not prime. Res64: 0B620332EACC3459 Time : 0.0 sec. user=mdettweiler [2016-12-03 11:49:03] 709*2^1447591-1 is not prime. Res64: BFA030777E89FB0E Time : 0.0 sec. user=mdettweiler [2016-12-03 11:49:03] 759*2^1447591-1 is not prime. Res64: E1AC8FB5EC49A8DF Time : 0.0 sec. user=mdettweiler [2016-12-03 11:49:03] 783*2^1447591-1 is not prime. Res64: 04198D7AC4E2799D Time : 0.0 sec. user=mdettweiler [2016-12-03 12:18:41] 859*2^1447591-1 is not prime. Res64: CC76B8EDF52E02F7 Time : 0.0 sec. user=mdettweiler [2016-12-03 12:18:42] 861*2^1447591-1 is not prime. Res64: 223B2A29B7C14BD1 Time : 0.0 sec. user=mdettweiler [2016-12-03 12:18:42] 743*2^1447592-1 is not prime. Res64: 695A5EE6057D0967 Time : 0.0 sec. user=mdettweiler [2016-12-03 12:18:43] 803*2^1447592-1 is not prime. Res64: F76F426C683B4916 Time : 0.0 sec. user=mdettweiler [2016-12-03 12:18:43] 813*2^1447592-1 is not prime. Res64: 67B45102D10A8206 Time : 0.0 sec. user=mdettweiler [2016-12-03 12:19:25] 825*2^1447592-1 is not prime. Res64: B61B33E8702FA724 Time : 0.0 sec. user=mdettweiler [2016-12-03 12:19:26] 691*2^1447593-1 is not prime. Res64: 7738F761D75A93E2 Time : 0.0 sec. user=mdettweiler [2016-12-03 12:19:27] 937*2^1447593-1 is not prime. Res64: E74B21D9B68154B4 Time : 0.0 sec. user=mdettweiler [2016-12-03 12:19:27] 611*2^1447594-1 is not prime. Res64: F9505097AD035727 Time : 0.0 sec. user=mdettweiler [2016-12-03 12:19:28] 825*2^1447594-1 is not prime. Res64: 57921FC9FD4C4867 Time : 0.0 sec. user=mdettweiler [2016-12-03 12:28:03] 833*2^1447594-1 is not prime. Res64: 8FFAD3A246B1F150 Time : 0.0 sec. user=mdettweiler [2016-12-03 12:28:04] 885*2^1447594-1 is not prime. Res64: 24A27B420377851B Time : 0.0 sec. user=mdettweiler [2016-12-03 12:28:04] 887*2^1447594-1 is not prime. Res64: 1D71681DC778B3AA Time : 0.0 sec. user=mdettweiler [2016-12-03 12:28:04] 609*2^1447595-1 is not prime. Res64: F11AFE80398FAAEC Time : 0.0 sec. user=mdettweiler [2016-12-03 12:28:05] 645*2^1447595-1 is not prime. Res64: 5265BADCCC5DBC62 Time : 0.0 sec. user=mdettweiler [2016-12-03 12:33:58] 783*2^1447595-1 is not prime. Res64: 5BF73D122D8BB511 Time : 0.0 sec. user=mdettweiler [2016-12-03 12:33:59] 789*2^1447595-1 is not prime. Res64: 386CD50E34789DE5 Time : 0.0 sec. user=mdettweiler [2016-12-03 12:33:59] 801*2^1447595-1 is not prime. Res64: DE086DA7D5DF5704 Time : 0.0 sec. user=mdettweiler [2016-12-03 12:34:00] 843*2^1447595-1 is not prime. Res64: E120863E780B8DA0 Time : 0.0 sec. user=mdettweiler [2016-12-03 12:34:00] 855*2^1447595-1 is not prime. Res64: BC3CDA22DDE90AE3 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:03:25] 889*2^1447595-1 is not prime. Res64: 5CCC6589C5641391 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:03:26] 939*2^1447595-1 is not prime. Res64: 553141DB8D3E12BC Time : 0.0 sec. user=mdettweiler [2016-12-03 13:03:27] 949*2^1447595-1 is not prime. Res64: 29EAA1636CF4871D Time : 0.0 sec. user=mdettweiler [2016-12-03 13:03:28] 623*2^1447596-1 is not prime. Res64: 4AE7419FE89B731F Time : 0.0 sec. user=mdettweiler [2016-12-03 13:03:29] 653*2^1447596-1 is not prime. Res64: AEFA31D3D4B6B7F9 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:04:03] 803*2^1447596-1 is not prime. Res64: E9030E44A5B71E42 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:04:04] 887*2^1447596-1 is not prime. Res64: 9E773DA6D64CB494 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:04:05] 909*2^1447596-1 is not prime. Res64: 3E2C5284E1810776 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:04:06] 945*2^1447596-1 is not prime. Res64: 101F5DC1A9038E7D Time : 0.0 sec. user=mdettweiler [2016-12-03 13:04:07] 805*2^1447597-1 is not prime. Res64: BF9DB58AAB4B204B Time : 0.0 sec. user=mdettweiler [2016-12-03 13:12:48] 817*2^1447597-1 is not prime. Res64: 1A7F0F3FD6BA4956 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:12:48] 819*2^1447597-1 is not prime. Res64: 3C181F1C7326B673 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:12:48] 861*2^1447597-1 is not prime. Res64: 7E857D1967163AF8 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:12:49] 937*2^1447597-1 is not prime. Res64: 5605AEE29D91C205 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:12:49] 753*2^1447598-1 is not prime. Res64: 94D88866FC9F153F Time : 0.0 sec. user=mdettweiler [2016-12-03 13:18:36] 771*2^1447598-1 is not prime. Res64: 3F03CEB15DCF9BC3 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:18:36] 875*2^1447598-1 is not prime. Res64: 967D7C8876892195 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:18:36] 915*2^1447598-1 is not prime. Res64: A1374B53D14512D2 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:18:37] 971*2^1447598-1 is not prime. Res64: AA51235789D693C8 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:18:37] 609*2^1447599-1 is not prime. Res64: 2A5474F14B61A86B Time : 0.0 sec. user=mdettweiler [2016-12-03 13:48:17] 693*2^1447599-1 is not prime. Res64: 4A0D411208DD07D7 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:48:17] 895*2^1447599-1 is not prime. Res64: C7E14C23B654820F Time : 0.0 sec. user=mdettweiler [2016-12-03 13:48:18] 919*2^1447599-1 is not prime. Res64: 9153373FEBBA8B85 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:48:18] 629*2^1447600-1 is not prime. Res64: F6FCDC294560C685 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:48:18] 695*2^1447600-1 is not prime. Res64: 5EF585086232F493 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:48:58] 719*2^1447600-1 is not prime. Res64: 08A89F905BB42D81 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:48:58] 765*2^1447600-1 is not prime. Res64: B2B4D6AA0927F559 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:48:59] 773*2^1447600-1 is not prime. Res64: 294A6263C1D87041 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:48:59] 939*2^1447600-1 is not prime. Res64: A6CDDC2A681A89E5 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:48:59] 631*2^1447601-1 is not prime. Res64: A8C1A0D040122CBA Time : 0.0 sec. user=mdettweiler [2016-12-03 13:57:41] 645*2^1447601-1 is not prime. Res64: 1C246C1769B12644 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:57:42] 741*2^1447601-1 is not prime. Res64: B0DC202A6BDEB842 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:57:42] 861*2^1447601-1 is not prime. Res64: 5E8758366B59EC7B Time : 0.0 sec. user=mdettweiler [2016-12-03 13:57:42] 957*2^1447601-1 is not prime. Res64: CBD6CC6143BCEB46 Time : 0.0 sec. user=mdettweiler [2016-12-03 13:57:43] 979*2^1447601-1 is not prime. Res64: 57947A121B00007A Time : 0.0 sec. user=mdettweiler [2016-12-03 14:03:21] 997*2^1447601-1 is not prime. Res64: 0D7BEAA44DB8F138 Time : 0.0 sec. user=mdettweiler [2016-12-03 14:03:21] 651*2^1447602-1 is not prime. Res64: 00ACBB3A08E2840E Time : 0.0 sec. user=mdettweiler [2016-12-03 14:03:22] 723*2^1447602-1 is not prime. Res64: 146B50ABB0FFF1F1 Time : 0.0 sec. user=mdettweiler [2016-12-03 14:03:23] 815*2^1447602-1 is not prime. Res64: 5DE733869CF40F39 Time : 0.0 sec. user=mdettweiler [2016-12-03 14:03:24] 843*2^1447602-1 is not prime. Res64: 4071D8DEF6654509 Time : 0.0 sec. user=mdettweiler [2016-12-03 14:33:06] 867*2^1447602-1 is not prime. Res64: D9D499B9CD25F571 Time : 0.0 sec. user=mdettweiler [2016-12-03 14:33:07] 873*2^1447602-1 is not prime. Res64: CCC496D73ADBEDCE Time : 0.0 sec. user=mdettweiler [2016-12-03 14:33:07] 875*2^1447602-1 is not prime. Res64: ABF7CED9DA52AADD Time : 0.0 sec. user=mdettweiler [2016-12-03 14:33:08] 951*2^1447602-1 is not prime. Res64: 6ECC8A338DE177D6 Time : 0.0 sec. user=mdettweiler [2016-12-03 14:33:08] 1001*2^1447602-1 is not prime. Res64: 98D277BF73489900 Time : 0.0 sec. user=mdettweiler [2016-12-03 14:33:47] 621*2^1447603-1 is not prime. Res64: 2E9523850F0F0B9B Time : 0.0 sec. user=mdettweiler [2016-12-03 14:33:47] 705*2^1447603-1 is not prime. Res64: C3DD4DE4572977C6 Time : 0.0 sec. user=mdettweiler [2016-12-03 14:33:48] 853*2^1447603-1 is not prime. Res64: 87DE7EF92B5B532B Time : 0.0 sec. user=mdettweiler [2016-12-03 14:33:48] 635*2^1447604-1 is not prime. Res64: 7421A22FC3B60273 Time : 0.0 sec. user=mdettweiler [2016-12-03 14:33:48] 707*2^1447604-1 is not prime. Res64: B99F4D93F7A7D6A8 Time : 0.0 sec. user=mdettweiler [2016-12-03 14:42:43] 767*2^1447604-1 is not prime. Res64: 917D1D9E38B38313 Time : 0.0 sec. user=mdettweiler [2016-12-03 14:42:43] 785*2^1447604-1 is not prime. Res64: 54FF82339AEE08C9 Time : 0.0 sec. user=mdettweiler [2016-12-03 14:42:44] 909*2^1447604-1 is not prime. Res64: 141339A49E89B340 Time : 0.0 sec. user=mdettweiler [2016-12-03 14:42:44] 935*2^1447604-1 is not prime. Res64: D3FBD1C79F442C86 Time : 0.0 sec. user=mdettweiler [2016-12-03 14:42:45] 969*2^1447604-1 is not prime. Res64: 670674E284887B70 Time : 0.0 sec. user=mdettweiler [2016-12-03 14:48:25] 651*2^1447605-1 is not prime. Res64: C79832CE2ECE53FA Time : 0.0 sec. user=mdettweiler [2016-12-03 14:48:26] 817*2^1447605-1 is not prime. Res64: 2E26CC7196A38DA7 Time : 0.0 sec. user=mdettweiler [2016-12-03 14:48:26] 861*2^1447605-1 is not prime. Res64: E9F802255ADEC4FA Time : 0.0 sec. user=mdettweiler [2016-12-03 14:48:26] 927*2^1447605-1 is not prime. Res64: 5A51415CE7E7E7B0 Time : 0.0 sec. user=mdettweiler [2016-12-03 14:48:27] 951*2^1447605-1 is not prime. Res64: 23497838B8EC59EF Time : 0.0 sec. user=mdettweiler [2016-12-03 15:17:59] 955*2^1447605-1 is not prime. Res64: 5847EC601F3F105D Time : 0.0 sec. user=mdettweiler [2016-12-03 15:17:59] 991*2^1447605-1 is not prime. Res64: 8FB04C6002328767 Time : 0.0 sec. user=mdettweiler [2016-12-03 15:17:59] 603*2^1447606-1 is not prime. Res64: 3943165C643A8ACF Time : 0.0 sec. user=mdettweiler [2016-12-03 15:18:00] 635*2^1447606-1 is not prime. Res64: 8D9EB744BF4DB4F3 Time : 0.0 sec. user=mdettweiler [2016-12-03 15:18:00] 741*2^1447606-1 is not prime. Res64: 513CEA5BA613F029 Time : 0.0 sec. user=mdettweiler [2016-12-03 15:18:31] 867*2^1447606-1 is not prime. Res64: A55FC00A5DDCA522 Time : 0.0 sec. user=mdettweiler [2016-12-03 15:18:31] 911*2^1447606-1 is not prime. Res64: E606FD4DF8696DB6 Time : 0.0 sec. user=mdettweiler [2016-12-03 15:18:32] 923*2^1447606-1 is not prime. Res64: FEEE58A05E555FFA Time : 0.0 sec. user=mdettweiler [2016-12-03 15:18:32] 981*2^1447606-1 is not prime. Res64: 75C54A1C3B165E85 Time : 0.0 sec. user=mdettweiler [2016-12-03 15:18:32] 633*2^1447607-1 is not prime. Res64: 9992153FED3FD6C0 Time : 0.0 sec. user=mdettweiler [2016-12-03 15:27:31] 651*2^1447607-1 is not prime. Res64: 4D93EADE6462C3FB Time : 0.0 sec. user=mdettweiler [2016-12-03 15:27:31] 861*2^1447607-1 is not prime. Res64: 8AE3121C0A50360C Time : 0.0 sec. user=mdettweiler [2016-12-03 15:27:31] 985*2^1447607-1 is not prime. Res64: 600D3E0DB07E1601 Time : 0.0 sec. user=mdettweiler [2016-12-03 15:27:32] 993*2^1447607-1 is not prime. Res64: 3BCF30A87C8BD129 Time : 0.0 sec. user=mdettweiler [2016-12-03 15:27:32] 627*2^1447608-1 is not prime. Res64: B62D6094BAFD5DE1 Time : 0.0 sec. user=mdettweiler [2016-12-03 15:33:11] 633*2^1447608-1 is not prime. Res64: CC88E3FD1493E44B Time : 0.0 sec. user=mdettweiler [2016-12-03 15:33:11] 663*2^1447608-1 is not prime. Res64: 0016A8FB322092F4 Time : 0.0 sec. user=mdettweiler [2016-12-03 15:33:12] 689*2^1447608-1 is not prime. Res64: 2B156507C2E69F04 Time : 0.0 sec. user=mdettweiler [2016-12-03 15:33:12] 735*2^1447608-1 is not prime. Res64: 33F1911C090BEAF5 Time : 0.0 sec. user=mdettweiler [2016-12-03 15:33:13] 803*2^1447608-1 is not prime. Res64: 9ED1FD47393362C8 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:03:08] 839*2^1447608-1 is not prime. Res64: 11FCD73622804641 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:03:09] 875*2^1447608-1 is not prime. Res64: 6BA3875D3B119B93 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:03:10] 975*2^1447608-1 is not prime. Res64: AFE0A084BC1DD48D Time : 0.0 sec. user=mdettweiler [2016-12-03 16:03:11] 993*2^1447608-1 is not prime. Res64: BFBBE32E3D9643F3 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:03:12] 609*2^1447609-1 is not prime. Res64: 80683D40E2A07850 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:03:28] 639*2^1447609-1 is not prime. Res64: 343BDD491C1AC0C5 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:03:29] 661*2^1447609-1 is not prime. Res64: 80402871FEFD7D2E Time : 0.0 sec. user=mdettweiler [2016-12-03 16:03:30] 799*2^1447609-1 is not prime. Res64: 2CBBE84A521783B1 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:03:31] 931*2^1447609-1 is not prime. Res64: C1808A69D8875496 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:03:31] 717*2^1447610-1 is not prime. Res64: E04A2082335BBFBD Time : 0.0 sec. user=mdettweiler [2016-12-03 16:12:37] 753*2^1447610-1 is not prime. Res64: AD1A20807AC97B19 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:12:37] 785*2^1447610-1 is not prime. Res64: 6C578377528018CF Time : 0.0 sec. user=mdettweiler [2016-12-03 16:12:38] 791*2^1447610-1 is not prime. Res64: 2193E1D2972EDC88 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:12:38] 953*2^1447610-1 is not prime. Res64: 0EC1447193334353 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:12:38] 625*2^1447611-1 is not prime. Res64: 36A75C40C63779DA Time : 0.0 sec. user=mdettweiler [2016-12-03 16:18:22] 955*2^1447611-1 is not prime. Res64: 90D715B43B70F9B2 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:18:22] 687*2^1447612-1 is not prime. Res64: 931D8A0F0A32362A Time : 0.0 sec. user=mdettweiler [2016-12-03 16:18:23] 825*2^1447612-1 is not prime. Res64: D2E2BAAE9D6E54B2 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:18:23] 873*2^1447612-1 is not prime. Res64: 1E156B5D93E29CD5 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:18:24] 933*2^1447612-1 is not prime. Res64: 1EC2BB0BF0044969 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:48:11] 939*2^1447612-1 is not prime. Res64: F990EEC375A1FF6C Time : 0.0 sec. user=mdettweiler [2016-12-03 16:48:11] 983*2^1447612-1 is not prime. Res64: F63761BB63956F47 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:48:12] 989*2^1447612-1 is not prime. Res64: FD7F952A4E587D27 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:48:12] 669*2^1447613-1 is not prime. Res64: A8E661E1D3966516 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:48:12] 697*2^1447613-1 is not prime. Res64: 44568A01D5095FA4 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:48:22] 715*2^1447613-1 is not prime. Res64: D92F0FF9F5BCD005 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:48:22] 847*2^1447613-1 is not prime. Res64: 6AE239AFEAE8DC3C Time : 0.0 sec. user=mdettweiler [2016-12-03 16:48:23] 879*2^1447613-1 is not prime. Res64: 7FFB772C8AEF72C0 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:48:23] 987*2^1447613-1 is not prime. Res64: 2FE1178C7B22B083 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:48:23] 657*2^1447614-1 is not prime. Res64: C602EB7294ED7A0A Time : 0.0 sec. user=mdettweiler [2016-12-03 16:57:34] 773*2^1447614-1 is not prime. Res64: 9ADE61A893E1D5D1 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:57:35] 601*2^1447615-1 is not prime. Res64: 2EC90B0B4E2F795B Time : 0.0 sec. user=mdettweiler [2016-12-03 16:57:35] 609*2^1447615-1 is not prime. Res64: 0BF9A9D1601BD32C Time : 0.0 sec. user=mdettweiler [2016-12-03 16:57:36] 705*2^1447615-1 is not prime. Res64: 34C1DE058AB9DF73 Time : 0.0 sec. user=mdettweiler [2016-12-03 16:57:36] 709*2^1447615-1 is not prime. Res64: 40ACFF6FA2E199DB Time : 0.0 sec. user=mdettweiler [2016-12-03 17:03:06] 859*2^1447615-1 is not prime. Res64: AA83893C9F1C2055 Time : 0.0 sec. user=mdettweiler [2016-12-03 17:03:07] 969*2^1447615-1 is not prime. Res64: 616A0C91B6BBD937 Time : 0.0 sec. user=mdettweiler [2016-12-03 17:03:08] 677*2^1447616-1 is not prime. Res64: 0F537DDEBC2A2F16 Time : 0.0 sec. user=mdettweiler [2016-12-03 17:03:08] 833*2^1447616-1 is not prime. Res64: 1C3E2798BCEA83D3 Time : 0.0 sec. user=mdettweiler [2016-12-03 17:03:09] 983*2^1447616-1 is not prime. Res64: A30146222F394A71 Time : 0.0 sec. user=mdettweiler [2016-12-03 17:32:56] 675*2^1447617-1 is not prime. Res64: 62266C51CD548F3C Time : 0.0 sec. user=mdettweiler [2016-12-03 17:32:56] 691*2^1447617-1 is not prime. Res64: 264684817F4D84F3 Time : 0.0 sec. user=mdettweiler [2016-12-03 17:32:57] 777*2^1447617-1 is not prime. Res64: 43533A08AE429927 Time : 0.0 sec. user=mdettweiler [2016-12-03 17:32:57] 945*2^1447617-1 is not prime. Res64: F44AEBE8BE5CB903 Time : 0.0 sec. user=mdettweiler [2016-12-03 17:32:58] 997*2^1447617-1 is not prime. Res64: 02F8576DBC6481B6 Time : 0.0 sec. user=mdettweiler [2016-12-03 17:33:11] 621*2^1447618-1 is not prime. Res64: 470737C153516587 Time : 0.0 sec. user=mdettweiler [2016-12-03 17:33:11] 681*2^1447618-1 is not prime. Res64: BC403BA64AD0C4D9 Time : 0.0 sec. user=mdettweiler [2016-12-03 17:33:11] 731*2^1447618-1 is not prime. Res64: 8EFB0AE3CAE3CD0E Time : 0.0 sec. user=mdettweiler [2016-12-03 17:33:12] 831*2^1447618-1 is not prime. Res64: CBCD70DB32426A62 Time : 0.0 sec. user=mdettweiler [2016-12-03 17:33:12] 987*2^1447618-1 is not prime. Res64: B8E5FED2E78DBF74 Time : 0.0 sec. user=mdettweiler [2016-12-03 17:42:30] 603*2^1447619-1 is not prime. Res64: FA6527122CE3B42C Time : 0.0 sec. user=mdettweiler [2016-12-03 17:42:31] 679*2^1447619-1 is not prime. Res64: 1CF497D4C45D323E Time : 0.0 sec. user=mdettweiler [2016-12-03 17:42:31] 685*2^1447619-1 is not prime. Res64: 0338B5F9EA383A48 Time : 0.0 sec. user=mdettweiler [2016-12-03 17:42:31] 741*2^1447619-1 is not prime. Res64: 1523C8EF396338E5 Time : 0.0 sec. user=mdettweiler [2016-12-03 17:42:32] 921*2^1447619-1 is not prime. Res64: CCDF12A5E453A191 Time : 0.0 sec. user=mdettweiler [2016-12-03 17:48:08] 939*2^1447619-1 is not prime. Res64: 91B64450FC61A735 Time : 0.0 sec. user=mdettweiler [2016-12-03 17:48:08] 979*2^1447619-1 is not prime. Res64: 47609951F6E2996C Time : 0.0 sec. user=mdettweiler [2016-12-03 17:48:09] 615*2^1447620-1 is not prime. Res64: BC967A0ED1A65494 Time : 0.0 sec. user=mdettweiler [2016-12-03 17:48:09] 725*2^1447620-1 is not prime. Res64: 5671D8EBC15A2356 Time : 0.0 sec. user=mdettweiler [2016-12-03 17:48:10] 797*2^1447620-1 is not prime. Res64: 9EE7A1534D1AAE19 Time : 0.0 sec. user=mdettweiler [2016-12-03 18:17:48] 819*2^1447620-1 is not prime. Res64: 12D4D3F4C07E987A Time : 0.0 sec. user=mdettweiler [2016-12-03 18:17:49] 825*2^1447620-1 is not prime. Res64: B218F5291A27D543 Time : 0.0 sec. user=mdettweiler [2016-12-03 18:17:49] 843*2^1447620-1 is not prime. Res64: 06B5AB52E5032C8B Time : 0.0 sec. user=mdettweiler [2016-12-03 18:17:49] 875*2^1447620-1 is not prime. Res64: A8ADA85D04B7C1D1 Time : 0.0 sec. user=mdettweiler [2016-12-03 18:17:50] 909*2^1447620-1 is not prime. Res64: 741853303CAD3ECD Time : 0.0 sec. user=mdettweiler [2016-12-03 18:17:56] 927*2^1447620-1 is not prime. Res64: 74925668B3EB3E4E Time : 0.0 sec. user=mdettweiler [2016-12-03 18:17:56] 933*2^1447620-1 is not prime. Res64: 573941427C2852C9 Time : 0.0 sec. user=mdettweiler [2016-12-03 18:17:57] 895*2^1447621-1 is not prime. Res64: 9412D617A733FCEB Time : 0.0 sec. user=mdettweiler [2016-12-03 18:17:57] 967*2^1447621-1 is not prime. Res64: 8802E7E86D7061ED Time : 0.0 sec. user=mdettweiler [2016-12-03 18:17:57] 603*2^1447622-1 is not prime. Res64: B35AD985024A53B4 Time : 0.0 sec. user=mdettweiler [2016-12-03 18:27:19] 671*2^1447622-1 is not prime. Res64: 43861588D09D128D Time : 0.0 sec. user=mdettweiler [2016-12-03 18:27:20] 831*2^1447622-1 is not prime. Res64: A7B87FE7906D6F06 Time : 0.0 sec. user=mdettweiler [2016-12-03 18:27:20] 873*2^1447622-1 is not prime. Res64: 91335CA7F573EC72 Time : 0.0 sec. user=mdettweiler [2016-12-03 18:27:21] 911*2^1447622-1 is not prime. Res64: 4C7103F28600B554 Time : 0.0 sec. user=mdettweiler [2016-12-03 18:27:21] 705*2^1447623-1 is not prime. Res64: 17BEB4D26328A120 Time : 0.0 sec. user=mdettweiler [2016-12-03 18:33:14] 859*2^1447623-1 is not prime. Res64: DC555E67CDB66B7A Time : 0.0 sec. user=mdettweiler [2016-12-03 18:33:14] 879*2^1447623-1 is not prime. Res64: DDE450AB60A1FA1C Time : 0.0 sec. user=mdettweiler [2016-12-03 18:33:15] 913*2^1447623-1 is not prime. Res64: 7F0716DE3C624746 Time : 0.0 sec. user=mdettweiler [2016-12-03 18:33:15] 961*2^1447623-1 is not prime. Res64: 98FA5E37D1F0B5C7 Time : 0.0 sec. user=mdettweiler [2016-12-03 18:33:15] 657*2^1447624-1 is not prime. Res64: 0CF72555F221AE88 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:02:38] 677*2^1447624-1 is not prime. Res64: 3666F182600F18B0 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:02:40] 707*2^1447624-1 is not prime. Res64: 1D7A0896D96C8E49 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:02:41] 773*2^1447624-1 is not prime. Res64: 6B6E123CA3374158 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:02:41] 785*2^1447624-1 is not prime. Res64: 7DC9FA9379C618AE Time : 0.0 sec. user=mdettweiler [2016-12-03 19:02:42] 827*2^1447624-1 is not prime. Res64: C96090808E3A4A92 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:03:01] 863*2^1447624-1 is not prime. Res64: 8085F7CF66D631C7 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:03:01] 887*2^1447624-1 is not prime. Res64: 77B720EFBD7127B5 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:03:02] 899*2^1447624-1 is not prime. Res64: C7CCE9429C6D813B Time : 0.0 sec. user=mdettweiler [2016-12-03 19:03:03] 649*2^1447625-1 is not prime. Res64: F8F5D239D9859D29 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:03:03] 657*2^1447625-1 is not prime. Res64: BA37A05908EEF06F Time : 0.0 sec. user=mdettweiler [2016-12-03 19:12:17] 721*2^1447625-1 is not prime. Res64: 24F02C8380D85B4D Time : 0.0 sec. user=mdettweiler [2016-12-03 19:12:18] 735*2^1447625-1 is not prime. Res64: BEA971E074ED4440 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:12:18] 787*2^1447625-1 is not prime. Res64: 05E506F8EED6771D Time : 0.0 sec. user=mdettweiler [2016-12-03 19:12:19] 805*2^1447625-1 is not prime. Res64: BD47C944BFEA842F Time : 0.0 sec. user=mdettweiler [2016-12-03 19:12:19] 861*2^1447625-1 is not prime. Res64: 3E0BBF0A506CC943 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:18:03] 985*2^1447625-1 is not prime. Res64: 9CDBC447B7E49A4B Time : 0.0 sec. user=mdettweiler [2016-12-03 19:18:04] 677*2^1447626-1 is not prime. Res64: 678DB17FB25BC03A Time : 0.0 sec. user=mdettweiler [2016-12-03 19:18:04] 755*2^1447626-1 is not prime. Res64: 64670FC1530B96F9 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:18:04] 783*2^1447626-1 is not prime. Res64: AC002EF4E294A162 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:18:05] 825*2^1447626-1 is not prime. Res64: 40491644F0A83E75 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:47:30] 833*2^1447626-1 is not prime. Res64: 7C53908A6E010354 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:47:31] 945*2^1447626-1 is not prime. Res64: B7A72B5A104F4347 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:47:31] 649*2^1447627-1 is not prime. Res64: 0E1C4561E49226DB Time : 0.0 sec. user=mdettweiler [2016-12-03 19:47:31] 813*2^1447627-1 is not prime. Res64: D86BF049B244B0BB Time : 0.0 sec. user=mdettweiler [2016-12-03 19:47:32] 859*2^1447627-1 is not prime. Res64: A58D6F4785C559EB Time : 0.0 sec. user=mdettweiler [2016-12-03 19:47:39] 617*2^1447628-1 is not prime. Res64: 401E581BF47BA311 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:47:40] 623*2^1447628-1 is not prime. Res64: B3B00025F50493CE Time : 0.0 sec. user=mdettweiler [2016-12-03 19:47:40] 749*2^1447628-1 is not prime. Res64: DD20CCC4BDBEC377 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:47:40] 777*2^1447628-1 is not prime. Res64: 0A07F49A5D363D82 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:47:41] 953*2^1447628-1 is not prime. Res64: 0A37AC62B8B0BA4C Time : 0.0 sec. user=mdettweiler [2016-12-03 19:57:03] 969*2^1447628-1 is not prime. Res64: A8B424EA937A2DFA Time : 0.0 sec. user=mdettweiler [2016-12-03 19:57:03] 609*2^1447629-1 is not prime. Res64: 54375968290079C9 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:57:04] 627*2^1447629-1 is not prime. Res64: 5B63D34D68A2BB2C Time : 0.0 sec. user=mdettweiler [2016-12-03 19:57:04] 685*2^1447629-1 is not prime. Res64: 5BC7B7ABCB850D14 Time : 0.0 sec. user=mdettweiler [2016-12-03 19:57:05] 795*2^1447629-1 is not prime. Res64: 5CDC0FB61FD51666 Time : 0.0 sec. user=mdettweiler [2016-12-03 20:02:52] 945*2^1447629-1 is not prime. Res64: D807A04D68215311 Time : 0.0 sec. user=mdettweiler [2016-12-03 20:02:53] 605*2^1447630-1 is not prime. Res64: ABBC39DA9042AD35 Time : 0.0 sec. user=mdettweiler [2016-12-03 20:02:53] 647*2^1447630-1 is not prime. Res64: A0A28CE023F7FABC Time : 0.0 sec. user=mdettweiler [2016-12-03 20:02:54] 653*2^1447630-1 is not prime. Res64: 2E0B8DDEA1722AE1 Time : 0.0 sec. user=mdettweiler [2016-12-03 20:02:55] 843*2^1447630-1 is not prime. Res64: 70E1027A2CC6F6F4 Time : 0.0 sec. user=mdettweiler [2016-12-03 20:32:13] 887*2^1447630-1 is not prime. Res64: 00A1EC80958CE899 Time : 0.0 sec. user=mdettweiler [2016-12-03 20:32:13] 911*2^1447630-1 is not prime. Res64: D1CF427CDC766A0F Time : 0.0 sec. user=mdettweiler [2016-12-03 20:32:14] 933*2^1447630-1 is not prime. Res64: FAA4AB30B3954FD7 Time : 0.0 sec. user=mdettweiler [2016-12-03 20:32:14] 619*2^1447631-1 is not prime. Res64: F738F3DE23EADEF2 Time : 0.0 sec. user=mdettweiler [2016-12-03 20:32:14] 741*2^1447631-1 is not prime. Res64: C99A4EEF49A85856 Time : 0.0 sec. user=mdettweiler [2016-12-03 20:32:40] 841*2^1447631-1 is not prime. Res64: 043522070982A5B1 Time : 0.0 sec. user=mdettweiler [2016-12-03 20:32:40] 883*2^1447631-1 is not prime. Res64: 2C717D07F90C6E46 Time : 0.0 sec. user=mdettweiler [2016-12-03 20:32:40] 955*2^1447631-1 is not prime. Res64: 10B079330D5FFE38 Time : 0.0 sec. user=mdettweiler [2016-12-03 20:32:41] 605*2^1447632-1 is not prime. Res64: A1284FEEA026F2B0 Time : 0.0 sec. user=mdettweiler [2016-12-03 20:32:41] 689*2^1447632-1 is not prime. Res64: 6C79AAAAB3861D27 Time : 0.0 sec. user=mdettweiler [2016-12-03 20:41:46] 747*2^1447632-1 is not prime. Res64: CDA0E2CCB10FF5E9 Time : 0.0 sec. user=mdettweiler [2016-12-03 20:41:47] 857*2^1447632-1 is not prime. Res64: 7B718E769A728E70 Time : 0.0 sec. user=mdettweiler [2016-12-03 20:41:47] 957*2^1447632-1 is not prime. Res64: B5BAC2F90F4BD49A Time : 0.0 sec. user=mdettweiler [2016-12-03 20:41:48] 847*2^1447633-1 is not prime. Res64: 885AB57C4825B79F Time : 0.0 sec. user=mdettweiler [2016-12-03 20:41:48] 895*2^1447633-1 is not prime. Res64: DF1A9C9D7493840B Time : 0.0 sec. user=mdettweiler [2016-12-03 20:47:44] 925*2^1447633-1 is not prime. Res64: 68FBF72117BECF0F Time : 0.0 sec. user=mdettweiler [2016-12-03 20:47:44] 605*2^1447634-1 is not prime. Res64: 7766BBC2C9C9EA3E Time : 0.0 sec. user=mdettweiler [2016-12-03 20:47:44] 615*2^1447634-1 is not prime. Res64: C5A57A6CABB16FCE Time : 0.0 sec. user=mdettweiler [2016-12-03 20:47:45] 687*2^1447634-1 is not prime. Res64: CD8D924CF46A7BFE Time : 0.0 sec. user=mdettweiler [2016-12-03 20:47:45] 717*2^1447634-1 is not prime. Res64: F8F4313DC7CD74DA Time : 0.0 sec. user=mdettweiler [2016-12-03 21:17:18] 813*2^1447634-1 is not prime. Res64: AAD8DF387D10CBA3 Time : 0.0 sec. user=mdettweiler [2016-12-03 21:17:18] 921*2^1447634-1 is not prime. Res64: 3B2902A918DF1D1D Time : 0.0 sec. user=mdettweiler [2016-12-03 21:17:19] 625*2^1447635-1 is not prime. Res64: B74254095DE3F8BD Time : 0.0 sec. user=mdettweiler [2016-12-03 21:17:19] 705*2^1447635-1 is not prime. Res64: 4276FFB79835AF2C Time : 0.0 sec. user=mdettweiler [2016-12-03 21:17:20] 805*2^1447635-1 is not prime. Res64: 58A59511D7DF00FC Time : 0.0 sec. user=mdettweiler [2016-12-03 21:17:45] 885*2^1447635-1 is not prime. Res64: 93D1BBB99947D763 Time : 0.0 sec. user=mdettweiler [2016-12-03 21:17:46] 919*2^1447635-1 is not prime. Res64: A4E167C082DE9195 Time : 0.0 sec. user=mdettweiler [2016-12-03 21:17:46] 921*2^1447635-1 is not prime. Res64: 823DCD653DDC99D4 Time : 0.0 sec. user=mdettweiler [2016-12-03 21:17:46] 973*2^1447635-1 is not prime. Res64: 84CFD80981ED0B70 Time : 0.0 sec. user=mdettweiler [2016-12-03 21:17:47] 617*2^1447636-1 is not prime. Res64: 322C0CC8B2DDE5C9 Time : 0.0 sec. user=mdettweiler [2016-12-03 21:26:36] 783*2^1447636-1 is not prime. Res64: 7A3391CEE4CBA2C4 Time : 0.0 sec. user=mdettweiler [2016-12-03 21:26:37] 685*2^1447637-1 is not prime. Res64: 5A36B3A2EB36BEA5 Time : 0.0 sec. user=mdettweiler [2016-12-03 21:26:37] 729*2^1447637-1 is not prime. Res64: B643A749FCA23413 Time : 0.0 sec. user=mdettweiler [2016-12-03 21:26:38] 889*2^1447637-1 is not prime. Res64: C4E38129A3EF2943 Time : 0.0 sec. user=mdettweiler [2016-12-03 21:26:38] 707*2^1447638-1 is not prime. Res64: 6149E5FA580776E3 Time : 0.0 sec. user=mdettweiler [2016-12-03 21:32:27] 713*2^1447638-1 is not prime. Res64: 3942F6B12AA05B25 Time : 0.0 sec. user=mdettweiler [2016-12-03 21:32:27] 933*2^1447638-1 is not prime. Res64: F816645D89D62B4F Time : 0.0 sec. user=mdettweiler [2016-12-03 21:32:28] 977*2^1447638-1 is not prime. Res64: 5F35FF20CD0C01DC Time : 0.0 sec. user=mdettweiler [2016-12-03 21:32:28] 615*2^1447639-1 is not prime. Res64: DD636EA7BE17E13A Time : 0.0 sec. user=mdettweiler [2016-12-03 21:32:29] 633*2^1447639-1 is not prime. Res64: A17BD476D487AFDE Time : 0.0 sec. user=mdettweiler [2016-12-03 22:01:57] 885*2^1447639-1 is not prime. Res64: 40B607D6CE98399C Time : 0.0 sec. user=mdettweiler [2016-12-03 22:01:58] 973*2^1447639-1 is not prime. Res64: B6403A035614375B Time : 0.0 sec. user=mdettweiler [2016-12-03 22:01:59] 833*2^1447640-1 is not prime. Res64: 70DE2EFE02ACDEE7 Time : 0.0 sec. user=mdettweiler [2016-12-03 22:02:00] 963*2^1447640-1 is not prime. Res64: DD030D777BF9C6B1 Time : 0.0 sec. user=mdettweiler [2016-12-03 22:02:00] 601*2^1447641-1 is not prime. Res64: 612121B2E023CE79 Time : 0.0 sec. user=mdettweiler [2016-12-03 22:02:24] 711*2^1447641-1 is not prime. Res64: D5ECDAC0EB3F24CD Time : 0.0 sec. user=mdettweiler [2016-12-03 22:02:25] 747*2^1447641-1 is not prime. Res64: 051395CDFE5A5413 Time : 0.0 sec. user=mdettweiler [2016-12-03 22:02:26] 777*2^1447641-1 is not prime. Res64: BCF1F827434CDCBD Time : 0.0 sec. user=mdettweiler [2016-12-03 22:02:26] 811*2^1447641-1 is not prime. Res64: 66A8219BB86752E0 Time : 0.0 sec. user=mdettweiler [2016-12-03 22:02:27] 817*2^1447641-1 is not prime. Res64: 75AA397A67FAD48A Time : 0.0 sec. user=mdettweiler [2016-12-03 22:11:18] 829*2^1447641-1 is not prime. Res64: D37FA5FF303129FE Time : 0.0 sec. user=mdettweiler [2016-12-03 22:11:18] 837*2^1447641-1 is not prime. Res64: C94C4CC04CAEDC08 Time : 0.0 sec. user=mdettweiler [2016-12-03 22:11:18] 889*2^1447641-1 is not prime. Res64: 3F7170158D918B7E Time : 0.0 sec. user=mdettweiler [2016-12-03 22:11:19] 611*2^1447642-1 is not prime. Res64: 4CF8A3D30410B37D Time : 0.0 sec. user=mdettweiler [2016-12-03 22:11:19] 881*2^1447642-1 is not prime. Res64: 255BD3B081D06A97 Time : 0.0 sec. user=mdettweiler [2016-12-03 22:17:10] 915*2^1447642-1 is not prime. Res64: 807A24A3915D289D Time : 0.0 sec. user=mdettweiler [2016-12-03 22:17:10] 957*2^1447642-1 is not prime. Res64: 74FFE4BCF4FB9E07 Time : 0.0 sec. user=mdettweiler [2016-12-03 22:17:10] 995*2^1447642-1 is not prime. Res64: 6EA7207603D109AA Time : 0.0 sec. user=mdettweiler [2016-12-03 22:17:11] 705*2^1447643-1 is not prime. Res64: 52EDB6C50C2E4646 Time : 0.0 sec. user=mdettweiler [2016-12-03 22:17:12] 775*2^1447643-1 is not prime. Res64: 8BAE2CD431577FC5 Time : 0.0 sec. user=mdettweiler [2016-12-03 22:46:55] 859*2^1447643-1 is not prime. Res64: 1BA6F06676100287 Time : 0.0 sec. user=mdettweiler [2016-12-03 22:46:55] 999*2^1447643-1 is not prime. Res64: 643EC53051EAA317 Time : 0.0 sec. user=mdettweiler [2016-12-03 22:46:56] 609*2^1447644-1 is not prime. Res64: 0B2419EF25D1BA76 Time : 0.0 sec. user=mdettweiler [2016-12-03 22:46:56] 663*2^1447644-1 is not prime. Res64: 722410BE8DBE6E0C Time : 0.0 sec. user=mdettweiler [2016-12-03 22:46:56] 719*2^1447644-1 is not prime. Res64: F024933D1FFBC02C Time : 0.0 sec. user=mdettweiler [2016-12-03 22:47:21] 723*2^1447644-1 is not prime. Res64: 40E856A8751A8FB2 Time : 0.0 sec. user=mdettweiler [2016-12-03 22:47:21] 789*2^1447644-1 is not prime. Res64: 147ADF2CFB8B3EE1 Time : 0.0 sec. user=mdettweiler [2016-12-03 22:47:22] 909*2^1447644-1 is not prime. Res64: 9513D6F8DE4EEFE8 Time : 0.0 sec. user=mdettweiler [2016-12-03 22:47:22] 721*2^1447645-1 is not prime. Res64: 660A81561E9DB59F Time : 0.0 sec. user=mdettweiler [2016-12-03 22:47:22] 741*2^1447645-1 is not prime. Res64: 3AD8106AD765166D Time : 0.0 sec. user=mdettweiler [2016-12-03 22:56:08] 759*2^1447645-1 is not prime. Res64: AB73D5ED110CDAB8 Time : 0.0 sec. user=mdettweiler [2016-12-03 22:56:08] 777*2^1447645-1 is not prime. Res64: 67B9D20F9B85E757 Time : 0.0 sec. user=mdettweiler [2016-12-03 22:56:08] 799*2^1447645-1 is not prime. Res64: 83854C56B86E988A Time : 0.0 sec. user=mdettweiler [2016-12-03 22:56:09] 831*2^1447645-1 is not prime. Res64: 2C8EAE1748D3F639 Time : 0.0 sec. user=mdettweiler [2016-12-03 22:56:09] 847*2^1447645-1 is not prime. Res64: 8F70D613A0693C5D Time : 0.0 sec. user=mdettweiler [2016-12-03 23:02:06] 979*2^1447645-1 is not prime. Res64: AB463667616515BA Time : 0.0 sec. user=mdettweiler [2016-12-03 23:02:07] 997*2^1447645-1 is not prime. Res64: A50B27DEE4629011 Time : 0.0 sec. user=mdettweiler [2016-12-03 23:02:08] 773*2^1447646-1 is not prime. Res64: 813504136906ACD5 Time : 0.0 sec. user=mdettweiler [2016-12-03 23:02:09] 815*2^1447646-1 is not prime. Res64: 8B9583AC4B22664D Time : 0.0 sec. user=mdettweiler [2016-12-03 23:02:09] 691*2^1447647-1 is not prime. Res64: 9EA666BEC0D7A87F Time : 0.0 sec. user=mdettweiler [2016-12-03 23:31:41] 735*2^1447647-1 is not prime. Res64: F5DA5E5D45E64218 Time : 0.0 sec. user=mdettweiler [2016-12-03 23:31:41] 741*2^1447647-1 is not prime. Res64: C66FBF0557951152 Time : 0.0 sec. user=mdettweiler [2016-12-03 23:31:41] 865*2^1447647-1 is not prime. Res64: 39D5C4AE12BF3449 Time : 0.0 sec. user=mdettweiler [2016-12-03 23:31:42] 933*2^1447647-1 is not prime. Res64: 1DB569BFC859B04D Time : 0.0 sec. user=mdettweiler [2016-12-03 23:31:42] 949*2^1447647-1 is not prime. Res64: 732EF6F5CC7D296E Time : 0.0 sec. user=mdettweiler [2016-12-03 23:32:17] 951*2^1447647-1 is not prime. Res64: BE8F388587CB2BB7 Time : 0.0 sec. user=mdettweiler [2016-12-03 23:32:18] 955*2^1447647-1 is not prime. Res64: FF327CA468E72CEE Time : 0.0 sec. user=mdettweiler [2016-12-03 23:32:18] 961*2^1447647-1 is not prime. Res64: B6DB899C919C4553 Time : 0.0 sec. user=mdettweiler [2016-12-03 23:32:19] 665*2^1447648-1 is not prime. Res64: 799A077FA46C9524 Time : 0.0 sec. user=mdettweiler [2016-12-03 23:32:19] 765*2^1447648-1 is not prime. Res64: 47BD137F4CA85383 Time : 0.0 sec. user=mdettweiler [2016-12-03 23:40:58] 819*2^1447648-1 is not prime. Res64: 783A4B220289C26D Time : 0.0 sec. user=mdettweiler [2016-12-03 23:40:58] 833*2^1447648-1 is not prime. Res64: 39E7141D2203326D Time : 0.0 sec. user=mdettweiler [2016-12-03 23:40:58] 789*2^1447649-1 is not prime. Res64: 7E50A2FF7FD625D4 Time : 0.0 sec. user=mdettweiler [2016-12-03 23:40:59] 841*2^1447649-1 is not prime. Res64: C70CC973A80719CC Time : 0.0 sec. user=mdettweiler [2016-12-03 23:40:59] 783*2^1447650-1 is not prime. Res64: A70745BF32FB113A Time : 0.0 sec. user=mdettweiler [2016-12-03 23:47:11] 803*2^1447650-1 is not prime. Res64: 3F555327DA315400 Time : 0.0 sec. user=mdettweiler [2016-12-03 23:47:11] 861*2^1447650-1 is not prime. Res64: 24A65C4E7775EE90 Time : 0.0 sec. user=mdettweiler [2016-12-03 23:47:11] 631*2^1447651-1 is not prime. Res64: B2BD0AF182131A4F Time : 0.0 sec. user=mdettweiler [2016-12-03 23:47:12] 645*2^1447651-1 is not prime. Res64: D0C5ADAEE4A0405B Time : 0.0 sec. user=mdettweiler [2016-12-03 23:47:12] 693*2^1447651-1 is not prime. Res64: 0B996CEB97CAC831 Time : 0.0 sec.