user=Wario [2012-10-13 00:01:50] 32733*2^499144-1 is not prime. Res64: 25771B0BA9F857DC Time : 302.0 sec. user=Wario [2012-10-13 00:01:58] 33675*2^499144-1 is not prime. Res64: 91B4B240594641A4 Time : 302.0 sec. user=Wario [2012-10-13 00:03:01] 36603*2^499144-1 is not prime. Res64: 9F50B6C8896009CB Time : 303.0 sec. user=Wario [2012-10-13 00:03:29] 37515*2^499144-1 is not prime. Res64: 8225F5DE74BD1DCF Time : 302.0 sec. user=Wario [2012-10-13 00:03:37] 37575*2^499144-1 is not prime. Res64: 16A358DAA26ED59C Time : 301.0 sec. user=Wario [2012-10-13 00:04:04] 41475*2^499144-1 is not prime. Res64: FF0EFC6A74DAA459 Time : 302.0 sec. user=Wario [2012-10-13 00:06:52] 42393*2^499144-1 is not prime. Res64: 1F8BDA2FCEC8B030 Time : 302.0 sec. user=Wario [2012-10-13 00:07:02] 44127*2^499144-1 is not prime. Res64: A95D7A10E3E277D2 Time : 303.0 sec. user=Wario [2012-10-13 00:08:03] 48027*2^499144-1 is not prime. Res64: 67DC970894D7B570 Time : 302.0 sec. user=Wario [2012-10-13 00:08:33] 48705*2^499144-1 is not prime. Res64: BEB2272DE09BBC00 Time : 303.0 sec. user=Wario [2012-10-13 00:08:41] 49167*2^499144-1 is not prime. Res64: 58B3A7BD7CF9A6D7 Time : 304.0 sec. user=Wario [2012-10-13 00:09:09] 50973*2^499144-1 is not prime. Res64: BE7F4CA8D5C783C9 Time : 305.0 sec. user=Wario [2012-10-13 00:11:55] 53397*2^499144-1 is not prime. Res64: 68B0B3DEAFE01C4D Time : 302.0 sec. user=Wario [2012-10-13 00:12:05] 55347*2^499144-1 is not prime. Res64: 2EC808A5E445F476 Time : 303.0 sec. user=Wario [2012-10-13 00:13:06] 58563*2^499144-1 is not prime. Res64: 2A454E38979AB361 Time : 303.0 sec. user=Wario [2012-10-13 00:13:39] 59247*2^499144-1 is not prime. Res64: C2EA606AA5BC3327 Time : 306.0 sec. user=Wario [2012-10-13 00:13:47] 63975*2^499144-1 is not prime. Res64: 42F0D16CE4815306 Time : 306.0 sec. user=Wario [2012-10-13 00:14:19] 70023*2^499144-1 is not prime. Res64: 6FC3441D965BFD79 Time : 310.0 sec. user=Wario [2012-10-13 00:17:04] 70125*2^499144-1 is not prime. Res64: 11A748ABCC75B424 Time : 308.0 sec. user=Wario [2012-10-13 00:17:19] 71805*2^499144-1 is not prime. Res64: B73674A863FFBC17 Time : 314.0 sec. user=Wario [2012-10-13 00:18:19] 72105*2^499144-1 is not prime. Res64: 479FA7B3B6AE6AE0 Time : 313.0 sec. user=Wario [2012-10-13 00:18:56] 74055*2^499144-1 is not prime. Res64: B6B7747D0980873A Time : 317.0 sec. user=Wario [2012-10-13 00:18:56] 78213*2^499144-1 is not prime. Res64: 81ADC62B1CB9AA3A Time : 309.0 sec. user=Wario [2012-10-13 00:20:23] 92055*2^499144-1 is not prime. Res64: 273E834374AE584C Time : 363.0 sec. user=Wario [2012-10-13 00:23:12] 95865*2^499144-1 is not prime. Res64: 0459BE91A33F898F Time : 368.0 sec. user=Wario [2012-10-13 00:23:26] 95877*2^499144-1 is not prime. Res64: 53C3920AE690D21F Time : 367.0 sec. user=Wario [2012-10-13 00:24:05] 9555*2^499145-1 is not prime. Res64: 7AA75E2C750365A5 Time : 309.0 sec. user=Wario [2012-10-13 00:24:14] 9741*2^499145-1 is not prime. Res64: 758E9A0B09394062 Time : 318.0 sec. user=Wario [2012-10-13 00:24:23] 99063*2^499144-1 is not prime. Res64: B39AE676562ACCAD Time : 364.0 sec. user=Wario [2012-10-13 00:25:31] 10521*2^499145-1 is not prime. Res64: C33EAF57A50B5118 Time : 308.0 sec. user=Wario [2012-10-13 00:28:27] 12501*2^499145-1 is not prime. Res64: F291E654B9299B9E Time : 315.0 sec. user=Wario [2012-10-13 00:28:57] 21585*2^499145-1 is not prime. Res64: 8D86C6CAF8B7936F Time : 330.0 sec. user=Wario [2012-10-13 00:29:23] 23205*2^499145-1 is not prime. Res64: 72901D49139B7C7C Time : 317.0 sec. user=Wario [2012-10-13 00:29:41] 33429*2^499145-1 is not prime. Res64: 04B94F463B3FC1D9 Time : 318.0 sec. user=Wario [2012-10-13 00:29:43] 23799*2^499145-1 is not prime. Res64: 6BC29E01F804AEE3 Time : 329.0 sec. user=Wario [2012-10-13 00:30:53] 38685*2^499145-1 is not prime. Res64: 580F97804DC9F1BE Time : 322.0 sec. user=Wario [2012-10-13 00:33:42] 40449*2^499145-1 is not prime. Res64: 54AD89BDAF3FADA6 Time : 314.0 sec. user=Wario [2012-10-13 00:34:09] 45591*2^499145-1 is not prime. Res64: C65069C5FA17609D Time : 312.0 sec. user=Wario [2012-10-13 00:34:41] 46539*2^499145-1 is not prime. Res64: 67F92F1B1DBE89DE Time : 318.0 sec. user=Wario [2012-10-13 00:34:47] 50019*2^499145-1 is not prime. Res64: 903E75FA94CECF83 Time : 305.0 sec. user=Wario [2012-10-13 00:34:58] 53325*2^499145-1 is not prime. Res64: 8F8090EA8AB229F8 Time : 315.0 sec. user=Wario [2012-10-13 00:36:11] 55539*2^499145-1 is not prime. Res64: 2563D8FE33CCDBF0 Time : 318.0 sec. user=Wario [2012-10-13 00:38:54] 61041*2^499145-1 is not prime. Res64: 2CB533F7A3F27055 Time : 311.0 sec. user=Wario [2012-10-13 00:39:23] 61341*2^499145-1 is not prime. Res64: AB9A442A91F13FD7 Time : 314.0 sec. user=Wario [2012-10-13 00:39:50] 65811*2^499145-1 is not prime. Res64: D3BD9C785F9A57DD Time : 309.0 sec. user=Wario [2012-10-13 00:40:02] 67479*2^499145-1 is not prime. Res64: 64198685448772E0 Time : 314.0 sec. user=Wario [2012-10-13 00:40:10] 75345*2^499145-1 is not prime. Res64: 0B0452FD15E6B25E Time : 312.0 sec. user=Wario [2012-10-13 00:41:23] 77085*2^499145-1 is not prime. Res64: 4865968D0921DA74 Time : 312.0 sec. user=Wario [2012-10-13 00:44:16] 82209*2^499145-1 is not prime. Res64: B146D552EFC0F27D Time : 322.0 sec. user=Wario [2012-10-13 00:44:42] 83439*2^499145-1 is not prime. Res64: 8BCE3F20C3B5B4C6 Time : 319.0 sec. user=Wario [2012-10-13 00:45:12] 84189*2^499145-1 is not prime. Res64: 3426B458E22A365F Time : 322.0 sec. user=Wario [2012-10-13 00:46:24] 88245*2^499145-1 is not prime. Res64: DC247AF87C801AA3 Time : 382.0 sec. user=Wario [2012-10-13 00:46:29] 89859*2^499145-1 is not prime. Res64: 32CD8E1B5787CAF4 Time : 378.0 sec. user=Wario [2012-10-13 00:47:46] 90999*2^499145-1 is not prime. Res64: FA9BC8DB9374F4F3 Time : 383.0 sec. user=Wario [2012-10-13 00:48:58] 1323*2^499146-1 is not prime. Res64: 44A550BA743C3871 Time : 226.0 sec. user=Wario [2012-10-13 00:50:34] 96429*2^499145-1 is not prime. Res64: 8318F87F5663D6DF Time : 377.0 sec. user=Wario [2012-10-13 00:51:10] 99141*2^499145-1 is not prime. Res64: 81D7782408F9F97A Time : 387.0 sec. user=Wario [2012-10-13 00:51:53] 3783*2^499146-1 is not prime. Res64: F287CC40C087408F Time : 329.0 sec. user=Wario [2012-10-13 00:51:59] 9105*2^499146-1 is not prime. Res64: F74200C1A98AE191 Time : 330.0 sec. user=Wario [2012-10-13 00:53:15] 18867*2^499146-1 is not prime. Res64: D4AEF1F1BB4D059B Time : 329.0 sec. user=Wario [2012-10-13 00:54:14] 26085*2^499146-1 is not prime. Res64: 68621F3C3B8EEE39 Time : 315.0 sec. user=Wario [2012-10-13 00:55:44] 31083*2^499146-1 is not prime. Res64: 4545A58FB71C727D Time : 310.0 sec. user=Wario [2012-10-13 00:56:20] 32595*2^499146-1 is not prime. Res64: 8E645CF3E28AA21F Time : 310.0 sec. user=Wario [2012-10-13 00:57:00] 32835*2^499146-1 is not prime. Res64: 74E098BC22471580 Time : 307.0 sec. user=Wario [2012-10-13 00:57:05] 36447*2^499146-1 is not prime. Res64: 7380D4A68C8BC8D2 Time : 305.0 sec. user=Wario [2012-10-13 00:58:21] 38313*2^499146-1 is not prime. Res64: A7FBB06B81747C09 Time : 306.0 sec. user=Wario [2012-10-13 00:59:19] 38337*2^499146-1 is not prime. Res64: 50A34D2C02754BFC Time : 305.0 sec. user=Wario [2012-10-13 01:00:50] 40077*2^499146-1 is not prime. Res64: AB968DC6B918D3DF Time : 306.0 sec. user=Wario [2012-10-13 01:01:26] 40875*2^499146-1 is not prime. Res64: 2B6CC31D637A8516 Time : 306.0 sec. user=Wario [2012-10-13 01:02:06] 44037*2^499146-1 is not prime. Res64: 336ADF78AE4D3088 Time : 305.0 sec. user=Wario [2012-10-13 01:02:11] 44607*2^499146-1 is not prime. Res64: 85AE40779AA8E35B Time : 305.0 sec. user=Wario [2012-10-13 01:03:25] 46725*2^499146-1 is not prime. Res64: E9AE5C106BC98591 Time : 304.0 sec. user=Wario [2012-10-13 01:04:22] 49017*2^499146-1 is not prime. Res64: B974CE4493402CAD Time : 302.0 sec. user=Wario [2012-10-13 01:05:55] 49683*2^499146-1 is not prime. Res64: 2C58EA86BB281D41 Time : 304.0 sec. user=Wario [2012-10-13 01:06:32] 49875*2^499146-1 is not prime. Res64: 924525B2938288BA Time : 306.0 sec. user=Wario [2012-10-13 01:07:14] 55233*2^499146-1 is not prime. Res64: C47DEC1E7BEDF55B Time : 307.0 sec. user=Wario [2012-10-13 01:07:18] 57837*2^499146-1 is not prime. Res64: F691AF1F1A1D0921 Time : 306.0 sec. user=Wario [2012-10-13 01:08:29] 62055*2^499146-1 is not prime. Res64: 37C9607AC82E3E8C Time : 304.0 sec. user=Wario [2012-10-13 01:09:28] 64827*2^499146-1 is not prime. Res64: C868485C2CBE614B Time : 305.0 sec. user=Wario [2012-10-13 01:11:01] 64935*2^499146-1 is not prime. Res64: E0B2B7BD1AEDE81D Time : 306.0 sec. user=Wario [2012-10-13 01:11:37] 65265*2^499146-1 is not prime. Res64: 9FA659E0950ABCA1 Time : 305.0 sec. user=Wario [2012-10-13 01:12:22] 66747*2^499146-1 is not prime. Res64: 2A1CD4C4F5A613BF Time : 308.0 sec. user=Wario [2012-10-13 01:12:24] 67485*2^499146-1 is not prime. Res64: 85173C7088BF3C41 Time : 306.0 sec. user=Wario [2012-10-13 01:13:35] 67893*2^499146-1 is not prime. Res64: ECE1E0FF6159DD0F Time : 306.0 sec. user=Wario [2012-10-13 01:14:35] 72117*2^499146-1 is not prime. Res64: D92AAF8882295146 Time : 306.0 sec. user=Wario [2012-10-13 01:16:04] 81135*2^499146-1 is not prime. Res64: 6C778BD0B688D757 Time : 303.0 sec. user=Wario [2012-10-13 01:16:43] 81525*2^499146-1 is not prime. Res64: 295A5D00431FFC6C Time : 305.0 sec. user=Wario [2012-10-13 01:17:30] 81753*2^499146-1 is not prime. Res64: C6F5B9F713EA6515 Time : 307.0 sec. user=Wario [2012-10-13 01:18:25] 88935*2^499146-1 is not prime. Res64: 6AAFDBA3B7AE7895 Time : 361.0 sec. user=Wario [2012-10-13 01:19:36] 94083*2^499146-1 is not prime. Res64: 86916180432B774A Time : 361.0 sec. user=Wario [2012-10-13 01:19:43] 6375*2^499147-1 is not prime. Res64: 8AB390DDB9CE8C79 Time : 308.0 sec. user=Wario [2012-10-13 01:21:10] 19419*2^499147-1 is not prime. Res64: A807B56BD640EC37 Time : 306.0 sec. user=Wario [2012-10-13 01:21:46] 25419*2^499147-1 is not prime. Res64: 24FB7BFA9859FCA0 Time : 303.0 sec. user=Wario [2012-10-13 01:22:35] 26181*2^499147-1 is not prime. Res64: 9C9121A1A5E8B63B Time : 305.0 sec. user=Wario [2012-10-13 01:23:31] 29031*2^499147-1 is not prime. Res64: 3FA2B566C31D1D98 Time : 305.0 sec. user=Wario [2012-10-13 01:24:42] 29409*2^499147-1 is not prime. Res64: AC39053155028B0E Time : 306.0 sec. user=Wario [2012-10-13 01:24:48] 29805*2^499147-1 is not prime. Res64: 3387F1B091271265 Time : 305.0 sec. user=Wario [2012-10-13 01:26:15] 32331*2^499147-1 is not prime. Res64: 8A5276ADCEF66FDD Time : 305.0 sec. user=Wario [2012-10-13 01:26:53] 48999*2^499147-1 is not prime. Res64: B5D8C2F8AAB7FEC4 Time : 307.0 sec. user=Wario [2012-10-13 01:27:45] 50871*2^499147-1 is not prime. Res64: 2D40B85A2D61B489 Time : 310.0 sec. user=Wario [2012-10-13 01:28:38] 53271*2^499147-1 is not prime. Res64: DAEFDEB86B19B19D Time : 307.0 sec. user=Wario [2012-10-13 01:29:55] 55329*2^499147-1 is not prime. Res64: B76C4CA2111EA8FE Time : 313.0 sec. user=Wario [2012-10-13 01:29:58] 56481*2^499147-1 is not prime. Res64: 79908C05554223F8 Time : 310.0 sec. user=Wario [2012-10-13 01:31:28] 57891*2^499147-1 is not prime. Res64: EABEAD7C1334A3BC Time : 312.0 sec. user=Wario [2012-10-13 01:32:04] 59115*2^499147-1 is not prime. Res64: 1CB49077F8C1DDAD Time : 311.0 sec. user=Wario [2012-10-13 01:32:52] 60045*2^499147-1 is not prime. Res64: 4790F6EB5E487A6B Time : 307.0 sec. user=Wario [2012-10-13 01:33:42] 60285*2^499147-1 is not prime. Res64: D82525189CB8BEB8 Time : 304.0 sec. user=Wario [2012-10-13 01:35:00] 61479*2^499147-1 is not prime. Res64: 400B1F5E34DB5FB7 Time : 304.0 sec. user=Wario [2012-10-13 01:35:05] 63789*2^499147-1 is not prime. Res64: 46D7380B1AE587AC Time : 307.0 sec. user=Wario [2012-10-13 01:36:35] 65745*2^499147-1 is not prime. Res64: 457B34C8849F5E76 Time : 307.0 sec. user=Wario [2012-10-13 01:37:09] 67311*2^499147-1 is not prime. Res64: 66B5B07F3772CAC0 Time : 305.0 sec. user=Wario [2012-10-13 01:37:59] 71625*2^499147-1 is not prime. Res64: 32014AF4D1C90519 Time : 307.0 sec. user=Wario [2012-10-13 01:38:47] 72549*2^499147-1 is not prime. Res64: E36F0F131C7F2FFB Time : 305.0 sec. user=Wario [2012-10-13 01:40:08] 73011*2^499147-1 is not prime. Res64: 1D65930817B258C2 Time : 308.0 sec. user=Wario [2012-10-13 01:40:10] 73701*2^499147-1 is not prime. Res64: D1C4500C29F99BD5 Time : 305.0 sec. user=Wario [2012-10-13 01:41:41] 74499*2^499147-1 is not prime. Res64: F0DEA6897B608390 Time : 306.0 sec. user=Wario [2012-10-13 01:42:15] 74865*2^499147-1 is not prime. Res64: E609B4952D04403A Time : 306.0 sec. user=Wario [2012-10-13 01:43:05] 80169*2^499147-1 is not prime. Res64: E305E3FD64AA6AAB Time : 305.0 sec. user=Wario [2012-10-13 01:43:53] 83979*2^499147-1 is not prime. Res64: 4E10F615E4C7CA02 Time : 306.0 sec. user=Wario [2012-10-13 01:45:12] 84159*2^499147-1 is not prime. Res64: 19B7887B6E9E8BBF Time : 304.0 sec. user=Wario [2012-10-13 01:46:09] 92301*2^499147-1 is not prime. Res64: AFCA8DB28ED5B897 Time : 359.0 sec. user=Wario [2012-10-13 01:47:21] 4593*2^499148-1 is not prime. Res64: 84CB91B34539BDDA Time : 306.0 sec. user=Wario [2012-10-13 01:47:41] 95649*2^499147-1 is not prime. Res64: FDB525CA29602A80 Time : 360.0 sec. user=Wario [2012-10-13 01:48:13] 6273*2^499148-1 is not prime. Res64: 906E49B4E0DAB028 Time : 308.0 sec. user=Wario [2012-10-13 01:48:56] 9615*2^499148-1 is not prime. Res64: C8F5CB1FAB942CA2 Time : 303.0 sec. user=Wario [2012-10-13 01:50:19] 11955*2^499148-1 is not prime. Res64: 1D5793EBD60122F8 Time : 306.0 sec. user=Wario [2012-10-13 01:51:21] 17247*2^499148-1 is not prime. Res64: 4C2827AD38DFC61B Time : 312.0 sec. user=Wario [2012-10-13 01:52:28] 19167*2^499148-1 is not prime. Res64: E4D94CC362006B37 Time : 307.0 sec. user=Wario [2012-10-13 01:52:53] 19827*2^499148-1 is not prime. Res64: 574E45257ABE1F18 Time : 312.0 sec. user=Wario [2012-10-13 01:53:24] 23895*2^499148-1 is not prime. Res64: D616817F4AD8375D Time : 311.0 sec. user=Wario [2012-10-13 01:54:08] 29667*2^499148-1 is not prime. Res64: BDB76E10CC4B3338 Time : 312.0 sec. user=Wario [2012-10-13 01:55:35] 30135*2^499148-1 is not prime. Res64: EDE543CC9CE6B826 Time : 316.0 sec. user=Wario [2012-10-13 01:56:32] 34845*2^499148-1 is not prime. Res64: 25DAF7852BE1A550 Time : 311.0 sec. user=Wario [2012-10-13 01:57:35] 36135*2^499148-1 is not prime. Res64: 0FF43435EBE41E78 Time : 306.0 sec. user=Wario [2012-10-13 01:58:00] 47235*2^499148-1 is not prime. Res64: E779F6520A5AF8C8 Time : 306.0 sec. user=Wario [2012-10-13 01:58:31] 51285*2^499148-1 is not prime. Res64: 6FF896F8BC2F31C5 Time : 307.0 sec. user=Wario [2012-10-13 01:59:15] 57165*2^499148-1 is not prime. Res64: 0A73B59B3F4ECE82 Time : 307.0 sec. user=Wario [2012-10-13 02:00:46] 59895*2^499148-1 is not prime. Res64: 5EAF89B3CD9C1D27 Time : 311.0 sec. user=Wario [2012-10-13 02:01:41] 63753*2^499148-1 is not prime. Res64: E7A96F5536A3BFB5 Time : 309.0 sec. user=Wario [2012-10-13 02:02:47] 63897*2^499148-1 is not prime. Res64: 2EE6FCA160E43BE2 Time : 312.0 sec. user=Wario [2012-10-13 02:03:15] 71697*2^499148-1 is not prime. Res64: A26CE48981A5E0DB Time : 315.0 sec. user=Wario [2012-10-13 02:03:40] 75747*2^499148-1 is not prime. Res64: F87AEB3B879536A6 Time : 309.0 sec. user=Wario [2012-10-13 02:04:22] 79275*2^499148-1 is not prime. Res64: FFD5FF969CED22C4 Time : 307.0 sec. user=Wario [2012-10-13 02:05:52] 79617*2^499148-1 is not prime. Res64: 3817DBD5D126D251 Time : 305.0 sec. user=Wario [2012-10-13 02:06:45] 81285*2^499148-1 is not prime. Res64: E0794F72B522F404 Time : 304.0 sec. user=Wario [2012-10-13 02:08:46] 88413*2^499148-1 is not prime. Res64: 4133881BB0D33A61 Time : 358.0 sec. user=Wario [2012-10-13 02:09:15] 88857*2^499148-1 is not prime. Res64: 1BFCD800D30660DC Time : 360.0 sec. user=Wario [2012-10-13 02:09:40] 92025*2^499148-1 is not prime. Res64: 9C76A6A113AC28DF Time : 359.0 sec. user=Wario [2012-10-13 02:10:17] 789*2^499149-1 is not prime. Res64: F8FC49AFADCBE422 Time : 212.0 sec. user=Wario [2012-10-13 02:10:29] 98307*2^499148-1 is not prime. Res64: 6A34283CC497A974 Time : 367.0 sec. user=Wario [2012-10-13 02:11:56] 99105*2^499148-1 is not prime. Res64: BF11AE81D5B925D8 Time : 364.0 sec. user=Wario [2012-10-13 02:12:20] 1125*2^499149-1 is not prime. Res64: 999A96BAD200A30A Time : 214.0 sec. user=Wario [2012-10-13 02:14:26] 3189*2^499149-1 is not prime. Res64: C212B7F18217C077 Time : 311.0 sec. user=Wario [2012-10-13 02:14:51] 7521*2^499149-1 is not prime. Res64: 297F2C3725353AEF Time : 310.0 sec. user=Wario [2012-10-13 02:15:25] 10455*2^499149-1 is not prime. Res64: 03C79C9B563B05D3 Time : 308.0 sec. user=Wario [2012-10-13 02:15:37] 13989*2^499149-1 is not prime. Res64: F727CB0F8336D8D8 Time : 308.0 sec. user=Wario [2012-10-13 02:17:02] 14319*2^499149-1 is not prime. Res64: 8868EA1109949335 Time : 306.0 sec. user=Wario [2012-10-13 02:17:29] 17661*2^499149-1 is not prime. Res64: 0743B5C2F83A85A5 Time : 308.0 sec. user=Wario [2012-10-13 02:19:34] 19299*2^499149-1 is not prime. Res64: 2581D0BF67815BBD Time : 308.0 sec. user=Wario [2012-10-13 02:19:57] 20685*2^499149-1 is not prime. Res64: C72E0A17D57DB4D4 Time : 306.0 sec. user=Wario [2012-10-13 02:20:33] 20841*2^499149-1 is not prime. Res64: 1B7B286C536477B2 Time : 307.0 sec. user=Wario [2012-10-13 02:20:44] 21231*2^499149-1 is not prime. Res64: 3737DEF3F94CF79B Time : 306.0 sec. user=Wario [2012-10-13 02:22:09] 22491*2^499149-1 is not prime. Res64: 1112B58082A570FA Time : 307.0 sec. user=Wario [2012-10-13 02:22:35] 24405*2^499149-1 is not prime. Res64: 5751FF6C585E512A Time : 306.0 sec. user=Wario [2012-10-13 02:24:37] 25569*2^499149-1 is not prime. Res64: 898E9531B33261E7 Time : 303.0 sec. user=Wario [2012-10-13 02:25:02] 30921*2^499149-1 is not prime. Res64: B594C021E5609C1E Time : 304.0 sec. user=Wario [2012-10-13 02:25:34] 31575*2^499149-1 is not prime. Res64: 2AD844BE97C26343 Time : 301.0 sec. user=Wario [2012-10-13 02:25:43] 31791*2^499149-1 is not prime. Res64: CC71E60454C3EE6A Time : 299.0 sec.