\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ consclass 0.110000 0 0.113057 0.000000 0.000000 0.000000 \\ connectedbase 0.000000 18 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 18 BLOCK 1 id4832 id4844 id4856 id4868 id4880 id4892 id4904 id4916 id4928 id4940 id4952 id4964 id4976 id4988 id5000 id5012 id5024 id5036 id5048 id5060 id5072 id5084 id5096 id5108 id5120 id5132 id5144 id5156 id5168 id5180 id5192 id5204 id5216 id5228 id5240 id5252 id5264 id5276 id5288 id6344 id5300 id5312 id5324 id5336 id5348 id5360 id5372 id5384 id5396 id5408 id5420 id6152 id5432 id5444 id5456 id5468 id5480 id5492 id5504 id5516 id5528 id5540 id5552 id5564 id5576 id5588 id5600 id5612 id5624 id5636 id5648 id6188 id5660 id5672 id5684 id5696 id5708 id5720 id5732 id6200 id6380 id5744 id5756 id5768 id5780 id5792 id5804 id5816 id6212 id5828 id5840 id5852 id5864 id5876 id6224 id6392 id5900 id5912 id5924 id5936 id6236 id5960 id5972 id5984 id6416 id6284 id6032 id6044 id6296 id6068 id6320 id6092 id6104 id6116 id6332 id4388 id4400 id4412 id6128 id4604 id4628 id4640 id4652 id4664 id4676 id4688 id4700 id4712 id4724 id4736 id4748 id4760 id4772 id4784 id4796 id4808 id4820 BLOCK 2 id4833 id4845 id4857 id4869 id4881 id4893 id4905 id4917 id4929 id4941 id4953 id4965 id4977 id4989 id5001 id5013 id5025 id5037 id5049 id5061 id5073 id5085 id5097 id5109 id5121 id5133 id5145 id5157 id5169 id5181 id5193 id5205 id5217 id5229 id5241 id5253 id5265 id5277 id5289 id5301 id5313 id5325 id5337 id5349 id6345 id5361 id5373 id5385 id5397 id5409 id5421 id5433 id6153 id5445 id5457 id5469 id5481 id5493 id5505 id5517 id5529 id5541 id5553 id5565 id5577 id5589 id6177 id5601 id5613 id5625 id5637 id5649 id5661 id6189 id5673 id5685 id5697 id5709 id5721 id5733 id6201 id5745 id5757 id6381 id5769 id5781 id5793 id5805 id5817 id6213 id5829 id5841 id5853 id5865 id5877 id5889 id6393 id5901 id5913 id5925 id5937 id6237 id5961 id5973 id6417 id6285 id6033 id6045 id6069 id6321 id6093 id6105 id6117 id4389 id4401 id4413 id6333 id6129 id4605 id4629 id4641 id4653 id4665 id4677 id4689 id4701 id4713 id4725 id4737 id4749 id4761 id4773 id4785 id4797 id4809 id4821 BLOCK 3 id4834 id4846 id4858 id4870 id4882 id4894 id4906 id4918 id4930 id4942 id4954 id4966 id4978 id4990 id5002 id5014 id5026 id5038 id5050 id5062 id5074 id5086 id5098 id5110 id5122 id5134 id5146 id5158 id5170 id5182 id5194 id5206 id5218 id5230 id5242 id5254 id5266 id5278 id5290 id5302 id5314 id5326 id5338 id5350 id5362 id6142 id5374 id5398 id5410 id5422 id5446 id5458 id5470 id5482 id6358 id6166 id5506 id5518 id5530 id5554 id5566 id5578 id5590 id5602 id5614 id5626 id5662 id5674 id5686 id5698 id5710 id5722 id5746 id5758 id5770 id5782 id5794 id5806 id5818 id5842 id5854 id5866 id5878 id5890 id5914 id5926 id5950 id5986 id6418 id5998 id6274 id6070 id6094 id6322 id4390 id4402 id4414 id4606 id4630 id4642 id4654 id4666 id4678 id4690 id4702 id4714 id4726 id4738 id4750 id4762 id4774 id4786 id4798 id4810 id4822 BLOCK 4 id4835 id4847 id4859 id4871 id4883 id4895 id4907 id4919 id4931 id4943 id4955 id4967 id4979 id4991 id5003 id5015 id5027 id5039 id5051 id5063 id5075 id5087 id5099 id5111 id5123 id5135 id5147 id5159 id5171 id5183 id5195 id5207 id5219 id5231 id5243 id5255 id5267 id5279 id5291 id5303 id5315 id5327 id5339 id5351 id5363 id6347 id5375 id5387 id5399 id5411 id5423 id5435 id6155 id5447 id5459 id5471 id5483 id5495 id5507 id5519 id5531 id5543 id5555 id5567 id5579 id5591 id5603 id6179 id5615 id5627 id5639 id5651 id5663 id5675 id6191 id5687 id5699 id5711 id5723 id5735 id5747 id6203 id5759 id5771 id6383 id5783 id5795 id5807 id5819 id5831 id5843 id5855 id5867 id5879 id5891 id5903 id6395 id5915 id5927 id5939 id6239 id5963 id5975 id5999 id6419 id6275 id6287 id6035 id6047 id6071 id6095 id6323 id6107 id6119 id4391 id4403 id4415 id6335 id6131 id4607 id4631 id4643 id4655 id4667 id4679 id4691 id4703 id4715 id4727 id4739 id4751 id4763 id4775 id4787 id4799 id4811 id4823 BLOCK 5 id4836 id4848 id4860 id4872 id4884 id4896 id4908 id4920 id4932 id4944 id4956 id4968 id4980 id4992 id5004 id5016 id5028 id5040 id5052 id5064 id5076 id5088 id5100 id5112 id5124 id5136 id5148 id5160 id5172 id5184 id5196 id5208 id5220 id5232 id5244 id5256 id5268 id5280 id5292 id5304 id5316 id5328 id5340 id5352 id5364 id5376 id5388 id6348 id5400 id5412 id5424 id5436 id5448 id6156 id5460 id5472 id5484 id5496 id5508 id5520 id5532 id5544 id5556 id5568 id5580 id5592 id5604 id5616 id5628 id5640 id5652 id5664 id5676 id6192 id5688 id5700 id5712 id5724 id5736 id5748 id5760 id6204 id5772 id5784 id6384 id5796 id5808 id5820 id5832 id6216 id5844 id5856 id5868 id5880 id6228 id5904 id6396 id5916 id5928 id5940 id6240 id5964 id5976 id5988 id6420 id6288 id6036 id6048 id6300 id6072 id6096 id6324 id6108 id6120 id4392 id4404 id4416 id6336 id6132 id4608 id4632 id4644 id4656 id4668 id4680 id4692 id4704 id4716 id4728 id4740 id4752 id4764 id4776 id4788 id4800 id4812 id4824 BLOCK 6 id4837 id4849 id4861 id4873 id4885 id4897 id4909 id4921 id4933 id4945 id4957 id4969 id4981 id4993 id5005 id5017 id5029 id5041 id5053 id5065 id5077 id5089 id5101 id5113 id5125 id5137 id5149 id5161 id5173 id5185 id5197 id5209 id5221 id5233 id5245 id5257 id5269 id5281 id5293 id5305 id5317 id5329 id5341 id5353 id5365 id5377 id6145 id5401 id5413 id5425 id5449 id5461 id5473 id5485 id5509 id5521 id6169 id5533 id6361 id5557 id5569 id5581 id5593 id5605 id5617 id5629 id5665 id5677 id5689 id5701 id5713 id5725 id5749 id5761 id5773 id5785 id5797 id5809 id5821 id5845 id5857 id5869 id5881 id5893 id5917 id5929 id5953 id5989 id6001 id6421 id6277 id6073 id6097 id6325 id4393 id4405 id4417 id4609 id4633 id4645 id4657 id4669 id4681 id4693 id4705 id4717 id4729 id4741 id4753 id4765 id4777 id4789 id4801 id4813 id4825 BLOCK 7 id4838 id4850 id4862 id4874 id4886 id4898 id4910 id4922 id4934 id4946 id4958 id4970 id4982 id4994 id5006 id5018 id5030 id5042 id5054 id5066 id5078 id5090 id5102 id5114 id5126 id5138 id5150 id5162 id5174 id5186 id5198 id5210 id5222 id5234 id5246 id5258 id5270 id5282 id5294 id5306 id5318 id5330 id5342 id5354 id5366 id5378 id5390 id5402 id6350 id5438 id5450 id5462 id6158 id5486 id5498 id5510 id5534 id5546 id5558 id5570 id5582 id5606 id5618 id5630 id6182 id5642 id5654 id5666 id5690 id5702 id5714 id5726 id5738 id5750 id5762 id5774 id5786 id5810 id6386 id5834 id5846 id5858 id5870 id5882 id5894 id5906 id5918 id6398 id5930 id5966 id5978 id6002 id6422 id6014 id6278 id6026 id6290 id6038 id6050 id6074 id6314 id6098 id6326 id6122 id4394 id4406 id4418 id4610 id4634 id4646 id4658 id4670 id4682 id4694 id4706 id4718 id4730 id4742 id4754 id4766 id4778 id4790 id4802 id4814 id4826 BLOCK 8 id4839 id4851 id4863 id4875 id4887 id4899 id4911 id4923 id4935 id4947 id4959 id4971 id4983 id4995 id5007 id5019 id5031 id5043 id5055 id5067 id5079 id5091 id5103 id5115 id5127 id5139 id5151 id5163 id5175 id5187 id5199 id5211 id5223 id5235 id5247 id5259 id5283 id5295 id5307 id5319 id5331 id5343 id5355 id5379 id5391 id5403 id6351 id5439 id5451 id5463 id6159 id5487 id5499 id5511 id5535 id5547 id5559 id5583 id5631 id6183 id5643 id5655 id5667 id5691 id5715 id5727 id5739 id5751 id5763 id5775 id5787 id5811 id5835 id6387 id5859 id5883 id5895 id5907 id5919 id5931 id6399 id5967 id5979 id6015 id6279 id6027 id6039 id6291 id6051 id6075 id6315 id6099 id6327 id4395 id4407 id4419 id6123 id4611 id4635 id4647 id4659 id4671 id4683 id4695 id4707 id4719 id4731 id4743 id4755 id4767 id4779 id4791 id4803 id4815 id4827 BLOCK 9 id4840 id4852 id4876 id4888 id4900 id4912 id4924 id4936 id4948 id4960 id4972 id4984 id4996 id5008 id5020 id5032 id5044 id5056 id5068 id5080 id5092 id5104 id5116 id5128 id5140 id5152 id5164 id5176 id5188 id5200 id5212 id5224 id5236 id5248 id5260 id5272 id5284 id5296 id5308 id5320 id5332 id5344 id5368 id5380 id5404 id6148 id5416 id5428 id5452 id5464 id5476 id5512 id5536 id6172 id6364 id5560 id5572 id5584 id5608 id5620 id5668 id5692 id5704 id5716 id5752 id5764 id5776 id5800 id5812 id5848 id5860 id5872 id5884 id5896 id5920 id5932 id5956 id6004 id6424 id6280 id6076 id6100 id6328 id4396 id4408 id4420 id4612 id4636 id4648 id4660 id4672 id4684 id4696 id4708 id4720 id4732 id4744 id4756 id4768 id4780 id4792 id4804 id4816 id4828 BLOCK 10 id4841 id4853 id4865 id4877 id4889 id4901 id4913 id4925 id4937 id4949 id4961 id4973 id4985 id4997 id6341 id5009 id5021 id5033 id5045 id5057 id5069 id5081 id5093 id5105 id5117 id5129 id5141 id5153 id5165 id5177 id5189 id5201 id5213 id5225 id5237 id5249 id5261 id5273 id5285 id5297 id5309 id5321 id5333 id5345 id5357 id5381 id5393 id5405 id5417 id5429 id5441 id5453 id6353 id5477 id5489 id5501 id5513 id5525 id5549 id5561 id5573 id5585 id5597 id5609 id5621 id5633 id5645 id5657 id5681 id5705 id6197 id5717 id5729 id5741 id5753 id5777 id5789 id6209 id5801 id5813 id5825 id5837 id5849 id6221 id5873 id5885 id5909 id6233 id5945 id6401 id5969 id6413 id5981 id6257 id5993 id6269 id6293 id6305 id6065 id6089 id6113 id4397 id4409 id4421 id4613 id4637 id4649 id4661 id4673 id4685 id4697 id4709 id4721 id4733 id4745 id4757 id4769 id4781 id4793 id4805 id4817 id4829 BLOCK 11 id4842 id4854 id4866 id4878 id4890 id4902 id4914 id4926 id4938 id4950 id4962 id4974 id4986 id5010 id6342 id5022 id5034 id5046 id5058 id5070 id5082 id5094 id5106 id5118 id5130 id5142 id5154 id5166 id5178 id5190 id5202 id5214 id6138 id5238 id5250 id5262 id5274 id5286 id5310 id5322 id5334 id5346 id5358 id5382 id5394 id5406 id5418 id5430 id5442 id5454 id6354 id5478 id6162 id5490 id5502 id5514 id5526 id5550 id5562 id5574 id5586 id5598 id5610 id5622 id5634 id5646 id5658 id5682 id6378 id5718 id6198 id5730 id5742 id5754 id5778 id5790 id6210 id5802 id5814 id5826 id5838 id5850 id5874 id5886 id6222 id5910 id6234 id5946 id6402 id6246 id5970 id5982 id6258 id5994 id6042 id6294 id6306 id6090 id6114 id4614 id4638 id4650 id4662 id4674 id4686 id4698 id4710 id4722 id4734 id4746 id4758 id4770 id4782 id4794 id4806 id4818 id4830 BLOCK 12 id4843 id4855 id4867 id4879 id4891 id4903 id4915 id4927 id4939 id4951 id4963 id4975 id4987 id4999 id5023 id5035 id5047 id5059 id5071 id5083 id5095 id5107 id5119 id5131 id5143 id5155 id5167 id5179 id5191 id5203 id5215 id5227 id5239 id5251 id5263 id5275 id5287 id5299 id5311 id5323 id5335 id5347 id5359 id5371 id5383 id5395 id5419 id6151 id5431 id5443 id5479 id5503 id5515 id5527 id5539 id5551 id5563 id5575 id5587 id6367 id5599 id5611 id5623 id5635 id5647 id5671 id5683 id5695 id5707 id5731 id5743 id5791 id5803 id5815 id6211 id5827 id5851 id5863 id5875 id5911 id6235 id5935 id5947 id5959 id6259 id6415 id5995 id6271 id6427 id6307 id6067 id6091 id4399 id4411 id4423 id4615 id4639 id4651 id4663 id4675 id4687 id4699 id4711 id4723 id4735 id4747 id4759 id4771 id4783 id4795 id4807 id4819 id4831 BLOCK 13 id7328 id7334 id7340 id7346 id7352 id7358 id7364 id7370 id7376 id7382 id7388 id7394 id4436 id4442 id4448 id4454 id4460 id4466 id4472 id4478 id4484 id4490 id4496 id4502 id4526 id4532 id4538 id4544 id4550 id4556 id4562 id4568 id4574 id4580 id4586 id4592 BLOCK 14 id7329 id7335 id7341 id7347 id7353 id7359 id7365 id7371 id7383 id7389 id4437 id4443 id4449 id4455 id4461 id4467 id4473 id4479 id4491 id4497 id4527 id4533 id4539 id4545 id4551 id4557 id4563 id4569 id4581 id4587 BLOCK 15 id7330 id7336 id7342 id7348 id7354 id7360 id7366 id7372 id7384 id7390 id7396 id4438 id4444 id4450 id4456 id4462 id4468 id4474 id4480 id4492 id4498 id4504 id4528 id4534 id4540 id4546 id4552 id4558 id4564 id4570 id4582 id4588 id4594 BLOCK 16 id7331 id7337 id7343 id7349 id7355 id7361 id7367 id7373 id7379 id7385 id7391 id7397 id4439 id4445 id4451 id4457 id4463 id4469 id4475 id4481 id4487 id4493 id4499 id4505 id4529 id4535 id4541 id4547 id4553 id4559 id4565 id4571 id4577 id4583 id4589 id4595 BLOCK 17 id7332 id7338 id7344 id7350 id7356 id7362 id7368 id7374 id7380 id7386 id7392 id7398 id4440 id4446 id4452 id4458 id4464 id4470 id4476 id4482 id4488 id4494 id4500 id4506 id4530 id4536 id4542 id4548 id4554 id4560 id4566 id4572 id4578 id4584 id4590 id4596 BLOCK 18 id7333 id7339 id7345 id7351 id7357 id7363 id7369 id7375 id7381 id4441 id4447 id4453 id4459 id4465 id4471 id4477 id4483 id4489 id4531 id4537 id4543 id4549 id4555 id4561 id4567 id4573 id4579 MASTERCONSS id7407 id7408 id7409 id7410 id7411 id7412 id7400 id7401 id7402 id4238 id4239 id4240 id4241 id4242 id4243 id4244 id4245 id4246 id4247 id4248 id4249 id4250 id4251 id4252 id4253 id4254 id4255 id4256 id4257 id4258 id4259 id4260 id4261 id4262 id4263 id4264 id4265 id4266 id4267 id4268 id4269 id4270 id4271 id4272 id4273 id4274 id4275 id4276 id4277 id4278 id4279 id4280 id4281 id4282 id4283 id4284 id4285 id4286 id4287 id4288 id4289 id4290 id4291 id4292 id4293 id4294 id4295 id4296 id4297 id4298 id4299 id4300 id4301 id4302 id4303 id4304 id4305 id4306 id4307 id4308 id4309 id4310 id4311 id4312 id4313 id4314 id4315 id4316 id4317 id4318 id4319 id4320 id4321 id4322 id4323 id4324 id4325 id4326 id4327 id4328 id4329 id4330 id4331 id4332 id4333 id4334 id4335 id4336 id4337 id4338 id4339 id4340 id4341 id4342 id4343 id4344 id4345 id4346 id4347 id4348 id4349 id4350 id4351 id4352 id4353 id4354 id4355 id4356 id4357 id4358 id4359 id4360 id4361 id4362 id4363 id4364 id4365 id4366 id4367 id4368 id4369 id4370 id4371 id4372 id4373 id4374 id4375 id4376 id4377 id4378 id4379 id4380 id4381 id4382 id4384 id4385 id4386 id4387 id4398 id4410 id4422 id4424 id4425 id4426 id4427 id4428 id4429 id4430 id4431 id4432 id4433 id4434 id4435 id7403 id4508 id4509 id4510 id4511 id4512 id4513 id4514 id4515 id4516 id4517 id4518 id4519 id4520 id4521 id4522 id4523 id4524 id4525 id7404 id7405 id7406 id4598 id4599 id4600 id4601 id4602 id4603 id4616 id4617 id4618 id4619 id4620 id4621 id4622 id4623 id4624 id4625 id4626 id4627