.model top
.inputs mark1_in_0_ mark1_in_2_ mark1_in_1_ mark1_in_4_ mark1_in_3_ clock
.outputs mark1_out_15_ mark1_out_14_ mark1_out_13_ mark1_out_12_ mark1_out_11_ \
mark1_out_9_ mark1_out_7_ mark1_out_8_ mark1_out_5_ mark1_out_6_ mark1_out_3_ \
mark1_out_4_ mark1_out_1_ mark1_out_2_ mark1_out_10_ mark1_out_0_
.latch    n_n54 mark1_out_8_ re clock 2
.latch    n_n55 n_n92 re clock 2
.latch    n_n56 n_n93 re clock 2
.latch    n_n57 n_n94 re clock 2
.names n_n94 mark1_out_15_
0 1
.names [27] [193] mark1_out_14_
1- 1
-1 1
.names [195] [196] mark1_out_13_
1- 1
-1 1
.names mark1_out_8_ n_n92 mark1_out_12_
10 1
.names [197] [198] mark1_out_9_
1- 1
-1 1
.names [199] [200] mark1_out_7_
11 1
.names mark1_out_1_ [201] mark1_out_6_
11 1
.names mark1_out_3_
.names mark1_out_4_
.names n_n92 n_n93 mark1_out_1_
01 1
.names n_n93 mark1_out_2_
0 1
.names mark1_out_10_
 1
.names n_n92 mark1_out_0_
0 1
.names mark1_in_4_ [41] n_n54
11 1
.names mark1_in_4_ [44] n_n55
11 1
.names mark1_in_4_ [38] n_n56
11 1
.names mark1_in_4_ [35] n_n57
11 1
.names [32] [192] [35]
1- 1
-1 1
.names [189] [190] [38]
1- 1
-1 1
.names [63] [184] [41]
1- 1
-1 1
.names [57] [186] [44]
1- 1
-1 1
.names mark1_out_8_ n_n93 [46]
0- 1
-1 1
.names n_n93 [55] [26]
0- 1
-1 1
.names mark1_out_8_ n_n92 [34]
11 1
.names mark1_in_2_ mark1_in_1_ [37]
0- 1
-0 1
.names n_n92 n_n93 [36]
0- 1
-0 1
.names [52] [188] [40]
1- 1
-1 1
.names n_n94 [50] [39]
1- 1
-1 1
.names n_n93 [66] [42]
1- 1
-1 1
.names [68] [69] [43]
1- 1
-1 1
.names n_n94 [61] [45]
1- 1
-1 1
.names n_n92 mark1_out_11_
1 1
.names n_n92 mark1_out_5_
1 1
.names n_n92 [46] [27]
11 1
.names n_n93 n_n94 [28]
00 1
.names [37] [191] [30]
11 1
.names n_n94 [36] [31]
11 1
.names [26] [34] [32]
11 1
.names mark1_out_8_ [39] [33]
01 1
.names n_n93 [40] [47]
01 1
.names mark1_out_8_ [26] [48]
11 1
.names n_n92 n_n93 [50]
11 1
.names mark1_in_1_ [187] [52]
11 1
.names mark1_in_2_ mark1_in_1_ [53]
00 1
.names mark1_in_3_ n_n94 [55]
10 1
.names n_n93 [45] [57]
01 1
.names n_n93 n_n94 [58]
10 1
.names mark1_in_1_ n_n92 [61]
11 1
.names [42] [183] [63]
11 1
.names n_n93 [34] [64]
11 1
.names mark1_out_12_ n_n93 [65]
10 1
.names mark1_out_8_ [43] [66]
01 1
.names mark1_in_1_ [182] [68]
11 1
.names mark1_in_0_ mark1_in_2_ [69]
00 1
.names mark1_in_2_ mark1_in_0_ [182]
11 1
.names n_n94 n_n92 [183]
01 1
.names [65] [64] [184]
1- 1
-1 1
.names [34] mark1_out_1_ [185]
1- 1
-1 1
.names [185] [58] [186]
1- 1
-1 1
.names mark1_in_2_ mark1_in_0_ [187]
10 1
.names [53] n_n92 [188]
1- 1
-0 1
.names [33] mark1_out_12_ [189]
1- 1
-1 1
.names [47] [48] [190]
1- 1
-1 1
.names n_n93 n_n92 [191]
01 1
.names [31] [30] [192]
1- 1
-1 1
.names [28] mark1_in_4_ [193]
1- 1
-0 1
.names mark1_out_8_ mark1_in_4_ [194]
1- 1
-0 1
.names n_n93 n_n92 [195]
1- 1
-0 1
.names [194] n_n94 [196]
1- 1
-0 1
.names n_n93 mark1_in_4_ [197]
0- 1
-0 1
.names mark1_out_12_ n_n94 [198]
1- 1
-0 1
.names n_n92 mark1_in_4_ [199]
01 1
.names n_n94 n_n93 [200]
10 1
.names n_n94 mark1_in_4_ [201]
01 1
.end