Run this:
uv run --with hypothesis python
Then this:
>>> from hypothesis import given, strategies as st
>>> def foo(ls):
... print(ls)
...
>>> given(st.lists(st.integers()))(foo)()
[]
[0]
[-62, 13194]
[27877]
[-2889]
[49]
[1028]
[-2888]
[-2888, -758012724]
[-29246]
[90484441]
[-16, -25312, -103, -449685052, -31734, -2, 7672, 25778544886148638310095908907461327617, 9957, -125, -9, -7861079653300311566]
[-16, -25312, -103, -449685052, -31734, -2, 7672, -449685052, 9957, -125, -9, -7861079653300311566]
[-16, -25312, -103, -449685052, -31734, -2, -125, -449685052, 9957, -125, -9, -7861079653300311566]
[-16, -25312, -103, -449685052, -31734, -2, -125, -449685052, -25312, -125, -9, -7861079653300311566]
[-16, -25312, -103, -449685052, -31734, -2, -7861079653300311566, -449685052, -25312, -125, -9, -7861079653300311566]
[-16, -25312, -7861079653300311566, -449685052, -31734, -2, -7861079653300311566, -449685052, -25312, -125, -9, -7861079653300311566]
[-16, -25312, -7861079653300311566, -449685052, -31734, -7861079653300311566, -7861079653300311566, -449685052, -25312, -125, -9, -7861079653300311566]
[158896204, -16067]
[-16067, -16067]
[-16067]
[-1, 9129, -9204710809409884575, -18748, 23780, 108]
[-1, 9129, -9204710809409884575, -18748, -9204710809409884575, 108]
[-1, 9129, -9204710809409884575, 108, -9204710809409884575, 108]
[9129, 9129, -9204710809409884575, 108, -9204710809409884575, 108]
[9129, 9129, -9204710809409884575, 108, -9204710809409884575, 9129]
[-9204710809409884575, 9129, -9204710809409884575, 108, -9204710809409884575, 9129]
[-9204710809409884575, 9129, -9204710809409884575, 108, -9204710809409884575, 108]
[-21711, 43]
[-21711, -21711]
[27034, -166520005931226708193876691824874801614, -14541, 5689, 8524944726149319511, 12831, -28283, -18732, -21741, 60, 45, -1670313981, -4780]
[27034, -166520005931226708193876691824874801614, 8524944726149319511, 5689, 8524944726149319511, 12831, -28283, -18732, -21741, 60, 45, -1670313981, -4780]
[27034, -166520005931226708193876691824874801614, 8524944726149319511, 5689, 8524944726149319511, 12831, 27034, -18732, -21741, 60, 45, -1670313981, -4780]
[5689, -166520005931226708193876691824874801614, 8524944726149319511, 5689, 8524944726149319511, 12831, 27034, -18732, -21741, 60, 45, -1670313981, -4780]
[12831, -166520005931226708193876691824874801614, 8524944726149319511, 5689, 8524944726149319511, 12831, 27034, -18732, -21741, 60, 45, -1670313981, -4780]
[12831, -166520005931226708193876691824874801614, 8524944726149319511, 5689, 8524944726149319511, 12831, 27034, -18732, -21741, 60, -21741, -1670313981, -4780]
[12831, -166520005931226708193876691824874801614, 8524944726149319511, 5689, 8524944726149319511, -1670313981, 27034, -18732, -21741, 60, -21741, -1670313981, -4780]
[3760319934612141539, -95, 34]
[34, -95, 34]
[-95, -95, 34]
[-95, -95, -95]
[-95, -95]
[27547, -9404, 28130, -13260, -2635]
[27547, -9404, 28130, -13260, 28130]
[27547, -9404, 28130, -13260, 27547]
[-40, -24, -21777, 11778, 8887, -9305]
[-24, -24, -21777, 11778, 8887, -9305]
[-24, -9305, -21777, 11778, 8887, -9305]
[-24, -9305, -21777, 11778, 8887, -21777]
[-24, -9305, 8887, 11778, 8887, -21777]
[-24, -9305, 8887, 11778, 8887, -24]
[-12]
[-21106]
[-167908182, -6829, 5, 8733, 161458345515207955654790590060059531732, -10066, -82, -82, -3794, -59647922044418615651237824745894339116, 10123, 11384, -31553, -4603, -7285]
[-167908182, -6829, 5, 8733, 161458345515207955654790590060059531732, -10066, -82, -82, -3794, -7285, 10123, 11384, -31553, -4603, -7285]
[-167908182, -6829, 5, -31553, 161458345515207955654790590060059531732, -10066, -82, -82, -3794, -7285, 10123, 11384, -31553, -4603, -7285]
[-167908182, -6829, 5, -31553, 161458345515207955654790590060059531732, -10066, -82, -4603, -3794, -7285, 10123, 11384, -31553, -4603, -7285]
[-167908182, -6829, 5, -31553, 161458345515207955654790590060059531732, -10066, -82, -4603, -3794, -7285, 10123, 11384, -31553, -4603, -3794]
[-167908182, -6829, 5, -31553, 161458345515207955654790590060059531732, -10066, -82, -4603, 11384, -7285, 10123, 11384, -31553, -4603, -3794]
[-167908182, -6829, 5, -31553, 161458345515207955654790590060059531732, -10066, -82, -4603, 11384, -7285, 10123, 11384, -31553, -4603, -167908182]
[-771873740]
[10, 22530]
[10, 10]
[-23852]
[2687491574917577727, 80942010907127898671345661791603170306, 22717, -4338936709876443823]
[80942010907127898671345661791603170306, 80942010907127898671345661791603170306, 22717, -4338936709876443823]
[22545, -51]
[-51, -51]
[-31180, -25733]
[-31180]
[22833, -1770481908, 18268, -108, -124, 4]
[22833, -1770481908, 18268, -108, -124, 22833]
[-108, -1770481908, 18268, -108, -124, 22833]
[-108, -1770481908, 18268, -108, -124, -1770481908]
[-108, -1770481908, 18268, -108, 18268, -1770481908]
[-108, -1770481908, 18268, -1770481908, 18268, -1770481908]
[-108, -1770481908, -1770481908, -1770481908, 18268, -1770481908]
[-19562, -19918, 44, -12803, -24012]
[-19562, -19562, 44, -12803, -24012]
[44, -19562, 44, -12803, -24012]
[44, -19562, -12803, -12803, -24012]
[44, -19562, -12803, -12803, -19562]
[44, -19562, -12803, -12803, -12803]
[757833484, -64739444, 22016, 2301, -24883, -14763]
[757833484, -64739444, 22016, -64739444, -24883, -14763]
[757833484, -64739444, 22016, -64739444, -64739444, -14763]
[757833484, -64739444, 22016, -64739444, 22016, -14763]
[757833484, 757833484, 22016, -64739444, 22016, -14763]
[757833484, 757833484, 22016, 22016, 22016, -14763]
[757833484, 22016, 22016, 22016, 22016, -14763]
[267, 15206, -10768, -21577, -56, 6876, -6679898767619894302, -37, 1330, -2072656733, -117, -30]
[267, 15206, -10768, 15206, -56, 6876, -6679898767619894302, -37, 1330, -2072656733, -117, -30]
[267, 15206, -10768, -10768, -56, 6876, -6679898767619894302, -37, 1330, -2072656733, -117, -30]
[267, 15206, -10768, -10768, 15206, 6876, -6679898767619894302, -37, 1330, -2072656733, -117, -30]
[267, 15206, -37, -10768, 15206, 6876, -6679898767619894302, -37, 1330, -2072656733, -117, -30]
[267, 15206, -37, -10768, 15206, 6876, 15206, -37, 1330, -2072656733, -117, -30]
[267, 15206, -37, -10768, 15206, 6876, 15206, -37, -117, -2072656733, -117, -30]
[-7531692443171623764, -109369043848442345045856489093298649615]
[1582, 30, 80, -30029, -127, 4934620281724668877]
[1582, 30, 80, -30029, 4934620281724668877, 4934620281724668877]