2023-05-13T17:12:03,329 Created temporary directory: /tmp/pip-build-tracker-77o8pjuz 2023-05-13T17:12:03,330 Initialized build tracking at /tmp/pip-build-tracker-77o8pjuz 2023-05-13T17:12:03,330 Created build tracker: /tmp/pip-build-tracker-77o8pjuz 2023-05-13T17:12:03,330 Entered build tracker: /tmp/pip-build-tracker-77o8pjuz 2023-05-13T17:12:03,331 Created temporary directory: /tmp/pip-wheel-ljtt4opd 2023-05-13T17:12:03,335 Created temporary directory: /tmp/pip-ephem-wheel-cache-ndzhe0xd 2023-05-13T17:12:03,359 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-13T17:12:03,363 2 location(s) to search for versions of certora-cli-alpha-otakar-single-race-mode2: 2023-05-13T17:12:03,363 * https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/ 2023-05-13T17:12:03,363 * https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/ 2023-05-13T17:12:03,364 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/ 2023-05-13T17:12:03,364 Getting page https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/ 2023-05-13T17:12:03,366 Found index url https://pypi.org/simple/ 2023-05-13T17:12:03,417 Fetched page https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/ as application/vnd.pypi.simple.v1+json 2023-05-13T17:12:03,426 Found link https://files.pythonhosted.org/packages/69/9a/31a6fe7a397747a089c52575ef3171f7511f61df555802c3bdcdcaaee82d/certora-cli-alpha-otakar-single_race_mode2-20230502.9.31.693497.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230502.9.31.693497 2023-05-13T17:12:03,427 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/4c/77/1b0b95ffdcdd4c965f024fb6a92aae3367b792ab36e390be55f50e7cfeaa/certora_cli_alpha_otakar_single_race_mode2-20230502.9.31.693497-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,427 Found link https://files.pythonhosted.org/packages/52/65/a66abf7b301e7830bad1616beaa3f257a89b1e3d0a649267f41b46a343c0/certora-cli-alpha-otakar-single_race_mode2-20230502.14.15.51832.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230502.14.15.51832 2023-05-13T17:12:03,428 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/2f/8f/4bf4327a1b7ae96912fab5d7e1c7f320ce6ae8bf0d6c05eab5f4e2537284/certora_cli_alpha_otakar_single_race_mode2-20230502.14.15.51832-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,428 Found link https://files.pythonhosted.org/packages/a3/c8/c8511573a22911b505ff3829add2106c08c4e71a7565391f600133751cdd/certora-cli-alpha-otakar-single_race_mode2-20230502.17.25.871998.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230502.17.25.871998 2023-05-13T17:12:03,428 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/9c/77/3d6c9a12dfae56563cd0c428b174cdbcb87934745b15b9a5d924539bae61/certora_cli_alpha_otakar_single_race_mode2-20230502.17.25.871998-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,429 Found link https://files.pythonhosted.org/packages/af/40/7bb8956f35a25a4dd768c0f3c1abe7ce96f085f2ea3a24841b53642265dd/certora-cli-alpha-otakar-single_race_mode2-20230502.18.11.273710.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230502.18.11.273710 2023-05-13T17:12:03,429 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/4b/df/ba8a0b704e7eab5751f29c4bb19495656c3093da98f3f05e2640215093ec/certora_cli_alpha_otakar_single_race_mode2-20230502.18.11.273710-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,430 Found link https://files.pythonhosted.org/packages/ca/cd/bc1aa10a53764171fa1a9f31e145decd35b74ca212a6dc16afbc594f18ac/certora-cli-alpha-otakar-single_race_mode2-20230503.8.12.524686.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230503.8.12.524686 2023-05-13T17:12:03,430 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/5b/1d/a6a4890e0eeea24bd21bea8cdc2b30b36f9381684b1b5e1ad4cce38b5762/certora_cli_alpha_otakar_single_race_mode2-20230503.8.12.524686-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,431 Found link https://files.pythonhosted.org/packages/8c/13/0250838d72215a816dc47175aa9e992ce4aa6b876669fb64d80d8247f43a/certora-cli-alpha-otakar-single_race_mode2-20230503.8.53.191468.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230503.8.53.191468 2023-05-13T17:12:03,431 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/85/0c/c695a0e8358be1e5094704cb492101cd335445052230c63b91f7f6b9a533/certora_cli_alpha_otakar_single_race_mode2-20230503.8.53.191468-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,432 Found link https://files.pythonhosted.org/packages/2e/89/d97d54955a411337dad12a308a0f3c80d584b55467fda7ceeb9195e75d34/certora-cli-alpha-otakar-single_race_mode2-20230503.15.14.434991.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230503.15.14.434991 2023-05-13T17:12:03,432 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/ed/db/f7aaca516179f5a3ff931ff662d8f6cc06482a7b11ab7634d4b57a2824e2/certora_cli_alpha_otakar_single_race_mode2-20230503.15.14.434991-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,432 Found link https://files.pythonhosted.org/packages/22/00/47d381bfcfb8a2f0f0b571545e881ead0ece177e6a4d6e733008956433d4/certora-cli-alpha-otakar-single_race_mode2-20230504.7.14.754863.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230504.7.14.754863 2023-05-13T17:12:03,433 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/a7/25/87e742af1539da31fc53a66fd60e85f4ae0a83528dd3983a1baa402c2d9c/certora_cli_alpha_otakar_single_race_mode2-20230504.7.14.754863-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,433 Found link https://files.pythonhosted.org/packages/ea/78/4f9c1d88bd6a70bec042442433868d8483f8ab3b9c15db177cee1514383c/certora-cli-alpha-otakar-single_race_mode2-20230504.9.59.715367.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230504.9.59.715367 2023-05-13T17:12:03,433 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/04/c9/2e6289ae8f91a9176f50f3129df2066de0ef283867fd98955e84ea0a9d62/certora_cli_alpha_otakar_single_race_mode2-20230504.9.59.715367-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,434 Found link https://files.pythonhosted.org/packages/f5/7a/e4673840f79c6ab0926bab35b927bb8ec0519a07099c39a8ebb173d7f037/certora-cli-alpha-otakar-single_race_mode2-20230504.10.49.680351.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230504.10.49.680351 2023-05-13T17:12:03,434 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/e1/40/6b4d5b6d27aafa5d830c28b564148564a7585afcdd3029d2003c0bb580c6/certora_cli_alpha_otakar_single_race_mode2-20230504.10.49.680351-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,435 Found link https://files.pythonhosted.org/packages/3f/4c/6b11baad1d13536c2424ac0b961f48832c60610f1261e8b6a2caafb7cbf8/certora-cli-alpha-otakar-single_race_mode2-20230504.11.36.36015.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230504.11.36.36015 2023-05-13T17:12:03,435 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/db/a4/2bf24c38a924ef53732526cc19107e8bf20539ccdb6f838b40a9f08d1f61/certora_cli_alpha_otakar_single_race_mode2-20230504.11.36.36015-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,436 Found link https://files.pythonhosted.org/packages/8f/c0/3610ae1e5c4a7a5ef78e737e39405de69f8eaf58e42f68054e28a2ddfe1a/certora-cli-alpha-otakar-single_race_mode2-20230504.12.33.754805.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230504.12.33.754805 2023-05-13T17:12:03,436 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/07/ea/1d5452e0328d57d01115651919ee10e4d6a11b7f336f0beeea5d757bb408/certora_cli_alpha_otakar_single_race_mode2-20230504.12.33.754805-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,436 Found link https://files.pythonhosted.org/packages/6d/ef/4831a71700ae219a487a9c2e135916801848d1af2714a0fe3f4786191f5d/certora-cli-alpha-otakar-single_race_mode2-20230504.13.8.412029.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230504.13.8.412029 2023-05-13T17:12:03,437 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/25/f8/5d3ed37a028b89124b621350e66353ba7fe07e377d8253efe4610fac00c9/certora_cli_alpha_otakar_single_race_mode2-20230504.13.8.412029-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,437 Found link https://files.pythonhosted.org/packages/f7/de/16a074f41a1c9554020196c3c64f521df0fab3fbd1945fb39ba97188bad3/certora-cli-alpha-otakar-single_race_mode2-20230504.13.46.675840.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230504.13.46.675840 2023-05-13T17:12:03,438 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/6e/7b/1eacab0f14da59ad378c25cdda20754a84673062d0e1234a2c52a87b7473/certora_cli_alpha_otakar_single_race_mode2-20230504.13.46.675840-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,438 Found link https://files.pythonhosted.org/packages/b8/26/aee3b390497fe6be7a91af882733b641bf161a45c897e29a5b6487b0a2ef/certora-cli-alpha-otakar-single_race_mode2-20230504.14.29.817425.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230504.14.29.817425 2023-05-13T17:12:03,439 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/53/03/2eb1b5a246fec0d871a0ac3d8fc86612017e20c0909ea022569eb5ae70f4/certora_cli_alpha_otakar_single_race_mode2-20230504.14.29.817425-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,439 Found link https://files.pythonhosted.org/packages/6f/c2/340e8a5ae0491345464949411b964146ea7b3f99981d323724720fc85b9d/certora-cli-alpha-otakar-single_race_mode2-20230504.15.26.640437.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230504.15.26.640437 2023-05-13T17:12:03,439 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/d9/c0/7e15cf0f8e012e461dfafd7a0b62ac5fd04872e52a4be7ae02601ec73d09/certora_cli_alpha_otakar_single_race_mode2-20230504.15.26.640437-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,440 Found link https://files.pythonhosted.org/packages/88/52/d49b72a02545303b07d52af2687fca4c40d5ecc89206de7d6ec3e4c32731/certora-cli-alpha-otakar-single_race_mode2-20230504.17.4.3331.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230504.17.4.3331 2023-05-13T17:12:03,440 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/e6/4f/a12703a3ee22826608a542722361d997b870a2865dfefccdc5c0087a23cd/certora_cli_alpha_otakar_single_race_mode2-20230504.17.4.3331-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,441 Found link https://files.pythonhosted.org/packages/8e/16/50946fffe6356879267504b23b4d8334279418c33cb55c9953804012bfc6/certora-cli-alpha-otakar-single_race_mode2-20230504.17.52.509031.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230504.17.52.509031 2023-05-13T17:12:03,441 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/aa/87/b1cba0709cb02d73f74b231777c9c1098580313ee2f3e56c8d1cd34bb731/certora_cli_alpha_otakar_single_race_mode2-20230504.17.52.509031-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,442 Found link https://files.pythonhosted.org/packages/38/18/db2a915a2806a1149ec24d8de880c8b58167be7751d07bbaee12f309cd7a/certora-cli-alpha-otakar-single_race_mode2-20230504.18.36.318669.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230504.18.36.318669 2023-05-13T17:12:03,442 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/b1/a5/41a1851a916783d958cd714e60570e19e6319d88c2f3c769f69483db3549/certora_cli_alpha_otakar_single_race_mode2-20230504.18.36.318669-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,442 Found link https://files.pythonhosted.org/packages/32/a5/b027f72590293d472e9477f3eb33975db6b5a892c3a4282e9c45225dfdef/certora-cli-alpha-otakar-single_race_mode2-20230504.19.27.948570.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230504.19.27.948570 2023-05-13T17:12:03,443 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/43/1a/ff72aeef6e27a9b13b825b83a53642e9617c8fe4bcb82c0926b9fb277f2b/certora_cli_alpha_otakar_single_race_mode2-20230504.19.27.948570-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,443 Found link https://files.pythonhosted.org/packages/06/4f/28db4777447a480ddc70475302a9b0446d26d4d7304f5fcf5cb9809d78e6/certora-cli-alpha-otakar-single_race_mode2-20230504.19.59.10377.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230504.19.59.10377 2023-05-13T17:12:03,443 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/6f/0a/fc13919216b686516098b40d21b6271ffa3f3a73ab96eba42b60f11c4ce3/certora_cli_alpha_otakar_single_race_mode2-20230504.19.59.10377-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,444 Found link https://files.pythonhosted.org/packages/8a/78/683efc11a80d8f16e166cc687cb7c501a6fcb07ab0422127770ddb2e137e/certora-cli-alpha-otakar-single_race_mode2-20230504.20.50.477426.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230504.20.50.477426 2023-05-13T17:12:03,444 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/f9/38/b6d3c02a8f085c2d60acd521ec8a3d34af8b1497c5ab55711094717a8bd6/certora_cli_alpha_otakar_single_race_mode2-20230504.20.50.477426-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,445 Found link https://files.pythonhosted.org/packages/fe/5b/f314bc19ffebb82e2e2e8803f4f26f528e3eca6378e83691bbef446b1a33/certora-cli-alpha-otakar-single_race_mode2-20230504.21.36.719610.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16), version: 20230504.21.36.719610 2023-05-13T17:12:03,445 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://files.pythonhosted.org/packages/d4/d1/5e809ca2145d08badd13b4369161b706292e3635d5e6da2f50f52f1720aa/certora_cli_alpha_otakar_single_race_mode2-20230504.21.36.719610-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,445 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/ 2023-05-13T17:12:03,446 Getting page https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/ 2023-05-13T17:12:03,447 Found index url https://www.piwheels.org/simple/ 2023-05-13T17:12:03,635 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/ as text/html 2023-05-13T17:12:03,643 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.21.36.719610-py3-none-any.whl#sha256=e658fdaf31c4b162a8ca586a6eb408b8d55454eb74c168831529867c7a0fb951 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,644 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.20.50.477426-py3-none-any.whl#sha256=7b904ff2dd208bb4756a9c6b085f3a2cb3315726028e675836c23f7692cb7c0b (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,644 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.19.59.10377-py3-none-any.whl#sha256=91d06c09370104eec6d2a718c5181674bf5426dc3f444218ac07baebd32b8155 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,644 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.19.27.948570-py3-none-any.whl#sha256=4f22cc8648b85dcb1b53da9bae2de164f43855bcc60c8221092c59298a946b87 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,644 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.18.36.318669-py3-none-any.whl#sha256=1fe8f657af2693570d02bdae92c8d914612bcb13944142fafbf8a0d40ee97fe7 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,644 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.17.52.509031-py3-none-any.whl#sha256=35f2f38a97c5787be7b20838a493c7390ea69c32421ec3b5dac352f3eced1857 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,645 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.17.4.3331-py3-none-any.whl#sha256=7d909b39c2f590628a374009cfe9db9ac51cfc5b51ab0bd20fec31a854862a38 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,645 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.15.26.640437-py3-none-any.whl#sha256=087ffa2d7c7864673f07d532e90d44d7ed72272ab4814c9eb7c2aab8503f325d (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,645 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.14.29.817425-py3-none-any.whl#sha256=5836c93fa4efff09d31be814329f7d1be009ee1f1a0ea68fb2618ecaec12e838 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,645 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.13.46.675840-py3-none-any.whl#sha256=c8918db9e1369d6b7e28ef57538ac611557a0291945cc37e1e0724fc43d142a4 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,645 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.13.8.412029-py3-none-any.whl#sha256=e13b9644ca71d8629f5fdd7dc83c71876f9603e3f1aea2c808ad4a9c11bd8439 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,646 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.12.33.754805-py3-none-any.whl#sha256=00ba836ec7f9a9907fb2b317924471a650412588e868c30cf46c6b934cb9f556 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,646 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.11.36.36015-py3-none-any.whl#sha256=6957dd2127c193bf735cd280a4f38f2bc1f1e54c6154d319f80b4d810d6f24d7 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,646 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.10.49.680351-py3-none-any.whl#sha256=e1942ea6d36b0e0ade168163d6747c3c7d862857be2d818840fc53ad2cf98012 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,646 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.9.59.715367-py3-none-any.whl#sha256=4804c02ca99e17a0ca1f6f1fec7597129dd3a6d627b8cf91587a252d67925bda (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,646 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.7.14.754863-py3-none-any.whl#sha256=8aaa1a08024f2e711c42260c44d22082987be44f982ec575ceecfc1fd6175d01 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,647 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230503.15.14.434991-py3-none-any.whl#sha256=0bb4eaf24769cdc192cc351de1d0fd3106528db60bd2b6d9a789b23579daa73b (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,647 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230503.8.53.191468-py3-none-any.whl#sha256=9ca5d177d987d85bb1914980824150e68ba9a429125b31468c1fd333645fd5b2 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,647 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230503.8.12.524686-py3-none-any.whl#sha256=f8410bf81e2daa052d5325dbd174d238f419db70185c96441708e004485053c3 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,647 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230502.18.11.273710-py3-none-any.whl#sha256=1d746526be66fd78ae57424a69aa9f1f828e9dd24fd514aa5487888dace31a9e (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,647 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230502.17.25.871998-py3-none-any.whl#sha256=004c115ce8cdd304b2f7fe33b0c7d246a2e7caeb3a6449a2f7a4c9500d039aca (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,648 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230502.14.15.51832-py3-none-any.whl#sha256=5b5221984c5b188eee1defebdb748480fa7366a67220602c4794c1a8e3292b66 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,648 Skipping link: No binaries permitted for certora-cli-alpha-otakar-single-race-mode2: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230502.9.31.693497-py3-none-any.whl#sha256=26a9cdbe44b2bd60af42e09785234023586614858999a1768936db4f0bd35c3a (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16) 2023-05-13T17:12:03,648 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/ 2023-05-13T17:12:03,648 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/ 2023-05-13T17:12:03,670 Given no hashes to check 1 links for project 'certora-cli-alpha-otakar-single-race-mode2': discarding no candidates 2023-05-13T17:12:03,688 Collecting certora-cli-alpha-otakar-single-race-mode2==20230502.9.31.693497 2023-05-13T17:12:03,690 Created temporary directory: /tmp/pip-unpack-aw4_453c 2023-05-13T17:12:03,891 Downloading certora-cli-alpha-otakar-single_race_mode2-20230502.9.31.693497.tar.gz (38.4 MB) 2023-05-13T17:12:13,583 Added certora-cli-alpha-otakar-single-race-mode2==20230502.9.31.693497 from https://files.pythonhosted.org/packages/69/9a/31a6fe7a397747a089c52575ef3171f7511f61df555802c3bdcdcaaee82d/certora-cli-alpha-otakar-single_race_mode2-20230502.9.31.693497.tar.gz to build tracker '/tmp/pip-build-tracker-77o8pjuz' 2023-05-13T17:12:13,585 Running setup.py (path:/tmp/pip-wheel-ljtt4opd/certora-cli-alpha-otakar-single-race-mode2_ebd3978ead7048bdb917f5f9c58cfd8c/setup.py) egg_info for package certora-cli-alpha-otakar-single-race-mode2 2023-05-13T17:12:13,586 Created temporary directory: /tmp/pip-pip-egg-info-ocsxkyqg 2023-05-13T17:12:13,586 Preparing metadata (setup.py): started 2023-05-13T17:12:13,587 Running command python setup.py egg_info 2023-05-13T17:12:14,243 running egg_info 2023-05-13T17:12:14,244 creating /tmp/pip-pip-egg-info-ocsxkyqg/certora_cli_alpha_otakar_single_race_mode2.egg-info 2023-05-13T17:12:14,270 writing /tmp/pip-pip-egg-info-ocsxkyqg/certora_cli_alpha_otakar_single_race_mode2.egg-info/PKG-INFO 2023-05-13T17:12:14,272 writing dependency_links to /tmp/pip-pip-egg-info-ocsxkyqg/certora_cli_alpha_otakar_single_race_mode2.egg-info/dependency_links.txt 2023-05-13T17:12:14,274 writing entry points to /tmp/pip-pip-egg-info-ocsxkyqg/certora_cli_alpha_otakar_single_race_mode2.egg-info/entry_points.txt 2023-05-13T17:12:14,276 writing requirements to /tmp/pip-pip-egg-info-ocsxkyqg/certora_cli_alpha_otakar_single_race_mode2.egg-info/requires.txt 2023-05-13T17:12:14,277 writing top-level names to /tmp/pip-pip-egg-info-ocsxkyqg/certora_cli_alpha_otakar_single_race_mode2.egg-info/top_level.txt 2023-05-13T17:12:14,278 writing manifest file '/tmp/pip-pip-egg-info-ocsxkyqg/certora_cli_alpha_otakar_single_race_mode2.egg-info/SOURCES.txt' 2023-05-13T17:12:14,362 reading manifest file '/tmp/pip-pip-egg-info-ocsxkyqg/certora_cli_alpha_otakar_single_race_mode2.egg-info/SOURCES.txt' 2023-05-13T17:12:14,364 reading manifest template 'MANIFEST.in' 2023-05-13T17:12:14,374 adding license file 'LICENSE' 2023-05-13T17:12:14,377 writing manifest file '/tmp/pip-pip-egg-info-ocsxkyqg/certora_cli_alpha_otakar_single_race_mode2.egg-info/SOURCES.txt' 2023-05-13T17:12:14,437 Preparing metadata (setup.py): finished with status 'done' 2023-05-13T17:12:14,443 Source in /tmp/pip-wheel-ljtt4opd/certora-cli-alpha-otakar-single-race-mode2_ebd3978ead7048bdb917f5f9c58cfd8c has version 20230502.9.31.693497, which satisfies requirement certora-cli-alpha-otakar-single-race-mode2==20230502.9.31.693497 from https://files.pythonhosted.org/packages/69/9a/31a6fe7a397747a089c52575ef3171f7511f61df555802c3bdcdcaaee82d/certora-cli-alpha-otakar-single_race_mode2-20230502.9.31.693497.tar.gz 2023-05-13T17:12:14,444 Removed certora-cli-alpha-otakar-single-race-mode2==20230502.9.31.693497 from https://files.pythonhosted.org/packages/69/9a/31a6fe7a397747a089c52575ef3171f7511f61df555802c3bdcdcaaee82d/certora-cli-alpha-otakar-single_race_mode2-20230502.9.31.693497.tar.gz from build tracker '/tmp/pip-build-tracker-77o8pjuz' 2023-05-13T17:12:14,450 Created temporary directory: /tmp/pip-unpack-ggoigohp 2023-05-13T17:12:14,451 Building wheels for collected packages: certora-cli-alpha-otakar-single-race-mode2 2023-05-13T17:12:14,455 Created temporary directory: /tmp/pip-wheel-9wch514a 2023-05-13T17:12:14,456 Building wheel for certora-cli-alpha-otakar-single-race-mode2 (setup.py): started 2023-05-13T17:12:14,457 Destination directory: /tmp/pip-wheel-9wch514a 2023-05-13T17:12:14,457 Running command python setup.py bdist_wheel 2023-05-13T17:12:15,273 running bdist_wheel 2023-05-13T17:12:15,553 running build 2023-05-13T17:12:15,553 running build_py 2023-05-13T17:12:15,582 creating build 2023-05-13T17:12:15,582 creating build/lib 2023-05-13T17:12:15,583 creating build/lib/certora_jars 2023-05-13T17:12:15,584 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-13T17:12:15,586 creating build/lib/certora_cli 2023-05-13T17:12:15,587 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-13T17:12:15,589 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-13T17:12:15,591 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-13T17:12:15,594 creating build/lib/certora_cli/EVMVerifier 2023-05-13T17:12:15,595 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:12:15,597 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:12:15,602 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:12:15,604 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:12:15,607 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:12:15,610 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:12:15,613 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:12:15,616 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:12:15,618 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:12:15,621 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:12:15,623 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:12:15,625 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:12:15,627 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:12:15,630 creating build/lib/certora_cli/Shared 2023-05-13T17:12:15,631 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-13T17:12:15,633 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-13T17:12:15,635 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-13T17:12:15,638 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-13T17:12:15,641 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T17:12:15,642 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T17:12:15,644 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T17:12:15,646 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T17:12:15,648 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T17:12:15,650 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T17:12:15,653 running egg_info 2023-05-13T17:12:15,713 writing certora_cli_alpha_otakar_single_race_mode2.egg-info/PKG-INFO 2023-05-13T17:12:15,715 writing dependency_links to certora_cli_alpha_otakar_single_race_mode2.egg-info/dependency_links.txt 2023-05-13T17:12:15,717 writing entry points to certora_cli_alpha_otakar_single_race_mode2.egg-info/entry_points.txt 2023-05-13T17:12:15,718 writing requirements to certora_cli_alpha_otakar_single_race_mode2.egg-info/requires.txt 2023-05-13T17:12:15,719 writing top-level names to certora_cli_alpha_otakar_single_race_mode2.egg-info/top_level.txt 2023-05-13T17:12:15,749 reading manifest file 'certora_cli_alpha_otakar_single_race_mode2.egg-info/SOURCES.txt' 2023-05-13T17:12:15,752 reading manifest template 'MANIFEST.in' 2023-05-13T17:12:15,761 adding license file 'LICENSE' 2023-05-13T17:12:15,765 writing manifest file 'certora_cli_alpha_otakar_single_race_mode2.egg-info/SOURCES.txt' 2023-05-13T17:12:15,769 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-13T17:12:15,771 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-13T17:12:16,003 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-13T17:12:16,166 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-13T17:12:16,362 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-13T17:12:16,482 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-13T17:12:16,603 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-13T17:12:16,603 !! 2023-05-13T17:12:16,603 ******************************************************************************** 2023-05-13T17:12:16,603 Please avoid running ``setup.py`` directly. 2023-05-13T17:12:16,603 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-13T17:12:16,604 other standards-based tools. 2023-05-13T17:12:16,604 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-13T17:12:16,604 ******************************************************************************** 2023-05-13T17:12:16,604 !! 2023-05-13T17:12:16,604 self.initialize_options() 2023-05-13T17:12:16,630 installing to build/bdist.linux-aarch64/wheel 2023-05-13T17:12:16,631 running install 2023-05-13T17:12:16,657 running install_lib 2023-05-13T17:12:16,683 creating build/bdist.linux-aarch64 2023-05-13T17:12:16,684 creating build/bdist.linux-aarch64/wheel 2023-05-13T17:12:16,686 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:12:16,687 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:12:16,689 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:12:16,691 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:12:16,890 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:12:17,002 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:12:17,176 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:12:17,403 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:12:17,505 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T17:12:17,506 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T17:12:17,508 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T17:12:17,510 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T17:12:17,513 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:12:17,514 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:12:17,516 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:12:17,521 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:12:17,524 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:12:17,527 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:12:17,530 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:12:17,533 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:12:17,536 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:12:17,538 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T17:12:17,539 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T17:12:17,541 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T17:12:17,544 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T17:12:17,545 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T17:12:17,548 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T17:12:17,551 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:12:17,554 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:12:17,557 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:12:17,559 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:12:17,561 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:12:17,564 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T17:12:17,565 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T17:12:17,567 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T17:12:17,569 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T17:12:17,572 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T17:12:17,575 running install_egg_info 2023-05-13T17:12:17,605 Copying certora_cli_alpha_otakar_single_race_mode2.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_otakar_single_race_mode2-20230502.9.31.693497-py3.9.egg-info 2023-05-13T17:12:17,616 running install_scripts 2023-05-13T17:12:17,633 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-13T17:12:17,637 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_otakar_single_race_mode2-20230502.9.31.693497.dist-info/WHEEL 2023-05-13T17:12:17,640 creating '/tmp/pip-wheel-9wch514a/certora_cli_alpha_otakar_single_race_mode2-20230502.9.31.693497-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-13T17:12:17,642 adding 'certora_cli/__init__.py' 2023-05-13T17:12:17,644 adding 'certora_cli/certoraMutate.py' 2023-05-13T17:12:17,646 adding 'certora_cli/certoraRun.py' 2023-05-13T17:12:17,648 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-13T17:12:17,669 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-13T17:12:17,676 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-13T17:12:17,678 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-13T17:12:17,680 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-13T17:12:17,684 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-13T17:12:17,688 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-13T17:12:17,689 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-13T17:12:17,695 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-13T17:12:17,697 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-13T17:12:17,699 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-13T17:12:17,702 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-13T17:12:17,705 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-13T17:12:17,708 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-13T17:12:17,710 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-13T17:12:17,712 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-13T17:12:17,716 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-13T17:12:17,718 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-13T17:12:17,719 adding 'certora_cli/Shared/__init__.py' 2023-05-13T17:12:17,721 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-13T17:12:17,723 adding 'certora_cli/Shared/certoraTester.py' 2023-05-13T17:12:17,730 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-13T17:12:17,733 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-13T17:12:19,310 adding 'certora_jars/MutationTest.jar' 2023-05-13T17:12:20,618 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-13T17:12:22,105 adding 'certora_jars/Typechecker.jar' 2023-05-13T17:12:22,185 adding 'certora_jars/__init__.py' 2023-05-13T17:12:23,035 adding 'certora_jars/gambit-linux' 2023-05-13T17:12:23,889 adding 'certora_jars/gambit-macos' 2023-05-13T17:12:23,925 adding 'certora_cli_alpha_otakar_single_race_mode2-20230502.9.31.693497.dist-info/LICENSE' 2023-05-13T17:12:23,926 adding 'certora_cli_alpha_otakar_single_race_mode2-20230502.9.31.693497.dist-info/METADATA' 2023-05-13T17:12:23,927 adding 'certora_cli_alpha_otakar_single_race_mode2-20230502.9.31.693497.dist-info/WHEEL' 2023-05-13T17:12:23,928 adding 'certora_cli_alpha_otakar_single_race_mode2-20230502.9.31.693497.dist-info/entry_points.txt' 2023-05-13T17:12:23,929 adding 'certora_cli_alpha_otakar_single_race_mode2-20230502.9.31.693497.dist-info/top_level.txt' 2023-05-13T17:12:23,931 adding 'certora_cli_alpha_otakar_single_race_mode2-20230502.9.31.693497.dist-info/RECORD' 2023-05-13T17:12:24,410 removing build/bdist.linux-aarch64/wheel 2023-05-13T17:12:24,533 Building wheel for certora-cli-alpha-otakar-single-race-mode2 (setup.py): finished with status 'done' 2023-05-13T17:12:24,966 Created wheel for certora-cli-alpha-otakar-single-race-mode2: filename=certora_cli_alpha_otakar_single_race_mode2-20230502.9.31.693497-py3-none-any.whl size=38405480 sha256=7c1511dff9f99c03570fb1d759d31b6c6306d4f126aef8f8bcfddd94255350cf 2023-05-13T17:12:24,967 Stored in directory: /tmp/pip-ephem-wheel-cache-ndzhe0xd/wheels/54/9d/94/03ca83728970f1de44abf07d42f03294f1c0b9cc038645c8fe 2023-05-13T17:12:24,996 Successfully built certora-cli-alpha-otakar-single-race-mode2 2023-05-13T17:12:25,948 Removed build tracker: '/tmp/pip-build-tracker-77o8pjuz'