user=henryzz [2012-06-17 00:09:05] 557*2^1134548-1 is not prime. Res64: 0BEB59FF6AFB382F Time : 0.0 sec. user=henryzz [2012-06-17 00:11:41] 459*2^1134549-1 is not prime. Res64: 96DB78C03FA58233 Time : 0.0 sec. user=henryzz [2012-06-17 00:21:41] 507*2^1134549-1 is not prime. Res64: 7BAD94DC4286922A Time : 0.0 sec. user=henryzz [2012-06-17 00:23:08] 525*2^1134549-1 is not prime. Res64: F927FA59B28D4873 Time : 0.0 sec. user=mdettweiler [2012-06-17 00:30:54] 423*2^1134550-1 is not prime. Res64: E3CE671EE8F3BFCD Time : 0.0 sec. user=henryzz [2012-06-17 00:42:06] 405*2^1134550-1 is not prime. Res64: 5F51A68F3E93BC38 Time : 0.0 sec. user=henryzz [2012-06-17 00:47:25] 413*2^1134550-1 is not prime. Res64: 5EBA61D7728442A8 Time : 0.0 sec. user=henryzz [2012-06-17 00:53:33] 455*2^1134550-1 is not prime. Res64: 623C2CBAEED2A344 Time : 0.0 sec. user=henryzz [2012-06-17 00:59:18] 591*2^1134550-1 is not prime. Res64: 5B4A27AF3EEF7C34 Time : 0.0 sec. user=henryzz [2012-06-17 01:15:04] 597*2^1134550-1 is not prime. Res64: 18BA74EF953B9B03 Time : 0.0 sec. user=henryzz [2012-06-17 01:20:54] 463*2^1134551-1 is not prime. Res64: 3C4BFE29ABD9642D Time : 0.0 sec. user=henryzz [2012-06-17 01:26:45] 471*2^1134553-1 is not prime. Res64: 3FF73A5A2870C853 Time : 0.0 sec. user=henryzz [2012-06-17 01:35:20] 537*2^1134553-1 is not prime. Res64: 6E9860DE8E2E87E1 Time : 0.0 sec. user=henryzz [2012-06-17 01:52:40] 595*2^1134553-1 is not prime. Res64: 23791C90FEE9A324 Time : 0.0 sec. user=henryzz [2012-06-17 01:52:49] 559*2^1134553-1 is not prime. Res64: 2A7D1D4A02B585DD Time : 0.0 sec. user=henryzz [2012-06-17 01:57:57] 461*2^1134554-1 is not prime. Res64: D04DECA446865C5C Time : 0.0 sec. user=henryzz [2012-06-17 02:10:33] 473*2^1134554-1 is not prime. Res64: A705113ADA763512 Time : 0.0 sec. user=henryzz [2012-06-17 02:26:11] 403*2^1134555-1 is not prime. Res64: EA06780E345A8831 Time : 0.0 sec. user=henryzz [2012-06-17 02:28:30] 477*2^1134554-1 is not prime. Res64: 780E2B98B7F36313 Time : 0.0 sec. user=henryzz [2012-06-17 02:31:07] 415*2^1134555-1 is not prime. Res64: AC23EF6BBB716096 Time : 0.0 sec. user=henryzz [2012-06-17 02:43:38] 511*2^1134555-1 is not prime. Res64: A8A994F153917148 Time : 0.0 sec. user=henryzz [2012-06-17 03:01:39] 437*2^1134556-1 is not prime. Res64: DAF2033C852A1EF7 Time : 0.0 sec. user=henryzz [2012-06-17 03:02:51] 569*2^1134556-1 is not prime. Res64: DAF63205435F7B60 Time : 0.0 sec. user=henryzz [2012-06-17 03:06:32] 545*2^1134556-1 is not prime. Res64: 7FF62A7418D866B5 Time : 0.0 sec. user=henryzz [2012-06-17 03:15:57] 597*2^1134556-1 is not prime. Res64: FA3E61104D3F0AB7 Time : 0.0 sec. user=henryzz [2012-06-17 03:32:51] 517*2^1134557-1 is not prime. Res64: FB7D2FFE70EA49C4 Time : 0.0 sec. user=henryzz [2012-06-17 03:38:17] 417*2^1134557-1 is not prime. Res64: 0CB0DE61D12DC613 Time : 0.0 sec. user=henryzz [2012-06-17 03:41:36] 571*2^1134557-1 is not prime. Res64: 8CC9159D99DBE120 Time : 0.0 sec. user=henryzz [2012-06-17 03:52:09] 413*2^1134558-1 is not prime. Res64: B60F51D2D6B941BF Time : 0.0 sec. user=henryzz [2012-06-17 04:04:36] 437*2^1134558-1 is not prime. Res64: 257AEFF80C93C898 Time : 0.0 sec. user=henryzz [2012-06-17 04:14:27] 513*2^1134558-1 is not prime. Res64: 54CA6909F4AFCD9F Time : 0.0 sec. user=henryzz [2012-06-17 04:15:12] 503*2^1134558-1 is not prime. Res64: E1CB9A523BD3D766 Time : 0.0 sec. user=henryzz [2012-06-17 04:27:56] 459*2^1134560-1 is not prime. Res64: 0E7D8F8D3AAC4367 Time : 0.0 sec. user=henryzz [2012-06-17 04:38:58] 415*2^1134561-1 is not prime. Res64: EF7BBCF920DAC4C5 Time : 0.0 sec. user=henryzz [2012-06-17 04:47:02] 579*2^1134561-1 is not prime. Res64: 07A017F6E1639827 Time : 0.0 sec. user=henryzz [2012-06-17 04:48:58] 517*2^1134561-1 is not prime. Res64: 8AD7404084B58D4E Time : 0.0 sec. user=henryzz [2012-06-17 05:04:39] 425*2^1134562-1 is not prime. Res64: 7BAF235E156BCEF4 Time : 0.0 sec. user=henryzz [2012-06-17 05:13:51] 503*2^1134562-1 is not prime. Res64: 5DB68AD3A25920E2 Time : 0.0 sec. user=henryzz [2012-06-17 05:17:17] 581*2^1134562-1 is not prime. Res64: 5567D37B21483336 Time : 0.0 sec. user=henryzz [2012-06-17 05:22:51] 533*2^1134562-1 is not prime. Res64: E98D03B7D92CBEE6 Time : 0.0 sec. user=henryzz [2012-06-17 05:38:53] 409*2^1134563-1 is not prime. Res64: A06294B16BF56322 Time : 0.0 sec. user=gd_barnes [2012-06-17 05:42:31] 425*2^1134564-1 is not prime. Res64: 50D5545C8A47884D Time : 0.0 sec. user=henryzz [2012-06-17 05:47:37] 459*2^1134564-1 is not prime. Res64: 9E6C6A55324690A4 Time : 0.0 sec. user=henryzz [2012-06-17 05:52:10] 463*2^1134563-1 is not prime. Res64: 068EE8F174B8751C Time : 0.0 sec. user=henryzz [2012-06-17 05:57:03] 503*2^1134564-1 is not prime. Res64: E49F9ACF1CE99C9F Time : 0.0 sec. user=henryzz [2012-06-17 06:10:53] 569*2^1134564-1 is not prime. Res64: A4E8A0EF174B00E5 Time : 0.0 sec. user=henryzz [2012-06-17 06:20:21] 415*2^1134565-1 is not prime. Res64: B1A25A4A026351C9 Time : 0.0 sec. user=henryzz [2012-06-17 06:30:06] 577*2^1134565-1 is not prime. Res64: B1CBB24126D4D03F Time : 0.0 sec. user=henryzz [2012-06-17 06:31:16] 511*2^1134565-1 is not prime. Res64: 1AEEC21A1748BB49 Time : 0.0 sec. user=henryzz [2012-06-17 06:46:08] 501*2^1134566-1 is not prime. Res64: 3520F04CFF3B3BD0 Time : 0.0 sec. user=henryzz [2012-06-17 06:52:47] 561*2^1134566-1 is not prime. Res64: C6EC6E30BBD42D32 Time : 0.0 sec. user=henryzz [2012-06-17 07:03:44] 449*2^1134568-1 is not prime. Res64: 7F5CFA4FFD5B16CC Time : 0.0 sec. user=henryzz [2012-06-17 07:05:08] 465*2^1134567-1 is not prime. Res64: E6B227C20B32B6BA Time : 0.0 sec. user=henryzz [2012-06-17 07:20:27] 467*2^1134568-1 is not prime. Res64: 5ECA4319DFB9C280 Time : 0.0 sec. user=henryzz [2012-06-17 07:30:54] 507*2^1134568-1 is not prime. Res64: 99215ED358B6F2D3 Time : 0.0 sec. user=henryzz [2012-06-17 07:34:46] 539*2^1134568-1 is not prime. Res64: 43523DCEB128FA0B Time : 0.0 sec. user=henryzz [2012-06-17 07:40:01] 525*2^1134568-1 is not prime. Res64: FEFE916B3FE14B5E Time : 0.0 sec. user=henryzz [2012-06-17 07:53:04] 465*2^1134569-1 is not prime. Res64: 82C68EBA186B5C68 Time : 0.0 sec. user=henryzz [2012-06-17 08:09:43] 567*2^1134569-1 is not prime. Res64: 32C43FE236C415E3 Time : 0.0 sec. user=henryzz [2012-06-17 08:10:13] 481*2^1134569-1 is not prime. Res64: 1147F2854F100372 Time : 0.0 sec. user=henryzz [2012-06-17 08:11:35] 405*2^1134570-1 is not prime. Res64: A8E78572A95055ED Time : 0.0 sec. user=henryzz [2012-06-17 08:23:48] 503*2^1134570-1 is not prime. Res64: BBCF74D8B0D22227 Time : 0.0 sec. user=henryzz [2012-06-17 08:43:37] 543*2^1134570-1 is not prime. Res64: 1D6D679BF8AD1988 Time : 0.0 sec. user=henryzz [2012-06-17 08:44:08] 561*2^1134571-1 is not prime. Res64: FC1153FC54B1F857 Time : 0.0 sec. user=henryzz [2012-06-17 08:47:25] 453*2^1134571-1 is not prime. Res64: 9F95081B25B9290A Time : 0.0 sec. user=henryzz [2012-06-17 08:59:52] 437*2^1134572-1 is not prime. Res64: A5373A896BA5D2D5 Time : 0.0 sec. user=henryzz [2012-06-17 09:16:11] 483*2^1134572-1 is not prime. Res64: F108692B85BCB564 Time : 0.0 sec. user=henryzz [2012-06-17 09:20:48] 417*2^1134573-1 is not prime. Res64: A56F9011E39B78FD Time : 0.0 sec. user=henryzz [2012-06-17 09:23:16] 533*2^1134572-1 is not prime. Res64: CA629700DACE24D4 Time : 0.0 sec. user=henryzz [2012-06-17 09:31:13] 413*2^1134574-1 is not prime. Res64: 6015BFEE231A8040 Time : 0.0 sec. user=henryzz [2012-06-17 09:53:00] 443*2^1134574-1 is not prime. Res64: 2F4B19A986F9B83A Time : 0.0 sec. user=henryzz [2012-06-17 09:55:15] 465*2^1134574-1 is not prime. Res64: B583E7518803B140 Time : 0.0 sec. user=henryzz [2012-06-17 09:57:12] 453*2^1134574-1 is not prime. Res64: 25562EC8A4A24B86 Time : 0.0 sec. user=henryzz [2012-06-17 10:07:23] 477*2^1134574-1 is not prime. Res64: 3E09F659ADA12B38 Time : 0.0 sec. user=henryzz [2012-06-17 10:25:47] 493*2^1134575-1 is not prime. Res64: 4E624ED70F3F97C9 Time : 0.0 sec. user=henryzz [2012-06-17 10:28:41] 585*2^1134575-1 is not prime. Res64: 177A4E5C928EFB00 Time : 0.0 sec. user=henryzz [2012-06-17 10:33:15] 511*2^1134575-1 is not prime. Res64: B85300E817870D23 Time : 0.0 sec. user=henryzz [2012-06-17 10:42:40] 507*2^1134576-1 is not prime. Res64: 7AF4B7CA1FD70EBE Time : 0.0 sec. user=henryzz [2012-06-17 11:01:31] 549*2^1134577-1 is not prime. Res64: 441C2956BC1B007E Time : 0.0 sec. user=henryzz [2012-06-17 11:03:53] 499*2^1134577-1 is not prime. Res64: 0D9C97318C9349EF Time : 0.0 sec. user=henryzz [2012-06-17 11:04:25] 431*2^1134578-1 is not prime. Res64: 2D145BDAEC2B8C48 Time : 0.0 sec. user=henryzz [2012-06-17 11:17:49] 437*2^1134578-1 is not prime. Res64: 0FC7CFAA90BD8807 Time : 0.0 sec. user=henryzz [2012-06-17 11:33:09] 467*2^1134578-1 is not prime. Res64: D8B93F4C708CBBE4 Time : 0.0 sec. user=henryzz [2012-06-17 11:36:20] 545*2^1134578-1 is not prime. Res64: 482CB68CDCEC7336 Time : 0.0 sec. user=henryzz [2012-06-17 11:43:03] 567*2^1134578-1 is not prime. Res64: DFF462640B8F0CD2 Time : 0.0 sec. user=henryzz [2012-06-17 11:52:06] 415*2^1134579-1 is not prime. Res64: 64AD90FF6F10285A Time : 0.0 sec. user=henryzz [2012-06-17 12:06:39] 501*2^1134579-1 is not prime. Res64: 69053DE3E6B1A448 Time : 0.0 sec. user=henryzz [2012-06-17 12:09:59] 553*2^1134579-1 is not prime. Res64: C650DA926E26C28B Time : 0.0 sec. user=henryzz [2012-06-17 12:15:39] 579*2^1134579-1 is not prime. Res64: C4A5F48EB9D1C630 Time : 0.0 sec. user=henryzz [2012-06-17 12:32:27] 597*2^1134580-1 is not prime. Res64: 73ABAB313A488BB2 Time : 0.0 sec. user=henryzz [2012-06-17 12:39:31] 529*2^1134581-1 is not prime. Res64: 446E56CCA1E3647A Time : 0.0 sec. user=henryzz [2012-06-17 12:45:00] 405*2^1134582-1 is not prime. Res64: 0E750218C5B670E6 Time : 0.0 sec. user=henryzz [2012-06-17 12:47:46] 417*2^1134582-1 is not prime. Res64: 6D720F770B3AC751 Time : 0.0 sec. user=henryzz [2012-06-17 13:09:16] 431*2^1134582-1 is not prime. Res64: 7945130012215F8E Time : 0.0 sec. user=henryzz [2012-06-17 13:13:21] 471*2^1134582-1 is not prime. Res64: 7F56C3EF450036C7 Time : 0.0 sec. user=henryzz [2012-06-17 13:20:23] 411*2^1134583-1 is not prime. Res64: 177C9BEF9E8DC70E Time : 0.0 sec. user=henryzz [2012-06-17 13:22:01] 421*2^1134583-1 is not prime. Res64: DCBB28E6AAC797E5 Time : 0.0 sec. user=henryzz [2012-06-17 13:44:58] 423*2^1134583-1 is not prime. Res64: 395AE47672204476 Time : 0.0 sec. user=henryzz [2012-06-17 13:49:01] 523*2^1134583-1 is not prime. Res64: 588D06AE5D309B30 Time : 0.0 sec. user=henryzz [2012-06-17 13:51:14] 549*2^1134583-1 is not prime. Res64: 1117CE8583134389 Time : 0.0 sec. user=henryzz [2012-06-17 14:00:37] 573*2^1134583-1 is not prime. Res64: B0038C4F99FEF172 Time : 0.0 sec. user=henryzz [2012-06-17 14:19:33] 453*2^1134584-1 is not prime. Res64: 554FEB4D8B8173EA Time : 0.0 sec. user=henryzz [2012-06-17 14:25:05] 495*2^1134584-1 is not prime. Res64: B5C82F7FD88075A7 Time : 0.0 sec. user=henryzz [2012-06-17 14:25:57] 465*2^1134584-1 is not prime. Res64: F33B9A3540199E7A Time : 0.0 sec. user=henryzz [2012-06-17 14:32:06] 539*2^1134584-1 is not prime. Res64: 74AB1AA625CFBFF8 Time : 0.0 sec. user=henryzz [2012-06-17 14:53:33] 447*2^1134585-1 is not prime. Res64: 4A89BABCD9D88035 Time : 0.0 sec. user=henryzz [2012-06-17 15:01:15] 517*2^1134585-1 is not prime. Res64: 9CEF9994FB8B0A99 Time : 0.0 sec. user=henryzz [2012-06-17 15:02:54] 529*2^1134585-1 is not prime. Res64: C5AF0CCE9FB881B4 Time : 0.0 sec. user=henryzz [2012-06-17 15:06:29] 411*2^1134586-1 is not prime. Res64: 62C2272C10AF2670 Time : 0.0 sec. user=henryzz [2012-06-17 15:31:13] 433*2^1134587-1 is not prime. Res64: 34025D1EDEBB4B26 Time : 0.0 sec. user=henryzz [2012-06-17 15:35:13] 485*2^1134588-1 is not prime. Res64: DC5B55E587BD379F Time : 0.0 sec. user=henryzz [2012-06-17 15:37:44] 595*2^1134587-1 is not prime. Res64: 6DEFA1A20AE70878 Time : 0.0 sec. user=henryzz [2012-06-17 15:39:51] 503*2^1134588-1 is not prime. Res64: 2B553233E33CFC3A Time : 0.0 sec. user=henryzz [2012-06-17 16:05:27] 513*2^1134588-1 is not prime. Res64: 3579B56F632E738D Time : 0.0 sec. user=henryzz [2012-06-17 16:09:15] 525*2^1134588-1 is not prime. Res64: 37102B46659E3AE3 Time : 0.0 sec. user=henryzz [2012-06-17 16:13:56] 441*2^1134589-1 is not prime. Res64: C30D7F038B6F2F77 Time : 0.0 sec. user=henryzz [2012-06-17 16:14:31] 567*2^1134588-1 is not prime. Res64: F0BE340BEBCE3870 Time : 0.0 sec. user=henryzz [2012-06-17 16:42:06] 471*2^1134589-1 is not prime. Res64: 7ABCF81E61696328 Time : 0.0 sec. user=henryzz [2012-06-17 16:45:12] 425*2^1134590-1 is not prime. Res64: 0075AE785BF885DA Time : 0.0 sec. user=henryzz [2012-06-17 16:47:04] 481*2^1134589-1 is not prime. Res64: E2781BC6A23DB8C1 Time : 0.0 sec. user=henryzz [2012-06-17 16:47:23] 447*2^1134589-1 is not prime. Res64: 8FD4CC6ABC38444D Time : 0.0 sec. user=henryzz [2012-06-17 17:16:10] 545*2^1134590-1 is not prime. Res64: 98DBE0095B0A0323 Time : 0.0 sec. user=henryzz [2012-06-17 17:19:35] 533*2^1134590-1 is not prime. Res64: 7330B5653EB73963 Time : 0.0 sec. user=henryzz [2012-06-17 17:21:42] 581*2^1134590-1 is not prime. Res64: C46975BC6FBA787A Time : 0.0 sec. user=henryzz [2012-06-17 17:23:12] 459*2^1134591-1 is not prime. Res64: 7E7BA8D5CA2518AB Time : 0.0 sec. user=henryzz [2012-06-17 17:51:44] 481*2^1134593-1 is not prime. Res64: C85748A97740D9E9 Time : 0.0 sec. user=henryzz [2012-06-17 17:53:13] 535*2^1134591-1 is not prime. Res64: F71457498526AD05 Time : 0.0 sec. user=henryzz [2012-06-17 17:55:36] 585*2^1134593-1 is not prime. Res64: D650994189E349D1 Time : 0.0 sec. user=henryzz [2012-06-17 18:00:44] 489*2^1134593-1 is not prime. Res64: 3F3654D35A82F7EF Time : 0.0 sec. user=henryzz [2012-06-17 18:24:13] 583*2^1134595-1 is not prime. Res64: C80A20D9129A6E9B Time : 0.0 sec. user=henryzz [2012-06-17 18:26:16] 579*2^1134595-1 is not prime. Res64: 5C281782D6481E02 Time : 0.0 sec. user=henryzz [2012-06-17 18:31:49] 405*2^1134596-1 is not prime. Res64: FC1FCE692B476DF0 Time : 0.0 sec. user=henryzz [2012-06-17 18:37:41] 413*2^1134596-1 is not prime. Res64: 8C53EDA153357E84 Time : 0.0 sec. user=henryzz [2012-06-17 19:01:30] 437*2^1134596-1 is not prime. Res64: 09EC0269DE1F8F4D Time : 0.0 sec. user=henryzz [2012-06-17 19:02:32] 563*2^1134596-1 is not prime. Res64: E7EDEB6D5F7E718B Time : 0.0 sec. user=henryzz [2012-06-17 19:04:17] 405*2^1134597-1 is not prime. Res64: E13359FDD1A493B6 Time : 0.0 sec. user=henryzz [2012-06-17 19:14:47] 417*2^1134597-1 is not prime. Res64: 803142777771C0FB Time : 0.0 sec. user=henryzz [2012-06-17 19:35:55] 495*2^1134597-1 is not prime. Res64: A601AB6E477DE34F Time : 0.0 sec. user=henryzz [2012-06-17 19:37:02] 511*2^1134597-1 is not prime. Res64: 78018D111508BCB5 Time : 0.0 sec. user=henryzz [2012-06-17 19:38:08] 531*2^1134597-1 is not prime. Res64: 3C55FE4533A2A0DB Time : 0.0 sec. user=henryzz [2012-06-17 19:47:36] 549*2^1134597-1 is not prime. Res64: 7C6557CA0CFEF870 Time : 0.0 sec. user=henryzz [2012-06-17 20:09:55] 565*2^1134597-1 is not prime. Res64: 445DB0D074672534 Time : 0.0 sec. user=henryzz [2012-06-17 20:11:20] 461*2^1134598-1 is not prime. Res64: 4B318F7EB86B6196 Time : 0.0 sec. user=henryzz [2012-06-17 20:12:21] 465*2^1134600-1 is not prime. Res64: C5E5EF59890F616B Time : 0.0 sec. user=henryzz [2012-06-17 20:20:33] 527*2^1134600-1 is not prime. Res64: 7564864778BBF1D4 Time : 0.0 sec. user=henryzz [2012-06-17 20:42:13] 549*2^1134600-1 is not prime. Res64: A35E498305198DAC Time : 0.0 sec. user=henryzz [2012-06-17 20:45:03] 405*2^1134601-1 is not prime. Res64: 3F1B1383C93B77DF Time : 0.0 sec. user=henryzz [2012-06-17 20:47:55] 587*2^1134600-1 is not prime. Res64: 35D9A18C5B32FA87 Time : 0.0 sec. user=henryzz [2012-06-17 20:53:46] 411*2^1134601-1 is not prime. Res64: 60A79A6415CA98B2 Time : 0.0 sec. user=henryzz [2012-06-17 21:16:20] 537*2^1134601-1 is not prime. Res64: 331003235F46E686 Time : 0.0 sec. user=henryzz [2012-06-17 21:16:33] 533*2^1134602-1 is not prime. Res64: EDA25AFC3188F366 Time : 0.0 sec. user=henryzz [2012-06-17 21:21:08] 429*2^1134603-1 is not prime. Res64: 5D6C5126ACD5AFB0 Time : 0.0 sec. user=henryzz [2012-06-17 21:31:18] 465*2^1134603-1 is not prime. Res64: 8F1CCF71FF424E0B Time : 0.0 sec. user=henryzz [2012-06-17 21:49:15] 429*2^1134604-1 is not prime. Res64: EBF400685BF73243 Time : 0.0 sec. user=henryzz [2012-06-17 21:49:22] 495*2^1134604-1 is not prime. Res64: F23F5DCF169073E6 Time : 0.0 sec. user=henryzz [2012-06-17 21:55:49] 507*2^1134604-1 is not prime. Res64: 58909BADEA49B78C Time : 0.0 sec. user=henryzz [2012-06-17 22:03:26] 569*2^1134604-1 is not prime. Res64: 6050845A60E19889 Time : 0.0 sec. user=henryzz [2012-06-17 22:23:06] 573*2^1134604-1 is not prime. Res64: 3A4B6D0750CE55E6 Time : 0.0 sec. user=henryzz [2012-06-17 22:23:11] 421*2^1134605-1 is not prime. Res64: 2B3409C4E0F40E3C Time : 0.0 sec. user=henryzz [2012-06-17 22:29:10] 475*2^1134605-1 is not prime. Res64: 491DD1CACDBA58C5 Time : 0.0 sec. user=henryzz [2012-06-17 22:37:07] 477*2^1134605-1 is not prime. Res64: E7D3D1D4576E2956 Time : 0.0 sec. user=henryzz [2012-06-17 22:54:01] 487*2^1134605-1 is not prime. Res64: 85716CCC8E603BBD Time : 0.0 sec. user=henryzz [2012-06-17 22:58:02] 481*2^1134605-1 is not prime. Res64: 4F4894B2F922D65B Time : 0.0 sec. user=henryzz [2012-06-17 23:04:12] 519*2^1134605-1 is not prime. Res64: 33876D3BDDEF98EA Time : 0.0 sec. user=henryzz [2012-06-17 23:11:20] 447*2^1134606-1 is not prime. Res64: 096227771295E154 Time : 0.0 sec. user=henryzz [2012-06-17 23:28:27] 557*2^1134606-1 is not prime. Res64: 1DC7B7F97845A976 Time : 0.0 sec. user=henryzz [2012-06-17 23:33:21] 593*2^1134606-1 is not prime. Res64: 24FFCC9F7E7C2BD5 Time : 0.0 sec. user=henryzz [2012-06-17 23:34:02] 451*2^1134607-1 is not prime. Res64: ABC8132B655DE86F Time : 0.0 sec. user=henryzz [2012-06-17 23:44:46] 573*2^1134607-1 is not prime. Res64: 0E7A8886229C268C Time : 0.0 sec.