figures/bonnet_recursion.svg

<?xml version='1.0'?>
<!-- This file was generated by dvisvgm 1.9.2 -->
<svg height='33.9138pt' version='1.1' viewBox='119.703 58.5618 211.337 33.9138' width='211.337pt' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink'>
<defs>
<path d='M6.56538 -2.29141C6.73474 -2.29141 6.91407 -2.29141 6.91407 -2.49066S6.73474 -2.68991 6.56538 -2.68991H1.17559C1.00623 -2.68991 0.826899 -2.68991 0.826899 -2.49066S1.00623 -2.29141 1.17559 -2.29141H6.56538Z' id='g0-0'/>
<path d='M0.850809 -0.439352C0.822914 -0.348692 0.781071 -0.174346 0.781071 -0.153425C0.781071 0 0.9066 0.0697385 1.01818 0.0697385C1.14371 0.0697385 1.25529 -0.0209215 1.29016 -0.0836862S1.38082 -0.369614 1.41569 -0.516065C1.45056 -0.648568 1.52727 -0.969365 1.56912 -1.14371C1.61096 -1.29714 1.6528 -1.45056 1.68767 -1.61096C1.76438 -1.89689 1.77833 -1.95268 1.98057 -2.23861C2.17584 -2.51756 2.50361 -2.8802 3.02665 -2.8802C3.43113 -2.8802 3.43811 -2.52453 3.43811 -2.39203C3.43811 -1.9736 3.13823 -1.1995 3.02665 -0.9066C2.94994 -0.711333 2.92204 -0.648568 2.92204 -0.530012C2.92204 -0.160399 3.22889 0.0697385 3.58456 0.0697385C4.28194 0.0697385 4.58879 -0.892653 4.58879 -0.99726C4.58879 -1.08792 4.49813 -1.08792 4.47721 -1.08792C4.37958 -1.08792 4.3726 -1.04608 4.34471 -0.969365C4.18431 -0.411457 3.88443 -0.125529 3.60548 -0.125529C3.45903 -0.125529 3.43113 -0.223163 3.43113 -0.369614C3.43113 -0.530012 3.466 -0.620672 3.59153 -0.934496C3.67522 -1.15068 3.96115 -1.88991 3.96115 -2.28045C3.96115 -2.95691 3.42416 -3.07547 3.05455 -3.07547C2.47572 -3.07547 2.08518 -2.7198 1.87597 -2.44085C1.82715 -2.92204 1.41569 -3.07547 1.12976 -3.07547C0.829888 -3.07547 0.669489 -2.85928 0.578829 -2.69888C0.425405 -2.44085 0.327771 -2.04334 0.327771 -2.00847C0.327771 -1.91781 0.425405 -1.91781 0.446326 -1.91781C0.54396 -1.91781 0.550934 -1.93873 0.599751 -2.12702C0.704359 -2.53848 0.836862 -2.8802 1.10884 -2.8802C1.29016 -2.8802 1.33898 -2.72677 1.33898 -2.53848C1.33898 -2.40598 1.27621 -2.14795 1.2274 -1.95965S1.10884 -1.48543 1.07397 -1.332L0.850809 -0.439352Z' id='g3-110'/>
<path d='M3.59851 -2.22466C3.59851 -2.99178 3.50785 -3.54271 3.18705 -4.03088C2.97086 -4.35168 2.53848 -4.63064 1.98057 -4.63064C0.36264 -4.63064 0.36264 -2.72677 0.36264 -2.22466S0.36264 0.139477 1.98057 0.139477S3.59851 -1.72254 3.59851 -2.22466ZM1.98057 -0.0557908C1.65978 -0.0557908 1.23437 -0.244085 1.09489 -0.81594C0.99726 -1.2274 0.99726 -1.79925 0.99726 -2.31532C0.99726 -2.82441 0.99726 -3.35442 1.10187 -3.73798C1.24832 -4.28892 1.69465 -4.43537 1.98057 -4.43537C2.35716 -4.43537 2.7198 -4.20523 2.84533 -3.80075C2.95691 -3.42416 2.96389 -2.92204 2.96389 -2.31532C2.96389 -1.79925 2.96389 -1.28319 2.87323 -0.843836C2.73375 -0.209215 2.25953 -0.0557908 1.98057 -0.0557908Z' id='g5-48'/>
<path d='M2.33624 -4.43537C2.33624 -4.62366 2.32229 -4.63064 2.12702 -4.63064C1.6807 -4.19128 1.04608 -4.18431 0.760149 -4.18431V-3.93325C0.927522 -3.93325 1.3878 -3.93325 1.77136 -4.12852V-0.571856C1.77136 -0.341719 1.77136 -0.251059 1.07397 -0.251059H0.808966V0C0.934496 -0.00697385 1.79228 -0.0278954 2.05031 -0.0278954C2.2665 -0.0278954 3.14521 -0.00697385 3.29863 0V-0.251059H3.03362C2.33624 -0.251059 2.33624 -0.341719 2.33624 -0.571856V-4.43537Z' id='g5-49'/>
<path d='M3.52179 -1.26924H3.28468C3.26376 -1.11582 3.19402 -0.704359 3.10336 -0.63462C3.04757 -0.592777 2.51059 -0.592777 2.41295 -0.592777H1.12976C1.86202 -1.24134 2.1061 -1.43661 2.52453 -1.76438C3.0406 -2.17584 3.52179 -2.60822 3.52179 -3.27073C3.52179 -4.11457 2.78257 -4.63064 1.88991 -4.63064C1.02516 -4.63064 0.439352 -4.02391 0.439352 -3.38232C0.439352 -3.02665 0.739228 -2.99178 0.808966 -2.99178C0.976339 -2.99178 1.17858 -3.11034 1.17858 -3.36139C1.17858 -3.48692 1.12976 -3.73101 0.767123 -3.73101C0.983313 -4.22615 1.45753 -4.37958 1.78531 -4.37958C2.48269 -4.37958 2.84533 -3.83562 2.84533 -3.27073C2.84533 -2.66401 2.41295 -2.18281 2.18979 -1.93176L0.509091 -0.27198C0.439352 -0.209215 0.439352 -0.195268 0.439352 0H3.31258L3.52179 -1.26924Z' id='g5-50'/>
<path d='M3.29763 2.39103C3.29763 2.36115 3.29763 2.34122 3.12827 2.17186C1.88294 0.916563 1.56413 -0.966376 1.56413 -2.49066C1.56413 -4.22416 1.94271 -5.95766 3.16812 -7.20299C3.29763 -7.32254 3.29763 -7.34247 3.29763 -7.37235C3.29763 -7.44209 3.25778 -7.47198 3.19801 -7.47198C3.09838 -7.47198 2.20174 -6.79452 1.61395 -5.52927C1.10585 -4.43337 0.986301 -3.32752 0.986301 -2.49066C0.986301 -1.71357 1.09589 -0.508095 1.64384 0.617684C2.24159 1.84309 3.09838 2.49066 3.19801 2.49066C3.25778 2.49066 3.29763 2.46077 3.29763 2.39103Z' id='g4-40'/>
<path d='M2.8792 -2.49066C2.8792 -3.26775 2.76961 -4.47323 2.22167 -5.599C1.62391 -6.82441 0.767123 -7.47198 0.667497 -7.47198C0.607721 -7.47198 0.56787 -7.43213 0.56787 -7.37235C0.56787 -7.34247 0.56787 -7.32254 0.757161 -7.14321C1.7335 -6.15691 2.30137 -4.57285 2.30137 -2.49066C2.30137 -0.787049 1.93275 0.966376 0.697385 2.22167C0.56787 2.34122 0.56787 2.36115 0.56787 2.39103C0.56787 2.45081 0.607721 2.49066 0.667497 2.49066C0.767123 2.49066 1.66376 1.8132 2.25156 0.547945C2.75965 -0.547945 2.8792 -1.6538 2.8792 -2.49066Z' id='g4-41'/>
<path d='M2.92902 -6.37609C2.92902 -6.61519 2.92902 -6.63512 2.69988 -6.63512C2.08219 -5.99751 1.20548 -5.99751 0.886675 -5.99751V-5.68867C1.08593 -5.68867 1.67372 -5.68867 2.19178 -5.9477V-0.787049C2.19178 -0.428394 2.16189 -0.308842 1.26526 -0.308842H0.946451V0C1.29514 -0.0298879 2.16189 -0.0298879 2.5604 -0.0298879S3.82565 -0.0298879 4.17435 0V-0.308842H3.85554C2.9589 -0.308842 2.92902 -0.418431 2.92902 -0.787049V-6.37609Z' id='g4-49'/>
<path d='M1.26526 -0.767123L2.3213 -1.79328C3.87547 -3.16812 4.47323 -3.7061 4.47323 -4.70237C4.47323 -5.83811 3.57659 -6.63512 2.36115 -6.63512C1.23537 -6.63512 0.498132 -5.71856 0.498132 -4.83188C0.498132 -4.27397 0.996264 -4.27397 1.02615 -4.27397C1.19552 -4.27397 1.54421 -4.39352 1.54421 -4.80199C1.54421 -5.06102 1.36488 -5.32005 1.01619 -5.32005C0.936488 -5.32005 0.916563 -5.32005 0.886675 -5.31009C1.11582 -5.95766 1.6538 -6.32628 2.23163 -6.32628C3.13823 -6.32628 3.56663 -5.5193 3.56663 -4.70237C3.56663 -3.90535 3.06849 -3.11831 2.52055 -2.50062L0.607721 -0.368618C0.498132 -0.259029 0.498132 -0.239103 0.498132 0H4.19427L4.47323 -1.7335H4.22416C4.17435 -1.43462 4.10461 -0.996264 4.00498 -0.846824C3.93524 -0.767123 3.27771 -0.767123 3.05853 -0.767123H1.26526Z' id='g4-50'/>
<path d='M6.84433 -3.25778C6.99377 -3.25778 7.18306 -3.25778 7.18306 -3.45704S6.99377 -3.65629 6.8543 -3.65629H0.886675C0.747198 -3.65629 0.557908 -3.65629 0.557908 -3.45704S0.747198 -3.25778 0.896638 -3.25778H6.84433ZM6.8543 -1.32503C6.99377 -1.32503 7.18306 -1.32503 7.18306 -1.52428S6.99377 -1.72354 6.84433 -1.72354H0.896638C0.747198 -1.72354 0.557908 -1.72354 0.557908 -1.52428S0.747198 -1.32503 0.886675 -1.32503H6.8543Z' id='g4-61'/>
<path d='M5.18854 -1.57609C5.30012 -1.57609 5.4675 -1.57609 5.4675 -1.74346C5.4675 -1.91781 5.3071 -1.91781 5.18854 -1.91781H1.03213C0.920548 -1.91781 0.753176 -1.91781 0.753176 -1.75044C0.753176 -1.57609 0.913574 -1.57609 1.03213 -1.57609H5.18854Z' id='g1-0'/>
<path d='M2.02242 -0.00996264C2.02242 -0.667497 1.77335 -1.05604 1.38481 -1.05604C1.05604 -1.05604 0.856787 -0.806974 0.856787 -0.52802C0.856787 -0.259029 1.05604 0 1.38481 0C1.50436 0 1.63387 -0.0398506 1.7335 -0.129514C1.76339 -0.14944 1.77335 -0.159402 1.78331 -0.159402S1.80324 -0.14944 1.80324 -0.00996264C1.80324 0.727273 1.45455 1.32503 1.12578 1.6538C1.01619 1.76339 1.01619 1.78331 1.01619 1.8132C1.01619 1.88294 1.066 1.92279 1.11582 1.92279C1.2254 1.92279 2.02242 1.15567 2.02242 -0.00996264Z' id='g2-59'/>
<path d='M3.01868 -3.14819H4.71233C6.12702 -3.14819 7.51183 -4.18431 7.51183 -5.30012C7.51183 -6.06725 6.8543 -6.80448 5.54919 -6.80448H2.3213C2.132 -6.80448 2.02242 -6.80448 2.02242 -6.61519C2.02242 -6.49564 2.11208 -6.49564 2.31133 -6.49564C2.44085 -6.49564 2.62017 -6.48568 2.73973 -6.47572C2.89913 -6.45579 2.9589 -6.4259 2.9589 -6.31631C2.9589 -6.27646 2.94894 -6.24658 2.91905 -6.12702L1.58406 -0.777086C1.48443 -0.388543 1.46451 -0.308842 0.67746 -0.308842C0.508095 -0.308842 0.398506 -0.308842 0.398506 -0.119552C0.398506 0 0.518057 0 0.547945 0C0.826899 0 1.53425 -0.0298879 1.8132 -0.0298879C2.02242 -0.0298879 2.24159 -0.0199253 2.45081 -0.0199253C2.66999 -0.0199253 2.88917 0 3.09838 0C3.16812 0 3.29763 0 3.29763 -0.199253C3.29763 -0.308842 3.20797 -0.308842 3.01868 -0.308842C2.65006 -0.308842 2.37111 -0.308842 2.37111 -0.488169C2.37111 -0.547945 2.39103 -0.597758 2.401 -0.657534L3.01868 -3.14819ZM3.73599 -6.11706C3.82565 -6.46575 3.84558 -6.49564 4.27397 -6.49564H5.23039C6.05729 -6.49564 6.58531 -6.22665 6.58531 -5.53923C6.58531 -5.15068 6.38605 -4.2939 5.99751 -3.93524C5.49938 -3.48692 4.90162 -3.40722 4.46326 -3.40722H3.05853L3.73599 -6.11706Z' id='g2-80'/>
<path d='M0.876712 -0.587796C0.846824 -0.438356 0.787049 -0.209215 0.787049 -0.159402C0.787049 0.0199253 0.926526 0.109589 1.07597 0.109589C1.19552 0.109589 1.37484 0.0298879 1.44458 -0.169365C1.45455 -0.18929 1.5741 -0.657534 1.63387 -0.9066L1.85305 -1.80324C1.91283 -2.02242 1.9726 -2.24159 2.02242 -2.47073C2.06227 -2.6401 2.14197 -2.92902 2.15193 -2.96887C2.30137 -3.27771 2.82939 -4.18431 3.77584 -4.18431C4.22416 -4.18431 4.31382 -3.81569 4.31382 -3.48692C4.31382 -2.86924 3.82565 -1.59402 3.66625 -1.16563C3.57659 -0.936488 3.56663 -0.816936 3.56663 -0.707347C3.56663 -0.239103 3.91532 0.109589 4.38356 0.109589C5.32005 0.109589 5.68867 -1.34496 5.68867 -1.42466C5.68867 -1.52428 5.599 -1.52428 5.56912 -1.52428C5.46949 -1.52428 5.46949 -1.4944 5.41968 -1.34496C5.22042 -0.667497 4.89166 -0.109589 4.40349 -0.109589C4.23412 -0.109589 4.16438 -0.209215 4.16438 -0.438356C4.16438 -0.687422 4.25405 -0.926526 4.34371 -1.1457C4.533 -1.67372 4.95143 -2.76961 4.95143 -3.33748C4.95143 -4.00498 4.52304 -4.40349 3.80573 -4.40349C2.90909 -4.40349 2.42092 -3.76588 2.25156 -3.53674C2.20174 -4.09465 1.79328 -4.40349 1.33499 -4.40349S0.687422 -4.01494 0.587796 -3.83562C0.428394 -3.49689 0.288917 -2.90909 0.288917 -2.86924C0.288917 -2.76961 0.388543 -2.76961 0.408468 -2.76961C0.508095 -2.76961 0.518057 -2.77958 0.577833 -2.99875C0.747198 -3.7061 0.946451 -4.18431 1.30511 -4.18431C1.50436 -4.18431 1.61395 -4.05479 1.61395 -3.72603C1.61395 -3.51681 1.58406 -3.40722 1.45455 -2.88917L0.876712 -0.587796Z' id='g2-110'/>
<path d='M3.32752 -3.00872C3.3873 -3.26775 3.61644 -4.18431 4.31382 -4.18431C4.36364 -4.18431 4.60274 -4.18431 4.81196 -4.05479C4.533 -4.00498 4.33375 -3.75592 4.33375 -3.51681C4.33375 -3.35741 4.44334 -3.16812 4.71233 -3.16812C4.93151 -3.16812 5.25031 -3.34745 5.25031 -3.74595C5.25031 -4.26401 4.66252 -4.40349 4.32379 -4.40349C3.74595 -4.40349 3.39726 -3.87547 3.27771 -3.64633C3.02864 -4.30386 2.49066 -4.40349 2.20174 -4.40349C1.16563 -4.40349 0.597758 -3.11831 0.597758 -2.86924C0.597758 -2.76961 0.697385 -2.76961 0.71731 -2.76961C0.797011 -2.76961 0.826899 -2.78954 0.846824 -2.8792C1.18555 -3.93524 1.84309 -4.18431 2.18182 -4.18431C2.37111 -4.18431 2.7198 -4.09465 2.7198 -3.51681C2.7198 -3.20797 2.55044 -2.54047 2.18182 -1.1457C2.02242 -0.52802 1.67372 -0.109589 1.23537 -0.109589C1.17559 -0.109589 0.946451 -0.109589 0.737235 -0.239103C0.986301 -0.288917 1.20548 -0.498132 1.20548 -0.777086C1.20548 -1.04608 0.986301 -1.12578 0.836862 -1.12578C0.537983 -1.12578 0.288917 -0.86675 0.288917 -0.547945C0.288917 -0.0896638 0.787049 0.109589 1.2254 0.109589C1.88294 0.109589 2.24159 -0.587796 2.27148 -0.647572C2.39103 -0.278954 2.74969 0.109589 3.34745 0.109589C4.3736 0.109589 4.94147 -1.17559 4.94147 -1.42466C4.94147 -1.52428 4.85181 -1.52428 4.82192 -1.52428C4.73225 -1.52428 4.71233 -1.48443 4.6924 -1.41469C4.36364 -0.348692 3.68618 -0.109589 3.36737 -0.109589C2.97883 -0.109589 2.81943 -0.428394 2.81943 -0.767123C2.81943 -0.986301 2.8792 -1.20548 2.98879 -1.64384L3.32752 -3.00872Z' id='g2-120'/>
</defs>
<g id='page1'>
<use x='119.703' xlink:href='#g2-80' y='66.0059'/>
<use x='126.075' xlink:href='#g5-48' y='67.5003'/>
<use x='130.545' xlink:href='#g4-40' y='66.0059'/>
<use x='134.405' xlink:href='#g2-120' y='66.0059'/>
<use x='140.077' xlink:href='#g4-41' y='66.0059'/>
<use x='146.705' xlink:href='#g4-61' y='66.0059'/>
<use x='157.192' xlink:href='#g4-49' y='66.0059'/>
<use x='162.154' xlink:href='#g2-59' y='66.0059'/>
<use x='166.572' xlink:href='#g2-80' y='66.0059'/>
<use x='172.944' xlink:href='#g5-49' y='67.5003'/>
<use x='177.413' xlink:href='#g4-40' y='66.0059'/>
<use x='181.273' xlink:href='#g2-120' y='66.0059'/>
<use x='186.946' xlink:href='#g4-41' y='66.0059'/>
<use x='193.573' xlink:href='#g4-61' y='66.0059'/>
<use x='204.06' xlink:href='#g2-120' y='66.0059'/>
<use x='209.733' xlink:href='#g2-59' y='66.0059'/>
<use x='119.703' xlink:href='#g2-80' y='85.6418'/>
<use x='126.075' xlink:href='#g3-110' y='87.1362'/>
<use x='131.498' xlink:href='#g4-40' y='85.6418'/>
<use x='135.358' xlink:href='#g2-120' y='85.6418'/>
<use x='141.031' xlink:href='#g4-41' y='85.6418'/>
<use x='147.658' xlink:href='#g4-61' y='85.6418'/>
<use x='159.84' xlink:href='#g4-49' y='78.902'/>
<rect height='0.398484' width='5.97993' x='159.341' y='82.9519'/>
<use x='159.341' xlink:href='#g2-110' y='92.4756'/>
<use x='168.177' xlink:href='#g4-40' y='85.6418'/>
<use x='172.051' xlink:href='#g4-40' y='85.6418'/>
<use x='175.911' xlink:href='#g4-50' y='85.6418'/>
<use x='180.874' xlink:href='#g2-110' y='85.6418'/>
<use x='189.045' xlink:href='#g0-0' y='85.6418'/>
<use x='198.979' xlink:href='#g4-49' y='85.6418'/>
<use x='203.941' xlink:href='#g4-41' y='85.6418'/>
<use x='207.801' xlink:href='#g2-120' y='85.6418'/>
<use x='213.474' xlink:href='#g2-80' y='85.6418'/>
<use x='219.846' xlink:href='#g3-110' y='87.1362'/>
<use x='224.753' xlink:href='#g1-0' y='87.1362'/>
<use x='230.956' xlink:href='#g5-49' y='87.1362'/>
<use x='235.467' xlink:href='#g4-40' y='85.6418'/>
<use x='239.327' xlink:href='#g2-120' y='85.6418'/>
<use x='245' xlink:href='#g4-41' y='85.6418'/>
<use x='251.074' xlink:href='#g0-0' y='85.6418'/>
<use x='261.007' xlink:href='#g4-40' y='85.6418'/>
<use x='264.867' xlink:href='#g2-110' y='85.6418'/>
<use x='273.039' xlink:href='#g0-0' y='85.6418'/>
<use x='282.972' xlink:href='#g4-49' y='85.6418'/>
<use x='287.935' xlink:href='#g4-41' y='85.6418'/>
<use x='291.795' xlink:href='#g2-80' y='85.6418'/>
<use x='298.167' xlink:href='#g3-110' y='87.1362'/>
<use x='303.074' xlink:href='#g1-0' y='87.1362'/>
<use x='309.277' xlink:href='#g5-50' y='87.1362'/>
<use x='313.788' xlink:href='#g4-40' y='85.6418'/>
<use x='317.648' xlink:href='#g2-120' y='85.6418'/>
<use x='323.321' xlink:href='#g4-41' y='85.6418'/>
<use x='327.18' xlink:href='#g4-41' y='85.6418'/>
</g>
</svg>