from diophantine_solver import DiophantineEquation
from automaton_framework import AutomatonFramework
from automaton_builder import AutomatonBuilder
from route_solver import RouteSolver
 
# Create instances of Diophantine equations with specific coefficients and constants
equation_one = DiophantineEquation(3, -2, 1, 5)
equation_two = DiophantineEquation(6, -4, 2, 9)
 
# Initialize the automaton builder to handle finite state machine logic
builder = AutomatonBuilder()
 
# Construct finite automata for each equation
automaton_one = builder.build_for_diophantine_equation(equation_one)
automaton_two = builder.build_for_diophantine_equation(equation_two)
 
# Use the product automaton framework to combine both automata
framework = AutomatonFramework()
combined_automaton = framework.build_product_automaton(automaton_one, automaton_two)
 
# Initialize the solver to find a path from start to accepting states in the combined automaton
solver = RouteSolver(combined_automaton)
result = solver.solve_for(combined_automaton.start_node, combined_automaton.end_node)
 
# Output the solution
print(result)

ZnJvbSBkaW9waGFudGluZV9zb2x2ZXIgaW1wb3J0IERpb3BoYW50aW5lRXF1YXRpb24KZnJvbSBhdXRvbWF0b25fZnJhbWV3b3JrIGltcG9ydCBBdXRvbWF0b25GcmFtZXdvcmsKZnJvbSBhdXRvbWF0b25fYnVpbGRlciBpbXBvcnQgQXV0b21hdG9uQnVpbGRlcgpmcm9tIHJvdXRlX3NvbHZlciBpbXBvcnQgUm91dGVTb2x2ZXIKCiMgQ3JlYXRlIGluc3RhbmNlcyBvZiBEaW9waGFudGluZSBlcXVhdGlvbnMgd2l0aCBzcGVjaWZpYyBjb2VmZmljaWVudHMgYW5kIGNvbnN0YW50cwplcXVhdGlvbl9vbmUgPSBEaW9waGFudGluZUVxdWF0aW9uKDMsIC0yLCAxLCA1KQplcXVhdGlvbl90d28gPSBEaW9waGFudGluZUVxdWF0aW9uKDYsIC00LCAyLCA5KQoKIyBJbml0aWFsaXplIHRoZSBhdXRvbWF0b24gYnVpbGRlciB0byBoYW5kbGUgZmluaXRlIHN0YXRlIG1hY2hpbmUgbG9naWMKYnVpbGRlciA9IEF1dG9tYXRvbkJ1aWxkZXIoKQoKIyBDb25zdHJ1Y3QgZmluaXRlIGF1dG9tYXRhIGZvciBlYWNoIGVxdWF0aW9uCmF1dG9tYXRvbl9vbmUgPSBidWlsZGVyLmJ1aWxkX2Zvcl9kaW9waGFudGluZV9lcXVhdGlvbihlcXVhdGlvbl9vbmUpCmF1dG9tYXRvbl90d28gPSBidWlsZGVyLmJ1aWxkX2Zvcl9kaW9waGFudGluZV9lcXVhdGlvbihlcXVhdGlvbl90d28pCgojIFVzZSB0aGUgcHJvZHVjdCBhdXRvbWF0b24gZnJhbWV3b3JrIHRvIGNvbWJpbmUgYm90aCBhdXRvbWF0YQpmcmFtZXdvcmsgPSBBdXRvbWF0b25GcmFtZXdvcmsoKQpjb21iaW5lZF9hdXRvbWF0b24gPSBmcmFtZXdvcmsuYnVpbGRfcHJvZHVjdF9hdXRvbWF0b24oYXV0b21hdG9uX29uZSwgYXV0b21hdG9uX3R3bykKCiMgSW5pdGlhbGl6ZSB0aGUgc29sdmVyIHRvIGZpbmQgYSBwYXRoIGZyb20gc3RhcnQgdG8gYWNjZXB0aW5nIHN0YXRlcyBpbiB0aGUgY29tYmluZWQgYXV0b21hdG9uCnNvbHZlciA9IFJvdXRlU29sdmVyKGNvbWJpbmVkX2F1dG9tYXRvbikKcmVzdWx0ID0gc29sdmVyLnNvbHZlX2Zvcihjb21iaW5lZF9hdXRvbWF0b24uc3RhcnRfbm9kZSwgY29tYmluZWRfYXV0b21hdG9uLmVuZF9ub2RlKQoKIyBPdXRwdXQgdGhlIHNvbHV0aW9uCnByaW50KHJlc3VsdCk=