100012 data/secret/82-anti-float-sort-1.in data/secret/82-anti-float-sort-1.ans
100012 data/secret/92-line.in data/secret/92-line.ans
100012 data/secret/16-random-small-05.in data/secret/16-random-small-05.ans
100012 data/secret/39-random-large-08.in data/secret/39-random-large-08.ans
100012 data/secret/56-random2-small-05.in data/secret/56-random2-small-05.ans
100012 data/secret/88-anti-desc-dist-2.in data/secret/88-anti-desc-dist-2.ans
100012 data/secret/36-random-large-05.in data/secret/36-random-large-05.ans
100012 data/secret/69-random2-medium-08.in data/secret/69-random2-medium-08.ans
100012 data/secret/61-random2-small-10.in data/secret/61-random2-small-10.ans
100012 data/secret/12-random-small-01.in data/secret/12-random-small-01.ans
100012 data/secret/53-random2-small-02.in data/secret/53-random2-small-02.ans
100012 data/secret/75-anti-round-04.in data/secret/75-anti-round-04.ans
100012 data/secret/32-random-large-01.in data/secret/32-random-large-01.ans
100012 data/secret/70-random2-medium-09.in data/secret/70-random2-medium-09.ans
100012 data/secret/93-line.in data/secret/93-line.ans
100012 data/secret/96-line.in data/secret/96-line.ans
100012 data/secret/45-random-huge-04.in data/secret/45-random-huge-04.ans
100012 data/secret/59-random2-small-08.in data/secret/59-random2-small-08.ans
100012 data/secret/65-random2-medium-04.in data/secret/65-random2-medium-04.ans
100012 data/secret/26-random-medium-05.in data/secret/26-random-medium-05.ans
100012 data/secret/44-random-huge-03.in data/secret/44-random-huge-03.ans
100012 data/secret/77-anti-round-06.in data/secret/77-anti-round-06.ans
100012 data/secret/34-random-large-03.in data/secret/34-random-large-03.ans
100012 data/secret/11-random-tiny-3.in data/secret/11-random-tiny-3.ans
100012 data/secret/90-anti-desc-dist-4.in data/secret/90-anti-desc-dist-4.ans
100012 data/secret/85-anti-float-sort-4.in data/secret/85-anti-float-sort-4.ans
100012 data/secret/83-anti-float-sort-2.in data/secret/83-anti-float-sort-2.ans
100012 data/secret/55-random2-small-04.in data/secret/55-random2-small-04.ans
100012 data/secret/28-random-medium-07.in data/secret/28-random-medium-07.ans
100012 data/secret/74-anti-round-03.in data/secret/74-anti-round-03.ans
100012 data/secret/13-random-small-02.in data/secret/13-random-small-02.ans
100012 data/secret/22-random-medium-01.in data/secret/22-random-medium-01.ans
100012 data/secret/79-anti-round-08.in data/secret/79-anti-round-08.ans
100012 data/secret/48-random-huge-07.in data/secret/48-random-huge-07.ans
100012 data/secret/80-anti-round-09.in data/secret/80-anti-round-09.ans
100012 data/secret/54-random2-small-03.in data/secret/54-random2-small-03.ans
100012 data/secret/23-random-medium-02.in data/secret/23-random-medium-02.ans
100012 data/secret/19-random-small-08.in data/secret/19-random-small-08.ans
100012 data/secret/37-random-large-06.in data/secret/37-random-large-06.ans
100012 data/secret/87-anti-desc-dist-1.in data/secret/87-anti-desc-dist-1.ans
100012 data/secret/50-random-huge-09.in data/secret/50-random-huge-09.ans
100012 data/secret/43-random-huge-02.in data/secret/43-random-huge-02.ans
100012 data/secret/27-random-medium-06.in data/secret/27-random-medium-06.ans
100012 data/secret/41-random-large-10.in data/secret/41-random-large-10.ans
100012 data/secret/49-random-huge-08.in data/secret/49-random-huge-08.ans
100012 data/secret/67-random2-medium-06.in data/secret/67-random2-medium-06.ans
100012 data/secret/20-random-small-09.in data/secret/20-random-small-09.ans
100012 data/secret/78-anti-round-07.in data/secret/78-anti-round-07.ans
100012 data/secret/81-anti-round-10.in data/secret/81-anti-round-10.ans
100012 data/secret/63-random2-medium-02.in data/secret/63-random2-medium-02.ans
100012 data/secret/15-random-small-04.in data/secret/15-random-small-04.ans
100012 data/secret/46-random-huge-05.in data/secret/46-random-huge-05.ans
100012 data/secret/47-random-huge-06.in data/secret/47-random-huge-06.ans
100012 data/secret/35-random-large-04.in data/secret/35-random-large-04.ans
100012 data/secret/66-random2-medium-05.in data/secret/66-random2-medium-05.ans
100012 data/secret/73-anti-round-02.in data/secret/73-anti-round-02.ans
100012 data/secret/76-anti-round-05.in data/secret/76-anti-round-05.ans
100012 data/secret/17-random-small-06.in data/secret/17-random-small-06.ans
100012 data/secret/84-anti-float-sort-3.in data/secret/84-anti-float-sort-3.ans
100012 data/secret/94-line.in data/secret/94-line.ans
100012 data/secret/08-manual.in data/secret/08-manual.ans
100012 data/secret/10-random-tiny-2.in data/secret/10-random-tiny-2.ans
100012 data/secret/14-random-small-03.in data/secret/14-random-small-03.ans
100012 data/secret/57-random2-small-06.in data/secret/57-random2-small-06.ans
100012 data/secret/64-random2-medium-03.in data/secret/64-random2-medium-03.ans
100012 data/secret/42-random-huge-01.in data/secret/42-random-huge-01.ans
100012 data/secret/25-random-medium-04.in data/secret/25-random-medium-04.ans
100012 data/secret/71-random2-medium-10.in data/secret/71-random2-medium-10.ans
100012 data/secret/62-random2-medium-01.in data/secret/62-random2-medium-01.ans
100012 data/secret/40-random-large-09.in data/secret/40-random-large-09.ans
100012 data/secret/60-random2-small-09.in data/secret/60-random2-small-09.ans
100012 data/secret/86-anti-float-sort-5.in data/secret/86-anti-float-sort-5.ans
100012 data/secret/51-random-huge-10.in data/secret/51-random-huge-10.ans
100012 data/secret/33-random-large-02.in data/secret/33-random-large-02.ans
100012 data/secret/29-random-medium-08.in data/secret/29-random-medium-08.ans
100012 data/secret/95-line.in data/secret/95-line.ans
100012 data/secret/89-anti-desc-dist-3.in data/secret/89-anti-desc-dist-3.ans
100012 data/secret/24-random-medium-03.in data/secret/24-random-medium-03.ans
100012 data/secret/38-random-large-07.in data/secret/38-random-large-07.ans
100012 data/secret/58-random2-small-07.in data/secret/58-random2-small-07.ans
100012 data/secret/52-random2-small-01.in data/secret/52-random2-small-01.ans
100012 data/secret/72-anti-round-01.in data/secret/72-anti-round-01.ans
100012 data/secret/09-random-tiny-1.in data/secret/09-random-tiny-1.ans
100012 data/secret/31-random-medium-10.in data/secret/31-random-medium-10.ans
100012 data/secret/30-random-medium-09.in data/secret/30-random-medium-09.ans
100012 data/secret/18-random-small-07.in data/secret/18-random-small-07.ans
100012 data/secret/91-anti-desc-dist-5.in data/secret/91-anti-desc-dist-5.ans
100012 data/secret/68-random2-medium-07.in data/secret/68-random2-medium-07.ans
100012 data/secret/21-random-small-10.in data/secret/21-random-small-10.ans