open-standards/wai/quantum-conformance/wasmq/refuse/too-many-exports.wat
Transaction Science 2593c1f945
Some checks failed
WAI breaking changes and the conformance runner / WAI breaking · does this change touch WAI (push) Successful in 7s
wai-quantum wasmQ / does this change touch it (push) Successful in 10s
wai-quantum energy-landscape jobs / does this change touch it (push) Successful in 28s
WAI breaking changes and the conformance runner / WAI breaking · wire, record and API against main · linux (push) Failing after 54s
wai-quantum wasmQ / the reference modules rebuild to their modules of record · linux (push) Successful in 40s
WAI breaking changes and the conformance runner / WAI breaking and conform · their tests, and the independent verifiers through wai conform · linux (push) Failing after 1m16s
joule-moq-remote host agent / joule-moq-remote · does this change touch it (push) Has been cancelled
joule-moq-remote host agent / joule-moq-remote, every target (linux-arm64) (push) Has been cancelled
joule-moq-remote host agent / joule-moq-remote, every target (macos) (push) Has been cancelled
joule-moq-room room service / joule-moq-room · does this change touch it (push) Has been cancelled
joule-moq-room room service / joule-moq-room, every target (push) Has been cancelled
joule-moq-web browser client / joule-moq-web · does this change touch it (push) Has been cancelled
joule-moq-web browser client / joule-moq-web · browser end-to-end (macos) (push) Has been cancelled
wai-app and Create / wai-app · does this change touch it (push) Has been cancelled
wai-app and Create / wai-app · tests, clippy, the line language's verifier (linux) (push) Has been cancelled
wai-app and Create / wai-app · Create, browser end-to-end (macos) (push) Has been cancelled
wai-audit collector and player integration / does this change touch it (push) Has been cancelled
wai-audit collector and player integration / collector · linux (push) Has been cancelled
wai-audit collector and player integration / collector, player integration and the browser end to end · macos (push) Has been cancelled
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (push) Has been cancelled
WAI operation catalogue / does this change touch it (push) Has been cancelled
WAI operation catalogue / the catalogue and every door · linux (push) Has been cancelled
wai-fleet service / does this change touch it (push) Has been cancelled
wai-fleet service / service · linux (push) Has been cancelled
wai-fleet service / service · macos (push) Has been cancelled
wai-ledger service / does this change touch it (push) Has been cancelled
wai-ledger service / service · linux (push) Has been cancelled
wai-ledger service / service · macos (push) Has been cancelled
wai-quantum for JavaScript / does this change touch it (push) Has been cancelled
wai-quantum for JavaScript / javascript · linux (push) Has been cancelled
wai-quantum studio and desktop / does this change touch it (push) Has been cancelled
wai-quantum studio and desktop / studio · browser (push) Has been cancelled
wai-quantum studio and desktop / desktop app · macos (push) Has been cancelled
wai-quantum studio and desktop / desktop app · linux (push) Has been cancelled
wai-quantum studio and desktop / desktop app · windows (push) Has been cancelled
wai-sink-android native sink library / does this change touch it (push) Has been cancelled
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (push) Has been cancelled
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (push) Has been cancelled
wai-sink-swift native sink package / does this change touch it (push) Has been cancelled
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (push) Has been cancelled
WAI Studio / does this change touch it (push) Has been cancelled
WAI Studio / the catalogue's actions, the unit tests and the core · linux (push) Has been cancelled
WAI Studio / Studio in Chromium and Firefox · macos (push) Has been cancelled
WAI Studio / Studio in WebKit · linux (push) Has been cancelled
wai-quantum wasmQ / profile, engines, reference modules, adversarial, vectors · macos (push) Successful in 2m13s
wai-quantum energy-landscape jobs / the module under wasm32-wasip2 (wasmtime) (push) Successful in 2m33s
wai-quantum wasmQ / interpreter and vectors under wasm32-wasip2 (wasmtime) (push) Successful in 2m38s
wai-quantum energy-landscape jobs / the same bits · macos (push) Successful in 4m11s
wai-quantum wasmQ / profile, engines, reference modules, adversarial, vectors · linux (push) Successful in 4m51s
wai-quantum energy-landscape jobs / native against WebAssembly, over many seeds (push) Successful in 6m22s
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (push) Successful in 7m45s
wai-quantum energy-landscape jobs / reader, kernels, answers and the stated result · linux, release (push) Successful in 9m14s
wai-quantum command line / does this change touch it (push) Has been cancelled
wai-quantum command line / command line · linux (push) Has been cancelled
wai-quantum command line / command line · macos (push) Has been cancelled
wai-quantum contract / does this change touch it (push) Has been cancelled
wai-quantum contract / API compatibility · linux (push) Has been cancelled
wai-quantum contract / schemas and the committed tool lists · linux (push) Has been cancelled
wai-quantum contract / the policy is linked, and the deprecations page reads (push) Has been cancelled
wai-quantum docs, course and locales / does this change touch it (push) Has been cancelled
wai-quantum docs, course and locales / every command and snippet in the docs · linux (push) Has been cancelled
wai-quantum docs, course and locales / the course and the command line's languages · linux (push) Has been cancelled
wai-quantum docs, course and locales / the Studio's words in every locale · linux (push) Has been cancelled
wai-quantum editors / does this change touch it (push) Has been cancelled
wai-quantum editors / editors · linux (push) Has been cancelled
wai-quantum editors / editors · macos (push) Has been cancelled
wai-quantum resource estimation / does this change touch it (push) Has been cancelled
wai-quantum resource estimation / estimation and calibration · linux, release (push) Has been cancelled
wai-quantum other formats / does this change touch it (push) Has been cancelled
wai-quantum other formats / readers, writers and the set · linux (push) Has been cancelled
wai-quantum other formats / the set under wasm32-wasip2 (wasmtime) (push) Has been cancelled
wai-quantum OpenQASM reader / does this change touch it (push) Has been cancelled
wai-quantum OpenQASM reader / reader and corpus · linux (push) Has been cancelled
wai-quantum OpenQASM reader / corpus under wasm32-wasip2 (wasmtime) (push) Has been cancelled
wai-quantum pulse and dynamics / does this change touch it (push) Has been cancelled
wai-quantum pulse and dynamics / reader, simulator and pulse jobs · linux, release (push) Has been cancelled
wai-quantum pulse and dynamics / the same bits · linux-arm64 (push) Has been cancelled
wai-quantum pulse and dynamics / the same bits · macos (push) Has been cancelled
wai-quantum pulse and dynamics / reader, simulator and pulse jobs under wasm32-wasip2 (wasmtime) (push) Has been cancelled
wai-quantum for Python / does this change touch it (push) Has been cancelled
wai-quantum for Python / python · linux (push) Has been cancelled
wai-quantum for Python / python · macos (push) Has been cancelled
wai-quantum error correction and mitigation / does this change touch it (push) Has been cancelled
wai-quantum error correction and mitigation / codes, decoders, texts and mitigation · linux, release (push) Has been cancelled
wai-quantum extension points / does this change touch it (push) Has been cancelled
wai-quantum extension points / the registry and the example · linux (push) Has been cancelled
wai-quantum extension points / the registry and the example · linux-arm64 (push) Has been cancelled
wai-quantum extension points / the registry under wasm32-wasip2 (wasmtime) (push) Has been cancelled
wai-quantum service / does this change touch it (push) Has been cancelled
wai-quantum service / service · linux (push) Has been cancelled
wai-quantum service / service · macos (push) Has been cancelled
wai-quantum service / service energy · linux packages (push) Has been cancelled
wai-quantum variational and algorithm library / does this change touch it (push) Has been cancelled
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux, release (push) Has been cancelled
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (push) Has been cancelled
wai-quantum verdicts and repairs / does this change touch it (push) Has been cancelled
wai-quantum verdicts and repairs / verdicts, repairs and the intent set · linux (push) Has been cancelled
wai-quantum verdicts and repairs / the intent set and the verdict under wasm32-wasip2 (wasmtime) (push) Has been cancelled
wai-quantum views in agent hosts / does this change touch it (push) Has been cancelled
wai-quantum views in agent hosts / views · the page and its engine (push) Has been cancelled
wai-quantum views in agent hosts / views · a scripted host (push) Has been cancelled
wai-quantum-landscape-fpga reference design / does this change touch it (push) Has been cancelled
wai-quantum-landscape-fpga reference design / the member against the model of the logic, and the logic against the model · linux, release (push) Has been cancelled
wai-quantum-landscape-fpga reference design / the board's code on the board's processor's architecture · linux-arm64, release (push) Has been cancelled
wai: wasmQ, an OpenQASM 3 program and the WebAssembly its externs call, run the same everywhere, metered and receipted
Re-landed from PR #659 (branch wai/quantum-wasmq, head 39fdb517a) as one
commit on main, under the land-it model. Five review rounds; the last had
no high or critical finding, and its mediums were fixed on the branch.

