user=juhehe [2015-09-13 00:06:19] 503*2^1425062-1 is not prime. Res64: 4AE930D3CA6A709B Time : 0.0 sec. user=juhehe [2015-09-13 00:15:51] 521*2^1425062-1 is not prime. Res64: 4FE31F3230E26AAF Time : 0.0 sec. user=Mini-Geek [2015-09-13 00:21:57] 573*2^1425056-1 is not prime. Res64: BDFECCF86BAA6152 Time : 0.0 sec. user=Mini-Geek [2015-09-13 00:21:58] 595*2^1425057-1 is not prime. Res64: EBE7B4F470AEADE0 Time : 0.0 sec. user=Mini-Geek [2015-09-13 00:21:58] 423*2^1425058-1 is not prime. Res64: 24D23FD5FFBD1D9E Time : 0.0 sec. user=Mini-Geek [2015-09-13 00:21:58] 467*2^1425058-1 is not prime. Res64: F7014BD80CED9453 Time : 0.0 sec. user=Mini-Geek [2015-09-13 00:21:59] 495*2^1425058-1 is not prime. Res64: A957E0E721269931 Time : 0.0 sec. user=Mini-Geek [2015-09-13 00:21:59] 581*2^1425058-1 is not prime. Res64: 9E2D5E81CF6C7660 Time : 0.0 sec. user=Mini-Geek [2015-09-13 00:21:59] 469*2^1425059-1 is not prime. Res64: 1B3BE9AC3D255661 Time : 0.0 sec. user=Mini-Geek [2015-09-13 00:22:00] 531*2^1425059-1 is not prime. Res64: 5D727D99C24CEDE1 Time : 0.0 sec. user=Mini-Geek [2015-09-13 00:22:00] 483*2^1425060-1 is not prime. Res64: DCF501B247026B55 Time : 0.0 sec. user=Mini-Geek [2015-09-13 00:22:01] 503*2^1425060-1 is not prime. Res64: EFF6D4F5A4AB78E4 Time : 0.0 sec. user=Mini-Geek [2015-09-13 00:22:01] 539*2^1425060-1 is not prime. Res64: B56FF419C07F485A Time : 0.0 sec. user=Mini-Geek [2015-09-13 00:22:02] 511*2^1425061-1 is not prime. Res64: 25538BCEB90115BB Time : 0.0 sec. user=Mini-Geek [2015-09-13 00:22:02] 525*2^1425061-1 is not prime. Res64: 4347153FCB2C8249 Time : 0.0 sec. user=Mini-Geek [2015-09-13 00:22:02] 549*2^1425061-1 is not prime. Res64: 215E22A06040ACF8 Time : 0.0 sec. user=Mini-Geek [2015-09-13 00:22:02] 407*2^1425062-1 is not prime. Res64: 213A22F37EDB669F Time : 0.0 sec. user=juhehe [2015-09-13 00:44:50] 425*2^1425068-1 is not prime. Res64: 715A127BBE7F67A4 Time : 0.0 sec. user=Mini-Geek [2015-09-13 01:47:46] 555*2^1425063-1 is not prime. Res64: F7D486CC3198EB7E Time : 0.0 sec. user=Mini-Geek [2015-09-13 01:47:46] 583*2^1425063-1 is not prime. Res64: B4A8AEF4856C6637 Time : 0.0 sec. user=Mini-Geek [2015-09-13 01:47:46] 437*2^1425064-1 is not prime. Res64: CF26CF8999018B52 Time : 0.0 sec. user=Mini-Geek [2015-09-13 01:47:46] 527*2^1425064-1 is not prime. Res64: 97EBB10BD3097EE2 Time : 0.0 sec. user=Mini-Geek [2015-09-13 01:47:47] 533*2^1425064-1 is not prime. Res64: 8FB9B5C171688B08 Time : 0.0 sec. user=Mini-Geek [2015-09-13 01:47:47] 563*2^1425064-1 is not prime. Res64: 84F84230404CCA7D Time : 0.0 sec. user=Mini-Geek [2015-09-13 01:47:47] 567*2^1425064-1 is not prime. Res64: 9D90EDED27187AFA Time : 0.0 sec. user=Mini-Geek [2015-09-13 01:47:47] 447*2^1425065-1 is not prime. Res64: 2B0568C8A5146F40 Time : 0.0 sec. user=Mini-Geek [2015-09-13 01:47:48] 529*2^1425065-1 is not prime. Res64: 844FB87F0F10683B Time : 0.0 sec. user=Mini-Geek [2015-09-13 01:47:48] 547*2^1425065-1 is not prime. Res64: 775EB406737CCBA2 Time : 0.0 sec. user=Mini-Geek [2015-09-13 01:47:48] 537*2^1425066-1 is not prime. Res64: C33A672C78E73A5A Time : 0.0 sec. user=Mini-Geek [2015-09-13 01:47:48] 587*2^1425066-1 is not prime. Res64: 41A5575085A8C28D Time : 0.0 sec. user=Mini-Geek [2015-09-13 01:47:48] 451*2^1425067-1 is not prime. Res64: 1C896EE1B715181D Time : 0.0 sec. user=Mini-Geek [2015-09-13 01:47:49] 541*2^1425067-1 is not prime. Res64: A518F520DCDE98FE Time : 0.0 sec. user=Mini-Geek [2015-09-13 01:47:49] 417*2^1425068-1 is not prime. Res64: 0BA90BA2BBC8F427 Time : 0.0 sec. user=juhehe [2015-09-13 02:12:23] 449*2^1425068-1 is not prime. Res64: 4B6396037D75AED3 Time : 0.0 sec. user=juhehe [2015-09-13 02:50:23] 465*2^1425068-1 is not prime. Res64: 7BD98436B252EE8E Time : 0.0 sec. user=juhehe [2015-09-13 03:06:30] 489*2^1425068-1 is not prime. Res64: 5D794F4704344F14 Time : 0.0 sec. user=juhehe [2015-09-13 03:44:29] 599*2^1425068-1 is not prime. Res64: F32BBB6EE24CE425 Time : 0.0 sec. user=juhehe [2015-09-13 04:05:52] 415*2^1425069-1 is not prime. Res64: 19075253CD8281A2 Time : 0.0 sec. user=juhehe [2015-09-13 04:22:30] 471*2^1425079-1 is not prime. Res64: AD27254D1E847F5A Time : 0.0 sec. user=juhehe [2015-09-13 04:43:47] 489*2^1425079-1 is not prime. Res64: 6FA8E314DB7B9520 Time : 0.0 sec. user=juhehe [2015-09-13 05:00:27] 599*2^1425080-1 is not prime. Res64: 37DFF0872B90CE66 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:23:24] 465*2^1425069-1 is not prime. Res64: 2E0EC5DE8CF0494D Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:23:25] 549*2^1425069-1 is not prime. Res64: D8215EF6DD6EECDC Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:23:25] 555*2^1425069-1 is not prime. Res64: B8F7DB04905C273A Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:23:25] 467*2^1425070-1 is not prime. Res64: 969D9BCB227B82F2 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:23:25] 483*2^1425070-1 is not prime. Res64: C0E6E11AF71DD4A2 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:23:26] 591*2^1425070-1 is not prime. Res64: A4A5AF9A5F4A5C78 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:23:26] 409*2^1425071-1 is not prime. Res64: 135DBBADC291EF64 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:23:26] 475*2^1425071-1 is not prime. Res64: FF0190E8156D4C8E Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:23:26] 519*2^1425071-1 is not prime. Res64: E6A8E17B2D29BBB3 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:23:26] 525*2^1425071-1 is not prime. Res64: EC1F812DA3378370 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:23:27] 595*2^1425071-1 is not prime. Res64: 0AA824E41C754BF6 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:23:27] 405*2^1425072-1 is not prime. Res64: 113AE58274F3DE80 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:23:27] 447*2^1425072-1 is not prime. Res64: 8A6195ED4D3DDC44 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:23:27] 527*2^1425072-1 is not prime. Res64: 36750D3313C54737 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:23:27] 409*2^1425073-1 is not prime. Res64: 122E66B9E7F46123 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:29:23] 441*2^1425073-1 is not prime. Res64: 7C48180AF27853A6 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:29:23] 481*2^1425073-1 is not prime. Res64: A746C557BB961136 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:29:23] 501*2^1425074-1 is not prime. Res64: 112901B0AABC3A28 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:29:24] 531*2^1425074-1 is not prime. Res64: 55EB71B6B4E93C95 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:29:24] 587*2^1425074-1 is not prime. Res64: A9BF646773A63B5E Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:29:24] 475*2^1425075-1 is not prime. Res64: B0D4C7963E99C4B0 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:29:24] 591*2^1425075-1 is not prime. Res64: D65F0B9DB7878ACF Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:29:24] 497*2^1425076-1 is not prime. Res64: 8E0AFEEF99045984 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:29:25] 537*2^1425076-1 is not prime. Res64: AC03F67724EEEF46 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:29:25] 441*2^1425077-1 is not prime. Res64: 6EA78B03C99CAAF0 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:29:25] 465*2^1425077-1 is not prime. Res64: 8FE1BBB98D488589 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:29:25] 489*2^1425077-1 is not prime. Res64: 235CEBFD52F73412 Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:29:25] 529*2^1425077-1 is not prime. Res64: 2E895F61687D675C Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:29:26] 571*2^1425077-1 is not prime. Res64: 0CB5E824F53E587D Time : 0.0 sec. user=Mini-Geek [2015-09-13 05:29:26] 453*2^1425078-1 is not prime. Res64: AFE064C6999E60BF Time : 0.0 sec. user=juhehe [2015-09-13 06:01:00] 465*2^1425087-1 is not prime. Res64: DCCE582AD74B1F3D Time : 0.0 sec. user=Mini-Geek [2015-09-13 06:35:57] 469*2^1425081-1 is not prime. Res64: C2B88F27D387E6ED Time : 0.0 sec. user=Mini-Geek [2015-09-13 06:35:58] 517*2^1425081-1 is not prime. Res64: A6CBB861D80C8BCC Time : 0.0 sec. user=Mini-Geek [2015-09-13 06:35:58] 529*2^1425081-1 is not prime. Res64: 5CF0C3D9BA653957 Time : 0.0 sec. user=Mini-Geek [2015-09-13 06:35:58] 555*2^1425081-1 is not prime. Res64: 4FAFBF41090E68FE Time : 0.0 sec. user=Mini-Geek [2015-09-13 06:35:58] 565*2^1425081-1 is not prime. Res64: AC8B07E73FDD5AD8 Time : 0.0 sec. user=Mini-Geek [2015-09-13 06:35:58] 595*2^1425083-1 is not prime. Res64: 41793B018C5C25B0 Time : 0.0 sec. user=Mini-Geek [2015-09-13 06:35:59] 437*2^1425084-1 is not prime. Res64: 4308C0C2133CBFC7 Time : 0.0 sec. user=Mini-Geek [2015-09-13 06:35:59] 453*2^1425084-1 is not prime. Res64: 702679FB30EC4905 Time : 0.0 sec. user=Mini-Geek [2015-09-13 06:35:59] 549*2^1425084-1 is not prime. Res64: D7FD78DF57542CFC Time : 0.0 sec. user=Mini-Geek [2015-09-13 06:35:59] 597*2^1425084-1 is not prime. Res64: B1FA3E7E34204104 Time : 0.0 sec. user=Mini-Geek [2015-09-13 06:35:59] 537*2^1425085-1 is not prime. Res64: 15D867042FC45594 Time : 0.0 sec. user=Mini-Geek [2015-09-13 06:36:00] 483*2^1425086-1 is not prime. Res64: DD9783B8D7595C8C Time : 0.0 sec. user=Mini-Geek [2015-09-13 06:36:00] 521*2^1425086-1 is not prime. Res64: 3736080576AE106B Time : 0.0 sec. user=Mini-Geek [2015-09-13 06:36:00] 557*2^1425086-1 is not prime. Res64: 1D6BB28BCA5E996A Time : 0.0 sec. user=Mini-Geek [2015-09-13 06:36:00] 433*2^1425087-1 is not prime. Res64: F871E5B1508AD116 Time : 0.0 sec. user=juhehe [2015-09-13 06:40:02] 477*2^1425094-1 is not prime. Res64: C325AA75A4085435 Time : 0.0 sec. user=Mini-Geek [2015-09-13 07:25:13] 549*2^1425088-1 is not prime. Res64: 6EC562FA9FA4B4F6 Time : 0.0 sec. user=Mini-Geek [2015-09-13 07:25:14] 567*2^1425088-1 is not prime. Res64: B6C8AA1F873FFA6E Time : 0.0 sec. user=Mini-Geek [2015-09-13 07:25:14] 465*2^1425089-1 is not prime. Res64: 8069A1C663F87A0E Time : 0.0 sec. user=Mini-Geek [2015-09-13 07:25:14] 559*2^1425089-1 is not prime. Res64: 0D23EBDF39283B0E Time : 0.0 sec. user=Mini-Geek [2015-09-13 07:25:14] 577*2^1425089-1 is not prime. Res64: 1DE2D0CC637789CA Time : 0.0 sec. user=Mini-Geek [2015-09-13 07:25:14] 579*2^1425089-1 is not prime. Res64: 85178AB7AE013F3C Time : 0.0 sec. user=Mini-Geek [2015-09-13 07:25:15] 411*2^1425090-1 is not prime. Res64: 45A41C870E31D495 Time : 0.0 sec. user=Mini-Geek [2015-09-13 07:25:15] 521*2^1425090-1 is not prime. Res64: 72FDD74335E23138 Time : 0.0 sec. user=Mini-Geek [2015-09-13 07:25:15] 567*2^1425090-1 is not prime. Res64: 47D53EC33BDCCF56 Time : 0.0 sec. user=Mini-Geek [2015-09-13 07:25:15] 535*2^1425091-1 is not prime. Res64: 38F14189EA089520 Time : 0.0 sec. user=Mini-Geek [2015-09-13 07:25:15] 557*2^1425092-1 is not prime. Res64: B9DE976C67C9936F Time : 0.0 sec. user=Mini-Geek [2015-09-13 07:25:16] 587*2^1425092-1 is not prime. Res64: 737C4EAC38083C4D Time : 0.0 sec. user=Mini-Geek [2015-09-13 07:25:16] 409*2^1425093-1 is not prime. Res64: 2CE0D3F6A14F7DD2 Time : 0.0 sec. user=Mini-Geek [2015-09-13 07:25:16] 511*2^1425093-1 is not prime. Res64: CF062588C2A78C55 Time : 0.0 sec. user=Mini-Geek [2015-09-13 07:25:16] 423*2^1425094-1 is not prime. Res64: 24D0D2459B4A921F Time : 0.0 sec. user=juhehe [2015-09-13 07:55:58] 437*2^1425106-1 is not prime. Res64: 225F9E0BA51028A9 Time : 0.0 sec. user=juhehe [2015-09-13 08:15:25] 471*2^1425106-1 is not prime. Res64: C979BEA8F027C3CE Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:23:41] 421*2^1425095-1 is not prime. Res64: CCFA049444DCC5E3 Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:23:41] 445*2^1425095-1 is not prime. Res64: 165F69E6688230F5 Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:23:41] 459*2^1425095-1 is not prime. Res64: A914BF7DDE59BBA6 Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:23:41] 489*2^1425095-1 is not prime. Res64: 6397D9D1EE415A2B Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:23:41] 525*2^1425095-1 is not prime. Res64: FFB95616303068B9 Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:23:42] 563*2^1425096-1 is not prime. Res64: 8F8F9BE6BBA5B31B Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:23:42] 587*2^1425096-1 is not prime. Res64: D8A3C70FC4805F61 Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:23:42] 405*2^1425097-1 is not prime. Res64: 04944EE817BC25CE Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:23:42] 421*2^1425097-1 is not prime. Res64: A14917F6FB833B19 Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:23:42] 429*2^1425097-1 is not prime. Res64: 0B8518C090BA633F Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:23:43] 511*2^1425097-1 is not prime. Res64: 170D5121DF056BAD Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:23:43] 567*2^1425097-1 is not prime. Res64: AC84F873B1F41E1A Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:23:43] 483*2^1425098-1 is not prime. Res64: 1EE84C3BCC165B47 Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:23:43] 445*2^1425099-1 is not prime. Res64: 28CD695766125A4E Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:23:43] 513*2^1425099-1 is not prime. Res64: 367C4F889F4D253A Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:27:18] 573*2^1425099-1 is not prime. Res64: 03D86E4828255058 Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:27:19] 595*2^1425099-1 is not prime. Res64: B1185D9C7D4F5505 Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:27:19] 449*2^1425100-1 is not prime. Res64: 8E2A7E1C4B47E02D Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:27:19] 513*2^1425100-1 is not prime. Res64: BA9E9A785E81B17A Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:27:19] 537*2^1425100-1 is not prime. Res64: DC5A327671B366A5 Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:27:19] 451*2^1425101-1 is not prime. Res64: F13BB48AE7C0EC76 Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:27:20] 495*2^1425101-1 is not prime. Res64: FEAA14DCBDD744F6 Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:27:20] 567*2^1425102-1 is not prime. Res64: 0F9CFFF11243DA58 Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:27:20] 453*2^1425103-1 is not prime. Res64: 77F1E1FCBA4E8A30 Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:27:20] 489*2^1425103-1 is not prime. Res64: 8FECBA80411F58C7 Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:27:20] 523*2^1425103-1 is not prime. Res64: 974E06EFF5267680 Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:27:21] 541*2^1425103-1 is not prime. Res64: 19B2BD5DB8553837 Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:27:21] 553*2^1425103-1 is not prime. Res64: 31CB2D7160B522A6 Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:27:21] 427*2^1425105-1 is not prime. Res64: EB5A8CEF2031CE98 Time : 0.0 sec. user=Mini-Geek [2015-09-13 08:27:21] 597*2^1425105-1 is not prime. Res64: 86EAC606B5393036 Time : 0.0 sec. user=juhehe [2015-09-13 08:33:53] 581*2^1425106-1 is not prime. Res64: 33C0AFFD789477F8 Time : 0.0 sec. user=juhehe [2015-09-13 08:53:23] 463*2^1425107-1 is not prime. Res64: 2961D6965973F2BB Time : 0.0 sec. user=juhehe [2015-09-13 09:51:00] 469*2^1425115-1 is not prime. Res64: A3F09349C618F91A Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:17:03] 465*2^1425107-1 is not prime. Res64: C6570FBEBA510D83 Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:17:03] 505*2^1425107-1 is not prime. Res64: EA0DE870FD333F16 Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:17:04] 549*2^1425107-1 is not prime. Res64: F9D0F70CD65A4F42 Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:17:04] 553*2^1425107-1 is not prime. Res64: F71D2DED5DB00990 Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:17:04] 571*2^1425107-1 is not prime. Res64: ABC9C129BFB668B0 Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:17:04] 585*2^1425107-1 is not prime. Res64: 5D924B0AB6E870D6 Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:17:04] 515*2^1425108-1 is not prime. Res64: FAC6945365B8FBA3 Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:17:05] 499*2^1425109-1 is not prime. Res64: 88C1148297451AAA Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:17:05] 477*2^1425110-1 is not prime. Res64: 3C63BE22CB5236D4 Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:17:05] 495*2^1425110-1 is not prime. Res64: D49E0A41CE4E919E Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:17:05] 521*2^1425110-1 is not prime. Res64: 354956CF6B112069 Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:17:06] 581*2^1425110-1 is not prime. Res64: 014DA7EB0D588B39 Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:17:06] 475*2^1425111-1 is not prime. Res64: B754844442D27254 Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:17:06] 493*2^1425111-1 is not prime. Res64: 8AA70A8F1C377A7B Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:17:06] 513*2^1425111-1 is not prime. Res64: CEAA096CA1D74784 Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:18:27] 555*2^1425111-1 is not prime. Res64: 8ADFEC771ADB5A97 Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:18:28] 405*2^1425112-1 is not prime. Res64: 9C330897AD0D58C5 Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:18:28] 483*2^1425112-1 is not prime. Res64: DD9E2BC647328753 Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:18:28] 495*2^1425112-1 is not prime. Res64: 568EC87198134991 Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:18:28] 519*2^1425112-1 is not prime. Res64: D89EFB70E4B16AC5 Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:18:29] 569*2^1425112-1 is not prime. Res64: 89D0BE35F1B9E140 Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:18:29] 441*2^1425113-1 is not prime. Res64: D4A18AD77520D59B Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:18:29] 465*2^1425113-1 is not prime. Res64: 63D7FDC1459290AE Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:18:29] 413*2^1425114-1 is not prime. Res64: 27E83CD6C08B1AAC Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:18:29] 453*2^1425114-1 is not prime. Res64: 83945854FB1774DC Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:18:30] 461*2^1425114-1 is not prime. Res64: D8018BFE4CE4BDCD Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:18:30] 521*2^1425114-1 is not prime. Res64: 5A863DE855D15AAC Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:18:30] 543*2^1425114-1 is not prime. Res64: 06B311345C330F6F Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:18:30] 429*2^1425115-1 is not prime. Res64: B80864AD1B9E8505 Time : 0.0 sec. user=Mini-Geek [2015-09-13 10:18:30] 441*2^1425115-1 is not prime. Res64: A84100A0737F10AE Time : 0.0 sec. user=juhehe [2015-09-13 10:29:57] 493*2^1425115-1 is not prime. Res64: 5FD3E99B447E6255 Time : 0.0 sec. user=juhehe [2015-09-13 11:32:18] 539*2^1425116-1 is not prime. Res64: B8E4D964BD006E75 Time : 0.0 sec. user=juhehe [2015-09-13 11:46:07] 587*2^1425116-1 is not prime. Res64: 3ADAAAB73485EB4E Time : 0.0 sec. user=juhehe [2015-09-13 12:10:19] 525*2^1425126-1 is not prime. Res64: D4D8AB51065A8B35 Time : 0.0 sec. user=juhehe [2015-09-13 12:24:07] 475*2^1425127-1 is not prime. Res64: 3E793E98A8C642C0 Time : 0.0 sec. user=juhehe [2015-09-13 12:48:17] 559*2^1425127-1 is not prime. Res64: B48B5C716A1511DB Time : 0.0 sec. user=Mini-Geek [2015-09-13 13:20:13] 507*2^1425118-1 is not prime. Res64: 76B320EDDA600B56 Time : 0.0 sec. user=Mini-Geek [2015-09-13 13:20:13] 423*2^1425119-1 is not prime. Res64: 337F3C5112F1D877 Time : 0.0 sec. user=Mini-Geek [2015-09-13 13:20:14] 557*2^1425120-1 is not prime. Res64: 67363AE2A9FBC480 Time : 0.0 sec. user=Mini-Geek [2015-09-13 13:20:14] 591*2^1425121-1 is not prime. Res64: 9FAF084DA3B73260 Time : 0.0 sec. user=Mini-Geek [2015-09-13 13:20:14] 525*2^1425122-1 is not prime. Res64: FD59B7E2BC296E9D Time : 0.0 sec. user=Mini-Geek [2015-09-13 13:20:14] 495*2^1425123-1 is not prime. Res64: B4BECA0A9655DD20 Time : 0.0 sec. user=Mini-Geek [2015-09-13 13:20:14] 573*2^1425123-1 is not prime. Res64: F6A0A1F1306D8D90 Time : 0.0 sec. user=Mini-Geek [2015-09-13 13:20:15] 423*2^1425124-1 is not prime. Res64: 5D5C03A1936B8E22 Time : 0.0 sec. user=Mini-Geek [2015-09-13 13:20:15] 489*2^1425124-1 is not prime. Res64: A5E95DF1DDD15727 Time : 0.0 sec. user=Mini-Geek [2015-09-13 13:20:15] 409*2^1425125-1 is not prime. Res64: 03368C9C4B13F004 Time : 0.0 sec. user=Mini-Geek [2015-09-13 13:20:15] 481*2^1425125-1 is not prime. Res64: 47635E7952A45F90 Time : 0.0 sec. user=Mini-Geek [2015-09-13 13:20:15] 561*2^1425125-1 is not prime. Res64: BFA02774B87ED389 Time : 0.0 sec. user=Mini-Geek [2015-09-13 13:20:16] 465*2^1425126-1 is not prime. Res64: 7E3A2D4EFD4A9A47 Time : 0.0 sec. user=Mini-Geek [2015-09-13 13:20:16] 473*2^1425126-1 is not prime. Res64: 0AA38C879F2D47F3 Time : 0.0 sec. user=Mini-Geek [2015-09-13 13:20:16] 507*2^1425126-1 is not prime. Res64: CBFF0E7BBE27810F Time : 0.0 sec. user=juhehe [2015-09-13 13:40:53] 533*2^1425128-1 is not prime. Res64: 09436CD11A0263D4 Time : 0.0 sec. user=juhehe [2015-09-13 14:57:42] 515*2^1425138-1 is not prime. Res64: AEF5D2E3553920C8 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:16:23] 539*2^1425128-1 is not prime. Res64: FA6B622E836A5108 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:16:23] 439*2^1425129-1 is not prime. Res64: D2FE264251017BE1 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:16:24] 537*2^1425129-1 is not prime. Res64: B3498AB7AB25ACC8 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:16:24] 555*2^1425129-1 is not prime. Res64: 37C8A3DC9D42A70E Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:16:24] 595*2^1425129-1 is not prime. Res64: CB61B779468F9B1A Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:16:24] 447*2^1425130-1 is not prime. Res64: AA043F5A484A29AB Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:16:25] 461*2^1425130-1 is not prime. Res64: C66D79B18F1ECF6A Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:16:25] 465*2^1425131-1 is not prime. Res64: 2244A4EB4C96B291 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:16:25] 585*2^1425131-1 is not prime. Res64: F6A55AC90756CA75 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:16:25] 453*2^1425132-1 is not prime. Res64: E6714B88725E283A Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:16:25] 483*2^1425132-1 is not prime. Res64: 4B67E5C4B374EA82 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:16:26] 507*2^1425132-1 is not prime. Res64: CA7CB90B3770B87E Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:16:26] 525*2^1425132-1 is not prime. Res64: E595C9A2E9E530C8 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:16:26] 537*2^1425132-1 is not prime. Res64: 926E395B58C95E35 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:16:26] 579*2^1425132-1 is not prime. Res64: 009DD8302189F411 Time : 0.0 sec. user=juhehe [2015-09-13 15:27:49] 525*2^1425138-1 is not prime. Res64: F7CCC4197AE597AD Time : 0.0 sec. user=juhehe [2015-09-13 15:35:38] 481*2^1425139-1 is not prime. Res64: 55176FC88F0ACD32 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:43:33] 411*2^1425133-1 is not prime. Res64: 1068DB5366ADE05F Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:43:33] 517*2^1425133-1 is not prime. Res64: 549586DD4AC66A48 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:43:33] 589*2^1425133-1 is not prime. Res64: 3BCC008574E58C89 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:43:34] 447*2^1425134-1 is not prime. Res64: E4FE451B56FEDD59 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:43:34] 557*2^1425134-1 is not prime. Res64: 276F17AD65DE863D Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:43:34] 593*2^1425134-1 is not prime. Res64: DAD183128BDDF437 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:43:34] 471*2^1425135-1 is not prime. Res64: EB1612C9D097D755 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:43:34] 493*2^1425135-1 is not prime. Res64: 748CCC8A7CAF5028 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:43:35] 511*2^1425135-1 is not prime. Res64: B85395246E5B3CD9 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:43:35] 537*2^1425136-1 is not prime. Res64: 0C8E863A1F5DF059 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:43:35] 567*2^1425136-1 is not prime. Res64: 34C3F731EB4F7D69 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:43:35] 573*2^1425136-1 is not prime. Res64: 03F22A52DD33D5EF Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:43:35] 441*2^1425137-1 is not prime. Res64: E7EECB884EAB7B95 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:43:36] 529*2^1425137-1 is not prime. Res64: 1EE03D58A78C9E04 Time : 0.0 sec. user=Mini-Geek [2015-09-13 15:43:36] 559*2^1425137-1 is not prime. Res64: 97A265A48BF6B07E Time : 0.0 sec. user=juhehe [2015-09-13 16:08:00] 483*2^1425139-1 is not prime. Res64: 61676B0B1FFA179B Time : 0.0 sec. user=juhehe [2015-09-13 16:46:19] 555*2^1425139-1 is not prime. Res64: 974726A749C4BC82 Time : 0.0 sec. user=juhehe [2015-09-13 16:52:58] 467*2^1425140-1 is not prime. Res64: 8513E5C8260629F2 Time : 0.0 sec. user=juhehe [2015-09-13 17:31:57] 483*2^1425140-1 is not prime. Res64: 79B59D28A0E1B493 Time : 0.0 sec. user=juhehe [2015-09-13 18:49:12] 525*2^1425148-1 is not prime. Res64: 393BA7807BDE3099 Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:18:28] 503*2^1425140-1 is not prime. Res64: 2C2FA117D73E7963 Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:18:28] 515*2^1425140-1 is not prime. Res64: 7097100FB6E58CB8 Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:18:28] 525*2^1425140-1 is not prime. Res64: 60D9288AD128F0FD Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:18:29] 539*2^1425140-1 is not prime. Res64: 438DE16E9023D27E Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:18:29] 579*2^1425140-1 is not prime. Res64: 04CB1275E7C1A049 Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:18:29] 593*2^1425140-1 is not prime. Res64: B2C8242B93D417EF Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:18:29] 507*2^1425141-1 is not prime. Res64: DF96E31B1BC529D0 Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:18:29] 579*2^1425141-1 is not prime. Res64: DEF7E7F58EFDDFFD Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:18:30] 591*2^1425141-1 is not prime. Res64: B38F94DC1B8590A3 Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:18:30] 495*2^1425142-1 is not prime. Res64: 3E06DAC2FEF759A1 Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:18:30] 433*2^1425143-1 is not prime. Res64: B6357B58BC5B20CC Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:18:30] 519*2^1425143-1 is not prime. Res64: 5E0969538D40870B Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:18:31] 549*2^1425143-1 is not prime. Res64: BFE79BC4793C1B22 Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:18:31] 559*2^1425143-1 is not prime. Res64: 5DA13B07389DDEF9 Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:18:31] 573*2^1425143-1 is not prime. Res64: 47EFB5E851CA7D0F Time : 0.0 sec. user=juhehe [2015-09-13 19:24:31] 457*2^1425153-1 is not prime. Res64: 56749BBC6BD72FFD Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:26:11] 585*2^1425143-1 is not prime. Res64: 7DFC53EA6AB06129 Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:26:12] 489*2^1425144-1 is not prime. Res64: D7801D6AF9D52E1F Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:26:12] 525*2^1425144-1 is not prime. Res64: C15E6B1D788A8E39 Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:26:12] 597*2^1425144-1 is not prime. Res64: 095E31640CF25A1C Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:26:12] 457*2^1425145-1 is not prime. Res64: 5290930418254994 Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:26:12] 541*2^1425145-1 is not prime. Res64: C25BF2A6BFA1B1DE Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:26:13] 461*2^1425146-1 is not prime. Res64: B78B9753CE6ED9CB Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:26:13] 495*2^1425146-1 is not prime. Res64: 7D26E71893AC07FE Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:26:13] 563*2^1425146-1 is not prime. Res64: 6FA5B6105B3F9FE4 Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:26:13] 593*2^1425146-1 is not prime. Res64: 8A01CF371DDE6C0C Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:26:13] 403*2^1425147-1 is not prime. Res64: F5B7DE69FB05B5DC Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:26:14] 573*2^1425147-1 is not prime. Res64: 50F846204A0661A6 Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:26:14] 405*2^1425148-1 is not prime. Res64: 1F8C3C33603D47E3 Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:26:14] 419*2^1425148-1 is not prime. Res64: 0009F509EA9267D7 Time : 0.0 sec. user=Mini-Geek [2015-09-13 19:26:14] 489*2^1425148-1 is not prime. Res64: 443F4CE89A4A7F09 Time : 0.0 sec. user=juhehe [2015-09-13 19:27:08] 499*2^1425153-1 is not prime. Res64: 8B245FC638705A60 Time : 0.0 sec. user=Mini-Geek [2015-09-13 20:26:33] 421*2^1425149-1 is not prime. Res64: 387BF0DD657F12CB Time : 0.0 sec. user=Mini-Geek [2015-09-13 20:26:34] 459*2^1425149-1 is not prime. Res64: 0448B7DEAE3D8F4A Time : 0.0 sec. user=Mini-Geek [2015-09-13 20:26:34] 481*2^1425149-1 is not prime. Res64: 4AEDC9B8888B1521 Time : 0.0 sec. user=Mini-Geek [2015-09-13 20:26:34] 511*2^1425149-1 is not prime. Res64: 57527F2875E959B8 Time : 0.0 sec. user=Mini-Geek [2015-09-13 20:26:34] 413*2^1425150-1 is not prime. Res64: 04BE71F3F7F64800 Time : 0.0 sec. user=Mini-Geek [2015-09-13 20:26:34] 501*2^1425150-1 is not prime. Res64: A5E083444DBF88B7 Time : 0.0 sec. user=Mini-Geek [2015-09-13 20:26:35] 543*2^1425150-1 is not prime. Res64: 532DDD070870288C Time : 0.0 sec. user=Mini-Geek [2015-09-13 20:26:35] 555*2^1425150-1 is not prime. Res64: 12535CDEB5E884ED Time : 0.0 sec. user=Mini-Geek [2015-09-13 20:26:35] 421*2^1425151-1 is not prime. Res64: D6363C2D02686AC0 Time : 0.0 sec. user=Mini-Geek [2015-09-13 20:26:35] 583*2^1425151-1 is not prime. Res64: E86CC4A9B22DAEB5 Time : 0.0 sec. user=Mini-Geek [2015-09-13 20:26:35] 467*2^1425152-1 is not prime. Res64: 8D9D55072FA416EA Time : 0.0 sec. user=Mini-Geek [2015-09-13 20:26:36] 483*2^1425152-1 is not prime. Res64: 01870E4FCE9CD9C0 Time : 0.0 sec. user=Mini-Geek [2015-09-13 20:26:36] 563*2^1425152-1 is not prime. Res64: D2CD2D67EF75C02C Time : 0.0 sec. user=Mini-Geek [2015-09-13 20:26:36] 439*2^1425153-1 is not prime. Res64: 9755DD8A3924F0F2 Time : 0.0 sec. user=Mini-Geek [2015-09-13 20:26:36] 441*2^1425153-1 is not prime. Res64: DF73875027991D0B Time : 0.0 sec. user=juhehe [2015-09-13 20:42:38] 453*2^1425158-1 is not prime. Res64: A5E7909C1BBBE75A Time : 0.0 sec. user=juhehe [2015-09-13 20:45:15] 515*2^1425158-1 is not prime. Res64: 7AD34D0178213483 Time : 0.0 sec. user=Mini-Geek [2015-09-13 21:19:45] 501*2^1425153-1 is not prime. Res64: 4ECFAAF655BCA8FE Time : 0.0 sec. user=Mini-Geek [2015-09-13 21:19:46] 559*2^1425153-1 is not prime. Res64: 9537FD47A4B4B3E4 Time : 0.0 sec. user=Mini-Geek [2015-09-13 21:19:46] 425*2^1425154-1 is not prime. Res64: 5E999B5068D9E854 Time : 0.0 sec. user=Mini-Geek [2015-09-13 21:19:46] 497*2^1425154-1 is not prime. Res64: EE25B89EAF8944FD Time : 0.0 sec. user=Mini-Geek [2015-09-13 21:19:46] 555*2^1425154-1 is not prime. Res64: E5A5B4E26B31A313 Time : 0.0 sec. user=Mini-Geek [2015-09-13 21:19:47] 561*2^1425154-1 is not prime. Res64: 182264A0D213C1AD Time : 0.0 sec. user=Mini-Geek [2015-09-13 21:19:47] 531*2^1425155-1 is not prime. Res64: B790FED37A4B7859 Time : 0.0 sec. user=Mini-Geek [2015-09-13 21:19:47] 579*2^1425155-1 is not prime. Res64: DFDB08B337CCDFCE Time : 0.0 sec. user=Mini-Geek [2015-09-13 21:19:47] 405*2^1425156-1 is not prime. Res64: D4CCED09E528E151 Time : 0.0 sec. user=Mini-Geek [2015-09-13 21:19:48] 425*2^1425156-1 is not prime. Res64: FF1BE1B8E05AA314 Time : 0.0 sec. user=Mini-Geek [2015-09-13 21:19:48] 567*2^1425156-1 is not prime. Res64: 8917834C9BAB0240 Time : 0.0 sec. user=Mini-Geek [2015-09-13 21:19:48] 587*2^1425156-1 is not prime. Res64: 834F671D1B8C5A5A Time : 0.0 sec. user=Mini-Geek [2015-09-13 21:19:48] 441*2^1425157-1 is not prime. Res64: 936157A54F942BB2 Time : 0.0 sec. user=Mini-Geek [2015-09-13 21:19:49] 577*2^1425157-1 is not prime. Res64: 32D0D89FB08A693A Time : 0.0 sec. user=Mini-Geek [2015-09-13 21:19:49] 425*2^1425158-1 is not prime. Res64: 2C4ED9DDB4B93266 Time : 0.0 sec. user=juhehe [2015-09-13 21:25:53] 435*2^1425164-1 is not prime. Res64: D037DD6D975595E7 Time : 0.0 sec. user=Mini-Geek [2015-09-13 22:21:28] 433*2^1425159-1 is not prime. Res64: C9C359E97A864953 Time : 0.0 sec. user=Mini-Geek [2015-09-13 22:21:28] 511*2^1425159-1 is not prime. Res64: DEE91A3EF0C233AC Time : 0.0 sec. user=Mini-Geek [2015-09-13 22:21:28] 405*2^1425160-1 is not prime. Res64: F896B255CEAF50E0 Time : 0.0 sec. user=Mini-Geek [2015-09-13 22:21:28] 453*2^1425160-1 is not prime. Res64: EE2D3929B3A653E9 Time : 0.0 sec. user=Mini-Geek [2015-09-13 22:21:29] 533*2^1425160-1 is not prime. Res64: CB5F047CF8CB7BDD Time : 0.0 sec. user=Mini-Geek [2015-09-13 22:21:29] 563*2^1425160-1 is not prime. Res64: BCECFCBEA3483CCF Time : 0.0 sec. user=Mini-Geek [2015-09-13 22:21:29] 439*2^1425161-1 is not prime. Res64: 5D5A39C502F30BE9 Time : 0.0 sec. user=Mini-Geek [2015-09-13 22:21:29] 571*2^1425161-1 is not prime. Res64: 3E333882C9D1B9C9 Time : 0.0 sec. user=Mini-Geek [2015-09-13 22:21:29] 401*2^1425162-1 is not prime. Res64: 223C5304B7E45682 Time : 0.0 sec. user=Mini-Geek [2015-09-13 22:21:30] 447*2^1425162-1 is not prime. Res64: 816332114C6AD483 Time : 0.0 sec. user=Mini-Geek [2015-09-13 22:21:30] 521*2^1425162-1 is not prime. Res64: CE969815B1C736B1 Time : 0.0 sec. user=Mini-Geek [2015-09-13 22:21:30] 525*2^1425162-1 is not prime. Res64: BA27AD37BCD010D0 Time : 0.0 sec. user=Mini-Geek [2015-09-13 22:21:30] 411*2^1425163-1 is not prime. Res64: A9D812D38B70D529 Time : 0.0 sec. user=Mini-Geek [2015-09-13 22:21:31] 519*2^1425163-1 is not prime. Res64: 1FA121E9D16CFC51 Time : 0.0 sec. user=Mini-Geek [2015-09-13 22:21:31] 595*2^1425163-1 is not prime. Res64: CA778232FFE83A8F Time : 0.0 sec. user=juhehe [2015-09-13 22:46:24] 479*2^1425164-1 is not prime. Res64: 17FC858678404F8A Time : 0.0 sec. user=juhehe [2015-09-13 23:32:50] 525*2^1425165-1 is not prime. Res64: 1C47AF6FFF8C5C12 Time : 0.0 sec. user=juhehe [2015-09-13 23:33:36] 531*2^1425165-1 is not prime. Res64: 4BF97156DAE116FE Time : 0.0 sec.