user=PCZ [2012-07-20 17:36:45] 979*2^1223779-1 is not prime. Res64: 6297FFFB3A2FFC4C Time : 0.0 sec. user=PCZ [2012-07-20 17:36:49] 743*2^1223780-1 is not prime. Res64: A5AEF5649E8C2203 Time : 0.0 sec. user=PCZ [2012-07-20 17:37:12] 639*2^1223781-1 is not prime. Res64: EA5F06C8F8570157 Time : 0.0 sec. user=PCZ [2012-07-20 17:37:14] 999*2^1223780-1 is not prime. Res64: 668011E63AD41FBD Time : 0.0 sec. user=PCZ [2012-07-20 17:37:19] 609*2^1223781-1 is not prime. Res64: C036225C346C3CA0 Time : 0.0 sec. user=PCZ [2012-07-20 17:37:25] 777*2^1223781-1 is not prime. Res64: E254F000E074BDE0 Time : 0.0 sec. user=PCZ [2012-07-20 17:37:27] 685*2^1223781-1 is not prime. Res64: 73BA1BABB8896374 Time : 0.0 sec. user=PCZ [2012-07-20 17:37:28] 691*2^1223781-1 is not prime. Res64: E62F01C4ABE7FA7E Time : 0.0 sec. user=PCZ [2012-07-20 17:37:47] 723*2^1223782-1 is not prime. Res64: 29659BA1241E70DB Time : 0.0 sec. user=PCZ [2012-07-20 17:37:48] 609*2^1223780-1 is not prime. Res64: DA80A772BA9FF6E4 Time : 0.0 sec. user=PCZ [2012-07-20 17:37:51] 759*2^1223783-1 is not prime. Res64: 1FA0733F4D57797C Time : 0.0 sec. user=PCZ [2012-07-20 17:37:52] 987*2^1223782-1 is not prime. Res64: 3D9AAD528F65CB71 Time : 0.0 sec. user=PCZ [2012-07-20 17:38:06] 789*2^1223780-1 is not prime. Res64: 796A458A54D2E210 Time : 0.0 sec. user=PCZ [2012-07-20 17:38:09] 945*2^1223780-1 is not prime. Res64: 1DEDBA0B0FB9C397 Time : 0.0 sec. user=PCZ [2012-07-20 17:38:15] 803*2^1223780-1 is not prime. Res64: 791B7766D8FFF521 Time : 0.0 sec. user=vaughan [2012-07-20 17:38:18] 983*2^1223760-1 is not prime. Res64: 4BAE00D9B7474494 Time : 0.0 sec. user=PCZ [2012-07-20 17:39:42] 973*2^1223779-1 is not prime. Res64: 2338E74290AFD38D Time : 0.0 sec. user=PCZ [2012-07-20 17:44:19] 927*2^1223784-1 is not prime. Res64: ABD0C6FD89907C48 Time : 0.0 sec. user=PCZ [2012-07-20 17:44:35] 721*2^1223785-1 is not prime. Res64: FAC6881397002189 Time : 0.0 sec. user=PCZ [2012-07-20 17:44:43] 775*2^1223785-1 is not prime. Res64: 502D9049C0FFD145 Time : 0.0 sec. user=PCZ [2012-07-20 17:44:50] 925*2^1223785-1 is not prime. Res64: 2FF14BC9EE328C26 Time : 0.0 sec. user=PCZ [2012-07-20 17:49:53] 943*2^1223783-1 is not prime. Res64: EEA729856FF18DC4 Time : 0.0 sec. user=PCZ [2012-07-20 17:49:58] 985*2^1223783-1 is not prime. Res64: 97BAA673473BD69D Time : 0.0 sec. user=PCZ [2012-07-20 17:50:45] 605*2^1223784-1 is not prime. Res64: B160E70BFCCFD5B9 Time : 0.0 sec. user=PCZ [2012-07-20 17:50:51] 627*2^1223784-1 is not prime. Res64: 6D7C64FE5A2D7F4A Time : 0.0 sec. user=PCZ [2012-07-20 17:50:52] 765*2^1223784-1 is not prime. Res64: B741547BFDB63037 Time : 0.0 sec. user=PCZ [2012-07-20 17:50:52] 775*2^1223787-1 is not prime. Res64: 582D1F392D9366DA Time : 0.0 sec. user=PCZ [2012-07-20 17:50:53] 629*2^1223784-1 is not prime. Res64: 607096019A537BAD Time : 0.0 sec. user=PCZ [2012-07-20 17:50:53] 689*2^1223784-1 is not prime. Res64: 0B66D726F85F5C1B Time : 0.0 sec. user=PCZ [2012-07-20 17:51:03] 825*2^1223784-1 is not prime. Res64: D45B11D3B658B346 Time : 0.0 sec. user=PCZ [2012-07-20 17:51:10] 873*2^1223787-1 is not prime. Res64: 923CE1DBD3A9DD1F Time : 0.0 sec. user=PCZ [2012-07-20 17:51:19] 901*2^1223787-1 is not prime. Res64: A1829FC5227A3795 Time : 0.0 sec. user=PCZ [2012-07-20 17:51:21] 949*2^1223787-1 is not prime. Res64: 1C125F8B546D75FD Time : 0.0 sec. user=PCZ [2012-07-20 17:51:37] 893*2^1223784-1 is not prime. Res64: 8EAB17F6D388E8E9 Time : 0.0 sec. user=PCZ [2012-07-20 17:51:38] 691*2^1223785-1 is not prime. Res64: 7D2C0973D7202B3A Time : 0.0 sec. user=PCZ [2012-07-20 17:51:49] 929*2^1223784-1 is not prime. Res64: 8C8CDC63CD5E5815 Time : 0.0 sec. user=PCZ [2012-07-20 17:53:34] 651*2^1223787-1 is not prime. Res64: 6C9950A574C1592D Time : 0.0 sec. user=PCZ [2012-07-20 17:57:23] 909*2^1223788-1 is not prime. Res64: 744A192574D4A680 Time : 0.0 sec. user=PCZ [2012-07-20 17:57:41] 775*2^1223789-1 is not prime. Res64: 2BA65D14BDB9F991 Time : 0.0 sec. user=PCZ [2012-07-20 17:57:47] 789*2^1223789-1 is not prime. Res64: 76488ADCEEC60A57 Time : 0.0 sec. user=PCZ [2012-07-20 17:57:51] 829*2^1223789-1 is not prime. Res64: 529365F5EF9B41FD Time : 0.0 sec. user=mdettweiler [2012-07-20 18:00:51] 649*2^1223777-1 is not prime. Res64: 91C55898081DCF7C Time : 0.0 sec. user=mdettweiler [2012-07-20 18:01:07] 771*2^1223779-1 is not prime. Res64: B684977C8FF564A3 Time : 0.0 sec. user=mdettweiler [2012-07-20 18:01:23] 891*2^1223778-1 is not prime. Res64: C75565113F76098B Time : 0.0 sec. user=mdettweiler [2012-07-20 18:01:24] 927*2^1223778-1 is not prime. Res64: 7E179C86B65AB2E8 Time : 0.0 sec. user=PCZ [2012-07-20 18:03:32] 999*2^1223787-1 is not prime. Res64: 02F430040E044476 Time : 0.0 sec. user=PCZ [2012-07-20 18:03:49] 629*2^1223788-1 is not prime. Res64: C2BC5955F2462DD7 Time : 0.0 sec. user=mdettweiler [2012-07-20 18:03:50] 635*2^1223778-1 is not prime. Res64: 87B31EE492707330 Time : 0.0 sec. user=mdettweiler [2012-07-20 18:03:51] 821*2^1223778-1 is not prime. Res64: D76CAB062659464D Time : 0.0 sec. user=PCZ [2012-07-20 18:03:52] 615*2^1221740-1 is not prime. Res64: B18899FFC8AB3091 Time : 0.0 sec. user=PCZ [2012-07-20 18:04:11] 663*2^1221744-1 is not prime. Res64: BB18F8111A1DC3DE Time : 0.0 sec. user=PCZ [2012-07-20 18:04:16] 857*2^1221744-1 is not prime. Res64: F806A64E68315BA5 Time : 0.0 sec. user=PCZ [2012-07-20 18:04:22] 915*2^1221744-1 is not prime. Res64: 662A1A74D7D085D6 Time : 0.0 sec. user=PCZ [2012-07-20 18:04:42] 711*2^1223789-1 is not prime. Res64: 1C929EB2F2A5D302 Time : 0.0 sec. user=PCZ [2012-07-20 18:04:45] 631*2^1223789-1 is not prime. Res64: 1A02E06755E1EF19 Time : 0.0 sec. user=PCZ [2012-07-20 18:04:46] 897*2^1223788-1 is not prime. Res64: AD773777BA4F0061 Time : 0.0 sec. user=PCZ [2012-07-20 18:04:48] 735*2^1223788-1 is not prime. Res64: 49B647A807E91E38 Time : 0.0 sec. user=PCZ [2012-07-20 18:04:50] 783*2^1223788-1 is not prime. Res64: D0D69E6594CA11DA Time : 0.0 sec. user=PCZ [2012-07-20 18:04:55] 721*2^1223789-1 is not prime. Res64: 22D8DCABFDC4C85F Time : 0.0 sec. user=PCZ [2012-07-20 18:05:28] 925*2^1223789-1 is not prime. Res64: D9047C6BB2A899C2 Time : 0.0 sec. user=PCZ [2012-07-20 18:05:42] 831*2^1223789-1 is not prime. Res64: A79D3A52DB7E24DC Time : 0.0 sec. user=PCZ [2012-07-20 18:05:44] 949*2^1223789-1 is not prime. Res64: C315CCA404BA0BB6 Time : 0.0 sec. user=PCZ [2012-07-20 18:07:17] 985*2^1223789-1 is not prime. Res64: 6AE72E7CA372B361 Time : 0.0 sec. user=PCZ [2012-07-20 18:10:24] 759*2^1222355-1 is not prime. Res64: 1CA33373F4D42A8B Time : 0.0 sec. user=PCZ [2012-07-20 18:10:42] 983*2^1222974-1 is not prime. Res64: B17E0389CB72B004 Time : 0.0 sec. user=PCZ [2012-07-20 18:10:50] 631*2^1222979-1 is not prime. Res64: D642B8268E065A35 Time : 0.0 sec. user=PCZ [2012-07-20 18:10:54] 651*2^1223790-1 is not prime. Res64: CBB029D395F09EE1 Time : 0.0 sec. user=mdettweiler [2012-07-20 18:13:55] 977*2^1223778-1 is not prime. Res64: 094060E80D0BD97C Time : 0.0 sec. user=mdettweiler [2012-07-20 18:13:55] 633*2^1223779-1 is not prime. Res64: 8261E739D19BB7B3 Time : 0.0 sec. user=PCZ [2012-07-20 18:16:55] 861*2^1223791-1 is not prime. Res64: B4CC193E91BAD9D7 Time : 0.0 sec. user=PCZ [2012-07-20 18:17:08] 979*2^1221753-1 is not prime. Res64: EA94E86AAB97B523 Time : 0.0 sec. user=PCZ [2012-07-20 18:17:14] 819*2^1223792-1 is not prime. Res64: B7D92717F9782FA5 Time : 0.0 sec. user=PCZ [2012-07-20 18:17:32] 917*2^1223792-1 is not prime. Res64: BBBEAB2833A1F726 Time : 0.0 sec. user=PCZ [2012-07-20 18:17:33] 959*2^1223792-1 is not prime. Res64: 9ADBAA5C4CD0552B Time : 0.0 sec. user=PCZ [2012-07-20 18:17:34] 615*2^1222352-1 is not prime. Res64: 05C670D38332583B Time : 0.0 sec. user=PCZ [2012-07-20 18:18:42] 707*2^1223790-1 is not prime. Res64: 0DF1155253CD6967 Time : 0.0 sec. user=PCZ [2012-07-20 18:18:44] 891*2^1223790-1 is not prime. Res64: 5AEDF74BF63F73CD Time : 0.0 sec. user=PCZ [2012-07-20 18:18:49] 875*2^1223790-1 is not prime. Res64: AE102651234E0724 Time : 0.0 sec. user=PCZ [2012-07-20 18:18:50] 927*2^1223790-1 is not prime. Res64: 8C0994059E30742E Time : 0.0 sec. user=PCZ [2012-07-20 18:18:53] 723*2^1223790-1 is not prime. Res64: 0D9A7879371B4ED7 Time : 0.0 sec. user=PCZ [2012-07-20 18:18:54] 845*2^1223790-1 is not prime. Res64: B451758C5CAB70EC Time : 0.0 sec. user=PCZ [2012-07-20 18:19:28] 945*2^1223790-1 is not prime. Res64: F58D9DB8FE6FAF89 Time : 0.0 sec. user=PCZ [2012-07-20 18:19:45] 621*2^1223791-1 is not prime. Res64: 17445B9245FAAFB5 Time : 0.0 sec. user=PCZ [2012-07-20 18:19:48] 639*2^1223791-1 is not prime. Res64: 529ECA36971BA1A4 Time : 0.0 sec. user=PCZ [2012-07-20 18:21:07] 819*2^1223791-1 is not prime. Res64: 2E2BED915CAFAE20 Time : 0.0 sec. user=mdettweiler [2012-07-20 18:22:26] 803*2^1221748-1 is not prime. Res64: 9BBA5FF8CE3DC06F Time : 0.0 sec. user=mdettweiler [2012-07-20 18:22:26] 975*2^1221748-1 is not prime. Res64: CFE8484E3E299551 Time : 0.0 sec. user=PCZ [2012-07-20 18:23:24] 747*2^1223793-1 is not prime. Res64: 49FA0B97DE46F440 Time : 0.0 sec. user=PCZ [2012-07-20 18:23:42] 871*2^1223793-1 is not prime. Res64: A85CF7DE1D7FD617 Time : 0.0 sec. user=PCZ [2012-07-20 18:23:58] 885*2^1223793-1 is not prime. Res64: 549CEE9BC349F5C4 Time : 0.0 sec. user=PCZ [2012-07-20 18:24:04] 951*2^1223793-1 is not prime. Res64: C198E93314064762 Time : 0.0 sec. user=mdettweiler [2012-07-20 18:25:03] 855*2^1222352-1 is not prime. Res64: 6026FAC0FE4ED2BA Time : 0.0 sec. user=mdettweiler [2012-07-20 18:25:06] 645*2^1222354-1 is not prime. Res64: EABAEDFFAFBD139F Time : 0.0 sec. user=PCZ [2012-07-20 18:29:52] 759*2^1223796-1 is not prime. Res64: AF65E8A978BFBFF2 Time : 0.0 sec. user=PCZ [2012-07-20 18:30:12] 845*2^1223796-1 is not prime. Res64: 49562667E7BD9B45 Time : 0.0 sec. user=PCZ [2012-07-20 18:30:28] 945*2^1223796-1 is not prime. Res64: 417150944F114B9C Time : 0.0 sec. user=PCZ [2012-07-20 18:30:34] 993*2^1223796-1 is not prime. Res64: 2EDC8441B57EB8A7 Time : 0.0 sec. user=PCZ [2012-07-20 18:31:03] 765*2^1223793-1 is not prime. Res64: D5F7CC4A6B678F0F Time : 0.0 sec. user=PCZ [2012-07-20 18:31:20] 919*2^1223793-1 is not prime. Res64: D1B4E322AD454AD1 Time : 0.0 sec. user=PCZ [2012-07-20 18:32:40] 701*2^1223794-1 is not prime. Res64: F25AFD0D5009BAE2 Time : 0.0 sec. user=PCZ [2012-07-20 18:32:42] 885*2^1223794-1 is not prime. Res64: 282B235858E7EB28 Time : 0.0 sec. user=PCZ [2012-07-20 18:32:43] 605*2^1223794-1 is not prime. Res64: C8C5E9C1C5AF7B4B Time : 0.0 sec. user=PCZ [2012-07-20 18:32:44] 633*2^1223794-1 is not prime. Res64: FC3BB2A5DD7A2D9F Time : 0.0 sec. user=PCZ [2012-07-20 18:32:46] 675*2^1223794-1 is not prime. Res64: 4E361FF285CECD04 Time : 0.0 sec. user=PCZ [2012-07-20 18:32:46] 915*2^1223794-1 is not prime. Res64: F0BDD64BA9971352 Time : 0.0 sec. user=vaughan [2012-07-20 18:32:52] 711*2^1223786-1 is not prime. Res64: CDCE6AE849DA0A37 Time : 0.0 sec. user=PCZ [2012-07-20 18:33:29] 735*2^1223795-1 is not prime. Res64: FBC611CFA58F74FC Time : 0.0 sec. user=PCZ [2012-07-20 18:33:44] 939*2^1223795-1 is not prime. Res64: 6E8792543B08587B Time : 0.0 sec. user=PCZ [2012-07-20 18:33:44] 781*2^1223795-1 is not prime. Res64: D2D4CDACBF2BF2EE Time : 0.0 sec. user=mdettweiler [2012-07-20 18:33:48] 923*2^1221746-1 is not prime. Res64: 08B1411359EF7CFE Time : 0.0 sec. user=mdettweiler [2012-07-20 18:34:07] 805*2^1221745-1 is not prime. Res64: 95AEC12C9FF45063 Time : 0.0 sec. user=PCZ [2012-07-20 18:34:55] 943*2^1223795-1 is not prime. Res64: C4CC1E6295DA2704 Time : 0.0 sec. user=mdettweiler [2012-07-20 18:35:11] 649*2^1223793-1 is not prime. Res64: 9A221678125B534A Time : 0.0 sec. user=mdettweiler [2012-07-20 18:35:12] 657*2^1223793-1 is not prime. Res64: E6537DFFBB763810 Time : 0.0 sec. user=PCZ [2012-07-20 18:36:25] 859*2^1223797-1 is not prime. Res64: 63AFAD6F3D50B641 Time : 0.0 sec. user=PCZ [2012-07-20 18:36:42] 931*2^1223797-1 is not prime. Res64: 77C60B52D15A6649 Time : 0.0 sec. user=PCZ [2012-07-20 18:37:03] 957*2^1223797-1 is not prime. Res64: F0C0F4156EF317E9 Time : 0.0 sec. user=PCZ [2012-07-20 18:37:04] 731*2^1223798-1 is not prime. Res64: C8DCAEA704E16247 Time : 0.0 sec. user=PCZ [2012-07-20 18:42:58] 601*2^1223801-1 is not prime. Res64: D3CC45A013144E9E Time : 0.0 sec. user=PCZ [2012-07-20 18:43:15] 747*2^1223801-1 is not prime. Res64: D103C9A1BD60190F Time : 0.0 sec. user=mdettweiler [2012-07-20 18:43:29] 981*2^1223795-1 is not prime. Res64: 039FDEE29A96E4AD Time : 0.0 sec. user=mdettweiler [2012-07-20 18:43:30] 629*2^1223796-1 is not prime. Res64: E93D0BDD120FBA4F Time : 0.0 sec. user=PCZ [2012-07-20 18:43:33] 799*2^1223801-1 is not prime. Res64: 88151868FE72C08A Time : 0.0 sec. user=PCZ [2012-07-20 18:43:35] 795*2^1223801-1 is not prime. Res64: 75FB2E11D2ED268E Time : 0.0 sec. user=PCZ [2012-07-20 18:45:10] 845*2^1223798-1 is not prime. Res64: 49439D268D444811 Time : 0.0 sec. user=PCZ [2012-07-20 18:45:17] 915*2^1223798-1 is not prime. Res64: 12282DE7AB1A588F Time : 0.0 sec. user=mdettweiler [2012-07-20 18:46:09] 999*2^1223796-1 is not prime. Res64: 4C423780673C48BF Time : 0.0 sec. user=mdettweiler [2012-07-20 18:46:10] 757*2^1223797-1 is not prime. Res64: 4BB769831A6E2B01 Time : 0.0 sec. user=PCZ [2012-07-20 18:46:19] 971*2^1223798-1 is not prime. Res64: C2E0AB9FA5422448 Time : 0.0 sec. user=PCZ [2012-07-20 18:46:41] 1001*2^1223798-1 is not prime. Res64: 810DA95CC0DEF80E Time : 0.0 sec. user=PCZ [2012-07-20 18:46:43] 775*2^1223799-1 is not prime. Res64: 89909E415228EB20 Time : 0.0 sec. user=PCZ [2012-07-20 18:46:47] 663*2^1223799-1 is not prime. Res64: CA2B2F6805946411 Time : 0.0 sec. user=PCZ [2012-07-20 18:46:51] 763*2^1223799-1 is not prime. Res64: 461EB396AC5648AB Time : 0.0 sec. user=PCZ [2012-07-20 18:46:53] 693*2^1223799-1 is not prime. Res64: 2130FC3DC4557620 Time : 0.0 sec. user=PCZ [2012-07-20 18:47:10] 879*2^1223799-1 is not prime. Res64: 232A180378BE3B61 Time : 0.0 sec. user=PCZ [2012-07-20 18:47:35] 663*2^1223800-1 is not prime. Res64: 38D268CA552E5A50 Time : 0.0 sec. user=PCZ [2012-07-20 18:47:47] 735*2^1223800-1 is not prime. Res64: BB79B17B1EEB6F69 Time : 0.0 sec. user=PCZ [2012-07-20 18:48:58] 813*2^1223800-1 is not prime. Res64: 5C27BA3C23DABA84 Time : 0.0 sec. user=PCZ [2012-07-20 18:49:28] 829*2^1223801-1 is not prime. Res64: 7255360DF30AABCA Time : 0.0 sec. user=PCZ [2012-07-20 18:49:49] 949*2^1223801-1 is not prime. Res64: EA58230003E497D2 Time : 0.0 sec. user=PCZ [2012-07-20 18:50:02] 711*2^1223802-1 is not prime. Res64: 695FF9A566525805 Time : 0.0 sec. user=PCZ [2012-07-20 18:50:04] 713*2^1223802-1 is not prime. Res64: 9447999999D65204 Time : 0.0 sec. user=PCZ [2012-07-20 18:56:02] 915*2^1223804-1 is not prime. Res64: EB32795EE316A045 Time : 0.0 sec. user=mdettweiler [2012-07-20 18:56:15] 873*2^1223800-1 is not prime. Res64: 46BA24D4D38FB418 Time : 0.0 sec. user=mdettweiler [2012-07-20 18:56:16] 983*2^1223800-1 is not prime. Res64: 87193997D5BC6BA3 Time : 0.0 sec. user=PCZ [2012-07-20 18:56:20] 609*2^1223805-1 is not prime. Res64: 77DF629AE68031E6 Time : 0.0 sec. user=PCZ [2012-07-20 18:56:37] 685*2^1223805-1 is not prime. Res64: 20521A9D33703A8A Time : 0.0 sec. user=PCZ [2012-07-20 18:56:38] 679*2^1223805-1 is not prime. Res64: 4451B9F8269B884A Time : 0.0 sec. user=PCZ [2012-07-20 18:59:05] 977*2^1223802-1 is not prime. Res64: 38CD631A8704B64E Time : 0.0 sec. user=PCZ [2012-07-20 18:59:05] 915*2^1223802-1 is not prime. Res64: 5C0B8146B108EE69 Time : 0.0 sec. user=PCZ [2012-07-20 19:00:07] 783*2^1223803-1 is not prime. Res64: 605EB84A15650356 Time : 0.0 sec. user=PCZ [2012-07-20 19:00:38] 915*2^1223803-1 is not prime. Res64: C839D621F0814565 Time : 0.0 sec. user=PCZ [2012-07-20 19:00:41] 973*2^1223803-1 is not prime. Res64: 0088022FCC306F89 Time : 0.0 sec. user=PCZ [2012-07-20 19:00:42] 883*2^1223803-1 is not prime. Res64: B1D1D02415B94992 Time : 0.0 sec. user=PCZ [2012-07-20 19:00:43] 985*2^1223803-1 is not prime. Res64: E6740A116DEB18B3 Time : 0.0 sec. user=PCZ [2012-07-20 19:00:44] 605*2^1223804-1 is not prime. Res64: 40BE2C251164CF6C Time : 0.0 sec. user=PCZ [2012-07-20 19:00:56] 743*2^1223804-1 is not prime. Res64: 70500B66AE00A2C1 Time : 0.0 sec. user=PCZ [2012-07-20 19:01:31] 833*2^1223804-1 is not prime. Res64: C35E7D0880DF5D4D Time : 0.0 sec. user=PCZ [2012-07-20 19:01:46] 857*2^1223804-1 is not prime. Res64: 981EE22CC8F1EA3B Time : 0.0 sec. user=PCZ [2012-07-20 19:02:30] 711*2^1223805-1 is not prime. Res64: B9056D9A58191509 Time : 0.0 sec. user=PCZ [2012-07-20 19:02:49] 811*2^1223805-1 is not prime. Res64: 2C0852CBF80D3A16 Time : 0.0 sec. user=PCZ [2012-07-20 19:02:50] 909*2^1223804-1 is not prime. Res64: FA12A48B24ADD7E7 Time : 0.0 sec. user=PCZ [2012-07-20 19:03:06] 817*2^1223805-1 is not prime. Res64: 87F4F0BED419965A Time : 0.0 sec. user=PCZ [2012-07-20 19:03:07] 819*2^1223805-1 is not prime. Res64: 33C77CB79724D490 Time : 0.0 sec. user=PCZ [2012-07-20 19:09:00] 859*2^1223807-1 is not prime. Res64: EA971D891C155EF8 Time : 0.0 sec. user=PCZ [2012-07-20 19:09:23] 705*2^1223808-1 is not prime. Res64: C91BBE9546287FC0 Time : 0.0 sec. user=PCZ [2012-07-20 19:09:34] 905*2^1223808-1 is not prime. Res64: 6EA936ED1EE5EE80 Time : 0.0 sec. user=PCZ [2012-07-20 19:09:36] 843*2^1223808-1 is not prime. Res64: D3E6F05895B94648 Time : 0.0 sec. user=PCZ [2012-07-20 19:12:52] 919*2^1223805-1 is not prime. Res64: 5A8C030E0267132F Time : 0.0 sec. user=PCZ [2012-07-20 19:12:59] 885*2^1223805-1 is not prime. Res64: 7AA505E597F23691 Time : 0.0 sec. user=PCZ [2012-07-20 19:14:12] 927*2^1223805-1 is not prime. Res64: D0547346C7248357 Time : 0.0 sec. user=PCZ [2012-07-20 19:14:24] 723*2^1223806-1 is not prime. Res64: 4DD324B63A79E883 Time : 0.0 sec. user=PCZ [2012-07-20 19:14:33] 741*2^1223806-1 is not prime. Res64: 46EF110E2A791885 Time : 0.0 sec. user=PCZ [2012-07-20 19:14:36] 951*2^1223805-1 is not prime. Res64: D0DFD52CD228092B Time : 0.0 sec. user=PCZ [2012-07-20 19:14:40] 611*2^1223806-1 is not prime. Res64: 00B53F9701C36442 Time : 0.0 sec. user=PCZ [2012-07-20 19:14:47] 813*2^1223806-1 is not prime. Res64: 256C8F05BB52360D Time : 0.0 sec. user=PCZ [2012-07-20 19:15:05] 857*2^1223806-1 is not prime. Res64: E58E3A9B4828F48F Time : 0.0 sec. user=PCZ [2012-07-20 19:15:30] 867*2^1223806-1 is not prime. Res64: C6337883161605D9 Time : 0.0 sec. user=PCZ [2012-07-20 19:15:38] 915*2^1223808-1 is not prime. Res64: 6D0446F5694E21F6 Time : 0.0 sec. user=PCZ [2012-07-20 19:15:39] 633*2^1223807-1 is not prime. Res64: 27D347149791F05A Time : 0.0 sec. user=PCZ [2012-07-20 19:15:54] 933*2^1223808-1 is not prime. Res64: 6E18C18CD317B0AB Time : 0.0 sec. user=PCZ [2012-07-20 19:16:08] 977*2^1223808-1 is not prime. Res64: E7C723364A443577 Time : 0.0 sec. user=PCZ [2012-07-20 19:16:08] 945*2^1223808-1 is not prime. Res64: 777D2EBC22C2B928 Time : 0.0 sec. user=PCZ [2012-07-20 19:16:29] 895*2^1223807-1 is not prime. Res64: 7E935052D27E2892 Time : 0.0 sec. user=PCZ [2012-07-20 19:22:09] 921*2^1223810-1 is not prime. Res64: 2FB70CF7C0C69802 Time : 0.0 sec. user=PCZ [2012-07-20 19:22:25] 691*2^1223811-1 is not prime. Res64: BD3A475DCD8DADBC Time : 0.0 sec. user=PCZ [2012-07-20 19:22:39] 751*2^1223811-1 is not prime. Res64: 5A76EF0577CFA7A5 Time : 0.0 sec. user=PCZ [2012-07-20 19:22:39] 781*2^1223811-1 is not prime. Res64: 5F40B5DBB6963F6C Time : 0.0 sec. user=PCZ [2012-07-20 19:26:49] 615*2^1223809-1 is not prime. Res64: 00FBF6508DBAAE1A Time : 0.0 sec. user=PCZ [2012-07-20 19:27:06] 667*2^1223809-1 is not prime. Res64: A17D492A95260947 Time : 0.0 sec. user=vaughan [2012-07-20 19:27:29] 831*2^1223799-1 is not prime. Res64: 7677BDA4FA492E6C Time : 0.0 sec. user=PCZ [2012-07-20 19:27:56] 675*2^1223809-1 is not prime. Res64: B0E889F96EB674CC Time : 0.0 sec. user=PCZ [2012-07-20 19:28:16] 817*2^1223809-1 is not prime. Res64: 917ABBA4A0434AB5 Time : 0.0 sec. user=PCZ [2012-07-20 19:28:21] 985*2^1223809-1 is not prime. Res64: 805D368FEFA78687 Time : 0.0 sec. user=PCZ [2012-07-20 19:28:27] 931*2^1223809-1 is not prime. Res64: FA71EB2C27597715 Time : 0.0 sec. user=PCZ [2012-07-20 19:28:36] 627*2^1223810-1 is not prime. Res64: A9D5A45BC9E48D1F Time : 0.0 sec. user=PCZ [2012-07-20 19:28:46] 859*2^1223811-1 is not prime. Res64: A1A29928BF450DAE Time : 0.0 sec. user=PCZ [2012-07-20 19:28:47] 633*2^1223810-1 is not prime. Res64: D5F1ED9F0347E6A4 Time : 0.0 sec. user=PCZ [2012-07-20 19:28:54] 955*2^1223811-1 is not prime. Res64: 98A787DC12FD4FE6 Time : 0.0 sec. user=PCZ [2012-07-20 19:28:59] 791*2^1223810-1 is not prime. Res64: 38BA98F53E33B4B9 Time : 0.0 sec. user=PCZ [2012-07-20 19:29:08] 609*2^1223812-1 is not prime. Res64: 2C221887528898D9 Time : 0.0 sec. user=PCZ [2012-07-20 19:29:09] 665*2^1223812-1 is not prime. Res64: E6A43E4A77B9465A Time : 0.0 sec. user=PCZ [2012-07-20 19:29:30] 825*2^1223810-1 is not prime. Res64: EF8BD9343FAA984C Time : 0.0 sec. user=PCZ [2012-07-20 19:29:33] 685*2^1223811-1 is not prime. Res64: D406429C793D0AD4 Time : 0.0 sec. user=PCZ [2012-07-20 19:30:19] 795*2^1223811-1 is not prime. Res64: 05C9C3CE584EC6BF Time : 0.0 sec. user=PCZ [2012-07-20 19:35:16] 683*2^1223814-1 is not prime. Res64: 755D4E4BC201952F Time : 0.0 sec. user=PCZ [2012-07-20 19:35:22] 737*2^1223814-1 is not prime. Res64: 7F182C2928C6FD8D Time : 0.0 sec. user=PCZ [2012-07-20 19:35:37] 673*2^1223815-1 is not prime. Res64: 99B8473C62F99FFC Time : 0.0 sec. user=PCZ [2012-07-20 19:35:38] 833*2^1223814-1 is not prime. Res64: 6C09C928A6EEC328 Time : 0.0 sec. user=PCZ [2012-07-20 19:40:41] 717*2^1223812-1 is not prime. Res64: F9F7BBFC8126330C Time : 0.0 sec. user=PCZ [2012-07-20 19:41:07] 723*2^1223812-1 is not prime. Res64: 95EEC74E677A7C4B Time : 0.0 sec. user=PCZ [2012-07-20 19:41:41] 743*2^1223812-1 is not prime. Res64: 762E8E022D96F89A Time : 0.0 sec. user=PCZ [2012-07-20 19:41:48] 615*2^1223816-1 is not prime. Res64: 8435066E8CA798C9 Time : 0.0 sec. user=PCZ [2012-07-20 19:41:53] 669*2^1223816-1 is not prime. Res64: A208F51B79574803 Time : 0.0 sec. user=PCZ [2012-07-20 19:42:05] 747*2^1223816-1 is not prime. Res64: D8CE4507D6E8426A Time : 0.0 sec. user=PCZ [2012-07-20 19:42:06] 863*2^1223812-1 is not prime. Res64: 66CDAE00FA57645F Time : 0.0 sec. user=PCZ [2012-07-20 19:42:08] 869*2^1223816-1 is not prime. Res64: 5CAC74E86137D992 Time : 0.0 sec. user=PCZ [2012-07-20 19:42:20] 975*2^1223812-1 is not prime. Res64: F1CB91921472F86C Time : 0.0 sec. user=PCZ [2012-07-20 19:42:20] 915*2^1223812-1 is not prime. Res64: EF80A370A4E7AA29 Time : 0.0 sec. user=PCZ [2012-07-20 19:42:28] 619*2^1223813-1 is not prime. Res64: 8AAD6E74D087F1B0 Time : 0.0 sec. user=PCZ [2012-07-20 19:42:54] 747*2^1223813-1 is not prime. Res64: E4EEAE4510C58C80 Time : 0.0 sec. user=PCZ [2012-07-20 19:43:03] 795*2^1223814-1 is not prime. Res64: 620E1A5590F2312D Time : 0.0 sec. user=PCZ [2012-07-20 19:43:23] 805*2^1223815-1 is not prime. Res64: 15AB4EA8E9575F0A Time : 0.0 sec. user=PCZ [2012-07-20 19:43:27] 829*2^1223815-1 is not prime. Res64: 147119408B47B80A Time : 0.0 sec. user=PCZ [2012-07-20 19:44:14] 871*2^1223815-1 is not prime. Res64: EE354AD7152C3491 Time : 0.0 sec. user=PCZ [2012-07-20 19:48:17] 709*2^1223817-1 is not prime. Res64: 7A5B78EB07355490 Time : 0.0 sec. user=PCZ [2012-07-20 19:48:22] 727*2^1223817-1 is not prime. Res64: 5A30666A05232391 Time : 0.0 sec. user=PCZ [2012-07-20 19:48:35] 777*2^1223817-1 is not prime. Res64: 656DBD78D2F76B4A Time : 0.0 sec. user=PCZ [2012-07-20 19:48:37] 937*2^1223817-1 is not prime. Res64: 06872680BAB4505C Time : 0.0 sec. user=PCZ [2012-07-20 19:54:37] 935*2^1223816-1 is not prime. Res64: C32CAE17567939B6 Time : 0.0 sec. user=PCZ [2012-07-20 19:54:45] 655*2^1223819-1 is not prime. Res64: FF11596A8E9FD704 Time : 0.0 sec. user=PCZ [2012-07-20 19:54:53] 775*2^1223819-1 is not prime. Res64: 8642D38DB2DEA2A9 Time : 0.0 sec. user=PCZ [2012-07-20 19:54:56] 945*2^1223816-1 is not prime. Res64: 0E0558ACA11BAD28 Time : 0.0 sec. user=PCZ [2012-07-20 19:55:05] 859*2^1223819-1 is not prime. Res64: 7F84AD4CF909C5CB Time : 0.0 sec. user=PCZ [2012-07-20 19:55:08] 843*2^1223819-1 is not prime. Res64: C364972F7B1D19B1 Time : 0.0 sec. user=PCZ [2012-07-20 19:55:32] 993*2^1223816-1 is not prime. Res64: 91EDEF1A33540381 Time : 0.0 sec. user=PCZ [2012-07-20 19:56:13] 861*2^1223817-1 is not prime. Res64: 47AD49E5850E50E0 Time : 0.0 sec. user=PCZ [2012-07-20 19:56:16] 671*2^1223818-1 is not prime. Res64: 20E3EACCE442C49D Time : 0.0 sec. user=PCZ [2012-07-20 19:56:18] 777*2^1223818-1 is not prime. Res64: 3526ACDFB37AE63B Time : 0.0 sec. user=PCZ [2012-07-20 19:56:27] 825*2^1223818-1 is not prime. Res64: ADD628D9F9A0C2C3 Time : 0.0 sec. user=PCZ [2012-07-20 19:56:43] 833*2^1223818-1 is not prime. Res64: 9C2F2AD1675012B7 Time : 0.0 sec. user=PCZ [2012-07-20 19:56:48] 845*2^1223818-1 is not prime. Res64: 54E5F4BCB2601A72 Time : 0.0 sec. user=PCZ [2012-07-20 19:57:27] 993*2^1223818-1 is not prime. Res64: 8F5C4028F8ABDD93 Time : 0.0 sec. user=PCZ [2012-07-20 19:57:29] 861*2^1223818-1 is not prime. Res64: E54D10C619E0AAEA Time : 0.0 sec. user=PCZ [2012-07-20 19:58:14] 621*2^1223819-1 is not prime. Res64: A20649235044AFA8 Time : 0.0 sec. user=PCZ [2012-07-20 20:01:14] 753*2^1223820-1 is not prime. Res64: 27B9095F77FA19B1 Time : 0.0 sec. user=PCZ [2012-07-20 20:01:22] 773*2^1223820-1 is not prime. Res64: 49F7879F751214A1 Time : 0.0 sec. user=PCZ [2012-07-20 20:01:35] 927*2^1223820-1 is not prime. Res64: EB6D90BD8DD36CEB Time : 0.0 sec. user=PCZ [2012-07-20 20:01:43] 607*2^1223821-1 is not prime. Res64: 8999B7ED253FFC25 Time : 0.0 sec. user=juhehe [2012-07-20 20:06:37] 603*2^1223812-1 is not prime. Res64: 2F660469F81E319A Time : 0.0 sec. user=PCZ [2012-07-20 20:07:45] 915*2^1223822-1 is not prime. Res64: 47727E981AC85B31 Time : 0.0 sec. user=PCZ [2012-07-20 20:07:55] 983*2^1223822-1 is not prime. Res64: DC92C4046650B49E Time : 0.0 sec. user=PCZ [2012-07-20 20:08:06] 609*2^1223823-1 is not prime. Res64: D10AB01643BCAA6D Time : 0.0 sec. user=PCZ [2012-07-20 20:08:17] 741*2^1223823-1 is not prime. Res64: A63491772720D261 Time : 0.0 sec. user=PCZ [2012-07-20 20:08:31] 623*2^1223820-1 is not prime. Res64: AE208E5EDC5D6169 Time : 0.0 sec. user=PCZ [2012-07-20 20:08:44] 893*2^1223820-1 is not prime. Res64: EA32F4F54D8B17D8 Time : 0.0 sec. user=PCZ [2012-07-20 20:09:25] 679*2^1223821-1 is not prime. Res64: 4790872873F96C01 Time : 0.0 sec. user=PCZ [2012-07-20 20:10:10] 889*2^1223821-1 is not prime. Res64: 6FA6B50465656213 Time : 0.0 sec. user=PCZ [2012-07-20 20:10:16] 867*2^1223821-1 is not prime. Res64: A4B086C19FC85D8B Time : 0.0 sec. user=PCZ [2012-07-20 20:10:17] 895*2^1223821-1 is not prime. Res64: 38D9B6B6341DC30B Time : 0.0 sec. user=PCZ [2012-07-20 20:10:18] 775*2^1223821-1 is not prime. Res64: 5FE3AD1FDE728B67 Time : 0.0 sec. user=PCZ [2012-07-20 20:10:37] 925*2^1223821-1 is not prime. Res64: 1068341591E2CBDF Time : 0.0 sec. user=PCZ [2012-07-20 20:10:41] 957*2^1223821-1 is not prime. Res64: 2BF0978DC9881ED7 Time : 0.0 sec. user=PCZ [2012-07-20 20:11:28] 675*2^1223822-1 is not prime. Res64: BB25052E5EA5F08D Time : 0.0 sec. user=PCZ [2012-07-20 20:11:36] 741*2^1223822-1 is not prime. Res64: E9D6CEC74054DFBD Time : 0.0 sec. user=PCZ [2012-07-20 20:12:08] 887*2^1223822-1 is not prime. Res64: F2F2AB72165E812B Time : 0.0 sec. user=PCZ [2012-07-20 20:14:14] 819*2^1223824-1 is not prime. Res64: 560E5D8E35B04803 Time : 0.0 sec. user=PCZ [2012-07-20 20:14:29] 873*2^1223824-1 is not prime. Res64: 35B9DB585B7F05BC Time : 0.0 sec. user=PCZ [2012-07-20 20:14:36] 983*2^1223824-1 is not prime. Res64: 39CB4B6E7F0E4C78 Time : 0.0 sec. user=PCZ [2012-07-20 20:14:54] 989*2^1223824-1 is not prime. Res64: 2DF5C8738AF26E03 Time : 0.0 sec. user=PCZ [2012-07-20 20:20:44] 767*2^1223828-1 is not prime. Res64: FD93E6B34E9B1FE5 Time : 0.0 sec. user=PCZ [2012-07-20 20:21:00] 797*2^1223828-1 is not prime. Res64: 483EBD9547E166C4 Time : 0.0 sec. user=PCZ [2012-07-20 20:21:09] 839*2^1223828-1 is not prime. Res64: 46AFA761C1CD18FC Time : 0.0 sec. user=PCZ [2012-07-20 20:21:24] 843*2^1223828-1 is not prime. Res64: EF0C33348992BD54 Time : 0.0 sec. user=vaughan [2012-07-20 20:22:05] 735*2^1223812-1 is not prime. Res64: 72FC43AA59E1DDD6 Time : 0.0 sec. user=PCZ [2012-07-20 20:22:15] 995*2^1223824-1 is not prime. Res64: C37B0F2774362FEC Time : 0.0 sec. user=PCZ [2012-07-20 20:22:37] 811*2^1223825-1 is not prime. Res64: 6D2B445B069FBC16 Time : 0.0 sec. user=PCZ [2012-07-20 20:23:28] 937*2^1223825-1 is not prime. Res64: 5E5C4A98C3A15BB6 Time : 0.0 sec. user=PCZ [2012-07-20 20:23:54] 705*2^1223826-1 is not prime. Res64: A7BBA236862B3CDD Time : 0.0 sec. user=PCZ [2012-07-20 20:24:13] 647*2^1223826-1 is not prime. Res64: A606B5030876A1DA Time : 0.0 sec. user=PCZ [2012-07-20 20:24:16] 951*2^1223825-1 is not prime. Res64: 80549E06E421B281 Time : 0.0 sec. user=PCZ [2012-07-20 20:24:19] 949*2^1223825-1 is not prime. Res64: 5892C1C24FA33D42 Time : 0.0 sec. user=PCZ [2012-07-20 20:24:29] 837*2^1223826-1 is not prime. Res64: A45BC8793B0D8B38 Time : 0.0 sec. user=PCZ [2012-07-20 20:24:53] 975*2^1223826-1 is not prime. Res64: B0395747F9B529A7 Time : 0.0 sec. user=PCZ [2012-07-20 20:25:35] 631*2^1223827-1 is not prime. Res64: 1B346366343E2F17 Time : 0.0 sec. user=PCZ [2012-07-20 20:25:43] 617*2^1223828-1 is not prime. Res64: AE3E82C4A7199351 Time : 0.0 sec. user=PCZ [2012-07-20 20:26:05] 735*2^1223828-1 is not prime. Res64: 69DDEEE9A5B19473 Time : 0.0 sec. user=PCZ [2012-07-20 20:27:16] 969*2^1223828-1 is not prime. Res64: BAB356B8CF4F7EC6 Time : 0.0 sec. user=PCZ [2012-07-20 20:27:30] 999*2^1223828-1 is not prime. Res64: 623D16BAD1DE8B11 Time : 0.0 sec. user=PCZ [2012-07-20 20:27:38] 745*2^1223829-1 is not prime. Res64: 818E1D0DB0571B9F Time : 0.0 sec. user=PCZ [2012-07-20 20:27:56] 867*2^1223829-1 is not prime. Res64: DBD63A5CAD947779 Time : 0.0 sec. user=PCZ [2012-07-20 20:33:47] 809*2^1223832-1 is not prime. Res64: B355F561C86F847B Time : 0.0 sec. user=PCZ [2012-07-20 20:34:03] 983*2^1223832-1 is not prime. Res64: A9611A611EF43590 Time : 0.0 sec. user=PCZ [2012-07-20 20:34:10] 651*2^1223833-1 is not prime. Res64: DA93FC3B96C7C686 Time : 0.0 sec. user=PCZ [2012-07-20 20:34:24] 829*2^1223833-1 is not prime. Res64: 425E7B2059892F8D Time : 0.0 sec. user=PCZ [2012-07-20 20:35:57] 919*2^1223829-1 is not prime. Res64: CBF0D293BC3FD3C0 Time : 0.0 sec. user=PCZ [2012-07-20 20:36:33] 961*2^1223829-1 is not prime. Res64: C80A97B8A530E3F7 Time : 0.0 sec. user=PCZ [2012-07-20 20:37:25] 969*2^1223829-1 is not prime. Res64: 4C0279FCCC258054 Time : 0.0 sec. user=PCZ [2012-07-20 20:37:58] 643*2^1223831-1 is not prime. Res64: F58E1F5E48E7A8F3 Time : 0.0 sec. user=PCZ [2012-07-20 20:38:04] 783*2^1223830-1 is not prime. Res64: 66E281ECA9297D6E Time : 0.0 sec. user=PCZ [2012-07-20 20:38:10] 801*2^1223830-1 is not prime. Res64: 29F9B2973F968E7D Time : 0.0 sec. user=PCZ [2012-07-20 20:38:14] 971*2^1223830-1 is not prime. Res64: BF6446DFC0405A2C Time : 0.0 sec. user=PCZ [2012-07-20 20:38:23] 805*2^1223831-1 is not prime. Res64: 017A19D741724B06 Time : 0.0 sec. user=PCZ [2012-07-20 20:38:56] 895*2^1223831-1 is not prime. Res64: D18C6A226716F227 Time : 0.0 sec. user=PCZ [2012-07-20 20:39:35] 909*2^1223831-1 is not prime. Res64: 66BCE9C8845E3B8D Time : 0.0 sec. user=PCZ [2012-07-20 20:39:36] 921*2^1223831-1 is not prime. Res64: F21A552398DD52D9 Time : 0.0 sec. user=PCZ [2012-07-20 20:40:04] 949*2^1223831-1 is not prime. Res64: C06AC12C8A028A0B Time : 0.0 sec. user=PCZ [2012-07-20 20:40:20] 885*2^1223833-1 is not prime. Res64: CCD4E58734DBC55C Time : 0.0 sec. user=PCZ [2012-07-20 20:40:32] 889*2^1223833-1 is not prime. Res64: 80B84FB7F7C50B58 Time : 0.0 sec. user=PCZ [2012-07-20 20:40:38] 785*2^1223834-1 is not prime. Res64: F4F097458CF46330 Time : 0.0 sec. user=PCZ [2012-07-20 20:40:54] 857*2^1223834-1 is not prime. Res64: 760A2EFFECAE495D Time : 0.0 sec. user=PCZ [2012-07-20 20:46:49] 723*2^1223836-1 is not prime. Res64: 4ECE8E6B1B27B08E Time : 0.0 sec. user=PCZ [2012-07-20 20:47:04] 785*2^1223836-1 is not prime. Res64: B8CDAEB0C47ACA9A Time : 0.0 sec. user=PCZ [2012-07-20 20:47:05] 845*2^1223836-1 is not prime. Res64: 78600D6239C7359D Time : 0.0 sec. user=PCZ [2012-07-20 20:47:20] 939*2^1223836-1 is not prime. Res64: 96E803117A6905D7 Time : 0.0 sec. user=PCZ [2012-07-20 20:49:52] 915*2^1223834-1 is not prime. Res64: F81B3C2518310BCF Time : 0.0 sec. user=PCZ [2012-07-20 20:50:30] 921*2^1223834-1 is not prime. Res64: E85871A74EC1243E Time : 0.0 sec. user=juhehe [2012-07-20 20:50:35] 861*2^1223823-1 is not prime. Res64: 23DB1CB06616F2F3 Time : 0.0 sec. user=PCZ [2012-07-20 20:51:17] 953*2^1223834-1 is not prime. Res64: 841135555A99F08A Time : 0.0 sec. user=PCZ [2012-07-20 20:51:47] 751*2^1223835-1 is not prime. Res64: 643ABE460D69DCBF Time : 0.0 sec. user=PCZ [2012-07-20 20:51:55] 765*2^1223835-1 is not prime. Res64: E6F7FC929BDEE5CF Time : 0.0 sec. user=PCZ [2012-07-20 20:52:10] 919*2^1223835-1 is not prime. Res64: 7198A6FF7E3BB419 Time : 0.0 sec. user=PCZ [2012-07-20 20:52:15] 609*2^1223836-1 is not prime. Res64: EC88D54E393E3F8B Time : 0.0 sec. user=PCZ [2012-07-20 20:52:23] 657*2^1223836-1 is not prime. Res64: B4D9FF3F62E976D2 Time : 0.0 sec. user=PCZ [2012-07-20 20:52:47] 677*2^1223836-1 is not prime. Res64: 9736FC27A1C2EB19 Time : 0.0 sec. user=PCZ [2012-07-20 20:53:21] 987*2^1223836-1 is not prime. Res64: 62F0E31B01FF6078 Time : 0.0 sec. user=PCZ [2012-07-20 20:53:24] 695*2^1223836-1 is not prime. Res64: 1305406AE876FE4B Time : 0.0 sec. user=PCZ [2012-07-20 20:53:29] 705*2^1223836-1 is not prime. Res64: 4D78EA880BE9C9B9 Time : 0.0 sec. user=PCZ [2012-07-20 20:53:33] 989*2^1223836-1 is not prime. Res64: 53363624597C05A5 Time : 0.0 sec. user=PCZ [2012-07-20 20:53:34] 631*2^1223837-1 is not prime. Res64: 005D89C912A02A9C Time : 0.0 sec. user=PCZ [2012-07-20 20:53:51] 699*2^1223837-1 is not prime. Res64: EB85C56EF9B6FF6A Time : 0.0 sec. user=PCZ [2012-07-20 20:54:06] 719*2^1223836-1 is not prime. Res64: F57C64AC32772DE0 Time : 0.0 sec. user=PCZ [2012-07-20 20:59:50] 741*2^1223839-1 is not prime. Res64: A62E7766E4AC7C10 Time : 0.0 sec. user=PCZ [2012-07-20 21:00:02] 841*2^1223839-1 is not prime. Res64: A73FD34E0E67DE30 Time : 0.0 sec. user=PCZ [2012-07-20 21:00:06] 853*2^1223839-1 is not prime. Res64: CF798C6CDEB52496 Time : 0.0 sec. user=PCZ [2012-07-20 21:00:19] 895*2^1223839-1 is not prime. Res64: FBACFF86755EBA4E Time : 0.0 sec. user=PCZ [2012-07-20 21:03:46] 769*2^1223837-1 is not prime. Res64: 7984DFAC07010B01 Time : 0.0 sec. user=PCZ [2012-07-20 21:04:26] 867*2^1223837-1 is not prime. Res64: C2233DEA09EECB6C Time : 0.0 sec. user=PCZ [2012-07-20 21:05:13] 967*2^1223837-1 is not prime. Res64: 40F039AE4906C972 Time : 0.0 sec. user=PCZ [2012-07-20 21:05:43] 611*2^1223838-1 is not prime. Res64: B36C3434E542F0F9 Time : 0.0 sec. user=PCZ [2012-07-20 21:05:51] 707*2^1223838-1 is not prime. Res64: 87C7AB9AF45157AD Time : 0.0 sec. user=PCZ [2012-07-20 21:06:12] 711*2^1223838-1 is not prime. Res64: C159287D89DDBB0A Time : 0.0 sec. user=PCZ [2012-07-20 21:06:13] 765*2^1223838-1 is not prime. Res64: A12BFE23E72CCC34 Time : 0.0 sec. user=PCZ [2012-07-20 21:06:18] 881*2^1223838-1 is not prime. Res64: D83142AE56EB34E9 Time : 0.0 sec. user=PCZ [2012-07-20 21:06:19] 973*2^1223839-1 is not prime. Res64: 7DB736F56533EBEC Time : 0.0 sec. user=PCZ [2012-07-20 21:06:34] 605*2^1223840-1 is not prime. Res64: 6C3CABDD15EFFB64 Time : 0.0 sec. user=PCZ [2012-07-20 21:06:39] 713*2^1223840-1 is not prime. Res64: 0511E1324FFBEEA3 Time : 0.0 sec. user=PCZ [2012-07-20 21:06:43] 615*2^1223839-1 is not prime. Res64: AA0E9C6549B8CF00 Time : 0.0 sec. user=PCZ [2012-07-20 21:06:46] 743*2^1223840-1 is not prime. Res64: DEC3715C340B5964 Time : 0.0 sec. user=PCZ [2012-07-20 21:07:14] 765*2^1223839-1 is not prime. Res64: 959BFB51BCBA7ECF Time : 0.0 sec. user=PCZ [2012-07-20 21:07:24] 829*2^1223839-1 is not prime. Res64: 96B4B9B09C254FD1 Time : 0.0 sec. user=PCZ [2012-07-20 21:08:07] 951*2^1223839-1 is not prime. Res64: DA88451F561A399A Time : 0.0 sec. user=PCZ [2012-07-20 21:12:50] 909*2^1223841-1 is not prime. Res64: 207118EDDE6F3232 Time : 0.0 sec. user=PCZ [2012-07-20 21:13:05] 921*2^1223841-1 is not prime. Res64: 4DAA059A26C687B0 Time : 0.0 sec. user=PCZ [2012-07-20 21:13:07] 937*2^1223841-1 is not prime. Res64: 53A4DCFD8317C693 Time : 0.0 sec. user=PCZ [2012-07-20 21:13:17] 665*2^1223842-1 is not prime. Res64: 1B35072FC89B1FC4 Time : 0.0 sec. user=vaughan [2012-07-20 21:16:40] 885*2^1223829-1 is not prime. Res64: 181E8A5585BAA910 Time : 0.0 sec. user=PCZ [2012-07-20 21:17:42] 825*2^1223840-1 is not prime. Res64: B76CF6F74F3F458C Time : 0.0 sec. user=PCZ [2012-07-20 21:18:25] 929*2^1223840-1 is not prime. Res64: 637781DB7532C765 Time : 0.0 sec. user=PCZ [2012-07-20 21:19:08] 777*2^1223841-1 is not prime. Res64: FAD3B0912C09F928 Time : 0.0 sec. user=PCZ [2012-07-20 21:19:23] 633*2^1223843-1 is not prime. Res64: 53F14699BF3ABB14 Time : 0.0 sec. user=PCZ [2012-07-20 21:19:35] 817*2^1223841-1 is not prime. Res64: 37F34533915E5ABA Time : 0.0 sec. user=PCZ [2012-07-20 21:19:38] 745*2^1223843-1 is not prime. Res64: A08885021F1C113F Time : 0.0 sec. user=PCZ [2012-07-20 21:19:44] 835*2^1223841-1 is not prime. Res64: F1D794477D6F19CA Time : 0.0 sec. user=PCZ [2012-07-20 21:19:45] 759*2^1223843-1 is not prime. Res64: F8BCB0749241A1BC Time : 0.0 sec. user=PCZ [2012-07-20 21:19:53] 775*2^1223843-1 is not prime. Res64: BCDB3D4F04FDC373 Time : 0.0 sec. user=PCZ [2012-07-20 21:20:14] 871*2^1223841-1 is not prime. Res64: 4180ED5F627547BA Time : 0.0 sec. user=PCZ [2012-07-20 21:20:14] 889*2^1223841-1 is not prime. Res64: 3FE95F37480E39B7 Time : 0.0 sec. user=PCZ [2012-07-20 21:20:15] 861*2^1223841-1 is not prime. Res64: F01B92021B042FE5 Time : 0.0 sec. user=PCZ [2012-07-20 21:20:31] 645*2^1223842-1 is not prime. Res64: 3CB601881E3793EB Time : 0.0 sec. user=PCZ [2012-07-20 21:21:07] 713*2^1223842-1 is not prime. Res64: 3195A64DD3CA359D Time : 0.0 sec. user=PCZ [2012-07-20 21:21:15] 831*2^1223842-1 is not prime. Res64: 08EBD98758C5339B Time : 0.0 sec. user=PCZ [2012-07-20 21:22:06] 621*2^1223843-1 is not prime. Res64: 650EE2E204624637 Time : 0.0 sec. user=mdettweiler [2012-07-20 21:22:38] 955*2^1223801-1 is not prime. Res64: 14BFD980D24F12F4 Time : 0.0 sec. user=mdettweiler [2012-07-20 21:22:38] 671*2^1223802-1 is not prime. Res64: 1ECE639788426001 Time : 0.0 sec. user=mdettweiler [2012-07-20 21:22:51] 717*2^1223805-1 is not prime. Res64: A746DD93CEEC5F62 Time : 0.0 sec. user=mdettweiler [2012-07-20 21:22:51] 765*2^1223805-1 is not prime. Res64: 97A98FB882EC17FC Time : 0.0 sec. user=PCZ [2012-07-20 21:25:53] 623*2^1223844-1 is not prime. Res64: 74827DC3C111FB36 Time : 0.0 sec. user=PCZ [2012-07-20 21:26:05] 767*2^1223844-1 is not prime. Res64: 977E86C362433D1A Time : 0.0 sec. user=PCZ [2012-07-20 21:26:16] 905*2^1223844-1 is not prime. Res64: 6EE4EE49D1307E61 Time : 0.0 sec. user=PCZ [2012-07-20 21:26:21] 909*2^1223844-1 is not prime. Res64: 63424AC42368EFC1 Time : 0.0 sec. user=PCZ [2012-07-20 21:31:43] 871*2^1223843-1 is not prime. Res64: 7441A04077335BA2 Time : 0.0 sec. user=PCZ [2012-07-20 21:32:22] 949*2^1223843-1 is not prime. Res64: 7E84CF53E88836C0 Time : 0.0 sec. user=PCZ [2012-07-20 21:32:23] 741*2^1223847-1 is not prime. Res64: A74960A085AF36F1 Time : 0.0 sec. user=PCZ [2012-07-20 21:32:36] 781*2^1223847-1 is not prime. Res64: F7E3F54E40539433 Time : 0.0 sec. user=PCZ [2012-07-20 21:32:38] 955*2^1223843-1 is not prime. Res64: B22B59680173B0A2 Time : 0.0 sec. user=PCZ [2012-07-20 21:32:45] 793*2^1223847-1 is not prime. Res64: 199A6C27A11D817E Time : 0.0 sec. user=PCZ [2012-07-20 21:32:53] 871*2^1223847-1 is not prime. Res64: DE0DC0200CDFD218 Time : 0.0 sec. user=juhehe [2012-07-20 21:32:58] 885*2^1223837-1 is not prime. Res64: D0A86C724B51056C Time : 0.0 sec. user=PCZ [2012-07-20 21:33:28] 765*2^1223844-1 is not prime. Res64: 5064CC6C71DCAC8C Time : 0.0 sec. user=PCZ [2012-07-20 21:33:45] 795*2^1223844-1 is not prime. Res64: 971E7630EAC3A305 Time : 0.0 sec. user=PCZ [2012-07-20 21:34:03] 831*2^1223845-1 is not prime. Res64: 5EE6BE590758C61F Time : 0.0 sec. user=PCZ [2012-07-20 21:34:08] 825*2^1223845-1 is not prime. Res64: AE2644D0DC7C721D Time : 0.0 sec. user=PCZ [2012-07-20 21:34:10] 759*2^1223845-1 is not prime. Res64: 6721D953C5398A27 Time : 0.0 sec. user=PCZ [2012-07-20 21:34:22] 727*2^1223845-1 is not prime. Res64: 9F373FCD17F0CC3A Time : 0.0 sec. user=PCZ [2012-07-20 21:35:03] 999*2^1223845-1 is not prime. Res64: 384626B569AD7A4F Time : 0.0 sec. user=PCZ [2012-07-20 21:35:16] 657*2^1223846-1 is not prime. Res64: 9AEE46031BDF8117 Time : 0.0 sec. user=PCZ [2012-07-20 21:36:08] 773*2^1223846-1 is not prime. Res64: 45E94BA4F72C5A16 Time : 0.0 sec. user=PCZ [2012-07-20 21:38:54] 979*2^1223847-1 is not prime. Res64: B7D30558EFF8259B Time : 0.0 sec. user=PCZ [2012-07-20 21:39:06] 635*2^1223848-1 is not prime. Res64: 51005AEB9F3DC121 Time : 0.0 sec. user=PCZ [2012-07-20 21:39:13] 699*2^1223848-1 is not prime. Res64: 7CEFBCAD79ED244F Time : 0.0 sec. user=PCZ [2012-07-20 21:39:22] 927*2^1223848-1 is not prime. Res64: DFADB80F53033996 Time : 0.0 sec. user=mdettweiler [2012-07-20 21:43:48] 801*2^1223846-1 is not prime. Res64: 1610912193936B15 Time : 0.0 sec. user=mdettweiler [2012-07-20 21:43:49] 965*2^1223846-1 is not prime. Res64: 6FCCC3FBEAB2DC23 Time : 0.0 sec. user=mdettweiler [2012-07-20 21:43:59] 1001*2^1223846-1 is not prime. Res64: 80D962A3311A97AD Time : 0.0 sec. user=mdettweiler [2012-07-20 21:44:00] 703*2^1223847-1 is not prime. Res64: D3B75DAE4B18928C Time : 0.0 sec. user=PCZ [2012-07-20 21:45:23] 801*2^1223851-1 is not prime. Res64: 4584D83A2887AE83 Time : 0.0 sec. user=PCZ [2012-07-20 21:45:33] 805*2^1223851-1 is not prime. Res64: DA6A941974F02D6E Time : 0.0 sec. user=PCZ [2012-07-20 21:45:35] 891*2^1223847-1 is not prime. Res64: 25B3B81B3F497706 Time : 0.0 sec. user=PCZ [2012-07-20 21:45:40] 873*2^1223851-1 is not prime. Res64: 8F486EF8BA532C9D Time : 0.0 sec. user=PCZ [2012-07-20 21:45:50] 913*2^1223851-1 is not prime. Res64: 359E9C2B1B42F5FB Time : 0.0 sec. user=PCZ [2012-07-20 21:46:21] 963*2^1223847-1 is not prime. Res64: AC15BC349F9B66E1 Time : 0.0 sec. user=PCZ [2012-07-20 21:46:24] 639*2^1223848-1 is not prime. Res64: AC886AF0C6920509 Time : 0.0 sec. user=PCZ [2012-07-20 21:47:22] 637*2^1223849-1 is not prime. Res64: C74702764973799C Time : 0.0 sec. user=PCZ [2012-07-20 21:47:48] 955*2^1223849-1 is not prime. Res64: 0B0D2811CCB01B54 Time : 0.0 sec. user=PCZ [2012-07-20 21:47:50] 681*2^1223850-1 is not prime. Res64: A0CF5E8496081C4C Time : 0.0 sec. user=PCZ [2012-07-20 21:48:03] 707*2^1223850-1 is not prime. Res64: B323928EDEC8805B Time : 0.0 sec. user=PCZ [2012-07-20 21:48:14] 773*2^1223850-1 is not prime. Res64: 75774D62FB0F7335 Time : 0.0 sec. user=PCZ [2012-07-20 21:48:16] 777*2^1223850-1 is not prime. Res64: 0B7FB9D01AD74D46 Time : 0.0 sec. user=PCZ [2012-07-20 21:49:01] 825*2^1223850-1 is not prime. Res64: F8D7957316E341D7 Time : 0.0 sec. user=PCZ [2012-07-20 21:49:14] 645*2^1223851-1 is not prime. Res64: 04F165DF199E3A90 Time : 0.0 sec. user=PCZ [2012-07-20 21:49:57] 771*2^1223851-1 is not prime. Res64: 2DA339561A58C37A Time : 0.0 sec. user=PCZ [2012-07-20 21:51:52] 977*2^1223852-1 is not prime. Res64: 5CC8E5ED33355DE4 Time : 0.0 sec. user=PCZ [2012-07-20 21:52:04] 615*2^1223853-1 is not prime. Res64: EEF4A32DFC380E61 Time : 0.0 sec. user=PCZ [2012-07-20 21:52:08] 721*2^1223853-1 is not prime. Res64: DAD0746DEE7A48B0 Time : 0.0 sec. user=PCZ [2012-07-20 21:52:19] 747*2^1223853-1 is not prime. Res64: AAB2B6E55E2F5754 Time : 0.0 sec. user=PCZ [2012-07-20 21:58:21] 813*2^1223854-1 is not prime. Res64: 43CB6D2F8EC2B39C Time : 0.0 sec. user=PCZ [2012-07-20 21:58:34] 965*2^1223854-1 is not prime. Res64: 23DBFA1E278AF4FF Time : 0.0 sec. user=PCZ [2012-07-20 21:58:37] 975*2^1223854-1 is not prime. Res64: 94D0E6B2150F526F Time : 0.0 sec. user=PCZ [2012-07-20 21:58:48] 993*2^1223854-1 is not prime. Res64: 65DF4FE858A033F9 Time : 0.0 sec. user=PCZ [2012-07-20 21:59:26] 651*2^1223853-1 is not prime. Res64: 49BD5D0C343C2C27 Time : 0.0 sec. user=PCZ [2012-07-20 22:00:08] 895*2^1223853-1 is not prime. Res64: 7F5FFA08BA873812 Time : 0.0 sec. user=PCZ [2012-07-20 22:00:19] 781*2^1223853-1 is not prime. Res64: 0A348FC916A25399 Time : 0.0 sec. user=PCZ [2012-07-20 22:01:29] 919*2^1223853-1 is not prime. Res64: F81AA17CFCB31664 Time : 0.0 sec. user=PCZ [2012-07-20 22:01:41] 945*2^1223853-1 is not prime. Res64: 51B8623CCE182F63 Time : 0.0 sec. user=PCZ [2012-07-20 22:01:46] 927*2^1223853-1 is not prime. Res64: BDEF4FC7778F5180 Time : 0.0 sec. user=PCZ [2012-07-20 22:01:53] 987*2^1223853-1 is not prime. Res64: 6F260348E240333B Time : 0.0 sec. user=PCZ [2012-07-20 22:02:21] 623*2^1223854-1 is not prime. Res64: 21CEE99AA904BDAF Time : 0.0 sec. user=PCZ [2012-07-20 22:02:24] 621*2^1223854-1 is not prime. Res64: B2DB3B7A7D8DC964 Time : 0.0 sec. user=PCZ [2012-07-20 22:02:55] 663*2^1223854-1 is not prime. Res64: 27D33BA61D8A6C13 Time : 0.0 sec. user=PCZ [2012-07-20 22:03:11] 671*2^1223854-1 is not prime. Res64: 08730FC6FBA854FB Time : 0.0 sec. user=PCZ [2012-07-20 22:03:48] 741*2^1223854-1 is not prime. Res64: FBCFABC9EA528683 Time : 0.0 sec. user=mdettweiler [2012-07-20 22:04:54] 687*2^1223852-1 is not prime. Res64: F27758F6E098498D Time : 0.0 sec. user=mdettweiler [2012-07-20 22:04:55] 725*2^1223852-1 is not prime. Res64: 428BB9EC7C0B899A Time : 0.0 sec. user=PCZ [2012-07-20 22:04:59] 663*2^1223855-1 is not prime. Res64: 753559BCB82CAE01 Time : 0.0 sec. user=PCZ [2012-07-20 22:05:04] 685*2^1223855-1 is not prime. Res64: 9473BA498BAAA676 Time : 0.0 sec. user=PCZ [2012-07-20 22:05:07] 763*2^1223855-1 is not prime. Res64: CC68A7AFA0582E96 Time : 0.0 sec. user=mdettweiler [2012-07-20 22:05:09] 777*2^1223852-1 is not prime. Res64: 67957ACB83998A2E Time : 0.0 sec. user=mdettweiler [2012-07-20 22:05:11] 963*2^1223852-1 is not prime. Res64: 75CA08A967FAA34D Time : 0.0 sec. user=PCZ [2012-07-20 22:05:20] 859*2^1223855-1 is not prime. Res64: F62AA613486BCABF Time : 0.0 sec. user=vaughan [2012-07-20 22:11:13] 853*2^1223843-1 is not prime. Res64: 4E80236CDF5ADEF9 Time : 0.0 sec. user=PCZ [2012-07-20 22:11:34] 921*2^1223858-1 is not prime. Res64: 13D320C5D3992BE5 Time : 0.0 sec. user=PCZ [2012-07-20 22:11:36] 927*2^1223858-1 is not prime. Res64: 172FEE5C65A40EBF Time : 0.0 sec. user=PCZ [2012-07-20 22:11:44] 951*2^1223858-1 is not prime. Res64: 97495D19F83D7231 Time : 0.0 sec. user=PCZ [2012-07-20 22:11:53] 891*2^1223859-1 is not prime. Res64: 4BFBDDA826D66871 Time : 0.0 sec. user=PCZ [2012-07-20 22:13:09] 981*2^1223855-1 is not prime. Res64: 52AF9AF0863B7D76 Time : 0.0 sec. user=PCZ [2012-07-20 22:15:56] 819*2^1223857-1 is not prime. Res64: 0923FCB763EFAFB8 Time : 0.0 sec. user=PCZ [2012-07-20 22:16:31] 645*2^1223858-1 is not prime. Res64: 3F6B020BC305E24E Time : 0.0 sec. user=PCZ [2012-07-20 22:17:11] 707*2^1223856-1 is not prime. Res64: E75C49FE813E9292 Time : 0.0 sec. user=PCZ [2012-07-20 22:17:13] 669*2^1223856-1 is not prime. Res64: 3C222F40AB1E7111 Time : 0.0 sec. user=PCZ [2012-07-20 22:18:01] 843*2^1223856-1 is not prime. Res64: CE074BD4126B56CD Time : 0.0 sec. user=PCZ [2012-07-20 22:18:05] 635*2^1223860-1 is not prime. Res64: E9CA4153B2CDC261 Time : 0.0 sec. user=PCZ [2012-07-20 22:18:09] 675*2^1223860-1 is not prime. Res64: BF3E66F08354D119 Time : 0.0 sec. user=PCZ [2012-07-20 22:18:14] 813*2^1223860-1 is not prime. Res64: 4658AD28FEE3538F Time : 0.0 sec. user=PCZ [2012-07-20 22:18:21] 887*2^1223856-1 is not prime. Res64: 18D999663F33A948 Time : 0.0 sec. user=PCZ [2012-07-20 22:18:25] 897*2^1223860-1 is not prime. Res64: D84157487D1D3CD9 Time : 0.0 sec. user=PCZ [2012-07-20 22:18:33] 909*2^1223856-1 is not prime. Res64: 877F026BB5DBC7B8 Time : 0.0 sec. user=PCZ [2012-07-20 22:18:34] 947*2^1223856-1 is not prime. Res64: 425F4F9AB26E9DA7 Time : 0.0 sec. user=PCZ [2012-07-20 22:18:49] 601*2^1223857-1 is not prime. Res64: 6DA2FE1CDE695A55 Time : 0.0 sec. user=PCZ [2012-07-20 22:18:50] 807*2^1223857-1 is not prime. Res64: 9D4A514CEA0D5A0B Time : 0.0 sec. user=PCZ [2012-07-20 22:19:18] 641*2^1223858-1 is not prime. Res64: 72F1F5F7A44DFB89 Time : 0.0 sec. user=PCZ [2012-07-20 22:24:35] 861*2^1223861-1 is not prime. Res64: 88EE8AB806C657A7 Time : 0.0 sec. user=PCZ [2012-07-20 22:24:41] 931*2^1223861-1 is not prime. Res64: 4B882237B35A4EF0 Time : 0.0 sec. user=PCZ [2012-07-20 22:24:46] 621*2^1223862-1 is not prime. Res64: 8CF2631782F9A20E Time : 0.0 sec. user=PCZ [2012-07-20 22:24:55] 777*2^1223862-1 is not prime. Res64: 4C1CFAB1E6463A5D Time : 0.0 sec. user=PCZ [2012-07-20 22:25:19] 621*2^1223861-1 is not prime. Res64: 6642B6A7996B2AA4 Time : 0.0 sec. user=mdettweiler [2012-07-20 22:26:05] 771*2^1223858-1 is not prime. Res64: 0CC72E807B9982D8 Time : 0.0 sec. user=mdettweiler [2012-07-20 22:26:05] 893*2^1223858-1 is not prime. Res64: CE43E84EC6064096 Time : 0.0 sec. user=mdettweiler [2012-07-20 22:26:27] 711*2^1223859-1 is not prime. Res64: 6B0315B689912618 Time : 0.0 sec. user=mdettweiler [2012-07-20 22:26:28] 879*2^1223859-1 is not prime. Res64: B5007CFBC762A644 Time : 0.0 sec. user=PCZ [2012-07-20 22:28:33] 657*2^1223861-1 is not prime. Res64: 63F48E3FE6E4E09D Time : 0.0 sec. user=PCZ [2012-07-20 22:29:05] 691*2^1223861-1 is not prime. Res64: 835E5C6229B1BDE0 Time : 0.0 sec. user=PCZ [2012-07-20 22:30:16] 697*2^1223861-1 is not prime. Res64: ECBAD42CA760F3E0 Time : 0.0 sec. user=PCZ [2012-07-20 22:30:17] 715*2^1223861-1 is not prime. Res64: 35EF1C59E5ECF137 Time : 0.0 sec. user=PCZ [2012-07-20 22:31:06] 939*2^1223863-1 is not prime. Res64: 338375B01A65A664 Time : 0.0 sec. user=PCZ [2012-07-20 22:31:12] 999*2^1223863-1 is not prime. Res64: 719830BE3E93182B Time : 0.0 sec. user=PCZ [2012-07-20 22:31:18] 617*2^1223864-1 is not prime. Res64: F4472B9E1060EA6A Time : 0.0 sec. user=PCZ [2012-07-20 22:31:24] 645*2^1223864-1 is not prime. Res64: EF4BEAB879757CCD Time : 0.0 sec. user=PCZ [2012-07-20 22:31:37] 811*2^1223861-1 is not prime. Res64: 17C9854210E3DD4C Time : 0.0 sec. user=PCZ [2012-07-20 22:32:09] 693*2^1223862-1 is not prime. Res64: 243C9698972F8561 Time : 0.0 sec. user=PCZ [2012-07-20 22:32:22] 875*2^1223862-1 is not prime. Res64: 13F1BF2A35D84E65 Time : 0.0 sec. user=PCZ [2012-07-20 22:32:26] 821*2^1223862-1 is not prime. Res64: 3D0593BE3E9072DB Time : 0.0 sec. user=PCZ [2012-07-20 22:32:36] 633*2^1223863-1 is not prime. Res64: 25B0B4F209B12F9B Time : 0.0 sec. user=PCZ [2012-07-20 22:32:42] 621*2^1223863-1 is not prime. Res64: 4C377475E2F25402 Time : 0.0 sec. user=PCZ [2012-07-20 22:33:22] 913*2^1223863-1 is not prime. Res64: B7B852A2C510FA46 Time : 0.0 sec. user=PCZ [2012-07-20 22:37:35] 997*2^1223865-1 is not prime. Res64: D74782B95E0EE78B Time : 0.0 sec. user=PCZ [2012-07-20 22:37:40] 657*2^1223866-1 is not prime. Res64: AC22534FC189F604 Time : 0.0 sec. user=PCZ [2012-07-20 22:37:46] 675*2^1223866-1 is not prime. Res64: 5941E7B6E138F828 Time : 0.0 sec. user=PCZ [2012-07-20 22:37:54] 765*2^1223866-1 is not prime. Res64: 70BD8AE43BFA2733 Time : 0.0 sec. user=PCZ [2012-07-20 22:39:21] 687*2^1223864-1 is not prime. Res64: 0B1F06022B772930 Time : 0.0 sec. user=mdettweiler [2012-07-20 22:40:46] 983*2^1223802-1 is not prime. Res64: 5AAB3A62FCBBC7A3 Time : 0.0 sec. user=mdettweiler [2012-07-20 22:40:46] 609*2^1223803-1 is not prime. Res64: 6746D15D6C239F81 Time : 0.0 sec. user=PCZ [2012-07-20 22:42:26] 675*2^1223865-1 is not prime. Res64: 743756D43148E05D Time : 0.0 sec. user=PCZ [2012-07-20 22:43:05] 705*2^1223865-1 is not prime. Res64: CE61D4542B21018A Time : 0.0 sec. user=PCZ [2012-07-20 22:44:06] 799*2^1223867-1 is not prime. Res64: 4D20156EE34821B2 Time : 0.0 sec. user=PCZ [2012-07-20 22:44:07] 895*2^1223865-1 is not prime. Res64: 2831AF46315BB75A Time : 0.0 sec. user=PCZ [2012-07-20 22:44:12] 885*2^1223867-1 is not prime. Res64: 931729A870A27ADA Time : 0.0 sec. user=PCZ [2012-07-20 22:44:15] 837*2^1223865-1 is not prime. Res64: A3F6C67B348A9D48 Time : 0.0 sec. user=PCZ [2012-07-20 22:44:16] 949*2^1223867-1 is not prime. Res64: EB8ED0ACF89D914F Time : 0.0 sec. user=PCZ [2012-07-20 22:44:27] 979*2^1223867-1 is not prime. Res64: 71AAE584C9BFDCF6 Time : 0.0 sec. user=PCZ [2012-07-20 22:45:19] 803*2^1223866-1 is not prime. Res64: 1A38489D65C90271 Time : 0.0 sec. user=PCZ [2012-07-20 22:46:00] 881*2^1223866-1 is not prime. Res64: 3E6D2A854080AA23 Time : 0.0 sec. user=PCZ [2012-07-20 22:46:20] 923*2^1223866-1 is not prime. Res64: 65E85DA2292F5530 Time : 0.0 sec. user=PCZ [2012-07-20 22:46:33] 987*2^1223866-1 is not prime. Res64: 4AB4F00123D3307F Time : 0.0 sec. user=PCZ [2012-07-20 22:46:34] 663*2^1223867-1 is not prime. Res64: 917D3F1723AAF669 Time : 0.0 sec. user=PCZ [2012-07-20 22:46:38] 609*2^1223867-1 is not prime. Res64: 9A7938DF39600245 Time : 0.0 sec. user=PCZ [2012-07-20 22:47:05] 733*2^1223867-1 is not prime. Res64: 43C241F8600107E3 Time : 0.0 sec. user=mdettweiler [2012-07-20 22:47:14] 725*2^1223864-1 is not prime. Res64: 6ECF5E6B9E9D24FB Time : 0.0 sec. user=mdettweiler [2012-07-20 22:47:15] 843*2^1223864-1 is not prime. Res64: 0519313FF461F96D Time : 0.0 sec. user=mdettweiler [2012-07-20 22:47:34] 959*2^1223864-1 is not prime. Res64: C5184FBB0989E135 Time : 0.0 sec. user=mdettweiler [2012-07-20 22:47:35] 669*2^1223865-1 is not prime. Res64: 6A2D1DC057039EDE Time : 0.0 sec. user=gd_barnes [2012-07-20 22:49:31] 645*2^1223861-1 is not prime. Res64: 25AC842AD73F8FD7 Time : 0.0 sec. user=PCZ [2012-07-20 22:50:35] 615*2^1223869-1 is not prime. Res64: 98D3B99D8673910B Time : 0.0 sec. user=PCZ [2012-07-20 22:50:40] 615*2^1223870-1 is not prime. Res64: 32AAE46F366BF505 Time : 0.0 sec. user=PCZ [2012-07-20 22:50:44] 663*2^1223870-1 is not prime. Res64: EBB104D30FB9E07D Time : 0.0 sec. user=PCZ [2012-07-20 22:50:57] 665*2^1223870-1 is not prime. Res64: 095C264225B027E1 Time : 0.0 sec. user=PCZ [2012-07-20 22:53:20] 627*2^1223868-1 is not prime. Res64: 65FFAFFB3AB2B26D Time : 0.0 sec. user=PCZ [2012-07-20 22:56:25] 879*2^1223868-1 is not prime. Res64: 1C31ABDF5CE877C0 Time : 0.0 sec. user=juhehe [2012-07-20 22:56:56] 993*2^1223848-1 is not prime. Res64: A8819E004BE17A88 Time : 0.0 sec. user=PCZ [2012-07-20 22:57:05] 825*2^1223872-1 is not prime. Res64: D74787412107E92D Time : 0.0 sec. user=PCZ [2012-07-20 22:57:07] 909*2^1223868-1 is not prime. Res64: 4CA56285DD8B7F97 Time : 0.0 sec. user=PCZ [2012-07-20 22:57:10] 887*2^1223872-1 is not prime. Res64: 6A810F302869008D Time : 0.0 sec. user=PCZ [2012-07-20 22:57:15] 691*2^1223873-1 is not prime. Res64: 0C3A32CA99DA17D5 Time : 0.0 sec. user=PCZ [2012-07-20 22:57:32] 697*2^1223873-1 is not prime. Res64: ACBE20AF8318010E Time : 0.0 sec. user=PCZ [2012-07-20 22:57:59] 635*2^1223870-1 is not prime. Res64: 68E719AE4EBAB559 Time : 0.0 sec. user=PCZ [2012-07-20 22:58:04] 861*2^1223869-1 is not prime. Res64: 1354F7533B2A3783 Time : 0.0 sec. user=PCZ [2012-07-20 22:59:00] 785*2^1223870-1 is not prime. Res64: 30DF818826721264 Time : 0.0 sec. user=PCZ [2012-07-20 22:59:53] 851*2^1223870-1 is not prime. Res64: 0253D2A5A02CE8E0 Time : 0.0 sec. user=PCZ [2012-07-20 23:00:18] 917*2^1223870-1 is not prime. Res64: 7D0A7925167B1093 Time : 0.0 sec. user=PCZ [2012-07-20 23:00:27] 819*2^1223871-1 is not prime. Res64: D93B9FC287DF77D7 Time : 0.0 sec. user=PCZ [2012-07-20 23:00:33] 745*2^1223871-1 is not prime. Res64: DD37D8405EF11135 Time : 0.0 sec. user=PCZ [2012-07-20 23:00:38] 951*2^1223870-1 is not prime. Res64: 4EBFE9649CD9BD5A Time : 0.0 sec. user=PCZ [2012-07-20 23:00:46] 859*2^1223871-1 is not prime. Res64: 297F1D4CF473C60F Time : 0.0 sec. user=mdettweiler [2012-07-20 23:01:54] 633*2^1223868-1 is not prime. Res64: 60DFFB106654CDC6 Time : 0.0 sec. user=mdettweiler [2012-07-20 23:01:55] 689*2^1223868-1 is not prime. Res64: DB208A64588EBD5D Time : 0.0 sec. user=PCZ [2012-07-20 23:03:34] 985*2^1223873-1 is not prime. Res64: 8D0E41B49F8DE7CC Time : 0.0 sec. user=PCZ [2012-07-20 23:03:39] 611*2^1223874-1 is not prime. Res64: 522FC32464888CE2 Time : 0.0 sec. user=PCZ [2012-07-20 23:03:51] 621*2^1223874-1 is not prime. Res64: 5009F5D940BF4B81 Time : 0.0 sec. user=PCZ [2012-07-20 23:04:05] 755*2^1223874-1 is not prime. Res64: 53D90747233709F6 Time : 0.0 sec. user=vaughan [2012-07-20 23:05:49] 975*2^1223859-1 is not prime. Res64: B09C50DAB416E281 Time : 0.0 sec. user=PCZ [2012-07-20 23:07:17] 729*2^1223873-1 is not prime. Res64: 0440301E24C91D02 Time : 0.0 sec. user=mdettweiler [2012-07-20 23:08:19] 873*2^1223871-1 is not prime. Res64: 720CA4D75AA61AEB Time : 0.0 sec. user=mdettweiler [2012-07-20 23:08:21] 949*2^1223871-1 is not prime. Res64: 9338F64DDE57DBC2 Time : 0.0 sec. user=mdettweiler [2012-07-20 23:08:42] 689*2^1223872-1 is not prime. Res64: 0C8663EE7EF931DF Time : 0.0 sec. user=mdettweiler [2012-07-20 23:08:43] 779*2^1223872-1 is not prime. Res64: 96D8F024EEB34F3F Time : 0.0 sec. user=PCZ [2012-07-20 23:10:05] 951*2^1223875-1 is not prime. Res64: 7A10921820492BDA Time : 0.0 sec. user=PCZ [2012-07-20 23:10:08] 635*2^1223876-1 is not prime. Res64: 15EDF5A1DC163B0B Time : 0.0 sec. user=PCZ [2012-07-20 23:10:24] 647*2^1223876-1 is not prime. Res64: C762064412715F67 Time : 0.0 sec. user=PCZ [2012-07-20 23:10:30] 955*2^1223873-1 is not prime. Res64: 7ECB9FA975D3CF4B Time : 0.0 sec. user=PCZ [2012-07-20 23:10:36] 735*2^1223876-1 is not prime. Res64: 692BF669147DCCB1 Time : 0.0 sec. user=PCZ [2012-07-20 23:11:10] 987*2^1223873-1 is not prime. Res64: C2BAF08B0073B49F Time : 0.0 sec. user=PCZ [2012-07-20 23:11:57] 851*2^1223874-1 is not prime. Res64: C84EC1CFBE7E3358 Time : 0.0 sec. user=PCZ [2012-07-20 23:12:02] 825*2^1223874-1 is not prime. Res64: E2B85640110E8BC5 Time : 0.0 sec. user=PCZ [2012-07-20 23:12:36] 861*2^1223874-1 is not prime. Res64: 04CE8CC09DFF0A0A Time : 0.0 sec. user=PCZ [2012-07-20 23:13:48] 873*2^1223874-1 is not prime. Res64: DD01A69EC2B7C2C4 Time : 0.0 sec. user=PCZ [2012-07-20 23:14:18] 975*2^1223874-1 is not prime. Res64: 8FA9DF3FC44D9364 Time : 0.0 sec. user=PCZ [2012-07-20 23:14:28] 829*2^1223875-1 is not prime. Res64: 3666A07B8EAC5489 Time : 0.0 sec. user=PCZ [2012-07-20 23:14:29] 715*2^1223875-1 is not prime. Res64: CD268C150466BD34 Time : 0.0 sec. user=PCZ [2012-07-20 23:14:31] 859*2^1223875-1 is not prime. Res64: 1607CF6BAA2CF6E6 Time : 0.0 sec. user=PCZ [2012-07-20 23:14:34] 805*2^1223875-1 is not prime. Res64: 820FCCB56E6277A1 Time : 0.0 sec. user=PCZ [2012-07-20 23:16:39] 937*2^1223877-1 is not prime. Res64: D985F6A7FA9569C7 Time : 0.0 sec. user=PCZ [2012-07-20 23:16:44] 611*2^1223878-1 is not prime. Res64: FD519D1641C55B75 Time : 0.0 sec. user=PCZ [2012-07-20 23:16:53] 617*2^1223878-1 is not prime. Res64: ED2826726F150520 Time : 0.0 sec. user=PCZ [2012-07-20 23:17:08] 705*2^1223878-1 is not prime. Res64: 878C7941A083A12E Time : 0.0 sec. user=PCZ [2012-07-20 23:20:44] 875*2^1223876-1 is not prime. Res64: 530CC63B7F8A6582 Time : 0.0 sec. user=mdettweiler [2012-07-20 23:23:02] 909*2^1223875-1 is not prime. Res64: CFE707C2DDE533F8 Time : 0.0 sec. user=mdettweiler [2012-07-20 23:23:03] 915*2^1223875-1 is not prime. Res64: 9D02CFEF3B7E4C95 Time : 0.0 sec. user=PCZ [2012-07-20 23:23:09] 705*2^1223879-1 is not prime. Res64: A1C7C95569C93125 Time : 0.0 sec. user=PCZ [2012-07-20 23:23:15] 745*2^1223879-1 is not prime. Res64: 895A91241B199B96 Time : 0.0 sec. user=PCZ [2012-07-20 23:23:22] 789*2^1223879-1 is not prime. Res64: 59CE1B18994E40AB Time : 0.0 sec. user=PCZ [2012-07-20 23:23:37] 885*2^1223879-1 is not prime. Res64: B20E4798927C2C85 Time : 0.0 sec. user=PCZ [2012-07-20 23:24:09] 687*2^1223878-1 is not prime. Res64: 31241938396600F4 Time : 0.0 sec. user=PCZ [2012-07-20 23:24:46] 737*2^1223878-1 is not prime. Res64: D308DBA36CEBAAC7 Time : 0.0 sec. user=PCZ [2012-07-20 23:25:37] 755*2^1223878-1 is not prime. Res64: 717F5F242C0345DA Time : 0.0 sec. user=PCZ [2012-07-20 23:25:39] 857*2^1223878-1 is not prime. Res64: 0C7A718BE4014A1A Time : 0.0 sec. user=PCZ [2012-07-20 23:26:13] 609*2^1223879-1 is not prime. Res64: 990E3DFAEC9F82E3 Time : 0.0 sec. user=PCZ [2012-07-20 23:27:54] 621*2^1223879-1 is not prime. Res64: C8987C145A847E60 Time : 0.0 sec. user=PCZ [2012-07-20 23:28:11] 663*2^1223879-1 is not prime. Res64: 1FC6D89CCBB40FB4 Time : 0.0 sec. user=PCZ [2012-07-20 23:28:15] 685*2^1223879-1 is not prime. Res64: D69322D5B7BE0080 Time : 0.0 sec. user=PCZ [2012-07-20 23:28:20] 645*2^1223879-1 is not prime. Res64: 1E381FB52EDF6051 Time : 0.0 sec. user=PCZ [2012-07-20 23:28:24] 679*2^1223879-1 is not prime. Res64: 54B20ABFD76393CB Time : 0.0 sec. user=mdettweiler [2012-07-20 23:29:35] 927*2^1223876-1 is not prime. Res64: B98496974FF07675 Time : 0.0 sec. user=mdettweiler [2012-07-20 23:29:35] 901*2^1223877-1 is not prime. Res64: D48784E1133BEE69 Time : 0.0 sec. user=PCZ [2012-07-20 23:29:41] 645*2^1223771-1 is not prime. Res64: 61171B9B0080C592 Time : 0.0 sec. user=PCZ [2012-07-20 23:29:46] 823*2^1223775-1 is not prime. Res64: 307D1C7A4970514F Time : 0.0 sec. user=mdettweiler [2012-07-20 23:29:49] 919*2^1223877-1 is not prime. Res64: AA252015DAF77338 Time : 0.0 sec. user=mdettweiler [2012-07-20 23:29:49] 927*2^1223877-1 is not prime. Res64: 95D92439B3D90A97 Time : 0.0 sec. user=PCZ [2012-07-20 23:29:52] 963*2^1223775-1 is not prime. Res64: 6733DC2980EFAC71 Time : 0.0 sec. user=PCZ [2012-07-20 23:30:08] 939*2^1223776-1 is not prime. Res64: 53F57A493885BFC3 Time : 0.0 sec. user=PCZ [2012-07-20 23:30:48] 883*2^1223879-1 is not prime. Res64: 5DE0A72C2D20599B Time : 0.0 sec. user=PCZ [2012-07-20 23:34:44] 777*2^1223768-1 is not prime. Res64: 854CF4A63A681484 Time : 0.0 sec. user=PCZ [2012-07-20 23:36:14] 737*2^1223880-1 is not prime. Res64: 80C24466F6793F61 Time : 0.0 sec. user=PCZ [2012-07-20 23:36:15] 819*2^1223880-1 is not prime. Res64: 443B8F2E74134C0D Time : 0.0 sec. user=PCZ [2012-07-20 23:36:22] 867*2^1223880-1 is not prime. Res64: BE962372C7980A5F Time : 0.0 sec. user=PCZ [2012-07-20 23:36:35] 917*2^1223880-1 is not prime. Res64: 8F067915D50C3A1F Time : 0.0 sec. user=PCZ [2012-07-20 23:38:07] 715*2^1223777-1 is not prime. Res64: 2BA461E41038EC78 Time : 0.0 sec. user=PCZ [2012-07-20 23:38:43] 949*2^1223777-1 is not prime. Res64: D2CDB672FDA234D3 Time : 0.0 sec. user=PCZ [2012-07-20 23:39:34] 933*2^1223778-1 is not prime. Res64: BF13F2CA2416DF5E Time : 0.0 sec. user=PCZ [2012-07-20 23:39:37] 663*2^1223779-1 is not prime. Res64: 5C4EECD7AB8DDAF7 Time : 0.0 sec. user=PCZ [2012-07-20 23:40:03] 813*2^1223779-1 is not prime. Res64: 81D6201553230A84 Time : 0.0 sec. user=juhehe [2012-07-20 23:41:06] 967*2^1223873-1 is not prime. Res64: F0333BDF91AAA5FD Time : 0.0 sec. user=PCZ [2012-07-20 23:41:43] 999*2^1223781-1 is not prime. Res64: FBDAFD0F5FB2511F Time : 0.0 sec. user=PCZ [2012-07-20 23:42:14] 911*2^1223782-1 is not prime. Res64: 0A8CA3D9905BDD43 Time : 0.0 sec. user=PCZ [2012-07-20 23:42:14] 813*2^1223782-1 is not prime. Res64: 8B6009DA3D980EAF Time : 0.0 sec. user=PCZ [2012-07-20 23:42:14] 671*2^1223782-1 is not prime. Res64: 1EB3F9B092CE0A3A Time : 0.0 sec. user=PCZ [2012-07-20 23:42:15] 693*2^1223783-1 is not prime. Res64: E19C212BFE888BF4 Time : 0.0 sec. user=PCZ [2012-07-20 23:42:42] 799*2^1223881-1 is not prime. Res64: BAF63FF55877BF9F Time : 0.0 sec. user=PCZ [2012-07-20 23:42:46] 835*2^1223881-1 is not prime. Res64: E3A666DE7B454295 Time : 0.0 sec. user=PCZ [2012-07-20 23:42:57] 855*2^1223881-1 is not prime. Res64: C586E2C732F9FB86 Time : 0.0 sec. user=PCZ [2012-07-20 23:43:03] 675*2^1223882-1 is not prime. Res64: 164AB0AF3EEA75C1 Time : 0.0 sec. user=mdettweiler [2012-07-20 23:44:11] 681*2^1223770-1 is not prime. Res64: 896EF13EEFE76D62 Time : 0.0 sec. user=mdettweiler [2012-07-20 23:44:12] 833*2^1223770-1 is not prime. Res64: 3D2BBFFC1C5DCA87 Time : 0.0 sec. user=PCZ [2012-07-20 23:44:48] 615*2^1223881-1 is not prime. Res64: 2FF3DA74C883B936 Time : 0.0 sec. user=PCZ [2012-07-20 23:48:31] 691*2^1223881-1 is not prime. Res64: E5AB36B3E1385DFB Time : 0.0 sec. user=PCZ [2012-07-20 23:49:14] 901*2^1223883-1 is not prime. Res64: FCB3A135CFDB9D73 Time : 0.0 sec. user=PCZ [2012-07-20 23:49:16] 795*2^1223883-1 is not prime. Res64: 96338B21FFB17D6B Time : 0.0 sec. user=PCZ [2012-07-20 23:49:30] 843*2^1223884-1 is not prime. Res64: 7C99686E32079583 Time : 0.0 sec. user=PCZ [2012-07-20 23:49:33] 975*2^1223884-1 is not prime. Res64: E685CD22A284A811 Time : 0.0 sec. user=mdettweiler [2012-07-20 23:50:44] 715*2^1223783-1 is not prime. Res64: 3BBF0624663C836C Time : 0.0 sec. user=mdettweiler [2012-07-20 23:50:45] 713*2^1223880-1 is not prime. Res64: BEA60E1290E36A27 Time : 0.0 sec. user=mdettweiler [2012-07-20 23:50:58] 839*2^1223880-1 is not prime. Res64: 93CE22FCBAACA789 Time : 0.0 sec. user=mdettweiler [2012-07-20 23:50:58] 863*2^1223880-1 is not prime. Res64: E25E4835AE78849C Time : 0.0 sec. user=PCZ [2012-07-20 23:51:45] 705*2^1223882-1 is not prime. Res64: 91A95E275D9BCAFC Time : 0.0 sec. user=PCZ [2012-07-20 23:52:36] 711*2^1223882-1 is not prime. Res64: 9AAAE2B98B399153 Time : 0.0 sec. user=PCZ [2012-07-20 23:53:36] 893*2^1223882-1 is not prime. Res64: 8933C027EF172E24 Time : 0.0 sec. user=PCZ [2012-07-20 23:53:40] 911*2^1223882-1 is not prime. Res64: 3EDD8B42E0135E0A Time : 0.0 sec. user=PCZ [2012-07-20 23:53:58] 977*2^1223882-1 is not prime. Res64: 66872DA2983056DA Time : 0.0 sec. user=PCZ [2012-07-20 23:55:42] 819*2^1223885-1 is not prime. Res64: 22E345C527CB6FE7 Time : 0.0 sec. user=PCZ [2012-07-20 23:55:42] 625*2^1223883-1 is not prime. Res64: F701E9D07A9956D8 Time : 0.0 sec. user=PCZ [2012-07-20 23:55:46] 855*2^1223885-1 is not prime. Res64: B9169534C7ED867D Time : 0.0 sec. user=PCZ [2012-07-20 23:56:00] 723*2^1223886-1 is not prime. Res64: A3E08C5A7E76017D Time : 0.0 sec. user=PCZ [2012-07-20 23:56:01] 649*2^1223887-1 is not prime. Res64: C76E826A08069CCC Time : 0.0 sec. user=PCZ [2012-07-20 23:56:02] 663*2^1223883-1 is not prime. Res64: 952902C59D492D31 Time : 0.0 sec. user=PCZ [2012-07-20 23:56:12] 669*2^1223883-1 is not prime. Res64: 525967D8B023BADF Time : 0.0 sec. user=PCZ [2012-07-20 23:56:21] 709*2^1223883-1 is not prime. Res64: 4723BB179FB53EAC Time : 0.0 sec. user=PCZ [2012-07-20 23:56:22] 793*2^1223883-1 is not prime. Res64: 98943A87CC2407E2 Time : 0.0 sec. user=PCZ [2012-07-20 23:58:51] 685*2^1223885-1 is not prime. Res64: ADC018A2F70EC20F Time : 0.0 sec. user=vaughan [2012-07-21 00:00:26] 867*2^1223876-1 is not prime. Res64: 4B610784CF49375E Time : 0.0 sec.