2023-05-13T23:59:50,416 Created temporary directory: /tmp/pip-build-tracker-2zn_uq69
2023-05-13T23:59:50,418 Initialized build tracking at /tmp/pip-build-tracker-2zn_uq69
2023-05-13T23:59:50,418 Created build tracker: /tmp/pip-build-tracker-2zn_uq69
2023-05-13T23:59:50,418 Entered build tracker: /tmp/pip-build-tracker-2zn_uq69
2023-05-13T23:59:50,419 Created temporary directory: /tmp/pip-wheel-uv3k8pn8
2023-05-13T23:59:50,422 Created temporary directory: /tmp/pip-ephem-wheel-cache-2lrucx5r
2023-05-13T23:59:50,446 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-13T23:59:50,450 2 location(s) to search for versions of certora-cli-alpha-otakar-single-race-mode2:
2023-05-13T23:59:50,450 * https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/
2023-05-13T23:59:50,450 * https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/
2023-05-13T23:59:50,451 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/
2023-05-13T23:59:50,451 Getting page https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/
2023-05-13T23:59:50,453 Found index url https://pypi.org/simple/
2023-05-13T23:59:50,504 Fetched page https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/ as application/vnd.pypi.simple.v1+json
2023-05-13T23:59:50,513   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-13T23:59:50,514   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-13T23:59:50,514   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-13T23:59:50,515   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-13T23:59:50,515   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-13T23:59:50,515   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-13T23:59:50,516   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-13T23:59:50,516   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-13T23:59:50,517   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-13T23:59:50,517   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-13T23:59:50,518   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-13T23:59:50,518   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-13T23:59:50,519   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-13T23:59:50,519   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-13T23:59:50,519   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-13T23:59:50,520   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-13T23:59:50,520   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-13T23:59:50,521   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-13T23:59:50,521   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-13T23:59:50,521   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-13T23:59:50,522   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-13T23:59:50,522   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-13T23:59:50,523   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-13T23:59:50,523   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-13T23:59:50,524   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-13T23:59:50,524   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-13T23:59:50,524   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-13T23:59:50,525   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-13T23:59:50,525   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-13T23:59:50,525   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-13T23:59:50,526   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-13T23:59:50,526   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-13T23:59:50,527   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-13T23:59:50,527   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-13T23:59:50,528   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-13T23:59:50,528   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-13T23:59:50,529   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-13T23:59:50,529   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-13T23:59:50,529   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-13T23:59:50,530   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-13T23:59:50,530   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-13T23:59:50,530   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-13T23:59:50,531   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-13T23:59:50,531   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-13T23:59:50,532   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-13T23:59:50,532   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-13T23:59:50,533 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/
2023-05-13T23:59:50,533 Getting page https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/
2023-05-13T23:59:50,534 Found index url https://www.piwheels.org/simple/
2023-05-13T23:59:50,693 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/ as text/html
2023-05-13T23:59:50,700   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=66200ee4fb4585d72205c32445f9509860361008d55686154f014e1fcd591604 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,700   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=dba4b4d860b98469a5a9097c3854403b516bce2db291eedc2e9a7f50427daba8 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,700   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=c004f59e722f97c6c71e6d30aa20cc08ccc86fe0e684dd3553234bb08959d2e8 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,701   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=46d9326cc7efdf134aa48b3bb57bae07efcd62b823d4d456dda035f6e40bad44 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,701   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=ef140e48072bc803e5fb62e574f41d4aac3f3219ba12fd4c4023d823732d4599 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,701   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=057eb55ce43a02fbffb8e4be10cb45e24aa4a2246512a60b077ea45ebcbde7a2 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,701   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=f1e5f32e094ea4e00bdee66b7d84bf87900926b9f8408cb21a524bb728e54652 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,702   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=92ee9fb080977f27f5521617b5131ea0b16fc25dc52285e19b62d77767639a67 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,702   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=2bf27a7754fe7eb613576c285178be1a97a050ffb1d42a577f8baba7f2e01590 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,702   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=959a18c3f6c5730e03e6f7f0499cf9f442f91c0a3979094b646d47d8daee9d4c (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,702   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=7d5c127c5c54a875866999629d3523a8800caca66da12a8b564e17daef190b5e (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,702   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=1ff76a5940e497b91053e268657f66e267dd0d8e186f8fa7cb1f13d8a454f738 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,703   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=4dbdd7194df4fe855112ce58ca8ae23e6e6d296f596f7081aace2ade02e7bdc3 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,703   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=6190e89a34449f489d43939cb9eb41658df9d15667ac2f0c548f4023d3548f08 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,703   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=fd8e71682459cb2557905471319b08b119ebecc442251c64f6d9dafe86926cbf (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,703   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=a6a9d2361c760a0bae1cbd5c8584f79cad7d87c2dda00bb6a4a175507d34d04f (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,703   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=f13cb00d602ab20dcf7f92a270e7551a4a9a4fd36d08aab414fd43bd59929e34 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,704   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=d43ebd1f6f1cdc33021b7032cf5aa42c2274ed803bcffe30aeb55cfc78d76aac (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,704   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=5e854624964d4b645efd31cc113fd0048a40b08a0328534f183ba6d83fd5f1b1 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,704   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=7c1511dff9f99c03570fb1d759d31b6c6306d4f126aef8f8bcfddd94255350cf (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/) (requires-python:>=3.8.16)
2023-05-13T23:59:50,704 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/
2023-05-13T23:59:50,704 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-otakar-single-race-mode2/
2023-05-13T23:59:50,725 Given no hashes to check 1 links for project 'certora-cli-alpha-otakar-single-race-mode2': discarding no candidates
2023-05-13T23:59:50,741 Collecting certora-cli-alpha-otakar-single-race-mode2==20230504.19.59.10377
2023-05-13T23:59:50,743   Created temporary directory: /tmp/pip-unpack-a0p3p4b3
2023-05-13T23:59:50,914   Downloading certora-cli-alpha-otakar-single_race_mode2-20230504.19.59.10377.tar.gz (38.5 MB)
2023-05-14T00:00:01,142   Added certora-cli-alpha-otakar-single-race-mode2==20230504.19.59.10377 from https://files.pythonhosted.org/packages/06/4f/28db4777447a480ddc70475302a9b0446d26d4d7304f5fcf5cb9809d78e6/certora-cli-alpha-otakar-single_race_mode2-20230504.19.59.10377.tar.gz to build tracker '/tmp/pip-build-tracker-2zn_uq69'
2023-05-14T00:00:01,145   Running setup.py (path:/tmp/pip-wheel-uv3k8pn8/certora-cli-alpha-otakar-single-race-mode2_9b170ef48cc243c89afed199f886e155/setup.py) egg_info for package certora-cli-alpha-otakar-single-race-mode2
2023-05-14T00:00:01,146   Created temporary directory: /tmp/pip-pip-egg-info-i_av5j6j
2023-05-14T00:00:01,147   Preparing metadata (setup.py): started
2023-05-14T00:00:01,148   Running command python setup.py egg_info
2023-05-14T00:00:12,000   /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230504.19.59.010377' to '20230504.19.59.10377'
2023-05-14T00:00:12,046     self.metadata.version = self._normalize_version(
2023-05-14T00:00:14,004   running egg_info
2023-05-14T00:00:14,039   creating /tmp/pip-pip-egg-info-i_av5j6j/certora_cli_alpha_otakar_single_race_mode2.egg-info
2023-05-14T00:00:16,629   writing /tmp/pip-pip-egg-info-i_av5j6j/certora_cli_alpha_otakar_single_race_mode2.egg-info/PKG-INFO
2023-05-14T00:00:17,608   writing dependency_links to /tmp/pip-pip-egg-info-i_av5j6j/certora_cli_alpha_otakar_single_race_mode2.egg-info/dependency_links.txt
2023-05-14T00:00:18,501   writing entry points to /tmp/pip-pip-egg-info-i_av5j6j/certora_cli_alpha_otakar_single_race_mode2.egg-info/entry_points.txt
2023-05-14T00:00:18,769   writing requirements to /tmp/pip-pip-egg-info-i_av5j6j/certora_cli_alpha_otakar_single_race_mode2.egg-info/requires.txt
2023-05-14T00:00:18,899   writing top-level names to /tmp/pip-pip-egg-info-i_av5j6j/certora_cli_alpha_otakar_single_race_mode2.egg-info/top_level.txt
2023-05-14T00:00:19,321   writing manifest file '/tmp/pip-pip-egg-info-i_av5j6j/certora_cli_alpha_otakar_single_race_mode2.egg-info/SOURCES.txt'
2023-05-14T00:00:30,601   reading manifest file '/tmp/pip-pip-egg-info-i_av5j6j/certora_cli_alpha_otakar_single_race_mode2.egg-info/SOURCES.txt'
2023-05-14T00:00:30,881   reading manifest template 'MANIFEST.in'
2023-05-14T00:00:33,748   adding license file 'LICENSE'
2023-05-14T00:00:34,074   writing manifest file '/tmp/pip-pip-egg-info-i_av5j6j/certora_cli_alpha_otakar_single_race_mode2.egg-info/SOURCES.txt'
2023-05-14T00:00:34,500   Preparing metadata (setup.py): finished with status 'done'
2023-05-14T00:00:34,987   Source in /tmp/pip-wheel-uv3k8pn8/certora-cli-alpha-otakar-single-race-mode2_9b170ef48cc243c89afed199f886e155 has version 20230504.19.59.10377, which satisfies requirement certora-cli-alpha-otakar-single-race-mode2==20230504.19.59.10377 from https://files.pythonhosted.org/packages/06/4f/28db4777447a480ddc70475302a9b0446d26d4d7304f5fcf5cb9809d78e6/certora-cli-alpha-otakar-single_race_mode2-20230504.19.59.10377.tar.gz
2023-05-14T00:00:35,075   Removed certora-cli-alpha-otakar-single-race-mode2==20230504.19.59.10377 from https://files.pythonhosted.org/packages/06/4f/28db4777447a480ddc70475302a9b0446d26d4d7304f5fcf5cb9809d78e6/certora-cli-alpha-otakar-single_race_mode2-20230504.19.59.10377.tar.gz from build tracker '/tmp/pip-build-tracker-2zn_uq69'
2023-05-14T00:00:36,377 Created temporary directory: /tmp/pip-unpack-wbu4mwio
2023-05-14T00:00:36,378 Building wheels for collected packages: certora-cli-alpha-otakar-single-race-mode2
2023-05-14T00:00:37,897   Created temporary directory: /tmp/pip-wheel-xyenbrl9
2023-05-14T00:00:37,897   Building wheel for certora-cli-alpha-otakar-single-race-mode2 (setup.py): started
2023-05-14T00:00:37,898   Destination directory: /tmp/pip-wheel-xyenbrl9
2023-05-14T00:00:37,899   Running command python setup.py bdist_wheel
2023-05-14T00:01:10,898   /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230504.19.59.010377' to '20230504.19.59.10377'
2023-05-14T00:01:10,923     self.metadata.version = self._normalize_version(
2023-05-14T00:01:33,455   running bdist_wheel
2023-05-14T00:01:41,076   running build
2023-05-14T00:01:41,076   running build_py
2023-05-14T00:01:42,416   creating build
2023-05-14T00:01:42,520   creating build/lib
2023-05-14T00:01:42,732   creating build/lib/certora_cli
2023-05-14T00:01:42,848   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-14T00:01:43,169   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-14T00:01:43,515   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-14T00:01:44,172   creating build/lib/certora_jars
2023-05-14T00:01:44,335   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-14T00:01:44,731   creating build/lib/certora_cli/Shared
2023-05-14T00:01:44,910   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-14T00:01:45,056   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-14T00:01:45,386   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-14T00:01:46,076   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-14T00:01:47,806   creating build/lib/certora_cli/EVMVerifier
2023-05-14T00:01:47,930   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T00:01:47,967   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T00:01:48,045   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T00:01:48,174   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T00:01:48,351   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T00:01:48,469   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T00:01:48,724   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T00:01:49,067   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T00:01:49,172   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T00:01:49,565   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T00:01:49,758   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T00:01:49,882   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T00:01:50,194   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T00:01:50,327   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T00:01:50,345   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T00:01:50,503   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T00:01:50,677   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T00:01:50,862   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T00:01:51,205   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T00:01:51,602   running egg_info
2023-05-14T00:01:53,242   writing certora_cli_alpha_otakar_single_race_mode2.egg-info/PKG-INFO
2023-05-14T00:01:53,329   writing dependency_links to certora_cli_alpha_otakar_single_race_mode2.egg-info/dependency_links.txt
2023-05-14T00:01:53,426   writing entry points to certora_cli_alpha_otakar_single_race_mode2.egg-info/entry_points.txt
2023-05-14T00:01:53,463   writing requirements to certora_cli_alpha_otakar_single_race_mode2.egg-info/requires.txt
2023-05-14T00:01:53,582   writing top-level names to certora_cli_alpha_otakar_single_race_mode2.egg-info/top_level.txt
2023-05-14T00:01:54,455   reading manifest file 'certora_cli_alpha_otakar_single_race_mode2.egg-info/SOURCES.txt'
2023-05-14T00:01:54,801   reading manifest template 'MANIFEST.in'
2023-05-14T00:01:57,825   adding license file 'LICENSE'
2023-05-14T00:01:57,836   writing manifest file 'certora_cli_alpha_otakar_single_race_mode2.egg-info/SOURCES.txt'
2023-05-14T00:01:57,873   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-14T00:01:58,041   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-14T00:02:30,901   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-14T00:02:48,747   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-14T00:03:04,380   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-14T00:03:11,068   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-14T00:03:15,628   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-14T00:03:15,629   !!

2023-05-14T00:03:15,629           ********************************************************************************
2023-05-14T00:03:15,629           Please avoid running ``setup.py`` directly.
2023-05-14T00:03:15,630           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-14T00:03:15,630           other standards-based tools.

2023-05-14T00:03:15,630           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-14T00:03:15,631           ********************************************************************************

2023-05-14T00:03:15,631   !!
2023-05-14T00:03:15,631     self.initialize_options()
2023-05-14T00:03:16,116   installing to build/bdist.linux-aarch64/wheel
2023-05-14T00:03:16,116   running install
2023-05-14T00:03:16,160   running install_lib
2023-05-14T00:03:16,286   creating build/bdist.linux-aarch64
2023-05-14T00:03:16,293   creating build/bdist.linux-aarch64/wheel
2023-05-14T00:03:16,325   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T00:03:16,356   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T00:03:16,403   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T00:03:16,483   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T00:03:16,580   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T00:03:16,596   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T00:03:16,643   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T00:03:16,646   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T00:03:16,692   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T00:03:16,721   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T00:03:16,726   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T00:03:16,728   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T00:03:16,750   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T00:03:16,788   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T00:03:16,802   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T00:03:16,850   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T00:03:16,902   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T00:03:16,922   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T00:03:16,978   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T00:03:17,012   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T00:03:17,023   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T00:03:17,154   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T00:03:17,185   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T00:03:17,240   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T00:03:17,274   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T00:03:17,286   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T00:03:17,310   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T00:03:17,332   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T00:03:17,366   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T00:03:17,397   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T00:03:17,400   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T00:03:17,415   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T00:03:24,763   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T00:03:24,773   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T00:03:29,255   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T00:03:30,794   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T00:03:32,763   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T00:03:40,154   running install_egg_info
2023-05-14T00:03:40,466   Copying certora_cli_alpha_otakar_single_race_mode2.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_otakar_single_race_mode2-20230504.19.59.10377-py3.9.egg-info
2023-05-14T00:03:40,553   running install_scripts
2023-05-14T00:03:41,026   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-14T00:03:41,056   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_otakar_single_race_mode2-20230504.19.59.10377.dist-info/WHEEL
2023-05-14T00:03:41,062   creating '/tmp/pip-wheel-xyenbrl9/certora_cli_alpha_otakar_single_race_mode2-20230504.19.59.10377-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-14T00:03:41,067   adding 'certora_cli/__init__.py'
2023-05-14T00:03:41,074   adding 'certora_cli/certoraMutate.py'
2023-05-14T00:03:41,085   adding 'certora_cli/certoraRun.py'
2023-05-14T00:03:41,118   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-14T00:03:41,160   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-14T00:03:41,173   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-14T00:03:41,178   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-14T00:03:41,183   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-14T00:03:41,202   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-14T00:03:41,224   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-14T00:03:41,257   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-14T00:03:41,288   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-14T00:03:41,312   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-14T00:03:41,314   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-14T00:03:41,322   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-14T00:03:41,332   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-14T00:03:41,339   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-14T00:03:41,362   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-14T00:03:41,376   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-14T00:03:41,407   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-14T00:03:41,416   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-14T00:03:41,419   adding 'certora_cli/Shared/__init__.py'
2023-05-14T00:03:41,424   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-14T00:03:41,429   adding 'certora_cli/Shared/certoraTester.py'
2023-05-14T00:03:41,441   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-14T00:03:41,466   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-14T00:03:43,144   adding 'certora_jars/MutationTest.jar'
2023-05-14T00:03:44,484   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-14T00:03:46,089   adding 'certora_jars/Typechecker.jar'
2023-05-14T00:03:46,174   adding 'certora_jars/__init__.py'
2023-05-14T00:03:47,084   adding 'certora_jars/gambit-linux'
2023-05-14T00:03:47,963   adding 'certora_jars/gambit-macos'
2023-05-14T00:03:48,003   adding 'certora_cli_alpha_otakar_single_race_mode2-20230504.19.59.10377.dist-info/LICENSE'
2023-05-14T00:03:48,004   adding 'certora_cli_alpha_otakar_single_race_mode2-20230504.19.59.10377.dist-info/METADATA'
2023-05-14T00:03:48,041   adding 'certora_cli_alpha_otakar_single_race_mode2-20230504.19.59.10377.dist-info/WHEEL'
2023-05-14T00:03:48,054   adding 'certora_cli_alpha_otakar_single_race_mode2-20230504.19.59.10377.dist-info/entry_points.txt'
2023-05-14T00:03:48,056   adding 'certora_cli_alpha_otakar_single_race_mode2-20230504.19.59.10377.dist-info/top_level.txt'
2023-05-14T00:03:48,057   adding 'certora_cli_alpha_otakar_single_race_mode2-20230504.19.59.10377.dist-info/RECORD'
2023-05-14T00:03:51,846   removing build/bdist.linux-aarch64/wheel
2023-05-14T00:03:51,984   Building wheel for certora-cli-alpha-otakar-single-race-mode2 (setup.py): finished with status 'done'
2023-05-14T00:03:53,014   Created wheel for certora-cli-alpha-otakar-single-race-mode2: filename=certora_cli_alpha_otakar_single_race_mode2-20230504.19.59.10377-py3-none-any.whl size=38511540 sha256=88377546106408b768d37d5bea164a316a0b88bfd48a41dbf7d33a061fe94fc5
2023-05-14T00:03:53,015   Stored in directory: /tmp/pip-ephem-wheel-cache-2lrucx5r/wheels/9a/05/54/2c921f225474d9c3ce24213c6f97544585a3e0a719a2e3a611
2023-05-14T00:03:53,886 Successfully built certora-cli-alpha-otakar-single-race-mode2
2023-05-14T00:03:55,603 Removed build tracker: '/tmp/pip-build-tracker-2zn_uq69'