Filled in the README files. Added synthetic trees to repo. Added raw data to repo.

README.md

-# Data collection for paper on Diffs for Large Trees
+# Data for paper "Minimal Edit-Based Diffs for Large Trees"
 
-Instructions for each source are to be found in the source directory.
+Instructions and details of each source are in the README files in the
+respective source directories.
 
 ## List of data sources
 
-The following data are currently in the collection:
+The following data sources are currently in the collection:
 - `linux` - directory trees of linux kernel repository
 - `wikidta` - entities from Wikidata
+- `synthetic` - synthetic binary trees of different shape
 
 ## Data statistics
 
 Each source provides a few trees. We list their statistics after converting to
 bracket notations.
 
-|Source|File|Tree size|Depth|Leaves|
-|------|----|--------:|----:|-----:|
-|Linux |v5.6-rc1||||
-|Linux |v5.6-rc2||||
-|Linux |v5.6-rc3|214624|||
-|Linux |v5.6-rc4|214621|||
+|Source|Tree|Version|#nodes|depth|#leaves|
+|------|----|-------|-----:|----:|------:|
+|linux|linux|v5.6-rc1|214591|13|71542|
+|linux|linux|v5.6-rc2|214612|13|71549|
+|linux|linux|v5.6-rc3|214624|13|71553|
+|linux|linux|v5.6-rc4|214621|13|71552|
+|wikidata|Q30|1156772506|122155|26|40406|
+|wikidata|Q30|1156772394|122103|26|40391|
+|wikidata|Q40|1153700198|82493|26|27009|
+|wikidata|Q40|1151291349|82465|26|27002|
+|wikidata|Q458|1145385373|68191|26|22649|
+|wikidata|Q458|1151107735|68137|26|22633|
+|wikidata|Q937|1152908796|30641|26|10178|
+|wikidata|Q937|1152908745|30613|26|10171|
+|synthetic|LB2000|---|2000|1000|1000|
+|synthetic|RB2000|---|2000|1000|1000|
+|synthetic|ZZ2000|---|2002|1001|1001|
+|synthetic|FB11|---|2048|11|1024|
+
+We list some pairs of trees with their TED values and size differences.
+
+|Pair|Tree|T|T'|TED|Size difference|
+|----|----|-|--|--:|--------------:|
+L1 | linux | v5.6-rc4 | v5.6-rc1 | 113 | 30 |
+L2 | linux | v5.6-rc4 | v5.6-rc2 | 55 | 9 |
+L3 | linux | v5.6-rc4 | v5.6-rc3 | 28 | 3 |
+Q30 | Q30 | 1156772506 | 1156772394 | 54 | 52 |
+Q40 | Q40 | 1153700198 | 1151291349 | 30 | 28 |
+Q458 | Q458 | 1151107735 | 1145385373 | 56 | 54 |
+Q937 | Q937 | 1152908796 | 1152908745 | 30 | 28 |
 
 
-We list some pairs of trees with their size difference and TED value.
-
-|Source|File|File|TED|Size diff|
-|------|----|----|--:|--------:|
-|Linux |v5.6-rc4|v5.6-rc1|||
-|Linux |v5.6-rc4|v5.6-rc2|||
-|Linux |v5.6-rc4|v5.6-rc3|28|3|
-

linux/README.md

 # Directory trees of linux kernel repository
 
-Execute `download.sh` script to download the raw data. Here, raw data is
-an XML output of the GNU `tree` command, that is, output of `tree -X .`
-executed in the root of the linux kernel git repository.
+## Source
+
+`https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git`
+
+## Description
+
+Trees represent different versions of directory structure of a large source code
+project.
+
+## Instructions
+
+Execute `download.sh` from its directory to reproduce fetching raw data. Raw
+data is part of this repository.
+
+Here, raw data is an XML output of the `tree` command, that is, output of `tree
+-X .` executed in the root of the git repository.
 
 Execute the following to turn raw data into bracket notation.
 ```

synthetic/README.md

+# Synthetic binary trees of different shape
+
+## Source
+
+Trees were used by Mateusz in RTED and APTED papers. Here are the papers:
+- Mateusz Pawlik and Nikolaus Augsten. **Tree edit distance: Robust and memory-efficient.** Information Systems. 2016. `http://dx.doi.org/10.1016/j.is.2015.08.004`
+- Mateusz Pawlik and Nikolaus Augsten. **Efficient Computation of the Tree Edit Distance.** ACM Transactions on Database Systems (TODS). 2015. `http://dl.acm.org/authorize?N05605`
+
+## Description
+
+The trees are binary trees of different shapes.
+
+```
+        ●       ●             ●              ●
+       / \     / \           / \           /   \
+      ●   ●   ●   ●         ●   ●        ●       ●
+     / \         / \           / \      / \     / \
+    ●   ●       ●   ●         ●   ●    ●   ●   ●   ●
+   / \             / \       / \      / \ / \ / \ / \
+  ●   ●           ●   ●     ●   ●     ● ● ● ● ● ● ● ●
+ / \                 / \       / \
+●   ●               ●   ●     ●   ●
+      LB          RB           ZZ            FB
+(left-branch)(right-branch)(zig-zag)  (perfect binary)
+```
+
+## Instructions
+
+The trees are already encoded in the bracket notation.
\ No newline at end of file

synthetic/bracket/fb_11.bracket

