2025-09-18T17:14:05,659 Created temporary directory: /tmp/pip-ephem-wheel-cache-d1vqtpnj
2025-09-18T17:14:05,661 Created temporary directory: /tmp/pip-build-tracker-lro8h8d5
2025-09-18T17:14:05,661 Initialized build tracking at /tmp/pip-build-tracker-lro8h8d5
2025-09-18T17:14:05,662 Created build tracker: /tmp/pip-build-tracker-lro8h8d5
2025-09-18T17:14:05,662 Entered build tracker: /tmp/pip-build-tracker-lro8h8d5
2025-09-18T17:14:05,664 Created temporary directory: /tmp/pip-wheel-bci563ul
2025-09-18T17:14:05,667 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453
2025-09-18T17:14:05,669 Created temporary directory: /tmp/pip-ephem-wheel-cache-97_ajiod
2025-09-18T17:14:05,692 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2025-09-18T17:14:05,696 2 location(s) to search for versions of imandra:
2025-09-18T17:14:05,696 * https://pypi.org/simple/imandra/
2025-09-18T17:14:05,696 * https://www.piwheels.org/simple/imandra/
2025-09-18T17:14:05,697 Fetching project page and analyzing links: https://pypi.org/simple/imandra/
2025-09-18T17:14:05,697 Getting page https://pypi.org/simple/imandra/
2025-09-18T17:14:05,699 Found index url https://pypi.org/simple
2025-09-18T17:14:05,911 Fetched page https://pypi.org/simple/imandra/ as application/vnd.pypi.simple.v1+json
2025-09-18T17:14:05,925   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/ab/15/5869f913d3290163e477aed1965d9dce68676bb2c6fcd9240ad1896773f8/imandra-0.1.3-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,926   Found link https://files.pythonhosted.org/packages/bf/4d/ae7ed042215314ce9bb17392d928f79a811cf7b040fcf5a2892aca89d283/imandra-0.1.3.tar.gz (from https://pypi.org/simple/imandra/), version: 0.1.3
2025-09-18T17:14:05,927   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/fa/84/094146b705f0d94afda4ff256e368fef0150bee18b7e6861c38393d6c8c5/imandra-0.1.4-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,928   Found link https://files.pythonhosted.org/packages/de/ca/8c41eeb73ce363d1493159ab0de018ea0807cb9a45fd64bd48c24aa34a5e/imandra-0.1.4.tar.gz (from https://pypi.org/simple/imandra/), version: 0.1.4
2025-09-18T17:14:05,929   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/54/5e/7b9d2181be86300eab4ea3f5c69b21d1992dab20132eabc95c6b5b6c2a3d/imandra-0.1.5-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,929   Found link https://files.pythonhosted.org/packages/95/3b/6a74e2e8f7f5652585c40c4f01410cdd07011c952872eff77fb9bdb0129c/imandra-0.1.5.tar.gz (from https://pypi.org/simple/imandra/), version: 0.1.5
2025-09-18T17:14:05,930   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/c8/54/761bc88bdf276ed0417396954e094755dfdfd58cdb9cd38a29bb3892c864/imandra-0.1.9-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,931   Found link https://files.pythonhosted.org/packages/ce/39/38106116e6401724a90dbd1b688de8005bdfd8f1568f3caa12d5554b2d03/imandra-0.1.9.tar.gz (from https://pypi.org/simple/imandra/), version: 0.1.9
2025-09-18T17:14:05,932   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/68/82/a97923e3971649589668508a523cf2ffe7cfc484e0cde38f275706508b43/imandra-0.1.10-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,932   Found link https://files.pythonhosted.org/packages/59/89/efc30d6fd3c1ea3503fda7f232e20fa30ade62ca1e51a78c35ab1e9dc621/imandra-0.1.10.tar.gz (from https://pypi.org/simple/imandra/), version: 0.1.10
2025-09-18T17:14:05,933   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/ce/45/dc8c79ede34f0e9e0b955f8d5c23e5bb0ccca8d59006cdcebecf75e9e996/imandra-0.1.11-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,934   Found link https://files.pythonhosted.org/packages/d9/94/a876a73bc0652f76069ad586dc06f97f2169b5f354a0fa6480fd55cb56b1/imandra-0.1.11.tar.gz (from https://pypi.org/simple/imandra/), version: 0.1.11
2025-09-18T17:14:05,935   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/d2/9a/5e88bef599fb29bbc79fa90b442c9bc8684bd3e872cdda84f8f62a897253/imandra-0.1.12-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,935   Found link https://files.pythonhosted.org/packages/d5/f2/ac4a14322331cd8f9b097729cc77431abfca8305d74ad91f069475e3bb30/imandra-0.1.12.tar.gz (from https://pypi.org/simple/imandra/), version: 0.1.12
2025-09-18T17:14:05,936   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/af/46/20b5fdd392f524f195af46740a45c491b173418dee9a99c9db235eb6c955/imandra-1.0.0-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,936   Found link https://files.pythonhosted.org/packages/72/e4/a1eed4370a3a52fa2479ef7fbf3249b644b336b270f6bd4dedad1aa75feb/imandra-1.0.0.tar.gz (from https://pypi.org/simple/imandra/), version: 1.0.0
2025-09-18T17:14:05,937   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/e1/86/0ef337ce4a3c8cf6d9a9ad55c9550e741638ecb3b0171834e54a462e9bb7/imandra-1.0.1-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,938   Found link https://files.pythonhosted.org/packages/05/f2/8025724d8b6d0b378e595893ffc51f42a2e511bc82dbc665c823597be945/imandra-1.0.1.tar.gz (from https://pypi.org/simple/imandra/), version: 1.0.1
2025-09-18T17:14:05,938   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/c4/11/1284147f714f209f89f8fae39be95ca1ced53ebd489ed764ecbbe612e2f1/imandra-1.0.2-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,939   Found link https://files.pythonhosted.org/packages/aa/73/a9d343b1747e2b746ed251cfc7477e67f40ccd393a881bdc16ce8f543ca1/imandra-1.0.2.tar.gz (from https://pypi.org/simple/imandra/), version: 1.0.2
2025-09-18T17:14:05,940   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/be/b9/45faca85b29d78ceece2fc07d0584be26fbd67382d001bff619fa6fc717f/imandra-1.0.3-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,940   Found link https://files.pythonhosted.org/packages/ba/55/d75830d62f8d24ecf6865bdeceb7e9a90531230ee92312b2bfb2735cf67c/imandra-1.0.3.tar.gz (from https://pypi.org/simple/imandra/), version: 1.0.3
2025-09-18T17:14:05,941   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/c2/3f/2550a5622ef54c52295210102f4606dd6d4c84e3e3f4e846b50af6b1607d/imandra-1.0.4-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,942   Found link https://files.pythonhosted.org/packages/f4/2c/472633ca12034c24fd6c6ac0bc219ed74b5a0c07e7a585cfe58df4d6041e/imandra-1.0.4.tar.gz (from https://pypi.org/simple/imandra/), version: 1.0.4
2025-09-18T17:14:05,942   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/51/5f/259e6bfe70ddf8b195b5b4ea88a535080018e79c8902893b8e7094377ec4/imandra-2.0.0b1-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,943   Found link https://files.pythonhosted.org/packages/05/5a/647b270793d119de8022d2ec9cbd857f3903cb66b1f8dce036f18308f200/imandra-2.0.0b1.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.0b1
2025-09-18T17:14:05,944   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/93/ad/d522783109329bce803a03bf75d7941508f6b1c267f04af90f673c8fd2a9/imandra-2.0.0b2-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,944   Found link https://files.pythonhosted.org/packages/a7/50/442b70200f33e225c482310f6eb5c8a8e3e08272b163cba2f75e7b6dc03d/imandra-2.0.0b2.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.0b2
2025-09-18T17:14:05,945   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/f8/e9/0ed04495f4a8a57dbb178780e1b207975616d9ed2c9458b57913bbf54ad8/imandra-2.0.0b3-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,946   Found link https://files.pythonhosted.org/packages/b6/f9/72c20eb9ef5d99733d1da9ff46a699f2d6e7f885bc4f4577070d085470ee/imandra-2.0.0b3.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.0b3
2025-09-18T17:14:05,947   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/25/09/76a25b1f2a615d352c030924d6a0ba0417babc588b0b8ff37c68db8b17ef/imandra-2.0.0b4-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,947   Found link https://files.pythonhosted.org/packages/11/de/f616ed3c2f094eb1f2658d2d98132caf2b44130f04e9dcc1acec64e8181a/imandra-2.0.0b4.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.0b4
2025-09-18T17:14:05,948   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/02/16/725f29a323ca2a00d6463740f1e5aa3c56db98bc224a1e0c2c095a81d71e/imandra-2.0.0b5-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,948   Found link https://files.pythonhosted.org/packages/12/de/5dcf10d9625fa431118ee15db4bc05a19cdb2f1d1490190fabd9e26ffcd7/imandra-2.0.0b5.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.0b5
2025-09-18T17:14:05,949   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/d7/16/e5e7fdce9d9c91d6c06bbdb9977273713a86d306ebfa4b4d0e99520484c7/imandra-2.0.0b6-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,950   Found link https://files.pythonhosted.org/packages/c1/41/15207c1ce71b2cdcfe1396454e5d99ef5b7435074de4e52fb89064cd3f3b/imandra-2.0.0b6.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.0b6
2025-09-18T17:14:05,950   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/a4/d4/32af416e931ceb31dd3d26260d1113b263187ffd06c8052cd741887f18fa/imandra-2.0.0b7-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,951   Found link https://files.pythonhosted.org/packages/2c/06/e4a8bcfcda2c421b07e05acccfb0aa280dd7a7842e31cdf0a2427b25a04c/imandra-2.0.0b7.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.0b7
2025-09-18T17:14:05,952   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/54/11/4ce28624e784079e1604f1ab6d63f7e1f690889e231587b77fc5ab648aea/imandra-2.0.0-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,953   Found link https://files.pythonhosted.org/packages/4e/af/8a479f70c50356b3ead6f7edebab2e23f7a720f6aff22bcfe575393c223c/imandra-2.0.0.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.0
2025-09-18T17:14:05,953   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/3c/2c/04667b0d18a9fb413db5d00b4787bc89e8716d468b2d2afa2dafc845aaaf/imandra-2.0.1-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,954   Found link https://files.pythonhosted.org/packages/de/a2/ad85144366aa4bba5226daf2c533ecfd19bc648fa468f63f1da044af2ab8/imandra-2.0.1.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.1
2025-09-18T17:14:05,955   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/5b/96/3e88196e3b04c6d8c90a32e4182a1159ac0a983515e717fb6ef49b4761ec/imandra-2.0.2-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,955   Found link https://files.pythonhosted.org/packages/1a/9a/557c56ae614467c51e3e7644b9cfcf34372434cb6f9e309b4214de25d766/imandra-2.0.2.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.2
2025-09-18T17:14:05,956   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/3f/ba/8f7dd439d7dddd0f0d340826c31f9124cce57e256a2307b406a41c8cd9b6/imandra-2.0.3-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,957   Found link https://files.pythonhosted.org/packages/08/5f/48eba7f4b3948caadac20362c211b803021c7251b7d2a4c6904a7e28c95b/imandra-2.0.3.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.3
2025-09-18T17:14:05,958   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/59/57/436a336531d248ec989347cbaae9df8a5471668d8112230a76c6e15b026e/imandra-2.0.4-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,958   Found link https://files.pythonhosted.org/packages/ba/98/16ca1de7f39d2d845f3feeaff8e32e9b59bb1b2d5b44143f3a0e161276cf/imandra-2.0.4.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.4
2025-09-18T17:14:05,959   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/50/22/e2cbee946cf027911f82405b1f51137a40b75f12253f9c21fc36c65022ad/imandra-2.0.5-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,959   Found link https://files.pythonhosted.org/packages/b4/2a/5b7be215ced817ae15020d94218a17ac5ecba27e6f97aca0a75267ed4d13/imandra-2.0.5.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.5
2025-09-18T17:14:05,960   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/6b/0f/3ad3ca2681f254b42a6b7d05a39282341a20bf1a94fe01a8ecdf80452f3a/imandra-2.0.6-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,960   Found link https://files.pythonhosted.org/packages/f0/f6/97e22afa63fc0ac13383691c88121781ca6c706a3f788dc8f806851ca096/imandra-2.0.6.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.6
2025-09-18T17:14:05,961   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/73/0c/3b13d29c6fff3c50f1d9d84d1a3399e073066b27b23b8c5c0c5b5adc92e4/imandra-2.0.8-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,962   Found link https://files.pythonhosted.org/packages/7e/d8/b634de51ba3e06b41114d4dbb7fa79f02dfefeee8a56820d89e7e6e6d613/imandra-2.0.8.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.8
2025-09-18T17:14:05,962   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/62/23/a2364fa7b8fbb662d44eefd1b4964e4c3d84ef5717a548c6034d2facd2a6/imandra-2.0.9-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,963   Found link https://files.pythonhosted.org/packages/e0/87/b78ba27c236e2191490a1cda50a75141ba690854536bb64cd28fa55b4e61/imandra-2.0.9.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.9
2025-09-18T17:14:05,964   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/76/d7/f5dd6bc56f8598df1e26e68550e33cf4b32ead8f6afb73b6b5f4793b7531/imandra-2.0.10-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,964   Found link https://files.pythonhosted.org/packages/64/3b/de973ed26c06cefbaebd0debd93cacded4f17e81af4053c7dddef2186171/imandra-2.0.10.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.10
2025-09-18T17:14:05,965   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/2c/54/a23ffccbb36d691f1b35078971576d38dc486599490f8b8621816e82e5e9/imandra-2.0.11-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,966   Found link https://files.pythonhosted.org/packages/b5/3e/af7f4d059794bc4313042822be55892bcc48809686bcf9c237b149356827/imandra-2.0.11.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.11
2025-09-18T17:14:05,966   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/e3/e9/08c499b62fcf3a22d4cd1adb088a0361d6296a5146d25e6383c657385782/imandra-2.0.12-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,967   Found link https://files.pythonhosted.org/packages/93/47/99506cdbb2c68b8f90b5a6cba999ffb0e8da2c7b43a8fdb0594d674ed8ba/imandra-2.0.12.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.12
2025-09-18T17:14:05,968   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/8f/cd/63db27f52269e031b5274bb15846c86d67ff1032fbd207b11a659d8e8795/imandra-2.0.13-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,968   Found link https://files.pythonhosted.org/packages/d3/23/fe60b8c3443db51f327d3b85c95211067f6cd3ba3f863cc34bdf8ffe2d07/imandra-2.0.13.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.13
2025-09-18T17:14:05,969   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/2e/c6/b34dacc51ec0651668036198dc1a80423e7174ac11af4a573a7d40290a28/imandra-2.0.14-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,969   Found link https://files.pythonhosted.org/packages/63/fd/a302e0b8d588a2f1e2f5cf6d94b4583d5f703e35115ebb22fbe01f25712f/imandra-2.0.14.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.14
2025-09-18T17:14:05,970   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/13/d8/7c9714387bef2e9c8921f435c089f1c213c24c5c1169fe0db23cb20d019a/imandra-2.0.15-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,971   Found link https://files.pythonhosted.org/packages/c0/cb/362cc9a10be517657eb08c3d3f9d5fe355c57d1e0d7251cb859af4395e04/imandra-2.0.15.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.15
2025-09-18T17:14:05,971   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/7b/a8/cb3d7ba11495801a05c0ed613c7e5a3c76030a8970accc3439fd00cb9eae/imandra-2.0.16-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,972   Found link https://files.pythonhosted.org/packages/b4/25/fe8350b5149ed7262c6232c41ee198baf43e09ea1e6c42d4b8f2022c089c/imandra-2.0.16.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.16
2025-09-18T17:14:05,972   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/71/59/4c46c87dc207b91645e85e2b06efc7cc0e1aeb447e45d5358f725521e6ec/imandra-2.0.17-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,973   Found link https://files.pythonhosted.org/packages/83/e1/55329b0f37b56164bb32ee6ee9af85f52f39c36216bb039a7925271f1e17/imandra-2.0.17.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.17
2025-09-18T17:14:05,974   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/0c/63/bfdaa7e335073214b7ff02d75ef273656e969453dd5c79bc1e073fb7ea65/imandra-2.0.18-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,974   Found link https://files.pythonhosted.org/packages/39/3c/94f00534e05b5ec89f77c417c98eb18a13f96096ec0def6a1d795e709b9b/imandra-2.0.18.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.18
2025-09-18T17:14:05,975   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/a5/1b/e6f8eceeb3136ecbe21c68f8bffaed31deb77ccb89b26070f4a7b4cc33ea/imandra-2.0.19-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,976   Found link https://files.pythonhosted.org/packages/0d/95/926bd64d3e0267c8df3bb8400afbef65fdbd50ba6f3fd8bf88764dc2c1e9/imandra-2.0.19.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.19
2025-09-18T17:14:05,976   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/38/7a/519f85d9a88ca269b6d82e1b89cda9bd55ed6c6b116e66e8d531afba8ee3/imandra-2.0.20-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,977   Found link https://files.pythonhosted.org/packages/ee/6e/b8a6e709b683c5459b530061290d7a8894e7bfe1a91449d28aa0cbaed5d7/imandra-2.0.20.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.20
2025-09-18T17:14:05,977   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/4a/47/0347a6dcdaee83ca3260dcae6ffc51842d9887ec3602fbffc75b951abc4f/imandra-2.0.22-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2025-09-18T17:14:05,978   Found link https://files.pythonhosted.org/packages/bc/af/7c0049ebd795facb59b60aa44bc127375cb46bcbc9575c91142278f544f4/imandra-2.0.22.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.22
2025-09-18T17:14:05,979 Fetching project page and analyzing links: https://www.piwheels.org/simple/imandra/
2025-09-18T17:14:05,980 Getting page https://www.piwheels.org/simple/imandra/
2025-09-18T17:14:05,981 Found index url https://www.piwheels.org/simple
2025-09-18T17:14:06,136 Fetched page https://www.piwheels.org/simple/imandra/ as text/html
2025-09-18T17:14:06,147   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-2.0.20-py3-none-any.whl#sha256=34c915699aac63fb3687039bd171e8deaca99e49d6bb88ec4891285b15c48cbe (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,147   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-2.0.19-py3-none-any.whl#sha256=ddf9f1cca0f067f628cc878a4c4b2bfff92db0f56942789bf585f119de86139b (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,148   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-2.0.18-py3-none-any.whl#sha256=8309b6ffa47068fa19c2ccd6a182dee7e7159613297d47448e86830a081a73a6 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,148   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-2.0.17-py3-none-any.whl#sha256=5c07aa369d34f2bcdcfe371635c22db5a526c375660246ad0105f7c0259173de (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,149   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-2.0.16-py3-none-any.whl#sha256=9a36070e95b87d27c509163d813562a23c7531baf6b53e29869a639225b9dd1f (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,149   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.15-py3-none-any.whl#sha256=2f830c86c7b9f9bb312ac2da94788e09ef7414524360b1a9d6b6fc36f59ff210 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,150   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.14-py3-none-any.whl#sha256=5b95645b5f2ebe4f1286fd97e227ec6d01c6020b12ba9a5809e23741f3a35171 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,151   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.13-py3-none-any.whl#sha256=62721df4266c73b3be91b7be47f1ace6ecdcbdc44b8c93fd8a40a3ba7163ea60 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,151   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.12-py3-none-any.whl#sha256=fefcc7efd59aae19fd7554b363575e285b9435a68dcf9d45ba6493e37dfbecc1 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,152   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.11-py3-none-any.whl#sha256=07b8d94728d4d23a72323dc60b70de204b69ca5b25870fee6f1ffaede6a7a9f4 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,153   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.10-py3-none-any.whl#sha256=932cd77ce36da7229e13b5d39035f2a4f97ac533061f77fb3220a8ebc84d0830 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,153   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.9-py3-none-any.whl#sha256=ec6f0f8f1bdf38ea2d99f12daaa6eef44b5dab402d91e1d8aeaa8e85d71d6443 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,154   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.8-py3-none-any.whl#sha256=42d414282c1387283494a4f683e946f86ca560b10b5b87e1996fe2b6ecebcc0f (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,154   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.6-py3-none-any.whl#sha256=bde16b887b544a991371205e78b69d2652c22050bd0cb7b56f9b266fe0b46238 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,155   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.5-py3-none-any.whl#sha256=323c27179c2a352e9ae3b3e7f9cfcbd918304328f264c0c4af81c6dca57839d8 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,156   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.4-py3-none-any.whl#sha256=5215d7ee23ca13f5b674744c2b134ba9ad5dc494ee99be043d43564710308d4c (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,156   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.3-py3-none-any.whl#sha256=d75d0714d1db45439a495c254a0e23570aac5192c818fb3c65500017edefdb10 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,157   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.2-py3-none-any.whl#sha256=cd47d5ee4af63a0bbcdaebe6c56bb59e40b69f339306654b65985837f9cd9ddd (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,157   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.1-py3-none-any.whl#sha256=ee4f84900459629bb5bd35e28dbd68b4f94151dab8bf334ecabebf8daf072e43 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,157   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.0-py3-none-any.whl#sha256=16710b81b35066b082685d5a7b30f322276cbcc1e318874d3d47cd5ec06961a9 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,158   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b7-py3-none-any.whl#sha256=39ed1180ca160edc8ee5dcd567905101fb2ea176477ff4fe6988130bb0b3ab7c (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,159   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b6-py3-none-any.whl#sha256=cdbca3037dbdcfd63ba914d65d4cd8828fa4f6dc36b9d3b5ef52b5808424d14b (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,159   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b5-py3-none-any.whl#sha256=f6ef8bc467aa9fd596af8345a4c150a56f9936ae8101bdfc76689ec3814fe1c7 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,160   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b4-py3-none-any.whl#sha256=87398d615f75a046d8e45a693cda408f3463e1b9721e3ab0ede5f93723428bb5 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,161   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b3-py3-none-any.whl#sha256=7178b8eccf4c5991a41df907c5d29f01a2cb4816d02b600e978be3bea63ca5b6 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,161   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b2-py3-none-any.whl#sha256=c2f51c8d492ac13027bf4e7aa3851bbbb2eb161e9d5ee8a2e59955e46259be26 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,162   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b1-py3-none-any.whl#sha256=c5175ef2352d8674c146950eb4a190ad6a6c8586305773841365c09aaf5647a9 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,162   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-1.0.4-py3-none-any.whl#sha256=526ed8e1aafe2579d55582d2ad4151336dca33a3dd4c454ac90ce74c3eaa8a90 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,163   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-1.0.3-py3-none-any.whl#sha256=e9b4035fbd47515f0f467c287eaebc32d9a7ed4dfd7b05483fe075bf4314bc92 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,164   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-1.0.2-py3-none-any.whl#sha256=0d0429742091c0b55ac167d0e20a110684281e4991e4a730bf2e49962a12e30e (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,164   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-1.0.1-py3-none-any.whl#sha256=5d6ab82386aea0fb1ce1d2afde692e865f9b36297033011983af98ce3db86aef (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,165   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-1.0.0-py3-none-any.whl#sha256=db28520a9d452d1960f1d32cfbb1ebeff1ec5e201d22259982616c9ca7cdcc2b (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,165   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-0.1.12-py3-none-any.whl#sha256=c8fb9c984f88da41da53a2738d98a646501cba3788be8e59ce4c1bf532e64bd5 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,166   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-0.1.11-py3-none-any.whl#sha256=940ee22f36dc10bc8195272d7be270d19f81c9cca00f2f7538be8ec8e0bea514 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,166   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-0.1.10-py3-none-any.whl#sha256=5c2f41b6ca40c46c8a156827b2a0ba62c16021ff3c8c48a69139875feaf0f6ee (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,167   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-0.1.9-py3-none-any.whl#sha256=9d6c1a57554cfdf7f40e30bdfc09497f98e2e18d13daa2bc7aec8ebb53767a37 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,167   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-0.1.5-py3-none-any.whl#sha256=84ae76c5c35a8e017eb39f7ca1f25ce37a9a1760d9c99e1cd607f48c8254d4dc (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,168   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-0.1.4-py3-none-any.whl#sha256=b679d11e49970647fad7d1fbd8a46b2f325ed50f4e15d722345567ed882e5357 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,169   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-0.1.3-py3-none-any.whl#sha256=30e2fdb107964061e765814f34de28effcd6389d981277ae23615b53b95bf278 (from https://www.piwheels.org/simple/imandra/)
2025-09-18T17:14:06,169 Skipping link: not a file: https://www.piwheels.org/simple/imandra/
2025-09-18T17:14:06,170 Skipping link: not a file: https://pypi.org/simple/imandra/
2025-09-18T17:14:06,194 Given no hashes to check 1 links for project 'imandra': discarding no candidates
2025-09-18T17:14:06,212 Collecting imandra==2.0.22
2025-09-18T17:14:06,215   Created temporary directory: /tmp/pip-unpack-5hwtius0
2025-09-18T17:14:06,517   Downloading imandra-2.0.22.tar.gz (142 kB)
2025-09-18T17:14:06,883   Added imandra==2.0.22 from https://files.pythonhosted.org/packages/bc/af/7c0049ebd795facb59b60aa44bc127375cb46bcbc9575c91142278f544f4/imandra-2.0.22.tar.gz to build tracker '/tmp/pip-build-tracker-lro8h8d5'
2025-09-18T17:14:06,888   Created temporary directory: /tmp/pip-build-env-y_j0mu33
2025-09-18T17:14:06,892   Installing build dependencies: started
2025-09-18T17:14:06,894   Running command pip subprocess to install build dependencies
2025-09-18T17:14:08,044   Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11)
2025-09-18T17:14:08,605   DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453
2025-09-18T17:14:08,628   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2025-09-18T17:14:10,388   Collecting setuptools>=61.0.0
2025-09-18T17:14:10,507     Using cached https://www.piwheels.org/simple/setuptools/setuptools-80.9.0-py3-none-any.whl (1.2 MB)
2025-09-18T17:14:10,794   Collecting wheel
2025-09-18T17:14:10,809     Using cached https://www.piwheels.org/simple/wheel/wheel-0.45.1-py3-none-any.whl (72 kB)
2025-09-18T17:14:13,847   Installing collected packages: wheel, setuptools
2025-09-18T17:14:14,082     Creating /tmp/pip-build-env-y_j0mu33/overlay/local/bin
2025-09-18T17:14:14,084     changing mode of /tmp/pip-build-env-y_j0mu33/overlay/local/bin/wheel to 755
2025-09-18T17:14:17,652   Successfully installed setuptools-80.9.0 wheel-0.45.1
2025-09-18T17:14:17,926   Installing build dependencies: finished with status 'done'
2025-09-18T17:14:17,933   Getting requirements to build wheel: started
2025-09-18T17:14:17,934   Running command Getting requirements to build wheel
2025-09-18T17:14:18,654   running egg_info
2025-09-18T17:14:18,661   writing src/imandra.egg-info/PKG-INFO
2025-09-18T17:14:18,671   writing dependency_links to src/imandra.egg-info/dependency_links.txt
2025-09-18T17:14:18,673   writing entry points to src/imandra.egg-info/entry_points.txt
2025-09-18T17:14:18,679   writing requirements to src/imandra.egg-info/requires.txt
2025-09-18T17:14:18,680   writing top-level names to src/imandra.egg-info/top_level.txt
2025-09-18T17:14:18,721   reading manifest file 'src/imandra.egg-info/SOURCES.txt'
2025-09-18T17:14:18,740   writing manifest file 'src/imandra.egg-info/SOURCES.txt'
2025-09-18T17:14:18,838   Getting requirements to build wheel: finished with status 'done'
2025-09-18T17:14:18,841   Created temporary directory: /tmp/pip-modern-metadata-fo1mcaw7
2025-09-18T17:14:18,843   Preparing metadata (pyproject.toml): started
2025-09-18T17:14:18,845   Running command Preparing metadata (pyproject.toml)
2025-09-18T17:14:19,499   running dist_info
2025-09-18T17:14:19,511   creating /tmp/pip-modern-metadata-fo1mcaw7/imandra.egg-info
2025-09-18T17:14:19,512   writing /tmp/pip-modern-metadata-fo1mcaw7/imandra.egg-info/PKG-INFO
2025-09-18T17:14:19,522   writing dependency_links to /tmp/pip-modern-metadata-fo1mcaw7/imandra.egg-info/dependency_links.txt
2025-09-18T17:14:19,524   writing entry points to /tmp/pip-modern-metadata-fo1mcaw7/imandra.egg-info/entry_points.txt
2025-09-18T17:14:19,529   writing requirements to /tmp/pip-modern-metadata-fo1mcaw7/imandra.egg-info/requires.txt
2025-09-18T17:14:19,531   writing top-level names to /tmp/pip-modern-metadata-fo1mcaw7/imandra.egg-info/top_level.txt
2025-09-18T17:14:19,532   writing manifest file '/tmp/pip-modern-metadata-fo1mcaw7/imandra.egg-info/SOURCES.txt'
2025-09-18T17:14:19,569   reading manifest file '/tmp/pip-modern-metadata-fo1mcaw7/imandra.egg-info/SOURCES.txt'
2025-09-18T17:14:19,577   writing manifest file '/tmp/pip-modern-metadata-fo1mcaw7/imandra.egg-info/SOURCES.txt'
2025-09-18T17:14:19,579   creating '/tmp/pip-modern-metadata-fo1mcaw7/imandra-2.0.22.dist-info'
2025-09-18T17:14:19,702   Preparing metadata (pyproject.toml): finished with status 'done'
2025-09-18T17:14:19,707   Source in /tmp/pip-wheel-bci563ul/imandra_d0e99919f9c3491ab60e19b15c7663ff has version 2.0.22, which satisfies requirement imandra==2.0.22 from https://files.pythonhosted.org/packages/bc/af/7c0049ebd795facb59b60aa44bc127375cb46bcbc9575c91142278f544f4/imandra-2.0.22.tar.gz
2025-09-18T17:14:19,708   Removed imandra==2.0.22 from https://files.pythonhosted.org/packages/bc/af/7c0049ebd795facb59b60aa44bc127375cb46bcbc9575c91142278f544f4/imandra-2.0.22.tar.gz from build tracker '/tmp/pip-build-tracker-lro8h8d5'
2025-09-18T17:14:19,714 Created temporary directory: /tmp/pip-unpack-v3azie79
2025-09-18T17:14:19,715 Building wheels for collected packages: imandra
2025-09-18T17:14:19,719   Created temporary directory: /tmp/pip-wheel-r30fi61c
2025-09-18T17:14:19,719   Destination directory: /tmp/pip-wheel-r30fi61c
2025-09-18T17:14:19,721   Building wheel for imandra (pyproject.toml): started
2025-09-18T17:14:19,722   Running command Building wheel for imandra (pyproject.toml)
2025-09-18T17:14:20,356   running bdist_wheel
2025-09-18T17:14:20,377   running build
2025-09-18T17:14:20,378   running build_py
2025-09-18T17:14:20,384   creating build/lib/imandra_http_api_client
2025-09-18T17:14:20,386   copying src/imandra_http_api_client/configuration.py -> build/lib/imandra_http_api_client
2025-09-18T17:14:20,389   copying src/imandra_http_api_client/__init__.py -> build/lib/imandra_http_api_client
2025-09-18T17:14:20,391   copying src/imandra_http_api_client/exceptions.py -> build/lib/imandra_http_api_client
2025-09-18T17:14:20,393   copying src/imandra_http_api_client/rest.py -> build/lib/imandra_http_api_client
2025-09-18T17:14:20,396   copying src/imandra_http_api_client/api_response.py -> build/lib/imandra_http_api_client
2025-09-18T17:14:20,397   copying src/imandra_http_api_client/api_client.py -> build/lib/imandra_http_api_client
2025-09-18T17:14:20,401   creating build/lib/imandra
2025-09-18T17:14:20,402   copying src/imandra/session.py -> build/lib/imandra
2025-09-18T17:14:20,403   copying src/imandra/__init__.py -> build/lib/imandra
2025-09-18T17:14:20,405   copying src/imandra/ipl.py -> build/lib/imandra
2025-09-18T17:14:20,407   copying src/imandra/auth.py -> build/lib/imandra
2025-09-18T17:14:20,409   creating build/lib/imandra_http_api_client/api
2025-09-18T17:14:20,410   copying src/imandra_http_api_client/api/__init__.py -> build/lib/imandra_http_api_client/api
2025-09-18T17:14:20,412   copying src/imandra_http_api_client/api/default_api.py -> build/lib/imandra_http_api_client/api
2025-09-18T17:14:20,417   creating build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,418   copying src/imandra_http_api_client/test/test_induct_structural_body.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,420   copying src/imandra_http_api_client/test/test_decompose_result.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,422   copying src/imandra_http_api_client/test/test_verify_request_name.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,424   copying src/imandra_http_api_client/test/test_instance_request_src.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,425   copying src/imandra_http_api_client/test/test_method_body.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,427   copying src/imandra_http_api_client/test/test_verify_response.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,429   copying src/imandra_http_api_client/test/test_default_api.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,431   copying src/imandra_http_api_client/test/test_method_induct_body.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,433   copying src/imandra_http_api_client/test/test_response_instance.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,434   copying src/imandra_http_api_client/test/test_method_type.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,436   copying src/imandra_http_api_client/test/test_eval_response.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,443   copying src/imandra_http_api_client/test/test_verify_request_src.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,445   copying src/imandra_http_api_client/test/test_instance_result.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,446   copying src/imandra_http_api_client/test/__init__.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,448   copying src/imandra_http_api_client/test/test_verify_result.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,450   copying src/imandra_http_api_client/test/test_printer_details.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,452   copying src/imandra_http_api_client/test/test_method_unroll_body.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,454   copying src/imandra_http_api_client/test/test_syntax.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,455   copying src/imandra_http_api_client/test/test_instance_request_name.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,457   copying src/imandra_http_api_client/test/test_decompose_region.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,459   copying src/imandra_http_api_client/test/test_with_unknown_reason_body.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,461   copying src/imandra_http_api_client/test/test_hints.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,463   copying src/imandra_http_api_client/test/test_induct_functional_body.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,464   copying src/imandra_http_api_client/test/test_with_instance_body.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,466   copying src/imandra_http_api_client/test/test_verify_response_body.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,468   copying src/imandra_http_api_client/test/test_response_model.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,470   copying src/imandra_http_api_client/test/test_response_error.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,472   copying src/imandra_http_api_client/test/test_instance_response.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,474   copying src/imandra_http_api_client/test/test_induct_type.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,476   copying src/imandra_http_api_client/test/test_up_to_body.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,478   copying src/imandra_http_api_client/test/test_decompose_request_src.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,479   copying src/imandra_http_api_client/test/test_method_induct_body_body.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,481   copying src/imandra_http_api_client/test/test_induct_structural_style.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,483   copying src/imandra_http_api_client/test/test_method_ext_solver_body.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,485   copying src/imandra_http_api_client/test/test_eval_request_src.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,487   copying src/imandra_http_api_client/test/test_method.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,489   copying src/imandra_http_api_client/test/test_instance_type.py -> build/lib/imandra_http_api_client/test
2025-09-18T17:14:20,492   creating build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,493   copying src/imandra_http_api_client/models/eval_response.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,495   copying src/imandra_http_api_client/models/up_to_body.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,497   copying src/imandra_http_api_client/models/verify_response.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,499   copying src/imandra_http_api_client/models/method_body.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,501   copying src/imandra_http_api_client/models/method_unroll_body.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,503   copying src/imandra_http_api_client/models/instance_request_name.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,505   copying src/imandra_http_api_client/models/verify_request_src.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,507   copying src/imandra_http_api_client/models/response_model.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,509   copying src/imandra_http_api_client/models/__init__.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,511   copying src/imandra_http_api_client/models/decompose_region.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,512   copying src/imandra_http_api_client/models/induct_structural_style.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,514   copying src/imandra_http_api_client/models/instance_result.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,516   copying src/imandra_http_api_client/models/syntax.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,517   copying src/imandra_http_api_client/models/method.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,519   copying src/imandra_http_api_client/models/induct_structural_body.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,521   copying src/imandra_http_api_client/models/verify_response_body.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,523   copying src/imandra_http_api_client/models/response_error.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,525   copying src/imandra_http_api_client/models/eval_request_src.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,526   copying src/imandra_http_api_client/models/decompose_result.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,528   copying src/imandra_http_api_client/models/printer_details.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,530   copying src/imandra_http_api_client/models/verify_request_name.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,532   copying src/imandra_http_api_client/models/hints.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,534   copying src/imandra_http_api_client/models/instance_response.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,536   copying src/imandra_http_api_client/models/method_type.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,538   copying src/imandra_http_api_client/models/method_ext_solver_body.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,539   copying src/imandra_http_api_client/models/response_instance.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,542   copying src/imandra_http_api_client/models/verify_result.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,543   copying src/imandra_http_api_client/models/instance_type.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,545   copying src/imandra_http_api_client/models/with_unknown_reason_body.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,547   copying src/imandra_http_api_client/models/decompose_request_src.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,549   copying src/imandra_http_api_client/models/with_instance_body.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,551   copying src/imandra_http_api_client/models/method_induct_body.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,553   copying src/imandra_http_api_client/models/induct_type.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,554   copying src/imandra_http_api_client/models/induct_functional_body.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,556   copying src/imandra_http_api_client/models/method_induct_body_body.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,559   copying src/imandra_http_api_client/models/instance_request_src.py -> build/lib/imandra_http_api_client/models
2025-09-18T17:14:20,561   creating build/lib/imandra/core
2025-09-18T17:14:20,562   copying src/imandra/core/__init__.py -> build/lib/imandra/core
2025-09-18T17:14:20,564   creating build/lib/imandra/api
2025-09-18T17:14:20,565   copying src/imandra/api/instance.py -> build/lib/imandra/api
2025-09-18T17:14:20,567   copying src/imandra/api/__init__.py -> build/lib/imandra/api
2025-09-18T17:14:20,569   copying src/imandra/api/ipl_common.py -> build/lib/imandra/api
2025-09-18T17:14:20,572   copying src/imandra/api/cfb.py -> build/lib/imandra/api
2025-09-18T17:14:20,574   copying src/imandra/api/rule_synth.py -> build/lib/imandra/api
2025-09-18T17:14:20,576   copying src/imandra/api/ipl.py -> build/lib/imandra/api
2025-09-18T17:14:20,579   copying src/imandra/api/auth.py -> build/lib/imandra/api
2025-09-18T17:14:20,582   creating build/lib/imandra/cli
2025-09-18T17:14:20,584   copying src/imandra/cli/__init__.py -> build/lib/imandra/cli
2025-09-18T17:14:20,587   copying src/imandra/cli/ipl_log_analysis.py -> build/lib/imandra/cli
2025-09-18T17:14:20,590   creating build/lib/imandra/u/reasoners
2025-09-18T17:14:20,592   copying src/imandra/u/reasoners/acl2.py -> build/lib/imandra/u/reasoners
2025-09-18T17:14:20,594   copying src/imandra/u/reasoners/prover9.py -> build/lib/imandra/u/reasoners
2025-09-18T17:14:20,596   copying src/imandra/u/reasoners/__init__.py -> build/lib/imandra/u/reasoners
2025-09-18T17:14:20,598   copying src/imandra/u/reasoners/qepcad.py -> build/lib/imandra/u/reasoners
2025-09-18T17:14:20,600   copying src/imandra/u/reasoners/zipperposition.py -> build/lib/imandra/u/reasoners
2025-09-18T17:14:20,602   copying src/imandra/u/reasoners/mace4.py -> build/lib/imandra/u/reasoners
2025-09-18T17:14:20,604   copying src/imandra/u/reasoners/core.py -> build/lib/imandra/u/reasoners
2025-09-18T17:14:20,606   copying src/imandra/u/reasoners/nqthm.py -> build/lib/imandra/u/reasoners
2025-09-18T17:14:20,608   copying src/imandra/u/reasoners/eprover.py -> build/lib/imandra/u/reasoners
2025-09-18T17:14:20,611   copying src/imandra/u/reasoners/z3.py -> build/lib/imandra/u/reasoners
2025-09-18T17:14:20,613   copying src/imandra/u/reasoners/cvc5.py -> build/lib/imandra/u/reasoners
2025-09-18T17:14:20,615   copying src/imandra/u/reasoners/metitarski.py -> build/lib/imandra/u/reasoners
2025-09-18T17:14:20,617   copying src/imandra/u/reasoners/clingo.py -> build/lib/imandra/u/reasoners
2025-09-18T17:14:20,619   copying src/imandra/u/reasoners/otter.py -> build/lib/imandra/u/reasoners
2025-09-18T17:14:20,621   creating build/lib/imandra/u/agents
2025-09-18T17:14:20,623   copying src/imandra/u/agents/__init__.py -> build/lib/imandra/u/agents
2025-09-18T17:14:20,625   creating build/lib/imandra/u/agents/spec_logician
2025-09-18T17:14:20,627   copying src/imandra/u/agents/spec_logician/__init__.py -> build/lib/imandra/u/agents/spec_logician
2025-09-18T17:14:20,629   copying src/imandra/u/agents/spec_logician/graph.py -> build/lib/imandra/u/agents/spec_logician
2025-09-18T17:14:20,632   creating build/lib/imandra/u/agents/code_logician
2025-09-18T17:14:20,633   copying src/imandra/u/agents/code_logician/rich_utils.py -> build/lib/imandra/u/agents/code_logician
2025-09-18T17:14:20,636   copying src/imandra/u/agents/code_logician/__init__.py -> build/lib/imandra/u/agents/code_logician
2025-09-18T17:14:20,638   copying src/imandra/u/agents/code_logician/interrupt_message.py -> build/lib/imandra/u/agents/code_logician
2025-09-18T17:14:20,641   copying src/imandra/u/agents/code_logician/task.py -> build/lib/imandra/u/agents/code_logician
2025-09-18T17:14:20,644   copying src/imandra/u/agents/code_logician/command.py -> build/lib/imandra/u/agents/code_logician
2025-09-18T17:14:20,648   creating build/lib/imandra/u/agents/code_logician/base
2025-09-18T17:14:20,649   copying src/imandra/u/agents/code_logician/base/formalization_state.py -> build/lib/imandra/u/agents/code_logician/base
2025-09-18T17:14:20,652   copying src/imandra/u/agents/code_logician/base/vg.py -> build/lib/imandra/u/agents/code_logician/base
2025-09-18T17:14:20,655   copying src/imandra/u/agents/code_logician/base/imandrax.py -> build/lib/imandra/u/agents/code_logician/base
2025-09-18T17:14:20,659   copying src/imandra/u/agents/code_logician/base/context.py -> build/lib/imandra/u/agents/code_logician/base
2025-09-18T17:14:20,661   copying src/imandra/u/agents/code_logician/base/__init__.py -> build/lib/imandra/u/agents/code_logician/base
2025-09-18T17:14:20,664   copying src/imandra/u/agents/code_logician/base/dependency.py -> build/lib/imandra/u/agents/code_logician/base
2025-09-18T17:14:20,666   copying src/imandra/u/agents/code_logician/base/region_decomp.py -> build/lib/imandra/u/agents/code_logician/base
2025-09-18T17:14:20,669   copying src/imandra/u/agents/code_logician/base/iml.py -> build/lib/imandra/u/agents/code_logician/base
2025-09-18T17:14:20,673   creating build/lib/imandra/u/agents/code_logician/graph
2025-09-18T17:14:20,674   copying src/imandra/u/agents/code_logician/graph/__init__.py -> build/lib/imandra/u/agents/code_logician/graph
2025-09-18T17:14:20,677   copying src/imandra/u/agents/code_logician/graph/graph_state.py -> build/lib/imandra/u/agents/code_logician/graph
2025-09-18T17:14:20,680   creating build/lib/imandra/u/agents/code_logician/imandrax
2025-09-18T17:14:20,682   copying src/imandra/u/agents/code_logician/imandrax/simple_api.py -> build/lib/imandra/u/agents/code_logician/imandrax
2025-09-18T17:14:20,685   copying src/imandra/u/agents/code_logician/imandrax/session.py -> build/lib/imandra/u/agents/code_logician/imandrax
2025-09-18T17:14:20,687   copying src/imandra/u/agents/code_logician/imandrax/__init__.py -> build/lib/imandra/u/agents/code_logician/imandrax
2025-09-18T17:14:20,689   copying src/imandra/u/agents/code_logician/imandrax/utils.py -> build/lib/imandra/u/agents/code_logician/imandrax
2025-09-18T17:14:20,692   copying src/imandra/u/agents/code_logician/imandrax/locs.py -> build/lib/imandra/u/agents/code_logician/imandrax
2025-09-18T17:14:20,694   copying src/imandra/u/agents/code_logician/imandrax/task.py -> build/lib/imandra/u/agents/code_logician/imandrax
2025-09-18T17:14:20,696   copying src/imandra/u/agents/code_logician/imandrax/artmsg.py -> build/lib/imandra/u/agents/code_logician/imandrax
2025-09-18T17:14:20,698   copying src/imandra/u/agents/code_logician/imandrax/error.py -> build/lib/imandra/u/agents/code_logician/imandrax
2025-09-18T17:14:20,701   running egg_info
2025-09-18T17:14:20,713   writing src/imandra.egg-info/PKG-INFO
2025-09-18T17:14:20,722   writing dependency_links to src/imandra.egg-info/dependency_links.txt
2025-09-18T17:14:20,724   writing entry points to src/imandra.egg-info/entry_points.txt
2025-09-18T17:14:20,730   writing requirements to src/imandra.egg-info/requires.txt
2025-09-18T17:14:20,731   writing top-level names to src/imandra.egg-info/top_level.txt
2025-09-18T17:14:20,756   reading manifest file 'src/imandra.egg-info/SOURCES.txt'
2025-09-18T17:14:20,775   writing manifest file 'src/imandra.egg-info/SOURCES.txt'
2025-09-18T17:14:20,778   /tmp/pip-build-env-y_j0mu33/overlay/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:212: _Warning: Package 'imandra.__pycache__' is absent from the `packages` configuration.
2025-09-18T17:14:20,778   !!

