diff --git a/bin/verilator b/bin/verilator index 65acaf2f8..92ba9dde5 100755 --- a/bin/verilator +++ b/bin/verilator @@ -440,6 +440,7 @@ detailed descriptions of these arguments. --trace-params Enable tracing of parameters --trace-structs Enable tracing structure names --trace-threads Enable FST waveform creation on separate threads + --no-trace-top Do not emit traces for signals in the top module generated by verilator --trace-underscore Enable tracing of _signals -U Undefine preprocessor define --no-unlimited-stack Don't disable stack size limit diff --git a/docs/CONTRIBUTORS b/docs/CONTRIBUTORS index b9b184379..f066d9bef 100644 --- a/docs/CONTRIBUTORS +++ b/docs/CONTRIBUTORS @@ -40,6 +40,7 @@ Fan Shupei february cozzocrea Felix Neumärker Felix Yan +Frans Skarman G-A. Kamendje Garrett Smith Geza Lore diff --git a/docs/guide/exe_verilator.rst b/docs/guide/exe_verilator.rst index 6ec962e1e..87f9db880 100644 --- a/docs/guide/exe_verilator.rst +++ b/docs/guide/exe_verilator.rst @@ -1314,6 +1314,7 @@ Summary: This is not needed with standard designs with only one top. See also :option:`MULTITOP` warning. + .. option:: --trace Adds waveform tracing code to the model using VCD format. This overrides @@ -1392,6 +1393,17 @@ Summary: This option is accepted, but has absolutely no effect with :vlopt:`--trace`, which respects :vlopt:`--threads` instead. +.. option:: --no-trace-top + + Disables tracing for the input and output signals in the top wrapper which + Verilator adds to the design. The signals are still traced in the original + verilog top modules. + + When combined with :option:`--main-top-name` set to "-" or when the name of + the top module is set to "" in its constructor, the generated trace file + will have the verilog top module as its root, rather than another module + added by Verilator. + .. option:: --trace-underscore Enable tracing of signals or modules that start with an diff --git a/src/V3LinkLevel.cpp b/src/V3LinkLevel.cpp index 609563b99..cd0f0a195 100644 --- a/src/V3LinkLevel.cpp +++ b/src/V3LinkLevel.cpp @@ -289,6 +289,10 @@ void V3LinkLevel::wrapTopCell(AstNetlist* rootp) { varp->trace(false); } + if (v3Global.opt.noTraceTop() && varp->isIO()) { + varp->trace(false); + } + AstPin* const pinp = new AstPin{ oldvarp->fileline(), 0, varp->name(), new AstVarRef{varp->fileline(), varp, diff --git a/src/V3Options.cpp b/src/V3Options.cpp index 611f62b20..47ac50329 100644 --- a/src/V3Options.cpp +++ b/src/V3Options.cpp @@ -1496,6 +1496,7 @@ void V3Options::parseOptsList(FileLine* fl, const string& optdir, int argc, char DECL_OPTION("-timing", OnOff, &m_timing); DECL_OPTION("-top-module", Set, &m_topModule); DECL_OPTION("-top", Set, &m_topModule); + DECL_OPTION("-no-trace-top", Set, &m_noTraceTop); DECL_OPTION("-trace", OnOff, &m_trace); DECL_OPTION("-trace-coverage", OnOff, &m_traceCoverage); DECL_OPTION("-trace-depth", Set, &m_traceDepth); diff --git a/src/V3Options.h b/src/V3Options.h index dcdf0d96b..f68c32d11 100644 --- a/src/V3Options.h +++ b/src/V3Options.h @@ -280,6 +280,7 @@ private: bool m_traceCoverage = false; // main switch: --trace-coverage bool m_traceParams = true; // main switch: --trace-params bool m_traceStructs = false; // main switch: --trace-structs + bool m_noTraceTop; // main switch: --no-trace-top bool m_traceUnderscore = false; // main switch: --trace-underscore bool m_underlineZero = false; // main switch: --underline-zero; undocumented old Verilator 2 bool m_verilate = true; // main switch: --verilate @@ -578,6 +579,7 @@ public: bool protectKeyProvided() const { return !m_protectKey.empty(); } string protectKeyDefaulted() VL_MT_SAFE; // Set default key if not set by user string topModule() const { return m_topModule; } + bool noTraceTop() const { return m_noTraceTop; } string unusedRegexp() const { return m_unusedRegexp; } string waiverOutput() const { return m_waiverOutput; } bool isWaiverOutput() const { return !m_waiverOutput.empty(); } diff --git a/test_regress/t/t_no_trace_top.cpp b/test_regress/t/t_no_trace_top.cpp new file mode 100644 index 000000000..e53cd583d --- /dev/null +++ b/test_regress/t/t_no_trace_top.cpp @@ -0,0 +1,44 @@ +// -*- mode: C++; c-file-style: "cc-mode" -*- +// +// DESCRIPTION: Verilator: Verilog Test module +// +// This file ONLY is placed under the Creative Commons Public Domain, for +// any use, without warranty, 2008 by Wilson Snyder. +// SPDX-License-Identifier: CC0-1.0 + +#include +#include + +#include + +#include VM_PREFIX_INCLUDE + +unsigned long long main_time = 0; +double sc_time_stamp() { return (double)main_time; } + +int main(int argc, char** argv) { + Verilated::debug(0); + Verilated::traceEverOn(true); + Verilated::commandArgs(argc, argv); + + std::unique_ptr top{new VM_PREFIX{"top"}}; + + std::unique_ptr tfp{new VerilatedVcdC}; + top->trace(tfp.get(), 99); + tfp->open(VL_STRINGIFY(TEST_OBJ_DIR) "/simno_trace_top.vcd"); + + top->clk = 0; + + while (main_time < 1900) { // Creates 2 files + top->clk = !top->clk; + top->eval(); + tfp->dump((unsigned int)(main_time)); + ++main_time; + } + tfp->close(); + top->final(); + tfp.reset(); + top.reset(); + printf("*-* All Finished *-*\n"); + return 0; +} diff --git a/test_regress/t/t_no_trace_top.out b/test_regress/t/t_no_trace_top.out new file mode 100644 index 000000000..0d64685ff --- /dev/null +++ b/test_regress/t/t_no_trace_top.out @@ -0,0 +1,4762 @@ +$version Generated by VerilatedVcd $end +$timescale 1ps $end + + $scope module top $end + $scope module t $end + $var wire 1 # clk $end + $var wire 32 $ cyc [31:0] $end + $upscope $end + $upscope $end +$enddefinitions $end + + +#0 +1# +b00000000000000000000000000000000 $ +#1 +0# +#2 +1# +b00000000000000000000000000000001 $ +#3 +0# +#4 +1# +b00000000000000000000000000000010 $ +#5 +0# +#6 +1# +b00000000000000000000000000000011 $ +#7 +0# +#8 +1# +b00000000000000000000000000000100 $ +#9 +0# +#10 +1# +b00000000000000000000000000000101 $ +#11 +0# +#12 +1# +b00000000000000000000000000000110 $ +#13 +0# +#14 +1# +b00000000000000000000000000000111 $ +#15 +0# +#16 +1# +b00000000000000000000000000001000 $ +#17 +0# +#18 +1# +b00000000000000000000000000001001 $ +#19 +0# +#20 +1# +b00000000000000000000000000001010 $ +#21 +0# +#22 +1# +b00000000000000000000000000001011 $ +#23 +0# +#24 +1# +b00000000000000000000000000001100 $ +#25 +0# +#26 +1# +b00000000000000000000000000001101 $ +#27 +0# +#28 +1# +b00000000000000000000000000001110 $ +#29 +0# +#30 +1# +b00000000000000000000000000001111 $ +#31 +0# +#32 +1# +b00000000000000000000000000010000 $ +#33 +0# +#34 +1# +b00000000000000000000000000010001 $ +#35 +0# +#36 +1# +b00000000000000000000000000010010 $ +#37 +0# +#38 +1# +b00000000000000000000000000010011 $ +#39 +0# +#40 +1# +b00000000000000000000000000010100 $ +#41 +0# +#42 +1# +b00000000000000000000000000010101 $ +#43 +0# +#44 +1# +b00000000000000000000000000010110 $ +#45 +0# +#46 +1# +b00000000000000000000000000010111 $ +#47 +0# +#48 +1# +b00000000000000000000000000011000 $ +#49 +0# +#50 +1# +b00000000000000000000000000011001 $ +#51 +0# +#52 +1# +b00000000000000000000000000011010 $ +#53 +0# +#54 +1# +b00000000000000000000000000011011 $ +#55 +0# +#56 +1# +b00000000000000000000000000011100 $ +#57 +0# +#58 +1# +b00000000000000000000000000011101 $ +#59 +0# +#60 +1# +b00000000000000000000000000011110 $ +#61 +0# +#62 +1# +b00000000000000000000000000011111 $ +#63 +0# +#64 +1# +b00000000000000000000000000100000 $ +#65 +0# +#66 +1# +b00000000000000000000000000100001 $ +#67 +0# +#68 +1# +b00000000000000000000000000100010 $ +#69 +0# +#70 +1# +b00000000000000000000000000100011 $ +#71 +0# +#72 +1# +b00000000000000000000000000100100 $ +#73 +0# +#74 +1# +b00000000000000000000000000100101 $ +#75 +0# +#76 +1# +b00000000000000000000000000100110 $ +#77 +0# +#78 +1# +b00000000000000000000000000100111 $ +#79 +0# +#80 +1# +b00000000000000000000000000101000 $ +#81 +0# +#82 +1# +b00000000000000000000000000101001 $ +#83 +0# +#84 +1# +b00000000000000000000000000101010 $ +#85 +0# +#86 +1# +b00000000000000000000000000101011 $ +#87 +0# +#88 +1# +b00000000000000000000000000101100 $ +#89 +0# +#90 +1# +b00000000000000000000000000101101 $ +#91 +0# +#92 +1# +b00000000000000000000000000101110 $ +#93 +0# +#94 +1# +b00000000000000000000000000101111 $ +#95 +0# +#96 +1# +b00000000000000000000000000110000 $ +#97 +0# +#98 +1# +b00000000000000000000000000110001 $ +#99 +0# +#100 +1# +b00000000000000000000000000110010 $ +#101 +0# +#102 +1# +b00000000000000000000000000110011 $ +#103 +0# +#104 +1# +b00000000000000000000000000110100 $ +#105 +0# +#106 +1# +b00000000000000000000000000110101 $ +#107 +0# +#108 +1# +b00000000000000000000000000110110 $ +#109 +0# +#110 +1# +b00000000000000000000000000110111 $ +#111 +0# +#112 +1# +b00000000000000000000000000111000 $ +#113 +0# +#114 +1# +b00000000000000000000000000111001 $ +#115 +0# +#116 +1# +b00000000000000000000000000111010 $ +#117 +0# +#118 +1# +b00000000000000000000000000111011 $ +#119 +0# +#120 +1# +b00000000000000000000000000111100 $ +#121 +0# +#122 +1# +b00000000000000000000000000111101 $ +#123 +0# +#124 +1# +b00000000000000000000000000111110 $ +#125 +0# +#126 +1# +b00000000000000000000000000111111 $ +#127 +0# +#128 +1# +b00000000000000000000000001000000 $ +#129 +0# +#130 +1# +b00000000000000000000000001000001 $ +#131 +0# +#132 +1# +b00000000000000000000000001000010 $ +#133 +0# +#134 +1# +b00000000000000000000000001000011 $ +#135 +0# +#136 +1# +b00000000000000000000000001000100 $ +#137 +0# +#138 +1# +b00000000000000000000000001000101 $ +#139 +0# +#140 +1# +b00000000000000000000000001000110 $ +#141 +0# +#142 +1# +b00000000000000000000000001000111 $ +#143 +0# +#144 +1# +b00000000000000000000000001001000 $ +#145 +0# +#146 +1# +b00000000000000000000000001001001 $ +#147 +0# +#148 +1# +b00000000000000000000000001001010 $ +#149 +0# +#150 +1# +b00000000000000000000000001001011 $ +#151 +0# +#152 +1# +b00000000000000000000000001001100 $ +#153 +0# +#154 +1# +b00000000000000000000000001001101 $ +#155 +0# +#156 +1# +b00000000000000000000000001001110 $ +#157 +0# +#158 +1# +b00000000000000000000000001001111 $ +#159 +0# +#160 +1# +b00000000000000000000000001010000 $ +#161 +0# +#162 +1# +b00000000000000000000000001010001 $ +#163 +0# +#164 +1# +b00000000000000000000000001010010 $ +#165 +0# +#166 +1# +b00000000000000000000000001010011 $ +#167 +0# +#168 +1# +b00000000000000000000000001010100 $ +#169 +0# +#170 +1# +b00000000000000000000000001010101 $ +#171 +0# +#172 +1# +b00000000000000000000000001010110 $ +#173 +0# +#174 +1# +b00000000000000000000000001010111 $ +#175 +0# +#176 +1# +b00000000000000000000000001011000 $ +#177 +0# +#178 +1# +b00000000000000000000000001011001 $ +#179 +0# +#180 +1# +b00000000000000000000000001011010 $ +#181 +0# +#182 +1# +b00000000000000000000000001011011 $ +#183 +0# +#184 +1# +b00000000000000000000000001011100 $ +#185 +0# +#186 +1# +b00000000000000000000000001011101 $ +#187 +0# +#188 +1# +b00000000000000000000000001011110 $ +#189 +0# +#190 +1# +b00000000000000000000000001011111 $ +#191 +0# +#192 +1# +b00000000000000000000000001100000 $ +#193 +0# +#194 +1# +b00000000000000000000000001100001 $ +#195 +0# +#196 +1# +b00000000000000000000000001100010 $ +#197 +0# +#198 +1# +b00000000000000000000000001100011 $ +#199 +0# +#200 +1# +b00000000000000000000000001100100 $ +#201 +0# +#202 +1# +b00000000000000000000000001100101 $ +#203 +0# +#204 +1# +b00000000000000000000000001100110 $ +#205 +0# +#206 +1# +b00000000000000000000000001100111 $ +#207 +0# +#208 +1# +b00000000000000000000000001101000 $ +#209 +0# +#210 +1# +b00000000000000000000000001101001 $ +#211 +0# +#212 +1# +b00000000000000000000000001101010 $ +#213 +0# +#214 +1# +b00000000000000000000000001101011 $ +#215 +0# +#216 +1# +b00000000000000000000000001101100 $ +#217 +0# +#218 +1# +b00000000000000000000000001101101 $ +#219 +0# +#220 +1# +b00000000000000000000000001101110 $ +#221 +0# +#222 +1# +b00000000000000000000000001101111 $ +#223 +0# +#224 +1# +b00000000000000000000000001110000 $ +#225 +0# +#226 +1# +b00000000000000000000000001110001 $ +#227 +0# +#228 +1# +b00000000000000000000000001110010 $ +#229 +0# +#230 +1# +b00000000000000000000000001110011 $ +#231 +0# +#232 +1# +b00000000000000000000000001110100 $ +#233 +0# +#234 +1# +b00000000000000000000000001110101 $ +#235 +0# +#236 +1# +b00000000000000000000000001110110 $ +#237 +0# +#238 +1# +b00000000000000000000000001110111 $ +#239 +0# +#240 +1# +b00000000000000000000000001111000 $ +#241 +0# +#242 +1# +b00000000000000000000000001111001 $ +#243 +0# +#244 +1# +b00000000000000000000000001111010 $ +#245 +0# +#246 +1# +b00000000000000000000000001111011 $ +#247 +0# +#248 +1# +b00000000000000000000000001111100 $ +#249 +0# +#250 +1# +b00000000000000000000000001111101 $ +#251 +0# +#252 +1# +b00000000000000000000000001111110 $ +#253 +0# +#254 +1# +b00000000000000000000000001111111 $ +#255 +0# +#256 +1# +b00000000000000000000000010000000 $ +#257 +0# +#258 +1# +b00000000000000000000000010000001 $ +#259 +0# +#260 +1# +b00000000000000000000000010000010 $ +#261 +0# +#262 +1# +b00000000000000000000000010000011 $ +#263 +0# +#264 +1# +b00000000000000000000000010000100 $ +#265 +0# +#266 +1# +b00000000000000000000000010000101 $ +#267 +0# +#268 +1# +b00000000000000000000000010000110 $ +#269 +0# +#270 +1# +b00000000000000000000000010000111 $ +#271 +0# +#272 +1# +b00000000000000000000000010001000 $ +#273 +0# +#274 +1# +b00000000000000000000000010001001 $ +#275 +0# +#276 +1# +b00000000000000000000000010001010 $ +#277 +0# +#278 +1# +b00000000000000000000000010001011 $ +#279 +0# +#280 +1# +b00000000000000000000000010001100 $ +#281 +0# +#282 +1# +b00000000000000000000000010001101 $ +#283 +0# +#284 +1# +b00000000000000000000000010001110 $ +#285 +0# +#286 +1# +b00000000000000000000000010001111 $ +#287 +0# +#288 +1# +b00000000000000000000000010010000 $ +#289 +0# +#290 +1# +b00000000000000000000000010010001 $ +#291 +0# +#292 +1# +b00000000000000000000000010010010 $ +#293 +0# +#294 +1# +b00000000000000000000000010010011 $ +#295 +0# +#296 +1# +b00000000000000000000000010010100 $ +#297 +0# +#298 +1# +b00000000000000000000000010010101 $ +#299 +0# +#300 +1# +b00000000000000000000000010010110 $ +#301 +0# +#302 +1# +b00000000000000000000000010010111 $ +#303 +0# +#304 +1# +b00000000000000000000000010011000 $ +#305 +0# +#306 +1# +b00000000000000000000000010011001 $ +#307 +0# +#308 +1# +b00000000000000000000000010011010 $ +#309 +0# +#310 +1# +b00000000000000000000000010011011 $ +#311 +0# +#312 +1# +b00000000000000000000000010011100 $ +#313 +0# +#314 +1# +b00000000000000000000000010011101 $ +#315 +0# +#316 +1# +b00000000000000000000000010011110 $ +#317 +0# +#318 +1# +b00000000000000000000000010011111 $ +#319 +0# +#320 +1# +b00000000000000000000000010100000 $ +#321 +0# +#322 +1# +b00000000000000000000000010100001 $ +#323 +0# +#324 +1# +b00000000000000000000000010100010 $ +#325 +0# +#326 +1# +b00000000000000000000000010100011 $ +#327 +0# +#328 +1# +b00000000000000000000000010100100 $ +#329 +0# +#330 +1# +b00000000000000000000000010100101 $ +#331 +0# +#332 +1# +b00000000000000000000000010100110 $ +#333 +0# +#334 +1# +b00000000000000000000000010100111 $ +#335 +0# +#336 +1# +b00000000000000000000000010101000 $ +#337 +0# +#338 +1# +b00000000000000000000000010101001 $ +#339 +0# +#340 +1# +b00000000000000000000000010101010 $ +#341 +0# +#342 +1# +b00000000000000000000000010101011 $ +#343 +0# +#344 +1# +b00000000000000000000000010101100 $ +#345 +0# +#346 +1# +b00000000000000000000000010101101 $ +#347 +0# +#348 +1# +b00000000000000000000000010101110 $ +#349 +0# +#350 +1# +b00000000000000000000000010101111 $ +#351 +0# +#352 +1# +b00000000000000000000000010110000 $ +#353 +0# +#354 +1# +b00000000000000000000000010110001 $ +#355 +0# +#356 +1# +b00000000000000000000000010110010 $ +#357 +0# +#358 +1# +b00000000000000000000000010110011 $ +#359 +0# +#360 +1# +b00000000000000000000000010110100 $ +#361 +0# +#362 +1# +b00000000000000000000000010110101 $ +#363 +0# +#364 +1# +b00000000000000000000000010110110 $ +#365 +0# +#366 +1# +b00000000000000000000000010110111 $ +#367 +0# +#368 +1# +b00000000000000000000000010111000 $ +#369 +0# +#370 +1# +b00000000000000000000000010111001 $ +#371 +0# +#372 +1# +b00000000000000000000000010111010 $ +#373 +0# +#374 +1# +b00000000000000000000000010111011 $ +#375 +0# +#376 +1# +b00000000000000000000000010111100 $ +#377 +0# +#378 +1# +b00000000000000000000000010111101 $ +#379 +0# +#380 +1# +b00000000000000000000000010111110 $ +#381 +0# +#382 +1# +b00000000000000000000000010111111 $ +#383 +0# +#384 +1# +b00000000000000000000000011000000 $ +#385 +0# +#386 +1# +b00000000000000000000000011000001 $ +#387 +0# +#388 +1# +b00000000000000000000000011000010 $ +#389 +0# +#390 +1# +b00000000000000000000000011000011 $ +#391 +0# +#392 +1# +b00000000000000000000000011000100 $ +#393 +0# +#394 +1# +b00000000000000000000000011000101 $ +#395 +0# +#396 +1# +b00000000000000000000000011000110 $ +#397 +0# +#398 +1# +b00000000000000000000000011000111 $ +#399 +0# +#400 +1# +b00000000000000000000000011001000 $ +#401 +0# +#402 +1# +b00000000000000000000000011001001 $ +#403 +0# +#404 +1# +b00000000000000000000000011001010 $ +#405 +0# +#406 +1# +b00000000000000000000000011001011 $ +#407 +0# +#408 +1# +b00000000000000000000000011001100 $ +#409 +0# +#410 +1# +b00000000000000000000000011001101 $ +#411 +0# +#412 +1# +b00000000000000000000000011001110 $ +#413 +0# +#414 +1# +b00000000000000000000000011001111 $ +#415 +0# +#416 +1# +b00000000000000000000000011010000 $ +#417 +0# +#418 +1# +b00000000000000000000000011010001 $ +#419 +0# +#420 +1# +b00000000000000000000000011010010 $ +#421 +0# +#422 +1# +b00000000000000000000000011010011 $ +#423 +0# +#424 +1# +b00000000000000000000000011010100 $ +#425 +0# +#426 +1# +b00000000000000000000000011010101 $ +#427 +0# +#428 +1# +b00000000000000000000000011010110 $ +#429 +0# +#430 +1# +b00000000000000000000000011010111 $ +#431 +0# +#432 +1# +b00000000000000000000000011011000 $ +#433 +0# +#434 +1# +b00000000000000000000000011011001 $ +#435 +0# +#436 +1# +b00000000000000000000000011011010 $ +#437 +0# +#438 +1# +b00000000000000000000000011011011 $ +#439 +0# +#440 +1# +b00000000000000000000000011011100 $ +#441 +0# +#442 +1# +b00000000000000000000000011011101 $ +#443 +0# +#444 +1# +b00000000000000000000000011011110 $ +#445 +0# +#446 +1# +b00000000000000000000000011011111 $ +#447 +0# +#448 +1# +b00000000000000000000000011100000 $ +#449 +0# +#450 +1# +b00000000000000000000000011100001 $ +#451 +0# +#452 +1# +b00000000000000000000000011100010 $ +#453 +0# +#454 +1# +b00000000000000000000000011100011 $ +#455 +0# +#456 +1# +b00000000000000000000000011100100 $ +#457 +0# +#458 +1# +b00000000000000000000000011100101 $ +#459 +0# +#460 +1# +b00000000000000000000000011100110 $ +#461 +0# +#462 +1# +b00000000000000000000000011100111 $ +#463 +0# +#464 +1# +b00000000000000000000000011101000 $ +#465 +0# +#466 +1# +b00000000000000000000000011101001 $ +#467 +0# +#468 +1# +b00000000000000000000000011101010 $ +#469 +0# +#470 +1# +b00000000000000000000000011101011 $ +#471 +0# +#472 +1# +b00000000000000000000000011101100 $ +#473 +0# +#474 +1# +b00000000000000000000000011101101 $ +#475 +0# +#476 +1# +b00000000000000000000000011101110 $ +#477 +0# +#478 +1# +b00000000000000000000000011101111 $ +#479 +0# +#480 +1# +b00000000000000000000000011110000 $ +#481 +0# +#482 +1# +b00000000000000000000000011110001 $ +#483 +0# +#484 +1# +b00000000000000000000000011110010 $ +#485 +0# +#486 +1# +b00000000000000000000000011110011 $ +#487 +0# +#488 +1# +b00000000000000000000000011110100 $ +#489 +0# +#490 +1# +b00000000000000000000000011110101 $ +#491 +0# +#492 +1# +b00000000000000000000000011110110 $ +#493 +0# +#494 +1# +b00000000000000000000000011110111 $ +#495 +0# +#496 +1# +b00000000000000000000000011111000 $ +#497 +0# +#498 +1# +b00000000000000000000000011111001 $ +#499 +0# +#500 +1# +b00000000000000000000000011111010 $ +#501 +0# +#502 +1# +b00000000000000000000000011111011 $ +#503 +0# +#504 +1# +b00000000000000000000000011111100 $ +#505 +0# +#506 +1# +b00000000000000000000000011111101 $ +#507 +0# +#508 +1# +b00000000000000000000000011111110 $ +#509 +0# +#510 +1# +b00000000000000000000000011111111 $ +#511 +0# +#512 +1# +b00000000000000000000000100000000 $ +#513 +0# +#514 +1# +b00000000000000000000000100000001 $ +#515 +0# +#516 +1# +b00000000000000000000000100000010 $ +#517 +0# +#518 +1# +b00000000000000000000000100000011 $ +#519 +0# +#520 +1# +b00000000000000000000000100000100 $ +#521 +0# +#522 +1# +b00000000000000000000000100000101 $ +#523 +0# +#524 +1# +b00000000000000000000000100000110 $ +#525 +0# +#526 +1# +b00000000000000000000000100000111 $ +#527 +0# +#528 +1# +b00000000000000000000000100001000 $ +#529 +0# +#530 +1# +b00000000000000000000000100001001 $ +#531 +0# +#532 +1# +b00000000000000000000000100001010 $ +#533 +0# +#534 +1# +b00000000000000000000000100001011 $ +#535 +0# +#536 +1# +b00000000000000000000000100001100 $ +#537 +0# +#538 +1# +b00000000000000000000000100001101 $ +#539 +0# +#540 +1# +b00000000000000000000000100001110 $ +#541 +0# +#542 +1# +b00000000000000000000000100001111 $ +#543 +0# +#544 +1# +b00000000000000000000000100010000 $ +#545 +0# +#546 +1# +b00000000000000000000000100010001 $ +#547 +0# +#548 +1# +b00000000000000000000000100010010 $ +#549 +0# +#550 +1# +b00000000000000000000000100010011 $ +#551 +0# +#552 +1# +b00000000000000000000000100010100 $ +#553 +0# +#554 +1# +b00000000000000000000000100010101 $ +#555 +0# +#556 +1# +b00000000000000000000000100010110 $ +#557 +0# +#558 +1# +b00000000000000000000000100010111 $ +#559 +0# +#560 +1# +b00000000000000000000000100011000 $ +#561 +0# +#562 +1# +b00000000000000000000000100011001 $ +#563 +0# +#564 +1# +b00000000000000000000000100011010 $ +#565 +0# +#566 +1# +b00000000000000000000000100011011 $ +#567 +0# +#568 +1# +b00000000000000000000000100011100 $ +#569 +0# +#570 +1# +b00000000000000000000000100011101 $ +#571 +0# +#572 +1# +b00000000000000000000000100011110 $ +#573 +0# +#574 +1# +b00000000000000000000000100011111 $ +#575 +0# +#576 +1# +b00000000000000000000000100100000 $ +#577 +0# +#578 +1# +b00000000000000000000000100100001 $ +#579 +0# +#580 +1# +b00000000000000000000000100100010 $ +#581 +0# +#582 +1# +b00000000000000000000000100100011 $ +#583 +0# +#584 +1# +b00000000000000000000000100100100 $ +#585 +0# +#586 +1# +b00000000000000000000000100100101 $ +#587 +0# +#588 +1# +b00000000000000000000000100100110 $ +#589 +0# +#590 +1# +b00000000000000000000000100100111 $ +#591 +0# +#592 +1# +b00000000000000000000000100101000 $ +#593 +0# +#594 +1# +b00000000000000000000000100101001 $ +#595 +0# +#596 +1# +b00000000000000000000000100101010 $ +#597 +0# +#598 +1# +b00000000000000000000000100101011 $ +#599 +0# +#600 +1# +b00000000000000000000000100101100 $ +#601 +0# +#602 +1# +b00000000000000000000000100101101 $ +#603 +0# +#604 +1# +b00000000000000000000000100101110 $ +#605 +0# +#606 +1# +b00000000000000000000000100101111 $ +#607 +0# +#608 +1# +b00000000000000000000000100110000 $ +#609 +0# +#610 +1# +b00000000000000000000000100110001 $ +#611 +0# +#612 +1# +b00000000000000000000000100110010 $ +#613 +0# +#614 +1# +b00000000000000000000000100110011 $ +#615 +0# +#616 +1# +b00000000000000000000000100110100 $ +#617 +0# +#618 +1# +b00000000000000000000000100110101 $ +#619 +0# +#620 +1# +b00000000000000000000000100110110 $ +#621 +0# +#622 +1# +b00000000000000000000000100110111 $ +#623 +0# +#624 +1# +b00000000000000000000000100111000 $ +#625 +0# +#626 +1# +b00000000000000000000000100111001 $ +#627 +0# +#628 +1# +b00000000000000000000000100111010 $ +#629 +0# +#630 +1# +b00000000000000000000000100111011 $ +#631 +0# +#632 +1# +b00000000000000000000000100111100 $ +#633 +0# +#634 +1# +b00000000000000000000000100111101 $ +#635 +0# +#636 +1# +b00000000000000000000000100111110 $ +#637 +0# +#638 +1# +b00000000000000000000000100111111 $ +#639 +0# +#640 +1# +b00000000000000000000000101000000 $ +#641 +0# +#642 +1# +b00000000000000000000000101000001 $ +#643 +0# +#644 +1# +b00000000000000000000000101000010 $ +#645 +0# +#646 +1# +b00000000000000000000000101000011 $ +#647 +0# +#648 +1# +b00000000000000000000000101000100 $ +#649 +0# +#650 +1# +b00000000000000000000000101000101 $ +#651 +0# +#652 +1# +b00000000000000000000000101000110 $ +#653 +0# +#654 +1# +b00000000000000000000000101000111 $ +#655 +0# +#656 +1# +b00000000000000000000000101001000 $ +#657 +0# +#658 +1# +b00000000000000000000000101001001 $ +#659 +0# +#660 +1# +b00000000000000000000000101001010 $ +#661 +0# +#662 +1# +b00000000000000000000000101001011 $ +#663 +0# +#664 +1# +b00000000000000000000000101001100 $ +#665 +0# +#666 +1# +b00000000000000000000000101001101 $ +#667 +0# +#668 +1# +b00000000000000000000000101001110 $ +#669 +0# +#670 +1# +b00000000000000000000000101001111 $ +#671 +0# +#672 +1# +b00000000000000000000000101010000 $ +#673 +0# +#674 +1# +b00000000000000000000000101010001 $ +#675 +0# +#676 +1# +b00000000000000000000000101010010 $ +#677 +0# +#678 +1# +b00000000000000000000000101010011 $ +#679 +0# +#680 +1# +b00000000000000000000000101010100 $ +#681 +0# +#682 +1# +b00000000000000000000000101010101 $ +#683 +0# +#684 +1# +b00000000000000000000000101010110 $ +#685 +0# +#686 +1# +b00000000000000000000000101010111 $ +#687 +0# +#688 +1# +b00000000000000000000000101011000 $ +#689 +0# +#690 +1# +b00000000000000000000000101011001 $ +#691 +0# +#692 +1# +b00000000000000000000000101011010 $ +#693 +0# +#694 +1# +b00000000000000000000000101011011 $ +#695 +0# +#696 +1# +b00000000000000000000000101011100 $ +#697 +0# +#698 +1# +b00000000000000000000000101011101 $ +#699 +0# +#700 +1# +b00000000000000000000000101011110 $ +#701 +0# +#702 +1# +b00000000000000000000000101011111 $ +#703 +0# +#704 +1# +b00000000000000000000000101100000 $ +#705 +0# +#706 +1# +b00000000000000000000000101100001 $ +#707 +0# +#708 +1# +b00000000000000000000000101100010 $ +#709 +0# +#710 +1# +b00000000000000000000000101100011 $ +#711 +0# +#712 +1# +b00000000000000000000000101100100 $ +#713 +0# +#714 +1# +b00000000000000000000000101100101 $ +#715 +0# +#716 +1# +b00000000000000000000000101100110 $ +#717 +0# +#718 +1# +b00000000000000000000000101100111 $ +#719 +0# +#720 +1# +b00000000000000000000000101101000 $ +#721 +0# +#722 +1# +b00000000000000000000000101101001 $ +#723 +0# +#724 +1# +b00000000000000000000000101101010 $ +#725 +0# +#726 +1# +b00000000000000000000000101101011 $ +#727 +0# +#728 +1# +b00000000000000000000000101101100 $ +#729 +0# +#730 +1# +b00000000000000000000000101101101 $ +#731 +0# +#732 +1# +b00000000000000000000000101101110 $ +#733 +0# +#734 +1# +b00000000000000000000000101101111 $ +#735 +0# +#736 +1# +b00000000000000000000000101110000 $ +#737 +0# +#738 +1# +b00000000000000000000000101110001 $ +#739 +0# +#740 +1# +b00000000000000000000000101110010 $ +#741 +0# +#742 +1# +b00000000000000000000000101110011 $ +#743 +0# +#744 +1# +b00000000000000000000000101110100 $ +#745 +0# +#746 +1# +b00000000000000000000000101110101 $ +#747 +0# +#748 +1# +b00000000000000000000000101110110 $ +#749 +0# +#750 +1# +b00000000000000000000000101110111 $ +#751 +0# +#752 +1# +b00000000000000000000000101111000 $ +#753 +0# +#754 +1# +b00000000000000000000000101111001 $ +#755 +0# +#756 +1# +b00000000000000000000000101111010 $ +#757 +0# +#758 +1# +b00000000000000000000000101111011 $ +#759 +0# +#760 +1# +b00000000000000000000000101111100 $ +#761 +0# +#762 +1# +b00000000000000000000000101111101 $ +#763 +0# +#764 +1# +b00000000000000000000000101111110 $ +#765 +0# +#766 +1# +b00000000000000000000000101111111 $ +#767 +0# +#768 +1# +b00000000000000000000000110000000 $ +#769 +0# +#770 +1# +b00000000000000000000000110000001 $ +#771 +0# +#772 +1# +b00000000000000000000000110000010 $ +#773 +0# +#774 +1# +b00000000000000000000000110000011 $ +#775 +0# +#776 +1# +b00000000000000000000000110000100 $ +#777 +0# +#778 +1# +b00000000000000000000000110000101 $ +#779 +0# +#780 +1# +b00000000000000000000000110000110 $ +#781 +0# +#782 +1# +b00000000000000000000000110000111 $ +#783 +0# +#784 +1# +b00000000000000000000000110001000 $ +#785 +0# +#786 +1# +b00000000000000000000000110001001 $ +#787 +0# +#788 +1# +b00000000000000000000000110001010 $ +#789 +0# +#790 +1# +b00000000000000000000000110001011 $ +#791 +0# +#792 +1# +b00000000000000000000000110001100 $ +#793 +0# +#794 +1# +b00000000000000000000000110001101 $ +#795 +0# +#796 +1# +b00000000000000000000000110001110 $ +#797 +0# +#798 +1# +b00000000000000000000000110001111 $ +#799 +0# +#800 +1# +b00000000000000000000000110010000 $ +#801 +0# +#802 +1# +b00000000000000000000000110010001 $ +#803 +0# +#804 +1# +b00000000000000000000000110010010 $ +#805 +0# +#806 +1# +b00000000000000000000000110010011 $ +#807 +0# +#808 +1# +b00000000000000000000000110010100 $ +#809 +0# +#810 +1# +b00000000000000000000000110010101 $ +#811 +0# +#812 +1# +b00000000000000000000000110010110 $ +#813 +0# +#814 +1# +b00000000000000000000000110010111 $ +#815 +0# +#816 +1# +b00000000000000000000000110011000 $ +#817 +0# +#818 +1# +b00000000000000000000000110011001 $ +#819 +0# +#820 +1# +b00000000000000000000000110011010 $ +#821 +0# +#822 +1# +b00000000000000000000000110011011 $ +#823 +0# +#824 +1# +b00000000000000000000000110011100 $ +#825 +0# +#826 +1# +b00000000000000000000000110011101 $ +#827 +0# +#828 +1# +b00000000000000000000000110011110 $ +#829 +0# +#830 +1# +b00000000000000000000000110011111 $ +#831 +0# +#832 +1# +b00000000000000000000000110100000 $ +#833 +0# +#834 +1# +b00000000000000000000000110100001 $ +#835 +0# +#836 +1# +b00000000000000000000000110100010 $ +#837 +0# +#838 +1# +b00000000000000000000000110100011 $ +#839 +0# +#840 +1# +b00000000000000000000000110100100 $ +#841 +0# +#842 +1# +b00000000000000000000000110100101 $ +#843 +0# +#844 +1# +b00000000000000000000000110100110 $ +#845 +0# +#846 +1# +b00000000000000000000000110100111 $ +#847 +0# +#848 +1# +b00000000000000000000000110101000 $ +#849 +0# +#850 +1# +b00000000000000000000000110101001 $ +#851 +0# +#852 +1# +b00000000000000000000000110101010 $ +#853 +0# +#854 +1# +b00000000000000000000000110101011 $ +#855 +0# +#856 +1# +b00000000000000000000000110101100 $ +#857 +0# +#858 +1# +b00000000000000000000000110101101 $ +#859 +0# +#860 +1# +b00000000000000000000000110101110 $ +#861 +0# +#862 +1# +b00000000000000000000000110101111 $ +#863 +0# +#864 +1# +b00000000000000000000000110110000 $ +#865 +0# +#866 +1# +b00000000000000000000000110110001 $ +#867 +0# +#868 +1# +b00000000000000000000000110110010 $ +#869 +0# +#870 +1# +b00000000000000000000000110110011 $ +#871 +0# +#872 +1# +b00000000000000000000000110110100 $ +#873 +0# +#874 +1# +b00000000000000000000000110110101 $ +#875 +0# +#876 +1# +b00000000000000000000000110110110 $ +#877 +0# +#878 +1# +b00000000000000000000000110110111 $ +#879 +0# +#880 +1# +b00000000000000000000000110111000 $ +#881 +0# +#882 +1# +b00000000000000000000000110111001 $ +#883 +0# +#884 +1# +b00000000000000000000000110111010 $ +#885 +0# +#886 +1# +b00000000000000000000000110111011 $ +#887 +0# +#888 +1# +b00000000000000000000000110111100 $ +#889 +0# +#890 +1# +b00000000000000000000000110111101 $ +#891 +0# +#892 +1# +b00000000000000000000000110111110 $ +#893 +0# +#894 +1# +b00000000000000000000000110111111 $ +#895 +0# +#896 +1# +b00000000000000000000000111000000 $ +#897 +0# +#898 +1# +b00000000000000000000000111000001 $ +#899 +0# +#900 +1# +b00000000000000000000000111000010 $ +#901 +0# +#902 +1# +b00000000000000000000000111000011 $ +#903 +0# +#904 +1# +b00000000000000000000000111000100 $ +#905 +0# +#906 +1# +b00000000000000000000000111000101 $ +#907 +0# +#908 +1# +b00000000000000000000000111000110 $ +#909 +0# +#910 +1# +b00000000000000000000000111000111 $ +#911 +0# +#912 +1# +b00000000000000000000000111001000 $ +#913 +0# +#914 +1# +b00000000000000000000000111001001 $ +#915 +0# +#916 +1# +b00000000000000000000000111001010 $ +#917 +0# +#918 +1# +b00000000000000000000000111001011 $ +#919 +0# +#920 +1# +b00000000000000000000000111001100 $ +#921 +0# +#922 +1# +b00000000000000000000000111001101 $ +#923 +0# +#924 +1# +b00000000000000000000000111001110 $ +#925 +0# +#926 +1# +b00000000000000000000000111001111 $ +#927 +0# +#928 +1# +b00000000000000000000000111010000 $ +#929 +0# +#930 +1# +b00000000000000000000000111010001 $ +#931 +0# +#932 +1# +b00000000000000000000000111010010 $ +#933 +0# +#934 +1# +b00000000000000000000000111010011 $ +#935 +0# +#936 +1# +b00000000000000000000000111010100 $ +#937 +0# +#938 +1# +b00000000000000000000000111010101 $ +#939 +0# +#940 +1# +b00000000000000000000000111010110 $ +#941 +0# +#942 +1# +b00000000000000000000000111010111 $ +#943 +0# +#944 +1# +b00000000000000000000000111011000 $ +#945 +0# +#946 +1# +b00000000000000000000000111011001 $ +#947 +0# +#948 +1# +b00000000000000000000000111011010 $ +#949 +0# +#950 +1# +b00000000000000000000000111011011 $ +#951 +0# +#952 +1# +b00000000000000000000000111011100 $ +#953 +0# +#954 +1# +b00000000000000000000000111011101 $ +#955 +0# +#956 +1# +b00000000000000000000000111011110 $ +#957 +0# +#958 +1# +b00000000000000000000000111011111 $ +#959 +0# +#960 +1# +b00000000000000000000000111100000 $ +#961 +0# +#962 +1# +b00000000000000000000000111100001 $ +#963 +0# +#964 +1# +b00000000000000000000000111100010 $ +#965 +0# +#966 +1# +b00000000000000000000000111100011 $ +#967 +0# +#968 +1# +b00000000000000000000000111100100 $ +#969 +0# +#970 +1# +b00000000000000000000000111100101 $ +#971 +0# +#972 +1# +b00000000000000000000000111100110 $ +#973 +0# +#974 +1# +b00000000000000000000000111100111 $ +#975 +0# +#976 +1# +b00000000000000000000000111101000 $ +#977 +0# +#978 +1# +b00000000000000000000000111101001 $ +#979 +0# +#980 +1# +b00000000000000000000000111101010 $ +#981 +0# +#982 +1# +b00000000000000000000000111101011 $ +#983 +0# +#984 +1# +b00000000000000000000000111101100 $ +#985 +0# +#986 +1# +b00000000000000000000000111101101 $ +#987 +0# +#988 +1# +b00000000000000000000000111101110 $ +#989 +0# +#990 +1# +b00000000000000000000000111101111 $ +#991 +0# +#992 +1# +b00000000000000000000000111110000 $ +#993 +0# +#994 +1# +b00000000000000000000000111110001 $ +#995 +0# +#996 +1# +b00000000000000000000000111110010 $ +#997 +0# +#998 +1# +b00000000000000000000000111110011 $ +#999 +0# +#1000 +1# +b00000000000000000000000111110100 $ +#1001 +0# +#1002 +1# +b00000000000000000000000111110101 $ +#1003 +0# +#1004 +1# +b00000000000000000000000111110110 $ +#1005 +0# +#1006 +1# +b00000000000000000000000111110111 $ +#1007 +0# +#1008 +1# +b00000000000000000000000111111000 $ +#1009 +0# +#1010 +1# +b00000000000000000000000111111001 $ +#1011 +0# +#1012 +1# +b00000000000000000000000111111010 $ +#1013 +0# +#1014 +1# +b00000000000000000000000111111011 $ +#1015 +0# +#1016 +1# +b00000000000000000000000111111100 $ +#1017 +0# +#1018 +1# +b00000000000000000000000111111101 $ +#1019 +0# +#1020 +1# +b00000000000000000000000111111110 $ +#1021 +0# +#1022 +1# +b00000000000000000000000111111111 $ +#1023 +0# +#1024 +1# +b00000000000000000000001000000000 $ +#1025 +0# +#1026 +1# +b00000000000000000000001000000001 $ +#1027 +0# +#1028 +1# +b00000000000000000000001000000010 $ +#1029 +0# +#1030 +1# +b00000000000000000000001000000011 $ +#1031 +0# +#1032 +1# +b00000000000000000000001000000100 $ +#1033 +0# +#1034 +1# +b00000000000000000000001000000101 $ +#1035 +0# +#1036 +1# +b00000000000000000000001000000110 $ +#1037 +0# +#1038 +1# +b00000000000000000000001000000111 $ +#1039 +0# +#1040 +1# +b00000000000000000000001000001000 $ +#1041 +0# +#1042 +1# +b00000000000000000000001000001001 $ +#1043 +0# +#1044 +1# +b00000000000000000000001000001010 $ +#1045 +0# +#1046 +1# +b00000000000000000000001000001011 $ +#1047 +0# +#1048 +1# +b00000000000000000000001000001100 $ +#1049 +0# +#1050 +1# +b00000000000000000000001000001101 $ +#1051 +0# +#1052 +1# +b00000000000000000000001000001110 $ +#1053 +0# +#1054 +1# +b00000000000000000000001000001111 $ +#1055 +0# +#1056 +1# +b00000000000000000000001000010000 $ +#1057 +0# +#1058 +1# +b00000000000000000000001000010001 $ +#1059 +0# +#1060 +1# +b00000000000000000000001000010010 $ +#1061 +0# +#1062 +1# +b00000000000000000000001000010011 $ +#1063 +0# +#1064 +1# +b00000000000000000000001000010100 $ +#1065 +0# +#1066 +1# +b00000000000000000000001000010101 $ +#1067 +0# +#1068 +1# +b00000000000000000000001000010110 $ +#1069 +0# +#1070 +1# +b00000000000000000000001000010111 $ +#1071 +0# +#1072 +1# +b00000000000000000000001000011000 $ +#1073 +0# +#1074 +1# +b00000000000000000000001000011001 $ +#1075 +0# +#1076 +1# +b00000000000000000000001000011010 $ +#1077 +0# +#1078 +1# +b00000000000000000000001000011011 $ +#1079 +0# +#1080 +1# +b00000000000000000000001000011100 $ +#1081 +0# +#1082 +1# +b00000000000000000000001000011101 $ +#1083 +0# +#1084 +1# +b00000000000000000000001000011110 $ +#1085 +0# +#1086 +1# +b00000000000000000000001000011111 $ +#1087 +0# +#1088 +1# +b00000000000000000000001000100000 $ +#1089 +0# +#1090 +1# +b00000000000000000000001000100001 $ +#1091 +0# +#1092 +1# +b00000000000000000000001000100010 $ +#1093 +0# +#1094 +1# +b00000000000000000000001000100011 $ +#1095 +0# +#1096 +1# +b00000000000000000000001000100100 $ +#1097 +0# +#1098 +1# +b00000000000000000000001000100101 $ +#1099 +0# +#1100 +1# +b00000000000000000000001000100110 $ +#1101 +0# +#1102 +1# +b00000000000000000000001000100111 $ +#1103 +0# +#1104 +1# +b00000000000000000000001000101000 $ +#1105 +0# +#1106 +1# +b00000000000000000000001000101001 $ +#1107 +0# +#1108 +1# +b00000000000000000000001000101010 $ +#1109 +0# +#1110 +1# +b00000000000000000000001000101011 $ +#1111 +0# +#1112 +1# +b00000000000000000000001000101100 $ +#1113 +0# +#1114 +1# +b00000000000000000000001000101101 $ +#1115 +0# +#1116 +1# +b00000000000000000000001000101110 $ +#1117 +0# +#1118 +1# +b00000000000000000000001000101111 $ +#1119 +0# +#1120 +1# +b00000000000000000000001000110000 $ +#1121 +0# +#1122 +1# +b00000000000000000000001000110001 $ +#1123 +0# +#1124 +1# +b00000000000000000000001000110010 $ +#1125 +0# +#1126 +1# +b00000000000000000000001000110011 $ +#1127 +0# +#1128 +1# +b00000000000000000000001000110100 $ +#1129 +0# +#1130 +1# +b00000000000000000000001000110101 $ +#1131 +0# +#1132 +1# +b00000000000000000000001000110110 $ +#1133 +0# +#1134 +1# +b00000000000000000000001000110111 $ +#1135 +0# +#1136 +1# +b00000000000000000000001000111000 $ +#1137 +0# +#1138 +1# +b00000000000000000000001000111001 $ +#1139 +0# +#1140 +1# +b00000000000000000000001000111010 $ +#1141 +0# +#1142 +1# +b00000000000000000000001000111011 $ +#1143 +0# +#1144 +1# +b00000000000000000000001000111100 $ +#1145 +0# +#1146 +1# +b00000000000000000000001000111101 $ +#1147 +0# +#1148 +1# +b00000000000000000000001000111110 $ +#1149 +0# +#1150 +1# +b00000000000000000000001000111111 $ +#1151 +0# +#1152 +1# +b00000000000000000000001001000000 $ +#1153 +0# +#1154 +1# +b00000000000000000000001001000001 $ +#1155 +0# +#1156 +1# +b00000000000000000000001001000010 $ +#1157 +0# +#1158 +1# +b00000000000000000000001001000011 $ +#1159 +0# +#1160 +1# +b00000000000000000000001001000100 $ +#1161 +0# +#1162 +1# +b00000000000000000000001001000101 $ +#1163 +0# +#1164 +1# +b00000000000000000000001001000110 $ +#1165 +0# +#1166 +1# +b00000000000000000000001001000111 $ +#1167 +0# +#1168 +1# +b00000000000000000000001001001000 $ +#1169 +0# +#1170 +1# +b00000000000000000000001001001001 $ +#1171 +0# +#1172 +1# +b00000000000000000000001001001010 $ +#1173 +0# +#1174 +1# +b00000000000000000000001001001011 $ +#1175 +0# +#1176 +1# +b00000000000000000000001001001100 $ +#1177 +0# +#1178 +1# +b00000000000000000000001001001101 $ +#1179 +0# +#1180 +1# +b00000000000000000000001001001110 $ +#1181 +0# +#1182 +1# +b00000000000000000000001001001111 $ +#1183 +0# +#1184 +1# +b00000000000000000000001001010000 $ +#1185 +0# +#1186 +1# +b00000000000000000000001001010001 $ +#1187 +0# +#1188 +1# +b00000000000000000000001001010010 $ +#1189 +0# +#1190 +1# +b00000000000000000000001001010011 $ +#1191 +0# +#1192 +1# +b00000000000000000000001001010100 $ +#1193 +0# +#1194 +1# +b00000000000000000000001001010101 $ +#1195 +0# +#1196 +1# +b00000000000000000000001001010110 $ +#1197 +0# +#1198 +1# +b00000000000000000000001001010111 $ +#1199 +0# +#1200 +1# +b00000000000000000000001001011000 $ +#1201 +0# +#1202 +1# +b00000000000000000000001001011001 $ +#1203 +0# +#1204 +1# +b00000000000000000000001001011010 $ +#1205 +0# +#1206 +1# +b00000000000000000000001001011011 $ +#1207 +0# +#1208 +1# +b00000000000000000000001001011100 $ +#1209 +0# +#1210 +1# +b00000000000000000000001001011101 $ +#1211 +0# +#1212 +1# +b00000000000000000000001001011110 $ +#1213 +0# +#1214 +1# +b00000000000000000000001001011111 $ +#1215 +0# +#1216 +1# +b00000000000000000000001001100000 $ +#1217 +0# +#1218 +1# +b00000000000000000000001001100001 $ +#1219 +0# +#1220 +1# +b00000000000000000000001001100010 $ +#1221 +0# +#1222 +1# +b00000000000000000000001001100011 $ +#1223 +0# +#1224 +1# +b00000000000000000000001001100100 $ +#1225 +0# +#1226 +1# +b00000000000000000000001001100101 $ +#1227 +0# +#1228 +1# +b00000000000000000000001001100110 $ +#1229 +0# +#1230 +1# +b00000000000000000000001001100111 $ +#1231 +0# +#1232 +1# +b00000000000000000000001001101000 $ +#1233 +0# +#1234 +1# +b00000000000000000000001001101001 $ +#1235 +0# +#1236 +1# +b00000000000000000000001001101010 $ +#1237 +0# +#1238 +1# +b00000000000000000000001001101011 $ +#1239 +0# +#1240 +1# +b00000000000000000000001001101100 $ +#1241 +0# +#1242 +1# +b00000000000000000000001001101101 $ +#1243 +0# +#1244 +1# +b00000000000000000000001001101110 $ +#1245 +0# +#1246 +1# +b00000000000000000000001001101111 $ +#1247 +0# +#1248 +1# +b00000000000000000000001001110000 $ +#1249 +0# +#1250 +1# +b00000000000000000000001001110001 $ +#1251 +0# +#1252 +1# +b00000000000000000000001001110010 $ +#1253 +0# +#1254 +1# +b00000000000000000000001001110011 $ +#1255 +0# +#1256 +1# +b00000000000000000000001001110100 $ +#1257 +0# +#1258 +1# +b00000000000000000000001001110101 $ +#1259 +0# +#1260 +1# +b00000000000000000000001001110110 $ +#1261 +0# +#1262 +1# +b00000000000000000000001001110111 $ +#1263 +0# +#1264 +1# +b00000000000000000000001001111000 $ +#1265 +0# +#1266 +1# +b00000000000000000000001001111001 $ +#1267 +0# +#1268 +1# +b00000000000000000000001001111010 $ +#1269 +0# +#1270 +1# +b00000000000000000000001001111011 $ +#1271 +0# +#1272 +1# +b00000000000000000000001001111100 $ +#1273 +0# +#1274 +1# +b00000000000000000000001001111101 $ +#1275 +0# +#1276 +1# +b00000000000000000000001001111110 $ +#1277 +0# +#1278 +1# +b00000000000000000000001001111111 $ +#1279 +0# +#1280 +1# +b00000000000000000000001010000000 $ +#1281 +0# +#1282 +1# +b00000000000000000000001010000001 $ +#1283 +0# +#1284 +1# +b00000000000000000000001010000010 $ +#1285 +0# +#1286 +1# +b00000000000000000000001010000011 $ +#1287 +0# +#1288 +1# +b00000000000000000000001010000100 $ +#1289 +0# +#1290 +1# +b00000000000000000000001010000101 $ +#1291 +0# +#1292 +1# +b00000000000000000000001010000110 $ +#1293 +0# +#1294 +1# +b00000000000000000000001010000111 $ +#1295 +0# +#1296 +1# +b00000000000000000000001010001000 $ +#1297 +0# +#1298 +1# +b00000000000000000000001010001001 $ +#1299 +0# +#1300 +1# +b00000000000000000000001010001010 $ +#1301 +0# +#1302 +1# +b00000000000000000000001010001011 $ +#1303 +0# +#1304 +1# +b00000000000000000000001010001100 $ +#1305 +0# +#1306 +1# +b00000000000000000000001010001101 $ +#1307 +0# +#1308 +1# +b00000000000000000000001010001110 $ +#1309 +0# +#1310 +1# +b00000000000000000000001010001111 $ +#1311 +0# +#1312 +1# +b00000000000000000000001010010000 $ +#1313 +0# +#1314 +1# +b00000000000000000000001010010001 $ +#1315 +0# +#1316 +1# +b00000000000000000000001010010010 $ +#1317 +0# +#1318 +1# +b00000000000000000000001010010011 $ +#1319 +0# +#1320 +1# +b00000000000000000000001010010100 $ +#1321 +0# +#1322 +1# +b00000000000000000000001010010101 $ +#1323 +0# +#1324 +1# +b00000000000000000000001010010110 $ +#1325 +0# +#1326 +1# +b00000000000000000000001010010111 $ +#1327 +0# +#1328 +1# +b00000000000000000000001010011000 $ +#1329 +0# +#1330 +1# +b00000000000000000000001010011001 $ +#1331 +0# +#1332 +1# +b00000000000000000000001010011010 $ +#1333 +0# +#1334 +1# +b00000000000000000000001010011011 $ +#1335 +0# +#1336 +1# +b00000000000000000000001010011100 $ +#1337 +0# +#1338 +1# +b00000000000000000000001010011101 $ +#1339 +0# +#1340 +1# +b00000000000000000000001010011110 $ +#1341 +0# +#1342 +1# +b00000000000000000000001010011111 $ +#1343 +0# +#1344 +1# +b00000000000000000000001010100000 $ +#1345 +0# +#1346 +1# +b00000000000000000000001010100001 $ +#1347 +0# +#1348 +1# +b00000000000000000000001010100010 $ +#1349 +0# +#1350 +1# +b00000000000000000000001010100011 $ +#1351 +0# +#1352 +1# +b00000000000000000000001010100100 $ +#1353 +0# +#1354 +1# +b00000000000000000000001010100101 $ +#1355 +0# +#1356 +1# +b00000000000000000000001010100110 $ +#1357 +0# +#1358 +1# +b00000000000000000000001010100111 $ +#1359 +0# +#1360 +1# +b00000000000000000000001010101000 $ +#1361 +0# +#1362 +1# +b00000000000000000000001010101001 $ +#1363 +0# +#1364 +1# +b00000000000000000000001010101010 $ +#1365 +0# +#1366 +1# +b00000000000000000000001010101011 $ +#1367 +0# +#1368 +1# +b00000000000000000000001010101100 $ +#1369 +0# +#1370 +1# +b00000000000000000000001010101101 $ +#1371 +0# +#1372 +1# +b00000000000000000000001010101110 $ +#1373 +0# +#1374 +1# +b00000000000000000000001010101111 $ +#1375 +0# +#1376 +1# +b00000000000000000000001010110000 $ +#1377 +0# +#1378 +1# +b00000000000000000000001010110001 $ +#1379 +0# +#1380 +1# +b00000000000000000000001010110010 $ +#1381 +0# +#1382 +1# +b00000000000000000000001010110011 $ +#1383 +0# +#1384 +1# +b00000000000000000000001010110100 $ +#1385 +0# +#1386 +1# +b00000000000000000000001010110101 $ +#1387 +0# +#1388 +1# +b00000000000000000000001010110110 $ +#1389 +0# +#1390 +1# +b00000000000000000000001010110111 $ +#1391 +0# +#1392 +1# +b00000000000000000000001010111000 $ +#1393 +0# +#1394 +1# +b00000000000000000000001010111001 $ +#1395 +0# +#1396 +1# +b00000000000000000000001010111010 $ +#1397 +0# +#1398 +1# +b00000000000000000000001010111011 $ +#1399 +0# +#1400 +1# +b00000000000000000000001010111100 $ +#1401 +0# +#1402 +1# +b00000000000000000000001010111101 $ +#1403 +0# +#1404 +1# +b00000000000000000000001010111110 $ +#1405 +0# +#1406 +1# +b00000000000000000000001010111111 $ +#1407 +0# +#1408 +1# +b00000000000000000000001011000000 $ +#1409 +0# +#1410 +1# +b00000000000000000000001011000001 $ +#1411 +0# +#1412 +1# +b00000000000000000000001011000010 $ +#1413 +0# +#1414 +1# +b00000000000000000000001011000011 $ +#1415 +0# +#1416 +1# +b00000000000000000000001011000100 $ +#1417 +0# +#1418 +1# +b00000000000000000000001011000101 $ +#1419 +0# +#1420 +1# +b00000000000000000000001011000110 $ +#1421 +0# +#1422 +1# +b00000000000000000000001011000111 $ +#1423 +0# +#1424 +1# +b00000000000000000000001011001000 $ +#1425 +0# +#1426 +1# +b00000000000000000000001011001001 $ +#1427 +0# +#1428 +1# +b00000000000000000000001011001010 $ +#1429 +0# +#1430 +1# +b00000000000000000000001011001011 $ +#1431 +0# +#1432 +1# +b00000000000000000000001011001100 $ +#1433 +0# +#1434 +1# +b00000000000000000000001011001101 $ +#1435 +0# +#1436 +1# +b00000000000000000000001011001110 $ +#1437 +0# +#1438 +1# +b00000000000000000000001011001111 $ +#1439 +0# +#1440 +1# +b00000000000000000000001011010000 $ +#1441 +0# +#1442 +1# +b00000000000000000000001011010001 $ +#1443 +0# +#1444 +1# +b00000000000000000000001011010010 $ +#1445 +0# +#1446 +1# +b00000000000000000000001011010011 $ +#1447 +0# +#1448 +1# +b00000000000000000000001011010100 $ +#1449 +0# +#1450 +1# +b00000000000000000000001011010101 $ +#1451 +0# +#1452 +1# +b00000000000000000000001011010110 $ +#1453 +0# +#1454 +1# +b00000000000000000000001011010111 $ +#1455 +0# +#1456 +1# +b00000000000000000000001011011000 $ +#1457 +0# +#1458 +1# +b00000000000000000000001011011001 $ +#1459 +0# +#1460 +1# +b00000000000000000000001011011010 $ +#1461 +0# +#1462 +1# +b00000000000000000000001011011011 $ +#1463 +0# +#1464 +1# +b00000000000000000000001011011100 $ +#1465 +0# +#1466 +1# +b00000000000000000000001011011101 $ +#1467 +0# +#1468 +1# +b00000000000000000000001011011110 $ +#1469 +0# +#1470 +1# +b00000000000000000000001011011111 $ +#1471 +0# +#1472 +1# +b00000000000000000000001011100000 $ +#1473 +0# +#1474 +1# +b00000000000000000000001011100001 $ +#1475 +0# +#1476 +1# +b00000000000000000000001011100010 $ +#1477 +0# +#1478 +1# +b00000000000000000000001011100011 $ +#1479 +0# +#1480 +1# +b00000000000000000000001011100100 $ +#1481 +0# +#1482 +1# +b00000000000000000000001011100101 $ +#1483 +0# +#1484 +1# +b00000000000000000000001011100110 $ +#1485 +0# +#1486 +1# +b00000000000000000000001011100111 $ +#1487 +0# +#1488 +1# +b00000000000000000000001011101000 $ +#1489 +0# +#1490 +1# +b00000000000000000000001011101001 $ +#1491 +0# +#1492 +1# +b00000000000000000000001011101010 $ +#1493 +0# +#1494 +1# +b00000000000000000000001011101011 $ +#1495 +0# +#1496 +1# +b00000000000000000000001011101100 $ +#1497 +0# +#1498 +1# +b00000000000000000000001011101101 $ +#1499 +0# +#1500 +1# +b00000000000000000000001011101110 $ +#1501 +0# +#1502 +1# +b00000000000000000000001011101111 $ +#1503 +0# +#1504 +1# +b00000000000000000000001011110000 $ +#1505 +0# +#1506 +1# +b00000000000000000000001011110001 $ +#1507 +0# +#1508 +1# +b00000000000000000000001011110010 $ +#1509 +0# +#1510 +1# +b00000000000000000000001011110011 $ +#1511 +0# +#1512 +1# +b00000000000000000000001011110100 $ +#1513 +0# +#1514 +1# +b00000000000000000000001011110101 $ +#1515 +0# +#1516 +1# +b00000000000000000000001011110110 $ +#1517 +0# +#1518 +1# +b00000000000000000000001011110111 $ +#1519 +0# +#1520 +1# +b00000000000000000000001011111000 $ +#1521 +0# +#1522 +1# +b00000000000000000000001011111001 $ +#1523 +0# +#1524 +1# +b00000000000000000000001011111010 $ +#1525 +0# +#1526 +1# +b00000000000000000000001011111011 $ +#1527 +0# +#1528 +1# +b00000000000000000000001011111100 $ +#1529 +0# +#1530 +1# +b00000000000000000000001011111101 $ +#1531 +0# +#1532 +1# +b00000000000000000000001011111110 $ +#1533 +0# +#1534 +1# +b00000000000000000000001011111111 $ +#1535 +0# +#1536 +1# +b00000000000000000000001100000000 $ +#1537 +0# +#1538 +1# +b00000000000000000000001100000001 $ +#1539 +0# +#1540 +1# +b00000000000000000000001100000010 $ +#1541 +0# +#1542 +1# +b00000000000000000000001100000011 $ +#1543 +0# +#1544 +1# +b00000000000000000000001100000100 $ +#1545 +0# +#1546 +1# +b00000000000000000000001100000101 $ +#1547 +0# +#1548 +1# +b00000000000000000000001100000110 $ +#1549 +0# +#1550 +1# +b00000000000000000000001100000111 $ +#1551 +0# +#1552 +1# +b00000000000000000000001100001000 $ +#1553 +0# +#1554 +1# +b00000000000000000000001100001001 $ +#1555 +0# +#1556 +1# +b00000000000000000000001100001010 $ +#1557 +0# +#1558 +1# +b00000000000000000000001100001011 $ +#1559 +0# +#1560 +1# +b00000000000000000000001100001100 $ +#1561 +0# +#1562 +1# +b00000000000000000000001100001101 $ +#1563 +0# +#1564 +1# +b00000000000000000000001100001110 $ +#1565 +0# +#1566 +1# +b00000000000000000000001100001111 $ +#1567 +0# +#1568 +1# +b00000000000000000000001100010000 $ +#1569 +0# +#1570 +1# +b00000000000000000000001100010001 $ +#1571 +0# +#1572 +1# +b00000000000000000000001100010010 $ +#1573 +0# +#1574 +1# +b00000000000000000000001100010011 $ +#1575 +0# +#1576 +1# +b00000000000000000000001100010100 $ +#1577 +0# +#1578 +1# +b00000000000000000000001100010101 $ +#1579 +0# +#1580 +1# +b00000000000000000000001100010110 $ +#1581 +0# +#1582 +1# +b00000000000000000000001100010111 $ +#1583 +0# +#1584 +1# +b00000000000000000000001100011000 $ +#1585 +0# +#1586 +1# +b00000000000000000000001100011001 $ +#1587 +0# +#1588 +1# +b00000000000000000000001100011010 $ +#1589 +0# +#1590 +1# +b00000000000000000000001100011011 $ +#1591 +0# +#1592 +1# +b00000000000000000000001100011100 $ +#1593 +0# +#1594 +1# +b00000000000000000000001100011101 $ +#1595 +0# +#1596 +1# +b00000000000000000000001100011110 $ +#1597 +0# +#1598 +1# +b00000000000000000000001100011111 $ +#1599 +0# +#1600 +1# +b00000000000000000000001100100000 $ +#1601 +0# +#1602 +1# +b00000000000000000000001100100001 $ +#1603 +0# +#1604 +1# +b00000000000000000000001100100010 $ +#1605 +0# +#1606 +1# +b00000000000000000000001100100011 $ +#1607 +0# +#1608 +1# +b00000000000000000000001100100100 $ +#1609 +0# +#1610 +1# +b00000000000000000000001100100101 $ +#1611 +0# +#1612 +1# +b00000000000000000000001100100110 $ +#1613 +0# +#1614 +1# +b00000000000000000000001100100111 $ +#1615 +0# +#1616 +1# +b00000000000000000000001100101000 $ +#1617 +0# +#1618 +1# +b00000000000000000000001100101001 $ +#1619 +0# +#1620 +1# +b00000000000000000000001100101010 $ +#1621 +0# +#1622 +1# +b00000000000000000000001100101011 $ +#1623 +0# +#1624 +1# +b00000000000000000000001100101100 $ +#1625 +0# +#1626 +1# +b00000000000000000000001100101101 $ +#1627 +0# +#1628 +1# +b00000000000000000000001100101110 $ +#1629 +0# +#1630 +1# +b00000000000000000000001100101111 $ +#1631 +0# +#1632 +1# +b00000000000000000000001100110000 $ +#1633 +0# +#1634 +1# +b00000000000000000000001100110001 $ +#1635 +0# +#1636 +1# +b00000000000000000000001100110010 $ +#1637 +0# +#1638 +1# +b00000000000000000000001100110011 $ +#1639 +0# +#1640 +1# +b00000000000000000000001100110100 $ +#1641 +0# +#1642 +1# +b00000000000000000000001100110101 $ +#1643 +0# +#1644 +1# +b00000000000000000000001100110110 $ +#1645 +0# +#1646 +1# +b00000000000000000000001100110111 $ +#1647 +0# +#1648 +1# +b00000000000000000000001100111000 $ +#1649 +0# +#1650 +1# +b00000000000000000000001100111001 $ +#1651 +0# +#1652 +1# +b00000000000000000000001100111010 $ +#1653 +0# +#1654 +1# +b00000000000000000000001100111011 $ +#1655 +0# +#1656 +1# +b00000000000000000000001100111100 $ +#1657 +0# +#1658 +1# +b00000000000000000000001100111101 $ +#1659 +0# +#1660 +1# +b00000000000000000000001100111110 $ +#1661 +0# +#1662 +1# +b00000000000000000000001100111111 $ +#1663 +0# +#1664 +1# +b00000000000000000000001101000000 $ +#1665 +0# +#1666 +1# +b00000000000000000000001101000001 $ +#1667 +0# +#1668 +1# +b00000000000000000000001101000010 $ +#1669 +0# +#1670 +1# +b00000000000000000000001101000011 $ +#1671 +0# +#1672 +1# +b00000000000000000000001101000100 $ +#1673 +0# +#1674 +1# +b00000000000000000000001101000101 $ +#1675 +0# +#1676 +1# +b00000000000000000000001101000110 $ +#1677 +0# +#1678 +1# +b00000000000000000000001101000111 $ +#1679 +0# +#1680 +1# +b00000000000000000000001101001000 $ +#1681 +0# +#1682 +1# +b00000000000000000000001101001001 $ +#1683 +0# +#1684 +1# +b00000000000000000000001101001010 $ +#1685 +0# +#1686 +1# +b00000000000000000000001101001011 $ +#1687 +0# +#1688 +1# +b00000000000000000000001101001100 $ +#1689 +0# +#1690 +1# +b00000000000000000000001101001101 $ +#1691 +0# +#1692 +1# +b00000000000000000000001101001110 $ +#1693 +0# +#1694 +1# +b00000000000000000000001101001111 $ +#1695 +0# +#1696 +1# +b00000000000000000000001101010000 $ +#1697 +0# +#1698 +1# +b00000000000000000000001101010001 $ +#1699 +0# +#1700 +1# +b00000000000000000000001101010010 $ +#1701 +0# +#1702 +1# +b00000000000000000000001101010011 $ +#1703 +0# +#1704 +1# +b00000000000000000000001101010100 $ +#1705 +0# +#1706 +1# +b00000000000000000000001101010101 $ +#1707 +0# +#1708 +1# +b00000000000000000000001101010110 $ +#1709 +0# +#1710 +1# +b00000000000000000000001101010111 $ +#1711 +0# +#1712 +1# +b00000000000000000000001101011000 $ +#1713 +0# +#1714 +1# +b00000000000000000000001101011001 $ +#1715 +0# +#1716 +1# +b00000000000000000000001101011010 $ +#1717 +0# +#1718 +1# +b00000000000000000000001101011011 $ +#1719 +0# +#1720 +1# +b00000000000000000000001101011100 $ +#1721 +0# +#1722 +1# +b00000000000000000000001101011101 $ +#1723 +0# +#1724 +1# +b00000000000000000000001101011110 $ +#1725 +0# +#1726 +1# +b00000000000000000000001101011111 $ +#1727 +0# +#1728 +1# +b00000000000000000000001101100000 $ +#1729 +0# +#1730 +1# +b00000000000000000000001101100001 $ +#1731 +0# +#1732 +1# +b00000000000000000000001101100010 $ +#1733 +0# +#1734 +1# +b00000000000000000000001101100011 $ +#1735 +0# +#1736 +1# +b00000000000000000000001101100100 $ +#1737 +0# +#1738 +1# +b00000000000000000000001101100101 $ +#1739 +0# +#1740 +1# +b00000000000000000000001101100110 $ +#1741 +0# +#1742 +1# +b00000000000000000000001101100111 $ +#1743 +0# +#1744 +1# +b00000000000000000000001101101000 $ +#1745 +0# +#1746 +1# +b00000000000000000000001101101001 $ +#1747 +0# +#1748 +1# +b00000000000000000000001101101010 $ +#1749 +0# +#1750 +1# +b00000000000000000000001101101011 $ +#1751 +0# +#1752 +1# +b00000000000000000000001101101100 $ +#1753 +0# +#1754 +1# +b00000000000000000000001101101101 $ +#1755 +0# +#1756 +1# +b00000000000000000000001101101110 $ +#1757 +0# +#1758 +1# +b00000000000000000000001101101111 $ +#1759 +0# +#1760 +1# +b00000000000000000000001101110000 $ +#1761 +0# +#1762 +1# +b00000000000000000000001101110001 $ +#1763 +0# +#1764 +1# +b00000000000000000000001101110010 $ +#1765 +0# +#1766 +1# +b00000000000000000000001101110011 $ +#1767 +0# +#1768 +1# +b00000000000000000000001101110100 $ +#1769 +0# +#1770 +1# +b00000000000000000000001101110101 $ +#1771 +0# +#1772 +1# +b00000000000000000000001101110110 $ +#1773 +0# +#1774 +1# +b00000000000000000000001101110111 $ +#1775 +0# +#1776 +1# +b00000000000000000000001101111000 $ +#1777 +0# +#1778 +1# +b00000000000000000000001101111001 $ +#1779 +0# +#1780 +1# +b00000000000000000000001101111010 $ +#1781 +0# +#1782 +1# +b00000000000000000000001101111011 $ +#1783 +0# +#1784 +1# +b00000000000000000000001101111100 $ +#1785 +0# +#1786 +1# +b00000000000000000000001101111101 $ +#1787 +0# +#1788 +1# +b00000000000000000000001101111110 $ +#1789 +0# +#1790 +1# +b00000000000000000000001101111111 $ +#1791 +0# +#1792 +1# +b00000000000000000000001110000000 $ +#1793 +0# +#1794 +1# +b00000000000000000000001110000001 $ +#1795 +0# +#1796 +1# +b00000000000000000000001110000010 $ +#1797 +0# +#1798 +1# +b00000000000000000000001110000011 $ +#1799 +0# +#1800 +1# +b00000000000000000000001110000100 $ +#1801 +0# +#1802 +1# +b00000000000000000000001110000101 $ +#1803 +0# +#1804 +1# +b00000000000000000000001110000110 $ +#1805 +0# +#1806 +1# +b00000000000000000000001110000111 $ +#1807 +0# +#1808 +1# +b00000000000000000000001110001000 $ +#1809 +0# +#1810 +1# +b00000000000000000000001110001001 $ +#1811 +0# +#1812 +1# +b00000000000000000000001110001010 $ +#1813 +0# +#1814 +1# +b00000000000000000000001110001011 $ +#1815 +0# +#1816 +1# +b00000000000000000000001110001100 $ +#1817 +0# +#1818 +1# +b00000000000000000000001110001101 $ +#1819 +0# +#1820 +1# +b00000000000000000000001110001110 $ +#1821 +0# +#1822 +1# +b00000000000000000000001110001111 $ +#1823 +0# +#1824 +1# +b00000000000000000000001110010000 $ +#1825 +0# +#1826 +1# +b00000000000000000000001110010001 $ +#1827 +0# +#1828 +1# +b00000000000000000000001110010010 $ +#1829 +0# +#1830 +1# +b00000000000000000000001110010011 $ +#1831 +0# +#1832 +1# +b00000000000000000000001110010100 $ +#1833 +0# +#1834 +1# +b00000000000000000000001110010101 $ +#1835 +0# +#1836 +1# +b00000000000000000000001110010110 $ +#1837 +0# +#1838 +1# +b00000000000000000000001110010111 $ +#1839 +0# +#1840 +1# +b00000000000000000000001110011000 $ +#1841 +0# +#1842 +1# +b00000000000000000000001110011001 $ +#1843 +0# +#1844 +1# +b00000000000000000000001110011010 $ +#1845 +0# +#1846 +1# +b00000000000000000000001110011011 $ +#1847 +0# +#1848 +1# +b00000000000000000000001110011100 $ +#1849 +0# +#1850 +1# +b00000000000000000000001110011101 $ +#1851 +0# +#1852 +1# +b00000000000000000000001110011110 $ +#1853 +0# +#1854 +1# +b00000000000000000000001110011111 $ +#1855 +0# +#1856 +1# +b00000000000000000000001110100000 $ +#1857 +0# +#1858 +1# +b00000000000000000000001110100001 $ +#1859 +0# +#1860 +1# +b00000000000000000000001110100010 $ +#1861 +0# +#1862 +1# +b00000000000000000000001110100011 $ +#1863 +0# +#1864 +1# +b00000000000000000000001110100100 $ +#1865 +0# +#1866 +1# +b00000000000000000000001110100101 $ +#1867 +0# +#1868 +1# +b00000000000000000000001110100110 $ +#1869 +0# +#1870 +1# +b00000000000000000000001110100111 $ +#1871 +0# +#1872 +1# +b00000000000000000000001110101000 $ +#1873 +0# +#1874 +1# +b00000000000000000000001110101001 $ +#1875 +0# +#1876 +1# +b00000000000000000000001110101010 $ +#1877 +0# +#1878 +1# +b00000000000000000000001110101011 $ +#1879 +0# +#1880 +1# +b00000000000000000000001110101100 $ +#1881 +0# +#1882 +1# +b00000000000000000000001110101101 $ +#1883 +0# +#1884 +1# +b00000000000000000000001110101110 $ +#1885 +0# +#1886 +1# +b00000000000000000000001110101111 $ +#1887 +0# +#1888 +1# +b00000000000000000000001110110000 $ +#1889 +0# +#1890 +1# +b00000000000000000000001110110001 $ +#1891 +0# +#1892 +1# +b00000000000000000000001110110010 $ +#1893 +0# +#1894 +1# +b00000000000000000000001110110011 $ +#1895 +0# +#1896 +1# +b00000000000000000000001110110100 $ +#1897 +0# +#1898 +1# +b00000000000000000000001110110101 $ +#1899 +0# diff --git a/test_regress/t/t_no_trace_top.pl b/test_regress/t/t_no_trace_top.pl new file mode 100755 index 000000000..100fef756 --- /dev/null +++ b/test_regress/t/t_no_trace_top.pl @@ -0,0 +1,29 @@ +#!/usr/bin/env perl +if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); die; } +# DESCRIPTION: Verilator: Verilog Test driver/expect definition +# +# Copyright 2003-2013 by Wilson Snyder. This program is free software; you +# can redistribute it and/or modify it under the terms of either the GNU +# Lesser General Public License Version 3 or the Perl Artistic License +# Version 2.0. +# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0 + +scenarios(vlt_all => 1); + +top_filename("t_trace_cat.v"); + +compile( + make_top_shell => 0, + make_main => 0, + v_flags2 => ["--trace --no-trace-top --exe $Self->{t_dir}/t_no_trace_top.cpp"], + ); + +execute( + check_finished => 1, + ); + +vcd_identical("$Self->{obj_dir}/simno_trace_top.vcd", + $Self->{golden_filename}); + +ok(1); +1;