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/jnh19.cnf
Simon Cruanes a08cda8c5b test: add a lot more tests (for SAT)
2021-08-02 16:05:35 -04:00

866 lines
23 KiB
INI
Raw Permalink Blame History

c File: jnh19.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: Not satisfiable
c
p cnf 100 850
-5 64 78 79 0
-27 62 68 0
-2 29 -53 0
-31 -41 52 53 -94 -98 0
-5 12 17 -22 32 -53 66 0
6 49 83 -88 0
-2 22 69 -71 -76 80 86 97 0
23 40 -58 -71 75 87 -90 96 0
-8 -28 -31 -47 0
-25 -34 -54 0
13 24 -25 -35 -38 41 -49 -51 -95 0
-8 23 45 -68 -72 0
6 -16 -24 -29 -61 74 0
-52 -54 78 0
4 -99 0
-7 11 -63 -66 -91 0
3 8 67 0
-15 -55 80 0
27 61 -75 -90 95 0
7 8 -20 -50 -62 79 0
4 7 9 41 79 -85 0
13 16 17 -49 51 -71 75 -90 0
3 -73 93 0
1 -47 67 -81 0
-6 9 -58 90 0
22 -74 0
2 37 -46 49 69 70 0
1 -43 79 98 100 0
25 -34 -46 -74 -87 -97 0
57 68 0
-7 16 26 -56 62 -98 0
52 71 72 0
-28 -48 59 -64 -83 85 90 -96 0
30 93 -95 0
-22 -32 75 77 -92 94 0
-18 -33 -100 0
12 51 -95 0
-77 -90 0
-9 -11 -34 36 -37 0
15 53 -54 -68 78 0
27 54 63 -75 -79 0
48 -51 -96 0
38 49 60 63 92 0
17 -31 35 -46 -51 0
-7 -16 -33 -38 0
56 57 -73 77 79 100 0
2 3 -18 -21 48 85 100 0
5 -20 -29 -66 -91 0
-1 13 -14 80 83 0
-5 7 8 -10 12 13 -15 -20 80 0
66 -72 -84 0
-58 79 -100 0
-9 -18 30 41 -59 0
-43 51 52 71 86 0
4 -22 57 -93 0
-36 41 58 -86 0
-6 -14 42 79 96 0
-33 39 61 75 -90 0
90 -94 0
-5 16 -55 -62 0
-28 -33 80 94 0
-11 -14 24 50 82 0
63 70 79 81 86 97 0
-17 -26 37 38 45 -55 -82 90 99 0
-9 28 -33 44 -61 66 -86 0
-3 44 48 -77 0
-17 -30 49 -61 86 0
-32 51 84 0
29 39 53 -59 62 80 -82 0
-18 38 67 0
1 -6 -20 28 -30 -80 0
12 100 0
42 84 0
-24 35 0
7 -22 -27 -31 44 49 -62 66 -88 92 0
9 -16 -84 0
27 -37 -48 -85 0
26 28 46 82 -85 92 0
12 -43 0
1 51 54 -81 87 0
-37 40 -50 0
24 25 56 0
23 29 44 59 66 -71 0
-6 -23 -83 0
15 20 29 -41 -82 85 0
3 5 -26 -28 37 -43 -47 -96 0
46 51 -66 -92 0
4 31 -66 -95 0
20 76 0
-43 -53 -76 83 -89 0
9 12 -19 25 77 -81 0
28 42 43 -78 0
-18 -22 50 51 -58 -63 -69 0
5 7 24 -37 44 -45 -82 91 -94 0
16 -27 -59 -65 -78 0
44 51 -52 90 -100 0
-13 -33 38 -45 -60 -64 -69 -99 0
36 -62 -76 -80 -84 94 0
47 54 -65 -94 96 0
24 -37 -64 -67 80 0
-5 -29 76 -81 88 89 0
-7 33 -43 63 65 78 79 95 99 0
58 71 74 76 -90 0
-6 -47 -70 -76 0
-5 -16 59 60 -66 87 0
18 56 82 -95 0
18 -39 47 69 75 0
-11 -30 43 -84 -91 0
75 -88 0
-13 -16 -37 -49 73 74 -85 0
15 47 -52 59 86 -87 -98 0
-24 27 -36 -39 -75 -80 86 87 0
18 -33 37 95 0
2 -3 -6 -84 89 0
-8 18 71 -93 0
5 17 41 -42 59 60 71 79 -87 -94 0
5 -11 -55 59 -67 70 -71 0
-12 -16 -28 -71 87 0
6 90 0
52 -65 82 0
17 -48 -57 89 0
-61 -63 69 0
25 26 -35 -58 -64 99 0
19 36 46 47 -50 -60 75 -86 0
-28 31 -37 40 95 0
-33 49 89 0
39 -46 55 -62 86 95 0
-6 24 0
15 -19 -41 44 50 -57 -60 81 -89 0
-8 21 -26 -42 45 -48 -78 0
-14 -23 34 -35 -53 -93 96 0
2 41 80 92 0
45 72 -100 0
-9 -35 90 0
-28 43 -80 0
2 -8 -50 0
-18 -27 47 -61 -73 0
3 -41 -55 61 68 95 -99 0
2 27 -95 0
2 12 -40 56 71 -77 -87 94 0
19 -20 -42 66 0
-32 -43 -48 0
-26 -81 0
22 -35 -50 0
-6 -24 27 -37 52 70 0
-34 -46 -52 75 80 96 98 0
37 77 82 97 0
-15 29 -31 -51 0
37 -38 50 95 0
3 19 21 -43 46 48 -69 0
26 -31 59 70 -72 -76 0
-4 -43 47 -64 77 0
-1 21 -31 -69 0
-20 -29 35 -89 0
-5 29 31 84 0
39 52 -72 -81 -88 92 0
-14 -43 -54 -71 74 -89 0
-32 -64 0
-1 -12 23 -65 85 -90 93 0
-11 16 -29 47 -57 61 64 -66 -75 0
50 55 62 0
56 94 0
-5 -22 -59 69 87 94 95 0
38 46 49 56 -89 92 0
1 20 -26 -43 -45 -84 0
29 -46 -51 54 68 -79 0
-19 37 40 46 -62 0
-24 -53 -79 94 0
-9 44 -46 79 90 0
32 53 54 95 0
34 49 61 83 92 0
48 -51 93 0
16 -33 -77 -81 0
-12 -16 -28 85 0
-7 9 -10 20 -24 -27 31 -67 89 0
30 54 57 60 -63 0
69 -80 -91 0
2 6 -18 20 24 70 88 -93 0
-3 25 29 41 -58 -97 0
-42 -61 78 0
-22 71 81 -90 0
6 67 71 -74 0
3 6 8 -22 -38 0
-5 -18 71 -86 97 0
-3 -45 -50 -57 -76 -100 0
-20 82 87 -90 0
9 71 -73 -76 -97 0
28 52 -62 0
2 3 -18 56 64 0
70 -79 100 0
-14 61 -73 77 79 -82 90 0
-36 71 77 0
-3 -7 -11 38 -62 0
-40 -50 61 62 0
-14 21 26 -31 41 -62 75 0
6 15 58 92 -97 0
5 -11 31 78 -80 -85 89 95 0
32 49 -67 -80 84 96 -99 0
-17 -37 -40 -56 0
-4 -34 -43 -63 0
22 33 -34 -44 -47 50 -58 -60 0
-17 32 54 -77 -81 0
15 -25 -33 -38 -70 83 0
-8 -61 -63 87 0
-16 20 -72 -75 -100 0
12 17 76 0
-24 -64 89 0
4 70 0
36 70 -84 -99 0
16 17 -29 -59 -71 88 0
13 16 18 50 88 -94 0
2 22 25 26 -58 60 -80 84 -99 0
12 -82 0
10 -56 76 -90 0
-15 18 -67 99 0
31 -83 0
7 9 11 46 -55 58 78 79 0
5 10 -52 88 0
34 -43 -55 -83 -96 0
-7 66 77 0
-16 25 35 -65 71 0
-5 61 80 81 0
2 -4 -37 -57 68 -73 -92 94 99 0
-1 3 39 0
-9 -31 -41 84 86 0
-4 -27 -42 0
21 60 0
-86 -99 0
-18 -20 -43 45 -46 0
24 62 -63 -77 87 0
-5 36 63 72 -84 -88 0
1 57 -60 0
47 58 69 72 0
26 -40 44 -55 -60 0
9 -16 -25 -42 -47 0
9 65 66 -82 86 88 0
11 12 -27 -30 57 94 0
14 -29 -38 -75 -100 0
-10 22 -23 89 92 0
-14 16 17 -19 21 22 -24 -29 89 0
-9 75 -81 -93 0
-67 88 0
-18 -27 39 50 -68 0
-2 -52 60 61 80 95 0
13 -31 66 0
5 -45 50 67 -95 0
-15 -23 51 88 0
-3 -42 48 70 84 -99 0
3 -14 25 -64 -71 0
-37 -42 89 0
6 -20 -23 33 59 91 0
8 72 79 88 90 95 0
-26 -35 46 47 54 -64 -91 99 0
-18 37 -42 53 -70 75 -95 0
-12 53 57 -86 0
-26 -39 58 -70 95 0
-41 60 93 0
38 48 62 -68 71 89 -91 0
-27 47 76 0
9 10 -15 -29 37 -39 -89 0
51 93 0
1 -33 44 0
16 -31 -36 -40 53 58 -71 75 -97 0
18 -25 -93 0
1 36 -46 -57 -94 0
35 37 55 91 -94 0
21 -52 0
10 60 63 -90 96 0
-46 49 -59 0
33 34 65 0
32 38 53 68 75 -80 0
-15 -32 -92 0
-5 24 29 38 -50 -91 94 0
-1 12 14 -35 -37 46 -52 -56 0
-4 55 60 -75 0
13 40 -75 0
29 85 0
-52 -62 -85 92 -98 0
18 21 -28 34 86 -90 0
37 51 52 -87 0
-3 -27 -31 59 60 -67 -72 -78 0
14 16 33 -46 53 -54 -91 100 0
-9 25 -36 -68 -74 -87 0
-8 53 60 -61 99 0
3 -22 -42 47 -54 -69 -73 -78 0
-3 5 45 -71 -85 -89 -93 0
56 63 -74 0
33 -46 -73 -76 89 0
4 8 -14 -38 85 -90 97 98 0
-16 42 -52 72 74 87 88 0
67 80 83 85 -99 0
-15 -56 -79 -85 0
-4 -14 -25 68 69 -75 96 0
27 65 91 0
27 -48 56 78 84 0
-20 -39 52 -93 -100 0
84 -97 0
-7 -22 -25 -46 -58 82 83 -94 0
24 56 -61 68 95 -96 0
4 -33 36 -45 -48 -84 -89 95 96 0
27 -42 46 0
-2 11 -12 -15 -93 98 0
-17 27 80 0
-3 -42 0
14 26 50 -51 68 69 80 88 -96 0
14 -20 -64 68 -76 79 -80 0
-21 -25 -37 -80 96 0
15 99 0
61 -74 91 0
26 -57 -66 98 0
8 -70 -72 78 0
34 35 -44 -67 -73 0
4 28 45 55 56 -59 -69 84 -95 0
-37 40 -46 49 0
4 -42 58 98 0
48 -55 64 -71 95 0
-15 33 0
24 -28 -50 53 59 -66 -69 90 -98 0
-2 5 -17 30 -35 -51 54 -57 -87 0
1 -23 -32 43 -44 -62 0
-9 11 50 89 0
54 81 0
-18 -44 99 0
-37 52 -89 0
11 -17 -59 0
4 -8 -27 -36 56 -70 -82 0
-4 12 -50 -64 70 77 0
11 36 0
3 -98 0
11 21 -49 65 80 -86 -96 0
28 -29 -51 75 0
-41 -52 -57 0
-35 -90 0
31 -44 -59 0
5 7 -15 -33 36 -46 61 79 0
6 -43 -55 -61 84 89 0
46 86 91 0
4 -24 38 -40 -60 0
46 -47 59 0
12 28 30 -52 55 57 -78 0
35 -40 68 79 -81 -85 0
-13 -52 56 -73 86 0
-10 30 -40 -78 0
-29 -38 44 -98 0
1 -14 38 40 93 0
48 61 -81 -90 -97 0
-23 -52 -63 -80 83 -98 0
2 -41 -73 0
-10 -21 32 -74 94 -99 0
-20 25 -38 56 -66 70 73 -75 -84 0
3 59 64 71 0
3 4 65 0
1 -14 -31 -68 78 96 0
47 55 58 65 -98 0
10 29 -35 -52 -54 -93 0
38 -55 -60 63 77 -88 0
3 -28 46 49 55 -71 0
-33 -62 -88 0
4 -18 53 -55 88 99 0
1 41 62 63 0
2 43 58 70 92 0
57 -60 0
25 -42 -86 -90 0
-21 -25 -37 94 0
-16 18 -19 29 -33 -36 40 -76 98 0
39 63 66 69 -72 0
-2 78 -89 -100 0
-6 11 15 -27 29 33 79 97 0
-12 34 38 50 -67 0
-51 -70 87 0
-31 80 90 -99 0
15 76 80 -83 0
6 12 15 17 -31 -47 0
-9 -14 -27 80 -95 0
-12 -54 -59 -66 -85 0
-6 -29 91 96 -99 0
18 80 -82 -85 0
37 61 -71 0
11 12 -27 65 73 0
9 25 0
79 -88 0
-23 70 -82 86 88 -91 99 0
-45 80 86 0
-12 -16 -20 47 -71 0
-49 -59 70 71 0
1 -6 -23 30 35 -40 50 -71 84 0
4 15 24 67 0
5 -8 14 -20 40 87 -89 -94 98 0
41 58 -76 -89 93 0
-26 -46 -49 -65 0
-13 -43 -52 -72 0
31 42 -43 -53 -56 59 -67 -69 0
-26 41 63 -86 -90 0
24 -34 -42 -47 -79 92 0
-17 -70 -72 96 0
-9 22 0
-25 29 -81 -84 0
21 26 85 0
-33 -73 98 0
-8 13 79 0
3 45 79 -93 0
-3 25 26 -38 -68 -80 97 0
-8 22 25 27 59 97 0
11 31 34 35 -67 69 -89 93 0
21 -91 0
8 19 -65 85 -99 0
-24 27 -76 0
40 -92 0
16 18 20 55 -64 67 87 88 0
14 19 -61 97 0
-5 -15 0
43 -52 -64 -92 0
-16 75 86 0
-25 34 44 -74 80 0
-1 3 8 -14 70 89 90 0
11 -13 -46 -66 77 -82 0
-10 12 48 0
-18 -40 -50 93 95 0
-13 -36 -51 0
-8 30 69 0
-27 -29 -52 54 -55 0
33 71 -72 -86 96 0
-14 45 72 81 -93 -97 0
10 66 -69 0
56 67 78 81 0
35 -49 53 -64 -69 0
18 -25 -34 -51 -56 0
3 18 74 75 -91 95 97 0
-9 20 21 -36 -39 66 0
1 23 -38 -47 -84 0
-19 31 -32 98 0
-2 -23 25 26 -28 30 31 -33 -38 98 0
-18 84 -90 0
-76 97 0
4 -27 -36 48 59 -77 0
-11 -61 69 70 89 0
-4 22 -40 75 0
14 -54 59 76 0
-8 -24 -32 60 97 0
8 -12 -51 57 79 93 0
12 -23 34 -73 -80 0
-46 -51 98 0
4 15 -29 -32 42 68 100 0
8 17 81 88 97 99 0
-4 -35 -44 55 56 63 -73 -100 0
-27 46 -51 62 -79 84 0
4 -21 62 66 -95 0
2 -35 -48 67 -79 0
-50 69 0
47 57 71 -77 80 98 -100 0
-36 56 85 0
18 19 -24 -38 46 -48 -98 0
2 30 0
-6 10 -42 53 0
-2 25 -40 -45 -49 62 67 -80 84 0
-3 27 -34 0
-3 10 45 -55 -66 0
44 46 64 100 0
5 30 -61 0
19 69 72 -99 0
-55 58 -68 0
42 43 74 0
-1 41 47 62 77 84 -89 0
3 -24 -41 0
-14 33 38 47 -59 -100 0
-10 21 23 -44 -46 55 -61 -65 0
-13 64 69 -84 0
22 49 -84 0
1 -7 38 94 0
-61 -71 -94 0
27 30 -37 43 95 -99 0
46 60 61 -96 0
9 -12 -36 -40 68 69 -76 -81 -87 0
23 25 42 -55 62 -63 -100 0
8 -18 34 -45 -77 -83 -96 0
-17 62 69 -70 0
-2 12 -31 -51 56 -63 -78 -82 -87 0
-12 14 54 -80 -94 -98 0
65 72 -83 0
6 7 42 -55 -82 -85 98 0
13 17 -23 -47 94 -99 0
-8 -25 51 -61 81 83 96 97 0
76 89 92 94 0
5 -24 -65 -88 -94 0
-13 -23 -34 77 78 -84 0
36 74 100 0
-2 -9 36 -57 65 87 93 0
-6 -29 -48 61 0
-3 93 0
4 -5 -16 -31 -34 -55 -67 91 92 0
4 5 33 65 -70 77 0
13 -42 45 -54 -57 -93 -98 0
-2 7 36 -51 55 0
-11 20 -21 -24 0
-26 36 89 0
-5 -12 -51 0
23 35 59 -60 77 78 89 97 0
5 23 -29 -73 77 -85 88 -89 0
8 -30 -34 -46 -89 0
7 70 -83 100 0
35 -66 -75 0
17 -79 -81 87 0
-4 43 44 -53 -76 -82 0
13 37 54 64 65 -68 -78 93 0
7 -46 49 -55 58 0
4 13 -51 67 0
57 -64 73 -80 0
-7 -24 42 0
33 -37 -59 62 68 -75 -78 99 0
-11 14 -26 39 -44 -60 63 -66 -96 0
10 -32 -41 52 -53 -71 0
-18 20 59 98 0
8 63 90 0
-27 -53 0
-46 61 -98 0
20 -26 -68 0
13 -17 -36 -45 65 -79 -91 0
-13 21 -59 -73 79 86 0
-7 20 45 0
-5 12 0
20 30 -58 74 89 -95 0
37 -38 -60 84 0
-50 -61 -66 0
-44 -99 0
40 -53 -68 0
14 16 -24 -42 45 -55 70 88 0
15 -52 -64 -70 93 98 0
55 95 100 0
13 -33 47 -49 -69 0
55 -56 68 0
21 37 39 -61 64 66 -87 0
44 -49 77 88 -90 -94 0
-22 -61 65 -82 95 0
-7 -19 39 -49 -87 0
2 -38 -47 53 0
-6 10 -23 47 49 0
-7 57 70 -90 -99 0
-32 -61 -72 -89 92 0
3 -8 11 -50 -82 0
-19 -30 41 -83 0
-29 34 -47 65 -75 79 82 -84 -93 0
12 68 73 80 0
5 12 13 74 0
-7 10 -23 -40 -77 87 0
-2 56 64 67 74 0
19 38 -44 -61 -63 0
47 -64 -69 72 86 -97 0
12 -37 55 58 64 -80 0
8 -42 -71 -97 0
13 -27 62 -64 97 0
1 10 50 71 72 0
11 52 67 79 0
66 -69 0
3 34 -51 -95 -99 0
7 -30 -34 -46 0
-25 27 -28 38 -42 -45 49 -85 0
-9 48 72 75 78 -81 0
6 -11 87 -98 0
-15 20 24 -36 38 42 88 0
-21 43 47 59 -76 0
-8 -60 -79 96 0
-40 89 99 0
24 85 89 -92 0
-4 15 21 24 26 -40 -56 0
-18 -23 -36 89 0
5 -8 -21 -63 -68 -75 -94 0
-15 -38 100 0
27 89 -91 -94 0
46 70 -80 0
20 21 -36 74 82 0
18 34 0
8 88 -97 0
-32 79 -91 95 97 -100 0
-54 89 95 0
-21 -25 -29 56 -80 0
-58 -68 79 80 0
10 -15 -32 39 44 -49 59 -80 93 0
-3 7 13 24 33 76 0
2 14 -17 23 -29 49 96 -98 0
50 67 -85 -98 0
-35 -55 -58 -74 0
-22 -52 -61 -81 0
40 51 -52 -62 -65 68 -76 -78 0
1 -35 50 72 -95 -99 0
5 33 -43 -51 -56 -88 0
-26 -79 -81 0
-18 31 0
-34 38 -90 -93 0
7 30 35 94 0
-42 -82 0
-2 -17 22 88 0
12 54 88 0
6 -12 34 35 -47 -77 -89 0
2 -17 31 34 36 68 0
20 40 43 44 -76 78 -98 0
-8 30 -100 0
17 28 -74 94 0
-1 -33 36 -85 0
6 25 27 29 64 -73 76 96 97 0
23 28 -70 0
-1 -14 -24 0
52 -61 -73 0
-25 84 95 0
-34 43 53 -83 89 0
-10 12 17 -23 79 98 99 0
20 -22 -55 -75 86 -91 0
2 4 -19 21 57 0
-27 -49 -59 0
-22 -45 -60 0
-4 -17 39 78 0
5 -36 -38 -61 63 -64 0
-2 -6 42 80 -81 -95 0
-23 54 81 90 0
19 75 -78 0
65 76 87 90 0
44 -58 62 -73 -78 0
4 6 27 -34 -43 -60 -65 0
12 27 83 84 -100 0
-18 29 30 -45 -48 75 0
7 10 32 -47 -56 -93 0
7 -28 40 -41 0
-11 -32 34 35 -37 39 40 -42 -47 0
6 -27 93 -99 0
13 -36 -45 57 68 -86 0
-20 -70 78 79 98 0
-13 31 -49 84 0
6 23 -63 68 85 0
2 -17 -33 -41 69 0
17 -21 -60 66 88 0
7 21 -32 43 -82 -89 0
9 -55 -60 0
6 8 13 24 -38 -41 51 77 0
-9 17 26 90 97 0
-13 -44 -53 64 65 72 -82 0
-4 -36 55 -60 71 -88 93 0
13 -30 71 75 0
11 -44 -57 76 -88 0
7 -9 -59 78 0
56 66 80 -86 89 0
-7 -45 65 94 0
27 28 -33 -47 55 -57 0
11 39 0
-15 19 -51 62 0
-11 34 -49 -54 -58 71 76 -89 93 0
-12 36 -43 0
9 -12 19 54 -64 -75 0
53 55 73 0
-8 14 39 -70 0
28 78 81 0
-64 67 -77 0
51 52 83 0
-10 50 56 71 86 93 -98 0
-9 12 -33 -50 0
-23 42 47 56 -68 0
-19 30 32 -53 -55 64 -70 -74 0
-22 73 78 -93 0
3 31 58 -93 0
-3 10 -16 47 0
4 -8 -70 -80 0
-5 36 39 -46 52 0
55 69 70 0
-9 18 -21 -45 -49 77 78 -85 -90 -96 0
-5 32 34 51 -64 71 -72 0
17 -27 43 -54 -86 -92 0
-26 71 78 -79 0
-3 -7 -11 21 -40 -60 65 -72 -87 -91 -96 0
-21 23 63 -89 0
7 74 81 -92 0
3 -8 15 16 51 -64 -91 -94 0
5 6 22 26 -32 -56 0
1 3 -17 -34 60 -70 90 92 0
-3 85 98 0
14 -33 -74 -97 0
9 -22 -32 -43 86 87 -93 0
2 45 83 0
-11 -18 45 -66 74 96 0
2 -15 -38 -57 70 0
1 -12 0
13 -14 -25 -40 -43 -64 -76 100 0
-2 -7 13 14 42 74 -79 86 0
22 -51 54 -63 -66 0
-11 16 45 -60 64 0
-20 29 -30 -33 0
-35 45 98 0
6 -14 -21 -60 0
32 44 68 -69 86 87 98 0
14 32 -38 -82 86 -94 97 -98 0
17 -39 -43 -55 -98 0
9 33 0
16 79 -92 0
44 -75 -84 0
26 -88 -90 96 0
2 -13 52 53 -62 -85 -91 0
22 46 63 73 74 -77 -87 0
16 -55 58 -64 67 0
13 22 -60 76 0
66 -73 82 -89 0
8 -16 -33 51 0
-5 42 -46 -68 71 77 -84 -87 0
-20 23 -35 48 -53 -69 72 -75 0
7 19 -41 -50 61 -62 -80 0
-27 29 68 0
17 72 99 0
-7 -36 -62 0
-55 70 0
29 -35 -77 0
22 -26 -45 -54 74 -88 -100 0
-22 30 -68 -82 88 95 0
-16 29 54 0
-4 -14 21 0
29 39 -67 83 98 0
46 -47 -69 93 0
-8 -59 -70 -75 0
49 -62 -77 0
2 7 23 25 -33 -51 54 -64 79 97 0
4 9 24 -61 -73 -79 0
22 -42 56 -58 -78 0
64 -65 77 0
-3 30 46 48 -70 73 75 -96 0
4 53 -58 86 97 -99 0
-31 -70 74 -91 0
-16 -28 48 -58 -96 0
11 -47 -56 62 0
-8 -15 19 -32 56 58 0
1 -16 66 79 -99 0
-41 -70 -81 -98 0
12 -17 20 -59 -91 0
-2 -28 -39 50 -92 0
-38 43 -56 74 -84 88 91 -93 0
21 77 82 89 0
14 21 22 83 0
-16 19 -32 -49 -86 96 0
-11 65 73 76 83 0
-6 28 47 -53 -70 -72 0
56 -73 -78 81 95 0
-6 21 -46 64 67 73 -89 0
6 17 -51 -80 0
22 -36 71 -73 0
10 19 59 80 81 0
20 61 76 88 0
-9 75 -78 0
-4 -8 0
12 43 -60 0
16 -39 -43 -55 0
-34 36 -37 47 -51 -54 58 -94 0
-7 -18 57 81 84 87 -90 0
15 -20 96 0
-24 29 33 -45 47 51 97 0
5 -30 52 56 68 -85 0
8 -17 -69 -88 0
-1 -49 98 0
33 94 98 0
-13 24 30 33 35 -49 -65 0
-3 -27 -32 -45 98 0
9 14 -17 -30 -72 -77 -84 0
-3 -24 -47 0
36 98 -100 0
55 79 -89 0
29 30 -45 83 91 0
-6 27 43 0
4 6 -9 17 97 0
4 -41 88 -100 0
-63 98 0
-30 -34 -38 65 -89 0
2 -67 -77 88 89 0
19 -24 -41 48 53 -58 68 -89 0
5 -7 -12 16 22 33 42 85 0
-7 11 23 -26 32 -38 58 0
59 76 -94 0
-44 -64 -67 -83 0
-31 -61 -70 -90 0
-4 -8 49 60 -61 -71 -74 77 -85 -87 0
10 -44 59 81 0
14 42 -52 -60 -65 -97 0
-35 -88 -90 0
-2 -27 40 0
3 -43 47 -99 0
16 39 44 0
-51 -91 0
-11 -26 31 97 0
21 63 97 0
15 -21 43 44 -56 -86 -98 0
-7 11 -26 40 43 45 77 0
-9 29 49 52 53 -85 87 0
3 -17 39 0
26 37 -83 0
-10 -42 45 -94 0
5 6 58 0
15 34 36 38 73 -82 85 0
32 37 -79 0
-10 -23 -33 0
4 61 -70 -82 0
-34 93 0
7 8 -43 52 62 -92 98 0
-19 21 26 -32 88 0
29 -31 -64 -84 95 -100 0
11 13 -28 30 66 0
-36 -58 -68 0
-31 -54 -69 0
-13 -26 48 87 0
-4 14 -45 -47 -70 72 -73 0
-11 -15 51 89 -90 0
-32 63 90 99 0
28 84 -87 0
74 85 96 99 0
53 -67 71 -82 -87 0
-9 13 15 36 -43 -52 -69 -74 0
21 36 92 93 0
-2 -27 38 39 -54 -57 84 0
16 19 41 -56 -65 0
16 -37 49 -50 0
2 -8 -20 -41 43 44 -46 48 49 -51 -56 0
15 -36 0
7 22 -45 -54 66 77 -95 0
-29 -79 87 88 0
-22 40 -58 93 0
15 32 -72 77 94 0
11 -26 -42 -50 78 0
26 -30 -69 75 97 0
16 30 -41 52 -91 -98 0
18 -64 -69 0
6 15 17 22 33 -47 -50 60 86 0
-18 26 35 99 0
2 -22 -53 -62 73 74 81 -91 0
-13 -45 64 -69 80 -97 0
22 -39 80 84 0
20 -53 -66 85 -97 0
16 -18 -68 87 0
3 65 75 89 -95 98 0
-16 -54 74 0
36 37 -42 -56 64 -66 0
20 48 0
2 -24 28 -60 71 0
-20 43 -58 -63 -67 80 85 -98 0
-21 45 -52 0
18 -21 28 63 -73 -84 0
62 64 82 0
-17 23 48 -79 0
37 87 90 0
-73 76 -86 0
2 -7 60 61 92 0
-19 59 65 80 95 0
-18 21 -42 -59 0
-32 51 56 65 -77 0
-2 -28 39 41 -62 -64 73 -79 -83 0
-2 -31 82 87 0
12 40 67 0
-12 19 -25 56 0
13 -17 -79 -89 0
-14 45 48 -55 61 0
Reference in a new issue View git blame Copy permalink