cd qOp cd examples cd toq toqSim factor42.toqAs you can see, only 3-bit answers are given.
A note on the side, see the comment in the factor42.toq file: "the FrontEnd solves this case alone". This means that toq uses a constrained solver for single-line asserts. If you specify multiple asserts, the D-Wave system will be used, "which finds the optimal solution to the input problem, and the results (values of the booleans) are passed back to the caller." (see TOQ.pdf documentation)
Turn in file factor42a.toq
Turn in a screen shot of the spreadsheet as file embed4.pdf
Turn in a screen shot of the spreadsheet as file imply4.pdf