.model top
.inputs 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_23_ i_18_ i_24_ \
 i_17_ i_0_ i_21_ i_16_ i_22_ i_15_ i_32_ i_31_ i_34_ i_33_ i_19_ i_36_ \
 i_35_ i_38_ i_29_ i_37_
.outputs o_1_ o_19_ o_2_ o_0_ o_29_ o_25_ o_12_ o_26_ o_11_ o_27_ o_14_ \
 o_28_ o_13_ o_34_ o_21_ o_16_ o_33_ o_22_ o_15_ o_32_ o_23_ o_18_ o_31_ \
 o_24_ o_17_ o_30_ o_20_ o_10_ o_9_ o_7_ o_8_ o_5_ o_6_ o_3_ o_4_
.names i_32_ i_33_ [968921]
01 1
.names i_32_ i_33_ i_34_ i_35_ [968923]
0100 1
.names i_16_ i_17_ i_32_ i_33_ [968927]
-101 1
1-01 1
.names i_5_ i_7_ [968928]
00 1
.names i_32_ i_33_ i_34_ i_35_ [968929]
0101 1
.names i_11_ i_12_ i_15_ i_18_ [968930]
-111 1
1-11 1
.names i_32_ i_33_ i_34_ i_7_ [968932]
0100 1
.names i_31_ i_32_ i_33_ i_34_ [968943]
0010 1
.names i_35_ i_36_ i_37_ n_n1074 [968948]
1001 1
.names [968921] i_34_ i_35_ i_36_ [968950]
1100 1
.names [970071] i_15_ [968954]
01 1
.names i_34_ i_35_ i_36_ i_40_ [968956]
0101 1
.names i_32_ i_33_ i_34_ i_35_ [968957]
0110 1
.names i_36_ i_37_ i_38_ i_39_ [968959]
0100 1
.names i_38_ i_39_ n_n1012 [968960]
001 1
.names i_31_ i_32_ i_33_ n_n1047 [968970]
0011 1
.names i_32_ i_33_ i_40_ i_7_ [968971]
0100 1
.names i_15_ i_21_ [968974]
10 1
.names i_37_ i_38_ [968975]
00 1
.names [968943] [971197] [971698] n_n949 [968978]
1-1- 1
11-1 1
.names i_35_ i_36_ i_37_ n_n1074 [968981]
1011 1
.names i_39_ i_40_ n_n1009 [968982]
111 1
.names [968921] i_31_ n_n1047 n_n1055 [968984]
1011 1
.names i_35_ i_36_ i_37_ n_n966 [968988]
0001 1
.names i_37_ i_38_ [968989]
11 1
.names i_11_ i_15_ [968991]
11 1
.names i_36_ i_38_ i_39_ i_40_ [968993]
0101 1
.names [968957] i_7_ [968994]
10 1
.names [968923] i_7_ [968995]
10 1
.names i_33_ i_7_ n_n1047 [968996]
101 1
.names i_35_ i_36_ [968997]
01 1
.names [968921] i_34_ i_35_ i_36_ [968998]
1010 1
.names i_32_ i_33_ i_34_ i_35_ [969003]
0101 1
.names i_39_ i_40_ n_n1009 [969004]
101 1
.names [968929] i_7_ [969005]
10 1
.names i_35_ i_36_ i_37_ n_n1072 [969006]
0001 1
.names i_11_ i_12_ i_7_ n_n1074 [969007]
0001 1
.names i_11_ i_12_ i_5_ i_7_ [969008]
0000 1
.names i_37_ i_38_ [969009]
01 1
.names i_35_ i_36_ i_37_ n_n1074 [969022]
1101 1
.names i_32_ i_33_ n_n1002 [969023]
011 1
.names [968929] i_15_ [969024]
11 1
.names i_38_ i_40_ [969025]
00 1
.names i_39_ i_40_ n_n985 [969026]
011 1
.names i_0_ i_7_ n_n1074 [969027]
101 1
.names i_37_ i_38_ i_39_ i_40_ [969028]
0011 1
.names i_32_ i_33_ i_7_ n_n998 [969029]
0101 1
.names i_37_ i_38_ i_39_ i_40_ [969036]
0110 1
.names i_32_ i_33_ i_35_ i_36_ [969037]
0100 1
.names i_32_ i_33_ i_34_ n_n865 [969038]
0101 1
.names i_32_ i_33_ i_7_ n_n991 [969040]
0101 1
.names i_36_ i_38_ i_39_ i_40_ [969041]
0001 1
.names i_35_ i_36_ i_37_ n_n1074 [969042]
0111 1
.names i_0_ i_5_ [969049]
01 1
.names i_38_ i_39_ i_40_ n_n1012 [969050]
0101 1
.names i_11_ i_12_ i_13_ i_5_ [969051]
0000 1
.names [968975] i_36_ i_39_ i_40_ [969052]
1000 1
.names i_22_ i_24_ i_32_ i_33_ [969053]
1101 1
.names [968923] i_15_ [969055]
11 1
.names i_38_ i_39_ n_n1074 n_n968 [969056]
1111 1
.names i_31_ i_33_ i_34_ i_35_ [969065]
0100 1
.names [970071] i_15_ i_21_ i_22_ [969066]
0111 1
.names [971822] i_34_ i_35_ i_36_ [969067]
0010 1
.names i_38_ i_40_ [969068]
10 1
.names i_35_ i_36_ i_37_ n_n966 [969069]
0011 1
.names [968923] i_36_ [969070]
10 1
.names i_37_ i_38_ i_39_ i_40_ [969071]
1011 1
.names i_11_ i_12_ [969072]
01 1
.names i_38_ i_39_ [969073]
10 1
.names i_39_ i_40_ n_n985 [969074]
111 1
.names i_13_ i_5_ i_7_ n_n700 [969076]
0001 1
.names i_38_ i_39_ i_40_ n_n971 [969077]
1111 1
.names i_0_ i_1_ i_2_ i_3_ [969078]
1010 1
.names i_12_ i_15_ [969095]
01 1
.names i_15_ i_32_ i_33_ n_n330 [969096]
0011 1
.names i_38_ i_39_ i_40_ n_n1073 [969097]
1001 1
.names i_39_ i_40_ n_n1009 [969098]
001 1
.names [969051] i_32_ i_33_ [969099]
101 1
.names [968923] i_39_ i_40_ [969101]
111 1
.names [970256] n_n1047 n_n1048 n_n793 [969104]
0111 1
.names i_40_ n_n1055 n_n979 [969119]
111 1
.names i_32_ i_33_ i_34_ i_36_ [969120]
0101 1
.names [968989] i_36_ i_39_ i_40_ [969122]
1101 1
.names i_39_ i_40_ i_5_ [969124]
100 1
.names i_32_ i_33_ i_34_ n_n685 [969126]
0101 1
.names i_16_ i_17_ i_32_ i_33_ [969127]
1101 1
.names i_12_ i_15_ i_5_ i_7_ [969129]
1100 1
.names i_36_ i_37_ [969130]
00 1
.names i_31_ i_32_ i_33_ n_n1047 [969132]
1011 1
.names [969677] i_5_ i_7_ i_9_ [969133]
1000 1
.names i_32_ i_33_ n_n991 [969134]
011 1
.names i_0_ i_3_ i_7_ n_n1074 [969136]
1101 1
.names i_31_ i_32_ i_33_ i_35_ [969138]
0010 1
.names i_7_ i_9_ [969139]
01 1
.names [968971] i_34_ i_35_ i_36_ [969143]
1001 1
.names i_18_ i_21_ i_32_ i_33_ [969181]
0001 1
.names i_12_ i_15_ n_n955 [969182]
011 1
.names i_35_ i_36_ i_38_ i_40_ [969185]
0001 1
.names [968923] i_31_ [969187]
10 1
.names i_36_ i_5_ [969188]
01 1
.names i_37_ i_38_ i_40_ [969189]
100 1
.names i_0_ i_1_ i_2_ n_n1057 [969191]
1011 1
.names i_21_ i_23_ [969193]
00 1
.names [968921] i_15_ n_n330 n_n979 [969194]
1011 1
.names i_39_ i_40_ n_n966 n_n993 [969199]
1111 1
.names i_15_ i_5_ [969200]
00 1
.names [968928] i_11_ i_12_ i_13_ [969203]
1001 1
.names i_37_ i_38_ i_39_ i_40_ [969204]
0100 1
.names [969677] i_11_ i_5_ i_9_ [969206]
1001 1
.names i_17_ i_31_ i_32_ n_n1066 [969208]
1001 1
.names i_11_ i_15_ n_n793 [969211]
111 1
.names [968928] i_12_ i_15_ i_9_ [969212]
1111 1
.names [968971] i_34_ i_35_ i_36_ [969218]
1100 1
.names i_37_ i_38_ i_39_ i_40_ [969221]
0111 1
.names [969027] [970172] n_n883 n_n970 [969230]
1011 1
.names [968957] [970532] n_n1014 n_n985 [969236]
1011 1
.names [968984] [970266] i_17_ [969241]
100 1
.names i_35_ i_37_ [969284]
10 1
.names [968928] i_28_ i_29_ i_30_ [969286]
1100 1
.names i_28_ i_29_ i_5_ n_n883 [969289]
0001 1
.names i_37_ i_38_ i_39_ i_40_ [969291]
1010 1
.names i_38_ i_39_ n_n1012 [969292]
111 1
.names i_37_ i_38_ i_39_ i_40_ [969293]
0110 1
.names i_0_ i_37_ [969294]
11 1
.names i_39_ i_40_ n_n1061 [969296]
001 1
.names [968921] [971822] i_24_ n_n979 [969297]
1011 1
.names i_11_ i_12_ i_15_ [969298]
-11 1
1-1 1
.names i_36_ i_37_ i_38_ n_n1023 [969299]
1111 1
.names i_35_ i_36_ n_n1074 [969300]
001 1
.names [971922] i_31_ i_32_ n_n1066 [969301]
0001 1
.names [968957] i_36_ i_40_ n_n1015 [969302]
1011 1
.names [969028] [969120] i_7_ [969304]
110 1
.names [968928] i_11_ i_12_ i_13_ [969306]
1000 1
.names i_37_ i_38_ i_39_ i_40_ [969307]
1101 1
.names [968928] [968929] i_11_ i_15_ [969308]
1111 1
.names i_11_ i_15_ i_5_ i_7_ [969309]
1100 1
.names [968950] i_38_ i_39_ i_40_ [969312]
1011 1
.names [968921] i_22_ i_24_ n_n979 [969314]
1111 1
.names [968981] i_38_ i_39_ [969315]
100 1
.names [970172] i_0_ n_n715 n_n861 [969317]
1111 1
.names [968971] i_34_ i_35_ i_36_ [969318]
1010 1
.names [969692] i_38_ i_39_ i_40_ [969319]
1001 1
.names [968921] i_40_ i_7_ n_n979 [969320]
1101 1
.names i_36_ n_n1066 n_n330 n_n989 [969321]
0111 1
.names [969036] i_23_ [969322]
10 1
.names [968948] i_38_ i_39_ i_40_ [969325]
1100 1
1011 1
.names i_35_ i_36_ i_38_ n_n1064 [969326]
0011 1
.names i_33_ i_34_ i_35_ n_n1052 [969328]
1101 1
.names [968928] i_28_ i_29_ i_30_ [969329]
1011 1
.names [968921] i_37_ n_n1002 n_n1011 [969330]
1011 1
.names [968960] [969203] i_31_ n_n1074 [969331]
1101 1
.names [968929] i_39_ n_n1009 [969332]
111 1
.names i_1_ i_2_ i_3_ i_4_ [969651]
0000 1
.names i_11_ i_12_ [969657]
00 1
.names i_11_ i_12_ i_14_ [969673]
111 1
.names i_12_ i_15_ [969677]
11 1
.names i_11_ i_12_ i_14_ i_15_ [969681]
1111 1
.names i_16_ i_17_ i_9_ [969685]
-11 1
1-1 1
.names [969673] [969681] [969685] n_n1068 [969686]
-0-0 1
00-- 1
--00 1
0-0- 1
.names i_35_ i_36_ i_37_ [969692]
101 1
.names i_38_ i_39_ i_40_ [969696]
-0- 1
1-0 1
.names i_38_ i_39_ i_40_ n_n1073 [969699]
-111 1
01-1 1
.names [969699] i_38_ i_39_ n_n1012 [969700]
0-1- 1
01-- 1
0--0 1
.names i_38_ i_40_ n_n1073 [969703]
011 1
.names i_39_ i_40_ n_n1009 n_n985 [969708]
10-- 1
01-- 1
-00- 1
0-0- 1
-1-0 1
1--0 1
--00 1
.names [969708] i_32_ i_33_ i_35_ [969714]
0010 1
.names i_38_ i_39_ n_n1074 n_n968 [969715]
--0- 1
---0 1
10-- 1
01-- 1
.names [969700] [969703] [969715] n_n1074 [969717]
--10 1
101- 1
.names [968981] [969714] [969717] n_n880 [969718]
001- 1
-010 1
.names i_16_ i_17_ i_9_ [969722]
-11 1
1-1 1
11- 1
.names [969677] i_35_ i_36_ n_n1074 [969727]
0001 1
.names [968923] [969727] i_36_ n_n1055 [969728]
-01- 1
-0-1 1
00-- 1
.names [969037] [969204] [969731]
11 1
.names [969037] [969204] [969728] i_31_ [969735]
--01 1
11-1 1
.names i_38_ i_39_ i_40_ n_n1012 [969743]
0111 1
.names n_n1012 n_n1073 n_n967 n_n973 [969744]
00-- 1
0-0- 1
-0-0 1
--00 1
.names [968998] [969051] i_37_ n_n880 [969746]
1111 1
.names [969132] [969722] [969735] i_5_ [969749]
--10 1
10-0 1
.names n_n966 n_n969 n_n971 [969752]
111 1
.names [969028] [969120] i_11_ i_12_ [969754]
1101 1
.names [969752] n_n1072 n_n1074 n_n970 [969758]
00-- 1
0-0- 1
0--0 1
.names [968981] [968988] [969746] n_n967 [969760]
--00 1
000- 1
.names [968921] [969051] [969744] [969754] [969758] [969760] i_25_ i_37_ \
 i_38_ n_n1002 [969763]
