.model top
.inputs i_63_ i_50_ i_64_ i_61_ i_62_ i_40_ i_30_ i_20_ i_9_ i_10_ i_7_ i_8_ \
i_5_ i_6_ i_27_ i_14_ i_3_ i_39_ i_28_ i_13_ i_4_ i_25_ i_12_ i_1_ i_26_ i_11_ \
i_2_ i_49_ i_23_ i_18_ i_24_ i_17_ i_0_ i_21_ i_16_ i_59_ i_22_ i_15_ i_58_ \
i_45_ i_32_ i_57_ i_46_ i_31_ i_56_ i_47_ i_34_ i_55_ i_48_ i_33_ i_19_ i_54_ \
i_41_ i_36_ i_60_ i_53_ i_42_ i_35_ i_52_ i_43_ i_38_ i_29_ i_51_ i_44_ i_37_
.outputs o_1_ o_19_ o_2_ o_0_ o_29_ o_60_ o_39_ o_38_ o_25_ o_12_ o_37_ o_26_ \
o_11_ o_50_ o_36_ o_27_ o_14_ o_35_ o_28_ o_13_ o_34_ o_21_ o_16_ o_40_ o_33_ \
o_22_ o_15_ o_32_ o_23_ o_18_ o_31_ o_24_ o_17_ o_56_ o_43_ o_30_ o_55_ o_44_ \
o_58_ o_41_ o_57_ o_42_ o_20_ o_52_ o_47_ o_51_ o_48_ o_54_ o_45_ o_10_ o_53_ \
o_46_ o_61_ o_9_ o_62_ o_63_ o_49_ o_7_ o_64_ o_8_ o_5_ o_59_ o_6_ o_3_ o_4_
.names n_n344 [768] [776] [778] [784] o_1_
11111 1
.names i_64_ i_57_ n_n297 n_n271 [801] o_19_
10111 1
.names i_52_ [66] n_n49 [824] o_2_
0111 1
.names n_n344 [768] [776] [778] [831] o_0_
11111 1
.names [103] [832] [834] o_29_
111 1
.names i_7_ [839] [840] [843] o_60_
1111 1
.names [85] [106] [115] [849] [850] o_39_
11111 1
.names [85] [97] [854] o_38_
111 1
.names [71] [858] [860] o_25_
111 1
.names [95] [107] [863] [864] o_12_
1111 1
.names [90] [65] [817] [876] [881] o_37_
11111 1
.names n_n212 [65] [888] [891] [895] o_26_
11111 1
.names i_15_ i_29_ i_37_ o_11_
011 1
.names i_57_ n_n297 n_n271 [801] o_50_
1111 1
.names n_n278 [900] [901] [904] o_36_
1111 1
.names i_20_ i_13_ i_16_ i_52_ [112] o_27_
01001 1
.names i_50_ i_10_ i_14_ i_15_ [103] o_14_
10001 1
.names [85] n_n278 n_n286 [915] [916] o_35_
11111 1
.names [71] [858] [919] o_28_
111 1
.names [86] n_n395 [925] [926] o_13_
1111 1
.names i_14_ i_15_ i_58_ [132] o_34_
0011 1
.names i_3_ [106] [115] [929] [930] o_21_
01111 1
.names i_3_ [106] [115] [934] o_16_
0111 1
.names n_n343 n_n236 [935] [938] [939] o_40_
11111 1
.names i_40_ i_39_ [103] [832] o_33_
0111 1
.names i_36_ n_n330 [906] [943] o_22_
1111 1
.names i_10_ i_14_ i_15_ [103] o_15_
1001 1
.names i_40_ i_39_ i_46_ [103] [832] o_32_
00111 1
.names i_21_ i_36_ n_n330 [906] [947] o_23_
00111 1
.names i_62_ i_7_ [839] [840] [843] o_18_
10111 1
.names n_n271 n_n330 [801] [906] [951] o_31_
11111 1
.names n_n365 [71] [955] [956] o_24_
1111 1
.names [78] [106] [115] [959] o_17_
1111 1
.names i_20_ i_16_ [65] [876] [963] o_56_
10111 1
.names n_n343 n_n236 [935] [968] o_43_
1111 1
.names i_52_ [112] o_30_
11 1
.names [84] n_n344 [768] [901] [969] o_55_
11111 1
.names [77] [974] [981] o_44_
111 1
.names i_3_ [106] [115] [861] [987] o_58_
01111 1
.names [77] n_n343 n_n236 [935] [991] o_41_
11111 1
.names [86] n_n344 [995] [996] o_57_
1111 1
.names n_n271 n_n330 n_n236 [793] [1000] o_42_
11111 1
.names [106] n_n344 [115] [768] [1005] o_20_
11111 1
.names n_n330 [66] [93] [1012] o_52_
1111 1
.names i_17_ [77] [126] [974] o_47_
1111 1
.names n_n330 [98] n_n236 [793] [1018] o_51_
11111 1
.names n_n343 n_n236 [935] [1022] [1023] o_48_
11111 1
.names i_55_ i_35_ [106] [900] [901] o_54_
10111 1
.names [97] n_n343 n_n236 [935] [1029] o_45_
11111 1
.names i_28_ i_15_ i_29_ i_37_ o_10_
1010 1
.names i_63_ i_64_ n_n297 [802] o_53_
1011 1
.names n_n236 [935] [1037] [1038] o_46_
1111 1
.names [78] [115] [1040] o_61_
111 1
.names i_52_ [66] n_n49 [1043] o_9_
0111 1
.names i_58_ i_56_ i_60_ [78] [1045] o_62_
00011 1
.names i_56_ [78] [71] o_63_
111 1
.names n_n343 n_n236 [935] [938] [1050] o_49_
11111 1
.names i_28_ i_15_ i_43_ i_29_ i_37_ o_7_
00110 1
.names i_30_ [71] n_n395 [858] [925] o_64_
11111 1
.names i_23_ n_n330 [808] [809] [1054] o_8_
01111 1
.names i_40_ [103] [832] o_59_
111 1
.names i_14_ i_15_ [132] o_6_
101 1
.names i_23_ n_n330 [808] [809] [1060] o_3_
01111 1
.names i_15_ i_29_ o_4_
11 1
.names i_46_ i_47_ i_43_ n_n238
000 1
.names i_59_ i_58_ i_60_ [780] [781] [87]
00011 1
.names i_45_ i_46_ i_47_ n_n302
000 1
.names i_40_ i_39_ i_41_ i_37_ [95]
0000 1
.names i_50_ i_46_ i_47_ i_43_ i_51_ [84]
00000 1
.names i_3_ i_4_ i_0_ n_n268
000 1
.names n_n387 n_n293 n_n395 [80] [845] [85]
11111 1
.names n_n278 [115] n_n292 n_n286 [97]
1111 1
.names i_3_ [106] [115] [861] [107]
0111 1
.names i_31_ i_34_ i_33_ i_35_ [90]
0000 1
.names [90] n_n330 n_n236 [792] n_n297
1111 1
.names i_58_ i_56_ i_55_ n_n278
000 1
.names n_n330 [66] [906] [907] [908] [112]
11111 1
.names i_28_ i_58_ i_43_ i_29_ i_37_ [103]
00010 1
.names i_50_ i_46_ i_47_ n_n369
000 1
.names n_n369 [106] n_n392 [921] [922] [86]
11111 1
.names i_28_ i_43_ i_29_ i_37_ [132]
0010 1
.names n_n387 n_n392 n_n395 [925] [78]
1111 1
.names i_30_ i_28_ i_29_ [80] [941] [110]
00111 1
.names i_63_ i_64_ i_57_ [96]
000 1
.names i_28_ i_29_ i_37_ n_n365
010 1
.names i_50_ i_58_ i_46_ i_60_ i_43_ [71]
00000 1
.names i_45_ i_46_ i_47_ n_n392 n_n303 n_n271
00011 1
.names i_62_ i_58_ i_56_ i_60_ [106]
0000 1
.names i_54_ i_53_ i_51_ n_n300
000 1
.names i_30_ i_28_ i_29_ n_n387
001 1
.names i_40_ i_39_ i_37_ n_n392
000 1
.names i_7_ i_8_ i_6_ n_n344
000 1
.names i_42_ i_43_ [95] n_n277 [970] [77]
00111 1
.names i_50_ i_46_ i_47_ i_35_ i_51_ [126]
00000 1
.names i_9_ i_10_ i_11_ n_n343
000 1
.names i_3_ i_4_ i_0_ n_n344 [787] n_n330
00011 1
.names [96] n_n301 n_n286 [812] [813] [66]
11111 1
.names i_39_ i_35_ i_37_ n_n292 [772] [93]
00011 1
.names i_61_ i_59_ i_60_ [970] [98]
0001 1
.names i_41_ i_42_ i_43_ n_n303
000 1
.names i_34_ i_33_ i_35_ n_n304
000 1
.names i_39_ i_35_ i_37_ n_n293
000 1
.names i_58_ i_56_ i_60_ n_n368
000 1
.names i_50_ i_46_ i_47_ i_43_ [115]
0000 1
.names i_32_ i_36_ [90] n_n387 n_n49
0011 1
.names i_40_ i_41_ i_42_ n_n292
000 1
.names i_59_ i_58_ i_60_ n_n332
000 1
.names i_28_ i_25_ i_26_ n_n319 [790] n_n236
00011 1
.names i_61_ i_59_ i_60_ n_n277
000 1
.names i_18_ i_24_ i_22_ n_n319
000 1
.names i_50_ i_49_ i_48_ n_n301
000 1
.names i_10_ i_14_ i_11_ n_n395
000 1
.names i_61_ i_62_ i_60_ n_n286
000 1
.names i_55_ i_54_ i_53_ n_n212
000 1
.names n_n238 [96] n_n301 [870] [65]
1111 1
.names i_25_ i_26_ i_18_ i_24_ i_22_ [80]
00000 1
.names i_29_ o_5_
1 1
.names i_10_ i_14_ i_11_ i_15_ [768]
0000 1
.names i_17_ i_31_ i_34_ i_33_ [772]
0000 1
.names i_9_ i_3_ i_4_ i_0_ [776]
0000 1
.names n_n387 n_n293 n_n292 [80] [772] [778]
11111 1
.names i_50_ i_56_ i_55_ i_51_ [780]
0000 1
.names i_61_ i_62_ i_54_ i_53_ [781]
0000 1
.names i_5_ i_46_ i_47_ i_43_ [783]
1000 1
.names n_n332 [780] [781] [783] [784]
1111 1
.names i_5_ i_1_ i_2_ [787]
000 1
.names i_14_ i_17_ i_15_ [790]
000 1
.names i_30_ i_9_ i_10_ i_11_ i_29_ [792]
00001 1
.names i_31_ i_34_ i_33_ i_35_ [792] [793]
00001 1
.names i_61_ i_62_ i_56_ i_55_ [795]
0000 1
.names n_n300 n_n332 n_n301 [795] [801]
1111 1
.names i_57_ n_n302 n_n392 n_n303 [801] [802]
01111 1
.names i_14_ i_12_ i_17_ i_15_ [804]
0000 1
.names i_20_ i_13_ i_21_ i_16_ [807]
0000 1
.names i_9_ i_10_ i_11_ [804] [807] [808]
00011 1
.names [80] i_19_ [809]
10 1
.names i_59_ i_58_ i_51_ [812]
000 1
.names i_56_ i_55_ i_54_ i_53_ [813]
0000 1
.names i_36_ i_32_ [817]
00 1
.names i_27_ i_45_ i_46_ i_47_ i_38_ [821]
10000 1
.names i_42_ i_43_ i_44_ [95] [821] [823]
00011 1
.names i_23_ n_n330 [808] [809] [823] [824]
01111 1
.names i_59_ i_58_ i_56_ [827]
000 1
.names i_45_ i_5_ [829]
10 1
.names [84] n_n286 n_n212 [827] [829] [831]
11111 1
.names i_50_ i_10_ i_14_ i_15_ [832]
0000 1
.names i_40_ i_39_ i_46_ i_60_ [834]
0001 1
.names i_14_ i_25_ i_24_ i_15_ [839]
0000 1
.names i_10_ i_8_ i_11_ i_43_ [840]
0000 1
.names n_n369 n_n387 n_n392 n_n368 [843]
1111 1
.names i_7_ i_8_ i_6_ i_15_ i_51_ [845]
00000 1
.names i_40_ i_41_ i_42_ [849]
001 1
.names i_61_ i_3_ i_4_ i_0_ i_55_ [850]
00000 1
.names i_3_ i_4_ i_0_ i_59_ [854]
0001 1
.names i_40_ i_39_ i_28_ i_29_ i_37_ [858]
00010 1
.names i_10_ i_14_ i_25_ i_24_ i_15_ [860]
00010 1
.names i_10_ i_14_ i_11_ i_15_ [861]
0000 1
.names i_30_ i_7_ i_8_ i_29_ [863]
0001 1
.names i_6_ i_28_ i_25_ i_26_ i_24_ [864]
10000 1
.names i_30_ i_28_ i_25_ i_26_ i_29_ [867]
00001 1
.names i_62_ i_45_ i_56_ i_37_ [870]
0000 1
.names i_61_ i_55_ i_52_ [874]
000 1
.names i_54_ i_53_ i_51_ n_n332 [874] [876]
00011 1
.names i_40_ i_39_ i_19_ i_41_ i_42_ [878]
00100 1
.names i_18_ i_24_ i_22_ [867] [878] [879]
00011 1
.names n_n268 n_n344 [787] [808] [879] [881]
11111 1
.names i_28_ i_25_ i_24_ i_29_ [884]
0001 1
.names i_30_ i_26_ i_18_ i_22_ [885]
0000 1
.names i_61_ i_59_ i_58_ i_60_ i_51_ [888]
00000 1
.names i_40_ i_39_ i_41_ i_42_ i_52_ [891]
00000 1
.names i_32_ i_36_ [90] [884] [885] [894]
10111 1
.names n_n268 n_n344 [787] [808] [894] [895]
11111 1
.names i_3_ i_0_ i_41_ [898]
000 1
.names i_7_ i_8_ i_6_ [84] [768] [900]
00011 1
.names n_n392 n_n319 [867] [898] [901]
1111 1
.names i_61_ i_62_ i_60_ i_35_ [904]
1000 1
.names i_9_ i_10_ i_11_ [90] [804] [906]
00011 1
.names i_36_ i_21_ [907]
00 1
.names n_n302 n_n392 n_n303 [884] [885] [908]
11111 1
.names i_40_ i_3_ i_0_ i_41_ [915]
0000 1
.names i_50_ i_4_ i_46_ i_47_ i_43_ [916]
01000 1
.names i_10_ i_14_ i_25_ i_15_ [919]
0010 1
.names i_43_ i_26_ [921]
00 1
.names i_30_ i_3_ i_28_ i_29_ [922]
0001 1
.names i_25_ i_24_ i_15_ [925]
000 1
.names i_7_ i_8_ i_41_ [926]
001 1
.names i_40_ i_39_ i_0_ i_41_ i_37_ [929]
00100 1
.names n_n344 n_n319 [768] [867] [930]
1111 1
.names i_7_ i_8_ i_26_ [933]
001 1
.names n_n387 n_n392 n_n395 [925] [933] [934]
11111 1
.names i_30_ i_29_ n_n268 n_n344 [935]
0111 1
.names i_34_ i_33_ i_42_ i_35_ [936]
0000 1
.names [95] [84] [936] [938]
111 1
.names i_59_ i_58_ i_54_ i_60_ [795] [939]
00101 1
.names i_40_ i_39_ i_41_ i_42_ [941]
0000 1
.names [110] n_n212 [65] [888] [943]
1111 1
.names i_18_ i_24_ i_16_ i_22_ [867] [946]
00101 1
.names n_n212 [65] [888] [891] [946] [947]
11111 1
.names i_63_ i_64_ i_21_ i_57_ i_36_ [950]
00100 1
.names [884] [885] [950] [951]
111 1
.names i_40_ i_39_ i_25_ i_24_ [955]
0000 1
.names i_10_ i_14_ i_11_ i_15_ [956]
0010 1
.names i_7_ i_8_ i_3_ [959]
001 1
.names i_21_ i_36_ [110] n_n330 [906] [963]
00111 1
.names i_5_ i_1_ i_2_ [965]
010 1
.names [87] [90] n_n271 [965] [968]
1111 1
.names i_62_ i_58_ i_56_ i_60_ i_35_ [969]
00001 1
.names i_62_ i_58_ i_56_ i_55_ [970]
0000 1
.names i_10_ i_14_ i_11_ i_15_ [972]
0000 1
.names n_n268 n_n344 [884] [885] [972] [974]
11111 1
.names i_9_ i_5_ i_45_ [977]
000 1
.names i_50_ i_2_ i_17_ i_46_ i_47_ [978]
01000 1
.names [90] n_n300 [977] [978] [981]
1111 1
.names i_25_ i_24_ i_41_ [983]
000 1
.names i_30_ i_28_ i_26_ i_22_ i_29_ [984]
00011 1
.names n_n392 n_n344 [983] [984] [987]
1111 1
.names i_34_ i_33_ [126] [991]
011 1
.names i_25_ i_11_ i_18_ i_24_ [995]
0010 1
.names i_10_ i_14_ i_22_ i_15_ i_41_ [996]
00000 1
.names i_50_ i_49_ i_51_ [999]
010 1
.names n_n286 n_n212 [827] [999] [1000]
1111 1
.names i_3_ i_0_ i_51_ [1002]
001 1
.names [95] n_n319 [867] [1002] [1005]
1111 1
.names i_14_ i_12_ i_15_ i_45_ [1008]
0100 1
.names n_n238 n_n387 n_n343 [80] [1008] [1012]
11111 1
.names i_50_ i_49_ i_48_ [1016]
001 1
.names n_n302 n_n300 n_n392 n_n303 [1016] [1018]
11111 1
.names i_31_ i_54_ i_53_ i_51_ [1020]
1000 1
.names i_50_ i_46_ i_47_ n_n392 [1020] [1022]
00011 1
.names n_n303 n_n304 n_n277 [970] [1023]
1111 1
.names i_59_ i_34_ i_51_ n_n293 [1029]
0101 1
.names i_10_ i_11_ i_51_ [1035]
000 1
.names i_9_ i_41_ i_42_ i_35_ i_43_ [1036]
10000 1
.names i_59_ i_58_ i_60_ [795] [1035] [1037]
00011 1
.names i_50_ i_46_ i_47_ n_n392 [1036] [1038]
00011 1
.names i_8_ i_58_ i_56_ i_60_ [1040]
1000 1
.names i_23_ n_n302 n_n392 n_n303 [1042]
1111 1
.names i_19_ n_n330 [80] [808] [1042] [1043]
01111 1
.names i_50_ i_46_ i_47_ i_43_ [1045]
0010 1
.names i_59_ i_54_ i_53_ [1049]
001 1
.names i_58_ i_56_ i_55_ n_n286 [1049] [1050]
00011 1
.names i_32_ i_36_ i_38_ [90] n_n387 [1053]
00111 1
.names n_n212 [65] [888] [891] [1053] [1054]
11111 1
.names i_39_ i_38_ i_44_ [1057]
001 1
.names n_n49 n_n292 [65] [876] [1057] [1060]
11111 1
.end