user=henryzz [2012-05-29 01:15:31] 475*2^1133361-1 is not prime. Res64: ED68E7757891304A Time : 0.0 sec. user=henryzz [2012-05-29 01:15:33] 437*2^1133360-1 is not prime. Res64: F39B39AA14E226BE Time : 0.0 sec. user=henryzz [2012-05-29 01:15:56] 409*2^1133361-1 is not prime. Res64: B7E0DD1EE1662A55 Time : 0.0 sec. user=henryzz [2012-05-29 01:16:24] 573*2^1133359-1 is not prime. Res64: 2C3A5799F8EDCF3A Time : 0.0 sec. user=henryzz [2012-05-29 01:38:25] 551*2^1133362-1 is not prime. Res64: BEBFA3F4EC89D752 Time : 0.0 sec. user=henryzz [2012-05-29 01:38:35] 453*2^1133363-1 is not prime. Res64: DA2BAE85D9902DDF Time : 0.0 sec. user=henryzz [2012-05-29 01:38:47] 589*2^1133363-1 is not prime. Res64: B2DCAAF4DFAFE3D5 Time : 0.0 sec. user=henryzz [2012-05-29 01:39:20] 591*2^1133363-1 is not prime. Res64: C7FB0963F852D549 Time : 0.0 sec. user=henryzz [2012-05-29 02:01:14] 437*2^1133364-1 is not prime. Res64: 9DD7B6A2F34BC251 Time : 0.0 sec. user=henryzz [2012-05-29 02:01:24] 459*2^1133364-1 is not prime. Res64: F7CF651D7B69161B Time : 0.0 sec. user=henryzz [2012-05-29 02:01:37] 549*2^1133364-1 is not prime. Res64: A5DD1E74A9F2AE69 Time : 0.0 sec. user=henryzz [2012-05-29 02:02:08] 429*2^1133365-1 is not prime. Res64: E11196B364762AE4 Time : 0.0 sec. user=henryzz [2012-05-29 02:24:19] 561*2^1133365-1 is not prime. Res64: 2A1553EBEA8BCB97 Time : 0.0 sec. user=henryzz [2012-05-29 02:24:20] 541*2^1133365-1 is not prime. Res64: 78BC3AF299BA5A0E Time : 0.0 sec. user=henryzz [2012-05-29 02:24:36] 431*2^1133366-1 is not prime. Res64: 57D761AF392ACC85 Time : 0.0 sec. user=henryzz [2012-05-29 02:25:06] 447*2^1133366-1 is not prime. Res64: F0D1B6DA7B3570FA Time : 0.0 sec. user=henryzz [2012-05-29 02:47:10] 525*2^1133366-1 is not prime. Res64: 53507330B6CE75F0 Time : 0.0 sec. user=henryzz [2012-05-29 02:47:10] 495*2^1133366-1 is not prime. Res64: C475AD21E16059BE Time : 0.0 sec. user=henryzz [2012-05-29 02:47:22] 561*2^1133366-1 is not prime. Res64: 359DACE355AB1928 Time : 0.0 sec. user=henryzz [2012-05-29 02:47:50] 471*2^1133367-1 is not prime. Res64: 519F1DD8E45948D3 Time : 0.0 sec. user=henryzz [2012-05-29 03:10:22] 453*2^1133368-1 is not prime. Res64: AEA40D6F55CFBEBF Time : 0.0 sec. user=henryzz [2012-05-29 03:10:23] 475*2^1133367-1 is not prime. Res64: 6F8CCDDC96ABD7A5 Time : 0.0 sec. user=henryzz [2012-05-29 03:10:29] 501*2^1133367-1 is not prime. Res64: 0D91B8B80CE72D86 Time : 0.0 sec. user=henryzz [2012-05-29 03:10:45] 483*2^1133368-1 is not prime. Res64: CD4FD9D8F4E9E4BE Time : 0.0 sec. user=henryzz [2012-05-29 03:34:23] 465*2^1133370-1 is not prime. Res64: 130D3A8363B4FBF9 Time : 0.0 sec. user=henryzz [2012-05-29 03:34:23] 537*2^1133368-1 is not prime. Res64: 529B628BE1C15CDF Time : 0.0 sec. user=henryzz [2012-05-29 03:34:27] 533*2^1133368-1 is not prime. Res64: C401DC2E2BB02FE6 Time : 0.0 sec. user=henryzz [2012-05-29 03:34:38] 445*2^1133369-1 is not prime. Res64: E58D02F17E090C05 Time : 0.0 sec. user=henryzz [2012-05-29 03:58:00] 469*2^1133371-1 is not prime. Res64: 6D33E4058B1806CF Time : 0.0 sec. user=henryzz [2012-05-29 03:58:05] 567*2^1133370-1 is not prime. Res64: C44D66CB7454BECB Time : 0.0 sec. user=henryzz [2012-05-29 03:58:09] 531*2^1133371-1 is not prime. Res64: 84E2CA24A68EC385 Time : 0.0 sec. user=henryzz [2012-05-29 03:58:09] 595*2^1133371-1 is not prime. Res64: 01BC0EA2900A1839 Time : 0.0 sec. user=henryzz [2012-05-29 04:22:27] 479*2^1133372-1 is not prime. Res64: AFE2068E608BAB18 Time : 0.0 sec. user=henryzz [2012-05-29 04:22:39] 489*2^1133372-1 is not prime. Res64: 3D00942845DF1D43 Time : 0.0 sec. user=henryzz [2012-05-29 04:22:43] 557*2^1133372-1 is not prime. Res64: C480DE76D11C208C Time : 0.0 sec. user=henryzz [2012-05-29 04:22:46] 507*2^1133372-1 is not prime. Res64: 85930296AC78D653 Time : 0.0 sec. user=henryzz [2012-05-29 04:45:32] 563*2^1133372-1 is not prime. Res64: 3D575468DBE8592F Time : 0.0 sec. user=henryzz [2012-05-29 04:45:39] 599*2^1133372-1 is not prime. Res64: AC461150EDC66D5F Time : 0.0 sec. user=henryzz [2012-05-29 04:45:45] 513*2^1133374-1 is not prime. Res64: 248B5C2BE42B5CC6 Time : 0.0 sec. user=henryzz [2012-05-29 04:45:48] 481*2^1133373-1 is not prime. Res64: 5553BD53584ED243 Time : 0.0 sec. user=henryzz [2012-05-29 05:08:46] 543*2^1133375-1 is not prime. Res64: E0E012E30A9EC5AB Time : 0.0 sec. user=henryzz [2012-05-29 05:08:56] 465*2^1133376-1 is not prime. Res64: DB82896AFCCD906C Time : 0.0 sec. user=henryzz [2012-05-29 05:08:57] 567*2^1133377-1 is not prime. Res64: DC358043A7141D05 Time : 0.0 sec. user=henryzz [2012-05-29 05:09:07] 437*2^1133378-1 is not prime. Res64: A9A20C14E1C40346 Time : 0.0 sec. user=henryzz [2012-05-29 05:32:12] 501*2^1133378-1 is not prime. Res64: D0379A7525134726 Time : 0.0 sec. user=henryzz [2012-05-29 05:32:12] 503*2^1133378-1 is not prime. Res64: B5AC6F6787C1769A Time : 0.0 sec. user=henryzz [2012-05-29 05:32:23] 525*2^1133378-1 is not prime. Res64: 17C729CAD27110AF Time : 0.0 sec. user=henryzz [2012-05-29 05:32:26] 441*2^1133379-1 is not prime. Res64: 797C3186F26AAAF0 Time : 0.0 sec. user=henryzz [2012-05-29 05:55:37] 525*2^1133380-1 is not prime. Res64: 3E0F6136F267C1D5 Time : 0.0 sec. user=henryzz [2012-05-29 05:55:43] 489*2^1133379-1 is not prime. Res64: 9798628DD4C9913D Time : 0.0 sec. user=henryzz [2012-05-29 05:55:45] 477*2^1133381-1 is not prime. Res64: 3AA503E0B0CB2F3B Time : 0.0 sec. user=henryzz [2012-05-29 05:55:47] 587*2^1133380-1 is not prime. Res64: 173C4680B3B1C6C9 Time : 0.0 sec. user=henryzz [2012-05-29 06:18:58] 519*2^1133381-1 is not prime. Res64: F431CABAB17C6B6F Time : 0.0 sec. user=henryzz [2012-05-29 06:18:58] 561*2^1133381-1 is not prime. Res64: 4D3FCF3CC07CBD31 Time : 0.0 sec. user=henryzz [2012-05-29 06:19:01] 503*2^1133382-1 is not prime. Res64: F8F4E84B0D5B86D0 Time : 0.0 sec. user=henryzz [2012-05-29 06:19:04] 549*2^1133381-1 is not prime. Res64: 5BE8B7D108C83EFD Time : 0.0 sec. user=henryzz [2012-05-29 06:41:51] 581*2^1133382-1 is not prime. Res64: 8BAE333FCC3E7CDD Time : 0.0 sec. user=henryzz [2012-05-29 06:41:52] 433*2^1133383-1 is not prime. Res64: B03B09753EA3822D Time : 0.0 sec. user=henryzz [2012-05-29 06:41:55] 453*2^1133383-1 is not prime. Res64: EED0684033F3E814 Time : 0.0 sec. user=henryzz [2012-05-29 06:41:58] 527*2^1133382-1 is not prime. Res64: 8EC56CC868AB4E08 Time : 0.0 sec. user=henryzz [2012-05-29 07:07:09] 483*2^1133383-1 is not prime. Res64: 9C0DE721F9B7ED4D Time : 0.0 sec. user=henryzz [2012-05-29 07:07:58] 499*2^1133383-1 is not prime. Res64: 584A3029EE31F79E Time : 0.0 sec. user=henryzz [2012-05-29 07:08:53] 573*2^1133383-1 is not prime. Res64: 79275D19966FF101 Time : 0.0 sec. user=henryzz [2012-05-29 07:08:55] 541*2^1133383-1 is not prime. Res64: 035F172A7BF88B9E Time : 0.0 sec. user=henryzz [2012-05-29 07:34:13] 441*2^1133385-1 is not prime. Res64: 7371374A71D4EF03 Time : 0.0 sec. user=henryzz [2012-05-29 07:35:44] 471*2^1133386-1 is not prime. Res64: AA4C019E1419C58B Time : 0.0 sec. user=henryzz [2012-05-29 07:36:51] 429*2^1133385-1 is not prime. Res64: C682DF36357AA4EE Time : 0.0 sec. user=henryzz [2012-05-29 07:37:59] 405*2^1133386-1 is not prime. Res64: 95AE30DE62907DB7 Time : 0.0 sec. user=henryzz [2012-05-29 08:00:53] 433*2^1133387-1 is not prime. Res64: E098D1B63BB7F98A Time : 0.0 sec. user=henryzz [2012-05-29 08:02:03] 503*2^1133386-1 is not prime. Res64: 05989386E458819A Time : 0.0 sec. user=henryzz [2012-05-29 08:03:12] 435*2^1133387-1 is not prime. Res64: B3321DCBAB702084 Time : 0.0 sec. user=henryzz [2012-05-29 08:03:35] 453*2^1133387-1 is not prime. Res64: 4042458D1ABAFFC7 Time : 0.0 sec. user=henryzz [2012-05-29 08:26:40] 465*2^1133387-1 is not prime. Res64: B4154A3592DFE98D Time : 0.0 sec. user=henryzz [2012-05-29 08:29:50] 595*2^1133387-1 is not prime. Res64: FC87D7882379D1F7 Time : 0.0 sec. user=henryzz [2012-05-29 08:30:52] 523*2^1133387-1 is not prime. Res64: 659B96B086E8682D Time : 0.0 sec. user=henryzz [2012-05-29 08:34:51] 405*2^1133388-1 is not prime. Res64: 8B0DEE05389F6A52 Time : 0.0 sec. user=henryzz [2012-05-29 08:53:18] 413*2^1133388-1 is not prime. Res64: EA120CDBE0A73D19 Time : 0.0 sec. user=henryzz [2012-05-29 08:55:27] 423*2^1133388-1 is not prime. Res64: 9117B1F627FBBB33 Time : 0.0 sec. user=henryzz [2012-05-29 08:56:48] 425*2^1133388-1 is not prime. Res64: 1D41B44A7538FD1D Time : 0.0 sec. user=henryzz [2012-05-29 09:01:18] 507*2^1133388-1 is not prime. Res64: 0AC72FCC66D5994A Time : 0.0 sec. user=henryzz [2012-05-29 09:19:14] 515*2^1133388-1 is not prime. Res64: 6896FAE649735EB1 Time : 0.0 sec. user=henryzz [2012-05-29 09:21:37] 569*2^1133388-1 is not prime. Res64: 1BE324E7F1DC5642 Time : 0.0 sec. user=henryzz [2012-05-29 09:22:29] 439*2^1133389-1 is not prime. Res64: 6ADC53DA9FF130CB Time : 0.0 sec. user=henryzz [2012-05-29 09:27:03] 547*2^1133389-1 is not prime. Res64: 5127C1619A8568DD Time : 0.0 sec. user=henryzz [2012-05-29 09:44:49] 559*2^1133389-1 is not prime. Res64: 2535CD6A6C9E0EB7 Time : 0.0 sec. user=henryzz [2012-05-29 09:47:44] 595*2^1133389-1 is not prime. Res64: 1E8EA5684CF924E9 Time : 0.0 sec. user=henryzz [2012-05-29 09:48:41] 407*2^1133390-1 is not prime. Res64: 752E79BA6898355A Time : 0.0 sec. user=henryzz [2012-05-29 09:53:07] 473*2^1133390-1 is not prime. Res64: F59C436CCA45D521 Time : 0.0 sec. user=henryzz [2012-05-29 10:10:17] 477*2^1133390-1 is not prime. Res64: 62B24E52970DE266 Time : 0.0 sec. user=henryzz [2012-05-29 10:13:36] 521*2^1133390-1 is not prime. Res64: 0B26660F05512B24 Time : 0.0 sec. user=henryzz [2012-05-29 10:14:26] 525*2^1133390-1 is not prime. Res64: 82F36FE86DE38C47 Time : 0.0 sec. user=henryzz [2012-05-29 10:18:51] 433*2^1133391-1 is not prime. Res64: 9F6E37AF33941DF9 Time : 0.0 sec. user=henryzz [2012-05-29 10:35:15] 559*2^1133391-1 is not prime. Res64: 1D1F39EB146F2BCE Time : 0.0 sec. user=henryzz [2012-05-29 10:39:06] 437*2^1133392-1 is not prime. Res64: A8F34438C866646A Time : 0.0 sec. user=henryzz [2012-05-29 10:40:53] 591*2^1133391-1 is not prime. Res64: 805A20E7F8E5E756 Time : 0.0 sec. user=henryzz [2012-05-29 10:46:27] 435*2^1133393-1 is not prime. Res64: 342978B03842348C Time : 0.0 sec. user=henryzz [2012-05-29 11:00:30] 511*2^1133393-1 is not prime. Res64: 0BED6D3B8DEEEBF5 Time : 0.0 sec. user=henryzz [2012-05-29 11:04:48] 513*2^1133394-1 is not prime. Res64: EE7211F8B9537CE1 Time : 0.0 sec. user=henryzz [2012-05-29 11:08:44] 521*2^1133394-1 is not prime. Res64: 977E4BA1BAC85CFE Time : 0.0 sec. user=henryzz [2012-05-29 11:11:59] 551*2^1133394-1 is not prime. Res64: C077AE750C8A49B4 Time : 0.0 sec. user=vaughan [2012-05-29 11:23:59] 573*2^1133394-1 is not prime. Res64: CA4B5AB7C789D5C9 Time : 0.0 sec. user=henryzz [2012-05-29 11:25:30] 585*2^1133394-1 is not prime. Res64: 9C02EEB996A73107 Time : 0.0 sec. user=henryzz [2012-05-29 11:33:48] 587*2^1133394-1 is not prime. Res64: 2576236B067499F9 Time : 0.0 sec. user=henryzz [2012-05-29 11:34:16] 475*2^1133395-1 is not prime. Res64: DE4C3FCEADE94B52 Time : 0.0 sec. user=henryzz [2012-05-29 11:37:02] 493*2^1133395-1 is not prime. Res64: 081C183040063E90 Time : 0.0 sec. user=henryzz [2012-05-29 11:50:21] 583*2^1133395-1 is not prime. Res64: 1EDCCA84D3A72CF9 Time : 0.0 sec. user=henryzz [2012-05-29 11:58:30] 447*2^1133397-1 is not prime. Res64: 09FFDFB209ACC1F9 Time : 0.0 sec. user=henryzz [2012-05-29 12:01:01] 427*2^1133397-1 is not prime. Res64: 8C2A55892F111791 Time : 0.0 sec. user=henryzz [2012-05-29 12:04:29] 517*2^1133397-1 is not prime. Res64: A30DE6726FC7125B Time : 0.0 sec. user=henryzz [2012-05-29 12:15:53] 537*2^1133397-1 is not prime. Res64: EE460986710546BC Time : 0.0 sec. user=henryzz [2012-05-29 12:25:03] 533*2^1133398-1 is not prime. Res64: A263B7455C3FB145 Time : 0.0 sec. user=henryzz [2012-05-29 12:27:11] 561*2^1133398-1 is not prime. Res64: 0E42F30342B619D3 Time : 0.0 sec. user=henryzz [2012-05-29 12:30:59] 575*2^1133398-1 is not prime. Res64: 6BE4D5C2C13C2535 Time : 0.0 sec. user=henryzz [2012-05-29 12:41:54] 423*2^1133399-1 is not prime. Res64: FC988C5DEB08497F Time : 0.0 sec. user=henryzz [2012-05-29 12:51:15] 437*2^1133400-1 is not prime. Res64: 0B44F4DDE08474F2 Time : 0.0 sec. user=henryzz [2012-05-29 12:55:18] 465*2^1133400-1 is not prime. Res64: 6AF7A8495D1088F1 Time : 0.0 sec. user=henryzz [2012-05-29 12:56:48] 515*2^1133400-1 is not prime. Res64: C814E484866BB138 Time : 0.0 sec. user=henryzz [2012-05-29 13:07:51] 557*2^1133400-1 is not prime. Res64: 49B295621C3BBB85 Time : 0.0 sec. user=henryzz [2012-05-29 13:18:27] 565*2^1133401-1 is not prime. Res64: 749673B803F86B55 Time : 0.0 sec. user=henryzz [2012-05-29 13:24:45] 417*2^1133402-1 is not prime. Res64: 3AFA74A15C0EEE76 Time : 0.0 sec. user=henryzz [2012-05-29 13:25:45] 577*2^1133401-1 is not prime. Res64: 2A557F889DF61D0F Time : 0.0 sec. user=henryzz [2012-05-29 13:53:29] 429*2^1133404-1 is not prime. Res64: 446B41CD2DD885CC Time : 0.0 sec. user=henryzz [2012-05-29 13:53:56] 459*2^1133403-1 is not prime. Res64: 553B23E3D0B43BA3 Time : 0.0 sec. user=henryzz [2012-05-29 13:54:20] 587*2^1133402-1 is not prime. Res64: ABB06C312099F3AE Time : 0.0 sec. user=henryzz [2012-05-29 13:56:39] 573*2^1133403-1 is not prime. Res64: 4C3F52AE95996D88 Time : 0.0 sec. user=henryzz [2012-05-29 14:19:55] 443*2^1133404-1 is not prime. Res64: 055E61B7B4A02B1C Time : 0.0 sec. user=henryzz [2012-05-29 14:20:17] 495*2^1133404-1 is not prime. Res64: 716110DE9240AF8F Time : 0.0 sec. user=henryzz [2012-05-29 14:21:32] 563*2^1133404-1 is not prime. Res64: AC523609800E908E Time : 0.0 sec. user=henryzz [2012-05-29 14:23:15] 579*2^1133404-1 is not prime. Res64: 1A7003A915444EC6 Time : 0.0 sec. user=henryzz [2012-05-29 14:45:06] 437*2^1133406-1 is not prime. Res64: F19334030BFD9A36 Time : 0.0 sec. user=henryzz [2012-05-29 14:48:22] 421*2^1133407-1 is not prime. Res64: B016A3CA69D8DB2E Time : 0.0 sec. user=henryzz [2012-05-29 14:49:13] 577*2^1133405-1 is not prime. Res64: 0F8854A24CD795B4 Time : 0.0 sec. user=henryzz [2012-05-29 14:50:25] 405*2^1133407-1 is not prime. Res64: EDC24636CB93D580 Time : 0.0 sec. user=henryzz [2012-05-29 15:11:05] 531*2^1133407-1 is not prime. Res64: F1A730A7021592A7 Time : 0.0 sec. user=henryzz [2012-05-29 15:14:44] 595*2^1133407-1 is not prime. Res64: 69DED84F02C94E16 Time : 0.0 sec. user=henryzz [2012-05-29 15:15:00] 465*2^1133409-1 is not prime. Res64: DB21294CB7BEFAD3 Time : 0.0 sec. user=henryzz [2012-05-29 15:16:29] 469*2^1133409-1 is not prime. Res64: B56D9C6A155C2A53 Time : 0.0 sec. user=henryzz [2012-05-29 15:36:09] 453*2^1133410-1 is not prime. Res64: E42B95AA13582EB4 Time : 0.0 sec. user=henryzz [2012-05-29 15:39:39] 527*2^1133410-1 is not prime. Res64: 060F252F8A1C3E89 Time : 0.0 sec. user=henryzz [2012-05-29 15:41:42] 521*2^1133410-1 is not prime. Res64: 3C207FFB4E0C9D06 Time : 0.0 sec. user=henryzz [2012-05-29 15:44:24] 503*2^1133412-1 is not prime. Res64: 8EE314C0C5A7E115 Time : 0.0 sec. user=henryzz [2012-05-29 16:03:00] 539*2^1133412-1 is not prime. Res64: 1AF9EB38D4C28783 Time : 0.0 sec. user=henryzz [2012-05-29 16:09:55] 569*2^1133412-1 is not prime. Res64: 3C2FE909416DD188 Time : 0.0 sec. user=henryzz [2012-05-29 16:12:08] 567*2^1133412-1 is not prime. Res64: D095AB6497F2D1C9 Time : 0.0 sec. user=henryzz [2012-05-29 16:16:10] 507*2^1133413-1 is not prime. Res64: 4E1459600C74FDA8 Time : 0.0 sec. user=henryzz [2012-05-29 16:39:44] 597*2^1133413-1 is not prime. Res64: 16D62CF34A09993C Time : 0.0 sec. user=henryzz [2012-05-29 16:42:15] 521*2^1133414-1 is not prime. Res64: F3CBD886B4389EA4 Time : 0.0 sec. user=henryzz [2012-05-29 16:43:28] 555*2^1133413-1 is not prime. Res64: CC7B27FD75ADF18A Time : 0.0 sec. user=henryzz [2012-05-29 16:50:17] 557*2^1133414-1 is not prime. Res64: F0F33E41519D49F3 Time : 0.0 sec. user=henryzz [2012-05-29 17:09:41] 585*2^1133414-1 is not prime. Res64: F39E0CA432D90358 Time : 0.0 sec. user=henryzz [2012-05-29 17:11:03] 441*2^1133415-1 is not prime. Res64: 1B00A12C5A049476 Time : 0.0 sec. user=henryzz [2012-05-29 17:16:00] 411*2^1133415-1 is not prime. Res64: 554072B5FEB04F31 Time : 0.0 sec. user=henryzz [2012-05-29 17:23:00] 501*2^1133415-1 is not prime. Res64: CBD6E99610473685 Time : 0.0 sec. user=henryzz [2012-05-29 17:33:27] 573*2^1133415-1 is not prime. Res64: D82074FB99912719 Time : 0.0 sec. user=henryzz [2012-05-29 17:37:44] 587*2^1133416-1 is not prime. Res64: D4618FA2D638F1F7 Time : 0.0 sec. user=henryzz [2012-05-29 17:39:46] 517*2^1133417-1 is not prime. Res64: 367D71230BB85564 Time : 0.0 sec. user=henryzz [2012-05-29 17:46:36] 529*2^1133417-1 is not prime. Res64: 3AD15C4676A745B0 Time : 0.0 sec. user=henryzz [2012-05-29 17:57:01] 589*2^1133417-1 is not prime. Res64: E7570427284815D4 Time : 0.0 sec. user=henryzz [2012-05-29 18:01:51] 417*2^1133418-1 is not prime. Res64: F17BE06ACA1A37BD Time : 0.0 sec. user=henryzz [2012-05-29 18:03:19] 555*2^1133419-1 is not prime. Res64: 74AB5BD83B37539C Time : 0.0 sec. user=henryzz [2012-05-29 18:10:32] 573*2^1133419-1 is not prime. Res64: 72F2032D7C4A5764 Time : 0.0 sec. user=henryzz [2012-05-29 18:20:47] 477*2^1133420-1 is not prime. Res64: B113FA06F8E62EBC Time : 0.0 sec. user=vaughan [2012-05-29 19:49:22] 483*2^1133422-1 is not prime. Res64: 9D9DEE2639094003 Time : 0.0 sec. user=vaughan [2012-05-29 21:35:31] 507*2^1133422-1 is not prime. Res64: 3DD9ECEAB2AE684D Time : 0.0 sec.