--1011--1- 1
-0-011--1- 1
--1011-1-- 1
-0-011-1-- 1
--10110--- 1
-0-0110--- 1
--1011---0 1
-0-011---0 1
0--011---- 1
.names [969718] [969749] [969763] n_n884 [969765]
-010 1
101- 1
.names i_37_ i_38_ i_39_ [969769]
1-- 1
-10 1
-01 1
.names [969003] i_37_ n_n883 o_15_ [969774]
-1-0 1
--00 1
0--0 1
.names [969206] i_12_ i_15_ n_n955 [969786]
01-- 1
0-0- 1
0--0 1
.names [969786] i_14_ i_15_ n_n951 [969787]
11-- 1
1-0- 1
1--0 1
.names i_11_ i_12_ i_14_ [969791]
00- 1
111 1
.names [969787] i_16_ i_17_ [969793]
0-1 1
01- 1
.names [969791] [969793] i_5_ n_n1068 [969795]
-01- 1
-0-0 1
10-- 1
.names i_11_ i_12_ i_5_ i_9_ [969799]
---0 1
--1- 1
00-- 1
.names [969055] [971922] n_n951 n_n955 [969802]
10-1 1
101- 1
.names [968923] [969802] [971822] [971924] [969805]
-0-0 1
00-- 1
-01- 1
.names i_37_ i_38_ i_39_ i_40_ [969813]
--0- 1
1--- 1
-1-0 1
.names i_37_ i_38_ i_40_ [969816]
001 1
.names [969813] [969816] n_n1047 n_n1055 [969821]
--0- 1
10-0 1
.names [969805] i_39_ i_40_ n_n1009 [969830]
0111 1
.names [969022] i_38_ i_39_ i_40_ [969831]
1-10 1
101- 1
.names i_26_ i_37_ i_38_ [969835]
100 1
.names [969692] [969696] [969831] n_n1074 [969837]
--00 1
0-0- 1
-10- 1
.names [968921] [969835] n_n1002 n_n1159 [969838]
--00 1
0--0 1
-0-0 1
.names [968998] [969051] [969769] [969837] [969840]
0--1 1
-0-1 1
--11 1
.names [969221] [969774] [969840] n_n902 [969842]
011- 1
-110 1
.names [968921] [969051] [969821] [969830] [969843]
0--0 1
-0-0 1
--10 1
.names [969297] [969838] [969842] n_n528 [969844]
-110 1
011- 1
.names [968960] [969795] [969843] n_n1074 [969845]
--10 1
0-1- 1
-11- 1
.names i_1_ i_2_ [969851]
00 1
.names [968988] [969025] i_7_ n_n1011 [969858]
1-01 1
110- 1
.names [968932] [969858] i_38_ n_n865 [969861]
-00- 1
00-- 1
-0-0 1
.names [968929] i_7_ n_n1061 [969864]
101 1
.names [968994] [969864] n_n1014 n_n582 [969867]
-11- 1
1-11 1
.names [969005] [969867] i_36_ n_n866 [969870]
-00- 1
-0-0 1
00-- 1
.names [968921] [969071] i_7_ n_n1002 [969873]
1101 1
.names [969861] i_3_ i_4_ n_n1067 [969878]
0011 1
.names [969318] [969320] n_n982 n_n990 [969883]
0--0 1
--00 1
00-- 1
-00- 1
.names [969878] n_n1008 n_n515 n_n985 [969884]
0--0 1
00-- 1
0-0- 1
.names [969143] [969873] [969883] n_n1055 [969885]
-010 1
001- 1
.names [969182] [969206] i_16_ i_17_ [969891]
--00 1
-00- 1
00-- 1
.names [968921] [969221] i_31_ n_n1047 [969893]
1101 1
.names i_10_ i_27_ [969897]
11 1
.names [969799] [971822] i_15_ i_18_ [969905]
--00 1
-10- 1
1--0 1
11-- 1
.names [969905] i_19_ i_21_ [969908]
010 1
.names [968974] [969799] [969908] i_18_ [969911]
--00 1
0-0- 1
-10- 1
.names i_11_ i_12_ i_5_ n_n1068 [969917]
1001 1
0101 1
.names [969182] [969917] i_17_ [969925]
-00 1
00- 1
.names [969182] [969206] i_16_ i_17_ [969933]
--00 1
00-- 1
.names [968984] [969893] [969925] [969933] [969938]
00-- 1
0-1- 1
-0-1 1
--11 1
.names [968974] [969314] n_n951 n_n955 [969947]
11-1 1
111- 1
.names i_18_ i_21_ i_22_ n_n945 [969951]
1011 1
.names [968981] [969067] [969947] [969951] [969953]
000- 1
0-00 1
.names i_28_ i_29_ i_30_ [969959]
011 1
100 1
.names i_29_ i_30_ [969963]
11 1
00 1
.names i_28_ i_29_ i_30_ [969967]
-00 1
011 1
.names [969959] n_n1012 n_n1048 n_n799 [969969]
0111 1
.names [969967] n_n1047 n_n1048 n_n883 [969970]
0111 1
.names n_n1061 n_n1074 n_n884 n_n968 [969977]
-0-- 1
0--0 1
0-0- 1
.names i_37_ i_38_ i_39_ i_40_ [969985]
--00 1
-10- 1
-0-0 1
-01- 1
1--0 1
1-1- 1
11-- 1
0-0- 1
00-- 1
.names i_25_ i_26_ [969993]
00 1
.names [969022] i_38_ i_39_ i_40_ [970001]
1110 1
.names [969969] [969970] i_5_ [970005]
1-0 1
-10 1
.names n_n1015 n_n1074 n_n880 n_n970 [970009]
11-1 1
-111 1
.names [968981] [969911] n_n1011 n_n411 [970012]
1011 1
.names i_10_ i_27_ n_n982 [970013]
0-1 1
-01 1
.names [968981] [968988] i_38_ n_n1008 [970015]
---0 1
0-0- 1
-01- 1
00-- 1
.names [969289] [970009] n_n1047 n_n1048 [970017]
-00- 1
-0-0 1
00-- 1
.names [968984] [969134] [969917] [970013] [970018]
00-- 1
-00- 1
0--0 1
--00 1
.names [969050] [970001] [970017] n_n966 [970021]
-010 1
001- 1
.names [969891] [969893] [969977] n_n1064 [970022]
1--0 1
-0-0 1
1-1- 1
-01- 1
.names [969774] [969985] [970018] n_n902 [970023]
1-10 1
111- 1
.names [969330] [969993] [970015] [970021] [970024]
0-11 1
-111 1
.names [969297] [970022] n_n528 n_n905 [970026]
-10- 1
01-0 1
.names [970023] [970024] [970027]
11 1
.names [969953] [970012] [970027] n_n1072 [970030]
-010 1
101- 1
.names [968994] [971643] i_1_ n_n833 [970042]
1-11 1
10-1 1
.names [968959] [968994] [970042] i_1_ [970043]
--00 1
-00- 1
0-0- 1
.names [969143] i_37_ i_38_ i_39_ [970053]
1111 1
.names [969028] n_n1993 n_n861 n_n998 [970054]
-0-0 1
-00- 1
00-- 1
.names [968971] [970054] n_n991 n_n997 [970055]
-10- 1
-1-0 1
01-- 1
.names [969050] i_31_ n_n1074 [970061]
101 1
.names i_11_ i_12_ i_5_ i_7_ [970071]
---1 1
--1- 1
00-- 1
.names i_16_ i_31_ i_32_ i_33_ [970073]
0001 1
.names [968970] i_17_ i_38_ i_39_ [970076]
1011 1
.names [969677] [970073] [970107] n_n793 [970085]
1111 1
.names i_39_ i_40_ n_n1073 n_n993 [970091]
00-- 1
-00- 1
0--0 1
--00 1
.names [968959] n_n1066 n_n330 n_n989 [970093]
1111 1
.names [968943] [969203] [970091] [970093] [970095]
0--0 1
-0-0 1
--10 1
.names i_37_ i_38_ i_39_ i_40_ [970103]
--00 1
-10- 1
10-0 1
.names [970103] i_34_ i_35_ i_36_ [970107]
0000 1
.names [969211] [970073] [970076] [970107] [970110]
0--- 1
-00- 1
--00 1
.names i_36_ i_37_ i_38_ i_39_ [970114]
1--- 1
-1-- 1
--10 1
--01 1
.names [969024] [969308] i_22_ n_n850 [970122]
--1- 1
-0-0 1
00-- 1
.names [968929] [969203] [969308] i_24_ [970126]
0--1 1
-0-1 1
0-0- 1
-00- 1
.names [970139] n_n1066 n_n330 n_n989 [970135]
1111 1
.names [968929] [968954] i_21_ n_n833 [970137]
1111 1
.names [969056] [969298] i_18_ n_n793 [970138]
1101 1
.names i_36_ i_37_ i_38_ i_40_ [970139]
0010 1
.names i_38_ i_40_ n_n1073 [970140]
101 1
.names [969133] [970076] [970085] [970110] [970146]
0-01 1
-001 1
.names [969068] [970137] n_n1073 n_n334 [970147]
-00- 1
-0-0 1
00-- 1
.names [969286] [970061] [970095] [970135] [970148]
-010 1
0-10 1
.names [968960] [970138] [970146] n_n334 [970149]
-010 1
001- 1
.names [969041] [970114] [970126] [970148] [970151]
--11 1
01-1 1
.names [970122] [970147] [970149] n_n833 [970152]
-110 1
111- 1
.names [969077] [970165] n_n883 n_n970 [970163]
11-- 1
-111 1
.names i_0_ i_2_ i_7_ n_n1074 [970165]
1101 1
.names [969027] [969077] [970163] i_1_ [970166]
--00 1
0-0- 1
-00- 1
.names i_1_ i_4_ [970172]
00 1
.names [969077] [969136] n_n883 n_n970 [970185]
11-- 1
-111 1
.names [969027] [969077] [970185] i_4_ [970186]
--00 1
0-0- 1
-00- 1
.names [968928] i_11_ i_12_ i_15_ [970192]
0--- 1
-111 1
.names [968928] i_28_ i_29_ i_30_ [970196]
0--- 1
-1-1 1
-0-0 1
--10 1
-11- 1
--01 1
-00- 1
.names [968954] [968998] [969194] i_40_ [970201]
--01 1
-00- 1
0-0- 1
.names [969005] i_36_ i_37_ i_38_ [970204]
1111 1
.names [968975] [968994] [970204] i_36_ [970205]
--01 1
-00- 1
0-0- 1
.names [969321] i_37_ i_39_ n_n880 [970219]
1--1 1
101- 1
.names [968993] [970196] i_31_ n_n874 [970221]
1001 1
.names [968970] [969036] [970192] [970221] [970225]
0--0 1
-0-0 1
--10 1
.names [969041] [970225] n_n834 [970228]
-10 1
01- 1
.names [969769] [970114] [970201] n_n834 [970229]
1--0 1
11-- 1
--10 1
-11- 1
.names [969230] [970219] [970228] n_n1971 [970231]
0010 1
.names [968921] i_16_ i_17_ i_31_ [970237]
1000 1
.names i_37_ i_38_ i_40_ [970245]
010 1
.names [969129] [969309] [971922] n_n1048 [970252]
---0 1
--0- 1
00-- 1
.names i_37_ i_38_ i_39_ i_40_ [970256]
--0- 1
-0-- 1
0--1 1
.names i_11_ i_12_ i_15_ n_n793 [970266]
--0- 1
---0 1
00-- 1
.names [970071] i_15_ i_18_ [970271]
010 1
.names [969677] [970271] i_21_ n_n793 [970274]
-10- 1
1-01 1
.names i_11_ i_15_ i_21_ [970276]
110 1
.names [970274] [970276] i_19_ n_n793 [970279]
1-0- 1
-101 1
.names i_11_ i_12_ n_n793 [970282]
-11 1
1-1 1
.names [968974] [970279] [970282] i_18_ [970283]
-0-1 1
00-- 1
-00- 1
.names [968954] [970283] i_22_ i_24_ [970287]
---0 1
0-0- 1
-11- 1
01-- 1
.names i_1_ i_4_ [970291]
11 1
.names i_0_ i_2_ i_3_ i_7_ [970295]
---1 1
0--- 1
-00- 1
.names [969027] i_1_ i_4_ n_n865 [970298]
1-01 1
10-1 1
.names [970295] [970298] n_n1074 n_n865 [970300]
-00- 1
-0-0 1
10-- 1
.names [968991] [969677] [970073] n_n793 [970310]
---0 1
--0- 1
00-- 1
.names [968930] [969298] i_19_ [970314]
0-0 1
00- 1
.names i_21_ i_22_ [970318]
11 1
.names [968928] [969053] [969193] i_9_ [970331]
1111 1
.names [970314] [970331] [971496] [970332]
1-1 1
-01 1
.names [969005] i_0_ n_n1021 n_n582 [970341]
1111 1
.names [968975] n_n710 n_n861 n_n998 [970343]
1111 1
.names [968989] n_n1002 n_n710 n_n861 [970344]
1111 1
.names [968948] [969199] n_n330 n_n969 [970351]
-11- 1
1-11 1
.names [970245] [970310] n_n1047 n_n1055 [970352]
-011 1
101- 1
.names [968923] [970359] i_7_ [970354]
110 1
.names [968932] [969993] n_n1011 n_n864 [970355]
1111 1
.names [968930] [970371] n_n1064 n_n985 [970357]
1111 1
.names [968975] i_11_ i_36_ n_n1014 [970359]
1111 1
.names i_12_ i_16_ i_17_ i_31_ [970364]
0000 1
.names [970364] i_11_ i_5_ i_7_ [970365]
1100 1
.names i_19_ i_22_ i_24_ [970367]
111 1
.names [968929] [969193] [970367] n_n793 [970371]
1111 1
.names [970355] n_n861 n_n883 n_n998 [970372]
0-0- 1
0--0 1
00-- 1
.names [969221] [970343] n_n1047 n_n781 [970374]
-00- 1
00-- 1
-0-0 1
.names [968950] [968954] [970354] n_n973 [970376]
0-0- 1
--00 1
-00- 1
.names [969055] [970365] [970372] n_n833 [970377]
--10 1
0-1- 1
-01- 1
.names [968984] [970266] [970341] i_17_ [970378]
--01 1
0-0- 1
-10- 1
.names [969104] [969329] [970061] [970374] [970381]
00-1 1
0-01 1
.names [969194] [970344] [970376] n_n978 [970382]
-010 1
001- 1
.names [969025] [969119] [970300] [970332] [970384]
00-- 1
-01- 1
0--1 1
--11 1
.names [970252] [970351] [970378] n_n775 [970385]
-010 1
101- 1
.names [970043] [970055] [970382] [971664] [970387]
1110 1
.names [970352] [970357] [970381] [970385] [970389]
0011 1
.names [970377] [970384] [970387] [972324] [970390]
1110 1
.names [969078] [970151] [970152] [970166] [970186] [970205] [970229] \
 [970231] [970389] [970390] [970393]
