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

g0 :- p(0,1).