.model top
.inputs pa1 pb2 pc3 pd4 pe5 pp pa0 pb3 pc2 pd5 pe4 pq pa3 pb0 pc1 pf4 pg5 pr \
pa2 pb1 pc0 pf5 pg4 ps pa5 pd0 pe1 pf2 pg3 pt pa4 pd1 pe0 pf3 pg2 pu pb4 pc5 \
pd2 pe3 pf0 pg1 pv pb5 pc4 pd3 pe2 pf1 pg0 pw ph0 pi1 pj2 pk3 pl4 pm5 ph1 pi0 \
pj3 pk2 pl5 pm4 py ph2 pi3 pj0 pk1 pn4 po5 pz ph3 pi2 pj1 pk0 pn5 po4 ph4 pi5 \
pl0 pm1 pn2 po3 ph5 pi4 pl1 pm0 pn3 po2 pj4 pk5 pl2 pm3 pn0 po1 pj5 pk4 pl3 \
pm2 pn1 po0 pp0 pq1 pr2 ps3 pt4 pa pp1 pq0 pr3 ps2 pu4 pb pp2 pq3 pr0 ps1 pv4 \
pc pp3 pq2 pr1 ps0 pw4 pd pp4 pq5 pt0 pu1 pv2 pw3 pe pp5 pq4 pt1 pu0 pv3 pw2 \
pf pr4 pt2 pu3 pv0 pw1 pg pr5 ps4 pt3 pu2 pv1 pw0 ph px0 py1 pz2 pi px1 py0 \
pz3 pj px2 py3 pz0 pk px3 py2 pz1 pl px4 pm py4 pn pz4 po
.outputs pf6 pg7 ph8 pi9 pq10 pf7 pg6 ph9 pi8 pp10 pd6 pe7 pj8 pk9 ps10 pd7 \
pe6 pj9 pk8 pr10 pb6 pc7 pl8 pm9 pu10 pb7 pc6 pl9 pm8 pt10 pa7 pn8 po9 pw10 \
pa6 pn9 po8 pv10 pa9 pn6 po7 py10 pa8 pn7 po6 px10 pb8 pc9 pl6 pm7 pb9 pc8 pl7 \
pm6 pd8 pe9 pj6 pk7 pd9 pe8 pj7 pk6 pf8 pg9 ph6 pi7 pf9 pg8 ph7 pi6 pa10 pu5 \
pv6 pw7 px8 py9 pt5 pv7 pw6 px9 py8 pc10 pt6 pu7 pw5 pz8 pb10 pt7 pu6 pv5 pz9 \
pe10 pr6 ps7 pd10 pr7 ps6 pg10 pp6 pq7 ps5 pf10 pp7 pq6 pi10 pp8 pq9 ph10 pp9 \
pq8 pk10 pr8 ps9 pj10 pr9 ps8 pm10 pt8 pu9 py5 pz6 pl10 pt9 pu8 px5 pz7 po10 \
pv8 pw9 px6 py7 pn10 pv9 pw8 px7 py6 pz5
.names py0 [304] [324] [3687] [3691] pf6
101-0 1
000-0 1
1-100 1
0-000 1
.names [153] [3712] [3713] [3715] pg7
---1 1
1-1- 1
-11- 1
.names pg nt20 [486] [1094] [1095] ph8
---1- 1
----1 1
10--- 1
-00-- 1
.names [154] [3744] [3745] [3747] pi9
---1 1
1-1- 1
-11- 1
.names pz pk5 pj5 nm53 pq10
0-11 1
0000 1
.names pb [332] pf7
01 1
.names [334] [304] [3687] [3691] pg6
10-0 1
1-00 1
.names pz [335] ph9
01 1
.names pb3 pg nt20 [486] nh32 pi8
-10-- 1
--00- 1
0-1-1 1
1-1-0 1
.names [338] [304] [3687] [3691] pd6
10-0 1
1-00 1
.names px1 nk20 nz24 nd21 [3765] pe7
----1 1
111-- 1
11-1- 1
0100- 1
.names pm1 pl1 pn1 pb [340] pj8
0--01 1
-1-01 1
--101 1
.names pd4 pz pk9
0- 1
-1 1
.names pz nk40 no49 nm53 [3777] ps10
0---1 1
00-0- 1
0-10- 1
.names pw1 nk20 [217] nd21 [3781] pd7
----1 1
110-- 1
11-1- 1
0110- 1
.names [344] [304] [3687] [3691] pe6
10-0 1
1-00 1
.names pc4 nl51 nu43 ng41 [3786] pj9
----1 1
111-- 1
11-1- 1
0100- 1
.names [176] [347] [1002] [3792] pk8
1--- 1
--1- 1
-1-1 1
.names pz pj5 [348] pr10
011 1
.names ps0 [491] [3798] [3800] [3809] pb6
----1 1
10-0- 1
1-00- 1
.names pv1 nk20 [221] nd21 [3812] pc7
----1 1
110-- 1
11-1- 1
0110- 1
.names pe3 nt20 ne19 [155] [3815] pl8
-00-- 1
11-1- 1
11--1 1
01-00 1
.names pd4 pe4 pf4 pz pm9
---1 1
0-1- 1
-01- 1
110- 1
.names pz nk40 no49 nm53 [3818] pu10
0---1 1
0100- 1
.names pb [143] [3823] [3824] [3825] pb7
0---1 1
01-1- 1
0-11- 1
.names pv0 [304] [3687] [3691] [3692] pc6
00-0- 1
0-001 1
11000 1
.names pd4 pe4 pz pl9
--1 1
01- 1
10- 1
.names pf3 ne52 [491] [3798] [3800] pm8
01--1 1
0111- 1
110-0 1
11-00 1
.names pa0 pz [493] [936] [3832] pt10
-0--1 1
100-- 1
-001- 1
.names pb pt1 px2 nk20 [143] pa7
0-10- 1
01-11 1
00-10 1
.names pg3 pf3 nc52 ne52 nj50 pn8
1-01- 1
11-11 1
10-10 1
00111 1
01110 1
.names pz pv3 [316] [367] nt50 po9
1---- 1
-11-- 1
-1--0 1
--011 1
.names pz pq5 pp5 pr5 [910] pw10
1---- 1
----1 1
-11-- 1
-1-1- 1
--11- 1
-000- 1
.names [3840] [3841] [3845] pa6
1-- 1
-1- 1
--1 1
.names pz pu3 [316] nt50 [3846] pn9
1---- 1
-11-- 1
-1-0- 1
--011 1
.names ph3 nc52 ne52 [889] [890] po8
101-- 1
1-11- 1
1-1-1 1
01100 1
.names pm5 pl5 pz pn5 pv10
--1- 1
00-0 1
.names pt3 ne52 nj50 [872] [3853] pa9
-00-- 1
11-1- 1
11--1 1
01-00 1
.names pi1 pk1 pj1 po1 [3686] pn6
1---- 1
-1--1 1
--0-1 1
---01 1
.names pb pu1 no19 no28 [857] po7
1---- 1
----1 1
-10-- 1
-1-0- 1
.names pq5 pp5 nw53 nx53 [3857] py10
11--1 1
-11-1 1
1-0-1 1
1--11 1
--111 1
-1-01 1
.names pg nt20 [486] [847] pa8
---1 1
10-- 1
-00- 1
.names pg2 pb nj26 pn7
-1- 1
0-1 1
1-0 1
.names ph1 no19 nu18 [3685] [3860] po6
-1--1 1
0-01- 1
.names pp5 pr5 nw53 nx53 [3861] px10
11--1 1
-11-1 1
1-0-1 1
1--11 1
--111 1
-1-01 1
.names pg nt20 [486] [3863] pb8
-1-1 1
001- 1
.names pz [385] pc9
01 1
.names pb pt1 no19 [387] no28 pm7
1---- 1
-10-- 1
-1--0 1
--111 1
.names pz pl3 pu3 nl51 ng41 pb9
0110- 1
0100- 1
011-1 1
0-111 1
0-010 1
.names pm1 pl1 pn1 pb [3870] pc8
0--01 1
-1-01 1
--101 1
.names pb ps1 no19 no28 [3871] pl7
1---- 1
-10-- 1
-1-0- 1
--111 1
.names pw2 nt20 nr20 [306] [307] pd8
110-- 1
0111- 1
011-1 1
11-00 1
.names px3 nl51 [227] ng41 [3875] pe9
----1 1
110-- 1
11-1- 1
0110- 1
.names pc1 pb1 ns16 [140] pj6
100- 1
1-01 1
0100 1
.names pb2 pc2 pd2 pb pk7
---1 1
0-1- 1
-01- 1
110- 1
.names pz pn3 nj51 [485] [801] pd9
0---1 1
011-- 1
01-0- 1
.names nt20 [794] [795] pe8
11- 1
1-1 1
.names pb2 pc2 pb pj7
--1 1
01- 1
10- 1
.names pc1 pb1 pd1 ns16 [140] pk6
0-10- 1
-010- 1
--101 1
11000 1
.names py2 nt20 [229] pf8
111 1
010 1
.names pz3 nl51 nx42 ng41 [3888] pg9
----1 1
111-- 1
11-1- 1
0100- 1
.names [404] [304] [3687] [3691] ph6
10-0 1
1-00 1
.names pb2 pb pi7
0- 1
-1 1
.names py3 nl51 [231] ng41 [3893] pf9
----1 1
110-- 1
11-1- 1
0110- 1
.names pg pz2 nt20 [486] nv31 pg8
1-0-- 1
--00- 1
-01-1 1
-11-0 1
.names pa2 nk20 nw25 nd21 [3898] ph7
----1 1
111-- 1
11-1- 1
0100- 1
.names pb1 [304] [140] [3687] [3691] pi6
101-0 1
000-0 1
1-100 1
0-000 1
.names [409] [303] [3900] [3903] pa10
10-0 1
1-00 1
.names [3907] [3908] [3912] pu5
1-- 1
-1- 1
--1 1
.names pm1 pl1 pn1 pb pv6
---1 1
000- 1
.names pj1 pa pp2 no28 pw7
0-1- 1
--11 1
10-0 1
.names pq3 nc52 ne52 nj50 [484] px8
--00- 1
101-- 1
1-1-0 1
011-1 1
.names pr4 [303] [3827] [3900] [3903] py9
00--0 1
0-100 1
11000 1
.names [3918] [3919] [3923] pt5
1-- 1
-1- 1
--1 1
.names pa2 pb no19 no28 [707] pv7
-1--- 1
----1 1
1-0-- 1
1--0- 1
.names pq1 pp1 pb pr1 [699] pw6
--1-- 1
----1 1
11--- 1
1--1- 1
-1-1- 1
00-0- 1
.names pc4 pz [316] nt50 [692] px9
-1--- 1
----1 1
1-1-- 1
1--0- 1
.names pm5 pl5 pz pn5 [421] py8
0-0-1 1
-10-1 1
--011 1
.names [425] [303] [3900] [3903] pc10
10-0 1
1-00 1
.names pb pc [508] [682] [3936] pt6
0---1 1
010-- 1
0-01- 1
.names pb no19 no28 [3941] [3942] pu7
1--11 1
-1111 1
.names pu [513] [3716] [3717] [3953] pw5
----1 1
10-0- 1
1-00- 1
.names pe0 ps3 ne52 [482] [160] pz8
1-0-- 1
--00- 1
-11-1 1
-01-0 1
.names pu4 [303] [434] [3900] [3903] pb10
101-0 1
000-0 1
1-100 1
0-000 1
.names pl2 pm2 nq19 [234] [3955] pt7
----1 1
010-- 1
-101- 1
1000- 1
.names pb [436] pu6
01 1
.names [3960] [3961] [3965] pv5
1-- 1
-1- 1
--1 1
.names [439] [303] [3900] [3903] pz9
10-0 1
1-00 1
.names px4 [303] [168] [3900] [3903] pe10
101-0 1
000-0 1
1-100 1
0-000 1
.names pl2 no19 no28 [234] [3966] ps7
----1 1
1111- 1
0110- 1
.names [442] [303] [3900] [3903] pd10
10-0 1
1-00 1
.names pk2 no19 no28 nm27 [3968] pr7
----1 1
0111- 1
1110- 1
.names pb nh20 [618] [619] ps6
01-- 1
0-1- 1
0--1 1
.names px4 py4 pz4 np47 [168] pg10
0-10- 1
-010- 1
--101 1
11000 1
.names pi1 pb no19 nu18 [3686] pp6
0--11 1
1011- 1
.names pb pw1 no19 no28 [609] pq7
1---- 1
----1 1
-10-- 1
-1-0- 1
.names [3978] [3979] [3983] ps5
1-- 1
-1- 1
--1 1
.names px4 py4 np47 [168] pf10
010- 1
-101 1
1000 1
.names pb pv1 no19 no28 [591] pp7
1---- 1
----1 1
-10-- 1
-1-0- 1
.names pj1 pb no28 [3986] pq6
---1 1
101- 1
000- 1
.names pe0 ne52 [482] [578] pp8
---1 1
10-- 1
-00- 1
.names pz pw3 [316] nt50 [573] pq9
1---- 1
----1 1
-11-- 1
-1-0- 1
.names pz pi4 ni44 pp9
1-- 1
-01 1
-10 1
.names pe0 ne52 [482] [3990] pq8
-1-1 1
001- 1
.names pd5 nt50 nr49 [3797] [3992] pk10
-1--1 1
0-01- 1
.names pm5 pl5 pz pn5 [3994] pr8
0-0-1 1
-10-1 1
--011 1
.names pz py3 [316] nt50 [561] ps9
1---- 1
----1 1
-11-- 1
-1-0- 1
.names pe5 pg5 po5 pi5 [3734] pj10
1---- 1
-0--1 1
--0-1 1
---11 1
.names pz px3 [316] nt50 [556] pr9
1---- 1
----1 1
-11-- 1
-1-0- 1
.names pl3 nc52 ne52 [185] [305] ps8
101-- 1
0110- 1
011-1 1
1-110 1
.names [204] [546] [3999] pm10
01- 1
0-1 1
.names pm5 pl5 pz pn5 nq38 pt8
0-0-0 1
-10-0 1
--010 1
.names pn4 [316] nt50 [239] [4000] pu9
----1 1
1011- 1
0010- 1
.names [4004] [4005] [4009] py5
1-- 1
-1- 1
--1 1
.names pb ps1 pw2 nk20 nd21 pz6
0110- 1
0010- 1
011-1 1
01-11 1
00-10 1
.names pe5 pz nt50 nr49 [3734] pl10
0--11 1
1011- 1
.names pm4 [316] nt50 nn45 [4014] pt9
----1 1
0011- 1
1010- 1
.names pn3 ne52 [240] pu8
111 1
010 1
.names [4020] [4021] [4025] px5
1-- 1
-1- 1
--1 1
.names ps2 nt20 nr20 [244] [245] pz7
110-- 1
11-1- 1
11--1 1
01100 1
.names pz ph5 [316] [204] po10
---1 1
001- 1
010- 1
.names pe0 po3 ne52 [482] nk39 pv8
1-0-- 1
--00- 1
-01-1 1
-11-0 1
.names pz [316] nt50 [4031] [4032] pw9
1--11 1
-0111 1
.names pp1 pr1 nu22 nt22 [4034] px6
11--1 1
1-1-1 1
-10-1 1
-1-11 1
--111 1
1--01 1
.names pr2 pq2 nt20 ne19 nr20 py7
1-1-0 1
1111- 1
1010- 1
00111 1
01101 1
.names pz [211] [4036] pn10
01- 1
0-1 1
.names pn4 po4 nv50 [239] [4037] pv9
----1 1
010-- 1
-101- 1
1000- 1
.names pe0 ne52 [482] [186] [187] pw8
10--- 1
-00-- 1
-1-1- 1
-1--1 1
.names pq2 nt20 [513] [3716] [3717] px7
01--1 1
0111- 1
110-0 1
11-00 1
.names pq1 pp1 nu22 nt22 [4041] py6
11--1 1
1-1-1 1
-10-1 1
-1-11 1
--111 1
1--01 1
.names [4045] [4046] [4050] pz5
1-- 1
-1- 1
--1 1
.names nh22 [304] [3687] [3689] [3690] ns16
----1 1
-11-- 1
0--1- 1
.names pm1 pl1 pn1 pb [514] nk20
1---1 1
-0--1 1
--1-1 1
---11 1
.names ph nh20 [514] [1138] [3702] [146]
101-- 1
-0100 1
.names pm1 pl1 pn1 pb nt20
0--0 1
-1-0 1
--10 1
.names pg nt20 [486] [176]
10- 1
-00 1
.names pm5 pl5 pz pn5 [485] nl51
1---1 1
-0--1 1
--1-1 1
---11 1
.names pf0 nj51 [485] [1090] [3732] [145]
101-- 1
-0100 1
.names pc3 py1 nk20 nd21 [197] [332]
1-0-- 1
-111- 1
-11-0 1
-0101 1
.names pz0 [304] [3692] [3755] [334]
1--1 1
110- 1
00-0 1
0-10 1
.names pa4 pr3 nl51 ng41 [198] [335]
-10-- 1
1-11- 1
1-1-0 1
0-101 1
.names pv0 pw0 [304] [3692] [338]
01-- 1
100- 1
10-1 1
-110 1
.names pw1 pv1 nv19 nt23 nr23 nz24
01--- 1
1-1-- 1
-00-- 1
1--0- 1
0---0 1
.names pc3 ne19 nr20 np31 nn31 [340]
1-0-- 1
10-1- 1
11--1 1
0010- 1
011-0 1
0-100 1
.names pv1 nv19 nt23 nr23 [217]
101- 1
01-1 1
.names pv0 pw0 px0 [304] [3692] [344]
0-1-- 1
-01-- 1
--110 1
1100- 1
110-1 1
.names pa4 pb4 nz50 nk42 nm42 nu43
01--- 1
1-1-- 1
-00-- 1
0--0- 1
1---0 1
.names pc3 ne19 nr20 np31 nn31 [347]
--0-- 1
11--- 1
00--- 1
1--1- 1
0---1 1
.names pm5 pl5 pz pn5 pk5 [348]
0---1 1
-0--1 1
--1-1 1
---11 1
11000 1
.names ps3 pr3 pq3 pp3 pt3 nk40
11111 1
.names [491] [3798] [3800] nc52
--1 1
11- 1
.names pm5 pl5 pz pn5 ne52
0-0- 1
-10- 1
--01 1
.names pg4 pi4 pp4 ni44 [3796] [316]
1-1-1 1
1111- 1
.names ps1 pu1 pt1 pk nv19 [221]
---11 1
---10 1
000-1 1
111-0 1
.names pm5 pl5 pz pn5 [316] nv50
----1 1
0101- 1
.names pg4 ph4 pi4 ni44 [3796] [367]
01--- 1
10--1 1
-10-0 1
-1-00 1
1011- 1
.names pz pq5 pp5 pr5 nc54
0001 1
0010 1
0100 1
.names pm5 pl5 pz pn5 nu53
1-0- 1
-10- 1
--01 1
.names pm1 pl1 pn1 pb no28 nq19
----0 1
0110- 1
.names pb2 pc2 pd2 pq1 pl nj26
---10 1
111-- 1
.names pm1 pl1 pn1 pb no19
1--- 1
-0-- 1
--0- 1
---1 1
.names pe1 pf1 nr18
0- 1
-1 1
.names pg [486] ne19
01 1
.names pw2 px2 py2 [319]
000 1
.names pm3 pv3 nl51 ng41 [201] [385]
1-0-- 1
-111- 1
-11-0 1
-0101 1
.names pf2 pg2 pe2 nj26 [3855] [387]
1-0-- 1
0-1-1 1
10--0 1
1--00 1
0111- 1
.names pw2 px2 py2 [318]
111 1
.names pi0 pw3 pv3 pu3 nz50 [227]
1---1 1
1---0 1
-0001 1
-1110 1
.names py3 px3 nz50 np41 nr41 nx42
01--- 1
1-1-- 1
-00-- 1
0--0- 1
1---0 1
.names pa1 pz0 [304] [3692] [3755] [404]
10--- 1
1---1 1
1-10- 1
010-0 1
01-10 1
.names px3 nz50 np41 nr41 [231]
011- 1
10-1 1
.names py1 pz1 nv19 nm24 no24 nw25
01--- 1
1-1-- 1
-00-- 1
0--0- 1
1---0 1
.names [303] nm53 [3900] [3901] [3902] np47
----1 1
1-1-- 1
-0-1- 1
.names pt4 pr4 ps4 [303] [3827] [409]
10--- 1
1-0-- 1
1--10 1
0110- 1
011-1 1
.names pm1 pl1 pn1 pb np22
1--0 1
-1-0 1
--10 1
.names pq1 pp1 pb pr1 nz22
0001 1
0100 1
1000 1
.names pr3 nc52 nj50 nb39 nd39 [421]
10--- 1
1-11- 1
1-0-1 1
1--11 1
0110- 1
010-0 1
.names pv4 [303] [3827] [3830] [425]
1--1 1
110- 1
00-0 1
0-10 1
.names pg2 pe2 pn2 nj26 [3855] no28
-0--- 1
--0-- 1
0---0 1
---00 1
.names pf nh22 [513] [512] [3716] nr20
1---- 1
-0-1- 1
--1-1 1
.names nh22 [649] [3933] [3934] [3956] [436]
----1 1
01--- 1
0-11- 1
.names pr4 ps4 [303] [3827] [439]
01-- 1
100- 1
10-1 1
-110 1
.names pv4 pw4 [303] [3827] [3830] [442]
01--- 1
-1--1 1
-110- 1
100-0 1
10-10 1
.names pj2 pk2 pl [287] [3924] [234]
-0--- 1
0-0-- 1
--01- 1
--0-1 1
.names pk1 pj1 po1 nu18
1-- 1
-0- 1
--0 1
.names pm1 pl1 pn1 pb nh20
0100 1
.names pd4 pe4 pf4 pj0 pq5 ni44
---01 1
111-- 1
.names pe0 [482] nj50
01 1
.names pn3 pm3 pl3 [314]
000 1
.names pa5 pb5 no49
0- 1
-1 1
.names pm5 pl5 pz pn5 nt50
1--- 1
-0-- 1
--1- 1
---0 1
.names pn3 pm3 pl3 [313]
111 1
.names pm5 pl5 pz pn5 [204]
0101 1
0100 1
.names pm3 pl3 nc52 [185] [305] nq38
0-0-- 1
01-1- 1
00--0 1
0--10 1
1110- 1
101-1 1
.names pg5 po5 pi5 nr49
0-- 1
-0- 1
--1 1
.names pl4 pm4 pj0 [293] [3927] [239]
-0--- 1
0-0-- 1
--01- 1
--0-1 1
.names pe5 pc5 nu53 nr49 [3734] [482]
--1-- 1
00-0- 1
00--0 1
.names pm1 pl1 pn1 pb nh22
0--- 1
-0-- 1
--1- 1
---1 1
.names pg1 pi1 nu18 [3686] [304]
000- 1
00-0 1
.names pm1 pl1 pn1 pb pd nu22
1---0 1
-1--0 1
--0-0 1
---10 1
.names ph0 nj50 [246] [883] [3913] [484]
1---- 1
-10-- 1
-0-11 1
.names pe5 pc5 nr49 [3734] [303]
000- 1
00-0 1
.names pe5 pc5 pg0 nr49 [3734] nz50
0000- 1
000-0 1
.names pi0 pw3 pv3 pu3 np41
1--- 1
-000 1
.names pi0 pw3 pv3 pu3 [3741] nk42
1---- 1
-0001 1
.names pl4 pj0 pj4 pk4 [293] nn45
-1--- 1
1-110 1
.names pm5 pl5 pz pn5 nj51
0100 1
.names pr4 nu53 nr50 [3727] [3728] [485]
0---- 1
-1--- 1
--0-- 1
---0- 1
----1 1
.names pm5 pl5 pz pn5 nm53
0--- 1
-0-- 1
--1- 1
---1 1
.names pg1 pi1 np22 nu18 [3686] [486]
--1-- 1
00-0- 1
00--0 1
.names [319] [318] nr20 [306] [307] nv31
1-11- 1
-11-1 1
.names pi0 pw3 pv3 pu3 nr41
1--- 1
-111 1
.names pi0 pw3 pv3 pu3 [3737] nm42
1---- 1
-1111 1
.names pe5 pd5 pc5 no49 nr49 [491]
1---- 1
-1--- 1
--1-- 1
-0-01 1
0--10 1
.names pm5 pl5 pn5 [493]
1-- 1
-1- 1
--1 1
.names pt4 pu4 pv4 nr50
000 1
.names pg1 pi1 pi nu18 [3686] nv19
0000- 1
000-0 1
.names px0 py0 pz0 nm19
000 1
.names pc0 pm5 pl5 pz pn5 nw53
00--- 1
0-0-- 1
0--1- 1
0---0 1
.names ph0 pj3 pi3 pp3 [511] [246]
-0--- 1
---1- 1
0-1-- 1
0---0 1
.names ph0 pi3 pq3 [511] [3850] nb39
--1-- 1
01--- 1
0--0- 1
0---1 1
.names ps1 pu1 pt1 pk nt23
---1 1
111- 1
.names ph0 pi3 pq3 [509] [3851] nd39
--0-- 1
00--- 1
0--0- 1
0---1 1
.names pj ne19 nr20 [252] [262] nh32
1-1-- 1
-010- 1
-11-0 1
.names ps1 pu1 pt1 pk nr23
---1 1
000- 1
.names pa4 nz50 nk42 nm42 [154]
11-- 1
0-0- 1
1--0 1
.names pa3 pv2 pt2 pj [507] [252]
0---- 1
-0--- 1
--00- 1
---00 1
.names pb3 pt2 pj [507] [3760] np31
0---- 1
-00-- 1
--00- 1
--0-1 1
.names pf0 pr4 ps4 nu53 [1090] ng41
01--- 1
0-0-- 1
0--1- 1
0---1 1
.names pp1 ps2 nh22 [1114] [3718] [505]
1-0-- 1
-0-1- 1
-00-1 1
.names pt2 pj [505] nn29
-1- 1
0-1 1
.names pq1 pr2 pq2 pj nh22 nf29
-11-- 1
1--00 1
.names pm1 pl1 pn1 pb pe nt22
0---0 1
-0--0 1
--0-0 1
---10 1
.names pp1 ps2 nh22 [1108] [3718] [507]
1-0-- 1
-1-1- 1
-10-1 1
.names pt2 pj [507] nq29
-1- 1
1-1 1
.names pm1 pl1 pn1 [508]
1-- 1
-1- 1
--1 1
.names ph3 pp5 nm53 [892] [3848] [509]
-10-- 1
1--1- 1
1-0-1 1
.names pb0 pm5 pl5 pz pn5 nx53
01--- 1
0-1-- 1
0--1- 1
0---0 1
.names pg3 pf3 ph0 pq5 nm53 nn36
00--- 1
--010 1
.names ph3 pp5 nm53 [894] [3848] [511]
-10-- 1
0--1- 1
0-0-1 1
.names pg3 pf3 ph0 pq5 nm53 nq36
11--- 1
--010 1
.names pj2 ph2 pi2 pl [287] nm27
---1- 1
111-0 1
.names pg1 pi1 ph1 nr18 nu18 [513]
1---- 1
-1--- 1
--1-- 1
--001 1
-0-10 1
.names pr1 pv0 [512]
0- 1
-1 1
.names pv0 np22 nm19 [3697] [3698] [514]
0---- 1
-1--- 1
--0-- 1
---0- 1
----1 1
.names nc52 [314] [313] [185] [305] nk39
1-10- 1
11--1 1
.names pq1 pr2 pq2 pj nh22 nc29
-00-- 1
1--00 1
.names pv0 pw0 ph np22 [1138] nd21
1-0-- 1
-00-- 1
--01- 1
--0-1 1
.names ps1 pu1 pt1 pk [3709] nm24
---1- 1
000-1 1
.names pa3 pt2 pu2 pj [505] [262]
1---- 1
--0-- 1
-1-0- 1
---00 1
.names pb3 pt2 pj [505] [3759] nn31
1---- 1
-10-- 1
--00- 1
--0-1 1
.names ps1 pu1 pt1 pk [3705] no24
---1- 1
111-1 1
.names py1 nv19 nm24 no24 [153]
11-- 1
0-0- 1
1--0 1
.names pa1 pz0 [304] [3692] [3755] [140]
0---- 1
-0--- 1
----1 1
--10- 1
.names ps1 ph nv19 [1138] [3702] [143]
1-1-- 1
0-0-- 1
-0-1- 1
-0--1 1
.names pt2 pg pj [486] [505] [306]
-011- 1
00-11 1
.names pt2 pg pj [486] [507] [307]
-11-- 1
--10- 1
11--1 1
1--01 1
.names pe0 ph0 pi3 [482] [509] [185]
-00-- 1
0--1- 1
-0--0 1
.names pe0 ph0 pi3 [482] [511] [305]
01-1- 1
0-011 1
.names pc3 pg [486] np31 nn31 [155]
1--1- 1
0---1 1
101-- 1
.names pr3 nc52 nj50 nb39 nd39 [160]
-0--- 1
1-1-- 1
0-0-- 1
0--1- 1
1---1 1
.names pv4 pw4 [303] [3827] [3830] [168]
0---- 1
-0--- 1
----1 1
--10- 1
.names pk nv19 no24 [1136] [3709] [197]
11--- 1
-01-- 1
-1-11 1
.names pi0 nz50 nm42 [1088] [3741] [198]
11--- 1
-01-- 1
-1-11 1
.names pu3 nz50 [201]
01 1
10 1
.names ps2 pg [486] nf29 nc29 [532]
01--- 1
0-0-- 1
1--0- 1
0---0 1
101-- 1
.names pj [315] [531]
1- 1
-0 1
.names pw2 nn29 [307] [785] [3883] [229]
---1- 1
----1 1
00--- 1
1-0-- 1
.names pf2 pg2 pe2 nj26 [3855] [287]
0---- 1
--0-- 1
-0--0 1
---00 1
.names pe0 ph3 [482] nn36 nq36 [536]
10--- 1
-00-- 1
-0-0- 1
-1--0 1
011-- 1
.names ph0 [317] [535]
1- 1
-0 1
.names pg4 ph4 pi4 ni44 [3796] [293]
0---- 1
-0--- 1
--0-0 1
---00 1
.names ph0 pi3 pl3 [511] [539]
--1- 1
01-- 1
0--0 1
.names pm3 nc52 [185] [539] [269] [240]
-0--- 1
----1 1
1-1-- 1
0--1- 1
.names pm1 pl1 pn1 pp1 pb [315]
11010 1
.names pm5 pl5 pz pn5 pp5 [317]
11001 1
.names pv0 pw0 px0 [304] [3692] [324]
0---- 1
-0--- 1
--0-- 1
---10 1
.names pt4 pr4 ps4 [303] [3827] [434]
0---- 1
-0--- 1
--0-- 1
---10 1
.names pt4 pu4 pp5 [501]
1-- 1
-1- 1
--0 1
.names pp1 px0 py0 [519]
0-- 1
-1- 1
--1 1
.names pg5 pp10
1 1
.names pa pl6
1 1
.names pe1 pm6
1 1
.names pj1 pr6
1 1
.names pa5 pi10
1 1
.names py ph10
1 1
.names pk3 pj3 [185] [305] [4038] [186]
1-0-1 1
-1-11 1
.names pp3 nc52 [185] [305] [4039] [187]
10--- 1
1---1 1
1-10- 1
.names pg5 pz ph5 [316] [204] [211]
1-1-- 1
11--0 1
1-000 1
.names pg nh22 [486] [1114] [3718] [244]
0110- 1
0-100 1
.names pg nh22 [486] [1108] [3718] [245]
11-0- 1
-100- 1
1--00 1
--000 1
.names pe0 pl3 [482] [269]
10- 1
-00 1
.names pf5 pz ph5 [316] [204] [546]
1-1-- 1
11--0 1
1-000 1
.names pj4 pk4 [316] nt50 [293] [556]
0101- 1
-1011 1
10010 1
.names pl4 [316] nt50 [293] [3927] [561]
1011- 1
101-1 1
00100 1
.names pj4 [316] nt50 [293] [573]
1011 1
0010 1
.names pi3 nc52 ne52 [536] [535] [578]
101-- 1
0110- 1
1-111 1
011-0 1
.names ph2 pi2 no19 no28 [287] [591]
0111- 1
-1111 1
10110 1
.names pj2 no19 no28 [287] [3924] [609]
1111- 1
111-1 1
01100 1
.names pe1 pf1 pm1 pl1 pn1 [618]
10100 1
.names nh22 [3933] [3934] [3970] [619]
0--1 1
011- 1
.names pc3 pe1 pe3 pd3 pf1 [649]
11110 1
.names pc3 pe3 pd3 po [667]
1111 1
.names pq pm1 pl1 pn1 pb [671]
1---1 1
1100- 1
.names pc1 pb1 pd1 pr1 [140] [682]
--10- 1
111-0 1
.names pn4 po4 pq4 nv50 [239] [692]
0-10- 1
-010- 1
--101 1
11000 1
.names pq1 pp1 pr1 nu22 nt22 [699]
1--0- 1
--1-0 1
111-- 1
-111- 1
11--1 1
-1-11 1
.names po2 pl2 pm2 nq19 [234] [707]
10-0- 1
1-00- 1
1--01 1
01100 1
.names pg px2 [486] [785]
10- 1
-00 1
.names pw2 ne19 nn29 nq29 [3879] [794]
011-1 1
10-11 1
.names pw2 px2 nr20 [306] [307] [795]
-10-- 1
01-0- 1
11--0 1
.names pw3 nl51 ng41 [805] [806] [801]
111-- 1
11-1- 1
11--1 1
01000 1
.names pv3 pu3 nz50 [805]
01- 1
0-0 1
.names pv3 pu3 nz50 [806]
10- 1
1-1 1
.names pt2 nt20 nr20 [532] [531] [847]
110-- 1
0110- 1
11-11 1
011-0 1
.names ph2 no19 no28 [287] [857]
1111 1
0110 1
.names pe0 ps3 [482] nd39 [872]
-1-1 1
011- 1
.names pi3 [509] [883]
11 1
.names pe0 [482] nm53 [892] [3848] [889]
1-10- 1
-010- 1
1--00 1
-0-00 1
.names pe0 [482] nm53 [894] [3848] [890]
0110- 1
01-00 1
.names pg3 pf3 [892]
11 1
.names pg3 pf3 [894]
00 1
.names pq5 pp5 pr5 nw53 nx53 [910]
--10- 1
1---0 1
111-- 1
11-1- 1
-11-1 1
-1-11 1
.names pr5 px4 py4 pz4 [168] [936]
0--1- 1
-1110 1
.names pm5 pl5 pz pn5 pr5 [938]
11001 1
.names pm5 pl5 pn5 [960]
111 1
001 1
.names pm5 pl5 pz pn5 po0 [982]
--1-1 1
10-01 1
.names pk0 po3 pn3 pt3 [3772] [985]
10101 1
.names pc3 ne19 np31 nn31 [3790] [1002]
100-1 1
01-01 1
.names pa5 pb5 pm5 pl5 pn5 [1027]
10100 1
.names pw3 pv3 pu3 [1084]
111 1
.names pw3 pv3 pu3 [1088]
000 1
.names pq5 pr5 nr50 [501] [3727] [1090]
--01- 1
00-1- 1
0--10 1
.names pv2 pu2 [306] [307] [3719] [1094]
-11-1 1
1--11 1
.names nr20 [306] [307] [3720] [3721] [1095]
0---1 1
---11 1
-00-1 1
.names pr2 pq2 [1108]
11 1
.names pr2 pq2 [1114]
00 1
.names ps1 pu1 pt1 [1132]
111 1
.names ps1 pu1 pt1 [1136]
000 1
.names pq1 pr1 nm19 [519] [3697] [1138]
--01- 1
00-1- 1
0--10 1
.names pm1 pl1 pn1 pb pr1 [1144]
11001 1
.names pe1 pf1 pi1 [3685]
0-0 1
-10 1
.names pe1 pf1 ph1 [3686]
100 1
.names ph1 np22 nu18 [3685] [3687]
001- 1
00-0 1
.names pv0 pr1 [3689]
11 1
.names pm1 pl1 pn1 pb [3690]
---1 1
0110 1
.names pr1 pv0 nh22 [3690] [3691]
---1 1
110- 1
.names ph1 nu18 [1144] [3685] [3692]
1--- 1
--1- 1
-0-1 1
.names pa1 pc1 pb1 [3697]
000 1
.names pw0 pd1 [3698]
1- 1
-1 1
.names pv0 pw0 np22 [3702]
1-- 1
-0- 1
--1 1
.names pw1 pv1 px1 [3705]
111 1
.names py1 pk [1132] [3705] [3706]
11-- 1
1-11 1
.names pw1 pv1 px1 [3709]
000 1
.names py1 pk [1136] [3709] [3710]
01-- 1
0-11 1
.names pz1 nv19 [3706] [3710] [3711]
001- 1
01-1 1
.names ph py1 nv19 [1138] [3702] [3712]
-00-- 1
0--1- 1
0---1 1
.names pz1 nh20 [514] [3713]
101 1
.names pd3 pb nh20 [514] [3714]
-1-- 1
1-1- 1
1--0 1
.names [146] [3711] [3714] [3715]
--1 1
11- 1
.names pv0 np22 nm19 [3697] [3698] [3716]
00110 1
.names pr1 pf pv0 nh22 [3717]
-1-- 1
0--0 1
--10 1
.names pj pq1 [3718]
01 1
.names pa3 nt20 [513] [3716] [3717] [3719]
01--1 1
0111- 1
.names pv2 pg pu2 [486] [3720]
01-- 1
0--0 1
-001 1
.names pa3 pm1 pl1 pn1 pb [3721]
10--0 1
1-1-0 1
1--10 1
.names pw4 px4 py4 [3727]
000 1
.names pz4 ps4 [3728]
1- 1
-1 1
.names pr4 ps4 nu53 [3732]
1-- 1
-0- 1
--1 1
.names pd5 pa5 pb5 [3734]
010 1
.names pz3 py3 px3 [3737]
111 1
.names pa4 pi0 [1084] [3737] [3738]
11-- 1
1-11 1
.names pz3 py3 px3 [3741]
000 1
.names pa4 pi0 [1088] [3741] [3742]
01-- 1
0-11 1
.names pb4 nz50 [3738] [3742] [3743]
001- 1
01-1 1
.names pa4 pf0 nz50 [1090] [3732] [3744]
0-0-- 1
-0-1- 1
-0--1 1
.names pb4 nj51 [485] [3745]
101 1
.names pz ps3 nj51 [485] [3746]
1--- 1
-11- 1
-1-0 1
.names [145] [3743] [3746] [3747]
--1 1
11- 1
.names pv0 pw0 px0 py0 [3755]
0--- 1
-0-- 1
--0- 1
---0 1
.names pu2 pa3 [3759]
0- 1
-1 1
.names pv2 pa3 [3760]
0- 1
-0 1
.names pb3 pb nh20 [514] [3765]
-1-- 1
1-1- 1
1--0 1
.names po3 pn3 pt3 [3771]
010 1
.names ps3 pr3 pq3 pp3 [3772]
0000 1
.names nj51 nm53 [1027] [3771] [3772] [3777]
1---- 1
--1-- 1
-0-11 1
.names pa3 pb nh20 [514] [3781]
-1-- 1
1-1- 1
1--0 1
.names pz pt3 nj51 [485] [3786]
1--- 1
-11- 1
-1-0 1
.names pd3 nt20 [513] [3716] [3717] [3790]
01--1 1
0111- 1
.names pd3 pm1 pl1 pn1 pb [3792]
10--0 1
1-1-0 1
1--10 1
.names pp5 pj0 [3796]
1- 1
-1 1
.names pe5 pa5 pb5 [3797]
00- 1
0-1 1
.names pr4 nu53 nr50 [3727] [3728] [3798]
00110 1
.names pd0 pk5 pj5 pr4 pr5 [3800]
1---- 1
-101- 1
-10-0 1
.names pl5 pv4 pt0 pu0 [3801]
-11- 1
1--1 1
.names pg4 pn0 pr0 pq5 [3802]
1-1- 1
-1-1 1
.names pn5 pl0 pl3 pp0 [3803]
-11- 1
1--1 1
.names [3801] [3802] [3803] [3805]
1-- 1
-1- 1
--1 1
.names pm0 nk40 [982] [3806]
--1 1
11- 1
.names pq0 [316] [985] [3805] [3806] [3809]
--1-- 1
---1- 1
----1 1
11--- 1
.names pb pz2 nh20 [514] [3812]
1--- 1
-11- 1
-1-0 1
.names pc3 pd3 [513] [3716] [3717] [3814]
01--- 1
--0-0 1
---00 1
.names pd3 pg [486] [3814] [3815]
---1 1
01-- 1
0-0- 1
.names nj51 nm53 [960] [3771] [3772] [3818]
1---- 1
--1-- 1
-0-11 1
.names ps1 pu1 pt1 nv19 [3821]
0001 1
1010 1
.names ps1 pt1 [3823]
01 1
10 1
.names pu1 nh20 [514] [3824]
101 1
.names py2 [146] nh20 [514] [3821] [3825]
1-1-- 1
1--0- 1
-1--1 1
.names pd5 nr49 [938] [3797] [3827]
1--- 1
--1- 1
-0-1 1
.names pt4 pu4 pr4 ps4 [3830]
0--- 1
-0-- 1
--0- 1
---0 1
.names pm5 pl5 pn5 [3831]
10- 1
1-1 1
-01 1
.names no49 nm53 [3771] [3772] [3831] [3832]
----1 1
10--- 1
-011- 1
.names po0 pu0 pr4 pr5 [3837]
-11- 1
1--1 1
.names pn0 pw4 pt0 pp5 [3838]
-11- 1
1--1 1
.names pd4 ph4 pr0 ps0 [3839]
-11- 1
1--1 1
.names pm4 pk0 pq0 pq3 [3840]
1-1- 1
-1-1 1
.names pm5 pl0 pm3 pp0 [3841]
-11- 1
1--1 1
.names pf3 pm0 [3837] [3838] [3839] [3845]
--1-- 1
---1- 1
----1 1
11--- 1
.names pg4 pj0 pi4 pp5 ni44 [3846]
01--- 1
0--1- 1
0-1-1 1
1000- 1
10-00 1
.names pq5 ph0 [3848]
10 1
.names pp3 pj3 [3850]
1- 1
-0 1
.names pp3 pk3 [3851]
0- 1
-0 1
.names ps3 pr3 nc52 nj50 nb39 [3853]
--0-- 1
01--- 1
-0-0- 1
0---1 1
.names pl pp1 [3855]
1- 1
-1 1
.names pr5 nc54 nw53 nx53 [3857]
11-- 1
-10- 1
-1-0 1
.names pe1 pf1 ph1 pb [3860]
0-10 1
-110 1
.names pq5 nc54 nw53 nx53 [3861]
11-- 1
-10- 1
-1-0 1
.names pw2 pz2 px2 py2 [3863]
0000 1
.names pw2 pz2 px2 py2 [3870]
1111 1
.names pg2 pe2 pp1 pl nj26 [3871]
-01-- 1
-0-1- 1
10--1 1
0100- 1
-1000 1
.names pz po3 nj51 [485] [3875]
1--- 1
-11- 1
-1-0 1
.names px2 [513] [3716] [3717] [3879]
0--1 1
011- 1
.names pw2 px2 [513] [3716] [3717] [3883]
01--- 1
--0-0 1
---00 1
.names pz pq3 nj51 [485] [3888]
1--- 1
-11- 1
-1-0 1
.names pz pp3 nj51 [485] [3893]
1--- 1
-11- 1
-1-0 1
.names pe3 pb nh20 [514] [3898]
-1-- 1
1-1- 1
1--0 1
.names pd5 nu53 nr49 [3797] [3900]
001- 1
00-0 1
.names pr5 pr4 [3901]
11 1
.names pm5 pl5 pz pn5 [3902]
--1- 1
0101 1
.names pr4 pr5 nm53 [3902] [3903]
---1 1
110- 1
.names pr2 py2 pn po [3904]
-11- 1
1--1 1
.names pc3 pp py1 pm [3905]
-11- 1
1--1 1
.names pq pw pv1 pw0 [3906]
1-1- 1
-1-1 1
.names pr ps pl2 ps1 [3907]
-11- 1
1--1 1
.names pb1 pt pv ph2 [3908]
1-1- 1
-1-1 1
.names pc2 pu [3904] [3905] [3906] [3912]
--1-- 1
---1- 1
----1 1
11--- 1
.names pp3 pk3 [3913]
11 1
.names ps2 pz2 pn po [3915]
-11- 1
1--1 1
.names pp pd3 pz1 pm [3916]
1-1- 1
-1-1 1
.names pq pw pw1 px0 [3917]
1-1- 1
-1-1 1
.names pr ps pm2 pt1 [3918]
-11- 1
1--1 1
.names pc1 pt pv pi2 [3919]
1-1- 1
-1-1 1
.names pu pd2 [3915] [3916] [3917] [3923]
--1-- 1
---1- 1
----1 1
11--- 1
.names pi2 ph2 [3924]
0- 1
-0 1
.names pk4 pj4 [3927]
0- 1
-0 1
.names pc3 pb3 py2 [3933]
001 1
.names pa3 pe3 pd3 pz2 [3934]
0000 1
.names pm1 pl1 pn1 [3935]
10- 1
1-1 1
-01 1
.names nr18 nh22 [3933] [3934] [3935] [3936]
----1 1
10--- 1
-011- 1
.names pf2 pj2 pk2 ph2 [3941]
1111 1
.names pi2 po2 pl2 pm2 [3942]
1111 1
.names pv pw2 pz0 pn [3945]
1-1- 1
-1-1 1
.names pp pr pn1 pq1 [3946]
-11- 1
1--1 1
.names pt pe2 pw pl1 [3947]
11-- 1
--11 1
.names pm [3933] [3934] [3945] [3946] [3950]
---1- 1
----1 1
111-- 1
.names [667] [671] [3947] [3951]
1-- 1
-1- 1
--1 1
.names ps no28 [3950] [3951] [3953]
--1- 1
---1 1
10-- 1
.names pb pz1 no19 no28 [3955]
1--- 1
-10- 1
-1-0 1
.names pm1 pl1 pn1 pb [3956]
111- 1
001- 1
0100 1
.names pq2 px2 pn po [3957]
-11- 1
1--1 1
.names pb3 pw pv0 pm [3958]
-11- 1
1--1 1
.names pp pq pp1 pr1 [3959]
1-1- 1
-1-1 1
.names pr ps pk2 pm1 [3960]
-11- 1
1--1 1
.names pa1 pb2 pu pv [3961]
-11- 1
1--1 1
.names pf2 pt [3957] [3958] [3959] [3965]
--1-- 1
---1- 1
----1 1
11--- 1
.names pb py1 no19 no28 [3966]
1--- 1
-10- 1
-1-0 1
.names pb px1 no19 no28 [3968]
1--- 1
-10- 1
-1-0 1
.names pc3 pe1 pe3 pd3 pf1 [3970]
0---- 1
-0--- 1
--0-- 1
---0- 1
----1 1
.names pa3 pt2 pn po [3975]
1-1- 1
-1-1 1
.names pe3 pw py0 pm [3976]
-11- 1
1--1 1
.names pq pr pu1 px1 [3977]
-11- 1
1--1 1
.names ps pt pj2 po2 [3978]
-11- 1
1--1 1
.names pd1 pg2 pu pv [3979]
-11- 1
1--1 1
.names pp pa2 [3975] [3976] [3977] [3983]
--1-- 1
---1- 1
----1 1
11--- 1
.names pm1 pl1 pn1 pb [3986]
0110 1
0100 1
.names po3 pn3 pm3 pl3 [3990]
0000 1
.names pd5 pa5 pb5 pz [3992]
10-0 1
1-10 1
.names po3 pn3 pm3 pl3 [3994]
1111 1
.names pf5 pg5 [3998]
00 1
.names pz ph5 [316] [204] [3998] [3999]
1---- 1
-0-11 1
001-1 1
.names pa4 pz [316] nt50 [4000]
-1-- 1
1-1- 1
1--0 1
.names po0 pt0 py3 py4 [4001]
1-1- 1
-1-1 1
.names pp0 pt4 pu0 pv3 [4002]
-11- 1
1--1 1
.names pf4 pk4 pr0 ps0 [4003]
-11- 1
1--1 1
.names pk0 po4 ps3 pq0 [4004]
1-1- 1
-1-1 1
.names pb4 ph3 pm0 pn0 [4005]
-11- 1
1--1 1
.names pl0 po3 [4001] [4002] [4003] [4009]
--1-- 1
---1- 1
----1 1
11--- 1
.names pz pz3 [316] nt50 [4014]
1--- 1
-11- 1
-1-0 1
.names po0 pt0 pz3 pz4 [4017]
1-1- 1
-1-1 1
.names pk0 pu4 pu0 pt3 [4018]
-11- 1
1--1 1
.names pp0 pq0 pw3 pq4 [4019]
1-1- 1
-1-1 1
.names pl0 pi4 pp3 ps0 [4020]
1-1- 1
-1-1 1
.names pc4 pl4 pn0 pr0 [4021]
1-1- 1
-1-1 1
.names pi3 pm0 [4017] [4018] [4019] [4025]
--1-- 1
---1- 1
----1 1
11--- 1
.names pl4 pm4 pn4 po4 [4031]
1111 1
.names ph4 pj4 pk4 pq4 [4032]
1111 1
.names pq1 nz22 nu22 nt22 [4034]
11-- 1
-10- 1
-1-0 1
.names pf5 pz ph5 [316] [204] [4036]
----1 1
1001- 1
.names pb4 pz [316] nt50 [4037]
-1-- 1
1-1- 1
1--0 1
.names pp3 [491] [3798] [3800] [4038]
0--1 1
011- 1
.names pe0 pk3 pj3 [482] [4039]
10-- 1
-0-0 1
0-01 1
.names pr1 nz22 nu22 nt22 [4041]
11-- 1
-10- 1
-1-0 1
.names po0 pt0 px3 px4 [4042]
1-1- 1
-1-1 1
.names pp0 pu0 pu3 ps4 [4043]
1-1- 1
-1-1 1
.names pe4 pj4 pr0 ps0 [4044]
-11- 1
1--1 1
.names pn4 pk0 pq0 pr3 [4045]
1-1- 1
-1-1 1
.names pa4 pl0 pn3 pn0 [4046]
-11- 1
1--1 1
.names pg3 pm0 [4042] [4043] [4044] [4050]
--1-- 1
---1- 1
----1 1
11--- 1
.end