user=mdettweiler [2015-07-16 00:10:26] 715*2^1403191-1 is not prime. Res64: 72C7CADA9CF0ACB6 Time : 0.0 sec. user=mdettweiler [2015-07-16 00:10:26] 783*2^1403191-1 is not prime. Res64: BD6FAE878A04710C Time : 0.0 sec. user=mdettweiler [2015-07-16 00:11:50] 859*2^1403191-1 is not prime. Res64: 5BF01E88A2E13F00 Time : 0.0 sec. user=mdettweiler [2015-07-16 00:11:51] 617*2^1403192-1 is not prime. Res64: 206B0EB47BD56CAB Time : 0.0 sec. user=mdettweiler [2015-07-16 00:17:58] 699*2^1403192-1 is not prime. Res64: 2CF3FA9BF5CF3DD9 Time : 0.0 sec. user=mdettweiler [2015-07-16 00:17:59] 717*2^1403192-1 is not prime. Res64: E806E46F333EC925 Time : 0.0 sec. user=mdettweiler [2015-07-16 00:18:10] 635*2^1403192-1 is not prime. Res64: 08504A2001728A50 Time : 0.0 sec. user=mdettweiler [2015-07-16 00:18:10] 665*2^1403192-1 is not prime. Res64: D2B9E3D500AEA9A1 Time : 0.0 sec. user=mdettweiler [2015-07-16 00:28:05] 725*2^1403192-1 is not prime. Res64: 16CFFB877B5165B1 Time : 0.0 sec. user=mdettweiler [2015-07-16 00:28:06] 923*2^1403192-1 is not prime. Res64: 9241F3E24FF8059A Time : 0.0 sec. user=mdettweiler [2015-07-16 00:29:24] 657*2^1403193-1 is not prime. Res64: 3B583CCE35789A02 Time : 0.0 sec. user=mdettweiler [2015-07-16 00:29:25] 679*2^1403193-1 is not prime. Res64: 7280A91525516665 Time : 0.0 sec. user=mdettweiler [2015-07-16 00:35:27] 781*2^1403193-1 is not prime. Res64: 5BAEFA39B5AD14B6 Time : 0.0 sec. user=mdettweiler [2015-07-16 00:35:27] 787*2^1403193-1 is not prime. Res64: E64473C7F9080D1D Time : 0.0 sec. user=mdettweiler [2015-07-16 00:35:37] 805*2^1403193-1 is not prime. Res64: 8DFB5B4167F4D265 Time : 0.0 sec. user=mdettweiler [2015-07-16 00:35:38] 811*2^1403193-1 is not prime. Res64: 9C61CEB9850603E6 Time : 0.0 sec. user=mdettweiler [2015-07-16 00:45:35] 877*2^1403193-1 is not prime. Res64: ECE944FD70ED0A6B Time : 0.0 sec. user=mdettweiler [2015-07-16 00:45:35] 951*2^1403193-1 is not prime. Res64: A3F865CBCA5F6FED Time : 0.0 sec. user=mdettweiler [2015-07-16 00:46:52] 657*2^1403194-1 is not prime. Res64: D6BE805457FA21A3 Time : 0.0 sec. user=mdettweiler [2015-07-16 00:46:52] 695*2^1403194-1 is not prime. Res64: FFA7202DD1900653 Time : 0.0 sec. user=mdettweiler [2015-07-16 00:52:51] 765*2^1403194-1 is not prime. Res64: 2C419D4FBF93CB73 Time : 0.0 sec. user=mdettweiler [2015-07-16 00:52:51] 831*2^1403194-1 is not prime. Res64: B741F557142A2259 Time : 0.0 sec. user=mdettweiler [2015-07-16 00:53:06] 619*2^1403195-1 is not prime. Res64: 5513E0A14D01D5CE Time : 0.0 sec. user=mdettweiler [2015-07-16 00:53:07] 645*2^1403195-1 is not prime. Res64: 7367D2BD6E007323 Time : 0.0 sec. user=mdettweiler [2015-07-16 01:03:12] 655*2^1403195-1 is not prime. Res64: 053867DBEDFAAB86 Time : 0.0 sec. user=mdettweiler [2015-07-16 01:03:14] 699*2^1403195-1 is not prime. Res64: 7F5D6CB1C7D07E07 Time : 0.0 sec. user=mdettweiler [2015-07-16 01:04:21] 733*2^1403195-1 is not prime. Res64: E1DBDE4D67C52D77 Time : 0.0 sec. user=mdettweiler [2015-07-16 01:04:22] 781*2^1403195-1 is not prime. Res64: 9A555E9550E2ED0D Time : 0.0 sec. user=mdettweiler [2015-07-16 01:10:19] 805*2^1403195-1 is not prime. Res64: 82D7EAEE4E00F070 Time : 0.0 sec. user=mdettweiler [2015-07-16 01:10:19] 883*2^1403195-1 is not prime. Res64: A677B60FFF5E60E8 Time : 0.0 sec. user=mdettweiler [2015-07-16 01:10:30] 767*2^1403196-1 is not prime. Res64: 8BDFBB41F47AC44E Time : 0.0 sec. user=mdettweiler [2015-07-16 01:10:31] 825*2^1403196-1 is not prime. Res64: 384FD7914B5F1A59 Time : 0.0 sec. user=mdettweiler [2015-07-16 01:21:00] 903*2^1403196-1 is not prime. Res64: DA40101137E39565 Time : 0.0 sec. user=mdettweiler [2015-07-16 01:21:00] 685*2^1403197-1 is not prime. Res64: CB55EE118B6CA584 Time : 0.0 sec. user=mdettweiler [2015-07-16 01:21:54] 717*2^1403197-1 is not prime. Res64: D824E668AF783BBE Time : 0.0 sec. user=mdettweiler [2015-07-16 01:21:54] 801*2^1403197-1 is not prime. Res64: DAF32968599A6A31 Time : 0.0 sec. user=mdettweiler [2015-07-16 01:27:52] 835*2^1403197-1 is not prime. Res64: 0F145CA83ED0F824 Time : 0.0 sec. user=mdettweiler [2015-07-16 01:27:53] 871*2^1403197-1 is not prime. Res64: 4A9C893F15AFC3CF Time : 0.0 sec. user=mdettweiler [2015-07-16 01:28:11] 997*2^1403197-1 is not prime. Res64: DCA073274ECE9C3A Time : 0.0 sec. user=mdettweiler [2015-07-16 01:28:13] 603*2^1403198-1 is not prime. Res64: 7699B02D8823B7DD Time : 0.0 sec. user=mdettweiler [2015-07-16 01:38:32] 755*2^1403198-1 is not prime. Res64: C4B3EFC55938F983 Time : 0.0 sec. user=mdettweiler [2015-07-16 01:38:32] 791*2^1403198-1 is not prime. Res64: BE2F06ED597A02CF Time : 0.0 sec. user=mdettweiler [2015-07-16 01:39:30] 843*2^1403198-1 is not prime. Res64: 83263F78FF44955A Time : 0.0 sec. user=mdettweiler [2015-07-16 01:39:30] 885*2^1403198-1 is not prime. Res64: 284969BC822D31B7 Time : 0.0 sec. user=mdettweiler [2015-07-16 01:45:23] 993*2^1403198-1 is not prime. Res64: 66B42AAFB665D5A9 Time : 0.0 sec. user=mdettweiler [2015-07-16 01:45:23] 615*2^1403199-1 is not prime. Res64: 227E34C05F8C5A85 Time : 0.0 sec. user=mdettweiler [2015-07-16 01:45:41] 625*2^1403199-1 is not prime. Res64: 5839414AC96C9BE2 Time : 0.0 sec. user=mdettweiler [2015-07-16 01:45:42] 691*2^1403199-1 is not prime. Res64: 7CA3B67C797F80DD Time : 0.0 sec. user=mdettweiler [2015-07-16 01:56:03] 705*2^1403199-1 is not prime. Res64: A3DEE7E86E7097DB Time : 0.0 sec. user=mdettweiler [2015-07-16 01:56:03] 853*2^1403199-1 is not prime. Res64: 3E24DDDF26460713 Time : 0.0 sec. user=mdettweiler [2015-07-16 01:57:00] 865*2^1403199-1 is not prime. Res64: C3DC20703D984F58 Time : 0.0 sec. user=mdettweiler [2015-07-16 01:57:00] 879*2^1403199-1 is not prime. Res64: FD7F383CFE88E2D9 Time : 0.0 sec. user=mdettweiler [2015-07-16 02:02:52] 895*2^1403199-1 is not prime. Res64: 3904D1B2CD5A9A9C Time : 0.0 sec. user=mdettweiler [2015-07-16 02:02:53] 955*2^1403199-1 is not prime. Res64: D292F706F9AE5F83 Time : 0.0 sec. user=mdettweiler [2015-07-16 02:03:14] 985*2^1403199-1 is not prime. Res64: 6698C4EE89626597 Time : 0.0 sec. user=mdettweiler [2015-07-16 02:03:15] 773*2^1403200-1 is not prime. Res64: E02809A42549BD6C Time : 0.0 sec. user=mdettweiler [2015-07-16 02:13:39] 933*2^1403200-1 is not prime. Res64: 5DFBD3C7085B8123 Time : 0.0 sec. user=mdettweiler [2015-07-16 02:13:39] 939*2^1403200-1 is not prime. Res64: F8E7C4E33574635A Time : 0.0 sec. user=mdettweiler [2015-07-16 02:14:32] 607*2^1403201-1 is not prime. Res64: F737E2D3CA995F42 Time : 0.0 sec. user=mdettweiler [2015-07-16 02:14:32] 645*2^1403201-1 is not prime. Res64: 37D9D801F6991074 Time : 0.0 sec. user=mdettweiler [2015-07-16 02:20:25] 651*2^1403201-1 is not prime. Res64: 06947D6DDE5CDA77 Time : 0.0 sec. user=mdettweiler [2015-07-16 02:20:25] 775*2^1403201-1 is not prime. Res64: 9EBF1C0C574D8D6B Time : 0.0 sec. user=mdettweiler [2015-07-16 02:20:50] 829*2^1403201-1 is not prime. Res64: 47F67F82F19BDB0B Time : 0.0 sec. user=mdettweiler [2015-07-16 02:20:51] 855*2^1403201-1 is not prime. Res64: F3965367C533CF3D Time : 0.0 sec. user=mdettweiler [2015-07-16 02:31:16] 955*2^1403201-1 is not prime. Res64: DD02E8F2F58EA0C4 Time : 0.0 sec. user=mdettweiler [2015-07-16 02:31:16] 705*2^1403202-1 is not prime. Res64: 2AFD4BCEF65BDD2B Time : 0.0 sec. user=mdettweiler [2015-07-16 02:32:01] 741*2^1403202-1 is not prime. Res64: 188477B0F130CCAA Time : 0.0 sec. user=mdettweiler [2015-07-16 02:32:01] 815*2^1403202-1 is not prime. Res64: DBF334507F2AF526 Time : 0.0 sec. user=mdettweiler [2015-07-16 02:38:00] 893*2^1403202-1 is not prime. Res64: 9532E368E8DB084B Time : 0.0 sec. user=mdettweiler [2015-07-16 02:38:01] 619*2^1403203-1 is not prime. Res64: 994242BA67C2FFBA Time : 0.0 sec. user=mdettweiler [2015-07-16 02:38:34] 691*2^1403203-1 is not prime. Res64: E849C3279FCFCF70 Time : 0.0 sec. user=mdettweiler [2015-07-16 02:38:34] 741*2^1403203-1 is not prime. Res64: 111611D62BA907B7 Time : 0.0 sec. user=mdettweiler [2015-07-16 02:49:03] 813*2^1403203-1 is not prime. Res64: A52C2258A0F07243 Time : 0.0 sec. user=mdettweiler [2015-07-16 02:49:04] 819*2^1403203-1 is not prime. Res64: 417A48A1D515BC6E Time : 0.0 sec. user=mdettweiler [2015-07-16 02:49:29] 873*2^1403203-1 is not prime. Res64: 785F9772B621E1ED Time : 0.0 sec. user=mdettweiler [2015-07-16 02:49:29] 943*2^1403203-1 is not prime. Res64: 9568065698603B34 Time : 0.0 sec. user=mdettweiler [2015-07-16 02:55:25] 665*2^1403204-1 is not prime. Res64: FB2893738960CD99 Time : 0.0 sec. user=mdettweiler [2015-07-16 02:55:25] 683*2^1403204-1 is not prime. Res64: 094DB90F7C593C97 Time : 0.0 sec. user=mdettweiler [2015-07-16 02:56:10] 687*2^1403204-1 is not prime. Res64: 2E537984BA79BAB8 Time : 0.0 sec. user=mdettweiler [2015-07-16 02:56:11] 743*2^1403204-1 is not prime. Res64: A638531A93C7BC89 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:06:33] 843*2^1403204-1 is not prime. Res64: 927B652DFB31E668 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:06:33] 869*2^1403204-1 is not prime. Res64: 1B8ECE3ECCE38EF7 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:06:53] 975*2^1403205-1 is not prime. Res64: A5ED872C887CB168 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:06:53] 651*2^1403206-1 is not prime. Res64: F21A213C159F3DF7 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:12:53] 741*2^1403206-1 is not prime. Res64: CD3DDCA0C4AE5B2F Time : 0.0 sec. user=mdettweiler [2015-07-16 03:12:54] 887*2^1403206-1 is not prime. Res64: B0C2EBB121291D22 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:13:36] 917*2^1403206-1 is not prime. Res64: 70AD963B06FF2C97 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:13:37] 965*2^1403206-1 is not prime. Res64: CAD811F6222865D4 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:24:02] 609*2^1403207-1 is not prime. Res64: 9CE23A61D10763EF Time : 0.0 sec. user=mdettweiler [2015-07-16 03:24:02] 655*2^1403207-1 is not prime. Res64: F76096E4FE44DACB Time : 0.0 sec. user=mdettweiler [2015-07-16 03:24:18] 663*2^1403207-1 is not prime. Res64: 3A8EC9B953DAD4B4 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:24:18] 673*2^1403207-1 is not prime. Res64: 3D47C12FC6214736 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:30:24] 675*2^1403207-1 is not prime. Res64: BBDEE6CC7E272FA9 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:30:26] 729*2^1403207-1 is not prime. Res64: F0330AEF343A17D3 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:31:06] 775*2^1403207-1 is not prime. Res64: 637977040BAE4692 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:31:06] 843*2^1403207-1 is not prime. Res64: 9A38399E473B0773 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:41:30] 861*2^1403207-1 is not prime. Res64: 34627CF6BA7C6D6B Time : 0.0 sec. user=mdettweiler [2015-07-16 03:41:32] 909*2^1403207-1 is not prime. Res64: 126DFCB5CE3E482E Time : 0.0 sec. user=mdettweiler [2015-07-16 03:41:46] 985*2^1403207-1 is not prime. Res64: 0CE6F974745CE91E Time : 0.0 sec. user=mdettweiler [2015-07-16 03:41:48] 633*2^1403208-1 is not prime. Res64: F31E0B2C10F3DC22 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:48:23] 753*2^1403208-1 is not prime. Res64: E9C9C7A863FFA2A1 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:48:25] 767*2^1403208-1 is not prime. Res64: E66995B57F285AB5 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:48:51] 825*2^1403208-1 is not prime. Res64: 1AEB20D11A418A22 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:48:52] 879*2^1403208-1 is not prime. Res64: 0CE4B352377A6096 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:59:47] 741*2^1403209-1 is not prime. Res64: B438103A049D6CB7 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:59:47] 807*2^1403209-1 is not prime. Res64: D34E996F6EEC3FF0 Time : 0.0 sec. user=mdettweiler [2015-07-16 03:59:49] 905*2^1403208-1 is not prime. Res64: 067FFB9EDC7BF76A Time : 0.0 sec. user=mdettweiler [2015-07-16 03:59:49] 625*2^1403209-1 is not prime. Res64: ECFD794F89F736DF Time : 0.0 sec. user=mdettweiler [2015-07-16 04:06:11] 861*2^1403209-1 is not prime. Res64: BCFBAFA1FFD88019 Time : 0.0 sec. user=mdettweiler [2015-07-16 04:06:12] 897*2^1403209-1 is not prime. Res64: F3DA57ABE74C8F98 Time : 0.0 sec. user=mdettweiler [2015-07-16 04:06:21] 925*2^1403209-1 is not prime. Res64: 2A149D6FDFD58E6F Time : 0.0 sec. user=mdettweiler [2015-07-16 04:06:22] 641*2^1403210-1 is not prime. Res64: ED84A44E93C0A795 Time : 0.0 sec. user=mdettweiler [2015-07-16 04:17:16] 753*2^1403210-1 is not prime. Res64: 3959DD33B47CB0DE Time : 0.0 sec. user=mdettweiler [2015-07-16 04:17:16] 773*2^1403210-1 is not prime. Res64: 22D579B53DAADF77 Time : 0.0 sec. user=mdettweiler [2015-07-16 04:17:20] 875*2^1403210-1 is not prime. Res64: 5E0BF6D92DA8552E Time : 0.0 sec. user=mdettweiler [2015-07-16 04:17:20] 921*2^1403210-1 is not prime. Res64: 62CFF592F100C034 Time : 0.0 sec. user=mdettweiler [2015-07-16 04:23:47] 685*2^1403211-1 is not prime. Res64: 60BF50B9695E961A Time : 0.0 sec. user=mdettweiler [2015-07-16 04:23:47] 703*2^1403211-1 is not prime. Res64: 52298540F0C4416B Time : 0.0 sec. user=mdettweiler [2015-07-16 04:23:55] 739*2^1403211-1 is not prime. Res64: E0B1BBA3E32D3DDB Time : 0.0 sec. user=mdettweiler [2015-07-16 04:23:55] 823*2^1403211-1 is not prime. Res64: DD2BA658D7513982 Time : 0.0 sec. user=mdettweiler [2015-07-16 04:35:15] 859*2^1403211-1 is not prime. Res64: 2B08E8ED0EFE835D Time : 0.0 sec. user=mdettweiler [2015-07-16 04:35:15] 861*2^1403211-1 is not prime. Res64: DD8EA589D4A699B5 Time : 0.0 sec. user=mdettweiler [2015-07-16 04:36:02] 931*2^1403211-1 is not prime. Res64: F18391C440F610DD Time : 0.0 sec. user=mdettweiler [2015-07-16 04:36:02] 975*2^1403211-1 is not prime. Res64: 2E7535C8A7DCFFD4 Time : 0.0 sec. user=mdettweiler [2015-07-16 04:41:47] 657*2^1403212-1 is not prime. Res64: 514CFC87ECF17BDA Time : 0.0 sec. user=mdettweiler [2015-07-16 04:41:47] 723*2^1403212-1 is not prime. Res64: 8FA9DDE36481E02B Time : 0.0 sec. user=mdettweiler [2015-07-16 04:42:11] 623*2^1403212-1 is not prime. Res64: 45DCFF5A04D8FC7D Time : 0.0 sec. user=mdettweiler [2015-07-16 04:42:12] 647*2^1403212-1 is not prime. Res64: 28A3511F193F6136 Time : 0.0 sec. user=mdettweiler [2015-07-16 04:52:55] 743*2^1403212-1 is not prime. Res64: 0E15A041A818798E Time : 0.0 sec. user=mdettweiler [2015-07-16 04:52:55] 607*2^1403213-1 is not prime. Res64: A4209209D30E1735 Time : 0.0 sec. user=mdettweiler [2015-07-16 04:53:28] 619*2^1403213-1 is not prime. Res64: B7500CB921DE6192 Time : 0.0 sec. user=mdettweiler [2015-07-16 04:53:28] 781*2^1403213-1 is not prime. Res64: 1882FA750E143454 Time : 0.0 sec. user=mdettweiler [2015-07-16 04:59:16] 787*2^1403213-1 is not prime. Res64: 5A27D48FF31F0108 Time : 0.0 sec. user=mdettweiler [2015-07-16 04:59:16] 847*2^1403213-1 is not prime. Res64: 640D3C9EB92B720C Time : 0.0 sec. user=mdettweiler [2015-07-16 04:59:42] 705*2^1403214-1 is not prime. Res64: C94DDDD34725D974 Time : 0.0 sec. user=mdettweiler [2015-07-16 04:59:43] 711*2^1403214-1 is not prime. Res64: FEF5FD92FB33D01A Time : 0.0 sec. user=mdettweiler [2015-07-16 05:10:24] 741*2^1403214-1 is not prime. Res64: A05A083CCFD8739B Time : 0.0 sec. user=mdettweiler [2015-07-16 05:10:24] 755*2^1403214-1 is not prime. Res64: 6EB9928EFD3FD0CA Time : 0.0 sec. user=mdettweiler [2015-07-16 05:10:55] 783*2^1403214-1 is not prime. Res64: C69B9414BD7E7187 Time : 0.0 sec. user=mdettweiler [2015-07-16 05:10:55] 797*2^1403214-1 is not prime. Res64: C42CDDADB1408BC7 Time : 0.0 sec. user=mdettweiler [2015-07-16 05:16:41] 815*2^1403214-1 is not prime. Res64: 6DF8EF969080C39E Time : 0.0 sec. user=mdettweiler [2015-07-16 05:16:41] 891*2^1403214-1 is not prime. Res64: 2B32217228ED9057 Time : 0.0 sec. user=mdettweiler [2015-07-16 05:17:17] 915*2^1403214-1 is not prime. Res64: 7CF55D15C3FB930F Time : 0.0 sec. user=mdettweiler [2015-07-16 05:17:17] 1001*2^1403214-1 is not prime. Res64: A78A6224B3567879 Time : 0.0 sec. user=mdettweiler [2015-07-16 05:28:03] 603*2^1403215-1 is not prime. Res64: 9652DCBCC7E912B4 Time : 0.0 sec. user=mdettweiler [2015-07-16 05:28:04] 633*2^1403215-1 is not prime. Res64: 685A0608ED745EDF Time : 0.0 sec. user=mdettweiler [2015-07-16 05:28:27] 673*2^1403215-1 is not prime. Res64: F8DF59B5B219A74E Time : 0.0 sec. user=mdettweiler [2015-07-16 05:28:28] 723*2^1403215-1 is not prime. Res64: 4DB2FF3B24AD1929 Time : 0.0 sec. user=mdettweiler [2015-07-16 05:34:11] 771*2^1403215-1 is not prime. Res64: D16E0AECC475A596 Time : 0.0 sec. user=mdettweiler [2015-07-16 05:34:12] 831*2^1403215-1 is not prime. Res64: 1C6B80021BEE2802 Time : 0.0 sec. user=mdettweiler [2015-07-16 05:34:44] 861*2^1403215-1 is not prime. Res64: DEC682A8086FC016 Time : 0.0 sec. user=mdettweiler [2015-07-16 05:34:45] 871*2^1403215-1 is not prime. Res64: B02C7B86FAA90DC6 Time : 0.0 sec. user=mdettweiler [2015-07-16 05:45:37] 883*2^1403215-1 is not prime. Res64: F0060E2F6D53C750 Time : 0.0 sec. user=mdettweiler [2015-07-16 05:45:38] 617*2^1403216-1 is not prime. Res64: F8C8C85B8D01F23C Time : 0.0 sec. user=mdettweiler [2015-07-16 05:45:55] 669*2^1403216-1 is not prime. Res64: C31E45CF057FD7E6 Time : 0.0 sec. user=mdettweiler [2015-07-16 05:45:55] 785*2^1403216-1 is not prime. Res64: 7D322D753D0DD63F Time : 0.0 sec. user=mdettweiler [2015-07-16 05:51:39] 873*2^1403216-1 is not prime. Res64: 65B243EBCF6F728F Time : 0.0 sec. user=mdettweiler [2015-07-16 05:51:39] 983*2^1403216-1 is not prime. Res64: 7F237F7D62A512AB Time : 0.0 sec. user=mdettweiler [2015-07-16 05:52:15] 615*2^1403217-1 is not prime. Res64: 4642754391043621 Time : 0.0 sec. user=mdettweiler [2015-07-16 05:52:15] 667*2^1403217-1 is not prime. Res64: 8448C5A0320C30EB Time : 0.0 sec. user=mdettweiler [2015-07-16 06:03:10] 819*2^1403217-1 is not prime. Res64: 4B25A54C0B4B6618 Time : 0.0 sec. user=mdettweiler [2015-07-16 06:03:11] 861*2^1403217-1 is not prime. Res64: 8602AC7B51D03515 Time : 0.0 sec. user=mdettweiler [2015-07-16 06:03:25] 885*2^1403217-1 is not prime. Res64: D070B29CC208BD37 Time : 0.0 sec. user=mdettweiler [2015-07-16 06:03:27] 901*2^1403217-1 is not prime. Res64: FC3AC20AB9C311A8 Time : 0.0 sec. user=mdettweiler [2015-07-16 06:09:08] 937*2^1403217-1 is not prime. Res64: 6FC5C35BC15EE575 Time : 0.0 sec. user=mdettweiler [2015-07-16 06:09:08] 979*2^1403217-1 is not prime. Res64: A6695F852B540D30 Time : 0.0 sec. user=mdettweiler [2015-07-16 06:09:42] 605*2^1403218-1 is not prime. Res64: C7AD75E9158A73DD Time : 0.0 sec. user=mdettweiler [2015-07-16 06:09:43] 611*2^1403218-1 is not prime. Res64: 7FE541C075CED670 Time : 0.0 sec. user=mdettweiler [2015-07-16 06:21:13] 773*2^1403218-1 is not prime. Res64: 4712D396CD8EFD3E Time : 0.0 sec. user=mdettweiler [2015-07-16 06:21:14] 957*2^1403218-1 is not prime. Res64: 6C5B4FAA21EDF1A8 Time : 0.0 sec. user=mdettweiler [2015-07-16 06:21:21] 1001*2^1403218-1 is not prime. Res64: 07CCD07E8061DA35 Time : 0.0 sec. user=mdettweiler [2015-07-16 06:21:21] 609*2^1403219-1 is not prime. Res64: 6FF875CEA1699EC5 Time : 0.0 sec. user=mdettweiler [2015-07-16 06:26:38] 621*2^1403219-1 is not prime. Res64: D5E3437B4501735B Time : 0.0 sec. user=mdettweiler [2015-07-16 06:26:39] 643*2^1403219-1 is not prime. Res64: CEE0B8B9BCD3BEAB Time : 0.0 sec. user=mdettweiler [2015-07-16 06:27:11] 645*2^1403219-1 is not prime. Res64: FBBD69C55DAF131B Time : 0.0 sec. user=mdettweiler [2015-07-16 06:27:11] 799*2^1403219-1 is not prime. Res64: E100E3C1874EB0C0 Time : 0.0 sec. user=mdettweiler [2015-07-16 06:38:44] 861*2^1403219-1 is not prime. Res64: E07D91FFBB860271 Time : 0.0 sec. user=mdettweiler [2015-07-16 06:38:44] 921*2^1403219-1 is not prime. Res64: D8B6EF1165BF2290 Time : 0.0 sec. user=mdettweiler [2015-07-16 06:38:49] 943*2^1403219-1 is not prime. Res64: 1CED7727E0B93988 Time : 0.0 sec. user=mdettweiler [2015-07-16 06:38:49] 949*2^1403219-1 is not prime. Res64: F1EF1EA91DBE6EC3 Time : 0.0 sec. user=mdettweiler [2015-07-16 06:44:07] 719*2^1403220-1 is not prime. Res64: E763010B75FCF6D1 Time : 0.0 sec. user=mdettweiler [2015-07-16 06:44:08] 753*2^1403220-1 is not prime. Res64: E7DBEF9F20C7EA1F Time : 0.0 sec. user=mdettweiler [2015-07-16 06:44:56] 809*2^1403220-1 is not prime. Res64: CAAA6BE19FA1035D Time : 0.0 sec. user=mdettweiler [2015-07-16 06:44:56] 893*2^1403220-1 is not prime. Res64: 363061CC90BDD0F7 Time : 0.0 sec. user=mdettweiler [2015-07-16 06:56:16] 959*2^1403220-1 is not prime. Res64: A5D87B9D55065827 Time : 0.0 sec. user=mdettweiler [2015-07-16 06:56:17] 999*2^1403220-1 is not prime. Res64: 1BF715090B9A7C5D Time : 0.0 sec. user=mdettweiler [2015-07-16 06:56:26] 619*2^1403221-1 is not prime. Res64: A63D6EBDC7DAAE18 Time : 0.0 sec. user=mdettweiler [2015-07-16 06:56:26] 681*2^1403221-1 is not prime. Res64: F60D08126917CB11 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:01:38] 687*2^1403221-1 is not prime. Res64: 4F8A8672E6ECB07C Time : 0.0 sec. user=mdettweiler [2015-07-16 07:01:39] 717*2^1403221-1 is not prime. Res64: 4AB1B6440AE30755 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:02:21] 741*2^1403221-1 is not prime. Res64: 6A437D14FB72A9EB Time : 0.0 sec. user=mdettweiler [2015-07-16 07:02:22] 859*2^1403221-1 is not prime. Res64: E940D5B5CF354566 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:13:43] 931*2^1403221-1 is not prime. Res64: 770226BCE3212FA3 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:13:43] 997*2^1403221-1 is not prime. Res64: 137A38F16FA6AC9D Time : 0.0 sec. user=mdettweiler [2015-07-16 07:13:54] 603*2^1403222-1 is not prime. Res64: F16124570DD48816 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:13:54] 617*2^1403222-1 is not prime. Res64: F49A2AB5973A7A15 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:19:22] 675*2^1403222-1 is not prime. Res64: A7BC830D5E384911 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:19:23] 693*2^1403222-1 is not prime. Res64: 180E4ADAE6DE9197 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:19:54] 743*2^1403222-1 is not prime. Res64: 88A487465673BCF8 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:19:54] 791*2^1403222-1 is not prime. Res64: F941371B0B2D1CDA Time : 0.0 sec. user=mdettweiler [2015-07-16 07:31:14] 857*2^1403222-1 is not prime. Res64: 5E0BE3B730B762A0 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:31:14] 923*2^1403222-1 is not prime. Res64: 7FA4FE438679BA28 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:31:19] 945*2^1403222-1 is not prime. Res64: ACFA230D5E607A01 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:31:19] 951*2^1403222-1 is not prime. Res64: 93B17E2528F26B29 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:36:47] 619*2^1403223-1 is not prime. Res64: F47AAF79411E4630 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:36:47] 663*2^1403223-1 is not prime. Res64: A13220F515889240 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:37:18] 669*2^1403223-1 is not prime. Res64: 1D14753D1438BEF7 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:37:19] 763*2^1403223-1 is not prime. Res64: 493AF7B90AC68B60 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:48:48] 955*2^1403223-1 is not prime. Res64: C6C9FB474EE4C9A3 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:48:48] 645*2^1403224-1 is not prime. Res64: 93F7726A3E388EB1 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:48:51] 873*2^1403224-1 is not prime. Res64: DB7EDF9CA246CC6B Time : 0.0 sec. user=mdettweiler [2015-07-16 07:48:51] 903*2^1403224-1 is not prime. Res64: 47FB53BD5363A325 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:54:20] 989*2^1403224-1 is not prime. Res64: 092CB92FC39D4C45 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:54:20] 675*2^1403225-1 is not prime. Res64: 512787F1CD3AF828 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:54:51] 711*2^1403225-1 is not prime. Res64: 314A3CAE7DA29FB1 Time : 0.0 sec. user=mdettweiler [2015-07-16 07:54:51] 771*2^1403225-1 is not prime. Res64: 3922BEC48258CE14 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:06:22] 897*2^1403225-1 is not prime. Res64: E184AD5F93A2DCBC Time : 0.0 sec. user=mdettweiler [2015-07-16 08:06:22] 949*2^1403225-1 is not prime. Res64: AE7B926D5EAB50BC Time : 0.0 sec. user=mdettweiler [2015-07-16 08:06:27] 837*2^1403225-1 is not prime. Res64: 957B7A87A5FDFE2A Time : 0.0 sec. user=mdettweiler [2015-07-16 08:06:28] 867*2^1403225-1 is not prime. Res64: 2ABFE111702DC695 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:11:47] 955*2^1403225-1 is not prime. Res64: 89E4585615BAD2A4 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:11:47] 633*2^1403226-1 is not prime. Res64: 028760FDE4B16734 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:12:23] 635*2^1403226-1 is not prime. Res64: 7ABBEA166FF12788 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:12:23] 765*2^1403226-1 is not prime. Res64: EB060044DBCEE58B Time : 0.0 sec. user=mdettweiler [2015-07-16 08:23:57] 821*2^1403226-1 is not prime. Res64: E27F784422FC2404 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:23:58] 833*2^1403226-1 is not prime. Res64: DAC6E9E9B64D2646 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:23:58] 893*2^1403226-1 is not prime. Res64: 414C42776BCA1BCD Time : 0.0 sec. user=mdettweiler [2015-07-16 08:23:58] 905*2^1403226-1 is not prime. Res64: 1A9343D930D97151 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:29:11] 947*2^1403226-1 is not prime. Res64: 183657A28FD470C5 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:29:12] 639*2^1403227-1 is not prime. Res64: D959DC29676B4FC7 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:29:53] 645*2^1403227-1 is not prime. Res64: 43C65C07A9AC65F8 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:29:54] 649*2^1403227-1 is not prime. Res64: 595B91397BFE7EA6 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:41:30] 703*2^1403227-1 is not prime. Res64: 879234DFD3949DB9 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:41:31] 985*2^1403227-1 is not prime. Res64: 09CDDABECD564308 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:41:35] 617*2^1403228-1 is not prime. Res64: F24D2184407AF382 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:41:35] 635*2^1403228-1 is not prime. Res64: 2BA58F97F50DC0B8 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:46:42] 659*2^1403228-1 is not prime. Res64: 861B2EFE8DB2229A Time : 0.0 sec. user=mdettweiler [2015-07-16 08:46:42] 767*2^1403228-1 is not prime. Res64: 9934BD70B701EDEF Time : 0.0 sec. user=mdettweiler [2015-07-16 08:47:28] 813*2^1403228-1 is not prime. Res64: FDAB22CDD32C2ED6 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:47:28] 839*2^1403228-1 is not prime. Res64: 9B851AD62C453054 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:58:56] 843*2^1403228-1 is not prime. Res64: EC13D15BD02DEA96 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:58:57] 845*2^1403228-1 is not prime. Res64: 4604B12B2EC38DC8 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:59:00] 927*2^1403228-1 is not prime. Res64: 74284399F5068855 Time : 0.0 sec. user=mdettweiler [2015-07-16 08:59:01] 935*2^1403228-1 is not prime. Res64: ED525B3287BE1413 Time : 0.0 sec. user=mdettweiler [2015-07-16 09:04:10] 945*2^1403228-1 is not prime. Res64: 79D002795C2EBE74 Time : 0.0 sec. user=mdettweiler [2015-07-16 09:04:11] 661*2^1403229-1 is not prime. Res64: 6CA312A57D001942 Time : 0.0 sec. user=mdettweiler [2015-07-16 09:05:01] 675*2^1403229-1 is not prime. Res64: E8BFEC7AA25CF351 Time : 0.0 sec. user=mdettweiler [2015-07-16 09:05:03] 795*2^1403229-1 is not prime. Res64: 8F9FD8B9662D82FD Time : 0.0 sec. user=mdettweiler [2015-07-16 09:16:23] 817*2^1403229-1 is not prime. Res64: 2AFC9580D683C165 Time : 0.0 sec. user=mdettweiler [2015-07-16 09:16:23] 889*2^1403229-1 is not prime. Res64: 45A980C8AE7DBD86 Time : 0.0 sec. user=mdettweiler [2015-07-16 09:16:29] 891*2^1403229-1 is not prime. Res64: C21BCBDBFB6CA3F8 Time : 0.0 sec. user=mdettweiler [2015-07-16 09:16:29] 997*2^1403229-1 is not prime. Res64: 2ED6E00242E2E186 Time : 0.0 sec. user=mdettweiler [2015-07-16 09:21:55] 605*2^1403230-1 is not prime. Res64: DDB64FB2A9AAF18D Time : 0.0 sec. user=mdettweiler [2015-07-16 09:21:56] 695*2^1403230-1 is not prime. Res64: B6C81357DC6B337F Time : 0.0 sec. user=mdettweiler [2015-07-16 09:22:39] 723*2^1403230-1 is not prime. Res64: 6801D33411210EFF Time : 0.0 sec. user=mdettweiler [2015-07-16 09:22:39] 801*2^1403230-1 is not prime. Res64: 6A416632ED2FF79F Time : 0.0 sec. user=mdettweiler [2015-07-16 09:33:53] 995*2^1403230-1 is not prime. Res64: 726C8FB76AAAE699 Time : 0.0 sec. user=mdettweiler [2015-07-16 09:33:53] 745*2^1403231-1 is not prime. Res64: 9CB86062B3CCCE30 Time : 0.0 sec. user=mdettweiler [2015-07-16 09:33:55] 759*2^1403231-1 is not prime. Res64: E739561BB722AC20 Time : 0.0 sec. user=mdettweiler [2015-07-16 09:33:55] 813*2^1403231-1 is not prime. Res64: 24246381109E1A57 Time : 0.0 sec. user=mdettweiler [2015-07-16 09:39:22] 609*2^1403232-1 is not prime. Res64: B5464618B4B97983 Time : 0.0 sec. user=mdettweiler [2015-07-16 09:39:22] 689*2^1403232-1 is not prime. Res64: 681706C58DD4E922 Time : 0.0 sec. user=mdettweiler [2015-07-16 09:40:07] 725*2^1403232-1 is not prime. Res64: E451D29B1E1C3CD1 Time : 0.0 sec. user=mdettweiler [2015-07-16 09:40:07] 797*2^1403232-1 is not prime. Res64: DF1F78FC6B077F8D Time : 0.0 sec. user=mdettweiler [2015-07-16 09:51:21] 887*2^1403232-1 is not prime. Res64: 3F1CC1E54CF3C85C Time : 0.0 sec. user=mdettweiler [2015-07-16 09:51:21] 933*2^1403232-1 is not prime. Res64: 56782BD0DF2FC71E Time : 0.0 sec. user=mdettweiler [2015-07-16 09:51:22] 687*2^1403233-1 is not prime. Res64: E0651BD8297D3459 Time : 0.0 sec. user=mdettweiler [2015-07-16 09:51:22] 747*2^1403233-1 is not prime. Res64: 9846189C7C6DBE96 Time : 0.0 sec. user=mdettweiler [2015-07-16 09:56:49] 861*2^1403233-1 is not prime. Res64: CBD32E53945B634E Time : 0.0 sec. user=mdettweiler [2015-07-16 09:56:49] 937*2^1403233-1 is not prime. Res64: 43FECCB77DE18FAB Time : 0.0 sec. user=mdettweiler [2015-07-16 09:57:37] 939*2^1403233-1 is not prime. Res64: 4A15EDE191006B4A Time : 0.0 sec. user=mdettweiler [2015-07-16 09:57:37] 641*2^1403234-1 is not prime. Res64: B1AA328462283B48 Time : 0.0 sec. user=mdettweiler [2015-07-16 10:08:50] 827*2^1403234-1 is not prime. Res64: 41D8E09BCD8596A9 Time : 0.0 sec. user=mdettweiler [2015-07-16 10:08:50] 923*2^1403234-1 is not prime. Res64: E2CD7D72FFA09596 Time : 0.0 sec. user=mdettweiler [2015-07-16 10:08:56] 645*2^1403234-1 is not prime. Res64: 69ABE22DEEFFB432 Time : 0.0 sec. user=mdettweiler [2015-07-16 10:08:56] 705*2^1403234-1 is not prime. Res64: EDF17038A94CB5E8 Time : 0.0 sec. user=mdettweiler [2015-07-16 10:14:21] 971*2^1403234-1 is not prime. Res64: 3D7B8FE1F32AA571 Time : 0.0 sec. user=mdettweiler [2015-07-16 10:14:22] 1001*2^1403234-1 is not prime. Res64: 047D780912933BF3 Time : 0.0 sec. user=mdettweiler [2015-07-16 10:15:08] 609*2^1403235-1 is not prime. Res64: 2510C04858588740 Time : 0.0 sec. user=mdettweiler [2015-07-16 10:15:08] 619*2^1403235-1 is not prime. Res64: 29FE1436519A6D6F Time : 0.0 sec. user=mdettweiler [2015-07-16 10:26:20] 963*2^1403235-1 is not prime. Res64: C19842F04CF1B901 Time : 0.0 sec. user=mdettweiler [2015-07-16 10:26:20] 639*2^1403236-1 is not prime. Res64: D89E0AC668E681F5 Time : 0.0 sec. user=mdettweiler [2015-07-16 10:26:20] 735*2^1403235-1 is not prime. Res64: 1BC0D6CC25064AF2 Time : 0.0 sec. user=mdettweiler [2015-07-16 10:26:21] 943*2^1403235-1 is not prime. Res64: 99F05CCF873CFC1C Time : 0.0 sec. user=mdettweiler [2015-07-16 10:31:51] 743*2^1403236-1 is not prime. Res64: F59477790D066AAE Time : 0.0 sec. user=mdettweiler [2015-07-16 10:31:52] 773*2^1403236-1 is not prime. Res64: 80DBF66B532200EA Time : 0.0 sec. user=mdettweiler [2015-07-16 10:32:41] 833*2^1403236-1 is not prime. Res64: 634267800285E6ED Time : 0.0 sec. user=mdettweiler [2015-07-16 10:32:42] 987*2^1403236-1 is not prime. Res64: 4348CBFD34369055 Time : 0.0 sec. user=mdettweiler [2015-07-16 10:43:56] 999*2^1403236-1 is not prime. Res64: B87AC60EE0F5374E Time : 0.0 sec. user=mdettweiler [2015-07-16 10:43:56] 727*2^1403237-1 is not prime. Res64: C94B258F5F3FC2CC Time : 0.0 sec. user=mdettweiler [2015-07-16 10:44:01] 799*2^1403237-1 is not prime. Res64: 5D6C235923BDEDFA Time : 0.0 sec. user=mdettweiler [2015-07-16 10:44:01] 837*2^1403237-1 is not prime. Res64: 5564F1C878414A4D Time : 0.0 sec. user=mdettweiler [2015-07-16 10:49:30] 867*2^1403237-1 is not prime. Res64: 9B5AEEE6F4F03DBE Time : 0.0 sec. user=mdettweiler [2015-07-16 10:49:30] 885*2^1403237-1 is not prime. Res64: 5437C99B65730DAA Time : 0.0 sec. user=mdettweiler [2015-07-16 10:50:38] 915*2^1403237-1 is not prime. Res64: 6BA28B6735CE1254 Time : 0.0 sec. user=mdettweiler [2015-07-16 10:50:39] 991*2^1403237-1 is not prime. Res64: 6D9D5F6F9E358BD2 Time : 0.0 sec. user=mdettweiler [2015-07-16 11:01:27] 605*2^1403238-1 is not prime. Res64: F9E2DD04AA4254BA Time : 0.0 sec. user=mdettweiler [2015-07-16 11:01:29] 641*2^1403238-1 is not prime. Res64: 2CA552AE99C8ABBA Time : 0.0 sec. user=mdettweiler [2015-07-16 11:01:30] 737*2^1403238-1 is not prime. Res64: FF68A3CF74A81687 Time : 0.0 sec. user=mdettweiler [2015-07-16 11:01:31] 825*2^1403238-1 is not prime. Res64: 2457A39F9BC3652F Time : 0.0 sec. user=mdettweiler [2015-07-16 11:07:00] 875*2^1403238-1 is not prime. Res64: 3840C593451DAEFE Time : 0.0 sec. user=mdettweiler [2015-07-16 11:07:01] 885*2^1403238-1 is not prime. Res64: 0DC48D55D94FB245 Time : 0.0 sec. user=mdettweiler [2015-07-16 11:08:14] 685*2^1403239-1 is not prime. Res64: 6D30EC000CBC6B0D Time : 0.0 sec. user=mdettweiler [2015-07-16 11:08:14] 763*2^1403239-1 is not prime. Res64: 78022EEC9FF7E1DD Time : 0.0 sec. user=mdettweiler [2015-07-16 11:18:58] 913*2^1403239-1 is not prime. Res64: 57B5A02FCA969EEC Time : 0.0 sec. user=mdettweiler [2015-07-16 11:18:58] 919*2^1403239-1 is not prime. Res64: E7CB1A34F904FE83 Time : 0.0 sec. user=mdettweiler [2015-07-16 11:19:02] 943*2^1403239-1 is not prime. Res64: 2DF284B88A2BB3C0 Time : 0.0 sec. user=mdettweiler [2015-07-16 11:19:02] 999*2^1403239-1 is not prime. Res64: D126C202F5144C56 Time : 0.0 sec. user=mdettweiler [2015-07-16 11:24:33] 659*2^1403240-1 is not prime. Res64: B7B1B10595E27F61 Time : 0.0 sec. user=mdettweiler [2015-07-16 11:24:33] 663*2^1403240-1 is not prime. Res64: 261C85B494409DE5 Time : 0.0 sec. user=mdettweiler [2015-07-16 11:25:48] 725*2^1403240-1 is not prime. Res64: 397A88B4E3BD86F4 Time : 0.0 sec. user=mdettweiler [2015-07-16 11:25:48] 709*2^1403241-1 is not prime. Res64: 600F79B60C1AB012 Time : 0.0 sec. user=mdettweiler [2015-07-16 11:36:24] 717*2^1403241-1 is not prime. Res64: B6455663B1BF4440 Time : 0.0 sec. user=mdettweiler [2015-07-16 11:36:25] 877*2^1403241-1 is not prime. Res64: 5C6CA7630539DD1C Time : 0.0 sec. user=mdettweiler [2015-07-16 11:36:30] 889*2^1403241-1 is not prime. Res64: CA7EDD8ECFF0F44F Time : 0.0 sec. user=mdettweiler [2015-07-16 11:36:31] 895*2^1403241-1 is not prime. Res64: E4F58217A15B5C24 Time : 0.0 sec. user=mdettweiler [2015-07-16 11:42:13] 987*2^1403241-1 is not prime. Res64: 7F795542B3F3EAF9 Time : 0.0 sec. user=mdettweiler [2015-07-16 11:42:14] 999*2^1403241-1 is not prime. Res64: 30128BFE4DEE8F2E Time : 0.0 sec. user=mdettweiler [2015-07-16 11:43:18] 617*2^1403242-1 is not prime. Res64: 8205BA34681B2A83 Time : 0.0 sec. user=mdettweiler [2015-07-16 11:43:18] 647*2^1403242-1 is not prime. Res64: 298CA108F3388DB7 Time : 0.0 sec. user=mdettweiler [2015-07-16 11:54:00] 695*2^1403242-1 is not prime. Res64: DA23E10FC5486FBC Time : 0.0 sec. user=mdettweiler [2015-07-16 11:54:00] 825*2^1403242-1 is not prime. Res64: 4F08D69ACC109BA6 Time : 0.0 sec. user=mdettweiler [2015-07-16 11:54:06] 911*2^1403242-1 is not prime. Res64: 986950D900E482C0 Time : 0.0 sec. user=mdettweiler [2015-07-16 11:54:06] 951*2^1403242-1 is not prime. Res64: 2893784C7F993B2D Time : 0.0 sec. user=mdettweiler [2015-07-16 11:59:48] 981*2^1403242-1 is not prime. Res64: 5388844B390C91EB Time : 0.0 sec. user=mdettweiler [2015-07-16 11:59:48] 995*2^1403242-1 is not prime. Res64: A8B5EBC2CF8FF57F Time : 0.0 sec. user=mdettweiler [2015-07-16 12:00:58] 939*2^1403243-1 is not prime. Res64: 28D48559A9B31867 Time : 0.0 sec. user=mdettweiler [2015-07-16 12:01:00] 955*2^1403243-1 is not prime. Res64: 3E4B299EB70281EC Time : 0.0 sec. user=mdettweiler [2015-07-16 12:11:34] 981*2^1403243-1 is not prime. Res64: 0C07AD8E54F419CB Time : 0.0 sec. user=mdettweiler [2015-07-16 12:11:35] 717*2^1403244-1 is not prime. Res64: 87D368A424329D9D Time : 0.0 sec. user=mdettweiler [2015-07-16 12:11:39] 759*2^1403244-1 is not prime. Res64: 8511C9235A58894D Time : 0.0 sec. user=mdettweiler [2015-07-16 12:11:39] 843*2^1403244-1 is not prime. Res64: 5ECAABD94A76B9BE Time : 0.0 sec. user=mdettweiler [2015-07-16 12:17:14] 893*2^1403244-1 is not prime. Res64: A3F768544A7379B7 Time : 0.0 sec. user=mdettweiler [2015-07-16 12:17:14] 965*2^1403244-1 is not prime. Res64: B680170ED914C71C Time : 0.0 sec. user=mdettweiler [2015-07-16 12:18:44] 987*2^1403244-1 is not prime. Res64: 69A8D40CA769E02A Time : 0.0 sec. user=mdettweiler [2015-07-16 12:18:44] 651*2^1403245-1 is not prime. Res64: 2C0D7FF00F73EC31 Time : 0.0 sec. user=mdettweiler [2015-07-16 12:29:19] 871*2^1403245-1 is not prime. Res64: 473D38EEF1039A63 Time : 0.0 sec. user=mdettweiler [2015-07-16 12:29:20] 975*2^1403245-1 is not prime. Res64: A837A01DA7001619 Time : 0.0 sec. user=mdettweiler [2015-07-16 12:29:20] 775*2^1403245-1 is not prime. Res64: 737A152241C23C0A Time : 0.0 sec. user=mdettweiler [2015-07-16 12:29:20] 847*2^1403245-1 is not prime. Res64: BA518B90ED9681C6 Time : 0.0 sec. user=mdettweiler [2015-07-16 12:34:49] 677*2^1403246-1 is not prime. Res64: D6D09AD457F4A865 Time : 0.0 sec. user=mdettweiler [2015-07-16 12:34:49] 707*2^1403246-1 is not prime. Res64: C917ACC48A811B5C Time : 0.0 sec. user=mdettweiler [2015-07-16 12:36:26] 935*2^1403246-1 is not prime. Res64: 048383DA14C2B2DD Time : 0.0 sec. user=mdettweiler [2015-07-16 12:36:26] 971*2^1403246-1 is not prime. Res64: 25BFAC837674CD94 Time : 0.0 sec. user=mdettweiler [2015-07-16 12:46:46] 859*2^1403247-1 is not prime. Res64: 64C0576D2EC87BC5 Time : 0.0 sec. user=mdettweiler [2015-07-16 12:46:46] 885*2^1403247-1 is not prime. Res64: C0C3B9A81E230066 Time : 0.0 sec. user=mdettweiler [2015-07-16 12:46:48] 1001*2^1403246-1 is not prime. Res64: 7529B9ACF96AC794 Time : 0.0 sec. user=mdettweiler [2015-07-16 12:46:48] 823*2^1403247-1 is not prime. Res64: 39E0111E8310657E Time : 0.0 sec. user=mdettweiler [2015-07-16 12:52:20] 931*2^1403247-1 is not prime. Res64: 7709C0F032A00C40 Time : 0.0 sec. user=mdettweiler [2015-07-16 12:52:21] 979*2^1403247-1 is not prime. Res64: FBF1A3DF62148951 Time : 0.0 sec. user=mdettweiler [2015-07-16 12:53:49] 723*2^1403248-1 is not prime. Res64: 54F47E209BA907D1 Time : 0.0 sec. user=mdettweiler [2015-07-16 12:53:49] 915*2^1403248-1 is not prime. Res64: 6F2EDAEB213765E2 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:04:12] 685*2^1403249-1 is not prime. Res64: 10D27FC406AE7509 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:04:14] 729*2^1403249-1 is not prime. Res64: 03E6FB90F16B8197 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:04:16] 999*2^1403248-1 is not prime. Res64: 32AC6D5C93456DB8 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:04:17] 615*2^1403249-1 is not prime. Res64: 4A5B25406A876965 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:09:49] 831*2^1403249-1 is not prime. Res64: A41CA787055302F2 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:09:49] 951*2^1403249-1 is not prime. Res64: 936692BFD43B8843 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:11:15] 969*2^1403249-1 is not prime. Res64: DFCF00AFFDBD16A6 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:11:16] 611*2^1403250-1 is not prime. Res64: 1B90C9A8F3E42CE9 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:22:33] 641*2^1403250-1 is not prime. Res64: 8EC05BB78D493C36 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:22:33] 717*2^1403250-1 is not prime. Res64: 6257160E21F50DD5 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:22:51] 797*2^1403250-1 is not prime. Res64: 34E59A385F8ECA0A Time : 0.0 sec. user=mdettweiler [2015-07-16 13:22:52] 803*2^1403250-1 is not prime. Res64: 09272E433BF29C06 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:27:18] 887*2^1403250-1 is not prime. Res64: 71956CA8FAB3825C Time : 0.0 sec. user=mdettweiler [2015-07-16 13:27:18] 915*2^1403250-1 is not prime. Res64: 543E018A3BCC7160 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:28:48] 951*2^1403250-1 is not prime. Res64: 6D4DFA52F5B7C284 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:28:48] 963*2^1403250-1 is not prime. Res64: 6BA4E281AAA56F70 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:40:00] 977*2^1403250-1 is not prime. Res64: ADFEC9EB0676A957 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:40:00] 679*2^1403251-1 is not prime. Res64: E20C760CC6D4D063 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:40:20] 681*2^1403251-1 is not prime. Res64: DD63760C1356A1FB Time : 0.0 sec. user=mdettweiler [2015-07-16 13:40:20] 733*2^1403251-1 is not prime. Res64: 018A2EE40D269164 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:44:52] 745*2^1403251-1 is not prime. Res64: 4D2F0C13AF77DA9E Time : 0.0 sec. user=mdettweiler [2015-07-16 13:44:52] 849*2^1403251-1 is not prime. Res64: B61AE1204812C868 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:46:30] 885*2^1403251-1 is not prime. Res64: EDFCF4528772074B Time : 0.0 sec. user=mdettweiler [2015-07-16 13:46:31] 925*2^1403251-1 is not prime. Res64: 843901087FA905BA Time : 0.0 sec. user=mdettweiler [2015-07-16 13:57:44] 931*2^1403251-1 is not prime. Res64: F4B86BEAF73FD518 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:57:45] 665*2^1403252-1 is not prime. Res64: 7473F164C5613B61 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:57:55] 689*2^1403252-1 is not prime. Res64: 7D1C0A16F02D7148 Time : 0.0 sec. user=mdettweiler [2015-07-16 13:57:55] 719*2^1403252-1 is not prime. Res64: 30AD79377BDD4751 Time : 0.0 sec. user=mdettweiler [2015-07-16 14:02:25] 785*2^1403252-1 is not prime. Res64: E56C03B14637C596 Time : 0.0 sec. user=mdettweiler [2015-07-16 14:02:26] 813*2^1403252-1 is not prime. Res64: 8FCAADD40E73E6F5 Time : 0.0 sec. user=mdettweiler [2015-07-16 14:04:21] 875*2^1403252-1 is not prime. Res64: A61B655F8B171BBC Time : 0.0 sec. user=mdettweiler [2015-07-16 14:04:22] 681*2^1403253-1 is not prime. Res64: 20636E4DA987B73E Time : 0.0 sec. user=mdettweiler [2015-07-16 14:17:12] 811*2^1403253-1 is not prime. Res64: E79C8F8B6E823350 Time : 0.0 sec. user=mdettweiler [2015-07-16 14:17:12] 817*2^1403253-1 is not prime. Res64: 7C2C8803ABE6ADF5 Time : 0.0 sec. user=mdettweiler [2015-07-16 14:17:13] 781*2^1403253-1 is not prime. Res64: 9EF9FECAC8181407 Time : 0.0 sec. user=mdettweiler [2015-07-16 14:17:14] 789*2^1403253-1 is not prime. Res64: 6D02E60FE01CC332 Time : 0.0 sec. user=mdettweiler [2015-07-16 14:22:30] 819*2^1403253-1 is not prime. Res64: C601E04E3D4BC1E3 Time : 0.0 sec. user=mdettweiler [2015-07-16 14:22:30] 895*2^1403253-1 is not prime. Res64: 4A106A30F511AB39 Time : 0.0 sec. user=mdettweiler [2015-07-16 14:24:15] 671*2^1403254-1 is not prime. Res64: 3EC86C0E1412036A Time : 0.0 sec. user=mdettweiler [2015-07-16 14:24:16] 785*2^1403254-1 is not prime. Res64: 15591B860084C296 Time : 0.0 sec. user=mdettweiler [2015-07-16 14:35:17] 661*2^1403255-1 is not prime. Res64: 3DAADC3251727E4D Time : 0.0 sec. user=mdettweiler [2015-07-16 14:35:18] 675*2^1403255-1 is not prime. Res64: AEC26BAF5806BE53 Time : 0.0 sec. user=mdettweiler [2015-07-16 14:35:26] 857*2^1403254-1 is not prime. Res64: 3B56E885A4E52127 Time : 0.0 sec. user=mdettweiler [2015-07-16 14:35:26] 887*2^1403254-1 is not prime. Res64: 57CC1262AAEB20E5 Time : 0.0 sec. user=mdettweiler [2015-07-16 14:40:29] 759*2^1403255-1 is not prime. Res64: 80DD07B97DEED4C1 Time : 0.0 sec. user=mdettweiler [2015-07-16 14:40:29] 825*2^1403255-1 is not prime. Res64: 947EEB0F20CBEB27 Time : 0.0 sec. user=mdettweiler [2015-07-16 14:42:11] 979*2^1403255-1 is not prime. Res64: 9D3B69EB85F4E64F Time : 0.0 sec. user=mdettweiler [2015-07-16 14:42:12] 657*2^1403256-1 is not prime. Res64: BB3905BB399107F8 Time : 0.0 sec. user=mdettweiler [2015-07-16 14:53:09] 689*2^1403256-1 is not prime. Res64: 2B3CD7F6519FA68E Time : 0.0 sec. user=mdettweiler [2015-07-16 14:53:09] 725*2^1403256-1 is not prime. Res64: 2A406263440A8718 Time : 0.0 sec. user=mdettweiler [2015-07-16 14:53:20] 737*2^1403256-1 is not prime. Res64: B18789560432F619 Time : 0.0 sec. user=mdettweiler [2015-07-16 14:53:21] 765*2^1403256-1 is not prime. Res64: 96EC53E416DA3F2D Time : 0.0 sec. user=mdettweiler [2015-07-16 14:58:22] 773*2^1403256-1 is not prime. Res64: 5FD2E243517E4271 Time : 0.0 sec. user=mdettweiler [2015-07-16 14:58:23] 857*2^1403256-1 is not prime. Res64: 281DC06023DE1C8B Time : 0.0 sec. user=mdettweiler [2015-07-16 15:00:11] 887*2^1403256-1 is not prime. Res64: B3C92F1E6B5B7B57 Time : 0.0 sec. user=mdettweiler [2015-07-16 15:00:11] 923*2^1403256-1 is not prime. Res64: D87DAB3FEE490FF4 Time : 0.0 sec. user=mdettweiler [2015-07-16 15:11:36] 975*2^1403256-1 is not prime. Res64: 6289FE8F4A976EA0 Time : 0.0 sec. user=mdettweiler [2015-07-16 15:11:37] 609*2^1403257-1 is not prime. Res64: 6CE6E2197DC5A351 Time : 0.0 sec. user=mdettweiler [2015-07-16 15:12:10] 649*2^1403257-1 is not prime. Res64: CBC126302D1240FB Time : 0.0 sec. user=mdettweiler [2015-07-16 15:12:10] 691*2^1403257-1 is not prime. Res64: 67A13827B0F1D77D Time : 0.0 sec. user=mdettweiler [2015-07-16 15:17:09] 807*2^1403257-1 is not prime. Res64: 59E76DA8D46DC015 Time : 0.0 sec. user=mdettweiler [2015-07-16 15:17:09] 885*2^1403257-1 is not prime. Res64: BE57ECFD4D2E75F3 Time : 0.0 sec. user=mdettweiler [2015-07-16 15:18:40] 937*2^1403257-1 is not prime. Res64: 82934A76E63FF622 Time : 0.0 sec. user=mdettweiler [2015-07-16 15:18:41] 633*2^1403258-1 is not prime. Res64: 1CCDCA88805A6D1B Time : 0.0 sec. user=mdettweiler [2015-07-16 15:29:51] 677*2^1403258-1 is not prime. Res64: F9EE723271357262 Time : 0.0 sec. user=mdettweiler [2015-07-16 15:29:52] 711*2^1403258-1 is not prime. Res64: 8CAD185DD7CE9FFF Time : 0.0 sec. user=mdettweiler [2015-07-16 15:30:18] 815*2^1403258-1 is not prime. Res64: 871B7B0984EDD574 Time : 0.0 sec. user=mdettweiler [2015-07-16 15:30:19] 993*2^1403258-1 is not prime. Res64: 682B503847BA0967 Time : 0.0 sec. user=mdettweiler [2015-07-16 15:35:00] 649*2^1403259-1 is not prime. Res64: E533250ABA1AF30A Time : 0.0 sec. user=mdettweiler [2015-07-16 15:35:00] 663*2^1403259-1 is not prime. Res64: 98B7650BBF895375 Time : 0.0 sec. user=mdettweiler [2015-07-16 15:36:46] 705*2^1403259-1 is not prime. Res64: 9DA3C68C242E45F1 Time : 0.0 sec. user=mdettweiler [2015-07-16 15:36:47] 873*2^1403259-1 is not prime. Res64: 3C3DD58F103E8304 Time : 0.0 sec. user=mdettweiler [2015-07-16 15:48:03] 969*2^1403259-1 is not prime. Res64: 91A80EE262AC5BBB Time : 0.0 sec. user=mdettweiler [2015-07-16 15:48:03] 603*2^1403260-1 is not prime. Res64: A6F51D78BB4A5306 Time : 0.0 sec. user=mdettweiler [2015-07-16 15:48:27] 755*2^1403260-1 is not prime. Res64: 71926DC4F2E6AF35 Time : 0.0 sec. user=mdettweiler [2015-07-16 15:48:27] 803*2^1403260-1 is not prime. Res64: 4D020C817B722090 Time : 0.0 sec. user=mdettweiler [2015-07-16 15:53:09] 827*2^1403260-1 is not prime. Res64: CB301DF4179F7532 Time : 0.0 sec. user=mdettweiler [2015-07-16 15:53:09] 965*2^1403260-1 is not prime. Res64: 571F28543B51B695 Time : 0.0 sec. user=mdettweiler [2015-07-16 15:54:55] 989*2^1403260-1 is not prime. Res64: 2FFA3344C8B8624F Time : 0.0 sec. user=mdettweiler [2015-07-16 15:54:55] 999*2^1403260-1 is not prime. Res64: 784AB803CDF9FE8F Time : 0.0 sec. user=mdettweiler [2015-07-16 16:06:43] 619*2^1403261-1 is not prime. Res64: 12390C5D0414DED3 Time : 0.0 sec. user=mdettweiler [2015-07-16 16:06:44] 757*2^1403261-1 is not prime. Res64: 790D79CFEF154089 Time : 0.0 sec. user=mdettweiler [2015-07-16 16:06:58] 801*2^1403261-1 is not prime. Res64: 4F432FBB5D8D174D Time : 0.0 sec. user=mdettweiler [2015-07-16 16:06:58] 859*2^1403261-1 is not prime. Res64: 8C1D7E8BC2571E79 Time : 0.0 sec. user=mdettweiler [2015-07-16 16:11:29] 901*2^1403261-1 is not prime. Res64: 990544BD9F3CFE19 Time : 0.0 sec. user=mdettweiler [2015-07-16 16:11:30] 821*2^1403262-1 is not prime. Res64: 0A56C8494FB649DD Time : 0.0 sec. user=mdettweiler [2015-07-16 16:13:17] 965*2^1403262-1 is not prime. Res64: C2CFCEA166E18B10 Time : 0.0 sec. user=mdettweiler [2015-07-16 16:13:17] 977*2^1403262-1 is not prime. Res64: 7E4E732472769E20 Time : 0.0 sec. user=mdettweiler [2015-07-16 16:24:47] 609*2^1403263-1 is not prime. Res64: AFFDE90D6978BDC8 Time : 0.0 sec. user=mdettweiler [2015-07-16 16:24:47] 723*2^1403263-1 is not prime. Res64: B3EE0ACF1142559D Time : 0.0 sec. user=mdettweiler [2015-07-16 16:24:47] 705*2^1403263-1 is not prime. Res64: 406FB53445CA47B4 Time : 0.0 sec. user=mdettweiler [2015-07-16 16:24:47] 735*2^1403263-1 is not prime. Res64: E5B52891F89CE180 Time : 0.0 sec. user=mdettweiler [2015-07-16 16:29:13] 745*2^1403263-1 is not prime. Res64: 2E3F715E0FB704F8 Time : 0.0 sec. user=mdettweiler [2015-07-16 16:29:13] 765*2^1403263-1 is not prime. Res64: 24BC7006210DBA50 Time : 0.0 sec. user=mdettweiler [2015-07-16 16:31:15] 891*2^1403263-1 is not prime. Res64: B198984C9341BD0B Time : 0.0 sec. user=mdettweiler [2015-07-16 16:31:16] 945*2^1403263-1 is not prime. Res64: AF346019FEF84D77 Time : 0.0 sec. user=mdettweiler [2015-07-16 16:42:36] 983*2^1403264-1 is not prime. Res64: B75D19EA6FEAB021 Time : 0.0 sec. user=mdettweiler [2015-07-16 16:42:36] 765*2^1403265-1 is not prime. Res64: 8F2191E9D5183781 Time : 0.0 sec. user=mdettweiler [2015-07-16 16:42:43] 605*2^1403264-1 is not prime. Res64: A76B7C80721F0626 Time : 0.0 sec. user=mdettweiler [2015-07-16 16:42:44] 857*2^1403264-1 is not prime. Res64: 9AAA3206DB0C383B Time : 0.0 sec. user=mdettweiler [2015-07-16 16:47:08] 895*2^1403265-1 is not prime. Res64: 0FB6DCC1871E9691 Time : 0.0 sec. user=mdettweiler [2015-07-16 16:47:08] 937*2^1403265-1 is not prime. Res64: B93742928FBC71BC Time : 0.0 sec. user=mdettweiler [2015-07-16 16:49:05] 955*2^1403265-1 is not prime. Res64: AB07765B0DB1B2D9 Time : 0.0 sec. user=mdettweiler [2015-07-16 16:49:06] 623*2^1403266-1 is not prime. Res64: 4FC93BA8BF8FE284 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:00:29] 825*2^1403266-1 is not prime. Res64: 2E4F53B7DBD93BCF Time : 0.0 sec. user=mdettweiler [2015-07-16 17:00:30] 873*2^1403266-1 is not prime. Res64: 59F86CCC591DC629 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:00:35] 645*2^1403266-1 is not prime. Res64: 33D4266C72ACC428 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:00:35] 813*2^1403266-1 is not prime. Res64: 5FAF89A600FE9C41 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:05:04] 917*2^1403266-1 is not prime. Res64: A5B0BA98752DB728 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:05:05] 633*2^1403267-1 is not prime. Res64: 8E049CACF78975C3 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:06:54] 645*2^1403267-1 is not prime. Res64: E1AE4B602D013BCD Time : 0.0 sec. user=mdettweiler [2015-07-16 17:06:58] 705*2^1403267-1 is not prime. Res64: 3C2B893DD9BA960B Time : 0.0 sec. user=mdettweiler [2015-07-16 17:18:32] 883*2^1403267-1 is not prime. Res64: 1E193ACF7DED0BBC Time : 0.0 sec. user=mdettweiler [2015-07-16 17:18:33] 931*2^1403267-1 is not prime. Res64: 075EE1D075841147 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:18:34] 759*2^1403267-1 is not prime. Res64: 9A35FE8B781E10F7 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:18:35] 775*2^1403267-1 is not prime. Res64: E974994E15A8EE40 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:23:58] 639*2^1403268-1 is not prime. Res64: 6E37996B892A5531 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:23:58] 699*2^1403268-1 is not prime. Res64: 88DF36959ACEC299 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:25:16] 783*2^1403268-1 is not prime. Res64: 8C6BF2C5B654A049 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:25:17] 797*2^1403268-1 is not prime. Res64: 15A4A45BA03D0202 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:36:19] 961*2^1403269-1 is not prime. Res64: 4493DB702A24BBF7 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:36:20] 741*2^1403270-1 is not prime. Res64: 94F5CF8DD9CB4176 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:36:24] 745*2^1403269-1 is not prime. Res64: A6C83ED955812B05 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:36:24] 771*2^1403269-1 is not prime. Res64: DAA4A751ED706C97 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:41:55] 797*2^1403270-1 is not prime. Res64: 9B2F99C475C24578 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:41:55] 813*2^1403270-1 is not prime. Res64: B09EAF88A25CF536 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:43:06] 867*2^1403270-1 is not prime. Res64: 25C3928B21F407DD Time : 0.0 sec. user=mdettweiler [2015-07-16 17:43:06] 923*2^1403270-1 is not prime. Res64: D55C9C739759997A Time : 0.0 sec. user=mdettweiler [2015-07-16 17:54:20] 977*2^1403270-1 is not prime. Res64: 4E7E7906B5E9C2DE Time : 0.0 sec. user=mdettweiler [2015-07-16 17:54:20] 625*2^1403271-1 is not prime. Res64: 430D45BCBE6CA090 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:54:22] 859*2^1403271-1 is not prime. Res64: A19157E9E1104116 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:54:23] 865*2^1403271-1 is not prime. Res64: 7EEC0A7031E79FD2 Time : 0.0 sec. user=mdettweiler [2015-07-16 17:59:50] 871*2^1403271-1 is not prime. Res64: 23923AE0D7513D9E Time : 0.0 sec. user=mdettweiler [2015-07-16 17:59:51] 973*2^1403271-1 is not prime. Res64: 2E697D7103D00404 Time : 0.0 sec. user=mdettweiler [2015-07-16 18:01:09] 991*2^1403271-1 is not prime. Res64: B5E43F71BE4ADEF0 Time : 0.0 sec. user=mdettweiler [2015-07-16 18:01:10] 675*2^1403272-1 is not prime. Res64: A7543583D01DE9C9 Time : 0.0 sec. user=mdettweiler [2015-07-16 18:12:00] 717*2^1403272-1 is not prime. Res64: 46602BB56CB4569B Time : 0.0 sec. user=mdettweiler [2015-07-16 18:12:01] 777*2^1403272-1 is not prime. Res64: ACAC8B8A579A1958 Time : 0.0 sec. user=mdettweiler [2015-07-16 18:12:16] 677*2^1403272-1 is not prime. Res64: C77D4C7DED2105C0 Time : 0.0 sec. user=mdettweiler [2015-07-16 18:12:16] 699*2^1403272-1 is not prime. Res64: F65492DA804E7AD2 Time : 0.0 sec. user=mdettweiler [2015-07-16 18:17:52] 797*2^1403272-1 is not prime. Res64: 82CB06136DE75A4E Time : 0.0 sec. user=mdettweiler [2015-07-16 18:17:52] 819*2^1403272-1 is not prime. Res64: DC977BEFAA76231D Time : 0.0 sec. user=mdettweiler [2015-07-16 18:19:09] 855*2^1403272-1 is not prime. Res64: EEF51355DBEA4449 Time : 0.0 sec. user=mdettweiler [2015-07-16 18:19:09] 917*2^1403272-1 is not prime. Res64: F7F0D6DDE3B6E7FF Time : 0.0 sec. user=mdettweiler [2015-07-16 18:29:54] 939*2^1403272-1 is not prime. Res64: 174F9B96AD604FC9 Time : 0.0 sec. user=mdettweiler [2015-07-16 18:29:54] 637*2^1403273-1 is not prime. Res64: C1F7BBEF2613CC2D Time : 0.0 sec. user=mdettweiler [2015-07-16 18:30:03] 669*2^1403273-1 is not prime. Res64: 536680BF6874AE81 Time : 0.0 sec. user=mdettweiler [2015-07-16 18:30:04] 697*2^1403273-1 is not prime. Res64: 424D2875930D1553 Time : 0.0 sec. user=mdettweiler [2015-07-16 18:35:51] 795*2^1403273-1 is not prime. Res64: 16D72CD90B13CF51 Time : 0.0 sec. user=mdettweiler [2015-07-16 18:35:51] 819*2^1403273-1 is not prime. Res64: 671BDDF0E343D3CC Time : 0.0 sec. user=mdettweiler [2015-07-16 18:37:01] 861*2^1403273-1 is not prime. Res64: 53C7F46BBEDCDACA Time : 0.0 sec. user=mdettweiler [2015-07-16 18:37:01] 635*2^1403274-1 is not prime. Res64: 70B81BE54E8B7DD0 Time : 0.0 sec. user=mdettweiler [2015-07-16 18:47:48] 663*2^1403274-1 is not prime. Res64: E9372B140D5B30BD Time : 0.0 sec. user=mdettweiler [2015-07-16 18:47:49] 681*2^1403274-1 is not prime. Res64: 290B3E155B4A74A9 Time : 0.0 sec. user=mdettweiler [2015-07-16 18:48:09] 707*2^1403274-1 is not prime. Res64: 3F8A3C598456E55B Time : 0.0 sec. user=mdettweiler [2015-07-16 18:48:09] 927*2^1403274-1 is not prime. Res64: 371CA9733C535BCF Time : 0.0 sec. user=mdettweiler [2015-07-16 18:53:47] 633*2^1403275-1 is not prime. Res64: A14EE16B79ED7C46 Time : 0.0 sec. user=mdettweiler [2015-07-16 18:53:47] 675*2^1403275-1 is not prime. Res64: C54C9BB97E5F8FC3 Time : 0.0 sec. user=mdettweiler [2015-07-16 18:55:06] 691*2^1403275-1 is not prime. Res64: 379CA81C4FC2D813 Time : 0.0 sec. user=mdettweiler [2015-07-16 18:55:06] 765*2^1403275-1 is not prime. Res64: 4F07830398227472 Time : 0.0 sec. user=mdettweiler [2015-07-16 19:05:54] 789*2^1403275-1 is not prime. Res64: 661D68637D8B5772 Time : 0.0 sec. user=mdettweiler [2015-07-16 19:05:56] 885*2^1403275-1 is not prime. Res64: 5A1C772949E696D5 Time : 0.0 sec. user=mdettweiler [2015-07-16 19:06:13] 909*2^1403275-1 is not prime. Res64: F30CE89A5E5E59F3 Time : 0.0 sec. user=mdettweiler [2015-07-16 19:06:14] 951*2^1403275-1 is not prime. Res64: E24A6FD8ADCC91CD Time : 0.0 sec. user=mdettweiler [2015-07-16 19:11:43] 999*2^1403275-1 is not prime. Res64: 6766E8BCA81035FE Time : 0.0 sec. user=mdettweiler [2015-07-16 19:11:43] 935*2^1403276-1 is not prime. Res64: 6BBF9BB30B727898 Time : 0.0 sec. user=mdettweiler [2015-07-16 19:12:56] 963*2^1403276-1 is not prime. Res64: 98A7C881E834ED72 Time : 0.0 sec. user=mdettweiler [2015-07-16 19:12:56] 741*2^1403277-1 is not prime. Res64: 8FCE5E0B6BE9699E Time : 0.0 sec. user=mdettweiler [2015-07-16 19:24:00] 997*2^1403277-1 is not prime. Res64: 885CFBF5068559EB Time : 0.0 sec. user=mdettweiler [2015-07-16 19:24:00] 603*2^1403278-1 is not prime. Res64: D0643550CE1AE153 Time : 0.0 sec. user=mdettweiler [2015-07-16 19:24:14] 831*2^1403277-1 is not prime. Res64: A1AC6FE48B7CF7A4 Time : 0.0 sec. user=mdettweiler [2015-07-16 19:24:15] 849*2^1403277-1 is not prime. Res64: 685026530474AB8E Time : 0.0 sec. user=mdettweiler [2015-07-16 19:29:46] 605*2^1403278-1 is not prime. Res64: 6E82C5BE9DCF8B0A Time : 0.0 sec. user=mdettweiler [2015-07-16 19:29:46] 687*2^1403278-1 is not prime. Res64: D93FDBE2868B62B5 Time : 0.0 sec. user=mdettweiler [2015-07-16 19:30:54] 755*2^1403278-1 is not prime. Res64: 2C0B68BB07859829 Time : 0.0 sec. user=mdettweiler [2015-07-16 19:30:55] 761*2^1403278-1 is not prime. Res64: 4A173B2523DC5C28 Time : 0.0 sec. user=mdettweiler [2015-07-16 19:42:45] 845*2^1403278-1 is not prime. Res64: 3A6265A0AD2731CF Time : 0.0 sec. user=mdettweiler [2015-07-16 19:42:45] 891*2^1403278-1 is not prime. Res64: 1D9C793624B1CC05 Time : 0.0 sec. user=mdettweiler [2015-07-16 19:43:04] 915*2^1403278-1 is not prime. Res64: 9F479C0631C916DF Time : 0.0 sec. user=mdettweiler [2015-07-16 19:43:04] 941*2^1403278-1 is not prime. Res64: 3543E6FB3673A8E2 Time : 0.0 sec. user=mdettweiler [2015-07-16 19:48:37] 971*2^1403278-1 is not prime. Res64: BA3AD776E854D6FF Time : 0.0 sec. user=mdettweiler [2015-07-16 19:48:38] 603*2^1403279-1 is not prime. Res64: 082547CE5DFAFE7D Time : 0.0 sec. user=mdettweiler [2015-07-16 19:50:06] 771*2^1403279-1 is not prime. Res64: 9AFA091D87B46564 Time : 0.0 sec. user=mdettweiler [2015-07-16 19:50:07] 885*2^1403279-1 is not prime. Res64: E1B20B07A25905D1 Time : 0.0 sec. user=mdettweiler [2015-07-16 20:03:49] 969*2^1403279-1 is not prime. Res64: BFF5AF505B257D47 Time : 0.0 sec. user=mdettweiler [2015-07-16 20:03:50] 627*2^1403280-1 is not prime. Res64: A9BC95B907C14691 Time : 0.0 sec. user=mdettweiler [2015-07-16 20:04:20] 909*2^1403279-1 is not prime. Res64: D3E385109FE61C3C Time : 0.0 sec. user=mdettweiler [2015-07-16 20:04:21] 955*2^1403279-1 is not prime. Res64: 21615D17988FE436 Time : 0.0 sec. user=mdettweiler [2015-07-16 20:09:16] 665*2^1403280-1 is not prime. Res64: 75221B6F207D8D25 Time : 0.0 sec. user=mdettweiler [2015-07-16 20:09:16] 695*2^1403280-1 is not prime. Res64: F40FE23106681EE0 Time : 0.0 sec. user=mdettweiler [2015-07-16 20:10:41] 737*2^1403280-1 is not prime. Res64: 89743501AD8F10CD Time : 0.0 sec. user=mdettweiler [2015-07-16 20:10:41] 767*2^1403280-1 is not prime. Res64: 14439E00E95A391A Time : 0.0 sec. user=mdettweiler [2015-07-16 20:22:32] 779*2^1403280-1 is not prime. Res64: 7CC281DD18EBEDB5 Time : 0.0 sec. user=mdettweiler [2015-07-16 20:22:32] 845*2^1403280-1 is not prime. Res64: 1E2E3AAF22AFBEA9 Time : 0.0 sec. user=mdettweiler [2015-07-16 20:23:06] 975*2^1403280-1 is not prime. Res64: 471D128CB1BE5DA2 Time : 0.0 sec. user=mdettweiler [2015-07-16 20:23:06] 679*2^1403281-1 is not prime. Res64: 47109BE1DFE72602 Time : 0.0 sec. user=mdettweiler [2015-07-16 20:27:56] 687*2^1403281-1 is not prime. Res64: B03FC39E4D993BCB Time : 0.0 sec. user=mdettweiler [2015-07-16 20:27:56] 799*2^1403281-1 is not prime. Res64: D81E0950ACFAD550 Time : 0.0 sec. user=mdettweiler [2015-07-16 20:29:14] 835*2^1403281-1 is not prime. Res64: 0B1DC0F23ABE69BB Time : 0.0 sec. user=mdettweiler [2015-07-16 20:29:14] 847*2^1403281-1 is not prime. Res64: 1301A91AED786A8C Time : 0.0 sec. user=mdettweiler [2015-07-16 20:41:07] 861*2^1403281-1 is not prime. Res64: 361F9109EF09A577 Time : 0.0 sec. user=mdettweiler [2015-07-16 20:41:07] 975*2^1403281-1 is not prime. Res64: FCB254323D1884F1 Time : 0.0 sec. user=mdettweiler [2015-07-16 20:41:50] 615*2^1403282-1 is not prime. Res64: F6F76F7B8BA72C60 Time : 0.0 sec. user=mdettweiler [2015-07-16 20:41:51] 645*2^1403282-1 is not prime. Res64: C6E0608DE40AA610 Time : 0.0 sec. user=mdettweiler [2015-07-16 20:46:26] 713*2^1403282-1 is not prime. Res64: C5BD463D435EFA8F Time : 0.0 sec. user=mdettweiler [2015-07-16 20:46:27] 801*2^1403282-1 is not prime. Res64: 822462A7FD47C64D Time : 0.0 sec. user=mdettweiler [2015-07-16 20:48:04] 825*2^1403282-1 is not prime. Res64: 18C11BFC6C54B9D9 Time : 0.0 sec. user=mdettweiler [2015-07-16 20:48:04] 837*2^1403282-1 is not prime. Res64: 5447227DB296E3CB Time : 0.0 sec. user=mdettweiler [2015-07-16 21:03:20] 915*2^1403282-1 is not prime. Res64: 5E7DE0BE041AAD78 Time : 0.0 sec. user=mdettweiler [2015-07-16 21:03:21] 963*2^1403282-1 is not prime. Res64: FA5C36E45E60CF33 Time : 0.0 sec. user=mdettweiler [2015-07-16 21:03:42] 669*2^1403283-1 is not prime. Res64: 847ECA28AF147D54 Time : 0.0 sec. user=mdettweiler [2015-07-16 21:03:42] 705*2^1403283-1 is not prime. Res64: 9E5297C93F5506A4 Time : 0.0 sec. user=mdettweiler [2015-07-16 21:07:26] 775*2^1403283-1 is not prime. Res64: DFAC2DDE4B716963 Time : 0.0 sec. user=mdettweiler [2015-07-16 21:07:27] 783*2^1403283-1 is not prime. Res64: 8F3652DD0B48E5D5 Time : 0.0 sec. user=mdettweiler [2015-07-16 21:09:09] 789*2^1403283-1 is not prime. Res64: EDD1B73B171E34BA Time : 0.0 sec. user=mdettweiler [2015-07-16 21:09:09] 795*2^1403283-1 is not prime. Res64: F75C2428CFC63E52 Time : 0.0 sec. user=mdettweiler [2015-07-16 21:23:41] 963*2^1403283-1 is not prime. Res64: 5E8BE6A3CB80D659 Time : 0.0 sec. user=mdettweiler [2015-07-16 21:23:41] 609*2^1403284-1 is not prime. Res64: D9296BF130240D7D Time : 0.0 sec. user=mdettweiler [2015-07-16 21:23:47] 705*2^1403284-1 is not prime. Res64: 60072B7B2DE68FD8 Time : 0.0 sec. user=mdettweiler [2015-07-16 21:23:47] 807*2^1403284-1 is not prime. Res64: 3CDED0BF1209A98D Time : 0.0 sec. user=mdettweiler [2015-07-16 21:27:29] 813*2^1403284-1 is not prime. Res64: D526C338E9F69BA6 Time : 0.0 sec. user=mdettweiler [2015-07-16 21:27:29] 875*2^1403284-1 is not prime. Res64: 61677A2ABDA6A96C Time : 0.0 sec. user=mdettweiler [2015-07-16 21:29:32] 607*2^1403285-1 is not prime. Res64: FDD9B46E61482689 Time : 0.0 sec. user=mdettweiler [2015-07-16 21:29:32] 729*2^1403285-1 is not prime. Res64: F484A2B858F18011 Time : 0.0 sec. user=mdettweiler [2015-07-16 21:43:53] 951*2^1403285-1 is not prime. Res64: 08109B342C65ADFA Time : 0.0 sec. user=mdettweiler [2015-07-16 21:43:53] 981*2^1403285-1 is not prime. Res64: C14E501DDBEDA3D9 Time : 0.0 sec. user=mdettweiler [2015-07-16 21:44:02] 825*2^1403285-1 is not prime. Res64: 84992CCE81C6784A Time : 0.0 sec. user=mdettweiler [2015-07-16 21:44:02] 889*2^1403285-1 is not prime. Res64: 4E05F4B8D36909BC Time : 0.0 sec. user=mdettweiler [2015-07-16 21:48:01] 987*2^1403285-1 is not prime. Res64: F2E7213A50902453 Time : 0.0 sec. user=mdettweiler [2015-07-16 21:48:01] 615*2^1403286-1 is not prime. Res64: 14FE4C085D06CA5C Time : 0.0 sec. user=mdettweiler [2015-07-16 21:50:22] 723*2^1403286-1 is not prime. Res64: 62648537DAD5E9AC Time : 0.0 sec. user=mdettweiler [2015-07-16 21:50:23] 887*2^1403286-1 is not prime. Res64: 63B3DE05631A5925 Time : 0.0 sec. user=mdettweiler [2015-07-16 22:07:10] 963*2^1403286-1 is not prime. Res64: C8688B02BD491A51 Time : 0.0 sec. user=mdettweiler [2015-07-16 22:07:11] 971*2^1403286-1 is not prime. Res64: A2BE8802E0504B47 Time : 0.0 sec. user=mdettweiler [2015-07-16 22:07:26] 893*2^1403286-1 is not prime. Res64: 230EE95846129868 Time : 0.0 sec. user=mdettweiler [2015-07-16 22:07:27] 933*2^1403286-1 is not prime. Res64: 54C357978CEB50CE Time : 0.0 sec. user=mdettweiler [2015-07-16 22:12:12] 651*2^1403287-1 is not prime. Res64: A08DFB2C32F6BB90 Time : 0.0 sec. user=mdettweiler [2015-07-16 22:12:12] 703*2^1403287-1 is not prime. Res64: 6814DA7E1A171AE1 Time : 0.0 sec. user=mdettweiler [2015-07-16 22:14:01] 729*2^1403287-1 is not prime. Res64: 971446AE7C13982A Time : 0.0 sec. user=mdettweiler [2015-07-16 22:14:01] 765*2^1403287-1 is not prime. Res64: 3710F6BBECEFB2CB Time : 0.0 sec. user=mdettweiler [2015-07-16 22:27:02] 849*2^1403287-1 is not prime. Res64: E3610D06F6D9235A Time : 0.0 sec. user=mdettweiler [2015-07-16 22:27:02] 633*2^1403288-1 is not prime. Res64: FBEBE4549B87D1A6 Time : 0.0 sec. user=mdettweiler [2015-07-16 22:27:23] 657*2^1403288-1 is not prime. Res64: CE5D228C885F52E1 Time : 0.0 sec. user=mdettweiler [2015-07-16 22:27:24] 759*2^1403288-1 is not prime. Res64: 9D2130801C487822 Time : 0.0 sec. user=mdettweiler [2015-07-16 22:30:41] 803*2^1403288-1 is not prime. Res64: 1E60BBC6179DC9C3 Time : 0.0 sec. user=mdettweiler [2015-07-16 22:30:41] 923*2^1403288-1 is not prime. Res64: F9AC771A4A0AEE8D Time : 0.0 sec. user=mdettweiler [2015-07-16 22:32:21] 999*2^1403288-1 is not prime. Res64: 2FB88CE35D08D008 Time : 0.0 sec. user=mdettweiler [2015-07-16 22:32:21] 615*2^1403289-1 is not prime. Res64: 7C0E80431F13EC9E Time : 0.0 sec. user=mdettweiler [2015-07-16 22:45:24] 679*2^1403289-1 is not prime. Res64: 9955D12A45A55534 Time : 0.0 sec. user=mdettweiler [2015-07-16 22:45:25] 711*2^1403289-1 is not prime. Res64: 92F252301B896D1E Time : 0.0 sec. user=mdettweiler [2015-07-16 22:45:47] 747*2^1403289-1 is not prime. Res64: 1C82A46064DBBFE5 Time : 0.0 sec. user=mdettweiler [2015-07-16 22:45:47] 751*2^1403289-1 is not prime. Res64: F8C204121DF27B68 Time : 0.0 sec. user=mdettweiler [2015-07-16 22:48:59] 795*2^1403289-1 is not prime. Res64: E1C448B83793EB07 Time : 0.0 sec. user=mdettweiler [2015-07-16 22:49:00] 811*2^1403289-1 is not prime. Res64: 2B79AED0B2807AFC Time : 0.0 sec. user=mdettweiler [2015-07-16 22:50:50] 817*2^1403289-1 is not prime. Res64: 7CD386947DD3E22D Time : 0.0 sec. user=mdettweiler [2015-07-16 22:50:50] 847*2^1403289-1 is not prime. Res64: 65D8BB54CBAF2438 Time : 0.0 sec. user=mdettweiler [2015-07-16 23:03:29] 861*2^1403289-1 is not prime. Res64: 9598D1B5C98E3DEE Time : 0.0 sec. user=mdettweiler [2015-07-16 23:03:30] 865*2^1403289-1 is not prime. Res64: 5DADE0FF197CAB36 Time : 0.0 sec. user=mdettweiler [2015-07-16 23:03:36] 633*2^1403290-1 is not prime. Res64: AEB1D3A871F661AE Time : 0.0 sec. user=mdettweiler [2015-07-16 23:03:39] 707*2^1403290-1 is not prime. Res64: 4BC59C31611B1262 Time : 0.0 sec. user=mdettweiler [2015-07-16 23:06:59] 777*2^1403290-1 is not prime. Res64: BAC7D12113CAEF06 Time : 0.0 sec. user=mdettweiler [2015-07-16 23:06:59] 821*2^1403290-1 is not prime. Res64: 538E9FC3273CA504 Time : 0.0 sec. user=mdettweiler [2015-07-16 23:08:49] 827*2^1403290-1 is not prime. Res64: FE3F86D33A25EFA7 Time : 0.0 sec. user=mdettweiler [2015-07-16 23:08:49] 933*2^1403290-1 is not prime. Res64: AF21D5618AC3A1FE Time : 0.0 sec. user=mdettweiler [2015-07-16 23:21:51] 693*2^1403291-1 is not prime. Res64: 36725F92281A1A43 Time : 0.0 sec. user=mdettweiler [2015-07-16 23:21:52] 745*2^1403291-1 is not prime. Res64: 03085463D2DB10F5 Time : 0.0 sec. user=mdettweiler [2015-07-16 23:21:52] 951*2^1403290-1 is not prime. Res64: 25CFEC1BEACE6413 Time : 0.0 sec. user=mdettweiler [2015-07-16 23:21:52] 673*2^1403291-1 is not prime. Res64: 549E3D838A675834 Time : 0.0 sec. user=mdettweiler [2015-07-16 23:25:20] 979*2^1403291-1 is not prime. Res64: E522D176093E076E Time : 0.0 sec. user=mdettweiler [2015-07-16 23:25:20] 609*2^1403292-1 is not prime. Res64: F1D9754851F11A95 Time : 0.0 sec. user=mdettweiler [2015-07-16 23:26:40] 623*2^1403292-1 is not prime. Res64: E5BE8E33E00A1613 Time : 0.0 sec. user=mdettweiler [2015-07-16 23:26:40] 683*2^1403292-1 is not prime. Res64: C27E3B4624CF41F2 Time : 0.0 sec. user=mdettweiler [2015-07-16 23:39:49] 863*2^1403292-1 is not prime. Res64: 6151A0DD5A5116EC Time : 0.0 sec. user=mdettweiler [2015-07-16 23:39:49] 893*2^1403292-1 is not prime. Res64: 9C9E2E49E0314E2E Time : 0.0 sec. user=mdettweiler [2015-07-16 23:39:52] 725*2^1403292-1 is not prime. Res64: EFD36180B394DC02 Time : 0.0 sec. user=mdettweiler [2015-07-16 23:39:52] 809*2^1403292-1 is not prime. Res64: FBAB7B8AF7FE4AB2 Time : 0.0 sec. user=mdettweiler [2015-07-16 23:43:18] 909*2^1403292-1 is not prime. Res64: 93A8D010CEC5A2EF Time : 0.0 sec. user=mdettweiler [2015-07-16 23:43:18] 929*2^1403292-1 is not prime. Res64: 097E9E63436986A4 Time : 0.0 sec. user=mdettweiler [2015-07-16 23:44:32] 959*2^1403292-1 is not prime. Res64: C961346C25C8D56B Time : 0.0 sec. user=mdettweiler [2015-07-16 23:44:32] 607*2^1403293-1 is not prime. Res64: 6DBF588578C5CBA0 Time : 0.0 sec. user=mdettweiler [2015-07-16 23:58:03] 789*2^1403293-1 is not prime. Res64: 993B107157792771 Time : 0.0 sec. user=mdettweiler [2015-07-16 23:58:03] 847*2^1403293-1 is not prime. Res64: 8A035775F5D21F0C Time : 0.0 sec. user=mdettweiler [2015-07-16 23:58:06] 615*2^1403293-1 is not prime. Res64: F292912E166C00B0 Time : 0.0 sec. user=mdettweiler [2015-07-16 23:58:06] 691*2^1403293-1 is not prime. Res64: D554FF11F8EDD04C Time : 0.0 sec.