{3} embed_person(person99) :- person(person99).
{3} embed_person(person82) :- person(person82).
{3} embed_person(person3) :- person(person3).
{3} embed_person(person51) :- person(person51).
{3} embed_person(person32) :- person(person32).
{3} embed_person(person96) :- person(person96).
{3} embed_person(person97) :- person(person97).
{3} embed_person(person68) :- person(person68).
{3} embed_person(person43) :- person(person43).
{3} embed_person(person101) :- person(person101).
{3} embed_person(person39) :- person(person39).
{3} embed_person(person63) :- person(person63).
{3} embed_person(person94) :- person(person94).
{3} embed_person(person28) :- person(person28).
{3} embed_person(person92) :- person(person92).
{3} embed_person(person15) :- person(person15).
{3} embed_person(person100) :- person(person100).
{3} embed_person(person35) :- person(person35).
{3} embed_person(person10) :- person(person10).
{3} embed_person(person47) :- person(person47).
{3} embed_person(person69) :- person(person69).
{3} embed_person(person21) :- person(person21).
{3} embed_person(person80) :- person(person80).
{3} embed_person(person40) :- person(person40).
{3} embed_person(person89) :- person(person89).
{3} embed_person(person50) :- person(person50).
{3} embed_person(person8) :- person(person8).
{3} embed_person(person58) :- person(person58).
{3} embed_person(person67) :- person(person67).
{3} embed_person(person23) :- person(person23).
{3} embed_person(person86) :- person(person86).
{3} embed_person(person85) :- person(person85).
{3} embed_person(person59) :- person(person59).
{3} embed_person(person29) :- person(person29).
{3} embed_person(person57) :- person(person57).
{3} embed_person(person16) :- person(person16).
{3} embed_person(person36) :- person(person36).
{3} embed_person(person75) :- person(person75).
{3} embed_person(person33) :- person(person33).
{3} embed_person(person24) :- person(person24).
{3} embed_person(person66) :- person(person66).
{3} embed_person(person18) :- person(person18).
{3} embed_person(person48) :- person(person48).
{3} embed_person(person52) :- person(person52).
{3} embed_person(person37) :- person(person37).
{3} embed_person(person55) :- person(person55).
{3} embed_person(person76) :- person(person76).
{3} embed_person(person27) :- person(person27).
{3} embed_person(person77) :- person(person77).
{3} embed_person(person19) :- person(person19).
{3} embed_person(person54) :- person(person54).
{3} embed_person(person73) :- person(person73).
{3} embed_person(person60) :- person(person60).
{3} embed_person(person6) :- person(person6).
{3} embed_person(person72) :- person(person72).
{3} embed_person(person14) :- person(person14).
{3} embed_person(person7) :- person(person7).
{3} embed_person(person13) :- person(person13).
{3} embed_person(person74) :- person(person74).
{3} embed_person(person49) :- person(person49).
{3} embed_person(person4) :- person(person4).
{3} embed_person(person41) :- person(person41).
{3} embed_person(person34) :- person(person34).
{3} embed_person(person95) :- person(person95).
{3} embed_person(person70) :- person(person70).
{3} embed_person(person84) :- person(person84).
{3} embed_person(person9) :- person(person9).
{3} embed_person(person103) :- person(person103).
{3} embed_person(person56) :- person(person56).
{3} embed_person(person45) :- person(person45).
{3} embed_person(person78) :- person(person78).
{3} embed_person(person5) :- person(person5).
{3} embed_person(person93) :- person(person93).
{3} embed_person(person87) :- person(person87).
{3} embed_person(person90) :- person(person90).
{3} embed_person(person53) :- person(person53).
{3} embed_person(person25) :- person(person25).
{3} embed_person(person65) :- person(person65).
{3} embed_person(person26) :- person(person26).
{3} embed_person(person98) :- person(person98).
{3} embed_person(person102) :- person(person102).
{3} embed_person(person12) :- person(person12).
{3} embed_person(person31) :- person(person31).
{3} embed_person(person46) :- person(person46).
{3} embed_person(person30) :- person(person30).
{3} embed_person(person61) :- person(person61).
{3} embed_person(person38) :- person(person38).
{3} embed_person(person62) :- person(person62).
{3} embed_person(person64) :- person(person64).
{3} embed_person(person88) :- person(person88).
{3} embed_person(person79) :- person(person79).
{3} embed_person(person20) :- person(person20).
{3} embed_person(person81) :- person(person81).
{3} embed_person(person2) :- person(person2).
{3} embed_person(person91) :- person(person91).
{3} embed_person(person1) :- person(person1).
{3} embed_person(person11) :- person(person11).
{3} embed_person(person44) :- person(person44).
{3} embed_person(person22) :- person(person22).
{3} embed_person(person42) :- person(person42).
{3} embed_person(person0) :- person(person0).
{3} embed_person(person83) :- person(person83).
{3} embed_person(person17) :- person(person17).
{3} embed_person(person71) :- person(person71).
{3} embed_rel(term19) :- rel(term19).
{3} embed_rel(term17) :- rel(term17).
{3} embed_rel(term5) :- rel(term5).
{3} embed_rel(term1) :- rel(term1).
{3} embed_rel(term4) :- rel(term4).
{3} embed_rel(term14) :- rel(term14).
{3} embed_rel(term7) :- rel(term7).
{3} embed_rel(term13) :- rel(term13).
{3} embed_rel(term16) :- rel(term16).
{3} embed_rel(term20) :- rel(term20).
{3} embed_rel(term22) :- rel(term22).
{3} embed_rel(term3) :- rel(term3).
{3} embed_rel(term15) :- rel(term15).
{3} embed_rel(term25) :- rel(term25).
{3} embed_rel(term11) :- rel(term11).
{3} embed_rel(term12) :- rel(term12).
{3} embed_rel(term0) :- rel(term0).
{3} embed_rel(term18) :- rel(term18).
{3} embed_rel(term10) :- rel(term10).
{3} embed_rel(term6) :- rel(term6).
{3} embed_rel(term8) :- rel(term8).
{3} embed_rel(term21) :- rel(term21).
{3} embed_rel(term2) :- rel(term2).
{3} embed_rel(term24) :- rel(term24).
{3} embed_rel(term9) :- rel(term9).