Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/xpcom/ds/   (Browser von der Mozilla Stiftung Version 136.0.1©)  Datei vom 10.2.2025 mit Größe 106 kB image not shown  

Quelle  StaticAtoms.py   Sprache: Python

 
# This Source Code Form is subject to the terms of the Mozilla Public
# License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at http://mozilla.org/MPL/2.0/.

# flake8: noqa

import sys

from Atom import (
    Atom,
    InheritingAnonBoxAtom,
    NonInheritingAnonBoxAtom,
    PseudoElementAtom,
)
from HTMLAtoms import HTML_PARSER_ATOMS

# Static atom definitions, used to generate nsGkAtomList.h.
#
# Each atom is defined by a call to Atom, PseudoElementAtom,
# NonInheritingAnonBoxAtom or InheritingAnonBoxAtom.
#
# The first argument is the atom's identifier.
# The second argument is the atom's string value.
#
# Please keep the Atom() definitions on one line as this is parsed by the
#   htmlparser: parser/html/java/htmlparser
# Please keep "START ATOMS" and "END ATOMS" comments as the parser uses them.
#
# It is not possible to conditionally define static atoms with #ifdef etc.
# fmt: off
STATIC_ATOMS = [
    # START ATOMS
    # --------------------------------------------------------------------------
    # Generic atoms
    # --------------------------------------------------------------------------
    Atom("SystemPrincipal""[System Principal]"),
    Atom("_empty"""),
    Atom("_0""0"),
    Atom("_1""1"),
    Atom("mozframetype""mozframetype"),
    Atom("_moz_abspos""_moz_abspos"),
    Atom("_moz_activated""_moz_activated"),
    Atom("_moz_anonclass""_moz_anonclass"),
    Atom("_moz_resizing""_moz_resizing"),
    Atom("moztype""_moz-type"),
    Atom("mozdirty""_moz_dirty"),
    Atom("mozdisallowselectionprint""mozdisallowselectionprint"),
    Atom("mozdonotsend""moz-do-not-send"),
    Atom("mozfwcontainer""moz-forward-container"),  # Used by MailNews.
    Atom("mozgeneratedcontentbefore""_moz_generated_content_before"),
    Atom("mozgeneratedcontentafter""_moz_generated_content_after"),
    Atom("mozgeneratedcontentmarker""_moz_generated_content_marker"),
    Atom("mozgeneratedcontentimage""_moz_generated_content_image"),
    Atom("mozquote""_moz_quote"),
    Atom("mozsignature""moz-signature"),  # Used by MailNews.
    Atom("_moz_bullet_font""-moz-bullet-font"),
    Atom("_moz_is_glyph""-moz-is-glyph"),
    Atom("_moz_original_size""_moz_original_size"),
    Atom("_moz_print_preview""-moz-print-preview"),
    Atom("menuactive""_moz-menuactive"),
    Atom("_poundDefault""#default"),
    Atom("_asterisk""*"),
    Atom("a""a"),
    Atom("abbr""abbr"),
    Atom("abort""abort"),
    Atom("above""above"),
    Atom("acceltext""acceltext"),
    Atom("accept""accept"),
    Atom("acceptcharset""accept-charset"),
    Atom("accessiblenode""accessible-node"),
    Atom("accesskey""accesskey"),
    Atom("acronym""acronym"),
    Atom("action""action"),
    Atom("active""active"),
    Atom("activateontab""activateontab"),
    Atom("actuate""actuate"),
    Atom("address""address"),
    Atom("adoptedsheetclones""adoptedsheetclones"),
    Atom("after""after"),
    Atom("align""align"),
    Atom("alink""alink"),
    Atom("all""all"),
    Atom("allow""allow"),
    Atom("allowdownloads""allow-downloads"),
    Atom("allowevents""allowevents"),
    Atom("allowforms""allow-forms"),
    Atom("allowfullscreen""allowfullscreen"),
    Atom("allowmodals""allow-modals"),
    Atom("alloworientationlock""allow-orientation-lock"),
    Atom("allowpointerlock""allow-pointer-lock"),
    Atom("allowpopupstoescapesandbox""allow-popups-to-escape-sandbox"),
    Atom("allowpopups""allow-popups"),
    Atom("allowpresentation""allow-presentation"),
    Atom("allowstorageaccessbyuseractivatetion""allow-storage-access-by-user-activation"),
    Atom("allowsameorigin""allow-same-origin"),
    Atom("allowscripts""allow-scripts"),
    Atom("allowscriptstoclose""allowscriptstoclose"),
    Atom("allowtopnavigation""allow-top-navigation"),
    Atom("allowtopnavigationbyuseractivation""allow-top-navigation-by-user-activation"),
    Atom("allowtopnavigationcustomprotocols""allow-top-navigation-to-custom-protocols"),
    Atom("allowuntrusted""allowuntrusted"),
    Atom("alt""alt"),
    Atom("alternate""alternate"),
    Atom("always""always"),
    Atom("ancestor""ancestor"),
    Atom("ancestorOrSelf""ancestor-or-self"),
    Atom("anchor""anchor"),
    Atom("_and""and"),
    Atom("animations""animations"),
    Atom("anonid""anonid"),
    Atom("anonlocation""anonlocation"),
    Atom("any""any"),
    Atom("any_hover""any-hover"),
    Atom("any_pointer""any-pointer"),
    Atom("applet""applet"),
    Atom("applyImports""apply-imports"),
    Atom("applyTemplates""apply-templates"),
    Atom("archive""archive"),
    Atom("area""area"),
    Atom("aria""aria"),
    Atom("aria_activedescendant""aria-activedescendant"),
    Atom("aria_atomic""aria-atomic"),
    Atom("aria_autocomplete""aria-autocomplete"),
    Atom("aria_braillelabel""aria-braillelabel"),
    Atom("aria_brailleroledescription""aria-brailleroledescription"),
    Atom("aria_busy""aria-busy"),
    Atom("aria_checked""aria-checked"),
    Atom("aria_controls""aria-controls"),
    Atom("aria_current""aria-current"),
    Atom("aria_describedby""aria-describedby"),
    Atom("aria_description""aria-description"),
    Atom("aria_disabled""aria-disabled"),
    Atom("aria_dropeffect""aria-dropeffect"),
    Atom("aria_expanded""aria-expanded"),
    Atom("aria_flowto""aria-flowto"),
    Atom("aria_haspopup""aria-haspopup"),
    Atom("aria_hidden""aria-hidden"),
    Atom("aria_invalid""aria-invalid"),
    Atom("aria_labelledby""aria-labelledby"),
    Atom("aria_level""aria-level"),
    Atom("aria_live""aria-live"),
    Atom("aria_multiline""aria-multiline"),
    Atom("aria_multiselectable""aria-multiselectable"),
    Atom("aria_owns""aria-owns"),
    Atom("aria_posinset""aria-posinset"),
    Atom("aria_pressed""aria-pressed"),
    Atom("aria_readonly""aria-readonly"),
    Atom("aria_relevant""aria-relevant"),
    Atom("aria_required""aria-required"),
    Atom("aria_selected""aria-selected"),
    Atom("aria_setsize""aria-setsize"),
    Atom("aria_sort""aria-sort"),
    Atom("aria_valuemax""aria-valuemax"),
    Atom("aria_valuemin""aria-valuemin"),
    Atom("aria_valuenow""aria-valuenow"),
    Atom("arrow""arrow"),
    Atom("article""article"),
    Atom("as""as"),
    Atom("ascending""ascending"),
    Atom("aside""aside"),
    Atom("aspectRatio""aspect-ratio"),
    Atom("async""async"),
    Atom("attribute""attribute"),
    Atom("attributes""attributes"),
    Atom("attributeSet""attribute-set"),
    Atom("_auto""auto"),
    Atom("autocapitalize""autocapitalize"),
    Atom("autocheck""autocheck"),
    Atom("autocomplete""autocomplete"),
    Atom("autocomplete_richlistbox""autocomplete-richlistbox"),
    Atom("autofocus""autofocus"),
    Atom("autoplay""autoplay"),
    Atom("axis""axis"),
    Atom("b""b"),
    Atom("background""background"),
    Atom("bar""bar"),
    Atom("base""base"),
    Atom("basefont""basefont"),
    Atom("baseline""baseline"),
    Atom("bdi""bdi"),
    Atom("bdo""bdo"),
    Atom("before""before"),
    Atom("behavior""behavior"),
    Atom("below""below"),
    Atom("bgcolor""bgcolor"),
    Atom("bgsound""bgsound"),
    Atom("big""big"),
    Atom("binding""binding"),
    Atom("bindings""bindings"),
    Atom("bindToUntrustedContent""bindToUntrustedContent"),
    Atom("black""black"),
    Atom("block""block"),
    Atom("block_size""block-size"),
    Atom("blocking""blocking"),
    Atom("blockquote""blockquote"),
    Atom("blur""blur"),
    Atom("body""body"),
    Atom("boolean""boolean"),
    Atom("border""border"),
    Atom("bordercolor""bordercolor"),
    Atom("both""both"),
    Atom("bottom""bottom"),
    Atom("bottomend""bottomend"),
    Atom("bottomstart""bottomstart"),
    Atom("bottomleft""bottomleft"),
    Atom("bottommargin""bottommargin"),
    Atom("bottomright""bottomright"),
    Atom("box""box"),
    Atom("br""br"),
    Atom("browser""browser"),
    Atom("button""button"),
    Atom("callTemplate""call-template"),
    Atom("canvas""canvas"),
    Atom("caption""caption"),
    Atom("captionBox""caption-box"),
    Atom("capture""capture"),
    Atom("caseOrder""case-order"),
    Atom("cdataSectionElements""cdata-section-elements"),
    Atom("ceiling""ceiling"),
    Atom("cell""cell"),
    Atom("cellpadding""cellpadding"),
    Atom("cellspacing""cellspacing"),
    Atom("center""center"),
    Atom("change""change"),
    Atom("_char""char"),
    Atom("characterData""characterData"),
    Atom("charcode""charcode"),
    Atom("charoff""charoff"),
    Atom("charset""charset"),
    Atom("checkbox""checkbox"),
    Atom("checkboxLabel""checkbox-label"),
    Atom("checked""checked"),
    Atom("child""child"),
    Atom("children""children"),
    Atom("childList""childList"),
    Atom("child_item_count""child-item-count"),
    Atom("choose""choose"),
    Atom("customtitlebar""customtitlebar"),
    Atom("exposeToUntrustedContent""exposeToUntrustedContent"),
    Atom("circ""circ"),
    Atom("circle""circle"),
    Atom("cite""cite"),
    Atom("_class""class"),
    Atom("classid""classid"),
    Atom("clear""clear"),
    Atom("click""click"),
    Atom("clickcount""clickcount"),
    Atom("movetoclick""movetoclick"),
    Atom("clip""clip"),
    Atom("close""close"),
    Atom("closed""closed"),
    Atom("closemenu""closemenu"),
    Atom("code""code"),
    Atom("codebase""codebase"),
    Atom("codetype""codetype"),
    Atom("col""col"),
    Atom("colgroup""colgroup"),
    Atom("collapse""collapse"),
    Atom("collapsed""collapsed"),
    Atom("color""color"),
    Atom("color_gamut""color-gamut"),
    Atom("color_index""color-index"),
    Atom("color_scheme""color-scheme"),
    Atom("cols""cols"),
    Atom("colspan""colspan"),
    Atom("combobox""combobox"),
    Atom("command""command"),
    Atom("commandupdater""commandupdater"),
    Atom("comment""comment"),
    Atom("compact""compact"),
    Atom("concat""concat"),
    Atom("constructor""constructor"),
    Atom("consumeoutsideclicks""consumeoutsideclicks"),
    Atom("container""container"),
    Atom("contains""contains"),
    Atom("content""content"),
    Atom("contenteditable""contenteditable"),
    Atom("headerContentDisposition""content-disposition"),
    Atom("headerContentLanguage""content-language"),
    Atom("contentLocation""content-location"),
    Atom("headerContentScriptType""content-script-type"),
    Atom("headerContentStyleType""content-style-type"),
    Atom("headerContentType""content-type"),
    Atom("consumeanchor""consumeanchor"),
    Atom("context""context"),
    Atom("contextmenu""contextmenu"),
    Atom("control""control"),
    Atom("controls""controls"),
    Atom("coords""coords"),
    Atom("copy""copy"),
    Atom("copyOf""copy-of"),
    Atom("count""count"),
    Atom("crop""crop"),
    Atom("crossorigin""crossorigin"),
    Atom("curpos""curpos"),
    Atom("current""current"),
    Atom("cutoutregion""cutoutregion"),
    Atom("cycler""cycler"),
    Atom("dashed""dashed"),
    Atom("data""data"),
    Atom("dataAtShortcutkeys""data-at-shortcutkeys"),
    Atom("datalist""datalist"),
    Atom("datal10nid""data-l10n-id"),
    Atom("datal10nargs""data-l10n-args"),
    Atom("datal10nattrs""data-l10n-attrs"),
    Atom("datal10nname""data-l10n-name"),
    Atom("datal10nsync""data-l10n-sync"),
    Atom("dataType""data-type"),
    Atom("dateTime""date-time"),
    Atom("date""date"),
    Atom("datetime""datetime"),
    Atom("datetime_local""datetime-local"),
    Atom("datetimeInputBoxWrapper""datetime-input-box-wrapper"),
    Atom("dd""dd"),
    Atom("decimal""decimal"),
    Atom("decimalFormat""decimal-format"),
    Atom("decimalSeparator""decimal-separator"),
    Atom("declare""declare"),
    Atom("decoderDoctor""decoder-doctor"),
    Atom("decoding""decoding"),
    Atom("decrement""decrement"),
    Atom("_default""default"),
    Atom("headerDefaultStyle""default-style"),
    Atom("defer""defer"),
    Atom("del""del"),
    Atom("delegatesanchor""delegatesanchor"),
    Atom("deletion""deletion"),
    Atom("deprecation""deprecation"),
    Atom("descendant""descendant"),
    Atom("descendantOrSelf""descendant-or-self"),
    Atom("descending""descending"),
    Atom("description""description"),
    Atom("destructor""destructor"),
    Atom("details""details"),
    Atom("deviceAspectRatio""device-aspect-ratio"),
    Atom("deviceHeight""device-height"),
    Atom("devicePixelRatio""device-pixel-ratio"),
    Atom("deviceWidth""device-width"),
    Atom("dfn""dfn"),
    Atom("dialog""dialog"),
    Atom("difference""difference"),
    Atom("digit""digit"),
    Atom("dir""dir"),
    Atom("directory""directory"),
    Atom("dirname""dirname"),
    Atom("disableOutputEscaping""disable-output-escaping"),
    Atom("disabled""disabled"),
    Atom("disableglobalhistory""disableglobalhistory"),
    Atom("disablehistory""disablehistory"),
    Atom("disablefullscreen""disablefullscreen"),
    Atom("disablepictureinpicture""disablepictureinpicture"),
    Atom("disclosure_closed""disclosure-closed"),
    Atom("disclosure_open""disclosure-open"),
    Atom("display""display"),
    Atom("displayMode""display-mode"),
    Atom("distinct""distinct"),
    Atom("div""div"),
    Atom("dl""dl"),
    Atom("docAbstract""doc-abstract"),
    Atom("docAcknowledgments""doc-acknowledgments"),
    Atom("docAfterword""doc-afterword"),
    Atom("docAppendix""doc-appendix"),
    Atom("docBacklink""doc-backlink"),
    Atom("docBiblioentry""doc-biblioentry"),
    Atom("docBibliography""doc-bibliography"),
    Atom("docBiblioref""doc-biblioref"),
    Atom("docChapter""doc-chapter"),
    Atom("docColophon""doc-colophon"),
    Atom("docConclusion""doc-conclusion"),
    Atom("docCover""doc-cover"),
    Atom("docCredit""doc-credit"),
    Atom("docCredits""doc-credits"),
    Atom("docDedication""doc-dedication"),
    Atom("docEndnote""doc-endnote"),
    Atom("docEndnotes""doc-endnotes"),
    Atom("docEpigraph""doc-epigraph"),
    Atom("docEpilogue""doc-epilogue"),
    Atom("docErrata""doc-errata"),
    Atom("docExample""doc-example"),
    Atom("docFootnote""doc-footnote"),
    Atom("docForeword""doc-foreword"),
    Atom("docGlossary""doc-glossary"),
    Atom("docGlossref""doc-glossref"),
    Atom("docIndex""doc-index"),
    Atom("docIntroduction""doc-introduction"),
    Atom("docNoteref""doc-noteref"),
    Atom("docNotice""doc-notice"),
    Atom("docPagebreak""doc-pagebreak"),
    Atom("docPagefooter""doc-pagefooter"),
    Atom("docPageheader""doc-pageheader"),
    Atom("docPagelist""doc-pagelist"),
    Atom("docPart""doc-part"),
    Atom("docPreface""doc-preface"),
    Atom("docPrologue""doc-prologue"),
    Atom("docPullquote""doc-pullquote"),
    Atom("docQna""doc-qna"),
    Atom("docSubtitle""doc-subtitle"),
    Atom("docTip""doc-tip"),
    Atom("docToc""doc-toc"),
    Atom("doctypePublic""doctype-public"),
    Atom("doctypeSystem""doctype-system"),
    Atom("document""document"),
    Atom("down""down"),
    Atom("download""download"),
    Atom("drag""drag"),
    Atom("draggable""draggable"),
    Atom("dragging""dragging"),
    Atom("dragSession""dragSession"),
    Atom("drawtitle""drawtitle"),
    Atom("dropAfter""dropAfter"),
    Atom("dropBefore""dropBefore"),
    Atom("dropOn""dropOn"),
    Atom("dropMarker""dropmarker"),
    Atom("dt""dt"),
    Atom("e""e"),
    Atom("editable""editable"),
    Atom("editing""editing"),
    Atom("editor""editor"),
    Atom("element""element"),
    Atom("elementAvailable""element-available"),
    Atom("elements""elements"),
    Atom("em""em"),
    Atom("embed""embed"),
    Atom("emphasis""emphasis"),
    Atom("empty""empty"),
    Atom("encoding""encoding"),
    Atom("enctype""enctype"),
    Atom("end""end"),
    Atom("endEvent""endEvent"),
    Atom("enterkeyhint""enterkeyhint"),
    Atom("error""error"),
    Atom("ethiopic_numeric""ethiopic-numeric"),
    Atom("even""even"),
    Atom("event""event"),
    Atom("events""events"),
    Atom("excludeResultPrefixes""exclude-result-prefixes"),
    Atom("exportparts""exportparts"),
    Atom("explicit_name""explicit-name"),
    Atom("extends""extends"),
    Atom("extensionElementPrefixes""extension-element-prefixes"),
    Atom("face""face"),
    Atom("fallback""fallback"),
    Atom("_false""false"),
    Atom("farthest""farthest"),
    Atom("featurePolicyViolation""feature-policy-violation"),
    Atom("fetchpriority""fetchpriority"),
    Atom("field""field"),
    Atom("fieldset""fieldset"),
    Atom("file""file"),
    Atom("figcaption""figcaption"),
    Atom("figure""figure"),
    Atom("findbar""findbar"),
    Atom("firstColumn""first-column"),
    Atom("firstInput""first-input"),
    Atom("fixed""fixed"),
    Atom("flags""flags"),
    Atom("flex""flex"),
    Atom("flip""flip"),
    Atom("floor""floor"),
    Atom("flowlength""flowlength"),
    Atom("focus""focus"),
    Atom("focused""focused"),
    Atom("followanchor""followanchor"),
    Atom("following""following"),
    Atom("followingSibling""following-sibling"),
    Atom("font""font"),
    Atom("fontWeight""font-weight"),
    Atom("footer""footer"),
    Atom("_for""for"),
    Atom("forEach""for-each"),
    Atom("forcedColors""forced-colors"),
    Atom("invertedColors""inverted-colors"),
    Atom("forceOwnRefreshDriver""forceOwnRefreshDriver"),
    Atom("form""form"),
    Atom("formaction""formaction"),
    Atom("format""format"),
    Atom("formatNumber""format-number"),
    Atom("formenctype""formenctype"),
    Atom("formmethod""formmethod"),
    Atom("formnovalidate""formnovalidate"),
    Atom("formtarget""formtarget"),
    Atom("frame""frame"),
    Atom("frameborder""frameborder"),
    Atom("frameset""frameset"),
    Atom("from""from"),
    Atom("fullscreenchange""fullscreenchange"),
    Atom("fullscreenerror""fullscreenerror"),
    Atom("functionAvailable""function-available"),
    Atom("generateId""generate-id"),
    Atom("generic""generic"),
    Atom("getter""getter"),
    Atom("graphicsDocument""graphics-document"),
    Atom("graphicsObject""graphics-object"),
    Atom("graphicsSymbol""graphics-symbol"),
    Atom("grid""grid"),
    Atom("group""group"),
    Atom("groups""groups"),
    Atom("groupbox""groupbox"),
    Atom("groupingSeparator""grouping-separator"),
    Atom("groupingSize""grouping-size"),
    Atom("grow""grow"),
    Atom("h1""h1"),
    Atom("h2""h2"),
    Atom("h3""h3"),
    Atom("h4""h4"),
    Atom("h5""h5"),
    Atom("h6""h6"),
    Atom("handheldFriendly""HandheldFriendly"),
    Atom("handler""handler"),
    Atom("handlers""handlers"),
    Atom("HARD""HARD"),
    Atom("hasSameNode""has-same-node"),
    Atom("hbox""hbox"),
    Atom("head""head"),
    Atom("header""header"),
    Atom("headers""headers"),
    Atom("hebrew""hebrew"),
    Atom("height""height"),
    Atom("hgroup""hgroup"),
    Atom("hidden""hidden"),
    Atom("hidechrome""hidechrome"),
    Atom("hidecolumnpicker""hidecolumnpicker"),
    Atom("hidepopover""hidepopover"),
    Atom("high""high"),
    Atom("highest""highest"),
    Atom("horizontal""horizontal"),
    Atom("hover""hover"),
    Atom("hr""hr"),
    Atom("href""href"),
    Atom("hreflang""hreflang"),
    Atom("hsides""hsides"),
    Atom("hspace""hspace"),
    Atom("html""html"),
    Atom("httpEquiv""http-equiv"),
    Atom("i""i"),
    Atom("icon""icon"),
    Atom("id""id"),
    Atom("_if""if"),
    Atom("iframe""iframe"),
    Atom("ignorekeys""ignorekeys"),
    Atom("ignoreuserfocus""ignoreuserfocus"),
    Atom("image""image"),
    Atom("imageClickedPoint""image-clicked-point"),
    Atom("imagesizes""imagesizes"),
    Atom("imagesrcset""imagesrcset"),
    Atom("img""img"),
    Atom("implementation""implementation"),
    Atom("implements""implements"),
    Atom("import""import"),
    Atom("include""include"),
    Atom("includes""includes"),
    Atom("incontentshell""incontentshell"),
    Atom("increment""increment"),
    Atom("indent""indent"),
    Atom("indeterminate""indeterminate"),
    Atom("index""index"),
    Atom("inert""inert"),
    Atom("innerHTML""innerHTML"),
    Atom("innerText""innerText"),
    Atom("infinity""infinity"),
    Atom("inherits""inherits"),
    Atom("inheritOverflow""inherit-overflow"),
    Atom("inheritstyle""inheritstyle"),
    Atom("initial_scale""initial-scale"),
    Atom("input""input"),
    Atom("inputmode""inputmode"),
    Atom("ins""ins"),
    Atom("insertafter""insertafter"),
    Atom("insertbefore""insertbefore"),
    Atom("insertion""insertion"),
    Atom("integer""integer"),
    Atom("integrity""integrity"),
    Atom("interactive_widget""interactive-widget"),
    Atom("internal""internal"),
    Atom("internals""internals"),
    Atom("intersection""intersection"),
    Atom("invoketarget""invoketarget"),
    Atom("invokeaction""invokeaction"),
    Atom("is""is"),
    Atom("ismap""ismap"),
    Atom("ispopup""ispopup"),
    Atom("itemid""itemid"),
    Atom("itemprop""itemprop"),
    Atom("itemref""itemref"),
    Atom("itemscope""itemscope"),
    Atom("itemtype""itemtype"),
    Atom("japanese_formal""japanese-formal"),
    Atom("japanese_informal""japanese-informal"),
    Atom("kbd""kbd"),
    Atom("keepcurrentinview""keepcurrentinview"),
    Atom("key""key"),
    Atom("keycode""keycode"),
    Atom("keydown""keydown"),
    Atom("keygen""keygen"),
    Atom("keypress""keypress"),
    Atom("keyset""keyset"),
    Atom("keysystem""keysystem"),
    Atom("keyup""keyup"),
    Atom("kind""kind"),
    Atom("korean_hangul_formal""korean-hangul-formal"),
    Atom("korean_hanja_formal""korean-hanja-formal"),
    Atom("korean_hanja_informal""korean-hanja-informal"),
    Atom("label""label"),
    Atom("lang""lang"),
    Atom("language""language"),
    Atom("last""last"),
    Atom("layer""layer"),
    Atom("LayerActivity""LayerActivity"),
    Atom("layout_guess""layout-guess"),
    Atom("leading""leading"),
    Atom("leaf""leaf"),
    Atom("left""left"),
    Atom("leftmargin""leftmargin"),
    Atom("legend""legend"),
    Atom("length""length"),
    Atom("letterValue""letter-value"),
    Atom("level""level"),
    Atom("lhs""lhs"),
    Atom("li""li"),
    Atom("line""line"),
    Atom("link""link"),
    Atom("linkset""linkset"),
    # Atom("list", "list"),  # "list" is present below
    Atom("listbox""listbox"),
    Atom("listener""listener"),
    Atom("listheader""listheader"),
    Atom("listing""listing"),
    Atom("listitem""listitem"),
    Atom("load""load"),
    Atom("loading""loading"),
    Atom("triggeringprincipal""triggeringprincipal"),
    Atom("localedir""localedir"),
    Atom("localName""local-name"),
    Atom("localization""localization"),
    Atom("longdesc""longdesc"),
    Atom("loop""loop"),
    Atom("low""low"),
    Atom("lowerFirst""lower-first"),
    Atom("lowest""lowest"),
    Atom("lowsrc""lowsrc"),
    Atom("ltr""ltr"),
    Atom("main""main"),
    Atom("map""map"),
    Atom("manifest""manifest"),
    Atom("marginBottom""margin-bottom"),
    Atom("marginLeft""margin-left"),
    Atom("marginRight""margin-right"),
    Atom("marginTop""margin-top"),
    Atom("marginheight""marginheight"),
    Atom("marginwidth""marginwidth"),
    Atom("mark""mark"),
    Atom("marquee""marquee"),
    Atom("match""match"),
    Atom("max""max"),
    Atom("maxheight""maxheight"),
    Atom("maximum_scale""maximum-scale"),
    Atom("maxlength""maxlength"),
    Atom("maxpos""maxpos"),
    Atom("maxwidth""maxwidth"),
    Atom("measure""measure"),
    Atom("media""media"),
    Atom("mediaType""media-type"),
    Atom("menu""menu"),
    Atom("menubar""menubar"),
    Atom("menucaption""menucaption"),
    Atom("menugroup""menugroup"),
    Atom("menuitem""menuitem"),
    Atom("menulist""menulist"),
    Atom("menupopup""menupopup"),
    Atom("menuseparator""menuseparator"),
    Atom("mesh""mesh"),
    Atom("message""message"),
    Atom("meta""meta"),
    Atom("referrer""referrer"),
    Atom("referrerpolicy""referrerpolicy"),
    Atom("renderroot""renderroot"),
    Atom("headerReferrerPolicy""referrer-policy"),
    Atom("meter""meter"),
    Atom("method""method"),
    Atom("middle""middle"),
    Atom("min""min"),
    Atom("minheight""minheight"),
    Atom("minimum_scale""minimum-scale"),
    Atom("minlength""minlength"),
    Atom("minpos""minpos"),
    Atom("minusSign""minus-sign"),
    Atom("minwidth""minwidth"),
    Atom("mixed""mixed"),
    Atom("messagemanagergroup""messagemanagergroup"),
    Atom("mod""mod"),
    Atom("_module""module"),
    Atom("mode""mode"),
    Atom("modifiers""modifiers"),
    Atom("monochrome""monochrome"),
    Atom("mouseover""mouseover"),
    Atom("mozAccessiblecaret""moz-accessiblecaret"),
    Atom("mozCustomContentContainer""moz-custom-content-container"),
    Atom("mozGrabber""mozGrabber"),
    Atom("mozNativeAnonymous""-moz-native-anonymous"),
    Atom("mozprivatebrowsing""mozprivatebrowsing"),
    Atom("mozResizer""mozResizer"),
    Atom("mozResizingInfo""mozResizingInfo"),
    Atom("mozResizingShadow""mozResizingShadow"),
    Atom("mozTableAddColumnAfter""mozTableAddColumnAfter"),
    Atom("mozTableAddColumnBefore""mozTableAddColumnBefore"),
    Atom("mozTableAddRowAfter""mozTableAddRowAfter"),
    Atom("mozTableAddRowBefore""mozTableAddRowBefore"),
    Atom("mozTableRemoveRow""mozTableRemoveRow"),
    Atom("mozTableRemoveColumn""mozTableRemoveColumn"),
    Atom("moz_opaque""moz-opaque"),
    Atom("multicol""multicol"),
    Atom("multiple""multiple"),
    Atom("muted""muted"),
    Atom("name""name"),
    Atom("_namespace""namespace"),
    Atom("namespaceAlias""namespace-alias"),
    Atom("namespaceUri""namespace-uri"),
    Atom("NaN""NaN"),
    Atom("n""n"),
    Atom("nav""nav"),
    Atom("ne""ne"),
    Atom("never""never"),
    Atom("_new""new"),
    Atom("newline""newline"),
    Atom("nextRemoteTabId""nextRemoteTabId"),
    Atom("no""no"),
    Atom("noautofocus""noautofocus"),
    Atom("noautohide""noautohide"),
    Atom("norolluponanchor""norolluponanchor"),
    Atom("noBar""no-bar"),
    Atom("nobr""nobr"),
    Atom("nodefaultsrc""nodefaultsrc"),
    Atom("nodeSet""node-set"),
    Atom("noembed""noembed"),
    Atom("noframes""noframes"),
    Atom("nohref""nohref"),
    Atom("noinitialselection""noinitialselection"),
    Atom("nomodule""nomodule"),
    Atom("nonce""nonce"),
    Atom("none""none"),
    Atom("noresize""noresize"),
    Atom("normal""normal"),
    Atom("normalizeSpace""normalize-space"),
    Atom("noscript""noscript"),
    Atom("noshade""noshade"),
    Atom("notification""notification"),
    Atom("novalidate""novalidate"),
    Atom("_not""not"),
    Atom("nowrap""nowrap"),
    Atom("number""number"),
    Atom("nw""nw"),
    Atom("object""object"),
    Atom("objectType""object-type"),
    Atom("observes""observes"),
    Atom("odd""odd"),
    Atom("OFF""OFF"),
    Atom("ol""ol"),
    Atom("omitXmlDeclaration""omit-xml-declaration"),
    Atom("onabort""onabort"),
    Atom("onmozaccesskeynotfound""onmozaccesskeynotfound"),
    Atom("onactivate""onactivate"),
    Atom("onafterprint""onafterprint"),
    Atom("onafterscriptexecute""onafterscriptexecute"),
    Atom("onanimationcancel""onanimationcancel"),
    Atom("onanimationend""onanimationend"),
    Atom("onanimationiteration""onanimationiteration"),
    Atom("onanimationstart""onanimationstart"),
    Atom("onAppCommand""onAppCommand"),
    Atom("onaudioprocess""onaudioprocess"),
    Atom("onauxclick""onauxclick"),
    Atom("onbeforecopy""onbeforecopy"),
    Atom("onbeforecut""onbeforecut"),
    Atom("onbeforeinput""onbeforeinput"),
    Atom("onbeforepaste""onbeforepaste"),
    Atom("onbeforeprint""onbeforeprint"),
    Atom("onbeforescriptexecute""onbeforescriptexecute"),
    Atom("onbeforeunload""onbeforeunload"),
    Atom("onblocked""onblocked"),
    Atom("onblur""onblur"),
    Atom("onboundschange""onboundschange"),
    Atom("onbroadcast""onbroadcast"),
    Atom("onbufferedamountlow""onbufferedamountlow"),
    Atom("oncached""oncached"),
    Atom("oncancel""oncancel"),
    Atom("onchange""onchange"),
    Atom("onchargingchange""onchargingchange"),
    Atom("onchargingtimechange""onchargingtimechange"),
    Atom("onchecking""onchecking"),
    Atom("onCheckboxStateChange""onCheckboxStateChange"),
    Atom("onCheckKeyPressEventModel""onCheckKeyPressEventModel"),
    Atom("onclick""onclick"),
    Atom("onclose""onclose"),
    Atom("oncontentvisibilityautostatechange""oncontentvisibilityautostatechange"),
    Atom("oncommand""oncommand"),
    Atom("oncommandupdate""oncommandupdate"),
    Atom("oncomplete""oncomplete"),
    Atom("oncompositionend""oncompositionend"),
    Atom("oncompositionstart""oncompositionstart"),
    Atom("oncompositionupdate""oncompositionupdate"),
    Atom("onconnect""onconnect"),
    Atom("onconnectionavailable""onconnectionavailable"),
    Atom("oncontextmenu""oncontextmenu"),
    Atom("oncontextlost""oncontextlost"),
    Atom("oncontextrestored""oncontextrestored"),
    Atom("oncookiechange""oncookiechange"),
    Atom("oncopy""oncopy"),
    Atom("oncut""oncut"),
    Atom("oncurrententrychange""oncurrententrychange"),
    Atom("ondblclick""ondblclick"),
    Atom("ondischargingtimechange""ondischargingtimechange"),
    Atom("ondispose""ondispose"),
    Atom("ondownloading""ondownloading"),
    Atom("onDOMActivate""onDOMActivate"),
    Atom("onDOMAttrModified""onDOMAttrModified"),
    Atom("onDOMCharacterDataModified""onDOMCharacterDataModified"),
    Atom("onDOMFocusIn""onDOMFocusIn"),
    Atom("onDOMFocusOut""onDOMFocusOut"),
    Atom("onDOMMouseScroll""onDOMMouseScroll"),
    Atom("onDOMNodeInserted""onDOMNodeInserted"),
    Atom("onDOMNodeInsertedIntoDocument""onDOMNodeInsertedIntoDocument"),
    Atom("onDOMNodeRemoved""onDOMNodeRemoved"),
    Atom("onDOMNodeRemovedFromDocument""onDOMNodeRemovedFromDocument"),
    Atom("onDOMSubtreeModified""onDOMSubtreeModified"),
    Atom("ondata""ondata"),
    Atom("ondrag""ondrag"),
    Atom("ondragdrop""ondragdrop"),
    Atom("ondragend""ondragend"),
    Atom("ondragenter""ondragenter"),
    Atom("ondragexit""ondragexit"),
    Atom("ondragleave""ondragleave"),
    Atom("ondragover""ondragover"),
    Atom("ondragstart""ondragstart"),
    Atom("ondrain""ondrain"),
    Atom("ondrop""ondrop"),
    Atom("onerror""onerror"),
    Atom("onfinish""onfinish"),
    Atom("onfocus""onfocus"),
    Atom("onfocusin""onfocusin"),
    Atom("onfocusout""onfocusout"),
    Atom("onfullscreenchange""onfullscreenchange"),
    Atom("onfullscreenerror""onfullscreenerror"),
    Atom("ongatheringstatechange""ongatheringstatechange"),
    Atom("onget""onget"),
    Atom("onhashchange""onhashchange"),
    Atom("oninput""oninput"),
    Atom("oninputsourceschange""oninputsourceschange"),
    Atom("oninstall""oninstall"),
    Atom("oninvalid""oninvalid"),
    Atom("onkeydown""onkeydown"),
    Atom("onkeypress""onkeypress"),
    Atom("onkeyup""onkeyup"),
    Atom("onlanguagechange""onlanguagechange"),
    Atom("onlevelchange""onlevelchange"),
    Atom("onload""onload"),
    Atom("onloading""onloading"),
    Atom("onloadingdone""onloadingdone"),
    Atom("onloadingerror""onloadingerror"),
    Atom("onpopstate""onpopstate"),
    Atom("only""only"),  # this one is not an event
    Atom("onmerchantvalidation""onmerchantvalidation"),
    Atom("onmessage""onmessage"),
    Atom("onmessageerror""onmessageerror"),
    Atom("onmidimessage""onmidimessage"),
    Atom("onmousedown""onmousedown"),
    Atom("onmouseenter""onmouseenter"),
    Atom("onmouseleave""onmouseleave"),
    Atom("onmouselongtap""onmouselongtap"),
    Atom("onmousemove""onmousemove"),
    Atom("onmouseout""onmouseout"),
    Atom("onmouseover""onmouseover"),
    Atom("onMozMouseHittest""onMozMouseHittest"),
    Atom("onMozMouseExploreByTouch""onMozMouseExploreByTouch"),
    Atom("onmouseup""onmouseup"),
    Atom("onMozAfterPaint""onMozAfterPaint"),
    Atom("onmozfullscreenchange""onmozfullscreenchange"),
    Atom("onmozfullscreenerror""onmozfullscreenerror"),
    Atom("onmozpointerlockchange""onmozpointerlockchange"),
    Atom("onmozpointerlockerror""onmozpointerlockerror"),
    Atom("onMozMousePixelScroll""onMozMousePixelScroll"),
    Atom("onMozScrolledAreaChanged""onMozScrolledAreaChanged"),
    Atom("onmute""onmute"),
    Atom("onnavigate""onnavigate"),
    Atom("onnavigatesuccess""onnavigatesuccess"),
    Atom("onnavigateerror""onnavigateerror"),
    Atom("onnotificationclick""onnotificationclick"),
    Atom("onnotificationclose""onnotificationclose"),
    Atom("onnoupdate""onnoupdate"),
    Atom("onobsolete""onobsolete"),
    Atom("ononline""ononline"),
    Atom("onoffline""onoffline"),
    Atom("onopen""onopen"),
    Atom("onorientationchange""onorientationchange"),
    Atom("onoverflow""onoverflow"),
    Atom("onpagehide""onpagehide"),
    Atom("onpageshow""onpageshow"),
    Atom("onpaste""onpaste"),
    Atom("onpayerdetailchange""onpayerdetailchange"),
    Atom("onpaymentmethodchange""onpaymentmethodchange"),
    Atom("onpointerlockchange""onpointerlockchange"),
    Atom("onpointerlockerror""onpointerlockerror"),
    Atom("onpopuphidden""onpopuphidden"),
    Atom("onpopuphiding""onpopuphiding"),
    Atom("onpopuppositioned""onpopuppositioned"),
    Atom("onpopupshowing""onpopupshowing"),
    Atom("onpopupshown""onpopupshown"),
    Atom("onprocessorerror""onprocessorerror"),
    Atom("onprioritychange""onprioritychange"),
    Atom("onpush""onpush"),
    Atom("onpushsubscriptionchange""onpushsubscriptionchange"),
    Atom("onRadioStateChange""onRadioStateChange"),
    Atom("onreadystatechange""onreadystatechange"),
    Atom("onrejectionhandled""onrejectionhandled"),
    Atom("onremove""onremove"),
    Atom("onrequestprogress""onrequestprogress"),
    Atom("onresourcetimingbufferfull""onresourcetimingbufferfull"),
    Atom("onresponseprogress""onresponseprogress"),
    Atom("onRequest""onRequest"),
    Atom("onreset""onreset"),
    Atom("onresize""onresize"),
    Atom("onscroll""onscroll"),
    Atom("onsecuritypolicyviolation""onsecuritypolicyviolation"),
    Atom("onselect""onselect"),
    Atom("onselectionchange""onselectionchange"),
    Atom("onselectend""onselectend"),
    Atom("onselectstart""onselectstart"),
    Atom("onset""onset"),
    Atom("onshippingaddresschange""onshippingaddresschange"),
    Atom("onshippingoptionchange""onshippingoptionchange"),
    Atom("onshow""onshow"),
    Atom("onslotchange""onslotchange"),
    Atom("onsqueeze""onsqueeze"),
    Atom("onsqueezeend""onsqueezeend"),
    Atom("onsqueezestart""onsqueezestart"),
    Atom("onstatechange""onstatechange"),
    Atom("onstorage""onstorage"),
    Atom("onsubmit""onsubmit"),
    Atom("onsuccess""onsuccess"),
    Atom("onsystemstatusbarclick""onsystemstatusbarclick"),
    Atom("ontypechange""ontypechange"),
    Atom("onterminate""onterminate"),
    Atom("ontext""ontext"),
    Atom("ontextInput""ontextInput"),
    Atom("ontoggle""ontoggle"),
    Atom("ontonechange""ontonechange"),
    Atom("ontouchstart""ontouchstart"),
    Atom("ontouchend""ontouchend"),
    Atom("ontouchmove""ontouchmove"),
    Atom("ontouchcancel""ontouchcancel"),
    Atom("ontransitioncancel""ontransitioncancel"),
    Atom("ontransitionend""ontransitionend"),
    Atom("ontransitionrun""ontransitionrun"),
    Atom("ontransitionstart""ontransitionstart"),
    Atom("onuncapturederror""onuncapturederror"),
    Atom("onunderflow""onunderflow"),
    Atom("onunhandledrejection""onunhandledrejection"),
    Atom("onunload""onunload"),
    Atom("onunmute""onunmute"),
    Atom("onupdatefound""onupdatefound"),
    Atom("onupdateready""onupdateready"),
    Atom("onupgradeneeded""onupgradeneeded"),
    Atom("onversionchange""onversionchange"),
    Atom("onvisibilitychange""onvisibilitychange"),
    Atom("onvoiceschanged""onvoiceschanged"),
    Atom("onvrdisplayactivate""onvrdisplayactivate"),
    Atom("onvrdisplayconnect""onvrdisplayconnect"),
    Atom("onvrdisplaydeactivate""onvrdisplaydeactivate"),
    Atom("onvrdisplaydisconnect""onvrdisplaydisconnect"),
    Atom("onvrdisplaypresentchange""onvrdisplaypresentchange"),
    Atom("onwebkitAnimationEnd""onwebkitAnimationEnd"),
    Atom("onwebkitAnimationIteration""onwebkitAnimationIteration"),
    Atom("onwebkitAnimationStart""onwebkitAnimationStart"),
    Atom("onwebkitTransitionEnd""onwebkitTransitionEnd"),
    Atom("onwebkitanimationend""onwebkitanimationend"),
    Atom("onwebkitanimationiteration""onwebkitanimationiteration"),
    Atom("onwebkitanimationstart""onwebkitanimationstart"),
    Atom("onwebkittransitionend""onwebkittransitionend"),
    Atom("onwheel""onwheel"),
    Atom("open""open"),
    Atom("optgroup""optgroup"),
    Atom("optimum""optimum"),
    Atom("option""option"),
    Atom("_or""or"),
    Atom("order""order"),
    Atom("ordinal""ordinal"),
    Atom("orient""orient"),
    Atom("orientation""orientation"),
    Atom("origin_trial""origin-trial"),
    Atom("otherwise""otherwise"),
    Atom("outerHTML""outerHTML"),
    Atom("output""output"),
    Atom("overflow""overflow"),
    Atom("overflowBlock""overflow-block"),
    Atom("overflowInline""overflow-inline"),
    Atom("overlay""overlay"),
    Atom("p""p"),
    Atom("pack""pack"),
    Atom("page""page"),
    Atom("pageincrement""pageincrement"),
    Atom("paint""paint"),
    Atom("paint_order""paint-order"),
    Atom("panel""panel"),
    Atom("paragraph""paragraph"),
    Atom("param""param"),
    Atom("parameter""parameter"),
    Atom("parent""parent"),
    Atom("parsererror""parsererror"),
    Atom("part""part"),
    Atom("password""password"),
    Atom("pattern""pattern"),
    Atom("patternSeparator""pattern-separator"),
    Atom("perMille""per-mille"),
    Atom("percent""percent"),
    Atom("persist""persist"),
    Atom("phase""phase"),
    Atom("picture""picture"),
    Atom("ping""ping"),
    Atom("pinned""pinned"),
    Atom("placeholder""placeholder"),
    Atom("plaintext""plaintext"),
    Atom("plaintextOnly""plaintext-only"),
    Atom("playbackrate""playbackrate"),
    Atom("pointSize""point-size"),
    Atom("poly""poly"),
    Atom("polygon""polygon"),
    Atom("popover""popover"),
    Atom("popovertarget""popovertarget"),
    Atom("popovertargetaction""popovertargetaction"),
    Atom("popup""popup"),
    Atom("popupalign""popupalign"),
    Atom("popupanchor""popupanchor"),
    Atom("popupgroup""popupgroup"),
    Atom("popupset""popupset"),
    Atom("popupsinherittooltip""popupsinherittooltip"),
    Atom("portal""portal"),
    Atom("position""position"),
    Atom("poster""poster"),
    Atom("pre""pre"),
    Atom("preceding""preceding"),
    Atom("precedingSibling""preceding-sibling"),
    Atom("prefersReducedMotion""prefers-reduced-motion"),
    Atom("prefersReducedTransparency""prefers-reduced-transparency"),
    Atom("prefersColorScheme""prefers-color-scheme"),
    Atom("prefersContrast""prefers-contrast"),
    Atom("prefix""prefix"),
    Atom("prefwidth""prefwidth"),
    Atom("dynamicRange""dynamic-range"),
    Atom("videoDynamicRange""video-dynamic-range"),
    Atom("scripting""scripting"),
    Atom("preload""preload"),
    Atom("preserve""preserve"),
    Atom("preserveSpace""preserve-space"),
    Atom("preventdefault""preventdefault"),
    Atom("previewDiv""preview-div"),
    Atom("primary""primary"),
    Atom("print""print"),
    Atom("printisfocuseddoc""printisfocuseddoc"),
    Atom("printselectionranges""printselectionranges"),
    Atom("priority""priority"),
    Atom("processingInstruction""processing-instruction"),
    Atom("profile""profile"),
    Atom("progress""progress"),
    Atom("prompt""prompt"),
    Atom("properties""properties"),
    Atom("property""property"),
    Atom("pubdate""pubdate"),
    Atom("q""q"),
    Atom("radio""radio"),
    Atom("radioLabel""radio-label"),
    Atom("radiogroup""radiogroup"),
    Atom("range""range"),
    Atom("readonly""readonly"),
    Atom("rect""rect"),
    Atom("rectangle""rectangle"),
    Atom("refresh""refresh"),
    Atom("rel""rel"),
    Atom("relativeBounds""relative-bounds"),
    Atom("rem""rem"),
    Atom("remote""remote"),
    Atom("removeelement""removeelement"),
    Atom("render""render"),
    Atom("renderingobserverset""renderingobserverset"),
    Atom("repeat""repeat"),
    Atom("replace""replace"),
    Atom("requestcontextid""requestcontextid"),
    Atom("required""required"),
    Atom("reserved""reserved"),
    Atom("reset""reset"),
    Atom("resizeafter""resizeafter"),
    Atom("resizebefore""resizebefore"),
    Atom("resizer""resizer"),
    Atom("resolution""resolution"),
    Atom("resources""resources"),
    Atom("result""result"),
    Atom("resultPrefix""result-prefix"),
    Atom("retargetdocumentfocus""retargetdocumentfocus"),
    Atom("rev""rev"),
    Atom("reverse""reverse"),
    Atom("reversed""reversed"),
    Atom("rhs""rhs"),
    Atom("richlistbox""richlistbox"),
    Atom("richlistitem""richlistitem"),
    Atom("right""right"),
    Atom("rightmargin""rightmargin"),
    Atom("role""role"),
    Atom("rolluponmousewheel""rolluponmousewheel"),
    Atom("round""round"),
    Atom("row""row"),
    Atom("rows""rows"),
    Atom("rowspan""rowspan"),
    Atom("rb""rb"),
    Atom("rp""rp"),
    Atom("rt""rt"),
    Atom("rtc""rtc"),
    Atom("rtl""rtl"),
    Atom("ruby""ruby"),
    Atom("rubyBase""ruby-base"),
    Atom("rubyBaseContainer""ruby-base-container"),
    Atom("rubyText""ruby-text"),
    Atom("rubyTextContainer""ruby-text-container"),
    Atom("rules""rules"),
    Atom("s""s"),
    Atom("safe_area_inset_top""safe-area-inset-top"),
    Atom("safe_area_inset_bottom""safe-area-inset-bottom"),
    Atom("safe_area_inset_left""safe-area-inset-left"),
    Atom("safe_area_inset_right""safe-area-inset-right"),
    Atom("samp""samp"),
    Atom("sandbox""sandbox"),
    Atom("sbattr""sbattr"),
    Atom("scale""scale"),
    Atom("scan""scan"),
    Atom("scheme""scheme"),
    Atom("scope""scope"),
    Atom("scoped""scoped"),
    Atom("screen""screen"),
    Atom("screenX""screenX"),
    Atom("screenx""screenx"),
    Atom("screenY""screenY"),
    Atom("screeny""screeny"),
    Atom("script""script"),
    Atom("scrollbar""scrollbar"),
    Atom("scrollbarThumb""scrollbar-thumb"),
    Atom("scrollamount""scrollamount"),
    Atom("scrollbarbutton""scrollbarbutton"),
    Atom("scrollbarDownBottom""scrollbar-down-bottom"),
    Atom("scrollbarDownTop""scrollbar-down-top"),
    Atom("scrollbarInlineSize""scrollbar-inline-size"),
    Atom("scrollbarUpBottom""scrollbar-up-bottom"),
    Atom("scrollbarUpTop""scrollbar-up-top"),
    Atom("scrollbox""scrollbox"),
    Atom("scrollcorner""scrollcorner"),
    Atom("scrolldelay""scrolldelay"),
    Atom("scrolling""scrolling"),
    Atom("scrollPosition""scroll-position"),
    Atom("se""se"),
    Atom("section""section"),
    Atom("select""select"),
    Atom("selected""selected"),
    Atom("selectedIndex""selectedIndex"),
    Atom("selectedindex""selectedindex"),
    Atom("selectmenu""selectmenu"),
    Atom("self""self"),
    Atom("seltype""seltype"),
    Atom("setcookie""set-cookie"),
    Atom("setter""setter"),
    Atom("shadow""shadow"),
    Atom("shape""shape"),
    Atom("show""show"),
    Atom("showcaret""showcaret"),
    Atom("showmodal""showmodal"),
    Atom("showpopover""showpopover"),
    Atom("showservicesmenu""showservicesmenu"),
    Atom("sibling""sibling"),
    Atom("simple""simple"),
    Atom("simp_chinese_formal""simp-chinese-formal"),
    Atom("simp_chinese_informal""simp-chinese-informal"),
    Atom("single""single"),
    Atom("size""size"),
    Atom("sizes""sizes"),
    Atom("sizemode""sizemode"),
    Atom("sizetopopup""sizetopopup"),
    Atom("slider""slider"),
    Atom("small""small"),
    Atom("smooth""smooth"),
    Atom("snap""snap"),
    Atom("solid""solid"),
    Atom("sort""sort"),
    Atom("sortActive""sortActive"),
    Atom("sortDirection""sortDirection"),
    Atom("sorted""sorted"),
    Atom("sorthints""sorthints"),
    Atom("source""source"),
    Atom("sourcetext""sourcetext"),
    Atom("space""space"),
    Atom("spacer""spacer"),
    Atom("span""span"),
    Atom("spellcheck""spellcheck"),
    Atom("split""split"),
    Atom("splitter""splitter"),
    Atom("square""square"),
    Atom("src""src"),
    Atom("srcdoc""srcdoc"),
    Atom("srclang""srclang"),
    Atom("srcset""srcset"),
    Atom("standalone""standalone"),
    Atom("standby""standby"),
    Atom("start""start"),
    Atom("startsWith""starts-with"),
    Atom("state""state"),
    Atom("statusbar""statusbar"),
    Atom("step""step"),
    Atom("stop""stop"),
    Atom("stretch""stretch"),
    Atom("strike""strike"),
    Atom("string""string"),
    Atom("stringLength""string-length"),
    Atom("stripSpace""strip-space"),
    Atom("strong""strong"),
    Atom("style""style"),
    Atom("stylesheet""stylesheet"),
    Atom("stylesheetPrefix""stylesheet-prefix"),
    Atom("submit""submit"),
    Atom("substate""substate"),
    Atom("substring""substring"),
    Atom("substringAfter""substring-after"),
    Atom("substringBefore""substring-before"),
    Atom("sub""sub"),
    Atom("suggestion""suggestion"),
    Atom("sum""sum"),
    Atom("sup""sup"),
    Atom("summary""summary"),
    Atom("sw""sw"),
    # Atom("_switch", "switch"),  # "switch" is present below
    Atom("systemProperty""system-property"),
    Atom("tab""tab"),
    Atom("tabindex""tabindex"),
    Atom("table""table"),
    Atom("tabpanel""tabpanel"),
    Atom("tabpanels""tabpanels"),
    Atom("tag""tag"),
    Atom("target""target"),
    Atom("targets""targets"),
    Atom("tbody""tbody"),
    Atom("td""td"),
    Atom("tel""tel"),
    Atom("_template""template"),
    Atom("text_decoration""text-decoration"),
    Atom("terminate""terminate"),
    Atom("term""term"),
    Atom("test""test"),
    Atom("text""text"),
    Atom("textAlign""text-align"),
    Atom("textarea""textarea"),
    Atom("textbox""textbox"),
    Atom("textContent""textContent"),
    Atom("textLink""text-link"),
    Atom("textOverlay""text-overlay"),
    Atom("tfoot""tfoot"),
    Atom("th""th"),
    Atom("thead""thead"),
    Atom("thumb""thumb"),
    Atom("time""time"),
    Atom("title""title"),
    Atom("titletip""titletip"),
    Atom("toggle""toggle"),
    Atom("togglepopover""togglepopover"),
    Atom("token""token"),
    Atom("tokenize""tokenize"),
    Atom("toolbar""toolbar"),
    Atom("toolbarbutton""toolbarbutton"),
    Atom("toolbaritem""toolbaritem"),
    Atom("toolbarpaletteitem""toolbarpaletteitem"),
    Atom("toolbox""toolbox"),
    Atom("tooltip""tooltip"),
    Atom("tooltiptext""tooltiptext"),
    Atom("top""top"),
    Atom("topleft""topleft"),
    Atom("topmargin""topmargin"),
    Atom("topright""topright"),
    Atom("tr""tr"),
    Atom("track""track"),
    Atom("trad_chinese_formal""trad-chinese-formal"),
    Atom("trad_chinese_informal""trad-chinese-informal"),
    Atom("trailing""trailing"),
    Atom("transform""transform"),
    Atom("transform_3d""transform-3d"),
    Atom("transformiix""transformiix"),
    Atom("translate""translate"),
    Atom("transparent""transparent"),
    Atom("tree""tree"),
    Atom("treecell""treecell"),
    Atom("treechildren""treechildren"),
    Atom("treecol""treecol"),
    Atom("treecolpicker""treecolpicker"),
    Atom("treecols""treecols"),
    Atom("treeitem""treeitem"),
    Atom("treerow""treerow"),
    Atom("treeseparator""treeseparator"),
    Atom("_true""true"),
    Atom("truespeed""truespeed"),
    Atom("tt""tt"),
    Atom("type""type"),
    Atom("u""u"),
    Atom("ul""ul"),
    Atom("unparsedEntityUri""unparsed-entity-uri"),
    Atom("up""up"),
    Atom("update""update"),
    Atom("upperFirst""upper-first"),
    Atom("use""use"),
    Atom("useAttributeSets""use-attribute-sets"),
    Atom("usemap""usemap"),
    Atom("user_scalable""user-scalable"),
    Atom("validate""validate"),
    Atom("valign""valign"),
    Atom("value""value"),
    Atom("values""values"),
    Atom("valueOf""value-of"),
    Atom("valuetype""valuetype"),
    Atom("var""var"),
    Atom("variable""variable"),
    Atom("vendor""vendor"),
    Atom("vendorUrl""vendor-url"),
    Atom("version""version"),
    Atom("vertical""vertical"),
    Atom("audio""audio"),
    Atom("video""video"),
    Atom("viewport""viewport"),
    Atom("viewport_fit""viewport-fit"),
    Atom("viewport_height""viewport-height"),
    Atom("viewport_initial_scale""viewport-initial-scale"),
    Atom("viewport_maximum_scale""viewport-maximum-scale"),
    Atom("viewport_minimum_scale""viewport-minimum-scale"),
    Atom("viewport_user_scalable""viewport-user-scalable"),
    Atom("viewport_width""viewport-width"),
    Atom("visibility""visibility"),
    Atom("visuallyselected""visuallyselected"),
    Atom("vlink""vlink"),
    Atom("_void""void"),
    Atom("vsides""vsides"),
    Atom("vspace""vspace"),
    Atom("w""w"),
    Atom("wbr""wbr"),
    Atom("webkitdirectory""webkitdirectory"),
    Atom("when""when"),
    Atom("white""white"),
    Atom("width""width"),
    Atom("willChange""will-change"),
    Atom("window""window"),
    Atom("headerWindowTarget""window-target"),
    Atom("windowtype""windowtype"),
    Atom("withParam""with-param"),
    Atom("wrap""wrap"),
    Atom("headerDNSPrefetchControl""x-dns-prefetch-control"),
    Atom("headerCSP""content-security-policy"),
    Atom("headerCSPReportOnly""content-security-policy-report-only"),
    Atom("headerXFO""x-frame-options"),
    Atom("x_western""x-western"),
    Atom("xml""xml"),
    Atom("xml_stylesheet""xml-stylesheet"),
    Atom("xmlns""xmlns"),
    Atom("xmp""xmp"),
    Atom("xul""xul"),
    Atom("yes""yes"),
    Atom("z_index""z-index"),
    Atom("zeroDigit""zero-digit"),
    Atom("zlevel""zlevel"),
    Atom("percentage""%"),
    Atom("A""A"),
    Atom("alignment_baseline""alignment-baseline"),
    Atom("amplitude""amplitude"),
    Atom("animate""animate"),
    Atom("animateColor""animateColor"),
    Atom("animateMotion""animateMotion"),
    Atom("animateTransform""animateTransform"),
    Atom("arithmetic""arithmetic"),
    Atom("atop""atop"),
    Atom("azimuth""azimuth"),
    Atom("B""B"),
    Atom("backgroundColor""background-color"),
    Atom("background_image""background-image"),
    Atom("baseFrequency""baseFrequency"),
    Atom("baseline_shift""baseline-shift"),
    Atom("bias""bias"),
    Atom("caption_side""caption-side"),
    Atom("clip_path""clip-path"),
    Atom("clip_rule""clip-rule"),
    Atom("clipPath""clipPath"),
    Atom("clipPathUnits""clipPathUnits"),
    Atom("cm""cm"),
    Atom("colorBurn""color-burn"),
    Atom("colorDodge""color-dodge"),
    Atom("colorInterpolation""color-interpolation"),
    Atom("colorInterpolationFilters""color-interpolation-filters"),
    Atom("colorProfile""color-profile"),
    Atom("cursor""cursor"),
    Atom("cx""cx"),
    Atom("cy""cy"),
    Atom("d""d"),
    Atom("darken""darken"),
    Atom("defs""defs"),
    Atom("deg""deg"),
    Atom("desc""desc"),
    Atom("diffuseConstant""diffuseConstant"),
    Atom("dilate""dilate"),
    Atom("direction""direction"),
    Atom("disable""disable"),
    Atom("disc""disc"),
    Atom("discard""discard"),
    Atom("discrete""discrete"),
    Atom("divisor""divisor"),
    Atom("dominant_baseline""dominant-baseline"),
    Atom("duplicate""duplicate"),
    Atom("dx""dx"),
    Atom("dy""dy"),
    Atom("edgeMode""edgeMode"),
    Atom("ellipse""ellipse"),
    Atom("elevation""elevation"),
    Atom("erode""erode"),
    Atom("ex""ex"),
    Atom("exact""exact"),
    Atom("exclusion""exclusion"),
    Atom("exponent""exponent"),
    Atom("feBlend""feBlend"),
    Atom("feColorMatrix""feColorMatrix"),
    Atom("feComponentTransfer""feComponentTransfer"),
    Atom("feComposite""feComposite"),
    Atom("feConvolveMatrix""feConvolveMatrix"),
    Atom("feDiffuseLighting""feDiffuseLighting"),
    Atom("feDisplacementMap""feDisplacementMap"),
    Atom("feDistantLight""feDistantLight"),
    Atom("feDropShadow""feDropShadow"),
    Atom("feFlood""feFlood"),
    Atom("feFuncA""feFuncA"),
    Atom("feFuncB""feFuncB"),
    Atom("feFuncG""feFuncG"),
    Atom("feFuncR""feFuncR"),
    Atom("feGaussianBlur""feGaussianBlur"),
    Atom("feImage""feImage"),
    Atom("feMerge""feMerge"),
    Atom("feMergeNode""feMergeNode"),
    Atom("feMorphology""feMorphology"),
    Atom("feOffset""feOffset"),
    Atom("fePointLight""fePointLight"),
    Atom("feSpecularLighting""feSpecularLighting"),
    Atom("feSpotLight""feSpotLight"),
    Atom("feTile""feTile"),
    Atom("feTurbulence""feTurbulence"),
    Atom("fill""fill"),
    Atom("fill_opacity""fill-opacity"),
    Atom("fill_rule""fill-rule"),
    Atom("filter""filter"),
    Atom("filterUnits""filterUnits"),
    Atom("_float""float"),
    Atom("flood_color""flood-color"),
    Atom("flood_opacity""flood-opacity"),
    Atom("font_face""font-face"),
    Atom("font_face_format""font-face-format"),
    Atom("font_face_name""font-face-name"),
    Atom("font_face_src""font-face-src"),
    Atom("font_face_uri""font-face-uri"),
    Atom("font_family""font-family"),
    Atom("font_size""font-size"),
    Atom("font_size_adjust""font-size-adjust"),
    Atom("font_stretch""font-stretch"),
    Atom("font_style""font-style"),
    Atom("font_variant""font-variant"),
    Atom("formatting""formatting"),
    Atom("foreignObject""foreignObject"),
    Atom("fractalNoise""fractalNoise"),
    Atom("fr""fr"),
    Atom("fx""fx"),
    Atom("fy""fy"),
    Atom("G""G"),
    Atom("g""g"),
    Atom("gamma""gamma"),
    Atom("glyphRef""glyphRef"),
    Atom("grad""grad"),
    Atom("gradientTransform""gradientTransform"),
    Atom("gradientUnits""gradientUnits"),
    Atom("hardLight""hard-light"),
    Atom("hue""hue"),
    Atom("hueRotate""hueRotate"),
    Atom("identity""identity"),
    Atom("image_rendering""image-rendering"),
    Atom("in""in"),
    Atom("in2""in2"),
    Atom("intercept""intercept"),
    Atom("k1""k1"),
    Atom("k2""k2"),
    Atom("k3""k3"),
    Atom("k4""k4"),
    Atom("kernelMatrix""kernelMatrix"),
    Atom("kernelUnitLength""kernelUnitLength"),
    Atom("lengthAdjust""lengthAdjust"),
    Atom("letter_spacing""letter-spacing"),
    Atom("lighten""lighten"),
    Atom("lighter""lighter"),
    Atom("lighting_color""lighting-color"),
    Atom("limitingConeAngle""limitingConeAngle"),
    Atom("linear""linear"),
    Atom("linearGradient""linearGradient"),
    Atom("list_item""list-item"),
    Atom("list_style_type""list-style-type"),
    Atom("luminanceToAlpha""luminanceToAlpha"),
    Atom("luminosity""luminosity"),
    Atom("magnify""magnify"),
    Atom("marker""marker"),
    Atom("marker_end""marker-end"),
    Atom("marker_mid""marker-mid"),
    Atom("marker_start""marker-start"),
    Atom("markerHeight""markerHeight"),
    Atom("markerUnits""markerUnits"),
    Atom("markerWidth""markerWidth"),
    Atom("mask""mask"),
    Atom("maskContentUnits""maskContentUnits"),
    Atom("mask_type""mask-type"),
    Atom("maskUnits""maskUnits"),
    Atom("matrix""matrix"),
    Atom("metadata""metadata"),
    Atom("missingGlyph""missing-glyph"),
    Atom("mm""mm"),
    Atom("mpath""mpath"),
    Atom("noStitch""noStitch"),
    Atom("numOctaves""numOctaves"),
    Atom("multiply""multiply"),
    Atom("objectBoundingBox""objectBoundingBox"),
    Atom("offset""offset"),
    Atom("onSVGLoad""onSVGLoad"),
    Atom("onSVGScroll""onSVGScroll"),
    Atom("onzoom""onzoom"),
    Atom("opacity""opacity"),
    Atom("_operator""operator"),
    Atom("out""out"),
    Atom("over""over"),
    Atom("overridePreserveAspectRatio""overridePreserveAspectRatio"),
    Atom("pad""pad"),
    Atom("path""path"),
    Atom("pathLength""pathLength"),
    Atom("patternContentUnits""patternContentUnits"),
    Atom("patternTransform""patternTransform"),
    Atom("patternUnits""patternUnits"),
    Atom("pc""pc"),
    Atom("pointer""pointer"),
    Atom("pointer_events""pointer-events"),
    Atom("points""points"),
    Atom("pointsAtX""pointsAtX"),
    Atom("pointsAtY""pointsAtY"),
    Atom("pointsAtZ""pointsAtZ"),
    Atom("polyline""polyline"),
    Atom("preserveAlpha""preserveAlpha"),
    Atom("preserveAspectRatio""preserveAspectRatio"),
    Atom("primitiveUnits""primitiveUnits"),
    Atom("pt""pt"),
    Atom("px""px"),
    Atom("R""R"),
    Atom("r""r"),
    Atom("rad""rad"),
    Atom("radialGradient""radialGradient"),
    Atom("radius""radius"),
    Atom("reflect""reflect"),
    Atom("refX""refX"),
    Atom("refY""refY"),
    Atom("requiredExtensions""requiredExtensions"),
    Atom("requiredFeatures""requiredFeatures"),
    Atom("rotate""rotate"),
    Atom("rx""rx"),
    Atom("ry""ry"),
    Atom("saturate""saturate"),
    Atom("saturation""saturation"),
    Atom("set""set"),
    Atom("seed""seed"),
    Atom("shape_rendering""shape-rendering"),
    Atom("simpleScopeChain""simpleScopeChain"),
    Atom("skewX""skewX"),
    Atom("skewY""skewY"),
    Atom("slope""slope"),
    Atom("slot""slot"),
    Atom("softLight""soft-light"),
    Atom("spacing""spacing"),
    Atom("spacingAndGlyphs""spacingAndGlyphs"),
    Atom("specularConstant""specularConstant"),
    Atom("specularExponent""specularExponent"),
    Atom("spreadMethod""spreadMethod"),
    Atom("startOffset""startOffset"),
    Atom("stdDeviation""stdDeviation"),
    Atom("stitch""stitch"),
    Atom("stitchTiles""stitchTiles"),
    Atom("stop_color""stop-color"),
    Atom("stop_opacity""stop-opacity"),
    Atom("stroke""stroke"),
    Atom("stroke_dasharray""stroke-dasharray"),
    Atom("stroke_dashoffset""stroke-dashoffset"),
    Atom("stroke_linecap""stroke-linecap"),
    Atom("stroke_linejoin""stroke-linejoin"),
    Atom("stroke_miterlimit""stroke-miterlimit"),
    Atom("stroke_opacity""stroke-opacity"),
    Atom("stroke_width""stroke-width"),
    Atom("strokeWidth""strokeWidth"),
    Atom("surfaceScale""surfaceScale"),
    Atom("svg""svg"),
    Atom("svgSwitch""switch"),
    Atom("symbol""symbol"),
    Atom("systemLanguage""systemLanguage"),
    Atom("tableValues""tableValues"),
    Atom("targetX""targetX"),
    Atom("targetY""targetY"),
    Atom("text_anchor""text-anchor"),
    Atom("text_rendering""text-rendering"),
    Atom("textLength""textLength"),
    Atom("textPath""textPath"),
    Atom("transform_origin""transform-origin"),
    Atom("tref""tref"),
    Atom("tspan""tspan"),
    Atom("turbulence""turbulence"),
    Atom("unicode_bidi""unicode-bidi"),
    Atom("userSpaceOnUse""userSpaceOnUse"),
    Atom("view""view"),
    Atom("viewBox""viewBox"),
    Atom("viewTarget""viewTarget"),
    Atom("white_space""white-space"),
    Atom("windowsmica""windowsmica"),
    Atom("word_spacing""word-spacing"),
    Atom("writing_mode""writing-mode"),
    Atom("x""x"),
    Atom("x1""x1"),
    Atom("x2""x2"),
    Atom("xChannelSelector""xChannelSelector"),
    Atom("xor_""xor"),
    Atom("y""y"),
    Atom("y1""y1"),
    Atom("y2""y2"),
    Atom("yChannelSelector""yChannelSelector"),
    Atom("z""z"),
    Atom("zoomAndPan""zoomAndPan"),
    Atom("vector_effect""vector-effect"),
    Atom("vertical_align""vertical-align"),
    Atom("accumulate""accumulate"),
    Atom("additive""additive"),
    Atom("attributeName""attributeName"),
    Atom("attributeType""attributeType"),
    Atom("auto_reverse""auto-reverse"),
    Atom("begin""begin"),
    Atom("beginEvent""beginEvent"),
    Atom("by""by"),
    Atom("calcMode""calcMode"),
    Atom("dur""dur"),
    Atom("keyPoints""keyPoints"),
    Atom("keySplines""keySplines"),
    Atom("keyTimes""keyTimes"),
    Atom("mozAnimateMotionDummyAttr""_mozAnimateMotionDummyAttr"),
    Atom("onbegin""onbegin"),
    Atom("onbeginEvent""onbeginEvent"),
    Atom("onend""onend"),
    Atom("onendEvent""onendEvent"),
    Atom("onrelease""onrelease"),
    Atom("onrepeat""onrepeat"),
    Atom("onrepeatEvent""onrepeatEvent"),
    Atom("repeatCount""repeatCount"),
    Atom("repeatDur""repeatDur"),
    Atom("repeatEvent""repeatEvent"),
    Atom("restart""restart"),
    Atom("to""to"),
    Atom("abs_""abs"),
    Atom("accent_""accent"),
    Atom("accentunder_""accentunder"),
    Atom("actiontype_""actiontype"),
    Atom("alignmentscope_""alignmentscope"),
    Atom("altimg_""altimg"),
    Atom("altimg_height_""altimg-height"),
    Atom("altimg_valign_""altimg-valign"),
    Atom("altimg_width_""altimg-width"),
    Atom("annotation_""annotation"),
    Atom("annotation_xml_""annotation-xml"),
    Atom("apply_""apply"),
    Atom("approx_""approx"),
    Atom("arccos_""arccos"),
    Atom("arccosh_""arccosh"),
    Atom("arccot_""arccot"),
    Atom("arccoth_""arccoth"),
    Atom("arccsc_""arccsc"),
    Atom("arccsch_""arccsch"),
    Atom("arcsec_""arcsec"),
    Atom("arcsech_""arcsech"),
    Atom("arcsin_""arcsin"),
    Atom("arcsinh_""arcsinh"),
    Atom("arctan_""arctan"),
    Atom("arctanh_""arctanh"),
    Atom("arg_""arg"),
    Atom("bevelled_""bevelled"),
    Atom("bind_""bind"),
    Atom("bvar_""bvar"),
    Atom("card_""card"),
    Atom("cartesianproduct_""cartesianproduct"),
    Atom("cbytes_""cbytes"),
    Atom("cd_""cd"),
    Atom("cdgroup_""cdgroup"),
    Atom("cerror_""cerror"),
    Atom("charalign_""charalign"),
    Atom("ci_""ci"),
    Atom("closure_""closure"),
    Atom("cn_""cn"),
    Atom("codomain_""codomain"),
    Atom("columnalign_""columnalign"),
    Atom("columnalignment_""columnalignment"),
    Atom("columnlines_""columnlines"),
    Atom("columnspacing_""columnspacing"),
    Atom("columnspan_""columnspan"),
    Atom("columnwidth_""columnwidth"),
    Atom("complexes_""complexes"),
    Atom("compose_""compose"),
    Atom("condition_""condition"),
    Atom("conjugate_""conjugate"),
    Atom("cos_""cos"),
    Atom("cosh_""cosh"),
    Atom("cot_""cot"),
    Atom("coth_""coth"),
    Atom("crossout_""crossout"),
    Atom("csc_""csc"),
    Atom("csch_""csch"),
    Atom("cs_""cs"),
    Atom("csymbol_""csymbol"),
    Atom("csp""csp"),
    Atom("cspViolation""csp-violation"),
    Atom("curl_""curl"),
    Atom("decimalpoint_""decimalpoint"),
    Atom("definition""definition"),
    Atom("definitionURL_""definitionURL"),
    Atom("degree_""degree"),
    Atom("denomalign_""denomalign"),
    Atom("depth_""depth"),
    Atom("determinant_""determinant"),
    Atom("diff_""diff"),
    Atom("displaystyle_""displaystyle"),
    Atom("divergence_""divergence"),
    Atom("divide_""divide"),
    Atom("dom_viewTransitions_enabled""dom.viewTransitions.enabled"),
    Atom("domain_""domain"),
    Atom("domainofapplication_""domainofapplication"),
    Atom("edge_""edge"),
    Atom("el""el"),
    Atom("emptyset_""emptyset"),
    Atom("eq_""eq"),
    Atom("equalcolumns_""equalcolumns"),
    Atom("equalrows_""equalrows"),
    Atom("equivalent_""equivalent"),
--> --------------------

--> maximum size reached

--> --------------------

Messung V0.5
C=98 H=100 G=98

¤ Dauer der Verarbeitung: 0.23 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.