.model ISCAS__s13207.1__part3
.inputs pi38
.outputs po123
.latch li119 lo119
.latch li428 lo428
.latch li531 lo531
.names pi38 li428
1 1
.names lo531 li119
1 1
.names lo428 li531
1 1
.names lo119 po123
1 1
.end
