We provide the type I solutions to the cases listed in the proof for Lemma 11.
Download the zip file that contains both Python files: typeIsol_tables.pyc and typeIsol.py.
To access the type I solution for the request (6, 2, 1, 1, 1), simply type the following in the command line.
python typeIsol.py 6 2 1 1 1
The routine then generates the following output:
request: (6, 2, 1, 1, 1)
request length: 11
x_0=(x_1+ x_2)+(x_0+ x_1+ x_2)
x_0=(x_1+ x_3)+(x_0+ x_1+ x_3)
x_0=(x_1+ x_2+ x_3)+(x_0+ x_1+ x_2+ x_3)
x_0=(x_1+ x_4)+(x_0+ x_1+ x_4)
x_0=(x_1+ x_3+ x_4)+(x_0+ x_1+ x_3+ x_4)
x_0=(x_1+ x_2+ x_3+ x_4)+(x_0+ x_1+ x_2+ x_3+ x_4)
x_1=(x_2+ x_4)+(x_1+ x_2+ x_4)
x_1=(x_0+ x_2+ x_4)+(x_0+ x_1+ x_2+ x_4)
x_2=(x_3+ x_4)+(x_2+ x_3+ x_4)
x_3=(x_0+ x_4)+(x_0+ x_3+ x_4)
x_4=(x_0+ x_2+ x_3+ x_4)+(x_0+ x_2+ x_3)