user=mdettweiler [2015-03-29 00:09:24] 619*2^1396395-1 is not prime. Res64: 408363C5C589E1FB Time : 0.0 sec. user=mdettweiler [2015-03-29 00:09:24] 649*2^1396395-1 is not prime. Res64: 56CCCC0A107F65AF Time : 0.0 sec. user=mdettweiler [2015-03-29 00:11:03] 685*2^1396395-1 is not prime. Res64: 9D35497FF3323889 Time : 0.0 sec. user=mdettweiler [2015-03-29 00:11:03] 735*2^1396395-1 is not prime. Res64: 25DF2D64922016F2 Time : 0.0 sec. user=mdettweiler [2015-03-29 00:12:28] 765*2^1396395-1 is not prime. Res64: D4DCCAA06382ABBD Time : 0.0 sec. user=mdettweiler [2015-03-29 00:12:28] 781*2^1396395-1 is not prime. Res64: 7D1B38DDAB02DD8A Time : 0.0 sec. user=mdettweiler [2015-03-29 00:22:21] 849*2^1396395-1 is not prime. Res64: 48ED839033C2B15F Time : 0.0 sec. user=mdettweiler [2015-03-29 00:22:21] 639*2^1396396-1 is not prime. Res64: E8C0EEDAE5F3A76D Time : 0.0 sec. user=mdettweiler [2015-03-29 00:35:32] 647*2^1396396-1 is not prime. Res64: 088FBEC91411DDF8 Time : 0.0 sec. user=mdettweiler [2015-03-29 00:35:32] 653*2^1396396-1 is not prime. Res64: 261FC18C3ABB5219 Time : 0.0 sec. user=mdettweiler [2015-03-29 00:37:12] 677*2^1396396-1 is not prime. Res64: 34ECEBFB5BB2B5EB Time : 0.0 sec. user=mdettweiler [2015-03-29 00:37:13] 743*2^1396396-1 is not prime. Res64: 68E9011A157D4ADA Time : 0.0 sec. user=mdettweiler [2015-03-29 00:38:36] 839*2^1396396-1 is not prime. Res64: 38D622C1191BB602 Time : 0.0 sec. user=mdettweiler [2015-03-29 00:38:36] 933*2^1396396-1 is not prime. Res64: 6558F429FA040A0F Time : 0.0 sec. user=mdettweiler [2015-03-29 00:48:24] 965*2^1396396-1 is not prime. Res64: F9E87A686BF4965A Time : 0.0 sec. user=mdettweiler [2015-03-29 00:48:25] 989*2^1396396-1 is not prime. Res64: 5AAF8CE64CA028B2 Time : 0.0 sec. user=juhehe [2015-03-29 01:01:11] 993*2^1396396-1 is not prime. Res64: B718951289D4F1F5 Time : 0.0 sec. user=mdettweiler [2015-03-29 01:01:41] 619*2^1396397-1 is not prime. Res64: 0DB3D22FCA508E7B Time : 0.0 sec. user=mdettweiler [2015-03-29 01:01:42] 631*2^1396397-1 is not prime. Res64: 5945A6C8C2BC6324 Time : 0.0 sec. user=mdettweiler [2015-03-29 01:03:18] 651*2^1396397-1 is not prime. Res64: 0DEAF49083416553 Time : 0.0 sec. user=mdettweiler [2015-03-29 01:03:19] 655*2^1396397-1 is not prime. Res64: 7DC592D8F77BE238 Time : 0.0 sec. user=mdettweiler [2015-03-29 01:04:45] 729*2^1396397-1 is not prime. Res64: 0F778179813605AB Time : 0.0 sec. user=mdettweiler [2015-03-29 01:04:46] 747*2^1396397-1 is not prime. Res64: 2FBC65F765A46DCA Time : 0.0 sec. user=mdettweiler [2015-03-29 01:14:32] 801*2^1396397-1 is not prime. Res64: D7659268C99529CD Time : 0.0 sec. user=mdettweiler [2015-03-29 01:14:33] 865*2^1396397-1 is not prime. Res64: 3EABB1C379393ED4 Time : 0.0 sec. user=mdettweiler [2015-03-29 01:28:06] 955*2^1396397-1 is not prime. Res64: 4691A840307644BA Time : 0.0 sec. user=mdettweiler [2015-03-29 01:28:07] 967*2^1396397-1 is not prime. Res64: 7BA7FB0E5BBF707B Time : 0.0 sec. user=mdettweiler [2015-03-29 01:29:24] 627*2^1396398-1 is not prime. Res64: 9C97003447E6B9A4 Time : 0.0 sec. user=mdettweiler [2015-03-29 01:29:25] 875*2^1396398-1 is not prime. Res64: E12AD1CA0F3CE97C Time : 0.0 sec. user=mdettweiler [2015-03-29 01:30:52] 993*2^1396398-1 is not prime. Res64: ED238B25CC3E1B63 Time : 0.0 sec. user=mdettweiler [2015-03-29 01:30:53] 615*2^1396399-1 is not prime. Res64: BBBA95EF61761EEC Time : 0.0 sec. user=mdettweiler [2015-03-29 01:40:37] 705*2^1396399-1 is not prime. Res64: 055FE391600EF61E Time : 0.0 sec. user=mdettweiler [2015-03-29 01:40:38] 861*2^1396399-1 is not prime. Res64: D08EC4F3E6DE7109 Time : 0.0 sec. user=mdettweiler [2015-03-29 01:54:40] 873*2^1396399-1 is not prime. Res64: DF7C665A653B7C0F Time : 0.0 sec. user=mdettweiler [2015-03-29 01:54:41] 919*2^1396399-1 is not prime. Res64: 9F914A41576039DF Time : 0.0 sec. user=mdettweiler [2015-03-29 01:56:08] 615*2^1396400-1 is not prime. Res64: E0D18998CB173866 Time : 0.0 sec. user=mdettweiler [2015-03-29 01:56:08] 629*2^1396400-1 is not prime. Res64: 301DB32A5B3FDC30 Time : 0.0 sec. user=mdettweiler [2015-03-29 01:58:01] 797*2^1396400-1 is not prime. Res64: 49AC0A53FC91440B Time : 0.0 sec. user=mdettweiler [2015-03-29 01:58:01] 843*2^1396400-1 is not prime. Res64: B9AFEC3B37874A6E Time : 0.0 sec. user=mdettweiler [2015-03-29 02:07:45] 857*2^1396400-1 is not prime. Res64: 882CD45C478B0714 Time : 0.0 sec. user=mdettweiler [2015-03-29 02:07:45] 681*2^1396401-1 is not prime. Res64: 14AF51B2F89C18EC Time : 0.0 sec. user=mdettweiler [2015-03-29 02:21:18] 835*2^1396401-1 is not prime. Res64: F46E7D0A09E41903 Time : 0.0 sec. user=mdettweiler [2015-03-29 02:21:18] 675*2^1396402-1 is not prime. Res64: F33649A1EC9F95E4 Time : 0.0 sec. user=mdettweiler [2015-03-29 02:22:42] 717*2^1396402-1 is not prime. Res64: 778596D59DA72FB1 Time : 0.0 sec. user=mdettweiler [2015-03-29 02:22:42] 741*2^1396402-1 is not prime. Res64: DEF317BC1D3298C0 Time : 0.0 sec. user=mdettweiler [2015-03-29 02:24:27] 803*2^1396402-1 is not prime. Res64: 9981F6175DDFA718 Time : 0.0 sec. user=mdettweiler [2015-03-29 02:24:28] 619*2^1396403-1 is not prime. Res64: 349E11A15E3F126A Time : 0.0 sec. user=mdettweiler [2015-03-29 02:33:42] 633*2^1396403-1 is not prime. Res64: 673138D3BCA3BEE9 Time : 0.0 sec. user=mdettweiler [2015-03-29 02:33:43] 679*2^1396403-1 is not prime. Res64: 62F5BD1CCB2C140E Time : 0.0 sec. user=juhehe [2015-03-29 02:46:14] 685*2^1396403-1 is not prime. Res64: 9FCF96213405C169 Time : 0.0 sec. user=mdettweiler [2015-03-29 02:48:07] 703*2^1396403-1 is not prime. Res64: 77D8FF4267BE6E02 Time : 0.0 sec. user=mdettweiler [2015-03-29 02:48:07] 715*2^1396403-1 is not prime. Res64: 5D4A30405CD23C18 Time : 0.0 sec. user=mdettweiler [2015-03-29 02:49:38] 741*2^1396403-1 is not prime. Res64: 9BE01CE674FDA4E4 Time : 0.0 sec. user=mdettweiler [2015-03-29 02:49:38] 885*2^1396403-1 is not prime. Res64: F382FDE17CC1BC0D Time : 0.0 sec. user=mdettweiler [2015-03-29 02:50:49] 999*2^1396403-1 is not prime. Res64: 1FB12381CA43397D Time : 0.0 sec. user=mdettweiler [2015-03-29 02:50:50] 639*2^1396404-1 is not prime. Res64: 6A0EA76FC28887B6 Time : 0.0 sec. user=mdettweiler [2015-03-29 02:59:41] 695*2^1396404-1 is not prime. Res64: E7F899BE6A8ECF64 Time : 0.0 sec. user=mdettweiler [2015-03-29 02:59:41] 749*2^1396404-1 is not prime. Res64: D0A1BAE339AE7A54 Time : 0.0 sec. user=mdettweiler [2015-03-29 03:13:52] 773*2^1396404-1 is not prime. Res64: D39CEB12CB930D95 Time : 0.0 sec. user=mdettweiler [2015-03-29 03:13:53] 857*2^1396404-1 is not prime. Res64: 9A67A9DDB0001B22 Time : 0.0 sec. user=mdettweiler [2015-03-29 03:15:33] 909*2^1396404-1 is not prime. Res64: 967A4D57AA56060E Time : 0.0 sec. user=mdettweiler [2015-03-29 03:15:33] 927*2^1396404-1 is not prime. Res64: 0985807EE1749792 Time : 0.0 sec. user=mdettweiler [2015-03-29 03:16:36] 945*2^1396404-1 is not prime. Res64: 0C18620F8BB206EA Time : 0.0 sec. user=mdettweiler [2015-03-29 03:16:37] 975*2^1396404-1 is not prime. Res64: 96B56460BF58EDEC Time : 0.0 sec. user=mdettweiler [2015-03-29 03:25:35] 601*2^1396405-1 is not prime. Res64: C43DFFA0B7C18D35 Time : 0.0 sec. user=mdettweiler [2015-03-29 03:25:36] 645*2^1396405-1 is not prime. Res64: D2CF4E9993B8DCFF Time : 0.0 sec. user=mdettweiler [2015-03-29 03:39:48] 667*2^1396405-1 is not prime. Res64: 127DB0D95015334A Time : 0.0 sec. user=mdettweiler [2015-03-29 03:39:49] 757*2^1396405-1 is not prime. Res64: C6F0C30308CCF361 Time : 0.0 sec. user=mdettweiler [2015-03-29 03:41:22] 799*2^1396405-1 is not prime. Res64: 6CB6790FD398F4A8 Time : 0.0 sec. user=mdettweiler [2015-03-29 03:41:23] 997*2^1396405-1 is not prime. Res64: 32AB19E3C391CB24 Time : 0.0 sec. user=mdettweiler [2015-03-29 03:42:29] 677*2^1396406-1 is not prime. Res64: 83369496DD189362 Time : 0.0 sec. user=mdettweiler [2015-03-29 03:42:31] 833*2^1396406-1 is not prime. Res64: BDE495F982E106DF Time : 0.0 sec. user=mdettweiler [2015-03-29 03:51:37] 957*2^1396406-1 is not prime. Res64: 5A600D036E3DB0E1 Time : 0.0 sec. user=mdettweiler [2015-03-29 03:51:38] 649*2^1396407-1 is not prime. Res64: 3B69A6E3D68F4AAD Time : 0.0 sec. user=juhehe [2015-03-29 04:04:09] 775*2^1396407-1 is not prime. Res64: 1003D7508170AA52 Time : 0.0 sec. user=mdettweiler [2015-03-29 04:05:58] 879*2^1396407-1 is not prime. Res64: D19229B038F756DC Time : 0.0 sec. user=mdettweiler [2015-03-29 04:06:00] 895*2^1396407-1 is not prime. Res64: 8B91EA92B533E8B8 Time : 0.0 sec. user=mdettweiler [2015-03-29 04:07:31] 973*2^1396407-1 is not prime. Res64: 93C4EF52EFD9BEA5 Time : 0.0 sec. user=mdettweiler [2015-03-29 04:07:32] 617*2^1396408-1 is not prime. Res64: 072F7C2D5E39F0F2 Time : 0.0 sec. user=mdettweiler [2015-03-29 04:08:55] 645*2^1396408-1 is not prime. Res64: 601806165716C6CB Time : 0.0 sec. user=mdettweiler [2015-03-29 04:08:55] 839*2^1396408-1 is not prime. Res64: D246620DF425207D Time : 0.0 sec. user=mdettweiler [2015-03-29 04:18:37] 845*2^1396408-1 is not prime. Res64: 05AD28880009A25E Time : 0.0 sec. user=mdettweiler [2015-03-29 04:18:38] 855*2^1396408-1 is not prime. Res64: C7CED68D8A10417D Time : 0.0 sec. user=mdettweiler [2015-03-29 04:32:55] 627*2^1396409-1 is not prime. Res64: 3E1B03C5F5B9C791 Time : 0.0 sec. user=mdettweiler [2015-03-29 04:32:56] 699*2^1396409-1 is not prime. Res64: 2CD579F54DE58F0E Time : 0.0 sec. user=mdettweiler [2015-03-29 04:34:08] 727*2^1396409-1 is not prime. Res64: 6AE7D81E11D2DC83 Time : 0.0 sec. user=mdettweiler [2015-03-29 04:34:09] 867*2^1396409-1 is not prime. Res64: 4D468D471107185E Time : 0.0 sec. user=juhehe [2015-03-29 04:34:33] 863*2^1396408-1 is not prime. Res64: 3478AFC3C20F6B30 Time : 0.0 sec. user=mdettweiler [2015-03-29 04:35:33] 955*2^1396409-1 is not prime. Res64: 43B59FBC7FC8A810 Time : 0.0 sec. user=mdettweiler [2015-03-29 04:35:33] 633*2^1396410-1 is not prime. Res64: A3B18F84A826F3B3 Time : 0.0 sec. user=mdettweiler [2015-03-29 04:44:41] 741*2^1396410-1 is not prime. Res64: DAB314B4D6952236 Time : 0.0 sec. user=mdettweiler [2015-03-29 04:44:41] 845*2^1396410-1 is not prime. Res64: 86DC7E6203AC31D0 Time : 0.0 sec. user=mdettweiler [2015-03-29 04:58:50] 609*2^1396411-1 is not prime. Res64: 605549B7BBF7E364 Time : 0.0 sec. user=mdettweiler [2015-03-29 04:58:50] 741*2^1396411-1 is not prime. Res64: 7D11C14850C56FD3 Time : 0.0 sec. user=mdettweiler [2015-03-29 04:59:51] 759*2^1396411-1 is not prime. Res64: E58DA5FA78F8A5DF Time : 0.0 sec. user=mdettweiler [2015-03-29 04:59:52] 861*2^1396411-1 is not prime. Res64: 451EEAD722309FD5 Time : 0.0 sec. user=mdettweiler [2015-03-29 05:01:25] 939*2^1396411-1 is not prime. Res64: BC5F1CA6BA2B14BC Time : 0.0 sec. user=mdettweiler [2015-03-29 05:01:26] 647*2^1396412-1 is not prime. Res64: 7849CB77A072F514 Time : 0.0 sec. user=mdettweiler [2015-03-29 05:10:26] 687*2^1396412-1 is not prime. Res64: 09D52E752C612021 Time : 0.0 sec. user=mdettweiler [2015-03-29 05:10:27] 735*2^1396412-1 is not prime. Res64: 42EC42F6F9DE839C Time : 0.0 sec. user=mdettweiler [2015-03-29 05:24:30] 767*2^1396412-1 is not prime. Res64: 9A82A7FA56C86267 Time : 0.0 sec. user=mdettweiler [2015-03-29 05:24:30] 867*2^1396412-1 is not prime. Res64: ABB9B2B5B220F67A Time : 0.0 sec. user=mdettweiler [2015-03-29 05:25:35] 899*2^1396412-1 is not prime. Res64: D18DBB9915886CAB Time : 0.0 sec. user=mdettweiler [2015-03-29 05:25:35] 983*2^1396412-1 is not prime. Res64: 2C7331187F750203 Time : 0.0 sec. user=mdettweiler [2015-03-29 05:27:15] 995*2^1396412-1 is not prime. Res64: 711C1BE572397AB7 Time : 0.0 sec. user=mdettweiler [2015-03-29 05:27:16] 625*2^1396413-1 is not prime. Res64: 3BB4BC630DD15D18 Time : 0.0 sec. user=mdettweiler [2015-03-29 05:36:08] 781*2^1396413-1 is not prime. Res64: 881750373B6CBD39 Time : 0.0 sec. user=mdettweiler [2015-03-29 05:36:09] 789*2^1396413-1 is not prime. Res64: C88A326C001B85EC Time : 0.0 sec. user=mdettweiler [2015-03-29 05:50:15] 795*2^1396413-1 is not prime. Res64: A141A2D5ADF9F10F Time : 0.0 sec. user=mdettweiler [2015-03-29 05:50:15] 829*2^1396413-1 is not prime. Res64: C5443BF2E4D30F26 Time : 0.0 sec. user=mdettweiler [2015-03-29 05:51:16] 885*2^1396413-1 is not prime. Res64: 376026B46765D65B Time : 0.0 sec. user=mdettweiler [2015-03-29 05:51:17] 895*2^1396413-1 is not prime. Res64: 4B9F3BF145416648 Time : 0.0 sec. user=mdettweiler [2015-03-29 05:53:05] 991*2^1396413-1 is not prime. Res64: 9710067EB770129B Time : 0.0 sec. user=mdettweiler [2015-03-29 05:53:05] 737*2^1396414-1 is not prime. Res64: E8F666A8B88BD442 Time : 0.0 sec. user=mdettweiler [2015-03-29 06:01:46] 861*2^1396414-1 is not prime. Res64: F2462CDA9BF328F0 Time : 0.0 sec. user=mdettweiler [2015-03-29 06:01:47] 923*2^1396414-1 is not prime. Res64: 2E4A3A77637E9C3C Time : 0.0 sec. user=mdettweiler [2015-03-29 06:15:52] 707*2^1396416-1 is not prime. Res64: 942B6B07AF6A2178 Time : 0.0 sec. user=mdettweiler [2015-03-29 06:15:52] 717*2^1396416-1 is not prime. Res64: 5EF7DE259C9050DA Time : 0.0 sec. user=mdettweiler [2015-03-29 06:16:56] 873*2^1396416-1 is not prime. Res64: 660D5CD3EEFC87EB Time : 0.0 sec. user=mdettweiler [2015-03-29 06:16:56] 927*2^1396416-1 is not prime. Res64: 74BB909191EF54CE Time : 0.0 sec. user=mdettweiler [2015-03-29 06:18:42] 685*2^1396417-1 is not prime. Res64: B6471CB9BA3C7725 Time : 0.0 sec. user=mdettweiler [2015-03-29 06:18:42] 895*2^1396417-1 is not prime. Res64: BCF541F8B5C2E56E Time : 0.0 sec. user=juhehe [2015-03-29 06:21:25] 883*2^1396415-1 is not prime. Res64: 4CFD2FA41CF0BD7A Time : 0.0 sec. user=mdettweiler [2015-03-29 06:27:42] 937*2^1396417-1 is not prime. Res64: 7133D9DD7A86D19C Time : 0.0 sec. user=mdettweiler [2015-03-29 06:27:43] 939*2^1396417-1 is not prime. Res64: C46F1A2F045C8979 Time : 0.0 sec. user=mdettweiler [2015-03-29 06:41:35] 955*2^1396417-1 is not prime. Res64: DC6AD379116160C5 Time : 0.0 sec. user=mdettweiler [2015-03-29 06:41:35] 713*2^1396418-1 is not prime. Res64: 23DB8CA5F14FDA5C Time : 0.0 sec. user=mdettweiler [2015-03-29 06:42:43] 743*2^1396418-1 is not prime. Res64: 2E3C38B4003842AB Time : 0.0 sec. user=mdettweiler [2015-03-29 06:42:44] 827*2^1396418-1 is not prime. Res64: 50DDB765E7CE8675 Time : 0.0 sec. user=mdettweiler [2015-03-29 06:44:23] 837*2^1396418-1 is not prime. Res64: 3A8C98EFBFA74F71 Time : 0.0 sec. user=mdettweiler [2015-03-29 06:44:23] 923*2^1396418-1 is not prime. Res64: 76ED92A620817622 Time : 0.0 sec. user=mdettweiler [2015-03-29 06:53:26] 705*2^1396419-1 is not prime. Res64: 8500660AB3597671 Time : 0.0 sec. user=mdettweiler [2015-03-29 06:53:27] 721*2^1396419-1 is not prime. Res64: F65F02E93F8984F7 Time : 0.0 sec. user=mdettweiler [2015-03-29 07:07:13] 745*2^1396419-1 is not prime. Res64: FE93091F8EC6059F Time : 0.0 sec. user=mdettweiler [2015-03-29 07:07:13] 751*2^1396419-1 is not prime. Res64: 1583045584A5E6ED Time : 0.0 sec. user=mdettweiler [2015-03-29 07:08:30] 891*2^1396419-1 is not prime. Res64: 1EC85636D0E1E9F7 Time : 0.0 sec. user=mdettweiler [2015-03-29 07:08:31] 919*2^1396419-1 is not prime. Res64: DDB23DAD8A1CD7D5 Time : 0.0 sec. user=mdettweiler [2015-03-29 07:10:05] 943*2^1396419-1 is not prime. Res64: E5D990B87748D9CC Time : 0.0 sec. user=mdettweiler [2015-03-29 07:10:06] 961*2^1396419-1 is not prime. Res64: 0066CB93E2B718BF Time : 0.0 sec. user=mdettweiler [2015-03-29 07:19:07] 975*2^1396419-1 is not prime. Res64: BE6F17E09E0CC7EB Time : 0.0 sec. user=mdettweiler [2015-03-29 07:19:07] 833*2^1396420-1 is not prime. Res64: 2AAD7581AA146B1E Time : 0.0 sec. user=juhehe [2015-03-29 07:31:38] 899*2^1396420-1 is not prime. Res64: 00CC47F701C351D1 Time : 0.0 sec. user=mdettweiler [2015-03-29 07:32:57] 999*2^1396420-1 is not prime. Res64: 95923511661268F5 Time : 0.0 sec. user=mdettweiler [2015-03-29 07:32:57] 607*2^1396421-1 is not prime. Res64: 562EA10F47B4C6E3 Time : 0.0 sec. user=mdettweiler [2015-03-29 07:34:14] 717*2^1396421-1 is not prime. Res64: FF0FD6F4BDC291EF Time : 0.0 sec. user=mdettweiler [2015-03-29 07:34:14] 747*2^1396421-1 is not prime. Res64: 913EFB51E33FEEB5 Time : 0.0 sec. user=mdettweiler [2015-03-29 07:35:52] 855*2^1396421-1 is not prime. Res64: 2C1A9FCEB0CB4A3F Time : 0.0 sec. user=mdettweiler [2015-03-29 07:35:52] 861*2^1396421-1 is not prime. Res64: 8E518E44FF189736 Time : 0.0 sec. user=mdettweiler [2015-03-29 07:44:45] 937*2^1396421-1 is not prime. Res64: FD36CFA06E7D709B Time : 0.0 sec. user=mdettweiler [2015-03-29 07:44:45] 717*2^1396422-1 is not prime. Res64: 844A325AFECDF798 Time : 0.0 sec. user=mdettweiler [2015-03-29 07:58:43] 609*2^1396423-1 is not prime. Res64: 8FCABAA844B88649 Time : 0.0 sec. user=mdettweiler [2015-03-29 07:58:44] 661*2^1396423-1 is not prime. Res64: 9AA6D7075A34FF23 Time : 0.0 sec. user=mdettweiler [2015-03-29 07:59:59] 681*2^1396423-1 is not prime. Res64: 170B5F3AD9D03AA9 Time : 0.0 sec. user=mdettweiler [2015-03-29 07:59:59] 703*2^1396423-1 is not prime. Res64: 31A6347FCFF7AF66 Time : 0.0 sec. user=mdettweiler [2015-03-29 08:01:37] 723*2^1396423-1 is not prime. Res64: E35FF7C42E2831DB Time : 0.0 sec. user=mdettweiler [2015-03-29 08:01:39] 783*2^1396423-1 is not prime. Res64: FAE39309A6194025 Time : 0.0 sec. user=mdettweiler [2015-03-29 08:10:30] 853*2^1396423-1 is not prime. Res64: DC3702D644AC5610 Time : 0.0 sec. user=mdettweiler [2015-03-29 08:10:30] 861*2^1396423-1 is not prime. Res64: DBA76994205E978E Time : 0.0 sec. user=mdettweiler [2015-03-29 08:24:24] 919*2^1396423-1 is not prime. Res64: BCD341602DED02B2 Time : 0.0 sec. user=mdettweiler [2015-03-29 08:24:25] 999*2^1396423-1 is not prime. Res64: F7DCD70A0A121EFA Time : 0.0 sec. user=mdettweiler [2015-03-29 08:25:37] 609*2^1396424-1 is not prime. Res64: 946621A1C4153B8F Time : 0.0 sec. user=mdettweiler [2015-03-29 08:25:38] 755*2^1396424-1 is not prime. Res64: F2436DEB5FA2A299 Time : 0.0 sec. user=mdettweiler [2015-03-29 08:27:31] 903*2^1396424-1 is not prime. Res64: A5EF35C63A396988 Time : 0.0 sec. user=mdettweiler [2015-03-29 08:27:31] 957*2^1396424-1 is not prime. Res64: 624561C62E4B2E0E Time : 0.0 sec. user=mdettweiler [2015-03-29 08:36:12] 717*2^1396425-1 is not prime. Res64: 223C7CABDDB12149 Time : 0.0 sec. user=mdettweiler [2015-03-29 08:36:13] 789*2^1396425-1 is not prime. Res64: FA91935D7A03B8B1 Time : 0.0 sec. user=mdettweiler [2015-03-29 08:50:06] 653*2^1396426-1 is not prime. Res64: B08A82AFAE930015 Time : 0.0 sec. user=mdettweiler [2015-03-29 08:50:07] 675*2^1396426-1 is not prime. Res64: 42937C63EEE9FBD9 Time : 0.0 sec. user=mdettweiler [2015-03-29 08:51:28] 737*2^1396426-1 is not prime. Res64: 249516744ACA7355 Time : 0.0 sec. user=mdettweiler [2015-03-29 08:51:29] 783*2^1396426-1 is not prime. Res64: 87766CB084C2EF04 Time : 0.0 sec. user=mdettweiler [2015-03-29 08:53:20] 891*2^1396426-1 is not prime. Res64: 2003CEABC8C16995 Time : 0.0 sec. user=mdettweiler [2015-03-29 08:53:20] 619*2^1396427-1 is not prime. Res64: C6A2A9F665537402 Time : 0.0 sec. user=mdettweiler [2015-03-29 09:01:59] 663*2^1396427-1 is not prime. Res64: 1EE7489C2CAD7806 Time : 0.0 sec. user=mdettweiler [2015-03-29 09:02:00] 703*2^1396427-1 is not prime. Res64: 980BB96AF7551111 Time : 0.0 sec. user=mdettweiler [2015-03-29 09:15:51] 843*2^1396427-1 is not prime. Res64: F97A5B2F30E8093A Time : 0.0 sec. user=mdettweiler [2015-03-29 09:15:52] 861*2^1396427-1 is not prime. Res64: 1E0AB0E8D7930FC1 Time : 0.0 sec. user=mdettweiler [2015-03-29 09:17:09] 939*2^1396427-1 is not prime. Res64: DC56F93E7132AB51 Time : 0.0 sec. user=mdettweiler [2015-03-29 09:17:09] 979*2^1396427-1 is not prime. Res64: D0C721D0313F8D63 Time : 0.0 sec. user=mdettweiler [2015-03-29 09:19:04] 629*2^1396428-1 is not prime. Res64: 37BC90BC95D1E1C1 Time : 0.0 sec. user=mdettweiler [2015-03-29 09:19:04] 633*2^1396428-1 is not prime. Res64: AA713E9FC21F86C5 Time : 0.0 sec. user=juhehe [2015-03-29 09:22:38] 733*2^1396427-1 is not prime. Res64: C3BAB1A499B22223 Time : 0.0 sec. user=mdettweiler [2015-03-29 09:27:55] 669*2^1396428-1 is not prime. Res64: A15D9F80E51E13C5 Time : 0.0 sec. user=mdettweiler [2015-03-29 09:27:55] 725*2^1396428-1 is not prime. Res64: FDDE55881FDF6742 Time : 0.0 sec. user=mdettweiler [2015-03-29 09:41:36] 765*2^1396428-1 is not prime. Res64: 7739264EEAE84D2F Time : 0.0 sec. user=mdettweiler [2015-03-29 09:41:36] 777*2^1396428-1 is not prime. Res64: 6D0D10B3C865C00D Time : 0.0 sec. user=mdettweiler [2015-03-29 09:42:46] 899*2^1396428-1 is not prime. Res64: 433FF23D427E35A1 Time : 0.0 sec. user=mdettweiler [2015-03-29 09:42:46] 905*2^1396428-1 is not prime. Res64: CEF5C07A1D57FB5F Time : 0.0 sec. user=mdettweiler [2015-03-29 09:44:42] 945*2^1396428-1 is not prime. Res64: 8EF6A45742484528 Time : 0.0 sec. user=mdettweiler [2015-03-29 09:44:42] 975*2^1396428-1 is not prime. Res64: FBFCEB8AD19F7445 Time : 0.0 sec. user=mdettweiler [2015-03-29 09:53:38] 615*2^1396429-1 is not prime. Res64: A3F95320E9BCA6ED Time : 0.0 sec. user=mdettweiler [2015-03-29 09:53:39] 675*2^1396429-1 is not prime. Res64: 1F3DC44E6A0E66A9 Time : 0.0 sec. user=mdettweiler [2015-03-29 10:07:18] 799*2^1396429-1 is not prime. Res64: 52BF16267672BE8C Time : 0.0 sec. user=mdettweiler [2015-03-29 10:07:18] 831*2^1396429-1 is not prime. Res64: 885E4FF40E05C875 Time : 0.0 sec. user=mdettweiler [2015-03-29 10:08:27] 957*2^1396429-1 is not prime. Res64: F2BE261DD258300A Time : 0.0 sec. user=mdettweiler [2015-03-29 10:08:27] 999*2^1396429-1 is not prime. Res64: 8FBD6737728CA114 Time : 0.0 sec. user=mdettweiler [2015-03-29 10:10:32] 665*2^1396430-1 is not prime. Res64: CE65B4F05C7560BF Time : 0.0 sec. user=mdettweiler [2015-03-29 10:10:33] 773*2^1396430-1 is not prime. Res64: 70332586DDE53679 Time : 0.0 sec. user=mdettweiler [2015-03-29 10:19:22] 785*2^1396430-1 is not prime. Res64: BC2F7FEEBBD31CE6 Time : 0.0 sec. user=mdettweiler [2015-03-29 10:19:23] 801*2^1396430-1 is not prime. Res64: 11DA1C4EA1079492 Time : 0.0 sec. user=mdettweiler [2015-03-29 10:32:51] 917*2^1396430-1 is not prime. Res64: D8AFB898A98C1EAF Time : 0.0 sec. user=mdettweiler [2015-03-29 10:32:51] 945*2^1396430-1 is not prime. Res64: B136893B77DFC545 Time : 0.0 sec. user=mdettweiler [2015-03-29 10:34:03] 861*2^1396431-1 is not prime. Res64: AB77B1190915E108 Time : 0.0 sec. user=mdettweiler [2015-03-29 10:34:04] 895*2^1396431-1 is not prime. Res64: 36B7827D9DFCDE47 Time : 0.0 sec. user=mdettweiler [2015-03-29 10:36:14] 975*2^1396431-1 is not prime. Res64: AD7A05F6A7395E4E Time : 0.0 sec. user=mdettweiler [2015-03-29 10:36:14] 609*2^1396432-1 is not prime. Res64: 23F703BA9394D7FF Time : 0.0 sec. user=mdettweiler [2015-03-29 10:45:03] 615*2^1396432-1 is not prime. Res64: C3CB57FAA8BD23B1 Time : 0.0 sec. user=mdettweiler [2015-03-29 10:45:04] 623*2^1396432-1 is not prime. Res64: 9DCDC9E2DE34F5FE Time : 0.0 sec. user=mdettweiler [2015-03-29 10:58:26] 713*2^1396432-1 is not prime. Res64: 98C5663EBC8E9FD3 Time : 0.0 sec. user=mdettweiler [2015-03-29 10:58:26] 827*2^1396432-1 is not prime. Res64: C78E25D838613730 Time : 0.0 sec. user=mdettweiler [2015-03-29 10:59:41] 843*2^1396432-1 is not prime. Res64: 87B73E53DA25D328 Time : 0.0 sec. user=mdettweiler [2015-03-29 10:59:42] 909*2^1396432-1 is not prime. Res64: 7C8A834B11496A1D Time : 0.0 sec. user=mdettweiler [2015-03-29 11:01:52] 915*2^1396432-1 is not prime. Res64: 107E2C33F457CE03 Time : 0.0 sec. user=mdettweiler [2015-03-29 11:01:54] 879*2^1396433-1 is not prime. Res64: 8250AF1B1C5501EC Time : 0.0 sec. user=juhehe [2015-03-29 11:06:26] 639*2^1396432-1 is not prime. Res64: 5C3C2F9E8AA4EBD7 Time : 0.0 sec. user=mdettweiler [2015-03-29 11:10:37] 969*2^1396433-1 is not prime. Res64: CE1C7C74F5C22E19 Time : 0.0 sec. user=mdettweiler [2015-03-29 11:10:38] 621*2^1396434-1 is not prime. Res64: 1CFB2F23F7AF0FA6 Time : 0.0 sec. user=mdettweiler [2015-03-29 11:24:07] 663*2^1396434-1 is not prime. Res64: 29A425A4CBAE38F0 Time : 0.0 sec. user=mdettweiler [2015-03-29 11:24:07] 671*2^1396434-1 is not prime. Res64: DC93EE92DF1245B9 Time : 0.0 sec. user=mdettweiler [2015-03-29 11:25:18] 725*2^1396434-1 is not prime. Res64: 7F68D8398453A8A8 Time : 0.0 sec. user=mdettweiler [2015-03-29 11:25:18] 755*2^1396434-1 is not prime. Res64: DB0E074C1CAA8497 Time : 0.0 sec. user=mdettweiler [2015-03-29 11:27:32] 765*2^1396434-1 is not prime. Res64: CEB4A2B96D9A592D Time : 0.0 sec. user=mdettweiler [2015-03-29 11:27:32] 921*2^1396434-1 is not prime. Res64: E9FED66D1FF2F503 Time : 0.0 sec. user=mdettweiler [2015-03-29 11:36:16] 983*2^1396434-1 is not prime. Res64: E978521D9384693D Time : 0.0 sec. user=mdettweiler [2015-03-29 11:36:17] 649*2^1396435-1 is not prime. Res64: 3F54F8974D85CB14 Time : 0.0 sec. user=mdettweiler [2015-03-29 11:49:43] 679*2^1396435-1 is not prime. Res64: FE71AB613993B48B Time : 0.0 sec. user=mdettweiler [2015-03-29 11:49:43] 979*2^1396435-1 is not prime. Res64: 63DF7156A903D71A Time : 0.0 sec. user=mdettweiler [2015-03-29 11:50:52] 803*2^1396436-1 is not prime. Res64: 6C94DA6EB27BEB2B Time : 0.0 sec. user=mdettweiler [2015-03-29 11:50:53] 893*2^1396436-1 is not prime. Res64: E9837C47B0396AC4 Time : 0.0 sec. user=mdettweiler [2015-03-29 11:53:15] 899*2^1396436-1 is not prime. Res64: BC0763B0A9284FA4 Time : 0.0 sec. user=mdettweiler [2015-03-29 11:53:15] 927*2^1396436-1 is not prime. Res64: 81AAFDB9AA60A787 Time : 0.0 sec. user=mdettweiler [2015-03-29 12:02:02] 993*2^1396436-1 is not prime. Res64: DC9C57A714E09E66 Time : 0.0 sec. user=mdettweiler [2015-03-29 12:02:03] 727*2^1396437-1 is not prime. Res64: 3B2A45A38A1A1843 Time : 0.0 sec. user=mdettweiler [2015-03-29 12:15:18] 741*2^1396437-1 is not prime. Res64: B4D2FA8710028656 Time : 0.0 sec. user=mdettweiler [2015-03-29 12:15:18] 747*2^1396437-1 is not prime. Res64: 6BE7494EBDCFF084 Time : 0.0 sec. user=mdettweiler [2015-03-29 12:16:23] 891*2^1396437-1 is not prime. Res64: BC1F371C71708FCD Time : 0.0 sec. user=mdettweiler [2015-03-29 12:16:24] 915*2^1396437-1 is not prime. Res64: 207AFED855FDD9F3 Time : 0.0 sec. user=mdettweiler [2015-03-29 12:18:53] 647*2^1396438-1 is not prime. Res64: 27D7CAC03171186E Time : 0.0 sec. user=mdettweiler [2015-03-29 12:18:53] 723*2^1396438-1 is not prime. Res64: 2C886AA9472F2869 Time : 0.0 sec. user=mdettweiler [2015-03-29 12:27:36] 603*2^1396439-1 is not prime. Res64: 423748DA01A94433 Time : 0.0 sec. user=mdettweiler [2015-03-29 12:27:37] 685*2^1396439-1 is not prime. Res64: 32477F0A9CBE9987 Time : 0.0 sec. user=mdettweiler [2015-03-29 12:40:57] 831*2^1396439-1 is not prime. Res64: 38B4BD0CA5CB4362 Time : 0.0 sec. user=mdettweiler [2015-03-29 12:40:58] 859*2^1396439-1 is not prime. Res64: 7AA23153A824F4EC Time : 0.0 sec. user=mdettweiler [2015-03-29 12:41:58] 885*2^1396439-1 is not prime. Res64: DF60C294F2C15000 Time : 0.0 sec. user=mdettweiler [2015-03-29 12:41:58] 973*2^1396439-1 is not prime. Res64: B31A1A1587676D37 Time : 0.0 sec. user=mdettweiler [2015-03-29 12:44:28] 993*2^1396439-1 is not prime. Res64: F1B2E86DB1C4E0CA Time : 0.0 sec. user=mdettweiler [2015-03-29 12:44:28] 999*2^1396439-1 is not prime. Res64: 1B540CC16DF027C7 Time : 0.0 sec. user=mdettweiler [2015-03-29 12:53:19] 669*2^1396440-1 is not prime. Res64: 1100010539D90A26 Time : 0.0 sec. user=mdettweiler [2015-03-29 12:53:20] 675*2^1396440-1 is not prime. Res64: 21DFBCF395503E2D Time : 0.0 sec. user=mdettweiler [2015-03-29 13:06:27] 689*2^1396440-1 is not prime. Res64: FA3E05893FBAC35E Time : 0.0 sec. user=mdettweiler [2015-03-29 13:06:27] 719*2^1396440-1 is not prime. Res64: 7DCC97555A88B7C4 Time : 0.0 sec. user=juhehe [2015-03-29 13:07:03] 635*2^1396440-1 is not prime. Res64: 03CF78B45090DD49 Time : 0.0 sec. user=mdettweiler [2015-03-29 13:07:38] 767*2^1396440-1 is not prime. Res64: 31C9A45E32335F81 Time : 0.0 sec. user=mdettweiler [2015-03-29 13:07:38] 893*2^1396440-1 is not prime. Res64: FA179752ED61AD23 Time : 0.0 sec. user=mdettweiler [2015-03-29 13:10:06] 933*2^1396440-1 is not prime. Res64: 4D3A9588C33FE11F Time : 0.0 sec. user=mdettweiler [2015-03-29 13:10:07] 651*2^1396441-1 is not prime. Res64: D190E00070A2C30C Time : 0.0 sec. user=mdettweiler [2015-03-29 13:18:53] 705*2^1396441-1 is not prime. Res64: C5A72534FDC50921 Time : 0.0 sec. user=mdettweiler [2015-03-29 13:18:54] 715*2^1396441-1 is not prime. Res64: 66AD22A5B28E0A67 Time : 0.0 sec. user=mdettweiler [2015-03-29 13:32:10] 867*2^1396441-1 is not prime. Res64: 87D95DABB8AED714 Time : 0.0 sec. user=mdettweiler [2015-03-29 13:32:11] 871*2^1396441-1 is not prime. Res64: E58DB53E917F1FBA Time : 0.0 sec. user=mdettweiler [2015-03-29 13:33:10] 877*2^1396441-1 is not prime. Res64: 603D057C6C8A5391 Time : 0.0 sec. user=mdettweiler [2015-03-29 13:33:10] 889*2^1396441-1 is not prime. Res64: 3CE17E69DB1002E8 Time : 0.0 sec. user=mdettweiler [2015-03-29 13:35:52] 975*2^1396441-1 is not prime. Res64: 5088D7922CE12B5F Time : 0.0 sec. user=mdettweiler [2015-03-29 13:35:52] 615*2^1396442-1 is not prime. Res64: 868E3E55FC570315 Time : 0.0 sec. user=mdettweiler [2015-03-29 13:44:43] 827*2^1396442-1 is not prime. Res64: 89B18D9DCFF4844B Time : 0.0 sec. user=mdettweiler [2015-03-29 13:44:43] 833*2^1396442-1 is not prime. Res64: 3333813C35DD0B6D Time : 0.0 sec. user=mdettweiler [2015-03-29 13:57:46] 843*2^1396442-1 is not prime. Res64: E948F85085C48950 Time : 0.0 sec. user=mdettweiler [2015-03-29 13:57:47] 875*2^1396442-1 is not prime. Res64: 19B6A6540F6FB18E Time : 0.0 sec. user=mdettweiler [2015-03-29 13:58:54] 981*2^1396442-1 is not prime. Res64: 7CB562412E6C4D35 Time : 0.0 sec. user=mdettweiler [2015-03-29 13:58:54] 735*2^1396443-1 is not prime. Res64: 0B1A164ADCBE35C3 Time : 0.0 sec. user=mdettweiler [2015-03-29 14:01:36] 739*2^1396443-1 is not prime. Res64: 19EDA07242660AC8 Time : 0.0 sec. user=mdettweiler [2015-03-29 14:01:36] 765*2^1396443-1 is not prime. Res64: 215CF01171AACE40 Time : 0.0 sec. user=mdettweiler [2015-03-29 14:10:43] 861*2^1396443-1 is not prime. Res64: 2BD02B0241858366 Time : 0.0 sec. user=mdettweiler [2015-03-29 14:10:43] 895*2^1396443-1 is not prime. Res64: 9149E16A473B13A1 Time : 0.0 sec. user=mdettweiler [2015-03-29 14:24:27] 945*2^1396443-1 is not prime. Res64: 36B987B71E3CBA19 Time : 0.0 sec. user=mdettweiler [2015-03-29 14:24:28] 609*2^1396444-1 is not prime. Res64: 4F01A4C3C1FE04FA Time : 0.0 sec. user=mdettweiler [2015-03-29 14:25:43] 705*2^1396444-1 is not prime. Res64: 99F0483A2B46DA11 Time : 0.0 sec. user=mdettweiler [2015-03-29 14:25:43] 719*2^1396444-1 is not prime. Res64: F7EC1DBFEFBB1DA2 Time : 0.0 sec. user=mdettweiler [2015-03-29 14:30:38] 743*2^1396444-1 is not prime. Res64: C8A5A6A8038A2A91 Time : 0.0 sec. user=mdettweiler [2015-03-29 14:30:39] 783*2^1396444-1 is not prime. Res64: 0279B2DF46778AB1 Time : 0.0 sec. user=mdettweiler [2015-03-29 14:43:19] 855*2^1396444-1 is not prime. Res64: E899CB97A52290FD Time : 0.0 sec. user=mdettweiler [2015-03-29 14:43:19] 903*2^1396444-1 is not prime. Res64: 3386F8F80461C6EA Time : 0.0 sec. user=mdettweiler [2015-03-29 14:57:42] 927*2^1396444-1 is not prime. Res64: 9B948162F5ED502C Time : 0.0 sec. user=mdettweiler [2015-03-29 14:57:42] 775*2^1396445-1 is not prime. Res64: AFC5DFC99746C60D Time : 0.0 sec. user=mdettweiler [2015-03-29 14:57:53] 805*2^1396445-1 is not prime. Res64: 41145648B8BD2AA1 Time : 0.0 sec. user=mdettweiler [2015-03-29 14:57:53] 811*2^1396445-1 is not prime. Res64: 779591666022F5B7 Time : 0.0 sec. user=mdettweiler [2015-03-29 15:00:47] 831*2^1396445-1 is not prime. Res64: 737D7AEB41AA702D Time : 0.0 sec. user=mdettweiler [2015-03-29 15:00:48] 627*2^1396446-1 is not prime. Res64: 2FCFB621914654DC Time : 0.0 sec. user=mdettweiler [2015-03-29 15:09:36] 765*2^1396446-1 is not prime. Res64: 39094573E528DCEF Time : 0.0 sec. user=mdettweiler [2015-03-29 15:09:36] 851*2^1396446-1 is not prime. Res64: AA5AC0E915395FAE Time : 0.0 sec. user=juhehe [2015-03-29 15:09:53] 825*2^1396445-1 is not prime. Res64: 79403F11B2F08DC9 Time : 0.0 sec. user=mdettweiler [2015-03-29 15:23:46] 875*2^1396446-1 is not prime. Res64: D72844C9F2420B59 Time : 0.0 sec. user=mdettweiler [2015-03-29 15:23:47] 887*2^1396446-1 is not prime. Res64: 780BD2D35E2044E7 Time : 0.0 sec. user=mdettweiler [2015-03-29 15:23:53] 903*2^1396446-1 is not prime. Res64: 39671DFD3D58E024 Time : 0.0 sec. user=mdettweiler [2015-03-29 15:23:53] 615*2^1396447-1 is not prime. Res64: 67D730A358FBC780 Time : 0.0 sec. user=mdettweiler [2015-03-29 15:26:47] 621*2^1396447-1 is not prime. Res64: C739AECAEF8E0E7F Time : 0.0 sec. user=mdettweiler [2015-03-29 15:26:48] 633*2^1396447-1 is not prime. Res64: F389392058496F6D Time : 0.0 sec. user=mdettweiler [2015-03-29 15:35:36] 685*2^1396447-1 is not prime. Res64: 4004B5994EC1A377 Time : 0.0 sec. user=mdettweiler [2015-03-29 15:35:37] 735*2^1396447-1 is not prime. Res64: 033D80C256D272A6 Time : 0.0 sec. user=mdettweiler [2015-03-29 15:49:53] 913*2^1396447-1 is not prime. Res64: 52042724E2EEACAE Time : 0.0 sec. user=mdettweiler [2015-03-29 15:49:53] 769*2^1396447-1 is not prime. Res64: 4D5AC0A37E20F651 Time : 0.0 sec. user=mdettweiler [2015-03-29 15:49:54] 945*2^1396447-1 is not prime. Res64: 34D66333CD5FE2D8 Time : 0.0 sec. user=mdettweiler [2015-03-29 15:49:54] 843*2^1396447-1 is not prime. Res64: 11AFBC50F11A098B Time : 0.0 sec. user=mdettweiler [2015-03-29 15:52:49] 669*2^1396448-1 is not prime. Res64: 3047F2A2A5BE78C5 Time : 0.0 sec. user=mdettweiler [2015-03-29 15:52:49] 725*2^1396448-1 is not prime. Res64: FB6F16A56B6B9630 Time : 0.0 sec. user=mdettweiler [2015-03-29 16:01:38] 755*2^1396448-1 is not prime. Res64: C904F527A784731C Time : 0.0 sec. user=mdettweiler [2015-03-29 16:01:39] 773*2^1396448-1 is not prime. Res64: 4F610C998CC486AB Time : 0.0 sec. user=mdettweiler [2015-03-29 16:15:53] 927*2^1396448-1 is not prime. Res64: BF3899F389E2E341 Time : 0.0 sec. user=mdettweiler [2015-03-29 16:15:53] 945*2^1396448-1 is not prime. Res64: BC3086419E341F11 Time : 0.0 sec. user=mdettweiler [2015-03-29 16:16:00] 843*2^1396448-1 is not prime. Res64: 91787830FC790BC6 Time : 0.0 sec. user=mdettweiler [2015-03-29 16:16:00] 875*2^1396448-1 is not prime. Res64: C19FC4BDFA6CED29 Time : 0.0 sec. user=mdettweiler [2015-03-29 16:18:51] 963*2^1396448-1 is not prime. Res64: 206E1369779C8863 Time : 0.0 sec. user=mdettweiler [2015-03-29 16:18:51] 889*2^1396449-1 is not prime. Res64: AB6556253161F3C3 Time : 0.0 sec. user=mdettweiler [2015-03-29 16:27:55] 623*2^1396450-1 is not prime. Res64: C85BE1E0E9A35291 Time : 0.0 sec. user=mdettweiler [2015-03-29 16:27:55] 657*2^1396450-1 is not prime. Res64: D67D2E18A40F1690 Time : 0.0 sec. user=mdettweiler [2015-03-29 16:41:45] 663*2^1396450-1 is not prime. Res64: DF3F283471987092 Time : 0.0 sec. user=mdettweiler [2015-03-29 16:41:45] 825*2^1396450-1 is not prime. Res64: BC9419A1E3614AB1 Time : 0.0 sec. user=mdettweiler [2015-03-29 16:42:06] 857*2^1396450-1 is not prime. Res64: 4504D01EE113E609 Time : 0.0 sec. user=mdettweiler [2015-03-29 16:42:07] 873*2^1396450-1 is not prime. Res64: 4BD88C548344EC89 Time : 0.0 sec. user=mdettweiler [2015-03-29 16:45:05] 917*2^1396450-1 is not prime. Res64: 91B641C22D7D2FA6 Time : 0.0 sec. user=mdettweiler [2015-03-29 16:45:05] 609*2^1396451-1 is not prime. Res64: A7C82424BC3D8FA6 Time : 0.0 sec. user=mdettweiler [2015-03-29 16:53:58] 735*2^1396451-1 is not prime. Res64: 56D18AFB03133997 Time : 0.0 sec. user=mdettweiler [2015-03-29 16:53:58] 783*2^1396451-1 is not prime. Res64: F14E047BA99CD34C Time : 0.0 sec. user=mdettweiler [2015-03-29 17:07:54] 969*2^1396451-1 is not prime. Res64: 3D26A5A38156463C Time : 0.0 sec. user=mdettweiler [2015-03-29 17:07:54] 991*2^1396451-1 is not prime. Res64: 1F2827B5DAADA52E Time : 0.0 sec. user=mdettweiler [2015-03-29 17:08:11] 609*2^1396452-1 is not prime. Res64: 051E7DA8502511DC Time : 0.0 sec. user=mdettweiler [2015-03-29 17:08:12] 669*2^1396452-1 is not prime. Res64: F57AE156D8270CC8 Time : 0.0 sec. user=mdettweiler [2015-03-29 17:11:21] 915*2^1396452-1 is not prime. Res64: E5DCA3071960FAFB Time : 0.0 sec. user=mdettweiler [2015-03-29 17:11:21] 977*2^1396452-1 is not prime. Res64: 1B982B7AD2D8F977 Time : 0.0 sec. user=mdettweiler [2015-03-29 17:20:24] 999*2^1396452-1 is not prime. Res64: 591BEC4913FDF558 Time : 0.0 sec. user=mdettweiler [2015-03-29 17:20:24] 607*2^1396453-1 is not prime. Res64: 40E21F48964A1DC8 Time : 0.0 sec. user=mdettweiler [2015-03-29 17:35:33] 609*2^1396453-1 is not prime. Res64: 96F88B58803C53D4 Time : 0.0 sec. user=mdettweiler [2015-03-29 17:35:33] 619*2^1396453-1 is not prime. Res64: 776A0A181E9227AE Time : 0.0 sec. user=mdettweiler [2015-03-29 17:35:42] 675*2^1396453-1 is not prime. Res64: 6698EB3173C3C088 Time : 0.0 sec. user=mdettweiler [2015-03-29 17:35:42] 691*2^1396453-1 is not prime. Res64: 3468305AF65AA8C0 Time : 0.0 sec. user=mdettweiler [2015-03-29 17:39:34] 729*2^1396453-1 is not prime. Res64: 86CFCFDA0749675C Time : 0.0 sec. user=mdettweiler [2015-03-29 17:39:34] 747*2^1396453-1 is not prime. Res64: E6258B6FFEDB0E23 Time : 0.0 sec. user=mdettweiler [2015-03-29 17:48:14] 979*2^1396453-1 is not prime. Res64: 2BC8B3DE0D130CF2 Time : 0.0 sec. user=mdettweiler [2015-03-29 17:48:14] 987*2^1396453-1 is not prime. Res64: 4CBA12CCF860BCA7 Time : 0.0 sec. user=mdettweiler [2015-03-29 18:02:52] 663*2^1396454-1 is not prime. Res64: 7C226A90EE3DA7AC Time : 0.0 sec. user=mdettweiler [2015-03-29 18:02:53] 665*2^1396454-1 is not prime. Res64: 5C35301C56F35D8D Time : 0.0 sec. user=mdettweiler [2015-03-29 18:03:14] 693*2^1396454-1 is not prime. Res64: 20A97C5609D99DF1 Time : 0.0 sec. user=mdettweiler [2015-03-29 18:03:17] 875*2^1396454-1 is not prime. Res64: 7EE77A8B349587F3 Time : 0.0 sec. user=mdettweiler [2015-03-29 18:06:56] 995*2^1396454-1 is not prime. Res64: 2D8B9F43C3FB60B0 Time : 0.0 sec. user=mdettweiler [2015-03-29 18:06:56] 679*2^1396455-1 is not prime. Res64: BEB4320EF9DB8DCB Time : 0.0 sec. user=mdettweiler [2015-03-29 18:15:02] 735*2^1396455-1 is not prime. Res64: 0AD5631F46A0D679 Time : 0.0 sec. user=mdettweiler [2015-03-29 18:15:03] 999*2^1396455-1 is not prime. Res64: 2D7F553A3A529C55 Time : 0.0 sec. user=mdettweiler [2015-03-29 18:30:11] 777*2^1396456-1 is not prime. Res64: 2832B7790A78F504 Time : 0.0 sec. user=mdettweiler [2015-03-29 18:30:11] 873*2^1396456-1 is not prime. Res64: CA16DBDBEB7992B6 Time : 0.0 sec. user=mdettweiler [2015-03-29 18:30:34] 717*2^1396456-1 is not prime. Res64: A51D762CF47E4766 Time : 0.0 sec. user=mdettweiler [2015-03-29 18:30:34] 719*2^1396456-1 is not prime. Res64: 5957AA8D3F84322C Time : 0.0 sec. user=mdettweiler [2015-03-29 18:34:15] 939*2^1396456-1 is not prime. Res64: 7B3F8EA43A931B51 Time : 0.0 sec. user=mdettweiler [2015-03-29 18:34:15] 957*2^1396456-1 is not prime. Res64: 5C16639C8BB7C2F9 Time : 0.0 sec. user=mdettweiler [2015-03-29 18:42:09] 983*2^1396456-1 is not prime. Res64: 0E57A65037740784 Time : 0.0 sec. user=mdettweiler [2015-03-29 18:42:10] 989*2^1396456-1 is not prime. Res64: 702A2C3BE4E191C3 Time : 0.0 sec. user=mdettweiler [2015-03-29 18:57:07] 691*2^1396457-1 is not prime. Res64: FFB35A01EF792DED Time : 0.0 sec. user=mdettweiler [2015-03-29 18:57:07] 735*2^1396457-1 is not prime. Res64: B04B890D877DC068 Time : 0.0 sec. user=mdettweiler [2015-03-29 18:57:37] 871*2^1396457-1 is not prime. Res64: 2B93C3B2E84986C6 Time : 0.0 sec. user=mdettweiler [2015-03-29 18:57:38] 879*2^1396457-1 is not prime. Res64: 672777E967B55A4F Time : 0.0 sec. user=mdettweiler [2015-03-29 19:01:08] 885*2^1396457-1 is not prime. Res64: 3F37E132AA73B211 Time : 0.0 sec. user=mdettweiler [2015-03-29 19:01:09] 931*2^1396457-1 is not prime. Res64: 4D70F1C635E8595F Time : 0.0 sec. user=mdettweiler [2015-03-29 19:09:11] 945*2^1396457-1 is not prime. Res64: 919908CA6DEAC30D Time : 0.0 sec. user=mdettweiler [2015-03-29 19:09:11] 713*2^1396458-1 is not prime. Res64: 0B8A2C03BBEC83E7 Time : 0.0 sec. user=mdettweiler [2015-03-29 19:24:02] 765*2^1396458-1 is not prime. Res64: D95B6AFD2A2AF0C3 Time : 0.0 sec. user=mdettweiler [2015-03-29 19:24:03] 945*2^1396458-1 is not prime. Res64: 425455D9A78973E8 Time : 0.0 sec. user=mdettweiler [2015-03-29 19:24:34] 645*2^1396459-1 is not prime. Res64: 3CA5870EE90630B9 Time : 0.0 sec. user=mdettweiler [2015-03-29 19:24:34] 693*2^1396459-1 is not prime. Res64: 03B8BACA649472C6 Time : 0.0 sec. user=mdettweiler [2015-03-29 19:28:09] 769*2^1396459-1 is not prime. Res64: D32DC538B88F0828 Time : 0.0 sec. user=mdettweiler [2015-03-29 19:28:09] 969*2^1396459-1 is not prime. Res64: 9CFA0C99793F4A2A Time : 0.0 sec. user=mdettweiler [2015-03-29 19:36:20] 985*2^1396459-1 is not prime. Res64: 538C0767567A0FD7 Time : 0.0 sec. user=mdettweiler [2015-03-29 19:36:20] 603*2^1396460-1 is not prime. Res64: CEE8236C8655C1FD Time : 0.0 sec. user=mdettweiler [2015-03-29 19:50:54] 609*2^1396460-1 is not prime. Res64: 71D80F761A9C7B21 Time : 0.0 sec. user=mdettweiler [2015-03-29 19:50:54] 725*2^1396460-1 is not prime. Res64: 2BF87D42E84709E2 Time : 0.0 sec. user=mdettweiler [2015-03-29 19:51:36] 759*2^1396460-1 is not prime. Res64: 742E288E9C7902E0 Time : 0.0 sec. user=mdettweiler [2015-03-29 19:51:36] 767*2^1396460-1 is not prime. Res64: 32EC349F6751FB94 Time : 0.0 sec. user=mdettweiler [2015-03-29 19:55:08] 795*2^1396460-1 is not prime. Res64: 6A96694992327CE8 Time : 0.0 sec. user=mdettweiler [2015-03-29 19:55:09] 893*2^1396460-1 is not prime. Res64: 816B6BB31C6CCFE2 Time : 0.0 sec. user=mdettweiler [2015-03-29 20:03:13] 923*2^1396460-1 is not prime. Res64: 691C044989201319 Time : 0.0 sec. user=mdettweiler [2015-03-29 20:03:14] 983*2^1396460-1 is not prime. Res64: 62526AD80FA27016 Time : 0.0 sec. user=mdettweiler [2015-03-29 20:17:46] 995*2^1396460-1 is not prime. Res64: C5F280DE6501ADD2 Time : 0.0 sec. user=mdettweiler [2015-03-29 20:17:46] 727*2^1396461-1 is not prime. Res64: FFDDA4D6883849E4 Time : 0.0 sec. user=mdettweiler [2015-03-29 20:18:27] 745*2^1396461-1 is not prime. Res64: 3666CDB586487BA1 Time : 0.0 sec. user=mdettweiler [2015-03-29 20:18:27] 777*2^1396461-1 is not prime. Res64: 0AE321DDE6765E5D Time : 0.0 sec. user=mdettweiler [2015-03-29 20:22:17] 861*2^1396461-1 is not prime. Res64: DECFC07653EA84F7 Time : 0.0 sec. user=mdettweiler [2015-03-29 20:22:17] 877*2^1396461-1 is not prime. Res64: 947B3746782FA9D2 Time : 0.0 sec. user=mdettweiler [2015-03-29 20:30:01] 987*2^1396461-1 is not prime. Res64: 3F284B23D56942E6 Time : 0.0 sec. user=mdettweiler [2015-03-29 20:30:01] 991*2^1396461-1 is not prime. Res64: A1D0326A24ABE4FA Time : 0.0 sec. user=mdettweiler [2015-03-29 20:44:11] 695*2^1396462-1 is not prime. Res64: F55E71125AAB75B9 Time : 0.0 sec. user=mdettweiler [2015-03-29 20:44:11] 741*2^1396462-1 is not prime. Res64: 7C40178D71D6A5FC Time : 0.0 sec. user=mdettweiler [2015-03-29 20:44:54] 765*2^1396462-1 is not prime. Res64: 76119FCA2990E0C0 Time : 0.0 sec. user=mdettweiler [2015-03-29 20:44:54] 827*2^1396462-1 is not prime. Res64: 20FF8E0000E15234 Time : 0.0 sec. user=mdettweiler [2015-03-29 20:48:34] 831*2^1396462-1 is not prime. Res64: 61FE8A035B28C661 Time : 0.0 sec. user=mdettweiler [2015-03-29 20:48:34] 833*2^1396462-1 is not prime. Res64: EA20FD017C058E59 Time : 0.0 sec. user=mdettweiler [2015-03-29 20:56:12] 621*2^1396463-1 is not prime. Res64: 6DD34D7B832F7E3F Time : 0.0 sec. user=mdettweiler [2015-03-29 20:56:13] 753*2^1396463-1 is not prime. Res64: 9FAD3C50F9000506 Time : 0.0 sec. user=mdettweiler [2015-03-29 21:10:26] 759*2^1396463-1 is not prime. Res64: AE5CE4C7D5808430 Time : 0.0 sec. user=mdettweiler [2015-03-29 21:10:26] 823*2^1396463-1 is not prime. Res64: D709BCE91AFACFBD Time : 0.0 sec. user=mdettweiler [2015-03-29 21:11:06] 943*2^1396463-1 is not prime. Res64: EAEC0008BAA5C3D9 Time : 0.0 sec. user=mdettweiler [2015-03-29 21:11:06] 955*2^1396463-1 is not prime. Res64: 44EB40B70B056894 Time : 0.0 sec. user=mdettweiler [2015-03-29 21:14:51] 981*2^1396463-1 is not prime. Res64: 54D0FAEC1EEDDB8E Time : 0.0 sec. user=mdettweiler [2015-03-29 21:14:51] 705*2^1396464-1 is not prime. Res64: FE5D17D3FA53FB90 Time : 0.0 sec. user=mdettweiler [2015-03-29 21:22:28] 849*2^1396464-1 is not prime. Res64: BB317D39E9511EF4 Time : 0.0 sec. user=mdettweiler [2015-03-29 21:22:28] 899*2^1396464-1 is not prime. Res64: 99E3F8BD3C15A1C4 Time : 0.0 sec. user=mdettweiler [2015-03-29 21:36:45] 945*2^1396464-1 is not prime. Res64: 56B5245166030835 Time : 0.0 sec. user=mdettweiler [2015-03-29 21:36:45] 959*2^1396464-1 is not prime. Res64: D470669BB154700F Time : 0.0 sec. user=mdettweiler [2015-03-29 21:37:31] 721*2^1396465-1 is not prime. Res64: A8266008FE518A29 Time : 0.0 sec. user=mdettweiler [2015-03-29 21:37:32] 729*2^1396465-1 is not prime. Res64: CBBEEE0CE7EBA510 Time : 0.0 sec. user=mdettweiler [2015-03-29 21:41:26] 871*2^1396465-1 is not prime. Res64: DB1B3F6EDA2EE67D Time : 0.0 sec. user=mdettweiler [2015-03-29 21:41:27] 877*2^1396465-1 is not prime. Res64: 2C7F37A09D870869 Time : 0.0 sec. user=mdettweiler [2015-03-29 21:48:44] 955*2^1396465-1 is not prime. Res64: 68FCD13AA4F33702 Time : 0.0 sec. user=mdettweiler [2015-03-29 21:48:44] 633*2^1396466-1 is not prime. Res64: 78223E29709531D4 Time : 0.0 sec. user=mdettweiler [2015-03-29 22:03:08] 683*2^1396466-1 is not prime. Res64: C1718B8EBE4EFD28 Time : 0.0 sec. user=mdettweiler [2015-03-29 22:03:10] 735*2^1396466-1 is not prime. Res64: 9F565334D0A7BC5D Time : 0.0 sec. user=mdettweiler [2015-03-29 22:03:46] 875*2^1396466-1 is not prime. Res64: 678F8BA84D60DF9A Time : 0.0 sec. user=mdettweiler [2015-03-29 22:03:47] 619*2^1396467-1 is not prime. Res64: 0197CB157F169B36 Time : 0.0 sec. user=mdettweiler [2015-03-29 22:07:42] 669*2^1396467-1 is not prime. Res64: 35CB43B85EA25B62 Time : 0.0 sec. user=mdettweiler [2015-03-29 22:07:42] 781*2^1396467-1 is not prime. Res64: 258C2B2FCFBAD548 Time : 0.0 sec. user=mdettweiler [2015-03-29 22:14:53] 819*2^1396467-1 is not prime. Res64: 30E1FB11FAC5A3B7 Time : 0.0 sec. user=mdettweiler [2015-03-29 22:14:53] 885*2^1396467-1 is not prime. Res64: 6B9F593F297FA0AD Time : 0.0 sec. user=mdettweiler [2015-03-29 22:29:51] 901*2^1396467-1 is not prime. Res64: 05EC79B95203C76D Time : 0.0 sec. user=mdettweiler [2015-03-29 22:29:52] 689*2^1396468-1 is not prime. Res64: BD3CECA2CC80DE4D Time : 0.0 sec. user=mdettweiler [2015-03-29 22:30:11] 843*2^1396468-1 is not prime. Res64: C87D8638688315E1 Time : 0.0 sec. user=mdettweiler [2015-03-29 22:30:11] 993*2^1396468-1 is not prime. Res64: C7B0D00E97142208 Time : 0.0 sec. user=mdettweiler [2015-03-29 22:34:03] 999*2^1396468-1 is not prime. Res64: DB1189F235F884F8 Time : 0.0 sec. user=mdettweiler [2015-03-29 22:34:03] 615*2^1396469-1 is not prime. Res64: B8A80AA7CBFF6486 Time : 0.0 sec. user=mdettweiler [2015-03-29 22:41:22] 645*2^1396469-1 is not prime. Res64: 18F395C1E97D45EB Time : 0.0 sec. user=mdettweiler [2015-03-29 22:41:23] 711*2^1396469-1 is not prime. Res64: 6B7F9CFE6173CA25 Time : 0.0 sec. user=mdettweiler [2015-03-29 22:56:13] 747*2^1396469-1 is not prime. Res64: 4903F8E9D64872DB Time : 0.0 sec. user=mdettweiler [2015-03-29 22:56:14] 771*2^1396469-1 is not prime. Res64: D840882D89290203 Time : 0.0 sec. user=mdettweiler [2015-03-29 22:56:32] 867*2^1396469-1 is not prime. Res64: CBC93FCE46DCE86F Time : 0.0 sec. user=mdettweiler [2015-03-29 22:56:33] 707*2^1396470-1 is not prime. Res64: 9ADBCB1C53BA9C3C Time : 0.0 sec. user=mdettweiler [2015-03-29 23:00:28] 725*2^1396470-1 is not prime. Res64: DE333F47A77B6774 Time : 0.0 sec. user=mdettweiler [2015-03-29 23:00:29] 761*2^1396470-1 is not prime. Res64: 5508F2A6A4BE5C45 Time : 0.0 sec. user=mdettweiler [2015-03-29 23:07:43] 777*2^1396470-1 is not prime. Res64: 8039EE864B868732 Time : 0.0 sec. user=mdettweiler [2015-03-29 23:07:44] 783*2^1396470-1 is not prime. Res64: F51ED35EBFF2535F Time : 0.0 sec. user=mdettweiler [2015-03-29 23:22:35] 797*2^1396470-1 is not prime. Res64: C94902C037285C16 Time : 0.0 sec. user=mdettweiler [2015-03-29 23:22:35] 861*2^1396470-1 is not prime. Res64: B7B3A6CD6FA32F9B Time : 0.0 sec. user=mdettweiler [2015-03-29 23:22:48] 921*2^1396470-1 is not prime. Res64: FC360B95AD6FF6A8 Time : 0.0 sec. user=mdettweiler [2015-03-29 23:22:48] 759*2^1396471-1 is not prime. Res64: 9EEE46B450991180 Time : 0.0 sec. user=mdettweiler [2015-03-29 23:27:02] 763*2^1396471-1 is not prime. Res64: ED59570CB34A9F45 Time : 0.0 sec. user=mdettweiler [2015-03-29 23:27:02] 771*2^1396471-1 is not prime. Res64: E9BA1E2A74C93CFF Time : 0.0 sec. user=mdettweiler [2015-03-29 23:34:29] 813*2^1396471-1 is not prime. Res64: D7E9F4CC099E7153 Time : 0.0 sec. user=mdettweiler [2015-03-29 23:34:30] 961*2^1396471-1 is not prime. Res64: 8CC079D70B7EE49E Time : 0.0 sec. user=mdettweiler [2015-03-29 23:52:58] 969*2^1396471-1 is not prime. Res64: E8B40030EA148B34 Time : 0.0 sec. user=mdettweiler [2015-03-29 23:52:58] 617*2^1396472-1 is not prime. Res64: 3148ACC754E90B71 Time : 0.0 sec. user=mdettweiler [2015-03-29 23:53:45] 635*2^1396472-1 is not prime. Res64: 66DD71C311508570 Time : 0.0 sec. user=mdettweiler [2015-03-29 23:53:46] 665*2^1396472-1 is not prime. Res64: BCF16CC6CE7FCBB9 Time : 0.0 sec. user=mdettweiler [2015-03-29 23:58:56] 803*2^1396472-1 is not prime. Res64: 4F1E7554D9798533 Time : 0.0 sec. user=mdettweiler [2015-03-29 23:58:57] 815*2^1396472-1 is not prime. Res64: 488D04A24FBC98F2 Time : 0.0 sec.