diff --git a/Assignment3/v130023-jlcastanon/Task06.java b/Assignment3/v130023-jlcastanon/Task06.java new file mode 100644 index 00000000..f4442e05 --- /dev/null +++ b/Assignment3/v130023-jlcastanon/Task06.java @@ -0,0 +1,59 @@ +package upm.oeg.wsld.jena; + +import java.io.InputStream; +import org.apache.jena.ontology.Individual; +import org.apache.jena.ontology.OntClass; +import org.apache.jena.ontology.OntModel; +import org.apache.jena.ontology.OntModelSpec; +import org.apache.jena.rdf.model.ModelFactory; +import org.apache.jena.rdf.model.Property; +import org.apache.jena.util.FileManager; +import org.apache.jena.vocabulary.VCARD; + +/** + * Task 06: Modifying ontologies (RDFs) + + */ + +public class Task06 { + public static String ns = "http://somewhere#"; + public static String foafNS = "http://xmlns.com/foaf/0.1/"; + public static String foafEmailURI = foafNS+"email"; + public static String foafKnowsURI = foafNS+"knows"; + public static String stringTypeURI = "http://www.w3.org/2001/XMLSchema#string"; + + public static void main (String[]args){ + + String filename = "resources/example5.rdf"; + OntModel model = ModelFactory.createOntologyModel(OntModelSpec.RDFS_MEM); + InputStream in = FileManager.get().open(filename); + + if (in == null) + throw new IllegalArgumentException("File: " + filename + " not found"); + + model.read(in, null); + + OntClass researcher = model.createClass(ns+"Researcher"); + + OntClass university = model.createClass(ns+"University"); + + model.getOntClass(ns+"Person").addSubClass(researcher); + + Property worksIn = model.createProperty(ns + "worksIn"); + + + Individual janeSmith = researcher.createIndividual(ns + "Jane Smith"); + + + janeSmith.addProperty(VCARD.FN, "Jane Smith"); + janeSmith.addProperty(VCARD.Given, "Jane"); + janeSmith.addProperty(VCARD.Family, "Smith"); + + + Individual upm = university.createIndividual(ns + "UPM"); + Individual johnSmith = model.getIndividual(ns + "JohnSmith"); + johnSmith.addProperty(worksIn, upm); + + model.write(System.out, "RDF/XML-ABBREV"); + } +} diff --git a/Assignment3/v130023-jlcastanon/Task07.java b/Assignment3/v130023-jlcastanon/Task07.java new file mode 100644 index 00000000..1a8fda40 --- /dev/null +++ b/Assignment3/v130023-jlcastanon/Task07.java @@ -0,0 +1,70 @@ +package upm.oeg.wsld.jena; + +import java.io.InputStream; +import org.apache.jena.ontology.Individual; +import org.apache.jena.ontology.OntClass; +import org.apache.jena.ontology.OntModel; +import org.apache.jena.ontology.OntModelSpec; +import org.apache.jena.rdf.model.ModelFactory; +import org.apache.jena.util.FileManager; +import org.apache.jena.util.iterator.ExtendedIterator; + +/** + * Task 07: Querying ontologies (RDFs) + * + */ +public class Task07 { + public static String ns = "http://somewhere#"; + + public static void main(String args[]) { + + String filename = "resources/example6.rdf"; + + + OntModel model = ModelFactory.createOntologyModel(OntModelSpec.RDFS_MEM); + + InputStream in = FileManager.get().open(filename); + + if (in == null) + throw new IllegalArgumentException("File: "+filename+" not found"); + + model.read(in, null); + + System.out.println("----------Task7.1----------"); + + ExtendedIterator it = model.listIndividuals(); + OntClass person = model.getOntClass(ns + "Person"); + + while (it.hasNext()) { + Individual ind = it.next(); + if (ind.hasOntClass(person)) + System.out.println("|-- Individual: " + ind.getURI()); + } + + System.out.println("----------Task7.2----------"); + + ExtendedIterator it2 = person.listSubClasses(); + + while (it2.hasNext()) { + OntClass ind2 = it2.next(); + System.out.println("|-- Subclass: " + ind2.getURI()); + } + + System.out.println("----------Task7.3----------"); + + OntModel modelo = ModelFactory.createOntologyModel(OntModelSpec.OWL_DL_MEM_RDFS_INF,model); + OntClass persona = modelo.getOntClass(ns+"Person"); + ExtendedIterator it3 = persona.listSubClasses(); + ExtendedIterator it4 = modelo.listIndividuals(persona); + while (it3.hasNext()) { + OntClass ind3 = it3.next(); + System.out.println("|-- Subclasses: " + ind3.getURI()); + } + + while (it4.hasNext()) { + Individual indiv_instance = (Individual) it4.next(); + System.out.println("|-- Instances: " + indiv_instance.getURI()); + } + + } +} \ No newline at end of file diff --git a/Assignment5/jlcastanon-v130023/data.ttl b/Assignment5/jlcastanon-v130023/data.ttl new file mode 100644 index 00000000..dd264c73 --- /dev/null +++ b/Assignment5/jlcastanon-v130023/data.ttl @@ -0,0 +1,8158 @@ + . + "1780000"^^ . + . + "237500"^^ . + . + "186800"^^ . + . + "127800"^^ . + . + "731200"^^ . + . + "593321"^^ . + . + "440900"^^ . + . + "234323"^^ . + . + "201843"^^ . + . + "193238"^^ . + . + "172701"^^ . + . + "160398"^^ . + . + "153491"^^ . + . + "152463"^^ . + . + "149544"^^ . + . + "148772"^^ . + . + "142465"^^ . + . + "138020"^^ . + . + "135621"^^ . + . + "129170"^^ . + . + "126270"^^ . + . + "122087"^^ . + . + "119811"^^ . + . + "117196"^^ . + . + "110722"^^ . + . + "110214"^^ . + . + "105853"^^ . + . + "105819"^^ . + . + "101574"^^ . + . + "95268"^^ . + . + "95052"^^ . + . + "92713"^^ . + . + "2345"^^ . + . + "270000"^^ . + . + "2168000"^^ . + . + "609823"^^ . + . + "443727"^^ . + . + "222518"^^ . + . + "183377"^^ . + . + "179055"^^ . + . + "153106"^^ . + . + "128747"^^ . + . + "128281"^^ . + . + "127284"^^ . + . + "117162"^^ . + . + "115212"^^ . + . + "112007"^^ . + . + "110242"^^ . + . + "107311"^^ . + . + "100118"^^ . + . + "96794"^^ . + . + "89415"^^ . + . + "5200"^^ . + . + "2323"^^ . + . + "21189"^^ . + . + "2022000"^^ . + . + "163100"^^ . + . + "130000"^^ . + . + "128300"^^ . + . + "118200"^^ . + . + "961"^^ . + . + "595"^^ . + . + "24000"^^ . + . + "669181"^^ . + . + "398695"^^ . + . + "320095"^^ . + . + "225970"^^ . + . + "114395"^^ . + . + "2982146"^^ . + . + "1266461"^^ . + . + "1157507"^^ . + . + "907718"^^ . + . + "622013"^^ . + . + "559249"^^ . + . + "538918"^^ . + . + "521936"^^ . + . + "512880"^^ . + . + "470809"^^ . + . + "469735"^^ . + . + "463846"^^ . + . + "422542"^^ . + . + "367550"^^ . + . + "356993"^^ . + . + "353063"^^ . + . + "353046"^^ . + . + "352311"^^ . + . + "349246"^^ . + . + "315432"^^ . + . + "306341"^^ . + . + "296226"^^ . + . + "290335"^^ . + . + "288341"^^ . + . + "276916"^^ . + . + "258103"^^ . + . + "248700"^^ . + . + "239810"^^ . + . + "235760"^^ . + . + "229212"^^ . + . + "221754"^^ . + . + "207041"^^ . + . + "206998"^^ . + . + "201273"^^ . + . + "200595"^^ . + . + "189947"^^ . + . + "178748"^^ . + . + "170028"^^ . + . + "167296"^^ . + . + "158197"^^ . + . + "153036"^^ . + . + "147636"^^ . + . + "145823"^^ . + . + "138117"^^ . + . + "134935"^^ . + . + "134355"^^ . + . + "124104"^^ . + . + "123027"^^ . + . + "119302"^^ . + . + "119152"^^ . + . + "116675"^^ . + . + "116485"^^ . + . + "113428"^^ . + . + "110136"^^ . + . + "99578"^^ . + . + "94651"^^ . + . + "91101"^^ . + . + "1248700"^^ . + . + "211700"^^ . + . + "172700"^^ . + . + "29034"^^ . + . + "3276207"^^ . + . + "2865329"^^ . + . + "1291117"^^ . + . + "1096829"^^ . + . + "978100"^^ . + . + "322723"^^ . + . + "311932"^^ . + . + "270324"^^ . + . + "227657"^^ . + . + "219761"^^ . + . + "126118"^^ . + . + "125382"^^ . + . + "109914"^^ . + . + "92273"^^ . + . + "1787800"^^ . + . + "299300"^^ . + . + "283000"^^ . + . + "93900"^^ . + . + "172000"^^ . + . + "148000"^^ . + . + "3612850"^^ . + . + "1392860"^^ . + . + "663340"^^ . + . + "294056"^^ . + . + "202134"^^ . + . + "191398"^^ . + . + "188713"^^ . + . + "170232"^^ . + . + "168702"^^ . + . + "139710"^^ . + . + "135313"^^ . + . + "130577"^^ . + . + "127815"^^ . + . + "120170"^^ . + . + "117396"^^ . + . + "109032"^^ . + . + "106004"^^ . + . + "103556"^^ . + . + "103277"^^ . + . + "101266"^^ . + . + "99669"^^ . + . + "98342"^^ . + . + "96777"^^ . + . + "96717"^^ . + . + "6070"^^ . + . + "446525"^^ . + . + "224180"^^ . + . + "200827"^^ . + . + "185639"^^ . + . + "133859"^^ . + . + "116246"^^ . + . + "105692"^^ . + . + "105419"^^ . + . + "90935"^^ . + . + "55810"^^ . + . + "7105"^^ . + . + "536827"^^ . + . + "194000"^^ . + . + "134099"^^ . + . + "103577"^^ . + . + "1800"^^ . + . + "1200"^^ . + . + "22000"^^ . + . + "935361"^^ . + . + "758141"^^ . + . + "534466"^^ . + . + "482800"^^ . + . + "223553"^^ . + . + "178426"^^ . + . + "140642"^^ . + . + "125255"^^ . + . + "360000"^^ . + . + "143079"^^ . + . + "96027"^^ . + . + "213017"^^ . + . + "101805"^^ . + . + "9968485"^^ . + . + "5598953"^^ . + . + "2302832"^^ . + . + "2139125"^^ . + . + "2097757"^^ . + . + "1969868"^^ . + . + "1584232"^^ . + . + "1378087"^^ . + . + "1314032"^^ . + . + "1255049"^^ . + . + "1186926"^^ . + . + "1095874"^^ . + . + "1056330"^^ . + . + "950043"^^ . + . + "869254"^^ . + . + "862225"^^ . + . + "837588"^^ . + . + "786288"^^ . + . + "746758"^^ . + . + "723132"^^ . + . + "691942"^^ . + . + "688955"^^ . + . + "659604"^^ . + . + "649593"^^ . + . + "630073"^^ . + . + "584029"^^ . + . + "558680"^^ . + . + "520801"^^ . + . + "515553"^^ . + . + "487222"^^ . + . + "479992"^^ . + . + "473276"^^ . + . + "466823"^^ . + . + "459884"^^ . + . + "453813"^^ . + . + "450288"^^ . + . + "445555"^^ . + . + "440052"^^ . + . + "432257"^^ . + . + "428011"^^ . + . + "425194"^^ . + . + "408748"^^ . + . + "400940"^^ . + . + "398418"^^ . + . + "375055"^^ . + . + "357552"^^ . + . + "354732"^^ . + . + "352497"^^ . + . + "351944"^^ . + . + "349581"^^ . + . + "339194"^^ . + . + "335078"^^ . + . + "324662"^^ . + . + "319104"^^ . + . + "319033"^^ . + . + "318758"^^ . + . + "315415"^^ . + . + "313670"^^ . + . + "309750"^^ . + . + "302666"^^ . + . + "302108"^^ . + . + "296127"^^ . + . + "294125"^^ . + . + "290139"^^ . + . + "286848"^^ . + . + "286461"^^ . + . + "286058"^^ . + . + "282197"^^ . + . + "281928"^^ . + . + "279183"^^ . + . + "270874"^^ . + . + "270626"^^ . + . + "268013"^^ . + . + "259537"^^ . + . + "259425"^^ . + . + "256033"^^ . + . + "254970"^^ . + . + "253587"^^ . + . + "249225"^^ . + . + "248473"^^ . + . + "245497"^^ . + . + "244379"^^ . + . + "244247"^^ . + . + "241771"^^ . + . + "240315"^^ . + . + "239940"^^ . + . + "238738"^^ . + . + "238473"^^ . + . + "237510"^^ . + . + "237206"^^ . + . + "232685"^^ . + . + "231724"^^ . + . + "229130"^^ . + . + "224564"^^ . + . + "223011"^^ . + . + "222223"^^ . + . + "214901"^^ . + . + "214435"^^ . + . + "210540"^^ . + . + "208426"^^ . + . + "207557"^^ . + . + "206338"^^ . + . + "201073"^^ . + . + "199636"^^ . + . + "197550"^^ . + . + "196884"^^ . + . + "196147"^^ . + . + "195434"^^ . + . + "189258"^^ . + . + "188691"^^ . + . + "187122"^^ . + . + "186205"^^ . + . + "185340"^^ . + . + "185047"^^ . + . + "182984"^^ . + . + "182222"^^ . + . + "182148"^^ . + . + "179128"^^ . + . + "178988"^^ . + . + "177764"^^ . + . + "177409"^^ . + . + "175574"^^ . + . + "174381"^^ . + . + "173977"^^ . + . + "171657"^^ . + . + "170697"^^ . + . + "170356"^^ . + . + "169303"^^ . + . + "168953"^^ . + . + "168434"^^ . + . + "167795"^^ . + . + "167661"^^ . + . + "167185"^^ . + . + "166343"^^ . + . + "164716"^^ . + . + "164704"^^ . + . + "163551"^^ . + . + "162022"^^ . + . + "160510"^^ . + . + "155115"^^ . + . + "155105"^^ . + . + "155024"^^ . + . + "153383"^^ . + . + "150664"^^ . + . + "149964"^^ . + . + "149146"^^ . + . + "146005"^^ . + . + "145197"^^ . + . + "144158"^^ . + . + "140042"^^ . + . + "139570"^^ . + . + "139283"^^ . + . + "135968"^^ . + . + "135755"^^ . + . + "133980"^^ . + . + "133321"^^ . + . + "132736"^^ . + . + "131351"^^ . + . + "129756"^^ . + . + "129683"^^ . + . + "128079"^^ . + . + "127801"^^ . + . + "127634"^^ . + . + "126820"^^ . + . + "126672"^^ . + . + "126305"^^ . + . + "126076"^^ . + . + "125982"^^ . + . + "125812"^^ . + . + "125597"^^ . + . + "125597"^^ . + . + "124489"^^ . + . + "123782"^^ . + . + "121919"^^ . + . + "121904"^^ . + . + "121197"^^ . + . + "120793"^^ . + . + "120217"^^ . + . + "119503"^^ . + . + "119391"^^ . + . + "119262"^^ . + . + "118968"^^ . + . + "116929"^^ . + . + "115020"^^ . + . + "114948"^^ . + . + "114603"^^ . + . + "113595"^^ . + . + "113135"^^ . + . + "113079"^^ . + . + "111258"^^ . + . + "109965"^^ . + . + "109236"^^ . + . + "108964"^^ . + . + "108441"^^ . + . + "108314"^^ . + . + "108121"^^ . + . + "107781"^^ . + . + "107761"^^ . + . + "107755"^^ . + . + "107663"^^ . + . + "107354"^^ . + . + "106734"^^ . + . + "106278"^^ . + . + "105114"^^ . + . + "104156"^^ . + . + "103433"^^ . + . + "103240"^^ . + . + "103153"^^ . + . + "102580"^^ . + . + "102372"^^ . + . + "102217"^^ . + . + "101320"^^ . + . + "101046"^^ . + . + "100627"^^ . + . + "100356"^^ . + . + "100028"^^ . + . + "99387"^^ . + . + "98965"^^ . + . + "98570"^^ . + . + "98399"^^ . + . + "98318"^^ . + . + "98198"^^ . + . + "98140"^^ . + . + "97507"^^ . + . + "97291"^^ . + . + "96864"^^ . + . + "96610"^^ . + . + "96348"^^ . + . + "96291"^^ . + . + "96210"^^ . + . + "96131"^^ . + . + "95933"^^ . + . + "94685"^^ . + . + "93897"^^ . + . + "93346"^^ . + . + "93121"^^ . + . + "92779"^^ . + . + "92224"^^ . + . + "91999"^^ . + . + "91779"^^ . + . + "91777"^^ . + . + "91203"^^ . + . + "90519"^^ . + . + "90507"^^ . + . + "90111"^^ . + . + "89465"^^ . + . + "89388"^^ . + . + "89254"^^ . + . + "89236"^^ . + . + "89200"^^ . + . + "7285000"^^ . + . + "1013000"^^ . + . + "619680"^^ . + . + "461000"^^ . + . + "450180"^^ . + . + "431607"^^ . + . + "430000"^^ . + . + "424194"^^ . + . + "402000"^^ . + . + "321000"^^ . + . + "304000"^^ . + . + "294000"^^ . + . + "289376"^^ . + . + "287500"^^ . + . + "287000"^^ . + . + "262000"^^ . + . + "253000"^^ . + . + "252000"^^ . + . + "242000"^^ . + . + "236000"^^ . + . + "230000"^^ . + . + "216000"^^ . + . + "213070"^^ . + . + "196000"^^ . + . + "192171"^^ . + . + "190000"^^ . + . + "189150"^^ . + . + "183310"^^ . + . + "183000"^^ . + . + "180000"^^ . + . + "176000"^^ . + . + "174739"^^ . + . + "162000"^^ . + . + "156000"^^ . + . + "156124"^^ . + . + "151000"^^ . + . + "146690"^^ . + . + "146386"^^ . + . + "148000"^^ . + . + "145542"^^ . + . + "145000"^^ . + . + "143726"^^ . + . + "144000"^^ . + . + "141000"^^ . + . + "139020"^^ . + . + "140000"^^ . + . + "139000"^^ . + . + "135000"^^ . + . + "132813"^^ . + . + "124000"^^ . + . + "121380"^^ . + . + "121000"^^ . + . + "113080"^^ . + . + "114000"^^ . + . + "112000"^^ . + . + "111000"^^ . + . + "106000"^^ . + . + "107000"^^ . + . + "106293"^^ . + . + "106001"^^ . + . + "104425"^^ . + . + "103931"^^ . + . + "100924"^^ . + . + "100000"^^ . + . + "97451"^^ . + . + "96063"^^ . + . + "97000"^^ . + . + "92000"^^ . + . + "94531"^^ . + . + "94313"^^ . + . + "93087"^^ . + . + "95000"^^ . + . + "92000"^^ . + . + "91069"^^ . + . + "92000"^^ . + . + "90959"^^ . + . + "90878"^^ . + . + "90000"^^ . + . + "89000"^^ . + . + "27523"^^ . + . + "23487"^^ . + . + "8000"^^ . + . + "21484"^^ . + . + "1122302"^^ . + . + "342584"^^ . + . + "299801"^^ . + . + "195255"^^ . + . + "166467"^^ . + . + "147939"^^ . + . + "121952"^^ . + . + "105530"^^ . + . + "100399"^^ . + . + "94686"^^ . + . + "824000"^^ . + . + "300000"^^ . + . + "105000"^^ . + . + "300000"^^ . + . + "19600"^^ . + . + "4703954"^^ . + . + "386236"^^ . + . + "312493"^^ . + . + "293800"^^ . + . + "277752"^^ . + . + "251429"^^ . + . + "241910"^^ . + . + "233041"^^ . + . + "217664"^^ . + . + "212977"^^ . + . + "189036"^^ . + . + "187557"^^ . + . + "178182"^^ . + . + "177892"^^ . + . + "158215"^^ . + . + "152194"^^ . + . + "143353"^^ . + . + "141468"^^ . + . + "137409"^^ . + . + "137265"^^ . + . + "133106"^^ . + . + "125631"^^ . + . + "120128"^^ . + . + "118857"^^ . + . + "115766"^^ . + . + "94854"^^ . + . + "93061"^^ . + . + "91684"^^ . + . + "91056"^^ . + . + "11900"^^ . + . + "339131"^^ . + . + "383000"^^ . + . + "16243"^^ . + . + "1609966"^^ . + . + "365463"^^ . + . + "140204"^^ . + . + "124735"^^ . + . + "108485"^^ . + . + "89423"^^ . + . + "2070040"^^ . + . + "1573458"^^ . + . + "270353"^^ . + . + "210368"^^ . + . + "202111"^^ . + . + "176413"^^ . + . + "169612"^^ . + . + "164739"^^ . + . + "152514"^^ . + . + "130643"^^ . + . + "129631"^^ . + . + "124177"^^ . + . + "123875"^^ . + . + "123163"^^ . + . + "123045"^^ . + . + "6789479"^^ . + . + "3328196"^^ . + . + "2221868"^^ . + . + "870716"^^ . + . + "469533"^^ . + . + "417610"^^ . + . + "395402"^^ . + . + "371010"^^ . + . + "369621"^^ . + . + "360503"^^ . + . + "343498"^^ . + . + "275807"^^ . + . + "267351"^^ . + . + "260964"^^ . + . + "254477"^^ . + . + "231978"^^ . + . + "219017"^^ . + . + "212203"^^ . + . + "201360"^^ . + . + "172032"^^ . + . + "171275"^^ . + . + "170125"^^ . + . + "159909"^^ . + . + "148787"^^ . + . + "145792"^^ . + . + "127108"^^ . + . + "124819"^^ . + . + "119283"^^ . + . + "113608"^^ . + . + "101801"^^ . + . + "100447"^^ . + . + "97700"^^ . + . + "97200"^^ . + . + "95400"^^ . + . + "94200"^^ . + . + "91700"^^ . + . + "91300"^^ . + . + "415346"^^ . + . + "139389"^^ . + . + "138800"^^ . + . + "129800"^^ . + . + "127696"^^ . + . + "98400"^^ . + . + "88800"^^ . + . + "431000"^^ . + . + "2879052"^^ . + . + "1503451"^^ . + . + "739412"^^ . + . + "701927"^^ . + . + "603367"^^ . + . + "530553"^^ . + . + "357589"^^ . + . + "354757"^^ . + . + "353504"^^ . + . + "326993"^^ . + . + "319998"^^ . + . + "311708"^^ . + . + "283670"^^ . + . + "272432"^^ . + . + "267980"^^ . + . + "247986"^^ . + . + "244767"^^ . + . + "243402"^^ . + . + "217154"^^ . + . + "213050"^^ . + . + "209635"^^ . + . + "200453"^^ . + . + "195351"^^ . + . + "193174"^^ . + . + "184859"^^ . + . + "184165"^^ . + . + "182660"^^ . + . + "180483"^^ . + . + "179208"^^ . + . + "177709"^^ . + . + "173163"^^ . + . + "171173"^^ . + . + "169027"^^ . + . + "168695"^^ . + . + "164463"^^ . + . + "162802"^^ . + . + "158720"^^ . + . + "147527"^^ . + . + "145371"^^ . + . + "142449"^^ . + . + "142048"^^ . + . + "140583"^^ . + . + "139809"^^ . + . + "139712"^^ . + . + "136613"^^ . + . + "127945"^^ . + . + "127093"^^ . + . + "120802"^^ . + . + "113016"^^ . + . + "112207"^^ . + . + "109247"^^ . + . + "109120"^^ . + . + "104095"^^ . + . + "103106"^^ . + . + "101144"^^ . + . + "98212"^^ . + . + "94591"^^ . + . + "93745"^^ . + . + "92262"^^ . + . + "2352121"^^ . + . + "904165"^^ . + . + "756653"^^ . + . + "752319"^^ . + . + "658630"^^ . + . + "634065"^^ . + . + "566120"^^ . + . + "468931"^^ . + . + "442633"^^ . + . + "410102"^^ . + . + "378810"^^ . + . + "370190"^^ . + . + "365467"^^ . + . + "341288"^^ . + . + "339233"^^ . + . + "334341"^^ . + . + "328535"^^ . + . + "283289"^^ . + . + "279340"^^ . + . + "262648"^^ . + . + "261911"^^ . + . + "242727"^^ . + . + "222993"^^ . + . + "221047"^^ . + . + "203296"^^ . + . + "197254"^^ . + . + "192120"^^ . + . + "189885"^^ . + . + "182639"^^ . + . + "181503"^^ . + . + "177971"^^ . + . + "171363"^^ . + . + "167183"^^ . + . + "164367"^^ . + . + "164252"^^ . + . + "162072"^^ . + . + "159632"^^ . + . + "120838"^^ . + . + "105768"^^ . + . + "101817"^^ . + . + "97008"^^ . + . + "96734"^^ . + . + "93818"^^ . + . + "89292"^^ . + . + "2495000"^^ . + . + "164851"^^ . + . + "127842"^^ . + . + "112249"^^ . + . + "97314"^^ . + . + "96938"^^ . + . + "96140"^^ . + . + "1636"^^ . + . + "77366"^^ . + . + "2173831"^^ . + . + "1581082"^^ . + . + "1177604"^^ . + . + "1147116"^^ . + . + "718821"^^ . + . + "601794"^^ . + . + "505058"^^ . + . + "485433"^^ . + . + "472780"^^ . + . + "470866"^^ . + . + "467375"^^ . + . + "461877"^^ . + . + "449811"^^ . + . + "444867"^^ . + . + "429076"^^ . + . + "411822"^^ . + . + "391170"^^ . + . + "379520"^^ . + . + "379310"^^ . + . + "365820"^^ . + . + "354908"^^ . + . + "338855"^^ . + . + "315807"^^ . + . + "305699"^^ . + . + "285061"^^ . + . + "281146"^^ . + . + "278474"^^ . + . + "267279"^^ . + . + "263971"^^ . + . + "262481"^^ . + . + "259728"^^ . + . + "252386"^^ . + . + "247588"^^ . + . + "242511"^^ . + . + "231403"^^ . + . + "230403"^^ . + . + "222859"^^ . + . + "221857"^^ . + . + "218447"^^ . + . + "217019"^^ . + . + "207927"^^ . + . + "201186"^^ . + . + "198183"^^ . + . + "196075"^^ . + . + "195482"^^ . + . + "194260"^^ . + . + "187691"^^ . + . + "185633"^^ . + . + "179531"^^ . + . + "178639"^^ . + . + "175291"^^ . + . + "171045"^^ . + . + "163849"^^ . + . + "163037"^^ . + . + "161912"^^ . + . + "157010"^^ . + . + "156137"^^ . + . + "154297"^^ . + . + "154264"^^ . + . + "149769"^^ . + . + "148110"^^ . + . + "147924"^^ . + . + "147187"^^ . + . + "144282"^^ . + . + "142515"^^ . + . + "141954"^^ . + . + "141721"^^ . + . + "141174"^^ . + . + "137810"^^ . + . + "135603"^^ . + . + "133950"^^ . + . + "133786"^^ . + . + "131090"^^ . + . + "130328"^^ . + . + "129765"^^ . + . + "126352"^^ . + . + "125699"^^ . + . + "125171"^^ . + . + "123824"^^ . + . + "123672"^^ . + . + "120645"^^ . + . + "119990"^^ . + . + "119675"^^ . + . + "118534"^^ . + . + "118259"^^ . + . + "117680"^^ . + . + "117539"^^ . + . + "115171"^^ . + . + "115167"^^ . + . + "114568"^^ . + . + "113190"^^ . + . + "112446"^^ . + . + "111582"^^ . + . + "111425"^^ . + . + "111009"^^ . + . + "110709"^^ . + . + "110531"^^ . + . + "110517"^^ . + . + "110420"^^ . + . + "109481"^^ . + . + "108254"^^ . + . + "107722"^^ . + . + "107691"^^ . + . + "107166"^^ . + . + "106630"^^ . + . + "105910"^^ . + . + "105908"^^ . + . + "105760"^^ . + . + "103952"^^ . + . + "102379"^^ . + . + "102265"^^ . + . + "102082"^^ . + . + "101792"^^ . + . + "101391"^^ . + . + "101205"^^ . + . + "101031"^^ . + . + "101017"^^ . + . + "100000"^^ . + . + "99862"^^ . + . + "99367"^^ . + . + "98781"^^ . + . + "97860"^^ . + . + "97329"^^ . + . + "96858"^^ . + . + "96609"^^ . + . + "96113"^^ . + . + "95630"^^ . + . + "95219"^^ . + . + "94861"^^ . + . + "94466"^^ . + . + "93623"^^ . + . + "93232"^^ . + . + "92694"^^ . + . + "92512"^^ . + . + "92429"^^ . + . + "90603"^^ . + . + "14542"^^ . + . + "419000"^^ . + . + "102600"^^ . + . + "42326"^^ . + . + "1235200"^^ . + . + "240900"^^ . + . + "155400"^^ . + . + "137700"^^ . + . + "111700"^^ . + . + "1070000"^^ . + . + "385192"^^ . + . + "151069"^^ . + . + "109975"^^ . + . + "103653"^^ . + . + "27025"^^ . + . + "4621"^^ . + . + "13445"^^ . + . + "62947"^^ . + . + "12433"^^ . + . + "9500"^^ . + . + "1139"^^ . + . + "823301"^^ . + . + "209791"^^ . + . + "101295"^^ . + . + "90801"^^ . + . + "1090610"^^ . + . + "241000"^^ . + . + "254000"^^ . + . + "884472"^^ . + . + "290204"^^ . + . + "240429"^^ . + . + "102233"^^ . + . + "813900"^^ . + . + "383900"^^ . + . + "89200"^^ . + . + "1987996"^^ . + . + "1312637"^^ . + . + "1438"^^ . + . + "9604900"^^ . + . + "2663820"^^ . + . + "2429000"^^ . + . + "1843919"^^ . + . + "1222764"^^ . + . + "1198300"^^ . + . + "1104405"^^ . + . + "1060257"^^ . + . + "716862"^^ . + . + "680332"^^ . + . + "644300"^^ . + . + "534474"^^ . + . + "518600"^^ . + . + "482931"^^ . + . + "438638"^^ . + . + "435000"^^ . + . + "418944"^^ . + . + "409632"^^ . + . + "399175"^^ . + . + "385201"^^ . + . + "365200"^^ . + . + "344600"^^ . + . + "338752"^^ . + . + "332288"^^ . + . + "306600"^^ . + . + "301504"^^ . + . + "289744"^^ . + . + "285114"^^ . + . + "270800"^^ . + . + "263200"^^ . + . + "254406"^^ . + . + "253760"^^ . + . + "249312"^^ . + . + "218500"^^ . + . + "206900"^^ . + . + "205100"^^ . + . + "203056"^^ . + . + "202500"^^ . + . + "187400"^^ . + . + "179800"^^ . + . + "171532"^^ . + . + "146439"^^ . + . + "145000"^^ . + . + "143409"^^ . + . + "142800"^^ . + . + "134019"^^ . + . + "129300"^^ . + . + "129300"^^ . + . + "129000"^^ . + . + "127222"^^ . + . + "125766"^^ . + . + "124300"^^ . + . + "124000"^^ . + . + "123800"^^ . + . + "122600"^^ . + . + "122400"^^ . + . + "120770"^^ . + . + "117000"^^ . + . + "114300"^^ . + . + "111500"^^ . + . + "109600"^^ . + . + "107000"^^ . + . + "106800"^^ . + . + "105100"^^ . + . + "103500"^^ . + . + "103300"^^ . + . + "103000"^^ . + . + "101300"^^ . + . + "99693"^^ . + . + "96626"^^ . + . + "95900"^^ . + . + "95800"^^ . + . + "95300"^^ . + . + "94800"^^ . + . + "94700"^^ . + . + "94058"^^ . + . + "93200"^^ . + . + "92700"^^ . + . + "92600"^^ . + . + "92300"^^ . + . + "91871"^^ . + . + "91200"^^ . + . + "91100"^^ . + . + "89900"^^ . + . + "89900"^^ . + . + "10500000"^^ . + . + "7206704"^^ . + . + "4399819"^^ . + . + "3841396"^^ . + . + "2964638"^^ . + . + "2876710"^^ . + . + "2660088"^^ . + . + "1874409"^^ . + . + "1624752"^^ . + . + "1619115"^^ . + . + "1566651"^^ . + . + "1498817"^^ . + . + "1458483"^^ . + . + "1091674"^^ . + . + "1062771"^^ . + . + "1042740"^^ . + . + "1031346"^^ . + . + "1014557"^^ . + . + "977856"^^ . + . + "950435"^^ . + . + "929270"^^ . + . + "917243"^^ . + . + "892506"^^ . + . + "891790"^^ . + . + "816321"^^ . + . + "803389"^^ . + . + "792858"^^ . + . + "753778"^^ . + . + "752037"^^ . + . + "741927"^^ . + . + "708835"^^ . + . + "703592"^^ . + . + "701827"^^ . + . + "690765"^^ . + . + "666279"^^ . + . + "656925"^^ . + . + "648298"^^ . + . + "604215"^^ . + . + "599306"^^ . + . + "587211"^^ . + . + "584342"^^ . + . + "573272"^^ . + . + "564589"^^ . + . + "559407"^^ . + . + "537371"^^ . + . + "524006"^^ . + . + "517083"^^ . + . + "509510"^^ . + . + "505566"^^ . + . + "504094"^^ . + . + "480692"^^ . + . + "480520"^^ . + . + "471051"^^ . + . + "460577"^^ . + . + "454156"^^ . + . + "447657"^^ . + . + "438639"^^ . + . + "429214"^^ . + . + "425836"^^ . + . + "421576"^^ . + . + "419831"^^ . + . + "416289"^^ . + . + "411542"^^ . + . + "406370"^^ . + . + "403418"^^ . + . + "402700"^^ . + . + "402338"^^ . + . + "387223"^^ . + . + "386159"^^ . + . + "379070"^^ . + . + "374945"^^ . + . + "369077"^^ . + . + "366712"^^ . + . + "362266"^^ . + . + "342595"^^ . + . + "341637"^^ . + . + "333683"^^ . + . + "328034"^^ . + . + "326399"^^ . + . + "324851"^^ . + . + "316606"^^ . + . + "308571"^^ . + . + "307297"^^ . + . + "304952"^^ . + . + "304099"^^ . + . + "301297"^^ . + . + "300850"^^ . + . + "291675"^^ . + . + "279980"^^ . + . + "278317"^^ . + . + "275990"^^ . + . + "275083"^^ . + . + "273304"^^ . + . + "270159"^^ . + . + "266889"^^ . + . + "266082"^^ . + . + "262188"^^ . + . + "253225"^^ . + . + "245391"^^ . + . + "245079"^^ . + . + "243742"^^ . + . + "242193"^^ . + . + "241107"^^ . + . + "241034"^^ . + . + "240609"^^ . + . + "238368"^^ . + . + "237713"^^ . + . + "236800"^^ . + . + "235661"^^ . + . + "233400"^^ . + . + "232811"^^ . + . + "226691"^^ . + . + "226105"^^ . + . + "224821"^^ . + . + "218391"^^ . + . + "216950"^^ . + . + "215489"^^ . + . + "215424"^^ . + . + "215218"^^ . + . + "215128"^^ . + . + "214950"^^ . + . + "214737"^^ . + . + "214384"^^ . + . + "212866"^^ . + . + "210418"^^ . + . + "205086"^^ . + . + "203065"^^ . + . + "202013"^^ . + . + "201323"^^ . + . + "199854"^^ . + . + "198535"^^ . + . + "197408"^^ . + . + "195346"^^ . + . + "194567"^^ . + . + "193197"^^ . + . + "190255"^^ . + . + "190084"^^ . + . + "186939"^^ . + . + "185378"^^ . + . + "184474"^^ . + . + "183965"^^ . + . + "183375"^^ . + . + "183215"^^ . + . + "182477"^^ . + . + "181339"^^ . + . + "179833"^^ . + . + "179258"^^ . + . + "177989"^^ . + . + "175372"^^ . + . + "175061"^^ . + . + "174985"^^ . + . + "174933"^^ . + . + "174924"^^ . + . + "174666"^^ . + . + "174369"^^ . + . + "173751"^^ . + . + "172710"^^ . + . + "172677"^^ . + . + "172562"^^ . + . + "169336"^^ . + . + "167461"^^ . + . + "167051"^^ . + . + "164364"^^ . + . + "163431"^^ . + . + "161482"^^ . + . + "160359"^^ . + . + "159232"^^ . + . + "159110"^^ . + . + "159042"^^ . + . + "157551"^^ . + . + "157358"^^ . + . + "157082"^^ . + . + "156630"^^ . + . + "155500"^^ . + . + "155240"^^ . + . + "155172"^^ . + . + "154367"^^ . + . + "153086"^^ . + . + "151806"^^ . + . + "151789"^^ . + . + "151045"^^ . + . + "150869"^^ . + . + "150645"^^ . + . + "150112"^^ . + . + "150100"^^ . + . + "149965"^^ . + . + "148583"^^ . + . + "148519"^^ . + . + "148272"^^ . + . + "147305"^^ . + . + "147217"^^ . + . + "147124"^^ . + . + "146514"^^ . + . + "146262"^^ . + . + "145143"^^ . + . + "145133"^^ . + . + "144346"^^ . + . + "143922"^^ . + . + "143726"^^ . + . + "140408"^^ . + . + "139852"^^ . + . + "139483"^^ . + . + "139204"^^ . + . + "138903"^^ . + . + "137061"^^ . + . + "137028"^^ . + . + "136877"^^ . + . + "136842"^^ . + . + "136697"^^ . + . + "136182"^^ . + . + "136062"^^ . + . + "135825"^^ . + . + "135400"^^ . + . + "134051"^^ . + . + "133914"^^ . + . + "133462"^^ . + . + "133265"^^ . + . + "133102"^^ . + . + "132701"^^ . + . + "131719"^^ . + . + "131138"^^ . + . + "130484"^^ . + . + "129904"^^ . + . + "128981"^^ . + . + "128608"^^ . + . + "127992"^^ . + . + "127201"^^ . + . + "126089"^^ . + . + "126066"^^ . + . + "125498"^^ . + . + "125407"^^ . + . + "125371"^^ . + . + "125244"^^ . + . + "125199"^^ . + . + "125037"^^ . + . + "125000"^^ . + . + "124501"^^ . + . + "124437"^^ . + . + "124072"^^ . + . + "123930"^^ . + . + "123359"^^ . + . + "123289"^^ . + . + "123000"^^ . + . + "122705"^^ . + . + "122596"^^ . + . + "121842"^^ . + . + "121629"^^ . + . + "121463"^^ . + . + "121314"^^ . + . + "121110"^^ . + . + "120378"^^ . + . + "120265"^^ . + . + "120127"^^ . + . + "119813"^^ . + . + "119796"^^ . + . + "118080"^^ . + . + "117675"^^ . + . + "116833"^^ . + . + "116695"^^ . + . + "116671"^^ . + . + "115483"^^ . + . + "115144"^^ . + . + "114912"^^ . + . + "114876"^^ . + . + "114202"^^ . + . + "114085"^^ . + . + "114028"^^ . + . + "113285"^^ . + . + "112434"^^ . + . + "111866"^^ . + . + "110266"^^ . + . + "110024"^^ . + . + "109956"^^ . + . + "109755"^^ . + . + "109470"^^ . + . + "109196"^^ . + . + "108578"^^ . + . + "108518"^^ . + . + "108304"^^ . + . + "108277"^^ . + . + "108016"^^ . + . + "107592"^^ . + . + "107425"^^ . + . + "107365"^^ . + . + "107187"^^ . + . + "107163"^^ . + . + "106605"^^ . + . + "106523"^^ . + . + "106078"^^ . + . + "105973"^^ . + . + "105380"^^ . + . + "105363"^^ . + . + "104651"^^ . + . + "104585"^^ . + . + "104195"^^ . + . + "103579"^^ . + . + "102985"^^ . + . + "102649"^^ . + . + "102176"^^ . + . + "101660"^^ . + . + "101656"^^ . + . + "101409"^^ . + . + "100867"^^ . + . + "100836"^^ . + . + "100513"^^ . + . + "100490"^^ . + . + "100347"^^ . + . + "100223"^^ . + . + "100194"^^ . + . + "100079"^^ . + . + "98818"^^ . + . + "98640"^^ . + . + "98619"^^ . + . + "98220"^^ . + . + "97712"^^ . + . + "97662"^^ . + . + "97227"^^ . + . + "96813"^^ . + . + "96322"^^ . + . + "96315"^^ . + . + "96216"^^ . + . + "96109"^^ . + . + "95758"^^ . + . + "95661"^^ . + . + "95133"^^ . + . + "94876"^^ . + . + "94526"^^ . + . + "94326"^^ . + . + "93731"^^ . + . + "93447"^^ . + . + "93350"^^ . + . + "93109"^^ . + . + "92917"^^ . + . + "92583"^^ . + . + "92574"^^ . + . + "90803"^^ . + . + "90712"^^ . + . + "90601"^^ . + . + "90357"^^ . + . + "89166"^^ . + . + "89053"^^ . + . + "4336000"^^ . + . + "879000"^^ . + . + "485968"^^ . + . + "418624"^^ . + . + "406296"^^ . + . + "364096"^^ . + . + "309010"^^ . + . + "296705"^^ . + . + "268834"^^ . + . + "265937"^^ . + . + "208797"^^ . + . + "196519"^^ . + . + "192556"^^ . + . + "183183"^^ . + . + "114516"^^ . + . + "6758845"^^ . + . + "1887405"^^ . + . + "1266072"^^ . + . + "1191043"^^ . + . + "1053025"^^ . + . + "940968"^^ . + . + "804980"^^ . + . + "777677"^^ . + . + "692986"^^ . + . + "435200"^^ . + . + "419518"^^ . + . + "417748"^^ . + . + "401281"^^ . + . + "384991"^^ . + . + "380755"^^ . + . + "340386"^^ . + . + "326776"^^ . + . + "291117"^^ . + . + "286295"^^ . + . + "277808"^^ . + . + "273578"^^ . + . + "272815"^^ . + . + "265450"^^ . + . + "217804"^^ . + . + "206073"^^ . + . + "202639"^^ . + . + "201372"^^ . + . + "195882"^^ . + . + "188710"^^ . + . + "178498"^^ . + . + "170738"^^ . + . + "165888"^^ . + . + "159092"^^ . + . + "158847"^^ . + . + "158346"^^ . + . + "148944"^^ . + . + "144373"^^ . + . + "143641"^^ . + . + "143286"^^ . + . + "142690"^^ . + . + "138278"^^ . + . + "135024"^^ . + . + "134835"^^ . + . + "132318"^^ . + . + "127608"^^ . + . + "126346"^^ . + . + "120020"^^ . + . + "116883"^^ . + . + "115394"^^ . + . + "111253"^^ . + . + "111245"^^ . + . + "107799"^^ . + . + "107233"^^ . + . + "106923"^^ . + . + "105636"^^ . + . + "104765"^^ . + . + "103579"^^ . + . + "100887"^^ . + . + "100477"^^ . + . + "98500"^^ . + . + "98300"^^ . + . + "96400"^^ . + . + "94600"^^ . + . + "94200"^^ . + . + "91045"^^ . + . + "90100"^^ . + . + "89800"^^ . + . + "481854"^^ . + . + "127187"^^ . + . + "109184"^^ . + . + "633700"^^ . + . + "348100"^^ . + . + "265700"^^ . + . + "188200"^^ . + . + "163700"^^ . + . + "163100"^^ . + . + "159400"^^ . + . + "155800"^^ . + . + "154900"^^ . + . + "137000"^^ . + . + "133900"^^ . + . + "126900"^^ . + . + "92300"^^ . + . + "90300"^^ . + . + "2643581"^^ . + . + "1300977"^^ . + . + "1002619"^^ . + . + "903705"^^ . + . + "683794"^^ . + . + "636104"^^ . + . + "381161"^^ . + . + "376662"^^ . + . + "337862"^^ . + . + "331848"^^ . + . + "277305"^^ . + . + "259156"^^ . + . + "255268"^^ . + . + "216459"^^ . + . + "211391"^^ . + . + "208214"^^ . + . + "191317"^^ . + . + "179617"^^ . + . + "176022"^^ . + . + "172473"^^ . + . + "168717"^^ . + . + "165926"^^ . + . + "161673"^^ . + . + "156673"^^ . + . + "154891"^^ . + . + "143664"^^ . + . + "142055"^^ . + . + "138418"^^ . + . + "132127"^^ . + . + "131062"^^ . + . + "126282"^^ . + . + "120803"^^ . + . + "119516"^^ . + . + "117837"^^ . + . + "115698"^^ . + . + "114099"^^ . + . + "109738"^^ . + . + "107770"^^ . + . + "107475"^^ . + . + "104906"^^ . + . + "102037"^^ . + . + "98384"^^ . + . + "98329"^^ . + . + "98208"^^ . + . + "97232"^^ . + . + "96700"^^ . + . + "95504"^^ . + . + "94932"^^ . + . + "94505"^^ . + . + "94443"^^ . + . + "93454"^^ . + . + "93286"^^ . + . + "92379"^^ . + . + "91904"^^ . + . + "91729"^^ . + . + "90289"^^ . + . + "89852"^^ . + . + "88987"^^ . + . + "47900"^^ . + . + "1608144"^^ . + . + "240967"^^ . + . + "188022"^^ . + . + "144247"^^ . + . + "111752"^^ . + . + "91141"^^ . + . + "110379"^^ . + . + "103962"^^ . + . + "99799"^^ . + . + "7980230"^^ . + . + "3339594"^^ . + . + "2595674"^^ . + . + "2154376"^^ . + . + "1790886"^^ . + . + "1461974"^^ . + . + "1425139"^^ . + . + "1308379"^^ . + . + "1217359"^^ . + . + "1119117"^^ . + . + "1016264"^^ . + . + "989975"^^ . + . + "863930"^^ . + . + "797735"^^ . + . + "656734"^^ . + . + "624269"^^ . + . + "586300"^^ . + . + "568796"^^ . + . + "549977"^^ . + . + "545299"^^ . + . + "517785"^^ . + . + "513451"^^ . + . + "497464"^^ . + . + "481434"^^ . + . + "475167"^^ . + . + "473854"^^ . + . + "469675"^^ . + . + "466133"^^ . + . + "461126"^^ . + . + "455386"^^ . + . + "452155"^^ . + . + "441893"^^ . + . + "441649"^^ . + . + "440353"^^ . + . + "433401"^^ . + . + "432759"^^ . + . + "430200"^^ . + . + "425103"^^ . + . + "408007"^^ . + . + "403151"^^ . + . + "397618"^^ . + . + "396689"^^ . + . + "391233"^^ . + . + "376921"^^ . + . + "372840"^^ . + . + "364813"^^ . + . + "364197"^^ . + . + "362812"^^ . + . + "361747"^^ . + . + "361737"^^ . + . + "361391"^^ . + . + "360066"^^ . + . + "346090"^^ . + . + "345750"^^ . + . + "332471"^^ . + . + "330335"^^ . + . + "328711"^^ . + . + "327211"^^ . + . + "325809"^^ . + . + "325790"^^ . + . + "324710"^^ . + . + "320296"^^ . + . + "314440"^^ . + . + "303784"^^ . + . + "301446"^^ . + . + "299851"^^ . + . + "295969"^^ . + . + "294788"^^ . + . + "292253"^^ . + . + "288173"^^ . + . + "287525"^^ . + . + "287353"^^ . + . + "284473"^^ . + . + "282348"^^ . + . + "282070"^^ . + . + "279280"^^ . + . + "276421"^^ . + . + "270828"^^ . + . + "269649"^^ . + . + "266281"^^ . + . + "261020"^^ . + . + "257315"^^ . + . + "257263"^^ . + . + "255617"^^ . + . + "254818"^^ . + . + "254207"^^ . + . + "246559"^^ . + . + "244240"^^ . + . + "242979"^^ . + . + "239124"^^ . + . + "239123"^^ . + . + "235611"^^ . + . + "231527"^^ . + . + "222768"^^ . + . + "220576"^^ . + . + "216015"^^ . + . + "212407"^^ . + . + "211382"^^ . + . + "209442"^^ . + . + "208234"^^ . + . + "206801"^^ . + . + "206504"^^ . + . + "205993"^^ . + . + "201838"^^ . + . + "201585"^^ . + . + "200171"^^ . + . + "199753"^^ . + . + "197608"^^ . + . + "197276"^^ . + . + "196622"^^ . + . + "192407"^^ . + . + "190886"^^ . + . + "188735"^^ . + . + "184061"^^ . + . + "177522"^^ . + . + "175206"^^ . + . + "174984"^^ . + . + "174380"^^ . + . + "173685"^^ . + . + "171958"^^ . + . + "170034"^^ . + . + "168072"^^ . + . + "167661"^^ . + . + "167268"^^ . + . + "166979"^^ . + . + "166770"^^ . + . + "166512"^^ . + . + "165243"^^ . + . + "164543"^^ . + . + "162472"^^ . + . + "161222"^^ . + . + "160768"^^ . + . + "159430"^^ . + . + "157171"^^ . + . + "155941"^^ . + . + "155784"^^ . + . + "153823"^^ . + . + "152849"^^ . + . + "152820"^^ . + . + "151758"^^ . + . + "149821"^^ . + . + "149794"^^ . + . + "148006"^^ . + . + "147744"^^ . + . + "147738"^^ . + . + "147523"^^ . + . + "146712"^^ . + . + "145922"^^ . + . + "145317"^^ . + . + "142889"^^ . + . + "139827"^^ . + . + "139216"^^ . + . + "138953"^^ . + . + "138210"^^ . + . + "136970"^^ . + . + "136461"^^ . + . + "135010"^^ . + . + "134426"^^ . + . + "134072"^^ . + . + "133505"^^ . + . + "133183"^^ . + . + "132957"^^ . + . + "131831"^^ . + . + "130594"^^ . + . + "130470"^^ . + . + "127969"^^ . + . + "127550"^^ . + . + "127486"^^ . + . + "127207"^^ . + . + "127026"^^ . + . + "126897"^^ . + . + "126670"^^ . + . + "125547"^^ . + . + "125094"^^ . + . + "124217"^^ . + . + "124013"^^ . + . + "123582"^^ . + . + "123285"^^ . + . + "122046"^^ . + . + "121967"^^ . + . + "121030"^^ . + . + "120963"^^ . + . + "119714"^^ . + . + "119666"^^ . + . + "119357"^^ . + . + "119287"^^ . + . + "119166"^^ . + . + "118968"^^ . + . + "118805"^^ . + . + "118751"^^ . + . + "118326"^^ . + . + "117748"^^ . + . + "117258"^^ . + . + "115781"^^ . + . + "115571"^^ . + . + "114815"^^ . + . + "111666"^^ . + . + "111645"^^ . + . + "111295"^^ . + . + "110969"^^ . + . + "110034"^^ . + . + "109699"^^ . + . + "108600"^^ . + . + "108275"^^ . + . + "107937"^^ . + . + "107661"^^ . + . + "107583"^^ . + . + "107078"^^ . + . + "106996"^^ . + . + "106914"^^ . + . + "106647"^^ . + . + "106232"^^ . + . + "106121"^^ . + . + "105643"^^ . + . + "105508"^^ . + . + "103969"^^ . + . + "103171"^^ . + . + "102710"^^ . + . + "102156"^^ . + . + "101732"^^ . + . + "101651"^^ . + . + "101344"^^ . + . + "100821"^^ . + . + "100713"^^ . + . + "100313"^^ . + . + "100032"^^ . + . + "99738"^^ . + . + "98746"^^ . + . + "98221"^^ . + . + "98123"^^ . + . + "97632"^^ . + . + "96972"^^ . + . + "96002"^^ . + . + "95592"^^ . + . + "95521"^^ . + . + "95165"^^ . + . + "94784"^^ . + . + "93756"^^ . + . + "93342"^^ . + . + "93216"^^ . + . + "93058"^^ . + . + "93053"^^ . + . + "92583"^^ . + . + "92398"^^ . + . + "91664"^^ . + . + "91470"^^ . + . + "91229"^^ . + . + "91170"^^ . + . + "503600"^^ . + . + "398300"^^ . + . + "317600"^^ . + . + "298500"^^ . + . + "122400"^^ . + . + "103300"^^ . + . + "1000000"^^ . + . + "389815"^^ . + . + "231511"^^ . + . + "137247"^^ . + . + "89104"^^ . + . + "700"^^ . + . + "1204000"^^ . + . + "179626"^^ . + . + "175391"^^ . + . + "155496"^^ . + . + "147305"^^ . + . + "135000"^^ . + . + "100386"^^ . + . + "92303"^^ . + . + "570155"^^ . + . + "129800"^^ . + . + "105100"^^ . + . + "1448300"^^ . + . + "1372800"^^ . + . + "177000"^^ . + . + "143000"^^ . + . + "138000"^^ . + . + "131000"^^ . + . + "112454"^^ . + . + "1016376"^^ . + . + "768082"^^ . + . + "688275"^^ . + . + "622632"^^ . + . + "618477"^^ . + . + "616306"^^ . + . + "608072"^^ . + . + "594501"^^ . + . + "514008"^^ . + . + "348845"^^ . + . + "339917"^^ . + . + "335614"^^ . + . + "335277"^^ . + . + "330393"^^ . + . + "304477"^^ . + . + "296711"^^ . + . + "207588"^^ . + . + "193647"^^ . + . + "189959"^^ . + . + "189098"^^ . + . + "180400"^^ . + . + "179209"^^ . + . + "167264"^^ . + . + "154980"^^ . + . + "148867"^^ . + . + "147889"^^ . + . + "145150"^^ . + . + "140173"^^ . + . + "139192"^^ . + . + "136216"^^ . + . + "127977"^^ . + . + "116428"^^ . + . + "115913"^^ . + . + "115100"^^ . + . + "114733"^^ . + . + "114034"^^ . + . + "113910"^^ . + . + "109186"^^ . + . + "107314"^^ . + . + "105403"^^ . + . + "103593"^^ . + . + "101936"^^ . + . + "101820"^^ . + . + "101388"^^ . + . + "100702"^^ . + . + "95411"^^ . + . + "92686"^^ . + . + "89442"^^ . + . + "89269"^^ . + . + "94800"^^ . + . + "1129400"^^ . + . + "436900"^^ . + . + "360100"^^ . + . + "330100"^^ . + . + "311200"^^ . + . + "311000"^^ . + . + "300500"^^ . + . + "269600"^^ . + . + "253100"^^ . + . + "221400"^^ . + . + "203500"^^ . + . + "195500"^^ . + . + "170500"^^ . + . + "157400"^^ . + . + "143400"^^ . + . + "142500"^^ . + . + "127200"^^ . + . + "123400"^^ . + . + "109500"^^ . + . + "98000"^^ . + . + "90000"^^ . + . + "2290000"^^ . + . + "461753"^^ . + . + "192733"^^ . + . + "163927"^^ . + . + "116293"^^ . + . + "111882"^^ . + . + "94947"^^ . + . + "91258"^^ . + . + "524000"^^ . + . + "9696300"^^ . + . + "7472000"^^ . + . + "6351600"^^ . + . + "5286800"^^ . + . + "4344600"^^ . + . + "4289800"^^ . + . + "4265200"^^ . + . + "4256300"^^ . + . + "3361500"^^ . + . + "2870300"^^ . + . + "2812000"^^ . + . + "2761400"^^ . + . + "2697000"^^ . + . + "2596000"^^ . + . + "2278100"^^ . + . + "2190500"^^ . + . + "2107200"^^ . + . + "2041500"^^ . + . + "1968400"^^ . + . + "1829500"^^ . + . + "1809800"^^ . + . + "1691600"^^ . + . + "1593800"^^ . + . + "1565800"^^ . + . + "1465200"^^ . + . + "1371200"^^ . + . + "1369100"^^ . + . + "1310100"^^ . + . + "1200000"^^ . + . + "1200000"^^ . + . + "1161800"^^ . + . + "1140000"^^ . + . + "1070000"^^ . + . + "1040000"^^ . + . + "1040000"^^ . + . + "980000"^^ . + . + "950500"^^ . + . + "916700"^^ . + . + "840000"^^ . + . + "830000"^^ . + . + "810000"^^ . + . + "800000"^^ . + . + "800000"^^ . + . + "770000"^^ . + . + "760000"^^ . + . + "710000"^^ . + . + "700200"^^ . + . + "700000"^^ . + . + "683885"^^ . + . + "660000"^^ . + . + "640000"^^ . + . + "627500"^^ . + . + "610000"^^ . + . + "580000"^^ . + . + "570000"^^ . + . + "570000"^^ . + . + "544500"^^ . + . + "530000"^^ . + . + "530000"^^ . + . + "520000"^^ . + . + "520000"^^ . + . + "510000"^^ . + . + "493409"^^ . + . + "492559"^^ . + . + "487148"^^ . + . + "483155"^^ . + . + "482043"^^ . + . + "473762"^^ . + . + "457601"^^ . + . + "454300"^^ . + . + "452127"^^ . + . + "449245"^^ . + . + "441968"^^ . + . + "428522"^^ . + . + "425740"^^ . + . + "425579"^^ . + . + "421589"^^ . + . + "420332"^^ . + . + "415466"^^ . + . + "410775"^^ . + . + "410407"^^ . + . + "409924"^^ . + . + "409100"^^ . + . + "401871"^^ . + . + "400997"^^ . + . + "393184"^^ . + . + "386081"^^ . + . + "380846"^^ . + . + "377869"^^ . + . + "371601"^^ . + . + "368316"^^ . + . + "366549"^^ . + . + "364972"^^ . + . + "364130"^^ . + . + "363954"^^ . + . + "362773"^^ . + . + "362268"^^ . + . + "357052"^^ . + . + "354141"^^ . + . + "354139"^^ . + . + "352125"^^ . + . + "350696"^^ . + . + "350077"^^ . + . + "350043"^^ . + . + "343341"^^ . + . + "341128"^^ . + . + "337765"^^ . + . + "324720"^^ . + . + "324600"^^ . + . + "317223"^^ . + . + "317144"^^ . + . + "315083"^^ . + . + "313469"^^ . + . + "312892"^^ . + . + "308669"^^ . + . + "305421"^^ . + . + "303160"^^ . + . + "302800"^^ . + . + "302789"^^ . + . + "301276"^^ . + . + "299676"^^ . + . + "296831"^^ . + . + "291187"^^ . + . + "281728"^^ . + . + "281352"^^ . + . + "281248"^^ . + . + "281183"^^ . + . + "280657"^^ . + . + "278829"^^ . + . + "273786"^^ . + . + "265683"^^ . + . + "265248"^^ . + . + "264081"^^ . + . + "262947"^^ . + . + "262892"^^ . + . + "261862"^^ . + . + "257862"^^ . + . + "256012"^^ . + . + "255129"^^ . + . + "254842"^^ . + . + "251733"^^ . + . + "250718"^^ . + . + "247227"^^ . + . + "246833"^^ . + . + "246799"^^ . + . + "244974"^^ . + . + "243303"^^ . + . + "242708"^^ . + . + "241019"^^ . + . + "239675"^^ . + . + "235100"^^ . + . + "230892"^^ . + . + "230587"^^ . + . + "228017"^^ . + . + "227881"^^ . + . + "226569"^^ . + . + "222884"^^ . + . + "222394"^^ . + . + "220129"^^ . + . + "218071"^^ . + . + "217987"^^ . + . + "215373"^^ . + . + "215196"^^ . + . + "214957"^^ . + . + "214294"^^ . + . + "213659"^^ . + . + "212976"^^ . + . + "211526"^^ . + . + "210452"^^ . + . + "209038"^^ . + . + "208815"^^ . + . + "207844"^^ . + . + "205560"^^ . + . + "205504"^^ . + . + "204970"^^ . + . + "204899"^^ . + . + "200824"^^ . + . + "198664"^^ . + . + "197602"^^ . + . + "197595"^^ . + . + "195485"^^ . + . + "195064"^^ . + . + "194784"^^ . + . + "194301"^^ . + . + "193784"^^ . + . + "192981"^^ . + . + "192509"^^ . + . + "192247"^^ . + . + "191356"^^ . + . + "190772"^^ . + . + "190123"^^ . + . + "189293"^^ . + . + "188101"^^ . + . + "187309"^^ . + . + "186332"^^ . + . + "185818"^^ . + . + "185154"^^ . + . + "185048"^^ . + . + "182488"^^ . + . + "182241"^^ . + . + "181805"^^ . + . + "181424"^^ . + . + "180650"^^ . + . + "180273"^^ . + . + "180130"^^ . + . + "179976"^^ . + . + "179818"^^ . + . + "179572"^^ . + . + "178683"^^ . + . + "178669"^^ . + . + "177193"^^ . + . + "176367"^^ . + . + "175988"^^ . + . + "175873"^^ . + . + "175753"^^ . + . + "174570"^^ . + . + "174142"^^ . + . + "173878"^^ . + . + "173524"^^ . + . + "169930"^^ . + . + "169603"^^ . + . + "169400"^^ . + . + "166280"^^ . + . + "164880"^^ . + . + "164747"^^ . + . + "164641"^^ . + . + "164092"^^ . + . + "163552"^^ . + . + "162930"^^ . + . + "162198"^^ . + . + "161910"^^ . + . + "161315"^^ . + . + "161023"^^ . + . + "160794"^^ . + . + "160691"^^ . + . + "159538"^^ . + . + "159344"^^ . + . + "156823"^^ . + . + "156468"^^ . + . + "156317"^^ . + . + "156307"^^ . + . + "153364"^^ . + . + "152442"^^ . + . + "151862"^^ . + . + "151585"^^ . + . + "150168"^^ . + . + "150123"^^ . + . + "148583"^^ . + . + "148362"^^ . + . + "148105"^^ . + . + "146288"^^ . + . + "146086"^^ . + . + "144467"^^ . + . + "144280"^^ . + . + "144248"^^ . + . + "142659"^^ . + . + "142302"^^ . + . + "142170"^^ . + . + "140169"^^ . + . + "139417"^^ . + . + "138963"^^ . + . + "137994"^^ . + . + "137080"^^ . + . + "136811"^^ . + . + "136554"^^ . + . + "136446"^^ . + . + "136396"^^ . + . + "134481"^^ . + . + "134419"^^ . + . + "133910"^^ . + . + "133565"^^ . + . + "133555"^^ . + . + "133183"^^ . + . + "133101"^^ . + . + "132971"^^ . + . + "132744"^^ . + . + "132455"^^ . + . + "132260"^^ . + . + "132156"^^ . + . + "131861"^^ . + . + "131807"^^ . + . + "131149"^^ . + . + "130115"^^ . + . + "130031"^^ . + . + "128888"^^ . + . + "128418"^^ . + . + "128258"^^ . + . + "126872"^^ . + . + "126785"^^ . + . + "126438"^^ . + . + "125341"^^ . + . + "124219"^^ . + . + "123958"^^ . + . + "123676"^^ . + . + "123366"^^ . + . + "123357"^^ . + . + "123232"^^ . + . + "121949"^^ . + . + "121397"^^ . + . + "120523"^^ . + . + "120101"^^ . + . + "120023"^^ . + . + "120000"^^ . + . + "118858"^^ . + . + "118553"^^ . + . + "117264"^^ . + . + "116188"^^ . + . + "114586"^^ . + . + "114256"^^ . + . + "114065"^^ . + . + "114025"^^ . + . + "113958"^^ . + . + "113277"^^ . + . + "112673"^^ . + . + "112673"^^ . + . + "112373"^^ . + . + "111762"^^ . + . + "110048"^^ . + . + "109520"^^ . + . + "109268"^^ . + . + "109234"^^ . + . + "108504"^^ . + . + "108359"^^ . + . + "107847"^^ . + . + "107329"^^ . + . + "107004"^^ . + . + "106346"^^ . + . + "105287"^^ . + . + "105265"^^ . + . + "105021"^^ . + . + "104571"^^ . + . + "104269"^^ . + . + "103211"^^ . + . + "103104"^^ . + . + "102820"^^ . + . + "102770"^^ . + . + "102628"^^ . + . + "102384"^^ . + . + "102134"^^ . + . + "102052"^^ . + . + "100478"^^ . + . + "99265"^^ . + . + "99193"^^ . + . + "98667"^^ . + . + "98531"^^ . + . + "97994"^^ . + . + "97168"^^ . + . + "95900"^^ . + . + "95761"^^ . + . + "94000"^^ . + . + "93056"^^ . + . + "93009"^^ . + . + "92889"^^ . + . + "91999"^^ . + . + "91471"^^ . + . + "91030"^^ . + . + "90870"^^ . + . + "90646"^^ . + . + "90286"^^ . + . + "90222"^^ . + . + "89400"^^ . + . + "89373"^^ . + . + "89288"^^ . + . + "589400"^^ . + . + "222700"^^ . + . + "5055"^^ . + . + "2226"^^ . + . + "6260862"^^ . + . + "2077386"^^ . + . + "1861265"^^ . + . + "1223260"^^ . + . + "805757"^^ . + . + "606932"^^ . + . + "515555"^^ . + . + "393664"^^ . + . + "381725"^^ . + . + "359147"^^ . + . + "337580"^^ . + . + "333470"^^ . + . + "332396"^^ . + . + "300052"^^ . + . + "295058"^^ . + . + "288977"^^ . + . + "273140"^^ . + . + "272058"^^ . + . + "263247"^^ . + . + "248245"^^ . + . + "228985"^^ . + . + "226509"^^ . + . + "224336"^^ . + . + "221913"^^ . + . + "220704"^^ . + . + "200719"^^ . + . + "178020"^^ . + . + "159363"^^ . + . + "152488"^^ . + . + "135848"^^ . + . + "125884"^^ . + . + "110963"^^ . + . + "110699"^^ . + . + "109740"^^ . + . + "108574"^^ . + . + "108053"^^ . + . + "107728"^^ . + . + "90688"^^ . + . + "36000"^^ . + . + "950000"^^ . + . + "500000"^^ . + . + "5064000"^^ . + . + "851381"^^ . + . + "806475"^^ . + . + "417810"^^ . + . + "417517"^^ . + . + "393030"^^ . + . + "299118"^^ . + . + "201569"^^ . + . + "182142"^^ . + . + "180860"^^ . + . + "172730"^^ . + . + "169841"^^ . + . + "137459"^^ . + . + "135284"^^ . + . + "115590"^^ . + . + "109406"^^ . + . + "109094"^^ . + . + "101309"^^ . + . + "503"^^ . + . + "167"^^ . + . + "2484000"^^ . + . + "709730"^^ . + . + "582480"^^ . + . + "566200"^^ . + . + "326011"^^ . + . + "300148"^^ . + . + "272934"^^ . + . + "254146"^^ . + . + "229172"^^ . + . + "223410"^^ . + . + "179000"^^ . + . + "178020"^^ . + . + "171500"^^ . + . + "9981619"^^ . + . + "3804522"^^ . + . + "2559424"^^ . + . + "2548568"^^ . + . + "1425835"^^ . + . + "1368341"^^ . + . + "1084891"^^ . + . + "869094"^^ . + . + "779412"^^ . + . + "755550"^^ . + . + "591106"^^ . + . + "563153"^^ . + . + "531376"^^ . + . + "518282"^^ . + . + "510314"^^ . + . + "508899"^^ . + . + "481694"^^ . + . + "441242"^^ . + . + "350914"^^ . + . + "330259"^^ . + . + "329886"^^ . + . + "322685"^^ . + . + "312927"^^ . + . + "311431"^^ . + . + "276111"^^ . + . + "272968"^^ . + . + "266569"^^ . + . + "258511"^^ . + . + "256370"^^ . + . + "249263"^^ . + . + "247452"^^ . + . + "242643"^^ . + . + "237460"^^ . + . + "235233"^^ . + . + "234528"^^ . + . + "229060"^^ . + . + "220403"^^ . + . + "205206"^^ . + . + "188443"^^ . + . + "183596"^^ . + . + "173746"^^ . + . + "163379"^^ . + . + "163351"^^ . + . + "155332"^^ . + . + "154663"^^ . + . + "147562"^^ . + . + "147027"^^ . + . + "146619"^^ . + . + "142173"^^ . + . + "139111"^^ . + . + "137070"^^ . + . + "134746"^^ . + . + "133443"^^ . + . + "131717"^^ . + . + "131229"^^ . + . + "131097"^^ . + . + "125997"^^ . + . + "124116"^^ . + . + "122604"^^ . + . + "122052"^^ . + . + "121501"^^ . + . + "115812"^^ . + . + "115427"^^ . + . + "113511"^^ . + . + "113494"^^ . + . + "108788"^^ . + . + "107831"^^ . + . + "103544"^^ . + . + "95472"^^ . + . + "92239"^^ . + . + "772072"^^ . + . + "383967"^^ . + . + "182671"^^ . + . + "153344"^^ . + . + "137288"^^ . + . + "116178"^^ . + . + "114233"^^ . + . + "113090"^^ . + . + "706770"^^ . + . + "189388"^^ . + . + "167964"^^ . + . + "104761"^^ . + . + "2256000"^^ . + . + "433180"^^ . + . + "298726"^^ . + . + "249492"^^ . + . + "207350"^^ . + . + "205078"^^ . + . + "142100"^^ . + . + "141000"^^ . + . + "132770"^^ . + . + "132350"^^ . + . + "123273"^^ . + . + "109350"^^ . + . + "100751"^^ . + . + "98505"^^ . + . + "130215"^^ . + . + "102178"^^ . + . + "28859"^^ . + . + "195000"^^ . + . + "154400"^^ . + . + "531800"^^ . + . + "96652"^^ . + . + "764328"^^ . + . + "114829"^^ . + . + "89439"^^ . + . + "297000"^^ . + . + "1100000"^^ . + . + "240000"^^ . + . + "850000"^^ . + . + "1682000"^^ . + . + "804000"^^ . + . + "121669"^^ . + . + "89338"^^ . + . + "5346"^^ . + . + "5043"^^ . + . + "577969"^^ . + . + "412639"^^ . + . + "202451"^^ . + . + "146563"^^ . + . + "133695"^^ . + . + "80700"^^ . + . + "169000"^^ . + . + "437500"^^ . + . + "675669"^^ . + . + "127441"^^ . + . + "120239"^^ . + . + "100807"^^ . + . + "99005"^^ . + . + "444299"^^ . + . + "478155"^^ . + . + "435964"^^ . + . + "71000"^^ . + . + "1297526"^^ . + . + "382853"^^ . + . + "328436"^^ . + . + "254350"^^ . + . + "243355"^^ . + . + "228119"^^ . + . + "219603"^^ . + . + "219582"^^ . + . + "199484"^^ . + . + "183261"^^ . + . + "182869"^^ . + . + "148059"^^ . + . + "126381"^^ . + . + "125841"^^ . + . + "124412"^^ . + . + "124228"^^ . + . + "114763"^^ . + . + "102019"^^ . + . + "809552"^^ . + . + "21445"^^ . + . + "7073"^^ . + . + "2940623"^^ . + . + "623457"^^ . + . + "621914"^^ . + . + "541162"^^ . + . + "521735"^^ . + . + "504420"^^ . + . + "460000"^^ . + . + "365382"^^ . + . + "292600"^^ . + . + "277516"^^ . + . + "262300"^^ . + . + "155244"^^ . + . + "154706"^^ . + . + "152090"^^ . + . + "140212"^^ . + . + "126303"^^ . + . + "119083"^^ . + . + "112450"^^ . + . + "107065"^^ . + . + "96200"^^ . + . + "92700"^^ . + . + "90400"^^ . + . + "28000"^^ . + . + "94050"^^ . + . + "667300"^^ . + . + "97600"^^ . + . + "138200"^^ . + . + "100616"^^ . + . + "98464"^^ . + . + "12000"^^ . + . + "8591309"^^ . + . + "1647720"^^ . + . + "1620303"^^ . + . + "1346176"^^ . + . + "1224924"^^ . + . + "1217818"^^ . + . + "1212232"^^ . + . + "1133576"^^ . + . + "1108499"^^ . + . + "1002239"^^ . + . + "857511"^^ . + . + "764902"^^ . + . + "744859"^^ . + . + "721011"^^ . + . + "720755"^^ . + . + "703324"^^ . + . + "670208"^^ . + . + "669353"^^ . + . + "668780"^^ . + . + "665617"^^ . + . + "643360"^^ . + . + "639839"^^ . + . + "619958"^^ . + . + "608697"^^ . + . + "577352"^^ . + . + "529093"^^ . + . + "519873"^^ . + . + "495540"^^ . + . + "490524"^^ . + . + "490245"^^ . + . + "475472"^^ . + . + "467262"^^ . + . + "457119"^^ . + . + "452976"^^ . + . + "440039"^^ . + . + "433544"^^ . + . + "432411"^^ . + . + "419776"^^ . + . + "419276"^^ . + . + "416428"^^ . + . + "390058"^^ . + . + "382140"^^ . + . + "380265"^^ . + . + "369573"^^ . + . + "358663"^^ . + . + "355679"^^ . + . + "337966"^^ . + . + "336109"^^ . + . + "323113"^^ . + . + "310277"^^ . + . + "305025"^^ . + . + "294789"^^ . + . + "293160"^^ . + . + "282941"^^ . + . + "277201"^^ . + . + "272806"^^ . + . + "271141"^^ . + . + "269393"^^ . + . + "267037"^^ . + . + "265211"^^ . + . + "262686"^^ . + . + "256848"^^ . + . + "252270"^^ . + . + "244688"^^ . + . + "232961"^^ . + . + "226864"^^ . + . + "226573"^^ . + . + "225943"^^ . + . + "222201"^^ . + . + "216903"^^ . + . + "216735"^^ . + . + "213045"^^ . + . + "208014"^^ . + . + "203681"^^ . + . + "196708"^^ . + . + "194265"^^ . + . + "193657"^^ . + . + "193156"^^ . + . + "192509"^^ . + . + "183741"^^ . + . + "182744"^^ . + . + "182012"^^ . + . + "179956"^^ . + . + "179300"^^ . + . + "177330"^^ . + . + "176952"^^ . + . + "172410"^^ . + . + "171495"^^ . + . + "171367"^^ . + . + "170878"^^ . + . + "170428"^^ . + . + "170123"^^ . + . + "164640"^^ . + . + "161191"^^ . + . + "159103"^^ . + . + "158335"^^ . + . + "153132"^^ . + . + "152983"^^ . + . + "152678"^^ . + . + "146411"^^ . + . + "145396"^^ . + . + "145276"^^ . + . + "143927"^^ . + . + "142251"^^ . + . + "141215"^^ . + . + "140495"^^ . + . + "137970"^^ . + . + "135721"^^ . + . + "134645"^^ . + . + "134037"^^ . + . + "133795"^^ . + . + "133675"^^ . + . + "132317"^^ . + . + "130557"^^ . + . + "130108"^^ . + . + "129454"^^ . + . + "128675"^^ . + . + "127949"^^ . + . + "127898"^^ . + . + "127490"^^ . + . + "126475"^^ . + . + "126147"^^ . + . + "124279"^^ . + . + "124014"^^ . + . + "123883"^^ . + . + "123700"^^ . + . + "123220"^^ . + . + "121946"^^ . + . + "121715"^^ . + . + "121093"^^ . + . + "118948"^^ . + . + "118815"^^ . + . + "118488"^^ . + . + "117849"^^ . + . + "117019"^^ . + . + "116132"^^ . + . + "115548"^^ . + . + "112453"^^ . + . + "112272"^^ . + . + "110550"^^ . + . + "110487"^^ . + . + "110388"^^ . + . + "108881"^^ . + . + "108017"^^ . + . + "106198"^^ . + . + "105199"^^ . + . + "104986"^^ . + . + "104164"^^ . + . + "103901"^^ . + . + "102824"^^ . + . + "102716"^^ . + . + "100881"^^ . + . + "100149"^^ . + . + "99907"^^ . + . + "99781"^^ . + . + "99734"^^ . + . + "99714"^^ . + . + "99296"^^ . + . + "97389"^^ . + . + "97199"^^ . + . + "96763"^^ . + . + "95448"^^ . + . + "95311"^^ . + . + "95305"^^ . + . + "94934"^^ . + . + "94709"^^ . + . + "94322"^^ . + . + "93364"^^ . + . + "92686"^^ . + . + "91858"^^ . + . + "90551"^^ . + . + "89556"^^ . + . + "89143"^^ . + . + "22000"^^ . + . + "8600"^^ . + . + "719900"^^ . + . + "194300"^^ . + . + "153400"^^ . + . + "125700"^^ . + . + "13154"^^ . + . + "1234"^^ . + . + "773700"^^ . + . + "2000"^^ . + . + "1018938"^^ . + . + "424662"^^ . + . + "397368"^^ . + . + "303346"^^ . + . + "171056"^^ . + . + "158248"^^ . + . + "150116"^^ . + . + "124700"^^ . + . + "101984"^^ . + . + "99442"^^ . + . + "99300"^^ . + . + "93985"^^ . + . + "3361700"^^ . + . + "885300"^^ . + . + "307900"^^ . + . + "190900"^^ . + . + "183900"^^ . + . + "138600"^^ . + . + "137600"^^ . + . + "131500"^^ . + . + "129700"^^ . + . + "122700"^^ . + . + "107600"^^ . + . + "105700"^^ . + . + "104700"^^ . + . + "103600"^^ . + . + "96800"^^ . + . + "94800"^^ . + . + "169000"^^ . + . + "4050"^^ . + . + "559"^^ . + . + "591835"^^ . + . + "157764"^^ . + . + "146318"^^ . + . + "145847"^^ . + . + "90639"^^ . + . + "959000"^^ . + . + "123865"^^ . + . + "97387"^^ . + . + "88971"^^ . + . + "420000"^^ . + . + "120892"^^ . + . + "112965"^^ . + . + "1518000"^^ . + . + "1432000"^^ . + . + "730000"^^ . + . + "674100"^^ . + . + "476800"^^ . + . + "475800"^^ . + . + "427400"^^ . + . + "410000"^^ . + . + "379200"^^ . + . + "378400"^^ . + . + "371900"^^ . + . + "362000"^^ . + . + "359400"^^ . + . + "350100"^^ . + . + "342200"^^ . + . + "333200"^^ . + . + "320000"^^ . + . + "316100"^^ . + . + "307100"^^ . + . + "298900"^^ . + . + "296800"^^ . + . + "264000"^^ . + . + "256400"^^ . + . + "244600"^^ . + . + "229400"^^ . + . + "217300"^^ . + . + "206500"^^ . + . + "206300"^^ . + . + "204900"^^ . + . + "199000"^^ . + . + "197200"^^ . + . + "184900"^^ . + . + "184500"^^ . + . + "183500"^^ . + . + "181400"^^ . + . + "174500"^^ . + . + "174400"^^ . + . + "173600"^^ . + . + "162300"^^ . + . + "158000"^^ . + . + "156400"^^ . + . + "153100"^^ . + . + "148000"^^ . + . + "147700"^^ . + . + "142900"^^ . + . + "140800"^^ . + . + "139200"^^ . + . + "138600"^^ . + . + "136900"^^ . + . + "126100"^^ . + . + "125500"^^ . + . + "123300"^^ . + . + "123100"^^ . + . + "122500"^^ . + . + "119800"^^ . + . + "117200"^^ . + . + "111200"^^ . + . + "107800"^^ . + . + "106800"^^ . + . + "105900"^^ . + . + "105000"^^ . + . + "103400"^^ . + . + "102600"^^ . + . + "101000"^^ . + . + "682"^^ . + . + "800"^^ . + . + "508726"^^ . + . + "230948"^^ . + . + "150166"^^ . + . + "108848"^^ . + . + "101340"^^ . + . + "2500000"^^ . + . + "329850"^^ . + . + "130000"^^ . + . + "121842"^^ . + . + "109445"^^ . + . + "155000"^^ . + . + "131813"^^ . + . + "107500"^^ . + . + "90814"^^ . + . + "51969"^^ . + . + "9269265"^^ . + . + "5063499"^^ . + . + "1977246"^^ . + . + "1406214"^^ . + . + "1182441"^^ . + . + "1151274"^^ . + . + "1124749"^^ . + . + "988005"^^ . + . + "560307"^^ . + . + "524500"^^ . + . + "455360"^^ . + . + "417597"^^ . + . + "403408"^^ . + . + "329176"^^ . + . + "292214"^^ . + . + "271875"^^ . + . + "270366"^^ . + . + "250121"^^ . + . + "244511"^^ . + . + "241649"^^ . + . + "228479"^^ . + . + "207388"^^ . + . + "200901"^^ . + . + "198400"^^ . + . + "188100"^^ . + . + "184500"^^ . + . + "183100"^^ . + . + "174500"^^ . + . + "169300"^^ . + . + "151000"^^ . + . + "149900"^^ . + . + "145800"^^ . + . + "141500"^^ . + . + "137700"^^ . + . + "133300"^^ . + . + "133000"^^ . + . + "130200"^^ . + . + "125300"^^ . + . + "121600"^^ . + . + "117800"^^ . + . + "115000"^^ . + . + "109600"^^ . + . + "108600"^^ . + . + "107800"^^ . + . + "106000"^^ . + . + "103400"^^ . + . + "103300"^^ . + . + "102200"^^ . + . + "101700"^^ . + . + "101500"^^ . + . + "98600"^^ . + . + "97300"^^ . + . + "96000"^^ . + . + "95300"^^ . + . + "93100"^^ . + . + "92300"^^ . + . + "90400"^^ . + . + "89700"^^ . + . + "89400"^^ . + . + "12000"^^ . + . + "471373"^^ . + . + "315382"^^ . + . + "247000"^^ . + . + "557776"^^ . + . + "133881"^^ . + . + "133395"^^ . + . + "99681"^^ . + . + "95287"^^ . + . + "6464693"^^ . + . + "762000"^^ . + . + "652000"^^ . + . + "517000"^^ . + . + "424294"^^ . + . + "367000"^^ . + . + "336000"^^ . + . + "327000"^^ . + . + "325000"^^ . + . + "291000"^^ . + . + "220866"^^ . + . + "215683"^^ . + . + "194820"^^ . + . + "147361"^^ . + . + "142576"^^ . + . + "129688"^^ . + . + "118960"^^ . + . + "110016"^^ . + . + "108009"^^ . + . + "101578"^^ . + . + "101056"^^ . + . + "90642"^^ . + . + "42"^^ . + . + "9200"^^ . + . + "563210"^^ . + . + "273060"^^ . + . + "122106"^^ . + . + "96100"^^ . + . + "90535"^^ . + . + "434374"^^ . + . + "224044"^^ . + . + "186475"^^ . + . + "186076"^^ . + . + "140502"^^ . + . + "100131"^^ . + . + "100053"^^ . + . + "98434"^^ . + . + "94085"^^ . + . + "1615369"^^ . + . + "800110"^^ . + . + "738150"^^ . + . + "636765"^^ . + . + "576899"^^ . + . + "458988"^^ . + . + "416988"^^ . + . + "386855"^^ . + . + "356251"^^ . + . + "345934"^^ . + . + "283937"^^ . + . + "257812"^^ . + . + "253521"^^ . + . + "244102"^^ . + . + "232262"^^ . + . + "212383"^^ . + . + "212164"^^ . + . + "206158"^^ . + . + "205560"^^ . + . + "200177"^^ . + . + "180307"^^ . + . + "170904"^^ . + . + "162049"^^ . + . + "159665"^^ . + . + "144582"^^ . + . + "136923"^^ . + . + "133178"^^ . + . + "131037"^^ . + . + "131011"^^ . + . + "129782"^^ . + . + "129553"^^ . + . + "126019"^^ . + . + "123373"^^ . + . + "121708"^^ . + . + "121494"^^ . + . + "118182"^^ . + . + "112375"^^ . + . + "109335"^^ . + . + "106641"^^ . + . + "102434"^^ . + . + "102370"^^ . + . + "102294"^^ . + . + "97929"^^ . + . + "93901"^^ . + . + "40000"^^ . + . + "355000"^^ . + . + "2125246"^^ . + . + "798430"^^ . + . + "445452"^^ . + . + "390350"^^ . + . + "342738"^^ . + . + "270251"^^ . + . + "264115"^^ . + . + "225392"^^ . + . + "215363"^^ . + . + "206229"^^ . + . + "190905"^^ . + . + "187206"^^ . + . + "184657"^^ . + . + "180210"^^ . + . + "160639"^^ . + . + "153317"^^ . + . + "151279"^^ . + . + "149867"^^ . + . + "149634"^^ . + . + "146105"^^ . + . + "137140"^^ . + . + "135501"^^ . + . + "134222"^^ . + . + "133968"^^ . + . + "133424"^^ . + . + "132820"^^ . + . + "124215"^^ . + . + "123776"^^ . + . + "117733"^^ . + . + "113987"^^ . + . + "113126"^^ . + . + "110359"^^ . + . + "106592"^^ . + . + "106367"^^ . + . + "105115"^^ . + . + "103605"^^ . + . + "96984"^^ . + . + "93961"^^ . + . + "93540"^^ . + . + "90674"^^ . + . + "50699"^^ . + . + "25888"^^ . + . + "25553"^^ . + . + "131480"^^ . + . + "2016131"^^ . + . + "348070"^^ . + . + "342264"^^ . + . + "332498"^^ . + . + "330276"^^ . + . + "324304"^^ . + . + "314225"^^ . + . + "313530"^^ . + . + "251348"^^ . + . + "233756"^^ . + . + "222239"^^ . + . + "209235"^^ . + . + "187170"^^ . + . + "184408"^^ . + . + "169611"^^ . + . + "165153"^^ . + . + "149665"^^ . + . + "148372"^^ . + . + "130059"^^ . + . + "128730"^^ . + . + "125070"^^ . + . + "119741"^^ . + . + "118549"^^ . + . + "117865"^^ . + . + "98980"^^ . + . + "98979"^^ . + . + "98524"^^ . + . + "96278"^^ . + . + "93976"^^ . + . + "286000"^^ . + . + "750348"^^ . + . + "466990"^^ . + . + "259579"^^ . + . + "189569"^^ . + . + "133168"^^ . + . + "126328"^^ . + . + "124207"^^ . + . + "122199"^^ . + . + "117737"^^ . + . + "117095"^^ . + . + "104512"^^ . + . + "98948"^^ . + . + "96883"^^ . + . + "93126"^^ . + . + "90742"^^ . + . + "1500"^^ . + . + "11600"^^ . + . + "2301"^^ . + . + "17100"^^ . + . + "5808"^^ . + . + "3386667"^^ . + . + "1704735"^^ . + . + "1194560"^^ . + . + "962507"^^ . + . + "643821"^^ . + . + "599515"^^ . + . + "590213"^^ . + . + "582443"^^ . + . + "568855"^^ . + . + "540330"^^ . + . + "519793"^^ . + . + "514718"^^ . + . + "489532"^^ . + . + "486628"^^ . + . + "476668"^^ . + . + "392830"^^ . + . + "368993"^^ . + . + "321125"^^ . + . + "307730"^^ . + . + "301048"^^ . + . + "281979"^^ . + . + "277204"^^ . + . + "268716"^^ . + . + "264670"^^ . + . + "263697"^^ . + . + "263222"^^ . + . + "254867"^^ . + . + "254360"^^ . + . + "246322"^^ . + . + "243825"^^ . + . + "241769"^^ . + . + "235073"^^ . + . + "233795"^^ . + . + "222349"^^ . + . + "213326"^^ . + . + "205201"^^ . + . + "203279"^^ . + . + "202455"^^ . + . + "201267"^^ . + . + "196211"^^ . + . + "183836"^^ . + . + "183134"^^ . + . + "181804"^^ . + . + "175661"^^ . + . + "173895"^^ . + . + "165583"^^ . + . + "164539"^^ . + . + "163771"^^ . + . + "160841"^^ . + . + "154125"^^ . + . + "149702"^^ . + . + "139672"^^ . + . + "137776"^^ . + . + "137647"^^ . + . + "128983"^^ . + . + "127350"^^ . + . + "125236"^^ . + . + "125022"^^ . + . + "124775"^^ . + . + "122735"^^ . + . + "121954"^^ . + . + "121097"^^ . + . + "120125"^^ . + . + "119526"^^ . + . + "117227"^^ . + . + "116627"^^ . + . + "116103"^^ . + . + "114826"^^ . + . + "114718"^^ . + . + "112934"^^ . + . + "110894"^^ . + . + "110343"^^ . + . + "109771"^^ . + . + "109225"^^ . + . + "108003"^^ . + . + "106837"^^ . + . + "106150"^^ . + . + "104146"^^ . + . + "104013"^^ . + . + "103384"^^ . + . + "102878"^^ . + . + "100750"^^ . + . + "100025"^^ . + . + "99891"^^ . + . + "99779"^^ . + . + "99474"^^ . + . + "95028"^^ . + . + "93735"^^ . + . + "92044"^^ . + . + "91092"^^ . + . + "90951"^^ . + . + "89881"^^ . + . + "89667"^^ . + . + "50100"^^ . + . + "1317000"^^ . + . + "329200"^^ . + . + "288600"^^ . + . + "154300"^^ . + . + "142400"^^ . + . + "123900"^^ . + . + "118100"^^ . + . + "35900"^^ . + . + "4802"^^ . + . + "2294"^^ . + . + "49541"^^ . + . + "3324000"^^ . + . + "2046300"^^ . + . + "965700"^^ . + . + "608300"^^ . + . + "482300"^^ . + . + "416100"^^ . + . + "292600"^^ . + . + "248600"^^ . + . + "225800"^^ . + . + "219100"^^ . + . + "217900"^^ . + . + "176800"^^ . + . + "152100"^^ . + . + "141700"^^ . + . + "140800"^^ . + . + "137800"^^ . + . + "125700"^^ . + . + "119800"^^ . + . + "112300"^^ . + . + "108100"^^ . + . + "98900"^^ . + . + "93900"^^ . + . + "91100"^^ . + . + "91000"^^ . + . + "855287"^^ . + . + "785071"^^ . + . + "248000"^^ . + . + "199000"^^ . + . + "192000"^^ . + . + "150000"^^ . + . + "132400"^^ . + . + "109300"^^ . + . + "99400"^^ . + . + "41000"^^ . + . + "850000"^^ . + . + "4017733"^^ . + . + "448292"^^ . + . + "241874"^^ . + . + "93977"^^ . + . + "270986"^^ . + . + "115532"^^ . + . + "997000"^^ . + . + "90000"^^ . + . + "90000"^^ . + . + "645000"^^ . + . + "203000"^^ . + . + "190000"^^ . + . + "149000"^^ . + . + "140000"^^ . + . + "118000"^^ . + . + "100000"^^ . + . + "1271403"^^ . + . + "947483"^^ . + . + "700887"^^ . + . + "308195"^^ . + . + "234622"^^ . + . + "229425"^^ . + . + "227183"^^ . + . + "211362"^^ . + . + "191164"^^ . + . + "173599"^^ . + . + "141884"^^ . + . + "114980"^^ . + . + "555474"^^ . + . + "213271"^^ . + . + "195468"^^ . + . + "178471"^^ . + . + "172561"^^ . + . + "120753"^^ . + . + "96921"^^ . + . + "112000"^^ . + . + "61000"^^ . + . + "336800"^^ . + . + "173500"^^ . + . + "166700"^^ . + . + "122700"^^ . + . + "114500"^^ . + . + "1347000"^^ . + . + "1261983"^^ . + . + "507404"^^ . + . + "343361"^^ . + . + "264563"^^ . + . + "144286"^^ . + . + "140459"^^ . + . + "138469"^^ . + . + "131158"^^ . + . + "108020"^^ . + . + "91081"^^ . + . + "524000"^^ . + . + "161500"^^ . + . + "2641312"^^ . + . + "1475505"^^ . + . + "940589"^^ . + . + "728060"^^ . + . + "523850"^^ . + . + "392176"^^ . + . + "385201"^^ . + . + "380084"^^ . + . + "365048"^^ . + . + "361958"^^ . + . + "318649"^^ . + . + "318562"^^ . + . + "316438"^^ . + . + "265109"^^ . + . + "263603"^^ . + . + "227715"^^ . + . + "227700"^^ . + . + "224897"^^ . + . + "214727"^^ . + . + "193005"^^ . + . + "188344"^^ . + . + "171940"^^ . + . + "165524"^^ . + . + "161700"^^ . + . + "161032"^^ . + . + "160516"^^ . + . + "154976"^^ . + . + "151260"^^ . + . + "126402"^^ . + . + "126323"^^ . + . + "115897"^^ . + . + "112195"^^ . + . + "111882"^^ . + . + "111039"^^ . + . + "108407"^^ . + . + "104723"^^ . + . + "103088"^^ . + . + "98900"^^ . + . + "96800"^^ . + . + "92200"^^ . + . + "92000"^^ . + . + "90000"^^ . + . + "1747000"^^ . + . + "189000"^^ . + . + "172300"^^ . + . + "157634"^^ . + . + "137400"^^ . + . + "130800"^^ . + . + "117800"^^ . + . + "102500"^^ . + . + "96800"^^ . + . + "92800"^^ . + . + "495699"^^ . + . + "284846"^^ . + . + "183912"^^ . + . + "161161"^^ . + . + "90327"^^ . + . + "6320174"^^ . + . + "292100"^^ . + . + "181400"^^ . + . + "171100"^^ . + . + "158100"^^ . + . + "148632"^^ . + . + "126500"^^ . + . + "126055"^^ . + . + "123800"^^ . + . + "116300"^^ . + . + "94900"^^ . + . + "94100"^^ . + . + "375000"^^ . + . + "300"^^ . + . + "22400"^^ . + . + "56601"^^ . + . + "43396"^^ . + . + "530965"^^ . + . + "99500"^^ . + . + "1181126"^^ . + . + "381862"^^ . + . + "320041"^^ . + . + "166759"^^ . + . + "102702"^^ . + . + "99155"^^ . + . + "98186"^^ . + . + "98080"^^ . + . + "95491"^^ . + . + "91309"^^ . + . + "690600"^^ . + . + "257800"^^ . + . + "197000"^^ . + . + "178600"^^ . + . + "145900"^^ . + . + "113100"^^ . + . + "108900"^^ . + . + "106600"^^ . + . + "8787958"^^ . + . + "3038159"^^ . + . + "2130359"^^ . + . + "1131198"^^ . + . + "1095842"^^ . + . + "789056"^^ . + . + "628364"^^ . + . + "587212"^^ . + . + "564914"^^ . + . + "479884"^^ . + . + "475657"^^ . + . + "470781"^^ . + . + "405905"^^ . + . + "339871"^^ . + . + "330312"^^ . + . + "264170"^^ . + . + "253848"^^ . + . + "246642"^^ . + . + "246535"^^ . + . + "246206"^^ . + . + "245772"^^ . + . + "228815"^^ . + . + "219319"^^ . + . + "211068"^^ . + . + "210068"^^ . + . + "207148"^^ . + . + "203793"^^ . + . + "196382"^^ . + . + "190641"^^ . + . + "153022"^^ . + . + "146003"^^ . + . + "145495"^^ . + . + "144761"^^ . + . + "143982"^^ . + . + "142044"^^ . + . + "141529"^^ . + . + "138234"^^ . + . + "133642"^^ . + . + "128651"^^ . + . + "128162"^^ . + . + "123383"^^ . + . + "123300"^^ . + . + "121911"^^ . + . + "118285"^^ . + . + "118245"^^ . + . + "117300"^^ . + . + "112000"^^ . + . + "111542"^^ . + . + "107100"^^ . + . + "106400"^^ . + . + "106077"^^ . + . + "104200"^^ . + . + "103984"^^ . + . + "102681"^^ . + . + "102412"^^ . + . + "102304"^^ . + . + "101400"^^ . + . + "99900"^^ . + . + "99500"^^ . + . + "93000"^^ . + . + "90500"^^ . + . + "90200"^^ . + . + "540600"^^ . + . + "189200"^^ . + . + "141800"^^ . + . + "101000"^^ . + . + "4800"^^ . + . + "4600"^^ . + . + "890800"^^ . + . + "2624000"^^ . + . + "1500000"^^ . + . + "1103000"^^ . + . + "1050000"^^ . + . + "1011000"^^ . + . + "848000"^^ . + . + "788000"^^ . + . + "703000"^^ . + . + "508000"^^ . + . + "490000"^^ . + . + "469000"^^ . + . + "391000"^^ . + . + "384000"^^ . + . + "353000"^^ . + . + "348000"^^ . + . + "339000"^^ . + . + "313000"^^ . + . + "313000"^^ . + . + "309000"^^ . + . + "299000"^^ . + . + "297000"^^ . + . + "294000"^^ . + . + "270000"^^ . + . + "265000"^^ . + . + "262000"^^ . + . + "259000"^^ . + . + "245000"^^ . + . + "239000"^^ . + . + "237000"^^ . + . + "236000"^^ . + . + "217000"^^ . + . + "215000"^^ . + . + "186000"^^ . + . + "169000"^^ . + . + "162000"^^ . + . + "149000"^^ . + . + "130000"^^ . + . + "127000"^^ . + . + "127000"^^ . + . + "127000"^^ . + . + "127000"^^ . + . + "119000"^^ . + . + "116000"^^ . + . + "112000"^^ . + . + "109000"^^ . + . + "105000"^^ . + . + "101000"^^ . + . + "101000"^^ . + . + "99000"^^ . + . + "96000"^^ . + . + "95000"^^ . + . + "90000"^^ . + . + "90000"^^ . + . + "90000"^^ . + . + "90000"^^ . + . + "89000"^^ . + . + "89000"^^ . + . + "1811552"^^ . + . + "203648"^^ . + . + "172357"^^ . + . + "158158"^^ . + . + "157332"^^ . + . + "127119"^^ . + . + "112419"^^ . + . + "105606"^^ . + . + "105119"^^ . + . + "1236000"^^ . + . + "76293"^^ . + . + "381800"^^ . + . + "324200"^^ . + . + "281800"^^ . + . + "187700"^^ . + . + "170600"^^ . + . + "166700"^^ . + . + "119600"^^ . + . + "117100"^^ . + . + "98100"^^ . + . + "2117500"^^ . + . + "370500"^^ . + . + "361800"^^ . + . + "318600"^^ . + . + "237100"^^ . + . + "194100"^^ . + . + "194100"^^ . + . + "190100"^^ . + . + "180500"^^ . + . + "146400"^^ . + . + "140800"^^ . + . + "138900"^^ . + . + "128000"^^ . + . + "124800"^^ . + . + "116300"^^ . + . + "114900"^^ . + . + "109500"^^ . + . + "1674000"^^ . + . + "475000"^^ . + . + "356000"^^ . + . + "340000"^^ . + . + "302000"^^ . + . + "286000"^^ . + . + "221000"^^ . + . + "167000"^^ . + . + "151000"^^ . + . + "130000"^^ . + . + "124000"^^ . + . + "110000"^^ . + . + "106000"^^ . + . + "101000"^^ . + . + "101000"^^ . + . + "97000"^^ . + . + "1137"^^ . + . + "33700"^^ . + . + "455"^^ . + . + "1975294"^^ . + . + "1304776"^^ . + . + "877239"^^ . + . + "794246"^^ . + . + "663713"^^ . + . + "488868"^^ . + . + "444443"^^ . + . + "322267"^^ . + . + "319726"^^ . + . + "319373"^^ . + . + "301107"^^ . + . + "293105"^^ . + . + "224887"^^ . + . + "221329"^^ . + . + "217831"^^ . + . + "217499"^^ . + . + "207290"^^ . + . + "187722"^^ . + . + "185766"^^ . + . + "178784"^^ . + . + "167215"^^ . + . + "165889"^^ . + . + "158954"^^ . + . + "155700"^^ . + . + "134501"^^ . + . + "131334"^^ . + . + "130281"^^ . + . + "125621"^^ . + . + "119639"^^ . + . + "117012"^^ . + . + "116256"^^ . + . + "109121"^^ . + . + "107146"^^ . + . + "105690"^^ . + . + "99354"^^ . + . + "97168"^^ . + . + "95927"^^ . + . + "94269"^^ . + . + "93809"^^ . + . + "90940"^^ . + . + "90000"^^ . + . + "8389200"^^ . + . + "4694000"^^ . + . + "1398800"^^ . + . + "1357000"^^ . + . + "1266300"^^ . + . + "1156100"^^ . + . + "1148900"^^ . + . + "1101000"^^ . + . + "1091200"^^ . + . + "1083200"^^ . + . + "1012700"^^ . + . + "1009700"^^ . + . + "993400"^^ . + . + "907700"^^ . + . + "875500"^^ . + . + "874000"^^ . + . + "722900"^^ . + . + "667400"^^ . + . + "652800"^^ . + . + "639000"^^ . + . + "616700"^^ . + . + "609400"^^ . + . + "606200"^^ . + . + "593700"^^ . + . + "580100"^^ . + . + "561600"^^ . + . + "532200"^^ . + . + "529900"^^ . + . + "523600"^^ . + . + "521000"^^ . + . + "514700"^^ . + . + "506100"^^ . + . + "503400"^^ . + . + "492700"^^ . + . + "486100"^^ . + . + "482100"^^ . + . + "466200"^^ . + . + "459200"^^ . + . + "459200"^^ . + . + "457400"^^ . + . + "454900"^^ . + . + "443500"^^ . + . + "427900"^^ . + . + "424400"^^ . + . + "390900"^^ . + . + "376300"^^ . + . + "370400"^^ . + . + "364700"^^ . + . + "361800"^^ . + . + "358600"^^ . + . + "353400"^^ . + . + "344500"^^ . + . + "343300"^^ . + . + "342000"^^ . + . + "339300"^^ . + . + "337100"^^ . + . + "332800"^^ . + . + "324400"^^ . + . + "314800"^^ . + . + "312000"^^ . + . + "310100"^^ . + . + "309900"^^ . + . + "302500"^^ . + . + "299500"^^ . + . + "291600"^^ . + . + "288100"^^ . + . + "286900"^^ . + . + "284400"^^ . + . + "282100"^^ . + . + "277600"^^ . + . + "277100"^^ . + . + "274900"^^ . + . + "273900"^^ . + . + "265200"^^ . + . + "264700"^^ . + . + "249200"^^ . + . + "239600"^^ . + . + "237300"^^ . + . + "233900"^^ . + . + "233400"^^ . + . + "229700"^^ . + . + "229300"^^ . + . + "225000"^^ . + . + "223400"^^ . + . + "222000"^^ . + . + "221800"^^ . + . + "213800"^^ . + . + "207100"^^ . + . + "206000"^^ . + . + "203300"^^ . + . + "201500"^^ . + . + "196900"^^ . + . + "195400"^^ . + . + "194300"^^ . + . + "194100"^^ . + . + "190600"^^ . + . + "189000"^^ . + . + "186900"^^ . + . + "186000"^^ . + . + "184400"^^ . + . + "181900"^^ . + . + "179200"^^ . + . + "178200"^^ . + . + "169200"^^ . + . + "167300"^^ . + . + "166200"^^ . + . + "164900"^^ . + . + "163900"^^ . + . + "162600"^^ . + . + "159900"^^ . + . + "157700"^^ . + . + "157300"^^ . + . + "156800"^^ . + . + "155700"^^ . + . + "150700"^^ . + . + "147000"^^ . + . + "142400"^^ . + . + "141200"^^ . + . + "140800"^^ . + . + "140700"^^ . + . + "138100"^^ . + . + "137000"^^ . + . + "136100"^^ . + . + "133700"^^ . + . + "132900"^^ . + . + "132600"^^ . + . + "132500"^^ . + . + "132400"^^ . + . + "132000"^^ . + . + "127400"^^ . + . + "124900"^^ . + . + "124600"^^ . + . + "123400"^^ . + . + "121700"^^ . + . + "121600"^^ . + . + "121000"^^ . + . + "120700"^^ . + . + "120400"^^ . + . + "119400"^^ . + . + "118600"^^ . + . + "117200"^^ . + . + "116300"^^ . + . + "116200"^^ . + . + "115700"^^ . + . + "113800"^^ . + . + "111500"^^ . + . + "111100"^^ . + . + "110700"^^ . + . + "110000"^^ . + . + "109600"^^ . + . + "108300"^^ . + . + "107400"^^ . + . + "106300"^^ . + . + "106000"^^ . + . + "105700"^^ . + . + "105200"^^ . + . + "104900"^^ . + . + "104400"^^ . + . + "103500"^^ . + . + "103300"^^ . + . + "101900"^^ . + . + "101700"^^ . + . + "101100"^^ . + . + "100400"^^ . + . + "100200"^^ . + . + "100100"^^ . + . + "100000"^^ . + . + "98200"^^ . + . + "98000"^^ . + . + "97900"^^ . + . + "97600"^^ . + . + "97400"^^ . + . + "97300"^^ . + . + "97300"^^ . + . + "97100"^^ . + . + "96900"^^ . + . + "96500"^^ . + . + "96100"^^ . + . + "94100"^^ . + . + "94000"^^ . + . + "93300"^^ . + . + "92900"^^ . + . + "92600"^^ . + . + "92300"^^ . + . + "91600"^^ . + . + "91000"^^ . + . + "90000"^^ . + . + "90000"^^ . + . + "89800"^^ . + . + "3980000"^^ . + . + "1410000"^^ . + . + "783133"^^ . + . + "382674"^^ . + . + "282095"^^ . + . + "221331"^^ . + . + "219149"^^ . + . + "215587"^^ . + . + "209086"^^ . + . + "171699"^^ . + . + "163385"^^ . + . + "145145"^^ . + . + "141132"^^ . + . + "132681"^^ . + . + "127643"^^ . + . + "127484"^^ . + . + "114236"^^ . + . + "114041"^^ . + . + "112455"^^ . + . + "108404"^^ . + . + "106409"^^ . + . + "97044"^^ . + . + "403981"^^ . + . + "101246"^^ . + . + "8008278"^^ . + . + "3694820"^^ . + . + "2896016"^^ . + . + "1953631"^^ . + . + "1517550"^^ . + . + "1321045"^^ . + . + "1223400"^^ . + . + "1188580"^^ . + . + "1144646"^^ . + . + "951270"^^ . + . + "894943"^^ . + . + "791926"^^ . + . + "776733"^^ . + . + "735167"^^ . + . + "711470"^^ . + . + "656562"^^ . + . + "651154"^^ . + . + "650100"^^ . + . + "596974"^^ . + . + "589141"^^ . + . + "572059"^^ . + . + "569891"^^ . + . + "563662"^^ . + . + "563374"^^ . + . + "554636"^^ . + . + "540828"^^ . + . + "534694"^^ . + . + "529121"^^ . + . + "506132"^^ . + . + "486699"^^ . + . + "484674"^^ . + . + "478434"^^ . + . + "478403"^^ . + . + "461522"^^ . + . + "448607"^^ . + . + "441545"^^ . + . + "427652"^^ . + . + "425257"^^ . + . + "416474"^^ . + . + "407018"^^ . + . + "399484"^^ . + . + "396375"^^ . + . + "393049"^^ . + . + "390007"^^ . + . + "382618"^^ . + . + "371657"^^ . + . + "362470"^^ . + . + "360890"^^ . + . + "348189"^^ . + . + "344284"^^ . + . + "337977"^^ . + . + "334563"^^ . + . + "332969"^^ . + . + "331285"^^ . + . + "328014"^^ . + . + "313619"^^ . + . + "303447"^^ . + . + "292648"^^ . + . + "287151"^^ . + . + "277454"^^ . + . + "276393"^^ . + . + "276093"^^ . + . + "273546"^^ . + . + "260512"^^ . + . + "260283"^^ . + . + "256231"^^ . + . + "255166"^^ . + . + "248232"^^ . + . + "247057"^^ . + . + "243771"^^ . + . + "242820"^^ . + . + "240055"^^ . + . + "234403"^^ . + . + "227818"^^ . + . + "226419"^^ . + . + "225581"^^ . + . + "223891"^^ . + . + "222030"^^ . + . + "219773"^^ . + . + "218812"^^ . + . + "217074"^^ . + . + "215768"^^ . + . + "208054"^^ . + . + "205727"^^ . + . + "203413"^^ . + . + "202705"^^ . + . + "201568"^^ . + . + "200145"^^ . + . + "199775"^^ . + . + "199564"^^ . + . + "199184"^^ . + . + "198915"^^ . + . + "198682"^^ . + . + "197800"^^ . + . + "197790"^^ . + . + "196086"^^ . + . + "195629"^^ . + . + "194973"^^ . + . + "193556"^^ . + . + "191615"^^ . + . + "189594"^^ . + . + "188856"^^ . + . + "187035"^^ . + . + "186291"^^ . + . + "185951"^^ . + . + "185787"^^ . + . + "185776"^^ . + . + "185401"^^ . + . + "184256"^^ . + . + "183133"^^ . + . + "181743"^^ . + . + "180480"^^ . + . + "180150"^^ . + . + "176581"^^ . + . + "176576"^^ . + . + "175381"^^ . + . + "174838"^^ . + . + "173890"^^ . + . + "173627"^^ . + . + "173618"^^ . + . + "173556"^^ . + . + "172648"^^ . + . + "170358"^^ . + . + "166179"^^ . + . + "165196"^^ . + . + "161029"^^ . + . + "158625"^^ . + . + "158216"^^ . + . + "158007"^^ . + . + "155554"^^ . + . + "152397"^^ . + . + "152082"^^ . + . + "151580"^^ . + . + "151088"^^ . + . + "151060"^^ . + . + "150624"^^ . + . + "150115"^^ . + . + "149473"^^ . + . + "149428"^^ . + . + "149222"^^ . + . + "149080"^^ . + . + "147595"^^ . + . + "147306"^^ . + . + "146866"^^ . + . + "146437"^^ . + . + "144126"^^ . + . + "143560"^^ . + . + "143072"^^ . + . + "142990"^^ . + . + "142381"^^ . + . + "141674"^^ . + . + "140030"^^ . + . + "139722"^^ . + . + "139529"^^ . + . + "139357"^^ . + . + "138247"^^ . + . + "137946"^^ . + . + "137893"^^ . + . + "137427"^^ . + . + "136924"^^ . + . + "133936"^^ . + . + "133559"^^ . + . + "131760"^^ . + . + "131510"^^ . + . + "128929"^^ . + . + "128821"^^ . + . + "128358"^^ . + . + "128283"^^ . + . + "127743"^^ . + . + "127427"^^ . + . + "126379"^^ . + . + "126003"^^ . + . + "124966"^^ . + . + "124943"^^ . + . + "124682"^^ . + . + "124523"^^ . + . + "124471"^^ . + . + "123975"^^ . + . + "123626"^^ . + . + "122377"^^ . + . + "121780"^^ . + . + "121582"^^ . + . + "121578"^^ . + . + "121015"^^ . + . + "120758"^^ . + . + "120568"^^ . + . + "119128"^^ . + . + "118718"^^ . + . + "118652"^^ . + . + "117549"^^ . + . + "117083"^^ . + . + "117005"^^ . + . + "116760"^^ . + . + "116670"^^ . + . + "116278"^^ . + . + "115965"^^ . + . + "115930"^^ . + . + "115488"^^ . + . + "114024"^^ . + . + "113866"^^ . + . + "113726"^^ . + . + "113336"^^ . + . + "113288"^^ . + . + "112936"^^ . + . + "112580"^^ . + . + "111454"^^ . + . + "111351"^^ . + . + "110257"^^ . + . + "109697"^^ . + . + "109576"^^ . + . + "109569"^^ . + . + "108896"^^ . + . + "108787"^^ . + . + "108724"^^ . + . + "108364"^^ . + . + "107789"^^ . + . + "107323"^^ . + . + "107271"^^ . + . + "107006"^^ . + . + "106632"^^ . + . + "106414"^^ . + . + "106221"^^ . + . + "105167"^^ . + . + "105166"^^ . + . + "105080"^^ . + . + "104197"^^ . + . + "103717"^^ . + . + "103621"^^ . + . + "103455"^^ . + . + "103298"^^ . + . + "102746"^^ . + . + "102743"^^ . + . + "102361"^^ . + . + "102313"^^ . + . + "102286"^^ . + . + "102153"^^ . + . + "102121"^^ . + . + "101853"^^ . + . + "101489"^^ . + . + "101355"^^ . + . + "100940"^^ . + . + "100916"^^ . + . + "100565"^^ . + . + "100545"^^ . + . + "100316"^^ . + . + "99936"^^ . + . + "98293"^^ . + . + "98256"^^ . + . + "98049"^^ . + . + "97855"^^ . + . + "95362"^^ . + . + "94780"^^ . + . + "94578"^^ . + . + "94193"^^ . + . + "94100"^^ . + . + "93994"^^ . + . + "93653"^^ . + . + "93357"^^ . + . + "92988"^^ . + . + "92864"^^ . + . + "92291"^^ . + . + "92256"^^ . + . + "92040"^^ . + . + "91799"^^ . + . + "91762"^^ . + . + "91238"^^ . + . + "91213"^^ . + . + "91084"^^ . + . + "90555"^^ . + . + "89447"^^ . + . + "89408"^^ . + . + "89293"^^ . + . + "89089"^^ . + . + "89063"^^ . + . + "13000"^^ . + . + "1410000"^^ . + . + "621742"^^ . + . + "274912"^^ . + . + "164362"^^ . + . + "131367"^^ . + . + "128037"^^ . + . + "353632"^^ . + . + "123175"^^ . + . + "119401"^^ . + . + "113901"^^ . + . + "100231"^^ . + . + "92020"^^ . \ No newline at end of file diff --git a/Assignment5/jlcastanon-v130023/mapping.ttl b/Assignment5/jlcastanon-v130023/mapping.ttl new file mode 100644 index 00000000..c618d033 --- /dev/null +++ b/Assignment5/jlcastanon-v130023/mapping.ttl @@ -0,0 +1,18 @@ +@prefix z: . +@prefix resources: . +@prefix graph: . +@base . + + a z:TriplesMap; + +z:logicalTable [ z:tableName "city" ]; + +z:subjectMap [ Z:termType Z:IRI; +Z:template "http://example.linkeddata.es/instances/city/{ID}"; +Z:class graph:City +]; + +Z:predicateObjectMap [ + Z:predicateMap [ z:constant graph:hasPopulation ]; + Z:objectMap [ z:termType z:Literal; z:column "population"; ]; +] . \ No newline at end of file diff --git a/Assignment5/jlcastanon-v130023/ontology.owl b/Assignment5/jlcastanon-v130023/ontology.owl new file mode 100644 index 00000000..9a4e2b2d --- /dev/null +++ b/Assignment5/jlcastanon-v130023/ontology.owl @@ -0,0 +1,41 @@ + + + + + + + +]> + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/Assignment5/jlcastanon-v130023/ontology.owl.xml b/Assignment5/jlcastanon-v130023/ontology.owl.xml new file mode 100644 index 00000000..9a4e2b2d --- /dev/null +++ b/Assignment5/jlcastanon-v130023/ontology.owl.xml @@ -0,0 +1,41 @@ + + + + + + + +]> + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file