| .model top |
| .inputs _9 _8 _7 _6 _5 _4 _3 _2 _1 |
| .outputs _52 |
| .names [603] [604] [605] _52 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names _4 [117] [578] n_n102 |
| 01- 1 |
| 0-1 1 |
| .names _2 [99] [100] n_n104 |
| 01- 1 |
| 0-1 1 |
| .names _9 [33] [592] n_n101 |
| 01- 1 |
| 0-1 1 |
| .names _9 [16] [599] n_n100 |
| 11- 1 |
| 1-1 1 |
| .names _5 _4 [1] |
| 01 1 |
| 10 1 |
| .names _3 _2 [51] |
| 01 1 |
| 10 1 |
| .names _8 [55] [559] [52] |
| --1 1 |
| 11- 1 |
| .names _3 [61] [568] [59] |
| --1 1 |
| 01- 1 |
| .names _8 _7 [27] |
| 10 1 |
| .names _8 _7 n_10 |
| 01 1 |
| 10 1 |
| .names _7 _3 _2 [28] |
| 100 1 |
| .names _4 _1 [29] |
| 10 1 |
| .names _6 _5 [44] |
| 01 1 |
| .names _6 _5 _4 [12] |
| 01- 1 |
| -01 1 |
| .names _5 _3 [43] |
| 01 1 |
| .names _8 _7 [45] |
| 00 1 |
| .names _7 _6 [46] |
| 10 1 |
| .names _6 _1 [48] |
| 10 1 |
| .names _6 _4 [49] |
| 01 1 |
| .names _4 _3 [50] |
| 10 1 |
| .names _9 [57] [558] [55] |
| --1 1 |
| 01- 1 |
| .names _9 _5 _3 [54] |
| 0-1 1 |
| -10 1 |
| .names _6 [58] [557] [57] |
| --1 1 |
| 11- 1 |
| .names [43] [170] [171] [58] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [143] [144] [566] [61] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names _7 _5 [49] [65] |
| --1 1 |
| 01- 1 |
| 10- 1 |
| .names _4 [64] [147] [63] |
| --1 1 |
| 01- 1 |
| .names [27] [29] [153] [62] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names _8 _5 _1 [64] |
| -01 1 |
| 1-0 1 |
| .names _9 _3 _1 [75] |
| 01- 1 |
| 1-0 1 |
| .names _8 _7 _5 [81] |
| 10- 1 |
| -10 1 |
| .names _8 _4 _1 [83] |
| 10- 1 |
| -10 1 |
| .names [28] [93] [135] [85] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [17] [18] [19] [89] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1] [51] [600] [2] |
| 111 1 |
| .names _8 _7 [593] [14] |
| 011 1 |
| 101 1 |
| .names [45] [22] [598] [16] |
| 11- 1 |
| 1-1 1 |
| .names _4 _1 [594] [17] |
| 011 1 |
| 101 1 |
| .names _5 _3 [595] [18] |
| 011 1 |
| .names _8 _7 [596] [19] |
| 011 1 |
| 101 1 |
| .names _3 [12] [25] [22] |
| 11- 1 |
| 1-1 1 |
| .names _4 _3 _2 [23] |
| 101 1 |
| .names _6 _5 _1 [24] |
| 110 1 |
| .names _4 _2 [25] |
| 01 1 |
| .names _5 _4 [584] [30] |
| 011 1 |
| .names _3 [34] [35] [31] |
| 11- 1 |
| 1-1 1 |
| .names _5 [36] [37] [32] |
| 11- 1 |
| 1-1 1 |
| .names _6 [42] [590] [33] |
| 11- 1 |
| 1-1 1 |
| .names _8 _7 [585] [34] |
| 001 1 |
| .names _6 _4 [81] [35] |
| 011 1 |
| .names _6 _4 [586] [36] |
| 011 1 |
| .names _7 _6 [83] [37] |
| 101 1 |
| .names _7 _5 [587] [40] |
| 101 1 |
| .names _5 [95] [96] [42] |
| 11- 1 |
| 1-1 1 |
| .names _8 _5 _2 [93] |
| 100 1 |
| .names _8 _3 _2 [95] |
| 001 1 |
| .names _2 n_10 [97] [96] |
| 01- 1 |
| 0-1 1 |
| .names _4 _1 [97] |
| 01 1 |
| .names _4 [101] [102] [99] |
| 11- 1 |
| 1-1 1 |
| .names _1 [580] [581] [100] |
| 11- 1 |
| 1-1 1 |
| .names _6 _5 [75] [101] |
| 011 1 |
| .names _5 _3 [48] [102] |
| 011 1 |
| .names [1] n_10 [579] [105] |
| 1-1 1 |
| -11 1 |
| .names _6 [109] [110] [106] |
| 11- 1 |
| 1-1 1 |
| .names _6 _5 [50] [107] |
| 011 1 |
| .names _8 _7 _4 [109] |
| 001 1 |
| .names _5 _4 _3 [110] |
| 001 1 |
| .names [118] [119] [570] [115] |
| 1-1 1 |
| -11 1 |
| .names [28] [135] [572] [116] |
| 1-1 1 |
| -11 1 |
| .names _3 [121] [577] [117] |
| 11- 1 |
| 1-1 1 |
| .names _8 _5 [118] |
| 01 1 |
| .names _9 _6 [119] |
| 01 1 |
| .names [134] [573] [574] [120] |
| 1-1 1 |
| -11 1 |
| .names _2 [123] [124] [121] |
| 01- 1 |
| 0-1 1 |
| .names _9 [128] [129] [122] |
| 01- 1 |
| 0-1 1 |
| .names _8 _7 _1 [123] |
| 110 1 |
| .names _1 [125] [576] [124] |
| 11- 1 |
| 1-1 1 |
| .names _9 _8 [125] |
| 10 1 |
| .names _7 _6 _5 [128] |
| 110 1 |
| .names _8 _7 _2 [129] |
| 011 1 |
| 101 1 |
| .names _8 _7 [134] |
| 01 1 |
| .names _7 _5 _2 [135] |
| 001 1 |
| .names [140] [141] [562] [138] |
| 1-1 1 |
| -11 1 |
| .names _6 _3 _1 [140] |
| 110 1 |
| .names _7 _6 _1 [141] |
| 101 1 |
| .names _9 _8 [65] [143] |
| 011 1 |
| .names _9 [63] [144] |
| 11 1 |
| .names [29] [46] [153] [145] |
| 11- 1 |
| -11 1 |
| .names _7 _6 _5 [147] |
| 001 1 |
| .names _9 _8 [153] |
| 10 1 |
| .names _8 [158] [159] [156] |
| 01- 1 |
| 0-1 1 |
| .names _6 _4 [54] [158] |
| 111 1 |
| .names _5 _3 [552] [159] |
| 011 1 |
| .names _9 [28] [165] [163] |
| 11- 1 |
| 1-1 1 |
| .names _6 _5 _3 [165] |
| 001 1 |
| .names _7 _4 _3 [167] |
| 101 1 |
| .names _5 _4 _3 [169] |
| 110 1 |
| .names _7 _2 [170] |
| 10 1 |
| .names _7 _4 [171] |
| 01 1 |
| .names _4 _7 [549] |
| 10 1 |
| .names _5 _3 _2 [550] |
| 011 1 |
| .names _7 _9 [552] |
| 11 1 |
| .names _3 _7 [553] |
| 10 1 |
| .names [169] [167] [557] |
| 1- 1 |
| -1 1 |
| .names [44] [163] [553] [558] |
| -1- 1 |
| 1-1 1 |
| .names [156] [549] [550] [559] |
| 1-- 1 |
| -11 1 |
| .names _6 _8 [560] |
| 00 1 |
| .names _4 _3 _1 [561] |
| 110 1 |
| .names _4 _5 [562] |
| 00 1 |
| .names _5 _6 [563] |
| 01 1 |
| .names [62] [145] [563] [566] |
| -1- 1 |
| 1-1 1 |
| .names [138] [560] [561] [568] |
| 1-- 1 |
| -11 1 |
| .names _7 _3 _2 [570] |
| 101 1 |
| .names _1 _8 [572] |
| 11 1 |
| .names _7 _6 _2 [573] |
| 01- 1 |
| -01 1 |
| .names _1 _5 [574] |
| 01 1 |
| .names _8 _7 _5 [576] |
| 10- 1 |
| -10 1 |
| .names [122] [120] [577] |
| 1- 1 |
| -1 1 |
| .names [116] [115] [578] |
| 1- 1 |
| -1 1 |
| .names _3 _9 [579] |
| 01 1 |
| .names n_10 [12] [107] [580] |
| --1 1 |
| 11- 1 |
| .names [106] [105] [581] |
| 1- 1 |
| -1 1 |
| .names _8 _7 _2 [584] |
| 110 1 |
| .names _1 _2 [585] |
| 11 1 |
| .names _2 _8 [586] |
| 10 1 |
| .names _4 _8 [587] |
| 10 1 |
| .names _1 [85] [40] [590] |
| --1 1 |
| 11- 1 |
| .names [30] [31] [32] [592] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names _6 _5 _4 [593] |
| 001 1 |
| 010 1 |
| .names _3 _7 [594] |
| 00 1 |
| .names _4 _8 [595] |
| 00 1 |
| .names _1 _2 [596] |
| 00 1 |
| .names [24] [23] [598] |
| 1- 1 |
| -1 1 |
| .names _6 [89] [14] [599] |
| --1 1 |
| 11- 1 |
| .names _1 _6 [600] |
| 10 1 |
| .names _1 n_n100 [52] [603] |
| -1- 1 |
| 0-1 1 |
| .names _2 n_n102 [59] [604] |
| -1- 1 |
| 1-1 1 |
| .names n_n104 n_n101 [2] [605] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .end |
