--- a/thys2/Journal/Paper.tex Wed Jan 12 15:24:10 2022 +0000
+++ b/thys2/Journal/Paper.tex Wed Jan 12 17:08:46 2022 +0000
@@ -143,11 +143,6 @@
\isa{\mbox{}\inferrule{\mbox{r\ {\isasymleadsto}\ r{\isacharprime}{\kern0pt}}}{\mbox{AALTs\ bs\ {\isacharparenleft}{\kern0pt}rs\isactrlsub {\isadigit{1}}\ {\isacharat}{\kern0pt}\ {\isacharbrackleft}{\kern0pt}r{\isacharbrackright}{\kern0pt}\ {\isacharat}{\kern0pt}\ rs\isactrlsub {\isadigit{2}}{\isacharparenright}{\kern0pt}\ {\isasymleadsto}\ AALTs\ bs\ {\isacharparenleft}{\kern0pt}rs\isactrlsub {\isadigit{1}}\ {\isacharat}{\kern0pt}\ {\isacharbrackleft}{\kern0pt}r{\isacharprime}{\kern0pt}{\isacharbrackright}{\kern0pt}\ {\isacharat}{\kern0pt}\ rs\isactrlsub {\isadigit{2}}{\isacharparenright}{\kern0pt}}}}\\
\isa{\mbox{}\inferrule{\mbox{}}{\mbox{AALTs\ bs\ {\isacharparenleft}{\kern0pt}rs\isactrlsub a\ {\isacharat}{\kern0pt}\ {\isacharbrackleft}{\kern0pt}AZERO{\isacharbrackright}{\kern0pt}\ {\isacharat}{\kern0pt}\ rs\isactrlsub b{\isacharparenright}{\kern0pt}\ {\isasymleadsto}\ AALTs\ bs\ {\isacharparenleft}{\kern0pt}rs\isactrlsub a\ {\isacharat}{\kern0pt}\ rs\isactrlsub b{\isacharparenright}{\kern0pt}}}}\\
\isa{\mbox{}\inferrule{\mbox{}}{\mbox{AALTs\ bs\ {\isacharparenleft}{\kern0pt}rs\isactrlsub a\ {\isacharat}{\kern0pt}\ {\isacharbrackleft}{\kern0pt}AALTs\ bs\isactrlsub {\isadigit{1}}\ rs\isactrlsub {\isadigit{1}}{\isacharbrackright}{\kern0pt}\ {\isacharat}{\kern0pt}\ rs\isactrlsub b{\isacharparenright}{\kern0pt}\ {\isasymleadsto}\ AALTs\ bs\ {\isacharparenleft}{\kern0pt}rs\isactrlsub a\ {\isacharat}{\kern0pt}\ map\ {\isacharparenleft}{\kern0pt}fuse\ bs\isactrlsub {\isadigit{1}}{\isacharparenright}{\kern0pt}\ rs\isactrlsub {\isadigit{1}}\ {\isacharat}{\kern0pt}\ rs\isactrlsub b{\isacharparenright}{\kern0pt}}}}\\
- \isa{\mbox{}\inferrule{\mbox{}}{\mbox{AALTs\ {\isacharparenleft}{\kern0pt}bs\ {\isacharat}{\kern0pt}\ bs\isactrlsub {\isadigit{1}}{\isacharparenright}{\kern0pt}\ rs\ {\isasymleadsto}\ AALTs\ bs\ {\isacharparenleft}{\kern0pt}map\ {\isacharparenleft}{\kern0pt}fuse\ bs\isactrlsub {\isadigit{1}}{\isacharparenright}{\kern0pt}\ rs{\isacharparenright}{\kern0pt}}}}\\
- \isa{\mbox{}\inferrule{\mbox{}}{\mbox{AALTs\ bs\ {\isacharbrackleft}{\kern0pt}{\isacharbrackright}{\kern0pt}\ {\isasymleadsto}\ AZERO}}}\\
- \isa{\mbox{}\inferrule{\mbox{}}{\mbox{AALTs\ bs\ {\isacharbrackleft}{\kern0pt}r\isactrlsub {\isadigit{1}}{\isacharbrackright}{\kern0pt}\ {\isasymleadsto}\ fuse\ bs\ r\isactrlsub {\isadigit{1}}}}}\\
- \isa{\mbox{}\inferrule{\mbox{a\isactrlsub {\isadigit{1}}\mbox{$^\downarrow$}\ {\isacharequal}{\kern0pt}\ a\isactrlsub {\isadigit{2}}\mbox{$^\downarrow$}}}{\mbox{AALTs\ bs\ {\isacharparenleft}{\kern0pt}rs\isactrlsub a\ {\isacharat}{\kern0pt}\ {\isacharbrackleft}{\kern0pt}a\isactrlsub {\isadigit{1}}{\isacharbrackright}{\kern0pt}\ {\isacharat}{\kern0pt}\ rs\isactrlsub b\ {\isacharat}{\kern0pt}\ {\isacharbrackleft}{\kern0pt}a\isactrlsub {\isadigit{2}}{\isacharbrackright}{\kern0pt}\ {\isacharat}{\kern0pt}\ rs\isactrlsub c{\isacharparenright}{\kern0pt}\ {\isasymleadsto}\ AALTs\ bs\ {\isacharparenleft}{\kern0pt}rs\isactrlsub a\ {\isacharat}{\kern0pt}\ {\isacharbrackleft}{\kern0pt}a\isactrlsub {\isadigit{1}}{\isacharbrackright}{\kern0pt}\ {\isacharat}{\kern0pt}\ rs\isactrlsub b\ {\isacharat}{\kern0pt}\ rs\isactrlsub c{\isacharparenright}{\kern0pt}}}}\\
-
\end{tabular}
\end{center}
@@ -228,7 +223,13 @@
This rule allows us to simplify \mbox{\isa{{\isacharparenleft}{\kern0pt}a\ {\isacharplus}{\kern0pt}\ b{\isacharparenright}{\kern0pt}\ {\isasymcdot}\ c\ {\isacharplus}{\kern0pt}\ a\ {\isasymcdot}\ c}}
into \mbox{\isa{a\ {\isasymcdot}\ c\ {\isacharplus}{\kern0pt}\ b\ {\isasymcdot}\ c}},
which cannot be done under the rrewrite rule because only alternatives which are
-children of another alternative can be spilled out.%
+children of another alternative can be spilled out.
+
+Now with this rule we have some examples where we get
+even smaller intermediate derivatives than not having this
+rule:
+$\textit{(a+aa)}^* \rightarrow \textit{(1+1a)(a+aa)}^* \rightarrow
+ \textit{(1+a)(a+aa)}^* $%
\end{isamarkuptext}\isamarkuptrue%
%
\isadelimdocument
@@ -1891,1485 +1892,1486 @@
%:%187=261%:%
%:%188=262%:%
%:%189=263%:%
-%:%190=264%:%
-%:%191=265%:%
-%:%192=266%:%
-%:%193=267%:%
-%:%194=268%:%
-%:%203=272%:%
-%:%215=276%:%
-%:%216=277%:%
-%:%217=278%:%
-%:%218=279%:%
-%:%219=280%:%
-%:%220=281%:%
-%:%221=282%:%
-%:%222=283%:%
-%:%223=284%:%
-%:%224=285%:%
-%:%225=286%:%
-%:%226=287%:%
-%:%227=288%:%
-%:%228=289%:%
-%:%229=290%:%
-%:%230=291%:%
-%:%231=292%:%
-%:%240=299%:%
-%:%252=305%:%
-%:%253=306%:%
-%:%254=307%:%
-%:%255=308%:%
-%:%255=309%:%
-%:%256=310%:%
-%:%257=311%:%
-%:%258=312%:%
-%:%259=313%:%
-%:%260=314%:%
-%:%261=315%:%
-%:%262=316%:%
-%:%263=317%:%
-%:%264=318%:%
-%:%265=319%:%
-%:%266=320%:%
-%:%267=321%:%
-%:%268=322%:%
-%:%269=323%:%
-%:%270=324%:%
-%:%271=325%:%
-%:%272=326%:%
-%:%273=327%:%
-%:%274=328%:%
-%:%275=329%:%
-%:%276=330%:%
-%:%277=331%:%
-%:%278=332%:%
-%:%279=333%:%
-%:%280=334%:%
-%:%281=335%:%
-%:%282=336%:%
-%:%283=337%:%
-%:%284=338%:%
-%:%285=339%:%
-%:%286=340%:%
-%:%287=341%:%
-%:%288=342%:%
-%:%289=343%:%
-%:%290=344%:%
-%:%291=345%:%
-%:%292=346%:%
-%:%293=347%:%
-%:%294=348%:%
-%:%295=349%:%
-%:%296=350%:%
-%:%297=351%:%
-%:%298=352%:%
-%:%299=353%:%
-%:%300=354%:%
-%:%301=355%:%
-%:%302=356%:%
-%:%303=357%:%
-%:%304=358%:%
-%:%305=359%:%
-%:%306=360%:%
-%:%307=361%:%
-%:%308=362%:%
-%:%309=363%:%
-%:%310=364%:%
-%:%311=365%:%
-%:%312=366%:%
-%:%313=367%:%
-%:%314=368%:%
-%:%315=369%:%
-%:%316=370%:%
-%:%317=371%:%
-%:%318=372%:%
-%:%319=373%:%
-%:%319=374%:%
-%:%320=375%:%
-%:%321=376%:%
-%:%322=377%:%
-%:%323=378%:%
-%:%324=379%:%
-%:%325=380%:%
-%:%326=381%:%
-%:%327=382%:%
-%:%328=383%:%
-%:%329=384%:%
-%:%330=385%:%
-%:%331=386%:%
-%:%332=387%:%
-%:%333=388%:%
-%:%334=389%:%
-%:%335=390%:%
-%:%336=391%:%
-%:%337=392%:%
-%:%338=393%:%
-%:%339=394%:%
-%:%340=395%:%
-%:%341=396%:%
-%:%342=397%:%
-%:%343=398%:%
-%:%344=399%:%
-%:%345=400%:%
-%:%346=401%:%
-%:%347=402%:%
-%:%348=403%:%
-%:%349=404%:%
-%:%350=405%:%
-%:%351=406%:%
-%:%352=407%:%
-%:%353=408%:%
-%:%354=409%:%
-%:%355=410%:%
-%:%356=411%:%
-%:%357=412%:%
-%:%358=413%:%
-%:%359=414%:%
-%:%360=415%:%
-%:%361=416%:%
-%:%362=417%:%
-%:%363=418%:%
-%:%364=419%:%
-%:%365=420%:%
-%:%366=421%:%
-%:%367=422%:%
-%:%368=423%:%
-%:%369=424%:%
-%:%370=425%:%
-%:%371=426%:%
-%:%372=427%:%
-%:%373=428%:%
-%:%374=429%:%
-%:%375=430%:%
-%:%376=431%:%
-%:%377=432%:%
-%:%378=433%:%
-%:%379=434%:%
-%:%380=435%:%
-%:%381=436%:%
-%:%382=437%:%
-%:%383=438%:%
-%:%384=439%:%
-%:%385=440%:%
-%:%386=441%:%
-%:%387=442%:%
-%:%388=443%:%
-%:%389=444%:%
-%:%390=445%:%
-%:%391=446%:%
-%:%392=447%:%
-%:%393=448%:%
-%:%394=449%:%
-%:%395=450%:%
-%:%396=451%:%
-%:%397=452%:%
-%:%398=453%:%
-%:%399=454%:%
-%:%400=455%:%
-%:%401=456%:%
-%:%402=457%:%
-%:%403=458%:%
-%:%404=459%:%
-%:%405=460%:%
-%:%406=461%:%
-%:%407=462%:%
-%:%408=463%:%
-%:%409=464%:%
-%:%410=465%:%
-%:%411=466%:%
-%:%412=467%:%
-%:%413=468%:%
-%:%414=469%:%
-%:%415=470%:%
-%:%416=471%:%
-%:%417=472%:%
-%:%418=473%:%
-%:%419=474%:%
-%:%420=475%:%
-%:%421=476%:%
-%:%422=477%:%
-%:%423=478%:%
-%:%424=479%:%
-%:%433=486%:%
-%:%445=488%:%
-%:%446=489%:%
-%:%446=490%:%
-%:%447=491%:%
-%:%448=492%:%
-%:%449=493%:%
-%:%450=494%:%
-%:%451=495%:%
-%:%452=496%:%
-%:%453=497%:%
-%:%454=498%:%
-%:%455=499%:%
-%:%456=500%:%
-%:%457=501%:%
-%:%458=502%:%
-%:%459=503%:%
-%:%460=504%:%
-%:%461=505%:%
-%:%462=506%:%
-%:%463=507%:%
-%:%464=508%:%
-%:%465=509%:%
-%:%466=510%:%
-%:%467=511%:%
-%:%468=512%:%
-%:%469=513%:%
-%:%470=514%:%
-%:%471=515%:%
-%:%472=516%:%
-%:%473=517%:%
-%:%474=518%:%
-%:%475=519%:%
-%:%476=520%:%
-%:%477=521%:%
-%:%478=522%:%
-%:%479=523%:%
-%:%480=524%:%
-%:%481=525%:%
-%:%482=526%:%
-%:%483=527%:%
-%:%484=528%:%
-%:%485=529%:%
-%:%485=530%:%
-%:%486=531%:%
-%:%487=532%:%
-%:%488=533%:%
-%:%489=534%:%
-%:%490=535%:%
-%:%490=536%:%
-%:%491=537%:%
-%:%492=538%:%
-%:%493=539%:%
-%:%494=540%:%
-%:%495=541%:%
-%:%496=542%:%
-%:%497=543%:%
-%:%498=544%:%
-%:%499=545%:%
-%:%500=546%:%
-%:%501=547%:%
-%:%502=548%:%
-%:%503=549%:%
-%:%504=550%:%
-%:%505=551%:%
-%:%506=552%:%
-%:%507=553%:%
-%:%508=554%:%
-%:%509=555%:%
-%:%510=556%:%
-%:%511=557%:%
-%:%512=558%:%
-%:%513=559%:%
-%:%514=560%:%
-%:%515=561%:%
-%:%516=562%:%
-%:%517=563%:%
-%:%518=564%:%
-%:%519=565%:%
-%:%520=566%:%
-%:%521=567%:%
-%:%522=568%:%
-%:%523=569%:%
-%:%524=570%:%
-%:%525=571%:%
-%:%526=572%:%
-%:%527=573%:%
-%:%528=574%:%
-%:%529=575%:%
-%:%530=576%:%
-%:%531=577%:%
-%:%532=578%:%
-%:%533=579%:%
-%:%534=580%:%
-%:%535=581%:%
-%:%536=582%:%
-%:%537=583%:%
-%:%538=584%:%
-%:%539=585%:%
-%:%540=586%:%
-%:%541=587%:%
-%:%542=588%:%
-%:%543=589%:%
-%:%544=590%:%
-%:%545=591%:%
-%:%546=592%:%
-%:%547=593%:%
-%:%548=594%:%
-%:%549=595%:%
-%:%550=596%:%
-%:%551=597%:%
-%:%552=598%:%
-%:%553=599%:%
-%:%554=600%:%
-%:%555=601%:%
-%:%556=602%:%
-%:%557=603%:%
-%:%558=604%:%
-%:%559=605%:%
-%:%560=606%:%
-%:%561=607%:%
-%:%562=608%:%
-%:%563=609%:%
-%:%564=610%:%
-%:%565=611%:%
-%:%566=612%:%
-%:%567=613%:%
-%:%568=614%:%
-%:%569=615%:%
-%:%570=616%:%
-%:%571=617%:%
-%:%572=618%:%
-%:%573=619%:%
-%:%574=620%:%
-%:%575=621%:%
-%:%576=622%:%
-%:%577=623%:%
-%:%578=624%:%
-%:%579=625%:%
-%:%588=629%:%
-%:%600=633%:%
-%:%601=634%:%
-%:%602=635%:%
-%:%603=636%:%
-%:%604=637%:%
-%:%605=638%:%
-%:%606=639%:%
-%:%607=640%:%
-%:%608=641%:%
-%:%609=642%:%
-%:%610=643%:%
-%:%611=644%:%
-%:%612=645%:%
-%:%613=646%:%
-%:%614=647%:%
-%:%615=648%:%
-%:%616=649%:%
-%:%617=650%:%
-%:%618=651%:%
-%:%619=652%:%
-%:%620=653%:%
-%:%621=654%:%
-%:%622=655%:%
-%:%623=656%:%
-%:%624=657%:%
-%:%625=658%:%
-%:%626=659%:%
-%:%627=660%:%
-%:%628=661%:%
-%:%629=662%:%
-%:%630=663%:%
-%:%631=664%:%
-%:%632=665%:%
-%:%633=666%:%
-%:%634=667%:%
-%:%635=668%:%
-%:%636=669%:%
-%:%637=670%:%
-%:%638=671%:%
-%:%639=672%:%
-%:%640=673%:%
-%:%641=674%:%
-%:%642=675%:%
-%:%643=676%:%
-%:%644=677%:%
-%:%645=678%:%
-%:%646=679%:%
-%:%647=680%:%
-%:%648=681%:%
-%:%649=682%:%
-%:%650=683%:%
-%:%651=684%:%
-%:%652=685%:%
-%:%653=686%:%
-%:%654=687%:%
-%:%655=688%:%
-%:%656=689%:%
-%:%657=690%:%
-%:%658=691%:%
-%:%659=692%:%
-%:%660=693%:%
-%:%661=694%:%
-%:%662=695%:%
-%:%663=696%:%
-%:%664=697%:%
-%:%665=698%:%
-%:%666=699%:%
-%:%667=700%:%
-%:%668=701%:%
-%:%669=702%:%
-%:%670=703%:%
-%:%671=704%:%
-%:%672=705%:%
-%:%673=706%:%
-%:%674=707%:%
-%:%675=708%:%
-%:%676=709%:%
-%:%677=710%:%
-%:%678=711%:%
-%:%679=712%:%
-%:%680=713%:%
-%:%681=714%:%
-%:%682=715%:%
-%:%683=716%:%
-%:%684=717%:%
-%:%685=718%:%
-%:%686=719%:%
-%:%687=720%:%
-%:%688=721%:%
-%:%689=722%:%
-%:%690=723%:%
-%:%691=724%:%
-%:%692=725%:%
-%:%693=726%:%
-%:%694=727%:%
-%:%695=728%:%
-%:%696=729%:%
-%:%697=730%:%
-%:%698=731%:%
-%:%699=732%:%
-%:%700=733%:%
-%:%701=734%:%
-%:%702=735%:%
-%:%703=736%:%
-%:%704=737%:%
-%:%705=738%:%
-%:%706=739%:%
-%:%707=740%:%
-%:%708=741%:%
-%:%709=742%:%
-%:%710=743%:%
-%:%711=744%:%
-%:%712=745%:%
-%:%713=746%:%
-%:%714=747%:%
-%:%714=748%:%
-%:%715=749%:%
-%:%715=750%:%
-%:%716=751%:%
-%:%717=752%:%
-%:%717=753%:%
-%:%718=754%:%
-%:%719=755%:%
-%:%720=756%:%
-%:%721=757%:%
-%:%722=758%:%
-%:%723=759%:%
-%:%724=760%:%
-%:%725=761%:%
-%:%726=762%:%
-%:%727=763%:%
-%:%728=764%:%
-%:%729=765%:%
-%:%730=766%:%
-%:%731=767%:%
-%:%732=768%:%
-%:%733=769%:%
-%:%734=770%:%
-%:%735=771%:%
-%:%736=772%:%
-%:%737=773%:%
-%:%738=774%:%
-%:%739=775%:%
-%:%740=776%:%
-%:%741=777%:%
-%:%742=778%:%
-%:%743=779%:%
-%:%744=780%:%
-%:%745=781%:%
-%:%746=782%:%
-%:%747=783%:%
-%:%748=784%:%
-%:%749=785%:%
-%:%750=786%:%
-%:%751=787%:%
-%:%752=788%:%
-%:%753=789%:%
-%:%754=790%:%
-%:%755=791%:%
-%:%756=792%:%
-%:%757=793%:%
-%:%758=794%:%
-%:%759=795%:%
-%:%760=796%:%
-%:%761=797%:%
-%:%762=798%:%
-%:%763=799%:%
-%:%764=800%:%
-%:%765=801%:%
-%:%766=802%:%
-%:%767=803%:%
-%:%768=804%:%
-%:%769=805%:%
-%:%770=806%:%
-%:%771=807%:%
-%:%772=808%:%
-%:%773=809%:%
-%:%773=810%:%
-%:%773=811%:%
-%:%774=812%:%
-%:%775=813%:%
-%:%776=814%:%
-%:%777=815%:%
-%:%778=816%:%
-%:%779=817%:%
-%:%780=818%:%
-%:%781=819%:%
-%:%782=820%:%
-%:%782=821%:%
-%:%783=822%:%
-%:%784=823%:%
-%:%785=824%:%
-%:%786=825%:%
-%:%787=826%:%
-%:%788=827%:%
-%:%789=828%:%
-%:%790=829%:%
-%:%791=830%:%
-%:%792=831%:%
-%:%793=832%:%
-%:%794=833%:%
-%:%795=834%:%
-%:%796=835%:%
-%:%797=836%:%
-%:%798=837%:%
-%:%799=838%:%
-%:%800=839%:%
-%:%801=840%:%
-%:%802=841%:%
-%:%803=842%:%
-%:%804=843%:%
-%:%805=844%:%
-%:%806=845%:%
-%:%807=846%:%
-%:%808=847%:%
-%:%809=848%:%
-%:%810=849%:%
-%:%811=850%:%
-%:%812=851%:%
-%:%813=852%:%
-%:%814=853%:%
-%:%815=854%:%
-%:%816=855%:%
-%:%817=856%:%
-%:%817=857%:%
-%:%818=858%:%
-%:%819=859%:%
-%:%820=860%:%
-%:%821=861%:%
-%:%822=862%:%
-%:%823=863%:%
-%:%824=864%:%
-%:%824=865%:%
-%:%825=866%:%
-%:%826=867%:%
-%:%827=868%:%
-%:%827=869%:%
-%:%828=870%:%
-%:%829=871%:%
-%:%830=872%:%
-%:%831=873%:%
-%:%832=874%:%
-%:%833=875%:%
-%:%834=876%:%
-%:%835=877%:%
-%:%836=878%:%
-%:%837=879%:%
-%:%838=880%:%
-%:%838=881%:%
-%:%839=882%:%
-%:%840=883%:%
-%:%841=884%:%
-%:%842=885%:%
-%:%842=886%:%
-%:%843=887%:%
-%:%844=888%:%
-%:%845=889%:%
-%:%846=890%:%
-%:%847=891%:%
-%:%848=892%:%
-%:%849=893%:%
-%:%850=894%:%
-%:%851=895%:%
-%:%852=896%:%
-%:%853=897%:%
-%:%854=898%:%
-%:%855=899%:%
-%:%856=900%:%
-%:%857=901%:%
-%:%858=902%:%
-%:%859=903%:%
-%:%860=904%:%
-%:%861=905%:%
-%:%862=906%:%
-%:%863=907%:%
-%:%864=908%:%
-%:%865=909%:%
-%:%866=910%:%
-%:%867=911%:%
-%:%868=912%:%
-%:%869=913%:%
-%:%870=914%:%
-%:%871=915%:%
-%:%872=916%:%
-%:%873=917%:%
-%:%874=918%:%
-%:%875=919%:%
-%:%876=920%:%
-%:%877=921%:%
-%:%878=922%:%
-%:%879=923%:%
-%:%880=924%:%
-%:%881=925%:%
-%:%882=926%:%
-%:%883=927%:%
-%:%884=928%:%
-%:%885=929%:%
-%:%886=930%:%
-%:%887=931%:%
-%:%888=932%:%
-%:%889=933%:%
-%:%890=934%:%
-%:%891=935%:%
-%:%892=936%:%
-%:%893=937%:%
-%:%894=938%:%
-%:%895=939%:%
-%:%896=940%:%
-%:%897=941%:%
-%:%898=942%:%
-%:%899=943%:%
-%:%900=944%:%
-%:%900=945%:%
-%:%901=946%:%
-%:%902=947%:%
-%:%903=948%:%
-%:%904=949%:%
-%:%905=950%:%
-%:%906=951%:%
-%:%907=952%:%
-%:%908=953%:%
-%:%909=954%:%
-%:%910=955%:%
-%:%911=956%:%
-%:%912=957%:%
-%:%913=958%:%
-%:%914=959%:%
-%:%915=960%:%
-%:%916=961%:%
-%:%917=962%:%
-%:%918=963%:%
-%:%919=964%:%
-%:%920=965%:%
-%:%921=966%:%
-%:%922=967%:%
-%:%923=968%:%
-%:%924=969%:%
-%:%925=970%:%
-%:%926=971%:%
-%:%927=972%:%
-%:%928=973%:%
-%:%929=974%:%
-%:%930=975%:%
-%:%931=976%:%
-%:%932=977%:%
-%:%933=978%:%
-%:%933=979%:%
-%:%934=980%:%
-%:%935=981%:%
-%:%936=982%:%
-%:%937=983%:%
-%:%938=984%:%
-%:%939=985%:%
-%:%940=986%:%
-%:%941=987%:%
-%:%942=988%:%
-%:%943=989%:%
-%:%944=990%:%
-%:%945=991%:%
-%:%946=992%:%
-%:%947=993%:%
-%:%948=994%:%
-%:%949=995%:%
-%:%950=996%:%
-%:%951=997%:%
-%:%952=998%:%
-%:%953=999%:%
-%:%954=1000%:%
-%:%955=1001%:%
-%:%956=1002%:%
-%:%957=1003%:%
-%:%958=1004%:%
-%:%959=1005%:%
-%:%960=1006%:%
-%:%961=1007%:%
-%:%962=1008%:%
-%:%963=1009%:%
-%:%963=1010%:%
-%:%964=1011%:%
-%:%965=1012%:%
-%:%966=1013%:%
-%:%967=1014%:%
-%:%968=1015%:%
-%:%969=1016%:%
-%:%970=1017%:%
-%:%971=1018%:%
-%:%971=1019%:%
-%:%972=1020%:%
-%:%973=1021%:%
-%:%974=1022%:%
-%:%975=1023%:%
-%:%976=1024%:%
-%:%977=1025%:%
-%:%978=1026%:%
-%:%979=1027%:%
-%:%980=1028%:%
-%:%981=1029%:%
-%:%982=1030%:%
-%:%983=1031%:%
-%:%984=1032%:%
-%:%985=1033%:%
-%:%986=1034%:%
-%:%987=1035%:%
-%:%988=1036%:%
-%:%989=1037%:%
-%:%990=1038%:%
-%:%991=1039%:%
-%:%992=1040%:%
-%:%993=1041%:%
-%:%994=1042%:%
-%:%995=1043%:%
-%:%996=1044%:%
-%:%997=1045%:%
-%:%998=1046%:%
-%:%999=1047%:%
-%:%1000=1048%:%
-%:%1001=1049%:%
-%:%1002=1050%:%
-%:%1003=1051%:%
-%:%1004=1052%:%
-%:%1005=1053%:%
-%:%1006=1054%:%
-%:%1007=1055%:%
-%:%1008=1056%:%
-%:%1008=1057%:%
-%:%1008=1058%:%
-%:%1009=1059%:%
-%:%1009=1060%:%
+%:%198=271%:%
+%:%210=275%:%
+%:%211=276%:%
+%:%212=277%:%
+%:%213=278%:%
+%:%214=279%:%
+%:%215=280%:%
+%:%216=281%:%
+%:%217=282%:%
+%:%218=283%:%
+%:%219=284%:%
+%:%220=285%:%
+%:%221=286%:%
+%:%222=287%:%
+%:%223=288%:%
+%:%224=289%:%
+%:%225=290%:%
+%:%226=291%:%
+%:%227=292%:%
+%:%228=293%:%
+%:%229=294%:%
+%:%230=295%:%
+%:%231=296%:%
+%:%232=297%:%
+%:%241=304%:%
+%:%253=310%:%
+%:%254=311%:%
+%:%255=312%:%
+%:%256=313%:%
+%:%256=314%:%
+%:%257=315%:%
+%:%258=316%:%
+%:%259=317%:%
+%:%260=318%:%
+%:%261=319%:%
+%:%262=320%:%
+%:%263=321%:%
+%:%264=322%:%
+%:%265=323%:%
+%:%266=324%:%
+%:%267=325%:%
+%:%268=326%:%
+%:%269=327%:%
+%:%270=328%:%
+%:%271=329%:%
+%:%272=330%:%
+%:%273=331%:%
+%:%274=332%:%
+%:%275=333%:%
+%:%276=334%:%
+%:%277=335%:%
+%:%278=336%:%
+%:%279=337%:%
+%:%280=338%:%
+%:%281=339%:%
+%:%282=340%:%
+%:%283=341%:%
+%:%284=342%:%
+%:%285=343%:%
+%:%286=344%:%
+%:%287=345%:%
+%:%288=346%:%
+%:%289=347%:%
+%:%290=348%:%
+%:%291=349%:%
+%:%292=350%:%
+%:%293=351%:%
+%:%294=352%:%
+%:%295=353%:%
+%:%296=354%:%
+%:%297=355%:%
+%:%298=356%:%
+%:%299=357%:%
+%:%300=358%:%
+%:%301=359%:%
+%:%302=360%:%
+%:%303=361%:%
+%:%304=362%:%
+%:%305=363%:%
+%:%306=364%:%
+%:%307=365%:%
+%:%308=366%:%
+%:%309=367%:%
+%:%310=368%:%
+%:%311=369%:%
+%:%312=370%:%
+%:%313=371%:%
+%:%314=372%:%
+%:%315=373%:%
+%:%316=374%:%
+%:%317=375%:%
+%:%318=376%:%
+%:%319=377%:%
+%:%320=378%:%
+%:%320=379%:%
+%:%321=380%:%
+%:%322=381%:%
+%:%323=382%:%
+%:%324=383%:%
+%:%325=384%:%
+%:%326=385%:%
+%:%327=386%:%
+%:%328=387%:%
+%:%329=388%:%
+%:%330=389%:%
+%:%331=390%:%
+%:%332=391%:%
+%:%333=392%:%
+%:%334=393%:%
+%:%335=394%:%
+%:%336=395%:%
+%:%337=396%:%
+%:%338=397%:%
+%:%339=398%:%
+%:%340=399%:%
+%:%341=400%:%
+%:%342=401%:%
+%:%343=402%:%
+%:%344=403%:%
+%:%345=404%:%
+%:%346=405%:%
+%:%347=406%:%
+%:%348=407%:%
+%:%349=408%:%
+%:%350=409%:%
+%:%351=410%:%
+%:%352=411%:%
+%:%353=412%:%
+%:%354=413%:%
+%:%355=414%:%
+%:%356=415%:%
+%:%357=416%:%
+%:%358=417%:%
+%:%359=418%:%
+%:%360=419%:%
+%:%361=420%:%
+%:%362=421%:%
+%:%363=422%:%
+%:%364=423%:%
+%:%365=424%:%
+%:%366=425%:%
+%:%367=426%:%
+%:%368=427%:%
+%:%369=428%:%
+%:%370=429%:%
+%:%371=430%:%
+%:%372=431%:%
+%:%373=432%:%
+%:%374=433%:%
+%:%375=434%:%
+%:%376=435%:%
+%:%377=436%:%
+%:%378=437%:%
+%:%379=438%:%
+%:%380=439%:%
+%:%381=440%:%
+%:%382=441%:%
+%:%383=442%:%
+%:%384=443%:%
+%:%385=444%:%
+%:%386=445%:%
+%:%387=446%:%
+%:%388=447%:%
+%:%389=448%:%
+%:%390=449%:%
+%:%391=450%:%
+%:%392=451%:%
+%:%393=452%:%
+%:%394=453%:%
+%:%395=454%:%
+%:%396=455%:%
+%:%397=456%:%
+%:%398=457%:%
+%:%399=458%:%
+%:%400=459%:%
+%:%401=460%:%
+%:%402=461%:%
+%:%403=462%:%
+%:%404=463%:%
+%:%405=464%:%
+%:%406=465%:%
+%:%407=466%:%
+%:%408=467%:%
+%:%409=468%:%
+%:%410=469%:%
+%:%411=470%:%
+%:%412=471%:%
+%:%413=472%:%
+%:%414=473%:%
+%:%415=474%:%
+%:%416=475%:%
+%:%417=476%:%
+%:%418=477%:%
+%:%419=478%:%
+%:%420=479%:%
+%:%421=480%:%
+%:%422=481%:%
+%:%423=482%:%
+%:%424=483%:%
+%:%425=484%:%
+%:%434=491%:%
+%:%446=493%:%
+%:%447=494%:%
+%:%447=495%:%
+%:%448=496%:%
+%:%449=497%:%
+%:%450=498%:%
+%:%451=499%:%
+%:%452=500%:%
+%:%453=501%:%
+%:%454=502%:%
+%:%455=503%:%
+%:%456=504%:%
+%:%457=505%:%
+%:%458=506%:%
+%:%459=507%:%
+%:%460=508%:%
+%:%461=509%:%
+%:%462=510%:%
+%:%463=511%:%
+%:%464=512%:%
+%:%465=513%:%
+%:%466=514%:%
+%:%467=515%:%
+%:%468=516%:%
+%:%469=517%:%
+%:%470=518%:%
+%:%471=519%:%
+%:%472=520%:%
+%:%473=521%:%
+%:%474=522%:%
+%:%475=523%:%
+%:%476=524%:%
+%:%477=525%:%
+%:%478=526%:%
+%:%479=527%:%
+%:%480=528%:%
+%:%481=529%:%
+%:%482=530%:%
+%:%483=531%:%
+%:%484=532%:%
+%:%485=533%:%
+%:%486=534%:%
+%:%486=535%:%
+%:%487=536%:%
+%:%488=537%:%
+%:%489=538%:%
+%:%490=539%:%
+%:%491=540%:%
+%:%491=541%:%
+%:%492=542%:%
+%:%493=543%:%
+%:%494=544%:%
+%:%495=545%:%
+%:%496=546%:%
+%:%497=547%:%
+%:%498=548%:%
+%:%499=549%:%
+%:%500=550%:%
+%:%501=551%:%
+%:%502=552%:%
+%:%503=553%:%
+%:%504=554%:%
+%:%505=555%:%
+%:%506=556%:%
+%:%507=557%:%
+%:%508=558%:%
+%:%509=559%:%
+%:%510=560%:%
+%:%511=561%:%
+%:%512=562%:%
+%:%513=563%:%
+%:%514=564%:%
+%:%515=565%:%
+%:%516=566%:%
+%:%517=567%:%
+%:%518=568%:%
+%:%519=569%:%
+%:%520=570%:%
+%:%521=571%:%
+%:%522=572%:%
+%:%523=573%:%
+%:%524=574%:%
+%:%525=575%:%
+%:%526=576%:%
+%:%527=577%:%
+%:%528=578%:%
+%:%529=579%:%
+%:%530=580%:%
+%:%531=581%:%
+%:%532=582%:%
+%:%533=583%:%
+%:%534=584%:%
+%:%535=585%:%
+%:%536=586%:%
+%:%537=587%:%
+%:%538=588%:%
+%:%539=589%:%
+%:%540=590%:%
+%:%541=591%:%
+%:%542=592%:%
+%:%543=593%:%
+%:%544=594%:%
+%:%545=595%:%
+%:%546=596%:%
+%:%547=597%:%
+%:%548=598%:%
+%:%549=599%:%
+%:%550=600%:%
+%:%551=601%:%
+%:%552=602%:%
+%:%553=603%:%
+%:%554=604%:%
+%:%555=605%:%
+%:%556=606%:%
+%:%557=607%:%
+%:%558=608%:%
+%:%559=609%:%
+%:%560=610%:%
+%:%561=611%:%
+%:%562=612%:%
+%:%563=613%:%
+%:%564=614%:%
+%:%565=615%:%
+%:%566=616%:%
+%:%567=617%:%
+%:%568=618%:%
+%:%569=619%:%
+%:%570=620%:%
+%:%571=621%:%
+%:%572=622%:%
+%:%573=623%:%
+%:%574=624%:%
+%:%575=625%:%
+%:%576=626%:%
+%:%577=627%:%
+%:%578=628%:%
+%:%579=629%:%
+%:%580=630%:%
+%:%589=634%:%
+%:%601=638%:%
+%:%602=639%:%
+%:%603=640%:%
+%:%604=641%:%
+%:%605=642%:%
+%:%606=643%:%
+%:%607=644%:%
+%:%608=645%:%
+%:%609=646%:%
+%:%610=647%:%
+%:%611=648%:%
+%:%612=649%:%
+%:%613=650%:%
+%:%614=651%:%
+%:%615=652%:%
+%:%616=653%:%
+%:%617=654%:%
+%:%618=655%:%
+%:%619=656%:%
+%:%620=657%:%
+%:%621=658%:%
+%:%622=659%:%
+%:%623=660%:%
+%:%624=661%:%
+%:%625=662%:%
+%:%626=663%:%
+%:%627=664%:%
+%:%628=665%:%
+%:%629=666%:%
+%:%630=667%:%
+%:%631=668%:%
+%:%632=669%:%
+%:%633=670%:%
+%:%634=671%:%
+%:%635=672%:%
+%:%636=673%:%
+%:%637=674%:%
+%:%638=675%:%
+%:%639=676%:%
+%:%640=677%:%
+%:%641=678%:%
+%:%642=679%:%
+%:%643=680%:%
+%:%644=681%:%
+%:%645=682%:%
+%:%646=683%:%
+%:%647=684%:%
+%:%648=685%:%
+%:%649=686%:%
+%:%650=687%:%
+%:%651=688%:%
+%:%652=689%:%
+%:%653=690%:%
+%:%654=691%:%
+%:%655=692%:%
+%:%656=693%:%
+%:%657=694%:%
+%:%658=695%:%
+%:%659=696%:%
+%:%660=697%:%
+%:%661=698%:%
+%:%662=699%:%
+%:%663=700%:%
+%:%664=701%:%
+%:%665=702%:%
+%:%666=703%:%
+%:%667=704%:%
+%:%668=705%:%
+%:%669=706%:%
+%:%670=707%:%
+%:%671=708%:%
+%:%672=709%:%
+%:%673=710%:%
+%:%674=711%:%
+%:%675=712%:%
+%:%676=713%:%
+%:%677=714%:%
+%:%678=715%:%
+%:%679=716%:%
+%:%680=717%:%
+%:%681=718%:%
+%:%682=719%:%
+%:%683=720%:%
+%:%684=721%:%
+%:%685=722%:%
+%:%686=723%:%
+%:%687=724%:%
+%:%688=725%:%
+%:%689=726%:%
+%:%690=727%:%
+%:%691=728%:%
+%:%692=729%:%
+%:%693=730%:%
+%:%694=731%:%
+%:%695=732%:%
+%:%696=733%:%
+%:%697=734%:%
+%:%698=735%:%
+%:%699=736%:%
+%:%700=737%:%
+%:%701=738%:%
+%:%702=739%:%
+%:%703=740%:%
+%:%704=741%:%
+%:%705=742%:%
+%:%706=743%:%
+%:%707=744%:%
+%:%708=745%:%
+%:%709=746%:%
+%:%710=747%:%
+%:%711=748%:%
+%:%712=749%:%
+%:%713=750%:%
+%:%714=751%:%
+%:%715=752%:%
+%:%715=753%:%
+%:%716=754%:%
+%:%716=755%:%
+%:%717=756%:%
+%:%718=757%:%
+%:%718=758%:%
+%:%719=759%:%
+%:%720=760%:%
+%:%721=761%:%
+%:%722=762%:%
+%:%723=763%:%
+%:%724=764%:%
+%:%725=765%:%
+%:%726=766%:%
+%:%727=767%:%
+%:%728=768%:%
+%:%729=769%:%
+%:%730=770%:%
+%:%731=771%:%
+%:%732=772%:%
+%:%733=773%:%
+%:%734=774%:%
+%:%735=775%:%
+%:%736=776%:%
+%:%737=777%:%
+%:%738=778%:%
+%:%739=779%:%
+%:%740=780%:%
+%:%741=781%:%
+%:%742=782%:%
+%:%743=783%:%
+%:%744=784%:%
+%:%745=785%:%
+%:%746=786%:%
+%:%747=787%:%
+%:%748=788%:%
+%:%749=789%:%
+%:%750=790%:%
+%:%751=791%:%
+%:%752=792%:%
+%:%753=793%:%
+%:%754=794%:%
+%:%755=795%:%
+%:%756=796%:%
+%:%757=797%:%
+%:%758=798%:%
+%:%759=799%:%
+%:%760=800%:%
+%:%761=801%:%
+%:%762=802%:%
+%:%763=803%:%
+%:%764=804%:%
+%:%765=805%:%
+%:%766=806%:%
+%:%767=807%:%
+%:%768=808%:%
+%:%769=809%:%
+%:%770=810%:%
+%:%771=811%:%
+%:%772=812%:%
+%:%773=813%:%
+%:%774=814%:%
+%:%774=815%:%
+%:%774=816%:%
+%:%775=817%:%
+%:%776=818%:%
+%:%777=819%:%
+%:%778=820%:%
+%:%779=821%:%
+%:%780=822%:%
+%:%781=823%:%
+%:%782=824%:%
+%:%783=825%:%
+%:%783=826%:%
+%:%784=827%:%
+%:%785=828%:%
+%:%786=829%:%
+%:%787=830%:%
+%:%788=831%:%
+%:%789=832%:%
+%:%790=833%:%
+%:%791=834%:%
+%:%792=835%:%
+%:%793=836%:%
+%:%794=837%:%
+%:%795=838%:%
+%:%796=839%:%
+%:%797=840%:%
+%:%798=841%:%
+%:%799=842%:%
+%:%800=843%:%
+%:%801=844%:%
+%:%802=845%:%
+%:%803=846%:%
+%:%804=847%:%
+%:%805=848%:%
+%:%806=849%:%
+%:%807=850%:%
+%:%808=851%:%
+%:%809=852%:%
+%:%810=853%:%
+%:%811=854%:%
+%:%812=855%:%
+%:%813=856%:%
+%:%814=857%:%
+%:%815=858%:%
+%:%816=859%:%
+%:%817=860%:%
+%:%818=861%:%
+%:%818=862%:%
+%:%819=863%:%
+%:%820=864%:%
+%:%821=865%:%
+%:%822=866%:%
+%:%823=867%:%
+%:%824=868%:%
+%:%825=869%:%
+%:%825=870%:%
+%:%826=871%:%
+%:%827=872%:%
+%:%828=873%:%
+%:%828=874%:%
+%:%829=875%:%
+%:%830=876%:%
+%:%831=877%:%
+%:%832=878%:%
+%:%833=879%:%
+%:%834=880%:%
+%:%835=881%:%
+%:%836=882%:%
+%:%837=883%:%
+%:%838=884%:%
+%:%839=885%:%
+%:%839=886%:%
+%:%840=887%:%
+%:%841=888%:%
+%:%842=889%:%
+%:%843=890%:%
+%:%843=891%:%
+%:%844=892%:%
+%:%845=893%:%
+%:%846=894%:%
+%:%847=895%:%
+%:%848=896%:%
+%:%849=897%:%
+%:%850=898%:%
+%:%851=899%:%
+%:%852=900%:%
+%:%853=901%:%
+%:%854=902%:%
+%:%855=903%:%
+%:%856=904%:%
+%:%857=905%:%
+%:%858=906%:%
+%:%859=907%:%
+%:%860=908%:%
+%:%861=909%:%
+%:%862=910%:%
+%:%863=911%:%
+%:%864=912%:%
+%:%865=913%:%
+%:%866=914%:%
+%:%867=915%:%
+%:%868=916%:%
+%:%869=917%:%
+%:%870=918%:%
+%:%871=919%:%
+%:%872=920%:%
+%:%873=921%:%
+%:%874=922%:%
+%:%875=923%:%
+%:%876=924%:%
+%:%877=925%:%
+%:%878=926%:%
+%:%879=927%:%
+%:%880=928%:%
+%:%881=929%:%
+%:%882=930%:%
+%:%883=931%:%
+%:%884=932%:%
+%:%885=933%:%
+%:%886=934%:%
+%:%887=935%:%
+%:%888=936%:%
+%:%889=937%:%
+%:%890=938%:%
+%:%891=939%:%
+%:%892=940%:%
+%:%893=941%:%
+%:%894=942%:%
+%:%895=943%:%
+%:%896=944%:%
+%:%897=945%:%
+%:%898=946%:%
+%:%899=947%:%
+%:%900=948%:%
+%:%901=949%:%
+%:%901=950%:%
+%:%902=951%:%
+%:%903=952%:%
+%:%904=953%:%
+%:%905=954%:%
+%:%906=955%:%
+%:%907=956%:%
+%:%908=957%:%
+%:%909=958%:%
+%:%910=959%:%
+%:%911=960%:%
+%:%912=961%:%
+%:%913=962%:%
+%:%914=963%:%
+%:%915=964%:%
+%:%916=965%:%
+%:%917=966%:%
+%:%918=967%:%
+%:%919=968%:%
+%:%920=969%:%
+%:%921=970%:%
+%:%922=971%:%
+%:%923=972%:%
+%:%924=973%:%
+%:%925=974%:%
+%:%926=975%:%
+%:%927=976%:%
+%:%928=977%:%
+%:%929=978%:%
+%:%930=979%:%
+%:%931=980%:%
+%:%932=981%:%
+%:%933=982%:%
+%:%934=983%:%
+%:%934=984%:%
+%:%935=985%:%
+%:%936=986%:%
+%:%937=987%:%
+%:%938=988%:%
+%:%939=989%:%
+%:%940=990%:%
+%:%941=991%:%
+%:%942=992%:%
+%:%943=993%:%
+%:%944=994%:%
+%:%945=995%:%
+%:%946=996%:%
+%:%947=997%:%
+%:%948=998%:%
+%:%949=999%:%
+%:%950=1000%:%
+%:%951=1001%:%
+%:%952=1002%:%
+%:%953=1003%:%
+%:%954=1004%:%
+%:%955=1005%:%
+%:%956=1006%:%
+%:%957=1007%:%
+%:%958=1008%:%
+%:%959=1009%:%
+%:%960=1010%:%
+%:%961=1011%:%
+%:%962=1012%:%
+%:%963=1013%:%
+%:%964=1014%:%
+%:%964=1015%:%
+%:%965=1016%:%
+%:%966=1017%:%
+%:%967=1018%:%
+%:%968=1019%:%
+%:%969=1020%:%
+%:%970=1021%:%
+%:%971=1022%:%
+%:%972=1023%:%
+%:%972=1024%:%
+%:%973=1025%:%
+%:%974=1026%:%
+%:%975=1027%:%
+%:%976=1028%:%
+%:%977=1029%:%
+%:%978=1030%:%
+%:%979=1031%:%
+%:%980=1032%:%
+%:%981=1033%:%
+%:%982=1034%:%
+%:%983=1035%:%
+%:%984=1036%:%
+%:%985=1037%:%
+%:%986=1038%:%
+%:%987=1039%:%
+%:%988=1040%:%
+%:%989=1041%:%
+%:%990=1042%:%
+%:%991=1043%:%
+%:%992=1044%:%
+%:%993=1045%:%
+%:%994=1046%:%
+%:%995=1047%:%
+%:%996=1048%:%
+%:%997=1049%:%
+%:%998=1050%:%
+%:%999=1051%:%
+%:%1000=1052%:%
+%:%1001=1053%:%
+%:%1002=1054%:%
+%:%1003=1055%:%
+%:%1004=1056%:%
+%:%1005=1057%:%
+%:%1006=1058%:%
+%:%1007=1059%:%
+%:%1008=1060%:%
%:%1009=1061%:%
-%:%1010=1062%:%
-%:%1011=1063%:%
-%:%1011=1064%:%
-%:%1012=1065%:%
-%:%1013=1066%:%
-%:%1014=1067%:%
-%:%1015=1068%:%
-%:%1016=1069%:%
-%:%1017=1070%:%
-%:%1018=1071%:%
-%:%1019=1072%:%
-%:%1020=1073%:%
-%:%1021=1074%:%
-%:%1022=1075%:%
-%:%1023=1076%:%
-%:%1024=1077%:%
-%:%1025=1078%:%
-%:%1026=1079%:%
-%:%1027=1080%:%
-%:%1028=1081%:%
-%:%1029=1082%:%
-%:%1030=1083%:%
-%:%1031=1084%:%
-%:%1032=1085%:%
-%:%1033=1086%:%
-%:%1034=1087%:%
-%:%1035=1088%:%
-%:%1036=1089%:%
-%:%1037=1090%:%
-%:%1038=1091%:%
-%:%1039=1092%:%
-%:%1040=1093%:%
-%:%1041=1094%:%
-%:%1042=1095%:%
-%:%1043=1096%:%
-%:%1044=1097%:%
-%:%1045=1098%:%
-%:%1045=1099%:%
-%:%1046=1100%:%
-%:%1047=1101%:%
-%:%1048=1102%:%
-%:%1048=1103%:%
-%:%1048=1104%:%
-%:%1048=1105%:%
-%:%1049=1106%:%
-%:%1050=1107%:%
-%:%1051=1108%:%
-%:%1052=1109%:%
-%:%1053=1110%:%
-%:%1054=1111%:%
-%:%1055=1112%:%
-%:%1056=1113%:%
-%:%1057=1114%:%
-%:%1058=1115%:%
-%:%1059=1116%:%
-%:%1060=1117%:%
-%:%1061=1118%:%
-%:%1062=1119%:%
-%:%1063=1120%:%
-%:%1064=1121%:%
-%:%1065=1122%:%
-%:%1066=1123%:%
-%:%1067=1124%:%
-%:%1068=1125%:%
-%:%1069=1126%:%
-%:%1070=1127%:%
-%:%1071=1128%:%
-%:%1072=1129%:%
-%:%1073=1130%:%
-%:%1074=1131%:%
-%:%1075=1132%:%
-%:%1076=1133%:%
-%:%1077=1134%:%
-%:%1078=1135%:%
-%:%1079=1136%:%
-%:%1080=1137%:%
-%:%1081=1138%:%
-%:%1082=1139%:%
-%:%1083=1140%:%
-%:%1084=1141%:%
-%:%1085=1142%:%
-%:%1094=1146%:%
-%:%1106=1150%:%
-%:%1107=1151%:%
-%:%1108=1152%:%
-%:%1109=1153%:%
-%:%1110=1154%:%
-%:%1111=1155%:%
-%:%1112=1156%:%
-%:%1113=1157%:%
-%:%1114=1158%:%
-%:%1115=1159%:%
-%:%1116=1160%:%
-%:%1117=1161%:%
-%:%1118=1162%:%
-%:%1119=1163%:%
-%:%1120=1164%:%
-%:%1121=1165%:%
-%:%1122=1166%:%
-%:%1123=1167%:%
-%:%1124=1168%:%
-%:%1125=1169%:%
-%:%1126=1170%:%
-%:%1127=1171%:%
-%:%1128=1172%:%
-%:%1129=1173%:%
-%:%1130=1174%:%
-%:%1131=1175%:%
-%:%1132=1176%:%
-%:%1133=1177%:%
-%:%1134=1178%:%
-%:%1135=1179%:%
-%:%1136=1180%:%
-%:%1137=1181%:%
-%:%1138=1182%:%
-%:%1139=1183%:%
-%:%1140=1184%:%
-%:%1141=1185%:%
-%:%1142=1186%:%
-%:%1143=1187%:%
-%:%1144=1188%:%
-%:%1145=1189%:%
-%:%1146=1190%:%
-%:%1147=1191%:%
-%:%1148=1192%:%
-%:%1149=1193%:%
-%:%1150=1194%:%
-%:%1151=1195%:%
-%:%1152=1196%:%
-%:%1153=1197%:%
-%:%1154=1198%:%
-%:%1155=1199%:%
-%:%1156=1200%:%
-%:%1157=1201%:%
-%:%1158=1202%:%
-%:%1159=1203%:%
-%:%1160=1204%:%
-%:%1161=1205%:%
-%:%1162=1206%:%
-%:%1163=1207%:%
-%:%1164=1208%:%
-%:%1165=1209%:%
-%:%1166=1210%:%
-%:%1167=1211%:%
-%:%1168=1212%:%
-%:%1169=1213%:%
-%:%1170=1214%:%
-%:%1171=1215%:%
-%:%1172=1216%:%
-%:%1173=1217%:%
-%:%1174=1218%:%
-%:%1175=1219%:%
-%:%1176=1220%:%
-%:%1177=1221%:%
-%:%1178=1222%:%
-%:%1179=1223%:%
-%:%1180=1224%:%
-%:%1181=1225%:%
-%:%1182=1226%:%
-%:%1183=1227%:%
-%:%1184=1228%:%
-%:%1185=1229%:%
-%:%1186=1230%:%
-%:%1187=1231%:%
-%:%1188=1232%:%
-%:%1189=1233%:%
-%:%1190=1234%:%
-%:%1191=1235%:%
-%:%1192=1236%:%
-%:%1193=1237%:%
-%:%1194=1238%:%
-%:%1195=1239%:%
-%:%1196=1240%:%
-%:%1197=1241%:%
-%:%1198=1242%:%
-%:%1199=1243%:%
-%:%1200=1244%:%
-%:%1201=1245%:%
-%:%1202=1246%:%
-%:%1203=1247%:%
-%:%1204=1248%:%
-%:%1205=1249%:%
-%:%1206=1250%:%
-%:%1207=1251%:%
-%:%1208=1252%:%
-%:%1209=1253%:%
-%:%1210=1254%:%
-%:%1211=1255%:%
-%:%1212=1256%:%
-%:%1213=1257%:%
-%:%1214=1258%:%
-%:%1215=1259%:%
-%:%1216=1260%:%
-%:%1217=1261%:%
-%:%1218=1262%:%
-%:%1219=1263%:%
-%:%1220=1264%:%
-%:%1221=1265%:%
-%:%1221=1266%:%
-%:%1222=1267%:%
-%:%1223=1268%:%
-%:%1224=1269%:%
-%:%1225=1270%:%
-%:%1226=1271%:%
-%:%1227=1272%:%
-%:%1228=1273%:%
-%:%1229=1274%:%
-%:%1230=1275%:%
-%:%1231=1276%:%
-%:%1232=1277%:%
-%:%1232=1278%:%
-%:%1233=1279%:%
-%:%1234=1280%:%
-%:%1235=1281%:%
-%:%1236=1282%:%
-%:%1237=1283%:%
-%:%1238=1284%:%
-%:%1239=1285%:%
-%:%1240=1286%:%
-%:%1241=1287%:%
-%:%1242=1288%:%
-%:%1243=1289%:%
-%:%1244=1290%:%
-%:%1245=1291%:%
-%:%1246=1292%:%
-%:%1247=1293%:%
-%:%1248=1294%:%
-%:%1249=1295%:%
-%:%1250=1296%:%
-%:%1251=1297%:%
-%:%1252=1298%:%
-%:%1253=1299%:%
-%:%1254=1300%:%
-%:%1255=1301%:%
-%:%1256=1302%:%
-%:%1257=1303%:%
-%:%1258=1304%:%
-%:%1259=1305%:%
-%:%1260=1306%:%
-%:%1261=1307%:%
-%:%1262=1308%:%
-%:%1263=1309%:%
-%:%1264=1310%:%
-%:%1265=1311%:%
-%:%1266=1312%:%
-%:%1267=1313%:%
-%:%1268=1314%:%
-%:%1269=1315%:%
-%:%1270=1316%:%
-%:%1271=1317%:%
-%:%1272=1318%:%
-%:%1273=1319%:%
-%:%1274=1320%:%
-%:%1275=1321%:%
-%:%1276=1322%:%
-%:%1277=1323%:%
-%:%1278=1324%:%
-%:%1279=1325%:%
-%:%1280=1326%:%
-%:%1281=1327%:%
-%:%1282=1328%:%
-%:%1283=1329%:%
-%:%1284=1330%:%
-%:%1285=1331%:%
-%:%1286=1332%:%
-%:%1286=1333%:%
-%:%1286=1334%:%
-%:%1287=1335%:%
-%:%1288=1336%:%
-%:%1288=1337%:%
-%:%1288=1338%:%
-%:%1288=1339%:%
-%:%1289=1340%:%
-%:%1290=1341%:%
-%:%1291=1342%:%
-%:%1292=1343%:%
-%:%1293=1344%:%
-%:%1293=1345%:%
-%:%1294=1346%:%
-%:%1295=1347%:%
-%:%1296=1348%:%
-%:%1297=1349%:%
-%:%1298=1350%:%
-%:%1299=1351%:%
-%:%1300=1352%:%
-%:%1301=1353%:%
-%:%1302=1354%:%
-%:%1303=1355%:%
-%:%1304=1356%:%
-%:%1305=1357%:%
-%:%1306=1358%:%
-%:%1307=1359%:%
-%:%1308=1360%:%
-%:%1309=1361%:%
-%:%1310=1362%:%
-%:%1311=1363%:%
-%:%1312=1364%:%
-%:%1313=1365%:%
-%:%1314=1366%:%
-%:%1315=1367%:%
-%:%1316=1368%:%
-%:%1317=1369%:%
-%:%1318=1370%:%
-%:%1319=1371%:%
-%:%1320=1372%:%
-%:%1321=1373%:%
-%:%1322=1374%:%
-%:%1323=1375%:%
-%:%1324=1376%:%
-%:%1325=1377%:%
-%:%1326=1378%:%
-%:%1327=1379%:%
-%:%1328=1380%:%
-%:%1329=1381%:%
-%:%1330=1382%:%
-%:%1331=1383%:%
-%:%1332=1384%:%
-%:%1333=1385%:%
-%:%1334=1386%:%
-%:%1335=1387%:%
-%:%1336=1388%:%
-%:%1337=1389%:%
-%:%1338=1390%:%
-%:%1339=1391%:%
-%:%1340=1392%:%
-%:%1341=1393%:%
-%:%1341=1394%:%
-%:%1342=1395%:%
-%:%1342=1396%:%
-%:%1343=1397%:%
-%:%1343=1398%:%
-%:%1344=1399%:%
-%:%1345=1400%:%
-%:%1346=1401%:%
-%:%1347=1402%:%
-%:%1348=1403%:%
-%:%1349=1404%:%
-%:%1350=1405%:%
-%:%1350=1406%:%
-%:%1351=1407%:%
-%:%1351=1408%:%
-%:%1352=1409%:%
-%:%1352=1410%:%
-%:%1353=1411%:%
-%:%1354=1412%:%
-%:%1355=1413%:%
-%:%1356=1414%:%
-%:%1357=1415%:%
-%:%1358=1416%:%
-%:%1359=1417%:%
-%:%1360=1418%:%
-%:%1361=1419%:%
-%:%1362=1420%:%
-%:%1363=1421%:%
-%:%1364=1422%:%
-%:%1365=1423%:%
-%:%1366=1424%:%
-%:%1367=1425%:%
-%:%1368=1426%:%
-%:%1369=1427%:%
-%:%1370=1428%:%
-%:%1371=1429%:%
-%:%1372=1430%:%
-%:%1373=1431%:%
-%:%1374=1432%:%
-%:%1375=1433%:%
-%:%1376=1434%:%
-%:%1377=1435%:%
-%:%1378=1436%:%
-%:%1379=1437%:%
-%:%1380=1438%:%
-%:%1381=1439%:%
-%:%1382=1440%:%
-%:%1383=1441%:%
-%:%1383=1442%:%
-%:%1384=1443%:%
-%:%1385=1444%:%
-%:%1386=1445%:%
-%:%1387=1446%:%
-%:%1388=1447%:%
-%:%1389=1448%:%
-%:%1390=1449%:%
-%:%1390=1450%:%
-%:%1391=1451%:%
-%:%1392=1452%:%
-%:%1393=1453%:%
-%:%1393=1454%:%
-%:%1394=1455%:%
-%:%1395=1456%:%
-%:%1396=1457%:%
-%:%1396=1458%:%
-%:%1397=1459%:%
-%:%1397=1460%:%
-%:%1398=1461%:%
-%:%1398=1462%:%
-%:%1399=1463%:%
-%:%1400=1464%:%
-%:%1401=1465%:%
-%:%1401=1466%:%
-%:%1402=1467%:%
-%:%1402=1468%:%
-%:%1403=1469%:%
-%:%1403=1470%:%
-%:%1403=1471%:%
+%:%1009=1062%:%
+%:%1009=1063%:%
+%:%1010=1064%:%
+%:%1010=1065%:%
+%:%1010=1066%:%
+%:%1011=1067%:%
+%:%1012=1068%:%
+%:%1012=1069%:%
+%:%1013=1070%:%
+%:%1014=1071%:%
+%:%1015=1072%:%
+%:%1016=1073%:%
+%:%1017=1074%:%
+%:%1018=1075%:%
+%:%1019=1076%:%
+%:%1020=1077%:%
+%:%1021=1078%:%
+%:%1022=1079%:%
+%:%1023=1080%:%
+%:%1024=1081%:%
+%:%1025=1082%:%
+%:%1026=1083%:%
+%:%1027=1084%:%
+%:%1028=1085%:%
+%:%1029=1086%:%
+%:%1030=1087%:%
+%:%1031=1088%:%
+%:%1032=1089%:%
+%:%1033=1090%:%
+%:%1034=1091%:%
+%:%1035=1092%:%
+%:%1036=1093%:%
+%:%1037=1094%:%
+%:%1038=1095%:%
+%:%1039=1096%:%
+%:%1040=1097%:%
+%:%1041=1098%:%
+%:%1042=1099%:%
+%:%1043=1100%:%
+%:%1044=1101%:%
+%:%1045=1102%:%
+%:%1046=1103%:%
+%:%1046=1104%:%
+%:%1047=1105%:%
+%:%1048=1106%:%
+%:%1049=1107%:%
+%:%1049=1108%:%
+%:%1049=1109%:%
+%:%1049=1110%:%
+%:%1050=1111%:%
+%:%1051=1112%:%
+%:%1052=1113%:%
+%:%1053=1114%:%
+%:%1054=1115%:%
+%:%1055=1116%:%
+%:%1056=1117%:%
+%:%1057=1118%:%
+%:%1058=1119%:%
+%:%1059=1120%:%
+%:%1060=1121%:%
+%:%1061=1122%:%
+%:%1062=1123%:%
+%:%1063=1124%:%
+%:%1064=1125%:%
+%:%1065=1126%:%
+%:%1066=1127%:%
+%:%1067=1128%:%
+%:%1068=1129%:%
+%:%1069=1130%:%
+%:%1070=1131%:%
+%:%1071=1132%:%
+%:%1072=1133%:%
+%:%1073=1134%:%
+%:%1074=1135%:%
+%:%1075=1136%:%
+%:%1076=1137%:%
+%:%1077=1138%:%
+%:%1078=1139%:%
+%:%1079=1140%:%
+%:%1080=1141%:%
+%:%1081=1142%:%
+%:%1082=1143%:%
+%:%1083=1144%:%
+%:%1084=1145%:%
+%:%1085=1146%:%
+%:%1086=1147%:%
+%:%1095=1151%:%
+%:%1107=1155%:%
+%:%1108=1156%:%
+%:%1109=1157%:%
+%:%1110=1158%:%
+%:%1111=1159%:%
+%:%1112=1160%:%
+%:%1113=1161%:%
+%:%1114=1162%:%
+%:%1115=1163%:%
+%:%1116=1164%:%
+%:%1117=1165%:%
+%:%1118=1166%:%
+%:%1119=1167%:%
+%:%1120=1168%:%
+%:%1121=1169%:%
+%:%1122=1170%:%
+%:%1123=1171%:%
+%:%1124=1172%:%
+%:%1125=1173%:%
+%:%1126=1174%:%
+%:%1127=1175%:%
+%:%1128=1176%:%
+%:%1129=1177%:%
+%:%1130=1178%:%
+%:%1131=1179%:%
+%:%1132=1180%:%
+%:%1133=1181%:%
+%:%1134=1182%:%
+%:%1135=1183%:%
+%:%1136=1184%:%
+%:%1137=1185%:%
+%:%1138=1186%:%
+%:%1139=1187%:%
+%:%1140=1188%:%
+%:%1141=1189%:%
+%:%1142=1190%:%
+%:%1143=1191%:%
+%:%1144=1192%:%
+%:%1145=1193%:%
+%:%1146=1194%:%
+%:%1147=1195%:%
+%:%1148=1196%:%
+%:%1149=1197%:%
+%:%1150=1198%:%
+%:%1151=1199%:%
+%:%1152=1200%:%
+%:%1153=1201%:%
+%:%1154=1202%:%
+%:%1155=1203%:%
+%:%1156=1204%:%
+%:%1157=1205%:%
+%:%1158=1206%:%
+%:%1159=1207%:%
+%:%1160=1208%:%
+%:%1161=1209%:%
+%:%1162=1210%:%
+%:%1163=1211%:%
+%:%1164=1212%:%
+%:%1165=1213%:%
+%:%1166=1214%:%
+%:%1167=1215%:%
+%:%1168=1216%:%
+%:%1169=1217%:%
+%:%1170=1218%:%
+%:%1171=1219%:%
+%:%1172=1220%:%
+%:%1173=1221%:%
+%:%1174=1222%:%
+%:%1175=1223%:%
+%:%1176=1224%:%
+%:%1177=1225%:%
+%:%1178=1226%:%
+%:%1179=1227%:%
+%:%1180=1228%:%
+%:%1181=1229%:%
+%:%1182=1230%:%
+%:%1183=1231%:%
+%:%1184=1232%:%
+%:%1185=1233%:%
+%:%1186=1234%:%
+%:%1187=1235%:%
+%:%1188=1236%:%
+%:%1189=1237%:%
+%:%1190=1238%:%
+%:%1191=1239%:%
+%:%1192=1240%:%
+%:%1193=1241%:%
+%:%1194=1242%:%
+%:%1195=1243%:%
+%:%1196=1244%:%
+%:%1197=1245%:%
+%:%1198=1246%:%
+%:%1199=1247%:%
+%:%1200=1248%:%
+%:%1201=1249%:%
+%:%1202=1250%:%
+%:%1203=1251%:%
+%:%1204=1252%:%
+%:%1205=1253%:%
+%:%1206=1254%:%
+%:%1207=1255%:%
+%:%1208=1256%:%
+%:%1209=1257%:%
+%:%1210=1258%:%
+%:%1211=1259%:%
+%:%1212=1260%:%
+%:%1213=1261%:%
+%:%1214=1262%:%
+%:%1215=1263%:%
+%:%1216=1264%:%
+%:%1217=1265%:%
+%:%1218=1266%:%
+%:%1219=1267%:%
+%:%1220=1268%:%
+%:%1221=1269%:%
+%:%1222=1270%:%
+%:%1222=1271%:%
+%:%1223=1272%:%
+%:%1224=1273%:%
+%:%1225=1274%:%
+%:%1226=1275%:%
+%:%1227=1276%:%
+%:%1228=1277%:%
+%:%1229=1278%:%
+%:%1230=1279%:%
+%:%1231=1280%:%
+%:%1232=1281%:%
+%:%1233=1282%:%
+%:%1233=1283%:%
+%:%1234=1284%:%
+%:%1235=1285%:%
+%:%1236=1286%:%
+%:%1237=1287%:%
+%:%1238=1288%:%
+%:%1239=1289%:%
+%:%1240=1290%:%
+%:%1241=1291%:%
+%:%1242=1292%:%
+%:%1243=1293%:%
+%:%1244=1294%:%
+%:%1245=1295%:%
+%:%1246=1296%:%
+%:%1247=1297%:%
+%:%1248=1298%:%
+%:%1249=1299%:%
+%:%1250=1300%:%
+%:%1251=1301%:%
+%:%1252=1302%:%
+%:%1253=1303%:%
+%:%1254=1304%:%
+%:%1255=1305%:%
+%:%1256=1306%:%
+%:%1257=1307%:%
+%:%1258=1308%:%
+%:%1259=1309%:%
+%:%1260=1310%:%
+%:%1261=1311%:%
+%:%1262=1312%:%
+%:%1263=1313%:%
+%:%1264=1314%:%
+%:%1265=1315%:%
+%:%1266=1316%:%
+%:%1267=1317%:%
+%:%1268=1318%:%
+%:%1269=1319%:%
+%:%1270=1320%:%
+%:%1271=1321%:%
+%:%1272=1322%:%
+%:%1273=1323%:%
+%:%1274=1324%:%
+%:%1275=1325%:%
+%:%1276=1326%:%
+%:%1277=1327%:%
+%:%1278=1328%:%
+%:%1279=1329%:%
+%:%1280=1330%:%
+%:%1281=1331%:%
+%:%1282=1332%:%
+%:%1283=1333%:%
+%:%1284=1334%:%
+%:%1285=1335%:%
+%:%1286=1336%:%
+%:%1287=1337%:%
+%:%1287=1338%:%
+%:%1287=1339%:%
+%:%1288=1340%:%
+%:%1289=1341%:%
+%:%1289=1342%:%
+%:%1289=1343%:%
+%:%1289=1344%:%
+%:%1290=1345%:%
+%:%1291=1346%:%
+%:%1292=1347%:%
+%:%1293=1348%:%
+%:%1294=1349%:%
+%:%1294=1350%:%
+%:%1295=1351%:%
+%:%1296=1352%:%
+%:%1297=1353%:%
+%:%1298=1354%:%
+%:%1299=1355%:%
+%:%1300=1356%:%
+%:%1301=1357%:%
+%:%1302=1358%:%
+%:%1303=1359%:%
+%:%1304=1360%:%
+%:%1305=1361%:%
+%:%1306=1362%:%
+%:%1307=1363%:%
+%:%1308=1364%:%
+%:%1309=1365%:%
+%:%1310=1366%:%
+%:%1311=1367%:%
+%:%1312=1368%:%
+%:%1313=1369%:%
+%:%1314=1370%:%
+%:%1315=1371%:%
+%:%1316=1372%:%
+%:%1317=1373%:%
+%:%1318=1374%:%
+%:%1319=1375%:%
+%:%1320=1376%:%
+%:%1321=1377%:%
+%:%1322=1378%:%
+%:%1323=1379%:%
+%:%1324=1380%:%
+%:%1325=1381%:%
+%:%1326=1382%:%
+%:%1327=1383%:%
+%:%1328=1384%:%
+%:%1329=1385%:%
+%:%1330=1386%:%
+%:%1331=1387%:%
+%:%1332=1388%:%
+%:%1333=1389%:%
+%:%1334=1390%:%
+%:%1335=1391%:%
+%:%1336=1392%:%
+%:%1337=1393%:%
+%:%1338=1394%:%
+%:%1339=1395%:%
+%:%1340=1396%:%
+%:%1341=1397%:%
+%:%1342=1398%:%
+%:%1342=1399%:%
+%:%1343=1400%:%
+%:%1343=1401%:%
+%:%1344=1402%:%
+%:%1344=1403%:%
+%:%1345=1404%:%
+%:%1346=1405%:%
+%:%1347=1406%:%
+%:%1348=1407%:%
+%:%1349=1408%:%
+%:%1350=1409%:%
+%:%1351=1410%:%
+%:%1351=1411%:%
+%:%1352=1412%:%
+%:%1352=1413%:%
+%:%1353=1414%:%
+%:%1353=1415%:%
+%:%1354=1416%:%
+%:%1355=1417%:%
+%:%1356=1418%:%
+%:%1357=1419%:%
+%:%1358=1420%:%
+%:%1359=1421%:%
+%:%1360=1422%:%
+%:%1361=1423%:%
+%:%1362=1424%:%
+%:%1363=1425%:%
+%:%1364=1426%:%
+%:%1365=1427%:%
+%:%1366=1428%:%
+%:%1367=1429%:%
+%:%1368=1430%:%
+%:%1369=1431%:%
+%:%1370=1432%:%
+%:%1371=1433%:%
+%:%1372=1434%:%
+%:%1373=1435%:%
+%:%1374=1436%:%
+%:%1375=1437%:%
+%:%1376=1438%:%
+%:%1377=1439%:%
+%:%1378=1440%:%
+%:%1379=1441%:%
+%:%1380=1442%:%
+%:%1381=1443%:%
+%:%1382=1444%:%
+%:%1383=1445%:%
+%:%1384=1446%:%
+%:%1384=1447%:%
+%:%1385=1448%:%
+%:%1386=1449%:%
+%:%1387=1450%:%
+%:%1388=1451%:%
+%:%1389=1452%:%
+%:%1390=1453%:%
+%:%1391=1454%:%
+%:%1391=1455%:%
+%:%1392=1456%:%
+%:%1393=1457%:%
+%:%1394=1458%:%
+%:%1394=1459%:%
+%:%1395=1460%:%
+%:%1396=1461%:%
+%:%1397=1462%:%
+%:%1397=1463%:%
+%:%1398=1464%:%
+%:%1398=1465%:%
+%:%1399=1466%:%
+%:%1399=1467%:%
+%:%1400=1468%:%
+%:%1401=1469%:%
+%:%1402=1470%:%
+%:%1402=1471%:%
%:%1403=1472%:%
-%:%1404=1473%:%
+%:%1403=1473%:%
%:%1404=1474%:%
-%:%1405=1475%:%
-%:%1406=1476%:%
-%:%1406=1478%:%
-%:%1406=1479%:%
+%:%1404=1475%:%
+%:%1404=1476%:%
+%:%1404=1477%:%
+%:%1405=1478%:%
+%:%1405=1479%:%
%:%1406=1480%:%
-%:%1406=1481%:%
-%:%1406=1482%:%
+%:%1407=1481%:%
%:%1407=1483%:%
%:%1407=1484%:%
-%:%1408=1485%:%
-%:%1408=1486%:%
-%:%1409=1487%:%
-%:%1409=1488%:%
-%:%1410=1489%:%
-%:%1411=1490%:%
-%:%1412=1491%:%
-%:%1413=1492%:%
-%:%1413=1493%:%
-%:%1414=1494%:%
-%:%1414=1495%:%
-%:%1415=1496%:%
-%:%1416=1497%:%
-%:%1416=1498%:%
-%:%1417=1499%:%
-%:%1418=1500%:%
-%:%1419=1501%:%
-%:%1420=1502%:%
-%:%1421=1503%:%
-%:%1422=1504%:%
-%:%1423=1505%:%
-%:%1424=1506%:%
-%:%1425=1507%:%
-%:%1426=1508%:%
-%:%1427=1509%:%
-%:%1428=1510%:%
-%:%1429=1511%:%
-%:%1430=1512%:%
-%:%1431=1513%:%
-%:%1432=1514%:%
-%:%1433=1515%:%
-%:%1434=1516%:%
-%:%1435=1517%:%
-%:%1436=1518%:%
-%:%1437=1519%:%
-%:%1438=1520%:%
-%:%1439=1521%:%
-%:%1440=1522%:%
-%:%1441=1523%:%
-%:%1442=1524%:%
-%:%1443=1525%:%
-%:%1444=1526%:%
-%:%1445=1527%:%
-%:%1446=1528%:%
-%:%1447=1529%:%
-%:%1448=1530%:%
-%:%1449=1531%:%
-%:%1450=1532%:%
-%:%1451=1533%:%
-%:%1452=1534%:%
-%:%1453=1535%:%
-%:%1454=1536%:%
-%:%1455=1537%:%
-%:%1456=1538%:%
-%:%1457=1539%:%
-%:%1458=1540%:%
-%:%1459=1541%:%
-%:%1460=1542%:%
-%:%1461=1543%:%
-%:%1462=1544%:%
-%:%1463=1545%:%
-%:%1464=1546%:%
-%:%1465=1547%:%
-%:%1466=1548%:%
-%:%1467=1549%:%
-%:%1476=1553%:%
-%:%1488=1560%:%
-%:%1489=1561%:%
-%:%1490=1562%:%
-%:%1491=1563%:%
-%:%1492=1564%:%
-%:%1493=1565%:%
-%:%1494=1566%:%
-%:%1503=1571%:%
-%:%1515=1575%:%
-%:%1516=1576%:%
-%:%1517=1577%:%
-%:%1518=1578%:%
-%:%1519=1579%:%
-%:%1520=1580%:%
-%:%1521=1581%:%
-%:%1522=1582%:%
-%:%1523=1583%:%
-%:%1524=1584%:%
-%:%1525=1585%:%
-%:%1526=1586%:%
-%:%1527=1587%:%
-%:%1528=1588%:%
-%:%1529=1589%:%
-%:%1530=1590%:%
-%:%1531=1591%:%
-%:%1532=1592%:%
-%:%1533=1593%:%
-%:%1534=1594%:%
-%:%1535=1595%:%
-%:%1536=1596%:%
-%:%1537=1597%:%
-%:%1538=1598%:%
-%:%1539=1599%:%
-%:%1540=1600%:%
-%:%1541=1601%:%
-%:%1542=1602%:%
-%:%1543=1603%:%
-%:%1544=1604%:%
-%:%1545=1605%:%
-%:%1546=1606%:%
-%:%1547=1607%:%
-%:%1548=1608%:%
-%:%1549=1609%:%
-%:%1550=1610%:%
-%:%1551=1611%:%
-%:%1552=1612%:%
-%:%1553=1613%:%
-%:%1554=1614%:%
-%:%1555=1615%:%
-%:%1556=1616%:%
-%:%1557=1617%:%
-%:%1558=1618%:%
-%:%1559=1619%:%
-%:%1560=1620%:%
-%:%1561=1621%:%
-%:%1562=1622%:%
-%:%1563=1623%:%
-%:%1564=1624%:%
-%:%1565=1625%:%
-%:%1566=1626%:%
-%:%1567=1627%:%
-%:%1568=1628%:%
-%:%1569=1629%:%
-%:%1570=1630%:%
-%:%1571=1631%:%
-%:%1572=1632%:%
-%:%1573=1633%:%
-%:%1574=1634%:%
-%:%1575=1635%:%
-%:%1576=1636%:%
-%:%1577=1637%:%
-%:%1578=1638%:%
-%:%1579=1639%:%
-%:%1580=1640%:%
-%:%1581=1641%:%
-%:%1582=1642%:%
-%:%1583=1643%:%
-%:%1584=1644%:%
-%:%1585=1645%:%
-%:%1586=1646%:%
-%:%1587=1647%:%
-%:%1588=1648%:%
-%:%1589=1649%:%
-%:%1590=1650%:%
-%:%1591=1651%:%
-%:%1592=1652%:%
-%:%1593=1653%:%
-%:%1594=1654%:%
-%:%1595=1655%:%
-%:%1596=1656%:%
-%:%1597=1657%:%
-%:%1598=1658%:%
-%:%1599=1659%:%
-%:%1600=1660%:%
-%:%1601=1661%:%
-%:%1602=1662%:%
-%:%1603=1663%:%
-%:%1604=1664%:%
-%:%1604=1780%:%
-%:%1605=1781%:%
-%:%1606=1782%:%
-%:%1607=1783%:%
-%:%1608=1784%:%
-%:%1608=1945%:%
-%:%1609=1946%:%
-%:%1610=1947%:%
-%:%1611=1948%:%
-%:%1612=1949%:%
-%:%1613=1950%:%
-%:%1614=1951%:%
-%:%1615=1952%:%
-%:%1616=1953%:%
-%:%1617=1954%:%
-%:%1618=1955%:%
-%:%1619=1956%:%
-%:%1620=1957%:%
-%:%1621=1958%:%
-%:%1622=1959%:%
-%:%1623=1960%:%
-%:%1624=1961%:%
-%:%1625=1962%:%
-%:%1626=1963%:%
-%:%1627=1964%:%
-%:%1627=1965%:%
-%:%1628=1966%:%
-%:%1628=1967%:%
-%:%1628=1968%:%
-%:%1629=1969%:%
-%:%1629=1970%:%
-%:%1630=1971%:%
-%:%1631=1972%:%
-%:%1632=1973%:%
-%:%1633=1974%:%
-%:%1634=1975%:%
-%:%1635=1976%:%
-%:%1636=1977%:%
-%:%1637=1978%:%
-%:%1638=1979%:%
-%:%1639=1980%:%
-%:%1640=1981%:%
-%:%1641=1982%:%
-%:%1642=1983%:%
-%:%1643=1984%:%
-%:%1644=1985%:%
-%:%1645=1986%:%
-%:%1646=1987%:%
-%:%1646=1988%:%
-%:%1647=1989%:%
-%:%1648=1990%:%
-%:%1649=1991%:%
-%:%1649=1992%:%
-%:%1649=1993%:%
-%:%1650=1994%:%
-%:%1651=1995%:%
-%:%1652=1996%:%
-%:%1652=1997%:%
-%:%1653=1998%:%
-%:%1653=1999%:%
-%:%1654=2000%:%
-%:%1655=2001%:%
-%:%1656=2002%:%
-%:%1657=2003%:%
-%:%1658=2004%:%
-%:%1659=2005%:%
-%:%1660=2006%:%
-%:%1661=2007%:%
-%:%1662=2008%:%
-%:%1663=2009%:%
-%:%1664=2010%:%
-%:%1665=2011%:%
-%:%1666=2012%:%
-%:%1667=2013%:%
-%:%1668=2014%:%
-%:%1669=2015%:%
-%:%1670=2016%:%
-%:%1679=2021%:%
-%:%1691=2025%:%
-%:%1692=2026%:%
-%:%1693=2027%:%
-%:%1694=2028%:%
-%:%1695=2029%:%
-%:%1696=2030%:%
-%:%1697=2031%:%
-%:%1698=2032%:%
-%:%1699=2033%:%
-%:%1700=2034%:%
-%:%1701=2035%:%
-%:%1702=2036%:%
-%:%1703=2037%:%
-%:%1704=2038%:%
-%:%1705=2039%:%
-%:%1706=2040%:%
-%:%1707=2041%:%
-%:%1708=2042%:%
-%:%1709=2043%:%
-%:%1710=2044%:%
-%:%1711=2045%:%
-%:%1712=2046%:%
-%:%1713=2047%:%
-%:%1714=2048%:%
-%:%1715=2049%:%
-%:%1716=2050%:%
-%:%1717=2051%:%
-%:%1718=2052%:%
-%:%1719=2053%:%
-%:%1720=2054%:%
-%:%1721=2055%:%
-%:%1722=2056%:%
-%:%1723=2057%:%
-%:%1724=2058%:%
-%:%1725=2059%:%
-%:%1726=2060%:%
-%:%1727=2061%:%
-%:%1728=2062%:%
-%:%1729=2063%:%
-%:%1730=2064%:%
-%:%1731=2065%:%
-%:%1732=2066%:%
-%:%1733=2067%:%
-%:%1734=2068%:%
-%:%1735=2069%:%
-%:%1736=2070%:%
-%:%1737=2071%:%
-%:%1738=2072%:%
-%:%1739=2073%:%
-%:%1740=2074%:%
-%:%1741=2075%:%
-%:%1742=2076%:%
-%:%1743=2077%:%
-%:%1756=2083%:%
-%:%1759=2084%:%
-%:%1760=2085%:%
+%:%1407=1485%:%
+%:%1407=1486%:%
+%:%1407=1487%:%
+%:%1408=1488%:%
+%:%1408=1489%:%
+%:%1409=1490%:%
+%:%1409=1491%:%
+%:%1410=1492%:%
+%:%1410=1493%:%
+%:%1411=1494%:%
+%:%1412=1495%:%
+%:%1413=1496%:%
+%:%1414=1497%:%
+%:%1414=1498%:%
+%:%1415=1499%:%
+%:%1415=1500%:%
+%:%1416=1501%:%
+%:%1417=1502%:%
+%:%1417=1503%:%
+%:%1418=1504%:%
+%:%1419=1505%:%
+%:%1420=1506%:%
+%:%1421=1507%:%
+%:%1422=1508%:%
+%:%1423=1509%:%
+%:%1424=1510%:%
+%:%1425=1511%:%
+%:%1426=1512%:%
+%:%1427=1513%:%
+%:%1428=1514%:%
+%:%1429=1515%:%
+%:%1430=1516%:%
+%:%1431=1517%:%
+%:%1432=1518%:%
+%:%1433=1519%:%
+%:%1434=1520%:%
+%:%1435=1521%:%
+%:%1436=1522%:%
+%:%1437=1523%:%
+%:%1438=1524%:%
+%:%1439=1525%:%
+%:%1440=1526%:%
+%:%1441=1527%:%
+%:%1442=1528%:%
+%:%1443=1529%:%
+%:%1444=1530%:%
+%:%1445=1531%:%
+%:%1446=1532%:%
+%:%1447=1533%:%
+%:%1448=1534%:%
+%:%1449=1535%:%
+%:%1450=1536%:%
+%:%1451=1537%:%
+%:%1452=1538%:%
+%:%1453=1539%:%
+%:%1454=1540%:%
+%:%1455=1541%:%
+%:%1456=1542%:%
+%:%1457=1543%:%
+%:%1458=1544%:%
+%:%1459=1545%:%
+%:%1460=1546%:%
+%:%1461=1547%:%
+%:%1462=1548%:%
+%:%1463=1549%:%
+%:%1464=1550%:%
+%:%1465=1551%:%
+%:%1466=1552%:%
+%:%1467=1553%:%
+%:%1468=1554%:%
+%:%1477=1558%:%
+%:%1489=1565%:%
+%:%1490=1566%:%
+%:%1491=1567%:%
+%:%1492=1568%:%
+%:%1493=1569%:%
+%:%1494=1570%:%
+%:%1495=1571%:%
+%:%1504=1576%:%
+%:%1516=1580%:%
+%:%1517=1581%:%
+%:%1518=1582%:%
+%:%1519=1583%:%
+%:%1520=1584%:%
+%:%1521=1585%:%
+%:%1522=1586%:%
+%:%1523=1587%:%
+%:%1524=1588%:%
+%:%1525=1589%:%
+%:%1526=1590%:%
+%:%1527=1591%:%
+%:%1528=1592%:%
+%:%1529=1593%:%
+%:%1530=1594%:%
+%:%1531=1595%:%
+%:%1532=1596%:%
+%:%1533=1597%:%
+%:%1534=1598%:%
+%:%1535=1599%:%
+%:%1536=1600%:%
+%:%1537=1601%:%
+%:%1538=1602%:%
+%:%1539=1603%:%
+%:%1540=1604%:%
+%:%1541=1605%:%
+%:%1542=1606%:%
+%:%1543=1607%:%
+%:%1544=1608%:%
+%:%1545=1609%:%
+%:%1546=1610%:%
+%:%1547=1611%:%
+%:%1548=1612%:%
+%:%1549=1613%:%
+%:%1550=1614%:%
+%:%1551=1615%:%
+%:%1552=1616%:%
+%:%1553=1617%:%
+%:%1554=1618%:%
+%:%1555=1619%:%
+%:%1556=1620%:%
+%:%1557=1621%:%
+%:%1558=1622%:%
+%:%1559=1623%:%
+%:%1560=1624%:%
+%:%1561=1625%:%
+%:%1562=1626%:%
+%:%1563=1627%:%
+%:%1564=1628%:%
+%:%1565=1629%:%
+%:%1566=1630%:%
+%:%1567=1631%:%
+%:%1568=1632%:%
+%:%1569=1633%:%
+%:%1570=1634%:%
+%:%1571=1635%:%
+%:%1572=1636%:%
+%:%1573=1637%:%
+%:%1574=1638%:%
+%:%1575=1639%:%
+%:%1576=1640%:%
+%:%1577=1641%:%
+%:%1578=1642%:%
+%:%1579=1643%:%
+%:%1580=1644%:%
+%:%1581=1645%:%
+%:%1582=1646%:%
+%:%1583=1647%:%
+%:%1584=1648%:%
+%:%1585=1649%:%
+%:%1586=1650%:%
+%:%1587=1651%:%
+%:%1588=1652%:%
+%:%1589=1653%:%
+%:%1590=1654%:%
+%:%1591=1655%:%
+%:%1592=1656%:%
+%:%1593=1657%:%
+%:%1594=1658%:%
+%:%1595=1659%:%
+%:%1596=1660%:%
+%:%1597=1661%:%
+%:%1598=1662%:%
+%:%1599=1663%:%
+%:%1600=1664%:%
+%:%1601=1665%:%
+%:%1602=1666%:%
+%:%1603=1667%:%
+%:%1604=1668%:%
+%:%1605=1669%:%
+%:%1605=1785%:%
+%:%1606=1786%:%
+%:%1607=1787%:%
+%:%1608=1788%:%
+%:%1609=1789%:%
+%:%1609=1950%:%
+%:%1610=1951%:%
+%:%1611=1952%:%
+%:%1612=1953%:%
+%:%1613=1954%:%
+%:%1614=1955%:%
+%:%1615=1956%:%
+%:%1616=1957%:%
+%:%1617=1958%:%
+%:%1618=1959%:%
+%:%1619=1960%:%
+%:%1620=1961%:%
+%:%1621=1962%:%
+%:%1622=1963%:%
+%:%1623=1964%:%
+%:%1624=1965%:%
+%:%1625=1966%:%
+%:%1626=1967%:%
+%:%1627=1968%:%
+%:%1628=1969%:%
+%:%1628=1970%:%
+%:%1629=1971%:%
+%:%1629=1972%:%
+%:%1629=1973%:%
+%:%1630=1974%:%
+%:%1630=1975%:%
+%:%1631=1976%:%
+%:%1632=1977%:%
+%:%1633=1978%:%
+%:%1634=1979%:%
+%:%1635=1980%:%
+%:%1636=1981%:%
+%:%1637=1982%:%
+%:%1638=1983%:%
+%:%1639=1984%:%
+%:%1640=1985%:%
+%:%1641=1986%:%
+%:%1642=1987%:%
+%:%1643=1988%:%
+%:%1644=1989%:%
+%:%1645=1990%:%
+%:%1646=1991%:%
+%:%1647=1992%:%
+%:%1647=1993%:%
+%:%1648=1994%:%
+%:%1649=1995%:%
+%:%1650=1996%:%
+%:%1650=1997%:%
+%:%1650=1998%:%
+%:%1651=1999%:%
+%:%1652=2000%:%
+%:%1653=2001%:%
+%:%1653=2002%:%
+%:%1654=2003%:%
+%:%1654=2004%:%
+%:%1655=2005%:%
+%:%1656=2006%:%
+%:%1657=2007%:%
+%:%1658=2008%:%
+%:%1659=2009%:%
+%:%1660=2010%:%
+%:%1661=2011%:%
+%:%1662=2012%:%
+%:%1663=2013%:%
+%:%1664=2014%:%
+%:%1665=2015%:%
+%:%1666=2016%:%
+%:%1667=2017%:%
+%:%1668=2018%:%
+%:%1669=2019%:%
+%:%1670=2020%:%
+%:%1671=2021%:%
+%:%1680=2026%:%
+%:%1692=2030%:%
+%:%1693=2031%:%
+%:%1694=2032%:%
+%:%1695=2033%:%
+%:%1696=2034%:%
+%:%1697=2035%:%
+%:%1698=2036%:%
+%:%1699=2037%:%
+%:%1700=2038%:%
+%:%1701=2039%:%
+%:%1702=2040%:%
+%:%1703=2041%:%
+%:%1704=2042%:%
+%:%1705=2043%:%
+%:%1706=2044%:%
+%:%1707=2045%:%
+%:%1708=2046%:%
+%:%1709=2047%:%
+%:%1710=2048%:%
+%:%1711=2049%:%
+%:%1712=2050%:%
+%:%1713=2051%:%
+%:%1714=2052%:%
+%:%1715=2053%:%
+%:%1716=2054%:%
+%:%1717=2055%:%
+%:%1718=2056%:%
+%:%1719=2057%:%
+%:%1720=2058%:%
+%:%1721=2059%:%
+%:%1722=2060%:%
+%:%1723=2061%:%
+%:%1724=2062%:%
+%:%1725=2063%:%
+%:%1726=2064%:%
+%:%1727=2065%:%
+%:%1728=2066%:%
+%:%1729=2067%:%
+%:%1730=2068%:%
+%:%1731=2069%:%
+%:%1732=2070%:%
+%:%1733=2071%:%
+%:%1734=2072%:%
+%:%1735=2073%:%
+%:%1736=2074%:%
+%:%1737=2075%:%
+%:%1738=2076%:%
+%:%1739=2077%:%
+%:%1740=2078%:%
+%:%1741=2079%:%
+%:%1742=2080%:%
+%:%1743=2081%:%
+%:%1744=2082%:%
+%:%1757=2088%:%
+%:%1760=2089%:%
+%:%1761=2090%:%