XX X XXX XXXX open Array (**) module L= List ;;let u,i,h,a,r,u_ XXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXX XXX XX XXXXXX XXX XXXXXXXXXXX XXXXX XXXXXXXX XXXX XXXXXXXXX XXXXX X XXX XXXXXX XXXXXXXX XXXXXXXXX X X XXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXX XXX XXX XX XXXXXXXXXXXXXXXXX XX X XX XXXXXXXXXXXXX XXXX XXXXXXXX X XX X XXXXXXXXX X XX XXXX XXX XXXXXXX XXX XXX XXXX XXXXX XXXXXXX XXXXXXXXX XXXX XXX XXX XXX XXX XXXXX XXXX XXXXXXXXXXXXXXX XXXX X X XXXXXXX XXXXXXXXX XXXXXX XX XXXXXXXXXXXXXX XXXXXXXX XXX XXXXX XX XXXXXXX X XX XXXXXX XXXXXXXXXXXXXXXXX XXXXX XX XXXXXXX X XXXXXX XX XXX X XX XXXXXXXXXXXXXXXXXXX XXXXXX XXX X XXXXXXX X XXX XXXXXXXX XXX XX XXXXX XXXXXXXXXXX X XXX XXX XXXX XXXXXXXXX XXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXX X XX XXXX XX XX XXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXX XXX XX XXX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXX XX XXXXXX XX XXXX XX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXX XXX X XX XX X XXXX XXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX X XX XXXXXXX X XXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXX XXX XXXXXXX XX XXXX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XX XX XXXXXXXXX XXXXX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXX X X XXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X X XXXXXXX XXXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X X XX XXXXX XXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX X XXXX XX XX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX X X XXXX XXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX X X XX X XXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXX XXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXX XXX X XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXX X XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXX X X XX X XXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX X XXX XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XX XXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXX XXX XXXXX XXX XXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXXX XXX XXXXXXXXXXX XXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XX XXXXXXXXXXX XX XXXXXXXXXXX X XXXXXXX X XXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXXXX XX XXXXXXXXXX XXXXXXX X XX XXXXXXXXXX XXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXX X XXXXXXXXXX XXXXXXXX XX XXXXXXXXXXX XXXXX XXXXXXXXXXXXX X XXXXXXXXXXXXXXX XXXXX XXXXXXXXXX XXXX XX XXXXXXX XXXXXXXXXXXXXX XXXXX XX XXXXXXX XXXXX X XXXXXXXXXXXXXXX XX XXXXXX XXXXXXX XXXXXXXXXXXXXX XX XX X XXXXX XXX XXXXXXXX XXXX XXXXXXXXXXXX XXX XXX XXXXX XX XXXXXXX X XXXXX XXXXXX X XXX XXXXXX XXXX XXXXXXX XXXXXXXXX XXXX XXXXXXX XXXXXXXXXXXXXX XX XXXXXX XXXXXXXXXXXXXXX XXXX X XX XXX XXXXXXXXXXXXXXXXX XX XX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX X XX XXXXXXXXXXXXXXX XXXX XX XXXXXXXXXXXXXXXXX XXXX XX XXXXXXXXXXXXXXXXXXX XXX XXX XXX XXXXXXXXXXXXXXXXXX XX XXX XX XXXXXXXXXXXXX XXXX X XXX XXX XXXXXXXXXXXXX XXX XXXXX XXXX XXXXXXXXXXXXX XX XXXXXXXXXX XXXX XXXXXXX XXXXX XXXXXXXXXXXXXXXXXX XXXXXXX XXXX XXXXXXXXXXXXXX XXXXXX XXXX XXXXX XXXXXXX XXXXXX X XXXX XXXXXX XX XXX XX XXXXX XX XXXX XX