user=juhehe [2012-03-02 00:11:13] 569*2^1125868-1 is not prime. Res64: 35AC06A9944FCB4E Time : 0.0 sec. user=vaughan [2012-03-02 00:12:05] 441*2^1125869-1 is not prime. Res64: 2D3C51243DBA99F2 Time : 0.0 sec. user=vaughan [2012-03-02 00:12:40] 451*2^1125869-1 is not prime. Res64: 4A5E46B606509D67 Time : 0.0 sec. user=vaughan [2012-03-02 00:13:10] 481*2^1125869-1 is not prime. Res64: 35999C34D16B9F37 Time : 0.0 sec. user=vaughan [2012-03-02 00:13:51] 461*2^1125870-1 is not prime. Res64: CBC5820705E46E21 Time : 0.0 sec. user=juhehe [2012-03-02 00:16:10] 419*2^1125868-1 is not prime. Res64: 2271152D9741D1F3 Time : 0.0 sec. user=juhehe [2012-03-02 00:17:58] 479*2^1125868-1 is not prime. Res64: 3F0A6CC4562908AF Time : 0.0 sec. user=vaughan [2012-03-02 00:28:31] 567*2^1125870-1 is not prime. Res64: B1673F260666538D Time : 0.0 sec. user=vaughan [2012-03-02 00:29:04] 415*2^1125871-1 is not prime. Res64: 2271AE08A8F11BA4 Time : 0.0 sec. user=vaughan [2012-03-02 00:29:45] 429*2^1125871-1 is not prime. Res64: 7D99438B6D0DEE91 Time : 0.0 sec. user=vaughan [2012-03-02 00:30:21] 499*2^1125871-1 is not prime. Res64: 771CF4ACFA29F69E Time : 0.0 sec. user=juhehe [2012-03-02 00:33:05] 521*2^1125870-1 is not prime. Res64: E751F4DD7EEC8FE2 Time : 0.0 sec. user=vaughan [2012-03-02 00:45:06] 427*2^1125873-1 is not prime. Res64: 9025BE5B324D3203 Time : 0.0 sec. user=vaughan [2012-03-02 00:45:45] 481*2^1125873-1 is not prime. Res64: 913373B60497477E Time : 0.0 sec. user=vaughan [2012-03-02 00:46:19] 499*2^1125873-1 is not prime. Res64: 241FA5960A82A9B7 Time : 0.0 sec. user=vaughan [2012-03-02 00:46:56] 517*2^1125873-1 is not prime. Res64: 504141BA17B02D38 Time : 0.0 sec. user=juhehe [2012-03-02 00:48:01] 573*2^1125871-1 is not prime. Res64: 91F60F47FBA6008A Time : 0.0 sec. user=juhehe [2012-03-02 00:49:49] 593*2^1125872-1 is not prime. Res64: 99ABF707CF5FF336 Time : 0.0 sec. user=juhehe [2012-03-02 00:54:54] 525*2^1125873-1 is not prime. Res64: 5EA0A57457193F82 Time : 0.0 sec. user=vaughan [2012-03-02 01:02:50] 483*2^1125874-1 is not prime. Res64: F4F3182C8B9FDAC7 Time : 0.0 sec. user=vaughan [2012-03-02 01:03:24] 497*2^1125874-1 is not prime. Res64: EAFB46B03BC288A3 Time : 0.0 sec. user=vaughan [2012-03-02 01:03:57] 593*2^1125874-1 is not prime. Res64: DD12C1BE20F2B3A4 Time : 0.0 sec. user=vaughan [2012-03-02 01:04:39] 433*2^1125875-1 is not prime. Res64: A12C3D8FF5E37FF6 Time : 0.0 sec. user=juhehe [2012-03-02 01:16:37] 553*2^1125875-1 is not prime. Res64: B2C65CB17D3C8A7A Time : 0.0 sec. user=vaughan [2012-03-02 01:19:27] 405*2^1125876-1 is not prime. Res64: 84FC6C76F93CC984 Time : 0.0 sec. user=vaughan [2012-03-02 01:19:57] 497*2^1125876-1 is not prime. Res64: E1DBB21B45312FF3 Time : 0.0 sec. user=juhehe [2012-03-02 01:20:02] 495*2^1125875-1 is not prime. Res64: 13468D281C9BF580 Time : 0.0 sec. user=vaughan [2012-03-02 01:20:26] 421*2^1125877-1 is not prime. Res64: C17C802D4DBC94D0 Time : 0.0 sec. user=vaughan [2012-03-02 01:21:11] 561*2^1125877-1 is not prime. Res64: 0C9C707930A9B4C5 Time : 0.0 sec. user=juhehe [2012-03-02 01:21:44] 543*2^1125875-1 is not prime. Res64: 5C4F1222A1209CC1 Time : 0.0 sec. user=vaughan [2012-03-02 01:35:58] 473*2^1125878-1 is not prime. Res64: 149C23D433661B05 Time : 0.0 sec. user=vaughan [2012-03-02 01:36:28] 507*2^1125878-1 is not prime. Res64: B70CD87F70A442EF Time : 0.0 sec. user=vaughan [2012-03-02 01:36:58] 441*2^1125879-1 is not prime. Res64: 0C468CC5358E64E4 Time : 0.0 sec. user=vaughan [2012-03-02 01:37:43] 469*2^1125879-1 is not prime. Res64: BCD41E73CE213F3D Time : 0.0 sec. user=juhehe [2012-03-02 01:38:26] 437*2^1125878-1 is not prime. Res64: 0E3792355071ECFA Time : 0.0 sec. user=juhehe [2012-03-02 01:51:54] 591*2^1125878-1 is not prime. Res64: AB790BCF45DCB82C Time : 0.0 sec. user=vaughan [2012-03-02 01:52:32] 549*2^1125880-1 is not prime. Res64: 80737D1896EA7E79 Time : 0.0 sec. user=vaughan [2012-03-02 01:53:05] 447*2^1125881-1 is not prime. Res64: E8A6E1BFE6D46757 Time : 0.0 sec. user=vaughan [2012-03-02 01:53:32] 547*2^1125881-1 is not prime. Res64: 4927078A0004439A Time : 0.0 sec. user=juhehe [2012-03-02 01:53:35] 483*2^1125880-1 is not prime. Res64: CBF97D3303AD5B60 Time : 0.0 sec. user=vaughan [2012-03-02 01:54:21] 401*2^1125882-1 is not prime. Res64: 1B853C53BD2FB941 Time : 0.0 sec. user=juhehe [2012-03-02 02:00:13] 405*2^1125882-1 is not prime. Res64: E1F5B383CB19E886 Time : 0.0 sec. user=vaughan [2012-03-02 02:18:22] 555*2^1125882-1 is not prime. Res64: 8BB1BB54099B53D7 Time : 0.0 sec. user=vaughan [2012-03-02 02:18:46] 473*2^1125884-1 is not prime. Res64: 19B17E066600BEA1 Time : 0.0 sec. user=vaughan [2012-03-02 02:19:15] 489*2^1125884-1 is not prime. Res64: F36CCED96D144FB8 Time : 0.0 sec. user=vaughan [2012-03-02 02:21:09] 563*2^1125884-1 is not prime. Res64: F46EE0C6E1B9F5CB Time : 0.0 sec. user=juhehe [2012-03-02 02:21:59] 573*2^1125884-1 is not prime. Res64: 5E09296BAF49671E Time : 0.0 sec. user=juhehe [2012-03-02 02:23:48] 525*2^1125882-1 is not prime. Res64: AB36CA09A5EC4A20 Time : 0.0 sec. user=juhehe [2012-03-02 02:25:21] 503*2^1125884-1 is not prime. Res64: 8269D81695C76116 Time : 0.0 sec. user=vaughan [2012-03-02 02:35:28] 525*2^1125886-1 is not prime. Res64: 4701873C759ADB4E Time : 0.0 sec. user=vaughan [2012-03-02 02:35:44] 489*2^1125887-1 is not prime. Res64: 2D57203ED0B01B8C Time : 0.0 sec. user=vaughan [2012-03-02 02:36:06] 465*2^1125888-1 is not prime. Res64: EC57F7B1F0A63793 Time : 0.0 sec. user=vaughan [2012-03-02 02:38:05] 421*2^1125889-1 is not prime. Res64: DA148D8E6BE930FF Time : 0.0 sec. user=juhehe [2012-03-02 02:43:45] 447*2^1125889-1 is not prime. Res64: 8EA4577904BD99A8 Time : 0.0 sec. user=vaughan [2012-03-02 02:52:00] 563*2^1125890-1 is not prime. Res64: 1923947AA0F93D80 Time : 0.0 sec. user=vaughan [2012-03-02 02:52:27] 433*2^1125891-1 is not prime. Res64: B99366389ACC7BF9 Time : 0.0 sec. user=vaughan [2012-03-02 02:52:50] 465*2^1125891-1 is not prime. Res64: 861582522A1C9918 Time : 0.0 sec. user=vaughan [2012-03-02 02:54:40] 489*2^1125891-1 is not prime. Res64: C806E03844EE0EC1 Time : 0.0 sec. user=juhehe [2012-03-02 02:55:29] 525*2^1125889-1 is not prime. Res64: 9F16EFDE481E3094 Time : 0.0 sec. user=juhehe [2012-03-02 02:57:05] 549*2^1125889-1 is not prime. Res64: 3D98AC2F595B8C1A Time : 0.0 sec. user=juhehe [2012-03-02 03:06:01] 529*2^1125891-1 is not prime. Res64: 880BBA6601ED9CF5 Time : 0.0 sec. user=vaughan [2012-03-02 03:08:28] 535*2^1125891-1 is not prime. Res64: 050D27DBEAB5725F Time : 0.0 sec. user=vaughan [2012-03-02 03:09:00] 549*2^1125892-1 is not prime. Res64: F2639CA7E2878469 Time : 0.0 sec. user=vaughan [2012-03-02 03:09:18] 409*2^1125893-1 is not prime. Res64: 452247991C887EB7 Time : 0.0 sec. user=vaughan [2012-03-02 03:11:17] 455*2^1125894-1 is not prime. Res64: 7E526E856BE21E44 Time : 0.0 sec. user=vaughan [2012-03-02 03:25:15] 423*2^1125895-1 is not prime. Res64: 2C301676610233FB Time : 0.0 sec. user=vaughan [2012-03-02 03:25:46] 429*2^1125895-1 is not prime. Res64: F6DC3874D3014189 Time : 0.0 sec. user=vaughan [2012-03-02 03:26:00] 525*2^1125895-1 is not prime. Res64: 26671F80BD38B89A Time : 0.0 sec. user=juhehe [2012-03-02 03:27:24] 485*2^1125894-1 is not prime. Res64: 4792F73F96A324F4 Time : 0.0 sec. user=vaughan [2012-03-02 03:27:59] 535*2^1125895-1 is not prime. Res64: CCC51542598B50D1 Time : 0.0 sec. user=juhehe [2012-03-02 03:28:57] 405*2^1125895-1 is not prime. Res64: D80B90C4614DA3FE Time : 0.0 sec. user=juhehe [2012-03-02 03:30:11] 421*2^1125895-1 is not prime. Res64: 1DF4A140D72439F1 Time : 0.0 sec. user=vaughan [2012-03-02 03:42:48] 407*2^1125896-1 is not prime. Res64: A850358BD28002D6 Time : 0.0 sec. user=vaughan [2012-03-02 03:43:14] 435*2^1125896-1 is not prime. Res64: 8B3F461DA5D9D8C5 Time : 0.0 sec. user=vaughan [2012-03-02 03:43:30] 515*2^1125896-1 is not prime. Res64: FAE3D2C2FF705935 Time : 0.0 sec. user=vaughan [2012-03-02 03:45:23] 467*2^1125898-1 is not prime. Res64: 5366B8330E9D81F1 Time : 0.0 sec. user=juhehe [2012-03-02 03:52:14] 527*2^1125898-1 is not prime. Res64: 49774FC60290069C Time : 0.0 sec. user=juhehe [2012-03-02 03:59:19] 537*2^1125897-1 is not prime. Res64: 034123744465C760 Time : 0.0 sec. user=vaughan [2012-03-02 03:59:21] 463*2^1125899-1 is not prime. Res64: B23621CA3C4E8C87 Time : 0.0 sec. user=vaughan [2012-03-02 03:59:41] 565*2^1125899-1 is not prime. Res64: 01229E2F3477CC50 Time : 0.0 sec. user=vaughan [2012-03-02 04:00:01] 425*2^1125900-1 is not prime. Res64: FCC2B8E2661C5365 Time : 0.0 sec. user=juhehe [2012-03-02 04:01:00] 483*2^1125898-1 is not prime. Res64: 2DBE205B3AD86847 Time : 0.0 sec. user=vaughan [2012-03-02 04:01:52] 465*2^1125900-1 is not prime. Res64: 748BF5E9BEC11071 Time : 0.0 sec. user=juhehe [2012-03-02 04:14:14] 555*2^1125900-1 is not prime. Res64: 3358A075D6C8D99C Time : 0.0 sec. user=vaughan [2012-03-02 04:16:33] 471*2^1125901-1 is not prime. Res64: A4AEED9238D82441 Time : 0.0 sec. user=vaughan [2012-03-02 04:17:01] 541*2^1125901-1 is not prime. Res64: 56552978018A51F8 Time : 0.0 sec. user=vaughan [2012-03-02 04:17:13] 577*2^1125901-1 is not prime. Res64: C678F64FE138F1E6 Time : 0.0 sec. user=vaughan [2012-03-02 04:19:14] 515*2^1125902-1 is not prime. Res64: 3FD7D5EC050D5E1A Time : 0.0 sec. user=juhehe [2012-03-02 04:31:23] 465*2^1125901-1 is not prime. Res64: D554E07F67AAB982 Time : 0.0 sec. user=juhehe [2012-03-02 04:33:04] 455*2^1125902-1 is not prime. Res64: D1F6D137236D17AF Time : 0.0 sec. user=vaughan [2012-03-02 04:33:08] 591*2^1125902-1 is not prime. Res64: CF37897A50D6C066 Time : 0.0 sec. user=vaughan [2012-03-02 04:33:37] 549*2^1125903-1 is not prime. Res64: B45E359A1401BE32 Time : 0.0 sec. user=vaughan [2012-03-02 04:33:47] 595*2^1125903-1 is not prime. Res64: A528CECEDDFA6E27 Time : 0.0 sec. user=vaughan [2012-03-02 04:35:49] 413*2^1125904-1 is not prime. Res64: 5DE8E8F8D97AE115 Time : 0.0 sec. user=juhehe [2012-03-02 04:36:14] 551*2^1125902-1 is not prime. Res64: 4971C5B851EFFCA2 Time : 0.0 sec. user=vaughan [2012-03-02 04:50:47] 579*2^1125905-1 is not prime. Res64: EDCCB5C91E0BBAFD Time : 0.0 sec. user=vaughan [2012-03-02 04:51:17] 595*2^1125905-1 is not prime. Res64: 3597FA26C6810459 Time : 0.0 sec. user=vaughan [2012-03-02 04:51:21] 405*2^1125906-1 is not prime. Res64: AAAE6CA5AB8FC00E Time : 0.0 sec. user=vaughan [2012-03-02 04:53:25] 413*2^1125906-1 is not prime. Res64: A40E875BFE889152 Time : 0.0 sec. user=juhehe [2012-03-02 04:58:16] 425*2^1125906-1 is not prime. Res64: 2BE7AE238784B7EF Time : 0.0 sec. user=juhehe [2012-03-02 05:03:29] 405*2^1125905-1 is not prime. Res64: 161A61731F46108F Time : 0.0 sec. user=juhehe [2012-03-02 05:05:10] 465*2^1125905-1 is not prime. Res64: 9751687EADECFC6A Time : 0.0 sec. user=vaughan [2012-03-02 05:08:17] 465*2^1125906-1 is not prime. Res64: F8DCBE3E2DA69E4C Time : 0.0 sec. user=vaughan [2012-03-02 05:08:53] 501*2^1125906-1 is not prime. Res64: A53D7E0764FD3311 Time : 0.0 sec. user=vaughan [2012-03-02 05:09:00] 573*2^1125906-1 is not prime. Res64: C018E2E4908CA8A9 Time : 0.0 sec. user=vaughan [2012-03-02 05:10:59] 451*2^1125907-1 is not prime. Res64: 3E0070B61433D369 Time : 0.0 sec. user=juhehe [2012-03-02 05:20:24] 499*2^1125907-1 is not prime. Res64: 19C44C9F63860FAE Time : 0.0 sec. user=vaughan [2012-03-02 05:25:58] 537*2^1125908-1 is not prime. Res64: D2DDC848E966C3B9 Time : 0.0 sec. user=vaughan [2012-03-02 05:26:38] 585*2^1125908-1 is not prime. Res64: 994F9EC17715A229 Time : 0.0 sec. user=vaughan [2012-03-02 05:26:47] 447*2^1125909-1 is not prime. Res64: F7198433BD80E9F6 Time : 0.0 sec. user=vaughan [2012-03-02 05:28:45] 549*2^1125909-1 is not prime. Res64: 80B83321E527FCA9 Time : 0.0 sec. user=juhehe [2012-03-02 05:35:20] 589*2^1125907-1 is not prime. Res64: D997F5EC376AFD3B Time : 0.0 sec. user=juhehe [2012-03-02 05:37:10] 519*2^1125908-1 is not prime. Res64: 87D6F641B5517671 Time : 0.0 sec. user=juhehe [2012-03-02 05:42:28] 579*2^1125909-1 is not prime. Res64: D3075754AC6E6569 Time : 0.0 sec. user=vaughan [2012-03-02 05:42:39] 425*2^1125910-1 is not prime. Res64: 514EC5626C7C4EAA Time : 0.0 sec. user=vaughan [2012-03-02 05:43:19] 443*2^1125910-1 is not prime. Res64: BE5E328CCD991AAB Time : 0.0 sec. user=vaughan [2012-03-02 05:43:25] 445*2^1125911-1 is not prime. Res64: FF3D4BB3A9E8FBEE Time : 0.0 sec. user=vaughan [2012-03-02 05:45:19] 485*2^1125912-1 is not prime. Res64: 6C5C2DB768328C7C Time : 0.0 sec. user=vaughan [2012-03-02 05:59:14] 591*2^1125913-1 is not prime. Res64: 17E221D4ACD0F631 Time : 0.0 sec. user=vaughan [2012-03-02 05:59:51] 423*2^1125914-1 is not prime. Res64: DB3C973E9A050D83 Time : 0.0 sec. user=vaughan [2012-03-02 05:59:57] 477*2^1125914-1 is not prime. Res64: 31CC545492DBCF51 Time : 0.0 sec. user=vaughan [2012-03-02 06:01:45] 501*2^1125914-1 is not prime. Res64: D2A816A7404FA75A Time : 0.0 sec. user=vaughan [2012-03-02 06:02:47] 497*2^1125912-1 is not prime. Res64: D7A9A58ED25BAB13 Time : 0.0 sec. user=juhehe [2012-03-02 06:04:30] 587*2^1125912-1 is not prime. Res64: FF7D2658978C38A6 Time : 0.0 sec. user=juhehe [2012-03-02 06:07:12] 525*2^1125912-1 is not prime. Res64: 0947B4D5C6FEB69A Time : 0.0 sec. user=juhehe [2012-03-02 06:09:02] 555*2^1125912-1 is not prime. Res64: 2CE13003E57F256C Time : 0.0 sec. user=vaughan [2012-03-02 06:16:39] 521*2^1125914-1 is not prime. Res64: 6BE6D3DED04FCDF7 Time : 0.0 sec. user=vaughan [2012-03-02 06:17:23] 525*2^1125914-1 is not prime. Res64: 5DA190D8615C4B34 Time : 0.0 sec. user=vaughan [2012-03-02 06:17:30] 531*2^1125914-1 is not prime. Res64: 185C958CC5C190A0 Time : 0.0 sec. user=vaughan [2012-03-02 06:19:16] 573*2^1125914-1 is not prime. Res64: 05BC9BCA6BE23984 Time : 0.0 sec. user=juhehe [2012-03-02 06:26:31] 415*2^1125915-1 is not prime. Res64: F06E1E7DE6BDAE08 Time : 0.0 sec. user=vaughan [2012-03-02 06:34:01] 489*2^1125915-1 is not prime. Res64: D0E33A99B57F4790 Time : 0.0 sec. user=vaughan [2012-03-02 06:34:44] 501*2^1125915-1 is not prime. Res64: 5679EB2A529F4E47 Time : 0.0 sec. user=vaughan [2012-03-02 06:34:45] 513*2^1125915-1 is not prime. Res64: E363DFD1CCE9DBD2 Time : 0.0 sec. user=vaughan [2012-03-02 06:36:53] 543*2^1125915-1 is not prime. Res64: 04995A95A953974C Time : 0.0 sec. user=juhehe [2012-03-02 06:39:04] 441*2^1125915-1 is not prime. Res64: 989EA264973406D6 Time : 0.0 sec. user=juhehe [2012-03-02 06:40:56] 465*2^1125915-1 is not prime. Res64: C8348E9C6F4C4590 Time : 0.0 sec. user=juhehe [2012-03-02 06:48:33] 595*2^1125915-1 is not prime. Res64: 00AD7BC5379AAD9B Time : 0.0 sec. user=vaughan [2012-03-02 06:50:35] 413*2^1125916-1 is not prime. Res64: 388EFC28446F19F8 Time : 0.0 sec. user=vaughan [2012-03-02 06:51:18] 443*2^1125916-1 is not prime. Res64: 2971329D9C2512A1 Time : 0.0 sec. user=vaughan [2012-03-02 06:51:24] 453*2^1125916-1 is not prime. Res64: E25084414839667F Time : 0.0 sec. user=vaughan [2012-03-02 06:53:28] 495*2^1125916-1 is not prime. Res64: 07A17E33EF664F1E Time : 0.0 sec. user=vaughan [2012-03-02 07:07:01] 437*2^1125916-1 is not prime. Res64: 49F77BFD07AEF30B Time : 0.0 sec. user=vaughan [2012-03-02 07:07:14] 555*2^1125918-1 is not prime. Res64: 5E3B6093571CFE14 Time : 0.0 sec. user=vaughan [2012-03-02 07:07:52] 567*2^1125918-1 is not prime. Res64: 0C8C9C6E6747DEF4 Time : 0.0 sec. user=vaughan [2012-03-02 07:07:56] 421*2^1125919-1 is not prime. Res64: 2062AC4B456F6089 Time : 0.0 sec. user=vaughan [2012-03-02 07:10:06] 441*2^1125919-1 is not prime. Res64: 509F397748C10A83 Time : 0.0 sec. user=juhehe [2012-03-02 07:10:37] 485*2^1125918-1 is not prime. Res64: 2CC977DF94533542 Time : 0.0 sec. user=juhehe [2012-03-02 07:11:29] 469*2^1125917-1 is not prime. Res64: E322636E0AADF820 Time : 0.0 sec. user=juhehe [2012-03-02 07:13:19] 413*2^1125918-1 is not prime. Res64: 962794A42A35319E Time : 0.0 sec. user=vaughan [2012-03-02 07:24:59] 465*2^1125919-1 is not prime. Res64: F16BFC962F1E724F Time : 0.0 sec. user=vaughan [2012-03-02 07:25:34] 505*2^1125919-1 is not prime. Res64: 0FD4FE88C09959A5 Time : 0.0 sec. user=vaughan [2012-03-02 07:25:38] 493*2^1125919-1 is not prime. Res64: 4EBBD527069F067E Time : 0.0 sec. user=vaughan [2012-03-02 07:27:53] 405*2^1125920-1 is not prime. Res64: 248B3C54397CE830 Time : 0.0 sec. user=juhehe [2012-03-02 07:32:40] 599*2^1125920-1 is not prime. Res64: 9A0C76CCAAF2E17E Time : 0.0 sec. user=juhehe [2012-03-02 07:43:24] 439*2^1125921-1 is not prime. Res64: B2AA666F259A5D42 Time : 0.0 sec. user=juhehe [2012-03-02 07:44:58] 445*2^1125921-1 is not prime. Res64: D206943C6A3CF127 Time : 0.0 sec. user=juhehe [2012-03-02 07:54:52] 437*2^1125924-1 is not prime. Res64: 196CC1A0FDE2931C Time : 0.0 sec. user=vaughan [2012-03-02 08:14:23] 567*2^1125922-1 is not prime. Res64: 4C595180A53CEF27 Time : 0.0 sec. user=vaughan [2012-03-02 08:14:46] 571*2^1125921-1 is not prime. Res64: FA7EC0EEB4D019CB Time : 0.0 sec. user=juhehe [2012-03-02 08:15:08] 447*2^1125924-1 is not prime. Res64: 8979942BD93A95B7 Time : 0.0 sec. user=vaughan [2012-03-02 08:15:09] 467*2^1125922-1 is not prime. Res64: 65ADC9AA95F42393 Time : 0.0 sec. user=vaughan [2012-03-02 08:15:23] 513*2^1125922-1 is not prime. Res64: 36621916D2E52451 Time : 0.0 sec. user=juhehe [2012-03-02 08:16:48] 555*2^1125924-1 is not prime. Res64: 13EDCBAC9C4E2FE6 Time : 0.0 sec. user=juhehe [2012-03-02 08:21:21] 557*2^1125924-1 is not prime. Res64: F98CC62F4FA5C4EB Time : 0.0 sec. user=vaughan [2012-03-02 08:30:51] 567*2^1125924-1 is not prime. Res64: 9BFAB0878DF17F5E Time : 0.0 sec. user=vaughan [2012-03-02 08:31:10] 405*2^1125925-1 is not prime. Res64: 3303B9A4F6E3650A Time : 0.0 sec. user=vaughan [2012-03-02 08:31:30] 499*2^1125925-1 is not prime. Res64: BF2A52CDBD624C55 Time : 0.0 sec. user=vaughan [2012-03-02 08:31:47] 561*2^1125925-1 is not prime. Res64: 00A62E01678DAFB8 Time : 0.0 sec. user=juhehe [2012-03-02 08:45:23] 483*2^1125926-1 is not prime. Res64: 66BD4F933D5B2CAD Time : 0.0 sec. user=juhehe [2012-03-02 08:47:03] 409*2^1125925-1 is not prime. Res64: 046B371A62312665 Time : 0.0 sec. user=vaughan [2012-03-02 08:47:23] 507*2^1125926-1 is not prime. Res64: 64F0B97F15B16E1B Time : 0.0 sec. user=vaughan [2012-03-02 08:47:44] 525*2^1125926-1 is not prime. Res64: DCA73A687ECAD98A Time : 0.0 sec. user=vaughan [2012-03-02 08:48:01] 557*2^1125926-1 is not prime. Res64: E4F715EF7D2259E1 Time : 0.0 sec. user=vaughan [2012-03-02 08:48:20] 593*2^1125926-1 is not prime. Res64: 51C60A8AAAE908A2 Time : 0.0 sec. user=juhehe [2012-03-02 08:48:43] 591*2^1125925-1 is not prime. Res64: F4E9C7A10FE03473 Time : 0.0 sec. user=vaughan [2012-03-02 09:03:54] 435*2^1125929-1 is not prime. Res64: C2ACA67240DCEFE4 Time : 0.0 sec. user=vaughan [2012-03-02 09:04:16] 525*2^1125929-1 is not prime. Res64: 752CD5F408140090 Time : 0.0 sec. user=vaughan [2012-03-02 09:04:37] 411*2^1125930-1 is not prime. Res64: BADA2418DD7AF125 Time : 0.0 sec. user=vaughan [2012-03-02 09:04:56] 447*2^1125930-1 is not prime. Res64: 3A8592CDCA531FC0 Time : 0.0 sec. user=juhehe [2012-03-02 09:12:24] 543*2^1125927-1 is not prime. Res64: AAD551FFB0A50A56 Time : 0.0 sec. user=juhehe [2012-03-02 09:18:48] 539*2^1125928-1 is not prime. Res64: 5E3F9610C945ECA1 Time : 0.0 sec. user=juhehe [2012-03-02 09:20:29] 465*2^1125930-1 is not prime. Res64: 558DD0935582F569 Time : 0.0 sec. user=juhehe [2012-03-02 09:41:54] 555*2^1125931-1 is not prime. Res64: ADAA96882BF02A2C Time : 0.0 sec. user=juhehe [2012-03-02 09:50:35] 417*2^1125932-1 is not prime. Res64: 4C34312C38AF3050 Time : 0.0 sec. user=juhehe [2012-03-02 09:52:12] 435*2^1125932-1 is not prime. Res64: 26BCA74C66CF24EB Time : 0.0 sec. user=juhehe [2012-03-02 10:11:15] 525*2^1125933-1 is not prime. Res64: 7EE2A81D4BD28AC6 Time : 0.0 sec. user=juhehe [2012-03-02 10:22:27] 565*2^1125933-1 is not prime. Res64: 4D4AF8D6B72D3B37 Time : 0.0 sec. user=juhehe [2012-03-02 10:24:02] 483*2^1125934-1 is not prime. Res64: 623293B3679AB1C5 Time : 0.0 sec. user=juhehe [2012-03-02 10:38:42] 441*2^1125935-1 is not prime. Res64: 350C29C5B9093363 Time : 0.0 sec. user=juhehe [2012-03-02 10:54:27] 511*2^1125935-1 is not prime. Res64: 15B50E3AD8CBCDFC Time : 0.0 sec. user=juhehe [2012-03-02 10:55:59] 557*2^1125936-1 is not prime. Res64: A6ACA9D8B2BF3619 Time : 0.0 sec. user=juhehe [2012-03-02 11:03:24] 563*2^1125936-1 is not prime. Res64: A6A1BB4BD2B7821A Time : 0.0 sec. user=juhehe [2012-03-02 11:26:10] 441*2^1125937-1 is not prime. Res64: 471C71266CDDA41F Time : 0.0 sec. user=juhehe [2012-03-02 11:27:45] 499*2^1125937-1 is not prime. Res64: B7B390FC1BA8A008 Time : 0.0 sec. user=juhehe [2012-03-02 11:28:08] 567*2^1125937-1 is not prime. Res64: 3EAA3A666415043F Time : 0.0 sec. user=juhehe [2012-03-02 11:52:43] 563*2^1125938-1 is not prime. Res64: 797413BBBF47F54D Time : 0.0 sec. user=vaughan [2012-03-02 11:54:48] 589*2^1125937-1 is not prime. Res64: 3531C293B9003A6E Time : 0.0 sec. user=juhehe [2012-03-02 11:57:58] 447*2^1125938-1 is not prime. Res64: E12417DC81B98129 Time : 0.0 sec. user=juhehe [2012-03-02 11:59:35] 501*2^1125938-1 is not prime. Res64: 8CC7163DFFDA7D13 Time : 0.0 sec. user=juhehe [2012-03-02 12:18:46] 501*2^1125939-1 is not prime. Res64: E9F97441C4216AF5 Time : 0.0 sec. user=juhehe [2012-03-02 12:29:36] 553*2^1125939-1 is not prime. Res64: 0210512CC8C1A940 Time : 0.0 sec. user=juhehe [2012-03-02 12:31:17] 449*2^1125940-1 is not prime. Res64: D94E445EF569D940 Time : 0.0 sec. user=juhehe [2012-03-02 12:44:24] 567*2^1125940-1 is not prime. Res64: 777D3700FEA50680 Time : 0.0 sec. user=vaughan [2012-03-02 12:59:15] 405*2^1125941-1 is not prime. Res64: 38164DF348BA336F Time : 0.0 sec. user=juhehe [2012-03-02 13:01:28] 411*2^1125941-1 is not prime. Res64: D882944B137B916D Time : 0.0 sec. user=juhehe [2012-03-02 13:03:09] 489*2^1125941-1 is not prime. Res64: 29CA18861D9788FC Time : 0.0 sec. user=juhehe [2012-03-02 13:06:50] 485*2^1125942-1 is not prime. Res64: 38B0B2EE992B13A1 Time : 0.0 sec. user=juhehe [2012-03-02 13:29:15] 587*2^1125942-1 is not prime. Res64: 983B66573FFD89B4 Time : 0.0 sec. user=juhehe [2012-03-02 13:33:43] 503*2^1125942-1 is not prime. Res64: 7FE1B0FCC46C7259 Time : 0.0 sec. user=juhehe [2012-03-02 13:35:29] 525*2^1125942-1 is not prime. Res64: 3422141674775166 Time : 0.0 sec. user=juhehe [2012-03-02 14:03:32] 453*2^1125943-1 is not prime. Res64: 4145A63D6A0BD28B Time : 0.0 sec. user=vaughan [2012-03-02 14:04:51] 463*2^1125943-1 is not prime. Res64: 9AEF09C291E8B53B Time : 0.0 sec. user=juhehe [2012-03-02 14:05:29] 475*2^1125943-1 is not prime. Res64: 9DAC554734F4AC6B Time : 0.0 sec. user=juhehe [2012-03-02 14:07:17] 549*2^1125943-1 is not prime. Res64: 4B297032F9AF247B Time : 0.0 sec. user=juhehe [2012-03-02 14:31:43] 425*2^1125944-1 is not prime. Res64: 99CD399CD54A594C Time : 0.0 sec. user=juhehe [2012-03-02 14:37:19] 447*2^1125944-1 is not prime. Res64: D978C5C07A37D90E Time : 0.0 sec. user=juhehe [2012-03-02 14:39:11] 543*2^1125944-1 is not prime. Res64: 6EB969E380A3B0D2 Time : 0.0 sec. user=juhehe [2012-03-02 14:55:03] 593*2^1125944-1 is not prime. Res64: C56366144F29D7C0 Time : 0.0 sec. user=vaughan [2012-03-02 15:09:16] 481*2^1125945-1 is not prime. Res64: 62FD822BF839B272 Time : 0.0 sec. user=juhehe [2012-03-02 15:09:36] 597*2^1125946-1 is not prime. Res64: 83370DB2BC063B89 Time : 0.0 sec. user=juhehe [2012-03-02 15:11:11] 553*2^1125947-1 is not prime. Res64: 8A28D76BB1DAADF7 Time : 0.0 sec. user=juhehe [2012-03-02 15:18:41] 483*2^1125948-1 is not prime. Res64: 191354B729273ABC Time : 0.0 sec. user=juhehe [2012-03-02 15:41:59] 503*2^1125948-1 is not prime. Res64: 25EAC2ACB73D3D72 Time : 0.0 sec. user=juhehe [2012-03-02 15:43:28] 451*2^1125949-1 is not prime. Res64: 2FDD7CBA8F03FECE Time : 0.0 sec. user=juhehe [2012-03-02 15:50:09] 457*2^1125949-1 is not prime. Res64: 9668D95AF00DB414 Time : 0.0 sec. user=juhehe [2012-03-02 16:13:38] 595*2^1125949-1 is not prime. Res64: 26A7B6B2F7F14AC5 Time : 0.0 sec. user=juhehe [2012-03-02 16:14:05] 489*2^1125949-1 is not prime. Res64: E0F25B4A87CB53A7 Time : 0.0 sec. user=juhehe [2012-03-02 16:15:41] 505*2^1125949-1 is not prime. Res64: FFD0A761ADCAF4BF Time : 0.0 sec. user=vaughan [2012-03-02 16:17:05] 577*2^1125949-1 is not prime. Res64: 34EBA4F12055B6E5 Time : 0.0 sec. user=juhehe [2012-03-02 16:37:42] 411*2^1125950-1 is not prime. Res64: B3F45C36B853D57C Time : 0.0 sec. user=juhehe [2012-03-02 16:46:03] 417*2^1125950-1 is not prime. Res64: 0713A8E94748030B Time : 0.0 sec. user=juhehe [2012-03-02 16:47:50] 425*2^1125950-1 is not prime. Res64: 5C5D47C3CC4C3621 Time : 0.0 sec. user=juhehe [2012-03-02 17:01:53] 447*2^1125950-1 is not prime. Res64: 616E110DBED8976D Time : 0.0 sec. user=juhehe [2012-03-02 17:17:58] 477*2^1125950-1 is not prime. Res64: D941C682DE78CD1A Time : 0.0 sec. user=juhehe [2012-03-02 17:19:50] 515*2^1125950-1 is not prime. Res64: 2031A28FED862C1A Time : 0.0 sec. user=vaughan [2012-03-02 17:21:25] 561*2^1125950-1 is not prime. Res64: BBDAE43EE5C047A4 Time : 0.0 sec. user=juhehe [2012-03-02 17:28:36] 591*2^1125950-1 is not prime. Res64: 37FE0746052FCEC9 Time : 0.0 sec. user=juhehe [2012-03-02 17:49:52] 465*2^1125951-1 is not prime. Res64: 7DC7D1E6BE2E5700 Time : 0.0 sec. user=juhehe [2012-03-02 17:51:44] 583*2^1125951-1 is not prime. Res64: 61EAF821D39527C1 Time : 0.0 sec. user=juhehe [2012-03-02 17:52:20] 595*2^1125951-1 is not prime. Res64: FBC24F229D0132AA Time : 0.0 sec. user=vaughan [2012-03-02 18:25:53] 539*2^1125952-1 is not prime. Res64: 0147CE8735D4B9F6 Time : 0.0 sec. user=vaughan [2012-03-02 19:30:27] 541*2^1125495-1 is not prime. Res64: 75E825F07B6B6774 Time : 0.0 sec. user=vaughan [2012-03-02 20:03:39] 435*2^1125496-1 is not prime. Res64: C0092F617B0224A2 Time : 0.0 sec. user=vaughan [2012-03-02 20:15:19] 521*2^1125930-1 is not prime. Res64: F9F9C39FB854908F Time : 0.0 sec. user=vaughan [2012-03-02 20:15:48] 463*2^1125931-1 is not prime. Res64: 47EDB9F81F09FEDB Time : 0.0 sec. user=vaughan [2012-03-02 20:16:14] 493*2^1125931-1 is not prime. Res64: 52F51D773863D344 Time : 0.0 sec. user=vaughan [2012-03-02 20:16:29] 535*2^1125931-1 is not prime. Res64: ECD4CA205C470CDC Time : 0.0 sec. user=vaughan [2012-03-02 20:34:19] 539*2^1125496-1 is not prime. Res64: 3311755AA988E711 Time : 0.0 sec. user=vaughan [2012-03-02 20:34:43] 483*2^1125499-1 is not prime. Res64: C32CD2252FF28773 Time : 0.0 sec. user=vaughan [2012-03-02 20:35:02] 505*2^1125499-1 is not prime. Res64: 29222EADC85DECD0 Time : 0.0 sec. user=vaughan [2012-03-02 20:35:14] 459*2^1125500-1 is not prime. Res64: ACE28D266FB4E4E1 Time : 0.0 sec. user=vaughan [2012-03-02 20:36:36] 483*2^1125496-1 is not prime. Res64: C985EA1FD70DB804 Time : 0.0 sec. user=vaughan [2012-03-02 20:50:56] 483*2^1125500-1 is not prime. Res64: 5B76D16B955B6CB5 Time : 0.0 sec. user=vaughan [2012-03-02 20:51:23] 489*2^1125507-1 is not prime. Res64: 356CAC94E32E9135 Time : 0.0 sec. user=vaughan [2012-03-02 20:51:41] 513*2^1125507-1 is not prime. Res64: 2968B2389D8982F0 Time : 0.0 sec. user=vaughan [2012-03-02 20:51:52] 437*2^1125508-1 is not prime. Res64: 19880AB5576D9C3E Time : 0.0 sec. user=vaughan [2012-03-02 21:03:34] 497*2^1125508-1 is not prime. Res64: A4F9887AEF3E0520 Time : 0.0 sec. user=vaughan [2012-03-02 21:08:39] 539*2^1125508-1 is not prime. Res64: CF846A4CF336AB6D Time : 0.0 sec. user=vaughan [2012-03-02 21:09:04] 549*2^1125508-1 is not prime. Res64: 8FC013E49EBDF1A7 Time : 0.0 sec. user=vaughan [2012-03-02 21:09:17] 573*2^1125508-1 is not prime. Res64: D2A6A60AEA5E0CE5 Time : 0.0 sec. user=vaughan [2012-03-02 21:09:35] 417*2^1125509-1 is not prime. Res64: F55C5A49E170B7F2 Time : 0.0 sec. user=vaughan [2012-03-02 21:25:18] 549*2^1125952-1 is not prime. Res64: AD730D8827C0E01C Time : 0.0 sec. user=vaughan [2012-03-02 21:25:35] 563*2^1125952-1 is not prime. Res64: C1ED17EBC84CA61F Time : 0.0 sec. user=vaughan [2012-03-02 21:26:06] 573*2^1125952-1 is not prime. Res64: 24F17F7C90C27FB8 Time : 0.0 sec. user=vaughan [2012-03-02 21:26:22] 409*2^1125953-1 is not prime. Res64: 6A687732CDABB093 Time : 0.0 sec. user=vaughan [2012-03-02 21:41:42] 487*2^1125953-1 is not prime. Res64: 814CC8046C342E0B Time : 0.0 sec. user=vaughan [2012-03-02 21:42:07] 489*2^1125953-1 is not prime. Res64: 31FB2C29A71A6335 Time : 0.0 sec. user=vaughan [2012-03-02 21:42:36] 507*2^1125953-1 is not prime. Res64: 081125369993BD5C Time : 0.0 sec. user=vaughan [2012-03-02 21:42:50] 595*2^1125953-1 is not prime. Res64: D235C12DF2365E0D Time : 0.0 sec. user=vaughan [2012-03-02 21:58:26] 573*2^1125954-1 is not prime. Res64: 7B78A22CCB85AF15 Time : 0.0 sec. user=vaughan [2012-03-02 21:58:48] 553*2^1125955-1 is not prime. Res64: ACCFA6E5C2ED4EBC Time : 0.0 sec. user=vaughan [2012-03-02 21:59:08] 495*2^1125956-1 is not prime. Res64: 806AC55DF3BEECFE Time : 0.0 sec. user=vaughan [2012-03-02 21:59:26] 525*2^1125956-1 is not prime. Res64: B21A847C286AAA41 Time : 0.0 sec. user=vaughan [2012-03-02 22:15:47] 521*2^1125954-1 is not prime. Res64: 2D6F7E4CA0649AAF Time : 0.0 sec. user=vaughan [2012-03-02 22:17:19] 555*2^1125958-1 is not prime. Res64: B3A9EAD7399BCCA0 Time : 0.0 sec. user=vaughan [2012-03-02 22:17:42] 433*2^1125959-1 is not prime. Res64: 080F7B14A47DA117 Time : 0.0 sec. user=vaughan [2012-03-02 22:18:08] 435*2^1125959-1 is not prime. Res64: 5B68B48D1CA72DAB Time : 0.0 sec. user=vaughan [2012-03-02 22:18:24] 465*2^1125959-1 is not prime. Res64: 9BDE118B78B5D98B Time : 0.0 sec. user=vaughan [2012-03-02 22:35:03] 563*2^1125960-1 is not prime. Res64: 99E576AD3EFE3AB1 Time : 0.0 sec. user=vaughan [2012-03-02 22:35:22] 585*2^1125960-1 is not prime. Res64: 2F8EBEC1F122D50B Time : 0.0 sec. user=vaughan [2012-03-02 22:35:45] 405*2^1125961-1 is not prime. Res64: 3B01996B165D150A Time : 0.0 sec. user=vaughan [2012-03-02 22:36:05] 465*2^1125961-1 is not prime. Res64: B46356761486D649 Time : 0.0 sec. user=gd_barnes [2012-03-02 22:39:35] 589*2^1125959-1 is not prime. Res64: F41CB01B066A65F5 Time : 0.0 sec. user=vaughan [2012-03-02 22:53:53] 489*2^1125961-1 is not prime. Res64: B35482FDB1A57EF4 Time : 0.0 sec. user=vaughan [2012-03-02 22:54:00] 505*2^1125961-1 is not prime. Res64: B89C85B2E96A13B2 Time : 0.0 sec. user=vaughan [2012-03-02 22:54:45] 415*2^1125963-1 is not prime. Res64: EFC4746E3F3352C4 Time : 0.0 sec. user=vaughan [2012-03-02 22:55:01] 429*2^1125963-1 is not prime. Res64: 58A6ACA19B6EE2B8 Time : 0.0 sec. user=vaughan [2012-03-02 23:11:52] 413*2^1125964-1 is not prime. Res64: 14FE7D4BEF28C601 Time : 0.0 sec. user=vaughan [2012-03-02 23:11:56] 437*2^1125964-1 is not prime. Res64: 8455F0416BBAF7F1 Time : 0.0 sec. user=vaughan [2012-03-02 23:12:41] 533*2^1125964-1 is not prime. Res64: F91F1A6FBFD82006 Time : 0.0 sec. user=vaughan [2012-03-02 23:12:54] 569*2^1125964-1 is not prime. Res64: 850D301930771246 Time : 0.0 sec. user=vaughan [2012-03-02 23:25:24] 459*2^1125960-1 is not prime. Res64: 1526671451CD357C Time : 0.0 sec. user=vaughan [2012-03-02 23:28:32] 575*2^1125964-1 is not prime. Res64: 57B390211B8F31FF Time : 0.0 sec. user=vaughan [2012-03-02 23:28:36] 447*2^1125965-1 is not prime. Res64: 63C39CAE7E4CF548 Time : 0.0 sec. user=vaughan [2012-03-02 23:29:27] 579*2^1125965-1 is not prime. Res64: 180E156F020EEA10 Time : 0.0 sec. user=vaughan [2012-03-02 23:29:29] 443*2^1125966-1 is not prime. Res64: 1E11E4BFE3F0C7A2 Time : 0.0 sec. user=vaughan [2012-03-02 23:45:47] 423*2^1125967-1 is not prime. Res64: 4AB597D49EC2452E Time : 0.0 sec. user=vaughan [2012-03-02 23:46:01] 465*2^1125967-1 is not prime. Res64: 99776E944E3CB4D1 Time : 0.0 sec. user=vaughan [2012-03-02 23:46:55] 579*2^1125967-1 is not prime. Res64: C59D04E43F590EFB Time : 0.0 sec. user=vaughan [2012-03-02 23:46:57] 489*2^1125968-1 is not prime. Res64: 2A00E0EC3AD31056 Time : 0.0 sec. user=vaughan [2012-03-02 23:58:40] 461*2^1125966-1 is not prime. Res64: 3EA90F2C03EAD84E Time : 0.0 sec.