user=mdettweiler [2013-08-10 00:03:27] 993*2^1250294-1 is not prime. Res64: B420A30711A90CD0 Time : 0.0 sec. user=mdettweiler [2013-08-10 00:03:28] 789*2^1250295-1 is not prime. Res64: 60465D6EB564786F Time : 0.0 sec. user=mdettweiler [2013-08-10 00:04:03] 795*2^1250295-1 is not prime. Res64: 6E21C1FFA5C8B17D Time : 0.0 sec. user=mdettweiler [2013-08-10 00:04:04] 819*2^1250295-1 is not prime. Res64: F19EB9B8D9FDFBE5 Time : 0.0 sec. user=mdettweiler [2013-08-10 00:16:25] 849*2^1250295-1 is not prime. Res64: 10279655C95FEADC Time : 0.0 sec. user=mdettweiler [2013-08-10 00:16:26] 853*2^1250295-1 is not prime. Res64: 7035D3CDBAF39683 Time : 0.0 sec. user=mdettweiler [2013-08-10 00:20:24] 603*2^1250296-1 is not prime. Res64: 52FE4C6C3CE0525A Time : 0.0 sec. user=mdettweiler [2013-08-10 00:20:25] 677*2^1250296-1 is not prime. Res64: 7F9A6781A1FECF93 Time : 0.0 sec. user=mdettweiler [2013-08-10 00:23:05] 765*2^1250296-1 is not prime. Res64: B21083B17DB5940A Time : 0.0 sec. user=mdettweiler [2013-08-10 00:23:06] 777*2^1250296-1 is not prime. Res64: 4BFE58C117AD79CB Time : 0.0 sec. user=mdettweiler [2013-08-10 00:23:48] 843*2^1250296-1 is not prime. Res64: A903B6CED503C429 Time : 0.0 sec. user=mdettweiler [2013-08-10 00:23:49] 887*2^1250296-1 is not prime. Res64: 717B44500527EA6B Time : 0.0 sec. user=mdettweiler [2013-08-10 00:37:04] 903*2^1250296-1 is not prime. Res64: FC7C2511B56718E7 Time : 0.0 sec. user=mdettweiler [2013-08-10 00:37:04] 989*2^1250296-1 is not prime. Res64: D801E72FEEF4CC2C Time : 0.0 sec. user=mdettweiler [2013-08-10 00:40:05] 645*2^1250297-1 is not prime. Res64: 4D5F4B52C3641E60 Time : 0.0 sec. user=mdettweiler [2013-08-10 00:40:06] 649*2^1250297-1 is not prime. Res64: 0B8A335ADBDD42A4 Time : 0.0 sec. user=mdettweiler [2013-08-10 00:42:45] 697*2^1250297-1 is not prime. Res64: CFA3F88305BB2082 Time : 0.0 sec. user=mdettweiler [2013-08-10 00:42:46] 711*2^1250297-1 is not prime. Res64: B65AE62DA07AFC60 Time : 0.0 sec. user=mdettweiler [2013-08-10 00:43:26] 729*2^1250297-1 is not prime. Res64: 35FC69B35A4FDCFF Time : 0.0 sec. user=mdettweiler [2013-08-10 00:43:26] 777*2^1250297-1 is not prime. Res64: 7C49F3B84F816EAD Time : 0.0 sec. user=mdettweiler [2013-08-10 00:56:49] 837*2^1250297-1 is not prime. Res64: A3AE002BBEF9E2DB Time : 0.0 sec. user=mdettweiler [2013-08-10 00:56:49] 861*2^1250297-1 is not prime. Res64: 525013FD3D9ADE79 Time : 0.0 sec. user=mdettweiler [2013-08-10 01:01:41] 949*2^1250297-1 is not prime. Res64: 6E89C046D0294C57 Time : 0.0 sec. user=mdettweiler [2013-08-10 01:01:42] 967*2^1250297-1 is not prime. Res64: 58DC0EFCCB95748D Time : 0.0 sec. user=mdettweiler [2013-08-10 01:03:12] 707*2^1250298-1 is not prime. Res64: 06DD0D7730BA7879 Time : 0.0 sec. user=mdettweiler [2013-08-10 01:03:14] 803*2^1250298-1 is not prime. Res64: 97E2D72D5095C56E Time : 0.0 sec. user=mdettweiler [2013-08-10 01:03:21] 981*2^1250297-1 is not prime. Res64: 49DDA16F385DB69C Time : 0.0 sec. user=mdettweiler [2013-08-10 01:03:22] 635*2^1250298-1 is not prime. Res64: 737A1E8AE733F07E Time : 0.0 sec. user=mdettweiler [2013-08-10 01:17:25] 893*2^1250298-1 is not prime. Res64: 2F16F63C269AA054 Time : 0.0 sec. user=mdettweiler [2013-08-10 01:17:26] 921*2^1250298-1 is not prime. Res64: 7EC8E200C0E8F7A6 Time : 0.0 sec. user=mdettweiler [2013-08-10 01:23:11] 635*2^1250300-1 is not prime. Res64: 28F43CCCC4E41A9C Time : 0.0 sec. user=mdettweiler [2013-08-10 01:23:11] 669*2^1250300-1 is not prime. Res64: 2D6BE0A473313319 Time : 0.0 sec. user=mdettweiler [2013-08-10 01:23:15] 945*2^1250298-1 is not prime. Res64: 1ED68243283D62E4 Time : 0.0 sec. user=mdettweiler [2013-08-10 01:23:15] 963*2^1250298-1 is not prime. Res64: 3D477CF58E1FC57B Time : 0.0 sec. user=mdettweiler [2013-08-10 01:23:52] 775*2^1250299-1 is not prime. Res64: 7C5FB15ED202A733 Time : 0.0 sec. user=mdettweiler [2013-08-10 01:23:52] 969*2^1250299-1 is not prime. Res64: C00D222A4C6ABE62 Time : 0.0 sec. user=mdettweiler [2013-08-10 01:37:15] 773*2^1250300-1 is not prime. Res64: 0BBF220730A1381B Time : 0.0 sec. user=mdettweiler [2013-08-10 01:37:16] 827*2^1250300-1 is not prime. Res64: FA43BC620DDF50E3 Time : 0.0 sec. user=mdettweiler [2013-08-10 01:43:36] 717*2^1250301-1 is not prime. Res64: 4128C7A74B537040 Time : 0.0 sec. user=mdettweiler [2013-08-10 01:43:36] 889*2^1250301-1 is not prime. Res64: E8507982262DF124 Time : 0.0 sec. user=mdettweiler [2013-08-10 01:43:46] 885*2^1250300-1 is not prime. Res64: 5D82AE166CCB8F5F Time : 0.0 sec. user=mdettweiler [2013-08-10 01:43:47] 945*2^1250300-1 is not prime. Res64: 75BA1D282C5C5561 Time : 0.0 sec. user=mdettweiler [2013-08-10 01:43:49] 987*2^1250300-1 is not prime. Res64: 0E590F752C1CC22C Time : 0.0 sec. user=mdettweiler [2013-08-10 01:43:50] 625*2^1250301-1 is not prime. Res64: 1C313049EBB0A52B Time : 0.0 sec. user=mdettweiler [2013-08-10 01:56:57] 895*2^1250301-1 is not prime. Res64: B32A67A66E7620C4 Time : 0.0 sec. user=mdettweiler [2013-08-10 01:56:57] 907*2^1250301-1 is not prime. Res64: B2C9C408228F5254 Time : 0.0 sec. user=mdettweiler [2013-08-10 02:03:33] 603*2^1250302-1 is not prime. Res64: BB1D889FCB61A6F7 Time : 0.0 sec. user=mdettweiler [2013-08-10 02:03:34] 695*2^1250302-1 is not prime. Res64: 5D27EAE6734C792D Time : 0.0 sec. user=mdettweiler [2013-08-10 02:03:35] 863*2^1250302-1 is not prime. Res64: 587E693CFE10AF1F Time : 0.0 sec. user=mdettweiler [2013-08-10 02:03:36] 867*2^1250302-1 is not prime. Res64: 48D4A051BACE5823 Time : 0.0 sec. user=mdettweiler [2013-08-10 02:05:11] 937*2^1250301-1 is not prime. Res64: E900F2AB2AE5CE82 Time : 0.0 sec. user=mdettweiler [2013-08-10 02:05:12] 999*2^1250301-1 is not prime. Res64: 7A8D9EA7B31E4CFD Time : 0.0 sec. user=mdettweiler [2013-08-10 02:17:57] 885*2^1250302-1 is not prime. Res64: FB4955C617113259 Time : 0.0 sec. user=mdettweiler [2013-08-10 02:17:57] 941*2^1250302-1 is not prime. Res64: 9878388145CCF89C Time : 0.0 sec. user=mdettweiler [2013-08-10 02:23:16] 603*2^1250303-1 is not prime. Res64: B4B9D61D7CB44C14 Time : 0.0 sec. user=mdettweiler [2013-08-10 02:23:16] 619*2^1250303-1 is not prime. Res64: F1CDFD4C4E538DE9 Time : 0.0 sec. user=mdettweiler [2013-08-10 02:23:19] 633*2^1250303-1 is not prime. Res64: 55B612A393A8F0B0 Time : 0.0 sec. user=mdettweiler [2013-08-10 02:23:19] 661*2^1250303-1 is not prime. Res64: 7C25A068E8F85F69 Time : 0.0 sec. user=mdettweiler [2013-08-10 02:24:55] 705*2^1250303-1 is not prime. Res64: AECD65C14E228B09 Time : 0.0 sec. user=mdettweiler [2013-08-10 02:24:55] 759*2^1250303-1 is not prime. Res64: 0A5A3B87F082B40E Time : 0.0 sec. user=mdettweiler [2013-08-10 02:38:35] 781*2^1250303-1 is not prime. Res64: A3281408989A3C8E Time : 0.0 sec. user=mdettweiler [2013-08-10 02:38:37] 921*2^1250303-1 is not prime. Res64: D9F3955472812E5C Time : 0.0 sec. user=mdettweiler [2013-08-10 02:42:55] 747*2^1250304-1 is not prime. Res64: 560089542B854907 Time : 0.0 sec. user=mdettweiler [2013-08-10 02:42:57] 759*2^1250304-1 is not prime. Res64: B18FB9C248E4073E Time : 0.0 sec. user=mdettweiler [2013-08-10 02:43:50] 943*2^1250303-1 is not prime. Res64: 9B6772C738F3D4D0 Time : 0.0 sec. user=mdettweiler [2013-08-10 02:43:51] 723*2^1250304-1 is not prime. Res64: 08DFE7506D5206BD Time : 0.0 sec. user=mdettweiler [2013-08-10 02:45:27] 849*2^1250304-1 is not prime. Res64: E1F96007B483DFF4 Time : 0.0 sec. user=mdettweiler [2013-08-10 02:45:28] 927*2^1250304-1 is not prime. Res64: 5748D7A0F450CBE5 Time : 0.0 sec. user=mdettweiler [2013-08-10 02:58:30] 625*2^1250305-1 is not prime. Res64: B89D29E2BBE9EC3E Time : 0.0 sec. user=mdettweiler [2013-08-10 02:58:31] 645*2^1250305-1 is not prime. Res64: D5B6E30E80D6F08C Time : 0.0 sec. user=mdettweiler [2013-08-10 03:02:41] 741*2^1250305-1 is not prime. Res64: 8D743336BC07A3F0 Time : 0.0 sec. user=mdettweiler [2013-08-10 03:02:43] 799*2^1250305-1 is not prime. Res64: 900074AD6ECF3B5D Time : 0.0 sec. user=mdettweiler [2013-08-10 03:03:32] 831*2^1250305-1 is not prime. Res64: 27537C93BE7356F2 Time : 0.0 sec. user=mdettweiler [2013-08-10 03:03:33] 861*2^1250305-1 is not prime. Res64: 899FDF8BF88B982A Time : 0.0 sec. user=mdettweiler [2013-08-10 03:05:06] 885*2^1250305-1 is not prime. Res64: D98C36219E265055 Time : 0.0 sec. user=mdettweiler [2013-08-10 03:05:07] 895*2^1250305-1 is not prime. Res64: 29B361165559EEC8 Time : 0.0 sec. user=mdettweiler [2013-08-10 03:19:13] 897*2^1250305-1 is not prime. Res64: B114B0C140C97715 Time : 0.0 sec. user=mdettweiler [2013-08-10 03:19:14] 939*2^1250305-1 is not prime. Res64: FB9EA3E977457E81 Time : 0.0 sec. user=mdettweiler [2013-08-10 03:23:09] 641*2^1250306-1 is not prime. Res64: 4B08A4228FB1D4FA Time : 0.0 sec. user=mdettweiler [2013-08-10 03:23:10] 671*2^1250306-1 is not prime. Res64: 2CE8852FF07357A0 Time : 0.0 sec. user=mdettweiler [2013-08-10 03:24:08] 981*2^1250305-1 is not prime. Res64: 7B546F9CFC892799 Time : 0.0 sec. user=mdettweiler [2013-08-10 03:24:09] 997*2^1250305-1 is not prime. Res64: 7134F7F27925BA9A Time : 0.0 sec. user=mdettweiler [2013-08-10 03:24:44] 677*2^1250306-1 is not prime. Res64: 9BCD996FAC0CAEEF Time : 0.0 sec. user=mdettweiler [2013-08-10 03:24:44] 741*2^1250306-1 is not prime. Res64: 5206FCE523F5F906 Time : 0.0 sec. user=mdettweiler [2013-08-10 03:38:51] 747*2^1250306-1 is not prime. Res64: 5D4489C8FDBB237D Time : 0.0 sec. user=mdettweiler [2013-08-10 03:38:52] 851*2^1250306-1 is not prime. Res64: 2EAF36F51F0BD373 Time : 0.0 sec. user=mdettweiler [2013-08-10 03:42:47] 867*2^1250306-1 is not prime. Res64: E25CB1E735484011 Time : 0.0 sec. user=mdettweiler [2013-08-10 03:42:48] 873*2^1250306-1 is not prime. Res64: AFD24BBD74183D8F Time : 0.0 sec. user=mdettweiler [2013-08-10 03:44:19] 753*2^1250307-1 is not prime. Res64: F1C2084B8C2E69A8 Time : 0.0 sec. user=mdettweiler [2013-08-10 03:44:19] 825*2^1250307-1 is not prime. Res64: 9717EE3D39D5DA8B Time : 0.0 sec. user=mdettweiler [2013-08-10 03:44:42] 941*2^1250306-1 is not prime. Res64: C52E5AD1A2F530AB Time : 0.0 sec. user=mdettweiler [2013-08-10 03:44:42] 633*2^1250307-1 is not prime. Res64: 51DB457DFDC04649 Time : 0.0 sec. user=mdettweiler [2013-08-10 03:58:33] 903*2^1250307-1 is not prime. Res64: 59005A7D533F2F9E Time : 0.0 sec. user=mdettweiler [2013-08-10 03:58:34] 615*2^1250308-1 is not prime. Res64: DDDBA5214835BF0F Time : 0.0 sec. user=mdettweiler [2013-08-10 04:02:31] 689*2^1250308-1 is not prime. Res64: 85E3FC6C747C6AD8 Time : 0.0 sec. user=mdettweiler [2013-08-10 04:02:32] 875*2^1250308-1 is not prime. Res64: AA435AF9241EA943 Time : 0.0 sec. user=mdettweiler [2013-08-10 04:05:13] 789*2^1250309-1 is not prime. Res64: AB762BCB8DC0CA37 Time : 0.0 sec. user=mdettweiler [2013-08-10 04:05:14] 927*2^1250309-1 is not prime. Res64: 204D61C2D4E6F4D2 Time : 0.0 sec. user=mdettweiler [2013-08-10 04:05:51] 993*2^1250308-1 is not prime. Res64: 91A3BFAC2EB22D24 Time : 0.0 sec. user=mdettweiler [2013-08-10 04:05:52] 995*2^1250308-1 is not prime. Res64: 8A0933216211E68C Time : 0.0 sec. user=mdettweiler [2013-08-10 04:19:08] 985*2^1250309-1 is not prime. Res64: 788BB857A85A23E9 Time : 0.0 sec. user=mdettweiler [2013-08-10 04:19:08] 755*2^1250310-1 is not prime. Res64: FA699B85D79B5F2D Time : 0.0 sec. user=mdettweiler [2013-08-10 04:23:08] 891*2^1250310-1 is not prime. Res64: 24798642915ECA63 Time : 0.0 sec. user=mdettweiler [2013-08-10 04:23:09] 965*2^1250310-1 is not prime. Res64: 2A84190720377B3C Time : 0.0 sec. user=mdettweiler [2013-08-10 04:25:37] 741*2^1250311-1 is not prime. Res64: B1BE8B7D305B7398 Time : 0.0 sec. user=mdettweiler [2013-08-10 04:25:37] 789*2^1250311-1 is not prime. Res64: 944DE35097D781B6 Time : 0.0 sec. user=mdettweiler [2013-08-10 04:25:44] 977*2^1250310-1 is not prime. Res64: 7EDFF2DA8BFBA2CA Time : 0.0 sec. user=mdettweiler [2013-08-10 04:25:44] 619*2^1250311-1 is not prime. Res64: 52AA5FD5AEF1A9A6 Time : 0.0 sec. user=mdettweiler [2013-08-10 04:40:36] 931*2^1250311-1 is not prime. Res64: 8FF6324D97E04787 Time : 0.0 sec. user=mdettweiler [2013-08-10 04:40:36] 969*2^1250311-1 is not prime. Res64: 5F10FE6E6BEBA725 Time : 0.0 sec. user=mdettweiler [2013-08-10 04:44:36] 979*2^1250311-1 is not prime. Res64: 9741A96CA6C861DF Time : 0.0 sec. user=mdettweiler [2013-08-10 04:44:37] 993*2^1250311-1 is not prime. Res64: 3AB98B8626DF355A Time : 0.0 sec. user=mdettweiler [2013-08-10 04:45:15] 609*2^1250312-1 is not prime. Res64: 7235547795D24626 Time : 0.0 sec. user=mdettweiler [2013-08-10 04:45:16] 725*2^1250312-1 is not prime. Res64: B83C6D22D263644F Time : 0.0 sec. user=mdettweiler [2013-08-10 04:45:27] 735*2^1250312-1 is not prime. Res64: 48E907F05C35B0F1 Time : 0.0 sec. user=mdettweiler [2013-08-10 04:45:27] 777*2^1250312-1 is not prime. Res64: 1D96A15774142DA4 Time : 0.0 sec. user=mdettweiler [2013-08-10 05:00:16] 785*2^1250312-1 is not prime. Res64: C321672C66129921 Time : 0.0 sec. user=mdettweiler [2013-08-10 05:00:17] 873*2^1250312-1 is not prime. Res64: A754B43A896D0759 Time : 0.0 sec. user=mdettweiler [2013-08-10 05:04:50] 615*2^1250313-1 is not prime. Res64: 8228A897846564FE Time : 0.0 sec. user=mdettweiler [2013-08-10 05:04:51] 727*2^1250313-1 is not prime. Res64: 0373147514434E55 Time : 0.0 sec. user=mdettweiler [2013-08-10 05:05:10] 759*2^1250313-1 is not prime. Res64: C48F4C0328C38ADA Time : 0.0 sec. user=mdettweiler [2013-08-10 05:05:11] 829*2^1250313-1 is not prime. Res64: 2E29F77EB75B95EA Time : 0.0 sec. user=mdettweiler [2013-08-10 05:06:07] 915*2^1250312-1 is not prime. Res64: 06A237AF862FC3E1 Time : 0.0 sec. user=mdettweiler [2013-08-10 05:06:07] 917*2^1250312-1 is not prime. Res64: 5D7139034FADE57B Time : 0.0 sec. user=mdettweiler [2013-08-10 05:19:53] 867*2^1250313-1 is not prime. Res64: 8B5CBBE3DBAA5B39 Time : 0.0 sec. user=mdettweiler [2013-08-10 05:19:53] 871*2^1250313-1 is not prime. Res64: 8943A32CD0697038 Time : 0.0 sec. user=mdettweiler [2013-08-10 05:24:24] 731*2^1250314-1 is not prime. Res64: 1ABF6EE0667DC0F8 Time : 0.0 sec. user=mdettweiler [2013-08-10 05:24:25] 825*2^1250314-1 is not prime. Res64: 8D9A4352885B76B6 Time : 0.0 sec. user=mdettweiler [2013-08-10 05:25:41] 891*2^1250314-1 is not prime. Res64: D36EDA145E9683CE Time : 0.0 sec. user=mdettweiler [2013-08-10 05:25:42] 917*2^1250314-1 is not prime. Res64: BC27327A9A50906F Time : 0.0 sec. user=mdettweiler [2013-08-10 05:26:39] 951*2^1250314-1 is not prime. Res64: EB119B2E634AE22B Time : 0.0 sec. user=mdettweiler [2013-08-10 05:26:40] 663*2^1250315-1 is not prime. Res64: 79AE596E1ADEDA77 Time : 0.0 sec. user=mdettweiler [2013-08-10 05:40:27] 771*2^1250315-1 is not prime. Res64: BCA70FF3F74B22FD Time : 0.0 sec. user=mdettweiler [2013-08-10 05:40:27] 949*2^1250315-1 is not prime. Res64: 4B9CE3861190947E Time : 0.0 sec. user=mdettweiler [2013-08-10 05:45:20] 689*2^1250316-1 is not prime. Res64: C7D02B708B76C20F Time : 0.0 sec. user=mdettweiler [2013-08-10 05:45:20] 905*2^1250316-1 is not prime. Res64: 57922FCFF3281FA1 Time : 0.0 sec. user=mdettweiler [2013-08-10 05:45:51] 979*2^1250315-1 is not prime. Res64: A698DB9E47D00F75 Time : 0.0 sec. user=mdettweiler [2013-08-10 05:45:51] 981*2^1250315-1 is not prime. Res64: 203810799CB62A70 Time : 0.0 sec. user=mdettweiler [2013-08-10 05:48:05] 923*2^1250316-1 is not prime. Res64: 1625C0401C7A8313 Time : 0.0 sec. user=mdettweiler [2013-08-10 05:48:05] 975*2^1250316-1 is not prime. Res64: E98C90CF03B2B86B Time : 0.0 sec. user=mdettweiler [2013-08-10 05:59:58] 717*2^1250317-1 is not prime. Res64: D2D2294774EAC0D0 Time : 0.0 sec. user=mdettweiler [2013-08-10 05:59:59] 769*2^1250317-1 is not prime. Res64: ED3DCA0152EF7C05 Time : 0.0 sec. user=mdettweiler [2013-08-10 06:05:23] 635*2^1250318-1 is not prime. Res64: 9F5D5BC8AE2E15A5 Time : 0.0 sec. user=mdettweiler [2013-08-10 06:05:24] 641*2^1250318-1 is not prime. Res64: DBE41D926BF72AA0 Time : 0.0 sec. user=mdettweiler [2013-08-10 06:05:51] 831*2^1250317-1 is not prime. Res64: 0FD835B470747444 Time : 0.0 sec. user=mdettweiler [2013-08-10 06:05:52] 961*2^1250317-1 is not prime. Res64: 5EA1B4B639D1FAD5 Time : 0.0 sec. user=mdettweiler [2013-08-10 06:07:36] 711*2^1250318-1 is not prime. Res64: F00B27CDEFF366F2 Time : 0.0 sec. user=mdettweiler [2013-08-10 06:07:36] 743*2^1250318-1 is not prime. Res64: E8C44EEFC6F6D973 Time : 0.0 sec. user=mdettweiler [2013-08-10 06:19:29] 755*2^1250318-1 is not prime. Res64: BA6799AD4FF58BA7 Time : 0.0 sec. user=mdettweiler [2013-08-10 06:19:30] 827*2^1250318-1 is not prime. Res64: 219D3295B85CC5F0 Time : 0.0 sec. user=mdettweiler [2013-08-10 06:25:28] 609*2^1250319-1 is not prime. Res64: 5AA8259257AE9E59 Time : 0.0 sec. user=mdettweiler [2013-08-10 06:25:28] 793*2^1250319-1 is not prime. Res64: 4C20E9A7B0812FB1 Time : 0.0 sec. user=mdettweiler [2013-08-10 06:25:51] 897*2^1250318-1 is not prime. Res64: 54198C8DC69B3017 Time : 0.0 sec. user=mdettweiler [2013-08-10 06:25:51] 951*2^1250318-1 is not prime. Res64: 78A5A7031CB7C98C Time : 0.0 sec. user=mdettweiler [2013-08-10 06:27:06] 861*2^1250319-1 is not prime. Res64: 9CD498B58A046725 Time : 0.0 sec. user=mdettweiler [2013-08-10 06:27:07] 891*2^1250319-1 is not prime. Res64: 4FF9506C4BE742B5 Time : 0.0 sec. user=mdettweiler [2013-08-10 06:40:56] 973*2^1250319-1 is not prime. Res64: 0248AB834E583431 Time : 0.0 sec. user=mdettweiler [2013-08-10 06:40:56] 975*2^1250319-1 is not prime. Res64: F6615D56F0845C19 Time : 0.0 sec. user=mdettweiler [2013-08-10 06:44:59] 609*2^1250320-1 is not prime. Res64: AA2BA594846596AC Time : 0.0 sec. user=mdettweiler [2013-08-10 06:45:00] 629*2^1250320-1 is not prime. Res64: 725541324F51EDFB Time : 0.0 sec. user=mdettweiler [2013-08-10 06:45:28] 735*2^1250320-1 is not prime. Res64: 77FE5250F137D5E0 Time : 0.0 sec. user=mdettweiler [2013-08-10 06:45:28] 743*2^1250320-1 is not prime. Res64: 283FEF4D76F5BE4E Time : 0.0 sec. user=mdettweiler [2013-08-10 06:46:37] 875*2^1250320-1 is not prime. Res64: B834E2A6DA3ED79C Time : 0.0 sec. user=mdettweiler [2013-08-10 06:46:37] 897*2^1250320-1 is not prime. Res64: AB7AE0ED25C8ED14 Time : 0.0 sec. user=mdettweiler [2013-08-10 07:01:24] 909*2^1250320-1 is not prime. Res64: C060FCE9CA643364 Time : 0.0 sec. user=mdettweiler [2013-08-10 07:01:25] 939*2^1250320-1 is not prime. Res64: 9D85267F3DB8AFD2 Time : 0.0 sec. user=mdettweiler [2013-08-10 07:05:00] 711*2^1250321-1 is not prime. Res64: D17AB62CF739299B Time : 0.0 sec. user=mdettweiler [2013-08-10 07:05:01] 829*2^1250321-1 is not prime. Res64: 2E842FF9453654CD Time : 0.0 sec. user=mdettweiler [2013-08-10 07:05:25] 983*2^1250320-1 is not prime. Res64: 30D01B1CB29FCA26 Time : 0.0 sec. user=mdettweiler [2013-08-10 07:05:27] 705*2^1250321-1 is not prime. Res64: 321DCD46A5BBC7E7 Time : 0.0 sec. user=mdettweiler [2013-08-10 07:06:09] 865*2^1250321-1 is not prime. Res64: 22EDDD6952D0096C Time : 0.0 sec. user=mdettweiler [2013-08-10 07:06:10] 885*2^1250321-1 is not prime. Res64: 2E29931E550C9650 Time : 0.0 sec. user=mdettweiler [2013-08-10 07:23:02] 931*2^1250321-1 is not prime. Res64: AC710A20B47ED503 Time : 0.0 sec. user=mdettweiler [2013-08-10 07:23:03] 987*2^1250321-1 is not prime. Res64: F69F1CB935D1EDEF Time : 0.0 sec. user=mdettweiler [2013-08-10 07:24:35] 713*2^1250322-1 is not prime. Res64: 17CA9D1609F6315E Time : 0.0 sec. user=mdettweiler [2013-08-10 07:24:35] 737*2^1250322-1 is not prime. Res64: 5145A71D20795B05 Time : 0.0 sec. user=mdettweiler [2013-08-10 07:25:57] 755*2^1250322-1 is not prime. Res64: BBF312023C44C9ED Time : 0.0 sec. user=mdettweiler [2013-08-10 07:25:58] 915*2^1250322-1 is not prime. Res64: B1FB9C387351335E Time : 0.0 sec. user=mdettweiler [2013-08-10 07:26:37] 947*2^1250322-1 is not prime. Res64: 9384B4AC92410077 Time : 0.0 sec. user=mdettweiler [2013-08-10 07:26:37] 679*2^1250323-1 is not prime. Res64: 022E42BB55680250 Time : 0.0 sec. user=mdettweiler [2013-08-10 07:42:40] 771*2^1250323-1 is not prime. Res64: 3C315F7312FB9FF2 Time : 0.0 sec. user=mdettweiler [2013-08-10 07:42:40] 861*2^1250323-1 is not prime. Res64: B9624669CC4CA969 Time : 0.0 sec. user=mdettweiler [2013-08-10 07:45:09] 939*2^1250323-1 is not prime. Res64: D3EA3B2D203EF840 Time : 0.0 sec. user=mdettweiler [2013-08-10 07:45:09] 623*2^1250324-1 is not prime. Res64: 6D1921D73DDB58EB Time : 0.0 sec. user=mdettweiler [2013-08-10 07:45:31] 665*2^1250324-1 is not prime. Res64: 400A856EEE90D7A3 Time : 0.0 sec. user=mdettweiler [2013-08-10 07:45:31] 749*2^1250324-1 is not prime. Res64: A00E82AA681DAC39 Time : 0.0 sec. user=mdettweiler [2013-08-10 07:46:09] 795*2^1250324-1 is not prime. Res64: BF1235CDBDE1A9AF Time : 0.0 sec. user=mdettweiler [2013-08-10 07:46:10] 813*2^1250324-1 is not prime. Res64: E1B3EBBF44475450 Time : 0.0 sec. user=mdettweiler [2013-08-10 08:03:19] 885*2^1250324-1 is not prime. Res64: B7873A0A51C6E103 Time : 0.0 sec. user=mdettweiler [2013-08-10 08:03:21] 923*2^1250324-1 is not prime. Res64: 8BADF1008F2BA768 Time : 0.0 sec. user=mdettweiler [2013-08-10 08:04:42] 639*2^1250325-1 is not prime. Res64: 55D972748CF71E82 Time : 0.0 sec. user=mdettweiler [2013-08-10 08:04:43] 657*2^1250325-1 is not prime. Res64: 298E14A14F0F9767 Time : 0.0 sec. user=mdettweiler [2013-08-10 08:05:06] 667*2^1250325-1 is not prime. Res64: D3E8C23396C9D876 Time : 0.0 sec. user=mdettweiler [2013-08-10 08:05:07] 679*2^1250325-1 is not prime. Res64: 0E5038A01166D1CE Time : 0.0 sec. user=mdettweiler [2013-08-10 08:05:44] 691*2^1250325-1 is not prime. Res64: FA86850A24D81F8B Time : 0.0 sec. user=mdettweiler [2013-08-10 08:05:45] 727*2^1250325-1 is not prime. Res64: 8B9110F7E55B6658 Time : 0.0 sec. user=mdettweiler [2013-08-10 08:23:21] 825*2^1250325-1 is not prime. Res64: D472389FA3D8DEDB Time : 0.0 sec. user=mdettweiler [2013-08-10 08:23:21] 871*2^1250325-1 is not prime. Res64: 890F7966A6397B14 Time : 0.0 sec. user=mdettweiler [2013-08-10 08:24:18] 651*2^1250326-1 is not prime. Res64: A2F9707487D97AB5 Time : 0.0 sec. user=mdettweiler [2013-08-10 08:24:18] 671*2^1250326-1 is not prime. Res64: E82B4C46731FD754 Time : 0.0 sec. user=mdettweiler [2013-08-10 08:24:44] 717*2^1250326-1 is not prime. Res64: E570C121723878BF Time : 0.0 sec. user=mdettweiler [2013-08-10 08:24:45] 801*2^1250326-1 is not prime. Res64: 40BFC215B0F2FB73 Time : 0.0 sec. user=mdettweiler [2013-08-10 08:25:20] 843*2^1250326-1 is not prime. Res64: 459DA49DF3A6CAAA Time : 0.0 sec. user=mdettweiler [2013-08-10 08:25:20] 867*2^1250326-1 is not prime. Res64: E686B574F3D0DBAF Time : 0.0 sec. user=mdettweiler [2013-08-10 08:44:24] 643*2^1250327-1 is not prime. Res64: 8D20571F60B5F86C Time : 0.0 sec. user=mdettweiler [2013-08-10 08:44:25] 655*2^1250327-1 is not prime. Res64: F6808A45501F9E55 Time : 0.0 sec. user=mdettweiler [2013-08-10 08:44:52] 975*2^1250326-1 is not prime. Res64: 6BD21272041B14E6 Time : 0.0 sec. user=mdettweiler [2013-08-10 08:44:52] 669*2^1250327-1 is not prime. Res64: 5BD595DA846BC14A Time : 0.0 sec. user=mdettweiler [2013-08-10 08:44:53] 615*2^1250327-1 is not prime. Res64: F8193944C3F868B2 Time : 0.0 sec. user=mdettweiler [2013-08-10 08:44:53] 675*2^1250327-1 is not prime. Res64: 0084B14080D6DF68 Time : 0.0 sec. user=mdettweiler [2013-08-10 08:44:53] 911*2^1250326-1 is not prime. Res64: 90143969954DDBB1 Time : 0.0 sec. user=mdettweiler [2013-08-10 08:44:54] 957*2^1250326-1 is not prime. Res64: 1E5F418DE74AB715 Time : 0.0 sec. user=mdettweiler [2013-08-10 09:04:26] 681*2^1250329-1 is not prime. Res64: 47C57ADE362D6D85 Time : 0.0 sec. user=mdettweiler [2013-08-10 09:04:27] 623*2^1250330-1 is not prime. Res64: BB3A8070F0F53C77 Time : 0.0 sec. user=mdettweiler [2013-08-10 09:04:31] 633*2^1250328-1 is not prime. Res64: 15C6FEF30B0C9EAB Time : 0.0 sec. user=mdettweiler [2013-08-10 09:04:33] 637*2^1250329-1 is not prime. Res64: 84DAE772E1577F6A Time : 0.0 sec. user=mdettweiler [2013-08-10 09:04:34] 633*2^1250330-1 is not prime. Res64: 45E178491EAA1A6C Time : 0.0 sec. user=mdettweiler [2013-08-10 09:04:36] 635*2^1250330-1 is not prime. Res64: F79A0DAEB8284DCF Time : 0.0 sec. user=mdettweiler [2013-08-10 09:05:52] 939*2^1250327-1 is not prime. Res64: 1B0B919DD0C06F86 Time : 0.0 sec. user=mdettweiler [2013-08-10 09:05:53] 999*2^1250327-1 is not prime. Res64: A02E10C0A0FF09C4 Time : 0.0 sec. user=mdettweiler [2013-08-10 09:24:07] 783*2^1250330-1 is not prime. Res64: FCAAEBE2CC5A72BE Time : 0.0 sec. user=mdettweiler [2013-08-10 09:24:07] 785*2^1250330-1 is not prime. Res64: 7C6565632C373F35 Time : 0.0 sec. user=mdettweiler [2013-08-10 09:24:15] 675*2^1250331-1 is not prime. Res64: 121B8A069CBB9636 Time : 0.0 sec. user=mdettweiler [2013-08-10 09:24:15] 745*2^1250331-1 is not prime. Res64: BCFC143B2EE54E55 Time : 0.0 sec. user=mdettweiler [2013-08-10 09:25:56] 935*2^1250330-1 is not prime. Res64: 5AAA3BE1FDC0390D Time : 0.0 sec. user=mdettweiler [2013-08-10 09:25:56] 957*2^1250330-1 is not prime. Res64: 37E096163C4EAA1F Time : 0.0 sec. user=mdettweiler [2013-08-10 09:26:26] 819*2^1250331-1 is not prime. Res64: 1EEE70027389E27C Time : 0.0 sec. user=mdettweiler [2013-08-10 09:26:27] 955*2^1250331-1 is not prime. Res64: F34E974AED22E248 Time : 0.0 sec. user=mdettweiler [2013-08-10 09:43:43] 615*2^1250332-1 is not prime. Res64: 20FFFE8D873FD70E Time : 0.0 sec. user=mdettweiler [2013-08-10 09:43:43] 629*2^1250332-1 is not prime. Res64: 8FB1F60AF37071C4 Time : 0.0 sec. user=mdettweiler [2013-08-10 09:43:54] 639*2^1250332-1 is not prime. Res64: 630F7EC379776432 Time : 0.0 sec. user=mdettweiler [2013-08-10 09:43:55] 689*2^1250332-1 is not prime. Res64: 293645D82453160B Time : 0.0 sec. user=mdettweiler [2013-08-10 09:45:33] 779*2^1250332-1 is not prime. Res64: 022C24BFDBCCEE01 Time : 0.0 sec. user=mdettweiler [2013-08-10 09:45:33] 797*2^1250332-1 is not prime. Res64: FD81F2E0374A451B Time : 0.0 sec. user=mdettweiler [2013-08-10 09:46:03] 843*2^1250332-1 is not prime. Res64: 045BA7B57BB69FD5 Time : 0.0 sec. user=mdettweiler [2013-08-10 09:46:04] 909*2^1250332-1 is not prime. Res64: 9D667228A02536D8 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:03:30] 699*2^1250333-1 is not prime. Res64: 9ACE24D4853A3A76 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:03:31] 745*2^1250333-1 is not prime. Res64: A752423A6874C435 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:05:11] 915*2^1250332-1 is not prime. Res64: BF2B91140A24EC93 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:05:12] 965*2^1250332-1 is not prime. Res64: 7294E5C2E68531CB Time : 0.0 sec. user=mdettweiler [2013-08-10 10:05:38] 605*2^1250334-1 is not prime. Res64: 63D38E9FDEC10EB7 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:05:39] 621*2^1250334-1 is not prime. Res64: 05C55CC94097F3F1 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:06:04] 885*2^1250333-1 is not prime. Res64: 6FF7196FF73D4883 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:06:04] 985*2^1250333-1 is not prime. Res64: AF903652236C4426 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:23:23] 707*2^1250334-1 is not prime. Res64: B653EEE2456852BC Time : 0.0 sec. user=mdettweiler [2013-08-10 10:23:24] 717*2^1250334-1 is not prime. Res64: B7D8CE32210AFD29 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:24:49] 737*2^1250334-1 is not prime. Res64: 8C6277187F381C39 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:24:50] 741*2^1250334-1 is not prime. Res64: C5EA273FD620EAD2 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:25:16] 747*2^1250334-1 is not prime. Res64: 2E74E153BFCA70B2 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:25:17] 861*2^1250334-1 is not prime. Res64: 0DBC92F5386FBEEB Time : 0.0 sec. user=mdettweiler [2013-08-10 10:25:41] 873*2^1250334-1 is not prime. Res64: 30CB0DA2BD63E7D6 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:25:41] 891*2^1250334-1 is not prime. Res64: 463F2211971EEB85 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:43:57] 941*2^1250334-1 is not prime. Res64: 7D772B4A15A9A708 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:43:57] 723*2^1250335-1 is not prime. Res64: C5F3448CF3B46FA7 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:44:27] 829*2^1250335-1 is not prime. Res64: 09F0D917C4941424 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:44:28] 843*2^1250335-1 is not prime. Res64: A0D4F1DEE4DAC579 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:45:14] 615*2^1250336-1 is not prime. Res64: CCDAB7515BD1BB12 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:45:15] 717*2^1250336-1 is not prime. Res64: F0D12BB91CF43F06 Time : 0.0 sec. user=mdettweiler [2013-08-10 10:45:49] 895*2^1250335-1 is not prime. Res64: 0255C954F5E6E8DF Time : 0.0 sec. user=mdettweiler [2013-08-10 10:45:49] 919*2^1250335-1 is not prime. Res64: B670DE1BDA7ADAB5 Time : 0.0 sec. user=mdettweiler [2013-08-10 11:03:36] 777*2^1250336-1 is not prime. Res64: C6EA3A762A93FD9D Time : 0.0 sec. user=mdettweiler [2013-08-10 11:03:37] 867*2^1250336-1 is not prime. Res64: 821FA1CA1265B450 Time : 0.0 sec. user=mdettweiler [2013-08-10 11:04:52] 765*2^1250337-1 is not prime. Res64: D0C59395DBF5DEC6 Time : 0.0 sec. user=mdettweiler [2013-08-10 11:04:53] 817*2^1250337-1 is not prime. Res64: 5026062C2E09A2A4 Time : 0.0 sec. user=mdettweiler [2013-08-10 11:04:58] 969*2^1250336-1 is not prime. Res64: E56B9497C6289359 Time : 0.0 sec. user=mdettweiler [2013-08-10 11:04:59] 651*2^1250337-1 is not prime. Res64: 88007ED83214DD15 Time : 0.0 sec. user=mdettweiler [2013-08-10 11:05:28] 885*2^1250337-1 is not prime. Res64: 1A7E8BC11139503D Time : 0.0 sec. user=mdettweiler [2013-08-10 11:05:30] 889*2^1250337-1 is not prime. Res64: DF3F597CB0670E07 Time : 0.0 sec. user=mdettweiler [2013-08-10 11:24:27] 603*2^1250338-1 is not prime. Res64: 0B5E49371CC3FAA0 Time : 0.0 sec. user=mdettweiler [2013-08-10 11:24:27] 611*2^1250338-1 is not prime. Res64: 4B50DB21D026EB1F Time : 0.0 sec. user=mdettweiler [2013-08-10 11:24:41] 635*2^1250338-1 is not prime. Res64: 7E53EC8C097C10C3 Time : 0.0 sec. user=mdettweiler [2013-08-10 11:24:42] 825*2^1250338-1 is not prime. Res64: AE204DC6A173C2ED Time : 0.0 sec. user=mdettweiler [2013-08-10 11:25:11] 949*2^1250337-1 is not prime. Res64: F5AD1B7817B11E89 Time : 0.0 sec. user=mdettweiler [2013-08-10 11:25:12] 979*2^1250337-1 is not prime. Res64: A7956AEBB2B80DC8 Time : 0.0 sec. user=mdettweiler [2013-08-10 11:25:59] 885*2^1250338-1 is not prime. Res64: D0B8A040A3D90B60 Time : 0.0 sec. user=mdettweiler [2013-08-10 11:25:59] 933*2^1250338-1 is not prime. Res64: 580C68BCE8D5538B Time : 0.0 sec. user=mdettweiler [2013-08-10 11:44:34] 615*2^1250339-1 is not prime. Res64: 0C6FED89F9ABB9DA Time : 0.0 sec. user=mdettweiler [2013-08-10 11:44:34] 645*2^1250339-1 is not prime. Res64: 3F3181A59AA60185 Time : 0.0 sec. user=mdettweiler [2013-08-10 11:44:59] 711*2^1250339-1 is not prime. Res64: 60A0E17ECB3DF611 Time : 0.0 sec. user=mdettweiler [2013-08-10 11:44:59] 753*2^1250339-1 is not prime. Res64: E9BB6E4968779C85 Time : 0.0 sec. user=mdettweiler [2013-08-10 11:45:08] 987*2^1250338-1 is not prime. Res64: 8502CDB5D6AA57B7 Time : 0.0 sec. user=mdettweiler [2013-08-10 11:45:08] 609*2^1250339-1 is not prime. Res64: 4CE76F5C1F2E5D30 Time : 0.0 sec. user=mdettweiler [2013-08-10 11:45:50] 775*2^1250339-1 is not prime. Res64: ABC3732CBF72F98C Time : 0.0 sec. user=mdettweiler [2013-08-10 11:45:50] 813*2^1250339-1 is not prime. Res64: 2392FBEDE9F96BE8 Time : 0.0 sec. user=mdettweiler [2013-08-10 12:04:38] 841*2^1250339-1 is not prime. Res64: 51F9D24954DCDEFC Time : 0.0 sec. user=mdettweiler [2013-08-10 12:04:39] 859*2^1250339-1 is not prime. Res64: 0A452CB0F64EB0A4 Time : 0.0 sec. user=mdettweiler [2013-08-10 12:05:04] 861*2^1250339-1 is not prime. Res64: AC1F0600AB1A1DBA Time : 0.0 sec. user=mdettweiler [2013-08-10 12:05:05] 895*2^1250339-1 is not prime. Res64: 6ECCF69097BB23E1 Time : 0.0 sec. user=mdettweiler [2013-08-10 12:05:10] 623*2^1250340-1 is not prime. Res64: 0CB613181A1975F5 Time : 0.0 sec. user=mdettweiler [2013-08-10 12:05:10] 699*2^1250340-1 is not prime. Res64: 5E0D6D0064452756 Time : 0.0 sec. user=mdettweiler [2013-08-10 12:05:54] 767*2^1250340-1 is not prime. Res64: 36B1174205C068EA Time : 0.0 sec. user=mdettweiler [2013-08-10 12:05:54] 875*2^1250340-1 is not prime. Res64: 613322ED000FC283 Time : 0.0 sec. user=mdettweiler [2013-08-10 12:25:05] 645*2^1250341-1 is not prime. Res64: A0B31DC3D345086E Time : 0.0 sec. user=mdettweiler [2013-08-10 12:25:05] 681*2^1250341-1 is not prime. Res64: D7C5DF110EF0A6C7 Time : 0.0 sec. user=mdettweiler [2013-08-10 12:25:41] 899*2^1250340-1 is not prime. Res64: 020BE269E051F383 Time : 0.0 sec. user=mdettweiler [2013-08-10 12:25:41] 959*2^1250340-1 is not prime. Res64: 89F6D243AC841783 Time : 0.0 sec. user=mdettweiler [2013-08-10 12:25:51] 687*2^1250341-1 is not prime. Res64: A7A603629779C729 Time : 0.0 sec. user=mdettweiler [2013-08-10 12:25:51] 741*2^1250341-1 is not prime. Res64: DFD799F202DD04CE Time : 0.0 sec. user=mdettweiler [2013-08-10 12:25:55] 965*2^1250340-1 is not prime. Res64: F1C0EF440DB39C5F Time : 0.0 sec. user=mdettweiler [2013-08-10 12:25:56] 607*2^1250341-1 is not prime. Res64: F2B64EA2DA635D55 Time : 0.0 sec. user=mdettweiler [2013-08-10 12:46:00] 705*2^1250342-1 is not prime. Res64: EE0A157A95B8FA1E Time : 0.0 sec. user=mdettweiler [2013-08-10 12:46:00] 711*2^1250342-1 is not prime. Res64: F20F131DA939ED4B Time : 0.0 sec. user=mdettweiler [2013-08-10 12:46:07] 859*2^1250341-1 is not prime. Res64: CCDD96390213154A Time : 0.0 sec. user=mdettweiler [2013-08-10 12:46:07] 937*2^1250341-1 is not prime. Res64: C2A2CA104517C797 Time : 0.0 sec. user=mdettweiler [2013-08-10 12:46:57] 997*2^1250341-1 is not prime. Res64: F0635ABA80ACF1D8 Time : 0.0 sec. user=mdettweiler [2013-08-10 12:46:58] 603*2^1250342-1 is not prime. Res64: B6BDFE1AFFAC8320 Time : 0.0 sec. user=mdettweiler [2013-08-10 12:47:31] 945*2^1250341-1 is not prime. Res64: D8BB10E55E800D8E Time : 0.0 sec. user=mdettweiler [2013-08-10 12:47:31] 957*2^1250341-1 is not prime. Res64: 0A8795AF08861B2C Time : 0.0 sec. user=mdettweiler [2013-08-10 13:06:42] 739*2^1250343-1 is not prime. Res64: 454742B5A0682366 Time : 0.0 sec. user=mdettweiler [2013-08-10 13:06:44] 763*2^1250343-1 is not prime. Res64: 3425A0B61B502A7E Time : 0.0 sec. user=mdettweiler [2013-08-10 13:06:48] 743*2^1250342-1 is not prime. Res64: 71CC86F1B6CDB4A3 Time : 0.0 sec. user=mdettweiler [2013-08-10 13:06:49] 911*2^1250342-1 is not prime. Res64: 3794E3221EC81E9E Time : 0.0 sec. user=mdettweiler [2013-08-10 13:06:51] 1001*2^1250342-1 is not prime. Res64: 84CFAF5C65D7EE56 Time : 0.0 sec. user=mdettweiler [2013-08-10 13:06:51] 735*2^1250343-1 is not prime. Res64: 25EA39FEB16EC809 Time : 0.0 sec. user=mdettweiler [2013-08-10 13:07:13] 775*2^1250343-1 is not prime. Res64: 7BF901807302A4AC Time : 0.0 sec. user=mdettweiler [2013-08-10 13:07:14] 853*2^1250343-1 is not prime. Res64: 062B84AD0A7E2524 Time : 0.0 sec. user=mdettweiler [2013-08-10 13:26:34] 707*2^1250344-1 is not prime. Res64: BDF20EF8B638BA89 Time : 0.0 sec. user=mdettweiler [2013-08-10 13:26:35] 743*2^1250344-1 is not prime. Res64: 35D743BEE80A2A11 Time : 0.0 sec. user=mdettweiler [2013-08-10 13:26:39] 765*2^1250344-1 is not prime. Res64: FD88CDA06A5C5D40 Time : 0.0 sec. user=mdettweiler [2013-08-10 13:26:40] 843*2^1250344-1 is not prime. Res64: ABF2BD45AE7D0351 Time : 0.0 sec. user=mdettweiler [2013-08-10 13:26:59] 855*2^1250344-1 is not prime. Res64: 477608A6C80E2AB7 Time : 0.0 sec. user=mdettweiler [2013-08-10 13:26:59] 857*2^1250344-1 is not prime. Res64: C64641BCBBF3FAE8 Time : 0.0 sec. user=mdettweiler [2013-08-10 13:27:28] 955*2^1250343-1 is not prime. Res64: 51F25914B9497DF7 Time : 0.0 sec. user=mdettweiler [2013-08-10 13:27:28] 615*2^1250344-1 is not prime. Res64: 606BBECD745576AC Time : 0.0 sec. user=mdettweiler [2013-08-10 13:46:30] 651*2^1250345-1 is not prime. Res64: FD6AE792333F379E Time : 0.0 sec. user=mdettweiler [2013-08-10 13:46:31] 715*2^1250345-1 is not prime. Res64: 980BC0207843EFD3 Time : 0.0 sec. user=mdettweiler [2013-08-10 13:47:04] 759*2^1250345-1 is not prime. Res64: 8B1EFDE8E17B70DF Time : 0.0 sec. user=mdettweiler [2013-08-10 13:47:05] 799*2^1250345-1 is not prime. Res64: 194E90055568555A Time : 0.0 sec. user=mdettweiler [2013-08-10 13:47:18] 855*2^1250345-1 is not prime. Res64: F401FC0F9AFB2BDC Time : 0.0 sec. user=mdettweiler [2013-08-10 13:47:18] 897*2^1250345-1 is not prime. Res64: 3E5627CF4DF3152B Time : 0.0 sec. user=mdettweiler [2013-08-10 13:47:30] 887*2^1250344-1 is not prime. Res64: 23636EBE12FEF09A Time : 0.0 sec. user=mdettweiler [2013-08-10 13:47:30] 969*2^1250344-1 is not prime. Res64: 04438786DE7F2CC9 Time : 0.0 sec. user=mdettweiler [2013-08-10 14:08:14] 969*2^1250345-1 is not prime. Res64: 2AF54A35A6E9554D Time : 0.0 sec. user=mdettweiler [2013-08-10 14:08:15] 611*2^1250346-1 is not prime. Res64: 68A8AAB3FD4303BA Time : 0.0 sec. user=mdettweiler [2013-08-10 14:08:32] 725*2^1250346-1 is not prime. Res64: FE9330E30565D546 Time : 0.0 sec. user=mdettweiler [2013-08-10 14:08:33] 917*2^1250346-1 is not prime. Res64: 1B503DDD3280D455 Time : 0.0 sec. user=mdettweiler [2013-08-10 14:08:37] 937*2^1250345-1 is not prime. Res64: 6B562FFCA03945F8 Time : 0.0 sec. user=mdettweiler [2013-08-10 14:08:39] 955*2^1250345-1 is not prime. Res64: D8024457E9FF8420 Time : 0.0 sec. user=mdettweiler [2013-08-10 14:09:47] 921*2^1250346-1 is not prime. Res64: 13538A4896D1A3AF Time : 0.0 sec. user=mdettweiler [2013-08-10 14:09:47] 945*2^1250346-1 is not prime. Res64: 595A9E48EF716016 Time : 0.0 sec. user=mdettweiler [2013-08-10 14:28:20] 645*2^1250347-1 is not prime. Res64: D6BBE5406D064DB0 Time : 0.0 sec. user=mdettweiler [2013-08-10 14:28:21] 733*2^1250347-1 is not prime. Res64: C643DCCAEC43D338 Time : 0.0 sec. user=mdettweiler [2013-08-10 14:28:54] 963*2^1250346-1 is not prime. Res64: A5E33B7D5BD8D4FD Time : 0.0 sec. user=mdettweiler [2013-08-10 14:28:54] 619*2^1250347-1 is not prime. Res64: 43F9B41DDA2798A6 Time : 0.0 sec. user=mdettweiler [2013-08-10 14:29:17] 909*2^1250347-1 is not prime. Res64: 884B6E8873F24F49 Time : 0.0 sec. user=mdettweiler [2013-08-10 14:29:18] 931*2^1250347-1 is not prime. Res64: A747F491BF434F47 Time : 0.0 sec. user=mdettweiler [2013-08-10 14:29:30] 669*2^1250348-1 is not prime. Res64: D944A7A059027428 Time : 0.0 sec. user=mdettweiler [2013-08-10 14:29:30] 687*2^1250348-1 is not prime. Res64: 5FECDC2DD7DD2D50 Time : 0.0 sec. user=mdettweiler [2013-08-10 14:47:57] 725*2^1250348-1 is not prime. Res64: 099C833DE3889957 Time : 0.0 sec. user=mdettweiler [2013-08-10 14:47:57] 735*2^1250348-1 is not prime. Res64: D96B6E3DE21FF75A Time : 0.0 sec. user=mdettweiler [2013-08-10 14:49:01] 609*2^1250349-1 is not prime. Res64: BB9D50E8D894D165 Time : 0.0 sec. user=mdettweiler [2013-08-10 14:49:01] 621*2^1250349-1 is not prime. Res64: E533A7C87DA18CCB Time : 0.0 sec. user=mdettweiler [2013-08-10 14:49:10] 649*2^1250349-1 is not prime. Res64: 4DAD8753B696655C Time : 0.0 sec. user=mdettweiler [2013-08-10 14:49:10] 745*2^1250349-1 is not prime. Res64: AE3EABCC16087296 Time : 0.0 sec. user=mdettweiler [2013-08-10 14:50:30] 969*2^1250348-1 is not prime. Res64: BE48C52414D1B9A5 Time : 0.0 sec. user=mdettweiler [2013-08-10 14:50:31] 987*2^1250348-1 is not prime. Res64: 8C2FA9C69F2564AC Time : 0.0 sec. user=mdettweiler [2013-08-10 15:07:39] 765*2^1250349-1 is not prime. Res64: D4B03661B2EDA4CE Time : 0.0 sec. user=mdettweiler [2013-08-10 15:07:39] 795*2^1250349-1 is not prime. Res64: 48EC5883BC3D07CE Time : 0.0 sec. user=mdettweiler [2013-08-10 15:08:36] 829*2^1250349-1 is not prime. Res64: FAC38531519AEB18 Time : 0.0 sec. user=mdettweiler [2013-08-10 15:08:36] 895*2^1250349-1 is not prime. Res64: 6D0AE7AE38C666B4 Time : 0.0 sec. user=mdettweiler [2013-08-10 15:10:06] 645*2^1250350-1 is not prime. Res64: E5EB308BEC62EB03 Time : 0.0 sec. user=mdettweiler [2013-08-10 15:10:07] 671*2^1250350-1 is not prime. Res64: B4FB699339C9C414 Time : 0.0 sec. user=mdettweiler [2013-08-10 15:10:39] 927*2^1250349-1 is not prime. Res64: 8FB7DA588C0C965B Time : 0.0 sec. user=mdettweiler [2013-08-10 15:10:40] 987*2^1250349-1 is not prime. Res64: D1F94A155E3C149A Time : 0.0 sec. user=mdettweiler [2013-08-10 15:27:23] 723*2^1250350-1 is not prime. Res64: 48DAB867D54DA631 Time : 0.0 sec. user=mdettweiler [2013-08-10 15:27:23] 813*2^1250350-1 is not prime. Res64: 731E49091B2CA0AC Time : 0.0 sec. user=mdettweiler [2013-08-10 15:29:10] 831*2^1250350-1 is not prime. Res64: 99282146D9478415 Time : 0.0 sec. user=mdettweiler [2013-08-10 15:29:11] 923*2^1250350-1 is not prime. Res64: BE50B1FF69EE1C30 Time : 0.0 sec. user=mdettweiler [2013-08-10 15:30:21] 609*2^1250351-1 is not prime. Res64: 1C0691F2A4875943 Time : 0.0 sec. user=mdettweiler [2013-08-10 15:30:21] 649*2^1250351-1 is not prime. Res64: F6D6C49BA7B67E3C Time : 0.0 sec. user=mdettweiler [2013-08-10 15:31:40] 945*2^1250350-1 is not prime. Res64: 01558082FF49831B Time : 0.0 sec. user=mdettweiler [2013-08-10 15:31:40] 951*2^1250350-1 is not prime. Res64: DB5DC88C40A4D896 Time : 0.0 sec. user=mdettweiler [2013-08-10 15:47:16] 661*2^1250351-1 is not prime. Res64: 6A9CF29F780FBAEF Time : 0.0 sec. user=mdettweiler [2013-08-10 15:47:16] 735*2^1250351-1 is not prime. Res64: 2DA936D8D3D4DCC3 Time : 0.0 sec. user=mdettweiler [2013-08-10 15:49:11] 855*2^1250351-1 is not prime. Res64: 3FD32858D9F14387 Time : 0.0 sec. user=mdettweiler [2013-08-10 15:49:12] 653*2^1250352-1 is not prime. Res64: E2E07A1F196322CE Time : 0.0 sec. user=mdettweiler [2013-08-10 15:50:28] 843*2^1250352-1 is not prime. Res64: 2D80B46416741847 Time : 0.0 sec. user=mdettweiler [2013-08-10 15:50:28] 879*2^1250352-1 is not prime. Res64: 4404577F482C5596 Time : 0.0 sec. user=mdettweiler [2013-08-10 15:53:38] 959*2^1250352-1 is not prime. Res64: 5F57F46638B49AC1 Time : 0.0 sec. user=mdettweiler [2013-08-10 15:53:38] 999*2^1250352-1 is not prime. Res64: 90CA7D8AA027C86D Time : 0.0 sec. user=mdettweiler [2013-08-10 16:07:18] 615*2^1250353-1 is not prime. Res64: AE8281E6D1767B21 Time : 0.0 sec. user=mdettweiler [2013-08-10 16:07:19] 651*2^1250353-1 is not prime. Res64: 9CCB4A773817BA8F Time : 0.0 sec. user=mdettweiler [2013-08-10 16:09:22] 807*2^1250353-1 is not prime. Res64: BD82CE9231DD69C1 Time : 0.0 sec. user=mdettweiler [2013-08-10 16:09:23] 817*2^1250353-1 is not prime. Res64: 3DD52FA0C0C4C34E Time : 0.0 sec. user=mdettweiler [2013-08-10 16:10:41] 847*2^1250353-1 is not prime. Res64: 48CBDFBE836A9F81 Time : 0.0 sec. user=mdettweiler [2013-08-10 16:10:42] 885*2^1250353-1 is not prime. Res64: 7D4FB990F611117B Time : 0.0 sec. user=mdettweiler [2013-08-10 16:13:41] 615*2^1250354-1 is not prime. Res64: 5C276B6ABE8E76CE Time : 0.0 sec. user=mdettweiler [2013-08-10 16:13:41] 623*2^1250354-1 is not prime. Res64: DA84369AA4452094 Time : 0.0 sec. user=mdettweiler [2013-08-10 16:28:17] 687*2^1250354-1 is not prime. Res64: E2B4EC344421198C Time : 0.0 sec. user=mdettweiler [2013-08-10 16:28:18] 983*2^1250354-1 is not prime. Res64: EEB4705C098A1E28 Time : 0.0 sec. user=mdettweiler [2013-08-10 16:30:15] 995*2^1250354-1 is not prime. Res64: A504887D738FE11F Time : 0.0 sec. user=mdettweiler [2013-08-10 16:30:16] 651*2^1250355-1 is not prime. Res64: 87B6E9F22106ACBB Time : 0.0 sec. user=mdettweiler [2013-08-10 16:30:30] 679*2^1250355-1 is not prime. Res64: B12BEEF7CBB46DED Time : 0.0 sec. user=mdettweiler [2013-08-10 16:30:30] 723*2^1250355-1 is not prime. Res64: 7E8924A2D4A75290 Time : 0.0 sec. user=mdettweiler [2013-08-10 16:33:24] 789*2^1250355-1 is not prime. Res64: FB163059AF64556D Time : 0.0 sec. user=mdettweiler [2013-08-10 16:33:24] 823*2^1250355-1 is not prime. Res64: 3580F8782635020A Time : 0.0 sec. user=mdettweiler [2013-08-10 16:47:56] 825*2^1250355-1 is not prime. Res64: D893626A40555B8B Time : 0.0 sec. user=mdettweiler [2013-08-10 16:47:57] 859*2^1250355-1 is not prime. Res64: 1190E1A563859D7F Time : 0.0 sec. user=mdettweiler [2013-08-10 16:49:59] 623*2^1250356-1 is not prime. Res64: 221A5C54F82459EF Time : 0.0 sec. user=mdettweiler [2013-08-10 16:50:00] 759*2^1250356-1 is not prime. Res64: E69A8D1EE4B6D8BE Time : 0.0 sec. user=mdettweiler [2013-08-10 16:50:19] 857*2^1250356-1 is not prime. Res64: 6E1BD28B2A7EDB42 Time : 0.0 sec. user=mdettweiler [2013-08-10 16:50:20] 873*2^1250356-1 is not prime. Res64: 18DC20CB675B38AF Time : 0.0 sec. user=mdettweiler [2013-08-10 16:53:58] 989*2^1250356-1 is not prime. Res64: 5448710B9712C665 Time : 0.0 sec. user=mdettweiler [2013-08-10 16:53:59] 607*2^1250357-1 is not prime. Res64: DF8389DBBEB2810D Time : 0.0 sec. user=mdettweiler [2013-08-10 17:07:36] 655*2^1250357-1 is not prime. Res64: 0417523D0C3A086A Time : 0.0 sec. user=mdettweiler [2013-08-10 17:07:37] 697*2^1250357-1 is not prime. Res64: 7F866897B8CC3448 Time : 0.0 sec. user=mdettweiler [2013-08-10 17:09:36] 865*2^1250357-1 is not prime. Res64: B986304AAFAB394A Time : 0.0 sec. user=mdettweiler [2013-08-10 17:09:37] 885*2^1250357-1 is not prime. Res64: 4128CCE61C9A7D96 Time : 0.0 sec. user=mdettweiler [2013-08-10 17:11:50] 931*2^1250357-1 is not prime. Res64: 861B0FC36A4CB44D Time : 0.0 sec. user=mdettweiler [2013-08-10 17:11:50] 979*2^1250357-1 is not prime. Res64: A2D513CF4DF488BF Time : 0.0 sec. user=mdettweiler [2013-08-10 17:13:46] 621*2^1250358-1 is not prime. Res64: 87A97A9D3674C089 Time : 0.0 sec. user=mdettweiler [2013-08-10 17:13:46] 641*2^1250358-1 is not prime. Res64: 297DF3D1FC31CAC1 Time : 0.0 sec. user=mdettweiler [2013-08-10 17:27:15] 671*2^1250358-1 is not prime. Res64: 03FAF93EC086A751 Time : 0.0 sec. user=mdettweiler [2013-08-10 17:27:16] 797*2^1250358-1 is not prime. Res64: 3CB8550C95A4078A Time : 0.0 sec. user=mdettweiler [2013-08-10 17:29:19] 863*2^1250358-1 is not prime. Res64: D74771363DC121EE Time : 0.0 sec. user=mdettweiler [2013-08-10 17:29:19] 867*2^1250358-1 is not prime. Res64: 0051029AD1BE7819 Time : 0.0 sec. user=mdettweiler [2013-08-10 17:31:37] 603*2^1250359-1 is not prime. Res64: 3939637BF1BC2077 Time : 0.0 sec. user=mdettweiler [2013-08-10 17:31:37] 619*2^1250359-1 is not prime. Res64: 55954856139A4ACD Time : 0.0 sec. user=mdettweiler [2013-08-10 17:33:23] 633*2^1250359-1 is not prime. Res64: 63CCA471F44D6662 Time : 0.0 sec. user=mdettweiler [2013-08-10 17:33:23] 649*2^1250359-1 is not prime. Res64: 3CCB62CADCD11B6E Time : 0.0 sec. user=mdettweiler [2013-08-10 17:46:53] 663*2^1250359-1 is not prime. Res64: 2BEFFA7B0BDD1712 Time : 0.0 sec. user=mdettweiler [2013-08-10 17:46:53] 729*2^1250359-1 is not prime. Res64: D5652FFCD2883B17 Time : 0.0 sec. user=mdettweiler [2013-08-10 17:49:02] 841*2^1250359-1 is not prime. Res64: D6493F85F6D26A83 Time : 0.0 sec. user=mdettweiler [2013-08-10 17:49:02] 603*2^1250360-1 is not prime. Res64: DB4D313F98644590 Time : 0.0 sec. user=mdettweiler [2013-08-10 17:51:23] 645*2^1250360-1 is not prime. Res64: 47FBAB0CACBD965F Time : 0.0 sec. user=mdettweiler [2013-08-10 17:51:23] 773*2^1250360-1 is not prime. Res64: 3484F4E20D11A027 Time : 0.0 sec. user=mdettweiler [2013-08-10 17:53:00] 785*2^1250360-1 is not prime. Res64: 8C69A9E1216C515A Time : 0.0 sec. user=mdettweiler [2013-08-10 17:53:01] 899*2^1250360-1 is not prime. Res64: DEE1C60D51DEAA2B Time : 0.0 sec. user=mdettweiler [2013-08-10 18:07:28] 983*2^1250360-1 is not prime. Res64: 27A253CD4C9D1009 Time : 0.0 sec. user=mdettweiler [2013-08-10 18:07:29] 625*2^1250361-1 is not prime. Res64: 47C1E9553BEDB2DE Time : 0.0 sec. user=mdettweiler [2013-08-10 18:08:45] 639*2^1250361-1 is not prime. Res64: C7F4C1A77F672E6E Time : 0.0 sec. user=mdettweiler [2013-08-10 18:08:46] 717*2^1250361-1 is not prime. Res64: C81287450BA8F14B Time : 0.0 sec. user=mdettweiler [2013-08-10 18:11:08] 747*2^1250361-1 is not prime. Res64: BC62FA6E7F2C6783 Time : 0.0 sec. user=mdettweiler [2013-08-10 18:11:09] 817*2^1250361-1 is not prime. Res64: 6BD5669A41230548 Time : 0.0 sec. user=mdettweiler [2013-08-10 18:12:44] 723*2^1250362-1 is not prime. Res64: F2DA923A5E6CC4ED Time : 0.0 sec. user=mdettweiler [2013-08-10 18:12:44] 813*2^1250362-1 is not prime. Res64: 2C5EBA8093AAAE4E Time : 0.0 sec. user=mdettweiler [2013-08-10 18:28:31] 663*2^1250363-1 is not prime. Res64: 6CF1304BCAB1C944 Time : 0.0 sec. user=mdettweiler [2013-08-10 18:28:32] 685*2^1250363-1 is not prime. Res64: 22CEC8A9FDA8B535 Time : 0.0 sec. user=mdettweiler [2013-08-10 18:29:00] 951*2^1250362-1 is not prime. Res64: E03D6D6E1E9E609C Time : 0.0 sec. user=mdettweiler [2013-08-10 18:29:00] 987*2^1250362-1 is not prime. Res64: 4324C11BA9ACB167 Time : 0.0 sec. user=mdettweiler [2013-08-10 18:30:58] 745*2^1250363-1 is not prime. Res64: 75A6EE7C70D88AD2 Time : 0.0 sec. user=mdettweiler [2013-08-10 18:30:58] 805*2^1250363-1 is not prime. Res64: 228B479560841114 Time : 0.0 sec. user=mdettweiler [2013-08-10 18:32:25] 889*2^1250363-1 is not prime. Res64: 9D38B820E6E8628D Time : 0.0 sec. user=mdettweiler [2013-08-10 18:32:25] 707*2^1250364-1 is not prime. Res64: 20B39826C5FD08D5 Time : 0.0 sec. user=mdettweiler [2013-08-10 18:48:15] 765*2^1250364-1 is not prime. Res64: FB155F17FE6EF7BB Time : 0.0 sec. user=mdettweiler [2013-08-10 18:48:16] 789*2^1250364-1 is not prime. Res64: 98CC9066A3B7912A Time : 0.0 sec. user=mdettweiler [2013-08-10 18:48:43] 837*2^1250364-1 is not prime. Res64: 6E7EFCFF9AB58748 Time : 0.0 sec. user=mdettweiler [2013-08-10 18:48:43] 893*2^1250364-1 is not prime. Res64: E097F1266E2E1A5A Time : 0.0 sec. user=mdettweiler [2013-08-10 18:51:37] 903*2^1250364-1 is not prime. Res64: 26947B44C9AB74BD Time : 0.0 sec. user=mdettweiler [2013-08-10 18:51:37] 923*2^1250364-1 is not prime. Res64: 4683A6443632C032 Time : 0.0 sec. user=mdettweiler [2013-08-10 18:53:02] 959*2^1250364-1 is not prime. Res64: B9D1C658680442A8 Time : 0.0 sec. user=mdettweiler [2013-08-10 18:53:02] 609*2^1250365-1 is not prime. Res64: B6C4E38699573086 Time : 0.0 sec. user=mdettweiler [2013-08-10 19:07:59] 651*2^1250365-1 is not prime. Res64: 1F7EDB9F9F7A1A58 Time : 0.0 sec. user=mdettweiler [2013-08-10 19:08:00] 667*2^1250365-1 is not prime. Res64: 8F6975BA14947B13 Time : 0.0 sec. user=mdettweiler [2013-08-10 19:08:23] 757*2^1250365-1 is not prime. Res64: 0D5D05B1CE1777FB Time : 0.0 sec. user=mdettweiler [2013-08-10 19:08:24] 775*2^1250365-1 is not prime. Res64: BDFD7AD66FAA27B7 Time : 0.0 sec. user=mdettweiler [2013-08-10 19:11:19] 855*2^1250365-1 is not prime. Res64: EEA666B0617FC96D Time : 0.0 sec. user=mdettweiler [2013-08-10 19:11:20] 861*2^1250365-1 is not prime. Res64: 702090738F225480 Time : 0.0 sec. user=mdettweiler [2013-08-10 19:13:39] 895*2^1250365-1 is not prime. Res64: D10708EDAD5F2F3E Time : 0.0 sec. user=mdettweiler [2013-08-10 19:13:40] 919*2^1250365-1 is not prime. Res64: 6AEFD66B2FFD0944 Time : 0.0 sec. user=mdettweiler [2013-08-10 19:28:08] 615*2^1250366-1 is not prime. Res64: 203D51FD48BE0515 Time : 0.0 sec. user=mdettweiler [2013-08-10 19:28:09] 767*2^1250366-1 is not prime. Res64: 35A65FF9E9EB4CC9 Time : 0.0 sec. user=mdettweiler [2013-08-10 19:29:36] 937*2^1250365-1 is not prime. Res64: 86AAC723832F371F Time : 0.0 sec. user=mdettweiler [2013-08-10 19:29:36] 985*2^1250365-1 is not prime. Res64: 7C43B0C42E290CC0 Time : 0.0 sec. user=mdettweiler [2013-08-10 19:31:03] 773*2^1250366-1 is not prime. Res64: 0CBFB27E43E6A5C1 Time : 0.0 sec. user=mdettweiler [2013-08-10 19:31:04] 831*2^1250366-1 is not prime. Res64: 5D98C7DE06D8985A Time : 0.0 sec. user=mdettweiler [2013-08-10 19:35:17] 911*2^1250366-1 is not prime. Res64: 4460C5797B8FDDB8 Time : 0.0 sec. user=mdettweiler [2013-08-10 19:35:17] 921*2^1250366-1 is not prime. Res64: 34F989D842995D08 Time : 0.0 sec. user=mdettweiler [2013-08-10 19:48:49] 981*2^1250366-1 is not prime. Res64: BFEF86E680DE6CEA Time : 0.0 sec. user=mdettweiler [2013-08-10 19:48:49] 735*2^1250367-1 is not prime. Res64: B2565764A0D66A75 Time : 0.0 sec. user=mdettweiler [2013-08-10 19:49:21] 861*2^1250367-1 is not prime. Res64: E4B179B1C5892569 Time : 0.0 sec. user=mdettweiler [2013-08-10 19:49:22] 871*2^1250367-1 is not prime. Res64: 70455AF978680C97 Time : 0.0 sec. user=mdettweiler [2013-08-10 19:51:46] 961*2^1250367-1 is not prime. Res64: 850AE84E1F04CC7C Time : 0.0 sec. user=mdettweiler [2013-08-10 19:51:46] 605*2^1250368-1 is not prime. Res64: 79DE2311B66227E6 Time : 0.0 sec. user=mdettweiler [2013-08-10 19:54:57] 623*2^1250368-1 is not prime. Res64: 23FE932B00C2298F Time : 0.0 sec. user=mdettweiler [2013-08-10 19:54:58] 743*2^1250368-1 is not prime. Res64: 94FCF094ED0538A7 Time : 0.0 sec. user=mdettweiler [2013-08-10 20:08:36] 777*2^1250368-1 is not prime. Res64: F2DD74142E2738D3 Time : 0.0 sec. user=mdettweiler [2013-08-10 20:08:37] 843*2^1250368-1 is not prime. Res64: 7CC9A151A9FE85FF Time : 0.0 sec. user=mdettweiler [2013-08-10 20:09:08] 869*2^1250368-1 is not prime. Res64: BC8145DEBBCBDEFF Time : 0.0 sec. user=mdettweiler [2013-08-10 20:09:09] 887*2^1250368-1 is not prime. Res64: 388AA415AF0C1528 Time : 0.0 sec. user=mdettweiler [2013-08-10 20:12:27] 915*2^1250368-1 is not prime. Res64: 1C401FA363956F68 Time : 0.0 sec. user=mdettweiler [2013-08-10 20:12:27] 615*2^1250369-1 is not prime. Res64: 34DC05C0781AF3E7 Time : 0.0 sec. user=mdettweiler [2013-08-10 20:14:44] 631*2^1250369-1 is not prime. Res64: CC9F604BF29FC544 Time : 0.0 sec. user=mdettweiler [2013-08-10 20:14:45] 649*2^1250369-1 is not prime. Res64: C8AE50802E21CB59 Time : 0.0 sec. user=mdettweiler [2013-08-10 20:28:27] 691*2^1250369-1 is not prime. Res64: B00BB7A00C752814 Time : 0.0 sec. user=mdettweiler [2013-08-10 20:28:28] 759*2^1250369-1 is not prime. Res64: 4607BBDA7A2737CE Time : 0.0 sec. user=mdettweiler [2013-08-10 20:29:54] 897*2^1250369-1 is not prime. Res64: 7222D1A507948CD7 Time : 0.0 sec. user=mdettweiler [2013-08-10 20:29:54] 969*2^1250369-1 is not prime. Res64: E3122B2087C85F5A Time : 0.0 sec. user=mdettweiler [2013-08-10 20:33:12] 627*2^1250370-1 is not prime. Res64: 8795647B27A7066A Time : 0.0 sec. user=mdettweiler [2013-08-10 20:33:13] 917*2^1250370-1 is not prime. Res64: 93B8BDA4839E5169 Time : 0.0 sec. user=mdettweiler [2013-08-10 20:34:29] 745*2^1250371-1 is not prime. Res64: A19A6EEF63CAD2C1 Time : 0.0 sec. user=mdettweiler [2013-08-10 20:34:30] 813*2^1250371-1 is not prime. Res64: F8B14BB2D5262398 Time : 0.0 sec. user=mdettweiler [2013-08-10 20:48:27] 829*2^1250371-1 is not prime. Res64: 5A365F28689AB459 Time : 0.0 sec. user=mdettweiler [2013-08-10 20:48:27] 855*2^1250371-1 is not prime. Res64: 59444FCAA684CA2C Time : 0.0 sec. user=mdettweiler [2013-08-10 20:50:38] 889*2^1250371-1 is not prime. Res64: 8DBDBF7FA66111B0 Time : 0.0 sec. user=mdettweiler [2013-08-10 20:50:38] 925*2^1250371-1 is not prime. Res64: 011D00DC49CA70FB Time : 0.0 sec. user=mdettweiler [2013-08-10 20:53:57] 975*2^1250371-1 is not prime. Res64: 73ADA8A7C87AEE4E Time : 0.0 sec. user=mdettweiler [2013-08-10 20:53:57] 617*2^1250372-1 is not prime. Res64: 4AD6957C89FFD0D7 Time : 0.0 sec. user=mdettweiler [2013-08-10 20:54:15] 813*2^1250372-1 is not prime. Res64: 06E0DB38FB8AEC3E Time : 0.0 sec. user=mdettweiler [2013-08-10 20:54:15] 867*2^1250372-1 is not prime. Res64: E8B6C4A793E0529A Time : 0.0 sec. user=mdettweiler [2013-08-10 21:09:09] 999*2^1250372-1 is not prime. Res64: 7226AB7E65A47053 Time : 0.0 sec. user=mdettweiler [2013-08-10 21:09:09] 609*2^1250373-1 is not prime. Res64: BC2CC787D36022A5 Time : 0.0 sec. user=mdettweiler [2013-08-10 21:10:28] 657*2^1250373-1 is not prime. Res64: 7F35B12721887BF7 Time : 0.0 sec. user=mdettweiler [2013-08-10 21:10:28] 679*2^1250373-1 is not prime. Res64: B5885BABCDB99161 Time : 0.0 sec. user=mdettweiler [2013-08-10 21:13:49] 859*2^1250373-1 is not prime. Res64: 2564166B467F9C9A Time : 0.0 sec. user=mdettweiler [2013-08-10 21:13:49] 861*2^1250373-1 is not prime. Res64: F91246DC2D204A00 Time : 0.0 sec. user=mdettweiler [2013-08-10 21:14:56] 961*2^1250373-1 is not prime. Res64: 773FEB84685D4CF9 Time : 0.0 sec. user=mdettweiler [2013-08-10 21:14:58] 705*2^1250374-1 is not prime. Res64: F68203526BAB2442 Time : 0.0 sec. user=mdettweiler [2013-08-10 21:29:01] 731*2^1250374-1 is not prime. Res64: 906FE70D07BF0943 Time : 0.0 sec. user=mdettweiler [2013-08-10 21:29:02] 741*2^1250374-1 is not prime. Res64: 4C74F39B0CC4CD85 Time : 0.0 sec. user=mdettweiler [2013-08-10 21:30:17] 821*2^1250374-1 is not prime. Res64: 2FEBA096132913A7 Time : 0.0 sec. user=mdettweiler [2013-08-10 21:30:17] 827*2^1250374-1 is not prime. Res64: D86A557CF808B01A Time : 0.0 sec. user=mdettweiler [2013-08-10 21:34:41] 947*2^1250374-1 is not prime. Res64: BCBC9FECEA5F841E Time : 0.0 sec. user=mdettweiler [2013-08-10 21:34:41] 609*2^1250375-1 is not prime. Res64: BFEEEC7CC00B0C7E Time : 0.0 sec. user=mdettweiler [2013-08-10 21:34:45] 705*2^1250375-1 is not prime. Res64: 7F792B909153755E Time : 0.0 sec. user=mdettweiler [2013-08-10 21:34:45] 775*2^1250375-1 is not prime. Res64: 3B5DB19A6FF6A95F Time : 0.0 sec. user=mdettweiler [2013-08-10 21:48:50] 783*2^1250375-1 is not prime. Res64: 0174B0A691D2E4C3 Time : 0.0 sec. user=mdettweiler [2013-08-10 21:48:50] 799*2^1250375-1 is not prime. Res64: F57934737EE2AA3C Time : 0.0 sec. user=mdettweiler [2013-08-10 21:51:02] 861*2^1250375-1 is not prime. Res64: 63F2150B8BD85B49 Time : 0.0 sec. user=mdettweiler [2013-08-10 21:51:03] 943*2^1250375-1 is not prime. Res64: 763E52DDCB93782B Time : 0.0 sec. user=mdettweiler [2013-08-10 21:54:35] 737*2^1250376-1 is not prime. Res64: A47CE9641C694A58 Time : 0.0 sec. user=mdettweiler [2013-08-10 21:54:35] 815*2^1250376-1 is not prime. Res64: 9FFA54A6A0B179AD Time : 0.0 sec. user=mdettweiler [2013-08-10 21:56:29] 963*2^1250375-1 is not prime. Res64: 99D082D8676BA1CD Time : 0.0 sec. user=mdettweiler [2013-08-10 21:56:29] 999*2^1250375-1 is not prime. Res64: AB6D0BC48DD61913 Time : 0.0 sec. user=mdettweiler [2013-08-10 22:09:37] 903*2^1250376-1 is not prime. Res64: BB82AB064556D8D7 Time : 0.0 sec. user=mdettweiler [2013-08-10 22:09:38] 947*2^1250376-1 is not prime. Res64: 8F5BBA089FCE6A7F Time : 0.0 sec. user=mdettweiler [2013-08-10 22:10:55] 675*2^1250377-1 is not prime. Res64: 860E88909E75BBC1 Time : 0.0 sec. user=mdettweiler [2013-08-10 22:10:56] 685*2^1250377-1 is not prime. Res64: 254D337997CC955C Time : 0.0 sec. user=mdettweiler [2013-08-10 22:14:16] 687*2^1250377-1 is not prime. Res64: 9EF87E0D87541CBC Time : 0.0 sec. user=mdettweiler [2013-08-10 22:14:16] 741*2^1250377-1 is not prime. Res64: DD428F61990C1EA7 Time : 0.0 sec. user=mdettweiler [2013-08-10 22:16:19] 747*2^1250377-1 is not prime. Res64: DB2F99321B1439B5 Time : 0.0 sec. user=mdettweiler [2013-08-10 22:16:19] 847*2^1250377-1 is not prime. Res64: 14F287D6F699454C Time : 0.0 sec. user=mdettweiler [2013-08-10 22:29:27] 895*2^1250377-1 is not prime. Res64: 35EF8A13E79F0FA1 Time : 0.0 sec. user=mdettweiler [2013-08-10 22:29:27] 909*2^1250377-1 is not prime. Res64: 03D2EF04EBE0A38F Time : 0.0 sec. user=mdettweiler [2013-08-10 22:30:45] 711*2^1250378-1 is not prime. Res64: C8FE131A4B68213A Time : 0.0 sec. user=mdettweiler [2013-08-10 22:30:45] 731*2^1250378-1 is not prime. Res64: 640A0D4E8139148F Time : 0.0 sec. user=mdettweiler [2013-08-10 22:34:03] 791*2^1250378-1 is not prime. Res64: 7A1A8CDC6241BA9E Time : 0.0 sec. user=mdettweiler [2013-08-10 22:34:04] 867*2^1250378-1 is not prime. Res64: 70011926993737F5 Time : 0.0 sec. user=mdettweiler [2013-08-10 22:38:03] 923*2^1250378-1 is not prime. Res64: B4307A591229ABAB Time : 0.0 sec. user=mdettweiler [2013-08-10 22:38:03] 945*2^1250378-1 is not prime. Res64: BFF97E46EFF36EB8 Time : 0.0 sec. user=mdettweiler [2013-08-10 22:50:34] 615*2^1250379-1 is not prime. Res64: EFD516011E116D88 Time : 0.0 sec. user=mdettweiler [2013-08-10 22:50:35] 793*2^1250379-1 is not prime. Res64: E499E1F89ED980A8 Time : 0.0 sec. user=mdettweiler [2013-08-10 22:51:12] 963*2^1250378-1 is not prime. Res64: 9FB401BDDF70AD11 Time : 0.0 sec. user=mdettweiler [2013-08-10 22:51:12] 995*2^1250378-1 is not prime. Res64: 5F4261BE9C246534 Time : 0.0 sec. user=mdettweiler [2013-08-10 22:53:51] 843*2^1250379-1 is not prime. Res64: C3E5EE6A6DA14572 Time : 0.0 sec. user=mdettweiler [2013-08-10 22:53:51] 895*2^1250379-1 is not prime. Res64: EA9C68DE153BDE64 Time : 0.0 sec. user=mdettweiler [2013-08-10 22:58:47] 943*2^1250379-1 is not prime. Res64: 5B94047FB07E0177 Time : 0.0 sec. user=mdettweiler [2013-08-10 22:58:48] 609*2^1250380-1 is not prime. Res64: E26DE892BCB3DEA7 Time : 0.0 sec. user=mdettweiler [2013-08-10 23:10:22] 615*2^1250380-1 is not prime. Res64: 770C767909021CB5 Time : 0.0 sec. user=mdettweiler [2013-08-10 23:10:23] 629*2^1250380-1 is not prime. Res64: B6DD85BE76FC5BA1 Time : 0.0 sec. user=mdettweiler [2013-08-10 23:10:56] 677*2^1250380-1 is not prime. Res64: 4A8BBA912C5AC9B3 Time : 0.0 sec. user=mdettweiler [2013-08-10 23:10:57] 687*2^1250380-1 is not prime. Res64: 477A9080AD5B588D Time : 0.0 sec. user=mdettweiler [2013-08-10 23:14:37] 873*2^1250380-1 is not prime. Res64: 7690F37F6DCF1284 Time : 0.0 sec. user=mdettweiler [2013-08-10 23:14:37] 927*2^1250380-1 is not prime. Res64: 2BFC8BCA21E43963 Time : 0.0 sec. user=mdettweiler [2013-08-10 23:18:38] 615*2^1250381-1 is not prime. Res64: 8AF94C9C85993D0B Time : 0.0 sec. user=mdettweiler [2013-08-10 23:18:38] 627*2^1250381-1 is not prime. Res64: 1CD8B071C4CCC164 Time : 0.0 sec. user=mdettweiler [2013-08-10 23:30:16] 745*2^1250381-1 is not prime. Res64: 33BB195D5345DD8C Time : 0.0 sec. user=mdettweiler [2013-08-10 23:30:16] 799*2^1250381-1 is not prime. Res64: 8177352FFC442E48 Time : 0.0 sec. user=mdettweiler [2013-08-10 23:31:36] 825*2^1250381-1 is not prime. Res64: 493C4A8A28942962 Time : 0.0 sec. user=mdettweiler [2013-08-10 23:31:36] 957*2^1250381-1 is not prime. Res64: DAA0A8B867C84A8C Time : 0.0 sec. user=mdettweiler [2013-08-10 23:34:22] 611*2^1250382-1 is not prime. Res64: 0C8159F657CBADE1 Time : 0.0 sec. user=mdettweiler [2013-08-10 23:34:22] 621*2^1250382-1 is not prime. Res64: 04A397C13B7C9919 Time : 0.0 sec. user=mdettweiler [2013-08-10 23:38:30] 635*2^1250382-1 is not prime. Res64: F7E6736632852BF2 Time : 0.0 sec. user=mdettweiler [2013-08-10 23:38:30] 797*2^1250382-1 is not prime. Res64: 1CB3E5DE805EB844 Time : 0.0 sec. user=mdettweiler [2013-08-10 23:50:02] 833*2^1250382-1 is not prime. Res64: 6CAAAA440ABEFC4B Time : 0.0 sec. user=mdettweiler [2013-08-10 23:50:02] 891*2^1250382-1 is not prime. Res64: B3CF524D36112A7A Time : 0.0 sec. user=mdettweiler [2013-08-10 23:51:16] 723*2^1250383-1 is not prime. Res64: CA395D8C1813F694 Time : 0.0 sec. user=mdettweiler [2013-08-10 23:51:16] 763*2^1250383-1 is not prime. Res64: 1140EB33DC0FE4C1 Time : 0.0 sec. user=mdettweiler [2013-08-10 23:55:10] 895*2^1250383-1 is not prime. Res64: 8F2A0A05789CFB35 Time : 0.0 sec. user=mdettweiler [2013-08-10 23:55:11] 919*2^1250383-1 is not prime. Res64: A82C01117EC3A410 Time : 0.0 sec. user=mdettweiler [2013-08-11 00:00:13] 939*2^1250383-1 is not prime. Res64: 6EF3391B9BE339F1 Time : 0.0 sec. user=mdettweiler [2013-08-11 00:00:13] 973*2^1250383-1 is not prime. Res64: FC48C984EC451BCA Time : 0.0 sec.