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-COL-0100, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r209su-blw3-146445824200030
=====================================================================

--------------------
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 1464674257340


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

Unfolding complete |P|=719|T|=808|A|=3078
Time for unfolding: 0m 1.335sec

Net: AirplaneLD_COL_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.047sec

init dd package: 0m 3.450sec


RS generation: 0m13.163sec


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



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

checking: EX [A [P3_dot<=P6_dot U 2<=P3_dot]]
normalized: EX [[~ [EG [~ [2<=P3_dot]]] & ~ [E [~ [2<=P3_dot] U [~ [P3_dot<=P6_dot] & ~ [2<=P3_dot]]]]]]

abstracting: (2<=P3_dot) states: 0
abstracting: (P3_dot<=P6_dot) states: 32,827,022 (7)
abstracting: (2<=P3_dot) states: 0
abstracting: (2<=P3_dot) 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.402sec

checking: AG [[EG [1<=stp4_dot] | EX [P2_dot<=P1_dot]]]
normalized: ~ [E [true U ~ [[EX [P2_dot<=P1_dot] | EG [1<=stp4_dot]]]]]

abstracting: (1<=stp4_dot) states: 345,319 (5)
.........
EG iterations: 9
abstracting: (P2_dot<=P1_dot) states: 28,726,220 (7)
.
before gc: list nodes free: 2243212

after gc: idd nodes used:10022, unused:63989978; list nodes free:318715356

before gc: list nodes free: 3648653

after gc: idd nodes used:9716, unused:63990284; list nodes free:322911189

before gc: list nodes free: 4061030

after gc: idd nodes used:9703, unused:63990297; list nodes free:322911280

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.001sec

904 904 904 904 904 904 904 904 904 904 957 975 991 1007 1021 1035 1631 1639 1643 1647 1651 1655 1659 1662 1666 1669 1673 1676 1680 1683 1687 1689 2294 2712 2712 2712 2712 2712 2712 2712 2712 2712 2712 2712 2712 2712 2712 2712 2712 2712 2822 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823
iterations count:73910 (91), effective:414 (0)

initing FirstDep: 0m 0.001sec


