| .model top |
| .inputs rdy1bmhs1 fullihs1 rdy2bmhs1 ck wantbmhs1 outpuths1 wantrths1 outavhs1 \ |
| tparrayhs1 fullohs1 prog_0 prog_1 prog_2 rttshs1 indonehs1 rdy1rths1 rdy2rths1 |
| .outputs sefullihs1 newtrhs1 mode2hs1 mode1hs1 tgwhbufhs1 rerttshs1 mode0hs1 \ |
| rewhbufhs1 sefullohs1 loadihhs1 actrths1 dumpihs1 lxhinhs1 shftorhs1 \ |
| seoutavhs1 newlinehs1 gobmhs1 actbmhs1 loadohhs1 txhinhs1 ldproghs1 gorths1 \ |
| shftirhs1 |
| .latch ni8 actrths1 re ck 2 |
| .latch ni19 shftirhs1 re ck 2 |
| .latch ni30 dumpihs1 re ck 2 |
| .latch n_n5 nstate_0 re ck 2 |
| .latch n_n15 lxhinhs1 re ck 2 |
| .latch ni29 ldproghs1 re ck 2 |
| .latch ni6 nstate_1 re ck 2 |
| .latch ni21 txhinhs1 re ck 2 |
| .latch ni5 nstate_2 re ck 2 |
| .latch ni4 nstate_3 re ck 2 |
| .latch ni3 nstate_4 re ck 2 |
| .latch ni2 nstate_5 re ck 2 |
| .latch ni22 loadohhs1 re ck 2 |
| .latch ni12 newtrhs1 re ck 2 |
| .latch ni13 rerttshs1 re ck 2 |
| .latch ni24 seoutavhs1 re ck 2 |
| .latch ni14 mode0hs1 re ck 2 |
| .latch n_n1 loadihhs1 re ck 2 |
| .latch ni15 mode1hs1 re ck 2 |
| .latch n_n0 sefullihs1 re ck 2 |
| .latch ni11 gobmhs1 re ck 2 |
| .latch n_n181 mode2hs1 re ck 2 |
| .latch ni25 sefullohs1 re ck 2 |
| .latch n_n2 gorths1 re ck 2 |
| .latch n_n14 newlinehs1 re ck 2 |
| .latch ni28 rewhbufhs1 re ck 2 |
| .latch ni9 actbmhs1 re ck 2 |
| .latch n_n29 shftorhs1 re ck 2 |
| .latch ni27 tgwhbufhs1 re ck 2 |
| .names n_n88 [320] [917] [918] ni8 |
| -1-- 1 |
| ---1 1 |
| 0-1- 1 |
| .names nstate_0 nstate_4 [135] n_n88 ni19 |
| --1- 1 |
| 01-0 1 |
| .names [129] [133] n_n22 [95] ni30 |
| 11-- 1 |
| --00 1 |
| .names [298] [301] [936] [937] n_n5 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names rdy2bmhs1 [168] [947] n_n15 |
| --1 1 |
| 01- 1 |
| .names nstate_2 nstate_3 [97] ni29 |
| 011 1 |
| .names rdy2bmhs1 [144] [964] ni6 |
| --1 1 |
| 11- 1 |
| .names prog_2 [146] [264] [967] ni21 |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names [253] [255] [256] [978] ni5 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [138] n_n174 [249] [250] ni4 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [133] [242] [983] [985] ni3 |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names [995] [996] ni2 |
| 1- 1 |
| -1 1 |
| .names [214] [215] [1012] [1013] ni22 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names nstate_3 [97] [1016] ni12 |
| --1 1 |
| 11- 1 |
| .names rttshs1 nstate_1 nstate_3 n_n189 ni13 |
| 1001 1 |
| .names fullihs1 outavhs1 fullohs1 ni24 |
| 10- 1 |
| -01 1 |
| .names [205] [206] [1017] ni14 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names prog_0 prog_1 n_n22 [1029] n_n1 |
| ---1 1 |
| 110- 1 |
| 000- 1 |
| .names [170] [195] [196] [990] ni15 |
| -1-- 1 |
| --1- 1 |
| 1--1 1 |
| .names [150] [191] [1024] [1032] n_n0 |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names n_n191 n_n35 [188] [1034] ni11 |
| 1--- 1 |
| -0-- 1 |
| --1- 1 |
| ---1 1 |
| .names nstate_0 nstate_4 n_n88 n_n181 |
| 010 1 |
| .names [177] [1037] [1038] ni25 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n177 [124] [175] [1046] n_n2 |
| ---1 1 |
| 11-- 1 |
| -11- 1 |
| .names n_n64 [1000] [1002] [1048] n_n14 |
| ---1 1 |
| 00-- 1 |
| 0-1- 1 |
| .names fullihs1 outavhs1 ni28 |
| 00 1 |
| .names prog_0 [135] [103] [1050] ni9 |
| ---1 1 |
| 01-- 1 |
| 0-1- 1 |
| .names [138] n_n88 [915] [1054] n_n29 |
| 1--- 1 |
| ---1 1 |
| -01- 1 |
| .names fullihs1 outavhs1 ni27 |
| 10 1 |
| .names nstate_0 nstate_1 nstate_3 nstate_5 [122] |
| 0101 1 |
| .names prog_2 nstate_2 nstate_4 [122] [135] |
| 0001 1 |
| .names wantbmhs1 wantrths1 prog_0 [129] |
| 010 1 |
| .names prog_2 rdy2rths1 n_n88 [920] [133] |
| 1100 1 |
| .names nstate_2 nstate_4 [134] |
| 10 1 |
| .names nstate_0 nstate_2 nstate_4 nstate_5 n_n189 |
| 0100 1 |
| .names nstate_0 nstate_2 nstate_3 nstate_5 n_n87 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---0 1 |
| .names prog_2 nstate_1 nstate_4 [1036] [103] |
| 0001 1 |
| .names nstate_2 nstate_3 nstate_4 nstate_5 [96] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---0 1 |
| .names rdy1rths1 rdy2rths1 [141] |
| 01 1 |
| 10 1 |
| .names prog_2 nstate_4 [120] |
| 1- 1 |
| -1 1 |
| .names nstate_0 nstate_1 nstate_4 nstate_5 [97] |
| 0000 1 |
| .names nstate_2 nstate_3 [97] [970] n_n191 |
| 0011 1 |
| .names fullihs1 [96] [998] [999] n_n35 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names fullihs1 fullohs1 [99] |
| 0- 1 |
| -0 1 |
| .names rdy1bmhs1 rdy2bmhs1 [123] |
| 10 1 |
| .names prog_2 n_n88 [920] [922] n_n22 |
| 0--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names rdy1rths1 rdy2rths1 [85] |
| 0- 1 |
| -0 1 |
| .names prog_0 n_n87 [131] [949] [93] |
| 1011 1 |
| .names fullihs1 fullohs1 [126] |
| 01 1 |
| .names nstate_1 nstate_3 n_n189 [138] |
| 111 1 |
| .names wantbmhs1 [133] [286] [287] [144] |
| --1- 1 |
| 11-- 1 |
| 1--1 1 |
| .names [120] [88] [127] [953] [143] |
| --11 1 |
| 111- 1 |
| .names prog_0 n_n87 [148] [147] [146] |
| 001- 1 |
| 10-1 1 |
| .names nstate_1 nstate_2 nstate_3 nstate_5 n_n88 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---0 1 |
| .names fullihs1 fullohs1 prog_2 nstate_4 [92] |
| ---1 1 |
| 001- 1 |
| .names nstate_1 nstate_4 nstate_5 [128] |
| 000 1 |
| .names nstate_3 [90] [926] [927] n_n174 |
| 1--1 1 |
| -011 1 |
| .names fullihs1 [96] n_n64 |
| 1- 1 |
| -1 1 |
| .names fullohs1 prog_2 [129] [202] [150] |
| ---1 1 |
| 011- 1 |
| .names nstate_3 nstate_5 [88] |
| 01 1 |
| .names nstate_0 nstate_1 [127] |
| 01 1 |
| .names nstate_1 n_n87 [92] n_n177 |
| 101 1 |
| .names rdy1rths1 rdy2rths1 [124] |
| 10 1 |
| .names prog_0 n_n88 [1007] [1008] n_n48 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names rdy1rths1 rdy2rths1 [132] |
| 01 1 |
| .names rdy1bmhs1 rdy1rths1 [96] [155] [153] |
| --1- 1 |
| 1--1 1 |
| -1-1 1 |
| .names prog_1 prog_2 n_n189 [988] [152] |
| --0- 1 |
| ---0 1 |
| 00-- 1 |
| .names rdy1bmhs1 rdy2bmhs1 wantbmhs1 [84] |
| --0 1 |
| 10- 1 |
| .names prog_2 n_n88 [920] [118] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names wantrths1 rdy1rths1 rdy2rths1 [158] |
| 0-- 1 |
| -10 1 |
| .names rdy1bmhs1 rdy2bmhs1 [90] |
| 0- 1 |
| -0 1 |
| .names prog_2 n_n88 [100] |
| 0- 1 |
| -1 1 |
| .names nstate_0 nstate_1 nstate_3 nstate_5 [125] |
| 1001 1 |
| .names rdy1rths1 rdy2rths1 [163] |
| 01 1 |
| 10 1 |
| .names prog_0 prog_1 [95] |
| 01 1 |
| 10 1 |
| .names nstate_2 nstate_4 [171] [305] [165] |
| 1--- 1 |
| ---1 1 |
| -01- 1 |
| .names nstate_1 nstate_4 [87] |
| 00 1 |
| .names prog_0 prog_2 [99] n_n88 [168] |
| -1-0 1 |
| 0-10 1 |
| .names prog_0 prog_2 n_n87 [99] [167] |
| -10- 1 |
| 1-01 1 |
| .names prog_2 nstate_1 nstate_4 [131] |
| 000 1 |
| .names nstate_0 nstate_1 [170] |
| 01 1 |
| 10 1 |
| .names fullihs1 fullohs1 prog_2 indonehs1 [171] |
| 1-1- 1 |
| -11- 1 |
| --00 1 |
| .names fullihs1 fullohs1 nstate_4 [139] |
| 000 1 |
| .names wantrths1 rdy1rths1 rdy2rths1 [172] |
| 0-- 1 |
| -10 1 |
| .names rdy1bmhs1 fullihs1 rdy2bmhs1 fullohs1 [148] |
| 00-- 1 |
| --10 1 |
| .names fullihs1 fullohs1 rdy1rths1 rdy2rths1 [147] |
| -00- 1 |
| 0--1 1 |
| .names fullihs1 fullohs1 nstate_0 [155] |
| --0 1 |
| 00- 1 |
| .names prog_2 n_n189 [988] [111] |
| 111 1 |
| .names n_n87 [163] [131] [1040] [116] |
| 0111 1 |
| .names nstate_1 n_n189 [1042] [117] |
| 111 1 |
| .names prog_2 n_n87 [139] [1043] [175] |
| 1011 1 |
| .names indonehs1 [103] [182] [184] [177] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names n_n87 [132] [131] [933] [178] |
| 0111 1 |
| .names outpuths1 nstate_0 nstate_4 n_n88 [182] |
| 1010 1 |
| .names nstate_0 nstate_1 nstate_4 [972] [184] |
| 0100 1 |
| 1000 1 |
| .names nstate_0 [123] n_n88 [92] [187] |
| 1101 1 |
| .names fullihs1 fullohs1 n_n48 [223] [188] |
| 0-0- 1 |
| -00- 1 |
| 0--1 1 |
| -0-1 1 |
| .names indonehs1 nstate_2 [122] [120] [191] |
| 1010 1 |
| .names prog_1 nstate_0 nstate_4 n_n88 [195] |
| 1010 1 |
| .names nstate_0 nstate_1 nstate_4 [972] [196] |
| 0100 1 |
| 1000 1 |
| .names n_n87 [131] [1025] [1026] [198] |
| 0111 1 |
| .names fullohs1 prog_0 prog_2 rdy1rths1 [202] |
| 1100 1 |
| .names prog_0 nstate_0 nstate_4 n_n88 [205] |
| 1010 1 |
| .names prog_0 prog_2 nstate_4 [122] [206] |
| 0001 1 |
| .names n_n87 [141] [131] [933] [213] |
| 0111 1 |
| .names wantbmhs1 [219] [220] [214] |
| 01- 1 |
| 0-1 1 |
| .names fullohs1 n_n48 [223] [215] |
| 00- 1 |
| 0-1 1 |
| .names prog_2 n_n87 [124] [139] [219] |
| 1011 1 |
| .names wantrths1 prog_2 n_n88 [920] [220] |
| 0100 1 |
| .names nstate_3 nstate_4 [941] [1003] [221] |
| 1001 1 |
| .names nstate_1 nstate_3 n_n189 [222] |
| 011 1 |
| .names prog_0 [123] n_n88 [1010] [223] |
| 0101 1 |
| .names rdy1bmhs1 rdy2bmhs1 nstate_0 nstate_1 [227] |
| 1010 1 |
| .names rdy1rths1 rdy2rths1 nstate_0 nstate_1 [228] |
| 1001 1 |
| .names fullihs1 fullohs1 prog_2 [96] [229] |
| 1-10 1 |
| -110 1 |
| .names prog_0 n_n88 [90] [125] [230] |
| --11 1 |
| 001- 1 |
| .names prog_0 [122] n_n87 [85] [231] |
| -1-1 1 |
| 1-01 1 |
| .names prog_2 nstate_0 n_n88 [232] |
| 100 1 |
| .names rdy2rths1 nstate_4 [122] [984] [242] |
| -1-1 1 |
| 011- 1 |
| .names indonehs1 nstate_0 nstate_4 n_n88 [243] |
| 0010 1 |
| .names rdy2bmhs1 prog_0 prog_1 [244] |
| 101 1 |
| 110 1 |
| .names nstate_0 nstate_3 [128] [249] |
| 111 1 |
| .names tparrayhs1 nstate_3 nstate_4 [941] [250] |
| 0100 1 |
| .names nstate_1 n_n87 [92] [124] [253] |
| 1011 1 |
| .names nstate_0 [123] n_n88 [92] [254] |
| 1101 1 |
| .names nstate_1 nstate_3 nstate_4 [941] [255] |
| 1100 1 |
| .names indonehs1 nstate_0 nstate_1 [972] [256] |
| 0010 1 |
| 0100 1 |
| .names rttshs1 n_n189 [257] |
| 01 1 |
| .names nstate_0 nstate_1 [261] |
| 11 1 |
| 00 1 |
| .names rdy1bmhs1 nstate_0 [96] [264] |
| 010 1 |
| .names n_n87 [126] [131] [951] [274] |
| 0111 1 |
| .names indonehs1 nstate_1 nstate_3 n_n189 [277] |
| 0111 1 |
| .names nstate_2 nstate_4 [122] [171] [278] |
| 1-1- 1 |
| -011 1 |
| .names rdy1bmhs1 nstate_0 n_n88 [92] [286] |
| 0101 1 |
| .names prog_2 n_n87 [87] [954] [287] |
| 1011 1 |
| .names nstate_2 nstate_3 [944] [289] |
| 001 1 |
| .names n_n87 [131] [929] [298] |
| 011 1 |
| .names nstate_1 n_n87 [92] [132] [301] |
| 1011 1 |
| .names n_n87 [124] [131] [933] [302] |
| 0111 1 |
| .names rdy1bmhs1 rdy2bmhs1 prog_2 nstate_4 [305] |
| 0-1- 1 |
| -01- 1 |
| 0--1 1 |
| -0-1 1 |
| .names prog_0 prog_2 nstate_4 [122] [320] |
| 1001 1 |
| .names nstate_4 nstate_0 [915] |
| 10 1 |
| .names prog_0 prog_2 nstate_0 nstate_4 [917] |
| 1010 1 |
| .names nstate_2 [122] n_n88 [915] [918] |
| 11-- 1 |
| --01 1 |
| .names fullihs1 fullohs1 nstate_0 nstate_4 [920] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names rdy2bmhs1 wantbmhs1 wantrths1 [922] |
| 0-- 1 |
| -0- 1 |
| --1 1 |
| .names fullihs1 fullohs1 nstate_0 nstate_1 [925] |
| 1-11 1 |
| -111 1 |
| .names fullihs1 fullohs1 nstate_0 [926] |
| 000 1 |
| .names nstate_1 nstate_2 nstate_4 nstate_5 [927] |
| 0000 1 |
| .names rdy1bmhs1 rdy2bmhs1 fullohs1 prog_0 [929] |
| 1000 1 |
| .names rdy1bmhs1 rdy2bmhs1 wantbmhs1 wantrths1 [931] |
| 1--1 1 |
| -1-1 1 |
| --01 1 |
| .names prog_0 fullohs1 [933] |
| 10 1 |
| .names [96] n_n174 [302] [925] [936] |
| -1-- 1 |
| --1- 1 |
| 0--1 1 |
| .names [133] [125] [165] [931] [937] |
| -11- 1 |
| 1--1 1 |
| .names nstate_4 nstate_3 [940] |
| 1- 1 |
| -0 1 |
| .names nstate_0 nstate_2 nstate_5 [941] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names prog_2 nstate_0 nstate_1 nstate_4 [944] |
| 1000 1 |
| .names nstate_3 nstate_4 [97] [941] [945] |
| --1- 1 |
| 10-0 1 |
| .names rdy2rths1 [167] [289] [945] [947] |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names fullihs1 fullohs1 rdy1rths1 rdy2rths1 [949] |
| 0110 1 |
| .names rdy1bmhs1 rdy2bmhs1 prog_0 [951] |
| 100 1 |
| .names nstate_2 nstate_3 nstate_4 [953] |
| 100 1 |
| .names fullihs1 fullohs1 rdy1rths1 [954] |
| 001 1 |
| .names [96] [925] [940] [941] [958] |
| 01-- 1 |
| --00 1 |
| .names rdy1rths1 rdy2rths1 [143] [277] [960] |
| ---1 1 |
| 0-1- 1 |
| -01- 1 |
| .names [93] [274] [278] [962] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n22 [958] [960] [962] [964] |
| 0--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names nstate_3 nstate_4 [97] [941] [967] |
| --1- 1 |
| 10-0 1 |
| .names rdy1bmhs1 fullihs1 rdy2bmhs1 fullohs1 [970] |
| 1010 1 |
| .names nstate_2 nstate_3 nstate_5 [972] |
| 0-- 1 |
| -1- 1 |
| --0 1 |
| .names nstate_1 nstate_3 n_n189 [973] |
| 1-1 1 |
| -11 1 |
| .names n_n191 [254] [257] [973] [978] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [84] [158] [244] [982] |
| 11- 1 |
| -11 1 |
| .names rdy1bmhs1 rdy2bmhs1 wantbmhs1 prog_0 [983] |
| --01 1 |
| 10-1 1 |
| .names rdy2bmhs1 [125] [261] [972] [984] |
| 01-- 1 |
| --00 1 |
| .names [118] [243] [982] [985] |
| -1- 1 |
| 0-1 1 |
| .names rttshs1 nstate_1 nstate_3 [988] |
| 100 1 |
| .names prog_2 nstate_3 nstate_4 nstate_5 [990] |
| 0001 1 |
| .names nstate_0 nstate_1 [972] [990] [992] |
| 010- 1 |
| 100- 1 |
| 01-1 1 |
| 10-1 1 |
| .names n_n181 [153] [152] [230] [995] |
| 1--- 1 |
| -0-- 1 |
| --0- 1 |
| ---1 1 |
| .names [229] [231] [232] [992] [996] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names nstate_0 rdy1rths1 [998] |
| 0- 1 |
| -1 1 |
| .names rdy1bmhs1 fullohs1 nstate_1 [999] |
| 1-- 1 |
| -1- 1 |
| --0 1 |
| .names rdy1rths1 nstate_0 [999] [1000] |
| 1-- 1 |
| -0- 1 |
| --1 1 |
| .names fullohs1 prog_2 [227] [228] [1002] |
| 011- 1 |
| 01-1 1 |
| .names nstate_1 tparrayhs1 [1003] |
| 11 1 |
| .names rdy1bmhs1 rdy2bmhs1 [139] [172] [1005] |
| 1011 1 |
| .names rdy2bmhs1 rdy1bmhs1 [1007] |
| 0- 1 |
| -1 1 |
| .names prog_2 nstate_0 nstate_4 [1008] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names prog_2 nstate_0 nstate_4 [1010] |
| 000 1 |
| .names [100] [221] [222] [1005] [1012] |
| -1-- 1 |
| --1- 1 |
| 0--1 1 |
| .names n_n64 [213] [1000] [1002] [1013] |
| -1-- 1 |
| 0-0- 1 |
| 0--1 1 |
| .names nstate_3 nstate_4 n_n189 [941] [1016] |
| 1-1- 1 |
| 10-0 1 |
| .names [122] [134] n_n88 [917] [1017] |
| 11-- 1 |
| --01 1 |
| .names rdy2rths1 nstate_0 nstate_1 [1023] |
| 100 1 |
| .names fullihs1 [96] [1023] [1024] |
| 001 1 |
| .names fullihs1 fullohs1 prog_0 [1025] |
| 010 1 |
| .names rdy1bmhs1 rdy2bmhs1 [1026] |
| 01 1 |
| 10 1 |
| .names [93] [150] [198] [1024] [1029] |
| 1--- 1 |
| --1- 1 |
| -1-1 1 |
| .names n_n22 [126] n_n48 [95] [1032] |
| -10- 1 |
| 0--0 1 |
| .names wantbmhs1 [100] [187] [1005] [1034] |
| --1- 1 |
| 10-1 1 |
| .names nstate_0 nstate_3 nstate_5 [1036] |
| 101 1 |
| .names n_n35 [221] [222] [1037] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names fullohs1 n_n48 [178] [1038] |
| --1 1 |
| 00- 1 |
| .names fullihs1 fullohs1 prog_0 [1040] |
| 0-1 1 |
| -01 1 |
| .names rdy1rths1 rdy2rths1 nstate_3 [1042] |
| 110 1 |
| .names rdy1bmhs1 rdy2bmhs1 wantbmhs1 wantrths1 [1043] |
| --01 1 |
| 10-1 1 |
| .names n_n35 [116] [117] [1046] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n87 n_n191 [131] [111] [1048] |
| -1-- 1 |
| ---1 1 |
| 0-1- 1 |
| .names nstate_2 n_n88 [125] [915] [1049] |
| 1-1- 1 |
| -0-1 1 |
| .names nstate_3 [97] [1016] [1049] [1050] |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names nstate_3 nstate_2 [1051] |
| 10 1 |
| .names [128] [940] [941] [1051] [1052] |
| -00- 1 |
| 1--1 1 |
| .names [131] [184] [1036] [1052] [1054] |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .end |
