user=mdettweiler [2015-04-10 00:06:13] 659*2^1397288-1 is not prime. Res64: 1EA3E8A613524992 Time : 0.0 sec. user=mdettweiler [2015-04-10 00:06:14] 663*2^1397288-1 is not prime. Res64: CFBF86B715AB0790 Time : 0.0 sec. user=mdettweiler [2015-04-10 00:21:55] 683*2^1397288-1 is not prime. Res64: D85F1C26C0CB1086 Time : 0.0 sec. user=mdettweiler [2015-04-10 00:21:55] 699*2^1397288-1 is not prime. Res64: C394252A0C1E1CC8 Time : 0.0 sec. user=juhehe [2015-04-10 00:21:59] 669*2^1397288-1 is not prime. Res64: 2AF308155E26BA44 Time : 0.0 sec. user=mdettweiler [2015-04-10 00:22:53] 795*2^1397288-1 is not prime. Res64: 01A497E80A9A54AB Time : 0.0 sec. user=mdettweiler [2015-04-10 00:22:54] 843*2^1397288-1 is not prime. Res64: D955AC2116F1D6D3 Time : 0.0 sec. user=mdettweiler [2015-04-10 00:23:24] 935*2^1397288-1 is not prime. Res64: 58CF980E9C8FCB11 Time : 0.0 sec. user=mdettweiler [2015-04-10 00:23:25] 963*2^1397288-1 is not prime. Res64: 589573A7658097F3 Time : 0.0 sec. user=mdettweiler [2015-04-10 00:33:54] 999*2^1397288-1 is not prime. Res64: 5C6CA755296DCDE0 Time : 0.0 sec. user=mdettweiler [2015-04-10 00:33:54] 681*2^1397289-1 is not prime. Res64: 800079024A8C2AA2 Time : 0.0 sec. user=mdettweiler [2015-04-10 00:49:32] 741*2^1397289-1 is not prime. Res64: C73D71B316CB18BA Time : 0.0 sec. user=mdettweiler [2015-04-10 00:49:32] 835*2^1397289-1 is not prime. Res64: B92B6106E830BED7 Time : 0.0 sec. user=mdettweiler [2015-04-10 00:50:15] 861*2^1397289-1 is not prime. Res64: 8FAC9AA6F2354410 Time : 0.0 sec. user=mdettweiler [2015-04-10 00:50:16] 623*2^1397290-1 is not prime. Res64: 09E7879FF5CCBE7A Time : 0.0 sec. user=mdettweiler [2015-04-10 00:50:58] 677*2^1397290-1 is not prime. Res64: 1732865FB4ABEEA2 Time : 0.0 sec. user=mdettweiler [2015-04-10 00:50:58] 713*2^1397290-1 is not prime. Res64: DE01DB562C43A9A6 Time : 0.0 sec. user=mdettweiler [2015-04-10 01:01:18] 723*2^1397290-1 is not prime. Res64: 94607BA5CED9B356 Time : 0.0 sec. user=mdettweiler [2015-04-10 01:01:19] 731*2^1397290-1 is not prime. Res64: 3291270DCD604A7C Time : 0.0 sec. user=mdettweiler [2015-04-10 01:17:10] 803*2^1397290-1 is not prime. Res64: 2F613B8BFB535723 Time : 0.0 sec. user=mdettweiler [2015-04-10 01:17:10] 917*2^1397290-1 is not prime. Res64: 697F3ACA2AACA80B Time : 0.0 sec. user=mdettweiler [2015-04-10 01:17:46] 631*2^1397291-1 is not prime. Res64: 25E25FC24DD70209 Time : 0.0 sec. user=mdettweiler [2015-04-10 01:17:46] 733*2^1397291-1 is not prime. Res64: 0DCF00939682A894 Time : 0.0 sec. user=mdettweiler [2015-04-10 01:18:25] 855*2^1397291-1 is not prime. Res64: 6B55BD64693CADAA Time : 0.0 sec. user=mdettweiler [2015-04-10 01:18:25] 979*2^1397291-1 is not prime. Res64: 57C6254E6D4F7563 Time : 0.0 sec. user=mdettweiler [2015-04-10 01:29:06] 689*2^1397292-1 is not prime. Res64: AA1B3290B3F87FDF Time : 0.0 sec. user=mdettweiler [2015-04-10 01:29:07] 723*2^1397292-1 is not prime. Res64: E2EF8FCE9129039C Time : 0.0 sec. user=mdettweiler [2015-04-10 01:45:12] 899*2^1397292-1 is not prime. Res64: 0897628A31F26879 Time : 0.0 sec. user=mdettweiler [2015-04-10 01:45:13] 983*2^1397292-1 is not prime. Res64: 2C56905CB49E87FB Time : 0.0 sec. user=mdettweiler [2015-04-10 01:46:20] 757*2^1397293-1 is not prime. Res64: B903ED93608931DE Time : 0.0 sec. user=mdettweiler [2015-04-10 01:46:21] 877*2^1397293-1 is not prime. Res64: 04B7426DDBDA7497 Time : 0.0 sec. user=mdettweiler [2015-04-10 01:46:33] 987*2^1397292-1 is not prime. Res64: AACBD4D9AEF7CCCF Time : 0.0 sec. user=mdettweiler [2015-04-10 01:46:33] 615*2^1397293-1 is not prime. Res64: FECED58F4FFBEEE9 Time : 0.0 sec. user=mdettweiler [2015-04-10 01:58:02] 957*2^1397293-1 is not prime. Res64: B579F230ADB877AD Time : 0.0 sec. user=mdettweiler [2015-04-10 01:58:03] 605*2^1397294-1 is not prime. Res64: 25B458A3483148CA Time : 0.0 sec. user=juhehe [2015-04-10 02:10:27] 627*2^1397294-1 is not prime. Res64: 275D21204F86078C Time : 0.0 sec. user=mdettweiler [2015-04-10 02:14:38] 693*2^1397294-1 is not prime. Res64: C6D5517D7A68249A Time : 0.0 sec. user=mdettweiler [2015-04-10 02:14:38] 705*2^1397294-1 is not prime. Res64: B09F5901BE49C664 Time : 0.0 sec. user=mdettweiler [2015-04-10 02:15:59] 711*2^1397294-1 is not prime. Res64: 63868D68EA97F83F Time : 0.0 sec. user=mdettweiler [2015-04-10 02:16:00] 741*2^1397294-1 is not prime. Res64: 22C858C4FEEE1894 Time : 0.0 sec. user=mdettweiler [2015-04-10 02:16:15] 743*2^1397294-1 is not prime. Res64: A48FD288A867E981 Time : 0.0 sec. user=mdettweiler [2015-04-10 02:16:15] 791*2^1397294-1 is not prime. Res64: E937E5C00AE3F7F7 Time : 0.0 sec. user=mdettweiler [2015-04-10 02:27:21] 795*2^1397294-1 is not prime. Res64: C81A99136CC21239 Time : 0.0 sec. user=mdettweiler [2015-04-10 02:27:22] 735*2^1397295-1 is not prime. Res64: 850C1D91986CFD7C Time : 0.0 sec. user=mdettweiler [2015-04-10 02:42:36] 781*2^1397295-1 is not prime. Res64: 7A4E1E962F6B763E Time : 0.0 sec. user=mdettweiler [2015-04-10 02:42:36] 795*2^1397295-1 is not prime. Res64: 13B78BA498EA14E8 Time : 0.0 sec. user=mdettweiler [2015-04-10 02:44:13] 829*2^1397295-1 is not prime. Res64: D9B7C7E7445C1481 Time : 0.0 sec. user=mdettweiler [2015-04-10 02:44:14] 831*2^1397295-1 is not prime. Res64: 6369E8A8A5615B75 Time : 0.0 sec. user=mdettweiler [2015-04-10 02:44:20] 849*2^1397295-1 is not prime. Res64: 0B2FDE95088701CB Time : 0.0 sec. user=mdettweiler [2015-04-10 02:44:21] 955*2^1397295-1 is not prime. Res64: 9220300417CA40BC Time : 0.0 sec. user=mdettweiler [2015-04-10 02:54:48] 961*2^1397295-1 is not prime. Res64: 93F9D8BC314FECDC Time : 0.0 sec. user=mdettweiler [2015-04-10 02:54:48] 653*2^1397296-1 is not prime. Res64: 4DEC5102635847E1 Time : 0.0 sec. user=mdettweiler [2015-04-10 03:10:05] 705*2^1397296-1 is not prime. Res64: 434913BC91F20415 Time : 0.0 sec. user=mdettweiler [2015-04-10 03:10:06] 785*2^1397296-1 is not prime. Res64: 65144709EA785CA5 Time : 0.0 sec. user=mdettweiler [2015-04-10 03:11:36] 825*2^1397296-1 is not prime. Res64: 4722431BD9E45CAB Time : 0.0 sec. user=mdettweiler [2015-04-10 03:11:36] 917*2^1397296-1 is not prime. Res64: F992307380FDB3EE Time : 0.0 sec. user=mdettweiler [2015-04-10 03:13:00] 975*2^1397296-1 is not prime. Res64: 6274A4846AD92870 Time : 0.0 sec. user=mdettweiler [2015-04-10 03:13:00] 989*2^1397296-1 is not prime. Res64: 21945796DF4B89A8 Time : 0.0 sec. user=mdettweiler [2015-04-10 03:22:50] 697*2^1397297-1 is not prime. Res64: CA9EBB6B080BEB80 Time : 0.0 sec. user=mdettweiler [2015-04-10 03:22:52] 771*2^1397297-1 is not prime. Res64: 7B2626F8DD0CC497 Time : 0.0 sec. user=mdettweiler [2015-04-10 03:38:56] 841*2^1397297-1 is not prime. Res64: 39C223945D4CE841 Time : 0.0 sec. user=mdettweiler [2015-04-10 03:38:58] 879*2^1397297-1 is not prime. Res64: B6E8BB0CBD190160 Time : 0.0 sec. user=mdettweiler [2015-04-10 03:40:01] 885*2^1397297-1 is not prime. Res64: B3F1FDD28C285E65 Time : 0.0 sec. user=mdettweiler [2015-04-10 03:40:03] 657*2^1397298-1 is not prime. Res64: 88AE2BEE37CFC07F Time : 0.0 sec. user=mdettweiler [2015-04-10 03:40:58] 663*2^1397298-1 is not prime. Res64: 9B173F38B6B85E8A Time : 0.0 sec. user=mdettweiler [2015-04-10 03:40:59] 885*2^1397298-1 is not prime. Res64: 4BBBCE4CFEFD7066 Time : 0.0 sec. user=mdettweiler [2015-04-10 03:50:39] 891*2^1397298-1 is not prime. Res64: CC6E785850FDD408 Time : 0.0 sec. user=mdettweiler [2015-04-10 03:50:41] 921*2^1397298-1 is not prime. Res64: 07BBB5B4838276B3 Time : 0.0 sec. user=juhehe [2015-04-10 03:59:02] 993*2^1397298-1 is not prime. Res64: AB597C006BD570CF Time : 0.0 sec. user=mdettweiler [2015-04-10 04:06:20] 609*2^1397299-1 is not prime. Res64: 43B3A1EDD3681B9B Time : 0.0 sec. user=mdettweiler [2015-04-10 04:06:21] 615*2^1397299-1 is not prime. Res64: A9AD884450B72BC5 Time : 0.0 sec. user=mdettweiler [2015-04-10 04:06:46] 769*2^1397299-1 is not prime. Res64: BDC3F8B76266FD32 Time : 0.0 sec. user=mdettweiler [2015-04-10 04:06:47] 629*2^1397300-1 is not prime. Res64: F9D1A118840021A6 Time : 0.0 sec. user=mdettweiler [2015-04-10 04:07:52] 689*2^1397300-1 is not prime. Res64: E754A078FF9CB6B4 Time : 0.0 sec. user=mdettweiler [2015-04-10 04:07:52] 707*2^1397300-1 is not prime. Res64: 40AFE2D9324B9F40 Time : 0.0 sec. user=mdettweiler [2015-04-10 04:18:05] 767*2^1397300-1 is not prime. Res64: A0969BF8DAE0D3D9 Time : 0.0 sec. user=mdettweiler [2015-04-10 04:18:05] 843*2^1397300-1 is not prime. Res64: 842224CD7A6096F0 Time : 0.0 sec. user=mdettweiler [2015-04-10 04:33:26] 855*2^1397300-1 is not prime. Res64: 5A7A5713FC21E4B1 Time : 0.0 sec. user=mdettweiler [2015-04-10 04:33:27] 893*2^1397300-1 is not prime. Res64: 8A02B12D66C579A4 Time : 0.0 sec. user=mdettweiler [2015-04-10 04:33:56] 709*2^1397301-1 is not prime. Res64: 865D9E466F4A71C7 Time : 0.0 sec. user=mdettweiler [2015-04-10 04:33:56] 717*2^1397301-1 is not prime. Res64: B27CB6C2913AE995 Time : 0.0 sec. user=mdettweiler [2015-04-10 04:34:48] 789*2^1397301-1 is not prime. Res64: A9C1E96B3D5B61D9 Time : 0.0 sec. user=mdettweiler [2015-04-10 04:34:48] 877*2^1397301-1 is not prime. Res64: 800E129C80ADCF4E Time : 0.0 sec. user=mdettweiler [2015-04-10 04:44:56] 603*2^1397302-1 is not prime. Res64: 3B1BCB255BE1E1FD Time : 0.0 sec. user=mdettweiler [2015-04-10 04:44:56] 665*2^1397302-1 is not prime. Res64: 8D79C185AF3A09C8 Time : 0.0 sec. user=mdettweiler [2015-04-10 05:00:21] 801*2^1397302-1 is not prime. Res64: 1D391675ACF00B55 Time : 0.0 sec. user=mdettweiler [2015-04-10 05:00:22] 891*2^1397302-1 is not prime. Res64: 8210575C392568F3 Time : 0.0 sec. user=mdettweiler [2015-04-10 05:01:08] 917*2^1397302-1 is not prime. Res64: B383232714CE518E Time : 0.0 sec. user=mdettweiler [2015-04-10 05:01:09] 763*2^1397303-1 is not prime. Res64: E932E05C7AF11689 Time : 0.0 sec. user=mdettweiler [2015-04-10 05:01:36] 973*2^1397303-1 is not prime. Res64: 6A0105DA57390974 Time : 0.0 sec. user=mdettweiler [2015-04-10 05:01:38] 981*2^1397303-1 is not prime. Res64: DDFC57CD146048C1 Time : 0.0 sec. user=mdettweiler [2015-04-10 05:11:54] 773*2^1397304-1 is not prime. Res64: D7FD118DED98F672 Time : 0.0 sec. user=mdettweiler [2015-04-10 05:11:55] 843*2^1397304-1 is not prime. Res64: 5006A9865854F602 Time : 0.0 sec. user=mdettweiler [2015-04-10 05:27:24] 699*2^1397305-1 is not prime. Res64: 342203E93C7C7FFA Time : 0.0 sec. user=mdettweiler [2015-04-10 05:27:25] 771*2^1397305-1 is not prime. Res64: 0AE186E5C47E561A Time : 0.0 sec. user=mdettweiler [2015-04-10 05:28:13] 775*2^1397305-1 is not prime. Res64: 87A3F7ECCC2142FD Time : 0.0 sec. user=mdettweiler [2015-04-10 05:28:14] 861*2^1397305-1 is not prime. Res64: 398C69BCA3AF16F6 Time : 0.0 sec. user=mdettweiler [2015-04-10 05:28:36] 867*2^1397305-1 is not prime. Res64: FA7917016BDB8A7D Time : 0.0 sec. user=mdettweiler [2015-04-10 05:28:36] 877*2^1397305-1 is not prime. Res64: 89053C8A5A80CBE9 Time : 0.0 sec. user=mdettweiler [2015-04-10 05:38:48] 735*2^1397306-1 is not prime. Res64: 20F0F904D32C01CF Time : 0.0 sec. user=mdettweiler [2015-04-10 05:38:49] 747*2^1397306-1 is not prime. Res64: 44171CC3FEC4C8F0 Time : 0.0 sec. user=juhehe [2015-04-10 05:47:41] 895*2^1397305-1 is not prime. Res64: AA232DB0A0EB154C Time : 0.0 sec. user=mdettweiler [2015-04-10 05:54:25] 741*2^1397307-1 is not prime. Res64: 7D9558B98733BC59 Time : 0.0 sec. user=mdettweiler [2015-04-10 05:54:26] 781*2^1397307-1 is not prime. Res64: 4FA6323956310F42 Time : 0.0 sec. user=mdettweiler [2015-04-10 05:55:10] 861*2^1397307-1 is not prime. Res64: 9BA97F380F5919F8 Time : 0.0 sec. user=mdettweiler [2015-04-10 05:55:11] 879*2^1397307-1 is not prime. Res64: 4A23E0C431E78D21 Time : 0.0 sec. user=mdettweiler [2015-04-10 05:55:31] 615*2^1397308-1 is not prime. Res64: 3C367A786A72A9FF Time : 0.0 sec. user=mdettweiler [2015-04-10 05:55:32] 663*2^1397308-1 is not prime. Res64: 5EE572F4AB518802 Time : 0.0 sec. user=mdettweiler [2015-04-10 06:05:50] 777*2^1397308-1 is not prime. Res64: AA83E71B7B5B2715 Time : 0.0 sec. user=mdettweiler [2015-04-10 06:05:51] 813*2^1397308-1 is not prime. Res64: 520D03026453F007 Time : 0.0 sec. user=mdettweiler [2015-04-10 06:21:16] 819*2^1397308-1 is not prime. Res64: 66683BE35159AAA9 Time : 0.0 sec. user=mdettweiler [2015-04-10 06:21:17] 843*2^1397308-1 is not prime. Res64: 49CBAE53A53A8E66 Time : 0.0 sec. user=mdettweiler [2015-04-10 06:22:02] 933*2^1397308-1 is not prime. Res64: E166D8C638ECBF65 Time : 0.0 sec. user=mdettweiler [2015-04-10 06:22:02] 953*2^1397308-1 is not prime. Res64: EDA090A68A109036 Time : 0.0 sec. user=mdettweiler [2015-04-10 06:22:17] 989*2^1397308-1 is not prime. Res64: 487A0752C622ED8F Time : 0.0 sec. user=mdettweiler [2015-04-10 06:22:18] 995*2^1397308-1 is not prime. Res64: BDC03795EC0EDF04 Time : 0.0 sec. user=mdettweiler [2015-04-10 06:32:30] 697*2^1397309-1 is not prime. Res64: B6F3C5CE835A9663 Time : 0.0 sec. user=mdettweiler [2015-04-10 06:32:30] 721*2^1397309-1 is not prime. Res64: 0DAE3A8FC1FA29B1 Time : 0.0 sec. user=mdettweiler [2015-04-10 06:47:59] 729*2^1397309-1 is not prime. Res64: 42A2DCD4DD576090 Time : 0.0 sec. user=mdettweiler [2015-04-10 06:48:00] 787*2^1397309-1 is not prime. Res64: 05428D7DC77A8E3F Time : 0.0 sec. user=mdettweiler [2015-04-10 06:48:42] 931*2^1397309-1 is not prime. Res64: E3B88089FA3DFE05 Time : 0.0 sec. user=mdettweiler [2015-04-10 06:48:43] 957*2^1397309-1 is not prime. Res64: 878EEE4A8FAE716D Time : 0.0 sec. user=mdettweiler [2015-04-10 06:48:49] 611*2^1397310-1 is not prime. Res64: 723F188391DDC78D Time : 0.0 sec. user=mdettweiler [2015-04-10 06:48:50] 711*2^1397310-1 is not prime. Res64: 40B24A8F55B682E5 Time : 0.0 sec. user=mdettweiler [2015-04-10 06:59:01] 791*2^1397310-1 is not prime. Res64: EA375D25C7FDF12A Time : 0.0 sec. user=mdettweiler [2015-04-10 06:59:02] 797*2^1397310-1 is not prime. Res64: 3ADF9474F2E33C92 Time : 0.0 sec. user=mdettweiler [2015-04-10 07:14:30] 861*2^1397310-1 is not prime. Res64: 0F7FCA43A3B0F174 Time : 0.0 sec. user=mdettweiler [2015-04-10 07:14:31] 921*2^1397310-1 is not prime. Res64: 109A30A27A5409BE Time : 0.0 sec. user=mdettweiler [2015-04-10 07:15:19] 941*2^1397310-1 is not prime. Res64: A2BA4885C0BD0295 Time : 0.0 sec. user=mdettweiler [2015-04-10 07:15:19] 603*2^1397311-1 is not prime. Res64: E4183EFF629192B0 Time : 0.0 sec. user=mdettweiler [2015-04-10 07:15:25] 651*2^1397311-1 is not prime. Res64: BCB04AD7AF8A0692 Time : 0.0 sec. user=mdettweiler [2015-04-10 07:15:25] 705*2^1397311-1 is not prime. Res64: 18FF4A22C5E97726 Time : 0.0 sec. user=mdettweiler [2015-04-10 07:25:31] 715*2^1397311-1 is not prime. Res64: A2C152E32B29F727 Time : 0.0 sec. user=mdettweiler [2015-04-10 07:25:31] 735*2^1397311-1 is not prime. Res64: 445B51131B003979 Time : 0.0 sec. user=mdettweiler [2015-04-10 07:41:04] 745*2^1397311-1 is not prime. Res64: 9E81875A83AD82F6 Time : 0.0 sec. user=mdettweiler [2015-04-10 07:41:05] 751*2^1397311-1 is not prime. Res64: 2782C0436BCC06A5 Time : 0.0 sec. user=mdettweiler [2015-04-10 07:41:47] 769*2^1397311-1 is not prime. Res64: 030108638C489652 Time : 0.0 sec. user=mdettweiler [2015-04-10 07:41:47] 771*2^1397311-1 is not prime. Res64: B6B374A6BBE87C9C Time : 0.0 sec. user=mdettweiler [2015-04-10 07:42:00] 871*2^1397311-1 is not prime. Res64: A6F88DCCB076CC96 Time : 0.0 sec. user=mdettweiler [2015-04-10 07:42:00] 873*2^1397311-1 is not prime. Res64: 47B172F4283A716A Time : 0.0 sec. user=mdettweiler [2015-04-10 07:52:05] 909*2^1397311-1 is not prime. Res64: 036E298FF86A38A8 Time : 0.0 sec. user=mdettweiler [2015-04-10 07:52:06] 925*2^1397311-1 is not prime. Res64: 1F3A7D1D1619D3E8 Time : 0.0 sec. user=mdettweiler [2015-04-10 08:07:41] 939*2^1397311-1 is not prime. Res64: FFBDD1FB6D8A2FF6 Time : 0.0 sec. user=mdettweiler [2015-04-10 08:07:42] 975*2^1397311-1 is not prime. Res64: 4AE74B1089FE3902 Time : 0.0 sec. user=mdettweiler [2015-04-10 08:08:20] 669*2^1397312-1 is not prime. Res64: C10702634CF97DA4 Time : 0.0 sec. user=mdettweiler [2015-04-10 08:08:21] 719*2^1397312-1 is not prime. Res64: DBC3F085C92475B8 Time : 0.0 sec. user=mdettweiler [2015-04-10 08:08:31] 753*2^1397312-1 is not prime. Res64: E2AC36B039313E17 Time : 0.0 sec. user=mdettweiler [2015-04-10 08:08:32] 893*2^1397312-1 is not prime. Res64: 583A591A966DCA6C Time : 0.0 sec. user=mdettweiler [2015-04-10 08:18:40] 903*2^1397312-1 is not prime. Res64: 8C61CEDD85E700B9 Time : 0.0 sec. user=mdettweiler [2015-04-10 08:18:41] 909*2^1397312-1 is not prime. Res64: 0785EF9683529BD4 Time : 0.0 sec. user=mdettweiler [2015-04-10 08:34:19] 923*2^1397312-1 is not prime. Res64: F76C9FB3898CF61D Time : 0.0 sec. user=mdettweiler [2015-04-10 08:34:20] 627*2^1397313-1 is not prime. Res64: A937873D4255FAEB Time : 0.0 sec. user=mdettweiler [2015-04-10 08:34:45] 651*2^1397313-1 is not prime. Res64: C84A1A461AE25E84 Time : 0.0 sec. user=mdettweiler [2015-04-10 08:34:46] 679*2^1397313-1 is not prime. Res64: 693F7AED10C738E1 Time : 0.0 sec. user=mdettweiler [2015-04-10 08:35:11] 681*2^1397313-1 is not prime. Res64: 095887E666BF0BE3 Time : 0.0 sec. user=mdettweiler [2015-04-10 08:35:12] 691*2^1397313-1 is not prime. Res64: 7440A7937684E3D9 Time : 0.0 sec. user=mdettweiler [2015-04-10 08:45:16] 787*2^1397313-1 is not prime. Res64: 7C8C8146EE99CA29 Time : 0.0 sec. user=juhehe [2015-04-10 08:45:16] 751*2^1397313-1 is not prime. Res64: 252EA1BBF5013315 Time : 0.0 sec. user=mdettweiler [2015-04-10 08:45:16] 919*2^1397313-1 is not prime. Res64: 1E1CF7B6756C3B92 Time : 0.0 sec. user=mdettweiler [2015-04-10 09:00:50] 945*2^1397313-1 is not prime. Res64: 248FDF90E175F5EE Time : 0.0 sec. user=mdettweiler [2015-04-10 09:00:52] 985*2^1397313-1 is not prime. Res64: 585A3828CAB2C826 Time : 0.0 sec. user=mdettweiler [2015-04-10 09:01:25] 645*2^1397314-1 is not prime. Res64: 189B93833923DD83 Time : 0.0 sec. user=mdettweiler [2015-04-10 09:01:27] 717*2^1397314-1 is not prime. Res64: 9DAB2A1AF202E5EA Time : 0.0 sec. user=mdettweiler [2015-04-10 09:01:54] 773*2^1397314-1 is not prime. Res64: A74CB4E3B7259E16 Time : 0.0 sec. user=mdettweiler [2015-04-10 09:01:55] 887*2^1397314-1 is not prime. Res64: 4B55A5D21CDA8D98 Time : 0.0 sec. user=mdettweiler [2015-04-10 09:11:54] 945*2^1397314-1 is not prime. Res64: DC8B274C42E09B3D Time : 0.0 sec. user=mdettweiler [2015-04-10 09:11:55] 981*2^1397314-1 is not prime. Res64: 925C4754CC406E96 Time : 0.0 sec. user=juhehe [2015-04-10 09:21:38] 619*2^1397315-1 is not prime. Res64: 6B1D8D2060D18B64 Time : 0.0 sec. user=mdettweiler [2015-04-10 09:27:47] 633*2^1397315-1 is not prime. Res64: 7EC18AE3F5ECA195 Time : 0.0 sec. user=mdettweiler [2015-04-10 09:27:48] 645*2^1397315-1 is not prime. Res64: 3197B5E046B87538 Time : 0.0 sec. user=mdettweiler [2015-04-10 09:28:15] 655*2^1397315-1 is not prime. Res64: 5F78DBC69EC48903 Time : 0.0 sec. user=mdettweiler [2015-04-10 09:28:16] 675*2^1397315-1 is not prime. Res64: B3AD185EAD5FD97B Time : 0.0 sec. user=mdettweiler [2015-04-10 09:28:36] 783*2^1397315-1 is not prime. Res64: C7E0172EA5E4D7F4 Time : 0.0 sec. user=mdettweiler [2015-04-10 09:28:37] 829*2^1397315-1 is not prime. Res64: 52C2C02D25EF4EEB Time : 0.0 sec. user=mdettweiler [2015-04-10 09:38:38] 841*2^1397315-1 is not prime. Res64: 9A94DCD2C78882D0 Time : 0.0 sec. user=mdettweiler [2015-04-10 09:38:39] 861*2^1397315-1 is not prime. Res64: B0B1DD70AD38B3AD Time : 0.0 sec. user=mdettweiler [2015-04-10 09:54:26] 895*2^1397315-1 is not prime. Res64: 72CDA4DC09A0DAEA Time : 0.0 sec. user=mdettweiler [2015-04-10 09:54:27] 915*2^1397315-1 is not prime. Res64: 6D99BE0EC3CACFE4 Time : 0.0 sec. user=mdettweiler [2015-04-10 09:54:54] 969*2^1397315-1 is not prime. Res64: 3F9AE9DC50F08CAC Time : 0.0 sec. user=mdettweiler [2015-04-10 09:54:54] 981*2^1397315-1 is not prime. Res64: A91BE63291AD195C Time : 0.0 sec. user=mdettweiler [2015-04-10 09:55:10] 635*2^1397316-1 is not prime. Res64: A570D54365D38E30 Time : 0.0 sec. user=mdettweiler [2015-04-10 09:55:11] 875*2^1397316-1 is not prime. Res64: CA1B2FA9996E7401 Time : 0.0 sec. user=mdettweiler [2015-04-10 10:05:17] 947*2^1397316-1 is not prime. Res64: 37B8AF904D6D6A5D Time : 0.0 sec. user=mdettweiler [2015-04-10 10:05:18] 601*2^1397317-1 is not prime. Res64: 20C2CB25BDAC4943 Time : 0.0 sec. user=mdettweiler [2015-04-10 10:21:07] 607*2^1397317-1 is not prime. Res64: 9569BB5EE4FF92DD Time : 0.0 sec. user=mdettweiler [2015-04-10 10:21:08] 769*2^1397317-1 is not prime. Res64: 69E7190B6DBAAA78 Time : 0.0 sec. user=mdettweiler [2015-04-10 10:21:36] 801*2^1397317-1 is not prime. Res64: D559C3A981BE1E6B Time : 0.0 sec. user=mdettweiler [2015-04-10 10:21:39] 831*2^1397317-1 is not prime. Res64: 76E881A08D7C9C66 Time : 0.0 sec. user=mdettweiler [2015-04-10 10:21:43] 937*2^1397317-1 is not prime. Res64: E08A6C3D9AF62673 Time : 0.0 sec. user=mdettweiler [2015-04-10 10:21:43] 961*2^1397317-1 is not prime. Res64: CBE95B69E75DDFAD Time : 0.0 sec. user=mdettweiler [2015-04-10 10:32:09] 617*2^1397318-1 is not prime. Res64: 87D987C5C02FF5E5 Time : 0.0 sec. user=mdettweiler [2015-04-10 10:32:10] 813*2^1397318-1 is not prime. Res64: 565EA014CD9548E0 Time : 0.0 sec. user=mdettweiler [2015-04-10 10:47:46] 1001*2^1397318-1 is not prime. Res64: 621228B85ED0166F Time : 0.0 sec. user=mdettweiler [2015-04-10 10:47:47] 649*2^1397319-1 is not prime. Res64: F7D653EECCC4FBF2 Time : 0.0 sec. user=mdettweiler [2015-04-10 10:48:21] 895*2^1397319-1 is not prime. Res64: 24406B5C049F4BA6 Time : 0.0 sec. user=mdettweiler [2015-04-10 10:48:22] 913*2^1397319-1 is not prime. Res64: 1019DEA60A2CF0FB Time : 0.0 sec. user=mdettweiler [2015-04-10 10:48:22] 951*2^1397319-1 is not prime. Res64: 98F9809C970A9222 Time : 0.0 sec. user=mdettweiler [2015-04-10 10:48:23] 665*2^1397320-1 is not prime. Res64: 8978F6974427D0CA Time : 0.0 sec. user=mdettweiler [2015-04-10 10:58:46] 713*2^1397320-1 is not prime. Res64: D153DE63FC72E81F Time : 0.0 sec. user=mdettweiler [2015-04-10 10:58:47] 743*2^1397320-1 is not prime. Res64: 8E1E22ECB661DDA0 Time : 0.0 sec. user=juhehe [2015-04-10 11:10:44] 797*2^1397320-1 is not prime. Res64: 9974A423EBF14606 Time : 0.0 sec. user=mdettweiler [2015-04-10 11:14:29] 825*2^1397320-1 is not prime. Res64: 94778861D44C67C5 Time : 0.0 sec. user=mdettweiler [2015-04-10 11:14:30] 915*2^1397320-1 is not prime. Res64: AD7E7ED66A665728 Time : 0.0 sec. user=mdettweiler [2015-04-10 11:15:03] 933*2^1397320-1 is not prime. Res64: 5FED4195DD20EFED Time : 0.0 sec. user=mdettweiler [2015-04-10 11:15:03] 939*2^1397320-1 is not prime. Res64: BCEF65C2CB5EDD5B Time : 0.0 sec. user=mdettweiler [2015-04-10 11:15:10] 989*2^1397320-1 is not prime. Res64: 41B76102B0E97EEF Time : 0.0 sec. user=mdettweiler [2015-04-10 11:15:11] 637*2^1397321-1 is not prime. Res64: 6EA641F2B140286D Time : 0.0 sec. user=mdettweiler [2015-04-10 11:25:24] 645*2^1397321-1 is not prime. Res64: E849DB044356928B Time : 0.0 sec. user=mdettweiler [2015-04-10 11:25:25] 691*2^1397321-1 is not prime. Res64: E9AF4DCC03CFE07E Time : 0.0 sec. user=mdettweiler [2015-04-10 11:41:10] 909*2^1397321-1 is not prime. Res64: 456D028859168B83 Time : 0.0 sec. user=mdettweiler [2015-04-10 11:41:10] 621*2^1397322-1 is not prime. Res64: DF35C205659B17A9 Time : 0.0 sec. user=mdettweiler [2015-04-10 11:41:40] 755*2^1397322-1 is not prime. Res64: 9CD579C4FA376AB3 Time : 0.0 sec. user=mdettweiler [2015-04-10 11:41:40] 765*2^1397322-1 is not prime. Res64: FCB9A681D3510C90 Time : 0.0 sec. user=mdettweiler [2015-04-10 11:41:55] 893*2^1397322-1 is not prime. Res64: A60BD3D0982162FE Time : 0.0 sec. user=mdettweiler [2015-04-10 11:41:55] 903*2^1397322-1 is not prime. Res64: 214A4F1E1A2D0901 Time : 0.0 sec. user=mdettweiler [2015-04-10 11:51:59] 945*2^1397322-1 is not prime. Res64: 00F71BFC1986FDCD Time : 0.0 sec. user=mdettweiler [2015-04-10 11:52:00] 957*2^1397322-1 is not prime. Res64: D253828E04D4C8A2 Time : 0.0 sec. user=mdettweiler [2015-04-10 12:08:39] 615*2^1397323-1 is not prime. Res64: E726DABA4D70C7E9 Time : 0.0 sec. user=mdettweiler [2015-04-10 12:08:39] 619*2^1397323-1 is not prime. Res64: 1133D153E0C764B7 Time : 0.0 sec. user=mdettweiler [2015-04-10 12:09:25] 855*2^1397323-1 is not prime. Res64: C1D79F0889A2B2B5 Time : 0.0 sec. user=mdettweiler [2015-04-10 12:09:25] 617*2^1397324-1 is not prime. Res64: 3A45459B4C702CD2 Time : 0.0 sec. user=mdettweiler [2015-04-10 12:09:41] 679*2^1397323-1 is not prime. Res64: 2ED519B5BE4D6B88 Time : 0.0 sec. user=mdettweiler [2015-04-10 12:09:42] 693*2^1397323-1 is not prime. Res64: 669C537B4F4C3C30 Time : 0.0 sec. user=mdettweiler [2015-04-10 12:20:35] 629*2^1397324-1 is not prime. Res64: C863C29643CC7395 Time : 0.0 sec. user=mdettweiler [2015-04-10 12:20:35] 635*2^1397324-1 is not prime. Res64: E843A37AFF728893 Time : 0.0 sec. user=juhehe [2015-04-10 12:23:35] 623*2^1397324-1 is not prime. Res64: 45480E886D95EAA6 Time : 0.0 sec. user=mdettweiler [2015-04-10 12:36:37] 677*2^1397324-1 is not prime. Res64: 27F6A668FB859E7E Time : 0.0 sec. user=mdettweiler [2015-04-10 12:36:38] 753*2^1397324-1 is not prime. Res64: 620A0905D5692561 Time : 0.0 sec. user=mdettweiler [2015-04-10 12:37:15] 833*2^1397324-1 is not prime. Res64: 7B556ABCFBCB2D91 Time : 0.0 sec. user=mdettweiler [2015-04-10 12:37:16] 885*2^1397324-1 is not prime. Res64: DC856F5E24996C63 Time : 0.0 sec. user=mdettweiler [2015-04-10 12:37:44] 957*2^1397324-1 is not prime. Res64: 77916F644CF4ABA3 Time : 0.0 sec. user=mdettweiler [2015-04-10 12:37:44] 717*2^1397325-1 is not prime. Res64: 5D43ED79E3C1A39F Time : 0.0 sec. user=mdettweiler [2015-04-10 12:47:21] 777*2^1397325-1 is not prime. Res64: 246F4044EA73F10E Time : 0.0 sec. user=mdettweiler [2015-04-10 12:47:22] 795*2^1397325-1 is not prime. Res64: 8E7881FC00407DF8 Time : 0.0 sec. user=mdettweiler [2015-04-10 13:03:13] 805*2^1397325-1 is not prime. Res64: 1AD0F806EB630BCA Time : 0.0 sec. user=mdettweiler [2015-04-10 13:03:14] 859*2^1397325-1 is not prime. Res64: 0E516711A908DECA Time : 0.0 sec. user=mdettweiler [2015-04-10 13:04:01] 999*2^1397325-1 is not prime. Res64: 49025756A9A76247 Time : 0.0 sec. user=mdettweiler [2015-04-10 13:04:03] 623*2^1397326-1 is not prime. Res64: 4A37D52B47C05959 Time : 0.0 sec. user=mdettweiler [2015-04-10 13:04:18] 647*2^1397326-1 is not prime. Res64: 8621E876AA2001C4 Time : 0.0 sec. user=mdettweiler [2015-04-10 13:04:20] 653*2^1397326-1 is not prime. Res64: DDF628DAB4826927 Time : 0.0 sec. user=mdettweiler [2015-04-10 13:13:52] 657*2^1397326-1 is not prime. Res64: DE482085FB401D02 Time : 0.0 sec. user=mdettweiler [2015-04-10 13:13:53] 737*2^1397326-1 is not prime. Res64: 07FC8622BBAAC2A4 Time : 0.0 sec. user=mdettweiler [2015-04-10 13:30:24] 755*2^1397326-1 is not prime. Res64: 16D435126E887CA6 Time : 0.0 sec. user=mdettweiler [2015-04-10 13:30:24] 773*2^1397326-1 is not prime. Res64: 659FD2135F75A0C6 Time : 0.0 sec. user=mdettweiler [2015-04-10 13:30:49] 813*2^1397326-1 is not prime. Res64: 9FAA0489EAAF1271 Time : 0.0 sec. user=mdettweiler [2015-04-10 13:30:50] 815*2^1397326-1 is not prime. Res64: DB5D819AD436C067 Time : 0.0 sec. user=mdettweiler [2015-04-10 13:31:06] 873*2^1397326-1 is not prime. Res64: 022C838A866CCFD2 Time : 0.0 sec. user=mdettweiler [2015-04-10 13:31:07] 715*2^1397327-1 is not prime. Res64: 4E33A92A5BB3D0BB Time : 0.0 sec. user=mdettweiler [2015-04-10 13:40:31] 759*2^1397327-1 is not prime. Res64: 9BB855BF128ACF63 Time : 0.0 sec. user=mdettweiler [2015-04-10 13:40:31] 861*2^1397327-1 is not prime. Res64: 79DAB02484B27F05 Time : 0.0 sec. user=mdettweiler [2015-04-10 13:57:03] 871*2^1397327-1 is not prime. Res64: 5291DDE325A2CE6B Time : 0.0 sec. user=mdettweiler [2015-04-10 13:57:04] 883*2^1397327-1 is not prime. Res64: 0710AD640B5F131E Time : 0.0 sec. user=mdettweiler [2015-04-10 13:57:26] 931*2^1397327-1 is not prime. Res64: 5CF63F24530AE48B Time : 0.0 sec. user=mdettweiler [2015-04-10 13:57:27] 981*2^1397327-1 is not prime. Res64: 5F540C6CC6034523 Time : 0.0 sec. user=mdettweiler [2015-04-10 13:57:44] 735*2^1397328-1 is not prime. Res64: BFE23190CA5A4C4B Time : 0.0 sec. user=mdettweiler [2015-04-10 13:57:44] 737*2^1397328-1 is not prime. Res64: 9CBF8545D50BAECB Time : 0.0 sec. user=mdettweiler [2015-04-10 14:07:14] 815*2^1397328-1 is not prime. Res64: D887689158C299BD Time : 0.0 sec. user=mdettweiler [2015-04-10 14:07:15] 879*2^1397328-1 is not prime. Res64: 59C20FDA8B3C25EB Time : 0.0 sec. user=juhehe [2015-04-10 14:14:27] 773*2^1397328-1 is not prime. Res64: 10D5AE85A7786E86 Time : 0.0 sec. user=mdettweiler [2015-04-10 14:23:46] 637*2^1397329-1 is not prime. Res64: E02A1C4CD51C46CC Time : 0.0 sec. user=mdettweiler [2015-04-10 14:23:47] 667*2^1397329-1 is not prime. Res64: ADC296EFB646ADBE Time : 0.0 sec. user=mdettweiler [2015-04-10 14:24:21] 687*2^1397329-1 is not prime. Res64: 050CBF6D111CDFD6 Time : 0.0 sec. user=mdettweiler [2015-04-10 14:24:22] 751*2^1397329-1 is not prime. Res64: F9F26E1A5A19F0E0 Time : 0.0 sec. user=mdettweiler [2015-04-10 14:24:22] 799*2^1397329-1 is not prime. Res64: 0A6A010AED0F4C5F Time : 0.0 sec. user=mdettweiler [2015-04-10 14:24:22] 829*2^1397329-1 is not prime. Res64: 3171696100C6E252 Time : 0.0 sec. user=mdettweiler [2015-04-10 14:33:57] 847*2^1397329-1 is not prime. Res64: A594A46320B239ED Time : 0.0 sec. user=mdettweiler [2015-04-10 14:33:58] 955*2^1397329-1 is not prime. Res64: 3AAE44D9DF66C03D Time : 0.0 sec. user=mdettweiler [2015-04-10 14:50:48] 677*2^1397330-1 is not prime. Res64: F3093BB8DE2A8FE0 Time : 0.0 sec. user=mdettweiler [2015-04-10 14:50:48] 731*2^1397330-1 is not prime. Res64: 63B7D653FD0CB203 Time : 0.0 sec. user=mdettweiler [2015-04-10 14:51:17] 797*2^1397330-1 is not prime. Res64: FE1A2C31C6E02B82 Time : 0.0 sec. user=mdettweiler [2015-04-10 14:51:18] 977*2^1397330-1 is not prime. Res64: 2A2CB6A3262E07CA Time : 0.0 sec. user=mdettweiler [2015-04-10 14:51:21] 675*2^1397331-1 is not prime. Res64: 03858EDF5D5CA8E5 Time : 0.0 sec. user=mdettweiler [2015-04-10 14:51:22] 711*2^1397331-1 is not prime. Res64: BF4DE80FFE82995F Time : 0.0 sec. user=mdettweiler [2015-04-10 15:01:03] 781*2^1397331-1 is not prime. Res64: DC5B4C7C3828C41C Time : 0.0 sec. user=mdettweiler [2015-04-10 15:01:04] 859*2^1397331-1 is not prime. Res64: DA940B62FA20FBD5 Time : 0.0 sec. user=mdettweiler [2015-04-10 15:18:02] 943*2^1397331-1 is not prime. Res64: C0690B53A514B9B1 Time : 0.0 sec. user=mdettweiler [2015-04-10 15:18:02] 609*2^1397332-1 is not prime. Res64: 19ABFF01BE523274 Time : 0.0 sec. user=mdettweiler [2015-04-10 15:18:34] 785*2^1397332-1 is not prime. Res64: 9503509166181FE7 Time : 0.0 sec. user=mdettweiler [2015-04-10 15:18:34] 819*2^1397332-1 is not prime. Res64: 9B0BAB3F3BEF61C9 Time : 0.0 sec. user=mdettweiler [2015-04-10 15:18:39] 833*2^1397332-1 is not prime. Res64: 33BAAEE55A5FDDF2 Time : 0.0 sec. user=mdettweiler [2015-04-10 15:18:39] 855*2^1397332-1 is not prime. Res64: C534BBD11F354BBF Time : 0.0 sec. user=mdettweiler [2015-04-10 15:28:33] 869*2^1397332-1 is not prime. Res64: A7FFEE1324F90A5A Time : 0.0 sec. user=mdettweiler [2015-04-10 15:28:34] 939*2^1397332-1 is not prime. Res64: 263F3C0EC966CCED Time : 0.0 sec. user=mdettweiler [2015-04-10 15:45:04] 947*2^1397332-1 is not prime. Res64: 3A4EF0E98AC8C3F7 Time : 0.0 sec. user=mdettweiler [2015-04-10 15:45:04] 607*2^1397333-1 is not prime. Res64: DA412E6F1C1D8EA1 Time : 0.0 sec. user=mdettweiler [2015-04-10 15:45:29] 615*2^1397333-1 is not prime. Res64: C6B2F0D13B2526C5 Time : 0.0 sec. user=mdettweiler [2015-04-10 15:45:29] 651*2^1397333-1 is not prime. Res64: 18467C9ED99827C1 Time : 0.0 sec. user=mdettweiler [2015-04-10 15:45:37] 675*2^1397333-1 is not prime. Res64: BF279DADA730CBA4 Time : 0.0 sec. user=mdettweiler [2015-04-10 15:45:37] 697*2^1397333-1 is not prime. Res64: 7C03BC383660628F Time : 0.0 sec. user=mdettweiler [2015-04-10 15:55:12] 847*2^1397333-1 is not prime. Res64: 4CB565B15BC9BDEE Time : 0.0 sec. user=mdettweiler [2015-04-10 15:55:12] 861*2^1397333-1 is not prime. Res64: 28E9763DF7F93EB2 Time : 0.0 sec. user=juhehe [2015-04-10 16:03:57] 715*2^1397333-1 is not prime. Res64: 0E9CA5977AB87606 Time : 0.0 sec. user=mdettweiler [2015-04-10 16:12:04] 897*2^1397333-1 is not prime. Res64: 009468ADA0FD7E34 Time : 0.0 sec. user=mdettweiler [2015-04-10 16:12:05] 663*2^1397334-1 is not prime. Res64: EAA39EB2D6ABACC4 Time : 0.0 sec. user=mdettweiler [2015-04-10 16:12:32] 665*2^1397334-1 is not prime. Res64: 5609B15CE46BD147 Time : 0.0 sec. user=mdettweiler [2015-04-10 16:12:32] 797*2^1397334-1 is not prime. Res64: 58C9D8DA1D6DD067 Time : 0.0 sec. user=mdettweiler [2015-04-10 16:12:37] 891*2^1397334-1 is not prime. Res64: 1D6AF0E6B858CAE4 Time : 0.0 sec. user=mdettweiler [2015-04-10 16:12:38] 893*2^1397334-1 is not prime. Res64: 74D46EF7E2E4F468 Time : 0.0 sec. user=mdettweiler [2015-04-10 16:22:12] 903*2^1397334-1 is not prime. Res64: 4A07541BEDE43C3C Time : 0.0 sec. user=mdettweiler [2015-04-10 16:22:13] 1001*2^1397334-1 is not prime. Res64: 8E1D8A93618DED04 Time : 0.0 sec. user=mdettweiler [2015-04-10 16:38:59] 633*2^1397335-1 is not prime. Res64: 1A71C281DF64CE20 Time : 0.0 sec. user=mdettweiler [2015-04-10 16:38:59] 673*2^1397335-1 is not prime. Res64: BE76EA51D12CDBDB Time : 0.0 sec. user=mdettweiler [2015-04-10 16:39:07] 679*2^1397335-1 is not prime. Res64: F33076790399E9D6 Time : 0.0 sec. user=mdettweiler [2015-04-10 16:39:08] 705*2^1397335-1 is not prime. Res64: C2DB3CFBD464D359 Time : 0.0 sec. user=mdettweiler [2015-04-10 16:39:29] 793*2^1397335-1 is not prime. Res64: F472918669E8D9BD Time : 0.0 sec. user=mdettweiler [2015-04-10 16:39:29] 829*2^1397335-1 is not prime. Res64: A4CA13EDBF983A00 Time : 0.0 sec. user=mdettweiler [2015-04-10 16:49:02] 843*2^1397335-1 is not prime. Res64: 48E148760483BE27 Time : 0.0 sec. user=mdettweiler [2015-04-10 16:49:02] 973*2^1397335-1 is not prime. Res64: 839F56DA29A15EE9 Time : 0.0 sec. user=mdettweiler [2015-04-10 17:05:47] 999*2^1397335-1 is not prime. Res64: 0D2EF4010BF85CD1 Time : 0.0 sec. user=mdettweiler [2015-04-10 17:05:48] 633*2^1397336-1 is not prime. Res64: B05D188178D1A9DF Time : 0.0 sec. user=mdettweiler [2015-04-10 17:05:56] 677*2^1397336-1 is not prime. Res64: DECBF4B902FB61D7 Time : 0.0 sec. user=mdettweiler [2015-04-10 17:05:58] 725*2^1397336-1 is not prime. Res64: 4D284BADDD3988F1 Time : 0.0 sec. user=mdettweiler [2015-04-10 17:06:17] 785*2^1397336-1 is not prime. Res64: 1A8CF346E7676134 Time : 0.0 sec. user=mdettweiler [2015-04-10 17:06:18] 845*2^1397336-1 is not prime. Res64: DC3DD794C10D1670 Time : 0.0 sec. user=mdettweiler [2015-04-10 17:15:58] 923*2^1397336-1 is not prime. Res64: 9A29158F5CD20E37 Time : 0.0 sec. user=mdettweiler [2015-04-10 17:15:58] 607*2^1397337-1 is not prime. Res64: 625AD053C982209E Time : 0.0 sec. user=mdettweiler [2015-04-10 17:33:04] 649*2^1397337-1 is not prime. Res64: D6F8D33134EE7A6C Time : 0.0 sec. user=mdettweiler [2015-04-10 17:33:05] 777*2^1397337-1 is not prime. Res64: E5FA0530F4127FC0 Time : 0.0 sec. user=mdettweiler [2015-04-10 17:33:15] 919*2^1397337-1 is not prime. Res64: 0ED0992D1E4D2B23 Time : 0.0 sec. user=mdettweiler [2015-04-10 17:33:15] 991*2^1397337-1 is not prime. Res64: 912AF18DBCF77024 Time : 0.0 sec. user=mdettweiler [2015-04-10 17:33:19] 829*2^1397337-1 is not prime. Res64: FDB0CAEDF4F72F2C Time : 0.0 sec. user=mdettweiler [2015-04-10 17:33:20] 909*2^1397337-1 is not prime. Res64: 3E574C4D2E47EB93 Time : 0.0 sec. user=mdettweiler [2015-04-10 17:43:03] 687*2^1397338-1 is not prime. Res64: C865778C3CA577A8 Time : 0.0 sec. user=mdettweiler [2015-04-10 17:43:04] 755*2^1397338-1 is not prime. Res64: CE7641A754F57EEB Time : 0.0 sec. user=juhehe [2015-04-10 17:53:13] 777*2^1397338-1 is not prime. Res64: BD71D7BE42950640 Time : 0.0 sec. user=mdettweiler [2015-04-10 18:00:24] 791*2^1397338-1 is not prime. Res64: 2D671C7DEF5AE4C0 Time : 0.0 sec. user=mdettweiler [2015-04-10 18:00:25] 825*2^1397338-1 is not prime. Res64: 6255D1F04ECB7462 Time : 0.0 sec. user=mdettweiler [2015-04-10 18:00:49] 857*2^1397338-1 is not prime. Res64: 1C33235B81380ED9 Time : 0.0 sec. user=mdettweiler [2015-04-10 18:00:50] 911*2^1397338-1 is not prime. Res64: 03428016BF1F4AA9 Time : 0.0 sec. user=mdettweiler [2015-04-10 18:01:16] 969*2^1397339-1 is not prime. Res64: 35FE5E45D3AB9253 Time : 0.0 sec. user=mdettweiler [2015-04-10 18:01:16] 695*2^1397340-1 is not prime. Res64: AFA4F26D6E99A926 Time : 0.0 sec. user=mdettweiler [2015-04-10 18:10:27] 707*2^1397340-1 is not prime. Res64: 5081C669CD30544C Time : 0.0 sec. user=mdettweiler [2015-04-10 18:10:27] 651*2^1397341-1 is not prime. Res64: 5ABD63A59A0DED9A Time : 0.0 sec. user=mdettweiler [2015-04-10 18:27:57] 889*2^1397341-1 is not prime. Res64: A3843EEC2BF5ED50 Time : 0.0 sec. user=mdettweiler [2015-04-10 18:27:57] 945*2^1397341-1 is not prime. Res64: 4DF54396D49BC132 Time : 0.0 sec. user=mdettweiler [2015-04-10 18:28:23] 687*2^1397341-1 is not prime. Res64: 2BE24821E43F1482 Time : 0.0 sec. user=mdettweiler [2015-04-10 18:28:23] 811*2^1397341-1 is not prime. Res64: A2F6481C0F25A05B Time : 0.0 sec. user=mdettweiler [2015-04-10 18:29:07] 951*2^1397341-1 is not prime. Res64: DE7FB444069822F6 Time : 0.0 sec. user=mdettweiler [2015-04-10 18:29:08] 603*2^1397342-1 is not prime. Res64: 8C98898CE79189A6 Time : 0.0 sec. user=mdettweiler [2015-04-10 18:37:59] 675*2^1397342-1 is not prime. Res64: 4F13F130B2FE39A6 Time : 0.0 sec. user=mdettweiler [2015-04-10 18:37:59] 797*2^1397342-1 is not prime. Res64: A83F862771409D75 Time : 0.0 sec. user=mdettweiler [2015-04-10 18:55:17] 825*2^1397342-1 is not prime. Res64: 49B6E3FF27D74807 Time : 0.0 sec. user=mdettweiler [2015-04-10 18:55:17] 885*2^1397342-1 is not prime. Res64: C8ABD3A411CFBAB9 Time : 0.0 sec. user=mdettweiler [2015-04-10 18:56:27] 887*2^1397342-1 is not prime. Res64: C1AA41FB2CD484A4 Time : 0.0 sec. user=mdettweiler [2015-04-10 18:56:28] 903*2^1397342-1 is not prime. Res64: 827E4409D89E95CC Time : 0.0 sec. user=mdettweiler [2015-04-10 18:57:05] 965*2^1397342-1 is not prime. Res64: C4A84352D498A29C Time : 0.0 sec. user=mdettweiler [2015-04-10 18:57:06] 987*2^1397342-1 is not prime. Res64: D8B03C52A4D42817 Time : 0.0 sec. user=mdettweiler [2015-04-10 19:05:01] 613*2^1397343-1 is not prime. Res64: A0F3FA3E7BD9C186 Time : 0.0 sec. user=mdettweiler [2015-04-10 19:05:03] 621*2^1397343-1 is not prime. Res64: D5F9B990174B5A25 Time : 0.0 sec. user=mdettweiler [2015-04-10 19:23:19] 693*2^1397343-1 is not prime. Res64: 87BEB67525EB746B Time : 0.0 sec. user=mdettweiler [2015-04-10 19:23:19] 793*2^1397343-1 is not prime. Res64: 5B810C04E4210A0A Time : 0.0 sec. user=mdettweiler [2015-04-10 19:24:45] 825*2^1397343-1 is not prime. Res64: 698096F6997C1EDC Time : 0.0 sec. user=mdettweiler [2015-04-10 19:24:45] 871*2^1397343-1 is not prime. Res64: 2F3B71FCCDCE7A4B Time : 0.0 sec. user=mdettweiler [2015-04-10 19:25:05] 873*2^1397343-1 is not prime. Res64: 10E3DB48F3907A74 Time : 0.0 sec. user=mdettweiler [2015-04-10 19:25:06] 901*2^1397343-1 is not prime. Res64: ED585CE0B23434C2 Time : 0.0 sec. user=mdettweiler [2015-04-10 19:32:54] 945*2^1397343-1 is not prime. Res64: FCE1A4EEA9A58A87 Time : 0.0 sec. user=mdettweiler [2015-04-10 19:32:55] 951*2^1397343-1 is not prime. Res64: 1C7C6E957CC7428F Time : 0.0 sec. user=juhehe [2015-04-10 19:42:29] 955*2^1397343-1 is not prime. Res64: 1DD488810523CB08 Time : 0.0 sec. user=mdettweiler [2015-04-10 19:51:55] 707*2^1397344-1 is not prime. Res64: B0CBCF4E23410107 Time : 0.0 sec. user=mdettweiler [2015-04-10 19:51:55] 887*2^1397344-1 is not prime. Res64: 6D04C837F9DC0E25 Time : 0.0 sec. user=mdettweiler [2015-04-10 19:52:44] 927*2^1397344-1 is not prime. Res64: 06865457A309D62D Time : 0.0 sec. user=mdettweiler [2015-04-10 19:52:44] 937*2^1397345-1 is not prime. Res64: 95A87114D9C8F89C Time : 0.0 sec. user=mdettweiler [2015-04-10 19:54:25] 671*2^1397346-1 is not prime. Res64: 74713411B18F638A Time : 0.0 sec. user=mdettweiler [2015-04-10 19:54:25] 837*2^1397346-1 is not prime. Res64: C9C4757801092694 Time : 0.0 sec. user=mdettweiler [2015-04-10 20:01:59] 867*2^1397346-1 is not prime. Res64: 7B34FFDAA77FE8B1 Time : 0.0 sec. user=mdettweiler [2015-04-10 20:01:59] 873*2^1397346-1 is not prime. Res64: 0ED36A3A8D94109A Time : 0.0 sec. user=mdettweiler [2015-04-10 20:22:07] 887*2^1397346-1 is not prime. Res64: 6777D2BC032F7D87 Time : 0.0 sec. user=mdettweiler [2015-04-10 20:22:07] 975*2^1397346-1 is not prime. Res64: F13B9A011ACD5EFC Time : 0.0 sec. user=mdettweiler [2015-04-10 20:22:43] 645*2^1397347-1 is not prime. Res64: 9C3A7E51934A03B8 Time : 0.0 sec. user=mdettweiler [2015-04-10 20:22:44] 673*2^1397347-1 is not prime. Res64: 4CB2EE316EEB709B Time : 0.0 sec. user=mdettweiler [2015-04-10 20:24:34] 691*2^1397347-1 is not prime. Res64: 3E3CA757A44F831F Time : 0.0 sec. user=mdettweiler [2015-04-10 20:24:34] 703*2^1397347-1 is not prime. Res64: 070B41C31B814FA1 Time : 0.0 sec. user=mdettweiler [2015-04-10 20:32:37] 741*2^1397347-1 is not prime. Res64: 9F598178B45942B7 Time : 0.0 sec. user=mdettweiler [2015-04-10 20:32:37] 909*2^1397347-1 is not prime. Res64: EDD8B51FB7E73634 Time : 0.0 sec. user=mdettweiler [2015-04-10 20:51:30] 707*2^1397348-1 is not prime. Res64: B431637D59CB5532 Time : 0.0 sec. user=mdettweiler [2015-04-10 20:51:31] 845*2^1397348-1 is not prime. Res64: A76E95C1D1CE652E Time : 0.0 sec. user=mdettweiler [2015-04-10 20:52:16] 885*2^1397348-1 is not prime. Res64: 6AE3793575456C46 Time : 0.0 sec. user=mdettweiler [2015-04-10 20:52:16] 927*2^1397348-1 is not prime. Res64: 2DD7E0552360ECC9 Time : 0.0 sec. user=mdettweiler [2015-04-10 20:53:28] 993*2^1397348-1 is not prime. Res64: C61182FDB546B16F Time : 0.0 sec. user=mdettweiler [2015-04-10 20:53:28] 999*2^1397348-1 is not prime. Res64: 714BD408C9B93579 Time : 0.0 sec. user=mdettweiler [2015-04-10 21:00:37] 657*2^1397349-1 is not prime. Res64: 929CB7070E5BAC86 Time : 0.0 sec. user=mdettweiler [2015-04-10 21:00:38] 741*2^1397349-1 is not prime. Res64: 148D09E1D677BC20 Time : 0.0 sec. user=mdettweiler [2015-04-10 21:19:47] 969*2^1397349-1 is not prime. Res64: 4C59BCF0A28C6296 Time : 0.0 sec. user=mdettweiler [2015-04-10 21:19:47] 663*2^1397350-1 is not prime. Res64: C77ADAE84B9BD8F5 Time : 0.0 sec. user=mdettweiler [2015-04-10 21:20:46] 677*2^1397350-1 is not prime. Res64: 31C4F46B2C850577 Time : 0.0 sec. user=mdettweiler [2015-04-10 21:20:46] 695*2^1397350-1 is not prime. Res64: C2951D00849A4582 Time : 0.0 sec. user=mdettweiler [2015-04-10 21:21:53] 791*2^1397350-1 is not prime. Res64: 02D91E6D3638E467 Time : 0.0 sec. user=mdettweiler [2015-04-10 21:21:53] 821*2^1397350-1 is not prime. Res64: 0715B692BD32B9A8 Time : 0.0 sec. user=mdettweiler [2015-04-10 21:29:10] 863*2^1397350-1 is not prime. Res64: 4023AB2490CB5019 Time : 0.0 sec. user=mdettweiler [2015-04-10 21:29:10] 933*2^1397350-1 is not prime. Res64: DCE69B5C45597DFD Time : 0.0 sec. user=juhehe [2015-04-10 21:31:25] 857*2^1397350-1 is not prime. Res64: 5124FBD90906AF35 Time : 0.0 sec. user=mdettweiler [2015-04-10 21:48:18] 945*2^1397350-1 is not prime. Res64: 1AEC2E52E01F43B0 Time : 0.0 sec. user=mdettweiler [2015-04-10 21:48:18] 609*2^1397351-1 is not prime. Res64: 87AE9D546AD184E1 Time : 0.0 sec. user=mdettweiler [2015-04-10 21:49:26] 745*2^1397351-1 is not prime. Res64: AC2820CCB44A456C Time : 0.0 sec. user=mdettweiler [2015-04-10 21:49:26] 763*2^1397351-1 is not prime. Res64: 60672D1BA6DE1F3A Time : 0.0 sec. user=mdettweiler [2015-04-10 21:50:33] 811*2^1397351-1 is not prime. Res64: 79320D8EBF300D8F Time : 0.0 sec. user=mdettweiler [2015-04-10 21:50:34] 855*2^1397351-1 is not prime. Res64: 8B958EA9E412F522 Time : 0.0 sec. user=mdettweiler [2015-04-10 21:57:59] 669*2^1397352-1 is not prime. Res64: 3118FCE0D0CDFC3B Time : 0.0 sec. user=mdettweiler [2015-04-10 21:58:00] 803*2^1397352-1 is not prime. Res64: 0E5C770CCD3F23E5 Time : 0.0 sec. user=mdettweiler [2015-04-10 22:17:20] 809*2^1397352-1 is not prime. Res64: AA4C078FB05F177C Time : 0.0 sec. user=mdettweiler [2015-04-10 22:17:21] 819*2^1397352-1 is not prime. Res64: 26337D9408CB4613 Time : 0.0 sec. user=mdettweiler [2015-04-10 22:18:31] 873*2^1397352-1 is not prime. Res64: 1F6BF093E70D6025 Time : 0.0 sec. user=mdettweiler [2015-04-10 22:18:31] 909*2^1397352-1 is not prime. Res64: C01E2FC4C34D3257 Time : 0.0 sec. user=mdettweiler [2015-04-10 22:19:43] 649*2^1397353-1 is not prime. Res64: 4AB27D2848636DFA Time : 0.0 sec. user=mdettweiler [2015-04-10 22:19:43] 685*2^1397353-1 is not prime. Res64: 1A8E1B804D0C8895 Time : 0.0 sec. user=mdettweiler [2015-04-10 22:26:48] 937*2^1397353-1 is not prime. Res64: 9A4476CE419CBF56 Time : 0.0 sec. user=mdettweiler [2015-04-10 22:26:48] 645*2^1397354-1 is not prime. Res64: 581D64C9666CAD07 Time : 0.0 sec. user=mdettweiler [2015-04-10 22:46:05] 675*2^1397354-1 is not prime. Res64: 262DCAFFADA23DB2 Time : 0.0 sec. user=mdettweiler [2015-04-10 22:46:05] 705*2^1397354-1 is not prime. Res64: 01F1335616C91EB4 Time : 0.0 sec. user=mdettweiler [2015-04-10 22:47:18] 851*2^1397354-1 is not prime. Res64: B13AC2FBD6F179BA Time : 0.0 sec. user=mdettweiler [2015-04-10 22:47:18] 923*2^1397354-1 is not prime. Res64: 23571B8DE20DDE81 Time : 0.0 sec. user=mdettweiler [2015-04-10 22:48:31] 783*2^1397355-1 is not prime. Res64: 99A7F176C93C5099 Time : 0.0 sec. user=mdettweiler [2015-04-10 22:48:31] 793*2^1397355-1 is not prime. Res64: 1086330AA6FB9882 Time : 0.0 sec. user=mdettweiler [2015-04-10 22:55:32] 801*2^1397355-1 is not prime. Res64: 5FB9D525616DD48F Time : 0.0 sec. user=mdettweiler [2015-04-10 22:55:32] 891*2^1397355-1 is not prime. Res64: 868988029AEB7EF4 Time : 0.0 sec. user=mdettweiler [2015-04-10 23:14:48] 903*2^1397355-1 is not prime. Res64: 2C355FB10781CAC0 Time : 0.0 sec. user=mdettweiler [2015-04-10 23:14:49] 909*2^1397355-1 is not prime. Res64: 4980AF443CEADC46 Time : 0.0 sec. user=mdettweiler [2015-04-10 23:16:17] 615*2^1397356-1 is not prime. Res64: 24F2E0A95629E3DE Time : 0.0 sec. user=mdettweiler [2015-04-10 23:16:17] 647*2^1397356-1 is not prime. Res64: 6F63AC132A6C8594 Time : 0.0 sec. user=mdettweiler [2015-04-10 23:17:18] 743*2^1397356-1 is not prime. Res64: 47595351FDE947DD Time : 0.0 sec. user=mdettweiler [2015-04-10 23:17:19] 765*2^1397356-1 is not prime. Res64: 59BBCA9B4F3088A4 Time : 0.0 sec. user=juhehe [2015-04-10 23:20:06] 895*2^1397355-1 is not prime. Res64: 4072B9608BAF2371 Time : 0.0 sec. user=mdettweiler [2015-04-10 23:24:13] 903*2^1397356-1 is not prime. Res64: 52D963DD3ED9FACD Time : 0.0 sec. user=mdettweiler [2015-04-10 23:24:13] 927*2^1397356-1 is not prime. Res64: D9AC992B4B9499B0 Time : 0.0 sec. user=mdettweiler [2015-04-10 23:43:22] 999*2^1397356-1 is not prime. Res64: 7E54F70C04FC0036 Time : 0.0 sec. user=mdettweiler [2015-04-10 23:43:22] 699*2^1397357-1 is not prime. Res64: 9751C8A91CA08319 Time : 0.0 sec. user=mdettweiler [2015-04-10 23:44:57] 711*2^1397357-1 is not prime. Res64: BFB896497459197C Time : 0.0 sec. user=mdettweiler [2015-04-10 23:44:57] 729*2^1397357-1 is not prime. Res64: D789E75E46719764 Time : 0.0 sec. user=mdettweiler [2015-04-10 23:46:03] 829*2^1397357-1 is not prime. Res64: 3F0A4C24819E067A Time : 0.0 sec. user=mdettweiler [2015-04-10 23:46:03] 957*2^1397357-1 is not prime. Res64: 404E5394E1F68257 Time : 0.0 sec. user=mdettweiler [2015-04-10 23:52:55] 627*2^1397358-1 is not prime. Res64: 6DDB01D6B9179C95 Time : 0.0 sec. user=mdettweiler [2015-04-10 23:52:55] 641*2^1397358-1 is not prime. Res64: D2B6C1740BD5A823 Time : 0.0 sec.