Commit 86484ee7 authored by Alvarez, Gonzalo's avatar Alvarez, Gonzalo
Browse files

CollectBrakets5504_0.txt added

parent 83383e66

oracles/tests/CollectBrakets5504_0.txt

+264 −0
Original line number Diff line number Diff line 
6 0 0 <gs|A|P2> 1 

6 0 0 <gs|A|P3> 1 

5 0 0 <gs|A|P2> 1 

5 0 0 <gs|A|P3> 1 

4 0 0 <gs|A|P2> 1 

4 0 0 <gs|A|P3> 1 

3 0 0 <gs|A|P2> 1 

3 0 0 <gs|A|P3> 1 

2 0 0 <gs|A|P2> 1 

2 0 0 <gs|A|P3> 1 

1 0 0 <gs|A|P2> 1 

1 0 0 <gs|A|P3> 1 

1 0 0 <gs|A|P2> 1 

1 0 0 <gs|A|P3> 1 

2 0 0 <gs|A|P2> 1 

2 0 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

1 -0.000183807341 0 <gs|A|P2> 1 

1 0.000160969897 0 <gs|A|P3> 1 

2 0.000690978414 0 <gs|A|P2> 1 

2 0.001564705451 0 <gs|A|P3> 1 

3 0.002710481560 0 <gs|A|P2> 1 

3 -0.006963589268 0 <gs|A|P3> 1 

4 -0.007346104359 0 <gs|A|P2> 1 

4 -0.027061001923 0 <gs|A|P3> 1 

5 0.274084916017 0 <gs|A|P2> 1 

5 0.526819619518 0 <gs|A|P3> 1 

6 0.012421735665 0 <gs|A|P2> 1 

6 0.011684194925 0 <gs|A|P3> 1