CREATE TABLE building (bid INTEGER PRIMARY KEY, function INTEGER, groundplan POLYGON);
insert into building values (1, 2000, '((1228603,766003),(1225596,777610),(1224712,777410),(1223852,780697),(1230196,782254),(1234135,767302))');
insert into building values (2, 2000, '((1028507,1062477),(1027534,1063023),(1031035,1069189),(1031544,1068936),(1034672,1074614),(1039628,1068546),(1039123,1067376),(1037880,1065051),(1037093,1065543),(1031521,1055725),(1026268,1058441))');
insert into building values (3, 2000, '((1216149,1153203),(1201529,1155267),(1205881,1187156),(1220731,1185175))');
insert into building values (4, 1000, '((1239600,1113636),(1238752,1116331),(1229998,1113897),(1226808,1124622),(1226869,1124640),(1226162,1127213),(1229268,1128209),(1230022,1125593),(1233101,1126524),(1232373,1129104),(1234714,1129801),(1235421,1127225),(1242282,1129299),(1246319,1115727))');
insert into building values (5, 2000, '((1174633,1187596),(1179152,1186960),(1178412,1182042),(1186941,1180723),(1180582,1135654),(1194481,1128805),(1191168,1122198),(1179863,1127774),(1166702,1134265))');
insert into building values (6, 2000, '((1180913,1096430),(1171525,1107395),(1178673,1113340),(1187958,1102172))');
insert into building values (7, 1000, '((1171872,839087),(1178540,839750),(1179617,827917),(1179541,827909),(1172876,827215))');
insert into building values (8, 1000, '((1088495,1124967),(1087821,1136714),(1106457,1137566),(1107203,1126044),(1102371,1125766))');
insert into building values (9, 1000, '((1168614,868844),(1178229,878897),(1179482,877753),(1188456,869562),(1178802,859044))');
insert into building values (10, 2000, '((1058541,1137750),(1065170,1141668),(1066779,1138767),(1060504,1134542))');
insert into building values (11, 1000, '((1287735,850622),(1280506,860595),(1288716,866318),(1295566,856324))');
insert into building values (12, 1000, '((1076857,1124297),(1075796,1142721),(1087436,1143413),(1087821,1136714),(1088495,1124967))');
insert into building values (13, 1000, '((1095037,851820),(1098036,865322),(1107500,863139),(1107099,861251),(1108981,860699),(1106627,850589),(1104797,850938),(1104395,849516))');
insert into building values (14, 2000, '((1067472,978153),(1071265,977747),(1070889,972925),(1070342,966979),(1066706,968171))');
insert into building values (15, 1000, '((1060537,966386),(1072344,962421),(1068297,950369),(1056213,954426),(1058520,961297),(1060260,966479))');
insert into building values (16, 1000, '((1295868,772150),(1310625,775683),(1313864,761860),(1308116,760454),(1307267,764176),(1298311,761985))');
insert into building values (17, 2000, '((1057585,1139278),(1054012,1145388),(1054675,1145790),(1054978,1145484),(1063340,1150356),(1066813,1144703))');
insert into building values (18, 1000, '((874720,869995),(877520,874990),(880652,873229),(884259,879877),(887033,884989),(893240,881589),(898956,878459),(889621,861502),(877746,867778),(877952,868080))');
insert into building values (19, 1000, '((1062911,995573),(1063026,995100),(1067130,995886),(1068415,988927),(1067924,980897),(1058821,982099),(1058913,986926),(1054085,986104),(1052647,993113),(1057122,993970),(1057118,994443))');
insert into building values (20, 2000, '((1049368,966410),(1051586,973092),(1054927,972030),(1052688,965198))');
insert into building values (21, 2000, '((1086844,853867),(1091323,853077),(1090675,849369),(1086229,850162))');
insert into building values (22, 2000, '((1188473,1199589),(1185474,1208081),(1209506,1216512),(1212454,1207920))');
insert into building values (23, 2000, '((1054927,972030),(1061650,969827),(1060537,966386),(1060260,966479),(1058520,961297),(1052127,963486),(1052688,965198))');
insert into building values (24, 1000, '((1191738,1105499),(1183974,1116149),(1186599,1118101),(1190609,1121082),(1191168,1122198),(1194481,1128805),(1198433,1126857),(1199702,1129400),(1206998,1125754),(1205752,1123251),(1206118,1123070),(1201489,1113356),(1202904,1112079),(1203047,1110505),(1201871,1109193),(1200143,1109102),(1198727,1110379))');
insert into building values (25, 2000, '((1107203,1126044),(1107530,1122806),(1102962,1122112),(1102371,1125766))');
insert into building values (26, 1000, '((1179617,827917),(1178540,839750),(1178597,839756),(1185208,840414),(1186206,828605))');
insert into building values (27, 2000, '((1168236,1018521),(1165834,1023785),(1169617,1025469),(1173367,1017036),(1169613,1015503))');
insert into building values (28, 2000, '((1134900,1152974),(1134158,1156429),(1136701,1156972),(1137596,1153516))');
insert into building values (29, 2000, '((1159223,1015967),(1165748,1017397),(1165898,1017192),(1168236,1018521),(1169613,1015503),(1171027,1012404),(1164410,1011009),(1160365,1010157))');
insert into building values (30, 1000, '((1126829,1129100),(1121059,1132050),(1121255,1141958),(1121676,1142042),(1132505,1140778))');
insert into building values (31, 1000, '((1027534,1063023),(1028507,1062477),(1026268,1058441),(1022981,1052516),(1013067,1057916),(1018617,1068023))');
insert into building values (32, 2000, '((1116792,1141057),(1114265,1152133),(1126069,1154853),(1126370,1154141),(1129320,1154682),(1132505,1140778),(1121676,1142042),(1121255,1141958))');
insert into building values (33, 2000, '((1117663,789504),(1116824,789905),(1123317,799397),(1125664,797703),(1125114,796935),(1127655,795120),(1124976,791101),(1122310,793019),(1119798,789510),(1118422,790420))');
insert into building values (34, 1000, '((1114877,787058),(1107703,791817),(1107339,792059),(1110558,796372),(1112181,798545),(1111583,799028),(1113909,802436),(1114702,801922),(1116494,804323),(1123317,799397),(1116824,789905))');
insert into building values (35, 2000, '((1115343,772392),(1113350,773244),(1106733,776066),(1109508,782014),(1117804,778234))');
insert into building values (36, 1000, '((1117023,754473),(1107200,758756),(1110729,766890),(1110525,766991),(1113350,773244),(1115343,772392),(1123477,768912),(1120806,762659),(1120602,762709))');
insert into building values (37, 1000, '((1209867,812294),(1219455,815442),(1222863,804953),(1218467,803456),(1213479,801756),(1212760,803851))');
insert into building values (38, 2000, '((1272770,862629),(1276844,865717),(1278951,862915),(1274861,859816))');
insert into building values (39, 1000, '((1215800,769465),(1215654,770126),(1219016,770958),(1219701,768475),(1224441,769638),(1227940,756660),(1215444,753493),(1215050,753393),(1213141,760478),(1211527,766469),(1214099,767101),(1213711,768875))');
insert into building values (40, 2000, '((1094600,1093387),(1089833,1104572),(1096284,1107533),(1102532,1110187),(1106299,1101354),(1114332,1082517),(1101583,1077003),(1097139,1087106),(1092917,1084422),(1089507,1090394))');
insert into building values (41, 2000, '((1212760,803851),(1213479,801756),(1218467,803456),(1219636,800063),(1214614,798310),(1214769,797804),(1211034,796504),(1209013,802513))');
insert into building values (42, 2000, '((1271942,855620),(1268839,859760),(1272770,862629),(1274861,859816),(1278108,855448),(1275308,853303),(1273056,856387))');
insert into building values (43, 1000, '((1268630,837634),(1262694,845672),(1265377,847717),(1265017,848527),(1273167,854510),(1279411,845966))');
insert into building values (44, 2000, '((1162424,1220142),(1160821,1224160),(1170189,1227300),(1171488,1223386))');
insert into building values (45, 2000, '((1024724,1124404),(1028085,1126270),(1028843,1124989),(1033692,1127811),(1035890,1122257),(1029290,1114483),(1021706,1120972))');
insert into building values (46, 2000, '((1104835,810580),(1108211,804195),(1105679,801648),(1108125,799727),(1107468,798760),(1110558,796372),(1107339,792059),(1107703,791817),(1106200,789869),(1102866,792349),(1105293,795809),(1098497,806599))');
insert into building values (47, 1000, '((1306607,883115),(1314787,871654),(1307444,866512),(1306989,867123),(1298984,861628),(1296157,865703),(1296871,866360),(1294750,869314),(1303113,875111),(1300590,878981))');
insert into building values (48, 2000, '((1173802,1123212),(1179863,1127774),(1186599,1118101),(1183974,1116149),(1180688,1113705))');
insert into building values (49, 1000, '((1351213,845524),(1360070,848277),(1362899,839177),(1354042,836424))');
insert into building values (50, 2000, '((1169506,782395),(1167307,788818),(1175825,791807),(1177942,785423))');
insert into building values (51, 2000, '((1195508,1063659),(1193452,1065718),(1195356,1067365),(1195533,1067188),(1196910,1065821),(1198916,1067569),(1200936,1065425),(1198037,1062812),(1196485,1064508))');
insert into building values (52, 2000, '((1197237,852578),(1190641,858882),(1194339,863061),(1196507,861264),(1198422,863485),(1201381,856751))');
insert into building values (53, 1000, '((1083364,987687),(1079704,987730),(1079789,995962),(1094075,995787),(1093988,988368),(1083413,988550))');
insert into building values (54, 2000, '((1313858,846937),(1319267,840769),(1316854,838639),(1313609,835775),(1308242,841736))');
insert into building values (55, 2000, '((1074435,979030),(1078706,978683),(1078510,975227),(1074137,975523))');
insert into building values (56, 1000, '((1323492,831358),(1320480,828580),(1325536,822820),(1312572,811359),(1308133,816716),(1310833,819794),(1304108,827390),(1313609,835775),(1316854,838639))');
insert into building values (57, 1000, '((1059972,925214),(1057287,925387),(1057438,923276),(1049865,923759),(1050021,925856),(1041980,926170),(1041877,926322),(1032271,927001),(1033582,940410),(1043749,939840),(1043749,939455),(1043749,939332),(1060727,938145))');
insert into building values (58, 1000, '((901202,905057),(904150,910268),(914490,904487),(907335,891618),(896825,897321))');
insert into building values (59, 2000, '((899385,912931),(888707,918834),(897303,934991),(908214,928959),(905032,923183),(902751,919042))');
insert into building values (60, 1000, '((1168195,944929),(1174217,934967),(1163093,928554),(1154981,942897),(1163581,947966),(1166012,943735))');
insert into building values (61, 2000, '((1174219,909142),(1167619,920593),(1176309,925602),(1182909,914150))');
insert into building values (62, 2000, '((1002909,960746),(1000297,962006),(1002903,967410),(1005516,966150))');
insert into building values (63, 2000, '((899385,912931),(904150,910268),(901202,905057),(895573,908252),(894748,907245),(891211,909113),(889968,907045),(884056,910157),(888707,918834))');
insert into building values (64, 1000, '((1239869,818090),(1241558,815713),(1240593,814870),(1242695,812014),(1234900,806186),(1228146,815133),(1236145,820912),(1238816,817283))');
insert into building values (65, 2000, '((1226787,829740),(1229032,830365),(1229983,830997),(1232729,832821),(1234545,830348),(1236253,828022),(1230792,824233))');
insert into building values (66, 2000, '((1081954,917011),(1088303,917743),(1088873,914648),(1082393,913537))');
insert into building values (67, 2000, '((1205468,889195),(1208854,891170),(1210890,887930),(1207568,885931))');
insert into building values (68, 2000, '((1008133,958227),(1005521,959486),(1008128,964891),(1010740,963631))');
insert into building values (69, 2600, '((531474,1995481),(529453,1998638),(531595,2000154),(533921,1997097))');
insert into building values (70, 1000, '((1154889,825443),(1153945,836668),(1163219,837448),(1164164,826223))');
insert into building values (71, 2000, '((1090241,1005841),(1084852,1006033),(1083353,1011068),(1086619,1011830),(1085343,1015520),(1089100,1016764))');
insert into building values (72, 2000, '((1210922,912446),(1209236,911498),(1208463,912737),(1203090,909355),(1197298,918665),(1216944,931018),(1222676,921683),(1218909,919313),(1223213,911773),(1214674,906269))');
insert into building values (73, 1000, '((1156687,994184),(1153635,1008739),(1160365,1010157),(1164410,1011009),(1165669,1005167),(1166038,1005216),(1166612,1002569),(1166250,1002472),(1167544,996467))');
insert into building values (74, 2000, '((1229510,967822),(1229216,968607),(1225987,967305),(1224911,970362),(1227267,970969),(1227660,969999),(1230467,970873),(1231404,968729))');
insert into building values (75, 2000, '((1091330,1015449),(1101558,1015213),(1101513,1011809),(1093838,1012047),(1093692,1008795),(1090362,1009034),(1089625,1015389))');
insert into building values (76, 2000, '((1005521,959486),(1002909,960746),(1005516,966150),(1008128,964891))');
insert into building values (77, 1000, '((1174555,1029451),(1175283,1027991),(1181536,1030773),(1185128,1022249),(1177969,1019052),(1177920,1019154),(1173676,1017336),(1173826,1017131),(1173367,1017036),(1169617,1025469),(1172936,1026946),(1172203,1028469))');
insert into building values (78, 2000, '((1221591,990583),(1214912,1003869),(1212293,1001876),(1209197,1005527),(1222196,1015982),(1232341,996580))');
insert into building values (79, 1000, '((1200508,886301),(1184889,910862),(1197298,918665),(1203090,909355),(1212926,893545),(1208854,891170),(1205468,889195))');
insert into building values (80, 1000, '((1229216,968607),(1229510,967822),(1233579,956927),(1226529,954336),(1222164,965763),(1225987,967305))');
insert into building values (81, 2000, '((1213867,950100),(1209648,961119),(1222164,965763),(1226529,954336))');
insert into building values (82, 1000, '((1221591,990583),(1232341,996580),(1242795,1002412),(1252249,984063),(1248925,982329),(1244673,980111),(1241203,986451),(1227182,979595))');
insert into building values (83, 1000, '((1156533,808148),(1158958,800954),(1160176,801265),(1160330,800911),(1161867,798635),(1159688,797354),(1162578,788741),(1154309,786057),(1150335,797963),(1149016,797601),(1146437,804896))');
insert into building values (84, 2000, '((1107604,828337),(1106987,831336),(1112644,832590),(1113334,829552))');
insert into building values (85, 2000, '((1192988,745102),(1188380,761624),(1198164,764746),(1200246,756714),(1213141,760478),(1215050,753393),(1215444,753493),(1215872,751570))');
insert into building values (86, 1000, '((1161674,747522),(1159291,756188),(1175478,760692),(1179053,747463),(1172306,745295),(1171011,749958))');
insert into building values (87, 1000, '((1197951,807357),(1198416,805837),(1189586,803606),(1186788,814047),(1200845,817727),(1203178,808603))');
insert into building values (88, 2000, '((1188340,789083),(1186250,795171),(1189471,796297),(1191535,790268))');
insert into building values (89, 2000, '((1186208,768972),(1185210,772419),(1190294,774086),(1191332,770624))');
insert into building values (90, 1000, '((1173169,794585),(1167853,810341),(1176832,813334),(1182349,797781))');
insert into building values (91, 1000, '((1088095,954783),(1088440,943451),(1079949,943307),(1079757,954538))');
insert into building values (92, 2000, '((1179956,759447),(1186096,761155),(1188010,754567),(1181921,752910))');
insert into building values (93, 2000, '((1061679,1025855),(1064118,1026673),(1066930,1019057),(1063272,1017678),(1066697,1008385),(1058088,1005296),(1054022,1016541),(1055190,1016950),(1051816,1025937),(1060401,1029105))');
insert into building values (94, 1000, '((1031194,1141588),(1031481,1141768),(1033443,1138255),(1033136,1138003),(1037817,1130212),(1033692,1127811),(1028843,1124989),(1028085,1126270),(1022302,1136038))');
insert into building values (95, 2000, '((1020315,1138804),(1018700,1141684),(1020671,1142902),(1020866,1142592),(1028069,1146840),(1029619,1144464))');
insert into building values (96, 2000, '((1020315,1138804),(1029619,1144464),(1031194,1141588),(1022302,1136038))');
insert into building values (97, 1000, '((1132210,827958),(1131381,836899),(1145418,838189),(1146247,829197))');
insert into building values (98, 1000, '((1108841,959790),(1100649,963432),(1103988,971162),(1100273,972984),(1102702,978426),(1114813,972861),(1112587,967572),(1112079,967723),(1111522,966604),(1111929,966351))');
insert into building values (99, 2000, '((1189336,881787),(1184868,876956),(1181643,879777),(1179482,877753),(1178229,878897),(1168614,868844),(1157441,857162),(1147969,866175),(1178729,898463),(1187571,888664),(1186247,887280))');
insert into building values (100, 1000, '((1014019,1153491),(1021413,1158013),(1028361,1147012),(1028069,1146840),(1020866,1142592),(1020671,1142902),(1018700,1141684),(1017248,1140787),(1014680,1144861),(1018138,1146934))');
insert into building values (101, 2000, '((1075269,924909),(1078268,924766),(1078136,918928),(1074934,918968))');
insert into building values (102, 1000, '((1124222,935841),(1126258,938633),(1130170,935987),(1128092,932798),(1132065,930172),(1131660,929663),(1127311,923607),(1119415,929114))');
insert into building values (103, 1000, '((1145152,932196),(1157896,931062),(1157825,929949),(1157577,926041),(1156938,915996),(1158258,915882),(1157964,911723),(1146389,912795),(1147310,924106),(1144316,924489))');
insert into building values (104, 1000, '((1060653,919814),(1061021,930649),(1074042,930324),(1073459,919420))');
insert into building values (105, 2000, '((1182570,952100),(1184225,952960),(1184686,953199),(1185284,952379),(1188143,953676),(1191365,947372),(1188397,945942),(1189238,944256),(1180687,939657),(1176034,948704))');
insert into building values (106, 2000, '((1163735,893446),(1134019,899967),(1136685,911774),(1158919,906782),(1166294,905400))');
insert into building values (107, 2000, '((1059183,882621),(1058887,886527),(1061173,886737),(1061441,882774))');
insert into building values (108, 2000, '((1059183,882621),(1061441,882774),(1065454,883046),(1065879,877767),(1059579,877391))');
insert into building values (109, 2000, '((1013352,962371),(1015964,961111),(1013357,955707),(1010745,956967))');
insert into building values (110, 1000, '((1202690,972532),(1206484,963903),(1194167,958952),(1190424,967579))');
insert into building values (111, 1000, '((1072928,1019374),(1083039,1022189),(1085343,1015520),(1086619,1011830),(1083353,1011068),(1076507,1009472))');
insert into building values (112, 2000, '((1185941,1003718),(1194265,1010401),(1220168,1031194),(1221825,1029142),(1228413,1020981),(1222196,1015982),(1209197,1005527),(1194185,993454))');
insert into building values (113, 2000, '((1010740,963631),(1013352,962371),(1010745,956967),(1008133,958227))');
insert into building values (114, 1000, '((1128796,996314),(1132434,982398),(1123542,980297),(1121133,989896),(1120068,994025))');
insert into building values (115, 1000, '((1216944,931018),(1222155,934152),(1228067,925077),(1222676,921683))');
insert into building values (116, 1000, '((1114997,951228),(1115800,952720),(1117070,952058),(1116314,950507),(1119050,949007),(1116552,944471),(1118739,943316),(1117109,940422),(1115005,941661),(1111919,936057),(1106115,925162),(1091197,933235),(1097185,944153),(1105338,939673),(1112546,952571))');
insert into building values (117, 2000, '((1113800,995674),(1113389,997604),(1118775,999038),(1120068,994025),(1121133,989896),(1118338,989078),(1118390,988468),(1112395,987033),(1110396,994753))');
insert into building values (118, 2000, '((956260,943593),(959062,949027),(965159,945667),(962205,940335))');
insert into building values (119, 1000, '((1154109,1106685),(1139761,1123922),(1150534,1132737),(1157849,1124023),(1164916,1115603),(1154446,1106798),(1154193,1106585))');
insert into building values (120, 1000, '((1191282,841136),(1195616,841464),(1195781,839282),(1196234,833302),(1191900,832973))');
insert into building values (121, 1000, '((1196234,833302),(1195781,839282),(1206972,840130),(1207734,830069),(1196544,829220))');
insert into building values (122, 1000, '((1045389,952898),(1036241,955855),(1040168,968148),(1049113,965140))');
insert into building values (123, 1000, '((1273450,1132716),(1273520,1133207),(1273916,1135992),(1276413,1153556),(1288957,1151752),(1287532,1138388),(1289966,1137846),(1290052,1136728),(1294618,1135954),(1293701,1129199))');
insert into building values (124, 3041, '((1206280,1059753),(1200936,1065425),(1198916,1067569),(1204479,1072920),(1210588,1066288),(1210124,1065788),(1211224,1064504))');
insert into building values (125, 2000, '((1064115,1101675),(1076012,1082469),(1076051,1082491),(1079132,1077152),(1070480,1072165),(1074204,1065973),(1067196,1062148),(1063574,1068238),(1063320,1068136),(1061687,1070928),(1057243,1068567),(1055841,1071068),(1067373,1077586),(1056041,1096984))');
insert into building values (126, 2000, '((1278064,1165872),(1308395,1160853),(1306828,1148676),(1288957,1151752),(1276413,1153556),(1274183,1153921),(1274824,1159244),(1277090,1158872))');
insert into building values (127, 2000, '((980267,986413),(975839,988691),(975070,989106),(976776,992190),(981378,989871))');
insert into building values (128, 2000, '((1231172,1134412),(1231704,1139690),(1237091,1139157),(1236661,1133879))');
insert into building values (129, 2500, '((1118304,897839),(1118802,900785),(1121426,900281),(1120879,897325))');
insert into building values (130, 2000, '((1270992,1138210),(1270830,1136486),(1273916,1135992),(1273520,1133207),(1266955,1134226),(1267540,1138688))');
insert into building values (131, 1000, '((1124548,1034518),(1130025,1016541),(1119000,1013063),(1115520,1024439),(1114758,1024183),(1112660,1030886))');
insert into building values (132, 2000, '((983543,1051014),(986691,1056126),(992352,1052775),(989316,1047595))');
insert into building values (133, 2000, '((1270131,793179),(1272059,794289),(1277251,786567),(1262435,778012),(1259460,783326),(1263259,785579),(1255516,799090),(1263826,803753))');
insert into building values (134, 2462, '((1339546,862093),(1361941,868839),(1362092,868483),(1361888,868433),(1365992,854910),(1364058,854311),(1369713,835451),(1350219,829656),(1350018,830164),(1350120,830215),(1344462,848415),(1343902,848214))');
insert into building values (135, 3012, '((1272923,1035153),(1260095,1060423),(1275103,1065662),(1276643,1061321),(1281389,1049391),(1284504,1040714))');
insert into building values (136, 1000, '((1164579,1049131),(1159291,1049476),(1159142,1047697),(1153599,1048194),(1154286,1060238),(1165523,1059448),(1164786,1047353),(1164582,1047352))');
insert into building values (137, 2000, '((1027464,1045552),(1025286,1046820),(1027362,1050787),(1029660,1049663))');
insert into building values (138, 2000, '((1125865,1043477),(1126099,1046869),(1126681,1053274),(1130611,1052925),(1129767,1043167))');
insert into building values (139, 2000, '((1079084,1066389),(1083704,1068990),(1085949,1065132),(1081379,1062633))');
insert into building values (140, 1000, '((1131414,733095),(1122964,731206),(1120359,740154),(1127793,742251),(1128095,741539),(1132066,742535),(1131866,743348),(1136448,744646),(1138648,736209),(1137936,736009),(1139436,730316),(1132716,728723))');
insert into building values (141, 2000, '((1026057,1018264),(1020309,1019777),(1021621,1024454),(1027318,1023043))');
insert into building values (142, 1000, '((1272059,794289),(1283303,800762),(1292878,784601),(1282759,778376),(1283629,777111),(1279170,774600),(1275123,780923),(1279373,783412),(1277251,786567))');
insert into building values (143, 2000, '((1310833,819794),(1308133,816716),(1305616,813846),(1307543,812094),(1304784,809062),(1302765,810596),(1293771,800342),(1283575,807210),(1279286,811095),(1275988,813678),(1284759,823865),(1293991,815966),(1304108,827390))');
insert into building values (144, 1000, '((1082377,1071528),(1079132,1077152),(1076051,1082491),(1089507,1090394),(1092917,1084422),(1095884,1079228))');
insert into building values (145, 2000, '((980665,1052719),(970988,1058451),(973903,1063501),(983616,1057671))');
insert into building values (146, 2000, '((980672,1045884),(966784,1053963),(969623,1059259),(970988,1058451),(980665,1052719),(983543,1051014))');
insert into building values (147, 1000, '((957727,936478),(956810,934497),(959787,932348),(953978,922227),(944711,927374),(950662,937756),(954066,936024),(955034,937802))');
insert into building values (148, 2000, '((1015969,954447),(1013357,955707),(1015964,961111),(1018576,959851))');
insert into building values (149, 1210, '((1010311,914340),(1009491,919150),(1010801,919367),(1009699,926039),(1021393,927930),(1023989,911897),(1011546,909724),(1010717,914442))');
insert into building values (150, 1000, '((1116475,1005131),(1101426,1005304),(1101513,1011809),(1101558,1015213),(1116201,1014887))');
insert into building values (151, 2000, '((1126914,947935),(1132553,944755),(1129079,938653),(1123437,942099))');
insert into building values (152, 2720, '((997369,924044),(1009699,926039),(1010801,919367),(1009491,919150),(997647,917192),(989110,917164),(988921,913051),(985668,913142),(985832,924514))');
insert into building values (153, 1000, '((983616,1057671),(973903,1063501),(981490,1076268),(1000997,1064568),(997851,1059523),(988251,1065448))');
insert into building values (154, 2000, '((1103342,996357),(1097500,996374),(1097826,1000724),(1102597,1000712),(1102513,998433),(1103327,998388))');
insert into building values (155, 2720, '((997369,924044),(985832,924514),(986283,949503),(998253,943954))');
insert into building values (156, 2500, '((967677,1003874),(968773,1006143),(971154,1004849),(969901,1002727))');
insert into building values (157, 1000, '((1125003,962312),(1123355,972471),(1132503,973862),(1134204,962737),(1129376,962016),(1129221,962879))');
insert into building values (158, 2720, '((976606,953988),(981641,964375),(1003042,953807),(998253,943954),(986283,949503))');
insert into building values (159, 2000, '((975839,988691),(980267,986413),(989774,980990),(987505,977281),(996910,971470),(992720,965660),(970420,978619))');
insert into building values (160, 2000, '((1148068,1101902),(1146404,1104043),(1150539,1107368),(1152254,1105176),(1154109,1106685),(1154193,1106585),(1154446,1106798),(1161309,1098221),(1156568,1094906),(1149038,1102607))');
insert into building values (161, 2000, '((1148394,1066167),(1141259,1066564),(1141554,1071341),(1148713,1070895))');
insert into building values (162, 2000, '((1016202,990093),(1017921,994822),(1021838,993560),(1019763,988881))');
insert into building values (163, 1000, '((1136983,1044655),(1136981,1045518),(1131693,1045965),(1132831,1061110),(1147220,1059919),(1146033,1044114))');
insert into building values (164, 2000, '((1154107,980318),(1162923,982021),(1163913,976375),(1155300,974669))');
insert into building values (165, 2000, '((1017719,939157),(1015281,941243),(1017877,944492),(1020417,942559))');
insert into building values (166, 2000, '((1092558,887361),(1095769,904416),(1101362,903419),(1098258,886186))');
insert into building values (167, 1000, '((1244517,748843),(1238858,762803),(1239011,762903),(1236784,769066),(1250201,774524),(1254730,762713),(1255936,763151),(1257623,758923),(1256377,758418),(1258034,754097))');
insert into building values (168, 3071, '((1092558,887361),(1098258,886186),(1098678,886099),(1097779,881679),(1101644,880829),(1101795,881134),(1111052,878931),(1109665,872729),(1107500,863139),(1098036,865322),(1100238,874870),(1096427,875735),(1096277,875075),(1090480,876325))');
insert into building values (169, 2741, '((1063142,773831),(1061654,810164),(1073644,810655),(1075132,774322))');
insert into building values (170, 2741, '((1046256,787090),(1045572,801969),(1057137,802501),(1057822,787622),(1052039,787356))');
insert into building values (171, 2000, '((1013067,1057916),(1022981,1052516),(1021113,1049149),(1011271,1054645))');
insert into building values (172, 1000, '((1148394,1066167),(1148713,1070895),(1149117,1076895),(1158472,1076456),(1157783,1065378),(1148377,1065918))');
insert into building values (173, 2000, '((1114195,726070),(1110658,731366),(1116470,734689),(1119906,729799))');
insert into building values (174, 2000, '((1007028,1110363),(1011199,1106433),(1010932,1106134),(1011202,1105891),(1005070,1099014),(1000464,1103086))');
insert into building values (175, 1000, '((1249326,816923),(1243441,824860),(1246690,827269),(1246063,828833),(1247936,830366),(1248860,828877),(1252199,831353),(1258033,823365))');
insert into building values (176, 1000, '((1043252,1012709),(1038996,1012716),(1040279,1020022),(1047660,1019933),(1047164,1014139),(1054022,1016541),(1058088,1005296),(1047190,1001385))');
insert into building values (177, 2000, '((1237001,832134),(1241762,825409),(1239467,823645),(1236253,828022),(1234545,830348))');
insert into building values (178, 2000, '((1157849,1124023),(1164234,1129409),(1162469,1131652),(1165736,1134169),(1173802,1123212),(1164916,1115603))');
insert into building values (179, 2000, '((1016538,1123489),(1022604,1118125),(1018270,1113057),(1013301,1117318),(1012240,1118491))');
insert into building values (180, 2000, '((1161657,1060863),(1161859,1063943),(1168465,1063489),(1168266,1060419))');
insert into building values (181, 1000, '((1019464,1098460),(1018987,1097991),(1016567,1100043),(1017031,1100648),(1011202,1105891),(1010932,1106134),(1011199,1106433),(1017093,1113028),(1029844,1101644),(1028158,1099817),(1029613,1098551),(1027352,1095883),(1025724,1097179),(1023531,1094802))');
insert into building values (182, 2000, '((893240,881589),(887033,884989),(886393,886926),(890492,894497),(898022,890420))');
insert into building values (183, 2000, '((884259,879877),(874026,885439),(881396,899371),(890492,894497),(886393,886926),(887033,884989))');