user=mdettweiler [2016-07-11 00:13:54] 717*2^1434954-1 is not prime. Res64: 3CB0F5006D0C15FA Time : 0.0 sec. user=mdettweiler [2016-07-11 00:13:55] 755*2^1434954-1 is not prime. Res64: 98FA943EF75F0DDC Time : 0.0 sec. user=mdettweiler [2016-07-11 00:13:56] 923*2^1434954-1 is not prime. Res64: 28F7292558FF0E2B Time : 0.0 sec. user=mdettweiler [2016-07-11 00:13:57] 993*2^1434954-1 is not prime. Res64: 22EE2EE12F693F54 Time : 0.0 sec. user=mdettweiler [2016-07-11 00:13:58] 625*2^1434955-1 is not prime. Res64: 8BA646120142E345 Time : 0.0 sec. user=mdettweiler [2016-07-11 00:15:02] 861*2^1434955-1 is not prime. Res64: F406252018AAFEC6 Time : 0.0 sec. user=mdettweiler [2016-07-11 00:15:08] 871*2^1434955-1 is not prime. Res64: 9C69D37DDAFF431D Time : 0.0 sec. user=mdettweiler [2016-07-11 00:15:16] 919*2^1434955-1 is not prime. Res64: 7564A844670CBAD2 Time : 0.0 sec. user=mdettweiler [2016-07-11 00:15:17] 951*2^1434955-1 is not prime. Res64: 3A5B98CA1191978F Time : 0.0 sec. user=mdettweiler [2016-07-11 00:15:18] 857*2^1434956-1 is not prime. Res64: 3ED6B80DFE288A4F Time : 0.0 sec. user=mdettweiler [2016-07-11 00:15:44] 903*2^1434956-1 is not prime. Res64: E3BB6820405DC4E4 Time : 0.0 sec. user=mdettweiler [2016-07-11 00:15:45] 935*2^1434956-1 is not prime. Res64: 8F9E378B72B9EC62 Time : 0.0 sec. user=mdettweiler [2016-07-11 00:15:46] 621*2^1434957-1 is not prime. Res64: 8E173DE0B0A0CAC4 Time : 0.0 sec. user=mdettweiler [2016-07-11 00:15:47] 759*2^1434957-1 is not prime. Res64: 67928E3267B3F734 Time : 0.0 sec. user=mdettweiler [2016-07-11 00:15:47] 769*2^1434957-1 is not prime. Res64: 2CC9059FFEDD491B Time : 0.0 sec. user=mdettweiler [2016-07-11 00:43:24] 865*2^1434957-1 is not prime. Res64: 0980526FFBBAEB1D Time : 0.0 sec. user=mdettweiler [2016-07-11 00:43:24] 605*2^1434958-1 is not prime. Res64: 921368D84022C870 Time : 0.0 sec. user=mdettweiler [2016-07-11 00:43:25] 647*2^1434958-1 is not prime. Res64: AAC48E60E650F986 Time : 0.0 sec. user=mdettweiler [2016-07-11 00:43:25] 687*2^1434958-1 is not prime. Res64: 510764964970AC0D Time : 0.0 sec. user=mdettweiler [2016-07-11 00:43:25] 731*2^1434958-1 is not prime. Res64: 85300DBF2007ECD9 Time : 0.0 sec. user=mdettweiler [2016-07-11 00:58:45] 737*2^1434958-1 is not prime. Res64: ABDE7F485CF2ABA5 Time : 0.0 sec. user=mdettweiler [2016-07-11 00:58:46] 743*2^1434958-1 is not prime. Res64: 0417D6F8C0321246 Time : 0.0 sec. user=mdettweiler [2016-07-11 00:58:46] 831*2^1434958-1 is not prime. Res64: A8BDFE2AE886C72B Time : 0.0 sec. user=mdettweiler [2016-07-11 00:58:47] 971*2^1434958-1 is not prime. Res64: FB3FCBD6EB9BF4B4 Time : 0.0 sec. user=mdettweiler [2016-07-11 00:58:48] 655*2^1434959-1 is not prime. Res64: 1BAA10DEEA53A8A6 Time : 0.0 sec. user=mdettweiler [2016-07-11 01:00:09] 711*2^1434959-1 is not prime. Res64: 628234AA72B4B68D Time : 0.0 sec. user=mdettweiler [2016-07-11 01:00:10] 861*2^1434959-1 is not prime. Res64: 3C5946D986F3A378 Time : 0.0 sec. user=mdettweiler [2016-07-11 01:00:11] 909*2^1434959-1 is not prime. Res64: FD8EB7197287DE14 Time : 0.0 sec. user=mdettweiler [2016-07-11 01:00:12] 955*2^1434959-1 is not prime. Res64: B9642D1A6EFB0C97 Time : 0.0 sec. user=mdettweiler [2016-07-11 01:00:13] 693*2^1434960-1 is not prime. Res64: 0B9FC0E3F9348719 Time : 0.0 sec. user=mdettweiler [2016-07-11 01:00:46] 759*2^1434960-1 is not prime. Res64: DC294597DA906F3A Time : 0.0 sec. user=mdettweiler [2016-07-11 01:00:48] 839*2^1434960-1 is not prime. Res64: A5F962D5A0E0BF95 Time : 0.0 sec. user=mdettweiler [2016-07-11 01:00:50] 887*2^1434960-1 is not prime. Res64: 2B0A552B447684B6 Time : 0.0 sec. user=mdettweiler [2016-07-11 01:00:52] 999*2^1434960-1 is not prime. Res64: 96AE0DC2A6271C74 Time : 0.0 sec. user=mdettweiler [2016-07-11 01:00:53] 625*2^1434961-1 is not prime. Res64: 5FBC741F56360209 Time : 0.0 sec. user=mdettweiler [2016-07-11 01:28:11] 649*2^1434961-1 is not prime. Res64: 099241267290F694 Time : 0.0 sec. user=mdettweiler [2016-07-11 01:28:20] 679*2^1434961-1 is not prime. Res64: 5E32B4BBAE954717 Time : 0.0 sec. user=mdettweiler [2016-07-11 01:28:21] 799*2^1434961-1 is not prime. Res64: 14FC4CBED93FE632 Time : 0.0 sec. user=mdettweiler [2016-07-11 01:28:22] 855*2^1434961-1 is not prime. Res64: 47A613F00F8A9FCA Time : 0.0 sec. user=mdettweiler [2016-07-11 01:28:23] 925*2^1434961-1 is not prime. Res64: A90BBD0ADF6F1C7C Time : 0.0 sec. user=mdettweiler [2016-07-11 01:43:28] 945*2^1434961-1 is not prime. Res64: 8862B0B8A4E4C819 Time : 0.0 sec. user=mdettweiler [2016-07-11 01:43:28] 603*2^1434962-1 is not prime. Res64: E8B78B555E4D6CBC Time : 0.0 sec. user=mdettweiler [2016-07-11 01:43:29] 645*2^1434962-1 is not prime. Res64: 93037922DEC47CFF Time : 0.0 sec. user=mdettweiler [2016-07-11 01:43:29] 665*2^1434962-1 is not prime. Res64: 9CBFF81FC9FBF4EB Time : 0.0 sec. user=mdettweiler [2016-07-11 01:43:29] 825*2^1434962-1 is not prime. Res64: 0973DAF21FBCCCC6 Time : 0.0 sec. user=mdettweiler [2016-07-11 01:44:54] 887*2^1434962-1 is not prime. Res64: B07B7B1AABFE30EC Time : 0.0 sec. user=mdettweiler [2016-07-11 01:44:54] 951*2^1434962-1 is not prime. Res64: 4DF195E620A3B516 Time : 0.0 sec. user=mdettweiler [2016-07-11 01:44:55] 963*2^1434962-1 is not prime. Res64: 004E18991D8B147C Time : 0.0 sec. user=mdettweiler [2016-07-11 01:44:55] 983*2^1434962-1 is not prime. Res64: 6137FE6CF408F67D Time : 0.0 sec. user=mdettweiler [2016-07-11 01:44:55] 663*2^1434963-1 is not prime. Res64: BCF71363FC8B0D4D Time : 0.0 sec. user=mdettweiler [2016-07-11 01:45:59] 769*2^1434963-1 is not prime. Res64: B15EE473FA0574DF Time : 0.0 sec. user=mdettweiler [2016-07-11 01:45:59] 823*2^1434963-1 is not prime. Res64: BBF58B1D1FA7FBCB Time : 0.0 sec. user=mdettweiler [2016-07-11 01:46:00] 891*2^1434963-1 is not prime. Res64: 5D96261C17DB4265 Time : 0.0 sec. user=mdettweiler [2016-07-11 01:46:00] 945*2^1434963-1 is not prime. Res64: C7254CA06E35F18C Time : 0.0 sec. user=mdettweiler [2016-07-11 01:46:01] 707*2^1434964-1 is not prime. Res64: FC0E1A84A2FAFD4B Time : 0.0 sec. user=mdettweiler [2016-07-11 02:13:24] 743*2^1434964-1 is not prime. Res64: 0A65DED67BFB0034 Time : 0.0 sec. user=mdettweiler [2016-07-11 02:13:25] 827*2^1434964-1 is not prime. Res64: 5FA9041FB1E6041A Time : 0.0 sec. user=mdettweiler [2016-07-11 02:13:25] 905*2^1434964-1 is not prime. Res64: AAB159EDC1D4356B Time : 0.0 sec. user=mdettweiler [2016-07-11 02:13:26] 909*2^1434964-1 is not prime. Res64: FF5657AEEDA88B04 Time : 0.0 sec. user=mdettweiler [2016-07-11 02:13:26] 927*2^1434964-1 is not prime. Res64: 78B0ED637E2045B5 Time : 0.0 sec. user=mdettweiler [2016-07-11 02:28:13] 727*2^1434965-1 is not prime. Res64: 8A7413DEDFA8B531 Time : 0.0 sec. user=mdettweiler [2016-07-11 02:28:14] 759*2^1434965-1 is not prime. Res64: D6D0340D6716D963 Time : 0.0 sec. user=mdettweiler [2016-07-11 02:28:14] 787*2^1434965-1 is not prime. Res64: 2335BD80A944E312 Time : 0.0 sec. user=mdettweiler [2016-07-11 02:28:15] 949*2^1434965-1 is not prime. Res64: 160CBE283C89C9A9 Time : 0.0 sec. user=mdettweiler [2016-07-11 02:28:15] 683*2^1434966-1 is not prime. Res64: 30609487E5D5725D Time : 0.0 sec. user=mdettweiler [2016-07-11 02:29:36] 711*2^1434966-1 is not prime. Res64: A20A6AC535D4DA71 Time : 0.0 sec. user=mdettweiler [2016-07-11 02:29:36] 833*2^1434966-1 is not prime. Res64: 648512811B606BD1 Time : 0.0 sec. user=mdettweiler [2016-07-11 02:29:37] 903*2^1434966-1 is not prime. Res64: C257B7842E13C126 Time : 0.0 sec. user=mdettweiler [2016-07-11 02:29:37] 663*2^1434967-1 is not prime. Res64: 3781F5FC9616788A Time : 0.0 sec. user=mdettweiler [2016-07-11 02:29:38] 675*2^1434967-1 is not prime. Res64: AB9B1858EEB13C94 Time : 0.0 sec. user=mdettweiler [2016-07-11 02:30:49] 871*2^1434967-1 is not prime. Res64: 61B9AD1FBBC692D1 Time : 0.0 sec. user=mdettweiler [2016-07-11 02:30:51] 933*2^1434967-1 is not prime. Res64: 89FA4E91C7887968 Time : 0.0 sec. user=mdettweiler [2016-07-11 02:30:51] 603*2^1434968-1 is not prime. Res64: 20AA58C291455A02 Time : 0.0 sec. user=mdettweiler [2016-07-11 02:30:53] 617*2^1434968-1 is not prime. Res64: 327193AA5201A26A Time : 0.0 sec. user=mdettweiler [2016-07-11 02:30:54] 645*2^1434968-1 is not prime. Res64: 9E95AE81E19D9361 Time : 0.0 sec. user=mdettweiler [2016-07-11 02:58:31] 687*2^1434968-1 is not prime. Res64: 9EDBBFD6DAB10197 Time : 0.0 sec. user=mdettweiler [2016-07-11 02:58:31] 713*2^1434968-1 is not prime. Res64: 77B61C2E08DACE38 Time : 0.0 sec. user=mdettweiler [2016-07-11 02:58:32] 725*2^1434968-1 is not prime. Res64: EA21DD99A2110413 Time : 0.0 sec. user=mdettweiler [2016-07-11 02:58:32] 767*2^1434968-1 is not prime. Res64: 9539D9B8B2A9CB7E Time : 0.0 sec. user=mdettweiler [2016-07-11 02:58:32] 795*2^1434968-1 is not prime. Res64: 2A3A6A4815090443 Time : 0.0 sec. user=mdettweiler [2016-07-11 03:13:27] 825*2^1434968-1 is not prime. Res64: C47049DAEA91E713 Time : 0.0 sec. user=mdettweiler [2016-07-11 03:13:27] 747*2^1434969-1 is not prime. Res64: C458365B0B24918E Time : 0.0 sec. user=mdettweiler [2016-07-11 03:13:28] 781*2^1434969-1 is not prime. Res64: D5B9E05C2850B2BE Time : 0.0 sec. user=mdettweiler [2016-07-11 03:13:28] 795*2^1434969-1 is not prime. Res64: 43634F97D8AE69F3 Time : 0.0 sec. user=mdettweiler [2016-07-11 03:13:29] 817*2^1434969-1 is not prime. Res64: 65FA5A5C7505F863 Time : 0.0 sec. user=mdettweiler [2016-07-11 03:14:34] 831*2^1434969-1 is not prime. Res64: B6B457005556FEBE Time : 0.0 sec. user=mdettweiler [2016-07-11 03:14:34] 865*2^1434969-1 is not prime. Res64: 2C91C53B77AE7581 Time : 0.0 sec. user=mdettweiler [2016-07-11 03:14:35] 889*2^1434969-1 is not prime. Res64: 4D4B161370BBA1EE Time : 0.0 sec. user=mdettweiler [2016-07-11 03:14:35] 945*2^1434969-1 is not prime. Res64: 31362FA4BC3BF8C7 Time : 0.0 sec. user=mdettweiler [2016-07-11 03:14:36] 663*2^1434970-1 is not prime. Res64: B2000E3D6B20BC57 Time : 0.0 sec. user=mdettweiler [2016-07-11 03:16:04] 861*2^1434970-1 is not prime. Res64: 34460AE4A7AC9F0E Time : 0.0 sec. user=mdettweiler [2016-07-11 03:16:04] 911*2^1434970-1 is not prime. Res64: 21F2D93D0F5130B6 Time : 0.0 sec. user=mdettweiler [2016-07-11 03:16:04] 981*2^1434970-1 is not prime. Res64: 66E6D561F685CAA6 Time : 0.0 sec. user=mdettweiler [2016-07-11 03:16:05] 1001*2^1434970-1 is not prime. Res64: 1EE7FB44508943EE Time : 0.0 sec. user=mdettweiler [2016-07-11 03:16:05] 645*2^1434971-1 is not prime. Res64: 3EC779BB95D0F8AD Time : 0.0 sec. user=mdettweiler [2016-07-11 03:44:02] 741*2^1434971-1 is not prime. Res64: 8FF2A864D7276928 Time : 0.0 sec. user=mdettweiler [2016-07-11 03:58:37] 979*2^1434971-1 is not prime. Res64: 1742D124240D66E9 Time : 0.0 sec. user=mdettweiler [2016-07-11 03:58:38] 993*2^1434971-1 is not prime. Res64: 4EADFE327F08E01E Time : 0.0 sec. user=mdettweiler [2016-07-11 03:58:39] 629*2^1434972-1 is not prime. Res64: C987264BA0123493 Time : 0.0 sec. user=mdettweiler [2016-07-11 03:58:39] 647*2^1434972-1 is not prime. Res64: D652C8DB14F333EC Time : 0.0 sec. user=mdettweiler [2016-07-11 03:58:40] 725*2^1434972-1 is not prime. Res64: 5B23C07480DA74FA Time : 0.0 sec. user=mdettweiler [2016-07-11 03:59:50] 749*2^1434972-1 is not prime. Res64: 93D76736F222A608 Time : 0.0 sec. user=mdettweiler [2016-07-11 03:59:50] 797*2^1434972-1 is not prime. Res64: 65ADDD0DE49E3057 Time : 0.0 sec. user=mdettweiler [2016-07-11 03:59:51] 685*2^1434973-1 is not prime. Res64: A10492B157FF760C Time : 0.0 sec. user=mdettweiler [2016-07-11 03:59:51] 751*2^1434973-1 is not prime. Res64: A3E8EB0A88DF562A Time : 0.0 sec. user=mdettweiler [2016-07-11 03:59:51] 847*2^1434973-1 is not prime. Res64: C0D4FFF37E1277D8 Time : 0.0 sec. user=mdettweiler [2016-07-11 04:01:11] 877*2^1434973-1 is not prime. Res64: 4949E9BD4619751C Time : 0.0 sec. user=mdettweiler [2016-07-11 04:01:12] 641*2^1434974-1 is not prime. Res64: 8AFC89F8A3A501E2 Time : 0.0 sec. user=mdettweiler [2016-07-11 04:01:13] 663*2^1434974-1 is not prime. Res64: CE8D2ED6302B2897 Time : 0.0 sec. user=mdettweiler [2016-07-11 04:01:14] 675*2^1434974-1 is not prime. Res64: 3A0C3AE2240EC6D9 Time : 0.0 sec. user=mdettweiler [2016-07-11 04:01:16] 683*2^1434974-1 is not prime. Res64: DEDAC62C153AB0E9 Time : 0.0 sec. user=mdettweiler [2016-07-11 04:46:26] 731*2^1434974-1 is not prime. Res64: C7843EE21A854114 Time : 0.0 sec. user=mdettweiler [2016-07-11 04:46:26] 753*2^1434974-1 is not prime. Res64: 1F9D6E541DD0A99B Time : 0.0 sec. user=mdettweiler [2016-07-11 04:46:27] 917*2^1434974-1 is not prime. Res64: 9B0BE41678DFBA0C Time : 0.0 sec. user=mdettweiler [2016-07-11 04:46:27] 723*2^1434975-1 is not prime. Res64: F60CAB7FAB5FEDA6 Time : 0.0 sec. user=mdettweiler [2016-07-11 04:46:27] 789*2^1434975-1 is not prime. Res64: 1F7E9D4AA2D54673 Time : 0.0 sec. user=mdettweiler [2016-07-11 04:47:17] 793*2^1434975-1 is not prime. Res64: FA4049787C8C03CB Time : 0.0 sec. user=mdettweiler [2016-07-11 04:47:18] 819*2^1434975-1 is not prime. Res64: AF0DD105A29363D0 Time : 0.0 sec. user=mdettweiler [2016-07-11 04:47:19] 859*2^1434975-1 is not prime. Res64: 2F7CF01DCF200A3E Time : 0.0 sec. user=mdettweiler [2016-07-11 04:47:19] 861*2^1434975-1 is not prime. Res64: D4E3A7206862C553 Time : 0.0 sec. user=mdettweiler [2016-07-11 04:47:20] 873*2^1434975-1 is not prime. Res64: 4FD3A6CE7E50A9C4 Time : 0.0 sec. user=mdettweiler [2016-07-11 04:47:51] 891*2^1434975-1 is not prime. Res64: 3F0F7B4E8B288019 Time : 0.0 sec. user=mdettweiler [2016-07-11 04:47:51] 623*2^1434976-1 is not prime. Res64: F61A8A2F5C02BB7B Time : 0.0 sec. user=mdettweiler [2016-07-11 04:47:51] 663*2^1434976-1 is not prime. Res64: B26E03B341FA6B82 Time : 0.0 sec. user=mdettweiler [2016-07-11 04:47:52] 719*2^1434976-1 is not prime. Res64: 6B00E10C34CA178A Time : 0.0 sec. user=mdettweiler [2016-07-11 04:47:52] 845*2^1434976-1 is not prime. Res64: CCFC09A88069598B Time : 0.0 sec. user=mdettweiler [2016-07-11 05:32:27] 857*2^1434976-1 is not prime. Res64: 1B188246F5D9D855 Time : 0.0 sec. user=mdettweiler [2016-07-11 05:32:27] 631*2^1434977-1 is not prime. Res64: D9CC05BA350AD61C Time : 0.0 sec. user=mdettweiler [2016-07-11 05:32:28] 691*2^1434977-1 is not prime. Res64: 70016D0159B3E70C Time : 0.0 sec. user=mdettweiler [2016-07-11 05:32:28] 699*2^1434977-1 is not prime. Res64: 899F80B03552D8A9 Time : 0.0 sec. user=mdettweiler [2016-07-11 05:32:28] 729*2^1434977-1 is not prime. Res64: F9367B40395F7321 Time : 0.0 sec. user=mdettweiler [2016-07-11 05:33:04] 831*2^1434977-1 is not prime. Res64: 838037106240E6EF Time : 0.0 sec. user=mdettweiler [2016-07-11 05:33:05] 871*2^1434977-1 is not prime. Res64: 43393F62764DBFBC Time : 0.0 sec. user=mdettweiler [2016-07-11 05:33:05] 889*2^1434977-1 is not prime. Res64: 48C2851885820EFE Time : 0.0 sec. user=mdettweiler [2016-07-11 05:33:05] 955*2^1434977-1 is not prime. Res64: C8EF972BC1DC0D04 Time : 0.0 sec. user=mdettweiler [2016-07-11 05:33:06] 991*2^1434977-1 is not prime. Res64: 23C7FC21A7DB8782 Time : 0.0 sec. user=mdettweiler [2016-07-11 05:33:38] 711*2^1434978-1 is not prime. Res64: 408B90A5843C4322 Time : 0.0 sec. user=mdettweiler [2016-07-11 05:33:38] 737*2^1434978-1 is not prime. Res64: E9A221A1413D80B4 Time : 0.0 sec. user=mdettweiler [2016-07-11 05:33:39] 803*2^1434978-1 is not prime. Res64: 8DD9D7D06600CC63 Time : 0.0 sec. user=mdettweiler [2016-07-11 05:33:39] 957*2^1434978-1 is not prime. Res64: E8533B743D02A06B Time : 0.0 sec. user=mdettweiler [2016-07-11 05:33:40] 977*2^1434978-1 is not prime. Res64: 8CF527962D096989 Time : 0.0 sec. user=mdettweiler [2016-07-11 06:18:56] 625*2^1434979-1 is not prime. Res64: 01B545DD135B3FA2 Time : 0.0 sec. user=mdettweiler [2016-07-11 06:18:57] 853*2^1434979-1 is not prime. Res64: 6FD2812FF9F314F5 Time : 0.0 sec. user=mdettweiler [2016-07-11 06:18:57] 873*2^1434979-1 is not prime. Res64: 3F43D9CC5E127A0A Time : 0.0 sec. user=mdettweiler [2016-07-11 06:18:57] 939*2^1434979-1 is not prime. Res64: 52E346503867E03E Time : 0.0 sec. user=mdettweiler [2016-07-11 06:18:58] 961*2^1434979-1 is not prime. Res64: 9465BED41B8B065C Time : 0.0 sec. user=mdettweiler [2016-07-11 06:19:15] 969*2^1434979-1 is not prime. Res64: 70C1FC3EFFDE2C03 Time : 0.0 sec. user=mdettweiler [2016-07-11 06:19:16] 999*2^1434979-1 is not prime. Res64: 58B379546415E999 Time : 0.0 sec. user=mdettweiler [2016-07-11 06:19:16] 707*2^1434980-1 is not prime. Res64: 84524E3BA22C074A Time : 0.0 sec. user=mdettweiler [2016-07-11 06:19:16] 855*2^1434980-1 is not prime. Res64: 86CE295088B4CE6A Time : 0.0 sec. user=mdettweiler [2016-07-11 06:19:17] 935*2^1434980-1 is not prime. Res64: 4662C832E75BFAF3 Time : 0.0 sec. user=mdettweiler [2016-07-11 06:19:53] 945*2^1434980-1 is not prime. Res64: 6A4E6AF8616C5B26 Time : 0.0 sec. user=mdettweiler [2016-07-11 06:19:53] 957*2^1434980-1 is not prime. Res64: 38B0DE3737A919E6 Time : 0.0 sec. user=mdettweiler [2016-07-11 06:19:54] 649*2^1434981-1 is not prime. Res64: 3EC6E53415F573C7 Time : 0.0 sec. user=mdettweiler [2016-07-11 06:19:54] 711*2^1434981-1 is not prime. Res64: 98D50874E4E3CA0A Time : 0.0 sec. user=mdettweiler [2016-07-11 06:19:55] 747*2^1434981-1 is not prime. Res64: 1B5E2EC2E269A17B Time : 0.0 sec. user=mdettweiler [2016-07-11 06:30:59] 813*2^1434971-1 is not prime. Res64: E5EE9EE4F1428C7A Time : 0.0 sec. user=mdettweiler [2016-07-11 06:30:59] 913*2^1434971-1 is not prime. Res64: B03E3477D619158E Time : 0.0 sec. user=mdettweiler [2016-07-11 06:31:00] 921*2^1434971-1 is not prime. Res64: 6B82AAE0613941F9 Time : 0.0 sec. user=mdettweiler [2016-07-11 06:31:00] 943*2^1434971-1 is not prime. Res64: AA83DBEDD9A9037E Time : 0.0 sec. user=mdettweiler [2016-07-11 07:04:08] 777*2^1434981-1 is not prime. Res64: 3D59AB00559D990B Time : 0.0 sec. user=mdettweiler [2016-07-11 07:04:09] 811*2^1434981-1 is not prime. Res64: 7767E3A9EE6324CD Time : 0.0 sec. user=mdettweiler [2016-07-11 07:04:10] 975*2^1434981-1 is not prime. Res64: AF80DC5EA0A5A26D Time : 0.0 sec. user=mdettweiler [2016-07-11 07:04:12] 647*2^1434982-1 is not prime. Res64: 85A7B2EC8EC85010 Time : 0.0 sec. user=mdettweiler [2016-07-11 07:04:13] 657*2^1434982-1 is not prime. Res64: 969F8D59EF1602BB Time : 0.0 sec. user=mdettweiler [2016-07-11 07:04:19] 737*2^1434982-1 is not prime. Res64: A1AFA071899389DA Time : 0.0 sec. user=mdettweiler [2016-07-11 07:04:21] 855*2^1434982-1 is not prime. Res64: 4E8C0FD4AA940D05 Time : 0.0 sec. user=mdettweiler [2016-07-11 07:04:22] 885*2^1434982-1 is not prime. Res64: 4F719DF03722E82A Time : 0.0 sec. user=mdettweiler [2016-07-11 07:04:24] 915*2^1434982-1 is not prime. Res64: 9BDEB6B893266AAD Time : 0.0 sec. user=mdettweiler [2016-07-11 07:04:26] 947*2^1434982-1 is not prime. Res64: C282059CC6B80EEE Time : 0.0 sec. user=mdettweiler [2016-07-11 07:05:13] 805*2^1434983-1 is not prime. Res64: B8155E1FADC401FF Time : 0.0 sec. user=mdettweiler [2016-07-11 07:05:14] 811*2^1434983-1 is not prime. Res64: E5318A226196DF60 Time : 0.0 sec. user=mdettweiler [2016-07-11 07:05:15] 823*2^1434983-1 is not prime. Res64: FF0E920EC6EA5939 Time : 0.0 sec. user=mdettweiler [2016-07-11 07:05:17] 939*2^1434983-1 is not prime. Res64: C80890124E6243D0 Time : 0.0 sec. user=mdettweiler [2016-07-11 07:05:18] 945*2^1434983-1 is not prime. Res64: 029716F1B0E3EE53 Time : 0.0 sec. user=mdettweiler [2016-07-11 07:16:04] 993*2^1434983-1 is not prime. Res64: E0677C9728A4020B Time : 0.0 sec. user=mdettweiler [2016-07-11 07:16:04] 609*2^1434984-1 is not prime. Res64: E77E027577F4CC78 Time : 0.0 sec. user=mdettweiler [2016-07-11 07:16:05] 629*2^1434984-1 is not prime. Res64: 7987C189A67DCFEF Time : 0.0 sec. user=mdettweiler [2016-07-11 07:16:05] 635*2^1434984-1 is not prime. Res64: E10296AE875A2AE7 Time : 0.0 sec. user=mdettweiler [2016-07-11 07:16:05] 689*2^1434984-1 is not prime. Res64: 24839CDF4E9B8B92 Time : 0.0 sec. user=mdettweiler [2016-07-11 07:49:36] 705*2^1434984-1 is not prime. Res64: 14934AB38358789C Time : 0.0 sec. user=mdettweiler [2016-07-11 07:49:36] 719*2^1434984-1 is not prime. Res64: 5699E942ACAB3621 Time : 0.0 sec. user=mdettweiler [2016-07-11 07:49:36] 723*2^1434984-1 is not prime. Res64: 7DB7793F4B1632EB Time : 0.0 sec. user=mdettweiler [2016-07-11 07:49:37] 737*2^1434984-1 is not prime. Res64: 7405180A9BADC21F Time : 0.0 sec. user=mdettweiler [2016-07-11 07:49:37] 753*2^1434984-1 is not prime. Res64: F84E0EE33AC460E6 Time : 0.0 sec. user=mdettweiler [2016-07-11 07:49:48] 759*2^1434984-1 is not prime. Res64: 0589AF231D60BFC6 Time : 0.0 sec. user=mdettweiler [2016-07-11 07:49:48] 765*2^1434984-1 is not prime. Res64: E417A36AFE624F2A Time : 0.0 sec. user=mdettweiler [2016-07-11 07:49:49] 857*2^1434984-1 is not prime. Res64: EF6AA8110AF2EF20 Time : 0.0 sec. user=mdettweiler [2016-07-11 07:49:49] 873*2^1434984-1 is not prime. Res64: DE59B9474A6C0679 Time : 0.0 sec. user=mdettweiler [2016-07-11 07:49:49] 929*2^1434984-1 is not prime. Res64: A54C4F109E1FC4D4 Time : 0.0 sec. user=mdettweiler [2016-07-11 07:50:35] 625*2^1434985-1 is not prime. Res64: E809BE080D82C6C0 Time : 0.0 sec. user=mdettweiler [2016-07-11 07:50:35] 675*2^1434985-1 is not prime. Res64: 6AAE105964E03E60 Time : 0.0 sec. user=mdettweiler [2016-07-11 07:50:36] 721*2^1434985-1 is not prime. Res64: 03AE0CE84B52437F Time : 0.0 sec. user=mdettweiler [2016-07-11 07:50:36] 939*2^1434985-1 is not prime. Res64: 16864D1B1FB70F05 Time : 0.0 sec. user=mdettweiler [2016-07-11 07:50:37] 997*2^1434985-1 is not prime. Res64: 707D1D07E46DC7F6 Time : 0.0 sec. user=mdettweiler [2016-07-11 08:01:23] 635*2^1434986-1 is not prime. Res64: 755948F3B7680C05 Time : 0.0 sec. user=mdettweiler [2016-07-11 08:01:28] 887*2^1434986-1 is not prime. Res64: 570FFC961E97DD01 Time : 0.0 sec. user=mdettweiler [2016-07-11 08:01:28] 981*2^1434986-1 is not prime. Res64: 4B0B59B6AB3C12B5 Time : 0.0 sec. user=mdettweiler [2016-07-11 08:01:29] 649*2^1434987-1 is not prime. Res64: 121F3EE9ACF7C784 Time : 0.0 sec. user=mdettweiler [2016-07-11 08:01:34] 735*2^1434987-1 is not prime. Res64: 8F38E421929CDB4B Time : 0.0 sec. user=mdettweiler [2016-07-11 08:34:46] 665*2^1434988-1 is not prime. Res64: 0C22707435727867 Time : 0.0 sec. user=mdettweiler [2016-07-11 08:34:47] 677*2^1434988-1 is not prime. Res64: 3E20B836E990F8B8 Time : 0.0 sec. user=mdettweiler [2016-07-11 08:34:47] 749*2^1434988-1 is not prime. Res64: 9C4243798E2ED3A6 Time : 0.0 sec. user=mdettweiler [2016-07-11 08:34:47] 887*2^1434988-1 is not prime. Res64: E165814CE2130530 Time : 0.0 sec. user=mdettweiler [2016-07-11 08:34:48] 927*2^1434988-1 is not prime. Res64: 64076A4BD2C52F2F Time : 0.0 sec. user=mdettweiler [2016-07-11 08:34:54] 741*2^1434987-1 is not prime. Res64: 2177F7ADB1DFBF32 Time : 0.0 sec. user=mdettweiler [2016-07-11 08:35:00] 801*2^1434987-1 is not prime. Res64: 251CB9BFE0A0C656 Time : 0.0 sec. user=mdettweiler [2016-07-11 08:35:00] 859*2^1434987-1 is not prime. Res64: 8290F301F82C8CB4 Time : 0.0 sec. user=mdettweiler [2016-07-11 08:35:00] 603*2^1434988-1 is not prime. Res64: 7A80078828A9BB6D Time : 0.0 sec. user=mdettweiler [2016-07-11 08:35:01] 605*2^1434988-1 is not prime. Res64: 225C3B1869597BC8 Time : 0.0 sec. user=mdettweiler [2016-07-11 08:35:56] 933*2^1434988-1 is not prime. Res64: 7364452D71A3CF9F Time : 0.0 sec. user=mdettweiler [2016-07-11 08:35:56] 691*2^1434989-1 is not prime. Res64: E2A29E7D478A39D1 Time : 0.0 sec. user=mdettweiler [2016-07-11 08:35:57] 711*2^1434989-1 is not prime. Res64: 4A2104853A50920B Time : 0.0 sec. user=mdettweiler [2016-07-11 08:35:57] 729*2^1434989-1 is not prime. Res64: 1A4217931E8FD07C Time : 0.0 sec. user=mdettweiler [2016-07-11 08:35:57] 829*2^1434989-1 is not prime. Res64: 165537BD63FCBA04 Time : 0.0 sec. user=mdettweiler [2016-07-11 08:46:59] 925*2^1434989-1 is not prime. Res64: 5F35706CE8B6AC73 Time : 0.0 sec. user=mdettweiler [2016-07-11 08:47:00] 967*2^1434989-1 is not prime. Res64: A4B81CA2D6B46A7F Time : 0.0 sec. user=mdettweiler [2016-07-11 08:47:00] 611*2^1434990-1 is not prime. Res64: 0FF8CC64EB769F15 Time : 0.0 sec. user=mdettweiler [2016-07-11 08:47:01] 741*2^1434990-1 is not prime. Res64: 02E0FE4605AE91DC Time : 0.0 sec. user=mdettweiler [2016-07-11 08:47:01] 747*2^1434990-1 is not prime. Res64: 2C6084D42F8CB5B4 Time : 0.0 sec. user=mdettweiler [2016-07-11 09:23:27] 873*2^1434990-1 is not prime. Res64: 5191120331147A03 Time : 0.0 sec. user=mdettweiler [2016-07-11 09:23:27] 887*2^1434990-1 is not prime. Res64: FA25E5B1CCDA5DAA Time : 0.0 sec. user=mdettweiler [2016-07-11 09:23:27] 921*2^1434990-1 is not prime. Res64: 10351278D73F856B Time : 0.0 sec. user=mdettweiler [2016-07-11 09:23:27] 945*2^1434990-1 is not prime. Res64: 40DA5150AF125BB8 Time : 0.0 sec. user=mdettweiler [2016-07-11 09:23:28] 703*2^1434991-1 is not prime. Res64: D34BC86BBCE196D2 Time : 0.0 sec. user=mdettweiler [2016-07-11 09:24:04] 769*2^1434991-1 is not prime. Res64: BB995CA32B3DC3D3 Time : 0.0 sec. user=mdettweiler [2016-07-11 09:24:04] 819*2^1434991-1 is not prime. Res64: 13FD9804665DB8A9 Time : 0.0 sec. user=mdettweiler [2016-07-11 09:24:04] 829*2^1434991-1 is not prime. Res64: 4BB464FFCAADAEEE Time : 0.0 sec. user=mdettweiler [2016-07-11 09:24:05] 871*2^1434991-1 is not prime. Res64: 302105E3C6DB2D3B Time : 0.0 sec. user=mdettweiler [2016-07-11 09:24:05] 933*2^1434991-1 is not prime. Res64: 6111530DD03B086C Time : 0.0 sec. user=mdettweiler [2016-07-11 09:25:00] 993*2^1434991-1 is not prime. Res64: F648A27BED272D36 Time : 0.0 sec. user=mdettweiler [2016-07-11 09:25:01] 603*2^1434992-1 is not prime. Res64: 9B9F1C98649A07BC Time : 0.0 sec. user=mdettweiler [2016-07-11 09:25:01] 609*2^1434992-1 is not prime. Res64: 4C9B5054423F192B Time : 0.0 sec. user=mdettweiler [2016-07-11 09:25:01] 675*2^1434992-1 is not prime. Res64: 34C4F40CE8A02358 Time : 0.0 sec. user=mdettweiler [2016-07-11 09:25:02] 677*2^1434992-1 is not prime. Res64: 5E14E5BA07EFB85D Time : 0.0 sec. user=mdettweiler [2016-07-11 09:39:20] 797*2^1434992-1 is not prime. Res64: 79EDC59E3863850F Time : 0.0 sec. user=mdettweiler [2016-07-11 09:39:20] 813*2^1434992-1 is not prime. Res64: 00675B0249D3ACD4 Time : 0.0 sec. user=mdettweiler [2016-07-11 09:39:21] 875*2^1434992-1 is not prime. Res64: FF41291A18CF6A28 Time : 0.0 sec. user=mdettweiler [2016-07-11 09:39:21] 879*2^1434992-1 is not prime. Res64: 1164E3274D332701 Time : 0.0 sec. user=mdettweiler [2016-07-11 09:39:21] 897*2^1434992-1 is not prime. Res64: 78397E9F96100775 Time : 0.0 sec. user=mdettweiler [2016-07-11 10:12:39] 959*2^1434992-1 is not prime. Res64: F8500BDC7DFD54A0 Time : 0.0 sec. user=mdettweiler [2016-07-11 10:12:43] 977*2^1434992-1 is not prime. Res64: 7690BD00FF686CCA Time : 0.0 sec. user=mdettweiler [2016-07-11 10:12:44] 639*2^1434993-1 is not prime. Res64: 9C963F4CE3761982 Time : 0.0 sec. user=mdettweiler [2016-07-11 10:12:44] 721*2^1434993-1 is not prime. Res64: 2890C9D91EB0E66A Time : 0.0 sec. user=mdettweiler [2016-07-11 10:12:44] 727*2^1434993-1 is not prime. Res64: 740237E2E11C7763 Time : 0.0 sec. user=mdettweiler [2016-07-11 10:13:48] 741*2^1434993-1 is not prime. Res64: 0CDE92A1E6509EB8 Time : 0.0 sec. user=mdettweiler [2016-07-11 10:13:48] 877*2^1434993-1 is not prime. Res64: 71DD4F02AB27DDAB Time : 0.0 sec. user=mdettweiler [2016-07-11 10:13:49] 937*2^1434993-1 is not prime. Res64: 239A19A947F52CCD Time : 0.0 sec. user=mdettweiler [2016-07-11 10:13:49] 985*2^1434993-1 is not prime. Res64: EB6703C479C795DF Time : 0.0 sec. user=mdettweiler [2016-07-11 10:13:49] 621*2^1434994-1 is not prime. Res64: 8C399393FDFF5350 Time : 0.0 sec. user=mdettweiler [2016-07-11 10:15:11] 675*2^1434994-1 is not prime. Res64: 61D512206934548D Time : 0.0 sec. user=mdettweiler [2016-07-11 10:15:11] 747*2^1434994-1 is not prime. Res64: 63C190B92CCF89F8 Time : 0.0 sec. user=mdettweiler [2016-07-11 10:15:12] 755*2^1434994-1 is not prime. Res64: 08D524A2DC09BE9E Time : 0.0 sec. user=mdettweiler [2016-07-11 10:15:12] 785*2^1434994-1 is not prime. Res64: BF7237643A169F7B Time : 0.0 sec. user=mdettweiler [2016-07-11 10:15:12] 827*2^1434994-1 is not prime. Res64: 7E8DBE9F59107DE8 Time : 0.0 sec. user=mdettweiler [2016-07-11 10:26:31] 951*2^1434994-1 is not prime. Res64: 823B2E648C27748F Time : 0.0 sec. user=mdettweiler [2016-07-11 10:26:31] 983*2^1434994-1 is not prime. Res64: 9D892EEA3373EDCA Time : 0.0 sec. user=mdettweiler [2016-07-11 10:26:32] 655*2^1434995-1 is not prime. Res64: F769E73D514331FF Time : 0.0 sec. user=mdettweiler [2016-07-11 10:26:32] 883*2^1434995-1 is not prime. Res64: 2AC462619F4CFD56 Time : 0.0 sec. user=mdettweiler [2016-07-11 10:26:32] 943*2^1434995-1 is not prime. Res64: 9F7FFC473916A5E4 Time : 0.0 sec. user=mdettweiler [2016-07-11 10:57:40] 985*2^1434995-1 is not prime. Res64: C89DF479DF3ACBFF Time : 0.0 sec. user=mdettweiler [2016-07-11 10:57:40] 777*2^1434996-1 is not prime. Res64: AE17A915EEF9EDAE Time : 0.0 sec. user=mdettweiler [2016-07-11 10:57:41] 789*2^1434996-1 is not prime. Res64: B7CFDA45E7E2E13F Time : 0.0 sec. user=mdettweiler [2016-07-11 10:57:41] 803*2^1434996-1 is not prime. Res64: 57F1D4558A230488 Time : 0.0 sec. user=mdettweiler [2016-07-11 10:57:42] 809*2^1434996-1 is not prime. Res64: 221BE0B414005417 Time : 0.0 sec. user=mdettweiler [2016-07-11 10:58:46] 825*2^1434996-1 is not prime. Res64: B65A4FE78C5A60CF Time : 0.0 sec. user=mdettweiler [2016-07-11 10:58:46] 845*2^1434996-1 is not prime. Res64: 7E476C0AD9BA4888 Time : 0.0 sec. user=mdettweiler [2016-07-11 10:58:47] 933*2^1434996-1 is not prime. Res64: 0F27A84F9D8A3355 Time : 0.0 sec. user=mdettweiler [2016-07-11 10:58:47] 947*2^1434996-1 is not prime. Res64: 0C02932B3F444823 Time : 0.0 sec. user=mdettweiler [2016-07-11 10:58:48] 639*2^1434997-1 is not prime. Res64: 9C6E2A778EF1FFBC Time : 0.0 sec. user=mdettweiler [2016-07-11 11:00:11] 871*2^1434997-1 is not prime. Res64: AE31655D6081C52B Time : 0.0 sec. user=mdettweiler [2016-07-11 11:00:11] 889*2^1434997-1 is not prime. Res64: 23E22D0B02B9A006 Time : 0.0 sec. user=mdettweiler [2016-07-11 11:00:12] 957*2^1434997-1 is not prime. Res64: 14DF2CE67C33DA88 Time : 0.0 sec. user=mdettweiler [2016-07-11 11:00:12] 645*2^1434998-1 is not prime. Res64: C8E9C0DD254C1A0E Time : 0.0 sec. user=mdettweiler [2016-07-11 11:00:13] 857*2^1434998-1 is not prime. Res64: 2ABD115019BE0D0F Time : 0.0 sec. user=mdettweiler [2016-07-11 11:11:21] 945*2^1434998-1 is not prime. Res64: 28812CECDE59C4E8 Time : 0.0 sec. user=mdettweiler [2016-07-11 11:11:22] 957*2^1434998-1 is not prime. Res64: 66EFF48853B9FCDC Time : 0.0 sec. user=mdettweiler [2016-07-11 11:11:22] 977*2^1434998-1 is not prime. Res64: 537BDE80F8DAF684 Time : 0.0 sec. user=mdettweiler [2016-07-11 11:11:23] 1001*2^1434998-1 is not prime. Res64: E9B64485897EE26D Time : 0.0 sec. user=mdettweiler [2016-07-11 11:11:23] 675*2^1434999-1 is not prime. Res64: 4AC00F4CF6A6FBF5 Time : 0.0 sec. user=mdettweiler [2016-07-11 11:42:45] 693*2^1434999-1 is not prime. Res64: EDD3E3ABEF79CD79 Time : 0.0 sec. user=mdettweiler [2016-07-11 11:42:46] 825*2^1434999-1 is not prime. Res64: 8DF0A80923B45BFD Time : 0.0 sec. user=mdettweiler [2016-07-11 11:42:50] 885*2^1434999-1 is not prime. Res64: 72F01AA46C3A237C Time : 0.0 sec. user=mdettweiler [2016-07-11 11:42:50] 931*2^1434999-1 is not prime. Res64: ABC94D06EAE1CFB3 Time : 0.0 sec. user=mdettweiler [2016-07-11 11:42:50] 951*2^1434999-1 is not prime. Res64: A2583E721179BC95 Time : 0.0 sec. user=mdettweiler [2016-07-11 11:43:46] 609*2^1435000-1 is not prime. Res64: 8512A8DD512BCB4F Time : 0.0 sec. user=mdettweiler [2016-07-11 11:43:46] 677*2^1435000-1 is not prime. Res64: F861E14B694EC477 Time : 0.0 sec. user=mdettweiler [2016-07-11 11:43:46] 695*2^1435000-1 is not prime. Res64: 62EF7DE0FCE9E220 Time : 0.0 sec. user=mdettweiler [2016-07-11 11:43:47] 873*2^1435000-1 is not prime. Res64: 7D60E04A14D912FA Time : 0.0 sec. user=mdettweiler [2016-07-11 11:43:47] 601*2^1435001-1 is not prime. Res64: 44811385CF09895D Time : 0.0 sec. user=mdettweiler [2016-07-11 11:45:16] 747*2^1435001-1 is not prime. Res64: B3C24625A8B0FDFE Time : 0.0 sec. user=mdettweiler [2016-07-11 11:45:17] 945*2^1435001-1 is not prime. Res64: F1377BD3D1F9AC83 Time : 0.0 sec. user=mdettweiler [2016-07-11 11:45:17] 957*2^1435001-1 is not prime. Res64: F4981CEC18F7E675 Time : 0.0 sec. user=mdettweiler [2016-07-11 11:45:17] 981*2^1435001-1 is not prime. Res64: D16A79D9A26A97DA Time : 0.0 sec. user=mdettweiler [2016-07-11 11:45:18] 997*2^1435001-1 is not prime. Res64: 664D714673E8D8A6 Time : 0.0 sec. user=mdettweiler [2016-07-11 11:56:29] 621*2^1435002-1 is not prime. Res64: 4D39E3D38214D7B7 Time : 0.0 sec. user=mdettweiler [2016-07-11 11:56:30] 723*2^1435002-1 is not prime. Res64: D417B054AE09530C Time : 0.0 sec. user=mdettweiler [2016-07-11 11:56:30] 801*2^1435002-1 is not prime. Res64: BE2BAA608C99207F Time : 0.0 sec. user=mdettweiler [2016-07-11 11:56:30] 807*2^1435002-1 is not prime. Res64: 0DF399972581F6CD Time : 0.0 sec. user=mdettweiler [2016-07-11 11:56:30] 903*2^1435002-1 is not prime. Res64: C5D3AB66D4DFC9AD Time : 0.0 sec. user=mdettweiler [2016-07-11 12:27:45] 977*2^1435002-1 is not prime. Res64: 3E36C2E7BF6D9157 Time : 0.0 sec. user=mdettweiler [2016-07-11 12:27:46] 631*2^1435003-1 is not prime. Res64: 75E224097DC9953C Time : 0.0 sec. user=mdettweiler [2016-07-11 12:27:47] 681*2^1435003-1 is not prime. Res64: CFF24820522731A7 Time : 0.0 sec. user=mdettweiler [2016-07-11 12:27:47] 735*2^1435003-1 is not prime. Res64: A175C877AEE4F363 Time : 0.0 sec. user=mdettweiler [2016-07-11 12:27:47] 891*2^1435003-1 is not prime. Res64: CB33F916B00E0930 Time : 0.0 sec. user=mdettweiler [2016-07-11 12:28:44] 615*2^1435004-1 is not prime. Res64: F43F65FDE1003197 Time : 0.0 sec. user=mdettweiler [2016-07-11 12:28:44] 725*2^1435004-1 is not prime. Res64: B94E2C68BFA089C0 Time : 0.0 sec. user=mdettweiler [2016-07-11 12:28:44] 755*2^1435004-1 is not prime. Res64: C01612A406C2D974 Time : 0.0 sec. user=mdettweiler [2016-07-11 12:28:45] 833*2^1435004-1 is not prime. Res64: 1352BF8E8D1376D1 Time : 0.0 sec. user=mdettweiler [2016-07-11 12:28:45] 751*2^1435005-1 is not prime. Res64: A93E962091E2C7D1 Time : 0.0 sec. user=mdettweiler [2016-07-11 12:30:17] 811*2^1435005-1 is not prime. Res64: 85DBC1794A1002F7 Time : 0.0 sec. user=mdettweiler [2016-07-11 12:30:18] 951*2^1435005-1 is not prime. Res64: 99BA5758FAB85E72 Time : 0.0 sec. user=mdettweiler [2016-07-11 12:30:18] 955*2^1435005-1 is not prime. Res64: 33A41E3D3FCB996C Time : 0.0 sec. user=mdettweiler [2016-07-11 12:30:19] 623*2^1435006-1 is not prime. Res64: B231B58993451D2C Time : 0.0 sec. user=mdettweiler [2016-07-11 12:30:19] 635*2^1435006-1 is not prime. Res64: 649076A32E649FF3 Time : 0.0 sec. user=mdettweiler [2016-07-11 12:41:35] 657*2^1435006-1 is not prime. Res64: 330318461AE72F64 Time : 0.0 sec. user=mdettweiler [2016-07-11 12:41:35] 957*2^1435006-1 is not prime. Res64: ADE4BF88158BD8D7 Time : 0.0 sec. user=mdettweiler [2016-07-11 12:41:35] 975*2^1435006-1 is not prime. Res64: C2426C25BE6CCA1F Time : 0.0 sec. user=mdettweiler [2016-07-11 12:41:36] 711*2^1435007-1 is not prime. Res64: F7C20A483EB8F1FC Time : 0.0 sec. user=mdettweiler [2016-07-11 12:41:36] 775*2^1435007-1 is not prime. Res64: 9AD4294CD81A7424 Time : 0.0 sec. user=mdettweiler [2016-07-11 13:13:01] 819*2^1435007-1 is not prime. Res64: BC82FF9E4DAAEFAD Time : 0.0 sec. user=mdettweiler [2016-07-11 13:13:02] 993*2^1435007-1 is not prime. Res64: 36ECDED500285857 Time : 0.0 sec. user=mdettweiler [2016-07-11 13:13:02] 627*2^1435008-1 is not prime. Res64: 5234A85D35FA120D Time : 0.0 sec. user=mdettweiler [2016-07-11 13:13:02] 789*2^1435008-1 is not prime. Res64: 40E9094E8F8FA35A Time : 0.0 sec. user=mdettweiler [2016-07-11 13:13:03] 839*2^1435008-1 is not prime. Res64: 6B9A9D77132FF75B Time : 0.0 sec. user=mdettweiler [2016-07-11 13:13:56] 933*2^1435008-1 is not prime. Res64: 47C89E2DC766C290 Time : 0.0 sec. user=mdettweiler [2016-07-11 13:13:56] 619*2^1435009-1 is not prime. Res64: EDB0014C18C1241C Time : 0.0 sec. user=mdettweiler [2016-07-11 13:13:57] 679*2^1435009-1 is not prime. Res64: 4BC2F0FA2C19C176 Time : 0.0 sec. user=mdettweiler [2016-07-11 13:13:57] 705*2^1435009-1 is not prime. Res64: 2EC46E1E38785E9D Time : 0.0 sec. user=mdettweiler [2016-07-11 13:13:57] 765*2^1435009-1 is not prime. Res64: A04E4BE34BA90C53 Time : 0.0 sec. user=mdettweiler [2016-07-11 13:15:26] 775*2^1435009-1 is not prime. Res64: FCE4D6D32989D66B Time : 0.0 sec. user=mdettweiler [2016-07-11 13:15:26] 789*2^1435009-1 is not prime. Res64: 8221692B5A6A3252 Time : 0.0 sec. user=mdettweiler [2016-07-11 13:15:27] 831*2^1435009-1 is not prime. Res64: 4AACC7132E0D7D8C Time : 0.0 sec. user=mdettweiler [2016-07-11 13:15:27] 897*2^1435009-1 is not prime. Res64: 06272B1C6FBCD311 Time : 0.0 sec. user=mdettweiler [2016-07-11 13:15:28] 931*2^1435009-1 is not prime. Res64: 260F06079F591006 Time : 0.0 sec. user=mdettweiler [2016-07-11 13:26:51] 957*2^1435009-1 is not prime. Res64: DE6476D93A4A7B58 Time : 0.0 sec. user=mdettweiler [2016-07-11 13:26:51] 987*2^1435009-1 is not prime. Res64: 9CC5030D52159279 Time : 0.0 sec. user=mdettweiler [2016-07-11 13:26:52] 997*2^1435009-1 is not prime. Res64: E49420CD15C602B5 Time : 0.0 sec. user=mdettweiler [2016-07-11 13:26:52] 875*2^1435010-1 is not prime. Res64: CEA5B8A8F9BF8859 Time : 0.0 sec. user=mdettweiler [2016-07-11 13:26:52] 935*2^1435010-1 is not prime. Res64: 48E7C5EFE8BF8309 Time : 0.0 sec. user=mdettweiler [2016-07-11 13:57:58] 945*2^1435010-1 is not prime. Res64: B7EC6AB54CC3FA68 Time : 0.0 sec. user=mdettweiler [2016-07-11 13:57:58] 951*2^1435010-1 is not prime. Res64: 10BDD1F580CEFBAD Time : 0.0 sec. user=mdettweiler [2016-07-11 13:57:58] 971*2^1435010-1 is not prime. Res64: A4A94D3E80225BD1 Time : 0.0 sec. user=mdettweiler [2016-07-11 13:57:59] 987*2^1435010-1 is not prime. Res64: 1E5458381F99F83E Time : 0.0 sec. user=mdettweiler [2016-07-11 13:58:05] 675*2^1435011-1 is not prime. Res64: D0A951A2211512DB Time : 0.0 sec. user=mdettweiler [2016-07-11 13:58:53] 735*2^1435011-1 is not prime. Res64: F180F8475500E81B Time : 0.0 sec. user=mdettweiler [2016-07-11 13:58:53] 751*2^1435011-1 is not prime. Res64: 6A2FAE90FD6AAFD8 Time : 0.0 sec. user=mdettweiler [2016-07-11 13:58:53] 859*2^1435011-1 is not prime. Res64: 94F4AC3D8F9BBB4D Time : 0.0 sec. user=mdettweiler [2016-07-11 13:58:54] 945*2^1435011-1 is not prime. Res64: 64B3DFBD03925C0F Time : 0.0 sec. user=mdettweiler [2016-07-11 13:58:54] 629*2^1435012-1 is not prime. Res64: 1044C0392BE8AF2A Time : 0.0 sec. user=mdettweiler [2016-07-11 14:00:24] 653*2^1435012-1 is not prime. Res64: 055344E39F0FAE68 Time : 0.0 sec. user=mdettweiler [2016-07-11 14:00:25] 665*2^1435012-1 is not prime. Res64: FCDC8B23E9400326 Time : 0.0 sec. user=mdettweiler [2016-07-11 14:00:26] 717*2^1435012-1 is not prime. Res64: 96B5B55618713AA6 Time : 0.0 sec. user=mdettweiler [2016-07-11 14:00:26] 843*2^1435012-1 is not prime. Res64: 42B3E7592C996947 Time : 0.0 sec. user=mdettweiler [2016-07-11 14:00:27] 855*2^1435012-1 is not prime. Res64: 10C1E6DC8F2C40D1 Time : 0.0 sec. user=mdettweiler [2016-07-11 14:12:02] 875*2^1435012-1 is not prime. Res64: 9D0D01F51C45AD2A Time : 0.0 sec. user=mdettweiler [2016-07-11 14:12:03] 899*2^1435012-1 is not prime. Res64: 32BC6D915527D56B Time : 0.0 sec. user=mdettweiler [2016-07-11 14:12:03] 651*2^1435013-1 is not prime. Res64: EF33207954BCF40B Time : 0.0 sec. user=mdettweiler [2016-07-11 14:12:03] 889*2^1435013-1 is not prime. Res64: 1214B94DA9358F5F Time : 0.0 sec. user=mdettweiler [2016-07-11 14:12:04] 915*2^1435013-1 is not prime. Res64: 38C7735ED091B9E7 Time : 0.0 sec. user=mdettweiler [2016-07-11 14:42:53] 937*2^1435013-1 is not prime. Res64: FE1659152F5F2643 Time : 0.0 sec. user=mdettweiler [2016-07-11 14:42:53] 969*2^1435013-1 is not prime. Res64: 456906FD2B40C499 Time : 0.0 sec. user=mdettweiler [2016-07-11 14:42:59] 737*2^1435014-1 is not prime. Res64: 5F82D957D778BD0A Time : 0.0 sec. user=mdettweiler [2016-07-11 14:43:00] 755*2^1435014-1 is not prime. Res64: C5BA07BDF29744F7 Time : 0.0 sec. user=mdettweiler [2016-07-11 14:43:00] 851*2^1435014-1 is not prime. Res64: 149368AE14558EBC Time : 0.0 sec. user=mdettweiler [2016-07-11 14:43:49] 881*2^1435014-1 is not prime. Res64: F1A216A23F29D981 Time : 0.0 sec. user=mdettweiler [2016-07-11 14:43:49] 941*2^1435014-1 is not prime. Res64: A0BFFF95704BD29D Time : 0.0 sec. user=mdettweiler [2016-07-11 14:43:50] 957*2^1435014-1 is not prime. Res64: EF8DB99B462B316E Time : 0.0 sec. user=mdettweiler [2016-07-11 14:43:50] 709*2^1435015-1 is not prime. Res64: 9FFD27F097B9DF84 Time : 0.0 sec. user=mdettweiler [2016-07-11 14:43:50] 849*2^1435015-1 is not prime. Res64: EB25E2C97CCF9B3D Time : 0.0 sec. user=mdettweiler [2016-07-11 14:45:27] 873*2^1435015-1 is not prime. Res64: 2866F0F9A4B1AD3A Time : 0.0 sec. user=mdettweiler [2016-07-11 14:45:28] 909*2^1435015-1 is not prime. Res64: 2B0F37AA4A8B00C5 Time : 0.0 sec. user=mdettweiler [2016-07-11 14:45:28] 629*2^1435016-1 is not prime. Res64: C805BB679F5C4B4B Time : 0.0 sec. user=mdettweiler [2016-07-11 14:45:28] 633*2^1435016-1 is not prime. Res64: B0D2888AF7FD21F9 Time : 0.0 sec. user=mdettweiler [2016-07-11 14:45:29] 755*2^1435016-1 is not prime. Res64: DE87EB468797AD2F Time : 0.0 sec. user=mdettweiler [2016-07-11 14:57:00] 759*2^1435016-1 is not prime. Res64: 51598F4381079E5A Time : 0.0 sec. user=mdettweiler [2016-07-11 14:57:00] 767*2^1435016-1 is not prime. Res64: 32DD716F6E444DE6 Time : 0.0 sec. user=mdettweiler [2016-07-11 14:57:00] 815*2^1435016-1 is not prime. Res64: A203150AA3088D4E Time : 0.0 sec. user=mdettweiler [2016-07-11 14:57:01] 893*2^1435016-1 is not prime. Res64: 6DC4D17939A678A6 Time : 0.0 sec. user=mdettweiler [2016-07-11 14:57:01] 923*2^1435016-1 is not prime. Res64: 0EF5A7FA2B231071 Time : 0.0 sec. user=mdettweiler [2016-07-11 15:27:50] 625*2^1435017-1 is not prime. Res64: D82399DBFFEA8984 Time : 0.0 sec. user=mdettweiler [2016-07-11 15:27:51] 669*2^1435017-1 is not prime. Res64: 3BF0671C7C04FAE3 Time : 0.0 sec. user=mdettweiler [2016-07-11 15:27:51] 945*2^1435017-1 is not prime. Res64: 50BCDE13D36D86CD Time : 0.0 sec. user=mdettweiler [2016-07-11 15:27:51] 657*2^1435018-1 is not prime. Res64: C707444153277778 Time : 0.0 sec. user=mdettweiler [2016-07-11 15:27:52] 687*2^1435018-1 is not prime. Res64: 74A497F4FE6D1BF0 Time : 0.0 sec. user=mdettweiler [2016-07-11 15:28:48] 731*2^1435018-1 is not prime. Res64: 680450BE31BF9052 Time : 0.0 sec. user=mdettweiler [2016-07-11 15:28:48] 825*2^1435018-1 is not prime. Res64: A474C3BEE4094E05 Time : 0.0 sec. user=mdettweiler [2016-07-11 15:28:49] 827*2^1435018-1 is not prime. Res64: 9CFC3A2CA7EE58AC Time : 0.0 sec. user=mdettweiler [2016-07-11 15:28:49] 855*2^1435018-1 is not prime. Res64: 2C8264E36EA4B930 Time : 0.0 sec. user=mdettweiler [2016-07-11 15:28:50] 891*2^1435018-1 is not prime. Res64: 4530CA5818ABC2F2 Time : 0.0 sec. user=mdettweiler [2016-07-11 15:30:21] 621*2^1435019-1 is not prime. Res64: 761F9527C6BE93E3 Time : 0.0 sec. user=mdettweiler [2016-07-11 15:30:21] 703*2^1435019-1 is not prime. Res64: 2EE3AD9A38D3B981 Time : 0.0 sec. user=mdettweiler [2016-07-11 15:30:21] 789*2^1435019-1 is not prime. Res64: BF0704BA38F19604 Time : 0.0 sec. user=mdettweiler [2016-07-11 15:30:22] 861*2^1435019-1 is not prime. Res64: B9E222C72A0ECF57 Time : 0.0 sec. user=mdettweiler [2016-07-11 15:30:22] 979*2^1435019-1 is not prime. Res64: 608DF9F58EA29A38 Time : 0.0 sec. user=mdettweiler [2016-07-11 15:42:04] 609*2^1435020-1 is not prime. Res64: DA9E9F2F788AF421 Time : 0.0 sec. user=mdettweiler [2016-07-11 15:42:04] 779*2^1435020-1 is not prime. Res64: 455D751A4F3D23AC Time : 0.0 sec. user=mdettweiler [2016-07-11 15:42:04] 863*2^1435020-1 is not prime. Res64: 3339328A7C00BD40 Time : 0.0 sec. user=mdettweiler [2016-07-11 15:42:05] 879*2^1435020-1 is not prime. Res64: 1862E9DE7B0FD7A7 Time : 0.0 sec. user=mdettweiler [2016-07-11 15:42:05] 899*2^1435020-1 is not prime. Res64: E0B027AD46C3BF30 Time : 0.0 sec. user=mdettweiler [2016-07-11 16:14:50] 905*2^1435020-1 is not prime. Res64: C4F407F70853DF9B Time : 0.0 sec. user=mdettweiler [2016-07-11 16:14:50] 965*2^1435020-1 is not prime. Res64: 1B97F5F400A4545A Time : 0.0 sec. user=mdettweiler [2016-07-11 16:14:50] 715*2^1435021-1 is not prime. Res64: 7BA69AACBE9ACFF7 Time : 0.0 sec. user=mdettweiler [2016-07-11 16:14:51] 801*2^1435021-1 is not prime. Res64: C4377F76F698E07D Time : 0.0 sec. user=mdettweiler [2016-07-11 16:14:51] 805*2^1435021-1 is not prime. Res64: 64C8CE1AD6AA26FE Time : 0.0 sec. user=mdettweiler [2016-07-11 16:15:18] 867*2^1435021-1 is not prime. Res64: 3045899C8856802E Time : 0.0 sec. user=mdettweiler [2016-07-11 16:15:18] 895*2^1435021-1 is not prime. Res64: D2B67DC00D39D19F Time : 0.0 sec. user=mdettweiler [2016-07-11 16:15:18] 997*2^1435021-1 is not prime. Res64: C41E719A085F9C76 Time : 0.0 sec. user=mdettweiler [2016-07-11 16:15:18] 999*2^1435021-1 is not prime. Res64: F7C54E02AF4724C5 Time : 0.0 sec. user=mdettweiler [2016-07-11 16:15:19] 645*2^1435022-1 is not prime. Res64: 77C138AAA3C9AD28 Time : 0.0 sec. user=mdettweiler [2016-07-11 16:17:07] 767*2^1435022-1 is not prime. Res64: 06B09C0E97DE02CD Time : 0.0 sec. user=mdettweiler [2016-07-11 16:17:07] 797*2^1435022-1 is not prime. Res64: A4DD54DEA5F59D6F Time : 0.0 sec. user=mdettweiler [2016-07-11 16:17:08] 857*2^1435022-1 is not prime. Res64: 22D06177D95675A7 Time : 0.0 sec. user=mdettweiler [2016-07-11 16:17:08] 897*2^1435022-1 is not prime. Res64: 0A56BF8C924E6658 Time : 0.0 sec. user=mdettweiler [2016-07-11 16:17:08] 917*2^1435022-1 is not prime. Res64: 528DE9FC2CF5135F Time : 0.0 sec. user=mdettweiler [2016-07-11 16:29:32] 921*2^1435022-1 is not prime. Res64: 16EF1714CB34E3C5 Time : 0.0 sec. user=mdettweiler [2016-07-11 16:29:32] 945*2^1435022-1 is not prime. Res64: 0301BFAD5774D6BF Time : 0.0 sec. user=mdettweiler [2016-07-11 16:29:33] 965*2^1435022-1 is not prime. Res64: 498088C00F1023AA Time : 0.0 sec. user=mdettweiler [2016-07-11 16:29:33] 609*2^1435023-1 is not prime. Res64: 057566696AFE22C2 Time : 0.0 sec. user=mdettweiler [2016-07-11 16:29:34] 769*2^1435023-1 is not prime. Res64: F841A39CD1DE34D3 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:00:02] 829*2^1435023-1 is not prime. Res64: FB702B60AE7FEE17 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:00:02] 677*2^1435024-1 is not prime. Res64: 32ED78B4F6264037 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:00:03] 717*2^1435024-1 is not prime. Res64: F760663B19339ED7 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:00:03] 743*2^1435024-1 is not prime. Res64: EFE6AF9E8742332A Time : 0.0 sec. user=mdettweiler [2016-07-11 17:00:04] 785*2^1435024-1 is not prime. Res64: 6D5C4BC466DD1EF6 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:00:26] 825*2^1435024-1 is not prime. Res64: D3C2BA042BA4A5EB Time : 0.0 sec. user=mdettweiler [2016-07-11 17:00:27] 887*2^1435024-1 is not prime. Res64: 0F4530754F7454C7 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:00:28] 645*2^1435025-1 is not prime. Res64: 28FDBBE3B1095B78 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:00:29] 727*2^1435025-1 is not prime. Res64: 983A4BCD511491E0 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:00:30] 759*2^1435025-1 is not prime. Res64: C149AC53FF072DF1 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:02:12] 771*2^1435025-1 is not prime. Res64: 3124A83ABF3266EA Time : 0.0 sec. user=mdettweiler [2016-07-11 17:02:13] 775*2^1435025-1 is not prime. Res64: 1BC7C7950F6E1C73 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:02:13] 777*2^1435025-1 is not prime. Res64: AB36CF4FE719E091 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:02:14] 801*2^1435025-1 is not prime. Res64: 1B416C8F5C09E5CC Time : 0.0 sec. user=mdettweiler [2016-07-11 17:02:14] 847*2^1435025-1 is not prime. Res64: 0DAA2C1AA74EB05E Time : 0.0 sec. user=mdettweiler [2016-07-11 17:14:37] 981*2^1435025-1 is not prime. Res64: 251B4B5EA541B968 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:14:37] 657*2^1435026-1 is not prime. Res64: EF2527F2B879A048 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:14:37] 713*2^1435026-1 is not prime. Res64: 28E230FB28A4FD71 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:14:38] 825*2^1435026-1 is not prime. Res64: 02B40E711B32C82B Time : 0.0 sec. user=mdettweiler [2016-07-11 17:14:38] 875*2^1435026-1 is not prime. Res64: 63A1DB55808C1F84 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:44:59] 905*2^1435026-1 is not prime. Res64: B801FE8633101287 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:45:00] 917*2^1435026-1 is not prime. Res64: 9932E1F15DB86FB4 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:45:00] 609*2^1435027-1 is not prime. Res64: 7C6223688F1BD545 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:45:00] 651*2^1435027-1 is not prime. Res64: E88DFCE8DA725A78 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:45:01] 673*2^1435027-1 is not prime. Res64: 37CF8A473927FB3F Time : 0.0 sec. user=mdettweiler [2016-07-11 17:45:35] 681*2^1435027-1 is not prime. Res64: 81EC9E8BB856B390 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:45:36] 685*2^1435027-1 is not prime. Res64: E8B3FCD48D64A087 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:45:36] 805*2^1435027-1 is not prime. Res64: 567C9C88C4A71CA0 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:45:37] 979*2^1435027-1 is not prime. Res64: F9D8FC6C41E1F716 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:45:37] 985*2^1435027-1 is not prime. Res64: 75756DF8E7C4ED1E Time : 0.0 sec. user=mdettweiler [2016-07-11 17:47:19] 659*2^1435028-1 is not prime. Res64: B9C5E003FAE6BD8C Time : 0.0 sec. user=mdettweiler [2016-07-11 17:47:19] 699*2^1435028-1 is not prime. Res64: 39A8BC92C3BA7E73 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:47:20] 827*2^1435028-1 is not prime. Res64: 1DC5E7D1B5BCA456 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:47:20] 879*2^1435028-1 is not prime. Res64: EE57A42D19753A30 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:47:21] 945*2^1435028-1 is not prime. Res64: DC6B869906CE90CE Time : 0.0 sec. user=mdettweiler [2016-07-11 17:59:42] 963*2^1435028-1 is not prime. Res64: FB12231E96D07A3A Time : 0.0 sec. user=mdettweiler [2016-07-11 17:59:42] 669*2^1435029-1 is not prime. Res64: 9DA0C36B1572DCD9 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:59:43] 675*2^1435029-1 is not prime. Res64: 83D7F987F55AB834 Time : 0.0 sec. user=mdettweiler [2016-07-11 17:59:43] 691*2^1435029-1 is not prime. Res64: B63E3AE9439BB22E Time : 0.0 sec. user=mdettweiler [2016-07-11 17:59:44] 795*2^1435029-1 is not prime. Res64: DC522336FB103A31 Time : 0.0 sec. user=mdettweiler [2016-07-11 18:30:04] 817*2^1435029-1 is not prime. Res64: 4FF437F14CA87953 Time : 0.0 sec. user=mdettweiler [2016-07-11 18:30:05] 835*2^1435029-1 is not prime. Res64: 179414ED7D2B7B08 Time : 0.0 sec. user=mdettweiler [2016-07-11 18:30:05] 837*2^1435029-1 is not prime. Res64: 6098DFAF72663DD1 Time : 0.0 sec. user=mdettweiler [2016-07-11 18:30:06] 867*2^1435029-1 is not prime. Res64: 81FA28AC17817941 Time : 0.0 sec. user=mdettweiler [2016-07-11 18:30:06] 907*2^1435029-1 is not prime. Res64: 4C105CFB7AF6E0B7 Time : 0.0 sec. user=mdettweiler [2016-07-11 18:30:51] 919*2^1435029-1 is not prime. Res64: 3751B868AAD7CE22 Time : 0.0 sec. user=mdettweiler [2016-07-11 18:30:51] 927*2^1435029-1 is not prime. Res64: 3195B758D58C352A Time : 0.0 sec. user=mdettweiler [2016-07-11 18:30:52] 951*2^1435029-1 is not prime. Res64: 7F689985F4DCC206 Time : 0.0 sec. user=mdettweiler [2016-07-11 18:30:52] 969*2^1435029-1 is not prime. Res64: 22F687E0CA95180F Time : 0.0 sec. user=mdettweiler [2016-07-11 18:30:53] 605*2^1435030-1 is not prime. Res64: 37BEAB1F71111D86 Time : 0.0 sec. user=mdettweiler [2016-07-11 18:32:38] 717*2^1435030-1 is not prime. Res64: CC9595985F33ABED Time : 0.0 sec. user=mdettweiler [2016-07-11 18:32:38] 723*2^1435030-1 is not prime. Res64: 98ED885BCBD1B400 Time : 0.0 sec. user=mdettweiler [2016-07-11 18:32:39] 765*2^1435030-1 is not prime. Res64: 0856807029CF9C5F Time : 0.0 sec. user=mdettweiler [2016-07-11 18:32:39] 873*2^1435030-1 is not prime. Res64: 6D8920F47BBA1172 Time : 0.0 sec. user=mdettweiler [2016-07-11 18:32:40] 917*2^1435030-1 is not prime. Res64: 4EA8B1B0FDE0B548 Time : 0.0 sec. user=mdettweiler [2016-07-11 18:44:53] 945*2^1435030-1 is not prime. Res64: 4705C16B3A376EFB Time : 0.0 sec. user=mdettweiler [2016-07-11 18:44:53] 661*2^1435031-1 is not prime. Res64: 1D396902810C4DCA Time : 0.0 sec. user=mdettweiler [2016-07-11 18:44:54] 663*2^1435031-1 is not prime. Res64: 886691BA27678101 Time : 0.0 sec. user=mdettweiler [2016-07-11 18:44:54] 759*2^1435031-1 is not prime. Res64: 1C16B290523EF31C Time : 0.0 sec. user=mdettweiler [2016-07-11 18:44:55] 909*2^1435031-1 is not prime. Res64: 5DFF4956EA187F70 Time : 0.0 sec. user=mdettweiler [2016-07-11 19:15:14] 913*2^1435031-1 is not prime. Res64: A7A56CA485BE68F5 Time : 0.0 sec. user=mdettweiler [2016-07-11 19:15:15] 981*2^1435031-1 is not prime. Res64: A8B5826C36D70F87 Time : 0.0 sec. user=mdettweiler [2016-07-11 19:15:15] 627*2^1435032-1 is not prime. Res64: 0633DA3D93310582 Time : 0.0 sec. user=mdettweiler [2016-07-11 19:15:16] 657*2^1435032-1 is not prime. Res64: C5EF6CF39AEBC30B Time : 0.0 sec. user=mdettweiler [2016-07-11 19:15:16] 753*2^1435032-1 is not prime. Res64: 53607BF59EEBECFA Time : 0.0 sec. user=mdettweiler [2016-07-11 19:15:56] 825*2^1435032-1 is not prime. Res64: A3D8FAEB989CE322 Time : 0.0 sec. user=mdettweiler [2016-07-11 19:15:57] 887*2^1435032-1 is not prime. Res64: 53964425651B4D52 Time : 0.0 sec. user=mdettweiler [2016-07-11 19:15:57] 945*2^1435032-1 is not prime. Res64: 77317B9BB4AF0B00 Time : 0.0 sec. user=mdettweiler [2016-07-11 19:15:58] 849*2^1435033-1 is not prime. Res64: 0266F2F87A778763 Time : 0.0 sec. user=mdettweiler [2016-07-11 19:15:59] 885*2^1435033-1 is not prime. Res64: C638E942416F549C Time : 0.0 sec. user=mdettweiler [2016-07-11 19:17:45] 897*2^1435033-1 is not prime. Res64: B9BFC8B2E4B9B3B5 Time : 0.0 sec. user=mdettweiler [2016-07-11 19:17:45] 939*2^1435033-1 is not prime. Res64: 87A678C3DBE96978 Time : 0.0 sec. user=mdettweiler [2016-07-11 19:17:46] 615*2^1435034-1 is not prime. Res64: BD346BE91450C65E Time : 0.0 sec. user=mdettweiler [2016-07-11 19:17:46] 665*2^1435034-1 is not prime. Res64: 8355861E7C17C73C Time : 0.0 sec. user=mdettweiler [2016-07-11 19:17:47] 677*2^1435034-1 is not prime. Res64: 8DFD13E2856A4DA1 Time : 0.0 sec. user=mdettweiler [2016-07-11 19:30:03] 705*2^1435034-1 is not prime. Res64: EC4F8CF4CB2C481D Time : 0.0 sec. user=mdettweiler [2016-07-11 19:30:04] 827*2^1435034-1 is not prime. Res64: C40753180A1DFFC7 Time : 0.0 sec. user=mdettweiler [2016-07-11 19:30:04] 885*2^1435034-1 is not prime. Res64: B0B51606C9235AC1 Time : 0.0 sec. user=mdettweiler [2016-07-11 19:30:05] 915*2^1435034-1 is not prime. Res64: B320A4C5BF74B2FA Time : 0.0 sec. user=mdettweiler [2016-07-11 19:30:05] 679*2^1435035-1 is not prime. Res64: 446E6AE1089B51A4 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:00:41] 723*2^1435035-1 is not prime. Res64: 75E685070DA78A61 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:00:42] 751*2^1435035-1 is not prime. Res64: 1A11C20DA464E5A5 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:00:42] 823*2^1435035-1 is not prime. Res64: FD1C60A23E9AA0CB Time : 0.0 sec. user=mdettweiler [2016-07-11 20:00:43] 919*2^1435035-1 is not prime. Res64: 925C823D2966EA0F Time : 0.0 sec. user=mdettweiler [2016-07-11 20:00:43] 755*2^1435036-1 is not prime. Res64: E7EDCAA887B9EA72 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:01:25] 759*2^1435036-1 is not prime. Res64: 85F121F965D8D0CB Time : 0.0 sec. user=mdettweiler [2016-07-11 20:01:27] 857*2^1435036-1 is not prime. Res64: E65813FD969FEF5B Time : 0.0 sec. user=mdettweiler [2016-07-11 20:01:27] 897*2^1435036-1 is not prime. Res64: 792A4B439E5DB7A0 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:01:28] 939*2^1435036-1 is not prime. Res64: 6295E060D614CCFD Time : 0.0 sec. user=mdettweiler [2016-07-11 20:01:29] 619*2^1435037-1 is not prime. Res64: E67615AE0A4A4617 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:03:07] 645*2^1435037-1 is not prime. Res64: 3943CCF67B0ACAA3 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:03:08] 655*2^1435037-1 is not prime. Res64: 20310881B6A31EDB Time : 0.0 sec. user=mdettweiler [2016-07-11 20:03:09] 697*2^1435037-1 is not prime. Res64: 5406A5CF44CD121A Time : 0.0 sec. user=mdettweiler [2016-07-11 20:03:09] 717*2^1435037-1 is not prime. Res64: 19E2300F65456844 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:03:10] 825*2^1435037-1 is not prime. Res64: 3A11599293D1F80B Time : 0.0 sec. user=mdettweiler [2016-07-11 20:16:11] 829*2^1435037-1 is not prime. Res64: CCBEDEF782FB6647 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:16:11] 859*2^1435037-1 is not prime. Res64: 8F9CC29D7EABBFA3 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:16:11] 885*2^1435037-1 is not prime. Res64: CF144C708D828F38 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:16:11] 901*2^1435037-1 is not prime. Res64: 8E93F7149E041422 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:16:12] 931*2^1435037-1 is not prime. Res64: 251B1E896EDB9C2E Time : 0.0 sec. user=mdettweiler [2016-07-11 20:47:08] 939*2^1435037-1 is not prime. Res64: 1A5C747C410C416C Time : 0.0 sec. user=mdettweiler [2016-07-11 20:47:08] 711*2^1435038-1 is not prime. Res64: 666D54CD54663B55 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:47:08] 619*2^1435039-1 is not prime. Res64: F3A03B209F5D3134 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:47:08] 741*2^1435039-1 is not prime. Res64: DF1AE3C5AE2C47CA Time : 0.0 sec. user=mdettweiler [2016-07-11 20:47:09] 763*2^1435039-1 is not prime. Res64: 1692FE3341C60DA1 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:47:45] 829*2^1435039-1 is not prime. Res64: 522A87165756A2DD Time : 0.0 sec. user=mdettweiler [2016-07-11 20:47:45] 859*2^1435039-1 is not prime. Res64: 1ADE4DB5D85629F9 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:47:46] 883*2^1435039-1 is not prime. Res64: 550D58B80DA42E3C Time : 0.0 sec. user=mdettweiler [2016-07-11 20:47:46] 603*2^1435040-1 is not prime. Res64: A3465CC3C57D85D8 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:47:46] 633*2^1435040-1 is not prime. Res64: 8DCECD9C6994A856 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:49:21] 645*2^1435040-1 is not prime. Res64: D1A54FF0DBE874CA Time : 0.0 sec. user=mdettweiler [2016-07-11 20:49:21] 713*2^1435040-1 is not prime. Res64: C193CAB4F664E2A8 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:49:21] 725*2^1435040-1 is not prime. Res64: 897080F7A99C0A76 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:49:21] 759*2^1435040-1 is not prime. Res64: CA4B65106F1D2514 Time : 0.0 sec. user=mdettweiler [2016-07-11 20:49:22] 785*2^1435040-1 is not prime. Res64: 6463DF223D3184A2 Time : 0.0 sec. user=mdettweiler [2016-07-11 21:02:29] 897*2^1435040-1 is not prime. Res64: 2166830C0FAD564E Time : 0.0 sec. user=mdettweiler [2016-07-11 21:02:31] 959*2^1435040-1 is not prime. Res64: 921854F177DB986A Time : 0.0 sec. user=mdettweiler [2016-07-11 21:02:32] 977*2^1435040-1 is not prime. Res64: 0EE19DE581A9AB3A Time : 0.0 sec. user=mdettweiler [2016-07-11 21:02:37] 669*2^1435041-1 is not prime. Res64: FC431FFDC2DFD4D8 Time : 0.0 sec. user=mdettweiler [2016-07-11 21:02:38] 727*2^1435041-1 is not prime. Res64: 814457CF9FF142C4 Time : 0.0 sec. user=mdettweiler [2016-07-11 21:33:01] 805*2^1435041-1 is not prime. Res64: 7F68683C49E7F316 Time : 0.0 sec. user=mdettweiler [2016-07-11 21:33:01] 849*2^1435041-1 is not prime. Res64: E7272AC97242250C Time : 0.0 sec. user=mdettweiler [2016-07-11 21:33:01] 951*2^1435041-1 is not prime. Res64: DEE50924D7BD7DA8 Time : 0.0 sec. user=mdettweiler [2016-07-11 21:33:02] 975*2^1435041-1 is not prime. Res64: DD0E729C2C78EC30 Time : 0.0 sec. user=mdettweiler [2016-07-11 21:33:02] 979*2^1435041-1 is not prime. Res64: 3CDB1478F9F6D698 Time : 0.0 sec. user=mdettweiler [2016-07-11 21:33:05] 997*2^1435041-1 is not prime. Res64: 72A582943F1D5178 Time : 0.0 sec. user=mdettweiler [2016-07-11 21:33:06] 671*2^1435042-1 is not prime. Res64: 3EF2C89F8A24530F Time : 0.0 sec. user=mdettweiler [2016-07-11 21:33:06] 681*2^1435042-1 is not prime. Res64: 11038903042B62C5 Time : 0.0 sec. user=mdettweiler [2016-07-11 21:33:06] 741*2^1435042-1 is not prime. Res64: B9CFBA1C4D2E9663 Time : 0.0 sec. user=mdettweiler [2016-07-11 21:33:07] 777*2^1435042-1 is not prime. Res64: 6EB8173A80D1531F Time : 0.0 sec. user=mdettweiler [2016-07-11 21:34:59] 827*2^1435042-1 is not prime. Res64: 730B3DC6AFC9A81F Time : 0.0 sec. user=mdettweiler [2016-07-11 21:34:59] 843*2^1435042-1 is not prime. Res64: 27C8CA3D344FE1BD Time : 0.0 sec. user=mdettweiler [2016-07-11 21:35:00] 881*2^1435042-1 is not prime. Res64: 2A7C8A6A13E4D7BA Time : 0.0 sec. user=mdettweiler [2016-07-11 21:35:00] 917*2^1435042-1 is not prime. Res64: 8739EC75C818631F Time : 0.0 sec. user=mdettweiler [2016-07-11 21:35:00] 951*2^1435042-1 is not prime. Res64: 86A7979477BB5079 Time : 0.0 sec. user=mdettweiler [2016-07-11 21:48:37] 859*2^1435043-1 is not prime. Res64: ACF55578F5B1BACA Time : 0.0 sec. user=mdettweiler [2016-07-11 21:48:43] 705*2^1435044-1 is not prime. Res64: ED852C9F5EF3E165 Time : 0.0 sec. user=mdettweiler [2016-07-11 21:48:44] 719*2^1435044-1 is not prime. Res64: 755A218DFBE89ABB Time : 0.0 sec. user=mdettweiler [2016-07-11 21:48:44] 723*2^1435044-1 is not prime. Res64: AD7382598C98EEFE Time : 0.0 sec. user=mdettweiler [2016-07-11 21:48:44] 923*2^1435044-1 is not prime. Res64: 98460AF57C69792F Time : 0.0 sec. user=mdettweiler [2016-07-11 22:18:48] 923*2^1435046-1 is not prime. Res64: 3C9393E340F35C16 Time : 0.0 sec. user=mdettweiler [2016-07-11 22:18:48] 955*2^1435045-1 is not prime. Res64: BC813A3B80FE80F3 Time : 0.0 sec. user=mdettweiler [2016-07-11 22:18:49] 971*2^1435046-1 is not prime. Res64: E68B17CEB4FE78D4 Time : 0.0 sec. user=mdettweiler [2016-07-11 22:18:49] 987*2^1435045-1 is not prime. Res64: 7E30C8397F7087D6 Time : 0.0 sec. user=mdettweiler [2016-07-11 22:18:49] 643*2^1435047-1 is not prime. Res64: BBAE9C5899051CE4 Time : 0.0 sec. user=mdettweiler [2016-07-11 22:18:49] 603*2^1435046-1 is not prime. Res64: 1143051F22CF183E Time : 0.0 sec. user=mdettweiler [2016-07-11 22:18:49] 693*2^1435047-1 is not prime. Res64: 368DA3DCDC8159BD Time : 0.0 sec. user=mdettweiler [2016-07-11 22:18:49] 671*2^1435046-1 is not prime. Res64: 1571B635B8196942 Time : 0.0 sec. user=mdettweiler [2016-07-11 22:18:49] 705*2^1435047-1 is not prime. Res64: 2E6CE59035885C07 Time : 0.0 sec. user=mdettweiler [2016-07-11 22:18:50] 801*2^1435046-1 is not prime. Res64: 539DEF657797FB88 Time : 0.0 sec. user=mdettweiler [2016-07-11 22:20:33] 793*2^1435047-1 is not prime. Res64: 72E76CD8BD3C7A56 Time : 0.0 sec. user=mdettweiler [2016-07-11 22:20:33] 859*2^1435047-1 is not prime. Res64: 29658EFB818EE4B5 Time : 0.0 sec. user=mdettweiler [2016-07-11 22:20:34] 871*2^1435047-1 is not prime. Res64: 91E7C9D739AF6435 Time : 0.0 sec. user=mdettweiler [2016-07-11 22:20:34] 999*2^1435047-1 is not prime. Res64: 91E4CF19220FFFC7 Time : 0.0 sec. user=mdettweiler [2016-07-11 22:20:38] 603*2^1435048-1 is not prime. Res64: F5CC630D510D8254 Time : 0.0 sec. user=mdettweiler [2016-07-11 22:34:33] 629*2^1435048-1 is not prime. Res64: 2CC7855E74FE7366 Time : 0.0 sec. user=mdettweiler [2016-07-11 22:34:33] 657*2^1435048-1 is not prime. Res64: E0B09E579A8A3108 Time : 0.0 sec. user=mdettweiler [2016-07-11 22:34:34] 687*2^1435048-1 is not prime. Res64: 068D8F3284B4B850 Time : 0.0 sec. user=mdettweiler [2016-07-11 22:34:34] 713*2^1435048-1 is not prime. Res64: 719F5004009B2D74 Time : 0.0 sec. user=mdettweiler [2016-07-11 22:34:34] 833*2^1435048-1 is not prime. Res64: B39246597B94C060 Time : 0.0 sec. user=mdettweiler [2016-07-11 23:04:39] 635*2^1435050-1 is not prime. Res64: ECAAEA670F82DB3F Time : 0.0 sec. user=mdettweiler [2016-07-11 23:04:41] 717*2^1435050-1 is not prime. Res64: 35EEB67088D8A807 Time : 0.0 sec. user=mdettweiler [2016-07-11 23:04:42] 845*2^1435050-1 is not prime. Res64: 708366F089EB3387 Time : 0.0 sec. user=mdettweiler [2016-07-11 23:04:46] 861*2^1435050-1 is not prime. Res64: 22801FBD6725E7C0 Time : 0.0 sec. user=mdettweiler [2016-07-11 23:04:47] 885*2^1435050-1 is not prime. Res64: BD7E9D60F2A21F56 Time : 0.0 sec. user=mdettweiler [2016-07-11 23:05:06] 845*2^1435048-1 is not prime. Res64: 344F63C12827A847 Time : 0.0 sec. user=mdettweiler [2016-07-11 23:05:07] 855*2^1435048-1 is not prime. Res64: C5411DD52B3856D8 Time : 0.0 sec. user=mdettweiler [2016-07-11 23:05:08] 771*2^1435049-1 is not prime. Res64: FB0339965AA7A890 Time : 0.0 sec. user=mdettweiler [2016-07-11 23:05:12] 841*2^1435049-1 is not prime. Res64: A28EDC47DCE4F1E8 Time : 0.0 sec. user=mdettweiler [2016-07-11 23:05:13] 885*2^1435049-1 is not prime. Res64: F1293343100AB595 Time : 0.0 sec. user=mdettweiler [2016-07-11 23:06:20] 915*2^1435050-1 is not prime. Res64: CD8E21519A4C1D1F Time : 0.0 sec. user=mdettweiler [2016-07-11 23:06:21] 927*2^1435050-1 is not prime. Res64: 8B048B21AAFE2F0E Time : 0.0 sec. user=mdettweiler [2016-07-11 23:06:22] 609*2^1435051-1 is not prime. Res64: 8067D8F32ABE482B Time : 0.0 sec. user=mdettweiler [2016-07-11 23:06:27] 631*2^1435051-1 is not prime. Res64: DAFC398A25EC756B Time : 0.0 sec. user=mdettweiler [2016-07-11 23:06:28] 841*2^1435051-1 is not prime. Res64: A3C1F26EC9F58EE3 Time : 0.0 sec. user=mdettweiler [2016-07-11 23:20:21] 939*2^1435051-1 is not prime. Res64: 716245CBD344783D Time : 0.0 sec. user=mdettweiler [2016-07-11 23:20:22] 961*2^1435051-1 is not prime. Res64: 2DB3184FE34274F1 Time : 0.0 sec. user=mdettweiler [2016-07-11 23:20:28] 623*2^1435052-1 is not prime. Res64: 6C7A68127C5B0F94 Time : 0.0 sec. user=mdettweiler [2016-07-11 23:20:28] 699*2^1435052-1 is not prime. Res64: 1ACA89860801D41E Time : 0.0 sec. user=mdettweiler [2016-07-11 23:20:29] 743*2^1435052-1 is not prime. Res64: A483976FD11DD57F Time : 0.0 sec. user=mdettweiler [2016-07-11 23:50:35] 777*2^1435052-1 is not prime. Res64: A9A244C1C7BEC149 Time : 0.0 sec. user=mdettweiler [2016-07-11 23:50:35] 819*2^1435052-1 is not prime. Res64: E39717B5231F4FBC Time : 0.0 sec. user=mdettweiler [2016-07-11 23:50:35] 837*2^1435052-1 is not prime. Res64: 6917407DA4538F9A Time : 0.0 sec. user=mdettweiler [2016-07-11 23:50:36] 945*2^1435052-1 is not prime. Res64: F115D9A740715670 Time : 0.0 sec. user=mdettweiler [2016-07-11 23:50:37] 999*2^1435052-1 is not prime. Res64: 60B6837A843E6E1F Time : 0.0 sec. user=mdettweiler [2016-07-11 23:51:01] 621*2^1435053-1 is not prime. Res64: BFD80E8D36FD41B2 Time : 0.0 sec. user=mdettweiler [2016-07-11 23:51:01] 679*2^1435053-1 is not prime. Res64: 0C71A945E46FC02E Time : 0.0 sec. user=mdettweiler [2016-07-11 23:51:02] 759*2^1435053-1 is not prime. Res64: 392F2FE5D44AE9FE Time : 0.0 sec. user=mdettweiler [2016-07-11 23:51:02] 765*2^1435053-1 is not prime. Res64: A28E019EF16EA4BE Time : 0.0 sec. user=mdettweiler [2016-07-11 23:51:03] 781*2^1435053-1 is not prime. Res64: 167608876096C7DF Time : 0.0 sec. user=mdettweiler [2016-07-11 23:52:14] 805*2^1435053-1 is not prime. Res64: A4F3F88F85E55CA3 Time : 0.0 sec. user=mdettweiler [2016-07-11 23:52:14] 999*2^1435053-1 is not prime. Res64: 7B637C0FA4210115 Time : 0.0 sec. user=mdettweiler [2016-07-11 23:52:15] 651*2^1435054-1 is not prime. Res64: C64A680AE84357C7 Time : 0.0 sec. user=mdettweiler [2016-07-11 23:52:15] 665*2^1435054-1 is not prime. Res64: 4C23201744254C6D Time : 0.0 sec. user=mdettweiler [2016-07-11 23:52:16] 675*2^1435054-1 is not prime. Res64: AC7ADC99C861D687 Time : 0.0 sec.