9
Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments; apparatus and instruments for conducting, switching, transforming, accumulating, regulating or controlling electricity; apparatus for recording, transmission or reproduction of sound or images; magnetic data carriers, recording discs; automatic vending machines and mechanisms for coin-operated apparatus; cash registers, calculating machines, data processing equipment and computers; fire-extinguishing apparatus.
downloadable computer programs, namely, utility programs, language processors, and interpreters, used to process verifiable computations; downloadable computer programs for assisting developers in creating program code for use in decentralized networks; downloadable computer programs for use in creating, compiling, executing, visualizing, debugging, publishing, and deploying program code on a network-based computer, server, or software registry; downloadable computer programs for describing and processing circuits, polynomials, and other standard models of computational and encrypted processes
42
Scientific and technological services and research and design relating thereto; industrial analysis and research services; design and development of computer hardware and software
providing temporary use of on-line non-downloadable computer programs, namely, utility programs, language processors, and interpreters, used to process verifiable computations; providing temporary use of on-line non-downloadable computer programs for assisting developers in creating program code for use in decentralized networks; providing temporary use of on-line non-downloadable computer programs for use in creating, compiling, executing, visualizing, debugging, publishing, and deploying program code on a network-based computer, server, or software registry; providing temporary use of on-line non-downloadable computer programs for describing and processing circuits, polynomials, and other standard models of computational and encrypted processes