user=juhehe [2015-05-28 02:23:38] 813*2^1399646-1 is not prime. Res64: 9E9FBC55AE3B24FC Time : 0.0 sec. user=juhehe [2015-05-28 07:31:51] 875*2^1399646-1 is not prime. Res64: 3E172B9AE3A01099 Time : 0.0 sec. user=mdettweiler [2015-05-28 09:33:52] 923*2^1399644-1 is not prime. Res64: 087E7B4DA09BA843 Time : 0.0 sec. user=mdettweiler [2015-05-28 09:33:53] 935*2^1399644-1 is not prime. Res64: F2DA616C7BBFAD6F Time : 0.0 sec. user=mdettweiler [2015-05-28 09:53:48] 903*2^1399646-1 is not prime. Res64: 851CB862736E1CF2 Time : 0.0 sec. user=mdettweiler [2015-05-28 09:53:48] 971*2^1399646-1 is not prime. Res64: 6C4F43FDE463F5B4 Time : 0.0 sec. user=mdettweiler [2015-05-28 09:59:22] 919*2^1399645-1 is not prime. Res64: 407CB0F07CB69032 Time : 0.0 sec. user=mdettweiler [2015-05-28 09:59:23] 951*2^1399645-1 is not prime. Res64: 32A343AB11EF40F5 Time : 0.0 sec. user=mdettweiler [2015-05-28 10:09:46] 607*2^1399645-1 is not prime. Res64: D3625CA25CD53817 Time : 0.0 sec. user=mdettweiler [2015-05-28 10:09:46] 699*2^1399645-1 is not prime. Res64: BE39F04B20C22AA3 Time : 0.0 sec. user=mdettweiler [2015-05-28 10:13:33] 983*2^1399646-1 is not prime. Res64: 48148A7336CBC013 Time : 0.0 sec. user=mdettweiler [2015-05-28 10:13:34] 619*2^1399647-1 is not prime. Res64: 775E398DABF72BA8 Time : 0.0 sec. user=mdettweiler [2015-05-28 10:15:49] 663*2^1399646-1 is not prime. Res64: 462158DCEA3E4B0A Time : 0.0 sec. user=mdettweiler [2015-05-28 10:15:49] 677*2^1399646-1 is not prime. Res64: D86FC3FC2479B3BF Time : 0.0 sec. user=mdettweiler [2015-05-28 10:18:19] 625*2^1399647-1 is not prime. Res64: 301E419CA92C4205 Time : 0.0 sec. user=mdettweiler [2015-05-28 10:18:19] 649*2^1399647-1 is not prime. Res64: 5030B4B811089A55 Time : 0.0 sec. user=mdettweiler [2015-05-28 10:27:59] 765*2^1399647-1 is not prime. Res64: 37EE3868EE59918D Time : 0.0 sec. user=mdettweiler [2015-05-28 10:27:59] 859*2^1399647-1 is not prime. Res64: 23BFB1FE286A7145 Time : 0.0 sec. user=mdettweiler [2015-05-28 10:31:45] 895*2^1399647-1 is not prime. Res64: 2BC7EA307F2A0634 Time : 0.0 sec. user=mdettweiler [2015-05-28 10:31:45] 951*2^1399647-1 is not prime. Res64: A1BB928A76375722 Time : 0.0 sec. user=mdettweiler [2015-05-28 10:33:42] 677*2^1399648-1 is not prime. Res64: BD62E144007320E6 Time : 0.0 sec. user=mdettweiler [2015-05-28 10:33:43] 755*2^1399648-1 is not prime. Res64: 7B93A7147B7C38CE Time : 0.0 sec. user=mdettweiler [2015-05-28 10:36:12] 845*2^1399648-1 is not prime. Res64: C7DA92C2DF0BE8EE Time : 0.0 sec. user=mdettweiler [2015-05-28 10:36:12] 849*2^1399648-1 is not prime. Res64: 6D01ED4C881E8788 Time : 0.0 sec. user=mdettweiler [2015-05-28 10:45:50] 923*2^1399648-1 is not prime. Res64: 8655F92E8C1A9B23 Time : 0.0 sec. user=mdettweiler [2015-05-28 10:45:50] 995*2^1399648-1 is not prime. Res64: D0AAC4775A42429A Time : 0.0 sec. user=mdettweiler [2015-05-28 10:49:51] 657*2^1399649-1 is not prime. Res64: 32F8BE78E03460AA Time : 0.0 sec. user=mdettweiler [2015-05-28 10:49:51] 711*2^1399649-1 is not prime. Res64: CAC9B0D6511ECFD7 Time : 0.0 sec. user=mdettweiler [2015-05-28 10:51:31] 771*2^1399649-1 is not prime. Res64: 60DFD4FA7F44F7DE Time : 0.0 sec. user=mdettweiler [2015-05-28 10:51:31] 837*2^1399649-1 is not prime. Res64: 874B15EAA9236C0B Time : 0.0 sec. user=mdettweiler [2015-05-28 10:54:10] 879*2^1399649-1 is not prime. Res64: 2288AB7AC488F940 Time : 0.0 sec. user=mdettweiler [2015-05-28 10:54:11] 635*2^1399650-1 is not prime. Res64: DB629C2A2C9993E8 Time : 0.0 sec. user=mdettweiler [2015-05-28 11:03:25] 651*2^1399650-1 is not prime. Res64: 12A62C1D5F8E2C6C Time : 0.0 sec. user=mdettweiler [2015-05-28 11:03:26] 723*2^1399650-1 is not prime. Res64: 2D58A3796D3122B9 Time : 0.0 sec. user=mdettweiler [2015-05-28 11:07:26] 747*2^1399650-1 is not prime. Res64: FEFE281EDFE7170B Time : 0.0 sec. user=mdettweiler [2015-05-28 11:07:27] 791*2^1399650-1 is not prime. Res64: 41DFD0AB5030B2EF Time : 0.0 sec. user=mdettweiler [2015-05-28 11:09:13] 821*2^1399650-1 is not prime. Res64: 51D7B2BF060623FD Time : 0.0 sec. user=mdettweiler [2015-05-28 11:09:13] 851*2^1399650-1 is not prime. Res64: 3D12251E96D052BD Time : 0.0 sec. user=mdettweiler [2015-05-28 11:11:50] 917*2^1399650-1 is not prime. Res64: 4B46888187DBF00D Time : 0.0 sec. user=mdettweiler [2015-05-28 11:11:51] 663*2^1399651-1 is not prime. Res64: BBAD227EC8854CEB Time : 0.0 sec. user=mdettweiler [2015-05-28 11:21:14] 735*2^1399651-1 is not prime. Res64: 36EB72B51AAC77C0 Time : 0.0 sec. user=mdettweiler [2015-05-28 11:21:14] 745*2^1399651-1 is not prime. Res64: 51B372B0A91733E1 Time : 0.0 sec. user=mdettweiler [2015-05-28 11:25:27] 819*2^1399651-1 is not prime. Res64: 0049E37E3086EA09 Time : 0.0 sec. user=mdettweiler [2015-05-28 11:25:28] 615*2^1399652-1 is not prime. Res64: F4A06088A9956A2C Time : 0.0 sec. user=mdettweiler [2015-05-28 11:27:17] 759*2^1399652-1 is not prime. Res64: 1FC5628AD18B5F67 Time : 0.0 sec. user=mdettweiler [2015-05-28 11:27:18] 803*2^1399652-1 is not prime. Res64: 2257BE4B14A0D2F2 Time : 0.0 sec. user=mdettweiler [2015-05-28 11:29:58] 867*2^1399652-1 is not prime. Res64: FE65C595C1211CBF Time : 0.0 sec. user=mdettweiler [2015-05-28 11:29:58] 873*2^1399652-1 is not prime. Res64: 38818C283D018692 Time : 0.0 sec. user=mdettweiler [2015-05-28 11:39:52] 963*2^1399652-1 is not prime. Res64: 2EFF5B322AC0A5D3 Time : 0.0 sec. user=mdettweiler [2015-05-28 11:39:52] 983*2^1399652-1 is not prime. Res64: 5DAD45BA7C2FE0D6 Time : 0.0 sec. user=mdettweiler [2015-05-28 11:43:36] 621*2^1399653-1 is not prime. Res64: 6B1040A330870AAB Time : 0.0 sec. user=mdettweiler [2015-05-28 11:43:36] 649*2^1399653-1 is not prime. Res64: C29D342943948AE7 Time : 0.0 sec. user=mdettweiler [2015-05-28 11:45:21] 787*2^1399653-1 is not prime. Res64: F822A1D2DEF6DD36 Time : 0.0 sec. user=mdettweiler [2015-05-28 11:45:22] 901*2^1399653-1 is not prime. Res64: 972E7DA0BA2B670C Time : 0.0 sec. user=mdettweiler [2015-05-28 11:47:57] 915*2^1399653-1 is not prime. Res64: 1EE2826699607BFC Time : 0.0 sec. user=mdettweiler [2015-05-28 11:47:57] 927*2^1399653-1 is not prime. Res64: E892145121C03A78 Time : 0.0 sec. user=mdettweiler [2015-05-28 11:58:06] 937*2^1399653-1 is not prime. Res64: 80CCE3D468CEFD48 Time : 0.0 sec. user=mdettweiler [2015-05-28 11:58:06] 985*2^1399653-1 is not prime. Res64: 7F6FF9DF024911FA Time : 0.0 sec. user=mdettweiler [2015-05-28 12:02:11] 999*2^1399653-1 is not prime. Res64: 6CBB922C0867816B Time : 0.0 sec. user=mdettweiler [2015-05-28 12:02:12] 687*2^1399654-1 is not prime. Res64: F657F5E55A8A4EDC Time : 0.0 sec. user=mdettweiler [2015-05-28 12:03:59] 783*2^1399654-1 is not prime. Res64: BC02596F4FBC8EAA Time : 0.0 sec. user=mdettweiler [2015-05-28 12:04:00] 827*2^1399654-1 is not prime. Res64: 5691D56E698D3025 Time : 0.0 sec. user=mdettweiler [2015-05-28 12:06:38] 881*2^1399654-1 is not prime. Res64: 710D022422E0260C Time : 0.0 sec. user=mdettweiler [2015-05-28 12:06:39] 609*2^1399655-1 is not prime. Res64: F8B69D13E64545B2 Time : 0.0 sec. user=mdettweiler [2015-05-28 12:17:15] 799*2^1399655-1 is not prime. Res64: 86E8A76558A8C9AD Time : 0.0 sec. user=mdettweiler [2015-05-28 12:17:15] 805*2^1399655-1 is not prime. Res64: DA5C88D51A583FCE Time : 0.0 sec. user=mdettweiler [2015-05-28 12:20:54] 859*2^1399655-1 is not prime. Res64: 5E9C19629562188B Time : 0.0 sec. user=mdettweiler [2015-05-28 12:20:55] 895*2^1399655-1 is not prime. Res64: 48341AB563DF8C1B Time : 0.0 sec. user=mdettweiler [2015-05-28 12:22:36] 609*2^1399656-1 is not prime. Res64: 396F01E53A0ACEC0 Time : 0.0 sec. user=mdettweiler [2015-05-28 12:22:36] 623*2^1399656-1 is not prime. Res64: 65A008DB017F777F Time : 0.0 sec. user=mdettweiler [2015-05-28 12:25:02] 725*2^1399656-1 is not prime. Res64: D7D36C8F80925A4C Time : 0.0 sec. user=mdettweiler [2015-05-28 12:25:03] 759*2^1399656-1 is not prime. Res64: E922A51C84AA1D4C Time : 0.0 sec. user=mdettweiler [2015-05-28 12:35:19] 779*2^1399656-1 is not prime. Res64: 900942F320EB52DE Time : 0.0 sec. user=mdettweiler [2015-05-28 12:35:19] 893*2^1399656-1 is not prime. Res64: 4D6407720C89C9E1 Time : 0.0 sec. user=mdettweiler [2015-05-28 12:39:00] 999*2^1399656-1 is not prime. Res64: CAA3177945813FC9 Time : 0.0 sec. user=mdettweiler [2015-05-28 12:39:00] 685*2^1399657-1 is not prime. Res64: E44014F777E1D3B5 Time : 0.0 sec. user=mdettweiler [2015-05-28 12:40:26] 747*2^1399657-1 is not prime. Res64: 18D68C2174C5F8F6 Time : 0.0 sec. user=mdettweiler [2015-05-28 12:40:26] 861*2^1399657-1 is not prime. Res64: A17A614DD29FD877 Time : 0.0 sec. user=mdettweiler [2015-05-28 12:42:55] 931*2^1399657-1 is not prime. Res64: 78ED3FFF03A778BE Time : 0.0 sec. user=mdettweiler [2015-05-28 12:42:55] 955*2^1399657-1 is not prime. Res64: C0DF2C622E9BA94A Time : 0.0 sec. user=mdettweiler [2015-05-28 12:53:35] 617*2^1399658-1 is not prime. Res64: D3685692C2D1D9C8 Time : 0.0 sec. user=mdettweiler [2015-05-28 12:53:35] 657*2^1399658-1 is not prime. Res64: E24EFFB9FBC599F0 Time : 0.0 sec. user=mdettweiler [2015-05-28 12:57:11] 671*2^1399658-1 is not prime. Res64: 08B662FCED9F15AB Time : 0.0 sec. user=mdettweiler [2015-05-28 12:57:11] 837*2^1399658-1 is not prime. Res64: D02AB74AE4361EF6 Time : 0.0 sec. user=mdettweiler [2015-05-28 12:58:41] 923*2^1399658-1 is not prime. Res64: C71C14912F1DC793 Time : 0.0 sec. user=mdettweiler [2015-05-28 12:58:41] 613*2^1399659-1 is not prime. Res64: 94F68A31179895CE Time : 0.0 sec. user=mdettweiler [2015-05-28 13:01:12] 625*2^1399659-1 is not prime. Res64: 986514D75CC0B2C5 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:01:14] 679*2^1399659-1 is not prime. Res64: 8469E221E2487144 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:11:26] 709*2^1399659-1 is not prime. Res64: 3F9639BE77FFBD88 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:11:27] 775*2^1399659-1 is not prime. Res64: F2A27E3E8FA79ED7 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:14:50] 793*2^1399659-1 is not prime. Res64: F90A0E49320D7D1E Time : 0.0 sec. user=mdettweiler [2015-05-28 13:14:51] 605*2^1399660-1 is not prime. Res64: 8BB761BE8DEC2CB6 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:16:20] 623*2^1399660-1 is not prime. Res64: 4B96FC40DD6DD489 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:16:20] 629*2^1399660-1 is not prime. Res64: 58CFA46A5DD80E1A Time : 0.0 sec. user=mdettweiler [2015-05-28 13:18:47] 689*2^1399660-1 is not prime. Res64: 2E763FFD93272E90 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:18:47] 719*2^1399660-1 is not prime. Res64: E86453B2F8A0BEC3 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:29:01] 827*2^1399660-1 is not prime. Res64: 2C95522DB056AD2F Time : 0.0 sec. user=mdettweiler [2015-05-28 13:29:01] 843*2^1399660-1 is not prime. Res64: 2A082B36B68DB6B5 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:32:23] 899*2^1399660-1 is not prime. Res64: 4E06C33AD526853B Time : 0.0 sec. user=mdettweiler [2015-05-28 13:32:24] 923*2^1399660-1 is not prime. Res64: 2B373A4054220033 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:33:58] 939*2^1399660-1 is not prime. Res64: 3D15FE7B342D0939 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:33:58] 717*2^1399661-1 is not prime. Res64: FE67DD6CD7C3C825 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:36:18] 777*2^1399661-1 is not prime. Res64: D71A76ACA0978670 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:36:18] 829*2^1399661-1 is not prime. Res64: 4A49850B46851348 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:46:34] 837*2^1399661-1 is not prime. Res64: E84C428D52363BF0 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:46:34] 865*2^1399661-1 is not prime. Res64: 487AEF319E407A71 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:49:50] 925*2^1399661-1 is not prime. Res64: 607DB3D04E6090D2 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:49:50] 627*2^1399662-1 is not prime. Res64: BDB5C8D317539370 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:51:35] 681*2^1399662-1 is not prime. Res64: 5F2399AF3B0D41C9 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:51:35] 695*2^1399662-1 is not prime. Res64: C6794903343C755F Time : 0.0 sec. user=mdettweiler [2015-05-28 13:53:51] 705*2^1399662-1 is not prime. Res64: B15FE8E0DADACF53 Time : 0.0 sec. user=mdettweiler [2015-05-28 13:53:51] 717*2^1399662-1 is not prime. Res64: 0C8DEEA9C98CC84F Time : 0.0 sec. user=mdettweiler [2015-05-28 14:04:04] 815*2^1399662-1 is not prime. Res64: 55EC5627028FEA0D Time : 0.0 sec. user=mdettweiler [2015-05-28 14:04:05] 825*2^1399662-1 is not prime. Res64: 074D06BE3C989291 Time : 0.0 sec. user=mdettweiler [2015-05-28 14:07:16] 833*2^1399662-1 is not prime. Res64: 8FAD7DEC456FFD9B Time : 0.0 sec. user=mdettweiler [2015-05-28 14:07:16] 873*2^1399662-1 is not prime. Res64: 4E5CDEB7EFC5955D Time : 0.0 sec. user=mdettweiler [2015-05-28 14:09:05] 941*2^1399662-1 is not prime. Res64: 35B7CDE61029EC3F Time : 0.0 sec. user=mdettweiler [2015-05-28 14:09:05] 975*2^1399662-1 is not prime. Res64: A3AA0023C0530553 Time : 0.0 sec. user=mdettweiler [2015-05-28 14:11:20] 763*2^1399663-1 is not prime. Res64: 3B58DD7E1CE33777 Time : 0.0 sec. user=mdettweiler [2015-05-28 14:11:20] 769*2^1399663-1 is not prime. Res64: 52D809EA242837C7 Time : 0.0 sec. user=mdettweiler [2015-05-28 14:21:51] 811*2^1399663-1 is not prime. Res64: 961AAFE6904E3B83 Time : 0.0 sec. user=mdettweiler [2015-05-28 14:21:51] 861*2^1399663-1 is not prime. Res64: 8552BF5D2A094747 Time : 0.0 sec. user=mdettweiler [2015-05-28 14:24:49] 951*2^1399663-1 is not prime. Res64: BFA7A899614DB03F Time : 0.0 sec. user=mdettweiler [2015-05-28 14:24:49] 999*2^1399663-1 is not prime. Res64: 9B152366FD131E48 Time : 0.0 sec. user=mdettweiler [2015-05-28 14:26:45] 617*2^1399664-1 is not prime. Res64: 3002FB1B87418BDC Time : 0.0 sec. user=mdettweiler [2015-05-28 14:26:45] 645*2^1399664-1 is not prime. Res64: 550C2E758CFDEE0A Time : 0.0 sec. user=mdettweiler [2015-05-28 14:28:51] 663*2^1399664-1 is not prime. Res64: D75A72537021DAC7 Time : 0.0 sec. user=mdettweiler [2015-05-28 14:28:51] 665*2^1399664-1 is not prime. Res64: 978C3B3C30BB3EE7 Time : 0.0 sec. user=mdettweiler [2015-05-28 14:39:16] 855*2^1399664-1 is not prime. Res64: 833BC340DE676E33 Time : 0.0 sec. user=mdettweiler [2015-05-28 14:39:17] 909*2^1399664-1 is not prime. Res64: D809CD32F998334C Time : 0.0 sec. user=mdettweiler [2015-05-28 14:42:17] 627*2^1399665-1 is not prime. Res64: 8FE37A6E5360A933 Time : 0.0 sec. user=mdettweiler [2015-05-28 14:42:18] 649*2^1399665-1 is not prime. Res64: 363377C26D364514 Time : 0.0 sec. user=mdettweiler [2015-05-28 14:44:12] 717*2^1399665-1 is not prime. Res64: DE8CF3F89FECFE74 Time : 0.0 sec. user=mdettweiler [2015-05-28 14:44:13] 759*2^1399665-1 is not prime. Res64: 7CD305BA7BF77E29 Time : 0.0 sec. user=mdettweiler [2015-05-28 14:46:19] 765*2^1399665-1 is not prime. Res64: E168EBA6AD1ACA7E Time : 0.0 sec. user=mdettweiler [2015-05-28 14:46:20] 777*2^1399665-1 is not prime. Res64: 70E419A10E6923EE Time : 0.0 sec. user=mdettweiler [2015-05-28 14:56:48] 781*2^1399665-1 is not prime. Res64: CA163BD771BC6AC3 Time : 0.0 sec. user=mdettweiler [2015-05-28 14:56:49] 795*2^1399665-1 is not prime. Res64: 1D0D597163E82689 Time : 0.0 sec. user=mdettweiler [2015-05-28 14:59:44] 811*2^1399665-1 is not prime. Res64: 5B2198FA9E70C7CD Time : 0.0 sec. user=mdettweiler [2015-05-28 14:59:45] 909*2^1399665-1 is not prime. Res64: 01B342B1744B676B Time : 0.0 sec. user=mdettweiler [2015-05-28 15:01:41] 675*2^1399666-1 is not prime. Res64: C6F0E5420D5DC022 Time : 0.0 sec. user=mdettweiler [2015-05-28 15:01:41] 677*2^1399666-1 is not prime. Res64: C288370F139B6512 Time : 0.0 sec. user=mdettweiler [2015-05-28 15:03:44] 723*2^1399666-1 is not prime. Res64: 53DD8D1BED6088F9 Time : 0.0 sec. user=mdettweiler [2015-05-28 15:03:45] 735*2^1399666-1 is not prime. Res64: A7622D474E4A869F Time : 0.0 sec. user=mdettweiler [2015-05-28 15:14:23] 773*2^1399666-1 is not prime. Res64: 62DB65039334062A Time : 0.0 sec. user=mdettweiler [2015-05-28 15:14:23] 923*2^1399666-1 is not prime. Res64: 3FD94ED23E26FE18 Time : 0.0 sec. user=mdettweiler [2015-05-28 15:17:17] 945*2^1399666-1 is not prime. Res64: 93978BCC24682B7B Time : 0.0 sec. user=mdettweiler [2015-05-28 15:17:17] 603*2^1399667-1 is not prime. Res64: 9EE6FCF1C95928CA Time : 0.0 sec. user=mdettweiler [2015-05-28 15:19:22] 609*2^1399667-1 is not prime. Res64: 6EE8A2D5A8C41BCC Time : 0.0 sec. user=mdettweiler [2015-05-28 15:19:22] 633*2^1399667-1 is not prime. Res64: 1F096CB82D192175 Time : 0.0 sec. user=mdettweiler [2015-05-28 15:21:37] 703*2^1399667-1 is not prime. Res64: 4C12CA3B3898F708 Time : 0.0 sec. user=mdettweiler [2015-05-28 15:21:37] 711*2^1399667-1 is not prime. Res64: 271D214CF6D51009 Time : 0.0 sec. user=mdettweiler [2015-05-28 15:31:45] 687*2^1399669-1 is not prime. Res64: B0CABB4A8635196A Time : 0.0 sec. user=mdettweiler [2015-05-28 15:31:45] 765*2^1399669-1 is not prime. Res64: 69EBD88A9E5B927A Time : 0.0 sec. user=mdettweiler [2015-05-28 15:34:51] 847*2^1399669-1 is not prime. Res64: 25C4CCE1C5ECC484 Time : 0.0 sec. user=mdettweiler [2015-05-28 15:34:51] 939*2^1399669-1 is not prime. Res64: 995903BE17F51A6D Time : 0.0 sec. user=mdettweiler [2015-05-28 15:36:59] 955*2^1399669-1 is not prime. Res64: C056086CAE040F5A Time : 0.0 sec. user=mdettweiler [2015-05-28 15:37:00] 987*2^1399669-1 is not prime. Res64: 75AA2EAADFD09F4B Time : 0.0 sec. user=mdettweiler [2015-05-28 15:39:04] 645*2^1399670-1 is not prime. Res64: 0786C68C7E0EE042 Time : 0.0 sec. user=mdettweiler [2015-05-28 15:39:04] 657*2^1399670-1 is not prime. Res64: 91E23503F080E435 Time : 0.0 sec. user=juhehe [2015-05-28 15:45:48] 913*2^1399667-1 is not prime. Res64: A3AD6347B710E918 Time : 0.0 sec. user=mdettweiler [2015-05-28 15:49:19] 711*2^1399670-1 is not prime. Res64: 44FF615A9BB890A8 Time : 0.0 sec. user=mdettweiler [2015-05-28 15:49:19] 731*2^1399670-1 is not prime. Res64: AEBA5A67092CA5C7 Time : 0.0 sec. user=mdettweiler [2015-05-28 15:52:24] 995*2^1399670-1 is not prime. Res64: 1F5FE8A1CF687D9B Time : 0.0 sec. user=mdettweiler [2015-05-28 15:52:24] 615*2^1399671-1 is not prime. Res64: 25A79C603FA96D60 Time : 0.0 sec. user=mdettweiler [2015-05-28 15:54:33] 795*2^1399671-1 is not prime. Res64: CC9EBAE7B428375C Time : 0.0 sec. user=mdettweiler [2015-05-28 15:54:34] 865*2^1399671-1 is not prime. Res64: 2EB66D77DC38339A Time : 0.0 sec. user=mdettweiler [2015-05-28 15:56:37] 879*2^1399671-1 is not prime. Res64: 20D4C7EEE35F1B0B Time : 0.0 sec. user=mdettweiler [2015-05-28 15:56:37] 909*2^1399671-1 is not prime. Res64: A2FCE3B8110237BB Time : 0.0 sec. user=mdettweiler [2015-05-28 16:06:44] 943*2^1399671-1 is not prime. Res64: B23306165D16B46F Time : 0.0 sec. user=mdettweiler [2015-05-28 16:06:44] 951*2^1399671-1 is not prime. Res64: BA28B3A7C88B3DBF Time : 0.0 sec. user=mdettweiler [2015-05-28 16:09:57] 955*2^1399671-1 is not prime. Res64: E4A3DB4D4C6ED2F5 Time : 0.0 sec. user=mdettweiler [2015-05-28 16:09:57] 605*2^1399672-1 is not prime. Res64: A6D38E50700E72D9 Time : 0.0 sec. user=mdettweiler [2015-05-28 16:12:01] 699*2^1399673-1 is not prime. Res64: 58A93DC2A4465993 Time : 0.0 sec. user=mdettweiler [2015-05-28 16:12:01] 721*2^1399673-1 is not prime. Res64: 10C2A9DA5C226135 Time : 0.0 sec. user=mdettweiler [2015-05-28 16:14:09] 735*2^1399673-1 is not prime. Res64: 1D61321FA3917135 Time : 0.0 sec. user=mdettweiler [2015-05-28 16:14:09] 795*2^1399673-1 is not prime. Res64: C357EBAB6261DB97 Time : 0.0 sec. user=mdettweiler [2015-05-28 16:24:16] 885*2^1399673-1 is not prime. Res64: F29F8C826711CE9D Time : 0.0 sec. user=mdettweiler [2015-05-28 16:24:16] 723*2^1399674-1 is not prime. Res64: B9EED5C990D3D75C Time : 0.0 sec. user=mdettweiler [2015-05-28 16:27:35] 731*2^1399674-1 is not prime. Res64: 743A06741781C905 Time : 0.0 sec. user=mdettweiler [2015-05-28 16:27:35] 773*2^1399674-1 is not prime. Res64: 86B4127391F0C36B Time : 0.0 sec. user=mdettweiler [2015-05-28 16:29:29] 821*2^1399674-1 is not prime. Res64: 62713E0089C0331E Time : 0.0 sec. user=mdettweiler [2015-05-28 16:29:30] 861*2^1399674-1 is not prime. Res64: 9A74F35DCA6CC438 Time : 0.0 sec. user=mdettweiler [2015-05-28 16:31:39] 887*2^1399674-1 is not prime. Res64: 8ABA107BE16ABA19 Time : 0.0 sec. user=mdettweiler [2015-05-28 16:31:40] 603*2^1399675-1 is not prime. Res64: 191645F73DB3F9E3 Time : 0.0 sec. user=mdettweiler [2015-05-28 16:41:51] 631*2^1399675-1 is not prime. Res64: 01F0FF6A4EE6AB6F Time : 0.0 sec. user=mdettweiler [2015-05-28 16:41:51] 715*2^1399675-1 is not prime. Res64: 47C4D54984A76F80 Time : 0.0 sec. user=mdettweiler [2015-05-28 16:45:03] 841*2^1399675-1 is not prime. Res64: CBB60FEBEBB7F109 Time : 0.0 sec. user=mdettweiler [2015-05-28 16:45:03] 895*2^1399675-1 is not prime. Res64: 216A01BFFB09036D Time : 0.0 sec. user=mdettweiler [2015-05-28 16:46:57] 623*2^1399676-1 is not prime. Res64: 7E0D72594AADEB2A Time : 0.0 sec. user=mdettweiler [2015-05-28 16:46:58] 629*2^1399676-1 is not prime. Res64: 37E4D3DE53CC1FBB Time : 0.0 sec. user=mdettweiler [2015-05-28 16:49:04] 777*2^1399676-1 is not prime. Res64: 619787F9D402C2BE Time : 0.0 sec. user=mdettweiler [2015-05-28 16:49:05] 927*2^1399676-1 is not prime. Res64: E8D4BA350FA4EB78 Time : 0.0 sec. user=mdettweiler [2015-05-28 16:59:22] 983*2^1399676-1 is not prime. Res64: FEC42BA11194B628 Time : 0.0 sec. user=mdettweiler [2015-05-28 16:59:22] 999*2^1399676-1 is not prime. Res64: 18CE1B8FF8DF947D Time : 0.0 sec. user=mdettweiler [2015-05-28 17:02:39] 625*2^1399677-1 is not prime. Res64: BE013F55E4DCF791 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:02:40] 759*2^1399677-1 is not prime. Res64: A35C23FCE1D785E7 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:04:33] 837*2^1399677-1 is not prime. Res64: 6C287F655209B29F Time : 0.0 sec. user=mdettweiler [2015-05-28 17:04:34] 927*2^1399677-1 is not prime. Res64: A9CF15C33C2FAE02 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:06:38] 617*2^1399678-1 is not prime. Res64: 1389AC240CC1299B Time : 0.0 sec. user=mdettweiler [2015-05-28 17:06:39] 755*2^1399678-1 is not prime. Res64: 892A4228A39F3E5A Time : 0.0 sec. user=mdettweiler [2015-05-28 17:16:53] 791*2^1399678-1 is not prime. Res64: EDEAE3C3B20BD751 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:16:53] 911*2^1399678-1 is not prime. Res64: 2B21F65AE5336924 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:20:14] 975*2^1399678-1 is not prime. Res64: 521E17388D896913 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:20:14] 987*2^1399678-1 is not prime. Res64: F6C6C1BC8C2B6830 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:22:00] 1001*2^1399678-1 is not prime. Res64: 5A09EE02ADE44ED3 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:22:01] 601*2^1399679-1 is not prime. Res64: B8C45D3B9A6836F3 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:24:09] 669*2^1399679-1 is not prime. Res64: A15A1B2FF7587B57 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:24:10] 735*2^1399679-1 is not prime. Res64: 4C2EBCDE2E0DD5FD Time : 0.0 sec. user=mdettweiler [2015-05-28 17:34:30] 799*2^1399679-1 is not prime. Res64: 2FF32ABC0444BBE2 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:34:31] 889*2^1399679-1 is not prime. Res64: 2429E6DF1C574DC2 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:37:58] 985*2^1399679-1 is not prime. Res64: ED57ED0E1355E950 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:37:58] 803*2^1399680-1 is not prime. Res64: D9328BD1F44923DC Time : 0.0 sec. user=mdettweiler [2015-05-28 17:39:33] 839*2^1399680-1 is not prime. Res64: 9253D1213B17B888 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:39:34] 863*2^1399680-1 is not prime. Res64: 43DE14F683B137B3 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:41:40] 879*2^1399680-1 is not prime. Res64: E09B30B8E53AE15E Time : 0.0 sec. user=mdettweiler [2015-05-28 17:41:41] 909*2^1399680-1 is not prime. Res64: C334C7EA301DA508 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:52:20] 929*2^1399680-1 is not prime. Res64: C6C6FF4430602F60 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:52:20] 601*2^1399681-1 is not prime. Res64: DF71B04B0111631A Time : 0.0 sec. user=mdettweiler [2015-05-28 17:55:52] 607*2^1399681-1 is not prime. Res64: F6D7F58B65C7E6DA Time : 0.0 sec. user=mdettweiler [2015-05-28 17:55:52] 741*2^1399681-1 is not prime. Res64: DC8D1D26AA3AE915 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:57:27] 807*2^1399681-1 is not prime. Res64: 4367BA567A2CE9A1 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:57:28] 867*2^1399681-1 is not prime. Res64: A148B9139AC4E398 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:59:41] 925*2^1399681-1 is not prime. Res64: 7960AB0ACEAF6544 Time : 0.0 sec. user=mdettweiler [2015-05-28 17:59:41] 677*2^1399682-1 is not prime. Res64: 0DA9683164A1B1A9 Time : 0.0 sec. user=mdettweiler [2015-05-28 18:10:25] 741*2^1399682-1 is not prime. Res64: BDD8FA571DA3BA60 Time : 0.0 sec. user=mdettweiler [2015-05-28 18:10:26] 827*2^1399682-1 is not prime. Res64: F989B0D7914A0FC0 Time : 0.0 sec. user=mdettweiler [2015-05-28 18:14:18] 837*2^1399682-1 is not prime. Res64: C4C004FEBF366BFB Time : 0.0 sec. user=mdettweiler [2015-05-28 18:14:19] 915*2^1399682-1 is not prime. Res64: 1BC788A9F225AC9F Time : 0.0 sec. user=mdettweiler [2015-05-28 18:15:57] 923*2^1399682-1 is not prime. Res64: 14C814B2A9B37D6C Time : 0.0 sec. user=mdettweiler [2015-05-28 18:15:57] 613*2^1399683-1 is not prime. Res64: 83A83CB7515D5A8F Time : 0.0 sec. user=mdettweiler [2015-05-28 18:18:17] 649*2^1399683-1 is not prime. Res64: 6570FEDA8883E0A5 Time : 0.0 sec. user=mdettweiler [2015-05-28 18:18:17] 675*2^1399683-1 is not prime. Res64: 9BBD15BDCCECD9CB Time : 0.0 sec. user=mdettweiler [2015-05-28 18:29:03] 765*2^1399683-1 is not prime. Res64: 6886B1FE586D5712 Time : 0.0 sec. user=mdettweiler [2015-05-28 18:29:04] 769*2^1399683-1 is not prime. Res64: 73994AEF36AC4E9F Time : 0.0 sec. user=mdettweiler [2015-05-28 18:32:33] 801*2^1399683-1 is not prime. Res64: 3A370B5B1CAAE184 Time : 0.0 sec. user=mdettweiler [2015-05-28 18:32:34] 835*2^1399683-1 is not prime. Res64: 44399BEE3CED9EF5 Time : 0.0 sec. user=mdettweiler [2015-05-28 18:34:02] 921*2^1399683-1 is not prime. Res64: 4F14FD7880126A31 Time : 0.0 sec. user=mdettweiler [2015-05-28 18:34:02] 665*2^1399684-1 is not prime. Res64: 4B57623B9B25D2CD Time : 0.0 sec. user=mdettweiler [2015-05-28 18:36:16] 693*2^1399684-1 is not prime. Res64: CF4C1445F9FA806C Time : 0.0 sec. user=mdettweiler [2015-05-28 18:36:17] 707*2^1399684-1 is not prime. Res64: 2F0B61D39D286CE9 Time : 0.0 sec. user=mdettweiler [2015-05-28 18:46:33] 803*2^1399684-1 is not prime. Res64: DEF0EFCD40D1AFED Time : 0.0 sec. user=mdettweiler [2015-05-28 18:46:33] 843*2^1399684-1 is not prime. Res64: 329E019EEB764D3D Time : 0.0 sec. user=mdettweiler [2015-05-28 18:50:03] 887*2^1399684-1 is not prime. Res64: 6E783C969DBCD834 Time : 0.0 sec. user=mdettweiler [2015-05-28 18:50:03] 645*2^1399685-1 is not prime. Res64: 45426BC6EA7C28EE Time : 0.0 sec. user=mdettweiler [2015-05-28 18:51:32] 657*2^1399685-1 is not prime. Res64: B58779935509CA9D Time : 0.0 sec. user=mdettweiler [2015-05-28 18:51:32] 675*2^1399685-1 is not prime. Res64: 0E5730E027ED15C7 Time : 0.0 sec. user=mdettweiler [2015-05-28 18:53:46] 685*2^1399685-1 is not prime. Res64: 4EB1FEC0AFE07CBD Time : 0.0 sec. user=mdettweiler [2015-05-28 18:53:47] 781*2^1399685-1 is not prime. Res64: E00E6A5D9763C658 Time : 0.0 sec. user=mdettweiler [2015-05-28 19:04:08] 831*2^1399685-1 is not prime. Res64: 87D50C1B7B03806A Time : 0.0 sec. user=mdettweiler [2015-05-28 19:04:09] 837*2^1399685-1 is not prime. Res64: E029C1834855272C Time : 0.0 sec. user=mdettweiler [2015-05-28 19:07:36] 985*2^1399685-1 is not prime. Res64: B635A965FC27FC80 Time : 0.0 sec. user=mdettweiler [2015-05-28 19:07:37] 671*2^1399686-1 is not prime. Res64: A6FF491EC30D879F Time : 0.0 sec. user=mdettweiler [2015-05-28 19:09:04] 705*2^1399686-1 is not prime. Res64: 5A26D5B59315BC54 Time : 0.0 sec. user=mdettweiler [2015-05-28 19:09:04] 717*2^1399686-1 is not prime. Res64: 22ACA6D9C3E88302 Time : 0.0 sec. user=mdettweiler [2015-05-28 19:11:23] 867*2^1399686-1 is not prime. Res64: 7EFA54B798E7D4BF Time : 0.0 sec. user=mdettweiler [2015-05-28 19:11:23] 873*2^1399686-1 is not prime. Res64: 5DA35DE185AC2A19 Time : 0.0 sec. user=mdettweiler [2015-05-28 19:23:10] 893*2^1399686-1 is not prime. Res64: 026D85906060D1D5 Time : 0.0 sec. user=mdettweiler [2015-05-28 19:23:10] 933*2^1399686-1 is not prime. Res64: C2C1769842CEBE46 Time : 0.0 sec. user=mdettweiler [2015-05-28 19:26:59] 633*2^1399687-1 is not prime. Res64: D22F2A63E6020871 Time : 0.0 sec. user=mdettweiler [2015-05-28 19:26:59] 651*2^1399687-1 is not prime. Res64: 4CA0286D20EA297C Time : 0.0 sec. user=mdettweiler [2015-05-28 19:27:55] 729*2^1399687-1 is not prime. Res64: 4F1D4704B8F635A9 Time : 0.0 sec. user=mdettweiler [2015-05-28 19:27:55] 829*2^1399687-1 is not prime. Res64: 5B6E0104C34BE35C Time : 0.0 sec. user=mdettweiler [2015-05-28 19:30:38] 915*2^1399687-1 is not prime. Res64: B94FAD51688598B9 Time : 0.0 sec. user=mdettweiler [2015-05-28 19:30:38] 939*2^1399687-1 is not prime. Res64: 25C605E609AF7F8C Time : 0.0 sec. user=mdettweiler [2015-05-28 19:41:21] 985*2^1399687-1 is not prime. Res64: 9642FB8917CF4790 Time : 0.0 sec. user=mdettweiler [2015-05-28 19:41:21] 603*2^1399688-1 is not prime. Res64: DD59384D5873FEA6 Time : 0.0 sec. user=mdettweiler [2015-05-28 19:45:11] 623*2^1399688-1 is not prime. Res64: 62976CDC163B5881 Time : 0.0 sec. user=mdettweiler [2015-05-28 19:45:12] 755*2^1399688-1 is not prime. Res64: A5F1BA02C45C89C2 Time : 0.0 sec. user=mdettweiler [2015-05-28 19:46:14] 843*2^1399688-1 is not prime. Res64: ABAECF003FD1F9FB Time : 0.0 sec. user=mdettweiler [2015-05-28 19:46:14] 845*2^1399688-1 is not prime. Res64: 72485CDE986A6800 Time : 0.0 sec. user=mdettweiler [2015-05-28 19:48:55] 867*2^1399688-1 is not prime. Res64: 417AFB16C41F9AE4 Time : 0.0 sec. user=mdettweiler [2015-05-28 19:48:55] 869*2^1399688-1 is not prime. Res64: 255C4A8A7A6C9B91 Time : 0.0 sec. user=mdettweiler [2015-05-28 20:00:03] 935*2^1399688-1 is not prime. Res64: 3E5D045CCDAFDC5C Time : 0.0 sec. user=mdettweiler [2015-05-28 20:00:03] 609*2^1399689-1 is not prime. Res64: A375F487B039A333 Time : 0.0 sec. user=mdettweiler [2015-05-28 20:03:57] 625*2^1399689-1 is not prime. Res64: B98769D9CB603571 Time : 0.0 sec. user=mdettweiler [2015-05-28 20:03:58] 649*2^1399689-1 is not prime. Res64: C88F95C3D63C7496 Time : 0.0 sec. user=mdettweiler [2015-05-28 20:04:58] 769*2^1399689-1 is not prime. Res64: D39ECDBF8B16A6BF Time : 0.0 sec. user=mdettweiler [2015-05-28 20:04:59] 781*2^1399689-1 is not prime. Res64: 90A9B66DF99BE64D Time : 0.0 sec. user=mdettweiler [2015-05-28 20:07:06] 861*2^1399689-1 is not prime. Res64: 66E18AF0CFF52ABE Time : 0.0 sec. user=mdettweiler [2015-05-28 20:07:07] 969*2^1399689-1 is not prime. Res64: 4B4FB693BDC173FB Time : 0.0 sec. user=mdettweiler [2015-05-28 20:18:38] 975*2^1399689-1 is not prime. Res64: 81AE7D9329074887 Time : 0.0 sec. user=mdettweiler [2015-05-28 20:18:38] 647*2^1399690-1 is not prime. Res64: 0D189DBD153A5805 Time : 0.0 sec. user=mdettweiler [2015-05-28 20:23:01] 681*2^1399690-1 is not prime. Res64: 501EEC9402CF22BB Time : 0.0 sec. user=mdettweiler [2015-05-28 20:23:01] 873*2^1399690-1 is not prime. Res64: B4CAA523AA08C122 Time : 0.0 sec. user=mdettweiler [2015-05-28 20:23:50] 971*2^1399690-1 is not prime. Res64: 59A269FC8C3C1D76 Time : 0.0 sec. user=mdettweiler [2015-05-28 20:23:50] 995*2^1399690-1 is not prime. Res64: C594A7F13F663322 Time : 0.0 sec. user=mdettweiler [2015-05-28 20:26:00] 615*2^1399691-1 is not prime. Res64: 4AFB8D72C2CA7664 Time : 0.0 sec. user=mdettweiler [2015-05-28 20:26:00] 621*2^1399691-1 is not prime. Res64: 65892316F9F732F8 Time : 0.0 sec. user=mdettweiler [2015-05-28 20:37:43] 645*2^1399691-1 is not prime. Res64: BE4B40AFC9487BA7 Time : 0.0 sec. user=mdettweiler [2015-05-28 20:37:44] 673*2^1399691-1 is not prime. Res64: 80F9AF7243691300 Time : 0.0 sec. user=mdettweiler [2015-05-28 20:42:02] 705*2^1399691-1 is not prime. Res64: 7E760D891C24B710 Time : 0.0 sec. user=mdettweiler [2015-05-28 20:42:02] 789*2^1399691-1 is not prime. Res64: DCFBDF6055911D52 Time : 0.0 sec. user=mdettweiler [2015-05-28 20:42:56] 879*2^1399691-1 is not prime. Res64: 040694D17D7D5F34 Time : 0.0 sec. user=mdettweiler [2015-05-28 20:42:56] 949*2^1399691-1 is not prime. Res64: 321AC6AB7704B6C4 Time : 0.0 sec. user=mdettweiler [2015-05-28 20:45:26] 973*2^1399691-1 is not prime. Res64: 63C12B22733F47A0 Time : 0.0 sec. user=mdettweiler [2015-05-28 20:45:27] 981*2^1399691-1 is not prime. Res64: C06167B33C7D485D Time : 0.0 sec. user=mdettweiler [2015-05-28 20:57:03] 693*2^1399692-1 is not prime. Res64: 6B4A4986E925B1E7 Time : 0.0 sec. user=mdettweiler [2015-05-28 20:57:03] 719*2^1399692-1 is not prime. Res64: A4B5F4016F360C80 Time : 0.0 sec. user=mdettweiler [2015-05-28 21:01:46] 737*2^1399692-1 is not prime. Res64: E0EE1F1BC58EA068 Time : 0.0 sec. user=mdettweiler [2015-05-28 21:01:47] 819*2^1399692-1 is not prime. Res64: B18F4159E345703E Time : 0.0 sec. user=mdettweiler [2015-05-28 21:02:49] 965*2^1399692-1 is not prime. Res64: CC50D2B0E28471C3 Time : 0.0 sec. user=mdettweiler [2015-05-28 21:02:50] 675*2^1399693-1 is not prime. Res64: CFB69C0A829F551A Time : 0.0 sec. user=mdettweiler [2015-05-28 21:05:00] 789*2^1399693-1 is not prime. Res64: FA2188AE3C6E4011 Time : 0.0 sec. user=mdettweiler [2015-05-28 21:05:01] 847*2^1399693-1 is not prime. Res64: 4792206A3A1999D9 Time : 0.0 sec. user=mdettweiler [2015-05-28 21:16:36] 915*2^1399693-1 is not prime. Res64: 17F85BE7DE6FF038 Time : 0.0 sec. user=mdettweiler [2015-05-28 21:16:37] 955*2^1399693-1 is not prime. Res64: B7014564DB937E16 Time : 0.0 sec. user=mdettweiler [2015-05-28 21:20:55] 979*2^1399693-1 is not prime. Res64: E456B633EF55EB1C Time : 0.0 sec. user=mdettweiler [2015-05-28 21:20:55] 645*2^1399694-1 is not prime. Res64: B9F6EB2E509689FE Time : 0.0 sec. user=mdettweiler [2015-05-28 21:22:06] 663*2^1399694-1 is not prime. Res64: 4FA7F7C0AF25A612 Time : 0.0 sec. user=mdettweiler [2015-05-28 21:22:06] 693*2^1399694-1 is not prime. Res64: EF9FBA46891D6353 Time : 0.0 sec. user=mdettweiler [2015-05-28 21:24:22] 753*2^1399694-1 is not prime. Res64: F5D8025265C7EF12 Time : 0.0 sec. user=mdettweiler [2015-05-28 21:24:22] 971*2^1399694-1 is not prime. Res64: 1151577A6BE4540B Time : 0.0 sec. user=mdettweiler [2015-05-28 21:35:45] 987*2^1399694-1 is not prime. Res64: 75C6B2CD5DAFFF5F Time : 0.0 sec. user=mdettweiler [2015-05-28 21:35:45] 849*2^1399695-1 is not prime. Res64: 225D66252DE56091 Time : 0.0 sec. user=mdettweiler [2015-05-28 21:39:59] 871*2^1399695-1 is not prime. Res64: 7E800A8B9AEC3406 Time : 0.0 sec. user=mdettweiler [2015-05-28 21:40:00] 963*2^1399695-1 is not prime. Res64: AE267EAEA710E7AD Time : 0.0 sec. user=mdettweiler [2015-05-28 21:41:19] 675*2^1399696-1 is not prime. Res64: 9934022B7EF9CFB7 Time : 0.0 sec. user=mdettweiler [2015-05-28 21:41:19] 717*2^1399696-1 is not prime. Res64: D597C9A7678248E1 Time : 0.0 sec. user=mdettweiler [2015-05-28 21:43:28] 743*2^1399696-1 is not prime. Res64: D12EE9F31185FFAB Time : 0.0 sec. user=mdettweiler [2015-05-28 21:43:28] 755*2^1399696-1 is not prime. Res64: 8EB0C73F4E2CF7DA Time : 0.0 sec. user=mdettweiler [2015-05-28 21:55:14] 785*2^1399696-1 is not prime. Res64: 639BAC31048CA2CD Time : 0.0 sec. user=mdettweiler [2015-05-28 21:55:14] 983*2^1399696-1 is not prime. Res64: 1E3EAA4156B35DDC Time : 0.0 sec. user=mdettweiler [2015-05-28 21:58:56] 615*2^1399697-1 is not prime. Res64: C9D05FBD5CAED6AA Time : 0.0 sec. user=mdettweiler [2015-05-28 21:58:57] 669*2^1399697-1 is not prime. Res64: 79C427BBD812ADE2 Time : 0.0 sec. user=mdettweiler [2015-05-28 22:00:30] 675*2^1399697-1 is not prime. Res64: 5AF588C3ADA63569 Time : 0.0 sec. user=mdettweiler [2015-05-28 22:00:30] 795*2^1399697-1 is not prime. Res64: 0300817AD9B64126 Time : 0.0 sec. user=mdettweiler [2015-05-28 22:02:30] 879*2^1399697-1 is not prime. Res64: DA4CF76BE252A89A Time : 0.0 sec. user=mdettweiler [2015-05-28 22:02:31] 945*2^1399697-1 is not prime. Res64: D0437FBA44826EE3 Time : 0.0 sec. user=mdettweiler [2015-05-28 22:15:43] 713*2^1399698-1 is not prime. Res64: CF6F40B3C29DCC64 Time : 0.0 sec. user=mdettweiler [2015-05-28 22:15:44] 791*2^1399698-1 is not prime. Res64: 02EB23CD0086FF00 Time : 0.0 sec. user=mdettweiler [2015-05-28 22:19:15] 867*2^1399698-1 is not prime. Res64: 08A81E5D1DABEAF2 Time : 0.0 sec. user=mdettweiler [2015-05-28 22:19:15] 971*2^1399698-1 is not prime. Res64: DCA592252B14A852 Time : 0.0 sec. user=mdettweiler [2015-05-28 22:20:40] 633*2^1399699-1 is not prime. Res64: F64FE576FD486C46 Time : 0.0 sec. user=mdettweiler [2015-05-28 22:20:40] 741*2^1399699-1 is not prime. Res64: 97FA4D01B5D5339F Time : 0.0 sec. user=mdettweiler [2015-05-28 22:22:37] 801*2^1399699-1 is not prime. Res64: 08E0316AF4CB607D Time : 0.0 sec. user=mdettweiler [2015-05-28 22:22:37] 835*2^1399699-1 is not prime. Res64: 2463F695F041751B Time : 0.0 sec. user=mdettweiler [2015-05-28 22:35:36] 885*2^1399699-1 is not prime. Res64: 30A849DD8726ADE3 Time : 0.0 sec. user=mdettweiler [2015-05-28 22:35:37] 969*2^1399699-1 is not prime. Res64: FBDC9FA895CDA62E Time : 0.0 sec. user=mdettweiler [2015-05-28 22:39:08] 975*2^1399699-1 is not prime. Res64: CC00C802E8A123ED Time : 0.0 sec. user=mdettweiler [2015-05-28 22:39:08] 605*2^1399700-1 is not prime. Res64: 937E8E2EA26E99F0 Time : 0.0 sec. user=mdettweiler [2015-05-28 22:40:31] 789*2^1399700-1 is not prime. Res64: F5ACAF7320A541BF Time : 0.0 sec. user=mdettweiler [2015-05-28 22:40:31] 797*2^1399700-1 is not prime. Res64: B047F762F8534E69 Time : 0.0 sec. user=mdettweiler [2015-05-28 22:42:41] 843*2^1399700-1 is not prime. Res64: E50D57634275D892 Time : 0.0 sec. user=mdettweiler [2015-05-28 22:42:41] 855*2^1399700-1 is not prime. Res64: 55DB9612300D3404 Time : 0.0 sec.