Question: Lee Hae-in is a part of the girl group formed by the company that was formerly known as what?

full_context: Document 1: I.O.I: I.O.I (; also known as IOI or Ideal of Idol) was a South Korean girl group formed by CJ E&M through the 2016 reality show "Produce 101" on Mnet. The group was composed of eleven members chosen from a pool of 101 trainees from various entertainment companies: Lim Na-young, Kim Chung-ha, Kim Se-jeong, Jung Chae-yeon, Zhou Jieqiong, Kim So-hye, Yu Yeon-jung, Choi Yoo-jung, Kang Mi-na, Kim Do-yeon and Jeon So-mi. They debuted on May 4, 2016 with the EP "Chrysalis" and actively promoted as a whole and as a sub-unit for less than a year.
Document 2: Lee Hae-in (singer): Lee Hae-in (born July 4, 1994) is a South Korean singer and actress. She debuted in project girl group I.B.I, a project girl group that consists of Produce 101 eliminated contestants formed by LOEN Entertainment, which debuted in August 2016. In 2017, she joined another survival girl group show, Idol School as a contestant.
Document 3: S.M. Entertainment: S.M. Entertainment () is a South Korean entertainment company established in 1995 by Lee Soo-man. It is currently one of the largest entertainment companies in South Korea. The company operates as a record label, talent agency, music production company, event management and concert production company, and music publishing house.
Document 4: Lee Hi discography: Korean singer Lee Hi is a South Korean singer under YG Entertainment. She is known as the runner-up of SBS's "K-pop Star Season 1". Her debut single "1.2.3.4", was released on October 28, 2012 and reached No. 1 with first-week sales of 667,549 downloads. On March 28, 2013 Lee Hi released her first album, which sold 17,309 copies and total 5,488,390 digital singles. On the end of 2013 Lee Hi released a collaboration with Park Bom of 2NE1, a cover of Mariah Carey's single "All I Want for Christmas Is You". In 2014 she made a unit with Akdong Musician's Lee Suhyun, and released "I'm Different" features Bobby of iKON. After three years from her first album, Lee Hi released a half album titled "Seoulite" digitally on March 9, 2016, including five songs. The full album "Seoulite" was released on 20 April and has 11 songs.
Document 5: IU (singer): Lee Ji-eun (Korean: 이지은 ; born May 16, 1993), better known by her stage name IU (Korean: 아이유 ), is a South Korean singer, songwriter and actress. While still in middle school, IU auditioned for various talent agencies with ambitions of becoming a singer. She signed with LOEN Entertainment in 2007 as a trainee and began her music career at the age of 15 with her debut album, "Lost and Found". Her follow-up albums, "Growing Up" and "IU...IM", brought her mainstream success, but it was through "Good Day" (Korean: 좋은 날 ), the lead single from her 2010 album "Real", that she achieved national stardom. "Good Day" spent five consecutive weeks at the top position of South Korea's Gaon Digital Chart and holds the record for spending the most number of weeks at No. 1 along with Psy's "Gangnam Style".
Document 6: JYP Entertainment: JYP Entertainment Corporation (Korean: JYP 엔터테인먼트) is a South Korean entertainment company established by Park Jin-young in 1997. The company operates as a record label, talent agency, music production company, event management and concert production company, and music publishing house. It is currently one of the largest entertainment companies in South Korea.
Document 7: Samsung: Samsung Group (Hangul:  ; Hanja:  ; ] ) is a South Korean multinational conglomerate headquartered in Samsung Town, Seoul. It comprises numerous affiliated businesses, most of them united under the "Samsung" brand, and is the largest South Korean "chaebol" (business conglomerate).
Document 8: Lotte Entertainment: Lotte Entertainment (Hangul: 롯데 엔터테인먼트) is a South Korean film production and distribution company. Established in the Republic of Korea, the company has distributed films throughout South Korea since their founding in September 2003. It is a subsidiary company of Lotte Group.
Document 9: Lee Hae-in (actress): Lee Ji-young (Hangul: 이지영; born on April 19, 1986) better known by her stage name Lee Hae-in is a South Korean actress and singer. She is former member of South Korean girl group Gangkiz.
Document 10: FNC Entertainment: FNC Entertainment (; stands for "fish and cake") is a South Korean entertainment company established in 2006 by singer-turned-producer Han Seong-ho. The label operates as a record label, talent agency, music production company, event management and concert production company, and music publishing house. The label previously known as FNC Music, which only managing musicians and later changed its name to FNC Entertainment in 2012 and began to broaden their business field of entertainment. It has since January 2012, been based in its own company offices in Cheongdam-dong.
Document 11: Hani (singer): Ahn Hee-yeon (Hangul: 안희연; born May 1, 1992), better known by her stage name Hani, is a South Korean singer and television personality. She is known as a member of the South Korean girl group EXID and its subgroup, Dasoni. She was also a cast member in several variety shows such as "Off to School", "Crime Scene" and "A Style for You" and has also hosted "Weekly Idol".
Document 12: LOEN Entertainment: LOEN Entertainment (Hangul: 로엔 엔터테인먼트 ), formerly Seoul Records (Hangul: 서울 음반 ), is a South Korean entertainment company established by Min Yeong-bin in 1978. It is headquartered in Tehran Boulevard, Gangnam, Seoul. The company operates as a record label, talent agency, music production company, event management and concert production company, and music publishing house.
Document 13: Around Us Entertainment: Around Us Entertainment is a South Korean independent entertainment company established by Yoon Doo-joon, Yang Yo-seob, Yong Jun-hyung, Lee Gi-kwang, Son Dong-woon from boy group Highlight, formerly known as BEAST, after leaving their former label Cube Entertainment.
Document 14: Kim Chung-ha: Kim Chung-ha (born Kim Chan-mi on February 9, 1996), better known by the mononym Chungha, is a South Korean singer. She is best known for finishing fourth in Mnet's girl group survival show "Produce 101" and as a former member of the now disbanded South Korean girl group I.O.I.
Document 15: YG Entertainment: YG Entertainment Inc. (Korean: YG 엔터테인먼트) is a South Korean entertainment company established in 1996 by Yang Hyun-suk. The company operates as a record label, talent agency, music production company, event management and concert production company, and music publishing house. In addition, the company operates a number of subsidiary ventures under a separate public traded company - YG PLUS, which includes a clothing line, a golf management agency, and a cosmetics brand. It is currently one of the largest entertainment companies in South Korea.
ground_truth: Seoul Records