fond
Model Checking Contest @ Petri Nets 2016
6th edition, Toruń, Poland, June 21, 2016
Execution of r209su-blw3-146445824600112
Last Updated
June 30, 2016

About the Execution of Marcie for AirplaneLD-PT-0100

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
10273.450 3600000.00 3599980.00 59.80 ???????????F??F? normal

Execution Chart

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

Trace from the execution

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


--------------------
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-CTLFireability-0
FORMULA_NAME AirplaneLD-COL-0100-CTLFireability-1
FORMULA_NAME AirplaneLD-COL-0100-CTLFireability-10
FORMULA_NAME AirplaneLD-COL-0100-CTLFireability-11
FORMULA_NAME AirplaneLD-COL-0100-CTLFireability-12
FORMULA_NAME AirplaneLD-COL-0100-CTLFireability-13
FORMULA_NAME AirplaneLD-COL-0100-CTLFireability-14
FORMULA_NAME AirplaneLD-COL-0100-CTLFireability-15
FORMULA_NAME AirplaneLD-COL-0100-CTLFireability-2
FORMULA_NAME AirplaneLD-COL-0100-CTLFireability-3
FORMULA_NAME AirplaneLD-COL-0100-CTLFireability-4
FORMULA_NAME AirplaneLD-COL-0100-CTLFireability-5
FORMULA_NAME AirplaneLD-COL-0100-CTLFireability-6
FORMULA_NAME AirplaneLD-COL-0100-CTLFireability-7
FORMULA_NAME AirplaneLD-COL-0100-CTLFireability-8
FORMULA_NAME AirplaneLD-COL-0100-CTLFireability-9

=== Now, execution of the tool begins

BK_START 1464677959010


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=CTLFireability.xml --mcc-mode --memory=6 --suppress

parse successfull
net created successfully

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

net check time: 0m 0.000sec

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

init dd package: 0m 4.179sec


RS generation: 0m17.719sec


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



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

