user=mdettweiler [2017-04-04 00:14:26] 985*2^1450477-1 is not prime. Res64: 16E26C5DA87D7A34 Time : 0.0 sec. user=mdettweiler [2017-04-04 00:14:27] 671*2^1450478-1 is not prime. Res64: A24AA905A6BE261D Time : 0.0 sec. user=mdettweiler [2017-04-04 00:14:27] 797*2^1450478-1 is not prime. Res64: 6AC103C0FE6B9F9F Time : 0.0 sec. user=mdettweiler [2017-04-04 00:14:27] 815*2^1450478-1 is not prime. Res64: 8C1DFE847C7F1FC0 Time : 0.0 sec. user=mdettweiler [2017-04-04 00:14:28] 875*2^1450478-1 is not prime. Res64: 9F516D3DDBB7ED9D Time : 0.0 sec. user=mdettweiler [2017-04-04 00:17:08] 897*2^1450478-1 is not prime. Res64: CA29FDBA0BF23AC4 Time : 0.0 sec. user=mdettweiler [2017-04-04 00:17:09] 923*2^1450478-1 is not prime. Res64: D8AFF8828EAA0272 Time : 0.0 sec. user=mdettweiler [2017-04-04 00:17:09] 957*2^1450478-1 is not prime. Res64: 97F8A528AD048FE4 Time : 0.0 sec. user=mdettweiler [2017-04-04 00:17:09] 613*2^1450479-1 is not prime. Res64: 8EEF743947249E69 Time : 0.0 sec. user=mdettweiler [2017-04-04 00:17:09] 685*2^1450479-1 is not prime. Res64: 4B808F5AE5C8B666 Time : 0.0 sec. user=mdettweiler [2017-04-04 00:20:50] 711*2^1450479-1 is not prime. Res64: 2B915329CECE0690 Time : 0.0 sec. user=mdettweiler [2017-04-04 00:20:51] 741*2^1450479-1 is not prime. Res64: 29CF478E7B04F8B5 Time : 0.0 sec. user=mdettweiler [2017-04-04 00:20:51] 885*2^1450479-1 is not prime. Res64: 183604D57761042F Time : 0.0 sec. user=mdettweiler [2017-04-04 00:20:51] 909*2^1450479-1 is not prime. Res64: 5E4F15FF8219F4D4 Time : 0.0 sec. user=mdettweiler [2017-04-04 00:20:52] 677*2^1450480-1 is not prime. Res64: 68E34300DA2E475F Time : 0.0 sec. user=mdettweiler [2017-04-04 00:25:19] 693*2^1450480-1 is not prime. Res64: 18C12B3A2EACB6C0 Time : 0.0 sec. user=mdettweiler [2017-04-04 00:25:19] 699*2^1450480-1 is not prime. Res64: B7B03F5023990C35 Time : 0.0 sec. user=mdettweiler [2017-04-04 00:25:20] 773*2^1450480-1 is not prime. Res64: D55D78EF31B97C60 Time : 0.0 sec. user=mdettweiler [2017-04-04 00:25:21] 803*2^1450480-1 is not prime. Res64: 4453E36D68CEC644 Time : 0.0 sec. user=mdettweiler [2017-04-04 00:25:22] 827*2^1450480-1 is not prime. Res64: CBAC52DC74C5AB11 Time : 0.0 sec. user=mdettweiler [2017-04-04 00:59:46] 845*2^1450480-1 is not prime. Res64: 548C36B4437B547A Time : 0.0 sec. user=mdettweiler [2017-04-04 00:59:46] 849*2^1450480-1 is not prime. Res64: 49346670606B59A5 Time : 0.0 sec. user=mdettweiler [2017-04-04 00:59:46] 873*2^1450480-1 is not prime. Res64: 1C872C3CC838661E Time : 0.0 sec. user=mdettweiler [2017-04-04 00:59:47] 607*2^1450481-1 is not prime. Res64: D8E103F285A4ED90 Time : 0.0 sec. user=mdettweiler [2017-04-04 00:59:47] 657*2^1450481-1 is not prime. Res64: 1D23103A00783270 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:02:07] 777*2^1450481-1 is not prime. Res64: 29F2497D63596AF4 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:02:08] 865*2^1450481-1 is not prime. Res64: 91F9ECA4620FD987 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:02:08] 879*2^1450481-1 is not prime. Res64: 3790AA472B59CA7F Time : 0.0 sec. user=mdettweiler [2017-04-04 01:02:09] 957*2^1450481-1 is not prime. Res64: 3233C70E99DC0F64 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:02:10] 987*2^1450481-1 is not prime. Res64: F86280F0DE4B2A78 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:05:58] 633*2^1450482-1 is not prime. Res64: 2E4E26164A821C3A Time : 0.0 sec. user=mdettweiler [2017-04-04 01:05:58] 723*2^1450482-1 is not prime. Res64: 0CB15860A0A16306 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:05:58] 755*2^1450482-1 is not prime. Res64: 70DE956B4DE7FD5A Time : 0.0 sec. user=mdettweiler [2017-04-04 01:05:59] 815*2^1450482-1 is not prime. Res64: 0022D843809202D3 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:05:59] 837*2^1450482-1 is not prime. Res64: 2E18F94FBBD10C33 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:10:31] 915*2^1450482-1 is not prime. Res64: DF36B1E1B273C9B6 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:10:31] 649*2^1450483-1 is not prime. Res64: FA4F6B97F1A9B0C8 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:10:32] 663*2^1450483-1 is not prime. Res64: D88EF8B6B1A0C20D Time : 0.0 sec. user=mdettweiler [2017-04-04 01:10:32] 673*2^1450483-1 is not prime. Res64: 5D05F482B653B7D9 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:10:32] 789*2^1450483-1 is not prime. Res64: 7EA283F3C2C46508 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:45:00] 861*2^1450483-1 is not prime. Res64: 0EC0119191AA6394 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:45:01] 985*2^1450483-1 is not prime. Res64: 2CC6F426C3CC99DD Time : 0.0 sec. user=mdettweiler [2017-04-04 01:45:01] 617*2^1450484-1 is not prime. Res64: 9BEABD62A46F91AA Time : 0.0 sec. user=mdettweiler [2017-04-04 01:45:02] 675*2^1450484-1 is not prime. Res64: 037651B972F31BF3 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:45:02] 843*2^1450484-1 is not prime. Res64: 4517DF4846560D14 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:47:22] 855*2^1450484-1 is not prime. Res64: 807C80C2910243E5 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:47:22] 655*2^1450485-1 is not prime. Res64: 95D7DE82DD9620C7 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:47:23] 679*2^1450485-1 is not prime. Res64: 5559F2DBBFA2C704 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:47:23] 765*2^1450485-1 is not prime. Res64: 0F59FA95C2BA8810 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:47:23] 817*2^1450485-1 is not prime. Res64: 5F172216C325B6F3 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:51:02] 861*2^1450485-1 is not prime. Res64: 2D058C04F17404EC Time : 0.0 sec. user=mdettweiler [2017-04-04 01:51:03] 871*2^1450485-1 is not prime. Res64: 6425128F2BD04B45 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:51:03] 919*2^1450485-1 is not prime. Res64: 1EED550D4DDFAB06 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:51:04] 997*2^1450485-1 is not prime. Res64: 697F943ED7EF0FE9 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:51:04] 603*2^1450486-1 is not prime. Res64: BA96FC4C94A8E6FB Time : 0.0 sec. user=mdettweiler [2017-04-04 01:55:43] 855*2^1450486-1 is not prime. Res64: F4BA0D4D9C5CB9A6 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:55:44] 867*2^1450486-1 is not prime. Res64: BEBD0B402494AE76 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:55:44] 615*2^1450487-1 is not prime. Res64: 8D0DFFBEF3F4DE20 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:55:44] 673*2^1450487-1 is not prime. Res64: 9199826F3B10DAB4 Time : 0.0 sec. user=mdettweiler [2017-04-04 01:55:44] 729*2^1450487-1 is not prime. Res64: 8F471C52C4266707 Time : 0.0 sec. user=mdettweiler [2017-04-04 02:30:14] 775*2^1450487-1 is not prime. Res64: D7D95AFD1B4EC452 Time : 0.0 sec. user=mdettweiler [2017-04-04 02:30:15] 841*2^1450487-1 is not prime. Res64: 3B87070831B1374A Time : 0.0 sec. user=mdettweiler [2017-04-04 02:30:16] 883*2^1450487-1 is not prime. Res64: B545AF9A6DA6E10B Time : 0.0 sec. user=mdettweiler [2017-04-04 02:30:16] 747*2^1450488-1 is not prime. Res64: 1095A322559C296F Time : 0.0 sec. user=mdettweiler [2017-04-04 02:30:17] 887*2^1450488-1 is not prime. Res64: 2AAD141FB690CE5C Time : 0.0 sec. user=mdettweiler [2017-04-04 02:32:37] 905*2^1450488-1 is not prime. Res64: 4FCC1A1010F3B974 Time : 0.0 sec. user=mdettweiler [2017-04-04 02:32:38] 687*2^1450489-1 is not prime. Res64: DA4B28A40E8D165B Time : 0.0 sec. user=mdettweiler [2017-04-04 02:32:38] 951*2^1450489-1 is not prime. Res64: E041EE0ECF15D6C5 Time : 0.0 sec. user=mdettweiler [2017-04-04 02:32:38] 633*2^1450490-1 is not prime. Res64: 5CB64642ECB718C2 Time : 0.0 sec. user=mdettweiler [2017-04-04 02:32:39] 743*2^1450490-1 is not prime. Res64: A73CC9D0719BFB4B Time : 0.0 sec. user=mdettweiler [2017-04-04 02:36:52] 921*2^1450490-1 is not prime. Res64: 743EC1C8150B360A Time : 0.0 sec. user=mdettweiler [2017-04-04 02:36:52] 927*2^1450490-1 is not prime. Res64: AF0E5A123F5CDEDD Time : 0.0 sec. user=mdettweiler [2017-04-04 02:36:52] 1001*2^1450490-1 is not prime. Res64: A9504B4ED75865C9 Time : 0.0 sec. user=mdettweiler [2017-04-04 02:36:52] 651*2^1450491-1 is not prime. Res64: ECD06DE20AED11B9 Time : 0.0 sec. user=mdettweiler [2017-04-04 02:36:53] 783*2^1450491-1 is not prime. Res64: 6A8FE663626ED24F Time : 0.0 sec. user=mdettweiler [2017-04-04 02:42:09] 891*2^1450491-1 is not prime. Res64: 7D51854E51255787 Time : 0.0 sec. user=mdettweiler [2017-04-04 02:42:09] 975*2^1450491-1 is not prime. Res64: 9EEB9FA966D9EF1B Time : 0.0 sec. user=mdettweiler [2017-04-04 02:42:09] 629*2^1450492-1 is not prime. Res64: 72F537735AD2854C Time : 0.0 sec. user=mdettweiler [2017-04-04 02:42:10] 635*2^1450492-1 is not prime. Res64: 0A45EF2A8E991790 Time : 0.0 sec. user=mdettweiler [2017-04-04 02:42:10] 687*2^1450492-1 is not prime. Res64: BA735DFD62CAEA4C Time : 0.0 sec. user=mdettweiler [2017-04-04 03:16:17] 705*2^1450492-1 is not prime. Res64: 435CBF4D970EA731 Time : 0.0 sec. user=mdettweiler [2017-04-04 03:16:18] 749*2^1450492-1 is not prime. Res64: 2B83A6879E642462 Time : 0.0 sec. user=mdettweiler [2017-04-04 03:16:18] 827*2^1450492-1 is not prime. Res64: 01BDD34BD18834F2 Time : 0.0 sec. user=mdettweiler [2017-04-04 03:16:18] 933*2^1450492-1 is not prime. Res64: C0CF5C4D0441C4EE Time : 0.0 sec. user=mdettweiler [2017-04-04 03:16:19] 621*2^1450493-1 is not prime. Res64: 14BCC0BBE66B8124 Time : 0.0 sec. user=mdettweiler [2017-04-04 03:18:40] 631*2^1450493-1 is not prime. Res64: 3A87797B5BAB641E Time : 0.0 sec. user=mdettweiler [2017-04-04 03:18:41] 669*2^1450493-1 is not prime. Res64: 50F123F9819D075C Time : 0.0 sec. user=mdettweiler [2017-04-04 03:18:41] 715*2^1450493-1 is not prime. Res64: 20EB547F4BED664E Time : 0.0 sec. user=mdettweiler [2017-04-04 03:18:41] 795*2^1450493-1 is not prime. Res64: B0A72D596F70FC4A Time : 0.0 sec. user=mdettweiler [2017-04-04 03:18:42] 889*2^1450493-1 is not prime. Res64: 9AC2C5A186288B83 Time : 0.0 sec. user=mdettweiler [2017-04-04 03:22:17] 851*2^1450494-1 is not prime. Res64: C2532495CE4E76FD Time : 0.0 sec. user=mdettweiler [2017-04-04 03:22:17] 881*2^1450494-1 is not prime. Res64: 05C016A1B0F06EEE Time : 0.0 sec. user=mdettweiler [2017-04-04 03:22:17] 947*2^1450494-1 is not prime. Res64: C440FF5E67BEA257 Time : 0.0 sec. user=mdettweiler [2017-04-04 03:22:17] 965*2^1450494-1 is not prime. Res64: 959FF4B3D591F3CC Time : 0.0 sec. user=mdettweiler [2017-04-04 03:22:18] 993*2^1450494-1 is not prime. Res64: E89E3BD6F8279110 Time : 0.0 sec. user=mdettweiler [2017-04-04 03:27:27] 651*2^1450495-1 is not prime. Res64: D9ECCE731D8CDCF2 Time : 0.0 sec. user=mdettweiler [2017-04-04 03:27:28] 763*2^1450495-1 is not prime. Res64: C723C7F038692F44 Time : 0.0 sec. user=mdettweiler [2017-04-04 03:27:29] 771*2^1450495-1 is not prime. Res64: 6A44B499653B5E29 Time : 0.0 sec. user=mdettweiler [2017-04-04 03:27:29] 819*2^1450495-1 is not prime. Res64: AD520B7F5B9E559D Time : 0.0 sec. user=mdettweiler [2017-04-04 03:27:30] 933*2^1450495-1 is not prime. Res64: 690AC9BFEB952070 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:01:31] 747*2^1450496-1 is not prime. Res64: 8441B94A46F7EFF7 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:01:33] 839*2^1450496-1 is not prime. Res64: 9B4FF947837B6C56 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:01:33] 857*2^1450496-1 is not prime. Res64: 754856EB698E7711 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:01:34] 963*2^1450496-1 is not prime. Res64: 5BC6D29C8F7B169B Time : 0.0 sec. user=mdettweiler [2017-04-04 04:01:35] 667*2^1450497-1 is not prime. Res64: 179646EE590B5A04 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:03:58] 691*2^1450497-1 is not prime. Res64: 67E81ECC42151B57 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:03:59] 847*2^1450497-1 is not prime. Res64: DD99E8D62152C1F1 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:04:00] 937*2^1450497-1 is not prime. Res64: 4FBE5D51F39561CA Time : 0.0 sec. user=mdettweiler [2017-04-04 04:04:01] 623*2^1450498-1 is not prime. Res64: E72ECA84C6A8B7CB Time : 0.0 sec. user=mdettweiler [2017-04-04 04:04:02] 735*2^1450498-1 is not prime. Res64: 06F7074E29F39C66 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:07:34] 791*2^1450498-1 is not prime. Res64: 40949D67902BBDF0 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:07:35] 1001*2^1450498-1 is not prime. Res64: 2E509EDD5CD830C0 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:07:35] 633*2^1450499-1 is not prime. Res64: 975E85D6BBAC374A Time : 0.0 sec. user=mdettweiler [2017-04-04 04:07:35] 643*2^1450499-1 is not prime. Res64: 92CC57A81EC842D2 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:07:35] 909*2^1450499-1 is not prime. Res64: 5D485AFC0AE20411 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:12:35] 931*2^1450499-1 is not prime. Res64: 6CB8C3AE84850F9E Time : 0.0 sec. user=mdettweiler [2017-04-04 04:12:35] 973*2^1450499-1 is not prime. Res64: C1BE68D4B34C96A0 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:12:36] 669*2^1450500-1 is not prime. Res64: C6FC6E30B67BB7ED Time : 0.0 sec. user=mdettweiler [2017-04-04 04:12:36] 719*2^1450500-1 is not prime. Res64: C43FE711CB11FE6F Time : 0.0 sec. user=mdettweiler [2017-04-04 04:12:36] 737*2^1450500-1 is not prime. Res64: 0BD0E463076C880E Time : 0.0 sec. user=mdettweiler [2017-04-04 04:47:17] 789*2^1450500-1 is not prime. Res64: 6DC08A354885523F Time : 0.0 sec. user=mdettweiler [2017-04-04 04:47:17] 857*2^1450500-1 is not prime. Res64: 2B1D56FC7D6C5ACC Time : 0.0 sec. user=mdettweiler [2017-04-04 04:47:17] 873*2^1450500-1 is not prime. Res64: 61D3539367CFF92D Time : 0.0 sec. user=mdettweiler [2017-04-04 04:47:17] 887*2^1450500-1 is not prime. Res64: 626271CA06D87436 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:47:18] 607*2^1450501-1 is not prime. Res64: 95E11FCCEA5F88DB Time : 0.0 sec. user=mdettweiler [2017-04-04 04:49:29] 747*2^1450501-1 is not prime. Res64: 7D98B5B228A1F644 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:49:29] 769*2^1450501-1 is not prime. Res64: 54A5E7DD029496B3 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:49:29] 817*2^1450501-1 is not prime. Res64: 0F3E08AECB36A253 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:49:30] 861*2^1450501-1 is not prime. Res64: 78013D8A5419E42B Time : 0.0 sec. user=mdettweiler [2017-04-04 04:49:30] 867*2^1450501-1 is not prime. Res64: 36547F4331726F25 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:53:08] 651*2^1450502-1 is not prime. Res64: FFB40F21EC2F343B Time : 0.0 sec. user=mdettweiler [2017-04-04 04:53:08] 711*2^1450502-1 is not prime. Res64: 02AF13601C80ED39 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:53:09] 755*2^1450502-1 is not prime. Res64: DA0FB37DB60D42DA Time : 0.0 sec. user=mdettweiler [2017-04-04 04:53:09] 825*2^1450502-1 is not prime. Res64: B00AD7EE4F5417E0 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:53:09] 921*2^1450502-1 is not prime. Res64: C7006313EDBF1B4A Time : 0.0 sec. user=mdettweiler [2017-04-04 04:57:57] 977*2^1450502-1 is not prime. Res64: CC863B9FCB3175BA Time : 0.0 sec. user=mdettweiler [2017-04-04 04:57:58] 723*2^1450503-1 is not prime. Res64: 4062FF9AB03F0195 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:57:58] 861*2^1450503-1 is not prime. Res64: D1F814C3680E1611 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:57:58] 635*2^1450504-1 is not prime. Res64: DEE4949316F76D90 Time : 0.0 sec. user=mdettweiler [2017-04-04 04:57:58] 665*2^1450504-1 is not prime. Res64: 04B3E3AA2CF9C3DF Time : 0.0 sec. user=mdettweiler [2017-04-04 05:32:56] 855*2^1450504-1 is not prime. Res64: 82F5FD1DAB8B57A4 Time : 0.0 sec. user=mdettweiler [2017-04-04 05:32:56] 939*2^1450504-1 is not prime. Res64: BD2F1AF89807EE8B Time : 0.0 sec. user=mdettweiler [2017-04-04 05:32:57] 669*2^1450505-1 is not prime. Res64: 2F0028E13BF40B1F Time : 0.0 sec. user=mdettweiler [2017-04-04 05:32:57] 775*2^1450505-1 is not prime. Res64: E7927D3354D05B66 Time : 0.0 sec. user=mdettweiler [2017-04-04 05:32:57] 781*2^1450505-1 is not prime. Res64: E96E7216DE961AF2 Time : 0.0 sec. user=mdettweiler [2017-04-04 05:35:11] 799*2^1450505-1 is not prime. Res64: 5004D6181E3EDBD9 Time : 0.0 sec. user=mdettweiler [2017-04-04 05:35:11] 811*2^1450505-1 is not prime. Res64: 702003F823AF8E83 Time : 0.0 sec. user=mdettweiler [2017-04-04 05:35:12] 897*2^1450505-1 is not prime. Res64: 83F25684FBFA00F7 Time : 0.0 sec. user=mdettweiler [2017-04-04 05:35:12] 957*2^1450505-1 is not prime. Res64: E41B4679BA3DC1C7 Time : 0.0 sec. user=mdettweiler [2017-04-04 05:35:12] 985*2^1450505-1 is not prime. Res64: A90261558330A6C7 Time : 0.0 sec. user=mdettweiler [2017-04-04 05:38:55] 671*2^1450506-1 is not prime. Res64: 95293C8E8C382EC9 Time : 0.0 sec. user=mdettweiler [2017-04-04 05:38:55] 707*2^1450506-1 is not prime. Res64: AD3A748E6C2F14EF Time : 0.0 sec. user=mdettweiler [2017-04-04 05:38:55] 713*2^1450506-1 is not prime. Res64: 04489D63157305FA Time : 0.0 sec. user=mdettweiler [2017-04-04 05:38:55] 717*2^1450506-1 is not prime. Res64: A9F03C00C1261FBF Time : 0.0 sec. user=mdettweiler [2017-04-04 05:38:56] 755*2^1450506-1 is not prime. Res64: 49978BC79F11B397 Time : 0.0 sec. user=mdettweiler [2017-04-04 05:43:57] 783*2^1450506-1 is not prime. Res64: 289F31EE095249CB Time : 0.0 sec. user=mdettweiler [2017-04-04 05:43:57] 815*2^1450506-1 is not prime. Res64: 49FB77FB36D2111C Time : 0.0 sec. user=mdettweiler [2017-04-04 05:43:57] 893*2^1450506-1 is not prime. Res64: AE46C35EC049C895 Time : 0.0 sec. user=mdettweiler [2017-04-04 05:43:58] 933*2^1450506-1 is not prime. Res64: 78C6044C0D3AA4F3 Time : 0.0 sec. user=mdettweiler [2017-04-04 05:43:58] 993*2^1450506-1 is not prime. Res64: 3BEF8A6AA850E32C Time : 0.0 sec. user=mdettweiler [2017-04-04 06:18:09] 681*2^1450507-1 is not prime. Res64: 2BBD41151440510E Time : 0.0 sec. user=mdettweiler [2017-04-04 06:18:10] 691*2^1450507-1 is not prime. Res64: E0B7AA31D66282BA Time : 0.0 sec. user=mdettweiler [2017-04-04 06:18:10] 805*2^1450507-1 is not prime. Res64: 11AFF8A8D978AAC5 Time : 0.0 sec. user=mdettweiler [2017-04-04 06:18:10] 819*2^1450507-1 is not prime. Res64: 55D590C41EBECE6F Time : 0.0 sec. user=mdettweiler [2017-04-04 06:18:10] 647*2^1450508-1 is not prime. Res64: BF5129C98E98F88B Time : 0.0 sec. user=mdettweiler [2017-04-04 06:20:23] 659*2^1450508-1 is not prime. Res64: 970F4CAC8773439A Time : 0.0 sec. user=mdettweiler [2017-04-04 06:20:23] 663*2^1450508-1 is not prime. Res64: A87F518C9191EBE0 Time : 0.0 sec. user=mdettweiler [2017-04-04 06:20:24] 879*2^1450508-1 is not prime. Res64: 237C6B4B06E991B7 Time : 0.0 sec. user=mdettweiler [2017-04-04 06:20:24] 899*2^1450508-1 is not prime. Res64: E5C5B9AF4DC5B4FE Time : 0.0 sec. user=mdettweiler [2017-04-04 06:20:24] 953*2^1450508-1 is not prime. Res64: D81BDFD15FB75F1F Time : 0.0 sec. user=mdettweiler [2017-04-04 06:24:03] 609*2^1450509-1 is not prime. Res64: 9F144742EE1932B1 Time : 0.0 sec. user=mdettweiler [2017-04-04 06:24:03] 649*2^1450509-1 is not prime. Res64: B532291D42D32B20 Time : 0.0 sec. user=mdettweiler [2017-04-04 06:24:03] 735*2^1450509-1 is not prime. Res64: 1499F8B4078C83D0 Time : 0.0 sec. user=mdettweiler [2017-04-04 06:24:03] 765*2^1450509-1 is not prime. Res64: 38AB21D719DBCF14 Time : 0.0 sec. user=mdettweiler [2017-04-04 06:24:04] 795*2^1450509-1 is not prime. Res64: EF1A8CA205915983 Time : 0.0 sec. user=mdettweiler [2017-04-04 06:29:12] 829*2^1450509-1 is not prime. Res64: F19CA172012C3964 Time : 0.0 sec. user=mdettweiler [2017-04-04 06:29:12] 831*2^1450509-1 is not prime. Res64: 354FC7934990F870 Time : 0.0 sec. user=mdettweiler [2017-04-04 06:29:13] 985*2^1450509-1 is not prime. Res64: E86CAACD9E391CD4 Time : 0.0 sec. user=mdettweiler [2017-04-04 06:29:13] 635*2^1450510-1 is not prime. Res64: 643AC7455E512B98 Time : 0.0 sec. user=mdettweiler [2017-04-04 06:29:13] 663*2^1450510-1 is not prime. Res64: 59EB737CAA8ED98E Time : 0.0 sec. user=mdettweiler [2017-04-04 07:03:18] 713*2^1450510-1 is not prime. Res64: 9A4B4B2FF4521722 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:03:21] 995*2^1450510-1 is not prime. Res64: 3F749E1DED60993F Time : 0.0 sec. user=mdettweiler [2017-04-04 07:03:23] 621*2^1450511-1 is not prime. Res64: ACB5A2E8D870F3B4 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:03:24] 663*2^1450511-1 is not prime. Res64: 5A9B02B2841B7B70 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:03:26] 679*2^1450511-1 is not prime. Res64: 9509DA39F2A2CC6C Time : 0.0 sec. user=mdettweiler [2017-04-04 07:05:31] 715*2^1450511-1 is not prime. Res64: 827E150A751D80F5 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:05:32] 783*2^1450511-1 is not prime. Res64: 835B161C57B992D8 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:05:33] 879*2^1450511-1 is not prime. Res64: 520669ED3F49C4CA Time : 0.0 sec. user=mdettweiler [2017-04-04 07:05:34] 969*2^1450511-1 is not prime. Res64: 91234E4221C12E18 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:05:36] 623*2^1450512-1 is not prime. Res64: 082775523DCDC6EF Time : 0.0 sec. user=mdettweiler [2017-04-04 07:09:16] 657*2^1450512-1 is not prime. Res64: 0B6C3471720D59AA Time : 0.0 sec. user=mdettweiler [2017-04-04 07:09:16] 669*2^1450512-1 is not prime. Res64: B349D71FA473A8F6 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:09:16] 713*2^1450512-1 is not prime. Res64: 886637C619236E57 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:09:16] 903*2^1450512-1 is not prime. Res64: 715C50C57E346497 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:09:17] 923*2^1450512-1 is not prime. Res64: 009894F7BC3DDBC0 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:14:32] 747*2^1450513-1 is not prime. Res64: 8D16FDB1A568EDE8 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:14:32] 817*2^1450513-1 is not prime. Res64: 17D07C7FF4A53C51 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:14:32] 889*2^1450513-1 is not prime. Res64: 6D85BAF30A9ADF93 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:14:32] 897*2^1450513-1 is not prime. Res64: 747C61466DA49983 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:14:33] 951*2^1450513-1 is not prime. Res64: 0C54EFEBE516AB9D Time : 0.0 sec. user=mdettweiler [2017-04-04 07:49:09] 967*2^1450513-1 is not prime. Res64: B59C21ACE0E13892 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:49:09] 717*2^1450514-1 is not prime. Res64: D15E887E328A500E Time : 0.0 sec. user=mdettweiler [2017-04-04 07:49:10] 791*2^1450514-1 is not prime. Res64: A97B22FEC2098999 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:49:10] 825*2^1450514-1 is not prime. Res64: 1F388DC0F0D1885D Time : 0.0 sec. user=mdettweiler [2017-04-04 07:49:10] 833*2^1450514-1 is not prime. Res64: C691A2A31976EF56 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:50:57] 851*2^1450514-1 is not prime. Res64: 4AC1DD3D6E135801 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:50:58] 857*2^1450514-1 is not prime. Res64: C0EBB34A491E8EDA Time : 0.0 sec. user=mdettweiler [2017-04-04 07:50:58] 875*2^1450514-1 is not prime. Res64: 50327ED36A58DC5D Time : 0.0 sec. user=mdettweiler [2017-04-04 07:50:58] 935*2^1450514-1 is not prime. Res64: BFA1F228569A6141 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:50:58] 983*2^1450514-1 is not prime. Res64: 8D21D0DF0604A05D Time : 0.0 sec. user=mdettweiler [2017-04-04 07:54:39] 625*2^1450515-1 is not prime. Res64: 9B2F1B409693EED0 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:54:39] 709*2^1450515-1 is not prime. Res64: 179E374B562EE160 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:54:39] 849*2^1450515-1 is not prime. Res64: 590A3BA14037F84A Time : 0.0 sec. user=mdettweiler [2017-04-04 07:54:39] 951*2^1450515-1 is not prime. Res64: AED67E7E455F6BF6 Time : 0.0 sec. user=mdettweiler [2017-04-04 07:54:40] 707*2^1450516-1 is not prime. Res64: A941AF3B2E94F36D Time : 0.0 sec. user=mdettweiler [2017-04-04 07:59:52] 749*2^1450516-1 is not prime. Res64: 06D0F474B860045B Time : 0.0 sec. user=mdettweiler [2017-04-04 07:59:52] 765*2^1450516-1 is not prime. Res64: 251B6F86D3BDFCCA Time : 0.0 sec. user=mdettweiler [2017-04-04 07:59:53] 825*2^1450516-1 is not prime. Res64: BD0A374796CD4E0B Time : 0.0 sec. user=mdettweiler [2017-04-04 07:59:53] 857*2^1450516-1 is not prime. Res64: 2EC9FBDDB19D766D Time : 0.0 sec. user=mdettweiler [2017-04-04 07:59:53] 873*2^1450516-1 is not prime. Res64: 9564260E4001D8A4 Time : 0.0 sec. user=mdettweiler [2017-04-04 08:34:22] 923*2^1450516-1 is not prime. Res64: EB1E5F926871C93E Time : 0.0 sec. user=mdettweiler [2017-04-04 08:34:23] 933*2^1450516-1 is not prime. Res64: 0FE69ECE607B0BAD Time : 0.0 sec. user=mdettweiler [2017-04-04 08:34:23] 621*2^1450517-1 is not prime. Res64: 313C55E286216F92 Time : 0.0 sec. user=mdettweiler [2017-04-04 08:34:23] 699*2^1450517-1 is not prime. Res64: A3A9BBB7712211D5 Time : 0.0 sec. user=mdettweiler [2017-04-04 08:34:23] 781*2^1450517-1 is not prime. Res64: CCD9C3A9593BCA19 Time : 0.0 sec. user=mdettweiler [2017-04-04 08:36:06] 847*2^1450517-1 is not prime. Res64: 144BE830BA88866E Time : 0.0 sec. user=mdettweiler [2017-04-04 08:36:06] 901*2^1450517-1 is not prime. Res64: A56D29134ECB0B3F Time : 0.0 sec. user=mdettweiler [2017-04-04 08:36:06] 939*2^1450517-1 is not prime. Res64: BBF1ABB962AF1A94 Time : 0.0 sec. user=mdettweiler [2017-04-04 08:36:06] 621*2^1450518-1 is not prime. Res64: F9F043BDF6E3B6F3 Time : 0.0 sec. user=mdettweiler [2017-04-04 08:36:06] 671*2^1450518-1 is not prime. Res64: 562AF67BAF259516 Time : 0.0 sec. user=mdettweiler [2017-04-04 08:39:45] 711*2^1450518-1 is not prime. Res64: 8A9D5D0616015B5C Time : 0.0 sec. user=mdettweiler [2017-04-04 08:39:45] 861*2^1450518-1 is not prime. Res64: DBC9CCC35E00ED99 Time : 0.0 sec. user=mdettweiler [2017-04-04 08:39:45] 603*2^1450519-1 is not prime. Res64: 7A024A12307C6C19 Time : 0.0 sec. user=mdettweiler [2017-04-04 08:39:46] 609*2^1450519-1 is not prime. Res64: 68E9B1674ACC5711 Time : 0.0 sec. user=mdettweiler [2017-04-04 08:39:46] 939*2^1450519-1 is not prime. Res64: DC44F035DC50E518 Time : 0.0 sec. user=mdettweiler [2017-04-04 08:45:07] 961*2^1450519-1 is not prime. Res64: 4DA8745FE3D59527 Time : 0.0 sec. user=mdettweiler [2017-04-04 08:45:07] 609*2^1450520-1 is not prime. Res64: 12BAB63D5EA89D05 Time : 0.0 sec. user=mdettweiler [2017-04-04 08:45:07] 615*2^1450520-1 is not prime. Res64: 61EAB73C625C6E0E Time : 0.0 sec. user=mdettweiler [2017-04-04 08:45:07] 843*2^1450520-1 is not prime. Res64: 56372A8C5EBCDF73 Time : 0.0 sec. user=mdettweiler [2017-04-04 08:45:07] 855*2^1450520-1 is not prime. Res64: 6EC30A764B8C7AD2 Time : 0.0 sec. user=mdettweiler [2017-04-04 09:19:22] 625*2^1450521-1 is not prime. Res64: 88484C7AAF5E7A3C Time : 0.0 sec. user=mdettweiler [2017-04-04 09:19:22] 639*2^1450521-1 is not prime. Res64: EB3A4147C3C64D47 Time : 0.0 sec. user=mdettweiler [2017-04-04 09:19:22] 675*2^1450521-1 is not prime. Res64: 9FA90BE3B6B75052 Time : 0.0 sec. user=mdettweiler [2017-04-04 09:19:23] 691*2^1450521-1 is not prime. Res64: E16239C76B33A86E Time : 0.0 sec. user=mdettweiler [2017-04-04 09:19:23] 735*2^1450521-1 is not prime. Res64: D47DFF9983F330FA Time : 0.0 sec. user=mdettweiler [2017-04-04 09:21:22] 739*2^1450521-1 is not prime. Res64: 9761F651CB8D36BD Time : 0.0 sec. user=mdettweiler [2017-04-04 09:21:22] 789*2^1450521-1 is not prime. Res64: 2AA8C589F4092B30 Time : 0.0 sec. user=mdettweiler [2017-04-04 09:21:22] 795*2^1450521-1 is not prime. Res64: 47852EB1C29F1FD3 Time : 0.0 sec. user=mdettweiler [2017-04-04 09:21:22] 847*2^1450521-1 is not prime. Res64: AE4E242690A21A91 Time : 0.0 sec. user=mdettweiler [2017-04-04 09:21:23] 895*2^1450521-1 is not prime. Res64: 73C3CC78E54FA14B Time : 0.0 sec. user=mdettweiler [2017-04-04 09:24:58] 735*2^1450522-1 is not prime. Res64: C99D88F147200777 Time : 0.0 sec. user=mdettweiler [2017-04-04 09:24:59] 741*2^1450522-1 is not prime. Res64: EEF1548670328B62 Time : 0.0 sec. user=mdettweiler [2017-04-04 09:24:59] 813*2^1450522-1 is not prime. Res64: 898C78B1F77ED609 Time : 0.0 sec. user=mdettweiler [2017-04-04 09:24:59] 831*2^1450522-1 is not prime. Res64: 92F85CCDE2155104 Time : 0.0 sec. user=mdettweiler [2017-04-04 09:24:59] 873*2^1450522-1 is not prime. Res64: 2C36AF7336A6423B Time : 0.0 sec. user=mdettweiler [2017-04-04 09:30:14] 881*2^1450522-1 is not prime. Res64: 78914EF08FF7B18F Time : 0.0 sec. user=mdettweiler [2017-04-04 09:30:14] 619*2^1450523-1 is not prime. Res64: 5A84386A6E9890F9 Time : 0.0 sec. user=mdettweiler [2017-04-04 09:30:14] 663*2^1450523-1 is not prime. Res64: CD0FC93BA1DA04A6 Time : 0.0 sec. user=mdettweiler [2017-04-04 09:30:14] 705*2^1450523-1 is not prime. Res64: ED0234269BAE5C8D Time : 0.0 sec. user=mdettweiler [2017-04-04 09:30:15] 741*2^1450523-1 is not prime. Res64: 0E6A60C57278EE43 Time : 0.0 sec. user=mdettweiler [2017-04-04 10:04:30] 823*2^1450523-1 is not prime. Res64: 1D351425CC0D2723 Time : 0.0 sec. user=mdettweiler [2017-04-04 10:04:31] 913*2^1450523-1 is not prime. Res64: E9F86E26ABF70230 Time : 0.0 sec. user=mdettweiler [2017-04-04 10:04:32] 999*2^1450523-1 is not prime. Res64: 56A6027A6B8F0600 Time : 0.0 sec. user=mdettweiler [2017-04-04 10:04:34] 635*2^1450524-1 is not prime. Res64: 8DE663AA788DAA83 Time : 0.0 sec. user=mdettweiler [2017-04-04 10:04:35] 707*2^1450524-1 is not prime. Res64: 92352F8A02D5573B Time : 0.0 sec. user=mdettweiler [2017-04-04 10:06:36] 699*2^1450525-1 is not prime. Res64: 2B48741E25F9D9CB Time : 0.0 sec. user=mdettweiler [2017-04-04 10:06:36] 825*2^1450525-1 is not prime. Res64: D1AEDE03C71AEFFC Time : 0.0 sec. user=mdettweiler [2017-04-04 10:06:36] 615*2^1450526-1 is not prime. Res64: 5FC8CFD534D9FFC5 Time : 0.0 sec. user=mdettweiler [2017-04-04 10:06:37] 617*2^1450526-1 is not prime. Res64: 29CFDA52B2A173B0 Time : 0.0 sec. user=mdettweiler [2017-04-04 10:06:37] 711*2^1450526-1 is not prime. Res64: 3FA77E6CFD3502F0 Time : 0.0 sec. user=mdettweiler [2017-04-04 10:09:59] 743*2^1450526-1 is not prime. Res64: 7B28E14E9AD42D9A Time : 0.0 sec. user=mdettweiler [2017-04-04 10:09:59] 785*2^1450526-1 is not prime. Res64: C14A9DE11D3FD718 Time : 0.0 sec. user=mdettweiler [2017-04-04 10:10:00] 867*2^1450526-1 is not prime. Res64: 56043D40D4B17049 Time : 0.0 sec. user=mdettweiler [2017-04-04 10:10:00] 911*2^1450526-1 is not prime. Res64: 9E4B4EC9C4A880FB Time : 0.0 sec. user=mdettweiler [2017-04-04 10:10:00] 917*2^1450526-1 is not prime. Res64: 8E5E67FD577A8F55 Time : 0.0 sec. user=mdettweiler [2017-04-04 10:15:36] 945*2^1450526-1 is not prime. Res64: BEB220133B76D509 Time : 0.0 sec. user=mdettweiler [2017-04-04 10:15:36] 953*2^1450526-1 is not prime. Res64: A0A60E67C5259A1F Time : 0.0 sec. user=mdettweiler [2017-04-04 10:15:36] 957*2^1450526-1 is not prime. Res64: FB0B494B49FF858E Time : 0.0 sec. user=mdettweiler [2017-04-04 10:15:37] 685*2^1450527-1 is not prime. Res64: C98DEE074EB9ABA8 Time : 0.0 sec. user=mdettweiler [2017-04-04 10:15:37] 775*2^1450527-1 is not prime. Res64: 7AD56FFBED48EA79 Time : 0.0 sec. user=mdettweiler [2017-04-04 10:50:13] 819*2^1450527-1 is not prime. Res64: 578306451F69295F Time : 0.0 sec. user=mdettweiler [2017-04-04 10:50:13] 895*2^1450527-1 is not prime. Res64: 0B744B16405387B0 Time : 0.0 sec. user=mdettweiler [2017-04-04 10:50:14] 951*2^1450527-1 is not prime. Res64: 8F6DB1007EBB7CD4 Time : 0.0 sec. user=mdettweiler [2017-04-04 10:50:14] 963*2^1450527-1 is not prime. Res64: F73C7632816FEF8A Time : 0.0 sec. user=mdettweiler [2017-04-04 10:50:14] 623*2^1450528-1 is not prime. Res64: 6DB3E21FED2A3DAF Time : 0.0 sec. user=mdettweiler [2017-04-04 10:51:44] 639*2^1450528-1 is not prime. Res64: C673F36A94435F16 Time : 0.0 sec. user=mdettweiler [2017-04-04 10:51:45] 689*2^1450528-1 is not prime. Res64: 93E5B114E0742B97 Time : 0.0 sec. user=mdettweiler [2017-04-04 10:51:45] 743*2^1450528-1 is not prime. Res64: 088E63F109CE8F1C Time : 0.0 sec. user=mdettweiler [2017-04-04 10:51:45] 755*2^1450528-1 is not prime. Res64: FC1D758A59393ABD Time : 0.0 sec. user=mdettweiler [2017-04-04 10:51:45] 777*2^1450528-1 is not prime. Res64: 0C5D66F9690B5DFB Time : 0.0 sec. user=mdettweiler [2017-04-04 10:55:13] 797*2^1450528-1 is not prime. Res64: 48E884E2A4256838 Time : 0.0 sec. user=mdettweiler [2017-04-04 10:55:13] 875*2^1450528-1 is not prime. Res64: 0A72165C06FD405A Time : 0.0 sec. user=mdettweiler [2017-04-04 10:55:13] 947*2^1450528-1 is not prime. Res64: 04B0C05D0944939A Time : 0.0 sec. user=mdettweiler [2017-04-04 10:55:14] 959*2^1450528-1 is not prime. Res64: B47D94102B411BBD Time : 0.0 sec. user=mdettweiler [2017-04-04 10:55:14] 989*2^1450528-1 is not prime. Res64: F41FD263DE6F390F Time : 0.0 sec. user=mdettweiler [2017-04-04 11:01:00] 657*2^1450529-1 is not prime. Res64: A8E2E7A901D6684D Time : 0.0 sec. user=mdettweiler [2017-04-04 11:01:01] 679*2^1450529-1 is not prime. Res64: A81D46D25EDB11B1 Time : 0.0 sec. user=mdettweiler [2017-04-04 11:01:01] 741*2^1450529-1 is not prime. Res64: 6C398F2AF419A0CF Time : 0.0 sec. user=mdettweiler [2017-04-04 11:01:01] 769*2^1450529-1 is not prime. Res64: 8CFE0C5423F01D0E Time : 0.0 sec. user=mdettweiler [2017-04-04 11:01:02] 799*2^1450529-1 is not prime. Res64: 3297A280691A3E7B Time : 0.0 sec. user=mdettweiler [2017-04-04 11:35:23] 865*2^1450529-1 is not prime. Res64: 912EFA46F02FF158 Time : 0.0 sec. user=mdettweiler [2017-04-04 11:35:24] 931*2^1450529-1 is not prime. Res64: 96ED4C6AC0742A3B Time : 0.0 sec. user=mdettweiler [2017-04-04 11:35:24] 627*2^1450530-1 is not prime. Res64: 6A256128E63E5EBF Time : 0.0 sec. user=mdettweiler [2017-04-04 11:35:24] 717*2^1450530-1 is not prime. Res64: 9646A9A05F42FCE7 Time : 0.0 sec. user=mdettweiler [2017-04-04 11:35:24] 725*2^1450530-1 is not prime. Res64: 48B8621ABD4497DF Time : 0.0 sec. user=mdettweiler [2017-04-04 11:36:54] 767*2^1450530-1 is not prime. Res64: 408D6D9D8BB0A32A Time : 0.0 sec. user=mdettweiler [2017-04-04 11:36:54] 791*2^1450530-1 is not prime. Res64: DE034F3C687E6E4E Time : 0.0 sec. user=mdettweiler [2017-04-04 11:36:54] 833*2^1450530-1 is not prime. Res64: C2D0D0309E00E68C Time : 0.0 sec. user=mdettweiler [2017-04-04 11:36:54] 923*2^1450530-1 is not prime. Res64: 1442B1782DF335B1 Time : 0.0 sec. user=mdettweiler [2017-04-04 11:36:55] 957*2^1450530-1 is not prime. Res64: C6A42528FA692733 Time : 0.0 sec. user=mdettweiler [2017-04-04 11:40:19] 703*2^1450531-1 is not prime. Res64: C704532937B9B0DA Time : 0.0 sec. user=mdettweiler [2017-04-04 11:40:19] 873*2^1450531-1 is not prime. Res64: 408959824B498372 Time : 0.0 sec. user=mdettweiler [2017-04-04 11:40:20] 909*2^1450531-1 is not prime. Res64: 4B0B350D76F945E0 Time : 0.0 sec. user=mdettweiler [2017-04-04 11:40:20] 951*2^1450531-1 is not prime. Res64: 445D120343B867B2 Time : 0.0 sec. user=mdettweiler [2017-04-04 11:40:20] 609*2^1450532-1 is not prime. Res64: E8837684D02D5CE0 Time : 0.0 sec. user=mdettweiler [2017-04-04 11:46:06] 677*2^1450532-1 is not prime. Res64: 7364EA82038E5BB1 Time : 0.0 sec. user=mdettweiler [2017-04-04 11:46:06] 683*2^1450532-1 is not prime. Res64: 45DC365E6DE64333 Time : 0.0 sec. user=mdettweiler [2017-04-04 11:46:06] 855*2^1450532-1 is not prime. Res64: BF31B6A6865B5121 Time : 0.0 sec. user=mdettweiler [2017-04-04 11:46:07] 873*2^1450532-1 is not prime. Res64: 6C617E2BAF87E9CE Time : 0.0 sec. user=mdettweiler [2017-04-04 11:46:07] 915*2^1450532-1 is not prime. Res64: D9033D243713CC81 Time : 0.0 sec. user=mdettweiler [2017-04-04 12:20:34] 747*2^1450533-1 is not prime. Res64: 5FFC7563154CB3A5 Time : 0.0 sec. user=mdettweiler [2017-04-04 12:20:34] 769*2^1450533-1 is not prime. Res64: 20722A7E4500E0FE Time : 0.0 sec. user=mdettweiler [2017-04-04 12:20:34] 781*2^1450533-1 is not prime. Res64: 87F84829809E2DE9 Time : 0.0 sec. user=mdettweiler [2017-04-04 12:20:35] 835*2^1450533-1 is not prime. Res64: 7799EA6BDFD2A856 Time : 0.0 sec. user=mdettweiler [2017-04-04 12:20:35] 871*2^1450533-1 is not prime. Res64: 1B7238783222A8BD Time : 0.0 sec. user=mdettweiler [2017-04-04 12:22:13] 889*2^1450533-1 is not prime. Res64: C1F7B301D56E44A9 Time : 0.0 sec. user=mdettweiler [2017-04-04 12:22:13] 677*2^1450534-1 is not prime. Res64: C837576D3468CCFF Time : 0.0 sec. user=mdettweiler [2017-04-04 12:22:14] 687*2^1450534-1 is not prime. Res64: 3F624A72860AD1D1 Time : 0.0 sec. user=mdettweiler [2017-04-04 12:22:14] 705*2^1450534-1 is not prime. Res64: 2008A823449B94F1 Time : 0.0 sec. user=mdettweiler [2017-04-04 12:22:15] 741*2^1450534-1 is not prime. Res64: DEC3BC0D3AC77784 Time : 0.0 sec. user=mdettweiler [2017-04-04 12:25:30] 783*2^1450534-1 is not prime. Res64: 4931021EC51D5E60 Time : 0.0 sec. user=mdettweiler [2017-04-04 12:25:30] 885*2^1450534-1 is not prime. Res64: 4A76E46952288EFD Time : 0.0 sec. user=mdettweiler [2017-04-04 12:25:31] 891*2^1450534-1 is not prime. Res64: 2DD48B0CEC836D1B Time : 0.0 sec. user=mdettweiler [2017-04-04 12:25:31] 915*2^1450534-1 is not prime. Res64: 8C5C6CD7BC006D82 Time : 0.0 sec. user=mdettweiler [2017-04-04 12:25:31] 947*2^1450534-1 is not prime. Res64: B2244A7C0E221E77 Time : 0.0 sec. user=mdettweiler [2017-04-04 12:31:12] 693*2^1450535-1 is not prime. Res64: C31EEDE12650D549 Time : 0.0 sec. user=mdettweiler [2017-04-04 12:31:13] 705*2^1450535-1 is not prime. Res64: 6C1A21CEE5EA5757 Time : 0.0 sec. user=mdettweiler [2017-04-04 12:31:13] 741*2^1450535-1 is not prime. Res64: BE5D391F04A9DC7A Time : 0.0 sec. user=mdettweiler [2017-04-04 12:31:13] 861*2^1450535-1 is not prime. Res64: E497AC120AF2A36F Time : 0.0 sec. user=mdettweiler [2017-04-04 12:31:13] 981*2^1450535-1 is not prime. Res64: 1ED04135AB2FABBF Time : 0.0 sec. user=mdettweiler [2017-04-04 13:05:39] 609*2^1450536-1 is not prime. Res64: FBBF8F34775C1C37 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:05:40] 789*2^1450536-1 is not prime. Res64: A25770664003240E Time : 0.0 sec. user=mdettweiler [2017-04-04 13:05:40] 601*2^1450537-1 is not prime. Res64: F1E02F61C387E086 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:05:40] 625*2^1450537-1 is not prime. Res64: EB4810360B76D684 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:05:41] 637*2^1450537-1 is not prime. Res64: 93A472881A7305C8 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:07:19] 717*2^1450537-1 is not prime. Res64: 5CF73999626B8E52 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:07:19] 747*2^1450537-1 is not prime. Res64: D4550D4EFF167DB8 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:07:19] 847*2^1450537-1 is not prime. Res64: 8E24F18EC3FC31F8 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:07:19] 861*2^1450537-1 is not prime. Res64: ACBD109CCFE01BE3 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:07:20] 885*2^1450537-1 is not prime. Res64: 94C654E4D817D7A6 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:10:37] 945*2^1450537-1 is not prime. Res64: 2DEAA034DBB1CD7F Time : 0.0 sec. user=mdettweiler [2017-04-04 13:10:37] 683*2^1450538-1 is not prime. Res64: 6A03F3647F435073 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:10:38] 743*2^1450538-1 is not prime. Res64: 0726575182037451 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:10:38] 813*2^1450538-1 is not prime. Res64: 7C57DFBC12ABC44B Time : 0.0 sec. user=mdettweiler [2017-04-04 13:10:38] 971*2^1450538-1 is not prime. Res64: F5178737424E8A91 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:16:22] 685*2^1450539-1 is not prime. Res64: 84CE90FB29FBF024 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:16:23] 789*2^1450539-1 is not prime. Res64: 5242AD0B4FDF6C96 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:16:23] 823*2^1450539-1 is not prime. Res64: C0ADD8C986B86717 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:16:23] 895*2^1450539-1 is not prime. Res64: 2A87557ADE6515D3 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:16:24] 973*2^1450539-1 is not prime. Res64: A7682E7608D3DA66 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:50:58] 975*2^1450539-1 is not prime. Res64: 6D6BFF07282751BF Time : 0.0 sec. user=mdettweiler [2017-04-04 13:50:58] 777*2^1450540-1 is not prime. Res64: EB5227C75481C186 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:50:58] 827*2^1450540-1 is not prime. Res64: DBAA29C537BC4CAB Time : 0.0 sec. user=mdettweiler [2017-04-04 13:50:58] 863*2^1450540-1 is not prime. Res64: C64C8945F10F1B3E Time : 0.0 sec. user=mdettweiler [2017-04-04 13:50:59] 873*2^1450540-1 is not prime. Res64: 1F326967D3EA5715 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:52:29] 927*2^1450540-1 is not prime. Res64: 0271605D87B3CCEE Time : 0.0 sec. user=mdettweiler [2017-04-04 13:52:29] 619*2^1450541-1 is not prime. Res64: 3FB70AA9C1D5BDDC Time : 0.0 sec. user=mdettweiler [2017-04-04 13:52:30] 775*2^1450541-1 is not prime. Res64: 2335421F3D190342 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:52:30] 789*2^1450541-1 is not prime. Res64: 86D712725E38755B Time : 0.0 sec. user=mdettweiler [2017-04-04 13:52:30] 867*2^1450541-1 is not prime. Res64: 998AD6D685C26966 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:56:00] 967*2^1450541-1 is not prime. Res64: F49537CAEC315867 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:56:00] 833*2^1450542-1 is not prime. Res64: 5F383CA58C64FBAA Time : 0.0 sec. user=mdettweiler [2017-04-04 13:56:01] 639*2^1450543-1 is not prime. Res64: 436BC8F59BF7D012 Time : 0.0 sec. user=mdettweiler [2017-04-04 13:56:01] 741*2^1450543-1 is not prime. Res64: F980FF56648063FB Time : 0.0 sec. user=mdettweiler [2017-04-04 13:56:01] 775*2^1450543-1 is not prime. Res64: 6808DDB59351D9D8 Time : 0.0 sec. user=mdettweiler [2017-04-04 14:01:37] 829*2^1450543-1 is not prime. Res64: 7B9CE8C93B74639F Time : 0.0 sec. user=mdettweiler [2017-04-04 14:01:38] 901*2^1450543-1 is not prime. Res64: 828FAD26A7EA5438 Time : 0.0 sec. user=mdettweiler [2017-04-04 14:01:39] 615*2^1450544-1 is not prime. Res64: 4C3682AA701CC9F0 Time : 0.0 sec. user=mdettweiler [2017-04-04 14:01:39] 927*2^1450544-1 is not prime. Res64: D35AF6432AAB4530 Time : 0.0 sec. user=mdettweiler [2017-04-04 14:01:40] 607*2^1450545-1 is not prime. Res64: 37C666E4B363DC55 Time : 0.0 sec. user=mdettweiler [2017-04-04 14:36:00] 651*2^1450545-1 is not prime. Res64: 30E8DFE19B0F9911 Time : 0.0 sec. user=mdettweiler [2017-04-04 14:36:00] 679*2^1450545-1 is not prime. Res64: A7E26D8CDD135ED7 Time : 0.0 sec. user=mdettweiler [2017-04-04 14:36:01] 739*2^1450545-1 is not prime. Res64: 3BB65201E1957017 Time : 0.0 sec. user=mdettweiler [2017-04-04 14:36:01] 861*2^1450545-1 is not prime. Res64: 1462B350FB28F3A1 Time : 0.0 sec. user=mdettweiler [2017-04-04 14:36:01] 949*2^1450545-1 is not prime. Res64: C1D7B45B9BED0E42 Time : 0.0 sec. user=mdettweiler [2017-04-04 14:37:40] 747*2^1450546-1 is not prime. Res64: 425B021A55E03A0C Time : 0.0 sec. user=mdettweiler [2017-04-04 14:37:41] 803*2^1450546-1 is not prime. Res64: 0327E8A9A4FDB841 Time : 0.0 sec. user=mdettweiler [2017-04-04 14:37:41] 843*2^1450546-1 is not prime. Res64: CA1EB41F7D35EF26 Time : 0.0 sec. user=mdettweiler [2017-04-04 14:37:41] 873*2^1450546-1 is not prime. Res64: BAAA98DA89B77E69 Time : 0.0 sec. user=mdettweiler [2017-04-04 14:37:41] 945*2^1450546-1 is not prime. Res64: 3EDFAEFDFA726DBF Time : 0.0 sec. user=mdettweiler [2017-04-04 14:41:16] 651*2^1450547-1 is not prime. Res64: 314228E94F5A23D5 Time : 0.0 sec. user=mdettweiler [2017-04-04 14:41:16] 703*2^1450547-1 is not prime. Res64: 1690348E56C7BC4C Time : 0.0 sec. user=mdettweiler [2017-04-04 14:41:16] 825*2^1450547-1 is not prime. Res64: 5061EA7E4D2922D6 Time : 0.0 sec. user=mdettweiler [2017-04-04 14:41:17] 973*2^1450547-1 is not prime. Res64: E57508DB7A8EED9B Time : 0.0 sec. user=mdettweiler [2017-04-04 14:41:17] 993*2^1450547-1 is not prime. Res64: B4BEA66E91EA1BC9 Time : 0.0 sec. user=mdettweiler [2017-04-04 14:47:00] 639*2^1450548-1 is not prime. Res64: 4916D8201DD7D2D3 Time : 0.0 sec. user=mdettweiler [2017-04-04 14:47:00] 725*2^1450548-1 is not prime. Res64: F8E1DC333DCCE03D Time : 0.0 sec. user=mdettweiler [2017-04-04 14:47:00] 765*2^1450548-1 is not prime. Res64: 1295B8B3A4843DFC Time : 0.0 sec. user=mdettweiler [2017-04-04 14:47:01] 843*2^1450548-1 is not prime. Res64: 4298DAB039F77FF3 Time : 0.0 sec. user=mdettweiler [2017-04-04 14:47:01] 927*2^1450548-1 is not prime. Res64: 9D3700389A72E4AF Time : 0.0 sec. user=mdettweiler [2017-04-04 15:21:10] 933*2^1450548-1 is not prime. Res64: 73F61B0757F1EE0D Time : 0.0 sec. user=mdettweiler [2017-04-04 15:21:11] 957*2^1450548-1 is not prime. Res64: 0FEF6DA89249A508 Time : 0.0 sec. user=mdettweiler [2017-04-04 15:21:11] 977*2^1450548-1 is not prime. Res64: 65B62C92568F5F1C Time : 0.0 sec. user=mdettweiler [2017-04-04 15:21:11] 681*2^1450549-1 is not prime. Res64: B9D5FD3BFBD0B3B1 Time : 0.0 sec. user=mdettweiler [2017-04-04 15:21:11] 687*2^1450549-1 is not prime. Res64: EC43519C0F12545E Time : 0.0 sec. user=mdettweiler [2017-04-04 15:23:05] 699*2^1450549-1 is not prime. Res64: 0DA786514FC275FC Time : 0.0 sec. user=mdettweiler [2017-04-04 15:23:05] 747*2^1450549-1 is not prime. Res64: 22CBC8F87BC957FA Time : 0.0 sec. user=mdettweiler [2017-04-04 15:23:05] 997*2^1450549-1 is not prime. Res64: D6DBECBFF4EC6091 Time : 0.0 sec. user=mdettweiler [2017-04-04 15:23:06] 635*2^1450550-1 is not prime. Res64: 97E4741A8BF88A34 Time : 0.0 sec. user=mdettweiler [2017-04-04 15:23:06] 663*2^1450550-1 is not prime. Res64: CC736F319B32E943 Time : 0.0 sec. user=mdettweiler [2017-04-04 15:26:29] 675*2^1450550-1 is not prime. Res64: 941C1D318999272B Time : 0.0 sec. user=mdettweiler [2017-04-04 15:26:29] 717*2^1450550-1 is not prime. Res64: A4B7FD50D0CE63F5 Time : 0.0 sec. user=mdettweiler [2017-04-04 15:26:29] 797*2^1450550-1 is not prime. Res64: FFCFAB054A32D0D9 Time : 0.0 sec. user=mdettweiler [2017-04-04 15:26:29] 801*2^1450550-1 is not prime. Res64: 1F3F0AA4AC62D605 Time : 0.0 sec. user=mdettweiler [2017-04-04 15:26:29] 843*2^1450550-1 is not prime. Res64: 0D4D9798A36253FA Time : 0.0 sec. user=mdettweiler [2017-04-04 15:32:16] 893*2^1450550-1 is not prime. Res64: DB1C65BC43C98D49 Time : 0.0 sec. user=mdettweiler [2017-04-04 15:32:16] 915*2^1450550-1 is not prime. Res64: 29FC545A84478991 Time : 0.0 sec. user=mdettweiler [2017-04-04 15:32:17] 935*2^1450550-1 is not prime. Res64: 912295D020A920BA Time : 0.0 sec. user=mdettweiler [2017-04-04 15:32:17] 951*2^1450550-1 is not prime. Res64: 3DF58D6E8F3DD886 Time : 0.0 sec. user=mdettweiler [2017-04-04 15:32:17] 613*2^1450551-1 is not prime. Res64: 54BFA04D17234093 Time : 0.0 sec. user=mdettweiler [2017-04-04 16:06:30] 763*2^1450551-1 is not prime. Res64: 991F0C5FD756F4BA Time : 0.0 sec. user=mdettweiler [2017-04-04 16:06:30] 795*2^1450551-1 is not prime. Res64: 0FE5842A5F3A351C Time : 0.0 sec. user=mdettweiler [2017-04-04 16:06:31] 895*2^1450551-1 is not prime. Res64: 699C8ADC54E8593C Time : 0.0 sec. user=mdettweiler [2017-04-04 16:06:31] 603*2^1450552-1 is not prime. Res64: D75E3E8D087CFC00 Time : 0.0 sec. user=mdettweiler [2017-04-04 16:06:32] 687*2^1450552-1 is not prime. Res64: D9E33509D4B3FBE3 Time : 0.0 sec. user=mdettweiler [2017-04-04 16:08:33] 699*2^1450552-1 is not prime. Res64: 52BAB70B42204612 Time : 0.0 sec. user=mdettweiler [2017-04-04 16:08:33] 755*2^1450552-1 is not prime. Res64: 7EEAF3C68B6B3E3D Time : 0.0 sec. user=mdettweiler [2017-04-04 16:08:33] 777*2^1450552-1 is not prime. Res64: 402CC0645FC45F1F Time : 0.0 sec. user=mdettweiler [2017-04-04 16:08:34] 819*2^1450552-1 is not prime. Res64: 0A4E86FF88B585E4 Time : 0.0 sec. user=mdettweiler [2017-04-04 16:08:34] 849*2^1450552-1 is not prime. Res64: EA9B560D5BE803BA Time : 0.0 sec. user=mdettweiler [2017-04-04 16:12:03] 857*2^1450552-1 is not prime. Res64: DD52F7168F244071 Time : 0.0 sec. user=mdettweiler [2017-04-04 16:12:03] 679*2^1450553-1 is not prime. Res64: A293C9CD17CEBFF6 Time : 0.0 sec. user=mdettweiler [2017-04-04 16:12:03] 691*2^1450553-1 is not prime. Res64: 5A682DD9FE958F52 Time : 0.0 sec. user=mdettweiler [2017-04-04 16:12:04] 697*2^1450553-1 is not prime. Res64: 8F22EC70648BE13C Time : 0.0 sec. user=mdettweiler [2017-04-04 16:12:04] 705*2^1450553-1 is not prime. Res64: FFA1D47A07326A43 Time : 0.0 sec. user=mdettweiler [2017-04-04 16:17:30] 867*2^1450553-1 is not prime. Res64: 1C5539B8E3204A8F Time : 0.0 sec. user=mdettweiler [2017-04-04 16:17:30] 945*2^1450553-1 is not prime. Res64: D4AD93675BE45500 Time : 0.0 sec. user=mdettweiler [2017-04-04 16:17:31] 969*2^1450553-1 is not prime. Res64: 36632083496AB32F Time : 0.0 sec. user=mdettweiler [2017-04-04 16:17:31] 985*2^1450553-1 is not prime. Res64: 8051A723F1DBC964 Time : 0.0 sec. user=mdettweiler [2017-04-04 16:17:31] 605*2^1450554-1 is not prime. Res64: B858E33D778D89DB Time : 0.0 sec. user=mdettweiler [2017-04-04 16:51:53] 635*2^1450554-1 is not prime. Res64: 231820FCE019A00C Time : 0.0 sec. user=mdettweiler [2017-04-04 16:51:54] 783*2^1450554-1 is not prime. Res64: B3830BF52963DD7B Time : 0.0 sec. user=mdettweiler [2017-04-04 16:51:54] 797*2^1450554-1 is not prime. Res64: 54F154449A8C9D7D Time : 0.0 sec. user=mdettweiler [2017-04-04 16:51:54] 807*2^1450554-1 is not prime. Res64: 3CCB3E76B38954F4 Time : 0.0 sec. user=mdettweiler [2017-04-04 16:51:54] 887*2^1450554-1 is not prime. Res64: CAACED3CDACA8AA6 Time : 0.0 sec. user=mdettweiler [2017-04-04 16:53:54] 951*2^1450554-1 is not prime. Res64: 5EEF1654712F664B Time : 0.0 sec. user=mdettweiler [2017-04-04 16:53:55] 609*2^1450555-1 is not prime. Res64: C79DC8EF1F12A2E2 Time : 0.0 sec. user=mdettweiler [2017-04-04 16:53:55] 691*2^1450555-1 is not prime. Res64: 905A1CBA05C3A5B2 Time : 0.0 sec. user=mdettweiler [2017-04-04 16:53:55] 733*2^1450555-1 is not prime. Res64: CD7650D385A796D5 Time : 0.0 sec. user=mdettweiler [2017-04-04 16:53:55] 751*2^1450555-1 is not prime. Res64: B1187725F07BA7FB Time : 0.0 sec. user=mdettweiler [2017-04-04 16:57:20] 853*2^1450555-1 is not prime. Res64: 71BF88ADCB2FABE0 Time : 0.0 sec. user=mdettweiler [2017-04-04 16:57:20] 883*2^1450555-1 is not prime. Res64: F5EB8D80AF4B82ED Time : 0.0 sec. user=mdettweiler [2017-04-04 16:57:20] 939*2^1450555-1 is not prime. Res64: 047735917009B574 Time : 0.0 sec. user=mdettweiler [2017-04-04 16:57:21] 961*2^1450555-1 is not prime. Res64: 0E850606E081AA5B Time : 0.0 sec. user=mdettweiler [2017-04-04 16:57:21] 617*2^1450556-1 is not prime. Res64: 706461DF83242F9C Time : 0.0 sec. user=mdettweiler [2017-04-04 17:02:58] 647*2^1450556-1 is not prime. Res64: 21E9FF7D7FE4F973 Time : 0.0 sec. user=mdettweiler [2017-04-04 17:02:59] 759*2^1450556-1 is not prime. Res64: D6F40B1185CFA7AC Time : 0.0 sec. user=mdettweiler [2017-04-04 17:03:00] 845*2^1450556-1 is not prime. Res64: 676B7EFA79D93563 Time : 0.0 sec. user=mdettweiler [2017-04-04 17:03:01] 897*2^1450556-1 is not prime. Res64: CB8EA8C3AFE63F56 Time : 0.0 sec. user=mdettweiler [2017-04-04 17:03:02] 999*2^1450556-1 is not prime. Res64: 4BA4D86D2CF00BB7 Time : 0.0 sec. user=mdettweiler [2017-04-04 17:41:52] 615*2^1450557-1 is not prime. Res64: 31B853C1E9099956 Time : 0.0 sec. user=mdettweiler [2017-04-04 17:41:53] 795*2^1450557-1 is not prime. Res64: 77ECA99CD8D95686 Time : 0.0 sec. user=mdettweiler [2017-04-04 17:41:53] 895*2^1450557-1 is not prime. Res64: 780FA175C50CF620 Time : 0.0 sec. user=mdettweiler [2017-04-04 17:41:53] 827*2^1450558-1 is not prime. Res64: E7A1E294C934685A Time : 0.0 sec. user=mdettweiler [2017-04-04 17:41:53] 915*2^1450558-1 is not prime. Res64: 6DC6CEE859CCB65B Time : 0.0 sec. user=mdettweiler [2017-04-04 17:43:42] 621*2^1450559-1 is not prime. Res64: 35026DD94570F877 Time : 0.0 sec. user=mdettweiler [2017-04-04 17:43:42] 663*2^1450559-1 is not prime. Res64: 66EA5A4FE9257B7E Time : 0.0 sec. user=mdettweiler [2017-04-04 17:43:42] 693*2^1450559-1 is not prime. Res64: 5098420EC34BEF10 Time : 0.0 sec. user=mdettweiler [2017-04-04 17:43:42] 799*2^1450559-1 is not prime. Res64: 550CC71142DFB9D7 Time : 0.0 sec. user=mdettweiler [2017-04-04 17:43:43] 949*2^1450559-1 is not prime. Res64: 203D329C07453B92 Time : 0.0 sec. user=mdettweiler [2017-04-04 17:47:20] 609*2^1450560-1 is not prime. Res64: 059A915541610238 Time : 0.0 sec. user=mdettweiler [2017-04-04 17:47:20] 689*2^1450560-1 is not prime. Res64: 4546CE56D79CEBAB Time : 0.0 sec. user=mdettweiler [2017-04-04 17:47:20] 803*2^1450560-1 is not prime. Res64: 83724AFEA611E5BE Time : 0.0 sec. user=mdettweiler [2017-04-04 17:47:20] 905*2^1450560-1 is not prime. Res64: FECA9DE1C6F5F3BB Time : 0.0 sec. user=mdettweiler [2017-04-04 17:47:21] 717*2^1450561-1 is not prime. Res64: F02B9B0962FA9DB1 Time : 0.0 sec. user=mdettweiler [2017-04-04 17:53:00] 775*2^1450561-1 is not prime. Res64: C117BC1F1C8D5858 Time : 0.0 sec. user=mdettweiler [2017-04-04 17:53:00] 777*2^1450561-1 is not prime. Res64: 111E17CE08B04615 Time : 0.0 sec. user=mdettweiler [2017-04-04 17:53:00] 829*2^1450561-1 is not prime. Res64: E36DE5959983EE43 Time : 0.0 sec. user=mdettweiler [2017-04-04 17:53:01] 871*2^1450561-1 is not prime. Res64: 9A637861AB863F98 Time : 0.0 sec. user=mdettweiler [2017-04-04 17:53:01] 889*2^1450561-1 is not prime. Res64: 16B45C8DD467F807 Time : 0.0 sec. user=mdettweiler [2017-04-04 18:30:42] 939*2^1450561-1 is not prime. Res64: AD751805B76733B3 Time : 0.0 sec. user=mdettweiler [2017-04-04 18:30:42] 951*2^1450561-1 is not prime. Res64: 9FF812DF6C2CD7F6 Time : 0.0 sec. user=mdettweiler [2017-04-04 18:30:42] 987*2^1450561-1 is not prime. Res64: 5491BE7D670A2A07 Time : 0.0 sec. user=mdettweiler [2017-04-04 18:30:43] 633*2^1450562-1 is not prime. Res64: 1F97ADC12923B330 Time : 0.0 sec. user=mdettweiler [2017-04-04 18:30:43] 677*2^1450562-1 is not prime. Res64: 9D390FB09160083F Time : 0.0 sec. user=mdettweiler [2017-04-04 18:32:09] 711*2^1450562-1 is not prime. Res64: 2D00113F97C1B4FB Time : 0.0 sec. user=mdettweiler [2017-04-04 18:32:09] 767*2^1450562-1 is not prime. Res64: 214AE7A6072E910C Time : 0.0 sec. user=mdettweiler [2017-04-04 18:32:09] 915*2^1450562-1 is not prime. Res64: 0A57D24BAF368908 Time : 0.0 sec. user=mdettweiler [2017-04-04 18:32:10] 945*2^1450562-1 is not prime. Res64: EF0F0C4C39DA1606 Time : 0.0 sec. user=mdettweiler [2017-04-04 18:32:10] 639*2^1450563-1 is not prime. Res64: 799477FD65452B63 Time : 0.0 sec. user=mdettweiler [2017-04-04 18:36:06] 663*2^1450563-1 is not prime. Res64: 9B31F2B7F70B6919 Time : 0.0 sec. user=mdettweiler [2017-04-04 18:36:06] 781*2^1450563-1 is not prime. Res64: 55BD123E6594584B Time : 0.0 sec. user=mdettweiler [2017-04-04 18:36:06] 969*2^1450563-1 is not prime. Res64: E14CEA27EAB65C2F Time : 0.0 sec. user=mdettweiler [2017-04-04 18:36:07] 629*2^1450564-1 is not prime. Res64: FAF61CB2EA00AA68 Time : 0.0 sec. user=mdettweiler [2017-04-04 18:36:07] 675*2^1450564-1 is not prime. Res64: 09096673A5E6181E Time : 0.0 sec. user=mdettweiler [2017-04-04 18:41:39] 719*2^1450564-1 is not prime. Res64: FA1E18F0B96906F0 Time : 0.0 sec. user=mdettweiler [2017-04-04 18:41:40] 743*2^1450564-1 is not prime. Res64: E28B881A2685E8FB Time : 0.0 sec. user=mdettweiler [2017-04-04 18:41:40] 855*2^1450564-1 is not prime. Res64: 54D357365D317290 Time : 0.0 sec. user=mdettweiler [2017-04-04 18:41:40] 939*2^1450564-1 is not prime. Res64: 163D93F35ACB07C6 Time : 0.0 sec. user=mdettweiler [2017-04-04 18:41:40] 691*2^1450565-1 is not prime. Res64: 17941A5DF1D1A6DB Time : 0.0 sec. user=mdettweiler [2017-04-04 19:17:59] 717*2^1450565-1 is not prime. Res64: E3FA869DA614AC7E Time : 0.0 sec. user=mdettweiler [2017-04-04 19:17:59] 735*2^1450565-1 is not prime. Res64: BEB2A4A5C1EEB3D2 Time : 0.0 sec. user=mdettweiler [2017-04-04 19:18:00] 889*2^1450565-1 is not prime. Res64: 56B282A05905DBF6 Time : 0.0 sec. user=mdettweiler [2017-04-04 19:18:00] 677*2^1450566-1 is not prime. Res64: E5B4A6327B5FB25F Time : 0.0 sec. user=mdettweiler [2017-04-04 19:18:00] 707*2^1450566-1 is not prime. Res64: C375477684DC988E Time : 0.0 sec. user=mdettweiler [2017-04-04 19:19:28] 825*2^1450566-1 is not prime. Res64: 750D655F84A19FAD Time : 0.0 sec. user=mdettweiler [2017-04-04 19:19:28] 833*2^1450566-1 is not prime. Res64: 25BE82E13C9DC864 Time : 0.0 sec. user=mdettweiler [2017-04-04 19:19:29] 851*2^1450566-1 is not prime. Res64: F669A805B1241F13 Time : 0.0 sec. user=mdettweiler [2017-04-04 19:19:29] 873*2^1450566-1 is not prime. Res64: EA7D88F008246130 Time : 0.0 sec. user=mdettweiler [2017-04-04 19:19:29] 923*2^1450566-1 is not prime. Res64: EF63B5C6612FB1B5 Time : 0.0 sec. user=mdettweiler [2017-04-04 19:22:39] 633*2^1450567-1 is not prime. Res64: 8FA39AF43B65DDAD Time : 0.0 sec. user=mdettweiler [2017-04-04 19:22:39] 849*2^1450567-1 is not prime. Res64: D5943C4769BF90BC Time : 0.0 sec. user=mdettweiler [2017-04-04 19:22:39] 915*2^1450567-1 is not prime. Res64: 97605CCCAEA9A67E Time : 0.0 sec. user=mdettweiler [2017-04-04 19:22:39] 635*2^1450568-1 is not prime. Res64: 4D18D9EBB6FD2B7E Time : 0.0 sec. user=mdettweiler [2017-04-04 19:22:40] 735*2^1450568-1 is not prime. Res64: 2FB0B3B7CD1BCFF3 Time : 0.0 sec. user=mdettweiler [2017-04-04 19:28:28] 743*2^1450568-1 is not prime. Res64: 2C108124C51B8220 Time : 0.0 sec. user=mdettweiler [2017-04-04 19:28:28] 795*2^1450568-1 is not prime. Res64: 94FCBC4074F4339B Time : 0.0 sec. user=mdettweiler [2017-04-04 19:28:29] 845*2^1450568-1 is not prime. Res64: F56599EB1356FE67 Time : 0.0 sec. user=mdettweiler [2017-04-04 19:28:29] 915*2^1450568-1 is not prime. Res64: 4F4525DDCBA5C3D8 Time : 0.0 sec. user=mdettweiler [2017-04-04 19:28:29] 957*2^1450568-1 is not prime. Res64: FC69BA5C1CAF5AAC Time : 0.0 sec. user=mdettweiler [2017-04-04 20:03:30] 847*2^1450569-1 is not prime. Res64: BB486965A510042E Time : 0.0 sec. user=mdettweiler [2017-04-04 20:03:31] 665*2^1450570-1 is not prime. Res64: 799C634C8DAA0C6F Time : 0.0 sec. user=mdettweiler [2017-04-04 20:03:32] 731*2^1450570-1 is not prime. Res64: CD5794F15DC0A2DF Time : 0.0 sec. user=mdettweiler [2017-04-04 20:03:33] 773*2^1450570-1 is not prime. Res64: 854AA2D84F33B563 Time : 0.0 sec. user=mdettweiler [2017-04-04 20:03:34] 855*2^1450570-1 is not prime. Res64: CF70224F27BE41F6 Time : 0.0 sec. user=mdettweiler [2017-04-04 20:04:42] 867*2^1450570-1 is not prime. Res64: 18038394758827E0 Time : 0.0 sec. user=mdettweiler [2017-04-04 20:04:43] 887*2^1450570-1 is not prime. Res64: 04A7AC04B13B50A5 Time : 0.0 sec. user=mdettweiler [2017-04-04 20:04:43] 923*2^1450570-1 is not prime. Res64: EFB6CE14B8AFA3FB Time : 0.0 sec. user=mdettweiler [2017-04-04 20:04:44] 621*2^1450571-1 is not prime. Res64: CB35920DE79517BD Time : 0.0 sec. user=mdettweiler [2017-04-04 20:04:45] 735*2^1450571-1 is not prime. Res64: 4B0805CE734B4CCB Time : 0.0 sec. user=mdettweiler [2017-04-04 20:08:02] 825*2^1450571-1 is not prime. Res64: 0A881349165EECC2 Time : 0.0 sec. user=mdettweiler [2017-04-04 20:08:02] 981*2^1450571-1 is not prime. Res64: 137BA199F00247CB Time : 0.0 sec. user=mdettweiler [2017-04-04 20:08:02] 993*2^1450571-1 is not prime. Res64: 8D21E884EA049AC5 Time : 0.0 sec. user=mdettweiler [2017-04-04 20:08:03] 749*2^1450572-1 is not prime. Res64: B7901097171371C2 Time : 0.0 sec. user=mdettweiler [2017-04-04 20:08:03] 873*2^1450572-1 is not prime. Res64: D5F8E54224566E67 Time : 0.0 sec. user=mdettweiler [2017-04-04 21:46:50] 681*2^1450573-1 is not prime. Res64: A582F2D60FB81C67 Time : 0.0 sec. user=mdettweiler [2017-04-04 21:46:51] 687*2^1450573-1 is not prime. Res64: C597F7C361A8FABB Time : 0.0 sec. user=mdettweiler [2017-04-04 21:46:51] 885*2^1450573-1 is not prime. Res64: D377D75840BFA2D7 Time : 0.0 sec. user=mdettweiler [2017-04-04 21:46:52] 915*2^1450573-1 is not prime. Res64: 9E618471C3630ADF Time : 0.0 sec. user=mdettweiler [2017-04-04 21:46:52] 675*2^1450574-1 is not prime. Res64: 6C98DB0F7CBD4FD0 Time : 0.0 sec. user=mdettweiler [2017-04-04 22:25:20] 625*2^1450575-1 is not prime. Res64: 93A917B4A5A7B4AB Time : 0.0 sec. user=mdettweiler [2017-04-04 22:25:21] 735*2^1450575-1 is not prime. Res64: 64E73D7C4EBBB8CC Time : 0.0 sec. user=mdettweiler [2017-04-04 22:25:21] 895*2^1450575-1 is not prime. Res64: 98B84C92EE590894 Time : 0.0 sec. user=mdettweiler [2017-04-04 22:25:22] 933*2^1450575-1 is not prime. Res64: C1674E3E99CF12FE Time : 0.0 sec. user=mdettweiler [2017-04-04 22:25:22] 969*2^1450575-1 is not prime. Res64: C3E919F0D4D4F479 Time : 0.0 sec. user=mdettweiler [2017-04-04 22:25:57] 683*2^1450574-1 is not prime. Res64: 736501CA50F61C53 Time : 0.0 sec. user=mdettweiler [2017-04-04 22:25:57] 687*2^1450574-1 is not prime. Res64: 2C77AB58F57181AB Time : 0.0 sec. user=mdettweiler [2017-04-04 22:25:58] 731*2^1450574-1 is not prime. Res64: 3D8A184DF66C54BB Time : 0.0 sec. user=mdettweiler [2017-04-04 22:25:58] 791*2^1450574-1 is not prime. Res64: 0EAD55ED2F4D818F Time : 0.0 sec. user=mdettweiler [2017-04-04 22:25:59] 927*2^1450574-1 is not prime. Res64: 804FC7C0B2F6E557 Time : 0.0 sec. user=mdettweiler [2017-04-04 22:34:47] 771*2^1450577-1 is not prime. Res64: 49E51DD3116894C1 Time : 0.0 sec. user=mdettweiler [2017-04-04 22:34:48] 801*2^1450577-1 is not prime. Res64: 03F0A79E6A7180A0 Time : 0.0 sec. user=mdettweiler [2017-04-04 22:34:48] 847*2^1450577-1 is not prime. Res64: 9682450FE9CFF372 Time : 0.0 sec. user=mdettweiler [2017-04-04 22:34:48] 879*2^1450577-1 is not prime. Res64: 4BC00BAF1978B018 Time : 0.0 sec. user=mdettweiler [2017-04-04 22:34:49] 647*2^1450578-1 is not prime. Res64: 4F23112DA45E30E8 Time : 0.0 sec. user=mdettweiler [2017-04-04 22:35:16] 973*2^1450575-1 is not prime. Res64: 4793D5EDDBF5CD2F Time : 0.0 sec. user=mdettweiler [2017-04-04 22:35:16] 991*2^1450575-1 is not prime. Res64: 0641B37B3DE007E9 Time : 0.0 sec. user=mdettweiler [2017-04-04 22:35:17] 615*2^1450576-1 is not prime. Res64: 526CE2DD259AD24C Time : 0.0 sec. user=mdettweiler [2017-04-04 22:35:17] 957*2^1450576-1 is not prime. Res64: 044CDB586A4848AB Time : 0.0 sec. user=mdettweiler [2017-04-04 22:35:18] 769*2^1450577-1 is not prime. Res64: 483B8AF3ED178D5C Time : 0.0 sec. user=mdettweiler [2017-04-04 23:10:16] 711*2^1450578-1 is not prime. Res64: 4956D63E41D7B095 Time : 0.0 sec. user=mdettweiler [2017-04-04 23:10:16] 765*2^1450578-1 is not prime. Res64: 34558D673B0DEB38 Time : 0.0 sec. user=mdettweiler [2017-04-04 23:10:17] 875*2^1450578-1 is not prime. Res64: 50AB7F7507CD0854 Time : 0.0 sec. user=mdettweiler [2017-04-04 23:10:17] 933*2^1450578-1 is not prime. Res64: 334BF033D86F7062 Time : 0.0 sec. user=mdettweiler [2017-04-04 23:10:18] 633*2^1450579-1 is not prime. Res64: 6CB2DEB927837B3A Time : 0.0 sec. user=mdettweiler [2017-04-04 23:10:56] 675*2^1450579-1 is not prime. Res64: 57D7026FA7A6FFAD Time : 0.0 sec. user=mdettweiler [2017-04-04 23:10:57] 691*2^1450579-1 is not prime. Res64: 17A76F84E3EEC796 Time : 0.0 sec. user=mdettweiler [2017-04-04 23:10:57] 745*2^1450579-1 is not prime. Res64: F363370C0A337E24 Time : 0.0 sec. user=mdettweiler [2017-04-04 23:10:58] 793*2^1450579-1 is not prime. Res64: 5D764A3404A0D9F5 Time : 0.0 sec. user=mdettweiler [2017-04-04 23:10:59] 801*2^1450579-1 is not prime. Res64: 2359637D2363E0B4 Time : 0.0 sec. user=mdettweiler [2017-04-04 23:19:41] 853*2^1450579-1 is not prime. Res64: C84EB266AAD8143D Time : 0.0 sec. user=mdettweiler [2017-04-04 23:19:42] 909*2^1450579-1 is not prime. Res64: E0D9EF793A8956CB Time : 0.0 sec. user=mdettweiler [2017-04-04 23:19:42] 615*2^1450580-1 is not prime. Res64: 7461489C4A98E44E Time : 0.0 sec. user=mdettweiler [2017-04-04 23:19:43] 647*2^1450580-1 is not prime. Res64: E04C698CD0F27BD9 Time : 0.0 sec. user=mdettweiler [2017-04-04 23:19:43] 677*2^1450580-1 is not prime. Res64: AA740D55F9A3FCB0 Time : 0.0 sec. user=mdettweiler [2017-04-04 23:20:09] 767*2^1450580-1 is not prime. Res64: E5FC761994A3CAA6 Time : 0.0 sec. user=mdettweiler [2017-04-04 23:20:10] 777*2^1450580-1 is not prime. Res64: FE55D6FB35DD46B0 Time : 0.0 sec. user=mdettweiler [2017-04-04 23:20:10] 785*2^1450580-1 is not prime. Res64: CE16748A750B55F2 Time : 0.0 sec. user=mdettweiler [2017-04-04 23:20:11] 789*2^1450580-1 is not prime. Res64: B65BF9913290BC3E Time : 0.0 sec. user=mdettweiler [2017-04-04 23:20:11] 875*2^1450580-1 is not prime. Res64: E39D9E8E4EC926BE Time : 0.0 sec. user=mdettweiler [2017-04-04 23:55:13] 897*2^1450580-1 is not prime. Res64: 551E726992A05B3D Time : 0.0 sec. user=mdettweiler [2017-04-04 23:55:13] 929*2^1450580-1 is not prime. Res64: 3C7D5EC4E0BA774C Time : 0.0 sec. user=mdettweiler [2017-04-04 23:55:14] 977*2^1450580-1 is not prime. Res64: 74B11E4199CCDBC7 Time : 0.0 sec. user=mdettweiler [2017-04-04 23:55:14] 995*2^1450580-1 is not prime. Res64: 3C04ABF493B1C282 Time : 0.0 sec. user=mdettweiler [2017-04-04 23:55:15] 727*2^1450581-1 is not prime. Res64: 16EE048917CF82A1 Time : 0.0 sec. user=mdettweiler [2017-04-04 23:55:58] 867*2^1450581-1 is not prime. Res64: C1325CDF3BC98126 Time : 0.0 sec. user=mdettweiler [2017-04-04 23:55:58] 945*2^1450581-1 is not prime. Res64: B24A1E8C65DDD7D4 Time : 0.0 sec. user=mdettweiler [2017-04-04 23:55:58] 997*2^1450581-1 is not prime. Res64: F7184A79B6EF3909 Time : 0.0 sec. user=mdettweiler [2017-04-04 23:55:59] 681*2^1450582-1 is not prime. Res64: 1BE2692E8685161D Time : 0.0 sec. user=mdettweiler [2017-04-04 23:55:59] 825*2^1450582-1 is not prime. Res64: 4755F941DEF214F7 Time : 0.0 sec.