-111111111 1
01111-1111 1
.names [968943] [969286] [969326] [969329] [970401]
0--- 1
--0- 1
-0-0 1
.names i_22_ n_n1012 n_n966 n_n973 [970403]
1111 1
.names [969314] [969769] [970403] i_40_ [970407]
--01 1
0-0- 1
-10- 1
.names [970071] [970407] i_15_ i_21_ [970413]
0010 1
.names [969329] [970061] [970413] n_n1993 [970417]
0-00 1
-000 1
.names [969692] [970432] n_n1074 n_n978 [970430]
1111 1
.names [969133] [969181] n_n1001 n_n979 [970431]
1111 1
.names i_15_ i_21_ i_23_ n_n853 [970432]
1001 1
.names [969309] [970237] [970430] n_n775 [970435]
--00 1
0-0- 1
-00- 1
.names [969241] [970352] [970431] [970435] [970438]
0001 1
.names [969298] i_19_ n_n791 n_n793 [970445]
1011 1
.names [970266] [970445] i_18_ n_n791 [970448]
-01- 1
-0-0 1
10-- 1
.names [968954] [969181] [970448] i_19_ [970453]
--11 1
0-1- 1
-01- 1
.names [969181] [969211] n_n1001 n_n979 [970457]
1111 1
.names [969221] [970252] [970457] n_n1047 [970460]
--00 1
0-0- 1
-10- 1
.names [969119] [970453] [970460] [970461]
0-1 1
-11 1
.names [969692] [970465] n_n1074 n_n978 [970464]
1111 1
.names i_15_ i_21_ i_23_ n_n850 [970465]
1001 1
.names [970464] n_n1047 n_n1055 n_n781 [970466]
0-0- 1
00-- 1
0--0 1
.names [969286] [969329] [970061] [970466] [970477]
--01 1
00-1 1
.names [969052] [970110] [970477] n_n765 [970478]
-110 1
011- 1
.names [970438] [970478] [970479]
11 1
.names [969119] [970453] [970460] [970479] [970480]
0-11 1
-111 1
.names i_39_ i_40_ n_n1052 n_n985 [970489]
1--- 1
-1-0 1
-00- 1
--00 1
.names i_23_ i_39_ i_40_ n_n1009 [970493]
0101 1
.names [969308] [970489] [970493] i_22_ [970494]
0--- 1
--01 1
-10- 1
.names i_39_ i_40_ n_n1009 n_n765 [970499]
1011 1
.names [970085] [970494] [970499] [971889] [970505]
0101 1
.names [969041] [969308] i_24_ [970511]
110 1
.names [970511] i_39_ n_n1052 n_n834 [970515]
01-- 1
0-0- 1
0--0 1
.names [970515] n_n760 n_n833 n_n834 [970516]
1-0- 1
10-0 1
.names [969308] i_22_ i_39_ n_n1009 [970518]
1011 1
.names [969308] [970114] [970518] i_24_ [970520]
--01 1
0-0- 1
-10- 1
.names i_38_ i_4_ n_n865 [970523]
111 1
.names [968932] [969078] [970523] n_n1971 [970528]
0--0 1
-0-0 1
--00 1
.names i_15_ i_21_ i_22_ n_n850 [970532]
0--- 1
---0 1
-11- 1
.names [969052] n_n1064 n_n760 n_n985 [970534]
1-1- 1
-111 1
.names [969024] [970493] [970534] n_n850 [970537]
--00 1
0-0- 1
-00- 1
.names i_38_ i_39_ n_n1073 n_n841 [970560]
0011 1
.names [969052] n_n1009 n_n1021 n_n761 [970561]
1--1 1
-111 1
.names [969677] [970076] n_n2581 n_n793 [970562]
0-0- 1
--00 1
-00- 1
.names [969025] [970561] n_n1073 n_n841 [970563]
-00- 1
-0-0 1
00-- 1
.names [968957] [969074] [970401] [970532] [970564]
0-1- 1
-01- 1
--11 1
.names [969104] n_n1971 n_n1987 n_n1993 [970565]
0000 1
.names [969041] [970563] n_n834 [970567]
-10 1
01- 1
.names [970516] [970520] [970560] [970562] [970572]
1101 1
.names [970505] [970564] [970565] [970572] [970574]
1111 1
.names [968950] i_37_ i_38_ [970577]
100 1
.names i_40_ i_8_ n_n685 [970582]
011 1
.names [969027] [969136] i_1_ i_4_ [970590]
00-- 1
-011 1
.names [970590] n_n1074 n_n758 n_n865 [970594]
---0 1
10-- 1
1-0- 1
.names [968959] [968994] [970166] [971643] [970605]
-01- 1
0-1- 1
--11 1
.names [969230] [970186] [970605] n_n2581 [970608]
0110 1
.names [970043] [970608] [972324] [970609]
110 1
.names [969028] n_n861 n_n982 n_n998 [970614]
---0 1
-0-- 1
0-0- 1
.names [968928] i_11_ i_12_ i_15_ [970618]
---0 1
0--- 1
-11- 1
-00- 1
.names i_11_ i_12_ i_15_ [970630]
--0 1
11- 1
00- 1
.names [968928] [969301] [970630] i_9_ [970633]
1101 1
.names [969208] [970618] [970633] i_16_ [970636]
--00 1
0-0- 1
-10- 1
.names i_18_ n_n761 n_n765 [970642]
11- 1
1-1 1
.names [968929] [968974] [969657] n_n860 [970643]
1101 1
.names [970642] [970643] i_22_ i_24_ [970649]
-111 1
1-11 1
.names [970636] [970649] n_n1009 n_n1014 [970655]
0-11 1
-111 1
.names [968993] [970657] i_31_ n_n874 [970656]
1101 1
.names [968928] i_28_ i_29_ i_30_ [970657]
1000 1
.names [969029] [970614] [970656] n_n883 [970660]
-100 1
010- 1
.names [969236] [970520] [970537] [970561] [970674]
0110 1
.names [969052] n_n1009 n_n1021 n_n765 [970692]
1--1 1
-111 1
.names [969133] [970076] [970085] [970692] [970694]
0-00 1
-000 1
.names [969041] [969104] [970110] [970438] [970466] [970494] [970694] \
 [971889] n_n1993 n_n834 [970702]
