user=henryzz [2012-06-12 00:03:05] 435*2^1134269-1 is not prime. Res64: 04507185ECE52254 Time : 0.0 sec. user=henryzz [2012-06-12 00:26:12] 549*2^1134269-1 is not prime. Res64: 2664DC99E367F741 Time : 0.0 sec. user=henryzz [2012-06-12 00:28:37] 481*2^1134269-1 is not prime. Res64: B2B2B242AFE1E950 Time : 0.0 sec. user=henryzz [2012-06-12 00:29:48] 567*2^1134269-1 is not prime. Res64: 7E0B4A3210E83163 Time : 0.0 sec. user=henryzz [2012-06-12 00:30:43] 561*2^1134269-1 is not prime. Res64: 3FA448D3A4D1739D Time : 0.0 sec. user=henryzz [2012-06-12 00:57:43] 513*2^1134270-1 is not prime. Res64: AEA49C51F420B781 Time : 0.0 sec. user=henryzz [2012-06-12 00:58:14] 555*2^1134270-1 is not prime. Res64: C9C698D76B3713FB Time : 0.0 sec. user=henryzz [2012-06-12 00:58:27] 425*2^1134270-1 is not prime. Res64: A507F4FDC7DE73D8 Time : 0.0 sec. user=henryzz [2012-06-12 00:59:19] 581*2^1134270-1 is not prime. Res64: 2E927F8D7C18F8E2 Time : 0.0 sec. user=henryzz [2012-06-12 01:25:52] 483*2^1134272-1 is not prime. Res64: FB85100286835E3B Time : 0.0 sec. user=henryzz [2012-06-12 01:26:16] 459*2^1134273-1 is not prime. Res64: 03247C0B7C0E6A07 Time : 0.0 sec. user=henryzz [2012-06-12 01:28:44] 405*2^1134271-1 is not prime. Res64: B35C60D6F4224B00 Time : 0.0 sec. user=henryzz [2012-06-12 01:29:27] 421*2^1134271-1 is not prime. Res64: 38A264CD7A1FC951 Time : 0.0 sec. user=henryzz [2012-06-12 01:54:11] 529*2^1134273-1 is not prime. Res64: E9C255E7A301AD7F Time : 0.0 sec. user=henryzz [2012-06-12 01:54:20] 585*2^1134273-1 is not prime. Res64: AC46444F640306AC Time : 0.0 sec. user=henryzz [2012-06-12 01:56:39] 595*2^1134273-1 is not prime. Res64: 96AF1BFFACCE2F02 Time : 0.0 sec. user=henryzz [2012-06-12 02:02:39] 597*2^1134273-1 is not prime. Res64: 9F0616A8A5E716F8 Time : 0.0 sec. user=henryzz [2012-06-12 02:22:41] 483*2^1134274-1 is not prime. Res64: 8CC9CCFCA2A69F6A Time : 0.0 sec. user=henryzz [2012-06-12 02:22:56] 527*2^1134274-1 is not prime. Res64: 713D23CC02494D3B Time : 0.0 sec. user=henryzz [2012-06-12 02:26:07] 475*2^1134275-1 is not prime. Res64: DE5332F974CAADFA Time : 0.0 sec. user=henryzz [2012-06-12 02:31:53] 553*2^1134275-1 is not prime. Res64: F04D173E8CC136BC Time : 0.0 sec. user=henryzz [2012-06-12 02:50:14] 459*2^1134276-1 is not prime. Res64: 6F1F47BE4807C37A Time : 0.0 sec. user=henryzz [2012-06-12 02:53:26] 585*2^1134276-1 is not prime. Res64: F6CAA896F2A7042F Time : 0.0 sec. user=henryzz [2012-06-12 02:57:17] 579*2^1134276-1 is not prime. Res64: B8524B59B7763311 Time : 0.0 sec. user=henryzz [2012-06-12 02:58:58] 597*2^1134276-1 is not prime. Res64: F161B2835106C54D Time : 0.0 sec. user=henryzz [2012-06-12 03:18:18] 427*2^1134277-1 is not prime. Res64: 53B7C7C97B7E0219 Time : 0.0 sec. user=henryzz [2012-06-12 03:25:02] 441*2^1134277-1 is not prime. Res64: 502764216E4AEFE2 Time : 0.0 sec. user=henryzz [2012-06-12 03:26:08] 461*2^1134278-1 is not prime. Res64: 7375703E8CFBB9EE Time : 0.0 sec. user=henryzz [2012-06-12 03:27:14] 533*2^1134278-1 is not prime. Res64: D2FEAEE60ECEDC9C Time : 0.0 sec. user=henryzz [2012-06-12 03:46:11] 575*2^1134278-1 is not prime. Res64: 1B67F5057A4CA141 Time : 0.0 sec. user=henryzz [2012-06-12 03:53:25] 423*2^1134279-1 is not prime. Res64: C3D6B53FCBC0C68F Time : 0.0 sec. user=henryzz [2012-06-12 03:54:48] 469*2^1134279-1 is not prime. Res64: 01BBA5B456BEE445 Time : 0.0 sec. user=henryzz [2012-06-12 03:59:41] 433*2^1134279-1 is not prime. Res64: B0FB5AC0E5B426B2 Time : 0.0 sec. user=henryzz [2012-06-12 04:15:05] 481*2^1134279-1 is not prime. Res64: 2053BBCC162C032D Time : 0.0 sec. user=henryzz [2012-06-12 04:20:33] 501*2^1134279-1 is not prime. Res64: 8C7684099D85BE33 Time : 0.0 sec. user=henryzz [2012-06-12 04:27:05] 477*2^1134281-1 is not prime. Res64: CE611554F2F1E35C Time : 0.0 sec. user=henryzz [2012-06-12 04:28:24] 429*2^1134280-1 is not prime. Res64: C84EFF76310B6B86 Time : 0.0 sec. user=henryzz [2012-06-12 04:44:22] 529*2^1134281-1 is not prime. Res64: 9BB82FEDDA6B4CC4 Time : 0.0 sec. user=henryzz [2012-06-12 04:47:47] 577*2^1134281-1 is not prime. Res64: CA8E6F03B20AE80E Time : 0.0 sec. user=henryzz [2012-06-12 04:56:26] 543*2^1134282-1 is not prime. Res64: 5E51071C6D08A7AF Time : 0.0 sec. user=henryzz [2012-06-12 05:00:42] 503*2^1134282-1 is not prime. Res64: EE926FD3CC69C50F Time : 0.0 sec. user=henryzz [2012-06-12 05:12:14] 415*2^1134283-1 is not prime. Res64: 78485F001572C150 Time : 0.0 sec. user=henryzz [2012-06-12 05:15:35] 483*2^1134283-1 is not prime. Res64: 4C34A30F201171A4 Time : 0.0 sec. user=henryzz [2012-06-12 05:28:54] 435*2^1134284-1 is not prime. Res64: 23877D14C56A26D5 Time : 0.0 sec. user=henryzz [2012-06-12 05:30:41] 413*2^1134284-1 is not prime. Res64: 1EF0C58EBBADD943 Time : 0.0 sec. user=henryzz [2012-06-12 05:40:08] 507*2^1134284-1 is not prime. Res64: B5E325580A782676 Time : 0.0 sec. user=henryzz [2012-06-12 05:43:43] 539*2^1134284-1 is not prime. Res64: 9DCF64AAE75A3F26 Time : 0.0 sec. user=henryzz [2012-06-12 05:56:14] 465*2^1134285-1 is not prime. Res64: F6BC75D38F29EC8F Time : 0.0 sec. user=henryzz [2012-06-12 06:03:09] 475*2^1134285-1 is not prime. Res64: 596FF4113418A3B5 Time : 0.0 sec. user=henryzz [2012-06-12 06:09:00] 507*2^1134285-1 is not prime. Res64: AE011123AA45125D Time : 0.0 sec. user=henryzz [2012-06-12 06:14:33] 525*2^1134285-1 is not prime. Res64: CB7916FB72E5936E Time : 0.0 sec. user=henryzz [2012-06-12 06:25:07] 591*2^1134285-1 is not prime. Res64: D2FC03485F9A212F Time : 0.0 sec. user=henryzz [2012-06-12 06:32:41] 595*2^1134285-1 is not prime. Res64: DA112AC1C8386227 Time : 0.0 sec. user=henryzz [2012-06-12 06:37:44] 413*2^1134286-1 is not prime. Res64: 7E3167F4F7F217CA Time : 0.0 sec. user=henryzz [2012-06-12 06:42:40] 465*2^1134286-1 is not prime. Res64: A00FF931128BA53D Time : 0.0 sec. user=henryzz [2012-06-12 06:57:49] 521*2^1134286-1 is not prime. Res64: 078562144117A3CD Time : 0.0 sec. user=henryzz [2012-06-12 07:05:22] 551*2^1134286-1 is not prime. Res64: F914F6C58CCB5A78 Time : 0.0 sec. user=henryzz [2012-06-12 07:05:36] 591*2^1134286-1 is not prime. Res64: 464F12C8C4688787 Time : 0.0 sec. user=henryzz [2012-06-12 07:09:31] 421*2^1134287-1 is not prime. Res64: E2E30AAEA3BB51A5 Time : 0.0 sec. user=henryzz [2012-06-12 07:30:32] 453*2^1134288-1 is not prime. Res64: 345107C33E194636 Time : 0.0 sec. user=henryzz [2012-06-12 07:33:13] 567*2^1134288-1 is not prime. Res64: 50F953A2A8FA5827 Time : 0.0 sec. user=henryzz [2012-06-12 07:36:35] 569*2^1134288-1 is not prime. Res64: 181AAF7BC27CEB68 Time : 0.0 sec. user=henryzz [2012-06-12 07:37:12] 563*2^1134288-1 is not prime. Res64: C3C1FB00DFE88854 Time : 0.0 sec. user=henryzz [2012-06-12 08:02:56] 457*2^1134289-1 is not prime. Res64: 16B9A94EF4D8042D Time : 0.0 sec. user=henryzz [2012-06-12 08:03:32] 595*2^1134289-1 is not prime. Res64: 2CB68288FF2695CB Time : 0.0 sec. user=henryzz [2012-06-12 08:04:45] 405*2^1134290-1 is not prime. Res64: AB69A3A1D6AFA9C0 Time : 0.0 sec. user=henryzz [2012-06-12 08:05:46] 597*2^1134289-1 is not prime. Res64: 040FC006F20E1803 Time : 0.0 sec. user=henryzz [2012-06-12 08:31:12] 503*2^1134290-1 is not prime. Res64: FA560F340849C2AA Time : 0.0 sec. user=henryzz [2012-06-12 08:33:04] 585*2^1134290-1 is not prime. Res64: 33BDA23ABB451FF5 Time : 0.0 sec. user=henryzz [2012-06-12 08:35:58] 581*2^1134290-1 is not prime. Res64: B398166C01792507 Time : 0.0 sec. user=henryzz [2012-06-12 08:41:46] 423*2^1134292-1 is not prime. Res64: 59C158341138B752 Time : 0.0 sec. user=henryzz [2012-06-12 08:59:52] 495*2^1134292-1 is not prime. Res64: 140EBCDCDB8D7996 Time : 0.0 sec. user=henryzz [2012-06-12 09:02:17] 527*2^1134292-1 is not prime. Res64: 3F82ED69AE3062E0 Time : 0.0 sec. user=henryzz [2012-06-12 09:06:28] 549*2^1134292-1 is not prime. Res64: C33EC09BBA514263 Time : 0.0 sec. user=henryzz [2012-06-12 09:11:33] 519*2^1134293-1 is not prime. Res64: 55AA83641D590C7B Time : 0.0 sec. user=henryzz [2012-06-12 09:29:35] 525*2^1134293-1 is not prime. Res64: CC3AADF1C8D284D2 Time : 0.0 sec. user=henryzz [2012-06-12 09:31:00] 567*2^1134293-1 is not prime. Res64: 59E78CB1E843FBB8 Time : 0.0 sec. user=henryzz [2012-06-12 09:36:58] 525*2^1134294-1 is not prime. Res64: E97A5BEFF8F076B4 Time : 0.0 sec. user=henryzz [2012-06-12 09:42:42] 555*2^1134294-1 is not prime. Res64: 57C83FD5265574C5 Time : 0.0 sec. user=henryzz [2012-06-12 09:59:18] 587*2^1134294-1 is not prime. Res64: 315928E7D5C2332F Time : 0.0 sec. user=henryzz [2012-06-12 10:08:37] 465*2^1134295-1 is not prime. Res64: 34161B10D04F4430 Time : 0.0 sec. user=henryzz [2012-06-12 10:16:40] 511*2^1134295-1 is not prime. Res64: 7A8B1BACB1E62C44 Time : 0.0 sec. user=henryzz [2012-06-12 10:23:25] 541*2^1134295-1 is not prime. Res64: 064F3CEF08F1E37A Time : 0.0 sec. user=henryzz [2012-06-12 10:33:24] 465*2^1134296-1 is not prime. Res64: 849B964169930DCF Time : 0.0 sec. user=henryzz [2012-06-12 10:52:24] 503*2^1134296-1 is not prime. Res64: 59BF49F668FAE8F9 Time : 0.0 sec. user=henryzz [2012-06-12 10:53:00] 479*2^1134296-1 is not prime. Res64: 0AFD958E0B158B60 Time : 0.0 sec. user=henryzz [2012-06-12 11:08:34] 525*2^1134296-1 is not prime. Res64: AE163ED1DA15E2A6 Time : 0.0 sec. user=henryzz [2012-06-12 11:10:47] 573*2^1134296-1 is not prime. Res64: 2C2D03A8F34090AB Time : 0.0 sec. user=henryzz [2012-06-12 11:29:17] 425*2^1134298-1 is not prime. Res64: 757F760C2F2EE28B Time : 0.0 sec. user=henryzz [2012-06-12 11:32:12] 495*2^1134298-1 is not prime. Res64: 284972816C2F40C2 Time : 0.0 sec. user=henryzz [2012-06-12 11:46:46] 513*2^1134298-1 is not prime. Res64: 4018385A5843BA87 Time : 0.0 sec. user=henryzz [2012-06-12 11:53:25] 435*2^1134299-1 is not prime. Res64: A71C1ED9CF197D30 Time : 0.0 sec. user=henryzz [2012-06-12 12:07:18] 481*2^1134299-1 is not prime. Res64: FA81ED82C73DCED3 Time : 0.0 sec. user=henryzz [2012-06-12 12:12:03] 511*2^1134299-1 is not prime. Res64: 55F6D1FCC37604AB Time : 0.0 sec. user=henryzz [2012-06-12 12:24:09] 483*2^1134300-1 is not prime. Res64: 487587A6BDE85EA4 Time : 0.0 sec. user=henryzz [2012-06-12 12:33:32] 405*2^1134301-1 is not prime. Res64: 516C96485C9BB498 Time : 0.0 sec. user=henryzz [2012-06-12 12:46:24] 421*2^1134301-1 is not prime. Res64: 6FBB6F7A02FE7603 Time : 0.0 sec. user=henryzz [2012-06-12 12:57:29] 511*2^1134301-1 is not prime. Res64: 5B353BA1FAD65CF9 Time : 0.0 sec. user=henryzz [2012-06-12 13:02:39] 533*2^1134302-1 is not prime. Res64: 6185A0A2CD3534B4 Time : 0.0 sec. user=henryzz [2012-06-12 13:09:11] 563*2^1134302-1 is not prime. Res64: C0960B0BBFA10659 Time : 0.0 sec. user=henryzz [2012-06-12 13:28:43] 411*2^1134303-1 is not prime. Res64: 0030B580FC766511 Time : 0.0 sec. user=henryzz [2012-06-12 13:33:56] 573*2^1134303-1 is not prime. Res64: FBA36F4F589AFB79 Time : 0.0 sec. user=henryzz [2012-06-12 13:45:23] 407*2^1134304-1 is not prime. Res64: 3CFB516379D54DBA Time : 0.0 sec. user=henryzz [2012-06-12 13:46:26] 429*2^1134304-1 is not prime. Res64: A9627F6A6327CD5D Time : 0.0 sec. user=henryzz [2012-06-12 14:09:01] 513*2^1134304-1 is not prime. Res64: 045266BE87A7CB43 Time : 0.0 sec. user=henryzz [2012-06-12 14:10:34] 533*2^1134304-1 is not prime. Res64: 3BBBA656C3F1950C Time : 0.0 sec. user=henryzz [2012-06-12 14:25:57] 441*2^1134305-1 is not prime. Res64: 060EE75F0AF2A243 Time : 0.0 sec. user=henryzz [2012-06-12 14:30:37] 411*2^1134306-1 is not prime. Res64: C1D04082E54B25F4 Time : 0.0 sec. user=henryzz [2012-06-12 14:44:41] 527*2^1134306-1 is not prime. Res64: D87E6EA8E4714F64 Time : 0.0 sec. user=henryzz [2012-06-12 14:53:08] 405*2^1134307-1 is not prime. Res64: 2B6813529EDD40CA Time : 0.0 sec. user=henryzz [2012-06-12 15:05:39] 421*2^1134307-1 is not prime. Res64: 48068BB555393F5C Time : 0.0 sec. user=henryzz [2012-06-12 15:08:36] 471*2^1134307-1 is not prime. Res64: 5A0CF7214DB92542 Time : 0.0 sec. user=henryzz [2012-06-12 15:17:58] 459*2^1134308-1 is not prime. Res64: 85299929D357F011 Time : 0.0 sec. user=henryzz [2012-06-12 15:25:42] 503*2^1134308-1 is not prime. Res64: 3DAB37CF1569E6DA Time : 0.0 sec. user=henryzz [2012-06-12 15:40:51] 507*2^1134308-1 is not prime. Res64: 1BA6EFD1678B9666 Time : 0.0 sec. user=henryzz [2012-06-12 15:55:12] 585*2^1134308-1 is not prime. Res64: 6B6C0A4561E0F2BB Time : 0.0 sec. user=henryzz [2012-06-12 15:57:24] 567*2^1134308-1 is not prime. Res64: 3D7132D83FDEBAE1 Time : 0.0 sec. user=henryzz [2012-06-12 16:00:36] 427*2^1134309-1 is not prime. Res64: 07A9A920B50B2186 Time : 0.0 sec. user=henryzz [2012-06-12 16:25:38] 499*2^1134309-1 is not prime. Res64: 9BE772F0F2444C9D Time : 0.0 sec. user=henryzz [2012-06-12 16:26:20] 465*2^1134309-1 is not prime. Res64: 428665CD7CBA7976 Time : 0.0 sec. user=henryzz [2012-06-12 16:29:35] 579*2^1134309-1 is not prime. Res64: 2E5A20AEB0158652 Time : 0.0 sec. user=henryzz [2012-06-12 16:33:04] 511*2^1134309-1 is not prime. Res64: D28C404AC9AA4F51 Time : 0.0 sec. user=henryzz [2012-06-12 17:00:32] 423*2^1134310-1 is not prime. Res64: 43E4899CA8FEA759 Time : 0.0 sec. user=henryzz [2012-06-12 17:04:53] 409*2^1134311-1 is not prime. Res64: 5631BDBE879C8F9B Time : 0.0 sec. user=henryzz [2012-06-12 17:12:46] 591*2^1134310-1 is not prime. Res64: 8B1BAC516079A154 Time : 0.0 sec. user=henryzz [2012-06-12 17:28:58] 439*2^1134311-1 is not prime. Res64: 9D5EED7043F9661A Time : 0.0 sec. user=henryzz [2012-06-12 17:41:15] 493*2^1134311-1 is not prime. Res64: 706FFA36FF50B0CE Time : 0.0 sec. user=henryzz [2012-06-12 17:47:47] 405*2^1134312-1 is not prime. Res64: 3BF8A8E8FB8CC195 Time : 0.0 sec. user=henryzz [2012-06-12 18:02:11] 463*2^1134311-1 is not prime. Res64: 0270961BCA898CFF Time : 0.0 sec. user=henryzz [2012-06-12 18:23:37] 479*2^1134312-1 is not prime. Res64: 1CCFBDF43B4D0EC0 Time : 0.0 sec. user=henryzz [2012-06-12 18:24:35] 437*2^1134312-1 is not prime. Res64: 73F2B65264F5CA2F Time : 0.0 sec. user=henryzz [2012-06-12 18:25:45] 405*2^1134313-1 is not prime. Res64: 88EB5B6B47DB2B01 Time : 0.0 sec. user=henryzz [2012-06-12 18:43:57] 499*2^1134313-1 is not prime. Res64: 52CA1AFC1BA126F6 Time : 0.0 sec. user=henryzz [2012-06-12 19:04:48] 517*2^1134313-1 is not prime. Res64: E03B17D9173FCDD0 Time : 0.0 sec. user=henryzz [2012-06-12 19:08:43] 483*2^1134314-1 is not prime. Res64: BD4AF8829390D7FC Time : 0.0 sec. user=henryzz [2012-06-12 19:13:02] 591*2^1134313-1 is not prime. Res64: 0C771E428648630F Time : 0.0 sec. user=henryzz [2012-06-12 19:21:47] 533*2^1134314-1 is not prime. Res64: 16956075AEAB9A80 Time : 0.0 sec. user=henryzz [2012-06-12 19:44:46] 459*2^1134315-1 is not prime. Res64: D5C44704B4D33620 Time : 0.0 sec. user=henryzz [2012-06-12 19:53:19] 409*2^1134315-1 is not prime. Res64: 64581B232A854D67 Time : 0.0 sec. user=henryzz [2012-06-12 19:56:17] 543*2^1134315-1 is not prime. Res64: B7DED82C228A31C6 Time : 0.0 sec. user=henryzz [2012-06-12 19:58:42] 411*2^1134315-1 is not prime. Res64: 65350083EECB266C Time : 0.0 sec. user=henryzz [2012-06-12 20:20:09] 583*2^1134315-1 is not prime. Res64: 84F28F44CB8212B9 Time : 0.0 sec. user=henryzz [2012-06-12 20:31:30] 519*2^1134316-1 is not prime. Res64: A2CA3579FA748AF5 Time : 0.0 sec. user=henryzz [2012-06-12 20:37:59] 549*2^1134317-1 is not prime. Res64: FEC474C07926E4B9 Time : 0.0 sec. user=henryzz [2012-06-12 20:40:10] 587*2^1134316-1 is not prime. Res64: B1394FA03E430F07 Time : 0.0 sec. user=henryzz [2012-06-12 21:00:40] 589*2^1134317-1 is not prime. Res64: D88071A1D582F434 Time : 0.0 sec. user=henryzz [2012-06-12 21:13:54] 485*2^1134318-1 is not prime. Res64: 26D2249D23FEBDD8 Time : 0.0 sec. user=henryzz [2012-06-12 21:19:06] 555*2^1134318-1 is not prime. Res64: 85F489ABA7B6D27E Time : 0.0 sec. user=henryzz [2012-06-12 21:20:32] 495*2^1134318-1 is not prime. Res64: 09ABA12CDC9124EB Time : 0.0 sec. user=henryzz [2012-06-12 21:49:45] 463*2^1134319-1 is not prime. Res64: 037FC23CB5FD5A0D Time : 0.0 sec. user=henryzz [2012-06-12 21:49:50] 441*2^1134319-1 is not prime. Res64: ECE043C0618788F6 Time : 0.0 sec. user=henryzz [2012-06-12 21:57:20] 459*2^1134321-1 is not prime. Res64: C451F9FB78C29E5B Time : 0.0 sec. user=henryzz [2012-06-12 22:02:52] 555*2^1134319-1 is not prime. Res64: C423359608DBAF99 Time : 0.0 sec. user=henryzz [2012-06-12 22:28:35] 555*2^1134321-1 is not prime. Res64: 91829B6D28865022 Time : 0.0 sec. user=henryzz [2012-06-12 22:32:23] 531*2^1134321-1 is not prime. Res64: 85B8B86007955328 Time : 0.0 sec. user=henryzz [2012-06-12 22:35:12] 413*2^1134322-1 is not prime. Res64: F5B95DFE1AA63F89 Time : 0.0 sec. user=henryzz [2012-06-12 22:44:16] 461*2^1134322-1 is not prime. Res64: 68B1495BDC57131E Time : 0.0 sec. user=henryzz [2012-06-12 23:07:35] 567*2^1134322-1 is not prime. Res64: F9822BA95EBF2DBB Time : 0.0 sec. user=henryzz [2012-06-12 23:11:18] 519*2^1134323-1 is not prime. Res64: 9F6F7547ABDBB0BA Time : 0.0 sec. user=henryzz [2012-06-12 23:17:57] 589*2^1134323-1 is not prime. Res64: 8660810EDC5C98AE Time : 0.0 sec. user=henryzz [2012-06-12 23:27:49] 557*2^1134324-1 is not prime. Res64: 1D84772EE69E9A2E Time : 0.0 sec. user=henryzz [2012-06-12 23:49:53] 569*2^1134324-1 is not prime. Res64: 83B5B30619663FF7 Time : 0.0 sec. user=henryzz [2012-06-12 23:50:51] 499*2^1134325-1 is not prime. Res64: 0A062CF9177A8B72 Time : 0.0 sec. user=henryzz [2012-06-12 23:56:57] 519*2^1134325-1 is not prime. Res64: 7F66D8E5B91CCB2F Time : 0.0 sec.