3. Ole Halvorsen Gravningen ble født 11 Feb 1836 , Nedre Hove, Notodden, Telemark, Norway; ble døpt 6 Mar 1836 , Lisleherad kirke, Notodden, Telemark, Norway; døde 12 Nov 1903.
Ole Halvorsen Gravningen (2.Halvor2, 1.Ole1) ble født 11 Feb 1836 , Nedre Hove, Notodden, Telemark, Norway; ble døpt 6 Mar 1836 , Lisleherad kirke, Notodden, Telemark, Norway; døde 12 Nov 1903.