c Pebbling formula of: Pyramid of height 10 c c Generated with `cnfgen` c (C) 2012-2016 Massimo Lauria c https://massimolauria.github.io/cnfgen c c COMMAND LINE: cnfgen peb --pyramid 10 c p cnf 66 67 1 0 2 0 3 0 4 0 5 0 6 0 7 0 8 0 9 0 10 0 11 0 -1 -2 12 0 -2 -3 13 0 -3 -4 14 0 -4 -5 15 0 -5 -6 16 0 -6 -7 17 0 -7 -8 18 0 -8 -9 19 0 -9 -10 20 0 -10 -11 21 0 -12 -13 22 0 -13 -14 23 0 -14 -15 24 0 -15 -16 25 0 -16 -17 26 0 -17 -18 27 0 -18 -19 28 0 -19 -20 29 0 -20 -21 30 0 -22 -23 31 0 -23 -24 32 0 -24 -25 33 0 -25 -26 34 0 -26 -27 35 0 -27 -28 36 0 -28 -29 37 0 -29 -30 38 0 -31 -32 39 0 -32 -33 40 0 -33 -34 41 0 -34 -35 42 0 -35 -36 43 0 -36 -37 44 0 -37 -38 45 0 -39 -40 46 0 -40 -41 47 0 -41 -42 48 0 -42 -43 49 0 -43 -44 50 0 -44 -45 51 0 -46 -47 52 0 -47 -48 53 0 -48 -49 54 0 -49 -50 55 0 -50 -51 56 0 -52 -53 57 0 -53 -54 58 0 -54 -55 59 0 -55 -56 60 0 -57 -58 61 0 -58 -59 62 0 -59 -60 63 0 -61 -62 64 0 -62 -63 65 0 -64 -65 66 0 -66 0