user=juhehe [2012-04-02 00:10:16] 453*2^1129440-1 is not prime. Res64: 727AAEA04795E4E4 Time : 0.0 sec. user=juhehe [2012-04-02 00:10:19] 447*2^1129440-1 is not prime. Res64: 7F0FE5551E6A50DA Time : 0.0 sec. user=juhehe [2012-04-02 00:42:00] 503*2^1129440-1 is not prime. Res64: A13E81C84FAEFFBC Time : 0.0 sec. user=juhehe [2012-04-02 00:42:07] 567*2^1129440-1 is not prime. Res64: 4FD89F7DA6858822 Time : 0.0 sec. user=juhehe [2012-04-02 01:13:45] 407*2^1129442-1 is not prime. Res64: 282099AF8F7AEAD1 Time : 0.0 sec. user=juhehe [2012-04-02 01:13:45] 411*2^1129441-1 is not prime. Res64: 4E339E5E3DD2142F Time : 0.0 sec. user=juhehe [2012-04-02 01:45:30] 417*2^1129442-1 is not prime. Res64: 6283656E239BAFD1 Time : 0.0 sec. user=juhehe [2012-04-02 01:45:30] 467*2^1129442-1 is not prime. Res64: FDD6CDBB0609B45B Time : 0.0 sec. user=juhehe [2012-04-02 02:17:12] 563*2^1129442-1 is not prime. Res64: D6DEC23553BD970E Time : 0.0 sec. user=juhehe [2012-04-02 02:17:19] 525*2^1129442-1 is not prime. Res64: 541FD2D59BB89CD4 Time : 0.0 sec. user=juhehe [2012-04-02 02:48:52] 465*2^1129443-1 is not prime. Res64: E76436D1DE68ED7B Time : 0.0 sec. user=juhehe [2012-04-02 02:49:02] 529*2^1129443-1 is not prime. Res64: 5F409A01161C2B56 Time : 0.0 sec. user=juhehe [2012-04-02 03:20:36] 437*2^1129444-1 is not prime. Res64: D68EEDE2BDF6CD66 Time : 0.0 sec. user=juhehe [2012-04-02 03:20:45] 483*2^1129444-1 is not prime. Res64: A23F82E4D584CD8A Time : 0.0 sec. user=juhehe [2012-04-02 04:03:20] 507*2^1129444-1 is not prime. Res64: 2F05F7B80F6F594A Time : 0.0 sec. user=juhehe [2012-04-02 04:03:24] 563*2^1129444-1 is not prime. Res64: D9F5E1E2AE58D179 Time : 0.0 sec. user=juhehe [2012-04-02 04:36:44] 573*2^1129444-1 is not prime. Res64: 2D4FC95319F0019B Time : 0.0 sec. user=juhehe [2012-04-02 04:37:29] 431*2^1129446-1 is not prime. Res64: 09CE525BA0E96AA9 Time : 0.0 sec. user=henryzz [2012-04-02 04:39:55] 555*2^1129429-1 is not prime. Res64: ACACD565D5FFF104 Time : 0.0 sec. user=henryzz [2012-04-02 04:40:12] 577*2^1129429-1 is not prime. Res64: B5AA04BFCDE48025 Time : 0.0 sec. user=henryzz [2012-04-02 04:55:26] 477*2^1129430-1 is not prime. Res64: 5525CDB2595FAB28 Time : 0.0 sec. user=henryzz [2012-04-02 05:03:14] 495*2^1129430-1 is not prime. Res64: C70DA7BE097C718E Time : 0.0 sec. user=henryzz [2012-04-02 05:08:31] 527*2^1129446-1 is not prime. Res64: 1ABEA7D3DD0C9AAA Time : 0.0 sec. user=henryzz [2012-04-02 05:09:32] 525*2^1129446-1 is not prime. Res64: 36F4AC3F5C7E8061 Time : 0.0 sec. user=juhehe [2012-04-02 05:10:29] 465*2^1129446-1 is not prime. Res64: 071AE37168C22B68 Time : 0.0 sec. user=juhehe [2012-04-02 05:10:56] 515*2^1129446-1 is not prime. Res64: 22B8EC226BF191FA Time : 0.0 sec. user=henryzz [2012-04-02 05:24:20] 537*2^1129446-1 is not prime. Res64: C75A9C758922488E Time : 0.0 sec. user=henryzz [2012-04-02 05:32:22] 581*2^1129446-1 is not prime. Res64: 45E0644AAEC0F6DD Time : 0.0 sec. user=henryzz [2012-04-02 05:41:20] 587*2^1129446-1 is not prime. Res64: 7058DEE7ADCB8440 Time : 0.0 sec. user=henryzz [2012-04-02 05:42:28] 423*2^1129447-1 is not prime. Res64: 414B9C0CA1561764 Time : 0.0 sec. user=juhehe [2012-04-02 05:43:11] 441*2^1129447-1 is not prime. Res64: 4546A4DEA3D99502 Time : 0.0 sec. user=juhehe [2012-04-02 05:43:35] 493*2^1129447-1 is not prime. Res64: 7D0AAB21D62FA3D8 Time : 0.0 sec. user=henryzz [2012-04-02 05:57:27] 503*2^1129448-1 is not prime. Res64: CD2F5E79C27D195E Time : 0.0 sec. user=henryzz [2012-04-02 06:05:58] 533*2^1129448-1 is not prime. Res64: 1841788170F67C56 Time : 0.0 sec. user=henryzz [2012-04-02 06:06:35] 465*2^1129451-1 is not prime. Res64: A96DF74E5D6A26D2 Time : 0.0 sec. user=juhehe [2012-04-02 06:15:53] 585*2^1129451-1 is not prime. Res64: 8998E22DBC35F981 Time : 0.0 sec. user=juhehe [2012-04-02 06:16:10] 525*2^1129452-1 is not prime. Res64: ED8CF72A1C248F26 Time : 0.0 sec. user=henryzz [2012-04-02 06:18:18] 423*2^1129450-1 is not prime. Res64: 8D524BDA20E06025 Time : 0.0 sec. user=henryzz [2012-04-02 06:29:28] 495*2^1129453-1 is not prime. Res64: 6AB8108FDAC25B73 Time : 0.0 sec. user=henryzz [2012-04-02 06:33:06] 409*2^1129453-1 is not prime. Res64: D066F54EDA1925B7 Time : 0.0 sec. user=henryzz [2012-04-02 06:42:04] 411*2^1129453-1 is not prime. Res64: 552597E82E0948D0 Time : 0.0 sec. user=juhehe [2012-04-02 06:46:40] 501*2^1129454-1 is not prime. Res64: CD9979CD9E571CE9 Time : 0.0 sec. user=juhehe [2012-04-02 06:48:27] 519*2^1129453-1 is not prime. Res64: 56A51A3B85C278E4 Time : 0.0 sec. user=juhehe [2012-04-02 06:48:43] 525*2^1129453-1 is not prime. Res64: 1D1879095F2C53C2 Time : 0.0 sec. user=henryzz [2012-04-02 06:53:01] 537*2^1129453-1 is not prime. Res64: 02D8F6A83BE1153C Time : 0.0 sec. user=henryzz [2012-04-02 07:01:32] 573*2^1129454-1 is not prime. Res64: 75D324C7DA34BA4B Time : 0.0 sec. user=juhehe [2012-04-02 07:05:20] 451*2^1129455-1 is not prime. Res64: 777CA3B0B30E63E2 Time : 0.0 sec. user=henryzz [2012-04-02 07:06:05] 557*2^1129454-1 is not prime. Res64: E33D0E8A1967F1F5 Time : 0.0 sec. user=henryzz [2012-04-02 07:17:48] 429*2^1129455-1 is not prime. Res64: 8010C299D500A6FC Time : 0.0 sec. user=juhehe [2012-04-02 07:21:00] 573*2^1129455-1 is not prime. Res64: C866299024C9C28F Time : 0.0 sec. user=juhehe [2012-04-02 07:21:13] 595*2^1129455-1 is not prime. Res64: 1F1110083B568D6C Time : 0.0 sec. user=henryzz [2012-04-02 07:22:10] 447*2^1129456-1 is not prime. Res64: 6A96FD1321188932 Time : 0.0 sec. user=juhehe [2012-04-02 07:23:33] 597*2^1129456-1 is not prime. Res64: FF500BAA0DB32416 Time : 0.0 sec. user=vaughan [2012-04-02 07:32:25] 453*2^1129456-1 is not prime. Res64: 4AFF50CF2ABAE60F Time : 0.0 sec. user=henryzz [2012-04-02 07:38:45] 495*2^1129456-1 is not prime. Res64: 931CD09FDDD58DDF Time : 0.0 sec. user=henryzz [2012-04-02 07:39:24] 405*2^1129457-1 is not prime. Res64: DC4DCC5FC3AFFC46 Time : 0.0 sec. user=juhehe [2012-04-02 07:42:57] 567*2^1129458-1 is not prime. Res64: 8D1F28C90E4C0BED Time : 0.0 sec. user=henryzz [2012-04-02 07:50:10] 421*2^1129457-1 is not prime. Res64: A905FA7A8882DE9F Time : 0.0 sec. user=juhehe [2012-04-02 07:53:46] 501*2^1129457-1 is not prime. Res64: BCB55320A1A71F92 Time : 0.0 sec. user=juhehe [2012-04-02 07:53:55] 529*2^1129457-1 is not prime. Res64: 59455C6F9E8F57D9 Time : 0.0 sec. user=henryzz [2012-04-02 07:54:36] 571*2^1129457-1 is not prime. Res64: B63AE65647C7F469 Time : 0.0 sec. user=juhehe [2012-04-02 08:03:05] 553*2^1129459-1 is not prime. Res64: 98926F66C86BC318 Time : 0.0 sec. user=henryzz [2012-04-02 08:07:55] 523*2^1129459-1 is not prime. Res64: 8CFAA2625E80B202 Time : 0.0 sec. user=henryzz [2012-04-02 08:11:29] 549*2^1129459-1 is not prime. Res64: 64334ABB908FEC45 Time : 0.0 sec. user=juhehe [2012-04-02 08:24:54] 549*2^1129461-1 is not prime. Res64: EE9929F95F50536D Time : 0.0 sec. user=henryzz [2012-04-02 08:25:12] 455*2^1129460-1 is not prime. Res64: 227C0B5160B8BCF0 Time : 0.0 sec. user=juhehe [2012-04-02 08:26:48] 585*2^1129460-1 is not prime. Res64: B8AC1CB03401FC5A Time : 0.0 sec. user=juhehe [2012-04-02 08:26:52] 479*2^1129460-1 is not prime. Res64: 6693C24CC0A5A9A2 Time : 0.0 sec. user=henryzz [2012-04-02 08:28:36] 529*2^1129461-1 is not prime. Res64: E9D0F30E1FBACFAD Time : 0.0 sec. user=henryzz [2012-04-02 08:36:56] 577*2^1129461-1 is not prime. Res64: 325B4CD8DD4F500F Time : 0.0 sec. user=henryzz [2012-04-02 08:41:39] 571*2^1129461-1 is not prime. Res64: 88F4D96C0A68DDBC Time : 0.0 sec. user=juhehe [2012-04-02 08:44:30] 425*2^1129462-1 is not prime. Res64: A42E61276F9F87CA Time : 0.0 sec. user=juhehe [2012-04-02 08:59:26] 423*2^1129463-1 is not prime. Res64: 7D333CD73701D56B Time : 0.0 sec. user=juhehe [2012-04-02 08:59:29] 451*2^1129463-1 is not prime. Res64: 44D18ACCDE02241E Time : 0.0 sec. user=juhehe [2012-04-02 09:04:06] 539*2^1129464-1 is not prime. Res64: 425DB950172C2F10 Time : 0.0 sec. user=henryzz [2012-04-02 09:07:17] 411*2^1129463-1 is not prime. Res64: 4E0B131A9B224D7B Time : 0.0 sec. user=henryzz [2012-04-02 09:12:00] 453*2^1129463-1 is not prime. Res64: C1F286C2291EDEDE Time : 0.0 sec. user=juhehe [2012-04-02 09:23:42] 411*2^1129465-1 is not prime. Res64: 0A828684B0988977 Time : 0.0 sec. user=henryzz [2012-04-02 09:29:47] 595*2^1129463-1 is not prime. Res64: 86CE5B02353EEEEC Time : 0.0 sec. user=henryzz [2012-04-02 09:30:54] 481*2^1129463-1 is not prime. Res64: 1C86FF672AD17F47 Time : 0.0 sec. user=juhehe [2012-04-02 09:32:08] 567*2^1129464-1 is not prime. Res64: 33983281E0F67306 Time : 0.0 sec. user=juhehe [2012-04-02 09:32:08] 555*2^1129464-1 is not prime. Res64: 02BB342022A045C8 Time : 0.0 sec. user=juhehe [2012-04-02 09:43:16] 511*2^1129465-1 is not prime. Res64: 7105E9EB84A995AF Time : 0.0 sec. user=juhehe [2012-04-02 10:02:50] 563*2^1129466-1 is not prime. Res64: 54CEC3273410D464 Time : 0.0 sec. user=juhehe [2012-04-02 10:05:02] 483*2^1129466-1 is not prime. Res64: DC177A7C96537E36 Time : 0.0 sec. user=juhehe [2012-04-02 10:05:08] 501*2^1129466-1 is not prime. Res64: BD3E64D0D6EF900B Time : 0.0 sec. user=henryzz [2012-04-02 10:07:51] 525*2^1129465-1 is not prime. Res64: C68C7EBA299FB713 Time : 0.0 sec. user=henryzz [2012-04-02 10:17:04] 507*2^1129465-1 is not prime. Res64: 15F46691A3F83349 Time : 0.0 sec. user=juhehe [2012-04-02 10:22:25] 403*2^1129467-1 is not prime. Res64: 6D620F0B405FA26A Time : 0.0 sec. user=henryzz [2012-04-02 10:25:56] 565*2^1129465-1 is not prime. Res64: B6951139365EA704 Time : 0.0 sec. user=henryzz [2012-04-02 10:37:30] 415*2^1129465-1 is not prime. Res64: 4EDA94C77165FA65 Time : 0.0 sec. user=juhehe [2012-04-02 10:37:50] 483*2^1129468-1 is not prime. Res64: EA2E4416FEDD7B1D Time : 0.0 sec. user=juhehe [2012-04-02 10:38:03] 449*2^1129468-1 is not prime. Res64: FABE9504EAC54B40 Time : 0.0 sec. user=juhehe [2012-04-02 10:42:00] 447*2^1129469-1 is not prime. Res64: 143B9640F87C11F9 Time : 0.0 sec. user=henryzz [2012-04-02 10:42:36] 489*2^1129468-1 is not prime. Res64: 478FB229789A268B Time : 0.0 sec. user=juhehe [2012-04-02 11:01:33] 425*2^1129470-1 is not prime. Res64: 97C80B161997D3DF Time : 0.0 sec. user=henryzz [2012-04-02 11:02:02] 511*2^1129469-1 is not prime. Res64: A06EA0DDD07D4348 Time : 0.0 sec. user=juhehe [2012-04-02 11:10:36] 405*2^1129470-1 is not prime. Res64: 46016AD025965734 Time : 0.0 sec. user=juhehe [2012-04-02 11:10:44] 413*2^1129470-1 is not prime. Res64: A33E314F54AC68DA Time : 0.0 sec. user=juhehe [2012-04-02 11:21:09] 599*2^1129472-1 is not prime. Res64: 10D580A6F1D8E961 Time : 0.0 sec. user=vaughan [2012-04-02 11:21:23] 447*2^1129472-1 is not prime. Res64: 36C83C1E8C15F49D Time : 0.0 sec. user=henryzz [2012-04-02 11:23:13] 575*2^1129468-1 is not prime. Res64: 9D1CAAE66F1665C8 Time : 0.0 sec. user=henryzz [2012-04-02 11:31:51] 457*2^1129473-1 is not prime. Res64: 90B0D3F30CBBBC83 Time : 0.0 sec. user=juhehe [2012-04-02 11:40:45] 409*2^1129475-1 is not prime. Res64: 1B790AB5D4CFBF63 Time : 0.0 sec. user=juhehe [2012-04-02 11:43:39] 549*2^1129473-1 is not prime. Res64: 911AE5720038EA01 Time : 0.0 sec. user=juhehe [2012-04-02 11:43:55] 559*2^1129473-1 is not prime. Res64: 48E9D22919C9226C Time : 0.0 sec. user=henryzz [2012-04-02 11:48:05] 559*2^1129469-1 is not prime. Res64: 24C63AD78FAEBDAE Time : 0.0 sec. user=henryzz [2012-04-02 11:51:47] 421*2^1129471-1 is not prime. Res64: BAE983559899FC76 Time : 0.0 sec. user=juhehe [2012-04-02 12:00:21] 479*2^1129476-1 is not prime. Res64: 49E612FB1B640551 Time : 0.0 sec. user=henryzz [2012-04-02 12:15:08] 455*2^1129476-1 is not prime. Res64: BDADCDE3343A046D Time : 0.0 sec. user=juhehe [2012-04-02 12:16:25] 485*2^1129476-1 is not prime. Res64: F26754C0125E87A0 Time : 0.0 sec. user=juhehe [2012-04-02 12:16:42] 497*2^1129476-1 is not prime. Res64: 920DEE1390605DFC Time : 0.0 sec. user=juhehe [2012-04-02 12:19:59] 537*2^1129476-1 is not prime. Res64: 9758436EE4E3EFB0 Time : 0.0 sec. user=henryzz [2012-04-02 12:24:03] 523*2^1129475-1 is not prime. Res64: C5E2AB3740B589E7 Time : 0.0 sec. user=juhehe [2012-04-02 12:39:35] 425*2^1129478-1 is not prime. Res64: 14BAE1A9B4A6C6E8 Time : 0.0 sec. user=henryzz [2012-04-02 12:41:44] 525*2^1129476-1 is not prime. Res64: 8D6FCC3AC89751D4 Time : 0.0 sec. user=henryzz [2012-04-02 12:43:55] 503*2^1129476-1 is not prime. Res64: 61434B1019F09146 Time : 0.0 sec. user=juhehe [2012-04-02 12:49:06] 517*2^1129477-1 is not prime. Res64: 187707B0A6BBBA52 Time : 0.0 sec. user=juhehe [2012-04-02 12:49:23] 417*2^1129478-1 is not prime. Res64: FE4912AE30506650 Time : 0.0 sec. user=juhehe [2012-04-02 12:59:35] 515*2^1129478-1 is not prime. Res64: 80F02F359E52E8FD Time : 0.0 sec. user=henryzz [2012-04-02 13:02:35] 499*2^1129477-1 is not prime. Res64: 5CA15124405BA3A9 Time : 0.0 sec. user=henryzz [2012-04-02 13:18:23] 555*2^1129479-1 is not prime. Res64: 965EC1D845A5565D Time : 0.0 sec. user=juhehe [2012-04-02 13:21:43] 445*2^1129481-1 is not prime. Res64: CF96C4622FA9F181 Time : 0.0 sec. user=juhehe [2012-04-02 13:22:00] 487*2^1129481-1 is not prime. Res64: EFE1172EE46B0EFF Time : 0.0 sec. user=henryzz [2012-04-02 13:32:27] 461*2^1129478-1 is not prime. Res64: 0F89C6E3EEAA7A58 Time : 0.0 sec. user=vaughan [2012-04-02 13:32:55] 529*2^1129481-1 is not prime. Res64: 56961FEEC132FFE9 Time : 0.0 sec. user=henryzz [2012-04-02 13:34:06] 425*2^1129482-1 is not prime. Res64: C8F9BD396D2CD96A Time : 0.0 sec. user=henryzz [2012-04-02 13:35:19] 597*2^1129480-1 is not prime. Res64: 34DFAFC88A6F9503 Time : 0.0 sec. user=juhehe [2012-04-02 13:54:24] 537*2^1129482-1 is not prime. Res64: BABDE49C01A26279 Time : 0.0 sec. user=juhehe [2012-04-02 13:54:41] 593*2^1129482-1 is not prime. Res64: A13D688037B766A0 Time : 0.0 sec. user=henryzz [2012-04-02 14:09:24] 503*2^1129482-1 is not prime. Res64: 19E4AE8221EAACBD Time : 0.0 sec. user=henryzz [2012-04-02 14:25:18] 537*2^1129485-1 is not prime. Res64: 79A31C223359F19D Time : 0.0 sec. user=juhehe [2012-04-02 14:27:16] 565*2^1129485-1 is not prime. Res64: F640F745D6E7A465 Time : 0.0 sec. user=juhehe [2012-04-02 14:27:19] 577*2^1129485-1 is not prime. Res64: 166C4BDFD6AE9D22 Time : 0.0 sec. user=vaughan [2012-04-02 14:39:06] 585*2^1129485-1 is not prime. Res64: 1690BA936E8BC910 Time : 0.0 sec. user=henryzz [2012-04-02 14:53:52] 553*2^1129483-1 is not prime. Res64: CBDF27028EF899D7 Time : 0.0 sec. user=henryzz [2012-04-02 14:55:36] 503*2^1129484-1 is not prime. Res64: 9EE1A5021D5C479C Time : 0.0 sec. user=juhehe [2012-04-02 14:59:49] 465*2^1129486-1 is not prime. Res64: 1025A2E273FE66FC Time : 0.0 sec. user=juhehe [2012-04-02 15:00:00] 513*2^1129486-1 is not prime. Res64: F60D3CC9181B24C7 Time : 0.0 sec. user=henryzz [2012-04-02 15:05:25] 455*2^1129486-1 is not prime. Res64: 6BB385B76087CD60 Time : 0.0 sec. user=henryzz [2012-04-02 15:18:39] 521*2^1129486-1 is not prime. Res64: 2405E82B6A71E545 Time : 0.0 sec. user=henryzz [2012-04-02 15:20:40] 461*2^1129486-1 is not prime. Res64: 2DFB024399848405 Time : 0.0 sec. user=juhehe [2012-04-02 15:32:25] 441*2^1129487-1 is not prime. Res64: 73D7266483690117 Time : 0.0 sec. user=juhehe [2012-04-02 15:32:42] 475*2^1129487-1 is not prime. Res64: C4C3B37EF221DE29 Time : 0.0 sec. user=henryzz [2012-04-02 15:41:33] 465*2^1129488-1 is not prime. Res64: CEE125704715C27D Time : 0.0 sec. user=vaughan [2012-04-02 15:45:12] 413*2^1129488-1 is not prime. Res64: 589A71B5BBB5B566 Time : 0.0 sec. user=juhehe [2012-04-02 16:05:03] 525*2^1129488-1 is not prime. Res64: 0E986B4923482F0A Time : 0.0 sec. user=juhehe [2012-04-02 16:05:20] 549*2^1129488-1 is not prime. Res64: 7AEB3C9833A9B417 Time : 0.0 sec. user=henryzz [2012-04-02 16:07:19] 489*2^1129489-1 is not prime. Res64: B33B5563281A9DDC Time : 0.0 sec. user=henryzz [2012-04-02 16:09:16] 489*2^1129487-1 is not prime. Res64: BAADA953564C0B39 Time : 0.0 sec. user=henryzz [2012-04-02 16:21:15] 503*2^1129488-1 is not prime. Res64: BA0EEFE8E87BD693 Time : 0.0 sec. user=henryzz [2012-04-02 16:34:23] 597*2^1129486-1 is not prime. Res64: B4F25D29190F86C7 Time : 0.0 sec. user=juhehe [2012-04-02 16:37:51] 525*2^1129489-1 is not prime. Res64: 04C6B9A6883AED60 Time : 0.0 sec. user=juhehe [2012-04-02 16:38:07] 431*2^1129490-1 is not prime. Res64: 7592D8CDC9EB20AD Time : 0.0 sec. user=henryzz [2012-04-02 16:48:40] 513*2^1129491-1 is not prime. Res64: EE230EF66F74A6FF Time : 0.0 sec. user=vaughan [2012-04-02 16:51:47] 445*2^1129491-1 is not prime. Res64: 26B56FD632357585 Time : 0.0 sec. user=juhehe [2012-04-02 17:10:51] 489*2^1129492-1 is not prime. Res64: D1DEFD09FC67DF1D Time : 0.0 sec. user=juhehe [2012-04-02 17:10:53] 419*2^1129492-1 is not prime. Res64: F302EC3AD8A5F5A8 Time : 0.0 sec. user=henryzz [2012-04-02 17:11:34] 533*2^1129490-1 is not prime. Res64: D438280C6EC2ACEA Time : 0.0 sec. user=henryzz [2012-04-02 17:11:57] 483*2^1129490-1 is not prime. Res64: 4E6AC8444F03F43E Time : 0.0 sec. user=juhehe [2012-04-02 17:43:34] 465*2^1129493-1 is not prime. Res64: C718F2FA8D720F93 Time : 0.0 sec. user=juhehe [2012-04-02 17:43:51] 481*2^1129493-1 is not prime. Res64: D22FE9753B369F68 Time : 0.0 sec. user=henryzz [2012-04-02 17:45:07] 413*2^1129492-1 is not prime. Res64: 9647F2D7325899FE Time : 0.0 sec. user=henryzz [2012-04-02 18:02:43] 519*2^1129492-1 is not prime. Res64: 1953CC990C7AC5F0 Time : 0.0 sec. user=juhehe [2012-04-02 18:16:06] 521*2^1129494-1 is not prime. Res64: 540EE67FF7183320 Time : 0.0 sec. user=juhehe [2012-04-02 18:16:32] 525*2^1129494-1 is not prime. Res64: 446930FE1C43162C Time : 0.0 sec. user=henryzz [2012-04-02 18:18:41] 511*2^1129493-1 is not prime. Res64: A4804978E1B34818 Time : 0.0 sec. user=henryzz [2012-04-02 18:25:44] 465*2^1129494-1 is not prime. Res64: D9C04122F8BE6705 Time : 0.0 sec. user=vaughan [2012-04-02 19:35:55] 439*2^1129497-1 is not prime. Res64: AA156F4D6CD1D8DB Time : 0.0 sec. user=vaughan [2012-04-02 22:55:33] 487*2^1129497-1 is not prime. Res64: A6AB6C2A2FF24DD3 Time : 0.0 sec.