.model ISCAS__s13207.1__part6
.inputs pi42
.outputs po121
.latch li400 lo400
.latch li535 lo535
.latch li583 lo583
.names pi42 li535
1 1
.names lo535 li400
1 1
.names lo400 li583
1 1
.names lo583 po121
1 1
.end