-011111100 1
001111110- 1
.names [968948] n_n967 n_n973 o_15_ [970713]
0--0 1
-000 1
.names [969325] n_n1011 n_n1074 n_n864 [970724]
00-- 1
0-0- 1
0--0 1
.names [969293] i_11_ i_12_ i_35_ [970737]
1-00 1
10-0 1
.names [969006] [970737] [971922] i_9_ [970746]
-1-1 1
1-01 1
.names [969657] [969700] n_n1008 n_n1009 [970747]
10-- 1
1-11 1
.names [969006] [970746] [970747] [971924] [970749]
-000 1
000- 1
.names i_39_ i_40_ n_n1061 n_n1065 [970757]
00-- 1
-00- 1
1-0- 1
0--0 1
--00 1
.names [969299] [969328] n_n1014 n_n1057 [970763]
1--1 1
-101 1
.names [968923] [970757] [970763] [971643] [970766]
0-0- 1
--00 1
-10- 1
.names [971922] i_11_ i_12_ i_14_ [970778]
1--- 1
-111 1
.names [969673] [970778] [971924] i_9_ [970782]
--00 1
1--0 1
-10- 1
11-- 1
.names [970793] n_n1055 n_n1057 [970788]
111 1
.names i_0_ i_1_ i_2_ i_40_ [970791]
1100 1
.names [970791] i_33_ i_34_ i_36_ [970793]
1101 1
.names [968984] [970782] [970788] n_n1159 [970795]
0-00 1
-100 1
.names [968998] i_38_ i_39_ i_40_ [970803]
1001 1
.names [968921] [969743] n_n1047 n_n1055 [970806]
11-- 1
1-10 1
.names [968923] [969681] [970806] i_36_ [970808]
--01 1
0-0- 1
-10- 1
.names [969300] [969722] [970803] [970808] [970809]
0-01 1
-101 1
.names i_37_ i_38_ i_39_ i_40_ [970813]
-1-- 1
1--- 1
--11 1
.names [968923] [968929] n_n1001 n_n1065 [970821]
--00 1
-00- 1
0--0 1
00-- 1
.names [969037] [969120] [969307] [970813] [970822]
00-- 1
0-0- 1
-0-1 1
--01 1
.names [970821] i_32_ n_n977 n_n983 [970823]
11-- 1
1-0- 1
1--0 1
.names i_37_ i_38_ i_39_ [970828]
-10 1
-01 1
1-1 1
11- 1
0-0 1
00- 1
.names [969023] i_37_ i_38_ i_39_ [970831]
1100 1
1011 1
.names i_36_ i_37_ i_38_ i_39_ [970834]
0001 1
.names [969130] i_39_ i_40_ n_n1052 [970836]
-0-- 1
--00 1
0--0 1
.names [968959] i_36_ i_38_ i_40_ [970841]
0--0 1
01-- 1
0-1- 1
.names [969188] [969769] n_n971 n_n977 [970846]
0--0 1
0-0- 1
-1-0 1
-10- 1
.names i_15_ i_39_ i_9_ n_n1073 [970849]
0111 1
.names [969657] [970849] i_40_ n_n993 [970852]
-00- 1
-0-0 1
00-- 1
.names n_n1074 n_n969 n_n970 [970857]
111 1
.names [970822] [970823] i_0_ i_5_ [970860]
0-01 1
-001 1
.names [970836] [970841] n_n1066 n_n989 [970861]
0-11 1
-011 1
.names [969204] n_n983 n_n989 [970865]
111 1
.names [968950] [970831] [970869] n_n997 [970866]
-11- 1
1-11 1
.names i_40_ i_6_ [970869]
11 1
.names [970857] n_n1012 n_n966 n_n967 [970871]
0--0 1
00-- 1
0-0- 1
.names [969028] [969134] [970865] i_11_ [970872]
--00 1
0-0- 1
-00- 1
.names [970846] [970861] n_n1074 [970874]
-00 1
10- 1
.names [969325] [970871] [970872] o_15_ [970876]
0110 1
.names [968943] [970852] [970866] [970874] [970877]
0-01 1
-101 1
.names i_34_ i_36_ i_37_ [970888]
011 1
.names [968989] n_n1002 n_n715 n_n977 [970889]
-0-0 1
0--0 1
-00- 1
0-0- 1
.names [969221] [970888] n_n883 n_n991 [970890]
0-0- 1
--00 1
00-- 1
-0-0 1
.names [970813] [970889] [970890] n_n998 [970892]
-110 1
111- 1
.names i_38_ i_39_ i_40_ n_n865 [970894]
0011 1
.names i_32_ i_35_ i_36_ [970898]
1-1 1
11- 1
.names [970894] i_6_ n_n1072 n_n864 [970899]
10-- 1
-011 1
.names [970898] i_0_ n_n865 n_n969 [970902]
01-- 1
0--0 1
0-0- 1
.names [968975] i_35_ i_36_ n_n1008 [970906]
1011 1
.names i_34_ i_6_ n_n1012 n_n1072 [970912]
1011 1
.names [970906] [970912] i_32_ n_n998 [970915]
-00- 1
00-0 1
.names [970899] [970902] [970915] i_34_ [970916]
--11 1
011- 1
.names [968928] [970892] i_0_ i_33_ [970922]
--11 1
0--1 1
-1-1 1
.names [969077] i_38_ i_39_ n_n970 [970929]
0-1- 1
00-- 1
0--0 1
.names [968971] [969320] n_n991 [970933]
-00 1
00- 1
.names [968921] i_7_ n_n975 n_n991 [970935]
1011 1
.names [968932] [970929] [971643] n_n1067 [970937]
1011 1
.names [969027] [970943] i_2_ n_n969 [970940]
1101 1
.names i_1_ i_3_ i_4_ n_n865 [970943]
1011 1
.names [969007] [970937] n_n880 n_n971 [970946]
-0-0 1
-00- 1
00-- 1
.names [969218] [970935] [970946] n_n997 [970948]
-010 1
001- 1
.names i_21_ i_22_ i_24_ [970951]
111 1
.names i_18_ i_19_ n_n951 n_n955 [970956]
00-- 1
0--0 1
--00 1
.names i_28_ i_29_ n_n985 [970961]
001 1
.names [968929] i_18_ [970966]
11 1
.names [969024] [970966] [971822] n_n951 [970967]
--10 1
0-1- 1
-0-0 1
00-- 1
.names [969003] [969199] i_37_ n_n969 [970978]
-01- 1
-0-0 1
00-- 1
.names i_5_ i_9_ n_n1012 n_n960 [970989]
0111 1
.names [969185] [969200] [969700] [970989] [970991]
-0-0 1
0-10 1
.names [968950] i_37_ i_38_ [970993]
111 1
.names [969009] [969023] [970993] i_40_ [970998]
--11 1
11-1 1
.names n_n1073 n_n1074 n_n865 n_n966 [971003]
00-- 1
-0-0 1
0-0- 1
--00 1
.names [969028] [970013] i_11_ i_12_ [971007]
00-- 1
-000 1
.names [969056] [970978] n_n857 n_n884 [971011]
--11 1
1--1 1
-0-1 1
.names [969023] [970998] i_6_ n_n866 [971013]
-11- 1
1-11 1
.names [968988] n_n1074 n_n865 n_n973 [971014]
1--1 1
-111 1
.names [968970] [969657] i_5_ n_n880 [971016]
1101 1
.names [969289] n_n930 n_n976 [971018]
111 1
.names i_39_ i_40_ n_n1061 n_n1074 [971019]
1011 1
0111 1
.names [969200] i_39_ i_40_ n_n1009 [971021]
1001 1
.names [969289] [971019] n_n930 n_n976 [971025]
-0-0 1
-00- 1
00-- 1
.names [969138] [970857] [971016] [971021] [971027]
000- 1
-000 1
.names [969134] [971007] [971011] [971025] [971030]
0-01 1
-101 1
.names [969297] [970318] i_23_ n_n1001 [971041]
1111 1
.names [970951] n_n1074 n_n947 n_n949 [971048]
-0-- 1
0--- 1
--00 1
.names [968948] [969905] i_22_ i_24_ [971051]
1011 1
.names [971048] [971051] n_n968 [971053]
-00 1
10- 1
.names [969073] [969326] n_n1073 n_n966 [971057]
---0 1
-00- 1
00-- 1
.names i_36_ i_38_ i_39_ i_40_ [971062]
0111 1
.names [968959] [971062] i_12_ i_14_ [971067]
--11 1
0--1 1
00-- 1
.names [968959] i_11_ i_12_ n_n923 [971079]
-11- 1
-1-0 1
0--0 1
.names i_16_ i_31_ i_32_ [971083]
100 1
.names [969208] [971067] [971083] n_n1066 [971087]
10-- 1
-011 1
.names [969293] [969677] [971090] i_11_ [971088]
1-10 1
101- 1
.names [968921] i_31_ i_34_ i_35_ [971090]
1000 1
.names [969301] [971079] [971088] [971092]
0-0 1
-10 1
.names [971105] i_2_ n_n1023 n_n969 [971104]
1011 1
.names i_0_ i_1_ i_36_ [971105]
111 1
.names [969299] [969328] [971104] n_n1067 [971107]
--00 1
000- 1
.names n_n1048 n_n1073 n_n775 n_n967 [971112]
0--- 1
-00- 1
--00 1
.names [969813] [971112] n_n1047 n_n1048 [971113]
-10- 1
-1-0 1
11-- 1
.names [969099] [969284] [971048] i_34_ [971117]
-0-- 1
--11 1
0-1- 1
.names [969319] [970951] n_n1074 n_n947 [971132]
1111 1
.names [971087] [971092] i_5_ i_9_ [971135]
1-01 1
-001 1
.names [969302] [970318] n_n947 n_n949 [971140]
11-1 1
111- 1
.names [968959] [971146] n_n1009 n_n1014 [971141]
11-- 1
-111 1
.names [969208] [969673] i_16_ i_5_ [971146]
1010 1
.names i_32_ i_33_ i_7_ n_n2369 [971148]
0-00 1
-100 1
00-0 1
.names [971140] i_40_ n_n1055 n_n902 [971151]
01-- 1
0-0- 1
0--0 1
.names [969051] [969312] [971057] [971148] [971153]
0-11 1
-011 1
.names [969985] [971132] [971151] n_n905 [971154]
-010 1
101- 1
.names [969319] [971041] n_n1374 n_n937 [971155]
-000 1
000- 1
.names [971107] [971113] n_n1057 n_n907 [971156]
--00 1
1--0 1
-10- 1
11-- 1
.names [971117] [971155] n_n969 [971159]
-10 1
11- 1
.names [971141] [971153] [971156] n_n1375 [971160]
0110 1
.names [971053] [971154] [971159] n_n1014 [971161]
-110 1
111- 1
.names n_n1014 n_n1052 n_n685 n_n874 [971171]
0111 1
.names [969071] [971171] n_n668 n_n976 [971175]
-0-0 1
-00- 1
00-- 1
.names i_37_ i_38_ i_39_ i_40_ [971183]
100- 1
0111 1
.names i_37_ i_38_ i_39_ i_40_ [971189]
-1-1 1
-11- 1
1-10 1
1-01 1
10-0 1
100- 1
.names i_16_ i_9_ [971197]
00 1
.names [968991] [969677] [971189] [971197] [971201]
1-00 1
-100 1
.names [971201] i_40_ n_n1005 n_n975 [971203]
01-- 1
0-00 1
.names [969681] i_16_ i_17_ i_9_ [971215]
1-11 1
11-1 1
111- 1
.names i_35_ n_n1074 n_n685 n_n883 [971218]
0111 1
.names [969003] [971218] n_n685 n_n977 [971221]
-0-0 1
-00- 1
00-- 1
.names [969041] i_39_ n_n1009 n_n1023 [971228]
1--1 1
-111 1
.names [971228] n_n975 n_n983 [971229]
00- 1
0-0 1
.names i_38_ n_n1074 n_n685 n_n865 [971236]
1111 1
.names [969188] [971215] i_7_ n_n1066 [971237]
1001 1
.names [971245] i_31_ n_n1066 [971238]
101 1
.names i_11_ i_40_ [971242]
10 1
.names [969130] [969139] [969677] [971242] [971245]
1111 1
.names [969077] [969126] [971236] [971237] [971248]
0-00 1
-000 1
.names [971175] [971221] [971238] i_37_ [971249]
1-00 1
110- 1
.names [971229] [971248] [971249] n_n668 [971251]
-110 1
111- 1
.names [968923] [969009] [969037] n_n880 [971260]
-0-0 1
00-- 1
--00 1
0-0- 1
.names [968921] i_15_ n_n1015 n_n1047 [971264]
1011 1
.names [968921] [971928] n_n1073 n_n960 [971266]
1011 1
.names [969073] [971266] n_n1074 n_n971 [971272]
-00- 1
-0-0 1
00-- 1
.names [968948] [971264] [971272] n_n960 [971273]
-010 1
001- 1
.names [969657] [971197] [971260] [971273] [971274]
--11 1
00-1 1
.names [968921] [969025] i_0_ n_n715 [971292]
1111 1
.names [970172] i_37_ i_38_ i_3_ [971293]
-101 1
010- 1
.names [969069] [969199] n_n1015 n_n880 [971296]
00-- 1
-000 1
.names [969003] [969291] [969293] [971296] [971298]
0--1 1
-001 1
.names [968950] [971292] [971293] [971298] [971299]
00-1 1
-001 1
.names [968921] i_15_ n_n1073 n_n966 [971307]
--0- 1
-1-0 1
0--0 1
.names [968923] [969134] i_0_ i_5_ [971308]
--00 1
0-0- 1
-0-0 1
00-- 1
.names [968921] [969078] [971307] n_n715 [971309]
0-1- 1
-01- 1
--10 1
.names [968989] [969049] n_n1014 n_n985 [971319]
0--0 1
0-1- 1
-0-0 1
-01- 1
.names [968997] [971319] i_38_ i_40_ [971320]
01-- 1
-111 1
-100 1
.names [968950] [969078] [971324]
11 1
.names i_38_ i_39_ i_5_ i_9_ [971330]
--01 1
-00- 1
0-0- 1
.names [968993] i_40_ n_n1009 [971335]
00- 1
0-0 1
.names [968975] [971335] i_36_ n_n1008 [971336]
-10- 1
-1-0 1
01-- 1
.names [970172] i_0_ i_37_ i_38_ [971340]
1111 1
.names [968981] [969022] [971324] i_38_ [971352]
1--0 1
-1-0 1
--10 1
.names [968988] i_0_ i_1_ i_4_ [971354]
1100 1
.names [969003] [971340] n_n528 n_n975 [971358]
1-1- 1
1--1 1
11-- 1
.names [969042] [969070] [971197] i_39_ [971359]
1--1 1
-111 1
.names [968950] i_2_ i_37_ i_38_ [971361]
1110 1
.names [968975] [969037] i_0_ i_5_ [971362]
1101 1
.names [971330] i_32_ i_33_ n_n1047 [971364]
0011 1
.names i_34_ i_35_ n_n700 n_n880 [971365]
0011 1
.names [971361] n_n1014 n_n862 n_n966 [971377]
01-- 1
0--0 1
0-0- 1
.names [968923] [969657] [971362] n_n918 [971378]
--00 1
-00- 1
0-0- 1
.names [968981] [971358] [971365] n_n1021 [971380]
000- 1
-001 1
.names [968998] [969294] [971354] [971377] [971381]
0-01 1
-001 1
.names [969132] [971364] [971378] o_15_ [971382]
0010 1
.names [971336] [971380] n_n874 [971384]
-10 1
11- 1
.names [971308] [971309] [971359] i_38_ [971387]
--00 1
110- 1
.names [971320] [971352] [971384] n_n1074 [971388]
-010 1
101- 1
.names [971274] [971299] [971381] [971382] [971389]
1111 1
.names i_11_ i_12_ i_15_ n_n860 [971403]
--0- 1
---0 1
00-- 1
.names [969065] [969129] [969309] i_16_ [971408]
---0 1
0--- 1
-00- 1
.names [971403] [971408] i_31_ n_n1066 [971409]
-11- 1
-1-0 1
11-- 1
.names [968928] i_28_ i_29_ i_30_ [971422]
0--- 1
-01- 1
-100 1
.names [968928] i_28_ i_29_ i_30_ [971426]
0--- 1
-011 1
-100 1
.names i_37_ i_38_ i_39_ i_40_ [971429]
1010 1
.names [971426] [971436] [971433]
01 1
.names [971429] i_33_ n_n1047 n_n883 [971436]
-111 1
111- 1
.names [969068] i_36_ i_37_ n_n1064 [971444]
10-- 1
-011 1
.names [969130] [971444] i_39_ i_40_ [971445]
-0-0 1
-00- 1
00-- 1
.names [968929] [968954] [969306] i_24_ [971449]
0--- 1
--00 1
-00- 1
.names i_37_ i_38_ i_39_ i_40_ [971453]
--11 1
-11- 1
1--1 1
1-0- 1
11-- 1
.names i_38_ n_n710 n_n715 n_n861 [971456]
1111 1
.names [969065] [969129] [971465] i_16_ [971462]
1111 1
.names [969076] i_39_ i_40_ n_n888 [971463]
1011 1
.names [971467] n_n1008 n_n1052 n_n582 [971464]
111- 1
11-1 1
.names i_36_ i_38_ i_39_ i_40_ [971465]
0100 1
.names i_31_ i_5_ i_7_ n_n1066 [971467]
0001 1
.names [969028] [969029] [971445] [971453] [971456] [971462] [971463] \
 [971464] n_n515 n_n710 [971473]