iterations count:819 (1), effective:4 (0)
3983 3989 3997 4005 4013 4019 4027 4033 4041 4047 4055 4061 4069 4075 4078 4081 4085 4088 4091 4094 4097 4100 4103 4106 4109 4112 4115 4118 4121 4124 4126 4335 4335 4335 4335 4335 4335 4777 4749 4732 4718 4707 4697 4336 4758 4739 4724 4712 4702 4337 4768 4746 4731 4718 4707 4697 4780 4754 4737 4724 4712 4702 4339 4762 4744 4730 4718 4707 4340 4772 4751 4736 4723 4712 4702 4784 4759 4742 4729 4718 4707 4804 4767 4749 4735 4723 4713 4343 4777 4756 4741 4729 4718 4708 4789 4764 4748 4735 4723 4713 4807 4773 4755 4741 4729 4718 4346 4782 4762 4747 4734 4723 4714 4794 4770 4753 4740 4729 4719 4819 4778 4760 4746 4734 4724 4349 4788 4767 4752 4740 4729 4719 4799 4775 4759 4746 4735 4725 4815 4784 4766 4752 4740 4730 4352 4793 4773 4758 4746 4735 4725 4829 4781 4765 4752 4829 4730 4821 4789 4772 4758 4746 4736 4355 4799 4779 4764 4752 4741 4731 4810 4787 4771 4758 4746 4736 4827 4795 4778 4764 4752 4742 4358 4805 4785 4770 4758 4747 4737 4817 4793 4777 4764 4753 4742 4833 4802 4784 4770 4758 4748 4361 4811 4791 4776 4764 4753 4743 4823 4799 4783 4770 4759 4749 4840 4808 4790 4776 4764 4754 4364 4818 4798 4783 4770 4759 4750 4830 4806 4789 4776 4765 4755 4848 4814 4796 4782 4771 4760 4367 4825 4804 4789 4777 4766 4756 4837 4812 4796 4783 4771 4761 4857 4821 4803 4789 4777 4767 4370 4832 4811 4795 4783 4772 4762 4844 4819 4802 4789 4778 4768 4372 4828 4810 4795 4867 4773 4373 4839 4817 4802 4869 4779 4769 4852 4826 4809 4796 4784 4774 4375 4835 4817 4802 4790 4779 4376 4846 4824 4809 4796 4785 4775 4861 4833 4816 4802 4791 4781 4378 4843 4824 4809 4797 4786 4379 4854 4832 4816 4803 4792 4782 4870 4840 4823 4809 4798 4787 4381 4851 4831 4816 4804 4793 4783 4863 4839 4823 4810 4799 4887 4594 4964 4945 4930 4918 4908 4594 4971 4950 4935 4922 4911 4901 4980 4956 4939 4926 4915 4905 4992 4962 4944 4931 4919 4908 4594 4969 4950 4935 4923 4912 4594 4977 4955 4940 4927 4916 4906 4986 4961 4944 4931 4920 5007 5001 4967 4949 4935 4924 4913 4594 4975 4955 4940 4928 4917 4907 4983 4960 4945 4932 4921 4911 4993 4966 5011 4936 5011 4914 4594 4973 4955 4940 4928 4918 4594 4981 4960 4945 4933 4922 4912 4990 4966 4950 4937 4926 4916 5002 4972 4955 4941 4930 4919 4594 4979 4960 4946 4934 4923 4594 4987 4966 4950 4938 4927 4917 4997 4972 4955 4942 4931 4921 5013 4979 4961 4947 4935 4924 4594 4986 4966 4951 4939 4928 4918 4995 4972 4956 4943 4932 4922 5022 4978 4961 4948 4936 4926 4594 4985 4967 4952 4940 4930 4594 4994 4972 4957 4944 4933 4924 5003 4978 4962 4949 4937 4927 5018 4985 4967 4953 4942 4931 4594 4993 4973 4958 4946 4935 4925 5002 4979 4963 4950 4939 4929 5014 4985 4968 4955 4943 4933 4594 4993 4974 4959 4947 4937 4594 5001 4980 4964 4952 4941 4931 5011 4986 4969 4956 4945 5032 5028 4993 4975 4961 4949 4938 4594 5001 4981 4966 4953 4942 4933 5010 4987 4971 4958 4946 4936 5023 4993 4976 4962 4951 4940 4594 5001 4982 4967 4955 4944 4935 5010 4988 4972 4959 4948 4938 5021 4994 4977 4964 4952 4942 4594 5002 4983 4969 4957 4946 4594 5010 4989 4974 4961 4950 4940 5020 4995 4979 4966 4954 4944 5043 5003 4985 4971 4959 4948 4594 5011 4990 4976 4963 4952 4943 5020 4997 4981 4968 4956 4946 5034 5004 4986 4972 4961 4950 4594 5012 4992 4977 4965 4954 4945 5021 4998 4983 4970 4959 4949 5033 5005 4988 4975 4963 4953 4594 5013 4994 4979 4967 4957 4594 5072 5050 5034 5022 5010 5000 5099 5063 5045 5031 5019 5008 4695 5069 5049 5034 5022 5011 5001 5077 5054 5038 5025 5014 5004 5086 5059 5042 5028 5017 5006 4692 5064 5046 5032 5020 5009 4691 5071 5050 5035 5023 5012 5002 5079 5055 5039 5026 5015 5004 5089 5060 5043 5029 5017 5007 4688 5066 5047 5032 5020 5010 4687 5073 5051 5036 5023 5012 5003 5081 5056 5040 5027 5015 5005 5094 5062 5044 5030 5018 5008 4684 5068 5048 5034 5021 5011 5001 5075 5053 5037 5025 5013 5003 5085 5058 5041 5028 5016 5006 4681 5064 5103 5031 5019 5009 4680 5071 5050 5035 5023 5012 5002 5079 5055 5039 5026 5015 5004 5090 5060 5043 5029 5018 5007 4677 5067 5047 5033 5021 5010 4676 5074 5052 5037 5024 5013 5003 5083 5057 5041 5027 5016 5006 5098 5063 5045 5031 5019 5008 4673 5070 5049 5035 5022 5011 5002 5078 5054 5038 5025 5014 5004 5089 5060 5043 5029 5017 5007 4670 5066 5047 5033 5021 5010 4669 5074 5052 5037 5024 5013 5003 5083 5057 5041 5027 5016 5006 5099 5063 5045 5031 5019 5009 4666 5070 5050 5035 5022 5011 5002 5079 5055 5039 5026 5015 5004 5103 5061 5043 5029 5018 5007 4663 5067 5048 5033 5021 5010 5001 5075 5053 5037 5024 5013 5003 5085 5058 5041 5028 5016 5006 4660 5065 5046 5032 5020 5009 4659 5072 5051 5036 5023 5012 5002 5081 5056 5040 5027 5015 5005 5095 5062 5044 5030 5019 5008 4656 5069 5049 5034 5022 5011 5001 5078 5054 5038 5025 5014 5004 5090 5060 5043 5029 5103 5007 4653 5067 5048 5033 5021 5010 5001 5075 5053 5037 5024 5013 5003 5086 5059 5042 5028 5017 5006 4650 5065 5046 5032 5020 5009 4649 5073 5051 5036 5023 5103 5003 5083 5057 5040 5027 5016 5006 5100 5063 5045 5031 5019 5009 4597 5072 5051 5036 5023 5012 5002 5093 5063 5045 5032 5020 5009 4697 5069 5049 5035 5023 5012 4696 5075 5054 5038 5026 5015 5005 5084 5059 5042 5029 5018 5007 5097 5064 5046 5032 5020 5010 4693 5070 5050 5036 5023 5013 5003 5077 5055 5039 5026 5015 5005 5086 5060 5043 5030 5018 5008 4690 5066 5047 5033 5021 5011 4689 5072 5052 5037 5024 5013 5004 5080 5056 5040 5027 5016 5006 5090 5062 5044 5031 5019 5009 4686 5067 5049 5034 5022 5012 4685 5074 5053 5038 5025 5014 5004 5083 5058 5042 5029 5017 5007 5095 5064 5046 5032 5020 5010 4682 5070 5050 5036 5023 5013 5003 5077 5055 5039 5027 5015 5005 5087 5060 5043 5030 5018 5008 4679 5066 5048 5033 5021 5011 4678 5073 5052 5037 5025 5014 5004 5081 5057 5041 5028 5017 5007 5093 5063 5045 5031 5020 5009 4675 5069 5050 5035 5023 5012 5003 5077 5055 5039 5026 5015 5005 5086 5060 5043 5030 5018 5008 4672 5066 5047 5033 5021 5011 4671 5073 5052 5037 5025 5014 5004 5081 5057 5041 5028 5017 5007 5093 5063 5045 5032 5020 5009 4668 5069 5050 5035 5023 5012 5003 5077 5055 5039 5026 5015 5005 5087 5060 5105 5030 5105 5008 4665 5067 5048 5034 5022 5011 4664 5074 5053 5038 5025 5014 5004 5083 5058 5042 5029 5017 5007 5097 5064 5046 5032 5020 5010 4661 5071 5051 5036 5024 5013 5003 5079 5056 5040 5027 5016 5006 5091 5062 5045 5031 5019 5009 4658 5069 5049 5035 5023 5012 4657 5076 5105 5039 5026 5015 5005 5087 5060 5043 5030 5018 5008 4655 5067 5048 5034 5022 5011 4654 5074 5053 5038 5025 5014 5004 5105 5105 5042 5029 5017 5007 5099 5065 5047 5033 5021 5010 4651 5072 5052 5037 5024 5013 5004 5081 5057 5041 5028 5017 5007 5094 5063 5046 5032 5020 5010 4599 5071 5051 5036 5024 5013 5003 5090 5063 5046 5032 5021 5010 4699 5068 5050 5036 5024 5013 4698 5075 5054 5039 5027 5016 5006 5082 5059 5043 5030 5018 5008 5107 5064 5047 5033 5021 5011 4695 5070 5051 5036 5024 5014 4694 5076 5055 5040 5027 5016 5006 5084 5060 5044 5030 5019 5009 5096 5065 5048 5034 5022 5012 4691 5071 5052 5037 5025 5014 5005 5078 5056 5041 5028 5017 5007 5087 5061 5045 5031 5020 5010 5103 5067 5049 5035 5023 5012 4687 5107 5053 5038 5026 5015 5005 5081 5058 5042 5029 5018 5008 5092 5063 5046 5033 5021 5011 4684 5069 5051 5036 5024 5013 4683 5076 5055 5040 5027 5016 5006 5085 5060 5044 5031 5019 5009 5098 5066 5048 5034 5022 5012 4680 5072 5052 5038 5025 5015 5005 5080 5057 5042 5029 5018 5008 5090 5063 5046 5032 5021 5010 4677 5069 5050 5036 5024 5013 4676 5076 5055 5040 5027 5016 5006 5084 5060 5044 5030 5019 5009 5097 5066 5048 5034 5022 5012 4673 5072 5052 5038 5025 5015 5005 5080 5057 5042 5029 5018 5008 5090 5063 5046 5032 5021 5010 4670 5069 5050 5036 5024 5013 4669 5076 5055 5040 5027 5016 5006 5085 5060 5044 5031 5019 5009 5100 5066 5048 5034 5023 5012 4666 5073 5053 5038 5026 5015 5005 5081 5058 5042 5029 5018 5008 5093 5064 5047 5033 5021 5011 4663 5070 5051 5037 5025 5014 4662 5078 5056 5041 5028 5017 5007 5088 5062 5045 5032 5020 5010 4660 5068 5050 5035 5024 5013 4659 5076 5055 5039 5027 5016 5006 5085 5060 5044 5031 5019 5009 5099 5066 5048 5034 5107 5012 4656 5073 5053 5038 5026 5015 5005 5082 5059 5043 5030 5018 5008 5094 5064 5047 5033 5022 5011 4653 5071 5052 5037 5025 5014 5005 5080 5057 5041 5029 5107 5008 5091 5063 5046 5032 5021 5011 4601 5071 5052 5037 5025 5014 4598 5088 5063 5046 5033 5022 5011 5100 5068 5050 5036 5024 5014 4700 5074 5054 5040 5027 5017 5007 5081 5059 5043 5030 5019 5009 5090 5064 5047 5034 5022 5012 5105 5069 5051 5037 5025 5015 4696 5075 5055 5040 5028 5017 5007 5083 5060 5044 5031 5020 5010 5093 5065 5048 5034 5023 5013 4693 5071 5052 5038 5026 5015 4692 5077 5057 5041 5029 5018 5008 5086 5061 5045 5032 5021 5011 5097 5067 5049 5036 5024 5013 4689 5073 5054 5039 5027 5016 5007 5080 5058 5043 5030 5019 5009 5089 5063 5047 5033 5022 5012 5104 5069 5051 5037 5025 5014 4685 5076 5055 5040 5028 5017 5007 5083 5060 5044 5031 5020 5010 5094 5066 5048 5035 5023 5013 4682 5072 5053 5038 5026 5016 4681 5079 5057 5042 5029 5018 5009 5088 5063 5046 5033 5021 5011 5102 5068 5050 5036 5025 5014 4678 5075 5055 5040 5028 5017 5007 5083 5060 5044 5031 5020 5010 5093 5065 5048 5035 5023 5013 4675 5072 5053 5038 5026 5016 4674 5079 5057 5042 5109 5019 5009 5088 5063 5046 5033 5022 5011 5103 5069 5051 5037 5025 5014 4671 5075 5055 5040 5028 5017 5007 5084 5060 5044 5031 5020 5010 5095 5066 5049 5035 5023 5013 4668 5073 5053 5039 5027 5016 4667 5080 5058 5043 5030 5019 5009 5090 5064 5047 5034 5022 5012 4665 5070 5052 5037 5025 5015 4664 5077 5057 5041 5029 5018 5008 5086 5062 5046 5032 5021 5011 5100 5068 5050 5036 5024 5014 4661 5075 5055 5040 5028 5017 5007 5083 5060 5044 5031 5020 5010 5095 5066 5049 5035 5023 5013 4658 5073 5053 5039 5027 5016 4657 5081 5059 5043 5030 5019 5009 5091 5064 5047 5034 5022 5012 4655 5071 5052 5038 5026 5015 4654 5079 5057 5042 5029 5018 5009 5088 5063 5046 5033 5022 5012 4603 5070 5052 5038 5026 5015 4599 5086 5063 5047 5034 5022 5012 5096 5068 5111 5037 5025 5015 4702 5073 5055 5040 5028 5018 4701 5080 5059 5044 5031 5020 5010 5088 5064 5047 5034 5023 5013 5111 5069 5051 5038 5026 5015 4698 5075 5056 5041 5029 5018 5111 5082 5060 5045 5032 5021 5011 5091 5065 5048 5035 5024 5014 5104 5071 5053 5039 5027 5016 4694 5077 5057 5042 5030 5019 5009 5084 5062 5046 5033 5022 5012 5094 5067 5050 5036 5025 5014 4691 5073 5054 5040 5028 5017 4690 5079 5058 5043 5031 5020 5010 5087 5063 5047 5034 5023 5013 5099 5069 5051 5037 5026 5015 4687 5075 5056 5041 5029 5018 5009 5082 5060 5045 5032 5021 5011 5092 5066 5049 5035 5024 5014 5108 5071 5053 5039 5027 5017 4683 5078 5058 5043 5030 5019 5010 5086 5063 5047 5034 5022 5012 5097 5068 5051 5037 5025 5015 4680 5074 5055 5041 5029 5018 4679 5082 5060 5045 5032 5021 5011 5091 5065 5049 5035 5024 5014 5107 5071 5053 5039 5027 5017 4676 5078 5058 5043 5030 5019 5010 5086 5063 5047 5034 5022 5012 5098 5068 5051 5037 5026 5015 4673 5075 5056 5041 5029 5018 5111 5083 5061 5045 5032 5021 5011 5093 5066 5049 5036 5024 5014 4670 5072 5054 5039 5028 5017 4669 5079 5059 5043 5031 5020 5010 5088 5064 5048 5034 5023 5013 5102 5070 5052 5038 5026 5016 4666 5077 5057 5042 5030 5019 5009 5085 5062 5046 5033 5022 5012 5096 5068 5050 5037 5025 5015 4663 5074 5055 5041 5029 5018 4662 5082 5060 5045 5032 5021 5011 5092 5066 5049 5036 5024 5014 4660 5072 5054 5040 5028 5017 4659 5080 5059 5044 5031 5020 5010 5089 5064 5048 5035 5023 5013 5111 5071 5053 5039 5027 5016 4656 5078 5058 5043 5030 5019 5010 5087 5063 5047 5034 5023 5013 5103 5070 5052 5038 5026 5016 4600 5085 5063 5047 5034 5023 5013 5094 5068 5051 5038 5026 5016 5109 5073 5055 5041 5029 5018 4703 5079 5059 5044 5032 5021 5011 5087 5064 5048 5035 5024 5014 5096 5069 5052 5038 5027 5016 4700 5075 5056 5042 5030 5019 4699 5081 5060 5045 5033 5022 5012 5089 5065 5049 5036 5025 5015 5100 5070 5053 5039 5028 5017 4696 5076 5057 5043 5031 5020 4695 5083 5062 5046 5034 5023 5013 5092 5067 5050 5037 5026 5015 5105 5072 5054 5040 5029 5018 4692 5079 5059 5044 5032 5021 5011 5086 5063 5048 5035 5024 5014 5096 5069 5052 5038 5027 5016 4689 5075 5056 5042 5030 5019 4688 5081 5061 5045 5033 5022 5012 5090 5066 5049 5036 5025 5015 5102 5071 5053 5040 5028 5018 4685 5077 5058 5043 5031 5020 5011 5085 5063 5047 5034 5023 5013 5095 5068 5051 5038 5026 5016 4682 5074 5056 5041 5029 5019 4681 5081 5060 5045 5033 5022 5012 5089 5065 5049 5036 5025 5015 5102 5071 5053 5040 5028 5113 4678 5077 5058 5043 5031 5020 5011 5085 5063 5047 5034 5023 5013 5095 5068 5051 5038 5026 5016 4675 5075 5056 5042 5030 5019 4674 5082 5061 5046 5033 5022 5012 5091 5066 5050 5037 5025 5015 5104 5072 5054 5040 5028 5018 4671 5079 5059 5044 5032 5021 5011 5087 5064 5048 5035 5024 5014 5098 5070 5052 5039 5027 5017 4668 5076 5057 5043 5030 5020 4667 5084 5062 5047 5034 5023 5013 5094 5068 5051 5038 5026 5016 4665 5074 5056 5041 5029 5019 4664 5081 5113 5045 5033 5022 5012 5090 5066 5050 5036 5025 5015 5105 5072 5054 5040 5028 5018 4661 5079 5059 5044 5032 5021 5011 5088 5064 5048 5035 5024 5014 5100 5070 5053 5039 5028 5017 4658 5077 5058 5043 5031 5020 5011 5085 5063 5047 5035 5023 5014 5099 5070 5053 5039 5027 5017 4601 5084 5063 5048 5035 5024 5014 5092 5068 5051 5038 5027 5017 5115 5073 5055 5042 5030 5019 4705 5079 5060 5045 5033 5022 4704 5086 5064 5049 5036 5025 5015 5094 5069 5052 5039 5028 5017 5115 5074 5056 5042 5031 5020 4701 5080 5061 5046 5034 5023 5013 5088 5065 5050 5037 5026 5016 5097 5070 5053 5040 5028 5018 4698 5076 5058 5043 5031 5021 4697 5115 5062 5047 5115 5024 5014 5090 5067 5051 5038 5026 5016 5101 5072 5055 5041 5029 5019 4694 5078 5059 5045 5032 5022 4693 5085 5064 5048 5036 5025 5015 5094 5069 5052 5039 5028 5017 5108 5074 5056 5042 5031 5020 4690 5081 5061 5046 5034 5023 5013 5088 5066 5050 5037 5026 5016 5099 5071 5054 5040 5029 5019 4687 5077 5058 5044 5032 5021 4686 5084 5063 5048 5035 5024 5014 5093 5068 5052 5039 5027 5017 5106 5074 5056 5042 5030 5020 4683 5080 5061 5046 5115 5023 5013 5088 5065 5050 5037 5026 5016 5115 5071 5054 5040 5029 5115 4680 5077 5058 5044 5032 5021 4679 5084 5063 5048 5035 5024 5014 5093 5068 5052 5039 5027 5017 5115 5074 5056 5042 5031 5020 4676 5081 5061 5046 5034 5023 5013 5089 5066 5050 5037 5026 5016 5101 5072 5055 5041 5029 5019 4673 5078 5059 5045 5033 5022 4672 5086 5064 5049 5036 5025 5015 5096 5070 5053 5040 5028 5018 4670 5076 5057 5043 5031 5021 4669 5083 5062 5047 5035 5024 5014 5092 5068 5051 5038 5027 5017 5106 5074 5056 5042 5030 5020 4666 5081 5061 5046 5034 5023 5013 5089 5066 5050 5037 5026 5016 5101 5072 5055 5041 5029 5019 4663 5079 5059 5045 5033 5022 4662 5087 5065 5049 5036 5025 5015 5097 5070 5053 5040 5028 5018 4660 5077 5058 5044 5032 5021 4659 5085 5063 5048 5035 5024 5015 5096 5070 5053 5040 5028 5018 4602 5084 5063 5048 5036 5025 5015 5091 5068 5052 5039 5028 5018 5100 5073 5056 5042 5031 5020 4707 5117 5060 5046 5034 5023 4706 5085 5064 5049 5037 5026 5016 5093 5069 5053 5040 5029 5019 5103 5074 5057 5043 5031 5021 4703 5080 5061 5047 5034 5024 4702 5087 5065 5050 5117 5027 5017 5095 5070 5054 5041 5029 5019 5108 5076 5058 5044 5032 5022 4699 5082 5062 5048 5035 5025 5015 5089 5067 5051 5039 5027 5017 5099 5072 5055 5042 5030 5020 4696 5078 5059 5045 5033 5023 4695 5084 5064 5049 5036 5026 5016 5092 5069 5053 5040 5028 5018 5104 5074 5057 5043 5031 5021 4692 5080 5061 5047 5035 5024 4691 5117 5066 5050 5038 5027 5017 5097 5071 5054 5041 5030 5020 5111 5077 5059 5045 5033 5022 4688 5083 5063 5048 5036 5025 5015 5091 5068 5052 5039 5028 5018 5102 5074 5056 5043 5031 5021 4685 5080 5061 5046 5034 5024 4684 5087 5066 5050 5038 5027 5017 5096 5071 5054 5041 5030 5020 5112 5077 5059 5045 5033 5022 4681 5084 5063 5117 5036 5025 5016 5092 5069 5053 5040 5028 5018 5103 5074 5057 5043 5031 5021 4678 5081 5061 5047 5035 5024 4677 5088 5066 5051 5038 5027 5017 5098 5072 5055 5042 5030 5020 4675 5078 5060 5045 5033 5023 4674 5085 5064 5049 5037 5026 5016 5094 5070 5053 5040 5029 5019 5117 5076 5058 5044 5032 5022 4671 5117 5063 5048 5036 5025 5015 5091 5068 5052 5039 5028 5018 5102 5074 5056 5043 5031 5021 4668 5080 5061 5047 5035 5024 4667 5088 5066 5051 5038 5027 5017 5098 5072 5055 5042 5030 5020 4665 5078 5060 5046 5034 5023 4664 5086 5065 5050 5037 5026 5016 5095 5070 5054 5041 5029 5019 5111 5077 5059 5045 5033 5022 4661 5084 5064 5049 5036 5025 5016 5095 5070 5054 5040 5029 5019 4712 5083 5064 5049 5037 5026 5017 5090 5068 5053 5040 5029 5019 5098 5073 5056 5043 5032 5022 5112 5078 5060 5046 5035 5024 4708 5084 5065 5050 5038 5027 5017 5092 5069 5053 5041 5030 5020 5101 5074 5057 5044 5032 5022 4705 5080 5061 5047 5035 5025 4704 5086 5066 5051 5038 5027 5018 5094 5119 5119 5042 5030 5020 5104 5076 5058 5045 5033 5023 4701 5082 5063 5048 5036 5026 4700 5088 5067 5052 5039 5028 5019 5097 5072 5056 5043 5031 5021 5119 5078 5060 5046 5034 5024 4697 5084 5064 5050 5037 5027 5017 5091 5069 5053 5041 5029 5019 5101 5074 5057 5044 5032 5022 4694 5080 5062 5047 5035 5025 4693 5087 5066 5051 5039 5028 5018 5095 5071 5055 5042 5031 5021 5107 5077 5059 5045 5034 5023 4690 5083 5064 5049 5037 5026 5017 5090 5068 5053 5040 5029 5019 5100 5074 5057 5044 5032 5022 4687 5080 5061 5047 5035 5025 4686 5086 5066 5051 5038 5028 5018 5095 5071 5055 5042 5031 5021 5107 5077 5059 5045 5034 5023 4683 5083 5064 5049 5037 5026 5017 5091 5069 5053 5040 5029 5019 5101 5074 5057 5044 5032 5022 4680 5080 5062 5048 5036 5025 4679 5087 5067 5051 5039 5028 5018 5096 5072 5056 5042 5031 5021 5110 5078 5060 5046 5034 5024 4676 5085 5065 5050 5038 5027 5017 5093 5070 5054 5041 5030 5020 5104 5076 5058 5045 5033 5023 4673 5082 5063 5049 5036 5026 4672 5090 5068 5053 5040 5029 5019 5100 5074 5057 5044 5032 5022 4670 5080 5062 5047 5035 5025 4669 5087 5067 5051 5039 5028 5018 5097 5072 5056 5042 5031 5021 5111 5078 5060 5046 5034 5024 4666 5085 5065 5050 5038 5027 5017 5094 5071 5055 5042 5030 5020 5106 5077 5059 5045 5034 5023 4663 5083 5064 5049 5037 5026 5017 5093 5070 5054 5041 5030 5020 4714 5083 5064 5050 5038 5027 4713 5089 5068 5053 5041 5030 5020 5097 5073 5057 5044 5033 5023 5108 5078 5061 5047 5035 5025 4710 5084 5065 5051 5038 5028 4709 5091 5069 5054 5041 5030 5021 5099 5074 5058 5045 5033 5023 5111 5080 5062 5048 5036 5026 4706 5086 5066 5051 5039 5028 5019 5093 5071 5055 5042 5031 5021 5102 5076 5059 5046 5034 5024 5118 5081 5063 5049 5037 5027 4702 5088 5068 5053 5040 5029 5020 5096 5072 5056 5043 5032 5022 5106 5078 5060 5047 5035 5025 4699 5084 5065 5050 5038 5028 4698 5121 5069 5054 5041 5030 5021 5099 5074 5058 5045 5033 5023 5112 5080 5062 5048 5036 5026 4695 5086 5067 5052 5039 5029 5019 5094 5071 5056 5043 5032 5022 5104 5077 5060 5046 5035 5024 4692 5083 5064 5050 5038 5027 4691 5090 5069 5054 5041 5030 5020 5098 5074 5058 5044 5033 5023 5111 5121 5062 5048 5036 5026 4688 5086 5066 5052 5039 5029 5019 5094 5071 5056 5043 5032 5022 5104 5077 5060 5046 5035 5024 4685 5083 5064 5050 5038 5027 4684 5090 5069 5054 5041 5030 5020 5099 5074 5058 5045 5033 5023 5113 5080 5062 5048 5036 5026 4681 5087 5067 5052 5040 5029 5019 5095 5072 5056 5043 5032 5022 5106 5078 5060 5047 5035 5025 4678 5084 5065 5051 5121 5028 4677 5092 5070 5055 5042 5031 5021 5102 5076 5059 5046 5034 5024 4675 5082 5063 5049 5037 5027 4674 5089 5068 5053 5041 5030 5020 5098 5074 5057 5044 5033 5023 5112 5080 5062 5048 5036 5026 4671 5087 5067 5052 5040 5029 5019 5095 5072 5056 5043 5032 5022 5107 5078 5061 5047 5035 5025 4668 5085 5121 5051 5039 5028 4667 5093 5071 5055 5042 5031 5021 5104 5077 5060 5046 5035 5024 4665 5083 5064 5050 5038 5027 4615 5092 5070 5055 5042 5031 5021 5117 5083 5065 5051 5039 5028 4715 5089 5069 5054 5042 5031 5021 5096 5073 5058 5045 5034 5024 5105 5078 5061 5048 5036 5026 4712 5084 5065 5051 5039 5029 4711 5090 5070 5055 5042 5031 5022 5098 5074 5058 5045 5034 5024 5108 5080 5062 5049 5037 5027 4708 5085 5067 5052 5040 5029 4707 5092 5071 5056 5043 5032 5022 5100 5076 5060 5046 5035 5025 5112 5081 5064 5050 5038 5028 4704 5087 5068 5053 5041 5030 5021 5095 5073 5057 5044 5033 5023 5104 5078 5061 5048 5036 5026 5120 5083 5065 5051 5039 5029 4700 5090 5070 5055 5042 5031 5022 5098 5074 5058 5123 5034 5024 5109 5080 5063 5049 5037 5027 4697 5086 5067 5052 5040 5030 4696 5093 5072 5056 5044 5033 5023 5102 5077 5060 5047 5036 5025 5116 5123 5064 5123 5039 5028 4693 5089 5069 5054 5042 5031 5021 5097 5074 5058 5045 5034 5024 5108 5079 5062 5049 5037 5027 4690 5086 5067 5052 5040 5030 4689 5093 5072 5056 5044 5033 5023 5102 5077 5060 5047 5036 5025 5117 5083 5065 5051 5039 5028 4686 5089 5069 5054 5042 5031 5021 5098 5074 5058 5045 5034 5024 5109 5080 5063 5049 5037 5027 4683 5087 5067 5053 5041 5030 4682 5094 5072 5057 5044 5033 5023 5104 5078 5061 5048 5036 5026 4680 5084 5066 5051 5039 5029 4679 5091 5070 5055 5043 5032 5022 5100 5076 5059 5046 5035 5025 5114 5082 5064 5050 5038 5028 4676 5089 5069 5054 5042 5031 5021 5097 5074 5058 5045 5034 5024 5108 5080 5123 5049 5037 5027 4673 5086 5067 5053 5041 5030 4672 5094 5072 5057 5044 5033 5023 5105 5078 5061 5048 5036 5026 4670 5085 5066 5052 5040 5029 4669 5092 5071 5056 5043 5032 5022 5102 5077 5060 5047 5035 5025 5118 5083 5065 5051 5039 5028 4617 5092 5071 5055 5043 5032 5022 5112 5083 5065 5051 5040 5029 4717 5088 5069 5055 5043 5032 4716 5095 5074 5058 5046 5035 5025 5103 5078 5062 5049 5037 5027 5116 5084 5066 5052 5040 5030 4713 5090 5070 5055 5043 5032 5023 5097 5075 5059 5046 5035 5025 5106 5080 5063 5050 5038 5028 5121 5085 5067 5053 5041 5031 4709 5092 5071 5056 5044 5033 5023 5099 5076 5060 5047 5036 5026 5109 5081 5064 5051 5039 5029 4706 5087 5068 5054 5042 5031 4705 5094 5073 5058 5045 5034 5024 5102 5078 5062 5048 5037 5027 5114 5083 5066 5052 5040 5030 4702 5125 5070 5055 5043 5032 5023 5097 5075 5059 5046 5035 5025 5106 5080 5063 5050 5038 5028 4699 5086 5067 5053 5041 5031 4698 5092 5072 5057 5044 5034 5024 5101 5077 5061 5048 5037 5026 5112 5082 5065 5051 5040 5029 4695 5089 5069 5055 5043 5032 4694 5096 5074 5059 5046 5035 5025 5106 5080 5063 5049 5038 5028 5125 5085 5067 5053 5041 5031 4691 5092 5072 5057 5044 5034 5024 5101 5077 5061 5048 5037 5027 5113 5083 5065 5051 5040 5029 4688 5089 5070 5055 5043 5032 5023 5097 5075 5059 5046 5035 5025 5107 5080 5063 5050 5038 5028 4685 5086 5068 5054 5042 5031 4684 5093 5073 5057 5045 5034 5024 5102 5078 5062 5048 5037 5027 5116 5084 5066 5052 5040 5030 4681 5091 5071 5056 5044 5033 5023 5099 5076 5060 5047 5036 5026 5110 5082 5064 5051 5039 5029 4678 5088 5069 5055 5043 5032 4677 5096 5074 5059 5046 5035 5025 5106 5080 5063 5050 5038 5028 4675 5086 5068 5053 5042 5031 4674 5094 5073 5058 5045 5034 5024 5103 5078 5062 5049 5037 5027 5118 5084 5066 5052 5041 5030 4671 5092 5071 5056 5044 5033 5125 5100 5077 5061 5048 5036 5026 5113 5083 5065 5052 5040 5029 4619 5091 5071 5056 5044 5033 5023 5110 5083 5066 5052 5041 5030 4719 5088 5070 5055 5043 5033 4718 5094 5074 5059 5046 5036 5026 5102 5079 5063 5050 5038 5028 5112 5084 5066 5053 5041 5031 4715 5089 5071 5056 5044 5034 4714 5096 5075 5060 5047 5036 5026 5104 5080 5064 5050 5039 5029 5116 5085 5127 5054 5042 5032 4711 5091 5072 5057 5045 5034 5025 5098 5076 5061 5048 5037 5027 5107 5081 5065 5051 5040 5030 5122 5087 5069 5055 5043 5032 4707 5093 5073 5058 5046 5035 5025 5101 5078 5062 5049 5038 5028 5111 5083 5066 5053 5041 5031 4704 5089 5070 5056 5044 5033 4703 5096 5075 5060 5047 5036 5026 5105 5080 5064 5051 5039 5029 5127 5086 5068 5054 5042 5032 4700 5092 5072 5058 5045 5035 5025 5100 5077 5061 5049 5038 5028 5110 5083 5066 5052 5041 5030 4697 5127 5070 5056 5044 5033 4696 5095 5075 5059 5047 5036 5026 5104 5080 5063 5050 5039 5029 5117 5085 5068 5054 5042 5032 4693 5092 5072 5058 5045 5035 5025 5100 5077 5062 5049 5038 5028 5110 5083 5066 5052 5041 5030 4690 5089 5070 5056 5044 5033 4689 5096 5075 5060 5047 5036 5026 5105 5080 5064 5051 5039 5029 5119 5086 5068 5054 5127 5032 4686 5093 5073 5058 5046 5035 5025 5101 5078 5062 5049 5038 5028 5113 5084 5067 5053 5041 5031 4683 5090 5071 5057 5045 5034 4682 5098 5076 5061 5048 5037 5027 5108 5082 5065 5052 5040 5030 4680 5088 5070 5055 5043 5033 4679 5095 5075 5059 5047 5036 5026 5105 5080 5064 5050 5039 5029 5119 5086 5068 5054 5042 5032 4676 5093 5073 5058 5046 5035 5025 5102 5078 5062 5049 5038 5028 5114 5084 5067 5053 5042 5031 4673 5091 5072 5057 5045 5034 5025 5099 5077 5061 5049 5037 5127 5110 5083 5066 5052 5041 5030 4621 5091 5071 5057 5045 5034 4608 5108 5083 5066 5053 5042 5031 5121 5088 5070 5056 5044 5034 4720 5094 5074 5060 5047 5037 5027 5101 5079 5063 5050 5039 5029 5110 5084 5067 5054 5042 5032 5126 5089 5071 5057 5045 5035 4716 5096 5075 5060 5048 5037 5028 5103 5080 5064 5051 5040 5030 5113 5085 5068 5129 5043 5033 4713 5091 5072 5058 5046 5035 4712 5098 5077 5062 5049 5038 5028 5106 5082 5065 5052 5041 5031 5117 5087 5069 5056 5044 5033 4709 5093 5074 5059 5047 5036 5027 5100 5078 5063 5050 5039 5029 5109 5083 5067 5053 5042 5032 5125 5089 5071 5057 5045 5034 4705 5096 5075 5061 5048 5037 5028 5104 5080 5064 5051 5040 5030 5114 5086 5068 5055 5043 5033 4702 5092 5073 5058 5046 5036 4701 5099 5078 5062 5050 5039 5029 5108 5083 5066 5053 5042 5031 5122 5088 5070 5056 5045 5034 4698 5095 5075 5060 5048 5037 5027 5103 5080 5064 5051 5040 5030 5114 5085 5068 5055 5043 5033 4695 5092 5073 5058 5046 5036 4694 5099 5078 5062 5050 5039 5029 5108 5083 5066 5053 5042 5031 5123 5089 5071 5057 5045 5034 4691 5096 5075 5060 5048 5037 5028 5104 5081 5065 5052 5040 5030 5129 5086 5069 5055 5043 5033 4688 5093 5073 5059 5047 5036 4687 5100 5078 5063 5050 5039 5029 5110 5084 5067 5054 5042 5032 4685 5090 5072 5057 5046 5035 4684 5097 5077 5061 5049 5038 5028 5107 5082 5066 5052 5041 5031 5121 5088 5070 5056 5044 5034 4681 5095 5075 5060 5048 5037 5027 5103 5080 5064 5051 5040 5030 5115 5086 5069 5055 5043 5033 4678 5093 5074 5059 5047 5036 4677 5101 5079 5063 5050 5039 5029 5111 5084 5068 5054 5043 5032 4675 5091 5072 5058 5046 5035 4674 5099 5077 5062 5049 5038 5029 5109 5083 5066 5053 5042 5032 4623 5129 5072 5058 5046 5035 4609 5107 5083 5067 5054 5043 5033 5117 5088 5071 5057 5045 5035 4722 5094 5075 5060 5048 5038 4721 5100 5079 5064 5051 5040 5031 5109 5084 5068 5054 5043 5033 5120 5089 5072 5058 5046 5036 4718 5095 5076 5061 5049 5038 5029 5102 5080 5065 5052 5041 5031 5111 5085 5069 5055 5044 5034 5126 5091 5073 5059 5047 5036 4714 5097 5077 5062 5050 5039 5029 5105 5082 5066 5053 5042 5032 5115 5087 5070 5056 5045 5035 4711 5093 5074 5060 5048 5037 4710 5100 5079 5064 5051 5040 5030 5108 5084 5067 5054 5043 5033 5120 5089 5071 5058 5046 5036 4707 5095 5076 5061 5049 5038 5029 5103 5081 5065 5052 5041 5031 5112 5086 5069 5056 5044 5034 4704 5092 5073 5059 5047 5037 4703 5098 5078 5063 5050 5040 5030 5107 5083 5067 5054 5043 5032 5118 5088 5071 5057 5046 5035 4700 5095 5075 5061 5049 5038 4699 5102 5080 5065 5052 5041 5031 5112 5086 5069 5131 5044 5034 4697 5092 5073 5059 5047 5037 4696 5098 5078 5063 5050 5040 5030 5107 5083 5067 5054 5043 5033 5119 5089 5071 5057 5046 5035 4693 5095 5076 5061 5049 5038 5029 5103 5081 5065 5052 5041 5031 5113 5086 5069 5056 5044 5034 4690 5093 5074 5060 5048 5037 4689 5100 5079 5064 5051 5040 5030 5109 5084 5068 5055 5043 5033 5123 5090 5072 5058 5046 5036 4686 5097 5077 5062 5050 5039 5029 5105 5082 5066 5053 5042 5032 5117 5088 5071 5057 5045 5035 4683 5095 5075 5061 5049 5038 4682 5103 5081 5065 5052 5041 5031 5113 5086 5069 5056 5044 5034 4680 5093 5074 5060 5048 5037 4679 5100 5079 5064 5051 5040 5030 5110 5085 5068 5055 5131 5033 5126 5091 5073 5059 5047 5036 4676 5098 5078 5063 5050 5039 5030 5107 5083 5067 5054 5043 5033 5124 5090 5072 5058 5047 5036 4610 5106 5083 5068 5055 5044 5034 5115 5088 5071 5058 5046 5036 4724 5094 5075 5061 5049 5039 4723 5100 5080 5065 5052 5041 5032 5107 5084 5068 5055 5044 5034 5133 5089 5072 5059 5047 5037 4720 5095 5076 5062 5050 5039 4719 5102 5081 5066 5053 5042 5032 5110 5086 5069 5056 5045 5035 5121 5091 5073 5060 5048 5037 4716 5097 5078 5063 5051 5040 5133 5104 5082 5067 5054 5043 5033 5113 5087 5071 5057 5046 5036 5127 5093 5075 5061 5049 5038 4712 5099 5079 5064 5052 5041 5031 5107 5084 5068 5055 5044 5034 5117 5089 5072 5059 5047 5037 4709 5095 5076 5062 5050 5039 4708 5102 5081 5066 5053 5042 5032 5111 5086 5070 5057 5045 5035 5123 5092 5074 5060 5048 5038 4705 5098 5078 5064 5051 5041 5031 5106 5083 5133 5055 5044 5034 5116 5089 5072 5058 5047 5036 4702 5095 5076 5062 5050 5039 4701 5102 5081 5133 5053 5042 5032 5110 5086 5070 5056 5045 5035 5123 5092 5074 5060 5048 5038 4698 5098 5078 5064 5051 5041 5031 5106 5083 5068 5055 5044 5034 5116 5089 5072 5058 5047 5036 4695 5095 5076 5062 5050 5039 4694 5102 5081 5066 5053 5042 5133 5112 5087 5070 5057 5045 5035 5126 5092 5074 5060 5049 5038 4691 5099 5079 5064 5052 5041 5031 5108 5084 5068 5055 5044 5034 5119 5090 5073 5059 5047 5037 4688 5097 5077 5063 5051 5040 4687 5105 5083 5067 5054 5043 5033 5115 5088 5071 5058 5046 5036 4685 5095 5076 5062 5050 5039 4684 5102 5081 5066 5053 5042 5032 5111 5086 5070 5057 5045 5035 5127 5093 5075 5061 5049 5038 4681 5100 5079 5065 5052 5041 5032 5109 5085 5069 5056 5045 5034 5121 5091 5073 5060 5048 5037 4678 5098 5078 5064 5051 5041 5031 5106 5084 5068 5055 5044 5034 5120 5090 5073 5059 5048 5037 4611 5105 5084 5068 5056 5045 5035 5113 5088 5072 5059 5047 5037 5126 5094 5076 5062 5050 5040 4725 5100 5080 5065 5053 5042 5033 5107 5085 5069 5056 5045 5035 5116 5090 5073 5059 5048 5038 5130 5095 5077 5063 5051 5040 4721 5101 5081 5066 5054 5043 5033 5109 5086 5070 5057 5046 5036 5119 5091 5074 5060 5049 5039 4718 5097 5078 5064 5052 5041 4717 5103 5083 5067 5055 5044 5034 5112 5087 5071 5058 5047 5037 5123 5093 5075 5062 5050 5039 4714 5099 5080 5065 5053 5042 5033 5106 5084 5069 5056 5045 5035 5115 5089 5073 5059 5048 5038 5131 5095 5077 5063 5051 5040 4710 5102 5081 5067 5054 5043 5034 5110 5086 5070 5057 5046 5036 5120 5092 5074 5061 5049 5039 4707 5098 5079 5064 5052 5042 4706 5105 5084 5068 5056 5045 5035 5114 5089 5072 5059 5048 5037 5128 5095 5077 5063 5051 5040 4703 5101 5081 5066 5054 5043 5033 5109 5086 5070 5057 5046 5036 5120 5092 5074 5061 5049 5039 4700 5098 5079 5064 5052 5042 4699 5105 5084 5068 5056 5045 5035 5115 5089 5072 5059 5048 5038 5130 5095 5077 5063 5051 5040 4696 5102 5082 5067 5054 5043 5034 5110 5087 5071 5058 5046 5036 5122 5093 5075 5061 5050 5039 4693 5099 5080 5065 5053 5042 5033 5107 5085 5069 5056 5045 5035 5117 5090 5073 5060 5048 5038 4690 5097 5078 5064 5052 5041 4689 5104 5083 5068 5055 5044 5034 5113 5088 5072 5059 5047 5037 5128 5135 5076 5135 5051 5040 4686 5102 5081 5066 5054 5043 5135 5110 5087 5071 5058 5046 5036 5123 5093 5075 5061 5050 5039 4683 5099 5080 5065 5053 5042 5033 5108 5085 5135 5057 5046 5036 5119 5091 5074 5060 5049 5039 4680 5098 5079 5064 5052 5042 4679 5106 5084 5068 5056 5045 5035 5118 5091 5074 5060 5049 5038 4612 5105 5084 5069 5057 5046 5036 5112 5089 5073 5060 5048 5038 5123 5094 5077 5063 5051 5041 4727 5100 5081 5066 5054 5044 4726 5106 5085 5070 5057 5046 5036 5114 5090 5074 5060 5049 5039 5126 5095 5077 5064 5052 5042 4723 5101 5082 5067 5055 5044 5035 5108 5086 5071 5058 5047 5037 5117 5091 5075 5061 5050 5040 5131 5097 5079 5065 5053 5042 4719 5103 5083 5068 5056 5045 5035 5111 5088 5072 5059 5048 5038 5121 5093 5076 5062 5051 5041 4716 5099 5080 5066 5054 5043 4715 5106 5085 5070 5057 5046 5036 5114 5090 5073 5060 5049 5039 5126 5095 5078 5064 5052 5042 4712 5101 5082 5067 5055 5044 5035 5109 5087 5071 5058 5047 5037 5118 5092 5075 5062 5050 5040 4709 5098 5079 5065 5053 5043 4708 5105 5084 5069 5057 5046 5036 5113 5089 5073 5060 5049 5039 5125 5095 5077 5063 5052 5041 4705 5101 5082 5067 5055 5044 5035 5108 5086 5071 5058 5047 5037 5118 5092 5075 5062 5050 5040 4702 5098 5079 5065 5053 5043 4701 5105 5084 5069 5057 5046 5036 5113 5089 5073 5060 5049 5039 5126 5095 5077 5064 5052 5042 4698 5102 5082 5067 5055 5044 5035 5110 5087 5071 5059 5137 5038 5120 5093 5076 5062 5051 5040 4695 5099 5080 5066 5054 5043 4694 5106 5085 5070 5057 5046 5036 5116 5091 5074 5061 5049 5039 5131 5097 5079 5065 5053 5042 4691 5104 5083 5137 5056 5045 5036 5112 5089 5073 5060 5048 5038 5124 5095 5077 5063 5052 5041 4688 5101 5082 5067 5055 5044 5035 5109 5087 5071 5059 5047 5137 5120 5093 5076 5062 5051 5040 4685 5099 5080 5066 5054 5043 4684 5107 5086 5070 5058 5047 5037 5117 5091 5075 5061 5050 5040 4682 5098 5079 5065 5053 5043 4681 5105 5084 5069 5057 5046 5036 5116 5091 5074 5061 5050 5039 4613 5104 5085 5070 5058 5047 5037 5111 5089 5073 5061 5049 5040 5121 5094 5077 5064 5052 5042 5137 5139 5081 5067 5055 5045 4728 5106 5139 5071 5058 5047 5038 5113 5090 5074 5061 5050 5040 5123 5095 5078 5065 5053 5043 4725 5101 5082 5068 5056 5045 4724 5108 5087 5072 5059 5048 5038 5116 5092 5075 5062 5051 5041 5127 5097 5079 5066 5054 5043 4721 5103 5084 5069 5057 5046 4720 5110 5088 5073 5060 5049 5039 5119 5093 5077 5063 5052 5042 5134 5099 5081 5067 5055 5044 4717 5105 5085 5070 5058 5047 5037 5113 5090 5074 5061 5050 5040 5123 5095 5078 5065 5053 5043 4714 5101 5082 5068 5056 5045 4713 5108 5087 5072 5059 5048 5038 5117 5092 5076 5063 5051 5041 5130 5098 5080 5066 5054 5044 4710 5104 5085 5070 5057 5047 5037 5112 5089 5074 5061 5050 5040 5122 5095 5078 5064 5053 5042 4707 5101 5082 5068 5056 5045 4706 5108 5087 5072 5059 5048 5038 5117 5092 5076 5063 5051 5041 5130 5098 5080 5066 5054 5044 4703 5139 5085 5070 5058 5047 5037 5112 5090 5074 5061 5050 5040 5123 5095 5078 5065 5053 5043 4700 5102 5083 5068 5056 5046 4699 5109 5088 5072 5060 5049 5039 5118 5093 5076 5063 5052 5042 5134 5099 5081 5067 5055 5044 4696 5106 5086 5071 5058 5047 5038 5115 5091 5075 5062 5051 5040 5127 5097 5079 5065 5054 5043 4693 5103 5084 5069 5057 5046 5037 5111 5089 5073 5061 5049 5040 5122 5095 5078 5064 5053 5042 4690 5101 5082 5068 5056 5045 4689 5109 5087 5072 5139 5049 5039 5119 5093 5076 5063 5052 5042 5136 5099 5081 5067 5055 5045 4686 5107 5086 5071 5059 5048 5038 5116 5092 5075 5062 5051 5041 5139 5098 5080 5066 5054 5044 4683 5105 5085 5070 5058 5047 5037 5115 5091 5075 5062 5051 5041 4734 5104 5085 5071 5059 5048 4733 5111 5090 5074 5062 5051 5041 5119 5094 5078 5065 5053 5043 5131 5100 5082 5068 5056 5046 4730 5106 5086 5071 5059 5048 5039 5113 5091 5075 5062 5051 5041 5121 5141 5079 5065 5054 5044 5136 5101 5083 5069 5057 5046 4726 5107 5087 5072 5060 5049 5039 5115 5092 5076 5063 5052 5042 5125 5097 5080 5066 5055 5045 4723 5103 5084 5070 5058 5047 4722 5141 5089 5073 5061 5050 5040 5118 5094 5077 5064 5053 5043 5129 5099 5081 5068 5056 5045 4719 5105 5086 5071 5059 5048 5039 5112 5090 5075 5062 5051 5041 5122 5096 5079 5065 5054 5044 5138 5101 5083 5069 5057 5047 4715 5108 5088 5073 5060 5049 5040 5116 5093 5077 5064 5052 5042 5127 5098 5081 5067 5055 5045 4712 5104 5085 5071 5058 5048 4711 5111 5090 5074 5062 5051 5041 5121 5095 5078 5065 5054 5044 5136 5101 5083 5069 5057 5046 4708 5108 5087 5072 5060 5049 5040 5116 5092 5076 5063 5052 5042 5127 5098 5081 5067 5055 5045 4705 5104 5085 5071 5059 5048 4704 5112 5090 5075 5062 5051 5041 5121 5141 5079 5065 5054 5044 4702 5102 5083 5069 5057 5047 4701 5109 5088 5073 5061 5050 5040 5117 5093 5077 5064 5053 5043 5130 5099 5081 5068 5056 5046 4698 5106 5086 5071 5059 5141 5039 5114 5091 5076 5063 5052 5042 5124 5097 5080 5066 5055 5044 4695 5103 5084 5070 5058 5047 4694 5111 5141 5074 5062 5051 5041 5141 5095 5078 5065 5054 5044 5137 5101 5083 5069 5057 5047 4691 5108 5088 5073 5060 5050 5040 5117 5093 5077 5064 5053 5043 5131 5099 5082 5068 5056 5046 4688 5106 5087 5072 5060 5049 5039 5115 5092 5076 5063 5052 5042 5127 5098 5081 5067 5055 5045 4685 5105 5085 5071 5059 5048 4635 5114 5092 5076 5063 5052 5042 4736 5104 5086 5072 5060 5049 4735 5111 5090 5075 5063 5052 5042 5118 5095 5079 5066 5054 5044 5128 5100 5082 5069 5057 5047 4732 5105 5087 5072 5060 5050 4731 5112 5091 5076 5063 5052 5042 5120 5096 5080 5066 5055 5045 5132 5101 5083 5070 5058 5048 4728 5107 5088 5073 5061 5050 5041 5114 5092 5077 5064 5053 5043 5123 5097 5081 5067 5056 5046 5138 5103 5085 5071 5059 5048 4724 5109 5089 5074 5062 5051 5041 5117 5094 5078 5065 5054 5044 5127 5099 5082 5068 5057 5047 4721 5105 5086 5072 5060 5049 4720 5112 5091 5076 5063 5052 5042 5120 5096 5080 5066 5055 5045 5133 5101 5084 5070 5058 5048 4717 5108 5088 5073 5061 5050 5041 5115 5093 5077 5064 5053 5043 5125 5098 5081 5068 5056 5046 4714 5104 5086 5071 5059 5049 4713 5111 5090 5075 5063 5052 5042 5119 5095 5079 5066 5055 5045 5132 5101 5083 5070 5058 5143 4710 5107 5088 5073 5061 5050 5041 5115 5093 5077 5064 5053 5043 5125 5098 5081 5068 5056 5046 4707 5104 5086 5072 5060 5049 4706 5111 5091 5075 5063 5052 5042 5120 5096 5080 5066 5055 5045 5133 5102 5084 5070 5058 5048 4703 5108 5089 5074 5062 5051 5041 5116 5094 5078 5065 5054 5044 5127 5099 5082 5069 5057 5047 4700 5106 5087 5072 5060 5050 4699 5113 5092 5076 5064 5053 5043 5123 5097 5081 5067 5056 5046 5140 5103 5085 5071 5059 5049 4696 5143 5090 5075 5143 5052 5042 5119 5095 5079 5066 5055 5045 5143 5101 5084 5070 5058 5048 4693 5108 5088 5074 5061 5051 5041 5117 5094 5078 5065 5054 5044 5128 5100 5082 5069 5057 5047 4690 5106 5087 5073 5061 5050 4689 5114 5092 5077 5064 5053 5043 5125 5098 5081 5068 5056 5046 4687 5105 5086 5072 5060 5049 4637 5114 5092 5077 5064 5053 5043 5138 5104 5086 5072 5061 5050 4737 5110 5091 5076 5064 5053 5043 5117 5095 5079 5067 5055 5046 5127 5100 5083 5070 5058 5048 4734 5106 5087 5073 5061 5051 4733 5112 5092 5077 5064 5053 5044 5119 5096 5080 5067 5056 5046 5129 5101 5084 5071 5059 5049 4730 5107 5088 5074 5062 5051 4729 5114 5093 5078 5065 5054 5044 5122 5098 5081 5068 5057 5047 5134 5103 5085 5072 5060 5145 4726 5109 5090 5075 5063 5052 5043 5116 5094 5079 5066 5055 5045 5125 5099 5083 5069 5058 5048 5141 5105 5087 5073 5061 5050 4722 5112 5091 5076 5064 5053 5044 5119 5096 5080 5067 5056 5046 5130 5102 5084 5071 5059 5049 4719 5108 5089 5074 5062 5052 4718 5115 5093 5078 5065 5054 5045 5124 5099 5082 5069 5057 5047 5137 5104 5086 5072 5061 5050 4715 5111 5091 5076 5064 5053 5043 5119 5096 5080 5067 5056 5046 5129 5101 5084 5071 5059 5049 4712 5107 5089 5074 5062 5051 4711 5115 5093 5078 5065 5054 5045 5124 5099 5082 5069 5057 5047 5138 5104 5086 5072 5061 5050 4708 5111 5091 5076 5064 5053 5043 5119 5096 5080 5067 5056 5046 5131 5102 5085 5071 5059 5049 4705 5108 5089 5075 5063 5052 4704 5116 5094 5079 5066 5055 5045 5126 5100 5083 5069 5058 5048 4702 5106 5087 5073 5061 5051 4701 5113 5092 5077 5065 5054 5044 5122 5098 5081 5068 5057 5047 5135 5103 5086 5072 5060 5050 4698 5110 5091 5076 5145 5053 5043 5119 5096 5080 5067 5056 5046 5130 5102 5084 5071 5059 5049 4695 5108 5089 5075 5062 5052 4694 5116 5094 5079 5066 5055 5045 5126 5100 5083 5070 5058 5048 4692 5106 5088 5074 5062 5051 4691 5114 5093 5078 5065 5054 5044 5123 5098 5082 5069 5057 5047 5139 5105 5087 5073 5061 5050 4639 5113 5092 5077 5065 5054 5044 5134 5105 5087 5073 5062 5051 4739 5110 5091 5077 5065 5054 4738 5117 5096 5080 5068 5057 5047 5125 5100 5084 5071 5059 5049 5147 5106 5088 5074 5062 5052 4735 5112 5092 5077 5065 5054 5045 5119 5097 5081 5068 5057 5047 5128 5102 5085 5072 5060 5050 5143 5107 5089 5075 5063 5147 4731 5147 5093 5078 5066 5055 5045 5121 5098 5082 5069 5058 5048 5131 5103 5086 5073 5061 5051 4728 5109 5090 5076 5064 5053 4727 5116 5095 5080 5067 5056 5046 5124 5100 5147 5070 5059 5049 5136 5105 5088 5074 5062 5052 4724 5111 5092 5077 5065 5054 5045 5119 5097 5081 5068 5057 5047 5128 5102 5085 5072 5060 5050 4721 5108 5089 5075 5063 5053 4720 5114 5094 5079 5066 5056 5046 5123 5099 5083 5070 5059 5048 5134 5104 5087 5073 5062 5051 4717 5111 5091 5077 5065 5054 4716 5118 5096 5081 5068 5057 5047 5128 5102 5085 5071 5060 5050 5144 5107 5089 5075 5063 5053 4713 5114 5094 5079 5066 5056 5046 5123 5099 5083 5070 5059 5147 5135 5105 5087 5073 5062 5051 4710 5111 5092 5077 5065 5054 5045 5119 5097 5081 5068 5057 5047 5129 5102 5085 5072 5060 5050 4707 5108 5090 5076 5064 5053 4706 5115 5095 5079 5067 5056 5046 5124 5100 5084 5070 5059 5049 5138 5106 5088 5074 5062 5052 4703 5113 5093 5078 5066 5055 5045 5121 5098 5082 5069 5058 5048 5132 5104 5086 5073 5061 5051 4700 5110 5091 5077 5065 5054 4699 5118 5096 5081 5068 5057 5047 5128 5102 5085 5072 5060 5050 4697 5108 5090 5075 5147 5053 4696 5116 5095 5080 5067 5056 5046 5125 5100 5084 5071 5059 5049 5140 5106 5088 5074 5063 5052 4693 5114 5093 5078 5066 5055 5045 5122 5099 5083 5070 5058 5048 5135 5105 5087 5147 5062 5051 4641 5113 5093 5078 5066 5055 5045 5132 5105 5088 5074 5063 5052 4741 5110 5092 5078 5066 5055 4740 5117 5096 5081 5069 5058 5048 5124 5101 5085 5072 5060 5050 5135 5106 5089 5075 5063 5053 4737 5112 5093 5078 5066 5056 4736 5118 5097 5082 5069 5058 5048 5127 5102 5086 5072 5061 5051 5139 5107 5090 5076 5064 5054 4733 5113 5094 5079 5067 5056 5047 5121 5099 5083 5070 5059 5049 5130 5104 5087 5073 5062 5052 5145 5109 5091 5077 5065 5055 4729 5116 5095 5149 5068 5057 5048 5123 5100 5084 5071 5060 5050 5134 5106 5088 5075 5063 5053 4726 5111 5093 5078 5066 5056 4725 5118 5097 5082 5069 5058 5049 5127 5102 5086 5073 5061 5051 5140 5108 5090 5076 5064 5054 4722 5114 5095 5080 5067 5057 5047 5122 5099 5084 5071 5060 5050 5132 5105 5088 5074 5063 5052 4719 5111 5092 5078 5066 5055 4718 5118 5097 5082 5069 5058 5048 5126 5102 5086 5072 5061 5051 5139 5108 5090 5076 5064 5054 4715 5114 5094 5080 5067 5057 5047 5122 5099 5084 5071 5060 5050 5132 5105 5088 5074 5063 5052 4712 5111 5092 5078 5066 5055 4711 5118 5097 5082 5069 5058 5048 5127 5102 5086 5073 5061 5051 5142 5108 5090 5076 5065 5054 4708 5115 5095 5080 5068 5057 5047 5124 5100 5084 5071 5060 5050 5135 5106 5089 5075 5063 5053 4705 5113 5093 5079 5067 5056 4704 5120 5098 5083 5070 5059 5049 5149 5104 5087 5074 5062 5052 4702 5110 5092 5078 5066 5055 4701 5118 5097 5082 5069 5058 5048 5127 5102 5086 5073 5061 5051 5142 5108 5090 5076 5065 5054 4698 5115 5095 5080 5068 5057 5047 5124 5101 5085 5072 5060 5050 5136 5107 5089 5075 5064 5053 4695 5113 5094 5079 5067 5056 5047 5122 5099 5084 5071 5060 5050 5133 5105 5088 5074 5063 5053 4643 5113 5094 5079 5067 5056 5047 5131 5105 5089 5075 5064 5054 5144 5151 5092 5151 5067 5056 4742 5117 5097 5082 5070 5059 5049 5124 5101 5086 5073 5062 5052 5133 5106 5089 5076 5064 5054 4739 5112 5093 5079 5067 5057 4738 5118 5098 5083 5070 5059 5050 5126 5102 5086 5073 5062 5052 5136 5108 5090 5077 5065 5055 4735 5113 5095 5080 5068 5058 4734 5120 5099 5084 5071 5060 5050 5151 5104 5088 5074 5063 5053 5141 5109 5092 5078 5066 5056 4731 5116 5096 5081 5069 5058 5049 5123 5101 5085 5072 5061 5051 5132 5106 5089 5076 5064 5054 4728 5112 5093 5079 5067 5057 4727 5118 5098 5083 5070 5151 5050 5126 5103 5087 5074 5062 5052 5137 5108 5091 5077 5065 5055 4724 5114 5095 5081 5069 5058 4723 5121 5100 5084 5072 5061 5051 5131 5105 5088 5075 5064 5054 5146 5111 5093 5079 5067 5056 4720 5118 5097 5082 5070 5059 5049 5126 5102 5086 5073 5062 5052 5137 5108 5091 5077 5065 5055 4717 5114 5095 5081 5068 5058 4716 5122 5100 5084 5072 5061 5051 5131 5105 5089 5075 5064 5054 5147 5111 5093 5079 5067 5057 4713 5118 5098 5083 5070 5059 5050 5127 5103 5087 5074 5063 5052 5139 5109 5091 5077 5066 5055 4710 5115 5096 5081 5069 5058 5049 5123 5101 5085 5072 5061 5051 5133 5106 5089 5076 5064 5054 4707 5113 5094 5080 5068 5057 4706 5120 5099 5084 5071 5060 5050 5129 5104 5088 5075 5063 5053 5144 5110 5092 5078 5067 5056 4703 5117 5097 5082 5070 5059 5049 5126 5103 5087 5074 5062 5052 5138 5109 5091 5077 5066 5055 4700 5115 5096 5081 5069 5058 5049 5123 5101 5085 5073 5061 5052 5134 5107 5090 5076 5065 5054 4697 5113 5095 5080 5068 5058 4696 5121 5100 5084 5072 5061 5051 5131 5105 5089 5075 5064 5054 4645 5113 5094 5080 5068 5057 4620 5130 5106 5089 5076 5065 5055 5141 5111 5093 5079 5068 5057 4744 5117 5097 5083 5071 5060 4743 5123 5102 5086 5074 5063 5053 5132 5107 5090 5077 5065 5055 5144 5112 5094 5080 5068 5058 4740 5118 5098 5084 5071 5061 5051 5125 5103 5087 5074 5063 5053 5134 5108 5091 5078 5066 5056 4737 5114 5095 5081 5069 5059 4736 5120 5100 5085 5072 5061 5052 5128 5104 5088 5075 5064 5054 5138 5110 5092 5079 5067 5057 4733 5116 5097 5082 5070 5060 4732 5122 5101 5086 5073 5062 5053 5131 5106 5090 5077 5065 5055 5144 5112 5094 5080 5068 5058 4729 5118 5098 5084 5071 5061 5051 5126 5103 5087 5075 5064 5054 5135 5108 5092 5078 5067 5056 4726 5114 5096 5082 5070 5059 4725 5121 5100 5085 5073 5062 5052 5130 5153 5089 5076 5065 5055 5142 5111 5093 5080 5068 5058 4722 5117 5098 5083 5071 5060 5051 5125 5103 5087 5074 5063 5053 5135 5108 5091 5078 5066 5056 4719 5114 5096 5082 5070 5059 4718 5121 5100 5085 5073 5062 5052 5130 5106 5089 5076 5065 5055 5143 5111 5094 5080 5068 5058 4715 5118 5098 5084 5071 5061 5051 5126 5103 5088 5075 5064 5054 5137 5109 5092 5078 5067 5057 4712 5115 5096 5082 5070 5059 4711 5123 5101 5086 5073 5062 5053 5132 5107 5090 5077 5066 5055 5153 5113 5095 5081 5069 5058 4708 5120 5100 5085 5072 5061 5052 5128 5105 5089 5076 5064 5054 5141 5111 5093 5079 5068 5057 4705 5117 5098 5083 5071 5060 5051 5153 5103 5087 5075 5063 5054 5136 5109 5092 5078 5067 5056 4702 5115 5097 5082 5070 5059 4701 5123 5102 5086 5074 5063 5053 5133 5107 5091 5077 5066 5056 4699 5114 5095 5081 5069 5059 4698 5121 5100 5085 5073 5062 5052 5130 5106 5090 5076 5065 5055 5149 5113 5095 5081 5069 5058 4621 5129 5106 5090 5077 5066 5056 5139 5111 5094 5080 5069 5059 4746 5117 5098 5084 5072 5061 4745 5123 5102 5087 5075 5064 5054 5131 5107 5091 5078 5067 5057 5142 5112 5095 5081 5069 5059 4742 5118 5099 5085 5072 5062 4741 5125 5155 5088 5076 5065 5055 5133 5108 5092 5079 5067 5057 5146 5114 5096 5082 5070 5060 4738 5120 5100 5086 5073 5063 5053 5127 5105 5089 5076 5065 5055 5137 5110 5093 5080 5068 5058 4735 5116 5097 5083 5071 5061 4734 5122 5102 5087 5074 5064 5054 5130 5107 5091 5078 5066 5056 5141 5112 5095 5081 5069 5059 4731 5118 5099 5085 5072 5062 4730 5125 5104 5088 5076 5065 5055 5134 5109 5092 5079 5068 5057 5155 5115 5097 5083 5071 5060 4727 5121 5101 5086 5074 5063 5053 5129 5106 5090 5077 5066 5056 5140 5111 5094 5081 5069 5059 4724 5118 5099 5084 5072 5062 4723 5125 5103 5088 5075 5064 5055 5134 5109 5092 5079 5155 5057 5148 5114 5096 5082 5071 5060 4720 5121 5101 5086 5074 5063 5053 5129 5106 5090 5077 5066 5056 5140 5112 5094 5081 5069 5059 4717 5118 5099 5085 5072 5062 4716 5126 5104 5155 5076 5065 5055 5135 5109 5093 5079 5068 5058 5152 5115 5097 5083 5071 5061 4713 5122 5102 5087 5074 5064 5054 5131 5107 5091 5078 5067 5057 5144 5113 5095 5082 5070 5060 4710 5120 5100 5086 5073 5063 5053 5128 5105 5090 5077 5066 5056 5139 5111 5094 5080 5069 5059 4707 5155 5099 5084 5072 5062 4706 5125 5104 5088 5076 5065 5055 5135 5109 5093 5079 5068 5058 4704 5116 5097 5083 5071 5061 4703 5123 5102 5087 5075 5064 5054 5132 5108 5091 5078 5067 5057 5146 5114 5096 5082 5070 5060 4700 5121 5101 5086 5074 5063 5053 5130 5106 5090 5077 5066 5056 5145 5113 5096 5082 5070 5060 4622 5129 5107 5091 5078 5067 5057 5137 5111 5095 5081 5070 5060 5152 5117 5099 5085 5073 5062 4747 5123 5103 5088 5076 5065 5055 5130 5108 5092 5079 5068 5058 5140 5113 5096 5082 5071 5060 4744 5118 5100 5086 5074 5063 4743 5125 5104 5089 5077 5066 5056 5157 5109 5093 5080 5157 5058 5143 5114 5097 5083 5071 5061 4740 5120 5101 5087 5074 5064 4739 5127 5106 5090 5078 5067 5057 5135 5110 5094 5081 5069 5059 5157 5116 5098 5084 5072 5062 4736 5122 5157 5088 5075 5065 5055 5130 5107 5092 5079 5068 5058 5139 5112 5096 5082 5071 5060 4733 5118 5100 5086 5074 5063 4732 5125 5104 5089 5077 5066 5056 5133 5109 5093 5080 5069 5059 5145 5115 5097 5084 5072 5061 4729 5121 5102 5087 5075 5064 5055 5129 5107 5091 5078 5067 5057 5138 5112 5095 5082 5070 5060 4726 5118 5099 5085 5073 5063 4725 5125 5104 5089 5077 5066 5056 5133 5109 5093 5080 5069 5059 5145 5115 5097 5083 5072 5061 4722 5121 5102 5087 5075 5064 5055 5129 5107 5091 5078 5067 5057 5139 5112 5095 5082 5070 5060 4719 5118 5100 5086 5074 5063 4718 5125 5105 5089 5077 5066 5056 5134 5110 5157 5080 5069 5059 5157 5116 5098 5084 5072 5062 4715 5122 5103 5088 5076 5065 5055 5131 5108 5092 5079 5068 5058 5142 5113 5096 5083 5071 5061 4712 5120 5101 5086 5074 5064 4711 5157 5106 5090 5078 5067 5057 5137 5111 5095 5081 5070 5060 4709 5118 5099 5085 5073 5063 4708 5125 5104 5089 5077 5066 5056 5134 5110 5093 5080 5069 5059 5148 5116 5098 5084 5072 5062 4705 5123 5103 5088 5076 5065 5055 5131 5108 5092 5079 5068 5058 5143 5114 5097 5083 5071 5061 4702 5121 5102 5087 5075 5064 5055 5129 5107 5091 5078 5067 5057 5142 5114 5096 5083 5071 5061 4623 5128 5107 5092 5079 5068 5059 5136 5112 5096 5082 5071 5061 5148 5117 5100 5086 5074 5064 4749 5123 5104 5089 5077 5066 5057 5130 5108 5093 5080 5069 5059 5139 5113 5096 5083 5072 5062 5152 5118 5100 5086 5075 5064 4745 5125 5105 5090 5078 5067 5057 5132 5109 5094 5081 5070 5060 5142 5159 5098 5084 5073 5062 4742 5120 5102 5087 5076 5065 4741 5127 5106 5091 5079 5068 5058 5135 5111 5095 5082 5071 5061 5146 5116 5099 5085 5074 5063 4738 5122 5103 5089 5077 5066 4737 5129 5108 5092 5080 5069 5059 5138 5113 5096 5083 5072 5061 5152 5119 5101 5087 5075 5064 4734 5125 5105 5090 5078 5067 5057 5133 5110 5094 5081 5070 5060 5143 5115 5098 5085 5073 5063 4731 5121 5102 5088 5076 5065 4730 5128 5107 5092 5079 5068 5058 5137 5112 5096 5083 5071 5061 5159 5118 5100 5086 5074 5064 4727 5125 5105 5090 5078 5067 5057 5132 5110 5094 5081 5070 5060 5143 5115 5098 5084 5073 5063 4724 5121 5102 5088 5076 5065 4723 5129 5107 5092 5079 5068 5059 5138 5113 5096 5083 5071 5061 5152 5118 5100 5086 5075 5064 4720 5125 5105 5090 5078 5067 5057 5134 5110 5094 5081 5070 5060 5145 5116 5099 5085 5073 5063 4717 5122 5103 5089 5077 5066 4716 5130 5108 5093 5080 5069 5059 5140 5114 5097 5084 5072 5062 4714 5120 5102 5087 5075 5065 4713 5127 5107 5091 5079 5068 5058 5136 5112 5096 5082 5071 5061 5150 5118 5100 5086 5074 5064 4710 5125 5105 5090 5078 5067 5057 5133 5110 5094 5081 5070 5060 5145 5116 5099 5085 5073 5063 4707 5123 5104 5089 5077 5066 4706 5131 5109 5093 5080 5069 5059 5142 5115 5098 5084 5073 5062 4704 5121 5102 5088 5076 5065 4703 5129 5107 5092 5159 5069 5059 5141 5114 5097 5084 5072 5062 4624 5128 5108 5093 5080 5070 5060 5136 5112 5096 5161 5072 5062 5146 5118 5100 5087 5075 5065 4751 5123 5104 5090 5078 5067 4750 5130 5109 5094 5081 5070 5060 5138 5114 5097 5084 5073 5063 5149 5119 5101 5087 5076 5065 4747 5125 5105 5091 5079 5068 4746 5132 5110 5095 5082 5071 5061 5140 5115 5098 5085 5074 5064 5154 5120 5102 5088 5077 5066 4743 5127 5107 5092 5080 5069 5059 5134 5112 5096 5083 5072 5062 5144 5117 5100 5086 5075 5064 4740 5123 5104 5090 5078 5067 4739 5129 5108 5093 5081 5070 5060 5137 5113 5097 5084 5073 5063 5149 5119 5101 5088 5076 5065 4736 5125 5106 5091 5079 5068 5059 5132 5110 5095 5082 5071 5061 5142 5116 5099 5086 5074 5064 5161 5121 5103 5089 5077 5067 4732 5128 5108 5093 5080 5161 5060 5136 5113 5097 5084 5072 5062 5148 5118 5101 5087 5076 5065 4729 5125 5105 5091 5079 5068 4728 5132 5110 5095 5082 5071 5061 5142 5116 5099 5085 5074 5064 4726 5122 5103 5089 5077 5067 4725 5128 5108 5093 5080 5070 5060 5137 5113 5097 5084 5073 5063 5149 5119 5101 5087 5076 5065 4722 5125 5106 5091 5079 5068 5059 5133 5111 5095 5082 5071 5061 5143 5116 5099 5086 5074 5064 4719 5123 5104 5090 5078 5067 4718 5130 5109 5094 5081 5070 5060 5139 5114 5098 5085 5073 5063 5154 5120 5102 5088 5077 5066 4715 5127 5107 5092 5080 5069 5059 5136 5112 5096 5083 5072 5062 5148 5118 5101 5087 5161 5065 4712 5125 5106 5091 5079 5068 5059 5133 5111 5095 5082 5071 5061 5144 5117 5100 5086 5075 5064 4709 5123 5104 5090 5078 5067 4708 5131 5109 5094 5081 5070 5061 5140 5115 5098 5085 5074 5064 5158 5121 5103 5089 5077 5067 4705 5129 5108 5093 5081 5070 5060 5140 5115 5098 5085 5073 5063 4625 5128 5109 5094 5082 5071 5061 5135 5113 5097 5085 5073 5064 5144 5118 5101 5088 5076 5066 5160 5123 5105 5091 5079 5069 4752 5130 5109 5095 5082 5071 5062 5137 5114 5098 5085 5074 5064 5147 5119 5102 5089 5077 5067 4749 5125 5106 5092 5080 5069 4748 5132 5111 5095 5083 5072 5062 5140 5115 5099 5086 5075 5065 5151 5121 5103 5089 5078 5067 4745 5127 5108 5093 5081 5070 4744 5134 5112 5097 5084 5073 5063 5143 5117 5101 5087 5076 5066 5157 5123 5105 5091 5079 5068 4741 5129 5109 5094 5082 5071 5061 5137 5114 5098 5085 5074 5064 5147 5119 5102 5089 5077 5067 4738 5125 5106 5092 5080 5069 4737 5132 5111 5096 5083 5072 5062 5141 5116 5100 5087 5075 5065 5154 5122 5104 5090 5078 5068 4734 5128 5108 5094 5081 5071 5061 5136 5113 5098 5085 5074 5064 5146 5119 5102 5088 5077 5066 4731 5125 5106 5092 5080 5069 4730 5132 5111 5096 5083 5072 5062 5141 5116 5100 5087 5075 5065 5154 5122 5104 5090 5078 5068 4727 5128 5109 5094 5082 5071 5061 5136 5114 5098 5085 5074 5064 5147 5119 5102 5089 5077 5067 4724 5163 5107 5092 5080 5070 4723 5133 5112 5096 5084 5073 5063 5142 5117 5100 5087 5076 5065 5158 5123 5105 5091 5079 5068 4720 5130 5110 5095 5082 5071 5062 5138 5115 5099 5086 5074 5064 5151 5121 5103 5089 5078 5067 4717 5127 5108 5093 5081 5070 5061 5135 5113 5097 5085 5073 5063 5146 5119 5102 5088 5077 5066 4714 5125 5106 5092 5080 5069 4713 5133 5111 5096 5083 5072 5063 5142 5117 5100 5087 5076 5066 5159 5123 5105 5091 5079 5069 4710 5131 5110 5095 5083 5072 5062 5140 5163 5099 5086 5075 5065 5153 5122 5104 5090 5078 5068 4707 5129 5109 5094 5082 5071 5061 5139 5115 5099 5086 5075 5065 4758 5165 5109 5095 5083 5072 4757 5135 5114 5098 5086 5075 5065 5165 5165 5102 5089 5077 5067 5156 5124 5106 5092 5080 5070 4754 5130 5110 5096 5083 5073 5063 5137 5115 5099 5086 5075 5065 5146 5120 5103 5090 5078 5068 5161 5125 5107 5093 5081 5071 4750 5132 5111 5096 5084 5073 5063 5139 5116 5100 5087 5076 5066 5149 5121 5104 5091 5079 5069 4747 5127 5108 5094 5082 5071 4746 5134 5113 5098 5085 5074 5064 5142 5118 5101 5088 5077 5067 5154 5123 5106 5092 5080 5070 4743 5129 5110 5095 5083 5072 5063 5137 5115 5099 5086 5075 5065 5146 5120 5103 5090 5078 5068 4740 5126 5107 5093 5081 5071 4739 5132 5112 5097 5084 5073 5064 5140 5117 5101 5088 5076 5066 5151 5122 5105 5091 5079 5069 4736 5128 5109 5095 5083 5072 4735 5136 5114 5099 5086 5075 5065 5145 5119 5103 5089 5078 5068 5161 5125 5107 5093 5081 5070 4732 5132 5112 5097 5084 5073 5064 5140 5117 5101 5088 5076 5066 5152 5122 5105 5091 5079 5069 4729 5129 5109 5095 5083 5072 4728 5136 5114 5099 5086 5075 5065 5146 5120 5103 5090 5078 5068 4726 5126 5107 5093 5081 5071 4725 5133 5112 5097 5085 5074 5064 5142 5117 5101 5088 5077 5067 5154 5123 5106 5092 5080 5070 4722 5130 5110 5096 5083 5073 5063 5138 5115 5100 5087 5076 5066 5149 5121 5104 5090 5079 5069 4719 5128 5109 5094 5082 5072 4718 5135 5114 5098 5086 5075 5065 5145 5119 5103 5089 5078 5068 5162 5125 5107 5093 5081 5071 4715 5133 5112 5097 5085 5074 5064 5142 5118 5101 5088 5077 5067 5155 5124 5106 5092 5080 5070 4712 5131 5111 5096 5084 5073 5063 5139 5116 5100 5087 5076 5066 5151 5122 5105 5091 5079 5069 4709 5129 5110 5095 5083 5072 4659 5138 5116 5100 5087 5076 5066 4760 5129 5110 5096 5084 5073 4759 5135 5114 5099 5087 5076 5066 5143 5119 5103 5090 5079 5069 5167 5124 5107 5093 5081 5071 4756 5130 5111 5097 5084 5074 4755 5137 5115 5100 5087 5076 5067 5145 5120 5104 5091 5079 5069 5157 5126 5108 5094 5082 5072 4752 5132 5112 5097 5085 5074 5065 5139 5117 5101 5088 5077 5067 5148 5122 5105 5092 5080 5070 5164 5127 5109 5095 5083 5073 4748 5134 5114 5099 5086 5075 5066 5142 5118 5102 5089 5078 5068 5152 5124 5106 5093 5081 5071 4745 5130 5111 5096 5084 5074 4744 5136 5115 5100 5087 5076 5067 5145 5120 5104 5091 5079 5069 5158 5126 5108 5094 5082 5072 4741 5132 5167 5098 5085 5075 5065 5140 5117 5102 5089 5078 5068 5150 5123 5106 5092 5081 5070 4738 5129 5110 5096 5084 5073 4737 5136 5115 5100 5087 5076 5066 5144 5120 5167 5090 5079 5069 5157 5125 5108 5094 5082 5072 4734 5132 5112 5098 5085 5075 5065 5140 5117 5102 5089 5078 5068 5150 5123 5106 5092 5081 5070 4731 5129 5110 5096 5084 5073 4730 5136 5115 5100 5087 5076 5066 5145 5120 5104 5091 5079 5069 5159 5126 5108 5094 5082 5072 4727 5133 5113 5098 5086 5075 5065 5141 5118 5102 5089 5078 5068 5152 5124 5106 5093 5081 5071 4724 5130 5111 5097 5084 5074 4723 5138 5116 5101 5088 5077 5067 5148 5122 5105 5092 5080 5070 4721 5128 5109 5095 5083 5073 4720 5135 5114 5099 5087 5076 5066 5144 5120 5103 5090 5079 5069 5158 5126 5108 5094 5082 5072 4717 5133 5113 5098 5086 5075 5065 5141 5118 5102 5089 5078 5068 5153 5124 5107 5093 5081 5071 4714 5131 5111 5097 5085 5074 4713 5139 5117 5101 5088 5077 5067 5150 5167 5106 5092 5081 5070 4711 5129 5110 5096 5084 5073 4661 5138 5116 5101 5088 5077 5067 5165 5129 5111 5097 5085 5074 4761 5135 5115 5100 5088 5077 5067 5142 5120 5104 5091 5080 5070 5152 5125 5108 5094 5083 5072 4758 5130 5112 5098 5086 5075 4757 5137 5116 5101 5089 5078 5068 5144 5121 5105 5092 5080 5070 5155 5126 5109 5095 5083 5073 4754 5132 5113 5098 5086 5076 4753 5139 5117 5102 5089 5078 5069 5147 5122 5106 5093 5081 5071 5160 5128 5110 5096 5084 5074 4750 5134 5114 5100 5087 5077 5067 5141 5119 5103 5169 5079 5069 5151 5124 5107 5094 5082 5072 4747 5130 5111 5097 5085 5075 4746 5136 5116 5101 5088 5078 5068 5145 5121 5105 5092 5081 5070 5156 5126 5109 5095 5084 5073 4743 5132 5113 5099 5087 5076 4742 5140 5118 5103 5090 5079 5069 5149 5123 5107 5093 5082 5072 5164 5129 5111 5097 5085 5074 4739 5136 5115 5169 5088 5077 5068 5144 5120 5104 5091 5080 5070 5155 5126 5109 5095 5083 5073 4736 5132 5113 5099 5086 5076 4735 5140 5118 5102 5090 5079 5069 5149 5123 5107 5093 5082 5072 5165 5129 5111 5097 5085 5169 4732 5136 5116 5101 5088 5077 5068 5144 5121 5105 5092 5080 5070 5156 5127 5109 5095 5084 5073 4729 5133 5114 5099 5087 5076 5067 5141 5119 5103 5090 5079 5069 5151 5124 5107 5094 5082 5072 4726 5130 5112 5098 5086 5075 4725 5138 5117 5102 5089 5078 5068 5147 5122 5106 5093 5081 5071 5161 5128 5110 5096 5169 5074 4722 5135 5115 5100 5088 5077 5067 5144 5120 5104 5091 5080 5070 5156 5126 5109 5095 5083 5073 4719 5133 5114 5099 5087 5076 5067 5141 5119 5103 5090 5079 5069 5152 5125 5108 5094 5083 5072 4716 5131 5112 5098 5086 5075 4715 5139 5117 5102 5089 5078 5069 5149 5123 5106 5093 5082 5072 5166 5129 5111 5097 5085 5075 4663 5138 5117 5102 5089 5078 5068 5161 5171 5112 5098 5086 5076 4763 5135 5116 5101 5089 5078 5069 5142 5120 5105 5092 5081 5071 5151 5125 5109 5095 5084 5074 5165 5131 5113 5099 5087 5076 4759 5137 5117 5102 5090 5079 5069 5144 5121 5106 5093 5082 5072 5154 5127 5110 5096 5085 5074 4756 5132 5114 5099 5088 5077 4755 5139 5118 5103 5091 5080 5070 5147 5123 5107 5094 5083 5072 5157 5128 5111 5097 5085 5075 4752 5134 5115 5101 5088 5078 4751 5141 5120 5104 5092 5081 5071 5150 5125 5108 5095 5084 5073 5163 5130 5112 5098 5087 5076 4748 5137 5117 5102 5090 5079 5069 5144 5122 5106 5093 5082 5072 5154 5127 5110 5096 5085 5074 4745 5133 5114 5100 5088 5077 4744 5140 5119 5104 5091 5080 5070 5148 5124 5107 5094 5083 5073 5161 5129 5112 5098 5086 5076 4741 5136 5116 5102 5089 5079 5069 5143 5121 5105 5093 5081 5072 5153 5126 5171 5096 5171 5074 4738 5132 5114 5100 5088 5077 4737 5171 5119 5103 5091 5080 5070 5148 5124 5108 5094 5083 5073 5161 5130 5112 5098 5086 5076 4734 5136 5116 5102 5089 5079 5069 5144 5121 5106 5093 5082 5072 5155 5127 5110 5096 5085 5075 4731 5133 5114 5100 5088 5077 4730 5141 5119 5104 5091 5080 5071 5150 5125 5108 5095 5084 5073 5171 5131 5113 5099 5087 5076 4727 5138 5118 5103 5090 5079 5070 5146 5123 5107 5094 5082 5072 5159 5129 5111 5097 5086 5075 4724 5135 5116 5101 5089 5078 5069 5143 5121 5105 5093 5081 5071 5154 5127 5110 5096 5085 5074 4721 5133 5114 5100 5088 5077 4720 5141 5119 5104 5092 5081 5071 5151 5125 5108 5095 5084 5074 5168 5131 5113 5099 5087 5077 4717 5139 5118 5103 5091 5080 5070 5148 5124 5107 5094 5083 5073 5162 5130 5112 5098 5086 5076 4665 5138 5118 5103 5090 5079 5070 5159 5130 5113 5099 5087 5077 4765 5136 5117 5102 5090 5080 4764 5142 5121 5106 5093 5082 5072 5150 5126 5110 5096 5085 5075 5162 5131 5113 5100 5088 5078 4761 5137 5118 5103 5091 5080 5071 5144 5122 5107 5094 5083 5073 5153 5127 5173 5097 5086 5076 5167 5133 5115 5101 5089 5078 4757 5139 5119 5104 5092 5081 5071 5146 5124 5108 5095 5084 5074 5156 5129 5112 5098 5087 5076 4754 5134 5116 5102 5090 5079 4753 5141 5120 5105 5093 5082 5072 5149 5125 5109 5096 5085 5075 5161 5131 5113 5099 5088 5077 4750 5137 5118 5103 5091 5080 4749 5144 5122 5107 5094 5083 5073 5153 5127 5111 5097 5086 5076 5169 5133 5115 5101 5089 5078 4746 5140 5119 5105 5092 5081 5072 5148 5124 5108 5095 5084 5074 5159 5130 5113 5099 5087 5077 4743 5136 5117 5103 5090 5080 4742 5143 5122 5106 5094 5083 5073 5173 5127 5110 5097 5086 5076 5168 5133 5115 5101 5089 5078 4739 5140 5119 5104 5092 5081 5072 5148 5124 5108 5095 5084 5074 5159 5130 5113 5099 5087 5077 4736 5136 5117 5103 5091 5080 4735 5144 5122 5107 5094 5083 5073 5154 5128 5111 5173 5086 5076 4733 5134 5115 5101 5089 5079 4732 5141 5120 5105 5093 5082 5072 5149 5125 5109 5096 5085 5075 5162 5131 5114 5100 5088 5078 4729 5138 5118 5104 5091 5081 5071 5146 5123 5108 5095 5084 5074 5157 5129 5112 5098 5087 5077 4726 5136 5117 5102 5090 5080 4725 5143 5122 5106 5094 5083 5073 5153 5127 5111 5097 5086 5076 4723 5134 5115 5101 5089 5079 4722 5141 5120 5105 5093 5082 5072 5150 5126 5109 5096 5085 5075 5164 5132 5114 5100 5088 5078 4719 5139 5119 5104 5092 5081 5071 5147 5124 5108 5095 5084 5074 5160 5130 5113 5099 5087 5077 4667 5138 5119 5104 5092 5081 5071 5158 5131 5114 5100 5089 5078 4767 5136 5118 5103 5091 5081 4766 5142 5122 5107 5094 5084 5074 5150 5127 5111 5098 5086 5076 5160 5132 5114 5101 5089 5079 4763 5137 5175 5104 5092 5081 4762 5144 5123 5108 5095 5084 5074 5152 5128 5111 5098 5087 5077 5164 5133 5115 5102 5090 5080 4759 5139 5120 5105 5093 5082 5073 5146 5124 5109 5096 5085 5075 5155 5129 5113 5099 5088 5078 5170 5135 5117 5103 5091 5080 4755 5141 5121 5106 5094 5083 5073 5149 5126 5110 5097 5086 5076 5159 5131 5114 5101 5089 5079 4752 5137 5118 5104 5092 5081 4751 5144 5123 5108 5095 5084 5074 5153 5128 5112 5098 5087 5077 5165 5134 5116 5102 5090 5080 4748 5140 5120 5106 5093 5083 5073 5175 5125 5109 5097 5085 5076 5157 5130 5175 5100 5175 5078 4745 5136 5118 5104 5092 5081 4744 5143 5123 5107 5095 5084 5074 5152 5128 5111 5098 5087 5077 5175 5133 5116 5102 5090 5080 4741 5140 5120 5106 5093 5083 5073 5148 5125 5109 5097 5086 5076 5158 5131 5114 5100 5089 5078 4738 5137 5118 5104 5092 5081 4737 5144 5123 5108 5095 5084 5074 5153 5128 5112 5099 5087 5077 5167 5134 5116 5102 5090 5080 4734 5141 5121 5106 5094 5083 5073 5149 5126 5110 5097 5086 5076 5160 5132 5175 5101 5089 5079 4731 5138 5119 5105 5093 5082 4730 5146 5124 5109 5096 5085 5075 5156 5130 5113 5100 5088 5078 4728 5136 5118 5103 5091 5081 4727 5143 5175 5107 5095 5084 5074 5152 5128 5112 5098 5087 5077 5167 5134 5116 5102 5090 5080 4724 5141 5121 5106 5094 5083 5073 5150 5126 5110 5097 5086 5076 5162 5132 5115 5101 5175 5079 4721 5139 5120 5105 5093 5082 5073 5147 5125 5109 5097 5085 5075 5158 5131 5114 5100 5089 5078 4669 5139 5119 5105 5093 5082 4632 5157 5131 5115 5101 5090 5080 5170 5136 5118 5104 5093 5082 4768 5143 5123 5108 5096 5085 5075 5150 5127 5112 5099 5088 5078 5159 5132 5115 5102 5090 5080 4765 5138 5119 5105 5093 5083 4764 5144 5124 5109 5096 5085 5076 5152 5128 5112 5099 5088 5078 5162 5134 5116 5103 5091 5081 4761 5139 5121 5106 5094 5177 4760 5146 5125 5110 5097 5086 5076 5154 5130 5114 5100 5089 5079 5167 5135 5118 5104 5092 5082 4757 5142 5122 5107 5095 5084 5075 5149 5127 5111 5098 5087 5077 5158 5132 5115 5102 5090 5080 4754 5138 5119 5105 5093 5083 4753 5144 5124 5109 5096 5085 5076 5152 5129 5113 5100 5088 5078 5163 5134 5117 5103 5091 5081 4750 5140 5121 5107 5095 5084 4749 5147 5126 5110 5098 5087 5077 5157 5131 5114 5101 5090 5080 5172 5137 5119 5105 5093 5082 4746 5177 5123 5108 5096 5085 5075 5152 5128 5112 5099 5088 5078 5163 5134 5117 5103 5091 5081 4743 5140 5121 5107 5094 5084 4742 5177 5126 5110 5098 5087 5077 5157 5131 5115 5101 5090 5080 5173 5137 5119 5105 5093 5083 4739 5144 5124 5109 5096 5085 5076 5153 5129 5113 5100 5089 5078 5165 5135 5117 5103 5092 5081 4736 5141 5122 5107 5095 5084 5075 5149 5127 5111 5098 5087 5077 5159 5132 5115 5102 5090 5080 4733 5139 5120 5106 5094 5083 4732 5146 5125 5110 5097 5086 5076 5155 5130 5114 5101 5089 5079 5170 5136 5118 5104 5093 5082 4729 5143 5123 5108 5096 5085 5075 5152 5129 5113 5100 5088 5078 5164 5135 5117 5103 5092 5081 4726 5141 5122 5107 5095 5084 5075 5149 5127 5111 5099 5087 5078 5160 5133 5116 5102 5091 5080 4723 5139 5121 5106 5094 5084 4722 5147 5126 5110 5098 5087 5077 5157 5131 5115 5101 5090 5080 4671 5139 5120 5106 5094 5083 4633 5156 5132 5116 5102 5091 5081 5168 5137 5119 5106 5094 5083 4770 5143 5124 5109 5097 5086 4769 5150 5128 5113 5100 5089 5079 5158 5133 5116 5103 5092 5081 5171 5138 5120 5106 5095 5084 4766 5144 5125 5110 5098 5087 5077 5152 5129 5113 5101 5090 5080 5161 5134 5117 5104 5092 5082 4763 5140 5121 5107 5095 5085 4762 5146 5126 5111 5098 5088 5078 5154 5131 5115 5102 5090 5080 5165 5136 5119 5105 5093 5083 4759 5142 5123 5108 5096 5086 4758 5149 5127 5112 5179 5089 5079 5157 5132 5116 5103 5091 5081 5171 5138 5120 5106 5094 5084 4755 5144 5125 5110 5098 5087 5077 5152 5129 5114 5101 5090 5080 5162 5135 5118 5104 5093 5082 4752 5141 5122 5108 5096 5085 4751 5148 5127 5111 5099 5088 5078 5156 5132 5115 5102 5091 5081 5169 5137 5120 5106 5094 5084 4748 5144 5124 5179 5097 5087 5077 5151 5129 5113 5101 5089 5080 5161 5134 5118 5104 5093 5082 4745 5141 5122 5108 5096 5085 4744 5148 5127 5112 5099 5088 5078 5156 5132 5116 5102 5091 5081 5170 5138 5120 5106 5094 5084 4741 5144 5125 5110 5098 5087 5077 5152 5130 5114 5101 5090 5080 5163 5135 5118 5179 5093 5083 4738 5142 5123 5108 5096 5086 4737 5149 5128 5112 5100 5089 5079 5158 5133 5116 5103 5092 5082 5175 5139 5121 5107 5095 5084 4734 5146 5126 5111 5098 5087 5078 5155 5131 5115 5102 5091 5081 5167 5137 5119 5106 5094 5083 4731 5144 5124 5109 5097 5086 5077 5152 5129 5114 5101 5090 5080 5163 5135 5118 5104 5093 5083 4728 5142 5123 5108 5096 5086 4727 5149 5128 5112 5100 5089 5079 5159 5133 5117 5103 5092 5082 4725 5140 5121 5107 5095 5085 4724 5147 5127 5111 5099 5088 5078 5157 5132 5116 5103 5091 5081 5176 5139 5121 5107 5095 5085 4634 5156 5133 5117 5104 5092 5082 5166 5138 5120 5107 5095 5085 4772 5143 5124 5110 5098 5087 4771 5150 5129 5114 5101 5090 5080 5158 5134 5117 5104 5093 5083 5169 5139 5121 5107 5096 5085 4768 5145 5125 5111 5099 5088 4767 5152 5130 5181 5102 5091 5081 5160 5135 5118 5105 5094 5083 5174 5140 5122 5108 5097 5086 4764 5147 5127 5112 5100 5089 5079 5154 5131 5116 5103 5092 5082 5164 5137 5120 5106 5095 5084 4761 5142 5124 5110 5098 5087 4760 5149 5128 5113 5101 5090 5080 5157 5133 5117 5104 5093 5083 5181 5139 5121 5107 5096 5085 4757 5145 5125 5111 5099 5088 4756 5152 5130 5115 5102 5091 5081 5161 5135 5119 5105 5094 5084 5177 5141 5123 5109 5097 5086 4753 5148 5127 5113 5100 5089 5080 5156 5132 5116 5103 5092 5082 5167 5138 5121 5107 5095 5085 4750 5144 5125 5111 5098 5088 4749 5151 5130 5114 5102 5091 5081 5161 5135 5181 5105 5094 5084 5176 5141 5123 5109 5097 5086 4746 5148 5128 5113 5100 5089 5080 5156 5133 5117 5104 5092 5082 5168 5138 5121 5107 5095 5085 4743 5145 5125 5111 5099 5088 4742 5152 5130 5115 5102 5091 5081 5162 5136 5119 5106 5094 5084 4740 5142 5124 5109 5097 5087 4739 5149 5128 5113 5101 5090 5080 5158 5134 5117 5104 5093 5083 5171 5140 5122 5108 5096 5086 4736 5146 5127 5112 5100 5089 5079 5155 5132 5116 5103 5092 5082 5166 5138 5120 5107 5095 5085 4733 5144 5125 5111 5098 5088 4732 5152 5130 5115 5102 5091 5081 5162 5136 5119 5106 5094 5084 4730 5142 5124 5109 5097 5087 4729 5181 5129 5113 5101 5090 5080 5159 5134 5118 5105 5093 5083 5174 5140 5122 5108 5097 5086 4726 5148 5127 5112 5100 5089 5079 5156 5133 5117 5104 5092 5082 5172 5140 5122 5108 5096 5086 4635 5156 5133 5118 5105 5094 5084 5165 5138 5121 5108 5096 5086 4774 5144 5125 5111 5099 5089 4773 5150 5130 5115 5102 5091 5082 5157 5134 5118 5105 5094 5084 5183 5139 5122 5109 5097 5087 4770 5145 5126 5112 5100 5089 4769 5152 5131 5116 5103 5092 5082 5160 5136 5119 5106 5095 5085 5171 5141 5123 5110 5098 5087 4766 5147 5128 5113 5101 5090 5183 5154 5132 5117 5104 5093 5083 5163 5137 5121 5107 5096 5086 5177 5143 5125 5111 5099 5088 4762 5149 5129 5114 5102 5091 5081 5157 5134 5118 5105 5094 5084 5167 5139 5122 5109 5097 5087 4759 5145 5126 5112 5100 5089 4758 5152 5131 5116 5103 5092 5082 5161 5136 5120 5107 5095 5085 5173 5142 5124 5110 5098 5088 4755 5148 5128 5114 5101 5091 5081 5156 5133 5183 5105 5094 5084 5166 5139 5122 5108 5097 5086 4752 5145 5126 5112 5100 5089 4751 5152 5131 5183 5103 5092 5082 5160 5136 5120 5106 5095 5085 5173 5142 5124 5110 5098 5088 4748 5148 5128 5114 5101 5091 5081 5156 5133 5118 5105 5094 5084 5166 5139 5122 5108 5097 5086 4745 5145 5126 5112 5100 5089 4744 5152 5131 5116 5103 5092 5183 5162 5137 5120 5107 5095 5085 5176 5142 5124 5110 5099 5088 4741 5149 5129 5114 5102 5091 5081 5158 5134 5118 5105 5094 5084 5169 5140 5123 5109 5097 5087 4738 5147 5127 5113 5101 5090 4737 5155 5133 5117 5104 5093 5083 5165 5138 5121 5108 5096 5086 4735 5145 5126 5112 5100 5089 4734 5152 5131 5116 5103 5092 5082 5161 5136 5120 5107 5095 5085 5177 5143 5125 5111 5099 5088 4731 5150 5129 5115 5102 5091 5082 5159 5135 5119 5106 5095 5084 5171 5141 5123 5110 5098 5087 4728 5148 5128 5114 5101 5091 5081 5156 5134 5118 5105 5094 5084 5170 5140 5123 5109 5098 5087 4636 5156 5134 5119 5106 5095 5085 5164 5139 5122 5109 5098 5185 5177 5144 5126 5112 5101 5090 4775 5150 5131 5116 5103 5093 5083 5157 5135 5119 5107 5095 5086 5167 5140 5123 5110 5098 5088 4772 5146 5127 5113 5101 5091 4771 5152 5132 5117 5104 5093 5084 5160 5136 5120 5107 5096 5086 5170 5142 5124 5111 5099 5089 4768 5147 5185 5114 5102 5091 4767 5154 5133 5118 5105 5094 5084 5162 5138 5122 5108 5097 5087 5175 5143 5126 5112 5100 5090 4764 5150 5130 5115 5103 5092 5083 5157 5135 5119 5106 5095 5085 5166 5140 5123 5110 5098 5088 4761 5146 5127 5113 5101 5091 4760 5152 5132 5117 5104 5094 5084 5160 5137 5121 5108 5096 5086 5172 5142 5125 5111 5099 5089 4757 5148 5129 5115 5103 5092 4756 5156 5134 5119 5106 5095 5085 5165 5139 5123 5109 5098 5088 5181 5145 5127 5113 5101 5090 4753 5152 5132 5117 5104 5093 5084 5160 5137 5121 5108 5096 5086 5171 5142 5125 5111 5099 5089 4750 5148 5129 5115 5103 5092 4749 5156 5134 5119 5106 5095 5085 5166 5140 5123 5109 5098 5088 4747 5146 5127 5113 5101 5091 4746 5153 5132 5117 5105 5094 5084 5161 5137 5121 5108 5097 5087 5174 5143 5125 5112 5100 5090 4743 5150 5130 5115 5103 5092 5083 5158 5135 5185 5107 5096 5086 5168 5141 5124 5110 5099 5088 4740 5147 5128 5114 5102 5091 4739 5155 5133 5118 5105 5094 5085 5164 5139 5122 5109 5098 5087 5180 5145 5127 5113 5101 5090 4736 5152 5132 5117 5104 5185 5084 5161 5137 5121 5108 5097 5087 5174 5143 5126 5112 5100 5090 4733 5150 5130 5116 5103 5093 5083 5158 5136 5120 5107 5096 5086 5170 5142 5124 5111 5099 5089 4730 5148 5129 5115 5103 5092 4729 5156 5134 5119 5106 5095 5085 5169 5141 5124 5110 5099 5089 4637 5156 5135 5120 5107 5096 5086 5164 5140 5123 5110 5099 5089 5175 5145 5127 5114 5102 5091 4777 5151 5131 5117 5105 5094 4776 5187 5136 5120 5108 5097 5087 5166 5141 5124 5111 5100 5089 5179 5146 5128 5114 5102 5092 4773 5152 5133 5118 5105 5095 5085 5160 5137 5121 5109 5187 5088 5169 5142 5125 5112 5100 5090 4770 5148 5129 5115 5103 5093 4769 5154 5134 5119 5106 5096 5086 5162 5139 5123 5110 5098 5088 5173 5144 5127 5113 5101 5091 4766 5150 5131 5117 5104 5094 4765 5157 5136 5120 5108 5097 5087 5166 5141 5124 5111 5099 5089 5179 5146 5128 5114 5103 5092 4762 5153 5133 5118 5106 5095 5085 5160 5138 5122 5109 5098 5088 5170 5143 5126 5112 5101 5090 4759 5149 5130 5116 5104 5093 4758 5156 5135 5120 5107 5096 5086 5165 5140 5124 5110 5099 5089 5187 5146 5128 5114 5102 5092 4755 5152 5132 5118 5105 5095 5085 5160 5137 5122 5109 5098 5088 5170 5143 5126 5112 5101 5090 4752 5149 5130 5116 5104 5093 4751 5156 5135 5120 5107 5096 5086 5165 5140 5124 5111 5099 5089 5179 5146 5128 5114 5102 5092 4748 5153 5133 5118 5106 5095 5085 5161 5138 5122 5109 5098 5088 5172 5144 5126 5113 5101 5091 4745 5150 5131 5117 5104 5094 4744 5158 5136 5121 5108 5097 5087 5168 5142 5125 5111 5100 5090 4742 5148 5129 5115 5103 5093 4741 5155 5134 5119 5107 5096 5086 5164 5140 5123 5110 5099 5089 5177 5146 5128 5114 5102 5092 4738 5153 5133 5118 5106 5095 5085 5161 5138 5122 5109 5098 5088 5187 5144 5127 5113 5101 5091 4735 5150 5131 5117 5105 5094 4734 5158 5136 5121 5108 5097 5087 5169 5142 5125 5112 5100 5090 4732 5149 5130 5116 5104 5093 4731 5156 5135 5120 5107 5096 5087 5168 5142 5125 5112 5100 5090 4638 5156 5136 5121 5108 5098 5088 5164 5140 5124 5111 5100 5090 5174 5146 5128 5115 5103 5093 4779 5151 5132 5118 5106 5095 4778 5158 5137 5122 5109 5098 5088 5166 5142 5125 5112 5101 5091 5177 5147 5129 5115 5104 5093 4775 5153 5133 5119 5107 5096 4774 5160 5138 5123 5110 5099 5089 5168 5143 5126 5113 5102 5092 5182 5148 5130 5116 5105 5094 4771 5155 5135 5120 5108 5097 5087 5162 5140 5124 5111 5100 5090 5172 5145 5128 5114 5103 5092 4768 5189 5132 5118 5106 5095 4767 5157 5136 5121 5109 5098 5088 5165 5141 5125 5112 5101 5091 5177 5147 5129 5116 5104 5093 4764 5153 5134 5119 5107 5096 5087 5160 5138 5123 5110 5099 5089 5170 5144 5127 5114 5102 5092 5186 5149 5131 5117 5105 5095 4760 5156 5136 5121 5108 5097 5088 5164 5141 5125 5112 5100 5090 5176 5146 5129 5115 5104 5093 4757 5153 5133 5119 5107 5096 4756 5160 5138 5123 5110 5099 5089 5170 5144 5127 5113 5102 5092 5187 5189 5131 5117 5105 5095 4753 5156 5136 5121 5108 5098 5088 5165 5141 5125 5112 5101 5091 5177 5147 5129 5115 5104 5093 4750 5153 5134 5119 5107 5096 5087 5161 5139 5123 5110 5099 5089 5171 5144 5127 5114 5102 5092 4747 5151 5132 5118 5106 5095 4746 5158 5137 5122 5109 5098 5088 5167 5142 5126 5113 5101 5091 5182 5148 5130 5116 5105 5094 4743 5155 5135 5120 5108 5097 5087 5164 5140 5124 5111 5100 5090 5176 5146 5129 5115 5103 5093 4740 5153 5134 5119 5107 5096 5087 5161 5139 5123 5110 5099 5089 5172 5189 5128 5114 5103 5092 4737 5151 5132 5118 5106 5095 4736 5159 5137 5122 5109 5098 5089 5168 5143 5126 5113 5102 5092 5189 5149 5131 5117 5105 5095 4733 5157 5136 5121 5109 5098 5088 5168 5143 5126 5113 5101 5091 4639 5157 5137 5122 5110 5099 5089 5164 5141 5126 5113 5102 5092 5173 5146 5129 5116 5104 5094 4781 5152 5133 5119 5107 5097 4780 5158 5138 5123 5110 5099 5090 5166 5142 5126 5113 5102 5092 5176 5147 5130 5117 5105 5095 4777 5153 5134 5120 5108 5097 4776 5160 5139 5124 5111 5100 5090 5168 5144 5127 5114 5103 5093 5180 5149 5131 5118 5106 5096 4773 5155 5136 5121 5109 5098 5089 5162 5140 5125 5112 5101 5091 5171 5145 5129 5115 5104 5094 5187 5151 5133 5119 5107 5096 4769 5158 5137 5122 5110 5099 5191 5165 5142 5126 5113 5102 5092 5176 5148 5130 5117 5105 5095 4766 5154 5135 5120 5108 5098 4765 5161 5139 5124 5111 5100 5091 5169 5144 5128 5115 5103 5093 5183 5150 5132 5118 5106 5096 4762 5157 5137 5122 5110 5099 5089 5164 5142 5126 5113 5102 5092 5175 5147 5130 5116 5105 5095 4759 5153 5134 5120 5108 5097 4758 5160 5139 5124 5111 5100 5090 5169 5144 5128 5115 5103 5093 5183 5150 5132 5118 5106 5096 4755 5157 5137 5122 5110 5099 5089 5165 5142 5126 5113 5102 5092 5176 5147 5130 5117 5105 5095 4752 5154 5135 5120 5108 5098 4751 5161 5140 5124 5112 5101 5091 5171 5145 5129 5115 5104 5094 5187 5151 5133 5119 5107 5097 4748 5158 5138 5123 5110 5100 5090 5167 5143 5127 5114 5103 5093 5179 5149 5131 5118 5106 5095 4745 5156 5136 5121 5109 5098 5089 5164 5141 5126 5113 5102 5092 5175 5147 5130 5116 5105 5095 4742 5153 5135 5120 5108 5098 4741 5161 5140 5124 5112 5101 5091 5171 5145 5129 5115 5104 5094 4739 5152 5133 5119 5107 5097 4738 5159 5138 5123 5111 5100 5090 5168 5144 5127 5114 5103 5093 5182 5150 5132 5118 5106 5096 4735 5157 5137 5122 5110 5099 5089 5167 5143 5127 5114 5103 5093 4640 5157 5138 5123 5111 5100 5091 5164 5142 5127 5114 5103 5093 5193 5147 5130 5117 5106 5096 5186 5152 5134 5120 5109 5098 4782 5158 5139 5124 5112 5101 5091 5166 5143 5193 5115 5104 5094 5175 5148 5131 5118 5106 5096 4779 5154 5135 5121 5109 5099 4778 5160 5140 5125 5112 5102 5092 5168 5145 5129 5116 5104 5094 5178 5150 5193 5119 5107 5097 4775 5156 5137 5122 5110 5100 4774 5193 5141 5126 5113 5102 5093 5171 5146 5130 5117 5105 5095 5184 5152 5134 5120 5108 5098 4771 5158 5138 5124 5111 5101 5091 5165 5143 5127 5115 5103 5094 5175 5148 5131 5118 5106 5096 4768 5154 5136 5121 5109 5099 4767 5161 5140 5125 5113 5102 5092 5169 5145 5129 5116 5105 5095 5181 5151 5133 5119 5108 5097 4764 5157 5138 5123 5111 5100 5091 5164 5142 5127 5114 5103 5093 5174 5148 5131 5118 5106 5096 4761 5154 5135 5121 5109 5099 4760 5161 5140 5125 5113 5102 5092 5169 5145 5129 5116 5105 5095 5181 5151 5133 5119 5108 5097 4757 5157 5138 5123 5111 5100 5091 5165 5143 5127 5114 5103 5093 5175 5148 5131 5118 5106 5096 4754 5154 5136 5122 5110 5099 4753 5162 5141 5125 5113 5102 5092 5170 5146 5130 5116 5105 5095 5184 5152 5134 5120 5108 5098 4750 5159 5139 5124 5112 5101 5091 5167 5144 5128 5115 5104 5094 5178 5150 5132 5119 5107 5097 4747 5156 5137 5123 5110 5100 4746 5164 5142 5127 5114 5103 5093 5174 5148 5131 5118 5106 5096 4744 5154 5136 5121 5109 5099 4743 5161 5141 5125 5113 5102 5092 5171 5146 5130 5117 5105 5095 5185 5152 5134 5120 5108 5098 4740 5159 5139 5124 5112 5101 5091 5168 5145 5129 5116 5104 5094 5180 5151 5133 5119 5108 5097 4737 5157 5138 5123 5111 5100 5091 5167 5144 5128 5115 5104 5094 4788 5158 5139 5124 5112 5102 4787 5164 5143 5128 5115 5104 5094 5172 5148 5132 5118 5107 5097 5184 5153 5135 5122 5110 5100 4784 5159 5140 5125 5113 5102 5093 5166 5144 5129 5116 5105 5095 5195 5149 5132 5119 5108 5098 5188 5154 5136 5122 5111 5100 4780 5161 5141 5126 5114 5103 5093 5168 5145 5130 5117 5106 5096 5178 5151 5134 5120 5109 5098 4777 5156 5138 5124 5112 5101 4776 5163 5142 5127 5115 5104 5094 5171 5147 5131 5118 5107 5097 5182 5152 5135 5121 5110 5099 4773 5195 5139 5125 5113 5102 4772 5166 5144 5129 5116 5105 5095 5175 5149 5132 5119 5108 5098 5189 5155 5137 5123 5111 5100 4769 5161 5141 5126 5114 5103 5093 5169 5146 5130 5117 5106 5096 5180 5151 5134 5121 5109 5099 4766 5158 5139 5124 5112 5102 4765 5165 5143 5128 5115 5104 5095 5174 5149 5132 5119 5107 5097 5188 5154 5136 5122 5111 5100 4762 5161 5141 5126 5114 5103 5093 5169 5146 5130 5117 5106 5096 5180 5152 5134 5121 5109 5099 4759 5158 5139 5124 5112 5102 4758 5165 5144 5128 5116 5105 5095 5195 5149 5132 5119 5108 5098 5190 5155 5137 5123 5111 5100 4755 5162 5142 5127 5114 5103 5094 5170 5147 5131 5118 5106 5096 5182 5153 5135 5121 5110 5099 4752 5159 5140 5125 5113 5102 5093 5167 5145 5129 5116 5105 5095 5177 5150 5133 5120 5108 5098 4749 5157 5138 5124 5112 5101 4748 5164 5143 5128 5115 5104 5094 5174 5149 5132 5119 5107 5097 5189 5155 5137 5123 5111 5100 4745 5162 5142 5127 5114 5103 5094 5171 5147 5131 5118 5107 5096 5183 5153 5135 5122 5110 5099 4742 5160 5140 5125 5113 5195 5093 5168 5145 5130 5117 5106 5096 5179 5151 5134 5121 5109 5099 4739 5158 5139 5125 5112 5102 4689 5167 5145 5129 5117 5105 5096 4790 5158 5140 5126 5114 5103 4789 5165 5144 5129 5117 5106 5096 5172 5149 5133 5120 5108 5098 5197 5154 5137 5123 5111 5101 4786 5160 5141 5126 5114 5104 4785 5166 5145 5130 5117 5106 5096 5174 5150 5134 5120 5109 5099 5186 5155 5138 5124 5112 5102 4782 5161 5142 5127 5115 5104 5095 5168 5146 5131 5118 5107 5097 5177 5151 5135 5121 5110 5100 5192 5157 5139 5125 5113 5102 4778 5163 5143 5128 5116 5105 5095 5171 5148 5132 5119 5108 5098 5181 5153 5136 5197 5111 5101 4775 5159 5140 5126 5114 5103 4774 5166 5145 5130 5117 5106 5096 5174 5150 5134 5120 5109 5099 5187 5155 5138 5124 5112 5102 4771 5162 5142 5197 5115 5105 5095 5169 5147 5131 5119 5107 5097 5179 5152 5135 5122 5110 5100 4768 5158 5140 5125 5114 5103 4767 5165 5144 5129 5117 5106 5096 5197 5149 5133 5120 5109 5099 5186 5155 5137 5124 5112 5102 4764 5161 5142 5127 5115 5104 5095 5169 5147 5131 5118 5107 5097 5179 5152 5135 5122 5110 5100 4761 5158 5140 5126 5114 5103 4760 5165 5145 5129 5117 5106 5096 5174 5150 5134 5120 5109 5099 5188 5156 5138 5124 5112 5102 4757 5162 5143 5128 5116 5105 5095 5170 5148 5132 5119 5108 5098 5181 5153 5136 5123 5111 5101 4754 5160 5141 5126 5114 5104 4753 5167 5146 5130 5118 5107 5097 5177 5151 5135 5121 5110 5100 5194 5157 5139 5125 5113 5103 4750 5165 5144 5129 5117 5106 5096 5173 5149 5133 5120 5109 5099 5187 5155 5138 5124 5112 5102 4747 5162 5197 5128 5115 5105 5095 5171 5148 5132 5119 5108 5098 5182 5154 5136 5123 5111 5101 4744 5160 5141 5127 5115 5104 4743 5168 5146 5131 5118 5107 5097 5179 5152 5135 5122 5110 5100 4741 5159 5140 5126 5114 5103 4691 5168 5146 5131 5118 5107 5097 5194 5159 5141 5127 5115 5104 4791 5165 5145 5130 5118 5107 5097 5172 5150 5134 5121 5110 5100 5182 5155 5138 5124 5113 5102 4788 5160 5142 5127 5199 5105 4787 5167 5146 5131 5119 5108 5098 5174 5151 5135 5122 5110 5100 5185 5156 5139 5125 5113 5103 4784 5162 5143 5128 5116 5106 4783 5169 5147 5132 5119 5108 5099 5177 5152 5136 5123 5111 5101 5189 5158 5140 5126 5114 5104 4780 5164 5144 5130 5117 5107 5097 5171 5149 5133 5120 5109 5099 5199 5154 5137 5124 5112 5102 4777 5160 5141 5127 5115 5105 4776 5166 5146 5131 5118 5108 5098 5174 5151 5135 5122 5110 5100 5199 5156 5139 5125 5113 5103 4773 5162 5143 5129 5117 5106 4772 5170 5148 5132 5120 5109 5099 5179 5153 5136 5123 5112 5102 5194 5159 5141 5127 5115 5104 4769 5199 5145 5130 5118 5107 5097 5174 5150 5134 5121 5110 5100 5185 5156 5139 5125 5113 5103 4766 5162 5143 5129 5116 5106 4765 5169 5148 5132 5120 5109 5099 5179 5153 5137 5123 5112 5102 5199 5159 5141 5127 5115 5104 4762 5166 5146 5131 5118 5107 5098 5174 5151 5135 5122 5110 5100 5186 5156 5139 5125 5114 5103 4759 5163 5144 5129 5117 5106 5097 5171 5149 5133 5120 5109 5099 5181 5154 5137 5124 5112 5102 4756 5160 5142 5128 5116 5105 4755 5168 5147 5132 5119 5108 5098 5177 5152 5136 5123 5111 5101 5191 5158 5140 5126 5114 5104 4752 5165 5145 5130 5118 5107 5097 5173 5150 5134 5121 5110 5100 5185 5156 5139 5125 5113 5103 4749 5163 5144 5129 5117 5106 4748 5171 5149 5133 5120 5109 5099 5181 5154 5137 5124 5112 5102 4746 5161 5142 5128 5116 5105 4745 5169 5147 5132 5119 5108 5099 5178 5153 5136 5123 5112 5102 5199 5159 5141 5127 5115 5105 4693 5168 5147 5132 5119 5108 5098 5192 5160 5142 5128 5116 5106 4793 5166 5146 5131 5119 5108 5099 5173 5151 5135 5122 5111 5101 5181 5155 5139 5125 5114 5104 5196 5161 5143 5129 5117 5106 4789 5167 5147 5132 5120 5109 5099 5174 5152 5136 5123 5112 5102 5184 5157 5140 5126 5115 5104 4786 5162 5144 5130 5118 5107 4785 5169 5148 5133 5121 5110 5100 5177 5153 5137 5124 5113 5103 5188 5158 5141 5127 5116 5105 4782 5164 5145 5131 5119 5108 4781 5171 5150 5134 5122 5111 5101 5180 5155 5138 5125 5114 5103 5194 5160 5142 5128 5117 5106 4778 5167 5147 5132 5120 5109 5099 5201 5152 5136 5123 5112 5102 5185 5157 5140 5126 5115 5105 4775 5163 5144 5130 5118 5107 4774 5170 5149 5134 5121 5110 5100 5201 5154 5138 5124 5113 5103 5191 5160 5142 5128 5116 5106 4771 5166 5146 5132 5119 5109 5099 5174 5151 5136 5123 5112 5102 5184 5157 5140 5126 5115 5104 4768 5163 5144 5130 5118 5107 4767 5170 5149 5134 5121 5110 5100 5179 5154 5138 5124 5113 5103 5192 5160 5142 5128 5116 5106 4764 5166 5147 5132 5120 5109 5099 5174 5152 5136 5123 5112 5102 5185 5157 5140 5127 5115 5105 4761 5164 5145 5130 5118 5108 4760 5171 5150 5134 5122 5111 5101 5180 5155 5138 5125 5114 5104 5196 5161 5143 5129 5117 5106 4757 5168 5148 5133 5120 5109 5100 5177 5153 5137 5124 5113 5103 5189 5159 5141 5128 5116 5105 4754 5166 5146 5131 5119 5108 5099 5174 5151 5201 5123 5112 5102 5201 5157 5140 5126 5115 5201 4751 5163 5145 5130 5118 5108 4750 5171 5150 5134 5122 5111 5101 5181 5155 5139 5125 5114 5104 4748 5162 5143 5129 5117 5107 4747 5169 5148 5133 5121 5110 5100 5178 5154 5138 5124 5113 5103 5193 5160 5142 5128 5116 5106 4695 5168 5148 5133 5120 5110 5100 5190 5203 5143 5129 5118 5107 4795 5166 5147 5133 5121 5110 4794 5173 5152 5136 5124 5113 5103 5181 5156 5140 5127 5115 5105 5193 5162 5144 5130 5118 5108 4791 5168 5148 5133 5121 5110 5101 5175 5153 5137 5124 5113 5103 5184 5158 5141 5203 5116 5106 5199 5163 5145 5131 5119 5108 4787 5169 5149 5134 5122 5111 5101 5177 5154 5138 5125 5114 5104 5187 5159 5142 5129 5117 5107 4784 5165 5146 5132 5120 5109 4783 5172 5151 5136 5123 5112 5102 5180 5156 5139 5126 5115 5105 5192 5161 5144 5130 5118 5108 4780 5167 5148 5133 5121 5110 5101 5175 5153 5137 5124 5113 5103 5184 5158 5141 5128 5116 5106 4777 5164 5145 5131 5119 5109 4776 5170 5150 5135 5122 5112 5102 5179 5155 5139 5126 5115 5104 5190 5160 5143 5129 5118 5107 4773 5167 5147 5133 5121 5110 4772 5174 5152 5137 5124 5113 5103 5183 5203 5141 5127 5116 5106 5200 5163 5145 5131 5119 5109 4769 5170 5150 5135 5122 5112 5102 5179 5155 5139 5126 5115 5104 5190 5161 5143 5129 5118 5107 4766 5167 5148 5133 5121 5110 5101 5175 5153 5137 5124 5113 5103 5185 5158 5141 5128 5116 5106 4763 5164 5146 5132 5120 5109 4762 5171 5151 5135 5123 5112 5102 5180 5156 5140 5126 5115 5105 5194 5162 5144 5130 5118 5108 4759 5169 5149 5134 5122 5111 5101 5177 5154 5138 5125 5114 5104 5188 5160 5142 5129 5117 5107 4756 5166 5147 5133 5203 5110 4755 5174 5152 5137 5124 5113 5103 5184 5158 5141 5128 5116 5106 4753 5164 5146 5131 5119 5109 4752 5172 5151 5135 5123 5112 5102 5181 5156 5140 5127 5115 5105 5196 5162 5144 5130 5119 5108 4749 5169 5149 5134 5122 5111 5101 5178 5155 5139 5126 5114 5104 5191 5161 5143 5129 5118 5107 4697 5169 5149 5134 5122 5111 5101 5189 5161 5144 5131 5119 5109 4797 5167 5148 5134 5122 5111 4796 5173 5153 5137 5125 5114 5104 5181 5157 5141 5128 5117 5107 5192 5162 5145 5131 5120 5109 4793 5168 5149 5135 5123 5112 4792 5175 5154 5138 5126 5115 5105 5205 5205 5142 5129 5117 5107 5196 5164 5146 5132 5120 5110 4789 5170 5150 5136 5123 5113 5103 5177 5155 5139 5127 5115 5105 5187 5160 5143 5130 5118 5108 4786 5166 5147 5133 5121 5111 4785 5172 5152 5137 5124 5114 5104 5180 5157 5141 5128 5116 5106 5191 5162 5145 5131 5119 5109 4782 5168 5149 5135 5122 5112 4781 5175 5154 5138 5126 5115 5105 5184 5159 5142 5129 5118 5107 5198 5164 5146 5132 5121 5110 4778 5171 5151 5136 5124 5113 5103 5179 5156 5140 5127 5116 5106 5189 5161 5144 5131 5119 5109 4775 5167 5148 5134 5122 5111 4774 5174 5153 5138 5125 5114 5105 5183 5158 5142 5129 5117 5107 5197 5164 5146 5132 5120 5110 4771 5171 5151 5136 5124 5113 5103 5179 5156 5140 5127 5116 5106 5190 5161 5144 5131 5119 5109 4768 5168 5149 5134 5122 5112 4767 5175 5154 5138 5126 5115 5105 5184 5159 5142 5129 5118 5108 5200 5165 5147 5133 5121 5110 4764 5172 5152 5137 5124 5113 5104 5180 5157 5141 5128 5116 5106 5205 5163 5145 5131 5120 5109 4761 5169 5150 5135 5123 5112 5103 5177 5155 5139 5126 5115 5105 5188 5161 5144 5130 5119 5108 4758 5167 5148 5134 5122 5111 4757 5174 5153 5138 5125 5114 5205 5184 5159 5142 5129 5118 5107 5200 5165 5147 5133 5121 5110 4754 5172 5152 5137 5124 5113 5104 5181 5157 5141 5128 5117 5107 5194 5163 5145 5132 5120 5110 4751 5170 5150 5136 5123 5113 5103 5178 5156 5140 5127 5116 5106 5190 5162 5144 5131 5119 5109 4699 5170 5150 5135 5123 5112 5103 5189 5162 5145 5132 5120 5110 4799 5168 5149 5135 5123 5113 4798 5174 5154 5139 5126 5115 5106 5181 5158 5142 5129 5118 5108 5191 5163 5146 5133 5121 5111 4795 5169 5150 5136 5124 5113 4794 5176 5155 5139 5127 5116 5106 5184 5159 5143 5130 5119 5109 5195 5165 5147 5133 5122 5111 4791 5171 5151 5137 5125 5114 4790 5178 5156 5141 5128 5117 5107 5186 5161 5144 5131 5120 5110 5200 5167 5149 5135 5123 5112 4787 5173 5153 5138 5126 5115 5105 5180 5158 5142 5129 5118 5108 5190 5163 5146 5132 5121 5110 4784 5169 5150 5136 5124 5113 4783 5176 5155 5140 5127 5116 5106 5184 5160 5143 5130 5119 5109 5196 5165 5148 5134 5122 5112 4780 5172 5152 5137 5125 5114 5105 5179 5157 5141 5128 5117 5107 5189 5162 5145 5132 5120 5110 4777 5168 5150 5135 5123 5113 4776 5175 5154 5139 5127 5116 5106 5183 5159 5143 5130 5119 5109 5196 5165 5147 5134 5122 5111 4773 5171 5152 5137 5125 5114 5105 5179 5157 5141 5128 5117 5107 5189 5162 5145 5132 5120 5110 4770 5168 5150 5136 5124 5113 4769 5176 5155 5139 5127 5116 5106 5184 5160 5144 5130 5119 5109 5198 5166 5148 5134 5122 5112 4766 5207 5153 5138 5126 5115 5105 5181 5158 5142 5129 5118 5108 5192 5163 5146 5133 5121 5111 4763 5170 5151 5136 5124 5114 4762 5207 5156 5140 5128 5117 5107 5187 5161 5145 5131 5120 5110 4760 5168 5149 5135 5123 5113 4759 5175 5154 5139 5127 5116 5106 5184 5160 5143 5130 5119 5109 5207 5166 5148 5134 5122 5112 4756 5173 5153 5138 5126 5115 5105 5181 5158 5142 5129 5118 5108 5193 5164 5147 5133 5121 5111 4753 5171 5151 5137 5125 5114 4752 5179 5157 5141 5128 5117 5107 5190 5207 5146 5132 5121 5110 4701 5170 5151 5137 5125 5114 4648 5189 5163 5147 5133 5122 5112 5202 5168 5150 5136 5125 5114 4800 5175 5155 5140 5128 5117 5107 5182 5159 5144 5131 5120 5110 5191 5164 5147 5134 5122 5112 4797 5170 5151 5137 5125 5115 4796 5176 5156 5141 5128 5117 5108 5184 5160 5144 5131 5120 5110 5194 5166 5148 5135 5123 5113 4793 5171 5153 5138 5126 5209 4792 5178 5157 5142 5129 5118 5108 5186 5162 5146 5132 5121 5111 5199 5167 5150 5136 5124 5114 4789 5174 5154 5139 5127 5116 5107 5181 5159 5143 5130 5119 5109 5190 5164 5147 5134 5122 5112 4786 5170 5151 5137 5125 5115 4785 5176 5156 5141 5128 5117 5108 5184 5161 5145 5132 5120 5110 5195 5166 5149 5135 5123 5113 4782 5172 5153 5139 5127 5116 4781 5179 5158 5142 5130 5119 5109 5189 5163 5146 5133 5122 5112 5204 5169 5151 5137 5125 5114 4778 5209 5155 5140 5128 5117 5107 5184 5160 5144 5131 5120 5110 5195 5166 5149 5135 5123 5113 4775 5172 5153 5139 5126 5116 4774 5209 5158 5142 5130 5119 5109 5189 5163 5147 5133 5122 5112 5205 5169 5151 5137 5125 5115 4771 5176 5156 5141 5128 5117 5108 5185 5161 5145 5132 5121 5110 5197 5167 5149 5135 5124 5113 4768 5173 5154 5139 5127 5116 5107 5181 5159 5143 5130 5119 5109 5191 5164 5147 5134 5122 5112 4765 5171 5152 5138 5126 5115 4764 5178 5157 5142 5129 5118 5108 5187 5162 5146 5133 5121 5111 5202 5168 5150 5136 5125 5114 4761 5175 5155 5140 5128 5117 5107 5184 5161 5145 5132 5120 5110 5196 5167 5149 5135 5124 5113 4758 5173 5154 5139 5127 5116 5107 5181 5159 5143 5131 5119 5110 5192 5165 5148 5134 5123 5112 4755 5171 5153 5138 5126 5116 4754 5179 5158 5142 5130 5119 5109 5189 5163 5147 5133 5122 5112 4703 5171 5152 5138 5126 5115 4649 5189 5164 5148 5135 5123 5113 5211 5169 5152 5138 5126 5116 4802 5175 5156 5141 5129 5118 5109 5182 5160 5145 5132 5121 5111 5191 5165 5149 5135 5124 5114 5211 5171 5153 5139 5127 5116 4798 5177 5157 5142 5130 5119 5109 5184 5161 5146 5133 5122 5112 5194 5167 5150 5136 5125 5114 4795 5172 5154 5139 5128 5117 4794 5179 5158 5143 5131 5120 5110 5187 5163 5147 5134 5123 5112 5198 5168 5151 5137 5125 5115 4791 5174 5155 5141 5129 5118 4790 5181 5160 5144 5132 5121 5111 5190 5165 5148 5135 5124 5113 5204 5170 5152 5138 5127 5116 4787 5177 5157 5142 5130 5119 5109 5184 5162 5146 5133 5122 5112 5195 5167 5150 5136 5125 5115 4784 5173 5154 5140 5128 5117 4783 5180 5159 5144 5131 5120 5110 5189 5164 5148 5211 5123 5113 5202 5170 5152 5138 5126 5116 4780 5176 5156 5142 5129 5119 5109 5184 5161 5146 5133 5122 5112 5194 5167 5150 5136 5125 5114 4777 5173 5154 5140 5128 5117 4776 5180 5159 5144 5131 5120 5110 5189 5164 5148 5135 5123 5113 5203 5170 5152 5138 5126 5116 4773 5177 5157 5142 5130 5119 5109 5185 5162 5146 5133 5122 5112 5196 5168 5150 5137 5125 5115 4770 5174 5155 5140 5128 5118 4769 5181 5160 5144 5132 5121 5111 5191 5165 5149 5135 5124 5114 5208 5171 5153 5139 5127 5117 4766 5179 5158 5143 5131 5120 5110 5187 5163 5147 5134 5123 5113 5200 5169 5152 5138 5126 5116 4763 5176 5156 5142 5129 5119 5109 5184 5162 5146 5133 5122 5112 5196 5167 5150 5137 5125 5115 4760 5174 5155 5141 5128 5118 4759 5182 5160 5145 5132 5121 5111 5192 5166 5149 5136 5124 5114 4757 5172 5154 5211 5128 5117 4756 5180 5159 5144 5131 5120 5110 5189 5164 5148 5135 5123 5113 4705 5172 5153 5139 5127 5117 4650 5189 5165 5149 5136 5125 5115 5200 5170 5153 5139 5127 5117 4804 5176 5157 5213 5130 5120 4803 5183 5161 5146 5133 5122 5113 5191 5166 5150 5137 5125 5115 5203 5171 5154 5140 5128 5118 4800 5177 5158 5143 5131 5120 5111 5184 5213 5147 5134 5123 5113 5193 5167 5151 5137 5126 5116 5208 5173 5155 5141 5129 5118 4796 5179 5159 5144 5132 5121 5111 5187 5164 5148 5135 5124 5114 5197 5169 5152 5138 5127 5117 4793 5175 5156 5142 5130 5119 4792 5182 5161 5146 5133 5122 5112 5190 5166 5149 5136 5125 5115 5202 5171 5154 5140 5128 5118 4789 5213 5158 5143 5131 5120 5111 5185 5163 5147 5134 5123 5113 5194 5168 5151 5138 5126 5116 4786 5174 5155 5141 5129 5119 4785 5181 5160 5145 5133 5122 5112 5189 5165 5149 5136 5125 5115 5200 5171 5153 5139 5128 5117 4782 5177 5158 5143 5131 5120 4781 5184 5162 5147 5134 5123 5113 5194 5168 5151 5138 5126 5116 4779 5174 5155 5141 5129 5119 4778 5181 5160 5145 5133 5122 5112 5189 5165 5149 5136 5125 5115 5201 5171 5153 5140 5128 5117 4775 5177 5158 5143 5131 5120 5111 5185 5163 5147 5134 5123 5113 5195 5168 5152 5138 5127 5116 4772 5175 5156 5142 5130 5119 4771 5182 5161 5146 5133 5122 5112 5191 5166 5150 5137 5125 5115 5213 5172 5154 5140 5129 5118 4768 5179 5159 5144 5132 5121 5111 5188 5164 5148 5135 5124 5114 5199 5170 5153 5139 5127 5117 4765 5177 5158 5143 5131 5120 4764 5185 5163 5147 5134 5123 5113 5195 5168 5151 5138 5126 5116 4762 5175 5156 5142 5130 5119 4761 5182 5161 5146 5133 5122 5213 5192 5167 5150 5137 5126 5115 5208 5173 5155 5141 5129 5118 4758 5180 5160 5145 5132 5122 5112 5189 5165 5149 5136 5125 5115 5207 5173 5155 5141 5129 5118 4651 5189 5166 5150 5137 5126 5116 5199 5171 5154 5140 5129 5119 4806 5177 5158 5144 5132 5121 4805 5183 5162 5147 5135 5124 5114 5191 5167 5151 5138 5127 5117 5202 5172 5155 5141 5130 5119 4802 5178 5159 5145 5215 5122 4801 5185 5164 5148 5136 5125 5115 5193 5168 5152 5139 5127 5117 5206 5174 5156 5142 5130 5120 4798 5180 5160 5146 5133 5123 5113 5187 5165 5149 5137 5125 5115 5197 5170 5153 5140 5128 5118 4795 5176 5157 5143 5131 5121 4794 5182 5162 5147 5134 5124 5114 5190 5167 5151 5138 5126 5116 5201 5172 5155 5141 5129 5119 4791 5178 5159 5145 5133 5122 4790 5185 5164 5148 5136 5125 5115 5194 5169 5152 5139 5128 5118 5209 5175 5157 5143 5131 5120 4787 5181 5161 5146 5134 5123 5113 5189 5166 5150 5137 5126 5116 5200 5172 5154 5141 5129 5119 4784 5178 5159 5144 5132 5122 4783 5185 5215 5148 5136 5125 5115 5194 5169 5152 5139 5128 5117 5215 5175 5157 5143 5131 5120 4780 5181 5161 5146 5134 5123 5113 5189 5166 5150 5137 5126 5116 5201 5172 5155 5141 5129 5119 4777 5178 5159 5145 5215 5122 4776 5186 5164 5149 5136 5125 5115 5195 5169 5153 5139 5128 5118 4774 5176 5157 5143 5131 5121 4773 5183 5162 5147 5135 5124 5114 5191 5167 5151 5138 5127 5117 5204 5173 5156 5142 5130 5120 4770 5180 5160 5146 5133 5123 5113 5188 5165 5150 5137 5126 5116 5199 5171 5154 5140 5129 5119 4767 5178 5159 5144 5132 5122 4766 5185 5164 5148 5136 5125 5115 5195 5169 5153 5139 5128 5118 4764 5176 5157 5143 5131 5121 4763 5183 5162 5147 5135 5124 5114 5192 5168 5151 5138 5127 5117 5206 5174 5156 5142 5130 5120 4760 5181 5161 5146 5134 5123 5113 5190 5166 5150 5137 5126 5116 5205 5173 5156 5142 5130 5120 4652 5190 5167 5152 5139 5128 5118 5199 5172 5155 5142 5130 5120 4808 5178 5159 5145 5133 5123 4807 5184 5164 5149 5136 5125 5116 5191 5168 5152 5139 5128 5118 5201 5173 5156 5143 5131 5121 4804 5179 5160 5146 5134 5123 4803 5186 5165 5150 5137 5126 5116 5194 5170 5153 5140 5129 5119 5205 5175 5157 5217 5132 5121 4800 5181 5162 5147 5135 5124 4799 5188 5166 5151 5138 5127 5117 5197 5171 5155 5141 5130 5120 5211 5177 5159 5145 5133 5122 4796 5183 5163 5148 5136 5125 5115 5191 5168 5152 5139 5128 5118 5201 5173 5156 5142 5131 5121 4793 5179 5160 5146 5134 5123 4792 5186 5165 5150 5137 5126 5116 5195 5170 5154 5140 5129 5119 5207 5176 5158 5144 5132 5122 4789 5182 5162 5148 5135 5125 5115 5190 5167 5151 5139 5128 5118 5200 5217 5156 5142 5131 5120 4786 5217 5160 5146 5134 5123 4785 5185 5165 5149 5137 5126 5116 5194 5170 5153 5140 5129 5119 5207 5175 5158 5144 5132 5122 4782 5182 5162 5148 5135 5125 5115 5190 5167 5152 5139 5128 5118 5200 5173 5156 5142 5131 5120 4779 5179 5160 5146 5134 5123 4778 5186 5165 5150 5137 5126 5116 5195 5170 5154 5141 5129 5119 5210 5176 5158 5144 5133 5122 4775 5183 5163 5148 5136 5125 5115 5192 5168 5152 5139 5128 5118 5203 5174 5157 5143 5131 5121 4772 5181 5161 5147 5135 5124 4771 5217 5167 5151 5138 5127 5117 5199 5172 5155 5142 5130 5120 4769 5178 5160 5146 5134 5123 4768 5186 5165 5150 5137 5126 5116 5195 5170 5154 5141 5129 5119 5210 5177 5217 5145 5133 5122 4765 5184 5163 5149 5136 5125 5116 5192 5169 5153 5140 5128 5118 5205 5175 5157 5144 5132 5121 4762 5182 5162 5217 5135 5125 5115 5190 5217 5152 5139 5128 5118 5204 5174 5157 5143 5132 5121 4653 5190 5168 5153 5140 5129 5119 5199 5173 5157 5143 5132 5122 5212 5179 5161 5147 5135 5124 4809 5185 5165 5150 5138 5127 5117 5192 5169 5154 5141 5130 5120 5201 5174 5157 5144 5132 5122 4806 5180 5161 5147 5135 5125 4805 5186 5166 5151 5138 5128 5118 5194 5171 5155 5142 5130 5120 5219 5176 5159 5145 5133 5123 4802 5182 5163 5148 5136 5126 4801 5188 5167 5152 5139 5128 5119 5197 5172 5156 5143 5131 5121 5219 5178 5160 5146 5134 5124 4798 5184 5164 5150 5137 5127 5117 5191 5169 5153 5141 5129 5119 5201 5174 5157 5144 5132 5122 4795 5180 5162 5147 5135 5125 4794 5187 5166 5151 5139 5128 5118 5195 5171 5155 5142 5131 5121 5206 5177 5159 5145 5134 5123 4791 5183 5163 5149 5137 5126 4790 5190 5168 5153 5140 5129 5119 5219 5174 5157 5143 5132 5122 5216 5179 5161 5147 5135 5125 4787 5186 5166 5151 5138 5127 5118 5194 5171 5155 5142 5130 5120 5206 5176 5159 5145 5134 5123 4784 5183 5164 5149 5137 5126 4783 5190 5168 5153 5140 5129 5119 5200 5174 5157 5144 5132 5122 4781 5180 5161 5147 5135 5125 4780 5187 5166 5151 5139 5128 5118 5196 5172 5155 5142 5131 5121 5209 5177 5160 5146 5134 5124 4777 5184 5164 5150 5137 5127 5117 5192 5169 5154 5141 5130 5120 5203 5175 5158 5144 5133 5123 4774 5182 5163 5148 5136 5126 4773 5189 5168 5152 5140 5129 5119 5199 5173 5157 5143 5132 5122 5216 5179 5161 5147 5135 5125 4770 5187 5166 5151 5139 5128 5118 5219 5171 5155 5142 5131 5121 5209 5177 5160 5146 5134 5124 4767 5184 5165 5150 5138 5127 5117 5193 5170 5154 5141 5130 5120 5205 5176 5159 5145 5133 5123 4764 5183 5163 5149 5137 5126 4763 5191 5169 5153 5140 5129 5119 5204 5175 5158 5145 5133 5123 4654 5191 5221 5154 5142 5131 5121 5199 5174 5158 5145 5133 5123 5211 5221 5162 5148 5136 5126 4811 5185 5166 5151 5139 5128 5119 5192 5170 5155 5142 5131 5121 5201 5175 5159 5145 5134 5124 5221 5181 5163 5149 5137 5126 4807 5187 5167 5152 5140 5129 5119 5194 5172 5156 5143 5132 5122 5204 5177 5160 5146 5135 5124 4804 5183 5164 5150 5138 5127 4803 5189 5168 5153 5141 5130 5120 5197 5173 5157 5144 5133 5123 5209 5179 5161 5147 5136 5125 4800 5185 5165 5151 5139 5128 4799 5192 5170 5155 5142 5131 5121 5201 5175 5159 5145 5134 5124 5216 5181 5163 5149 5137 5126 4796 5187 5167 5152 5140 5129 5119 5195 5172 5156 5143 5132 5122 5206 5178 5160 5147 5135 5125 4793 5184 5165 5150 5138 5128 4792 5191 5169 5154 5141 5130 5121 5200 5175 5158 5145 5133 5123 5214 5180 5162 5148 5137 5126 4789 5187 5167 5152 5140 5129 5119 5195 5172 5156 5143 5132 5122 5206 5177 5160 5147 5135 5125 4786 5184 5165 5150 5138 5128 4785 5191 5170 5154 5142 5131 5121 5200 5175 5158 5145 5134 5123 5221 5181 5163 5149 5137 5126 4782 5188 5167 5153 5140 5129 5120 5196 5173 5157 5144 5132 5122 5208 5178 5161 5147 5136 5125 4779 5185 5166 5151 5139 5128 4778 5193 5171 5155 5142 5131 5121 5203 5176 5159 5146 5134 5124 4776 5182 5164 5150 5138 5127 4775 5190 5169 5154 5141 5130 5120 5199 5174 5158 5145 5133 5123 5221 5180 5162 5148 5137 5126 4772 5187 5167 5152 5140 5129 5119 5196 5173 5157 5144 5132 5122 5208 5178 5161 5147 5136 5125 4769 5185 5166 5151 5139 5128 5119 5193 5171 5155 5143 5131 5121 5204 5177 5160 5146 5135 5124 4766 5183 5165 5150 5138 5128 4765 5191 5170 5154 5142 5131 5121 5203 5176 5159 5146 5134 5124 4655 5192 5171 5223 5143 5132 5122 5199 5175 5159 5146 5135 5125 5210 5223 5163 5149 5138 5127 4813 5186 5167 5153 5141 5130 4812 5193 5172 5156 5144 5133 5123 5201 5176 5160 5147 5135 5125 5214 5182 5164 5150 5138 5128 4809 5188 5168 5154 5141 5131 5121 5195 5173 5157 5144 5133 5123 5204 5178 5161 5148 5136 5126 5223 5183 5165 5151 5139 5129 4805 5190 5170 5155 5142 5131 5122 5198 5174 5158 5145 5134 5124 5208 5180 5162 5149 5137 5127 4802 5186 5167 5152 5140 5130 4801 5223 5171 5156 5143 5132 5123 5201 5176 5160 5147 5135 5125 5214 5182 5164 5150 5138 5128 4798 5188 5168 5154 5141 5131 5121 5196 5173 5158 5145 5134 5124 5206 5179 5162 5148 5137 5126 4795 5185 5166 5152 5140 5129 4794 5191 5171 5155 5143 5132 5122 5200 5176 5159 5146 5135 5125 5212 5181 5164 5150 5138 5128 4791 5188 5168 5153 5141 5223 5121 5195 5173 5157 5145 5133 5124 5223 5178 5162 5148 5137 5126 4788 5185 5166 5152 5140 5129 4787 5192 5171 5156 5143 5132 5122 5223 5176 5160 5146 5135 5125 5214 5182 5164 5150 5138 5128 4784 5188 5169 5154 5142 5131 5121 5197 5174 5158 5145 5134 5124 5207 5179 5162 5149 5137 5127 4781 5186 5167 5152 5140 5130 4780 5193 5172 5156 5144 5133 5123 5203 5177 5161 5147 5136 5126 5220 5183 5165 5151 5139 5129 4777 5190 5170 5155 5142 5132 5122 5199 5175 5159 5146 5135 5125 5212 5181 5164 5150 5138 5128 4774 5188 5168 5154 5141 5131 5121 5196 5174 5158 5145 5134 5124 5208 5179 5162 5149 5137 5127 4771 5186 5167 5153 5140 5130 4770 5194 5172 5157 5144 5133 5123 5204 5178 5161 5148 5136 5126 4768 5184 5166 5152 5140 5129 4767 5192 5171 5156 5143 5132 5122 5203 5177 5161 5147 5136 5126 4656 5192 5172 5157 5144 5134 5124 5200 5176 5160 5225 5136 5126 5210 5182 5164 5151 5139 5129 4815 5187 5168 5154 5142 5131 4814 5194 5173 5158 5145 5134 5124 5202 5178 5161 5148 5137 5127 5213 5183 5165 5151 5140 5129 4811 5189 5169 5155 5143 5132 4810 5196 5174 5159 5146 5135 5125 5204 5179 5162 5149 5138 5128 5218 5184 5166 5152 5141 5130 4807 5191 5171 5156 5144 5133 5123 5198 5176 5160 5147 5136 5126 5208 5181 5164 5150 5139 5128 4804 5187 5168 5154 5142 5131 4803 5193 5172 5157 5145 5134 5124 5201 5177 5161 5148 5137 5127 5213 5183 5165 5152 5140 5129 4800 5189 5170 5155 5143 5132 5123 5196 5174 5159 5146 5135 5125 5206 5180 5163 5150 5138 5128 5225 5185 5167 5153 5141 5131 4796 5192 5172 5157 5144 5225 5124 5200 5177 5161 5148 5136 5126 5212 5182 5165 5151 5140 5129 4793 5189 5169 5155 5143 5132 4792 5196 5174 5159 5146 5135 5125 5206 5180 5163 5149 5138 5128 4790 5186 5167 5153 5141 5131 4789 5192 5172 5157 5144 5134 5124 5201 5177 5161 5148 5137 5127 5213 5183 5165 5151 5140 5129 4786 5189 5170 5155 5143 5132 5123 5197 5175 5159 5146 5135 5125 5207 5180 5163 5150 5138 5128 4783 5187 5168 5154 5142 5131 4782 5194 5173 5158 5145 5134 5124 5203 5178 5162 5149 5137 5127 5218 5184 5166 5152 5141 5130 4779 5191 5171 5156 5144 5133 5123 5200 5176 5160 5147 5136 5126 5212 5182 5165 5151 5225 5129 4776 5189 5170 5155 5143 5132 5123 5197 5175 5159 5146 5135 5125 5208 5181 5164 5150 5139 5128 4773 5187 5168 5154 5142 5131 4772 5195 5173 5158 5145 5134 5125 5204 5179 5162 5149 5138 5128 5222 5185 5167 5153 5141 5131 4769 5193 5172 5157 5145 5134 5124 5204 5179 5162 5149 5137 5127 4657 5193 5173 5158 5146 5135 5125 5200 5178 5162 5149 5138 5128 5210 5183 5166 5152 5141 5130 4817 5188 5170 5155 5227 5133 4816 5195 5174 5159 5147 5136 5126 5202 5179 5163 5150 5138 5128 5213 5184 5167 5153 5141 5131 4813 5190 5171 5156 5144 5134 4812 5196 5175 5160 5147 5136 5127 5205 5180 5164 5151 5139 5129 5217 5185 5168 5154 5142 5132 4809 5192 5172 5157 5145 5134 5125 5199 5177 5161 5148 5137 5127 5208 5182 5165 5152 5140 5130 5225 5227 5169 5155 5143 5133 4805 5194 5174 5159 5146 5135 5126 5202 5179 5163 5150 5138 5128 5213 5184 5167 5153 5141 5131 4802 5190 5171 5157 5144 5134 4801 5197 5176 5160 5148 5137 5127 5206 5181 5164 5151 5140 5129 5220 5186 5168 5154 5143 5132 4798 5193 5173 5158 5146 5135 5125 5201 5178 5162 5149 5138 5128 5212 5183 5166 5153 5141 5131 4795 5190 5171 5156 5144 5134 4794 5197 5175 5160 5147 5136 5127 5206 5181 5164 5151 5140 5129 5220 5187 5227 5155 5143 5132 4791 5193 5173 5158 5146 5135 5125 5201 5178 5162 5149 5138 5128 5213 5184 5167 5153 5141 5131 4788 5190 5171 5157 5145 5134 4787 5198 5176 5161 5148 5137 5127 5227 5182 5165 5151 5140 5130 4785 5188 5169 5155 5143 5133 4784 5195 5174 5159 5147 5136 5126 5204 5179 5163 5150 5139 5129 5217 5185 5168 5154 5142 5132 4781 5192 5172 5158 5145 5135 5125 5200 5178 5162 5149 5138 5128 5211 5183 5166 5153 5141 5131 4778 5190 5171 5156 5144 5134 4777 5198 5176 5161 5148 5137 5127 5208 5182 5165 5152 5140 5130 4775 5188 5170 5155 5143 5133 4774 5195 5175 5159 5147 5136 5126 5205 5180 5164 5151 5139 5129 5220 5186 5168 5154 5143 5132 4771 5227 5173 5158 5146 5135 5125 5204 5180 5163 5150 5139 5129 4658 5194 5174 5160 5147 5137 5127 5201 5179 5163 5150 5139 5129 5210 5184 5167 5154 5142 5132 5225 5189 5171 5157 5145 5229 4818 5195 5175 5160 5148 5137 5127 5203 5180 5164 5151 5140 5130 5213 5185 5168 5154 5143 5133 4815 5191 5172 5158 5146 5135 4814 5197 5176 5161 5149 5138 5128 5205 5181 5165 5152 5141 5131 5216 5187 5169 5155 5144 5133 4811 5193 5173 5159 5147 5136 4810 5200 5178 5162 5150 5139 5129 5208 5183 5166 5153 5142 5132 5222 5189 5229 5157 5145 5134 4807 5195 5175 5160 5148 5137 5127 5203 5180 5164 5151 5140 5130 5213 5185 5168 5154 5143 5133 4804 5191 5172 5158 5146 5135 4803 5198 5177 5162 5149 5138 5128 5206 5182 5166 5152 5141 5131 5219 5188 5170 5156 5144 5134 4800 5194 5174 5160 5147 5137 5127 5202 5179 5163 5151 5229 5130 5212 5229 5168 5154 5143 5132 4797 5191 5172 5158 5146 5135 4796 5198 5177 5161 5149 5138 5128 5206 5182 5166 5152 5141 5131 5219 5188 5170 5156 5144 5134 4793 5194 5174 5160 5147 5137 5127 5202 5179 5164 5151 5140 5130 5213 5185 5168 5154 5143 5133 4790 5191 5172 5158 5146 5135 4789 5199 5177 5162 5149 5138 5129 5208 5183 5166 5153 5142 5131 5223 5189 5171 5157 5145 5134 4786 5196 5175 5160 5148 5137 5128 5204 5181 5165 5152 5140 5130 5216 5186 5169 5155 5144 5133 4783 5193 5174 5159 5147 5136 5127 5201 5179 5163 5150 5139 5129 5211 5184 5168 5154 5143 5132 4780 5191 5172 5158 5146 5135 4779 5198 5177 5162 5149 5138 5129 5208 5183 5166 5153 5142 5131 5224 5189 5171 5157 5145 5134 4776 5196 5176 5161 5148 5138 5128 5205 5181 5165 5152 5141 5131 5219 5187 5170 5156 5144 5134 4773 5194 5175 5160 5148 5137 5127 5229 5181 5165 5152 5229 5130 4824 5195 5176 5161 5149 5138 5129 5202 5180 5165 5152 5141 5131 5210 5185 5168 5155 5144 5133 5223 5190 5172 5158 5147 5136 4820 5196 5177 5162 5149 5139 5129 5203 5181 5165 5153 5141 5132 5213 5186 5169 5156 5144 5134 4817 5192 5173 5159 5147 5137 4816 5198 5178 5163 5150 5139 5130 5206 5182 5166 5153 5142 5132 5216 5188 5170 5157 5145 5135 4813 5231 5175 5160 5148 5138 4812 5200 5179 5164 5151 5140 5130 5209 5184 5168 5155 5143 5133 5221 5190 5172 5158 5146 5136 4809 5196 5176 5162 5149 5139 5129 5203 5181 5165 5152 5141 5131 5213 5186 5169 5156 5144 5134 4806 5192 5174 5159 5147 5137 4805 5199 5178 5163 5151 5140 5130 5207 5183 5167 5154 5143 5133 5231 5189 5171 5157 5146 5135 4802 5195 5176 5161 5149 5138 4801 5202 5180 5165 5152 5141 5131 5212 5186 5169 5156 5144 5134 4799 5192 5173 5159 5147 5137 4798 5198 5178 5163 5150 5140 5130 5207 5183 5167 5154 5143 5133 5219 5189 5171 5157 5146 5135 4795 5195 5176 5161 5149 5138 5129 5203 5181 5165 5152 5141 5131 5213 5186 5169 5156 5144 5134 4792 5192 5174 5231 5148 5137 4791 5199 5179 5163 5151 5140 5130 5208 5184 5168 5154 5143 5133 5222 5190 5172 5158 5146 5136 4788 5196 5177 5162 5150 5139 5129 5205 5182 5166 5153 5142 5132 5216 5188 5170 5157 5145 5135 4785 5194 5175 5161 5148 5138 4784 5202 5180 5165 5152 5141 5131 5212 5186 5169 5231 5144 5134 4782 5192 5173 5159 5147 5137 4781 5199 5178 5163 5151 5140 5130 5208 5184 5168 5154 5143 5133 5223 5190 5172 5158 5146 5136 4778 5197 5177 5162 5150 5139 5129 5206 5182 5166 5153 5142 5132 5218 5188 5171 5157 5146 5135 4775 5195 5176 5161 5149 5138 5129 5205 5182 5166 5153 5142 5132 4826 5196 5177 5233 5150 5140 4825 5203 5181 5166 5153 5142 5133 5211 5186 5170 5157 5145 5135 5222 5191 5174 5160 5148 5138 4822 5197 5178 5163 5151 5140 5131 5204 5182 5167 5154 5143 5133 5213 5187 5171 5157 5146 5136 5227 5193 5175 5161 5149 5138 4818 5199 5179 5164 5152 5141 5131 5206 5184 5168 5155 5144 5134 5216 5189 5172 5158 5147 5136 4815 5195 5176 5162 5150 5139 4814 5201 5180 5165 5153 5142 5132 5209 5185 5169 5156 5145 5135 5221 5191 5173 5159 5148 5137 4811 5197 5233 5163 5151 5140 4810 5204 5182 5167 5154 5143 5133 5213 5187 5171 5157 5146 5136 5228 5193 5175 5161 5149 5138 4807 5200 5179 5164 5152 5141 5132 5233 5184 5168 5155 5144 5134 5218 5190 5172 5159 5147 5137 4804 5196 5177 5162 5150 5140 4803 5203 5182 5166 5154 5143 5133 5212 5187 5170 5157 5146 5135 5227 5193 5175 5161 5149 5138 4800 5199 5179 5164 5152 5141 5131 5207 5184 5168 5155 5144 5134 5218 5190 5172 5159 5147 5137 4797 5196 5177 5163 5150 5140 4796 5203 5182 5166 5154 5143 5133 5213 5187 5171 5157 5146 5136 5229 5193 5175 5161 5149 5139 4793 5200 5180 5165 5152 5142 5132 5209 5185 5169 5156 5145 5135 5221 5191 5173 5159 5148 5137 4790 5197 5178 5163 5151 5140 5131 5205 5183 5167 5155 5143 5133 5216 5189 5172 5158 5147 5136 4787 5195 5176 5162 5150 5139 4786 5233 5181 5166 5153 5142 5133 5212 5187 5170 5157 5146 5135 5228 5193 5175 5161 5149 5138 4783 5200 5180 5165 5152 5141 5132 5209 5185 5169 5156 5145 5135 5222 5191 5173 5160 5148 5138 4780 5198 5178 5164 5151 5141 5131 5206 5184 5168 5155 5144 5134 5218 5190 5172 5159 5147 5137 4777 5196 5177 5163 5151 5140 4727 5206 5183 5168 5155 5144 5134 4828 5197 5178 5164 5152 5141 4827 5203 5183 5167 5155 5144 5134 5211 5187 5171 5158 5147 5137 5222 5192 5175 5161 5150 5139 4824 5198 5179 5165 5153 5142 4823 5205 5184 5168 5156 5145 5135 5213 5188 5172 5159 5147 5137 5226 5194 5176 5162 5150 5140 4820 5200 5180 5166 5153 5143 5133 5207 5185 5169 5156 5145 5135 5216 5190 5173 5160 5148 5138 4817 5196 5177 5163 5151 5141 4816 5202 5182 5167 5154 5143 5134 5210 5187 5171 5158 5146 5136 5221 5192 5175 5161 5149 5139 4813 5198 5179 5164 5152 5142 4812 5205 5183 5168 5155 5235 5135 5235 5235 5172 5159 5147 5137 5227 5194 5176 5162 5150 5140 4809 5201 5181 5166 5154 5143 5133 5208 5186 5170 5157 5146 5136 5218 5191 5174 5160 5149 5138 4806 5197 5178 5164 5152 5141 4805 5204 5183 5168 5155 5144 5134 5213 5188 5172 5158 5147 5137 5226 5194 5176 5162 5150 5140 4802 5200 5180 5166 5153 5143 5133 5208 5185 5170 5157 5146 5136 5218 5191 5174 5160 5149 5138 4799 5197 5178 5164 5152 5141 4798 5204 5183 5168 5155 5144 5134 5213 5188 5172 5159 5147 5137 5228 5194 5176 5162 5151 5140 4795 5201 5181 5166 5154 5143 5133 5209 5186 5170 5157 5146 5136 5221 5192 5175 5161 5149 5139 4792 5198 5179 5165 5153 5142 4791 5206 5184 5169 5156 5145 5135 5216 5190 5173 5160 5148 5138 4789 5196 5178 5163 5151 5141 4788 5203 5183 5167 5155 5144 5134 5235 5188 5172 5158 5147 5137 5227 5194 5176 5162 5150 5140 4785 5201 5181 5166 5154 5143 5133 5210 5186 5170 5157 5146 5136 5222 5192 5175 5161 5149 5139 4782 5199 5180 5165 5153 5142 5133 5207 5185 5169 5156 5145 5135 5218 5191 5174 5160 5149 5138 4779 5197 5178 5164 5152 5141 4729 5207 5185 5169 5156 5145 5135 4830 5198 5180 5165 5153 5143 4829 5204 5184 5169 5156 5146 5136 5212 5189 5173 5160 5148 5138 5222 5194 5176 5163 5151 5141 4826 5199 5180 5166 5154 5143 4825 5206 5185 5170 5157 5146 5136 5214 5190 5173 5160 5149 5139 5225 5195 5177 5164 5152 5141 4822 5201 5182 5167 5155 5144 5135 5208 5186 5171 5158 5147 5137 5217 5191 5175 5161 5150 5140 5231 5197 5179 5165 5153 5142 4818 5203 5183 5168 5156 5145 5135 5211 5188 5172 5159 5148 5138 5221 5193 5176 5162 5151 5141 4815 5199 5180 5166 5154 5143 4814 5206 5185 5170 5157 5146 5136 5214 5190 5173 5160 5149 5139 5226 5195 5178 5164 5152 5142 4811 5202 5182 5167 5155 5144 5135 5209 5187 5171 5158 5147 5137 5219 5192 5175 5162 5150 5140 4808 5198 5180 5165 5153 5143 4807 5205 5184 5169 5157 5146 5136 5213 5189 5173 5160 5149 5139 5225 5195 5177 5164 5152 5141 4804 5201 5182 5167 5155 5144 5135 5209 5187 5171 5158 5147 5137 5219 5192 5175 5162 5150 5140 4801 5198 5180 5165 5237 5143 4800 5205 5184 5169 5157 5146 5136 5214 5190 5173 5160 5149 5139 5227 5195 5178 5164 5152 5142 4797 5202 5182 5168 5155 5145 5135 5210 5237 5172 5159 5148 5138 5221 5193 5176 5162 5151 5141 4794 5199 5181 5166 5154 5144 4793 5207 5186 5170 5158 5147 5137 5217 5191 5174 5161 5150 5140 5233 5197 5179 5165 5153 5237 4790 5204 5184 5169 5156 5146 5136 5213 5189 5173 5160 5149 5139 5226 5195 5178 5164 5152 5142 4787 5202 5182 5168 5155 5145 5135 5210 5188 5172 5159 5148 5138 5222 5193 5176 5163 5151 5141 4784 5200 5181 5167 5154 5144 4783 5208 5186 5171 5158 5147 5137 5218 5192 5175 5162 5150 5140 4781 5198 5180 5166 5154 5143 4731 5207 5186 5170 5158 5147 5137 5235 5199 5181 5167 5155 5145 4831 5205 5185 5170 5158 5147 5137 5213 5190 5174 5161 5150 5140 5222 5195 5178 5164 5153 5142 4828 5200 5182 5168 5156 5145 4827 5207 5186 5171 5159 5148 5138 5215 5191 5175 5162 5151 5140 5225 5196 5179 5165 5153 5143 4824 5202 5183 5169 5156 5146 4823 5209 5187 5172 5239 5149 5139 5217 5192 5176 5163 5151 5141 5230 5198 5180 5166 5154 5144 4820 5204 5184 5170 5157 5147 5137 5211 5189 5173 5161 5149 5239 5221 5194 5177 5164 5152 5142 4817 5200 5182 5167 5155 5145 4816 5207 5186 5171 5159 5148 5138 5215 5191 5175 5162 5151 5141 5226 5196 5179 5165 5154 5143 4813 5203 5183 5169 5157 5146 4812 5210 5188 5173 5160 5149 5139 5219 5193 5177 5163 5152 5142 5235 5199 5181 5167 5155 5144 4809 5206 5239 5171 5158 5147 5138 5214 5239 5239 5162 5150 5140 5225 5196 5179 5165 5153 5143 4806 5202 5183 5169 5157 5146 4805 5210 5188 5173 5160 5149 5139 5219 5193 5177 5163 5152 5142 5239 5199 5181 5167 5155 5145 4802 5206 5186 5171 5158 5147 5138 5215 5191 5175 5162 5151 5140 5227 5197 5179 5165 5154 5143 4799 5203 5184 5169 5157 5146 5137 5211 5189 5173 5160 5149 5139 5221 5194 5177 5164 5152 5142 4796 5201 5182 5168 5156 5145 4795 5208 5187 5172 5159 5148 5138 5217 5192 5176 5163 5151 5141 5232 5198 5180 5166 5155 5144 4792 5205 5185 5170 5158 5147 5137 5214 5190 5174 5161 5150 5140 5226 5196 5179 5165 5154 5143 4789 5203 5184 5169 5157 5146 5137 5211 5189 5173 5160 5149 5139 5222 5195 5178 5164 5153 5142 4786 5201 5182 5168 5156 5145 4785 5209 5187 5172 5160 5149 5139 5219 5193 5177 5163 5152 5142 5237 5239 5181 5167 5155 5145 4733 5208 5187 5172 5159 5148 5138 5234 5200 5182 5168 5157 5146 4833 5206 5187 5172 5160 5149 5139 5213 5191 5175 5163 5151 5142 5223 5196 5179 5166 5154 5144 4830 5202 5183 5169 5157 5147 4829 5208 5188 5173 5160 5149 5140 5215 5192 5176 5163 5152 5142 5225 5197 5180 5167 5155 5145 4826 5203 5184 5170 5158 5147 4825 5210 5189 5174 5161 5150 5140 5218 5194 5177 5164 5153 5143 5230 5199 5181 5168 5156 5241 4822 5205 5186 5171 5159 5148 5139 5212 5190 5175 5162 5151 5141 5221 5195 5179 5165 5154 5144 5237 5201 5183 5169 5157 5146 4818 5208 5187 5172 5160 5149 5140 5215 5192 5176 5163 5152 5142 5226 5198 5180 5167 5155 5145 4815 5204 5185 5170 5158 5148 4814 5211 5189 5174 5161 5150 5141 5220 5195 5178 5165 5153 5143 5233 5200 5182 5168 5157 5146 4811 5207 5187 5172 5160 5149 5139 5215 5192 5176 5163 5152 5142 5225 5197 5180 5167 5155 5145 4808 5203 5185 5170 5158 5147 4807 5211 5189 5174 5161 5150 5141 5220 5195 5178 5165 5153 5143 5234 5200 5182 5168 5157 5146 4804 5207 5187 5172 5160 5149 5139 5215 5192 5176 5163 5152 5142 5227 5198 5181 5167 5155 5145 4801 5204 5185 5171 5159 5148 4800 5212 5190 5175 5162 5151 5141 5222 5196 5179 5165 5154 5144 4798 5202 5183 5169 5157 5147 4797 5209 5188 5173 5161 5150 5140 5218 5194 5177 5164 5153 5143 5231 5199 5182 5168 5156 5146 4794 5206 5187 5172 5241 5149 5139 5215 5192 5176 5163 5152 5142 5226 5198 5180 5167 5155 5145 4791 5204 5185 5171 5158 5148 4790 5212 5190 5175 5162 5151 5141 5222 5196 5179 5166 5154 5144 4788 5202 5184 5170 5158 5147 4787 5210 5189 5174 5161 5150 5140 5219 5194 5178 5165 5153 5143 5235 5201 5183 5169 5157 5146 4735 5209 5188 5173 5161 5150 5140 5233 5202 5184 5170 5158 5148 4835 5207 5188 5173 5161 5150 5141 5214 5192 5177 5164 5153 5143 5223 5197 5181 5167 5156 5146 5237 5203 5185 5171 5159 5148 4831 5209 5189 5174 5162 5151 5141 5216 5194 5178 5165 5154 5144 5226 5199 5182 5168 5157 5146 4828 5204 5186 5172 5160 5149 4827 5211 5190 5175 5163 5152 5142 5219 5195 5179 5166 5155 5144 5230 5200 5183 5169 5157 5147 4824 5206 5187 5173 5243 5150 4823 5213 5192 5176 5164 5153 5143 5222 5197 5180 5167 5156 5145 5243 5202 5184 5170 5159 5148 4820 5209 5189 5174 5162 5151 5141 5216 5194 5178 5165 5154 5144 5226 5199 5182 5168 5157 5146 4817 5205 5186 5172 5160 5149 4816 5212 5191 5176 5163 5152 5142 5220 5196 5180 5166 5155 5145 5233 5201 5184 5170 5158 5148 4813 5208 5188 5174 5161 5151 5141 5215 5193 5177 5165 5153 5144 5243 5198 5182 5168 5157 5146 4810 5205 5186 5172 5160 5149 4809 5212 5191 5243 5163 5152 5142 5220 5196 5180 5166 5155 5145 5233 5202 5184 5170 5158 5148 4806 5208 5188 5174 5161 5151 5141 5216 5194 5178 5165 5154 5144 5227 5199 5182 5168 5157 5147 4803 5205 5187 5172 5160 5149 4802 5213 5191 5176 5163 5152 5143 5222 5197 5180 5167 5156 5145 5238 5203 5185 5171 5159 5148 4799 5210 5190 5175 5162 5151 5142 5218 5195 5179 5166 5154 5144 5231 5201 5183 5169 5158 5147 4796 5207 5188 5173 5161 5150 5141 5215 5193 5177 5165 5153 5144 5226 5199 5182 5168 5157 5146 4793 5205 5186 5172 5160 5149 4792 5213 5192 5176 5164 5153 5143 5223 5197 5243 5167 5156 5146 5240 5203 5185 5171 5159 5149 4789 5211 5190 5175 5163 5152 5142 5220 5196 5179 5166 5155 5145 5234 5202 5184 5170 5158 5148 4737 5210 5190 5175 5162 5152 5142 5233 5203 5185 5171 5160 5149 4837 5209 5189 5175 5163 5152 4836 5215 5194 5178 5166 5155 5145 5224 5199 5182 5169 5157 5147 5236 5204 5186 5172 5160 5150 4833 5210 5190 5176 5163 5153 5143 5217 5195 5179 5166 5155 5145 5226 5200 5183 5170 5158 5148 5242 5205 5187 5173 5161 5151 4829 5212 5192 5177 5164 5153 5144 5219 5196 5180 5167 5156 5146 5230 5201 5184 5171 5159 5149 4826 5207 5245 5174 5162 5151 4825 5214 5193 5178 5165 5154 5144 5223 5198 5182 5168 5157 5147 5235 5245 5186 5172 5160 5150 4822 5210 5190 5175 5163 5245 5143 5217 5195 5179 5166 5155 5145 5227 5200 5183 5170 5158 5148 4819 5206 5188 5173 5161 5151 4818 5213 5192 5177 5165 5154 5144 5221 5197 5181 5168 5157 5147 5233 5203 5185 5171 5160 5149 4815 5209 5190 5175 5163 5152 5143 5216 5194 5179 5166 5155 5145 5226 5200 5183 5170 5158 5148 4812 5206 5187 5173 5161 5151 4811 5213 5192 5177 5165 5154 5144 5221 5197 5181 5168 5157 5147 5233 5203 5185 5172 5160 5149 4808 5209 5190 5175 5163 5152 5143 5217 5195 5179 5166 5155 5145 5227 5200 5183 5170 5158 5148 4805 5207 5188 5174 5162 5151 4804 5214 5193 5178 5165 5154 5144 5223 5198 5182 5169 5157 5147 5237 5204 5186 5172 5160 5150 4801 5211 5191 5176 5164 5153 5143 5219 5196 5180 5167 5156 5146 5231 5202 5185 5171 5159 5149 4798 5245 5189 5175 5163 5152 4797 5216 5194 5179 5166 5155 5145 5227 5200 5183 5170 5158 5148 4795 5206 5188 5174 5162 5151 4794 5214 5193 5178 5165 5154 5144 5223 5198 5182 5169 5157 5147 5239 5205 5187 5173 5161 5150 4791 5212 5192 5177 5164 5153 5144 5221 5197 5181 5168 5157 5147 5234 5203 5185 5172 5160 5150 4739 5211 5191 5176 5164 5153 5143 5233 5204 5187 5173 5161 5151 4839 5210 5191 5176 5164 5154 4838 5216 5195 5180 5167 5156 5146 5224 5200 5184 5170 5159 5149 5236 5205 5247 5174 5162 5152 4835 5211 5192 5177 5165 5154 5145 5218 5196 5181 5168 5157 5147 5227 5201 5185 5171 5160 5150 5241 5207 5189 5175 5163 5152 4831 5213 5193 5178 5166 5155 5145 5220 5198 5182 5169 5158 5148 5230 5203 5186 5172 5161 5150 4828 5209 5190 5176 5164 5153 4827 5215 5194 5179 5167 5156 5146 5223 5199 5183 5170 5159 5149 5235 5205 5187 5173 5162 5151 4824 5211 5192 5177 5165 5154 4823 5218 5196 5181 5168 5157 5147 5227 5201 5185 5171 5160 5150 5243 5207 5189 5175 5163 5247 4820 5214 5194 5179 5166 5155 5146 5222 5198 5182 5169 5158 5148 5233 5204 5187 5173 5161 5151 4817 5210 5191 5177 5164 5154 4816 5217 5196 5180 5168 5157 5147 5227 5201 5184 5171 5160 5150 5242 5207 5189 5175 5163 5152 4813 5214 5193 5179 5166 5155 5146 5222 5247 5247 5170 5158 5148 5233 5204 5187 5173 5161 5151 4810 5210 5191 5177 5165 5154 4809 5218 5196 5181 5168 5157 5147 5228 5202 5185 5172 5160 5150 4807 5208 5189 5175 5163 5153 4806 5215 5194 5179 5167 5156 5146 5224 5199 5183 5170 5159 5149 5236 5205 5188 5174 5162 5152 4803 5212 5192 5178 5165 5155 5145 5220 5247 5182 5169 5158 5148 5231 5203 5186 5247 5161 5151 4800 5210 5191 5176 5164 5154 4799 5217 5196 5180 5168 5157 5147 5227 5201 5185 5171 5160 5150 4797 5208 5189 5175 5163 5153 4796 5215 5194 5179 5167 5156 5146 5224 5200 5183 5170 5159 5149 5238 5206 5188 5174 5162 5152 4793 5213 5193 5178 5166 5155 5145 5222 5198 5182 5169 5158 5148 5234 5204 5187 5173 5162 5151 4741 5212 5193 5178 5166 5155 5145 5233 5205 5188 5175 5163 5153 4841 5211 5192 5178 5166 5155 4840 5217 5197 5181 5169 5158 5148 5225 5201 5185 5172 5161 5151 5236 5206 5189 5175 5164 5153 4837 5212 5193 5179 5167 5156 4836 5219 5198 5182 5170 5159 5149 5227 5202 5186 5173 5161 5151 5240 5208 5190 5176 5164 5154 4833 5214 5194 5180 5167 5157 5147 5221 5199 5183 5171 5159 5149 5231 5204 5187 5174 5162 5152 4830 5210 5191 5177 5165 5155 4829 5216 5196 5181 5168 5158 5148 5224 5201 5185 5172 5160 5150 5235 5206 5189 5175 5163 5153 4826 5212 5193 5179 5166 5156 4825 5219 5198 5182 5170 5159 5149 5228 5203 5186 5173 5162 5151 5242 5208 5190 5176 5165 5154 4822 5215 5195 5180 5168 5157 5147 5223 5200 5184 5171 5160 5150 5233 5205 5188 5175 5163 5153 4819 5211 5192 5178 5166 5155 4818 5218 5197 5182 5169 5158 5149 5227 5202 5186 5173 5161 5151 5241 5208 5190 5176 5164 5154 4815 5215 5195 5180 5168 5157 5147 5223 5200 5184 5171 5160 5150 5234 5205 5188 5175 5163 5153 4812 5212 5193 5178 5166 5156 4811 5219 5198 5182 5170 5159 5149 5228 5203 5186 5173 5162 5152 5244 5209 5191 5177 5165 5154 4808 5216 5196 5181 5168 5157 5148 5224 5201 5185 5172 5160 5150 5236 5207 5189 5175 5164 5153 4805 5213 5194 5179 5167 5156 5147 5221 5199 5183 5170 5159 5149 5232 5249 5188 5174 5163 5152 4802 5211 5192 5178 5166 5155 4801 5218 5197 5182 5169 5158 5148 5228 5203 5186 5173 5162 5151 5244 5209 5191 5177 5165 5154 4798 5216 5196 5181 5168 5157 5148 5225 5201 5185 5172 5161 5151 5238 5207 5189 5176 5164 5154 4795 5214 5194 5180 5167 5157 5147 5222 5200 5184 5171 5160 5150 5234 5206 5188 5175 5163 5153 4743 5214 5194 5179 5167 5156 5147 5234 5207 5190 5176 5165 5154 4843 5212 5194 5179 5167 5157 4842 5218 5198 5183 5170 5160 5150 5226 5203 5187 5174 5162 5152 5236 5208 5190 5177 5165 5155 4839 5213 5195 5180 5168 5158 4838 5220 5199 5184 5171 5160 5150 5228 5204 5188 5174 5163 5153 5240 5209 5192 5178 5166 5156 4835 5215 5196 5181 5169 5158 5149 5222 5200 5185 5172 5161 5151 5231 5205 5189 5175 5164 5154 5246 5211 5193 5179 5167 5156 4831 5217 5197 5182 5170 5159 5149 5225 5202 5186 5173 5162 5152 5235 5207 5190 5177 5165 5155 4828 5213 5194 5180 5168 5157 4827 5220 5199 5184 5171 5160 5150 5229 5204 5188 5175 5163 5153 5242 5210 5192 5178 5166 5156 4824 5216 5196 5182 5169 5159 5149 5224 5201 5251 5173 5162 5152 5234 5207 5190 5176 5165 5154 4821 5213 5194 5180 5168 5157 4820 5219 5199 5183 5171 5160 5150 5228 5204 5187 5174 5163 5153 5241 5209 5192 5178 5166 5156 4817 5216 5196 5182 5169 5159 5149 5224 5201 5186 5173 5162 5152 5234 5207 5190 5176 5165 5154 4814 5213 5194 5180 5168 5157 4813 5220 5199 5184 5171 5160 5150 5229 5204 5188 5175 5163 5153 5243 5210 5192 5178 5167 5156 4810 5217 5197 5182 5170 5159 5149 5225 5202 5186 5173 5162 5152 5237 5208 5191 5177 5165 5155 4807 5214 5195 5181 5169 5158 4806 5222 5200 5185 5172 5161 5151 5232 5206 5189 5176 5164 5154 4804 5212 5194 5179 5167 5157 4803 5219 5199 5183 5171 5160 5150 5229 5204 5188 5251 5163 5153 5243 5210 5192 5178 5166 5156 4800 5217 5197 5182 5170 5159 5149 5226 5202 5186 5173 5162 5152 5238 5208 5191 5177 5166 5155 4797 5215 5196 5181 5169 5158 5149 5223 5201 5185 5173 5161 5152 5234 5207 5190 5176 5165 5154 4745 5215 5195 5181 5169 5158 4670 5234 5208 5191 5178 5166 5156 5250 5213 5195 5181 5169 5159 4844 5220 5199 5184 5172 5161 5152 5227 5204 5188 5175 5164 5154 5237 5209 5192 5178 5167 5157 4841 5215 5196 5182 5170 5159 4840 5221 5200 5185 5173 5162 5152 5229 5205 5189 5176 5165 5155 5240 5210 5193 5179 5168 5157 4837 5216 5197 5183 5171 5160 4836 5223 5202 5186 5174 5163 5153 5232 5207 5190 5177 5166 5155 5253 5212 5194 5180 5169 5158 4833 5219 5199 5184 5172 5161 5151 5226 5203 5188 5175 5164 5154 5236 5209 5192 5178 5167 5156 4830 5215 5196 5182 5170 5159 4829 5221 5253 5185 5173 5162 5152 5230 5205 5189 5176 5165 5155 5242 5211 5193 5180 5168 5157 4826 5217 5198 5183 5171 5160 5151 5225 5203 5187 5174 5163 5153 5234 5208 5191 5178 5166 5156 4823 5214 5195 5181 5169 5159 4822 5221 5200 5185 5173 5162 5152 5229 5205 5189 5176 5165 5155 5241 5211 5193 5179 5168 5157 4819 5217 5198 5183 5171 5160 5151 5225 5203 5187 5174 5163 5153 5235 5208 5191 5178 5166 5156 4816 5214 5196 5181 5169 5159 4815 5221 5200 5185 5173 5162 5152 5230 5206 5189 5176 5165 5155 5243 5212 5194 5180 5168 5158 4812 5218 5198 5184 5171 5161 5151 5226 5204 5188 5175 5164 5154 5237 5209 5192 5179 5167 5157 4809 5216 5197 5182 5170 5160 4808 5223 5202 5186 5174 5163 5153 5233 5207 5191 5177 5166 5156 5250 5213 5195 5181 5169 5159 4805 5221 5200 5185 5173 5162 5152 5229 5205 5189 5176 5165 5155 5243 5211 5194 5180 5168 5158 4802 5218 5199 5184 5172 5161 5151 5227 5204 5188 5175 5164 5154 5238 5210 5192 5179 5167 5157 4799 5216 5197 5183 5171 5160 4798 5224 5202 5187 5174 5163 5153 5235 5208 5191 5178 5166 5156 4747 5216 5197 5182 5170 5160 4671 5235 5209 5193 5179 5168 5158 5249 5215 5197 5183 5171 5160 4846 5221 5201 5186 5174 5163 5153 5228 5205 5190 5177 5166 5156 5237 5210 5193 5180 5168 5158 4843 5216 5198 5183 5171 5161 4842 5222 5202 5187 5174 5164 5154 5230 5207 5191 5178 5166 5156 5241 5212 5195 5181 5169 5159 4839 5218 5199 5184 5172 5162 4838 5224 5203 5188 5175 5164 5155 5233 5208 5192 5179 5167 5157 5245 5214 5196 5182 5170 5160 4835 5220 5200 5186 5173 5163 5153 5227 5205 5189 5176 5165 5155 5237 5210 5193 5180 5168 5158 4832 5216 5197 5183 5171 5161 4831 5222 5202 5187 5174 5164 5154 5231 5207 5191 5178 5167 5156 5242 5212 5195 5181 5170 5159 4828 5255 5199 5185 5173 5162 4827 5226 5204 5189 5176 5165 5155 5235 5209 5193 5179 5168 5158 5251 5215 5197 5183 5171 5160 4824 5222 5202 5187 5174 5163 5154 5230 5207 5191 5178 5166 5156 5241 5212 5195 5181 5169 5159 4821 5218 5199 5185 5173 5162 4820 5226 5204 5189 5176 5165 5155 5235 5209 5193 5179 5168 5158 5252 5215 5197 5183 5171 5161 4817 5222 5202 5187 5174 5164 5154 5231 5207 5191 5178 5167 5157 5243 5213 5195 5182 5170 5159 4814 5219 5200 5185 5173 5162 5153 5227 5205 5189 5177 5165 5155 5238 5211 5194 5180 5169 5158 4811 5217 5198 5184 5172 5161 4810 5224 5203 5188 5175 5164 5154 5234 5209 5192 5179 5167 5157 5249 5215 5197 5183 5171 5160 4807 5222 5201 5187 5174 5163 5154 5230 5207 5191 5178 5166 5156 5243 5213 5195 5181 5170 5159 4804 5220 5200 5185 5173 5162 5153 5228 5205 5190 5177 5166 5156 5239 5211 5194 5180 5169 5159 4801 5218 5199 5184 5172 5162 4800 5226 5204 5188 5176 5165 5155 5236 5210 5193 5180 5168 5158 4749 5217 5198 5184 5172 5161 4672 5236 5211 5194 5181 5170 5159 5249 5216 5198 5184 5172 5162 4848 5222 5202 5188 5175 5165 5155 5229 5207 5191 5178 5167 5157 5238 5212 5195 5182 5170 5160 5254 5217 5199 5185 5173 5163 4844 5224 5203 5188 5176 5165 5156 5231 5208 5192 5179 5168 5158 5241 5213 5196 5257 5171 5161 4841 5219 5200 5186 5174 5163 4840 5226 5205 5190 5177 5166 5156 5234 5210 5193 5180 5169 5159 5245 5215 5197 5184 5172 5161 4837 5221 5202 5187 5175 5164 5155 5228 5206 5191 5178 5167 5157 5237 5211 5195 5181 5170 5160 5253 5217 5199 5185 5173 5162 4833 5224 5203 5189 5176 5165 5156 5232 5208 5192 5179 5168 5158 5242 5214 5196 5183 5171 5161 4830 5220 5201 5186 5174 5164 4829 5227 5206 5190 5178 5167 5157 5236 5211 5194 5181 5170 5159 5250 5216 5198 5184 5173 5162 4826 5223 5203 5188 5176 5165 5155 5231 5208 5192 5179 5168 5158 5242 5213 5196 5183 5171 5161 4823 5220 5201 5186 5174 5164 4822 5227 5206 5190 5178 5167 5157 5236 5211 5194 5181 5170 5159 5251 5217 5199 5185 5173 5162 4819 5224 5203 5188 5176 5165 5156 5232 5209 5193 5180 5168 5158 5257 5214 5197 5183 5171 5161 4816 5221 5201 5187 5175 5164 4815 5228 5206 5191 5178 5167 5157 5238 5212 5195 5182 5170 5160 4813 5218 5200 5185 5174 5163 4812 5225 5205 5189 5177 5166 5156 5235 5210 5194 5180 5169 5159 5249 5216 5198 5184 5172 5162 4809 5223 5203 5188 5176 5165 5155 5231 5208 5192 5179 5168 5158 5243 5214 5197 5183 5171 5161 4806 5221 5202 5187 5175 5164 4805 5229 5207 5191 5178 5167 5157 5239 5212 5196 5182 5171 5160 4803 5219 5200 5186 5174 5163 4802 5227 5205 5190 5177 5166 5157 5237 5211 5194 5181 5170 5160 4751 5257 5200 5186 5174 5163 4673 5237 5212 5196 5183 5171 5161 5249 5217 5200 5186 5174 5164 4850 5223 5204 5189 5177 5166 5157 5230 5208 5193 5180 5169 5159 5239 5213 5197 5183 5172 5162 5253 5219 5201 5187 5175 5164 4846 5225 5205 5190 5178 5167 5157 5232 5210 5194 5181 5170 5160 5242 5215 5198 5184 5173 5162 4843 5220 5202 5188 5176 5165 4842 5227 5206 5191 5179 5168 5158 5235 5211 5195 5182 5171 5161 5246 5216 5199 5185 5174 5163 4839 5222 5203 5189 5177 5166 4838 5229 5208 5192 5180 5169 5159 5238 5213 5196 5183 5172 5161 5252 5218 5200 5186 5175 5164 4835 5225 5205 5190 5178 5167 5157 5233 5210 5194 5181 5170 5160 5243 5215 5198 5184 5173 5163 4832 5221 5202 5188 5176 5165 4831 5228 5207 5192 5179 5168 5158 5237 5212 5196 5183 5171 5161 5250 5218 5200 5186 5174 5164 4828 5224 5259 5190 5177 5167 5157 5232 5209 5194 5181 5170 5160 5242 5215 5198 5184 5173 5162 4825 5221 5202 5188 5176 5165 4824 5228 5207 5192 5179 5168 5158 5237 5212 5196 5183 5171 5161 5251 5218 5200 5186 5174 5164 4821 5225 5205 5190 5178 5167 5157 5233 5210 5194 5181 5170 5160 5244 5216 5198 5185 5173 5163 4818 5222 5203 5189 5176 5166 4817 5230 5208 5192 5180 5169 5159 5239 5213 5197 5183 5172 5162 4815 5220 5201 5187 5175 5165 4814 5227 5206 5191 5179 5168 5158 5259 5211 5195 5182 5171 5161 5249 5217 5200 5186 5174 5164 4811 5224 5204 5190 5177 5167 5157 5232 5210 5194 5181 5170 5160 5244 5259 5198 5185 5173 5163 4808 5222 5203 5189 5176 5166 4807 5230 5208 5193 5180 5169 5159 5240 5214 5197 5184 5172 5162 4805 5220 5202 5188 5176 5165 4804 5228 5207 5192 5179 5168 5158 5237 5212 5196 5183 5171 5161 4753 5220 5201 5187 5175 5165 4674 5238 5214 5197 5184 5173 5163 5249 5219 5201 5187 5176 5165 4852 5225 5205 5191 5179 5168 4851 5231 5210 5194 5182 5171 5161 5240 5215 5198 5185 5174 5163 5253 5220 5202 5188 5176 5166 4848 5226 5206 5192 5179 5169 5159 5233 5211 5195 5183 5171 5161 5243 5216 5199 5186 5174 5164 4845 5222 5203 5189 5177 5167 4844 5228 5208 5193 5180 5169 5160 5236 5212 5196 5261 5172 5162 5246 5218 5200 5187 5175 5165 4841 5224 5205 5190 5178 5168 4840 5231 5209 5194 5181 5170 5161 5239 5214 5198 5185 5173 5163 5252 5220 5202 5188 5176 5166 4837 5226 5206 5192 5179 5169 5159 5234 5211 5196 5183 5172 5162 5244 5217 5200 5186 5175 5164 4834 5222 5204 5190 5178 5167 4833 5229 5261 5193 5181 5170 5160 5238 5214 5197 5184 5173 5163 5250 5219 5202 5188 5176 5166 4830 5226 5206 5191 5179 5168 5159 5233 5211 5195 5182 5171 5161 5243 5216 5199 5186 5174 5164 4827 5222 5204 5190 5178 5167 4826 5229 5209 5193 5181 5170 5160 5238 5214 5197 5184 5173 5163 5251 5261 5202 5188 5176 5166 4823 5226 5206 5192 5179 5169 5159 5234 5211 5196 5183 5172 5162 5245 5217 5200 5186 5175 5165 4820 5223 5204 5190 5178 5167 4819 5231 5209 5194 5181 5170 5161 5240 5215 5198 5185 5174 5163 5256 5221 5203 5189 5177 5166 4816 5228 5208 5193 5180 5169 5160 5237 5213 5197 5184 5173 5162 5249 5219 5201 5187 5176 5165 4813 5261 5206 5191 5179 5168 5159 5234 5211 5195 5183 5172 5162 5244 5217 5200 5186 5175 5164 4810 5223 5205 5190 5178 5168 4809 5231 5210 5194 5182 5171 5161 5241 5215 5199 5185 5174 5164 4807 5222 5203 5189 5177 5167 4806 5229 5208 5193 5181 5170 5160 5238 5214 5198 5184 5173 5163 5257 5221 5203 5189 5177 5167 4675 5239 5215 5199 5186 5175 5165 5250 5220 5203 5189 5177 5167 4854 5226 5207 5263 5180 5170 4853 5233 5211 5196 5183 5172 5163 5241 5216 5200 5187 5175 5165 5253 5221 5204 5190 5178 5168 4850 5227 5208 5193 5181 5170 5161 5234 5263 5197 5184 5173 5163 5243 5217 5201 5187 5176 5166 5258 5223 5205 5191 5179 5168 4846 5229 5209 5194 5182 5171 5161 5237 5214 5198 5185 5174 5164 5247 5219 5202 5188 5177 5167 4843 5225 5206 5192 5180 5169 4842 5232 5211 5196 5183 5172 5162 5240 5216 5199 5186 5175 5165 5252 5221 5204 5190 5178 5168 4839 5263 5208 5193 5181 5170 5161 5235 5213 5197 5184 5173 5163 5244 5218 5201 5188 5176 5166 4836 5224 5205 5191 5179 5169 4835 5231 5210 5195 5183 5172 5162 5239 5215 5199 5186 5175 5165 5250 5221 5203 5189 5178 5167 4832 5227 5208 5193 5181 5170 4831 5234 5212 5197 5184 5173 5163 5244 5218 5201 5188 5176 5166 4829 5224 5205 5191 5179 5169 4828 5231 5210 5195 5183 5172 5162 5239 5215 5199 5186 5175 5165 5251 5221 5203 5190 5178 5167 4825 5227 5208 5193 5181 5170 5161 5235 5213 5197 5184 5173 5163 5245 5218 5202 5188 5177 5166 4822 5225 5206 5192 5180 5169 4821 5232 5211 5196 5183 5172 5162 5241 5216 5200 5187 5175 5165 5263 5222 5204 5190 5179 5168 4818 5229 5209 5194 5182 5171 5161 5238 5214 5198 5185 5174 5164 5249 5220 5203 5189 5177 5167 4815 5227 5208 5193 5181 5170 4814 5235 5213 5197 5184 5173 5163 5245 5218 5201 5188 5176 5166 4812 5225 5206 5192 5180 5169 4811 5232 5211 5196 5183 5172 5263 5242 5217 5200 5187 5176 5165 5258 5223 5205 5191 5179 5168 4808 5230 5210 5195 5182 5172 5162 5239 5215 5199 5186 5175 5165 5257 5223 5205 5191 5179 5168 4676 5240 5217 5201 5188 5176 5166 5250 5222 5204 5191 5179 5169 4856 5227 5265 5194 5182 5171 4855 5234 5213 5198 5185 5174 5164 5242 5218 5201 5188 5177 5167 5253 5223 5205 5192 5180 5169 4852 5229 5265 5195 5183 5172 4851 5236 5214 5199 5186 5175 5165 5244 5219 5202 5189 5178 5168 5258 5224 5206 5192 5181 5170 4848 5231 5211 5196 5184 5173 5163 5238 5215 5200 5187 5176 5166 5248 5221 5204 5190 5179 5168 4845 5226 5208 5194 5182 5171 4844 5233 5212 5197 5185 5174 5164 5241 5217 5201 5188 5177 5167 5253 5223 5205 5191 5180 5169 4841 5229 5210 5195 5183 5172 4840 5236 5214 5199 5186 5175 5165 5245 5219 5203 5189 5178 5168 5261 5225 5207 5193 5181 5171 4837 5232 5212 5197 5184 5173 5164 5240 5217 5201 5188 5176 5166 5251 5222 5205 5191 5179 5169 4834 5228 5209 5195 5183 5172 4833 5236 5214 5265 5186 5175 5165 5245 5219 5203 5189 5178 5168 5261 5225 5207 5193 5181 5170 4830 5232 5212 5197 5184 5173 5164 5240 5217 5201 5188 5176 5166 5252 5222 5205 5191 5180 5169 4827 5229 5265 5195 5183 5172 4826 5236 5214 5199 5186 5175 5165 5246 5220 5203 5190 5178 5168 4824 5226 5208 5193 5181 5171 4823 5233 5212 5197 5185 5174 5164 5242 5218 5201 5188 5177 5167 5256 5224 5206 5192 5180 5170 4820 5231 5211 5196 5184 5173 5163 5239 5216 5200 5187 5176 5166 5250 5222 5204 5191 5179 5169 4817 5228 5209 5195 5265 5172 4816 5236 5214 5199 5186 5175 5165 5246 5220 5203 5190 5178 5168 4814 5226 5208 5193 5182 5171 4813 5234 5213 5198 5185 5174 5164 5243 5218 5202 5189 5177 5167 5258 5224 5206 5192 5181 5170 4810 5232 5211 5197 5184 5173 5164 5241 5217 5201 5188 5177 5166 5257 5224 5206 5192 5180 5170 4677 5241 5218 5202 5189 5178 5168 5251 5223 5206 5192 5181 5171 4858 5229 5210 5196 5184 5173 4857 5235 5214 5199 5187 5176 5166 5243 5219 5203 5190 5179 5169 5254 5224 5207 5193 5182 5171 4854 5230 5211 5197 5184 5174 4853 5237 5216 5200

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-COL-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-COL-0100.tgz
mv AirplaneLD-COL-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-COL-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-146445824200030"
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 ;