2025-09-18T17:14:20,779           ********************************************************************************
2025-09-18T17:14:20,780           ############################
2025-09-18T17:14:20,780           # Package would be ignored #
2025-09-18T17:14:20,781           ############################
2025-09-18T17:14:20,782           Python recognizes 'imandra.__pycache__' as an importable package[^1],
2025-09-18T17:14:20,782           but it is absent from setuptools' `packages` configuration.

2025-09-18T17:14:20,783           This leads to an ambiguous overall configuration. If you want to distribute this
2025-09-18T17:14:20,784           package, please make sure that 'imandra.__pycache__' is explicitly added
2025-09-18T17:14:20,784           to the `packages` configuration field.

2025-09-18T17:14:20,786           Alternatively, you can also rely on setuptools' discovery methods
2025-09-18T17:14:20,786           (for example by using `find_namespace_packages(...)`/`find_namespace:`
2025-09-18T17:14:20,787           instead of `find_packages(...)`/`find:`).

2025-09-18T17:14:20,788           You can read more about "package discovery" on setuptools documentation page:

2025-09-18T17:14:20,789           - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html

2025-09-18T17:14:20,790           If you don't want 'imandra.__pycache__' to be distributed and are
2025-09-18T17:14:20,790           already explicitly excluding 'imandra.__pycache__' via
2025-09-18T17:14:20,791           `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`,
2025-09-18T17:14:20,791           you can try to use `exclude_package_data`, or `include-package-data=False` in
2025-09-18T17:14:20,792           combination with a more fine grained `package-data` configuration.

