simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
sidekick/tests/jnh/jnh205.cnf
Simon Cruanes a08cda8c5b test: add a lot more tests (for SAT)
2021-08-02 16:05:35 -04:00

816 lines
22 KiB
INI
Raw Blame History

c File: jnh205.cnf
c
c SOURCE: John Hooker (jh38+@andrew.cmu.edu)
c
c DESCRIPTION: Random Problems with hard generator (no single clauses,
c hard density, and so on)
c
c NOTE: Part of the collection at the Forschungsinstitut fuer
c anwendungsorientierte Wissensverarbeitung in Ulm Germany.
c
c NOTE: Updated September 7, 1993 to correct format
c
c
c NOTE: Satisfiable
c
p cnf 100 800
-17 24 29 -34 44 -65 78 0
-10 -21 -38 41 -56 0
-31 -81 0
-32 52 -57 60 -99 0
14 -24 28 31 -33 -42 -68 -79 90 0
17 22 29 -78 83 -96 0
23 61 0
-26 36 54 61 62 0
5 13 16 23 -56 59 -72 -89 0
-10 -12 -51 0
-13 -18 21 35 -46 68 87 -93 0
4 7 13 -29 -88 0
-20 -46 61 -86 0
11 -13 46 57 -91 0
20 21 62 -76 0
1 16 28 50 59 99 0
15 -18 60 0
-44 -48 0
52 83 -100 0
-34 56 -79 -83 -95 0
21 24 27 -30 -74 76 -77 87 -91 -94 98 0
36 -47 -58 97 0
37 55 -60 0
8 -25 -64 69 73 -85 87 91 0
-9 -28 45 -70 92 96 0
38 48 -57 0
34 38 -41 -89 0
-5 73 0
38 -53 64 70 73 75 -89 0
-12 -17 -24 -43 -67 -72 -85 0
49 54 -57 -70 0
38 -40 -43 -64 -87 0
19 -29 76 0
23 31 95 0
69 70 -85 0
37 -46 67 83 0
28 -40 44 46 -49 57 0
-3 38 44 -81 0
5 -29 0
-7 -17 28 29 -70 -74 -78 0
8 -29 42 0
25 59 -64 -81 88 93 -98 0
45 -47 -52 56 62 73 82 0
16 -34 -47 51 63 -66 72 -78 98 0
-4 -7 -23 99 0
-1 -10 -30 -84 0
-1 -11 -14 17 -25 -27 -71 0
21 -44 -48 89 100 0
-5 -37 50 -84 99 0
-28 -30 54 82 -92 -100 0
-39 -42 -67 80 0
43 -83 87 0
-31 56 79 84 0
37 -91 0
3 37 -51 -66 71 0
-26 -38 55 0
17 55 -61 83 84 -96 0
-25 27 -47 51 -66 80 83 85 0
-49 69 89 92 93 0
-23 43 -57 79 0
-34 66 77 0
-50 -82 85 0
13 -22 25 45 46 98 0
-19 55 74 76 78 0
72 77 0
1 -10 -22 -50 -63 -73 0
33 44 0
2 -32 38 -74 0
28 47 48 -83 92 0
-4 -24 35 -40 -59 61 66 -72 0
6 69 -71 0
-8 51 53 -68 70 0
-9 -76 -98 0
27 -71 -94 0
-53 -66 88 0
-10 12 -13 0
29 -30 -44 54 -85 -87 0
3 30 39 -51 -55 91 0
24 -27 -72 0
14 25 36 39 68 0
-7 11 -22 -27 0
-9 -14 93 0
32 33 -49 53 55 76 -83 -92 0
24 61 76 0
-5 -42 -67 78 79 -94 -97 0
56 59 81 -96 0
56 -77 89 -90 0
42 -48 -60 -81 83 84 -86 88 89 -91 -96 0
-34 55 -76 0
6 17 -35 0
-19 27 28 47 62 -85 -94 0
33 -69 0
-12 17 34 -62 80 -98 0
18 55 72 0
-9 15 37 51 -66 -82 -90 0
66 -70 0
-31 -38 0
-4 -9 56 70 -81 92 0
26 58 0
39 46 55 57 62 73 -87 -90 100 0
-2 13 14 21 -31 -58 66 75 0
4 -9 20 -37 42 -62 -93 0
20 24 -53 -85 0
-6 25 -37 62 -79 0
-8 27 60 -93 0
5 15 29 -35 38 56 -58 0
14 43 0
4 -6 -56 -94 0
76 77 -82 -96 0
18 60 88 0
-3 -7 20 25 -38 42 -64 68 -100 0
-60 83 -98 0
3 -13 -24 -61 85 -92 0
2 4 22 58 -61 68 0
27 30 -57 63 88 0
-13 16 -26 77 0
1 32 0
5 20 35 42 -47 100 0
-59 99 0
5 -17 -58 61 -82 -99 0
-2 -4 13 -19 -23 -72 91 96 0
22 27 -42 -68 79 81 0
7 -42 -71 0
52 80 0
-19 -29 -52 59 -65 96 0
1 53 -57 0
4 18 19 -54 85 88 -95 0
26 27 -34 -39 -45 0
-13 20 -21 -58 67 -70 -94 -98 0
-3 -35 -41 -54 81 83 100 0
20 27 -28 66 -76 92 0
-9 14 -21 -36 -40 -45 -75 0
12 -38 -52 -56 -60 70 -89 0
23 30 -41 -70 72 0
-13 -40 -43 56 0
-5 52 -57 64 65 100 0
9 -19 39 41 54 55 71 75 -81 0
34 47 50 52 -66 -83 0
-23 -46 -52 0
35 36 -42 63 -82 0
32 58 -71 -81 -92 0
-15 23 45 51 94 0
-6 19 -60 -67 94 0
51 -64 -87 0
-13 -25 49 50 -61 0
23 -28 35 62 -63 -74 -89 -92 0
3 -12 -15 -51 -56 62 63 91 0
-9 13 71 -100 0
-60 65 94 0
47 -69 78 -79 -82 0
-9 -84 94 0
17 -18 35 36 47 55 -63 -70 0
-31 35 -43 46 -47 81 93 0
-4 -47 63 81 -87 0
66 -88 -92 0
28 -41 58 82 0
-24 -33 65 0
-37 -39 45 93 0
1 2 -11 -34 -40 75 0
12 22 23 -26 -36 51 -62 0
-4 7 -13 16 71 95 0
-9 25 65 0
15 -22 31 -38 62 71 0
-17 20 26 -33 -36 57 -65 -82 100 0
-2 -18 21 -24 -54 91 -95 0
10 -11 -29 -69 72 -84 97 0
17 56 68 -90 -99 0
21 48 -76 78 0
-11 66 0
-4 19 -56 -85 0
-3 23 -37 -49 78 -84 0
-17 -31 37 44 71 -75 -94 0
3 -71 79 0
-65 78 0
-16 32 47 -53 -63 70 0
-18 42 78 88 0
-8 -19 -24 95 -96 0
-2 -57 0
-11 -26 0
3 -13 28 46 98 0
-10 -22 -28 51 56 72 74 -82 -100 0
13 53 58 73 0
5 -7 -27 0
13 -14 26 71 -91 0
-19 22 24 -45 0
2 -7 35 46 -48 -52 79 95 97 0
-19 23 -40 53 0
-7 -45 -80 0
-5 11 -65 -77 97 0
5 7 60 -96 0
15 28 -48 -57 -64 68 -81 0
-19 -30 -47 50 -65 0
-8 -40 -90 0
-41 61 -66 69 0
-5 23 -33 37 40 -42 -51 -77 -88 99 0
26 31 38 -87 92 0
32 70 0
-35 45 63 70 71 0
14 22 25 32 -65 68 -81 -98 0
-2 -19 -21 -60 0
5 -22 -27 30 44 -55 77 96 0
13 16 22 -38 -97 0
-29 -55 70 -95 0
20 -22 55 66 -100 0
8 29 30 71 -85 0
10 25 37 59 68 0
24 -27 69 0
-9 -53 -57 0
-4 61 92 0
-3 7 -43 65 -88 -92 0
6 30 33 36 -39 -83 85 -86 96 -100 0
45 -56 -67 0
46 64 -69 0
1 5 17 -34 -73 78 82 -94 96 100 0
-18 -37 54 -79 0
47 57 -66 0
43 47 -50 -98 0
-14 82 0
47 -62 73 79 82 84 -98 0
-21 -26 -33 -52 -76 -81 -94 0
58 63 -66 -79 0
47 -49 -52 -73 -96 0
4 28 -38 85 0
32 40 0
78 79 -94 0
46 -55 76 92 0
37 -49 53 55 -58 66 0
-12 47 53 -90 0
14 -38 0
-16 -26 37 38 -79 -83 -87 0
2 -7 17 -38 51 0
34 68 -73 -90 97 0
7 54 -56 -61 65 71 82 91 0
8 25 -43 -56 60 72 -75 81 -87 0
-13 -16 -32 0
-10 -19 -39 -93 0
9 -10 -20 -23 26 -34 -36 -80 0
8 30 -53 -57 98 0
-1 -9 -14 -46 59 -93 0
-37 -39 63 91 0
-48 -51 -76 89 0
52 -92 96 0
-40 65 88 93 0
46 -100 0
12 46 -60 -75 80 0
-5 -35 -47 64 0
26 64 -70 92 93 0
1 2 -34 36 -56 60 -75 89 92 94 0
-58 78 98 0
-32 52 -66 88 0
-43 75 86 0
7 -59 -91 94 0
22 -31 34 54 55 0
-28 64 83 85 87 0
81 86 0
10 -19 -31 -59 -72 -82 0
42 53 0
1 11 -41 47 -83 0
37 56 57 -92 0
-13 -33 44 -49 -68 70 75 -81 0
15 78 -80 0
-7 -17 60 62 -77 79 0
-3 -18 -85 0
36 -80 0
-62 -75 97 0
-19 21 -22 0
38 -39 -53 63 -94 -96 0
12 39 48 -60 -64 100 0
33 -36 -81 0
23 34 45 48 77 0
2 -16 20 -31 -36 0
-1 -18 -23 0
41 42 -58 62 64 85 -92 0
-3 -6 33 70 85 0
-5 -14 -51 -76 87 88 0
65 68 90 0
-5 65 -86 98 -99 0
51 -57 -69 -90 92 93 -95 97 98 -100 0
-43 64 -85 0
-3 15 26 -44 0
-28 36 37 56 71 -94 0
-7 42 -78 0
-21 26 43 -71 89 0
27 64 81 0
-18 24 46 60 -75 -91 -99 0
75 -79 0
1 -40 -47 0
-13 -18 65 79 -90 0
9 35 67 0
48 55 64 66 71 82 -96 -99 0
-2 -11 22 23 30 -40 -67 75 84 0
13 -18 29 -46 51 -71 0
29 33 -62 -94 0
-2 -15 34 -46 71 -88 0
-17 36 69 0
14 24 38 -44 47 65 -67 0
-3 23 52 0
-5 13 -15 -65 0
85 86 -91 0
27 69 97 0
-9 20 0
-7 -12 -16 29 34 -47 51 -73 77 0
-1 -69 92 0
12 -22 -33 -70 94 0
11 13 31 67 -70 77 0
36 39 -66 72 97 0
-22 25 -35 86 0
9 10 41 0
8 14 29 44 51 -56 0
-8 -68 0
5 14 -26 -67 70 -91 0
-11 -13 22 -28 -32 -81 100 0
31 36 -51 -77 88 90 0
16 -51 -80 0
5 61 89 0
-28 -38 -61 68 -74 0
-4 10 62 -66 0
13 27 28 -63 94 97 0
-3 -7 35 36 -43 -48 -54 0
9 -22 29 -30 -67 76 -79 0
1 -12 -44 -50 -63 90 92 0
29 36 -37 75 -85 0
-18 23 -30 -45 -49 -54 -84 0
21 -47 -61 -65 -69 79 -98 0
32 39 -50 -79 81 0
9 -22 -49 -52 65 0
-14 61 -66 73 74 0
18 -28 48 50 63 64 80 84 -90 0
43 56 59 61 -75 -92 0
-32 -55 -61 0
-1 44 45 -51 72 -91 0
3 41 67 -80 -90 0
3 -24 32 54 60 0
-15 28 -69 -76 0
60 -73 -96 0
-1 -22 -34 58 59 -70 0
32 -37 44 71 -72 -83 -98 0
-9 12 -21 -24 -60 -65 71 72 100 0
3 -18 22 80 0
-69 74 0
3 56 -78 87 -88 -91 0
-18 -93 0
2 26 -27 44 45 56 64 -72 -79 0
-40 44 -52 55 -56 90 0
-1 -13 -56 72 90 -96 0
75 -97 0
37 -50 67 91 0
2 -33 -42 74 0
-46 -48 54 0
10 11 -20 -43 -49 84 0
4 21 31 32 -35 -45 60 -71 0
-13 16 -22 25 80 0
-18 34 74 0
24 -31 40 -47 71 80 0
-4 -26 29 35 -42 -45 66 -74 -91 0
6 -11 -27 30 -33 -63 100 0
-8 19 -20 -38 -78 81 -93 0
26 65 77 -99 0
30 57 -85 87 0
-20 75 0
-13 28 -65 -94 0
-3 -12 32 -46 -58 87 -93 0
-26 -40 46 53 80 -84 0
12 -80 88 0
-74 87 0
-25 41 56 -62 -72 79 0
4 -5 -27 51 87 97 0
-17 -28 -33 0
-11 -66 0
7 -20 -35 0
-9 12 -22 37 55 0
-19 -31 -37 60 65 81 83 -91 0
22 62 67 82 0
14 -16 -36 0
22 -23 35 80 -100 0
4 6 -28 31 33 -54 0
11 -16 44 55 -57 -61 88 0
-28 32 -49 62 0
6 -16 -54 -89 0
-5 -14 20 -74 -86 0
14 16 69 0
24 37 -57 -66 -73 77 -90 0
-28 -39 -56 59 -74 0
-17 -49 -99 0
8 -50 70 -75 78 0
1 -14 32 -42 46 49 -51 -60 -86 -97 0
35 40 47 -96 0
41 79 0
-7 -44 54 72 79 80 0
23 31 34 41 -74 77 -90 0
5 -11 -28 -30 -69 0
14 -31 -36 39 53 -64 86 0
-4 22 25 31 -47 0
-9 -38 -64 79 0
29 -31 64 75 0
17 38 39 80 -94 0
19 34 46 68 77 0
33 -36 78 0
1 -18 -62 -66 0
-1 -13 70 0
5 -9 -12 16 -52 74 -97 0
15 39 42 45 -48 -92 94 -95 0
54 -65 -76 0
-3 5 9 55 73 -78 0
10 14 26 -43 -82 87 91 0
-27 -46 63 -88 0
-7 56 66 -75 0
52 56 -59 0
-7 -23 91 0
-3 56 -71 82 88 91 93 0
-30 -35 -42 -61 -85 -90 0
-5 67 72 -75 -88 0
56 -58 -61 -82 0
13 37 -47 94 0
-3 41 49 0
1 87 88 0
55 -64 85 0
46 -58 62 64 -67 75 0
-21 56 62 -99 0
23 -47 0
-25 -35 46 47 -88 -92 -96 0
6 11 -16 26 -47 60 0
43 77 -82 -99 0
16 63 -65 -70 74 80 91 100 0
17 34 -52 -65 69 81 -84 90 -96 0
-2 -22 -25 -41 0
-19 -28 -48 0
7 18 -19 -29 -32 35 -43 -45 -89 0
-2 17 39 -62 -66 0
-10 -18 -23 -55 68 0
-46 -48 72 100 0
-1 5 -57 -60 -85 98 0
2 61 0
-9 -49 74 97 0
21 55 -69 -84 89 0
1 2 -14 -44 -56 73 0
1 3 35 73 -79 0
7 10 11 -43 45 -65 69 -84 98 0
-67 87 0
-41 61 -75 97 0
3 -52 84 95 0
16 -68 -100 0
31 -40 43 63 64 0
-37 73 92 94 96 0
90 95 0
19 -28 -40 -68 -81 -91 0
51 62 0
-1 10 20 -50 56 -92 0
46 65 66 0
-22 -42 53 -58 -77 79 84 -90 0
24 87 -89 0
-16 -26 69 71 -86 88 0
-12 -27 -94 0
6 45 -89 0
-71 -84 0
-3 -5 -28 30 -31 0
9 47 -48 -62 72 0
21 48 57 -69 -73 0
42 -45 -90 0
32 43 54 57 86 0
11 -25 29 -40 -45 0
-1 -10 -27 -32 0
50 51 -67 71 73 94 0
-12 -15 42 79 94 0
-14 -23 -60 -85 96 97 0
7 -8 74 77 99 0
1 2 -4 6 7 -9 -14 74 -95 0
60 -66 -78 -99 0
-52 73 -94 0
-3 -12 24 35 -53 0
-37 45 46 65 80 0
-16 51 -87 0
-30 35 52 -80 98 0
-8 36 73 90 0
-27 33 55 69 -84 -100 0
84 -88 0
10 -49 -56 0
-22 -27 74 88 -99 0
-5 -8 18 44 76 0
57 64 73 75 80 91 0
-11 -20 31 32 39 -49 -76 84 93 0
-3 22 -27 38 -55 60 -80 0
38 42 -71 0
-11 -24 43 -55 80 -97 0
-26 45 78 0
23 33 47 -53 56 74 -76 0
-12 32 61 0
-14 22 -24 -74 0
6 94 95 -100 0
36 78 0
-18 29 0
1 -16 -21 -25 38 43 -56 60 -82 86 0
3 -10 -78 0
21 -31 -42 -79 0
20 22 40 76 -79 86 0
6 -37 0
45 48 -75 81 0
-31 34 -44 95 0
18 19 50 0
17 23 38 53 60 -65 0
-17 -77 0
9 14 23 -35 -76 79 -100 0
-20 -22 31 -37 -41 -90 0
40 45 -60 -86 97 99 0
25 -60 -89 0
14 70 98 0
-37 -47 -70 77 -83 0
3 6 -13 19 71 -75 0
22 36 37 -72 0
-12 -16 44 45 -52 -57 -63 0
1 18 -31 38 -39 -76 85 -88 0
10 -21 -53 -59 -72 99 0
38 45 -46 84 -94 0
-7 -27 32 -39 -54 -58 -63 -93 0
30 -56 -70 -74 -78 88 0
41 48 -59 -88 90 0
18 -31 -58 -61 74 0
-23 70 -75 82 83 0
-1 27 -37 57 59 72 73 89 93 -99 0
52 65 68 70 -84 0
-41 -64 -70 0
-10 53 54 -60 81 -100 0
12 50 76 -89 -99 0
12 -33 41 63 69 0
-5 -24 37 -78 -85 0
69 -82 0
-7 -10 -31 -43 67 68 -79 0
9 41 -46 53 80 -81 -92 0
-18 21 -30 -33 -69 -74 80 81 0
12 -27 31 89 0
-78 83 0
-2 12 65 -87 96 -97 -100 0
11 35 -36 53 54 65 73 -81 -88 0
-5 -49 53 -61 64 -65 99 0
-6 -10 -22 -65 81 99 0
46 -59 76 100 0
11 -42 -51 83 0
-55 -57 63 0
19 20 -29 -52 -58 93 0
13 30 40 41 -44 -54 69 -80 0
-22 25 -31 34 89 0
-27 43 83 0
33 -40 49 -56 80 89 0
9 -13 -35 38 44 -51 -54 75 -83 -100 0
-2 15 -20 -36 39 -42 -72 0
-8 -17 28 -29 -47 -87 90 0
35 74 86 0
39 66 -94 96 0
-3 -29 84 0
-22 37 -74 0
-2 -44 0
-12 -21 41 -55 -67 96 0
-35 -49 55 62 89 -93 0
21 -89 97 0
-83 96 0
6 -34 50 65 -71 -81 88 0
13 -14 -36 60 96 0
-26 -37 -42 0
-20 -75 0
16 -29 -44 0
-18 21 -31 46 64 0
-28 -40 -46 69 74 90 92 -100 0
31 71 76 91 0
-9 23 -25 -45 0
31 -32 44 89 0
13 15 -37 40 42 -63 0
20 -25 53 64 -66 -70 97 0
-37 41 -58 71 0
15 -25 -63 -98 0
-14 -23 29 -83 -95 0
23 25 78 0
33 46 -66 -75 -82 86 -99 0
-8 -37 -48 -65 68 -83 0
-26 -58 0
-6 17 -59 79 -84 87 0
-5 10 -23 41 -51 55 58 -60 -69 -95 0
44 49 56 0
50 88 0
-16 -53 63 81 88 89 0
32 40 43 50 -83 86 -99 0
14 -20 -37 -39 -78 0
23 -40 -45 48 62 -73 95 0
-13 31 34 40 -56 0
-18 -47 -73 88 0
-3 38 -40 73 84 0
26 47 48 89 0
28 43 55 77 86 0
42 -45 87 0
10 -27 -71 -75 0
-6 -10 -22 79 0
-1 3 -4 14 -18 -21 25 -61 83 0
24 48 51 54 -57 0
63 -74 -85 0
-12 14 18 64 82 -87 0
19 23 35 -52 -91 96 100 0
-36 -55 72 -97 0
-16 65 75 -84 0
61 65 -68 0
2 -16 -32 100 0
-12 65 -80 91 97 100 0
-39 -44 -51 -70 -94 -99 0
-14 76 81 -84 -97 0
3 65 -67 -70 -91 0
22 46 -56 0
-12 50 58 0
10 96 97 0
64 -73 94 0
-8 55 -67 71 73 -76 84 0
-30 65 71 0
-1 -5 32 -56 0
-34 -44 55 56 -97 0
-8 15 20 -25 35 -56 69 0
9 52 86 -91 0
-5 25 72 -74 -79 83 89 100 0
26 43 -61 -74 78 90 -93 99 0
-11 -31 -34 -50 0
-28 -37 -57 0
16 27 -28 -38 -41 44 -52 -54 -98 0
-11 26 48 -71 -75 0
9 -19 -27 -32 -64 77 0
-2 -55 -57 81 0
-10 14 -66 -69 -94 0
6 11 70 0
-18 -58 83 0
30 64 -78 -93 98 0
10 11 -23 -53 -65 82 0
7 10 12 44 82 -88 0
16 19 20 -52 54 -74 78 -93 0
6 -76 96 0
4 -50 70 -84 0
-9 12 -61 93 0
25 -77 0
1 3 5 40 -49 52 72 73 0
4 -46 82 0
28 -37 -49 -77 -90 -100 0
-1 60 71 0
-10 19 29 -59 65 0
55 74 75 0
-31 -51 62 -67 -86 88 93 -99 0
33 96 -98 0
-3 -25 -35 78 80 -95 97 0
-21 -36 0
15 54 -98 0
-80 -93 0
-12 -14 -37 39 -40 0
18 56 -57 -71 81 0
30 57 66 -78 -82 0
51 -54 -99 0
41 52 63 66 95 0
20 -34 38 -49 -54 0
3 -10 -19 -36 -41 0
3 59 60 -76 80 82 0
5 6 -21 -24 51 88 0
8 -23 -32 -69 -94 0
-4 16 -17 83 86 0
-8 10 11 -13 15 16 -18 -23 83 0
-3 69 -75 -87 0
-61 82 0
-12 -21 33 44 -62 0
-46 54 55 74 89 0
7 -25 60 -96 0
-39 44 61 -89 0
-9 -17 45 82 99 0
-36 42 64 78 -93 0
93 -97 0
-8 19 -58 -65 0
-31 -36 83 97 0
-14 -17 27 53 85 0
2 66 73 82 84 89 100 0
-20 -29 40 41 48 -58 -85 93 0
-12 31 -36 47 -64 69 -89 0
-6 47 51 -80 0
-20 -33 52 -64 89 0
-35 54 87 0
32 42 56 -62 65 83 -85 0
-21 41 70 0
3 4 -9 -23 31 -33 -83 0
45 87 0
-27 38 0
10 -25 -30 -34 47 52 -65 69 -91 95 0
12 -19 -87 0
30 -40 -51 -88 0
29 31 49 85 -88 95 0
15 -46 0
4 54 57 -84 90 0
-40 43 -53 0
27 28 59 0
26 32 47 62 69 -74 0
-9 -26 -86 0
18 23 32 -44 -85 88 0
6 8 -29 -31 40 -46 -50 -99 0
49 54 -69 -95 0
7 34 -69 -98 0
23 79 0
-46 -56 -79 86 -92 0
12 15 -22 28 80 -84 0
31 45 46 -81 0
-21 -25 53 54 -61 -66 -72 0
8 10 27 -40 47 -48 -85 94 -97 0
-3 19 -30 -62 -68 -81 0
-2 47 54 -55 93 0
-16 -36 41 -48 -63 -67 -72 0
39 -65 -79 -83 -87 97 0
50 57 -68 -97 99 0
27 -40 -67 -70 83 0
2 -8 -32 79 -84 91 92 0
-10 36 -46 66 68 81 82 98 0
61 74 77 79 -93 0
-9 -50 -73 -79 0
-8 -19 62 63 -69 90 0
21 59 85 -98 0
21 -42 50 72 78 0
-14 -33 46 -87 -94 0
78 -91 0
-1 -16 -19 -40 -52 76 77 -88 0
18 50 -55 62 89 -90 0
-27 30 -39 -42 -78 -83 89 90 0
21 -36 40 98 0
5 -6 -9 -87 92 0
-11 21 74 -96 0
8 20 44 -45 62 63 74 82 -90 -97 0
8 -14 -58 62 -70 73 -74 0
-15 -19 -31 -74 90 0
9 93 0
55 -68 85 0
20 -51 -60 92 0
2 -64 -66 72 0
28 29 -38 -61 -67 0
22 39 49 50 -53 -63 78 -89 0
-31 34 -40 43 98 0
-36 52 92 0
42 -49 58 -65 89 98 0
-9 27 0
18 -22 -44 47 53 -60 -63 84 -92 0
-11 24 -29 -45 48 -51 -81 0
-17 -26 37 -38 -56 -96 99 0
-3 5 44 83 95 0
48 75 0
-12 -38 93 0
-31 46 -83 0
5 -11 -53 0
-2 -21 -30 50 -64 -76 0
6 -44 -58 64 71 98 0
5 30 -98 0
5 15 -43 59 74 -80 -90 97 0
22 -23 -45 69 0
-35 -46 -51 0
-29 -84 0
25 -38 -53 0
1 -9 -27 30 -40 55 73 0
-37 -49 -55 78 83 99 0
40 80 85 100 0
-18 32 -34 -54 0
40 -41 53 98 0
6 22 24 -46 49 51 -72 0
29 -34 62 73 -75 -79 0
-7 -46 50 -67 80 0
-4 24 -34 -72 0
-23 -32 38 -92 0
-8 32 34 87 0
42 55 -75 -84 -91 95 0
-17 -46 -57 -74 77 -92 0
-35 -67 0
-4 -15 26 -68 88 -93 96 0
-14 19 -32 50 -60 64 67 -69 -78 0
53 58 65 0
59 97 0
-8 -25 -62 72 90 97 98 0
41 49 52 59 -92 95 0
4 23 -29 -46 -48 -87 0
32 -49 -54 57 71 -82 0
-22 40 43 49 -65 0
-27 -56 -82 97 0
-12 47 -49 82 93 0
35 56 57 98 0
37 52 64 86 95 0
51 -54 96 0
19 -36 -80 -84 0
-15 -19 -31 88 0
-10 12 -13 23 -27 -30 34 -70 92 0
33 57 60 63 -66 0
72 -83 -94 0
5 9 -21 23 27 73 91 -96 0
-6 28 32 44 -61 -100 0
-45 -64 81 0
-25 74 84 -93 0
9 70 74 -77 0
6 9 11 -25 -41 0
-3 -8 -21 74 -89 100 0
-6 -48 -53 -60 -79 0
-23 85 90 -93 0
12 74 -76 -79 -100 0
31 55 -65 0
5 6 -21 59 67 0
3 19 0
73 -82 0
-17 64 -76 80 82 -85 93 0
-39 74 80 0
-6 -10 -14 41 -65 0
-43 -53 64 65 0
Reference in a new issue View git blame Copy permalink