0---000000 1
0-1-0000-0 1
0--100000- 1
-0--00000- 1
0-110000-- 1
-01-0000-- 1
.names [971409] [971449] n_n1052 n_n528 [971474]
--00 1
1--0 1
-10- 1
11-- 1
.names i_23_ i_24_ [971478]
11 1
.names i_23_ i_24_ n_n848 [971479]
111 1
.names [969065] [969309] [971403] i_16_ [971492]
0--- 1
--10 1
-01- 1
.names n_n848 n_n850 n_n853 n_n945 [971496]
0--- 1
---0 1
-00- 1
.names [969065] [969129] [971492] i_16_ [971500]
--10 1
-01- 1
0-1- 1
.names [968932] [971504] [971643] n_n1067 [971503]
1111 1
.names i_35_ i_36_ i_38_ [971504]
011 1
.names [969673] i_7_ n_n1068 [971511]
101 1
.names [969139] [969681] [971511] [971922] [971515]
--01 1
0-0- 1
-00- 1
.names [969212] [971242] i_31_ n_n862 [971522]
1101 1
.names [968960] [969006] [971515] [971522] [971526]
--10 1
00-0 1
.names i_37_ i_38_ i_40_ n_n979 [971530]
---0 1
-10- 1
0-0- 1
00-- 1
.names [969073] [971492] i_36_ i_40_ [971535]
1000 1
.names [968997] i_39_ i_40_ n_n541 [971538]
1011 1
.names [971500] [971503] i_40_ n_n918 [971541]
-11- 1
0-11 1
.names [969284] i_34_ i_38_ i_39_ [971544]
1000 1
.names i_35_ i_37_ i_3_ [971545]
110 1
.names [970291] [971545] i_2_ n_n969 [971547]
1101 1
.names [969332] [971479] n_n850 n_n853 [971548]
0--- 1
-0-- 1
--00 1
.names [969027] [971496] [971530] [971547] [971550]
01-- 1
0-1- 1
-1-0 1
--10 1
.names [969066] [969199] [971535] [971538] [971552]
0-00 1
-000 1
.names [971496] [971544] [971548] [971550] [971553]
1-11 1
-011 1
.names [971526] [971552] i_33_ i_34_ [971554]
-1-1 1
-10- 1
11-- 1
.names [969318] i_37_ i_38_ n_n2439 [971562]
--10 1
-0-0 1
0--0 1
.names i_37_ i_38_ i_39_ i_40_ [971570]
--00 1
110- 1
0-11 1
00-0 1
001- 1
.names [969897] i_11_ i_38_ i_40_ [971574]
-1-1 1
--11 1
--00 1
-10- 1
1--0 1
11-- 1
1-1- 1
.names n_n795 n_n883 n_n888 n_n979 [971579]
-0-0 1
00-- 1
--00 1
0-0- 1
.names [971579] i_37_ i_38_ n_n1002 [971580]
1-1- 1
11-- 1
1--0 1
.names n_n1005 n_n969 n_n971 n_n979 [971585]
0-0- 1
--00 1
00-- 1
-0-0 1
.names [969029] [969073] i_37_ n_n1021 [971604]
11-- 1
1-11 1
.names [968923] [971574] i_36_ i_7_ [971605]
1010 1
.names [968996] [971604] [971605] i_32_ [971609]
-000 1
000- 1
.names [968989] [969143] [969320] [971562] [971610]
0--1 1
-001 1
.names [969040] [971570] [971609] n_n1777 [971611]
0-10 1
-110 1
.names [971580] [971585] [971610] n_n861 [971612]
--10 1
111- 1
.names [969292] [971433] [971473] [971474] [971611] [971612] i_31_ i_33_ \
 i_34_ n_n860 [971614]
