user=vaughan [2012-02-09 00:05:23] 449*2^1121512-1 is not prime. Res64: 78F1C7A4E951B2BE Time : 0.0 sec. user=vaughan [2012-02-09 00:05:25] 567*2^1121512-1 is not prime. Res64: 7171A2C039AB3AD7 Time : 0.0 sec. user=vaughan [2012-02-09 00:05:26] 435*2^1121513-1 is not prime. Res64: E8712E09B07C420E Time : 0.0 sec. user=vaughan [2012-02-09 00:06:39] 447*2^1121538-1 is not prime. Res64: A9E5C36CCCD78162 Time : 0.0 sec. user=vaughan [2012-02-09 00:06:40] 415*2^1121539-1 is not prime. Res64: A69FDD8B2EC36321 Time : 0.0 sec. user=vaughan [2012-02-09 00:08:49] 423*2^1121534-1 is not prime. Res64: 1F92FFC563536173 Time : 0.0 sec. user=vaughan [2012-02-09 00:08:50] 425*2^1121534-1 is not prime. Res64: 86C4841FEDA3B4C9 Time : 0.0 sec. user=vaughan [2012-02-09 00:10:15] 447*2^1121525-1 is not prime. Res64: A1F6A0F5A4C2475D Time : 0.0 sec. user=vaughan [2012-02-09 00:10:17] 507*2^1121525-1 is not prime. Res64: A9543ECBF25A6083 Time : 0.0 sec. user=vaughan [2012-02-09 00:10:25] 471*2^1121535-1 is not prime. Res64: 91201751565B2E00 Time : 0.0 sec. user=vaughan [2012-02-09 00:10:26] 407*2^1121536-1 is not prime. Res64: 9BAEDBDCE4B02D1D Time : 0.0 sec. user=vaughan [2012-02-09 00:11:02] 537*2^1121536-1 is not prime. Res64: 0C451FC145558247 Time : 0.0 sec. user=vaughan [2012-02-09 00:11:04] 539*2^1121536-1 is not prime. Res64: B8E84E1D80B2FF2B Time : 0.0 sec. user=vaughan [2012-02-09 00:11:10] 587*2^1121536-1 is not prime. Res64: 04FADD957AE4F9C4 Time : 0.0 sec. user=vaughan [2012-02-09 00:11:11] 435*2^1121537-1 is not prime. Res64: FD0874CCF9587517 Time : 0.0 sec. user=vaughan [2012-02-09 00:11:48] 465*2^1121526-1 is not prime. Res64: CDDA0A1EB52495E6 Time : 0.0 sec. user=vaughan [2012-02-09 00:11:49] 441*2^1121527-1 is not prime. Res64: 6C24EBCA01A9B1D9 Time : 0.0 sec. user=vaughan [2012-02-09 00:11:50] 447*2^1121517-1 is not prime. Res64: 606EA80D95BE554A Time : 0.0 sec. user=vaughan [2012-02-09 00:11:53] 457*2^1121517-1 is not prime. Res64: C22AC1524C2F7541 Time : 0.0 sec. user=vaughan [2012-02-09 00:12:42] 537*2^1121517-1 is not prime. Res64: 9930AF0E9A3F6C0D Time : 0.0 sec. user=vaughan [2012-02-09 00:12:44] 577*2^1121517-1 is not prime. Res64: EA4B9D983F0C1283 Time : 0.0 sec. user=vaughan [2012-02-09 00:13:05] 425*2^1121532-1 is not prime. Res64: 51654B8520364D07 Time : 0.0 sec. user=vaughan [2012-02-09 00:13:06] 539*2^1121532-1 is not prime. Res64: 7507CF268F87E705 Time : 0.0 sec. user=vaughan [2012-02-09 00:13:06] 563*2^1121532-1 is not prime. Res64: EAD5E9BD5AD18D21 Time : 0.0 sec. user=vaughan [2012-02-09 00:13:06] 465*2^1121533-1 is not prime. Res64: 0653B71E5F5C6459 Time : 0.0 sec. user=vaughan [2012-02-09 00:13:07] 561*2^1121518-1 is not prime. Res64: 44A97DC66D095F24 Time : 0.0 sec. user=vaughan [2012-02-09 00:13:08] 439*2^1121533-1 is not prime. Res64: 5695DDB4EC3475F3 Time : 0.0 sec. user=vaughan [2012-02-09 00:13:10] 597*2^1121533-1 is not prime. Res64: 7844F3B1CE4517B9 Time : 0.0 sec. user=vaughan [2012-02-09 00:13:11] 591*2^1121518-1 is not prime. Res64: 5E7BB8EF169EF9A5 Time : 0.0 sec. user=vaughan [2012-02-09 00:13:12] 489*2^1121531-1 is not prime. Res64: 544F2533C2E6C5C3 Time : 0.0 sec. user=vaughan [2012-02-09 00:13:14] 571*2^1121531-1 is not prime. Res64: D5E5F72BEDCED29E Time : 0.0 sec. user=vaughan [2012-02-09 00:16:30] 441*2^1121537-1 is not prime. Res64: B1A4E5E0262A030C Time : 0.0 sec. user=vaughan [2012-02-09 00:16:31] 417*2^1121538-1 is not prime. Res64: A400EC950EC96B4D Time : 0.0 sec. user=vaughan [2012-02-09 00:17:41] 423*2^1121538-1 is not prime. Res64: 45EE5C8459153C5D Time : 0.0 sec. user=vaughan [2012-02-09 00:17:42] 431*2^1121538-1 is not prime. Res64: 7C0243E9DC289B76 Time : 0.0 sec. user=vaughan [2012-02-09 00:18:00] 543*2^1121544-1 is not prime. Res64: F932CCBD8E568FFF Time : 0.0 sec. user=vaughan [2012-02-09 00:18:00] 563*2^1121544-1 is not prime. Res64: 1E385B74F2803991 Time : 0.0 sec. user=vaughan [2012-02-09 00:18:11] 427*2^1121545-1 is not prime. Res64: 781E0B1A405D4E23 Time : 0.0 sec. user=vaughan [2012-02-09 00:18:12] 441*2^1121545-1 is not prime. Res64: F951B958BA6B806D Time : 0.0 sec. user=vaughan [2012-02-09 00:18:14] 471*2^1121545-1 is not prime. Res64: E19DE1FA7D1FA613 Time : 0.0 sec. user=vaughan [2012-02-09 00:18:14] 531*2^1121545-1 is not prime. Res64: D39C6015D312B9F0 Time : 0.0 sec. user=juhehe [2012-02-09 00:19:00] 441*2^1121539-1 is not prime. Res64: 785B7B5887EF8CA4 Time : 0.0 sec. user=juhehe [2012-02-09 00:19:27] 531*2^1121539-1 is not prime. Res64: 8DD4E1CD22CE9897 Time : 0.0 sec. user=vaughan [2012-02-09 00:22:46] 589*2^1121539-1 is not prime. Res64: 8868A51630F3A7B5 Time : 0.0 sec. user=vaughan [2012-02-09 00:22:47] 557*2^1121540-1 is not prime. Res64: D08CCD9F127E69E3 Time : 0.0 sec. user=vaughan [2012-02-09 00:24:49] 487*2^1121541-1 is not prime. Res64: 5ED7D52C70113A5E Time : 0.0 sec. user=vaughan [2012-02-09 00:24:49] 517*2^1121541-1 is not prime. Res64: 65317606F106D9F7 Time : 0.0 sec. user=vaughan [2012-02-09 00:24:57] 435*2^1121542-1 is not prime. Res64: 1A4C7E58D8E67537 Time : 0.0 sec. user=vaughan [2012-02-09 00:24:57] 581*2^1121542-1 is not prime. Res64: D368DC0D8730A4EE Time : 0.0 sec. user=vaughan [2012-02-09 00:25:30] 411*2^1121543-1 is not prime. Res64: 86197BFEEAFF9FBC Time : 0.0 sec. user=vaughan [2012-02-09 00:25:30] 441*2^1121543-1 is not prime. Res64: 9C5AA2FB967ED7FB Time : 0.0 sec. user=vaughan [2012-02-09 00:27:27] 511*2^1121543-1 is not prime. Res64: 3D11F854E767AB2B Time : 0.0 sec. user=vaughan [2012-02-09 00:27:27] 519*2^1121543-1 is not prime. Res64: B1514187572776EC Time : 0.0 sec. user=vaughan [2012-02-09 00:27:47] 525*2^1121543-1 is not prime. Res64: 6363EABD841FC6E4 Time : 0.0 sec. user=vaughan [2012-02-09 00:27:48] 589*2^1121543-1 is not prime. Res64: 2B6FE34CAE5EF88E Time : 0.0 sec. user=vaughan [2012-02-09 00:28:37] 495*2^1121546-1 is not prime. Res64: 03E818610FEF3F76 Time : 0.0 sec. user=vaughan [2012-02-09 00:28:38] 531*2^1121546-1 is not prime. Res64: D6791C6CFC32A905 Time : 0.0 sec. user=vaughan [2012-02-09 00:38:28] 505*2^1121527-1 is not prime. Res64: 2D1043DDA46F1578 Time : 0.0 sec. user=vaughan [2012-02-09 00:38:29] 579*2^1121527-1 is not prime. Res64: 4EDF98FD99241DC7 Time : 0.0 sec. user=vaughan [2012-02-09 00:38:29] 459*2^1121528-1 is not prime. Res64: FF5321D5E0DFA5E1 Time : 0.0 sec. user=vaughan [2012-02-09 00:39:03] 557*2^1121528-1 is not prime. Res64: 0B617EC3B3B28156 Time : 0.0 sec. user=vaughan [2012-02-09 00:39:03] 573*2^1121528-1 is not prime. Res64: 7C258A926AEFE862 Time : 0.0 sec. user=vaughan [2012-02-09 00:39:04] 425*2^1121530-1 is not prime. Res64: 5521A265AA1B70D8 Time : 0.0 sec. user=vaughan [2012-02-09 00:39:16] 471*2^1121530-1 is not prime. Res64: 8B5BBF4403D132A8 Time : 0.0 sec. user=vaughan [2012-02-09 00:39:16] 581*2^1121530-1 is not prime. Res64: F2527712765C86EC Time : 0.0 sec. user=vaughan [2012-02-09 00:39:17] 409*2^1121531-1 is not prime. Res64: AC92BF0B11E50ACB Time : 0.0 sec. user=vaughan [2012-02-09 00:39:52] 423*2^1121560-1 is not prime. Res64: 3F00D9710A667F02 Time : 0.0 sec. user=vaughan [2012-02-09 00:39:52] 519*2^1121560-1 is not prime. Res64: 790BF675A34E0BE6 Time : 0.0 sec. user=vaughan [2012-02-09 00:40:01] 587*2^1121560-1 is not prime. Res64: AA9FB2A56D3C085D Time : 0.0 sec. user=vaughan [2012-02-09 00:40:02] 459*2^1121561-1 is not prime. Res64: 1CEC4BDE3449F510 Time : 0.0 sec. user=vaughan [2012-02-09 00:40:06] 487*2^1121561-1 is not prime. Res64: 7D8C4BDF182B7E38 Time : 0.0 sec. user=vaughan [2012-02-09 00:40:07] 489*2^1121561-1 is not prime. Res64: 08DCE665F10AA008 Time : 0.0 sec. user=vaughan [2012-02-09 00:43:36] 581*2^1121546-1 is not prime. Res64: 6472AF3C6AE3C727 Time : 0.0 sec. user=vaughan [2012-02-09 00:43:37] 471*2^1121547-1 is not prime. Res64: ACA016E131D73A41 Time : 0.0 sec. user=vaughan [2012-02-09 00:45:13] 529*2^1121547-1 is not prime. Res64: 650FCDCD8976396F Time : 0.0 sec. user=vaughan [2012-02-09 00:45:14] 531*2^1121547-1 is not prime. Res64: 86E48A428354D504 Time : 0.0 sec. user=vaughan [2012-02-09 00:45:51] 549*2^1121547-1 is not prime. Res64: F62BB13A7C7DB0A8 Time : 0.0 sec. user=vaughan [2012-02-09 00:45:52] 497*2^1121548-1 is not prime. Res64: CBBA4ABF37C92542 Time : 0.0 sec. user=vaughan [2012-02-09 00:45:55] 539*2^1121548-1 is not prime. Res64: 1900F7D77C8A4B84 Time : 0.0 sec. user=vaughan [2012-02-09 00:45:55] 597*2^1121548-1 is not prime. Res64: B9A9FDE76458E828 Time : 0.0 sec. user=vaughan [2012-02-09 00:49:42] 493*2^1121547-1 is not prime. Res64: D43C2D7FA5E5888C Time : 0.0 sec. user=vaughan [2012-02-09 00:49:42] 523*2^1121547-1 is not prime. Res64: D0EB1F701B1501EC Time : 0.0 sec. user=vaughan [2012-02-09 00:50:26] 545*2^1121564-1 is not prime. Res64: B2B9C17CC57C3F6B Time : 0.0 sec. user=vaughan [2012-02-09 00:50:26] 507*2^1121566-1 is not prime. Res64: F04F510E10FCEDB0 Time : 0.0 sec. user=vaughan [2012-02-09 00:51:22] 511*2^1121549-1 is not prime. Res64: 0501B24B90208AD5 Time : 0.0 sec. user=vaughan [2012-02-09 00:51:22] 405*2^1121550-1 is not prime. Res64: C2504D0BED64ADB3 Time : 0.0 sec. user=juhehe [2012-02-09 00:51:42] 483*2^1121562-1 is not prime. Res64: 54769FBFDD996F6F Time : 0.0 sec. user=juhehe [2012-02-09 00:52:08] 485*2^1121562-1 is not prime. Res64: 48724C04477706C7 Time : 0.0 sec. user=vaughan [2012-02-09 00:52:45] 555*2^1121554-1 is not prime. Res64: E78B55CF9BCA26E3 Time : 0.0 sec. user=vaughan [2012-02-09 00:52:46] 519*2^1121555-1 is not prime. Res64: 2A2C6A9F52EC525B Time : 0.0 sec. user=vaughan [2012-02-09 00:52:47] 497*2^1121554-1 is not prime. Res64: C6AE3F0AB8850D3B Time : 0.0 sec. user=vaughan [2012-02-09 00:52:48] 527*2^1121554-1 is not prime. Res64: 3599EEE0EEAFA2A5 Time : 0.0 sec. user=vaughan [2012-02-09 00:52:50] 405*2^1121558-1 is not prime. Res64: D0E58CE0D2C73947 Time : 0.0 sec. user=vaughan [2012-02-09 00:52:50] 497*2^1121556-1 is not prime. Res64: 4A6B3677C83EA4CB Time : 0.0 sec. user=vaughan [2012-02-09 00:52:51] 417*2^1121558-1 is not prime. Res64: 7CEFE8C117B3C3B8 Time : 0.0 sec. user=vaughan [2012-02-09 00:52:51] 429*2^1121557-1 is not prime. Res64: 7595B5E3F90FAE3D Time : 0.0 sec. user=vaughan [2012-02-09 00:55:44] 501*2^1121562-1 is not prime. Res64: E073935D8F608745 Time : 0.0 sec. user=vaughan [2012-02-09 00:55:45] 563*2^1121562-1 is not prime. Res64: 899CF48061688354 Time : 0.0 sec. user=vaughan [2012-02-09 00:55:57] 515*2^1121558-1 is not prime. Res64: 3C5A41EB906BC375 Time : 0.0 sec. user=vaughan [2012-02-09 00:55:57] 501*2^1121559-1 is not prime. Res64: 671DC079721A1F5F Time : 0.0 sec. user=vaughan [2012-02-09 00:57:09] 549*2^1121559-1 is not prime. Res64: CB974DE657BBAD1D Time : 0.0 sec. user=vaughan [2012-02-09 00:57:10] 407*2^1121560-1 is not prime. Res64: 7057B05983E3A82F Time : 0.0 sec. user=vaughan [2012-02-09 00:57:39] 567*2^1121562-1 is not prime. Res64: 0AF00CC1CADA42F3 Time : 0.0 sec. user=vaughan [2012-02-09 00:57:39] 573*2^1121562-1 is not prime. Res64: C45E26199F720D31 Time : 0.0 sec. user=vaughan [2012-02-09 00:57:54] 429*2^1121563-1 is not prime. Res64: 205D521664B7097A Time : 0.0 sec. user=vaughan [2012-02-09 00:57:54] 441*2^1121563-1 is not prime. Res64: DFA08FC00C0853CF Time : 0.0 sec. user=vaughan [2012-02-09 00:58:23] 425*2^1121564-1 is not prime. Res64: A1362FED7833AD25 Time : 0.0 sec. user=vaughan [2012-02-09 00:58:23] 477*2^1121564-1 is not prime. Res64: 93631CC2A38157B0 Time : 0.0 sec. user=vaughan [2012-02-09 01:01:44] 433*2^1121571-1 is not prime. Res64: 9CCF58E1715CB9A3 Time : 0.0 sec. user=vaughan [2012-02-09 01:01:46] 565*2^1121571-1 is not prime. Res64: FEA9FA6FB850D1C2 Time : 0.0 sec. user=vaughan [2012-02-09 01:01:57] 429*2^1121572-1 is not prime. Res64: AE4E6AAF574F087B Time : 0.0 sec. user=vaughan [2012-02-09 01:01:58] 453*2^1121572-1 is not prime. Res64: A721ADAC0717028F Time : 0.0 sec. user=vaughan [2012-02-09 01:02:04] 507*2^1121572-1 is not prime. Res64: 5F2250AD18F011B1 Time : 0.0 sec. user=vaughan [2012-02-09 01:02:05] 483*2^1121564-1 is not prime. Res64: 378D1AACE55772F1 Time : 0.0 sec. user=vaughan [2012-02-09 01:02:05] 517*2^1121573-1 is not prime. Res64: E732B18885AA2302 Time : 0.0 sec. user=vaughan [2012-02-09 01:02:06] 503*2^1121564-1 is not prime. Res64: 3D1B7FEC7DA70F3D Time : 0.0 sec. user=vaughan [2012-02-09 01:02:24] 507*2^1121564-1 is not prime. Res64: B9C0483CD66E446A Time : 0.0 sec. user=vaughan [2012-02-09 01:02:25] 525*2^1121564-1 is not prime. Res64: 41E5329FC9E68082 Time : 0.0 sec. user=vaughan [2012-02-09 01:05:53] 465*2^1121550-1 is not prime. Res64: 3631B3F447A9CD5C Time : 0.0 sec. user=vaughan [2012-02-09 01:05:54] 521*2^1121550-1 is not prime. Res64: EF33C2455F5C06C8 Time : 0.0 sec. user=vaughan [2012-02-09 01:06:31] 471*2^1121553-1 is not prime. Res64: 5827118561A8AAA8 Time : 0.0 sec. user=vaughan [2012-02-09 01:06:32] 477*2^1121554-1 is not prime. Res64: F7751BDABD4B1230 Time : 0.0 sec. user=vaughan [2012-02-09 01:06:52] 505*2^1121557-1 is not prime. Res64: F99397FACD12EACC Time : 0.0 sec. user=vaughan [2012-02-09 01:06:54] 549*2^1121557-1 is not prime. Res64: FE2A72AE48B46407 Time : 0.0 sec. user=vaughan [2012-02-09 01:11:33] 595*2^1121545-1 is not prime. Res64: 8FF68C4CBCFACA3E Time : 0.0 sec. user=vaughan [2012-02-09 01:11:34] 405*2^1121546-1 is not prime. Res64: 5EA55A56D8FA3072 Time : 0.0 sec. user=vaughan [2012-02-09 01:11:35] 477*2^1121546-1 is not prime. Res64: B1DA0E29CF779914 Time : 0.0 sec. user=vaughan [2012-02-09 01:12:26] 507*2^1121576-1 is not prime. Res64: 9B3F11A8C1367C1F Time : 0.0 sec. user=vaughan [2012-02-09 01:12:27] 501*2^1121577-1 is not prime. Res64: 5544E96D1452759E Time : 0.0 sec. user=vaughan [2012-02-09 01:18:08] 567*2^1121573-1 is not prime. Res64: 871604479E071300 Time : 0.0 sec. user=vaughan [2012-02-09 01:18:09] 483*2^1121574-1 is not prime. Res64: 6F89A4C2A226A3B7 Time : 0.0 sec. user=vaughan [2012-02-09 01:19:49] 411*2^1121575-1 is not prime. Res64: 6BC8CB5119CD6291 Time : 0.0 sec. user=vaughan [2012-02-09 01:19:49] 421*2^1121575-1 is not prime. Res64: F2750A5BFD353709 Time : 0.0 sec. user=vaughan [2012-02-09 01:20:27] 453*2^1121575-1 is not prime. Res64: FE7731AA2AC11B54 Time : 0.0 sec. user=vaughan [2012-02-09 01:20:28] 493*2^1121575-1 is not prime. Res64: A95F04544D40C3B0 Time : 0.0 sec. user=vaughan [2012-02-09 01:20:30] 541*2^1121575-1 is not prime. Res64: 27E8FF6B789164C0 Time : 0.0 sec. user=vaughan [2012-02-09 01:20:31] 553*2^1121575-1 is not prime. Res64: 3F1CFE0FE5DD5A36 Time : 0.0 sec. user=vaughan [2012-02-09 01:23:45] 417*2^1121586-1 is not prime. Res64: 280BA297E8F6783F Time : 0.0 sec. user=vaughan [2012-02-09 01:23:46] 431*2^1121586-1 is not prime. Res64: 894D5C89C7CD8DBC Time : 0.0 sec. user=vaughan [2012-02-09 01:24:07] 437*2^1121586-1 is not prime. Res64: D332FF62E76D3EAF Time : 0.0 sec. user=vaughan [2012-02-09 01:24:08] 501*2^1121586-1 is not prime. Res64: EC60665C5FCCEDED Time : 0.0 sec. user=vaughan [2012-02-09 01:24:12] 465*2^1121587-1 is not prime. Res64: AC7B9DF253157954 Time : 0.0 sec. user=vaughan [2012-02-09 01:24:13] 499*2^1121587-1 is not prime. Res64: D9BAA4EF43CAA824 Time : 0.0 sec. user=juhehe [2012-02-09 01:24:27] 451*2^1121579-1 is not prime. Res64: D06138E7B2F74973 Time : 0.0 sec. user=juhehe [2012-02-09 01:24:55] 501*2^1121579-1 is not prime. Res64: 321246F12613CCBB Time : 0.0 sec. user=vaughan [2012-02-09 01:28:46] 557*2^1121580-1 is not prime. Res64: C5905145DA4B7DDB Time : 0.0 sec. user=vaughan [2012-02-09 01:28:47] 587*2^1121580-1 is not prime. Res64: ECAB4549C3C4E925 Time : 0.0 sec. user=vaughan [2012-02-09 01:29:09] 405*2^1121576-1 is not prime. Res64: 2FB77421355443A6 Time : 0.0 sec. user=vaughan [2012-02-09 01:29:09] 483*2^1121576-1 is not prime. Res64: A8FB66E08DEE7E0A Time : 0.0 sec. user=vaughan [2012-02-09 01:30:32] 567*2^1121582-1 is not prime. Res64: AAB94D4492A4371B Time : 0.0 sec. user=vaughan [2012-02-09 01:30:33] 453*2^1121583-1 is not prime. Res64: B4907F6D5E0E1ECF Time : 0.0 sec. user=vaughan [2012-02-09 01:30:40] 583*2^1121583-1 is not prime. Res64: 4055841CE908DCBD Time : 0.0 sec. user=vaughan [2012-02-09 01:30:41] 591*2^1121583-1 is not prime. Res64: E28143366744E8E1 Time : 0.0 sec. user=vaughan [2012-02-09 01:30:47] 565*2^1121577-1 is not prime. Res64: 84C2DEDD19AC7C3E Time : 0.0 sec. user=vaughan [2012-02-09 01:30:48] 585*2^1121577-1 is not prime. Res64: 80149E3EE2C9D1CA Time : 0.0 sec. user=vaughan [2012-02-09 01:31:17] 447*2^1121585-1 is not prime. Res64: AA8D72BC0D65F043 Time : 0.0 sec. user=vaughan [2012-02-09 01:31:18] 475*2^1121585-1 is not prime. Res64: 171AFD5358E48D89 Time : 0.0 sec. user=vaughan [2012-02-09 01:32:19] 511*2^1121579-1 is not prime. Res64: 22235750EE36AE67 Time : 0.0 sec. user=vaughan [2012-02-09 01:32:20] 531*2^1121579-1 is not prime. Res64: B971BA5DE13EF62B Time : 0.0 sec. user=vaughan [2012-02-09 01:32:25] 455*2^1121580-1 is not prime. Res64: 8C954D11E24EE9CC Time : 0.0 sec. user=vaughan [2012-02-09 01:32:26] 525*2^1121580-1 is not prime. Res64: E0FCB6C5844ECFBA Time : 0.0 sec. user=vaughan [2012-02-09 01:32:26] 467*2^1121580-1 is not prime. Res64: DF3365AAB6DB1737 Time : 0.0 sec. user=vaughan [2012-02-09 01:32:26] 527*2^1121580-1 is not prime. Res64: 84CBD76177CFE394 Time : 0.0 sec. user=vaughan [2012-02-09 01:32:28] 537*2^1121580-1 is not prime. Res64: 15E0ABB2CB1B5651 Time : 0.0 sec. user=vaughan [2012-02-09 01:32:29] 555*2^1121580-1 is not prime. Res64: 4639DCDEF1CB1E40 Time : 0.0 sec. user=vaughan [2012-02-09 01:34:16] 435*2^1121593-1 is not prime. Res64: BDFBCA5AFAC34E5F Time : 0.0 sec. user=vaughan [2012-02-09 01:34:17] 489*2^1121593-1 is not prime. Res64: 8C08E49843FE4CE1 Time : 0.0 sec. user=vaughan [2012-02-09 01:35:21] 415*2^1121581-1 is not prime. Res64: 571B03B5A35F1E77 Time : 0.0 sec. user=vaughan [2012-02-09 01:35:22] 489*2^1121581-1 is not prime. Res64: 004CA62AD91ABCFB Time : 0.0 sec. user=vaughan [2012-02-09 01:36:39] 513*2^1121586-1 is not prime. Res64: B3699DC8A984098E Time : 0.0 sec. user=vaughan [2012-02-09 01:36:40] 567*2^1121586-1 is not prime. Res64: 0BF58195E90FB5F4 Time : 0.0 sec. user=vaughan [2012-02-09 01:36:43] 417*2^1121582-1 is not prime. Res64: 062274FDF99BDF11 Time : 0.0 sec. user=vaughan [2012-02-09 01:36:43] 483*2^1121582-1 is not prime. Res64: 34F9419D159309C3 Time : 0.0 sec. user=vaughan [2012-02-09 01:37:01] 511*2^1121587-1 is not prime. Res64: BB398CE792597E6A Time : 0.0 sec. user=vaughan [2012-02-09 01:37:02] 549*2^1121587-1 is not prime. Res64: D4A213CF6F3AC4CA Time : 0.0 sec. user=vaughan [2012-02-09 01:44:28] 559*2^1121567-1 is not prime. Res64: F85549AA26764CB0 Time : 0.0 sec. user=vaughan [2012-02-09 01:44:29] 571*2^1121567-1 is not prime. Res64: 437D28B368662014 Time : 0.0 sec. user=vaughan [2012-02-09 01:44:30] 585*2^1121567-1 is not prime. Res64: 599E7F0666F1C189 Time : 0.0 sec. user=vaughan [2012-02-09 01:45:03] 413*2^1121568-1 is not prime. Res64: 57CD235FD9CAF9C2 Time : 0.0 sec. user=vaughan [2012-02-09 01:45:04] 513*2^1121568-1 is not prime. Res64: B2EB93F66A8E3E1C Time : 0.0 sec. user=vaughan [2012-02-09 01:45:04] 585*2^1121568-1 is not prime. Res64: 7B3E85A9801D57BD Time : 0.0 sec. user=vaughan [2012-02-09 01:45:21] 549*2^1121569-1 is not prime. Res64: C77A4E3BA761673C Time : 0.0 sec. user=vaughan [2012-02-09 01:45:21] 567*2^1121569-1 is not prime. Res64: 33263285A95A8F9F Time : 0.0 sec. user=vaughan [2012-02-09 01:45:22] 525*2^1121570-1 is not prime. Res64: C82B356058D452CB Time : 0.0 sec. user=vaughan [2012-02-09 01:45:47] 449*2^1121596-1 is not prime. Res64: 6FDBFCF2AAFEEAED Time : 0.0 sec. user=vaughan [2012-02-09 01:45:47] 483*2^1121596-1 is not prime. Res64: 09646095E3BB3214 Time : 0.0 sec. user=vaughan [2012-02-09 01:46:03] 495*2^1121596-1 is not prime. Res64: F903B96CD0997F6B Time : 0.0 sec. user=vaughan [2012-02-09 01:46:03] 507*2^1121596-1 is not prime. Res64: C55A804FA26A70EB Time : 0.0 sec. user=vaughan [2012-02-09 01:46:10] 575*2^1121596-1 is not prime. Res64: F37BCC20C9048F39 Time : 0.0 sec. user=vaughan [2012-02-09 01:46:11] 475*2^1121597-1 is not prime. Res64: 5667812DF6B04CE9 Time : 0.0 sec. user=vaughan [2012-02-09 01:52:37] 537*2^1121593-1 is not prime. Res64: F43A04C65570F560 Time : 0.0 sec. user=vaughan [2012-02-09 01:52:37] 555*2^1121593-1 is not prime. Res64: 299A710D3663A179 Time : 0.0 sec. user=vaughan [2012-02-09 01:54:18] 565*2^1121593-1 is not prime. Res64: 99195206F5F29E52 Time : 0.0 sec. user=vaughan [2012-02-09 01:54:18] 435*2^1121594-1 is not prime. Res64: E97BA92016AA5518 Time : 0.0 sec. user=vaughan [2012-02-09 01:55:00] 525*2^1121594-1 is not prime. Res64: 4F5B3916A9B0E9E1 Time : 0.0 sec. user=vaughan [2012-02-09 01:55:00] 531*2^1121594-1 is not prime. Res64: 56896AED5DF1A957 Time : 0.0 sec. user=vaughan [2012-02-09 01:55:04] 409*2^1121595-1 is not prime. Res64: 24B3842566354756 Time : 0.0 sec. user=vaughan [2012-02-09 01:55:04] 429*2^1121596-1 is not prime. Res64: F7B1F103592868F9 Time : 0.0 sec. user=vaughan [2012-02-09 01:56:15] 587*2^1121604-1 is not prime. Res64: 316DC2E0BCC621E4 Time : 0.0 sec. user=vaughan [2012-02-09 01:56:15] 597*2^1121604-1 is not prime. Res64: DA84CA75E2C30610 Time : 0.0 sec. user=juhehe [2012-02-09 01:57:09] 559*2^1121597-1 is not prime. Res64: 89BBA0441AFC732E Time : 0.0 sec. user=juhehe [2012-02-09 01:57:36] 417*2^1121598-1 is not prime. Res64: 8A9B3CEB12FC3FEF Time : 0.0 sec. user=vaughan [2012-02-09 01:59:57] 553*2^1121587-1 is not prime. Res64: C29AA40263560B29 Time : 0.0 sec. user=vaughan [2012-02-09 01:59:57] 583*2^1121587-1 is not prime. Res64: EA30192738755906 Time : 0.0 sec. user=vaughan [2012-02-09 02:00:33] 415*2^1121589-1 is not prime. Res64: 469C5D4A985D5319 Time : 0.0 sec. user=vaughan [2012-02-09 02:00:38] 481*2^1121589-1 is not prime. Res64: AF8913F143443A54 Time : 0.0 sec. user=vaughan [2012-02-09 02:01:26] 437*2^1121590-1 is not prime. Res64: D18C278A84EB7928 Time : 0.0 sec. user=vaughan [2012-02-09 02:01:27] 467*2^1121590-1 is not prime. Res64: 37C12FE2246BE6C7 Time : 0.0 sec. user=vaughan [2012-02-09 02:01:34] 441*2^1121599-1 is not prime. Res64: 4DCDCEB1F3E5B249 Time : 0.0 sec. user=vaughan [2012-02-09 02:01:38] 511*2^1121599-1 is not prime. Res64: FEF8EC860ACB7C2D Time : 0.0 sec. user=vaughan [2012-02-09 02:03:27] 473*2^1121600-1 is not prime. Res64: 75EC0372F8429A41 Time : 0.0 sec. user=vaughan [2012-02-09 02:03:28] 557*2^1121600-1 is not prime. Res64: 1AB2C675F2952914 Time : 0.0 sec. user=vaughan [2012-02-09 02:03:32] 555*2^1121599-1 is not prime. Res64: AFFDB01085AE20A1 Time : 0.0 sec. user=vaughan [2012-02-09 02:03:33] 425*2^1121600-1 is not prime. Res64: D0868620897539CE Time : 0.0 sec. user=vaughan [2012-02-09 02:04:17] 409*2^1121601-1 is not prime. Res64: EF4282CBAA789F2F Time : 0.0 sec. user=vaughan [2012-02-09 02:04:18] 415*2^1121601-1 is not prime. Res64: 70BE8FC5B7E45D9F Time : 0.0 sec. user=vaughan [2012-02-09 02:07:39] 573*2^1121612-1 is not prime. Res64: 5C18C52D80922B7D Time : 0.0 sec. user=vaughan [2012-02-09 02:07:40] 429*2^1121613-1 is not prime. Res64: 03F64ABC062F7582 Time : 0.0 sec. user=vaughan [2012-02-09 02:07:58] 495*2^1121613-1 is not prime. Res64: B375799D95499393 Time : 0.0 sec. user=vaughan [2012-02-09 02:07:59] 565*2^1121613-1 is not prime. Res64: 28960C306D5ABC1D Time : 0.0 sec. user=vaughan [2012-02-09 02:08:04] 401*2^1121614-1 is not prime. Res64: AE671539F97C1F24 Time : 0.0 sec. user=vaughan [2012-02-09 02:08:05] 495*2^1121614-1 is not prime. Res64: 016CBD9B455F6883 Time : 0.0 sec. user=vaughan [2012-02-09 02:08:39] 531*2^1121599-1 is not prime. Res64: 8F0C0484BD066EFE Time : 0.0 sec. user=vaughan [2012-02-09 02:08:40] 549*2^1121599-1 is not prime. Res64: CC19C14E730CC188 Time : 0.0 sec. user=vaughan [2012-02-09 02:10:13] 567*2^1121600-1 is not prime. Res64: 01B50578DA7FEFE0 Time : 0.0 sec. user=vaughan [2012-02-09 02:10:14] 587*2^1121600-1 is not prime. Res64: F6AE07155E9A5F6D Time : 0.0 sec. user=vaughan [2012-02-09 02:11:14] 521*2^1121606-1 is not prime. Res64: 22B4DE80567747BA Time : 0.0 sec. user=vaughan [2012-02-09 02:11:15] 537*2^1121606-1 is not prime. Res64: E4E987105E5830D8 Time : 0.0 sec. user=vaughan [2012-02-09 02:11:32] 549*2^1121608-1 is not prime. Res64: 7648F92CA52C3C1B Time : 0.0 sec. user=vaughan [2012-02-09 02:11:34] 441*2^1121609-1 is not prime. Res64: 164DF9B5D382B0CE Time : 0.0 sec. user=vaughan [2012-02-09 02:11:58] 427*2^1121601-1 is not prime. Res64: C80F90FDF75BF026 Time : 0.0 sec. user=vaughan [2012-02-09 02:12:00] 471*2^1121601-1 is not prime. Res64: DFFD409987A6DFDA Time : 0.0 sec. user=vaughan [2012-02-09 02:12:02] 441*2^1121603-1 is not prime. Res64: 07BC154C846DA661 Time : 0.0 sec. user=vaughan [2012-02-09 02:12:04] 517*2^1121601-1 is not prime. Res64: 3B82083A633E67BF Time : 0.0 sec. user=vaughan [2012-02-09 02:12:04] 571*2^1121603-1 is not prime. Res64: 76C3ADF7947B4E8F Time : 0.0 sec. user=vaughan [2012-02-09 02:12:07] 475*2^1121603-1 is not prime. Res64: 7235BBA53008F0E0 Time : 0.0 sec. user=vaughan [2012-02-09 02:12:11] 549*2^1121604-1 is not prime. Res64: 43A4866541F43A30 Time : 0.0 sec. user=vaughan [2012-02-09 02:12:15] 579*2^1121601-1 is not prime. Res64: B07C15173D7ECBCE Time : 0.0 sec. user=vaughan [2012-02-09 02:14:50] 409*2^1121605-1 is not prime. Res64: 20582FA41497A7EE Time : 0.0 sec. user=vaughan [2012-02-09 02:14:50] 511*2^1121605-1 is not prime. Res64: 6FCDCACE34523E70 Time : 0.0 sec. user=vaughan [2012-02-09 02:16:08] 405*2^1121607-1 is not prime. Res64: AC8C0C6BCDBF13A3 Time : 0.0 sec. user=vaughan [2012-02-09 02:16:08] 479*2^1121608-1 is not prime. Res64: FDE326316376DF5F Time : 0.0 sec. user=vaughan [2012-02-09 02:17:34] 453*2^1121591-1 is not prime. Res64: C70E48C1B3E53114 Time : 0.0 sec. user=vaughan [2012-02-09 02:17:35] 437*2^1121592-1 is not prime. Res64: FE69E1CF04BF4A67 Time : 0.0 sec. user=vaughan [2012-02-09 02:17:35] 455*2^1121592-1 is not prime. Res64: 7502C9B7454A0862 Time : 0.0 sec. user=vaughan [2012-02-09 02:18:05] 421*2^1121617-1 is not prime. Res64: A335D66D74E5CBBA Time : 0.0 sec. user=vaughan [2012-02-09 02:18:05] 549*2^1121617-1 is not prime. Res64: 0951F786F718C054 Time : 0.0 sec. user=vaughan [2012-02-09 02:27:14] 561*2^1121614-1 is not prime. Res64: 904208EE7C0CD773 Time : 0.0 sec. user=vaughan [2012-02-09 02:27:15] 421*2^1121615-1 is not prime. Res64: 21F5EEC6E7FF41D0 Time : 0.0 sec. user=vaughan [2012-02-09 02:29:00] 453*2^1121615-1 is not prime. Res64: C179CF7BA79AB470 Time : 0.0 sec. user=vaughan [2012-02-09 02:29:00] 489*2^1121615-1 is not prime. Res64: C14B5D45D1E26231 Time : 0.0 sec. user=vaughan [2012-02-09 02:29:36] 415*2^1121623-1 is not prime. Res64: 49C4FFBD798E996E Time : 0.0 sec. user=vaughan [2012-02-09 02:29:37] 429*2^1121623-1 is not prime. Res64: 0401DBB4D0240C48 Time : 0.0 sec. user=vaughan [2012-02-09 02:29:42] 531*2^1121615-1 is not prime. Res64: 2379C4A4C0AEC244 Time : 0.0 sec. user=vaughan [2012-02-09 02:29:42] 493*2^1121615-1 is not prime. Res64: 1D0D133B4E6E0105 Time : 0.0 sec. user=vaughan [2012-02-09 02:29:43] 405*2^1121616-1 is not prime. Res64: C0B0A94772ED28EF Time : 0.0 sec. user=vaughan [2012-02-09 02:29:43] 523*2^1121615-1 is not prime. Res64: CD5B06090F9FEEBF Time : 0.0 sec. user=juhehe [2012-02-09 02:29:48] 425*2^1121618-1 is not prime. Res64: A2AA75C54A75B428 Time : 0.0 sec. user=vaughan [2012-02-09 02:29:52] 439*2^1121623-1 is not prime. Res64: CC205A9F911FF588 Time : 0.0 sec. user=vaughan [2012-02-09 02:29:53] 499*2^1121623-1 is not prime. Res64: 4C07E2B8959FDCC5 Time : 0.0 sec. user=vaughan [2012-02-09 02:30:06] 573*2^1121623-1 is not prime. Res64: 539F2179E64B1AA7 Time : 0.0 sec. user=vaughan [2012-02-09 02:30:08] 417*2^1121624-1 is not prime. Res64: FC303C64D68A88F8 Time : 0.0 sec. user=juhehe [2012-02-09 02:30:14] 453*2^1121618-1 is not prime. Res64: D47E9CFC81F3E5B7 Time : 0.0 sec. user=vaughan [2012-02-09 02:34:35] 441*2^1121621-1 is not prime. Res64: 542CFC7351A308E3 Time : 0.0 sec. user=vaughan [2012-02-09 02:34:36] 465*2^1121621-1 is not prime. Res64: 77B592E80C918807 Time : 0.0 sec. user=vaughan [2012-02-09 02:36:21] 475*2^1121621-1 is not prime. Res64: AEE4EB39A2693664 Time : 0.0 sec. user=vaughan [2012-02-09 02:36:22] 537*2^1121621-1 is not prime. Res64: FE680D38C61C4BBD Time : 0.0 sec. user=vaughan [2012-02-09 02:36:29] 549*2^1121621-1 is not prime. Res64: 0218519707DD097A Time : 0.0 sec. user=vaughan [2012-02-09 02:36:30] 437*2^1121622-1 is not prime. Res64: D0F63F10722F837A Time : 0.0 sec. user=vaughan [2012-02-09 02:37:14] 525*2^1121622-1 is not prime. Res64: B2EBC4C100F0E8F5 Time : 0.0 sec. user=vaughan [2012-02-09 02:37:15] 573*2^1121622-1 is not prime. Res64: 6CDB416079D02F88 Time : 0.0 sec. user=vaughan [2012-02-09 02:39:56] 455*2^1121630-1 is not prime. Res64: A908A2C9DB8E69F2 Time : 0.0 sec. user=vaughan [2012-02-09 02:39:57] 515*2^1121630-1 is not prime. Res64: C7C849E62378D783 Time : 0.0 sec. user=vaughan [2012-02-09 02:45:50] 557*2^1121624-1 is not prime. Res64: E0FC148B405FB097 Time : 0.0 sec. user=vaughan [2012-02-09 02:45:51] 563*2^1121624-1 is not prime. Res64: 025543BA0B75E05C Time : 0.0 sec. user=vaughan [2012-02-09 02:46:16] 599*2^1121624-1 is not prime. Res64: 15E489D4DB1B01E4 Time : 0.0 sec. user=vaughan [2012-02-09 02:46:17] 517*2^1121625-1 is not prime. Res64: D94DC4947A93604B Time : 0.0 sec. user=vaughan [2012-02-09 02:48:08] 423*2^1121624-1 is not prime. Res64: 8C9FCBBCB4DEC64C Time : 0.0 sec. user=vaughan [2012-02-09 02:48:09] 483*2^1121624-1 is not prime. Res64: 705975263E91B798 Time : 0.0 sec. user=vaughan [2012-02-09 02:49:46] 489*2^1121624-1 is not prime. Res64: FBC9B09A73134543 Time : 0.0 sec. user=vaughan [2012-02-09 02:49:47] 507*2^1121624-1 is not prime. Res64: 8FE27742EDB9C18A Time : 0.0 sec. user=vaughan [2012-02-09 02:50:34] 507*2^1121609-1 is not prime. Res64: 79AA439F01A6B12B Time : 0.0 sec. user=vaughan [2012-02-09 02:50:34] 577*2^1121609-1 is not prime. Res64: 20E2645CC288F1D4 Time : 0.0 sec. user=vaughan [2012-02-09 02:50:35] 531*2^1121610-1 is not prime. Res64: 0A3ED5DEF47B93FA Time : 0.0 sec. user=vaughan [2012-02-09 02:51:06] 537*2^1121610-1 is not prime. Res64: 10F13481431696F3 Time : 0.0 sec. user=vaughan [2012-02-09 02:51:06] 411*2^1121611-1 is not prime. Res64: D08A17FAF9102664 Time : 0.0 sec. user=vaughan [2012-02-09 02:51:07] 441*2^1121611-1 is not prime. Res64: B25BC931AD6087EB Time : 0.0 sec. user=vaughan [2012-02-09 02:51:20] 535*2^1121611-1 is not prime. Res64: 659B4F396D29B542 Time : 0.0 sec. user=vaughan [2012-02-09 02:51:21] 425*2^1121612-1 is not prime. Res64: 7692D8D1A8DF8435 Time : 0.0 sec. user=vaughan [2012-02-09 02:51:22] 557*2^1121612-1 is not prime. Res64: C5174CEFC02F8AB8 Time : 0.0 sec. user=vaughan [2012-02-09 02:51:28] 511*2^1121631-1 is not prime. Res64: 1D56452EE8257E47 Time : 0.0 sec. user=vaughan [2012-02-09 02:51:28] 585*2^1121631-1 is not prime. Res64: 354546F4CCEE653A Time : 0.0 sec. user=vaughan [2012-02-09 02:51:38] 535*2^1121635-1 is not prime. Res64: 29994C0CFEF554D9 Time : 0.0 sec. user=vaughan [2012-02-09 02:51:39] 555*2^1121635-1 is not prime. Res64: FBD0FFC70642B23A Time : 0.0 sec. user=vaughan [2012-02-09 02:51:56] 589*2^1121635-1 is not prime. Res64: 650AA869601AE1BE Time : 0.0 sec. user=vaughan [2012-02-09 02:51:56] 437*2^1121626-1 is not prime. Res64: 736FD3B096D29F78 Time : 0.0 sec. user=vaughan [2012-02-09 02:51:57] 471*2^1121626-1 is not prime. Res64: FAA3DAC6798EDA7C Time : 0.0 sec. user=vaughan [2012-02-09 02:51:57] 479*2^1121636-1 is not prime. Res64: 4861EFA3607ED610 Time : 0.0 sec. user=vaughan [2012-02-09 02:51:58] 551*2^1121626-1 is not prime. Res64: 4CCFDD2BD5283808 Time : 0.0 sec. user=vaughan [2012-02-09 02:51:58] 567*2^1121626-1 is not prime. Res64: 64608AD8D5D1A053 Time : 0.0 sec. user=vaughan [2012-02-09 02:52:05] 497*2^1121626-1 is not prime. Res64: 3206117ECED799FE Time : 0.0 sec. user=vaughan [2012-02-09 02:52:06] 513*2^1121626-1 is not prime. Res64: 0EB1C22E4156BDA6 Time : 0.0 sec. user=vaughan [2012-02-09 02:54:16] 593*2^1121626-1 is not prime. Res64: D692DD5E02E940D0 Time : 0.0 sec. user=vaughan [2012-02-09 02:54:17] 409*2^1121627-1 is not prime. Res64: A74154B38704C126 Time : 0.0 sec. user=vaughan [2012-02-09 02:55:39] 571*2^1121627-1 is not prime. Res64: 524D4B6EB5DC6D7A Time : 0.0 sec. user=vaughan [2012-02-09 02:55:40] 579*2^1121628-1 is not prime. Res64: C431B8C891C67301 Time : 0.0 sec. user=vaughan [2012-02-09 03:01:46] 537*2^1121630-1 is not prime. Res64: DAC77B7F6AFC64AD Time : 0.0 sec. user=vaughan [2012-02-09 03:01:47] 575*2^1121630-1 is not prime. Res64: 47E339E6660BA5EA Time : 0.0 sec. user=vaughan [2012-02-09 03:01:54] 465*2^1121639-1 is not prime. Res64: 39E602B327D327A8 Time : 0.0 sec. user=vaughan [2012-02-09 03:01:55] 501*2^1121639-1 is not prime. Res64: 9F461505C9CD8532 Time : 0.0 sec. user=vaughan [2012-02-09 03:02:10] 483*2^1121619-1 is not prime. Res64: 92FDB0783107DCA7 Time : 0.0 sec. user=vaughan [2012-02-09 03:02:11] 513*2^1121620-1 is not prime. Res64: 3BE51BCFA7903824 Time : 0.0 sec. user=juhehe [2012-02-09 03:02:40] 511*2^1121635-1 is not prime. Res64: 56D43CC3C69C5D3D Time : 0.0 sec. user=vaughan [2012-02-09 03:02:59] 537*2^1121620-1 is not prime. Res64: E4ECA39175316DBF Time : 0.0 sec. user=vaughan [2012-02-09 03:03:00] 563*2^1121620-1 is not prime. Res64: 5E10754D8CD38F34 Time : 0.0 sec. user=juhehe [2012-02-09 03:03:05] 519*2^1121636-1 is not prime. Res64: 8C713E7BAB7D27B9 Time : 0.0 sec. user=vaughan [2012-02-09 03:03:32] 587*2^1121630-1 is not prime. Res64: 05B7E0971429C727 Time : 0.0 sec. user=vaughan [2012-02-09 03:03:33] 475*2^1121631-1 is not prime. Res64: 4A253B0463333C92 Time : 0.0 sec. user=vaughan [2012-02-09 03:03:52] 569*2^1121620-1 is not prime. Res64: 548243D7A2F00746 Time : 0.0 sec. user=vaughan [2012-02-09 03:03:55] 409*2^1121621-1 is not prime. Res64: EAD89AB014874203 Time : 0.0 sec. user=vaughan [2012-02-09 03:04:10] 547*2^1121633-1 is not prime. Res64: FB68B84B0B50B5A4 Time : 0.0 sec. user=vaughan [2012-02-09 03:04:12] 437*2^1121634-1 is not prime. Res64: 89E372F10E1D6CFF Time : 0.0 sec. user=vaughan [2012-02-09 03:04:16] 595*2^1121631-1 is not prime. Res64: A010CC795DF97872 Time : 0.0 sec. user=vaughan [2012-02-09 03:04:18] 483*2^1121632-1 is not prime. Res64: 63CE4E36871AB38D Time : 0.0 sec. user=vaughan [2012-02-09 03:07:36] 525*2^1121636-1 is not prime. Res64: CDF5998108BA238A Time : 0.0 sec. user=vaughan [2012-02-09 03:07:37] 587*2^1121636-1 is not prime. Res64: E5D535FAAD1C6E0D Time : 0.0 sec. user=vaughan [2012-02-09 03:09:14] 593*2^1121636-1 is not prime. Res64: 81533E850A19C109 Time : 0.0 sec. user=vaughan [2012-02-09 03:09:15] 441*2^1121637-1 is not prime. Res64: 5683B36E6805C19A Time : 0.0 sec. user=vaughan [2012-02-09 03:09:30] 495*2^1121637-1 is not prime. Res64: DF22A60FDEF6FA02 Time : 0.0 sec. user=vaughan [2012-02-09 03:09:31] 425*2^1121638-1 is not prime. Res64: 0D617512C5B61EB4 Time : 0.0 sec. user=vaughan [2012-02-09 03:10:07] 551*2^1121638-1 is not prime. Res64: C73675D908C42F43 Time : 0.0 sec. user=vaughan [2012-02-09 03:10:08] 411*2^1121639-1 is not prime. Res64: B765D9936E8FBCC9 Time : 0.0 sec. user=vaughan [2012-02-09 03:13:23] 433*2^1121647-1 is not prime. Res64: 51661B8A40A14043 Time : 0.0 sec. user=vaughan [2012-02-09 03:13:25] 483*2^1121647-1 is not prime. Res64: B0E61161F4DEA099 Time : 0.0 sec. user=vaughan [2012-02-09 03:13:34] 499*2^1121647-1 is not prime. Res64: 155ED20346F12A97 Time : 0.0 sec. user=vaughan [2012-02-09 03:13:35] 467*2^1121648-1 is not prime. Res64: 3494566B38EDA86D Time : 0.0 sec. user=vaughan [2012-02-09 03:13:53] 459*2^1121649-1 is not prime. Res64: 8BA12CB239362A19 Time : 0.0 sec. user=vaughan [2012-02-09 03:13:54] 465*2^1121649-1 is not prime. Res64: E7AC9F525CEC8DD0 Time : 0.0 sec. user=vaughan [2012-02-09 03:20:36] 439*2^1121641-1 is not prime. Res64: C63984453AD41BDA Time : 0.0 sec. user=vaughan [2012-02-09 03:20:37] 465*2^1121641-1 is not prime. Res64: A7EF2E71D671DE6C Time : 0.0 sec. user=vaughan [2012-02-09 03:21:04] 489*2^1121641-1 is not prime. Res64: A9B3A288AD4BE729 Time : 0.0 sec. user=vaughan [2012-02-09 03:21:05] 517*2^1121641-1 is not prime. Res64: 1B70BBD31D63FE13 Time : 0.0 sec. user=vaughan [2012-02-09 03:23:21] 515*2^1121640-1 is not prime. Res64: 1EE9B1ACBE476554 Time : 0.0 sec. user=vaughan [2012-02-09 03:23:22] 563*2^1121640-1 is not prime. Res64: 5A766D97110023E6 Time : 0.0 sec. user=vaughan [2012-02-09 03:23:39] 441*2^1121629-1 is not prime. Res64: 395A44AFDAF0AB8E Time : 0.0 sec. user=vaughan [2012-02-09 03:23:40] 495*2^1121629-1 is not prime. Res64: 84680F3A7CB74C91 Time : 0.0 sec. user=vaughan [2012-02-09 03:23:41] 407*2^1121630-1 is not prime. Res64: F1E1E1C09D355863 Time : 0.0 sec. user=vaughan [2012-02-09 03:23:42] 515*2^1121652-1 is not prime. Res64: 4054B5F6A3272F12 Time : 0.0 sec. user=vaughan [2012-02-09 03:23:43] 587*2^1121652-1 is not prime. Res64: EB07DF390C81CF87 Time : 0.0 sec. user=vaughan [2012-02-09 03:27:36] 533*2^1121642-1 is not prime. Res64: 55AD293DD869FEF2 Time : 0.0 sec. user=vaughan [2012-02-09 03:27:36] 545*2^1121642-1 is not prime. Res64: AA1D6ADD22BC5789 Time : 0.0 sec. user=vaughan [2012-02-09 03:29:12] 561*2^1121642-1 is not prime. Res64: 8EF1FAFAA1840D89 Time : 0.0 sec. user=vaughan [2012-02-09 03:29:13] 411*2^1121643-1 is not prime. Res64: 7FD793D680FC2882 Time : 0.0 sec. user=vaughan [2012-02-09 03:31:33] 507*2^1121649-1 is not prime. Res64: 76E1FB321EFE8823 Time : 0.0 sec. user=vaughan [2012-02-09 03:31:33] 565*2^1121649-1 is not prime. Res64: 9213DA4717D7C373 Time : 0.0 sec. user=vaughan [2012-02-09 03:31:34] 571*2^1121649-1 is not prime. Res64: 84A28E4B8921F84C Time : 0.0 sec. user=vaughan [2012-02-09 03:31:34] 525*2^1121649-1 is not prime. Res64: A3E80B310C971B62 Time : 0.0 sec. user=vaughan [2012-02-09 03:31:42] 411*2^1121651-1 is not prime. Res64: 139A6D71C875BBAA Time : 0.0 sec. user=vaughan [2012-02-09 03:31:43] 489*2^1121651-1 is not prime. Res64: BD555BD5B3F8DD66 Time : 0.0 sec. user=vaughan [2012-02-09 03:33:44] 505*2^1121651-1 is not prime. Res64: D9B78D21EFDC4334 Time : 0.0 sec. user=vaughan [2012-02-09 03:33:47] 565*2^1121651-1 is not prime. Res64: 57645A36E424B36C Time : 0.0 sec. user=vaughan [2012-02-09 03:35:07] 585*2^1121651-1 is not prime. Res64: 5FB1D52C3B37C52D Time : 0.0 sec. user=vaughan [2012-02-09 03:35:08] 595*2^1121651-1 is not prime. Res64: 4E34D5C78A110605 Time : 0.0 sec. user=juhehe [2012-02-09 03:35:09] 469*2^1121655-1 is not prime. Res64: 48A3DFA785F2D10A Time : 0.0 sec. user=vaughan [2012-02-09 03:35:19] 427*2^1121661-1 is not prime. Res64: CF81CE67CFA66C59 Time : 0.0 sec. user=vaughan [2012-02-09 03:35:20] 559*2^1121661-1 is not prime. Res64: A97A60BEDDF1F268 Time : 0.0 sec. user=vaughan [2012-02-09 03:35:30] 435*2^1121662-1 is not prime. Res64: BDF302597A6E374E Time : 0.0 sec. user=vaughan [2012-02-09 03:35:31] 491*2^1121662-1 is not prime. Res64: DC63BBD6381124BC Time : 0.0 sec. user=vaughan [2012-02-09 03:35:48] 525*2^1121662-1 is not prime. Res64: 6BFB5CE880615BD5 Time : 0.0 sec. user=vaughan [2012-02-09 03:35:49] 573*2^1121662-1 is not prime. Res64: A48B88E761838159 Time : 0.0 sec. user=juhehe [2012-02-09 03:36:47] 533*2^1121654-1 is not prime. Res64: B4C6A0B1CAFE8847 Time : 0.0 sec. user=vaughan [2012-02-09 03:37:09] 413*2^1121652-1 is not prime. Res64: 220C984FFD054E69 Time : 0.0 sec. user=vaughan [2012-02-09 03:37:10] 485*2^1121652-1 is not prime. Res64: 5D71ACF5E548205E Time : 0.0 sec. user=vaughan [2012-02-09 03:39:04] 513*2^1121655-1 is not prime. Res64: FB9B9AB7C0A72050 Time : 0.0 sec. user=vaughan [2012-02-09 03:39:04] 523*2^1121655-1 is not prime. Res64: 79AD10C6D5D4C13F Time : 0.0 sec. user=vaughan [2012-02-09 03:39:41] 439*2^1121657-1 is not prime. Res64: 638A6FAB93BD29C6 Time : 0.0 sec. user=vaughan [2012-02-09 03:39:41] 475*2^1121657-1 is not prime. Res64: DF6F965B186598DA Time : 0.0 sec. user=vaughan [2012-02-09 03:39:46] 501*2^1121657-1 is not prime. Res64: F0417887A0754868 Time : 0.0 sec. user=vaughan [2012-02-09 03:39:47] 517*2^1121657-1 is not prime. Res64: B14F0065C09FA835 Time : 0.0 sec. user=vaughan [2012-02-09 03:40:33] 559*2^1121657-1 is not prime. Res64: D6B19C7C2E1003FB Time : 0.0 sec. user=vaughan [2012-02-09 03:40:34] 565*2^1121657-1 is not prime. Res64: 7EB37C9A0DC2ABC3 Time : 0.0 sec. user=vaughan [2012-02-09 03:42:13] 425*2^1121658-1 is not prime. Res64: BF19A5DB17D41977 Time : 0.0 sec. user=vaughan [2012-02-09 03:42:14] 525*2^1121658-1 is not prime. Res64: 229692E08604E543 Time : 0.0 sec. user=vaughan [2012-02-09 03:42:18] 523*2^1121659-1 is not prime. Res64: 52DE999FBE21168A Time : 0.0 sec. user=vaughan [2012-02-09 03:42:19] 423*2^1121660-1 is not prime. Res64: 86DEF3AAAF0183A4 Time : 0.0 sec. user=vaughan [2012-02-09 03:43:06] 459*2^1121660-1 is not prime. Res64: 5CF57AF505298C44 Time : 0.0 sec. user=vaughan [2012-02-09 03:43:06] 477*2^1121660-1 is not prime. Res64: 094B43602921325C Time : 0.0 sec. user=vaughan [2012-02-09 03:45:33] 587*2^1121664-1 is not prime. Res64: 2853551AFDE71BAD Time : 0.0 sec. user=vaughan [2012-02-09 03:45:33] 411*2^1121665-1 is not prime. Res64: 376A6EE6ADEFCB19 Time : 0.0 sec. user=vaughan [2012-02-09 03:56:26] 423*2^1121663-1 is not prime. Res64: 145736E4261F55DB Time : 0.0 sec. user=vaughan [2012-02-09 03:56:26] 465*2^1121663-1 is not prime. Res64: 19F3DDC895DE8040 Time : 0.0 sec. user=vaughan [2012-02-09 03:56:44] 465*2^1121643-1 is not prime. Res64: DF8D63C087B93BAF Time : 0.0 sec. user=vaughan [2012-02-09 03:56:45] 553*2^1121643-1 is not prime. Res64: 5B2460DEE9B071E6 Time : 0.0 sec. user=vaughan [2012-02-09 03:56:46] 595*2^1121643-1 is not prime. Res64: 06C933A1FF6F3278 Time : 0.0 sec. user=vaughan [2012-02-09 03:56:55] 525*2^1121663-1 is not prime. Res64: C2A4547FB4195326 Time : 0.0 sec. user=vaughan [2012-02-09 03:56:56] 591*2^1121663-1 is not prime. Res64: C7C45F65782A2931 Time : 0.0 sec. user=vaughan [2012-02-09 03:57:07] 435*2^1121644-1 is not prime. Res64: 2490AAA6E211FB8F Time : 0.0 sec. user=vaughan [2012-02-09 03:57:08] 497*2^1121644-1 is not prime. Res64: 6C661109DE76148F Time : 0.0 sec. user=vaughan [2012-02-09 03:57:09] 563*2^1121644-1 is not prime. Res64: F3F04F38250B01C2 Time : 0.0 sec. user=vaughan [2012-02-09 03:57:11] 405*2^1121670-1 is not prime. Res64: 665E28EBA2466267 Time : 0.0 sec. user=vaughan [2012-02-09 03:57:12] 411*2^1121670-1 is not prime. Res64: 40E28D21E5675372 Time : 0.0 sec. user=vaughan [2012-02-09 03:57:28] 421*2^1121645-1 is not prime. Res64: 350133E25EAA48F6 Time : 0.0 sec. user=vaughan [2012-02-09 03:57:28] 577*2^1121645-1 is not prime. Res64: D909D1802EA405F7 Time : 0.0 sec. user=vaughan [2012-02-09 03:57:29] 527*2^1121646-1 is not prime. Res64: B5C080469B008CB0 Time : 0.0 sec. user=vaughan [2012-02-09 03:57:30] 447*2^1121670-1 is not prime. Res64: 0E309DB629A819EB Time : 0.0 sec. user=vaughan [2012-02-09 03:57:31] 471*2^1121670-1 is not prime. Res64: 49D9AC48B9542DB8 Time : 0.0 sec. user=vaughan [2012-02-09 03:57:50] 421*2^1121671-1 is not prime. Res64: 02A46AD0F2711842 Time : 0.0 sec. user=vaughan [2012-02-09 03:57:50] 453*2^1121671-1 is not prime. Res64: 97820700616BE2A9 Time : 0.0 sec. user=vaughan [2012-02-09 04:02:59] 503*2^1121664-1 is not prime. Res64: ABC3DD2FEA44AC44 Time : 0.0 sec. user=vaughan [2012-02-09 04:02:59] 507*2^1121664-1 is not prime. Res64: E26A60108D20FE1E Time : 0.0 sec. user=vaughan [2012-02-09 04:07:04] 457*2^1121665-1 is not prime. Res64: EF32023FAE9B54F2 Time : 0.0 sec. user=vaughan [2012-02-09 04:07:06] 567*2^1121665-1 is not prime. Res64: 8974F405A5B68B23 Time : 0.0 sec. user=vaughan [2012-02-09 04:07:22] 545*2^1121678-1 is not prime. Res64: 379A40618C37505C Time : 0.0 sec. user=vaughan [2012-02-09 04:07:23] 415*2^1121679-1 is not prime. Res64: A96DA7BF3266D8F3 Time : 0.0 sec. user=juhehe [2012-02-09 04:07:47] 561*2^1121669-1 is not prime. Res64: AB7A93E8DE63C2E5 Time : 0.0 sec. user=vaughan [2012-02-09 04:08:31] 555*2^1121653-1 is not prime. Res64: 4D55E20A6AF9FCCD Time : 0.0 sec. user=vaughan [2012-02-09 04:08:32] 503*2^1121654-1 is not prime. Res64: CE640A1D6032C44D Time : 0.0 sec. user=vaughan [2012-02-09 04:08:37] 595*2^1121665-1 is not prime. Res64: 0853B0F16BB97A41 Time : 0.0 sec. user=vaughan [2012-02-09 04:08:40] 417*2^1121666-1 is not prime. Res64: 98ADACAD538DF92A Time : 0.0 sec. user=vaughan [2012-02-09 04:09:10] 441*2^1121655-1 is not prime. Res64: AE94AB70755A141A Time : 0.0 sec. user=vaughan [2012-02-09 04:09:11] 459*2^1121655-1 is not prime. Res64: AA0EAF9E59A20542 Time : 0.0 sec. user=juhehe [2012-02-09 04:09:31] 437*2^1121672-1 is not prime. Res64: 07D33DEE5846EB05 Time : 0.0 sec. user=vaughan [2012-02-09 04:10:14] 437*2^1121656-1 is not prime. Res64: 52273E80B31EE55C Time : 0.0 sec. user=vaughan [2012-02-09 04:10:18] 593*2^1121656-1 is not prime. Res64: A508037744ABD47E Time : 0.0 sec. user=vaughan [2012-02-09 04:11:09] 507*2^1121666-1 is not prime. Res64: B24622D922B3A892 Time : 0.0 sec. user=vaughan [2012-02-09 04:11:12] 525*2^1121666-1 is not prime. Res64: FBD1606DA02D9A19 Time : 0.0 sec. user=vaughan [2012-02-09 04:11:13] 493*2^1121667-1 is not prime. Res64: 10E32ADF945EA67B Time : 0.0 sec. user=vaughan [2012-02-09 04:11:14] 511*2^1121667-1 is not prime. Res64: 7999B5E30FBE8A0F Time : 0.0 sec. user=vaughan [2012-02-09 04:11:20] 419*2^1121668-1 is not prime. Res64: 73C96B3C73E4A86A Time : 0.0 sec. user=vaughan [2012-02-09 04:11:22] 497*2^1121668-1 is not prime. Res64: 3ECFC9B8CF35D6FA Time : 0.0 sec. user=vaughan [2012-02-09 04:13:13] 515*2^1121672-1 is not prime. Res64: D999D91C183252E1 Time : 0.0 sec. user=vaughan [2012-02-09 04:13:14] 457*2^1121673-1 is not prime. Res64: 66729DF53E3361AB Time : 0.0 sec. user=vaughan [2012-02-09 04:13:20] 563*2^1121668-1 is not prime. Res64: DD7242707CBDD71A Time : 0.0 sec. user=vaughan [2012-02-09 04:13:21] 527*2^1121676-1 is not prime. Res64: E5C31630E0232028 Time : 0.0 sec. user=vaughan [2012-02-09 04:13:21] 421*2^1121669-1 is not prime. Res64: 66B16EEE30870949 Time : 0.0 sec. user=vaughan [2012-02-09 04:13:22] 539*2^1121676-1 is not prime. Res64: 4B72531F8B6B0592 Time : 0.0 sec. user=vaughan [2012-02-09 04:14:35] 445*2^1121669-1 is not prime. Res64: EC8A2CD2362CB876 Time : 0.0 sec. user=vaughan [2012-02-09 04:14:36] 487*2^1121669-1 is not prime. Res64: 63B3747B27D92B8F Time : 0.0 sec. user=vaughan [2012-02-09 04:15:09] 579*2^1121676-1 is not prime. Res64: 0A9327FB76E10918 Time : 0.0 sec. user=vaughan [2012-02-09 04:15:09] 549*2^1121673-1 is not prime. Res64: 39225A2C0B230717 Time : 0.0 sec. user=vaughan [2012-02-09 04:15:09] 593*2^1121676-1 is not prime. Res64: E40EE89337B7694D Time : 0.0 sec. user=vaughan [2012-02-09 04:15:10] 453*2^1121674-1 is not prime. Res64: 3C1CA78D827B11F1 Time : 0.0 sec. user=vaughan [2012-02-09 04:15:13] 597*2^1121676-1 is not prime. Res64: A39929D0E310515B Time : 0.0 sec. user=vaughan [2012-02-09 04:15:14] 427*2^1121677-1 is not prime. Res64: E7B8EA079FC1F0AB Time : 0.0 sec. user=vaughan [2012-02-09 04:15:46] 477*2^1121674-1 is not prime. Res64: 79679788FBAE9673 Time : 0.0 sec. user=vaughan [2012-02-09 04:15:46] 405*2^1121676-1 is not prime. Res64: 55BEA68E6AE0FF8F Time : 0.0 sec. user=vaughan [2012-02-09 04:15:51] 483*2^1121676-1 is not prime. Res64: C0BFA5BA76C21A39 Time : 0.0 sec. user=vaughan [2012-02-09 04:15:51] 503*2^1121676-1 is not prime. Res64: 2EBB40D2BD7ED0F1 Time : 0.0 sec. user=vaughan [2012-02-09 04:16:05] 425*2^1121678-1 is not prime. Res64: 02E2AFE062328EDB Time : 0.0 sec. user=vaughan [2012-02-09 04:16:06] 467*2^1121678-1 is not prime. Res64: E83D5B8E3DA0F2DC Time : 0.0 sec. user=vaughan [2012-02-09 04:19:08] 429*2^1121683-1 is not prime. Res64: 8AFE22558EAEDCE8 Time : 0.0 sec. user=vaughan [2012-02-09 04:19:08] 499*2^1121683-1 is not prime. Res64: EFEE33FE685A5F2A Time : 0.0 sec. user=vaughan [2012-02-09 04:19:23] 507*2^1121685-1 is not prime. Res64: 5B4239674D26BC20 Time : 0.0 sec. user=vaughan [2012-02-09 04:19:24] 581*2^1121686-1 is not prime. Res64: E56A1CB7878A24D9 Time : 0.0 sec. user=vaughan [2012-02-09 04:19:45] 591*2^1121686-1 is not prime. Res64: 8020E8057611719A Time : 0.0 sec. user=vaughan [2012-02-09 04:19:45] 451*2^1121687-1 is not prime. Res64: A668119F3E0797D8 Time : 0.0 sec. user=vaughan [2012-02-09 04:29:14] 509*2^1121688-1 is not prime. Res64: 2CC97D58E994C0A6 Time : 0.0 sec. user=vaughan [2012-02-09 04:29:15] 557*2^1121688-1 is not prime. Res64: 22CA1F86C40E2E13 Time : 0.0 sec. user=vaughan [2012-02-09 04:29:37] 513*2^1121664-1 is not prime. Res64: 9DE1C37841AFCBF5 Time : 0.0 sec. user=vaughan [2012-02-09 04:29:38] 527*2^1121664-1 is not prime. Res64: 0CA2EEBD481E1776 Time : 0.0 sec. user=vaughan [2012-02-09 04:29:38] 549*2^1121664-1 is not prime. Res64: 5F3C732A170DCC42 Time : 0.0 sec. user=vaughan [2012-02-09 04:32:56] 451*2^1121679-1 is not prime. Res64: 4FE654B8EEA7F7E3 Time : 0.0 sec. user=vaughan [2012-02-09 04:32:57] 465*2^1121679-1 is not prime. Res64: 2511590405AEBA6B Time : 0.0 sec. user=vaughan [2012-02-09 04:33:26] 549*2^1121681-1 is not prime. Res64: 71F5295798E5638C Time : 0.0 sec. user=vaughan [2012-02-09 04:33:28] 579*2^1121681-1 is not prime. Res64: A9D412151866A889 Time : 0.0 sec. user=juhehe [2012-02-09 04:40:27] 569*2^1121688-1 is not prime. Res64: F63101EBACDB1260 Time : 0.0 sec. user=vaughan [2012-02-09 04:41:03] 597*2^1121700-1 is not prime. Res64: 0C376532C3C970F0 Time : 0.0 sec. user=vaughan [2012-02-09 04:41:04] 471*2^1121701-1 is not prime. Res64: 7ABCE944F3CEE18C Time : 0.0 sec. user=vaughan [2012-02-09 04:41:29] 423*2^1121703-1 is not prime. Res64: D6C0F8E3BE03F07B Time : 0.0 sec. user=vaughan [2012-02-09 04:41:30] 501*2^1121703-1 is not prime. Res64: 0FC7166264DEA9FD Time : 0.0 sec. user=vaughan [2012-02-09 04:41:38] 437*2^1121704-1 is not prime. Res64: BD5A6C96D9E52880 Time : 0.0 sec. user=vaughan [2012-02-09 04:41:39] 447*2^1121704-1 is not prime. Res64: 1376F5AFB7E36B9A Time : 0.0 sec. user=juhehe [2012-02-09 04:42:12] 493*2^1121691-1 is not prime. Res64: 5DBD0FC8FA4F226B Time : 0.0 sec. user=vaughan [2012-02-09 04:42:33] 505*2^1121687-1 is not prime. Res64: 4CE84AA51B742380 Time : 0.0 sec. user=vaughan [2012-02-09 04:42:33] 523*2^1121687-1 is not prime. Res64: 4DEBE399379AA7C8 Time : 0.0 sec. user=vaughan [2012-02-09 04:46:15] 587*2^1121694-1 is not prime. Res64: 72914CF89A98D309 Time : 0.0 sec. user=vaughan [2012-02-09 04:46:16] 405*2^1121695-1 is not prime. Res64: 61114E6C5A149543 Time : 0.0 sec. user=vaughan [2012-02-09 04:46:44] 531*2^1121687-1 is not prime. Res64: A69A84192575C5E7 Time : 0.0 sec. user=vaughan [2012-02-09 04:46:45] 479*2^1121688-1 is not prime. Res64: 1191FBD92D47B603 Time : 0.0 sec. user=vaughan [2012-02-09 04:48:06] 503*2^1121696-1 is not prime. Res64: 06FE0D35B326FD47 Time : 0.0 sec. user=vaughan [2012-02-09 04:48:07] 405*2^1121698-1 is not prime. Res64: EE397AF997CBC12A Time : 0.0 sec. user=vaughan [2012-02-09 04:48:07] 563*2^1121696-1 is not prime. Res64: 022145D839532BF9 Time : 0.0 sec. user=vaughan [2012-02-09 04:48:07] 555*2^1121698-1 is not prime. Res64: 1AF3B377C1A59CAA Time : 0.0 sec. user=vaughan [2012-02-09 04:48:20] 555*2^1121689-1 is not prime. Res64: 46501E1A3BAFC377 Time : 0.0 sec. user=vaughan [2012-02-09 04:48:20] 559*2^1121689-1 is not prime. Res64: 18B5EE7B65CE2F2E Time : 0.0 sec. user=vaughan [2012-02-09 04:49:03] 513*2^1121700-1 is not prime. Res64: F3D8C1A551D1AD9A Time : 0.0 sec. user=vaughan [2012-02-09 04:49:04] 549*2^1121700-1 is not prime. Res64: 8F322309CC58B3C3 Time : 0.0 sec. user=vaughan [2012-02-09 04:49:58] 565*2^1121693-1 is not prime. Res64: 97A7F1BECCFB32CA Time : 0.0 sec. user=vaughan [2012-02-09 04:49:58] 551*2^1121694-1 is not prime. Res64: 6FD424BFCA1F82F0 Time : 0.0 sec. user=vaughan [2012-02-09 04:50:51] 453*2^1121692-1 is not prime. Res64: 11FBBC0FB43BCACA Time : 0.0 sec. user=vaughan [2012-02-09 04:50:51] 537*2^1121692-1 is not prime. Res64: 8A2F2BAF74B99020 Time : 0.0 sec. user=vaughan [2012-02-09 04:50:52] 533*2^1121692-1 is not prime. Res64: B27CEEA24B52AEA2 Time : 0.0 sec. user=vaughan [2012-02-09 04:50:52] 411*2^1121693-1 is not prime. Res64: 1A29773784493DEA Time : 0.0 sec. user=vaughan [2012-02-09 04:51:02] 439*2^1121693-1 is not prime. Res64: E35B7D2400A133AD Time : 0.0 sec. user=vaughan [2012-02-09 04:51:02] 559*2^1121693-1 is not prime. Res64: E8521C3B7F2C3AD9 Time : 0.0 sec. user=vaughan [2012-02-09 04:51:20] 483*2^1121704-1 is not prime. Res64: 1061BEEB06A7C20B Time : 0.0 sec. user=vaughan [2012-02-09 04:51:21] 485*2^1121704-1 is not prime. Res64: 55E1FACE0D8327F4 Time : 0.0 sec. user=vaughan [2012-02-09 04:51:51] 427*2^1121697-1 is not prime. Res64: 27D7219414971ABF Time : 0.0 sec. user=vaughan [2012-02-09 04:51:51] 549*2^1121697-1 is not prime. Res64: 2AB6788E3875FD47 Time : 0.0 sec. user=vaughan [2012-02-09 04:52:30] 567*2^1121698-1 is not prime. Res64: C2E8AAFCB579C2C8 Time : 0.0 sec. user=vaughan [2012-02-09 04:52:31] 581*2^1121698-1 is not prime. Res64: C84D2AC7FD2A75EC Time : 0.0 sec. user=vaughan [2012-02-09 04:52:37] 573*2^1121699-1 is not prime. Res64: F4133EF9D95A3EAC Time : 0.0 sec. user=vaughan [2012-02-09 04:52:37] 455*2^1121700-1 is not prime. Res64: 959C0687F26BEF32 Time : 0.0 sec. user=vaughan [2012-02-09 04:52:51] 555*2^1121694-1 is not prime. Res64: D56549A2023DB8F3 Time : 0.0 sec. user=vaughan [2012-02-09 04:52:52] 585*2^1121694-1 is not prime. Res64: C2EEF9C141E68A08 Time : 0.0 sec. user=vaughan [2012-02-09 04:54:09] 451*2^1121695-1 is not prime. Res64: 33D6BB81C58D6FD8 Time : 0.0 sec. user=vaughan [2012-02-09 04:54:10] 583*2^1121695-1 is not prime. Res64: B8A5D40CD220562C Time : 0.0 sec. user=vaughan [2012-02-09 05:02:45] 513*2^1121679-1 is not prime. Res64: 911ACCC4460618DC Time : 0.0 sec. user=vaughan [2012-02-09 05:02:46] 447*2^1121681-1 is not prime. Res64: 85840C51C212D878 Time : 0.0 sec. user=vaughan [2012-02-09 05:02:46] 459*2^1121681-1 is not prime. Res64: 09DF828CE5CF94B6 Time : 0.0 sec. user=vaughan [2012-02-09 05:03:00] 471*2^1121706-1 is not prime. Res64: E95116466CD203B3 Time : 0.0 sec. user=vaughan [2012-02-09 05:03:01] 473*2^1121706-1 is not prime. Res64: 394BDA4E8D2E3769 Time : 0.0 sec. user=vaughan [2012-02-09 05:03:09] 485*2^1121682-1 is not prime. Res64: 5D4D85C67EE9AC57 Time : 0.0 sec. user=vaughan [2012-02-09 05:03:10] 567*2^1121682-1 is not prime. Res64: C99A573EF53A588F Time : 0.0 sec. user=vaughan [2012-02-09 05:03:11] 421*2^1121683-1 is not prime. Res64: 1BF8C48FA0519D2F Time : 0.0 sec. user=vaughan [2012-02-09 05:03:23] 589*2^1121683-1 is not prime. Res64: F6E021B7CECCC067 Time : 0.0 sec. user=vaughan [2012-02-09 05:03:24] 533*2^1121684-1 is not prime. Res64: BFE56EB8C036A5C8 Time : 0.0 sec. user=vaughan [2012-02-09 05:03:24] 573*2^1121684-1 is not prime. Res64: 2BA7A1770F85DC63 Time : 0.0 sec. user=vaughan [2012-02-09 05:03:25] 483*2^1121706-1 is not prime. Res64: E74824A7BAB6CC46 Time : 0.0 sec. user=vaughan [2012-02-09 05:03:25] 501*2^1121706-1 is not prime. Res64: CA22C8508ADBAC6C Time : 0.0 sec. user=vaughan [2012-02-09 05:03:36] 405*2^1121707-1 is not prime. Res64: E579EC9BE84738A1 Time : 0.0 sec. user=vaughan [2012-02-09 05:03:38] 505*2^1121707-1 is not prime. Res64: 05341C1D9D6D00AC Time : 0.0 sec. user=vaughan [2012-02-09 05:09:50] 507*2^1121705-1 is not prime. Res64: DC05E06C5686A94E Time : 0.0 sec. user=vaughan [2012-02-09 05:09:52] 525*2^1121705-1 is not prime. Res64: 394C132D79596175 Time : 0.0 sec. user=vaughan [2012-02-09 05:10:19] 537*2^1121705-1 is not prime. Res64: 882BD55C945CB54B Time : 0.0 sec. user=vaughan [2012-02-09 05:10:20] 589*2^1121705-1 is not prime. Res64: 7479E8E2F790131C Time : 0.0 sec. user=vaughan [2012-02-09 05:10:54] 469*2^1121689-1 is not prime. Res64: D8C19818C2FFA63F Time : 0.0 sec. user=vaughan [2012-02-09 05:10:56] 549*2^1121689-1 is not prime. Res64: 69442B04407ABDA0 Time : 0.0 sec. user=vaughan [2012-02-09 05:11:35] 475*2^1121691-1 is not prime. Res64: 7400F9C9044731A7 Time : 0.0 sec. user=vaughan [2012-02-09 05:11:36] 489*2^1121691-1 is not prime. Res64: 4E278E4A1F83F581 Time : 0.0 sec. user=vaughan [2012-02-09 05:12:40] 511*2^1121691-1 is not prime. Res64: 8A59FCEACF6E0AB3 Time : 0.0 sec. user=vaughan [2012-02-09 05:12:44] 437*2^1121692-1 is not prime. Res64: D39CDD92B1CDD4F9 Time : 0.0 sec. user=juhehe [2012-02-09 05:13:05] 413*2^1121706-1 is not prime. Res64: 4FCEDC123FB11C28 Time : 0.0 sec. user=vaughan [2012-02-09 05:13:14] 593*2^1121714-1 is not prime. Res64: 96861762A8C05BA1 Time : 0.0 sec. user=vaughan [2012-02-09 05:13:15] 409*2^1121715-1 is not prime. Res64: 21C018B4E1A4C484 Time : 0.0 sec. user=juhehe [2012-02-09 05:14:50] 511*2^1121707-1 is not prime. Res64: CF7E4C5DD98C0CF4 Time : 0.0 sec. user=vaughan [2012-02-09 05:19:10] 415*2^1121709-1 is not prime. Res64: 3F8B6CAAA50DF9E9 Time : 0.0 sec. user=vaughan [2012-02-09 05:19:11] 465*2^1121709-1 is not prime. Res64: A9B8574D91EA6285 Time : 0.0 sec. user=vaughan [2012-02-09 05:21:04] 409*2^1121711-1 is not prime. Res64: C1BA5F8B871EE7CD Time : 0.0 sec. user=vaughan [2012-02-09 05:21:04] 477*2^1121710-1 is not prime. Res64: 2D9920EF13EC9C33 Time : 0.0 sec. user=vaughan [2012-02-09 05:21:04] 441*2^1121711-1 is not prime. Res64: 22C91F8254252DEC Time : 0.0 sec. user=vaughan [2012-02-09 05:21:04] 581*2^1121710-1 is not prime. Res64: 66865572B7CFA20B Time : 0.0 sec. user=vaughan [2012-02-09 05:21:56] 519*2^1121711-1 is not prime. Res64: 9587928DFEC84A3D Time : 0.0 sec. user=vaughan [2012-02-09 05:21:57] 579*2^1121711-1 is not prime. Res64: F8E4F4D1FA77EC3C Time : 0.0 sec. user=vaughan [2012-02-09 05:22:08] 405*2^1121708-1 is not prime. Res64: B21497BA2FBE938E Time : 0.0 sec. user=vaughan [2012-02-09 05:22:08] 503*2^1121708-1 is not prime. Res64: 964260972E976349 Time : 0.0 sec. user=vaughan [2012-02-09 05:24:59] 523*2^1121719-1 is not prime. Res64: 17E1898F2AF3C98D Time : 0.0 sec. user=vaughan [2012-02-09 05:25:00] 455*2^1121720-1 is not prime. Res64: 4E3DBD1CA22F11E2 Time : 0.0 sec. user=vaughan [2012-02-09 05:25:18] 535*2^1121721-1 is not prime. Res64: B08FEE67EA59E2ED Time : 0.0 sec. user=vaughan [2012-02-09 05:25:18] 483*2^1121722-1 is not prime. Res64: 4BD315E68BA9B836 Time : 0.0 sec. user=vaughan [2012-02-09 05:25:29] 551*2^1121722-1 is not prime. Res64: F6F23ED09553C029 Time : 0.0 sec. user=vaughan [2012-02-09 05:25:29] 451*2^1121723-1 is not prime. Res64: 4ABBC0065C0E6263 Time : 0.0 sec. user=vaughan [2012-02-09 05:26:18] 549*2^1121709-1 is not prime. Res64: 1E590D5B045E561F Time : 0.0 sec. user=vaughan [2012-02-09 05:26:18] 579*2^1121709-1 is not prime. Res64: 4A743C7439832F9D Time : 0.0 sec. user=vaughan [2012-02-09 05:26:58] 419*2^1121712-1 is not prime. Res64: 431E661B97EB68E4 Time : 0.0 sec. user=vaughan [2012-02-09 05:26:58] 423*2^1121712-1 is not prime. Res64: FAED4B73449B676E Time : 0.0 sec. user=vaughan [2012-02-09 05:27:48] 493*2^1121711-1 is not prime. Res64: 8D130875ACA40618 Time : 0.0 sec. user=vaughan [2012-02-09 05:27:48] 505*2^1121711-1 is not prime. Res64: 887B2E793753F823 Time : 0.0 sec. user=vaughan [2012-02-09 05:28:54] 555*2^1121715-1 is not prime. Res64: 2E758AFB01077132 Time : 0.0 sec. user=vaughan [2012-02-09 05:28:55] 405*2^1121717-1 is not prime. Res64: FFD391C031D2AD6A Time : 0.0 sec. user=vaughan [2012-02-09 05:29:32] 439*2^1121717-1 is not prime. Res64: 6B6691924C46C98C Time : 0.0 sec. user=vaughan [2012-02-09 05:29:32] 445*2^1121717-1 is not prime. Res64: B3BF1D3467484365 Time : 0.0 sec. user=vaughan [2012-02-09 05:29:36] 561*2^1121717-1 is not prime. Res64: 7CE17EB7155853A9 Time : 0.0 sec. user=vaughan [2012-02-09 05:29:36] 401*2^1121718-1 is not prime. Res64: 7047E261ACA30320 Time : 0.0 sec. user=vaughan [2012-02-09 05:30:28] 447*2^1121712-1 is not prime. Res64: 3CDC494C3D858385 Time : 0.0 sec. user=vaughan [2012-02-09 05:30:29] 479*2^1121712-1 is not prime. Res64: 7550D3056E74CAC8 Time : 0.0 sec. user=vaughan [2012-02-09 05:30:31] 477*2^1121713-1 is not prime. Res64: A3FFE8EDC40C1AD2 Time : 0.0 sec. user=vaughan [2012-02-09 05:30:32] 549*2^1121713-1 is not prime. Res64: 0D36E7269DBEACF8 Time : 0.0 sec. user=vaughan [2012-02-09 05:30:39] 423*2^1121714-1 is not prime. Res64: 8FDFD4E799AAF0E6 Time : 0.0 sec. user=vaughan [2012-02-09 05:30:40] 531*2^1121714-1 is not prime. Res64: 7CD57DBFFF1F85F1 Time : 0.0 sec. user=vaughan [2012-02-09 05:32:18] 431*2^1121718-1 is not prime. Res64: CE04ADCE229AF695 Time : 0.0 sec. user=vaughan [2012-02-09 05:32:19] 461*2^1121718-1 is not prime. Res64: 5DC095C0C7B2672B Time : 0.0 sec. user=vaughan [2012-02-09 05:33:37] 485*2^1121718-1 is not prime. Res64: 74B44BBC91070A3B Time : 0.0 sec. user=vaughan [2012-02-09 05:33:38] 557*2^1121718-1 is not prime. Res64: 9D4F774A4502B1A6 Time : 0.0 sec. user=vaughan [2012-02-09 05:35:09] 441*2^1121727-1 is not prime. Res64: B495551281192C33 Time : 0.0 sec. user=vaughan [2012-02-09 05:35:10] 465*2^1121728-1 is not prime. Res64: D02C2D4655224EBA Time : 0.0 sec. user=vaughan [2012-02-09 05:35:45] 533*2^1121704-1 is not prime. Res64: 23ABA000FFCC11AE Time : 0.0 sec. user=vaughan [2012-02-09 05:35:46] 539*2^1121704-1 is not prime. Res64: 3CE8148B5F24DAC7 Time : 0.0 sec. user=vaughan [2012-02-09 05:35:46] 441*2^1121705-1 is not prime. Res64: 7983EE1AB6668EF3 Time : 0.0 sec. user=juhehe [2012-02-09 05:45:50] 453*2^1121726-1 is not prime. Res64: F89DE9C313E2E83C Time : 0.0 sec. user=vaughan [2012-02-09 05:46:52] 429*2^1121733-1 is not prime. Res64: A9208BC301369BCF Time : 0.0 sec. user=vaughan [2012-02-09 05:46:53] 499*2^1121733-1 is not prime. Res64: FD3F26925A754C9E Time : 0.0 sec. user=vaughan [2012-02-09 05:46:59] 481*2^1121723-1 is not prime. Res64: DB2CE1C3DC6A487A Time : 0.0 sec. user=vaughan [2012-02-09 05:47:00] 519*2^1121723-1 is not prime. Res64: 40A83DB152018E30 Time : 0.0 sec. user=vaughan [2012-02-09 05:47:10] 571*2^1121733-1 is not prime. Res64: 4393C018C3482DD5 Time : 0.0 sec. user=vaughan [2012-02-09 05:47:11] 423*2^1121734-1 is not prime. Res64: C2455E190F663090 Time : 0.0 sec. user=vaughan [2012-02-09 05:47:17] 525*2^1121734-1 is not prime. Res64: E043F3CAD3E786FE Time : 0.0 sec. user=vaughan [2012-02-09 05:47:17] 573*2^1121734-1 is not prime. Res64: F60912A9AC16B44C Time : 0.0 sec. user=vaughan [2012-02-09 05:47:22] 585*2^1121723-1 is not prime. Res64: 9CE0CC16A943D20A Time : 0.0 sec. user=vaughan [2012-02-09 05:47:22] 483*2^1121724-1 is not prime. Res64: 0DD0C78F58E4B696 Time : 0.0 sec. user=juhehe [2012-02-09 05:47:37] 483*2^1121728-1 is not prime. Res64: A927F85DFEA623CF Time : 0.0 sec. user=vaughan [2012-02-09 05:51:27] 517*2^1121093-1 is not prime. Res64: AE1B6E6A43C9C6CF Time : 0.0 sec. user=vaughan [2012-02-09 05:52:08] 485*2^1121728-1 is not prime. Res64: 161D71413B69119D Time : 0.0 sec. user=vaughan [2012-02-09 05:52:09] 411*2^1121729-1 is not prime. Res64: 23DFDFC709D6B212 Time : 0.0 sec. user=vaughan [2012-02-09 05:53:53] 511*2^1121729-1 is not prime. Res64: 27459CE2C6772B8C Time : 0.0 sec. user=vaughan [2012-02-09 05:53:53] 559*2^1121729-1 is not prime. Res64: 58374B0FA01AB23B Time : 0.0 sec. user=vaughan [2012-02-09 05:54:07] 567*2^1121730-1 is not prime. Res64: 618C1CABCF2BD290 Time : 0.0 sec. user=vaughan [2012-02-09 05:54:08] 587*2^1121730-1 is not prime. Res64: 7CF05B7D62DCE684 Time : 0.0 sec. user=vaughan [2012-02-09 05:54:45] 535*2^1121731-1 is not prime. Res64: 6749D2FD955981C4 Time : 0.0 sec. user=vaughan [2012-02-09 05:54:45] 405*2^1121732-1 is not prime. Res64: BEB229268CDEBCFE Time : 0.0 sec. user=vaughan [2012-02-09 05:56:53] 525*2^1121096-1 is not prime. Res64: 3F40E6A22C6DF589 Time : 0.0 sec. user=vaughan [2012-02-09 05:56:53] 587*2^1121096-1 is not prime. Res64: 7F562BC7AE6FAC7E Time : 0.0 sec. user=vaughan [2012-02-09 05:57:04] 589*2^1121743-1 is not prime. Res64: A2BEE1ED7AE5915C Time : 0.0 sec. user=vaughan [2012-02-09 05:57:04] 417*2^1121744-1 is not prime. Res64: E1CF7AC1E1C73514 Time : 0.0 sec. user=vaughan [2012-02-09 05:58:36] 539*2^1121100-1 is not prime. Res64: 2345A1B7B187A49D Time : 0.0 sec. user=vaughan [2012-02-09 05:58:36] 569*2^1121100-1 is not prime. Res64: BFB3ECA6265857F0 Time : 0.0 sec. user=vaughan [2012-02-09 06:01:45] 447*2^1121732-1 is not prime. Res64: 5A68011628390F92 Time : 0.0 sec. user=vaughan [2012-02-09 06:01:47] 539*2^1121732-1 is not prime. Res64: BE59918FF840BC68 Time : 0.0 sec. user=vaughan [2012-02-09 06:04:10] 485*2^1121736-1 is not prime. Res64: 2B4026F6D1A8481B Time : 0.0 sec. user=vaughan [2012-02-09 06:04:12] 597*2^1121736-1 is not prime. Res64: 140F371891EF0508 Time : 0.0 sec. user=vaughan [2012-02-09 06:05:47] 469*2^1121735-1 is not prime. Res64: C0004E0C85CC5DD2 Time : 0.0 sec. user=vaughan [2012-02-09 06:05:47] 479*2^1121736-1 is not prime. Res64: 517567334EE6F079 Time : 0.0 sec. user=vaughan [2012-02-09 06:06:02] 549*2^1121737-1 is not prime. Res64: 217F0B63DCB11E02 Time : 0.0 sec. user=vaughan [2012-02-09 06:06:04] 447*2^1121738-1 is not prime. Res64: 581BB6CAE9216329 Time : 0.0 sec. user=vaughan [2012-02-09 06:06:42] 483*2^1121738-1 is not prime. Res64: 0708C74588972DD7 Time : 0.0 sec. user=vaughan [2012-02-09 06:06:45] 561*2^1121738-1 is not prime. Res64: DF4D0402755F26EA Time : 0.0 sec. user=vaughan [2012-02-09 06:06:52] 481*2^1121739-1 is not prime. Res64: 8EB90E32266B7446 Time : 0.0 sec. user=vaughan [2012-02-09 06:06:53] 513*2^1121739-1 is not prime. Res64: 1B01CC147F5BE2B1 Time : 0.0 sec. user=vaughan [2012-02-09 06:07:13] 465*2^1121737-1 is not prime. Res64: B4D8A77764E99DEA Time : 0.0 sec. user=vaughan [2012-02-09 06:07:14] 489*2^1121737-1 is not prime. Res64: BE4BA2BBE2DAD762 Time : 0.0 sec. user=vaughan [2012-02-09 06:08:45] 411*2^1121719-1 is not prime. Res64: DE7E21C3FF962C18 Time : 0.0 sec. user=vaughan [2012-02-09 06:08:47] 441*2^1121719-1 is not prime. Res64: 168870C011C3C104 Time : 0.0 sec. user=vaughan [2012-02-09 06:08:48] 507*2^1121745-1 is not prime. Res64: 7AEEDDA2E42ED4B4 Time : 0.0 sec. user=vaughan [2012-02-09 06:08:49] 483*2^1121719-1 is not prime. Res64: 607ACEFE10F271AC Time : 0.0 sec. user=vaughan [2012-02-09 06:08:49] 503*2^1121746-1 is not prime. Res64: 4B2B20A13C7E6B0E Time : 0.0 sec. user=vaughan [2012-02-09 06:09:00] 589*2^1121747-1 is not prime. Res64: 4A2F717BA84EFD0C Time : 0.0 sec. user=vaughan [2012-02-09 06:09:01] 485*2^1121748-1 is not prime. Res64: 04CF999C21C596A4 Time : 0.0 sec. user=vaughan [2012-02-09 06:09:12] 537*2^1121748-1 is not prime. Res64: 07DA8439361A073C Time : 0.0 sec. user=vaughan [2012-02-09 06:09:13] 557*2^1121748-1 is not prime. Res64: F9A0B66133D78C64 Time : 0.0 sec. user=vaughan [2012-02-09 06:09:15] 599*2^1121720-1 is not prime. Res64: BFA9FEEF6EA9070E Time : 0.0 sec. user=vaughan [2012-02-09 06:09:16] 549*2^1121109-1 is not prime. Res64: 2CA768DCE5A2D19F Time : 0.0 sec. user=vaughan [2012-02-09 06:09:18] 409*2^1121721-1 is not prime. Res64: 3C37DE2095EC0AFB Time : 0.0 sec. user=vaughan [2012-02-09 06:09:21] 447*2^1121721-1 is not prime. Res64: 05060E6416FC95B6 Time : 0.0 sec. user=vaughan [2012-02-09 06:09:21] 471*2^1121110-1 is not prime. Res64: 2B8EA1A59C99F52D Time : 0.0 sec. user=vaughan [2012-02-09 06:09:24] 465*2^1121721-1 is not prime. Res64: 5D9853CB66083FA1 Time : 0.0 sec. user=vaughan [2012-02-09 06:09:25] 495*2^1121721-1 is not prime. Res64: C8101A20E68F8FB3 Time : 0.0 sec. user=vaughan [2012-02-09 06:09:26] 529*2^1121721-1 is not prime. Res64: E132E153821F76EA Time : 0.0 sec. user=vaughan [2012-02-09 06:10:06] 437*2^1121740-1 is not prime. Res64: 1611447542CFE4D7 Time : 0.0 sec. user=vaughan [2012-02-09 06:10:08] 459*2^1121741-1 is not prime. Res64: D83CBBF7D43B5706 Time : 0.0 sec. user=vaughan [2012-02-09 06:10:13] 401*2^1121742-1 is not prime. Res64: 6932CA4A95045409 Time : 0.0 sec. user=vaughan [2012-02-09 06:10:16] 437*2^1121742-1 is not prime. Res64: 96416CF72E2B8255 Time : 0.0 sec. user=vaughan [2012-02-09 06:10:18] 503*2^1121742-1 is not prime. Res64: 0607B61F8ED79B7A Time : 0.0 sec. user=vaughan [2012-02-09 06:10:19] 513*2^1121742-1 is not prime. Res64: 9B15B91E6B660E3E Time : 0.0 sec. user=vaughan [2012-02-09 06:11:44] 543*2^1121742-1 is not prime. Res64: 92D63C36CA387FFC Time : 0.0 sec. user=vaughan [2012-02-09 06:11:46] 563*2^1121742-1 is not prime. Res64: 69F15E619634F425 Time : 0.0 sec. user=vaughan [2012-02-09 06:13:09] 451*2^1121743-1 is not prime. Res64: BD5816DC36B3D342 Time : 0.0 sec. user=vaughan [2012-02-09 06:13:13] 511*2^1121743-1 is not prime. Res64: 1C53778928B6A17F Time : 0.0 sec. user=vaughan [2012-02-09 06:15:38] 539*2^1121724-1 is not prime. Res64: 36C201E02838D87C Time : 0.0 sec. user=vaughan [2012-02-09 06:15:38] 563*2^1121724-1 is not prime. Res64: DFE877C5D5A38EAF Time : 0.0 sec. user=vaughan [2012-02-09 06:16:13] 405*2^1121725-1 is not prime. Res64: D1C5018DDAEF7014 Time : 0.0 sec. user=vaughan [2012-02-09 06:16:13] 465*2^1121725-1 is not prime. Res64: 191684CA9C9E1100 Time : 0.0 sec. user=vaughan [2012-02-09 06:17:28] 577*2^1121725-1 is not prime. Res64: C71B1EA5D5675F21 Time : 0.0 sec. user=vaughan [2012-02-09 06:17:28] 597*2^1121725-1 is not prime. Res64: 63AF3BB4A5E0EEFE Time : 0.0 sec. user=juhehe [2012-02-09 06:18:33] 471*2^1121745-1 is not prime. Res64: 4E1D4E42F8178909 Time : 0.0 sec. user=vaughan [2012-02-09 06:18:53] 573*2^1121755-1 is not prime. Res64: B2C5F5BCA4486024 Time : 0.0 sec. user=vaughan [2012-02-09 06:18:54] 579*2^1121755-1 is not prime. Res64: A62791AA56AB8CCC Time : 0.0 sec. user=juhehe [2012-02-09 06:20:20] 469*2^1121749-1 is not prime. Res64: C179B1679ACA63B7 Time : 0.0 sec. user=vaughan [2012-02-09 06:24:32] 403*2^1121747-1 is not prime. Res64: B2F6312AD90E8648 Time : 0.0 sec. user=vaughan [2012-02-09 06:24:33] 549*2^1121747-1 is not prime. Res64: 9005B2F51CE9F116 Time : 0.0 sec. user=vaughan [2012-02-09 06:24:52] 435*2^1121749-1 is not prime. Res64: F3476093DAFDA0D6 Time : 0.0 sec. user=vaughan [2012-02-09 06:24:52] 447*2^1121749-1 is not prime. Res64: 6008F5C15C7EB218 Time : 0.0 sec. user=vaughan [2012-02-09 06:25:08] 593*2^1121750-1 is not prime. Res64: 0E8F43F6ECBD985C Time : 0.0 sec. user=vaughan [2012-02-09 06:25:08] 513*2^1121751-1 is not prime. Res64: C510A0BE464CD5B7 Time : 0.0 sec. user=vaughan [2012-02-09 06:26:47] 419*2^1121752-1 is not prime. Res64: 3CC7DD7AA74552CE Time : 0.0 sec. user=vaughan [2012-02-09 06:26:48] 467*2^1121752-1 is not prime. Res64: EFED4AB99C0C15B7 Time : 0.0 sec. user=vaughan [2012-02-09 06:27:01] 479*2^1121752-1 is not prime. Res64: D5B5C8854FB43070 Time : 0.0 sec. user=vaughan [2012-02-09 06:27:02] 507*2^1121752-1 is not prime. Res64: 99482EE862426AA3 Time : 0.0 sec. user=vaughan [2012-02-09 06:27:38] 519*2^1121752-1 is not prime. Res64: 61EEAA9CA4F123EC Time : 0.0 sec. user=vaughan [2012-02-09 06:27:39] 409*2^1121753-1 is not prime. Res64: FE90D8C340BB9C5F Time : 0.0 sec. user=vaughan [2012-02-09 06:30:42] 531*2^1121761-1 is not prime. Res64: 481041957DFA00AA Time : 0.0 sec. user=vaughan [2012-02-09 06:30:43] 547*2^1121761-1 is not prime. Res64: BA6F388D6B58FE11 Time : 0.0 sec. user=vaughan [2012-02-09 06:30:51] 505*2^1121749-1 is not prime. Res64: 8F6DC28197F1C597 Time : 0.0 sec. user=vaughan [2012-02-09 06:30:51] 507*2^1121749-1 is not prime. Res64: CE513969298F8DE3 Time : 0.0 sec. user=vaughan [2012-02-09 06:30:54] 405*2^1121762-1 is not prime. Res64: D9C96810F31C66B0 Time : 0.0 sec. user=vaughan [2012-02-09 06:30:54] 507*2^1121762-1 is not prime. Res64: EF397917E77E2057 Time : 0.0 sec. user=vaughan [2012-02-09 06:31:14] 525*2^1121762-1 is not prime. Res64: 852F3DE5C67ED9BC Time : 0.0 sec. user=vaughan [2012-02-09 06:31:15] 451*2^1121763-1 is not prime. Res64: 12B5A41A63416757 Time : 0.0 sec. user=vaughan [2012-02-09 06:36:24] 413*2^1121754-1 is not prime. Res64: 121BA0C15DD01621 Time : 0.0 sec. user=vaughan [2012-02-09 06:36:25] 431*2^1121754-1 is not prime. Res64: 36220B133FE49789 Time : 0.0 sec. user=vaughan [2012-02-09 06:38:00] 589*2^1121755-1 is not prime. Res64: 57B7F5FCC96BD4BA Time : 0.0 sec. user=vaughan [2012-02-09 06:38:01] 519*2^1121756-1 is not prime. Res64: ED411D6A0F863C12 Time : 0.0 sec. user=vaughan [2012-02-09 06:40:45] 563*2^1121772-1 is not prime. Res64: 57D869B0179B5A8F Time : 0.0 sec. user=vaughan [2012-02-09 06:40:46] 567*2^1121773-1 is not prime. Res64: 8687C0F2F8CDC742 Time : 0.0 sec. user=vaughan [2012-02-09 06:41:26] 563*2^1121756-1 is not prime. Res64: 114993D1D18D4563 Time : 0.0 sec. user=vaughan [2012-02-09 06:41:27] 573*2^1121756-1 is not prime. Res64: 287D618F596BEEB7 Time : 0.0 sec. user=vaughan [2012-02-09 06:41:48] 447*2^1121744-1 is not prime. Res64: 7F71521900D98CE9 Time : 0.0 sec. user=vaughan [2012-02-09 06:41:49] 471*2^1121757-1 is not prime. Res64: 1156ED53407E2AF7 Time : 0.0 sec. user=vaughan [2012-02-09 06:41:49] 473*2^1121744-1 is not prime. Res64: AF6521D547D01798 Time : 0.0 sec. user=vaughan [2012-02-09 06:41:49] 537*2^1121757-1 is not prime. Res64: 2541BD82E733209E Time : 0.0 sec. user=vaughan [2012-02-09 06:41:50] 447*2^1121745-1 is not prime. Res64: A86D3AEBB6E5756E Time : 0.0 sec. user=vaughan [2012-02-09 06:43:45] 425*2^1121758-1 is not prime. Res64: 399A8DA97E0B6B06 Time : 0.0 sec. user=vaughan [2012-02-09 06:43:46] 513*2^1121758-1 is not prime. Res64: 3C968AEA599BB8A9 Time : 0.0 sec. user=vaughan [2012-02-09 06:44:27] 451*2^1121759-1 is not prime. Res64: 8527F68896786A37 Time : 0.0 sec. user=vaughan [2012-02-09 06:44:27] 501*2^1121759-1 is not prime. Res64: 3C2A2637BAF17185 Time : 0.0 sec. user=vaughan [2012-02-09 06:44:35] 565*2^1121759-1 is not prime. Res64: 291B31C8E7D7AF74 Time : 0.0 sec. user=vaughan [2012-02-09 06:44:36] 543*2^1121760-1 is not prime. Res64: 722BBBBEE011C08E Time : 0.0 sec. user=vaughan [2012-02-09 06:45:15] 405*2^1121758-1 is not prime. Res64: 63B6B9C092AC0AC0 Time : 0.0 sec. user=vaughan [2012-02-09 06:45:16] 413*2^1121758-1 is not prime. Res64: 621E39BB225498C0 Time : 0.0 sec. user=vaughan [2012-02-09 06:46:42] 555*2^1121760-1 is not prime. Res64: 478DA30BEF016451 Time : 0.0 sec. user=vaughan [2012-02-09 06:46:43] 587*2^1121760-1 is not prime. Res64: 5BA575D90CD9FC40 Time : 0.0 sec. user=vaughan [2012-02-09 06:48:38] 447*2^1121765-1 is not prime. Res64: B90FA18A45FB731E Time : 0.0 sec. user=vaughan [2012-02-09 06:48:38] 465*2^1121765-1 is not prime. Res64: E83AF38C9347A88B Time : 0.0 sec. user=vaughan [2012-02-09 06:49:47] 425*2^1121766-1 is not prime. Res64: D935F508620DB364 Time : 0.0 sec. user=vaughan [2012-02-09 06:49:48] 471*2^1121766-1 is not prime. Res64: 39C0A87E4B436F6D Time : 0.0 sec. user=vaughan [2012-02-09 06:49:58] 451*2^1121767-1 is not prime. Res64: CAE39077861AD8FD Time : 0.0 sec. user=vaughan [2012-02-09 06:49:59] 453*2^1121767-1 is not prime. Res64: 79B8B774F56F40F5 Time : 0.0 sec. user=vaughan [2012-02-09 06:50:01] 501*2^1121766-1 is not prime. Res64: 71D637B32E2E2FE7 Time : 0.0 sec. user=vaughan [2012-02-09 06:50:01] 557*2^1121766-1 is not prime. Res64: B536524C43F012D1 Time : 0.0 sec. user=vaughan [2012-02-09 06:51:17] 549*2^1121767-1 is not prime. Res64: 13879D6EA61EA4B3 Time : 0.0 sec. user=vaughan [2012-02-09 06:51:18] 595*2^1121767-1 is not prime. Res64: 3B323F9800E76B88 Time : 0.0 sec. user=juhehe [2012-02-09 06:51:22] 513*2^1121772-1 is not prime. Res64: 617A579AEC3481FD Time : 0.0 sec. user=vaughan [2012-02-09 06:52:40] 553*2^1121779-1 is not prime. Res64: C940C9BD72622D55 Time : 0.0 sec. user=vaughan [2012-02-09 06:52:40] 589*2^1121779-1 is not prime. Res64: 25685DA2FDDB2F35 Time : 0.0 sec. user=vaughan [2012-02-09 06:52:45] 453*2^1121768-1 is not prime. Res64: AAEAED9F4C1F1DB0 Time : 0.0 sec. user=vaughan [2012-02-09 06:52:46] 479*2^1121768-1 is not prime. Res64: 22864FBC66FEB336 Time : 0.0 sec. user=vaughan [2012-02-09 06:52:47] 475*2^1121781-1 is not prime. Res64: 7BBA939C04DA0AB1 Time : 0.0 sec. user=vaughan [2012-02-09 06:52:48] 467*2^1121782-1 is not prime. Res64: 4AAE9D2F560CF88D Time : 0.0 sec. user=juhehe [2012-02-09 06:53:07] 473*2^1121774-1 is not prime. Res64: D49C546B7ACB51F3 Time : 0.0 sec. user=vaughan [2012-02-09 06:53:09] 491*2^1121782-1 is not prime. Res64: 6F8E88298F110CBF Time : 0.0 sec. user=vaughan [2012-02-09 06:53:10] 525*2^1121782-1 is not prime. Res64: 04DAFCF45E04D804 Time : 0.0 sec. user=vaughan [2012-02-09 06:58:03] 583*2^1121775-1 is not prime. Res64: A71906262A962FAF Time : 0.0 sec. user=vaughan [2012-02-09 06:58:03] 585*2^1121775-1 is not prime. Res64: 48E1A8879EDDB8DD Time : 0.0 sec. user=vaughan [2012-02-09 06:59:39] 437*2^1121776-1 is not prime. Res64: DFD152180D83951C Time : 0.0 sec. user=vaughan [2012-02-09 06:59:40] 449*2^1121776-1 is not prime. Res64: 6D23636F1DC9CAC2 Time : 0.0 sec. user=vaughan [2012-02-09 07:00:00] 573*2^1121776-1 is not prime. Res64: DCA46C4F634BED66 Time : 0.0 sec. user=vaughan [2012-02-09 07:00:01] 485*2^1121778-1 is not prime. Res64: 059205B71BC44DF1 Time : 0.0 sec. user=vaughan [2012-02-09 07:00:33] 421*2^1121779-1 is not prime. Res64: E883698A5675F3EA Time : 0.0 sec. user=vaughan [2012-02-09 07:00:34] 451*2^1121779-1 is not prime. Res64: AA8BD86E0F6597B4 Time : 0.0 sec. user=vaughan [2012-02-09 07:02:14] 415*2^1121775-1 is not prime. Res64: 7681E98D82F516BA Time : 0.0 sec. user=vaughan [2012-02-09 07:02:16] 451*2^1121775-1 is not prime. Res64: 2C9AB134DEE67520 Time : 0.0 sec. user=vaughan [2012-02-09 07:02:32] 471*2^1121775-1 is not prime. Res64: 3A6952386B978F78 Time : 0.0 sec. user=vaughan [2012-02-09 07:02:33] 573*2^1121775-1 is not prime. Res64: F3A71675B2C5C685 Time : 0.0 sec. user=vaughan [2012-02-09 07:02:34] 589*2^1121783-1 is not prime. Res64: 030DE04704DA7236 Time : 0.0 sec. user=vaughan [2012-02-09 07:02:35] 549*2^1121784-1 is not prime. Res64: 5979F16DBCA22950 Time : 0.0 sec. user=vaughan [2012-02-09 07:10:15] 449*2^1121780-1 is not prime. Res64: 44D836357F49BC63 Time : 0.0 sec. user=vaughan [2012-02-09 07:10:17] 515*2^1121780-1 is not prime. Res64: 501672D65138FDD6 Time : 0.0 sec. user=vaughan [2012-02-09 07:14:29] 457*2^1121793-1 is not prime. Res64: EDC248041377C861 Time : 0.0 sec. user=vaughan [2012-02-09 07:14:30] 565*2^1121793-1 is not prime. Res64: 8AFB86DEE321E831 Time : 0.0 sec. user=vaughan [2012-02-09 07:14:38] 545*2^1121794-1 is not prime. Res64: F62DC930342D33CE Time : 0.0 sec. user=vaughan [2012-02-09 07:14:39] 421*2^1121795-1 is not prime. Res64: DDE90568E238F619 Time : 0.0 sec. user=vaughan [2012-02-09 07:14:46] 439*2^1121761-1 is not prime. Res64: 86AD8AE7DF6C4BEC Time : 0.0 sec. user=vaughan [2012-02-09 07:14:46] 469*2^1121761-1 is not prime. Res64: F679FEE26ED91DE1 Time : 0.0 sec. user=vaughan [2012-02-09 07:14:47] 489*2^1121761-1 is not prime. Res64: CA40EF2EC4A3CEE9 Time : 0.0 sec. user=vaughan [2012-02-09 07:14:59] 525*2^1121796-1 is not prime. Res64: A5F9B6E822D1C79B Time : 0.0 sec. user=vaughan [2012-02-09 07:15:00] 597*2^1121796-1 is not prime. Res64: C86584674EFBA9F1 Time : 0.0 sec. user=vaughan [2012-02-09 07:15:25] 507*2^1121765-1 is not prime. Res64: E7EA7346C276364A Time : 0.0 sec. user=vaughan [2012-02-09 07:15:26] 519*2^1121765-1 is not prime. Res64: 1DDDCD05664F27F7 Time : 0.0 sec. user=vaughan [2012-02-09 07:15:26] 481*2^1121763-1 is not prime. Res64: 94156553D6051050 Time : 0.0 sec. user=vaughan [2012-02-09 07:15:27] 411*2^1121766-1 is not prime. Res64: 1419A597B2B6F88E Time : 0.0 sec. user=vaughan [2012-02-09 07:15:27] 523*2^1121763-1 is not prime. Res64: EBCAEF2E269673D5 Time : 0.0 sec. user=vaughan [2012-02-09 07:15:28] 495*2^1121764-1 is not prime. Res64: B4BEAD9F809D9CF6 Time : 0.0 sec. user=vaughan [2012-02-09 07:15:49] 555*2^1121782-1 is not prime. Res64: 00830CEBAC9B21F0 Time : 0.0 sec. user=vaughan [2012-02-09 07:15:50] 441*2^1121783-1 is not prime. Res64: 00EBDD108A31115D Time : 0.0 sec. user=vaughan [2012-02-09 07:17:19] 519*2^1121783-1 is not prime. Res64: 43375E3DD913D71B Time : 0.0 sec. user=vaughan [2012-02-09 07:17:20] 559*2^1121783-1 is not prime. Res64: EFAC23363EB54D94 Time : 0.0 sec. user=vaughan [2012-02-09 07:19:29] 477*2^1121785-1 is not prime. Res64: 12BA1191FE400EFB Time : 0.0 sec. user=vaughan [2012-02-09 07:19:29] 535*2^1121785-1 is not prime. Res64: C2887404A54B688E Time : 0.0 sec. user=vaughan [2012-02-09 07:21:04] 597*2^1121784-1 is not prime. Res64: 9381FC17CAE461B5 Time : 0.0 sec. user=vaughan [2012-02-09 07:21:05] 415*2^1121785-1 is not prime. Res64: 598446712A02164B Time : 0.0 sec. user=vaughan [2012-02-09 07:21:26] 425*2^1121786-1 is not prime. Res64: 2F29E0C577C2BEBD Time : 0.0 sec. user=vaughan [2012-02-09 07:21:27] 483*2^1121786-1 is not prime. Res64: 447E4528C4D7CFF6 Time : 0.0 sec. user=vaughan [2012-02-09 07:22:10] 567*2^1121786-1 is not prime. Res64: 8CB769E497B52B15 Time : 0.0 sec. user=vaughan [2012-02-09 07:22:10] 575*2^1121786-1 is not prime. Res64: DE9C8A1E25B6370E Time : 0.0 sec. user=vaughan [2012-02-09 07:22:22] 469*2^1121787-1 is not prime. Res64: 110055BFAA64DC6A Time : 0.0 sec. user=vaughan [2012-02-09 07:22:23] 443*2^1121788-1 is not prime. Res64: D08861214E3887D3 Time : 0.0 sec. user=juhehe [2012-02-09 07:24:07] 563*2^1121792-1 is not prime. Res64: 4DD89A9BEC6B15FD Time : 0.0 sec. user=vaughan [2012-02-09 07:24:26] 507*2^1121801-1 is not prime. Res64: 318C5A6FFF7CA86D Time : 0.0 sec. user=vaughan [2012-02-09 07:24:26] 565*2^1121801-1 is not prime. Res64: 0B165AA7BF3F97D7 Time : 0.0 sec. user=vaughan [2012-02-09 07:24:46] 483*2^1121788-1 is not prime. Res64: A30C4C5F6BB3D680 Time : 0.0 sec. user=vaughan [2012-02-09 07:24:47] 485*2^1121788-1 is not prime. Res64: C38B9DE8FBE22CAE Time : 0.0 sec. user=vaughan [2012-02-09 07:25:49] 519*2^1121768-1 is not prime. Res64: 9FE2C0E390E304ED Time : 0.0 sec. user=vaughan [2012-02-09 07:25:49] 467*2^1121770-1 is not prime. Res64: A8D763789516CFBB Time : 0.0 sec. user=juhehe [2012-02-09 07:25:51] 523*2^1121795-1 is not prime. Res64: F47AC65F532526A3 Time : 0.0 sec. user=vaughan [2012-02-09 07:26:11] 495*2^1121788-1 is not prime. Res64: 187B702084CE8482 Time : 0.0 sec. user=vaughan [2012-02-09 07:26:11] 507*2^1121788-1 is not prime. Res64: 2B20F37AA8D9558B Time : 0.0 sec. user=vaughan [2012-02-09 07:26:18] 531*2^1121770-1 is not prime. Res64: 346EB05EE1BE21F6 Time : 0.0 sec. user=vaughan [2012-02-09 07:26:19] 411*2^1121771-1 is not prime. Res64: E00F374DAA446A16 Time : 0.0 sec. user=vaughan [2012-02-09 07:27:36] 455*2^1121772-1 is not prime. Res64: 3AAB7D4A32369CC2 Time : 0.0 sec. user=vaughan [2012-02-09 07:27:38] 507*2^1121772-1 is not prime. Res64: D9579EAA24A3AD8E Time : 0.0 sec. user=vaughan [2012-02-09 07:28:12] 527*2^1121788-1 is not prime. Res64: FFAC37A26B014540 Time : 0.0 sec. user=vaughan [2012-02-09 07:28:12] 459*2^1121789-1 is not prime. Res64: 5AB165D7A85D0268 Time : 0.0 sec. user=vaughan [2012-02-09 07:29:25] 549*2^1121789-1 is not prime. Res64: 7869ED3CBDEFB79D Time : 0.0 sec. user=vaughan [2012-02-09 07:29:26] 577*2^1121789-1 is not prime. Res64: 2D620D8C54E0BA09 Time : 0.0 sec. user=vaughan [2012-02-09 07:29:35] 401*2^1121790-1 is not prime. Res64: 9A1C37CD571D5796 Time : 0.0 sec. user=vaughan [2012-02-09 07:29:35] 461*2^1121790-1 is not prime. Res64: 4C091E47E598CA3C Time : 0.0 sec. user=vaughan [2012-02-09 07:29:37] 503*2^1121790-1 is not prime. Res64: 51475E070C11E230 Time : 0.0 sec. user=vaughan [2012-02-09 07:29:37] 463*2^1121791-1 is not prime. Res64: 3FDD010E26C78428 Time : 0.0 sec. user=vaughan [2012-02-09 07:30:50] 541*2^1121791-1 is not prime. Res64: F19FD1FA59E985DB Time : 0.0 sec. user=vaughan [2012-02-09 07:30:50] 555*2^1121791-1 is not prime. Res64: B27A3B0EC8F791B7 Time : 0.0 sec. user=vaughan [2012-02-09 07:31:07] 405*2^1121797-1 is not prime. Res64: D72056C1DE7F3C5C Time : 0.0 sec. user=vaughan [2012-02-09 07:31:08] 471*2^1121797-1 is not prime. Res64: C2EECCAD085FE7AD Time : 0.0 sec. user=vaughan [2012-02-09 07:32:12] 461*2^1121794-1 is not prime. Res64: 939DE37BE9CA55CE Time : 0.0 sec. user=vaughan [2012-02-09 07:32:12] 483*2^1121794-1 is not prime. Res64: 87C62D8041386D1F Time : 0.0 sec. user=vaughan [2012-02-09 07:32:30] 595*2^1121797-1 is not prime. Res64: ECFBECC6F0A32BCD Time : 0.0 sec. user=vaughan [2012-02-09 07:32:30] 437*2^1121798-1 is not prime. Res64: 2D403E9556A6CC5E Time : 0.0 sec. user=vaughan [2012-02-09 07:33:06] 561*2^1121798-1 is not prime. Res64: 56AAD6E069A81090 Time : 0.0 sec. user=vaughan [2012-02-09 07:33:06] 563*2^1121798-1 is not prime. Res64: 0A9D9C943251D72A Time : 0.0 sec. user=vaughan [2012-02-09 07:33:33] 459*2^1121799-1 is not prime. Res64: 63C0F85771F8C4F9 Time : 0.0 sec. user=vaughan [2012-02-09 07:33:34] 465*2^1121799-1 is not prime. Res64: 763B33EE6A0D7D8C Time : 0.0 sec. user=vaughan [2012-02-09 07:36:27] 501*2^1121802-1 is not prime. Res64: AE59CAB35E18EE78 Time : 0.0 sec. user=vaughan [2012-02-09 07:36:28] 453*2^1121803-1 is not prime. Res64: 0048B5FC12A86DCD Time : 0.0 sec. user=vaughan [2012-02-09 07:36:32] 447*2^1121804-1 is not prime. Res64: 8784C07769C95645 Time : 0.0 sec. user=vaughan [2012-02-09 07:36:32] 479*2^1121804-1 is not prime. Res64: EEB08DB04A3AE473 Time : 0.0 sec. user=vaughan [2012-02-09 07:37:00] 421*2^1121807-1 is not prime. Res64: D90358B61F82F248 Time : 0.0 sec. user=vaughan [2012-02-09 07:37:00] 435*2^1121807-1 is not prime. Res64: 57ADC465F585E2A5 Time : 0.0 sec. user=vaughan [2012-02-09 07:37:21] 503*2^1121804-1 is not prime. Res64: C7DD88DD88F7DCF9 Time : 0.0 sec. user=vaughan [2012-02-09 07:37:57] 589*2^1121815-1 is not prime. Res64: 08643D39EAE4BF11 Time : 0.0 sec. user=vaughan [2012-02-09 07:39:08] 507*2^1121808-1 is not prime. Res64: FBC8D5D2B3C938E8 Time : 0.0 sec. user=vaughan [2012-02-09 07:39:20] 475*2^1121807-1 is not prime. Res64: 9620CBEB9BD70711 Time : 0.0 sec. user=vaughan [2012-02-09 07:39:37] 591*2^1121785-1 is not prime. Res64: 40BD59EA00E35A76 Time : 0.0 sec. user=vaughan [2012-02-09 07:39:37] 597*2^1121785-1 is not prime. Res64: 1C5A7C6B988BFA46 Time : 0.0 sec. user=vaughan [2012-02-09 07:39:55] 549*2^1121799-1 is not prime. Res64: 95F0E594DEDC47E0 Time : 0.0 sec. user=vaughan [2012-02-09 07:39:55] 565*2^1121799-1 is not prime. Res64: 975211E5D25D90F7 Time : 0.0 sec. user=vaughan [2012-02-09 07:40:10] 467*2^1121800-1 is not prime. Res64: 9E047A68174A6AFA Time : 0.0 sec. user=vaughan [2012-02-09 07:40:10] 495*2^1121800-1 is not prime. Res64: 6255292445701F31 Time : 0.0 sec. user=vaughan [2012-02-09 07:44:01] 493*2^1121815-1 is not prime. Res64: E3B5DE32A7E47602 Time : 0.0 sec. user=vaughan [2012-02-09 07:44:02] 563*2^1121812-1 is not prime. Res64: AE3D842476530523 Time : 0.0 sec. user=vaughan [2012-02-09 07:44:05] 593*2^1121814-1 is not prime. Res64: F25C255555B1E9F6 Time : 0.0 sec. user=vaughan [2012-02-09 07:44:07] 513*2^1121814-1 is not prime. Res64: E97BDDD8844B9ADB Time : 0.0 sec. user=vaughan [2012-02-09 07:49:54] 405*2^1121817-1 is not prime. Res64: D3EA64493C00B621 Time : 0.0 sec. user=vaughan [2012-02-09 07:49:55] 481*2^1121819-1 is not prime. Res64: 5C9FDA619C25937E Time : 0.0 sec. user=vaughan [2012-02-09 07:50:08] 411*2^1121106-1 is not prime. Res64: C1EEED1C5A093D14 Time : 0.0 sec. user=vaughan [2012-02-09 07:50:08] 483*2^1121802-1 is not prime. Res64: 9ED55AB27A2BAC87 Time : 0.0 sec. user=vaughan [2012-02-09 07:50:27] 593*2^1121820-1 is not prime. Res64: 017EC5D35517A3E0 Time : 0.0 sec. user=vaughan [2012-02-09 07:50:30] 503*2^1121814-1 is not prime. Res64: 4060EF5A246732B8 Time : 0.0 sec. user=vaughan [2012-02-09 07:50:32] 451*2^1121821-1 is not prime. Res64: 635A7387FB94F5AD Time : 0.0 sec. user=vaughan [2012-02-09 07:50:34] 433*2^1121823-1 is not prime. Res64: DED144742952699D Time : 0.0 sec. user=vaughan [2012-02-09 07:52:07] 453*2^1121811-1 is not prime. Res64: FB7A48F5C369A0D4 Time : 0.0 sec. user=vaughan [2012-02-09 07:52:13] 577*2^1121809-1 is not prime. Res64: 24A567FB3A1CAD2E Time : 0.0 sec. user=vaughan [2012-02-09 07:52:17] 479*2^1121820-1 is not prime. Res64: 8AF730803A2216FB Time : 0.0 sec. user=juhehe [2012-02-09 07:56:48] 553*2^1121815-1 is not prime. Res64: ADACCD0164F5309E Time : 0.0 sec. user=juhehe [2012-02-09 07:58:35] 581*2^1121818-1 is not prime. Res64: A0F03C26879C1E50 Time : 0.0 sec. user=vaughan [2012-02-09 08:16:57] 561*2^1121297-1 is not prime. Res64: 7D231D4CB5F01AD4 Time : 0.0 sec. user=vaughan [2012-02-09 08:20:10] 589*2^1121299-1 is not prime. Res64: A229F134F011939E Time : 0.0 sec. user=vaughan [2012-02-09 08:25:13] 459*2^1121300-1 is not prime. Res64: 326705D42EC59C1B Time : 0.0 sec. user=vaughan [2012-02-09 08:25:16] 505*2^1121831-1 is not prime. Res64: 88C724BE28C7E0B7 Time : 0.0 sec. user=vaughan [2012-02-09 08:25:17] 571*2^1121831-1 is not prime. Res64: B5D2793601075D0D Time : 0.0 sec. user=vaughan [2012-02-09 08:25:26] 425*2^1121832-1 is not prime. Res64: 186450B41E158E59 Time : 0.0 sec. user=vaughan [2012-02-09 08:25:26] 467*2^1121832-1 is not prime. Res64: 6100B7D1EC0F4FE7 Time : 0.0 sec. user=vaughan [2012-02-09 08:25:31] 515*2^1121832-1 is not prime. Res64: B0885E5C0F2099A4 Time : 0.0 sec. user=vaughan [2012-02-09 08:25:32] 525*2^1121832-1 is not prime. Res64: D92CBF269E7B9F9E Time : 0.0 sec. user=vaughan [2012-02-09 08:25:38] 567*2^1121832-1 is not prime. Res64: 2CAC1320AE1EC267 Time : 0.0 sec. user=vaughan [2012-02-09 08:25:39] 587*2^1121832-1 is not prime. Res64: 257FBC8CA02445CC Time : 0.0 sec. user=juhehe [2012-02-09 08:29:27] 475*2^1121831-1 is not prime. Res64: 937B336D4CEDB9E9 Time : 0.0 sec. user=juhehe [2012-02-09 08:31:12] 413*2^1121832-1 is not prime. Res64: 7B48DD7D96298E30 Time : 0.0 sec. user=vaughan [2012-02-09 08:33:59] 437*2^1121834-1 is not prime. Res64: 25413718A5BF565E Time : 0.0 sec. user=vaughan [2012-02-09 08:34:52] 545*2^1121306-1 is not prime. Res64: 05F88816871795F2 Time : 0.0 sec. user=vaughan [2012-02-09 08:35:05] 535*2^1121305-1 is not prime. Res64: 91BB07BEA95EA6E0 Time : 0.0 sec. user=vaughan [2012-02-09 08:35:13] 477*2^1121306-1 is not prime. Res64: 21DB9C5C2CDA6935 Time : 0.0 sec. user=vaughan [2012-02-09 08:35:37] 433*2^1121247-1 is not prime. Res64: 432D7F65ACE569B0 Time : 0.0 sec. user=vaughan [2012-02-09 08:35:38] 483*2^1121247-1 is not prime. Res64: CD4FA6EC9FA11549 Time : 0.0 sec. user=vaughan [2012-02-09 08:35:38] 501*2^1121834-1 is not prime. Res64: ECEDFA1018793D7E Time : 0.0 sec. user=vaughan [2012-02-09 08:35:38] 523*2^1121247-1 is not prime. Res64: FBE7112122162150 Time : 0.0 sec. user=vaughan [2012-02-09 08:35:39] 479*2^1121248-1 is not prime. Res64: 081AAEF01EE60A4C Time : 0.0 sec. user=vaughan [2012-02-09 08:35:50] 483*2^1121248-1 is not prime. Res64: B15912BCA53AABAD Time : 0.0 sec. user=vaughan [2012-02-09 08:35:51] 485*2^1121248-1 is not prime. Res64: 09F776341D97EE0D Time : 0.0 sec. user=juhehe [2012-02-09 09:02:11] 485*2^1121838-1 is not prime. Res64: 33E308E6C00D3B1F Time : 0.0 sec. user=juhehe [2012-02-09 09:03:53] 451*2^1121839-1 is not prime. Res64: FA9B2652A356DBAA Time : 0.0 sec. user=juhehe [2012-02-09 09:35:04] 489*2^1121845-1 is not prime. Res64: 7AFD56F3AD461DCF Time : 0.0 sec. user=juhehe [2012-02-09 09:36:39] 537*2^1121846-1 is not prime. Res64: 8C430FF7AB664E95 Time : 0.0 sec. user=juhehe [2012-02-09 10:07:44] 575*2^1121846-1 is not prime. Res64: BD42DD1AA79CB0F5 Time : 0.0 sec. user=juhehe [2012-02-09 10:09:22] 439*2^1121847-1 is not prime. Res64: 97022412995AFCB5 Time : 0.0 sec. user=juhehe [2012-02-09 10:40:31] 413*2^1121848-1 is not prime. Res64: 701E7E4C9BE01BA5 Time : 0.0 sec. user=juhehe [2012-02-09 10:42:07] 573*2^1121848-1 is not prime. Res64: 69A020BB5BD6690F Time : 0.0 sec. user=juhehe [2012-02-09 11:13:15] 487*2^1121849-1 is not prime. Res64: DD9AC343A5259ADD Time : 0.0 sec. user=juhehe [2012-02-09 11:14:51] 511*2^1121849-1 is not prime. Res64: 22C7B741317042BA Time : 0.0 sec. user=juhehe [2012-02-09 11:46:23] 579*2^1121849-1 is not prime. Res64: CF0103F4CEAA055D Time : 0.0 sec. user=juhehe [2012-02-09 11:47:13] 417*2^1121850-1 is not prime. Res64: 54B83E75A5C48CC0 Time : 0.0 sec. user=juhehe [2012-02-09 12:19:02] 437*2^1121850-1 is not prime. Res64: 706515EF33492CA6 Time : 0.0 sec. user=juhehe [2012-02-09 12:19:55] 505*2^1121851-1 is not prime. Res64: CFD2B6E3812C930C Time : 0.0 sec. user=juhehe [2012-02-09 12:51:52] 519*2^1121851-1 is not prime. Res64: 6F9CB8AFFBC8CAD4 Time : 0.0 sec. user=juhehe [2012-02-09 12:52:45] 495*2^1121852-1 is not prime. Res64: 2A8FE200D1832AB1 Time : 0.0 sec. user=juhehe [2012-02-09 13:24:35] 539*2^1121852-1 is not prime. Res64: 05E228D004AEBF21 Time : 0.0 sec. user=juhehe [2012-02-09 13:25:26] 549*2^1121853-1 is not prime. Res64: E367ED5ABDF0CE43 Time : 0.0 sec. user=juhehe [2012-02-09 13:34:13] 413*2^1121146-1 is not prime. Res64: 64C4D21AC9AE2AF9 Time : 0.0 sec. user=juhehe [2012-02-09 13:57:17] 435*2^1121854-1 is not prime. Res64: 5F090DC41AAE978D Time : 0.0 sec. user=juhehe [2012-02-09 13:57:47] 403*2^1121855-1 is not prime. Res64: 33C7DF1501D79700 Time : 0.0 sec. user=juhehe [2012-02-09 13:58:08] 545*2^1121854-1 is not prime. Res64: 121F7022691A7369 Time : 0.0 sec. user=juhehe [2012-02-09 14:22:21] 525*2^1121856-1 is not prime. Res64: D74344E43EC8F57D Time : 0.0 sec. user=juhehe [2012-02-09 14:30:10] 425*2^1121856-1 is not prime. Res64: DDDF23AFE7CCE59A Time : 0.0 sec. user=juhehe [2012-02-09 14:30:52] 585*2^1121856-1 is not prime. Res64: 989269CAE4D06983 Time : 0.0 sec. user=juhehe [2012-02-09 14:44:30] 597*2^1121856-1 is not prime. Res64: 440FFADCA9DC51DE Time : 0.0 sec. user=juhehe [2012-02-09 15:06:32] 501*2^1121858-1 is not prime. Res64: 9BB8099B28876D9E Time : 0.0 sec. user=juhehe [2012-02-09 15:28:41] 573*2^1121858-1 is not prime. Res64: EB66AF5DE33589E0 Time : 0.0 sec. user=juhehe [2012-02-09 15:50:52] 433*2^1121859-1 is not prime. Res64: 69D44D27622499B0 Time : 0.0 sec. user=juhehe [2012-02-09 16:12:52] 447*2^1121860-1 is not prime. Res64: B29F3FE399E1E190 Time : 0.0 sec. user=juhehe [2012-02-09 16:35:10] 513*2^1121860-1 is not prime. Res64: 0061E58A3DEE7FFF Time : 0.0 sec. user=juhehe [2012-02-09 16:57:15] 439*2^1121861-1 is not prime. Res64: 8F26029056BADE41 Time : 0.0 sec. user=juhehe [2012-02-09 17:19:26] 547*2^1121861-1 is not prime. Res64: C003B2B8C3554344 Time : 0.0 sec. user=vaughan [2012-02-09 22:34:26] 423*2^1121810-1 is not prime. Res64: A8F8722119B02512 Time : 0.0 sec. user=vaughan [2012-02-09 22:36:03] 497*2^1121812-1 is not prime. Res64: 48033296C0F33B8B Time : 0.0 sec. user=vaughan [2012-02-09 22:37:13] 541*2^1121305-1 is not prime. Res64: 5FF18DDA18061841 Time : 0.0 sec. user=vaughan [2012-02-09 22:37:36] 503*2^1121306-1 is not prime. Res64: 2410602606C10D31 Time : 0.0 sec. user=vaughan [2012-02-09 22:38:02] 403*2^1121307-1 is not prime. Res64: 979FF4161F368614 Time : 0.0 sec. user=vaughan [2012-02-09 22:38:11] 567*2^1121812-1 is not prime. Res64: C732E7F3A626DBBA Time : 0.0 sec. user=vaughan [2012-02-09 22:39:35] 441*2^1121817-1 is not prime. Res64: 19B97441DF68F2D0 Time : 0.0 sec. user=vaughan [2012-02-09 22:39:46] 543*2^1121814-1 is not prime. Res64: 16136E98BF2A3962 Time : 0.0 sec. user=vaughan [2012-02-09 22:40:33] 463*2^1121815-1 is not prime. Res64: 2DF653B4F6404A27 Time : 0.0 sec. user=vaughan [2012-02-09 22:40:35] 417*2^1121786-1 is not prime. Res64: AED0CAAA6FC90763 Time : 0.0 sec. user=vaughan [2012-02-09 22:40:58] 489*2^1121819-1 is not prime. Res64: 36AB14C000429D4E Time : 0.0 sec. user=vaughan [2012-02-09 22:41:00] 519*2^1121815-1 is not prime. Res64: AB58194202F453E9 Time : 0.0 sec. user=vaughan [2012-02-09 22:45:23] 507*2^1121834-1 is not prime. Res64: A812E42FBBDAF5A1 Time : 0.0 sec. user=vaughan [2012-02-09 22:46:54] 567*2^1121820-1 is not prime. Res64: 8B250D0A8D3EE0B7 Time : 0.0 sec. user=vaughan [2012-02-09 22:46:56] 479*2^1121824-1 is not prime. Res64: EC977F1734536895 Time : 0.0 sec. user=vaughan [2012-02-09 22:46:57] 525*2^1121824-1 is not prime. Res64: B5063B76CF7DD0D7 Time : 0.0 sec. user=vaughan [2012-02-09 22:47:01] 501*2^1121387-1 is not prime. Res64: 41A7BACE1106E2F5 Time : 0.0 sec. user=vaughan [2012-02-09 22:47:01] 529*2^1121387-1 is not prime. Res64: 87EE08BAA2ECD347 Time : 0.0 sec. user=vaughan [2012-02-09 22:47:12] 425*2^1121388-1 is not prime. Res64: 1C1D787FDE1F7A13 Time : 0.0 sec. user=vaughan [2012-02-09 22:47:13] 439*2^1121389-1 is not prime. Res64: 1266B8590E5F8221 Time : 0.0 sec. user=vaughan [2012-02-09 22:48:29] 447*2^1121825-1 is not prime. Res64: 02C428B7A16BCA40 Time : 0.0 sec. user=vaughan [2012-02-09 22:48:30] 465*2^1121825-1 is not prime. Res64: 6D5479DAEEFA96FA Time : 0.0 sec. user=vaughan [2012-02-09 22:48:58] 529*2^1121825-1 is not prime. Res64: 2B7746350812CE4C Time : 0.0 sec. user=vaughan [2012-02-09 22:48:59] 465*2^1121826-1 is not prime. Res64: 475CDC890FAAC16C Time : 0.0 sec. user=vaughan [2012-02-09 22:49:23] 561*2^1121834-1 is not prime. Res64: 61C7186DA02EB884 Time : 0.0 sec. user=vaughan [2012-02-09 22:49:24] 451*2^1121835-1 is not prime. Res64: 29B809B040831FB6 Time : 0.0 sec. user=vaughan [2012-02-09 22:49:29] 495*2^1121826-1 is not prime. Res64: 707640582F8F525E Time : 0.0 sec. user=vaughan [2012-02-09 22:49:30] 489*2^1121827-1 is not prime. Res64: 287E74CFF29787A1 Time : 0.0 sec. user=vaughan [2012-02-09 22:50:35] 497*2^1121834-1 is not prime. Res64: A25E702EE7C02494 Time : 0.0 sec. user=vaughan [2012-02-09 22:53:07] 595*2^1121823-1 is not prime. Res64: DD683DBD3FAC864B Time : 0.0 sec. user=vaughan [2012-02-09 22:53:07] 413*2^1121824-1 is not prime. Res64: 09B74B3DEA4B841E Time : 0.0 sec. user=vaughan [2012-02-09 22:53:45] 453*2^1121838-1 is not prime. Res64: AA136C089AB7C631 Time : 0.0 sec. user=vaughan [2012-02-09 22:53:46] 471*2^1121838-1 is not prime. Res64: 6FEAD7FE97F69300 Time : 0.0 sec. user=vaughan [2012-02-09 22:53:50] 513*2^1121835-1 is not prime. Res64: 4F9DF9F9A402589A Time : 0.0 sec. user=vaughan [2012-02-09 22:53:50] 453*2^1121836-1 is not prime. Res64: 4FBD66F7B8DA26DC Time : 0.0 sec. user=vaughan [2012-02-09 22:53:51] 539*2^1121836-1 is not prime. Res64: 310AA62490824F1C Time : 0.0 sec. user=vaughan [2012-02-09 22:53:52] 563*2^1121836-1 is not prime. Res64: 9968C4C750B1F93D Time : 0.0 sec. user=vaughan [2012-02-09 22:53:58] 465*2^1121837-1 is not prime. Res64: 5B20F42C84F6E3A8 Time : 0.0 sec. user=vaughan [2012-02-09 22:53:58] 487*2^1121837-1 is not prime. Res64: CD207333EA0D1A31 Time : 0.0 sec. user=vaughan [2012-02-09 22:54:39] 569*2^1121824-1 is not prime. Res64: 4B2FB10833E2E5B9 Time : 0.0 sec. user=vaughan [2012-02-09 22:54:39] 421*2^1121825-1 is not prime. Res64: CBAD5B18C11E8991 Time : 0.0 sec. user=vaughan [2012-02-09 22:54:40] 469*2^1121835-1 is not prime. Res64: D308F5296C062872 Time : 0.0 sec. user=vaughan [2012-02-09 22:54:40] 501*2^1121835-1 is not prime. Res64: 12F5885EFC8B9BD5 Time : 0.0 sec. user=vaughan [2012-02-09 22:57:06] 447*2^1121829-1 is not prime. Res64: 8CF3052021F8E560 Time : 0.0 sec. user=vaughan [2012-02-09 22:57:06] 555*2^1121829-1 is not prime. Res64: B9E981A6C6A59678 Time : 0.0 sec. user=vaughan [2012-02-09 22:57:10] 565*2^1121829-1 is not prime. Res64: B3A8CE347C6EFA79 Time : 0.0 sec. user=vaughan [2012-02-09 22:57:10] 571*2^1121829-1 is not prime. Res64: 540E1797ED7C1E9A Time : 0.0 sec. user=vaughan [2012-02-09 22:57:29] 499*2^1121863-1 is not prime. Res64: 032C308AADDF141F Time : 0.0 sec. user=vaughan [2012-02-09 22:57:30] 437*2^1121864-1 is not prime. Res64: 22CA6FDA2145901A Time : 0.0 sec. user=vaughan [2012-02-09 22:57:31] 557*2^1121864-1 is not prime. Res64: 291D67A20B5E20FB Time : 0.0 sec. user=vaughan [2012-02-09 22:57:31] 529*2^1121865-1 is not prime. Res64: 0FD5356E81BC4379 Time : 0.0 sec. user=vaughan [2012-02-09 23:06:45] 595*2^1121871-1 is not prime. Res64: 209BA4636838DCE9 Time : 0.0 sec. user=vaughan [2012-02-09 23:06:46] 445*2^1121873-1 is not prime. Res64: 175A075E491BEE4D Time : 0.0 sec. user=vaughan [2012-02-09 23:06:59] 495*2^1121873-1 is not prime. Res64: 7B8C3E70F029176F Time : 0.0 sec. user=vaughan [2012-02-09 23:07:00] 537*2^1121873-1 is not prime. Res64: FC86F360EB20C2D7 Time : 0.0 sec. user=vaughan [2012-02-09 23:08:50] 567*2^1121830-1 is not prime. Res64: 33A444316EC1FE3B Time : 0.0 sec. user=vaughan [2012-02-09 23:08:52] 433*2^1121831-1 is not prime. Res64: 58B126867F03D273 Time : 0.0 sec. user=vaughan [2012-02-09 23:12:56] 527*2^1121866-1 is not prime. Res64: 5F767A18170D3E49 Time : 0.0 sec. user=vaughan [2012-02-09 23:12:58] 545*2^1121866-1 is not prime. Res64: B90A587DCA187F88 Time : 0.0 sec. user=vaughan [2012-02-09 23:13:15] 459*2^1121841-1 is not prime. Res64: AC6FF7473E84D321 Time : 0.0 sec. user=vaughan [2012-02-09 23:13:17] 471*2^1121842-1 is not prime. Res64: 0FC30A849065C052 Time : 0.0 sec. user=vaughan [2012-02-09 23:13:21] 543*2^1121840-1 is not prime. Res64: FB6507CC1A5C969B Time : 0.0 sec. user=vaughan [2012-02-09 23:13:22] 441*2^1121841-1 is not prime. Res64: D76F3EDEF21D1A51 Time : 0.0 sec. user=vaughan [2012-02-09 23:13:26] 523*2^1121843-1 is not prime. Res64: EEC329822119CE64 Time : 0.0 sec. user=vaughan [2012-02-09 23:13:28] 405*2^1121845-1 is not prime. Res64: EACE0D267F815DDF Time : 0.0 sec. user=vaughan [2012-02-09 23:13:55] 557*2^1121862-1 is not prime. Res64: E8DDD0945368A880 Time : 0.0 sec. user=vaughan [2012-02-09 23:13:56] 421*2^1121863-1 is not prime. Res64: 90C7B7725CC210EC Time : 0.0 sec. user=vaughan [2012-02-09 23:14:04] 535*2^1121865-1 is not prime. Res64: 86DE924FACE38CFD Time : 0.0 sec. user=vaughan [2012-02-09 23:14:05] 443*2^1121866-1 is not prime. Res64: 05882FDCA1E31E71 Time : 0.0 sec. user=vaughan [2012-02-09 23:14:23] 453*2^1121866-1 is not prime. Res64: 6DE32CFAA57DAC24 Time : 0.0 sec. user=vaughan [2012-02-09 23:14:25] 491*2^1121866-1 is not prime. Res64: 3001787AFC6C1FD8 Time : 0.0 sec. user=vaughan [2012-02-09 23:14:32] 463*2^1121867-1 is not prime. Res64: F573844B24E52F40 Time : 0.0 sec. user=vaughan [2012-02-09 23:14:34] 465*2^1121867-1 is not prime. Res64: 3474DEB63F1E268F Time : 0.0 sec. user=vaughan [2012-02-09 23:14:35] 505*2^1121807-1 is not prime. Res64: CD48B5DD812E293F Time : 0.0 sec. user=vaughan [2012-02-09 23:14:36] 511*2^1121807-1 is not prime. Res64: B30B1EA14BAFCF22 Time : 0.0 sec. user=vaughan [2012-02-09 23:14:49] 411*2^1121809-1 is not prime. Res64: E7103751B87DABC9 Time : 0.0 sec. user=vaughan [2012-02-09 23:14:50] 495*2^1121866-1 is not prime. Res64: 67A16224F9C12210 Time : 0.0 sec. user=vaughan [2012-02-09 23:14:50] 567*2^1121809-1 is not prime. Res64: EC93ACD127A8238F Time : 0.0 sec. user=vaughan [2012-02-09 23:14:51] 507*2^1121866-1 is not prime. Res64: 9B3526AC8DF6B442 Time : 0.0 sec. user=vaughan [2012-02-09 23:15:18] 467*2^1121868-1 is not prime. Res64: AFEC75A4D3427BCB Time : 0.0 sec. user=vaughan [2012-02-09 23:15:19] 485*2^1121868-1 is not prime. Res64: 95206BAD4722ABE8 Time : 0.0 sec. user=vaughan [2012-02-09 23:15:28] 451*2^1121863-1 is not prime. Res64: A944A229F1D1B9FA Time : 0.0 sec. user=vaughan [2012-02-09 23:15:30] 463*2^1121863-1 is not prime. Res64: 6E9FE93BF633F5E8 Time : 0.0 sec. user=vaughan [2012-02-09 23:15:42] 405*2^1121870-1 is not prime. Res64: 52C01A0E32F7AC66 Time : 0.0 sec. user=vaughan [2012-02-09 23:15:43] 525*2^1121870-1 is not prime. Res64: F37FE260F067F8B1 Time : 0.0 sec. user=vaughan [2012-02-09 23:15:48] 507*2^1121804-1 is not prime. Res64: DAAC3DC80B9B22F2 Time : 0.0 sec. user=vaughan [2012-02-09 23:15:49] 585*2^1121804-1 is not prime. Res64: 95B85C8D078E080B Time : 0.0 sec. user=vaughan [2012-02-09 23:17:14] 437*2^1121884-1 is not prime. Res64: 01A3FF0C82CAA83F Time : 0.0 sec. user=vaughan [2012-02-09 23:17:14] 597*2^1121884-1 is not prime. Res64: BE50E5B92ED1185D Time : 0.0 sec. user=vaughan [2012-02-09 23:17:18] 547*2^1121885-1 is not prime. Res64: 3506C8A66BBF3EEF Time : 0.0 sec. user=vaughan [2012-02-09 23:17:19] 589*2^1121885-1 is not prime. Res64: 8F2B4B32AB900B1D Time : 0.0 sec. user=vaughan [2012-02-09 23:19:04] 581*2^1121866-1 is not prime. Res64: 6906E7C2BD1086A2 Time : 0.0 sec. user=vaughan [2012-02-09 23:19:05] 421*2^1121867-1 is not prime. Res64: F3CD86DEC5D84B37 Time : 0.0 sec. user=vaughan [2012-02-09 23:19:47] 535*2^1121871-1 is not prime. Res64: 5D831B7D26912D70 Time : 0.0 sec. user=vaughan [2012-02-09 23:19:47] 571*2^1121871-1 is not prime. Res64: 0260D3868F6293DD Time : 0.0 sec. user=vaughan [2012-02-09 23:19:54] 483*2^1121878-1 is not prime. Res64: C2E23908EF5EFC04 Time : 0.0 sec. user=vaughan [2012-02-09 23:19:55] 421*2^1121879-1 is not prime. Res64: B047CB4E2C5DF223 Time : 0.0 sec. user=vaughan [2012-02-09 23:19:56] 453*2^1121880-1 is not prime. Res64: 1E7010B1E05B3631 Time : 0.0 sec. user=vaughan [2012-02-09 23:19:57] 569*2^1121880-1 is not prime. Res64: 7C1B70EB8E7CCF30 Time : 0.0 sec. user=vaughan [2012-02-09 23:19:58] 505*2^1121879-1 is not prime. Res64: 41328741187509DC Time : 0.0 sec. user=vaughan [2012-02-09 23:19:59] 531*2^1121879-1 is not prime. Res64: 0EEA40A0CED3FE3F Time : 0.0 sec. user=vaughan [2012-02-09 23:20:02] 597*2^1121880-1 is not prime. Res64: F73C65F6EB850E44 Time : 0.0 sec. user=vaughan [2012-02-09 23:20:03] 525*2^1121881-1 is not prime. Res64: BEB4F5147083CF8A Time : 0.0 sec. user=vaughan [2012-02-09 23:20:23] 525*2^1121869-1 is not prime. Res64: 1C6A410A593C9063 Time : 0.0 sec. user=vaughan [2012-02-09 23:20:24] 567*2^1121869-1 is not prime. Res64: AE970F449E572C2A Time : 0.0 sec. user=vaughan [2012-02-09 23:21:32] 425*2^1121874-1 is not prime. Res64: 043C38724B186F5D Time : 0.0 sec. user=vaughan [2012-02-09 23:21:33] 465*2^1121874-1 is not prime. Res64: BDCFBE7756235935 Time : 0.0 sec. user=vaughan [2012-02-09 23:21:53] 507*2^1121874-1 is not prime. Res64: 1BF968908E53D138 Time : 0.0 sec. user=vaughan [2012-02-09 23:21:53] 415*2^1121875-1 is not prime. Res64: DA18586A599A2204 Time : 0.0 sec. user=vaughan [2012-02-09 23:22:12] 405*2^1121871-1 is not prime. Res64: 0DBFB9FD05ED26D0 Time : 0.0 sec. user=vaughan [2012-02-09 23:22:13] 445*2^1121871-1 is not prime. Res64: 8101C775215BF9C4 Time : 0.0 sec. user=vaughan [2012-02-09 23:22:25] 519*2^1121875-1 is not prime. Res64: BD18700DD755D8D8 Time : 0.0 sec. user=vaughan [2012-02-09 23:22:26] 541*2^1121875-1 is not prime. Res64: 9FF1C318735ADC03 Time : 0.0 sec. user=vaughan [2012-02-09 23:26:16] 465*2^1121875-1 is not prime. Res64: 91B2CFFBF48FEF0B Time : 0.0 sec. user=vaughan [2012-02-09 23:26:17] 489*2^1121875-1 is not prime. Res64: 9939EE41E9354E44 Time : 0.0 sec. user=vaughan [2012-02-09 23:26:17] 453*2^1121871-1 is not prime. Res64: FBC3677DF03659C6 Time : 0.0 sec. user=vaughan [2012-02-09 23:26:18] 493*2^1121871-1 is not prime. Res64: 5DD11E76A071A845 Time : 0.0 sec. user=vaughan [2012-02-09 23:26:32] 471*2^1121886-1 is not prime. Res64: 38FA53EA42FB7DBA Time : 0.0 sec. user=vaughan [2012-02-09 23:26:33] 469*2^1121887-1 is not prime. Res64: 79D584201112CBBD Time : 0.0 sec. user=vaughan [2012-02-09 23:26:51] 489*2^1121887-1 is not prime. Res64: 8673BD9F87A76E04 Time : 0.0 sec. user=vaughan [2012-02-09 23:26:52] 405*2^1121888-1 is not prime. Res64: 26A25CB7797FB9BB Time : 0.0 sec. user=vaughan [2012-02-09 23:31:23] 515*2^1121882-1 is not prime. Res64: B48E9DCE2F5F4A0B Time : 0.0 sec. user=vaughan [2012-02-09 23:31:24] 545*2^1121882-1 is not prime. Res64: EBD2D65DF5995560 Time : 0.0 sec. user=vaughan [2012-02-09 23:32:18] 493*2^1121883-1 is not prime. Res64: B14D91668E031376 Time : 0.0 sec. user=vaughan [2012-02-09 23:32:19] 495*2^1121883-1 is not prime. Res64: 09C34E2321F558A9 Time : 0.0 sec. user=vaughan [2012-02-09 23:32:22] 553*2^1121883-1 is not prime. Res64: CB57A214A6C32BEB Time : 0.0 sec. user=vaughan [2012-02-09 23:32:22] 435*2^1121884-1 is not prime. Res64: A9AFC0404F4B5D00 Time : 0.0 sec. user=vaughan [2012-02-09 23:32:37] 425*2^1121876-1 is not prime. Res64: 4C55F0C47CF3DC0B Time : 0.0 sec. user=vaughan [2012-02-09 23:32:38] 525*2^1121876-1 is not prime. Res64: BDC9F353ED9648FE Time : 0.0 sec. user=vaughan [2012-02-09 23:34:04] 461*2^1121882-1 is not prime. Res64: 2A20DB2282314F39 Time : 0.0 sec. user=vaughan [2012-02-09 23:34:04] 501*2^1121882-1 is not prime. Res64: BE2BBD1BDE2F3261 Time : 0.0 sec. user=vaughan [2012-02-09 23:34:41] 413*2^1121876-1 is not prime. Res64: 2FFA70ED7D255DF5 Time : 0.0 sec. user=vaughan [2012-02-09 23:34:41] 417*2^1121876-1 is not prime. Res64: ED4B2107112367DB Time : 0.0 sec. user=vaughan [2012-02-09 23:37:00] 475*2^1121897-1 is not prime. Res64: 11828D6B09BC8E1C Time : 0.0 sec. user=vaughan [2012-02-09 23:37:01] 477*2^1121897-1 is not prime. Res64: 466E239A47CA5875 Time : 0.0 sec. user=vaughan [2012-02-09 23:37:05] 501*2^1121897-1 is not prime. Res64: 0E9C60E6488D768C Time : 0.0 sec. user=vaughan [2012-02-09 23:37:06] 537*2^1121897-1 is not prime. Res64: D7B057BDA0AFB3B6 Time : 0.0 sec. user=vaughan [2012-02-09 23:46:20] 555*2^1121905-1 is not prime. Res64: CA6B7B391D938530 Time : 0.0 sec. user=vaughan [2012-02-09 23:46:20] 591*2^1121905-1 is not prime. Res64: DD3D95A89690CCF3 Time : 0.0 sec. user=vaughan [2012-02-09 23:46:36] 447*2^1121906-1 is not prime. Res64: B87DC90F914CB814 Time : 0.0 sec. user=vaughan [2012-02-09 23:46:37] 473*2^1121906-1 is not prime. Res64: 29A3FA3F18E64124 Time : 0.0 sec. user=vaughan [2012-02-09 23:46:45] 569*2^1121868-1 is not prime. Res64: 32C62C0410968A6F Time : 0.0 sec. user=vaughan [2012-02-09 23:46:46] 435*2^1121869-1 is not prime. Res64: 5F3433F5B3950E8A Time : 0.0 sec. user=vaughan [2012-02-09 23:46:46] 489*2^1121869-1 is not prime. Res64: 95442EDE35AAD8A1 Time : 0.0 sec. user=vaughan [2012-02-09 23:47:04] 485*2^1121898-1 is not prime. Res64: FE93A46BA1535D7F Time : 0.0 sec. user=vaughan [2012-02-09 23:47:06] 531*2^1121899-1 is not prime. Res64: 731E9374F095D92D Time : 0.0 sec. user=vaughan [2012-02-09 23:47:08] 537*2^1121900-1 is not prime. Res64: CA34B18977712352 Time : 0.0 sec. user=vaughan [2012-02-09 23:47:09] 585*2^1121900-1 is not prime. Res64: 428F8E629A3B5B05 Time : 0.0 sec. user=vaughan [2012-02-09 23:47:11] 561*2^1121899-1 is not prime. Res64: C46E06A879E051D8 Time : 0.0 sec. user=vaughan [2012-02-09 23:47:11] 495*2^1121901-1 is not prime. Res64: 8C04A22F6D6AC871 Time : 0.0 sec. user=vaughan [2012-02-09 23:47:11] 519*2^1121900-1 is not prime. Res64: 903ADEE340B29442 Time : 0.0 sec. user=vaughan [2012-02-09 23:47:12] 511*2^1121901-1 is not prime. Res64: D236A3D150B5BF1E Time : 0.0 sec. user=vaughan [2012-02-09 23:48:22] 413*2^1121888-1 is not prime. Res64: 62D10AB270163786 Time : 0.0 sec. user=vaughan [2012-02-09 23:48:22] 479*2^1121888-1 is not prime. Res64: 59A05330AC810B26 Time : 0.0 sec. user=vaughan [2012-02-09 23:48:41] 519*2^1121888-1 is not prime. Res64: 0443300D7E7130E8 Time : 0.0 sec. user=vaughan [2012-02-09 23:48:41] 481*2^1121889-1 is not prime. Res64: F940C33122267EE4 Time : 0.0 sec. user=vaughan [2012-02-09 23:50:13] 549*2^1121893-1 is not prime. Res64: 7D0278EFA89AA0DD Time : 0.0 sec. user=vaughan [2012-02-09 23:50:14] 589*2^1121893-1 is not prime. Res64: 569671559ADEABDE Time : 0.0 sec. user=vaughan [2012-02-09 23:50:52] 411*2^1121893-1 is not prime. Res64: 1285122AEE25E7C5 Time : 0.0 sec. user=vaughan [2012-02-09 23:50:53] 429*2^1121893-1 is not prime. Res64: 85A387BE9359FAC0 Time : 0.0 sec. user=vaughan [2012-02-09 23:51:04] 593*2^1121894-1 is not prime. Res64: 9D403CD16F21FEE2 Time : 0.0 sec. user=vaughan [2012-02-09 23:51:04] 481*2^1121895-1 is not prime. Res64: 30F1389816A4DB5D Time : 0.0 sec. user=vaughan [2012-02-09 23:51:12] 525*2^1121893-1 is not prime. Res64: 12DAD224F219C001 Time : 0.0 sec. user=vaughan [2012-02-09 23:51:13] 541*2^1121893-1 is not prime. Res64: 16FCFCC3E6299DE3 Time : 0.0 sec. user=vaughan [2012-02-09 23:51:24] 449*2^1121896-1 is not prime. Res64: AD19B459ADD1D917 Time : 0.0 sec. user=vaughan [2012-02-09 23:51:24] 483*2^1121896-1 is not prime. Res64: DB015EFDE5454282 Time : 0.0 sec. user=vaughan [2012-02-09 23:51:39] 545*2^1121894-1 is not prime. Res64: 8CC2F0184F7B5646 Time : 0.0 sec. user=vaughan [2012-02-09 23:51:40] 567*2^1121894-1 is not prime. Res64: 49EEFBB7C5F44C9E Time : 0.0 sec. user=vaughan [2012-02-09 23:52:47] 431*2^1121898-1 is not prime. Res64: 374DFD07E5D74DDC Time : 0.0 sec. user=vaughan [2012-02-09 23:52:47] 465*2^1121898-1 is not prime. Res64: 5A6D0C7BE0D4BA3D Time : 0.0 sec. user=vaughan [2012-02-09 23:53:30] 539*2^1121892-1 is not prime. Res64: 7F0094AEE46E98D3 Time : 0.0 sec. user=vaughan [2012-02-09 23:53:30] 569*2^1121892-1 is not prime. Res64: 11B57B29BD58633B Time : 0.0 sec. user=vaughan [2012-02-09 23:54:35] 565*2^1121903-1 is not prime. Res64: 75D87937FCF9DD73 Time : 0.0 sec. user=vaughan [2012-02-09 23:54:35] 571*2^1121903-1 is not prime. Res64: 7FB22371F9BDC246 Time : 0.0 sec. user=vaughan [2012-02-09 23:54:51] 589*2^1121903-1 is not prime. Res64: 3963D4C8D8441ADA Time : 0.0 sec. user=vaughan [2012-02-09 23:54:52] 425*2^1121904-1 is not prime. Res64: 8EE4C7B5DBF658C1 Time : 0.0 sec. user=vaughan [2012-02-09 23:54:53] 511*2^1121895-1 is not prime. Res64: B13A6B32F9DCD9C5 Time : 0.0 sec. user=vaughan [2012-02-09 23:54:54] 543*2^1121895-1 is not prime. Res64: 9907D348FB515ACA Time : 0.0 sec. user=vaughan [2012-02-09 23:55:26] 527*2^1121904-1 is not prime. Res64: B9116D64B064BBA1 Time : 0.0 sec. user=vaughan [2012-02-09 23:55:27] 563*2^1121904-1 is not prime. Res64: 56BE6455625A9BAD Time : 0.0 sec. user=vaughan [2012-02-09 23:56:50] 415*2^1121911-1 is not prime. Res64: 4F2980716B31F143 Time : 0.0 sec. user=vaughan [2012-02-09 23:56:50] 499*2^1121911-1 is not prime. Res64: 576E656F8D654EC2 Time : 0.0 sec. user=vaughan [2012-02-09 23:56:51] 483*2^1121912-1 is not prime. Res64: 841C021A8ADA09FD Time : 0.0 sec. user=vaughan [2012-02-09 23:56:51] 459*2^1121913-1 is not prime. Res64: EFBD2C9BB657B36E Time : 0.0 sec. user=vaughan [2012-02-09 23:57:24] 559*2^1121889-1 is not prime. Res64: 26A668BFE135F407 Time : 0.0 sec. user=vaughan [2012-02-09 23:57:24] 575*2^1121890-1 is not prime. Res64: 4D617980AF6FF604 Time : 0.0 sec. user=vaughan [2012-02-09 23:57:28] 549*2^1121891-1 is not prime. Res64: DA2B6DDF9C97CCCF Time : 0.0 sec. user=vaughan [2012-02-09 23:57:28] 585*2^1121891-1 is not prime. Res64: 0413D40B81811F46 Time : 0.0 sec. user=vaughan [2012-02-09 23:57:36] 405*2^1121892-1 is not prime. Res64: 1F8E895F74473A51 Time : 0.0 sec. user=vaughan [2012-02-09 23:57:37] 503*2^1121892-1 is not prime. Res64: A48E364BEAC29EA5 Time : 0.0 sec. user=vaughan [2012-02-09 23:58:30] 559*2^1121897-1 is not prime. Res64: B4B1E0E8300FE3D1 Time : 0.0 sec. user=vaughan [2012-02-09 23:58:31] 589*2^1121897-1 is not prime. Res64: B886BF02449E4B19 Time : 0.0 sec. user=vaughan [2012-02-09 23:59:02] 497*2^1121904-1 is not prime. Res64: 78AB5DB3990202C6 Time : 0.0 sec. user=vaughan [2012-02-09 23:59:02] 525*2^1121904-1 is not prime. Res64: D659F9142FE5C953 Time : 0.0 sec. user=vaughan [2012-02-09 23:59:50] 445*2^1121903-1 is not prime. Res64: EBED04772569B38B Time : 0.0 sec. user=vaughan [2012-02-09 23:59:51] 501*2^1121903-1 is not prime. Res64: B94CFA0E57BAFCDC Time : 0.0 sec.