lavirlifiliol

$ cat osoby.csv | head -n 5 | ./corona
id,datum,vek,pohlavi,kraj_nuts_kod,okres_lau_kod,nakaza_v_zahranici,nakaza_zeme_csu_kod,reportovano_khs
6f4125cb-fb41-4fb0-a478-07b69ba106a4,2020-03-01,21,Z,CZ010,CZ0100,1,IT,1
5841443b-7df4-4af9-acab-75ca47010ec3,2020-03-01,43,M,CZ042,CZ0421,1,IT,1
5cdb7ece-97a2-4336-9715-59dc70a48a2c,2020-03-01,67,M,CZ010,CZ0100,1,IT,1
d345e0e2-9056-4d3f-b790-485b12831180,2020-03-03,21,Z,CZ010,CZ0100,,,
---
$ ./corona infected osoby.csv
3510360
---

lavirlifiliol

# musite nainstalovat hypothesis `pip install --user hypothesis`
# spustit jako python3.8 test_inj_surj_bij.py ./setcal
# musite byt na linuxu/macOS

from os import EX_CANTCREAT
from hypothesis.strategies import frozensets, sampled_from
from hypothesis import given
from subprocess import CalledProcessError, check_output, STDOUT
from sys import argv
from random import Random