-01111---0 1
-01111--1- 1
-01111-0-- 1
--11111--- 1
001111---- 1
.names i_18_ i_19_ [971619]
11 1
.names [968954] [970314] [971619] n_n860 [971620]
0--0 1
01-- 1
--00 1
-10- 1
.names [969308] i_24_ n_n834 [971624]
-10 1
0-0 1
.names [968998] [969036] [969066] i_23_ [971630]
1110 1
.names i_21_ i_22_ i_23_ [971633]
010 1
.names [969041] [971630] n_n834 [971635]
-00 1
00- 1
.names [970511] [971620] [971633] n_n857 [971636]
0--0 1
01-- 1
0-0- 1
.names [970528] [970560] [971636] n_n1908 [971638]
1010 1
.names i_3_ i_4_ [971643]
00 1
.names [968959] [968994] i_3_ i_4_ [971664]
111- 1
11-1 1
.names i_0_ i_3_ i_7_ n_n883 [971668]
1101 1
.names [969230] i_39_ n_n841 n_n993 [971672]
01-- 1
0--0 1
0-0- 1
.names [969077] [969136] n_n1908 n_n2581 [971673]
0-00 1
-000 1
.names [969042] [971664] [971668] o_32_ [971676]
00-0 1
-000 1
.names [971672] [971676] n_n1952 n_n2795 [971681]
1100 1
.names [970043] [971673] [972324] n_n1986 [971682]
1100 1
.names [970166] [970401] [970565] [971681] [971683]
1111 1
.names [970480] [971683] [971686]
11 1
.names [969025] [970594] [971682] [971686] [971688]
0-11 1
-111 1
.names i_16_ i_9_ n_n949 [971697]
001 1
.names i_15_ i_16_ n_n488 [971698]
101 1
.names i_28_ i_29_ n_n1066 n_n930 [971703]
1011 1
.names i_28_ i_29_ i_30_ [971705]
011 1
.names [968923] [971703] [971705] i_31_ [971707]
-0-1 1
00-- 1
-00- 1
.names [971765] i_33_ i_34_ i_35_ [971715]
0101 1
.names [968929] [970291] [971715] i_0_ [971718]
--00 1
0-0- 1
-10- 1
.names i_15_ i_9_ n_n488 n_n949 [971722]
01-- 1
0--0 1
-10- 1
--00 1
.names [968943] [968978] [971722] i_17_ [971727]
-0-1 1
00-- 1
-01- 1
.names [971822] [972544] n_n791 n_n979 [971737]
-1-0 1
-10- 1
11-- 1
.names [969071] i_34_ i_35_ i_36_ [971742]
1100 1
.names i_40_ n_n975 n_n979 [971743]
011 1
.names [969119] [971742] [971743] n_n791 [971748]
1--1 1
-1-1 1
--11 1
.names [968950] [969071] i_22_ [971749]
110 1
.names [968998] [969322] [971748] [971749] [971752]
0-00 1
-000 1
.names [968943] [968960] [971752] [971922] [971757]
0-1- 1
--10 1
-01- 1
.names i_0_ i_2_ i_32_ i_3_ [971765]
0--- 1
--1- 1
-0-0 1
.names [969122] [971765] n_n1014 n_n1061 [971770]
-1-- 1
0-0- 1
0--0 1
.names i_0_ i_1_ i_4_ [971774]
0-- 1
-00 1
.names [969122] i_0_ i_1_ i_4_ [971787]
11-1 1
111- 1
.names i_0_ i_1_ i_4_ [971788]
1-1 1
11- 1
.names [969897] [971787] n_n1008 n_n1061 [971789]
-00- 1
-0-0 1
00-- 1
.names i_38_ i_39_ i_5_ n_n1012 [971792]
1101 1
.names [969124] [971792] i_9_ n_n862 [971795]
-10- 1
1-01 1
.names [969006] [971795] [971822] [971922] [971798]
-0-0 1
00-- 1
-01- 1
.names [968993] i_5_ [971804]
10 1
.names [969299] i_36_ n_n1011 n_n1053 [971814]
01-- 1
0-0- 1
0--0 1
.names i_11_ i_12_ i_15_ i_5_ [971822]
---1 1
--0- 1
00-- 1
.names [972544] i_37_ i_40_ n_n1011 [971831]
0111 1
0001 1
.names n_n1001 n_n459 n_n975 n_n978 [971833]
11-- 1
-1-1 1
-11- 1
.names [969124] [971707] [971804] n_n985 [971838]
-01- 1
10-1 1
.names [968960] [971727] i_39_ n_n862 [971839]
10-- 1
-011 1
.names [969191] [969328] [971814] i_40_ [971840]
1-0- 1
11-0 1
.names [968923] [971774] n_n1014 n_n1061 [971844]
1011 1
.names [969769] [971833] n_n460 n_n978 [971849]
-00- 1
10-0 1
.names [968950] [969651] [970828] [971844] [971850]
-1-0 1
0--0 1
--10 1
.names [969038] [971831] n_n799 o_15_ [971851]
-000 1
00-0 1
.names [968923] [971770] [971789] n_n1066 [971852]
0--0 1
01-- 1
--10 1
-11- 1
.names [968978] [970091] [970140] [971840] [971853]
0--0 1
-100 1
.names [969189] [971718] [971849] i_36_ [971854]
--10 1
0-1- 1
-11- 1
.names [971838] [971839] [971851] [971852] [971860]
0011 1
.names i_21_ i_23_ n_n977 [971870]
-01 1
0-1 1
.names [968948] [970318] [971870] n_n969 [971878]
1-1- 1
10-1 1
.names [969056] [971878] i_22_ n_n857 [971879]
-01- 1
00-0 1
.names [970071] [971879] i_15_ i_24_ [971885]
0011 1
.names i_21_ i_23_ i_24_ [971887]
001 1
.names [968957] [969074] _35 [971889]
0-- 1
-0- 1
--1 1
.names [971620] [971887] [971889] n_n857 [971891]
--10 1
1-1- 1
-01- 1
.names [968929] i_7_ n_n1008 n_n1052 [971899]
1011 1
.names [968995] [969098] [971899] i_15_ [971903]
--10 1
11-0 1
.names [969041] n_n1023 n_n668 n_n833 [971904]
-111 1
111- 1
.names [968921] [969722] [971912] i_7_ [971906]
1010 1
.names i_38_ i_5_ n_n1047 [971912]
011 1
.names [970354] [971236] [971904] [971906] [971917]
0000 1
.names i_16_ i_17_ [971922]
00 1
.names i_16_ i_17_ [971924]
11 1
.names i_11_ i_12_ [971928]
11 1
.names [968927] i_7_ n_n1001 n_n1047 [971935]
1011 1
.names [968932] [971935] n_n1073 n_n977 [971939]
-00- 1
-0-0 1
00-- 1
.names [969673] i_14_ n_n775 n_n785 [971943]
-10- 1
--00 1
11-- 1
1--0 1
.names i_35_ i_36_ i_37_ n_n969 [971946]
1001 1
.names [969007] [971946] n_n1073 n_n967 [971953]
11-- 1
1-11 1
.names [968932] [969188] [969722] n_n1001 [971957]
1101 1
.names [968921] [969673] [971924] i_7_ [971964]
1010 1
.names [969077] [969122] [969126] [971953] [971965]
--00 1
00-0 1
.names [971928] [971939] [971957] i_9_ [971966]
--00 1
1-0- 1
-10- 1
.names [971964] [971965] n_n775 n_n785 [971967]
01-- 1
-100 1
.names [968927] [969139] [971943] [971966] [971968]
0--1 1
-0-1 1
--11 1
.names [970828] i_32_ i_40_ n_n983 [971978]
0011 1
.names i_7_ i_9_ n_n1074 [971984]
011 1
.names [968959] [968995] [969041] [970834] [971987]
-11- 1
11-- 1
-1-1 1
.names [969037] [969071] [971978] i_7_ [971988]
--10 1
11-0 1
.names [968932] [969041] [971987] i_13_ [971992]
--00 1
0-0- 1
-00- 1
.names [969005] [971984] [971988] n_n833 [971993]
--00 1
000- 1
.names i_13_ i_9_ n_n1001 n_n978 [971998]
00-- 1
0-0- 1
-0-0 1
--00 1
.names i_39_ i_40_ n_n985 n_n993 [972008]
-0-- 1
1--- 1
--00 1
.names i_38_ i_39_ n_n1073 n_n968 [972009]
-0-- 1
0-0- 1
1--0 1
--00 1
.names [971998] [972009] i_36_ [972011]
-11 1
11- 1
.names [968960] [968982] [972008] [972011] [972012]
0011 1
.names i_36_ i_37_ i_38_ i_39_ [972020]
1--- 1
-100 1
-011 1
.names [972020] i_36_ i_38_ i_40_ [972024]
1--1 1
11-- 1
1-0- 1
.names [969074] i_11_ i_12_ n_n874 [972027]
1001 1
.names [972020] i_33_ i_34_ i_35_ [972035]
0100 1
.names [969036] [972035] n_n975 n_n983 [972037]
-0-0 1
000- 1
.names [971992] [971993] i_15_ [972042]
0-0 1
-00 1
.names [969132] [969722] [972027] i_7_ [972044]
--10 1
10-0 1
.names [969126] i_36_ i_40_ n_n960 [972046]
1001 1
.names [968995] [972024] [972044] i_31_ [972051]
--00 1
0-0- 1
-10- 1
.names [971175] [972037] [972046] n_n668 [972052]
1-00 1
110- 1
.names [971903] [971917] [972051] [972053]
011 1
.names [969007] [972012] [972052] [972053] [972056]
0-11 1
-111 1
.names [968929] [968982] [970489] i_24_ [972064]
11-1 1
1-01 1
.names [969056] [969312] [971478] [972064] [972071]
00-0 1
-000 1
.names [969312] [970071] [972064] n_n848 [972073]
10-1 1
-011 1
.names [970071] i_15_ i_21_ n_n411 [972076]
0111 1
.names [969056] [972073] [972076] i_20_ [972080]
-1-1 1
1-11 1
.names [970071] [972071] i_25_ n_n848 [972081]
0011 1
.names [968984] [969891] [969893] [969917] [972094]
01-- 1
0-0- 1
-1-0 1
--00 1
.names [969911] [972094] n_n411 n_n857 [972096]
-1-0 1
-10- 1
11-- 1
.names [969072] [969101] n_n693 o_15_ [972102]
--00 1
0--0 1
-0-0 1
.names [969022] i_38_ i_39_ i_40_ [972120]
1110 1
1101 1
.names [968988] [972120] n_n1373 n_n973 [972131]
-000 1
000- 1
.names [971018] [971048] [971946] n_n2369 [972133]
01-0 1
0-00 1
.names [969319] [971041] [972131] n_n937 [972136]
-010 1
001- 1
.names [968984] [969917] [971053] [971057] [971132] [971140] [972102] \
 [972133] n_n1072 n_n1375 [972140]
-0-1001100 1
0--1001100 1
-0110011-0 1
0-110011-0 1
.names n_n760 n_n761 n_n764 n_n765 [972151]
0000 1
.names [968957] [969078] i_40_ i_7_ [972154]
1110 1
.names [968929] [969302] [969322] [970318] [972164]
0--1 1
00-- 1
--01 1
-00- 1
.names [969307] n_n1002 n_n710 n_n861 [972174]
1111 1
.names [972154] n_n1052 n_n1064 n_n525 [972176]
11-- 1
-111 1
.names [972151] i_36_ i_40_ n_n1011 [972181]
0001 1
.names [968943] [969326] [969329] n_n1987 [972185]
0--0 1
--00 1
-0-0 1
.names [969098] [969138] [969203] [972174] [972186]
--00 1
0--0 1
-0-0 1
.names [972185] i_38_ n_n1073 n_n841 [972188]
11-- 1
1-0- 1
1--0 1
.names [969315] [969331] [970465] [972188] [972190]
00-1 1
-001 1
.names [968954] [972164] [972186] [972190] [972192]
0-11 1
-111 1
.names [968959] [970122] [972176] [972181] [972193]
0-00 1
-100 1
.names [971624] [972151] [972192] n_n833 [972194]
--10 1
111- 1
.names [968981] [970432] i_38_ i_39_ [972220]
1100 1
.names [969006] [972226] n_n1048 n_n775 [972222]
-111 1
111- 1
.names i_12_ i_14_ i_15_ n_n853 [972226]
1011 1
.names [969006] [969097] [970252] [970310] [972229]
00-- 1
-01- 1
0--1 1
--11 1
.names [970252] [970310] [972222] n_n775 [972230]
--00 1
110- 1
.names [970453] [972229] n_n1055 n_n979 [972232]
-10- 1
-1-0 1
11-- 1
.names [969241] [970146] [972220] [972230] [972233]
0101 1
.names i_37_ i_38_ i_39_ i_40_ [972244]
---0 1
-01- 1
0-1- 1
00-- 1
110- 1
.names [969218] [969304] i_12_ n_n982 [972250]
--00 1
0-0- 1
-0-0 1
00-- 1
.names [969040] [970043] [972244] [972250] [972252]
01-1 1
-111 1
.names [969029] [969816] n_n710 n_n990 [972265]
1-11 1
111- 1
.names [972268] n_n1066 n_n930 [972266]
111 1
.names [968993] i_29_ i_5_ i_7_ [972268]
1000 1
.names [969104] [970219] [972265] [972266] [972271]
0000 1
.names [969027] [969136] [970165] [970172] [972278]
-001 1
000- 1
.names [969677] i_11_ i_5_ i_7_ [972286]
---1 1
--1- 1
11-- 1
.names [969005] i_0_ i_36_ i_37_ [972293]
1101 1
.names [968928] i_28_ i_29_ i_30_ [972299]
0--- 1
-000 1
.names [968928] i_15_ n_n1073 n_n973 [972301]
1011 1
.names [969291] [972299] [972301] i_34_ [972305]
--01 1
0-0- 1
-10- 1
.names [970590] i_35_ [972308]
01 1
.names [969028] [969120] i_11_ i_7_ [972323]
1110 1
.names [968959] [968994] i_2_ n_n833 [972324]
-111 1
111- 1
.names [969003] [969189] [972308] n_n758 [972327]
-11- 1
11-1 1
.names [969029] i_37_ i_39_ i_40_ [972329]
1011 1
.names [970888] n_n715 n_n799 n_n861 [972331]
-111 1
1-11 1
.names [969008] [969028] [969037] i_31_ [972333]
1110 1
.names [968997] [972278] i_38_ i_40_ [972336]
1011 1
.names [969204] i_15_ i_31_ i_32_ [972344]
1000 1
.names i_10_ i_27_ i_38_ i_39_ [972345]
1110 1
.names [972329] n_n1002 n_n861 n_n990 [972349]
00-- 1
0-0- 1
0--0 1
.names [968932] [972331] [972345] n_n971 [972350]
00-- 1
-0-0 1
-00- 1
.names [968956] [969076] [972323] n_n975 [972351]
--00 1
0-0- 1
-00- 1
.names [968970] [969036] [972286] [972333] [972352]
0--0 1
-0-0 1
--10 1
.names [972344] [972349] n_n330 n_n976 [972353]
-1-0 1
-10- 1
01-- 1
.names [968921] [971562] [972305] i_31_ [972355]
-1-1 1
01-- 1
-11- 1
.names [969317] [972293] [972336] n_n1021 [972359]
--00 1
000- 1
.names [969005] [972351] [972352] [972353] i_25_ i_26_ n_n693 [972361]
-111--0 1
-11101- 1
0111--- 1
.names [971664] [972350] [972355] [972359] [972363]
0111 1
.names [971624] [972271] [972361] n_n836 [972364]
-110 1
111- 1
.names [970095] [972252] [972324] [972327] [972365]
1100 1
.names [968928] i_29_ n_n1066 n_n930 [972372]
1111 1
.names [968923] [971422] [972372] i_31_ [972374]
--01 1
0-0- 1
-10- 1
.names i_40_ n_n833 n_n975 n_n985 [972386]
10-0 1
000- 1
-000 1
.names [968970] [968984] i_40_ n_n990 [972394]
--0- 1
-0-0 1
00-- 1
.names i_38_ i_39_ i_40_ n_n295 [972397]
1011 1
.names [968959] [969098] [970836] n_n329 [972402]
1--1 1
-1-1 1
--01 1
.names [970344] [972374] i_40_ n_n795 [972404]
1-0- 1
-001 1
.names [972394] i_15_ i_5_ i_7_ [972405]
0000 1
.names [968923] [969008] [969026] i_31_ [972408]
1110 1
.names [968957] [969074] [969306] [972397] [972412]
--00 1
0--0 1
-0-0 1
.names [968929] [969306] [970071] [972386] i_15_ i_24_ n_n528 [972416]
---1-0- 1
-0---0- 1
---10-- 1
-0--0-- 1
--11--- 1
---1--0 1
-01---- 1
-0----0 1
0------ 1
.names [969076] [971742] [972408] [972412] [972417]
0-01 1
-001 1
.names [968982] [969331] [972405] n_n515 [972418]
-000 1
000- 1
.names [969185] [972402] [972416] n_n334 [972419]
-010 1
001- 1
.names [968954] [969053] [971403] i_18_ [972432]
-10- 1
11-1 1
.names [969076] [971496] i_37_ n_n880 [972440]
1-11 1
-011 1
.names [969187] [971928] n_n1066 n_n989 [972445]
0-0- 1
0--0 1
-10- 1
-1-0 1
.names [969076] [969096] n_n1064 n_n969 [972450]
--00 1
0-0- 1
-0-0 1
00-- 1
.names [971496] [972450] i_38_ i_39_ [972451]
-1-1 1
-11- 1
11-- 1
.names [968981] [971620] n_n411 [972458]
101 1
.names [971580] i_32_ i_33_ i_7_ [972471]
0010 1
.names [969076] [972440] n_n1001 n_n979 [972472]
-1-1 1
1-11 1
.names [969008] [969101] i_31_ n_n1052 [972480]
1101 1
.names n_n1012 n_n966 n_n973 [972481]
111 1
.names [969029] [969307] n_n2439 [972487]
0-0 1
-00 1
.names [969143] n_n295 n_n795 n_n977 [972489]
--00 1
-00- 1
0--0 1
00-- 1
.names [968995] [969296] [969897] [972480] [972491]
0--0 1
-0-0 1
--10 1
.names [968929] [969203] [972487] n_n528 [972492]
--10 1
0-1- 1
-01- 1
.names [969097] [969699] [972471] n_n334 [972493]
--00 1
000- 1
.names [969066] [972323] [972481] [972491] [972495]
00-1 1
-001 1
.names [969004] [972445] [972492] n_n860 [972496]
--10 1
0-1- 1
-11- 1
.names [971548] [972489] [972493] [972496] [972499]
1111 1
.names [969321] [972458] [972472] n_n880 [972500]
--00 1
000- 1
.names [968956] [969009] [971496] [972432] [972451] [972495] n_n888 \
 [972501]
