.model opa
.inputs v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16
.outputs v17.0 v17.1 v17.2 v17.3 v17.4 v17.5 v17.6 v17.7 v17.8 v17.9 v17.10 \
v17.11 v17.12 v17.13 v17.14 v17.15 v17.16 v17.17 v17.18 v17.19 v17.20 v17.21 \
v17.22 v17.23 v17.24 v17.25 v17.26 v17.27 v17.28 v17.29 v17.30 v17.31 v17.32 \
v17.33 v17.34 v17.35 v17.36 v17.37 v17.38 v17.39 v17.40 v17.41 v17.42 v17.43 \
v17.44 v17.45 v17.46 v17.47 v17.48 v17.49 v17.50 v17.51 v17.52 v17.53 v17.54 \
v17.55 v17.56 v17.57 v17.58 v17.59 v17.60 v17.61 v17.62 v17.63 v17.64 v17.65 \
v17.66 v17.67 v17.68
.names v7 v8 v9 [313] v17.12
0101 1
.names v7 [349] v17.13
01 1
.names v7 v8 v9 [313] v17.11
1101 1
.names v7 v10 [349] [72]
111 1
.names v7 v10 [349] [73]
101 1
.names v7 v10 [345] [74]
011 1
.names v7 v10 [345] [75]
001 1
.names v7 [345] [76]
11 1
.names v5 [299] v17.9
10 1
.names v6 [294] [326] v17.10
001 1
.names v1 v10 [351] [89]
111 1
.names v1 v10 [351] [94]
101 1
.names [297] [346] v17.53
01 1
.names v1 v2 [143] v17.6
101 1
.names v13 [296] [298] [301] [103]
0101 1
.names v1 [300] [104]
10 1
.names v2 [143] [105]
11 1
.names v10 [292] [340] [106]
101 1
.names v4 v6 [297] [304] [109]
0001 1
.names v10 [292] [340] [110]
001 1
.names v2 v3 [353] [112]
101 1
.names [292] [315] [350] v17.7
011 1
.names v13 [296] [298] [301] [114]
1101 1
.names v2 v5 v6 [301] [115]
1011 1
.names v6 [355] [119]
01 1
.names v1 [290] [314] v17.4
001 1
.names v1 [327] [347] v17.5
111 1
.names v6 [294] [351] [122]
001 1
.names v1 [290] [292] v17.3
000 1
.names v10 [356] [124]
11 1
.names v10 [356] [125]
01 1
.names v1 v3 [288] [289] [126]
1000 1
.names v4 v10 [291] [127]
010 1
.names [298] [346] [128]
01 1
.names v5 [296] [315] [129]
111 1
.names v6 [355] [130]
11 1
.names v5 [314] [315] [131]
111 1
.names v10 [326] [132]
11 1
.names v1 v17.43 v17.45
11 1
.names v4 v10 [291] [135]
000 1
.names v3 v6 [317] [136]
110 1
.names v6 [314] [340] [137]
011 1
.names v10 [326] [138]
01 1
.names [292] [301] [337] [140]
011 1
.names [347] [353] [141]
11 1
.names [296] [353] [142]
11 1
.names v3 v6 [327] [143]
101 1
.names v1 v10 [295] [144]
010 1
.names v1 v10 [295] [145]
000 1
.names v3 [290] [146]
00 1
.names v5 [295] [147]
00 1
.names [103] v17.19 [316] [321] [334] [344] v17.0
1----- 1
-1---- 1
--1--- 1
---1-- 1
----0- 1
-----1 1
.names [152] [246] [258] v17.58 [344] v17.1
0---- 1
-0--- 1
--0-- 1
---1- 1
----1 1
.names [114] [122] [132] [138] [176] v17.50 [318] [329] [338] [352] [152]
0000100011 1
.names [152] v17.2
0 1
.names [103] [114] v17.8
1- 1
-1 1
.names [128] [130] [131] [137] [140] [176]
00000 1
.names [176] v17.14
0 1
.names v10 [73] [75] [94] [105] [110] [125] v17.45 [135] [136] [138] [145] \
[290] [329] [332] [334] [342] [178]
100000000000-0010 1
-0000000000010010 1
.names [178] v17.15
0 1
.names v10 [72] [74] [89] [106] [124] [127] [132] [144] [300] v17.16
-1-------- 1
--1------- 1
---1------ 1
----1----- 1
-----1---- 1
------1--- 1
-------1-- 1
--------1- 1
1--------0 1
.names v17.10 [128] [131] [137] [140] [143] [147] v17.8 [329] [338] v17.17
1--------- 1
-1-------- 1
--1------- 1
---1------ 1
----1----- 1
-----1---- 1
------1--- 1
-------1-- 1
--------1- 1
---------0 1
.names [328] [343] v17.18
1- 1
-1 1
.names v17.58 [322] v17.19
1- 1
-1 1
.names [122] [136] [316] v17.20
1-- 1
-1- 1
--1 1
.names [76] [109] [302] [308] [352] [190]
00101 1
.names [190] v17.21
0 1
.names v1 v3 v11 [327] [329] [331] v17.22
----1- 1
-----0 1
1111-- 1
.names [105] v17.5 [331] [194]
001 1
.names [194] v17.23
0 1
.names v17.7 [303] [327] v17.24
1-- 1
-11 1
.names v17.6 [114] [122] [132] [138] [176] [318] [338] [342] [352] [198]
0000010101 1
.names [198] v17.25
0 1
.names [103] [141] [142] v17.29 v17.58 [321] [334] [344] v17.26
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------0- 1
-------1 1
.names [115] v17.45 v17.8 [198] [332] v17.27
1---- 1
-1--- 1
--1-- 1
---0- 1
----1 1
.names [115] v17.18 [198] [332] v17.28
1--- 1
-1-- 1
--0- 1
---1 1
.names [194] v17.24 v17.29
0- 1
-1 1
.names [89] [94] v17.5 v17.45 v17.8 v17.19 v17.38 [348] v17.30
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------0 1
.names v17.53 [325] v17.31
1- 1
-1 1
.names v17.11 [147] v17.20 [190] v17.31 [338] [341] [348] v17.32
1------- 1
-1------ 1
--1----- 1
---0---- 1
----1--- 1
-----0-- 1
------1- 1
-------0 1
.names v17.13 v17.41 v17.33
1- 1
-1 1
.names v1 v6 v12 [129] [289] [291] [295] [297] [304] [318] [326] [356] v17.34
---------1-- 1
--11-------- 1
-----0-0---- 1
--1--------1 1
--1----01--- 1
-11-------1- 1
1-1-0-0----- 1
.names [104] [318] [323] [341] v17.35
1--- 1
-1-- 1
--1- 1
---1 1
.names v1 [104] [147] v17.36
-1- 1
1-1 1
.names [104] v17.36 [300] [308] v17.37
---1 1
01-- 1
-00- 1
.names [226] [232] v17.38
0- 1
-0 1
.names v1 [112] [146] [291] [318] [226]
1-0-0 1
-0010 1
.names [226] v17.39
0 1
.names v17.12 [146] [304] [350] v17.40
1--- 1
-011 1
.names v17.12 v17.43 v17.41
1- 1
-1 1
.names [112] [146] [291] [298] [341] [232]
-0-10 1
001-0 1
.names [232] v17.42
0 1
.names v4 v5 [304] v17.43
011 1
.names [232] v17.43 v17.44
0- 1
-1 1
.names v17.45 [146] v17.41 v17.46
-1- 1
0-1 1
.names v1 v2 v6 [109] [112] [147] v17.41 [304] [326] [350] v17.47
---1------ 1
----1----- 1
------1--- 1
-1---1---- 1
-------1-1 1
1-1-----1- 1
.names v17.13 v17.11 v17.5 v17.20 [299] [325] [348] v17.48
1------ 1
-1----- 1
--1---- 1
---1--- 1
----0-- 1
-----1- 1
------0 1
.names v17.50 [332] [334] [246]
001 1
.names [246] v17.49
0 1
.names [76] [136] [143] v17.50
1-- 1
-1- 1
--1 1
.names v17.6 [105] [342] v17.51
1-- 1
-1- 1
--1 1
.names [246] [303] [327] v17.52
0-- 1
-11 1
.names [128] v17.8 [325] [343] v17.54
1--- 1
-1-- 1
--1- 1
---1 1
.names [131] v17.8 [325] [343] [258]
0000 1
.names [258] v17.55
0 1
.names v5 [119] [130] [289] [325] [336] v17.56
-1---- 1
--1--- 1
----1- 1
1--0-1 1
.names v12 [346] [355] v17.57
11- 1
1-1 1
.names [106] [110] v17.58
1- 1
-1 1
.names [109] [129] [339] [266]
001 1
.names [266] v17.59
0 1
.names [126] [302] v17.60
1- 1
-0 1
.names v17.61
.names v17.62
.names v17.63
.names v17.64
.names v17.65
.names v17.66
.names v17.67
.names v17.68
.names v0 v4 [286]
1- 1
-0 1
.names v0 v3 [287]
1- 1
-1 1
.names v5 [286] [288]
0- 1
-1 1
.names v2 v6 [289]
1- 1
-0 1
.names v6 [288] [290]
1- 1
-1 1
.names [287] [289] [291]
1- 1
-1 1
.names v2 v3 [292]
0- 1
-0 1
.names v1 v4 [294]
0- 1
-1 1
.names v3 [286] [295]
1- 1
-1 1
.names v6 [292] [296]
10 1
.names v1 v5 [297]
1- 1
-1 1
.names v1 v5 [298]
1- 1
-0 1
.names [291] [294] [299]
1- 1
-1 1
.names v6 [295] [300]
1- 1
-1 1
.names v0 v4 [301]
00 1
.names v3 [115] [302]
1- 1
-0 1
.names v1 [296] [303]
11 1
.names v2 [287] [304]
10 1
.names [72] [73] [307]
1- 1
-1 1
.names [74] [75] [308]
1- 1
-1 1
.names v12 v14 v15 v16 [288] [303] [313]
000001 1
.names v2 v3 [314]
01 1
.names v0 [294] [315]
00 1
.names v1 [142] [290] [292] [316]
-1-- 1
1-00 1
.names [286] [297] [317]
1- 1
-1 1
.names [147] [308] [318]
1- 1
-1 1
.names v8 [313] [319]
01 1
.names v2 [287] [320]
00 1
.names [119] [340] [347] [321]
1-- 1
-11 1
.names v1 [141] [290] [314] [322]
-1-- 1
1-01 1
.names [144] [145] [323]
1- 1
-1 1
.names [137] [307] [325]
1- 1
-1 1
.names v5 [304] [326]
01 1
.names v5 [286] [327]
00 1
.names [126] [129] [328]
1- 1
-1 1
.names v17.5 v17.24 [329]
1- 1
-1 1
.names [292] [317] [331]
1- 1
-1 1
.names [316] [322] [332]
1- 1
-1 1
.names v17.4 v17.3 [334]
00 1
.names v3 [301] [336]
11 1
.names v6 [298] [337]
00 1
.names [127] [135] [146] [323] [338]
0000 1
.names [124] [125] [339]
00 1
.names v5 [315] [340]
01 1
.names [266] v17.60 [341]
0- 1
-1 1
.names [76] [314] [317] [342]
1-- 1
-10 1
.names [130] [321] [343]
1- 1
-1 1
.names v17.45 [328] [344]
1- 1
-1 1
.names v9 [319] [345]
11 1
.names [301] [314] [346]
11 1
.names v3 [289] [347]
10 1
.names [140] [246] [348]
01 1
.names v9 [319] [349]
01 1
.names v5 v6 [350]
10 1
.names v5 [320] [351]
01 1
.names [307] [339] [352]
01 1
.names v1 [288] [353]
00 1
.names [297] [336] [355]
01 1
.names v4 [320] [337] [356]
011 1
.end
