user=vaughan [2012-07-27 00:10:40] 467*2^1135790-1 is not prime. Res64: FAC4F3844A1917FC Time : 0.0 sec. user=juhehe [2012-07-27 00:28:34] 451*2^1135789-1 is not prime. Res64: 2819B71BF84EEA2F Time : 0.0 sec. user=juhehe [2012-07-27 00:37:45] 409*2^1135791-1 is not prime. Res64: 55BAA19715B33D01 Time : 0.0 sec. user=juhehe [2012-07-27 00:41:47] 469*2^1135791-1 is not prime. Res64: 86018379EF100EF8 Time : 0.0 sec. user=juhehe [2012-07-27 01:51:15] 541*2^1135791-1 is not prime. Res64: 7B3FEFD78233498B Time : 0.0 sec. user=juhehe [2012-07-27 02:23:33] 435*2^1135793-1 is not prime. Res64: 87BC2D35960771D5 Time : 0.0 sec. user=juhehe [2012-07-27 02:26:33] 567*2^1135793-1 is not prime. Res64: A8B1317F3B627458 Time : 0.0 sec. user=juhehe [2012-07-27 03:13:58] 585*2^1135793-1 is not prime. Res64: DF06A5605C10EDA2 Time : 0.0 sec. user=juhehe [2012-07-27 04:09:09] 443*2^1135794-1 is not prime. Res64: 0E0FAB243706F10C Time : 0.0 sec. user=juhehe [2012-07-27 04:11:55] 447*2^1135794-1 is not prime. Res64: DDD088B24E31C9D2 Time : 0.0 sec. user=juhehe [2012-07-27 04:36:44] 591*2^1135793-1 is not prime. Res64: 5E6BBFCC0DFC0524 Time : 0.0 sec. user=juhehe [2012-07-27 04:56:37] 485*2^1135794-1 is not prime. Res64: 0BCD52F5FE97AB5E Time : 0.0 sec. user=juhehe [2012-07-27 04:59:32] 593*2^1135794-1 is not prime. Res64: 4197F66A8AE657BB Time : 0.0 sec. user=vaughan [2012-07-27 05:35:40] 483*2^1135796-1 is not prime. Res64: 3338155B143B4362 Time : 0.0 sec. user=juhehe [2012-07-27 05:59:41] 499*2^1135795-1 is not prime. Res64: 2F72CC9480700BB6 Time : 0.0 sec. user=juhehe [2012-07-27 06:41:48] 545*2^1135796-1 is not prime. Res64: 07BE68C0F81A36BE Time : 0.0 sec. user=juhehe [2012-07-27 06:44:55] 563*2^1135796-1 is not prime. Res64: 843181F52FA849AD Time : 0.0 sec. user=juhehe [2012-07-27 07:22:31] 457*2^1135797-1 is not prime. Res64: A8CB89E7930D3E6B Time : 0.0 sec. user=juhehe [2012-07-27 08:27:05] 443*2^1135798-1 is not prime. Res64: E145E42691C6F689 Time : 0.0 sec. user=juhehe [2012-07-27 08:30:00] 465*2^1135798-1 is not prime. Res64: 376692CFF510C330 Time : 0.0 sec. user=juhehe [2012-07-27 08:45:19] 531*2^1135797-1 is not prime. Res64: 5599B13AD568C4FE Time : 0.0 sec. user=vaughan [2012-07-27 10:05:04] 523*2^1135799-1 is not prime. Res64: 2F3CCF8973F43D97 Time : 0.0 sec. user=juhehe [2012-07-27 10:07:58] 533*2^1135798-1 is not prime. Res64: CA0896810F984702 Time : 0.0 sec. user=juhehe [2012-07-27 10:12:47] 455*2^1135800-1 is not prime. Res64: E0F883049E694C88 Time : 0.0 sec. user=juhehe [2012-07-27 10:15:27] 525*2^1135800-1 is not prime. Res64: CBBF3A5957EC7A60 Time : 0.0 sec. user=juhehe [2012-07-27 11:30:33] 597*2^1135800-1 is not prime. Res64: EF83B0B95155C526 Time : 0.0 sec. user=vaughan [2012-07-27 11:49:09] 411*2^1135801-1 is not prime. Res64: F84B1FEAEA661BAB Time : 0.0 sec. user=juhehe [2012-07-27 11:58:36] 441*2^1135801-1 is not prime. Res64: 3E24AA65485479F9 Time : 0.0 sec. user=juhehe [2012-07-27 12:00:37] 425*2^1135802-1 is not prime. Res64: 971511D311CD9827 Time : 0.0 sec. user=vaughan [2012-07-27 12:38:30] 433*2^1135803-1 is not prime. Res64: 5B8CA4CCB6670A15 Time : 0.0 sec. user=juhehe [2012-07-27 12:53:33] 585*2^1135802-1 is not prime. Res64: F31FFC18B27C97CD Time : 0.0 sec. user=vaughan [2012-07-27 13:27:17] 445*2^1135803-1 is not prime. Res64: 454D8D12995685F9 Time : 0.0 sec. user=juhehe [2012-07-27 14:16:04] 483*2^1135803-1 is not prime. Res64: 17BD6B5F851150AE Time : 0.0 sec. user=juhehe [2012-07-27 15:38:43] 501*2^1135803-1 is not prime. Res64: 085C07567518334D Time : 0.0 sec. user=vaughan [2012-07-27 16:06:24] 571*2^1135803-1 is not prime. Res64: 5A9122B1FD82326A Time : 0.0 sec. user=juhehe [2012-07-27 17:01:20] 587*2^1135804-1 is not prime. Res64: 8FFFB32F2A6D29B1 Time : 0.0 sec. user=vaughan [2012-07-27 17:55:02] 451*2^1135805-1 is not prime. Res64: DD71D22934526BCF Time : 0.0 sec. user=juhehe [2012-07-27 18:24:03] 411*2^1135805-1 is not prime. Res64: F83B629EBB170417 Time : 0.0 sec. user=vaughan [2012-07-27 19:39:27] 567*2^1135805-1 is not prime. Res64: 65F0B6473F7697A1 Time : 0.0 sec. user=juhehe [2012-07-27 19:47:47] 547*2^1135805-1 is not prime. Res64: 862285C73F3DBF0C Time : 0.0 sec. user=vaughan [2012-07-27 20:28:49] 515*2^1135806-1 is not prime. Res64: 9100E7DA39305FCD Time : 0.0 sec. user=juhehe [2012-07-27 21:10:21] 593*2^1135806-1 is not prime. Res64: 1986E200E17D6C99 Time : 0.0 sec. user=vaughan [2012-07-27 22:16:48] 493*2^1135807-1 is not prime. Res64: 2099B65A4494212A Time : 0.0 sec. user=juhehe [2012-07-27 22:33:03] 465*2^1135807-1 is not prime. Res64: 0CF35D5354E95C8B Time : 0.0 sec. user=juhehe [2012-07-27 23:55:43] 583*2^1135807-1 is not prime. Res64: E6CC851DA8E16342 Time : 0.0 sec.