Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
........
=====================================================================
Generated by BenchKit 2-2979
Executing tool marcie
Input is AirplaneLD-PT-0100, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r209su-blw3-146445824600111
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME AirplaneLD-COL-0100-CTLCardinality-0
FORMULA_NAME AirplaneLD-COL-0100-CTLCardinality-1
FORMULA_NAME AirplaneLD-COL-0100-CTLCardinality-10
FORMULA_NAME AirplaneLD-COL-0100-CTLCardinality-11
FORMULA_NAME AirplaneLD-COL-0100-CTLCardinality-12
FORMULA_NAME AirplaneLD-COL-0100-CTLCardinality-13
FORMULA_NAME AirplaneLD-COL-0100-CTLCardinality-14
FORMULA_NAME AirplaneLD-COL-0100-CTLCardinality-15
FORMULA_NAME AirplaneLD-COL-0100-CTLCardinality-2
FORMULA_NAME AirplaneLD-COL-0100-CTLCardinality-3
FORMULA_NAME AirplaneLD-COL-0100-CTLCardinality-4
FORMULA_NAME AirplaneLD-COL-0100-CTLCardinality-5
FORMULA_NAME AirplaneLD-COL-0100-CTLCardinality-6
FORMULA_NAME AirplaneLD-COL-0100-CTLCardinality-7
FORMULA_NAME AirplaneLD-COL-0100-CTLCardinality-8
FORMULA_NAME AirplaneLD-COL-0100-CTLCardinality-9

=== Now, execution of the tool begins

BK_START 1464677958015


Marcie rev. 8535M (built: crohr on 2016-04-27)
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: marcie --net-file=model.pnml --mcc-file=CTLCardinality.xml --mcc-mode --memory=6 --suppress

parse successfull
net created successfully

Net: AirplaneLD_PT_0100
(NrP: 719 NrTr: 808 NrArc: 3078)

net check time: 0m 0.000sec

parse formulas
formulas created successfully
place and transition orderings generation:0m 0.049sec

init dd package: 0m 4.225sec


RS generation: 0m15.555sec


-> reachability set: #nodes 2821 (2.8e+03) #states 34,877,423 (7)



starting MCC model checker
--------------------------

checking: EX [A [P3<=P6 U 2<=P3]]
normalized: EX [[~ [EG [~ [2<=P3]]] & ~ [E [~ [2<=P3] U [~ [2<=P3] & ~ [P3<=P6]]]]]]

abstracting: (P3<=P6) states: 32,827,022 (7)
abstracting: (2<=P3) states: 0
abstracting: (2<=P3) states: 0
abstracting: (2<=P3) states: 0

EG iterations: 0
.-> the formula is FALSE

FORMULA AirplaneLD-COL-0100-CTLCardinality-4 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.426sec

checking: AG [[EX [P2<=P1] | EG [1<=stp4]]]
normalized: ~ [E [true U ~ [[EX [P2<=P1] | EG [1<=stp4]]]]]

abstracting: (1<=stp4) states: 345,319 (5)
.........
EG iterations: 9
abstracting: (P2<=P1) states: 28,726,220 (7)
.
before gc: list nodes free: 2242387

after gc: idd nodes used:9699, unused:63990301; list nodes free:318715954

before gc: list nodes free: 3647674

after gc: idd nodes used:9714, unused:63990286; list nodes free:322910199

before gc: list nodes free: 4060054

after gc: idd nodes used:10121, unused:63989879; list nodes free:322908209

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

check for maximal unmarked siphon
ok
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m 0.003sec

902 902 902 902 902 902 902 902 902 902 954 972 988 1004 1018 1032 1627 1637 1641 1645 1649 1653 1657 1660 1664 1667 1671 1674 1678 1681 1685 1687 2499 2710 2710 2710 2710 2710 2710 2710 2710 2710 2710 2710 2710 2710 2710 2710 2710 2710 2820 2821 2821 2821 2821 2821 2821 2821 2821 2821 2821 2821 2821 2821 2821 2821 2821 2821 2821 2821 2821 2821 2821
iterations count:73910 (91), effective:414 (0)

initing FirstDep: 0m 0.002sec


