| .model top |
| .inputs p_10 p_12 p_11 pclk p_9 p_8 p_7 p_6 p_5 p_4 p_3 p_2 p_1 |
| .outputs p_40 p_45 p_46 p_47 p_48 p_41 p_42 p_43 p_44 |
| .latch n_58 n_22 re pclk 2 |
| .latch n_451 n_18 re pclk 2 |
| .latch n_456 n_19 re pclk 2 |
| .latch n_461 n_20 re pclk 2 |
| .latch n_466 n_21 re pclk 2 |
| .latch n_431 n_14 re pclk 2 |
| .latch n_436 n_15 re pclk 2 |
| .latch n_441 n_16 re pclk 2 |
| .latch n_446 n_17 re pclk 2 |
| .latch n_426 n_13 re pclk 2 |
| .latch n_59 n_23 re pclk 2 |
| .latch n_570 n_34 re pclk 2 |
| .latch n_60 n_24 re pclk 2 |
| .latch n_562 n_33 re pclk 2 |
| .latch n_61 n_25 re pclk 2 |
| .latch n_586 n_36 re pclk 2 |
| .latch n_62 n_26 re pclk 2 |
| .latch n_578 n_35 re pclk 2 |
| .latch n_63 n_27 re pclk 2 |
| .latch n_602 n_38 re pclk 2 |
| .latch n_64 n_28 re pclk 2 |
| .latch n_594 n_37 re pclk 2 |
| .latch n_65 n_29 re pclk 2 |
| .latch n_66 n_30 re pclk 2 |
| .latch n_610 n_39 re pclk 2 |
| .latch n_546 n_31 re pclk 2 |
| .latch n_554 n_32 re pclk 2 |
| .names p_3 p_2 p_1 n_329 n_328 n_n73 [931] p_40 |
| ------1 1 |
| 010111- 1 |
| 010001- 1 |
| 010010- 1 |
| 010100- 1 |
| .names p_10 n_37 n_646 [86] [121] [178] [937] p_45 |
| -----1- 1 |
| ------1 1 |
| --0-1-- 1 |
| 0--11-- 1 |
| -0-01-- 1 |
| .names p_3 p_2 p_1 n_345 n_346 n_347 [940] p_46 |
| ------1 1 |
| 010111- 1 |
| 010001- 1 |
| 010010- 1 |
| 010100- 1 |
| .names n_646 n_349 n_345 n_346 n_347 n_350 [943] p_47 |
| ------1 1 |
| 1111-1- 1 |
| 1000-1- 1 |
| 111-11- 1 |
| 11-111- 1 |
| 100-01- 1 |
| 10-001- 1 |
| 1011-0- 1 |
| 1100-0- 1 |
| 101-10- 1 |
| 10-110- 1 |
| 110-00- 1 |
| 11-000- 1 |
| .names n_646 n_349 n_345 n_346 n_347 n_350 [946] p_48 |
| ------1 1 |
| 11---1- 1 |
| 1111--- 1 |
| 111-1-- 1 |
| 11-11-- 1 |
| 1-11-1- 1 |
| 1-1-11- 1 |
| 1--111- 1 |
| .names n_329 n_328 n_n73 [98] [97] [949] p_41 |
| -----1 1 |
| 11-1-- 1 |
| 1-11-- 1 |
| -111-- 1 |
| 00--1- 1 |
| 0-0-1- 1 |
| -00-1- 1 |
| .names p_7 n_25 n_646 [93] [114] [137] [952] p_42 |
| -----1- 1 |
| ------1 1 |
| -1111-- 1 |
| 1-101-- 1 |
| .names p_3 p_2 p_1 n_337 n_338 n_336 [955] p_43 |
| ------1 1 |
| 010111- 1 |
| 010001- 1 |
| 010010- 1 |
| 010100- 1 |
| .names n_337 n_340 n_341 n_646 n_338 n_336 [960] p_44 |
| ------1 1 |
| 11111-- 1 |
| 10011-- 1 |
| 00110-- 1 |
| 01010-- 1 |
| 1111-1- 1 |
| 1001-1- 1 |
| -11111- 1 |
| -00111- 1 |
| 0011-0- 1 |
| 0101-0- 1 |
| -01100- 1 |
| -10100- 1 |
| .names p_4 p_3 p_2 p_1 n_22 [93] n_58 |
| -1---- 1 |
| --0--- 1 |
| ---1-- 1 |
| -01011 1 |
| 1010-0 1 |
| .names p_9 p_2 p_1 n_18 n_451 |
| 110- 1 |
| -001 1 |
| .names p_10 p_2 p_1 n_19 n_456 |
| 110- 1 |
| -001 1 |
| .names p_11 p_2 p_1 n_20 n_461 |
| 110- 1 |
| -001 1 |
| .names p_12 p_2 p_1 n_21 n_466 |
| 110- 1 |
| -001 1 |
| .names p_5 p_2 p_1 n_14 n_431 |
| 110- 1 |
| -001 1 |
| .names p_6 p_2 p_1 n_15 n_436 |
| 110- 1 |
| -001 1 |
| .names p_7 p_2 p_1 n_16 n_441 |
| 110- 1 |
| -001 1 |
| .names p_8 p_2 p_1 n_17 n_446 |
| 110- 1 |
| -001 1 |
| .names p_4 p_2 p_1 n_13 n_426 |
| 110- 1 |
| -001 1 |
| .names p_5 p_3 p_2 p_1 n_23 [93] n_59 |
| -1---- 1 |
| --0--- 1 |
| ---1-- 1 |
| -01011 1 |
| 1010-0 1 |
| .names p_7 p_3 p_2 p_1 n_34 [86] n_570 |
| 1010-1 1 |
| -01010 1 |
| .names p_6 p_3 p_2 p_1 n_24 [93] n_60 |
| -1---- 1 |
| --0--- 1 |
| ---1-- 1 |
| -01011 1 |
| 1010-0 1 |
| .names p_6 p_3 p_2 p_1 n_33 [86] n_562 |
| 1010-1 1 |
| -01010 1 |
| .names p_7 p_3 p_2 p_1 n_25 [93] n_61 |
| -1---- 1 |
| --0--- 1 |
| ---1-- 1 |
| -01011 1 |
| 1010-0 1 |
| .names p_9 p_3 p_2 p_1 n_36 [86] n_586 |
| 1010-1 1 |
| -01010 1 |
| .names p_8 p_3 p_2 p_1 n_26 [93] n_62 |
| -1---- 1 |
| --0--- 1 |
| ---1-- 1 |
| -01011 1 |
| 1010-0 1 |
| .names p_8 p_3 p_2 p_1 n_35 [86] n_578 |
| 1010-1 1 |
| -01010 1 |
| .names p_9 p_3 p_2 p_1 n_27 [93] n_63 |
| -1---- 1 |
| --0--- 1 |
| ---1-- 1 |
| -01011 1 |
| 1010-0 1 |
| .names p_11 p_3 p_2 p_1 n_38 [86] n_602 |
| 1010-1 1 |
| -01010 1 |
| .names p_10 p_3 p_2 p_1 n_28 [93] n_64 |
| -1---- 1 |
| --0--- 1 |
| ---1-- 1 |
| -01011 1 |
| 1010-0 1 |
| .names p_10 p_3 p_2 p_1 n_37 [86] n_594 |
| 1010-1 1 |
| -01010 1 |
| .names p_11 p_3 p_2 p_1 n_29 [93] n_65 |
| -1---- 1 |
| --0--- 1 |
| ---1-- 1 |
| -01011 1 |
| 1010-0 1 |
| .names p_12 p_3 p_2 p_1 n_30 [95] n_66 |
| -1---- 1 |
| --0--- 1 |
| ---1-- 1 |
| 101011 1 |
| 101010 1 |
| .names p_12 p_3 p_2 p_1 n_39 [88] n_610 |
| 00101- 1 |
| 10100- 1 |
| 1010-1 1 |
| -01010 1 |
| .names p_4 p_3 p_2 p_1 n_31 [86] n_546 |
| 1010-1 1 |
| -01010 1 |
| .names p_5 p_3 p_2 p_1 n_32 [86] n_554 |
| 1010-1 1 |
| -01010 1 |
| .names p_8 p_3 p_2 p_1 n_35 [86] n_337 |
| 1010-1 1 |
| -01010 1 |
| .names p_10 p_3 p_2 p_1 n_37 [86] n_343 |
| 1010-1 1 |
| -01010 1 |
| .names p_10 p_3 p_2 p_1 n_28 [93] n_344 |
| -01011 1 |
| 1010-0 1 |
| .names p_9 p_3 p_2 p_1 n_36 [86] n_340 |
| 1010-1 1 |
| -01010 1 |
| .names p_9 p_3 p_2 p_1 n_27 [93] n_341 |
| -01011 1 |
| 1010-0 1 |
| .names p_3 p_2 p_1 n_646 |
| 010 1 |
| .names p_10 p_12 p_11 n_38 n_37 n_39 [106] [86] |
| -1---0- 1 |
| -110--- 1 |
| --10-0- 1 |
| 111-0-- 1 |
| 11-00-- 1 |
| 1-1-00- 1 |
| 1--000- 1 |
| 111---1 1 |
| 11-0--1 1 |
| -11-0-1 1 |
| -1-00-1 1 |
| 1-1--01 1 |
| 1--0-01 1 |
| --1-001 1 |
| ---0001 1 |
| .names p_5 p_3 p_2 p_1 n_23 [93] n_329 |
| -01011 1 |
| 1010-0 1 |
| .names p_5 p_3 p_2 p_1 n_32 [86] n_328 |
| 1010-1 1 |
| -01010 1 |
| .names p_4 n_22 n_31 n_646 [86] [93] n_n73 |
| 11-11- 1 |
| 1-11-0 1 |
| 1--110 1 |
| -11101 1 |
| .names p_7 p_3 p_2 p_1 n_25 [93] n_335 |
| -01011 1 |
| 1010-0 1 |
| .names p_12 p_3 p_2 p_1 n_39 [88] n_349 |
| 00101- 1 |
| 10100- 1 |
| 1010-1 1 |
| -01010 1 |
| .names p_7 p_3 p_2 p_1 n_34 [86] n_334 |
| 1010-1 1 |
| -01010 1 |
| .names n_337 n_343 n_344 n_340 n_341 n_338 n_336 n_345 |
| -11---- 1 |
| -1-11-- 1 |
| --111-- 1 |
| 11-1-1- 1 |
| 1-11-1- 1 |
| 11--11- 1 |
| 1-1-11- 1 |
| 11-1--1 1 |
| 1-11--1 1 |
| 11--1-1 1 |
| 1-1-1-1 1 |
| -1-1-11 1 |
| --11-11 1 |
| -1--111 1 |
| --1-111 1 |
| .names p_11 p_3 p_2 p_1 n_38 [86] n_346 |
| 1010-1 1 |
| -01010 1 |
| .names p_11 p_3 p_2 p_1 n_29 [93] n_347 |
| -01011 1 |
| 1010-0 1 |
| .names p_8 p_3 p_2 p_1 n_26 [93] n_338 |
| -01011 1 |
| 1010-0 1 |
| .names n_329 n_328 n_n73 n_335 n_334 n_332 n_331 n_336 |
| ---11-- 1 |
| ---1-11 1 |
| ----111 1 |
| 11-1-1- 1 |
| 1-11-1- 1 |
| -111-1- 1 |
| 11--11- 1 |
| 1-1-11- 1 |
| -11-11- 1 |
| 11-1--1 1 |
| 1-11--1 1 |
| -111--1 1 |
| 11--1-1 1 |
| 1-1-1-1 1 |
| -11-1-1 1 |
| .names p_10 p_12 p_11 n_28 n_29 n_30 [103] [93] |
| -1---0- 1 |
| -11-0-- 1 |
| --1-00- 1 |
| 1110--- 1 |
| 11-00-- 1 |
| 1-10-0- 1 |
| 1--000- 1 |
| 111---1 1 |
| -110--1 1 |
| 11--0-1 1 |
| -1-00-1 1 |
| 1-1--01 1 |
| --10-01 1 |
| 1---001 1 |
| ---0001 1 |
| .names p_6 n_24 n_33 n_646 [86] [93] [98] |
| 0001-- 1 |
| 00-11- 1 |
| 0-01-0 1 |
| 1--110 1 |
| 0--110 1 |
| 11-111 1 |
| -11101 1 |
| -00101 1 |
| 1-1100 1 |
| .names p_6 n_24 n_33 n_646 [86] [93] [97] |
| 00110- 1 |
| 0101-1 1 |
| 01-111 1 |
| 10-111 1 |
| -01101 1 |
| -10101 1 |
| 0-1100 1 |
| 1-0100 1 |
| .names p_12 p_3 p_2 p_1 n_30 [95] n_350 |
| 101011 1 |
| 101010 1 |
| .names p_6 p_3 p_2 p_1 n_24 [93] n_332 |
| -01011 1 |
| 1010-0 1 |
| .names p_9 p_8 p_7 n_25 n_26 n_27 n_710 [103] |
| 1----0- 1 |
| 11--0-- 1 |
| -1--00- 1 |
| 1110--- 1 |
| 1-100-- 1 |
| -110-0- 1 |
| --1000- 1 |
| 111---1 1 |
| 11-0--1 1 |
| 1-1-0-1 1 |
| 1--00-1 1 |
| -11--01 1 |
| -1-0-01 1 |
| --1-001 1 |
| ---0001 1 |
| .names p_9 p_8 p_7 n_34 n_36 n_35 n_739 [106] |
| 1---0-- 1 |
| 11---0- 1 |
| -1--00- 1 |
| 1110--- 1 |
| -1100-- 1 |
| 1-10-0- 1 |
| --1000- 1 |
| 111---1 1 |
| 11-0--1 1 |
| -11-0-1 1 |
| -1-00-1 1 |
| 1-1--01 1 |
| 1--0-01 1 |
| --1-001 1 |
| ---0001 1 |
| .names p_6 p_3 p_2 p_1 n_33 [86] n_331 |
| 1010-1 1 |
| -01010 1 |
| .names n_646 n_329 n_328 n_n73 n_334 n_332 n_331 [114] |
| 1---111 1 |
| 1---000 1 |
| 111-11- 1 |
| 11-111- 1 |
| 1-1111- 1 |
| 100-00- 1 |
| 10-000- 1 |
| 1-0000- 1 |
| 111-1-1 1 |
| 11-11-1 1 |
| 1-111-1 1 |
| 100-0-0 1 |
| 10-00-0 1 |
| 1-000-0 1 |
| .names n_337 n_344 n_340 n_341 n_646 n_338 n_336 [121] |
| -0111-- 1 |
| -1001-- 1 |
| 101-11- 1 |
| 10-111- 1 |
| 010-10- 1 |
| 01-010- 1 |
| 101-1-1 1 |
| 10-11-1 1 |
| -01-111 1 |
| -0-1111 1 |
| 010-1-0 1 |
| 01-01-0 1 |
| -10-100 1 |
| -1-0100 1 |
| .names p_6 p_5 p_4 n_33 n_31 n_32 n_739 |
| 1--0-- 1 |
| 11---0 1 |
| -1-0-0 1 |
| 111-0- 1 |
| -1100- 1 |
| 1-1-00 1 |
| --1000 1 |
| .names p_6 p_5 p_4 n_22 n_23 n_24 n_710 |
| 1----0 1 |
| 11--0- 1 |
| -1--00 1 |
| 1110-- 1 |
| 1-100- 1 |
| -110-0 1 |
| --1000 1 |
| .names p_10 p_11 n_38 n_37 [106] [88] |
| -10-- 1 |
| 11-0- 1 |
| 1-00- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names p_10 p_11 n_28 n_29 [103] [95] |
| -1-0- 1 |
| 110-- 1 |
| 1-00- 1 |
| 11--1 1 |
| -10-1 1 |
| 1--01 1 |
| --001 1 |
| .names n_61 n_329 n_328 n_n73 n_334 n_332 n_331 [137] |
| 0---011 1 |
| 0---100 1 |
| 011-01- 1 |
| 01-101- 1 |
| 0-1101- 1 |
| 000-10- 1 |
| 00-010- 1 |
| 0-0010- 1 |
| 011-0-1 1 |
| 01-10-1 1 |
| 0-110-1 1 |
| 000-1-0 1 |
| 00-01-0 1 |
| 0-001-0 1 |
| .names n_337 n_340 n_341 n_338 n_336 [934] [178] |
| -00--1 1 |
| 00-0-1 1 |
| 0-00-1 1 |
| 00--01 1 |
| 0-0-01 1 |
| -0-001 1 |
| --0001 1 |
| .names p_4 p_3 p_2 p_1 n_13 [931] |
| --001 1 |
| 1110- 1 |
| .names p_10 n_28 n_37 n_646 [86] [93] [933] |
| 1--110 1 |
| 11-111 1 |
| -11101 1 |
| 1-1100 1 |
| .names p_10 n_28 n_37 n_646 [86] [93] [934] |
| 00110- 1 |
| 10-111 1 |
| -01101 1 |
| 0-1100 1 |
| .names p_9 p_3 p_2 p_1 n_18 [936] |
| --001 1 |
| 1110- 1 |
| .names n_337 n_340 n_341 n_338 n_336 [933] [936] [937] |
| ------1 1 |
| -11--1- 1 |
| 11-1-1- 1 |
| 1-11-1- 1 |
| 11--11- 1 |
| 1-1-11- 1 |
| -1-111- 1 |
| --1111- 1 |
| .names p_10 p_3 p_2 p_1 n_19 [940] |
| --001 1 |
| 1110- 1 |
| .names p_11 p_3 p_2 p_1 n_20 [943] |
| --001 1 |
| 1110- 1 |
| .names p_12 p_3 p_2 p_1 n_21 [946] |
| --001 1 |
| 1110- 1 |
| .names p_5 p_3 p_2 p_1 n_14 [949] |
| --001 1 |
| 1110- 1 |
| .names p_6 p_3 p_2 p_1 n_15 [952] |
| --001 1 |
| 1110- 1 |
| .names p_7 p_3 p_2 p_1 n_16 [955] |
| --001 1 |
| 1110- 1 |
| .names p_8 p_3 p_2 p_1 n_17 [960] |
| --001 1 |
| 1110- 1 |
| .end |