user=juhehe [2012-03-15 00:09:20] 555*2^1127337-1 is not prime. Res64: B86C9EEFE7B0D6B7 Time : 0.0 sec. user=juhehe [2012-03-15 00:26:04] 565*2^1127337-1 is not prime. Res64: AB9DB2DA53F9936B Time : 0.0 sec. user=juhehe [2012-03-15 00:28:38] 471*2^1127338-1 is not prime. Res64: 01AE43889829ABBD Time : 0.0 sec. user=juhehe [2012-03-15 00:33:31] 495*2^1127338-1 is not prime. Res64: 635D85AA8C07C6D5 Time : 0.0 sec. user=gd_barnes [2012-03-15 00:40:52] 545*2^1127338-1 is not prime. Res64: AB05C03806BB63AB Time : 0.0 sec. user=juhehe [2012-03-15 00:57:42] 579*2^1127339-1 is not prime. Res64: 8C4436A8D22A9D89 Time : 0.0 sec. user=juhehe [2012-03-15 00:58:20] 429*2^1127340-1 is not prime. Res64: 4ECE6A094A0F02D8 Time : 0.0 sec. user=juhehe [2012-03-15 01:00:17] 405*2^1127340-1 is not prime. Res64: 85434333534A387D Time : 0.0 sec. user=juhehe [2012-03-15 01:23:03] 545*2^1127340-1 is not prime. Res64: C38C2A9537630E8A Time : 0.0 sec. user=juhehe [2012-03-15 01:29:24] 503*2^1127340-1 is not prime. Res64: C3D789AB57B81036 Time : 0.0 sec. user=gd_barnes [2012-03-15 01:31:37] 507*2^1127341-1 is not prime. Res64: DABDEB25350D7B35 Time : 0.0 sec. user=juhehe [2012-03-15 01:31:59] 465*2^1127341-1 is not prime. Res64: 741526B095E05EA2 Time : 0.0 sec. user=juhehe [2012-03-15 01:47:46] 417*2^1127342-1 is not prime. Res64: C36543F2B2BD798E Time : 0.0 sec. user=juhehe [2012-03-15 02:01:06] 447*2^1127342-1 is not prime. Res64: C62AA5EF05FFC953 Time : 0.0 sec. user=juhehe [2012-03-15 02:03:43] 503*2^1127342-1 is not prime. Res64: 52BF8CC1D7422BCC Time : 0.0 sec. user=juhehe [2012-03-15 02:12:33] 521*2^1127342-1 is not prime. Res64: A9019C6ECB407B87 Time : 0.0 sec. user=juhehe [2012-03-15 02:32:51] 451*2^1127343-1 is not prime. Res64: 88B98020FD9D375E Time : 0.0 sec. user=juhehe [2012-03-15 02:35:29] 493*2^1127343-1 is not prime. Res64: 2F02EA3CE8412EE0 Time : 0.0 sec. user=juhehe [2012-03-15 02:37:00] 549*2^1127343-1 is not prime. Res64: 289E5DEC48F0B2C3 Time : 0.0 sec. user=juhehe [2012-03-15 03:02:09] 567*2^1127344-1 is not prime. Res64: DD88F3B37FE3B694 Time : 0.0 sec. user=juhehe [2012-03-15 03:04:44] 489*2^1127344-1 is not prime. Res64: D99C1C5148987D71 Time : 0.0 sec. user=juhehe [2012-03-15 03:07:15] 563*2^1127344-1 is not prime. Res64: 3DF6643658CE1848 Time : 0.0 sec. user=juhehe [2012-03-15 03:27:18] 405*2^1127345-1 is not prime. Res64: A80FBA4AE96B8B19 Time : 0.0 sec. user=juhehe [2012-03-15 03:36:33] 409*2^1127345-1 is not prime. Res64: D7FCBFB9CC5A2D93 Time : 0.0 sec. user=juhehe [2012-03-15 03:38:56] 475*2^1127345-1 is not prime. Res64: E518546BBA690863 Time : 0.0 sec. user=juhehe [2012-03-15 03:52:11] 517*2^1127345-1 is not prime. Res64: E44B3A43125A9701 Time : 0.0 sec. user=juhehe [2012-03-15 04:08:22] 537*2^1127345-1 is not prime. Res64: 6463786EB50AF403 Time : 0.0 sec. user=juhehe [2012-03-15 04:10:42] 411*2^1127346-1 is not prime. Res64: 9F73FE0588F13D6B Time : 0.0 sec. user=juhehe [2012-03-15 04:17:02] 425*2^1127346-1 is not prime. Res64: 2D5CC7FA5C55038C Time : 0.0 sec. user=juhehe [2012-03-15 04:40:12] 497*2^1127346-1 is not prime. Res64: 0D7426ABE9C7250F Time : 0.0 sec. user=juhehe [2012-03-15 04:42:04] 521*2^1127346-1 is not prime. Res64: C905E0FEAE6D13F3 Time : 0.0 sec. user=juhehe [2012-03-15 04:42:31] 515*2^1127346-1 is not prime. Res64: 94E78BB4AE88DB0C Time : 0.0 sec. user=juhehe [2012-03-15 05:07:11] 555*2^1127347-1 is not prime. Res64: 5ECDE672612C8891 Time : 0.0 sec. user=juhehe [2012-03-15 05:11:56] 531*2^1127346-1 is not prime. Res64: 0F91CE94924FF060 Time : 0.0 sec. user=juhehe [2012-03-15 05:14:12] 453*2^1127348-1 is not prime. Res64: 2487C6E1F1344317 Time : 0.0 sec. user=juhehe [2012-03-15 05:32:03] 459*2^1127348-1 is not prime. Res64: 5F6DFEA2E7499F5B Time : 0.0 sec. user=gd_barnes [2012-03-15 05:36:12] 537*2^1127348-1 is not prime. Res64: C1A716A137782EFA Time : 0.0 sec. user=juhehe [2012-03-15 05:44:03] 599*2^1127348-1 is not prime. Res64: 7DEB354BA556B674 Time : 0.0 sec. user=juhehe [2012-03-15 05:46:02] 451*2^1127349-1 is not prime. Res64: 4D98332522706C1C Time : 0.0 sec. user=juhehe [2012-03-15 05:56:56] 457*2^1127349-1 is not prime. Res64: B19F36C2A055D1A0 Time : 0.0 sec. user=juhehe [2012-03-15 06:16:35] 507*2^1127349-1 is not prime. Res64: 632CFE0DAFFD86CF Time : 0.0 sec. user=juhehe [2012-03-15 06:18:30] 413*2^1127350-1 is not prime. Res64: 0633038C7FAF16DC Time : 0.0 sec. user=juhehe [2012-03-15 06:21:55] 425*2^1127350-1 is not prime. Res64: 9ED3752B3737A77D Time : 0.0 sec. user=juhehe [2012-03-15 06:46:54] 511*2^1127351-1 is not prime. Res64: 7F6E4F473F8988CC Time : 0.0 sec. user=juhehe [2012-03-15 06:48:43] 567*2^1127350-1 is not prime. Res64: 85C26DC72C19FA66 Time : 0.0 sec. user=juhehe [2012-03-15 06:51:12] 453*2^1127351-1 is not prime. Res64: A69DB07930386AB2 Time : 0.0 sec. user=juhehe [2012-03-15 07:11:43] 519*2^1127351-1 is not prime. Res64: 3F75E18412F7A0C7 Time : 0.0 sec. user=juhehe [2012-03-15 07:20:43] 579*2^1127351-1 is not prime. Res64: D2713BA82FC92D81 Time : 0.0 sec. user=juhehe [2012-03-15 07:23:07] 591*2^1127351-1 is not prime. Res64: E79786DE21CB840E Time : 0.0 sec. user=juhehe [2012-03-15 07:36:31] 479*2^1127352-1 is not prime. Res64: 8A3B5F7A213E99A3 Time : 0.0 sec. user=juhehe [2012-03-15 07:52:46] 485*2^1127352-1 is not prime. Res64: 429C651A1B082122 Time : 0.0 sec. user=juhehe [2012-03-15 07:55:18] 555*2^1127352-1 is not prime. Res64: 10364B45200CA445 Time : 0.0 sec. user=juhehe [2012-03-15 08:01:25] 411*2^1127353-1 is not prime. Res64: 7B4EBD3F65FD926B Time : 0.0 sec. user=juhehe [2012-03-15 08:24:32] 471*2^1127353-1 is not prime. Res64: 93B18CD898A3EAF9 Time : 0.0 sec. user=juhehe [2012-03-15 08:26:22] 407*2^1127354-1 is not prime. Res64: 554097712D946376 Time : 0.0 sec. user=juhehe [2012-03-15 08:27:01] 565*2^1127353-1 is not prime. Res64: 54FF1A96457588A6 Time : 0.0 sec. user=gd_barnes [2012-03-15 08:35:56] 417*2^1127354-1 is not prime. Res64: 6FF4645A19443044 Time : 0.0 sec. user=juhehe [2012-03-15 08:51:15] 475*2^1127355-1 is not prime. Res64: 88A0DFC6766BA4B9 Time : 0.0 sec. user=juhehe [2012-03-15 08:56:19] 429*2^1127355-1 is not prime. Res64: B4F1449E1909E078 Time : 0.0 sec. user=juhehe [2012-03-15 08:58:43] 523*2^1127355-1 is not prime. Res64: 423E4F63A3F7D315 Time : 0.0 sec. user=juhehe [2012-03-15 09:19:54] 435*2^1127356-1 is not prime. Res64: E55358687EEBCB6E Time : 0.0 sec. user=juhehe [2012-03-15 09:28:06] 565*2^1127357-1 is not prime. Res64: 27D9DFC6EE91FBF6 Time : 0.0 sec. user=juhehe [2012-03-15 09:30:28] 571*2^1127357-1 is not prime. Res64: 4A1A0853B09844EB Time : 0.0 sec. user=juhehe [2012-03-15 09:48:36] 431*2^1127358-1 is not prime. Res64: EB1D27F5759AAE98 Time : 0.0 sec. user=juhehe [2012-03-15 09:59:49] 567*2^1127358-1 is not prime. Res64: DFC115D499B3E6CB Time : 0.0 sec. user=juhehe [2012-03-15 10:02:06] 493*2^1127359-1 is not prime. Res64: BF6AA4670E6F7CF8 Time : 0.0 sec. user=juhehe [2012-03-15 10:14:54] 407*2^1127360-1 is not prime. Res64: B762CA74F7423D68 Time : 0.0 sec. user=gd_barnes [2012-03-15 10:30:10] 491*2^1127362-1 is not prime. Res64: 4A5BEF7355B9A933 Time : 0.0 sec. user=juhehe [2012-03-15 10:31:27] 467*2^1127360-1 is not prime. Res64: 2F9D046E9782C5B9 Time : 0.0 sec. user=juhehe [2012-03-15 10:33:47] 425*2^1127362-1 is not prime. Res64: BB74FE8DB3C1BB37 Time : 0.0 sec. user=juhehe [2012-03-15 10:44:22] 521*2^1127362-1 is not prime. Res64: 4E0CDC2AEBF77B9A Time : 0.0 sec. user=juhehe [2012-03-15 11:03:15] 525*2^1127362-1 is not prime. Res64: B46E880C7694A4BB Time : 0.0 sec. user=juhehe [2012-03-15 11:05:31] 527*2^1127362-1 is not prime. Res64: 9742D1657FFEEB7D Time : 0.0 sec. user=juhehe [2012-03-15 11:08:38] 489*2^1127363-1 is not prime. Res64: EDF40F7DEB1D1F3D Time : 0.0 sec. user=gd_barnes [2012-03-15 11:27:57] 557*2^1127364-1 is not prime. Res64: 93E91DA3F2971A0F Time : 0.0 sec. user=juhehe [2012-03-15 11:33:06] 411*2^1127365-1 is not prime. Res64: FFCFD29448A36400 Time : 0.0 sec. user=juhehe [2012-03-15 11:34:58] 519*2^1127363-1 is not prime. Res64: 36EA08871F3A0CE8 Time : 0.0 sec. user=juhehe [2012-03-15 11:37:15] 585*2^1127363-1 is not prime. Res64: 0E6E7E3FEBB40161 Time : 0.0 sec. user=juhehe [2012-03-15 11:57:43] 441*2^1127365-1 is not prime. Res64: C9FAAB03BE6AD04B Time : 0.0 sec. user=juhehe [2012-03-15 12:06:40] 489*2^1127365-1 is not prime. Res64: 063C794DFE663057 Time : 0.0 sec. user=juhehe [2012-03-15 12:08:57] 591*2^1127365-1 is not prime. Res64: 817808A9234D09ED Time : 0.0 sec. user=juhehe [2012-03-15 12:22:08] 405*2^1127366-1 is not prime. Res64: E51B5B57B58BED0F Time : 0.0 sec. user=juhehe [2012-03-15 12:38:25] 407*2^1127366-1 is not prime. Res64: 7A2AA89DA99C7E5A Time : 0.0 sec. user=juhehe [2012-03-15 12:40:41] 431*2^1127366-1 is not prime. Res64: 8CB9B7D946FEAA7C Time : 0.0 sec. user=juhehe [2012-03-15 12:46:48] 477*2^1127366-1 is not prime. Res64: 89890626A4293A84 Time : 0.0 sec. user=juhehe [2012-03-15 13:10:10] 483*2^1127366-1 is not prime. Res64: 3F008E1098DD3D48 Time : 0.0 sec. user=juhehe [2012-03-15 13:12:10] 503*2^1127366-1 is not prime. Res64: 67E3492E94F42065 Time : 0.0 sec. user=juhehe [2012-03-15 13:12:25] 501*2^1127366-1 is not prime. Res64: 07141CF638AF0A7E Time : 0.0 sec. user=gd_barnes [2012-03-15 13:35:26] 561*2^1127366-1 is not prime. Res64: 23CCB06AA8061B2A Time : 0.0 sec. user=gd_barnes [2012-03-15 13:35:54] 583*2^1127367-1 is not prime. Res64: 4EF9302C0662A255 Time : 0.0 sec. user=juhehe [2012-03-15 13:37:51] 539*2^1127368-1 is not prime. Res64: 36B62DF681EE6C52 Time : 0.0 sec. user=gd_barnes [2012-03-15 13:39:18] 593*2^1127366-1 is not prime. Res64: 790316409F00680E Time : 0.0 sec. user=juhehe [2012-03-15 13:41:51] 413*2^1127368-1 is not prime. Res64: F4D44B972B759112 Time : 0.0 sec. user=juhehe [2012-03-15 13:44:17] 549*2^1127369-1 is not prime. Res64: 3825A3191E05A64E Time : 0.0 sec. user=juhehe [2012-03-15 14:04:33] 567*2^1127369-1 is not prime. Res64: 557E6F89CD0F5DCD Time : 0.0 sec. user=juhehe [2012-03-15 14:13:32] 413*2^1127370-1 is not prime. Res64: 970A388DB43079B6 Time : 0.0 sec. user=juhehe [2012-03-15 14:15:55] 437*2^1127370-1 is not prime. Res64: CBD02E54046846C7 Time : 0.0 sec. user=juhehe [2012-03-15 14:29:02] 473*2^1127370-1 is not prime. Res64: 31F8BF8A73F7F973 Time : 0.0 sec. user=juhehe [2012-03-15 14:45:16] 415*2^1127371-1 is not prime. Res64: 726DD71810910D12 Time : 0.0 sec. user=juhehe [2012-03-15 14:47:38] 441*2^1127371-1 is not prime. Res64: 20B524B5267EFD86 Time : 0.0 sec. user=juhehe [2012-03-15 14:53:43] 531*2^1127371-1 is not prime. Res64: A8374908121F35DB Time : 0.0 sec. user=juhehe [2012-03-15 15:16:57] 549*2^1127371-1 is not prime. Res64: DF2B323DC39D771F Time : 0.0 sec. user=juhehe [2012-03-15 15:18:17] 467*2^1127372-1 is not prime. Res64: 69746F29379647D2 Time : 0.0 sec. user=juhehe [2012-03-15 15:19:20] 447*2^1127372-1 is not prime. Res64: 446AA39FF36321F1 Time : 0.0 sec. user=gd_barnes [2012-03-15 15:33:33] 477*2^1127372-1 is not prime. Res64: 19B65A1A8DF3E92E Time : 0.0 sec. user=gd_barnes [2012-03-15 15:35:34] 487*2^1127373-1 is not prime. Res64: 7ED528ACE2102D51 Time : 0.0 sec. user=gd_barnes [2012-03-15 15:39:55] 483*2^1127372-1 is not prime. Res64: 2AEAABE6BBC7782D Time : 0.0 sec. user=juhehe [2012-03-15 15:42:53] 455*2^1127374-1 is not prime. Res64: 1CCE282B1C75F2E1 Time : 0.0 sec. user=juhehe [2012-03-15 15:48:40] 499*2^1127373-1 is not prime. Res64: E2E10C94DB1EE994 Time : 0.0 sec. user=juhehe [2012-03-15 15:50:59] 491*2^1127374-1 is not prime. Res64: D1D9F6249423E2B9 Time : 0.0 sec. user=juhehe [2012-03-15 16:07:26] 495*2^1127205-1 is not prime. Res64: BA7E4FD952C53D7C Time : 0.0 sec. user=juhehe [2012-03-15 16:20:24] 423*2^1127375-1 is not prime. Res64: 53A7D7B2662FF5AC Time : 0.0 sec. user=juhehe [2012-03-15 16:22:42] 463*2^1127375-1 is not prime. Res64: 8BE2393015305C79 Time : 0.0 sec. user=juhehe [2012-03-15 16:31:57] 469*2^1127375-1 is not prime. Res64: 2DAF01CB9C9CC41A Time : 0.0 sec. user=juhehe [2012-03-15 16:52:06] 475*2^1127375-1 is not prime. Res64: 36D77C42834CBABF Time : 0.0 sec. user=juhehe [2012-03-15 16:54:18] 525*2^1127375-1 is not prime. Res64: F8896F4CFA75340A Time : 0.0 sec. user=juhehe [2012-03-15 16:56:34] 507*2^1127376-1 is not prime. Res64: EA58DBFE3C1D5165 Time : 0.0 sec. user=vaughan [2012-03-15 17:18:17] 435*2^1127309-1 is not prime. Res64: 708DA58E46BE131B Time : 0.0 sec. user=juhehe [2012-03-15 17:21:13] 477*2^1127377-1 is not prime. Res64: 03B1AFDDDEF81332 Time : 0.0 sec. user=juhehe [2012-03-15 17:23:50] 509*2^1127376-1 is not prime. Res64: 5E1244B2DBC106AC Time : 0.0 sec. user=juhehe [2012-03-15 17:26:03] 557*2^1127376-1 is not prime. Res64: A672C8575F9F22A8 Time : 0.0 sec. user=gd_barnes [2012-03-15 17:33:31] 505*2^1127377-1 is not prime. Res64: B54D228DE7353A70 Time : 0.0 sec. user=juhehe [2012-03-15 17:45:40] 507*2^1127377-1 is not prime. Res64: 4D3A5C7E38EA079A Time : 0.0 sec. user=juhehe [2012-03-15 17:55:56] 507*2^1127378-1 is not prime. Res64: 2D6DC7E18584FFFA Time : 0.0 sec. user=juhehe [2012-03-15 17:58:24] 433*2^1127379-1 is not prime. Res64: 51463FF3B351E331 Time : 0.0 sec. user=juhehe [2012-03-15 18:10:09] 471*2^1127379-1 is not prime. Res64: C98C9D463D598AAE Time : 0.0 sec. user=juhehe [2012-03-15 18:34:45] 453*2^1127380-1 is not prime. Res64: 54C0EF8DBDCE13D5 Time : 0.0 sec. user=juhehe [2012-03-15 18:37:48] 437*2^1127380-1 is not prime. Res64: 28CC10C707F74441 Time : 0.0 sec. user=juhehe [2012-03-15 18:41:54] 573*2^1127379-1 is not prime. Res64: 9B03A7A946DAC79F Time : 0.0 sec. user=juhehe [2012-03-15 18:59:17] 483*2^1127380-1 is not prime. Res64: 25EC3572C03C0322 Time : 0.0 sec. user=juhehe [2012-03-15 19:12:53] 441*2^1127381-1 is not prime. Res64: 5889DE926EEFCF2C Time : 0.0 sec. user=juhehe [2012-03-15 19:16:08] 529*2^1127381-1 is not prime. Res64: 7E93AE9DCFD4A52C Time : 0.0 sec. user=juhehe [2012-03-15 19:23:48] 571*2^1127381-1 is not prime. Res64: 1EBC73AF8078DA29 Time : 0.0 sec. user=juhehe [2012-03-15 19:46:13] 573*2^1127382-1 is not prime. Res64: 4EF2B6DBE054BB7B Time : 0.0 sec. user=juhehe [2012-03-15 19:48:16] 475*2^1127383-1 is not prime. Res64: 6C66221ADAF81B57 Time : 0.0 sec. user=juhehe [2012-03-15 19:49:50] 411*2^1127383-1 is not prime. Res64: EA9BF08EFDE4F31D Time : 0.0 sec. user=juhehe [2012-03-15 20:12:44] 493*2^1127383-1 is not prime. Res64: 88CFD27341D10F84 Time : 0.0 sec. user=juhehe [2012-03-15 20:19:26] 481*2^1127383-1 is not prime. Res64: CD58FD8801BA75F8 Time : 0.0 sec. user=juhehe [2012-03-15 20:22:57] 447*2^1127384-1 is not prime. Res64: ED504DCE8FFD4178 Time : 0.0 sec. user=vaughan [2012-03-15 20:29:02] 457*2^1127385-1 is not prime. Res64: 4586B2D447BFC342 Time : 0.0 sec. user=juhehe [2012-03-15 20:37:10] 555*2^1127385-1 is not prime. Res64: C105677E112CC755 Time : 0.0 sec. user=gd_barnes [2012-03-15 20:38:20] 459*2^1127385-1 is not prime. Res64: 5C5C365FA5A7AF9A Time : 0.0 sec. user=juhehe [2012-03-15 20:52:37] 565*2^1127385-1 is not prime. Res64: E00007DD669DBB5A Time : 0.0 sec. user=juhehe [2012-03-15 20:56:08] 597*2^1127385-1 is not prime. Res64: FCA8A716216A2FDE Time : 0.0 sec. user=juhehe [2012-03-15 21:01:45] 413*2^1127386-1 is not prime. Res64: FCB27BBE7853341E Time : 0.0 sec. user=juhehe [2012-03-15 21:25:52] 443*2^1127386-1 is not prime. Res64: D916A72D4CA67ACF Time : 0.0 sec. user=juhehe [2012-03-15 21:26:09] 571*2^1127387-1 is not prime. Res64: BB9BF7BCEAF088CB Time : 0.0 sec. user=juhehe [2012-03-15 21:29:24] 477*2^1127386-1 is not prime. Res64: C3EA0C7B35C014F1 Time : 0.0 sec. user=juhehe [2012-03-15 21:50:41] 545*2^1127388-1 is not prime. Res64: EB0BE26898B9A09A Time : 0.0 sec. user=juhehe [2012-03-15 21:59:06] 589*2^1127387-1 is not prime. Res64: A2CFC8E2A28208CC Time : 0.0 sec. user=juhehe [2012-03-15 22:02:37] 557*2^1127388-1 is not prime. Res64: EBAC0D74AB614D49 Time : 0.0 sec. user=juhehe [2012-03-15 22:15:08] 441*2^1127389-1 is not prime. Res64: 2F1EDA7D1E882708 Time : 0.0 sec. user=gd_barnes [2012-03-15 22:31:58] 455*2^1127390-1 is not prime. Res64: 929A71273F6DD3C5 Time : 0.0 sec. user=juhehe [2012-03-15 22:34:53] 499*2^1127389-1 is not prime. Res64: 10369C7D162738CC Time : 0.0 sec. user=juhehe [2012-03-15 22:35:51] 555*2^1127389-1 is not prime. Res64: CADA9299453529B9 Time : 0.0 sec. user=juhehe [2012-03-15 22:39:34] 473*2^1127390-1 is not prime. Res64: F99CC6EF1DE31CB2 Time : 0.0 sec. user=juhehe [2012-03-15 23:04:03] 439*2^1127391-1 is not prime. Res64: 5878EAC382DC551F Time : 0.0 sec. user=juhehe [2012-03-15 23:09:25] 415*2^1127391-1 is not prime. Res64: 128A403FE16C041F Time : 0.0 sec. user=juhehe [2012-03-15 23:10:16] 545*2^1127390-1 is not prime. Res64: B4FA02EA7A81C378 Time : 0.0 sec. user=juhehe [2012-03-15 23:28:28] 469*2^1127391-1 is not prime. Res64: 064792738D7EF1D9 Time : 0.0 sec. user=gd_barnes [2012-03-15 23:37:31] 435*2^1127392-1 is not prime. Res64: CFDB5578D4AAA44A Time : 0.0 sec. user=juhehe [2012-03-15 23:42:28] 531*2^1127391-1 is not prime. Res64: EDD2BC635C12907E Time : 0.0 sec. user=juhehe [2012-03-15 23:43:21] 413*2^1127392-1 is not prime. Res64: 4A874E46CFA5ED40 Time : 0.0 sec. user=juhehe [2012-03-15 23:52:57] 525*2^1127392-1 is not prime. Res64: 311BFBD803263203 Time : 0.0 sec.