Ever Wondered Why Chrysler Might Ask for Your Car? Understanding Emissions Testing Programs

Have you ever received a letter from Chrysler asking to borrow your car for a while? If you live near an automotive testing facility, this might not be as unusual as you think. Automakers like Chrysler, just like GM and Ford, participate in a program that requires them to test the emissions of vehicles in real-world use. This program, known as the In-Use Verification Program (IUVP), is a crucial part of ensuring vehicles continue to meet emission standards throughout their lifespan. While the idea of lending your car might seem inconvenient, understanding the process and its importance can ease any concerns.

What is the In-Use Verification Program (IUVP)?

The IUVP is mandated by environmental regulatory bodies like the Environmental Protection Agency (EPA) and the California Air Resources Board (CARB). These agencies require vehicle manufacturers to rigorously test emissions not just in the lab, but also on vehicles driven by everyday customers. This testing is conducted on vehicles that are typically 1-2 years old (with 10,000-50,000 miles) and 3-4 years old (with over 50,000 miles). The purpose is to verify the long-term durability and effectiveness of vehicle emission control systems under normal operating conditions. It’s a way to ensure that the emissions technology designed to keep our air clean actually works as intended over time, not just when the car is new.

Chrysler partners with specialized companies like Roush Industries and Automotive Testing & Development Services (ATDS) to manage the logistics and execution of the IUVP emissions testing. These partnerships help streamline the process of procuring customer vehicles and conducting the necessary tests.

How Does Chrysler Select Vehicles for the IUVP Emissions Testing?

Chrysler follows a structured process, adhering to government guidelines, to select vehicles for the In-Use Verification Program. Here’s a breakdown of how it typically works:

1. Targeted Mailing Lists: Chrysler starts by identifying vehicle owners near their testing facilities. They create mailing lists of owners whose vehicles fall into the required age and mileage ranges for specific engine and vehicle test groups.
2. Random Selection: To ensure fairness and randomness, Chrysler uses a random number generator to assign numbers to each vehicle owner on the mailing lists.
3. Initial Contact: Roush Industries or ATDS then sends out invitations to participate in the IUVP to customers with the lowest random numbers. This ensures a truly random selection of vehicles.
4. Eligibility and Contact: Interested customers respond to Roush or ATDS. The collected information is then sent to Chrysler, who determines the eligibility of each respondent based on program criteria and their assigned random number. Chrysler then prioritizes contacting customers based on their random numbers and vehicle suitability.
5. Questionnaire and Logistics: Roush or ATDS contacts eligible customers to conduct a phone questionnaire (if needed) to gather more vehicle details and confirm participation. They then arrange for a rental car for the customer, and schedule a convenient pickup time and location for the vehicle being tested. It’s important to note that vehicles must be tested in their current “as-is” condition. Any pre-existing safety issues might lead to the vehicle being rejected from the program to ensure testing safety and data integrity.
6. Vehicle Inspection and Transport: At the agreed time and location, representatives from Roush or ATDS meet the customer, perform a quick inspection of the vehicle, and then transport it to the designated testing facility. The customer is provided with a rental vehicle, typically with a full tank of gas, minimizing any inconvenience.

Image alt text: Aerial view of Chrysler Chelsea Proving Grounds in Michigan, a key location for vehicle emissions testing.

7. Testing Locations: Chrysler conducts IUVP emissions testing at several locations, including:

   • Chrysler Chelsea Proving Grounds (CPG), Chelsea, Michigan
   • Chrysler Technology Center (CTC), Auburn Hills, Michigan
   • Environmental Testing Corporation (ETC), Aurora, Colorado
   • Automotive Testing & Development Services, Inc. (ATDS), Ontario, California

   For vehicles in California, testing might occur directly at the ATDS facility or the vehicles may be transported to the Chrysler Proving Grounds in Michigan for testing and then returned to California using enclosed car carriers to protect them during transit.

8. Emissions Testing Procedures: The emissions testing itself is a detailed process. It involves:

   • Vehicle Preparation: Setting up the vehicle for testing.
   • Dynamometer Testing: Securing the vehicle on a dynamometer, a device that simulates driving conditions. An exhaust gas analyzer is connected to the vehicle’s tailpipe to measure emissions while the dynamometer rollers turn the vehicle’s wheels, simulating city and highway driving cycles.
   • Evaporative Emissions Testing: Some vehicles are selected for additional passive evaporative emissions testing. This involves placing the vehicle in a sealed chamber for two days to monitor the release of gases from components like tires and plastics.
   • On-Board Refueling Vapor Recovery (ORVR) Testing: Another type of sealed room test where the vehicle’s fuel tank is filled while air quality is continuously monitored. This test evaluates how effectively the vehicle’s vapor recovery system prevents fuel fumes from escaping during refueling.

![Dynamometer Emissions Testing](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgaW_7o_qYJqG8l8yKl_p1e_31xV8_K8wZ_gZ_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8x_z_8