2025-09-18T17:14:20,793           You can read more about "package data files" on setuptools documentation page:

2025-09-18T17:14:20,793           - https://setuptools.pypa.io/en/latest/userguide/datafiles.html


2025-09-18T17:14:20,795           [^1]: For Python, any directory (with suitable naming) can be imported,
2025-09-18T17:14:20,795                 even if it does not contain any `.py` files.
2025-09-18T17:14:20,796                 On the other hand, currently there is no concept of package data
2025-09-18T17:14:20,796                 directory, all directories are treated like packages.
2025-09-18T17:14:20,797           ********************************************************************************

2025-09-18T17:14:20,798   !!
2025-09-18T17:14:20,798     check.warn(importable)
2025-09-18T17:14:20,799   /tmp/pip-build-env-y_j0mu33/overlay/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:212: _Warning: Package 'imandra.u.agents.__pycache__' is absent from the `packages` configuration.
2025-09-18T17:14:20,799   !!

2025-09-18T17:14:20,800           ********************************************************************************
2025-09-18T17:14:20,801           ############################
2025-09-18T17:14:20,801           # Package would be ignored #
2025-09-18T17:14:20,802           ############################
2025-09-18T17:14:20,803           Python recognizes 'imandra.u.agents.__pycache__' as an importable package[^1],
2025-09-18T17:14:20,803           but it is absent from setuptools' `packages` configuration.

