| .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 [100] [134] [772] [773] [776] [781] [782] [783] o_1_ |
| 11111111 1 |
| .names i_64_ i_57_ n_n297 [83] n_n303 [797] [800] o_19_ |
| 1011111 1 |
| .names i_52_ [124] n_n387 [813] [814] [815] [824] o_2_ |
| 0111111 1 |
| .names [100] [134] [772] [773] [776] [827] [828] [830] o_0_ |
| 11111111 1 |
| .names i_50_ i_10_ i_14_ i_15_ [103] [834] o_29_ |
| 000011 1 |
| .names i_7_ [111] [841] [842] o_60_ |
| 1111 1 |
| .names [70] [134] [845] [846] [851] o_39_ |
| 11111 1 |
| .names [135] [134] [115] n_n292 [845] [846] [854] o_38_ |
| 1111111 1 |
| .names i_50_ i_58_ i_46_ i_60_ i_43_ [858] [860] o_25_ |
| 0000011 1 |
| .names i_10_ i_14_ i_3_ i_11_ i_15_ [70] [864] [865] o_12_ |
| 00000111 1 |
| .names i_61_ i_55_ i_52_ [124] [871] [872] [875] [881] o_37_ |
| 00011111 1 |
| .names [871] [872] [889] [891] [895] o_26_ |
| 11111 1 |
| .names i_15_ i_29_ i_37_ o_11_ |
| 011 1 |
| .names i_57_ i_41_ i_42_ i_43_ n_n297 [83] [797] [800] o_50_ |
| 10001111 1 |
| .names [84] [73] [100] [899] [905] o_36_ |
| 11111 1 |
| .names i_20_ i_13_ i_16_ i_52_ [89] [909] o_27_ |
| 010011 1 |
| .names i_50_ i_10_ i_14_ i_15_ [103] o_14_ |
| 10001 1 |
| .names [135] [134] [845] [846] [915] [916] o_35_ |
| 111111 1 |
| .names i_10_ i_14_ i_25_ i_15_ [71] [858] o_28_ |
| 001011 1 |
| .names i_7_ i_8_ i_41_ [133] [106] [111] [923] o_13_ |
| 0011111 1 |
| .names i_14_ i_28_ i_15_ i_58_ i_43_ i_29_ i_37_ o_34_ |
| 0001010 1 |
| .names i_3_ [70] [73] [100] [929] o_21_ |
| 01111 1 |
| .names i_7_ i_8_ i_3_ i_26_ [70] [133] [932] o_16_ |
| 0001111 1 |
| .names [95] [84] n_n343 [790] [791] [935] [936] [939] o_40_ |
| 11111111 1 |
| .names i_50_ i_40_ i_10_ i_14_ i_39_ i_15_ [103] o_33_ |
| 0000101 1 |
| .names i_5_ i_1_ i_2_ i_36_ [90] [136] [122] [943] o_22_ |
| 00011111 1 |
| .names i_10_ i_14_ i_28_ i_15_ i_58_ i_43_ i_29_ i_37_ o_15_ |
| 10000010 1 |
| .names i_50_ i_40_ i_10_ i_14_ i_39_ i_15_ i_46_ [103] o_32_ |
| 00000011 1 |
| .names i_21_ i_36_ [90] [136] [122] [787] [947] o_23_ |
| 0011111 1 |
| .names i_62_ i_7_ [111] [841] [842] o_18_ |
| 10111 1 |
| .names i_5_ i_1_ i_2_ [90] [136] [122] [952] o_31_ |
| 0001111 1 |
| .names i_10_ i_14_ i_11_ i_15_ [71] [957] o_24_ |
| 001011 1 |
| .names i_7_ i_8_ i_3_ [70] [133] [932] o_17_ |
| 001111 1 |
| .names i_20_ i_16_ [871] [872] [874] [875] [963] o_56_ |
| 1011111 1 |
| .names i_9_ i_10_ i_11_ [790] [791] [935] [968] o_43_ |
| 0001111 1 |
| .names i_21_ i_36_ i_52_ [90] [136] [122] [787] [909] o_30_ |
| 00111111 1 |
| .names [84] [73] [100] [899] [969] o_55_ |
| 11111 1 |
| .names [72] [90] [98] [136] [971] [972] [978] [979] o_44_ |
| 11111111 1 |
| .names i_10_ i_14_ i_3_ i_11_ i_15_ [70] [985] [986] o_58_ |
| 00000111 1 |
| .names n_n343 [98] [790] [791] [935] [971] [991] o_41_ |
| 1111111 1 |
| .names i_62_ i_58_ i_56_ i_60_ [111] [923] [996] [997] o_57_ |
| 00001111 1 |
| .names i_41_ i_42_ i_43_ n_n297 [797] [827] [828] [999] o_42_ |
| 00011111 1 |
| .names [70] [73] [100] [1003] o_20_ |
| 1111 1 |
| .names i_14_ i_12_ i_15_ i_45_ [134] [1009] [1013] o_52_ |
| 0100111 1 |
| .names [72] [98] [136] [971] [972] [1014] o_47_ |
| 111111 1 |
| .names i_41_ i_42_ i_43_ n_n297 [98] [797] [1017] o_51_ |
| 0001111 1 |
| .names n_n343 [98] [111] [790] [791] [935] [1020] [1021] o_48_ |
| 11111111 1 |
| .names [84] [73] [100] [899] [1026] o_54_ |
| 11111 1 |
| .names [135] n_n343 [115] n_n292 [790] [791] [935] [1029] o_45_ |
| 11111111 1 |
| .names i_28_ i_15_ i_29_ i_37_ o_10_ |
| 1010 1 |
| .names i_63_ i_64_ i_57_ n_n297 [83] n_n303 [797] [800] o_53_ |
| 10011111 1 |
| .names [83] [111] [790] [791] [935] [1035] [1036] o_46_ |
| 1111111 1 |
| .names i_10_ i_14_ i_25_ i_11_ i_24_ i_15_ [932] [1041] o_61_ |
| 00000011 1 |
| .names i_52_ [124] n_n387 [813] [814] [815] [1043] o_9_ |
| 0111111 1 |
| .names i_10_ i_14_ i_25_ i_11_ i_24_ i_15_ [932] [1046] o_62_ |
| 00000011 1 |
| .names i_10_ i_14_ i_25_ i_11_ i_24_ i_15_ [932] [1047] o_63_ |
| 00000011 1 |
| .names i_59_ i_54_ i_53_ [135] [130] o_49_ |
| 00111 1 |
| .names i_28_ i_15_ i_43_ i_29_ i_37_ o_7_ |
| 00110 1 |
| .names i_50_ i_58_ i_46_ i_60_ i_43_ [858] [1052] o_64_ |
| 0000011 1 |
| .names i_23_ [136] [122] [787] [807] [809] [1054] o_8_ |
| 0111111 1 |
| .names i_50_ i_40_ i_10_ i_14_ i_15_ [103] o_59_ |
| 010001 1 |
| .names i_14_ i_28_ i_15_ i_43_ i_29_ i_37_ o_6_ |
| 100010 1 |
| .names i_23_ [136] [122] [787] [807] [809] [1060] o_3_ |
| 0111111 1 |
| .names i_15_ i_29_ o_4_ |
| 11 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_50_ i_62_ i_58_ i_46_ i_56_ i_47_ i_60_ i_43_ [70] |
| 00000000 1 |
| .names i_30_ i_28_ i_25_ i_26_ i_18_ i_24_ i_22_ i_29_ [73] |
| 00000001 1 |
| .names i_32_ i_31_ i_34_ i_33_ i_36_ i_35_ [124] |
| 000000 1 |
| .names i_30_ i_28_ i_25_ i_26_ i_18_ i_24_ i_22_ i_29_ [72] |
| 00000001 1 |
| .names i_31_ i_34_ i_33_ i_35_ [90] |
| 0000 1 |
| .names i_5_ i_1_ i_2_ [90] [136] [790] [791] [792] n_n297 |
| 00011111 1 |
| .names i_28_ i_58_ i_43_ i_29_ i_37_ [103] |
| 00010 1 |
| .names i_61_ i_62_ i_58_ i_56_ i_55_ i_60_ [135] |
| 000000 1 |
| .names i_10_ i_14_ i_25_ i_11_ i_24_ i_15_ [133] |
| 000000 1 |
| .names i_10_ i_7_ i_8_ i_6_ i_14_ i_11_ i_15_ [100] |
| 0000000 1 |
| .names i_61_ i_62_ i_59_ i_58_ i_56_ i_55_ i_60_ [83] |
| 0000000 1 |
| .names [95] [84] n_n343 [790] [791] [935] [936] [130] |
| 1111111 1 |
| .names i_5_ i_1_ i_2_ i_21_ i_36_ [90] [136] [122] [89] |
| 00000111 1 |
| .names i_50_ i_58_ i_46_ i_60_ i_43_ [71] |
| 00000 1 |
| .names i_62_ i_58_ i_56_ i_60_ [106] |
| 0000 1 |
| .names i_30_ i_28_ i_29_ n_n387 |
| 001 1 |
| .names i_9_ i_10_ i_11_ n_n343 |
| 000 1 |
| .names i_30_ i_28_ i_25_ i_26_ i_18_ i_24_ i_22_ i_29_ [134] |
| 00000001 1 |
| .names i_61_ i_62_ i_59_ i_58_ i_56_ i_55_ i_60_ [98] |
| 0000000 1 |
| .names i_41_ i_42_ i_43_ n_n303 |
| 000 1 |
| .names i_50_ i_40_ i_39_ i_46_ i_47_ i_37_ [111] |
| 000000 1 |
| .names i_50_ i_46_ i_47_ i_43_ [115] |
| 0000 1 |
| .names i_40_ i_41_ i_42_ n_n292 |
| 000 1 |
| .names i_7_ i_8_ i_6_ i_3_ i_4_ i_0_ [136] |
| 000000 1 |
| .names i_9_ i_10_ i_14_ i_12_ i_11_ i_17_ i_15_ [122] |
| 0000000 1 |
| .names i_29_ o_5_ |
| 1 1 |
| .names i_17_ i_31_ i_34_ i_33_ [772] |
| 0000 1 |
| .names i_40_ i_39_ i_41_ i_42_ i_35_ i_37_ [773] |
| 000000 1 |
| .names i_9_ i_3_ i_4_ i_0_ [776] |
| 0000 1 |
| .names i_61_ i_62_ i_54_ i_53_ [781] |
| 0000 1 |
| .names i_50_ i_59_ i_58_ i_56_ i_55_ i_60_ i_51_ [782] |
| 0000000 1 |
| .names i_5_ i_46_ i_47_ i_43_ [783] |
| 1000 1 |
| .names i_5_ i_1_ i_2_ [787] |
| 000 1 |
| .names i_14_ i_17_ i_15_ [790] |
| 000 1 |
| .names i_28_ i_25_ i_26_ i_18_ i_24_ i_22_ [791] |
| 000000 1 |
| .names i_30_ i_9_ i_10_ i_11_ i_29_ [792] |
| 00001 1 |
| .names i_40_ i_39_ i_45_ i_46_ i_47_ i_37_ [797] |
| 000000 1 |
| .names i_50_ i_49_ i_48_ i_54_ i_53_ i_51_ [800] |
| 000000 1 |
| .names i_20_ i_13_ i_21_ i_16_ [807] |
| 0000 1 |
| .names i_25_ i_26_ i_18_ i_24_ i_22_ i_19_ [809] |
| 000000 1 |
| .names i_56_ i_55_ i_54_ i_53_ [813] |
| 0000 1 |
| .names i_63_ i_50_ i_64_ i_49_ i_57_ i_48_ [814] |
| 000000 1 |
| .names i_61_ i_62_ i_59_ i_58_ i_60_ i_51_ [815] |
| 000000 1 |
| .names i_27_ i_45_ i_46_ i_47_ i_38_ [821] |
| 10000 1 |
| .names i_40_ i_39_ i_41_ i_42_ i_43_ i_44_ i_37_ [822] |
| 0000000 1 |
| .names i_23_ [136] [122] [787] [807] [809] [821] [822] [824] |
| 01111111 1 |
| .names i_59_ i_58_ i_56_ [827] |
| 000 1 |
| .names i_61_ i_62_ i_55_ i_54_ i_60_ i_53_ [828] |
| 000000 1 |
| .names i_50_ i_5_ i_45_ i_46_ i_47_ i_43_ i_51_ [830] |
| 0010000 1 |
| .names i_40_ i_39_ i_46_ i_60_ [834] |
| 0001 1 |
| .names i_30_ i_28_ i_58_ i_56_ i_60_ i_29_ [841] |
| 000001 1 |
| .names i_10_ i_8_ i_14_ i_25_ i_11_ i_24_ i_15_ i_43_ [842] |
| 00000000 1 |
| .names i_7_ i_8_ i_6_ i_15_ i_51_ [845] |
| 00000 1 |
| .names i_10_ i_14_ i_39_ i_11_ i_35_ i_37_ [846] |
| 000000 1 |
| .names i_61_ i_40_ i_3_ i_4_ i_0_ i_55_ i_41_ i_42_ [851] |
| 00000001 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_6_ i_28_ i_25_ i_26_ i_24_ [864] |
| 10000 1 |
| .names i_40_ i_30_ i_7_ i_8_ i_39_ i_41_ i_29_ i_37_ [865] |
| 00000010 1 |
| .names i_63_ i_64_ i_57_ i_46_ i_47_ i_43_ [871] |
| 000000 1 |
| .names i_50_ i_62_ i_49_ i_45_ i_56_ i_48_ i_37_ [872] |
| 0000000 1 |
| .names i_61_ i_55_ i_52_ [874] |
| 000 1 |
| .names i_59_ i_58_ i_54_ i_60_ i_53_ i_51_ [875] |
| 000000 1 |
| .names i_40_ i_39_ i_19_ i_41_ i_42_ [878] |
| 00100 1 |
| .names i_5_ i_1_ i_2_ [73] [136] [122] [807] [878] [881] |
| 00011111 1 |
| .names i_61_ i_59_ i_58_ i_55_ i_54_ i_60_ i_53_ i_51_ [889] |
| 00000000 1 |
| .names i_40_ i_39_ i_41_ i_42_ i_52_ [891] |
| 00000 1 |
| .names i_32_ i_36_ [72] [90] [136] [122] [787] [807] [895] |
| 10111111 1 |
| .names i_40_ i_3_ i_39_ i_0_ i_41_ i_37_ [899] |
| 000000 1 |
| .names i_61_ i_62_ i_58_ i_56_ i_55_ i_60_ i_35_ [905] |
| 1000000 1 |
| .names i_41_ i_42_ i_43_ [72] [797] [813] [814] [815] [909] |
| 00011111 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_30_ i_3_ i_28_ i_26_ i_43_ i_29_ [923] |
| 000001 1 |
| .names i_40_ i_39_ i_0_ i_41_ i_37_ [929] |
| 00100 1 |
| .names i_40_ i_30_ i_39_ i_28_ i_29_ i_37_ [932] |
| 000010 1 |
| .names i_30_ i_7_ i_8_ i_6_ i_3_ i_4_ i_0_ i_29_ [935] |
| 00000001 1 |
| .names i_34_ i_33_ i_42_ i_35_ [936] |
| 0000 1 |
| .names i_61_ i_62_ i_59_ i_58_ i_56_ i_55_ i_54_ i_60_ [939] |
| 00000010 1 |
| .names i_40_ i_39_ i_41_ i_42_ [941] |
| 0000 1 |
| .names i_40_ i_39_ i_41_ i_42_ [134] [871] [872] [889] [943] |
| 00001111 1 |
| .names i_16_ [73] [871] [872] [889] [891] [947] |
| 111111 1 |
| .names i_63_ i_64_ i_21_ i_57_ i_36_ [950] |
| 00100 1 |
| .names i_41_ i_42_ i_43_ [72] [83] [797] [800] [950] [952] |
| 00011111 1 |
| .names i_40_ i_39_ i_28_ i_25_ i_24_ i_29_ i_37_ [957] |
| 0000010 1 |
| .names i_21_ i_36_ [90] [134] [136] [122] [787] [941] [963] |
| 00111111 1 |
| .names i_5_ i_1_ i_2_ i_31_ i_34_ i_33_ i_35_ [966] |
| 0100000 1 |
| .names i_41_ i_42_ i_43_ [781] [782] [797] [966] [968] |
| 0001111 1 |
| .names i_62_ i_58_ i_56_ i_60_ i_35_ [969] |
| 00001 1 |
| .names i_40_ i_39_ i_41_ i_42_ i_43_ i_37_ [971] |
| 000000 1 |
| .names i_10_ i_14_ i_11_ i_15_ [972] |
| 0000 1 |
| .names i_50_ i_2_ i_17_ i_46_ i_47_ [978] |
| 01000 1 |
| .names i_9_ i_5_ i_45_ i_54_ i_53_ i_51_ [979] |
| 000000 1 |
| .names i_40_ i_7_ i_8_ i_6_ i_39_ i_37_ [985] |
| 000000 1 |
| .names i_30_ i_28_ i_25_ i_26_ i_24_ i_22_ i_41_ i_29_ [986] |
| 00000101 1 |
| .names i_50_ i_46_ i_47_ i_34_ i_33_ i_35_ i_51_ [991] |
| 0000100 1 |
| .names i_10_ i_14_ i_22_ i_15_ i_41_ [996] |
| 00000 1 |
| .names i_7_ i_8_ i_6_ i_25_ i_11_ i_18_ i_24_ [997] |
| 0000010 1 |
| .names i_50_ i_49_ i_51_ [999] |
| 010 1 |
| .names i_40_ i_3_ i_39_ i_0_ i_41_ i_51_ i_37_ [1003] |
| 0000010 1 |
| .names i_9_ i_10_ i_11_ i_46_ i_47_ i_43_ [1009] |
| 000000 1 |
| .names [136] [772] [773] [787] [813] [814] [815] [1013] |
| 1111111 1 |
| .names i_50_ i_17_ i_46_ i_47_ i_35_ i_51_ [1014] |
| 010000 1 |
| .names i_50_ i_49_ i_48_ i_54_ i_53_ i_51_ [1017] |
| 001000 1 |
| .names i_31_ i_54_ i_53_ i_51_ [1020] |
| 1000 1 |
| .names i_34_ i_33_ i_41_ i_42_ i_35_ i_43_ [1021] |
| 000000 1 |
| .names i_62_ i_58_ i_56_ i_55_ i_60_ i_35_ [1026] |
| 000100 1 |
| .names i_39_ i_59_ i_34_ i_35_ i_51_ i_37_ [1029] |
| 001000 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_50_ i_8_ i_58_ i_46_ i_56_ i_47_ i_60_ i_43_ [1041] |
| 01000000 1 |
| .names i_23_ n_n303 [136] [122] [787] [797] [807] [809] [1043] |
| 11111111 1 |
| .names i_50_ i_58_ i_46_ i_56_ i_47_ i_60_ i_43_ [1046] |
| 0000100 1 |
| .names i_50_ i_58_ i_46_ i_56_ i_60_ i_43_ [1047] |
| 000100 1 |
| .names i_30_ i_10_ i_14_ i_25_ i_11_ i_24_ i_15_ [1052] |
| 1000000 1 |
| .names i_38_ [124] n_n387 [871] [872] [889] [891] [1054] |
| 1111111 1 |
| .names i_40_ i_39_ i_41_ i_42_ i_38_ i_44_ [1058] |
| 000001 1 |
| .names [124] n_n387 [871] [872] [874] [875] [1058] [1060] |
| 1111111 1 |
| .end |
