user=kar_bon [2010-12-23 17:55:07] 971*2^768298-1 is not prime. Res64: 54E987E0108AFD14 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:08] 813*2^768299-1 is not prime. Res64: CA3DA0CFC18492DE Time : 87333.0 sec. user=kar_bon [2010-12-23 17:55:08] 825*2^768299-1 is not prime. Res64: B87A60CDA5FBAEC9 Time : 87333.0 sec. user=kar_bon [2010-12-23 17:55:09] 939*2^768299-1 is not prime. Res64: 7C7D1722C7614392 Time : 87333.0 sec. user=kar_bon [2010-12-23 17:55:09] 985*2^768299-1 is not prime. Res64: 521CFF5D3CC45B79 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:09] 857*2^768300-1 is not prime. Res64: C22512E5442D4588 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:09] 885*2^768299-1 is not prime. Res64: 776D60EDA542A786 Time : 87333.0 sec. user=kar_bon [2010-12-23 17:55:10] 879*2^768300-1 is not prime. Res64: E33D3D45D1065710 Time : 87333.0 sec. user=kar_bon [2010-12-23 17:55:10] 943*2^768299-1 is not prime. Res64: FDAD5F3F7B770D1B Time : 87334.0 sec. user=kar_bon [2010-12-23 17:55:10] 929*2^768300-1 is not prime. Res64: 8ADC7291E9E1D6E9 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:10] 825*2^768300-1 is not prime. Res64: DE061A46810DAA34 Time : 87333.0 sec. user=kar_bon [2010-12-23 17:55:10] 975*2^768300-1 is not prime. Res64: 051EE8CBB1F5FCF6 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:10] 863*2^768300-1 is not prime. Res64: 154E54FB360DF996 Time : 87334.0 sec. user=kar_bon [2010-12-23 17:55:11] 817*2^768301-1 is not prime. Res64: E6F2075A5A0B9823 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:11] 909*2^768300-1 is not prime. Res64: A7FCAAE484A4A1EE Time : 87333.0 sec. user=kar_bon [2010-12-23 17:55:11] 825*2^768301-1 is not prime. Res64: 6E966A25461762D6 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:11] 965*2^768300-1 is not prime. Res64: 896259E029ABC65E Time : 87333.0 sec. user=kar_bon [2010-12-23 17:55:11] 937*2^768301-1 is not prime. Res64: CEA876EA704E29FF Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:11] 811*2^768301-1 is not prime. Res64: 107B6F79BF855433 Time : 87333.0 sec. user=kar_bon [2010-12-23 17:55:11] 997*2^768301-1 is not prime. Res64: D962EEAB3F51C95D Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:11] 819*2^768301-1 is not prime. Res64: 4D7D7BD7A46749CA Time : 87333.0 sec. user=kar_bon [2010-12-23 17:55:12] 965*2^768302-1 is not prime. Res64: 6F0D9389840EE89D Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:12] 855*2^768301-1 is not prime. Res64: EBFD5257D818D950 Time : 87333.0 sec. user=kar_bon [2010-12-23 17:55:12] 861*2^768301-1 is not prime. Res64: 3D03AC6AC8E9B5E6 Time : 87333.0 sec. user=kar_bon [2010-12-23 17:55:12] 909*2^768304-1 is not prime. Res64: F9EC0084412472EE Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:12] 939*2^768301-1 is not prime. Res64: 301735212E5AB216 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:12] 957*2^768301-1 is not prime. Res64: F6A65A0252F4DBC8 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:12] 801*2^768305-1 is not prime. Res64: 0A7E2AE42B835292 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:12] 827*2^768302-1 is not prime. Res64: D5CB679C23ACD0A6 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:12] 857*2^768302-1 is not prime. Res64: 2E7C4922C58DF017 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:12] 893*2^768306-1 is not prime. Res64: 2DE3FC3C07DBAF91 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:13] 849*2^768303-1 is not prime. Res64: 1E62F53A1CCDB593 Time : 87333.0 sec. user=kar_bon [2010-12-23 17:55:13] 885*2^768303-1 is not prime. Res64: 7828AA77536151E5 Time : 87333.0 sec. user=kar_bon [2010-12-23 17:55:13] 891*2^768307-1 is not prime. Res64: 83C0F0D0B594526F Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:13] 917*2^768304-1 is not prime. Res64: 381881AF618C6502 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:13] 995*2^768304-1 is not prime. Res64: 268AEF3C2A0DACC5 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:13] 875*2^768308-1 is not prime. Res64: 7458FFC51A303A9D Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:13] 837*2^768305-1 is not prime. Res64: F6B6670C391FDF70 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:13] 841*2^768305-1 is not prime. Res64: 2098801BC4A4F3B9 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:13] 861*2^768309-1 is not prime. Res64: 1B8F905A7B9E43B1 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:13] 905*2^768306-1 is not prime. Res64: E3F691BEC0957C57 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:13] 917*2^768306-1 is not prime. Res64: A7FEA8DD7F750A2E Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:13] 843*2^768310-1 is not prime. Res64: 59A8C2A88DE6E249 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:14] 813*2^768308-1 is not prime. Res64: 277EC47C45E425D6 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:14] 837*2^768308-1 is not prime. Res64: 2859D1630442CDD1 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:14] 975*2^768310-1 is not prime. Res64: 8A70697FD1A60253 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:14] 925*2^768305-1 is not prime. Res64: 9246B9B51987B92C Time : 87333.0 sec. user=kar_bon [2010-12-23 17:55:14] 977*2^768308-1 is not prime. Res64: 6711BACE72A2E177 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:14] 835*2^768309-1 is not prime. Res64: F4B8BE03AC94D7E6 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:14] 857*2^768312-1 is not prime. Res64: 009D91954153B07D Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:14] 1001*2^768306-1 is not prime. Res64: E92F529124AAF788 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:14] 867*2^768309-1 is not prime. Res64: 9CFDD390C496B159 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:14] 885*2^768310-1 is not prime. Res64: FAB74B4CDF12D7C5 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:14] 801*2^768313-1 is not prime. Res64: 93435006B9059D49 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:14] 827*2^768308-1 is not prime. Res64: B658B9AC3373290F Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:14] 1001*2^768310-1 is not prime. Res64: E4D3D8D3050BD6E8 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:14] 957*2^768310-1 is not prime. Res64: 4A00164B2539C89D Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:15] 951*2^768313-1 is not prime. Res64: 3D0F5E3FAF905DC9 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:15] 829*2^768309-1 is not prime. Res64: ABC016BD2A2F636B Time : 87333.0 sec. user=kar_bon [2010-12-23 17:55:15] 887*2^768312-1 is not prime. Res64: 2D91E39E8024DB51 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:15] 829*2^768311-1 is not prime. Res64: 9A714617979E5589 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:15] 825*2^768316-1 is not prime. Res64: 2C698FC0D1CE8BBF Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:15] 919*2^768309-1 is not prime. Res64: 6673A1636B358278 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:15] 847*2^768313-1 is not prime. Res64: 088E4FF18890DBD4 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:15] 917*2^768312-1 is not prime. Res64: 8BE3A6D19DC1B3AB Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:15] 983*2^768316-1 is not prime. Res64: C7896DA20DFC64F5 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:15] 971*2^768310-1 is not prime. Res64: 65D7A74EAA673B95 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:15] 985*2^768313-1 is not prime. Res64: C851D766B2C3152E Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:15] 889*2^768313-1 is not prime. Res64: 969B13CF3BA2129A Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:15] 885*2^768317-1 is not prime. Res64: 9AAE97FC69C7B5BD Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:15] 955*2^768311-1 is not prime. Res64: A3A16805966B15E2 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:15] 855*2^768316-1 is not prime. Res64: 3322146D8176A321 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:15] 981*2^768314-1 is not prime. Res64: FE5A05CB0E498AB1 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:16] 861*2^768318-1 is not prime. Res64: DB9DD4D60E2AE2F3 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:16] 945*2^768312-1 is not prime. Res64: 2E903B1FA978D086 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:16] 805*2^768317-1 is not prime. Res64: 04FBA5C4BBFF3EB1 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:16] 869*2^768316-1 is not prime. Res64: 87C03766B4BF10B5 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:16] 933*2^768319-1 is not prime. Res64: 0971189F1FA43DAA Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:16] 925*2^768313-1 is not prime. Res64: BB4EF01ED2573F3B Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:16] 889*2^768317-1 is not prime. Res64: 2AFDD30C2AA1B283 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:16] 861*2^768317-1 is not prime. Res64: FDD1D09FE2E01E97 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:16] 909*2^768320-1 is not prime. Res64: D844043174D022F6 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:16] 995*2^768314-1 is not prime. Res64: 5D3CBD0521910900 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:16] 853*2^768319-1 is not prime. Res64: 5DCDBBD767E43850 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:16] 801*2^768318-1 is not prime. Res64: 43A73F662A960994 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:16] 803*2^768322-1 is not prime. Res64: 1FF0ACD5AE2F47A2 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:16] 927*2^768316-1 is not prime. Res64: BDF46312E98A5E4E Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:16] 845*2^768320-1 is not prime. Res64: 18568EEB47A47A61 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:16] 855*2^768319-1 is not prime. Res64: E89AAFE90A0C4903 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:17] 813*2^768323-1 is not prime. Res64: A7C8035020FC22BF Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:17] 871*2^768317-1 is not prime. Res64: 7F522401472A9C16 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:17] 935*2^768320-1 is not prime. Res64: E9F600C354604645 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:17] 875*2^768320-1 is not prime. Res64: 8241CF947B5D5EC6 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:17] 855*2^768322-1 is not prime. Res64: 96125E0269445FF3 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:17] 873*2^768324-1 is not prime. Res64: 0250E388A8C055C8 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:17] 833*2^768318-1 is not prime. Res64: B22C497A28A2D6A5 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:17] 859*2^768323-1 is not prime. Res64: 6AB3A52BD07990C6 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:17] 963*2^768320-1 is not prime. Res64: 306D8D78952FA0FE Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:17] 867*2^768325-1 is not prime. Res64: 1E76BC51308328C3 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:17] 885*2^768319-1 is not prime. Res64: BF14CC0974BA99E2 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:17] 887*2^768324-1 is not prime. Res64: 1CE2CB1C5FA68305 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:18] 945*2^768322-1 is not prime. Res64: F2CC6EC3337F4A80 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:18] 897*2^768320-1 is not prime. Res64: 0130A30F78D14271 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:18] 919*2^768325-1 is not prime. Res64: 224D8A1797905B04 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:18] 885*2^768325-1 is not prime. Res64: C6463303E8A14FCB Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:18] 963*2^768323-1 is not prime. Res64: 5D436E7E2416F119 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:18] 955*2^768325-1 is not prime. Res64: 690F8FCAC8A03A53 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:18] 901*2^768321-1 is not prime. Res64: A1DD2EA28ADFDFCA Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:18] 851*2^768326-1 is not prime. Res64: 467A56550567593A Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:18] 917*2^768326-1 is not prime. Res64: 1462B3F557E051B3 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:18] 947*2^768324-1 is not prime. Res64: 7140851A7ABB74C0 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:18] 823*2^768327-1 is not prime. Res64: ED165752BCD7EB53 Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:18] 951*2^768322-1 is not prime. Res64: 063DCA61684DAD97 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:18] 865*2^768327-1 is not prime. Res64: CD7F99F56A5CE609 Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:19] 897*2^768325-1 is not prime. Res64: F9029D26F9D4A519 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:19] 963*2^768327-1 is not prime. Res64: 4E209C79059141BF Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:19] 985*2^768323-1 is not prime. Res64: 8B77A85E5194DBAB Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:19] 803*2^768328-1 is not prime. Res64: ADE1A1B8C9DE46C9 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:19] 831*2^768326-1 is not prime. Res64: 8D489E5444D15C16 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:19] 909*2^768328-1 is not prime. Res64: 69A1C05B2F6993E3 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:19] 969*2^768324-1 is not prime. Res64: B4A9475CBBDF7315 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:19] 957*2^768328-1 is not prime. Res64: 44B3B898556FAEFE Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:19] 1001*2^768326-1 is not prime. Res64: 7413AD8DD2594349 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:19] 845*2^768330-1 is not prime. Res64: 3300D84E532D1960 Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:19] 873*2^768330-1 is not prime. Res64: 71BD5357CAEFB3CB Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:19] 915*2^768325-1 is not prime. Res64: 04AF810E78903398 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:19] 919*2^768327-1 is not prime. Res64: 28A979345ACE256D Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:19] 895*2^768331-1 is not prime. Res64: 0788616684399C0D Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:20] 861*2^768331-1 is not prime. Res64: 289D4635C2ABC6CF Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:20] 999*2^768325-1 is not prime. Res64: C046C65784A2393D Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:20] 899*2^768328-1 is not prime. Res64: 332A2CD63D1DF1FC Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:20] 873*2^768332-1 is not prime. Res64: 01E93E6BBBFD05D4 Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:21] 979*2^768333-1 is not prime. Res64: 1C255E1E2DCDFC53 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:21] 855*2^768332-1 is not prime. Res64: 74FF88AE30F673F4 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:21] 971*2^768326-1 is not prime. Res64: C7D5475C946BBC0B Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:21] 831*2^768329-1 is not prime. Res64: 8AB9D7742B1FD466 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:21] 993*2^768334-1 is not prime. Res64: 02053F7FCC83AD1D Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:21] 805*2^768333-1 is not prime. Res64: 29699DA4944BB4A2 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:21] 871*2^768327-1 is not prime. Res64: 7D0833F7BF20518D Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:21] 849*2^768331-1 is not prime. Res64: 0E5BE1359FF8ED1D Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:21] 909*2^768335-1 is not prime. Res64: 7C3CB6E5019DE4D6 Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:22] 843*2^768332-1 is not prime. Res64: AC4A4C79D7546B24 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:22] 957*2^768334-1 is not prime. Res64: C61245B7FF8590BC Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:22] 867*2^768336-1 is not prime. Res64: 9553EDC2278C27DE Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:22] 825*2^768328-1 is not prime. Res64: 3497E238D08BE3F9 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:22] 945*2^768333-1 is not prime. Res64: 35EDAC537D42E1C8 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:22] 861*2^768335-1 is not prime. Res64: 010F9F595BDB84E7 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:22] 835*2^768337-1 is not prime. Res64: 9BC53A4C4C28075C Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:22] 829*2^768329-1 is not prime. Res64: 54589354600E2361 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:22] 987*2^768334-1 is not prime. Res64: 3FCC936BF89AEE3A Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:23] 843*2^768338-1 is not prime. Res64: ED5571383F95DB6F Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:23] 969*2^768335-1 is not prime. Res64: 2DE21BC516F978F0 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:23] 923*2^768330-1 is not prime. Res64: E9D71961AEC7EE67 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:23] 883*2^768335-1 is not prime. Res64: 7BAFAC5196D79C13 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:23] 999*2^768339-1 is not prime. Res64: C33DC986235351A5 Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:23] 903*2^768336-1 is not prime. Res64: 2D8F5DBF24E4EE37 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:23] 901*2^768331-1 is not prime. Res64: 1A1972F653F4C475 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:23] 825*2^768336-1 is not prime. Res64: 568E3E4EA25781E5 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:23] 953*2^768340-1 is not prime. Res64: A75E1E3D166C5BC0 Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:23] 919*2^768337-1 is not prime. Res64: E791E240402590D0 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:23] 935*2^768332-1 is not prime. Res64: BAD8A68609CEF480 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:23] 909*2^768336-1 is not prime. Res64: 340F4F7E914779E9 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:23] 991*2^768341-1 is not prime. Res64: 2E0FF309C34448A8 Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:23] 993*2^768338-1 is not prime. Res64: CE2C49FA775A5AB8 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:24] 917*2^768334-1 is not prime. Res64: 916769896A2410D4 Time : 87332.0 sec. user=kar_bon [2010-12-23 17:55:24] 997*2^768337-1 is not prime. Res64: 25AC0101A694E5D3 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:24] 1001*2^768342-1 is not prime. Res64: E84F2B2559B54692 Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:24] 843*2^768340-1 is not prime. Res64: 34D841C336B9B949 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:24] 841*2^768335-1 is not prime. Res64: 3C2E09EF350490FB Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:24] 903*2^768344-1 is not prime. Res64: 249A57B280CFFB94 Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:24] 1001*2^768338-1 is not prime. Res64: 09340A54356198F8 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:24] 887*2^768340-1 is not prime. Res64: 5F9330856196D19C Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:24] 943*2^768335-1 is not prime. Res64: DE63A4BFD042D1B1 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:24] 833*2^768346-1 is not prime. Res64: C6042B6ED6A3E72A Time : 87327.0 sec. user=kar_bon [2010-12-23 17:55:24] 873*2^768340-1 is not prime. Res64: 634B624BD9968254 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:24] 879*2^768347-1 is not prime. Res64: 49274F58CDADDB1E Time : 87327.0 sec. user=kar_bon [2010-12-23 17:55:24] 939*2^768341-1 is not prime. Res64: 674DF4D3A2E792B2 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:24] 879*2^768336-1 is not prime. Res64: D7832B8B344F8A45 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:24] 957*2^768340-1 is not prime. Res64: 9E7166C7D46FD2EE Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:25] 819*2^768348-1 is not prime. Res64: BA2E625AD4F17D6F Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:25] 917*2^768342-1 is not prime. Res64: D041053663B05679 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:25] 841*2^768337-1 is not prime. Res64: FE2FA5645D2B99B2 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:25] 887*2^768342-1 is not prime. Res64: AFC3B9A18D4F3114 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:25] 829*2^768349-1 is not prime. Res64: FC9BB17DC07ADEAB Time : 87327.0 sec. user=kar_bon [2010-12-23 17:55:25] 837*2^768344-1 is not prime. Res64: E381B32AE95BA01D Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:25] 927*2^768338-1 is not prime. Res64: CEF481699945F03A Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:25] 891*2^768343-1 is not prime. Res64: E68EFB0C01755452 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:25] 967*2^768349-1 is not prime. Res64: E96D63DBF6A49B50 Time : 87327.0 sec. user=kar_bon [2010-12-23 17:55:25] 985*2^768345-1 is not prime. Res64: D7F6F653202FBA4E Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:26] 861*2^768351-1 is not prime. Res64: E5A0B27DEABECAFA Time : 87327.0 sec. user=kar_bon [2010-12-23 17:55:26] 909*2^768339-1 is not prime. Res64: 6ED7EC22908CEA96 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:26] 983*2^768346-1 is not prime. Res64: 0493D94A7E60CFF0 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:26] 847*2^768345-1 is not prime. Res64: FC828051242F007A Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:26] 847*2^768353-1 is not prime. Res64: 2F32987CCF04B20E Time : 87327.0 sec. user=kar_bon [2010-12-23 17:55:26] 875*2^768340-1 is not prime. Res64: 4725B551C6E36C40 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:26] 881*2^768346-1 is not prime. Res64: 4103D917F706D062 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:26] 821*2^768354-1 is not prime. Res64: BA83F97205534AB7 Time : 87327.0 sec. user=kar_bon [2010-12-23 17:55:26] 963*2^768347-1 is not prime. Res64: 81FFBC8DB419306F Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:26] 861*2^768341-1 is not prime. Res64: 84E5686F0BB63638 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:26] 941*2^768294-1 is not prime. Res64: 292370CC6995A012 Time : 87326.0 sec. user=kar_bon [2010-12-23 17:55:27] 903*2^768347-1 is not prime. Res64: C18F02DFF7D52F31 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:27] 801*2^768349-1 is not prime. Res64: 735354670D2C2130 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:27] 969*2^768359-1 is not prime. Res64: A106822F72BC6EEF Time : 87327.0 sec. user=kar_bon [2010-12-23 17:55:27] 903*2^768342-1 is not prime. Res64: 2FD2EE6C6F77871F Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:27] 825*2^768348-1 is not prime. Res64: 5795F674C6765255 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:27] 931*2^768349-1 is not prime. Res64: E39CA10E2C25BE95 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:27] 927*2^768360-1 is not prime. Res64: FC701940EB7CA9F8 Time : 87326.0 sec. user=kar_bon [2010-12-23 17:55:27] 985*2^768343-1 is not prime. Res64: 8B431A89EA72B601 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:27] 847*2^768349-1 is not prime. Res64: 351DC67DC0AFAB08 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:27] 825*2^768351-1 is not prime. Res64: D6EABF328AA6DE26 Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:27] 951*2^768345-1 is not prime. Res64: 9B91293183059A97 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:27] 985*2^768349-1 is not prime. Res64: 649524A61A4C7230 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:27] 965*2^768352-1 is not prime. Res64: C1AEF6080FAECF5E Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:28] 961*2^768351-1 is not prime. Res64: 29E621F2334DD12A Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:28] 917*2^768346-1 is not prime. Res64: FDB498B5D5412274 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:28] 885*2^768353-1 is not prime. Res64: 98D5B9B2D8674081 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:28] 949*2^768347-1 is not prime. Res64: 88B669F9A0447C0F Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:28] 861*2^768354-1 is not prime. Res64: 15F66C57B191FAB3 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:29] 915*2^768348-1 is not prime. Res64: 7DB485644509D8E0 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:29] 971*2^768294-1 is not prime. Res64: 0653EC3B1D4B6017 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:29] 867*2^768349-1 is not prime. Res64: A12D19DACCEC3020 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:29] 895*2^768359-1 is not prime. Res64: 614A9E5D263014AF Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:29] 885*2^768350-1 is not prime. Res64: 7625D870C509B66F Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:29] 845*2^768360-1 is not prime. Res64: 0EA68D4EB1AD5561 Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:30] 939*2^768352-1 is not prime. Res64: 3C79C291864FF6F5 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:30] 975*2^768361-1 is not prime. Res64: B568E30BDC3ED2EB Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:30] 807*2^768354-1 is not prime. Res64: B65DFF122DDAA8D5 Time : 87331.0 sec. user=kar_bon [2010-12-23 17:55:30] 999*2^768361-1 is not prime. Res64: 7C5BDC3F6EDAA0A0 Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:30] 921*2^768354-1 is not prime. Res64: 7E7198DE579482F5 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:30] 887*2^768362-1 is not prime. Res64: 53E022CFE8C419CE Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:30] 923*2^768358-1 is not prime. Res64: BADDA5AECF45885A Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:30] 849*2^768363-1 is not prime. Res64: 4EC7ABC78F0DB2BA Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:31] 809*2^768360-1 is not prime. Res64: 09D7F4D8E511953C Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:31] 937*2^768365-1 is not prime. Res64: 07CC3DF90860F70D Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:31] 999*2^768360-1 is not prime. Res64: EA5B8FCB9CC30A39 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:31] 807*2^768366-1 is not prime. Res64: 21E5EB1743E611B1 Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:31] 979*2^768361-1 is not prime. Res64: 6EFA579A77219A5C Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:31] 849*2^768367-1 is not prime. Res64: 501CEB84D13E45C6 Time : 87327.0 sec. user=kar_bon [2010-12-23 17:55:31] 825*2^768362-1 is not prime. Res64: 466A29E950B907B1 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:32] 951*2^768362-1 is not prime. Res64: 883081F60DC5AE21 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:32] 863*2^768364-1 is not prime. Res64: 3B57BEF5C34BB6BB Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:32] 985*2^768365-1 is not prime. Res64: 2EBB8C78A11A16AD Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:33] 917*2^768366-1 is not prime. Res64: BDE758F5C9A30313 Time : 87330.0 sec. user=kar_bon [2010-12-23 17:55:33] 891*2^768367-1 is not prime. Res64: 9AE80F1901FC0131 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:33] 931*2^768367-1 is not prime. Res64: FACF7747FE7A2029 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:33] 819*2^768368-1 is not prime. Res64: 15604DB81370F522 Time : 87328.0 sec. user=kar_bon [2010-12-23 17:55:34] 875*2^768368-1 is not prime. Res64: 905C02B13C000B74 Time : 87329.0 sec. user=kar_bon [2010-12-23 17:55:34] 909*2^768368-1 is not prime. Res64: 4D500F81D30ED1F3 Time : 87329.0 sec.