2025-09-18T17:14:20,804           This leads to an ambiguous overall configuration. If you want to distribute this
2025-09-18T17:14:20,805           package, please make sure that 'imandra.u.agents.__pycache__' is explicitly added
2025-09-18T17:14:20,805           to the `packages` configuration field.

2025-09-18T17:14:20,806           Alternatively, you can also rely on setuptools' discovery methods
2025-09-18T17:14:20,807           (for example by using `find_namespace_packages(...)`/`find_namespace:`
2025-09-18T17:14:20,807           instead of `find_packages(...)`/`find:`).

2025-09-18T17:14:20,808           You can read more about "package discovery" on setuptools documentation page:

2025-09-18T17:14:20,809           - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html

2025-09-18T17:14:20,810           If you don't want 'imandra.u.agents.__pycache__' to be distributed and are
2025-09-18T17:14:20,811           already explicitly excluding 'imandra.u.agents.__pycache__' via
2025-09-18T17:14:20,811           `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`,
2025-09-18T17:14:20,813           you can try to use `exclude_package_data`, or `include-package-data=False` in
2025-09-18T17:14:20,813           combination with a more fine grained `package-data` configuration.

2025-09-18T17:14:20,814           You can read more about "package data files" on setuptools documentation page:

2025-09-18T17:14:20,815           - https://setuptools.pypa.io/en/latest/userguide/datafiles.html


2025-09-18T17:14:20,817           [^1]: For Python, any directory (with suitable naming) can be imported,
2025-09-18T17:14:20,817                 even if it does not contain any `.py` files.
2025-09-18T17:14:20,817                 On the other hand, currently there is no concept of package data
2025-09-18T17:14:20,818                 directory, all directories are treated like packages.
2025-09-18T17:14:20,819           ********************************************************************************

