c 1 v1 c 2 v2 c 3 v3 c 4 v4 c 5 v5 c 6 v6 c 7 v7 c 8 v8 c 9 v9 c 10 v10 c 11 v11 c 12 v12 c 13 v13 c 14 v14 c 15 v15 c 16 v16 c 17 v17 c 18 v18 c 19 v19 c 20 v20 c 21 v21 c 22 v22 c 23 v23 c 24 v24 c 25 v25 c 26 v26 c 27 v27 c 28 v28 c 29 v29 c 30 v30 c 31 v31 c 32 v32 c 33 v33 c 34 v34 c 35 v35 c 36 v36 c 37 v37 c 38 v38 c 39 v39 c 40 v40 c 41 v41 c 42 v42 c 43 v43 c 44 v44 c 45 v45 c 46 v46 c 47 v47 c 48 v48 c 49 v49 c 50 v50 c 51 v51 c 52 v52 c 53 v53 c 54 v54 c 55 v55 c 56 v56 c 57 v57 c 58 v58 c 59 v59 c 60 v60 c 61 v61 c 62 v62 c 63 v63 c 64 v64 p cnf 64 598 -8 -50 -41 0 -32 -5 -35 0 -49 -57 -10 0 -49 -56 -10 0 -19 -4 -29 0 -8 -50 -49 0 -8 -49 -54 0 -58 -41 -9 0 -21 -23 -4 0 -21 -23 -2 0 -8 -58 -49 0 -48 -8 -56 0 -14 -3 -26 0 -56 -9 -45 0 -22 -21 -2 0 -58 -41 -10 0 -27 -3 -18 0 -3 -17 -29 0 -36 -33 -7 0 -8 -49 -55 0 -40 -55 -9 0 -40 -55 -10 0 -21 -24 -2 0 -44 -8 -52 0 -21 -24 -4 0 -48 -8 -57 0 -32 -7 -35 0 -31 -39 -7 0 -36 -34 -7 0 -42 -58 -9 0 -6 -38 -33 0 -36 -34 -5 0 -56 -10 -45 0 -6 -38 -32 0 -52 -41 -10 0 -27 -4 -18 0 -22 -15 -2 0 -52 -41 -9 0 -48 -8 -58 0 -15 -4 -28 0 -8 -49 -51 0 -42 -56 -10 0 -42 -56 -9 0 -19 -3 -29 0 -46 -59 -10 0 -46 -59 -9 0 -21 -22 -4 0 -42 -58 -10 0 -15 -3 -28 0 -47 -53 -10 0 -40 -59 -10 0 -40 -59 -9 0 -44 -8 -51 0 -16 -4 -29 0 -8 -49 -57 0 -47 -59 -9 0 -47 -59 -10 0 -44 -51 -10 0 -59 -41 -10 0 -59 -41 -9 0 -20 -26 -2 0 -20 -26 -4 0 -44 -8 -50 0 -25 -3 -17 0 -16 -3 -29 0 -31 -37 -6 0 -31 -37 -7 0 -36 -32 -5 0 -36 -32 -7 0 -14 -4 -28 0 -56 -9 -43 0 -41 -51 -9 0 -37 -33 -7 0 -44 -54 -9 0 -46 -56 -9 0 -46 -8 -56 0 -16 -4 -28 0 -14 -3 -28 0 -56 -10 -43 0 -23 -2 -18 0 -8 -50 -43 0 -46 -8 -55 0 -21 -25 -2 0 -21 -25 -4 0 -42 -57 -10 0 -31 -36 -6 0 -31 -36 -5 0 -42 -57 -9 0 -8 -53 -45 0 -16 -3 -28 0 -50 -49 -10 0 -42 -55 -10 0 -14 -24 -4 0 -14 -24 -3 0 -25 -4 -18 0 -59 -9 -43 0 -42 -55 -9 0 -40 -51 -10 0 -40 -51 -9 0 -6 -34 -39 0 -44 -52 -10 0 -37 -5 -33 0 -46 -8 -54 0 -47 -8 -54 0 -58 -49 -10 0 -48 -59 -10 0 -44 -53 -10 0 -48 -59 -9 0 -24 -4 -18 0 -15 -3 -26 0 -16 -3 -26 0 -3 -26 -18 0 -8 -51 -41 0 -39 -33 -7 0 -58 -9 -45 0 -4 -18 -29 0 -47 -8 -52 0 -14 -26 -4 0 -42 -54 -10 0 -8 -54 -45 0 -42 -54 -9 0 -47 -8 -55 0 -15 -26 -4 0 -42 -50 -10 0 -8 -55 -45 0 -25 -2 -18 0 -14 -25 -4 0 -14 -25 -3 0 -15 -25 -3 0 -37 -32 -5 0 -46 -53 -10 0 -8 -53 -43 0 -58 -9 -43 0 -15 -25 -4 0 -27 -14 -3 0 -57 -9 -45 0 -47 -8 -53 0 -48 -51 -10 0 -46 -8 -53 0 -24 -2 -18 0 -8 -50 -45 0 -27 -14 -4 0 -34 -38 -5 0 -34 -38 -7 0 -53 -10 -45 0 -57 -41 -9 0 -44 -55 -10 0 -54 -41 -9 0 -44 -55 -9 0 -54 -41 -10 0 -57 -41 -10 0 -48 -53 -10 0 -48 -52 -10 0 -30 -6 -39 0 -58 -10 -43 0 -57 -10 -45 0 -30 -39 -7 0 -46 -8 -52 0 -44 -8 -54 0 -4 -17 -29 0 -47 -8 -57 0 -19 -3 -28 0 -3 -17 -28 0 -27 -19 -2 0 -27 -19 -3 0 -3 -18 -29 0 -49 -51 -10 0 -8 -51 -45 0 -39 -32 -7 0 -27 -15 -4 0 -48 -50 -10 0 -27 -15 -3 0 -8 -59 -49 0 -37 -30 -7 0 -37 -30 -6 0 -46 -52 -10 0 -8 -51 -43 0 -44 -8 -53 0 -8 -40 -50 0 -42 -51 -10 0 -46 -51 -10 0 -58 -10 -45 0 -46 -58 -10 0 -46 -57 -9 0 -46 -58 -9 0 -46 -57 -10 0 -26 -2 -18 0 -53 -9 -43 0 -47 -8 -56 0 -19 -4 -28 0 -42 -8 -51 0 -14 -23 -3 0 -14 -23 -4 0 -53 -41 -10 0 -53 -41 -9 0 -42 -8 -50 0 -16 -23 -4 0 -30 -6 -38 0 -48 -56 -10 0 -40 -50 -9 0 -16 -23 -2 0 -14 -22 -3 0 -14 -22 -2 0 -54 -10 -45 0 -16 -22 -4 0 -20 -25 -4 0 -20 -25 -2 0 -48 -58 -9 0 -48 -8 -51 0 -19 -25 -2 0 -16 -22 -2 0 -19 -25 -4 0 -55 -9 -45 0 -14 -3 -29 0 -21 -3 -29 0 -20 -4 -29 0 -55 -9 -43 0 -47 -50 -10 0 -31 -6 -39 0 -30 -5 -35 0 -15 -3 -29 0 -44 -59 -10 0 -44 -59 -9 0 -4 -17 -28 0 -40 -58 -10 0 -14 -4 -29 0 -21 -2 -29 0 -40 -58 -9 0 -55 -10 -43 0 -20 -3 -29 0 -30 -6 -35 0 -46 -50 -10 0 -15 -4 -29 0 -20 -24 -4 0 -20 -24 -2 0 -22 -20 -4 0 -22 -20 -2 0 -44 -57 -9 0 -21 -26 -2 0 -44 -57 -10 0 -21 -26 -4 0 -47 -8 -50 0 -37 -6 -32 0 -11 -62 -61 0 -11 -62 -60 0 -27 -21 -2 0 -55 -41 -10 0 -55 -41 -9 0 -27 -21 -4 0 -22 -19 -2 0 -23 -19 -4 0 -59 -10 -43 0 -15 -23 -2 0 -15 -23 -3 0 -23 -19 -2 0 -22 -19 -4 0 -57 -10 -43 0 -16 -27 -3 0 -8 -52 -43 0 -24 -19 -2 0 -15 -22 -4 0 -16 -25 -3 0 -16 -25 -4 0 -34 -7 -35 0 -16 -27 -4 0 -47 -8 -51 0 -20 -3 -28 0 -48 -57 -10 0 -47 -58 -9 0 -47 -58 -10 0 -16 -26 -4 0 -48 -55 -10 0 -44 -58 -10 0 -22 -4 -17 0 -44 -58 -9 0 -57 -9 -43 0 -48 -8 -50 0 -48 -54 -10 0 -59 -9 -45 0 -20 -2 -28 0 -23 -20 -2 0 -42 -53 -9 0 -42 -53 -10 0 -38 -5 -33 0 -16 -24 -3 0 -19 -24 -4 0 -16 -24 -2 0 -34 -5 -35 0 -44 -56 -9 0 -59 -10 -45 0 -44 -56 -10 0 -63 -7 -10 -61 0 -15 -24 -4 0 -15 -24 -3 0 -24 -2 -17 0 -63 -12 -60 0 -63 -12 -61 0 -31 -7 -35 0 -8 -52 -45 0 -48 -8 -53 0 -50 -41 -10 0 -27 -3 -17 0 -31 -6 -38 0 -22 -2 -17 0 -63 -13 -60 0 -23 -4 -18 0 -4 -18 -28 0 -47 -55 -10 0 -52 -49 -10 0 -42 -59 -10 0 -48 -8 -52 0 -42 -59 -9 0 -3 -18 -28 0 -22 -4 -18 0 -62 -13 -61 0 -12 -62 -60 0 -8 -56 -49 0 -51 -10 -45 0 -53 -40 -9 0 -53 -40 -10 0 -8 -52 -49 0 -40 -54 -9 0 -40 -54 -10 0 -53 -49 -10 0 -30 -38 -7 0 -56 -41 -10 0 -56 -41 -9 0 -31 -38 -7 0 -36 -5 -33 0 -42 -52 -9 0 -3 -26 -17 0 -40 -56 -10 0 -38 -32 -7 0 -40 -56 -9 0 -52 -10 -45 0 -63 -11 -61 0 -39 -34 -5 0 -49 -59 -9 0 -37 -34 -7 0 -22 -2 -18 0 -46 -55 -10 0 -37 -34 -5 0 -25 -2 -17 0 -5 -33 -35 0 -47 -52 -10 0 -44 -50 -10 0 -31 -5 -35 0 -46 -54 -10 0 -23 -2 -17 0 -27 -20 -4 0 -47 -51 -10 0 -27 -20 -2 0 -46 -8 -51 0 -21 -4 -28 0 -42 -8 -52 0 -7 -62 -10 -60 0 -20 -23 -4 0 -30 -36 -6 0 -51 -10 -43 0 -30 -36 -7 0 -52 -40 -10 0 -52 -40 -9 0 -48 -8 -55 0 -33 -7 -35 0 -49 -55 -10 0 -49 -54 -10 0 -50 -10 -45 0 -54 -9 -43 0 -47 -54 -10 0 -26 -4 -17 0 -6 -39 -32 0 -47 -57 -9 0 -48 -8 -54 0 -21 -2 -28 0 -23 -4 -17 0 -24 -4 -17 0 -47 -56 -10 0 -40 -57 -10 0 -54 -10 -43 0 -19 -26 -4 0 -19 -26 -2 0 -40 -57 -9 0 -52 -10 -43 0 -50 -10 -43 0 -8 -53 -49 0 -27 -4 -17 0 -46 -8 -50 0 -6 -39 -33 0 -3 -29 0 -9 -40 0 -6 -39 0 -6 -30 0 -2 -21 0 -8 -49 0 -8 -50 0 -11 -61 0 -12 -63 0 -5 -35 0 -5 -34 0 -3 -14 0 -12 -60 0 -11 -62 0 -2 -22 0 -9 -59 0 1 2 3 0 -1 -2 0 -1 -3 0 -2 -3 0 4 5 6 0 -4 -5 0 -4 -6 0 -5 -6 0 7 8 9 0 -7 -8 0 -7 -9 0 -8 -9 0 10 11 12 0 -10 -11 0 -10 -12 0 -11 -12 0 13 14 15 16 17 18 19 20 0 -13 -14 0 -13 -15 0 -13 -16 0 -13 -17 0 -13 -18 0 -13 -19 0 -13 -20 0 -14 -15 0 -14 -16 0 -14 -17 0 -14 -18 0 -14 -19 0 -14 -20 0 -15 -16 0 -15 -17 0 -15 -18 0 -15 -19 0 -15 -20 0 -16 -17 0 -16 -18 0 -16 -19 0 -16 -20 0 -17 -18 0 -17 -19 0 -17 -20 0 -18 -19 0 -18 -20 0 -19 -20 0 21 22 23 24 25 26 27 28 0 -21 -22 0 -21 -23 0 -21 -24 0 -21 -25 0 -21 -26 0 -21 -27 0 -21 -28 0 -22 -23 0 -22 -24 0 -22 -25 0 -22 -26 0 -22 -27 0 -22 -28 0 -23 -24 0 -23 -25 0 -23 -26 0 -23 -27 0 -23 -28 0 -24 -25 0 -24 -26 0 -24 -27 0 -24 -28 0 -25 -26 0 -25 -27 0 -25 -28 0 -26 -27 0 -26 -28 0 -27 -28 0 29 30 31 32 33 0 -29 -30 0 -29 -31 0 -29 -32 0 -29 -33 0 -30 -31 0 -30 -32 0 -30 -33 0 -31 -32 0 -31 -33 0 -32 -33 0 34 35 36 37 38 0 -34 -35 0 -34 -36 0 -34 -37 0 -34 -38 0 -35 -36 0 -35 -37 0 -35 -38 0 -36 -37 0 -36 -38 0 -37 -38 0 39 40 41 42 43 44 45 46 47 48 0 -39 -40 0 -39 -41 0 -39 -42 0 -39 -43 0 -39 -44 0 -39 -45 0 -39 -46 0 -39 -47 0 -39 -48 0 -40 -41 0 -40 -42 0 -40 -43 0 -40 -44 0 -40 -45 0 -40 -46 0 -40 -47 0 -40 -48 0 -41 -42 0 -41 -43 0 -41 -44 0 -41 -45 0 -41 -46 0 -41 -47 0 -41 -48 0 -42 -43 0 -42 -44 0 -42 -45 0 -42 -46 0 -42 -47 0 -42 -48 0 -43 -44 0 -43 -45 0 -43 -46 0 -43 -47 0 -43 -48 0 -44 -45 0 -44 -46 0 -44 -47 0 -44 -48 0 -45 -46 0 -45 -47 0 -45 -48 0 -46 -47 0 -46 -48 0 -47 -48 0 49 50 51 52 53 54 55 56 57 58 0 -49 -50 0 -49 -51 0 -49 -52 0 -49 -53 0 -49 -54 0 -49 -55 0 -49 -56 0 -49 -57 0 -49 -58 0 -50 -51 0 -50 -52 0 -50 -53 0 -50 -54 0 -50 -55 0 -50 -56 0 -50 -57 0 -50 -58 0 -51 -52 0 -51 -53 0 -51 -54 0 -51 -55 0 -51 -56 0 -51 -57 0 -51 -58 0 -52 -53 0 -52 -54 0 -52 -55 0 -52 -56 0 -52 -57 0 -52 -58 0 -53 -54 0 -53 -55 0 -53 -56 0 -53 -57 0 -53 -58 0 -54 -55 0 -54 -56 0 -54 -57 0 -54 -58 0 -55 -56 0 -55 -57 0 -55 -58 0 -56 -57 0 -56 -58 0 -57 -58 0 59 60 0 -59 -60 0 61 62 0 -61 -62 0 63 64 0 -63 -64 0