--1011- 1
-0--11- 1
0---11- 1
--10-10 1
-0---10 1
0----10 1
.names [968998] i_24_ n_n947 n_n949 [972508]
-1-- 1
0--- 1
--00 1
.names i_15_ i_5_ i_9_ n_n1021 [972511]
0001 1
.names [972511] n_n1021 n_n488 n_n862 [972515]
1--1 1
-111 1
.names [972515] n_n1014 n_n1065 n_n710 [972518]
00-- 1
0--0 1
0-0- 1
.names i_11_ i_12_ i_15_ i_5_ [972530]
---1 1
--0- 1
11-- 1
00-- 1
.names [972530] n_n1073 n_n775 n_n960 [972532]
0-1- 1
01-1 1
.names i_23_ i_38_ i_39_ i_40_ [972534]
0110 1
.names [971822] [972532] [972534] n_n888 [972536]
-0-0 1
10-- 1
-00- 1
.names [968998] i_22_ n_n947 n_n949 [972544]
-1-- 1
0--- 1
--00 1
.names [969004] [969095] i_5_ n_n874 [972554]
1101 1
.names [968950] [971822] i_22_ n_n866 [972555]
1001 1
.names [968923] [972564] i_15_ n_n488 [972556]
1111 1
.names i_16_ i_36_ i_39_ [972564]
001 1
.names [968923] [969296] [969897] [972554] [972566]
0--0 1
-0-0 1
--00 1
.names [971003] [972555] n_n1008 n_n710 [972567]
-00- 1
-0-0 1
10-- 1
.names [972556] n_n1011 n_n459 n_n460 [972568]
00-- 1
0-00 1
.names [971737] [972567] i_37_ i_38_ [972570]
-1-1 1
-10- 1
11-- 1
.names [968921] [972518] [972536] n_n1074 [972571]
0--0 1
01-- 1
--10 1
-11- 1
.names [972508] [972568] n_n1001 n_n162 [972572]
-10- 1
11-0 1
.names [972544] [972566] [972570] n_n969 [972573]
-110 1
111- 1
.names [972571] [972572] [972573] [972575]
111 1
.names i_14_ i_16_ n_n923 n_n985 [972584]
01-- 1
0--0 1
-10- 1
--00 1
.names [968959] [972584] i_17_ n_n923 [972585]
-11- 1
01-0 1
.names [968923] [968959] [969037] [969221] [972589]
0--0 1
-0-0 1
0-0- 1
-00- 1
.names i_11_ i_36_ i_9_ n_n960 [972594]
0001 1
.names [968923] [971922] [972589] [972594] [972595]
00-- 1
0-1- 1
-0-0 1
--10 1
.names n_n866 n_n888 n_n977 n_n998 [972599]
--00 1
-0-0 1
0-0- 1
00-- 1
.names [971822] [972599] n_n969 n_n979 [972603]
1--- 1
-1-0 1
-10- 1
.names [969070] [969731] i_16_ n_n880 [972609]
-10- 1
1-01 1
.names [969056] [972609] i_18_ i_21_ [972612]
-01- 1
-0-1 1
00-- 1
.names i_36_ i_37_ i_40_ [972616]
000 1
.names [968998] i_22_ n_n1001 n_n949 [972619]
1011 1
.names [969191] [971814] [972616] n_n1053 [972623]
10-- 1
1-11 1
.names [968982] [969686] [972619] n_n874 [972631]
--00 1
-10- 1
0-0- 1
.names [968923] [971697] [972623] n_n918 [972632]
--00 1
0-0- 1
-00- 1
.names [968921] [972603] [972631] i_21_ [972633]
--11 1
0-1- 1
-11- 1
.names [969055] [972585] [972632] n_n488 [972634]
--10 1
0-1- 1
-11- 1
.names [969677] [972595] [972633] i_5_ [972635]
--11 1
0-1- 1
-11- 1
.names [971722] [972612] [972634] [972635] [972637]
1-11 1
-111 1
.names i_28_ i_29_ i_30_ [972641]
000 1
.names [968993] [972641] i_9_ n_n997 [972645]
0-1- 1
0--0 1
-11- 1
-1-0 1
.names [969300] [969728] i_14_ i_31_ [972652]
-0-1 1
1-01 1
.names i_12_ i_13_ n_n874 [972655]
001 1
.names [968923] [969026] [972645] [972655] [972656]
00-- 1
-01- 1
0--0 1
--10 1
.names [968923] [971765] [971788] n_n1066 [972668]
0--0 1
01-- 1
--00 1
-10- 1
.names [972668] i_37_ i_40_ n_n1072 [972674]
0--1 1
011- 1
.names [968923] [969072] [972674] n_n973 [972677]
--00 1
0-0- 1
-00- 1
.names [968988] i_38_ i_39_ i_40_ [972710]
11-0 1
111- 1
.names [969124] i_37_ i_38_ n_n1074 [972712]
1101 1
.names [968950] [969851] [971643] n_n1055 [972714]
10-1 1
1-01 1
.names [969004] [969026] n_n874 n_n884 [972715]
1-11 1
-111 1
.names [969291] [972120] i_35_ n_n1074 [972721]
-00- 1
-0-0 1
00-- 1
.names [968981] [969025] [972710] n_n1015 [972722]
0-0- 1
-000 1
.names [969042] [972712] i_39_ n_n880 [972723]
00-- 1
-000 1
.names [968998] [969294] [972714] n_n1021 [972724]
0-0- 1
--00 1
-00- 1
.names [969069] [972721] n_n978 o_15_ [972726]
-100 1
01-0 1
.names [969330] [972715] [972726] i_25_ [972729]
-011 1
001- 1
.names [972575] [972652] [972656] i_5_ [972733]
1--1 1
101- 1
.names i_15_ i_24_ i_5_ i_7_ [972739]
---1 1
--1- 1
10-- 1
.names [968929] [969203] n_n985 [972742]
111 1
.names [968928] [969050] i_28_ i_29_ [972745]
1111 1
1100 1
.names [968956] [969008] [972745] n_n975 [972748]
--00 1
0-0- 1
-00- 1
.names [969005] i_25_ i_39_ n_n693 [972757]
1101 1
.names [969317] i_38_ i_39_ i_40_ [972758]
1110 1
.names [968975] [969101] [969306] i_36_ [972764]
1110 1
.names [972739] n_n1074 n_n968 n_n978 [972765]
0111 1
.names [968932] [968997] [969072] n_n973 [972767]
1111 1
.names [969127] [969129] i_14_ n_n775 [972768]
1101 1
.names [969050] [969963] i_5_ n_n861 [972769]
1001 1
.names [972742] i_40_ n_n287 n_n975 [972772]
11-- 1
-111 1
.names i_36_ i_37_ i_38_ i_39_ [972788]
0101 1
.names [969096] [972767] n_n795 n_n998 [972790]
-00- 1
-0-0 1
00-- 1
.names [969194] [969769] [972758] n_n866 [972792]
0-0- 1
-100 1
.names [969028] [969076] [972765] n_n1047 [972793]
--00 1
0-0- 1
-00- 1
.names [968923] [968993] [970657] [972769] [972795]
0--0 1
-0-0 1
--00 1
.names [968957] [969203] [972788] [972790] [972796]
-0-1 1
0--1 1
--01 1
.names [972757] i_40_ n_n1777 [972797]
01- 1
0-0 1
.names [972397] [972792] n_n287 n_n799 [972799]
010- 1
01-0 1
.names [970114] [972764] [972799] n_n313 [972803]
-010 1
101- 1
.names [968921] [972748] [972772] [972797] [972805]
0-01 1
-101 1
.names [969070] [972768] [972793] [972795] [972796] [972803] i_16_ i_31_ \
 n_n793 [972806]
