user=mdettweiler [2015-04-29 00:02:32] 985*2^1397855-1 is not prime. Res64: 8C91294F547CF7E1 Time : 0.0 sec. user=mdettweiler [2015-04-29 00:02:33] 815*2^1397856-1 is not prime. Res64: 499F55974E643759 Time : 0.0 sec. user=mdettweiler [2015-04-29 00:02:33] 875*2^1397856-1 is not prime. Res64: 750F3DFD162292C4 Time : 0.0 sec. user=mdettweiler [2015-04-29 00:02:34] 909*2^1397856-1 is not prime. Res64: 8011B7E0EFEAB42D Time : 0.0 sec. user=mdettweiler [2015-04-29 00:03:19] 999*2^1397856-1 is not prime. Res64: CAE550A061EA68CE Time : 0.0 sec. user=mdettweiler [2015-04-29 00:03:20] 667*2^1397857-1 is not prime. Res64: F1D578B2A6E6EFDA Time : 0.0 sec. user=mdettweiler [2015-04-29 00:04:55] 687*2^1397857-1 is not prime. Res64: 1C56E4315D4147A4 Time : 0.0 sec. user=mdettweiler [2015-04-29 00:04:56] 699*2^1397857-1 is not prime. Res64: 0DE923C0ED44A987 Time : 0.0 sec. user=mdettweiler [2015-04-29 00:20:45] 831*2^1397857-1 is not prime. Res64: 21FE65E7E1E6F71B Time : 0.0 sec. user=mdettweiler [2015-04-29 00:20:46] 847*2^1397857-1 is not prime. Res64: 4DD483FDE6FFB46D Time : 0.0 sec. user=mdettweiler [2015-04-29 00:20:47] 751*2^1397857-1 is not prime. Res64: 1632FAAF05855BC6 Time : 0.0 sec. user=mdettweiler [2015-04-29 00:20:47] 771*2^1397857-1 is not prime. Res64: A7F74C987C764240 Time : 0.0 sec. user=mdettweiler [2015-04-29 00:21:16] 885*2^1397857-1 is not prime. Res64: 636D9323D27EBD6B Time : 0.0 sec. user=mdettweiler [2015-04-29 00:21:17] 791*2^1397858-1 is not prime. Res64: 15A0D0CA0EF79267 Time : 0.0 sec. user=mdettweiler [2015-04-29 00:22:48] 845*2^1397858-1 is not prime. Res64: 21423C040C2351CB Time : 0.0 sec. user=mdettweiler [2015-04-29 00:22:48] 893*2^1397858-1 is not prime. Res64: A10FB00AE9BB06FB Time : 0.0 sec. user=mdettweiler [2015-04-29 00:38:26] 691*2^1397859-1 is not prime. Res64: 73DEA501F33AE571 Time : 0.0 sec. user=mdettweiler [2015-04-29 00:38:26] 709*2^1397859-1 is not prime. Res64: 37E5FE1195B6E1E4 Time : 0.0 sec. user=mdettweiler [2015-04-29 00:38:33] 977*2^1397858-1 is not prime. Res64: B465CD7301DD25E9 Time : 0.0 sec. user=mdettweiler [2015-04-29 00:38:33] 649*2^1397859-1 is not prime. Res64: 83F010E5C3534946 Time : 0.0 sec. user=mdettweiler [2015-04-29 00:39:14] 895*2^1397859-1 is not prime. Res64: 387CCE8F23A2DD7B Time : 0.0 sec. user=mdettweiler [2015-04-29 00:39:14] 943*2^1397859-1 is not prime. Res64: 097D1EB0B1F268FC Time : 0.0 sec. user=mdettweiler [2015-04-29 00:40:28] 975*2^1397859-1 is not prime. Res64: A2C919FA8114EDBB Time : 0.0 sec. user=mdettweiler [2015-04-29 00:40:28] 603*2^1397860-1 is not prime. Res64: EDE88A119EF1597C Time : 0.0 sec. user=mdettweiler [2015-04-29 00:56:06] 663*2^1397860-1 is not prime. Res64: 129BB5B9C0691FDC Time : 0.0 sec. user=mdettweiler [2015-04-29 00:56:06] 675*2^1397860-1 is not prime. Res64: 158DE04A4F5B87E6 Time : 0.0 sec. user=mdettweiler [2015-04-29 00:56:11] 623*2^1397860-1 is not prime. Res64: B024F8D4EE3AD6A8 Time : 0.0 sec. user=mdettweiler [2015-04-29 00:56:12] 653*2^1397860-1 is not prime. Res64: 9DF7747C26FAADA7 Time : 0.0 sec. user=mdettweiler [2015-04-29 00:56:53] 677*2^1397860-1 is not prime. Res64: 594D6C76216B644B Time : 0.0 sec. user=mdettweiler [2015-04-29 00:56:53] 693*2^1397860-1 is not prime. Res64: D4DAFA46A607531A Time : 0.0 sec. user=mdettweiler [2015-04-29 00:58:08] 855*2^1397860-1 is not prime. Res64: EC0F47AC6D545927 Time : 0.0 sec. user=mdettweiler [2015-04-29 00:58:08] 909*2^1397860-1 is not prime. Res64: 8F8C8DD95747BA59 Time : 0.0 sec. user=mdettweiler [2015-04-29 01:13:52] 933*2^1397860-1 is not prime. Res64: 2E9FAAE71863E3DB Time : 0.0 sec. user=mdettweiler [2015-04-29 01:13:52] 615*2^1397861-1 is not prime. Res64: 2C3AC3A0A660611C Time : 0.0 sec. user=mdettweiler [2015-04-29 01:13:54] 631*2^1397861-1 is not prime. Res64: ADA45EC552C49BBE Time : 0.0 sec. user=mdettweiler [2015-04-29 01:13:54] 675*2^1397861-1 is not prime. Res64: 3720C789048E520A Time : 0.0 sec. user=mdettweiler [2015-04-29 01:15:02] 679*2^1397861-1 is not prime. Res64: 1D9AAD26E49C066D Time : 0.0 sec. user=mdettweiler [2015-04-29 01:15:03] 795*2^1397861-1 is not prime. Res64: B49DF336C1716189 Time : 0.0 sec. user=mdettweiler [2015-04-29 01:16:30] 829*2^1397861-1 is not prime. Res64: EDFBF8AF0DBAA4CE Time : 0.0 sec. user=mdettweiler [2015-04-29 01:16:31] 865*2^1397861-1 is not prime. Res64: 62D5AF1D77F571B8 Time : 0.0 sec. user=mdettweiler [2015-04-29 01:32:22] 987*2^1397861-1 is not prime. Res64: 9E216DE93B637AE8 Time : 0.0 sec. user=mdettweiler [2015-04-29 01:32:23] 797*2^1397862-1 is not prime. Res64: EDFD5131CC8EE6FC Time : 0.0 sec. user=mdettweiler [2015-04-29 01:32:25] 867*2^1397861-1 is not prime. Res64: 0BACBE4CAF84FC4A Time : 0.0 sec. user=mdettweiler [2015-04-29 01:32:25] 931*2^1397861-1 is not prime. Res64: AF92335BDCECF2B7 Time : 0.0 sec. user=mdettweiler [2015-04-29 01:33:34] 807*2^1397862-1 is not prime. Res64: 8E924FC297AC35E2 Time : 0.0 sec. user=mdettweiler [2015-04-29 01:33:34] 843*2^1397862-1 is not prime. Res64: 089DE6F30B4EC09A Time : 0.0 sec. user=mdettweiler [2015-04-29 01:34:42] 863*2^1397862-1 is not prime. Res64: 2DF845788430CD40 Time : 0.0 sec. user=mdettweiler [2015-04-29 01:34:43] 917*2^1397862-1 is not prime. Res64: 1965F74EF24C98DA Time : 0.0 sec. user=mdettweiler [2015-04-29 01:50:21] 771*2^1397863-1 is not prime. Res64: 94215B470067538B Time : 0.0 sec. user=mdettweiler [2015-04-29 01:50:22] 793*2^1397863-1 is not prime. Res64: 3DBA805432C97984 Time : 0.0 sec. user=mdettweiler [2015-04-29 01:50:49] 609*2^1397863-1 is not prime. Res64: CE6275AD34668593 Time : 0.0 sec. user=mdettweiler [2015-04-29 01:50:49] 649*2^1397863-1 is not prime. Res64: 7139C84143096DC1 Time : 0.0 sec. user=mdettweiler [2015-04-29 01:51:32] 883*2^1397863-1 is not prime. Res64: 8272D6A96C38FA89 Time : 0.0 sec. user=mdettweiler [2015-04-29 01:51:33] 969*2^1397863-1 is not prime. Res64: 59E4B8AE92AA1087 Time : 0.0 sec. user=mdettweiler [2015-04-29 01:53:03] 993*2^1397863-1 is not prime. Res64: 84FFB6648E9E1B41 Time : 0.0 sec. user=mdettweiler [2015-04-29 01:53:03] 623*2^1397864-1 is not prime. Res64: CA914F07F10BDA0D Time : 0.0 sec. user=mdettweiler [2015-04-29 02:08:05] 665*2^1397864-1 is not prime. Res64: 2D4A774A516125F4 Time : 0.0 sec. user=mdettweiler [2015-04-29 02:08:06] 843*2^1397864-1 is not prime. Res64: 07DF4EB3DB073FF7 Time : 0.0 sec. user=mdettweiler [2015-04-29 02:08:29] 857*2^1397864-1 is not prime. Res64: 5213A36460CE5F41 Time : 0.0 sec. user=mdettweiler [2015-04-29 02:08:30] 869*2^1397864-1 is not prime. Res64: 69A67B32CC2A6D64 Time : 0.0 sec. user=mdettweiler [2015-04-29 02:09:18] 957*2^1397864-1 is not prime. Res64: 56304A98FBEA220A Time : 0.0 sec. user=mdettweiler [2015-04-29 02:09:19] 983*2^1397864-1 is not prime. Res64: 9069549D75F18AF2 Time : 0.0 sec. user=mdettweiler [2015-04-29 02:10:41] 741*2^1397865-1 is not prime. Res64: B56FD284B4AFE469 Time : 0.0 sec. user=mdettweiler [2015-04-29 02:10:42] 975*2^1397865-1 is not prime. Res64: 8AEBA4E907521E01 Time : 0.0 sec. user=mdettweiler [2015-04-29 02:27:05] 815*2^1397866-1 is not prime. Res64: 803E9F5BFDBCF9CC Time : 0.0 sec. user=mdettweiler [2015-04-29 02:27:05] 821*2^1397866-1 is not prime. Res64: 9965F24378A7E36E Time : 0.0 sec. user=mdettweiler [2015-04-29 02:27:18] 653*2^1397866-1 is not prime. Res64: 32D8A2B32BCF05FE Time : 0.0 sec. user=mdettweiler [2015-04-29 02:27:19] 741*2^1397866-1 is not prime. Res64: 7EE239E25601F1BD Time : 0.0 sec. user=mdettweiler [2015-04-29 02:28:12] 891*2^1397866-1 is not prime. Res64: B197AF577BA98AEF Time : 0.0 sec. user=mdettweiler [2015-04-29 02:28:13] 911*2^1397866-1 is not prime. Res64: 76FBEC1D4D90496F Time : 0.0 sec. user=mdettweiler [2015-04-29 02:29:26] 945*2^1397866-1 is not prime. Res64: D16CF1C89E134DDD Time : 0.0 sec. user=mdettweiler [2015-04-29 02:29:27] 957*2^1397866-1 is not prime. Res64: 1029F168B2C0D4F6 Time : 0.0 sec. user=mdettweiler [2015-04-29 02:44:46] 601*2^1397867-1 is not prime. Res64: EFD6AEEA94D5FD9A Time : 0.0 sec. user=mdettweiler [2015-04-29 02:44:46] 643*2^1397867-1 is not prime. Res64: 00B35D07A03ADB0E Time : 0.0 sec. user=mdettweiler [2015-04-29 02:45:10] 669*2^1397867-1 is not prime. Res64: ED60282AF0F8F6C9 Time : 0.0 sec. user=mdettweiler [2015-04-29 02:45:10] 703*2^1397867-1 is not prime. Res64: 3A2D7F9E264F533E Time : 0.0 sec. user=mdettweiler [2015-04-29 02:45:55] 759*2^1397867-1 is not prime. Res64: ED2A877B3C3F9872 Time : 0.0 sec. user=mdettweiler [2015-04-29 02:45:55] 781*2^1397867-1 is not prime. Res64: A5788088B6C8CA35 Time : 0.0 sec. user=mdettweiler [2015-04-29 02:47:07] 879*2^1397867-1 is not prime. Res64: 9A46AB0405E940AA Time : 0.0 sec. user=mdettweiler [2015-04-29 02:47:08] 885*2^1397867-1 is not prime. Res64: 67E6E6D79E29821F Time : 0.0 sec. user=mdettweiler [2015-04-29 03:02:23] 949*2^1397867-1 is not prime. Res64: 35A6846658E0B57C Time : 0.0 sec. user=mdettweiler [2015-04-29 03:02:24] 979*2^1397867-1 is not prime. Res64: 085971A1FEB14850 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:02:58] 647*2^1397868-1 is not prime. Res64: 3F85F534DAB06F8A Time : 0.0 sec. user=mdettweiler [2015-04-29 03:02:59] 663*2^1397868-1 is not prime. Res64: 5A2E2E3E8DD9299D Time : 0.0 sec. user=mdettweiler [2015-04-29 03:03:38] 735*2^1397868-1 is not prime. Res64: 7296BA55811F43E3 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:03:39] 777*2^1397868-1 is not prime. Res64: CB74B8685E1B4D6F Time : 0.0 sec. user=mdettweiler [2015-04-29 03:04:48] 797*2^1397868-1 is not prime. Res64: A310616AEBE7BA4B Time : 0.0 sec. user=mdettweiler [2015-04-29 03:04:49] 929*2^1397868-1 is not prime. Res64: E19C49F894E7D4B0 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:20:22] 625*2^1397869-1 is not prime. Res64: 9C6B4FF492C5F80C Time : 0.0 sec. user=mdettweiler [2015-04-29 03:20:23] 757*2^1397869-1 is not prime. Res64: 95C5EB5992352E0B Time : 0.0 sec. user=mdettweiler [2015-04-29 03:20:45] 771*2^1397869-1 is not prime. Res64: 386F0748D3C95BCB Time : 0.0 sec. user=mdettweiler [2015-04-29 03:20:46] 855*2^1397869-1 is not prime. Res64: 81C1205E535ECF70 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:21:23] 961*2^1397869-1 is not prime. Res64: A070584BEBD10531 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:21:24] 651*2^1397870-1 is not prime. Res64: A11EF9CBA9E77E3A Time : 0.0 sec. user=mdettweiler [2015-04-29 03:22:32] 755*2^1397870-1 is not prime. Res64: 2C098974D42CA1F6 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:22:33] 831*2^1397870-1 is not prime. Res64: D9E567F2C90C7BC0 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:38:03] 977*2^1397870-1 is not prime. Res64: AFCFAF43DA4C6670 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:38:03] 613*2^1397871-1 is not prime. Res64: E7E938E21A170133 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:38:23] 651*2^1397871-1 is not prime. Res64: 90312EB178B564E0 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:38:24] 675*2^1397871-1 is not prime. Res64: 8C21BB51462BC39E Time : 0.0 sec. user=mdettweiler [2015-04-29 03:39:07] 703*2^1397871-1 is not prime. Res64: D2593F3DBD9D707A Time : 0.0 sec. user=mdettweiler [2015-04-29 03:39:08] 829*2^1397871-1 is not prime. Res64: 7933219B22B15541 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:40:07] 895*2^1397871-1 is not prime. Res64: 1BFD35AAB41F8138 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:40:08] 921*2^1397871-1 is not prime. Res64: 81B4B09CFBF49254 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:55:50] 951*2^1397871-1 is not prime. Res64: C848B5F831892D53 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:55:50] 969*2^1397871-1 is not prime. Res64: 6862CBFCC7903E14 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:56:13] 723*2^1397872-1 is not prime. Res64: 8ED75D71E7F512A2 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:56:13] 875*2^1397872-1 is not prime. Res64: 4C1A7025DC6E6F41 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:56:59] 983*2^1397872-1 is not prime. Res64: 625CEE414186F3E9 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:56:59] 691*2^1397873-1 is not prime. Res64: 1A6F81B051EA9449 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:57:53] 729*2^1397873-1 is not prime. Res64: C314AE9B3FBEE113 Time : 0.0 sec. user=mdettweiler [2015-04-29 03:57:53] 787*2^1397873-1 is not prime. Res64: A11E9ABEAA8753A2 Time : 0.0 sec. user=mdettweiler [2015-04-29 04:13:35] 955*2^1397873-1 is not prime. Res64: 8E0F0C3B53605926 Time : 0.0 sec. user=mdettweiler [2015-04-29 04:13:36] 981*2^1397873-1 is not prime. Res64: 8CCBAB16F857FB46 Time : 0.0 sec. user=mdettweiler [2015-04-29 04:13:58] 635*2^1397874-1 is not prime. Res64: 84E36C2094D4A2D8 Time : 0.0 sec. user=mdettweiler [2015-04-29 04:13:58] 671*2^1397874-1 is not prime. Res64: 403602541DDDD022 Time : 0.0 sec. user=mdettweiler [2015-04-29 04:14:40] 681*2^1397874-1 is not prime. Res64: 725EA29C5EF8AFAE Time : 0.0 sec. user=mdettweiler [2015-04-29 04:14:40] 723*2^1397874-1 is not prime. Res64: 30C66AF2C6A40DE7 Time : 0.0 sec. user=mdettweiler [2015-04-29 04:15:39] 797*2^1397874-1 is not prime. Res64: 30518DCE8B353C56 Time : 0.0 sec. user=mdettweiler [2015-04-29 04:15:39] 861*2^1397874-1 is not prime. Res64: 54DA281627EBA839 Time : 0.0 sec. user=mdettweiler [2015-04-29 04:31:22] 941*2^1397874-1 is not prime. Res64: 733B3868641F4746 Time : 0.0 sec. user=mdettweiler [2015-04-29 04:31:22] 975*2^1397874-1 is not prime. Res64: 2447069596B074AE Time : 0.0 sec. user=mdettweiler [2015-04-29 04:31:34] 645*2^1397875-1 is not prime. Res64: 84B0A4A4812BD048 Time : 0.0 sec. user=mdettweiler [2015-04-29 04:31:34] 723*2^1397875-1 is not prime. Res64: 6E280C95EBFA9B7D Time : 0.0 sec. user=mdettweiler [2015-04-29 04:32:21] 751*2^1397875-1 is not prime. Res64: DD43796F4B2026FE Time : 0.0 sec. user=mdettweiler [2015-04-29 04:32:21] 771*2^1397875-1 is not prime. Res64: 03C463146030D339 Time : 0.0 sec. user=mdettweiler [2015-04-29 04:33:15] 829*2^1397875-1 is not prime. Res64: D34C0C07E80DAAF0 Time : 0.0 sec. user=mdettweiler [2015-04-29 04:33:15] 853*2^1397875-1 is not prime. Res64: 81A34A94A01AE40C Time : 0.0 sec. user=mdettweiler [2015-04-29 04:49:05] 891*2^1397875-1 is not prime. Res64: A63AE4F1AA18DF98 Time : 0.0 sec. user=mdettweiler [2015-04-29 04:49:05] 909*2^1397875-1 is not prime. Res64: 6F060D76ADB504EF Time : 0.0 sec. user=mdettweiler [2015-04-29 04:49:16] 979*2^1397875-1 is not prime. Res64: 1DBD6A6AF1AD573E Time : 0.0 sec. user=mdettweiler [2015-04-29 04:49:16] 689*2^1397876-1 is not prime. Res64: A8E034B4780F9AAD Time : 0.0 sec. user=mdettweiler [2015-04-29 04:50:04] 789*2^1397876-1 is not prime. Res64: CB20643FF899AC37 Time : 0.0 sec. user=mdettweiler [2015-04-29 04:50:04] 879*2^1397876-1 is not prime. Res64: 8EF1AA22BD1AFB13 Time : 0.0 sec. user=mdettweiler [2015-04-29 04:50:57] 963*2^1397876-1 is not prime. Res64: 3374F1B5E889246D Time : 0.0 sec. user=mdettweiler [2015-04-29 04:50:57] 627*2^1397877-1 is not prime. Res64: E36F1D831520E4BF Time : 0.0 sec. user=mdettweiler [2015-04-29 05:06:55] 655*2^1397877-1 is not prime. Res64: 6F070AAAF98B341C Time : 0.0 sec. user=mdettweiler [2015-04-29 05:06:56] 885*2^1397877-1 is not prime. Res64: 2EC7AB032088A408 Time : 0.0 sec. user=mdettweiler [2015-04-29 05:06:57] 915*2^1397877-1 is not prime. Res64: AF8183265A1C6F92 Time : 0.0 sec. user=mdettweiler [2015-04-29 05:06:58] 765*2^1397878-1 is not prime. Res64: 7F81AE83E5802EC2 Time : 0.0 sec. user=mdettweiler [2015-04-29 05:07:58] 773*2^1397878-1 is not prime. Res64: D730BE37E844AE7E Time : 0.0 sec. user=mdettweiler [2015-04-29 05:07:59] 825*2^1397878-1 is not prime. Res64: 007DD893135187F3 Time : 0.0 sec. user=mdettweiler [2015-04-29 05:08:38] 649*2^1397879-1 is not prime. Res64: E63383F26350A8E6 Time : 0.0 sec. user=mdettweiler [2015-04-29 05:08:39] 789*2^1397879-1 is not prime. Res64: E44F21A23E992F3C Time : 0.0 sec. user=mdettweiler [2015-04-29 05:24:46] 843*2^1397879-1 is not prime. Res64: 418E47335B0F30CD Time : 0.0 sec. user=mdettweiler [2015-04-29 05:24:46] 913*2^1397879-1 is not prime. Res64: 4B755C0AD3B86788 Time : 0.0 sec. user=mdettweiler [2015-04-29 05:24:48] 627*2^1397880-1 is not prime. Res64: 3B32B1DC972F96DA Time : 0.0 sec. user=mdettweiler [2015-04-29 05:24:48] 665*2^1397880-1 is not prime. Res64: 55C3059DF4CD7B1F Time : 0.0 sec. user=mdettweiler [2015-04-29 05:25:48] 695*2^1397880-1 is not prime. Res64: A3167E9C8EFC0A5B Time : 0.0 sec. user=mdettweiler [2015-04-29 05:25:48] 767*2^1397880-1 is not prime. Res64: 4C2BD47D07DEE040 Time : 0.0 sec. user=mdettweiler [2015-04-29 05:26:27] 839*2^1397880-1 is not prime. Res64: EC965F59F23D7C2F Time : 0.0 sec. user=mdettweiler [2015-04-29 05:26:27] 863*2^1397880-1 is not prime. Res64: 89CE6221A4F20C6A Time : 0.0 sec. user=mdettweiler [2015-04-29 05:42:23] 929*2^1397880-1 is not prime. Res64: 75550C3B9E7A0AEE Time : 0.0 sec. user=mdettweiler [2015-04-29 05:42:23] 847*2^1397881-1 is not prime. Res64: 0C39F917DC52658C Time : 0.0 sec. user=mdettweiler [2015-04-29 05:42:27] 871*2^1397881-1 is not prime. Res64: A58CD46ABCD44859 Time : 0.0 sec. user=mdettweiler [2015-04-29 05:42:27] 957*2^1397881-1 is not prime. Res64: E4E457C8A5B0C5EF Time : 0.0 sec. user=mdettweiler [2015-04-29 05:43:26] 635*2^1397882-1 is not prime. Res64: 55E3B5051638FFAE Time : 0.0 sec. user=mdettweiler [2015-04-29 05:43:27] 867*2^1397882-1 is not prime. Res64: A676848F785B022E Time : 0.0 sec. user=mdettweiler [2015-04-29 05:44:04] 921*2^1397882-1 is not prime. Res64: 9532377931501183 Time : 0.0 sec. user=mdettweiler [2015-04-29 05:44:04] 699*2^1397883-1 is not prime. Res64: 3584D390B7D888D3 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:00:03] 819*2^1397883-1 is not prime. Res64: F7684FF2B27087E7 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:00:04] 823*2^1397883-1 is not prime. Res64: 97967AB516CFEE86 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:00:07] 703*2^1397883-1 is not prime. Res64: 3B2A7B6B266A2BC2 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:00:08] 735*2^1397883-1 is not prime. Res64: 8E40BCB767B741F8 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:01:07] 901*2^1397883-1 is not prime. Res64: 648716A7125596FD Time : 0.0 sec. user=mdettweiler [2015-04-29 06:01:08] 609*2^1397884-1 is not prime. Res64: 8656C5154D39B5C0 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:01:42] 623*2^1397884-1 is not prime. Res64: 61502EA5AE235371 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:01:42] 875*2^1397884-1 is not prime. Res64: 98376750C341815B Time : 0.0 sec. user=mdettweiler [2015-04-29 06:17:43] 909*2^1397884-1 is not prime. Res64: ECEDE369D059AF43 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:17:43] 983*2^1397884-1 is not prime. Res64: C4E650DBDC9F7906 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:17:48] 601*2^1397885-1 is not prime. Res64: 471D781B3EB5FCAB Time : 0.0 sec. user=mdettweiler [2015-04-29 06:17:48] 699*2^1397885-1 is not prime. Res64: 4151FFC8FB321358 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:18:49] 711*2^1397885-1 is not prime. Res64: 681CD244A6943C2A Time : 0.0 sec. user=mdettweiler [2015-04-29 06:18:50] 729*2^1397885-1 is not prime. Res64: 1789D9927A63A382 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:19:22] 757*2^1397885-1 is not prime. Res64: 11CDC7BDD4C627F3 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:19:22] 787*2^1397885-1 is not prime. Res64: C2E7789D9A41F16E Time : 0.0 sec. user=mdettweiler [2015-04-29 06:35:26] 795*2^1397885-1 is not prime. Res64: B5F2323D8D7A1386 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:35:27] 831*2^1397885-1 is not prime. Res64: 4D95A54376D08A03 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:35:28] 939*2^1397885-1 is not prime. Res64: 34A8189E7CFE63AD Time : 0.0 sec. user=mdettweiler [2015-04-29 06:35:28] 981*2^1397885-1 is not prime. Res64: AF42D90F1F095876 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:36:42] 985*2^1397885-1 is not prime. Res64: 2E1046432E9A4601 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:36:42] 615*2^1397886-1 is not prime. Res64: 0ED4B458EEFC5100 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:37:05] 627*2^1397886-1 is not prime. Res64: 4E61A252F70F4A4B Time : 0.0 sec. user=mdettweiler [2015-04-29 06:37:06] 683*2^1397886-1 is not prime. Res64: 93D6C9E225F7A6FD Time : 0.0 sec. user=mdettweiler [2015-04-29 06:53:10] 761*2^1397886-1 is not prime. Res64: B2D4F6678B39AF25 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:53:11] 795*2^1397886-1 is not prime. Res64: 60926D9929DF5E70 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:53:14] 707*2^1397886-1 is not prime. Res64: 69B7ECC6E62339FC Time : 0.0 sec. user=mdettweiler [2015-04-29 06:53:15] 723*2^1397886-1 is not prime. Res64: F2AE364C20F3608D Time : 0.0 sec. user=mdettweiler [2015-04-29 06:54:20] 843*2^1397886-1 is not prime. Res64: 4172E1DC668FC84D Time : 0.0 sec. user=mdettweiler [2015-04-29 06:54:21] 873*2^1397886-1 is not prime. Res64: 735EC0D69FE60583 Time : 0.0 sec. user=mdettweiler [2015-04-29 06:54:49] 875*2^1397886-1 is not prime. Res64: B35A7FB6715644CB Time : 0.0 sec. user=mdettweiler [2015-04-29 06:54:49] 887*2^1397886-1 is not prime. Res64: CF098E1268DA16E1 Time : 0.0 sec. user=mdettweiler [2015-04-29 07:10:44] 891*2^1397886-1 is not prime. Res64: 26E928DB084F504E Time : 0.0 sec. user=mdettweiler [2015-04-29 07:10:44] 971*2^1397886-1 is not prime. Res64: 6629C5133C4D4846 Time : 0.0 sec. user=mdettweiler [2015-04-29 07:10:54] 983*2^1397886-1 is not prime. Res64: DFA3E616517CD496 Time : 0.0 sec. user=mdettweiler [2015-04-29 07:10:55] 601*2^1397887-1 is not prime. Res64: D8348628DCD66B5C Time : 0.0 sec. user=mdettweiler [2015-04-29 07:12:04] 625*2^1397887-1 is not prime. Res64: 2377CF3CF45D05E3 Time : 0.0 sec. user=mdettweiler [2015-04-29 07:12:04] 673*2^1397887-1 is not prime. Res64: E20B8C3E0D106E82 Time : 0.0 sec. user=mdettweiler [2015-04-29 07:12:30] 763*2^1397887-1 is not prime. Res64: FC7F1E8AFF9A4FEC Time : 0.0 sec. user=mdettweiler [2015-04-29 07:12:30] 769*2^1397887-1 is not prime. Res64: 8B2BC0038A04B686 Time : 0.0 sec. user=mdettweiler [2015-04-29 07:28:29] 849*2^1397887-1 is not prime. Res64: C04D4CC05579CCE8 Time : 0.0 sec. user=mdettweiler [2015-04-29 07:28:29] 871*2^1397887-1 is not prime. Res64: 949C03A23F21C6DD Time : 0.0 sec. user=mdettweiler [2015-04-29 07:28:34] 873*2^1397887-1 is not prime. Res64: 653CE68FACFBF3A6 Time : 0.0 sec. user=mdettweiler [2015-04-29 07:28:34] 931*2^1397887-1 is not prime. Res64: 195B37AF25C57B7C Time : 0.0 sec. user=mdettweiler [2015-04-29 07:29:52] 979*2^1397887-1 is not prime. Res64: 9C27365A5F629AA8 Time : 0.0 sec. user=mdettweiler [2015-04-29 07:29:52] 665*2^1397888-1 is not prime. Res64: 0909E2362BADAC09 Time : 0.0 sec. user=mdettweiler [2015-04-29 07:30:09] 725*2^1397888-1 is not prime. Res64: C5E54D8E19C4F7D7 Time : 0.0 sec. user=mdettweiler [2015-04-29 07:30:10] 743*2^1397888-1 is not prime. Res64: C900233EBD382B14 Time : 0.0 sec. user=mdettweiler [2015-04-29 07:46:11] 827*2^1397888-1 is not prime. Res64: C09FE00195CF43CD Time : 0.0 sec. user=mdettweiler [2015-04-29 07:46:12] 867*2^1397888-1 is not prime. Res64: B51A3956A6A7B98B Time : 0.0 sec. user=mdettweiler [2015-04-29 07:46:14] 909*2^1397888-1 is not prime. Res64: B50BDF392F43FF58 Time : 0.0 sec. user=mdettweiler [2015-04-29 07:46:14] 601*2^1397889-1 is not prime. Res64: 9600165E9A47EC5F Time : 0.0 sec. user=mdettweiler [2015-04-29 07:47:33] 637*2^1397889-1 is not prime. Res64: 1744DC69DDDD2736 Time : 0.0 sec. user=mdettweiler [2015-04-29 07:47:34] 691*2^1397889-1 is not prime. Res64: 2AF5F7688B8F2A3F Time : 0.0 sec. user=mdettweiler [2015-04-29 07:47:53] 781*2^1397889-1 is not prime. Res64: 80A45C1D947939C1 Time : 0.0 sec. user=mdettweiler [2015-04-29 07:47:53] 787*2^1397889-1 is not prime. Res64: 5CBDF4B3EA5E5BD4 Time : 0.0 sec. user=mdettweiler [2015-04-29 08:03:55] 945*2^1397889-1 is not prime. Res64: 6861CFD08943B409 Time : 0.0 sec. user=mdettweiler [2015-04-29 08:03:56] 817*2^1397889-1 is not prime. Res64: 8DB8228DD351D929 Time : 0.0 sec. user=mdettweiler [2015-04-29 08:03:56] 955*2^1397889-1 is not prime. Res64: 9A1413EA02CC2B09 Time : 0.0 sec. user=mdettweiler [2015-04-29 08:03:57] 861*2^1397889-1 is not prime. Res64: 4FE8CB590199A0EF Time : 0.0 sec. user=mdettweiler [2015-04-29 08:05:16] 979*2^1397889-1 is not prime. Res64: 4A968BB3425B1060 Time : 0.0 sec. user=mdettweiler [2015-04-29 08:05:17] 605*2^1397890-1 is not prime. Res64: 48CFC9CCF3EBCCF8 Time : 0.0 sec. user=mdettweiler [2015-04-29 08:05:35] 755*2^1397890-1 is not prime. Res64: CC526DAD87A7A5FA Time : 0.0 sec. user=mdettweiler [2015-04-29 08:05:35] 951*2^1397890-1 is not prime. Res64: 9D854EF7276411F5 Time : 0.0 sec. user=mdettweiler [2015-04-29 08:22:06] 957*2^1397890-1 is not prime. Res64: 8E882DF45E391ACC Time : 0.0 sec. user=mdettweiler [2015-04-29 08:22:07] 975*2^1397890-1 is not prime. Res64: 880980572C58B0E6 Time : 0.0 sec. user=mdettweiler [2015-04-29 08:22:09] 987*2^1397890-1 is not prime. Res64: E060A78F44B6F870 Time : 0.0 sec. user=mdettweiler [2015-04-29 08:22:10] 631*2^1397891-1 is not prime. Res64: 77B30E7C566938A5 Time : 0.0 sec. user=mdettweiler [2015-04-29 08:23:04] 651*2^1397891-1 is not prime. Res64: 6D84C2C63F27E00E Time : 0.0 sec. user=mdettweiler [2015-04-29 08:23:04] 703*2^1397891-1 is not prime. Res64: 38CC95A793B71AEC Time : 0.0 sec. user=mdettweiler [2015-04-29 08:23:15] 753*2^1397891-1 is not prime. Res64: 6BA699FDD5D6E258 Time : 0.0 sec. user=mdettweiler [2015-04-29 08:23:15] 775*2^1397891-1 is not prime. Res64: E2C05467A00A97AF Time : 0.0 sec. user=mdettweiler [2015-04-29 08:39:49] 819*2^1397891-1 is not prime. Res64: E0074C88DFF26C7F Time : 0.0 sec. user=mdettweiler [2015-04-29 08:39:50] 909*2^1397891-1 is not prime. Res64: E4C2A2271716E6AE Time : 0.0 sec. user=mdettweiler [2015-04-29 08:39:53] 913*2^1397891-1 is not prime. Res64: EA07BBC5864AA2EB Time : 0.0 sec. user=mdettweiler [2015-04-29 08:39:53] 969*2^1397891-1 is not prime. Res64: 52713081CF5F5220 Time : 0.0 sec. user=mdettweiler [2015-04-29 08:40:45] 979*2^1397891-1 is not prime. Res64: 01D6EC5291F61C81 Time : 0.0 sec. user=mdettweiler [2015-04-29 08:40:46] 777*2^1397892-1 is not prime. Res64: 88ED2420F1C27CBA Time : 0.0 sec. user=mdettweiler [2015-04-29 08:40:56] 779*2^1397892-1 is not prime. Res64: 79847C28F3901871 Time : 0.0 sec. user=mdettweiler [2015-04-29 08:40:57] 837*2^1397892-1 is not prime. Res64: E9C120EAAE16A901 Time : 0.0 sec. user=mdettweiler [2015-04-29 08:57:31] 873*2^1397892-1 is not prime. Res64: 4DCD3DE3DDCF8560 Time : 0.0 sec. user=mdettweiler [2015-04-29 08:57:31] 893*2^1397892-1 is not prime. Res64: EE8815F91F564CBD Time : 0.0 sec. user=mdettweiler [2015-04-29 08:57:31] 699*2^1397893-1 is not prime. Res64: 16BA24BBCECCCBEC Time : 0.0 sec. user=mdettweiler [2015-04-29 08:57:32] 721*2^1397893-1 is not prime. Res64: F70D585229381030 Time : 0.0 sec. user=mdettweiler [2015-04-29 08:58:33] 789*2^1397893-1 is not prime. Res64: 9543DF6F8E70086F Time : 0.0 sec. user=mdettweiler [2015-04-29 08:58:33] 855*2^1397893-1 is not prime. Res64: 117D9C22CCD5DC13 Time : 0.0 sec. user=mdettweiler [2015-04-29 08:58:38] 861*2^1397893-1 is not prime. Res64: AA5E1EBA3CC614B9 Time : 0.0 sec. user=mdettweiler [2015-04-29 08:58:38] 877*2^1397893-1 is not prime. Res64: 7F6C1CC2EA974E80 Time : 0.0 sec. user=mdettweiler [2015-04-29 09:15:16] 705*2^1397894-1 is not prime. Res64: 51F1770400B086FF Time : 0.0 sec. user=mdettweiler [2015-04-29 09:15:17] 773*2^1397894-1 is not prime. Res64: 416155C32C6FF6DC Time : 0.0 sec. user=mdettweiler [2015-04-29 09:15:18] 985*2^1397893-1 is not prime. Res64: 0FC68DF44F5D435A Time : 0.0 sec. user=mdettweiler [2015-04-29 09:15:19] 617*2^1397894-1 is not prime. Res64: C61FCD1A83E3E558 Time : 0.0 sec. user=mdettweiler [2015-04-29 09:16:16] 885*2^1397894-1 is not prime. Res64: EB45192659CC41EF Time : 0.0 sec. user=mdettweiler [2015-04-29 09:16:16] 897*2^1397894-1 is not prime. Res64: 72223791D3A814C9 Time : 0.0 sec. user=mdettweiler [2015-04-29 09:16:28] 903*2^1397894-1 is not prime. Res64: 41F2E06D88109527 Time : 0.0 sec. user=mdettweiler [2015-04-29 09:16:29] 915*2^1397894-1 is not prime. Res64: 9EC89D2ADBCA1E24 Time : 0.0 sec. user=mdettweiler [2015-04-29 09:32:53] 993*2^1397894-1 is not prime. Res64: EC8ADA8DB10E6E71 Time : 0.0 sec. user=mdettweiler [2015-04-29 09:32:53] 685*2^1397895-1 is not prime. Res64: BBDE91F8E8CC5BF7 Time : 0.0 sec. user=mdettweiler [2015-04-29 09:32:58] 765*2^1397895-1 is not prime. Res64: C736247CBAF0E60F Time : 0.0 sec. user=mdettweiler [2015-04-29 09:32:58] 793*2^1397895-1 is not prime. Res64: 9C37EC9DD5C6DE5B Time : 0.0 sec. user=mdettweiler [2015-04-29 09:34:03] 855*2^1397896-1 is not prime. Res64: 679E516136241913 Time : 0.0 sec. user=mdettweiler [2015-04-29 09:34:04] 933*2^1397896-1 is not prime. Res64: 3C7F083C6AA280C4 Time : 0.0 sec. user=mdettweiler [2015-04-29 09:34:06] 969*2^1397896-1 is not prime. Res64: 2F67442FAB2F71A8 Time : 0.0 sec. user=mdettweiler [2015-04-29 09:34:06] 615*2^1397897-1 is not prime. Res64: 88DE3273FBB6B26E Time : 0.0 sec. user=mdettweiler [2015-04-29 09:50:37] 649*2^1397897-1 is not prime. Res64: 2B0D4213CAD6C3C8 Time : 0.0 sec. user=mdettweiler [2015-04-29 09:50:37] 669*2^1397897-1 is not prime. Res64: 8B5AB8B1CE24D27B Time : 0.0 sec. user=mdettweiler [2015-04-29 09:50:39] 717*2^1397897-1 is not prime. Res64: B65850D8B8EA81CC Time : 0.0 sec. user=mdettweiler [2015-04-29 09:50:40] 729*2^1397897-1 is not prime. Res64: F2F04155A1B5C297 Time : 0.0 sec. user=mdettweiler [2015-04-29 09:51:44] 759*2^1397897-1 is not prime. Res64: 5407245551F07206 Time : 0.0 sec. user=mdettweiler [2015-04-29 09:51:44] 937*2^1397897-1 is not prime. Res64: 5D3FD40C4BBB9799 Time : 0.0 sec. user=mdettweiler [2015-04-29 09:51:45] 939*2^1397897-1 is not prime. Res64: 5EA800A30C1DEF75 Time : 0.0 sec. user=mdettweiler [2015-04-29 09:51:45] 945*2^1397897-1 is not prime. Res64: 5ACDFDE2FE6F44F1 Time : 0.0 sec. user=mdettweiler [2015-04-29 10:08:17] 615*2^1397898-1 is not prime. Res64: 8DD3B59F7B85D99E Time : 0.0 sec. user=mdettweiler [2015-04-29 10:08:17] 621*2^1397898-1 is not prime. Res64: 3AEF205D22BEC22F Time : 0.0 sec. user=mdettweiler [2015-04-29 10:08:19] 641*2^1397898-1 is not prime. Res64: 2B597B93578E51D3 Time : 0.0 sec. user=mdettweiler [2015-04-29 10:08:19] 791*2^1397898-1 is not prime. Res64: 2AE954997ED7900A Time : 0.0 sec. user=mdettweiler [2015-04-29 10:09:22] 905*2^1397898-1 is not prime. Res64: FCB4D8D90195CD75 Time : 0.0 sec. user=mdettweiler [2015-04-29 10:09:23] 971*2^1397898-1 is not prime. Res64: 7A7420F5385DAE13 Time : 0.0 sec. user=mdettweiler [2015-04-29 10:09:25] 601*2^1397899-1 is not prime. Res64: 94210E941B42443F Time : 0.0 sec. user=mdettweiler [2015-04-29 10:09:25] 615*2^1397899-1 is not prime. Res64: E1D16590BC2D51B0 Time : 0.0 sec. user=mdettweiler [2015-04-29 10:26:00] 681*2^1397899-1 is not prime. Res64: 1DADA28312A9A5A1 Time : 0.0 sec. user=mdettweiler [2015-04-29 10:26:01] 693*2^1397899-1 is not prime. Res64: B50868F8EC0504CD Time : 0.0 sec. user=mdettweiler [2015-04-29 10:26:08] 735*2^1397899-1 is not prime. Res64: A35634E810777A7E Time : 0.0 sec. user=mdettweiler [2015-04-29 10:26:08] 769*2^1397899-1 is not prime. Res64: 0F709A216A4EAEFF Time : 0.0 sec. user=mdettweiler [2015-04-29 10:27:00] 861*2^1397899-1 is not prime. Res64: E5A98C50A55BFC13 Time : 0.0 sec. user=mdettweiler [2015-04-29 10:27:00] 669*2^1397900-1 is not prime. Res64: 607BCF7BF6AD01D9 Time : 0.0 sec. user=mdettweiler [2015-04-29 10:27:07] 767*2^1397900-1 is not prime. Res64: 26DE32F496CD5F1F Time : 0.0 sec. user=mdettweiler [2015-04-29 10:27:08] 843*2^1397900-1 is not prime. Res64: 865C7EE9A1A7C2BB Time : 0.0 sec. user=mdettweiler [2015-04-29 10:43:42] 909*2^1397900-1 is not prime. Res64: DBE3A24C3AC7C380 Time : 0.0 sec. user=mdettweiler [2015-04-29 10:43:42] 945*2^1397900-1 is not prime. Res64: 25A33E6805592E8D Time : 0.0 sec. user=mdettweiler [2015-04-29 10:43:43] 607*2^1397901-1 is not prime. Res64: 7B143E634732C6EF Time : 0.0 sec. user=mdettweiler [2015-04-29 10:43:43] 627*2^1397901-1 is not prime. Res64: E6DF9B1699BB34DE Time : 0.0 sec. user=mdettweiler [2015-04-29 10:44:38] 949*2^1397901-1 is not prime. Res64: 1CCA75AA69777E91 Time : 0.0 sec. user=mdettweiler [2015-04-29 10:44:39] 975*2^1397901-1 is not prime. Res64: B04D45485F1F6815 Time : 0.0 sec. user=mdettweiler [2015-04-29 10:44:50] 611*2^1397902-1 is not prime. Res64: EA6A432318B2EAB5 Time : 0.0 sec. user=mdettweiler [2015-04-29 10:44:50] 647*2^1397902-1 is not prime. Res64: 8C2B4FF96073FB9F Time : 0.0 sec. user=mdettweiler [2015-04-29 11:01:34] 653*2^1397902-1 is not prime. Res64: 348626C6A5C60CAD Time : 0.0 sec. user=mdettweiler [2015-04-29 11:01:34] 705*2^1397902-1 is not prime. Res64: 9B14531F2784A5D6 Time : 0.0 sec. user=mdettweiler [2015-04-29 11:01:35] 695*2^1397902-1 is not prime. Res64: F42F9B503196C1F8 Time : 0.0 sec. user=mdettweiler [2015-04-29 11:01:36] 777*2^1397902-1 is not prime. Res64: 75D8D1CFDA4E0593 Time : 0.0 sec. user=mdettweiler [2015-04-29 11:02:30] 815*2^1397902-1 is not prime. Res64: AF195C8037E3A511 Time : 0.0 sec. user=mdettweiler [2015-04-29 11:02:31] 885*2^1397902-1 is not prime. Res64: 44419013C9065B2C Time : 0.0 sec. user=mdettweiler [2015-04-29 11:02:41] 911*2^1397902-1 is not prime. Res64: 1A360DE0C32BB42D Time : 0.0 sec. user=mdettweiler [2015-04-29 11:02:42] 615*2^1397903-1 is not prime. Res64: CDBFB0D2A02FE3AD Time : 0.0 sec. user=mdettweiler [2015-04-29 11:19:51] 853*2^1397903-1 is not prime. Res64: 89815A0EB3CFBF68 Time : 0.0 sec. user=mdettweiler [2015-04-29 11:19:52] 623*2^1397904-1 is not prime. Res64: DE4433EDCF78F12D Time : 0.0 sec. user=mdettweiler [2015-04-29 11:19:55] 705*2^1397903-1 is not prime. Res64: BA65BDE27EB1FA51 Time : 0.0 sec. user=mdettweiler [2015-04-29 11:19:55] 805*2^1397903-1 is not prime. Res64: F5843BB83DCADF45 Time : 0.0 sec. user=mdettweiler [2015-04-29 11:20:44] 635*2^1397904-1 is not prime. Res64: 9810CBD9BB1F9070 Time : 0.0 sec. user=mdettweiler [2015-04-29 11:20:44] 675*2^1397904-1 is not prime. Res64: C09FD23C181BFD66 Time : 0.0 sec. user=mdettweiler [2015-04-29 11:20:56] 689*2^1397904-1 is not prime. Res64: 6FFE4C98D3A0A38C Time : 0.0 sec. user=mdettweiler [2015-04-29 11:20:57] 609*2^1397905-1 is not prime. Res64: 3F4BBE7EE05FB740 Time : 0.0 sec. user=mdettweiler [2015-04-29 11:37:32] 841*2^1397905-1 is not prime. Res64: 5E9551764FF3492E Time : 0.0 sec. user=mdettweiler [2015-04-29 11:37:33] 919*2^1397905-1 is not prime. Res64: AA4951F776926820 Time : 0.0 sec. user=mdettweiler [2015-04-29 11:37:34] 625*2^1397905-1 is not prime. Res64: 7D408BC24AFA221F Time : 0.0 sec. user=mdettweiler [2015-04-29 11:37:35] 715*2^1397905-1 is not prime. Res64: D96DB75F41C146E3 Time : 0.0 sec. user=mdettweiler [2015-04-29 11:38:26] 747*2^1397906-1 is not prime. Res64: B6A8B32BC0A5FE5A Time : 0.0 sec. user=mdettweiler [2015-04-29 11:38:26] 941*2^1397906-1 is not prime. Res64: 611068A8EE55F776 Time : 0.0 sec. user=mdettweiler [2015-04-29 11:38:39] 981*2^1397906-1 is not prime. Res64: A066376ED9D03DDA Time : 0.0 sec. user=mdettweiler [2015-04-29 11:38:39] 993*2^1397906-1 is not prime. Res64: 92521C640E77908E Time : 0.0 sec. user=mdettweiler [2015-04-29 11:55:09] 609*2^1397907-1 is not prime. Res64: 0EB8C849E796688E Time : 0.0 sec. user=mdettweiler [2015-04-29 11:55:09] 691*2^1397907-1 is not prime. Res64: 75D87F68A429E3D0 Time : 0.0 sec. user=mdettweiler [2015-04-29 11:55:14] 751*2^1397907-1 is not prime. Res64: ECD5D0446D090F26 Time : 0.0 sec. user=mdettweiler [2015-04-29 11:55:14] 765*2^1397907-1 is not prime. Res64: 70EC8F78E4D13062 Time : 0.0 sec. user=mdettweiler [2015-04-29 11:56:08] 769*2^1397907-1 is not prime. Res64: F28098B577B539CD Time : 0.0 sec. user=mdettweiler [2015-04-29 11:56:09] 775*2^1397907-1 is not prime. Res64: 04467E372BF0DA70 Time : 0.0 sec. user=mdettweiler [2015-04-29 11:56:17] 781*2^1397907-1 is not prime. Res64: 842AD60E14D0D92F Time : 0.0 sec. user=mdettweiler [2015-04-29 11:56:17] 843*2^1397907-1 is not prime. Res64: B64D16E0108974B7 Time : 0.0 sec. user=mdettweiler [2015-04-29 12:12:52] 849*2^1397907-1 is not prime. Res64: 8D358D9A950CDA34 Time : 0.0 sec. user=mdettweiler [2015-04-29 12:12:53] 931*2^1397907-1 is not prime. Res64: 1E615A3AEC3AAA06 Time : 0.0 sec. user=mdettweiler [2015-04-29 12:12:54] 963*2^1397907-1 is not prime. Res64: 0825055243FE0FA5 Time : 0.0 sec. user=mdettweiler [2015-04-29 12:12:55] 979*2^1397907-1 is not prime. Res64: 98CEA1B14FC1E0D5 Time : 0.0 sec. user=mdettweiler [2015-04-29 12:13:54] 647*2^1397908-1 is not prime. Res64: E9E1F0B5E45DF8ED Time : 0.0 sec. user=mdettweiler [2015-04-29 12:13:54] 689*2^1397908-1 is not prime. Res64: CD52500CA02642D7 Time : 0.0 sec. user=mdettweiler [2015-04-29 12:13:56] 827*2^1397908-1 is not prime. Res64: D8C661BA5E3F9402 Time : 0.0 sec. user=mdettweiler [2015-04-29 12:13:56] 995*2^1397908-1 is not prime. Res64: 53999B831B3AADC0 Time : 0.0 sec. user=mdettweiler [2015-04-29 12:30:33] 657*2^1397909-1 is not prime. Res64: A233F78B8C5FCB86 Time : 0.0 sec. user=mdettweiler [2015-04-29 12:30:33] 735*2^1397909-1 is not prime. Res64: 74129154879716C9 Time : 0.0 sec. user=mdettweiler [2015-04-29 12:30:37] 615*2^1397909-1 is not prime. Res64: 22728FC3EBC7B593 Time : 0.0 sec. user=mdettweiler [2015-04-29 12:30:37] 631*2^1397909-1 is not prime. Res64: E6394862DAC5AE27 Time : 0.0 sec. user=mdettweiler [2015-04-29 12:31:32] 769*2^1397909-1 is not prime. Res64: B943EF4040F33EF2 Time : 0.0 sec. user=mdettweiler [2015-04-29 12:31:33] 847*2^1397909-1 is not prime. Res64: 766CB663D0AC5E0E Time : 0.0 sec. user=mdettweiler [2015-04-29 12:31:37] 865*2^1397909-1 is not prime. Res64: DC4C2E5ECCF4EBBB Time : 0.0 sec. user=mdettweiler [2015-04-29 12:31:37] 987*2^1397909-1 is not prime. Res64: 0E2CF027712DD9DD Time : 0.0 sec. user=mdettweiler [2015-04-29 12:48:10] 707*2^1397910-1 is not prime. Res64: B2E76B78CAAB29AE Time : 0.0 sec. user=mdettweiler [2015-04-29 12:48:11] 777*2^1397910-1 is not prime. Res64: CEAD676B0622FA2E Time : 0.0 sec. user=mdettweiler [2015-04-29 12:48:13] 635*2^1397910-1 is not prime. Res64: FDCC5C5F5360EF7C Time : 0.0 sec. user=mdettweiler [2015-04-29 12:48:13] 681*2^1397910-1 is not prime. Res64: 4795CA10222CD8A0 Time : 0.0 sec. user=mdettweiler [2015-04-29 12:49:10] 963*2^1397910-1 is not prime. Res64: 7277634491AD639A Time : 0.0 sec. user=mdettweiler [2015-04-29 12:49:11] 663*2^1397911-1 is not prime. Res64: 1B4FA6B37C13C1EE Time : 0.0 sec. user=mdettweiler [2015-04-29 12:49:14] 685*2^1397911-1 is not prime. Res64: 0BADE2DA3BAF93D7 Time : 0.0 sec. user=mdettweiler [2015-04-29 12:49:14] 715*2^1397911-1 is not prime. Res64: 5B0D35F0C1E843A9 Time : 0.0 sec. user=mdettweiler [2015-04-29 13:06:32] 885*2^1397911-1 is not prime. Res64: 3554F0BE1298F14A Time : 0.0 sec. user=mdettweiler [2015-04-29 13:06:32] 615*2^1397912-1 is not prime. Res64: E2E24431775CF37B Time : 0.0 sec. user=mdettweiler [2015-04-29 13:06:33] 861*2^1397911-1 is not prime. Res64: B50EAA5A3B356AB3 Time : 0.0 sec. user=mdettweiler [2015-04-29 13:06:34] 873*2^1397911-1 is not prime. Res64: 223DCE4341CD6F13 Time : 0.0 sec. user=mdettweiler [2015-04-29 13:07:33] 785*2^1397912-1 is not prime. Res64: 334E8965EB8BD1F0 Time : 0.0 sec. user=mdettweiler [2015-04-29 13:07:34] 879*2^1397912-1 is not prime. Res64: 9F9C8EAAC71BAD99 Time : 0.0 sec. user=mdettweiler [2015-04-29 13:07:37] 753*2^1397912-1 is not prime. Res64: ACE069EFBE904AA4 Time : 0.0 sec. user=mdettweiler [2015-04-29 13:07:37] 777*2^1397912-1 is not prime. Res64: CEDBAE3B73658379 Time : 0.0 sec. user=mdettweiler [2015-04-29 13:25:45] 935*2^1397912-1 is not prime. Res64: 8CEA48CE17F2585E Time : 0.0 sec. user=mdettweiler [2015-04-29 13:25:45] 963*2^1397912-1 is not prime. Res64: E582D788C75154EF Time : 0.0 sec. user=mdettweiler [2015-04-29 13:26:00] 999*2^1397912-1 is not prime. Res64: 4439B068807BD81A Time : 0.0 sec. user=mdettweiler [2015-04-29 13:26:00] 685*2^1397913-1 is not prime. Res64: 00B8226CB118D163 Time : 0.0 sec. user=mdettweiler [2015-04-29 13:26:36] 817*2^1397913-1 is not prime. Res64: 7F5605BA6FDF9A5D Time : 0.0 sec. user=mdettweiler [2015-04-29 13:26:36] 835*2^1397913-1 is not prime. Res64: D662FADA8AE94B08 Time : 0.0 sec. user=mdettweiler [2015-04-29 13:26:58] 847*2^1397913-1 is not prime. Res64: 7BFEBED57203CC50 Time : 0.0 sec. user=mdettweiler [2015-04-29 13:26:59] 731*2^1397914-1 is not prime. Res64: 518278A9FA8586CB Time : 0.0 sec. user=mdettweiler [2015-04-29 13:45:11] 891*2^1397914-1 is not prime. Res64: D5C71E082F00BB67 Time : 0.0 sec. user=mdettweiler [2015-04-29 13:45:11] 917*2^1397914-1 is not prime. Res64: B0D78AE45A3AC3A0 Time : 0.0 sec. user=mdettweiler [2015-04-29 13:45:27] 675*2^1397915-1 is not prime. Res64: 352D95A1851A4D16 Time : 0.0 sec. user=mdettweiler [2015-04-29 13:45:28] 685*2^1397915-1 is not prime. Res64: 828FCEBC4DB04B26 Time : 0.0 sec. user=mdettweiler [2015-04-29 13:45:54] 783*2^1397915-1 is not prime. Res64: C2F6C7CCBD664CED Time : 0.0 sec. user=mdettweiler [2015-04-29 13:45:54] 825*2^1397915-1 is not prime. Res64: 98E975056EC41622 Time : 0.0 sec. user=mdettweiler [2015-04-29 13:46:22] 885*2^1397915-1 is not prime. Res64: 3815AC70E566231A Time : 0.0 sec. user=mdettweiler [2015-04-29 13:46:23] 675*2^1397916-1 is not prime. Res64: A2E6D4AA19A8DC62 Time : 0.0 sec. user=mdettweiler [2015-04-29 14:03:33] 899*2^1397916-1 is not prime. Res64: 2F388E04977A2C53 Time : 0.0 sec. user=mdettweiler [2015-04-29 14:03:35] 909*2^1397916-1 is not prime. Res64: D35147A0E9BD74E1 Time : 0.0 sec. user=mdettweiler [2015-04-29 14:03:51] 601*2^1397917-1 is not prime. Res64: 097EE794E575C13B Time : 0.0 sec. user=mdettweiler [2015-04-29 14:03:52] 639*2^1397917-1 is not prime. Res64: D76DABE24FE4D658 Time : 0.0 sec. user=mdettweiler [2015-04-29 14:04:28] 667*2^1397917-1 is not prime. Res64: D7055B047CDD08BF Time : 0.0 sec. user=mdettweiler [2015-04-29 14:04:30] 717*2^1397917-1 is not prime. Res64: 7BB2892EC47FA177 Time : 0.0 sec. user=mdettweiler [2015-04-29 14:04:44] 727*2^1397917-1 is not prime. Res64: 919CA6BB85A57416 Time : 0.0 sec. user=mdettweiler [2015-04-29 14:04:46] 895*2^1397917-1 is not prime. Res64: 29B9F72F8C83B72A Time : 0.0 sec. user=mdettweiler [2015-04-29 14:21:59] 677*2^1397918-1 is not prime. Res64: E9350CA41FDA8C6A Time : 0.0 sec. user=mdettweiler [2015-04-29 14:21:59] 767*2^1397918-1 is not prime. Res64: 49F00F7074E1E226 Time : 0.0 sec. user=mdettweiler [2015-04-29 14:21:59] 997*2^1397917-1 is not prime. Res64: E606F379D8414F59 Time : 0.0 sec. user=mdettweiler [2015-04-29 14:22:00] 617*2^1397918-1 is not prime. Res64: AEDD50A75CCBC69C Time : 0.0 sec. user=mdettweiler [2015-04-29 14:22:34] 825*2^1397918-1 is not prime. Res64: 20125FC4049DEAD6 Time : 0.0 sec. user=mdettweiler [2015-04-29 14:22:34] 945*2^1397918-1 is not prime. Res64: A800602F2D099AB9 Time : 0.0 sec. user=mdettweiler [2015-04-29 14:22:44] 685*2^1397919-1 is not prime. Res64: 850794B40C5C480F Time : 0.0 sec. user=mdettweiler [2015-04-29 14:22:45] 691*2^1397919-1 is not prime. Res64: 621BEC74FA197CDE Time : 0.0 sec. user=mdettweiler [2015-04-29 14:39:38] 703*2^1397919-1 is not prime. Res64: F2EEC14EE0008E9D Time : 0.0 sec. user=mdettweiler [2015-04-29 14:39:39] 705*2^1397919-1 is not prime. Res64: 5D754A0C738FBC82 Time : 0.0 sec. user=mdettweiler [2015-04-29 14:39:50] 711*2^1397919-1 is not prime. Res64: 5019A7FF2F20D7EF Time : 0.0 sec. user=mdettweiler [2015-04-29 14:39:50] 723*2^1397919-1 is not prime. Res64: 32DF625B14736BFB Time : 0.0 sec. user=mdettweiler [2015-04-29 14:40:20] 885*2^1397919-1 is not prime. Res64: 586155637375E0DF Time : 0.0 sec. user=mdettweiler [2015-04-29 14:40:20] 919*2^1397919-1 is not prime. Res64: 8E131EE6EE71D5C8 Time : 0.0 sec. user=mdettweiler [2015-04-29 14:40:27] 951*2^1397919-1 is not prime. Res64: 764E53F5F1D0F4BB Time : 0.0 sec. user=mdettweiler [2015-04-29 14:40:28] 695*2^1397920-1 is not prime. Res64: BA1CD8F69F39123D Time : 0.0 sec. user=mdettweiler [2015-04-29 14:57:21] 819*2^1397920-1 is not prime. Res64: 5BF3CC3AE62A9BDA Time : 0.0 sec. user=mdettweiler [2015-04-29 14:57:21] 825*2^1397920-1 is not prime. Res64: B43A0832B8C59564 Time : 0.0 sec. user=mdettweiler [2015-04-29 14:57:29] 833*2^1397920-1 is not prime. Res64: 0992775653CEDEB9 Time : 0.0 sec. user=mdettweiler [2015-04-29 14:57:30] 855*2^1397920-1 is not prime. Res64: 75AF9886982758DE Time : 0.0 sec. user=mdettweiler [2015-04-29 14:58:06] 875*2^1397920-1 is not prime. Res64: 1CCD7617A1D1DF91 Time : 0.0 sec. user=mdettweiler [2015-04-29 14:58:07] 705*2^1397921-1 is not prime. Res64: B9424F119968893B Time : 0.0 sec. user=mdettweiler [2015-04-29 14:58:13] 715*2^1397921-1 is not prime. Res64: 1E12B8FF6A8241A4 Time : 0.0 sec. user=mdettweiler [2015-04-29 14:58:14] 727*2^1397921-1 is not prime. Res64: EA63236F0E8593D3 Time : 0.0 sec. user=mdettweiler [2015-04-29 15:15:08] 775*2^1397921-1 is not prime. Res64: 9BE423E6D02F8381 Time : 0.0 sec. user=mdettweiler [2015-04-29 15:15:08] 885*2^1397921-1 is not prime. Res64: 6FC691D4A8993923 Time : 0.0 sec. user=mdettweiler [2015-04-29 15:15:14] 957*2^1397921-1 is not prime. Res64: 3CD99BE34419C93F Time : 0.0 sec. user=mdettweiler [2015-04-29 15:15:14] 633*2^1397922-1 is not prime. Res64: C61A1CB4BC5FB5BD Time : 0.0 sec. user=mdettweiler [2015-04-29 15:15:46] 711*2^1397922-1 is not prime. Res64: 25478700ED888B7E Time : 0.0 sec. user=mdettweiler [2015-04-29 15:15:47] 725*2^1397922-1 is not prime. Res64: F55B49829D4E7A34 Time : 0.0 sec. user=mdettweiler [2015-04-29 15:15:53] 875*2^1397922-1 is not prime. Res64: FF7A1A49280C9EB8 Time : 0.0 sec. user=mdettweiler [2015-04-29 15:15:53] 941*2^1397922-1 is not prime. Res64: E6F6FC194D266D2A Time : 0.0 sec. user=mdettweiler [2015-04-29 15:32:53] 975*2^1397922-1 is not prime. Res64: 429BDEE4FFC5584A Time : 0.0 sec. user=mdettweiler [2015-04-29 15:32:54] 977*2^1397922-1 is not prime. Res64: 7745FB7E0527A0C5 Time : 0.0 sec. user=mdettweiler [2015-04-29 15:32:58] 615*2^1397923-1 is not prime. Res64: E90487F6B227B935 Time : 0.0 sec. user=mdettweiler [2015-04-29 15:32:58] 709*2^1397923-1 is not prime. Res64: 1D41A77424D9938D Time : 0.0 sec. user=mdettweiler [2015-04-29 15:33:31] 751*2^1397923-1 is not prime. Res64: 8D16455002BAE1F5 Time : 0.0 sec. user=mdettweiler [2015-04-29 15:33:31] 765*2^1397923-1 is not prime. Res64: F95567303D20C581 Time : 0.0 sec. user=mdettweiler [2015-04-29 15:33:32] 769*2^1397923-1 is not prime. Res64: C590C05F8EC03EE6 Time : 0.0 sec. user=mdettweiler [2015-04-29 15:33:32] 771*2^1397923-1 is not prime. Res64: 4A6614CA61D43FBF Time : 0.0 sec. user=mdettweiler [2015-04-29 15:50:32] 985*2^1397923-1 is not prime. Res64: 4958EA5934EF37A1 Time : 0.0 sec. user=mdettweiler [2015-04-29 15:50:33] 635*2^1397924-1 is not prime. Res64: 006093F71C1F96D0 Time : 0.0 sec. user=mdettweiler [2015-04-29 15:50:42] 717*2^1397924-1 is not prime. Res64: 6DAC1D219D1DC3E9 Time : 0.0 sec. user=mdettweiler [2015-04-29 15:50:43] 837*2^1397924-1 is not prime. Res64: 23590A29A871E107 Time : 0.0 sec. user=mdettweiler [2015-04-29 15:51:15] 873*2^1397924-1 is not prime. Res64: 6ABBF95BF8B9075D Time : 0.0 sec. user=mdettweiler [2015-04-29 15:51:15] 935*2^1397924-1 is not prime. Res64: 3565431CA11047D3 Time : 0.0 sec. user=mdettweiler [2015-04-29 15:51:22] 987*2^1397924-1 is not prime. Res64: BD23FAE1412182E0 Time : 0.0 sec. user=mdettweiler [2015-04-29 15:51:23] 889*2^1397925-1 is not prime. Res64: CAF20E1380C787F0 Time : 0.0 sec. user=mdettweiler [2015-04-29 16:08:22] 623*2^1397926-1 is not prime. Res64: C2E4D8399546C9EF Time : 0.0 sec. user=mdettweiler [2015-04-29 16:08:22] 713*2^1397926-1 is not prime. Res64: 4701EB5E003C9012 Time : 0.0 sec. user=mdettweiler [2015-04-29 16:08:25] 919*2^1397925-1 is not prime. Res64: 26199D60C063304C Time : 0.0 sec. user=mdettweiler [2015-04-29 16:08:25] 603*2^1397926-1 is not prime. Res64: 7E8CB62A036432D2 Time : 0.0 sec. user=mdettweiler [2015-04-29 16:08:51] 945*2^1397926-1 is not prime. Res64: E06983AE725DF3A3 Time : 0.0 sec. user=mdettweiler [2015-04-29 16:08:52] 619*2^1397927-1 is not prime. Res64: 07BB7FE329F7D02A Time : 0.0 sec. user=mdettweiler [2015-04-29 16:09:11] 633*2^1397927-1 is not prime. Res64: 6406584754AF3638 Time : 0.0 sec. user=mdettweiler [2015-04-29 16:09:12] 711*2^1397927-1 is not prime. Res64: 3F50829784C211F7 Time : 0.0 sec. user=mdettweiler [2015-04-29 16:26:06] 799*2^1397927-1 is not prime. Res64: 9B47295E629A5CFE Time : 0.0 sec. user=mdettweiler [2015-04-29 16:26:07] 865*2^1397927-1 is not prime. Res64: A625DC621DB71B0B Time : 0.0 sec. user=mdettweiler [2015-04-29 16:26:14] 663*2^1397928-1 is not prime. Res64: 96683B70F07135B2 Time : 0.0 sec. user=mdettweiler [2015-04-29 16:26:14] 737*2^1397928-1 is not prime. Res64: 70728468BABD681B Time : 0.0 sec. user=mdettweiler [2015-04-29 16:26:35] 753*2^1397928-1 is not prime. Res64: 15EC417B147E7DB2 Time : 0.0 sec. user=mdettweiler [2015-04-29 16:26:35] 789*2^1397928-1 is not prime. Res64: 5817D3DC29399B43 Time : 0.0 sec. user=mdettweiler [2015-04-29 16:26:51] 809*2^1397928-1 is not prime. Res64: 24831EB3E33B7483 Time : 0.0 sec. user=mdettweiler [2015-04-29 16:26:51] 875*2^1397928-1 is not prime. Res64: 73AEDA7E57D81D87 Time : 0.0 sec. user=mdettweiler [2015-04-29 16:43:51] 945*2^1397928-1 is not prime. Res64: F02AA231A7BFFE5B Time : 0.0 sec. user=mdettweiler [2015-04-29 16:43:51] 975*2^1397928-1 is not prime. Res64: FDB69D2CE2632A48 Time : 0.0 sec. user=mdettweiler [2015-04-29 16:43:57] 601*2^1397929-1 is not prime. Res64: 6F22730D10436C35 Time : 0.0 sec. user=mdettweiler [2015-04-29 16:43:58] 661*2^1397929-1 is not prime. Res64: FADFDDC03BBC09DE Time : 0.0 sec. user=mdettweiler [2015-04-29 16:44:20] 741*2^1397929-1 is not prime. Res64: 05534BA5C651FA1D Time : 0.0 sec. user=mdettweiler [2015-04-29 16:44:20] 747*2^1397929-1 is not prime. Res64: F38FDADB9DC4E7E3 Time : 0.0 sec. user=mdettweiler [2015-04-29 16:44:37] 771*2^1397929-1 is not prime. Res64: 1D6FCBBF3E4AFA13 Time : 0.0 sec. user=mdettweiler [2015-04-29 16:44:37] 789*2^1397929-1 is not prime. Res64: C31CCC1A2DAF4AEC Time : 0.0 sec. user=mdettweiler [2015-04-29 17:01:44] 807*2^1397929-1 is not prime. Res64: 891641CB5A9F9AC6 Time : 0.0 sec. user=mdettweiler [2015-04-29 17:01:45] 855*2^1397929-1 is not prime. Res64: 56F00EE7BD330FCE Time : 0.0 sec. user=mdettweiler [2015-04-29 17:01:54] 919*2^1397929-1 is not prime. Res64: F1A2DAAF9FFCC4AA Time : 0.0 sec. user=mdettweiler [2015-04-29 17:01:54] 951*2^1397929-1 is not prime. Res64: E8EA40A5D1464B00 Time : 0.0 sec. user=mdettweiler [2015-04-29 17:02:13] 975*2^1397929-1 is not prime. Res64: 6812BB4117ED07F6 Time : 0.0 sec. user=mdettweiler [2015-04-29 17:02:13] 985*2^1397929-1 is not prime. Res64: A6285D7C484CF69D Time : 0.0 sec. user=mdettweiler [2015-04-29 17:02:36] 997*2^1397929-1 is not prime. Res64: C96B0132D2FA002E Time : 0.0 sec. user=mdettweiler [2015-04-29 17:02:38] 615*2^1397930-1 is not prime. Res64: 632C1DDED732A2BB Time : 0.0 sec. user=mdettweiler [2015-04-29 17:19:55] 677*2^1397930-1 is not prime. Res64: ADAA8A4D3652CF18 Time : 0.0 sec. user=mdettweiler [2015-04-29 17:19:55] 731*2^1397930-1 is not prime. Res64: 683D9A602C278DC9 Time : 0.0 sec. user=mdettweiler [2015-04-29 17:19:57] 633*2^1397930-1 is not prime. Res64: 189F6288A275F217 Time : 0.0 sec. user=mdettweiler [2015-04-29 17:19:58] 741*2^1397930-1 is not prime. Res64: 1E48DA5BB29C4741 Time : 0.0 sec. user=mdettweiler [2015-04-29 17:19:58] 675*2^1397930-1 is not prime. Res64: A4024B2A53E48D2A Time : 0.0 sec. user=mdettweiler [2015-04-29 17:19:58] 755*2^1397930-1 is not prime. Res64: 13387F0B6E639AA9 Time : 0.0 sec. user=mdettweiler [2015-04-29 17:20:26] 773*2^1397930-1 is not prime. Res64: DE073C6B8CA11922 Time : 0.0 sec. user=mdettweiler [2015-04-29 17:20:26] 867*2^1397930-1 is not prime. Res64: 0716E1F403990CC9 Time : 0.0 sec. user=mdettweiler [2015-04-29 17:37:53] 703*2^1397931-1 is not prime. Res64: 7B9D3018580D3717 Time : 0.0 sec. user=mdettweiler [2015-04-29 17:37:53] 751*2^1397931-1 is not prime. Res64: D2429916B835D927 Time : 0.0 sec. user=mdettweiler [2015-04-29 17:37:54] 619*2^1397931-1 is not prime. Res64: BDFAE78DFBDC43EC Time : 0.0 sec. user=mdettweiler [2015-04-29 17:37:54] 625*2^1397931-1 is not prime. Res64: 5C1427884644BF28 Time : 0.0 sec. user=mdettweiler [2015-04-29 17:37:55] 923*2^1397930-1 is not prime. Res64: E42A8CB176D2AF44 Time : 0.0 sec. user=mdettweiler [2015-04-29 17:37:55] 971*2^1397930-1 is not prime. Res64: 1B14B982C4EF478E Time : 0.0 sec. user=mdettweiler [2015-04-29 17:38:24] 955*2^1397931-1 is not prime. Res64: EF7173A303B8D470 Time : 0.0 sec. user=mdettweiler [2015-04-29 17:38:25] 635*2^1397932-1 is not prime. Res64: 64E3C6F7CB07D63C Time : 0.0 sec. user=mdettweiler [2015-04-29 17:55:42] 651*2^1397933-1 is not prime. Res64: 2F19D1A487D2888F Time : 0.0 sec. user=mdettweiler [2015-04-29 17:55:43] 685*2^1397933-1 is not prime. Res64: DC32D758D29BAF3E Time : 0.0 sec. user=mdettweiler [2015-04-29 17:55:47] 827*2^1397932-1 is not prime. Res64: D7D19A7A2852D816 Time : 0.0 sec. user=mdettweiler [2015-04-29 17:55:47] 873*2^1397932-1 is not prime. Res64: ACB5FC374FE3A5DD Time : 0.0 sec. user=mdettweiler [2015-04-29 17:55:51] 697*2^1397933-1 is not prime. Res64: D666874D99751FFB Time : 0.0 sec. user=mdettweiler [2015-04-29 17:55:51] 721*2^1397933-1 is not prime. Res64: 809BB7B1190B7C63 Time : 0.0 sec. user=mdettweiler [2015-04-29 17:56:15] 861*2^1397933-1 is not prime. Res64: 950208D1DC1164D7 Time : 0.0 sec. user=mdettweiler [2015-04-29 17:56:16] 945*2^1397933-1 is not prime. Res64: F20780E86E6AD603 Time : 0.0 sec. user=mdettweiler [2015-04-29 18:13:19] 987*2^1397933-1 is not prime. Res64: 040A2899FC0C7A15 Time : 0.0 sec. user=mdettweiler [2015-04-29 18:13:19] 651*2^1397934-1 is not prime. Res64: 75226449A713B1DE Time : 0.0 sec. user=mdettweiler [2015-04-29 18:13:24] 663*2^1397934-1 is not prime. Res64: 5AA1781A0ED6B677 Time : 0.0 sec. user=mdettweiler [2015-04-29 18:13:24] 671*2^1397934-1 is not prime. Res64: 0AFFC2A6B885798F Time : 0.0 sec. user=mdettweiler [2015-04-29 18:13:29] 705*2^1397934-1 is not prime. Res64: FE345CEE461A3747 Time : 0.0 sec. user=mdettweiler [2015-04-29 18:13:29] 711*2^1397934-1 is not prime. Res64: CC520BF89A844563 Time : 0.0 sec. user=mdettweiler [2015-04-29 18:13:58] 965*2^1397934-1 is not prime. Res64: FFCFB8EF5D053617 Time : 0.0 sec. user=mdettweiler [2015-04-29 18:13:58] 983*2^1397934-1 is not prime. Res64: 2520FFF713B06341 Time : 0.0 sec. user=mdettweiler [2015-04-29 18:31:04] 685*2^1397935-1 is not prime. Res64: 33FD7C14ECBD2C8D Time : 0.0 sec. user=mdettweiler [2015-04-29 18:31:05] 993*2^1397934-1 is not prime. Res64: 092B01CF9344935C Time : 0.0 sec. user=mdettweiler [2015-04-29 18:31:05] 709*2^1397935-1 is not prime. Res64: A6203368E26DA8C4 Time : 0.0 sec. user=mdettweiler [2015-04-29 18:31:05] 639*2^1397935-1 is not prime. Res64: 29C6F22747E87AB7 Time : 0.0 sec. user=mdettweiler [2015-04-29 18:31:16] 961*2^1397935-1 is not prime. Res64: 70940E811E9F819E Time : 0.0 sec. user=mdettweiler [2015-04-29 18:31:16] 747*2^1397936-1 is not prime. Res64: D8C7EC41F4D0A1A9 Time : 0.0 sec. user=mdettweiler [2015-04-29 18:31:42] 767*2^1397936-1 is not prime. Res64: 75D65948FF688B6E Time : 0.0 sec. user=mdettweiler [2015-04-29 18:31:42] 825*2^1397936-1 is not prime. Res64: F98B8DE8D3DE8801 Time : 0.0 sec. user=mdettweiler [2015-04-29 18:48:40] 827*2^1397936-1 is not prime. Res64: DB0074127A6D06E3 Time : 0.0 sec. user=mdettweiler [2015-04-29 18:48:40] 651*2^1397937-1 is not prime. Res64: E49EC66A909FD598 Time : 0.0 sec. user=mdettweiler [2015-04-29 18:48:41] 873*2^1397936-1 is not prime. Res64: 1A9C3C0AFB0A22DC Time : 0.0 sec. user=mdettweiler [2015-04-29 18:48:41] 681*2^1397937-1 is not prime. Res64: 3A613ABBBA624DF8 Time : 0.0 sec. user=mdettweiler [2015-04-29 18:48:58] 727*2^1397937-1 is not prime. Res64: F7969608E1FB1DC2 Time : 0.0 sec. user=mdettweiler [2015-04-29 18:48:58] 889*2^1397937-1 is not prime. Res64: 3C752E9E2BA6B5FA Time : 0.0 sec. user=mdettweiler [2015-04-29 18:49:28] 909*2^1397937-1 is not prime. Res64: A5124CFFCE80F942 Time : 0.0 sec. user=mdettweiler [2015-04-29 18:49:28] 937*2^1397937-1 is not prime. Res64: 28CCEE024C27F69A Time : 0.0 sec. user=mdettweiler [2015-04-29 19:06:16] 997*2^1397937-1 is not prime. Res64: A5331A588335BBA4 Time : 0.0 sec. user=mdettweiler [2015-04-29 19:06:17] 681*2^1397938-1 is not prime. Res64: D86E11AFED0AC39F Time : 0.0 sec. user=mdettweiler [2015-04-29 19:06:17] 687*2^1397938-1 is not prime. Res64: 129DE92C0EE80C38 Time : 0.0 sec. user=mdettweiler [2015-04-29 19:06:17] 611*2^1397938-1 is not prime. Res64: EF8274F6DD2D914C Time : 0.0 sec. user=mdettweiler [2015-04-29 19:06:29] 705*2^1397938-1 is not prime. Res64: 3ABD61B0293CF8EE Time : 0.0 sec. user=mdettweiler [2015-04-29 19:06:29] 713*2^1397938-1 is not prime. Res64: C10E04FF894FEB19 Time : 0.0 sec. user=mdettweiler [2015-04-29 19:06:59] 723*2^1397938-1 is not prime. Res64: 0B6D21CD3FE742D8 Time : 0.0 sec. user=mdettweiler [2015-04-29 19:07:00] 735*2^1397938-1 is not prime. Res64: 0E8FCE55C6C14AF9 Time : 0.0 sec. user=mdettweiler [2015-04-29 19:24:02] 759*2^1397939-1 is not prime. Res64: 00C368634E3F3EC3 Time : 0.0 sec. user=mdettweiler [2015-04-29 19:24:03] 823*2^1397939-1 is not prime. Res64: 06BD45F85D55CA44 Time : 0.0 sec. user=mdettweiler [2015-04-29 19:24:10] 843*2^1397939-1 is not prime. Res64: 319B44D9A4583E81 Time : 0.0 sec. user=mdettweiler [2015-04-29 19:24:10] 891*2^1397938-1 is not prime. Res64: EAE3677AE38BA4CF Time : 0.0 sec. user=mdettweiler [2015-04-29 19:24:10] 853*2^1397939-1 is not prime. Res64: EA70F77D77CF4C86 Time : 0.0 sec. user=mdettweiler [2015-04-29 19:24:10] 945*2^1397938-1 is not prime. Res64: BEAEA2EE9C9D1EA3 Time : 0.0 sec. user=mdettweiler [2015-04-29 19:24:47] 909*2^1397939-1 is not prime. Res64: 3CC8A416FD2CE241 Time : 0.0 sec. user=mdettweiler [2015-04-29 19:24:47] 921*2^1397939-1 is not prime. Res64: 0A8E95A2ED920BCF Time : 0.0 sec. user=mdettweiler [2015-04-29 19:41:37] 931*2^1397939-1 is not prime. Res64: 15E600E3BA1C730B Time : 0.0 sec. user=mdettweiler [2015-04-29 19:41:37] 623*2^1397940-1 is not prime. Res64: 817991FE6A0F98EC Time : 0.0 sec. user=mdettweiler [2015-04-29 19:41:39] 863*2^1397940-1 is not prime. Res64: 627F60023793E12E Time : 0.0 sec. user=mdettweiler [2015-04-29 19:41:39] 879*2^1397940-1 is not prime. Res64: AB05290F47BE7273 Time : 0.0 sec. user=mdettweiler [2015-04-29 19:41:47] 647*2^1397940-1 is not prime. Res64: C8892BBF231E5352 Time : 0.0 sec. user=mdettweiler [2015-04-29 19:41:47] 839*2^1397940-1 is not prime. Res64: 08B2C86AC928FF90 Time : 0.0 sec. user=mdettweiler [2015-04-29 19:42:26] 945*2^1397940-1 is not prime. Res64: 176BFFF94E86242F Time : 0.0 sec. user=mdettweiler [2015-04-29 19:42:27] 621*2^1397941-1 is not prime. Res64: 8446FFEA1DFF6778 Time : 0.0 sec. user=mdettweiler [2015-04-29 19:59:04] 645*2^1397941-1 is not prime. Res64: CF983EC10E3D0683 Time : 0.0 sec. user=mdettweiler [2015-04-29 19:59:05] 805*2^1397941-1 is not prime. Res64: 07ED4C956728AC74 Time : 0.0 sec. user=mdettweiler [2015-04-29 19:59:14] 645*2^1397942-1 is not prime. Res64: 48F287AE74D6697E Time : 0.0 sec. user=mdettweiler [2015-04-29 19:59:14] 665*2^1397942-1 is not prime. Res64: 808A520FF77458C1 Time : 0.0 sec. user=mdettweiler [2015-04-29 19:59:22] 711*2^1397942-1 is not prime. Res64: CE28105798404E84 Time : 0.0 sec. user=mdettweiler [2015-04-29 19:59:22] 731*2^1397942-1 is not prime. Res64: 32501B4DED8137CE Time : 0.0 sec. user=mdettweiler [2015-04-29 20:00:02] 755*2^1397942-1 is not prime. Res64: E38BBA65024872CC Time : 0.0 sec. user=mdettweiler [2015-04-29 20:00:02] 893*2^1397942-1 is not prime. Res64: 501DB3D23E56076B Time : 0.0 sec. user=mdettweiler [2015-04-29 20:16:41] 965*2^1397942-1 is not prime. Res64: ADC3D0A6DAB25275 Time : 0.0 sec. user=mdettweiler [2015-04-29 20:16:42] 1001*2^1397942-1 is not prime. Res64: 9FEF096953DC4BA4 Time : 0.0 sec. user=mdettweiler [2015-04-29 20:16:55] 625*2^1397943-1 is not prime. Res64: 5DD5DDE913671EDD Time : 0.0 sec. user=mdettweiler [2015-04-29 20:16:55] 679*2^1397943-1 is not prime. Res64: CD3C18268204D72F Time : 0.0 sec. user=mdettweiler [2015-04-29 20:16:55] 639*2^1397943-1 is not prime. Res64: BEBA0B85F5DA37CA Time : 0.0 sec. user=mdettweiler [2015-04-29 20:16:56] 891*2^1397943-1 is not prime. Res64: 4810C7E140E39618 Time : 0.0 sec. user=mdettweiler [2015-04-29 20:17:41] 943*2^1397943-1 is not prime. Res64: 1481DC727CD51254 Time : 0.0 sec. user=mdettweiler [2015-04-29 20:17:41] 629*2^1397944-1 is not prime. Res64: 57C61BEDC2643BF8 Time : 0.0 sec. user=mdettweiler [2015-04-29 20:34:15] 843*2^1397944-1 is not prime. Res64: 1251927C25BD29D1 Time : 0.0 sec. user=mdettweiler [2015-04-29 20:34:15] 869*2^1397944-1 is not prime. Res64: 6D8299F2894268B6 Time : 0.0 sec. user=mdettweiler [2015-04-29 20:34:27] 899*2^1397944-1 is not prime. Res64: C5DEC094E0106518 Time : 0.0 sec. user=mdettweiler [2015-04-29 20:34:27] 607*2^1397945-1 is not prime. Res64: EA8B02C75799E85D Time : 0.0 sec. user=mdettweiler [2015-04-29 20:34:31] 619*2^1397945-1 is not prime. Res64: B7806957A03C6E2A Time : 0.0 sec. user=mdettweiler [2015-04-29 20:34:31] 657*2^1397945-1 is not prime. Res64: 3CC057D9B432A0EF Time : 0.0 sec. user=mdettweiler [2015-04-29 20:35:14] 729*2^1397945-1 is not prime. Res64: 2262B083490BE94A Time : 0.0 sec. user=mdettweiler [2015-04-29 20:35:15] 889*2^1397945-1 is not prime. Res64: E2D7F029592A2E03 Time : 0.0 sec. user=mdettweiler [2015-04-29 20:51:55] 915*2^1397945-1 is not prime. Res64: 9A2646F2A1B4B3C7 Time : 0.0 sec. user=mdettweiler [2015-04-29 20:51:55] 925*2^1397945-1 is not prime. Res64: 3A1AA5D57717CCE1 Time : 0.0 sec. user=mdettweiler [2015-04-29 20:52:01] 985*2^1397945-1 is not prime. Res64: 2D3766EB8DE3210B Time : 0.0 sec. user=mdettweiler [2015-04-29 20:52:02] 635*2^1397946-1 is not prime. Res64: 8A6B4CB622AC1529 Time : 0.0 sec. user=mdettweiler [2015-04-29 20:52:11] 777*2^1397946-1 is not prime. Res64: 3EFB8CF532505D55 Time : 0.0 sec. user=mdettweiler [2015-04-29 20:52:11] 825*2^1397946-1 is not prime. Res64: FEB912B5BEB54B1D Time : 0.0 sec. user=mdettweiler [2015-04-29 20:52:55] 923*2^1397946-1 is not prime. Res64: 00D70C51DB93C898 Time : 0.0 sec. user=mdettweiler [2015-04-29 20:52:55] 947*2^1397946-1 is not prime. Res64: 9192199688125759 Time : 0.0 sec. user=mdettweiler [2015-04-29 21:09:33] 971*2^1397946-1 is not prime. Res64: 324F3B7DFA3CC71D Time : 0.0 sec. user=mdettweiler [2015-04-29 21:09:34] 619*2^1397947-1 is not prime. Res64: 73E93BBAB27070B9 Time : 0.0 sec. user=mdettweiler [2015-04-29 21:09:38] 645*2^1397947-1 is not prime. Res64: 757CB534DA97D77A Time : 0.0 sec. user=mdettweiler [2015-04-29 21:09:39] 691*2^1397947-1 is not prime. Res64: B0A18C5F6CD216A8 Time : 0.0 sec. user=mdettweiler [2015-04-29 21:09:43] 751*2^1397947-1 is not prime. Res64: FE966A4E90170D9B Time : 0.0 sec. user=mdettweiler [2015-04-29 21:09:44] 931*2^1397947-1 is not prime. Res64: 4BBA230DFBB2AC0E Time : 0.0 sec. user=mdettweiler [2015-04-29 21:10:44] 603*2^1397948-1 is not prime. Res64: C1FC5F944F2EFC69 Time : 0.0 sec. user=mdettweiler [2015-04-29 21:10:44] 623*2^1397948-1 is not prime. Res64: E00FC6A5244C0554 Time : 0.0 sec. user=mdettweiler [2015-04-29 21:27:54] 629*2^1397948-1 is not prime. Res64: 8802C72FAC09A767 Time : 0.0 sec. user=mdettweiler [2015-04-29 21:27:55] 647*2^1397948-1 is not prime. Res64: 458F390001273077 Time : 0.0 sec. user=mdettweiler [2015-04-29 21:28:09] 725*2^1397948-1 is not prime. Res64: D3CB6F962CAAA552 Time : 0.0 sec. user=mdettweiler [2015-04-29 21:28:10] 755*2^1397948-1 is not prime. Res64: F617EF162CF19A70 Time : 0.0 sec. user=mdettweiler [2015-04-29 21:28:14] 813*2^1397948-1 is not prime. Res64: DFA15DB1DAD6ACAB Time : 0.0 sec. user=mdettweiler [2015-04-29 21:28:14] 845*2^1397948-1 is not prime. Res64: 5D17D9732A88571D Time : 0.0 sec. user=mdettweiler [2015-04-29 21:29:26] 897*2^1397948-1 is not prime. Res64: 40DE05882B587608 Time : 0.0 sec. user=mdettweiler [2015-04-29 21:29:27] 953*2^1397948-1 is not prime. Res64: D82781E3DBD1DFD6 Time : 0.0 sec. user=mdettweiler [2015-04-29 21:46:36] 993*2^1397948-1 is not prime. Res64: 9B04659AB6525574 Time : 0.0 sec. user=mdettweiler [2015-04-29 21:46:36] 625*2^1397949-1 is not prime. Res64: C15D9AC6E88944EB Time : 0.0 sec. user=mdettweiler [2015-04-29 21:46:43] 997*2^1397949-1 is not prime. Res64: C6AE01F88CD722E5 Time : 0.0 sec. user=mdettweiler [2015-04-29 21:46:44] 999*2^1397949-1 is not prime. Res64: E88C7A881E0F4F8D Time : 0.0 sec. user=mdettweiler [2015-04-29 21:46:51] 709*2^1397949-1 is not prime. Res64: CA322BBF9537E490 Time : 0.0 sec. user=mdettweiler [2015-04-29 21:46:51] 987*2^1397949-1 is not prime. Res64: 27282DBB32B5B2EB Time : 0.0 sec. user=mdettweiler [2015-04-29 21:47:51] 665*2^1397950-1 is not prime. Res64: A50FF43821A628A6 Time : 0.0 sec. user=mdettweiler [2015-04-29 21:47:51] 987*2^1397950-1 is not prime. Res64: 2B0A4EBF053470BF Time : 0.0 sec. user=mdettweiler [2015-04-29 22:04:36] 621*2^1397951-1 is not prime. Res64: 08CEE1AB125CEF8B Time : 0.0 sec. user=mdettweiler [2015-04-29 22:04:38] 661*2^1397951-1 is not prime. Res64: 399709A7751A0B12 Time : 0.0 sec. user=mdettweiler [2015-04-29 22:04:43] 735*2^1397951-1 is not prime. Res64: C1A04152BD3FFC08 Time : 0.0 sec. user=mdettweiler [2015-04-29 22:04:44] 859*2^1397951-1 is not prime. Res64: 830A644F35DEF6F5 Time : 0.0 sec. user=mdettweiler [2015-04-29 22:04:52] 913*2^1397951-1 is not prime. Res64: F64D7074896A92A2 Time : 0.0 sec. user=mdettweiler [2015-04-29 22:04:52] 981*2^1397951-1 is not prime. Res64: 30CF4E907ADDB638 Time : 0.0 sec. user=mdettweiler [2015-04-29 22:05:59] 993*2^1397951-1 is not prime. Res64: 7598765904E4BC60 Time : 0.0 sec. user=mdettweiler [2015-04-29 22:06:00] 737*2^1397952-1 is not prime. Res64: EADB98464CB4A736 Time : 0.0 sec. user=mdettweiler [2015-04-29 22:23:17] 967*2^1397953-1 is not prime. Res64: 8A7A6FE823FDCFB6 Time : 0.0 sec. user=mdettweiler [2015-04-29 22:23:17] 983*2^1397952-1 is not prime. Res64: 7E404F226ECD86B9 Time : 0.0 sec. user=mdettweiler [2015-04-29 22:23:17] 615*2^1397954-1 is not prime. Res64: C3C4892E0CF9BCAF Time : 0.0 sec. user=mdettweiler [2015-04-29 22:23:17] 699*2^1397953-1 is not prime. Res64: B9F5AF8C863F04FB Time : 0.0 sec. user=mdettweiler [2015-04-29 22:23:21] 765*2^1397952-1 is not prime. Res64: DAB0B3082A5BD4DC Time : 0.0 sec. user=mdettweiler [2015-04-29 22:23:21] 959*2^1397952-1 is not prime. Res64: FA30BD623C6F44BC Time : 0.0 sec. user=mdettweiler [2015-04-29 22:24:03] 633*2^1397954-1 is not prime. Res64: 98BDA578EBF4AD4B Time : 0.0 sec. user=mdettweiler [2015-04-29 22:24:03] 687*2^1397954-1 is not prime. Res64: 8F74C1AD09A94CAD Time : 0.0 sec. user=mdettweiler [2015-04-29 22:41:13] 857*2^1397954-1 is not prime. Res64: 01DF2C282A1305ED Time : 0.0 sec. user=mdettweiler [2015-04-29 22:41:14] 945*2^1397954-1 is not prime. Res64: 594407CE9A69C944 Time : 0.0 sec. user=mdettweiler [2015-04-29 22:41:17] 773*2^1397954-1 is not prime. Res64: 9E8F5F7EF9325169 Time : 0.0 sec. user=mdettweiler [2015-04-29 22:41:17] 837*2^1397954-1 is not prime. Res64: BB46D7E857E4DFA0 Time : 0.0 sec. user=mdettweiler [2015-04-29 22:41:21] 1001*2^1397954-1 is not prime. Res64: 47B17CBDBCEB1333 Time : 0.0 sec. user=mdettweiler [2015-04-29 22:41:21] 657*2^1397956-1 is not prime. Res64: 9AFC9F4E534690EC Time : 0.0 sec. user=mdettweiler [2015-04-29 22:42:02] 735*2^1397956-1 is not prime. Res64: 448BCE0435DAA323 Time : 0.0 sec. user=mdettweiler [2015-04-29 22:42:03] 783*2^1397956-1 is not prime. Res64: D4147A25B48C7341 Time : 0.0 sec. user=mdettweiler [2015-04-29 22:58:47] 857*2^1397956-1 is not prime. Res64: 22046DDEF41418BE Time : 0.0 sec. user=mdettweiler [2015-04-29 22:58:48] 923*2^1397956-1 is not prime. Res64: 9EDCB2EC20D78564 Time : 0.0 sec. user=mdettweiler [2015-04-29 22:58:52] 933*2^1397956-1 is not prime. Res64: 874F9E1726339C8B Time : 0.0 sec. user=mdettweiler [2015-04-29 22:58:52] 601*2^1397957-1 is not prime. Res64: DB85B7410CA5E6CD Time : 0.0 sec. user=mdettweiler [2015-04-29 22:58:53] 655*2^1397957-1 is not prime. Res64: C3D2A514ABCEFD09 Time : 0.0 sec. user=mdettweiler [2015-04-29 22:58:54] 669*2^1397957-1 is not prime. Res64: 2CE8DC6C9153D523 Time : 0.0 sec. user=mdettweiler [2015-04-29 22:59:39] 697*2^1397957-1 is not prime. Res64: 47191FA107A5BCA1 Time : 0.0 sec. user=mdettweiler [2015-04-29 22:59:39] 717*2^1397957-1 is not prime. Res64: 77B0F911F3624FD8 Time : 0.0 sec. user=mdettweiler [2015-04-29 23:16:20] 931*2^1397957-1 is not prime. Res64: 31A1CFF00006E42F Time : 0.0 sec. user=mdettweiler [2015-04-29 23:16:20] 771*2^1397957-1 is not prime. Res64: E000C4A8EC61A871 Time : 0.0 sec. user=mdettweiler [2015-04-29 23:16:21] 981*2^1397957-1 is not prime. Res64: 57427C853620AE1F Time : 0.0 sec. user=mdettweiler [2015-04-29 23:16:21] 871*2^1397957-1 is not prime. Res64: 7EC76CEAC9215B08 Time : 0.0 sec. user=mdettweiler [2015-04-29 23:16:27] 711*2^1397958-1 is not prime. Res64: 3F4E5A1C500E4C60 Time : 0.0 sec. user=mdettweiler [2015-04-29 23:16:28] 795*2^1397958-1 is not prime. Res64: F357F7CE671CA221 Time : 0.0 sec. user=mdettweiler [2015-04-29 23:17:09] 693*2^1397959-1 is not prime. Res64: 17E1E25305979390 Time : 0.0 sec. user=mdettweiler [2015-04-29 23:17:09] 705*2^1397959-1 is not prime. Res64: 3DE4D233CB2047F0 Time : 0.0 sec. user=mdettweiler [2015-04-29 23:33:56] 831*2^1397959-1 is not prime. Res64: 4D55BD114A8471B4 Time : 0.0 sec. user=mdettweiler [2015-04-29 23:33:56] 859*2^1397959-1 is not prime. Res64: 61E91D9B19D54494 Time : 0.0 sec. user=mdettweiler [2015-04-29 23:33:59] 919*2^1397959-1 is not prime. Res64: 6177FE1DC8A9C30A Time : 0.0 sec. user=mdettweiler [2015-04-29 23:33:59] 975*2^1397959-1 is not prime. Res64: B7B3C1D9BCF47CD0 Time : 0.0 sec. user=mdettweiler [2015-04-29 23:34:01] 633*2^1397960-1 is not prime. Res64: 133572E08FB4D572 Time : 0.0 sec. user=mdettweiler [2015-04-29 23:34:02] 675*2^1397960-1 is not prime. Res64: A6960D64C150A8AB Time : 0.0 sec. user=mdettweiler [2015-04-29 23:34:47] 725*2^1397960-1 is not prime. Res64: 537EC90FC8636D53 Time : 0.0 sec. user=mdettweiler [2015-04-29 23:34:47] 825*2^1397960-1 is not prime. Res64: D512FE2A60290BA3 Time : 0.0 sec. user=mdettweiler [2015-04-29 23:51:42] 963*2^1397960-1 is not prime. Res64: 7CBDE52A1878A68A Time : 0.0 sec. user=mdettweiler [2015-04-29 23:51:42] 983*2^1397960-1 is not prime. Res64: 80A402FF4BC57CA9 Time : 0.0 sec. user=mdettweiler [2015-04-29 23:51:46] 833*2^1397960-1 is not prime. Res64: 8CF653B5CBCB3B0A Time : 0.0 sec. user=mdettweiler [2015-04-29 23:51:46] 935*2^1397960-1 is not prime. Res64: 45E443A996D42E83 Time : 0.0 sec. user=mdettweiler [2015-04-29 23:51:47] 675*2^1397961-1 is not prime. Res64: FA1E45AA793AAA54 Time : 0.0 sec. user=mdettweiler [2015-04-29 23:51:47] 685*2^1397961-1 is not prime. Res64: 2E0E97EE2B00E500 Time : 0.0 sec. user=mdettweiler [2015-04-29 23:52:30] 691*2^1397961-1 is not prime. Res64: 0DF7A04E15F2CBE5 Time : 0.0 sec. user=mdettweiler [2015-04-29 23:52:31] 705*2^1397961-1 is not prime. Res64: C6BCEA986E7FEDA8 Time : 0.0 sec.