+1:{752{592{460{973{979{235{964{951{830{920{252}{147}}{658{776}{733}}}{433{227{87}{711}}{296{781}{862}}}}{61{886{173{785}{727}}{76{532}{842}}}{637{907{117}{600}}{900{636}{644}}}}}{84{983{809{698{339}{11}}{938{903}{723}}}{581{426{908}{293}}{771{427}{770}}}}{289{250{202{102}{26}}{603{255}{812}}}{545{699{229}{430}}{611{497}{141}}}}}}{75{443{596{951{88{240}{913}}{799{370}{541}}}{682{125{128}{663}}{134{533}{372}}}}{267{684{881{584}{159}}{621{486}{886}}}{418{868{980}{417}}{407{238}{954}}}}}{657{13{410{628{331}{225}}{820{568}{748}}}{824{543{424}{662}}{505{923}{538}}}}{397{977{227{313}{774}}{861{361}{392}}}{154{277{33}{496}}{468{623}{646}}}}}}}{91{541{789{738{541{844{900}{821}}{175{663}{272}}}{789{626{938}{205}}{558{268}{523}}}}{807{26{209{822}{343}}{427{437}{86}}}{356{855{767}{991}}{237{807}{670}}}}}{615{66{252{635{314}{830}}{170{264}{99}}}{787{27{640}{404}}{497{672}{145}}}}{701{737{1{507}{806}}{298{308}{934}}}{960{732{508}{458}}{142{142}{559}}}}}}{759{5{994{880{136{125}{308}}{39{212}{195}}}{999{953{78}{429}}{336{968}{305}}}}{110{668{875{542}{823}}{61{667}{226}}}{562{79{759}{79}}{19{832}{80}}}}}{351{289{840{955{841}{918}}{532{42}{641}}}{34{140{990}{197}}{603{611}{24}}}}{421{760{686{442}{309}}{845{459}{162}}}{642{64{997}{443}}{523{305}{996}}}}}}}}{238{747{869{495{617{659{141{861}{184}}{987{384}{740}}}{981{573{62}{894}}{509{389}{788}}}}{767{98{881{31}{707}}{602{297}{94}}}{560{366{356}{112}}{199{127}{185}}}}}{322{232{459{404{987}{106}}{508{423}{900}}}{65{786{810}{149}}{130{215}{619}}}}{657{229{610{820}{599}}{3{774}{843}}}{131{34{516}{151}}{462{659}{221}}}}}}{114{985{719{428{829{68}{76}}{588{185}{800}}}{705{213{784}{424}}{536{378}{477}}}}{977{653{144{844}{113}}{554{733}{16}}}{926{700{770}{415}}{964{419}{13}}}}}{65{523{273{978{920}{75}}{73{476}{263}}}{147{134{266}{884}}{256{928}{539}}}}{274{269{476{537}{179}}{333{492}{693}}}{759{382{670}{299}}{429{926}{528}}}}}}}{547{637{849{372{462{436{832}{543}}{790{459}{449}}}{101{585{243}{197}}{854{166}{172}}}}{881{527{824{940}{796}}{450{289}{746}}}{667{902{148}{129}}{62{280}{739}}}}}{72{217{411{787{698}{976}}{955{474}{769}}}{919{371{564}{136}}{102{157}{614}}}}{369{140{523{9}{359}}{696{914}{376}}}{870{417{878}{601}}{691{800}{333}}}}}}{955{261{392{715{312{628}{2}}{972{884}{492}}}{448{175{315}{927}}{466{623}{781}}}}{883{555{207{93}{387}}{191{856}{708}}}{736{686{805}{130}}{885{542}{358}}}}}{419{660{272{792{998}{853}}{770{43}{318}}}{547{367{590}{557}}{932{874}{686}}}}{806{472{810{732}{722}}{915{346}{812}}}{989{340{771}{950}}{467{59}{88}}}}}}}}}{804{656{211{755{847{806{190{986{322}{640}}{196{671}{131}}}{659{18{331}{597}}{587{294}{705}}}}{95{831{736{166}{845}}{59{881}{750}}}{275{643{21}{823}}{765{855}{315}}}}}{234{539{346{539{739}{747}}{496{884}{965}}}{685{234{907}{4}}{490{813}{45}}}}{400{17{182{123}{198}}{593{483}{468}}}{703{324{52}{231}}{86{553}{879}}}}}}{163{72{988{778{823{991}{125}}{744{669}{752}}}{36{156{225}{15}}{7{716}{884}}}}{468{82{624{460}{739}}{821{9}{496}}}{969{449{571}{690}}{875{849}{24}}}}}{520{13{36{963{328}{715}}{176{155}{919}}}{947{268{304}{686}}{425{843}{257}}}}{641{8{119{249}{569}}{251{995}{752}}}{629{516{772}{60}}{480{364}{13}}}}}}}{108{14{254{756{857{430{624}{981}}{322{45}{101}}}{185{285{27}{992}}{299{156}{464}}}}{582{833{543{932}{855}}{562{311}{194}}}{832{959{656}{182}}{362{936}{796}}}}}{539{462{208{166{390}{531}}{887{946}{901}}}{521{956{152}{631}}{321{284}{131}}}}{984{368{893{157}{454}}{832{347}{790}}}{284{545{775}{140}}{223{571}{663}}}}}}{474{268{763{451{244{391}{68}}{783{263}{725}}}{743{622{371}{983}}{38{471}{494}}}}{811{93{63{932}{894}}{757{353}{255}}}{966{767{277}{501}}{816{218}{30}}}}}{58{657{361{801{238}{247}}{729{829}{373}}}{327{984{647}{852}}{924{30}{927}}}}{213{141{756{586}{294}}{911{175}{837}}}{330{513{731}{971}}{981{260}{660}}}}}}}}{401{31{217{404{338{494{851{721}{614}}{801{194}{497}}}{957{303{152}{82}}{299{756}{817}}}}{385{819{182{507}{64}}{108{451}{788}}}{360{957{351}{794}}{549{258}{565}}}}}{968{101{667{203{149}{82}}{587{467}{25}}}{214{802{160}{457}}{570{513}{406}}}}{206{707{117{12}{217}}{399{47}{540}}}{720{507{983}{681}}{60{267}{29}}}}}}{747{266{94{925{301{996}{16}}{747{27}{224}}}{738{460{330}{779}}{525{493}{435}}}}{709{934{965{514}{417}}{934{42}{216}}}{270{600{532}{258}}{119{702}{834}}}}}{139{130{76{40{615}{169}}{177{539}{437}}}{744{700{927}{901}}{81{512}{414}}}}{893{968{212{363}{357}}{266{600}{28}}}{296{11{359}{928}}{751{821}{530}}}}}}}{849{747{615{655{244{271{338}{411}}{144{207}{490}}}{362{304{838}{283}}{815{26}{878}}}}{837{763{460{766}{989}}{985{751}{982}}}{438{393{789}{409}}{429{253}{347}}}}}{849{96{476{823{334}{216}}{917{154}{691}}}{679{876{855}{687}}{840{586}{331}}}}{516{822{496{435}{353}}{479{872}{679}}}{847{250{603}{137}}{504{42}{325}}}}}}{478{663{531{586{135{713}{114}}{677{993}{422}}}{285{66{78}{235}}{732{137}{27}}}}{33{675{503{638}{762}}{325{164}{977}}}{913{852{731}{984}}{502{51}{341}}}}}{320{102{690{57{864}{359}}{398{308}{945}}}{563{392{855}{951}}{96{26}{707}}}}{394{194{425{801}{693}}{348{964}{81}}}{114{548{674}{824}}{577{172}{413}}}}}}}}}}{515{596{713{633{850{528{412{964{966{881}{363}}{687{238}{615}}}{754{33{325}{856}}{753{494}{788}}}}{632{113{269{23}{725}}{318{463}{485}}}{551{245{437}{510}}{930{933}{968}}}}}{491{240{357{182{950}{999}}{441{770}{216}}}{599{242{437}{69}}{75{169}{681}}}}{581{376{910{543}{402}}{164{393}{670}}}{275{390{887}{112}}{383{173}{379}}}}}}{151{651{718{417{423{614}{541}}{910{841}{13}}}{715{634{650}{851}}{71{84}{907}}}}{539{961{973{917}{903}}{932{960}{297}}}{390{266{358}{839}}{892{135}{701}}}}}{727{346{540{953{258}{577}}{478{704}{530}}}{353{584{507}{958}}{473{115}{780}}}}{164{217{182{591}{944}}{239{745}{128}}}{682{772{573}{632}}{45{241}{838}}}}}}}{929{318{221{654{816{990{836}{962}}{724{399}{771}}}{453{84{307}{432}}{871{107}{341}}}}{8{194{839{978}{196}}{418{305}{87}}}{232{84{574}{963}}{767{140}{888}}}}}{532{459{140{997{447}{954}}{966{674}{86}}}{662{419{425}{975}}{273{588}{293}}}}{506{926{251{348}{518}}{381{79}{619}}}{438{769{812}{863}}{929{683}{569}}}}}}{366{429{594{215{523{17}{892}}{36{362}{125}}}{68{584{394}{970}}{524{304}{26}}}}{342{973{848{329}{419}}{848{188}{129}}}{33{666{203}{999}}{249{271}{135}}}}}{543{641{127{492{608}{569}}{246{945}{146}}}{285{208{958}{478}}{239{867}{836}}}}{759{143{418{96}{741}}{219{849}{614}}}{988{535{588}{996}}{755{582}{130}}}}}}}}{559{753{344{393{492{54{867{608}{752}}{504{303}{990}}}{791{196{734}{995}}{838{292}{907}}}}{408{363{357{111}{158}}{486{283}{735}}}{167{851{846}{208}}{692{944}{469}}}}}{222{683{400{898{603}{391}}{941{233}{617}}}{126{897{921}{778}}{547{503}{343}}}}{596{735{154{454}{115}}{523{575}{205}}}{857{951{436}{469}}{239{402}{440}}}}}}{764{661{609{74{313{196}{573}}{208{454}{136}}}{762{612{730}{491}}{253{772}{69}}}}{557{487{244{920}{345}}{50{427}{800}}}{962{807{482}{697}}{334{501}{87}}}}}{617{756{723{304{757}{919}}{134{202}{112}}}{371{29{228}{69}}{936{674}{601}}}}{170{113{628{65}{628}}{779{991}{96}}}{471{416{882}{996}}{963{299}{429}}}}}}}{145{780{13{383{321{370{233}{568}}{977{29}{177}}}{444{7{627}{518}}{292{950}{873}}}}{81{577{339{877}{926}}{822{211}{158}}}{310{81{57}{142}}{693{25}{760}}}}}{954{462{877{557{630}{551}}{448{742}{455}}}{408{18{517}{294}}{35{996}{693}}}}{547{414{329{959}{183}}{36{544}{850}}}{644{310{488}{983}}{875{736}{601}}}}}}{399{7{358{785{652{244}{14}}{879{65}{945}}}{914{488{699}{510}}{410{688}{116}}}}{423{442{956{126}{796}}{199{731}{395}}}{461{212{922}{356}}{455{321}{966}}}}}{63{570{408{601{713}{121}}{403{303}{130}}}{343{715{537}{904}}{820{190}{665}}}}{333{316{132{340}{335}}{830{731}{75}}}{68{230{825}{174}}{923{741}{328}}}}}}}}}{510{245{964{251{599{824{682{915{798}{36}}{679{896}{269}}}{494{666{344}{848}}{121{176}{52}}}}{131{990{409{137}{566}}{185{901}{790}}}{813{89{438}{54}}{446{183}{896}}}}}{586{951{803{683{393}{389}}{222{624}{716}}}{612{811{406}{392}}{346{553}{223}}}}{981{209{326{983}{143}}{480{127}{8}}}{68{258{529}{356}}{599{69}{362}}}}}}{998{134{100{212{942{422}{793}}{885{516}{959}}}{437{88{49}{38}}{422{952}{538}}}}{75{729{504{44}{27}}{768{931}{547}}}{491{126{528}{733}}{421{858}{351}}}}}{510{898{370{617{576}{701}}{319{107}{659}}}{728{801{363}{757}}{860{164}{15}}}}{665{807{313{17}{393}}{349{332}{653}}}{771{260{83}{834}}{975{785}{122}}}}}}}{606{59{610{840{93{577{928}{890}}{973{570}{810}}}{738{323{838}{72}}{838{52}{58}}}}{832{823{715{758}{982}}{141{60}{167}}}{375{23{432}{379}}{662{771}{860}}}}}{181{471{461{988{472}{777}}{110{527}{974}}}{221{851{531}{104}}{968{390}{6}}}}{766{150{641{693}{164}}{38{184}{940}}}{711{431{468}{578}}{651{979}{527}}}}}}{859{772{730{424{925{210}{901}}{211{751}{689}}}{820{43{493}{940}}{981{331}{161}}}}{154{191{170{420}{531}}{826{441}{473}}}{487{790{117}{944}}{442{510}{871}}}}}{848{608{905{778{69}{852}}{60{324}{31}}}{500{943{600}{951}}{56{983}{907}}}}{456{575{245{572}{778}}{100{130}{24}}}{180{607{286}{120}}{868{655}{909}}}}}}}}{153{130{928{269{297{629{320{476}{546}}{194{953}{658}}}{797{612{902}{6}}{233{965}{990}}}}{535{763{450{531}{312}}{187{467}{161}}}{265{810{662}{162}}{750{73}{285}}}}}{20{570{601{619{333}{442}}{944{549}{533}}}{902{700{650}{539}}{27{673}{131}}}}{885{441{658{283}{621}}{24{607}{709}}}{342{194{655}{471}}{512{592}{604}}}}}}{336{910{12{520{869{22}{794}}{737{226}{997}}}{46{32{98}{835}}{850{785}{101}}}}{358{299{660{948}{536}}{439{799}{739}}}{348{804{168}{643}}{424{266}{200}}}}}{618{922{483{718{281}{848}}{485{723}{421}}}{189{723{412}{754}}{477{9}{749}}}}{797{891{56{407}{73}}{726{559}{546}}}{264{914{528}{527}}{175{33}{505}}}}}}}{352{334{544{32{555{337{846}{87}}{97{951}{280}}}{24{510{56}{11}}{422{854}{770}}}}{257{724{763{658}{718}}{453{128}{444}}}{487{156{699}{301}}{164{452}{463}}}}}{305{749{594{208{862}{623}}{667{527}{840}}}{458{306{380}{61}}{929{361}{196}}}}{773{464{659{61}{98}}{951{101}{870}}}{824{759{948}{968}}{445{685}{881}}}}}}{55{222{885{972{42{29}{307}}{771{523}{942}}}{853{707{895}{124}}{871{557}{701}}}}{358{401{666{599}{805}}{13{195}{116}}}{188{294{804}{690}}{607{134}{543}}}}}{771{391{762{62{222}{453}}{52{620}{449}}}{362{367{887}{431}}{67{422}{278}}}}{487{116{440{350}{661}}{930{379}{177}}}{985{73{660}{204}}{669{678}{277}}}}}}}}}}}
\ No newline at end of file