-01111-0- 1
-011111-- 1
001111--- 1
-01111--0 1
.names i_11_ i_12_ i_14_ i_15_ [972811]
---0 1
00-- 1
111- 1
.names [968921] [971922] [972811] n_n860 [972814]
1001 1
.names [968921] [970618] [971924] [972814] [972816]
0--0 1
--00 1
-1-0 1
.names [969677] [970276] i_21_ n_n860 [972821]
---0 1
-01- 1
00-- 1
.names i_35_ i_36_ i_37_ i_38_ [972830]
0011 1
.names i_38_ i_39_ n_n1073 n_n993 [972831]
10-- 1
-00- 1
1--0 1
--00 1
.names [972830] [972831] n_n1014 n_n862 [972833]
011- 1
01-0 1
.names [972833] i_32_ i_33_ i_34_ [972836]
0010 1
.names [968928] [969070] [971922] [972836] [972839]
1--1 1
111- 1
.names [969070] [972839] i_17_ n_n793 [972842]
-01- 1
-0-0 1
00-- 1
.names [968929] i_26_ i_7_ n_n693 [972844]
1001 1
.names [968995] [969897] [972844] n_n1061 [972847]
--00 1
0-0- 1
-10- 1
.names [969127] [969129] [972816] i_14_ [972856]
--11 1
-01- 1
0-1- 1
.names i_34_ i_36_ i_37_ n_n883 [972858]
0101 1
.names [972858] i_37_ n_n1008 n_n979 [972862]
00-- 1
0--0 1
0-0- 1
.names [969127] [970618] [972814] n_n775 [972873]
--11 1
10-1 1
.names [972862] i_32_ i_33_ i_7_ [972878]
0010 1
.names [968928] [969132] i_12_ i_15_ [972879]
110- 1
11-0 1
.names [968929] [970642] [972821] [972884] [972881]
-1-1 1
1-01 1
.names [968982] i_22_ i_24_ [972884]
111 1
.names i_21_ i_23_ i_37_ n_n880 [972886]
0111 1
.names [968971] [972879] n_n1001 n_n1002 [972889]
-0-0 1
-00- 1
00-- 1
.names [969040] [969071] [972878] n_n2581 [972891]
0-00 1
-000 1
.names [969218] [969320] [972889] n_n795 [972892]
--10 1
001- 1
.names [969218] [970053] [972891] n_n982 [972893]
-010 1
001- 1
.names [969314] [971620] [972873] [972886] [972894]
0-0- 1
-10- 1
--00 1
.names [972847] [972856] i_39_ n_n785 [972896]
--10 1
1--0 1
-11- 1
11-- 1
.names [972892] [972893] [972896] [972898]
111 1
.names [972805] [972806] [972881] [972894] [972899]
1101 1
.names [968974] [969309] i_22_ n_n853 _35
--10 1
-0-0 1
0-1- 1
00-- 1
.names i_37_ i_38_ i_39_ n_n1001
011 1
.names i_34_ i_35_ i_36_ n_n1002
011 1
.names i_37_ i_38_ i_39_ n_n1005
110 1
.names i_39_ i_40_ n_n1008
00 1
.names i_36_ i_37_ i_38_ n_n1009
001 1
.names i_38_ i_39_ n_n1011
00 1
.names i_35_ i_36_ i_37_ n_n1012
001 1
.names i_39_ i_40_ n_n1014
11 1
.names i_38_ i_39_ n_n1015
01 1
.names i_39_ i_40_ n_n1021
10 1
.names i_33_ i_34_ i_35_ n_n1023
101 1
.names i_34_ i_35_ i_36_ n_n1047
000 1
.names i_31_ i_32_ i_33_ n_n1048
001 1
.names i_36_ i_37_ i_38_ n_n1052
000 1
.names i_33_ i_34_ i_35_ n_n1053
110 1
.names i_37_ i_38_ i_39_ n_n1055
100 1
.names i_32_ i_3_ i_4_ n_n1057
001 1
.names i_36_ i_37_ i_38_ n_n1061
101 1
.names i_39_ i_40_ n_n1064
01 1
.names i_36_ i_37_ i_38_ n_n1065
111 1
.names i_33_ i_34_ i_35_ n_n1066
100 1
.names i_0_ i_1_ i_2_ n_n1067
100 1
.names i_15_ i_16_ i_17_ n_n1068
111 1
.names i_38_ i_39_ i_40_ n_n1072
111 1
.names i_35_ i_36_ i_37_ n_n1073
000 1
.names i_32_ i_33_ i_34_ n_n1074
010 1
.names [969686] n_n1072 n_n1073 n_n1074 n_n1159
0111 1
.names [969221] [969891] n_n1047 n_n1048 n_n1373
1011 1
.names [969026] [970967] i_19_ n_n411 n_n1374
1011 1
.names [969024] [969026] [970956] n_n411 n_n1375
1101 1
.names [968998] [969677] i_22_ i_5_ n_n162
1100 1
.names [968929] i_0_ i_7_ n_n582 n_n1777
1101 1
.names i_38_ i_40_ n_n1073 n_n841 n_n1908
0011 1
.names [968932] [969077] i_0_ i_4_ n_n1952
1111 1
.names [968932] [969897] n_n967 n_n971 n_n1971
1111 1
.names i_36_ i_40_ n_n1011 n_n834 n_n1986
0111 1
.names [969078] [970523] i_7_ n_n1074 n_n1987
1101 1
.names [968971] i_37_ n_n1002 n_n1015 n_n1993
1111 1
.names [969124] [970961] n_n1066 n_n930 n_n2369
1111 1
.names i_37_ n_n1002 n_n1021 n_n861 n_n2439
0111 1
.names [968971] [968997] i_34_ n_n975 n_n2581
1111 1
.names [970076] i_12_ i_15_ n_n793 n_n2795
1111 1
.names [968921] i_7_ n_n710 n_n998 n_n287
1011 1
.names [970172] i_0_ n_n1002 n_n861 n_n295
1111 1
.names [968929] [969203] n_n313
11 1
.names n_n1066 n_n330 n_n989 n_n329
111 1
.names i_13_ i_5_ i_7_ n_n330
100 1
.names [969203] i_31_ n_n1074 n_n334
101 1
.names i_22_ i_23_ i_24_ n_n411
111 1
.names [968998] [969677] i_24_ i_5_ n_n459
1100 1
.names [968998] i_24_ n_n949 n_n460
101 1
.names i_12_ i_5_ i_9_ n_n488
100 1
.names [968957] [969651] i_7_ n_n515
110 1
.names [968929] [969306] n_n525
11 1
.names i_37_ i_39_ i_40_ n_n528
001 1
.names [968932] i_3_ i_4_ n_n1067 n_n541
1001 1
.names i_36_ i_37_ i_38_ n_n582
011 1
.names i_32_ i_5_ i_7_ n_n668
010 1
.names i_0_ i_5_ i_7_ n_n685
010 1
.names i_36_ i_37_ i_38_ n_n693
100 1
.names i_15_ i_32_ i_33_ n_n700
001 1
.names i_0_ i_1_ i_4_ n_n710
100 1
.names i_34_ i_35_ i_37_ n_n715
011 1
.names i_0_ i_2_ i_7_ n_n758
110 1
.names [968929] i_15_ i_22_ n_n850 n_n760
1101 1
.names [968929] i_15_ i_21_ n_n850 n_n761
1101 1
.names [969308] i_22_ n_n764
10 1
.names [968929] i_15_ i_21_ n_n853 n_n765
1101 1
.names i_37_ i_38_ i_39_ n_n1047 n_n775
1001 1
.names [971922] i_15_ n_n1048 n_n850 n_n781
1111 1
.names [969221] i_34_ i_35_ i_36_ n_n785
1000 1
.names i_21_ i_32_ i_33_ n_n791
001 1
.names i_5_ i_7_ i_9_ n_n793
000 1
.names i_37_ i_38_ i_39_ n_n795
101 1
.names i_38_ i_39_ i_40_ n_n799
010 1
.names i_36_ i_37_ i_38_ i_39_ n_n833
0011 1
.names [968929] i_15_ i_24_ n_n850 n_n834
1101 1
.names i_36_ i_38_ i_39_ n_n836
000 1
.names [969078] i_4_ i_7_ n_n966 n_n841
1101 1
.names i_15_ i_21_ i_22_ n_n848
111 1
.names i_12_ i_5_ i_7_ n_n850
100 1
.names i_11_ i_5_ i_7_ n_n853
100 1
.names [968981] i_38_ i_39_ i_40_ n_n857
1001 1
.names i_5_ i_7_ i_9_ n_n860
001 1
.names i_32_ i_33_ i_7_ n_n861
010 1
.names i_35_ i_36_ i_38_ n_n862
001 1
.names i_35_ i_36_ i_37_ n_n864
110 1
.names i_35_ i_36_ i_37_ n_n865
111 1
.names i_37_ i_38_ i_40_ n_n866
101 1
.names i_32_ i_33_ i_35_ n_n874
010 1
.names i_38_ i_40_ n_n880
01 1
.names i_38_ i_39_ i_40_ n_n883
101 1
.names i_13_ i_15_ i_5_ n_n884
000 1
.names i_34_ i_35_ i_37_ n_n888
010 1
.names [969651] i_32_ i_33_ n_n998 n_n902
1011 1
.names [968998] [969051] n_n905
11 1
.names i_11_ i_12_ i_5_ n_n907
000 1
.names i_36_ i_38_ i_39_ n_n918
001 1
.names i_36_ i_38_ i_39_ n_n923
011 1
.names i_30_ i_31_ i_32_ n_n930
000 1
.names [968991] [970951] i_5_ n_n1074 n_n937
1101 1
.names i_24_ i_32_ i_33_ n_n945
101 1
.names i_12_ i_15_ i_5_ n_n947
110 1
.names i_11_ i_15_ i_5_ n_n949
110 1
.names i_12_ i_5_ i_9_ n_n951
101 1
.names i_11_ i_5_ i_9_ n_n955
101 1
.names i_38_ i_39_ n_n960
11 1
.names i_32_ i_33_ i_34_ n_n966
011 1
.names i_38_ i_39_ i_40_ n_n967
100 1
.names i_35_ i_36_ i_37_ n_n968
100 1
.names i_38_ i_39_ i_40_ n_n969
000 1
.names i_35_ i_36_ i_37_ n_n970
011 1
.names i_35_ i_36_ i_37_ n_n971
010 1
.names i_38_ i_39_ i_40_ n_n973
011 1
.names i_37_ i_38_ i_39_ n_n975
000 1
.names i_33_ i_35_ i_36_ n_n976
100 1
.names i_38_ i_39_ i_40_ n_n977
110 1
.names i_38_ i_39_ i_40_ n_n978
001 1
.names i_34_ i_35_ i_36_ n_n979
010 1
.names i_37_ i_38_ i_39_ n_n982
010 1
.names i_33_ i_34_ i_36_ n_n983
100 1
.names i_36_ i_37_ i_38_ n_n985
010 1
.names i_15_ i_31_ i_32_ n_n989
000 1
.names i_37_ i_38_ i_39_ n_n990
001 1
.names i_34_ i_35_ i_36_ n_n991
001 1
.names i_35_ i_36_ i_38_ n_n993
000 1
.names i_37_ i_38_ i_39_ n_n997
111 1
.names i_34_ i_35_ i_36_ n_n998
100 1
.names [969765] [969844] [969845] o_1_
0-- 1
--0 1
-0- 1
.names [969870] [969884] [969885] i_6_ o_19_
--0- 1
-0-- 1
0--1 1
.names [969938] [970005] [970026] [970030] o_2_
0--- 1
---0 1
--0- 1
-1-- 1
.names [968981] [970287] [970393] n_n978 o_0_
--0- 1
10-1 1
.names [969286] [970061] [970401] [970417] o_29_
--0- 1
---0 1
11-- 1
.names [970480] [970537] [970567] [970574] o_25_
0--- 1
-0-- 1
--0- 1
---0 1
.names [968989] [969023] [970577] [970582] o_12_
--11 1
11-1 1
.names [970594] [970609] n_n969 o_26_
-0- 1
0-1 1
.names [968959] [970636] [970655] [970660] o_11_
--1- 1
---0 1
10-- 1
.names [970461] [970516] [970674] [970702] o_27_
0--- 1
-0-- 1
--0- 1
---0 1
.names [969330] [970713] i_13_ o_14_
-0- 1
1-1 1
.names [970528] [970560] n_n1908 o_28_
--1 1
0-- 1
-1- 1
.names [969022] [969325] n_n1011 o_15_ o_13_
---1 1
-1-- 1
1-1- 1
.names [968943] [970749] [970766] [970795] [970809] [970860] [970876] \
 [970877] i_5_ n_n1067 o_34_
--0------1 1
----0---1- 1
-------0-- 1
------0--- 1
-----1---- 1
---0------ 1
10-------- 1
.names [970916] [970922] i_7_ o_21_
-0- 1
0-0 1
.names [970933] [970940] [970948] n_n1005 o_16_
--0- 1
-1-- 1
0--1 1
.names [968943] [970724] [970991] [971013] [971014] [971027] [971030] \
 [971135] [971160] [971161] o_33_
---------0 1
--------0- 1
-------1-- 1
------0--- 1
-----0---- 1
----1----- 1
---1------ 1
1-0------- 1
-0-------- 1
.names [968996] [971183] [971203] [971251] i_31_ i_32_ i_5_ o_22_
10----1 1
1----1- 1
1-0-0-- 1
---0--- 1
.names i_33_ i_7_ o_15_
11 1
.names [969318] i_37_ i_38_ i_39_ o_32_
1110 1
.names [971387] [971388] [971389] o_23_
-0- 1
--0 1
0-- 1
.names [971541] [971553] [971554] [971614] o_18_
-0-- 1
--0- 1
1--- 1
---0 1
.names [970114] [971624] [971635] [971638] o_31_
--0- 1
---0 1
00-- 1
.names [970505] [970516] [970674] [971688] o_24_
0--- 1
-0-- 1
--0- 1
---0 1
.names [968943] [971737] [971757] [971798] [971822] [971850] [971853] \
 [971854] [971860] n_n1001 o_17_
-0-------1 1
--------0- 1
-------0-- 1
------0--- 1
-----0---- 1
--0-0----- 1
1--0------ 1
.names [969236] [971885] [971891] n_n1971 o_30_
---1 1
1--- 1
-1-- 1
--0- 1
.names [971967] [971968] [972042] [972056] o_20_
0--- 1
-0-- 1
--1- 1
---0 1
.names [970614] [972080] [972081] o_10_
0-- 1
--1 1
-1- 1
.names [969938] [972096] n_n2369 o_15_ o_9_
---1 1
--1- 1
0--- 1
-0-- 1
.names [969938] [972136] [972140] n_n1374 o_7_
---1 1
0--- 1
--0- 1
-0-- 1
.names [972102] n_n1012 n_n883 n_n966 o_8_
0--- 1
-111 1
.names [972193] [972194] [972232] [972233] [972363] [972364] [972365] o_5_
------0 1
-----0- 1
----0-- 1
---0--- 1
--0---- 1
-0----- 1
0------ 1
.names [968993] [972374] [972404] [972417] [972418] [972419] [972499] \
 [972500] [972501] o_6_
--------0 1
-------0- 1
------0-- 1
-----0--- 1
----0---- 1
---0----- 1
--1------ 1
10------- 1
.names [969189] [971718] [972637] [972677] [972722] [972723] [972724] \
 [972729] [972733] i_36_ o_3_
---0-----1 1
--------0- 1
-------0-- 1
------0--- 1
-----0---- 1
----0----- 1
--0------- 1
10-------- 1
.names [972842] [972898] [972899] i_31_ o_4_
--0- 1
-0-- 1
0--1 1
.end