A hybrid quantum program runs classical code between its gates. OpenQASM 3
declares such a function with `extern` and leaves its body and linking
outside the language. wasmQ (wai.quantum.wasmq) packs the program and the
WebAssembly that defines its externs into one content-addressed WAI
envelope; a run gives the same result bytes and fuel on every host and
seals the engine's job receipt.

- extensions/quantum-wasmq.md (normative) and quantum-wasmq.wit.
- wai/wai-wasmq: the profile (Lime1, nothing imported, bounded memory,
  refusal codes W001-W017); what a run asks of its host, bounded from the
  bundle alone before anything runs; fuel defined on the module as written;
  a weighted stack; two engines (the pinned wasmtime 50.0.1 and an
  interpreter of the crate's own that also runs on wasm32); the envelope,
  runner, receipts, transcript replay, reference programs and vectors.
- wai-quantum: engine::wasmq (built with quantum_receipt), the job form
  beside its receipts; the estimate verifier answers a request no host
  re-runs with a verdict carrying rerun_error, combined here with main's
  reaction clock (clock_of).
- wai/quantum-conformance/wasmq: envelopes, refusals and receipts.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-09 13:22:09 -05:00

1 line
25 KiB
WebAssembly Text Format

(module (func) (export "e0" (func 0)) (export "e1" (func 0)) (export "e2" (func 0)) (export "e3" (func 0)) (export "e4" (func 0)) (export "e5" (func 0)) (export "e6" (func 0)) (export "e7" (func 0)) (export "e8" (func 0)) (export "e9" (func 0)) (export "e10" (func 0)) (export "e11" (func 0)) (export "e12" (func 0)) (export "e13" (func 0)) (export "e14" (func 0)) (export "e15" (func 0)) (export "e16" (func 0)) (export "e17" (func 0)) (export "e18" (func 0)) (export "e19" (func 0)) (export "e20" (func 0)) (export "e21" (func 0)) (export "e22" (func 0)) (export "e23" (func 0)) (export "e24" (func 0)) (export "e25" (func 0)) (export "e26" (func 0)) (export "e27" (func 0)) (export "e28" (func 0)) (export "e29" (func 0)) (export "e30" (func 0)) (export "e31" (func 0)) (export "e32" (func 0)) (export "e33" (func 0)) (export "e34" (func 0)) (export "e35" (func 0)) (export "e36" (func 0)) (export "e37" (func 0)) (export "e38" (func 0)) (export "e39" (func 0)) (export "e40" (func 0)) (export "e41" (func 0)) (export "e42" (func 0)) (export "e43" (func 0)) (export "e44" (func 0)) (export "e45" (func 0)) (export "e46" (func 0)) (export "e47" (func 0)) (export "e48" (func 0)) (export "e49" (func 0)) (export "e50" (func 0)) (export "e51" (func 0)) (export "e52" (func 0)) (export "e53" (func 0)) (export "e54" (func 0)) (export "e55" (func 0)) (export "e56" (func 0)) (export "e57" (func 0)) (export "e58" (func 0)) (export "e59" (func 0)) (export "e60" (func 0)) (export "e61" (func 0)) (export "e62" (func 0)) (export "e63" (func 0)) (export "e64" (func 0)) (export "e65" (func 0)) (export "e66" (func 0)) (export "e67" (func 0)) (export "e68" (func 0)) (export "e69" (func 0)) (export "e70" (func 0)) (export "e71" (func 0)) (export "e72" (func 0)) (export "e73" (func 0)) (export "e74" (func 0)) (export "e75" (func 0)) (export "e76" (func 0)) (export "e77" (func 0)) (export "e78" (func 0)) (export "e79" (func 0)) (export "e80" (func 0)) (export "e81" (func 0)) (export "e82" (func 0)) (export "e83" (func 0)) (export "e84" (func 0)) (export "e85" (func 0)) (export "e86" (func 0)) (export "e87" (func 0)) (export "e88" (func 0)) (export "e89" (func 0)) (export "e90" (func 0)) (export "e91" (func 0)) (export "e92" (func 0)) (export "e93" (func 0)) (export "e94" (func 0)) (export "e95" (func 0)) (export "e96" (func 0)) (export "e97" (func 0)) (export "e98" (func 0)) (export "e99" (func 0)) (export "e100" (func 0)) (export "e101" (func 0)) (export "e102" (func 0)) (export "e103" (func 0)) (export "e104" (func 0)) (export "e105" (func 0)) (export "e106" (func 0)) (export "e107" (func 0)) (export "e108" (func 0)) (export "e109" (func 0)) (export "e110" (func 0)) (export "e111" (func 0)) (export "e112" (func 0)) (export "e113" (func 0)) (export "e114" (func 0)) (export "e115" (func 0)) (export "e116" (func 0)) (export "e117" (func 0)) (export "e118" (func 0)) (export "e119" (func 0)) (export "e120" (func 0)) (export "e121" (func 0)) (export "e122" (func 0)) (export "e123" (func 0)) (export "e124" (func 0)) (export "e125" (func 0)) (export "e126" (func 0)) (export "e127" (func 0)) (export "e128" (func 0)) (export "e129" (func 0)) (export "e130" (func 0)) (export "e131" (func 0)) (export "e132" (func 0)) (export "e133" (func 0)) (export "e134" (func 0)) (export "e135" (func 0)) (export "e136" (func 0)) (export "e137" (func 0)) (export "e138" (func 0)) (export "e139" (func 0)) (export "e140" (func 0)) (export "e141" (func 0)) (export "e142" (func 0)) (export "e143" (func 0)) (export "e144" (func 0)) (export "e145" (func 0)) (export "e146" (func 0)) (export "e147" (func 0)) (export "e148" (func 0)) (export "e149" (func 0)) (export "e150" (func 0)) (export "e151" (func 0)) (export "e152" (func 0)) (export "e153" (func 0)) (export "e154" (func 0)) (export "e155" (func 0)) (export "e156" (func 0)) (export "e157" (func 0)) (export "e158" (func 0)) (export "e159" (func 0)) (export "e160" (func 0)) (export "e161" (func 0)) (export "e162" (func 0)) (export "e163" (func 0)) (export "e164" (func 0)) (export "e165" (func 0)) (export "e166" (func 0)) (export "e167" (func 0)) (export "e168" (func 0)) (export "e169" (func 0)) (export "e170" (func 0)) (export "e171" (func 0)) (export "e172" (func 0)) (export "e173" (func 0)) (export "e174" (func 0)) (export "e175" (func 0)) (export "e176" (func 0)) (export "e177" (func 0)) (export "e178" (func 0)) (export "e179" (func 0)) (export "e180" (func 0)) (export "e181" (func 0)) (export "e182" (func 0)) (export "e183" (func 0)) (export "e184" (func 0)) (export "e185" (func 0)) (export "e186" (func 0)) (export "e187" (func 0)) (export "e188" (func 0)) (export "e189" (func 0)) (export "e190" (func 0)) (export "e191" (func 0)) (export "e192" (func 0)) (export "e193" (func 0)) (export "e194" (func 0)) (export "e195" (func 0)) (export "e196" (func 0)) (export "e197" (func 0)) (export "e198" (func 0)) (export "e199" (func 0)) (export "e200" (func 0)) (export "e201" (func 0)) (export "e202" (func 0)) (export "e203" (func 0)) (export "e204" (func 0)) (export "e205" (func 0)) (export "e206" (func 0)) (export "e207" (func 0)) (export "e208" (func 0)) (export "e209" (func 0)) (export "e210" (func 0)) (export "e211" (func 0)) (export "e212" (func 0)) (export "e213" (func 0)) (export "e214" (func 0)) (export "e215" (func 0)) (export "e216" (func 0)) (export "e217" (func 0)) (export "e218" (func 0)) (export "e219" (func 0)) (export "e220" (func 0)) (export "e221" (func 0)) (export "e222" (func 0)) (export "e223" (func 0)) (export "e224" (func 0)) (export "e225" (func 0)) (export "e226" (func 0)) (export "e227" (func 0)) (export "e228" (func 0)) (export "e229" (func 0)) (export "e230" (func 0)) (export "e231" (func 0)) (export "e232" (func 0)) (export "e233" (func 0)) (export "e234" (func 0)) (export "e235" (func 0)) (export "e236" (func 0)) (export "e237" (func 0)) (export "e238" (func 0)) (export "e239" (func 0)) (export "e240" (func 0)) (export "e241" (func 0)) (export "e242" (func 0)) (export "e243" (func 0)) (export "e244" (func 0)) (export "e245" (func 0)) (export "e246" (func 0)) (export "e247" (func 0)) (export "e248" (func 0)) (export "e249" (func 0)) (export "e250" (func 0)) (export "e251" (func 0)) (export "e252" (func 0)) (export "e253" (func 0)) (export "e254" (func 0)) (export "e255" (func 0)) (export "e256" (func 0)) (export "e257" (func 0)) (export "e258" (func 0)) (export "e259" (func 0)) (export "e260" (func 0)) (export "e261" (func 0)) (export "e262" (func 0)) (export "e263" (func 0)) (export "e264" (func 0)) (export "e265" (func 0)) (export "e266" (func 0)) (export "e267" (func 0)) (export "e268" (func 0)) (export "e269" (func 0)) (export "e270" (func 0)) (export "e271" (func 0)) (export "e272" (func 0)) (export "e273" (func 0)) (export "e274" (func 0)) (export "e275" (func 0)) (export "e276" (func 0)) (export "e277" (func 0)) (export "e278" (func 0)) (export "e279" (func 0)) (export "e280" (func 0)) (export "e281" (func 0)) (export "e282" (func 0)) (export "e283" (func 0)) (export "e284" (func 0)) (export "e285" (func 0)) (export "e286" (func 0)) (export "e287" (func 0)) (export "e288" (func 0)) (export "e289" (func 0)) (export "e290" (func 0)) (export "e291" (func 0)) (export "e292" (func 0)) (export "e293" (func 0)) (export "e294" (func 0)) (export "e295" (func 0)) (export "e296" (func 0)) (export "e297" (func 0)) (export "e298" (func 0)) (export "e299" (func 0)) (export "e300" (func 0)) (export "e301" (func 0)) (export "e302" (func 0)) (export "e303" (func 0)) (export "e304" (func 0)) (export "e305" (func 0)) (export "e306" (func 0)) (export "e307" (func 0)) (export "e308" (func 0)) (export "e309" (func 0)) (export "e310" (func 0)) (export "e311" (func 0)) (export "e312" (func 0)) (export "e313" (func 0)) (export "e314" (func 0)) (export "e315" (func 0)) (export "e316" (func 0)) (export "e317" (func 0)) (export "e318" (func 0)) (export "e319" (func 0)) (export "e320" (func 0)) (export "e321" (func 0)) (export "e322" (func 0)) (export "e323" (func 0)) (export "e324" (func 0)) (export "e325" (func 0)) (export "e326" (func 0)) (export "e327" (func 0)) (export "e328" (func 0)) (export "e329" (func 0)) (export "e330" (func 0)) (export "e331" (func 0)) (export "e332" (func 0)) (export "e333" (func 0)) (export "e334" (func 0)) (export "e335" (func 0)) (export "e336" (func 0)) (export "e337" (func 0)) (export "e338" (func 0)) (export "e339" (func 0)) (export "e340" (func 0)) (export "e341" (func 0)) (export "e342" (func 0)) (export "e343" (func 0)) (export "e344" (func 0)) (export "e345" (func 0)) (export "e346" (func 0)) (export "e347" (func 0)) (export "e348" (func 0)) (export "e349" (func 0)) (export "e350" (func 0)) (export "e351" (func 0)) (export "e352" (func 0)) (export "e353" (func 0)) (export "e354" (func 0)) (export "e355" (func 0)) (export "e356" (func 0)) (export "e357" (func 0)) (export "e358" (func 0)) (export "e359" (func 0)) (export "e360" (func 0)) (export "e361" (func 0)) (export "e362" (func 0)) (export "e363" (func 0)) (export "e364" (func 0)) (export "e365" (func 0)) (export "e366" (func 0)) (export "e367" (func 0)) (export "e368" (func 0)) (export "e369" (func 0)) (export "e370" (func 0)) (export "e371" (func 0)) (export "e372" (func 0)) (export "e373" (func 0)) (export "e374" (func 0)) (export "e375" (func 0)) (export "e376" (func 0)) (export "e377" (func 0)) (export "e378" (func 0)) (export "e379" (func 0)) (export "e380" (func 0)) (export "e381" (func 0)) (export "e382" (func 0)) (export "e383" (func 0)) (export "e384" (func 0)) (export "e385" (func 0)) (export "e386" (func 0)) (export "e387" (func 0)) (export "e388" (func 0)) (export "e389" (func 0)) (export "e390" (func 0)) (export "e391" (func 0)) (export "e392" (func 0)) (export "e393" (func 0)) (export "e394" (func 0)) (export "e395" (func 0)) (export "e396" (func 0)) (export "e397" (func 0)) (export "e398" (func 0)) (export "e399" (func 0)) (export "e400" (func 0)) (export "e401" (func 0)) (export "e402" (func 0)) (export "e403" (func 0)) (export "e404" (func 0)) (export "e405" (func 0)) (export "e406" (func 0)) (export "e407" (func 0)) (export "e408" (func 0)) (export "e409" (func 0)) (export "e410" (func 0)) (export "e411" (func 0)) (export "e412" (func 0)) (export "e413" (func 0)) (export "e414" (func 0)) (export "e415" (func 0)) (export "e416" (func 0)) (export "e417" (func 0)) (export "e418" (func 0)) (export "e419" (func 0)) (export "e420" (func 0)) (export "e421" (func 0)) (export "e422" (func 0)) (export "e423" (func 0)) (export "e424" (func 0)) (export "e425" (func 0)) (export "e426" (func 0)) (export "e427" (func 0)) (export "e428" (func 0)) (export "e429" (func 0)) (export "e430" (func 0)) (export "e431" (func 0)) (export "e432" (func 0)) (export "e433" (func 0)) (export "e434" (func 0)) (export "e435" (func 0)) (export "e436" (func 0)) (export "e437" (func 0)) (export "e438" (func 0)) (export "e439" (func 0)) (export "e440" (func 0)) (export "e441" (func 0)) (export "e442" (func 0)) (export "e443" (func 0)) (export "e444" (func 0)) (export "e445" (func 0)) (export "e446" (func 0)) (export "e447" (func 0)) (export "e448" (func 0)) (export "e449" (func 0)) (export "e450" (func 0)) (export "e451" (func 0)) (export "e452" (func 0)) (export "e453" (func 0)) (export "e454" (func 0)) (export "e455" (func 0)) (export "e456" (func 0)) (export "e457" (func 0)) (export "e458" (func 0)) (export "e459" (func 0)) (export "e460" (func 0)) (export "e461" (func 0)) (export "e462" (func 0)) (export "e463" (func 0)) (export "e464" (func 0)) (export "e465" (func 0)) (export "e466" (func 0)) (export "e467" (func 0)) (export "e468" (func 0)) (export "e469" (func 0)) (export "e470" (func 0)) (export "e471" (func 0)) (export "e472" (func 0)) (export "e473" (func 0)) (export "e474" (func 0)) (export "e475" (func 0)) (export "e476" (func 0)) (export "e477" (func 0)) (export "e478" (func 0)) (export "e479" (func 0)) (export "e480" (func 0)) (export "e481" (func 0)) (export "e482" (func 0)) (export "e483" (func 0)) (export "e484" (func 0)) (export "e485" (func 0)) (export "e486" (func 0)) (export "e487" (func 0)) (export "e488" (func 0)) (export "e489" (func 0)) (export "e490" (func 0)) (export "e491" (func 0)) (export "e492" (func 0)) (export "e493" (func 0)) (export "e494" (func 0)) (export "e495" (func 0)) (export "e496" (func 0)) (export "e497" (func 0)) (export "e498" (func 0)) (export "e499" (func 0)) (export "e500" (func 0)) (export "e501" (func 0)) (export "e502" (func 0)) (export "e503" (func 0)) (export "e504" (func 0)) (export "e505" (func 0)) (export "e506" (func 0)) (export "e507" (func 0)) (export "e508" (func 0)) (export "e509" (func 0)) (export "e510" (func 0)) (export "e511" (func 0)) (export "e512" (func 0)) (export "e513" (func 0)) (export "e514" (func 0)) (export "e515" (func 0)) (export "e516" (func 0)) (export "e517" (func 0)) (export "e518" (func 0)) (export "e519" (func 0)) (export "e520" (func 0)) (export "e521" (func 0)) (export "e522" (func 0)) (export "e523" (func 0)) (export "e524" (func 0)) (export "e525" (func 0)) (export "e526" (func 0)) (export "e527" (func 0)) (export "e528" (func 0)) (export "e529" (func 0)) (export "e530" (func 0)) (export "e531" (func 0)) (export "e532" (func 0)) (export "e533" (func 0)) (export "e534" (func 0)) (export "e535" (func 0)) (export "e536" (func 0)) (export "e537" (func 0)) (export "e538" (func 0)) (export "e539" (func 0)) (export "e540" (func 0)) (export "e541" (func 0)) (export "e542" (func 0)) (export "e543" (func 0)) (export "e544" (func 0)) (export "e545" (func 0)) (export "e546" (func 0)) (export "e547" (func 0)) (export "e548" (func 0)) (export "e549" (func 0)) (export "e550" (func 0)) (export "e551" (func 0)) (export "e552" (func 0)) (export "e553" (func 0)) (export "e554" (func 0)) (export "e555" (func 0)) (export "e556" (func 0)) (export "e557" (func 0)) (export "e558" (func 0)) (export "e559" (func 0)) (export "e560" (func 0)) (export "e561" (func 0)) (export "e562" (func 0)) (export "e563" (func 0)) (export "e564" (func 0)) (export "e565" (func 0)) (export "e566" (func 0)) (export "e567" (func 0)) (export "e568" (func 0)) (export "e569" (func 0)) (export "e570" (func 0)) (export "e571" (func 0)) (export "e572" (func 0)) (export "e573" (func 0)) (export "e574" (func 0)) (export "e575" (func 0)) (export "e576" (func 0)) (export "e577" (func 0)) (export "e578" (func 0)) (export "e579" (func 0)) (export "e580" (func 0)) (export "e581" (func 0)) (export "e582" (func 0)) (export "e583" (func 0)) (export "e584" (func 0)) (export "e585" (func 0)) (export "e586" (func 0)) (export "e587" (func 0)) (export "e588" (func 0)) (export "e589" (func 0)) (export "e590" (func 0)) (export "e591" (func 0)) (export "e592" (func 0)) (export "e593" (func 0)) (export "e594" (func 0)) (export "e595" (func 0)) (export "e596" (func 0)) (export "e597" (func 0)) (export "e598" (func 0)) (export "e599" (func 0)) (export "e600" (func 0)) (export "e601" (func 0)) (export "e602" (func 0)) (export "e603" (func 0)) (export "e604" (func 0)) (export "e605" (func 0)) (export "e606" (func 0)) (export "e607" (func 0)) (export "e608" (func 0)) (export "e609" (func 0)) (export "e610" (func 0)) (export "e611" (func 0)) (export "e612" (func 0)) (export "e613" (func 0)) (export "e614" (func 0)) (export "e615" (func 0)) (export "e616" (func 0)) (export "e617" (func 0)) (export "e618" (func 0)) (export "e619" (func 0)) (export "e620" (func 0)) (export "e621" (func 0)) (export "e622" (func 0)) (export "e623" (func 0)) (export "e624" (func 0)) (export "e625" (func 0)) (export "e626" (func 0)) (export "e627" (func 0)) (export "e628" (func 0)) (export "e629" (func 0)) (export "e630" (func 0)) (export "e631" (func 0)) (export "e632" (func 0)) (export "e633" (func 0)) (export "e634" (func 0)) (export "e635" (func 0)) (export "e636" (func 0)) (export "e637" (func 0)) (export "e638" (func 0)) (export "e639" (func 0)) (export "e640" (func 0)) (export "e641" (func 0)) (export "e642" (func 0)) (export "e643" (func 0)) (export "e644" (func 0)) (export "e645" (func 0)) (export "e646" (func 0)) (export "e647" (func 0)) (export "e648" (func 0)) (export "e649" (func 0)) (export "e650" (func 0)) (export "e651" (func 0)) (export "e652" (func 0)) (export "e653" (func 0)) (export "e654" (func 0)) (export "e655" (func 0)) (export "e656" (func 0)) (export "e657" (func 0)) (export "e658" (func 0)) (export "e659" (func 0)) (export "e660" (func 0)) (export "e661" (func 0)) (export "e662" (func 0)) (export "e663" (func 0)) (export "e664" (func 0)) (export "e665" (func 0)) (export "e666" (func 0)) (export "e667" (func 0)) (export "e668" (func 0)) (export "e669" (func 0)) (export "e670" (func 0)) (export "e671" (func 0)) (export "e672" (func 0)) (export "e673" (func 0)) (export "e674" (func 0)) (export "e675" (func 0)) (export "e676" (func 0)) (export "e677" (func 0)) (export "e678" (func 0)) (export "e679" (func 0)) (export "e680" (func 0)) (export "e681" (func 0)) (export "e682" (func 0)) (export "e683" (func 0)) (export "e684" (func 0)) (export "e685" (func 0)) (export "e686" (func 0)) (export "e687" (func 0)) (export "e688" (func 0)) (export "e689" (func 0)) (export "e690" (func 0)) (export "e691" (func 0)) (export "e692" (func 0)) (export "e693" (func 0)) (export "e694" (func 0)) (export "e695" (func 0)) (export "e696" (func 0)) (export "e697" (func 0)) (export "e698" (func 0)) (export "e699" (func 0)) (export "e700" (func 0)) (export "e701" (func 0)) (export "e702" (func 0)) (export "e703" (func 0)) (export "e704" (func 0)) (export "e705" (func 0)) (export "e706" (func 0)) (export "e707" (func 0)) (export "e708" (func 0)) (export "e709" (func 0)) (export "e710" (func 0)) (export "e711" (func 0)) (export "e712" (func 0)) (export "e713" (func 0)) (export "e714" (func 0)) (export "e715" (func 0)) (export "e716" (func 0)) (export "e717" (func 0)) (export "e718" (func 0)) (export "e719" (func 0)) (export "e720" (func 0)) (export "e721" (func 0)) (export "e722" (func 0)) (export "e723" (func 0)) (export "e724" (func 0)) (export "e725" (func 0)) (export "e726" (func 0)) (export "e727" (func 0)) (export "e728" (func 0)) (export "e729" (func 0)) (export "e730" (func 0)) (export "e731" (func 0)) (export "e732" (func 0)) (export "e733" (func 0)) (export "e734" (func 0)) (export "e735" (func 0)) (export "e736" (func 0)) (export "e737" (func 0)) (export "e738" (func 0)) (export "e739" (func 0)) (export "e740" (func 0)) (export "e741" (func 0)) (export "e742" (func 0)) (export "e743" (func 0)) (export "e744" (func 0)) (export "e745" (func 0)) (export "e746" (func 0)) (export "e747" (func 0)) (export "e748" (func 0)) (export "e749" (func 0)) (export "e750" (func 0)) (export "e751" (func 0)) (export "e752" (func 0)) (export "e753" (func 0)) (export "e754" (func 0)) (export "e755" (func 0)) (export "e756" (func 0)) (export "e757" (func 0)) (export "e758" (func 0)) (export "e759" (func 0)) (export "e760" (func 0)) (export "e761" (func 0)) (export "e762" (func 0)) (export "e763" (func 0)) (export "e764" (func 0)) (export "e765" (func 0)) (export "e766" (func 0)) (export "e767" (func 0)) (export "e768" (func 0)) (export "e769" (func 0)) (export "e770" (func 0)) (export "e771" (func 0)) (export "e772" (func 0)) (export "e773" (func 0)) (export "e774" (func 0)) (export "e775" (func 0)) (export "e776" (func 0)) (export "e777" (func 0)) (export "e778" (func 0)) (export "e779" (func 0)) (export "e780" (func 0)) (export "e781" (func 0)) (export "e782" (func 0)) (export "e783" (func 0)) (export "e784" (func 0)) (export "e785" (func 0)) (export "e786" (func 0)) (export "e787" (func 0)) (export "e788" (func 0)) (export "e789" (func 0)) (export "e790" (func 0)) (export "e791" (func 0)) (export "e792" (func 0)) (export "e793" (func 0)) (export "e794" (func 0)) (export "e795" (func 0)) (export "e796" (func 0)) (export "e797" (func 0)) (export "e798" (func 0)) (export "e799" (func 0)) (export "e800" (func 0)) (export "e801" (func 0)) (export "e802" (func 0)) (export "e803" (func 0)) (export "e804" (func 0)) (export "e805" (func 0)) (export "e806" (func 0)) (export "e807" (func 0)) (export "e808" (func 0)) (export "e809" (func 0)) (export "e810" (func 0)) (export "e811" (func 0)) (export "e812" (func 0)) (export "e813" (func 0)) (export "e814" (func 0)) (export "e815" (func 0)) (export "e816" (func 0)) (export "e817" (func 0)) (export "e818" (func 0)) (export "e819" (func 0)) (export "e820" (func 0)) (export "e821" (func 0)) (export "e822" (func 0)) (export "e823" (func 0)) (export "e824" (func 0)) (export "e825" (func 0)) (export "e826" (func 0)) (export "e827" (func 0)) (export "e828" (func 0)) (export "e829" (func 0)) (export "e830" (func 0)) (export "e831" (func 0)) (export "e832" (func 0)) (export "e833" (func 0)) (export "e834" (func 0)) (export "e835" (func 0)) (export "e836" (func 0)) (export "e837" (func 0)) (export "e838" (func 0)) (export "e839" (func 0)) (export "e840" (func 0)) (export "e841" (func 0)) (export "e842" (func 0)) (export "e843" (func 0)) (export "e844" (func 0)) (export "e845" (func 0)) (export "e846" (func 0)) (export "e847" (func 0)) (export "e848" (func 0)) (export "e849" (func 0)) (export "e850" (func 0)) (export "e851" (func 0)) (export "e852" (func 0)) (export "e853" (func 0)) (export "e854" (func 0)) (export "e855" (func 0)) (export "e856" (func 0)) (export "e857" (func 0)) (export "e858" (func 0)) (export "e859" (func 0)) (export "e860" (func 0)) (export "e861" (func 0)) (export "e862" (func 0)) (export "e863" (func 0)) (export "e864" (func 0)) (export "e865" (func 0)) (export "e866" (func 0)) (export "e867" (func 0)) (export "e868" (func 0)) (export "e869" (func 0)) (export "e870" (func 0)) (export "e871" (func 0)) (export "e872" (func 0)) (export "e873" (func 0)) (export "e874" (func 0)) (export "e875" (func 0)) (export "e876" (func 0)) (export "e877" (func 0)) (export "e878" (func 0)) (export "e879" (func 0)) (export "e880" (func 0)) (export "e881" (func 0)) (export "e882" (func 0)) (export "e883" (func 0)) (export "e884" (func 0)) (export "e885" (func 0)) (export "e886" (func 0)) (export "e887" (func 0)) (export "e888" (func 0)) (export "e889" (func 0)) (export "e890" (func 0)) (export "e891" (func 0)) (export "e892" (func 0)) (export "e893" (func 0)) (export "e894" (func 0)) (export "e895" (func 0)) (export "e896" (func 0)) (export "e897" (func 0)) (export "e898" (func 0)) (export "e899" (func 0)) (export "e900" (func 0)) (export "e901" (func 0)) (export "e902" (func 0)) (export "e903" (func 0)) (export "e904" (func 0)) (export "e905" (func 0)) (export "e906" (func 0)) (export "e907" (func 0)) (export "e908" (func 0)) (export "e909" (func 0)) (export "e910" (func 0)) (export "e911" (func 0)) (export "e912" (func 0)) (export "e913" (func 0)) (export "e914" (func 0)) (export "e915" (func 0)) (export "e916" (func 0)) (export "e917" (func 0)) (export "e918" (func 0)) (export "e919" (func 0)) (export "e920" (func 0)) (export "e921" (func 0)) (export "e922" (func 0)) (export "e923" (func 0)) (export "e924" (func 0)) (export "e925" (func 0)) (export "e926" (func 0)) (export "e927" (func 0)) (export "e928" (func 0)) (export "e929" (func 0)) (export "e930" (func 0)) (export "e931" (func 0)) (export "e932" (func 0)) (export "e933" (func 0)) (export "e934" (func 0)) (export "e935" (func 0)) (export "e936" (func 0)) (export "e937" (func 0)) (export "e938" (func 0)) (export "e939" (func 0)) (export "e940" (func 0)) (export "e941" (func 0)) (export "e942" (func 0)) (export "e943" (func 0)) (export "e944" (func 0)) (export "e945" (func 0)) (export "e946" (func 0)) (export "e947" (func 0)) (export "e948" (func 0)) (export "e949" (func 0)) (export "e950" (func 0)) (export "e951" (func 0)) (export "e952" (func 0)) (export "e953" (func 0)) (export "e954" (func 0)) (export "e955" (func 0)) (export "e956" (func 0)) (export "e957" (func 0)) (export "e958" (func 0)) (export "e959" (func 0)) (export "e960" (func 0)) (export "e961" (func 0)) (export "e962" (func 0)) (export "e963" (func 0)) (export "e964" (func 0)) (export "e965" (func 0)) (export "e966" (func 0)) (export "e967" (func 0)) (export "e968" (func 0)) (export "e969" (func 0)) (export "e970" (func 0)) (export "e971" (func 0)) (export "e972" (func 0)) (export "e973" (func 0)) (export "e974" (func 0)) (export "e975" (func 0)) (export "e976" (func 0)) (export "e977" (func 0)) (export "e978" (func 0)) (export "e979" (func 0)) (export "e980" (func 0)) (export "e981" (func 0)) (export "e982" (func 0)) (export "e983" (func 0)) (export "e984" (func 0)) (export "e985" (func 0)) (export "e986" (func 0)) (export "e987" (func 0)) (export "e988" (func 0)) (export "e989" (func 0)) (export "e990" (func 0)) (export "e991" (func 0)) (export "e992" (func 0)) (export "e993" (func 0)) (export "e994" (func 0)) (export "e995" (func 0)) (export "e996" (func 0)) (export "e997" (func 0)) (export "e998" (func 0)) (export "e999" (func 0)) (export "e1000" (func 0)) (export "e1001" (func 0)) (export "e1002" (func 0)) (export "e1003" (func 0)) (export "e1004" (func 0)) (export "e1005" (func 0)) (export "e1006" (func 0)) (export "e1007" (func 0)) (export "e1008" (func 0)) (export "e1009" (func 0)) (export "e1010" (func 0)) (export "e1011" (func 0)) (export "e1012" (func 0)) (export "e1013" (func 0)) (export "e1014" (func 0)) (export "e1015" (func 0)) (export "e1016" (func 0)) (export "e1017" (func 0)) (export "e1018" (func 0)) (export "e1019" (func 0)) (export "e1020" (func 0)) (export "e1021" (func 0)) (export "e1022" (func 0)) (export "e1023" (func 0)) (export "e1024" (func 0)) )