user=mdettweiler [2016-07-19 00:21:12] 649*2^1435637-1 is not prime. Res64: DC254582C72D7BF6 Time : 0.0 sec. user=mdettweiler [2016-07-19 00:21:13] 651*2^1435637-1 is not prime. Res64: 031661FC7B574B97 Time : 0.0 sec. user=mdettweiler [2016-07-19 00:21:13] 655*2^1435637-1 is not prime. Res64: AEF71DBF8E19DC25 Time : 0.0 sec. user=mdettweiler [2016-07-19 00:21:14] 675*2^1435637-1 is not prime. Res64: 6E82F37B947953F2 Time : 0.0 sec. user=mdettweiler [2016-07-19 00:21:14] 937*2^1435637-1 is not prime. Res64: 6AB3B18E01DB1A2A Time : 0.0 sec. user=mdettweiler [2016-07-19 00:39:35] 621*2^1435638-1 is not prime. Res64: BC52D158B942C1FB Time : 0.0 sec. user=mdettweiler [2016-07-19 00:39:35] 627*2^1435638-1 is not prime. Res64: DA549E6980E2A819 Time : 0.0 sec. user=mdettweiler [2016-07-19 00:39:35] 705*2^1435638-1 is not prime. Res64: 42C09174AD4A6542 Time : 0.0 sec. user=mdettweiler [2016-07-19 00:39:36] 861*2^1435638-1 is not prime. Res64: F39D41011FD5DE9E Time : 0.0 sec. user=mdettweiler [2016-07-19 00:39:36] 633*2^1435639-1 is not prime. Res64: 24AF8AD565977722 Time : 0.0 sec. user=mdettweiler [2016-07-19 00:39:39] 855*2^1435639-1 is not prime. Res64: 572C9C805690CA81 Time : 0.0 sec. user=mdettweiler [2016-07-19 00:39:39] 861*2^1435639-1 is not prime. Res64: 0D84372D1688A11C Time : 0.0 sec. user=mdettweiler [2016-07-19 00:39:39] 889*2^1435639-1 is not prime. Res64: 58FBE50D36EA6ADD Time : 0.0 sec. user=mdettweiler [2016-07-19 00:39:40] 891*2^1435639-1 is not prime. Res64: 87CC16395A5FE4B9 Time : 0.0 sec. user=mdettweiler [2016-07-19 00:39:40] 919*2^1435639-1 is not prime. Res64: CE9BDEDACE20FD93 Time : 0.0 sec. user=mdettweiler [2016-07-19 01:05:19] 973*2^1435639-1 is not prime. Res64: B0C1D12E924B9163 Time : 0.0 sec. user=mdettweiler [2016-07-19 01:05:21] 633*2^1435640-1 is not prime. Res64: BA5EE7C11393A3EA Time : 0.0 sec. user=mdettweiler [2016-07-19 01:05:25] 659*2^1435640-1 is not prime. Res64: 1F877CEFA676602B Time : 0.0 sec. user=mdettweiler [2016-07-19 01:05:29] 827*2^1435640-1 is not prime. Res64: 9B8832201C4C674A Time : 0.0 sec. user=mdettweiler [2016-07-19 01:05:32] 875*2^1435640-1 is not prime. Res64: 16FFEE2CD3A4E83F Time : 0.0 sec. user=mdettweiler [2016-07-19 01:23:35] 945*2^1435640-1 is not prime. Res64: 56DB756E2323AE50 Time : 0.0 sec. user=mdettweiler [2016-07-19 01:23:35] 607*2^1435641-1 is not prime. Res64: C9468936052B08FE Time : 0.0 sec. user=mdettweiler [2016-07-19 01:23:36] 705*2^1435641-1 is not prime. Res64: 4634B92138EEE48B Time : 0.0 sec. user=mdettweiler [2016-07-19 01:23:36] 955*2^1435641-1 is not prime. Res64: 83178917D963C32B Time : 0.0 sec. user=mdettweiler [2016-07-19 01:23:37] 909*2^1435641-1 is not prime. Res64: D09B8A87699CA599 Time : 0.0 sec. user=mdettweiler [2016-07-19 01:23:37] 969*2^1435641-1 is not prime. Res64: 5AA71376A2156675 Time : 0.0 sec. user=mdettweiler [2016-07-19 01:23:37] 937*2^1435641-1 is not prime. Res64: 970E3FD418243EEE Time : 0.0 sec. user=mdettweiler [2016-07-19 01:23:37] 611*2^1435642-1 is not prime. Res64: A45774D62E19C624 Time : 0.0 sec. user=mdettweiler [2016-07-19 01:23:38] 755*2^1435642-1 is not prime. Res64: 496A567A9200DD9A Time : 0.0 sec. user=mdettweiler [2016-07-19 01:23:38] 833*2^1435642-1 is not prime. Res64: 72DAC3FD5DB37222 Time : 0.0 sec. user=mdettweiler [2016-07-19 01:49:38] 891*2^1435642-1 is not prime. Res64: DEACE17C0426A5F2 Time : 0.0 sec. user=mdettweiler [2016-07-19 01:49:39] 1001*2^1435642-1 is not prime. Res64: D5CB512FBE7EC0CA Time : 0.0 sec. user=mdettweiler [2016-07-19 01:49:39] 699*2^1435643-1 is not prime. Res64: 16BAE0C8AB078CFB Time : 0.0 sec. user=mdettweiler [2016-07-19 01:49:40] 739*2^1435643-1 is not prime. Res64: 17750D2306DFF487 Time : 0.0 sec. user=mdettweiler [2016-07-19 01:49:40] 813*2^1435643-1 is not prime. Res64: 42294473328C0D6E Time : 0.0 sec. user=mdettweiler [2016-07-19 02:07:37] 771*2^1435645-1 is not prime. Res64: FD89B00FCC3A9DC7 Time : 0.0 sec. user=mdettweiler [2016-07-19 02:07:38] 963*2^1435643-1 is not prime. Res64: 26C38E0CF4330A23 Time : 0.0 sec. user=mdettweiler [2016-07-19 02:07:38] 867*2^1435645-1 is not prime. Res64: 17D97A189E29DCF3 Time : 0.0 sec. user=mdettweiler [2016-07-19 02:07:38] 605*2^1435644-1 is not prime. Res64: 50CA51B888383F8C Time : 0.0 sec. user=mdettweiler [2016-07-19 02:07:39] 871*2^1435645-1 is not prime. Res64: 1B24CD72427EEA43 Time : 0.0 sec. user=mdettweiler [2016-07-19 02:07:39] 707*2^1435644-1 is not prime. Res64: 8389078725E6D8B6 Time : 0.0 sec. user=mdettweiler [2016-07-19 02:07:39] 915*2^1435645-1 is not prime. Res64: 4C705018F590B13E Time : 0.0 sec. user=mdettweiler [2016-07-19 02:07:39] 619*2^1435645-1 is not prime. Res64: E3DF071C80EBD78D Time : 0.0 sec. user=mdettweiler [2016-07-19 02:07:40] 615*2^1435646-1 is not prime. Res64: 834499E539F132B3 Time : 0.0 sec. user=mdettweiler [2016-07-19 02:07:40] 717*2^1435645-1 is not prime. Res64: C802B3875EBFAFC5 Time : 0.0 sec. user=mdettweiler [2016-07-19 02:33:40] 675*2^1435646-1 is not prime. Res64: 157A5A6E2E7C863B Time : 0.0 sec. user=mdettweiler [2016-07-19 02:33:41] 683*2^1435646-1 is not prime. Res64: 88B5ADDF946227A3 Time : 0.0 sec. user=mdettweiler [2016-07-19 02:33:41] 741*2^1435646-1 is not prime. Res64: 5F5353FB184C0D11 Time : 0.0 sec. user=mdettweiler [2016-07-19 02:33:42] 761*2^1435646-1 is not prime. Res64: 6085BBB985117096 Time : 0.0 sec. user=mdettweiler [2016-07-19 02:33:43] 825*2^1435646-1 is not prime. Res64: 15B9B8C7FA74F7D3 Time : 0.0 sec. user=mdettweiler [2016-07-19 02:51:46] 833*2^1435646-1 is not prime. Res64: BF04A982A4B0C21D Time : 0.0 sec. user=mdettweiler [2016-07-19 02:51:46] 691*2^1435647-1 is not prime. Res64: 63AA94D0E5571840 Time : 0.0 sec. user=mdettweiler [2016-07-19 02:51:48] 875*2^1435646-1 is not prime. Res64: 69388E9EF1010402 Time : 0.0 sec. user=mdettweiler [2016-07-19 02:51:48] 705*2^1435647-1 is not prime. Res64: EFF0E4AB28393418 Time : 0.0 sec. user=mdettweiler [2016-07-19 02:51:51] 897*2^1435646-1 is not prime. Res64: 4A1E6D7E06373945 Time : 0.0 sec. user=mdettweiler [2016-07-19 02:51:51] 781*2^1435647-1 is not prime. Res64: 8C796B07906094B4 Time : 0.0 sec. user=mdettweiler [2016-07-19 02:51:53] 849*2^1435647-1 is not prime. Res64: 4171095A86B7DF98 Time : 0.0 sec. user=mdettweiler [2016-07-19 02:51:53] 1001*2^1435646-1 is not prime. Res64: 853A5A3127569A31 Time : 0.0 sec. user=mdettweiler [2016-07-19 02:51:55] 879*2^1435647-1 is not prime. Res64: 5B8312F72BB73748 Time : 0.0 sec. user=mdettweiler [2016-07-19 02:51:55] 615*2^1435647-1 is not prime. Res64: DDEE9AAACD14E818 Time : 0.0 sec. user=mdettweiler [2016-07-19 03:18:07] 985*2^1435647-1 is not prime. Res64: 8B37FDBB464B0572 Time : 0.0 sec. user=mdettweiler [2016-07-19 03:18:08] 699*2^1435648-1 is not prime. Res64: DC0B6CAEC13B9C85 Time : 0.0 sec. user=mdettweiler [2016-07-19 03:18:08] 743*2^1435648-1 is not prime. Res64: D6AC2A78786941F6 Time : 0.0 sec. user=mdettweiler [2016-07-19 03:18:09] 827*2^1435648-1 is not prime. Res64: 6216B2995DF18D31 Time : 0.0 sec. user=mdettweiler [2016-07-19 03:18:10] 927*2^1435648-1 is not prime. Res64: B678F484358565B7 Time : 0.0 sec. user=mdettweiler [2016-07-19 03:36:06] 921*2^1435650-1 is not prime. Res64: B7D443A0F146BEF7 Time : 0.0 sec. user=mdettweiler [2016-07-19 03:36:07] 619*2^1435651-1 is not prime. Res64: 794D463A2DA50B27 Time : 0.0 sec. user=mdettweiler [2016-07-19 03:36:08] 625*2^1435651-1 is not prime. Res64: E4C721BDE2A868E9 Time : 0.0 sec. user=mdettweiler [2016-07-19 03:36:08] 615*2^1435649-1 is not prime. Res64: 74008905365D73AD Time : 0.0 sec. user=mdettweiler [2016-07-19 03:36:09] 723*2^1435651-1 is not prime. Res64: 88313B4B50EDFE7E Time : 0.0 sec. user=mdettweiler [2016-07-19 03:36:09] 781*2^1435649-1 is not prime. Res64: 678995A867BB3F4E Time : 0.0 sec. user=mdettweiler [2016-07-19 03:36:10] 735*2^1435651-1 is not prime. Res64: 6D241566D181767D Time : 0.0 sec. user=mdettweiler [2016-07-19 03:36:12] 925*2^1435649-1 is not prime. Res64: B8BE200B58916D9C Time : 0.0 sec. user=mdettweiler [2016-07-19 03:36:12] 635*2^1435650-1 is not prime. Res64: 130A930A1B01BE05 Time : 0.0 sec. user=mdettweiler [2016-07-19 03:36:13] 783*2^1435650-1 is not prime. Res64: C65A6103AD26426E Time : 0.0 sec. user=mdettweiler [2016-07-19 04:20:24] 817*2^1435653-1 is not prime. Res64: 40C3F6A678E38106 Time : 0.0 sec. user=mdettweiler [2016-07-19 04:20:25] 859*2^1435653-1 is not prime. Res64: 2435165331F22731 Time : 0.0 sec. user=mdettweiler [2016-07-19 04:20:25] 891*2^1435653-1 is not prime. Res64: FFD9180B2CFA8C43 Time : 0.0 sec. user=mdettweiler [2016-07-19 04:20:26] 671*2^1435654-1 is not prime. Res64: 0213A161A2CAEB59 Time : 0.0 sec. user=mdettweiler [2016-07-19 04:20:26] 897*2^1435654-1 is not prime. Res64: C5276A96470CFDFF Time : 0.0 sec. user=mdettweiler [2016-07-19 04:20:26] 675*2^1435652-1 is not prime. Res64: 96CC506149C1C173 Time : 0.0 sec. user=mdettweiler [2016-07-19 04:20:27] 689*2^1435652-1 is not prime. Res64: 49FBD19490CBB8CD Time : 0.0 sec. user=mdettweiler [2016-07-19 04:20:27] 693*2^1435652-1 is not prime. Res64: D3E31AEAB10BEF47 Time : 0.0 sec. user=mdettweiler [2016-07-19 04:20:28] 735*2^1435652-1 is not prime. Res64: 393087FE5AED2CEB Time : 0.0 sec. user=mdettweiler [2016-07-19 04:20:28] 759*2^1435652-1 is not prime. Res64: 5343F800A443659D Time : 0.0 sec. user=mdettweiler [2016-07-19 07:10:36] 759*2^1435651-1 is not prime. Res64: BBDEAEA92E64856A Time : 0.0 sec. user=mdettweiler [2016-07-19 07:10:37] 871*2^1435651-1 is not prime. Res64: A9733E1A905A2080 Time : 0.0 sec. user=mdettweiler [2016-07-19 07:10:37] 885*2^1435651-1 is not prime. Res64: D6129618BA310310 Time : 0.0 sec. user=mdettweiler [2016-07-19 07:10:38] 961*2^1435651-1 is not prime. Res64: 32A6FE44DF7443E6 Time : 0.0 sec. user=mdettweiler [2016-07-19 07:10:38] 633*2^1435652-1 is not prime. Res64: BE48C7037C58B549 Time : 0.0 sec. user=mdettweiler [2016-07-19 07:55:47] 875*2^1435656-1 is not prime. Res64: 335F65EA3DD1F9B7 Time : 0.0 sec. user=mdettweiler [2016-07-19 07:55:47] 933*2^1435656-1 is not prime. Res64: 7055E12B2FE72598 Time : 0.0 sec. user=mdettweiler [2016-07-19 07:55:48] 625*2^1435657-1 is not prime. Res64: B55ECCBEE3E39B3A Time : 0.0 sec. user=mdettweiler [2016-07-19 07:55:48] 649*2^1435657-1 is not prime. Res64: 0A49481818E75E39 Time : 0.0 sec. user=mdettweiler [2016-07-19 07:55:49] 769*2^1435657-1 is not prime. Res64: 78DD0827051C4EBB Time : 0.0 sec. user=juhehe [2016-07-19 08:22:51] 847*2^1435657-1 is not prime. Res64: 3EC4DBB2A180A430 Time : 0.0 sec. user=mdettweiler [2016-07-19 08:29:10] 993*2^1435654-1 is not prime. Res64: 5FAAEA263706934F Time : 0.0 sec. user=mdettweiler [2016-07-19 08:29:10] 661*2^1435655-1 is not prime. Res64: AB3D4A713F41C2A9 Time : 0.0 sec. user=mdettweiler [2016-07-19 08:29:11] 685*2^1435655-1 is not prime. Res64: 9A43C16BFCE56A66 Time : 0.0 sec. user=mdettweiler [2016-07-19 08:29:11] 759*2^1435655-1 is not prime. Res64: FA199914C48D56D2 Time : 0.0 sec. user=mdettweiler [2016-07-19 08:29:11] 823*2^1435655-1 is not prime. Res64: 0139676688C402B8 Time : 0.0 sec. user=mdettweiler [2016-07-19 08:29:22] 675*2^1435656-1 is not prime. Res64: 7686ED0F1195FB15 Time : 0.0 sec. user=mdettweiler [2016-07-19 08:29:23] 683*2^1435656-1 is not prime. Res64: BCB40F183C9BC126 Time : 0.0 sec. user=mdettweiler [2016-07-19 08:29:23] 689*2^1435656-1 is not prime. Res64: 01D0D0AAD01527A9 Time : 0.0 sec. user=mdettweiler [2016-07-19 08:29:24] 777*2^1435656-1 is not prime. Res64: D17F9E8BE81AD647 Time : 0.0 sec. user=mdettweiler [2016-07-19 08:29:24] 845*2^1435656-1 is not prime. Res64: 1805C15AE93E5C93 Time : 0.0 sec. user=mdettweiler [2016-07-19 08:41:27] 885*2^1435657-1 is not prime. Res64: 755394269884773E Time : 0.0 sec. user=mdettweiler [2016-07-19 08:41:28] 939*2^1435657-1 is not prime. Res64: 72E1C44E628A92BC Time : 0.0 sec. user=mdettweiler [2016-07-19 08:41:28] 985*2^1435657-1 is not prime. Res64: 1C8CE5B880D683D4 Time : 0.0 sec. user=mdettweiler [2016-07-19 08:41:28] 623*2^1435658-1 is not prime. Res64: 8FB824237D244F19 Time : 0.0 sec. user=mdettweiler [2016-07-19 08:41:28] 641*2^1435658-1 is not prime. Res64: 2C3F724A7CFCD84C Time : 0.0 sec. user=mdettweiler [2016-07-19 09:14:53] 861*2^1435659-1 is not prime. Res64: 74E77376E826B60E Time : 0.0 sec. user=mdettweiler [2016-07-19 09:14:53] 735*2^1435658-1 is not prime. Res64: 7B090ACDE2C3B5D6 Time : 0.0 sec. user=mdettweiler [2016-07-19 09:14:56] 951*2^1435659-1 is not prime. Res64: D3F516D40D8874E2 Time : 0.0 sec. user=mdettweiler [2016-07-19 09:14:59] 719*2^1435660-1 is not prime. Res64: 186F51A969FB4AAD Time : 0.0 sec. user=mdettweiler [2016-07-19 09:15:03] 735*2^1435660-1 is not prime. Res64: A2B83838D3303747 Time : 0.0 sec. user=mdettweiler [2016-07-19 09:15:06] 855*2^1435660-1 is not prime. Res64: 88BF8396B948032E Time : 0.0 sec. user=mdettweiler [2016-07-19 09:26:36] 899*2^1435660-1 is not prime. Res64: 8D4C06AF79E335FF Time : 0.0 sec. user=mdettweiler [2016-07-19 09:26:37] 905*2^1435660-1 is not prime. Res64: FBFDCA12484F4E12 Time : 0.0 sec. user=mdettweiler [2016-07-19 09:26:37] 927*2^1435660-1 is not prime. Res64: EBABBD1B3C7B4C0D Time : 0.0 sec. user=mdettweiler [2016-07-19 09:26:38] 983*2^1435660-1 is not prime. Res64: 34706935441CAB7C Time : 0.0 sec. user=mdettweiler [2016-07-19 09:26:38] 657*2^1435661-1 is not prime. Res64: 397BB27F1F77E791 Time : 0.0 sec. user=mdettweiler [2016-07-19 09:59:27] 777*2^1435661-1 is not prime. Res64: 60960B90A7BA7ECE Time : 0.0 sec. user=mdettweiler [2016-07-19 09:59:27] 837*2^1435661-1 is not prime. Res64: DABF374FEE8ADCAD Time : 0.0 sec. user=mdettweiler [2016-07-19 09:59:28] 861*2^1435661-1 is not prime. Res64: F9DC3FD418683CB1 Time : 0.0 sec. user=mdettweiler [2016-07-19 09:59:28] 865*2^1435661-1 is not prime. Res64: EA9361B6C30ECD3A Time : 0.0 sec. user=mdettweiler [2016-07-19 09:59:28] 871*2^1435661-1 is not prime. Res64: 55703A1A7C9ECAE4 Time : 0.0 sec. user=mdettweiler [2016-07-19 10:11:10] 907*2^1435661-1 is not prime. Res64: 5FE346D91FC819CA Time : 0.0 sec. user=mdettweiler [2016-07-19 10:11:12] 945*2^1435661-1 is not prime. Res64: C477C38D836A07F6 Time : 0.0 sec. user=mdettweiler [2016-07-19 10:11:13] 681*2^1435662-1 is not prime. Res64: 3B7288034153FD27 Time : 0.0 sec. user=mdettweiler [2016-07-19 10:11:15] 725*2^1435662-1 is not prime. Res64: D9CF3E47542B6653 Time : 0.0 sec. user=mdettweiler [2016-07-19 10:11:16] 747*2^1435662-1 is not prime. Res64: 10C3E1E296C6D561 Time : 0.0 sec. user=mdettweiler [2016-07-19 10:43:48] 603*2^1435663-1 is not prime. Res64: 97E6458F8C44AE2B Time : 0.0 sec. user=mdettweiler [2016-07-19 10:43:49] 609*2^1435663-1 is not prime. Res64: 8D83FFDBE4CEB055 Time : 0.0 sec. user=mdettweiler [2016-07-19 10:43:49] 723*2^1435663-1 is not prime. Res64: F1FFBDDB414A6F0F Time : 0.0 sec. user=mdettweiler [2016-07-19 10:43:49] 849*2^1435663-1 is not prime. Res64: 2744B33F66B875C3 Time : 0.0 sec. user=mdettweiler [2016-07-19 10:43:50] 925*2^1435663-1 is not prime. Res64: 1CC9AF141BCBD77F Time : 0.0 sec. user=mdettweiler [2016-07-19 10:55:46] 951*2^1435663-1 is not prime. Res64: 3CBAFEB6F49E0514 Time : 0.0 sec. user=mdettweiler [2016-07-19 10:55:46] 629*2^1435664-1 is not prime. Res64: 55D28844179BAAB3 Time : 0.0 sec. user=mdettweiler [2016-07-19 10:55:47] 657*2^1435664-1 is not prime. Res64: FA913D8599691935 Time : 0.0 sec. user=mdettweiler [2016-07-19 10:55:47] 719*2^1435664-1 is not prime. Res64: 86E3BCE760033E8D Time : 0.0 sec. user=mdettweiler [2016-07-19 10:55:48] 773*2^1435664-1 is not prime. Res64: 7017AEC58CA61FE3 Time : 0.0 sec. user=mdettweiler [2016-07-19 11:23:13] 827*2^1435658-1 is not prime. Res64: 59B3C83477F7D775 Time : 0.0 sec. user=mdettweiler [2016-07-19 11:23:17] 875*2^1435658-1 is not prime. Res64: C1D35CF35C98978B Time : 0.0 sec. user=mdettweiler [2016-07-19 11:23:20] 885*2^1435658-1 is not prime. Res64: 8C6BCF75AE9EDEEF Time : 0.0 sec. user=mdettweiler [2016-07-19 11:23:20] 941*2^1435658-1 is not prime. Res64: 608A76110638813C Time : 0.0 sec. user=mdettweiler [2016-07-19 11:28:01] 833*2^1435664-1 is not prime. Res64: A55D3BF4D4CDDD86 Time : 0.0 sec. user=mdettweiler [2016-07-19 11:28:01] 909*2^1435664-1 is not prime. Res64: 30C3253465692A14 Time : 0.0 sec. user=mdettweiler [2016-07-19 11:28:01] 609*2^1435665-1 is not prime. Res64: AA9CD7818FA350A8 Time : 0.0 sec. user=mdettweiler [2016-07-19 11:28:02] 667*2^1435665-1 is not prime. Res64: DE814D659A438593 Time : 0.0 sec. user=mdettweiler [2016-07-19 11:28:02] 789*2^1435665-1 is not prime. Res64: 0ACFA9C547058BF7 Time : 0.0 sec. user=mdettweiler [2016-07-19 11:39:59] 889*2^1435665-1 is not prime. Res64: 6B76334E8E4D317D Time : 0.0 sec. user=mdettweiler [2016-07-19 11:39:59] 653*2^1435666-1 is not prime. Res64: E3E61C183ADEF2EF Time : 0.0 sec. user=mdettweiler [2016-07-19 11:39:59] 723*2^1435666-1 is not prime. Res64: 84C2C2F8AF8E0BBE Time : 0.0 sec. user=mdettweiler [2016-07-19 11:40:00] 773*2^1435666-1 is not prime. Res64: 4A0AEC8E41FA98ED Time : 0.0 sec. user=mdettweiler [2016-07-19 11:40:00] 803*2^1435666-1 is not prime. Res64: AD5F62724F9B6D76 Time : 0.0 sec. user=mdettweiler [2016-07-19 12:07:22] 815*2^1435666-1 is not prime. Res64: 3E043CD8B462D01E Time : 0.0 sec. user=mdettweiler [2016-07-19 12:07:23] 821*2^1435666-1 is not prime. Res64: 16F33A3206C7F1B9 Time : 0.0 sec. user=mdettweiler [2016-07-19 12:07:23] 825*2^1435666-1 is not prime. Res64: 260C7314A448267C Time : 0.0 sec. user=mdettweiler [2016-07-19 12:07:24] 987*2^1435666-1 is not prime. Res64: 4F76B75DE6413BBF Time : 0.0 sec. user=mdettweiler [2016-07-19 12:07:24] 993*2^1435666-1 is not prime. Res64: 2721B1628D2E589E Time : 0.0 sec. user=mdettweiler [2016-07-19 12:12:05] 621*2^1435667-1 is not prime. Res64: EDB505DA06707852 Time : 0.0 sec. user=mdettweiler [2016-07-19 12:12:06] 645*2^1435667-1 is not prime. Res64: 803AD6CB7E93851D Time : 0.0 sec. user=mdettweiler [2016-07-19 12:12:07] 669*2^1435667-1 is not prime. Res64: 915833F8CD2A9FCF Time : 0.0 sec. user=mdettweiler [2016-07-19 12:24:00] 605*2^1435668-1 is not prime. Res64: 2789AE01E70E4B64 Time : 0.0 sec. user=mdettweiler [2016-07-19 12:24:01] 663*2^1435668-1 is not prime. Res64: 01688BDDB15B6366 Time : 0.0 sec. user=mdettweiler [2016-07-19 12:24:01] 699*2^1435668-1 is not prime. Res64: 2204106E352CA94D Time : 0.0 sec. user=mdettweiler [2016-07-19 12:24:02] 723*2^1435668-1 is not prime. Res64: B11366724610432E Time : 0.0 sec. user=mdettweiler [2016-07-19 12:24:02] 819*2^1435668-1 is not prime. Res64: 4F40003578CBA09D Time : 0.0 sec. user=mdettweiler [2016-07-19 12:51:44] 843*2^1435668-1 is not prime. Res64: 14A92F54386F3D49 Time : 0.0 sec. user=mdettweiler [2016-07-19 12:51:44] 845*2^1435668-1 is not prime. Res64: 81D60BAC314E9865 Time : 0.0 sec. user=mdettweiler [2016-07-19 12:51:45] 929*2^1435668-1 is not prime. Res64: 9F3327ED9B30E0C7 Time : 0.0 sec. user=mdettweiler [2016-07-19 12:51:45] 933*2^1435668-1 is not prime. Res64: F07C2CC8FCA3E4BE Time : 0.0 sec. user=mdettweiler [2016-07-19 12:51:45] 621*2^1435669-1 is not prime. Res64: B6A3EE377E1F95A5 Time : 0.0 sec. user=mdettweiler [2016-07-19 13:08:23] 667*2^1435669-1 is not prime. Res64: EF0B469A84BDA94A Time : 0.0 sec. user=mdettweiler [2016-07-19 13:08:25] 745*2^1435669-1 is not prime. Res64: 9C7F3C9DF3FB7F78 Time : 0.0 sec. user=mdettweiler [2016-07-19 13:08:26] 801*2^1435669-1 is not prime. Res64: 513667871EB6446C Time : 0.0 sec. user=mdettweiler [2016-07-19 13:08:27] 817*2^1435669-1 is not prime. Res64: 4FAABAC5CC2FFFA9 Time : 0.0 sec. user=mdettweiler [2016-07-19 13:08:27] 713*2^1435670-1 is not prime. Res64: 96E37D7C9E58BE97 Time : 0.0 sec. user=mdettweiler [2016-07-19 13:36:09] 753*2^1435670-1 is not prime. Res64: CC8250D13A736479 Time : 0.0 sec. user=mdettweiler [2016-07-19 13:36:10] 885*2^1435670-1 is not prime. Res64: 31BDC858CBCA3EB8 Time : 0.0 sec. user=mdettweiler [2016-07-19 13:36:10] 887*2^1435670-1 is not prime. Res64: 7CE45493AA253EB5 Time : 0.0 sec. user=mdettweiler [2016-07-19 13:36:11] 911*2^1435670-1 is not prime. Res64: 739F7184872F3960 Time : 0.0 sec. user=mdettweiler [2016-07-19 13:36:11] 619*2^1435671-1 is not prime. Res64: 4AC4C87230C4A8FE Time : 0.0 sec. user=mdettweiler [2016-07-19 13:53:02] 625*2^1435671-1 is not prime. Res64: 939C5956D97ADADD Time : 0.0 sec. user=mdettweiler [2016-07-19 13:53:02] 651*2^1435671-1 is not prime. Res64: 5955984731EBD334 Time : 0.0 sec. user=mdettweiler [2016-07-19 13:53:02] 661*2^1435671-1 is not prime. Res64: 2A35E8030370AEEC Time : 0.0 sec. user=mdettweiler [2016-07-19 13:53:03] 675*2^1435671-1 is not prime. Res64: B7A34E35C6A65BC1 Time : 0.0 sec. user=mdettweiler [2016-07-19 13:53:03] 735*2^1435671-1 is not prime. Res64: 4251E362C6A2CE14 Time : 0.0 sec. user=mdettweiler [2016-07-19 14:20:41] 751*2^1435671-1 is not prime. Res64: 796B6FDF57DFD50F Time : 0.0 sec. user=mdettweiler [2016-07-19 14:20:44] 823*2^1435671-1 is not prime. Res64: 0AB72E7751A9B7BD Time : 0.0 sec. user=mdettweiler [2016-07-19 14:20:48] 829*2^1435671-1 is not prime. Res64: 0775D6607196F679 Time : 0.0 sec. user=mdettweiler [2016-07-19 14:20:52] 859*2^1435671-1 is not prime. Res64: 437539D11992BD24 Time : 0.0 sec. user=mdettweiler [2016-07-19 14:38:06] 909*2^1435672-1 is not prime. Res64: 4192CE319E25AEEC Time : 0.0 sec. user=mdettweiler [2016-07-19 14:38:06] 917*2^1435672-1 is not prime. Res64: 222A47C7E3E877EF Time : 0.0 sec. user=mdettweiler [2016-07-19 14:38:07] 619*2^1435673-1 is not prime. Res64: E7681B45535F05AB Time : 0.0 sec. user=mdettweiler [2016-07-19 14:38:07] 715*2^1435673-1 is not prime. Res64: A4DDCB7DF1BF403C Time : 0.0 sec. user=mdettweiler [2016-07-19 14:38:07] 729*2^1435673-1 is not prime. Res64: AF95EA412A01067D Time : 0.0 sec. user=mdettweiler [2016-07-19 15:25:00] 775*2^1435673-1 is not prime. Res64: 34DAD576D28A8BF5 Time : 0.0 sec. user=mdettweiler [2016-07-19 15:25:01] 795*2^1435673-1 is not prime. Res64: 1E9BF46F4A0A7343 Time : 0.0 sec. user=mdettweiler [2016-07-19 15:25:01] 855*2^1435673-1 is not prime. Res64: 9343BDE4DD5A0294 Time : 0.0 sec. user=mdettweiler [2016-07-19 15:25:02] 967*2^1435673-1 is not prime. Res64: 29E1FD6F8885A676 Time : 0.0 sec. user=mdettweiler [2016-07-19 15:25:02] 611*2^1435674-1 is not prime. Res64: 57D202873CD2DE3E Time : 0.0 sec. user=mdettweiler [2016-07-19 16:15:05] 633*2^1435674-1 is not prime. Res64: E0D065941AFB1C1E Time : 0.0 sec. user=mdettweiler [2016-07-19 16:15:09] 711*2^1435674-1 is not prime. Res64: 43811337DCEDF166 Time : 0.0 sec. user=mdettweiler [2016-07-19 16:15:12] 741*2^1435674-1 is not prime. Res64: 5B61F438823E2BF9 Time : 0.0 sec. user=mdettweiler [2016-07-19 16:15:16] 873*2^1435674-1 is not prime. Res64: 0761851E54CE7E8B Time : 0.0 sec. user=mdettweiler [2016-07-19 16:15:20] 875*2^1435674-1 is not prime. Res64: 522ED8BB55E6FF13 Time : 0.0 sec. user=mdettweiler [2016-07-19 17:05:26] 917*2^1435674-1 is not prime. Res64: EB94DFFF263E7C16 Time : 0.0 sec. user=mdettweiler [2016-07-19 17:05:27] 971*2^1435674-1 is not prime. Res64: A8EBF7E7CB98F367 Time : 0.0 sec. user=mdettweiler [2016-07-19 17:05:29] 751*2^1435675-1 is not prime. Res64: 5B544B3A4CDC9D5A Time : 0.0 sec. user=mdettweiler [2016-07-19 17:05:30] 775*2^1435675-1 is not prime. Res64: 71833D715E7B0C6A Time : 0.0 sec. user=mdettweiler [2016-07-19 17:44:40] 675*2^1435667-1 is not prime. Res64: FED536EA76B49232 Time : 0.0 sec. user=mdettweiler [2016-07-19 17:44:45] 859*2^1435667-1 is not prime. Res64: FB5D849B7DAEDDA2 Time : 0.0 sec. user=mdettweiler [2016-07-19 18:31:06] 805*2^1435675-1 is not prime. Res64: 9DBC550D2D541889 Time : 0.0 sec. user=mdettweiler [2016-07-19 18:31:06] 829*2^1435675-1 is not prime. Res64: 06A0CA881A284173 Time : 0.0 sec. user=mdettweiler [2016-07-19 18:31:06] 855*2^1435675-1 is not prime. Res64: 922FB6CE833C04A3 Time : 0.0 sec. user=mdettweiler [2016-07-19 18:31:07] 895*2^1435675-1 is not prime. Res64: B16E66A68B3CA059 Time : 0.0 sec. user=mdettweiler [2016-07-19 18:31:07] 675*2^1435676-1 is not prime. Res64: 19D47CCD5B1CB6B5 Time : 0.0 sec. user=mdettweiler [2016-07-19 19:21:46] 749*2^1435676-1 is not prime. Res64: E1CB56E70D07EECA Time : 0.0 sec. user=mdettweiler [2016-07-19 19:21:46] 759*2^1435676-1 is not prime. Res64: 5DACDAB561046FD0 Time : 0.0 sec. user=mdettweiler [2016-07-19 19:21:47] 879*2^1435676-1 is not prime. Res64: 6BA569F5594B6EA0 Time : 0.0 sec. user=mdettweiler [2016-07-19 19:21:47] 621*2^1435677-1 is not prime. Res64: EADD144A525D4F94 Time : 0.0 sec. user=mdettweiler [2016-07-19 19:21:47] 661*2^1435677-1 is not prime. Res64: 615B4FC0A6FCBF8A Time : 0.0 sec. user=mdettweiler [2016-07-19 20:07:30] 793*2^1435675-1 is not prime. Res64: CA3DC61F83567C8E Time : 0.0 sec. user=mdettweiler [2016-07-19 20:52:38] 615*2^1435672-1 is not prime. Res64: 62698C5236C55847 Time : 0.0 sec. user=juhehe [2016-07-19 20:58:59] 621*2^1435678-1 is not prime. Res64: E774C4230EA35E92 Time : 0.0 sec. user=mdettweiler [2016-07-19 21:04:43] 647*2^1435678-1 is not prime. Res64: B8A08CFC115DB308 Time : 0.0 sec. user=mdettweiler [2016-07-19 21:04:45] 651*2^1435678-1 is not prime. Res64: E34567D6BFB7110A Time : 0.0 sec. user=mdettweiler [2016-07-19 21:04:45] 681*2^1435678-1 is not prime. Res64: 6AF01D785F2B52E6 Time : 0.0 sec. user=mdettweiler [2016-07-19 21:04:46] 723*2^1435678-1 is not prime. Res64: 5CDB8F4A59AF0F09 Time : 0.0 sec. user=mdettweiler [2016-07-19 21:04:47] 621*2^1435679-1 is not prime. Res64: 074ECB143D97CA13 Time : 0.0 sec. user=mdettweiler [2016-07-19 21:37:57] 703*2^1435679-1 is not prime. Res64: 403D2F29F7F376A1 Time : 0.0 sec. user=mdettweiler [2016-07-19 21:37:59] 811*2^1435679-1 is not prime. Res64: 484DA8F1AAAE355C Time : 0.0 sec. user=mdettweiler [2016-07-19 21:38:01] 979*2^1435679-1 is not prime. Res64: 09F18D9F2D8D183D Time : 0.0 sec. user=mdettweiler [2016-07-19 21:38:03] 759*2^1435680-1 is not prime. Res64: 8A7AF9EDA7E05787 Time : 0.0 sec. user=mdettweiler [2016-07-19 21:38:06] 767*2^1435680-1 is not prime. Res64: 4033BA3180F79EFF Time : 0.0 sec. user=mdettweiler [2016-07-19 21:50:02] 863*2^1435680-1 is not prime. Res64: 3F08278708F0A57E Time : 0.0 sec. user=mdettweiler [2016-07-19 21:50:02] 905*2^1435680-1 is not prime. Res64: A5484138E7A71BCA Time : 0.0 sec. user=mdettweiler [2016-07-19 21:50:03] 927*2^1435680-1 is not prime. Res64: EDB94BC64D35DD41 Time : 0.0 sec. user=mdettweiler [2016-07-19 21:50:03] 609*2^1435681-1 is not prime. Res64: 32B2BC2D9E214278 Time : 0.0 sec. user=mdettweiler [2016-07-19 21:50:04] 645*2^1435681-1 is not prime. Res64: 23ABE9BE85DF6713 Time : 0.0 sec. user=mdettweiler [2016-07-19 22:24:53] 747*2^1435681-1 is not prime. Res64: A2103B4FFB9C171E Time : 0.0 sec. user=mdettweiler [2016-07-19 22:24:53] 769*2^1435681-1 is not prime. Res64: FA812FC45EB88DB3 Time : 0.0 sec. user=mdettweiler [2016-07-19 22:24:53] 801*2^1435681-1 is not prime. Res64: AC692DE503A1584F Time : 0.0 sec. user=mdettweiler [2016-07-19 22:24:54] 939*2^1435681-1 is not prime. Res64: 15A548602189A2C9 Time : 0.0 sec. user=mdettweiler [2016-07-19 22:24:54] 975*2^1435681-1 is not prime. Res64: F10BEDC3AC935BA2 Time : 0.0 sec. user=mdettweiler [2016-07-19 22:37:48] 987*2^1435681-1 is not prime. Res64: FA2CC3DD6CFF789A Time : 0.0 sec. user=mdettweiler [2016-07-19 22:37:49] 999*2^1435681-1 is not prime. Res64: B1143F2057C0B807 Time : 0.0 sec. user=mdettweiler [2016-07-19 22:37:49] 867*2^1435682-1 is not prime. Res64: D1174F65D173F160 Time : 0.0 sec. user=mdettweiler [2016-07-19 22:37:49] 911*2^1435682-1 is not prime. Res64: 95934F84F7FB817F Time : 0.0 sec. user=mdettweiler [2016-07-19 22:37:49] 921*2^1435682-1 is not prime. Res64: F34E5E1481AAF913 Time : 0.0 sec. user=mdettweiler [2016-07-19 23:11:18] 923*2^1435682-1 is not prime. Res64: 90DFFF96C27AB184 Time : 0.0 sec. user=mdettweiler [2016-07-19 23:11:20] 649*2^1435683-1 is not prime. Res64: 47DDE162763D2200 Time : 0.0 sec. user=mdettweiler [2016-07-19 23:11:24] 691*2^1435683-1 is not prime. Res64: DDB809926B05A6A7 Time : 0.0 sec. user=mdettweiler [2016-07-19 23:11:27] 719*2^1435684-1 is not prime. Res64: DDDD2608AAF907BC Time : 0.0 sec. user=mdettweiler [2016-07-19 23:11:30] 807*2^1435684-1 is not prime. Res64: 80C23BF020B3B607 Time : 0.0 sec. user=mdettweiler [2016-07-19 23:13:04] 765*2^1435677-1 is not prime. Res64: DF4F6DD87237D5A8 Time : 0.0 sec. user=mdettweiler [2016-07-19 23:13:07] 819*2^1435677-1 is not prime. Res64: D13FE7030E402731 Time : 0.0 sec. user=mdettweiler [2016-07-19 23:13:09] 865*2^1435677-1 is not prime. Res64: B21B6E4BB349A3A7 Time : 0.0 sec. user=mdettweiler [2016-07-19 23:13:12] 937*2^1435677-1 is not prime. Res64: 495804424C39E39D Time : 0.0 sec. user=mdettweiler [2016-07-19 23:13:15] 611*2^1435678-1 is not prime. Res64: 0A1EE4940C556540 Time : 0.0 sec. user=mdettweiler [2016-07-19 23:23:39] 833*2^1435684-1 is not prime. Res64: DCAF69763ECCA356 Time : 0.0 sec. user=mdettweiler [2016-07-19 23:23:39] 887*2^1435684-1 is not prime. Res64: 95DE86D263A2ABF5 Time : 0.0 sec. user=mdettweiler [2016-07-19 23:23:39] 959*2^1435684-1 is not prime. Res64: 971D9DB73B916D76 Time : 0.0 sec. user=mdettweiler [2016-07-19 23:23:40] 715*2^1435685-1 is not prime. Res64: 6E597C993F749088 Time : 0.0 sec. user=mdettweiler [2016-07-19 23:23:40] 735*2^1435685-1 is not prime. Res64: AE8695F157C114A3 Time : 0.0 sec. user=mdettweiler [2016-07-19 23:57:24] 787*2^1435685-1 is not prime. Res64: B2A7E8936AEEE9FF Time : 0.0 sec. user=mdettweiler [2016-07-19 23:57:24] 831*2^1435685-1 is not prime. Res64: B744C637739C11B2 Time : 0.0 sec. user=mdettweiler [2016-07-19 23:57:25] 837*2^1435685-1 is not prime. Res64: 451F79D99E13A61F Time : 0.0 sec. user=mdettweiler [2016-07-19 23:57:25] 865*2^1435685-1 is not prime. Res64: B4CEFAD9B2F1DA6D Time : 0.0 sec. user=mdettweiler [2016-07-19 23:57:25] 867*2^1435685-1 is not prime. Res64: AAE244C7FD27DA9E Time : 0.0 sec. user=mdettweiler [2016-07-19 23:59:07] 949*2^1435685-1 is not prime. Res64: 2F36AEF6802E5243 Time : 0.0 sec. user=mdettweiler [2016-07-19 23:59:08] 979*2^1435685-1 is not prime. Res64: 5A96C11300D42C68 Time : 0.0 sec. user=mdettweiler [2016-07-19 23:59:08] 627*2^1435686-1 is not prime. Res64: ECB9F8F914025C9A Time : 0.0 sec. user=mdettweiler [2016-07-19 23:59:09] 635*2^1435686-1 is not prime. Res64: 1F09660F803DB23F Time : 0.0 sec. user=mdettweiler [2016-07-19 23:59:11] 647*2^1435686-1 is not prime. Res64: EB41318C09352A91 Time : 0.0 sec.