!7

cmodule WinogradSolver1 {
}