2025-09-18T17:14:20,820   !!
2025-09-18T17:14:20,820     check.warn(importable)
2025-09-18T17:14:20,821   /tmp/pip-build-env-y_j0mu33/overlay/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:212: _Warning: Package 'imandra.u.agents.code_logician.__pycache__' is absent from the `packages` configuration.
2025-09-18T17:14:20,821   !!

2025-09-18T17:14:20,822           ********************************************************************************
2025-09-18T17:14:20,822           ############################
2025-09-18T17:14:20,823           # Package would be ignored #
2025-09-18T17:14:20,823           ############################
2025-09-18T17:14:20,823           Python recognizes 'imandra.u.agents.code_logician.__pycache__' as an importable package[^1],
2025-09-18T17:14:20,824           but it is absent from setuptools' `packages` configuration.

2025-09-18T17:14:20,825           This leads to an ambiguous overall configuration. If you want to distribute this
2025-09-18T17:14:20,825           package, please make sure that 'imandra.u.agents.code_logician.__pycache__' is explicitly added
2025-09-18T17:14:20,825           to the `packages` configuration field.

2025-09-18T17:14:20,826           Alternatively, you can also rely on setuptools' discovery methods
2025-09-18T17:14:20,827           (for example by using `find_namespace_packages(...)`/`find_namespace:`
2025-09-18T17:14:20,827           instead of `find_packages(...)`/`find:`).

2025-09-18T17:14:20,828           You can read more about "package discovery" on setuptools documentation page:

2025-09-18T17:14:20,829           - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html

2025-09-18T17:14:20,830           If you don't want 'imandra.u.agents.code_logician.__pycache__' to be distributed and are
2025-09-18T17:14:20,831           already explicitly excluding 'imandra.u.agents.code_logician.__pycache__' via
2025-09-18T17:14:20,831           `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`,
2025-09-18T17:14:20,832           you can try to use `exclude_package_data`, or `include-package-data=False` in
2025-09-18T17:14:20,832           combination with a more fine grained `package-data` configuration.

2025-09-18T17:14:20,833           You can read more about "package data files" on setuptools documentation page:

2025-09-18T17:14:20,834           - https://setuptools.pypa.io/en/latest/userguide/datafiles.html


2025-09-18T17:14:20,835           [^1]: For Python, any directory (with suitable naming) can be imported,
2025-09-18T17:14:20,836                 even if it does not contain any `.py` files.
2025-09-18T17:14:20,836                 On the other hand, currently there is no concept of package data
2025-09-18T17:14:20,837                 directory, all directories are treated like packages.
2025-09-18T17:14:20,837           ********************************************************************************

2025-09-18T17:14:20,838   !!
2025-09-18T17:14:20,839     check.warn(importable)
2025-09-18T17:14:20,839   /tmp/pip-build-env-y_j0mu33/overlay/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:212: _Warning: Package 'imandra_http_api_client.__pycache__' is absent from the `packages` configuration.
2025-09-18T17:14:20,840   !!

2025-09-18T17:14:20,841           ********************************************************************************
2025-09-18T17:14:20,841           ############################
2025-09-18T17:14:20,842           # Package would be ignored #
2025-09-18T17:14:20,842           ############################
2025-09-18T17:14:20,843           Python recognizes 'imandra_http_api_client.__pycache__' as an importable package[^1],
2025-09-18T17:14:20,844           but it is absent from setuptools' `packages` configuration.

2025-09-18T17:14:20,845           This leads to an ambiguous overall configuration. If you want to distribute this
2025-09-18T17:14:20,846           package, please make sure that 'imandra_http_api_client.__pycache__' is explicitly added
2025-09-18T17:14:20,847           to the `packages` configuration field.

2025-09-18T17:14:20,848           Alternatively, you can also rely on setuptools' discovery methods
2025-09-18T17:14:20,848           (for example by using `find_namespace_packages(...)`/`find_namespace:`
2025-09-18T17:14:20,848           instead of `find_packages(...)`/`find:`).

2025-09-18T17:14:20,849           You can read more about "package discovery" on setuptools documentation page:

2025-09-18T17:14:20,850           - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html

2025-09-18T17:14:20,851           If you don't want 'imandra_http_api_client.__pycache__' to be distributed and are
2025-09-18T17:14:20,851           already explicitly excluding 'imandra_http_api_client.__pycache__' via
2025-09-18T17:14:20,852           `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`,
2025-09-18T17:14:20,852           you can try to use `exclude_package_data`, or `include-package-data=False` in
2025-09-18T17:14:20,853           combination with a more fine grained `package-data` configuration.

2025-09-18T17:14:20,853           You can read more about "package data files" on setuptools documentation page:

2025-09-18T17:14:20,854           - https://setuptools.pypa.io/en/latest/userguide/datafiles.html


2025-09-18T17:14:20,855           [^1]: For Python, any directory (with suitable naming) can be imported,
2025-09-18T17:14:20,856                 even if it does not contain any `.py` files.
2025-09-18T17:14:20,856                 On the other hand, currently there is no concept of package data
2025-09-18T17:14:20,857                 directory, all directories are treated like packages.
2025-09-18T17:14:20,857           ********************************************************************************

2025-09-18T17:14:20,858   !!
2025-09-18T17:14:20,859     check.warn(importable)
2025-09-18T17:14:20,859   /tmp/pip-build-env-y_j0mu33/overlay/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:212: _Warning: Package 'imandra_http_api_client.api.__pycache__' is absent from the `packages` configuration.
2025-09-18T17:14:20,860   !!

2025-09-18T17:14:20,861           ********************************************************************************
2025-09-18T17:14:20,861           ############################
2025-09-18T17:14:20,862           # Package would be ignored #
2025-09-18T17:14:20,862           ############################
2025-09-18T17:14:20,863           Python recognizes 'imandra_http_api_client.api.__pycache__' as an importable package[^1],
2025-09-18T17:14:20,864           but it is absent from setuptools' `packages` configuration.

2025-09-18T17:14:20,864           This leads to an ambiguous overall configuration. If you want to distribute this
2025-09-18T17:14:20,865           package, please make sure that 'imandra_http_api_client.api.__pycache__' is explicitly added
2025-09-18T17:14:20,866           to the `packages` configuration field.

2025-09-18T17:14:20,866           Alternatively, you can also rely on setuptools' discovery methods
2025-09-18T17:14:20,867           (for example by using `find_namespace_packages(...)`/`find_namespace:`
2025-09-18T17:14:20,867           instead of `find_packages(...)`/`find:`).

2025-09-18T17:14:20,869           You can read more about "package discovery" on setuptools documentation page:

2025-09-18T17:14:20,870           - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html

2025-09-18T17:14:20,871           If you don't want 'imandra_http_api_client.api.__pycache__' to be distributed and are
2025-09-18T17:14:20,872           already explicitly excluding 'imandra_http_api_client.api.__pycache__' via
2025-09-18T17:14:20,873           `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`,
2025-09-18T17:14:20,873           you can try to use `exclude_package_data`, or `include-package-data=False` in
2025-09-18T17:14:20,874           combination with a more fine grained `package-data` configuration.

2025-09-18T17:14:20,876           You can read more about "package data files" on setuptools documentation page:

2025-09-18T17:14:20,877           - https://setuptools.pypa.io/en/latest/userguide/datafiles.html


2025-09-18T17:14:20,879           [^1]: For Python, any directory (with suitable naming) can be imported,
2025-09-18T17:14:20,880                 even if it does not contain any `.py` files.
2025-09-18T17:14:20,880                 On the other hand, currently there is no concept of package data
2025-09-18T17:14:20,881                 directory, all directories are treated like packages.
2025-09-18T17:14:20,881           ********************************************************************************

2025-09-18T17:14:20,883   !!
2025-09-18T17:14:20,883     check.warn(importable)
2025-09-18T17:14:20,884   /tmp/pip-build-env-y_j0mu33/overlay/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:212: _Warning: Package 'imandra_http_api_client.models.__pycache__' is absent from the `packages` configuration.
2025-09-18T17:14:20,884   !!

2025-09-18T17:14:20,885           ********************************************************************************
2025-09-18T17:14:20,886           ############################
2025-09-18T17:14:20,886           # Package would be ignored #
2025-09-18T17:14:20,887           ############################
2025-09-18T17:14:20,887           Python recognizes 'imandra_http_api_client.models.__pycache__' as an importable package[^1],
2025-09-18T17:14:20,888           but it is absent from setuptools' `packages` configuration.

2025-09-18T17:14:20,888           This leads to an ambiguous overall configuration. If you want to distribute this
2025-09-18T17:14:20,889           package, please make sure that 'imandra_http_api_client.models.__pycache__' is explicitly added
2025-09-18T17:14:20,889           to the `packages` configuration field.

2025-09-18T17:14:20,890           Alternatively, you can also rely on setuptools' discovery methods
2025-09-18T17:14:20,891           (for example by using `find_namespace_packages(...)`/`find_namespace:`
2025-09-18T17:14:20,891           instead of `find_packages(...)`/`find:`).

2025-09-18T17:14:20,892           You can read more about "package discovery" on setuptools documentation page:

2025-09-18T17:14:20,893           - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html

2025-09-18T17:14:20,894           If you don't want 'imandra_http_api_client.models.__pycache__' to be distributed and are
2025-09-18T17:14:20,895           already explicitly excluding 'imandra_http_api_client.models.__pycache__' via
2025-09-18T17:14:20,896           `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`,
2025-09-18T17:14:20,896           you can try to use `exclude_package_data`, or `include-package-data=False` in
2025-09-18T17:14:20,897           combination with a more fine grained `package-data` configuration.

2025-09-18T17:14:20,898           You can read more about "package data files" on setuptools documentation page:

2025-09-18T17:14:20,899           - https://setuptools.pypa.io/en/latest/userguide/datafiles.html


2025-09-18T17:14:20,901           [^1]: For Python, any directory (with suitable naming) can be imported,
2025-09-18T17:14:20,901                 even if it does not contain any `.py` files.
2025-09-18T17:14:20,902                 On the other hand, currently there is no concept of package data
2025-09-18T17:14:20,902                 directory, all directories are treated like packages.
2025-09-18T17:14:20,903           ********************************************************************************

