user=mdettweiler [2016-08-30 00:11:22] 915*2^1438273-1 is not prime. Res64: E008706233F8AB4C Time : 0.0 sec. user=mdettweiler [2016-08-30 00:11:23] 677*2^1438274-1 is not prime. Res64: 38E5922009C1C61A Time : 0.0 sec. user=mdettweiler [2016-08-30 00:11:24] 705*2^1438274-1 is not prime. Res64: 2C3BF9A8F09F99F1 Time : 0.0 sec. user=mdettweiler [2016-08-30 00:11:24] 815*2^1438274-1 is not prime. Res64: 373CBEF9A4BD927E Time : 0.0 sec. user=mdettweiler [2016-08-30 00:11:25] 831*2^1438274-1 is not prime. Res64: 23FBFA18F49B6374 Time : 0.0 sec. user=mdettweiler [2016-08-30 00:29:21] 987*2^1438274-1 is not prime. Res64: 287846387393711F Time : 0.0 sec. user=mdettweiler [2016-08-30 00:29:22] 625*2^1438275-1 is not prime. Res64: 126896C5638E93EB Time : 0.0 sec. user=mdettweiler [2016-08-30 00:29:22] 873*2^1438275-1 is not prime. Res64: 5A90FB3E24F5AF67 Time : 0.0 sec. user=mdettweiler [2016-08-30 00:29:23] 895*2^1438275-1 is not prime. Res64: 5FE8B84287C1817A Time : 0.0 sec. user=mdettweiler [2016-08-30 00:29:23] 921*2^1438275-1 is not prime. Res64: 4D38A1EE145F5F58 Time : 0.0 sec. user=mdettweiler [2016-08-30 00:39:08] 973*2^1438275-1 is not prime. Res64: 6AE029F415CDBF40 Time : 0.0 sec. user=mdettweiler [2016-08-30 00:39:08] 647*2^1438276-1 is not prime. Res64: 1D2EB75B897814F9 Time : 0.0 sec. user=mdettweiler [2016-08-30 00:39:08] 735*2^1438276-1 is not prime. Res64: 2B76688255F6F2FC Time : 0.0 sec. user=mdettweiler [2016-08-30 00:39:09] 843*2^1438276-1 is not prime. Res64: 9D3B39AC209B1EBC Time : 0.0 sec. user=mdettweiler [2016-08-30 00:39:09] 857*2^1438276-1 is not prime. Res64: A9A94C611EFD586A Time : 0.0 sec. user=mdettweiler [2016-08-30 00:42:24] 873*2^1438276-1 is not prime. Res64: 504A4905FCAD8F0E Time : 0.0 sec. user=mdettweiler [2016-08-30 00:42:24] 655*2^1438277-1 is not prime. Res64: DA4E9ABE9561524E Time : 0.0 sec. user=mdettweiler [2016-08-30 00:42:25] 717*2^1438277-1 is not prime. Res64: 2777547543483A84 Time : 0.0 sec. user=mdettweiler [2016-08-30 00:42:25] 957*2^1438277-1 is not prime. Res64: 8022F13DC9E312A3 Time : 0.0 sec. user=mdettweiler [2016-08-30 00:42:26] 663*2^1438278-1 is not prime. Res64: DDADF2CE20178784 Time : 0.0 sec. user=mdettweiler [2016-08-30 00:56:36] 707*2^1438278-1 is not prime. Res64: C0252701566B3D7E Time : 0.0 sec. user=mdettweiler [2016-08-30 00:56:36] 761*2^1438278-1 is not prime. Res64: 8B3A7C41A362AEE4 Time : 0.0 sec. user=mdettweiler [2016-08-30 00:56:37] 887*2^1438278-1 is not prime. Res64: 8EDAC2BAA4D2D9F1 Time : 0.0 sec. user=mdettweiler [2016-08-30 00:56:37] 741*2^1438279-1 is not prime. Res64: 456F4EE477572A6A Time : 0.0 sec. user=mdettweiler [2016-08-30 00:56:37] 853*2^1438279-1 is not prime. Res64: 8F5C1D3B84CA80AA Time : 0.0 sec. user=mdettweiler [2016-08-30 01:14:34] 961*2^1438279-1 is not prime. Res64: 1E42D06368A458E7 Time : 0.0 sec. user=mdettweiler [2016-08-30 01:14:34] 969*2^1438279-1 is not prime. Res64: 1E372B4A83D82AA5 Time : 0.0 sec. user=mdettweiler [2016-08-30 01:14:35] 855*2^1438280-1 is not prime. Res64: F83FD96B699EF81F Time : 0.0 sec. user=mdettweiler [2016-08-30 01:14:35] 601*2^1438281-1 is not prime. Res64: 1E438062C72B9393 Time : 0.0 sec. user=mdettweiler [2016-08-30 01:14:35] 739*2^1438281-1 is not prime. Res64: E0D375AB49B7857F Time : 0.0 sec. user=mdettweiler [2016-08-30 01:24:15] 777*2^1438281-1 is not prime. Res64: A7DAC858B76E655D Time : 0.0 sec. user=mdettweiler [2016-08-30 01:24:15] 795*2^1438281-1 is not prime. Res64: 0AB43BDEE2FA7913 Time : 0.0 sec. user=mdettweiler [2016-08-30 01:24:15] 811*2^1438281-1 is not prime. Res64: 8476E5B780D53AFD Time : 0.0 sec. user=mdettweiler [2016-08-30 01:24:16] 847*2^1438281-1 is not prime. Res64: 898BB7232FFD0B17 Time : 0.0 sec. user=mdettweiler [2016-08-30 01:24:16] 865*2^1438281-1 is not prime. Res64: AEE41F87CF03D803 Time : 0.0 sec. user=mdettweiler [2016-08-30 01:27:35] 945*2^1438281-1 is not prime. Res64: EBBA8659180C97FD Time : 0.0 sec. user=mdettweiler [2016-08-30 01:27:40] 975*2^1438281-1 is not prime. Res64: 2722A0CB6F90BFDE Time : 0.0 sec. user=mdettweiler [2016-08-30 01:27:42] 997*2^1438281-1 is not prime. Res64: 4128D501AB705ED8 Time : 0.0 sec. user=mdettweiler [2016-08-30 01:27:44] 723*2^1438282-1 is not prime. Res64: 2FB8655545C5810F Time : 0.0 sec. user=mdettweiler [2016-08-30 01:27:47] 777*2^1438282-1 is not prime. Res64: 916C29C58B898AF9 Time : 0.0 sec. user=mdettweiler [2016-08-30 01:41:46] 911*2^1438282-1 is not prime. Res64: 67BC9C92ACA0B694 Time : 0.0 sec. user=mdettweiler [2016-08-30 01:41:46] 917*2^1438282-1 is not prime. Res64: 3F12A6EC97EDF67C Time : 0.0 sec. user=mdettweiler [2016-08-30 01:41:47] 995*2^1438282-1 is not prime. Res64: 5A2B66D1D71202FC Time : 0.0 sec. user=mdettweiler [2016-08-30 01:41:47] 609*2^1438283-1 is not prime. Res64: 67B7EC75F2D20BAD Time : 0.0 sec. user=mdettweiler [2016-08-30 01:41:48] 801*2^1438283-1 is not prime. Res64: FC443C759D817D89 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:00:08] 819*2^1438283-1 is not prime. Res64: E77C9E885F975550 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:00:09] 861*2^1438283-1 is not prime. Res64: F0EA2B09C45FFE06 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:00:09] 885*2^1438283-1 is not prime. Res64: 7C0B47E6E4C6CDA8 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:00:09] 913*2^1438283-1 is not prime. Res64: 2FF4B72F824ADA63 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:00:10] 723*2^1438284-1 is not prime. Res64: 79FED03FB89D9A07 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:10:16] 857*2^1438284-1 is not prime. Res64: C43833E7F8C02070 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:10:16] 965*2^1438284-1 is not prime. Res64: 8A5FFC794B2CD11E Time : 0.0 sec. user=mdettweiler [2016-08-30 02:10:17] 645*2^1438285-1 is not prime. Res64: 0F29F8AFA0BE07E6 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:10:17] 675*2^1438285-1 is not prime. Res64: 0B035C3E9155ADD6 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:10:17] 885*2^1438285-1 is not prime. Res64: ED3FCADD0470E848 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:14:36] 895*2^1438285-1 is not prime. Res64: 20742326C7EBCFBB Time : 0.0 sec. user=mdettweiler [2016-08-30 02:14:37] 705*2^1438286-1 is not prime. Res64: 35C93424221CCBBA Time : 0.0 sec. user=mdettweiler [2016-08-30 02:14:37] 711*2^1438286-1 is not prime. Res64: A457E5BF638317AF Time : 0.0 sec. user=mdettweiler [2016-08-30 02:14:38] 717*2^1438286-1 is not prime. Res64: 30C96158D1827984 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:14:39] 851*2^1438286-1 is not prime. Res64: BA557E45E65EBC6A Time : 0.0 sec. user=mdettweiler [2016-08-30 02:28:52] 867*2^1438286-1 is not prime. Res64: 3701C29C7B634230 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:28:52] 971*2^1438286-1 is not prime. Res64: 94DD653FD5DD504C Time : 0.0 sec. user=mdettweiler [2016-08-30 02:28:53] 693*2^1438287-1 is not prime. Res64: A051B5C8A086DAE5 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:28:54] 741*2^1438287-1 is not prime. Res64: 604028144349D36A Time : 0.0 sec. user=mdettweiler [2016-08-30 02:28:54] 865*2^1438287-1 is not prime. Res64: AC6085DF0F8CDF65 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:46:44] 951*2^1438287-1 is not prime. Res64: D8787A8C7A0F20E7 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:46:45] 975*2^1438287-1 is not prime. Res64: 08AF6470EC3FAD6F Time : 0.0 sec. user=mdettweiler [2016-08-30 02:46:46] 723*2^1438288-1 is not prime. Res64: AE7FE0D821E567C6 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:46:47] 797*2^1438288-1 is not prime. Res64: 042310E8911B0C40 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:46:48] 875*2^1438288-1 is not prime. Res64: 7BD1AAE5B7025F23 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:55:28] 887*2^1438288-1 is not prime. Res64: B0EF51D2AB8935DC Time : 0.0 sec. user=mdettweiler [2016-08-30 02:55:29] 619*2^1438289-1 is not prime. Res64: 29CA242A028DD700 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:55:29] 631*2^1438289-1 is not prime. Res64: 5C6E9AB4582B399F Time : 0.0 sec. user=mdettweiler [2016-08-30 02:55:30] 697*2^1438289-1 is not prime. Res64: 720E704AA2DE8997 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:55:30] 729*2^1438289-1 is not prime. Res64: D529AC581283091F Time : 0.0 sec. user=mdettweiler [2016-08-30 02:59:35] 741*2^1438289-1 is not prime. Res64: 9E59124BAC6B15AA Time : 0.0 sec. user=mdettweiler [2016-08-30 02:59:35] 841*2^1438289-1 is not prime. Res64: E0B67B5DB4DF3D16 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:59:36] 627*2^1438290-1 is not prime. Res64: 9648A54A8B6484FF Time : 0.0 sec. user=mdettweiler [2016-08-30 02:59:36] 681*2^1438290-1 is not prime. Res64: 2C6668499FB25FF1 Time : 0.0 sec. user=mdettweiler [2016-08-30 02:59:37] 725*2^1438290-1 is not prime. Res64: A1333C33E87EEBBF Time : 0.0 sec. user=mdettweiler [2016-08-30 03:13:47] 755*2^1438290-1 is not prime. Res64: 20D71D29A1C414B9 Time : 0.0 sec. user=mdettweiler [2016-08-30 03:13:48] 797*2^1438290-1 is not prime. Res64: 1B5B2AB6CE1240E1 Time : 0.0 sec. user=mdettweiler [2016-08-30 03:13:48] 843*2^1438290-1 is not prime. Res64: 3831D8591C5558D9 Time : 0.0 sec. user=mdettweiler [2016-08-30 03:13:48] 945*2^1438290-1 is not prime. Res64: 0320494301FB78C1 Time : 0.0 sec. user=mdettweiler [2016-08-30 03:13:49] 957*2^1438290-1 is not prime. Res64: 5DB6E150F7868166 Time : 0.0 sec. user=mdettweiler [2016-08-30 03:31:47] 1001*2^1438290-1 is not prime. Res64: 9861E62BA8DA86FE Time : 0.0 sec. user=mdettweiler [2016-08-30 03:31:50] 603*2^1438291-1 is not prime. Res64: 523B7543E8A1E44A Time : 0.0 sec. user=mdettweiler [2016-08-30 03:31:51] 609*2^1438291-1 is not prime. Res64: 4E04529C67EB426B Time : 0.0 sec. user=mdettweiler [2016-08-30 03:31:52] 673*2^1438291-1 is not prime. Res64: AB2171A93C9AEADA Time : 0.0 sec. user=mdettweiler [2016-08-30 03:31:53] 685*2^1438291-1 is not prime. Res64: 7FD21EA6B71F5E67 Time : 0.0 sec. user=mdettweiler [2016-08-30 03:40:18] 715*2^1438291-1 is not prime. Res64: 922BFEC6069F0C0F Time : 0.0 sec. user=mdettweiler [2016-08-30 03:40:19] 735*2^1438291-1 is not prime. Res64: 096727107F056E3D Time : 0.0 sec. user=mdettweiler [2016-08-30 03:40:22] 775*2^1438291-1 is not prime. Res64: 73550244DD99A720 Time : 0.0 sec. user=mdettweiler [2016-08-30 03:40:23] 961*2^1438291-1 is not prime. Res64: AA2094BB61BC8BA4 Time : 0.0 sec. user=mdettweiler [2016-08-30 03:40:26] 623*2^1438292-1 is not prime. Res64: 833C6482D78A9501 Time : 0.0 sec. user=mdettweiler [2016-08-30 03:44:31] 629*2^1438292-1 is not prime. Res64: 7E219ACBCB5ED2E1 Time : 0.0 sec. user=mdettweiler [2016-08-30 03:44:31] 693*2^1438292-1 is not prime. Res64: 9DBEEA78A72A82E6 Time : 0.0 sec. user=mdettweiler [2016-08-30 03:44:32] 767*2^1438292-1 is not prime. Res64: 01F16A15743372E5 Time : 0.0 sec. user=mdettweiler [2016-08-30 03:44:33] 833*2^1438292-1 is not prime. Res64: 8FEA2809F8A3160A Time : 0.0 sec. user=mdettweiler [2016-08-30 03:44:33] 929*2^1438292-1 is not prime. Res64: 1FDBC9AD137F1AF7 Time : 0.0 sec. user=mdettweiler [2016-08-30 03:59:04] 727*2^1438293-1 is not prime. Res64: C98C5B7B47E50B3F Time : 0.0 sec. user=mdettweiler [2016-08-30 03:59:05] 781*2^1438293-1 is not prime. Res64: 62BC2720099FA561 Time : 0.0 sec. user=mdettweiler [2016-08-30 03:59:05] 877*2^1438293-1 is not prime. Res64: BCEA1B9B011858F1 Time : 0.0 sec. user=mdettweiler [2016-08-30 03:59:06] 901*2^1438293-1 is not prime. Res64: FC2759C410526529 Time : 0.0 sec. user=mdettweiler [2016-08-30 03:59:06] 951*2^1438293-1 is not prime. Res64: 560938300E451F6E Time : 0.0 sec. user=mdettweiler [2016-08-30 04:17:26] 617*2^1438294-1 is not prime. Res64: 6586663D5E804F8E Time : 0.0 sec. user=mdettweiler [2016-08-30 04:17:26] 657*2^1438294-1 is not prime. Res64: EC3C4974FC5B215E Time : 0.0 sec. user=mdettweiler [2016-08-30 04:17:27] 681*2^1438294-1 is not prime. Res64: 8E43EC42B85D3FB0 Time : 0.0 sec. user=mdettweiler [2016-08-30 04:17:27] 773*2^1438294-1 is not prime. Res64: 51F8B84A2868A811 Time : 0.0 sec. user=mdettweiler [2016-08-30 04:17:28] 815*2^1438294-1 is not prime. Res64: 2681B61536648C85 Time : 0.0 sec. user=mdettweiler [2016-08-30 04:26:02] 855*2^1438294-1 is not prime. Res64: 29CD612E735C54B3 Time : 0.0 sec. user=mdettweiler [2016-08-30 04:26:02] 965*2^1438294-1 is not prime. Res64: 4495FBB4F314F581 Time : 0.0 sec. user=mdettweiler [2016-08-30 04:26:03] 993*2^1438294-1 is not prime. Res64: A763AACCE63129A7 Time : 0.0 sec. user=mdettweiler [2016-08-30 04:26:03] 619*2^1438295-1 is not prime. Res64: 36C82EA1E393717E Time : 0.0 sec. user=mdettweiler [2016-08-30 04:26:03] 705*2^1438295-1 is not prime. Res64: B41A51291C5F8384 Time : 0.0 sec. user=mdettweiler [2016-08-30 04:29:46] 781*2^1438295-1 is not prime. Res64: 66B9EBF68BB75D2D Time : 0.0 sec. user=mdettweiler [2016-08-30 04:29:47] 799*2^1438295-1 is not prime. Res64: 891B348D239E7E11 Time : 0.0 sec. user=mdettweiler [2016-08-30 04:29:47] 805*2^1438295-1 is not prime. Res64: 08FA3484FF22DF47 Time : 0.0 sec. user=mdettweiler [2016-08-30 04:29:47] 865*2^1438295-1 is not prime. Res64: 2545B41B750C1826 Time : 0.0 sec. user=mdettweiler [2016-08-30 04:29:48] 939*2^1438295-1 is not prime. Res64: 5DF5385C45E60CD4 Time : 0.0 sec. user=mdettweiler [2016-08-30 04:44:06] 969*2^1438295-1 is not prime. Res64: 74797ADAF1A4900C Time : 0.0 sec. user=mdettweiler [2016-08-30 04:44:06] 629*2^1438296-1 is not prime. Res64: BC091D888515F1F3 Time : 0.0 sec. user=mdettweiler [2016-08-30 04:44:06] 875*2^1438296-1 is not prime. Res64: A4E59FC55672B144 Time : 0.0 sec. user=mdettweiler [2016-08-30 04:44:07] 905*2^1438296-1 is not prime. Res64: AB0994C2551E225C Time : 0.0 sec. user=mdettweiler [2016-08-30 04:44:07] 947*2^1438296-1 is not prime. Res64: 822B5B985F8A581A Time : 0.0 sec. user=mdettweiler [2016-08-30 05:02:28] 993*2^1438296-1 is not prime. Res64: C64095F9E491678B Time : 0.0 sec. user=mdettweiler [2016-08-30 05:02:29] 667*2^1438297-1 is not prime. Res64: A8609A482729F1C4 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:02:29] 675*2^1438297-1 is not prime. Res64: 6D51CB50C4F9DD25 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:02:30] 729*2^1438297-1 is not prime. Res64: 2CD3D12FD5C8A405 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:02:31] 801*2^1438297-1 is not prime. Res64: 7C7AC88B28E39E27 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:10:58] 861*2^1438297-1 is not prime. Res64: AE685B4D26E80778 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:10:59] 897*2^1438297-1 is not prime. Res64: 86E6A0150B905F9A Time : 0.0 sec. user=mdettweiler [2016-08-30 05:10:59] 937*2^1438297-1 is not prime. Res64: 088FC8C07C7C3FA6 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:10:59] 979*2^1438297-1 is not prime. Res64: 9A60C7FD61417739 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:11:00] 771*2^1438298-1 is not prime. Res64: C43757B56E57687A Time : 0.0 sec. user=mdettweiler [2016-08-30 05:14:43] 797*2^1438298-1 is not prime. Res64: C87939AA3C00B591 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:14:43] 843*2^1438298-1 is not prime. Res64: AD8827CB680A1C2D Time : 0.0 sec. user=mdettweiler [2016-08-30 05:14:44] 857*2^1438298-1 is not prime. Res64: D0F04000A5131328 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:14:44] 875*2^1438298-1 is not prime. Res64: DC11A38130AD06DB Time : 0.0 sec. user=mdettweiler [2016-08-30 05:14:45] 723*2^1438299-1 is not prime. Res64: 720D7B1A5766834D Time : 0.0 sec. user=mdettweiler [2016-08-30 05:28:58] 751*2^1438299-1 is not prime. Res64: A3D78F42F4138A81 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:28:59] 973*2^1438299-1 is not prime. Res64: D85E6BAFD7D0F083 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:28:59] 985*2^1438299-1 is not prime. Res64: ABA4E6B3005C19AF Time : 0.0 sec. user=mdettweiler [2016-08-30 05:28:59] 609*2^1438300-1 is not prime. Res64: 5456167AC93C4FB8 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:29:00] 719*2^1438300-1 is not prime. Res64: 5FF3BF430B4BD121 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:47:32] 759*2^1438300-1 is not prime. Res64: 5F67E1BD593EF09B Time : 0.0 sec. user=mdettweiler [2016-08-30 05:47:33] 773*2^1438300-1 is not prime. Res64: DD29BE6A52561852 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:47:33] 631*2^1438301-1 is not prime. Res64: 32D392E9E3F0D582 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:47:33] 741*2^1438301-1 is not prime. Res64: F04F2B21355E398B Time : 0.0 sec. user=mdettweiler [2016-08-30 05:47:34] 769*2^1438301-1 is not prime. Res64: F9A26ED6CB2E914A Time : 0.0 sec. user=mdettweiler [2016-08-30 05:56:02] 819*2^1438301-1 is not prime. Res64: E086E4ABD26AC455 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:56:02] 829*2^1438301-1 is not prime. Res64: 400A071A81CC8AC7 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:56:02] 871*2^1438301-1 is not prime. Res64: 99956F966BB86B74 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:56:03] 937*2^1438301-1 is not prime. Res64: 7D118209AAB24786 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:56:03] 611*2^1438302-1 is not prime. Res64: 5371B7AAE4E54E97 Time : 0.0 sec. user=mdettweiler [2016-08-30 05:59:35] 711*2^1438302-1 is not prime. Res64: 517277797C2BA6EB Time : 0.0 sec. user=mdettweiler [2016-08-30 05:59:35] 755*2^1438302-1 is not prime. Res64: A9AEED3C6C44C95C Time : 0.0 sec. user=mdettweiler [2016-08-30 05:59:36] 761*2^1438302-1 is not prime. Res64: 08CA1207DBDC0FEA Time : 0.0 sec. user=mdettweiler [2016-08-30 05:59:36] 777*2^1438302-1 is not prime. Res64: B703E84EC3919E1C Time : 0.0 sec. user=mdettweiler [2016-08-30 05:59:36] 791*2^1438302-1 is not prime. Res64: 7E830968CDBE4F4A Time : 0.0 sec. user=mdettweiler [2016-08-30 06:13:51] 885*2^1438302-1 is not prime. Res64: 7C774B80D722E3EA Time : 0.0 sec. user=mdettweiler [2016-08-30 06:13:51] 917*2^1438302-1 is not prime. Res64: C2C3A1F74345015A Time : 0.0 sec. user=mdettweiler [2016-08-30 06:13:52] 603*2^1438303-1 is not prime. Res64: 540B3238E32FA2DC Time : 0.0 sec. user=mdettweiler [2016-08-30 06:13:52] 609*2^1438303-1 is not prime. Res64: 2B50B91B218F9936 Time : 0.0 sec. user=mdettweiler [2016-08-30 06:13:53] 673*2^1438303-1 is not prime. Res64: 8830172DBBA817D2 Time : 0.0 sec. user=mdettweiler [2016-08-30 06:32:28] 705*2^1438303-1 is not prime. Res64: 35C3DD8090C8655C Time : 0.0 sec. user=mdettweiler [2016-08-30 06:32:29] 751*2^1438303-1 is not prime. Res64: C22E26D3468140D0 Time : 0.0 sec. user=mdettweiler [2016-08-30 06:32:30] 765*2^1438303-1 is not prime. Res64: 6A0B45336D84BD25 Time : 0.0 sec. user=mdettweiler [2016-08-30 06:32:31] 771*2^1438303-1 is not prime. Res64: 7739B895B1D4E35F Time : 0.0 sec. user=mdettweiler [2016-08-30 06:32:31] 859*2^1438303-1 is not prime. Res64: EE6FA285D15E48DA Time : 0.0 sec. user=mdettweiler [2016-08-30 06:40:54] 943*2^1438303-1 is not prime. Res64: 01127BB06134C033 Time : 0.0 sec. user=mdettweiler [2016-08-30 06:40:55] 683*2^1438304-1 is not prime. Res64: A175331711FAD32B Time : 0.0 sec. user=mdettweiler [2016-08-30 06:40:55] 743*2^1438304-1 is not prime. Res64: 17E5600786237A66 Time : 0.0 sec. user=mdettweiler [2016-08-30 06:40:56] 897*2^1438304-1 is not prime. Res64: 23EA4823C0A8D84B Time : 0.0 sec. user=mdettweiler [2016-08-30 06:40:56] 983*2^1438304-1 is not prime. Res64: BA9177EA2F145FF7 Time : 0.0 sec. user=mdettweiler [2016-08-30 06:44:34] 607*2^1438305-1 is not prime. Res64: 5F6553FB2E5871B2 Time : 0.0 sec. user=mdettweiler [2016-08-30 06:44:35] 625*2^1438305-1 is not prime. Res64: E3C0DFC5B168F764 Time : 0.0 sec. user=mdettweiler [2016-08-30 06:44:35] 789*2^1438305-1 is not prime. Res64: A5CA5511FCA554A9 Time : 0.0 sec. user=mdettweiler [2016-08-30 06:44:35] 819*2^1438305-1 is not prime. Res64: 884DB77752018A4A Time : 0.0 sec. user=mdettweiler [2016-08-30 06:44:36] 831*2^1438305-1 is not prime. Res64: 38378E0B8F37D356 Time : 0.0 sec. user=mdettweiler [2016-08-30 06:58:47] 909*2^1438305-1 is not prime. Res64: D168161E54C6B2FD Time : 0.0 sec. user=mdettweiler [2016-08-30 06:58:48] 997*2^1438305-1 is not prime. Res64: A3C19C6360FD2E16 Time : 0.0 sec. user=mdettweiler [2016-08-30 06:58:48] 623*2^1438306-1 is not prime. Res64: 6B355950855B18BD Time : 0.0 sec. user=mdettweiler [2016-08-30 06:58:49] 657*2^1438306-1 is not prime. Res64: E3B7C23CFAAA7196 Time : 0.0 sec. user=mdettweiler [2016-08-30 06:58:50] 671*2^1438306-1 is not prime. Res64: BDEFD534825A6709 Time : 0.0 sec. user=mdettweiler [2016-08-30 07:17:48] 675*2^1438306-1 is not prime. Res64: 2D900FEFE3E2549D Time : 0.0 sec. user=mdettweiler [2016-08-30 07:17:49] 743*2^1438306-1 is not prime. Res64: 28E1455C77B7607C Time : 0.0 sec. user=mdettweiler [2016-08-30 07:17:49] 813*2^1438306-1 is not prime. Res64: 5EC0BAD6863C03C3 Time : 0.0 sec. user=mdettweiler [2016-08-30 07:17:50] 825*2^1438306-1 is not prime. Res64: 40A44B8971964FB8 Time : 0.0 sec. user=mdettweiler [2016-08-30 07:17:50] 911*2^1438306-1 is not prime. Res64: 2EDE7E16B9D31847 Time : 0.0 sec. user=mdettweiler [2016-08-30 07:26:01] 975*2^1438306-1 is not prime. Res64: 2264B8010DD10C83 Time : 0.0 sec. user=mdettweiler [2016-08-30 07:26:02] 693*2^1438307-1 is not prime. Res64: 93986CF51A9F3954 Time : 0.0 sec. user=mdettweiler [2016-08-30 07:26:02] 885*2^1438307-1 is not prime. Res64: 298E25DE11D5EDBC Time : 0.0 sec. user=mdettweiler [2016-08-30 07:26:02] 627*2^1438308-1 is not prime. Res64: 506A107CAFADDA4E Time : 0.0 sec. user=mdettweiler [2016-08-30 07:26:03] 749*2^1438308-1 is not prime. Res64: 4F87233530972571 Time : 0.0 sec. user=mdettweiler [2016-08-30 07:29:45] 759*2^1438308-1 is not prime. Res64: 7BD3716AFCCD5018 Time : 0.0 sec. user=mdettweiler [2016-08-30 07:29:46] 767*2^1438308-1 is not prime. Res64: 109F06745889ABBF Time : 0.0 sec. user=mdettweiler [2016-08-30 07:29:46] 777*2^1438308-1 is not prime. Res64: 305D8D12A6BA837F Time : 0.0 sec. user=mdettweiler [2016-08-30 07:29:47] 927*2^1438308-1 is not prime. Res64: 330B72C81276796B Time : 0.0 sec. user=mdettweiler [2016-08-30 07:29:47] 601*2^1438309-1 is not prime. Res64: 9392010C1E8D6CE9 Time : 0.0 sec. user=mdettweiler [2016-08-30 07:44:05] 615*2^1438309-1 is not prime. Res64: A8EDD203BC53A075 Time : 0.0 sec. user=mdettweiler [2016-08-30 07:44:05] 667*2^1438309-1 is not prime. Res64: 2C48D09574CB6624 Time : 0.0 sec. user=mdettweiler [2016-08-30 07:44:07] 681*2^1438309-1 is not prime. Res64: 610243E1ECBF8610 Time : 0.0 sec. user=mdettweiler [2016-08-30 07:44:08] 825*2^1438309-1 is not prime. Res64: 4E67CCCDDBBDCABC Time : 0.0 sec. user=mdettweiler [2016-08-30 07:44:09] 773*2^1438310-1 is not prime. Res64: 8723ED42A614CA95 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:02:52] 833*2^1438310-1 is not prime. Res64: B85EB66D35BB9860 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:02:54] 851*2^1438310-1 is not prime. Res64: 0EFFE0C9E0DD6BAD Time : 0.0 sec. user=mdettweiler [2016-08-30 08:02:55] 911*2^1438310-1 is not prime. Res64: 3A3998B3E2EF58D4 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:02:56] 923*2^1438310-1 is not prime. Res64: 4A0EC78F3EA99289 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:02:57] 621*2^1438311-1 is not prime. Res64: E2ADFDC06C0C2BE9 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:11:01] 705*2^1438311-1 is not prime. Res64: EAA82796ECB5478F Time : 0.0 sec. user=mdettweiler [2016-08-30 08:11:01] 709*2^1438311-1 is not prime. Res64: 9CE25E87F2AA2325 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:11:02] 781*2^1438311-1 is not prime. Res64: 58B920E43094D910 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:11:03] 823*2^1438311-1 is not prime. Res64: 0D487F4753A68032 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:11:04] 861*2^1438311-1 is not prime. Res64: 9DEE06553CE88FA3 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:14:36] 931*2^1438311-1 is not prime. Res64: 5179B0233673B1F2 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:14:36] 605*2^1438312-1 is not prime. Res64: EF53FAD4E15A3CD2 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:14:37] 645*2^1438312-1 is not prime. Res64: F8E4D7A66ED8DF2C Time : 0.0 sec. user=mdettweiler [2016-08-30 08:14:37] 665*2^1438312-1 is not prime. Res64: 701D3CB2712AA6A5 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:14:38] 675*2^1438312-1 is not prime. Res64: 8346CE38A2B10F62 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:29:09] 695*2^1438312-1 is not prime. Res64: 4512F5EFC1B96A1E Time : 0.0 sec. user=mdettweiler [2016-08-30 08:29:10] 803*2^1438312-1 is not prime. Res64: 076A43C505D6DA77 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:29:10] 825*2^1438312-1 is not prime. Res64: F035042A60F36350 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:29:11] 869*2^1438312-1 is not prime. Res64: 5198D08A116FA841 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:29:11] 873*2^1438312-1 is not prime. Res64: 190EA4D9977EBF5F Time : 0.0 sec. user=mdettweiler [2016-08-30 08:48:10] 903*2^1438312-1 is not prime. Res64: 2A16EA8C81B148CE Time : 0.0 sec. user=mdettweiler [2016-08-30 08:48:10] 999*2^1438312-1 is not prime. Res64: 0AD3B536E22C3DD6 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:48:11] 727*2^1438313-1 is not prime. Res64: D5C1E199630C1AAB Time : 0.0 sec. user=mdettweiler [2016-08-30 08:48:11] 769*2^1438313-1 is not prime. Res64: 03308A90821164BF Time : 0.0 sec. user=mdettweiler [2016-08-30 08:48:11] 871*2^1438313-1 is not prime. Res64: 23C74580BD45BDDC Time : 0.0 sec. user=mdettweiler [2016-08-30 08:56:07] 663*2^1438314-1 is not prime. Res64: 5850A26F14BA4F70 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:56:08] 803*2^1438314-1 is not prime. Res64: 0BB62619CAF2C5CD Time : 0.0 sec. user=mdettweiler [2016-08-30 08:56:08] 915*2^1438314-1 is not prime. Res64: 8CDE96BFDD4B4B2E Time : 0.0 sec. user=mdettweiler [2016-08-30 08:56:09] 945*2^1438314-1 is not prime. Res64: 432FF65E0A145EB8 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:56:10] 971*2^1438314-1 is not prime. Res64: E730490CD7DC43D7 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:59:43] 645*2^1438315-1 is not prime. Res64: 966729725A4F9DB3 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:59:43] 649*2^1438315-1 is not prime. Res64: F7F76524E8836AE8 Time : 0.0 sec. user=mdettweiler [2016-08-30 08:59:44] 675*2^1438315-1 is not prime. Res64: CD98D536C428867E Time : 0.0 sec. user=mdettweiler [2016-08-30 08:59:44] 735*2^1438315-1 is not prime. Res64: E202B517A2FF030B Time : 0.0 sec. user=mdettweiler [2016-08-30 08:59:45] 919*2^1438315-1 is not prime. Res64: B522A3061E1618B9 Time : 0.0 sec. user=mdettweiler [2016-08-30 09:14:15] 647*2^1438316-1 is not prime. Res64: E7C54C969BB0F748 Time : 0.0 sec. user=mdettweiler [2016-08-30 09:14:16] 969*2^1438316-1 is not prime. Res64: 01A377AAE729EFA2 Time : 0.0 sec. user=mdettweiler [2016-08-30 09:14:16] 669*2^1438317-1 is not prime. Res64: C4C98829421AF988 Time : 0.0 sec. user=mdettweiler [2016-08-30 09:14:17] 691*2^1438317-1 is not prime. Res64: 39F8235CEBCAF6EE Time : 0.0 sec. user=mdettweiler [2016-08-30 09:14:17] 765*2^1438317-1 is not prime. Res64: 2DFD8E79B84F2626 Time : 0.0 sec. user=mdettweiler [2016-08-30 09:33:16] 847*2^1438317-1 is not prime. Res64: D7779BC8DE61131F Time : 0.0 sec. user=mdettweiler [2016-08-30 09:33:16] 849*2^1438317-1 is not prime. Res64: DD06BDE8F5FAA3BA Time : 0.0 sec. user=mdettweiler [2016-08-30 09:33:17] 867*2^1438317-1 is not prime. Res64: 1606C524061D727C Time : 0.0 sec. user=mdettweiler [2016-08-30 09:33:17] 901*2^1438317-1 is not prime. Res64: 2E24D4297A2659A4 Time : 0.0 sec. user=mdettweiler [2016-08-30 09:33:17] 979*2^1438317-1 is not prime. Res64: AED75000A4EE6072 Time : 0.0 sec. user=mdettweiler [2016-08-30 09:41:08] 635*2^1438318-1 is not prime. Res64: B69145A5C09A8D4E Time : 0.0 sec. user=mdettweiler [2016-08-30 09:41:09] 755*2^1438318-1 is not prime. Res64: CCC5FB3F64D3E1BD Time : 0.0 sec. user=mdettweiler [2016-08-30 09:41:11] 827*2^1438318-1 is not prime. Res64: 1398881DFE0227FB Time : 0.0 sec. user=mdettweiler [2016-08-30 09:41:11] 833*2^1438318-1 is not prime. Res64: 86EEFB2091E73767 Time : 0.0 sec. user=mdettweiler [2016-08-30 09:41:11] 971*2^1438318-1 is not prime. Res64: 32E6A924E374DC6F Time : 0.0 sec. user=mdettweiler [2016-08-30 09:44:42] 987*2^1438318-1 is not prime. Res64: 03ABDA82AB1E4F32 Time : 0.0 sec. user=mdettweiler [2016-08-30 09:44:42] 619*2^1438319-1 is not prime. Res64: 740324D63AB66D1E Time : 0.0 sec. user=mdettweiler [2016-08-30 09:44:43] 661*2^1438319-1 is not prime. Res64: 828AA2A7041E1298 Time : 0.0 sec. user=mdettweiler [2016-08-30 09:44:43] 729*2^1438319-1 is not prime. Res64: 73546A0E70FE8841 Time : 0.0 sec. user=mdettweiler [2016-08-30 09:44:44] 825*2^1438319-1 is not prime. Res64: 1E6F7F25EA8F5E81 Time : 0.0 sec. user=mdettweiler [2016-08-30 09:59:16] 865*2^1438319-1 is not prime. Res64: BE6E5622B270D30E Time : 0.0 sec. user=mdettweiler [2016-08-30 09:59:17] 921*2^1438319-1 is not prime. Res64: ADD41B937FB26D2E Time : 0.0 sec. user=mdettweiler [2016-08-30 09:59:17] 985*2^1438319-1 is not prime. Res64: CBA316181DBEB2BF Time : 0.0 sec. user=mdettweiler [2016-08-30 09:59:18] 635*2^1438320-1 is not prime. Res64: B812A1079558E68E Time : 0.0 sec. user=mdettweiler [2016-08-30 09:59:18] 689*2^1438320-1 is not prime. Res64: 2D2420BE38B4C7D0 Time : 0.0 sec. user=mdettweiler [2016-08-30 10:18:06] 693*2^1438320-1 is not prime. Res64: 55BE8B7B72BFFDCC Time : 0.0 sec. user=mdettweiler [2016-08-30 10:18:07] 707*2^1438320-1 is not prime. Res64: 38CE809B1F9C820A Time : 0.0 sec. user=mdettweiler [2016-08-30 10:18:07] 719*2^1438320-1 is not prime. Res64: 2C698A47CCDFB808 Time : 0.0 sec. user=mdettweiler [2016-08-30 10:18:08] 747*2^1438320-1 is not prime. Res64: B8855763A85EC4C3 Time : 0.0 sec. user=mdettweiler [2016-08-30 10:18:08] 765*2^1438320-1 is not prime. Res64: 5718D86E32DF98AC Time : 0.0 sec. user=mdettweiler [2016-08-30 10:26:55] 779*2^1438320-1 is not prime. Res64: C302B47B22985420 Time : 0.0 sec. user=mdettweiler [2016-08-30 10:26:56] 825*2^1438320-1 is not prime. Res64: 2DCB919184800484 Time : 0.0 sec. user=mdettweiler [2016-08-30 10:26:56] 915*2^1438320-1 is not prime. Res64: 8C4B3795DBC8DA07 Time : 0.0 sec. user=mdettweiler [2016-08-30 10:26:56] 649*2^1438321-1 is not prime. Res64: 012F287FE940A762 Time : 0.0 sec. user=mdettweiler [2016-08-30 10:26:57] 889*2^1438321-1 is not prime. Res64: 3855769D6F6872C0 Time : 0.0 sec. user=mdettweiler [2016-08-30 10:30:16] 895*2^1438321-1 is not prime. Res64: B5C71B7C555E12F4 Time : 0.0 sec. user=mdettweiler [2016-08-30 10:30:16] 931*2^1438321-1 is not prime. Res64: 3C5F8F53AC06B661 Time : 0.0 sec. user=mdettweiler [2016-08-30 10:30:17] 633*2^1438322-1 is not prime. Res64: D707068CEDD77344 Time : 0.0 sec. user=mdettweiler [2016-08-30 10:30:17] 735*2^1438322-1 is not prime. Res64: 9F50F0F89D3A73C3 Time : 0.0 sec. user=mdettweiler [2016-08-30 10:30:17] 755*2^1438322-1 is not prime. Res64: 9E254D9267BAEA78 Time : 0.0 sec. user=mdettweiler [2016-08-30 10:45:37] 771*2^1438322-1 is not prime. Res64: 741CF74264090BF8 Time : 0.0 sec. user=mdettweiler [2016-08-30 10:45:38] 813*2^1438322-1 is not prime. Res64: FE27DB539310C68A Time : 0.0 sec. user=mdettweiler [2016-08-30 10:45:38] 815*2^1438322-1 is not prime. Res64: 49A5133A82CDC53F Time : 0.0 sec. user=mdettweiler [2016-08-30 10:45:38] 915*2^1438322-1 is not prime. Res64: 7485117407CE7FBF Time : 0.0 sec. user=mdettweiler [2016-08-30 10:45:38] 741*2^1438323-1 is not prime. Res64: B60C49D30EF36E3E Time : 0.0 sec. user=mdettweiler [2016-08-30 11:05:30] 745*2^1438323-1 is not prime. Res64: A3C5D83DAE81C9AB Time : 0.0 sec. user=mdettweiler [2016-08-30 11:05:31] 793*2^1438323-1 is not prime. Res64: 59FD2A9EBD8F5889 Time : 0.0 sec. user=mdettweiler [2016-08-30 11:05:33] 819*2^1438323-1 is not prime. Res64: 7B410F4673C1C755 Time : 0.0 sec. user=mdettweiler [2016-08-30 11:05:34] 891*2^1438323-1 is not prime. Res64: F473EC88A36B6A1E Time : 0.0 sec. user=mdettweiler [2016-08-30 11:05:36] 961*2^1438323-1 is not prime. Res64: 2838B078C89A4D08 Time : 0.0 sec. user=mdettweiler [2016-08-30 11:13:30] 705*2^1438324-1 is not prime. Res64: 3FA566B3EA687672 Time : 0.0 sec. user=mdettweiler [2016-08-30 11:13:30] 717*2^1438324-1 is not prime. Res64: 50E299962BA1798B Time : 0.0 sec. user=mdettweiler [2016-08-30 11:13:30] 885*2^1438324-1 is not prime. Res64: 7C3FACFBD1F1470B Time : 0.0 sec. user=mdettweiler [2016-08-30 11:13:31] 899*2^1438324-1 is not prime. Res64: 1ADE7DC4ED7AFE57 Time : 0.0 sec. user=mdettweiler [2016-08-30 11:13:31] 929*2^1438324-1 is not prime. Res64: DB7FABDDE7D91DEA Time : 0.0 sec. user=mdettweiler [2016-08-30 11:16:36] 975*2^1438324-1 is not prime. Res64: 3D9EFCDEBEC81011 Time : 0.0 sec. user=mdettweiler [2016-08-30 11:16:37] 983*2^1438324-1 is not prime. Res64: 33BA815477BAC3BE Time : 0.0 sec. user=mdettweiler [2016-08-30 11:16:37] 989*2^1438324-1 is not prime. Res64: 869AFEB4FDE2B0DF Time : 0.0 sec. user=mdettweiler [2016-08-30 11:16:38] 645*2^1438325-1 is not prime. Res64: 5F9A4DF6778D6505 Time : 0.0 sec. user=mdettweiler [2016-08-30 11:16:39] 657*2^1438325-1 is not prime. Res64: 740CE498EB28B0A7 Time : 0.0 sec. user=mdettweiler [2016-08-30 11:31:33] 771*2^1438325-1 is not prime. Res64: FFABB02705139FF2 Time : 0.0 sec. user=mdettweiler [2016-08-30 11:31:33] 789*2^1438325-1 is not prime. Res64: 57B171452AE5D338 Time : 0.0 sec. user=mdettweiler [2016-08-30 11:31:33] 861*2^1438325-1 is not prime. Res64: B81E84DB78BE4620 Time : 0.0 sec. user=mdettweiler [2016-08-30 11:31:34] 865*2^1438325-1 is not prime. Res64: 78CBE12638D940FF Time : 0.0 sec. user=mdettweiler [2016-08-30 11:31:34] 937*2^1438325-1 is not prime. Res64: 892CD50C1F88045C Time : 0.0 sec. user=mdettweiler [2016-08-30 11:50:56] 873*2^1438326-1 is not prime. Res64: 5E9673A13BC97EA3 Time : 0.0 sec. user=mdettweiler [2016-08-30 11:50:56] 843*2^1438327-1 is not prime. Res64: DCAEC3D1EAA0C19D Time : 0.0 sec. user=mdettweiler [2016-08-30 11:50:56] 859*2^1438327-1 is not prime. Res64: 8594FA82E88AD086 Time : 0.0 sec. user=mdettweiler [2016-08-30 11:50:57] 871*2^1438327-1 is not prime. Res64: 6E880AE9D57A32FE Time : 0.0 sec. user=mdettweiler [2016-08-30 11:50:57] 993*2^1438327-1 is not prime. Res64: A0D289976D5BF046 Time : 0.0 sec. user=mdettweiler [2016-08-30 11:58:33] 999*2^1438327-1 is not prime. Res64: 321D16EBDABC5CCD Time : 0.0 sec. user=mdettweiler [2016-08-30 11:58:33] 623*2^1438328-1 is not prime. Res64: D1FBA67E6B378120 Time : 0.0 sec. user=mdettweiler [2016-08-30 11:58:34] 669*2^1438328-1 is not prime. Res64: 507CC7BCC6A7AC50 Time : 0.0 sec. user=mdettweiler [2016-08-30 11:58:34] 677*2^1438328-1 is not prime. Res64: 11500CD278A48F2B Time : 0.0 sec. user=mdettweiler [2016-08-30 11:58:34] 713*2^1438328-1 is not prime. Res64: 4A56DC4AD9FC3B66 Time : 0.0 sec. user=mdettweiler [2016-08-30 12:02:00] 735*2^1438328-1 is not prime. Res64: 65456A6A413D0411 Time : 0.0 sec. user=mdettweiler [2016-08-30 12:02:01] 743*2^1438328-1 is not prime. Res64: EDD653690C4E2B13 Time : 0.0 sec. user=mdettweiler [2016-08-30 12:02:02] 767*2^1438328-1 is not prime. Res64: 20F2A0933F5DC798 Time : 0.0 sec. user=mdettweiler [2016-08-30 12:02:03] 777*2^1438328-1 is not prime. Res64: 9FA3D297C2DC135F Time : 0.0 sec. user=mdettweiler [2016-08-30 12:02:04] 827*2^1438328-1 is not prime. Res64: 2D9EBCE25DDDFB14 Time : 0.0 sec. user=mdettweiler [2016-08-30 12:16:32] 875*2^1438328-1 is not prime. Res64: 5CB3A296FBE745BF Time : 0.0 sec. user=mdettweiler [2016-08-30 12:16:33] 923*2^1438328-1 is not prime. Res64: 7A9A87C83B793448 Time : 0.0 sec. user=mdettweiler [2016-08-30 12:16:34] 969*2^1438328-1 is not prime. Res64: 69AB8DEF4099D1A6 Time : 0.0 sec. user=mdettweiler [2016-08-30 12:16:35] 681*2^1438329-1 is not prime. Res64: 15C39D8F3C7ABA08 Time : 0.0 sec. user=mdettweiler [2016-08-30 12:16:35] 727*2^1438329-1 is not prime. Res64: 7D5C730CA83A5EFC Time : 0.0 sec. user=mdettweiler [2016-08-30 12:36:33] 741*2^1438329-1 is not prime. Res64: 29F3F4DBCD3A3601 Time : 0.0 sec. user=mdettweiler [2016-08-30 12:36:34] 759*2^1438329-1 is not prime. Res64: 540296FA717A8EAA Time : 0.0 sec. user=mdettweiler [2016-08-30 12:36:34] 789*2^1438329-1 is not prime. Res64: 9A8C1F90801242E1 Time : 0.0 sec. user=mdettweiler [2016-08-30 12:36:34] 795*2^1438329-1 is not prime. Res64: 1E1D31751B352E70 Time : 0.0 sec. user=mdettweiler [2016-08-30 12:36:34] 889*2^1438329-1 is not prime. Res64: 9E422D0F4E1800C6 Time : 0.0 sec. user=mdettweiler [2016-08-30 12:44:00] 979*2^1438329-1 is not prime. Res64: 3863FEA9C9148424 Time : 0.0 sec. user=mdettweiler [2016-08-30 12:44:00] 603*2^1438330-1 is not prime. Res64: 3C0763A37DF15E55 Time : 0.0 sec. user=mdettweiler [2016-08-30 12:44:01] 665*2^1438330-1 is not prime. Res64: 978349E7AF3552AB Time : 0.0 sec. user=mdettweiler [2016-08-30 12:44:01] 707*2^1438330-1 is not prime. Res64: D655447CBF1E75BA Time : 0.0 sec. user=mdettweiler [2016-08-30 12:44:01] 731*2^1438330-1 is not prime. Res64: 5A4E4F0D96E06CCD Time : 0.0 sec. user=mdettweiler [2016-08-30 12:47:35] 867*2^1438330-1 is not prime. Res64: CBAF1C589B862107 Time : 0.0 sec. user=mdettweiler [2016-08-30 12:47:35] 911*2^1438330-1 is not prime. Res64: F3A7FC09941A9F2B Time : 0.0 sec. user=mdettweiler [2016-08-30 12:47:36] 933*2^1438330-1 is not prime. Res64: DD49FABBDEEAACC6 Time : 0.0 sec. user=mdettweiler [2016-08-30 12:47:36] 945*2^1438330-1 is not prime. Res64: 25C556606688C213 Time : 0.0 sec. user=mdettweiler [2016-08-30 12:47:37] 631*2^1438331-1 is not prime. Res64: 3D492CD506B18DC2 Time : 0.0 sec. user=mdettweiler [2016-08-30 13:02:17] 651*2^1438331-1 is not prime. Res64: A97A924294563D85 Time : 0.0 sec. user=mdettweiler [2016-08-30 13:02:18] 715*2^1438331-1 is not prime. Res64: 9FA67C25F187CFD6 Time : 0.0 sec. user=mdettweiler [2016-08-30 13:02:19] 735*2^1438331-1 is not prime. Res64: 57EDCC6AC04FB6DA Time : 0.0 sec. user=mdettweiler [2016-08-30 13:02:19] 745*2^1438331-1 is not prime. Res64: 190E16C97C401B22 Time : 0.0 sec. user=mdettweiler [2016-08-30 13:02:20] 823*2^1438331-1 is not prime. Res64: CC4CD4EADB31807B Time : 0.0 sec. user=mdettweiler [2016-08-30 13:22:29] 879*2^1438331-1 is not prime. Res64: 639CE394E5FD6CA2 Time : 0.0 sec. user=mdettweiler [2016-08-30 13:22:30] 909*2^1438331-1 is not prime. Res64: 22AB3FECC7FC5667 Time : 0.0 sec. user=mdettweiler [2016-08-30 13:22:30] 939*2^1438331-1 is not prime. Res64: B6E74E17DCF28285 Time : 0.0 sec. user=mdettweiler [2016-08-30 13:22:30] 943*2^1438331-1 is not prime. Res64: 0D2D018D16546243 Time : 0.0 sec. user=mdettweiler [2016-08-30 13:22:31] 633*2^1438332-1 is not prime. Res64: 8F0420C5AAD3735C Time : 0.0 sec. user=mdettweiler [2016-08-30 13:29:38] 699*2^1438332-1 is not prime. Res64: C2807DFE065D2227 Time : 0.0 sec. user=mdettweiler [2016-08-30 13:29:39] 737*2^1438332-1 is not prime. Res64: F6E3F874E15827A5 Time : 0.0 sec. user=mdettweiler [2016-08-30 13:29:39] 879*2^1438332-1 is not prime. Res64: DD9FEF97D5D56135 Time : 0.0 sec. user=mdettweiler [2016-08-30 13:29:39] 977*2^1438332-1 is not prime. Res64: 51C33D63CDDA7560 Time : 0.0 sec. user=mdettweiler [2016-08-30 13:29:39] 609*2^1438333-1 is not prime. Res64: BFDAFD8C258A8286 Time : 0.0 sec. user=mdettweiler [2016-08-30 13:33:56] 729*2^1438333-1 is not prime. Res64: 44015F64226CA15D Time : 0.0 sec. user=mdettweiler [2016-08-30 13:33:57] 771*2^1438333-1 is not prime. Res64: 5C6E560345B6BFC9 Time : 0.0 sec. user=mdettweiler [2016-08-30 13:33:58] 801*2^1438333-1 is not prime. Res64: 2EF920C179CD14F3 Time : 0.0 sec. user=mdettweiler [2016-08-30 13:33:58] 831*2^1438333-1 is not prime. Res64: 04E4B6C0B87D0E65 Time : 0.0 sec. user=mdettweiler [2016-08-30 13:33:59] 957*2^1438333-1 is not prime. Res64: BE54FF7DB4ABA89B Time : 0.0 sec. user=mdettweiler [2016-08-30 13:49:27] 641*2^1438334-1 is not prime. Res64: BEFE546C02B2CE70 Time : 0.0 sec. user=mdettweiler [2016-08-30 13:49:28] 677*2^1438334-1 is not prime. Res64: AE93BA395AD7705F Time : 0.0 sec. user=mdettweiler [2016-08-30 13:49:28] 705*2^1438334-1 is not prime. Res64: C6DB284A43252D4E Time : 0.0 sec. user=mdettweiler [2016-08-30 13:49:28] 791*2^1438334-1 is not prime. Res64: 41B9D393C41BA63D Time : 0.0 sec. user=mdettweiler [2016-08-30 13:49:28] 639*2^1438335-1 is not prime. Res64: AE1E20281779909E Time : 0.0 sec. user=mdettweiler [2016-08-30 14:09:45] 685*2^1438335-1 is not prime. Res64: 14C7719A0F77794B Time : 0.0 sec. user=mdettweiler [2016-08-30 14:09:46] 693*2^1438335-1 is not prime. Res64: D34F29870D9ADF39 Time : 0.0 sec. user=mdettweiler [2016-08-30 14:09:46] 711*2^1438335-1 is not prime. Res64: 81DC54509AAB485F Time : 0.0 sec. user=mdettweiler [2016-08-30 14:09:46] 735*2^1438335-1 is not prime. Res64: 076C45DCF90FA953 Time : 0.0 sec. user=mdettweiler [2016-08-30 14:09:47] 789*2^1438335-1 is not prime. Res64: 6B21458724A981C5 Time : 0.0 sec. user=mdettweiler [2016-08-30 14:16:13] 819*2^1438335-1 is not prime. Res64: 9EBFB0AB9C600648 Time : 0.0 sec. user=mdettweiler [2016-08-30 14:16:13] 831*2^1438335-1 is not prime. Res64: CC7C91E1F4B089F8 Time : 0.0 sec. user=mdettweiler [2016-08-30 14:16:14] 985*2^1438335-1 is not prime. Res64: 7F70B69E88F1A492 Time : 0.0 sec. user=mdettweiler [2016-08-30 14:16:14] 999*2^1438335-1 is not prime. Res64: FF330D302253737B Time : 0.0 sec. user=mdettweiler [2016-08-30 14:16:14] 825*2^1438336-1 is not prime. Res64: 61514E5EC2AF2735 Time : 0.0 sec. user=mdettweiler [2016-08-30 14:20:08] 933*2^1438336-1 is not prime. Res64: 6467540CB363F506 Time : 0.0 sec. user=mdettweiler [2016-08-30 14:20:09] 975*2^1438336-1 is not prime. Res64: 94F899FA805D4A75 Time : 0.0 sec. user=mdettweiler [2016-08-30 14:20:09] 645*2^1438337-1 is not prime. Res64: 2C033AAC79B252A3 Time : 0.0 sec. user=mdettweiler [2016-08-30 14:20:09] 691*2^1438337-1 is not prime. Res64: 4961D9113DFC7D34 Time : 0.0 sec. user=mdettweiler [2016-08-30 14:20:10] 711*2^1438337-1 is not prime. Res64: A18360AB6C8C2B6C Time : 0.0 sec. user=mdettweiler [2016-08-30 14:35:36] 741*2^1438337-1 is not prime. Res64: 4AF604AB8CBCCAD1 Time : 0.0 sec. user=mdettweiler [2016-08-30 14:35:37] 889*2^1438337-1 is not prime. Res64: A7438007B28649F3 Time : 0.0 sec. user=mdettweiler [2016-08-30 14:35:38] 711*2^1438338-1 is not prime. Res64: EF2167BD27C05156 Time : 0.0 sec. user=mdettweiler [2016-08-30 14:35:38] 773*2^1438338-1 is not prime. Res64: E4F9525F1BAD4440 Time : 0.0 sec. user=mdettweiler [2016-08-30 14:35:39] 821*2^1438338-1 is not prime. Res64: 9D59CE2BB265EF49 Time : 0.0 sec. user=mdettweiler [2016-08-30 14:57:02] 861*2^1438338-1 is not prime. Res64: A8B38676478BF1EF Time : 0.0 sec. user=mdettweiler [2016-08-30 14:57:02] 705*2^1438339-1 is not prime. Res64: 646DB5232F89A890 Time : 0.0 sec. user=mdettweiler [2016-08-30 14:57:03] 741*2^1438339-1 is not prime. Res64: B7D5394A36A63F1D Time : 0.0 sec. user=mdettweiler [2016-08-30 14:57:03] 943*2^1438339-1 is not prime. Res64: B2C38191B1DEF8F2 Time : 0.0 sec. user=mdettweiler [2016-08-30 14:57:03] 973*2^1438339-1 is not prime. Res64: 06FEE0CD84A4EB91 Time : 0.0 sec. user=mdettweiler [2016-08-30 15:21:57] 615*2^1438341-1 is not prime. Res64: 35EDE3ED3EF4698D Time : 0.0 sec. user=mdettweiler [2016-08-30 15:21:57] 661*2^1438341-1 is not prime. Res64: 97FC308049DE8373 Time : 0.0 sec. user=mdettweiler [2016-08-30 15:21:58] 927*2^1438341-1 is not prime. Res64: 5836F7C3AD3FFC40 Time : 0.0 sec. user=mdettweiler [2016-08-30 15:21:58] 937*2^1438341-1 is not prime. Res64: 8863971B2477AE45 Time : 0.0 sec. user=mdettweiler [2016-08-30 15:21:58] 951*2^1438341-1 is not prime. Res64: 7069CC085F13576B Time : 0.0 sec. user=mdettweiler [2016-08-30 15:31:32] 975*2^1438339-1 is not prime. Res64: CB624D249C3F2BE3 Time : 0.0 sec. user=mdettweiler [2016-08-30 15:31:33] 615*2^1438340-1 is not prime. Res64: 1CEC5BEFA821A72A Time : 0.0 sec. user=mdettweiler [2016-08-30 15:31:33] 647*2^1438340-1 is not prime. Res64: D43F2EF626CDDA6F Time : 0.0 sec. user=mdettweiler [2016-08-30 15:31:34] 717*2^1438340-1 is not prime. Res64: 57E3369044AB578D Time : 0.0 sec. user=mdettweiler [2016-08-30 15:31:34] 743*2^1438340-1 is not prime. Res64: 54A71DB2E7DE2DBA Time : 0.0 sec. user=mdettweiler [2016-08-30 15:43:08] 677*2^1438342-1 is not prime. Res64: 22F5D1E6F9FE88CE Time : 0.0 sec. user=mdettweiler [2016-08-30 15:43:08] 765*2^1438342-1 is not prime. Res64: C0BD1BDD3EEB0F81 Time : 0.0 sec. user=mdettweiler [2016-08-30 15:43:09] 777*2^1438342-1 is not prime. Res64: 22A64316E89C20B7 Time : 0.0 sec. user=mdettweiler [2016-08-30 15:43:09] 785*2^1438342-1 is not prime. Res64: 2C4AC066F5427662 Time : 0.0 sec. user=mdettweiler [2016-08-30 15:43:09] 663*2^1438343-1 is not prime. Res64: 9DC88AFBE4E721C5 Time : 0.0 sec. user=mdettweiler [2016-08-30 16:08:21] 673*2^1438343-1 is not prime. Res64: 07D7702CD12EBA2C Time : 0.0 sec. user=mdettweiler [2016-08-30 16:08:21] 675*2^1438343-1 is not prime. Res64: E6B8B268B74D1F92 Time : 0.0 sec. user=mdettweiler [2016-08-30 16:08:21] 831*2^1438343-1 is not prime. Res64: 123A119FD0D0C027 Time : 0.0 sec. user=mdettweiler [2016-08-30 16:08:22] 859*2^1438343-1 is not prime. Res64: AFEEA3EB96B39B29 Time : 0.0 sec. user=mdettweiler [2016-08-30 16:08:22] 901*2^1438343-1 is not prime. Res64: 3C4AF93DA28D80C6 Time : 0.0 sec. user=mdettweiler [2016-08-30 16:17:15] 913*2^1438343-1 is not prime. Res64: 02C121FCE631130A Time : 0.0 sec. user=mdettweiler [2016-08-30 16:17:16] 991*2^1438343-1 is not prime. Res64: 6CD38BBC1DC4BB22 Time : 0.0 sec. user=mdettweiler [2016-08-30 16:17:16] 657*2^1438344-1 is not prime. Res64: 05BCF883A05B0F34 Time : 0.0 sec. user=mdettweiler [2016-08-30 16:17:16] 767*2^1438344-1 is not prime. Res64: 6DBC84B7193CDE34 Time : 0.0 sec. user=mdettweiler [2016-08-30 16:17:17] 905*2^1438344-1 is not prime. Res64: 197124F38F8E4335 Time : 0.0 sec. user=mdettweiler [2016-08-30 16:29:18] 917*2^1438344-1 is not prime. Res64: E1E46C31955B9C6E Time : 0.0 sec. user=mdettweiler [2016-08-30 16:29:19] 947*2^1438344-1 is not prime. Res64: 3C873826F788BF3C Time : 0.0 sec. user=mdettweiler [2016-08-30 16:29:19] 777*2^1438345-1 is not prime. Res64: 8D288B633845EE1A Time : 0.0 sec. user=mdettweiler [2016-08-30 16:29:19] 855*2^1438345-1 is not prime. Res64: 1F413FEFE87A95F7 Time : 0.0 sec. user=mdettweiler [2016-08-30 16:29:20] 925*2^1438345-1 is not prime. Res64: 2567385C85C7650F Time : 0.0 sec. user=mdettweiler [2016-08-30 16:55:03] 975*2^1438345-1 is not prime. Res64: 49668BE2D28D285D Time : 0.0 sec. user=mdettweiler [2016-08-30 16:55:03] 999*2^1438345-1 is not prime. Res64: FB55D0211237D7B4 Time : 0.0 sec. user=mdettweiler [2016-08-30 16:55:03] 615*2^1438346-1 is not prime. Res64: 10D6AF13EDD17C84 Time : 0.0 sec. user=mdettweiler [2016-08-30 16:55:04] 837*2^1438346-1 is not prime. Res64: BE6657109E46E56E Time : 0.0 sec. user=mdettweiler [2016-08-30 16:55:04] 851*2^1438346-1 is not prime. Res64: 25862D7989AAE007 Time : 0.0 sec. user=mdettweiler [2016-08-30 17:03:30] 873*2^1438346-1 is not prime. Res64: EE7FD28858861821 Time : 0.0 sec. user=mdettweiler [2016-08-30 17:03:32] 911*2^1438346-1 is not prime. Res64: 8BB687D94CF3E927 Time : 0.0 sec. user=mdettweiler [2016-08-30 17:03:33] 615*2^1438347-1 is not prime. Res64: 4A8096B01DD82CB6 Time : 0.0 sec. user=mdettweiler [2016-08-30 17:03:35] 735*2^1438347-1 is not prime. Res64: 1A4068D7E49CE9FE Time : 0.0 sec. user=mdettweiler [2016-08-30 17:03:37] 903*2^1438347-1 is not prime. Res64: 99772319288D43FC Time : 0.0 sec. user=mdettweiler [2016-08-30 17:15:32] 963*2^1438347-1 is not prime. Res64: 75CC418BA95C8334 Time : 0.0 sec. user=mdettweiler [2016-08-30 17:15:33] 973*2^1438347-1 is not prime. Res64: 0AB61C979836D3BA Time : 0.0 sec. user=mdettweiler [2016-08-30 17:15:33] 635*2^1438348-1 is not prime. Res64: 093E7F69578C9C32 Time : 0.0 sec. user=mdettweiler [2016-08-30 17:15:33] 647*2^1438348-1 is not prime. Res64: 51FF6915A62D2BD4 Time : 0.0 sec. user=mdettweiler [2016-08-30 17:15:34] 677*2^1438348-1 is not prime. Res64: 28097133970B049C Time : 0.0 sec. user=mdettweiler [2016-08-30 17:41:03] 687*2^1438348-1 is not prime. Res64: B936C35D9E4E347E Time : 0.0 sec. user=mdettweiler [2016-08-30 17:41:03] 783*2^1438348-1 is not prime. Res64: BFC75A2DCF829AD4 Time : 0.0 sec. user=mdettweiler [2016-08-30 17:41:03] 843*2^1438348-1 is not prime. Res64: 2274DBB5517AEC22 Time : 0.0 sec. user=mdettweiler [2016-08-30 17:41:04] 885*2^1438348-1 is not prime. Res64: DD7C4B0EBA6DA050 Time : 0.0 sec. user=mdettweiler [2016-08-30 17:41:04] 601*2^1438349-1 is not prime. Res64: D6C0107E549F3A00 Time : 0.0 sec. user=mdettweiler [2016-08-30 17:49:56] 741*2^1438349-1 is not prime. Res64: F85E1965E6ABA233 Time : 0.0 sec. user=mdettweiler [2016-08-30 17:49:56] 847*2^1438349-1 is not prime. Res64: 8E0BC5DE8BD2F911 Time : 0.0 sec. user=mdettweiler [2016-08-30 17:49:57] 957*2^1438349-1 is not prime. Res64: E4BA45E11F3AAF81 Time : 0.0 sec. user=mdettweiler [2016-08-30 17:49:57] 635*2^1438350-1 is not prime. Res64: 8E17604368D65F72 Time : 0.0 sec. user=mdettweiler [2016-08-30 17:49:57] 653*2^1438350-1 is not prime. Res64: 66AED69DD94D1986 Time : 0.0 sec. user=mdettweiler [2016-08-30 18:01:31] 755*2^1438350-1 is not prime. Res64: 340FA1C76281DE26 Time : 0.0 sec. user=mdettweiler [2016-08-30 18:01:32] 777*2^1438350-1 is not prime. Res64: C41DF7BF214F8BE6 Time : 0.0 sec. user=mdettweiler [2016-08-30 18:01:33] 861*2^1438350-1 is not prime. Res64: 6F16806A745837B5 Time : 0.0 sec. user=mdettweiler [2016-08-30 18:01:34] 887*2^1438350-1 is not prime. Res64: A426B754D4FF2462 Time : 0.0 sec. user=mdettweiler [2016-08-30 18:01:35] 915*2^1438350-1 is not prime. Res64: 4E28FAEFC3FF08EE Time : 0.0 sec. user=mdettweiler [2016-08-30 18:28:14] 603*2^1438351-1 is not prime. Res64: DEBC0223405D8D93 Time : 0.0 sec. user=mdettweiler [2016-08-30 18:28:15] 609*2^1438351-1 is not prime. Res64: DCBF9E2BBB69E917 Time : 0.0 sec. user=mdettweiler [2016-08-30 18:28:15] 709*2^1438351-1 is not prime. Res64: D5B20AF56AE76BAC Time : 0.0 sec. user=mdettweiler [2016-08-30 18:28:15] 745*2^1438351-1 is not prime. Res64: BFDF5B9694C861E7 Time : 0.0 sec. user=mdettweiler [2016-08-30 18:28:15] 763*2^1438351-1 is not prime. Res64: 29B6EBCB2A4B2250 Time : 0.0 sec. user=mdettweiler [2016-08-30 18:37:13] 771*2^1438351-1 is not prime. Res64: 980B0EB4299A13FF Time : 0.0 sec. user=mdettweiler [2016-08-30 18:37:13] 819*2^1438351-1 is not prime. Res64: 1E2F1FDD75A095EA Time : 0.0 sec. user=mdettweiler [2016-08-30 18:37:13] 849*2^1438351-1 is not prime. Res64: 67D4704E6934B1DB Time : 0.0 sec. user=mdettweiler [2016-08-30 18:37:14] 943*2^1438351-1 is not prime. Res64: CA9897CBD4E78F62 Time : 0.0 sec. user=mdettweiler [2016-08-30 18:37:14] 993*2^1438351-1 is not prime. Res64: 543F7DD2D893480F Time : 0.0 sec. user=mdettweiler [2016-08-30 18:49:43] 603*2^1438352-1 is not prime. Res64: 419E7C2358B14327 Time : 0.0 sec. user=mdettweiler [2016-08-30 18:49:43] 645*2^1438352-1 is not prime. Res64: 431771F5129CE93C Time : 0.0 sec. user=mdettweiler [2016-08-30 18:49:43] 689*2^1438352-1 is not prime. Res64: 75FB3D42CCAAE053 Time : 0.0 sec. user=mdettweiler [2016-08-30 18:49:44] 825*2^1438352-1 is not prime. Res64: 848936B7EE804D7A Time : 0.0 sec. user=mdettweiler [2016-08-30 18:49:44] 855*2^1438352-1 is not prime. Res64: 16F5454623B232B6 Time : 0.0 sec. user=mdettweiler [2016-08-30 19:15:31] 867*2^1438352-1 is not prime. Res64: B1DF47A1211AACF2 Time : 0.0 sec. user=mdettweiler [2016-08-30 19:15:31] 897*2^1438352-1 is not prime. Res64: 4647F128E8C16BFA Time : 0.0 sec. user=mdettweiler [2016-08-30 19:15:31] 609*2^1438353-1 is not prime. Res64: 7C67C04C846D4432 Time : 0.0 sec. user=mdettweiler [2016-08-30 19:15:32] 649*2^1438353-1 is not prime. Res64: F73039FFA9D814AC Time : 0.0 sec. user=mdettweiler [2016-08-30 19:15:32] 651*2^1438353-1 is not prime. Res64: 83D2830A38367855 Time : 0.0 sec. user=mdettweiler [2016-08-30 19:24:04] 805*2^1438353-1 is not prime. Res64: 12089491737879B5 Time : 0.0 sec. user=mdettweiler [2016-08-30 19:24:05] 847*2^1438353-1 is not prime. Res64: CD7B069CFBD19F9A Time : 0.0 sec. user=mdettweiler [2016-08-30 19:24:05] 861*2^1438353-1 is not prime. Res64: 396E63AF06573FA6 Time : 0.0 sec. user=mdettweiler [2016-08-30 19:24:06] 985*2^1438353-1 is not prime. Res64: 2D2AEA84AB77A6C1 Time : 0.0 sec. user=mdettweiler [2016-08-30 19:24:06] 755*2^1438354-1 is not prime. Res64: BFE0CA55FA46868F Time : 0.0 sec. user=mdettweiler [2016-08-30 19:36:25] 803*2^1438354-1 is not prime. Res64: BFDC12EA9FAD2FAD Time : 0.0 sec. user=mdettweiler [2016-08-30 19:36:26] 831*2^1438354-1 is not prime. Res64: 1726CA255115CC32 Time : 0.0 sec. user=mdettweiler [2016-08-30 19:36:26] 887*2^1438354-1 is not prime. Res64: 803720B493B46F88 Time : 0.0 sec. user=mdettweiler [2016-08-30 19:36:26] 917*2^1438354-1 is not prime. Res64: FCC09C26B7B0184F Time : 0.0 sec. user=mdettweiler [2016-08-30 19:36:27] 981*2^1438354-1 is not prime. Res64: 89CE78A8124963C0 Time : 0.0 sec. user=mdettweiler [2016-08-30 20:01:19] 663*2^1438355-1 is not prime. Res64: 5304505CC7559090 Time : 0.0 sec. user=mdettweiler [2016-08-30 20:01:20] 705*2^1438355-1 is not prime. Res64: 67685EACB63CB974 Time : 0.0 sec. user=mdettweiler [2016-08-30 20:01:21] 781*2^1438355-1 is not prime. Res64: 8B04F11F45DD5710 Time : 0.0 sec. user=mdettweiler [2016-08-30 20:01:22] 909*2^1438355-1 is not prime. Res64: B67F5CF18C5E7C5B Time : 0.0 sec. user=mdettweiler [2016-08-30 20:01:25] 735*2^1438356-1 is not prime. Res64: F2A67E59731CA2B1 Time : 0.0 sec. user=mdettweiler [2016-08-30 20:10:26] 773*2^1438356-1 is not prime. Res64: A9FB87344FC671C8 Time : 0.0 sec. user=mdettweiler [2016-08-30 20:10:27] 873*2^1438356-1 is not prime. Res64: 1B9FA476F478A09A Time : 0.0 sec. user=mdettweiler [2016-08-30 20:10:27] 893*2^1438356-1 is not prime. Res64: 4DC4B2F2F6F779D7 Time : 0.0 sec. user=mdettweiler [2016-08-30 20:10:28] 899*2^1438356-1 is not prime. Res64: D61BDEA4DA633F9A Time : 0.0 sec. user=mdettweiler [2016-08-30 20:10:28] 923*2^1438356-1 is not prime. Res64: 0C5F7E1B7893F78B Time : 0.0 sec. user=mdettweiler [2016-08-30 20:22:11] 615*2^1438357-1 is not prime. Res64: DBDA9EF801B461BF Time : 0.0 sec. user=mdettweiler [2016-08-30 20:22:11] 649*2^1438357-1 is not prime. Res64: 8C85D3AE20A8B2A7 Time : 0.0 sec. user=mdettweiler [2016-08-30 20:22:11] 687*2^1438357-1 is not prime. Res64: 0AC02E411DC83D85 Time : 0.0 sec. user=mdettweiler [2016-08-30 20:22:12] 699*2^1438357-1 is not prime. Res64: 7DC7C0FDB724AFE2 Time : 0.0 sec. user=mdettweiler [2016-08-30 20:22:12] 765*2^1438357-1 is not prime. Res64: 2A8353D19C06E1F5 Time : 0.0 sec. user=mdettweiler [2016-08-30 20:47:34] 801*2^1438357-1 is not prime. Res64: 3B19095DAFAF3C0A Time : 0.0 sec. user=mdettweiler [2016-08-30 20:47:35] 867*2^1438357-1 is not prime. Res64: 6B3182256F16D308 Time : 0.0 sec. user=mdettweiler [2016-08-30 20:47:35] 885*2^1438357-1 is not prime. Res64: 6DAA245036D9256E Time : 0.0 sec. user=mdettweiler [2016-08-30 20:47:35] 927*2^1438357-1 is not prime. Res64: E1A7A40B6AC921D9 Time : 0.0 sec. user=mdettweiler [2016-08-30 20:47:36] 955*2^1438357-1 is not prime. Res64: B6F9D3A63D856EA8 Time : 0.0 sec. user=mdettweiler [2016-08-30 20:56:15] 957*2^1438357-1 is not prime. Res64: 0BFA69FC8363F7AA Time : 0.0 sec. user=mdettweiler [2016-08-30 20:56:15] 731*2^1438358-1 is not prime. Res64: 5DABCC8F49D514AC Time : 0.0 sec. user=mdettweiler [2016-08-30 20:56:15] 791*2^1438358-1 is not prime. Res64: A3EA55B5F499E9F0 Time : 0.0 sec. user=mdettweiler [2016-08-30 20:56:16] 797*2^1438358-1 is not prime. Res64: F451361C04C68532 Time : 0.0 sec. user=mdettweiler [2016-08-30 20:56:16] 827*2^1438358-1 is not prime. Res64: 8539ACD5A4B9B1FA Time : 0.0 sec. user=mdettweiler [2016-08-30 21:08:30] 875*2^1438358-1 is not prime. Res64: 0A934EBC50B463F7 Time : 0.0 sec. user=mdettweiler [2016-08-30 21:08:30] 897*2^1438358-1 is not prime. Res64: CC4D184B625ED224 Time : 0.0 sec. user=mdettweiler [2016-08-30 21:08:31] 823*2^1438359-1 is not prime. Res64: FCA7C1D70142A39A Time : 0.0 sec. user=mdettweiler [2016-08-30 21:08:32] 879*2^1438359-1 is not prime. Res64: 1B374568D1E80EDD Time : 0.0 sec. user=mdettweiler [2016-08-30 21:08:32] 895*2^1438359-1 is not prime. Res64: 7E96C9BB5D2BB76D Time : 0.0 sec. user=mdettweiler [2016-08-30 21:33:19] 785*2^1438340-1 is not prime. Res64: 2AB0F8C5BB89E10D Time : 0.0 sec. user=mdettweiler [2016-08-30 21:33:19] 789*2^1438340-1 is not prime. Res64: 3CEB539CD7A9CA48 Time : 0.0 sec. user=mdettweiler [2016-08-30 21:33:20] 875*2^1438340-1 is not prime. Res64: 5D55C4E55AA73946 Time : 0.0 sec. user=mdettweiler [2016-08-30 21:33:20] 897*2^1438340-1 is not prime. Res64: 3908AF3B9590308F Time : 0.0 sec. user=mdettweiler [2016-08-30 21:33:20] 999*2^1438340-1 is not prime. Res64: C911392D505F0345 Time : 0.0 sec. user=mdettweiler [2016-08-30 21:33:36] 909*2^1438359-1 is not prime. Res64: ACF937E4188D7207 Time : 0.0 sec. user=mdettweiler [2016-08-30 21:33:36] 985*2^1438359-1 is not prime. Res64: D5D4509394A2CF63 Time : 0.0 sec. user=mdettweiler [2016-08-30 21:33:36] 605*2^1438360-1 is not prime. Res64: CCDADEC1DEE38653 Time : 0.0 sec. user=mdettweiler [2016-08-30 21:33:37] 665*2^1438360-1 is not prime. Res64: CC700C07AA66AD1E Time : 0.0 sec. user=mdettweiler [2016-08-30 21:33:37] 747*2^1438360-1 is not prime. Res64: F42F9BE4D0360573 Time : 0.0 sec. user=mdettweiler [2016-08-30 21:42:00] 923*2^1438360-1 is not prime. Res64: B91FD1B4E809D3EF Time : 0.0 sec. user=mdettweiler [2016-08-30 21:42:00] 657*2^1438361-1 is not prime. Res64: C6DEAA6FA0E5B440 Time : 0.0 sec. user=mdettweiler [2016-08-30 21:42:00] 715*2^1438361-1 is not prime. Res64: A323AE9BBEDB6DAD Time : 0.0 sec. user=mdettweiler [2016-08-30 21:42:01] 811*2^1438361-1 is not prime. Res64: D1B7CDDA886C9256 Time : 0.0 sec. user=mdettweiler [2016-08-30 21:42:01] 879*2^1438361-1 is not prime. Res64: AAD6566EAC69C4AC Time : 0.0 sec. user=mdettweiler [2016-08-30 21:54:35] 901*2^1438361-1 is not prime. Res64: A2664076F5B13414 Time : 0.0 sec. user=mdettweiler [2016-08-30 21:54:35] 967*2^1438361-1 is not prime. Res64: 49036B6EE95352E7 Time : 0.0 sec. user=mdettweiler [2016-08-30 21:54:36] 735*2^1438362-1 is not prime. Res64: 12896C86F8D781E9 Time : 0.0 sec. user=mdettweiler [2016-08-30 21:54:36] 767*2^1438362-1 is not prime. Res64: DA17A591F9FAC06A Time : 0.0 sec. user=mdettweiler [2016-08-30 21:54:36] 801*2^1438362-1 is not prime. Res64: BCFFF793964CCB7F Time : 0.0 sec. user=mdettweiler [2016-08-30 22:18:31] 807*2^1438362-1 is not prime. Res64: CD56C7CE3DD269AC Time : 0.0 sec. user=mdettweiler [2016-08-30 22:18:31] 815*2^1438362-1 is not prime. Res64: 258DED961D7C3AD0 Time : 0.0 sec. user=mdettweiler [2016-08-30 22:18:32] 891*2^1438362-1 is not prime. Res64: 20089F24E814C0C0 Time : 0.0 sec. user=mdettweiler [2016-08-30 22:18:32] 945*2^1438362-1 is not prime. Res64: 3363C145862CC25E Time : 0.0 sec. user=mdettweiler [2016-08-30 22:18:32] 619*2^1438363-1 is not prime. Res64: 8252DD2D825C629E Time : 0.0 sec. user=mdettweiler [2016-08-30 22:18:37] 679*2^1438363-1 is not prime. Res64: 8D6B61D636717604 Time : 0.0 sec. user=mdettweiler [2016-08-30 22:18:37] 681*2^1438363-1 is not prime. Res64: DE22DEECCE6DC91E Time : 0.0 sec. user=mdettweiler [2016-08-30 22:18:38] 699*2^1438363-1 is not prime. Res64: D35DA4E63F9B8910 Time : 0.0 sec. user=mdettweiler [2016-08-30 22:18:38] 735*2^1438363-1 is not prime. Res64: 99229AD3254D4220 Time : 0.0 sec. user=mdettweiler [2016-08-30 22:18:38] 783*2^1438363-1 is not prime. Res64: 2DD627C143CE31AC Time : 0.0 sec. user=mdettweiler [2016-08-30 22:27:03] 849*2^1438363-1 is not prime. Res64: D5E55A9915B32C33 Time : 0.0 sec. user=mdettweiler [2016-08-30 22:27:03] 925*2^1438363-1 is not prime. Res64: E2FAD1F3249DC631 Time : 0.0 sec. user=mdettweiler [2016-08-30 22:27:04] 945*2^1438363-1 is not prime. Res64: 84E4AE14340D99F2 Time : 0.0 sec. user=mdettweiler [2016-08-30 22:27:04] 961*2^1438363-1 is not prime. Res64: 19BEFF141B77C827 Time : 0.0 sec. user=mdettweiler [2016-08-30 22:27:04] 833*2^1438364-1 is not prime. Res64: A424C5C32FB9EF64 Time : 0.0 sec. user=mdettweiler [2016-08-30 22:39:55] 837*2^1438364-1 is not prime. Res64: 974DE27DB63BC8EF Time : 0.0 sec. user=mdettweiler [2016-08-30 22:39:56] 903*2^1438364-1 is not prime. Res64: F3D99069F7EA27B5 Time : 0.0 sec. user=mdettweiler [2016-08-30 22:39:56] 983*2^1438364-1 is not prime. Res64: FB679773B5DFF211 Time : 0.0 sec. user=mdettweiler [2016-08-30 22:39:57] 609*2^1438365-1 is not prime. Res64: 45D8F0E26ED7466C Time : 0.0 sec. user=mdettweiler [2016-08-30 22:39:57] 649*2^1438365-1 is not prime. Res64: E2C835818F75322F Time : 0.0 sec. user=mdettweiler [2016-08-30 23:03:43] 871*2^1438365-1 is not prime. Res64: 624B79CA09603BA6 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:03:43] 669*2^1438365-1 is not prime. Res64: E398CF6DB25976D1 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:03:44] 885*2^1438365-1 is not prime. Res64: C683CD164B662B55 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:03:45] 679*2^1438365-1 is not prime. Res64: A877CE55087018B3 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:03:46] 891*2^1438365-1 is not prime. Res64: 8CEE1198E2714FEA Time : 0.0 sec. user=mdettweiler [2016-08-30 23:03:47] 699*2^1438365-1 is not prime. Res64: 4B969DC65A870138 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:03:48] 895*2^1438365-1 is not prime. Res64: 7911A85D39690001 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:03:48] 825*2^1438365-1 is not prime. Res64: 22CAAC47F6AE2185 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:03:49] 951*2^1438365-1 is not prime. Res64: 7D522ABEC6B4BE10 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:03:49] 859*2^1438365-1 is not prime. Res64: 6215DBFE987DF7AE Time : 0.0 sec. user=mdettweiler [2016-08-30 23:12:15] 657*2^1438366-1 is not prime. Res64: D4E86806FBD70690 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:12:16] 737*2^1438366-1 is not prime. Res64: 95BF3451476A17E4 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:12:16] 765*2^1438366-1 is not prime. Res64: EF1A9F026BF457C1 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:12:17] 821*2^1438366-1 is not prime. Res64: B2D7EBF11348344D Time : 0.0 sec. user=mdettweiler [2016-08-30 23:12:17] 917*2^1438366-1 is not prime. Res64: 2B774000CE1DF85B Time : 0.0 sec. user=mdettweiler [2016-08-30 23:25:03] 1001*2^1438366-1 is not prime. Res64: AF2AF70F5FC1E60A Time : 0.0 sec. user=mdettweiler [2016-08-30 23:25:04] 609*2^1438367-1 is not prime. Res64: C4958F7088488D5B Time : 0.0 sec. user=mdettweiler [2016-08-30 23:25:04] 661*2^1438367-1 is not prime. Res64: A88C56A2AFD57EE1 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:25:05] 693*2^1438367-1 is not prime. Res64: EA6E920033757C83 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:25:05] 705*2^1438367-1 is not prime. Res64: 1B47A6FB88DCCD37 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:49:16] 879*2^1438368-1 is not prime. Res64: 60F4809AF37D8670 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:49:17] 637*2^1438369-1 is not prime. Res64: CA5F1EB8BF8FDEAB Time : 0.0 sec. user=mdettweiler [2016-08-30 23:49:17] 747*2^1438369-1 is not prime. Res64: 17FDDEAAA70FE90E Time : 0.0 sec. user=mdettweiler [2016-08-30 23:49:18] 789*2^1438369-1 is not prime. Res64: 61A4D1F2831D6BCB Time : 0.0 sec. user=mdettweiler [2016-08-30 23:49:19] 979*2^1438369-1 is not prime. Res64: 3FE9A10170BD4EC4 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:57:22] 987*2^1438369-1 is not prime. Res64: FCE5031788644715 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:57:23] 603*2^1438370-1 is not prime. Res64: 66618ED4D4A9D514 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:57:23] 641*2^1438370-1 is not prime. Res64: BA2FB46052B6BBC5 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:57:24] 995*2^1438370-1 is not prime. Res64: DCB63AECB3FDFCD0 Time : 0.0 sec. user=mdettweiler [2016-08-30 23:57:24] 675*2^1438371-1 is not prime. Res64: 634C04AF9AFBB0AF Time : 0.0 sec.