user=mdettweiler [2016-08-04 00:04:58] 717*2^1436626-1 is not prime. Res64: A656A11FA0B96365 Time : 0.0 sec. user=mdettweiler [2016-08-04 00:05:02] 723*2^1436626-1 is not prime. Res64: 790715C4F3A19519 Time : 0.0 sec. user=mdettweiler [2016-08-04 00:05:05] 741*2^1436626-1 is not prime. Res64: ACE729D11F1F5A6B Time : 0.0 sec. user=mdettweiler [2016-08-04 00:05:09] 777*2^1436626-1 is not prime. Res64: 149ECE89E4B5D3C2 Time : 0.0 sec. user=mdettweiler [2016-08-04 00:05:13] 903*2^1436626-1 is not prime. Res64: 02C82D0259702558 Time : 0.0 sec. user=mdettweiler [2016-08-04 00:44:58] 797*2^1436628-1 is not prime. Res64: 96FBFAEA359C0B38 Time : 0.0 sec. user=mdettweiler [2016-08-04 00:44:58] 819*2^1436628-1 is not prime. Res64: 9F56FCDBC0B45DF6 Time : 0.0 sec. user=mdettweiler [2016-08-04 00:44:58] 839*2^1436628-1 is not prime. Res64: FBF0F5D2CD07B1D3 Time : 0.0 sec. user=mdettweiler [2016-08-04 00:44:59] 959*2^1436628-1 is not prime. Res64: 148ACC7F1C4B2396 Time : 0.0 sec. user=mdettweiler [2016-08-04 00:44:59] 625*2^1436629-1 is not prime. Res64: BE686C313288330A Time : 0.0 sec. user=mdettweiler [2016-08-04 00:50:02] 661*2^1436629-1 is not prime. Res64: 3CBF111302872085 Time : 0.0 sec. user=mdettweiler [2016-08-04 00:50:02] 751*2^1436629-1 is not prime. Res64: 1E2D88700CC2016C Time : 0.0 sec. user=mdettweiler [2016-08-04 00:50:02] 895*2^1436629-1 is not prime. Res64: 8B0CE94513D100C5 Time : 0.0 sec. user=mdettweiler [2016-08-04 00:50:02] 961*2^1436629-1 is not prime. Res64: 00B37FD0856875BC Time : 0.0 sec. user=mdettweiler [2016-08-04 00:50:03] 987*2^1436629-1 is not prime. Res64: A7A4487BCE84E125 Time : 0.0 sec. user=mdettweiler [2016-08-04 01:29:51] 707*2^1436630-1 is not prime. Res64: C56890DA85F39631 Time : 0.0 sec. user=mdettweiler [2016-08-04 01:29:53] 893*2^1436630-1 is not prime. Res64: 43CC06C949E67967 Time : 0.0 sec. user=mdettweiler [2016-08-04 01:29:53] 921*2^1436630-1 is not prime. Res64: 181B97EA183E9A27 Time : 0.0 sec. user=mdettweiler [2016-08-04 01:29:54] 619*2^1436631-1 is not prime. Res64: EADFE92CF7C4E6E1 Time : 0.0 sec. user=mdettweiler [2016-08-04 01:29:55] 685*2^1436631-1 is not prime. Res64: 5ADCDD86F074695C Time : 0.0 sec. user=mdettweiler [2016-08-04 01:35:00] 793*2^1436631-1 is not prime. Res64: 5D17844B85AA2017 Time : 0.0 sec. user=mdettweiler [2016-08-04 01:35:00] 819*2^1436631-1 is not prime. Res64: 40FF2C94B43E0A43 Time : 0.0 sec. user=mdettweiler [2016-08-04 01:35:00] 891*2^1436631-1 is not prime. Res64: CF080F891CAC0F22 Time : 0.0 sec. user=mdettweiler [2016-08-04 01:35:01] 921*2^1436631-1 is not prime. Res64: DA436016DC01E226 Time : 0.0 sec. user=mdettweiler [2016-08-04 01:35:01] 931*2^1436631-1 is not prime. Res64: 8BEFF36DACB3942F Time : 0.0 sec. user=mdettweiler [2016-08-04 02:15:33] 617*2^1436632-1 is not prime. Res64: A32EFBF70D87EF07 Time : 0.0 sec. user=mdettweiler [2016-08-04 02:15:36] 645*2^1436632-1 is not prime. Res64: E564840602FE10F1 Time : 0.0 sec. user=mdettweiler [2016-08-04 02:15:40] 687*2^1436632-1 is not prime. Res64: 8A1598B7F5E95803 Time : 0.0 sec. user=mdettweiler [2016-08-04 02:15:43] 689*2^1436632-1 is not prime. Res64: B099043FECF63B80 Time : 0.0 sec. user=mdettweiler [2016-08-04 02:15:47] 713*2^1436632-1 is not prime. Res64: 561DCCB477D3E6A1 Time : 0.0 sec. user=mdettweiler [2016-08-04 02:20:35] 717*2^1436632-1 is not prime. Res64: 6152C15B387E19BE Time : 0.0 sec. user=mdettweiler [2016-08-04 02:20:35] 723*2^1436632-1 is not prime. Res64: A7D2815F173A7127 Time : 0.0 sec. user=mdettweiler [2016-08-04 02:20:37] 785*2^1436632-1 is not prime. Res64: C7C6FDBF3D776A79 Time : 0.0 sec. user=mdettweiler [2016-08-04 02:20:40] 857*2^1436632-1 is not prime. Res64: 2E9C976B1D5EE2CC Time : 0.0 sec. user=mdettweiler [2016-08-04 02:20:42] 947*2^1436632-1 is not prime. Res64: A865AB00031E4CF7 Time : 0.0 sec. user=mdettweiler [2016-08-04 03:00:39] 727*2^1436633-1 is not prime. Res64: CF8860BA897489D9 Time : 0.0 sec. user=mdettweiler [2016-08-04 03:00:40] 771*2^1436633-1 is not prime. Res64: 63948B54160AE707 Time : 0.0 sec. user=mdettweiler [2016-08-04 03:00:40] 789*2^1436633-1 is not prime. Res64: C3D096AF1A6A723C Time : 0.0 sec. user=mdettweiler [2016-08-04 03:00:41] 855*2^1436633-1 is not prime. Res64: D86906EBB3DD8571 Time : 0.0 sec. user=mdettweiler [2016-08-04 03:00:41] 915*2^1436633-1 is not prime. Res64: EA62286F78B8B5C5 Time : 0.0 sec. user=mdettweiler [2016-08-04 03:05:34] 605*2^1436634-1 is not prime. Res64: 0BE66C7F30E56BAD Time : 0.0 sec. user=mdettweiler [2016-08-04 03:05:35] 641*2^1436634-1 is not prime. Res64: E99C8A80957DCF1B Time : 0.0 sec. user=mdettweiler [2016-08-04 03:05:36] 717*2^1436634-1 is not prime. Res64: 22716E51EEB559EA Time : 0.0 sec. user=mdettweiler [2016-08-04 03:05:36] 773*2^1436634-1 is not prime. Res64: D38AEDBADE6CC496 Time : 0.0 sec. user=mdettweiler [2016-08-04 03:05:37] 915*2^1436634-1 is not prime. Res64: D7C1697A9C7C600C Time : 0.0 sec. user=juhehe [2016-08-04 03:17:51] 945*2^1436634-1 is not prime. Res64: D02384A95267572F Time : 0.0 sec. user=mdettweiler [2016-08-04 03:45:45] 603*2^1436635-1 is not prime. Res64: 401D3F5FDD9248DD Time : 0.0 sec. user=mdettweiler [2016-08-04 03:45:47] 709*2^1436635-1 is not prime. Res64: C824B6A065DE9265 Time : 0.0 sec. user=mdettweiler [2016-08-04 03:45:47] 759*2^1436635-1 is not prime. Res64: 4E9F3E71851D2D29 Time : 0.0 sec. user=mdettweiler [2016-08-04 03:45:50] 873*2^1436635-1 is not prime. Res64: 381B57E88EFA5D99 Time : 0.0 sec. user=mdettweiler [2016-08-04 03:45:50] 895*2^1436635-1 is not prime. Res64: 9DDB57E761C05F06 Time : 0.0 sec. user=mdettweiler [2016-08-04 03:50:42] 633*2^1436636-1 is not prime. Res64: 021BC579776A47C5 Time : 0.0 sec. user=mdettweiler [2016-08-04 03:50:44] 635*2^1436636-1 is not prime. Res64: 31AFD81552903A01 Time : 0.0 sec. user=mdettweiler [2016-08-04 03:50:46] 659*2^1436636-1 is not prime. Res64: 8ABDEC28680D8C04 Time : 0.0 sec. user=mdettweiler [2016-08-04 03:50:47] 855*2^1436636-1 is not prime. Res64: 9FABE6F1403323FE Time : 0.0 sec. user=mdettweiler [2016-08-04 03:50:49] 627*2^1436637-1 is not prime. Res64: C38F94D336551A94 Time : 0.0 sec. user=mdettweiler [2016-08-04 04:30:55] 661*2^1436637-1 is not prime. Res64: FCBC5822BF585374 Time : 0.0 sec. user=mdettweiler [2016-08-04 04:30:56] 691*2^1436637-1 is not prime. Res64: 74F60D98672D50A5 Time : 0.0 sec. user=mdettweiler [2016-08-04 04:30:56] 711*2^1436637-1 is not prime. Res64: DF45384087178579 Time : 0.0 sec. user=mdettweiler [2016-08-04 04:30:56] 865*2^1436637-1 is not prime. Res64: 8D669EAC7D6EAA48 Time : 0.0 sec. user=mdettweiler [2016-08-04 04:30:56] 901*2^1436637-1 is not prime. Res64: 16C6E3C83952DD17 Time : 0.0 sec. user=mdettweiler [2016-08-04 04:35:47] 605*2^1436638-1 is not prime. Res64: 53DAF7DB7D9B38C4 Time : 0.0 sec. user=mdettweiler [2016-08-04 04:35:47] 657*2^1436638-1 is not prime. Res64: FD1D79DD5C030DA6 Time : 0.0 sec. user=mdettweiler [2016-08-04 04:35:47] 923*2^1436638-1 is not prime. Res64: 15611B2FF7D36560 Time : 0.0 sec. user=mdettweiler [2016-08-04 04:35:48] 971*2^1436638-1 is not prime. Res64: 00EC376166AE9B37 Time : 0.0 sec. user=mdettweiler [2016-08-04 04:35:48] 993*2^1436638-1 is not prime. Res64: 82B840E2827D811D Time : 0.0 sec. user=mdettweiler [2016-08-04 05:15:51] 615*2^1436639-1 is not prime. Res64: 1D9D91FCED5559CF Time : 0.0 sec. user=mdettweiler [2016-08-04 05:15:51] 813*2^1436639-1 is not prime. Res64: 853344C043A60D24 Time : 0.0 sec. user=mdettweiler [2016-08-04 05:15:51] 825*2^1436639-1 is not prime. Res64: 0F9E34112D4ECD8E Time : 0.0 sec. user=mdettweiler [2016-08-04 05:15:51] 843*2^1436639-1 is not prime. Res64: F7AEAA968C0DDF38 Time : 0.0 sec. user=mdettweiler [2016-08-04 05:15:52] 895*2^1436639-1 is not prime. Res64: 0DC25DF0AAAD727A Time : 0.0 sec. user=mdettweiler [2016-08-04 05:20:47] 909*2^1436639-1 is not prime. Res64: C380D6CC0030BFA8 Time : 0.0 sec. user=mdettweiler [2016-08-04 05:20:47] 973*2^1436639-1 is not prime. Res64: 09315E5DFBA78029 Time : 0.0 sec. user=mdettweiler [2016-08-04 05:20:47] 979*2^1436639-1 is not prime. Res64: 3758E6C440360718 Time : 0.0 sec. user=mdettweiler [2016-08-04 05:20:48] 707*2^1436640-1 is not prime. Res64: 58A6C6BA5AC306FF Time : 0.0 sec. user=mdettweiler [2016-08-04 05:20:48] 843*2^1436640-1 is not prime. Res64: D189B3EFEA35CE3B Time : 0.0 sec. user=mdettweiler [2016-08-04 05:52:04] 987*2^1436626-1 is not prime. Res64: A74AE064904065DD Time : 0.0 sec. user=mdettweiler [2016-08-04 05:52:04] 601*2^1436627-1 is not prime. Res64: 9A8CD2B06CEDE49D Time : 0.0 sec. user=mdettweiler [2016-08-04 05:52:04] 759*2^1436627-1 is not prime. Res64: D0A104401A7A09C0 Time : 0.0 sec. user=mdettweiler [2016-08-04 05:52:04] 829*2^1436627-1 is not prime. Res64: 11FC39AE0CFEEBEA Time : 0.0 sec. user=mdettweiler [2016-08-04 05:52:05] 777*2^1436628-1 is not prime. Res64: D584CCC460675BF3 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:00:37] 845*2^1436640-1 is not prime. Res64: E0094EAB4F709FE4 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:00:38] 849*2^1436640-1 is not prime. Res64: 63EDB1EF6D6AF2A1 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:00:39] 857*2^1436640-1 is not prime. Res64: 3E3D901D8ECF53D6 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:00:39] 863*2^1436640-1 is not prime. Res64: 93B340A914613C42 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:00:40] 681*2^1436641-1 is not prime. Res64: 341E9507C426ED76 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:05:36] 623*2^1436642-1 is not prime. Res64: 6FDFFCD89E64795D Time : 0.0 sec. user=mdettweiler [2016-08-04 06:05:38] 741*2^1436642-1 is not prime. Res64: B4DE129BB5F5E9C1 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:05:40] 771*2^1436642-1 is not prime. Res64: B3CBBF36EB8B6471 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:05:41] 827*2^1436642-1 is not prime. Res64: 17900274F7A4BF40 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:05:42] 893*2^1436642-1 is not prime. Res64: AA542C95E9421426 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:36:20] 921*2^1436642-1 is not prime. Res64: 40799E6561A311F5 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:36:20] 945*2^1436642-1 is not prime. Res64: 572B9716DF2E88E1 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:36:20] 977*2^1436642-1 is not prime. Res64: 77B7144DCFA063E3 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:36:20] 609*2^1436643-1 is not prime. Res64: 8CC688D4733B0DE7 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:36:21] 751*2^1436643-1 is not prime. Res64: ED6F1F3CBEFD0857 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:44:59] 789*2^1436643-1 is not prime. Res64: 80B3568926DA30A2 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:44:59] 871*2^1436643-1 is not prime. Res64: E9E75F392D06448B Time : 0.0 sec. user=mdettweiler [2016-08-04 06:45:00] 955*2^1436643-1 is not prime. Res64: 9A70FA17E85EB2C7 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:45:00] 629*2^1436644-1 is not prime. Res64: 918576C5E5338E9D Time : 0.0 sec. user=mdettweiler [2016-08-04 06:45:00] 899*2^1436644-1 is not prime. Res64: 800EE680BBDAF5C2 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:50:08] 989*2^1436644-1 is not prime. Res64: C7C9827E1B0F82EA Time : 0.0 sec. user=mdettweiler [2016-08-04 06:50:08] 619*2^1436645-1 is not prime. Res64: ECBBC6D54078066A Time : 0.0 sec. user=mdettweiler [2016-08-04 06:50:08] 669*2^1436645-1 is not prime. Res64: 3A129BC64E609D38 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:50:09] 735*2^1436645-1 is not prime. Res64: 75A7FF4E4218A0B3 Time : 0.0 sec. user=mdettweiler [2016-08-04 06:50:09] 777*2^1436645-1 is not prime. Res64: 289AE54305204D7C Time : 0.0 sec. user=mdettweiler [2016-08-04 07:20:35] 799*2^1436645-1 is not prime. Res64: 7B62A8C2C488D6D4 Time : 0.0 sec. user=mdettweiler [2016-08-04 07:20:36] 677*2^1436646-1 is not prime. Res64: BE43B7DFBBB6B37F Time : 0.0 sec. user=mdettweiler [2016-08-04 07:20:36] 683*2^1436646-1 is not prime. Res64: C971D3E55931E39F Time : 0.0 sec. user=mdettweiler [2016-08-04 07:20:36] 717*2^1436646-1 is not prime. Res64: A7AB3CD8FE5F2529 Time : 0.0 sec. user=mdettweiler [2016-08-04 07:20:37] 725*2^1436646-1 is not prime. Res64: 3F16E8E70D2A5D21 Time : 0.0 sec. user=mdettweiler [2016-08-04 07:29:20] 783*2^1436646-1 is not prime. Res64: 1D78BF299615468B Time : 0.0 sec. user=mdettweiler [2016-08-04 07:29:21] 801*2^1436646-1 is not prime. Res64: 12523A28CFF07B53 Time : 0.0 sec. user=mdettweiler [2016-08-04 07:29:21] 851*2^1436646-1 is not prime. Res64: 1F27614045C20664 Time : 0.0 sec. user=mdettweiler [2016-08-04 07:29:21] 1001*2^1436646-1 is not prime. Res64: D4851071E37C1C9F Time : 0.0 sec. user=mdettweiler [2016-08-04 07:29:21] 633*2^1436647-1 is not prime. Res64: 000DA28FCBC3C5DC Time : 0.0 sec. user=mdettweiler [2016-08-04 07:34:25] 649*2^1436647-1 is not prime. Res64: E85D2782E978D340 Time : 0.0 sec. user=mdettweiler [2016-08-04 07:34:25] 703*2^1436647-1 is not prime. Res64: F7F4C2E0A4038563 Time : 0.0 sec. user=mdettweiler [2016-08-04 07:34:26] 715*2^1436647-1 is not prime. Res64: 2F211206D9DE2DDF Time : 0.0 sec. user=mdettweiler [2016-08-04 07:34:26] 765*2^1436647-1 is not prime. Res64: 6484F1EA3FC4393B Time : 0.0 sec. user=mdettweiler [2016-08-04 07:34:26] 829*2^1436647-1 is not prime. Res64: 88A091627BA2B529 Time : 0.0 sec. user=mdettweiler [2016-08-04 08:04:55] 885*2^1436647-1 is not prime. Res64: F3A258DEB0B8A669 Time : 0.0 sec. user=mdettweiler [2016-08-04 08:04:59] 909*2^1436647-1 is not prime. Res64: B0EB12D331A185CC Time : 0.0 sec. user=mdettweiler [2016-08-04 08:05:01] 979*2^1436647-1 is not prime. Res64: 1EBC958D1044BD8A Time : 0.0 sec. user=mdettweiler [2016-08-04 08:05:05] 617*2^1436648-1 is not prime. Res64: 6825B8B1E22621D4 Time : 0.0 sec. user=mdettweiler [2016-08-04 08:05:06] 629*2^1436648-1 is not prime. Res64: 967B87CA7B276707 Time : 0.0 sec. user=mdettweiler [2016-08-04 08:13:36] 669*2^1436648-1 is not prime. Res64: 7A182A321E3A93BC Time : 0.0 sec. user=mdettweiler [2016-08-04 08:13:36] 699*2^1436648-1 is not prime. Res64: AD615D93572CB949 Time : 0.0 sec. user=mdettweiler [2016-08-04 08:13:36] 713*2^1436648-1 is not prime. Res64: D3147B2A473B96E1 Time : 0.0 sec. user=mdettweiler [2016-08-04 08:13:37] 767*2^1436648-1 is not prime. Res64: F928178B39B1A451 Time : 0.0 sec. user=mdettweiler [2016-08-04 08:13:37] 789*2^1436648-1 is not prime. Res64: 8312593D466F641A Time : 0.0 sec. user=mdettweiler [2016-08-04 08:18:41] 803*2^1436648-1 is not prime. Res64: 939DED4F6DC89A87 Time : 0.0 sec. user=mdettweiler [2016-08-04 08:18:41] 825*2^1436648-1 is not prime. Res64: 911E8964F295842F Time : 0.0 sec. user=mdettweiler [2016-08-04 08:18:41] 845*2^1436648-1 is not prime. Res64: 3F3B341DB3F0ADF8 Time : 0.0 sec. user=mdettweiler [2016-08-04 08:18:41] 957*2^1436648-1 is not prime. Res64: 2A7DEFFD5114D19E Time : 0.0 sec. user=mdettweiler [2016-08-04 08:18:42] 627*2^1436649-1 is not prime. Res64: E56C5954F0A3D64D Time : 0.0 sec. user=mdettweiler [2016-08-04 08:49:26] 667*2^1436649-1 is not prime. Res64: 43ED35A5C6EED9FE Time : 0.0 sec. user=mdettweiler [2016-08-04 08:49:27] 709*2^1436649-1 is not prime. Res64: 4ACAF18A06A4F1BC Time : 0.0 sec. user=mdettweiler [2016-08-04 08:49:27] 741*2^1436649-1 is not prime. Res64: E243D47A9EE15F22 Time : 0.0 sec. user=mdettweiler [2016-08-04 08:49:27] 747*2^1436649-1 is not prime. Res64: FBB1C63CF90C4242 Time : 0.0 sec. user=mdettweiler [2016-08-04 08:49:27] 789*2^1436649-1 is not prime. Res64: 8628C1F01C8A1E35 Time : 0.0 sec. user=mdettweiler [2016-08-04 08:57:55] 831*2^1436649-1 is not prime. Res64: 194647C8D02973D9 Time : 0.0 sec. user=mdettweiler [2016-08-04 08:57:55] 861*2^1436649-1 is not prime. Res64: 79488B02900ECBD5 Time : 0.0 sec. user=mdettweiler [2016-08-04 08:57:55] 951*2^1436649-1 is not prime. Res64: 1D12F3256CBC057A Time : 0.0 sec. user=mdettweiler [2016-08-04 08:57:55] 975*2^1436649-1 is not prime. Res64: 579BA33F9DD78251 Time : 0.0 sec. user=mdettweiler [2016-08-04 08:57:56] 717*2^1436650-1 is not prime. Res64: B79ED1237ED2E3E8 Time : 0.0 sec. user=mdettweiler [2016-08-04 09:03:07] 923*2^1436650-1 is not prime. Res64: 101CB4517C542419 Time : 0.0 sec. user=mdettweiler [2016-08-04 09:03:07] 951*2^1436650-1 is not prime. Res64: 4E4CCFCF73A4C6E5 Time : 0.0 sec. user=mdettweiler [2016-08-04 09:03:11] 987*2^1436650-1 is not prime. Res64: 8332A9D80905CB2E Time : 0.0 sec. user=mdettweiler [2016-08-04 09:03:11] 663*2^1436651-1 is not prime. Res64: B77F3BA79E1FAA17 Time : 0.0 sec. user=mdettweiler [2016-08-04 09:03:12] 675*2^1436651-1 is not prime. Res64: 878BC35C61DEC43D Time : 0.0 sec. user=mdettweiler [2016-08-04 09:33:58] 685*2^1436651-1 is not prime. Res64: 90E72D8529EBE974 Time : 0.0 sec. user=mdettweiler [2016-08-04 09:33:59] 741*2^1436651-1 is not prime. Res64: A5E4B2B4D4A706E3 Time : 0.0 sec. user=mdettweiler [2016-08-04 09:33:59] 903*2^1436651-1 is not prime. Res64: B2FD7CA4C5D92ADA Time : 0.0 sec. user=mdettweiler [2016-08-04 09:33:59] 623*2^1436652-1 is not prime. Res64: BA85F985CE467E6B Time : 0.0 sec. user=mdettweiler [2016-08-04 09:33:59] 635*2^1436652-1 is not prime. Res64: C12CF643FD8AA384 Time : 0.0 sec. user=mdettweiler [2016-08-04 09:42:28] 699*2^1436652-1 is not prime. Res64: B23F3A104D1DBD7D Time : 0.0 sec. user=mdettweiler [2016-08-04 09:42:29] 779*2^1436652-1 is not prime. Res64: 8FB69AB1D0FE5EBA Time : 0.0 sec. user=mdettweiler [2016-08-04 09:42:29] 879*2^1436652-1 is not prime. Res64: DEABCA3DCEFD5965 Time : 0.0 sec. user=mdettweiler [2016-08-04 09:42:29] 983*2^1436652-1 is not prime. Res64: C022D614A459719A Time : 0.0 sec. user=mdettweiler [2016-08-04 09:42:30] 615*2^1436653-1 is not prime. Res64: B6F8A48DDCFB7911 Time : 0.0 sec. user=mdettweiler [2016-08-04 09:47:46] 831*2^1436653-1 is not prime. Res64: A9DD905A6327CED2 Time : 0.0 sec. user=mdettweiler [2016-08-04 09:47:46] 915*2^1436653-1 is not prime. Res64: 5A450FB425421FD1 Time : 0.0 sec. user=mdettweiler [2016-08-04 09:47:46] 663*2^1436654-1 is not prime. Res64: 02D25105F51E1B57 Time : 0.0 sec. user=mdettweiler [2016-08-04 09:47:46] 741*2^1436654-1 is not prime. Res64: E9926A2925B249CC Time : 0.0 sec. user=mdettweiler [2016-08-04 09:47:47] 753*2^1436654-1 is not prime. Res64: 5C4C3BAC17436174 Time : 0.0 sec. user=mdettweiler [2016-08-04 10:18:27] 861*2^1436654-1 is not prime. Res64: D54C9B2D9C6DC295 Time : 0.0 sec. user=mdettweiler [2016-08-04 10:18:28] 971*2^1436654-1 is not prime. Res64: 198AB7FE26D9E7FC Time : 0.0 sec. user=mdettweiler [2016-08-04 10:18:29] 1001*2^1436654-1 is not prime. Res64: E2AB9D30DA3B115E Time : 0.0 sec. user=mdettweiler [2016-08-04 10:18:30] 679*2^1436655-1 is not prime. Res64: 9B8AE0B19034AF84 Time : 0.0 sec. user=mdettweiler [2016-08-04 10:18:30] 789*2^1436655-1 is not prime. Res64: 3972A14C03C7C719 Time : 0.0 sec. user=mdettweiler [2016-08-04 10:27:05] 793*2^1436655-1 is not prime. Res64: DE5C8D9AE1EC8B39 Time : 0.0 sec. user=mdettweiler [2016-08-04 10:27:06] 963*2^1436655-1 is not prime. Res64: B6FD3C3DC2344471 Time : 0.0 sec. user=mdettweiler [2016-08-04 10:27:06] 985*2^1436655-1 is not prime. Res64: E5DAFC573662E7C0 Time : 0.0 sec. user=mdettweiler [2016-08-04 10:27:06] 603*2^1436656-1 is not prime. Res64: 8AD9F5312F965E69 Time : 0.0 sec. user=mdettweiler [2016-08-04 10:27:06] 639*2^1436656-1 is not prime. Res64: 588006D504E6040C Time : 0.0 sec. user=mdettweiler [2016-08-04 10:32:23] 807*2^1436656-1 is not prime. Res64: 85E78237FB525E45 Time : 0.0 sec. user=mdettweiler [2016-08-04 10:32:24] 855*2^1436656-1 is not prime. Res64: AEBBDD196BB1D51C Time : 0.0 sec. user=mdettweiler [2016-08-04 10:32:24] 923*2^1436656-1 is not prime. Res64: ABCFBB774F36C89D Time : 0.0 sec. user=mdettweiler [2016-08-04 10:32:24] 993*2^1436656-1 is not prime. Res64: D0ABB967A42718D1 Time : 0.0 sec. user=mdettweiler [2016-08-04 10:32:24] 607*2^1436657-1 is not prime. Res64: 4DAC12952DF56337 Time : 0.0 sec. user=mdettweiler [2016-08-04 11:03:15] 697*2^1436657-1 is not prime. Res64: 0E2D2DDFA26823EE Time : 0.0 sec. user=mdettweiler [2016-08-04 11:03:16] 805*2^1436657-1 is not prime. Res64: D9241AC133B87362 Time : 0.0 sec. user=mdettweiler [2016-08-04 11:03:17] 837*2^1436657-1 is not prime. Res64: 998FB4E2C4426A18 Time : 0.0 sec. user=mdettweiler [2016-08-04 11:03:18] 885*2^1436657-1 is not prime. Res64: F686CD4F6412012F Time : 0.0 sec. user=mdettweiler [2016-08-04 11:03:19] 945*2^1436657-1 is not prime. Res64: 1EE29C0BAC6BDA79 Time : 0.0 sec. user=mdettweiler [2016-08-04 11:11:50] 955*2^1436657-1 is not prime. Res64: DB69B32195D34927 Time : 0.0 sec. user=mdettweiler [2016-08-04 11:11:50] 605*2^1436658-1 is not prime. Res64: 0A8CDF0F0115F193 Time : 0.0 sec. user=mdettweiler [2016-08-04 11:11:51] 641*2^1436658-1 is not prime. Res64: CFBC79BEEF0FDB70 Time : 0.0 sec. user=mdettweiler [2016-08-04 11:11:51] 681*2^1436658-1 is not prime. Res64: 653AF3F5FF550C4B Time : 0.0 sec. user=mdettweiler [2016-08-04 11:11:51] 737*2^1436658-1 is not prime. Res64: 883658A6A71515D7 Time : 0.0 sec. user=mdettweiler [2016-08-04 11:17:07] 633*2^1436659-1 is not prime. Res64: 1984FD3800758F14 Time : 0.0 sec. user=mdettweiler [2016-08-04 11:17:08] 645*2^1436659-1 is not prime. Res64: EF7438026987FBCD Time : 0.0 sec. user=mdettweiler [2016-08-04 11:17:08] 691*2^1436659-1 is not prime. Res64: 94DEA482A0FEE373 Time : 0.0 sec. user=mdettweiler [2016-08-04 11:17:08] 723*2^1436659-1 is not prime. Res64: FD51CCBE9A7051A2 Time : 0.0 sec. user=mdettweiler [2016-08-04 11:17:08] 633*2^1436660-1 is not prime. Res64: 09CE92E632E04D8C Time : 0.0 sec. user=mdettweiler [2016-08-04 11:47:44] 735*2^1436660-1 is not prime. Res64: 7C35DF9332A748CC Time : 0.0 sec. user=mdettweiler [2016-08-04 11:47:44] 797*2^1436660-1 is not prime. Res64: 0CA6C535229A2310 Time : 0.0 sec. user=mdettweiler [2016-08-04 11:47:44] 855*2^1436660-1 is not prime. Res64: 46BD5AD32592B00F Time : 0.0 sec. user=mdettweiler [2016-08-04 11:47:45] 879*2^1436660-1 is not prime. Res64: E0D1E34BB2C8FCE5 Time : 0.0 sec. user=mdettweiler [2016-08-04 11:47:45] 899*2^1436660-1 is not prime. Res64: 41E41B743A70FBF0 Time : 0.0 sec. user=mdettweiler [2016-08-04 11:56:05] 983*2^1436660-1 is not prime. Res64: C69643B3DC04CF90 Time : 0.0 sec. user=mdettweiler [2016-08-04 11:56:05] 625*2^1436661-1 is not prime. Res64: B9262B28051167BD Time : 0.0 sec. user=mdettweiler [2016-08-04 11:56:08] 657*2^1436661-1 is not prime. Res64: 61D404961E5FD23D Time : 0.0 sec. user=mdettweiler [2016-08-04 11:56:08] 691*2^1436661-1 is not prime. Res64: 63AF85D99184DABF Time : 0.0 sec. user=mdettweiler [2016-08-04 11:56:08] 717*2^1436661-1 is not prime. Res64: A0AC856DDE9C76DE Time : 0.0 sec. user=mdettweiler [2016-08-04 12:01:13] 781*2^1436661-1 is not prime. Res64: 1991622A93D313FB Time : 0.0 sec. user=mdettweiler [2016-08-04 12:01:14] 997*2^1436661-1 is not prime. Res64: 7DBFBE343096D8C7 Time : 0.0 sec. user=mdettweiler [2016-08-04 12:01:14] 705*2^1436662-1 is not prime. Res64: CF1588A9E067B0D3 Time : 0.0 sec. user=mdettweiler [2016-08-04 12:01:15] 741*2^1436662-1 is not prime. Res64: 9E6C3963170D7FC3 Time : 0.0 sec. user=mdettweiler [2016-08-04 12:01:16] 785*2^1436662-1 is not prime. Res64: FA8802DC5F9FE380 Time : 0.0 sec. user=mdettweiler [2016-08-04 12:31:47] 881*2^1436662-1 is not prime. Res64: 3A01C151F9C57A89 Time : 0.0 sec. user=mdettweiler [2016-08-04 12:31:48] 917*2^1436662-1 is not prime. Res64: 3799BF6200AC1689 Time : 0.0 sec. user=mdettweiler [2016-08-04 12:31:48] 947*2^1436662-1 is not prime. Res64: 3EA3720BB5D60F3A Time : 0.0 sec. user=mdettweiler [2016-08-04 12:31:48] 987*2^1436662-1 is not prime. Res64: ABF9C21ACF68D499 Time : 0.0 sec. user=mdettweiler [2016-08-04 12:31:49] 609*2^1436663-1 is not prime. Res64: 0BD31C3A2FE47481 Time : 0.0 sec. user=mdettweiler [2016-08-04 12:40:19] 685*2^1436663-1 is not prime. Res64: 1E0CD19F401D386B Time : 0.0 sec. user=mdettweiler [2016-08-04 12:40:19] 811*2^1436663-1 is not prime. Res64: 5B8C040CF6627FFB Time : 0.0 sec. user=mdettweiler [2016-08-04 12:40:19] 819*2^1436663-1 is not prime. Res64: 5A2AC1AC3332A132 Time : 0.0 sec. user=mdettweiler [2016-08-04 12:40:20] 861*2^1436663-1 is not prime. Res64: 5D8D85969F845863 Time : 0.0 sec. user=mdettweiler [2016-08-04 12:40:20] 973*2^1436663-1 is not prime. Res64: 6FDC39619977FD5C Time : 0.0 sec. user=mdettweiler [2016-08-04 12:45:27] 657*2^1436664-1 is not prime. Res64: 744D0173CEAA4B3E Time : 0.0 sec. user=mdettweiler [2016-08-04 12:45:27] 693*2^1436664-1 is not prime. Res64: DC62D2341E48B343 Time : 0.0 sec. user=mdettweiler [2016-08-04 12:45:28] 759*2^1436664-1 is not prime. Res64: 21446E460D3E89B9 Time : 0.0 sec. user=mdettweiler [2016-08-04 12:45:28] 795*2^1436664-1 is not prime. Res64: 4BFB16F14CB12692 Time : 0.0 sec. user=mdettweiler [2016-08-04 12:45:28] 857*2^1436664-1 is not prime. Res64: B40A9679C4FCA5AD Time : 0.0 sec. user=mdettweiler [2016-08-04 13:15:55] 717*2^1436665-1 is not prime. Res64: 7189F04C42A75718 Time : 0.0 sec. user=mdettweiler [2016-08-04 13:15:56] 721*2^1436665-1 is not prime. Res64: 4FBE7991C3AC8952 Time : 0.0 sec. user=mdettweiler [2016-08-04 13:15:56] 817*2^1436665-1 is not prime. Res64: B2C2E4CE5EA13770 Time : 0.0 sec. user=mdettweiler [2016-08-04 13:15:56] 867*2^1436665-1 is not prime. Res64: 1A217243A315DD2F Time : 0.0 sec. user=mdettweiler [2016-08-04 13:15:57] 877*2^1436665-1 is not prime. Res64: 2C4FCB2830699F01 Time : 0.0 sec. user=mdettweiler [2016-08-04 13:24:30] 987*2^1436665-1 is not prime. Res64: 218892E0D2D5BFAD Time : 0.0 sec. user=mdettweiler [2016-08-04 13:24:30] 999*2^1436665-1 is not prime. Res64: F08F0B97B8F227D2 Time : 0.0 sec. user=mdettweiler [2016-08-04 13:24:33] 671*2^1436666-1 is not prime. Res64: 22889E69F1B98BB2 Time : 0.0 sec. user=mdettweiler [2016-08-04 13:24:33] 683*2^1436666-1 is not prime. Res64: E321DEAA99BC5845 Time : 0.0 sec. user=mdettweiler [2016-08-04 13:24:34] 701*2^1436666-1 is not prime. Res64: 4B2C4032A6516ABE Time : 0.0 sec. user=mdettweiler [2016-08-04 13:29:36] 785*2^1436666-1 is not prime. Res64: 7EE88636B644A0E4 Time : 0.0 sec. user=mdettweiler [2016-08-04 13:29:36] 801*2^1436666-1 is not prime. Res64: 3271CB2F27DB4C7F Time : 0.0 sec. user=mdettweiler [2016-08-04 13:29:36] 825*2^1436666-1 is not prime. Res64: F40DAC307CA69953 Time : 0.0 sec. user=mdettweiler [2016-08-04 13:29:36] 843*2^1436666-1 is not prime. Res64: 70D17AE37F043558 Time : 0.0 sec. user=mdettweiler [2016-08-04 13:29:37] 867*2^1436666-1 is not prime. Res64: 10C360C245B931A5 Time : 0.0 sec. user=mdettweiler [2016-08-04 14:00:06] 893*2^1436666-1 is not prime. Res64: C53E57F1B38C5E2F Time : 0.0 sec. user=mdettweiler [2016-08-04 14:00:07] 917*2^1436666-1 is not prime. Res64: B6C2205FE02CA792 Time : 0.0 sec. user=mdettweiler [2016-08-04 14:00:07] 651*2^1436667-1 is not prime. Res64: 7AB3E369390233B0 Time : 0.0 sec. user=mdettweiler [2016-08-04 14:00:07] 741*2^1436667-1 is not prime. Res64: 20634C395F85A29D Time : 0.0 sec. user=mdettweiler [2016-08-04 14:00:07] 835*2^1436667-1 is not prime. Res64: DC3F7E9AA212131D Time : 0.0 sec. user=mdettweiler [2016-08-04 14:08:40] 849*2^1436667-1 is not prime. Res64: F3054542CB2451BE Time : 0.0 sec. user=mdettweiler [2016-08-04 14:08:40] 859*2^1436667-1 is not prime. Res64: 51739CB517F36C35 Time : 0.0 sec. user=mdettweiler [2016-08-04 14:08:40] 949*2^1436667-1 is not prime. Res64: 70310A416ACA8F47 Time : 0.0 sec. user=mdettweiler [2016-08-04 14:08:40] 975*2^1436667-1 is not prime. Res64: 94356DF3558A5E25 Time : 0.0 sec. user=mdettweiler [2016-08-04 14:08:41] 605*2^1436668-1 is not prime. Res64: 7D5235E3D93460B3 Time : 0.0 sec. user=mdettweiler [2016-08-04 14:13:45] 687*2^1436668-1 is not prime. Res64: 516D2EEE3719A07B Time : 0.0 sec. user=mdettweiler [2016-08-04 14:13:46] 705*2^1436668-1 is not prime. Res64: 5965F2A84074CABC Time : 0.0 sec. user=mdettweiler [2016-08-04 14:13:46] 743*2^1436668-1 is not prime. Res64: 030E12438097D7DA Time : 0.0 sec. user=mdettweiler [2016-08-04 14:13:46] 839*2^1436668-1 is not prime. Res64: 79E4DEBF0839C40F Time : 0.0 sec. user=mdettweiler [2016-08-04 14:13:46] 845*2^1436668-1 is not prime. Res64: 1345D675AC2F468B Time : 0.0 sec. user=mdettweiler [2016-08-04 14:44:14] 905*2^1436668-1 is not prime. Res64: FD07C9B4750A9AAE Time : 0.0 sec. user=mdettweiler [2016-08-04 14:44:14] 959*2^1436668-1 is not prime. Res64: 646A6F1792340509 Time : 0.0 sec. user=mdettweiler [2016-08-04 14:44:14] 969*2^1436668-1 is not prime. Res64: A9DA52AF62A0E313 Time : 0.0 sec. user=mdettweiler [2016-08-04 14:44:15] 615*2^1436669-1 is not prime. Res64: 843B6DD569D0BC95 Time : 0.0 sec. user=mdettweiler [2016-08-04 14:44:15] 675*2^1436669-1 is not prime. Res64: 998BAE96721FD2E1 Time : 0.0 sec. user=mdettweiler [2016-08-04 14:52:56] 679*2^1436669-1 is not prime. Res64: 0EFC9512CAEA7DF8 Time : 0.0 sec. user=mdettweiler [2016-08-04 14:52:56] 727*2^1436669-1 is not prime. Res64: 47D95E721F1C2418 Time : 0.0 sec. user=mdettweiler [2016-08-04 14:52:57] 795*2^1436669-1 is not prime. Res64: EE7BA1899F339E8D Time : 0.0 sec. user=mdettweiler [2016-08-04 14:52:57] 837*2^1436669-1 is not prime. Res64: 7CD09A9430AA69CD Time : 0.0 sec. user=mdettweiler [2016-08-04 14:52:57] 713*2^1436670-1 is not prime. Res64: 7364825EEF56FD2F Time : 0.0 sec. user=mdettweiler [2016-08-04 14:58:01] 741*2^1436670-1 is not prime. Res64: 1106233BEB8940A4 Time : 0.0 sec. user=mdettweiler [2016-08-04 14:58:02] 783*2^1436670-1 is not prime. Res64: 61193DF8B592EC86 Time : 0.0 sec. user=mdettweiler [2016-08-04 14:58:02] 891*2^1436670-1 is not prime. Res64: 2AFE385D515BFBD0 Time : 0.0 sec. user=mdettweiler [2016-08-04 14:58:02] 945*2^1436670-1 is not prime. Res64: 53C3EAC8B7FD7086 Time : 0.0 sec. user=mdettweiler [2016-08-04 14:58:02] 603*2^1436671-1 is not prime. Res64: B0E14BEDBF7A3886 Time : 0.0 sec. user=juhehe [2016-08-04 15:12:54] 649*2^1436671-1 is not prime. Res64: 0A526B2CA5A9F460 Time : 0.0 sec. user=mdettweiler [2016-08-04 15:28:20] 693*2^1436671-1 is not prime. Res64: 35C726E629102416 Time : 0.0 sec. user=mdettweiler [2016-08-04 15:28:21] 745*2^1436671-1 is not prime. Res64: 5A3C0AFCA9EEFC15 Time : 0.0 sec. user=mdettweiler [2016-08-04 15:28:21] 759*2^1436671-1 is not prime. Res64: 723AB2B8ED641AFF Time : 0.0 sec. user=mdettweiler [2016-08-04 15:28:21] 849*2^1436671-1 is not prime. Res64: 7582F9CA3D51381A Time : 0.0 sec. user=mdettweiler [2016-08-04 15:28:22] 859*2^1436671-1 is not prime. Res64: C4E006E4B7368B15 Time : 0.0 sec. user=mdettweiler [2016-08-04 15:37:10] 993*2^1436671-1 is not prime. Res64: 0D9176BAB15D10C1 Time : 0.0 sec. user=mdettweiler [2016-08-04 15:37:11] 635*2^1436672-1 is not prime. Res64: 032983667394174F Time : 0.0 sec. user=mdettweiler [2016-08-04 15:37:11] 645*2^1436672-1 is not prime. Res64: 98FE543D6F0A3EA9 Time : 0.0 sec. user=mdettweiler [2016-08-04 15:37:11] 687*2^1436672-1 is not prime. Res64: 87C105C4E434CDAD Time : 0.0 sec. user=mdettweiler [2016-08-04 15:37:11] 713*2^1436672-1 is not prime. Res64: 40B92FEAC7A7FA45 Time : 0.0 sec. user=mdettweiler [2016-08-04 15:42:13] 735*2^1436672-1 is not prime. Res64: 45907630465C6C16 Time : 0.0 sec. user=mdettweiler [2016-08-04 15:42:13] 759*2^1436672-1 is not prime. Res64: 1117340B79E3AE4E Time : 0.0 sec. user=mdettweiler [2016-08-04 15:42:13] 767*2^1436672-1 is not prime. Res64: 6B4745ABB4AE0596 Time : 0.0 sec. user=mdettweiler [2016-08-04 15:42:13] 827*2^1436672-1 is not prime. Res64: 949A7998E35EBDBE Time : 0.0 sec. user=mdettweiler [2016-08-04 15:42:14] 875*2^1436672-1 is not prime. Res64: D2B5085760235B7E Time : 0.0 sec. user=mdettweiler [2016-08-04 16:12:30] 811*2^1436673-1 is not prime. Res64: 2AA5D8B104D38C18 Time : 0.0 sec. user=mdettweiler [2016-08-04 16:12:31] 819*2^1436673-1 is not prime. Res64: 933C53EF07C76FBA Time : 0.0 sec. user=mdettweiler [2016-08-04 16:12:31] 915*2^1436673-1 is not prime. Res64: E207208A528B0F6E Time : 0.0 sec. user=mdettweiler [2016-08-04 16:12:31] 657*2^1436674-1 is not prime. Res64: 599E2BF066CF990A Time : 0.0 sec. user=mdettweiler [2016-08-04 16:12:32] 821*2^1436674-1 is not prime. Res64: 7E76ECE6F384DF9F Time : 0.0 sec. user=mdettweiler [2016-08-04 16:21:18] 825*2^1436674-1 is not prime. Res64: 5494EF417A91C5DF Time : 0.0 sec. user=mdettweiler [2016-08-04 16:21:18] 903*2^1436674-1 is not prime. Res64: D24D6DA54CE26E0A Time : 0.0 sec. user=mdettweiler [2016-08-04 16:21:19] 915*2^1436674-1 is not prime. Res64: A90BE4A6007C52E0 Time : 0.0 sec. user=mdettweiler [2016-08-04 16:21:19] 663*2^1436675-1 is not prime. Res64: 98ECF6E4E8067776 Time : 0.0 sec. user=mdettweiler [2016-08-04 16:21:19] 669*2^1436675-1 is not prime. Res64: 37849EB19A29DC01 Time : 0.0 sec. user=mdettweiler [2016-08-04 16:26:18] 675*2^1436675-1 is not prime. Res64: 593815A7F80749FC Time : 0.0 sec. user=mdettweiler [2016-08-04 16:26:18] 685*2^1436675-1 is not prime. Res64: AE131D5AC66A9D49 Time : 0.0 sec. user=mdettweiler [2016-08-04 16:26:18] 715*2^1436675-1 is not prime. Res64: E43BA58AEE11C3D9 Time : 0.0 sec. user=mdettweiler [2016-08-04 16:26:18] 943*2^1436675-1 is not prime. Res64: 7A4DABDE66C65AFC Time : 0.0 sec. user=mdettweiler [2016-08-04 16:26:19] 749*2^1436676-1 is not prime. Res64: 48A55005F82F6D44 Time : 0.0 sec. user=mdettweiler [2016-08-04 16:56:35] 777*2^1436676-1 is not prime. Res64: 345E99153E6F7CBB Time : 0.0 sec. user=mdettweiler [2016-08-04 16:56:36] 887*2^1436676-1 is not prime. Res64: C33AFA48C101FAED Time : 0.0 sec. user=mdettweiler [2016-08-04 16:56:36] 893*2^1436676-1 is not prime. Res64: 8AB77DC9F4262EB9 Time : 0.0 sec. user=mdettweiler [2016-08-04 16:56:36] 615*2^1436677-1 is not prime. Res64: 1395F4AEF23D8E11 Time : 0.0 sec. user=mdettweiler [2016-08-04 16:56:36] 619*2^1436677-1 is not prime. Res64: 36EE9C7149F1014A Time : 0.0 sec. user=mdettweiler [2016-08-04 17:05:24] 715*2^1436677-1 is not prime. Res64: E3A6ADA9900B2A83 Time : 0.0 sec. user=mdettweiler [2016-08-04 17:05:25] 717*2^1436677-1 is not prime. Res64: 0AE9A2482D7D936B Time : 0.0 sec. user=mdettweiler [2016-08-04 17:05:26] 751*2^1436677-1 is not prime. Res64: 4D22F381D07A9F64 Time : 0.0 sec. user=mdettweiler [2016-08-04 17:05:28] 817*2^1436677-1 is not prime. Res64: 9AE576244E543BDD Time : 0.0 sec. user=mdettweiler [2016-08-04 17:05:29] 885*2^1436677-1 is not prime. Res64: 569250251AA8F476 Time : 0.0 sec. user=mdettweiler [2016-08-04 17:10:24] 955*2^1436677-1 is not prime. Res64: 5E9E489556C38CB9 Time : 0.0 sec. user=mdettweiler [2016-08-04 17:10:25] 635*2^1436678-1 is not prime. Res64: 809802114AAFA7F2 Time : 0.0 sec. user=mdettweiler [2016-08-04 17:10:25] 687*2^1436678-1 is not prime. Res64: CF6FE71979F1FA88 Time : 0.0 sec. user=mdettweiler [2016-08-04 17:10:25] 711*2^1436678-1 is not prime. Res64: 7ADF82E1F4E1437B Time : 0.0 sec. user=mdettweiler [2016-08-04 17:10:25] 867*2^1436678-1 is not prime. Res64: 19B237AD3A5F1524 Time : 0.0 sec. user=mdettweiler [2016-08-04 17:40:42] 875*2^1436678-1 is not prime. Res64: 3A6669E77C99CD2E Time : 0.0 sec. user=mdettweiler [2016-08-04 17:40:43] 911*2^1436678-1 is not prime. Res64: 0B20E768A87F1AC3 Time : 0.0 sec. user=mdettweiler [2016-08-04 17:40:43] 953*2^1436678-1 is not prime. Res64: F3FECAB00827CEA2 Time : 0.0 sec. user=mdettweiler [2016-08-04 17:40:43] 625*2^1436679-1 is not prime. Res64: 0E068D3F37C092CE Time : 0.0 sec. user=mdettweiler [2016-08-04 17:40:43] 639*2^1436679-1 is not prime. Res64: 7430F5FED68182D1 Time : 0.0 sec. user=mdettweiler [2016-08-04 17:49:48] 741*2^1436679-1 is not prime. Res64: EADF22E87DB877DD Time : 0.0 sec. user=mdettweiler [2016-08-04 17:49:48] 829*2^1436679-1 is not prime. Res64: 2A15394EF090409C Time : 0.0 sec. user=mdettweiler [2016-08-04 17:49:48] 913*2^1436679-1 is not prime. Res64: 8E0DF87AA955714D Time : 0.0 sec. user=mdettweiler [2016-08-04 17:49:49] 955*2^1436679-1 is not prime. Res64: AFA44EC3A5E0323C Time : 0.0 sec. user=mdettweiler [2016-08-04 17:49:49] 975*2^1436679-1 is not prime. Res64: F91A7392EDB94CB3 Time : 0.0 sec. user=mdettweiler [2016-08-04 17:54:35] 979*2^1436679-1 is not prime. Res64: 8D83CE6860117E10 Time : 0.0 sec. user=mdettweiler [2016-08-04 17:54:35] 675*2^1436680-1 is not prime. Res64: DFC7AF72063F2D45 Time : 0.0 sec. user=mdettweiler [2016-08-04 17:54:35] 677*2^1436680-1 is not prime. Res64: 4DDAA57A39F530DD Time : 0.0 sec. user=mdettweiler [2016-08-04 17:54:36] 687*2^1436680-1 is not prime. Res64: 6760E49109D45C75 Time : 0.0 sec. user=mdettweiler [2016-08-04 17:54:36] 713*2^1436680-1 is not prime. Res64: D1347793FE31A34E Time : 0.0 sec. user=mdettweiler [2016-08-04 18:24:50] 827*2^1436680-1 is not prime. Res64: 02D59C6928CF8889 Time : 0.0 sec. user=mdettweiler [2016-08-04 18:24:54] 875*2^1436680-1 is not prime. Res64: C959BA8E83207C0D Time : 0.0 sec. user=mdettweiler [2016-08-04 18:24:54] 927*2^1436680-1 is not prime. Res64: 3A836AE22C0C535B Time : 0.0 sec. user=mdettweiler [2016-08-04 18:24:54] 965*2^1436680-1 is not prime. Res64: 53BDDD38C3D171BF Time : 0.0 sec. user=mdettweiler [2016-08-04 18:24:54] 989*2^1436680-1 is not prime. Res64: EDD849F557AC20B5 Time : 0.0 sec. user=mdettweiler [2016-08-04 18:33:55] 637*2^1436681-1 is not prime. Res64: 651D49FC59A7FAB3 Time : 0.0 sec. user=mdettweiler [2016-08-04 18:33:55] 685*2^1436681-1 is not prime. Res64: 3F0379A119AC2DCC Time : 0.0 sec. user=mdettweiler [2016-08-04 18:33:55] 819*2^1436681-1 is not prime. Res64: 5C83D5ED279E1325 Time : 0.0 sec. user=mdettweiler [2016-08-04 18:33:55] 855*2^1436681-1 is not prime. Res64: FD36D08E66225681 Time : 0.0 sec. user=mdettweiler [2016-08-04 18:33:56] 949*2^1436681-1 is not prime. Res64: 2148E901B874D4E8 Time : 0.0 sec. user=mdettweiler [2016-08-04 18:38:42] 967*2^1436681-1 is not prime. Res64: BC1F609DB3354075 Time : 0.0 sec. user=mdettweiler [2016-08-04 18:38:42] 621*2^1436682-1 is not prime. Res64: 49F50ED9F6712956 Time : 0.0 sec. user=mdettweiler [2016-08-04 18:38:42] 665*2^1436682-1 is not prime. Res64: 78C845D3053E4DAA Time : 0.0 sec. user=mdettweiler [2016-08-04 18:38:42] 713*2^1436682-1 is not prime. Res64: 0B12D1F403B3791A Time : 0.0 sec. user=mdettweiler [2016-08-04 18:38:43] 717*2^1436682-1 is not prime. Res64: 3D7E63EC9A047B70 Time : 0.0 sec. user=mdettweiler [2016-08-04 19:09:11] 755*2^1436682-1 is not prime. Res64: 413541CC7DB016E9 Time : 0.0 sec. user=mdettweiler [2016-08-04 19:09:11] 797*2^1436682-1 is not prime. Res64: 3FABA94463B79DC8 Time : 0.0 sec. user=mdettweiler [2016-08-04 19:09:12] 837*2^1436682-1 is not prime. Res64: 1BA5878E04C6AFC0 Time : 0.0 sec. user=mdettweiler [2016-08-04 19:09:12] 873*2^1436682-1 is not prime. Res64: 4EC65895AAB83121 Time : 0.0 sec. user=mdettweiler [2016-08-04 19:09:12] 885*2^1436682-1 is not prime. Res64: 750B6EFA77D85580 Time : 0.0 sec. user=mdettweiler [2016-08-04 19:18:12] 887*2^1436682-1 is not prime. Res64: 82AC9E65A814C17A Time : 0.0 sec. user=mdettweiler [2016-08-04 19:18:12] 951*2^1436682-1 is not prime. Res64: 6BA6DA051773B272 Time : 0.0 sec. user=mdettweiler [2016-08-04 19:18:13] 813*2^1436683-1 is not prime. Res64: 338DFA19F352D35D Time : 0.0 sec. user=mdettweiler [2016-08-04 19:18:13] 901*2^1436683-1 is not prime. Res64: 377DF39918E00F73 Time : 0.0 sec. user=mdettweiler [2016-08-04 19:18:14] 743*2^1436684-1 is not prime. Res64: 543D9B05A8D82C70 Time : 0.0 sec. user=mdettweiler [2016-08-04 19:22:55] 789*2^1436684-1 is not prime. Res64: F2F401E83443EDE4 Time : 0.0 sec. user=mdettweiler [2016-08-04 19:22:56] 875*2^1436684-1 is not prime. Res64: 7E9E362506D38E08 Time : 0.0 sec. user=mdettweiler [2016-08-04 19:22:56] 903*2^1436684-1 is not prime. Res64: D004789BE6A6AB81 Time : 0.0 sec. user=mdettweiler [2016-08-04 19:22:56] 927*2^1436684-1 is not prime. Res64: 7BFFC920D6C96F10 Time : 0.0 sec. user=mdettweiler [2016-08-04 19:22:57] 929*2^1436684-1 is not prime. Res64: 6D1D77FCC33D4A0F Time : 0.0 sec. user=mdettweiler [2016-08-04 19:53:19] 935*2^1436684-1 is not prime. Res64: E005F597D92A0DA6 Time : 0.0 sec. user=mdettweiler [2016-08-04 19:53:19] 607*2^1436685-1 is not prime. Res64: B58B42DD21313503 Time : 0.0 sec. user=mdettweiler [2016-08-04 19:53:20] 651*2^1436685-1 is not prime. Res64: 54AFD81016D361B6 Time : 0.0 sec. user=mdettweiler [2016-08-04 19:53:20] 657*2^1436685-1 is not prime. Res64: A8557FBF89C2F2D3 Time : 0.0 sec. user=mdettweiler [2016-08-04 19:53:21] 741*2^1436685-1 is not prime. Res64: DBC0E755CF4C9829 Time : 0.0 sec. user=mdettweiler [2016-08-04 20:02:26] 781*2^1436685-1 is not prime. Res64: EFD48760CB71295D Time : 0.0 sec. user=mdettweiler [2016-08-04 20:02:27] 805*2^1436685-1 is not prime. Res64: 63F7A12DA0A55307 Time : 0.0 sec. user=mdettweiler [2016-08-04 20:02:28] 831*2^1436685-1 is not prime. Res64: 1AE2A121E8A8C1DD Time : 0.0 sec. user=mdettweiler [2016-08-04 20:02:28] 847*2^1436685-1 is not prime. Res64: 2AC3D007BE160BB6 Time : 0.0 sec. user=mdettweiler [2016-08-04 20:02:28] 867*2^1436685-1 is not prime. Res64: 19B4F71D6B08DC28 Time : 0.0 sec. user=mdettweiler [2016-08-04 20:07:05] 889*2^1436685-1 is not prime. Res64: 7231A64CC79896F2 Time : 0.0 sec. user=mdettweiler [2016-08-04 20:07:05] 999*2^1436685-1 is not prime. Res64: 5A23A93A6BA42AA3 Time : 0.0 sec. user=mdettweiler [2016-08-04 20:07:05] 645*2^1436686-1 is not prime. Res64: 735464CDC793019D Time : 0.0 sec. user=mdettweiler [2016-08-04 20:07:06] 705*2^1436686-1 is not prime. Res64: D27E4F1F223376D5 Time : 0.0 sec. user=mdettweiler [2016-08-04 20:07:06] 777*2^1436686-1 is not prime. Res64: B5989EE5724742DC Time : 0.0 sec. user=mdettweiler [2016-08-04 20:37:30] 801*2^1436686-1 is not prime. Res64: FAD03E29F2202562 Time : 0.0 sec. user=mdettweiler [2016-08-04 20:37:31] 833*2^1436686-1 is not prime. Res64: 1D11D22A8141DF8B Time : 0.0 sec. user=mdettweiler [2016-08-04 20:37:31] 887*2^1436686-1 is not prime. Res64: EFB6EDC3D7BA0DDA Time : 0.0 sec. user=mdettweiler [2016-08-04 20:37:31] 693*2^1436687-1 is not prime. Res64: 666D89FE8E20D7F0 Time : 0.0 sec. user=mdettweiler [2016-08-04 20:37:31] 711*2^1436687-1 is not prime. Res64: EEB4CB3E0D769DAB Time : 0.0 sec. user=mdettweiler [2016-08-04 20:46:44] 729*2^1436687-1 is not prime. Res64: 670F2903EB1B08ED Time : 0.0 sec. user=mdettweiler [2016-08-04 20:46:44] 735*2^1436687-1 is not prime. Res64: 9B9274D4DFD98B2D Time : 0.0 sec. user=mdettweiler [2016-08-04 20:46:44] 871*2^1436687-1 is not prime. Res64: 94588584F50BCCFD Time : 0.0 sec. user=mdettweiler [2016-08-04 20:46:44] 665*2^1436688-1 is not prime. Res64: DF69D3A4AD96537F Time : 0.0 sec. user=mdettweiler [2016-08-04 20:46:45] 899*2^1436688-1 is not prime. Res64: B6B0F4723F27DD71 Time : 0.0 sec. user=mdettweiler [2016-08-04 20:51:14] 923*2^1436688-1 is not prime. Res64: D78046CD57B0B3CC Time : 0.0 sec. user=mdettweiler [2016-08-04 20:51:17] 705*2^1436689-1 is not prime. Res64: 4EE53EC92A2E22B4 Time : 0.0 sec. user=mdettweiler [2016-08-04 20:51:18] 801*2^1436689-1 is not prime. Res64: 379AC3E347B045E9 Time : 0.0 sec. user=mdettweiler [2016-08-04 20:51:18] 841*2^1436689-1 is not prime. Res64: BF14AEA9E32F675E Time : 0.0 sec. user=mdettweiler [2016-08-04 20:51:20] 861*2^1436689-1 is not prime. Res64: E0C6740CCA82C347 Time : 0.0 sec. user=mdettweiler [2016-08-04 21:21:41] 877*2^1436689-1 is not prime. Res64: D75032A00F30517A Time : 0.0 sec. user=mdettweiler [2016-08-04 21:21:41] 931*2^1436689-1 is not prime. Res64: EB111D5C5B029E96 Time : 0.0 sec. user=mdettweiler [2016-08-04 21:21:42] 975*2^1436689-1 is not prime. Res64: 73057D571A457645 Time : 0.0 sec. user=mdettweiler [2016-08-04 21:21:42] 711*2^1436690-1 is not prime. Res64: 1AD4FF4FA67B058F Time : 0.0 sec. user=mdettweiler [2016-08-04 21:21:42] 713*2^1436690-1 is not prime. Res64: 38A6EB3BB73825AC Time : 0.0 sec. user=mdettweiler [2016-08-04 21:31:02] 717*2^1436690-1 is not prime. Res64: D0E515E8278F41F6 Time : 0.0 sec. user=mdettweiler [2016-08-04 21:31:03] 735*2^1436690-1 is not prime. Res64: 17A789710E633B15 Time : 0.0 sec. user=mdettweiler [2016-08-04 21:31:03] 945*2^1436690-1 is not prime. Res64: 2B0D0CBC31BBE183 Time : 0.0 sec. user=mdettweiler [2016-08-04 21:31:03] 685*2^1436691-1 is not prime. Res64: AFCFE186901B6A55 Time : 0.0 sec. user=mdettweiler [2016-08-04 21:31:04] 709*2^1436691-1 is not prime. Res64: 3D502AF2C146DE81 Time : 0.0 sec. user=mdettweiler [2016-08-04 21:35:54] 781*2^1436691-1 is not prime. Res64: FE2AF3D0BC325C12 Time : 0.0 sec. user=mdettweiler [2016-08-04 21:35:54] 795*2^1436691-1 is not prime. Res64: 2A4476D5710D50F1 Time : 0.0 sec. user=mdettweiler [2016-08-04 21:35:55] 805*2^1436691-1 is not prime. Res64: 3441450D7BC4892F Time : 0.0 sec. user=mdettweiler [2016-08-04 21:35:55] 823*2^1436691-1 is not prime. Res64: 275456AE204DFB1A Time : 0.0 sec. user=mdettweiler [2016-08-04 21:35:55] 945*2^1436691-1 is not prime. Res64: 269C68458D10A18C Time : 0.0 sec. user=mdettweiler [2016-08-04 22:05:51] 705*2^1436692-1 is not prime. Res64: B156DF3D6DABDF4D Time : 0.0 sec. user=mdettweiler [2016-08-04 22:05:52] 965*2^1436692-1 is not prime. Res64: 1B96D8031134EA8C Time : 0.0 sec. user=mdettweiler [2016-08-04 22:05:55] 811*2^1436693-1 is not prime. Res64: D89C0FA9BC9DD72E Time : 0.0 sec. user=mdettweiler [2016-08-04 22:05:56] 927*2^1436693-1 is not prime. Res64: 53FDEAD1D1FDDF78 Time : 0.0 sec. user=mdettweiler [2016-08-04 22:05:57] 663*2^1436694-1 is not prime. Res64: 9A8714D237496070 Time : 0.0 sec. user=mdettweiler [2016-08-04 22:15:16] 705*2^1436694-1 is not prime. Res64: D950AF0090240567 Time : 0.0 sec. user=mdettweiler [2016-08-04 22:15:16] 737*2^1436694-1 is not prime. Res64: B7E1BD1BB925B0BB Time : 0.0 sec. user=mdettweiler [2016-08-04 22:15:17] 755*2^1436694-1 is not prime. Res64: 187820643D0D1CB7 Time : 0.0 sec. user=mdettweiler [2016-08-04 22:15:17] 945*2^1436694-1 is not prime. Res64: 69D460C73D57BDBD Time : 0.0 sec. user=mdettweiler [2016-08-04 22:15:17] 993*2^1436694-1 is not prime. Res64: 6EE3DD2C6B7706FE Time : 0.0 sec. user=mdettweiler [2016-08-04 22:20:03] 603*2^1436695-1 is not prime. Res64: AFE195107A219A25 Time : 0.0 sec. user=mdettweiler [2016-08-04 22:20:04] 651*2^1436695-1 is not prime. Res64: 1DB90EBF3F8210B2 Time : 0.0 sec. user=mdettweiler [2016-08-04 22:20:04] 663*2^1436695-1 is not prime. Res64: 28F5A60CDF084262 Time : 0.0 sec. user=mdettweiler [2016-08-04 22:20:05] 679*2^1436695-1 is not prime. Res64: A78D95C585876D69 Time : 0.0 sec. user=mdettweiler [2016-08-04 22:20:05] 685*2^1436695-1 is not prime. Res64: 19CC73172EBA7231 Time : 0.0 sec. user=mdettweiler [2016-08-04 22:50:08] 771*2^1436695-1 is not prime. Res64: AE4706C0D9D73823 Time : 0.0 sec. user=mdettweiler [2016-08-04 22:50:08] 859*2^1436695-1 is not prime. Res64: 0ACB94C29EDE1006 Time : 0.0 sec. user=mdettweiler [2016-08-04 22:50:08] 883*2^1436695-1 is not prime. Res64: F27782CE940E728B Time : 0.0 sec. user=mdettweiler [2016-08-04 22:50:09] 973*2^1436695-1 is not prime. Res64: C77ECD280EBBAF94 Time : 0.0 sec. user=mdettweiler [2016-08-04 22:50:09] 999*2^1436695-1 is not prime. Res64: C821057BB53AFEEE Time : 0.0 sec. user=mdettweiler [2016-08-04 22:59:26] 825*2^1436696-1 is not prime. Res64: 23A83EC0F835D4FD Time : 0.0 sec. user=mdettweiler [2016-08-04 22:59:26] 845*2^1436696-1 is not prime. Res64: A1368D2C0418EC6D Time : 0.0 sec. user=mdettweiler [2016-08-04 22:59:26] 855*2^1436696-1 is not prime. Res64: 2A2F0BA526B5E4AA Time : 0.0 sec. user=mdettweiler [2016-08-04 22:59:26] 873*2^1436696-1 is not prime. Res64: E7F9A3CA6ABCBA0D Time : 0.0 sec. user=mdettweiler [2016-08-04 22:59:27] 983*2^1436696-1 is not prime. Res64: 9985062A64C541AB Time : 0.0 sec. user=mdettweiler [2016-08-04 23:04:14] 637*2^1436697-1 is not prime. Res64: 3F807349183CC99B Time : 0.0 sec. user=mdettweiler [2016-08-04 23:04:17] 727*2^1436697-1 is not prime. Res64: 55D500499B9C772D Time : 0.0 sec. user=mdettweiler [2016-08-04 23:04:18] 735*2^1436697-1 is not prime. Res64: BE8706C684DBD1A5 Time : 0.0 sec. user=mdettweiler [2016-08-04 23:04:19] 777*2^1436697-1 is not prime. Res64: 1D84F7708F4A0F37 Time : 0.0 sec. user=mdettweiler [2016-08-04 23:04:20] 937*2^1436697-1 is not prime. Res64: 8B3E6FB18500553E Time : 0.0 sec. user=mdettweiler [2016-08-04 23:34:16] 997*2^1436697-1 is not prime. Res64: EDEF20C837FA1CE6 Time : 0.0 sec. user=mdettweiler [2016-08-04 23:34:16] 815*2^1436698-1 is not prime. Res64: 426A36D1830FB2B3 Time : 0.0 sec. user=mdettweiler [2016-08-04 23:34:17] 843*2^1436698-1 is not prime. Res64: 9D5CF4C86119B411 Time : 0.0 sec. user=mdettweiler [2016-08-04 23:34:17] 857*2^1436698-1 is not prime. Res64: 4ABD4D18AC560963 Time : 0.0 sec. user=mdettweiler [2016-08-04 23:34:17] 915*2^1436698-1 is not prime. Res64: 5C73E56D828FE050 Time : 0.0 sec. user=mdettweiler [2016-08-04 23:43:34] 619*2^1436699-1 is not prime. Res64: 9B7CD4B33E0781A5 Time : 0.0 sec. user=mdettweiler [2016-08-04 23:43:34] 643*2^1436699-1 is not prime. Res64: 2DA7B26CE238B829 Time : 0.0 sec. user=mdettweiler [2016-08-04 23:43:34] 753*2^1436699-1 is not prime. Res64: 8E1C2A2A6926E222 Time : 0.0 sec. user=mdettweiler [2016-08-04 23:43:35] 759*2^1436699-1 is not prime. Res64: 2886495921367337 Time : 0.0 sec. user=mdettweiler [2016-08-04 23:43:35] 771*2^1436699-1 is not prime. Res64: 2BE4A71678F544D1 Time : 0.0 sec. user=mdettweiler [2016-08-04 23:48:29] 801*2^1436699-1 is not prime. Res64: 2894409C283013C2 Time : 0.0 sec. user=mdettweiler [2016-08-04 23:48:29] 843*2^1436699-1 is not prime. Res64: 7FCD929E5B632677 Time : 0.0 sec. user=mdettweiler [2016-08-04 23:48:29] 859*2^1436699-1 is not prime. Res64: 06BA9B3AABE9B082 Time : 0.0 sec. user=mdettweiler [2016-08-04 23:48:30] 969*2^1436699-1 is not prime. Res64: 8E55946EE53B0B65 Time : 0.0 sec. user=mdettweiler [2016-08-04 23:48:30] 973*2^1436699-1 is not prime. Res64: 4A496C12FA7C7CDD Time : 0.0 sec.