synthetic/bracket/lb_2000.bracket

+1:{690{823{124{111{631{334{243{298{784{576{934{101{455{180{877{750{812{205{374{516{826{460{444{700{760{133{821{397{805{698{384{102{499{317{800{523{860{217{429{203{381{759{764{784{295{176{945{20{789{198{136{887{50{46{789{383{324{501{98{869{389{40{160{48{107{245{639{927{958{971{965{370{725{986{353{67{730{59{178{49{296{723{490{66{323{176{709{443{167{54{771{257{200{37{281{936{740{521{441{621{244{824{797{890{927{647{88{703{221{762{727{646{733{164{713{842{609{128{989{106{468{936{552{216{315{205{834{371{91{69{151{206{772{674{243{949{179{712{202{572{907{958{316{33{27{55{620{953{492{991{177{338{375{13{390{174{379{941{871{12{266{104{653{878{106{372{778{109{532{14{556{968{383{340{17{126{411{363{352{369{963{945{368{116{787{154{253{607{386{807{182{855{566{413{539{701{104{998{812{586{678{527{421{872{485{905{35{821{202{768{154{571{194{544{984{717{136{510{910{326{458{805{80{513{274{638{902{893{701{148{475{535{732{650{257{240{70{233{488{268{589{941{156{834{327{996{557{994{166{796{710{752{630{664{184{496{428{556{106{105{688{214{394{329{15{485{499{283{795{770{187{158{408{833{156{505{246{444{506{661{718{575{364{202{628{117{195{496{607{357{577{704{492{662{477{843{831{125{330{744{902{109{421{4{926{949{401{289{369{250{923{572{508{535{727{171{655{186{683{665{712{931{576{51{961{317{695{732{253{925{471{187{996{270{735{418{622{632{365{526{419{272{351{3{908{772{580{607{164{461{862{896{746{146{989{785{143{642{860{712{900{793{957{269{828{982{711{396{969{345{535{475{212{147{568{933{730{75{408{200{648{380{379{109{597{131{99{106{67{20{408{845{721{464{921{29{76{965{751{598{215{951{189{595{436{575{364{327{6{198{185{657{416{514{88{525{816{553{374{52{524{35{182{818{775{788{372{166{126{210{859{629{161{995{180{823{433{596{329{413{768{153{154{988{375{845{835{953{402{904{244{781{850{755{210{223{14{5{981{319{852{261{420{321{948{985{712{861{977{874{626{968{831{482{605{783{815{49{240{68{582{779{887{856{708{9{488{840{61{30{856{350{401{496{981{14{833{673{130{452{61{976{779{596{573{540{662{497{182{777{474{695{591{157{6{522{863{674{763{919{995{731{330{627{970{408{34{837{975{336{690{663{674{656{451{12{717{782{61{729{870{935{45{88{453{684{611{989{972{951{310{458{129{216{736{300{590{887{798{990{210{58{352{167{583{135{226{319{113{37{931{504{993{967{578{212{765{953{801{713{360{650{716{489{792{108{195{589{906{501{998{23{839{13{551{525{114{380{391{295{517{793{575{553{172{134{593{23{476{786{547{679{799{469{663{353{114{830{390{58{958{776{647{120{406{740{986{465{936{391{714{669{374{477{254{596{312{798{290{753{669{514{469{680{298{275{703{989{800{885{352{904{964{479{827{378{479{432{397{164{839{474{230{405{598{738{964{625{387{702{330{188{343{259{622{596{874{388{48{207{920{136{240{230{99{899{472{93{430{212{346{529{514{532{21{984{356{727{223{178{220{250{614{948{190{216{272{683{341{860{342{976{682{91{124{334{278{127{145{32{221{416{2{481{342{336{992{681{846{376{846{630{263{791{66{773{384{934{684{846{87{756{451{702{218{180{760{984{936{338{826{725{179{876{917{232{164{815{661{853{79{685{729{465{380{897{414{799{356{595{896{924{856{436{238{509{365{40{381{705{810{74{688{738{785{197{812{569{73{333{933{212{661{996{633{566{627{648{970{845{576{300{505{973{531{838{345{522{444{791{469{54{721{521{877{959{445{43{357{135{187{969{884{116{575{281{960{487{33{909{413{686{336{344{447{542{914{755{979{146{44{325{542{907{353{793{300{875{282{413{949{708{435{802{544{840{962{419{538{744{383{614{570{345{531{503{779{960{505{120{687{351{802{580{934{735{36{217{400{861{909{927{498{486{338{190{674{865{898{479{401{87{997{48{197{364{441{312{458{614{289{287{141{949{182{825{574{892{527{604{939{450{215{107{205{365{787{51{553{155{182{0{571{789{515{126{758{92{508{347{124{231{511{309{919{876{262{940{771{887{791{543{780{624{145{654{344{223{827{145{753{442{114{273{837{922{673{674{210{964{124{506{882{158{462{223{285{477{507{698{991{676{782{670{669{93{479{734{45{198{438{356{924{501{274{623{539{641{88{713{782{781{405{291{80{645{255{329{969{782}{360}}{759}}{468}}{34}}{36}}{199}}{47}}{523}}{380}}{223}}{574}}{507}}{748}}{471}}{925}}{535}}{990}}{499}}{547}}{91}}{814}}{219}}{689}}{902}}{923}}{100}}{263}}{364}}{189}}{438}}{702}}{544}}{352}}{259}}{437}}{429}}{992}}{650}}{863}}{361}}{771}}{589}}{916}}{841}}{188}}{581}}{637}}{127}}{347}}{648}}{326}}{325}}{485}}{495}}{188}}{898}}{246}}{906}}{559}}{772}}{964}}{678}}{106}}{477}}{431}}{640}}{613}}{20}}{921}}{598}}{227}}{394}}{435}}{222}}{278}}{932}}{443}}{216}}{60}}{935}}{600}}{323}}{171}}{242}}{192}}{956}}{307}}{701}}{299}}{536}}{614}}{698}}{929}}{838}}{977}}{202}}{620}}{894}}{866}}{988}}{245}}{275}}{605}}{988}}{31}}{807}}{197}}{946}}{25}}{21}}{62}}{812}}{512}}{910}}{316}}{553}}{130}}{787}}{468}}{332}}{665}}{317}}{640}}{212}}{802}}{15}}{700}}{847}}{289}}{787}}{913}}{816}}{295}}{309}}{995}}{563}}{935}}{303}}{676}}{97}}{222}}{31}}{158}}{905}}{932}}{552}}{80}}{762}}{134}}{555}}{861}}{354}}{382}}{829}}{549}}{917}}{809}}{678}}{540}}{321}}{630}}{837}}{790}}{269}}{780}}{698}}{395}}{564}}{711}}{909}}{653}}{618}}{568}}{646}}{984}}{629}}{260}}{131}}{331}}{134}}{153}}{181}}{910}}{835}}{404}}{881}}{421}}{920}}{157}}{646}}{117}}{285}}{121}}{276}}{318}}{355}}{256}}{779}}{273}}{427}}{575}}{31}}{468}}{731}}{309}}{593}}{758}}{632}}{919}}{223}}{960}}{663}}{718}}{908}}{742}}{319}}{79}}{470}}{974}}{798}}{500}}{47}}{870}}{117}}{998}}{22}}{572}}{298}}{593}}{192}}{35}}{547}}{869}}{254}}{332}}{614}}{873}}{898}}{758}}{762}}{824}}{78}}{343}}{43}}{405}}{269}}{659}}{798}}{609}}{759}}{31}}{572}}{407}}{297}}{528}}{880}}{720}}{646}}{349}}{503}}{444}}{855}}{491}}{251}}{526}}{307}}{799}}{371}}{339}}{853}}{782}}{42}}{848}}{583}}{817}}{636}}{312}}{56}}{601}}{674}}{525}}{39}}{991}}{671}}{835}}{60}}{578}}{296}}{442}}{343}}{640}}{530}}{717}}{928}}{331}}{762}}{541}}{37}}{230}}{999}}{908}}{988}}{624}}{634}}{293}}{231}}{144}}{439}}{522}}{290}}{621}}{733}}{152}}{700}}{296}}{904}}{593}}{221}}{736}}{710}}{480}}{898}}{97}}{57}}{39}}{784}}{587}}{169}}{437}}{370}}{264}}{360}}{365}}{37}}{537}}{809}}{356}}{92}}{980}}{54}}{575}}{188}}{348}}{112}}{81}}{202}}{899}}{425}}{813}}{854}}{412}}{61}}{782}}{657}}{499}}{852}}{228}}{978}}{103}}{400}}{738}}{289}}{288}}{144}}{557}}{907}}{706}}{915}}{604}}{780}}{348}}{658}}{934}}{134}}{459}}{267}}{635}}{39}}{736}}{705}}{421}}{192}}{181}}{849}}{396}}{494}}{226}}{742}}{761}}{212}}{7}}{183}}{434}}{795}}{902}}{845}}{853}}{647}}{714}}{347}}{435}}{423}}{100}}{970}}{455}}{645}}{149}}{945}}{339}}{712}}{192}}{501}}{600}}{593}}{251}}{106}}{940}}{782}}{722}}{581}}{240}}{311}}{176}}{22}}{452}}{880}}{393}}{723}}{620}}{417}}{11}}{515}}{551}}{629}}{392}}{220}}{858}}{341}}{595}}{148}}{387}}{696}}{570}}{822}}{263}}{511}}{933}}{363}}{68}}{360}}{970}}{217}}{868}}{184}}{707}}{162}}{122}}{493}}{199}}{779}}{686}}{457}}{385}}{814}}{427}}{459}}{147}}{117}}{192}}{915}}{431}}{104}}{114}}{409}}{561}}{899}}{523}}{464}}{109}}{619}}{941}}{500}}{955}}{464}}{909}}{799}}{385}}{558}}{650}}{514}}{379}}{718}}{812}}{54}}{429}}{589}}{778}}{392}}{531}}{823}}{304}}{100}}{211}}{239}}{462}}{181}}{711}}{156}}{158}}{2}}{699}}{310}}{697}}{881}}{135}}{68}}{162}}{146}}{152}}{844}}{582}}{714}}{85}}{922}}{160}}{516}}{9}}{111}}{29}}{297}}{414}}{912}}{312}}{637}}{881}}{139}}{451}}{221}}{893}}{173}}{79}}{678}}{134}}{280}}{915}}{553}}{913}}{679}}{428}}{210}}{575}}{304}}{277}}{734}}{26}}{416}}{761}}{131}}{735}}{536}}{783}}{397}}{844}}{347}}{69}}{248}}{246}}{524}}{645}}{589}}{770}}{663}}{805}}{14}}{818}}{744}}{88}}{907}}{98}}{816}}{981}}{940}}{316}}{836}}{373}}{45}}{940}}{839}}{986}}{148}}{428}}{883}}{290}}{243}}{513}}{447}}{635}}{598}}{442}}{216}}{623}}{161}}{272}}{433}}{926}}{472}}{606}}{263}}{90}}{645}}{384}}{837}}{33}}{214}}{598}}{926}}{256}}{920}}{61}}{409}}{13}}{734}}{589}}{996}}{915}}{681}}{230}}{853}}{743}}{272}}{400}}{104}}{446}}{602}}{55}}{357}}{573}}{421}}{263}}{709}}{646}}{748}}{808}}{909}}{205}}{811}}{680}}{612}}{531}}{406}}{588}}{899}}{293}}{952}}{867}}{517}}{609}}{819}}{381}}{500}}{270}}{736}}{318}}{120}}{128}}{330}}{977}}{344}}{889}}{107}}{941}}{235}}{800}}{443}}{228}}{977}}{998}}{379}}{316}}{457}}{488}}{288}}{156}}{596}}{26}}{723}}{531}}{852}}{376}}{996}}{409}}{582}}{704}}{311}}{129}}{199}}{104}}{489}}{566}}{306}}{494}}{621}}{642}}{244}}{382}}{176}}{784}}{728}}{255}}{402}}{235}}{514}}{572}}{59}}{300}}{279}}{623}}{799}}{936}}{144}}{741}}{755}}{274}}{526}}{614}}{137}}{970}}{254}}{696}}{916}}{486}}{128}}{957}}{868}}{688}}{357}}{480}}{576}}{375}}{568}}{638}}{173}}{599}}{298}}{851}}{891}}{929}}{181}}{176}}{732}}{989}}{234}}{221}}{804}}{925}}{956}}{120}}{149}}{649}}{144}}{585}}{108}}{5}}{634}}{264}}{535}}{194}}{382}}{907}}{426}}{118}}{583}}{90}}{756}}{481}}{753}}{486}}{601}}{793}}{961}}{931}}{838}}{626}}{638}}{792}}{994}}{768}}{663}}{358}}{38}}{119}}{641}}{280}}{193}}{469}}{561}}{285}}{63}}{530}}{282}}{669}}{632}}{826}}{512}}{308}}{962}}{327}}{221}}{199}}{620}}{947}}{672}}{752}}{172}}{273}}{510}}{358}}{280}}{139}}{577}}{951}}{224}}{937}}{397}}{583}}{900}}{766}}{521}}{246}}{610}}{795}}{147}}{435}}{193}}{471}}{716}}{210}}{313}}{427}}{409}}{742}}{964}}{229}}{731}}{591}}{490}}{316}}{616}}{220}}{693}}{764}}{729}}{478}}{823}}{744}}{919}}{63}}{524}}{796}}{976}}{193}}{26}}{283}}{157}}{6}}{165}}{654}}{142}}{404}}{13}}{386}}{361}}{366}}{201}}{721}}{886}}{959}}{225}}{575}}{295}}{546}}{309}}{236}}{228}}{944}}{619}}{726}}{531}}{519}}{897}}{941}}{202}}{467}}{818}}{953}}{557}}{783}}{636}}{77}}{298}}{656}}{916}}{590}}{427}}{288}}{419}}{220}}{184}}{390}}{450}}{766}}{438}}{837}}{218}}{480}}{222}}{245}}{28}}{85}}{346}}{454}}{356}}{533}}{261}}{166}}{117}}{898}}{621}}{235}}{689}}{4}}{218}}{360}}{493}}{674}}{226}}{163}}{198}}{708}}{943}}{916}}{850}}{973}}{446}}{398}}{491}}{223}}{873}}{639}}{70}}{508}}{237}}{541}}{714}}{319}}{969}}{619}}{653}}{810}}{624}}{370}}{375}}{740}}{432}}{7}}{805}}{996}}{623}}{549}}{574}}{820}}{717}}{530}}{689}}{119}}{207}}{806}}{149}}{459}}{321}}{216}}{337}}{637}}{799}}{91}}{225}}{939}}{861}}{852}}{717}}{457}}{807}}{201}}{679}}{91}}{934}}{651}}{467}}{97}}
\ No newline at end of file

