user=mdettweiler [2015-08-08 00:02:36] 819*2^1405651-1 is not prime. Res64: 4F77C62FC89843DD Time : 0.0 sec. user=mdettweiler [2015-08-08 00:02:36] 895*2^1405651-1 is not prime. Res64: 8F3F051AB6641B1B Time : 0.0 sec. user=mdettweiler [2015-08-08 00:02:38] 649*2^1405651-1 is not prime. Res64: C06992907AA4C567 Time : 0.0 sec. user=mdettweiler [2015-08-08 00:02:40] 681*2^1405651-1 is not prime. Res64: 03E3A2B13591423B Time : 0.0 sec. user=mdettweiler [2015-08-08 00:18:29] 913*2^1405651-1 is not prime. Res64: 2BE1564644AFA145 Time : 0.0 sec. user=mdettweiler [2015-08-08 00:18:29] 943*2^1405651-1 is not prime. Res64: C8A06CAE5736E9D9 Time : 0.0 sec. user=mdettweiler [2015-08-08 00:19:56] 635*2^1405652-1 is not prime. Res64: 803A1EB0EECA6293 Time : 0.0 sec. user=mdettweiler [2015-08-08 00:19:56] 687*2^1405652-1 is not prime. Res64: 3266DDB55EC7E1CC Time : 0.0 sec. user=mdettweiler [2015-08-08 00:21:40] 749*2^1405652-1 is not prime. Res64: 6A65BA7F5A1CE562 Time : 0.0 sec. user=mdettweiler [2015-08-08 00:21:40] 873*2^1405652-1 is not prime. Res64: CFD354B6B76B48A5 Time : 0.0 sec. user=mdettweiler [2015-08-08 00:21:50] 899*2^1405652-1 is not prime. Res64: 5B8DF7C224113037 Time : 0.0 sec. user=mdettweiler [2015-08-08 00:21:50] 959*2^1405652-1 is not prime. Res64: 3B0B7E8BB61FFABA Time : 0.0 sec. user=mdettweiler [2015-08-08 00:36:59] 627*2^1405653-1 is not prime. Res64: 613583D174374847 Time : 0.0 sec. user=mdettweiler [2015-08-08 00:37:00] 735*2^1405653-1 is not prime. Res64: 3AF0215FA1648C55 Time : 0.0 sec. user=mdettweiler [2015-08-08 00:38:28] 751*2^1405653-1 is not prime. Res64: 2F816C7A11B4719D Time : 0.0 sec. user=mdettweiler [2015-08-08 00:38:28] 765*2^1405653-1 is not prime. Res64: 5E5AEA3F8CEEA226 Time : 0.0 sec. user=mdettweiler [2015-08-08 00:40:16] 837*2^1405653-1 is not prime. Res64: 23A72CB4B296E6B4 Time : 0.0 sec. user=mdettweiler [2015-08-08 00:40:16] 847*2^1405653-1 is not prime. Res64: 3389A7D47CFB49BF Time : 0.0 sec. user=mdettweiler [2015-08-08 00:40:18] 769*2^1405653-1 is not prime. Res64: 09C8ECE683BEE28F Time : 0.0 sec. user=mdettweiler [2015-08-08 00:40:18] 789*2^1405653-1 is not prime. Res64: AA543C8A968FBC41 Time : 0.0 sec. user=S_K_ [2015-08-08 00:47:50] 833*2^1405650-1 is not prime. Res64: 28F2F30194294A1C Time : 0.0 sec. user=mdettweiler [2015-08-08 00:55:50] 889*2^1405653-1 is not prime. Res64: 7DC6725D082B2607 Time : 0.0 sec. user=mdettweiler [2015-08-08 00:55:50] 955*2^1405653-1 is not prime. Res64: A28EA951DF2EAD7F Time : 0.0 sec. user=mdettweiler [2015-08-08 00:57:29] 657*2^1405654-1 is not prime. Res64: B2EA1C9FB0A51F76 Time : 0.0 sec. user=mdettweiler [2015-08-08 00:57:29] 705*2^1405654-1 is not prime. Res64: 056866EA7C6AE5A5 Time : 0.0 sec. user=mdettweiler [2015-08-08 00:59:28] 891*2^1405654-1 is not prime. Res64: BFF1949F546072F3 Time : 0.0 sec. user=mdettweiler [2015-08-08 00:59:29] 945*2^1405654-1 is not prime. Res64: 41420981A4B2042E Time : 0.0 sec. user=mdettweiler [2015-08-08 00:59:37] 861*2^1405654-1 is not prime. Res64: 53D351C565E5633E Time : 0.0 sec. user=mdettweiler [2015-08-08 00:59:39] 887*2^1405654-1 is not prime. Res64: CA9989CFDD5A1AE1 Time : 0.0 sec. user=mdettweiler [2015-08-08 01:14:44] 601*2^1405655-1 is not prime. Res64: E37DC106F6044786 Time : 0.0 sec. user=mdettweiler [2015-08-08 01:14:44] 721*2^1405655-1 is not prime. Res64: A943E42D9D162001 Time : 0.0 sec. user=mdettweiler [2015-08-08 01:16:33] 735*2^1405655-1 is not prime. Res64: 6D249753DAA1C527 Time : 0.0 sec. user=mdettweiler [2015-08-08 01:16:33] 739*2^1405655-1 is not prime. Res64: C091BA3E78FACF13 Time : 0.0 sec. user=mdettweiler [2015-08-08 01:18:25] 829*2^1405655-1 is not prime. Res64: AD5819F9EB07DA2C Time : 0.0 sec. user=mdettweiler [2015-08-08 01:18:25] 861*2^1405655-1 is not prime. Res64: 9E8E932E6E274EE6 Time : 0.0 sec. user=mdettweiler [2015-08-08 01:18:44] 865*2^1405655-1 is not prime. Res64: 300203772E80E8CE Time : 0.0 sec. user=mdettweiler [2015-08-08 01:18:45] 969*2^1405655-1 is not prime. Res64: B2D8E66A78841EAF Time : 0.0 sec. user=mdettweiler [2015-08-08 01:33:56] 695*2^1405656-1 is not prime. Res64: 0AA27E36E4730A46 Time : 0.0 sec. user=mdettweiler [2015-08-08 01:33:57] 717*2^1405656-1 is not prime. Res64: A06FE4772A2CEA3C Time : 0.0 sec. user=mdettweiler [2015-08-08 01:36:00] 725*2^1405656-1 is not prime. Res64: 885759BCBA871A2A Time : 0.0 sec. user=mdettweiler [2015-08-08 01:36:01] 779*2^1405656-1 is not prime. Res64: D2174C1935E0A3E7 Time : 0.0 sec. user=mdettweiler [2015-08-08 01:37:50] 825*2^1405656-1 is not prime. Res64: 5205250E7F28778E Time : 0.0 sec. user=mdettweiler [2015-08-08 01:37:50] 857*2^1405656-1 is not prime. Res64: 646D626DB2107F81 Time : 0.0 sec. user=mdettweiler [2015-08-08 01:38:12] 903*2^1405656-1 is not prime. Res64: 027470FC61D27E56 Time : 0.0 sec. user=mdettweiler [2015-08-08 01:38:12] 923*2^1405656-1 is not prime. Res64: 82982C71D1252795 Time : 0.0 sec. user=mdettweiler [2015-08-08 01:53:15] 601*2^1405657-1 is not prime. Res64: 56B9DC3BF2AC0FA6 Time : 0.0 sec. user=mdettweiler [2015-08-08 01:53:15] 777*2^1405657-1 is not prime. Res64: 9DD03E160FF05B07 Time : 0.0 sec. user=mdettweiler [2015-08-08 01:55:24] 849*2^1405657-1 is not prime. Res64: 88DADC3C72CE2EFE Time : 0.0 sec. user=mdettweiler [2015-08-08 01:55:25] 955*2^1405657-1 is not prime. Res64: FBA55406599E1FAE Time : 0.0 sec. user=mdettweiler [2015-08-08 01:56:58] 603*2^1405658-1 is not prime. Res64: 337899AD298FE6B2 Time : 0.0 sec. user=mdettweiler [2015-08-08 01:56:58] 665*2^1405658-1 is not prime. Res64: 89DCD431D9868869 Time : 0.0 sec. user=mdettweiler [2015-08-08 01:57:24] 671*2^1405658-1 is not prime. Res64: 7F37BF8F9C28C6A0 Time : 0.0 sec. user=mdettweiler [2015-08-08 01:57:24] 683*2^1405658-1 is not prime. Res64: BB59880976D32DE1 Time : 0.0 sec. user=S_K_ [2015-08-08 01:59:17] 983*2^1405654-1 is not prime. Res64: 25D6A7652E44DD49 Time : 0.0 sec. user=mdettweiler [2015-08-08 02:12:25] 801*2^1405658-1 is not prime. Res64: 1267C7EFD2E749CA Time : 0.0 sec. user=mdettweiler [2015-08-08 02:12:25] 941*2^1405658-1 is not prime. Res64: 6809DEB77DC69434 Time : 0.0 sec. user=mdettweiler [2015-08-08 02:14:36] 995*2^1405658-1 is not prime. Res64: 85ADBE4CE756B866 Time : 0.0 sec. user=mdettweiler [2015-08-08 02:14:37] 619*2^1405659-1 is not prime. Res64: 29E3DDB3FC681D15 Time : 0.0 sec. user=mdettweiler [2015-08-08 02:15:51] 709*2^1405659-1 is not prime. Res64: 5A0AE748E558852B Time : 0.0 sec. user=mdettweiler [2015-08-08 02:15:52] 751*2^1405659-1 is not prime. Res64: 71FE169089CF375E Time : 0.0 sec. user=mdettweiler [2015-08-08 02:16:32] 793*2^1405659-1 is not prime. Res64: BFF1FF4EBCB2FD4E Time : 0.0 sec. user=mdettweiler [2015-08-08 02:16:32] 873*2^1405659-1 is not prime. Res64: A1F6403D75CC360A Time : 0.0 sec. user=mdettweiler [2015-08-08 02:31:09] 905*2^1405660-1 is not prime. Res64: 344D889D592A9A0E Time : 0.0 sec. user=mdettweiler [2015-08-08 02:31:09] 909*2^1405660-1 is not prime. Res64: E256259EF5CD7183 Time : 0.0 sec. user=mdettweiler [2015-08-08 02:33:10] 927*2^1405660-1 is not prime. Res64: FE0FF5B8EB774EF6 Time : 0.0 sec. user=mdettweiler [2015-08-08 02:33:10] 983*2^1405660-1 is not prime. Res64: D603AE580FDB6019 Time : 0.0 sec. user=mdettweiler [2015-08-08 02:34:04] 999*2^1405660-1 is not prime. Res64: 608F62A2256530FF Time : 0.0 sec. user=mdettweiler [2015-08-08 02:34:04] 717*2^1405661-1 is not prime. Res64: 9F3AC5041A7794A6 Time : 0.0 sec. user=mdettweiler [2015-08-08 02:34:53] 769*2^1405661-1 is not prime. Res64: 3A3E4897191E466D Time : 0.0 sec. user=mdettweiler [2015-08-08 02:34:53] 861*2^1405661-1 is not prime. Res64: F2A46A8C130760D5 Time : 0.0 sec. user=mdettweiler [2015-08-08 02:50:39] 885*2^1405661-1 is not prime. Res64: 99109A89B0F1010A Time : 0.0 sec. user=mdettweiler [2015-08-08 02:50:39] 907*2^1405661-1 is not prime. Res64: 7CDB5047D30166A0 Time : 0.0 sec. user=mdettweiler [2015-08-08 02:52:24] 937*2^1405661-1 is not prime. Res64: 2D25870E4379B4E3 Time : 0.0 sec. user=mdettweiler [2015-08-08 02:52:24] 939*2^1405661-1 is not prime. Res64: 8B52F7F180FCBD96 Time : 0.0 sec. user=mdettweiler [2015-08-08 02:53:24] 945*2^1405661-1 is not prime. Res64: ACDD8827BE747C8C Time : 0.0 sec. user=mdettweiler [2015-08-08 02:53:24] 981*2^1405661-1 is not prime. Res64: 7C54D2B86BE7FCE7 Time : 0.0 sec. user=mdettweiler [2015-08-08 02:54:17] 621*2^1405662-1 is not prime. Res64: 542FFFDEA0A79690 Time : 0.0 sec. user=mdettweiler [2015-08-08 02:54:18] 627*2^1405662-1 is not prime. Res64: 8E213AD4D766D60A Time : 0.0 sec. user=mdettweiler [2015-08-08 03:08:33] 755*2^1405662-1 is not prime. Res64: 28D988B9130A1B68 Time : 0.0 sec. user=mdettweiler [2015-08-08 03:08:33] 767*2^1405662-1 is not prime. Res64: 7FD37A536066FB84 Time : 0.0 sec. user=mdettweiler [2015-08-08 03:10:09] 797*2^1405662-1 is not prime. Res64: 03455BD2A2B1D080 Time : 0.0 sec. user=mdettweiler [2015-08-08 03:10:11] 893*2^1405662-1 is not prime. Res64: CE5CF27BEFA9396F Time : 0.0 sec. user=mdettweiler [2015-08-08 03:11:20] 703*2^1405663-1 is not prime. Res64: DA5EB99036255085 Time : 0.0 sec. user=mdettweiler [2015-08-08 03:11:22] 789*2^1405663-1 is not prime. Res64: DF5CAC052FA0A6AA Time : 0.0 sec. user=mdettweiler [2015-08-08 03:12:05] 873*2^1405663-1 is not prime. Res64: DE22AAC8FE5BE66D Time : 0.0 sec. user=mdettweiler [2015-08-08 03:12:05] 891*2^1405663-1 is not prime. Res64: 9485B58E60309504 Time : 0.0 sec. user=S_K_ [2015-08-08 03:12:30] 895*2^1405659-1 is not prime. Res64: 5ABB0EF26F5E6909 Time : 0.0 sec. user=mdettweiler [2015-08-08 03:27:32] 609*2^1405664-1 is not prime. Res64: AFD360AC69B8DB9D Time : 0.0 sec. user=mdettweiler [2015-08-08 03:27:33] 665*2^1405664-1 is not prime. Res64: 1ADE1AA8D39BCD50 Time : 0.0 sec. user=mdettweiler [2015-08-08 03:29:56] 675*2^1405664-1 is not prime. Res64: FD267EAA5B178952 Time : 0.0 sec. user=mdettweiler [2015-08-08 03:29:57] 767*2^1405664-1 is not prime. Res64: 508DE4A6F6E30919 Time : 0.0 sec. user=mdettweiler [2015-08-08 03:30:13] 819*2^1405664-1 is not prime. Res64: 6FE3B3C79B2FF4B7 Time : 0.0 sec. user=mdettweiler [2015-08-08 03:30:14] 833*2^1405664-1 is not prime. Res64: 4FC31F9FD530DB10 Time : 0.0 sec. user=mdettweiler [2015-08-08 03:30:54] 945*2^1405664-1 is not prime. Res64: F00D6BAEB38F3AD5 Time : 0.0 sec. user=mdettweiler [2015-08-08 03:30:55] 957*2^1405664-1 is not prime. Res64: 0829B3BE1BADD442 Time : 0.0 sec. user=mdettweiler [2015-08-08 03:45:41] 601*2^1405665-1 is not prime. Res64: 58DB6B1291F25E89 Time : 0.0 sec. user=mdettweiler [2015-08-08 03:45:43] 679*2^1405665-1 is not prime. Res64: F75913C874D36B32 Time : 0.0 sec. user=mdettweiler [2015-08-08 03:48:00] 811*2^1405665-1 is not prime. Res64: ADB25B36241EAE15 Time : 0.0 sec. user=mdettweiler [2015-08-08 03:48:01] 861*2^1405665-1 is not prime. Res64: DF30E7C93DC81938 Time : 0.0 sec. user=mdettweiler [2015-08-08 03:48:02] 843*2^1405666-1 is not prime. Res64: 44429EEEC1D0E1D7 Time : 0.0 sec. user=mdettweiler [2015-08-08 03:48:03] 867*2^1405666-1 is not prime. Res64: 16EB181E1D84FC59 Time : 0.0 sec. user=mdettweiler [2015-08-08 03:48:46] 881*2^1405666-1 is not prime. Res64: FF2CB92AD9F6A0FD Time : 0.0 sec. user=mdettweiler [2015-08-08 03:48:46] 887*2^1405666-1 is not prime. Res64: 32DA400AEBA98941 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:03:45] 733*2^1405667-1 is not prime. Res64: 022C5F93FDF0BAF4 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:03:47] 753*2^1405667-1 is not prime. Res64: 90CA2B330B6BDEDB Time : 0.0 sec. user=mdettweiler [2015-08-08 04:05:56] 647*2^1405668-1 is not prime. Res64: 473B8DBA304D44CE Time : 0.0 sec. user=mdettweiler [2015-08-08 04:05:58] 707*2^1405668-1 is not prime. Res64: 521658E364AEF755 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:06:00] 889*2^1405667-1 is not prime. Res64: 436DFB3F36987C2C Time : 0.0 sec. user=mdettweiler [2015-08-08 04:06:04] 629*2^1405668-1 is not prime. Res64: 920DB10D50DAAF5D Time : 0.0 sec. user=mdettweiler [2015-08-08 04:06:50] 773*2^1405668-1 is not prime. Res64: F19044DFD818DB50 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:06:52] 803*2^1405668-1 is not prime. Res64: 4E07FA5D0AF27A1E Time : 0.0 sec. user=mdettweiler [2015-08-08 04:21:58] 845*2^1405668-1 is not prime. Res64: 5C7BE56960E6B054 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:21:58] 619*2^1405669-1 is not prime. Res64: 44816C3B22B38573 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:23:57] 751*2^1405669-1 is not prime. Res64: 2C4B7A2AE36D1AC6 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:23:57] 769*2^1405669-1 is not prime. Res64: 098F139509284615 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:23:58] 675*2^1405669-1 is not prime. Res64: 90E1EBE97B9511C4 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:23:58] 681*2^1405669-1 is not prime. Res64: 19FE156245767A68 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:24:39] 999*2^1405669-1 is not prime. Res64: 05C684E832AD06A5 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:24:39] 645*2^1405670-1 is not prime. Res64: 98BB6EDD318A0319 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:39:44] 843*2^1405670-1 is not prime. Res64: 310523F8574B5E3E Time : 0.0 sec. user=mdettweiler [2015-08-08 04:39:44] 941*2^1405670-1 is not prime. Res64: 1C88E1372738CF93 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:41:39] 723*2^1405671-1 is not prime. Res64: 6F7488FA74B073C0 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:41:40] 745*2^1405671-1 is not prime. Res64: 82243952502B740F Time : 0.0 sec. user=mdettweiler [2015-08-08 04:41:41] 945*2^1405670-1 is not prime. Res64: 2832E67899BCB970 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:41:42] 709*2^1405671-1 is not prime. Res64: 1AD595E25961523E Time : 0.0 sec. user=mdettweiler [2015-08-08 04:42:20] 793*2^1405671-1 is not prime. Res64: 4E24DA653B728199 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:42:20] 945*2^1405671-1 is not prime. Res64: 71B4D49F3E381361 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:57:35] 955*2^1405671-1 is not prime. Res64: 2C5F3C1650FF60B7 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:57:35] 999*2^1405671-1 is not prime. Res64: 762E45B3E91592AC Time : 0.0 sec. user=mdettweiler [2015-08-08 04:59:24] 617*2^1405672-1 is not prime. Res64: E28A1DF08BF3E8A1 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:59:25] 639*2^1405672-1 is not prime. Res64: 96393D094BB5049F Time : 0.0 sec. user=mdettweiler [2015-08-08 04:59:32] 687*2^1405672-1 is not prime. Res64: CFC44B3FCF1DD8A4 Time : 0.0 sec. user=mdettweiler [2015-08-08 04:59:32] 765*2^1405672-1 is not prime. Res64: EA4006BAD7522C0F Time : 0.0 sec. user=mdettweiler [2015-08-08 05:00:12] 779*2^1405672-1 is not prime. Res64: 65728FE5EE7C7CD2 Time : 0.0 sec. user=mdettweiler [2015-08-08 05:00:12] 827*2^1405672-1 is not prime. Res64: 28C06FEEB624430D Time : 0.0 sec. user=mdettweiler [2015-08-08 05:15:28] 873*2^1405672-1 is not prime. Res64: 6EB173D3CE17DE72 Time : 0.0 sec. user=mdettweiler [2015-08-08 05:15:28] 915*2^1405672-1 is not prime. Res64: E12EB75BA0D2ED6E Time : 0.0 sec. user=mdettweiler [2015-08-08 05:17:13] 615*2^1405673-1 is not prime. Res64: 7E17F91DE33D0D14 Time : 0.0 sec. user=mdettweiler [2015-08-08 05:17:14] 669*2^1405673-1 is not prime. Res64: 806E1B0907595FF9 Time : 0.0 sec. user=mdettweiler [2015-08-08 05:17:26] 691*2^1405673-1 is not prime. Res64: 83A3DA9D930FC5A3 Time : 0.0 sec. user=mdettweiler [2015-08-08 05:17:26] 699*2^1405673-1 is not prime. Res64: EFA06EC3D27B81FB Time : 0.0 sec. user=mdettweiler [2015-08-08 05:17:54] 729*2^1405673-1 is not prime. Res64: EC1E46DF5B567CA7 Time : 0.0 sec. user=mdettweiler [2015-08-08 05:17:54] 769*2^1405673-1 is not prime. Res64: 663E298AFA9ECDCB Time : 0.0 sec. user=mdettweiler [2015-08-08 05:33:20] 829*2^1405673-1 is not prime. Res64: 37E83B89754453A9 Time : 0.0 sec. user=mdettweiler [2015-08-08 05:33:20] 855*2^1405673-1 is not prime. Res64: A7E5E79D7B40685A Time : 0.0 sec. user=mdettweiler [2015-08-08 05:35:01] 981*2^1405673-1 is not prime. Res64: B065B26760C133A4 Time : 0.0 sec. user=mdettweiler [2015-08-08 05:35:01] 641*2^1405674-1 is not prime. Res64: 7E3B30FD1385CC35 Time : 0.0 sec. user=mdettweiler [2015-08-08 05:35:12] 803*2^1405674-1 is not prime. Res64: A871AD69540F33DA Time : 0.0 sec. user=mdettweiler [2015-08-08 05:35:12] 851*2^1405674-1 is not prime. Res64: 3D3C5CC696064FCA Time : 0.0 sec. user=mdettweiler [2015-08-08 05:35:41] 861*2^1405674-1 is not prime. Res64: 917D1BB5D1F25358 Time : 0.0 sec. user=mdettweiler [2015-08-08 05:35:41] 927*2^1405674-1 is not prime. Res64: 8346E05513331FDB Time : 0.0 sec. user=mdettweiler [2015-08-08 05:51:18] 945*2^1405674-1 is not prime. Res64: 7EBC568FE000DA03 Time : 0.0 sec. user=mdettweiler [2015-08-08 05:51:18] 971*2^1405674-1 is not prime. Res64: C1B19785F6C6C93D Time : 0.0 sec. user=mdettweiler [2015-08-08 05:52:40] 631*2^1405675-1 is not prime. Res64: AB77C28828EB0F87 Time : 0.0 sec. user=mdettweiler [2015-08-08 05:52:40] 663*2^1405675-1 is not prime. Res64: 7FAE69713E34B7DA Time : 0.0 sec. user=mdettweiler [2015-08-08 05:52:59] 759*2^1405675-1 is not prime. Res64: 16C5763C2F6950C8 Time : 0.0 sec. user=mdettweiler [2015-08-08 05:52:59] 647*2^1405676-1 is not prime. Res64: 09C8DAA878BF8EFF Time : 0.0 sec. user=mdettweiler [2015-08-08 05:53:22] 659*2^1405676-1 is not prime. Res64: 82F4CE8722F890B4 Time : 0.0 sec. user=mdettweiler [2015-08-08 05:53:22] 683*2^1405676-1 is not prime. Res64: EF95E848682D0F07 Time : 0.0 sec. user=mdettweiler [2015-08-08 06:09:13] 707*2^1405676-1 is not prime. Res64: DFF8B8B01BED3AF5 Time : 0.0 sec. user=mdettweiler [2015-08-08 06:09:14] 717*2^1405676-1 is not prime. Res64: 14A207A55793CA3C Time : 0.0 sec. user=mdettweiler [2015-08-08 06:10:30] 755*2^1405676-1 is not prime. Res64: 634C70A488CA8B26 Time : 0.0 sec. user=mdettweiler [2015-08-08 06:10:31] 777*2^1405676-1 is not prime. Res64: D74EE73FFB08D812 Time : 0.0 sec. user=mdettweiler [2015-08-08 06:10:49] 927*2^1405676-1 is not prime. Res64: F28CE68B6917FBEB Time : 0.0 sec. user=mdettweiler [2015-08-08 06:10:50] 655*2^1405677-1 is not prime. Res64: A81393AF5DC2D967 Time : 0.0 sec. user=mdettweiler [2015-08-08 06:11:14] 709*2^1405677-1 is not prime. Res64: 5FD5FB7FFBDD849E Time : 0.0 sec. user=mdettweiler [2015-08-08 06:11:15] 751*2^1405677-1 is not prime. Res64: FA22E82CD744668C Time : 0.0 sec. user=mdettweiler [2015-08-08 06:27:10] 937*2^1405677-1 is not prime. Res64: 0A2541DF93754400 Time : 0.0 sec. user=mdettweiler [2015-08-08 06:27:11] 897*2^1405678-1 is not prime. Res64: 97315CBE869944A1 Time : 0.0 sec. user=mdettweiler [2015-08-08 06:28:17] 619*2^1405679-1 is not prime. Res64: BEFAF71AF7F3AC85 Time : 0.0 sec. user=mdettweiler [2015-08-08 06:28:17] 685*2^1405679-1 is not prime. Res64: 4E91678BCB8E7440 Time : 0.0 sec. user=mdettweiler [2015-08-08 06:28:43] 705*2^1405679-1 is not prime. Res64: 613A39925BD0D32A Time : 0.0 sec. user=mdettweiler [2015-08-08 06:28:43] 811*2^1405679-1 is not prime. Res64: F3A0B36C1DDDB714 Time : 0.0 sec. user=mdettweiler [2015-08-08 06:29:05] 855*2^1405679-1 is not prime. Res64: 15CFA532B4C86643 Time : 0.0 sec. user=mdettweiler [2015-08-08 06:29:05] 955*2^1405679-1 is not prime. Res64: 561CC4E06CD2C21F Time : 0.0 sec. user=mdettweiler [2015-08-08 06:45:03] 609*2^1405680-1 is not prime. Res64: 10354B9315D20848 Time : 0.0 sec. user=mdettweiler [2015-08-08 06:45:03] 699*2^1405680-1 is not prime. Res64: 964DF3190961A497 Time : 0.0 sec. user=mdettweiler [2015-08-08 06:46:04] 713*2^1405680-1 is not prime. Res64: 3392DA2D0F566D87 Time : 0.0 sec. user=mdettweiler [2015-08-08 06:46:04] 737*2^1405680-1 is not prime. Res64: D30827D4BAADB4BC Time : 0.0 sec. user=mdettweiler [2015-08-08 06:46:33] 753*2^1405680-1 is not prime. Res64: F42A92FBBB614D2B Time : 0.0 sec. user=mdettweiler [2015-08-08 06:46:33] 797*2^1405680-1 is not prime. Res64: BD9950056E7A9667 Time : 0.0 sec. user=mdettweiler [2015-08-08 06:46:51] 825*2^1405680-1 is not prime. Res64: 7211D95C34CDF31E Time : 0.0 sec. user=mdettweiler [2015-08-08 06:46:51] 843*2^1405680-1 is not prime. Res64: 4860ABFA96D00116 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:02:51] 875*2^1405680-1 is not prime. Res64: 425580CFABC042A0 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:02:52] 899*2^1405680-1 is not prime. Res64: 326C715E4B6712A3 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:03:50] 607*2^1405681-1 is not prime. Res64: 2F84544B986BC1C7 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:03:51] 649*2^1405681-1 is not prime. Res64: 4C69DD1AEB4A505B Time : 0.0 sec. user=mdettweiler [2015-08-08 07:04:24] 685*2^1405681-1 is not prime. Res64: 1340CD7EEA8EC912 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:04:25] 691*2^1405681-1 is not prime. Res64: 2845BF4A2C7C25CC Time : 0.0 sec. user=mdettweiler [2015-08-08 07:04:36] 861*2^1405681-1 is not prime. Res64: 71737669B71459D4 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:04:37] 945*2^1405681-1 is not prime. Res64: FF0E76277DCC13E2 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:21:01] 955*2^1405681-1 is not prime. Res64: 1169156E4AC23F9A Time : 0.0 sec. user=mdettweiler [2015-08-08 07:21:01] 987*2^1405681-1 is not prime. Res64: 8431F48798294756 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:21:35] 623*2^1405682-1 is not prime. Res64: 7F909AD105CB04CE Time : 0.0 sec. user=mdettweiler [2015-08-08 07:21:36] 801*2^1405682-1 is not prime. Res64: D4F19929CDEBDAAC Time : 0.0 sec. user=mdettweiler [2015-08-08 07:22:14] 957*2^1405682-1 is not prime. Res64: F590E37A5C13BCF8 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:22:14] 995*2^1405682-1 is not prime. Res64: BD3C05261FA1A9B2 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:22:26] 613*2^1405683-1 is not prime. Res64: 3B261FE0195B8C02 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:22:26] 619*2^1405683-1 is not prime. Res64: B36AE40A5DF71168 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:38:58] 643*2^1405683-1 is not prime. Res64: F5EDCD29E573A019 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:38:59] 663*2^1405683-1 is not prime. Res64: 8115440B01E69C77 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:39:30] 705*2^1405683-1 is not prime. Res64: ABA0659C32169A60 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:39:30] 801*2^1405683-1 is not prime. Res64: 410052EF132ADE0D Time : 0.0 sec. user=mdettweiler [2015-08-08 07:40:01] 805*2^1405683-1 is not prime. Res64: 689E0B540AE2CD36 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:40:01] 823*2^1405683-1 is not prime. Res64: 8B310E4EFA2B38B8 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:40:29] 825*2^1405683-1 is not prime. Res64: E74EBB2BBF66FFCA Time : 0.0 sec. user=mdettweiler [2015-08-08 07:40:29] 859*2^1405683-1 is not prime. Res64: 5860F2D345C3055F Time : 0.0 sec. user=mdettweiler [2015-08-08 07:56:45] 895*2^1405683-1 is not prime. Res64: 5C6642D90BB8D160 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:56:45] 913*2^1405683-1 is not prime. Res64: 294F7889412701EC Time : 0.0 sec. user=mdettweiler [2015-08-08 07:57:10] 943*2^1405683-1 is not prime. Res64: FE8FBF2FFCE0B82C Time : 0.0 sec. user=mdettweiler [2015-08-08 07:57:11] 623*2^1405684-1 is not prime. Res64: 649FF333958C3493 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:57:50] 675*2^1405684-1 is not prime. Res64: 180259F97CFE8A34 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:57:50] 705*2^1405684-1 is not prime. Res64: 7F82603095FCBF8A Time : 0.0 sec. user=mdettweiler [2015-08-08 07:58:11] 825*2^1405684-1 is not prime. Res64: 961A23ACDFDAF0F1 Time : 0.0 sec. user=mdettweiler [2015-08-08 07:58:11] 863*2^1405684-1 is not prime. Res64: 1FC643C5A68D3D92 Time : 0.0 sec. user=mdettweiler [2015-08-08 08:14:48] 969*2^1405684-1 is not prime. Res64: 18B07E71F968BD50 Time : 0.0 sec. user=mdettweiler [2015-08-08 08:14:49] 989*2^1405684-1 is not prime. Res64: 8B01DD21552023BD Time : 0.0 sec. user=mdettweiler [2015-08-08 08:15:09] 619*2^1405685-1 is not prime. Res64: E13E8902A2001543 Time : 0.0 sec. user=mdettweiler [2015-08-08 08:15:10] 691*2^1405685-1 is not prime. Res64: C9FADF7D604FDD1B Time : 0.0 sec. user=mdettweiler [2015-08-08 08:15:40] 741*2^1405685-1 is not prime. Res64: 9CA600D88DA24823 Time : 0.0 sec. user=mdettweiler [2015-08-08 08:15:41] 819*2^1405685-1 is not prime. Res64: 761629C4CE87FAC1 Time : 0.0 sec. user=mdettweiler [2015-08-08 08:16:04] 865*2^1405685-1 is not prime. Res64: 821F7889FAA22B8A Time : 0.0 sec. user=mdettweiler [2015-08-08 08:16:05] 897*2^1405685-1 is not prime. Res64: F8CF8AAD2F16707D Time : 0.0 sec. user=mdettweiler [2015-08-08 08:32:39] 939*2^1405685-1 is not prime. Res64: 85F105C96096A9EE Time : 0.0 sec. user=mdettweiler [2015-08-08 08:32:39] 923*2^1405686-1 is not prime. Res64: 5368E2241DCFD63A Time : 0.0 sec. user=mdettweiler [2015-08-08 08:33:02] 729*2^1405687-1 is not prime. Res64: 8BD49041BE1690F7 Time : 0.0 sec. user=mdettweiler [2015-08-08 08:33:02] 919*2^1405687-1 is not prime. Res64: 71C1E46F9DDA7264 Time : 0.0 sec. user=mdettweiler [2015-08-08 08:33:32] 623*2^1405688-1 is not prime. Res64: 857020B58CEB84BE Time : 0.0 sec. user=mdettweiler [2015-08-08 08:33:32] 665*2^1405688-1 is not prime. Res64: 72994F64F087E781 Time : 0.0 sec. user=mdettweiler [2015-08-08 08:33:50] 683*2^1405688-1 is not prime. Res64: B17D8A06CF8E9B18 Time : 0.0 sec. user=mdettweiler [2015-08-08 08:33:50] 747*2^1405688-1 is not prime. Res64: 7C7BE7A4450EAE6A Time : 0.0 sec. user=mdettweiler [2015-08-08 08:50:23] 777*2^1405688-1 is not prime. Res64: 9CB1955CB5C7CE07 Time : 0.0 sec. user=mdettweiler [2015-08-08 08:50:23] 813*2^1405688-1 is not prime. Res64: 56AA3BDA111C4330 Time : 0.0 sec. user=mdettweiler [2015-08-08 08:50:49] 923*2^1405688-1 is not prime. Res64: 2D9633ACA2E15B4C Time : 0.0 sec. user=mdettweiler [2015-08-08 08:50:50] 681*2^1405689-1 is not prime. Res64: 094E14A031F8D001 Time : 0.0 sec. user=mdettweiler [2015-08-08 08:51:15] 747*2^1405689-1 is not prime. Res64: D5C1DC1344EDEF89 Time : 0.0 sec. user=mdettweiler [2015-08-08 08:51:15] 781*2^1405689-1 is not prime. Res64: 334CB1E70A6B8F58 Time : 0.0 sec. user=mdettweiler [2015-08-08 08:51:34] 817*2^1405689-1 is not prime. Res64: 270DE8B7BDF51D3C Time : 0.0 sec. user=mdettweiler [2015-08-08 08:51:34] 847*2^1405689-1 is not prime. Res64: BC45C655270808CD Time : 0.0 sec. user=mdettweiler [2015-08-08 09:08:17] 865*2^1405689-1 is not prime. Res64: CC62304134BD4FC3 Time : 0.0 sec. user=mdettweiler [2015-08-08 09:08:17] 889*2^1405689-1 is not prime. Res64: F45D282FDE6488A0 Time : 0.0 sec. user=mdettweiler [2015-08-08 09:08:31] 951*2^1405689-1 is not prime. Res64: 6DA788B4DEA86903 Time : 0.0 sec. user=mdettweiler [2015-08-08 09:08:31] 623*2^1405690-1 is not prime. Res64: 9F478096C41C1001 Time : 0.0 sec. user=mdettweiler [2015-08-08 09:09:00] 677*2^1405690-1 is not prime. Res64: DB0A6688253496AE Time : 0.0 sec. user=mdettweiler [2015-08-08 09:09:01] 735*2^1405690-1 is not prime. Res64: F5B1EDD1B5A68DCC Time : 0.0 sec. user=mdettweiler [2015-08-08 09:09:21] 603*2^1405691-1 is not prime. Res64: 1B93F5561C24D8CA Time : 0.0 sec. user=mdettweiler [2015-08-08 09:09:22] 621*2^1405691-1 is not prime. Res64: 0861B9427CA0B32F Time : 0.0 sec. user=mdettweiler [2015-08-08 09:26:13] 775*2^1405691-1 is not prime. Res64: 12111E725C3F49D7 Time : 0.0 sec. user=mdettweiler [2015-08-08 09:26:13] 979*2^1405691-1 is not prime. Res64: DC0D1BB2A533493D Time : 0.0 sec. user=mdettweiler [2015-08-08 09:26:16] 605*2^1405692-1 is not prime. Res64: D9B8BC7BCB938D66 Time : 0.0 sec. user=mdettweiler [2015-08-08 09:26:17] 689*2^1405692-1 is not prime. Res64: F5885CE47C354B15 Time : 0.0 sec. user=mdettweiler [2015-08-08 09:26:47] 749*2^1405692-1 is not prime. Res64: 5E180451B1103AC7 Time : 0.0 sec. user=mdettweiler [2015-08-08 09:26:47] 797*2^1405692-1 is not prime. Res64: BEB333702A709373 Time : 0.0 sec. user=mdettweiler [2015-08-08 09:27:21] 899*2^1405692-1 is not prime. Res64: 528926020914CC12 Time : 0.0 sec. user=mdettweiler [2015-08-08 09:27:21] 977*2^1405692-1 is not prime. Res64: 88DF20E0E44D4C65 Time : 0.0 sec. user=mdettweiler [2015-08-08 09:44:05] 639*2^1405693-1 is not prime. Res64: 8815D3D00A90CB97 Time : 0.0 sec. user=mdettweiler [2015-08-08 09:44:05] 679*2^1405693-1 is not prime. Res64: 1A244AD88D50C20D Time : 0.0 sec. user=mdettweiler [2015-08-08 09:44:07] 727*2^1405693-1 is not prime. Res64: 250AA816B40FED00 Time : 0.0 sec. user=mdettweiler [2015-08-08 09:44:07] 745*2^1405693-1 is not prime. Res64: 9D865A6421065268 Time : 0.0 sec. user=mdettweiler [2015-08-08 09:44:39] 885*2^1405693-1 is not prime. Res64: D445650FB8DDFF16 Time : 0.0 sec. user=mdettweiler [2015-08-08 09:44:39] 915*2^1405693-1 is not prime. Res64: C7DF5BDE5DFFF497 Time : 0.0 sec. user=mdettweiler [2015-08-08 09:45:08] 919*2^1405693-1 is not prime. Res64: 10F21E3821A7D199 Time : 0.0 sec. user=mdettweiler [2015-08-08 09:45:08] 955*2^1405693-1 is not prime. Res64: C29B18C74B24D48F Time : 0.0 sec. user=mdettweiler [2015-08-08 10:01:59] 605*2^1405694-1 is not prime. Res64: 45DCDCD43C21510F Time : 0.0 sec. user=mdettweiler [2015-08-08 10:02:00] 615*2^1405694-1 is not prime. Res64: 9A072DE27739CC23 Time : 0.0 sec. user=mdettweiler [2015-08-08 10:02:02] 675*2^1405694-1 is not prime. Res64: F837D247D73567F4 Time : 0.0 sec. user=mdettweiler [2015-08-08 10:02:04] 791*2^1405694-1 is not prime. Res64: BFD1B573B6B0DCEC Time : 0.0 sec. user=mdettweiler [2015-08-08 10:02:39] 797*2^1405694-1 is not prime. Res64: FB12E9CEBD262A2F Time : 0.0 sec. user=mdettweiler [2015-08-08 10:02:39] 903*2^1405694-1 is not prime. Res64: 82137FD2084A31E6 Time : 0.0 sec. user=mdettweiler [2015-08-08 10:02:54] 915*2^1405694-1 is not prime. Res64: 9777E5866053312F Time : 0.0 sec. user=mdettweiler [2015-08-08 10:02:56] 923*2^1405694-1 is not prime. Res64: E5DBA94F39EF37F2 Time : 0.0 sec. user=mdettweiler [2015-08-08 10:19:58] 981*2^1405694-1 is not prime. Res64: 68A01CC7D86A30D9 Time : 0.0 sec. user=mdettweiler [2015-08-08 10:19:58] 609*2^1405695-1 is not prime. Res64: 4473C5AB571105FB Time : 0.0 sec. user=mdettweiler [2015-08-08 10:20:01] 965*2^1405694-1 is not prime. Res64: 59EDC1DAAB8F20FC Time : 0.0 sec. user=mdettweiler [2015-08-08 10:20:02] 971*2^1405694-1 is not prime. Res64: 6EBEA10739AE292A Time : 0.0 sec. user=mdettweiler [2015-08-08 10:20:31] 651*2^1405695-1 is not prime. Res64: DF2733E7A6228400 Time : 0.0 sec. user=mdettweiler [2015-08-08 10:20:31] 675*2^1405695-1 is not prime. Res64: 538202B090810B73 Time : 0.0 sec. user=mdettweiler [2015-08-08 10:20:43] 723*2^1405695-1 is not prime. Res64: 689E227DCA62C936 Time : 0.0 sec. user=mdettweiler [2015-08-08 10:20:43] 751*2^1405695-1 is not prime. Res64: D8954B4D0EBD1F2B Time : 0.0 sec. user=mdettweiler [2015-08-08 10:37:41] 831*2^1405695-1 is not prime. Res64: F35CCAE77B0327B3 Time : 0.0 sec. user=mdettweiler [2015-08-08 10:37:41] 859*2^1405695-1 is not prime. Res64: 9C52FAC54A0EECEB Time : 0.0 sec. user=mdettweiler [2015-08-08 10:37:50] 909*2^1405695-1 is not prime. Res64: 17339433DB88A298 Time : 0.0 sec. user=mdettweiler [2015-08-08 10:37:51] 921*2^1405695-1 is not prime. Res64: A77695B186BF97E8 Time : 0.0 sec. user=mdettweiler [2015-08-08 10:38:14] 933*2^1405695-1 is not prime. Res64: 797D9BB65E918808 Time : 0.0 sec. user=mdettweiler [2015-08-08 10:38:14] 985*2^1405695-1 is not prime. Res64: 379D6D9DD060C030 Time : 0.0 sec. user=mdettweiler [2015-08-08 10:38:38] 693*2^1405696-1 is not prime. Res64: D44CCB8871DA8BD5 Time : 0.0 sec. user=mdettweiler [2015-08-08 10:38:39] 717*2^1405696-1 is not prime. Res64: 03A549DE3A04BF1B Time : 0.0 sec. user=mdettweiler [2015-08-08 10:55:24] 755*2^1405696-1 is not prime. Res64: EEFE3FBAD2A9B6CC Time : 0.0 sec. user=mdettweiler [2015-08-08 10:55:25] 857*2^1405696-1 is not prime. Res64: C33EE4836AEFAD39 Time : 0.0 sec. user=mdettweiler [2015-08-08 10:55:36] 869*2^1405696-1 is not prime. Res64: B20C861F8CDCD462 Time : 0.0 sec. user=mdettweiler [2015-08-08 10:55:36] 897*2^1405696-1 is not prime. Res64: F0974076B8FDCA0A Time : 0.0 sec. user=mdettweiler [2015-08-08 10:56:01] 933*2^1405696-1 is not prime. Res64: BFA564DDAB2EE7F4 Time : 0.0 sec. user=mdettweiler [2015-08-08 10:56:02] 777*2^1405697-1 is not prime. Res64: A8DC820CA35871F2 Time : 0.0 sec. user=mdettweiler [2015-08-08 10:56:24] 841*2^1405697-1 is not prime. Res64: 1D0E59394AC47AF7 Time : 0.0 sec. user=mdettweiler [2015-08-08 10:56:24] 865*2^1405697-1 is not prime. Res64: F91208D09728026D Time : 0.0 sec. user=mdettweiler [2015-08-08 11:13:24] 889*2^1405697-1 is not prime. Res64: 354B21B32C9146B2 Time : 0.0 sec. user=mdettweiler [2015-08-08 11:13:25] 627*2^1405698-1 is not prime. Res64: 98FC9D2FD88DD1AA Time : 0.0 sec. user=mdettweiler [2015-08-08 11:13:30] 705*2^1405698-1 is not prime. Res64: 94EDC8236A36B95B Time : 0.0 sec. user=mdettweiler [2015-08-08 11:13:31] 815*2^1405698-1 is not prime. Res64: F1A1F5375D54891C Time : 0.0 sec. user=mdettweiler [2015-08-08 11:13:54] 837*2^1405698-1 is not prime. Res64: 5314890AA0E2728A Time : 0.0 sec. user=mdettweiler [2015-08-08 11:13:57] 915*2^1405698-1 is not prime. Res64: C2BD5DB441C99700 Time : 0.0 sec. user=mdettweiler [2015-08-08 11:14:17] 971*2^1405698-1 is not prime. Res64: 117313C1027093AC Time : 0.0 sec. user=mdettweiler [2015-08-08 11:14:18] 615*2^1405699-1 is not prime. Res64: 016578C4FC1F6452 Time : 0.0 sec. user=mdettweiler [2015-08-08 11:31:22] 771*2^1405699-1 is not prime. Res64: 0E3A76E152E18D4E Time : 0.0 sec. user=mdettweiler [2015-08-08 11:31:22] 909*2^1405699-1 is not prime. Res64: E931045E62895360 Time : 0.0 sec. user=mdettweiler [2015-08-08 11:31:37] 645*2^1405699-1 is not prime. Res64: FCF190AF35A3FA94 Time : 0.0 sec. user=mdettweiler [2015-08-08 11:31:37] 735*2^1405699-1 is not prime. Res64: 8B09184D4EDF3C23 Time : 0.0 sec. user=mdettweiler [2015-08-08 11:31:52] 931*2^1405699-1 is not prime. Res64: 4BCA6BE65522C9E6 Time : 0.0 sec. user=mdettweiler [2015-08-08 11:31:53] 943*2^1405699-1 is not prime. Res64: B5BE0F472E75A6FE Time : 0.0 sec. user=mdettweiler [2015-08-08 11:32:03] 633*2^1405700-1 is not prime. Res64: 84EE66D31043B5B0 Time : 0.0 sec. user=mdettweiler [2015-08-08 11:32:04] 665*2^1405700-1 is not prime. Res64: 2003CF396BC55A57 Time : 0.0 sec. user=mdettweiler [2015-08-08 11:49:21] 797*2^1405700-1 is not prime. Res64: D69529BCD1CA3B06 Time : 0.0 sec. user=mdettweiler [2015-08-08 11:49:22] 845*2^1405700-1 is not prime. Res64: 85A72855E8E35529 Time : 0.0 sec. user=mdettweiler [2015-08-08 11:49:35] 893*2^1405700-1 is not prime. Res64: 63452ACBA021AADB Time : 0.0 sec. user=mdettweiler [2015-08-08 11:49:35] 909*2^1405700-1 is not prime. Res64: C081FD51EA22861A Time : 0.0 sec. user=mdettweiler [2015-08-08 11:49:51] 649*2^1405701-1 is not prime. Res64: 68B77BB1765BF113 Time : 0.0 sec. user=mdettweiler [2015-08-08 11:49:51] 745*2^1405701-1 is not prime. Res64: 6A8C84932C88ADBC Time : 0.0 sec. user=mdettweiler [2015-08-08 11:50:04] 747*2^1405701-1 is not prime. Res64: 96EA79D96AA39855 Time : 0.0 sec. user=mdettweiler [2015-08-08 11:50:04] 811*2^1405701-1 is not prime. Res64: 0596113F9CC1A59E Time : 0.0 sec. user=mdettweiler [2015-08-08 12:07:32] 847*2^1405701-1 is not prime. Res64: 0DD18F2F0EB62D26 Time : 0.0 sec. user=mdettweiler [2015-08-08 12:07:32] 955*2^1405701-1 is not prime. Res64: 200B91E83D90BFE7 Time : 0.0 sec. user=mdettweiler [2015-08-08 12:07:51] 741*2^1405702-1 is not prime. Res64: 01332861D041C130 Time : 0.0 sec. user=mdettweiler [2015-08-08 12:07:51] 881*2^1405702-1 is not prime. Res64: 0A4F47D42F2DE8BC Time : 0.0 sec. user=mdettweiler [2015-08-08 12:08:07] 615*2^1405703-1 is not prime. Res64: 09A043BF649BD9D8 Time : 0.0 sec. user=mdettweiler [2015-08-08 12:08:07] 621*2^1405703-1 is not prime. Res64: 61AD30AEEC87DB14 Time : 0.0 sec. user=mdettweiler [2015-08-08 12:08:10] 703*2^1405703-1 is not prime. Res64: 79835BFB49FE1443 Time : 0.0 sec. user=mdettweiler [2015-08-08 12:08:10] 771*2^1405703-1 is not prime. Res64: 266D67474CEB2AE3 Time : 0.0 sec. user=mdettweiler [2015-08-08 12:26:07] 627*2^1405704-1 is not prime. Res64: 538371DA8DA141CE Time : 0.0 sec. user=mdettweiler [2015-08-08 12:26:08] 675*2^1405704-1 is not prime. Res64: EF8F323B50830635 Time : 0.0 sec. user=mdettweiler [2015-08-08 12:26:18] 719*2^1405704-1 is not prime. Res64: 235A45D2B026615A Time : 0.0 sec. user=mdettweiler [2015-08-08 12:26:18] 929*2^1405704-1 is not prime. Res64: 34D728DD5C728508 Time : 0.0 sec. user=mdettweiler [2015-08-08 12:26:46] 947*2^1405704-1 is not prime. Res64: 95B0298AE1883806 Time : 0.0 sec. user=mdettweiler [2015-08-08 12:26:46] 651*2^1405705-1 is not prime. Res64: 2FCF953B250F2F5F Time : 0.0 sec. user=mdettweiler [2015-08-08 12:26:47] 715*2^1405705-1 is not prime. Res64: CECA77D8C8CEACF1 Time : 0.0 sec. user=mdettweiler [2015-08-08 12:26:47] 729*2^1405705-1 is not prime. Res64: 0B5EE5755A8CCF26 Time : 0.0 sec. user=mdettweiler [2015-08-08 12:44:16] 885*2^1405705-1 is not prime. Res64: 2D611756FD3A9C1E Time : 0.0 sec. user=mdettweiler [2015-08-08 12:44:16] 671*2^1405706-1 is not prime. Res64: DA8AB6009B2FA5F5 Time : 0.0 sec. user=mdettweiler [2015-08-08 12:44:22] 741*2^1405706-1 is not prime. Res64: 476EBC985515A289 Time : 0.0 sec. user=mdettweiler [2015-08-08 12:44:22] 743*2^1405706-1 is not prime. Res64: 82D0F49DDCB46C0E Time : 0.0 sec. user=mdettweiler [2015-08-08 12:44:44] 941*2^1405706-1 is not prime. Res64: 975C2D501283B458 Time : 0.0 sec. user=mdettweiler [2015-08-08 12:44:44] 1001*2^1405706-1 is not prime. Res64: D790FF60390CE14B Time : 0.0 sec. user=mdettweiler [2015-08-08 12:44:52] 851*2^1405706-1 is not prime. Res64: 0E3A315974C21307 Time : 0.0 sec. user=mdettweiler [2015-08-08 12:44:53] 887*2^1405706-1 is not prime. Res64: 9EF33B3AA6B56689 Time : 0.0 sec. user=mdettweiler [2015-08-08 13:03:19] 615*2^1405707-1 is not prime. Res64: 81803916846AE5AE Time : 0.0 sec. user=mdettweiler [2015-08-08 13:03:20] 619*2^1405707-1 is not prime. Res64: F6C9B247E91B7E1D Time : 0.0 sec. user=mdettweiler [2015-08-08 13:03:20] 819*2^1405707-1 is not prime. Res64: 6BECAC1148AD18A5 Time : 0.0 sec. user=mdettweiler [2015-08-08 13:03:21] 835*2^1405707-1 is not prime. Res64: 48F5E32BA6932004 Time : 0.0 sec. user=mdettweiler [2015-08-08 13:03:43] 961*2^1405707-1 is not prime. Res64: EBC547AC3F9FE489 Time : 0.0 sec. user=mdettweiler [2015-08-08 13:03:44] 963*2^1405707-1 is not prime. Res64: 784A72DC38D7CA46 Time : 0.0 sec. user=mdettweiler [2015-08-08 13:03:52] 677*2^1405708-1 is not prime. Res64: CA84B38EEB67AEFF Time : 0.0 sec. user=mdettweiler [2015-08-08 13:03:53] 797*2^1405708-1 is not prime. Res64: E7B41F3032A2E9FF Time : 0.0 sec. user=mdettweiler [2015-08-08 13:21:34] 645*2^1405709-1 is not prime. Res64: 0ED1B4E78A4794EA Time : 0.0 sec. user=mdettweiler [2015-08-08 13:21:34] 827*2^1405708-1 is not prime. Res64: BC1C0B537E3108D1 Time : 0.0 sec. user=mdettweiler [2015-08-08 13:21:34] 657*2^1405709-1 is not prime. Res64: E6C21C545E0545FB Time : 0.0 sec. user=mdettweiler [2015-08-08 13:21:35] 875*2^1405708-1 is not prime. Res64: F85E893F7B42633D Time : 0.0 sec. user=mdettweiler [2015-08-08 13:21:40] 899*2^1405708-1 is not prime. Res64: 99D34C902E2922E9 Time : 0.0 sec. user=mdettweiler [2015-08-08 13:21:41] 969*2^1405708-1 is not prime. Res64: 5CB8099D5E4EEDC4 Time : 0.0 sec. user=mdettweiler [2015-08-08 13:21:50] 745*2^1405709-1 is not prime. Res64: 89E7AB7F51EF8375 Time : 0.0 sec. user=mdettweiler [2015-08-08 13:21:51] 769*2^1405709-1 is not prime. Res64: 5EDF88C4853B6919 Time : 0.0 sec. user=S_K_ [2015-08-08 13:24:51] 819*2^1405703-1 is not prime. Res64: 8BFB0E20FF64FFD5 Time : 0.0 sec. user=mdettweiler [2015-08-08 13:40:33] 963*2^1405710-1 is not prime. Res64: DD6F163DCDF1873E Time : 0.0 sec. user=mdettweiler [2015-08-08 13:40:33] 1001*2^1405710-1 is not prime. Res64: 97AA34E59AE4CE95 Time : 0.0 sec. user=mdettweiler [2015-08-08 13:40:42] 771*2^1405709-1 is not prime. Res64: DC8EEB4A73F2AD5B Time : 0.0 sec. user=mdettweiler [2015-08-08 13:40:42] 787*2^1405709-1 is not prime. Res64: 1D06AAEEAF17719E Time : 0.0 sec. user=mdettweiler [2015-08-08 13:40:49] 741*2^1405710-1 is not prime. Res64: 1F422FCB541A3FBD Time : 0.0 sec. user=mdettweiler [2015-08-08 13:40:49] 957*2^1405710-1 is not prime. Res64: 48FE3BE998FEF94E Time : 0.0 sec. user=mdettweiler [2015-08-08 13:40:56] 603*2^1405711-1 is not prime. Res64: 8D12975944A8A4E8 Time : 0.0 sec. user=mdettweiler [2015-08-08 13:40:56] 609*2^1405711-1 is not prime. Res64: 95AEA5D082BDC770 Time : 0.0 sec. user=mdettweiler [2015-08-08 13:59:29] 745*2^1405711-1 is not prime. Res64: 65A1E7AFFE6910C2 Time : 0.0 sec. user=mdettweiler [2015-08-08 13:59:29] 605*2^1405712-1 is not prime. Res64: 42D33AFD48922E17 Time : 0.0 sec. user=mdettweiler [2015-08-08 13:59:38] 717*2^1405712-1 is not prime. Res64: 90357E8E53BD9C72 Time : 0.0 sec. user=mdettweiler [2015-08-08 13:59:39] 719*2^1405712-1 is not prime. Res64: 02CBB00CED214B5F Time : 0.0 sec. user=mdettweiler [2015-08-08 13:59:59] 683*2^1405712-1 is not prime. Res64: F7E51966AD35472B Time : 0.0 sec. user=mdettweiler [2015-08-08 14:00:00] 687*2^1405712-1 is not prime. Res64: F1C44641ABEB325E Time : 0.0 sec. user=mdettweiler [2015-08-08 14:00:00] 825*2^1405712-1 is not prime. Res64: A69C4129BC218312 Time : 0.0 sec. user=mdettweiler [2015-08-08 14:00:00] 995*2^1405712-1 is not prime. Res64: 3CA10772AF77F315 Time : 0.0 sec. user=S_K_ [2015-08-08 14:02:37] 693*2^1405711-1 is not prime. Res64: 67951DD5EC81E6DD Time : 0.0 sec. user=mdettweiler [2015-08-08 14:18:02] 727*2^1405713-1 is not prime. Res64: A3F534387F976560 Time : 0.0 sec. user=mdettweiler [2015-08-08 14:18:03] 651*2^1405713-1 is not prime. Res64: 7D01A045AF2D3094 Time : 0.0 sec. user=mdettweiler [2015-08-08 14:18:03] 745*2^1405713-1 is not prime. Res64: 5A51EA330A34732E Time : 0.0 sec. user=mdettweiler [2015-08-08 14:18:03] 657*2^1405713-1 is not prime. Res64: F2FB9D234230B7F3 Time : 0.0 sec. user=mdettweiler [2015-08-08 14:18:21] 915*2^1405713-1 is not prime. Res64: D4895632C4C56171 Time : 0.0 sec. user=mdettweiler [2015-08-08 14:18:21] 919*2^1405713-1 is not prime. Res64: F8033E34D1CD0DA5 Time : 0.0 sec. user=mdettweiler [2015-08-08 14:18:29] 747*2^1405713-1 is not prime. Res64: E2A9B94E67512393 Time : 0.0 sec. user=mdettweiler [2015-08-08 14:18:29] 835*2^1405713-1 is not prime. Res64: 8C3D43CF3E9BCEF9 Time : 0.0 sec. user=mdettweiler [2015-08-08 14:35:43] 949*2^1405713-1 is not prime. Res64: C313A7607D040E59 Time : 0.0 sec. user=mdettweiler [2015-08-08 14:35:44] 611*2^1405714-1 is not prime. Res64: 57D800FD76F6CA54 Time : 0.0 sec. user=mdettweiler [2015-08-08 14:35:47] 651*2^1405714-1 is not prime. Res64: F8017363FAE48E1A Time : 0.0 sec. user=mdettweiler [2015-08-08 14:35:47] 705*2^1405714-1 is not prime. Res64: 02CFD0562DC85F58 Time : 0.0 sec. user=mdettweiler [2015-08-08 14:36:04] 723*2^1405714-1 is not prime. Res64: F22A80A42924A3F3 Time : 0.0 sec. user=mdettweiler [2015-08-08 14:36:04] 755*2^1405714-1 is not prime. Res64: 9A04396CE7646F8D Time : 0.0 sec. user=mdettweiler [2015-08-08 14:36:28] 803*2^1405714-1 is not prime. Res64: 858BBB4156B7908F Time : 0.0 sec. user=mdettweiler [2015-08-08 14:36:28] 813*2^1405714-1 is not prime. Res64: 51BC5935634E70E2 Time : 0.0 sec. user=S_K_ [2015-08-08 14:42:40] 937*2^1405713-1 is not prime. Res64: 8CCCF80DC06890CD Time : 0.0 sec. user=mdettweiler [2015-08-08 14:53:32] 609*2^1405715-1 is not prime. Res64: 021C6F3D627D16C3 Time : 0.0 sec. user=mdettweiler [2015-08-08 14:53:33] 663*2^1405715-1 is not prime. Res64: C47679CFECF24D65 Time : 0.0 sec. user=mdettweiler [2015-08-08 14:53:43] 815*2^1405714-1 is not prime. Res64: F285372D41143F1D Time : 0.0 sec. user=mdettweiler [2015-08-08 14:53:43] 915*2^1405714-1 is not prime. Res64: 82721D203CB003C7 Time : 0.0 sec. user=mdettweiler [2015-08-08 14:53:47] 699*2^1405715-1 is not prime. Res64: D4FD20C64BE00833 Time : 0.0 sec. user=mdettweiler [2015-08-08 14:53:48] 909*2^1405715-1 is not prime. Res64: 2C6552924CEF60C9 Time : 0.0 sec. user=mdettweiler [2015-08-08 14:54:19] 705*2^1405716-1 is not prime. Res64: 23285BA9983A1E0E Time : 0.0 sec. user=mdettweiler [2015-08-08 14:54:19] 773*2^1405716-1 is not prime. Res64: 064089FB3C8E8577 Time : 0.0 sec. user=mdettweiler [2015-08-08 15:11:18] 615*2^1405717-1 is not prime. Res64: 45131DAC9AD60C13 Time : 0.0 sec. user=mdettweiler [2015-08-08 15:11:18] 799*2^1405717-1 is not prime. Res64: 578FCA0E5F475B05 Time : 0.0 sec. user=mdettweiler [2015-08-08 15:11:32] 861*2^1405717-1 is not prime. Res64: 29595A6F22628CBE Time : 0.0 sec. user=mdettweiler [2015-08-08 15:11:33] 897*2^1405717-1 is not prime. Res64: 5F20F82457C832AA Time : 0.0 sec. user=mdettweiler [2015-08-08 15:11:37] 939*2^1405717-1 is not prime. Res64: 187314C1A1D578EB Time : 0.0 sec. user=mdettweiler [2015-08-08 15:11:37] 945*2^1405717-1 is not prime. Res64: 87ED4470011CA763 Time : 0.0 sec. user=mdettweiler [2015-08-08 15:12:06] 665*2^1405718-1 is not prime. Res64: A759155A7C9FE532 Time : 0.0 sec. user=mdettweiler [2015-08-08 15:12:06] 687*2^1405718-1 is not prime. Res64: CBDA58C8E8FB6E30 Time : 0.0 sec. user=S_K_ [2015-08-08 15:19:20] 879*2^1405716-1 is not prime. Res64: BBA422BBFDFF2050 Time : 0.0 sec. user=mdettweiler [2015-08-08 15:29:15] 843*2^1405718-1 is not prime. Res64: 56808645A5EA9AF5 Time : 0.0 sec. user=mdettweiler [2015-08-08 15:29:15] 911*2^1405718-1 is not prime. Res64: 98741A93CAB2D43A Time : 0.0 sec. user=mdettweiler [2015-08-08 15:29:19] 953*2^1405718-1 is not prime. Res64: C5ACC6984CE29730 Time : 0.0 sec. user=mdettweiler [2015-08-08 15:29:19] 625*2^1405719-1 is not prime. Res64: FEF44126B02EE43E Time : 0.0 sec. user=mdettweiler [2015-08-08 15:29:32] 633*2^1405719-1 is not prime. Res64: F47339B34DD5C928 Time : 0.0 sec. user=mdettweiler [2015-08-08 15:29:33] 711*2^1405719-1 is not prime. Res64: A1AC18524738B2A3 Time : 0.0 sec. user=mdettweiler [2015-08-08 15:29:53] 723*2^1405719-1 is not prime. Res64: 7E5A0203215A976C Time : 0.0 sec. user=mdettweiler [2015-08-08 15:29:53] 793*2^1405719-1 is not prime. Res64: 530762D1D34952D6 Time : 0.0 sec. user=mdettweiler [2015-08-08 15:47:09] 855*2^1405720-1 is not prime. Res64: BAF3B9194A2394DB Time : 0.0 sec. user=mdettweiler [2015-08-08 15:47:10] 933*2^1405720-1 is not prime. Res64: E7B78C6BE43FF0B0 Time : 0.0 sec. user=mdettweiler [2015-08-08 15:47:15] 795*2^1405719-1 is not prime. Res64: A83C79DAFDDA31D1 Time : 0.0 sec. user=mdettweiler [2015-08-08 15:47:16] 743*2^1405720-1 is not prime. Res64: DA20FD195756E255 Time : 0.0 sec. user=mdettweiler [2015-08-08 15:47:31] 965*2^1405720-1 is not prime. Res64: 2D1E058CAB3648DC Time : 0.0 sec. user=mdettweiler [2015-08-08 15:47:31] 649*2^1405721-1 is not prime. Res64: 45B5BC9BE88D3E6C Time : 0.0 sec. user=mdettweiler [2015-08-08 15:47:53] 685*2^1405721-1 is not prime. Res64: D89D7032CBD60F1F Time : 0.0 sec. user=mdettweiler [2015-08-08 15:47:54] 715*2^1405721-1 is not prime. Res64: 78589A7A21A725A1 Time : 0.0 sec. user=mdettweiler [2015-08-08 16:04:56] 727*2^1405721-1 is not prime. Res64: 31027BBF04558ADE Time : 0.0 sec. user=mdettweiler [2015-08-08 16:04:57] 635*2^1405722-1 is not prime. Res64: 1F157C949C8D65F6 Time : 0.0 sec. user=mdettweiler [2015-08-08 16:05:02] 723*2^1405722-1 is not prime. Res64: E1ED371B9772BF94 Time : 0.0 sec. user=mdettweiler [2015-08-08 16:05:03] 891*2^1405722-1 is not prime. Res64: 877C829144BDE735 Time : 0.0 sec. user=mdettweiler [2015-08-08 16:05:20] 921*2^1405722-1 is not prime. Res64: 568F534FD9CE9C78 Time : 0.0 sec. user=mdettweiler [2015-08-08 16:05:21] 619*2^1405723-1 is not prime. Res64: 38D45BBC5E07492C Time : 0.0 sec. user=mdettweiler [2015-08-08 16:05:42] 673*2^1405723-1 is not prime. Res64: 7FEA1DC54310F0B4 Time : 0.0 sec. user=mdettweiler [2015-08-08 16:05:42] 703*2^1405723-1 is not prime. Res64: E16BB18E6BB88C52 Time : 0.0 sec. user=mdettweiler [2015-08-08 16:23:11] 709*2^1405723-1 is not prime. Res64: 3F3FBCA8D5FE77CA Time : 0.0 sec. user=mdettweiler [2015-08-08 16:23:11] 765*2^1405723-1 is not prime. Res64: A098EB0526452EE7 Time : 0.0 sec. user=mdettweiler [2015-08-08 16:23:15] 819*2^1405723-1 is not prime. Res64: 587B9D842B0A418A Time : 0.0 sec. user=mdettweiler [2015-08-08 16:23:15] 945*2^1405723-1 is not prime. Res64: 457FC9DD3FFC5BE1 Time : 0.0 sec. user=mdettweiler [2015-08-08 16:23:16] 999*2^1405723-1 is not prime. Res64: A71330A4A057621B Time : 0.0 sec. user=mdettweiler [2015-08-08 16:23:16] 635*2^1405724-1 is not prime. Res64: 865F16198D05C11A Time : 0.0 sec. user=mdettweiler [2015-08-08 16:23:33] 743*2^1405724-1 is not prime. Res64: 886D7D5F033A5D34 Time : 0.0 sec. user=mdettweiler [2015-08-08 16:23:33] 875*2^1405724-1 is not prime. Res64: 74D0D3ADA5ADE866 Time : 0.0 sec. user=mdettweiler [2015-08-08 16:41:01] 817*2^1405725-1 is not prime. Res64: 40887EEAE99553ED Time : 0.0 sec. user=mdettweiler [2015-08-08 16:41:01] 927*2^1405724-1 is not prime. Res64: 81D7A877B8428E64 Time : 0.0 sec. user=mdettweiler [2015-08-08 16:41:01] 867*2^1405725-1 is not prime. Res64: 5A9C615B61B35A2E Time : 0.0 sec. user=mdettweiler [2015-08-08 16:41:01] 945*2^1405724-1 is not prime. Res64: EA0F07553186CF37 Time : 0.0 sec. user=mdettweiler [2015-08-08 16:41:02] 675*2^1405725-1 is not prime. Res64: D2C8BB2E17D7E227 Time : 0.0 sec. user=mdettweiler [2015-08-08 16:41:02] 717*2^1405725-1 is not prime. Res64: C6973812E3DBC5F9 Time : 0.0 sec. user=mdettweiler [2015-08-08 16:41:22] 885*2^1405725-1 is not prime. Res64: 8022A51FB421D25C Time : 0.0 sec. user=mdettweiler [2015-08-08 16:41:22] 979*2^1405725-1 is not prime. Res64: 7EB3ABB735115049 Time : 0.0 sec. user=mdettweiler [2015-08-08 16:58:48] 653*2^1405726-1 is not prime. Res64: AD37DD124C3C1F6C Time : 0.0 sec. user=mdettweiler [2015-08-08 16:58:49] 663*2^1405726-1 is not prime. Res64: F9A5FB95581EAFD4 Time : 0.0 sec. user=mdettweiler [2015-08-08 16:58:49] 891*2^1405726-1 is not prime. Res64: 8727ADC5D6DC9568 Time : 0.0 sec. user=mdettweiler [2015-08-08 16:58:49] 911*2^1405726-1 is not prime. Res64: CFFB38E1AF0FA7AC Time : 0.0 sec. user=mdettweiler [2015-08-08 16:58:51] 705*2^1405726-1 is not prime. Res64: 793B5CAD8F33A37C Time : 0.0 sec. user=mdettweiler [2015-08-08 16:58:51] 815*2^1405726-1 is not prime. Res64: CD5DE4A6FA713EFF Time : 0.0 sec. user=mdettweiler [2015-08-08 16:59:05] 975*2^1405726-1 is not prime. Res64: B59721E10E7362CB Time : 0.0 sec. user=mdettweiler [2015-08-08 16:59:06] 983*2^1405726-1 is not prime. Res64: BF06DF5F338B3AAC Time : 0.0 sec. user=S_K_ [2015-08-08 17:10:16] 999*2^1405725-1 is not prime. Res64: BD665572F842BD88 Time : 0.0 sec. user=mdettweiler [2015-08-08 17:16:36] 693*2^1405727-1 is not prime. Res64: 37103758B62316E9 Time : 0.0 sec. user=mdettweiler [2015-08-08 17:16:37] 987*2^1405726-1 is not prime. Res64: 00D6F60BEC5D74E3 Time : 0.0 sec. user=mdettweiler [2015-08-08 17:16:37] 735*2^1405727-1 is not prime. Res64: 1783C72BD2DDB7DD Time : 0.0 sec. user=mdettweiler [2015-08-08 17:16:38] 685*2^1405727-1 is not prime. Res64: 555A77365AB272F7 Time : 0.0 sec. user=mdettweiler [2015-08-08 17:16:42] 799*2^1405727-1 is not prime. Res64: 0AC806E4D54BC746 Time : 0.0 sec. user=mdettweiler [2015-08-08 17:16:43] 859*2^1405727-1 is not prime. Res64: A593E33C06B780D3 Time : 0.0 sec. user=mdettweiler [2015-08-08 17:16:57] 915*2^1405727-1 is not prime. Res64: D8AC4D4B091BA556 Time : 0.0 sec. user=mdettweiler [2015-08-08 17:16:57] 973*2^1405727-1 is not prime. Res64: 44B7A59F9ABC2777 Time : 0.0 sec. user=mdettweiler [2015-08-08 17:34:32] 981*2^1405727-1 is not prime. Res64: 1144031764BC89DF Time : 0.0 sec. user=mdettweiler [2015-08-08 17:34:32] 725*2^1405728-1 is not prime. Res64: C39E802AAA5A70DF Time : 0.0 sec. user=mdettweiler [2015-08-08 17:34:35] 839*2^1405728-1 is not prime. Res64: 52A60F8527E478DC Time : 0.0 sec. user=mdettweiler [2015-08-08 17:34:35] 657*2^1405728-1 is not prime. Res64: 57040B0B80E9528B Time : 0.0 sec. user=mdettweiler [2015-08-08 17:34:35] 705*2^1405729-1 is not prime. Res64: 34BB6104AE70571F Time : 0.0 sec. user=mdettweiler [2015-08-08 17:34:35] 695*2^1405728-1 is not prime. Res64: BC8EB98D35E1E521 Time : 0.0 sec. user=mdettweiler [2015-08-08 17:34:49] 771*2^1405729-1 is not prime. Res64: 7DDF4CF7E76A19F8 Time : 0.0 sec. user=mdettweiler [2015-08-08 17:34:49] 807*2^1405729-1 is not prime. Res64: B0F76CE90185BEC9 Time : 0.0 sec. user=mdettweiler [2015-08-08 17:52:16] 847*2^1405729-1 is not prime. Res64: A2A8B64055162D46 Time : 0.0 sec. user=mdettweiler [2015-08-08 17:52:17] 855*2^1405729-1 is not prime. Res64: 26887689D291FAAE Time : 0.0 sec. user=mdettweiler [2015-08-08 17:52:22] 877*2^1405729-1 is not prime. Res64: DC68EE1B2EAC4A39 Time : 0.0 sec. user=mdettweiler [2015-08-08 17:52:22] 895*2^1405729-1 is not prime. Res64: A8F41964BA678052 Time : 0.0 sec. user=mdettweiler [2015-08-08 17:52:28] 919*2^1405729-1 is not prime. Res64: 75555038C96623E7 Time : 0.0 sec. user=mdettweiler [2015-08-08 17:52:28] 945*2^1405729-1 is not prime. Res64: B5AF4A80DD476AAF Time : 0.0 sec. user=mdettweiler [2015-08-08 17:52:42] 997*2^1405729-1 is not prime. Res64: 58F5D1D343816B1C Time : 0.0 sec. user=mdettweiler [2015-08-08 17:52:42] 675*2^1405730-1 is not prime. Res64: 6FE596B11F5B7344 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:12:22] 827*2^1405730-1 is not prime. Res64: DE35B54D953910E6 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:12:23] 951*2^1405730-1 is not prime. Res64: BA9C64BCB6ABEA2B Time : 0.0 sec. user=mdettweiler [2015-08-08 18:12:25] 711*2^1405730-1 is not prime. Res64: 72DA4898611688E0 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:12:25] 755*2^1405730-1 is not prime. Res64: 3CDFAE5E1D9CF9E0 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:12:29] 783*2^1405731-1 is not prime. Res64: AADEF631212266BF Time : 0.0 sec. user=mdettweiler [2015-08-08 18:12:30] 835*2^1405731-1 is not prime. Res64: 8CE3CA8B006EE9C7 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:13:03] 895*2^1405731-1 is not prime. Res64: 350E0170AC05B625 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:13:03] 695*2^1405732-1 is not prime. Res64: 47FFB3655CEA4C74 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:34:40] 915*2^1405732-1 is not prime. Res64: A4413BA43C97A602 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:34:40] 995*2^1405732-1 is not prime. Res64: 025DF2FF2F5C2D76 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:34:59] 631*2^1405733-1 is not prime. Res64: 98F11BFD6A610524 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:34:59] 691*2^1405733-1 is not prime. Res64: C22A1F78A01778A5 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:35:01] 779*2^1405732-1 is not prime. Res64: BD2942CF8E980DF1 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:35:02] 825*2^1405732-1 is not prime. Res64: BC4650A55A226EE2 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:35:17] 729*2^1405733-1 is not prime. Res64: E7B9BE1076EDB15C Time : 0.0 sec. user=mdettweiler [2015-08-08 18:35:18] 741*2^1405733-1 is not prime. Res64: FCA8CF2DC0ACF418 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:56:17] 897*2^1405733-1 is not prime. Res64: 1B5B95CC936979D1 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:56:18] 627*2^1405734-1 is not prime. Res64: 6FCAFE20CB6AC984 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:56:50] 681*2^1405734-1 is not prime. Res64: 1AE7438181CC69C3 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:56:50] 815*2^1405734-1 is not prime. Res64: 7FDA8BF1BA493C44 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:57:00] 903*2^1405734-1 is not prime. Res64: ABE3F4608D77DC1B Time : 0.0 sec. user=mdettweiler [2015-08-08 18:57:00] 971*2^1405734-1 is not prime. Res64: B721AE524359B856 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:57:29] 625*2^1405735-1 is not prime. Res64: 294729B6B4A80006 Time : 0.0 sec. user=mdettweiler [2015-08-08 18:57:29] 645*2^1405735-1 is not prime. Res64: AD85518D37385213 Time : 0.0 sec. user=S_K_ [2015-08-08 19:01:57] 811*2^1405733-1 is not prime. Res64: 4D89B3E972FE4B97 Time : 0.0 sec. user=mdettweiler [2015-08-08 19:17:21] 673*2^1405735-1 is not prime. Res64: 35747ADFDB61C944 Time : 0.0 sec. user=mdettweiler [2015-08-08 19:17:22] 693*2^1405735-1 is not prime. Res64: 09D45E4227D542DC Time : 0.0 sec. user=mdettweiler [2015-08-08 19:17:40] 789*2^1405735-1 is not prime. Res64: 3D4F68C87A848EC2 Time : 0.0 sec. user=mdettweiler [2015-08-08 19:17:41] 805*2^1405735-1 is not prime. Res64: FA143B330DD5B853 Time : 0.0 sec. user=mdettweiler [2015-08-08 19:18:07] 843*2^1405735-1 is not prime. Res64: B0B340A4AE276DBE Time : 0.0 sec. user=mdettweiler [2015-08-08 19:18:08] 855*2^1405735-1 is not prime. Res64: C5EC34BF3BAC7FC3 Time : 0.0 sec. user=mdettweiler [2015-08-08 19:18:32] 885*2^1405735-1 is not prime. Res64: 4D56D240D0599300 Time : 0.0 sec. user=mdettweiler [2015-08-08 19:18:33] 623*2^1405736-1 is not prime. Res64: AEE5AE88690CED80 Time : 0.0 sec. user=mdettweiler [2015-08-08 19:39:04] 725*2^1405736-1 is not prime. Res64: 45FCBD2B6861BFCD Time : 0.0 sec. user=mdettweiler [2015-08-08 19:39:04] 759*2^1405736-1 is not prime. Res64: CBFC368661A09E2B Time : 0.0 sec. user=mdettweiler [2015-08-08 19:39:28] 869*2^1405736-1 is not prime. Res64: 43CD095ED6FEB86A Time : 0.0 sec. user=mdettweiler [2015-08-08 19:39:29] 897*2^1405736-1 is not prime. Res64: AAAE37E4C59B2DAF Time : 0.0 sec. user=mdettweiler [2015-08-08 19:39:49] 825*2^1405736-1 is not prime. Res64: 60AB07D41BFE556D Time : 0.0 sec. user=mdettweiler [2015-08-08 19:39:49] 867*2^1405736-1 is not prime. Res64: CCFA29FBD370068E Time : 0.0 sec. user=mdettweiler [2015-08-08 19:40:26] 969*2^1405736-1 is not prime. Res64: 1E7874CE01CFAEC7 Time : 0.0 sec. user=mdettweiler [2015-08-08 19:40:26] 983*2^1405736-1 is not prime. Res64: FF07EA2CDB2D1F5B Time : 0.0 sec. user=mdettweiler [2015-08-08 20:00:59] 637*2^1405737-1 is not prime. Res64: E4AC12C8923188AB Time : 0.0 sec. user=mdettweiler [2015-08-08 20:01:00] 751*2^1405737-1 is not prime. Res64: 08802C5E86EC9F7B Time : 0.0 sec. user=mdettweiler [2015-08-08 20:01:25] 769*2^1405737-1 is not prime. Res64: 66562DADB9DE5C83 Time : 0.0 sec. user=mdettweiler [2015-08-08 20:01:26] 781*2^1405737-1 is not prime. Res64: D4C85BE051251A48 Time : 0.0 sec. user=mdettweiler [2015-08-08 20:01:33] 805*2^1405737-1 is not prime. Res64: AC906F2D431C617D Time : 0.0 sec. user=mdettweiler [2015-08-08 20:01:34] 829*2^1405737-1 is not prime. Res64: 118696E42EE317E3 Time : 0.0 sec. user=mdettweiler [2015-08-08 20:02:13] 867*2^1405737-1 is not prime. Res64: BB96163BACDBB50A Time : 0.0 sec. user=mdettweiler [2015-08-08 20:02:13] 915*2^1405737-1 is not prime. Res64: 9C44098EE5FF5C91 Time : 0.0 sec. user=mdettweiler [2015-08-08 20:22:14] 605*2^1405738-1 is not prime. Res64: 9906232D3B5FB303 Time : 0.0 sec. user=mdettweiler [2015-08-08 20:22:14] 681*2^1405738-1 is not prime. Res64: B3E7B541F195E138 Time : 0.0 sec. user=mdettweiler [2015-08-08 20:22:36] 941*2^1405738-1 is not prime. Res64: 53EB89C35E5725FD Time : 0.0 sec. user=mdettweiler [2015-08-08 20:22:37] 957*2^1405738-1 is not prime. Res64: A635FB993B886136 Time : 0.0 sec. user=mdettweiler [2015-08-08 20:22:45] 737*2^1405738-1 is not prime. Res64: 9B59B178EB1C19A9 Time : 0.0 sec. user=mdettweiler [2015-08-08 20:22:45] 923*2^1405738-1 is not prime. Res64: CB332D2DEDC763C4 Time : 0.0 sec. user=mdettweiler [2015-08-08 20:23:13] 601*2^1405739-1 is not prime. Res64: 453F696DF7783FCB Time : 0.0 sec. user=mdettweiler [2015-08-08 20:23:13] 609*2^1405739-1 is not prime. Res64: 43FB9D0E3429601C Time : 0.0 sec. user=mdettweiler [2015-08-08 20:41:58] 631*2^1405739-1 is not prime. Res64: AFCF8811D5E20AA8 Time : 0.0 sec. user=mdettweiler [2015-08-08 20:41:58] 705*2^1405739-1 is not prime. Res64: 644978508E986A5E Time : 0.0 sec. user=mdettweiler [2015-08-08 20:42:36] 717*2^1405740-1 is not prime. Res64: DE4E29344A8FA2B0 Time : 0.0 sec. user=mdettweiler [2015-08-08 20:42:36] 771*2^1405739-1 is not prime. Res64: C0BD946145979041 Time : 0.0 sec. user=mdettweiler [2015-08-08 20:42:36] 719*2^1405740-1 is not prime. Res64: BE60A116122B3934 Time : 0.0 sec. user=mdettweiler [2015-08-08 20:42:36] 665*2^1405740-1 is not prime. Res64: FCFDE153717E2D7E Time : 0.0 sec. user=mdettweiler [2015-08-08 20:43:03] 795*2^1405740-1 is not prime. Res64: 94879AB0EBE2452F Time : 0.0 sec. user=mdettweiler [2015-08-08 20:43:03] 803*2^1405740-1 is not prime. Res64: B680613613201E4E Time : 0.0 sec. user=mdettweiler [2015-08-08 21:01:25] 809*2^1405740-1 is not prime. Res64: BFCCC9993C626EF1 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:01:26] 873*2^1405740-1 is not prime. Res64: 0DDA495DAD711696 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:01:55] 933*2^1405740-1 is not prime. Res64: E3C748D5E8CAC99B Time : 0.0 sec. user=mdettweiler [2015-08-08 21:01:56] 619*2^1405741-1 is not prime. Res64: 095269B5A92E49D0 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:02:01] 879*2^1405740-1 is not prime. Res64: CE6A9CA938786C38 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:02:02] 915*2^1405740-1 is not prime. Res64: 2881E509C31289FB Time : 0.0 sec. user=mdettweiler [2015-08-08 21:02:25] 757*2^1405741-1 is not prime. Res64: 881C61742677BC63 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:02:26] 859*2^1405741-1 is not prime. Res64: BFE1D6E46373B12F Time : 0.0 sec. user=mdettweiler [2015-08-08 21:20:29] 901*2^1405741-1 is not prime. Res64: C111C1EE7D0CC3D2 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:20:30] 957*2^1405741-1 is not prime. Res64: 5B19C8834D76E113 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:20:39] 623*2^1405742-1 is not prime. Res64: 35D10E37CAA1479C Time : 0.0 sec. user=mdettweiler [2015-08-08 21:20:40] 873*2^1405742-1 is not prime. Res64: 2E282506BE5C74C7 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:21:05] 975*2^1405741-1 is not prime. Res64: D71A2252F8EA48CD Time : 0.0 sec. user=mdettweiler [2015-08-08 21:21:06] 997*2^1405741-1 is not prime. Res64: A8C820EA8D4A806B Time : 0.0 sec. user=mdettweiler [2015-08-08 21:21:11] 885*2^1405742-1 is not prime. Res64: C59DB341721F5189 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:21:12] 893*2^1405742-1 is not prime. Res64: 6A583CCAFA291D7F Time : 0.0 sec. user=mdettweiler [2015-08-08 21:39:34] 615*2^1405743-1 is not prime. Res64: 33C71B6FA2129E82 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:39:34] 619*2^1405743-1 is not prime. Res64: 46BB2F4C3EA89F61 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:39:59] 903*2^1405742-1 is not prime. Res64: F358413CBFA72DF7 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:39:59] 915*2^1405742-1 is not prime. Res64: 73ADC3C3AB0E5A81 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:40:04] 691*2^1405743-1 is not prime. Res64: 8CCF55D0874C91A4 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:40:04] 693*2^1405743-1 is not prime. Res64: FC05E361ABA65473 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:40:34] 639*2^1405743-1 is not prime. Res64: 075C7E2446A43F53 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:40:34] 643*2^1405743-1 is not prime. Res64: 2DC3E6BB50E42A4C Time : 0.0 sec. user=mdettweiler [2015-08-08 21:58:48] 831*2^1405743-1 is not prime. Res64: 2943C6941E10CB31 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:58:49] 853*2^1405743-1 is not prime. Res64: ED5674526580F661 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:59:22] 719*2^1405744-1 is not prime. Res64: 04599E1670A51230 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:59:22] 813*2^1405744-1 is not prime. Res64: 0B9789E0537DD694 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:59:26] 895*2^1405743-1 is not prime. Res64: AF8E8D30DBEEABC9 Time : 0.0 sec. user=mdettweiler [2015-08-08 21:59:26] 945*2^1405743-1 is not prime. Res64: 795AB856ECD1F68F Time : 0.0 sec. user=mdettweiler [2015-08-08 22:00:05] 819*2^1405744-1 is not prime. Res64: 0FB87F26D5EF1E83 Time : 0.0 sec. user=mdettweiler [2015-08-08 22:00:05] 849*2^1405744-1 is not prime. Res64: 6224BF1EC8B781B8 Time : 0.0 sec. user=mdettweiler [2015-08-08 22:17:40] 903*2^1405744-1 is not prime. Res64: 331461F63C22E0EE Time : 0.0 sec. user=mdettweiler [2015-08-08 22:17:40] 975*2^1405744-1 is not prime. Res64: ABD2C8A36DC0F501 Time : 0.0 sec. user=mdettweiler [2015-08-08 22:18:03] 601*2^1405745-1 is not prime. Res64: C689435AAD38ED86 Time : 0.0 sec. user=mdettweiler [2015-08-08 22:18:04] 607*2^1405745-1 is not prime. Res64: 626D9A57B9E2654C Time : 0.0 sec. user=mdettweiler [2015-08-08 22:18:30] 697*2^1405745-1 is not prime. Res64: E31F46BFECC44726 Time : 0.0 sec. user=mdettweiler [2015-08-08 22:18:31] 741*2^1405745-1 is not prime. Res64: 9F159CD8487A64B3 Time : 0.0 sec. user=mdettweiler [2015-08-08 22:19:33] 777*2^1405745-1 is not prime. Res64: B90F8926CE50FD85 Time : 0.0 sec. user=mdettweiler [2015-08-08 22:19:34] 841*2^1405745-1 is not prime. Res64: F6C7CB5BC910DC50 Time : 0.0 sec. user=mdettweiler [2015-08-08 22:37:03] 861*2^1405745-1 is not prime. Res64: DDD81D54F4394B0B Time : 0.0 sec. user=mdettweiler [2015-08-08 22:37:04] 955*2^1405745-1 is not prime. Res64: 7D4F5C0AEC5FEAB8 Time : 0.0 sec. user=mdettweiler [2015-08-08 22:37:16] 969*2^1405745-1 is not prime. Res64: 8985CF3A24BDED21 Time : 0.0 sec. user=mdettweiler [2015-08-08 22:37:16] 695*2^1405746-1 is not prime. Res64: 038CF300741D0F2A Time : 0.0 sec. user=mdettweiler [2015-08-08 22:37:48] 713*2^1405746-1 is not prime. Res64: 34A2A24DF5DECDB4 Time : 0.0 sec. user=mdettweiler [2015-08-08 22:37:48] 843*2^1405746-1 is not prime. Res64: BB489F2C9E8DF14C Time : 0.0 sec. user=mdettweiler [2015-08-08 22:38:31] 861*2^1405746-1 is not prime. Res64: E6C86AA56CADF897 Time : 0.0 sec. user=mdettweiler [2015-08-08 22:38:31] 873*2^1405746-1 is not prime. Res64: 0148939A2D02F2C9 Time : 0.0 sec. user=mdettweiler [2015-08-08 22:56:25] 941*2^1405746-1 is not prime. Res64: 3E063B41771E0CF5 Time : 0.0 sec. user=mdettweiler [2015-08-08 22:56:25] 975*2^1405746-1 is not prime. Res64: DF2C64E669368E8E Time : 0.0 sec. user=mdettweiler [2015-08-08 22:56:50] 649*2^1405747-1 is not prime. Res64: 588A3C7CDBEA7C11 Time : 0.0 sec. user=mdettweiler [2015-08-08 22:56:50] 733*2^1405747-1 is not prime. Res64: 5D89019E0CA38A54 Time : 0.0 sec. user=mdettweiler [2015-08-08 22:57:01] 835*2^1405747-1 is not prime. Res64: 3924C650CEAF1E09 Time : 0.0 sec. user=mdettweiler [2015-08-08 22:57:01] 961*2^1405747-1 is not prime. Res64: B898F68B490E3E61 Time : 0.0 sec. user=mdettweiler [2015-08-08 22:57:56] 825*2^1405748-1 is not prime. Res64: A92523EE6E239D51 Time : 0.0 sec. user=mdettweiler [2015-08-08 22:57:57] 875*2^1405748-1 is not prime. Res64: 11B10231AA6DC0A5 Time : 0.0 sec. user=mdettweiler [2015-08-08 23:14:47] 909*2^1405748-1 is not prime. Res64: DD2C4C87D76151BF Time : 0.0 sec. user=mdettweiler [2015-08-08 23:14:47] 669*2^1405749-1 is not prime. Res64: EA2606F352F92FD1 Time : 0.0 sec. user=mdettweiler [2015-08-08 23:15:17] 681*2^1405749-1 is not prime. Res64: 1D1E43CC87DC26E2 Time : 0.0 sec. user=mdettweiler [2015-08-08 23:15:18] 927*2^1405749-1 is not prime. Res64: AEEED167598E9EDC Time : 0.0 sec. user=mdettweiler [2015-08-08 23:15:25] 603*2^1405750-1 is not prime. Res64: 6D281741DB14CEE4 Time : 0.0 sec. user=mdettweiler [2015-08-08 23:15:25] 657*2^1405750-1 is not prime. Res64: 2FD0421881BB44B1 Time : 0.0 sec. user=mdettweiler [2015-08-08 23:16:18] 827*2^1405750-1 is not prime. Res64: DD5272890207E9B3 Time : 0.0 sec. user=mdettweiler [2015-08-08 23:16:18] 645*2^1405751-1 is not prime. Res64: 7723BA31027BEA0A Time : 0.0 sec. user=mdettweiler [2015-08-08 23:33:18] 679*2^1405751-1 is not prime. Res64: 83C3EC1A9E76C674 Time : 0.0 sec. user=mdettweiler [2015-08-08 23:33:18] 759*2^1405751-1 is not prime. Res64: 178CAC3E037A7EAD Time : 0.0 sec. user=mdettweiler [2015-08-08 23:33:46] 627*2^1405752-1 is not prime. Res64: 83D7FD555A4C5A1A Time : 0.0 sec. user=mdettweiler [2015-08-08 23:33:47] 633*2^1405752-1 is not prime. Res64: F564A1E689B34D51 Time : 0.0 sec. user=mdettweiler [2015-08-08 23:34:03] 865*2^1405751-1 is not prime. Res64: 93D584E9B230D6B3 Time : 0.0 sec. user=mdettweiler [2015-08-08 23:34:03] 993*2^1405751-1 is not prime. Res64: 918C1384FB59B262 Time : 0.0 sec. user=mdettweiler [2015-08-08 23:34:49] 669*2^1405752-1 is not prime. Res64: 06B974D2A1B747D5 Time : 0.0 sec. user=mdettweiler [2015-08-08 23:34:49] 689*2^1405752-1 is not prime. Res64: 485A81A50C660724 Time : 0.0 sec. user=mdettweiler [2015-08-08 23:51:16] 723*2^1405752-1 is not prime. Res64: FA4533FEC92967C7 Time : 0.0 sec. user=mdettweiler [2015-08-08 23:51:17] 767*2^1405752-1 is not prime. Res64: 16879DFDB9CADA59 Time : 0.0 sec. user=mdettweiler [2015-08-08 23:51:48] 875*2^1405752-1 is not prime. Res64: 3B6296E217E5ADBB Time : 0.0 sec. user=mdettweiler [2015-08-08 23:51:48] 879*2^1405752-1 is not prime. Res64: D3707BE8F60F56B9 Time : 0.0 sec. user=mdettweiler [2015-08-08 23:52:07] 681*2^1405753-1 is not prime. Res64: 42EFEBCB996FF747 Time : 0.0 sec. user=mdettweiler [2015-08-08 23:52:08] 687*2^1405753-1 is not prime. Res64: C8698317645EBE15 Time : 0.0 sec. user=mdettweiler [2015-08-08 23:52:49] 729*2^1405753-1 is not prime. Res64: 23A901269165ECD6 Time : 0.0 sec. user=mdettweiler [2015-08-08 23:52:49] 747*2^1405753-1 is not prime. Res64: 071973A93180C5FD Time : 0.0 sec.