checking: AF [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [t4_1_51] | IS_FIREABLE [t4_1_52]] | IS_FIREABLE [t4_1_53]] | IS_FIREABLE [t4_1_54]] | IS_FIREABLE [t4_1_55]] | IS_FIREABLE [t4_1_56]] | IS_FIREABLE [t4_1_57]] | IS_FIREABLE [t4_1_58]] | IS_FIREABLE [t4_1_59]] | IS_FIREABLE [t4_1_60]] | IS_FIREABLE [t4_1_61]] | IS_FIREABLE [t4_1_62]] | IS_FIREABLE [t4_1_63]] | IS_FIREABLE [t4_1_64]] | IS_FIREABLE [t4_1_65]] | IS_FIREABLE [t4_1_66]] | IS_FIREABLE [t4_1_67]] | IS_FIREABLE [t4_1_68]] | IS_FIREABLE [t4_1_69]] | IS_FIREABLE [t4_1_70]] | IS_FIREABLE [t4_1_71]] | IS_FIREABLE [t4_1_72]] | IS_FIREABLE [t4_1_73]] | IS_FIREABLE [t4_1_74]] | IS_FIREABLE [t4_1_75]] | IS_FIREABLE [t4_1_76]] | IS_FIREABLE [t4_1_77]] | IS_FIREABLE [t4_1_78]] | IS_FIREABLE [t4_1_79]] | IS_FIREABLE [t4_1_80]] | IS_FIREABLE [t4_1_81]] | IS_FIREABLE [t4_1_82]] | IS_FIREABLE [t4_1_83]] | IS_FIREABLE [t4_1_84]] | IS_FIREABLE [t4_1_85]] | IS_FIREABLE [t4_1_86]] | IS_FIREABLE [t4_1_87]] | IS_FIREABLE [t4_1_88]] | IS_FIREABLE [t4_1_89]] | IS_FIREABLE [t4_1_90]] | IS_FIREABLE [t4_1_91]] | IS_FIREABLE [t4_1_92]] | IS_FIREABLE [t4_1_93]] | IS_FIREABLE [t4_1_94]] | IS_FIREABLE [t4_1_95]] | IS_FIREABLE [t4_1_96]] | IS_FIREABLE [t4_1_97]] | IS_FIREABLE [t4_1_98]] | IS_FIREABLE [t4_1_99]]]
normalized: ~ [EG [~ [[IS_FIREABLE [t4_1_99] | [IS_FIREABLE [t4_1_98] | [IS_FIREABLE [t4_1_97] | [IS_FIREABLE [t4_1_96] | [IS_FIREABLE [t4_1_95] | [IS_FIREABLE [t4_1_94] | [IS_FIREABLE [t4_1_93] | [IS_FIREABLE [t4_1_92] | [IS_FIREABLE [t4_1_91] | [IS_FIREABLE [t4_1_90] | [IS_FIREABLE [t4_1_89] | [IS_FIREABLE [t4_1_88] | [IS_FIREABLE [t4_1_87] | [IS_FIREABLE [t4_1_86] | [IS_FIREABLE [t4_1_85] | [IS_FIREABLE [t4_1_84] | [IS_FIREABLE [t4_1_83] | [IS_FIREABLE [t4_1_82] | [IS_FIREABLE [t4_1_81] | [IS_FIREABLE [t4_1_80] | [IS_FIREABLE [t4_1_79] | [IS_FIREABLE [t4_1_78] | [IS_FIREABLE [t4_1_77] | [IS_FIREABLE [t4_1_76] | [IS_FIREABLE [t4_1_75] | [IS_FIREABLE [t4_1_74] | [IS_FIREABLE [t4_1_73] | [IS_FIREABLE [t4_1_72] | [IS_FIREABLE [t4_1_71] | [IS_FIREABLE [t4_1_70] | [IS_FIREABLE [t4_1_69] | [IS_FIREABLE [t4_1_68] | [IS_FIREABLE [t4_1_67] | [IS_FIREABLE [t4_1_66] | [IS_FIREABLE [t4_1_65] | [IS_FIREABLE [t4_1_64] | [IS_FIREABLE [t4_1_63] | [IS_FIREABLE [t4_1_62] | [IS_FIREABLE [t4_1_61] | [IS_FIREABLE [t4_1_60] | [IS_FIREABLE [t4_1_59] | [IS_FIREABLE [t4_1_58] | [IS_FIREABLE [t4_1_57] | [IS_FIREABLE [t4_1_56] | [IS_FIREABLE [t4_1_55] | [IS_FIREABLE [t4_1_54] | [IS_FIREABLE [t4_1_53] | [IS_FIREABLE [t4_1_51] | IS_FIREABLE [t4_1_52]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

.....
EG iterations: 5
-> the formula is FALSE

FORMULA AirplaneLD-COL-0100-CTLFireability-8 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 2.004sec

checking: ~ [EF [EG [~ [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [t4_2_1] | IS_FIREABLE [t4_2_2]] | IS_FIREABLE [t4_2_3]] | IS_FIREABLE [t4_2_4]] | IS_FIREABLE [t4_2_5]] | IS_FIREABLE [t4_2_6]] | IS_FIREABLE [t4_2_7]] | IS_FIREABLE [t4_2_8]] | IS_FIREABLE [t4_2_9]] | IS_FIREABLE [t4_2_10]] | IS_FIREABLE [t4_2_11]] | IS_FIREABLE [t4_2_12]] | IS_FIREABLE [t4_2_13]] | IS_FIREABLE [t4_2_14]] | IS_FIREABLE [t4_2_15]] | IS_FIREABLE [t4_2_16]] | IS_FIREABLE [t4_2_17]] | IS_FIREABLE [t4_2_18]] | IS_FIREABLE [t4_2_19]] | IS_FIREABLE [t4_2_20]] | IS_FIREABLE [t4_2_21]] | IS_FIREABLE [t4_2_22]] | IS_FIREABLE [t4_2_23]] | IS_FIREABLE [t4_2_24]] | IS_FIREABLE [t4_2_25]] | IS_FIREABLE [t4_2_26]] | IS_FIREABLE [t4_2_27]] | IS_FIREABLE [t4_2_28]] | IS_FIREABLE [t4_2_29]] | IS_FIREABLE [t4_2_30]] | IS_FIREABLE [t4_2_31]] | IS_FIREABLE [t4_2_32]] | IS_FIREABLE [t4_2_33]] | IS_FIREABLE [t4_2_34]] | IS_FIREABLE [t4_2_35]] | IS_FIREABLE [t4_2_36]] | IS_FIREABLE [t4_2_37]] | IS_FIREABLE [t4_2_38]] | IS_FIREABLE [t4_2_39]] | IS_FIREABLE [t4_2_40]] | IS_FIREABLE [t4_2_41]] | IS_FIREABLE [t4_2_42]] | IS_FIREABLE [t4_2_43]] | IS_FIREABLE [t4_2_44]] | IS_FIREABLE [t4_2_45]] | IS_FIREABLE [t4_2_46]] | IS_FIREABLE [t4_2_47]] | IS_FIREABLE [t4_2_48]] | IS_FIREABLE [t4_2_49]] | IS_FIREABLE [t4_2_50]] | IS_FIREABLE [t4_2_100]]]]]]
normalized: ~ [E [true U EG [~ [[IS_FIREABLE [t4_2_100] | [IS_FIREABLE [t4_2_50] | [IS_FIREABLE [t4_2_49] | [IS_FIREABLE [t4_2_48] | [IS_FIREABLE [t4_2_47] | [IS_FIREABLE [t4_2_46] | [IS_FIREABLE [t4_2_45] | [IS_FIREABLE [t4_2_44] | [IS_FIREABLE [t4_2_43] | [IS_FIREABLE [t4_2_42] | [IS_FIREABLE [t4_2_41] | [IS_FIREABLE [t4_2_40] | [IS_FIREABLE [t4_2_39] | [IS_FIREABLE [t4_2_38] | [IS_FIREABLE [t4_2_37] | [IS_FIREABLE [t4_2_36] | [IS_FIREABLE [t4_2_35] | [IS_FIREABLE [t4_2_34] | [IS_FIREABLE [t4_2_33] | [IS_FIREABLE [t4_2_32] | [IS_FIREABLE [t4_2_31] | [IS_FIREABLE [t4_2_30] | [IS_FIREABLE [t4_2_29] | [IS_FIREABLE [t4_2_28] | [IS_FIREABLE [t4_2_27] | [IS_FIREABLE [t4_2_26] | [IS_FIREABLE [t4_2_25] | [IS_FIREABLE [t4_2_24] | [IS_FIREABLE [t4_2_23] | [IS_FIREABLE [t4_2_22] | [IS_FIREABLE [t4_2_21] | [IS_FIREABLE [t4_2_20] | [IS_FIREABLE [t4_2_19] | [IS_FIREABLE [t4_2_18] | [IS_FIREABLE [t4_2_17] | [IS_FIREABLE [t4_2_16] | [IS_FIREABLE [t4_2_15] | [IS_FIREABLE [t4_2_14] | [IS_FIREABLE [t4_2_13] | [IS_FIREABLE [t4_2_12] | [IS_FIREABLE [t4_2_11] | [IS_FIREABLE [t4_2_10] | [IS_FIREABLE [t4_2_9] | [IS_FIREABLE [t4_2_8] | [IS_FIREABLE [t4_2_7] | [IS_FIREABLE [t4_2_6] | [IS_FIREABLE [t4_2_5] | [IS_FIREABLE [t4_2_4] | [IS_FIREABLE [t4_2_3] | [IS_FIREABLE [t4_2_1] | IS_FIREABLE [t4_2_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

.....
EG iterations: 5
-> the formula is FALSE

FORMULA AirplaneLD-COL-0100-CTLFireability-5 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 1m28.347sec

checking: E [EF [~ [[IS_FIREABLE [SampleRW_on] | IS_FIREABLE [SampleRW_off]]]] U AX [[IS_FIREABLE [t2_2_off] & [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [t4_2_1] | IS_FIREABLE [t4_2_2]] | IS_FIREABLE [t4_2_3]] | IS_FIREABLE [t4_2_4]] | IS_FIREABLE [t4_2_5]] | IS_FIREABLE [t4_2_6]] | IS_FIREABLE [t4_2_7]] | IS_FIREABLE [t4_2_8]] | IS_FIREABLE [t4_2_9]] | IS_FIREABLE [t4_2_10]] | IS_FIREABLE [t4_2_11]] | IS_FIREABLE [t4_2_12]] | IS_FIREABLE [t4_2_13]] | IS_FIREABLE [t4_2_14]] | IS_FIREABLE [t4_2_15]] | IS_FIREABLE [t4_2_16]] | IS_FIREABLE [t4_2_17]] | IS_FIREABLE [t4_2_18]] | IS_FIREABLE [t4_2_19]] | IS_FIREABLE [t4_2_20]] | IS_FIREABLE [t4_2_21]] | IS_FIREABLE [t4_2_22]] | IS_FIREABLE [t4_2_23]] | IS_FIREABLE [t4_2_24]] | IS_FIREABLE [t4_2_25]] | IS_FIREABLE [t4_2_26]] | IS_FIREABLE [t4_2_27]] | IS_FIREABLE [t4_2_28]] | IS_FIREABLE [t4_2_29]] | IS_FIREABLE [t4_2_30]] | IS_FIREABLE [t4_2_31]] | IS_FIREABLE [t4_2_32]] | IS_FIREABLE [t4_2_33]] | IS_FIREABLE [t4_2_34]] | IS_FIREABLE [t4_2_35]] | IS_FIREABLE [t4_2_36]] | IS_FIREABLE [t4_2_37]] | IS_FIREABLE [t4_2_38]] | IS_FIREABLE [t4_2_39]] | IS_FIREABLE [t4_2_40]] | IS_FIREABLE [t4_2_41]] | IS_FIREABLE [t4_2_42]] | IS_FIREABLE [t4_2_43]] | IS_FIREABLE [t4_2_44]] | IS_FIREABLE [t4_2_45]] | IS_FIREABLE [t4_2_46]] | IS_FIREABLE [t4_2_47]] | IS_FIREABLE [t4_2_48]] | IS_FIREABLE [t4_2_49]] | IS_FIREABLE [t4_2_50]] | IS_FIREABLE [t4_2_100]]]]]
normalized: E [E [true U ~ [[IS_FIREABLE [SampleRW_on] | IS_FIREABLE [SampleRW_off]]]] U ~ [EX [~ [[IS_FIREABLE [t2_2_off] & [IS_FIREABLE [t4_2_100] | [IS_FIREABLE [t4_2_50] | [IS_FIREABLE [t4_2_49] | [IS_FIREABLE [t4_2_48] | [IS_FIREABLE [t4_2_47] | [IS_FIREABLE [t4_2_46] | [IS_FIREABLE [t4_2_45] | [IS_FIREABLE [t4_2_44] | [IS_FIREABLE [t4_2_43] | [IS_FIREABLE [t4_2_42] | [IS_FIREABLE [t4_2_41] | [IS_FIREABLE [t4_2_40] | [IS_FIREABLE [t4_2_39] | [IS_FIREABLE [t4_2_38] | [IS_FIREABLE [t4_2_37] | [IS_FIREABLE [t4_2_36] | [IS_FIREABLE [t4_2_35] | [IS_FIREABLE [t4_2_34] | [IS_FIREABLE [t4_2_33] | [IS_FIREABLE [t4_2_32] | [IS_FIREABLE [t4_2_31] | [IS_FIREABLE [t4_2_30] | [IS_FIREABLE [t4_2_29] | [IS_FIREABLE [t4_2_28] | [IS_FIREABLE [t4_2_27] | [IS_FIREABLE [t4_2_26] | [IS_FIREABLE [t4_2_25] | [IS_FIREABLE [t4_2_24] | [IS_FIREABLE [t4_2_23] | [IS_FIREABLE [t4_2_22] | [IS_FIREABLE [t4_2_21] | [IS_FIREABLE [t4_2_20] | [IS_FIREABLE [t4_2_19] | [IS_FIREABLE [t4_2_18] | [IS_FIREABLE [t4_2_17] | [IS_FIREABLE [t4_2_16] | [IS_FIREABLE [t4_2_15] | [IS_FIREABLE [t4_2_14] | [IS_FIREABLE [t4_2_13] | [IS_FIREABLE [t4_2_12] | [IS_FIREABLE [t4_2_11] | [IS_FIREABLE [t4_2_10] | [IS_FIREABLE [t4_2_9] | [IS_FIREABLE [t4_2_8] | [IS_FIREABLE [t4_2_7] | [IS_FIREABLE [t4_2_6] | [IS_FIREABLE [t4_2_5] | [IS_FIREABLE [t4_2_4] | [IS_FIREABLE [t4_2_3] | [IS_FIREABLE [t4_2_1] | IS_FIREABLE [t4_2_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

.
before gc: list nodes free: 1025703

after gc: idd nodes used:6316, unused:63993684; list nodes free:314538268

before gc: list nodes free: 59706

after gc: idd nodes used:5869, unused:63994131; list nodes free:318734750

before gc: list nodes free: 490283

after gc: idd nodes used:5889, unused:63994111; list nodes free:318734661

before gc: list nodes free: 987562

after gc: idd nodes used:6228, unused:63993772; list nodes free:318732992

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

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

initing FirstDep: 0m 0.002sec

3812 3791 3775 3763 3752 3742 3826 3799 3782 3768 3757 3746 3434 3807 3788 3774 3762 3751 3741 3818 3795 3780 3767 3756 3746 3833 3853 3786 3772 3761 3750 3434 3813 3793 3778 3766 3755 3745 3824 3800 3784 3771 3760 3750 3843 3809 3791 3777 3765 3754 3434 3849 3798 3782 3770 3759 3749 3831 3805 3789 3775 3764 3754 3434 3814 3795 3781 3769 3758 3749 3825 3803 3787 3774 3763 3753 3839 3811 3793 3780 3768 3758 3434 3820 3800 3786 3773 3763 3753 3832 3808 3792 3779 3768 3757 3850 3816 3798 3784 3773 3762 3434 3826 3806 3790 3778 3767 3757 3839 3813 3797 3783 3772 3762 3434 3822 3804 3789 3777 3767 3757 3833 3811 3795 3783 3771 3761 3849 3819 3802 3788 3777 3766 3434 3829 3809 3794 3782 3771 3761 3841 3817 3800 3787 3776 3766 3434 3826 3807 3793 3781 3771 3434 3836 3815 3799 3787 3776 3766 3850 3823 3806 3792 3781 3770 3434 3832 3813 3798 3786 3775 3766 3844 3821 3805 3792 3780 3770 3862 3829 3811 3797 3786 3775 3434 3840 3819 3878 3791 3780 3770 3853 3827 3810 3797 3785 3775 3434 3836 3817 3803 3880 3780 3770 3848 3825 3809 3796 3785 3775 3865 3874 3816 3802 3790 3780 3434 3844 3823 3808 3796 3785 3775 3857 3831 3815 3801 3790 3780 3434 3841 3822 3807 3795 3785 3775 3852 3830 3814 3801 3790 3780 3869 3838 3821 3807 3795 3785 3434 3849 3828 3813 3801 3790 3780 3862 3836 3820 3806 3795 3785 3434 3846 3827 3812 3800 3790 3780 3883 3835 3819 3806 3795 3785 3875 3844 3826 3812 3800 3790 3434 3854 3833 3818 3806 3795 3785 3868 3842 3825 3812 3800 3790 3434 3852 3832 3818 3806 3795 3785 3864 3840 3824 3811 3800 3790 3883 3849 3831 3817 3806 3795 3434 3860 3839 3824 3811 3800 3898 3444 3394 3436 3363 3351 3341 2821
iterations count:326594 (404), effective:15504 (19)

iterations count:810 (1), effective:1 (0)
2713 2719 2727 2735 2743 2749 2757 2763 2771 2777 2785 2791 2797 2806 2809 2812 2815 2819 2822 2825 2828 2831 2834 2837 2840 2843 2846 2849 2852 2854 2857 3066 3066 3066 3066 3066 3066 3520 3485 3467 3453 3441 3430 3067 3497 3476 3460 3448 3437 3427 3514 3485 3468 3455 3443 3433 3069 3497 3477 3462 3450 3439 3429 3511 3486 3470 3457 3445 3435 3071 3497 3478 3464 3452 3441 3432 3510 3487 3471 3459 3448 3438 3528 3497 3480 3466 3454 3444 3074 3509 3488 3473 3461 3450 3440 3525 3498 3481 3468 3456 3446 3076 3509 3490 3475 3463 3452 3443 3523 3499 3483 3470 3459 3449 3078 3510 3491 3477 3465 3455 3079 3522 3558 3485 3472 3461 3451 3541 3511 3493 3479 3468 3457 3081 3562 3502 3487 3562 3464 3454 3538 3512 3495 3482 3470 3460 3083 3523 3504 3489 3477 3466 3457 3537 3513 3497 3484 3473 3463 3085 3524 3505 3491 3479 3469 3086 3537 3515 3499 3486 3475 3465 3566 3525 3507 3494 3482 3471 3088 3537 3516 3501 3489 3478 3468 3553 3526 3509 3496 3484 3474 3090 3538 3518 3504 3491 3481 3471 3582 3528 3512 3498 3487 3477 3092 3539 3520 3506 3494 3483 3474 3578 3530 3514 3501 3490 3480 3574 3540 3522 3508 3497 3486 3095 3553 3532 3516 3504 3493 3483 3571 3542 3525 3511 3499 3489 3097 3554 3534 3519 3506 3495 3486 3570 3544 3527 3514 3502 3492 3099 3555 3536 3521 3509 3498 3489 3570 3546 3529 3516 3505 3495 3101 3557 3538 3524 3512 3501 3492 3571 3548 3532 3519 3508 3498 3593 3559 3541 3527 3515 3504 3104 3572 3550 3535 3522 3511 3501 3591 3561 3543 3529 3518 3507 3106 3573 3552 3537 3525 3514 3504 3590 3563 3546 3532 3521 3510 3108 3575 3555 3540 3528 3517 3507 3618 3565 3548 3535 3524 3514 3110 3577 3557 3543 3531 3520 3510 3591 3567 3551 3538 3527 3517 3112 3579 3560 3546 3534 3523 3514 3593 3570 3554 3541 3530 3520 3325 3697 3677 3663 3651 3640 3630 3707 3685 3669 3656 3645 3635 3722 3693 3675 3661 3650 3639 3325 3702 3682 3667 3655 3644 3634 3713 3689 3673 3660 3649 3639 3732 3698 3680 3666 3654 3643 3325 3707 3687 3671 3659 3648 3638 3720 3694 3678 3664 3653 3643 3325 3703 3684 3670 3658 3647 3638 3713 3749 3676 3663 3652 3642 3728 3742 3682 3669 3657 3647 3325 3709 3689 3674 3662 3751 3642 3720 3697 3681 3668 3656 3646 3738 3705 3687 3673 3661 3651 3325 3715 3694 3679 3667 3656 3646 3728 3702 3685 3672 3661 3651 3325 3711 3692 3678 3666 3655 3646 3722 3700 3684 3671 3660 3650 3736 3708 3690 3677 3665 3655 3325 3717 3697 3683 3670 3660 3650 3729 3705 3689 3676 3665 3655 3761 3714 3696 3682 3670 3659 3325 3724 3703 3688 3675 3664 3654 3738 3711 3694 3681 3669 3659 3325 3720 3701 3687 3675 3664 3654 3732 3709 3693 3680 3669 3659 3766 3717 3700 3686 3674 3664 3325 3727 3707 3692 3679 3669 3659 3740 3715 3698 3685 3674 3663 3325 3724 3705 3691 3679 3668 3659 3735 3713 3697 3684 3673 3663 3751 3721 3704 3690 3679 3668 3325 3731 3711 3696 3684 3673 3663 3744 3719 3703 3690 3678 3668 3325 3728 3710 3696 3684 3673 3325 3739 3717 3702 3689 3678 3668 3755 3726 3709 3695 3683 3673 3325 3736 3716 3701 3689 3678 3668 3749 3724 3708 3770 3683 3673 3325 3733 3715 3701 3689 3678 3325 3744 3722 3707 3694 3683 3673 3760 3731 3714 3700 3688 3678 3325 3741 3721 3706 3694 3683 3673 3754 3729 3713 3700 3688 3678 3325 3739 3720 3706 3694 3683 3674 3750 3728 3712 3699 3688 3678 3767 3737 3719 3705 3694 3683 3325 3747 3727 3712 3699 3688 3679 3761 3735 3718 3705 3694 3684 3325 3745 3726 3711 3699 3689 3679 3807 3784 3768 3755 3743 3733 3326 3800 3780 3765 3753 3742 3733 3810 3786 3770 3757 3746 3736 3825 3793 3776 3762 3750 3740 3424 3802 3782 3767 3754 3743 3734 3813 3788 3772 3759 3747 3737 3422 3796 3777 3763 3751 3741 3421 3805 3783 3768 3755 3744 3735 3817 3790 3773 3760 3748 3738 3419 3798 3779 3765 3752 3742 3732 3808 3785 3770 3757 3746 3736 3822 3792 3775 3761 3750 3739 3416 3801 3781 3766 3754 3743 3733 3834 3787 3771 3758 3747 3737 3830 3795 3777 3763 3751 3740 3413 3804 3783 3768 3755 3744 3734 3816 3790 3773 3760 3748 3738 3411 3798 3779 3764 3752 3742 3732 3808 3785 3770 3757 3746 3736 3823 3793 3775 3761 3750 3739 3408 3801 3781 3766 3754 3743 3733 3842 3788 3772 3758 3747 3737 3406 3796 3777 3763 3751 3741 3405 3805 3784 3768 3756 3745 3735 3818 3791 3774 3760 3749 3738 3403 3799 3780 3765 3753 3742 3733 3810 3787 3771 3758 3746 3736 3827 3794 3776 3762 3751 3740 3400 3803 3783 3767 3755 3744 3734 3816 3790 3773 3760 3748 3738 3398 3798 3779 3765 3752 3742 3732 3808 3786 3770 3757 3746 3736 3824 3793 3776 3762 3750 3740 3395 3802 3782 3767 3754 3744 3734 3815 3789 3772 3759 3748 3738 3393 3797 3842 3764 3752 3741 3732 3808 3785 3842 3757 3746 3736 3823 3793 3775 3762 3750 3739 3390 3802 3782 3767 3754 3743 3734 3814 3789 3772 3759 3748 3737 3388 3797 3778 3764 3752 3741 3732 3808 3785 3842 3757 3746 3736 3842 3793 3775 3762 3750 3739 3385 3802 3782 3767 3754 3744 3734 3815 3789 3773 3759 3748 3738 3383 3798 3779 3764 3752 3742 3732 3808 3786 3770 3757 3746 3736 3825 3794 3776 3762 3750 3740 3380 3803 3782 3767 3755 3744 3734 3816 3790 3773 3760 3748 3738 3378 3799 3779 3765 3753 3742 3732 3812 3787 3771 3758 3747 3737 3327 3803 3783 3768 3756 3745 3735 3813 3789 3773 3760 3749 3739 3830 3796 3778 3764 3753 3742 3426 3805 3784 3769 3757 3746 3736 3816 3791 3774 3761 3750 3740 3424 3799 3780 3766 3754 3743 3734 3808 3786 3771 3758 3747 3737 3821 3793 3776 3762 3751 3741 3421 3801 3782 3767 3755 3744 3735 3811 3788 3772 3759 3748 3738 3826 3795 3778 3764 3752 3742 3418 3804 3784 3769 3756 3745 3736 3815 3790 3774 3761 3749 3739 3416 3798 3836 3765 3753 3743 3415 3807 3786 3770 3758 3747 3737 3820 3793 3776 3762 3751 3740 3413 3801 3782 3767 3755 3744 3735 3811 3788 3772 3759 3748 3738 3827 3796 3778 3764 3752 3742 3410 3804 3784 3769 3756 3746 3736 3816 3791 3774 3761 3750 3739 3408 3799 3780 3766 3754 3743 3734 3844 3836 3771 3758 3747 3737 3844 3794 3836 3763 3751 3741 3405 3802 3783 3768 3756 3745 3735 3813 3789 3773 3760 3749 3739 3833 3797 3779 3765 3753 3836 3402 3807 3785 3770 3757 3746 3737 3820 3793 3776 3762 3751 3740 3400 3801 3782 3767 3755 3744 3735 3812 3788 3772 3759 3748 3738 3829 3796 3778 3764 3836 3742 3397 3806 3785 3836 3757 3746 3736 3818 3792 3775 3762 3750 3740 3395 3800 3781 3767 3755 3744 3734 3811 3788 3772 3759 3748 3738 3828 3796 3778 3764 3752 3742 3392 3805 3784 3769 3757 3746 3736 3818 3792 3775 3762 3750 3740 3390 3800 3781 3767 3755 3744 3734 3811 3788 3772 3759 3748 3738 3828 3796 3778 3764 3752 3742 3387 3805 3785 3769 3757 3746 3736 3844 3792 3775 3762 3750 3740 3385 3801 3781 3767 3755 3744 3734 3812 3788 3772 3759 3748 3738 3830 3797 3836 3765 3753 3742 3382 3806 3785 3770 3757 3746 3836 3820 3793 3776 3762 3751 3740 3380 3802 3782 3836 3755 3745 3735 3815 3790 3774 3761 3749 3739 3328 3806 3786 3771 3758 3747 3738 3817 3792 3776 3762 3751 3741 3429 3799 3781 3767 3755 3745 3428 3808 3787 3772 3759 3748 3738 3820 3794 3777 3764 3752 3742 3426 3802 3783 3768 3756 3746 3736 3811 3789 3773 3760 3749 3739 3825 3796 3779 3765 3753 3743 3423 3804 3784 3770 3757 3747 3737 3838 3791 3775 3762 3838 3740 3831 3798 3780 3766 3755 3744 3420 3807 3786 3771 3759 3748 3738 3819 3793 3838 3763 3752 3742 3418 3801 3782 3768 3756 3745 3736 3838 3789 3773 3760 3749 3739 3824 3796 3778 3765 3753 3743 3415 3804 3784 3770 3757 3747 3737 3815 3791 3775 3762 3751 3846 3832 3838 3846 3838 3755 3744 3412 3808 3787 3772 3759 3748 3738 3820 3794 3777 3764 3752 3742 3410 3802 3783 3768 3756 3746 3736 3812 3789 3774 3761 3750 3740 3827 3797 3779 3765 3754 3743 3407 3838 3785 3770 3758 3747 3737 3817 3792 3776 3763 3751 3741 3405 3800 3782 3767 3838 3745 3404 3810 3788 3773 3760 3749 3739 3824 3846 3778 3765 3753 3743 3402 3804 3784 3770 3757 3747 3737 3815 3791 3775 3762 3751 3741 3835 3799 3781 3767 3755 3838 3399 3809 3787 3772 3846 3838 3739 3822 3795 3778 3764 3753 3742 3397 3803 3784 3769 3757 3746 3737 3814 3791 3775 3762 3750 3740 3833 3799 3781 3767 3755 3744 3394 3808 3787 3772 3759 3748 3838 3822 3795 3778 3764 3753 3742 3392 3803 3784 3769 3757 3746 3737 3814 3791 3775 3762 3750 3740 3834 3799 3781 3767 3755 3744 3389 3809 3787 3772 3759 3748 3739 3822 3795 3778 3764 3753 3742 3387 3804 3784 3838 3757 3747 3737 3815 3791 3775 3762 3751 3741 3385 3838 3781 3767 3755 3745 3384 3810 3788 3773 3760 3749 3739 3824 3796 3778 3765 3753 3743 3382 3805 3785 3770 3758 3747 3737 3819 3793 3777 3763 3752 3742 3329 3809 3788 3773 3761 3750 3740 3820 3795 3778 3765 3754 3743 3431 3802 3784 3770 3758 3747 3840 3840 3790 3774 3762 3751 3741 3824 3797 3780 3766 3755 3744 3428 3805 3785 3771 3759 3748 3738 3848 3792 3776 3763 3752 3742 3829 3799 3781 3840 3756 3745 3425 3807 3787 3772 3760 3749 3739 3818 3794 3777 3764 3753 3743 3837 3801 3783 3769 3757 3747 3422 3810 3789 3774 3761 3750 3740 3840 3796 3779 3766 3754 3744 3420 3804 3785 3771 3758 3748 3738 3814 3791 3776 3763 3752 3742 3848 3799 3781 3767 3756 3745 3417 3807 3787 3772 3760 3749 3739 3818 3794 3840 3764 3753 3743 3415 3840 3783 3769 3757 3747 3414 3811 3848 3774 3762 3751 3741 3824 3797 3780 3766 3755 3744 3412 3805 3786 3771 3759 3748 3738 3815 3792 3776 3763 3752 3742 3840 3800 3782 3768 3756 3746 3409 3809 3788 3773 3761 3750 3740 3821 3795 3848 3765 3754 3744 3407 3803 3784 3770 3758 3747 3738 3813 3791 3775 3840 3751 3741 3828 3798 3781 3767 3756 3745 3404 3807 3787 3772 3760 3749 3739 3819 3794 3778 3765 3753 3743 3402 3802 3784 3848 3758 3747 3401 3812 3790 3775 3762 3751 3741 3826 3798 3780 3767 3755 3745 3399 3807 3787 3772 3760 3749 3739 3818 3794 3777 3764 3753 3743 3397 3802 3783 3769 3757 3747 3396 3812 3790 3775 3762 3751 3741 3826 3840 3780 3767 3755 3745 3394 3806 3787 3772 3760 3749 3739 3818 3794 3777 3764 3753 3743 3392 3802 3783 3769 3757 3747 3391 3812 3790 3775 3762 3751 3741 3840 3798 3781 3767 3755 3745 3389 3807 3787 3772 3760 3749 3739 3819 3794 3778 3765 3753 3743 3387 3803 3784 3770 3758 3747 3738 3813 3791 3775 3762 3751 3741 3829 3799 3781 3767 3756 3745 3384 3808 3788 3773 3760 3749 3740 3823 3796 3779 3766 3754 3744 3330 3812 3791 3776 3763 3752 3742 3824 3798 3781 3768 3756 3746 3433 3805 3787 3772 3760 3750 3740 3815 3793 3777 3764 3753 3743 3828 3800 3782 3769 3757 3747 3430 3808 3788 3842 3761 3751 3741 3818 3795 3779 3766 3754 3744 3834 3802 3784 3770 3758 3748 3427 3810 3790 3775 3762 3752 3742 3822 3797 3780 3767 3850 3745 3425 3804 3786 3772 3760 3749 3424 3814 3792 3777 3764 3753 3743 3842 3799 3782 3768 3757 3842 3422 3807 3788 3773 3761 3750 3741 3817 3794 3778 3765 3754 3744 3833 3802 3784 3770 3758 3748 3419 3810 3790 3775 3762 3752 3742 3822 3797 3780 3767 3756 3745 3417 3805 3786 3772 3760 3749 3740 3814 3792 3777 3764 3753 3743 3828 3842 3782 3769 3757 3747 3414 3808 3788 3774 3761 3751 3741 3819 3795 3779 3766 3755 3745 3837 3803 3785 3771 3759 3748 3411 3812 3791 3776 3763 3752 3742 3842 3798 3781 3768 3756 3746 3409 3806 3787 3773 3761 3750 3740 3817 3794 3778 3765 3754 3744 3833 3801 3784 3770 3758 3748 3406 3850 3790 3775 3850 3752 3742 3823 3797 3780 3767 3756 3746 3404 3805 3786 3772 3760 3749 3740 3815 3793 3777 3765 3753 3744 3831 3801 3783 3769 3758 3747 3401 3810 3789 3775 3762 3751 3742 3822 3797 3780 3767 3755 3745 3399 3805 3786 3772 3760 3749 3740 3815 3793 3777 3764 3753 3743 3830 3800 3783 3769 3758 3747 3396 3810 3789 3774 3762 3751 3742 3822 3797 3780 3767 3755 3745 3394 3805 3786 3772 3760 3749 3740 3815 3793 3777 3765 3753 3743 3831 3801 3783 3769 3758 3747 3391 3810 3790 3775 3762 3751 3742 3823 3797 3780 3767 3756 3746 3389 3806 3787 3772 3760 3750 3740 3816 3794 3778 3765 3754 3744 3833 3802 3784 3770 3758 3748 3386 3811 3850 3775 3763 3752 3742 3827 3799 3782 3768 3757 3747 3331 3816 3794 3779 3766 3755 3745 3828 3801 3784 3770 3759 3748 3435 3809 3789 3775 3763 3752 3742 3818 3796 3780 3767 3756 3746 3833 3803 3785 3771 3760 3749 3432 3811 3791 3776 3764 3753 3743 3822 3797 3781 3768 3757 3747 3840 3805 3787 3773 3761 3750 3429 3814 3793 3778 3765 3754 3744 3826 3800 3783 3769 3758 3748 3427 3807 3789 3774 3762 3751 3742 3817 3795 3779 3766 3755 3745 3831 3802 3785 3771 3759 3749 3424 3810 3844 3776 3763 3753 3743 3821 3797 3781 3768 3757 3747 3839 3805 3787 3773 3761 3750 3421 3814 3793 3778 3765 3754 3744 3826 3800 3783 3770 3758 3748 3419 3808 3789 3774 3762 3752 3742 3818 3795 3779 3767 3756 3746 3832 3852 3785 3771 3760 3749 3416 3811 3791 3776 3764 3753 3743 3822 3798 3782 3768 3757 3747 3414 3806 3787 3773 3761 3751 3413 3815 3794 3778 3766 3755 3745 3829 3801 3784 3770 3759 3749 3411 3809 3790 3775 3763 3752 3743 3820 3797 3781 3768 3756 3746 3838 3804 3786 3772 3761 3750 3408 3814 3793 3778 3765 3754 3744 3826 3800 3783 3770 3758 3748 3406 3808 3789 3775 3763 3752 3742 3819 3796 3780 3767 3756 3746 3844 3804 3786 3772 3760 3750 3403 3813 3792 3777 3765 3754 3744 3825 3852 3783 3769 3758 3748 3401 3808 3789 3774 3762 3752 3742 3818 3796 3780 3767 3756 3746 3835 3803 3786 3772 3760 3750 3398 3813 3792 3777 3765 3754 3744 3825 3852 3783 3769 3758 3748 3396 3808 3789 3775 3762 3752 3742 3819 3796 3780 3767 3756 3746 3836 3804 3786 3772 3760 3750 3393 3813 3793 3777 3765 3754 3744 3826 3800 3783 3770 3758 3748 3391 3809 3789 3775 3763 3752 3742 3820 3844 3844 3768 3756 3746 3839 3805 3787 3773 3761 3750 3388 3815 3793 3778 3765 3754 3745 3831 3802 3785 3771 3759 3749 3332 3819 3797 3781 3768 3757 3747 3832 3804 3786 3773 3761 3751 3437 3812 3792 3854 3765 3846 3745 3822 3854 3854 3846 3758 3748 3846 3806 3788 3774 3762 3752 3434 3814 3794 3779 3766 3846 3746 3825 3800 3784 3771 3759 3749 3432 3808 3846 3775 3763 3753 3431 3817 3796 3780 3768 3757 3747 3830 3846 3786 3772 3761 3750 3429 3846 3791 3777 3765 3754 3744 3820 3798 3782 3769 3758 3748 3835 3805 3787 3774 3762 3751 3426 3854 3793 3778 3766 3755 3745 3825 3800 3784 3770 3759 3749 3424 3808 3789 3775 3763 3753 3423 3817 3796 3780 3768 3757 3747 3830 3803 3786 3772 3761 3750 3421 3811 3846 3777 3765 3754 3744 3821 3798 3782 3769 3758 3748 3837 3846 3788 3774 3762 3752 3418 3814 3794 3779 3766 3756 3746 3826 3801 3784 3771 3760 3749 3416 3809 3790 3776 3764 3753 3744 3819 3797 3781 3768 3757 3747 3833 3804 3787 3773 3761 3751 3413 3813 3793 3778 3766 3755 3745 3824 3800 3783 3770 3759 3749 3411 3854 3789 3775 3763 3753 3410 3817 3796 3780 3768 3757 3747 3846 3803 3786 3772 3761 3846 3408 3812 3792 3777 3765 3754 3745 3854 3799 3783 3770 3854 3748 3841 3807 3789 3775 3763 3752 3405 3816 3795 3780 3767 3756 3746 3829 3802 3846 3772 3846 3750 3403 3811 3792 3777 3765 3754 3745 3822 3799 3783 3770 3758 3748 3840 3846 3854 3846 3763 3752 3400 3816 3795 3780 3767 3756 3746 3829 3802 3846 3772 3846 3750 3398 3811 3792 3777 3765 3754 3745 3822 3799 3783 3770 3758 3748 3846 3807 3789 3775 3763 3752 3395 3817 3795 3780 3767 3756 3747 3846 3803 3786 3772 3761 3846 3393 3812 3792 3778 3765 3755 3745 3854 3799 3783 3770 3759 3749 3391 3808 3789 3775 3763 3753 3390 3818 3796 3781 3768 3757 3747 3854 3805 3787 3774 3762 3751 3333 3848 3800 3784 3771 3760 3750 3837 3807 3789 3775 3764 3753 3439 3815 3795 3780 3768 3757 3747 3856 3801 3785 3772 3761 3751 3843 3809 3791 3777 3765 3754 3436 3848 3797 3781 3769 3758 3748 3829 3803 3787 3773 3762 3752 3434 3811 3792 3778 3766 3755 3746 3856 3848 3783 3770 3759 3749 3834 3848 3788 3775 3763 3753 3431 3814 3794 3779 3767 3756 3747 3824 3801 3785 3772 3760 3750 3856 3808 3790 3776 3764 3754 3428 3817 3796 3781 3769 3758 3748 3828 3803 3786 3773 3762 3752 3426 3811 3792 3778 3766 3755 3746 3820 3798 3783 3770 3759 3749 3834 3806 3788 3775 3763 3753 3423 3814 3794 3780 3767 3757 3747 3825 3801 3785 3772 3761 3848 3848 3809 3791 3777 3765 3754 3420 3818 3797 3782 3769 3758 3748 3830 3804 3787 3774 3762 3752 3418 3812 3793 3848 3766 3756 3746 3822 3848 3784 3771 3760 3750 3848 3807 3789 3776 3764 3753 3415 3816 3796 3781 3768 3757 3748 3828 3803 3786 3773 3761 3751 3413 3811 3792 3778 3766 3755 3746 3848 3799 3783 3770 3759 3749 3835 3806 3789 3775 3763 3753 3410 3815 3795 3780 3768 3757 3747 3826 3802 3856 3772 3761 3751 3408 3810 3791 3777 3765 3755 3407 3820 3798 3783 3770 3759 3749 3834 3805 3788 3775 3763 3753 3405 3814 3848 3780 3767 3757 3747 3826 3848 3785 3772 3761 3751 3403 3810 3791 3777 3765 3755 3402 3848 3798 3782 3770 3759 3749 3834 3805 3788 3775 3763 3753 3400 3814 3795 3780 3768 3757 3747 3826 3802 3785 3772 3761 3751 3398 3810 3848 3777 3765 3755 3397 3820 3798 3783 3770 3759 3749 3835 3806 3789 3775 3763 3753 3395 3815 3795 3780 3768 3757 3747 3827 3802 3786 3773 3761 3751 3393 3811 3792 3778 3766 3755 3746 3821 3799 3783 3771 3759 3848 3841 3808 3790 3776 3764 3754 3334 3826 3803 3787 3774 3762 3752 3842 3810 3792 3778 3766 3756 3441 3818 3798 3783 3770 3760 3750 3829 3804 3788 3775 3763 3753 3439 3812 3793 3779 3767 3757 3438 3821 3800 3784 3772 3761 3751 3833 3806 3789 3776 3764 3754 3436 3814 3795 3781 3769 3758 3748 3824 3801 3786 3773 3762 3752 3838 3809 3791 3777 3766 3755 3433 3817 3797 3782 3770 3759 3749 3828 3804 3787 3774 3763 3753 3850 3811 3793 3779 3767 3756 3430 3820 3799 3784 3771 3760 3750 3832 3806 3789 3776 3764 3754 3428 3814 3795 3858 3768 3758 3748 3824 3801 3786 3773 3762 3752 3839 3809 3791 3777 3766 3755 3425 3817 3797 3782 3770 3759 3749 3828 3804 3788 3774 3763 3753 3423 3812 3793 3779 3767 3757 3422 3821 3800 3784 3772 3761 3751 3834 3807 3790 3776 3765 3754 3420 3815 3796 3781 3769 3758 3749 3826 3802 3786 3773 3762 3752 3843 3810 3792 3778 3766 3756 3417 3819 3798 3783 3771 3760 3750 3850 3806 3789 3775 3764 3754 3415 3814 3795 3780 3768 3758 3748 3824 3801 3786 3773 3762 3752 3840 3809 3791 3778 3766 3858 3412 3818 3798 3783 3770 3759 3750 3830 3805 3788 3775 3764 3753 3410 3813 3794 3780 3768 3757 3748 3823 3801 3785 3772 3761 3751 3838 3858 3791 3777 3766 3755 3407 3818 3797 3782 3770 3759 3858 3829 3804 3788 3775 3763 3753 3405 3813 3794 3780 3768 3757 3748 3823 3801 3785 3772 3761 3751 3838 3858 3791 3777 3766 3755 3402 3818 3797 3783 3770 3759 3750 3830 3805 3788 3775 3764 3753 3400 3813 3794 3780 3768 3757 3748 3824 3801 3785 3773 3762 3752 3840 3809 3791 3778 3766 3858 3397 3818 3798 3783 3770 3760 3750 3831 3805 3789 3775 3764 3754 3395 3814 3795 3781 3768 3758 3748 3825 3802 3786 3773 3762 3752 3847 3811 3793 3779 3767 3756 3335 3830 3806 3789 3776 3765 3755 3848 3813 3795 3781 3769 3758 3443 3822 3801 3786 3773 3762 3752 3833 3807 3791 3777 3766 3756 3441 3815 3796 3782 3770 3759 3750 3824 3802 3787 3774 3763 3753 3860 3809 3792 3779 3767 3757 3438 3817 3798 3783 3771 3760 3751 3828 3804 3788 3775 3764 3754 3843 3812 3794 3780 3768 3758 3435 3820 3800 3785 3772 3762 3752 3832 3807 3790 3777 3765 3755 3433 3814 3796 3852 3770 3759 3432 3824 3802 3852 3774 3763 3753 3837 3809 3792 3778 3767 3757 3430 3817 3798 3783 3771 3760 3751 3860 3804 3788 3775 3764 3754 3844 3812 3794 3780 3768 3758 3427 3821 3800 3785 3773 3762 3752 3832 3807 3790 3777 3766 3860 3425 3815 3796 3782 3770 3759 3750 3825 3803 3787 3774 3763 3753 3839 3810 3793 3779 3767 3757 3422 3818 3799 3784 3772 3761 3751 3829 3805 3789 3776 3765 3755 3849 3813 3795 3781 3769 3852 3419 3823 3801 3786 3773 3762 3753 3836 3809 3792 3778 3767 3756 3417 3817 3798 3783 3771 3760 3751 3828 3804 3788 3775 3764 3754 3845 3812 3794 3780 3768 3758 3414 3821 3801 3785 3773 3762 3752 3834 3808 3791 3778 3766 3756 3412 3816 3797 3783 3770 3760 3750 3827 3804 3788 3775 3764 3754 3843 3812 3794 3780 3768 3758 3409 3821 3800 3785 3773 3762 3752 3833 3807 3791 3777 3766 3756 3407 3816 3797 3782 3770 3760 3750 3827 3804 3788 3775 3764 3754 3843 3812 3794 3780 3768 3758 3404 3821 3800 3785 3773 3762 3752 3834 3808 3791 3778 3766 3756 3402 3816 3797 3783 3771 3760 3750 3827 3804 3788 3775 3764 3754 3845 3812 3794 3780 3768 3758 3399 3822 3801 3786 3773 3762 3752 3835 3808 3791 3778 3766 3756 3397 3817 3798 3783 3771 3760 3751 3829 3805 3789 3776 3765 3754 3346 3814 3796 3782 3770 3759 3336 3834 3809 3792 3779 3862 3757 3446 3816 3798 3783 3771 3761 3445 3825 3804 3788 3776 3765 3755 3837 3810 3793 3780 3768 3758 3443 3818 3799 3785 3773 3762 3752 3828 3805 3790 3777 3766 3756 3842 3812 3795 3781 3770 3759 3440 3821 3801 3786 3774 3763 3753 3831 3807 3791 3778 3767 3757 3849 3815 3797 3783 3771 3760 3437 3824 3803 3788 3775 3764 3754 3836 3810 3793 3779 3768 3758 3435 3817 3799 3784 3772 3854 3752 3827 3805 3789 3776 3765 3755 3841 3812 3795 3781 3769 3759 3432 3820 3801 3786 3774 3763 3753 3831 3807 3791 3778 3767 3757 3850 3815 3797 3783 3771 3760 3429 3824 3803 3788 3775 3764 3754 3836 3810 3793 3780 3768 3758 3427 3818 3799 3785 3772 3762 3752 3828 3806 3790 3777 3766 3756 3843 3813 3795 3782 3770 3759 3424 3822 3854 3787 3774 3763 3754 3833 3808 3792 3779 3767 3757 3422 3816 3798 3784 3772 3761 3421 3826 3804 3789 3776 3765 3755 3840 3812 3794 3781 3769 3759 3419 3820 3854 3786 3773 3763 3753 3831 3807 3791 3778 3767 3757 3851 3815 3797 3783 3771 3761 3416 3825 3862 3788 3776 3765 3755 3838 3811 3794 3780 3769 3758 3414 3819 3800 3785 3773 3762 3753 3830 3807 3791 3778 3766 3756 3849 3815 3797 3783 3771 3760 3411 3824 3803 3788 3775 3764 3754 3838 3854 3794 3780 3769 3758 3409 3819 3800 3785 3773 3762 3753 3830 3807 3791 3778 3766 3756 3849 3815 3797 3783 3771 3760 3406 3824 3803 3788 3775 3764 3755 3838 3811 3794 3780 3769 3758 3404 3820 3800 3785 3773 3762 3753 3831 3807 3791 3778 3767 3757 3851 3815 3797 3783 3771 3761 3401 3825 3804 3788 3776 3765 3755 3840 3811 3794 3781 3769 3759 3399 3854 3801 3786 3774 3763 3753 3832 3808 3792 3778 3767 3757 3348 3817 3799 3784 3772 3762 3752 3838 3812 3795 3782 3770 3760 3448 3819 3800 3786 3774 3763 3754 3829 3807 3791 3778 3767 3757 3842 3864 3796 3783 3771 3761 3445 3822 3802 3787 3775 3764 3755 3832 3808 3792 3779 3768 3758 3847 3816 3798 3784 3772 3762 3442 3824 3804 3789 3776 3765 3756 3835 3810 3794 3781 3769 3759 3440 3818 3800 3785 3773 3763 3439 3827 3806 3790 3778 3767 3757 3840 3813 3796 3782 3771 3760 3437 3821 3801 3787 3775 3764 3754 3831 3808 3792 3779 3768 3758 3846 3815 3856 3784 3772 3762 3434 3824 3804 3789 3776 3765 3756 3835 3810 3794 3781 3769 3759 3432 3818 3800 3785 3773 3763 3431 3864 3806 3790 3778 3767 3757 3841 3813 3796 3782 3771 3761 3429 3821 3802 3787 3775 3764 3755 3832 3856 3856 3780 3768 3758 3849 3816 3798 3784 3772 3762 3426 3825 3804 3789 3777 3766 3756 3837 3811 3795 3781 3770 3760 3424 3820 3801 3786 3774 3764 3754 3830 3807 3792 3779 3768 3758 3845 3815 3797 3783 3772 3761 3421 3824 3803 3864 3776 3765 3756 3835 3810 3794 3781 3769 3759 3419 3818 3800 3786 3774 3763 3754 3828 3806 3791 3778 3767 3757 3843 3814 3797 3783 3771 3761 3416 3823 3803 3788 3776 3765 3755 3834 3810 3856 3780 3769 3759 3414 3818 3799 3785 3773 3763 3413 3828 3806 3791 3778 3767 3757 3842 3814 3796 3783 3771 3761 3411 3864 3803 3788 3776 3765 3755 3834 3810 3793 3780 3769 3759 3409 3818 3799 3785 3773 3763 3408 3828 3806 3791 3778 3767 3757 3864 3814 3856 3783 3771 3761 3406 3823 3803 3788 3776 3765 3755 3835 3810 3794 3781 3769 3759 3404 3818 3800 3786 3774 3763 3754 3829 3807 3791 3778 3767 3757 3844 3856 3797 3783 3772 3761 3401 3824 3804 3789 3776 3765 3756 3836 3811 3794 3781 3770 3760 3350 3821 3801 3787 3775 3764 3754 3842 3815 3798 3784 3773 3762 3450 3823 3803 3789 3777 3766 3756 3832 3810 3794 3781 3770 3760 3858 3817 3799 3785 3774 3763 3447 3825 3805 3790 3778 3767 3757 3835 3811 3795 3782 3771 3761 3853 3819 3801 3787 3775 3764 3444 3828 3807 3858 3779 3768 3758 3839 3813 3797 3783 3772 3762 3442 3821 3802 3788 3776 3765 3756 3831 3809 3793 3780 3769 3759 3844 3816 3798 3785 3773 3763 3439 3824 3804 3790 3777 3767 3757 3866 3811 3795 3782 3866 3760 3852 3818 3800 3786 3775 3764 3436 3827 3806 3791 3779 3768 3758 3839 3813 3797 3783 3772 3762 3434 3821 3802 3788 3776 3765 3756 3831 3809 3793 3780 3769 3759 3845 3816 3799 3785 3773 3763 3431 3825 3805 3790 3778 3767 3757 3836 3812 3795 3782 3771 3761 3866 3819 3801 3787 3775 3765 3428 3829 3807 3792 3779 3768 3759 3842 3858 3798 3784 3773 3762 3426 3823 3804 3789 3777 3766 3756 3833 3810 3794 3781 3770 3760 3850 3818 3800 3786 3774 3764 3423 3827 3806 3791 3779 3768 3758 3839 3813 3797 3783 3772 3762 3421 3822 3803 3788 3776 3766 3756 3832 3809 3794 3781 3770 3760 3848 3817 3799 3786 3774 3858 3418 3826 3806 3791 3778 3767 3758 3838 3813 3796 3783 3772 3761 3416 3821 3802 3788 3776 3765 3756 3831 3809 3793 3781 3769 3858 3847 3817 3799 3785 3774 3763 3413 3826 3806 3791 3778 3767 3758 3838 3813 3796 3783 3772 3761 3411 3821 3802 3788 3776 3765 3756 3832 3809 3793 3781 3858 3760 3847 3817 3799 3786 3774 3763 3408 3826 3806 3791 3778 3768 3758 3839 3813 3797 3783 3772 3762 3406 3822 3803 3788 3776 3766 3756 3832 3810 3794 3781 3770 3760 3866 3818 3800 3786 3774 3764 3403 3827 3858 3791 3779 3768 3758 3858 3814 3797 3784 3772 3762 3352 3824 3804 3790 3777 3767 3757 3847 3818 3801 3787 3775 3765 3452 3826 3806 3792 3779 3769 3759 3836 3813 3797 3784 3772 3762 3852 3820 3802 3788 3776 3766 3449 3828 3808 3793 3780 3770 3760 3839 3814 3798 3785 3773 3763 3447 3822 3804 3789 3777 3767 3446 3831 3810 3794 3782 3771 3761 3844 3860 3800 3786 3775 3764 3444 3868 3805 3791 3779 3768 3758 3834 3812 3796 3783 3772 3762 3849 3819 3801 3788 3776 3765 3441 3827 3807 3792 3780 3769 3759 3838 3814 3798 3784 3773 3763 3439 3822 3803 3789 3777 3767 3438 3831 3809 3794 3781 3868 3761 3843 3816 3868 3786 3868 3764 3436 3825 3805 3791 3779 3768 3758 3835 3812 3796 3783 3772 3762 3850 3819 3802 3788 3776 3766 3433 3828 3808 3793 3780 3769 3760 3840 3815 3798 3785 3773 3763 3431 3860 3804 3790 3778 3767 3758 3832 3810 3795 3782 3771 3761 3846 3818 3800 3787 3775 3765 3428 3826 3806 3792 3779 3769 3759 3837 3813 3797 3784 3773 3763 3860 3821 3803 3789 3777 3766 3425 3831 3809 3794 3781 3770 3761 3844 3817 3800 3786 3775 3764 3423 3825 3806 3791 3779 3768 3759 3836 3812 3796 3783 3772 3762 3853 3820 3802 3788 3860 3766 3420 3830 3809 3794 3781 3770 3760 3842 3816 3799 3786 3774 3764 3418 3824 3805 3791 3779 3768 3758 3835 3812 3796 3783 3772 3762 3852 3820 3802 3788 3776 3766 3415 3829 3809 3793 3781 3770 3760 3842 3816 3799 3786 3774 3764 3413 3824 3805 3791 3779 3768 3758 3835 3812 3796 3783 3772 3762 3853 3820 3802 3788 3776 3766 3410 3830 3809 3794 3781 3770 3760 3843 3816 3799 3786 3774 3764 3408 3825 3806 3791 3779 3768 3759 3836 3813 3797 3784 3772 3762 3856 3821 3803 3789 3777 3766 3405 3831 3809 3794 3860 3771 3761 3845 3817 3800 3786 3775 3765 3354 3827 3807 3792 3780 3769 3759 3852 3821 3803 3790 3778 3768 3454 3829 3809 3794 3782 3771 3761 3840 3816 3799 3786 3775 3765 3858 3823 3805 3791 3779 3768 3451 3832 3811 3796 3783 3772 3762 3862 3818 3801 3787 3776 3766 3449 3825 3806 3792 3780 3769 3760 3835 3813 3797 3784 3773 3763 3848 3820 3802 3789 3777 3767 3446 3828 3808 3794 3781 3771 3761 3838 3815 3799 3786 3774 3764 3855 3822 3804 3790 3778 3768 3443 3831 3810 3795 3783 3772 3762 3842 3817 3800 3787 3776 3766 3441 3825 3806 3792 3780 3769 3760 3834 3812 3797 3784 3773 3763 3848 3820 3802 3789 3777 3767 3438 3828 3808 3794 3781 3771 3761 3839 3815 3799 3786 3775 3764 3856 3870 3804 3870 3779 3768 3435 3832 3811 3796 3783 3772 3762 3844 3818 3801 3788 3776 3766 3433 3826 3807 3792 3780 3770 3760 3836 3813 3798 3785 3774 3764 3851 3821 3803 3789 3778 3767 3430 3830 3809 3862 3782 3771 3762 3841 3816 3800 3787 3775 3765 3428 3824 3806 3792 3780 3769 3427 3834 3812 3797 3784 3773 3763 3848 3820 3802 3789 3777 3767 3425 3828 3809 3794 3782 3771 3761 3840 3870 3799 3786 3775 3765 3423 3823 3805 3791 3779 3769 3422 3833 3812 3796 3784 3773 3763 3847 3819 3802 3788 3777 3767 3420 3828 3808 3862 3781 3771 3761 3839 3815 3799 3786 3775 3765 3859 3823 3805 3791 3779 3768 3417 3833 3862 3796 3784 3773 3763 3847 3819 3802 3788 3777 3767 3415 3828 3808 3862 3781 3771 3761 3839 3815 3799 3786 3775 3765 3413 3823 3805 3791 3779 3769 3412 3833 3812 3796 3784 3773 3763 3870 3819 3802 3789 3777 3767 3410 3828 3809 3794 3782 3771 3761 3840 3816 3799 3786 3775 3765 3408 3824 3806 3791 3779 3769 3407 3834 3812 3797 3784 3773 3763 3850 3820 3803 3789 3870 3767 3356 3831 3810 3795 3783 3772 3762 3872 3824 3806 3792 3781 3770 3456 3833 3812 3797 3785 3774 3764 3844 3819 3802 3789 3778 3767 3454 3826 3808 3794 3782 3771 3453 3835 3814 3798 3786 3775 3765 3848 3821 3804 3790 3779 3768 3451 3829 3809 3795 3783 3772 3762 3838 3816 3800 3787 3776 3766 3853 3823 3805 3864 3780 3769 3448 3831 3811 3796 3784 3773 3763 3842 3818 3801 3788 3777 3767 3862 3825 3807 3793 3781 3771 3445 3834 3813 3798 3785 3774 3765 3847 3820 3803 3790 3778 3768 3443 3828 3809 3795 3782 3772 3762 3838 3815 3800 3787 3776 3766 3853 3823 3805 3791 3780 3769 3440 3831 3811 3796 3784 3773 3763 3843 3818 3802 3788 3777 3767 3438 3826 3807 3793 3781 3771 3437 3835 3814 3798 3786 3775 3765 3848 3821 3804 3790 3779 3768 3435 3829 3810 3795 3783 3772 3763 3840 3816 3800 3787 3776 3766 3857 3824 3806 3792 3780 3770 3432 3833 3812 3797 3785 3774 3764 3845 3819 3803 3789 3778 3768 3430 3828 3809 3794 3782 3772 3762 3838 3815 3800 3787 3776 3766 3853 3823 3805 3792 3780 3769 3427 3832 3812 3797 3784 3773 3764 3844 3819 3802 3789 3777 3767 3425 3827 3808 3794 3782 3771 3762 3837 3815 3799 3786 3775 3765 3852 3822 3805 3791 3779 3769 3422 3831 3811 3796 3784 3773 3763 3843 3818 3802 3789 3777 3767 3420 3826 3808 3794 3782 3771 3864 3864 3815 3799 3786 3775 3765 3851 3822 3805 3791 3779 3769 3417 3831 3811 3796 3784 3773 3763 3843 3818 3802 3789 3777 3767 3415 3827 3808 3794 3782 3771 3762 3837 3815 3799 3786 3775 3765 3852 3823 3805 3791 3780 3769 3412 3832 3812 3797 3784 3773 3764 3844 3819 3802 3789 3778 3767 3410 3827 3809 3794 3782 3864 3762 3838 3864 3800 3787 3776 3766 3855 3872 3806 3792 3780 3770 3358 3834 3813 3798 3785 3774 3765 3459 3828 3809 3795 3783 3773 3458 3836 3815 3800 3787 3776 3767 3848 3822 3805 3792 3780 3770 3456 3830 3811 3796 3784 3774 3764 3839 3817 3801 3788 3777 3767 3853 3824 3807 3793 3781 3771 3453 3832 3812 3798 3785 3775 3765 3842 3819 3803 3790 3778 3768 3859 3826 3808 3794 3782 3772 3450 3835 3814 3799 3787 3776 3766 3846 3821 3804 3791 3780 3769 3448 3829 3810 3796 3784 3773 3764 3838 3816 3801 3788 3777 3767 3851 3823 3806 3793 3781 3771 3445 3832 3812 3797 3785 3774 3765 3842 3819 3803 3790 3778 3768 3866 3826 3808 3794 3782 3772 3442 3835 3814 3799 3787 3776 3766 3847 3821 3866 3791 3780 3770 3440 3829 3810 3796 3784 3773 3764 3839 3817 3801 3788 3777 3767 3853 3824 3807 3793 3781 3771 3437 3833 3813 3798 3786 3775 3765 3844 3866 3803 3790 3779 3769 3866 3827 3809 3795 3783 3773 3434 3837 3815 3800 3787 3776 3767 3850 3823 3806 3792 3781 3770 3432 3831 3812 3797 3785 3774 3765 3842 3818 3802 3789 3778 3768 3859 3826 3808 3794 3782 3772 3429 3835 3815 3799 3787 3776 3766 3848 3822 3805 3792 3780 3770 3427 3830 3811 3797 3784 3774 3764 3841 3818 3802 3789 3778 3768 3857 3825 3808 3794 3782 3772 3424 3835 3814 3799 3787 3776 3766 3847 3821 3805 3791 3780 3770 3422 3830 3811 3796 3784 3774 3764 3840 3818 3802 3789 3778 3768 3857 3825 3808 3794 3782 3772 3419 3835 3814 3799 3787 3776 3766 3847 3821 3805 3791 3780 3770 3417 3830 3811 3866 3784 3774 3764 3841 3818 3802 3789 3778 3768 3858 3826 3808 3794 3782 3772 3414 3835 3815 3799 3787 3776 3766 3866 3822 3805 3792 3780 3770 3412 3831 3866 3797 3785 3774 3764 3842 3819 3803 3790 3778 3768 3861 3827 3809 3795 3783 3772 3360 3838 3816 3801 3788 3777 3767 3461 3831 3812 3798 3786 3775 3766 3840 3818 3803 3790 3779 3769 3853 3825 3808 3794 3783 3773 3458 3833 3814 3799 3787 3776 3767 3843 3820 3804 3791 3780 3770 3858 3827 3809 3796 3784 3774 3455 3868 3815 3800 3788 3777 3767 3846 3822 3806 3792 3781 3771 3453 3829 3811 3797 3785 3775 3452 3838 3817 3802 3789 3778 3769 3851 3824 3807 3794 3782 3772 3450 3832 3813 3799 3786 3776 3766 3842 3819 3804 3791 3780 3770 3856 3868 3809 3795 3784 3773 3447 3835 3815 3800 3788 3777 3767 3846 3822 3805 3792 3781 3771 3868 3829 3811 3797 3785 3775 3444 3868 3817 3802 3789 3778 3769 3851 3824 3807 3794 3782 3772 3442 3832 3813 3799 3787 3776 3766 3843 3820 3804 3791 3780 3770 3858 3827 3810 3796 3784 3774 3439 3836 3816 3801 3788 3777 3768 3848 3823 3806 3793 3868 3771 3437 3831 3812 3798 3786 3775 3766 3840 3818 3803 3790 3779 3769 3868 3826 3809 3795 3783 3773 3434 3876 3815 3800 3788 3777 3767 3846 3868 3805 3792 3781 3771 3432 3829 3811 3797 3785 3775 3431 3839 3818 3802 3790 3779 3769 3852 3825 3808 3794 3783 3772 3429 3868 3814 3799 3787 3776 3767 3876 3821 3805 3792 3876 3770 3863 3829 3811 3797 3785 3774 3426 3838 3817 3802 3789 3778 3768 3852 3868 3808 3794 3783 3772 3424 3833 3814 3799 3787 3776 3767 3844 3821 3805 3792 3780 3770 3863 3829 3811 3797 3785 3774 3421 3838 3817 3802 3789 3778 3768 3852 3825 3808 3794 3783 3772 3419 3833 3814 3799 3787 3776 3767 3845 3821 3805 3792 3781 3876 3868 3829 3811 3797 3785 3774 3416 3839 3818 3802 3790 3779 3769 3853 3825 3808 3868 3783 3773 3414 3834 3876 3800 3787 3777 3767 3846 3822 3805 3792 3781 3771 3412 3830 3812 3797 3785 3775 3362 3842 3819 3804 3791 3780 3770 3463 3834 3815 3801 3789 3778 3768 3844 3821 3806 3793 3782 3772 3858 3828 3811 3797 3786 3775 3460 3870 3817 3802 3790 3779 3769 3847 3823 3807 3794 3783 3773 3864 3830 3812 3798 3787 3776 3457 3839 3818 3803 3791 3780 3770 3851 3825 3808 3795 3784 3774 3455 3833 3814 3800 3788 3777 3768 3842 3820 3805 3792 3781 3771 3855 3827 3810 3797 3785 3775 3452 3835 3816 3801 3789 3778 3769 3846 3822 3806 3793 3782 3772 3862 3830 3812 3798 3786 3776 3449 3839 3818 3803 3791 3780 3770 3850 3825 3808 3795 3784 3773 3447 3833 3814 3800 3788 3777 3768 3842 3820 3805 3792 3781 3771 3856 3870 3810 3797 3785 3775 3444 3836 3816 3802 3789 3779 3769 3847 3823 3807 3794 3783 3772 3878 3831 3813 3799 3787 3776 3441 3840 3819 3804 3791 3780 3770 3852 3826 3809 3796 3784 3774 3439 3834 3815 3801 3788 3778 3768 3844 3822 3806 3793 3782 3772 3860 3829 3811 3798 3786 3776 3436 3838 3818 3803 3790 3779 3770 3850 3825 3808 3795 3784 3773 3434 3833 3814 3800 3788 3777 3768 3843 3821 3805 3792 3781 3771 3857 3828 3811 3797 3785 3775 3431 3837 3817 3802 3790 3779 3769 3849 3824 3808 3794 3783 3773 3429 3832 3814 3799 3787 3777 3428 3842 3820 3805 3792 3781 3771 3856 3828 3810 3797 3785 3775 3426 3837 3817 3802 3790 3779 3769 3848 3824 3870 3794 3783 3773 3424 3832 3814 3799 3787 3777 3423 3842 3820 3805 3792 3781 3771 3857 3828 3811 3797 3785 3775 3421 3837 3817 3802 3790 3779 3769 3849 3824 3808 3795 3783 3773 3419 3832 3814 3800 3788 3777 3768 3843 3821 3805 3792 3781 3771 3858 3828 3811 3797 3786 3775 3416 3838 3870 3803 3790 3779 3770 3850 3825 3808 3795 3784 3773 3414 3833 3815 3800 3788 3778 3768 3846 3822 3806 3793 3782 3772 3345 3838 3818 3872 3791 3781 3771 3848 3824 3808 3880 3784 3774 3863 3832 3814 3800 3788 3778 3462 3840 3820 3805 3792 3781 3772 3851 3826 3810 3797 3785 3775 3460 3834 3815 3801 3789 3779 3459 3843 3821 3806 3793 3880 3773 3855 3828 3811 3798 3786 3776 3457 3836 3817 3803 3790 3780 3770 3846 3823 3808 3795 3784 3774 3860 3831 3813 3799 3788 3777 3454 3839 3819 3804 3792 3781 3771 3850 3826 3809 3796 3785 3775 3869 3833 3815 3801 3789 3778 3451 3842 3821 3806 3793 3782 3772 3872 3828 3811 3798 3786 3776 3449 3836 3817 3803 3790 3780 3770 3846 3823 3808 3795 3784 3774 3861 3831 3813 3799 3788 3777 3446 3839 3819 3804 3792 3781 3771 3851 3826 3810 3797 3785 3775 3444 3834 3880 3801 3789 3779 3443 3843 3822 3806 3794 3783 3773 3857 3829 3812 3798 3787 3777 3441 3880 3818 3803 3791 3780 3771 3848 3825 3809 3796 3784 3774 3866 3832 3814 3800 3789 3778 3438 3842 3821 3806 3793 3782 3772 3854 3828 3811 3798 3786 3776 3436 3836 3817 3803 3880 3780 3770 3847 3824 3808 3795 3784 3774 3863 3831 3814 3800 3788 3778 3433 3841 3820 3805 3793 3782 3772 3853 3827 3811 3797 3786 3776 3431 3880 3817 3802 3790 3780 3770 3846 3823 3808 3795 3784 3774 3862 3831 3813 3800 3788 3880 3428 3840 3820 3805 3792 3872 3772 3852 3827 3810 3797 3786 3776 3426 3835 3817 3802 3790 3779 3770 3846 3823 3808 3795 3784 3774 3862 3831 3813 3800 3788 3778 3423 3840 3820 3805 3792 3782 3772 3853 3827 3811 3797 3786 3776 3421 3836 3817 3802 3790 3780 3770 3847 3824 3808 3795 3784 3774 3864 3832 3814 3800 3788 3778 3418 3841 3821 3805 3793 3782 3772 3855 3828 3811 3798 3786 3776 3416 3837 3818 3803 3791 3780 3880 3850 3826 3809 3796 3785 3775 3346 3841 3821 3806 3794 3783 3773 3852 3828 3811 3798 3787 3777 3870 3835 3817 3803 3791 3780 3464 3844 3823 3808 3795 3784 3774 3855 3829 3813 3799 3788 3778 3462 3837 3818 3804 3792 3781 3772 3847 3825 3809 3796 3785 3775 3860 3874 3814 3801 3789 3779 3459 3840 3820 3805 3793 3782 3773 3850 3827 3811 3798 3786 3776 3866 3834 3816 3802 3790 3780 3456 3843 3822 3807 3795 3784 3774 3854 3829 3812 3799 3788 3777 3454 3874 3818 3804 3792 3781 3772 3846 3824 3809 3796 3785 3775 3859 3831 3814 3801 3789 3779 3451 3840 3820 3805 3793 3782 3773 3850 3827 3811 3798 3786 3776 3867 3834 3816 3802 3790 3780 3448 3843 3822 3807 3795 3784 3774 3855 3829 3813 3799 3788 3778 3446 3837 3882 3804 3792 3781 3772 3847 3825 3809 3874 3785 3775 3862 3832 3815 3801 3790 3779 3443 3841 3821 3806 3794 3783 3773 3852 3828 3812 3798 3787 3777 3441 3836 3817 3803 3791 3781 3440 3845 3824 3808 3796 3785 3775 3859 3831 3814 3800 3789 3779 3438 3840 3820 3805 3793 3782 3773 3851 3827 3811 3798 3787 3776 3869 3835 3817 3803 3791 3780 3435 3844 3823 3808 3795 3784 3774 3857 3830 3813 3800 3788 3778 3433 3839 3820 3805 3793 3782 3773 3850 3826 3810 3882 3786 3776 3868 3834 3816 3802 3791 3780 3430 3844 3823 3808 3795 3784 3774 3857 3830 3813 3800 3788 3778 3428 3839 3820 3805 3793 3782 3772 3850 3826 3810 3882 3786 3776 3868 3834 3816 3802 3791 3780 3425 3844 3823 3808 3795 3784 3774 3858 3874 3814 3800 3789 3778 3423 3839 3820 3805 3793 3782 3773 3851 3827 3811 3798 3787 3776 3871 3835 3817 3803 3791 3780 3420 3845 3824 3808 3796 3785 3775 3859 3831 3814 3801 3789 3779 3418 3840 3821 3806 3794 3783 3773 3854 3829 3812 3799 3788 3777 3347 3845 3824 3809 3797 3786 3776 3856 3831 3814 3801 3790 3779 3467 3838 3820 3806 3794 3783 3884 3884 3826 3810 3798 3787 3777 3860 3833 3816 3802 3791 3780 3464 3841 3821 3807 3795 3784 3774 3850 3828 3812 3799 3788 3778 3865 3835 3817 3884 3792 3781 3461 3843 3823 3808 3796 3785 3775 3854 3830 3813 3800 3789 3779 3873 3837 3819 3805 3793 3783 3458 3846 3825 3810 3797 3786 3776 3884 3832 3815 3802 3790 3780 3456 3840 3821 3876 3794 3784 3774 3850 3827 3812 3799 3788 3778 3864 3835 3817 3803 3792 3781 3453 3843 3823 3808 3796 3785 3775 3854 3830 3884 3800 3789 3779 3451 3884 3819 3805 3793 3783 3450 3847 3825 3810 3876 3787 3777 3860 3833 3816 3802 3791 3780 3448 3841 3822 3807 3795 3784 3774 3851 3828 3812 3799 3788 3778 3884 3836 3818 3804 3792 3782 3445 3845 3824 3809 3797 3786 3776 3857 3831 3814 3801 3790 3780 3443 3839 3820 3806 3794 3783 3774 3849 3827 3811 3884 3787 3777 3864 3834 3817 3803 3792 3781 3440 3843 3823 3808 3796 3785 3775 3855 3830 3814 3801 3789 3779 3438 3838 3820 3805 3876 3783 3437 3848 3826 3811 3798 3787 3777 3862 3834 3816 3803 3791 3781 3435 3876 3823 3808 3796 3785 3775 3854 3830 3813 3800 3789 3779 3433 3838 3819 3805 3793 3783 3432 3848 3826 3811 3798 3787 3777 3862 3884 3816 3803 3791 3781 3430 3842 3823 3808 3796 3785 3775 3854 3830 3813 3800 3789 3779 3428 3838 3819 3805 3793 3783 3427 3848 3826 3811 3798 3787 3777 3884 3834 3876 3803 3791 3781 3425 3843 3823 3808 3796 3785 3775 3855 3830 3814 3801 3789 3779 3423 3876 3820 3806 3794 3783 3774 3849 3827 3811 3798 3787 3777 3876 3835 3817 3803 3792 3781 3420 3844 3824 3809 3796 3785 3776 3859 3832 3815 3802 3790 3780 3348 3849 3827 3812 3799 3788 3779 3861 3834 3817 3804 3792 3782 3469 3842 3823 3808 3796 3786 3776 3851 3829 3813 3801 3789 3886 3865 3836 3819 3805 3793 3783 3466 3844 3824 3810 3797 3787 3777 3878 3831 3815 3802 3878 3780 3871 3838 3820 3806 3886 3784 3463 3847 3826 3811 3799 3788 3778 3858 3833 3816 3803 3792 3782 3461 3841 3822 3808 3796 3785 3776 3850 3828 3813 3800 3789 3779 3863 3835 3818 3805 3793 3783 3458 3878 3824 3809 3797 3786 3777 3854 3878 3878 3802 3790 3780 3870 3838 3820 3806 3794 3784 3455 3847 3826 3811 3799 3788 3778 3878 3833 3816 3803 3792 3782 3453 3841 3822 3808 3796 3785 3776 3851 3829 3813 3800 3789 3779 3865 3836 3819 3805 3793 3783 3450 3844 3825 3810 3798 3787 3777 3855 3831 3815 3802 3791 3781 3886 3839 3821 3807 3795 3784 3447 3848 3827 3812 3799 3788 3779 3861 3834 3817 3804 3792 3782 3445 3843 3823 3809 3797 3786 3776 3853 3830 3814 3801 3790 3780 3870 3838 3820 3806 3794 3784 3442 3847 3826 3811 3799 3788 3778 3859 3833 3817 3803 3792 3782 3440 3842 3823 3808 3796 3786 3776 3852 3829 3814 3801 3790 3780 3868 3837 3819 3806 3794 3878 3437 3846 3826 3811 3798 3787 3778 3858 3833 3816 3803 3792 3781 3435 3841 3822 3808 3796 3785 3776 3878 3829 3813 3801 3886 3780 3867 3837 3819 3886 3794 3783 3432 3846 3826 3811 3798 3787 3778 3858 3833 3816 3803 3792 3781 3430 3841 3822 3808 3796 3785 3776 3852 3829 3814 3801 3790 3780 3868 3837 3886 3806 3794 3784 3427 3847 3826 3811 3799 3788 3778 3859 3833 3817 3803 3792 3782 3425 3842 3823 3809 3796 3786 3776 3853 3830 3814 3801 3790 3780 3886 3838 3820 3806 3794 3784 3422 3848 3827 3812 3799 3788 3778 3863 3835 3818 3805 3793 3783 3349 3853 3831 3815 3802 3791 3781 3866 3837 3820 3807 3795 3785 3471 3845 3826 3811 3799 3788 3779 3855 3832 3816 3803 3792 3782 3871 3839 3822 3808 3796 3786 3468 3848 3828 3813 3800 3789 3780 3859 3834 3818 3805 3793 3783 3466 3842 3823 3809 3797 3787 3465 3851 3829 3814 3801 3790 3781 3863 3836 3819 3806 3794 3784 3463 3844 3825 3811 3888 3788 3778 3854 3831 3816 3803 3792 3782 3869 3839 3821 3807 3796 3785 3460 3847 3827 3812 3800 3789 3779 3858 3834 3817 3804 3793 3783 3458 3841 3823 3809 3797 3787 3457 3851 3829 3814 3801 3790 3781 3863 3836 3819 3806 3794 3784 3455 3844 3825 3811 3799 3788 3778 3855 3832 3816 3803 3792 3782 3870 3839 3822 3808 3796 3786 3452 3848 3828 3813 3800 3789 3780 3860 3835 3818 3805 3793 3783 3450 3880 3824 3810 3798 3787 3778 3852 3830 3815 3802 3791 3781 3866 3838 3820 3807 3795 3785 3447 3846 3827 3812 3888 3789 3779 3857 3833 3817 3804 3793 3783 3877 3841 3823 3809 3797 3880 3444 3851 3829 3814 3801 3790 3781 3864 3837 3820 3806 3795 3784 3442 3845 3826 3811 3799 3788 3779 3856 3833 3817 3804 3792 3782 3874 3840 3822 3808 3797 3786 3439 3850 3829 3814 3801 3790 3780 3863 3836 3819 3806 3794 3784 3437 3845 3825 3811 3799 3788 3778 3856 3832 3816 3803 3792 3782 3873 3840 3822 3808 3880 3786 3434 3850 3829 3814 3801 3790 3780 3863 3836 3819 3806 3794 3784 3432 3845 3826 3811 3799 3788 3778 3856 3880 3880 3804 3792 3782 3874 3841 3880 3809 3797 3786 3429 3850 3829 3814 3801 3790 3780 3864 3837 3820 3806 3795 3784 3427 3846 3826 3811 3799 3788 3779 3857 3833 3817 3804 3793 3783 3425 3841 3823 3809 3797 3787 3424 3852 3830 3888 3802 3791 3781 3869 3839 3821 3807 3796 3785 3350 3857 3834 3818 3805 3794 3784 3871 3841 3823 3809 3798 3787 3473 3849 3829 3814 3802 3791 3781 3860 3835 3819 3806 3795 3785 3890 3843 3825 3811 3799 3788 3470 3852 3831 3816 3803 3792 3782 3863 3837 3821 3807 3796 3786 3468 3845 3826 3812 3800 3789 3780 3855 3833 3817 3804 3793 3783 3868 3840 3822 3809 3797 3787 3465 3848 3828 3882 3801 3791 3781 3858 3835 3819 3806 3794 3784 3875 3842 3824 3810 3798 3788 3462 3851 3830 3815 3803 3792 3782 3890 3837 3820 3807 3796 3786 3460 3845 3826 3812 3800 3789 3780 3854 3890 3817 3804 3793 3783 3868 3840 3822 3809 3797 3787 3457 3848 3828 3814 3801 3791 3781 3859 3835 3819 3806 3795 3785 3877 3843 3825 3811 3799 3788 3454 3852 3831 3816 3803 3792 3782 3864 3838 3821 3808 3796 3786 3452 3846 3827 3813 3800 3790 3780 3856 3834 3818 3805 3794 3784 3872 3841 3823 3810 3798 3788 3449 3850 3830 3815 3802 3791 3782 3862 3837 3820 3807 3795 3785 3447 3845 3826 3812 3800 3789 3780 3855 3833 3817 3804 3793 3783 3869 3840 3823 3809 3797 3787 3444 3849 3829 3814 3802 3791 3781 3860 3836 3820 3806 3795 3785 3442 3844 3825 3811 3799 3789 3441 3854 3832 3817 3804 3793 3783 3868 3882 3822 3809 3797 3787 3439 3848 3829 3814 3802 3791 3781 3860 3836 3819 3806 3795 3785 3437 3844 3825 3811 3799 3789 3436 3854 3832 3817 3804 3793 3783 3868 3882 3822 3809 3797 3787 3434 3848 3829 3814 3802 3791 3781 3860 3836 3819 3806 3795 3785 3432 3844 3826 3811 3799 3789 3431 3854 3832 3817 3804 3793 3783 3869 3840 3823 3809 3797 3787 3429 3849 3829 3814 3802 3791 3781 3861 3836 3820 3807 3795 3785 3427 3845 3826 3812 3800 3789 3780 3890 3833 3817 3805 3793 3784 3875 3842 3824 3810 3798 3788 3351 3861 3837 3821 3808 3797 3787 3877 3844 3826 3812 3801 3790 3475 3853 3832 3817 3805 3794 3784 3864 3839 3822 3809 3798 3787 3473 3846 3828 3814 3802 3791 3472 3855 3834 3818 3806 3795 3785 3868 3841 3824 3810 3799 3788 3470 3849 3829 3815 3803 3792 3782 3859 3836 3820 3807 3796 3786 3892 3843 3825 3812 3800 3789 3467 3851 3831 3816 3804 3793 3783 3862 3838 3822 3808 3797 3787 3465 3884 3827 3813 3801 3791 3464 3855 3833 3818 3805 3794 3785 3867 3840 3823 3810 3798 3788 3462 3848 3829 3815 3803 3792 3782 3892 3836 3820 3807 3796 3786 3874 3843 3825 3812 3800 3790 3459 3852 3884 3817 3804 3793 3784 3863 3838 3822 3809 3797 3787 3457 3846 3828 3813 3801 3791 3456 3856 3834 3819 3806 3795 3785 3869 3841 3824 3884 3799 3789 3454 3850 3830 3815 3803 3792 3783 3860 3837 3821 3808 3796 3786 3878 3892 3826 3892 3801 3790 3451 3854 3833 3818 3805 3794 3784 3866 3840 3823 3810 3798 3788 3449 3848 3829 3815 3803 3792 3782 3859 3836 3820 3807 3796 3786 3875 3843 3826 3812 3800 3790 3446 3853 3832 3817 3805 3794 3784 3865 3839 3823 3809 3798 3788 3444 3847 3829 3814 3802 3884 3782 3858 3835 3820 3807 3796 3786 3873 3843 3825 3812 3800 3789 3441 3852 3832 3817 3804 3793 3784 3864 3839 3822 3809 3798 3787 3439 3847 3828 3814 3802 3791 3782 3858 3835 3819 3807 3796 3786 3873 3843 3825 3812 3800 3789 3436 3852 3832 3817 3804 3892 3784 3865 3839 3822 3809 3798 3788 3434 3848 3829 3814 3802 3792 3782 3858 3836 3820 3807 3796 3786 3875 3843 3826 3812 3800 3790 3431 3853 3832 3817 3805 3794 3784 3866 3840 3823 3810 3798 3788 3429 3848 3829 3815 3803 3792 3782 3860 3836 3820 3807 3796 3786 3378 3846 3827 3813 3801 3791 3352 3865 3840 3824 3811 3799 3789 3478 3848 3829 3815 3803 3793 3477 3857 3835 3820 3807 3796 3787 3869 3842 3825 3812 3800 3790 3475 3850 3831 3816 3804 3794 3784 3859 3837 3821 3809 3797 3788 3873 3844 3827 3813 3801 3791 3472 3852 3833 3818 3806 3795 3785 3863 3839 3823 3810 3799 3789 3880 3846 3828 3814 3803 3792 3469 3855 3834 3819 3807 3796 3786 3867 3841 3825 3811 3800 3790 3467 3849 3830 3816 3804 3793 3784 3859 3837 3821 3808 3797 3787 3872 3844 3826 3813 3801 3791 3464 3852 3832 3818 3805 3795 3785 3863 3839 3823 3810 3799 3886 3880 3886 3894 3886 3803 3792 3461 3856 3835 3886 3807 3796 3786 3868 3842 3825 3812 3800 3790 3459 3850 3831 3816 3804 3794 3784 3860 3837 3822 3809 3798 3788 3886 3845 3827 3813 3802 3791 3456 3853 3833 3818 3806 3795 3785 3865 3840 3824 3811 3799 3789 3454 3848 3830 3815 3803 3793 3453 3858 3836 3821 3808 3797 3787 3871 3843 3826 3813 3801 3791 3451 3852 3832 3818 3805 3795 3785 3863 3839 3823 3810 3799 3789 3882 3847 3829 3815 3803 3792 3448 3856 3835 3820 3807 3796 3787 3886 3894 3826 3812 3801 3790 3446 3851 3832 3817 3805 3794 3785 3862 3886 3886 3810 3798 3788 3880 3846 3828 3814 3803 3792 3443 3856 3835 3820 3807 3796 3786 3869 3842 3825 3812 3800 3790 3441 3851 3886 3817 3805 3794 3784 3862 3838 3822 3809 3798 3788 3880 3846 3828 3814 3803 3792 3438 3856 3835 3820 3807 3796 3786 3869 3842 3825 3812 3800 3790 3436 3851 3832 3817 3805 3794 3785 3862 3839 3823 3810 3798 3788 3882 3847 3829 3815 3803 3792 3433 3857 3835 3820 3886 3797 3787 3871 3843 3826 3812 3801 3791 3431 3852 3832 3818 3805 3795 3785 3864 3840 3823 3810 3799 3789 3380 3849 3830 3816 3804 3793 3784 3870 3844 3827 3814 3802 3792 3480 3851 3832 3818 3806 3795 3786 3861 3839 3823 3810 3799 3789 3874 3896 3828 3815 3803 3793 3477 3854 3834 3819 3807 3796 3787 3864 3840 3824 3811 3800 3790 3879 3848 3830 3816 3804 3794 3474 3856 3836 3821 3808 3797 3788 3867 3842 3826 3813 3801 3791 3472 3850 3832 3817 3805 3795 3471 3859 3838 3822 3810 3799 3789 3872 3845 3828 3814 3803 3792 3469 3853 3833 3819 3807 3796 3786 3863 3840 3824 3811 3800 3790 3878 3847 3888 3816 3804 3794 3466 3856 3836 3821 3808 3797 3788 3867 3842 3826 3813 3801 3791 3464 3850 3832 3817 3805 3795 3463 3896 3838 3822 3810 3799 3789 3873 3845 3828 3814 3803 3793 3461 3853 3834 3819 3807 3796 3787 3864 3888 3888 3812 3800 3790 3881 3848 3830 3816 3804 3794 3458 3857 3836 3821 3809 3798 3788 3869 3843 3827 3813 3802 3792 3456 3852 3833 3818 3806 3796 3786 3862 3839 3824 3811 3800 3790 3877 3847 3829 3815 3804 3793 3453 3856 3835 3896 3808 3797 3788 3867 3842 3826 3813 3801 3791 3451 3850 3832 3818 3806 3795 3786 3860 3838 3823 3810 3799 3789 3875 3846 3829 3815 3803 3793 3448 3855 3835 3820 3808 3797 3787 3866 3842 3888 3812 3801 3791 3446 3850 3831 3817 3805 3795 3445 3860 3838 3823 3810 3799 3789 3874 3846 3828 3815 3803 3793 3443 3896 3835 3820 3808 3797 3787 3866 3842 3825 3812 3801 3791 3441 3850 3831 3817 3805 3795 3440 3860 3838 3823 3810 3799 3789 3896 3846 3888 3815 3803 3793 3438 3855 3835 3820 3808 3797 3787 3867 3842 3826 3813 3801 3791 3436 3850 3832 3818 3806 3795 3786 3861 3839 3823 3810 3799 3789 3876 3888 3829 3815 3804 3793 3433 3856 3836 3821 3808 3797 3788 3868 3843 3826 3813 3802 3792 3382 3853 3833 3819 3807 3796 3786 3875 3847 3830 3816 3805 3795 3482 3855 3836 3821 3809 3798 3789 3865 3842 3826 3813 3802 3792 3879 3849 3831 3818 3806 3795 3479 3857 3837 3822 3810 3799 3789 3868 3844 3827 3814 3803 3793 3887 3851 3833 3819 3807 3796 3476 3860 3839 3824 3811 3800 3790 3872 3846 3829 3816 3804 3794 3474 3854 3835 3820 3808 3798 3788 3863 3841 3825 3812 3801 3791 3877 3848 3831 3817 3805 3795 3471 3856 3837 3822 3810 3799 3789 3867 3843 3827 3814 3803 3793 3885 3851 3833 3819 3807 3796 3468 3860 3839 3824 3811 3800 3790 3872 3846 3829 3816 3804 3794 3466 3854 3835 3820 3808 3798 3788 3864 3841 3825 3813 3890 3792 3878 3848 3831 3817 3806 3795 3463 3857 3837 3822 3810 3799 3789 3868 3844 3828 3814 3803 3793 3461 3852 3833 3819 3807 3797 3460 3861 3840 3824 3812 3801 3791 3874 3847 3830 3816 3805 3794 3458 3855 3836 3821 3809 3798 3789 3866 3843 3827 3814 3802 3792 3883 3850 3832 3818 3890 3796 3455 3859 3839 3823 3811 3800 3790 3872 3846 3829 3816 3804 3794 3453 3854 3835 3821 3808 3798 3788 3898 3842 3826 3813 3802 3792 3881 3849 3832 3818 3806 3796 3450 3859 3838 3823 3811 3800 3790 3871 3845 3829 3815 3804 3794 3448 3898 3835 3820 3808 3798 3788 3864 3841 3826 3813 3802 3792 3880 3849 3831 3818 3806 3796 3445 3858 3838 3823 3810 3800 3790 3871 3845 3828 3815 3804 3794 3443 3898 3835 3820 3808 3798 3788 3864 3841 3826 3813 3802 3792 3880 3849 3832 3818 3806 3796 3440 3859 3838 3823 3811 3800 3790 3871 3845 3829 3815 3804 3794 3438 3854 3835 3821 3808 3798 3788 3865 3842 3826 3813 3802 3792 3890 3850 3832 3818 3806 3796 3435 3860 3839 3824 3811 3800 3790 3873 3846 3829 3816 3804 3794 3384 3856 3837 3822 3810 3799 3789 3880 3851 3833 3819 3808 3797 3484 3859 3839 3824 3812 3801 3791 3869 3845 3829 3816 3805 3795 3886 3852 3834 3820 3809 3798 3481 3861 3840 3825 3813 3802 3792 3873 3847 3830 3817 3806 3796 3479 3855 3836 3822 3810 3799 3790 3864 3842 3827 3814 3803 3793 3877 3849 3832 3818 3807 3797 3476 3857 3838 3823 3811 3800 3791 3867 3844 3828 3815 3804 3794 3883 3852 3834 3820 3808 3798 3473 3860 3840 3825 3812 3892 3792 3892 3892 3830 3817 3805 3795 3471 3854 3836 3822 3810 3799 3470 3864 3842 3827 3814 3803 3793 3877 3849 3832 3818 3807 3797 3468 3857 3838 3823 3811 3800 3791 3868 3844 3828 3815 3804 3794 3884 3852 3834 3820 3808 3798 3465 3861 3840 3825 3813 3802 3792 3873 3847 3831 3817 3806 3796 3463 3855 3836 3822 3810 3799 3790 3865 3843 3827 3814 3803 3793 3880 3850 3833 3819 3900 3797 3460 3859 3839 3824 3812 3801 3791 3870 3846 3830 3816 3805 3795 3458 3854 3835 3821 3809 3799 3457 3863 3842 3826 3814 3803 3793 3877 3849 3832 3818 3807 3797 3455 3858 3838 3892 3811 3801 3791 3869 3845 3829 3816 3805 3795 3888 3853 3835 3821 3809 3798 3452 3862 3841 3826 3813 3802 3793 3876 3849 3832 3818 3807 3796 3450 3857 3838 3823 3811 3800 3791 3868 3845 3829 3816 3804 3794 3892 3853 3835 3821 3809 3798 3447 3862 3841 3826 3813 3802 3792 3900 3848 3832 3818 3807 3796 3445 3857 3838 3823 3811 3800 3791 3868 3845 3829 3816 3804 3794 3887 3853 3835 3821 3809 3798 3442 3863 3841 3826 3813 3802 3793 3876 3849 3832 3818 3807 3796 3440 3858 3838 3892 3811 3801 3791 3869 3845 3829 3816 3805 3795 3438 3854 3835 3821 3809 3799 3437 3864 3842 3827 3814 3803 3793 3878 3850 3900 3819 3807 3797 3386 3860 3840 3825 3812 3802 3792 3887 3854 3836 3822 3810 3800 3486 3863 3842 3827 3815 3804 3794 3874 3849 3832 3819 3807 3797 3484 3856 3838 3823 3811 3801 3483 3865 3844 3828 3816 3805 3795 3902 3850 3834 3820 3809 3798 3481 3858 3839 3825 3813 3802 3792 3868 3894 3830 3817 3806 3796 3883 3853 3835 3821 3810 3799 3478 3861 3841 3826 3814 3803 3793 3872 3848 3831 3818 3807 3797 3891 3855 3837 3823 3811 3800 3475 3864 3843 3828 3815 3804 3794 3876 3850 3833 3820 3808 3798 3473 3858 3839 3824 3812 3802 3792 3868 3845 3830 3817 3806 3796 3882 3853 3835 3821 3810 3799 3470 3861 3841 3826 3814 3803 3793 3872 3848 3894 3818 3807 3797 3468 3856 3837 3823 3811 3801 3467 3865 3844 3828 3816 3805 3795 3878 3851 3834 3820 3809 3798 3465 3859 3840 3825 3813 3802 3793 3869 3846 3830 3817 3806 3796 3886 3854 3836 3822 3810 3800 3462 3863 3842 3827 3815 3804 3794 3875 3849 3833 3819 3808 3798 3460 3857 3839 3824 3812 3894 3792 3868 3845 3829 3817 3894 3796 3883 3853 3835 3821 3810 3799 3457 3862 3841 3826 3814 3803 3794 3873 3848 3832 3819 3807 3797 3455 3894 3838 3824 3812 3801 3792 3894 3845 3829 3816 3805 3795 3881 3852 3835 3821 3809 3799 3452 3861 3841 3826 3814 3803 3793 3873 3848 3832 3902 3807 3797 3450 3856 3838 3823 3894 3801 3449 3866 3844 3829 3816 3805 3795 3881 3852 3835 3821 3809 3799 3447 3861 3841 3826 3814 3803 3793 3873 3848 3832 3819 3807 3797 3445 3856 3838 3824 3812 3801 3894 3867 3845 3829 3816 3805 3795 3882 3852 3835 3821 3810 3799 3442 3862 3841 3826 3814 3803 3794 3874 3849 3832 3819 3808 3797 3440 3857 3838 3824 3812 3801 3792 3868 3845 3830 3817 3806 3796 3884 3853 3836 3822 3810 3800 3388 3864 3843 3828 3815 3804 3794 3489 3858 3839 3825 3813 3803 3488 3867 3845 3830 3817 3806 3797 3904 3852 3835 3822 3810 3800 3486 3860 3841 3826 3814 3804 3794 3869 3847 3831 3896 3807 3797 3883 3854 3837 3823 3811 3801 3483 3862 3842 3828 3815 3805 3795 3904 3849 3833 3820 3904 3798 3889 3856 3838 3824 3904 3802 3480 3865 3844 3829 3817 3806 3796 3876 3851 3834 3821 3810 3800 3478 3859 3840 3826 3814 3803 3794 3868 3846 3831 3818 3807 3797 3896 3853 3836 3823 3811 3801 3475 3862 3842 3827 3815 3804 3795 3872 3849 3833 3820 3808 3798 3889 3856 3838 3824 3812 3802 3472 3865 3844 3829 3817 3806 3796 3877 3851 3835 3821 3810 3800 3470 3859 3840 3826 3814 3803 3794 3869 3847 3831 3818 3807 3797 3883 3854 3837 3823 3811 3801 3467 3863 3843 3828 3816 3805 3795 3874 3850 3833 3820 3809 3799 3465 3857 3839 3825 3813 3803 3464 3867 3896 3830 3818 3807 3797 3880 3853 3836 3822 3811 3800 3462 3861 3842 3827 3815 3804 3795 3872 3904 3904 3896 3808 3798 3889 3856 3838 3824 3896 3802 3459 3896 3845 3829 3817 3806 3796 3878 3852 3835 3822 3810 3800 3457 3860 3841 3827 3896 3804 3794 3871 3848 3832 3819 3808 3798 3887 3856 3838 3824 3812 3802 3454 3865 3844 3829 3817 3806 3796 3877 3851 3835 3821 3810 3800 3452 3860 3841 3826 3814 3804 3794 3870 3848 3832 3819 3808 3798 3887 3855 3838 3824 3812 3802 3449 3865 3844 3829 3817 3806 3796 3896 3852 3835 3821 3810 3800 3447 3860 3841 3827 3814 3804 3794 3871 3848 3832 3819 3808 3798 3888 3856 3838 3824 3812 3802 3444 3896 3845 3829 3817 3806 3796 3879 3852 3835 3822 3810 3800 3442 3861 3842 3827 3815 3804 3896 3872 3849 3833 3820 3808 3798 3892 3857 3839 3825 3813 3802 3390 3868 3846 3831 3818 3807 3797 3491 3861 3898 3828 3816 3805 3796 3871 3849 3833 3820 3809 3799 3884 3906 3838 3825 3813 3803 3488 3898 3844 3829 3817 3806 3797 3874 3850 3834 3821 3810 3800 3889 3898 3840 3826 3814 3804 3485 3866 3846 3831 3818 3807 3798 3877 3852 3836 3823 3811 3801 3483 3860 3841 3827 3815 3805 3482 3869 3848 3832 3820 3809 3799 3881 3854 3898 3824 3898 3802 3480 3862 3843 3829 3817 3806 3796 3872 3850 3834 3821 3810 3800 3887 3857 3839 3826 3814 3803 3477 3898 3845 3830 3818 3807 3797 3877 3852 3836 3898 3811 3801 3475 3860 3841 3827 3815 3805 3474 3869 3848 3832 3820 3809 3799 3882 3855 3838 3824 3813 3802 3472 3863 3844 3829 3817 3806 3797 3873 3850 3834 3821 3810 3800 3898 3858 3840 3826 3814 3804 3469 3867 3846 3831 3819 3808 3798 3898 3853 3836 3823 3812 3802 3467 3861 3842 3828 3816 3805 3796 3871 3849 3833 3820 3809 3799 3898 3856 3839 3825 3813 3803 3464 3865 3845 3830 3818 3807 3797 3876 3852 3836 3822 3811 3801 3462 3860 3841 3827 3815 3805 3461 3870 3848 3898 3820 3809 3799 3883 3855 3838 3825 3813 3803 3459 3864 3844 3830 3817 3807 3797 3875 3851 3835 3822 3811 3801 3895 3859 3841 3827 3815 3898 3456 3869 3898 3832 3820 3809 3799 3882 3855 3838 3824 3813 3802 3454 3864 3844 3829 3817 3806 3797 3875 3851 3835 3822 3811 3801 3898 3859 3841 3827 3815 3804 3451 3869 3898 3832 3820 3809 3799 3883 3855 3838 3824 3813 3803 3449 3864 3844 3830 3817 3807 3797 3875 3851 3835 3822 3811 3801 3447 3898 3841 3827 3815 3805 3446 3870 3848 3898 3820 3809 3799 3884 3856 3838 3825 3813 3803 3444 3865 3845 3830 3818 3807 3797 3877 3852 3836 3823 3811 3801 3442 3898 3842 3828 3816 3805 3796 3906 3850 3834 3821 3810 3800 3359 3865 3846 3831 3819 3808 3799 3875 3852 3836 3823 3812 3802 3890 3859 3841 3828 3816 3806 3490 3867 3847 3832 3820 3809 3799 3878 3854 3837 3824 3813 3803 3897 3861 3843 3829 3817 3806 3487 3870 3849 3834 3821 3810 3800 3882 3856 3839 3826 3814 3804 3485 3864 3845 3830 3818 3808 3798 3873 3851 3835 3822 3811 3801 3887 3858 3841 3827 3815 3805 3482 3866 3847 3832 3908 3809 3799 3877 3853 3837 3824 3813 3803 3894 3861 3900 3829 3817 3806 3479 3908 3849 3833 3821 3810 3800 3881 3908 3839 3825 3814 3804 3477 3863 3845 3830 3818 3808 3798 3873 3851 3835 3900 3811 3801 3900 3858 3841 3827 3815 3805 3474 3867 3847 3832 3820 3809 3799 3878 3854 3837 3824 3813 3803 3898 3861 3843 3829 3817 3807 3471 3871 3849 3834 3821 3810 3801 3884 3900 3840 3826 3815 3804 3469 3865 3846 3831 3819 3808 3798 3875 3852 3836 3823 3812 3802 3892 3860 3842 3828 3816 3806 3466 3869 3848 3833 3821 3810 3800 3881 3855 3839 3825 3814 3804 3464 3864 3845 3830 3818 3808 3798 3874 3851 3836 3823 3812 3802 3889 3859 3841 3828 3816 3805 3461 3868 3848 3833 3820 3809 3800 3880 3855 3838 3825 3814 3803 3459 3863 3844 3830 3818 3807 3798 3873 3851 3835 3822 3811 3801 3888 3858 3841 3827 3816 3805 3456 3900 3847 3832 3820 3809 3799 3879 3854 3838 3825 3813 3803 3454 3863 3844 3830 3818 3807 3798 3873 3851 3835 3822 3811 3801 3888 3859 3841 3827 3816 3805 3451 3868 3900 3833 3820 3809 3800 3880 3855 3838 3825 3814 3803 3449 3863 3844 3830 3818 3807 3798 3874 3851 3836 3823 3812 3802 3890 3859 3842 3828 3816 3806 3446 3869 3848 3833 3821 3810 3800 3900 3856 3839 3825 3814 3804 3444 3864 3845 3831 3819 3808 3798 3877 3853 3837 3824 3813 3803 3360 3869 3849 3834 3822 3811 3801 3879 3855 3839 3826 3815 3805 3897 3863 3845 3831 3819 3808 3492 3871 3851 3835 3823 3812 3802 3883 3857 3841 3827 3816 3806 3490 3865 3846 3832 3820 3809 3800 3874 3852 3837 3824 3813 3803 3887 3859 3842 3829 3817 3807 3487 3867 3848 3833 3821 3810 3801 3910 3854 3838 3825 3814 3804 3893 3862 3844 3830 3818 3808 3484 3870 3850 3835 3822 3812 3802 3902 3902 3840 3827 3815 3805 3482 3864 3846 3902 3820 3809 3481 3874 3852 3837 3824 3813 3803 3887 3859 3842 3828 3817 3807 3479 3867 3848 3833 3821 3810 3801 3878 3854 3838 3825 3814 3804 3894 3862 3844 3830 3818 3808 3476 3871 3850 3835 3823 3812 3802 3883 3857 3840 3827 3816 3806 3474 3865 3846 3832 3820 3809 3800 3875 3853 3837 3824 3813 3803 3889 3860 3843 3829 3817 3807 3471 3869 3849 3834 3822 3811 3801 3880 3856 3839 3826 3815 3805 3469 3863 3845 3831 3819 3809 3468 3873 3852 3836 3824 3813 3803 3886 3859 3842 3828 3817 3806 3466 3867 3848 3833 3821 3810 3801 3878 3855 3839 3826 3814 3804 3896 3910 3844 3910 3819 3808 3463 3872 3851 3836 3823 3812 3802 3885 3858 3841 3828 3816 3806 3461 3867 3847 3833 3821 3810 3800 3877 3854 3838 3825 3814 3804 3895 3862 3844 3830 3818 3808 3458 3902 3851 3835 3823 3812 3802 3884 3858 3841 3828 3816 3806 3456 3867 3847 3833 3821 3810 3800 3877 3854 3838 3825 3814 3804 3895 3862 3844 3830 3818 3808 3453 3872 3851 3836 3823 3812 3802 3885 3858 3841 3828 3816 3806 3451 3867 3848 3833 3821 3810 3801 3878 3855 3839 3826 3814 3804 3910 3863 3845 3831 3819 3808 3448 3873 3851 3836 3823 3812 3803 3887 3859 3842 3828 3817 3807 3446 3868 3848 3834 3821 3811 3801 3882 3857 3840 3827 3815 3805 3361 3873 3852 3837 3825 3814 3804 3884 3859 3842 3829 3818 3807 3495 3866 3848 3834 3822 3811 3904 3904 3854 3838 3826 3815 3805 3888 3861 3844 3830 3819 3808 3492 3869 3849 3835 3823 3812 3802 3912 3856 3840 3827 3816 3806 3893 3863 3845 3904 3820 3809 3489 3871 3851 3836 3824 3813 3803 3882 3858 3841 3828 3817 3807 3901 3865 3847 3833 3821 3811 3486 3874 3853 3838 3825 3814 3804 3904 3860 3843 3830 3818 3808 3484 3868 3849 3835 3822 3812 3802 3878 3855 3840 3827 3816 3806 3912 3863 3845 3831 3820 3809 3481 3871 3851 3836 3824 3813 3803 3882 3858 3904 3828 3817 3807 3479 3904 3847 3833 3821 3811 3478 3875 3912 3838 3826 3815 3805 3888 3861 3844 3830 3819 3808 3476 3869 3850 3835 3823 3812 3802 3879 3856 3840 3827 3816 3806 3904 3864 3846 3832 3820 3810 3473 3873 3852 3837 3825 3814 3804 3885 3859 3912 3829 3818 3808 3471 3867 3848 3834 3822 3811 3802 3877 3855 3839 3904 3815 3805 3892 3862 3845 3831 3820 3809 3468 3871 3851 3836 3824 3813 3803 3883 3858 3842 3829 3817 3807 3466 3866 3848 3912 3822 3811 3465 3876 3854 3839 3826 3815 3805 3890 3862 3844 3831 3819 3809 3463 3871 3851 3836 3824 3813 3803 3882 3858 3841 3828 3817 3807 3461 3866 3847 3833 3821 3811 3460 3876 3854 3839 3826 3815 3805 3890 3904 3844 3831 3819 3809 3458 3870 3851 3836 3824 3813 3803 3882 3858 3841 3828 3817 3807 3456 3866 3847 3833 3821 3811 3455 3876 3854 3839 3826 3815 3805 3904 3862 3845 3831 3819 3809 3453 3871 3851 3836 3824 3813 3803 3883 3858 3842 3829 3817 3807 3451 3867 3848 3834 3822 3811 3802 3877 3855 3839 3826 3815 3805 3893 3863 3845 3831 3820 3809 3448 3872 3852 3837 3824 3813 3804 3887 3860 3843 3830 3818 3808 3362 3877 3856 3840 3828 3817 3807 3889 3862 3845 3832 3820 3810 3497 3870 3851 3837 3906 3814 3804 3880 3857 3842 3829 3818 3808 3894 3864 3847 3833 3822 3811 3494 3873 3853 3838 3826 3815 3805 3883 3859 3843 3830 3819 3809 3900 3906 3914 3906 3823 3812 3491 3875 3906 3839 3827 3816 3806 3887 3861 3845 3831 3820 3810 3489 3869 3850 3836 3824 3813 3804 3906 3857 3841 3828 3817 3807 3892 3864 3846 3833 3821 3811 3486 3872 3852 3838 3825 3815 3805 3882 3859 3843 3830 3818 3808 3899 3866 3848 3834 3823 3812 3483 3875 3854 3839 3827 3816 3806 3887 3861 3845 3831 3820 3810 3481 3869 3850 3836 3824 3813 3804 3879 3857 3841 3828 3817 3807 3893 3864 3847 3833 3821 3811 3478 3873 3853 3838 3826 3815 3805 3884 3860 3843 3830 3819 3809 3476 3867 3849 3835 3823 3813 3475 3877 3855 3840 3906 3817 3807 3890 3863 3846 3832 3821 3810 3473 3871 3852 3837 3825 3814 3805 3882 3858 3842 3829 3818 3808 3899 3866 3848 3834 3822 3812 3470 3875 3855 3839 3827 3816 3806 3888 3862 3845 3832 3820 3810 3468 3870 3851 3837 3824 3814 3804 3880 3858 3842 3829 3818 3808 3906 3865 3848 3834 3822 3812 3465 3875 3854 3839 3827 3816 3806 3887 3861 3845 3831 3820 3810 3463 3870 3851 3836 3824 3814 3804 3880 3857 3842 3829 3818 3808 3896 3865 3914 3834 3822 3812 3460 3874 3854 3839 3826 3816 3806 3887 3861 3845 3831 3820 3810 3458 3870 3851 3836 3824 3814 3804 3880 3858 3842 3829 3818 3808 3897 3865 3848 3834 3822 3812 3455 3875 3854 3839 3827 3816 3806 3888 3862 3845 3832 3820 3810 3453 3870 3851 3837 3825 3814 3804 3881 3858 3842 3829 3818 3808 3906 3866 3848 3834 3823 3812 3450 3876 3855 3840 3827 3816 3806 3892 3864 3846 3833 3821 3811 3363 3881 3859 3843 3831 3819 3810 3895 3866 3849 3835 3823 3813 3499 3874 3854 3840 3827 3817 3807 3884 3861 3845 3832 3820 3810 3908 3868 3850 3836 3824 3814 3496 3877 3856 3841 3829 3818 3808 3888 3863 3846 3833 3822 3811 3494 3870 3852 3838 3826 3815 3493 3916 3858 3842 3830 3819 3809 3892 3865 3848 3834 3823 3812 3491 3873 3854 3839 3827 3816 3806 3883 3860 3844 3831 3820 3810 3898 3867 3850 3836 3824 3814 3488 3876 3856 3841 3828 3817 3808 3887 3862 3846 3833 3821 3811 3486 3870 3852 3837 3825 3815 3485 3879 3858 3842 3830 3819 3809 3892 3865 3848 3834 3823 3812 3483 3873 3854 3839 3827 3816 3807 3884 3860 3844 3831 3820 3810 3900 3868 3850 3836 3824 3814 3480 3877 3856 3841 3829 3818 3808 3889 3863 3908 3833 3822 3812 3478 3871 3852 3838 3826 3815 3806 3881 3859 3843 3830 3819 3809 3896 3866 3849 3835 3823 3813 3475 3875 3855 3840 3828 3817 3807 3886 3862 3846 3832 3821 3811 3473 3870 3851 3837 3825 3815 3472 3908 3858 3842 3830 3819 3809 3893 3865 3848 3835 3823 3813 3470 3874 3854 3840 3827 3817 3807 3885 3861 3845 3832 3821 3811 3916 3869 3851 3837 3825 3814 3467 3879 3857 3842 3829 3818 3809 3892 3865 3848 3834 3823 3812 3465 3873 3854 3839 3827 3816 3807 3916 3861 3845 3832 3916 3810 3908 3869 3851 3837 3825 3814 3462 3879 3857 3842 3829 3818 3809 3892 3865 3848 3834 3823 3812 3460 3874 3854 3839 3827 3816 3807 3885 3861 3845 3832 3821 3811 3905 3869 3851 3837 3825 3916 3457 3879 3858 3842 3830 3819 3809 3893 3865 3848 3835 3823 3813 3455 3874 3908 3840 3827 3817 3807 3886 3862 3845 3832 3821 3811 3453 3870 3852 3837 3825 3815 3452 3880 3858 3843 3830 3819 3809 3898 3867 3850 3836 3824 3814 3364 3886 3863 3847 3834 3822 3812 3902 3870 3852 3838 3826 3816 3501 3878 3858 3843 3830 3819 3810 3889 3864 3848 3835 3823 3813 3499 3872 3853 3839 3827 3817 3498 3881 3859 3844 3831 3918 3811 3893 3866 3849 3836 3824 3814 3496 3874 3855 3841 3828 3818 3808 3884 3861 3846 3833 3822 3812 3898 3868 3851 3837 3826 3815 3493 3877 3857 3842 3830 3819 3809 3888 3863 3847 3834 3823 3813 3906 3871 3853 3839 3827 3816 3490 3880 3859 3844 3831 3820 3810 3892 3866 3849 3836 3824 3814 3488 3874 3855 3840 3828 3818 3808 3884 3861 3846 3833 3822 3812 3898 3869 3851 3837 3826 3815 3485 3877 3857 3842 3830 3819 3809 3888 3864 3848 3834 3823 3813 3483 3872 3853 3839 3827 3817 3482 3881 3860 3844 3832 3821 3811 3894 3867 3850 3836 3825 3814 3480 3875 3856 3841 3829 3818 3809 3886 3862 3846 3833 3822 3812 3902 3870 3852 3838 3826 3816 3477 3879 3858 3843 3831 3820 3810 3891 3865 3849 3835 3824 3814 3475 3874 3855 3840 3828 3818 3808 3884 3861 3846 3833 3822 3812 3899 3869 3851 3838 3826 3815 3472 3878 3858 3843 3830 3819 3810 3890 3865 3848 3835 3824 3813 3470 3873 3854 3840 3828 3817 3808 3883 3861 3845 3832 3821 3811 3898 3868 3851 3837 3826 3815 3467 3877 3857 3842 3830 3819 3809 3889 3864 3848 3835 3823 3813 3465 3873 3854 3840 3828 3817 3808 3883 3861 3845 3832 3821 3811 3898 3868 3851 3837 3826 3815 3462 3878 3857 3842 3830 3819 3918 3890 3865 3848 3835 3823 3813 3460 3873 3854 3840 3828 3817 3808 3883 3861 3845 3833 3821 3812 3899 3869 3851 3838 3826 3815 3457 3878 3858 3843 3830 3820 3810 3891 3865 3849 3835 3824 3814 3455 3874 3855 3840 3828 3818 3808 3885 3862 3846 3833 3822 3812 3906 3871 3853 3839 3827 3816 3365 3891 3866 3850 3837 3825 3815 3504 3873 3855 3841 3829 3819 3503 3882 3861 3846 3833 3822 3812 3894 3868 3851 3838 3826 3816 3501 3876 3857 3842 3830 3820 3810 3885 3863 3847 3834 3823 3813 3899 3870 3853 3839 3827 3817 3498 3878 3858 3844 3831 3821 3811 3888 3865 3849 3836 3824 3814 3905 3872 3854 3840 3828 3818 3495 3881 3860 3845 3833 3822 3812 3920 3867 3850 3837 3826 3816 3493 3875 3856 3842 3830 3819 3810 3884 3862 3847 3834 3823 3813 3898 3869 3852 3839 3827 3817 3490 3878 3858 3912 3831 3821 3811 3888 3865 3849 3836 3824 3814 3905 3872 3854 3840 3829 3818 3487 3881 3860 3845 3833 3822 3812 3893 3867 3851 3837 3826 3816 3485 3875 3857 3842 3830 3912 3810 3885 3863 3847 3835 3823 3813 3900 3870 3853 3839 3828 3817 3482 3879 3859 3844 3832 3821 3811 3890 3866 3850 3836 3825 3815 3480 3874 3855 3841 3829 3819 3479 3883 3862 3846 3834 3823 3813 3897 3869 3852 3838 3827 3817 3477 3878 3858 3843 3831 3820 3811 3888 3865 3849 3836 3824 3814 3907 3873 3855 3841 3829 3818 3474 3882 3861 3846 3833 3822 3812 3895 3868 3851 3838 3826 3816 3472 3877 3857 3843 3831 3820 3810 3920 3864 3848 3835 3824 3814 3905 3872 3854 3840 3828 3818 3469 3882 3861 3920 3833 3822 3812 3894 3868 3851 3838 3826 3816 3467 3912 3857 3843 3831 3820 3810 3887 3864 3848 3835 3824 3814 3905 3872 3854 3840 3828 3818 3464 3882 3861 3846 3833 3822 3812 3895 3868 3851 3838 3826 3816 3462 3877 3858 3843 3831 3820 3810 3888 3865 3849 3836 3824 3814 3907 3873 3855 3841 3829 3818 3459 3920 3861 3846 3833 3822 3813 3896 3869 3852 3838 3827 3816 3457 3878 3858 3844 3831 3821 3811 3889 3865 3849 3836 3825 3815 3406 3875 3856 3842 3830 3819 3810 3896 3870 3853 3840 3828 3818 3506 3877 3922 3844 3832 3821 3812 3887 3865 3849 3836 3825 3815 3900 3914 3854 3841 3829 3819 3503 3880 3860 3845 3833 3822 3813 3890 3866 3850 3837 3826 3816 3905 3874 3856 3842 3830 3820 3500 3882 3862 3847 3834 3823 3814 3893 3868 3852 3839 3827 3817 3498 3876 3858 3843 3831 3821 3497 3885 3864 3848 3836 3825 3815 3898 3871 3854 3840 3829 3818 3495 3879 3859 3845 3833 3822 3812 3889 3866 3850 3837 3826 3816 3904 3873 3856 3842 3830 3820 3492 3882 3862 3847 3834 3823 3814 3893 3868 3852 3839 3827 3817 3490 3876 3858 3843 3831 3821 3489 3914 3864 3848 3836 3825 3815 3899 3871 3854 3840 3829 3819 3487 3879 3860 3845 3833 3822 3813 3890 3867 3851 3838 3826 3816 3907 3874 3856 3842 3830 3820 3484 3883 3862 3847 3835 3824 3814 3895 3869 3853 3839 3828 3818 3482 3878 3859 3844 3832 3822 3812 3888 3865 3850 3837 3826 3816 3903 3873 3855 3841 3830 3819 3479 3882 3861 3914 3834 3823 3814 3893 3868 3852 3839 3827 3817 3477 3876 3858 3844 3832 3821 3812 3886 3864 3849 3836 3825 3815 3901 3872 3855 3841 3829 3819 3474 3881 3861 3846 3834 3823 3813 3892 3868 3852 3838 3827 3817 3472 3876 3922 3843 3831 3821 3471 3886 3864 3849 3836 3825 3815 3900 3872 3854 3841 3829 3819 3469 3914 3861 3846 3834 3823 3813 3892 3868 3851 3838 3827 3817 3467 3876 3922 3843 3831 3821 3466 3886 3864 3849 3836 3825 3815 3914 3872 3855 3841 3829 3819 3464 3881 3861 3846 3834 3823 3813 3893 3868 3852 3839 3827 3817 3462 3876 3858 3844 3832 3821 3812 3887 3865 3849 3836 3825 3815 3902 3873 3855 3841 3830 3819 3459 3882 3862 3847 3834 3823 3814 3894 3869 3852 3839 3828 3818 3408 3879 3859 3845 3833 3822 3812 3901 3873 3856 3843 3831 3821 3508 3881 3862 3847 3835 3824 3815 3891 3868 3852 3839 3828 3818 3906 3875 3858 3844 3832 3822 3505 3884 3863 3916 3836 3825 3816 3894 3870 3854 3840 3829 3819 3503 3877 3859 3845 3833 3823 3502 3886 3865 3850 3837 3826 3916 3924 3872 3855 3842 3830 3820 3500 3880 3861 3846 3834 3824 3814 3890 3867 3851 3839 3828 3818 3904 3874 3857 3843 3832 3821 3497 3883 3863 3848 3836 3825 3815 3924 3869 3853 3840 3829 3819 3912 3877 3859 3845 3833 3822 3494 3886 3865 3850 3837 3826 3816 3898 3872 3855 3842 3830 3820 3492 3880 3861 3916 3834 3824 3814 3890 3867 3852 3839 3828 3818 3905 3875 3857 3843 3832 3821 3489 3883 3863 3848 3836 3825 3815 3895 3870 3854 3841 3829 3819 3487 3878 3916 3845 3833 3823 3486 3924 3866 3850 3838 3827 3817 3901 3873 3856 3842 3831 3821 3484 3882 3862 3847 3835 3824 3815 3892 3869 3853 3840 3828 3818 3910 3916 3924 3916 3833 3822 3481 3886 3865 3850 3837 3826 3816 3916 3872 3855 3842 3830 3820 3479 3880 3861 3847 3835 3824 3814 3891 3868 3852 3839 3828 3818 3924 3876 3858 3844 3832 3822 3476 3885 3864 3849 3837 3826 3816 3897 3871 3855 3841 3830 3820 3474 3880 3861 3846 3834 3824 3814 3890 3868 3852 3839 3828 3818 3916 3875 3858 3844 3832 3822 3471 3885 3864 3849 3837 3826 3816 3897 3871 3855 3841 3830 3820 3469 3880 3861 3846 3834 3824 3814 3890 3868 3852 3839 3828 3818 3907 3876 3858 3844 3832 3822 3466 3885 3864 3849 3837 3826 3816 3898 3872 3855 3842 3830 3820 3464 3880 3861 3847 3835 3824 3814 3891 3868 3852 3839 3828 3818 3916 3876 3858 3844 3833 3822 3461 3886 3865 3850 3837 3826 3816 3900 3873 3856 3842 3831 3820 3410 3883 3863 3848 3836 3825 3815 3908 3877 3859 3846 3834 3824 3510 3885 3865 3850 3838 3827 3817 3896 3872 3855 3842 3831 3821 3926 3879 3861 3847 3835 3824 3507 3888 3867 3852 3839 3828 3818 3900 3874 3857 3843 3832 3822 3505 3881 3862 3848 3836 3825 3816 3891 3869 3853 3840 3829 3819 3904 3876 3858 3845 3833 3823 3502 3884 3864 3850 3837 3827 3817 3894 3871 3855 3842 3830 3820 3911 3878 3860 3846 3834 3824 3499 3887 3866 3851 3839 3828 3818 3918 3873 3856 3843 3832 3822 3497 3881 3862 3848 3836 3825 3816 3890 3868 3853 3840 3829 3819 3904 3876 3858 3845 3833 3823 3494 3884 3864 3850 3837 3827 3817 3895 3871 3855 3842 3831 3926 3912 3879 3918 3847 3835 3824 3491 3888 3867 3852 3839 3828 3818 3900 3874 3857 3844 3832 3822 3489 3882 3863 3848 3836 3826 3816 3892 3869 3854 3841 3830 3820 3907 3877 3859 3918 3834 3823 3486 3886 3865 3851 3838 3827 3818 3897 3872 3856 3843 3831 3821 3484 3880 3862 3848 3836 3825 3926 3890 3868 3853 3840 3829 3819 3904 3876 3858 3845 3833 3823 3481 3884 3865 3850 3838 3827 3817 3896 3872 3855 3842 3831 3821 3479 3926 3861 3847 3835 3825 3478 3889 3868 3852 3840 3829 3819 3903 3875 3858 3844 3833 3823 3476 3884 3864 3850 3837 3827 3817 3895 3871 3855 3842 3831 3821 3915 3879 3861 3847 3835 3926 3473 3889 3868 3852 3840 3829 3819 3903 3875 3858 3844 3833 3823 3471 3884 3864 3850 3837 3827 3817 3895 3871 3855 3842 3831 3821 3469 3879 3861 3847 3835 3825 3468 3889 3868 3852 3840 3829 3819 3904 3875 3858 3845 3833 3823 3466 3884 3865 3850 3838 3827 3817 3896 3872 3918 3842 3831 3821 3464 3880 3862 3847 3926 3825 3463 3926 3918 3853 3840 3829 3819 3906 3876 3859 3845 3834 3823 3412 3887 3866 3851 3839 3828 3818 3916 3881 3863 3849 3837 3826 3512 3890 3869 3854 3841 3830 3820 3901 3875 3859 3845 3834 3824 3510 3883 3864 3850 3838 3827 3818 3892 3870 3855 3842 3831 3821 3905 3877 3860 3847 3835 3825 3507 3885 3866 3851 3839 3828 3819 3895 3872 3856 3843 3832 3822 3911 3879 3862 3848 3836 3826 3504 3888 3868 3853 3840 3829 3820 3899 3874 3858 3845 3833 3823 3502 3882 3864 3849 3837 3827 3501 3891 3870 3854 3842 3831 3821 3904 3877 3860 3846 3835 3824 3499 3885 3866 3851 3839 3828 3818 3895 3872 3856 3843 3832 3822 3911 3879 3862 3848 3836 3826 3496 3888 3868 3853 3840 3829 3820 3900 3875 3858 3845 3833 3823 3494 3882 3864 3850 3838 3827 3818 3892 3870 3855 3842 3831 3821 3906 3877 3860 3847 3835 3825 3491 3886 3866 3852 3839 3829 3819 3897 3873 3857 3844 3833 3920 3915 3881 3863 3849 3837 3826 3488 3890 3869 3854 3841 3830 3820 3903 3876 3859 3846 3834 3824 3486 3884 3865 3851 3839 3828 3818 3895 3872 3856 3843 3832 3822 3911 3928 3862 3848 3836 3826 3483 3889 3868 3853 3841 3830 3820 3901 3875 3859 3845 3834 3824 3481 3883 3865 3850 3838 3920 3818 3894 3871 3856 3843 3832 3822 3909 3879 3861 3848 3836 3825 3478 3888 3868 3853 3840 3829 3820 3900 3875 3858 3845 3834 3823 3476 3883 3864 3850 3838 3827 3818 3893 3871 3855 3843 3831 3920 3909 3879 3861 3847 3836 3825 3473 3888 3868 3853 3840 3829 3820 3900 3875 3858 3845 3834 3823 3471 3883 3864 3850 3838 3827 3818 3894 3871 3856 3843 3832 3822 3910 3879 3862 3848 3836 3826 3468 3889 3868 3853 3841 3830 3820 3901 3875 3859 3845 3834 3824 3466 3884 3865 3851 3838 3828 3818 3895 3872 3856 3843 3832 3822 3913 3880 3862 3848 3836 3826 3414 3891 3870 3854 3842 3831 3821 3515 3885 3866 3852 3840 3829 3820 3894 3872 3857 3844 3833 3823 3907 3879 3862 3848 3837 3827 3512 3887 3868 3853 3841 3830 3821 3897 3874 3858 3845 3834 3824 3912 3881 3863 3850 3838 3828 3509 3889 3869 3854 3842 3831 3821 3900 3876 3860 3846 3835 3825 3507 3883 3865 3851 3839 3829 3506 3892 3871 3856 3843 3832 3930 3922 3878 3861 3848 3836 3826 3504 3886 3867 3930 3840 3830 3820 3896 3873 3858 3845 3834 3824 3910 3880 3863 3849 3838 3827 3501 3889 3869 3854 3842 3831 3821 3900 3876 3859 3846 3835 3825 3919 3883 3865 3851 3839 3829 3498 3892 3871 3856 3843 3832 3823 3905 3878 3861 3848 3836 3826 3496 3886 3867 3853 3841 3830 3820 3897 3874 3858 3845 3834 3824 3912 3881 3864 3850 3838 3828 3493 3890 3870 3855 3842 3831 3822 3902 3877 3860 3847 3835 3825 3491 3885 3866 3852 3840 3829 3820 3894 3872 3857 3844 3833 3823 3908 3880 3930 3849 3837 3827 3488 3888 3869 3854 3842 3831 3821 3900 3875 3859 3846 3835 3825 3486 3883 3865 3851 3839 3829 3485 3893 3872 3856 3844 3833 3823 3906 3879 3862 3848 3837 3826 3483 3887 3868 3853 3841 3830 3821 3898 3875 3859 3846 3834 3824 3917 3883 3865 3851 3839 3828 3480 3892 3871 3856 3843 3832 3822 3930 3878 3862 3848 3837 3826 3478 3887 3868 3853 3841 3830 3821 3898 3875 3859 3846 3834 3824 3917 3883 3865 3851 3839 3828 3475 3892 3871 3856 3843 3832 3822 3906 3879 3862 3848 3837 3826 3473 3887 3868 3853 3841 3830 3821 3899 3875 3859 3846 3835 3824 3918 3883 3865 3851 3839 3828 3470 3893 3872 3856 3844 3833 3823 3907 3879 3862 3848 3837 3827 3468 3888 3868 3854 3841 3831 3821 3900 3876 3859 3846 3835 3825 3466 3884 3866 3851 3839 3829 3416 3896 3873 3858 3845 3834 3824 3371 3889 3870 3855 3843 3832 3932 3899 3876 3860 3847 3836 3826 3913 3883 3865 3924 3840 3829 3514 3891 3871 3856 3844 3833 3823 3902 3878 3861 3848 3837 3827 3920 3885 3867 3853 3841 3830 3511 3894 3873 3858 3845 3834 3824 3924 3880 3863 3849 3838 3828 3509 3887 3868 3854 3842 3831 3822 3897 3875 3859 3846 3835 3825 3910 3882 3932 3851 3839 3829 3506 3890 3870 3856 3843 3833 3823 3924 3877 3861 3848 3924 3826 3918 3884 3866 3852 3841 3830 3503 3893 3872 3857 3845 3834 3824 3905 3879 3863 3849 3838 3828 3501 3887 3868 3854 3842 3831 3822 3897 3875 3859 3846 3835 3825 3911 3882 3865 3851 3839 3829 3498 3891 3871 3856 3844 3833 3823 3901 3877 3861 3848 3837 3827 3921 3885 3867 3853 3841 3830 3495 3894 3873 3858 3845 3834 3825 3907 3880 3863 3850 3838 3828 3493 3889 3869 3855 3843 3832 3822 3899 3876 3860 3847 3836 3826 3915 3884 3866 3852 3840 3830 3490 3893 3872 3857 3845 3834 3824 3905 3879 3863 3849 3838 3828 3488 3887 3932 3854 3842 3831 3822 3932 3875 3859 3847 3835 3826 3913 3883 3865 3851 3840 3829 3485 3892 3871 3924 3844 3833 3824 3903 3878 3862 3849 3837 3827 3483 3887 3868 3854 3842 3831 3822 3897 3875 3859 3846 3835 3825 3912 3882 3865 3851 3839 3829 3480 3891 3871 3856 3844 3833 3823 3903 3878 3862 3849 3837 3827 3478 3887 3868 3854 3842 3831 3822 3897 3875 3859 3846 3835 3825 3912 3882 3865 3851 3840 3829 3475 3924 3871 3856 3844 3833 3823 3904 3879 3862 3849 3837 3827 3473 3887 3868 3854 3842 3831 3822 3932 3875 3859 3847 3835 3826 3932 3883 3865 3852 3840 3829 3470 3892 3872 3857 3844 3834 3824 3905 3879 3863 3849 3838 3828 3468 3888 3869 3855 3842 3832 3822 3901 3877 3861 3848 3837 3826 3372 3893 3873 3858 3846 3835 3825 3926 3879 3863 3850 3839 3829 3921 3887 3869 3855 3843 3832 3516 3895 3875 3859 3847 3836 3826 3907 3881 3865 3851 3840 3830 3514 3889 3870 3856 3844 3833 3824 3898 3876 3861 3848 3837 3827 3911 3883 3866 3853 3841 3831 3511 3891 3872 3857 3845 3834 3825 3902 3878 3862 3849 3838 3828 3917 3886 3868 3854 3842 3832 3508 3894 3874 3859 3846 3836 3826 3906 3881 3864 3851 3839 3829 3506 3888 3870 3856 3844 3833 3505 3898 3876 3861 3848 3837 3827 3911 3883 3866 3852 3841 3831 3503 3891 3872 3857 3845 3834 3825 3902 3878 3862 3849 3838 3828 3918 3886 3868 3854 3842 3832 3500 3895 3874 3859 3847 3836 3826 3907 3881 3864 3851 3840 3830 3498 3889 3870 3856 3844 3833 3824 3899 3877 3861 3848 3837 3827 3913 3884 3867 3853 3841 3831 3495 3893 3873 3858 3846 3835 3825 3904 3880 3863 3850 3839 3829 3493 3926 3869 3855 3843 3833 3492 3897 3876 3860 3848 3837 3827 3910 3883 3866 3852 3841 3830 3490 3891 3872 3857 3845 3834 3825 3902 3879 3863 3850 3838 3828 3920 3887 3926 3855 3843 3832 3487 3896 3875 3860 3847 3836 3826 3909 3882 3865 3852 3840 3830 3485 3891 3871 3857 3845 3834 3824 3901 3878 3862 3849 3838 3828 3919 3886 3868 3854 3842 3832 3482 3896 3875 3926 3847 3836 3826 3934 3882 3865 3852 3840 3830 3480 3891 3871 3857 3845 3834 3824 3901 3878 3862 3849 3838 3828 3919 3886 3868 3854 3926 3832 3477 3896 3875 3860 3847 3836 3826 3909 3882 3865 3852 3840 3830 3475 3891 3872 3857 3845 3834 3825 3902 3879 3863 3850 3838 3828 3922 3887 3869 3855 3843 3832 3472 3897 3875 3860 3934 3926 3827 3911 3883 3866 3852 3841 3831 3470 3892 3872 3858 3845 3835 3825 3906 3881 3864 3851 3839 3829 3373 3897 3877 3861 3849 3838 3828 3909 3883 3867 3853 3842 3832 3519 3891 3872 3858 3846 3835 3826 3900 3878 3863 3850 3839 3829 3913 3885 3868 3854 3843 3833 3516 3893 3874 3859 3847 3836 3827 3903 3880 3864 3851 3840 3830 3918 3887 3936 3856 3844 3834 3513 3896 3875 3936 3848 3837 3828 3907 3882 3866 3852 3841 3831 3511 3890 3871 3857 3845 3835 3510 3899 3877 3862 3849 3838 3829 3911 3884 3867 3854 3842 3832 3508 3892 3873 3859 3847 3836 3826 3902 3880 3864 3851 3840 3830 3917 3887 3869 3856 3844 3833 3505 3928 3875 3860 3848 3837 3827 3907 3882 3866 3853 3841 3831 3503 3890 3871 3857 3845 3835 3502 3899 3878 3862 3850 3839 3829 3912 3885 3868 3854 3843 3832 3500 3893 3874 3859 3847 3836 3827 3904 3880 3864 3851 3840 3830 3936 3888 3870 3856 3844 3834 3497 3897 3876 3861 3849 3838 3828 3909 3883 3867 3853 3842 3832 3495 3892 3873 3858 3846 3836 3826 3902 3879 3928 3851 3840 3830 3917 3887 3869 3855 3844 3833 3492 3896 3875 3928 3848 3837 3828 3907 3882 3866 3853 3841 3831 3490 3928 3872 3858 3846 3835 3826 3936 3928 3863 3850 3839 3829 3915 3886 3869 3855 3843 3833 3487 3895 3875 3860 3848 3837 3827 3906 3882 3866 3852 3841 3831 3485 3890 3872 3857 3845 3835 3484 3900 3878 3863 3850 3839 3829 3936 3886 3928 3855 3843 3833 3482 3895 3875 3860 3848 3837 3827 3906 3882 3866 3852 3841 3831 3480 3890 3872 3857 3928 3835 3479 3900 3878 3863 3850 3839 3829 3915 3886 3869 3855 3843 3833 3477 3895 3875 3860 3848 3837 3827 3907 3882 3866 3853 3841 3831 3475 3891 3872 3858 3846 3835 3826 3901 3879 3863 3851 3839 3936 3917 3887 3869 3856 3844 3833 3472 3896 3876 3861 3848 3838 3828 3911 3884 3867 3854 3842 3832 3374 3902 3880 3865 3852 3841 3831 3938 3887 3870 3856 3845 3938 3521 3895 3876 3861 3849 3838 3828 3905 3882 3866 3853 3842 3832 3919 3889 3871 3858 3846 3835 3518 3897 3877 3862 3850 3839 3829 3908 3884 3867 3854 3843 3833 3930 3891 3873 3859 3847 3836 3515 3900 3879 3864 3851 3840 3830 3912 3886 3869 3856 3844 3834 3513 3894 3875 3860 3848 3838 3828 3903 3881 3865 3853 3841 3831 3917 3888 3871 3857 3845 3835 3510 3930 3877 3862 3850 3839 3829 3907 3883 3867 3854 3843 3833 3938 3891 3873 3859 3847 3836 3507 3900 3879 3864 3851 3840 3830 3912 3886 3869 3856 3844 3834 3505 3894 3875 3860 3848 3838 3828 3904 3881 3866 3853 3842 3832 3919 3889 3871 3857 3846 3835 3502 3897 3877 3862 3850 3839 3829 3909 3884 3868 3855 3843 3833 3500 3892 3874 3859 3847 3837 3499 3902 3880 3938 3852 3841 3831 3915 3887 3870 3856 3845 3835 3497 3896 3876 3861 3849 3838 3829 3930 3883 3867 3854 3930 3832 3925 3891 3873 3859 3847 3836 3494 3900 3879 3864 3851 3840 3830 3913 3886 3869 3856 3844 3834 3492 3895 3875 3861 3849 3838 3828 3905 3882 3866 3853 3842 3832 3922 3890 3872 3858 3846 3836 3489 3899 3878 3863 3851 3840 3830 3912 3886 3869 3856 3844 3834 3487 3894 3875 3861 3848 3838 3828 3905 3882 3866 3853 3842 3832 3930 3890 3872 3858 3846 3836 3484 3899 3878 3863 3851 3840 3830 3912 3886 3869 3856 3844 3834 3482 3894 3875 3861 3849 3838 3828 3905 3882 3866 3853 3842 3832 3930 3890 3872 3858 3846 3836 3479 3900 3879 3864 3851 3840 3830 3913 3886 3869 3856 3844 3834 3477 3895 3876 3861 3849 3838 3829 3906 3883 3867 3854 3842 3832 3926 3891 3873 3859 3847 3836 3474 3901 3938 3864 3852 3841 3831 3917 3888 3871 3857 3845 3835 3375 3907 3884 3868 3855 3844 3834 3921 3891 3873 3859 3848 3837 3523 3899 3879 3864 3852 3841 3831 3910 3885 3869 3856 3845 3835 3940 3893 3875 3861 3849 3838 3520 3902 3881 3866 3853 3842 3832 3913 3887 3871 3857 3846 3836 3518 3895 3876 3862 3850 3839 3830 3905 3883 3867 3854 3843 3833 3918 3890 3872 3859 3847 3837 3515 3898 3878 3932 3851 3841 3831 3908 3885 3869 3856 3844 3834 3925 3892 3874 3860 3848 3838 3512 3901 3880 3865 3853 3842 3832 3940 3887 3870 3857 3846 3836 3510 3895 3876 3862 3850 3839 3830 3904 3940 3867 3854 3843 3833 3918 3890 3872 3859 3847 3837 3507 3898 3878 3864 3851 3841 3831 3909 3885 3869 3856 3845 3835 3927 3893 3875 3861 3849 3838 3504 3902 3881 3866 3853 3842 3832 3914 3888 3871 3858 3846 3836 3502 3896 3877 3863 3850 3840 3830 3906 3884 3868 3855 3844 3834 3922 3891 3873 3860 3848 3838 3499 3900 3880 3865 3852 3841 3832 3912 3887 3870 3857 3845 3835 3497 3895 3876 3862 3850 3839 3830 3905 3883 3867 3854 3843 3833 3919 3890 3873 3859 3847 3837 3494 3899 3879 3864 3852 3841 3831 3910 3886 3870 3856 3845 3835 3492 3894 3875 3861 3849 3839 3491 3904 3882 3867 3854 3843 3833 3918 3932 3872 3859 3847 3837 3489 3898 3879 3864 3852 3841 3831 3910 3886 3869 3856 3845 3835 3487 3894 3875 3861 3849 3839 3486 3904 3882 3867 3854 3843 3833 3918 3932 3872 3859 3847 3837 3484 3898 3879 3864 3852 3841 3831 3910 3886 3869 3856 3845 3835 3482 3894 3876 3861 3849 3839 3481 3904 3882 3867 3854 3843 3833 3919 3890 3873 3859 3847 3837 3479 3899 3879 3864 3852 3841 3831 3911 3886 3870 3857 3845 3835 3477 3895 3876 3862 3850 3839 3830 3940 3883 3867 3855 3843 3834 3925 3892 3874 3860 3848 3838 3376 3912 3942 3871 3858 3847 3837 3929 3895 3877 3863 3851 3840 3525 3903 3883 3867 3855 3844 3834 3915 3889 3873 3859 3848 3838 3523 3897 3878 3864 3852 3841 3832 3906 3884 3869 3856 3845 3835 3919 3891 3874 3861 3849 3839 3520 3899 3880 3865 3853 3842 3833 3909 3886 3870 3857 3846 3836 3925 3942 3876 3862 3850 3840 3517 3902 3882 3867 3854 3843 3834 3913 3888 3872 3859 3847 3837 3515 3896 3878 3863 3851 3841 3514 3905 3884 3868 3856 3845 3835 3918 3891 3874 3860 3849 3838 3512 3899 3880 3865 3853 3842 3833 3909 3886 3870 3857 3846 3836 3925 3894 3876 3862 3850 3840 3509 3902 3882 3867 3854 3844 3834 3914 3889 3872 3859 3848 3837 3507 3897 3878 3864 3852 3841 3832 3906 3884 3869 3856 3845 3835 3920 3892 3874 3861 3849 3839 3504 3900 3934 3866 3853 3843 3833 3911 3887 3871 3858 3847 3837 3930 3895 3877 3863 3851 3840 3501 3904 3883 3868 3855 3844 3835 3917 3890 3873 3860 3848 3838 3499 3899 3880 3865 3853 3842 3832 3909 3886 3870 3857 3846 3836 3926 3894 3876 3862 3850 3840 3496 3903 3882 3867 3855 3844 3834 3916 3890 3873 3860 3848 3838 3494 3898 3879 3865 3852 3842 3832 3942 3886 3870 3857 3846 3836 3925 3893 3876 3862 3850 3840 3491 3903 3882 3867 3855 3844 3834 3915 3889 3873 3859 3848 3838 3489 3898 3879 3864 3852 3842 3832 3908 3886 3870 3857 3846 3836 3925 3893 3876 3862 3850 3840 3486 3903 3882 3867 3855 3844 3834 3934 3890 3873 3859 3848 3838 3484 3898 3879 3865 3852 3842 3832 3909 3886 3870 3857 3846 3836 3926 3894 3876 3862 3850 3840 3481 3904 3883 3868 3855 3844 3834 3917 3890 3873 3860 3848 3838 3479 3899 3880 3865 3853 3842 3833 3910 3887 3871 3858 3846 3836 3428 3896 3878 3863 3851 3841 3377 3917 3891 3875 3861 3850 3840 3528 3899 3880 3866 3854 3843 3834 3908 3886 3871 3858 3847 3837 3921 3893 3876 3862 3851 3841 3525 3901 3882 3867 3855 3844 3835 3911 3888 3872 3859 3848 3838 3926 3895 3936 3864 3852 3842 3522 3904 3883 3944 3856 3845 3836 3936 3890 3874 3860 3849 3839 3520 3936 3879 3865 3853 3843 3519 3907 3885 3870 3857 3846 3837 3919 3892 3875 3862 3850 3840 3517 3900 3881 3867 3936 3844 3834 3910 3944 3872 3859 3848 3838 3925 3895 3877 3863 3852 3841 3514 3903 3883 3868 3856 3845 3835 3914 3890 3874 3860 3849 3839 3512 3898 3879 3865 3853 3843 3511 3907 3886 3870 3858 3847 3837 3920 3893 3876 3862 3851 3840 3509 3901 3882 3867 3855 3844 3834 3911 3888 3872 3859 3848 3838 3944 3896 3878 3864 3852 3842 3506 3905 3884 3869 3857 3846 3836 3917 3891 3874 3861 3850 3840 3504 3899 3880 3866 3854 3843 3834 3909 3887 3871 3858 3847 3837 3924 3894 3877 3863 3936 3841 3501 3903 3883 3868 3856 3845 3835 3915 3890 3874 3860 3849 3839 3499 3898 3880 3865 3853 3843 3498 3908 3886 3871 3858 3847 3837 3922 3944 3876 3863 3851 3841 3496 3902 3944 3868 3855 3845 3835 3936 3889 3873 3860 3849 3839 3494 3897 3879 3865 3853 3843 3493 3907 3886 3870 3858 3847 3837 3921 3893 3876 3944 3851 3841 3491 3902 3882 3868 3855 3845 3835 3913 3889 3873 3860 3849 3839 3489 3897 3879 3865 3853 3843 3488 3907 3886 3870 3858 3847 3837 3936 3893 3876 3863 3851 3841 3486 3902 3883 3868 3856 3845 3835 3914 3890 3873 3860 3849 3839 3484 3898 3880 3865 3853 3843 3483 3908 3886 3871 3858 3847 3837 3923 3894 3877 3863 3851 3841 3481 3903 3883 3868 3856 3845 3835 3916 3891 3874 3861 3849 3839 3430 3900 3881 3867 3855 3844 3834 3923 3895 3878 3864 3853 3843 3530 3903 3884 3869 3857 3846 3837 3913 3890 3874 3861 3850 3840 3928 3897 3879 3866 3854 3938 3527 3905 3885 3870 3858 3847 3837 3916 3892 3875 3862 3851 3841 3935 3899 3881 3867 3855 3938 3524 3908 3887 3872 3859 3848 3838 3920 3894 3877 3864 3852 3842 3522 3902 3883 3868 3856 3846 3836 3911 3889 3873 3861 3849 3839 3925 3896 3879 3865 3853 3843 3519 3946 3885 3870 3858 3847 3837 3915 3891 3875 3862 3851 3841 3933 3899 3881 3867 3855 3844 3516 3908 3887 3872 3859 3848 3838 3920 3894 3877 3864 3852 3842 3514 3902 3883 3868 3856 3846 3836 3912 3889 3938 3861 3850 3840 3926 3897 3879 3865 3854 3843 3511 3905 3885 3870 3858 3847 3837 3916 3892 3876 3862 3851 3841 3509 3900 3881 3867 3855 3845 3508 3909 3888 3872 3860 3849 3839 3922 3895 3878 3864 3853 3842 3506 3903 3884 3869 3857 3846 3837 3914 3891 3875 3862 3850 3840 3938 3898 3880 3866 3855 3844 3503 3908 3887 3938 3859 3848 3838 3920 3894 3877 3864 3852 3842 3501 3902 3883 3869 3856 3846 3836 3913 3890 3874 3861 3850 3840 3929 3897 3880 3866 3854 3844 3498 3907 3886 3871 3859 3848 3838 3919 3893 3877 3863 3852 3842 3496 3902 3883 3868 3856 3846 3836 3912 3889 3874 3861 3850 3840 3928 3897 3946 3866 3854 3844 3493 3906 3886 3871 3858 3848 3838 3919 3893 3877 3863 3852 3842 3491 3902 3883 3868 3856 3846 3836 3912 3938 3874 3861 3850 3840 3938 3897 3880 3866 3854 3844 3488 3907 3886 3871 3859 3848 3838 3938 3894 3877 3863 3852 3842 3486 3902 3883 3869 3856 3846 3836 3913 3890 3874 3861 3850 3840 3931 3898 3880 3866 3854 3844 3483 3908 3887 3872 3859 3848 3838 3921 3894 3877 3864 3852 3842 3432 3905 3885 3870 3858 3847 3837 3930 3899 3881 3868 3856 3846 3532 3907 3887 3872 3860 3849 3839 3918 3894 3877 3864 3853 3843 3940 3901 3883 3869 3857 3846 3529 3910 3889 3874 3861 3850 3840 3922 3896 3879 3948 3854 3844 3527 3903 3948 3870 3858 3847 3838 3913 3891 3875 3862 3851 3841 3926 3898 3880 3867 3855 3845 3524 3906 3886 3872 3859 3849 3839 3916 3893 3877 3864 3852 3842 3933 3900 3882 3868 3856 3846 3521 3909 3888 3873 3861 3850 3840 3921 3895 3878 3865 3854 3844 3519 3903 3884 3870 3858 3847 3838 3912 3948 3875 3862 3851 3841 3926 3898 3880 3867 3855 3845 3516 3906 3886 3872 3859 3849 3839 3917 3893 3877 3864 3853 3940 3948 3901 3883 3869 3857 3846 3513 3910 3889 3874 3861 3850 3840 3922 3896 3879 3866 3854 3844 3511 3904 3885 3870 3858 3848 3838 3914 3891 3876 3863 3852 3842 3929 3899 3881 3868 3856 3845 3508 3908 3887 3873 3860 3849 3840 3919 3894 3878 3865 3853 3843 3506 3902 3884 3870 3858 3847 3940 3912 3890 3875 3862 3851 3841 3926 3898 3880 3867 3855 3845 3503 3906 3887 3872 3860 3849 3839 3918 3894 3877 3864 3853 3843 3501 3940 3883 3869 3857 3847 3500 3911 3890 3874 3862 3851 3841 3925 3897 3880 3866 3855 3845 3498 3906 3886 3872 3859 3849 3839 3917 3893 3877 3864 3853 3843 3937 3901 3883 3869 3857 3940 3495 3911 3890 3874 3862 3851 3841 3925 3897 3880 3866 3855 3845 3493 3906 3886 3872 3859 3849 3839 3917 3893 3877 3864 3853 3843 3491 3901 3883 3869 3857 3847 3490 3911 3890 3874 3862 3851 3841 3926 3897 3880 3867 3855 3845 3488 3906 3887 3872 3860 3849 3839 3918 3894 3878 3864 3853 3843 3486 3902 3884 3869 3940 3847 3485 3940 3891 3875 3862 3851 3841 3928 3898 3881 3867 3856 3845 3434 3909 3888 3873 3861 3850 3840 3939 3903 3885 3871 3859 3942 3534 3912 3891 3876 3863 3852 3842 3924 3898 3881 3867 3856 3846 3532 3905 3886 3872 3860 3849 3840 3915 3893 3877 3864 3853 3843 3928 3942 3882 3869 3857 3847 3529 3908 3888 3873 3861 3850 3841 3918 3894 3878 3865 3854 3844 3934 3902 3884 3870 3858 3848 3526 3910 3890 3875 3862 3852 3842 3922 3897 3880 3867 3855 3845 3524 3904 3886 3872 3860 3849 3523 3914 3892 3942 3864 3853 3843 3942 3899 3882 3868 3857 3942 3521 3907 3888 3873 3861 3850 3841 3917 3894 3878 3865 3854 3844 3933 3902 3884 3870 3858 3848 3518 3910 3890 3875 3862 3852 3842 3922 3897 3880 3867 3856 3845 3516 3905 3886 3872 3860 3849 3840 3914 3892 3877 3864 3853 3843 3928 3900 3882 3869 3857 3847 3513 3908 3888 3874 3861 3851 3841 3919 3895 3879 3866 3855 3845 3938 3903 3885 3871 3859 3848 3510 3912 3891 3876 3863 3852 3842 3925 3898 3881 3868 3856 3846 3508 3907 3887 3873 3861 3850 3840 3917 3894 3878 3865 3854 3844 3934 3902 3884 3870 3858 3848 3505 3911 3890 3875 3863 3852 3842 3923 3897 3881 3867 3856 3846 3503 3906 3887 3872 3860 3850 3840 3916 3893 3878 3865 3854 3844 3932 3901 3883 3870 3858 3848 3500 3910 3890 3875 3862 3852 3842 3950 3897 3880 3867 3856 3846 3498 3905 3942 3872 3860 3849 3840 3916 3893 3878 3865 3854 3844 3932 3901 3883 3870 3858 3950 3495 3910 3890 3875 3862 3852 3842 3923 3897 3950 3867 3856 3846 3493 3906 3887 3872 3860 3850 3840 3916 3894 3878 3865 3854 3844 3933 3901 3884 3870 3858 3848 3490 3911 3890 3875 3863 3852 3842 3924 3898 3881 3868 3856 3846 3488 3906 3887 3873 3861 3850 3840 3917 3894 3878 3865 3854 3844 3936 3902 3884 3870 3859 3848 3436 3914 3892 3877 3864 3853 3843 3537 3907 3889 3874 3862 3851 3842 3917 3895 3879 3866 3855 3845 3930 3944 3884 3871 3859 3849 3534 3910 3890 3875 3863 3852 3843 3920 3896 3880 3867 3856 3846 3935 3904 3886 3872 3860 3850 3531 3912 3892 3877 3864 3853 3844 3923 3898 3882 3869 3857 3847 3529 3906 3887 3873 3861 3851 3528 3915 3894 3878 3866 3855 3845 3952 3900 3884 3870 3859 3848 3526 3952 3889 3875 3863 3852 3842 3918 3896 3880 3867 3856 3846 3933 3903 3885 3872 3860 3849 3523 3912 3891 3876 3864 3853 3952 3923 3898 3882 3869 3857 3847 3521 3906 3887 3873 3861 3851 3520 3915 3894 3878 3866 3855 3845 3928 3901 3884 3870 3859 3848 3518 3909 3890 3875 3863 3852 3843 3919 3896 3880 3867 3856 3846 3936 3904 3886 3872 3860 3850 3515 3913 3892 3877 3865 3854 3844 3925 3899 3882 3869 3858 3848 3513 3907 3888 3874 3862 3851 3842 3917 3895 3879 3866 3855 3845 3932 3902 3885 3871 3859 3849 3510 3911 3891 3876 3864 3853 3843 3922 3898 3882 3868 3857 3847 3508 3906 3887 3873 3861 3851 3507 3916 3894 3879 3866 3855 3845 3929 3901 3884 3871 3859 3849 3505 3910 3890 3876 3863 3853 3843 3921 3897 3881 3868 3857 3847 3941 3905 3887 3873 3861 3851 3502 3915 3894 3878 3866 3855 3845 3952 3901 3884 3870 3859 3952 3500 3910 3890 3875 3863 3852 3843 3921 3897 3881 3868 3857 3847 3941 3905 3887 3873 3861 3850 3497 3915 3894 3878 3866 3855 3845 3929 3901 3884 3870 3859 3849 3495 3910 3890 3876 3863 3853 3843 3921 3897 3881 3868 3857 3847 3493 3906 3887 3873 3861 3851 3492 3916 3894 3879 3866 3855 3845 3930 3902 3884 3871 3859 3849 3490 3911 3891 3876 3864 3853 3843 3923 3898 3882 3869 3857 3847 3488 3907 3888 3874 3862 3851 3842 3944 3896 3880 3867 3856 3846 3382 3912 3892 3877 3865 3854 3845 3922 3898 3882 3869 3858 3848 3937 3906 3888 3874 3862 3852 3536 3914 3894 3879 3866 3855 3846 3925 3900 3884 3871 3859 3849 3534 3908 3889 3875 3863 3853 3533 3917 3895 3880 3867 3856 3847 3929 3902 3885 3872 3860 3850 3531 3910 3891 3877 3864 3854 3844 3920 3897 3882 3869 3858 3848 3934 3904 3887 3873 3862 3851 3528 3913 3893 3878 3866 3855 3845 3924 3946 3883 3870 3859 3849 3954 3907 3889 3875 3863 3852 3525 3916 3895 3880 3867 3856 3846 3928 3902 3885 3872 3860 3850 3523 3910 3891 3877 3864 3854 3844 3920 3897 3882 3869 3858 3848 3935 3905 3887 3873 3862 3851 3520 3913 3893 3878 3866 3855 3845 3925 3900 3884 3946 3859 3849 3518 3908 3889 3875 3863 3853 3517 3917 3896 3880 3868 3857 3847 3931 3903 3886 3872 3861 3851 3515 3911 3892 3877 3865 3854 3845 3922 3899 3883 3870 3858 3848 3940 3906 3888 3874 3863 3852 3512 3916 3895 3946 3867 3856 3846 3928 3902 3885 3872 3860 3850 3510 3910 3891 3877 3864 3854 3844 3946 3898 3882 3869 3858 3848 3937 3905 3888 3874 3862 3852 3507 3946 3894 3879 3946 3856 3846 3927 3901 3946 3871 3860 3850 3505 3909 3891 3876 3864 3946 3844 3920 3897 3882 3869 3858 3848 3935 3905 3887 3874 3862 3851 3502 3914 3894 3879 3866 3855 3846 3926 3901 3884 3871 3860 3946 3500 3909 3890 3876 3864 3853 3844 3920 3897 3882 3869 3858 3848 3936 3905 3887 3874 3862 3852 3497 3914 3894 3879 3866 3856 3846 3927 3901 3885 3871 3860 3850 3495 3910 3891 3876 3864 3854 3844 3946 3898 3882 3869 3858 3848 3946 3906 3888 3874 3862 3852 3492 3915 3946 3879 3867 3856 3846 3954 3902 3885 3872 3860 3850 3490 3911 3892 3877 3865 3854 3844 3924 3900 3883 3870 3859 3849 3383 3916 3896 3881 3868 3948 3848 3927 3902 3886 3873 3861 3851 3539 3910 3891 3877 3865 3855 3538 3919 3897 3882 3869 3858 3849 3931 3904 3887 3874 3862 3852 3536 3912 3893 3878 3866 3856 3846 3922 3899 3883 3871 3948 3850 3956 3906 3889 3875 3863 3853 3533 3956 3895 3880 3868 3857 3847 3925 3901 3885 3872 3861 3851 3948 3909 3891 3877 3865 3854 3530 3917 3897 3881 3869 3858 3848 3929 3903 3887 3873 3862 3852 3528 3911 3892 3878 3866 3855 3846 3921 3899 3883 3870 3859 3849 3935 3906 3889 3875 3863 3853 3525 3914 3895 3880 3868 3857 3847 3925 3901 3885 3872 3861 3851 3948 3909 3891 3877 3865 3854 3522 3918 3897 3882 3869 3858 3848 3930 3904 3887 3874 3862 3852 3520 3912 3893 3879 3866 3856 3846 3922 3900 3884 3871 3860 3850 3938 3907 3889 3876 3864 3948 3517 3916 3896 3881 3868 3857 3848 3948 3948 3886 3873 3861 3851 3515 3948 3892 3878 3866 3855 3846 3920 3898 3883 3870 3859 3849 3956 3906 3948 3875 3863 3853 3512 3948 3895 3880 3868 3857 3847 3926 3902 3885 3872 3861 3851 3510 3948 3891 3877 3865 3855 3509 3919 3898 3882 3870 3859 3849 3933 3905 3888 3874 3863 3853 3507 3914 3894 3948 3867 3857 3847 3925 3901 3885 3872 3861 3851 3948 3909 3891 3877 3865 3854 3504 3919 3897 3882 3956 3948 3849 3932 3905 3888 3874 3863 3852 3502 3914 3894 3879 3867 3856 3847 3925 3901 3885 3872 3861 3851 3945 3909 3891 3877 3865 3948 3499 3919 3898 3882 3870 3859 3849 3933 3905 3888 3956 3863 3853 3497 3914 3894 3880 3867 3857 3847 3926 3902 3885 3872 3861 3851 3495 3910 3891 3877 3865 3855 3494 3920 3898 3883 3870 3859 3849 3935 3906 3889 3875 3863 3853 3492 3915 3895 3880 3868 3857 3847 3929 3903 3887 3873 3862 3852 3384 3921 3900 3884 3872 3861 3851 3933 3906 3889 3876 3864 3854 3541 3914 3895 3881 3868 3858 3848 3924 3901 3885 3873 3950 3852 3937 3908 3891 3877 3865 3855 3538 3916 3897 3882 3870 3859 3849 3927 3903 3887 3874 3863 3853 3944 3910 3892 3878 3867 3856 3535 3919 3898 3883 3871 3860 3850 3931 3905 3888 3875 3864 3854 3533 3913 3894 3880 3868 3857 3848 3922 3900 3885 3872 3861 3851 3936 3907 3890 3877 3865 3855 3530 3916 3896 3881 3869 3858 3849 3926 3903 3887 3874 3862 3852 3943 3910 3892 3878 3866 3856 3527 3919 3898 3883 3871 3860 3850 3931 3905 3889 3875 3864 3854 3525 3913 3894 3880 3868 3857 3848 3923 3901 3885 3872 3861 3851 3937 3908 3891 3877 3865 3855 3522 3917 3897 3882 3870 3859 3849 3950 3903 3887 3874 3863 3853 3947 3911 3893 3879 3867 3950 3519 3921 3899 3884 3871 3860 3851 3958 3906 3890 3876 3865 3854 3517 3915 3896 3881 3869 3858 3848 3925 3902 3886 3873 3862 3852 3942 3910 3892 3878 3866 3856 3514 3919 3898 3883 3871 3860 3850 3931 3958 3889 3875 3864 3854 3512 3914 3895 3880 3868 3858 3848 3924 3950 3886 3873 3862 3852 3940 3909 3950 3878 3866 3856 3509 3918 3898 3883 3870 3860 3850 3958 3905 3888 3875 3864 3854 3507 3913 3958 3880 3868 3857 3848 3924 3901 3886 3873 3862 3852 3939 3909 3891 3878 3866 3855 3504 3918 3898 3883 3870 3958 3850 3958 3905 3888 3875 3864 3854 3502 3913 3895 3880 3868 3858 3848 3924 3901 3886 3873 3862 3852 3940 3909 3892 3878 3866 3856 3499 3919 3898 3883 3871 3860 3850 3931 3958 3889 3875 3864 3854 3497 3914 3895 3881 3868 3858 3848 3925 3902 3886 3873 3862 3852 3943 3910 3892 3878 3866 3856 3494 3920 3899 3884 3871 3860 3850 3936 3907 3890 3877 3865 3855 3385 3926 3903 3888 3875 3864 3854 3940 3910 3893 3879 3960 3857 3543 3918 3899 3884 3872 3861 3851 3929 3905 3889 3876 3865 3855 3960 3912 3894 3880 3869 3858 3540 3921 3900 3885 3873 3862 3852 3932 3907 3890 3877 3866 3960 3538 3915 3896 3882 3870 3859 3850 3924 3902 3887 3874 3863 3853 3937 3909 3892 3878 3867 3857 3535 3917 3898 3883 3871 3860 3851 3927 3904 3888 3875 3864 3854 3943 3952 3894 3880 3868 3858 3532 3920 3900 3885 3872 3952 3852 3932 3907 3890 3877 3865 3855 3530 3914 3896 3882 3870 3859 3529 3924 3902 3887 3874 3863 3853 3937 3909 3892 3878 3867 3857 3527 3917 3898 3883 3871 3860 3851 3928 3905 3889 3876 3864 3854 3945 3912 3894 3880 3868 3858 3524 3921 3900 3885 3873 3862 3852 3933 3907 3891 3877 3866 3856 3522 3915 3897 3882 3870 3860 3850 3960 3903 3887 3875 3863 3854 3940 3911 3893 3879 3868 3857 3519 3919 3899 3884 3872 3861 3851 3931 3906 3890 3877 3865 3855 3517 3914 3896 3881 3869 3859 3516 3924 3902 3887 3874 3863 3853 3938 3952 3892 3879 3867 3857 3514 3918 3898 3884 3871 3861 3851 3929 3905 3889 3876 3865 3855 3512 3913 3895 3881 3869 3859 3511 3923 3902 3886 3874 3863 3853 3937 3909 3892 3878 3867 3857 3509 3918 3898 3883 3871 3960 3851 3929 3905 3889 3876 3865 3855 3949 3913 3895 3881 3869 3858 3506 3923 3902 3886 3874 3863 3853 3937 3909 3892 3878 3867 3857 3504 3918 3898 3884 3871 3861 3851 3929 3905 3889 3876 3865 3855 3502 3913 3895 3881 3869 3859 3501 3923 3902 3886 3874 3863 3853 3938 3952 3892 3879 3867 3857 3499 3919 3899 3884 3872 3861 3851 3930 3906 3890 3876 3865 3855 3497 3914 3896 3882 3870 3859 3496 3925 3903 3887 3874 3863 3853 3943 3912 3894 3880 3868 3858 3386 3931 3907 3891 3878 3867 3857 3948 3914 3896 3882 3871 3860 3545 3923 3902 3887 3875 3864 3854 3934 3909 3892 3879 3868 3858 3543 3917 3898 3884 3872 3861 3852 3926 3904 3889 3876 3865 3855 3962 3911 3894 3880 3869 3962 3540 3919 3900 3885 3873 3862 3853 3929 3906 3890 3877 3866 3856 3944 3913 3896 3882 3870 3860 3537 3922 3901 3887 3874 3863 3854 3933 3908 3892 3879 3867 3857 3535 3916 3897 3883 3871 3861 3534 3925 3904 3888 3876 3865 3855 3938 3911 3894 3880 3869 3858 3532 3919 3899 3885 3873 3862 3852 3929 3906 3890 3877 3866 3856 3944 3913 3896 3882 3870 3860 3529 3922 3902 3887 3874 3863 3854 3962 3962 3892 3879 3867 3857 3527 3916 3898 3884 3872 3861 3526 3926 3904 3889 3876 3865 3855 3940 3911 3894 3881 3869 3859 3524 3920 3900 3886 3873 3863 3853 3931 3907 3891 3878 3867 3857 3949 3915 3897 3883 3871 3860 3521 3924 3903 3888 3875 3864 3854 3937 3910 3893 3880 3868 3858 3519 3918 3899 3885 3873 3862 3852 3929 3906 3890 3877 3866 3856 3945 3914 3896 3882 3870 3860 3516 3923 3902 3887 3875 3864 3854 3935 3909 3893 3879 3868 3858 3514 3918 3899 3884 3872 3862 3852 3928 3905 3890 3877 3866 3856 3944 3913 3895 3882 3870 3860 3511 3922 3902 3887 3874 3864 3854 3935 3909 3892 3879 3868 3858 3509 3917 3899 3884 3872 3954 3852 3928 3905 3890 3877 3866 3856 3944 3913 3895 3882 3870 3860 3506 3922 3902 3887 3874 3864 3854 3935 3909 3893 3879 3868 3858 3504 3918 3899 3884 3872 3862 3852 3962 3906 3890 3877 3866 3856 3945 3914 3896 3882 3870 3860 3501 3923 3902 3887 3875 3864 3854 3936 3910 3893 3880 3868 3858 3499 3919 3899 3885 3873 3862 3852 3930 3907 3891 3878 3866 3856 3448 3916 3897 3883 3871 3861 3387 3937 3911 3895 3881 3870 3860 3548 3919 3900 3886 3874 3863 3854 3928 3906 3891 3878 3867 3857 3941 3913 3896 3882 3871 3861 3545 3921 3902 3887 3875 3864 3855 3931 3908 3892 3879 3868 3858 3946 3915 3897 3884 3872 3862 3542 3964 3903 3888 3876 3865 3855 3934 3910 3894 3880 3869 3859 3540 3917 3899 3885 3873 3863 3539 3926 3905 3890 3877 3866 3857 3939 3912 3895 3882 3870 3860 3537 3920 3901 3887 3874 3864 3854 3930 3907 3892 3879 3868 3858 3945 3915 3897 3883 3872 3861 3534 3923 3903 3888 3876 3865 3855 3934 3910 3956 3880 3869 3859 3532 3964 3899 3885 3873 3863 3531 3927 3905 3890 3964 3956 3857 3940 3956 3896 3882 3871 3860 3529 3921 3901 3887 3875 3864 3854 3931 3908 3892 3879 3868 3858 3947 3916 3898 3884 3872 3862 3526 3956 3904 3889 3956 3866 3856 3936 3911 3894 3881 3870 3860 3524 3919 3900 3886 3874 3863 3854 3929 3907 3891 3878 3867 3857 3964 3914 3897 3883 3871 3861 3521 3923 3903 3888 3876 3865 3855 3934 3910 3894 3880 3869 3859 3519 3918 3899 3885 3873 3863 3518 3928 3906 3891 3878 3867 3857 3956 3913 3896 3883 3871 3861 3516 3922 3902 3888 3875 3865 3855 3933 3909 3893 3880 3869 3859 3514 3917 3899 3885 3873 3863 3513 3927 3906 3890 3878 3867 3857 3941 3913 3896 3882 3871 3861 3511 3922 3902 3888 3875 3865 3855 3933 3909 3893 3880 3869 3859 3509 3917 3899 3885 3873 3863 3508 3927 3906 3890 3878 3867 3857 3941 3913 3896 3883 3871 3861 3506 3922 3964 3888 3875 3865 3855 3934 3910 3893 3880 3869 3859 3504 3918 3899 3885 3873 3863 3503 3928 3906 3891 3878 3867 3857 3943 3914 3897 3883 3871 3861 3501 3923 3903 3888 3876 3865 3855 3935 3910 3894 3881 3869 3859 3450 3920 3901 3887 3874 3864 3854 3943 3915 3898 3885 3873 3863 3550 3923 3904 3889 3877 3866 3857 3933 3910 3894 3881 3870 3860 3948 3917 3966 3886 3874 3864 3547 3958 3905 3890 3878 3867 3857 3936 3912 3896 3882 3871 3861 3958 3919 3901 3887 3875 3865 3544 3928 3907 3892 3879 3868 3858 3940 3914 3897 3884 3872 3862 3542 3922 3903 3888 3876 3866 3856 3931 3909 3893 3881 3869 3860 3958 3916 3899 3885 3873 3863 3539 3925 3905 3890 3878 3867 3857 3935 3911 3895 3882 3871 3861 3954 3919 3901 3887 3875 3864 3536 3928 3907 3892 3879 3868 3858 3940 3914 3897 3884 3872 3862 3534 3922 3903 3888 3876 3866 3856 3932 3909 3894 3881 3870 3860 3947 3917 3899 3885 3874 3863 3531 3925 3905 3890 3878 3867 3857 3937 3912 3896 3882 3871 3861 3529 3920 3901 3887 3875 3865 3528 3929 3908 3892 3880 3869 3859 3943 3915 3898 3884 3873 3863 3526 3923 3904 3889 3877 3866 3857 3934 3911 3895 3882 3870 3860 3952 3918 3900 3886 3875 3864 3523 3928 3907 3892 3879 3868 3858 3940 3914 3897 3884 3872 3862 3521 3922 3903 3889 3877 3866 3856 3933 3910 3894 3881 3870 3860 3949 3918 3900 3886 3874 3864 3518 3927 3906 3891 3879 3868 3858 3939 3913 3897 3883 3872 3862 3516 3922 3903 3888 3876 3866 3856 3932 3958 3894 3881 3870 3860 3948 3917 3900 3886 3874 3864 3513 3958 3906 3891 3958 3868 3858 3939 3913 3897 3883 3872 3862 3511 3922 3903 3888 3876 3866 3856 3932 3910 3894 3881 3870 3860 3949 3917 3900 3886 3874 3864 3508 3927 3906 3891 3879 3868 3858 3940 3914 3897 3884 3872 3862 3506 3922 3903 3889 3877 3866 3856 3933 3910 3894 3881 3870 3860 3951 3918 3900 3886 3966 3864 3503 3928 3907 3892 3879 3868 3858 3942 3958 3898 3884 3873 3862 3452 3925 3905 3890 3878 3867 3857 3951 3919 3902 3888 3876 3866 3552 3928 3908 3893 3880 3869 3860 3939 3914 3898 3884 3873 3863 3550 3921 3903 3889 3877 3867 3549 3930 3909 3894 3881 3870 3860 3942 3916 3899 3886 3874 3864 3547 3924 3905 3890 3878 3868 3858 3933 3911 3895 3960 3871 3861 3947 3918 3901 3887 3875 3865 3544 3926 3907 3892 3968 3869 3859 3937 3913 3897 3884 3873 3863 3954 3920 3902 3888 3877 3866 3541 3929 3909 3893 3881 3870 3860 3941 3915 3899 3885 3874 3864 3539 3923 3904 3890 3878 3867 3858 3933 3911 3895 3882 3871 3861 3947 3918 3901 3887 3875 3865 3536 3926 3907 3892 3880 3869 3859 3937 3913 3897 3884 3873 3863 3956 3921 3903 3889 3877 3866 3533 3930 3909 3894 3881 3870 3860 3943 3916 3899 3886 3874 3864 3531 3924 3905 3891 3879 3868 3858 3934 3912 3896 3883 3872 3862 3950 3919 3902 3888 3876 3866 3528 3928 3908 3893 3880 3869 3860 3940 3915 3898 3885 3874 3863 3526 3923 3904 3890 3878 3867 3858 3933 3911 3895 3882 3871 3861 3947 3918 3901 3887 3875 3865 3523 3927 3907 3892 3880 3869 3859 3938 3914 3898 3884 3873 3863 3521 3922 3903 3889 3877 3867 3520 3932 3910 3895 3882 3871 3861 3946 3917 3900 3887 3875 3865 3518 3926 3906 3892 3879 3869 3859 3938 3913 3897 3884 3873 3863 3516 3960 3903 3889 3877 3867 3515 3931 3910 3894 3882 3871 3861 3945 3917 3900 3887 3875 3865 3513 3926 3906 3892 3879 3869 3859 3938 3914 3897 3884 3873 3863 3511 3922 3903 3889 3877 3867 3510 3932 3910 3895 3882 3871 3861 3946 3918 3900 3887 3875 3865 3508 3927 3907 3892 3880 3869 3859 3939 3914 3898 3885 3873 3863 3506 3960 3904 3890 3878 3867 3858 3933 3911 3895 3882 3871 3861 3949 3919 3901 3887 3876 3865 3454 3929 3909 3893 3881 3870 3860 3555 3924 3905 3891 3879 3869 3554 3933 3911 3896 3883 3872 3863 3945 3918 3901 3888 3876 3866 3552 3926 3907 3892 3880 3870 3860 3935 3913 3897 3885 3873 3863 3949 3920 3903 3889 3877 3867 3549 3928 3908 3894 3881 3871 3861 3939 3915 3899 3886 3875 3864 3955 3922 3904 3890 3879 3868 3546 3931 3910 3895 3883 3872 3862 3943 3917 3900 3887 3876 3866 3544 3925 3906 3892 3880 3869 3860 3934 3912 3897 3884 3873 3863 3948 3919 3902 3889 3877 3867 3541 3928 3908 3893 3881 3970 3861 3938 3915 3899 3886 3874 3864 3955 3922 3904 3890 3878 3868 3538 3931 3910 3895 3883 3872 3862 3943 3917 3901 3887 3876 3866 3536 3925 3906 3892 3880 3869 3860 3935 3913 3897 3884 3873 3863 3949 3920 3903 3889 3877 3867 3533 3929 3909 3894 3882 3871 3861 3940 3916 3899 3886 3875 3865 3531 3923 3905 3891 3879 3869 3530 3933 3912 3896 3884 3873 3863 3946 3919 3902 3888 3877 3866 3528 3927 3908 3893 3881 3870 3861 3938 3915 3899 3886 3874 3864 3970 3922 3904 3890 3879 3868 3525 3932 3911 3896 3883 3872 3862 3944 3918 3901 3888 3876 3866 3523 3926 3907 3893 3881 3870 3860 3937 3914 3898 3885 3874 3864 3953 3922 3904 3890 3878 3868 3520 3931 3910 3895 3883 3872 3862 3943 3970 3901 3887 3876 3866 3518 3926 3907 3892 3880 3870 3860 3962 3914 3898 3885 3874 3864 3953 3922 3904 3890 3878 3868 3515 3931 3910 3895 3883 3872 3862 3944 3918 3901 3970 3876 3866 3513 3926 3907 3893 3880 3870 3860 3937 3914 3898 3885 3874 3864 3954 3922 3904 3890 3878 3868 3510 3932 3911 3896 3883 3872 3862 3945 3918 3901 3888 3876 3866 3508 3927 3908 3893 3881 3870 3861 3938 3915 3899 3886 3874 3864 3958 3923 3905 3891 3879 3868 3456 3934 3912 3897 3884 3873 3863 3557 3928 3909 3895 3972 3872 3862 3938 3915 3900 3887 3876 3866 3964 3922 3905 3891 3879 3869 3554 3930 3911 3896 3884 3873 3863 3941 3917 3901 3888 3877 3867 3972 3924 3906 3892 3881 3870 3551 3933 3912 3897 3885 3874 3864 3944 3919 3902 3889 3878 3868 3549 3927 3908 3894 3882 3871 3862 3936 3914 3899 3886 3875 3865 3949 3921 3904 3890 3879 3869 3546 3929 3910 3895 3883 3872 3863 3940 3916 3900 3887 3876 3866 3964 3924 3906 3892 3880 3870 3543 3932 3912 3897 3884 3874 3864 3944 3919 3902 3889 3878 3867 3541 3927 3908 3894 3882 3871 3862 3936 3914 3899 3886 3875 3865 3950 3921 3904 3891 3879 3869 3538 3930 3910 3896 3883 3873 3863 3940 3917 3901 3888 3876 3866 3958 3924 3906 3892 3881 3870 3535 3934 3913 3898 3885 3874 3864 3946 3920 3903 3890 3878 3868 3533 3928 3909 3894 3882 3872 3862 3938 3915 3900 3887 3876 3866 3972 3923 3905 3892 3880 3869 3530 3932 3912 3897 3884 3873 3864 3944 3919 3902 3889 3877 3867 3528 3927 3908 3894 3882 3871 3862 3937 3915 3899 3886 3875 3865 3951 3922 3905 3891 3879 3869 3525 3931 3911 3896 3884 3873 3863 3942 3918 3902 3888 3877 3867 3523 3926 3908 3893 3881 3871 3522 3936 3914 3899 3886 3875 3865 3950 3922 3904 3891 3879 3869 3520 3964 3911 3896 3884 3873 3863 3942 3918 3901 3888 3877 3867 3518 3926 3907 3893 3881 3871 3517 3936 3914 3899 3886 3875 3865 3950 3922 3904 3891 3879 3869 3515 3931 3911 3896 3884 3873 3863 3943 3918 3902 3888 3877 3867 3513 3926 3908 3894 3882 3871 3512 3937 3915 3899 3886 3875 3865 3952 3922 3905 3891 3880 3869 3510 3932 3911 3964 3884 3873 3864 3944 3919 3902 3889 3878 3867 3508 3927 3972 3894 3882 3871 3862 3940 3916 3900 3887 3876 3866 3392 3933 3913 3898 3886 3875 3865 3943 3919 3903 3890 3879 3869 3960 3966 3974 3966 3883 3872 3556 3935 3914 3899 3887 3876 3866 3947 3921 3904 3891 3880 3870 3554 3929 3910 3896 3884 3873 3864 3938 3916 3901 3888 3877 3867 3951 3923 3906 3892 3881 3871 3551 3931 3912 3897 3885 3874 3865 3941 3918 3902 3889 3878 3868 3957 3925 3908 3894 3882 3872 3548 3934 3914 3899 3886 3875 3866 3945 3920 3904 3891 3879 3869 3546 3928 3910 3895 3883 3873 3545 3937 3916 3900 3888 3877 3867 3950 3923 3906 3892 3881 3870 3543 3931 3912 3897 3885 3874 3865 3941 3918 3902 3889 3878 3868 3974 3926 3908 3894 3882 3872 3540 3935 3914 3899 3887 3876 3866 3946 3921 3904 3891 3880 3869 3538 3929 3910 3896 3884 3873 3864 3939 3917 3901 3888 3877 3867 3953 3924 3907 3893 3881 3871 3535 3966 3913 3898 3886 3875 3865 3944 3919 3903 3890 3879 3869 3966 3927 3909 3895 3883 3873 3532 3937 3915 3900 3974 3966 3867 3950 3923 3906 3892 3881 3870 3530 3931 3912 3897 3885 3874 3865 3942 3919 3903 3890 3878 3868 3960 3926 3908 3894 3883 3872 3527 3936 3915 3900 3887 3876 3866 3974 3922 3905 3892 3880 3870 3525 3930 3911 3897 3885 3874 3864 3941 3918 3902 3889 3878 3868 3958 3926 3908 3894 3882 3872 3522 3935 3966 3899 3887 3876 3866 3948 3922 3905 3892 3880 3870 3520 3930 3911 3897 3885 3874 3864 3941 3918 3902 3889 3878 3868 3966 3926 3908 3894 3882 3872 3517 3936 3915 3966 3887 3876 3866 3949 3922 3905 3892 3880 3870 3515 3931 3912 3897 3885 3874 3864 3942 3919 3903 3890 3878 3868 3961 3927 3909 3895 3883 3872 3512 3966 3915 3900 3887 3876 3867 3950 3923 3906 3892 3881 3870 3510 3932 3912 3898 3885 3875 3865 3945 3920 3904 3891 3879 3869 3393 3938 3917 3902 3889 3878 3868 3949 3923 3907 3893 3882 3872 3559 3931 3912 3898 3886 3875 3866 3940 3918 3903 3890 3879 3869 3953 3925 3908 3968 3883 3873 3556 3933 3914 3899 3887 3876 3867 3943 3920 3904 3891 3880 3870 3968 3927 3910 3896 3884 3874 3553 3936 3916 3901 3888 3877 3868 3947 3922 3906 3893 3881 3871 3551 3930 3911 3897 3885 3875 3550 3939 3918 3902 3890 3879 3869 3968 3976 3908 3894 3883 3872 3548 3933 3913 3899 3887 3876 3866 3943 3920 3904 3891 3880 3870 3958 3927 3909 3896 3884 3874 3545 3936 3968 3901 3888 3877 3868 3947 3922 3906 3893 3881 3871 3543 3930 3912 3897 3885 3875 3542 3968 3918 3902 3890 3879 3869 3953 3925 3908 3894 3883 3873 3540 3933 3914 3899 3887 3876 3867 3944 3921 3905 3892 3880 3870 3961 3928 3910 3896 3976 3874 3537 3937 3917 3901 3889 3878 3868 3950 3924 3907 3893 3882 3872 3535 3932 3913 3898 3886 3876 3866 3942 3919 3904 3891 3880 3870 3957 3927 3909 3896 3884 3873 3532 3936 3916 3901 3888 3877 3868 3948 3923 3906 3893 3881 3871 3530 3931 3912 3898 3886 3875 3866 3941 3919 3903 3890 3879 3869 3976 3926 3909 3895 3883 3873 3527 3935 3915 3900 3888 3877 3867 3947 3922 3906 3893 3881 3871 3525 3930 3912 3898 3886 3875 3524 3940 3918 3903 3890 3879 3869 3955 3926 3909 3895 3883 3873 3522 3935 3915 3900 3888 3877 3867 3947 3922 3906 3893 3881 3871 3520 3930 3912 3898 3886 3875 3968 3941 3919 3903 3890 3879 3869 3956 3926 3909 3895 3968 3873 3517 3968 3915 3900 3888 3877 3867 3948 3923 3906 3893 3881 3871 3515 3931 3912 3898 3886 3875 3866 3942 3919 3968 3891 3880 3870 3958 3927 3976 3896 3884 3874 3512 3937 3916 3901 3889 3878 3868 3952 3925 3908 3894 3883 3872 3394 3943 3921 3905 3892 3881 3871 3956 3928 3910 3897 3885 3875 3561 3936 3916 3901 3889 3878 3869 3946 3922 3906 3893 3882 3872 3961 3978 3912 3898 3886 3876 3558 3938 3918 3903 3890 3879 3870 3949 3924 3908 3895 3883 3873 3556 3932 3913 3899 3887 3877 3555 3941 3919 3904 3970 3881 3871 3953 3926 3909 3896 3884 3874 3553 3934 3915 3901 3889 3878 3868 3944 3922 3906 3893 3882 3872 3959 3929 3911 3897 3886 3875 3550 3937 3917 3902 3890 3879 3869 3948 3924 3908 3894 3883 3873 3548 3931 3913 3899 3887 3877 3547 3941 3919 3904 3891 3880 3871 3953 3926 3909 3896 3884 3874 3545 3935 3915 3901 3889 3878 3868 3945 3922 3906 3893 3882 3872 3978 3929 3912 3898 3886 3876 3542 3938 3918 3903 3890 3978 3870 3950 3925 3908 3895 3884 3873 3540 3933 3914 3900 3888 3877 3868 3942 3920 3905 3892 3881 3871 3956 3928 3978 3897 3885 3875 3537 3936 3917 3902 3890 3879 3869 3970 3923 3907 3894 3883 3873 3970 3931 3913 3899 3887 3877 3534 3941 3978 3904 3892 3881 3871 3954 3927 3910 3896 3885 3874 3532 3935 3916 3901 3889 3878 3869 3946 3923 3907 3894 3882 3872 3964 3931 3970 3899 3887 3876 3529 3940 3919 3904 3891 3880 3870 3953 3926 3909 3896 3884 3874 3527 3935 3916 3901 3889 3878 3868 3946 3922 3906 3893 3882 3872 3964 3930 3912 3898 3887 3876 3524 3940 3919 3904 3891 3880 3870 3953 3926 3909 3896 3884 3874 3522 3935 3916 3901 3889 3878 3869 3946 3923 3907 3894 3882 3872 3965 3931 3913 3899 3887 3876 3519 3940 3919 3904 3891 3880 3871 3954 3927 3910 3896 3885 3874 3517 3936 3916 3901 3889 3878 3869 3947 3923 3907 3894 3883 3873 3515 3970 3913 3899 3887 3877 3514 3942 3920 3905 3892 3881 3871 3959 3929 3911 3897 3886 3875 3395 3948 3925 3909 3896 3884 3874 3964 3932 3914 3900 3888 3878 3563 3940 3920 3905 3892 3882 3872 3951 3926 3910 3897 3885 3875 3561 3934 3980 3901 3889 3879 3560 3943 3922 3906 3894 3883 3873 3955 3928 3911 3898 3886 3876 3558 3936 3917 3903 3891 3880 3870 3946 3923 3908 3895 3884 3874 3980 3931 3913 3899 3888 3877 3555 3939 3919 3904 3892 3881 3871 3950 3926 3909 3896 3885 3875 3969 3933 3915 3901 3889 3878 3552 3942 3921 3906 3893 3882 3872 3954 3928 3911 3898 3886 3876 3550 3936 3917 3903 3890 3880 3870 3946 3923 3908 3895 3884 3874 3961 3931 3913 3899 3888 3877 3547 3939 3919 3904 3892 3881 3871 3980 3926 3910 3896 3885 3875 3545 3934 3915 3901 3889 3879 3544 3943 3922 3906 3894 3883 3873 3956 3929 3912 3898 3887 3876 3542 3937 3918 3903 3891 3880 3871 3948 3924 3908 3980 3884 3874 3965 3932 3914 3900 3888 3878 3539 3941 3980 3905 3893 3882 3872 3954 3928 3911 3897 3886 3876 3537 3936 3917 3902 3890 3880 3870 3946 3923 3908 3895 3884 3874 3962 3931 3913 3900 3888 3878 3534 3940 3920 3905 3892 3881 3872 3952 3927 3910 3897 3886 3875 3532 3935 3916 3902 3890 3879 3870 3945 3923 3907 3894 3883 3873 3960 3931 3913 3899 3888 3877 3529 3940 3919 3904 3892 3881 3872 3972 3972 3910 3897 3885 3875 3527 3935 3916 3902 3890 3879 3870 3945 3923 3907 3894 3883 3873 3960 3931 3913 3899 3888 3877 3524 3940 3919 3905 3892 3881 3872 3952 3927 3910 3897 3886 3875 3522 3935 3916 3902 3890 3879 3870 3946 3923 3980 3895 3884 3874 3962 3931 3913 3900 3888 3878 3519 3980 3920 3905 3980 3882 3872 3953 3927 3911 3897 3886 3876 3517 3936 3917 3903 3890 3880 3870 3947 3924 3908 3895 3884 3874 3969 3933 3915 3901 3889 3980 3396 3954 3929 3912 3899 3888 3877 3566 3936 3918 3904 3892 3881 3565 3945 3924 3908 3896 3885 3875 3958 3931 3914 3900 3889 3878 3563 3982 3919 3905 3893 3882 3872 3948 3926 3910 3897 3886 3876 3963 3933 3915 3901 3890 3879 3560 3941 3921 3906 3894 3883 3873 3952 3928 3911 3898 3887 3877 3970 3935 3917 3903 3891 3880 3557 3944 3923 3908 3895 3884 3874 3956 3930 3913 3900 3888 3878 3555 3938 3919 3904 3892 3882 3872 3947 3925 3909 3897 3885 3974 3962 3932 3915 3901 3889 3879 3552 3941 3921 3906 3894 3883 3873 3952 3927 3911 3898 3887 3877 3974 3935 3917 3903 3891 3880 3549 3944 3923 3908 3895 3884 3874 3957 3930 3913 3900 3888 3878 3547 3938 3919 3905 3893 3882 3872 3982 3926 3910 3897 3886 3876 3964 3933 3974 3902 3890 3880 3544 3942 3922 3907 3894 3883 3874 3954 3929 3912 3899 3887 3877 3542 3937 3918 3904 3892 3881 3872 3946 3924 3909 3896 3885 3875 3974 3932 3915 3901 3889 3879 3539 3974 3921 3906 3894 3883 3873 3952 3928 3911 3898 3887 3877 3537 3935 3917 3903 3891 3881 3536 3945 3924 3908 3896 3885 3875 3959 3931 3914 3900 3889 3879 3534 3940 3920 3905 3893 3882 3873 3951 3927 3911 3898 3887 3877 3970 3935 3917 3903 3891 3880 3531 3945 3923 3908 3895 3884 3875 3958 3931 3914 3900 3889 3878 3529 3939 3920 3905 3893 3882 3873 3951 3927 3911 3898 3887 3876 3970 3935 3917 3903 3891 3880 3526 3945 3923 3908 3895 3884 3875 3958 3931 3914 3900 3889 3878 3524 3940 3920 3974 3893 3883 3873 3951 3927 3911 3898 3887 3877 3522 3935 3917 3903 3891 3881 3521 3946 3924 3982 3896 3885 3875 3960 3932 3914 3901 3889 3879 3519 3941 3921 3906 3894 3883 3873 3953 3928 3912 3899 3887 3877 3468 3938 3919 3904 3892 3882 3872 3961 3933 3916 3902 3891 3881 3568 3941 3922 3907 3895 3884 3875 3951 3928 3912 3899 3888 3878 3965 3935 3917 3904 3892 3881 3565 3943 3923 3908 3896 3885 3875 3954 3930 3913 3900 3889 3879 3976 3937 3919 3905 3893 3882 3562 3946 3925 3910 3897 3886 3876 3958 3932 3915 3902 3890 3880 3560 3940 3921 3906 3894 3884 3874 3949 3927 3911 3898 3887 3877 3963 3934 3917 3903 3891 3881 3557 3942 3923 3908 3896 3885 3875 3953 3929 3913 3900 3889 3879 3971 3937 3919 3905 3893 3882 3554 3946 3925 3910 3897 3886 3876 3958 3932 3915 3902 3890 3880 3552 3940 3921 3906 3894 3884 3874 3976 3927 3911 3899 3984 3878 3964 3934 3917 3903 3892 3881 3549 3943 3923 3908 3896 3885 3875 3954 3930 3976 3900 3889 3879 3547 3938 3919 3905 3893 3883 3546 3947 3926 3910 3898 3887 3877 3960 3933 3916 3902 3891 3880 3544 3941 3922 3907 3895 3884 3875 3952 3976 3976 3900 3888 3878 3969 3936 3918 3904 3984 3882 3541 3945 3925 3909 3897 3886 3876 3958 3932 3915 3902 3890 3880 3539 3940 3921 3907 3894 3884 3874 3950 3928 3912 3899 3888 3878 3976 3935 3918 3904 3892 3882 3536 3976 3924 3909 3976 3886 3876 3957 3931 3915 3901 3890 3880 3534 3939 3921 3906 3894 3884 3874 3950 3927 3912 3899 3888 3878 3966 3935 3917 3904 3892 3976 3531 3944 3924 3909 3896 3886 3876 3957 3931 3914 3901 3890 3880 3529 3939 3921 3906 3894 3884 3874 3950 3927 3912 3899 3888 3878 3966 3935 3918 3904 3892 3882 3526 3945 3924 3909 3897 3886 3876 3957 3931 3915 3901 3890 3880 3524 3940 3921 3907 3894 3884 3874 3951 3928 3912 3899 3888 3878 3984 3936 3918 3904 3892 3882 3521 3946 3925 3910 3897 3886 3876 3959 3932 3915 3902 3890 3880 3470 3942 3923 3908 3896 3885 3875 3969 3937 3920 3906 3894 3884 3570 3946 3978 3911 3898 3887 3878 3978 3932 3916 3902 3891 3881 3568 3939 3921 3907 3895 3885 3567 3948 3927 3912 3899 3888 3878 3960 3934 3917 3904 3892 3882 3565 3942 3923 3908 3896 3886 3876 3951 3929 3913 3986 3889 3879 3965 3936 3919 3905 3893 3883 3562 3944 3978 3910 3897 3887 3877 3955 3931 3915 3902 3891 3881 3972 3938 3920 3906 3895 3884 3559 3947 3978 3911 3899 3888 3878 3959 3933 3917 3903 3892 3882 3557 3941 3922 3908 3896 3885 3876 3951 3929 3913 3900 3889 3879 3965 3936 3919 3905 3893 3883 3554 3944 3925 3910 3898 3887 3877 3955 3931 3915 3902 3891 3881 3974 3939 3921 3907 3895 3884 3551 3948 3927 3912 3899 3888 3878 3978 3934 3917 3904 3892 3882 3549 3942 3923 3909 3978 3886 3876 3952 3930 3914 3901 3890 3880 3968 3937 3978 3906 3894 3884 3546 3946 3926 3911 3898 3887 3878 3958 3933 3916 3903 3892 3881 3544 3941 3922 3908 3896 3885 3876 3951 3929 3913 3900 3889 3879 3965 3936 3919 3905 3893 3883 3541 3945 3925 3910 3898 3887 3877 3956 3932 3978 3902 3891 3881 3539 3940 3921 3907 3895 3885 3538 3950 3928 3913 3900 3889 3879 3964 3935 3918 3905 3893 3883 3536 3944 3924 3910 3897 3887 3877 3978 3931 3915 3902 3891 3881 3534 3986 3921 3907 3895 3885 3533 3949 3928 3912 3900 3889 3879 3963 3935 3918 3905 3893 3883 3531 3944 3924 3910 3897 3887 3877 3956 3932 3915 3902 3891 3881 3529 3940 3921 3907 3895 3885 3528 3950 3928 3913 3900 3889 3879 3964 3936 3918 3905 3893 3883 3526 3945 3925 3910 3898 3887 3877 3957 3932 3916 3903 3891 3881 3524 3986 3922 3908 3896 3885 3876 3951 3929 3913 3900 3889 3879 3967 3937 3919 3905 3894 3883 3472 3947 3927 3911 3899 3888 3878 3573 3942 3988 3909 3897 3887 3572 3951 3988 3914 3902 3891 3881 3963 3936 3919 3906 3894 3884 3570 3944 3925 3911 3898 3888 3878 3954 3931 3915 3903 3892 3882 3967 3938 3921 3907 3895 3885 3567 3946 3927 3912 3900 3889 3879 3957 3933 3917 3904 3893 3883 3974 3940 3922 3908 3897 3886 3564 3949 3928 3913 3901 3890 3880 3961 3935 3919 3905 3894 3884 3562 3943 3924 3910 3898 3887 3878 3980 3931 3915 3902 3891 3881 3966 3938 3920 3907 3895 3885 3559 3946 3926 3912 3899 3889 3879 3956 3933 3917 3904 3892 3882 3974 3940 3922 3908 3897 3886 3556 3949 3929 3913 3901 3890 3880 3961 3935 3919 3905 3894 3884 3554 3943 3925 3910 3898 3888 3878 3953 3931 3915 3903 3891 3881 3968 3938 3921 3907 3896 3885 3551 3947 3927 3912 3900 3889 3879 3958 3934 3980 3904 3893 3883 3549 3942 3923 3909 3897 3887 3548 3951 3930 3914 3902 3891 3881 3988 3937 3920 3906 3895 3988 3546 3945 3926 3911 3899 3888 3879 3956 3933 3917 3904 3892 3882 3974 3940 3922 3908 3897 3886 3543 3950 3929 3914 3901 3890 3880 3963 3936 3919 3906 3894 3884 3541 3944 3925 3911 3899 3888 3878 3955 3932 3916 3903 3892 3882 3972 3940 3922 3908 3896 3886 3538 3949 3928 3913 3901 3890 3880 3962 3936 3919 3906 3894 3884 3536 3944 3925 3911 3898 3888 3878 3955 3932 3916 3903 3892 3882 3972 3940 3922 3908 3896 3886 3533 3949 3928 3913 3901 3890 3880 3962 3936 3919 3906 3894 3884 3531 3944 3925 3911 3899 3888 3878 3955 3932 3916 3903 3892 3882 3973 3940 3922 3908 3896 3886 3528 3950 3929 3914 3901 3890 3880 3963 3936 3919 3906 3894 3884 3526 3945 3926 3911 3899 3888 3879 3980 3933 3917 3904 3980 3882 3977 3941 3923 3909 3897 3886 3474 3953 3931 3915 3902 3891 3881 3575 3947 3927 3913 3901 3890 3880 3956 3934 3918 3905 3894 3884 3970 3941 3923 3909 3898 3887 3572 3949 3929 3914 3902 3891 3881 3959 3935 3919 3906 3895 3885 3977 3943 3925 3911 3899 3888 3569 3951 3931 3915 3903 3892 3882 3963 3937 3921 3907 3896 3886 3567 3945 3926 3912 3900 3889 3880 3954 3990 3917 3904 3893 3883 3968 3982 3922 3909 3897 3887 3564 3948 3928 3913 3901 3990 3881 3958 3935 3919 3906 3894 3884 3975 3942 3924 3910 3898 3888 3561 3951 3930 3915 3903 3892 3882 3963 3937 3920 3907 3896 3886 3559 3945 3926 3912 3900 3889 3880 3955 3933 3917 3904 3893 3883 3968 3940 3922 3909 3897 3887 3556 3948 3928 3914 3901 3891 3881 3959 3935 3919 3906 3895 3885 3990 3943 3925 3911 3899 3888 3553 3952 3931 3916 3903 3892 3882 3965 3938 3921 3908 3896 3886 3551 3946 3927 3913 3901 3890 3880 3957 3934 3918 3905 3894 3884 3990 3941 3924 3910 3898 3888 3548 3950 3930 3915 3902 3892 3882 3962 3937 3920 3907 3896 3885 3546 3945 3926 3912 3900 3889 3880 3955 3933 3917 3904 3893 3883 3970 3940 3923 3909 3898 3887 3543 3949 3929 3914 3902 3891 3881 3961 3936 3920 3907 3895 3885 3541 3944 3926 3912 3900 3889 3540 3954 3932 3917 3904 3893 3883 3969 3940 3923 3909 3897 3887 3538 3949 3929 3914 3902 3891 3881 3961 3936 3920 3982 3895 3885 3536 3944 3926 3912 3900 3889 3535 3954 3932 3917 3904 3893 3883 3969 3940 3923 3909 3897 3887 3533 3949 3929 3914 3902 3891 3881 3961 3936 3920 3907 3895 3885 3531 3945 3926 3912 3900 3889 3880 3955 3933 3917 3904 3893 3883 3971 3941 3923 3909 3898 3887 3528 3950 3930 3915 3902 3891 3882 3963 3937 3920 3907 3896 3886 3526 3946 3927 3912 3900 3890 3880 3958 3935 3919 3906 3894 3884 3401 3951 3931 3916 3904 3893 3883 3962 3938 3921 3908 3897 3887 3984 3945 3927 3913 3901 3890 3574 3954 3933 3918 3905 3894 3884 3966 3940 3923 3909 3898 3888 3572 3947 3928 3914 3902 3891 3882 3957 3935 3919 3906 3895 3885 3970 3942 3924 3911 3899 3889 3569 3950 3930 3984 3903 3893 3883 3960 3937 3921 3908 3896 3886 3976 3944 3926 3912 3900 3890 3566 3953 3932 3917 3905 3894 3884 3964 3939 3922 3909 3898 3887 3564 3947 3928 3914 3902 3891 3882 3956 3934 3919 3906 3895 3885 3992 3941 3924 3911 3899 3889 3561 3950 3930 3915 3903 3892 3883 3960 3937 3921 3908 3896 3886 3977 3944 3926 3912 3984 3890 3558 3953 3932 3917 3905 3894 3884 3965 3939 3923 3909 3898 3888 3556 3947 3929 3914 3902 3892 3882 3957 3935 3919 3907 3895 3984 3972 3942 3925 3911 3900 3889 3553 3951 3931 3916 3904 3893 3883 3992 3938 3922 3908 3897 3887 3551 3946 3927 3913 3901 3891 3550 3984 3934 3918 3906 3895 3885 3969 3941 3924 3984 3899 3889 3548 3950 3930 3916 3903 3893 3883 3961 3937 3921 3908 3897 3887 3980 3945 3927 3913 3901 3890 3545 3954 3933 3918 3905 3894 3885 3968 3984 3924 3910 3899 3888 3543 3949 3930 3915 3903 3892 3883 3960 3937 3921 3908 3896 3886 3978 3944 3926 3912 3901 3890 3540 3954 3933 3918 3905 3894 3884 3967 3940 3923 3910 3898 3888 3538 3949 3930 3915 3903 3892 3883 3960 3937 3921 3908 3896 3886 3992 3945 3927 3913 3901 3890 3535 3954 3933 3918 3905 3894 3884 3968 3941 3924 3910 3899 3888 3533 3949 3930 3915 3903 3892 3883 3961 3937 3921 3908 3897 3887 3981 3945 3927 3913 3901 3891 3530 3955 3934 3918 3906 3895 3885 3970 3941 3924 3911 3899 3889 3528 3951 3931 3916 3904 3893 3883 3964 3939 3922 3909 3898 3887 3402 3957 3935 3920 3907 3896 3887 3986 3942 3925 3912 3900 3890 3577 3950 3931 3916 3904 3894 3884 3959 3937 3921 3994 3897 3887 3973 3944 3927 3913 3901 3891 3574 3952 3932 3918 3905 3895 3885 3962 3939 3923 3910 3898 3888 3979 3946 3928 3914 3902 3892 3571 3955 3934 3919 3907 3896 3886 3966 3941 3924 3911 3900 3889 3569 3949 3930 3916 3904 3893 3884 3958 3936 3921 3908 3897 3887 3971 3943 3926 3994 3901 3891 3566 3951 3932 3917 3905 3894 3885 3962 3938 3922 3909 3898 3888 3978 3946 3928 3914 3902 3892 3563 3955 3934 3919 3907 3896 3886 3966 3941 3924 3911 3900 3986 3561 3949 3930 3916 3904 3893 3884 3986 3937 3921 3908 3897 3887 3972 3944 3926 3913 3901 3891 3558 3952 3986 3918 3905 3895 3885 3963 3939 3923 3910 3899 3889 3982 3947 3929 3915 3903 3892 3555 3956 3935 3920 3907 3896 3886 3969 3942 3925 3912 3900 3890 3553 3951 3931 3917 3905 3894 3884 3961 3938 3922 3909 3898 3888 3994 3946 3928 3914 3902 3892 3550 3955 3934 3919 3907 3896 3886 3967 3941 3925 3911 3900 3890 3548 3950 3931 3916 3904 3894 3884 3960 3937 3922 3909 3898 3888 3975 3945 3927 3914 3902 3891 3545 3954 3934 3919 3906 3895 3886 3966 3941 3924 3911 3900 3889 3543 3949 3930 3916 3904 3893 3884 3959 3937 3921 3909 3897 3994 3975 3945 3927 3913 3902 3891 3540 3954 3934 3919 3906 3895 3886 3966 3941 3924 3911 3900 3889 3538 3949 3930 3916 3904 3893 3884 3960 3937 3986 3909 3898 3888 3976 3945 3927 3914 3902 3986 3535 3954 3934 3919 3906 3896 3886 3967 3941 3925 3911 3900 3890 3533 3950 3931 3916 3904 3894 3884 3961 3938 3922 3909 3898 3888 3978 3946 3928 3914 3902 3892 3530 3956 3935 3920 3907 3896 3886 3971 3943 3926 3913 3901 3891 3403 3962 3939 3924 3911 3900 3890 3976 3946 3929 3915 3904 3893 3579 3955 3935 3920 3908 3897 3887 3965 3941 3925 3912 3901 3891 3982 3948 3930 3916 3905 3894 3576 3957 3936 3921 3909 3898 3888 3969 3943 3926 3913 3902 3892 3574 3951 3932 3918 3906 3895 3886 3960 3938 3923 3910 3899 3889 3973 3945 3928 3988 3903 3893 3571 3953 3934 3919 3907 3896 3887 3964 3940 3924 3911 3900 3890 3996 3948 3930 3916 3904 3894 3568 3956 3936 3921 3908 3898 3888 3968 3943 3926 3913 3902 3891 3566 3950 3932 3918 3906 3895 3886 3960 3938 3923 3910 3899 3889 3973 3945 3928 3915 3903 3893 3563 3954 3934 3919 3907 3896 3887 3964 3941 3925 3912 3900 3890 3981 3948 3930 3916 3905 3894 3560 3957 3937 3921 3909 3898 3888 3996 3988 3927 3913 3902 3892 3558 3952 3933 3918 3906 3896 3886 3962 3939 3924 3911 3900 3890 3977 3947 3929 3915 3904 3893 3555 3988 3935 3920 3908 3897 3887 3967 3942 3926 3913 3901 3891 3553 3950 3932 3918 3906 3895 3552 3960 3938 3923 3910 3899 3889 3974 3946 3928 3915 3903 3893 3550 3954 3935 3920 3908 3897 3887 3966 3988 3925 3912 3901 3891 3548 3996 3931 3917 3905 3895 3547 3959 3938 3922 3910 3899 3889 3973 3945 3928 3914 3903 3893 3545 3954 3934 3920 3907 3897 3887 3965 3941 3925 3912 3901 3891 3996 3949 3931 3917 3905 3895 3542 3959 3938 3922 3910 3899 3889 3973 3945 3928 3914 3903 3893 3540 3954 3934 3920 3907 3897 3887 3996 3941 3925 3912 3901 3891 3538 3950 3931 3917 3905 3895 3537 3960 3938 3923 3910 3899 3889 3974 3946 3928 3915 3903 3893 3535 3955 3935 3920 3908 3897 3887 3967 3942 3926 3913 3901 3891 3533 3996 3932 3918 3906 3895 3886 3961 3939 3923 3910 3899 3889 3980 3948 3930 3916 3904 3894 3404 3968 3944 3927 3914 3903 3893 3986 3951 3933 3919 3907 3896 3581 3960 3939 3924 3911 3900 3890 3971 3945 3929 3915 3904 3894 3579 3953 3934 3920 3908 3897 3888 3962 3998 3925 3912 3901 3891 3976 3947 3930 3917 3905 3895 3576 3956 3936 3921 3909 3898 3889 3966 3942 3926 3913 3902 3892 3982 3950 3932 3918 3906 3896 3573 3958 3938 3923 3910 3900 3890 3970 3945 3928 3915 3903 3893 3571 3952 3934 3920 3908 3897 3570 3962 3940 3925 3912 3901 3891 3975 3947 3930 3916 3905 3895 3568 3955 3936 3921 3909 3898 3889 3966 3942 3926 3913 3902 3892 3982 3950 3932 3918 3906 3896 3565 3959 3938 3923 3911 3900 3890 3970 3945 3928 3915 3904 3894 3563 3953 3934 3920 3908 3897 3888 3963 3941 3925 3912 3901 3891 3977 3948 3931 3917 3905 3895 3560 3990 3937 3922 3910 3899 3889 3968 3943 3927 3914 3903 3893 3987 3951 3933 3919 3907 3897 3557 3961 3939 3924 3911 3900 3891 3974 3947 3930 3916 3905 3894 3555 3955 3936 3921 3909 3898 3889 3966 3942 3926 3913 3902 3892 3983 3950 3932 3918 3906 3896 3552 3998 3939 3923 3911 3900 3890 3972 3946 3929 3916 3904 3894 3550 3954 3935 3921 3909 3898 3888 3965 3942 3926 3913 3902 3892 3981 3950 3932 3918 3906 3896 3547 3959 3938 3923 3911 3900 3890 3990 3946 3929 3915 3904 3894 3545 3954 3935 3921 3908 3898 3888 3965 3942 3926 3913 3902 3892 3981 3950 3932 3918 3906 3896 3542 3959 3938 3923 3911 3900 3890 3972 3946 3929 3916 3904 3894 3540 3954 3935 3921 3909 3898 3888 3965 3942 3926 3913 3902 3892 3983 3950 3932 3918 3906 3896 3537 3960 3939 3924 3911 3900 3890 3973 3946 3929 3916 3904 3894 3535 3955 3936 3921 3909 3898 3889 3967 3943 3927 3914 3903 3893 3484 3952 3934 3920 3908 3897 3405 3992 3948 3931 3918 3906 3896 3584 3956 3937 3922 3910 3900 3890 3965 3943 3927 3914 3903 3893 3979 3950 3933 3919 3907 3897 3581 3958 3938 3924 3911 3901 3891 3968 3945 3929 3916 3904 3894 3984 3952 3934 3920 3908 3898 3578 3961 3940 3925 3913 3902 3892 3972 3947 3930 3917 3906 3895 3576 3954 3936 3922 3910 3899 3575 3964 3942 3927 3914 3903 3893 3977 3949 3932 3918 3907 3897 3573 3957 3938 3923 3911 3900 3891 3967 3944 3928 3915 3904 3894 3983 3952 3934 3920 3908 3898 3570 3960 3940 3925 3912 3902 3892 3972 3947 3930 3917 4000 3895 3568 3954 3936 3922 3910 3899 3890 3964 3942 3927 3914 3903 3893 4000 3949 3932 3919 3907 3897 3565 3958 3938 3992 3911 3901 3891 3968 3945 3929 3916 3904 3894 3986 3952 3934 3920 3909 3898 3562 3962 3941 3926 3913 3902 3892 3974 3948 3931 3918 3906 3896 3560 3956 3937 3923 3910 3900 3890 3966 3944 3928 3915 3904 3894 3982 3951 3933 3920 3908 3898 3557 3960 3940 3925 3912 3901 3892 3972 3947 3930 3917 3906 3895 3555 3955 3936 3922 3910 3899 3890 3965 3943 3927 3914 3903 3893 3980 3950 3933 3919 3907 3897 3552 3959 3939 3924 3912 3901 3891 3971 3946 3930 3917 3905 3895 3550 3954 3936 3922 3910 3899 3549 3964 3942 3927 3914 3903 3893 3979 3950 3933 3919 3907 3897 3547 3959 3939 3924 3912 3901 3891

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool marcie"
echo " Input is AirplaneLD-PT-0100, examination is CTLFireability"
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-146445824600112"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.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 ;