synthetic/bracket/rb_2000.bracket

+1:{489{10}{683{4}{688{470}{361{490}{895{266}{877{249}{657{247}{965{689}{634{756}{36{65}{11{337}{978{755}{668{697}{806{85}{800{843}{358{963}{184{357}{840{404}{263{537}{642{20}{734{700}{526{936}{411{281}{982{146}{685{496}{260{262}{47{242}{378{754}{787{597}{148{243}{148{738}{133{141}{934{377}{266{952}{826{814}{759{846}{419{537}{850{691}{287{901}{862{592}{273{762}{57{141}{488{150}{743{966}{483{943}{162{929}{435{288}{730{248}{165{947}{333{136}{315{101}{485{55}{7{143}{350{549}{891{882}{797{701}{551{178}{911{673}{873{452}{617{441}{126{698}{391{809}{179{587}{327{8}{498{15}{193{711}{305{970}{510{92}{561{920}{59{624}{229{993}{720{694}{627{131}{983{731}{538{21}{0{488}{133{83}{592{296}{733{964}{165{627}{835{53}{140{36}{893{247}{90{629}{803{819}{470{509}{144{537}{514{277}{787{348}{598{555}{618{815}{122{669}{758{215}{783{72}{853{644}{882{853}{711{747}{214{659}{818{732}{929{681}{24{94}{701{920}{8{140}{465{818}{962{714}{980{464}{301{724}{452{45}{119{990}{539{865}{511{664}{87{282}{884{950}{68{157}{838{182}{330{975}{239{315}{923{603}{658{794}{965{778}{449{346}{237{814}{325{678}{970{666}{480{216}{547{474}{955{40}{194{912}{184{872}{74{223}{360{539}{580{572}{595{624}{34{476}{583{141}{465{394}{882{911}{596{216}{730{997}{682{316}{785{995}{393{38}{28{181}{494{950}{601{530}{686{999}{309{402}{594{727}{29{244}{575{35}{367{22}{683{607}{448{199}{889{993}{861{995}{386{505}{442{362}{620{568}{725{554}{494{865}{640{444}{47{668}{261{761}{807{16}{176{239}{912{997}{374{260}{56{242}{362{945}{288{895}{617{832}{688{715}{352{164}{20{718}{11{598}{488{699}{903{580}{855{287}{813{970}{314{698}{524{524}{650{205}{686{700}{443{444}{581{899}{291{59}{952{613}{271{887}{190{194}{183{805}{886{889}{387{616}{947{552}{466{876}{215{979}{265{336}{822{119}{314{776}{294{506}{81{350}{779{148}{956{221}{627{749}{410{172}{943{580}{295{92}{691{560}{804{713}{366{64}{262{753}{239{806}{501{664}{736{663}{265{497}{535{692}{786{28}{564{688}{387{179}{211{549}{739{919}{687{410}{187{307}{681{956}{375{72}{147{607}{254{124}{312{268}{451{706}{761{169}{877{478}{781{918}{413{654}{945{241}{471{505}{329{83}{265{917}{621{626}{632{416}{830{562}{346{69}{258{407}{949{916}{886{958}{271{144}{373{36}{958{51}{378{528}{553{941}{60{335}{861{506}{170{275}{641{895}{351{148}{892{653}{901{154}{395{928}{492{619}{456{869}{69{473}{236{935}{437{306}{424{918}{832{841}{491{824}{135{614}{212{435}{228{262}{675{257}{417{264}{517{790}{754{227}{715{525}{567{774}{847{866}{498{891}{382{181}{868{172}{222{551}{251{690}{413{385}{713{421}{667{955}{312{995}{102{82}{83{264}{393{661}{915{652}{345{446}{467{476}{770{528}{464{498}{396{246}{533{738}{499{844}{29{212}{852{41}{118{609}{591{851}{793{89}{599{361}{361{320}{37{940}{385{591}{742{292}{38{349}{304{43}{291{765}{761{125}{412{28}{33{6}{790{889}{400{968}{178{620}{559{989}{104{931}{51{495}{300{621}{151{165}{706{668}{619{235}{831{231}{77{259}{961{578}{143{60}{5{243}{896{718}{572{838}{658{783}{192{800}{588{532}{494{24}{68{37}{513{759}{413{7}{271{377}{18{824}{198{622}{619{19}{988{715}{38{411}{986{275}{385{527}{268{350}{441{479}{153{977}{625{397}{25{600}{750{684}{965{361}{529{801}{895{754}{639{38}{638{380}{976{744}{547{570}{657{773}{114{456}{190{498}{312{679}{232{600}{213{275}{281{973}{827{464}{708{520}{997{972}{530{317}{618{284}{423{594}{391{667}{570{278}{848{136}{74{344}{388{579}{819{112}{622{87}{886{676}{409{193}{816{77}{596{99}{327{511}{618{192}{319{785}{779{75}{379{505}{279{143}{310{966}{762{227}{614{542}{456{145}{270{417}{783{128}{584{900}{626{917}{377{170}{349{23}{282{246}{29{56}{470{170}{322{264}{663{878}{808{420}{949{0}{698{960}{495{877}{270{881}{955{426}{489{192}{40{63}{823{902}{479{816}{418{384}{308{932}{409{669}{275{696}{361{690}{907{980}{505{747}{700{996}{728{482}{723{64}{995{494}{870{767}{229{294}{949{729}{497{685}{744{398}{708{819}{213{637}{949{91}{41{619}{996{804}{797{534}{518{966}{92{840}{964{942}{225{396}{164{679}{21{583}{229{111}{697{671}{408{959}{885{74}{196{551}{147{781}{129{472}{641{256}{376{835}{907{281}{460{704}{79{769}{183{728}{252{357}{90{384}{96{678}{638{280}{312{550}{544{896}{942{994}{677{747}{117{882}{254{429}{309{252}{9{207}{770{783}{502{819}{407{710}{704{937}{11{496}{518{309}{388{924}{966{927}{668{844}{343{714}{766{760}{774{118}{756{548}{238{690}{689{112}{329{202}{215{481}{717{97}{217{868}{511{104}{562{541}{534{675}{967{900}{774{468}{942{30}{166{505}{755{138}{180{769}{336{718}{629{968}{132{971}{509{876}{941{996}{678{199}{911{560}{634{182}{959{768}{722{225}{100{803}{612{641}{314{14}{9{297}{840{19}{166{306}{40{161}{900{102}{244{618}{523{222}{350{689}{301{856}{258{305}{772{768}{639{620}{575{488}{933{586}{206{800}{924{813}{480{386}{720{633}{327{187}{470{212}{974{437}{685{775}{461{589}{620{465}{940{318}{757{159}{168{580}{66{575}{146{283}{403{366}{901{453}{75{486}{14{899}{347{9}{587{322}{424{770}{13{458}{217{615}{91{344}{43{831}{730{45}{247{303}{737{185}{622{264}{958{484}{419{69}{342{55}{688{310}{346{618}{662{689}{445{930}{905{540}{442{675}{999{542}{673{788}{595{196}{183{659}{767{879}{440{977}{748{838}{163{20}{279{332}{421{44}{5{218}{229{53}{578{687}{483{637}{389{525}{240{758}{139{211}{24{321}{771{432}{36{138}{665{76}{914{406}{336{589}{947{145}{347{649}{458{135}{543{473}{403{759}{219{702}{108{833}{345{770}{466{917}{486{807}{831{856}{663{679}{339{260}{961{470}{341{450}{372{814}{187{936}{975{775}{644{857}{299{603}{817{914}{404{583}{563{270}{997{356}{42{538}{687{566}{210{485}{287{398}{805{303}{957{608}{583{349}{824{937}{362{59}{673{369}{729{344}{205{580}{96{132}{381{36}{169{918}{346{643}{788{68}{474{549}{527{395}{164{678}{404{989}{93{848}{549{578}{789{877}{704{775}{536{902}{958{376}{828{251}{264{542}{814{588}{832{66}{430{760}{704{146}{221{670}{456{32}{149{794}{204{682}{65{440}{828{80}{879{662}{609{198}{915{800}{262{669}{331{17}{710{104}{16{802}{791{676}{845{354}{499{990}{736{966}{295{516}{511{8}{471{833}{177{872}{560{735}{865{302}{296{807}{337{842}{696{413}{669{767}{412{184}{438{733}{619{983}{512{577}{374{28}{311{125}{527{305}{257{629}{11{675}{959{447}{565{95}{571{905}{710{200}{685{818}{127{63}{49{56}{402{370}{402{645}{478{350}{691{334}{59{783}{21{260}{636{112}{719{316}{764{172}{21{128}{717{360}{10{45}{681{107}{611{418}{172{382}{634{536}{490{551}{87{969}{613{367}{250{774}{88{6}{270{929}{171{70}{377{635}{650{216}{168{619}{574{602}{783{380}{334{649}{220{391}{387{725}{491{638}{230{231}{761{518}{108{210}{178{31}{337{61}{589{416}{55{144}{941{864}{663{68}{758{707}{247{247}{712{522}{741{841}{984{935}{707{585}{804{501}{143{105}{274{948}{886{237}{357{223}{804{560}{685{251}{154{800}{679{50}{219{61}{313{845}{533{800}{739{154}{832{359}{917{355}{130{380}{320{155}{184{877}{786{470}{961{844}{574{690}{639{241}{737{987}{88{919}{995{311}{744{539}{378{991}{286{823}{65{395}{550{542}{2{957}{663{493}{60{949}{465{335}{756{809}{936{565}{789{488}{432{109}{948{220}{293{959}{262{397}{524{62}{634{693}{46{162}{540{426}{262{654}{858{200}{501{564}{267{231}{221{669}{176{421}{754{429}{653{134}{738{815}{336{870}{336{375}{898{491}{799{844}{256{428}{913{427}{305{349}{412{394}{667{92}{475{26}{613{285}{32{43}{57{952}{706{557}{274{599}{867{294}{788{700}{481{278}{693{267}{108{455}{524{189}{676{716}{686{312}{428{649}{345{845}{732{900}{655{502}{292{418}{164{949}{670{20}{230{549}{908{642}{355{92}{496{358}{393{196}{880{764}{687{319}{184{595}{335{874}{884{512}{964{770}{679{833}{536{820}{929{620}{3{825}{624{936}{841{841}{18{258}{801{73}{724{41}{528{100}{283{137}{64{602}{976{325}{619{623}{903{531}{430{426}{172{385}{939{398}{374{667}{52{68}{388{827}{684{262}{951{220}{400{588}{390{909}{488{959}{318{882}{415{597}{156{339}{264{47}{815{225}{397{25}{949{576}{295{550}{784{333}{252{703}{630{219}{356{527}{842{926}{984{24}{169{362}{855{966}{162{948}{546{224}{520{971}{245{649}{66{840}{448{74}{323{667}{231{924}{505{975}{739{8}{117{498}{497{521}{235{972}{240{985}{998{537}{979{832}{763{866}{167{606}{927{429}{930{315}{373{357}{514{279}{120{209}{281{935}{799{601}{829{469}{211{6}{51{788}{372{289}{261{316}{138{470}{813{344}{689{953}{9{149}{933{32}{469{937}{132{751}{547{693}{866{328}{833{442}{810{194}{254{0}{626{399}{784{280}{719{526}{340{380}{489{509}{986{168}{213{749}{180{886}{660{675}{438{274}{76{504}{443{118}{227{263}{339{683}{782{280}{649{396}{426{251}{52{347}{752{683}{20{577}{156{986}{135{908}{670{722}{774{57}{926{567}{727{75}{182{357}{218{750}{696{164}{767{452}{534{753}{285{54}{276{899}{818{979}{987{996}{392{123}{255{126}{483{407}{43{210}{735{953}{619{205}{686{448}{826{323}{424{80}{532{122}{304{531}{176{943}{57{928}{944{552}{916{303}{264{71}{641{75}{984{211}{670{306}{809{615}{967{995}{323{598}{514{474}{194{945}{829{47}{950{468}{310{372}{78{939}{715{744}{50{643}{570{322}{279{265}{846{600}{934{3}{829{848}{36{856}{689{78}{196{751}{901{78}{937{805}{335{430}{556{307}{525{25}{92{159}{355{461}{71{429}{159{913}{364{324}{27{506}{652{400}{919{938}{729{58}{55{155}{95{386}{920{145}{79{283}{154{506}{41{311}{520}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
\ No newline at end of file

synthetic/bracket/zz_2000.bracket

+1:{112{710{571}{70{289{394}{779{456{474}{563{841{917}{481{646{619}{427{478{113}{554{500{61}{289{661{869}{386{255{623}{161{292{572}{321{187{656}{556{131{198}{372{32{696}{482{369{827}{445{394{172}{131{87{895}{23{994{579}{345{558{703}{478{848{774}{154{647{975}{485{730{298}{967{737{495}{198{517{905}{233{947{114}{149{256{681}{624{582{659}{60{63{438}{77{60{532}{994{191{273}{242{773{25}{560{866{463}{166{615{647}{91{749{113}{269{145{997}{4{106{194}{946{605{960}{770{46{906}{331{275{270}{193{419{512}{74{879{718}{940{224{58}{173{17{545}{508{619{636}{186{842{809}{76{893{104}{390{471{746}{922{982{419}{705{826{429}{365{388{3}{438{901{245}{402{598{779}{186{667{987}{505{340{822}{432{88{588}{239{292{751}{691{971{782}{677{70{293}{229{628{231}{775{612{676}{706{565{911}{165{293{750}{294{674{768}{49{375{13}{84{648{956}{143{638{942}{858{607{175}{850{289{285}{534{126{903}{120{495{235}{854{169{551}{676{141{646}{134{641{830}{547{661{681}{139{517{866}{112{40{588}{392{796{841}{80{321{472}{505{730{210}{110{242{266}{326{64{758}{8{827{271}{975{255{52}{684{32{959}{95{892{62}{336{811{925}{875{794{991}{513{173{159}{657{500{594}{36{103{53}{207{133{526}{952{425{785}{959{860{505}{950{967{14}{792{409{318}{962{625{27}{172{382{964}{856{158{756}{708{324{462}{438{840{327}{453{778{115}{195{289{43}{507{797{260}{458{84{975}{745{627{793}{959{20{555}{725{557{1}{933{94{846}{112{124{490}{239{563{381}{165{180{240}{175{688{758}{111{523{78}{928{998{373}{479{65{89}{867{173{966}{694{776{782}{91{908{894}{522{852{1}{955{330{276}{151{856{913}{492{839{436}{4{782{568}{936{461{295}{583{277{847}{781{60{623}{915{497{814}{68{6{311}{417{302{764}{844{153{84}{245{785{503}{981{218{293}{448{342{640}{805{913{718}{483{761{939}{207{419{528}{923{53{992}{202{68{822}{404{995{778}{111{306{387}{153{614{872}{809{311{615}{638{75{342}{741{836{712}{171{706{628}{627{152{626}{530{121{932}{79{169{342}{911{676{902}{532{87{470}{780{726{653}{214{184{263}{437{396{398}{82{577{500}{369{857{239}{910{57{881}{693{311{890}{988{353{838}{271{177{378}{100{407{939}{301{179{996}{744{530{283}{454{327{52}{776{509{548}{883{5{196}{913{40{604}{655{638{364}{801{68{853}{429{664{611}{576{883{702}{454{785{388}{121{73{830}{188{712{31}{445{689{162}{123{889{507}{896{199{708}{607{899{699}{130{105{677}{765{555{764}{37{292{524}{794{860{351}{69{488{849}{237{351{714}{649{407{299}{24{507{6}{617{427{880}{358{233{283}{893{924{355}{773{609{13}{801{567{625}{901{406{121}{752{222{250}{798{65{849}{220{261{539}{872{131{975}{207{424{846}{740{362{172}{629{534{998}{575{970{547}{330{705{10}{768{739{632}{655{860{494}{958{974{378}{775{670{434}{760{522{928}{200{264{215}{749{313{211}{192{297{95}{517{171{627}{985{233{501}{875{845{380}{43{942{836}{508{501{229}{762{945{682}{663{130{691}{332{922{581}{661{609{994}{687{316{790}{334{381{305}{740{148{674}{674{980{17}{347{363{653}{274{863{137}{679{340{850}{376{293{58}{958{382{868}{594{223{246}{746{300{337}{617{416{630}{212{443{154}{477{273{736}{97{751{579}{186{89{834}{289{705{579}{806{707{657}{222{247{100}{279{803{453}{529{40{170}{577{261{417}{639{645{986}{989{370{798}{268{479{405}{606{815{188}{988{646{498}{338{679{810}{323{977{72}{5{937{821}{46{903{321}{342{153{914}{650{983{23}{962{367{769}{145{193{934}{615{386{124}{656{339{295}{290{944{505}{499{157{612}{997{481{908}{669{990{114}{270{472{952}{951{103{557}{733{575{306}{73{8{277}{277{30{411}{617{383{656}{675{57{794}{600{439{414}{693{221{496}{950{830{373}{23{973{413}{285{458{629}{599{865{573}{712{762{263}{105{130{644}{575{348{21}{761{632{201}{349{54{619}{684{383{541}{108{792{576}{395{116{80}{288{776{748}{305{624{617}{644{978{953}{217{851{999}{636{900{375}{183{948{980}{655{30{631}{281{768{291}{792{565{676}{113{526{230}{88{246{951}{104{595{289}{466{420{438}{923{657{607}{770{656{526}{569{694{292}{616{526{853}{967{519{887}{988{396{536}{119{848{524}{782{323{437}{140{107{542}{719{401{396}{735{477{611}{345{169{574}{942{865{646}{31{909{313}{200{809{47}{188{944{200}{66{508{42}{129{286{208}{143{480{179}{263{217{107}{30{538{252}{577{668{530}{376{87{182}{581{482{377}{336{946{655}{172{913{441}{10{171{545}{100{960{446}{672{610{405}{976{377{881}{859{149{563}{26{469{302}{642{886{615}{12{3{16}{629{689{330}{32{856{300}{539{883{286}{123{223{561}{391{15{731}{876{502{117}{644{937{495}{485{187{480}{839{669{949}{937{385{332}{568{773{333}{281{792{574}{835{202{963}{156{220{135}{124{857{104}{41{46{434}{740{313{564}{892{153{661}{240{445{267}{136{232{287}{24{925{361}{184{531{461}{396{814{640}{934{401{212}{669{709{302}{925{238{597}{114{195{358}{116{671{237}{852{541{192}{448{89{863}{962{891{82}{656{853{816}{415{407{715}{16{801{640}{612{87{961}{954{882{185}{621{244{469}{732{22{881}{418{851{850}{633{574{95}{692{232{491}{347{933{719}{44{831{282}{498{194{424}{637{14{795}{492{911{207}{613{139{694}{153{344{173}{858{366{415}{806{761{688}{900{924{405}{778{662{332}{50{810{444}{485{15{293}{57{145{850}{565{845{133}{880{660{585}{735{796{67}{373{27{567}{318{480{179}{953{19{701}{638{749{225}{574{713{437}{710{199{947}{563{210{871}{930{539{37}{147{604{682}{700{645{182}{727{153{448}{181{414{840}{214{896{108}{613{758{656}{10{179{625}{897{335{683}{427{803{115}{377{873{814}{630{791{0}{20{173{93}{409{971{948}{422{143{800}{349{863{649}{348{471{484}{222{589{709}{737{765{354}{650{779{196}{361{276{677}{377{690{622}{592{537{99}{699{19{399}{955{532{62}{876{133{53}{415{220{697}{593{677{729}{590{542{887}{785{795{778}{330{223{387}{391{432{455}{348{1{170}{852{439{14}{858{102{407}{431{452{739}{397{84{745}{651{776{694}{277{374{786}{436{739{227}{369{114{936}{764{230{507}{140{153{24}{896{424{647}{150{287{362}{503{877{178}{453{94{144}{248{495{917}{573{963{361}{657{87{519}{20{160{623}{326{468{244}{527{34{559}{787{355{718}{439{706{709}{610{502{737}{975{845{54}{542{823{388}{263{370{610}{754{454{24}{383{188{736}{524{992{878}{821{295{65}{898{375{364}{56{866{232}{176{127{322}{197{153{790}{264{947{775}{885{314{987}{216{852{955}{874{496{310}{545{363{654}{10{795{961}{97{440{175}{530{918{663}{572{150{414}{882{660{471}{6{289{869}{503{535{487}{767{425{608}{248{168{647}{902{93{475}{411{281{984}{883{104{74}{533{384{29}{81{205{319}{432{518{264}{528{545{576}{146{635{782}{784{689{692}{747{473{568}{977{133{443}{184{32{52}{334{563{182}{640{973{867}{763{309{726}{51{565{938}{311{738{768}{762{13{345}{559{539{346}{491{262{601}{266{141{159}{52{635{257}{843{723{754}{525{904{4}{459{540{890}{817{619{668}{850{549{588}{800{826{772}{148{545{675}{476}}{685}}}{857}}}{153}}}{534}}}{633}}}{326}}}{709}}}{107}}}{930}}}{303}}}{513}}}{388}}}{749}}}{105}}}{723}}}{160}}}{241}}}{396}}}{54}}}{680}}}{782}}}{4}}}{133}}}{548}}}{308}}}{702}}}{699}}}{286}}}{257}}}{473}}}{154}}}{151}}}{602}}}{737}}}{960}}}{663}}}{488}}}{59}}}{383}}}{357}}}{956}}}{824}}}{83}}}{264}}}{281}}}{390}}}{58}}}{606}}}{388}}}{205}}}{431}}}{217}}}{885}}}{409}}}{580}}}{188}}}{179}}}{396}}}{127}}}{237}}}{197}}}{858}}}{268}}}{292}}}{202}}}{796}}}{945}}}{806}}}{210}}}{10}}}{381}}}{294}}}{499}}}{549}}}{446}}}{586}}}{719}}}{653}}}{382}}}{310}}}{103}}}{646}}}{370}}}{93}}}{270}}}{323}}}{449}}}{989}}}{125}}}{290}}}{276}}}{621}}}{365}}}{790}}}{242}}}{559}}}{72}}}{498}}}{428}}}{407}}}{912}}}{787}}}{917}}}{123}}}{427}}}{966}}}{942}}}{56}}}{927}}}{996}}}{393}}}{206}}}{479}}}{172}}}{167}}}{211}}}{490}}}{281}}}{863}}}{550}}}{396}}}{736}}}{330}}}{473}}}{941}}}{174}}}{560}}}{157}}}{557}}}{32}}}{426}}}{574}}}{338}}}{601}}}{773}}}{592}}}{121}}}{40}}}{354}}}{794}}}{154}}}{874}}}{111}}}{521}}}{865}}}{459}}}{310}}}{636}}}{233}}}{920}}}{16}}}{512}}}{252}}}{64}}}{423}}}{745}}}{992}}}{764}}}{529}}}{82}}}{762}}}{315}}}{651}}}{80}}}{869}}}{264}}}{305}}}{985}}}{470}}}{214}}}{914}}}{331}}}{30}}}{94}}}{878}}}{767}}}{871}}}{414}}}{485}}}{598}}}{321}}}{978}}}{173}}}{558}}}{959}}}{580}}}{634}}}{302}}}{464}}}{170}}}{274}}}{117}}}{552}}}{992}}}{513}}}{363}}}{517}}}{193}}}{437}}}{129}}}{870}}}{408}}}{297}}}{618}}}{572}}}{817}}}{355}}}{751}}}{366}}}{171}}}{575}}}{494}}}{707}}}{297}}}{671}}}{408}}}{794}}}{568}}}{987}}}{924}}}{190}}}{852}}}{745}}}{838}}}{548}}}{435}}}{117}}}{527}}}{930}}}{404}}}{668}}}{390}}}{228}}}{20}}}{629}}}{17}}}{178}}}{554}}}{527}}}{567}}}{475}}}{91}}}{659}}}{883}}}{482}}}{821}}}{917}}}{823}}}{44}}}{289}}}{455}}}{309}}}{888}}}{125}}}{710}}}{610}}}{132}}}{744}}}{265}}}{339}}}{389}}}{518}}}{66}}}{675}}}{958}}}{927}}}{478}}}{305}}}{632}}}{170}}}{698}}}{600}}}{585}}}{762}}}{11}}}{493}}}{869}}}{597}}}{391}}}{604}}}{1}}}{984}}}{955}}}{66}}}{155}}}{154}}}{760}}}{588}}}{445}}}{746}}}{455}}}{235}}}{807}}}{759}}}{270}}}{429}}}{984}}}{480}}}{860}}}{678}}}{100}}}{882}}}{496}}}{524}}}{341}}}{1}}}{103}}}{214}}}{223}}}{775}}}{644}}}{593}}}{969}}}{869}}}{350}}}{722}}}{478}}}{958}}}{308}}}{717}}}{385}}}{998}}}{882}}}{311}}}{735}}}{952}}}{491}}}{639}}}{738}}}{510}}}{237}}}{743}}}{134}}}{261}}}{868}}}{306}}}{645}}}{850}}}{603}}}{102}}}{35}}}{606}}}{296}}}{671}}}{260}}}{138}}}{452}}}{718}}}{221}}}{409}}}{586}}}{732}}}{609}}}{779}}}{435}}}{332}}}{353}}}{525}}}{513}}}{831}}}{162}}}{326}}}{518}}}{524}}}{667}}}{229}}}{82}}}{200}}}{659}}}{582}}}{373}}}{378}}}{929}}}{444}}}{41}}}{759}}}{194}}}{963}}}{17}}}{409}}}{638}}}{229}}}{650}}}{157}}}{535}}}{102}}}{703}}}{725}}}{478}}}{509}}}{689}}}{71}}}{704}}}{713}}}{58}}}{458}}}{17}}}{61}}}{729}}}{752}}}{806}}}{696}}}{474}}}{428}}}{663}}}{747}}}{644}}}{819}}}{101}}}{493}}}{747}}}{66}}}{864}}}{995}}}{374}}}{309}}}{337}}}{703}}}{967}}}{585}}}{560}}}{537}}}{943}}}{966}}}{325}}}{935}}}{657}}}{401}}}{887}}}{385}}}{721}}}{795}}}{763}}}{917}}}{163}}}{804}}}{129}}}{74}}}{939}}}{852}}}{318}}}{857}}}{293}}}{877}}}{916}}}{137}}}{457}}}{291}}}{950}}}{48}}}{209}}}{670}}}{682}}}{844}}}{772}}}{663}}}{491}}}{731}}}{564}}}{621}}}{363}}}{181}}}{290}}}{456}}}{470}}}{199}}}{892}}}{220}}}{352}}}{87}}}{835}}}{899}}}{193}}}{157}}}{249}}}{941}}}{698}}}{935}}}{416}}}{0}}}{66}}}{329}}}{103}}}{404}}}{561}}}{269}}}{244}}}{847}}}{179}}}{321}}}{471}}}{800}}}{914}}}{780}}}{990}}}{150}}}{124}}}{724}}}{310}}}{559}}
\ No newline at end of file

wikidata/README.md

 # Wikidata
 
+## Source
+
+`https://www.wikidata.org/`
+
+## Description
+
+Trees represent entities from wikidata knowledge base. We use their JSON format
+and convert it to bracket notation.
+
+## Instructions
+
 Requires a `json2bracket.py` conversion script by Thomas from
 https://frosch.cosy.sbg.ac.at/thuetter/json-datasets. Currently included with
-this repository. Better, enable getting it directly from Thomas's repo.
+this repository.
+
+**TODO:** Better, enable getting it directly from Thomas's repo.
+
+Execute `download.sh` from its directory to reproduce the process. Raw data
+is part of this repository.
+
+## Examples of getting wikidata
 
 Download the latest version of an entity in JSON format (Q40 is Austria).
 Current revision as of 09.04.2020 is `1153700198`.