(MouseVerify.JaM
) .print

(MouseVerify) 512 .dict .def

MouseVerify .begin

(MossimUtil) .run
(MouseVerifyMossim) .run

(gt)
(
gt1 gt2
) .cvx .def

(gt1)
(
(GateTestPad) lo simsolve .pop
(Done) x simsolve .pop
(TestEnablePad) hi simsolve .pop
(Done) lo simsolve .pop
(GateTestPad) hi simsolve .pop
) .cvx .def

(gt2)
(
(GateTestPad) lo simsolve .pop
(Done) x simsolve .pop
(TestEnablePad) lo simsolve .pop
) .cvx .def

(n)
(
setpattern getx gety
) .cvx .def

(p)
(
gnv .cvs .print
) .cvx .def

(nl)
(
(
) .print
) .cvx .def

(tb)
(
(TB11) p (TB12) p (TB13) p (TB14) p nl
(TB21) p (TB22) p (TB23) p (TB24) p nl
(TB31) p (TB32) p (TB33) p (TB34) p nl
(TB41) p (TB42) p (TB43) p (TB44) p nl
) .cvx .def

(op)
(
(OP11) p (OP12) p (OP13) p (OP14) p nl
(OP21) p (OP22) p (OP23) p (OP24) p nl
(OP31) p (OP32) p (OP33) p (OP34) p nl
(OP41) p (OP42) p (OP43) p (OP44) p nl
) .cvx .def

(mv)
(
(movedupleft) p (movedup) p (movedupright) p (movedleft) p (stayed) p (movedright) p (moveddownleft) p (Moveddown) p (moveddownright) p nl
) .cvx .def

(getx)
(
(xapad) gnv .cvs .print (xbpad) gnv .cvs .print (xl) p nl
).cvx .def

(gety)
(
(yapad) gnv .cvs .print (ybpad) gnv .cvs .print (yl) p nl
).cvx .def

(rev3)
(
(NewMouseRev3) simread
3 setversion

(mvo)
(
(jump) p (anygood) p (xfull) p (xhalf) p (xup) p (yfull) p (yhalf) p (yup) p nl
) .cvx .def

init =
init =

(Reset) hi simsolve =
(Reset) x simsolve =

(xa) lo (xb) lo (xl) lo (ya) lo (yb) lo (yl) lo simsolve =

0 setpattern
gt gt

(xa) x (xb) x (xl) x (ya) x (yb) x (yl) x simsolve =
) .cvx .def

(rev4)
(
(OMRev4) simread
4 setversion

(mvo)
(
(jump) p (anygood) p (yfull) p (yhalf) p (yup) p (xfull) p (xhalf) p (xright) p nl
) .cvx .def

init =
init =

(Reset) hi simsolve =
(Reset) x simsolve =

(xa) lo (xb) lo (xl) lo (ya) lo (yb) lo (yl) lo simsolve =

0 setpattern
gt gt

(xa) x (xb) x (xl) x (ya) x (yb) x (yl) x simsolve =
) .cvx .def

(rev7)
(
(OMRev7A) simread
7 setversion

(mvo)
(
(jump) p (anygood) p (yfull) p (yhalf) p (yup) p (xfull) p (xhalf) p (xright) p nl
) .cvx .def

init =
init =

(Reset) hi simsolve =
(Reset) x simsolve =

(xa) lo (xb) lo (xl) lo (ya) lo (yb) lo (yl) lo simsolve =

0 setpattern
gt gt

(xa) x (xb) x (xl) x (ya) x (yb) x (yl) x simsolve =
) .cvx .def