user=mdettweiler [2016-08-15 00:21:32] 971*2^1437526-1 is not prime. Res64: 3F213D46F13AF239 Time : 0.0 sec. user=mdettweiler [2016-08-15 00:21:32] 975*2^1437526-1 is not prime. Res64: 6ACDCD53A77C4989 Time : 0.0 sec. user=mdettweiler [2016-08-15 00:21:33] 673*2^1437527-1 is not prime. Res64: EF8ED86C72EA80FB Time : 0.0 sec. user=mdettweiler [2016-08-15 00:21:33] 685*2^1437527-1 is not prime. Res64: 0D3999686F6B9588 Time : 0.0 sec. user=mdettweiler [2016-08-15 00:21:34] 759*2^1437527-1 is not prime. Res64: 6C338E0217F5A4D4 Time : 0.0 sec. user=mdettweiler [2016-08-15 00:38:05] 805*2^1437527-1 is not prime. Res64: C7071476801CF080 Time : 0.0 sec. user=mdettweiler [2016-08-15 00:38:05] 819*2^1437527-1 is not prime. Res64: 651F8A188E755CE2 Time : 0.0 sec. user=mdettweiler [2016-08-15 00:38:06] 901*2^1437527-1 is not prime. Res64: 0DB62564C50E8AE1 Time : 0.0 sec. user=mdettweiler [2016-08-15 00:38:06] 973*2^1437527-1 is not prime. Res64: 72A659E29C0DE518 Time : 0.0 sec. user=mdettweiler [2016-08-15 00:38:12] 725*2^1437528-1 is not prime. Res64: DE6C990FA6BE9425 Time : 0.0 sec. user=mdettweiler [2016-08-15 00:38:26] 735*2^1437528-1 is not prime. Res64: 1F14A2EF455F6EE0 Time : 0.0 sec. user=mdettweiler [2016-08-15 00:38:26] 765*2^1437528-1 is not prime. Res64: 14CE5F2C60B42D8B Time : 0.0 sec. user=mdettweiler [2016-08-15 00:38:27] 803*2^1437528-1 is not prime. Res64: 32D9D6F3B8258D70 Time : 0.0 sec. user=mdettweiler [2016-08-15 00:38:27] 947*2^1437528-1 is not prime. Res64: 8EB3BF95BB050915 Time : 0.0 sec. user=mdettweiler [2016-08-15 00:38:28] 765*2^1437529-1 is not prime. Res64: 7CC588720B19AC41 Time : 0.0 sec. user=mdettweiler [2016-08-15 00:39:33] 855*2^1437529-1 is not prime. Res64: C544997A3A1CC0F6 Time : 0.0 sec. user=mdettweiler [2016-08-15 00:39:33] 861*2^1437529-1 is not prime. Res64: F94D799337F6A0F6 Time : 0.0 sec. user=mdettweiler [2016-08-15 00:39:33] 877*2^1437529-1 is not prime. Res64: C910C2EDF0605DEA Time : 0.0 sec. user=mdettweiler [2016-08-15 00:39:34] 895*2^1437529-1 is not prime. Res64: D6775DBBB7DF5304 Time : 0.0 sec. user=mdettweiler [2016-08-15 00:39:34] 987*2^1437529-1 is not prime. Res64: B4F372B1C6B7FF75 Time : 0.0 sec. user=mdettweiler [2016-08-15 01:06:39] 641*2^1437530-1 is not prime. Res64: 90926EC426118547 Time : 0.0 sec. user=mdettweiler [2016-08-15 01:06:39] 645*2^1437530-1 is not prime. Res64: 0E8BCB297FD25106 Time : 0.0 sec. user=mdettweiler [2016-08-15 01:06:40] 671*2^1437530-1 is not prime. Res64: AB163B4EAFFD5F1A Time : 0.0 sec. user=mdettweiler [2016-08-15 01:06:41] 735*2^1437530-1 is not prime. Res64: 30A6FB48F4B22D8E Time : 0.0 sec. user=mdettweiler [2016-08-15 01:06:41] 861*2^1437530-1 is not prime. Res64: 56AB3856859E2BF0 Time : 0.0 sec. user=mdettweiler [2016-08-15 01:23:24] 875*2^1437530-1 is not prime. Res64: 42BC20B070B3CFAC Time : 0.0 sec. user=mdettweiler [2016-08-15 01:23:24] 917*2^1437530-1 is not prime. Res64: 7CD0B5C7A6BB22EC Time : 0.0 sec. user=mdettweiler [2016-08-15 01:23:25] 781*2^1437531-1 is not prime. Res64: B51400B5927C72C8 Time : 0.0 sec. user=mdettweiler [2016-08-15 01:23:25] 955*2^1437531-1 is not prime. Res64: F9634A74DF5B0A8E Time : 0.0 sec. user=mdettweiler [2016-08-15 01:23:26] 961*2^1437531-1 is not prime. Res64: 1F8A3650EA33A487 Time : 0.0 sec. user=mdettweiler [2016-08-15 01:23:39] 979*2^1437531-1 is not prime. Res64: DD800C01BE5B5C62 Time : 0.0 sec. user=mdettweiler [2016-08-15 01:23:39] 603*2^1437532-1 is not prime. Res64: 1B5AA87FAA64452E Time : 0.0 sec. user=mdettweiler [2016-08-15 01:23:40] 717*2^1437532-1 is not prime. Res64: 3DA489A83496B23B Time : 0.0 sec. user=mdettweiler [2016-08-15 01:23:40] 843*2^1437532-1 is not prime. Res64: BFE9D51089847D80 Time : 0.0 sec. user=mdettweiler [2016-08-15 01:23:43] 873*2^1437532-1 is not prime. Res64: 126B3BC751C9ED60 Time : 0.0 sec. user=mdettweiler [2016-08-15 01:24:42] 885*2^1437532-1 is not prime. Res64: 5C9C4B9A2D5BD2CD Time : 0.0 sec. user=mdettweiler [2016-08-15 01:24:43] 975*2^1437532-1 is not prime. Res64: 7DA8C42452263F32 Time : 0.0 sec. user=mdettweiler [2016-08-15 01:24:43] 983*2^1437532-1 is not prime. Res64: 063C996C9B96301F Time : 0.0 sec. user=mdettweiler [2016-08-15 01:24:44] 619*2^1437533-1 is not prime. Res64: B4F9A521F8400C48 Time : 0.0 sec. user=mdettweiler [2016-08-15 01:24:44] 651*2^1437533-1 is not prime. Res64: 8DAAAE62342EC30E Time : 0.0 sec. user=mdettweiler [2016-08-15 01:51:43] 675*2^1437533-1 is not prime. Res64: 952CD8F8E933AA1A Time : 0.0 sec. user=mdettweiler [2016-08-15 01:51:43] 769*2^1437533-1 is not prime. Res64: 560E2D21114A4728 Time : 0.0 sec. user=mdettweiler [2016-08-15 01:51:44] 867*2^1437533-1 is not prime. Res64: 908E4CC7F9BFEF39 Time : 0.0 sec. user=mdettweiler [2016-08-15 01:51:44] 987*2^1437533-1 is not prime. Res64: 9BE5B690424D79B5 Time : 0.0 sec. user=mdettweiler [2016-08-15 01:51:45] 605*2^1437534-1 is not prime. Res64: 91CFE8CAF071638A Time : 0.0 sec. user=mdettweiler [2016-08-15 02:08:30] 711*2^1437534-1 is not prime. Res64: B53D95848CCC53B7 Time : 0.0 sec. user=mdettweiler [2016-08-15 02:08:30] 725*2^1437534-1 is not prime. Res64: C1F8503F05B5410C Time : 0.0 sec. user=mdettweiler [2016-08-15 02:08:31] 737*2^1437534-1 is not prime. Res64: C8AEE7717DF17285 Time : 0.0 sec. user=mdettweiler [2016-08-15 02:08:31] 747*2^1437534-1 is not prime. Res64: 4E2A86DB5BF81156 Time : 0.0 sec. user=mdettweiler [2016-08-15 02:08:32] 767*2^1437534-1 is not prime. Res64: 8C8B9508299F87DF Time : 0.0 sec. user=mdettweiler [2016-08-15 02:08:50] 971*2^1437534-1 is not prime. Res64: 1D4C696E7E47DADE Time : 0.0 sec. user=mdettweiler [2016-08-15 02:08:50] 819*2^1437535-1 is not prime. Res64: 3E1F94C0B3A656BB Time : 0.0 sec. user=mdettweiler [2016-08-15 02:08:51] 831*2^1437535-1 is not prime. Res64: 19C526D1AFB73393 Time : 0.0 sec. user=mdettweiler [2016-08-15 02:08:51] 889*2^1437535-1 is not prime. Res64: CD61F9F0090C1F33 Time : 0.0 sec. user=mdettweiler [2016-08-15 02:08:51] 895*2^1437535-1 is not prime. Res64: F93F5F08CE78E23C Time : 0.0 sec. user=mdettweiler [2016-08-15 02:09:49] 961*2^1437535-1 is not prime. Res64: 046500AD4F44BF7C Time : 0.0 sec. user=mdettweiler [2016-08-15 02:09:49] 609*2^1437536-1 is not prime. Res64: 0813D26B4232362E Time : 0.0 sec. user=mdettweiler [2016-08-15 02:09:50] 717*2^1437536-1 is not prime. Res64: 4F9F4D37697D0FBB Time : 0.0 sec. user=mdettweiler [2016-08-15 02:09:50] 735*2^1437536-1 is not prime. Res64: C43410BAB97A34D2 Time : 0.0 sec. user=mdettweiler [2016-08-15 02:09:50] 767*2^1437536-1 is not prime. Res64: D6512E9486645DBC Time : 0.0 sec. user=mdettweiler [2016-08-15 02:37:15] 825*2^1437536-1 is not prime. Res64: 5E84CAF160D044FA Time : 0.0 sec. user=mdettweiler [2016-08-15 02:37:15] 855*2^1437536-1 is not prime. Res64: 7BD59352B03CDFF8 Time : 0.0 sec. user=mdettweiler [2016-08-15 02:37:16] 867*2^1437536-1 is not prime. Res64: 4D20534608CD3293 Time : 0.0 sec. user=mdettweiler [2016-08-15 02:37:16] 869*2^1437536-1 is not prime. Res64: 14BC4809F07767DE Time : 0.0 sec. user=mdettweiler [2016-08-15 02:37:20] 903*2^1437536-1 is not prime. Res64: FD07A4BD4B88E04D Time : 0.0 sec. user=mdettweiler [2016-08-15 02:53:33] 969*2^1437536-1 is not prime. Res64: 3AFA7B6C095BD313 Time : 0.0 sec. user=mdettweiler [2016-08-15 02:53:33] 637*2^1437537-1 is not prime. Res64: 938954A04975E636 Time : 0.0 sec. user=mdettweiler [2016-08-15 02:53:34] 709*2^1437537-1 is not prime. Res64: 4173BB78D56221E3 Time : 0.0 sec. user=mdettweiler [2016-08-15 02:53:34] 741*2^1437537-1 is not prime. Res64: C81E5EA17A8908AC Time : 0.0 sec. user=mdettweiler [2016-08-15 02:53:35] 751*2^1437537-1 is not prime. Res64: C06874D02BEA4FB3 Time : 0.0 sec. user=mdettweiler [2016-08-15 02:53:55] 871*2^1437537-1 is not prime. Res64: CFC730C66E5B4DC8 Time : 0.0 sec. user=mdettweiler [2016-08-15 02:53:56] 895*2^1437537-1 is not prime. Res64: 27B2E556F147158F Time : 0.0 sec. user=mdettweiler [2016-08-15 02:53:56] 937*2^1437537-1 is not prime. Res64: 5670880C76E55E68 Time : 0.0 sec. user=mdettweiler [2016-08-15 02:53:57] 623*2^1437538-1 is not prime. Res64: B8C7C19087FABA6B Time : 0.0 sec. user=mdettweiler [2016-08-15 02:53:57] 665*2^1437538-1 is not prime. Res64: 34779973940DEB2E Time : 0.0 sec. user=mdettweiler [2016-08-15 02:54:40] 755*2^1437538-1 is not prime. Res64: 359E38F2DD966FE8 Time : 0.0 sec. user=mdettweiler [2016-08-15 02:54:40] 815*2^1437538-1 is not prime. Res64: 568DFD5693D76F65 Time : 0.0 sec. user=mdettweiler [2016-08-15 02:54:41] 857*2^1437538-1 is not prime. Res64: 6676E618D487A3EF Time : 0.0 sec. user=mdettweiler [2016-08-15 02:54:41] 885*2^1437538-1 is not prime. Res64: 106119E0E914F782 Time : 0.0 sec. user=mdettweiler [2016-08-15 02:54:42] 603*2^1437539-1 is not prime. Res64: 8E53EBB9A9117D9C Time : 0.0 sec. user=mdettweiler [2016-08-15 03:22:31] 619*2^1437539-1 is not prime. Res64: 1076130D93F9AD9E Time : 0.0 sec. user=mdettweiler [2016-08-15 03:22:32] 663*2^1437539-1 is not prime. Res64: 701A3F8B3C3C9A39 Time : 0.0 sec. user=mdettweiler [2016-08-15 03:22:32] 675*2^1437539-1 is not prime. Res64: A59653BDC630F86A Time : 0.0 sec. user=mdettweiler [2016-08-15 03:22:32] 685*2^1437539-1 is not prime. Res64: DE335F441BFEAE7B Time : 0.0 sec. user=mdettweiler [2016-08-15 03:22:36] 741*2^1437539-1 is not prime. Res64: 7AFF130F1F9C1B5D Time : 0.0 sec. user=mdettweiler [2016-08-15 03:39:17] 909*2^1437539-1 is not prime. Res64: 1762E951F47DD6C5 Time : 0.0 sec. user=mdettweiler [2016-08-15 03:39:19] 653*2^1437540-1 is not prime. Res64: 89D408DE9E57344F Time : 0.0 sec. user=mdettweiler [2016-08-15 03:39:19] 725*2^1437540-1 is not prime. Res64: CA89C9FF869177CE Time : 0.0 sec. user=mdettweiler [2016-08-15 03:39:20] 867*2^1437540-1 is not prime. Res64: 03893D8785E74ECC Time : 0.0 sec. user=mdettweiler [2016-08-15 03:39:22] 983*2^1437540-1 is not prime. Res64: E9C3A31E74FBF269 Time : 0.0 sec. user=mdettweiler [2016-08-15 03:39:30] 639*2^1437541-1 is not prime. Res64: 3A21E2C07655B3BC Time : 0.0 sec. user=mdettweiler [2016-08-15 03:39:35] 649*2^1437541-1 is not prime. Res64: C08F317B5408D8FB Time : 0.0 sec. user=mdettweiler [2016-08-15 03:39:37] 691*2^1437541-1 is not prime. Res64: B181668192F60B69 Time : 0.0 sec. user=mdettweiler [2016-08-15 03:39:39] 829*2^1437541-1 is not prime. Res64: 83FA8B174C6DE5EA Time : 0.0 sec. user=mdettweiler [2016-08-15 03:39:39] 895*2^1437541-1 is not prime. Res64: 8033BD76B295EC87 Time : 0.0 sec. user=mdettweiler [2016-08-15 03:40:52] 813*2^1437542-1 is not prime. Res64: A606ACF1312A422C Time : 0.0 sec. user=mdettweiler [2016-08-15 03:40:53] 833*2^1437542-1 is not prime. Res64: ACACD5944322B05C Time : 0.0 sec. user=mdettweiler [2016-08-15 03:40:55] 661*2^1437543-1 is not prime. Res64: 3C609C1034AB069D Time : 0.0 sec. user=mdettweiler [2016-08-15 03:40:58] 663*2^1437543-1 is not prime. Res64: DAB65A3E01CF69D7 Time : 0.0 sec. user=mdettweiler [2016-08-15 03:41:00] 685*2^1437543-1 is not prime. Res64: F49F605D58F6C679 Time : 0.0 sec. user=mdettweiler [2016-08-15 04:08:11] 783*2^1437543-1 is not prime. Res64: 0949E3F0B70A71DC Time : 0.0 sec. user=mdettweiler [2016-08-15 04:08:16] 853*2^1437543-1 is not prime. Res64: 12EF0C27E72CFED2 Time : 0.0 sec. user=mdettweiler [2016-08-15 04:08:19] 963*2^1437543-1 is not prime. Res64: CD8665EFE49688E1 Time : 0.0 sec. user=mdettweiler [2016-08-15 04:08:25] 985*2^1437543-1 is not prime. Res64: 0508BBF983A7AFD4 Time : 0.0 sec. user=mdettweiler [2016-08-15 04:08:27] 705*2^1437544-1 is not prime. Res64: 5A9526C66D7A0007 Time : 0.0 sec. user=mdettweiler [2016-08-15 04:24:19] 759*2^1437545-1 is not prime. Res64: 34B277E1CFAD2060 Time : 0.0 sec. user=mdettweiler [2016-08-15 04:24:19] 771*2^1437545-1 is not prime. Res64: E512858BE2C9CFB2 Time : 0.0 sec. user=mdettweiler [2016-08-15 04:24:19] 775*2^1437545-1 is not prime. Res64: 07B8B14C4A3858E9 Time : 0.0 sec. user=mdettweiler [2016-08-15 04:24:20] 777*2^1437545-1 is not prime. Res64: 9B7EDF37CA05F92D Time : 0.0 sec. user=mdettweiler [2016-08-15 04:24:20] 805*2^1437545-1 is not prime. Res64: 06C80D5B87031EDF Time : 0.0 sec. user=mdettweiler [2016-08-15 04:24:21] 707*2^1437544-1 is not prime. Res64: 3D12A7021609DA9C Time : 0.0 sec. user=mdettweiler [2016-08-15 04:24:21] 887*2^1437544-1 is not prime. Res64: 0A59066E2AB6FB16 Time : 0.0 sec. user=mdettweiler [2016-08-15 04:24:22] 975*2^1437544-1 is not prime. Res64: 381F100AA81D0B5E Time : 0.0 sec. user=mdettweiler [2016-08-15 04:24:22] 601*2^1437545-1 is not prime. Res64: 5BFD6B32CBB166C7 Time : 0.0 sec. user=mdettweiler [2016-08-15 04:24:22] 729*2^1437545-1 is not prime. Res64: A15A02863888FD7A Time : 0.0 sec. user=mdettweiler [2016-08-15 04:25:58] 841*2^1437545-1 is not prime. Res64: EEC2CC707B813049 Time : 0.0 sec. user=mdettweiler [2016-08-15 04:25:59] 925*2^1437545-1 is not prime. Res64: 9E3FFB4A4A89942C Time : 0.0 sec. user=mdettweiler [2016-08-15 04:25:59] 969*2^1437545-1 is not prime. Res64: AB352D9C7199EBF4 Time : 0.0 sec. user=mdettweiler [2016-08-15 04:26:00] 985*2^1437545-1 is not prime. Res64: CE9E7D88EC2BC7F6 Time : 0.0 sec. user=mdettweiler [2016-08-15 04:26:00] 657*2^1437546-1 is not prime. Res64: 68E7944537056CA3 Time : 0.0 sec. user=mdettweiler [2016-08-15 04:53:43] 807*2^1437546-1 is not prime. Res64: C3235AF030965475 Time : 0.0 sec. user=mdettweiler [2016-08-15 04:53:43] 833*2^1437546-1 is not prime. Res64: 1338C4D9B027282B Time : 0.0 sec. user=mdettweiler [2016-08-15 04:53:43] 975*2^1437546-1 is not prime. Res64: 0BBAA01D7A127BB1 Time : 0.0 sec. user=mdettweiler [2016-08-15 04:53:44] 1001*2^1437546-1 is not prime. Res64: 2C91057B9CAFFBD3 Time : 0.0 sec. user=mdettweiler [2016-08-15 04:53:44] 615*2^1437547-1 is not prime. Res64: AA848F11A90FA8D4 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:09:05] 951*2^1437547-1 is not prime. Res64: A73B1C6457BF9D19 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:09:05] 985*2^1437547-1 is not prime. Res64: 449249BF4685C220 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:09:06] 659*2^1437548-1 is not prime. Res64: 03C9ABF97E415B6B Time : 0.0 sec. user=mdettweiler [2016-08-15 05:09:06] 669*2^1437548-1 is not prime. Res64: 894BB258E071EDE3 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:09:07] 699*2^1437548-1 is not prime. Res64: 88F03095F90E4CAB Time : 0.0 sec. user=mdettweiler [2016-08-15 05:09:24] 651*2^1437547-1 is not prime. Res64: 44EAC1C52C99A92F Time : 0.0 sec. user=mdettweiler [2016-08-15 05:09:25] 691*2^1437547-1 is not prime. Res64: D9B62618B3F70CF3 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:09:25] 693*2^1437547-1 is not prime. Res64: CFAEE610E819CE4A Time : 0.0 sec. user=mdettweiler [2016-08-15 05:09:26] 769*2^1437547-1 is not prime. Res64: EABD2DCB40F91C41 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:09:26] 829*2^1437547-1 is not prime. Res64: 31E0D1ECC0E2C2CC Time : 0.0 sec. user=mdettweiler [2016-08-15 05:10:45] 753*2^1437548-1 is not prime. Res64: E7AB2B5FFCC20BA8 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:10:45] 839*2^1437548-1 is not prime. Res64: 41A178A15F641866 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:10:46] 897*2^1437548-1 is not prime. Res64: 856671216867D1BC Time : 0.0 sec. user=mdettweiler [2016-08-15 05:10:46] 627*2^1437549-1 is not prime. Res64: EF56A06A57FEA376 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:10:46] 661*2^1437549-1 is not prime. Res64: 91B58E29B5006417 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:38:42] 745*2^1437549-1 is not prime. Res64: 2B3E0E23C8734E07 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:38:42] 817*2^1437549-1 is not prime. Res64: DE3D5898E8C44CBF Time : 0.0 sec. user=mdettweiler [2016-08-15 05:38:43] 919*2^1437549-1 is not prime. Res64: 58508B725C0B1121 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:38:43] 955*2^1437549-1 is not prime. Res64: E8111DA8F7B5B57E Time : 0.0 sec. user=mdettweiler [2016-08-15 05:38:43] 975*2^1437549-1 is not prime. Res64: EFB872B85506E5E1 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:54:01] 997*2^1437549-1 is not prime. Res64: E63911138E5EFC14 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:54:01] 665*2^1437550-1 is not prime. Res64: 101E4222A98C71AB Time : 0.0 sec. user=mdettweiler [2016-08-15 05:54:02] 675*2^1437550-1 is not prime. Res64: B15D8157043FB105 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:54:02] 713*2^1437550-1 is not prime. Res64: 529875A1FF069791 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:54:02] 741*2^1437550-1 is not prime. Res64: 1C762F8C22361712 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:54:26] 761*2^1437550-1 is not prime. Res64: AE00592D72FA6B32 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:54:26] 831*2^1437550-1 is not prime. Res64: 18CAC82AB1A19EE5 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:54:26] 891*2^1437550-1 is not prime. Res64: AD32145874B9B805 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:54:27] 911*2^1437550-1 is not prime. Res64: CA6BED735CB4833F Time : 0.0 sec. user=mdettweiler [2016-08-15 05:54:27] 917*2^1437550-1 is not prime. Res64: 5ACACDE04675F6E7 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:55:40] 941*2^1437550-1 is not prime. Res64: 0454B4CFF95166CC Time : 0.0 sec. user=mdettweiler [2016-08-15 05:55:40] 987*2^1437550-1 is not prime. Res64: 43AA871E06916800 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:55:40] 603*2^1437551-1 is not prime. Res64: A70164E155EA9E32 Time : 0.0 sec. user=mdettweiler [2016-08-15 05:55:41] 643*2^1437551-1 is not prime. Res64: 15FA5131DCD7CC9E Time : 0.0 sec. user=mdettweiler [2016-08-15 05:55:41] 703*2^1437551-1 is not prime. Res64: C5A22B7F3F6F6BF0 Time : 0.0 sec. user=mdettweiler [2016-08-15 06:23:49] 735*2^1437551-1 is not prime. Res64: E99690314B4AD721 Time : 0.0 sec. user=mdettweiler [2016-08-15 06:23:50] 741*2^1437551-1 is not prime. Res64: E5AE7D3566902764 Time : 0.0 sec. user=mdettweiler [2016-08-15 06:23:50] 843*2^1437551-1 is not prime. Res64: 639C4373F5E04013 Time : 0.0 sec. user=mdettweiler [2016-08-15 06:23:51] 913*2^1437551-1 is not prime. Res64: 781CE0549BFD3AFD Time : 0.0 sec. user=mdettweiler [2016-08-15 06:23:51] 943*2^1437551-1 is not prime. Res64: 778F18BA02E4187B Time : 0.0 sec. user=mdettweiler [2016-08-15 06:38:37] 969*2^1437551-1 is not prime. Res64: D05DEDB8EB70DC19 Time : 0.0 sec. user=mdettweiler [2016-08-15 06:38:38] 999*2^1437551-1 is not prime. Res64: E16D0673B5B940E3 Time : 0.0 sec. user=mdettweiler [2016-08-15 06:38:38] 623*2^1437552-1 is not prime. Res64: BEDB778D85615C75 Time : 0.0 sec. user=mdettweiler [2016-08-15 06:38:38] 717*2^1437552-1 is not prime. Res64: 5555E20AF2C155CF Time : 0.0 sec. user=mdettweiler [2016-08-15 06:38:39] 737*2^1437552-1 is not prime. Res64: 6288A1E027C610A4 Time : 0.0 sec. user=mdettweiler [2016-08-15 06:39:14] 903*2^1437552-1 is not prime. Res64: 0DFBC65C53B1A715 Time : 0.0 sec. user=mdettweiler [2016-08-15 06:39:14] 909*2^1437552-1 is not prime. Res64: F3774CAFCFE63E8F Time : 0.0 sec. user=mdettweiler [2016-08-15 06:39:15] 957*2^1437552-1 is not prime. Res64: 7FAC982B0F995F0F Time : 0.0 sec. user=mdettweiler [2016-08-15 06:39:15] 959*2^1437552-1 is not prime. Res64: 0649D6DA132C238A Time : 0.0 sec. user=mdettweiler [2016-08-15 06:39:15] 615*2^1437553-1 is not prime. Res64: 91958E5734BFCF23 Time : 0.0 sec. user=mdettweiler [2016-08-15 06:40:25] 625*2^1437553-1 is not prime. Res64: 7C2DAB3FC2E9E7E5 Time : 0.0 sec. user=mdettweiler [2016-08-15 06:40:26] 747*2^1437553-1 is not prime. Res64: 56BB63AD9400D677 Time : 0.0 sec. user=mdettweiler [2016-08-15 06:40:26] 897*2^1437553-1 is not prime. Res64: 1312E654A4D4C807 Time : 0.0 sec. user=mdettweiler [2016-08-15 06:40:27] 615*2^1437554-1 is not prime. Res64: 678BBEAC94E92622 Time : 0.0 sec. user=mdettweiler [2016-08-15 06:40:27] 717*2^1437554-1 is not prime. Res64: CC679019EDE320F8 Time : 0.0 sec. user=mdettweiler [2016-08-15 07:23:39] 709*2^1437555-1 is not prime. Res64: 5E1084AA4047D2E9 Time : 0.0 sec. user=mdettweiler [2016-08-15 07:23:40] 765*2^1437555-1 is not prime. Res64: 30F1D42C8972B325 Time : 0.0 sec. user=mdettweiler [2016-08-15 07:23:40] 781*2^1437555-1 is not prime. Res64: 221F33A66A0C4648 Time : 0.0 sec. user=mdettweiler [2016-08-15 07:23:41] 909*2^1437555-1 is not prime. Res64: 41D4B664D9ED0056 Time : 0.0 sec. user=mdettweiler [2016-08-15 07:23:41] 979*2^1437555-1 is not prime. Res64: D62B9C5E59CA42B8 Time : 0.0 sec. user=mdettweiler [2016-08-15 07:24:11] 639*2^1437556-1 is not prime. Res64: 1A19461A7765A88B Time : 0.0 sec. user=mdettweiler [2016-08-15 07:24:12] 695*2^1437556-1 is not prime. Res64: 75E703C95120BCFD Time : 0.0 sec. user=mdettweiler [2016-08-15 07:24:12] 705*2^1437556-1 is not prime. Res64: E402F49246A72DEB Time : 0.0 sec. user=mdettweiler [2016-08-15 07:24:13] 749*2^1437556-1 is not prime. Res64: B81EFDECE2B55138 Time : 0.0 sec. user=mdettweiler [2016-08-15 07:24:13] 897*2^1437556-1 is not prime. Res64: D73DC37B4F811AB7 Time : 0.0 sec. user=mdettweiler [2016-08-15 07:25:29] 903*2^1437556-1 is not prime. Res64: 38F3CA0605B06E8C Time : 0.0 sec. user=mdettweiler [2016-08-15 07:25:30] 909*2^1437556-1 is not prime. Res64: E4644D432442C604 Time : 0.0 sec. user=mdettweiler [2016-08-15 07:25:30] 711*2^1437557-1 is not prime. Res64: 2414E198981868E4 Time : 0.0 sec. user=mdettweiler [2016-08-15 07:25:31] 715*2^1437557-1 is not prime. Res64: 231BAB7F0AA8678B Time : 0.0 sec. user=mdettweiler [2016-08-15 07:25:31] 879*2^1437557-1 is not prime. Res64: 848ACD37F7460D52 Time : 0.0 sec. user=mdettweiler [2016-08-15 08:08:54] 931*2^1437557-1 is not prime. Res64: 0AC8F1EAF89B348B Time : 0.0 sec. user=mdettweiler [2016-08-15 08:08:54] 621*2^1437558-1 is not prime. Res64: AD2676F7D3C1CAD5 Time : 0.0 sec. user=mdettweiler [2016-08-15 08:08:55] 707*2^1437558-1 is not prime. Res64: ACF4A23613D598CE Time : 0.0 sec. user=mdettweiler [2016-08-15 08:08:55] 875*2^1437558-1 is not prime. Res64: 921084B51BBB1383 Time : 0.0 sec. user=mdettweiler [2016-08-15 08:08:56] 881*2^1437558-1 is not prime. Res64: 35AE1F1F2B174322 Time : 0.0 sec. user=mdettweiler [2016-08-15 08:09:42] 893*2^1437558-1 is not prime. Res64: CE56BB161C129258 Time : 0.0 sec. user=mdettweiler [2016-08-15 08:09:42] 945*2^1437558-1 is not prime. Res64: 1ADE921857BAA60F Time : 0.0 sec. user=mdettweiler [2016-08-15 08:09:43] 609*2^1437559-1 is not prime. Res64: ED577380456389F2 Time : 0.0 sec. user=mdettweiler [2016-08-15 08:09:43] 633*2^1437559-1 is not prime. Res64: FAC3F5D7811BA6BC Time : 0.0 sec. user=mdettweiler [2016-08-15 08:09:43] 709*2^1437559-1 is not prime. Res64: 614ABDB03C3DC20D Time : 0.0 sec. user=mdettweiler [2016-08-15 08:11:09] 745*2^1437559-1 is not prime. Res64: 9356F8FDDC86755C Time : 0.0 sec. user=mdettweiler [2016-08-15 08:11:09] 913*2^1437559-1 is not prime. Res64: 26824AC3461C0A01 Time : 0.0 sec. user=mdettweiler [2016-08-15 08:11:09] 973*2^1437559-1 is not prime. Res64: CB05B9F4A78D6C19 Time : 0.0 sec. user=mdettweiler [2016-08-15 08:11:10] 797*2^1437560-1 is not prime. Res64: F07B5EF5CE811B22 Time : 0.0 sec. user=mdettweiler [2016-08-15 08:11:10] 717*2^1437561-1 is not prime. Res64: A536F6CF6E3DC938 Time : 0.0 sec. user=mdettweiler [2016-08-15 08:54:12] 885*2^1437561-1 is not prime. Res64: B790312EFB79D49D Time : 0.0 sec. user=mdettweiler [2016-08-15 08:54:12] 889*2^1437561-1 is not prime. Res64: 8FA79D4030EF0316 Time : 0.0 sec. user=mdettweiler [2016-08-15 08:54:12] 907*2^1437561-1 is not prime. Res64: 98597CAA8392AC65 Time : 0.0 sec. user=mdettweiler [2016-08-15 08:54:13] 611*2^1437562-1 is not prime. Res64: 55F851A5A2D35912 Time : 0.0 sec. user=mdettweiler [2016-08-15 08:54:15] 653*2^1437562-1 is not prime. Res64: 331C0F46BFA7196E Time : 0.0 sec. user=mdettweiler [2016-08-15 08:54:57] 713*2^1437562-1 is not prime. Res64: C74E33523B2A5076 Time : 0.0 sec. user=mdettweiler [2016-08-15 08:55:00] 755*2^1437562-1 is not prime. Res64: E0E8DF37EDB081C2 Time : 0.0 sec. user=mdettweiler [2016-08-15 08:55:00] 821*2^1437562-1 is not prime. Res64: DA2CBAFF7D0A9949 Time : 0.0 sec. user=mdettweiler [2016-08-15 08:55:01] 843*2^1437562-1 is not prime. Res64: 2F4FE768E34ED7FA Time : 0.0 sec. user=mdettweiler [2016-08-15 08:55:01] 855*2^1437562-1 is not prime. Res64: C6DBBF31A78BA43A Time : 0.0 sec. user=mdettweiler [2016-08-15 08:56:34] 981*2^1437562-1 is not prime. Res64: 72C07D6A69203132 Time : 0.0 sec. user=mdettweiler [2016-08-15 08:56:34] 705*2^1437563-1 is not prime. Res64: A2141D587E89B722 Time : 0.0 sec. user=mdettweiler [2016-08-15 08:56:35] 741*2^1437563-1 is not prime. Res64: 4EF93FD4104E40BF Time : 0.0 sec. user=mdettweiler [2016-08-15 08:56:35] 771*2^1437563-1 is not prime. Res64: BF16241805FA54D4 Time : 0.0 sec. user=mdettweiler [2016-08-15 08:56:38] 783*2^1437563-1 is not prime. Res64: C26CE83DD81CAD94 Time : 0.0 sec. user=mdettweiler [2016-08-15 09:17:09] 753*2^1437554-1 is not prime. Res64: 0B86A753FE3C03C0 Time : 0.0 sec. user=mdettweiler [2016-08-15 09:17:09] 837*2^1437554-1 is not prime. Res64: FE8084A0395D413B Time : 0.0 sec. user=mdettweiler [2016-08-15 09:17:10] 921*2^1437554-1 is not prime. Res64: CCD0FCFA7A6A4F7C Time : 0.0 sec. user=mdettweiler [2016-08-15 09:17:10] 995*2^1437554-1 is not prime. Res64: E1618B161BD9E78F Time : 0.0 sec. user=mdettweiler [2016-08-15 09:17:11] 705*2^1437555-1 is not prime. Res64: 9F9B52FD6965DF1F Time : 0.0 sec. user=mdettweiler [2016-08-15 09:39:05] 805*2^1437563-1 is not prime. Res64: A8B9A7138C5136DA Time : 0.0 sec. user=mdettweiler [2016-08-15 09:39:05] 859*2^1437563-1 is not prime. Res64: B46ED3B44B46DB6E Time : 0.0 sec. user=mdettweiler [2016-08-15 09:39:05] 973*2^1437563-1 is not prime. Res64: 77BB3BE66A6DFEFA Time : 0.0 sec. user=mdettweiler [2016-08-15 09:39:06] 981*2^1437563-1 is not prime. Res64: EC5B9C81BC835C73 Time : 0.0 sec. user=mdettweiler [2016-08-15 09:39:06] 991*2^1437563-1 is not prime. Res64: 6A12A2A9AAC06123 Time : 0.0 sec. user=mdettweiler [2016-08-15 09:40:05] 635*2^1437564-1 is not prime. Res64: 62C6EA83A2762D9D Time : 0.0 sec. user=mdettweiler [2016-08-15 09:40:05] 693*2^1437564-1 is not prime. Res64: CE71A55FAA589FE6 Time : 0.0 sec. user=mdettweiler [2016-08-15 09:40:05] 707*2^1437564-1 is not prime. Res64: 2289FAAAB4BA1742 Time : 0.0 sec. user=mdettweiler [2016-08-15 09:40:06] 717*2^1437564-1 is not prime. Res64: 2D16EE9D2CD8941D Time : 0.0 sec. user=mdettweiler [2016-08-15 09:40:06] 783*2^1437564-1 is not prime. Res64: 8D95CAC75BF180AE Time : 0.0 sec. user=mdettweiler [2016-08-15 09:41:43] 777*2^1437565-1 is not prime. Res64: B9EDCA7A35E71957 Time : 0.0 sec. user=mdettweiler [2016-08-15 09:41:43] 799*2^1437565-1 is not prime. Res64: E4B61019FFE6B44A Time : 0.0 sec. user=mdettweiler [2016-08-15 09:41:44] 867*2^1437565-1 is not prime. Res64: B0CFF846D140C0A0 Time : 0.0 sec. user=mdettweiler [2016-08-15 09:41:44] 885*2^1437565-1 is not prime. Res64: 947AA061A8DD52BF Time : 0.0 sec. user=mdettweiler [2016-08-15 09:41:44] 889*2^1437565-1 is not prime. Res64: 3D83992AF440DC3E Time : 0.0 sec. user=mdettweiler [2016-08-15 10:02:02] 915*2^1437565-1 is not prime. Res64: B5FDC3DDE2351FCD Time : 0.0 sec. user=mdettweiler [2016-08-15 10:02:03] 961*2^1437565-1 is not prime. Res64: D454662C15CAB9D5 Time : 0.0 sec. user=mdettweiler [2016-08-15 10:02:04] 615*2^1437566-1 is not prime. Res64: 1A675675C98D75C4 Time : 0.0 sec. user=mdettweiler [2016-08-15 10:02:04] 785*2^1437566-1 is not prime. Res64: D9C45AD6DBA6CE0A Time : 0.0 sec. user=mdettweiler [2016-08-15 10:02:05] 825*2^1437566-1 is not prime. Res64: B058716387BFAC23 Time : 0.0 sec. user=mdettweiler [2016-08-15 10:23:59] 917*2^1437566-1 is not prime. Res64: 691AA93143D45616 Time : 0.0 sec. user=mdettweiler [2016-08-15 10:24:00] 957*2^1437566-1 is not prime. Res64: 7784F41B1E8B9AF4 Time : 0.0 sec. user=mdettweiler [2016-08-15 10:24:01] 1001*2^1437566-1 is not prime. Res64: DC25BCC12BCE2F59 Time : 0.0 sec. user=mdettweiler [2016-08-15 10:24:01] 651*2^1437567-1 is not prime. Res64: 59CBD533661EF332 Time : 0.0 sec. user=mdettweiler [2016-08-15 10:24:02] 891*2^1437567-1 is not prime. Res64: 2ADEADC1E8101705 Time : 0.0 sec. user=mdettweiler [2016-08-15 10:24:56] 695*2^1437568-1 is not prime. Res64: A46A67622B922CA7 Time : 0.0 sec. user=mdettweiler [2016-08-15 10:24:57] 723*2^1437568-1 is not prime. Res64: E3B9A2A38439A439 Time : 0.0 sec. user=mdettweiler [2016-08-15 10:24:57] 843*2^1437568-1 is not prime. Res64: 5A89C941FF16A0EB Time : 0.0 sec. user=mdettweiler [2016-08-15 10:24:58] 905*2^1437568-1 is not prime. Res64: 971114EC17F62B38 Time : 0.0 sec. user=mdettweiler [2016-08-15 10:24:58] 909*2^1437568-1 is not prime. Res64: 386563431B473E9C Time : 0.0 sec. user=mdettweiler [2016-08-15 10:26:36] 615*2^1437569-1 is not prime. Res64: 74CEEB13BEAAED6A Time : 0.0 sec. user=mdettweiler [2016-08-15 10:26:40] 711*2^1437569-1 is not prime. Res64: 3D3C3A84DC6706DA Time : 0.0 sec. user=mdettweiler [2016-08-15 10:26:40] 721*2^1437569-1 is not prime. Res64: D3269787CDFBFC2F Time : 0.0 sec. user=mdettweiler [2016-08-15 10:26:41] 801*2^1437569-1 is not prime. Res64: 1BC4B1ACC6147FF9 Time : 0.0 sec. user=mdettweiler [2016-08-15 10:26:41] 867*2^1437569-1 is not prime. Res64: 1DBE0128226EF76B Time : 0.0 sec. user=mdettweiler [2016-08-15 10:47:17] 641*2^1437570-1 is not prime. Res64: EE50F8265E72ED17 Time : 0.0 sec. user=mdettweiler [2016-08-15 10:47:17] 681*2^1437570-1 is not prime. Res64: E42346D90BEFE7FD Time : 0.0 sec. user=mdettweiler [2016-08-15 10:47:17] 821*2^1437570-1 is not prime. Res64: 5E417B878E29830E Time : 0.0 sec. user=mdettweiler [2016-08-15 10:47:18] 867*2^1437570-1 is not prime. Res64: BB8C2E56C3AB20A4 Time : 0.0 sec. user=mdettweiler [2016-08-15 10:47:18] 977*2^1437570-1 is not prime. Res64: C8F0EDEE03A8210B Time : 0.0 sec. user=mdettweiler [2016-08-15 11:08:48] 691*2^1437571-1 is not prime. Res64: 6E14AB0C678F4124 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:08:49] 723*2^1437571-1 is not prime. Res64: 5052E1B5D7A7F7D6 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:08:51] 733*2^1437571-1 is not prime. Res64: 5549FE9C1DB3506B Time : 0.0 sec. user=mdettweiler [2016-08-15 11:08:52] 951*2^1437571-1 is not prime. Res64: 67365AA5C798DE94 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:08:52] 603*2^1437572-1 is not prime. Res64: 43411A92056560D7 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:09:44] 797*2^1437572-1 is not prime. Res64: 160CFDDDCF858C36 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:09:45] 875*2^1437572-1 is not prime. Res64: 3EC0BF2687B198B4 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:09:45] 909*2^1437572-1 is not prime. Res64: 36A0D5AA4BCBEA06 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:09:48] 679*2^1437573-1 is not prime. Res64: 8CFE30FD5F8C1ED0 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:09:48] 727*2^1437573-1 is not prime. Res64: 83E7499A18CD41A8 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:11:32] 789*2^1437573-1 is not prime. Res64: 84033E8F59EB0F9C Time : 0.0 sec. user=mdettweiler [2016-08-15 11:11:33] 877*2^1437573-1 is not prime. Res64: C8AFA630ECC8D4B3 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:11:33] 605*2^1437574-1 is not prime. Res64: 8CB4896DE6BE4813 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:11:34] 825*2^1437574-1 is not prime. Res64: 53B1C28E4CF60C75 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:11:34] 863*2^1437574-1 is not prime. Res64: C0F73C3BCB31D8C6 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:32:47] 915*2^1437574-1 is not prime. Res64: FDF92F839D7F465C Time : 0.0 sec. user=mdettweiler [2016-08-15 11:32:48] 945*2^1437574-1 is not prime. Res64: D4A7D8715FE1A0CB Time : 0.0 sec. user=mdettweiler [2016-08-15 11:32:49] 951*2^1437574-1 is not prime. Res64: 6A609AB968E0E5E6 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:32:50] 971*2^1437574-1 is not prime. Res64: 08BE0ABF417CF0E4 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:32:51] 1001*2^1437574-1 is not prime. Res64: 9C013EE804674B5F Time : 0.0 sec. user=mdettweiler [2016-08-15 11:54:38] 685*2^1437575-1 is not prime. Res64: A5FBDCB4D65EC6B8 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:54:38] 693*2^1437575-1 is not prime. Res64: 291CFA5A7ACFF140 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:54:39] 789*2^1437575-1 is not prime. Res64: 53A395A8F016B26F Time : 0.0 sec. user=mdettweiler [2016-08-15 11:54:39] 841*2^1437575-1 is not prime. Res64: C424802725005FAC Time : 0.0 sec. user=mdettweiler [2016-08-15 11:54:39] 921*2^1437575-1 is not prime. Res64: 0BF2349D3DE91C2B Time : 0.0 sec. user=mdettweiler [2016-08-15 11:55:33] 943*2^1437575-1 is not prime. Res64: 4BCD786B8C6AAF05 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:55:33] 985*2^1437575-1 is not prime. Res64: 3957865F118D96F6 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:55:34] 633*2^1437576-1 is not prime. Res64: 136A290BE709B49A Time : 0.0 sec. user=mdettweiler [2016-08-15 11:55:34] 705*2^1437576-1 is not prime. Res64: 486CD9EAE6F0B944 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:55:34] 735*2^1437576-1 is not prime. Res64: 948BE7C1110ECF75 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:57:12] 815*2^1437576-1 is not prime. Res64: 92FC5EB5575A5970 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:57:12] 867*2^1437576-1 is not prime. Res64: 2E4F5A6598CBFF80 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:57:12] 873*2^1437576-1 is not prime. Res64: 2964F6F3391CC7ED Time : 0.0 sec. user=mdettweiler [2016-08-15 11:57:13] 887*2^1437576-1 is not prime. Res64: 5696B5D2CC5ED220 Time : 0.0 sec. user=mdettweiler [2016-08-15 11:57:13] 637*2^1437577-1 is not prime. Res64: 06E7FEE43063A209 Time : 0.0 sec. user=mdettweiler [2016-08-15 12:17:52] 675*2^1437577-1 is not prime. Res64: C0FF9598A470E7C9 Time : 0.0 sec. user=mdettweiler [2016-08-15 12:17:53] 817*2^1437577-1 is not prime. Res64: A2AB0A56990F3766 Time : 0.0 sec. user=mdettweiler [2016-08-15 12:17:53] 919*2^1437577-1 is not prime. Res64: 2637604179E0D96B Time : 0.0 sec. user=mdettweiler [2016-08-15 12:17:53] 997*2^1437577-1 is not prime. Res64: AE13955A83882BA1 Time : 0.0 sec. user=mdettweiler [2016-08-15 12:17:54] 633*2^1437578-1 is not prime. Res64: A3F4C2EDDB5DE942 Time : 0.0 sec. user=mdettweiler [2016-08-15 12:39:46] 641*2^1437578-1 is not prime. Res64: FB05C1200DC8ADD6 Time : 0.0 sec. user=mdettweiler [2016-08-15 12:39:46] 813*2^1437578-1 is not prime. Res64: C97173B19743C0AC Time : 0.0 sec. user=mdettweiler [2016-08-15 12:39:47] 825*2^1437578-1 is not prime. Res64: DA307D89536A03F8 Time : 0.0 sec. user=mdettweiler [2016-08-15 12:39:47] 843*2^1437578-1 is not prime. Res64: 277CE01CDA00426E Time : 0.0 sec. user=mdettweiler [2016-08-15 12:39:48] 867*2^1437578-1 is not prime. Res64: 78DE6ABC49E1BD32 Time : 0.0 sec. user=mdettweiler [2016-08-15 12:40:28] 963*2^1437578-1 is not prime. Res64: 919DC235BB81C34E Time : 0.0 sec. user=mdettweiler [2016-08-15 12:40:29] 971*2^1437578-1 is not prime. Res64: D51F20E054CB2899 Time : 0.0 sec. user=mdettweiler [2016-08-15 12:40:29] 977*2^1437578-1 is not prime. Res64: 6C2445C434642E36 Time : 0.0 sec. user=mdettweiler [2016-08-15 12:40:30] 741*2^1437579-1 is not prime. Res64: 3A161C164DCD1068 Time : 0.0 sec. user=mdettweiler [2016-08-15 12:40:30] 795*2^1437579-1 is not prime. Res64: AFDFFD797F5B15E9 Time : 0.0 sec. user=mdettweiler [2016-08-15 12:42:06] 955*2^1437579-1 is not prime. Res64: F12E05BEA4F21EAF Time : 0.0 sec. user=mdettweiler [2016-08-15 12:42:06] 689*2^1437580-1 is not prime. Res64: F6AB9A22BFDEA4B1 Time : 0.0 sec. user=mdettweiler [2016-08-15 12:42:07] 729*2^1437580-1 is not prime. Res64: CC460ABD26821669 Time : 0.0 sec. user=mdettweiler [2016-08-15 12:42:07] 783*2^1437580-1 is not prime. Res64: DFF1D4E13C88A986 Time : 0.0 sec. user=mdettweiler [2016-08-15 12:42:08] 813*2^1437580-1 is not prime. Res64: 9658B340AF12BE09 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:02:55] 819*2^1437580-1 is not prime. Res64: 97B1C90BC2AACD64 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:02:56] 873*2^1437580-1 is not prime. Res64: D629F2D4DE3228D6 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:02:57] 915*2^1437580-1 is not prime. Res64: 299220C634CD7BF0 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:03:00] 987*2^1437580-1 is not prime. Res64: 03C30954787B47B5 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:03:00] 607*2^1437581-1 is not prime. Res64: 008A6F343520CC41 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:25:04] 621*2^1437581-1 is not prime. Res64: 63D1421328963FE5 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:25:05] 675*2^1437581-1 is not prime. Res64: E5772980A763B858 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:25:05] 697*2^1437581-1 is not prime. Res64: C25137069F043948 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:25:06] 715*2^1437581-1 is not prime. Res64: 699FD727B212B738 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:25:06] 819*2^1437581-1 is not prime. Res64: 93EDD5233894544C Time : 0.0 sec. user=mdettweiler [2016-08-15 13:25:40] 855*2^1437581-1 is not prime. Res64: 3BDB02C9082567C3 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:25:41] 865*2^1437581-1 is not prime. Res64: 4E58EA7FF3586937 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:25:42] 615*2^1437583-1 is not prime. Res64: 3CEAF9390E6C1C42 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:25:42] 639*2^1437583-1 is not prime. Res64: 91608F95773F9413 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:25:43] 673*2^1437583-1 is not prime. Res64: 00F3C99E2440F2A2 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:27:12] 705*2^1437583-1 is not prime. Res64: 2B4B3B6C2888A00D Time : 0.0 sec. user=mdettweiler [2016-08-15 13:27:13] 723*2^1437583-1 is not prime. Res64: 6B88097F49871CA5 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:27:13] 741*2^1437583-1 is not prime. Res64: 3FC16DBA131A7C4D Time : 0.0 sec. user=mdettweiler [2016-08-15 13:27:15] 769*2^1437583-1 is not prime. Res64: A3720BC9EAF61292 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:27:16] 813*2^1437583-1 is not prime. Res64: EACA62253DB93480 Time : 0.0 sec. user=juhehe [2016-08-15 13:34:18] 927*2^1437509-1 is not prime. Res64: 7B02597DFF339D94 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:48:13] 861*2^1437583-1 is not prime. Res64: 536DD669BD78CA5E Time : 0.0 sec. user=mdettweiler [2016-08-15 13:48:13] 885*2^1437583-1 is not prime. Res64: EB276357D0ACF519 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:48:13] 913*2^1437583-1 is not prime. Res64: ED48869E619EB4F9 Time : 0.0 sec. user=mdettweiler [2016-08-15 13:48:14] 993*2^1437583-1 is not prime. Res64: 9F44ECD3835267AB Time : 0.0 sec. user=mdettweiler [2016-08-15 13:48:14] 785*2^1437584-1 is not prime. Res64: FD7DDF242DAB4344 Time : 0.0 sec. user=juhehe [2016-08-15 14:09:24] 883*2^1437587-1 is not prime. Res64: 9198CAB4D3E4944D Time : 0.0 sec. user=mdettweiler [2016-08-15 14:10:11] 993*2^1437584-1 is not prime. Res64: 288B0EC409431921 Time : 0.0 sec. user=mdettweiler [2016-08-15 14:10:14] 627*2^1437585-1 is not prime. Res64: 5C397D0605AE8843 Time : 0.0 sec. user=mdettweiler [2016-08-15 14:10:18] 651*2^1437585-1 is not prime. Res64: 1CEB0F4B7DACDED6 Time : 0.0 sec. user=mdettweiler [2016-08-15 14:10:20] 721*2^1437585-1 is not prime. Res64: 6439790E716A2416 Time : 0.0 sec. user=mdettweiler [2016-08-15 14:10:23] 795*2^1437585-1 is not prime. Res64: E83E438132316B01 Time : 0.0 sec. user=mdettweiler [2016-08-15 14:11:00] 861*2^1437585-1 is not prime. Res64: 1D45CFCB6A92CCB3 Time : 0.0 sec. user=mdettweiler [2016-08-15 14:12:32] 903*2^1437586-1 is not prime. Res64: 508B3B389E899D4B Time : 0.0 sec. user=mdettweiler [2016-08-15 14:12:33] 987*2^1437586-1 is not prime. Res64: B8A40652DA76CC47 Time : 0.0 sec. user=mdettweiler [2016-08-15 14:12:34] 711*2^1437587-1 is not prime. Res64: 4A7AEDF495858F8E Time : 0.0 sec. user=mdettweiler [2016-08-15 14:12:34] 733*2^1437587-1 is not prime. Res64: 33788545A5744696 Time : 0.0 sec. user=mdettweiler [2016-08-15 14:12:35] 735*2^1437587-1 is not prime. Res64: EF05182E8406B62C Time : 0.0 sec. user=mdettweiler [2016-08-15 14:34:02] 903*2^1437587-1 is not prime. Res64: 3881126A5355B348 Time : 0.0 sec. user=mdettweiler [2016-08-15 14:34:03] 945*2^1437587-1 is not prime. Res64: F1F171205E13CA8D Time : 0.0 sec. user=mdettweiler [2016-08-15 14:34:03] 981*2^1437587-1 is not prime. Res64: 164E24DD48CFE027 Time : 0.0 sec. user=mdettweiler [2016-08-15 14:34:03] 725*2^1437588-1 is not prime. Res64: C15CDF6649CA82CB Time : 0.0 sec. user=mdettweiler [2016-08-15 14:34:04] 843*2^1437588-1 is not prime. Res64: F6F99C7D7697BDD1 Time : 0.0 sec. user=mdettweiler [2016-08-15 14:57:08] 935*2^1437588-1 is not prime. Res64: BB4B177EACA674E5 Time : 0.0 sec. user=mdettweiler [2016-08-15 14:57:09] 747*2^1437589-1 is not prime. Res64: F038083D50219BF4 Time : 0.0 sec. user=mdettweiler [2016-08-15 14:57:09] 877*2^1437589-1 is not prime. Res64: 120EEF37DCAAC7FA Time : 0.0 sec. user=mdettweiler [2016-08-15 14:57:09] 885*2^1437589-1 is not prime. Res64: F08748136AA838DD Time : 0.0 sec. user=mdettweiler [2016-08-15 14:57:10] 687*2^1437590-1 is not prime. Res64: 75E8DAC1C56F5857 Time : 0.0 sec. user=mdettweiler [2016-08-15 14:58:47] 951*2^1437590-1 is not prime. Res64: 8DC639DA8982F0F7 Time : 0.0 sec. user=mdettweiler [2016-08-15 14:58:47] 987*2^1437590-1 is not prime. Res64: 4DCAD0ABDE16C8E6 Time : 0.0 sec. user=mdettweiler [2016-08-15 14:58:50] 685*2^1437591-1 is not prime. Res64: B12845565CE0C4EF Time : 0.0 sec. user=mdettweiler [2016-08-15 14:58:50] 751*2^1437591-1 is not prime. Res64: 880B3259617F22CA Time : 0.0 sec. user=mdettweiler [2016-08-15 14:58:50] 783*2^1437591-1 is not prime. Res64: B625D43026384F60 Time : 0.0 sec. user=mdettweiler [2016-08-15 15:20:35] 793*2^1437591-1 is not prime. Res64: 2B67E46D7F8CB6E8 Time : 0.0 sec. user=mdettweiler [2016-08-15 15:20:36] 871*2^1437591-1 is not prime. Res64: 009235D4A921C1FA Time : 0.0 sec. user=mdettweiler [2016-08-15 15:20:36] 873*2^1437592-1 is not prime. Res64: 77F0F957A80A76CF Time : 0.0 sec. user=mdettweiler [2016-08-15 15:20:36] 965*2^1437592-1 is not prime. Res64: 971ED6536B8B9556 Time : 0.0 sec. user=mdettweiler [2016-08-15 15:20:37] 983*2^1437592-1 is not prime. Res64: 7201D39C6965C048 Time : 0.0 sec. user=mdettweiler [2016-08-15 15:43:14] 657*2^1437593-1 is not prime. Res64: 5E1B00594FD154ED Time : 0.0 sec. user=mdettweiler [2016-08-15 15:43:14] 727*2^1437593-1 is not prime. Res64: D5966312C6E3C179 Time : 0.0 sec. user=mdettweiler [2016-08-15 15:43:15] 795*2^1437593-1 is not prime. Res64: B54BF54DA670E6E2 Time : 0.0 sec. user=mdettweiler [2016-08-15 15:43:15] 967*2^1437593-1 is not prime. Res64: 7B06BCCB50CA2F3F Time : 0.0 sec. user=mdettweiler [2016-08-15 15:43:15] 633*2^1437594-1 is not prime. Res64: AF7DACC424FD70C4 Time : 0.0 sec. user=mdettweiler [2016-08-15 15:45:03] 783*2^1437594-1 is not prime. Res64: 17F60104F15B2562 Time : 0.0 sec. user=mdettweiler [2016-08-15 15:45:04] 1001*2^1437594-1 is not prime. Res64: 13115F469D887861 Time : 0.0 sec. user=mdettweiler [2016-08-15 15:45:04] 645*2^1437595-1 is not prime. Res64: 3436202DE859E4B3 Time : 0.0 sec. user=mdettweiler [2016-08-15 15:45:05] 649*2^1437595-1 is not prime. Res64: B1C1BEC078C54E8E Time : 0.0 sec. user=mdettweiler [2016-08-15 15:45:08] 733*2^1437595-1 is not prime. Res64: 85D1A58710062B38 Time : 0.0 sec. user=mdettweiler [2016-08-15 16:06:39] 789*2^1437595-1 is not prime. Res64: 9F4B93D3EB5739B2 Time : 0.0 sec. user=mdettweiler [2016-08-15 16:06:41] 819*2^1437595-1 is not prime. Res64: 9D28968CA2009C80 Time : 0.0 sec. user=mdettweiler [2016-08-15 16:06:43] 859*2^1437595-1 is not prime. Res64: D8321DF90BDE9D35 Time : 0.0 sec. user=mdettweiler [2016-08-15 16:06:44] 873*2^1437595-1 is not prime. Res64: 1ED28F876897CA1F Time : 0.0 sec. user=mdettweiler [2016-08-15 16:06:45] 913*2^1437595-1 is not prime. Res64: 0FE8080F176A7FE2 Time : 0.0 sec. user=mdettweiler [2016-08-15 16:29:14] 629*2^1437596-1 is not prime. Res64: FDA4494C829914A3 Time : 0.0 sec. user=mdettweiler [2016-08-15 16:29:14] 735*2^1437596-1 is not prime. Res64: C66D223AF7169399 Time : 0.0 sec. user=mdettweiler [2016-08-15 16:29:15] 813*2^1437596-1 is not prime. Res64: BAF66809F63EACFD Time : 0.0 sec. user=mdettweiler [2016-08-15 16:29:15] 879*2^1437596-1 is not prime. Res64: CE1C8B557F5801EE Time : 0.0 sec. user=mdettweiler [2016-08-15 16:29:17] 699*2^1437597-1 is not prime. Res64: E378F873E088FECC Time : 0.0 sec. user=mdettweiler [2016-08-15 16:31:18] 711*2^1437597-1 is not prime. Res64: E4F75E72410DC1C2 Time : 0.0 sec. user=mdettweiler [2016-08-15 16:31:18] 769*2^1437597-1 is not prime. Res64: FE5BCC0817E2C41F Time : 0.0 sec. user=mdettweiler [2016-08-15 16:31:18] 819*2^1437597-1 is not prime. Res64: 1E67B54B2388D697 Time : 0.0 sec. user=mdettweiler [2016-08-15 16:31:19] 825*2^1437597-1 is not prime. Res64: EBEEEC8D942F4E6F Time : 0.0 sec. user=mdettweiler [2016-08-15 16:31:19] 829*2^1437597-1 is not prime. Res64: 377F18A26B64D555 Time : 0.0 sec. user=mdettweiler [2016-08-15 16:53:07] 847*2^1437597-1 is not prime. Res64: 06610AE45490CCF8 Time : 0.0 sec. user=mdettweiler [2016-08-15 16:53:08] 885*2^1437597-1 is not prime. Res64: AD8A4824F1C860A4 Time : 0.0 sec. user=mdettweiler [2016-08-15 16:53:08] 915*2^1437597-1 is not prime. Res64: BC48E0359C37E631 Time : 0.0 sec. user=mdettweiler [2016-08-15 16:53:08] 705*2^1437598-1 is not prime. Res64: C12879028148B647 Time : 0.0 sec. user=mdettweiler [2016-08-15 16:53:09] 723*2^1437598-1 is not prime. Res64: E93CCF3AC6330B3D Time : 0.0 sec. user=mdettweiler [2016-08-15 17:06:53] 999*2^1437585-1 is not prime. Res64: 8C3E9703A25B8BCE Time : 0.0 sec. user=mdettweiler [2016-08-15 17:07:02] 645*2^1437586-1 is not prime. Res64: F94275708CA96708 Time : 0.0 sec. user=mdettweiler [2016-08-15 17:07:03] 705*2^1437586-1 is not prime. Res64: 0A0E11BC03344770 Time : 0.0 sec. user=mdettweiler [2016-08-15 17:07:04] 743*2^1437586-1 is not prime. Res64: 01FA029131BFD463 Time : 0.0 sec. user=mdettweiler [2016-08-15 17:15:27] 815*2^1437598-1 is not prime. Res64: 911AB86DA51A28FC Time : 0.0 sec. user=mdettweiler [2016-08-15 17:15:27] 861*2^1437598-1 is not prime. Res64: 6B0055E3E84CF8C6 Time : 0.0 sec. user=mdettweiler [2016-08-15 17:15:28] 863*2^1437598-1 is not prime. Res64: 46E6F4A9A9E11877 Time : 0.0 sec. user=mdettweiler [2016-08-15 17:15:28] 885*2^1437598-1 is not prime. Res64: D6E8A487AFA07516 Time : 0.0 sec. user=mdettweiler [2016-08-15 17:15:28] 887*2^1437598-1 is not prime. Res64: 9FF9C4F1807A3A9B Time : 0.0 sec. user=mdettweiler [2016-08-15 17:17:08] 933*2^1437598-1 is not prime. Res64: 20F29F1ECE487159 Time : 0.0 sec. user=mdettweiler [2016-08-15 17:17:09] 971*2^1437598-1 is not prime. Res64: 6732A55793BDB6A0 Time : 0.0 sec. user=mdettweiler [2016-08-15 17:17:09] 655*2^1437599-1 is not prime. Res64: 09094E87E45E3D34 Time : 0.0 sec. user=mdettweiler [2016-08-15 17:17:10] 661*2^1437599-1 is not prime. Res64: 9A2EBEB352CFC5FB Time : 0.0 sec. user=mdettweiler [2016-08-15 17:17:10] 669*2^1437599-1 is not prime. Res64: 25BB1D5A7CEC9D73 Time : 0.0 sec. user=mdettweiler [2016-08-15 17:38:22] 789*2^1437599-1 is not prime. Res64: F7428A7A12D386FE Time : 0.0 sec. user=mdettweiler [2016-08-15 17:38:23] 885*2^1437599-1 is not prime. Res64: 6FE61583C640F21A Time : 0.0 sec. user=mdettweiler [2016-08-15 17:38:23] 949*2^1437599-1 is not prime. Res64: B0F412D79AD7C6D2 Time : 0.0 sec. user=mdettweiler [2016-08-15 17:38:24] 979*2^1437599-1 is not prime. Res64: 02838D9AB9FA5A39 Time : 0.0 sec. user=mdettweiler [2016-08-15 17:38:24] 735*2^1437600-1 is not prime. Res64: 5446D7CAF58311F0 Time : 0.0 sec. user=mdettweiler [2016-08-15 17:52:11] 779*2^1437600-1 is not prime. Res64: 49BE860DD1BDB27E Time : 0.0 sec. user=mdettweiler [2016-08-15 17:52:11] 681*2^1437601-1 is not prime. Res64: 001323C3B155B367 Time : 0.0 sec. user=mdettweiler [2016-08-15 17:52:12] 747*2^1437601-1 is not prime. Res64: 7863154F119AF281 Time : 0.0 sec. user=mdettweiler [2016-08-15 17:52:12] 769*2^1437601-1 is not prime. Res64: 5621FE5C2D0204BF Time : 0.0 sec. user=mdettweiler [2016-08-15 17:52:13] 771*2^1437601-1 is not prime. Res64: 6154F80498581308 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:00:46] 755*2^1437602-1 is not prime. Res64: B07EA6B48D2CB9E4 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:00:47] 649*2^1437603-1 is not prime. Res64: 5BB838E7D68318B1 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:00:48] 679*2^1437603-1 is not prime. Res64: 1482B5A840304FE1 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:00:49] 685*2^1437603-1 is not prime. Res64: BBDE45562EE521B1 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:00:49] 801*2^1437603-1 is not prime. Res64: F5F02354EC6931D6 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:02:08] 871*2^1437603-1 is not prime. Res64: 66A32BF7E5F07389 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:02:08] 921*2^1437603-1 is not prime. Res64: BC3A504B74601878 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:02:09] 945*2^1437603-1 is not prime. Res64: 58131C2C263AB40C Time : 0.0 sec. user=mdettweiler [2016-08-15 18:02:10] 951*2^1437603-1 is not prime. Res64: 5199C4F3ED8E7A22 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:02:11] 869*2^1437604-1 is not prime. Res64: BD13BD6B5360427A Time : 0.0 sec. user=mdettweiler [2016-08-15 18:23:30] 885*2^1437604-1 is not prime. Res64: BE91BE63D13E8C02 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:23:31] 927*2^1437604-1 is not prime. Res64: 747026FD697C7661 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:23:31] 959*2^1437604-1 is not prime. Res64: AE0E008D57CCE266 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:23:31] 741*2^1437605-1 is not prime. Res64: 3DA6A2074B5E3FF1 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:23:32] 981*2^1437605-1 is not prime. Res64: 6198CC7B648D6835 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:37:12] 627*2^1437606-1 is not prime. Res64: 59E34D69050BCB96 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:37:13] 867*2^1437606-1 is not prime. Res64: 90B562A831AAEFF2 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:37:13] 941*2^1437606-1 is not prime. Res64: 5CD744F6AE52DDB2 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:37:14] 663*2^1437607-1 is not prime. Res64: 06E7C8C35AB90BD9 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:37:14] 685*2^1437607-1 is not prime. Res64: 5003E6EFD0145699 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:45:55] 729*2^1437607-1 is not prime. Res64: B469AD9D053C52CD Time : 0.0 sec. user=mdettweiler [2016-08-15 18:45:55] 819*2^1437607-1 is not prime. Res64: 8635D8A86180F475 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:45:56] 871*2^1437607-1 is not prime. Res64: 94DE8C54E86AE02C Time : 0.0 sec. user=mdettweiler [2016-08-15 18:45:56] 919*2^1437607-1 is not prime. Res64: 97BCD66425BD15EC Time : 0.0 sec. user=mdettweiler [2016-08-15 18:45:57] 677*2^1437608-1 is not prime. Res64: 8CD4FAB60990EFD7 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:47:20] 747*2^1437608-1 is not prime. Res64: EFB88A78A2ADA30C Time : 0.0 sec. user=mdettweiler [2016-08-15 18:47:21] 795*2^1437608-1 is not prime. Res64: CA59436872A3EE31 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:47:21] 935*2^1437608-1 is not prime. Res64: 834BE7EF0D823DEA Time : 0.0 sec. user=mdettweiler [2016-08-15 18:47:21] 637*2^1437609-1 is not prime. Res64: A31106EF8DC86362 Time : 0.0 sec. user=mdettweiler [2016-08-15 18:47:22] 669*2^1437609-1 is not prime. Res64: 219FD086E6ABEC6B Time : 0.0 sec. user=mdettweiler [2016-08-15 19:08:18] 759*2^1437609-1 is not prime. Res64: C5D5D867DD797D13 Time : 0.0 sec. user=mdettweiler [2016-08-15 19:08:18] 885*2^1437609-1 is not prime. Res64: 9780D102CE3A4DB3 Time : 0.0 sec. user=mdettweiler [2016-08-15 19:08:19] 889*2^1437609-1 is not prime. Res64: E02CA7B63C53CA0D Time : 0.0 sec. user=mdettweiler [2016-08-15 19:08:19] 949*2^1437609-1 is not prime. Res64: 2A582EA6D791A5A3 Time : 0.0 sec. user=mdettweiler [2016-08-15 19:08:22] 603*2^1437610-1 is not prime. Res64: 40C9073C65ADCCF6 Time : 0.0 sec. user=mdettweiler [2016-08-15 19:22:33] 657*2^1437610-1 is not prime. Res64: 0210B2C959A48509 Time : 0.0 sec. user=mdettweiler [2016-08-15 19:22:33] 743*2^1437610-1 is not prime. Res64: 4658094B94756587 Time : 0.0 sec. user=mdettweiler [2016-08-15 19:22:34] 801*2^1437610-1 is not prime. Res64: 9BA006B18EB8F1E9 Time : 0.0 sec. user=mdettweiler [2016-08-15 19:22:34] 995*2^1437610-1 is not prime. Res64: 78CBEFC78F920640 Time : 0.0 sec. user=mdettweiler [2016-08-15 19:22:35] 621*2^1437611-1 is not prime. Res64: 5A0ADA79FAD67A62 Time : 0.0 sec. user=mdettweiler [2016-08-15 19:31:51] 651*2^1437611-1 is not prime. Res64: 29359A476D4718F3 Time : 0.0 sec. user=mdettweiler [2016-08-15 19:31:51] 733*2^1437611-1 is not prime. Res64: 4D92B0CCBF2ADF52 Time : 0.0 sec. user=mdettweiler [2016-08-15 19:31:52] 735*2^1437611-1 is not prime. Res64: CEAF18C40082DEA8 Time : 0.0 sec. user=mdettweiler [2016-08-15 19:31:53] 745*2^1437611-1 is not prime. Res64: 8BE88A57E559D4CE Time : 0.0 sec. user=mdettweiler [2016-08-15 19:31:53] 753*2^1437611-1 is not prime. Res64: A01E0BD37259796F Time : 0.0 sec. user=mdettweiler [2016-08-15 19:32:47] 823*2^1437611-1 is not prime. Res64: A01D4F3FB6033226 Time : 0.0 sec. user=mdettweiler [2016-08-15 19:32:47] 855*2^1437611-1 is not prime. Res64: 864B706D88A0ED10 Time : 0.0 sec. user=mdettweiler [2016-08-15 19:32:48] 895*2^1437611-1 is not prime. Res64: 4DBD5B3422C80B58 Time : 0.0 sec. user=mdettweiler [2016-08-15 19:32:48] 931*2^1437611-1 is not prime. Res64: 31C7527DD329B5A4 Time : 0.0 sec. user=mdettweiler [2016-08-15 19:32:48] 949*2^1437611-1 is not prime. Res64: 32DBC6733DB1BFA9 Time : 0.0 sec. user=mdettweiler [2016-08-15 19:54:11] 993*2^1437611-1 is not prime. Res64: 0F2FA47898D302FA Time : 0.0 sec. user=mdettweiler [2016-08-15 19:54:11] 633*2^1437612-1 is not prime. Res64: 77C63E28FDD9E147 Time : 0.0 sec. user=mdettweiler [2016-08-15 19:54:12] 675*2^1437612-1 is not prime. Res64: 42084589AB0ED2CA Time : 0.0 sec. user=mdettweiler [2016-08-15 19:54:12] 723*2^1437612-1 is not prime. Res64: 50DFF1EB63FCD1D2 Time : 0.0 sec. user=mdettweiler [2016-08-15 19:54:13] 867*2^1437612-1 is not prime. Res64: 17FF39236C97B271 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:07:40] 887*2^1437612-1 is not prime. Res64: 53EF02D360307A35 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:07:41] 945*2^1437612-1 is not prime. Res64: 9A845B98FC9A70B9 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:07:41] 607*2^1437613-1 is not prime. Res64: 9FEF2CE0848A3666 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:07:42] 861*2^1437613-1 is not prime. Res64: F6A41BB7C1260E04 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:07:42] 945*2^1437613-1 is not prime. Res64: AB34147615E2B788 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:16:52] 951*2^1437613-1 is not prime. Res64: 4C1A30F22F1D6929 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:16:52] 967*2^1437613-1 is not prime. Res64: A472531D942C75A0 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:16:52] 623*2^1437614-1 is not prime. Res64: 0A305DD377185640 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:16:53] 635*2^1437614-1 is not prime. Res64: 640F01153D65421A Time : 0.0 sec. user=mdettweiler [2016-08-15 20:16:53] 675*2^1437614-1 is not prime. Res64: 2398397088BD4059 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:17:58] 753*2^1437614-1 is not prime. Res64: C848A3509831E529 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:17:59] 861*2^1437614-1 is not prime. Res64: 8F39355292D914A0 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:17:59] 873*2^1437614-1 is not prime. Res64: 7A6DDF3B2337DCD6 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:17:59] 897*2^1437614-1 is not prime. Res64: 2A9F8C270F43D2EF Time : 0.0 sec. user=mdettweiler [2016-08-15 20:18:00] 613*2^1437615-1 is not prime. Res64: 9063F41F27F55FDD Time : 0.0 sec. user=mdettweiler [2016-08-15 20:39:02] 625*2^1437615-1 is not prime. Res64: DD2A5D34FE36628C Time : 0.0 sec. user=mdettweiler [2016-08-15 20:39:02] 735*2^1437615-1 is not prime. Res64: 0D0D2ECBF49D3E63 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:39:03] 741*2^1437615-1 is not prime. Res64: 3A338F8990A610E0 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:39:03] 823*2^1437615-1 is not prime. Res64: E2794C85C162F47F Time : 0.0 sec. user=mdettweiler [2016-08-15 20:39:03] 865*2^1437615-1 is not prime. Res64: EF043F27ABBAD037 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:52:38] 909*2^1437615-1 is not prime. Res64: B718CAC53D7B4C82 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:52:39] 603*2^1437616-1 is not prime. Res64: E3111462D3F21799 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:52:39] 623*2^1437616-1 is not prime. Res64: 961DF954A56C80C7 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:52:40] 645*2^1437616-1 is not prime. Res64: 76C1B89C5570A065 Time : 0.0 sec. user=mdettweiler [2016-08-15 20:52:40] 677*2^1437616-1 is not prime. Res64: 37DB794AD4F3F7E0 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:01:54] 755*2^1437616-1 is not prime. Res64: F38E172FF4A6BFEF Time : 0.0 sec. user=mdettweiler [2016-08-15 21:01:58] 773*2^1437616-1 is not prime. Res64: 6EE026BA2282047C Time : 0.0 sec. user=mdettweiler [2016-08-15 21:02:00] 833*2^1437616-1 is not prime. Res64: 8A21D21F7C3C1042 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:02:01] 875*2^1437616-1 is not prime. Res64: B95AA76DDACEEF72 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:02:04] 899*2^1437616-1 is not prime. Res64: 9C134B6AB8D114E5 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:03:02] 983*2^1437616-1 is not prime. Res64: 9D69C56DE3552AC5 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:03:05] 989*2^1437616-1 is not prime. Res64: E5461033320FEA21 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:03:06] 999*2^1437616-1 is not prime. Res64: 2F477D1A83CB16CF Time : 0.0 sec. user=mdettweiler [2016-08-15 21:03:07] 879*2^1437617-1 is not prime. Res64: 7712A62F45DC8453 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:03:08] 981*2^1437617-1 is not prime. Res64: 2A1C4922075F0107 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:24:02] 985*2^1437617-1 is not prime. Res64: B82B33283FEF560A Time : 0.0 sec. user=mdettweiler [2016-08-15 21:24:04] 665*2^1437618-1 is not prime. Res64: 052A1D4317D891D3 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:24:05] 735*2^1437618-1 is not prime. Res64: 61330EDBD00FCF7D Time : 0.0 sec. user=mdettweiler [2016-08-15 21:24:05] 755*2^1437618-1 is not prime. Res64: B775CC13C95D0863 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:24:06] 891*2^1437618-1 is not prime. Res64: A8F1C6D17567F0E5 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:37:36] 601*2^1437619-1 is not prime. Res64: C69568117C025ADD Time : 0.0 sec. user=mdettweiler [2016-08-15 21:37:37] 663*2^1437619-1 is not prime. Res64: BF697936F98A011F Time : 0.0 sec. user=mdettweiler [2016-08-15 21:37:37] 679*2^1437619-1 is not prime. Res64: 58CA61FB48AC3B2C Time : 0.0 sec. user=mdettweiler [2016-08-15 21:37:37] 769*2^1437619-1 is not prime. Res64: 562ABD5C9F67F3D1 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:37:38] 789*2^1437619-1 is not prime. Res64: FC303B6F8F6F2B26 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:46:55] 829*2^1437619-1 is not prime. Res64: F8A41B845906CFF5 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:46:55] 939*2^1437619-1 is not prime. Res64: 2D6BCE9044C1DD32 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:46:56] 603*2^1437620-1 is not prime. Res64: DB93F670C29755C0 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:46:56] 725*2^1437620-1 is not prime. Res64: 2A2741D5FFC87884 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:46:56] 885*2^1437620-1 is not prime. Res64: 4D01374F6FA9D75C Time : 0.0 sec. user=mdettweiler [2016-08-15 21:48:08] 999*2^1437620-1 is not prime. Res64: DC235705207DE2FF Time : 0.0 sec. user=mdettweiler [2016-08-15 21:48:08] 609*2^1437621-1 is not prime. Res64: 7466DCAE5B8A08B3 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:48:08] 639*2^1437621-1 is not prime. Res64: 2785C03ACAFB5AD9 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:48:09] 675*2^1437621-1 is not prime. Res64: C92F65595EAAACB4 Time : 0.0 sec. user=mdettweiler [2016-08-15 21:48:09] 727*2^1437621-1 is not prime. Res64: 8E60428B2D8B4997 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:09:01] 795*2^1437621-1 is not prime. Res64: 809E7AB4D5BB48BD Time : 0.0 sec. user=mdettweiler [2016-08-15 22:09:08] 895*2^1437621-1 is not prime. Res64: 71221875DCD64F73 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:09:13] 645*2^1437622-1 is not prime. Res64: 71B993EF76615D43 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:09:17] 665*2^1437622-1 is not prime. Res64: BCE074F3C32CE709 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:09:19] 791*2^1437622-1 is not prime. Res64: 73891FDA70AD3C55 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:22:38] 827*2^1437622-1 is not prime. Res64: 9D9D41901F0D71C6 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:22:41] 831*2^1437622-1 is not prime. Res64: F4BF425A80E930EE Time : 0.0 sec. user=mdettweiler [2016-08-15 22:22:41] 873*2^1437622-1 is not prime. Res64: 54B0F0264E916AF6 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:22:42] 943*2^1437623-1 is not prime. Res64: 25C613172A79AB02 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:22:42] 973*2^1437623-1 is not prime. Res64: AF4A1149AE7BA544 Time : 0.0 sec. user=juhehe [2016-08-15 22:27:37] 699*2^1437624-1 is not prime. Res64: 0D3FE792890B503B Time : 0.0 sec. user=mdettweiler [2016-08-15 22:31:43] 789*2^1437624-1 is not prime. Res64: 3B5011B8A7C61803 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:31:44] 795*2^1437624-1 is not prime. Res64: C03DE660A3A15836 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:31:44] 809*2^1437624-1 is not prime. Res64: 863E600AE24A6000 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:31:45] 887*2^1437624-1 is not prime. Res64: CB80089685903BF3 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:31:46] 929*2^1437624-1 is not prime. Res64: C9F3F3288760D1EB Time : 0.0 sec. user=mdettweiler [2016-08-15 22:33:10] 947*2^1437624-1 is not prime. Res64: 3D1E9041110D3573 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:33:10] 661*2^1437625-1 is not prime. Res64: 968139A233B118A2 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:33:11] 715*2^1437625-1 is not prime. Res64: 00AA56A7F166EEF1 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:33:11] 717*2^1437625-1 is not prime. Res64: 444BCF99D4B59653 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:33:12] 771*2^1437625-1 is not prime. Res64: 62950C66871E7463 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:55:13] 877*2^1437625-1 is not prime. Res64: 32FED866E4C60677 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:55:13] 937*2^1437625-1 is not prime. Res64: 204077229A77BD16 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:55:14] 987*2^1437625-1 is not prime. Res64: E044FE30D81B84A1 Time : 0.0 sec. user=mdettweiler [2016-08-15 22:55:16] 633*2^1437626-1 is not prime. Res64: A76B845D98B3057B Time : 0.0 sec. user=mdettweiler [2016-08-15 22:55:16] 635*2^1437626-1 is not prime. Res64: FA6E5653D7D6FB87 Time : 0.0 sec. user=mdettweiler [2016-08-15 23:07:47] 707*2^1437626-1 is not prime. Res64: 22FB0892B94333B6 Time : 0.0 sec. user=mdettweiler [2016-08-15 23:07:53] 755*2^1437626-1 is not prime. Res64: 2D1213C90A6C4C04 Time : 0.0 sec. user=mdettweiler [2016-08-15 23:07:54] 971*2^1437626-1 is not prime. Res64: 71F6C68E8F8B692E Time : 0.0 sec. user=mdettweiler [2016-08-15 23:07:55] 651*2^1437627-1 is not prime. Res64: 6DFA0E36DC698FAD Time : 0.0 sec. user=mdettweiler [2016-08-15 23:07:59] 859*2^1437627-1 is not prime. Res64: F805954DB3D5778A Time : 0.0 sec. user=mdettweiler [2016-08-15 23:16:56] 861*2^1437627-1 is not prime. Res64: 30F84A412A361D1F Time : 0.0 sec. user=mdettweiler [2016-08-15 23:16:57] 895*2^1437627-1 is not prime. Res64: E6CF1771B57E074E Time : 0.0 sec. user=mdettweiler [2016-08-15 23:16:57] 963*2^1437627-1 is not prime. Res64: 586A84664CAEE98F Time : 0.0 sec. user=mdettweiler [2016-08-15 23:16:57] 629*2^1437628-1 is not prime. Res64: 196BCE062817EEB0 Time : 0.0 sec. user=mdettweiler [2016-08-15 23:16:58] 699*2^1437628-1 is not prime. Res64: 4ABE03AF4CB55EBD Time : 0.0 sec. user=mdettweiler [2016-08-15 23:18:19] 755*2^1437628-1 is not prime. Res64: 75F4AD83A43796D8 Time : 0.0 sec. user=mdettweiler [2016-08-15 23:18:19] 783*2^1437628-1 is not prime. Res64: 4792FECA8BAF0FEF Time : 0.0 sec. user=mdettweiler [2016-08-15 23:18:19] 825*2^1437628-1 is not prime. Res64: 1AF8D61C893D4E9E Time : 0.0 sec. user=mdettweiler [2016-08-15 23:18:20] 845*2^1437628-1 is not prime. Res64: ED0C51090B097FF8 Time : 0.0 sec. user=mdettweiler [2016-08-15 23:18:20] 855*2^1437628-1 is not prime. Res64: 823DB9E9ED0BA66B Time : 0.0 sec. user=mdettweiler [2016-08-15 23:40:15] 897*2^1437628-1 is not prime. Res64: 0757C4AC73F8E155 Time : 0.0 sec. user=mdettweiler [2016-08-15 23:40:16] 953*2^1437628-1 is not prime. Res64: 0618EE63E80FCED3 Time : 0.0 sec. user=mdettweiler [2016-08-15 23:40:16] 657*2^1437629-1 is not prime. Res64: C425DF38020D7353 Time : 0.0 sec. user=mdettweiler [2016-08-15 23:40:16] 691*2^1437629-1 is not prime. Res64: D0C04DC574B65456 Time : 0.0 sec. user=mdettweiler [2016-08-15 23:40:17] 697*2^1437629-1 is not prime. Res64: A8D39574DA8F40A3 Time : 0.0 sec. user=mdettweiler [2016-08-15 23:53:08] 939*2^1437629-1 is not prime. Res64: 7DDF2EF5F0947024 Time : 0.0 sec. user=mdettweiler [2016-08-15 23:53:09] 707*2^1437630-1 is not prime. Res64: 1B55329680B9D60F Time : 0.0 sec. user=mdettweiler [2016-08-15 23:53:09] 747*2^1437630-1 is not prime. Res64: 782B945D6DF1186D Time : 0.0 sec. user=mdettweiler [2016-08-15 23:53:10] 941*2^1437630-1 is not prime. Res64: F7AA788026931F10 Time : 0.0 sec. user=mdettweiler [2016-08-15 23:53:10] 681*2^1437631-1 is not prime. Res64: C8C50FA4F832A43D Time : 0.0 sec.