iterations count:819 (1), effective:4 (0)
3980 3986 3994 4002 4010 4016 4024 4030 4038 4044 4052 4058 4066 4073 4076 4079 4083 4086 4089 4092 4095 4098 4101 4104 4107 4110 4113 4116 4119 4122 4124 4333 4333 4333 4333 4333 4333 4775 4747 4730 4716 4705 4695 4334 4756 4737 4722 4710 4700 4335 4766 4744 4729 4716 4705 4695 4778 4752 4735 4722 4710 4700 4337 4760 4742 4728 4716 4705 4338 4770 4749 4734 4721 4710 4700 4782 4757 4740 4727 4716 4705 4802 4765 4747 4733 4721 4711 4341 4775 4754 4739 4727 4716 4706 4787 4762 4746 4733 4721 4711 4805 4771 4753 4739 4727 4716 4344 4780 4760 4745 4732 4721 4712 4792 4768 4751 4738 4727 4717 4817 4776 4758 4744 4732 4722 4347 4786 4765 4750 4738 4727 4717 4797 4773 4757 4744 4733 4723 4813 4782 4764 4750 4738 4728 4350 4791 4771 4756 4744 4733 4723 4827 4779 4763 4750 4827 4728 4819 4787 4770 4756 4744 4734 4353 4797 4777 4762 4750 4739 4729 4808 4785 4769 4756 4744 4734 4825 4793 4776 4762 4750 4740 4356 4803 4783 4768 4756 4745 4735 4815 4791 4775 4762 4751 4740 4831 4800 4782 4768 4756 4746 4359 4809 4789 4774 4762 4751 4741 4821 4797 4781 4768 4757 4747 4838 4806 4788 4774 4762 4752 4362 4816 4796 4781 4768 4757 4748 4828 4804 4787 4774 4763 4753 4846 4812 4794 4780 4769 4758 4365 4823 4802 4787 4775 4764 4754 4835 4810 4794 4781 4769 4759 4855 4819 4801 4787 4775 4765 4368 4830 4809 4793 4781 4770 4760 4842 4817 4800 4787 4776 4766 4370 4826 4808 4793 4865 4771 4371 4837 4815 4800 4867 4777 4767 4850 4824 4807 4794 4782 4772 4373 4833 4815 4800 4788 4777 4374 4844 4822 4807 4794 4783 4773 4859 4831 4814 4800 4789 4779 4376 4841 4822 4807 4795 4784 4377 4852 4830 4814 4801 4790 4780 4868 4838 4821 4807 4796 4785 4379 4849 4829 4814 4802 4791 4781 4861 4837 4821 4808 4797 4885 4592 4962 4943 4928 4916 4906 4592 4969 4948 4933 4920 4909 4899 4978 4954 4937 4924 4913 4903 4990 4960 4942 4929 4917 4906 4592 4967 4948 4933 4921 4910 4592 4975 4953 4938 4925 4914 4904 4984 4959 4942 4929 4918 5005 4999 4965 4947 4933 4922 4911 4592 4973 4953 4938 4926 4915 4905 4981 4958 4943 4930 4919 4909 4991 4964 5009 4934 5009 4912 4592 4971 4953 4938 4926 4916 4592 4979 4958 4943 4931 4920 4910 4988 4964 4948 4935 4924 4914 5000 4970 4953 4939 4928 4917 4592 4977 4958 4944 4932 4921 4592 4985 4964 4948 4936 4925 4915 4995 4970 4953 4940 4929 4919 5011 4977 4959 4945 4933 4922 4592 4984 4964 4949 4937 4926 4916 4993 4970 4954 4941 4930 4920 5020 4976 4959 4946 4934 4924 4592 4983 4965 4950 4938 4928 4592 4992 4970 4955 4942 4931 4922 5001 4976 4960 4947 4935 4925 5016 4983 4965 4951 4940 4929 4592 4991 4971 4956 4944 4933 4923 5000 4977 4961 4948 4937 4927 5012 4983 4966 4953 4941 4931 4592 4991 4972 4957 4945 4935 4592 4999 4978 4962 4950 4939 4929 5009 4984 4967 4954 4943 5030 5026 4991 4973 4959 4947 4936 4592 4999 4979 4964 4951 4940 4931 5008 4985 4969 4956 4944 4934 5021 4991 4974 4960 4949 4938 4592 4999 4980 4965 4953 4942 4933 5008 4986 4970 4957 4946 4936 5019 4992 4975 4962 4950 4940 4592 5000 4981 4967 4955 4944 4592 5008 4987 4972 4959 4948 4938 5018 4993 4977 4964 4952 4942 5041 5001 4983 4969 4957 4946 4592 5009 4988 4974 4961 4950 4941 5018 4995 4979 4966 4954 4944 5032 5002 4984 4970 4959 4948 4592 5010 4990 4975 4963 4952 4943 5019 4996 4981 4968 4957 4947 5031 5003 4986 4973 4961 4951 4592 5011 4992 4977 4965 4955 4592 5070 5048 5032 5020 5008 4998 5097 5061 5043 5029 5017 5006 4693 5067 5047 5032 5020 5009 4999 5075 5052 5036 5023 5012 5002 5084 5057 5040 5026 5015 5004 4690 5062 5044 5030 5018 5007 4689 5069 5048 5033 5021 5010 5000 5077 5053 5037 5024 5013 5002 5087 5058 5041 5027 5015 5005 4686 5064 5045 5030 5018 5008 4685 5071 5049 5034 5021 5010 5001 5079 5054 5038 5025 5013 5003 5092 5060 5042 5028 5016 5006 4682 5066 5046 5032 5019 5009 4999 5073 5051 5035 5023 5011 5001 5083 5056 5039 5026 5014 5004 4679 5062 5101 5029 5017 5007 4678 5069 5048 5033 5021 5010 5000 5077 5053 5037 5024 5013 5002 5088 5058 5041 5027 5016 5005 4675 5065 5045 5031 5019 5008 4674 5072 5050 5035 5022 5011 5001 5081 5055 5039 5025 5014 5004 5096 5061 5043 5029 5017 5006 4671 5068 5047 5033 5020 5009 5000 5076 5052 5036 5023 5012 5002 5087 5058 5041 5027 5015 5005 4668 5064 5045 5031 5019 5008 4667 5072 5050 5035 5022 5011 5001 5081 5055 5039 5025 5014 5004 5097 5061 5043 5029 5017 5007 4664 5068 5048 5033 5020 5009 5000 5077 5053 5037 5024 5013 5002 5101 5059 5041 5027 5016 5005 4661 5065 5046 5031 5019 5008 4999 5073 5051 5035 5022 5011 5001 5083 5056 5039 5026 5014 5004 4658 5063 5044 5030 5018 5007 4657 5070 5049 5034 5021 5010 5000 5079 5054 5038 5025 5013 5003 5093 5060 5042 5028 5017 5006 4654 5067 5047 5032 5020 5009 4999 5076 5052 5036 5023 5012 5002 5088 5058 5041 5027 5101 5005 4651 5065 5046 5031 5019 5008 4999 5073 5051 5035 5022 5011 5001 5084 5057 5040 5026 5015 5004 4648 5063 5044 5030 5018 5007 4647 5071 5049 5034 5021 5101 5001 5081 5055 5038 5025 5014 5004 5098 5061 5043 5029 5017 5007 4595 5070 5049 5034 5021 5010 5000 5091 5061 5043 5030 5018 5007 4695 5067 5047 5033 5021 5010 4694 5073 5052 5036 5024 5013 5003 5082 5057 5040 5027 5016 5005 5095 5062 5044 5030 5018 5008 4691 5068 5048 5034 5021 5011 5001 5075 5053 5037 5024 5013 5003 5084 5058 5041 5028 5016 5006 4688 5064 5045 5031 5019 5009 4687 5070 5050 5035 5022 5011 5002 5078 5054 5038 5025 5014 5004 5088 5060 5042 5029 5017 5007 4684 5065 5047 5032 5020 5010 4683 5072 5051 5036 5023 5012 5002 5081 5056 5040 5027 5015 5005 5093 5062 5044 5030 5018 5008 4680 5068 5048 5034 5021 5011 5001 5075 5053 5037 5025 5013 5003 5085 5058 5041 5028 5016 5006 4677 5064 5046 5031 5019 5009 4676 5071 5050 5035 5023 5012 5002 5079 5055 5039 5026 5015 5005 5091 5061 5043 5029 5018 5007 4673 5067 5048 5033 5021 5010 5001 5075 5053 5037 5024 5013 5003 5084 5058 5041 5028 5016 5006 4670 5064 5045 5031 5019 5009 4669 5071 5050 5035 5023 5012 5002 5079 5055 5039 5026 5015 5005 5091 5061 5043 5030 5018 5007 4666 5067 5048 5033 5021 5010 5001 5075 5053 5037 5024 5013 5003 5085 5058 5103 5028 5103 5006 4663 5065 5046 5032 5020 5009 4662 5072 5051 5036 5023 5012 5002 5081 5056 5040 5027 5015 5005 5095 5062 5044 5030 5018 5008 4659 5069 5049 5034 5022 5011 5001 5077 5054 5038 5025 5014 5004 5089 5060 5043 5029 5017 5007 4656 5067 5047 5033 5021 5010 4655 5074 5103 5037 5024 5013 5003 5085 5058 5041 5028 5016 5006 4653 5065 5046 5032 5020 5009 4652 5072 5051 5036 5023 5012 5002 5103 5103 5040 5027 5015 5005 5097 5063 5045 5031 5019 5008 4649 5070 5050 5035 5022 5011 5002 5079 5055 5039 5026 5015 5005 5092 5061 5044 5030 5018 5008 4597 5069 5049 5034 5022 5011 5001 5088 5061 5044 5030 5019 5008 4697 5066 5048 5034 5022 5011 4696 5073 5052 5037 5025 5014 5004 5080 5057 5041 5028 5016 5006 5105 5062 5045 5031 5019 5009 4693 5068 5049 5034 5022 5012 4692 5074 5053 5038 5025 5014 5004 5082 5058 5042 5028 5017 5007 5094 5063 5046 5032 5020 5010 4689 5069 5050 5035 5023 5012 5003 5076 5054 5039 5026 5015 5005 5085 5059 5043 5029 5018 5008 5101 5065 5047 5033 5021 5010 4685 5105 5051 5036 5024 5013 5003 5079 5056 5040 5027 5016 5006 5090 5061 5044 5031 5019 5009 4682 5067 5049 5034 5022 5011 4681 5074 5053 5038 5025 5014 5004 5083 5058 5042 5029 5017 5007 5096 5064 5046 5032 5020 5010 4678 5070 5050 5036 5023 5013 5003 5078 5055 5040 5027 5016 5006 5088 5061 5044 5030 5019 5008 4675 5067 5048 5034 5022 5011 4674 5074 5053 5038 5025 5014 5004 5082 5058 5042 5028 5017 5007 5095 5064 5046 5032 5020 5010 4671 5070 5050 5036 5023 5013 5003 5078 5055 5040 5027 5016 5006 5088 5061 5044 5030 5019 5008 4668 5067 5048 5034 5022 5011 4667 5074 5053 5038 5025 5014 5004 5083 5058 5042 5029 5017 5007 5098 5064 5046 5032 5021 5010 4664 5071 5051 5036 5024 5013 5003 5079 5056 5040 5027 5016 5006 5091 5062 5045 5031 5019 5009 4661 5068 5049 5035 5023 5012 4660 5076 5054 5039 5026 5015 5005 5086 5060 5043 5030 5018 5008 4658 5066 5048 5033 5022 5011 4657 5074 5053 5037 5025 5014 5004 5083 5058 5042 5029 5017 5007 5097 5064 5046 5032 5105 5010 4654 5071 5051 5036 5024 5013 5003 5080 5057 5041 5028 5016 5006 5092 5062 5045 5031 5020 5009 4651 5069 5050 5035 5023 5012 5003 5078 5055 5039 5027 5105 5006 5089 5061 5044 5030 5019 5009 4599 5069 5050 5035 5023 5012 4596 5086 5061 5044 5031 5020 5009 5098 5066 5048 5034 5022 5012 4698 5072 5052 5038 5025 5015 5005 5079 5057 5041 5028 5017 5007 5088 5062 5045 5032 5020 5010 5103 5067 5049 5035 5023 5013 4694 5073 5053 5038 5026 5015 5005 5081 5058 5042 5029 5018 5008 5091 5063 5046 5032 5021 5011 4691 5069 5050 5036 5024 5013 4690 5075 5055 5039 5027 5016 5006 5084 5059 5043 5030 5019 5009 5095 5065 5047 5034 5022 5011 4687 5071 5052 5037 5025 5014 5005 5078 5056 5041 5028 5017 5007 5087 5061 5045 5031 5020 5010 5102 5067 5049 5035 5023 5012 4683 5074 5053 5038 5026 5015 5005 5081 5058 5042 5029 5018 5008 5092 5064 5046 5033 5021 5011 4680 5070 5051 5036 5024 5014 4679 5077 5055 5040 5027 5016 5007 5086 5061 5044 5031 5019 5009 5100 5066 5048 5034 5023 5012 4676 5073 5053 5038 5026 5015 5005 5081 5058 5042 5029 5018 5008 5091 5063 5046 5033 5021 5011 4673 5070 5051 5036 5024 5014 4672 5077 5055 5040 5107 5017 5007 5086 5061 5044 5031 5020 5009 5101 5067 5049 5035 5023 5012 4669 5073 5053 5038 5026 5015 5005 5082 5058 5042 5029 5018 5008 5093 5064 5047 5033 5021 5011 4666 5071 5051 5037 5025 5014 4665 5078 5056 5041 5028 5017 5007 5088 5062 5045 5032 5020 5010 4663 5068 5050 5035 5023 5013 4662 5075 5055 5039 5027 5016 5006 5084 5060 5044 5030 5019 5009 5098 5066 5048 5034 5022 5012 4659 5073 5053 5038 5026 5015 5005 5081 5058 5042 5029 5018 5008 5093 5064 5047 5033 5021 5011 4656 5071 5051 5037 5025 5014 4655 5079 5057 5041 5028 5017 5007 5089 5062 5045 5032 5020 5010 4653 5069 5050 5036 5024 5013 4652 5077 5055 5040 5027 5016 5007 5086 5061 5044 5031 5020 5010 4601 5068 5050 5036 5024 5013 4597 5084 5061 5045 5032 5020 5010 5094 5066 5109 5035 5023 5013 4700 5071 5053 5038 5026 5016 4699 5078 5057 5042 5029 5018 5008 5086 5062 5045 5032 5021 5011 5109 5067 5049 5036 5024 5013 4696 5073 5054 5039 5027 5016 5109 5080 5058 5043 5030 5019 5009 5089 5063 5046 5033 5022 5012 5102 5069 5051 5037 5025 5014 4692 5075 5055 5040 5028 5017 5007 5082 5060 5044 5031 5020 5010 5092 5065 5048 5034 5023 5012 4689 5071 5052 5038 5026 5015 4688 5077 5056 5041 5029 5018 5008 5085 5061 5045 5032 5021 5011 5097 5067 5049 5035 5024 5013 4685 5073 5054 5039 5027 5016 5007 5080 5058 5043 5030 5019 5009 5090 5064 5047 5033 5022 5012 5106 5069 5051 5037 5025 5015 4681 5076 5056 5041 5028 5017 5008 5084 5061 5045 5032 5020 5010 5095 5066 5049 5035 5023 5013 4678 5072 5053 5039 5027 5016 4677 5080 5058 5043 5030 5019 5009 5089 5063 5047 5033 5022 5012 5105 5069 5051 5037 5025 5015 4674 5076 5056 5041 5028 5017 5008 5084 5061 5045 5032 5020 5010 5096 5066 5049 5035 5024 5013 4671 5073 5054 5039 5027 5016 5109 5081 5059 5043 5030 5019 5009 5091 5064 5047 5034 5022 5012 4668 5070 5052 5037 5026 5015 4667 5077 5057 5041 5029 5018 5008 5086 5062 5046 5032 5021 5011 5100 5068 5050 5036 5024 5014 4664 5075 5055 5040 5028 5017 5007 5083 5060 5044 5031 5020 5010 5094 5066 5048 5035 5023 5013 4661 5072 5053 5039 5027 5016 4660 5080 5058 5043 5030 5019 5009 5090 5064 5047 5034 5022 5012 4658 5070 5052 5038 5026 5015 4657 5078 5057 5042 5029 5018 5008 5087 5062 5046 5033 5021 5011 5109 5069 5051 5037 5025 5014 4654 5076 5056 5041 5028 5017 5008 5085 5061 5045 5032 5021 5011 5101 5068 5050 5036 5024 5014 4598 5083 5061 5045 5032 5021 5011 5092 5066 5049 5036 5024 5014 5107 5071 5053 5039 5027 5016 4701 5077 5057 5042 5030 5019 5009 5085 5062 5046 5033 5022 5012 5094 5067 5050 5036 5025 5014 4698 5073 5054 5040 5028 5017 4697 5079 5058 5043 5031 5020 5010 5087 5063 5047 5034 5023 5013 5098 5068 5051 5037 5026 5015 4694 5074 5055 5041 5029 5018 4693 5081 5060 5044 5032 5021 5011 5090 5065 5048 5035 5024 5013 5103 5070 5052 5038 5027 5016 4690 5077 5057 5042 5030 5019 5009 5084 5061 5046 5033 5022 5012 5094 5067 5050 5036 5025 5014 4687 5073 5054 5040 5028 5017 4686 5079 5059 5043 5031 5020 5010 5088 5064 5047 5034 5023 5013 5100 5069 5051 5038 5026 5016 4683 5075 5056 5041 5029 5018 5009 5083 5061 5045 5032 5021 5011 5093 5066 5049 5036 5024 5014 4680 5072 5054 5039 5027 5017 4679 5079 5058 5043 5031 5020 5010 5087 5063 5047 5034 5023 5013 5100 5069 5051 5038 5026 5111 4676 5075 5056 5041 5029 5018 5009 5083 5061 5045 5032 5021 5011 5093 5066 5049 5036 5024 5014 4673 5073 5054 5040 5028 5017 4672 5080 5059 5044 5031 5020 5010 5089 5064 5048 5035 5023 5013 5102 5070 5052 5038 5026 5016 4669 5077 5057 5042 5030 5019 5009 5085 5062 5046 5033 5022 5012 5096 5068 5050 5037 5025 5015 4666 5074 5055 5041 5028 5018 4665 5082 5060 5045 5032 5021 5011 5092 5066 5049 5036 5024 5014 4663 5072 5054 5039 5027 5017 4662 5079 5111 5043 5031 5020 5010 5088 5064 5048 5034 5023 5013 5103 5070 5052 5038 5026 5016 4659 5077 5057 5042 5030 5019 5009 5086 5062 5046 5033 5022 5012 5098 5068 5051 5037 5026 5015 4656 5075 5056 5041 5029 5018 5009 5083 5061 5045 5033 5021 5012 5097 5068 5051 5037 5025 5015 4599 5082 5061 5046 5033 5022 5012 5090 5066 5049 5036 5025 5015 5113 5071 5053 5040 5028 5017 4703 5077 5058 5043 5031 5020 4702 5084 5062 5047 5034 5023 5013 5092 5067 5050 5037 5026 5015 5113 5072 5054 5040 5029 5018 4699 5078 5059 5044 5032 5021 5011 5086 5063 5048 5035 5024 5014 5095 5068 5051 5038 5026 5016 4696 5074 5056 5041 5029 5019 4695 5113 5060 5045 5113 5022 5012 5088 5065 5049 5036 5024 5014 5099 5070 5053 5039 5027 5017 4692 5076 5057 5043 5030 5020 4691 5083 5062 5046 5034 5023 5013 5092 5067 5050 5037 5026 5015 5106 5072 5054 5040 5029 5018 4688 5079 5059 5044 5032 5021 5011 5086 5064 5048 5035 5024 5014 5097 5069 5052 5038 5027 5017 4685 5075 5056 5042 5030 5019 4684 5082 5061 5046 5033 5022 5012 5091 5066 5050 5037 5025 5015 5104 5072 5054 5040 5028 5018 4681 5078 5059 5044 5113 5021 5011 5086 5063 5048 5035 5024 5014 5113 5069 5052 5038 5027 5113 4678 5075 5056 5042 5030 5019 4677 5082 5061 5046 5033 5022 5012 5091 5066 5050 5037 5025 5015 5113 5072 5054 5040 5029 5018 4674 5079 5059 5044 5032 5021 5011 5087 5064 5048 5035 5024 5014 5099 5070 5053 5039 5027 5017 4671 5076 5057 5043 5031 5020 4670 5084 5062 5047 5034 5023 5013 5094 5068 5051 5038 5026 5016 4668 5074 5055 5041 5029 5019 4667 5081 5060 5045 5033 5022 5012 5090 5066 5049 5036 5025 5015 5104 5072 5054 5040 5028 5018 4664 5079 5059 5044 5032 5021 5011 5087 5064 5048 5035 5024 5014 5099 5070 5053 5039 5027 5017 4661 5077 5057 5043 5031 5020 4660 5085 5063 5047 5034 5023 5013 5095 5068 5051 5038 5026 5016 4658 5075 5056 5042 5030 5019 4657 5083 5061 5046 5033 5022 5013 5094 5068 5051 5038 5026 5016 4600 5082 5061 5046 5034 5023 5013 5089 5066 5050 5037 5026 5016 5098 5071 5054 5040 5029 5018 4705 5115 5058 5044 5032 5021 4704 5083 5062 5047 5035 5024 5014 5091 5067 5051 5038 5027 5017 5101 5072 5055 5041 5029 5019 4701 5078 5059 5045 5032 5022 4700 5085 5063 5048 5115 5025 5015 5093 5068 5052 5039 5027 5017 5106 5074 5056 5042 5030 5020 4697 5080 5060 5046 5033 5023 5013 5087 5065 5049 5037 5025 5015 5097 5070 5053 5040 5028 5018 4694 5076 5057 5043 5031 5021 4693 5082 5062 5047 5034 5024 5014 5090 5067 5051 5038 5026 5016 5102 5072 5055 5041 5029 5019 4690 5078 5059 5045 5033 5022 4689 5115 5064 5048 5036 5025 5015 5095 5069 5052 5039 5028 5018 5109 5075 5057 5043 5031 5020 4686 5081 5061 5046 5034 5023 5013 5089 5066 5050 5037 5026 5016 5100 5072 5054 5041 5029 5019 4683 5078 5059 5044 5032 5022 4682 5085 5064 5048 5036 5025 5015 5094 5069 5052 5039 5028 5018 5110 5075 5057 5043 5031 5020 4679 5082 5061 5115 5034 5023 5014 5090 5067 5051 5038 5026 5016 5101 5072 5055 5041 5029 5019 4676 5079 5059 5045 5033 5022 4675 5086 5064 5049 5036 5025 5015 5096 5070 5053 5040 5028 5018 4673 5076 5058 5043 5031 5021 4672 5083 5062 5047 5035 5024 5014 5092 5068 5051 5038 5027 5017 5115 5074 5056 5042 5030 5020 4669 5115 5061 5046 5034 5023 5013 5089 5066 5050 5037 5026 5016 5100 5072 5054 5041 5029 5019 4666 5078 5059 5045 5033 5022 4665 5086 5064 5049 5036 5025 5015 5096 5070 5053 5040 5028 5018 4663 5076 5058 5044 5032 5021 4662 5084 5063 5048 5035 5024 5014 5093 5068 5052 5039 5027 5017 5109 5075 5057 5043 5031 5020 4659 5082 5062 5047 5034 5023 5014 5093 5068 5052 5038 5027 5017 4710 5081 5062 5047 5035 5024 5015 5088 5066 5051 5038 5027 5017 5096 5071 5054 5041 5030 5020 5110 5076 5058 5044 5033 5022 4706 5082 5063 5048 5036 5025 5015 5090 5067 5051 5039 5028 5018 5099 5072 5055 5042 5030 5020 4703 5078 5059 5045 5033 5023 4702 5084 5064 5049 5036 5025 5016 5092 5117 5117 5040 5028 5018 5102 5074 5056 5043 5031 5021 4699 5080 5061 5046 5034 5024 4698 5086 5065 5050 5037 5026 5017 5095 5070 5054 5041 5029 5019 5117 5076 5058 5044 5032 5022 4695 5082 5062 5048 5035 5025 5015 5089 5067 5051 5039 5027 5017 5099 5072 5055 5042 5030 5020 4692 5078 5060 5045 5033 5023 4691 5085 5064 5049 5037 5026 5016 5093 5069 5053 5040 5029 5019 5105 5075 5057 5043 5032 5021 4688 5081 5062 5047 5035 5024 5015 5088 5066 5051 5038 5027 5017 5098 5072 5055 5042 5030 5020 4685 5078 5059 5045 5033 5023 4684 5084 5064 5049 5036 5026 5016 5093 5069 5053 5040 5029 5019 5105 5075 5057 5043 5032 5021 4681 5081 5062 5047 5035 5024 5015 5089 5067 5051 5038 5027 5017 5099 5072 5055 5042 5030 5020 4678 5078 5060 5046 5034 5023 4677 5085 5065 5049 5037 5026 5016 5094 5070 5054 5040 5029 5019 5108 5076 5058 5044 5032 5022 4674 5083 5063 5048 5036 5025 5015 5091 5068 5052 5039 5028 5018 5102 5074 5056 5043 5031 5021 4671 5080 5061 5047 5034 5024 4670 5088 5066 5051 5038 5027 5017 5098 5072 5055 5042 5030 5020 4668 5078 5060 5045 5033 5023 4667 5085 5065 5049 5037 5026 5016 5095 5070 5054 5040 5029 5019 5109 5076 5058 5044 5032 5022 4664 5083 5063 5048 5036 5025 5015 5092 5069 5053 5040 5028 5018 5104 5075 5057 5043 5032 5021 4661 5081 5062 5047 5035 5024 5015 5091 5068 5052 5039 5028 5018 4712 5081 5062 5048 5036 5025 4711 5087 5066 5051 5039 5028 5018 5095 5071 5055 5042 5031 5021 5106 5076 5059 5045 5033 5023 4708 5082 5063 5049 5036 5026 4707 5089 5067 5052 5039 5028 5019 5097 5072 5056 5043 5031 5021 5109 5078 5060 5046 5034 5024 4704 5084 5064 5049 5037 5026 5017 5091 5069 5053 5040 5029 5019 5100 5074 5057 5044 5032 5022 5116 5079 5061 5047 5035 5025 4700 5086 5066 5051 5038 5027 5018 5094 5070 5054 5041 5030 5020 5104 5076 5058 5045 5033 5023 4697 5082 5063 5048 5036 5026 4696 5119 5067 5052 5039 5028 5019 5097 5072 5056 5043 5031 5021 5110 5078 5060 5046 5034 5024 4693 5084 5065 5050 5037 5027 5017 5092 5069 5054 5041 5030 5020 5102 5075 5058 5044 5033 5022 4690 5081 5062 5048 5036 5025 4689 5088 5067 5052 5039 5028 5018 5096 5072 5056 5042 5031 5021 5109 5119 5060 5046 5034 5024 4686 5084 5064 5050 5037 5027 5017 5092 5069 5054 5041 5030 5020 5102 5075 5058 5044 5033 5022 4683 5081 5062 5048 5036 5025 4682 5088 5067 5052 5039 5028 5018 5097 5072 5056 5043 5031 5021 5111 5078 5060 5046 5034 5024 4679 5085 5065 5050 5038 5027 5017 5093 5070 5054 5041 5030 5020 5104 5076 5058 5045 5033 5023 4676 5082 5063 5049 5119 5026 4675 5090 5068 5053 5040 5029 5019 5100 5074 5057 5044 5032 5022 4673 5080 5061 5047 5035 5025 4672 5087 5066 5051 5039 5028 5018 5096 5072 5055 5042 5031 5021 5110 5078 5060 5046 5034 5024 4669 5085 5065 5050 5038 5027 5017 5093 5070 5054 5041 5030 5020 5105 5076 5059 5045 5033 5023 4666 5083 5119 5049 5037 5026 4665 5091 5069 5053 5040 5029 5019 5102 5075 5058 5044 5033 5022 4663 5081 5062 5048 5036 5025 4613 5090 5068 5053 5040 5029 5019 5115 5081 5063 5049 5037 5026 4713 5087 5067 5052 5040 5029 5019 5094 5071 5056 5043 5032 5022 5103 5076 5059 5046 5034 5024 4710 5082 5063 5049 5037 5027 4709 5088 5068 5053 5040 5029 5020 5096 5072 5056 5043 5032 5022 5106 5078 5060 5047 5035 5025 4706 5083 5065 5050 5038 5027 4705 5090 5069 5054 5041 5030 5020 5098 5074 5058 5044 5033 5023 5110 5079 5062 5048 5036 5026 4702 5085 5066 5051 5039 5028 5019 5093 5071 5055 5042 5031 5021 5102 5076 5059 5046 5034 5024 5118 5081 5063 5049 5037 5027 4698 5088 5068 5053 5040 5029 5020 5096 5072 5056 5121 5032 5022 5107 5078 5061 5047 5035 5025 4695 5084 5065 5050 5038 5028 4694 5091 5070 5054 5042 5031 5021 5100 5075 5058 5045 5034 5023 5114 5121 5062 5121 5037 5026 4691 5087 5067 5052 5040 5029 5019 5095 5072 5056 5043 5032 5022 5106 5077 5060 5047 5035 5025 4688 5084 5065 5050 5038 5028 4687 5091 5070 5054 5042 5031 5021 5100 5075 5058 5045 5034 5023 5115 5081 5063 5049 5037 5026 4684 5087 5067 5052 5040 5029 5019 5096 5072 5056 5043 5032 5022 5107 5078 5061 5047 5035 5025 4681 5085 5065 5051 5039 5028 4680 5092 5070 5055 5042 5031 5021 5102 5076 5059 5046 5034 5024 4678 5082 5064 5049 5037 5027 4677 5089 5068 5053 5041 5030 5020 5098 5074 5057 5044 5033 5023 5112 5080 5062 5048 5036 5026 4674 5087 5067 5052 5040 5029 5019 5095 5072 5056 5043 5032 5022 5106 5078 5121 5047 5035 5025 4671 5084 5065 5051 5039 5028 4670 5092 5070 5055 5042 5031 5021 5103 5076 5059 5046 5034 5024 4668 5083 5064 5050 5038 5027 4667 5090 5069 5054 5041 5030 5020 5100 5075 5058 5045 5033 5023 5116 5081 5063 5049 5037 5026 4615 5090 5069 5053 5041 5030 5020 5110 5081 5063 5049 5038 5027 4715 5086 5067 5053 5041 5030 4714 5093 5072 5056 5044 5033 5023 5101 5076 5060 5047 5035 5025 5114 5082 5064 5050 5038 5028 4711 5088 5068 5053 5041 5030 5021 5095 5073 5057 5044 5033 5023 5104 5078 5061 5048 5036 5026 5119 5083 5065 5051 5039 5029 4707 5090 5069 5054 5042 5031 5021 5097 5074 5058 5045 5034 5024 5107 5079 5062 5049 5037 5027 4704 5085 5066 5052 5040 5029 4703 5092 5071 5056 5043 5032 5022 5100 5076 5060 5046 5035 5025 5112 5081 5064 5050 5038 5028 4700 5123 5068 5053 5041 5030 5021 5095 5073 5057 5044 5033 5023 5104 5078 5061 5048 5036 5026 4697 5084 5065 5051 5039 5029 4696 5090 5070 5055 5042 5032 5022 5099 5075 5059 5046 5035 5024 5110 5080 5063 5049 5038 5027 4693 5087 5067 5053 5041 5030 4692 5094 5072 5057 5044 5033 5023 5104 5078 5061 5047 5036 5026 5123 5083 5065 5051 5039 5029 4689 5090 5070 5055 5042 5032 5022 5099 5075 5059 5046 5035 5025 5111 5081 5063 5049 5038 5027 4686 5087 5068 5053 5041 5030 5021 5095 5073 5057 5044 5033 5023 5105 5078 5061 5048 5036 5026 4683 5084 5066 5052 5040 5029 4682 5091 5071 5055 5043 5032 5022 5100 5076 5060 5046 5035 5025 5114 5082 5064 5050 5038 5028 4679 5089 5069 5054 5042 5031 5021 5097 5074 5058 5045 5034 5024 5108 5080 5062 5049 5037 5027 4676 5086 5067 5053 5041 5030 4675 5094 5072 5057 5044 5033 5023 5104 5078 5061 5048 5036 5026 4673 5084 5066 5051 5040 5029 4672 5092 5071 5056 5043 5032 5022 5101 5076 5060 5047 5035 5025 5116 5082 5064 5050 5039 5028 4669 5090 5069 5054 5042 5031 5123 5098 5075 5059 5046 5034 5024 5111 5081 5063 5050 5038 5027 4617 5089 5069 5054 5042 5031 5021 5108 5081 5064 5050 5039 5028 4717 5086 5068 5053 5041 5031 4716 5092 5072 5057 5044 5034 5024 5100 5077 5061 5048 5036 5026 5110 5082 5064 5051 5039 5029 4713 5087 5069 5054 5042 5032 4712 5094 5073 5058 5045 5034 5024 5102 5078 5062 5048 5037 5027 5114 5083 5125 5052 5040 5030 4709 5089 5070 5055 5043 5032 5023 5096 5074 5059 5046 5035 5025 5105 5079 5063 5049 5038 5028 5120 5085 5067 5053 5041 5030 4705 5091 5071 5056 5044 5033 5023 5099 5076 5060 5047 5036 5026 5109 5081 5064 5051 5039 5029 4702 5087 5068 5054 5042 5031 4701 5094 5073 5058 5045 5034 5024 5103 5078 5062 5049 5037 5027 5125 5084 5066 5052 5040 5030 4698 5090 5070 5056 5043 5033 5023 5098 5075 5059 5047 5036 5026 5108 5081 5064 5050 5039 5028 4695 5125 5068 5054 5042 5031 4694 5093 5073 5057 5045 5034 5024 5102 5078 5061 5048 5037 5027 5115 5083 5066 5052 5040 5030 4691 5090 5070 5056 5043 5033 5023 5098 5075 5060 5047 5036 5026 5108 5081 5064 5050 5039 5028 4688 5087 5068 5054 5042 5031 4687 5094 5073 5058 5045 5034 5024 5103 5078 5062 5049 5037 5027 5117 5084 5066 5052 5125 5030 4684 5091 5071 5056 5044 5033 5023 5099 5076 5060 5047 5036 5026 5111 5082 5065 5051 5039 5029 4681 5088 5069 5055 5043 5032 4680 5096 5074 5059 5046 5035 5025 5106 5080 5063 5050 5038 5028 4678 5086 5068 5053 5041 5031 4677 5093 5073 5057 5045 5034 5024 5103 5078 5062 5048 5037 5027 5117 5084 5066 5052 5040 5030 4674 5091 5071 5056 5044 5033 5023 5100 5076 5060 5047 5036 5026 5112 5082 5065 5051 5040 5029 4671 5089 5070 5055 5043 5032 5023 5097 5075 5059 5047 5035 5125 5108 5081 5064 5050 5039 5028 4619 5089 5069 5055 5043 5032 4606 5106 5081 5064 5051 5040 5029 5119 5086 5068 5054 5042 5032 4718 5092 5072 5058 5045 5035 5025 5099 5077 5061 5048 5037 5027 5108 5082 5065 5052 5040 5030 5124 5087 5069 5055 5043 5033 4714 5094 5073 5058 5046 5035 5026 5101 5078 5062 5049 5038 5028 5111 5083 5066 5127 5041 5031 4711 5089 5070 5056 5044 5033 4710 5096 5075 5060 5047 5036 5026 5104 5080 5063 5050 5039 5029 5115 5085 5067 5054 5042 5031 4707 5091 5072 5057 5045 5034 5025 5098 5076 5061 5048 5037 5027 5107 5081 5065 5051 5040 5030 5123 5087 5069 5055 5043 5032 4703 5094 5073 5059 5046 5035 5026 5102 5078 5062 5049 5038 5028 5112 5084 5066 5053 5041 5031 4700 5090 5071 5056 5044 5034 4699 5097 5076 5060 5048 5037 5027 5106 5081 5064 5051 5040 5029 5120 5086 5068 5054 5043 5032 4696 5093 5073 5058 5046 5035 5025 5101 5078 5062 5049 5038 5028 5112 5083 5066 5053 5041 5031 4693 5090 5071 5056 5044 5034 4692 5097 5076 5060 5048 5037 5027 5106 5081 5064 5051 5040 5029 5121 5087 5069 5055 5043 5032 4689 5094 5073 5058 5046 5035 5026 5102 5079 5063 5050 5038 5028 5127 5084 5067 5053 5041 5031 4686 5091 5071 5057 5045 5034 4685 5098 5076 5061 5048 5037 5027 5108 5082 5065 5052 5040 5030 4683 5088 5070 5055 5044 5033 4682 5095 5075 5059 5047 5036 5026 5105 5080 5064 5050 5039 5029 5119 5086 5068 5054 5042 5032 4679 5093 5073 5058 5046 5035 5025 5101 5078 5062 5049 5038 5028 5113 5084 5067 5053 5041 5031 4676 5091 5072 5057 5045 5034 4675 5099 5077 5061 5048 5037 5027 5109 5082 5066 5052 5041 5030 4673 5089 5070 5056 5044 5033 4672 5097 5075 5060 5047 5036 5027 5107 5081 5064 5051 5040 5030 4621 5127 5070 5056 5044 5033 4607 5105 5081 5065 5052 5041 5031 5115 5086 5069 5055 5043 5033 4720 5092 5073 5058 5046 5036 4719 5098 5077 5062 5049 5038 5029 5107 5082 5066 5052 5041 5031 5118 5087 5070 5056 5044 5034 4716 5093 5074 5059 5047 5036 5027 5100 5078 5063 5050 5039 5029 5109 5083 5067 5053 5042 5032 5124 5089 5071 5057 5045 5034 4712 5095 5075 5060 5048 5037 5027 5103 5080 5064 5051 5040 5030 5113 5085 5068 5054 5043 5033 4709 5091 5072 5058 5046 5035 4708 5098 5077 5062 5049 5038 5028 5106 5082 5065 5052 5041 5031 5118 5087 5069 5056 5044 5034 4705 5093 5074 5059 5047 5036 5027 5101 5079 5063 5050 5039 5029 5110 5084 5067 5054 5042 5032 4702 5090 5071 5057 5045 5035 4701 5096 5076 5061 5048 5038 5028 5105 5081 5065 5052 5041 5030 5116 5086 5069 5055 5044 5033 4698 5093 5073 5059 5047 5036 4697 5100 5078 5063 5050 5039 5029 5110 5084 5067 5129 5042 5032 4695 5090 5071 5057 5045 5035 4694 5096 5076 5061 5048 5038 5028 5105 5081 5065 5052 5041 5031 5117 5087 5069 5055 5044 5033 4691 5093 5074 5059 5047 5036 5027 5101 5079 5063 5050 5039 5029 5111 5084 5067 5054 5042 5032 4688 5091 5072 5058 5046 5035 4687 5098 5077 5062 5049 5038 5028 5107 5082 5066 5053 5041 5031 5121 5088 5070 5056 5044 5034 4684 5095 5075 5060 5048 5037 5027 5103 5080 5064 5051 5040 5030 5115 5086 5069 5055 5043 5033 4681 5093 5073 5059 5047 5036 4680 5101 5079 5063 5050 5039 5029 5111 5084 5067 5054 5042 5032 4678 5091 5072 5058 5046 5035 4677 5098 5077 5062 5049 5038 5028 5108 5083 5066 5053 5129 5031 5124 5089 5071 5057 5045 5034 4674 5096 5076 5061 5048 5037 5028 5105 5081 5065 5052 5041 5031 5122 5088 5070 5056 5045 5034 4608 5104 5081 5066 5053 5042 5032 5113 5086 5069 5056 5044 5034 4722 5092 5073 5059 5047 5037 4721 5098 5078 5063 5050 5039 5030 5105 5082 5066 5053 5042 5032 5131 5087 5070 5057 5045 5035 4718 5093 5074 5060 5048 5037 4717 5100 5079 5064 5051 5040 5030 5108 5084 5067 5054 5043 5033 5119 5089 5071 5058 5046 5035 4714 5095 5076 5061 5049 5038 5131 5102 5080 5065 5052 5041 5031 5111 5085 5069 5055 5044 5034 5125 5091 5073 5059 5047 5036 4710 5097 5077 5062 5050 5039 5029 5105 5082 5066 5053 5042 5032 5115 5087 5070 5057 5045 5035 4707 5093 5074 5060 5048 5037 4706 5100 5079 5064 5051 5040 5030 5109 5084 5068 5055 5043 5033 5121 5090 5072 5058 5046 5036 4703 5096 5076 5062 5049 5039 5029 5104 5081 5131 5053 5042 5032 5114 5087 5070 5056 5045 5034 4700 5093 5074 5060 5048 5037 4699 5100 5079 5131 5051 5040 5030 5108 5084 5068 5054 5043 5033 5121 5090 5072 5058 5046 5036 4696 5096 5076 5062 5049 5039 5029 5104 5081 5066 5053 5042 5032 5114 5087 5070 5056 5045 5034 4693 5093 5074 5060 5048 5037 4692 5100 5079 5064 5051 5040 5131 5110 5085 5068 5055 5043 5033 5124 5090 5072 5058 5047 5036 4689 5097 5077 5062 5050 5039 5029 5106 5082 5066 5053 5042 5032 5117 5088 5071 5057 5045 5035 4686 5095 5075 5061 5049 5038 4685 5103 5081 5065 5052 5041 5031 5113 5086 5069 5056 5044 5034 4683 5093 5074 5060 5048 5037 4682 5100 5079 5064 5051 5040 5030 5109 5084 5068 5055 5043 5033 5125 5091 5073 5059 5047 5036 4679 5098 5077 5063 5050 5039 5030 5107 5083 5067 5054 5043 5032 5119 5089 5071 5058 5046 5035 4676 5096 5076 5062 5049 5039 5029 5104 5082 5066 5053 5042 5032 5118 5088 5071 5057 5046 5035 4609 5103 5082 5066 5054 5043 5033 5111 5086 5070 5057 5045 5035 5124 5092 5074 5060 5048 5038 4723 5098 5078 5063 5051 5040 5031 5105 5083 5067 5054 5043 5033 5114 5088 5071 5057 5046 5036 5128 5093 5075 5061 5049 5038 4719 5099 5079 5064 5052 5041 5031 5107 5084 5068 5055 5044 5034 5117 5089 5072 5058 5047 5037 4716 5095 5076 5062 5050 5039 4715 5101 5081 5065 5053 5042 5032 5110 5085 5069 5056 5045 5035 5121 5091 5073 5060 5048 5037 4712 5097 5078 5063 5051 5040 5031 5104 5082 5067 5054 5043 5033 5113 5087 5071 5057 5046 5036 5129 5093 5075 5061 5049 5038 4708 5100 5079 5065 5052 5041 5032 5108 5084 5068 5055 5044 5034 5118 5090 5072 5059 5047 5037 4705 5096 5077 5062 5050 5040 4704 5103 5082 5066 5054 5043 5033 5112 5087 5070 5057 5046 5035 5126 5093 5075 5061 5049 5038 4701 5099 5079 5064 5052 5041 5031 5107 5084 5068 5055 5044 5034 5118 5090 5072 5059 5047 5037 4698 5096 5077 5062 5050 5040 4697 5103 5082 5066 5054 5043 5033 5113 5087 5070 5057 5046 5036 5128 5093 5075 5061 5049 5038 4694 5100 5080 5065 5052 5041 5032 5108 5085 5069 5056 5044 5034 5120 5091 5073 5059 5048 5037 4691 5097 5078 5063 5051 5040 5031 5105 5083 5067 5054 5043 5033 5115 5088 5071 5058 5046 5036 4688 5095 5076 5062 5050 5039 4687 5102 5081 5066 5053 5042 5032 5111 5086 5070 5057 5045 5035 5126 5133 5074 5133 5049 5038 4684 5100 5079 5064 5052 5041 5133 5108 5085 5069 5056 5044 5034 5121 5091 5073 5059 5048 5037 4681 5097 5078 5063 5051 5040 5031 5106 5083 5133 5055 5044 5034 5117 5089 5072 5058 5047 5037 4678 5096 5077 5062 5050 5040 4677 5104 5082 5066 5054 5043 5033 5116 5089 5072 5058 5047 5036 4610 5103 5082 5067 5055 5044 5034 5110 5087 5071 5058 5046 5036 5121 5092 5075 5061 5049 5039 4725 5098 5079 5064 5052 5042 4724 5104 5083 5068 5055 5044 5034 5112 5088 5072 5058 5047 5037 5124 5093 5075 5062 5050 5040 4721 5099 5080 5065 5053 5042 5033 5106 5084 5069 5056 5045 5035 5115 5089 5073 5059 5048 5038 5129 5095 5077 5063 5051 5040 4717 5101 5081 5066 5054 5043 5033 5109 5086 5070 5057 5046 5036 5119 5091 5074 5060 5049 5039 4714 5097 5078 5064 5052 5041 4713 5104 5083 5068 5055 5044 5034 5112 5088 5071 5058 5047 5037 5124 5093 5076 5062 5050 5040 4710 5099 5080 5065 5053 5042 5033 5107 5085 5069 5056 5045 5035 5116 5090 5073 5060 5048 5038 4707 5096 5077 5063 5051 5041 4706 5103 5082 5067 5055 5044 5034 5111 5087 5071 5058 5047 5037 5123 5093 5075 5061 5050 5039 4703 5099 5080 5065 5053 5042 5033 5106 5084 5069 5056 5045 5035 5116 5090 5073 5060 5048 5038 4700 5096 5077 5063 5051 5041 4699 5103 5082 5067 5055 5044 5034 5111 5087 5071 5058 5047 5037 5124 5093 5075 5062 5050 5040 4696 5100 5080 5065 5053 5042 5033 5108 5085 5069 5057 5135 5036 5118 5091 5074 5060 5049 5038 4693 5097 5078 5064 5052 5041 4692 5104 5083 5068 5055 5044 5034 5114 5089 5072 5059 5047 5037 5129 5095 5077 5063 5051 5040 4689 5102 5081 5135 5054 5043 5034 5110 5087 5071 5058 5046 5036 5122 5093 5075 5061 5050 5039 4686 5099 5080 5065 5053 5042 5033 5107 5085 5069 5057 5045 5135 5118 5091 5074 5060 5049 5038 4683 5097 5078 5064 5052 5041 4682 5105 5084 5068 5056 5045 5035 5115 5089 5073 5059 5048 5038 4680 5096 5077 5063 5051 5041 4679 5103 5082 5067 5055 5044 5034 5114 5089 5072 5059 5048 5037 4611 5102 5083 5068 5056 5045 5035 5109 5087 5071 5059 5047 5038 5119 5092 5075 5062 5050 5040 5135 5137 5079 5065 5053 5043 4726 5104 5137 5069 5056 5045 5036 5111 5088 5072 5059 5048 5038 5121 5093 5076 5063 5051 5041 4723 5099 5080 5066 5054 5043 4722 5106 5085 5070 5057 5046 5036 5114 5090 5073 5060 5049 5039 5125 5095 5077 5064 5052 5041 4719 5101 5082 5067 5055 5044 4718 5108 5086 5071 5058 5047 5037 5117 5091 5075 5061 5050 5040 5132 5097 5079 5065 5053 5042 4715 5103 5083 5068 5056 5045 5035 5111 5088 5072 5059 5048 5038 5121 5093 5076 5063 5051 5041 4712 5099 5080 5066 5054 5043 4711 5106 5085 5070 5057 5046 5036 5115 5090 5074 5061 5049 5039 5128 5096 5078 5064 5052 5042 4708 5102 5083 5068 5055 5045 5035 5110 5087 5072 5059 5048 5038 5120 5093 5076 5062 5051 5040 4705 5099 5080 5066 5054 5043 4704 5106 5085 5070 5057 5046 5036 5115 5090 5074 5061 5049 5039 5128 5096 5078 5064 5052 5042 4701 5137 5083 5068 5056 5045 5035 5110 5088 5072 5059 5048 5038 5121 5093 5076 5063 5051 5041 4698 5100 5081 5066 5054 5044 4697 5107 5086 5070 5058 5047 5037 5116 5091 5074 5061 5050 5040 5132 5097 5079 5065 5053 5042 4694 5104 5084 5069 5056 5045 5036 5113 5089 5073 5060 5049 5038 5125 5095 5077 5063 5052 5041 4691 5101 5082 5067 5055 5044 5035 5109 5087 5071 5059 5047 5038 5120 5093 5076 5062 5051 5040 4688 5099 5080 5066 5054 5043 4687 5107 5085 5070 5137 5047 5037 5117 5091 5074 5061 5050 5040 5134 5097 5079 5065 5053 5043 4684 5105 5084 5069 5057 5046 5036 5114 5090 5073 5060 5049 5039 5137 5096 5078 5064 5052 5042 4681 5103 5083 5068 5056 5045 5035 5113 5089 5073 5060 5049 5039 4732 5102 5083 5069 5057 5046 4731 5109 5088 5072 5060 5049 5039 5117 5092 5076 5063 5051 5041 5129 5098 5080 5066 5054 5044 4728 5104 5084 5069 5057 5046 5037 5111 5089 5073 5060 5049 5039 5119 5139 5077 5063 5052 5042 5134 5099 5081 5067 5055 5044 4724 5105 5085 5070 5058 5047 5037 5113 5090 5074 5061 5050 5040 5123 5095 5078 5064 5053 5043 4721 5101 5082 5068 5056 5045 4720 5139 5087 5071 5059 5048 5038 5116 5092 5075 5062 5051 5041 5127 5097 5079 5066 5054 5043 4717 5103 5084 5069 5057 5046 5037 5110 5088 5073 5060 5049 5039 5120 5094 5077 5063 5052 5042 5136 5099 5081 5067 5055 5045 4713 5106 5086 5071 5058 5047 5038 5114 5091 5075 5062 5050 5040 5125 5096 5079 5065 5053 5043 4710 5102 5083 5069 5056 5046 4709 5109 5088 5072 5060 5049 5039 5119 5093 5076 5063 5052 5042 5134 5099 5081 5067 5055 5044 4706 5106 5085 5070 5058 5047 5038 5114 5090 5074 5061 5050 5040 5125 5096 5079 5065 5053 5043 4703 5102 5083 5069 5057 5046 4702 5110 5088 5073 5060 5049 5039 5119 5139 5077 5063 5052 5042 4700 5100 5081 5067 5055 5045 4699 5107 5086 5071 5059 5048 5038 5115 5091 5075 5062 5051 5041 5128 5097 5079 5066 5054 5044 4696 5104 5084 5069 5057 5139 5037 5112 5089 5074 5061 5050 5040 5122 5095 5078 5064 5053 5042 4693 5101 5082 5068 5056 5045 4692 5109 5139 5072 5060 5049 5039 5139 5093 5076 5063 5052 5042 5135 5099 5081 5067 5055 5045 4689 5106 5086 5071 5058 5048 5038 5115 5091 5075 5062 5051 5041 5129 5097 5080 5066 5054 5044 4686 5104 5085 5070 5058 5047 5037 5113 5090 5074 5061 5050 5040 5125 5096 5079 5065 5053 5043 4683 5103 5083 5069 5057 5046 4633 5112 5090 5074 5061 5050 5040 4734 5102 5084 5070 5058 5047 4733 5109 5088 5073 5061 5050 5040 5116 5093 5077 5064 5052 5042 5126 5098 5080 5067 5055 5045 4730 5103 5085 5070 5058 5048 4729 5110 5089 5074 5061 5050 5040 5118 5094 5078 5064 5053 5043 5130 5099 5081 5068 5056 5046 4726 5105 5086 5071 5059 5048 5039 5112 5090 5075 5062 5051 5041 5121 5095 5079 5065 5054 5044 5136 5101 5083 5069 5057 5046 4722 5107 5087 5072 5060 5049 5039 5115 5092 5076 5063 5052 5042 5125 5097 5080 5066 5055 5045 4719 5103 5084 5070 5058 5047 4718 5110 5089 5074 5061 5050 5040 5118 5094 5078 5064 5053 5043 5131 5099 5082 5068 5056 5046 4715 5106 5086 5071 5059 5048 5039 5113 5091 5075 5062 5051 5041 5123 5096 5079 5066 5054 5044 4712 5102 5084 5069 5057 5047 4711 5109 5088 5073 5061 5050 5040 5117 5093 5077 5064 5053 5043 5130 5099 5081 5068 5056 5141 4708 5105 5086 5071 5059 5048 5039 5113 5091 5075 5062 5051 5041 5123 5096 5079 5066 5054 5044 4705 5102 5084 5070 5058 5047 4704 5109 5089 5073 5061 5050 5040 5118 5094 5078 5064 5053 5043 5131 5100 5082 5068 5056 5046 4701 5106 5087 5072 5060 5049 5039 5114 5092 5076 5063 5052 5042 5125 5097 5080 5067 5055 5045 4698 5104 5085 5070 5058 5048 4697 5111 5090 5074 5062 5051 5041 5121 5095 5079 5065 5054 5044 5138 5101 5083 5069 5057 5047 4694 5141 5088 5073 5141 5050 5040 5117 5093 5077 5064 5053 5043 5141 5099 5082 5068 5056 5046 4691 5106 5086 5072 5059 5049 5039 5115 5092 5076 5063 5052 5042 5126 5098 5080 5067 5055 5045 4688 5104 5085 5071 5059 5048 4687 5112 5090 5075 5062 5051 5041 5123 5096 5079 5066 5054 5044 4685 5103 5084 5070 5058 5047 4635 5112 5090 5075 5062 5051 5041 5136 5102 5084 5070 5059 5048 4735 5108 5089 5074 5062 5051 5041 5115 5093 5077 5065 5053 5044 5125 5098 5081 5068 5056 5046 4732 5104 5085 5071 5059 5049 4731 5110 5090 5075 5062 5051 5042 5117 5094 5078 5065 5054 5044 5127 5099 5082 5069 5057 5047 4728 5105 5086 5072 5060 5049 4727 5112 5091 5076 5063 5052 5042 5120 5096 5079 5066 5055 5045 5132 5101 5083 5070 5058 5143 4724 5107 5088 5073 5061 5050 5041 5114 5092 5077 5064 5053 5043 5123 5097 5081 5067 5056 5046 5139 5103 5085 5071 5059 5048 4720 5110 5089 5074 5062 5051 5042 5117 5094 5078 5065 5054 5044 5128 5100 5082 5069 5057 5047 4717 5106 5087 5072 5060 5050 4716 5113 5091 5076 5063 5052 5043 5122 5097 5080 5067 5055 5045 5135 5102 5084 5070 5059 5048 4713 5109 5089 5074 5062 5051 5041 5117 5094 5078 5065 5054 5044 5127 5099 5082 5069 5057 5047 4710 5105 5087 5072 5060 5049 4709 5113 5091 5076 5063 5052 5043 5122 5097 5080 5067 5055 5045 5136 5102 5084 5070 5059 5048 4706 5109 5089 5074 5062 5051 5041 5117 5094 5078 5065 5054 5044 5129 5100 5083 5069 5057 5047 4703 5106 5087 5073 5061 5050 4702 5114 5092 5077 5064 5053 5043 5124 5098 5081 5067 5056 5046 4700 5104 5085 5071 5059 5049 4699 5111 5090 5075 5063 5052 5042 5120 5096 5079 5066 5055 5045 5133 5101 5084 5070 5058 5048 4696 5108 5089 5074 5143 5051 5041 5117 5094 5078 5065 5054 5044 5128 5100 5082 5069 5057 5047 4693 5106 5087 5073 5060 5050 4692 5114 5092 5077 5064 5053 5043 5124 5098 5081 5068 5056 5046 4690 5104 5086 5072 5060 5049 4689 5112 5091 5076 5063 5052 5042 5121 5096 5080 5067 5055 5045 5137 5103 5085 5071 5059 5048 4637 5111 5090 5075 5063 5052 5042 5132 5103 5085 5071 5060 5049 4737 5108 5089 5075 5063 5052 4736 5115 5094 5078 5066 5055 5045 5123 5098 5082 5069 5057 5047 5145 5104 5086 5072 5060 5050 4733 5110 5090 5075 5063 5052 5043 5117 5095 5079 5066 5055 5045 5126 5100 5083 5070 5058 5048 5141 5105 5087 5073 5061 5145 4729 5145 5091 5076 5064 5053 5043 5119 5096 5080 5067 5056 5046 5129 5101 5084 5071 5059 5049 4726 5107 5088 5074 5062 5051 4725 5114 5093 5078 5065 5054 5044 5122 5098 5145 5068 5057 5047 5134 5103 5086 5072 5060 5050 4722 5109 5090 5075 5063 5052 5043 5117 5095 5079 5066 5055 5045 5126 5100 5083 5070 5058 5048 4719 5106 5087 5073 5061 5051 4718 5112 5092 5077 5064 5054 5044 5121 5097 5081 5068 5057 5046 5132 5102 5085 5071 5060 5049 4715 5109 5089 5075 5063 5052 4714 5116 5094 5079 5066 5055 5045 5126 5100 5083 5069 5058 5048 5142 5105 5087 5073 5061 5051 4711 5112 5092 5077 5064 5054 5044 5121 5097 5081 5068 5057 5145 5133 5103 5085 5071 5060 5049 4708 5109 5090 5075 5063 5052 5043 5117 5095 5079 5066 5055 5045 5127 5100 5083 5070 5058 5048 4705 5106 5088 5074 5062 5051 4704 5113 5093 5077 5065 5054 5044 5122 5098 5082 5068 5057 5047 5136 5104 5086 5072 5060 5050 4701 5111 5091 5076 5064 5053 5043 5119 5096 5080 5067 5056 5046 5130 5102 5084 5071 5059 5049 4698 5108 5089 5075 5063 5052 4697 5116 5094 5079 5066 5055 5045 5126 5100 5083 5070 5058 5048 4695 5106 5088 5073 5145 5051 4694 5114 5093 5078 5065 5054 5044 5123 5098 5082 5069 5057 5047 5138 5104 5086 5072 5061 5050 4691 5112 5091 5076 5064 5053 5043 5120 5097 5081 5068 5056 5046 5133 5103 5085 5145 5060 5049 4639 5111 5091 5076 5064 5053 5043 5130 5103 5086 5072 5061 5050 4739 5108 5090 5076 5064 5053 4738 5115 5094 5079 5067 5056 5046 5122 5099 5083 5070 5058 5048 5133 5104 5087 5073 5061 5051 4735 5110 5091 5076 5064 5054 4734 5116 5095 5080 5067 5056 5046 5125 5100 5084 5070 5059 5049 5137 5105 5088 5074 5062 5052 4731 5111 5092 5077 5065 5054 5045 5119 5097 5081 5068 5057 5047 5128 5102 5085 5071 5060 5050 5143 5107 5089 5075 5063 5053 4727 5114 5093 5147 5066 5055 5046 5121 5098 5082 5069 5058 5048 5132 5104 5086 5073 5061 5051 4724 5109 5091 5076 5064 5054 4723 5116 5095 5080 5067 5056 5047 5125 5100 5084 5071 5059 5049 5138 5106 5088 5074 5062 5052 4720 5112 5093 5078 5065 5055 5045 5120 5097 5082 5069 5058 5048 5130 5103 5086 5072 5061 5050 4717 5109 5090 5076 5064 5053 4716 5116 5095 5080 5067 5056 5046 5124 5100 5084 5070 5059 5049 5137 5106 5088 5074 5062 5052 4713 5112 5092 5078 5065 5055 5045 5120 5097 5082 5069 5058 5048 5130 5103 5086 5072 5061 5050 4710 5109 5090 5076 5064 5053 4709 5116 5095 5080 5067 5056 5046 5125 5100 5084 5071 5059 5049 5140 5106 5088 5074 5063 5052 4706 5113 5093 5078 5066 5055 5045 5122 5098 5082 5069 5058 5048 5133 5104 5087 5073 5061 5051 4703 5111 5091 5077 5065 5054 4702 5118 5096 5081 5068 5057 5047 5147 5102 5085 5072 5060 5050 4700 5108 5090 5076 5064 5053 4699 5116 5095 5080 5067 5056 5046 5125 5100 5084 5071 5059 5049 5140 5106 5088 5074 5063 5052 4696 5113 5093 5078 5066 5055 5045 5122 5099 5083 5070 5058 5048 5134 5105 5087 5073 5062 5051 4693 5111 5092 5077 5065 5054 5045 5120 5097 5082 5069 5058 5048 5131 5103 5086 5072 5061 5051 4641 5111 5092 5077 5065 5054 5045 5129 5103 5087 5073 5062 5052 5142 5149 5090 5149 5065 5054 4740 5115 5095 5080 5068 5057 5047 5122 5099 5084 5071 5060 5050 5131 5104 5087 5074 5062 5052 4737 5110 5091 5077 5065 5055 4736 5116 5096 5081 5068 5057 5048 5124 5100 5084 5071 5060 5050 5134 5106 5088 5075 5063 5053 4733 5111 5093 5078 5066 5056 4732 5118 5097 5082 5069 5058 5048 5149 5102 5086 5072 5061 5051 5139 5107 5090 5076 5064 5054 4729 5114 5094 5079 5067 5056 5047 5121 5099 5083 5070 5059 5049 5130 5104 5087 5074 5062 5052 4726 5110 5091 5077 5065 5055 4725 5116 5096 5081 5068 5149 5048 5124 5101 5085 5072 5060 5050 5135 5106 5089 5075 5063 5053 4722 5112 5093 5079 5067 5056 4721 5119 5098 5082 5070 5059 5049 5129 5103 5086 5073 5062 5052 5144 5109 5091 5077 5065 5054 4718 5116 5095 5080 5068 5057 5047 5124 5100 5084 5071 5060 5050 5135 5106 5089 5075 5063 5053 4715 5112 5093 5079 5066 5056 4714 5120 5098 5082 5070 5059 5049 5129 5103 5087 5073 5062 5052 5145 5109 5091 5077 5065 5055 4711 5116 5096 5081 5068 5057 5048 5125 5101 5085 5072 5061 5050 5137 5107 5089 5075 5064 5053 4708 5113 5094 5079 5067 5056 5047 5121 5099 5083 5070 5059 5049 5131 5104 5087 5074 5062 5052 4705 5111 5092 5078 5066 5055 4704 5118 5097 5082 5069 5058 5048 5127 5102 5086 5073 5061 5051 5142 5108 5090 5076 5065 5054 4701 5115 5095 5080 5068 5057 5047 5124 5101 5085 5072 5060 5050 5136 5107 5089 5075 5064 5053 4698 5113 5094 5079 5067 5056 5047 5121 5099 5083 5071 5059 5050 5132 5105 5088 5074 5063 5052 4695 5111 5093 5078 5066 5056 4694 5119 5098 5082 5070 5059 5049 5129 5103 5087 5073 5062 5052 4643 5111 5092 5078 5066 5055 4618 5128 5104 5087 5074 5063 5053 5139 5109 5091 5077 5066 5055 4742 5115 5095 5081 5069 5058 4741 5121 5100 5084 5072 5061 5051 5130 5105 5088 5075 5063 5053 5142 5110 5092 5078 5066 5056 4738 5116 5096 5082 5069 5059 5049 5123 5101 5085 5072 5061 5051 5132 5106 5089 5076 5064 5054 4735 5112 5093 5079 5067 5057 4734 5118 5098 5083 5070 5059 5050 5126 5102 5086 5073 5062 5052 5136 5108 5090 5077 5065 5055 4731 5114 5095 5080 5068 5058 4730 5120 5099 5084 5071 5060 5051 5129 5104 5088 5075 5063 5053 5142 5110 5092 5078 5066 5056 4727 5116 5096 5082 5069 5059 5049 5124 5101 5085 5073 5062 5052 5133 5106 5090 5076 5065 5054 4724 5112 5094 5080 5068 5057 4723 5119 5098 5083 5071 5060 5050 5128 5151 5087 5074 5063 5053 5140 5109 5091 5078 5066 5056 4720 5115 5096 5081 5069 5058 5049 5123 5101 5085 5072 5061 5051 5133 5106 5089 5076 5064 5054 4717 5112 5094 5080 5068 5057 4716 5119 5098 5083 5071 5060 5050 5128 5104 5087 5074 5063 5053 5141 5109 5092 5078 5066 5056 4713 5116 5096 5082 5069 5059 5049 5124 5101 5086 5073 5062 5052 5135 5107 5090 5076 5065 5055 4710 5113 5094 5080 5068 5057 4709 5121 5099 5084 5071 5060 5051 5130 5105 5088 5075 5064 5053 5151 5111 5093 5079 5067 5056 4706 5118 5098 5083 5070 5059 5050 5126 5103 5087 5074 5062 5052 5139 5109 5091 5077 5066 5055 4703 5115 5096 5081 5069 5058 5049 5151 5101 5085 5073 5061 5052 5134 5107 5090 5076 5065 5054 4700 5113 5095 5080 5068 5057 4699 5121 5100 5084 5072 5061 5051 5131 5105 5089 5075 5064 5054 4697 5112 5093 5079 5067 5057 4696 5119 5098 5083 5071 5060 5050 5128 5104 5088 5074 5063 5053 5147 5111 5093 5079 5067 5056 4619 5127 5104 5088 5075 5064 5054 5137 5109 5092 5078 5067 5057 4744 5115 5096 5082 5070 5059 4743 5121 5100 5085 5073 5062 5052 5129 5105 5089 5076 5065 5055 5140 5110 5093 5079 5067 5057 4740 5116 5097 5083 5070 5060 4739 5123 5153 5086 5074 5063 5053 5131 5106 5090 5077 5065 5055 5144 5112 5094 5080 5068 5058 4736 5118 5098 5084 5071 5061 5051 5125 5103 5087 5074 5063 5053 5135 5108 5091 5078 5066 5056 4733 5114 5095 5081 5069 5059 4732 5120 5100 5085 5072 5062 5052 5128 5105 5089 5076 5064 5054 5139 5110 5093 5079 5067 5057 4729 5116 5097 5083 5070 5060 4728 5123 5102 5086 5074 5063 5053 5132 5107 5090 5077 5066 5055 5153 5113 5095 5081 5069 5058 4725 5119 5099 5084 5072 5061 5051 5127 5104 5088 5075 5064 5054 5138 5109 5092 5079 5067 5057 4722 5116 5097 5082 5070 5060 4721 5123 5101 5086 5073 5062 5053 5132 5107 5090 5077 5153 5055 5146 5112 5094 5080 5069 5058 4718 5119 5099 5084 5072 5061 5051 5127 5104 5088 5075 5064 5054 5138 5110 5092 5079 5067 5057 4715 5116 5097 5083 5070 5060 4714 5124 5102 5153 5074 5063 5053 5133 5107 5091 5077 5066 5056 5150 5113 5095 5081 5069 5059 4711 5120 5100 5085 5072 5062 5052 5129 5105 5089 5076 5065 5055 5142 5111 5093 5080 5068 5058 4708 5118 5098 5084 5071 5061 5051 5126 5103 5088 5075 5064 5054 5137 5109 5092 5078 5067 5057 4705 5153 5097 5082 5070 5060 4704 5123 5102 5086 5074 5063 5053 5133 5107 5091 5077 5066 5056 4702 5114 5095 5081 5069 5059 4701 5121 5100 5085 5073 5062 5052 5130 5106 5089 5076 5065 5055 5144 5112 5094 5080 5068 5058 4698 5119 5099 5084 5072 5061 5051 5128 5104 5088 5075 5064 5054 5143 5111 5094 5080 5068 5058 4620 5127 5105 5089 5076 5065 5055 5135 5109 5093 5079 5068 5058 5150 5115 5097 5083 5071 5060 4745 5121 5101 5086 5074 5063 5053 5128 5106 5090 5077 5066 5056 5138 5111 5094 5080 5069 5058 4742 5116 5098 5084 5072 5061 4741 5123 5102 5087 5075 5064 5054 5155 5107 5091 5078 5155 5056 5141 5112 5095 5081 5069 5059 4738 5118 5099 5085 5072 5062 4737 5125 5104 5088 5076 5065 5055 5133 5108 5092 5079 5067 5057 5155 5114 5096 5082 5070 5060 4734 5120 5155 5086 5073 5063 5053 5128 5105 5090 5077 5066 5056 5137 5110 5094 5080 5069 5058 4731 5116 5098 5084 5072 5061 4730 5123 5102 5087 5075 5064 5054 5131 5107 5091 5078 5067 5057 5143 5113 5095 5082 5070 5059 4727 5119 5100 5085 5073 5062 5053 5127 5105 5089 5076 5065 5055 5136 5110 5093 5080 5068 5058 4724 5116 5097 5083 5071 5061 4723 5123 5102 5087 5075 5064 5054 5131 5107 5091 5078 5067 5057 5143 5113 5095 5081 5070 5059 4720 5119 5100 5085 5073 5062 5053 5127 5105 5089 5076 5065 5055 5137 5110 5093 5080 5068 5058 4717 5116 5098 5084 5072 5061 4716 5123 5103 5087 5075 5064 5054 5132 5108 5155 5078 5067 5057 5155 5114 5096 5082 5070 5060 4713 5120 5101 5086 5074 5063 5053 5129 5106 5090 5077 5066 5056 5140 5111 5094 5081 5069 5059 4710 5118 5099 5084 5072 5062 4709 5155 5104 5088 5076 5065 5055 5135 5109 5093 5079 5068 5058 4707 5116 5097 5083 5071 5061 4706 5123 5102 5087 5075 5064 5054 5132 5108 5091 5078 5067 5057 5146 5114 5096 5082 5070 5060 4703 5121 5101 5086 5074 5063 5053 5129 5106 5090 5077 5066 5056 5141 5112 5095 5081 5069 5059 4700 5119 5100 5085 5073 5062 5053 5127 5105 5089 5076 5065 5055 5140 5112 5094 5081 5069 5059 4621 5126 5105 5090 5077 5066 5057 5134 5110 5094 5080 5069 5059 5146 5115 5098 5084 5072 5062 4747 5121 5102 5087 5075 5064 5055 5128 5106 5091 5078 5067 5057 5137 5111 5094 5081 5070 5060 5150 5116 5098 5084 5073 5062 4743 5123 5103 5088 5076 5065 5055 5130 5107 5092 5079 5068 5058 5140 5157 5096 5082 5071 5060 4740 5118 5100 5085 5074 5063 4739 5125 5104 5089 5077 5066 5056 5133 5109 5093 5080 5069 5059 5144 5114 5097 5083 5072 5061 4736 5120 5101 5087 5075 5064 4735 5127 5106 5090 5078 5067 5057 5136 5111 5094 5081 5070 5059 5150 5117 5099 5085 5073 5062 4732 5123 5103 5088 5076 5065 5055 5131 5108 5092 5079 5068 5058 5141 5113 5096 5083 5071 5061 4729 5119 5100 5086 5074 5063 4728 5126 5105 5090 5077 5066 5056 5135 5110 5094 5081 5069 5059 5157 5116 5098 5084 5072 5062 4725 5123 5103 5088 5076 5065 5055 5130 5108 5092 5079 5068 5058 5141 5113 5096 5082 5071 5061 4722 5119 5100 5086 5074 5063 4721 5127 5105 5090 5077 5066 5057 5136 5111 5094 5081 5069 5059 5150 5116 5098 5084 5073 5062 4718 5123 5103 5088 5076 5065 5055 5132 5108 5092 5079 5068 5058 5143 5114 5097 5083 5071 5061 4715 5120 5101 5087 5075 5064 4714 5128 5106 5091 5078 5067 5057 5138 5112 5095 5082 5070 5060 4712 5118 5100 5085 5073 5063 4711 5125 5105 5089 5077 5066 5056 5134 5110 5094 5080 5069 5059 5148 5116 5098 5084 5072 5062 4708 5123 5103 5088 5076 5065 5055 5131 5108 5092 5079 5068 5058 5143 5114 5097 5083 5071 5061 4705 5121 5102 5087 5075 5064 4704 5129 5107 5091 5078 5067 5057 5140 5113 5096 5082 5071 5060 4702 5119 5100 5086 5074 5063 4701 5127 5105 5090 5157 5067 5057 5139 5112 5095 5082 5070 5060 4622 5126 5106 5091 5078 5068 5058 5134 5110 5094 5159 5070 5060 5144 5116 5098 5085 5073 5063 4749 5121 5102 5088 5076 5065 4748 5128 5107 5092 5079 5068 5058 5136 5112 5095 5082 5071 5061 5147 5117 5099 5085 5074 5063 4745 5123 5103 5089 5077 5066 4744 5130 5108 5093 5080 5069 5059 5138 5113 5096 5083 5072 5062 5152 5118 5100 5086 5075 5064 4741 5125 5105 5090 5078 5067 5057 5132 5110 5094 5081 5070 5060 5142 5115 5098 5084 5073 5062 4738 5121 5102 5088 5076 5065 4737 5127 5106 5091 5079 5068 5058 5135 5111 5095 5082 5071 5061 5147 5117 5099 5086 5074 5063 4734 5123 5104 5089 5077 5066 5057 5130 5108 5093 5080 5069 5059 5140 5114 5097 5084 5072 5062 5159 5119 5101 5087 5075 5065 4730 5126 5106 5091 5078 5159 5058 5134 5111 5095 5082 5070 5060 5146 5116 5099 5085 5074 5063 4727 5123 5103 5089 5077 5066 4726 5130 5108 5093 5080 5069 5059 5140 5114 5097 5083 5072 5062 4724 5120 5101 5087 5075 5065 4723 5126 5106 5091 5078 5068 5058 5135 5111 5095 5082 5071 5061 5147 5117 5099 5085 5074 5063 4720 5123 5104 5089 5077 5066 5057 5131 5109 5093 5080 5069 5059 5141 5114 5097 5084 5072 5062 4717 5121 5102 5088 5076 5065 4716 5128 5107 5092 5079 5068 5058 5137 5112 5096 5083 5071 5061 5152 5118 5100 5086 5075 5064 4713 5125 5105 5090 5078 5067 5057 5134 5110 5094 5081 5070 5060 5146 5116 5099 5085 5159 5063 4710 5123 5104 5089 5077 5066 5057 5131 5109 5093 5080 5069 5059 5142 5115 5098 5084 5073 5062 4707 5121 5102 5088 5076 5065 4706 5129 5107 5092 5079 5068 5059 5138 5113 5096 5083 5072 5062 5156 5119 5101 5087 5075 5065 4703 5127 5106 5091 5079 5068 5058 5138 5113 5096 5083 5071 5061 4623 5126 5107 5092 5080 5069 5059 5133 5111 5095 5083 5071 5062 5142 5116 5099 5086 5074 5064 5158 5121 5103 5089 5077 5067 4750 5128 5107 5093 5080 5069 5060 5135 5112 5096 5083 5072 5062 5145 5117 5100 5087 5075 5065 4747 5123 5104 5090 5078 5067 4746 5130 5109 5093 5081 5070 5060 5138 5113 5097 5084 5073 5063 5149 5119 5101 5087 5076 5065 4743 5125 5106 5091 5079 5068 4742 5132 5110 5095 5082 5071 5061 5141 5115 5099 5085 5074 5064 5155 5121 5103 5089 5077 5066 4739 5127 5107 5092 5080 5069 5059 5135 5112 5096 5083 5072 5062 5145 5117 5100 5087 5075 5065 4736 5123 5104 5090 5078 5067 4735 5130 5109 5094 5081 5070 5060 5139 5114 5098 5085 5073 5063 5152 5120 5102 5088 5076 5066 4732 5126 5106 5092 5079 5069 5059 5134 5111 5096 5083 5072 5062 5144 5117 5100 5086 5075 5064 4729 5123 5104 5090 5078 5067 4728 5130 5109 5094 5081 5070 5060 5139 5114 5098 5085 5073 5063 5152 5120 5102 5088 5076 5066 4725 5126 5107 5092 5080 5069 5059 5134 5112 5096 5083 5072 5062 5145 5117 5100 5087 5075 5065 4722 5161 5105 5090 5078 5068 4721 5131 5110 5094 5082 5071 5061 5140 5115 5098 5085 5074 5063 5156 5121 5103 5089 5077 5066 4718 5128 5108 5093 5080 5069 5060 5136 5113 5097 5084 5072 5062 5149 5119 5101 5087 5076 5065 4715 5125 5106 5091 5079 5068 5059 5133 5111 5095 5083 5071 5061 5144 5117 5100 5086 5075 5064 4712 5123 5104 5090 5078 5067 4711 5131 5109 5094 5081 5070 5061 5140 5115 5098 5085 5074 5064 5157 5121 5103 5089 5077 5067 4708 5129 5108 5093 5081 5070 5060 5138 5161 5097 5084 5073 5063 5151 5120 5102 5088 5076 5066 4705 5127 5107 5092 5080 5069 5059 5137 5113 5097 5084 5073 5063 4756 5163 5107 5093 5081 5070 4755 5133 5112 5096 5084 5073 5063 5163 5163 5100 5087 5075 5065 5154 5122 5104 5090 5078 5068 4752 5128 5108 5094 5081 5071 5061 5135 5113 5097 5084 5073 5063 5144 5118 5101 5088 5076 5066 5159 5123 5105 5091 5079 5069 4748 5130 5109 5094 5082 5071 5061 5137 5114 5098 5085 5074 5064 5147 5119 5102 5089 5077 5067 4745 5125 5106 5092 5080 5069 4744 5132 5111 5096 5083 5072 5062 5140 5116 5099 5086 5075 5065 5152 5121 5104 5090 5078 5068 4741 5127 5108 5093 5081 5070 5061 5135 5113 5097 5084 5073 5063 5144 5118 5101 5088 5076 5066 4738 5124 5105 5091 5079 5069 4737 5130 5110 5095 5082 5071 5062 5138 5115 5099 5086 5074 5064 5149 5120 5103 5089 5077 5067 4734 5126 5107 5093 5081 5070 4733 5134 5112 5097 5084 5073 5063 5143 5117 5101 5087 5076 5066 5159 5123 5105 5091 5079 5068 4730 5130 5110 5095 5082 5071 5062 5138 5115 5099 5086 5074 5064 5150 5120 5103 5089 5077 5067 4727 5127 5107 5093 5081 5070 4726 5134 5112 5097 5084 5073 5063 5144 5118 5101 5088 5076 5066 4724 5124 5105 5091 5079 5069 4723 5131 5110 5095 5083 5072 5062 5140 5115 5099 5086 5075 5065 5152 5121 5104 5090 5078 5068 4720 5128 5108 5094 5081 5071 5061 5136 5113 5098 5085 5074 5064 5147 5119 5102 5088 5077 5067 4717 5126 5107 5092 5080 5070 4716 5133 5112 5096 5084 5073 5063 5143 5117 5101 5087 5076 5066 5160 5123 5105 5091 5079 5069 4713 5131 5110 5095 5083 5072 5062 5140 5116 5099 5086 5075 5065 5153 5122 5104 5090 5078 5068 4710 5129 5109 5094 5082 5071 5061 5137 5114 5098 5085 5074 5064 5149 5120 5103 5089 5077 5067 4707 5127 5108 5093 5081 5070 4657 5136 5114 5098 5085 5074 5064 4758 5127 5108 5094 5082 5071 4757 5133 5112 5097 5085 5074 5064 5141 5117 5101 5088 5077 5067 5165 5122 5105 5091 5079 5069 4754 5128 5109 5095 5082 5072 4753 5135 5113 5098 5085 5074 5065 5143 5118 5102 5089 5077 5067 5155 5124 5106 5092 5080 5070 4750 5130 5110 5095 5083 5072 5063 5137 5115 5099 5086 5075 5065 5146 5120 5103 5090 5078 5068 5162 5125 5107 5093 5081 5071 4746 5132 5112 5097 5084 5073 5064 5140 5116 5100 5087 5076 5066 5150 5122 5104 5091 5079 5069 4743 5128 5109 5094 5082 5072 4742 5134 5113 5098 5085 5074 5065 5143 5118 5102 5089 5077 5067 5156 5124 5106 5092 5080 5070 4739 5130 5165 5096 5083 5073 5063 5138 5115 5100 5087 5076 5066 5148 5121 5104 5090 5079 5068 4736 5127 5108 5094 5082 5071 4735 5134 5113 5098 5085 5074 5064 5142 5118 5165 5088 5077 5067 5155 5123 5106 5092 5080 5070 4732 5130 5110 5096 5083 5073 5063 5138 5115 5100 5087 5076 5066 5148 5121 5104 5090 5079 5068 4729 5127 5108 5094 5082 5071 4728 5134 5113 5098 5085 5074 5064 5143 5118 5102 5089 5077 5067 5157 5124 5106 5092 5080 5070 4725 5131 5111 5096 5084 5073 5063 5139 5116 5100 5087 5076 5066 5150 5122 5104 5091 5079 5069 4722 5128 5109 5095 5082 5072 4721 5136 5114 5099 5086 5075 5065 5146 5120 5103 5090 5078 5068 4719 5126 5107 5093 5081 5071 4718 5133 5112 5097 5085 5074 5064 5142 5118 5101 5088 5077 5067 5156 5124 5106 5092 5080 5070 4715 5131 5111 5096 5084 5073 5063 5139 5116 5100 5087 5076 5066 5151 5122 5105 5091 5079 5069 4712 5129 5109 5095 5083 5072 4711 5137 5115 5099 5086 5075 5065 5148 5165 5104 5090 5079 5068 4709 5127 5108 5094 5082 5071 4659 5136 5114 5099 5086 5075 5065 5163 5127 5109 5095 5083 5072 4759 5133 5113 5098 5086 5075 5065 5140 5118 5102 5089 5078 5068 5150 5123 5106 5092 5081 5070 4756 5128 5110 5096 5084 5073 4755 5135 5114 5099 5087 5076 5066 5142 5119 5103 5090 5078 5068 5153 5124 5107 5093 5081 5071 4752 5130 5111 5096 5084 5074 4751 5137 5115 5100 5087 5076 5067 5145 5120 5104 5091 5079 5069 5158 5126 5108 5094 5082 5072 4748 5132 5112 5098 5085 5075 5065 5139 5117 5101 5167 5077 5067 5149 5122 5105 5092 5080 5070 4745 5128 5109 5095 5083 5073 4744 5134 5114 5099 5086 5076 5066 5143 5119 5103 5090 5079 5068 5154 5124 5107 5093 5082 5071 4741 5130 5111 5097 5085 5074 4740 5138 5116 5101 5088 5077 5067 5147 5121 5105 5091 5080 5070 5162 5127 5109 5095 5083 5072 4737 5134 5113 5167 5086 5075 5066 5142 5118 5102 5089 5078 5068 5153 5124 5107 5093 5081 5071 4734 5130 5111 5097 5084 5074 4733 5138 5116 5100 5088 5077 5067 5147 5121 5105 5091 5080 5070 5163 5127 5109 5095 5083 5167 4730 5134 5114 5099 5086 5075 5066 5142 5119 5103 5090 5078 5068 5154 5125 5107 5093 5082 5071 4727 5131 5112 5097 5085 5074 5065 5139 5117 5101 5088 5077 5067 5149 5122 5105 5092 5080 5070 4724 5128 5110 5096 5084 5073 4723 5136 5115 5100 5087 5076 5066 5145 5120 5104 5091 5079 5069 5159 5126 5108 5094 5167 5072 4720 5133 5113 5098 5086 5075 5065 5142 5118 5102 5089 5078 5068 5154 5124 5107 5093 5081 5071 4717 5131 5112 5097 5085 5074 5065 5139 5117 5101 5088 5077 5067 5150 5123 5106 5092 5081 5070 4714 5129 5110 5096 5084 5073 4713 5137 5115 5100 5087 5076 5067 5147 5121 5104 5091 5080 5070 5164 5127 5109 5095 5083 5073 4661 5136 5115 5100 5087 5076 5066 5159 5169 5110 5096 5084 5074 4761 5133 5114 5099 5087 5076 5067 5140 5118 5103 5090 5079 5069 5149 5123 5107 5093 5082 5072 5163 5129 5111 5097 5085 5074 4757 5135 5115 5100 5088 5077 5067 5142 5119 5104 5091 5080 5070 5152 5125 5108 5094 5083 5072 4754 5130 5112 5097 5086 5075 4753 5137 5116 5101 5089 5078 5068 5145 5121 5105 5092 5081 5070 5155 5126 5109 5095 5083 5073 4750 5132 5113 5099 5086 5076 4749 5139 5118 5102 5090 5079 5069 5148 5123 5106 5093 5082 5071 5161 5128 5110 5096 5085 5074 4746 5135 5115 5100 5088 5077 5067 5142 5120 5104 5091 5080 5070 5152 5125 5108 5094 5083 5072 4743 5131 5112 5098 5086 5075 4742 5138 5117 5102 5089 5078 5068 5146 5122 5105 5092 5081 5071 5159 5127 5110 5096 5084 5074 4739 5134 5114 5100 5087 5077 5067 5141 5119 5103 5091 5079 5070 5151 5124 5169 5094 5169 5072 4736 5130 5112 5098 5086 5075 4735 5169 5117 5101 5089 5078 5068 5146 5122 5106 5092 5081 5071 5159 5128 5110 5096 5084 5074 4732 5134 5114 5100 5087 5077 5067 5142 5119 5104 5091 5080 5070 5153 5125 5108 5094 5083 5073 4729 5131 5112 5098 5086 5075 4728 5139 5117 5102 5089 5078 5069 5148 5123 5106 5093 5082 5071 5169 5129 5111 5097 5085 5074 4725 5136 5116 5101 5088 5077 5068 5144 5121 5105 5092 5080 5070 5157 5127 5109 5095 5084 5073 4722 5133 5114 5099 5087 5076 5067 5141 5119 5103 5091 5079 5069 5152 5125 5108 5094 5083 5072 4719 5131 5112 5098 5086 5075 4718 5139 5117 5102 5090 5079 5069 5149 5123 5106 5093 5082 5072 5166 5129 5111 5097 5085 5075 4715 5137 5116 5101 5089 5078 5068 5146 5122 5105 5092 5081 5071 5160 5128 5110 5096 5084 5074 4663 5136 5116 5101 5088 5077 5068 5157 5128 5111 5097 5085 5075 4763 5134 5115 5100 5088 5078 4762 5140 5119 5104 5091 5080 5070 5148 5124 5108 5094 5083 5073 5160 5129 5111 5098 5086 5076 4759 5135 5116 5101 5089 5078 5069 5142 5120 5105 5092 5081 5071 5151 5125 5171 5095 5084 5074 5165 5131 5113 5099 5087 5076 4755 5137 5117 5102 5090 5079 5069 5144 5122 5106 5093 5082 5072 5154 5127 5110 5096 5085 5074 4752 5132 5114 5100 5088 5077 4751 5139 5118 5103 5091 5080 5070 5147 5123 5107 5094 5083 5073 5159 5129 5111 5097 5086 5075 4748 5135 5116 5101 5089 5078 4747 5142 5120 5105 5092 5081 5071 5151 5125 5109 5095 5084 5074 5167 5131 5113 5099 5087 5076 4744 5138 5117 5103 5090 5079 5070 5146 5122 5106 5093 5082 5072 5157 5128 5111 5097 5085 5075 4741 5134 5115 5101 5088 5078 4740 5141 5120 5104 5092 5081 5071 5171 5125 5108 5095 5084 5074 5166 5131 5113 5099 5087 5076 4737 5138 5117 5102 5090 5079 5070 5146 5122 5106 5093 5082 5072 5157 5128 5111 5097 5085 5075 4734 5134 5115 5101 5089 5078 4733 5142 5120 5105 5092 5081 5071 5152 5126 5109 5171 5084 5074 4731 5132 5113 5099 5087 5077 4730 5139 5118 5103 5091 5080 5070 5147 5123 5107 5094 5083 5073 5160 5129 5112 5098 5086 5076 4727 5136 5116 5102 5089 5079 5069 5144 5121 5106 5093 5082 5072 5155 5127 5110 5096 5085 5075 4724 5134 5115 5100 5088 5078 4723 5141 5120 5104 5092 5081 5071 5151 5125 5109 5095 5084 5074 4721 5132 5113 5099 5087 5077 4720 5139 5118 5103 5091 5080 5070 5148 5124 5107 5094 5083 5073 5162 5130 5112 5098 5086 5076 4717 5137 5117 5102 5090 5079 5069 5145 5122 5106 5093 5082 5072 5158 5128 5111 5097 5085 5075 4665 5136 5117 5102 5090 5079 5069 5156 5129 5112 5098 5087 5076 4765 5134 5116 5101 5089 5079 4764 5140 5120 5105 5092 5082 5072 5148 5125 5109 5096 5084 5074 5158 5130 5112 5099 5087 5077 4761 5135 5173 5102 5090 5079 4760 5142 5121 5106 5093 5082 5072 5150 5126 5109 5096 5085 5075 5162 5131 5113 5100 5088 5078 4757 5137 5118 5103 5091 5080 5071 5144 5122 5107 5094 5083 5073 5153 5127 5111 5097 5086 5076 5168 5133 5115 5101 5089 5078 4753 5139 5119 5104 5092 5081 5071 5147 5124 5108 5095 5084 5074 5157 5129 5112 5099 5087 5077 4750 5135 5116 5102 5090 5079 4749 5142 5121 5106 5093 5082 5072 5151 5126 5110 5096 5085 5075 5163 5132 5114 5100 5088 5078 4746 5138 5118 5104 5091 5081 5071 5173 5123 5107 5095 5083 5074 5155 5128 5173 5098 5173 5076 4743 5134 5116 5102 5090 5079 4742 5141 5121 5105 5093 5082 5072 5150 5126 5109 5096 5085 5075 5173 5131 5114 5100 5088 5078 4739 5138 5118 5104 5091 5081 5071 5146 5123 5107 5095 5084 5074 5156 5129 5112 5098 5087 5076 4736 5135 5116 5102 5090 5079 4735 5142 5121 5106 5093 5082 5072 5151 5126 5110 5097 5085 5075 5165 5132 5114 5100 5088 5078 4732 5139 5119 5104 5092 5081 5071 5147 5124 5108 5095 5084 5074 5158 5130 5173 5099 5087 5077 4729 5136 5117 5103 5091 5080 4728 5144 5122 5107 5094 5083 5073 5154 5128 5111 5098 5086 5076 4726 5134 5116 5101 5089 5079 4725 5141 5173 5105 5093 5082 5072 5150 5126 5110 5096 5085 5075 5165 5132 5114 5100 5088 5078 4722 5139 5119 5104 5092 5081 5071 5148 5124 5108 5095 5084 5074 5160 5130 5113 5099 5173 5077 4719 5137 5118 5103 5091 5080 5071 5145 5123 5107 5095 5083 5073 5156 5129 5112 5098 5087 5076 4667 5137 5117 5103 5091 5080 4630 5155 5129 5113 5099 5088 5078 5168 5134 5116 5102 5091 5080 4766 5141 5121 5106 5094 5083 5073 5148 5125 5110 5097 5086 5076 5157 5130 5113 5100 5088 5078 4763 5136 5117 5103 5091 5081 4762 5142 5122 5107 5094 5083 5074 5150 5126 5110 5097 5086 5076 5160 5132 5114 5101 5089 5079 4759 5137 5119 5104 5092 5175 4758 5144 5123 5108 5095 5084 5074 5152 5128 5112 5098 5087 5077 5165 5133 5116 5102 5090 5080 4755 5140 5120 5105 5093 5082 5073 5147 5125 5109 5096 5085 5075 5156 5130 5113 5100 5088 5078 4752 5136 5117 5103 5091 5081 4751 5142 5122 5107 5094 5083 5074 5150 5127 5111 5098 5086 5076 5161 5132 5115 5101 5089 5079 4748 5138 5119 5105 5093 5082 4747 5145 5124 5108 5096 5085 5075 5155 5129 5112 5099 5088 5078 5170 5135 5117 5103 5091 5080 4744 5175 5121 5106 5094 5083 5073 5150 5126 5110 5097 5086 5076 5161 5132 5115 5101 5089 5079 4741 5138 5119 5105 5092 5082 4740 5175 5124 5108 5096 5085 5075 5155 5129 5113 5099 5088 5078 5171 5135 5117 5103 5091 5081 4737 5142 5122 5107 5094 5083 5074 5151 5127 5111 5098 5087 5076 5163 5133 5115 5101 5090 5079 4734 5139 5120 5105 5093 5082 5073 5147 5125 5109 5096 5085 5075 5157 5130 5113 5100 5088 5078 4731 5137 5118 5104 5092 5081 4730 5144 5123 5108 5095 5084 5074 5153 5128 5112 5099 5087 5077 5168 5134 5116 5102 5091 5080 4727 5141 5121 5106 5094 5083 5073 5150 5127 5111 5098 5086 5076 5162 5133 5115 5101 5090 5079 4724 5139 5120 5105 5093 5082 5073 5147 5125 5109 5097 5085 5076 5158 5131 5114 5100 5089 5078 4721 5137 5119 5104 5092 5082 4720 5145 5124 5108 5096 5085 5075 5155 5129 5113 5099 5088 5078 4669 5137 5118 5104 5092 5081 4631 5154 5130 5114 5100 5089 5079 5166 5135 5117 5104 5092 5081 4768 5141 5122 5107 5095 5084 4767 5148 5126 5111 5098 5087 5077 5156 5131 5114 5101 5090 5079 5169 5136 5118 5104 5093 5082 4764 5142 5123 5108 5096 5085 5075 5150 5127 5111 5099 5088 5078 5159 5132 5115 5102 5090 5080 4761 5138 5119 5105 5093 5083 4760 5144 5124 5109 5096 5086 5076 5152 5129 5113 5100 5088 5078 5163 5134 5117 5103 5091 5081 4757 5140 5121 5106 5094 5084 4756 5147 5125 5110 5177 5087 5077 5155 5130 5114 5101 5089 5079 5169 5136 5118 5104 5092 5082 4753 5142 5123 5108 5096 5085 5075 5150 5127 5112 5099 5088 5078 5160 5133 5116 5102 5091 5080 4750 5139 5120 5106 5094 5083 4749 5146 5125 5109 5097 5086 5076 5154 5130 5113 5100 5089 5079 5167 5135 5118 5104 5092 5082 4746 5142 5122 5177 5095 5085 5075 5149 5127 5111 5099 5087 5078 5159 5132 5116 5102 5091 5080 4743 5139 5120 5106 5094 5083 4742 5146 5125 5110 5097 5086 5076 5154 5130 5114 5100 5089 5079 5168 5136 5118 5104 5092 5082 4739 5142 5123 5108 5096 5085 5075 5150 5128 5112 5099 5088 5078 5161 5133 5116 5177 5091 5081 4736 5140 5121 5106 5094 5084 4735 5147 5126 5110 5098 5087 5077 5156 5131 5114 5101 5090 5080 5173 5137 5119 5105 5093 5082 4732 5144 5124 5109 5096 5085 5076 5153 5129 5113 5100 5089 5079 5165 5135 5117 5104 5092 5081 4729 5142 5122 5107 5095 5084 5075 5150 5127 5112 5099 5088 5078 5161 5133 5116 5102 5091 5081 4726 5140 5121 5106 5094 5084 4725 5147 5126 5110 5098 5087 5077 5157 5131 5115 5101 5090 5080 4723 5138 5119 5105 5093 5083 4722 5145 5125 5109 5097 5086 5076 5155 5130 5114 5101 5089 5079 5174 5137 5119 5105 5093 5083 4632 5154 5131 5115 5102 5090 5080 5164 5136 5118 5105 5093 5083 4770 5141 5122 5108 5096 5085 4769 5148 5127 5112 5099 5088 5078 5156 5132 5115 5102 5091 5081 5167 5137 5119 5105 5094 5083 4766 5143 5123 5109 5097 5086 4765 5150 5128 5179 5100 5089 5079 5158 5133 5116 5103 5092 5081 5172 5138 5120 5106 5095 5084 4762 5145 5125 5110 5098 5087 5077 5152 5129 5114 5101 5090 5080 5162 5135 5118 5104 5093 5082 4759 5140 5122 5108 5096 5085 4758 5147 5126 5111 5099 5088 5078 5155 5131 5115 5102 5091 5081 5179 5137 5119 5105 5094 5083 4755 5143 5123 5109 5097 5086 4754 5150 5128 5113 5100 5089 5079 5159 5133 5117 5103 5092 5082 5175 5139 5121 5107 5095 5084 4751 5146 5125 5111 5098 5087 5078 5154 5130 5114 5101 5090 5080 5165 5136 5119 5105 5093 5083 4748 5142 5123 5109 5096 5086 4747 5149 5128 5112 5100 5089 5079 5159 5133 5179 5103 5092 5082 5174 5139 5121 5107 5095 5084 4744 5146 5126 5111 5098 5087 5078 5154 5131 5115 5102 5090 5080 5166 5136 5119 5105 5093 5083 4741 5143 5123 5109 5097 5086 4740 5150 5128 5113 5100 5089 5079 5160 5134 5117 5104 5092 5082 4738 5140 5122 5107 5095 5085 4737 5147 5126 5111 5099 5088 5078 5156 5132 5115 5102 5091 5081 5169 5138 5120 5106 5094 5084 4734 5144 5125 5110 5098 5087 5077 5153 5130 5114 5101 5090 5080 5164 5136 5118 5105 5093 5083 4731 5142 5123 5109 5096 5086 4730 5150 5128 5113 5100 5089 5079 5160 5134 5117 5104 5092 5082 4728 5140 5122 5107 5095 5085 4727 5179 5127 5111 5099 5088 5078 5157 5132 5116 5103 5091 5081 5172 5138 5120 5106 5095 5084 4724 5146 5125 5110 5098 5087 5077 5154 5131 5115 5102 5090 5080 5170 5138 5120 5106 5094 5084 4633 5154 5131 5116 5103 5092 5082 5163 5136 5119 5106 5094 5084 4772 5142 5123 5109 5097 5087 4771 5148 5128 5113 5100 5089 5080 5155 5132 5116 5103 5092 5082 5181 5137 5120 5107 5095 5085 4768 5143 5124 5110 5098 5087 4767 5150 5129 5114 5101 5090 5080 5158 5134 5117 5104 5093 5083 5169 5139 5121 5108 5096 5085 4764 5145 5126 5111 5099 5088 5181 5152 5130 5115 5102 5091 5081 5161 5135 5119 5105 5094 5084 5175 5141 5123 5109 5097 5086 4760 5147 5127 5112 5100 5089 5079 5155 5132 5116 5103 5092 5082 5165 5137 5120 5107 5095 5085 4757 5143 5124 5110 5098 5087 4756 5150 5129 5114 5101 5090 5080 5159 5134 5118 5105 5093 5083 5171 5140 5122 5108 5096 5086 4753 5146 5126 5112 5099 5089 5079 5154 5131 5181 5103 5092 5082 5164 5137 5120 5106 5095 5084 4750 5143 5124 5110 5098 5087 4749 5150 5129 5181 5101 5090 5080 5158 5134 5118 5104 5093 5083 5171 5140 5122 5108 5096 5086 4746 5146 5126 5112 5099 5089 5079 5154 5131 5116 5103 5092 5082 5164 5137 5120 5106 5095 5084 4743 5143 5124 5110 5098 5087 4742 5150 5129 5114 5101 5090 5181 5160 5135 5118 5105 5093 5083 5174 5140 5122 5108 5097 5086 4739 5147 5127 5112 5100 5089 5079 5156 5132 5116 5103 5092 5082 5167 5138 5121 5107 5095 5085 4736 5145 5125 5111 5099 5088 4735 5153 5131 5115 5102 5091 5081 5163 5136 5119 5106 5094 5084 4733 5143 5124 5110 5098 5087 4732 5150 5129 5114 5101 5090 5080 5159 5134 5118 5105 5093 5083 5175 5141 5123 5109 5097 5086 4729 5148 5127 5113 5100 5089 5080 5157 5133 5117 5104 5093 5082 5169 5139 5121 5108 5096 5085 4726 5146 5126 5112 5099 5089 5079 5154 5132 5116 5103 5092 5082 5168 5138 5121 5107 5096 5085 4634 5154 5132 5117 5104 5093 5083 5162 5137 5120 5107 5096 5183 5175 5142 5124 5110 5099 5088 4773 5148 5129 5114 5101 5091 5081 5155 5133 5117 5105 5093 5084 5165 5138 5121 5108 5096 5086 4770 5144 5125 5111 5099 5089 4769 5150 5130 5115 5102 5091 5082 5158 5134 5118 5105 5094 5084 5168 5140 5122 5109 5097 5087 4766 5145 5183 5112 5100 5089 4765 5152 5131 5116 5103 5092 5082 5160 5136 5120 5106 5095 5085 5173 5141 5124 5110 5098 5088 4762 5148 5128 5113 5101 5090 5081 5155 5133 5117 5104 5093 5083 5164 5138 5121 5108 5096 5086 4759 5144 5125 5111 5099 5089 4758 5150 5130 5115 5102 5092 5082 5158 5135 5119 5106 5094 5084 5170 5140 5123 5109 5097 5087 4755 5146 5127 5113 5101 5090 4754 5154 5132 5117 5104 5093 5083 5163 5137 5121 5107 5096 5086 5179 5143 5125 5111 5099 5088 4751 5150 5130 5115 5102 5091 5082 5158 5135 5119 5106 5094 5084 5169 5140 5123 5109 5097 5087 4748 5146 5127 5113 5101 5090 4747 5154 5132 5117 5104 5093 5083 5164 5138 5121 5107 5096 5086 4745 5144 5125 5111 5099 5089 4744 5151 5130 5115 5103 5092 5082 5159 5135 5119 5106 5095 5085 5172 5141 5123 5110 5098 5088 4741 5148 5128 5113 5101 5090 5081 5156 5133 5183 5105 5094 5084 5166 5139 5122 5108 5097 5086 4738 5145 5126 5112 5100 5089 4737 5153 5131 5116 5103 5092 5083 5162 5137 5120 5107 5096 5085 5178 5143 5125 5111 5099 5088 4734 5150 5130 5115 5102 5183 5082 5159 5135 5119 5106 5095 5085 5172 5141 5124 5110 5098 5088 4731 5148 5128 5114 5101 5091 5081 5156 5134 5118 5105 5094 5084 5168 5140 5122 5109 5097 5087 4728 5146 5127 5113 5101 5090 4727 5154 5132 5117 5104 5093 5083 5167 5139 5122 5108 5097 5087 4635 5154 5133 5118 5105 5094 5084 5162 5138 5121 5108 5097 5087 5173 5143 5125 5112 5100 5089 4775 5149 5129 5115 5103 5092 4774 5185 5134 5118 5106 5095 5085 5164 5139 5122 5109 5098 5087 5177 5144 5126 5112 5100 5090 4771 5150 5131 5116 5103 5093 5083 5158 5135 5119 5107 5185 5086 5167 5140 5123 5110 5098 5088 4768 5146 5127 5113 5101 5091 4767 5152 5132 5117 5104 5094 5084 5160 5137 5121 5108 5096 5086 5171 5142 5125 5111 5099 5089 4764 5148 5129 5115 5102 5092 4763 5155 5134 5118 5106 5095 5085 5164 5139 5122 5109 5097 5087 5177 5144 5126 5112 5101 5090 4760 5151 5131 5116 5104 5093 5083 5158 5136 5120 5107 5096 5086 5168 5141 5124 5110 5099 5088 4757 5147 5128 5114 5102 5091 4756 5154 5133 5118 5105 5094 5084 5163 5138 5122 5108 5097 5087 5185 5144 5126 5112 5100 5090 4753 5150 5130 5116 5103 5093 5083 5158 5135 5120 5107 5096 5086 5168 5141 5124 5110 5099 5088 4750 5147 5128 5114 5102 5091 4749 5154 5133 5118 5105 5094 5084 5163 5138 5122 5109 5097 5087 5177 5144 5126 5112 5100 5090 4746 5151 5131 5116 5104 5093 5083 5159 5136 5120 5107 5096 5086 5170 5142 5124 5111 5099 5089 4743 5148 5129 5115 5102 5092 4742 5156 5134 5119 5106 5095 5085 5166 5140 5123 5109 5098 5088 4740 5146 5127 5113 5101 5091 4739 5153 5132 5117 5105 5094 5084 5162 5138 5121 5108 5097 5087 5175 5144 5126 5112 5100 5090 4736 5151 5131 5116 5104 5093 5083 5159 5136 5120 5107 5096 5086 5185 5142 5125 5111 5099 5089 4733 5148 5129 5115 5103 5092 4732 5156 5134 5119 5106 5095 5085 5167 5140 5123 5110 5098 5088 4730 5147 5128 5114 5102 5091 4729 5154 5133 5118 5105 5094 5085 5166 5140 5123 5110 5098 5088 4636 5154 5134 5119 5106 5096 5086 5162 5138 5122 5109 5098 5088 5172 5144 5126 5113 5101 5091 4777 5149 5130 5116 5104 5093 4776 5156 5135 5120 5107 5096 5086 5164 5140 5123 5110 5099 5089 5175 5145 5127 5113 5102 5091 4773 5151 5131 5117 5105 5094 4772 5158 5136 5121 5108 5097 5087 5166 5141 5124 5111 5100 5090 5180 5146 5128 5114 5103 5092 4769 5153 5133 5118 5106 5095 5085 5160 5138 5122 5109 5098 5088 5170 5143 5126 5112 5101 5090 4766 5187 5130 5116 5104 5093 4765 5155 5134 5119 5107 5096 5086 5163 5139 5123 5110 5099 5089 5175 5145 5127 5114 5102 5091 4762 5151 5132 5117 5105 5094 5085 5158 5136 5121 5108 5097 5087 5168 5142 5125 5112 5100 5090 5184 5147 5129 5115 5103 5093 4758 5154 5134 5119 5106 5095 5086 5162 5139 5123 5110 5098 5088 5174 5144 5127 5113 5102 5091 4755 5151 5131 5117 5105 5094 4754 5158 5136 5121 5108 5097 5087 5168 5142 5125 5111 5100 5090 5185 5187 5129 5115 5103 5093 4751 5154 5134 5119 5106 5096 5086 5163 5139 5123 5110 5099 5089 5175 5145 5127 5113 5102 5091 4748 5151 5132 5117 5105 5094 5085 5159 5137 5121 5108 5097 5087 5169 5142 5125 5112 5100 5090 4745 5149 5130 5116 5104 5093 4744 5156 5135 5120 5107 5096 5086 5165 5140 5124 5111 5099 5089 5180 5146 5128 5114 5103 5092 4741 5153 5133 5118 5106 5095 5085 5162 5138 5122 5109 5098 5088 5174 5144 5127 5113 5101 5091 4738 5151 5132 5117 5105 5094 5085 5159 5137 5121 5108 5097 5087 5170 5187 5126 5112 5101 5090 4735 5149 5130 5116 5104 5093 4734 5157 5135 5120 5107 5096 5087 5166 5141 5124 5111 5100 5090 5187 5147 5129 5115 5103 5093 4731 5155 5134 5119 5107 5096 5086 5166 5141 5124 5111 5099 5089 4637 5155 5135 5120 5108 5097 5087 5162 5139 5124 5111 5100 5090 5171 5144 5127 5114 5102 5092 4779 5150 5131 5117 5105 5095 4778 5156 5136 5121 5108 5097 5088 5164 5140 5124 5111 5100 5090 5174 5145 5128 5115 5103 5093 4775 5151 5132 5118 5106 5095 4774 5158 5137 5122 5109 5098 5088 5166 5142 5125 5112 5101 5091 5178 5147 5129 5116 5104 5094 4771 5153 5134 5119 5107 5096 5087 5160 5138 5123 5110 5099 5089 5169 5143 5127 5113 5102 5092 5185 5149 5131 5117 5105 5094 4767 5156 5135 5120 5108 5097 5189 5163 5140 5124 5111 5100 5090 5174 5146 5128 5115 5103 5093 4764 5152 5133 5118 5106 5096 4763 5159 5137 5122 5109 5098 5089 5167 5142 5126 5113 5101 5091 5181 5148 5130 5116 5104 5094 4760 5155 5135 5120 5108 5097 5087 5162 5140 5124 5111 5100 5090 5173 5145 5128 5114 5103 5093 4757 5151 5132 5118 5106 5095 4756 5158 5137 5122 5109 5098 5088 5167 5142 5126 5113 5101 5091 5181 5148 5130 5116 5104 5094 4753 5155 5135 5120 5108 5097 5087 5163 5140 5124 5111 5100 5090 5174 5145 5128 5115 5103 5093 4750 5152 5133 5118 5106 5096 4749 5159 5138 5122 5110 5099 5089 5169 5143 5127 5113 5102 5092 5185 5149 5131 5117 5105 5095 4746 5156 5136 5121 5108 5098 5088 5165 5141 5125 5112 5101 5091 5177 5147 5129 5116 5104 5093 4743 5154 5134 5119 5107 5096 5087 5162 5139 5124 5111 5100 5090 5173 5145 5128 5114 5103 5093 4740 5151 5133 5118 5106 5096 4739 5159 5138 5122 5110 5099 5089 5169 5143 5127 5113 5102 5092 4737 5150 5131 5117 5105 5095 4736 5157 5136 5121 5109 5098 5088 5166 5142 5125 5112 5101 5091 5180 5148 5130 5116 5104 5094 4733 5155 5135 5120 5108 5097 5087 5165 5141 5125 5112 5101 5091 4638 5155 5136 5121 5109 5098 5089 5162 5140 5125 5112 5101 5091 5191 5145 5128 5115 5104 5094 5184 5150 5132 5118 5107 5096 4780 5156 5137 5122 5110 5099 5089 5164 5141 5191 5113 5102 5092 5173 5146 5129 5116 5104 5094 4777 5152 5133 5119 5107 5097 4776 5158 5138 5123 5110 5100 5090 5166 5143 5127 5114 5102 5092 5176 5148 5191 5117 5105 5095 4773 5154 5135 5120 5108 5098 4772 5191 5139 5124 5111 5100 5091 5169 5144 5128 5115 5103 5093 5182 5150 5132 5118 5106 5096 4769 5156 5136 5122 5109 5099 5089 5163 5141 5125 5113 5101 5092 5173 5146 5129 5116 5104 5094 4766 5152 5134 5119 5107 5097 4765 5159 5138 5123 5111 5100 5090 5167 5143 5127 5114 5103 5093 5179 5149 5131 5117 5106 5095 4762 5155 5136 5121 5109 5098 5089 5162 5140 5125 5112 5101 5091 5172 5146 5129 5116 5104 5094 4759 5152 5133 5119 5107 5097 4758 5159 5138 5123 5111 5100 5090 5167 5143 5127 5114 5103 5093 5179 5149 5131 5117 5106 5095 4755 5155 5136 5121 5109 5098 5089 5163 5141 5125 5112 5101 5091 5173 5146 5129 5116 5104 5094 4752 5152 5134 5120 5108 5097 4751 5160 5139 5123 5111 5100 5090 5168 5144 5128 5114 5103 5093 5182 5150 5132 5118 5106 5096 4748 5157 5137 5122 5110 5099 5089 5165 5142 5126 5113 5102 5092 5176 5148 5130 5117 5105 5095 4745 5154 5135 5121 5108 5098 4744 5162 5140 5125 5112 5101 5091 5172 5146 5129 5116 5104 5094 4742 5152 5134 5119 5107 5097 4741 5159 5139 5123 5111 5100 5090 5169 5144 5128 5115 5103 5093 5183 5150 5132 5118 5106 5096 4738 5157 5137 5122 5110 5099 5089 5166 5143 5127 5114 5102 5092 5178 5149 5131 5117 5106 5095 4735 5155 5136 5121 5109 5098 5089 5165 5142 5126 5113 5102 5092 4786 5156 5137 5122 5110 5100 4785 5162 5141 5126 5113 5102 5092 5170 5146 5130 5116 5105 5095 5182 5151 5133 5120 5108 5098 4782 5157 5138 5123 5111 5100 5091 5164 5142 5127 5114 5103 5093 5193 5147 5130 5117 5106 5096 5186 5152 5134 5120 5109 5098 4778 5159 5139 5124 5112 5101 5091 5166 5143 5128 5115 5104 5094 5176 5149 5132 5118 5107 5096 4775 5154 5136 5122 5110 5099 4774 5161 5140 5125 5113 5102 5092 5169 5145 5129 5116 5105 5095 5180 5150 5133 5119 5108 5097 4771 5193 5137 5123 5111 5100 4770 5164 5142 5127 5114 5103 5093 5173 5147 5130 5117 5106 5096 5187 5153 5135 5121 5109 5098 4767 5159 5139 5124 5112 5101 5091 5167 5144 5128 5115 5104 5094 5178 5149 5132 5119 5107 5097 4764 5156 5137 5122 5110 5100 4763 5163 5141 5126 5113 5102 5093 5172 5147 5130 5117 5105 5095 5186 5152 5134 5120 5109 5098 4760 5159 5139 5124 5112 5101 5091 5167 5144 5128 5115 5104 5094 5178 5150 5132 5119 5107 5097 4757 5156 5137 5122 5110 5100 4756 5163 5142 5126 5114 5103 5093 5193 5147 5130 5117 5106 5096 5188 5153 5135 5121 5109 5098 4753 5160 5140 5125 5112 5101 5092 5168 5145 5129 5116 5104 5094 5180 5151 5133 5119 5108 5097 4750 5157 5138 5123 5111 5100 5091 5165 5143 5127 5114 5103 5093 5175 5148 5131 5118 5106 5096 4747 5155 5136 5122 5110 5099 4746 5162 5141 5126 5113 5102 5092 5172 5147 5130 5117 5105 5095 5187 5153 5135 5121 5109 5098 4743 5160 5140 5125 5112 5101 5092 5169 5145 5129 5116 5105 5094 5181 5151 5133 5120 5108 5097 4740 5158 5138 5123 5111 5193 5091 5166 5143 5128 5115 5104 5094 5177 5149 5132 5119 5107 5097 4737 5156 5137 5123 5110 5100 4687 5165 5143 5127 5115 5103 5094 4788 5156 5138 5124 5112 5101 4787 5163 5142 5127 5115 5104 5094 5170 5147 5131 5118 5106 5096 5195 5152 5135 5121 5109 5099 4784 5158 5139 5124 5112 5102 4783 5164 5143 5128 5115 5104 5094 5172 5148 5132 5118 5107 5097 5184 5153 5136 5122 5110 5100 4780 5159 5140 5125 5113 5102 5093 5166 5144 5129 5116 5105 5095 5175 5149 5133 5119 5108 5098 5190 5155 5137 5123 5111 5100 4776 5161 5141 5126 5114 5103 5093 5169 5146 5130 5117 5106 5096 5179 5151 5134 5195 5109 5099 4773 5157 5138 5124 5112 5101 4772 5164 5143 5128 5115 5104 5094 5172 5148 5132 5118 5107 5097 5185 5153 5136 5122 5110 5100 4769 5160 5140 5195 5113 5103 5093 5167 5145 5129 5117 5105 5095 5177 5150 5133 5120 5108 5098 4766 5156 5138 5123 5112 5101 4765 5163 5142 5127 5115 5104 5094 5195 5147 5131 5118 5107 5097 5184 5153 5135 5122 5110 5100 4762 5159 5140 5125 5113 5102 5093 5167 5145 5129 5116 5105 5095 5177 5150 5133 5120 5108 5098 4759 5156 5138 5124 5112 5101 4758 5163 5143 5127 5115 5104 5094 5172 5148 5132 5118 5107 5097 5186 5154 5136 5122 5110 5100 4755 5160 5141 5126 5114 5103 5093 5168 5146 5130 5117 5106 5096 5179 5151 5134 5121 5109 5099 4752 5158 5139 5124 5112 5102 4751 5165 5144 5128 5116 5105 5095 5175 5149 5133 5119 5108 5098 5192 5155 5137 5123 5111 5101 4748 5163 5142 5127 5115 5104 5094 5171 5147 5131 5118 5107 5097 5185 5153 5136 5122 5110 5100 4745 5160 5195 5126 5113 5103 5093 5169 5146 5130 5117 5106 5096 5180 5152 5134 5121 5109 5099 4742 5158 5139 5125 5113 5102 4741 5166 5144 5129 5116 5105 5095 5177 5150 5133 5120 5108 5098 4739 5157 5138 5124 5112 5101 4689 5166 5144 5129 5116 5105 5095 5192 5157 5139 5125 5113 5102 4789 5163 5143 5128 5116 5105 5095 5170 5148 5132 5119 5108 5098 5180 5153 5136 5122 5111 5100 4786 5158 5140 5125 5197 5103 4785 5165 5144 5129 5117 5106 5096 5172 5149 5133 5120 5108 5098 5183 5154 5137 5123 5111 5101 4782 5160 5141 5126 5114 5104 4781 5167 5145 5130 5117 5106 5097 5175 5150 5134 5121 5109 5099 5187 5156 5138 5124 5112 5102 4778 5162 5142 5128 5115 5105 5095 5169 5147 5131 5118 5107 5097 5197 5152 5135 5122 5110 5100 4775 5158 5139 5125 5113 5103 4774 5164 5144 5129 5116 5106 5096 5172 5149 5133 5120 5108 5098 5197 5154 5137 5123 5111 5101 4771 5160 5141 5127 5115 5104 4770 5168 5146 5130 5118 5107 5097 5177 5151 5134 5121 5110 5100 5192 5157 5139 5125 5113 5102 4767 5197 5143 5128 5116 5105 5095 5172 5148 5132 5119 5108 5098 5183 5154 5137 5123 5111 5101 4764 5160 5141 5127 5114 5104 4763 5167 5146 5130 5118 5107 5097 5177 5151 5135 5121 5110 5100 5197 5157 5139 5125 5113 5102 4760 5164 5144 5129 5116 5105 5096 5172 5149 5133 5120 5108 5098 5184 5154 5137 5123 5112 5101 4757 5161 5142 5127 5115 5104 5095 5169 5147 5131 5118 5107 5097 5179 5152 5135 5122 5110 5100 4754 5158 5140 5126 5114 5103 4753 5166 5145 5130 5117 5106 5096 5175 5150 5134 5121 5109 5099 5189 5156 5138 5124 5112 5102 4750 5163 5143 5128 5116 5105 5095 5171 5148 5132 5119 5108 5098 5183 5154 5137 5123 5111 5101 4747 5161 5142 5127 5115 5104 4746 5169 5147 5131 5118 5107 5097 5179 5152 5135 5122 5110 5100 4744 5159 5140 5126 5114 5103 4743 5167 5145 5130 5117 5106 5097 5176 5151 5134 5121 5110 5100 5197 5157 5139 5125 5113 5103 4691 5166 5145 5130 5117 5106 5096 5190 5158 5140 5126 5114 5104 4791 5164 5144 5129 5117 5106 5097 5171 5149 5133 5120 5109 5099 5179 5153 5137 5123 5112 5102 5194 5159 5141 5127 5115 5104 4787 5165 5145 5130 5118 5107 5097 5172 5150 5134 5121 5110 5100 5182 5155 5138 5124 5113 5102 4784 5160 5142 5128 5116 5105 4783 5167 5146 5131 5119 5108 5098 5175 5151 5135 5122 5111 5101 5186 5156 5139 5125 5114 5103 4780 5162 5143 5129 5117 5106 4779 5169 5148 5132 5120 5109 5099 5178 5153 5136 5123 5112 5101 5192 5158 5140 5126 5115 5104 4776 5165 5145 5130 5118 5107 5097 5199 5150 5134 5121 5110 5100 5183 5155 5138 5124 5113 5103 4773 5161 5142 5128 5116 5105 4772 5168 5147 5132 5119 5108 5098 5199 5152 5136 5122 5111 5101 5189 5158 5140 5126 5114 5104 4769 5164 5144 5130 5117 5107 5097 5172 5149 5134 5121 5110 5100 5182 5155 5138 5124 5113 5102 4766 5161 5142 5128 5116 5105 4765 5168 5147 5132 5119 5108 5098 5177 5152 5136 5122 5111 5101 5190 5158 5140 5126 5114 5104 4762 5164 5145 5130 5118 5107 5097 5172 5150 5134 5121 5110 5100 5183 5155 5138 5125 5113 5103 4759 5162 5143 5128 5116 5106 4758 5169 5148 5132 5120 5109 5099 5178 5153 5136 5123 5112 5102 5194 5159 5141 5127 5115 5104 4755 5166 5146 5131 5118 5107 5098 5175 5151 5135 5122 5111 5101 5187 5157 5139 5126 5114 5103 4752 5164 5144 5129 5117 5106 5097 5172 5149 5199 5121 5110 5100 5199 5155 5138 5124 5113 5199 4749 5161 5143 5128 5116 5106 4748 5169 5148 5132 5120 5109 5099 5179 5153 5137 5123 5112 5102 4746 5160 5141 5127 5115 5105 4745 5167 5146 5131 5119 5108 5098 5176 5152 5136 5122 5111 5101 5191 5158 5140 5126 5114 5104 4693 5166 5146 5131 5118 5108 5098 5188 5201 5141 5127 5116 5105 4793 5164 5145 5131 5119 5108 4792 5171 5150 5134 5122 5111 5101 5179 5154 5138 5125 5113 5103 5191 5160 5142 5128 5116 5106 4789 5166 5146 5131 5119 5108 5099 5173 5151 5135 5122 5111 5101 5182 5156 5139 5201 5114 5104 5197 5161 5143 5129 5117 5106 4785 5167 5147 5132 5120 5109 5099 5175 5152 5136 5123 5112 5102 5185 5157 5140 5127 5115 5105 4782 5163 5144 5130 5118 5107 4781 5170 5149 5134 5121 5110 5100 5178 5154 5137 5124 5113 5103 5190 5159 5142 5128 5116 5106 4778 5165 5146 5131 5119 5108 5099 5173 5151 5135 5122 5111 5101 5182 5156 5139 5126 5114 5104 4775 5162 5143 5129 5117 5107 4774 5168 5148 5133 5120 5110 5100 5177 5153 5137 5124 5113 5102 5188 5158 5141 5127 5116 5105 4771 5165 5145 5131 5119 5108 4770 5172 5150 5135 5122 5111 5101 5181 5201 5139 5125 5114 5104 5198 5161 5143 5129 5117 5107 4767 5168 5148 5133 5120 5110 5100 5177 5153 5137 5124 5113 5102 5188 5159 5141 5127 5116 5105 4764 5165 5146 5131 5119 5108 5099 5173 5151 5135 5122 5111 5101 5183 5156 5139 5126 5114 5104 4761 5162 5144 5130 5118 5107 4760 5169 5149 5133 5121 5110 5100 5178 5154 5138 5124 5113 5103 5192 5160 5142 5128 5116 5106 4757 5167 5147 5132 5120 5109 5099 5175 5152 5136 5123 5112 5102 5186 5158 5140 5127 5115 5105 4754 5164 5145 5131 5201 5108 4753 5172 5150 5135 5122 5111 5101 5182 5156 5139 5126 5114 5104 4751 5162 5144 5129 5117 5107 4750 5170 5149 5133 5121 5110 5100 5179 5154 5138 5125 5113 5103 5194 5160 5142 5128 5117 5106 4747 5167 5147 5132 5120 5109 5099 5176 5153 5137 5124 5112 5102 5189 5159 5141 5127 5116 5105 4695 5167 5147 5132 5120 5109 5099 5187 5159 5142 5129 5117 5107 4795 5165 5146 5132 5120 5109 4794 5171 5151 5135 5123 5112 5102 5179 5155 5139 5126 5115 5105 5190 5160 5143 5129 5118 5107 4791 5166 5147 5133 5121 5110 4790 5173 5152 5136 5124 5113 5103 5203 5203 5140 5127 5115 5105 5194 5162 5144 5130 5118 5108 4787 5168 5148 5134 5121 5111 5101 5175 5153 5137 5125 5113 5103 5185 5158 5141 5128 5116 5106 4784 5164 5145 5131 5119 5109 4783 5170 5150 5135 5122 5112 5102 5178 5155 5139 5126 5114 5104 5189 5160 5143 5129 5117 5107 4780 5166 5147 5133 5120 5110 4779 5173 5152 5136 5124 5113 5103 5182 5157 5140 5127 5116 5105 5196 5162 5144 5130 5119 5108 4776 5169 5149 5134 5122 5111 5101 5177 5154 5138 5125 5114 5104 5187 5159 5142 5129 5117 5107 4773 5165 5146 5132 5120 5109 4772 5172 5151 5136 5123 5112 5103 5181 5156 5140 5127 5115 5105 5195 5162 5144 5130 5118 5108 4769 5169 5149 5134 5122 5111 5101 5177 5154 5138 5125 5114 5104 5188 5159 5142 5129 5117 5107 4766 5166 5147 5132 5120 5110 4765 5173 5152 5136 5124 5113 5103 5182 5157 5140 5127 5116 5106 5198 5163 5145 5131 5119 5108 4762 5170 5150 5135 5122 5111 5102 5178 5155 5139 5126 5114 5104 5203 5161 5143 5129 5118 5107 4759 5167 5148 5133 5121 5110 5101 5175 5153 5137 5124 5113 5103 5186 5159 5142 5128 5117 5106 4756 5165 5146 5132 5120 5109 4755 5172 5151 5136 5123 5112 5203 5182 5157 5140 5127 5116 5105 5198 5163 5145 5131 5119 5108 4752 5170 5150 5135 5122 5111 5102 5179 5155 5139 5126 5115 5105 5192 5161 5143 5130 5118 5108 4749 5168 5148 5134 5121 5111 5101 5176 5154 5138 5125 5114 5104 5188 5160 5142 5129 5117 5107 4697 5168 5148 5133 5121 5110 5101 5187 5160 5143 5130 5118 5108 4797 5166 5147 5133 5121 5111 4796 5172 5152 5137 5124 5113 5104 5179 5156 5140 5127 5116 5106 5189 5161 5144 5131 5119 5109 4793 5167 5148 5134 5122 5111 4792 5174 5153 5137 5125 5114 5104 5182 5157 5141 5128 5117 5107 5193 5163 5145 5131 5120 5109 4789 5169 5149 5135 5123 5112 4788 5176 5154 5139 5126 5115 5105 5184 5159 5142 5129 5118 5108 5198 5165 5147 5133 5121 5110 4785 5171 5151 5136 5124 5113 5103 5178 5156 5140 5127 5116 5106 5188 5161 5144 5130 5119 5108 4782 5167 5148 5134 5122 5111 4781 5174 5153 5138 5125 5114 5104 5182 5158 5141 5128 5117 5107 5194 5163 5146 5132 5120 5110 4778 5170 5150 5135 5123 5112 5103 5177 5155 5139 5126 5115 5105 5187 5160 5143 5130 5118 5108 4775 5166 5148 5133 5121 5111 4774 5173 5152 5137 5125 5114 5104 5181 5157 5141 5128 5117 5107 5194 5163 5145 5132 5120 5109 4771 5169 5150 5135 5123 5112 5103 5177 5155 5139 5126 5115 5105 5187 5160 5143 5130 5118 5108 4768 5166 5148 5134 5122 5111 4767 5174 5153 5137 5125 5114 5104 5182 5158 5142 5128 5117 5107 5196 5164 5146 5132 5120 5110 4764 5205 5151 5136 5124 5113 5103 5179 5156 5140 5127 5116 5106 5190 5161 5144 5131 5119 5109 4761 5168 5149 5134 5122 5112 4760 5205 5154 5138 5126 5115 5105 5185 5159 5143 5129 5118 5108 4758 5166 5147 5133 5121 5111 4757 5173 5152 5137 5125 5114 5104 5182 5158 5141 5128 5117 5107 5205 5164 5146 5132 5120 5110 4754 5171 5151 5136 5124 5113 5103 5179 5156 5140 5127 5116 5106 5191 5162 5145 5131 5119 5109 4751 5169 5149 5135 5123 5112 4750 5177 5155 5139 5126 5115 5105 5188 5205 5144 5130 5119 5108 4699 5168 5149 5135 5123 5112 4646 5187 5161 5145 5131 5120 5110 5200 5166 5148 5134 5123 5112 4798 5173 5153 5138 5126 5115 5105 5180 5157 5142 5129 5118 5108 5189 5162 5145 5132 5120 5110 4795 5168 5149 5135 5123 5113 4794 5174 5154 5139 5126 5115 5106 5182 5158 5142 5129 5118 5108 5192 5164 5146 5133 5121 5111 4791 5169 5151 5136 5124 5207 4790 5176 5155 5140 5127 5116 5106 5184 5160 5144 5130 5119 5109 5197 5165 5148 5134 5122 5112 4787 5172 5152 5137 5125 5114 5105 5179 5157 5141 5128 5117 5107 5188 5162 5145 5132 5120 5110 4784 5168 5149 5135 5123 5113 4783 5174 5154 5139 5126 5115 5106 5182 5159 5143 5130 5118 5108 5193 5164 5147 5133 5121 5111 4780 5170 5151 5137 5125 5114 4779 5177 5156 5140 5128 5117 5107 5187 5161 5144 5131 5120 5110 5202 5167 5149 5135 5123 5112 4776 5207 5153 5138 5126 5115 5105 5182 5158 5142 5129 5118 5108 5193 5164 5147 5133 5121 5111 4773 5170 5151 5137 5124 5114 4772 5207 5156 5140 5128 5117 5107 5187 5161 5145 5131 5120 5110 5203 5167 5149 5135 5123 5113 4769 5174 5154 5139 5126 5115 5106 5183 5159 5143 5130 5119 5108 5195 5165 5147 5133 5122 5111 4766 5171 5152 5137 5125 5114 5105 5179 5157 5141 5128 5117 5107 5189 5162 5145 5132 5120 5110 4763 5169 5150 5136 5124 5113 4762 5176 5155 5140 5127 5116 5106 5185 5160 5144 5131 5119 5109 5200 5166 5148 5134 5123 5112 4759 5173 5153 5138 5126 5115 5105 5182 5159 5143 5130 5118 5108 5194 5165 5147 5133 5122 5111 4756 5171 5152 5137 5125 5114 5105 5179 5157 5141 5129 5117 5108 5190 5163 5146 5132 5121 5110 4753 5169 5151 5136 5124 5114 4752 5177 5156 5140 5128 5117 5107 5187 5161 5145 5131 5120 5110 4701 5169 5150 5136 5124 5113 4647 5187 5162 5146 5133 5121 5111 5209 5167 5150 5136 5124 5114 4800 5173 5154 5139 5127 5116 5107 5180 5158 5143 5130 5119 5109 5189 5163 5147 5133 5122 5112 5209 5169 5151 5137 5125 5114 4796 5175 5155 5140 5128 5117 5107 5182 5159 5144 5131 5120 5110 5192 5165 5148 5134 5123 5112 4793 5170 5152 5137 5126 5115 4792 5177 5156 5141 5129 5118 5108 5185 5161 5145 5132 5121 5110 5196 5166 5149 5135 5123 5113 4789 5172 5153 5139 5127 5116 4788 5179 5158 5142 5130 5119 5109 5188 5163 5146 5133 5122 5111 5202 5168 5150 5136 5125 5114 4785 5175 5155 5140 5128 5117 5107 5182 5160 5144 5131 5120 5110 5193 5165 5148 5134 5123 5113 4782 5171 5152 5138 5126 5115 4781 5178 5157 5142 5129 5118 5108 5187 5162 5146 5209 5121 5111 5200 5168 5150 5136 5124 5114 4778 5174 5154 5140 5127 5117 5107 5182 5159 5144 5131 5120 5110 5192 5165 5148 5134 5123 5112 4775 5171 5152 5138 5126 5115 4774 5178 5157 5142 5129 5118 5108 5187 5162 5146 5133 5121 5111 5201 5168 5150 5136 5124 5114 4771 5175 5155 5140 5128 5117 5107 5183 5160 5144 5131 5120 5110 5194 5166 5148 5135 5123 5113 4768 5172 5153 5138 5126 5116 4767 5179 5158 5142 5130 5119 5109 5189 5163 5147 5133 5122 5112 5206 5169 5151 5137 5125 5115 4764 5177 5156 5141 5129 5118 5108 5185 5161 5145 5132 5121 5111 5198 5167 5150 5136 5124 5114 4761 5174 5154 5140 5127 5117 5107 5182 5160 5144 5131 5120 5110 5194 5165 5148 5135 5123 5113 4758 5172 5153 5139 5126 5116 4757 5180 5158 5143 5130 5119 5109 5190 5164 5147 5134 5122 5112 4755 5170 5152 5209 5126 5115 4754 5178 5157 5142 5129 5118 5108 5187 5162 5146 5133 5121 5111 4703 5170 5151 5137 5125 5115 4648 5187 5163 5147 5134 5123 5113 5198 5168 5151 5137 5125 5115 4802 5174 5155 5211 5128 5118 4801 5181 5159 5144 5131 5120 5111 5189 5164 5148 5135 5123 5113 5201 5169 5152 5138 5126 5116 4798 5175 5156 5141 5129 5118 5109 5182 5211 5145 5132 5121 5111 5191 5165 5149 5135 5124 5114 5206 5171 5153 5139 5127 5116 4794 5177 5157 5142 5130 5119 5109 5185 5162 5146 5133 5122 5112 5195 5167 5150 5136 5125 5115 4791 5173 5154 5140 5128 5117 4790 5180 5159 5144 5131 5120 5110 5188 5164 5147 5134 5123 5113 5200 5169 5152 5138 5126 5116 4787 5211 5156 5141 5129 5118 5109 5183 5161 5145 5132 5121 5111 5192 5166 5149 5136 5124 5114 4784 5172 5153 5139 5127 5117 4783 5179 5158 5143 5131 5120 5110 5187 5163 5147 5134 5123 5113 5198 5169 5151 5137 5126 5115 4780 5175 5156 5141 5129 5118 4779 5182 5160 5145 5132 5121 5111 5192 5166 5149 5136 5124 5114 4777 5172 5153 5139 5127 5117 4776 5179 5158 5143 5131 5120 5110 5187 5163 5147 5134 5123 5113 5199 5169 5151 5138 5126 5115 4773 5175 5156 5141 5129 5118 5109 5183 5161 5145 5132 5121 5111 5193 5166 5150 5136 5125 5114 4770 5173 5154 5140 5128 5117 4769 5180 5159 5144 5131 5120 5110 5189 5164 5148 5135 5123 5113 5211 5170 5152 5138 5127 5116 4766 5177 5157 5142 5130 5119 5109 5186 5162 5146 5133 5122 5112 5197 5168 5151 5137 5125 5115 4763 5175 5156 5141 5129 5118 4762 5183 5161 5145 5132 5121 5111 5193 5166 5149 5136 5124 5114 4760 5173 5154 5140 5128 5117 4759 5180 5159 5144 5131 5120 5211 5190 5165 5148 5135 5124 5113 5206 5171 5153 5139 5127 5116 4756 5178 5158 5143 5130 5120 5110 5187 5163 5147 5134 5123 5113 5205 5171 5153 5139 5127 5116 4649 5187 5164 5148 5135 5124 5114 5197 5169 5152 5138 5127 5117 4804 5175 5156 5142 5130 5119 4803 5181 5160 5145 5133 5122 5112 5189 5165 5149 5136 5125 5115 5200 5170 5153 5139 5128 5117 4800 5176 5157 5143 5213 5120 4799 5183 5162 5146 5134 5123 5113 5191 5166 5150 5137 5125 5115 5204 5172 5154 5140 5128 5118 4796 5178 5158 5144 5131 5121 5111 5185 5163 5147 5135 5123 5113 5195 5168 5151 5138 5126 5116 4793 5174 5155 5141 5129 5119 4792 5180 5160 5145 5132 5122 5112 5188 5165 5149 5136 5124 5114 5199 5170 5153 5139 5127 5117 4789 5176 5157 5143 5131 5120 4788 5183 5162 5146 5134 5123 5113 5192 5167 5150 5137 5126 5116 5207 5173 5155 5141 5129 5118 4785 5179 5159 5144 5132 5121 5111 5187 5164 5148 5135 5124 5114 5198 5170 5152 5139 5127 5117 4782 5176 5157 5142 5130 5120 4781 5183 5213 5146 5134 5123 5113 5192 5167 5150 5137 5126 5115 5213 5173 5155 5141 5129 5118 4778 5179 5159 5144 5132 5121 5111 5187 5164 5148 5135 5124 5114 5199 5170 5153 5139 5127 5117 4775 5176 5157 5143 5213 5120 4774 5184 5162 5147 5134 5123 5113 5193 5167 5151 5137 5126 5116 4772 5174 5155 5141 5129 5119 4771 5181 5160 5145 5133 5122 5112 5189 5165 5149 5136 5125 5115 5202 5171 5154 5140 5128 5118 4768 5178 5158 5144 5131 5121 5111 5186 5163 5148 5135 5124 5114 5197 5169 5152 5138 5127 5117 4765 5176 5157 5142 5130 5120 4764 5183 5162 5146 5134 5123 5113 5193 5167 5151 5137 5126 5116 4762 5174 5155 5141 5129 5119 4761 5181 5160 5145 5133 5122 5112 5190 5166 5149 5136 5125 5115 5204 5172 5154 5140 5128 5118 4758 5179 5159 5144 5132 5121 5111 5188 5164 5148 5135 5124 5114 5203 5171 5154 5140 5128 5118 4650 5188 5165 5150 5137 5126 5116 5197 5170 5153 5140 5128 5118 4806 5176 5157 5143 5131 5121 4805 5182 5162 5147 5134 5123 5114 5189 5166 5150 5137 5126 5116 5199 5171 5154 5141 5129 5119 4802 5177 5158 5144 5132 5121 4801 5184 5163 5148 5135 5124 5114 5192 5168 5151 5138 5127 5117 5203 5173 5155 5215 5130 5119 4798 5179 5160 5145 5133 5122 4797 5186 5164 5149 5136 5125 5115 5195 5169 5153 5139 5128 5118 5209 5175 5157 5143 5131 5120 4794 5181 5161 5146 5134 5123 5113 5189 5166 5150 5137 5126 5116 5199 5171 5154 5140 5129 5119 4791 5177 5158 5144 5132 5121 4790 5184 5163 5148 5135 5124 5114 5193 5168 5152 5138 5127 5117 5205 5174 5156 5142 5130 5120 4787 5180 5160 5146 5133 5123 5113 5188 5165 5149 5137 5126 5116 5198 5215 5154 5140 5129 5118 4784 5215 5158 5144 5132 5121 4783 5183 5163 5147 5135 5124 5114 5192 5168 5151 5138 5127 5117 5205 5173 5156 5142 5130 5120 4780 5180 5160 5146 5133 5123 5113 5188 5165 5150 5137 5126 5116 5198 5171 5154 5140 5129 5118 4777 5177 5158 5144 5132 5121 4776 5184 5163 5148 5135 5124 5114 5193 5168 5152 5139 5127 5117 5208 5174 5156 5142 5131 5120 4773 5181 5161 5146 5134 5123 5113 5190 5166 5150 5137 5126 5116 5201 5172 5155 5141 5129 5119 4770 5179 5159 5145 5133 5122 4769 5215 5165 5149 5136 5125 5115 5197 5170 5153 5140 5128 5118 4767 5176 5158 5144 5132 5121 4766 5184 5163 5148 5135 5124 5114 5193 5168 5152 5139 5127 5117 5208 5175 5215 5143 5131 5120 4763 5182 5161 5147 5134 5123 5114 5190 5167 5151 5138 5126 5116 5203 5173 5155 5142 5130 5119 4760 5180 5160 5215 5133 5123 5113 5188 5215 5150 5137 5126 5116 5202 5172 5155 5141 5130 5119 4651 5188 5166 5151 5138 5127 5117 5197 5171 5155 5141 5130 5120 5210 5177 5159 5145 5133 5122 4807 5183 5163 5148 5136 5125 5115 5190 5167 5152 5139 5128 5118 5199 5172 5155 5142 5130 5120 4804 5178 5159 5145 5133 5123 4803 5184 5164 5149 5136 5126 5116 5192 5169 5153 5140 5128 5118 5217 5174 5157 5143 5131 5121 4800 5180 5161 5146 5134 5124 4799 5186 5165 5150 5137 5126 5117 5195 5170 5154 5141 5129 5119 5217 5176 5158 5144 5132 5122 4796 5182 5162 5148 5135 5125 5115 5189 5167 5151 5139 5127 5117 5199 5172 5155 5142 5130 5120 4793 5178 5160 5145 5133 5123 4792 5185 5164 5149 5137 5126 5116 5193 5169 5153 5140 5129 5119 5204 5175 5157 5143 5132 5121 4789 5181 5161 5147 5135 5124 4788 5188 5166 5151 5138 5127 5117 5217 5172 5155 5141 5130 5120 5214 5177 5159 5145 5133 5123 4785 5184 5164 5149 5136 5125 5116 5192 5169 5153 5140 5128 5118 5204 5174 5157 5143 5132 5121 4782 5181 5162 5147 5135 5124 4781 5188 5166 5151 5138 5127 5117 5198 5172 5155 5142 5130 5120 4779 5178 5159 5145 5133 5123 4778 5185 5164 5149 5137 5126 5116 5194 5170 5153 5140 5129 5119 5207 5175 5158 5144 5132 5122 4775 5182 5162 5148 5135 5125 5115 5190 5167 5152 5139 5128 5118 5201 5173 5156 5142 5131 5121 4772 5180 5161 5146 5134 5124 4771 5187 5166 5150 5138 5127 5117 5197 5171 5155 5141 5130 5120 5214 5177 5159 5145 5133 5123 4768 5185 5164 5149 5137 5126 5116 5217 5169 5153 5140 5129 5119 5207 5175 5158 5144 5132 5122 4765 5182 5163 5148 5136 5125 5115 5191 5168 5152 5139 5128 5118 5203 5174 5157 5143 5131 5121 4762 5181 5161 5147 5135 5124 4761 5189 5167 5151 5138 5127 5117 5202 5173 5156 5143 5131 5121 4652 5189 5219 5152 5140 5129 5119 5197 5172 5156 5143 5131 5121 5209 5219 5160 5146 5134 5124 4809 5183 5164 5149 5137 5126 5117 5190 5168 5153 5140 5129 5119 5199 5173 5157 5143 5132 5122 5219 5179 5161 5147 5135 5124 4805 5185 5165 5150 5138 5127 5117 5192 5170 5154 5141 5130 5120 5202 5175 5158 5144 5133 5122 4802 5181 5162 5148 5136 5125 4801 5187 5166 5151 5139 5128 5118 5195 5171 5155 5142 5131 5121 5207 5177 5159 5145 5134 5123 4798 5183 5163 5149 5137 5126 4797 5190 5168 5153 5140 5129 5119 5199 5173 5157 5143 5132 5122 5214 5179 5161 5147 5135 5124 4794 5185 5165 5150 5138 5127 5117 5193 5170 5154 5141 5130 5120 5204 5176 5158 5145 5133 5123 4791 5182 5163 5148 5136 5126 4790 5189 5167 5152 5139 5128 5119 5198 5173 5156 5143 5131 5121 5212 5178 5160 5146 5135 5124 4787 5185 5165 5150 5138 5127 5117 5193 5170 5154 5141 5130 5120 5204 5175 5158 5145 5133 5123 4784 5182 5163 5148 5136 5126 4783 5189 5168 5152 5140 5129 5119 5198 5173 5156 5143 5132 5121 5219 5179 5161 5147 5135 5124 4780 5186 5165 5151 5138 5127 5118 5194 5171 5155 5142 5130 5120 5206 5176 5159 5145 5134 5123 4777 5183 5164 5149 5137 5126 4776 5191 5169 5153 5140 5129 5119 5201 5174 5157 5144 5132 5122 4774 5180 5162 5148 5136 5125 4773 5188 5167 5152 5139 5128 5118 5197 5172 5156 5143 5131 5121 5219 5178 5160 5146 5135 5124 4770 5185 5165 5150 5138 5127 5117 5194 5171 5155 5142 5130 5120 5206 5176 5159 5145 5134 5123 4767 5183 5164 5149 5137 5126 5117 5191 5169 5153 5141 5129 5119 5202 5175 5158 5144 5133 5122 4764 5181 5163 5148 5136 5126 4763 5189 5168 5152 5140 5129 5119 5201 5174 5157 5144 5132 5122 4653 5190 5169 5221 5141 5130 5120 5197 5173 5157 5144 5133 5123 5208 5221 5161 5147 5136 5125 4811 5184 5165 5151 5139 5128 4810 5191 5170 5154 5142 5131 5121 5199 5174 5158 5145 5133 5123 5212 5180 5162 5148 5136 5126 4807 5186 5166 5152 5139 5129 5119 5193 5171 5155 5142 5131 5121 5202 5176 5159 5146 5134 5124 5221 5181 5163 5149 5137 5127 4803 5188 5168 5153 5140 5129 5120 5196 5172 5156 5143 5132 5122 5206 5178 5160 5147 5135 5125 4800 5184 5165 5150 5138 5128 4799 5221 5169 5154 5141 5130 5121 5199 5174 5158 5145 5133 5123 5212 5180 5162 5148 5136 5126 4796 5186 5166 5152 5139 5129 5119 5194 5171 5156 5143 5132 5122 5204 5177 5160 5146 5135 5124 4793 5183 5164 5150 5138 5127 4792 5189 5169 5153 5141 5130 5120 5198 5174 5157 5144 5133 5123 5210 5179 5162 5148 5136 5126 4789 5186 5166 5151 5139 5221 5119 5193 5171 5155 5143 5131 5122 5221 5176 5160 5146 5135 5124 4786 5183 5164 5150 5138 5127 4785 5190 5169 5154 5141 5130 5120 5221 5174 5158 5144 5133 5123 5212 5180 5162 5148 5136 5126 4782 5186 5167 5152 5140 5129 5119 5195 5172 5156 5143 5132 5122 5205 5177 5160 5147 5135 5125 4779 5184 5165 5150 5138 5128 4778 5191 5170 5154 5142 5131 5121 5201 5175 5159 5145 5134 5124 5218 5181 5163 5149 5137 5127 4775 5188 5168 5153 5140 5130 5120 5197 5173 5157 5144 5133 5123 5210 5179 5162 5148 5136 5126 4772 5186 5166 5152 5139 5129 5119 5194 5172 5156 5143 5132 5122 5206 5177 5160 5147 5135 5125 4769 5184 5165 5151 5138 5128 4768 5192 5170 5155 5142 5131 5121 5202 5176 5159 5146 5134 5124 4766 5182 5164 5150 5138 5127 4765 5190 5169 5154 5141 5130 5120 5201 5175 5159 5145 5134 5124 4654 5190 5170 5155 5142 5132 5122 5198 5174 5158 5223 5134 5124 5208 5180 5162 5149 5137 5127 4813 5185 5166 5152 5140 5129 4812 5192 5171 5156 5143 5132 5122 5200 5176 5159 5146 5135 5125 5211 5181 5163 5149 5138 5127 4809 5187 5167 5153 5141 5130 4808 5194 5172 5157 5144 5133 5123 5202 5177 5160 5147 5136 5126 5216 5182 5164 5150 5139 5128 4805 5189 5169 5154 5142 5131 5121 5196 5174 5158 5145 5134 5124 5206 5179 5162 5148 5137 5126 4802 5185 5166 5152 5140 5129 4801 5191 5170 5155 5143 5132 5122 5199 5175 5159 5146 5135 5125 5211 5181 5163 5150 5138 5127 4798 5187 5168 5153 5141 5130 5121 5194 5172 5157 5144 5133 5123 5204 5178 5161 5148 5136 5126 5223 5183 5165 5151 5139 5129 4794 5190 5170 5155 5142 5223 5122 5198 5175 5159 5146 5134 5124 5210 5180 5163 5149 5138 5127 4791 5187 5167 5153 5141 5130 4790 5194 5172 5157 5144 5133 5123 5204 5178 5161 5147 5136 5126 4788 5184 5165 5151 5139 5129 4787 5190 5170 5155 5142 5132 5122 5199 5175 5159 5146 5135 5125 5211 5181 5163 5149 5138 5127 4784 5187 5168 5153 5141 5130 5121 5195 5173 5157 5144 5133 5123 5205 5178 5161 5148 5136 5126 4781 5185 5166 5152 5140 5129 4780 5192 5171 5156 5143 5132 5122 5201 5176 5160 5147 5135 5125 5216 5182 5164 5150 5139 5128 4777 5189 5169 5154 5142 5131 5121 5198 5174 5158 5145 5134 5124 5210 5180 5163 5149 5223 5127 4774 5187 5168 5153 5141 5130 5121 5195 5173 5157 5144 5133 5123 5206 5179 5162 5148 5137 5126 4771 5185 5166 5152 5140 5129 4770 5193 5171 5156 5143 5132 5123 5202 5177 5160 5147 5136 5126 5220 5183 5165 5151 5139 5129 4767 5191 5170 5155 5143 5132 5122 5202 5177 5160 5147 5135 5125 4655 5191 5171 5156 5144 5133 5123 5198 5176 5160 5147 5136 5126 5208 5181 5164 5150 5139 5128 4815 5186 5168 5153 5225 5131 4814 5193 5172 5157 5145 5134 5124 5200 5177 5161 5148 5136 5126 5211 5182 5165 5151 5139 5129 4811 5188 5169 5154 5142 5132 4810 5194 5173 5158 5145 5134 5125 5203 5178 5162 5149 5137 5127 5215 5183 5166 5152 5140 5130 4807 5190 5170 5155 5143 5132 5123 5197 5175 5159 5146 5135 5125 5206 5180 5163 5150 5138 5128 5223 5225 5167 5153 5141 5131 4803 5192 5172 5157 5144 5133 5124 5200 5177 5161 5148 5136 5126 5211 5182 5165 5151 5139 5129 4800 5188 5169 5155 5142 5132 4799 5195 5174 5158 5146 5135 5125 5204 5179 5162 5149 5138 5127 5218 5184 5166 5152 5141 5130 4796 5191 5171 5156 5144 5133 5123 5199 5176 5160 5147 5136 5126 5210 5181 5164 5151 5139 5129 4793 5188 5169 5154 5142 5132 4792 5195 5173 5158 5145 5134 5125 5204 5179 5162 5149 5138 5127 5218 5185 5225 5153 5141 5130 4789 5191 5171 5156 5144 5133 5123 5199 5176 5160 5147 5136 5126 5211 5182 5165 5151 5139 5129 4786 5188 5169 5155 5143 5132 4785 5196 5174 5159 5146 5135 5125 5225 5180 5163 5149 5138 5128 4783 5186 5167 5153 5141 5131 4782 5193 5172 5157 5145 5134 5124 5202 5177 5161 5148 5137 5127 5215 5183 5166 5152 5140 5130 4779 5190 5170 5156 5143 5133 5123 5198 5176 5160 5147 5136 5126 5209 5181 5164 5151 5139 5129 4776 5188 5169 5154 5142 5132 4775 5196 5174 5159 5146 5135 5125 5206 5180 5163 5150 5138 5128 4773 5186 5168 5153 5141 5131 4772 5193 5173 5157 5145 5134 5124 5203 5178 5162 5149 5137 5127 5218 5184 5166 5152 5141 5130 4769 5225 5171 5156 5144 5133 5123 5202 5178 5161 5148 5137 5127 4656 5192 5172 5158 5145 5135 5125 5199 5177 5161 5148 5137 5127 5208 5182 5165 5152 5140 5130 5223 5187 5169 5155 5143 5227 4816 5193 5173 5158 5146 5135 5125 5201 5178 5162 5149 5138 5128 5211 5183 5166 5152 5141 5131 4813 5189 5170 5156 5144 5133 4812 5195 5174 5159 5147 5136 5126 5203 5179 5163 5150 5139 5129 5214 5185 5167 5153 5142 5131 4809 5191 5171 5157 5145 5134 4808 5198 5176 5160 5148 5137 5127 5206 5181 5164 5151 5140 5130 5220 5187 5227 5155 5143 5132 4805 5193 5173 5158 5146 5135 5125 5201 5178 5162 5149 5138 5128 5211 5183 5166 5152 5141 5131 4802 5189 5170 5156 5144 5133 4801 5196 5175 5160 5147 5136 5126 5204 5180 5164 5150 5139 5129 5217 5186 5168 5154 5142 5132 4798 5192 5172 5158 5145 5135 5125 5200 5177 5161 5149 5227 5128 5210 5227 5166 5152 5141 5130 4795 5189 5170 5156 5144 5133 4794 5196 5175 5159 5147 5136 5126 5204 5180 5164 5150 5139 5129 5217 5186 5168 5154 5142 5132 4791 5192 5172 5158 5145 5135 5125 5200 5177 5162 5149 5138 5128 5211 5183 5166 5152 5141 5131 4788 5189 5170 5156 5144 5133 4787 5197 5175 5160 5147 5136 5127 5206 5181 5164 5151 5140 5129 5221 5187 5169 5155 5143 5132 4784 5194 5173 5158 5146 5135 5126 5202 5179 5163 5150 5138 5128 5214 5184 5167 5153 5142 5131 4781 5191 5172 5157 5145 5134 5125 5199 5177 5161 5148 5137 5127 5209 5182 5166 5152 5141 5130 4778 5189 5170 5156 5144 5133 4777 5196 5175 5160 5147 5136 5127 5206 5181 5164 5151 5140 5129 5222 5187 5169 5155 5143 5132 4774 5194 5174 5159 5146 5136 5126 5203 5179 5163 5150 5139 5129 5217 5185 5168 5154 5142 5132 4771 5192 5173 5158 5146 5135 5125 5227 5179 5163 5150 5227 5128 4822 5193 5174 5159 5147 5136 5127 5200 5178 5163 5150 5139 5129 5208 5183 5166 5153 5142 5131 5221 5188 5170 5156 5145 5134 4818 5194 5175 5160 5147 5137 5127 5201 5179 5163 5151 5139 5130 5211 5184 5167 5154 5142 5132 4815 5190 5171 5157 5145 5135 4814 5196 5176 5161 5148 5137 5128 5204 5180 5164 5151 5140 5130 5214 5186 5168 5155 5143 5133 4811 5229 5173 5158 5146 5136 4810 5198 5177 5162 5149 5138 5128 5207 5182 5166 5153 5141 5131 5219 5188 5170 5156 5144 5134 4807 5194 5174 5160 5147 5137 5127 5201 5179 5163 5150 5139 5129 5211 5184 5167 5154 5142 5132 4804 5190 5172 5157 5145 5135 4803 5197 5176 5161 5149 5138 5128 5205 5181 5165 5152 5141 5131 5229 5187 5169 5155 5144 5133 4800 5193 5174 5159 5147 5136 4799 5200 5178 5163 5150 5139 5129 5210 5184 5167 5154 5142 5132 4797 5190 5171 5157 5145 5135 4796 5196 5176 5161 5148 5138 5128 5205 5181 5165 5152 5141 5131 5217 5187 5169 5155 5144 5133 4793 5193 5174 5159 5147 5136 5127 5201 5179 5163 5150 5139 5129 5211 5184 5167 5154 5142 5132 4790 5190 5172 5229 5146 5135 4789 5197 5177 5161 5149 5138 5128 5206 5182 5166 5152 5141 5131 5220 5188 5170 5156 5144 5134 4786 5194 5175 5160 5148 5137 5127 5203 5180 5164 5151 5140 5130 5214 5186 5168 5155 5143 5133 4783 5192 5173 5159 5146 5136 4782 5200 5178 5163 5150 5139 5129 5210 5184 5167 5229 5142 5132 4780 5190 5171 5157 5145 5135 4779 5197 5176 5161 5149 5138 5128 5206 5182 5166 5152 5141 5131 5221 5188 5170 5156 5144 5134 4776 5195 5175 5160 5148 5137 5127 5204 5180 5164 5151 5140 5130 5216 5186 5169 5155 5144 5133 4773 5193 5174 5159 5147 5136 5127 5203 5180 5164 5151 5140 5130 4824 5194 5175 5231 5148 5138 4823 5201 5179 5164 5151 5140 5131 5209 5184 5168 5155 5143 5133 5220 5189 5172 5158 5146 5136 4820 5195 5176 5161 5149 5138 5129 5202 5180 5165 5152 5141 5131 5211 5185 5169 5155 5144 5134 5225 5191 5173 5159 5147 5136 4816 5197 5177 5162 5150 5139 5129 5204 5182 5166 5153 5142 5132 5214 5187 5170 5156 5145 5134 4813 5193 5174 5160 5148 5137 4812 5199 5178 5163 5151 5140 5130 5207 5183 5167 5154 5143 5133 5219 5189 5171 5157 5146 5135 4809 5195 5231 5161 5149 5138 4808 5202 5180 5165 5152 5141 5131 5211 5185 5169 5155 5144 5134 5226 5191 5173 5159 5147 5136 4805 5198 5177 5162 5150 5139 5130 5231 5182 5166 5153 5142 5132 5216 5188 5170 5157 5145 5135 4802 5194 5175 5160 5148 5138 4801 5201 5180 5164 5152 5141 5131 5210 5185 5168 5155 5144 5133 5225 5191 5173 5159 5147 5136 4798 5197 5177 5162 5150 5139 5129 5205 5182 5166 5153 5142 5132 5216 5188 5170 5157 5145 5135 4795 5194 5175 5161 5148 5138 4794 5201 5180 5164 5152 5141 5131 5211 5185 5169 5155 5144 5134 5227 5191 5173 5159 5147 5137 4791 5198 5178 5163 5150 5140 5130 5207 5183 5167 5154 5143 5133 5219 5189 5171 5157 5146 5135 4788 5195 5176 5161 5149 5138 5129 5203 5181 5165 5153 5141 5131 5214 5187 5170 5156 5145 5134 4785 5193 5174 5160 5148 5137 4784 5231 5179 5164 5151 5140 5131 5210 5185 5168 5155 5144 5133 5226 5191 5173 5159 5147 5136 4781 5198 5178 5163 5150 5139 5130 5207 5183 5167 5154 5143 5133 5220 5189 5171 5158 5146 5136 4778 5196 5176 5162 5149 5139 5129 5204 5182 5166 5153 5142 5132 5216 5188 5170 5157 5145 5135 4775 5194 5175 5161 5149 5138 4725 5204 5181 5166 5153 5142 5132 4826 5195 5176 5162 5150 5139 4825 5201 5181 5165 5153 5142 5132 5209 5185 5169 5156 5145 5135 5220 5190 5173 5159 5148 5137 4822 5196 5177 5163 5151 5140 4821 5203 5182 5166 5154 5143 5133 5211 5186 5170 5157 5145 5135 5224 5192 5174 5160 5148 5138 4818 5198 5178 5164 5151 5141 5131 5205 5183 5167 5154 5143 5133 5214 5188 5171 5158 5146 5136 4815 5194 5175 5161 5149 5139 4814 5200 5180 5165 5152 5141 5132 5208 5185 5169 5156 5144 5134 5219 5190 5173 5159 5147 5137 4811 5196 5177 5162 5150 5140 4810 5203 5181 5166 5153 5233 5133 5233 5233 5170 5157 5145 5135 5225 5192 5174 5160 5148 5138 4807 5199 5179 5164 5152 5141 5131 5206 5184 5168 5155 5144 5134 5216 5189 5172 5158 5147 5136 4804 5195 5176 5162 5150 5139 4803 5202 5181 5166 5153 5142 5132 5211 5186 5170 5156 5145 5135 5224 5192 5174 5160 5148 5138 4800 5198 5178 5164 5151 5141 5131 5206 5183 5168 5155 5144 5134 5216 5189 5172 5158 5147 5136 4797 5195 5176 5162 5150 5139 4796 5202 5181 5166 5153 5142 5132 5211 5186 5170 5157 5145 5135 5226 5192 5174 5160 5149 5138 4793 5199 5179 5164 5152 5141 5131 5207 5184 5168 5155 5144 5134 5219 5190 5173 5159 5147 5137 4790 5196 5177 5163 5151 5140 4789 5204 5182 5167 5154 5143 5133 5214 5188 5171 5158 5146 5136 4787 5194 5176 5161 5149 5139 4786 5201 5181 5165 5153 5142 5132 5233 5186 5170 5156 5145 5135 5225 5192 5174 5160 5148 5138 4783 5199 5179 5164 5152 5141 5131 5208 5184 5168 5155 5144 5134 5220 5190 5173 5159 5147 5137 4780 5197 5178 5163 5151 5140 5131 5205 5183 5167 5154 5143 5133 5216 5189 5172 5158 5147 5136 4777 5195 5176 5162 5150 5139 4727 5205 5183 5167 5154 5143 5133 4828 5196 5178 5163 5151 5141 4827 5202 5182 5167 5154 5144 5134 5210 5187 5171 5158 5146 5136 5220 5192 5174 5161 5149 5139 4824 5197 5178 5164 5152 5141 4823 5204 5183 5168 5155 5144 5134 5212 5188 5171 5158 5147 5137 5223 5193 5175 5162 5150 5139 4820 5199 5180 5165 5153 5142 5133 5206 5184 5169 5156 5145 5135 5215 5189 5173 5159 5148 5138 5229 5195 5177 5163 5151 5140 4816 5201 5181 5166 5154 5143 5133 5209 5186 5170 5157 5146 5136 5219 5191 5174 5160 5149 5139 4813 5197 5178 5164 5152 5141 4812 5204 5183 5168 5155 5144 5134 5212 5188 5171 5158 5147 5137 5224 5193 5176 5162 5150 5140 4809 5200 5180 5165 5153 5142 5133 5207 5185 5169 5156 5145 5135 5217 5190 5173 5160 5148 5138 4806 5196 5178 5163 5151 5141 4805 5203 5182 5167 5155 5144 5134 5211 5187 5171 5158 5147 5137 5223 5193 5175 5162 5150 5139 4802 5199 5180 5165 5153 5142 5133 5207 5185 5169 5156 5145 5135 5217 5190 5173 5160 5148 5138 4799 5196 5178 5163 5235 5141 4798 5203 5182 5167 5155 5144 5134 5212 5188 5171 5158 5147 5137 5225 5193 5176 5162 5150 5140 4795 5200 5180 5166 5153 5143 5133 5208 5235 5170 5157 5146 5136 5219 5191 5174 5160 5149 5139 4792 5197 5179 5164 5152 5142 4791 5205 5184 5168 5156 5145 5135 5215 5189 5172 5159 5148 5138 5231 5195 5177 5163 5151 5235 4788 5202 5182 5167 5154 5144 5134 5211 5187 5171 5158 5147 5137 5224 5193 5176 5162 5150 5140 4785 5200 5180 5166 5153 5143 5133 5208 5186 5170 5157 5146 5136 5220 5191 5174 5161 5149 5139 4782 5198 5179 5165 5152 5142 4781 5206 5184 5169 5156 5145 5135 5216 5190 5173 5160 5148 5138 4779 5196 5178 5164 5152 5141 4729 5205 5184 5168 5156 5145 5135 5233 5197 5179 5165 5153 5143 4829 5203 5183 5168 5156 5145 5135 5211 5188 5172 5159 5148 5138 5220 5193 5176 5162 5151 5140 4826 5198 5180 5166 5154 5143 4825 5205 5184 5169 5157 5146 5136 5213 5189 5173 5160 5149 5138 5223 5194 5177 5163 5151 5141 4822 5200 5181 5167 5154 5144 4821 5207 5185 5170 5237 5147 5137 5215 5190 5174 5161 5149 5139 5228 5196 5178 5164 5152 5142 4818 5202 5182 5168 5155 5145 5135 5209 5187 5171 5159 5147 5237 5219 5192 5175 5162 5150 5140 4815 5198 5180 5165 5153 5143 4814 5205 5184 5169 5157 5146 5136 5213 5189 5173 5160 5149 5139 5224 5194 5177 5163 5152 5141 4811 5201 5181 5167 5155 5144 4810 5208 5186 5171 5158 5147 5137 5217 5191 5175 5161 5150 5140 5233 5197 5179 5165 5153 5142 4807 5204 5237 5169 5156 5145 5136 5212 5237 5237 5160 5148 5138 5223 5194 5177 5163 5151 5141 4804 5200 5181 5167 5155 5144 4803 5208 5186 5171 5158 5147 5137 5217 5191 5175 5161 5150 5140 5237 5197 5179 5165 5153 5143 4800 5204 5184 5169 5156 5145 5136 5213 5189 5173 5160 5149 5138 5225 5195 5177 5163 5152 5141 4797 5201 5182 5167 5155 5144 5135 5209 5187 5171 5158 5147 5137 5219 5192 5175 5162 5150 5140 4794 5199 5180 5166 5154 5143 4793 5206 5185 5170 5157 5146 5136 5215 5190 5174 5161 5149 5139 5230 5196 5178 5164 5153 5142 4790 5203 5183 5168 5156 5145 5135 5212 5188 5172 5159 5148 5138 5224 5194 5177 5163 5152 5141 4787 5201 5182 5167 5155 5144 5135 5209 5187 5171 5158 5147 5137 5220 5193 5176 5162 5151 5140 4784 5199 5180 5166 5154 5143 4783 5207 5185 5170 5158 5147 5137 5217 5191 5175 5161 5150 5140 5235 5237 5179 5165 5153 5143 4731 5206 5185 5170 5157 5146 5136 5232 5198 5180 5166 5155 5144 4831 5204 5185 5170 5158 5147 5137 5211 5189 5173 5161 5149 5140 5221 5194 5177 5164 5152 5142 4828 5200 5181 5167 5155 5145 4827 5206 5186 5171 5158 5147 5138 5213 5190 5174 5161 5150 5140 5223 5195 5178 5165 5153 5143 4824 5201 5182 5168 5156 5145 4823 5208 5187 5172 5159 5148 5138 5216 5192 5175 5162 5151 5141 5228 5197 5179 5166 5154 5239 4820 5203 5184 5169 5157 5146 5137 5210 5188 5173 5160 5149 5139 5219 5193 5177 5163 5152 5142 5235 5199 5181 5167 5155 5144 4816 5206 5185 5170 5158 5147 5138 5213 5190 5174 5161 5150 5140 5224 5196 5178 5165 5153 5143 4813 5202 5183 5168 5156 5146 4812 5209 5187 5172 5159 5148 5139 5218 5193 5176 5163 5151 5141 5231 5198 5180 5166 5155 5144 4809 5205 5185 5170 5158 5147 5137 5213 5190 5174 5161 5150 5140 5223 5195 5178 5165 5153 5143 4806 5201 5183 5168 5156 5145 4805 5209 5187 5172 5159 5148 5139 5218 5193 5176 5163 5151 5141 5232 5198 5180 5166 5155 5144 4802 5205 5185 5170 5158 5147 5137 5213 5190 5174 5161 5150 5140 5225 5196 5179 5165 5153 5143 4799 5202 5183 5169 5157 5146 4798 5210 5188 5173 5160 5149 5139 5220 5194 5177 5163 5152 5142 4796 5200 5181 5167 5155 5145 4795 5207 5186 5171 5159 5148 5138 5216 5192 5175 5162 5151 5141 5229 5197 5180 5166 5154 5144 4792 5204 5185 5170 5239 5147 5137 5213 5190 5174 5161 5150 5140 5224 5196 5178 5165 5153 5143 4789 5202 5183 5169 5156 5146 4788 5210 5188 5173 5160 5149 5139 5220 5194 5177 5164 5152 5142 4786 5200 5182 5168 5156 5145 4785 5208 5187 5172 5159 5148 5138 5217 5192 5176 5163 5151 5141 5233 5199 5181 5167 5155 5144 4733 5207 5186 5171 5159 5148 5138 5231 5200 5182 5168 5156 5146 4833 5205 5186 5171 5159 5148 5139 5212 5190 5175 5162 5151 5141 5221 5195 5179 5165 5154 5144 5235 5201 5183 5169 5157 5146 4829 5207 5187 5172 5160 5149 5139 5214 5192 5176 5163 5152 5142 5224 5197 5180 5166 5155 5144 4826 5202 5184 5170 5158 5147 4825 5209 5188 5173 5161 5150 5140 5217 5193 5177 5164 5153 5142 5228 5198 5181 5167 5155 5145 4822 5204 5185 5171 5241 5148 4821 5211 5190 5174 5162 5151 5141 5220 5195 5178 5165 5154 5143 5241 5200 5182 5168 5157 5146 4818 5207 5187 5172 5160 5149 5139 5214 5192 5176 5163 5152 5142 5224 5197 5180 5166 5155 5144 4815 5203 5184 5170 5158 5147 4814 5210 5189 5174 5161 5150 5140 5218 5194 5178 5164 5153 5143 5231 5199 5182 5168 5156 5146 4811 5206 5186 5172 5159 5149 5139 5213 5191 5175 5163 5151 5142 5241 5196 5180 5166 5155 5144 4808 5203 5184 5170 5158 5147 4807 5210 5189 5241 5161 5150 5140 5218 5194 5178 5164 5153 5143 5231 5200 5182 5168 5156 5146 4804 5206 5186 5172 5159 5149 5139 5214 5192 5176 5163 5152 5142 5225 5197 5180 5166 5155 5145 4801 5203 5185 5170 5158 5147 4800 5211 5189 5174 5161 5150 5141 5220 5195 5178 5165 5154 5143 5236 5201 5183 5169 5157 5146 4797 5208 5188 5173 5160 5149 5140 5216 5193 5177 5164 5152 5142 5229 5199 5181 5167 5156 5145 4794 5205 5186 5171 5159 5148 5139 5213 5191 5175 5163 5151 5142 5224 5197 5180 5166 5155 5144 4791 5203 5184 5170 5158 5147 4790 5211 5190 5174 5162 5151 5141 5221 5195 5241 5165 5154 5144 5238 5201 5183 5169 5157 5147 4787 5209 5188 5173 5161 5150 5140 5218 5194 5177 5164 5153 5143 5232 5200 5182 5168 5156 5146 4735 5208 5188 5173 5160 5150 5140 5231 5201 5183 5169 5158 5147 4835 5207 5187 5173 5161 5150 4834 5213 5192 5176 5164 5153 5143 5222 5197 5180 5167 5155 5145 5234 5202 5184 5170 5158 5148 4831 5208 5188 5174 5161 5151 5141 5215 5193 5177 5164 5153 5143 5224 5198 5181 5168 5156 5146 5240 5203 5185 5171 5159 5149 4827 5210 5190 5175 5162 5151 5142 5217 5194 5178 5165 5154 5144 5228 5199 5182 5169 5157 5147 4824 5205 5243 5172 5160 5149 4823 5212 5191 5176 5163 5152 5142 5221 5196 5180 5166 5155 5145 5233 5243 5184 5170 5158 5148 4820 5208 5188 5173 5161 5243 5141 5215 5193 5177 5164 5153 5143 5225 5198 5181 5168 5156 5146 4817 5204 5186 5171 5159 5149 4816 5211 5190 5175 5163 5152 5142 5219 5195 5179 5166 5155 5145 5231 5201 5183 5169 5158 5147 4813 5207 5188 5173 5161 5150 5141 5214 5192 5177 5164 5153 5143 5224 5198 5181 5168 5156 5146 4810 5204 5185 5171 5159 5149 4809 5211 5190 5175 5163 5152 5142 5219 5195 5179 5166 5155 5145 5231 5201 5183 5170 5158 5147 4806 5207 5188 5173 5161 5150 5141 5215 5193 5177 5164 5153 5143 5225 5198 5181 5168 5156 5146 4803 5205 5186 5172 5160 5149 4802 5212 5191 5176 5163 5152 5142 5221 5196 5180 5167 5155 5145 5235 5202 5184 5170 5158 5148 4799 5209 5189 5174 5162 5151 5141 5217 5194 5178 5165 5154 5144 5229 5200 5183 5169 5157 5147 4796 5243 5187 5173 5161 5150 4795 5214 5192 5177 5164 5153 5143 5225 5198 5181 5168 5156 5146 4793 5204 5186 5172 5160 5149 4792 5212 5191 5176 5163 5152 5142 5221 5196 5180 5167 5155 5145 5237 5203 5185 5171 5159 5148 4789 5210 5190 5175 5162 5151 5142 5219 5195 5179 5166 5155 5145 5232 5201 5183 5170 5158 5148 4737 5209 5189 5174 5162 5151 5141 5231 5202 5185 5171 5159 5149 4837 5208 5189 5174 5162 5152 4836 5214 5193 5178 5165 5154 5144 5222 5198 5182 5168 5157 5147 5234 5203 5245 5172 5160 5150 4833 5209 5190 5175 5163 5152 5143 5216 5194 5179 5166 5155 5145 5225 5199 5183 5169 5158 5148 5239 5205 5187 5173 5161 5150 4829 5211 5191 5176 5164 5153 5143 5218 5196 5180 5167 5156 5146 5228 5201 5184 5170 5159 5148 4826 5207 5188 5174 5162 5151 4825 5213 5192 5177 5165 5154 5144 5221 5197 5181 5168 5157 5147 5233 5203 5185 5171 5160 5149 4822 5209 5190 5175 5163 5152 4821 5216 5194 5179 5166 5155 5145 5225 5199 5183 5169 5158 5148 5241 5205 5187 5173 5161 5245 4818 5212 5192 5177 5164 5153 5144 5220 5196 5180 5167 5156 5146 5231 5202 5185 5171 5159 5149 4815 5208 5189 5175 5162 5152 4814 5215 5194 5178 5166 5155 5145 5225 5199 5182 5169 5158 5148 5240 5205 5187 5173 5161 5150 4811 5212 5191 5177 5164 5153 5144 5220 5245 5245 5168 5156 5146 5231 5202 5185 5171 5159 5149 4808 5208 5189 5175 5163 5152 4807 5216 5194 5179 5166 5155 5145 5226 5200 5183 5170 5158 5148 4805 5206 5187 5173 5161 5151 4804 5213 5192 5177 5165 5154 5144 5222 5197 5181 5168 5157 5147 5234 5203 5186 5172 5160 5150 4801 5210 5190 5176 5163 5153 5143 5218 5245 5180 5167 5156 5146 5229 5201 5184 5245 5159 5149 4798 5208 5189 5174 5162 5152 4797 5215 5194 5178 5166 5155 5145 5225 5199 5183 5169 5158 5148 4795 5206 5187 5173 5161 5151 4794 5213 5192 5177 5165 5154 5144 5222 5198 5181 5168 5157 5147 5236 5204 5186 5172 5160 5150 4791 5211 5191 5176 5164 5153 5143 5220 5196 5180 5167 5156 5146 5232 5202 5185 5171 5160 5149 4739 5210 5191 5176 5164 5153 5143 5231 5203 5186 5173 5161 5151 4839 5209 5190 5176 5164 5153 4838 5215 5195 5179 5167 5156 5146 5223 5199 5183 5170 5159 5149 5234 5204 5187 5173 5162 5151 4835 5210 5191 5177 5165 5154 4834 5217 5196 5180 5168 5157 5147 5225 5200 5184 5171 5159 5149 5238 5206 5188 5174 5162 5152 4831 5212 5192 5178 5165 5155 5145 5219 5197 5181 5169 5157 5147 5229 5202 5185 5172 5160 5150 4828 5208 5189 5175 5163 5153 4827 5214 5194 5179 5166 5156 5146 5222 5199 5183 5170 5158 5148 5233 5204 5187 5173 5161 5151 4824 5210 5191 5177 5164 5154 4823 5217 5196 5180 5168 5157 5147 5226 5201 5184 5171 5160 5149 5240 5206 5188 5174 5163 5152 4820 5213 5193 5178 5166 5155 5145 5221 5198 5182 5169 5158 5148 5231 5203 5186 5173 5161 5151 4817 5209 5190 5176 5164 5153 4816 5216 5195 5180 5167 5156 5147 5225 5200 5184 5171 5159 5149 5239 5206 5188 5174 5162 5152 4813 5213 5193 5178 5166 5155 5145 5221 5198 5182 5169 5158 5148 5232 5203 5186 5173 5161 5151 4810 5210 5191 5176 5164 5154 4809 5217 5196 5180 5168 5157 5147 5226 5201 5184 5171 5160 5150 5242 5207 5189 5175 5163 5152 4806 5214 5194 5179 5166 5155 5146 5222 5199 5183 5170 5158 5148 5234 5205 5187 5173 5162 5151 4803 5211 5192 5177 5165 5154 5145 5219 5197 5181 5168 5157 5147 5230 5247 5186 5172 5161 5150 4800 5209 5190 5176 5164 5153 4799 5216 5195 5180 5167 5156 5146 5226 5201 5184 5171 5160 5149 5242 5207 5189 5175 5163 5152 4796 5214 5194 5179 5166 5155 5146 5223 5199 5183 5170 5159 5149 5236 5205 5187 5174 5162 5152 4793 5212 5192 5178 5165 5155 5145 5220 5198 5182 5169 5158 5148 5232 5204 5186 5173 5161 5151 4741 5212 5192 5177 5165 5154 5145 5232 5205 5188 5174 5163 5152 4841 5210 5192 5177 5165 5155 4840 5216 5196 5181 5168 5158 5148 5224 5201 5185 5172 5160 5150 5234 5206 5188 5175 5163 5153 4837 5211 5193 5178 5166 5156 4836 5218 5197 5182 5169 5158 5148 5226 5202 5186 5172 5161 5151 5238 5207 5190 5176 5164 5154 4833 5213 5194 5179 5167 5156 5147 5220 5198 5183 5170 5159 5149 5229 5203 5187 5173 5162 5152 5244 5209 5191 5177 5165 5154 4829 5215 5195 5180 5168 5157 5147 5223 5200 5184 5171 5160 5150 5233 5205 5188 5175 5163 5153 4826 5211 5192 5178 5166 5155 4825 5218 5197 5182 5169 5158 5148 5227 5202 5186 5173 5161 5151 5240 5208 5190 5176 5164 5154 4822 5214 5194 5180 5167 5157 5147 5222 5199 5249 5171 5160 5150 5232 5205 5188 5174 5163 5152 4819 5211 5192 5178 5166 5155 4818 5217 5197 5181 5169 5158 5148 5226 5202 5185 5172 5161 5151 5239 5207 5190 5176 5164 5154 4815 5214 5194 5180 5167 5157 5147 5222 5199 5184 5171 5160 5150 5232 5205 5188 5174 5163 5152 4812 5211 5192 5178 5166 5155 4811 5218 5197 5182 5169 5158 5148 5227 5202 5186 5173 5161 5151 5241 5208 5190 5176 5165 5154 4808 5215 5195 5180 5168 5157 5147 5223 5200 5184 5171 5160 5150 5235 5206 5189 5175 5163 5153 4805 5212 5193 5179 5167 5156 4804 5220 5198 5183 5170 5159 5149 5230 5204 5187 5174 5162 5152 4802 5210 5192 5177 5165 5155 4801 5217 5197 5181 5169 5158 5148 5227 5202 5186 5249 5161 5151 5241 5208 5190 5176 5164 5154 4798 5215 5195 5180 5168 5157 5147 5224 5200 5184 5171 5160 5150 5236 5206 5189 5175 5164 5153 4795 5213 5194 5179 5167 5156 5147 5221 5199 5183 5171 5159 5150 5232 5205 5188 5174 5163 5152 4743 5213 5193 5179 5167 5156 4668 5232 5206 5189 5176 5164 5154 5248 5211 5193 5179 5167 5157 4842 5218 5197 5182 5170 5159 5150 5225 5202 5186 5173 5162 5152 5235 5207 5190 5176 5165 5155 4839 5213 5194 5180 5168 5157 4838 5219 5198 5183 5171 5160 5150 5227 5203 5187 5174 5163 5153 5238 5208 5191 5177 5166 5155 4835 5214 5195 5181 5169 5158 4834 5221 5200 5184 5172 5161 5151 5230 5205 5188 5175 5164 5153 5251 5210 5192 5178 5167 5156 4831 5217 5197 5182 5170 5159 5149 5224 5201 5186 5173 5162 5152 5234 5207 5190 5176 5165 5154 4828 5213 5194 5180 5168 5157 4827 5219 5251 5183 5171 5160 5150 5228 5203 5187 5174 5163 5153 5240 5209 5191 5178 5166 5155 4824 5215 5196 5181 5169 5158 5149 5223 5201 5185 5172 5161 5151 5232 5206 5189 5176 5164 5154 4821 5212 5193 5179 5167 5157 4820 5219 5198 5183 5171 5160 5150 5227 5203 5187 5174 5163 5153 5239 5209 5191 5177 5166 5155 4817 5215 5196 5181 5169 5158 5149 5223 5201 5185 5172 5161 5151 5233 5206 5189 5176 5164 5154 4814 5212 5194 5179 5167 5157 4813 5219 5198 5183 5171 5160 5150 5228 5204 5187 5174 5163 5153 5241 5210 5192 5178 5166 5156 4810 5216 5196 5182 5169 5159 5149 5224 5202 5186 5173 5162 5152 5235 5207 5190 5177 5165 5155 4807 5214 5195 5180 5168 5158 4806 5221 5200 5184 5172 5161 5151 5231 5205 5189 5175 5164 5154 5248 5211 5193 5179 5167 5157 4803 5219 5198 5183 5171 5160 5150 5227 5203 5187 5174 5163 5153 5241 5209 5192 5178 5166 5156 4800 5216 5197 5182 5170 5159 5149 5225 5202 5186 5173 5162 5152 5236 5208 5190 5177 5165 5155 4797 5214 5195 5181 5169 5158 4796 5222 5200 5185 5172 5161 5151 5233 5206 5189 5176 5164 5154 4745 5214 5195 5180 5168 5158 4669 5233 5207 5191 5177 5166 5156 5247 5213 5195 5181 5169 5158 4844 5219 5199 5184 5172 5161 5151 5226 5203 5188 5175 5164 5154 5235 5208 5191 5178 5166 5156 4841 5214 5196 5181 5169 5159 4840 5220 5200 5185 5172 5162 5152 5228 5205 5189 5176 5164 5154 5239 5210 5193 5179 5167 5157 4837 5216 5197 5182 5170 5160 4836 5222 5201 5186 5173 5162 5153 5231 5206 5190 5177 5165 5155 5243 5212 5194 5180 5168 5158 4833 5218 5198 5184 5171 5161 5151 5225 5203 5187 5174 5163 5153 5235 5208 5191 5178 5166 5156 4830 5214 5195 5181 5169 5159 4829 5220 5200 5185 5172 5162 5152 5229 5205 5189 5176 5165 5154 5240 5210 5193 5179 5168 5157 4826 5253 5197 5183 5171 5160 4825 5224 5202 5187 5174 5163 5153 5233 5207 5191 5177 5166 5156 5249 5213 5195 5181 5169 5158 4822 5220 5200 5185 5172 5161 5152 5228 5205 5189 5176 5164 5154 5239 5210 5193 5179 5167 5157 4819 5216 5197 5183 5171 5160 4818 5224 5202 5187 5174 5163 5153 5233 5207 5191 5177 5166 5156 5250 5213 5195 5181 5169 5159 4815 5220 5200 5185 5172 5162 5152 5229 5205 5189 5176 5165 5155 5241 5211 5193 5180 5168 5157 4812 5217 5198 5183 5171 5160 5151 5225 5203 5187 5175 5163 5153 5236 5209 5192 5178 5167 5156 4809 5215 5196 5182 5170 5159 4808 5222 5201 5186 5173 5162 5152 5232 5207 5190 5177 5165 5155 5247 5213 5195 5181 5169 5158 4805 5220 5199 5185 5172 5161 5152 5228 5205 5189 5176 5164 5154 5241 5211 5193 5179 5168 5157 4802 5218 5198 5183 5171 5160 5151 5226 5203 5188 5175 5164 5154 5237 5209 5192 5178 5167 5157 4799 5216 5197 5182 5170 5160 4798 5224 5202 5186 5174 5163 5153 5234 5208 5191 5178 5166 5156 4747 5215 5196 5182 5170 5159 4670 5234 5209 5192 5179 5168 5157 5247 5214 5196 5182 5170 5160 4846 5220 5200 5186 5173 5163 5153 5227 5205 5189 5176 5165 5155 5236 5210 5193 5180 5168 5158 5252 5215 5197 5183 5171 5161 4842 5222 5201 5186 5174 5163 5154 5229 5206 5190 5177 5166 5156 5239 5211 5194 5255 5169 5159 4839 5217 5198 5184 5172 5161 4838 5224 5203 5188 5175 5164 5154 5232 5208 5191 5178 5167 5157 5243 5213 5195 5182 5170 5159 4835 5219 5200 5185 5173 5162 5153 5226 5204 5189 5176 5165 5155 5235 5209 5193 5179 5168 5158 5251 5215 5197 5183 5171 5160 4831 5222 5201 5187 5174 5163 5154 5230 5206 5190 5177 5166 5156 5240 5212 5194 5181 5169 5159 4828 5218 5199 5184 5172 5162 4827 5225 5204 5188 5176 5165 5155 5234 5209 5192 5179 5168 5157 5248 5214 5196 5182 5171 5160 4824 5221 5201 5186 5174 5163 5153 5229 5206 5190 5177 5166 5156 5240 5211 5194 5181 5169 5159 4821 5218 5199 5184 5172 5162 4820 5225 5204 5188 5176 5165 5155 5234 5209 5192 5179 5168 5157 5249 5215 5197 5183 5171 5160 4817 5222 5201 5186 5174 5163 5154 5230 5207 5191 5178 5166 5156 5255 5212 5195 5181 5169 5159 4814 5219 5199 5185 5173 5162 4813 5226 5204 5189 5176 5165 5155 5236 5210 5193 5180 5168 5158 4811 5216 5198 5183 5172 5161 4810 5223 5203 5187 5175 5164 5154 5233 5208 5192 5178 5167 5157 5247 5214 5196 5182 5170 5160 4807 5221 5201 5186 5174 5163 5153 5229 5206 5190 5177 5166 5156 5241 5212 5195 5181 5169 5159 4804 5219 5200 5185 5173 5162 4803 5227 5205 5189 5176 5165 5155 5237 5210 5194 5180 5169 5158 4801 5217 5198 5184 5172 5161 4800 5225 5203 5188 5175 5164 5155 5235 5209 5192 5179 5168 5158 4749 5255 5198 5184 5172 5161 4671 5235 5210 5194 5181 5169 5159 5247 5215 5198 5184 5172 5162 4848 5221 5202 5187 5175 5164 5155 5228 5206 5191 5178 5167 5157 5237 5211 5195 5181 5170 5160 5251 5217 5199 5185 5173 5162 4844 5223 5203 5188 5176 5165 5155 5230 5208 5192 5179 5168 5158 5240 5213 5196 5182 5171 5160 4841 5218 5200 5186 5174 5163 4840 5225 5204 5189 5177 5166 5156 5233 5209 5193 5180 5169 5159 5244 5214 5197 5183 5172 5161 4837 5220 5201 5187 5175 5164 4836 5227 5206 5190 5178 5167 5157 5236 5211 5194 5181 5170 5159 5250 5216 5198 5184 5173 5162 4833 5223 5203 5188 5176 5165 5155 5231 5208 5192 5179 5168 5158 5241 5213 5196 5182 5171 5161 4830 5219 5200 5186 5174 5163 4829 5226 5205 5190 5177 5166 5156 5235 5210 5194 5181 5169 5159 5248 5216 5198 5184 5172 5162 4826 5222 5257 5188 5175 5165 5155 5230 5207 5192 5179 5168 5158 5240 5213 5196 5182 5171 5160 4823 5219 5200 5186 5174 5163 4822 5226 5205 5190 5177 5166 5156 5235 5210 5194 5181 5169 5159 5249 5216 5198 5184 5172 5162 4819 5223 5203 5188 5176 5165 5155 5231 5208 5192 5179 5168 5158 5242 5214 5196 5183 5171 5161 4816 5220 5201 5187 5174 5164 4815 5228 5206 5190 5178 5167 5157 5237 5211 5195 5181 5170 5160 4813 5218 5199 5185 5173 5163 4812 5225 5204 5189 5177 5166 5156 5257 5209 5193 5180 5169 5159 5247 5215 5198 5184 5172 5162 4809 5222 5202 5188 5175 5165 5155 5230 5208 5192 5179 5168 5158 5242 5257 5196 5183 5171 5161 4806 5220 5201 5187 5174 5164 4805 5228 5206 5191 5178 5167 5157 5238 5212 5195 5182 5170 5160 4803 5218 5200 5186 5174 5163 4802 5226 5205 5190 5177 5166 5156 5235 5210 5194 5181 5169 5159 4751 5218 5199 5185 5173 5163 4672 5236 5212 5195 5182 5171 5161 5247 5217 5199 5185 5174 5163 4850 5223 5203 5189 5177 5166 4849 5229 5208 5192 5180 5169 5159 5238 5213 5196 5183 5172 5161 5251 5218 5200 5186 5174 5164 4846 5224 5204 5190 5177 5167 5157 5231 5209 5193 5181 5169 5159 5241 5214 5197 5184 5172 5162 4843 5220 5201 5187 5175 5165 4842 5226 5206 5191 5178 5167 5158 5234 5210 5194 5259 5170 5160 5244 5216 5198 5185 5173 5163 4839 5222 5203 5188 5176 5166 4838 5229 5207 5192 5179 5168 5159 5237 5212 5196 5183 5171 5161 5250 5218 5200 5186 5174 5164 4835 5224 5204 5190 5177 5167 5157 5232 5209 5194 5181 5170 5160 5242 5215 5198 5184 5173 5162 4832 5220 5202 5188 5176 5165 4831 5227 5259 5191 5179 5168 5158 5236 5212 5195 5182 5171 5161 5248 5217 5200 5186 5174 5164 4828 5224 5204 5189 5177 5166 5157 5231 5209 5193 5180 5169 5159 5241 5214 5197 5184 5172 5162 4825 5220 5202 5188 5176 5165 4824 5227 5207 5191 5179 5168 5158 5236 5212 5195 5182 5171 5161 5249 5259 5200 5186 5174 5164 4821 5224 5204 5190 5177 5167 5157 5232 5209 5194 5181 5170 5160 5243 5215 5198 5184 5173 5163 4818 5221 5202 5188 5176 5165 4817 5229 5207 5192 5179 5168 5159 5238 5213 5196 5183 5172 5161 5254 5219 5201 5187 5175 5164 4814 5226 5206 5191 5178 5167 5158 5235 5211 5195 5182 5171 5160 5247 5217 5199 5185 5174 5163 4811 5259 5204 5189 5177 5166 5157 5232 5209 5193 5181 5170 5160 5242 5215 5198 5184 5173 5162 4808 5221 5203 5188 5176 5166 4807 5229 5208 5192 5180 5169 5159 5239 5213 5197 5183 5172 5162 4805 5220 5201 5187 5175 5165 4804 5227 5206 5191 5179 5168 5158 5236 5212 5196 5182 5171 5161 5255 5219 5201 5187 5175 5165 4673 5237 5213 5197 5184 5173 5163 5248 5218 5201 5187 5175 5165 4852 5224 5205 5261 5178 5168 4851 5231 5209 5194 5181 5170 5161 5239 5214 5198 5185 5173 5163 5251 5219 5202 5188 5176 5166 4848 5225 5206 5191 5179 5168 5159 5232 5261 5195 5182 5171 5161 5241 5215 5199 5185 5174 5164 5256 5221 5203 5189 5177 5166 4844 5227 5207 5192 5180 5169 5159 5235 5212 5196 5183 5172 5162 5245 5217 5200 5186 5175 5165 4841 5223 5204 5190 5178 5167 4840 5230 5209 5194 5181 5170 5160 5238 5214 5197 5184 5173 5163 5250 5219 5202 5188 5176 5166 4837 5261 5206 5191 5179 5168 5159 5233 5211 5195 5182 5171 5161 5242 5216 5199 5186 5174 5164 4834 5222 5203 5189 5177 5167 4833 5229 5208 5193 5181 5170 5160 5237 5213 5197 5184 5173 5163 5248 5219 5201 5187 5176 5165 4830 5225 5206 5191 5179 5168 4829 5232 5210 5195 5182 5171 5161 5242 5216 5199 5186 5174 5164 4827 5222 5203 5189 5177 5167 4826 5229 5208 5193 5181 5170 5160 5237 5213 5197 5184 5173 5163 5249 5219 5201 5188 5176 5165 4823 5225 5206 5191 5179 5168 5159 5233 5211 5195 5182 5171 5161 5243 5216 5200 5186 5175 5164 4820 5223 5204 5190 5178 5167 4819 5230 5209 5194 5181 5170 5160 5239 5214 5198 5185 5173 5163 5261 5220 5202 5188 5177 5166 4816 5227 5207 5192 5180 5169 5159 5236 5212 5196 5183 5172 5162 5247 5218 5201 5187 5175 5165 4813 5225 5206 5191 5179 5168 4812 5233 5211 5195 5182 5171 5161 5243 5216 5199 5186 5174 5164 4810 5223 5204 5190 5178 5167 4809 5230 5209 5194 5181 5170 5261 5240 5215 5198 5185 5174 5163 5256 5221 5203 5189 5177 5166 4806 5228 5208 5193 5180 5170 5160 5237 5213 5197 5184 5173 5163 5255 5221 5203 5189 5177 5166 4674 5238 5215 5199 5186 5174 5164 5248 5220 5202 5189 5177 5167 4854 5225 5263 5192 5180 5169 4853 5232 5211 5196 5183 5172 5162 5240 5216 5199 5186 5175 5165 5251 5221 5203 5190 5178 5167 4850 5227 5263 5193 5181 5170 4849 5234 5212 5197 5184 5173 5163 5242 5217 5200 5187 5176 5166 5256 5222 5204 5190 5179 5168 4846 5229 5209 5194 5182 5171 5161 5236 5213 5198 5185 5174 5164 5246 5219 5202 5188 5177 5166 4843 5224 5206 5192 5180 5169 4842 5231 5210 5195 5183 5172 5162 5239 5215 5199 5186 5175 5165 5251 5221 5203 5189 5178 5167 4839 5227 5208 5193 5181 5170 4838 5234 5212 5197 5184 5173 5163 5243 5217 5201 5187 5176 5166 5259 5223 5205 5191 5179 5169 4835 5230 5210 5195 5182 5171 5162 5238 5215 5199 5186 5174 5164 5249 5220 5203 5189 5177 5167 4832 5226 5207 5193 5181 5170 4831 5234 5212 5263 5184 5173 5163 5243 5217 5201 5187 5176 5166 5259 5223 5205 5191 5179 5168 4828 5230 5210 5195 5182 5171 5162 5238 5215 5199 5186 5174 5164 5250 5220 5203 5189 5178 5167 4825 5227 5263 5193 5181 5170 4824 5234 5212 5197 5184 5173 5163 5244 5218 5201 5188 5176 5166 4822 5224 5206 5191 5179 5169 4821 5231 5210 5195 5183 5172 5162 5240 5216 5199 5186 5175 5165 5254 5222 5204 5190 5178 5168 4818 5229 5209 5194 5182 5171 5161 5237 5214 5198 5185 5174 5164 5248 5220 5202 5189 5177 5167 4815 5226 5207 5193 5263 5170 4814 5234 5212 5197 5184 5173 5163 5244 5218 5201 5188 5176 5166 4812 5224 5206 5191 5180 5169 4811 5232 5211 5196 5183 5172 5162 5241 5216 5200 5187 5175 5165 5256 5222 5204 5190 5179 5168 4808 5230 5209 5195 5182 5171 5162 5239 5215 5199 5186 5175 5164 5255 5222 5204 5190 5178 5168 4675 5239 5216 5200 5187 5176 5166 5249 5221 5204 5190 5179 5169 4856 5227 5208 5194 5182 5171 4855 5233 5212 5197 5185 5174 5164 5241 5217 5201 5188 5177 5167 5252 5222 5205 5191 5180 5169 4852 5228 5209 5195 5182 5172 4851 5235 5214 5198 5186 5175 5165 5243 5218 5202 5189 5177 5167 5256 5224 5206 5192 5180 5170 4848 5230 5210 5196 5183 5173 5163 5237 5215 5199 5187 5175 5165 5247 5220 5203 5190 5178 5168 4845 5226 5207 5193 5181 5171 4844 5232 5212 5197 5184 5174 5164 5240 5217 5201 5188 5176 5166 5251 5222 5205 5191 5179 5169 4841 5228 5209 5195 5183 5172 4840 5235 5214 5198 5186 5175 5165 5244 5219 5202 5189 5178 5168 5259 5225 5207 5193 5181 5170 4837 5231 5211 5196 5184 5173 5163 5239 5216 5200 5187 5176 5166 5250 5265 5204 5191 5179 5169 4834 5228 5209 5194 5182 5172 4833 5235 5213 5198 5186 5175 5165 5244 5219 5202 5189 5178 5167 5258 5225 5207 5193 5181 5170 4830 5231 5211 5196 5184 5173 5163 5239 5216 5200 5187 5176 5166 5251 5222 5205 5191 5179 5169 4827 5228 5209 5195 5182 5172 4826 5236 5214 5199 5186 5175 5165 5245 5219 5203 5189 5178 5168 5263 5265 5207 5193 5181 5171 4823 5233 5212 5197 5185 5174 5164 5241 5217 5201 5188 5177 5167 5254 5223 5206 5192 5180 5170 4820 5230 5210 5196 5183 5173 5163 5238 5215 5200 5187 5176 5166 5249 5221 5204 5190 5179 5169 4817 5228 5209 5194 5182 5172 4816 5235 5214 5198 5186 5175 5165 5245 5219 5203 5189 5178 5168 4814 5226 5207 5193 5181 5171 4813 5233 5212 5197 5185 5174 5164 5242 5218 5201 5188 5177 5167 5256 5224 5206 5192 5180 5170 4810 5231 5211 5196 5184 5173 5163 5240 5216 5200 5187 5176 5166 5255 5223 5206 5192 5180 5170 4676 5240 5218 5202 5189 5178 5168 5250 5223 5206 5192 5181 5170 4858 5228 5210 5195 5184 5173 4857 5235 5214 5199 5187 5176 5166 5242 5219 5203 5190 5178 5168 5253 5224 5207 5193 5181 5171 4854 5230 5211 5196 5184 5174 4853 5236 5215 5200 5187 5176 5166 5245 5220 5204 5190 5179 5169 5257 5225 5208 5194 5182 5172 4850 5231 5212 5197 5185 5174 5165 5239 5217 5201 5188 5177 5167 5248 5222 5205 5192 5180 5170 5267 5227 5209 5195 5183 5173 4846 5234 5267 5199 5186 5175 5166 5242 5218 5202 5189 5178 5168 5252 5224 5206 5193 5181 5171 4843 5230 5211 5196 5184 5174 4842 5237 5215 5200 5187 5176 5167 5245 5220 5204 5191 5179 5169 5259 5226 5208 5194 5182 5172 4839 5233 5213 5198 5186 5175 5165 5240 5218 5202 5189 5178 5168 5251 5223 5206 5192 5181 5171 4836 5229 5210 5196 5184 5173 4835 5236 5215 5200 5187 5176 5166 5245 5220 5204 5191 5179 5169 5259 5226 5208 5194 5182 5172 4832 5233 5213 5198 5186 5175 5165 5241 5218 5202 5189 5178 5168 5251 5223 5206 5193 5181 5171 4829 5230 5211 5196 5184 5174 4828 5237 5216 5200 5188 5177 5167 5246 5221 5204 5191 5180 5170 5262 5227 5209 5195 5183 5172 4825 5234 5214 5199 5186 5175 5166 5242 5219 5203 5190 5178 5168 5255 5225 5207 5193 5182 5171 4822 5231 5212 5197 5185 5174 5165 5239 5217 5201 5267 5177 5167 5250 5223 5206 5192 5181 5170 4819 5229 5210 5196 5184 5173 4818 5237 5215 5200 5187 5176 5167 5246 5221 5204 5191 5180 5169 5267 5227 5209 5195 5183 5172 4815 5234 5214 5199 5186 5176 5166 5243 5219 5203 5190 5179 5169 5257 5225 5208 5194 5182 5172 4812 5232 5213 5198 5186 5175 5165 5241 5218 5202 5189 5178 5168 5255 5225 5207 5194 5182 5171 4677 5242 5219 5204 5191 5180 5170 5251 5224 5207 5194 5182 5172 4860 5230 5211 5197 5185 5175 4859 5236 5216 5201 5188 5177 5168 5243 5220 5204 5191 5180 5170 5253 5225 5208 5195 5183 5173 4856 5231 5212 5198 5186 5175 4855 5238 5217 5202 5189 5178 5168 5246 5222 5205 5192 5181 5171 5257 5227 5209 5196 5184 5173 4852 5233 5214 5199 5187 5176 4851 5240 5218 5203 5190 5179 5169 5249 5223 5207 5193 5182 5172 5263 5229 5211 5197 5185 5174 4848 5235 5215 5200 5188 5177 5167 5243 5220 5204 5191 5180 5170 5253 5225 5208 5194 5183 5173 4845 5231 5212 5198 5186 5175 4844 5238 5217 5202 5189 5178 5168 5247 5222 5206 5192 5181 5171 5259 5228 5210 5196 5184 5174 4841 5234 5214 5200 5187 5177 5167 5242 5219 5203 5191 5180 5170 5252 5225 5208 5194 5183 5172 4838 5231 5212 5198 5186 5175 4837 5269 5217 5201 5189 5178 5168 5246 5222 5205 5192 5181 5171 5259 5269 5210 5196 5184 5174 4834 5234 5214 5200 5187 5177 5167 5242 5219 5204 5191 5180 5170 5252 5225 5208 5194 5183 5172 4831 5231 5212 5198 5186 5175 4830 5238 5217 5202 5189 5178 5168 5247 5222 5206 5193 5181 5171 5262 5228 5210 5196 5185 5174 4827 5235 5215 5200 5188 5177 5167 5244 5220 5204 5191 5180 5170 5255 5226 5209 5195 5183 5173 4824 5233 5213 5199 5187 5176 4823 5241 5219 5203 5190 5179 5169 5251 5224 5207 5194 5182 5172 4821 5230 5212 5198 5186 5175 4820 5238 5217 5202 5189 5178 5168 5247 5222 5206 5193 5181 5171 5262 5229 5211 5197 5185 5174 4817 5236 5215 5201 5188 5177 5168 5244 5221 5205 5192 5180 5170 5257 5227 5209 5196 5184 5173 4814 5234 5214 5200 5187 5177 5167 5242 5220 5204 5191 5180 5170 5256 5226 5209 5195 5184 5173 4678 5243 5221 5205 5192 5181 5171 5252 5226 5209 5196 5184 5174 5267 5231 5213 5199 5187 5176 4861 5237 5217 5202 5190 5179 5169 5245 5222 5206 5193 5182 5172 5254 5227 5210 5196 5185 5174 4858 5233 5214 5200 5188 5177 4857 5239 5218 5203 5191 5180 5170 5247 5223 5207 5194 5183 5173 5258 5228 5211 5197 5186 5175 4854 5234 5215 5201 5189 5178 4853 5241 5220 5204 5192 5181 5171 5250 5225 5208 5195 5184 5173 5263 5230 5212 5198 5187 5176 4850 5237 5217 5202 5190 5179 5169 5244 5221 5206 5193 5182 5172 5254 5227 5210 5196 5185 5174 4847 5233 5214 5200 5188 5177 4846 5239 5219 5203 5191 5180 5170 5248 5224 5207 5194 5183 5173 5260 5229 5211 5198 5186 5176 4843 5235 5216 5201 5189 5178 5169 5243 5221 5205 5192 5181 5171 5253 5226 5209 5196 5184 5174 4840 5232 5214 5199 5187 5177 4839 5239 5218 5203 5191 5180 5170 5247 5223 5207 5194 5183 5173 5260 5229 5211 5198 5186 5271 4836 5235 5216 5201 5189 5178 5169 5243 5221 5205 5192 5181 5171 5253 5226 5209 5196 5184 5174 4833 5233 5214 5200 5188 5177 4832 5240 5219 5204 5191 5180 5170 5249 5224 5208 5195 5183 5173 5262 5230 5212 5198 5186 5176 4829 5237 5217 5202 5190 5179 5169 5245 5222 5206 5193 5182 5172 5256 5228 5210 5197 5185 5175 4826 5234 5215 5201 5188 5178 4825 5242 5220 5205 5192 5181 5171 5252 5226 5209 5196 5184 5174 4823 5232 5214 5199 5187 5177 4822 5239 5271 5203 5191 5180 5170 5248 5224 5208 5194 5183 5173 5263 5230 5212 5198 5186 5176 4819 5237 5217 5202 5190 5179 5169 5246 5222 5206 5193 5182 5172 5258 5228 5211 5197 5186 5175 4816 5235 5216 5201 5189 5178 5169 5243 5221 5205 5193 5181 5172 5257 5228 5211 5197 5185 5175 4679 5244 5222 5207 5194 5183 5173 5253 5227 5211 5197 5186 5176 5267 5233 5215 5201 5189 5178 4863 5239 5219 5204 5192 5181 5171 5246 5223 5208 5195 5184 5174 5255 5228 5273 5198 5273 5176 4860 5234 5216 5201 5189 5179 4859 5240 5220 5205 5192 5182 5172 5248 5225 5209 5196 5184 5174 5259 5230 5213 5199 5187 5177 4856 5236 5217 5202 5190 5180 4855 5243 5221 5206 5193 5182 5173 5251 5226 5210 5197 5185 5175 5264 5232 5214 5200 5188 5178 4852 5238 5218 5204 5191 5181 5171 5245 5223 5207 5195 5183 5174 5255 5228 5211 5198 5186 5176 4849 5234 5216 5201 5189 5179 4848 5241 5220 5205 5193 5182 5172 5249 5225 5209 5196 5185 5175 5261 5231 5213 5199 5188 5177 4845 5237 5218 5203 5191 5180 5273 5244 5222 5207 5194 5183 5173 5254 5228 5211 5198 5186 5176 4842 5234 5215 5201 5189 5179 4841 5240 5220 5205 5192 5182 5172 5249 5225 5209 5196 5185 5174 5260 5231 5213 5199 5188 5177 4838 5237 5218 5203 5191 5180 5171 5245 5223 5207 5194 5183 5173 5254 5228 5211 5198 5186 5176 4835 5234 5216 5201 5189 5179 4834 5241 5220 5205 5193 5182 5172 5250 5226 5209 5196 5185 5175 5263 5231 5214 5200 5188 5178 4831 5238 5218 5204 5191 5181 5171 5246 5224 5208 5195 5184 5174 5257 5229 5212 5199 5187 5177 4828 5236 5217 5202 5190 5180 4827 5243 5222 5206 5194 5183 5173 5253 5227 5211 5197 5186 5176 5273 5233 5215 5201 5189 5179 4824 5241 5220 5205 5193 5182 5172 5250 5226 5209 5196 5185 5175 5263 5232 5214 5200 5188 5178 4821 5239 5219 5204 5192 5181 5171 5247 5224 5208 5195 5184 5174 5259 5230 5213 5199 5187 5177 4818 5237 5217 5203 5191 5180 4817 5245 5223 5207 5194 5183 5173 5258 5230 5212 5199 5187 5177 4680 5246 5224 5209 5196 5185 5175 5254 5229 5212 5199 5188 5177 5267 5234 5216 5202 5191 5180 4865 5240 5275 5206 5193 5183 5173 5247 5225 5209 5197 5185 5275 5257 5230 5213 5200 5188 5178 4862 5236 5217 5203 5191 5181 4861 5242 5222 5207 5194 5183 5174 5250 5226 5210 5197 5186 5176 5260 5275 5214 5201 5189 5179 4858 5237 5218 5204 5192 5181 4857 5244 5223 5208 5195 5184 5174 5252 5228 5212 5198 5187 5177 5265 5233 5216 5202 5190 5180 4854 5240 5220 5205 5193 5182 5173 5247 5225 5209 5196 5185 5175 5256 5230 5213 5200 5188 5178 4851 5236 5217 5203 5191 5181 4850 5242 5222 5207 5194 5184 5174 5250 5227 5211 5198 5186 5176 5262 5232 5215 5201 5189 5179 4847 5238 5219 5205 5193 5182 4846 5246 5224 5209 5196 5185 5175 5255 5229 5213 5199 5188 5178 5275 5235 5217 5203 5191 5180 4843 5242 5222 5207 5194 5183 5174 5250 5227 5211 5198 5186 5176 5261 5232 5215 5201 5189 5179 4840 5238 5219 5205 5193 5182 4839 5246 5224 5209 5196 5185 5175 5256 5230 5213 5199 5188 5178 4837 5236 5217 5203 5191 5181 4836 5243 5222 5207 5195 5184 5174 5251 5227 5211 5198 5187 5177 5264 5233 5215 5202 5190 5180 4833 5240 5220 5205 5193 5182 5173 5248 5225 5209 5197 5186 5176 5258 5231 5214 5200 5189 5178 4830 5237 5218 5204 5192 5181 4829 5245 5223 5208 5195 5184 5175 5254 5229 5212 5199 5188 5177 5270 5235 5217 5203 5191 5180 4826 5242 5222 5207 5194 5183 5174 5251 5227 5211 5198 5187 5177 5264 5233 5275 5202 5190 5180 4823 5240 5220 5206 5193 5183 5173 5248 5226 5210 5197 5186 5176 5260 5232 5214 5201 5189 5179 4820 5238 5219 5205 5193 5182 4819 5246 5224 5209 5196 5185 5175 5259 5231 5214 5200 5189 5179 4681 5247 5226 5210 5198 5187 5177 5256 5231 5214 5201 5189 5179 5268 5236 5218 5204 5192 5182 4867 5242 5222 5277 5195 5185 5175 5249 5227 5211 5198 5187 5177 5258 5232 5215 5202 5190 5180 5273 5237 5219 5205 5193 5182 4863 5243 5223 5208 5196 5185 5175 5251 5228 5212 5199 5188 5178 5261 5233 5216 5202 5191 5181 4860 5239 5220 5206 5194 5183 4859 5246 5225 5209 5197 5186 5176 5254 5230 5213 5200 5189 5179 5265 5235 5217 5204 5192 5181 4856 5241 5222 5207 5195 5184 5175 5248 5226 5211 5198 5187 5177 5257 5231 5215 5201 5190 5180 5273 5237 5219 5205 5193 5183 4852 5244 5277 5209 5196 5185 5176 5252 5228 5212 5199 5188 5178 5263 5234 5217 5203 5191 5181 4849 5240 5221 5206 5194 5184 4848 5247 5226 5210 5198 5187 5177 5256 5231 5214 5201 5190 5179 5271 5237 5219 5205 5193 5182 4845 5243 5223 5208 5196 5185 5175 5251 5228 5212 5199 5188 5178 5262 5234 5216 5203 5191 5181 4842 5240 5221 5207 5194 5184 4841 5247 5226 5210 5198 5187 5177 5257 5231 5215 5201 5190 5180 5273 5237 5219 5205 5193 5182 4838 5244 5224 5209 5196 5185 5176 5277 5229 5213 5200 5277 5178 5265 5235 5217 5203 5192 5181 4835 5241 5222 5207 5195 5184 5175 5249 5227 5211 5198 5187 5177 5259 5232 5215 5202 5190 5180 4832 5239 5220 5206 5194 5183 4831 5246 5225 5210 5197 5186 5176 5255 5230 5214 5201 5189 5179 5271 5237 5219 5205 5193 5182 4828 5244 5223 5209 5196 5185 5176 5252 5229 5213 5200 5188 5178 5265 5235 5217 5203 5192 5181 4825 5242 5222 5207 5195 5184 5175 5250 5227 5212 5199 5188 5178 5261 5233 5216 5202 5191 5181 4822 5240 5221 5206 5194 5184 4821 5248 5226 5211 5198 5187 5177 5260 5233 5216 5202 5191 5180 4682 5249 5227 5212 5199 5188 5179 5257 5232 5216 5203 5191 5181 5269 5237 5220 5206 5194 5184 4869 5243 5224 5209 5197 5186 5177 5250 5228 5213 5200 5189 5179 5259 5233 5217 5203 5192 5182 5273 5239 5221 5207 5195 5184 4865 5245 5225 5210 5198 5187 5177 5252 5230 5214 5201 5190 5180 5262 5235 5218 5204 5193 5182 4862 5240 5222 5208 5196 5185 4861 5247 5226 5211 5199 5188 5178 5255 5231 5215 5202 5191 5181 5266 5237 5219 5205 5194 5183 4858 5243 5223 5209 5197 5186 4857 5250 5228 5213 5200 5189 5179 5259 5233 5279 5203 5192 5182 5273 5239 5221 5207 5195 5184 4854 5245 5225 5210 5198 5187 5177 5253 5230 5214 5201 5190 5180 5264 5235 5218 5205 5193 5183 4851 5279 5223 5208 5196 5186 4850 5249 5227 5212 5199 5188 5179 5257 5232 5216 5203 5191 5181 5271 5238 5220 5206 5195 5184 4847 5245 5225 5210 5198 5187 5177 5253 5230 5214 5201 5190 5180 5263 5235 5218 5205 5193 5183 4844 5242 5223 5208 5196 5186 4843 5249 5227 5212 5200 5189 5179 5258 5233 5216 5203 5192 5181 5273 5239 5221 5207 5195 5184 4840 5246 5225 5210 5198 5187 5279 5254 5231 5215 5202 5190 5180 5266 5236 5219 5205 5193 5183 4837 5243 5223 5209 5197 5186 4836 5250 5279 5213 5200 5189 5179 5261 5234 5217 5204 5192 5182 4834 5240 5222 5208 5196 5185 4833 5248 5227 5212 5199 5188 5178 5257 5232 5216 5203 5191 5181 5271 5238 5220 5206 5194 5184 4830 5245 5225 5210 5198 5187 5177 5254 5230 5214 5201 5190 5180 5266 5236 5219 5205 5194 5183 4827 5243 5224 5209 5197 5186 5177 5251 5229 5213 5200 5189 5179 5262 5235 5218 5204 5193 5182 4824 5241 5222 5208 5196 5185 4823 5249 5228 5212 5200 5189 5179 5261 5234 5217 5204 5192 5182 4683 5250 5229 5214 5201 5190 5180 5258 5234 5218 5204 5193 5183 5270 5239 5221 5208 5196 5281 4871 5245 5226 5211 5199 5188 4870 5252 5230 5215 5202 5191 5181 5260 5235 5218 5205 5194 5281 5274 5240 5222 5208 5197 5186 4867 5246 5227 5212 5200 5189 5179 5254 5231 5216 5203 5192 5182 5263 5236 5219 5206 5194 5184 4864 5242 5224 5209 5197 5187 4863 5249 5228 5213 5201 5190 5180 5256 5233 5217 5204 5192 5182 5267 5238 5221 5207 5195 5185 4860 5244 5225 5211 5198 5188 4859 5251 5230 5214 5202 5191 5181 5260 5235 5218 5205 5194 5183 5274 5240 5222 5208 5197 5186 4856 5247 5227 5212 5200 5189 5179 5255 5232 5216 5203 5192 5182 5265 5237 5220 5206 5195 5185 4853 5243 5224 5210 5198 5187 4852 5250 5229 5214 5201 5190 5180 5259 5234 5218 5205 5193 5183 5272 5240 5222 5208 5196 5186 4849 5246 5227 5212 5200 5189 5179 5254 5232 5216 5203 5192 5182 5265 5237 5220 5206 5195 5185 4846 5243 5224 5210 5198 5187 4845 5250 5229 5214 5201 5190 5180 5259 5234 5218 5205 5193 5183 5274 5240 5222 5208 5197 5186 4842 5247 5227 5212 5200 5189 5179 5255 5232 5216 5203 5192 5182 5267 5238 5221 5207 5195 5185 4839 5244 5225 5211 5199 5188 4838 5252 5230 5215 5202 5191 5181 5262 5236 5219 5206 5194 5184 4836 5242 5223 5209 5197 5187 4835 5249 5228 5213 5201 5190 5180 5258 5234 5217 5204 5193 5183 5272 5240 5222 5208 5196 5186 4832 5247 5227 5212 5200 5189 5179 5255 5232 5216 5203 5192 5182 5267 5238 5221 5207 5195 5185 4829 5245 5225 5211 5199 5188 4828 5253 5231 5215 5202 5191 5181 5263 5236 5219 5206 5194 5184 4826 5243 5224 5210 5198 5187 4825 5251 5229 5214 5201 5190 5181 5262 5236 5219 5206 5194 5184 4684 5252 5231 5216 5203 5192 5182 5260 5283 5219 5206 5195 5185 5271 5241 5223 5209 5198 5187 4873 5246 5227 5213 5201 5190 4872 5253 5232 5216 5204 5193 5183 5262 5237 5220 5207 5195 5185 5274 5242 5224 5210 5198 5188 4869 5248 5228 5214 5201 5191 5181 5255 5233 5217 5205 5193 5183 5265 5238 5221 5208 5196 5186 4866 5244 5225 5211 5199 5189 4865 5250 5230 5215 5202 5191 5182 5258 5235 5219 5206 5194 5184 5269 5240 5223 5209 5197 5187 4862 5246 5227 5212 5200 5190 4861 5253 5231 5216 5203 5192 5183 5261 5236 5220 5207 5195 5185 5275 5242 5224 5210 5198 5188 4858 5248 5229 5214 5202 5191 5181 5256 5233 5218 5205 5194 5184 5266 5239 5222 5208 5197 5186 4855 5245 5226 5212 5200 5189 4854 5252 5231 5216 5203 5192 5182 5260 5236 5220 5206 5195 5185 5273 5241 5224 5210 5198 5188 4851 5248 5228 5214 5201 5191 5181 5256 5233 5283 5205 5194 5184 5266 5239 5222 5208 5197 5186 4848 5245 5226 5212 5200 5189 4847 5252 5231 5216 5203 5192 5182 5261 5236 5220 5207 5195 5185 5274 5242 5224 5210 5198 5188 4844 5249 5229 5214 5202 5191 5181 5257 5234 5218 5205 5194 5184 5268 5240 5222 5209 5197 5187 4841 5246 5227 5212 5200 5190 4840 5253 5232 5216 5204 5193 5183 5263 5237 5221 5207 5196 5186 4838 5244 5225 5211 5199 5189 4837 5251 5230 5215 5203 5192 5182 5260 5235 5219 5206 5195 5185 5273 5241 5224 5210 5198 5188 4834 5248 5229 5214 5283 5191 5181 5257 5234 5218 5205 5194 5184 5268 5240 5222 5209 5197 5187 4831 5246 5227 5213 5201 5190 4830 5254 5232 5217 5204 5193 5183 5265 5238 5221 5208 5196 5186 4828 5245 5226 5212 5200 5189 4827 5252 5231 5216 5203 5192 5182 5264 5238 5221 5208 5196 5186 4685 5253 5233 5217 5205 5194 5184 5261 5237 5221 5208 5197 5187 5272 5242 5225 5211 5200 5189 4875 5248 5229 5215 5202 5192 4874 5255 5233 5218 5285 5195 5185 5263 5238 5222 5209 5197 5187 5275 5244 5226 5212 5200 5190 4871 5250 5230 5215 5203 5192 5183 5257 5235 5219 5206 5195 5185 5266 5240 5223 5210 5198 5188 5282 5245 5227 5213 5201 5191 4867 5252 5231 5217 5204 5193 5184 5259 5236 5220 5207 5196 5186 5270 5285 5224 5211 5199 5189 4864 5247 5229 5214 5202 5285 4863 5254 5233 5218 5205 5194 5184 5263 5238 5222 5209 5197 5187 5276 5244 5226 5212 5200 5190 4860 5250 5230 5216 5203 5193 5183 5258 5235 5219 5207 5285 5186 5267 5240 5223 5210 5198 5188 4857 5246 5228 5214 5202 5191 4856 5253 5232 5217 5205 5194 5184 5262 5238 5221 5208 5197 5187 5274 5243 5285 5212 5200 5190 4853 5250 5230 5215 5203 5192 5183 5257 5235 5219 5206 5195 5185 5267 5240 5223 5210 5198 5188 4850 5246 5228 5214 5202 5191 4849 5253 5233 5217 5205 5194 5184 5262 5238 5222 5208 5197 5187 5275 5244 5226 5212 5200 5190 4846 5250 5231 5216 5203 5193 5183 5258 5236 5220 5207 5196 5186 5269 5241 5224 5285 5199 5189 4843 5248 5229 5214 5202 5192 4842 5255 5234 5218 5206 5195 5185 5265 5239 5222 5209 5198 5188 5281 5245 5227 5213 5201 5285 4839 5252 5232 5217 5204 5194 5184 5261 5237 5221 5208 5197 5187 5274 5243 5225 5212 5200 5190 4836 5250 5230 5216 5203 5193 5183 5258 5285 5220 5207 5196 5186 5269 5241 5224 5211 5199 5189 4833 5248 5229 5214 5202 5192 4832 5256 5234 5219 5206 5195 5185 5266 5240 5223 5210 5198 5188 4830 5246 5228 5213 5285 5191 4829 5254 5233 5218 5205 5194 5184 5265 5239 5223 5209 5198 5188 4686 5255 5234 5219 5207 5196 5186 5263 5239 5223 5210 5199 5188 5273 5244 5227 5213 5201 5191 4877 5250 5231 5216 5204 5194 4876 5256 5235 5220 5207 5196 5187 5265 5240 5224 5210 5199 5189 5276 5245 5228 5214 5202 5192 4873 5251 5232 5217 5205 5194 5185 5258 5236 5221 5208 5197 5187 5267 5241 5225 5211 5200 5190 5282 5247 5229 5215 5203 5192 4869 5253 5233 5218 5206 5195 5185 5261 5238 5222 5209 5198

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AirplaneLD-PT-0100"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/home/hulinhub/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-PT-0100.tgz
mv AirplaneLD-PT-0100 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool marcie"
echo " Input is AirplaneLD-PT-0100, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r209su-blw3-146445824600111"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;