file:=HapFile("bing.txt");
Read(file);
BingsHouse;
BingsModifiedHouse;
Print(Size(BingsHouse),"\n");
Print(Size(BingsModifiedHouse),"\n");
Print(Size(ContractedComplex(BingsModifiedHouse)),"\n");
Print(Size(ContractedComplex(BingsHouse)),"\n");
