p wcnf 106 138
6 -1 0
1 -2 0
10 -3 0
1 -4 0
4 -5 0
3 -6 0
1 -7 0
2 -8 0
7 -9 0
9 -10 0
7 -11 0
5 -12 0
5 -13 0
7 -14 0
6 -15 0
10 -16 0
10 -17 0
3 -18 0
6 -19 0
7 -20 0
9 -21 0
4 -22 0
1 -23 0
8 -24 0
2 -25 0
3 -26 0
9 -27 0
10 -28 0
6 -29 0
8 -30 0
10 -31 0
2 -32 0
6 -33 0
10 -34 0
9 -35 0
7 -36 0
7 -37 0
2 -38 0
2 -39 0
3 -40 0
10 -41 0
1 -42 0
8 -43 0
9 -44 0
5 -45 0
6 -46 0
2 -47 0
1 -48 0
3 -49 0
9 -50 0
4 -51 0
8 -52 0
2 -53 0
2 -54 0
2 -55 0
6 -56 0
10 -57 0
2 -58 0
5 -59 0
5 -60 0
10 -61 0
2 -62 0
7 -63 0
1 -64 0
4 -65 0
7 -66 0
9 -67 0
10 -68 0
6 -69 0
6 -70 0
2 -71 0
9 -72 0
10 -73 0
9 -74 0
5 -75 0
5 -76 0
8 -77 0
1 -78 0
10 -79 0
9 -80 0
9 -81 0
10 -82 0
3 -83 0
2 -84 0
6 -85 0
4 -86 0
1 -87 0
1 -88 0
3 -89 0
6 -90 0
8 -91 0
4 -92 0
1 -93 0
4 -94 0
200 -95 49 0
200 -95 53 0
200 -95 58 0
200 95 0
200 -96 51 0
200 -96 49 0
200 96 0
200 -97 88 0
200 -97 86 0
200 -97 49 0
200 97 0
200 -98 13 0
200 -98 5 0
200 98 0
200 -99 82 0
200 99 0
200 -100 88 0
200 -100 85 0
200 -100 39 0
200 -100 23 0
200 100 0
200 -101 5 0
200 -101 93 0
200 -101 15 0
200 101 0
200 -102 92 0
200 -102 47 0
200 -102 46 0
200 102 0
200 -103 88 0
200 -103 32 0
200 -103 31 0
200 103 0
200 -104 44 0
200 -104 46 0
200 104 0
200 -105 62 0
200 -105 20 0
200 -105 21 0
200 105 0
200 -106 49 0
200 -106 50 0
200 -106 21 0
200 106 0