.model top
.inputs planet1_in_5_ planet1_in_6_ planet1_in_0_ clock planet1_in_1_ \
planet1_in_2_ planet1_in_3_ planet1_in_4_
.outputs planet1_out_13_ planet1_out_14_ planet1_out_15_ planet1_out_16_ \
planet1_out_10_ planet1_out_0_ planet1_out_11_ planet1_out_1_ planet1_out_12_ \
planet1_out_2_ planet1_out_3_ planet1_out_4_ planet1_out_5_ planet1_out_6_ \
planet1_out_17_ planet1_out_7_ planet1_out_18_ planet1_out_8_ planet1_out_9_
.latch    n_n83 n_n331 re clock 2
.latch    n_n84 n_n332 re clock 2
.latch    n_n85 n_n333 re clock 2
.latch    n_n86 n_n334 re clock 2
.latch    n_n87 n_n335 re clock 2
.latch    n_n88 n_n336 re clock 2
.names [1204] [1205] planet1_out_13_
1- 1
-1 1
.names [1212] [1213] planet1_out_14_
1- 1
-1 1
.names [1216] [1217] planet1_out_15_
1- 1
-1 1
.names [1223] [1224] planet1_out_16_
1- 1
-1 1
.names [1229] [1230] planet1_out_10_
1- 1
-1 1
.names [210] [1235] planet1_out_0_
1- 1
-1 1
.names [1245] [1246] planet1_out_11_
1- 1
-1 1
.names [193] [1250] planet1_out_1_
1- 1
-1 1
.names [1256] [1257] planet1_out_12_
1- 1
-1 1
.names [180] [181] planet1_out_2_
1- 1
-1 1
.names [178] [179] planet1_out_3_
1- 1
-1 1
.names [1258] [1259] planet1_out_4_
11 1
.names planet1_out_8_ [174] planet1_out_5_
1- 1
-1 1
.names [67] [172] planet1_out_6_
1- 1
-1 1
.names [1266] [1267] planet1_out_17_
1- 1
-1 1
.names [67] [84] planet1_out_7_
1- 1
-1 1
.names [1276] [1277] planet1_out_18_
1- 1
-1 1
.names [176] [177] planet1_out_8_
1- 1
-1 1
.names [134] [1278] planet1_out_9_
11 1
.names [1127] [1128] n_n83
1- 1
-1 1
.names [1145] [1146] n_n84
1- 1
-1 1
.names [1159] [1160] n_n85
1- 1
-1 1
.names [1173] [1174] n_n86
1- 1
-1 1
.names [1191] [1192] n_n87
1- 1
-1 1
.names [1201] [1202] n_n88
1- 1
-1 1
.names n_n331 n_n332 [34]
01 1
.names planet1_in_1_ planet1_in_2_ [38]
0- 1
-0 1
.names n_n331 n_n332 [41]
00 1
.names n_n335 n_n336 [43]
01 1
.names n_n331 n_n332 [44]
11 1
.names n_n334 [34] [47]
11 1
.names [36] [1104] [64]
11 1
.names [41] [36] [74]
11 1
.names n_n334 [35] [103]
11 1
.names [36] [1118] [107]
11 1
.names n_n335 [48] [113]
01 1
.names [41] [46] [122]
11 1
.names [1114] [1115] [128]
1- 1
-1 1
.names [1108] [1109] [127]
1- 1
-1 1
.names [46] [356] [126]
1- 1
-1 1
.names planet1_in_6_ planet1_in_3_ [125]
1- 1
-0 1
.names [117] [45] [124]
1- 1
-1 1
.names [55] [354] [123]
1- 1
-1 1
.names n_n333 n_n334 [37]
1- 1
-1 1
.names planet1_in_0_ planet1_in_3_ [39]
0- 1
-0 1
.names n_n335 [34] [112]
01 1
.names [105] [45] [40]
11 1
.names n_n331 n_n332 [42]
10 1
.names n_n334 [109] [56]
11 1
.names [34] [100] [57]
11 1
.names [44] [119] [58]
11 1
.names [111] [1129] [66]
11 1
.names [34] [1134] [75]
11 1
.names n_n331 [103] [77]
11 1
.names [41] [37] [95]
10 1
.names n_n333 [34] [104]
11 1
.names planet1_in_4_ n_n331 [105]
00 1
.names n_n333 n_n335 [111]
11 1
.names [1132] [1133] [131]
1- 1
-1 1
.names [76] [336] [130]
1- 1
-1 1
.names [36] [45] [129]
1- 1
-1 1
.names [102] [1262] [67]
11 1
.names [1272] [1273] [132]
1- 1
-1 1
.names [50] [49] [134]
1- 1
-1 1
.names [65] [45] [61]
01 1
.names n_n336 [37] [106]
10 1
.names [81] [82] [137]
1- 1
-1 1
.names [63] [78] [136]
1- 1
-1 1
.names [44] [72] [135]
1- 1
-1 1
.names [33] [1117] [48]
11 1
.names n_n335 [46] [76]
01 1
.names [44] [45] [80]
11 1
.names n_n336 [101] [120]
11 1
.names [103] [106] [140]
1- 1
-1 1
.names [55] [170] [139]
1- 1
-1 1
.names planet1_in_4_ n_n331 [65]
0- 1
-1 1
.names n_n333 n_n335 [35]
01 1
.names [41] [43] [121]
11 1
.names [276] [1196] [143]
1- 1
-1 1
.names [272] [1195] [142]
1- 1
-1 1
.names [110] [270] [141]
1- 1
-1 1
.names n_n333 n_n334 [100]
10 1
.names n_n336 [35] [119]
11 1
.names [37] [218] [146]
1- 1
-1 1
.names [48] [50] [145]
1- 1
-1 1
.names [74] [214] [144]
1- 1
-1 1
.names [36] [1175] [108]
11 1
.names n_n334 n_n335 [110]
01 1
.names [1181] [1182] [148]
1- 1
-1 1
.names [106] [45] [147]
1- 1
-1 1
.names [37] [1116] [33]
01 1
.names n_n335 [100] [36]
11 1
.names n_n336 [47] [83]
01 1
.names n_n333 [43] [117]
11 1
.names [190] [1251] [150]
1- 1
-1 1
.names n_n331 n_n332 [149]
11 1
00 1
.names n_n333 n_n334 [46]
11 1
.names [104] [1161] [69]
11 1
.names n_n334 [35] [101]
01 1
.names n_n331 n_n334 [114]
01 1
.names n_n331 [45] [116]
01 1
.names n_n331 n_n332 [153]
11 1
00 1
.names planet1_in_5_ planet1_in_4_ [152]
0- 1
-1 1
.names [57] [206] [151]
1- 1
-1 1
.names [39] [1130] [51]
1- 1
-1 1
.names n_n332 n_n333 [63]
01 1
.names planet1_in_4_ [41] [109]
01 1
.names [120] [1150] [155]
1- 1
-1 1
.names [56] [118] [154]
1- 1
-1 1
.names [96] [308] [59]
1- 1
-1 1
.names n_n334 [42] [115]
11 1
.names [35] [306] [157]
1- 1
-1 1
.names [303] [1167] [156]
1- 1
-1 1
.names n_n335 n_n336 [45]
10 1
.names [1219] [1220] [160]
1- 1
-1 1
.names [55] [1218] [159]
1- 1
-1 1
.names n_n333 [43] [158]
1- 1
-1 1
.names planet1_in_5_ planet1_in_0_ [161]
1- 1
-0 1
.names n_n335 [33] [102]
01 1
.names [113] [40] [163]
1- 1
-1 1
.names planet1_in_1_ planet1_in_2_ [162]
1- 1
-1 1
.names [44] [36] [96]
11 1
.names [57] [246] [165]
1- 1
-1 1
.names n_n332 [105] [164]
0- 1
-1 1
.names n_n333 [42] [118]
01 1
.names [40] [216] [50]
1- 1
-1 1
.names [39] [1179] [52]
1- 1
-1 1
.names n_n334 [65] [55]
10 1
.names [93] [1269] [133]
1- 1
-1 1
.names n_n331 n_n332 [138]
01 1
10 1
.names planet1_in_6_ [102] [49]
01 1
.names n_n334 [135] [54]
11 1
.names n_n335 [136] [60]
11 1
.names n_n335 [137] [62]
01 1
.names n_n332 [106] [68]
11 1
.names n_n336 [37] [70]
01 1
.names n_n333 [109] [72]
01 1
.names n_n331 [37] [78]
01 1
.names n_n336 [138] [81]
01 1
.names n_n331 [37] [82]
11 1
.names planet1_in_4_ [132] [84]
11 1
.names [41] [1268] [86]
11 1
.names [35] [133] [87]
11 1
.names [43] [114] [88]
11 1
.names n_n335 [104] [89]
01 1
.names n_n331 n_n334 [92]
00 1
.names n_n331 n_n334 [93]
11 1
.names [43] [139] [97]
11 1
.names [42] [140] [98]
11 1
.names n_n332 [120] [99]
01 1
.names n_n331 [76] [166]
01 1
.names [34] [37] [170]
11 1
.names [163] [162] [172]
11 1
.names planet1_in_3_ [108] [174]
11 1
.names [1260] [1261] [176]
11 1
.names planet1_in_4_ [74] [177]
11 1
.names n_n335 [118] [178]
01 1
.names [65] [46] [179]
01 1
.names n_n336 [104] [180]
11 1
.names [65] [46] [181]
11 1
.names [36] [149] [182]
11 1
.names n_n335 [150] [183]
01 1
.names n_n331 [117] [184]
01 1
.names [75] [35] [185]
11 1
.names n_n332 [33] [186]
01 1
.names planet1_in_6_ [33] [190]
11 1
.names [1248] [1249] [193]
11 1
.names [42] [46] [194]
11 1
.names [101] [1236] [196]
11 1
.names [153] [1237] [197]
11 1
.names [114] [1238] [198]
11 1
.names n_n335 [151] [199]
01 1
.names planet1_in_5_ [33] [200]
01 1
.names [37] [42] [206]
01 1
.names [146] [1231] [208]
11 1
.names planet1_in_4_ [144] [209]
01 1
.names planet1_in_1_ [145] [210]
01 1
.names [121] [100] [211]
11 1
.names [42] [119] [212]
11 1
.names planet1_in_6_ [77] [214]
01 1
.names n_n332 [102] [216]
01 1
.names n_n335 [39] [218]
00 1
.names planet1_in_6_ [44] [220]
11 1
.names planet1_in_1_ planet1_in_2_ [223]
00 1
.names n_n331 [158] [228]
11 1
.names n_n336 [159] [229]
11 1
.names n_n335 [160] [230]
01 1
.names n_n335 [114] [231]
11 1
.names [65] [45] [232]
11 1
.names n_n332 n_n333 [234]
11 1
.names n_n336 [41] [237]
01 1
.names n_n332 [37] [238]
10 1
.names [102] [1214] [241]
11 1
.names [120] [164] [242]
11 1
.names [43] [165] [243]
11 1
.names n_n336 [95] [244]
11 1
.names n_n333 [109] [246]
01 1
.names [35] [1206] [248]
11 1
.names planet1_in_4_ [121] [249]
11 1
.names [41] [110] [250]
11 1
.names [43] [47] [251]
11 1
.names n_n332 [37] [252]
00 1
.names n_n332 n_n333 [257]
10 1
.names [105] [1193] [262]
11 1
.names [42] [141] [263]
11 1
.names n_n331 [142] [264]
11 1
.names n_n332 [143] [265]
01 1
.names [44] [106] [266]
11 1
.names [65] [35] [267]
01 1
.names planet1_in_3_ n_n333 [270]
11 1
.names [52] [1194] [272]
11 1
.names [38] [35] [275]
11 1
.names planet1_in_4_ [36] [276]
01 1
.names n_n333 n_n334 [277]
01 1
.names [147] [1176] [278]
11 1
.names [110] [1177] [279]
11 1
.names [100] [1178] [280]
11 1
.names [44] [148] [281]
11 1
.names planet1_in_3_ [122] [282]
11 1
.names n_n331 [119] [283]
01 1
.names n_n332 [103] [284]
01 1
.names [41] [76] [285]
11 1
.names n_n333 [56] [286]
01 1
.names n_n334 n_n336 [287]
10 1
.names [52] [1180] [290]
01 1
.names n_n335 [46] [291]
11 1
.names n_n333 [43] [292]
01 1
.names [157] [1162] [294]
11 1
.names [115] [1163] [295]
11 1
.names [42] [1164] [296]
11 1
.names [35] [1165] [297]
11 1
.names [47] [156] [298]
11 1
.names [38] [40] [299]
11 1
.names planet1_in_0_ [1166] [303]
11 1
.names n_n333 n_n334 [306]
01 1
.names n_n331 [76] [308]
01 1
.names [106] [1147] [310]
11 1
.names [51] [1148] [311]
01 1
.names n_n335 [1149] [312]
01 1
.names [43] [154] [313]
11 1
.names n_n332 [155] [314]
11 1
.names [38] [116] [315]
01 1
.names [100] [109] [316]
11 1
.names [107] [42] [317]
11 1
.names n_n336 [63] [318]
01 1
.names [42] [129] [322]
11 1
.names n_n332 [130] [323]
11 1
.names n_n336 [131] [324]
01 1
.names [105] [111] [325]
11 1
.names planet1_in_3_ [104] [326]
11 1
.names [43] [95] [327]
11 1
.names n_n335 [75] [328]
11 1
.names n_n335 [56] [329]
01 1
.names [38] [40] [330]
11 1
.names [103] [51] [336]
11 1
.names [112] [1131] [338]
11 1
.names [38] [42] [339]
01 1
.names n_n334 [34] [340]
10 1
.names [47] [1105] [342]
11 1
.names [126] [1106] [343]
11 1
.names [43] [123] [344]
11 1
.names n_n332 [124] [345]
01 1
.names [34] [127] [346]
11 1
.names n_n336 [128] [347]
01 1
.names planet1_in_3_ [122] [348]
01 1
.names [38] [113] [349]
01 1
.names n_n331 [107] [350]
11 1
.names [41] [103] [351]
11 1
.names planet1_in_4_ [74] [352]
01 1
.names n_n334 [42] [354]
01 1
.names planet1_in_4_ n_n333 [356]
11 1
.names [100] [1107] [358]
11 1
.names planet1_in_4_ [101] [359]
01 1
.names planet1_in_4_ [43] [360]
11 1
.names n_n335 [37] [361]
01 1
.names [1111] [1112] [362]
11 1
.names [38] [118] [363]
11 1
.names [39] [112] [364]
11 1
.names planet1_in_4_ planet1_in_5_ [1103]
00 1
.names [1103] n_n332 [1104]
10 1
.names [125] n_n333 [1105]
10 1
.names [44] n_n335 [1106]
11 1
.names planet1_in_3_ planet1_in_0_ [1107]
10 1
.names [360] [358] [1108]
1- 1
-1 1
.names [359] [361] [1109]
1- 1
-1 1
.names planet1_in_0_ planet1_in_5_ [1110]
11 1
.names n_n332 planet1_in_4_ [1111]
10 1
.names [1110] n_n333 [1112]
11 1
.names [115] [95] [1113]
1- 1
-1 1
.names [363] [362] [1114]
1- 1
-1 1
.names [1113] [364] [1115]
1- 1
-1 1
.names n_n336 n_n331 [1116]
01 1
.names n_n332 planet1_in_6_ [1117]
10 1
.names planet1_in_4_ planet1_in_5_ [1118]
11 1
.names [342] [64] [1119]
1- 1
-1 1
.names [348] [343] [1120]
1- 1
-1 1
.names [344] [351] [1121]
1- 1
-1 1
.names [350] [345] [1122]
1- 1
-1 1
.names [1119] [352] [1123]
1- 1
-1 1
.names [349] [1120] [1124]
1- 1
-1 1
.names [1122] [1121] [1125]
1- 1
-1 1
.names [346] [1123] [1126]
1- 1
-1 1
.names [1124] [347] [1127]
1- 1
-1 1
.names [1126] [1125] [1128]
1- 1
-1 1
.names [42] planet1_in_3_ [1129]
10 1
.names planet1_in_6_ planet1_in_5_ [1130]
1- 1
-1 1
.names [39] n_n334 [1131]
10 1
.names [339] [63] [1132]
1- 1
-1 1
.names [338] [340] [1133]
1- 1
-1 1
.names n_n334 planet1_in_4_ [1134]
01 1
.names [57] [122] [1135]
1- 1
-1 1
.names [58] [325] [1136]
1- 1
-1 1
.names [77] [66] [1137]
1- 1
-1 1
.names [327] [326] [1138]
1- 1
-1 1
.names [330] [328] [1139]
1- 1
-1 1
.names [322] [1135] [1140]
1- 1
-1 1
.names [1136] [329] [1141]
1- 1
-1 1
.names [1138] [1137] [1142]
1- 1
-1 1
.names [323] [1139] [1143]
1- 1
-1 1
.names [1141] [1140] [1144]
1- 1
-1 1
.names [324] [1142] [1145]
1- 1
-1 1
.names [1144] [1143] [1146]
1- 1
-1 1
.names [34] planet1_in_4_ [1147]
10 1
.names [47] [35] [1148]
11 1
.names n_n333 n_n331 [1149]
10 1
.names [117] [33] [1150]
1- 1
-1 1
.names [312] [61] [1151]
1- 1
-1 1
.names [64] [318] [1152]
1- 1
-1 1
.names [310] [83] [1153]
1- 1
-1 1
.names [316] [315] [1154]
1- 1
-1 1
.names [311] [1151] [1155]
1- 1
-1 1
.names [1152] [317] [1156]
1- 1
-1 1
.names [1154] [1153] [1157]
1- 1
-1 1
.names [314] [313] [1158]
1- 1
-1 1
.names [1156] [1155] [1159]
1- 1
-1 1
.names [1158] [1157] [1160]
1- 1
-1 1
.names n_n335 planet1_in_0_ [1161]
11 1
.names n_n336 n_n332 [1162]
10 1
.names n_n335 planet1_in_3_ [1163]
11 1
.names n_n336 n_n333 [1164]
01 1
.names [41] planet1_in_4_ [1165]
11 1
.names planet1_in_6_ planet1_in_5_ [1166]
10 1
.names [35] planet1_in_3_ [1167]
0- 1
-0 1
.names [296] [80] [1168]
1- 1
-1 1
.names [294] [69] [1169]
1- 1
-1 1
.names [297] [295] [1170]
1- 1
-1 1
.names [1168] [299] [1171]
1- 1
-1 1
.names [298] [59] [1172]
1- 1
-1 1
.names [1170] [1169] [1173]
1- 1
-1 1
.names [1172] [1171] [1174]
1- 1
-1 1
.names [34] planet1_in_0_ [1175]
10 1
.names n_n332 planet1_in_4_ [1176]
11 1
.names [42] n_n336 [1177]
11 1
.names [43] n_n331 [1178]
11 1
.names planet1_in_4_ planet1_in_5_ [1179]
0- 1
-0 1
.names n_n336 n_n333 [1180]
01 1
.names [291] [101] [1181]
1- 1
-1 1
.names [290] [292] [1182]
1- 1
-1 1
.names [66] [287] [1183]
1- 1
-1 1
.names [279] [108] [1184]
1- 1
-1 1
.names [282] [280] [1185]
1- 1
-1 1
.names [284] [283] [1186]
1- 1
-1 1
.names [278] [285] [1187]
1- 1
-1 1
.names [1183] [286] [1188]
1- 1
-1 1
.names [1185] [1184] [1189]
1- 1
-1 1
.names [1187] [1186] [1190]
1- 1
-1 1
.names [1189] [1188] [1191]
1- 1
-1 1
.names [1190] [281] [1192]
1- 1
-1 1
.names n_n336 n_n333 [1193]
10 1
.names n_n335 n_n333 [1194]
01 1
.names [117] [45] [1195]
1- 1
-1 1
.names [275] [277] [1196]
1- 1
-1 1
.names [121] [47] [1197]
1- 1
-1 1
.names [267] [262] [1198]
1- 1
-1 1
.names [266] [263] [1199]
1- 1
-1 1
.names [1198] [1197] [1200]
1- 1
-1 1
.names [1200] [1199] [1201]
1- 1
-1 1
.names [265] [264] [1202]
1- 1
-1 1
.names n_n334 n_n331 [1203]
1- 1
-1 1
.names [111] n_n336 [1204]
1- 1
-0 1
.names [1203] [257] [1205]
1- 1
-1 1
.names [65] n_n334 [1206]
00 1
.names [250] [116] [1207]
1- 1
-1 1
.names [58] [252] [1208]
1- 1
-1 1
.names [248] [102] [1209]
1- 1
-1 1
.names [251] [249] [1210]
1- 1
-1 1
.names [59] [1207] [1211]
1- 1
-1 1
.names [1209] [1208] [1212]
1- 1
-1 1
.names [1211] [1210] [1213]
1- 1
-1 1
.names n_n332 planet1_in_6_ [1214]
11 1
.names [244] [96] [1215]
1- 1
-1 1
.names [242] [241] [1216]
1- 1
-1 1
.names [243] [1215] [1217]
1- 1
-1 1
.names [47] [234] [1218]
1- 1
-1 1
.names [63] [44] [1219]
1- 1
-1 1
.names [238] [237] [1220]
1- 1
-1 1
.names [231] [115] [1221]
1- 1
-1 1
.names [228] [232] [1222]
1- 1
-1 1
.names [1222] [1221] [1223]
1- 1
-1 1
.names [230] [229] [1224]
1- 1
-1 1
.names [38] n_n336 [1225]
0- 1
-1 1
.names [65] [37] [1226]
0- 1
-1 1
.names n_n331 n_n335 [1227]
11 1
00 1
.names [220] [223] [1228]
1- 1
-1 1
.names [1226] [1225] [1229]
1- 1
-1 1
.names [1228] [1227] [1230]
1- 1
-1 1
.names [34] n_n336 [1231]
10 1
.names [211] [80] [1232]
1- 1
-1 1
.names [208] [212] [1233]
1- 1
-1 1
.names [1233] [1232] [1234]
1- 1
-1 1
.names [1234] [209] [1235]
1- 1
-1 1
.names [152] n_n332 [1236]
11 1
.names [110] planet1_in_5_ [1237]
11 1
.names [43] n_n333 [1238]
10 1
.names [74] [116] [1239]
1- 1
-1 1
.names [48] [77] [1240]
1- 1
-1 1
.names [196] [83] [1241]
1- 1
-1 1
.names [198] [197] [1242]
1- 1
-1 1
.names [199] [200] [1243]
1- 1
-1 1
.names [1240] [1239] [1244]
1- 1
-1 1
.names [1242] [1241] [1245]
1- 1
-1 1
.names [1244] [1243] [1246]
1- 1
-1 1
.names n_n333 planet1_in_6_ [1247]
01 1
.names n_n336 n_n335 [1248]
00 1
.names [1247] [44] [1249]
11 1
.names [69] [194] [1250]
1- 1
-1 1
.names [104] [95] [1251]
1- 1
-1 1
.names [58] [61] [1252]
1- 1
-1 1
.names [182] [83] [1253]
1- 1
-1 1
.names [185] [184] [1254]
1- 1
-1 1
.names [1252] [186] [1255]
1- 1
-1 1
.names [1254] [1253] [1256]
1- 1
-1 1
.names [1255] [183] [1257]
1- 1
-1 1
.names [35] planet1_in_3_ [1258]
11 1
.names [47] [161] [1259]
11 1
.names [37] n_n336 [1260]
00 1
.names [112] [39] [1261]
10 1
.names [38] n_n332 [1262]
00 1
.names [80] [40] [1263]
1- 1
-1 1
.names [166] [48] [1264]
1- 1
-1 1
.names [97] [1263] [1265]
1- 1
-1 1
.names [99] [98] [1266]
1- 1
-1 1
.names [1265] [1264] [1267]
1- 1
-1 1
.names n_n336 n_n334 [1268]
10 1
.names [92] [42] [1269]
1- 1
-1 1
.names [88] [86] [1270]
1- 1
-1 1
.names [89] [96] [1271]
1- 1
-1 1
.names [113] [1270] [1272]
1- 1
-1 1
.names [1271] [87] [1273]
1- 1
-1 1
.names [70] [61] [1274]
1- 1
-1 1
.names [1274] [68] [1275]
1- 1
-1 1
.names [1275] [60] [1276]
1- 1
-1 1
.names [62] [54] [1277]
1- 1
-1 1
.names planet1_in_2_ planet1_in_1_ [1278]
10 1
.end