2025-09-18T17:14:20,904   !!
2025-09-18T17:14:20,905     check.warn(importable)
2025-09-18T17:14:20,905   creating build/lib/imandra_http_api_client/__pycache__
2025-09-18T17:14:20,906   copying src/imandra_http_api_client/__pycache__/__init__.cpython-313.pyc -> build/lib/imandra_http_api_client/__pycache__
2025-09-18T17:14:20,906   creating build/lib/imandra/__pycache__
2025-09-18T17:14:20,907   copying src/imandra/__pycache__/__init__.cpython-313.pyc -> build/lib/imandra/__pycache__
2025-09-18T17:14:20,908   copying src/imandra/__pycache__/auth.cpython-313.pyc -> build/lib/imandra/__pycache__
2025-09-18T17:14:20,908   copying src/imandra/__pycache__/core.cpython-313.pyc -> build/lib/imandra/__pycache__
2025-09-18T17:14:20,908   creating build/lib/imandra_http_api_client/api/__pycache__
2025-09-18T17:14:20,909   copying src/imandra_http_api_client/api/__pycache__/__init__.cpython-313.pyc -> build/lib/imandra_http_api_client/api/__pycache__
2025-09-18T17:14:20,909   copying src/imandra_http_api_client/api/__pycache__/default_api.cpython-313.pyc -> build/lib/imandra_http_api_client/api/__pycache__
2025-09-18T17:14:20,910   creating build/lib/imandra_http_api_client/models/__pycache__
2025-09-18T17:14:20,910   copying src/imandra_http_api_client/models/__pycache__/__init__.cpython-313.pyc -> build/lib/imandra_http_api_client/models/__pycache__
2025-09-18T17:14:20,911   copying src/imandra_http_api_client/models/__pycache__/decompose_region.cpython-313.pyc -> build/lib/imandra_http_api_client/models/__pycache__
2025-09-18T17:14:20,911   copying src/imandra_http_api_client/models/__pycache__/decompose_request_src.cpython-313.pyc -> build/lib/imandra_http_api_client/models/__pycache__
2025-09-18T17:14:20,912   copying src/imandra_http_api_client/models/__pycache__/decompose_result.cpython-313.pyc -> build/lib/imandra_http_api_client/models/__pycache__
2025-09-18T17:14:20,912   copying src/imandra_http_api_client/models/__pycache__/eval_request_src.cpython-313.pyc -> build/lib/imandra_http_api_client/models/__pycache__
2025-09-18T17:14:20,913   copying src/imandra_http_api_client/models/__pycache__/syntax.cpython-313.pyc -> build/lib/imandra_http_api_client/models/__pycache__
2025-09-18T17:14:20,913   creating build/lib/imandra/u/agents/__pycache__
2025-09-18T17:14:20,914   copying src/imandra/u/agents/__pycache__/__init__.cpython-313.pyc -> build/lib/imandra/u/agents/__pycache__
2025-09-18T17:14:20,914   copying src/imandra/u/agents/__pycache__/code_logician.cpython-313.pyc -> build/lib/imandra/u/agents/__pycache__
2025-09-18T17:14:20,915   copying src/imandra/u/agents/__pycache__/code_logician_formalizer.cpython-313.pyc -> build/lib/imandra/u/agents/__pycache__
2025-09-18T17:14:20,915   copying src/imandra/u/agents/__pycache__/code_logician_reasoner.cpython-313.pyc -> build/lib/imandra/u/agents/__pycache__
2025-09-18T17:14:20,916   copying src/imandra/u/agents/__pycache__/cogito.cpython-313.pyc -> build/lib/imandra/u/agents/__pycache__
2025-09-18T17:14:20,916   creating build/lib/imandra/u/agents/code_logician/__pycache__
2025-09-18T17:14:20,917   copying src/imandra/u/agents/code_logician/__pycache__/__init__.cpython-312.pyc -> build/lib/imandra/u/agents/code_logician/__pycache__
2025-09-18T17:14:20,917   copying src/imandra/u/agents/code_logician/__pycache__/__init__.cpython-313.pyc -> build/lib/imandra/u/agents/code_logician/__pycache__
2025-09-18T17:14:20,918   copying src/imandra/u/agents/code_logician/__pycache__/command.cpython-312.pyc -> build/lib/imandra/u/agents/code_logician/__pycache__
2025-09-18T17:14:20,918   copying src/imandra/u/agents/code_logician/__pycache__/command.cpython-313.pyc -> build/lib/imandra/u/agents/code_logician/__pycache__
2025-09-18T17:14:20,919   copying src/imandra/u/agents/code_logician/__pycache__/command_schema.cpython-312.pyc -> build/lib/imandra/u/agents/code_logician/__pycache__
2025-09-18T17:14:20,919   copying src/imandra/u/agents/code_logician/__pycache__/graph.cpython-312.pyc -> build/lib/imandra/u/agents/code_logician/__pycache__
2025-09-18T17:14:20,920   copying src/imandra/u/agents/code_logician/__pycache__/graph.cpython-313.pyc -> build/lib/imandra/u/agents/code_logician/__pycache__
2025-09-18T17:14:20,920   copying src/imandra/u/agents/code_logician/__pycache__/graph_state_schema.cpython-312.pyc -> build/lib/imandra/u/agents/code_logician/__pycache__
2025-09-18T17:14:20,921   installing to build/bdist.linux-armv7l/wheel
2025-09-18T17:14:20,922   running install
2025-09-18T17:14:20,938   running install_lib
2025-09-18T17:14:20,944   creating build/bdist.linux-armv7l/wheel
2025-09-18T17:14:20,946   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client
2025-09-18T17:14:20,948   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/api
2025-09-18T17:14:20,949   copying build/lib/imandra_http_api_client/api/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/api
2025-09-18T17:14:20,951   copying build/lib/imandra_http_api_client/api/default_api.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/api
2025-09-18T17:14:20,955   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/api/__pycache__
2025-09-18T17:14:20,956   copying build/lib/imandra_http_api_client/api/__pycache__/default_api.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/api/__pycache__
2025-09-18T17:14:20,959   copying build/lib/imandra_http_api_client/api/__pycache__/__init__.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/api/__pycache__
2025-09-18T17:14:20,960   copying build/lib/imandra_http_api_client/configuration.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client
2025-09-18T17:14:20,963   copying build/lib/imandra_http_api_client/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client
2025-09-18T17:14:20,965   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/__pycache__
2025-09-18T17:14:20,966   copying build/lib/imandra_http_api_client/__pycache__/__init__.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/__pycache__
2025-09-18T17:14:20,968   copying build/lib/imandra_http_api_client/exceptions.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client
2025-09-18T17:14:20,972   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2025-09-18T17:14:20,973   copying build/lib/imandra_http_api_client/test/test_induct_structural_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:20,975   copying build/lib/imandra_http_api_client/test/test_decompose_result.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:20,977   copying build/lib/imandra_http_api_client/test/test_verify_request_name.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:20,979   copying build/lib/imandra_http_api_client/test/test_instance_request_src.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:20,981   copying build/lib/imandra_http_api_client/test/test_method_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:20,983   copying build/lib/imandra_http_api_client/test/test_verify_response.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:20,985   copying build/lib/imandra_http_api_client/test/test_default_api.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:20,987   copying build/lib/imandra_http_api_client/test/test_method_induct_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:20,988   copying build/lib/imandra_http_api_client/test/test_response_instance.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:20,990   copying build/lib/imandra_http_api_client/test/test_method_type.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:20,992   copying build/lib/imandra_http_api_client/test/test_eval_response.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:20,994   copying build/lib/imandra_http_api_client/test/test_verify_request_src.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:20,996   copying build/lib/imandra_http_api_client/test/test_instance_result.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:20,998   copying build/lib/imandra_http_api_client/test/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:20,999   copying build/lib/imandra_http_api_client/test/test_verify_result.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,001   copying build/lib/imandra_http_api_client/test/test_printer_details.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,002   copying build/lib/imandra_http_api_client/test/test_method_unroll_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,004   copying build/lib/imandra_http_api_client/test/test_syntax.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,006   copying build/lib/imandra_http_api_client/test/test_instance_request_name.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,007   copying build/lib/imandra_http_api_client/test/test_decompose_region.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,009   copying build/lib/imandra_http_api_client/test/test_with_unknown_reason_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,011   copying build/lib/imandra_http_api_client/test/test_hints.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,013   copying build/lib/imandra_http_api_client/test/test_induct_functional_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,015   copying build/lib/imandra_http_api_client/test/test_with_instance_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,017   copying build/lib/imandra_http_api_client/test/test_verify_response_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,019   copying build/lib/imandra_http_api_client/test/test_response_model.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,021   copying build/lib/imandra_http_api_client/test/test_response_error.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,023   copying build/lib/imandra_http_api_client/test/test_instance_response.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,025   copying build/lib/imandra_http_api_client/test/test_induct_type.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,027   copying build/lib/imandra_http_api_client/test/test_up_to_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,029   copying build/lib/imandra_http_api_client/test/test_decompose_request_src.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,030   copying build/lib/imandra_http_api_client/test/test_method_induct_body_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,032   copying build/lib/imandra_http_api_client/test/test_induct_structural_style.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,034   copying build/lib/imandra_http_api_client/test/test_method_ext_solver_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,036   copying build/lib/imandra_http_api_client/test/test_eval_request_src.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,038   copying build/lib/imandra_http_api_client/test/test_method.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,040   copying build/lib/imandra_http_api_client/test/test_instance_type.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test
2025-09-18T17:14:21,042   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2025-09-18T17:14:21,043   copying build/lib/imandra_http_api_client/models/eval_response.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,045   copying build/lib/imandra_http_api_client/models/up_to_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,047   copying build/lib/imandra_http_api_client/models/verify_response.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,049   copying build/lib/imandra_http_api_client/models/method_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,051   copying build/lib/imandra_http_api_client/models/method_unroll_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,053   copying build/lib/imandra_http_api_client/models/instance_request_name.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,055   copying build/lib/imandra_http_api_client/models/verify_request_src.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,057   copying build/lib/imandra_http_api_client/models/response_model.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,058   copying build/lib/imandra_http_api_client/models/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,060   copying build/lib/imandra_http_api_client/models/decompose_region.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,062   copying build/lib/imandra_http_api_client/models/induct_structural_style.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,064   copying build/lib/imandra_http_api_client/models/instance_result.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,065   copying build/lib/imandra_http_api_client/models/syntax.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,068   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/models/__pycache__
2025-09-18T17:14:21,069   copying build/lib/imandra_http_api_client/models/__pycache__/eval_request_src.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models/__pycache__
2025-09-18T17:14:21,071   copying build/lib/imandra_http_api_client/models/__pycache__/decompose_request_src.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models/__pycache__
2025-09-18T17:14:21,073   copying build/lib/imandra_http_api_client/models/__pycache__/decompose_region.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models/__pycache__
2025-09-18T17:14:21,074   copying build/lib/imandra_http_api_client/models/__pycache__/syntax.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models/__pycache__
2025-09-18T17:14:21,076   copying build/lib/imandra_http_api_client/models/__pycache__/__init__.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models/__pycache__
2025-09-18T17:14:21,078   copying build/lib/imandra_http_api_client/models/__pycache__/decompose_result.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models/__pycache__
2025-09-18T17:14:21,080   copying build/lib/imandra_http_api_client/models/method.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,082   copying build/lib/imandra_http_api_client/models/induct_structural_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,084   copying build/lib/imandra_http_api_client/models/verify_response_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,086   copying build/lib/imandra_http_api_client/models/response_error.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,088   copying build/lib/imandra_http_api_client/models/eval_request_src.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,090   copying build/lib/imandra_http_api_client/models/decompose_result.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,092   copying build/lib/imandra_http_api_client/models/printer_details.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,093   copying build/lib/imandra_http_api_client/models/verify_request_name.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,095   copying build/lib/imandra_http_api_client/models/hints.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,097   copying build/lib/imandra_http_api_client/models/instance_response.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,099   copying build/lib/imandra_http_api_client/models/method_type.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,100   copying build/lib/imandra_http_api_client/models/method_ext_solver_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,102   copying build/lib/imandra_http_api_client/models/response_instance.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,104   copying build/lib/imandra_http_api_client/models/verify_result.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,106   copying build/lib/imandra_http_api_client/models/instance_type.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,107   copying build/lib/imandra_http_api_client/models/with_unknown_reason_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,109   copying build/lib/imandra_http_api_client/models/decompose_request_src.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,111   copying build/lib/imandra_http_api_client/models/with_instance_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,113   copying build/lib/imandra_http_api_client/models/method_induct_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,115   copying build/lib/imandra_http_api_client/models/induct_type.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,116   copying build/lib/imandra_http_api_client/models/induct_functional_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,118   copying build/lib/imandra_http_api_client/models/method_induct_body_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,121   copying build/lib/imandra_http_api_client/models/instance_request_src.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models
2025-09-18T17:14:21,123   copying build/lib/imandra_http_api_client/rest.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client
2025-09-18T17:14:21,125   copying build/lib/imandra_http_api_client/api_response.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client
2025-09-18T17:14:21,127   copying build/lib/imandra_http_api_client/api_client.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client
2025-09-18T17:14:21,130   creating build/bdist.linux-armv7l/wheel/imandra
2025-09-18T17:14:21,131   creating build/bdist.linux-armv7l/wheel/imandra/core
2025-09-18T17:14:21,133   copying build/lib/imandra/core/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/core
2025-09-18T17:14:21,135   creating build/bdist.linux-armv7l/wheel/imandra/api
2025-09-18T17:14:21,136   copying build/lib/imandra/api/instance.py -> build/bdist.linux-armv7l/wheel/./imandra/api
2025-09-18T17:14:21,138   copying build/lib/imandra/api/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/api
2025-09-18T17:14:21,140   copying build/lib/imandra/api/ipl_common.py -> build/bdist.linux-armv7l/wheel/./imandra/api
2025-09-18T17:14:21,142   copying build/lib/imandra/api/cfb.py -> build/bdist.linux-armv7l/wheel/./imandra/api
2025-09-18T17:14:21,144   copying build/lib/imandra/api/rule_synth.py -> build/bdist.linux-armv7l/wheel/./imandra/api
2025-09-18T17:14:21,146   copying build/lib/imandra/api/ipl.py -> build/bdist.linux-armv7l/wheel/./imandra/api
2025-09-18T17:14:21,147   copying build/lib/imandra/api/auth.py -> build/bdist.linux-armv7l/wheel/./imandra/api
2025-09-18T17:14:21,150   copying build/lib/imandra/session.py -> build/bdist.linux-armv7l/wheel/./imandra
2025-09-18T17:14:21,152   creating build/bdist.linux-armv7l/wheel/imandra/u
2025-09-18T17:14:21,153   creating build/bdist.linux-armv7l/wheel/imandra/u/reasoners
2025-09-18T17:14:21,154   copying build/lib/imandra/u/reasoners/acl2.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners
2025-09-18T17:14:21,156   copying build/lib/imandra/u/reasoners/prover9.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners
2025-09-18T17:14:21,158   copying build/lib/imandra/u/reasoners/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners
2025-09-18T17:14:21,160   copying build/lib/imandra/u/reasoners/qepcad.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners
2025-09-18T17:14:21,161   copying build/lib/imandra/u/reasoners/zipperposition.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners
2025-09-18T17:14:21,163   copying build/lib/imandra/u/reasoners/mace4.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners
2025-09-18T17:14:21,165   copying build/lib/imandra/u/reasoners/core.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners
2025-09-18T17:14:21,166   copying build/lib/imandra/u/reasoners/nqthm.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners
2025-09-18T17:14:21,168   copying build/lib/imandra/u/reasoners/eprover.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners
2025-09-18T17:14:21,170   copying build/lib/imandra/u/reasoners/z3.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners
2025-09-18T17:14:21,172   copying build/lib/imandra/u/reasoners/cvc5.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners
2025-09-18T17:14:21,174   copying build/lib/imandra/u/reasoners/metitarski.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners
2025-09-18T17:14:21,175   copying build/lib/imandra/u/reasoners/clingo.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners
2025-09-18T17:14:21,177   copying build/lib/imandra/u/reasoners/otter.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners
2025-09-18T17:14:21,180   creating build/bdist.linux-armv7l/wheel/imandra/u/agents
2025-09-18T17:14:21,181   copying build/lib/imandra/u/agents/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents
2025-09-18T17:14:21,184   creating build/bdist.linux-armv7l/wheel/imandra/u/agents/spec_logician
2025-09-18T17:14:21,185   copying build/lib/imandra/u/agents/spec_logician/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/spec_logician
2025-09-18T17:14:21,187   copying build/lib/imandra/u/agents/spec_logician/graph.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/spec_logician
2025-09-18T17:14:21,189   creating build/bdist.linux-armv7l/wheel/imandra/u/agents/__pycache__
2025-09-18T17:14:21,190   copying build/lib/imandra/u/agents/__pycache__/code_logician_reasoner.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/__pycache__
2025-09-18T17:14:21,193   copying build/lib/imandra/u/agents/__pycache__/code_logician.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/__pycache__
2025-09-18T17:14:21,195   copying build/lib/imandra/u/agents/__pycache__/cogito.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/__pycache__
2025-09-18T17:14:21,196   copying build/lib/imandra/u/agents/__pycache__/code_logician_formalizer.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/__pycache__
2025-09-18T17:14:21,198   copying build/lib/imandra/u/agents/__pycache__/__init__.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/__pycache__
2025-09-18T17:14:21,200   creating build/bdist.linux-armv7l/wheel/imandra/u/agents/code_logician
2025-09-18T17:14:21,201   copying build/lib/imandra/u/agents/code_logician/rich_utils.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician
2025-09-18T17:14:21,204   creating build/bdist.linux-armv7l/wheel/imandra/u/agents/code_logician/base
2025-09-18T17:14:21,205   copying build/lib/imandra/u/agents/code_logician/base/formalization_state.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/base
2025-09-18T17:14:21,207   copying build/lib/imandra/u/agents/code_logician/base/vg.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/base
2025-09-18T17:14:21,210   copying build/lib/imandra/u/agents/code_logician/base/imandrax.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/base
2025-09-18T17:14:21,212   copying build/lib/imandra/u/agents/code_logician/base/context.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/base
2025-09-18T17:14:21,214   copying build/lib/imandra/u/agents/code_logician/base/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/base
2025-09-18T17:14:21,215   copying build/lib/imandra/u/agents/code_logician/base/dependency.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/base
2025-09-18T17:14:21,217   copying build/lib/imandra/u/agents/code_logician/base/region_decomp.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/base
2025-09-18T17:14:21,219   copying build/lib/imandra/u/agents/code_logician/base/iml.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/base
2025-09-18T17:14:21,221   copying build/lib/imandra/u/agents/code_logician/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician
2025-09-18T17:14:21,223   creating build/bdist.linux-armv7l/wheel/imandra/u/agents/code_logician/__pycache__
2025-09-18T17:14:21,224   copying build/lib/imandra/u/agents/code_logician/__pycache__/__init__.cpython-312.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/__pycache__
2025-09-18T17:14:21,226   copying build/lib/imandra/u/agents/code_logician/__pycache__/command.cpython-312.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/__pycache__
2025-09-18T17:14:21,229   copying build/lib/imandra/u/agents/code_logician/__pycache__/graph_state_schema.cpython-312.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/__pycache__
2025-09-18T17:14:21,232   copying build/lib/imandra/u/agents/code_logician/__pycache__/graph.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/__pycache__
2025-09-18T17:14:21,234   copying build/lib/imandra/u/agents/code_logician/__pycache__/command.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/__pycache__
2025-09-18T17:14:21,236   copying build/lib/imandra/u/agents/code_logician/__pycache__/command_schema.cpython-312.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/__pycache__
2025-09-18T17:14:21,239   copying build/lib/imandra/u/agents/code_logician/__pycache__/graph.cpython-312.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/__pycache__
2025-09-18T17:14:21,241   copying build/lib/imandra/u/agents/code_logician/__pycache__/__init__.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/__pycache__
2025-09-18T17:14:21,242   copying build/lib/imandra/u/agents/code_logician/interrupt_message.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician
2025-09-18T17:14:21,245   creating build/bdist.linux-armv7l/wheel/imandra/u/agents/code_logician/graph
2025-09-18T17:14:21,246   copying build/lib/imandra/u/agents/code_logician/graph/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/graph
2025-09-18T17:14:21,248   copying build/lib/imandra/u/agents/code_logician/graph/graph_state.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/graph
2025-09-18T17:14:21,250   copying build/lib/imandra/u/agents/code_logician/task.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician
2025-09-18T17:14:21,252   copying build/lib/imandra/u/agents/code_logician/command.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician
2025-09-18T17:14:21,255   creating build/bdist.linux-armv7l/wheel/imandra/u/agents/code_logician/imandrax
2025-09-18T17:14:21,256   copying build/lib/imandra/u/agents/code_logician/imandrax/simple_api.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/imandrax
2025-09-18T17:14:21,258   copying build/lib/imandra/u/agents/code_logician/imandrax/session.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/imandrax
2025-09-18T17:14:21,260   copying build/lib/imandra/u/agents/code_logician/imandrax/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/imandrax
2025-09-18T17:14:21,262   copying build/lib/imandra/u/agents/code_logician/imandrax/utils.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/imandrax
2025-09-18T17:14:21,263   copying build/lib/imandra/u/agents/code_logician/imandrax/locs.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/imandrax
2025-09-18T17:14:21,265   copying build/lib/imandra/u/agents/code_logician/imandrax/task.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/imandrax
2025-09-18T17:14:21,267   copying build/lib/imandra/u/agents/code_logician/imandrax/artmsg.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/imandrax
2025-09-18T17:14:21,268   copying build/lib/imandra/u/agents/code_logician/imandrax/error.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/imandrax
2025-09-18T17:14:21,270   copying build/lib/imandra/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra
2025-09-18T17:14:21,273   creating build/bdist.linux-armv7l/wheel/imandra/__pycache__
2025-09-18T17:14:21,274   copying build/lib/imandra/__pycache__/core.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/__pycache__
2025-09-18T17:14:21,276   copying build/lib/imandra/__pycache__/auth.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/__pycache__
2025-09-18T17:14:21,278   copying build/lib/imandra/__pycache__/__init__.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/__pycache__
2025-09-18T17:14:21,280   creating build/bdist.linux-armv7l/wheel/imandra/cli
2025-09-18T17:14:21,281   copying build/lib/imandra/cli/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/cli
2025-09-18T17:14:21,284   copying build/lib/imandra/cli/ipl_log_analysis.py -> build/bdist.linux-armv7l/wheel/./imandra/cli
2025-09-18T17:14:21,286   copying build/lib/imandra/ipl.py -> build/bdist.linux-armv7l/wheel/./imandra
2025-09-18T17:14:21,288   copying build/lib/imandra/auth.py -> build/bdist.linux-armv7l/wheel/./imandra
2025-09-18T17:14:21,290   running install_egg_info
2025-09-18T17:14:21,295   Copying src/imandra.egg-info to build/bdist.linux-armv7l/wheel/./imandra-2.0.22-py3.11.egg-info
2025-09-18T17:14:21,307   running install_scripts
2025-09-18T17:14:21,316   creating build/bdist.linux-armv7l/wheel/imandra-2.0.22.dist-info/WHEEL
2025-09-18T17:14:21,319   creating '/tmp/pip-wheel-r30fi61c/.tmp-lwt9lq4q/imandra-2.0.22-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2025-09-18T17:14:21,321   adding 'imandra/__init__.py'
2025-09-18T17:14:21,323   adding 'imandra/auth.py'
2025-09-18T17:14:21,324   adding 'imandra/ipl.py'
2025-09-18T17:14:21,326   adding 'imandra/session.py'
2025-09-18T17:14:21,328   adding 'imandra/__pycache__/__init__.cpython-313.pyc'
2025-09-18T17:14:21,330   adding 'imandra/__pycache__/auth.cpython-313.pyc'
2025-09-18T17:14:21,331   adding 'imandra/__pycache__/core.cpython-313.pyc'
2025-09-18T17:14:21,333   adding 'imandra/api/__init__.py'
2025-09-18T17:14:21,335   adding 'imandra/api/auth.py'
2025-09-18T17:14:21,337   adding 'imandra/api/cfb.py'
2025-09-18T17:14:21,338   adding 'imandra/api/instance.py'
2025-09-18T17:14:21,339   adding 'imandra/api/ipl.py'
2025-09-18T17:14:21,341   adding 'imandra/api/ipl_common.py'
2025-09-18T17:14:21,342   adding 'imandra/api/rule_synth.py'
2025-09-18T17:14:21,345   adding 'imandra/cli/__init__.py'
2025-09-18T17:14:21,347   adding 'imandra/cli/ipl_log_analysis.py'
2025-09-18T17:14:21,349   adding 'imandra/core/__init__.py'
2025-09-18T17:14:21,351   adding 'imandra/u/agents/__init__.py'
2025-09-18T17:14:21,353   adding 'imandra/u/agents/__pycache__/__init__.cpython-313.pyc'
2025-09-18T17:14:21,355   adding 'imandra/u/agents/__pycache__/code_logician.cpython-313.pyc'
2025-09-18T17:14:21,356   adding 'imandra/u/agents/__pycache__/code_logician_formalizer.cpython-313.pyc'
2025-09-18T17:14:21,357   adding 'imandra/u/agents/__pycache__/code_logician_reasoner.cpython-313.pyc'
2025-09-18T17:14:21,358   adding 'imandra/u/agents/__pycache__/cogito.cpython-313.pyc'
2025-09-18T17:14:21,360   adding 'imandra/u/agents/code_logician/__init__.py'
2025-09-18T17:14:21,362   adding 'imandra/u/agents/code_logician/command.py'
2025-09-18T17:14:21,363   adding 'imandra/u/agents/code_logician/interrupt_message.py'
2025-09-18T17:14:21,365   adding 'imandra/u/agents/code_logician/rich_utils.py'
2025-09-18T17:14:21,367   adding 'imandra/u/agents/code_logician/task.py'
2025-09-18T17:14:21,368   adding 'imandra/u/agents/code_logician/__pycache__/__init__.cpython-312.pyc'
2025-09-18T17:14:21,369   adding 'imandra/u/agents/code_logician/__pycache__/__init__.cpython-313.pyc'
2025-09-18T17:14:21,372   adding 'imandra/u/agents/code_logician/__pycache__/command.cpython-312.pyc'
2025-09-18T17:14:21,374   adding 'imandra/u/agents/code_logician/__pycache__/command.cpython-313.pyc'
2025-09-18T17:14:21,377   adding 'imandra/u/agents/code_logician/__pycache__/command_schema.cpython-312.pyc'
2025-09-18T17:14:21,378   adding 'imandra/u/agents/code_logician/__pycache__/graph.cpython-312.pyc'
2025-09-18T17:14:21,380   adding 'imandra/u/agents/code_logician/__pycache__/graph.cpython-313.pyc'
2025-09-18T17:14:21,385   adding 'imandra/u/agents/code_logician/__pycache__/graph_state_schema.cpython-312.pyc'
2025-09-18T17:14:21,387   adding 'imandra/u/agents/code_logician/base/__init__.py'
2025-09-18T17:14:21,388   adding 'imandra/u/agents/code_logician/base/context.py'
2025-09-18T17:14:21,389   adding 'imandra/u/agents/code_logician/base/dependency.py'
2025-09-18T17:14:21,391   adding 'imandra/u/agents/code_logician/base/formalization_state.py'
2025-09-18T17:14:21,394   adding 'imandra/u/agents/code_logician/base/imandrax.py'
2025-09-18T17:14:21,395   adding 'imandra/u/agents/code_logician/base/iml.py'
2025-09-18T17:14:21,397   adding 'imandra/u/agents/code_logician/base/region_decomp.py'
2025-09-18T17:14:21,398   adding 'imandra/u/agents/code_logician/base/vg.py'
2025-09-18T17:14:21,400   adding 'imandra/u/agents/code_logician/graph/__init__.py'
2025-09-18T17:14:21,401   adding 'imandra/u/agents/code_logician/graph/graph_state.py'
2025-09-18T17:14:21,403   adding 'imandra/u/agents/code_logician/imandrax/__init__.py'
2025-09-18T17:14:21,404   adding 'imandra/u/agents/code_logician/imandrax/artmsg.py'
2025-09-18T17:14:21,406   adding 'imandra/u/agents/code_logician/imandrax/error.py'
2025-09-18T17:14:21,407   adding 'imandra/u/agents/code_logician/imandrax/locs.py'
2025-09-18T17:14:21,408   adding 'imandra/u/agents/code_logician/imandrax/session.py'
2025-09-18T17:14:21,410   adding 'imandra/u/agents/code_logician/imandrax/simple_api.py'
2025-09-18T17:14:21,412   adding 'imandra/u/agents/code_logician/imandrax/task.py'
2025-09-18T17:14:21,413   adding 'imandra/u/agents/code_logician/imandrax/utils.py'
2025-09-18T17:14:21,415   adding 'imandra/u/agents/spec_logician/__init__.py'
2025-09-18T17:14:21,416   adding 'imandra/u/agents/spec_logician/graph.py'
2025-09-18T17:14:21,418   adding 'imandra/u/reasoners/__init__.py'
2025-09-18T17:14:21,420   adding 'imandra/u/reasoners/acl2.py'
2025-09-18T17:14:21,421   adding 'imandra/u/reasoners/clingo.py'
2025-09-18T17:14:21,422   adding 'imandra/u/reasoners/core.py'
2025-09-18T17:14:21,423   adding 'imandra/u/reasoners/cvc5.py'
2025-09-18T17:14:21,424   adding 'imandra/u/reasoners/eprover.py'
2025-09-18T17:14:21,425   adding 'imandra/u/reasoners/mace4.py'
2025-09-18T17:14:21,427   adding 'imandra/u/reasoners/metitarski.py'
2025-09-18T17:14:21,428   adding 'imandra/u/reasoners/nqthm.py'
2025-09-18T17:14:21,429   adding 'imandra/u/reasoners/otter.py'
2025-09-18T17:14:21,430   adding 'imandra/u/reasoners/prover9.py'
2025-09-18T17:14:21,431   adding 'imandra/u/reasoners/qepcad.py'
2025-09-18T17:14:21,432   adding 'imandra/u/reasoners/z3.py'
2025-09-18T17:14:21,433   adding 'imandra/u/reasoners/zipperposition.py'
2025-09-18T17:14:21,436   adding 'imandra_http_api_client/__init__.py'
2025-09-18T17:14:21,439   adding 'imandra_http_api_client/api_client.py'
2025-09-18T17:14:21,440   adding 'imandra_http_api_client/api_response.py'
2025-09-18T17:14:21,443   adding 'imandra_http_api_client/configuration.py'
2025-09-18T17:14:21,444   adding 'imandra_http_api_client/exceptions.py'
2025-09-18T17:14:21,446   adding 'imandra_http_api_client/rest.py'
2025-09-18T17:14:21,448   adding 'imandra_http_api_client/__pycache__/__init__.cpython-313.pyc'
2025-09-18T17:14:21,450   adding 'imandra_http_api_client/api/__init__.py'
2025-09-18T17:14:21,453   adding 'imandra_http_api_client/api/default_api.py'
2025-09-18T17:14:21,455   adding 'imandra_http_api_client/api/__pycache__/__init__.cpython-313.pyc'
2025-09-18T17:14:21,458   adding 'imandra_http_api_client/api/__pycache__/default_api.cpython-313.pyc'
2025-09-18T17:14:21,460   adding 'imandra_http_api_client/models/__init__.py'
2025-09-18T17:14:21,462   adding 'imandra_http_api_client/models/decompose_region.py'
2025-09-18T17:14:21,463   adding 'imandra_http_api_client/models/decompose_request_src.py'
2025-09-18T17:14:21,464   adding 'imandra_http_api_client/models/decompose_result.py'
2025-09-18T17:14:21,465   adding 'imandra_http_api_client/models/eval_request_src.py'
2025-09-18T17:14:21,467   adding 'imandra_http_api_client/models/eval_response.py'
2025-09-18T17:14:21,468   adding 'imandra_http_api_client/models/hints.py'
2025-09-18T17:14:21,469   adding 'imandra_http_api_client/models/induct_functional_body.py'
2025-09-18T17:14:21,470   adding 'imandra_http_api_client/models/induct_structural_body.py'
2025-09-18T17:14:21,472   adding 'imandra_http_api_client/models/induct_structural_style.py'
2025-09-18T17:14:21,473   adding 'imandra_http_api_client/models/induct_type.py'
2025-09-18T17:14:21,474   adding 'imandra_http_api_client/models/instance_request_name.py'
2025-09-18T17:14:21,476   adding 'imandra_http_api_client/models/instance_request_src.py'
2025-09-18T17:14:21,477   adding 'imandra_http_api_client/models/instance_response.py'
2025-09-18T17:14:21,478   adding 'imandra_http_api_client/models/instance_result.py'
2025-09-18T17:14:21,479   adding 'imandra_http_api_client/models/instance_type.py'
2025-09-18T17:14:21,481   adding 'imandra_http_api_client/models/method.py'
2025-09-18T17:14:21,482   adding 'imandra_http_api_client/models/method_body.py'
2025-09-18T17:14:21,484   adding 'imandra_http_api_client/models/method_ext_solver_body.py'
2025-09-18T17:14:21,485   adding 'imandra_http_api_client/models/method_induct_body.py'
2025-09-18T17:14:21,486   adding 'imandra_http_api_client/models/method_induct_body_body.py'
2025-09-18T17:14:21,488   adding 'imandra_http_api_client/models/method_type.py'
2025-09-18T17:14:21,489   adding 'imandra_http_api_client/models/method_unroll_body.py'
2025-09-18T17:14:21,490   adding 'imandra_http_api_client/models/printer_details.py'
2025-09-18T17:14:21,492   adding 'imandra_http_api_client/models/response_error.py'
2025-09-18T17:14:21,493   adding 'imandra_http_api_client/models/response_instance.py'
2025-09-18T17:14:21,494   adding 'imandra_http_api_client/models/response_model.py'
2025-09-18T17:14:21,496   adding 'imandra_http_api_client/models/syntax.py'
2025-09-18T17:14:21,497   adding 'imandra_http_api_client/models/up_to_body.py'
2025-09-18T17:14:21,498   adding 'imandra_http_api_client/models/verify_request_name.py'
2025-09-18T17:14:21,500   adding 'imandra_http_api_client/models/verify_request_src.py'
2025-09-18T17:14:21,501   adding 'imandra_http_api_client/models/verify_response.py'
2025-09-18T17:14:21,502   adding 'imandra_http_api_client/models/verify_response_body.py'
2025-09-18T17:14:21,504   adding 'imandra_http_api_client/models/verify_result.py'
2025-09-18T17:14:21,505   adding 'imandra_http_api_client/models/with_instance_body.py'
2025-09-18T17:14:21,506   adding 'imandra_http_api_client/models/with_unknown_reason_body.py'
2025-09-18T17:14:21,508   adding 'imandra_http_api_client/models/__pycache__/__init__.cpython-313.pyc'
2025-09-18T17:14:21,509   adding 'imandra_http_api_client/models/__pycache__/decompose_region.cpython-313.pyc'
2025-09-18T17:14:21,511   adding 'imandra_http_api_client/models/__pycache__/decompose_request_src.cpython-313.pyc'
2025-09-18T17:14:21,512   adding 'imandra_http_api_client/models/__pycache__/decompose_result.cpython-313.pyc'
2025-09-18T17:14:21,514   adding 'imandra_http_api_client/models/__pycache__/eval_request_src.cpython-313.pyc'
2025-09-18T17:14:21,515   adding 'imandra_http_api_client/models/__pycache__/syntax.cpython-313.pyc'
2025-09-18T17:14:21,517   adding 'imandra_http_api_client/test/__init__.py'
2025-09-18T17:14:21,519   adding 'imandra_http_api_client/test/test_decompose_region.py'
2025-09-18T17:14:21,520   adding 'imandra_http_api_client/test/test_decompose_request_src.py'
2025-09-18T17:14:21,521   adding 'imandra_http_api_client/test/test_decompose_result.py'
2025-09-18T17:14:21,522   adding 'imandra_http_api_client/test/test_default_api.py'
2025-09-18T17:14:21,524   adding 'imandra_http_api_client/test/test_eval_request_src.py'
2025-09-18T17:14:21,525   adding 'imandra_http_api_client/test/test_eval_response.py'
2025-09-18T17:14:21,526   adding 'imandra_http_api_client/test/test_hints.py'
2025-09-18T17:14:21,527   adding 'imandra_http_api_client/test/test_induct_functional_body.py'
2025-09-18T17:14:21,529   adding 'imandra_http_api_client/test/test_induct_structural_body.py'
2025-09-18T17:14:21,530   adding 'imandra_http_api_client/test/test_induct_structural_style.py'
2025-09-18T17:14:21,531   adding 'imandra_http_api_client/test/test_induct_type.py'
2025-09-18T17:14:21,532   adding 'imandra_http_api_client/test/test_instance_request_name.py'
2025-09-18T17:14:21,534   adding 'imandra_http_api_client/test/test_instance_request_src.py'
2025-09-18T17:14:21,535   adding 'imandra_http_api_client/test/test_instance_response.py'
2025-09-18T17:14:21,536   adding 'imandra_http_api_client/test/test_instance_result.py'
2025-09-18T17:14:21,538   adding 'imandra_http_api_client/test/test_instance_type.py'
2025-09-18T17:14:21,539   adding 'imandra_http_api_client/test/test_method.py'
2025-09-18T17:14:21,540   adding 'imandra_http_api_client/test/test_method_body.py'
2025-09-18T17:14:21,542   adding 'imandra_http_api_client/test/test_method_ext_solver_body.py'
2025-09-18T17:14:21,543   adding 'imandra_http_api_client/test/test_method_induct_body.py'
2025-09-18T17:14:21,544   adding 'imandra_http_api_client/test/test_method_induct_body_body.py'
2025-09-18T17:14:21,546   adding 'imandra_http_api_client/test/test_method_type.py'
2025-09-18T17:14:21,547   adding 'imandra_http_api_client/test/test_method_unroll_body.py'
2025-09-18T17:14:21,548   adding 'imandra_http_api_client/test/test_printer_details.py'
2025-09-18T17:14:21,549   adding 'imandra_http_api_client/test/test_response_error.py'
2025-09-18T17:14:21,551   adding 'imandra_http_api_client/test/test_response_instance.py'
2025-09-18T17:14:21,552   adding 'imandra_http_api_client/test/test_response_model.py'
2025-09-18T17:14:21,554   adding 'imandra_http_api_client/test/test_syntax.py'
2025-09-18T17:14:21,555   adding 'imandra_http_api_client/test/test_up_to_body.py'
2025-09-18T17:14:21,556   adding 'imandra_http_api_client/test/test_verify_request_name.py'
2025-09-18T17:14:21,557   adding 'imandra_http_api_client/test/test_verify_request_src.py'
2025-09-18T17:14:21,559   adding 'imandra_http_api_client/test/test_verify_response.py'
2025-09-18T17:14:21,560   adding 'imandra_http_api_client/test/test_verify_response_body.py'
2025-09-18T17:14:21,561   adding 'imandra_http_api_client/test/test_verify_result.py'
2025-09-18T17:14:21,562   adding 'imandra_http_api_client/test/test_with_instance_body.py'
2025-09-18T17:14:21,564   adding 'imandra_http_api_client/test/test_with_unknown_reason_body.py'
2025-09-18T17:14:21,565   adding 'imandra-2.0.22.dist-info/METADATA'
2025-09-18T17:14:21,566   adding 'imandra-2.0.22.dist-info/WHEEL'
2025-09-18T17:14:21,567   adding 'imandra-2.0.22.dist-info/entry_points.txt'
2025-09-18T17:14:21,568   adding 'imandra-2.0.22.dist-info/top_level.txt'
2025-09-18T17:14:21,571   adding 'imandra-2.0.22.dist-info/RECORD'
2025-09-18T17:14:21,576   removing build/bdist.linux-armv7l/wheel
2025-09-18T17:14:21,713   Building wheel for imandra (pyproject.toml): finished with status 'done'
2025-09-18T17:14:21,722   Created wheel for imandra: filename=imandra-2.0.22-py3-none-any.whl size=232704 sha256=295bdcb2cdadbaf27cdcd6839133cb5442363067bb2024aa1f3d7c5ca8098bea
2025-09-18T17:14:21,723   Stored in directory: /tmp/pip-ephem-wheel-cache-97_ajiod/wheels/f1/3e/c4/28cbaa3e41db8706f443dfdfa0d20d6f3f067c4655cfe47147
2025-09-18T17:14:21,741 Successfully built imandra
2025-09-18T17:14:21,749 Removed build tracker: '/tmp/pip-build-tracker-lro8h8d5'