LifeWiki:Spaceship Search Status Page: Difference between revisions

From LifeWiki
Jump to navigation Jump to search
← Older editNewer edit →
Sokwe (talk | contribs)
Interface administrators, Moderators
4,719 edits
References should point to the proof of minimality, not the spaceship discovery for the minimum width.
Tag: Undo
Added some results using a modified version of qfind
Line 89: Line 89:
| (2,0)c/6
| (2,0)c/6
| style="background: #80ff80;" | 12
| style="background: #80ff80;" | 12
| style="background: #80ff80;" | 17
| style="background: #80ff80;" | 17<ref name="merz1"/>
| style="background: #80ff80;" | 18<ref name="coe5">{{cite web|url=http://conwaylife.com/forums/viewtopic.php?f=2&t=2031&start=50#p29960|title=Re: Spaceship Discussion Thread|author=Tim Coe|date=April 13, 2016|accessdate=April 13, 2016}}</ref>
| style="background: #80ff80;" | 18<ref name="coe5">{{cite web|url=http://conwaylife.com/forums/viewtopic.php?f=2&t=2031&start=50#p29960|title=Re: Spaceship Discussion Thread|author=Tim Coe|date=April 13, 2016|accessdate=April 13, 2016}}</ref><ref name="merz1"/>
| style="background: #80ff80;" | 19
| style="background: #80ff80;" | 19<ref name="merz1"/>
| style="background: #80ff80;" | 17
| style="background: #80ff80;" | 17
| style="background: #80ff80;" | 18<ref name="coe5" />
| style="background: #80ff80;" | 18<ref name="coe5" />
Line 168: Line 168:
|-
|-
| (2,0)c/8
| (2,0)c/8
| style="background: #ffa0a0;" | 8
| style="background: #ffa0a0;" | 8<ref name="merz1"/>
| style="background: #80ff80;" | 15<ref name="coe7">{{cite web|url=http://www.conwaylife.com/forums/viewtopic.php?f=2&t=2031&start=50#p30299|title=Re: Spaceship Discussion Thread|author=Tim Coe|date=April 21, 2016|accessdate=April 21, 2016}}</ref>
| style="background: #80ff80;" | 15<ref name="coe7">{{cite web|url=http://www.conwaylife.com/forums/viewtopic.php?f=2&t=2031&start=50#p30299|title=Re: Spaceship Discussion Thread|author=Tim Coe|date=April 21, 2016|accessdate=April 21, 2016}}</ref><ref name="merz1"/>
| style="background: #ffa0a0;" | 16<ref name="coe7"/>
| style="background: #ffa0a0;" | 16<ref name="coe7"/><ref name="merz1"/>
| style="background: #80ff80;" | 17<ref name="coe7"/>
| style="background: #80ff80;" | 17<ref name="coe7"/><ref name="merz1"/>
| style="background: #80ff80;" | 13
| style="background: #80ff80;" | 13
| style="background: #ffa0a0;" | 14
| style="background: #ffa0a0;" | 14
Line 208: Line 208:
|-
|-
| (4,0)c/8
| (4,0)c/8
| style="background: #ffa0a0;" | 10
| style="background: #ffa0a0;" | 10<ref name="merz1"/>
| style="background: #80ff80;" | 17
| style="background: #80ff80;" | 17<ref name="merz1"/>
| style="background: #ffa0a0;" | 14
| style="background: #80ff80;" | 20<ref name="merz1"/>
| style="background: #ffa0a0;" | 15
| style="background: #80ff80;" | 19<ref name="merz1"/>
| style="background: #80ff80;" | 17
| style="background: #80ff80;" | 17
| style="background: #ffa0a0;" | 14
| style="background: #ffa0a0;" | 14
Line 256: Line 256:
|-
|-
| (3,0)c/9
| (3,0)c/9
| style="background: #ffa0a0;" | 8
| style="background: #ffa0a0;" | 8<ref name="merz1"/>
| style="background: #ffa0a0;" | 13
| style="background: #80ff80;" | 17<ref name="merz1"/>
| style="background: #ffa0a0;" | 10
| style="background: #ffa0a0;" | 14<ref name="merz1"/>
| style="background: #ffa0a0;" | 15
| style="background: #ffa0a0;" | 17<ref name="merz1"/>
| style="background: #c0c0c0;" | -
| style="background: #c0c0c0;" | -
| style="background: #c0c0c0;" | -
| style="background: #c0c0c0;" | -
Line 344: Line 344:
|-
|-
| (4,0)c/10
| (4,0)c/10
| style="background: #ffa0a0;" | 8
| style="background: #ffa0a0;" | 8<ref name="merz1"/>
| style="background: #80ff80;" | 15
| style="background: #80ff80;" | 15<ref name="merz1"/>
| style="background: #ffa0a0;" | 16
| style="background: #ffa0a0;" | 16<ref name="merz1"/>
| style="background: #ffa0a0;" | 13
| style="background: #ffa0a0;" | 15<ref name="merz1"/>
| style="background: #80ff80;" | 15<ref name="coe3">{{cite web|url=http://www.conwaylife.com/forums/viewtopic.php?f=2&t=1834&start=75#p27167|title=Re: 3c/7 othogonal and 2c/9 diagonal spaceships|author=Tim Coe|date=February 1, 2016|accessdate=March 5, 2016}}</ref>
| style="background: #80ff80;" | 15<ref name="coe3">{{cite web|url=http://www.conwaylife.com/forums/viewtopic.php?f=2&t=1834&start=75#p27167|title=Re: 3c/7 othogonal and 2c/9 diagonal spaceships|author=Tim Coe|date=February 1, 2016|accessdate=March 5, 2016}}</ref>
| style="background: #ffa0a0;" | 16<ref name="coe3"/>
| style="background: #ffa0a0;" | 16<ref name="coe3"/>
Line 464: Line 464:
|}
|}


  x = 1001, y = 532, rule = B3/S23
  x = 1041, y = 565, rule = B3/S23
  39b3ob3o153b3ob3o209b3o2b4o2b3o200b3ob3o195b3o153b3o4b3o$38bo2bobo2bo
  39b3ob3o153b3ob3o209b3o2b4o2b3o220b3ob3o215b3o153b3o4b3o$38bo2bobo2bo
  151bo2bobo2bo207bo3bob4obo3bo198bo2bobo2bo193bo2bo153bo2bo3bo2bo$37bo
  151bo2bobo2bo207bo3bob4obo3bo218bo2bobo2bo213bo2bo153bo2bo3bo2bo$37bo
  3bobo3bo149bo3bobo3bo205bo6bo2bo6bo196bo3bobo3bo195bo153bo6bo$37bo9bo
  3bobo3bo149bo3bobo3bo205bo6bo2bo6bo216bo3bobo3bo215bo153bo6bo$37bo9bo
  149bo9bo205bo3b2o6b2o3bo196bo9bo195bo153bo6bo$39bo5bo153bo5bo209bo12bo
  149bo9bo205bo3b2o6b2o3bo216bo9bo215bo153bo6bo$39bo5bo153bo5bo209bo12bo
  200bo5bo194bobo155bobo4bobo$36bobo7bobo147bobo7bobo203bobo14bobo194bob
  220bo5bo214bobo155bobo4bobo$36bobo7bobo147bobo7bobo203bobo14bobo214bob
  o7bobo$35b2obob2ob2obob2o145b2obob2ob2obob2o201b2obob2o8b2obob2o192b2o
  o7bobo$35b2obob2ob2obob2o145b2obob2ob2obob2o201b2obob2o8b2obob2o212b2o
  bob2ob2obob2o$34bobobo2bobo2bobobo143bobobo2bobo2bobobo199bobobob2o8b
  bob2ob2obob2o$34bobobo2bobo2bobobo143bobobo2bobo2bobobo199bobobob2o8b
  2obobobo190bobobo2bobo2bobobo$33b2obo4bobo4bob2o141b2obo4bobo4bob2o
  2obobobo210bobobo2bobo2bobobo$33b2obo4bobo4bob2o141b2obo4bobo4bob2o
  197b2o3bo2bo8bo2bo3b2o188b2obo4bobo4bob2o$32bo3bob2obobob2obo3bo139bo
  197b2o3bo2bo8bo2bo3b2o208b2obo4bobo4bob2o$32bo3bob2obobob2obo3bo139bo
  3bob2obobob2obo3bo195bo3bobo2b2o6b2o2bobo3bo186bo3bob2obobob2obo3bo$
  3bob2obobob2obo3bo195bo3bobo2b2o6b2o2bobo3bo206bo3bob2obobob2obo3bo$
  36bo4bobo4bo147bo4bobo4bo202bo20bo193bo4bobo4bo$32b2o3bo2bo3bo2bo3b2o
  36bo4bobo4bo147bo4bobo4bo202bo20bo213bo4bobo4bo$32b2o3bo2bo3bo2bo3b2o
  139b2o3bo2bo3bo2bo3b2o195b2o24b2o186b2o3bo2bo3bo2bo3b2o9$832bo158b2o$
  139b2o3bo2bo3bo2bo3b2o195b2o24b2o206b2o3bo2bo3bo2bo3b2o9$872bo158b2o$
  831bobo153b2obo2bob2o$830bo3bo152b2o6b2o$831b3o153bobo4bobo$989b2o2b2o
  871bobo153b2obo2bob2o$870bo3bo152b2o6b2o$871b3o153bobo4bobo$1029b2o2b
  $829b2o3b2o152b2ob2ob2o$826b2o3bobo3b2o151bo2bo$826b2o3bobo3b2o149bo6b
  2o$869b2o3b2o152b2ob2ob2o$866b2o3bobo3b2o151bo2bo$866b2o3bobo3b2o149bo
  o$824b2o5bobo5b2o147bo6bo$828b2obobob2o$41b2o159bo218b2o202b3o9b3o184b
  6bo$864b2o5bobo5b2o147bo6bo$868b2obobob2o$41b2o159bo218b2o222b3o9b3o
  o6bobo6bo147b8o$37b2obo2bob2o154bobo213b2obo2bob2o197bobob2o5b2obobo
  204bo6bobo6bo147b8o$37b2obo2bob2o154bobo213b2obo2bob2o217bobob2o5b2obo
  186b2o2bobo2b2o149b2o6b2o$37b2o6b2o153bo3bo212b2o6b2o197bobobo7bobobo
  bo206b2o2bobo2b2o149b2o6b2o$37b2o6b2o153bo3bo212b2o6b2o217bobobo7bobob
  184bo2bobo3bobo2bo$37bobo4bobo154b3o213bobo4bobo198bob2ob2ob2ob2obo
  o204bo2bobo3bobo2bo$37bobo4bobo154b3o213bobo4bobo218bob2ob2ob2ob2obo
  185b2o11b2o151b2o$39b2o2b2o374b2o2b2o204bobobobo189b2o11b2o150bo2bo$
  205b2o11b2o151b2o$39b2o2b2o374b2o2b2o224bobobobo209b2o11b2o150bo2bo$
  38b2ob2ob2o153b2o3b2o212b2ob2ob2o201bobobobobobo190bo7bo$40bo2bo153bo
  38b2ob2ob2o153b2o3b2o212b2ob2ob2o221bobobobobobo210bo7bo$40bo2bo153bo
  3bobo3bo212bo2bo202b2obobobobob2o189b3o3b3o153bo2bo$38bo6bo150b2o3bobo
  3bobo3bo212bo2bo222b2obobobobob2o209b3o3b3o153bo2bo$38bo6bo150b2o3bobo
  3b2o209bo6bo200b3o2bobo2b3o191bo3bo151b3ob4ob3o$38bo6bo149bo5bobo5bo
  3b2o209bo6bo220b3o2bobo2b3o211bo3bo151b3ob4ob3o$38bo6bo149bo5bobo5bo
  208bo6bo200b2o2bo3bo2b2o188b2obo3bob2o147bo12bo$196bob2obobob2obo416bo
  208bo6bo220b2o2bo3bo2b2o208b2obo3bob2o147bo12bo$196bob2obobob2obo436bo
  4b2ob2o4bo189b2o3b2o150bob2o4b2obo$38b8o372b8o199bo13bo189bobobobo154b
  4b2ob2o4bo209b2o3b2o150bob2o4b2obo$38b8o372b8o219bo13bo209bobobobo154b
  4o$37b2o6b2o370b2o6b2o560bo2b4o2bo$829bo2bo2bo152b2ob2ob2o$830b2ob2o
  4o$37b2o6b2o370b2o6b2o600bo2b4o2bo$869bo2bo2bo152b2ob2ob2o$870b2ob2o
  152bob6obo$829b2o3b2o151bo8bo$826b2obo5bob2o$826b2o3b3o3b2o146bo5b2o5b
  152bob6obo$869b2o3b2o151bo8bo$866b2obo5bob2o$866b2o3b3o3b2o146bo5b2o5b
  o$826bob9obo145b2o3b2o2b2ob4o$830b2ob2o148bo2b4o4bobo3bo$830bo3bo152bo
  o$866bob9obo145b2o3b2o2b2ob4o$870b2ob2o148bo2b4o4bobo3bo$870bo3bo152bo
  bo3b2obo$828bo2bobo2bo149b3o6b2o$829bobobobo150bo8b2o$831bobo$826bo3bo
  bo3b2obo$868bo2bobo2bo149b3o6b2o$869bobobobo150bo8b2o$871bobo$866bo3bo
  3bo3bo$825b3o2bobobo2b3o$824bo3bobo3bobo3bo$825bobo2bob2o2bo2bo$829b5o
  3bo3bo$865b3o2bobobo2b3o$864bo3bobo3bobo3bo$865bobo2bob2o2bo2bo$869b5o
  2b2o$832bo3bo$833bobo$5b2o38bo29b3o122bo3bo33b3o3b3o171bo6bo31b3o4b3o
  2b2o$872bo3bo$873bobo$5b2o38bo29b3o122bo3bo33b3o3b3o171bo6bo31b3o4b3o
  162b3ob3o32b3o3b3o155bobo$4b2o39bo29bo2bo121bo3bo32bo2bo3bo2bo170bo6bo
  182b3ob3o32b3o3b3o175bobo$4b2o39bo29bo2bo121bo3bo32bo2bo3bo2bo170bo6bo
  30bo2bo4bo2bo162bo3bo32bo2bo3bo2bo$6bo37bobo28bo123bobobobo34bo3bo172b
  30bo2bo4bo2bo182bo3bo32bo2bo3bo2bo$6bo37bobo28bo123bobobobo34bo3bo172b
  obo4bobo32bo4bo205bo3bo$75bo164bo3bo214bo4bo162b2o7b2o32bo3bo$43bo32bo
  obo4bobo32bo4bo225bo3bo$75bo164bo3bo214bo4bo182b2o7b2o32bo3bo$43bo32bo
  bo120bobobobo31bobo5bobo208bobo6bobo159b5ob5o29bobo5bobo$41b3o157bobo
  bo120bobobobo31bobo5bobo208bobo6bobo179b5ob5o29bobo5bobo$41b3o157bobo
  214bo6bo198b2o3bobobobo3b2o$40bo2bo154bobo3bobo210b3ob2ob3o198b4o2bobo
  214bo6bo218b2o3bobobobo3b2o$40bo2bo154bobo3bobo210b3ob2ob3o218b4o2bobo
  2b4o$37b3o3bo154bobo3bobo210b3ob2ob3o203bo3bo$40b3o155bo2b3o2bo209bo2b
  2b4o$37b3o3bo154bobo3bobo210b3ob2ob3o223bo3bo$40b3o155bo2b3o2bo209bo2b
  o4bo2bo$40b2o2b2o370b2o3b2o3b2o201b2o3b2o$37bobo2bo3bo150b2o7b2o207b2o
  o4bo2bo$40b2o2b2o370b2o3b2o3b2o221b2o3b2o$37bobo2bo3bo150b2o7b2o207b2o
  bob4obob2o197b3o7b3o$40b2o4bo150bo9bo210bobo2bobo200b2o9b2o$39bobob2o
  bob4obob2o217b3o7b3o$40b2o4bo150bo9bo210bobo2bobo220b2o9b2o$39bobob2o
  153bo7bo210b3o4b3o202b2o3b2o$39bo157b2ob5ob2o210bo6bo204bo3bo$39b3o
  153bo7bo210b3o4b3o222b2o3b2o$39bo157b2ob5ob2o210bo6bo224bo3bo$39b3o
  156bo2bobo2bo208bobo8bobo200b2o3b2o$38bo2bo157bobobobo209bobo3b2o3bobo
  156bo2bobo2bo208bobo8bobo220b2o3b2o$38bo2bo157bobobobo209bobo3b2o3bobo
  198bo2bo3bo2bo$38bo2bo376b3o2b3o201bo2bo3bo2bo$200b2ob2o210bo4bo2bo4bo
  218bo2bo3bo2bo$38bo2bo376b3o2b3o221bo2bo3bo2bo$200b2ob2o210bo4bo2bo4bo
  197bo11bo$39b2ob2o156bo3bo210bo4bo2bo4bo199b2o5b2o$38bo2b3o155b2o3b2o
  217bo11bo$39b2ob2o156bo3bo210bo4bo2bo4bo219b2o5b2o$38bo2b3o155b2o3b2o
  210bo10bo$39bo159b2o3b2o212b2o4b2o202b2o5b2o193bo3bo32bo5bo$41b2o376bo
  210bo10bo$39bo159b2o3b2o212b2o4b2o222b2o5b2o213bo3bo32bo5bo$41b2o376bo
  b2obo204bo5bo194bo3bo31b3o3b3o$38b2obob2o374b6o404bobobobo29b2obo3bob
  b2obo224bo5bo214bo3bo31b3o3b3o$38b2obob2o374b6o444bobobobo29b2obo3bob
  2o$41bo2bo373bo6bo203b2o3b2o229bob2o3b2obo$43b2o373bo2b2o2bo403bobobob
  2o$41bo2bo373bo6bo223b2o3b2o249bob2o3b2obo$43b2o373bo2b2o2bo443bobobob
  o27b2o2b7o2b2o$40bo2bo374bo6bo405bobo32bob5obo$42bo376b2o2b2o403bobo3b
  o27b2o2b7o2b2o$40bo2bo374bo6bo445bobo32bob5obo$42bo376b2o2b2o443bobo3b
  obo28bo4bo4bo$39b2o3bo374b2o2b2o403bobo3bobo$43b2o783bo2b3o2bo25b3o11b
  obo28bo4bo4bo$39b2o3bo374b2o2b2o443bobo3bobo$43b2o823bo2b3o2bo25b3o11b
  3o$41b2obo820b2o7b2o$827b2o7b2o24b3o11b3o$43b3o781bo9bo24b2ob2o7b2ob2o
  3o$41b2obo860b2o7b2o$867b2o7b2o24b3o11b3o$43b3o821bo9bo24b2ob2o7b2ob2o
  $42b4o782bo7bo27bo5bo5bo$41bo2bo782b2ob5ob2o27bo3b3o3bo$43bo784bo2bobo
  $42b4o822bo7bo27bo5bo5bo$41bo2bo822b2ob5ob2o27bo3b3o3bo$43bo824bo2bobo
  2bo31b5o$43bo785bobobobo28bo11bo$40b2o823b4o3b4o$40b3o787b2ob2o33b2ob
  2bo31b5o$43bo825bobobobo28bo11bo$40b2o863b4o3b4o$40b3o827b2ob2o33b2ob
  2o$41bo788bo3bo34b3o$42bo786b2o3b2o31b2obob2o$42b2o158bo36bo5bo583b2o
  2o$41bo828bo3bo34b3o$42bo826b2o3b2o31b2obob2o$42b2o158bo36bo5bo623b2o
  3b2o29b2obobobob2o$202bo35b3o3b3o618b2ob2ob2ob2o$43bo158bo34bo2bo3bo2b
  3b2o29b2obobobob2o$202bo35b3o3b3o658b2ob2ob2ob2o$43bo158bo34bo2bo3bo2b
  o581b2o3b2o28bo2bo5bo2bo$41b2o155bo3bo3bo29b3o7b3o579bo2bobo2bo26b2o3b
  o621b2o3b2o28bo2bo5bo2bo$41b2o155bo3bo3bo29b3o7b3o619bo2bobo2bo26b2o3b
  o3bo3b2o$195bobob2obob2obobo27bobo5bobo583bobo30bo11bo$194b2obobob3obo
  o3bo3b2o$195bobob2obob2obobo27bobo5bobo623bobo30bo11bo$194b2obobob3obo
  bob2o28b2o3b2o582bo2bobo2bo31b2ob2o$193bo3bo9bo3bo23bo4bo3bo4bo577b2ob
  bob2o28b2o3b2o622bo2bobo2bo31b2ob2o$193bo3bo9bo3bo23bo4bo3bo4bo617b2ob
  2ob2ob2o28b3o2bo$193bobobob2o3b2obobobo28bo3bo582b4obob4o29b3ob3o$197b
  2ob2ob2o28b3o2bo$193bobobob2o3b2obobobo28bo3bo622b4obob4o29b3ob3o$197b
  2obo3bob2o27b2o3bo3bo3b2o581b3o32b2o2b4o$194b2obo9bob2o26bo2bo3bo2bo
  2obo3bob2o27b2o3bo3bo3b2o621b3o32b2o2b4o$194b2obo9bob2o26bo2bo3bo2bo
  584bo$197b2o2bobo2b2o31bo5bo175b2o32bo12bo157bo11bo30bo5bo190b2o$197bo
  624bo$197b2o2bobo2b2o31bo5bo175b2o32bo12bo177bo11bo30bo5bo210b2o$197bo
  bobobobobo213b2o31bobo10bobo154b2obobo5bobob2o27b3o3b3o155bo33b2o5bo$
  bobobobobo213b2o31bobo10bobo174b2obobo5bobob2o27b3o3b3o175bo33b2o5bo$
  199bobobobo213bob2obo28b2ob2o8b2ob2o156bob2o3b2obo29bo2bo3bo2bo153b4o
  199bobobobo213bob2obo28b2ob2o8b2ob2o176bob2o3b2obo29bo2bo3bo2bo173b4o
  31b2o3b2obo$199bobobobo211b3o4b3o26b2o14b2o153b2obo3bobo3bob2o25b3o7b
  31b2o3b2obo$199bobobobo211b3o4b3o26b2o14b2o173b2obo3bobo3bob2o25b3o7b
  3o150b2o3b2o29b2o4bo2b2o$199bobobobo208b2o12b2o25bo12bo155b3o2bobobobo
  3o170b2o3b2o29b2o4bo2b2o$199bobobobo208b2o12b2o25bo12bo175b3o2bobobobo
  2b3o26bobo5bobo151b2o3b2o30bo2b3o2b2o$196b2obobobobob2o205b2o2bob4obo
  2b3o26bobo5bobo171b2o3b2o30bo2b3o2b2o$196b2obobobobob2o205b2o2bob4obo
  2b2o25b4o6b4o160bobobobo33b2o3b2o152bob3o2bo31bo5b3o$195bobobobobobobo
  2b2o25b4o6b4o180bobobobo33b2o3b2o172bob3o2bo31bo5b3o$195bobobobobobobo
  bo208bobo2bobo29bo2b2o4b2o2bo157bo2bobobobo2bo26bo4bo3bo4bo147bo2b2o2b
  bo208bobo2bobo29bo2b2o4b2o2bo177bo2bobobobo2bo26bo4bo3bo4bo167bo2b2o2b
  o30bo5bo2b2o$196bo2bobobobo2bo247b2o2bo2bo2b2o159bobobobobobo32bo3bo
  o30bo5bo2b2o$196bo2bobobobo2bo247b2o2bo2bo2b2o179bobobobobobo32bo3bo
  153bo2bo2bo29bobo4bo2b2o$198bo2bobo2bo210b2o6b2o30b2ob4ob2o160b3obobob
  173bo2bo2bo29bobo4bo2b2o$198bo2bobo2bo210b2o6b2o30b2ob4ob2o180b3obobob
  3o27b2o3bo3bo3b2o149b2o33b5o5b3o$414b6o4b6o28bobo2bobo159bo2b3o3b3o2bo
  3o27b2o3bo3bo3b2o169b2o33b5o5b3o$414b6o4b6o28bobo2bobo179bo2b3o3b3o2bo
  27bo2bo3bo2bo153bo33b2o$2b3o35bo38bo334bobo10bobo29bo4bo165b2ob2o34bo
  27bo2bo3bo2bo173bo33b2o$2b3o35bo38bo334bobo10bobo29bo4bo185b2ob2o34bo
  5bo155bo2bo29bo$bo37b5o34bobo117b3o3b3o207bob2o8b2obo195b2o11b2o191bo
  5bo175bo2bo29bo$bo37b5o34bobo117b3o3b3o207bob2o8b2obo215b2o11b2o211bo
  32b3o2b3o$o5bo31bo3bobo32b2ob2o113bo3b2o3b2o3bo204bob2o8b2obo28bo6bo
  32b3o2b3o$o5bo31bo3bobo32b2ob2o113bo3b2o3b2o3bo204bob2o8b2obo28bo6bo
  159b2o11b2o191b2o35bo2bo4bo$o5bo31bobobobo32bo2b2o112b3o4bobo4b3o202b
  179b2o11b2o211b2o35bo2bo4bo$o5bo31bobobobo32bo2b2o112b3o4bobo4b3o202b
  2ob2o8b2ob2o25b2ob2o2b2ob2o158b3o7b3o192b2o32b3o4b2o2bo$b2obo34b2ob2o
  2ob2o8b2ob2o25b2ob2o2b2ob2o178b3o7b3o212b2o32b3o4b2o2bo$b2obo34b2ob2o
  32b3o119bo2bobo2bo206b2obo10bob2o26bo8bo157b2o2bo7bo2b2o187bo7bo26bo2b
  32b3o119bo2bobo2bo206b2obo10bob2o26bo8bo177b2o2bo7bo2b2o207bo7bo26bo2b
  2o6bobo$3o2bob2o31b3o31b2o4b2o115bobobobobobo206bobo10bobo27b2o6b2o
  2o6bobo$3o2bob2o31b3o31b2o4b2o115bobobobobobo206bobo10bobo27b2o6b2o
  157bobobo7bobobo186b3o6bobo28bobo5b2o$bo5bo66b4o117bo5bobo5bo206bo2b2o
  177bobobo7bobobo206b3o6bobo28bobo5b2o$bo5bo66b4o117bo5bobo5bo206bo2b2o
  2b2o2bo399bobo5bo2bo23bo7bo5bo$8bo31b3o29bo5b2o115bo5bobo5bo205bo4bo2b
  2b2o2bo439bobo5bo2bo23bo7bo5bo$8bo31b3o29bo5b2o115bo5bobo5bo205bo4bo2b
  o4bo197bo11bo192b2o2b3o33bo$b2o38bob2o29b3obo117b5o3b5o212b2o202bobob
  o4bo217bo11bo212b2o2b3o33bo$b2o38bob2o29b3obo117b5o3b5o212b2o222bobob
  2o3b2obobo186b2o4bo3bo35bobo$3o33b3o3b2o33bo342bo2bo205b2o3b2o190b2o5b
  2o3b2obobo206b2o4bo3bo35bobo$3o33b3o3b2o33bo342bo2bo225b2o3b2o210b2o5b
  2o29b2o$o3b2o30b3o36bobo553bobo193bo2bo$3o34bob3o31bobo340b4o4b4o198bo
  2o29b2o$o3b2o30b3o36bobo573bobo213bo2bo$3o34bob3o31bobo340b4o4b4o218bo
  bob2ob2obobo191bobo$2o7b2o28bo32bobo338b3o2b2ob2ob2o2b3o197b2obobob2o$
  bob2ob2obobo211bobo$2o7b2o28bo32bobo338b3o2b2ob2ob2o2b3o217b2obobob2o$
  bo5bo3bo27b3o35bo337bo5b2o5bo200bobobobo$b2obob2o2bo26bo38bobo334b2obo
  bo5bo3bo27b3o35bo337bo5b2o5bo220bobobobo$b2obob2o2bo26bo38bobo334b2obo
  b3o2b3obob2o194b3obobobobob3o$bo4bo29bo2bo35bo339b3o3b2o3b3o195bo6bobo
  b3o2b3obob2o214b3obobobobob3o$bo4bo29bo2bo35bo339b3o3b2o3b3o215bo6bobo
  6bo$2bo4bo2bo25b7o32bo339bo12bo198bo3bobo3bo$7bobo27bo2b3o33bobo338b2o
  6bo$2bo4bo2bo25b7o32bo339bo12bo218bo3bobo3bo$7bobo27bo2b3o33bobo338b2o
  2b2o2b2o203b2ob2o$6bob2o27bo5bo34b2o337b10o197bo2b2o2bobo2b2o2bo$6bobo
  2b2o2b2o223b2ob2o$6bob2o27bo5bo34b2o337b10o217bo2b2o2bobo2b2o2bo$6bobo
  29bobob2o31b2ob2o337bob2o2b2obo197bo2bob2o3b2obo2bo$7b2o35bo374bo4bo
  29bobob2o31b2ob2o337bob2o2b2obo217bo2bob2o3b2obo2bo$7b2o35bo374bo4bo
  200b2o11b2o$8bo28b2o5bo29bo345bo2bo$8bo27bobobob2obo28bobo341bobo2bobo
  220b2o11b2o$8bo28b2o5bo29bo345bo2bo$8bo27bobobob2obo28bobo341bobo2bobo
  199bobo9bobo$7bo29bo3bobo31bo341b2ob4ob2o198bo2bo7bo2bo$8b2o35bo28b2o
  219bobo9bobo$7bo29bo3bobo31bo341b2ob4ob2o218bo2bo7bo2bo$8b2o35bo28b2o
  341b2ob4ob2o198bo3bo5bo3bo$40bo3bo29b2o342bo6bo201bo2bo3bo2bo$38b3o35b
  341b2ob4ob2o218bo3bo5bo3bo$40bo3bo29b2o342bo6bo221bo2bo3bo2bo$38b3o35b
  o340b3o4b3o200b2o7b2o$38bo2b4o29b2o2b2o335bobo8bobo$41bo36b2o334bo14bo
  o340b3o4b3o220b2o7b2o$38bo2b4o29b2o2b2o335bobo8bobo$41bo36b2o334bo14bo
  197bob3ob3obo$38bo6bo32bo335b2ob2o6b2ob2o195b2o2b3ob3o2b2o$38b3obo2bo
  217bob3ob3obo$38bo6bo32bo335b2ob2o6b2ob2o215b2o2b3ob3o2b2o$38b3obo2bo
  152b2o5b2o35bo36b3ob3o131b2o6b2o198b2o2bo5bo2b2o227bo5bo$40b2o3bo153bo
  152b2o5b2o35bo36b3ob3o131b2o6b2o218b2o2bo5bo2b2o247bo5bo$40b2o3bo153bo
  5bo35bobo34bo2bobo2bo129b2ob6ob2o198b2o9b2o227b3o3b3o$41b3obo151bobo5b
  5bo35bobo34bo2bobo2bo129b2ob6ob2o218b2o9b2o247b3o3b3o$41b3obo151bobo5b
  obo32bo3bo32bo3bobo3bo126b2obo8bob2o196b3o7b3o226bo2bo3bo2bo$40bo4b2o
  obo32bo3bo32bo3bobo3bo126b2obo8bob2o216b3o7b3o246bo2bo3bo2bo$40bo4b2o
  150bo9bo33b3o33bo9bo130bo6bo199bob2ob2ob2ob2obo224b3o7b3o$39b2o2b3o
  150bo9bo33b3o33bo9bo130bo6bo219bob2ob2ob2ob2obo244b3o7b3o$39b2o2b3o
  149b2o3bo3bo3b2o69bo5bo339b3o2b2ob2o2b3o225bobo5bobo$39b2o2bo152b2o2b
  149b2o3bo3bo3b2o69bo5bo359b3o2b2ob2o2b3o245bobo5bobo$39b2o2bo152b2o2b
  2ob2o2b2o30b2o3b2o30bobo7bobo336bobo3bobo3bobo227b2o3b2o$39bo2bo154bo
  2ob2o2b2o30b2o3b2o30bobo7bobo356bobo3bobo3bobo247b2o3b2o$39bo2bo154bo
  3bobo3bo28b2o3bobo3b2o26b2obob2ob2obob2o128b8o202b3o3b3o226bo4bo3bo4bo
  3bobo3bo28b2o3bobo3b2o26b2obob2ob2obob2o128b8o222b3o3b3o246bo4bo3bo4bo
  $40bo159b2ob2o31b2o3bobo3b2o25bobobo2bobo2bobobo127b2o4b2o201bob2o3b2o
  $40bo159b2ob2o31b2o3bobo3b2o25bobobo2bobo2bobobo127b2o4b2o221bob2o3b2o
  bo230bo3bo$42bo158bobo30b2o5bobo5b2o22b2obo4bobo4bob2o336b2o5b2o226b2o
  bo250bo3bo$42bo158bobo30b2o5bobo5b2o22b2obo4bobo4bob2o356b2o5b2o246b2o
  3bo3bo3b2o$42bobo152bob3ob3obo30b2obobob2o25bo3bob2obobob2obo3bo333b3o
  3bo3bo3b2o$42bobo152bob3ob3obo30b2obobob2o25bo3bob2obobob2obo3bo353b3o
  7b3o226bo2bo3bo2bo$42b3o149b2ob2o7b2ob2o23bo6bobo6bo25bob3o3b3obo337b
  7b3o246bo2bo3bo2bo$42b3o149b2ob2o7b2ob2o23bo6bobo6bo25bob3o3b3obo357b
  2o9b2o228bo5bo$40bobo152b4o2bobo2b4o27b2o2bobo2b2o24b2o3bo2b2ob2o2bo3b
  2o9b2o248bo5bo$40bobo152b4o2bobo2b4o27b2o2bobo2b2o24b2o3bo2b2ob2o2bo3b
  2o$40b3obo154bobobobo29bo2bobo3bobo2bo26b2o9b2o341b2ob2o234b3o$37b2o2b
  2o$40b3obo154bobobobo29bo2bobo3bobo2bo26b2o9b2o361b2ob2o254b3o$37b2o2b
  2obo190b2o11b2o26bo11bo339bobo3bobo230b2o3b2o$37b2ob2o156bo2b3o2bo28b
  2obo190b2o11b2o26bo11bo359bobo3bobo250b2o3b2o$37b2ob2o156bo2b3o2bo28b
  2o11b2o25bobo9bobo336b4o5b4o231bo3bo$238bo7bo27bo15bo334bo3b2o3b2o3bo
  2o11b2o25bobo9bobo356b4o5b4o251bo3bo$238bo7bo27bo15bo354bo3b2o3b2o3bo
  225bo2b2o$40bobo153b4obobob4o29b3o3b3o29bo11bo336bo3b2o3b2o3bo228bo3bo
  245bo2b2o$40bobo153b4obobob4o29b3o3b3o29bo11bo356bo3b2o3b2o3bo248bo3bo
  $39bob2o153b6ob6o31bo3bo28b2obo11bob2o572bo3bo3b2o$38b3o157b2o5b2o30b
  $39bob2o153b6ob6o31bo3bo28b2obo11bob2o612bo3bo3b2o$38b3o157b2o5b2o30b
  2obo3bob2o24bo3b2o9b2o3bo333bo2bo5bo2bo234bo$40bo155bo2bo5bo2bo30b2o3b
  2obo3bob2o24bo3b2o9b2o3bo353bo2bo5bo2bo254bo$40bo155bo2bo5bo2bo30b2o3b
  2o27bo2bo11bo2bo337bo5bo229b2o5bo$38b2o2b2o195bobobobo32b2o5b2o341b2o
  2o27bo2bo11bo2bo357bo5bo249b2o5bo$38b2o2b2o195bobobobo32b2o5b2o361b2o
  5b2o$42b2o152b3o7b3o66b2ob2o5b2ob2o337b2o7b2o$42b2o195bo2bo2bo29b4o7b
  5b2o$42b2o152b3o7b3o66b2ob2o5b2ob2o357b2o7b2o$42b2o195bo2bo2bo29b4o7b
  4o336b2ob2o3b2ob2o$194bo15bo29b2ob2o29b2o4b2ob2o4b2o338bobobobo$194b2o
  4o356b2ob2o3b2ob2o$194bo15bo29b2ob2o29b2o4b2ob2o4b2o358bobobobo$194b2o
  13b2o28b2o3b2o32bob2ob2obo337b2obo3bobo3bob2o$40b3o151b2o13b2o25b2obo
  13b2o28b2o3b2o32bob2ob2obo357b2obo3bobo3bob2o$40b3o151b2o13b2o25b2obo
  5bob2o28b5ob5o338b2obobobobob2o$40b3o152b4o7b4o26b2o3b3o3b2o28b2o7b2o
  5bob2o28b5ob5o358b2obobobobob2o$40b3o152b4o7b4o26b2o3b3o3b2o28b2o7b2o
  341bo5bo$40b2o157bo5bo30bob9obo375bo2bo9bo2bo$40b2o156bo7bo33b2ob2o35b
  361bo5bo$40b2o157bo5bo30bob9obo395bo2bo9bo2bo$40b2o156bo7bo33b2ob2o35b
  2ob2o338bob4ob2ob2ob4obo$40b3o197bo3bo35bo3bo339b3o11b3o$36b2obo3b2o
  2ob2o358bob4ob2ob2ob4obo$40b3o197bo3bo35bo3bo359b3o11b3o$36b2obo3b2o
  150b3o9b3o28bo2bobo2bo32bo5bo132bo6bo35b2o37b3o2b4o2b3o113bo9bo$36b2ob
  150b3o9b3o28bo2bobo2bo32bo5bo132bo6bo35b2o37b3o2b4o2b3o133bo9bo$36b2ob
  o3b2o194bobobobo34bo3bo132bobo4bobo30b2obo2bob2o32bo3bob4obo3bo$39bo
  o3b2o194bobobobo34bo3bo132bobo4bobo30b2obo2bob2o32bo3bob4obo3bo$39bo
  201bobo173bobo4bobo30b2o6b2o31bo6bo2bo6bo109b2o11b2o$39bo2bo152b3o9b3o
  201bobo173bobo4bobo30b2o6b2o31bo6bo2bo6bo129b2o11b2o$39bo2bo152b3o9b3o
  31bobo174bo6bo31bobo4bobo31bo3b2o6b2o3bo108bo15bo$39bo2bo155b2o5b2o33b
  31bobo174bo6bo31bobo4bobo31bo3b2o6b2o3bo128bo15bo$39bo2bo155b2o5b2o33b
  2ob2o214b2o2b2o35bo12bo111bo2bo7bo2bo$39bob2o154b2o2b3o2b2o209b3o4b3o
  2ob2o214b2o2b2o35bo12bo131bo2bo7bo2bo$39bob2o154b2o2b3o2b2o209b3o4b3o
  31b2ob2ob2o31bobo14bobo112bo5bo$39b2o153b3o2b2obob2o2b3o206b4o2b4o33bo
  31b2ob2ob2o31bobo14bobo132bo5bo$39b2o153b3o2b2obob2o2b3o206b4o2b4o33bo
  2bo32b2obob2o8b2obob2o108bobo7bobo$202bo217bo2bo34bo6bo29bobobobo10bob
  2bo32b2obob2o8b2obob2o128bobo7bobo$202bo217bo2bo34bo6bo29bobobobo10bob
  obobo$201bobo213b3ob2ob3o31bo6bo28b2o3bobob2o4b2obobo3b2o107bo9bo$44bo
  obobo$201bobo213b3ob2ob3o31bo6bo28b2o3bobob2o4b2obobo3b2o127bo9bo$44bo
  156bobo213b2o6b2o66bo3bobobob2o4b2obobobo3bo104bo2bo7bo2bo$40bobo373b
  156bobo213b2o6b2o66bo3bobobob2o4b2obobobo3bo124bo2bo7bo2bo$40bobo373b
  2o8b2o30b8o30bo4bobobo2bobobo4bo107bo2bo7bo2bo$38b2obobob2o410b2o6b2o
  2o8b2o30b8o30bo4bobobo2bobobo4bo127bo2bo7bo2bo$38b2obobob2o410b2o6b2o
  26b2o6bo2bo4bo2bo6b2o106bo9bo$39bobobobo369bo12bo73b3o4b3o$40b2ob2o
  26b2o6bo2bo4bo2bo6b2o126bo9bo$39bobobobo369bo12bo73b3o4b3o$40b2ob2o
  368bo2bo10bo2bo30b2o162b2o11b2o$39bo5bo367bo2bo10bo2bo29bo2bo41b4o117b
  368bo2bo10bo2bo30b2o182b2o11b2o$39bo5bo367bo2bo10bo2bo29bo2bo41b4o137b
  o11bo$38bobo3bobo459b2o117bobo9bobo$42bo373b3o6b3o32bo2bo160bobo11bobo
  o11bo$38bobo3bobo459b2o137bobo9bobo$42bo373b3o6b3o32bo2bo180bobo11bobo
  $42bo373bo10bo28b3ob4ob3o156b4o9b4o$39b2o3bo373bo6bo29bo12bo154b2ob3o
  $42bo373bo10bo28b3ob4ob3o176b4o9b4o$39b2o3bo373bo6bo29bo12bo174b2ob3o
  7b3ob2o$39b2o375b3o6b3o28bob2o4b2obo158bo2bo5bo2bo$38b3o2b2o415b4o163b
  7b3ob2o$39b2o375b3o6b3o28bob2o4b2obo178bo2bo5bo2bo$38b3o2b2o415b4o183b
  2o7b2o$37b2ob2o377bob2obo32bo2b4o2bo160b3o5b3o$37bo5bo376bo2bo34b2ob2o
  2o7b2o$37b2ob2o377bob2obo32bo2b4o2bo180b3o5b3o$37bo5bo376bo2bo34b2ob2o
  b2o162bobo3bobo$416bob2ob2ob2obo29bob6obo160b2ob2ob2ob2o$37bo7b2o369b
  b2o182bobo3bobo$416bob2ob2ob2obo29bob6obo180b2ob2ob2ob2o$37bo7b2o369b
  3o6b3o29bo8bo161bobo3bobo$37b2ob4obo$39bob4o371bobo6bobo27bo5b2o5bo
  3o6b3o29bo8bo181bobo3bobo$37b2ob4obo$39bob4o371bobo6bobo27bo5b2o5bo
  155b2o13b2o$43bobo370bobo6bobo26b2o3b2o2b2o3b2o154b3o11b3o$44bo369b3ob
  175b2o13b2o$43bobo370bobo6bobo26b2o3b2o2b2o3b2o174b3o11b3o$44bo369b3ob
  3o2b3ob3o23bo2b4o4b4o2bo153bo2b2o7b2o2bo$457bobo4bobo159bo3bo3bo3bo$
  3o2b3ob3o23bo2b4o4b4o2bo173bo2b2o7b2o2bo$457bobo4bobo179bo3bo3bo3bo$
  199b2o3b2o36bo34b3o5b3o168b3o6b3o161b3ob3o$197b2o2bobo2b2o33b3o33bobo
  199b2o3b2o36bo34b3o5b3o168b3o6b3o181b3ob3o$197b2o2bobo2b2o33b3o33bobo
  5bobo168bo10bo156bo2bobobobobobo2bo$241b3o33bobo5bobo336b3o11b3o$201bo
  5bobo168bo10bo176bo2bobobobobobo2bo$241b3o33bobo5bobo356b3o11b3o$201bo
  bo71bob2o3bo3b2obo334bo15bo$196bo4bobo4bo28b3o5b3o27b2o4bobo4b2o335b3o
  bo71bob2o3bo3b2obo354bo15bo$196bo4bobo4bo28b3o5b3o27b2o4bobo4b2o355b3o
  9b3o$196bo3bo3bo3bo70b2obob2o339b3o9b3o$196bo2bo5bo2bo28bobo5bobo30bo
  9b3o$196bo3bo3bo3bo70b2obob2o359b3o9b3o$196bo2bo5bo2bo28bobo5bobo30bo
  7bo339b3o7b3o$237bobo5bobo30bobo3bobo342b2o3b2o$196bo11bo29bo7bo27b5o
  7bo359b3o7b3o$237bobo5bobo30bobo3bobo362b2o3b2o$196bo11bo29bo7bo27b5o
  7b5o334b2o11b2o$196bo2b2o3b2o2bo28bo2bo3bo2bo25bo2bo11bo2bo333bo3bobob
  7b5o354b2o11b2o$196bo2b2o3b2o2bo28bo2bo3bo2bo25bo2bo11bo2bo353bo3bobob
  obo3bo$195bo3b2o3b2o3bo28bob2ob2obo27bob3o7b3obo333bo2b2o7b2o2bo$196bo
  obo3bo$195bo3b2o3b2o3bo28bob2ob2obo27bob3o7b3obo353bo2b2o7b2o2bo$196bo
  2bobobobo2bo26bo4bo3bo4bo26bob2o5b2obo338b2o2bobo2b2o$196b2o3bobo3b2o
  2bobobobo2bo26bo4bo3bo4bo26bob2o5b2obo358b2o2bobo2b2o$196b2o3bobo3b2o
  26b6o3b6o25b2obobo3bobob2o338bob2ob2obo$199bobobobo29bo4bo3bo4bo25b3ob
  26b6o3b6o25b2obobo3bobob2o358bob2ob2obo$199bobobobo29bo4bo3bo4bo25b3ob
  o5bob3o$199bobobobo30b2obo5bob2o380b2o3b2o$198b2obobob2o33bo3bo34b2o3b
  o5bob3o$199bobobobo30b2obo5bob2o400b2o3b2o$198b2obobob2o33bo3bo34b2o3b
  2o342bo2bobo2bo$201bobo32bo11bo32bobo343bobobobobobo$200b2ob2o31bo3bo
  2o362bo2bobo2bo$201bobo32bo11bo32bobo363bobobobobobo$200b2ob2o31bo3bo
  3bo3bo29bo7bo337b4obobobobob4o$237bo2bo3bo2bo30b2o5b2o336bo4bo2bobo2bo
  3bo3bo29bo7bo357b4obobobobob4o$237bo2bo3bo2bo30b2o5b2o356bo4bo2bobo2bo
  4bo$237bo2bo3bo2bo27b2o11b2o334bobo4bobo4bobo$41b2o35b2o122bo29b3o3bob
  4bo$237bo2bo3bo2bo27b2o11b2o354bobo4bobo4bobo$41b2o35b2o122bo29b3o3bob
  o3bobo3b3o20bob2o11b2obo126bo6bo29bo12bo157b3o7b3o$43bobo29b2ob2o118bo
  o3bobo3b3o20bob2o11b2obo126bo6bo29bo12bo177b3o7b3o$43bobo29b2ob2o118bo
  b2ob2obo24bo2bo3b9o3bo2bo19b2o2b2o7b2o2b2o125bobo4bobo28bo12bo159bob2o
  b2ob2obo24bo2bo3b9o3bo2bo19b2o2b2o7b2o2b2o125bobo4bobo28bo12bo179bob2o
  b2obo$40bo3bob2o24b4o2bobo117b2obobob2o24bo2bo2b2ob5ob2o2bo2bo19bo2bo
  b2obo$40bo3bob2o24b4o2bobo117b2obobob2o24bo2bo2b2ob5ob2o2bo2bo19bo2bo
  2bo5bo2bo2bo124bo2bo4bo2bo26bobo10bobo154bo4b2o3b2o4bo$41b5o25bo4bo4bo
  2bo5bo2bo2bo124bo2bo4bo2bo26bobo10bobo174bo4b2o3b2o4bo$41b5o25bo4bo4bo
  115bob2obob2obo30b2o2bo2b2o27bo4bo5bo4bo126b2o6b2o28bo12bo154b2o4bo5bo
  115bob2obob2obo30b2o2bo2b2o27bo4bo5bo4bo126b2o6b2o28bo12bo174b2o4bo5bo
  4b2o$72b2o7bo116bo7bo30b2o3bo3b2o26bo2bo2bo3bo2bo2bo164bo12bo154b2o15b
  4b2o$72b2o7bo116bo7bo30b2o3bo3b2o26bo2bo2bo3bo2bo2bo164bo12bo174b2o15b
  2o$81bo116bo7bo30b2o7b2o23bo5bo9bo5bo119bo5bo4bo5bo25bo3b4o3bo156bo2b
  2o$81bo116bo7bo30b2o7b2o23bo5bo9bo5bo119bo5bo4bo5bo25bo3b4o3bo176bo2b
  2o2bobo2b2o2bo$43bo33b3o116b2o3b3o3b2o31b2ob2o27bobo15bobo119bobo3bo6b
  2o2bobo2b2o2bo$43bo33b3o116b2o3b3o3b2o31b2ob2o27bobo15bobo119bobo3bo6b
  o3bobo28b4o163b4o3b4o$42bobo31bo119bo11bo28bo3bobo3bo28bo11bo122bo2bo
  o3bobo28b4o183b4o3b4o$42bobo31bo119bo11bo28bo3bobo3bo28bo11bo122bo2bo
  3b2o4b2o3bo2bo23b4o4b4o160b2o5b2o$38bo2bo34bobo116b2o11b2o27bo3bobo3bo
  3b2o4b2o3bo2bo23b4o4b4o180b2o5b2o$38bo2bo34bobo116b2o11b2o27bo3bobo3bo
  24bo3bobo7bobo3bo118bo2b2o3bo4bo3b2o2bo197bo3bo$37b2o2bo33b2o125bo34b
  24bo3bobo7bobo3bo118bo2b2o3bo4bo3b2o2bo217bo3bo$37b2o2bo33b2o125bo34b
  2o2bobo2b2o24bo2bo3bo5bo3bo2bo165bo6bo160b2obo5bob2o$37bo3bo32b3o117bo
  2o2bobo2b2o24bo2bo3bo5bo3bo2bo165bo6bo180b2obo5bob2o$37bo3bo32b3o117bo
  2b3o5b3o2bo28b3ob3o27b2o2b2o7b2o2b2o167b2o2b2o160bobo2bo3bo2bobo$41bo
  2b3o5b3o2bo28b3ob3o27b2o2b2o7b2o2b2o167b2o2b2o180bobo2bo3bo2bobo$41bo
  3bo30bobo116bo13bo25b2ob2o5b2ob2o27bo9bo338b2ob2o3b2ob2o$42bobo33b2o
  3bo30bobo116bo13bo25b2ob2o5b2ob2o27bo9bo358b2ob2o3b2ob2o$42bobo33b2o
  154bo2b2o7b2o2bo$44bo31bo3bo118bo5bo27bo17bo25b5ob5o338bob3o3b3obo$40b
  154bo2b2o7b2o2bo$44bo31bo3bo118bo5bo27bo17bo25b5ob5o358bob3o3b3obo$40b
  ob2o32bo122b2obob2o28bob3o7b3obo19bo6b2ob2ob2ob2o6bo331b2o9b2o$39bo4bo
  ob2o32bo122b2obob2o28bob3o7b3obo19bo6b2ob2ob2ob2o6bo351b2o9b2o$39bo4bo
  29b3o118b4o7b4o27bo2bo3bo2bo21b3o7bo5bo7b3o330bo11bo$39bo3bo29bo2bo
  29b3o118b4o7b4o27bo2bo3bo2bo21b3o7bo5bo7b3o350bo11bo$39bo3bo29bo2bo
  118b3o2b5o2b3o28b3o3b3o22bo2b2o5bo5bo5b2o2bo$38bo33bo126bo5bo29b2o4bob
  118b3o2b5o2b3o28b3o3b3o22bo2b2o5bo5bo5b2o2bo$38bo33bo126bo5bo29b2o4bob
  o4b2o21bo3b5o5b5o3bo330b3o11b3o$38b2o155b2ob3obob3ob2o30bo3bo31bob2o5b
  o4b2o21bo3b5o5b5o3bo350b3o11b3o$38b2o155b2ob3obob3ob2o30bo3bo31bob2o5b
  2obo$38b2o2b2o28bob2obo118bo2bo5bo2bo27bo4bobo4bo21bo3bo15bo3bo330b6o
  2obo$38b2o2b2o28bob2obo118bo2bo5bo2bo27bo4bobo4bo21bo3bo15bo3bo350b6o
  3b6o$42b2o28bo3b3o117bo11bo24bo6b2ob2o6bo18bob2o2bo11bo2b2obo330b2obo
  3b6o$42b2o28bo3b3o117bo11bo24bo6b2ob2o6bo18bob2o2bo11bo2b2obo350b2obo
  2bobo2bob2o$41bo2bo30bo3bo152b2o2b3obo3bob3o2b2o17bob4o13b4obo331bobo
  2bobo2bob2o$41bo2bo30bo3bo152b2o2b3obo3bob3o2b2o17bob4o13b4obo351bobo
  2bobo2bobo$42b2o29bo123bo4bo4bo23bo5b4o3b4o5bo19bo17bo334bobobo3bobobo
  2bobo2bobo$42b2o29bo123bo4bo4bo23bo5b4o3b4o5bo19bo17bo354bobobo3bobobo
  $45bo28bobo121b2o5b2o25bo3b2o2bo3bo2b2o3bo373bo2bo5bo2bo$42bobo28b2ob
  $45bo28bobo121b2o5b2o25bo3b2o2bo3bo2b2o3bo393bo2bo5bo2bo$42bobo28b2ob
  3o119b2o5b2o26b3o2bobo3bobo2b3o19bo21bo332bo2b2o3b2o2bo$42bo3b2o24bobo
  3o119b2o5b2o26b3o2bobo3bobo2b3o19bo21bo352bo2b2o3b2o2bo$42bo3b2o24bobo
  bob2o190bobo19bobo335bo3bo$43b4o24b2obobo3bo115bo3bo3bo3bo29b3o3b3o22b
  bob2o190bobo19bobo355bo3bo$43b4o24b2obobo3bo115bo3bo3bo3bo29b3o3b3o22b
  o25bo329bo5bobo5bo$74bo120bo4bo3bo4bo27b2o7b2o21bo3bo17bo3bo329b2o2bob
  o25bo349bo5bobo5bo$74bo120bo4bo3bo4bo27b2o7b2o21bo3bo17bo3bo349b2o2bob
  obobo2b2o$71b2obobo118b3obo5bob3o26b2o9b2o25bo15bo337b2obobob2o$40b4ob
  obobo2b2o$71b2obobo118b3obo5bob3o26b2o9b2o25bo15bo357b2obobob2o$40b4ob
  o30bo159bobo7bobo20b2o23b2o333bobobobo$40bo5bo25bo4bo159bo9bo23bo3bo2b
  o30bo159bobo7bobo20b2o23b2o353bobobobo$40bo5bo25bo4bo159bo9bo23bo3bo2b
  o7bo2bo3bo336bo3bo$46bo25bo2bo2b2o118bo7bo31bobo3bobo24bo3bobobo5bobob
  o7bo2bo3bo250b3o10b3o90bo3bo$46bo25bo2bo2b2o118bo7bo31bobo3bobo24bo3bo
  o3bo336b2ob2o$40bo4bo30b3o118b2o7b2o30bobo3bobo24bo5bob2o3b2obo5bo334b
  bobo5bobobo3bo250bo2bo8bo2bo90b2ob2o$40bo4bo30b3o118b2o7b2o30bobo3bobo
  obo3bobo$40b6o152bo7bo30bo9bo23bo3b2obo7bob2o3bo335bo5bo$40bo2b2o151b
  24bo5bob2o3b2obo5bo250bo14bo88bobo3bobo$40b6o152bo7bo30bo9bo23bo3b2obo
  3o7b3o28bo9bo27b2o11b2o340bo3bo$40bo32b2o120bobo9bobo27bo3bobo3bo25bo
7bob2o3bo250bo3bo6bo3bo89bo5bo$40bo2b2o151b3o7b3o28bo9bo27b2o11b2o254b
  17bo337b3ob3o$40bo31bo2b2o161bo2bobo2bo25bo19bo334b3obobob3o$75b2o118b
  o3bo6bo3bo90bo3bo$40bo32b2o120bobo9bobo27bo3bobo3bo25bo17bo253bo3bo4bo
  3o9b3o28bo2bobo2bo25bo4bo9bo4bo334bobobobobobo$40bo35bo119bo11bo62b2o
  3bo90b3ob3o$40bo31bo2b2o161bo2bobo2bo25bo19bo257bo2bo93b3obobob3o$75b
  3b2o9b2o3b2o334bo2bobo2bo$39bobo154b3o7b3o30b3ob3o25b2o3bobo7bobo3b2o
  2o118b3o9b3o28bo2bobo2bo25bo4bo9bo4bo258b2o94bobobobobobo$40bo35bo119b
  334bo2bobo2bo$39bo2b4o26b2o2bo162bobobobo25b2o3b2o3b3o3b2o3b2o333b3obo
  o11bo62b2o3b2o9b2o3b2o254bobo2bobo92bo2bobo2bo$39bobo154b3o7b3o30b3ob
  bob3o$39bob3o29b3o164b5o26b3o2b3obo3bob3o2b3o332bo4bobo4bo$46bo27bo
  3o25b2o3bobo7bobo3b2o254bo6bo92bo2bobo2bo$39bo2b4o26b2o2bo162bobobobo
  122bo9bo26b3o11b3o24bob2obo3bob2obo337bo3bobo3bo$41b2o3bo27bobo118b2ob
  25b2o3b2o3b3o3b2o3b2o255b2o2b2o92b3obobob3o$39bob3o29b3o164b5o26b3o2b
  o7bob2o24b3o11b3o20b2o3b2obo5bob2o3b2o334bo7bo$46bo27bobo118bo3bo5bo3b
3obo3bob3o2b3o253bo8bo89bo4bobo4bo$46bo27bo122bo9bo26b3o11b3o24bob2obo
  o22bo3bo11bo3bo19bob2o3bobobobo3b2obo332bobo9bobo$37b2obo33bo119b3obo
  3bob2obo257b10o90bo3bobo3bo$41b2o3bo27bobo118b2obo7bob2o24b3o11b3o20b
  7bob3o25bo11bo31bobobo341b2o9b2o$37b2o2bo33bo121b2o7b2o29bo9bo29bo9bo
  2o3b2obo5bob2o3b2o252bo3bo2bo3bo90bo7bo$46bo27bobo118bo3bo5bo3bo22bo3b
  336bo15bo$38bobobo152bob2o7b2obo22bo3bo3bobobo3bo3bo24b3o5b3o337bo2bo
  o11bo3bo19bob2o3bobobobo3b2obo253bobobo2bobobo87bobo9bobo$37b2obo33bo
  7bo2bo$41b3o152b3o7b3o24b2o4bo5bo4b2o27b2obob2o341bobo5bobo$40b3o155bo
  119b3obo7bob3o25bo11bo31bobobo260b2obo2b2o2bob2o87b2o9b2o$37b2o2bo33bo
  7bo27bo15bo28b7o342bo7bo$41bo2bo151bobo7bobo26b3o9b3o27b3o5b3o$41b2o2b
  121b2o7b2o29bo9bo29bo9bo260b8o88bo15bo$38bobobo152bob2o7b2obo22bo3bo3b
  o153b2o3b2o30bo5bo5bo27b2obobobobob2o335b3o11b3o$45bo152b4ob4o34b3o31b
  obobo3bo3bo24b3o5b3o257bobo8bobo86bo2bo7bo2bo$41b3o152b3o7b3o24b2o4bo
  o3bo5bo3bo336b3o7b3o$42bobobo149bo2bobobobo2bo31b2ob2o35b2ob2o341bo2bo
5bo4b2o27b2obob2o259bobo8bobo88bobo5bobo$40b3o155bo7bo27bo15bo28b7o
  5bo2bo$200bo3bo35b5o29bo2bobobobobobo2bo$42b2o155b2o3b2o31b3o2bo2b3o
  264bo2bo94bo7bo$41bo2bo151bobo7bobo26b3o9b3o27b3o5b3o262b4o$41b2o2bo
  27b4o7b4o336bo11bo$42b2o155b2o3b2o29bo13bo28bo7bo339bobo7bobo$41bob2o
  153b2o3b2o30bo5bo5bo27b2obobobobob2o355b3o11b3o$45bo152b4ob4o34b3o31bo
  190bobo9bobo28bo7bo340b3o5b3o$42b3o155bo3bo32bo9bo27b2obo2bobo2bob2o
  3bo5bo3bo261b2o93b3o7b3o$42bobobo149bo2bobobobo2bo31b2ob2o35b2ob2o264b
  338b2o5b2o$44bo154bobobobo28bobo11bobo377bobo3bobo$44bobo151bo7bo26bo
  2o2b2o91bo2bo5bo2bo$200bo3bo35b5o29bo2bobobobobobo2bo257bo6bo$42b2o
  2bo11bo2bo26b2o5b2o342bo5bo$41b3o154bo7bo27b2o13b2o$42b2ob2o152bo5bo$
  155b2o3b2o31b3o2bo2b3o27b4o7b4o258bo6bo90bo11bo$42b2o155b2o3b2o29bo13b
  45bo232bo7bo$43b2o155b2ob2o73b3o3b3o$44bo155bo3bo72bo2bo3bo2bo$41b3o
o28bo7bo260bo8bo89bobo7bobo$41bob2o190bobo9bobo28bo7bo261bo6bo91b3o5b
  156bo3bo73bo7bo$41bo3bo155b3o73bo2bo3bo2bo$41b2o157bo3bo75b2ob2o$199b
  3o$42b3o155bo3bo32bo9bo27b2obo2bobo2bob2o259b6o93b2o5b2o$44bo154bobobo
  2o3b2o75bobo$42bo236bobobobo$42bobo233bo3bo3bo$38b3o2b3o232bo7bo$37bo
  bo28bobo11bobo397bobo3bobo$44bobo151bo7bo26bo2bo11bo2bo26b2o5b2o362bo
  3b2ob2o149b2o3bo3bo3b2o71bobo$41b5o150b4o5b4o67b2obo5bob2o$38bo158b2o
  5bo$41b3o154bo7bo27b2o13b2o$42b2ob2o152bo5bo$45bo232bo7bo$43b2o155b2ob
  7b2o68b2o2bo3bo2b2o$40bobo233bo11bo$42b2o233bo9bo$40b3o232bobo9bobo$
  2o73b3o3b3o$44bo155bo3bo72bo2bo3bo2bo$41b3o156bo3bo73bo7bo$41bo3bo155b
39bob2o231b4o9b4o$38b2obob2o229b2obobo5bobob2o333b2o13b2o25bob3o3b3obo
  3o73bo2bo3bo2bo$41b2o157bo3bo75b2ob2o$199b2o3b2o75bobo$42bo236bobobobo
  30b3ob3o$38bo4b3o227bo2bo11bo2bo334bobo7bobo26b2ob2obobob2ob2o28bo2bob
  $42bobo233bo3bo3bo$38b3o2b3o232bo7bo$37bo3b2ob2o149b2o3bo3bo3b2o71bobo
  o2bo$37b3o6bo231bobo3bobo336bo3bob2o3b2obo3bo22bo2b2o2bobo2b2o2bo26bo
  $41b5o150b4o5b4o67b2obo5bob2o$38bo158b2o7b2o68b2o2bo3bo2b2o$40bobo233b
  3bobo3bo$36bo8bo231b2obo3bob2o336b5o7b5o27bo2bobo2bo30bo9bo$37bobo3bo
  o11bo$42b2o233bo9bo$40b3o232bobo9bobo$39bob2o231b4o9b4o$38b2obob2o229b
  229bo2bo3b2ob2o3bo2bo372bo4bobobobo4bo28bo5bo$39bob2o235bo2bobo2bo376b
  2obobo5bobob2o353b2o13b2o25bob3o3b3obo30b3ob3o$38bo4b3o227bo2bo11bo2bo
  2o2bobobobobobo2b2o24bobo7bobo$275bo2bob2ob2obo2bo334bobo11bobo22b2o6b
  354bobo7bobo26b2ob2obobob2ob2o28bo2bobo2bo$37b3o6bo231bobo3bobo356bo3b
  obo6b2o23b2obob2ob2obob2o$43b4o229bobobobobobobo335bo3bobo3bobo3bo23bo
  ob2o3b2obo3bo22bo2b2o2bobo2b2o2bo26bo3bobo3bo$36bo8bo231b2obo3bob2o
  bo3b2ob2o3bobo23bobobo2bobo2bobobo$42b2o2bo230b2o2bobo2b2o336bo3b3o3b
  356b5o7b5o27bo2bobo2bo30bo9bo$37bobo3bo229bo2bo3b2ob2o3bo2bo392bo4bobo
  3o3bo24b2o2bobobobo2b2o23b2obo4bobo4bob2o$41bobobo232bobo3bobo343bo3bo
  bobo4bo28bo5bo$39bob2o235bo2bobo2bo396b2o2bobobobobobo2b2o24bobo7bobo$
  29b2o2b2obobob2o2b2o21bo3bob2obobob2obo3bo$40b2obob2o232b2o3b2o341bobo
  275bo2bob2ob2obo2bo354bobo11bobo22b2o6bobo6b2o23b2obob2ob2obob2o$43b4o
  5bobo33bobo32bob3o3b3obo$38b2ob2o2b2o229b2o9b2o340bo5bo29bo5bobo5bo22b
  229bobobobobobobo355bo3bobo3bobo3bo23bobo3b2ob2o3bobo23bobobo2bobo2bob
  2o3bo2b2ob2o2bo3b2o$43bobo230b3o7b3o341b2ob2o29bobo3b2ob2o3bobo25b2o9b
  obo$42b2o2bo230b2o2bobo2b2o356bo3b3o3b3o3bo24b2o2bobobobo2b2o23b2obo4b
  2o$37bo2bo4bo230bobo7bobo342bobo35bobobobo30bo11bo$43bo230b2o2bo7bo2b
  obo4bob2o$41bobobo232bobo3bobo363bo3bo29b2o2b2obobob2o2b2o21bo3bob2obo
  2o337b2obobob2o27bo3b2obobob2o3bo24bobo9bobo$38b2o2b2o230b2o13b2o336bo
  bob2obo3bo$40b2obob2o232b2o3b2o361bobo5bobo33bobo32bob3o3b3obo$38b2ob
  3bobo3bo26bobo4bobo4bobo23bo15bo$38b3obo237bo3bo339b2o5bobo5b2o25bo4bo
  2o2b2o229b2o9b2o360bo5bo29bo5bobo5bo22b2o3bo2b2ob2o2bo3b2o$43bobo230b
  bo4bo27bo11bo$38bo2b2ob2o229bo4bo3bo4bo333bobo5bobo5bobo21b2o6bobo6b2o
  3o7b3o361b2ob2o29bobo3b2ob2o3bobo25b2o9b2o$37bo2bo4bo230bobo7bobo362bo
  21b2obo11bob2o$40bo4bo229b2o3bo3bo3b2o334b2o2b2obobob2o2b2o26b3obobob
  bo35bobobobo30bo11bo$43bo230b2o2bo7bo2b2o357b2obobob2o27bo3b2obobob2o
  3o24bo3b2o9b2o3bo$37b2o2b2obo231bo2bo5bo2bo335bo3b2obobob2o3bo24bo4b2o
  3bo24bobo9bobo$38b2o2b2o230b2o13b2o356bo3bobo3bo26bobo4bobo4bobo23bo
  b2o4bo23bo2bo11bo2bo$276b3o7b3o132b2o201b2o5bobo5b2o22b2o6bobo6b2o26b
  15bo$38b3obo237bo3bo359b2o5bobo5b2o25bo4bobo4bo27bo11bo$38bo2b2ob2o
  2o5b2o$43bo231bobo9bobo130bo2bo200bo15bo22bobo2b2obobob2o2bobo23b2ob2o
  229bo4bo3bo4bo353bobo5bobo5bobo21b2o6bobo6b2o21b2obo11bob2o$40bo4bo
  5b2ob2o$43bo2bo228b2o11b2o130bo2bo201bo4bo3bo4bo31bobo31b4o7b4o$43bo2b
  229b2o3bo3bo3b2o354b2o2b2obobob2o2b2o26b3obobob3o24bo3b2o9b2o3bo$37b2o
  o228bobo4bo4bobo129bo4bo205bo3bo32b2o2bobo2b2o26b2o4b2ob2o4b2o$44bobo
  2b2obo231bo2bo5bo2bo355bo3b2obobob2o3bo24bo4b2ob2o4bo23bo2bo11bo2bo$
  228b2o4b3o4b2o129bo4bo205b2ob2o31b2o2bo3bo2b2o29bob2ob2obo$44bo230b2o
  276b3o7b3o355b2o5bobo5b2o22b2o6bobo6b2o26b2o5b2o$43bo231bobo9bobo354bo
  3bo3bo3b2o130b4o246b2ob2o32b5ob5o$42b2o230b3o4b3o4b3o128b2o2b2o203b2o
  15bo22bobo2b2obobob2o2bobo23b2ob2o5b2ob2o$43bo2bo228b2o11b2o355bo4bo3b
  5b2o29b2o9b2o28b2o7b2o$42b2o2bo225b2o17b2o126bo4bo203b2o5b2o29b2o9b2o$
  o4bo31bobo31b4o7b4o$43bo2bo228bobo4bo4bobo360bo3bo32b2o2bobo2b2o26b2o
  42b2obo225bo5b2o2bobo2b2o5bo125bo4bo201bo11bo26bobo9bobo30b2ob2o$42bo
  4b2ob2o4b2o$44bobo228b2o4b3o4b2o360b2ob2o31b2o2bo3bo2b2o29bob2ob2obo$
  583bobo7bobo25bo15bo29bo3bo$40b4o227bo2bob3ob2ob2ob3obo2bo332bobo7bobo
  44bo230b2o3bo3bo3b2o400b2ob2o32b5ob5o$42b2o230b3o4b3o4b3o357b2o5b2o29b
  25bo15bo28bo5bo$45bo231b3o5b3o132b4o240bo15bo29bo3bo$40b2o237b3ob3o
  2o9b2o28b2o7b2o$42b2o2bo225b2o17b2o355b2o5b2o29b2o9b2o$42b2obo225bo5b
  135b2o202bobob2o3b2obobo26b3o7b3o$43bobo228bo4b2obob2o4bo335b3ob2ob2ob
  2o2bobo2b2o5bo352bo11bo26bobo9bobo30b2ob2o$42bo603bobo7bobo25bo15bo29b
  3o30bo5bo$43bobo234bo3bo342bob3ob3obo29bobo5bobo$42bob2o580b2o9b2o30b
  o3bo$40b4o227bo2bob3ob2ob2ob3obo2bo127b2o223bobo7bobo25bo15bo28bo5bo$
  2o3b2o$42bo237b2ob2o342b5ob5o30bob2ob2obo$42bo581bob3o2bobo2b3obo26bo
  45bo231b3o5b3o132bo2bo260bo15bo29bo3bo$40b2o237b3ob3o134bo2bo221bobob
  3bobo3bo$624b3o3b2ob2o3b3o26bo2bo3bo2bo$43bobo580bo2b2o3b2o2bo$38b2o2b
  2o3b2obobo26b3o7b3o$43bobo228bo4b2obob2o4bo128bo4bo221b3ob2ob2ob3o30bo
  3o582b2o7b2o31b2o3b2o$39bob2o625bo2bobo2bo$39b2obo585b2obobob2o34bobo$
  5bo$43bobo234bo3bo134bo4bo222bob3ob3obo29bobo5bobo$42bob2o374b4o222b2o
  40b2o585bo3bobo3bo30b2obobob2o$39bo588b2obobob2o31b2obobob2o$39bobo
  9b2o30b2o3b2o$42bo237b2ob2o134b2o2b2o222b5ob5o30bob2ob2obo$42bo376bo4b
  584bobob2ob2obobo28b2o2bobo2b2o$38bo3bo582bo3bo5bo3bo29bo5bo$37bo2b3o
  o219bob3o2bobo2b3obo26bo3bobo3bo$419bo4bo219b3o3b2ob2o3b3o26bo2bo3bo2b
  583b2o9b2o$37bo590bo7bo$626bo11bo$41bob2o195bo3bo74bo5bo298b2o13b2o$
  o$43bobo600bo2b2o3b2o2bo$38b2o2b3o602b2o7b2o31b2o3b2o$39bob2o377b4o
  39b2o2b3o192b9o71b3o3b3o297bo2bo9bo2bo$41b3o2bo270b2o2bobo2b2o295bo17b
  264bo2bobo2bo$39b2obo378b2o225b2obobob2o34bobo$40b2o605bo3bobo3bo30b2o
  o$41bo5bo193b3o73b2o2bobo2b2o296bo4b2o3b2o4bo$40b2o3b2o193b5o73bo2bobo
  bobob2o$39bo608b2obobob2o31b2obobob2o$39bobo604bobob2ob2obobo28b2o2bob
  2bo299b2ob2o3b2ob2o$41b2o194b2o7b2o69bo3bobo3bo302b2ob2o$39bo3bo192b3o
  o2b2o$38bo3bo602bo3bo5bo3bo29bo5bo$37bo2b3o603b2o9b2o$37bo610bo7bo$
  7b3o68bo4bo4bo$39bo4bo190bo13bo67bo9bo301b3ob3o$40bo3bo272bo9bo$40bo2b
  646bo11bo$41bob2o195bo3bo74bo5bo318b2o13b2o$39b2o2b3o192b9o71b3o3b3o
  o194b3o3b3o70bo9bo$235b2o11b2o67bo3b3o3bo$39b2o2b2o190b2o4bobo4b2o69bo
  317bo2bo9bo2bo$41b3o2bo270b2o2bobo2b2o315bo17bo$41bo5bo193b3o73b2o2bob
  2bo2bo$39b2o2b2o193bobo3bobo72bobobobo$37b2o6b2o190b2o7b2o71bo5bo$36bo
  o2b2o316bo4b2o3b2o4bo$40b2o3b2o193b5o73bo2bobo2bo319b2ob2o3b2ob2o$41b
  b2o4b2obo190bobo3bobo69bo2bo5bo2bo$36bo10bo189bo2bo3bo2bo67b2o11b2o$
  2o194b2o7b2o69bo3bobo3bo322b2ob2o$39bo3bo192b3o7b3o68bo4bo4bo$39bo4bo
  37bo8bo190bobobobobobo70b2o5b2o$36b2o2b4o2b2o188b3o7b3o65bob2ob2o3b2ob
190bo13bo67bo9bo321b3ob3o$40bo3bo272bo9bo$40bo2bo194b3o3b3o70bo9bo$
  2obo$37bobo4bobo189b3o7b3o65bo5b2ob2o5bo$38b2o4b2o190b3o7b3o70bo5bo$
  235b2o11b2o67bo3b3o3bo$39b2o2b2o190b2o4bobo4b2o69bo2bo2bo$39b2o2b2o
  37bo3b2o3bo190b2o7b2o70bo2bobo2bo$37bo8bo190b2o7b2o71bobobobo$36bo10bo
  193bobo3bobo72bobobobo$37b2o6b2o190b2o7b2o71bo5bo$36bob2o4b2obo190bobo
  190b3o3b3o73bo3bo$37bo8bo191b3obob3o$241bobo$40b2o2bo194bob3obo$40bo3b
  3bobo69bo2bo5bo2bo$36bo10bo189bo2bo3bo2bo67b2o11b2o$37bo8bo190bobobobo
  2o193bo5bo$38bo3b2o195bo5bo$38bo3b2o192b3obo3bob3o$37bo6b2o190bo2bob3o
  bobo70b2o5b2o$36b2o2b4o2b2o188b3o7b3o65bob2ob2o3b2ob2obo$37bobo4bobo
  bo2bo$36bo2bo2b4o190bob2o5b2obo380bo5bo69b3o9b3o$37b2o2bo3bo582bobo3bo
  189b3o7b3o65bo5b2ob2o5bo$38b2o4b2o190b3o7b3o70bo5bo$37bo3b2o3bo190b2o
  bo68bo2bo7bo2bo$42bo584bo2bo3bo2bo66b2o13b2o$628b2o5b2o65b2obo3bo5bo3b
  7b2o70bo2bobo2bo$37bo8bo190b2o7b2o71bobobobo$36bo10bo190b3o3b3o73bo3bo
  ob2o$705b3ob2o3b2ob3o$624bo5bo3bo5bo60bo21bo$623bobo3bo5bo3bobo60bobob
  $37bo8bo191b3obob3o$241bobo$40b2o2bo194bob3obo$40bo3b2o193bo5bo$38bo3b
  5o3b5obobo$622bo2bo3b2o3b2o3bo2bo59bo3bo2b2o3b2o2bo3bo$622bo2b2o3bo3bo
  2o195bo5bo$38bo3b2o192b3obo3bob3o$37bo6b2o190bo2bob3obo2bo$36bo2bo2b4o
  3b2o2bo59bo3b3o7b3o3bo$702bo4bo9bo4bo$706b3o7b3o$705bo2b2o5b2o2bo$708b
  190bob2o5b2obo400bo5bo69b3o9b3o$37b2o2bo3bo602bobo3bobo68bo2bo7bo2bo$
  2o5b2o$704b2o4bo3bo4b2o$703bo3bo3bobo3bo3bo$700b2ob3obobobobobobob3ob
  42bo604bo2bo3bo2bo66b2o13b2o$648b2o5b2o65b2obo3bo5bo3bob2o$725b3ob2o3b
  2o$699bo5b2o4bobo4b2o5bo$698bo4b2o15b2o4bo$698b3o8bo5bo8b3o$707b2o7b2o
  2ob3o$644bo5bo3bo5bo60bo21bo$643bobo3bo5bo3bobo60bobob5o3b5obobo$642bo
  $708bo2bobo2bo$700bo8b2o3b2o8bo$702bo6bo5bo6bo$698bo3b2o17b2o3bo$699bo
  2bo3b2o3b2o3bo2bo59bo3bo2b2o3b2o2bo3bo$642bo2b2o3bo3bo3b2o2bo59bo3b3o
  25bo$700b2o2bo15bo2b2o$699bo3bo17bo3bo$701b2obo15bob2o$698bo2bo2b2o13b
  7b3o3bo$722bo4bo9bo4bo$726b3o7b3o$725bo2b2o5b2o2bo$728b2o5b2o$724b2o4b
  2o2bo2bo$699b2obo3b2o9b2o3bob2o$44bo654b2o2b2ob2o9b2ob2o2b2o$43bobo
  o3bo4b2o$723bo3bo3bobo3bo3bo$720b2ob3obobobobobobob3ob2o$719bo5b2o4bob
  659b3o9b3o$42bo2bo659bo13bo$43b2o659bob2o9b2obo$706bo11bo$39bo5bo661bo
  o4b2o5bo$718bo4b2o15b2o4bo$718b3o8bo5bo8b3o$727b2o7b2o$282bo445bo2bobo
  9bo$38bobo3bo661bo11bo$37bo2bo3b2o659b2ob2o5b2ob2o$37bo2b2o3bo662b2o5b
  2bo$281bobo436bo8b2o3b2o8bo$280bo3bo437bo6bo5bo6bo$281b3o434bo3b2o17b
  2o$706bo2bo5bo2bo$704bo15bo$708b2o5b2o$704bob2o9b2obo2$706b3o7b3o$705b
2o3bo$719bo25bo$279b2o3b2o434b2o2bo15bo2b2o$276b2o3bobo3b2o430bo3bo17b
  3o9b3o$704bo3b4ob4o3bo$706b4obobob4o$705b2obo2bobo2bob2o$705b2obo2bobo
  o3bo$276b2o3bobo3b2o432b2obo15bob2o$274b2o5bobo5b2o427bo2bo2b2o13b2o2b
  2bob2o$319bo5bo382bob2ob2obo$318b3o3b3o383bo3bo$317bo2bo3bo2bo381bo5bo
o2bo$278b2obobob2o432b2obo3b2o9b2o3bob2o$44bo229bo6bobo6bo428b2o2b2ob
  $316b3o7b3o$317bobo5bobo376b3o11b3o$319b2o3b2o379bo13bo$315bo4bo3bo4bo
2o9b2ob2o2b2o$43bobo231b2o2bobo2b2o437b3o9b3o$42bo2bo229bo2bobo3bobo2b
  375bo13bo$320bo3bo378bobo13bobo$315b2o3bo3bo3b2o374bo15bo$317bo2bo3bo
  o435bo13bo$43b2o230b2o11b2o434bob2o9b2obo$275b2o11b2o436bo11bo$39bo5bo
  2bo$319bo5bo2$322bo$320b2ob2o2$320b2ob2o$319bo2bo2bo$319bobobobo$317b
  232bo7bo440bo9bo$38bobo3bo233b3o3b3o439bo11bo$37bo2bo3b2o234bo3bo440b
  2o3bo3b2o$317b2ob5ob2o$320b2ob2o$317bobo5bobo$318bobo3bobo$320b2ob2o$
2ob2o5b2ob2o$37bo2b2o3bo231b2obo3bob2o440b2o5b2o$279b2o3b2o440bo2bo5bo
  320b2ob2o2$322bo$322bo$320bobobo$319b2o3b2o$670bo3bo$317bo9bo342bo3bo$
  2bo$279bobobobo438bo15bo$728b2o5b2o$279bo2bo2bo438bob2o9b2obo$280b2ob
  317bo9bo341bobobobo$318bo7bo$320bo3bo343bo7bo$665bob2o2bobo2b2obo$665b
  2o$279b2o3b2o440b3o7b3o$725b3o9b3o$278bo2b3o2bo437bo3b4ob4o3bo$277b11o
  obo2b2ob2o2bobo$664bob2obobobobob2obo2$670bo3bo2$666b2ob2o3b2ob2o$666b
438b4obobob4o$277b2obo3bob2o437b2obo2bobo2bob2o$725b2obo2bobo2bob2o$
  2o9b2o$669b2o3b2o$670bo3bo$669bo5bo$668bobo3bobo$667b4o3b4o$666bo2bo5b
  728bob2ob2obo$730bo3bo$729bo5bo2$724b3o11b3o$725bo13bo$725bo13bo$723bo
  o2bo$666bob2o5b2obo$668bo7bo$668b2o5b2o2$670bo3bo$669bo5bo$669bo5bo2$
  bo13bobo$724bo15bo12$319bo5bo$318b3o3b3o$317bo2bo3bo2bo$316b3o7b3o$
  669b2o3b2o$669bobobobo$670b2ob2o$671bobo$671bobo$668b2obobob2o$668b2ob
  317bobo5bobo$319b2o3b2o$315bo4bo3bo4bo$320bo3bo$315b2o3bo3bo3b2o$317bo
  obob2o$667bo3bobo3bo$666b3ob2ob2ob3o$666b2o9b2o$666b3o7b3o$666bo2bo5bo
  2bo3bo2bo$319bo5bo364bo3bo73b3o3b3o$690bo3bo73bo2bobo2bo$322bo366bobob
  2bo$664b2o3b2o3b2o3b2o$665b2ob3o3b3ob2o$666bo2bo5bo2bo$667bo2bo3bo2bo$
  obo71bo3bobo3bo$320b2ob2o444bobobobo$688bo7bo72bo5bo$320b2ob2o360bob2o
  667b2ob2ob2ob2o$669bobobobo$665bobo2bo3bo2bobo$665bo2bo7bo2bo$669bo5bo
2bobo2b2obo69b2o3b2o$319bo2bo2bo359bobo2b2ob2o2bobo70b2ob2o$319bobobob
  2$668bobo3bobo$670bo3bo$668bobo3bobo$667bo2bo3bo2bo$668bo7bo$669bo5bo
o358bob2obobobobob2obo69b2ob2o$317b2o3bo3b2o441bo5bo$317b2ob5ob2o362bo
  2$664b2o2b2o5b2o2b2o$664b3o3bo3bo3b3o$667b4o3b4o$666bo4bobo4bo$667bo2b
3bo70b3o9b3o$320b2ob2o439bo2b2o7b2o2bo$317bobo5bobo358b2ob2o3b2ob2o65b
  o3bo2bo$667bo9bo!
  o15bo$318bobo3bobo359b2o9b2o69bo7bo$320b2ob2o364b2o3b2o69bo2bo7bo2bo$
320b2ob2o365bo3bo70bobo9bobo$689bo5bo69b2o11b2o$322bo365bobo3bobo66bo
3b3o5b3o3bo$322bo364b4o3b4o65bo5bo5bo5bo$320bobobo361bo2bo5bo2bo69b2o
  5b2o$319b2o3b2o360bob2o5b2obo66bo5bobo5bo$688bo7bo71bob2ob2obo$317bo9b
o360b2o5b2o70bo3bobo3bo$317bo9bo441b2o3b2o$318bo7bo363bo3bo73b3o3b3o$
320bo3bo364bo5bo72bobo3bobo$689bo5bo71bo9bo$768bobo3bobo$689b2o3b2o73b
  o5bo$689bobobobo74bo3bo$690b2ob2o73b4ob4o$691bobo74bo7bo$691bobo75bo5b
  o$688b2obobob2o72bo5bo$688b2obobob2o$687bo3bobo3bo68b3ob2ob2ob3o$686b
  3ob2ob2ob3o66bo3b2o3b2o3bo$686b2o9b2o65bo2bo2bo3bo2bo2bo$686b3o7b3o65b
2o3b2o3b2o3b2o$686bo2bo5bo2bo65bob5o3b5obo$684b2o3b2o3b2o3b2o69b2ob2o$
685b2ob3o3b3ob2o64b5o7b5o$686bo2bo5bo2bo64b4ob2o5b2ob4o$687bo2bo3bo2bo
  65b3o3b2o3b2o3b3o$687b2ob2ob2ob2o70bob2ob2obo$689bobobobo74b2ob2o$685b
obo2bo3bo2bobo67bobo5bobo$685bo2bo7bo2bo66bob2o5b2obo$689bo5bo69b2o2bo
5bo2b2o$764b2o13b2o$688bobo3bobo70bo2b2ob2o2bo$690bo3bo69b2o4b2ob2o4b
  2o$688bobo3bobo73bo3bo$687bo2bo3bo2bo69b4o3b4o$688bo7bo69bo4bobo4bo$
689bo5bo70bob2obobob2obo$765b2ob2obobob2ob2o$684b2o2b2o5b2o2b2o63b3o
  11b3o$684b3o3bo3bo3b3o65bo11bo$687b4o3b4o68bo11bo$686bo4bobo4bo65b3o
11b3o$687bo2bo3bo2bo69b3o5b3o$687bo9bo70b2o5b2o2$767b3o5b3o$767b2o7b2o
  $769bo5bo$768b2obobob2o$767bo9bo$767bo3bobo3bo2$767b3o5b3o$766bo11bo$
  767bobo5bobo$765bo2bobo3bobo2bo$765b4obo3bob4o$764bo3bob2ob2obo3bo$
  764bo2b2o7b2o2bo$763b2obo3b2ob2o3bob2o$766bob2obobob2obo$763b5obo5bob
5o$763bo6bo3bo6bo$768bo7bo$767bo2bo3bo2bo$771bobo$771bobo$768b2obobob
  2o$768bo2bobo2bo$768bo2bobo2bo2$767b2o7b2o$767b2o7b2o$767b2o7b2o3$766b
  o2bo5bo2bo!


== Known spaceships by height ==
== Known spaceships by height ==
Line 810: Line 833:
* [[User:Sokwe/Spaceship searches]]
* [[User:Sokwe/Spaceship searches]]
== References ==
== References ==
<references/>
<references>
<ref name="merz1">{{LinkForumThread
|format = ref
|title  = Re: Spaceship Discussion Thread
|p      = 125537
|author = Matthias Merzenich
|date  = March 14, 2021
}}</ref>
</references>

Revision as of 13:00, 14 March 2021

Known spaceships by width

The table below gives the minimum width of the envelope for spaceships of the specified type. For types where the minimum width is known, references point to the proof of minimality rather than the discovery of the minimum-width ship. A stamp collection of minimum-width ships is given below the table.

Velocity Asymmetric Odd-symmetric Even-symmetric Gutter Odd glide-symmetric Even glide-symmetric
(1,0)c/2 21 21 28 21 - -
(1,0)c/3 12 15 12 17 - -
(1,0)c/4 10 13 16 17 - -
(1,1)c/4 3 - - - - -
(2,0)c/4 5 11 12 11 5 12
(1,0)c/5 11 19 18 19 - -
(1,1)c/5 13[1] - - - - -
(2,0)c/5 10 15 18 15 - -
(1,0)c/6 12[2] 19 18 21 - -
(1,1)c/6 10 - - - - -
(2,0)c/6 12 17[3] 18[4][3] 19[3] 17 18[4]
(2,1)c/6 15[1] - - - - -
(3,0)c/6 18[5] 21 28 21 - -
(1,0)c/7 10[6][7] 19[7] 22[8] 21[6][7] - -
(1,1)c/7 9 - - - - -
(2,0)c/7 11[9][10] 23[11] 18 23[10] - -
(2,1)c/7 11[12] - - - - -
(3,0)c/7 17[13] 29[14][15] 30[13] 31[16] - -
(1,0)c/8 9[17] 17[18] 18[19] 19[17] - -
(1,1)c/8 7 - - - - -
(2,0)c/8 8[3] 15[20][3] 16[20][3] 17[20][3] 13 14
(2,1)c/8 8 - - - - -
(2,2)c/8 8 - - - - -
(3,0)c/8 11[12] 23[21] 24[22] 23[12] - -
(3,1)c/8 12[12] - - - - -
(4,0)c/8 10[3] 17[3] 20[3] 19[3] 17 14
(1,0)c/9 8[23] 15[23] 16[23] 15[24] - -
(1,1)c/9 6 - - - - -
(2,0)c/9 8[25] 15[26] 16[24] 17[25] - -
(2,1)c/9 7 - - - - -
(2,2)c/9 7 - - - - -
(3,0)c/9 8[3] 17[3] 14[3] 17[3] - -
(3,1)c/9 8 - - - - -
(4,0)c/9 11[16] 21[16] 22[27] 23[16] - -
(1,0)c/10 6[28] 11[28] 10 13[28] - -
(1,1)c/10 7 - - - - -
(2,0)c/10 6 11 12 13 13[27] 14[27]
(2,1)c/10 6 - - - - -
(2,2)c/10 6 - - - - -
(3,0)c/10 9[29] 17[30] 18[29] 17[31] - -
(3,1)c/10 7 - - - - -
(3,2)c/10 8 - - - - -
(4,0)c/10 8[3] 15[3] 16[3] 15[3] 15[32] 16[32]
(4,1)c/10 8 - - - - -
(5,0)c/10 8 15 16 17 - -
(1,0)c/11 6[33] 9[33] 10[33] 11[33] - -
(1,1)c/11 ? - - - - -
(2,0)c/11 6[28] 11[28] 12[28] 13[28] - -
(2,1)c/11 ? - - - - -
(2,2)c/11 ? - - - - -
(3,0)c/11 6 11 12 13 - -
(3,1)c/11 ? - - - - -
(3,2)c/11 ? - - - - -
(4,0)c/11 9 17[34] 18[34] 19[34] - -
(4,1)c/11 ? - - - - -
(5,0)c/11 10 19[10] 20[34] 21[34] - -
(2,0)c/12 ? ? ? ? 9[35] ? 
x = 1041, y = 565, rule = B3/S23
39b3ob3o153b3ob3o209b3o2b4o2b3o220b3ob3o215b3o153b3o4b3o$38bo2bobo2bo
151bo2bobo2bo207bo3bob4obo3bo218bo2bobo2bo213bo2bo153bo2bo3bo2bo$37bo
3bobo3bo149bo3bobo3bo205bo6bo2bo6bo216bo3bobo3bo215bo153bo6bo$37bo9bo
149bo9bo205bo3b2o6b2o3bo216bo9bo215bo153bo6bo$39bo5bo153bo5bo209bo12bo
220bo5bo214bobo155bobo4bobo$36bobo7bobo147bobo7bobo203bobo14bobo214bob
o7bobo$35b2obob2ob2obob2o145b2obob2ob2obob2o201b2obob2o8b2obob2o212b2o
bob2ob2obob2o$34bobobo2bobo2bobobo143bobobo2bobo2bobobo199bobobob2o8b
2obobobo210bobobo2bobo2bobobo$33b2obo4bobo4bob2o141b2obo4bobo4bob2o
197b2o3bo2bo8bo2bo3b2o208b2obo4bobo4bob2o$32bo3bob2obobob2obo3bo139bo
3bob2obobob2obo3bo195bo3bobo2b2o6b2o2bobo3bo206bo3bob2obobob2obo3bo$
36bo4bobo4bo147bo4bobo4bo202bo20bo213bo4bobo4bo$32b2o3bo2bo3bo2bo3b2o
139b2o3bo2bo3bo2bo3b2o195b2o24b2o206b2o3bo2bo3bo2bo3b2o9$872bo158b2o$
871bobo153b2obo2bob2o$870bo3bo152b2o6b2o$871b3o153bobo4bobo$1029b2o2b
2o$869b2o3b2o152b2ob2ob2o$866b2o3bobo3b2o151bo2bo$866b2o3bobo3b2o149bo
6bo$864b2o5bobo5b2o147bo6bo$868b2obobob2o$41b2o159bo218b2o222b3o9b3o
204bo6bobo6bo147b8o$37b2obo2bob2o154bobo213b2obo2bob2o217bobob2o5b2obo
bo206b2o2bobo2b2o149b2o6b2o$37b2o6b2o153bo3bo212b2o6b2o217bobobo7bobob
o204bo2bobo3bobo2bo$37bobo4bobo154b3o213bobo4bobo218bob2ob2ob2ob2obo
205b2o11b2o151b2o$39b2o2b2o374b2o2b2o224bobobobo209b2o11b2o150bo2bo$
38b2ob2ob2o153b2o3b2o212b2ob2ob2o221bobobobobobo210bo7bo$40bo2bo153bo
3bobo3bo212bo2bo222b2obobobobob2o209b3o3b3o153bo2bo$38bo6bo150b2o3bobo
3b2o209bo6bo220b3o2bobo2b3o211bo3bo151b3ob4ob3o$38bo6bo149bo5bobo5bo
208bo6bo220b2o2bo3bo2b2o208b2obo3bob2o147bo12bo$196bob2obobob2obo436bo
4b2ob2o4bo209b2o3b2o150bob2o4b2obo$38b8o372b8o219bo13bo209bobobobo154b
4o$37b2o6b2o370b2o6b2o600bo2b4o2bo$869bo2bo2bo152b2ob2ob2o$870b2ob2o
152bob6obo$869b2o3b2o151bo8bo$866b2obo5bob2o$866b2o3b3o3b2o146bo5b2o5b
o$866bob9obo145b2o3b2o2b2ob4o$870b2ob2o148bo2b4o4bobo3bo$870bo3bo152bo
bo3b2obo$868bo2bobo2bo149b3o6b2o$869bobobobo150bo8b2o$871bobo$866bo3bo
3bo3bo$865b3o2bobobo2b3o$864bo3bobo3bobo3bo$865bobo2bob2o2bo2bo$869b5o
2b2o$872bo3bo$873bobo$5b2o38bo29b3o122bo3bo33b3o3b3o171bo6bo31b3o4b3o
182b3ob3o32b3o3b3o175bobo$4b2o39bo29bo2bo121bo3bo32bo2bo3bo2bo170bo6bo
30bo2bo4bo2bo182bo3bo32bo2bo3bo2bo$6bo37bobo28bo123bobobobo34bo3bo172b
obo4bobo32bo4bo225bo3bo$75bo164bo3bo214bo4bo182b2o7b2o32bo3bo$43bo32bo
bo120bobobobo31bobo5bobo208bobo6bobo179b5ob5o29bobo5bobo$41b3o157bobo
214bo6bo218b2o3bobobobo3b2o$40bo2bo154bobo3bobo210b3ob2ob3o218b4o2bobo
2b4o$37b3o3bo154bobo3bobo210b3ob2ob3o223bo3bo$40b3o155bo2b3o2bo209bo2b
o4bo2bo$40b2o2b2o370b2o3b2o3b2o221b2o3b2o$37bobo2bo3bo150b2o7b2o207b2o
bob4obob2o217b3o7b3o$40b2o4bo150bo9bo210bobo2bobo220b2o9b2o$39bobob2o
153bo7bo210b3o4b3o222b2o3b2o$39bo157b2ob5ob2o210bo6bo224bo3bo$39b3o
156bo2bobo2bo208bobo8bobo220b2o3b2o$38bo2bo157bobobobo209bobo3b2o3bobo
218bo2bo3bo2bo$38bo2bo376b3o2b3o221bo2bo3bo2bo$200b2ob2o210bo4bo2bo4bo
217bo11bo$39b2ob2o156bo3bo210bo4bo2bo4bo219b2o5b2o$38bo2b3o155b2o3b2o
210bo10bo$39bo159b2o3b2o212b2o4b2o222b2o5b2o213bo3bo32bo5bo$41b2o376bo
b2obo224bo5bo214bo3bo31b3o3b3o$38b2obob2o374b6o444bobobobo29b2obo3bob
2o$41bo2bo373bo6bo223b2o3b2o249bob2o3b2obo$43b2o373bo2b2o2bo443bobobob
o27b2o2b7o2b2o$40bo2bo374bo6bo445bobo32bob5obo$42bo376b2o2b2o443bobo3b
obo28bo4bo4bo$39b2o3bo374b2o2b2o443bobo3bobo$43b2o823bo2b3o2bo25b3o11b
3o$41b2obo860b2o7b2o$867b2o7b2o24b3o11b3o$43b3o821bo9bo24b2ob2o7b2ob2o
$42b4o822bo7bo27bo5bo5bo$41bo2bo822b2ob5ob2o27bo3b3o3bo$43bo824bo2bobo
2bo31b5o$43bo825bobobobo28bo11bo$40b2o863b4o3b4o$40b3o827b2ob2o33b2ob
2o$41bo828bo3bo34b3o$42bo826b2o3b2o31b2obob2o$42b2o158bo36bo5bo623b2o
3b2o29b2obobobob2o$202bo35b3o3b3o658b2ob2ob2ob2o$43bo158bo34bo2bo3bo2b
o621b2o3b2o28bo2bo5bo2bo$41b2o155bo3bo3bo29b3o7b3o619bo2bobo2bo26b2o3b
o3bo3b2o$195bobob2obob2obobo27bobo5bobo623bobo30bo11bo$194b2obobob3obo
bob2o28b2o3b2o622bo2bobo2bo31b2ob2o$193bo3bo9bo3bo23bo4bo3bo4bo617b2ob
2ob2ob2o28b3o2bo$193bobobob2o3b2obobobo28bo3bo622b4obob4o29b3ob3o$197b
2obo3bob2o27b2o3bo3bo3b2o621b3o32b2o2b4o$194b2obo9bob2o26bo2bo3bo2bo
624bo$197b2o2bobo2b2o31bo5bo175b2o32bo12bo177bo11bo30bo5bo210b2o$197bo
bobobobobo213b2o31bobo10bobo174b2obobo5bobob2o27b3o3b3o175bo33b2o5bo$
199bobobobo213bob2obo28b2ob2o8b2ob2o176bob2o3b2obo29bo2bo3bo2bo173b4o
31b2o3b2obo$199bobobobo211b3o4b3o26b2o14b2o173b2obo3bobo3bob2o25b3o7b
3o170b2o3b2o29b2o4bo2b2o$199bobobobo208b2o12b2o25bo12bo175b3o2bobobobo
2b3o26bobo5bobo171b2o3b2o30bo2b3o2b2o$196b2obobobobob2o205b2o2bob4obo
2b2o25b4o6b4o180bobobobo33b2o3b2o172bob3o2bo31bo5b3o$195bobobobobobobo
bo208bobo2bobo29bo2b2o4b2o2bo177bo2bobobobo2bo26bo4bo3bo4bo167bo2b2o2b
o30bo5bo2b2o$196bo2bobobobo2bo247b2o2bo2bo2b2o179bobobobobobo32bo3bo
173bo2bo2bo29bobo4bo2b2o$198bo2bobo2bo210b2o6b2o30b2ob4ob2o180b3obobob
3o27b2o3bo3bo3b2o169b2o33b5o5b3o$414b6o4b6o28bobo2bobo179bo2b3o3b3o2bo
27bo2bo3bo2bo173bo33b2o$2b3o35bo38bo334bobo10bobo29bo4bo185b2ob2o34bo
5bo175bo2bo29bo$bo37b5o34bobo117b3o3b3o207bob2o8b2obo215b2o11b2o211bo
32b3o2b3o$o5bo31bo3bobo32b2ob2o113bo3b2o3b2o3bo204bob2o8b2obo28bo6bo
179b2o11b2o211b2o35bo2bo4bo$o5bo31bobobobo32bo2b2o112b3o4bobo4b3o202b
2ob2o8b2ob2o25b2ob2o2b2ob2o178b3o7b3o212b2o32b3o4b2o2bo$b2obo34b2ob2o
32b3o119bo2bobo2bo206b2obo10bob2o26bo8bo177b2o2bo7bo2b2o207bo7bo26bo2b
2o6bobo$3o2bob2o31b3o31b2o4b2o115bobobobobobo206bobo10bobo27b2o6b2o
177bobobo7bobobo206b3o6bobo28bobo5b2o$bo5bo66b4o117bo5bobo5bo206bo2b2o
2b2o2bo439bobo5bo2bo23bo7bo5bo$8bo31b3o29bo5b2o115bo5bobo5bo205bo4bo2b
o4bo217bo11bo212b2o2b3o33bo$b2o38bob2o29b3obo117b5o3b5o212b2o222bobob
2o3b2obobo206b2o4bo3bo35bobo$3o33b3o3b2o33bo342bo2bo225b2o3b2o210b2o5b
2o29b2o$o3b2o30b3o36bobo573bobo213bo2bo$3o34bob3o31bobo340b4o4b4o218bo
bob2ob2obobo211bobo$2o7b2o28bo32bobo338b3o2b2ob2ob2o2b3o217b2obobob2o$
bo5bo3bo27b3o35bo337bo5b2o5bo220bobobobo$b2obob2o2bo26bo38bobo334b2obo
b3o2b3obob2o214b3obobobobob3o$bo4bo29bo2bo35bo339b3o3b2o3b3o215bo6bobo
6bo$2bo4bo2bo25b7o32bo339bo12bo218bo3bobo3bo$7bobo27bo2b3o33bobo338b2o
2b2o2b2o223b2ob2o$6bob2o27bo5bo34b2o337b10o217bo2b2o2bobo2b2o2bo$6bobo
29bobob2o31b2ob2o337bob2o2b2obo217bo2bob2o3b2obo2bo$7b2o35bo374bo4bo
220b2o11b2o$8bo28b2o5bo29bo345bo2bo$8bo27bobobob2obo28bobo341bobo2bobo
219bobo9bobo$7bo29bo3bobo31bo341b2ob4ob2o218bo2bo7bo2bo$8b2o35bo28b2o
341b2ob4ob2o218bo3bo5bo3bo$40bo3bo29b2o342bo6bo221bo2bo3bo2bo$38b3o35b
o340b3o4b3o220b2o7b2o$38bo2b4o29b2o2b2o335bobo8bobo$41bo36b2o334bo14bo
217bob3ob3obo$38bo6bo32bo335b2ob2o6b2ob2o215b2o2b3ob3o2b2o$38b3obo2bo
152b2o5b2o35bo36b3ob3o131b2o6b2o218b2o2bo5bo2b2o247bo5bo$40b2o3bo153bo
5bo35bobo34bo2bobo2bo129b2ob6ob2o218b2o9b2o247b3o3b3o$41b3obo151bobo5b
obo32bo3bo32bo3bobo3bo126b2obo8bob2o216b3o7b3o246bo2bo3bo2bo$40bo4b2o
150bo9bo33b3o33bo9bo130bo6bo219bob2ob2ob2ob2obo244b3o7b3o$39b2o2b3o
149b2o3bo3bo3b2o69bo5bo359b3o2b2ob2o2b3o245bobo5bobo$39b2o2bo152b2o2b
2ob2o2b2o30b2o3b2o30bobo7bobo356bobo3bobo3bobo247b2o3b2o$39bo2bo154bo
3bobo3bo28b2o3bobo3b2o26b2obob2ob2obob2o128b8o222b3o3b3o246bo4bo3bo4bo
$40bo159b2ob2o31b2o3bobo3b2o25bobobo2bobo2bobobo127b2o4b2o221bob2o3b2o
bo250bo3bo$42bo158bobo30b2o5bobo5b2o22b2obo4bobo4bob2o356b2o5b2o246b2o
3bo3bo3b2o$42bobo152bob3ob3obo30b2obobob2o25bo3bob2obobob2obo3bo353b3o
7b3o246bo2bo3bo2bo$42b3o149b2ob2o7b2ob2o23bo6bobo6bo25bob3o3b3obo357b
2o9b2o248bo5bo$40bobo152b4o2bobo2b4o27b2o2bobo2b2o24b2o3bo2b2ob2o2bo3b
2o$40b3obo154bobobobo29bo2bobo3bobo2bo26b2o9b2o361b2ob2o254b3o$37b2o2b
2obo190b2o11b2o26bo11bo359bobo3bobo250b2o3b2o$37b2ob2o156bo2b3o2bo28b
2o11b2o25bobo9bobo356b4o5b4o251bo3bo$238bo7bo27bo15bo354bo3b2o3b2o3bo
245bo2b2o$40bobo153b4obobob4o29b3o3b3o29bo11bo356bo3b2o3b2o3bo248bo3bo
$39bob2o153b6ob6o31bo3bo28b2obo11bob2o612bo3bo3b2o$38b3o157b2o5b2o30b
2obo3bob2o24bo3b2o9b2o3bo353bo2bo5bo2bo254bo$40bo155bo2bo5bo2bo30b2o3b
2o27bo2bo11bo2bo357bo5bo249b2o5bo$38b2o2b2o195bobobobo32b2o5b2o361b2o
5b2o$42b2o152b3o7b3o66b2ob2o5b2ob2o357b2o7b2o$42b2o195bo2bo2bo29b4o7b
4o356b2ob2o3b2ob2o$194bo15bo29b2ob2o29b2o4b2ob2o4b2o358bobobobo$194b2o
13b2o28b2o3b2o32bob2ob2obo357b2obo3bobo3bob2o$40b3o151b2o13b2o25b2obo
5bob2o28b5ob5o358b2obobobobob2o$40b3o152b4o7b4o26b2o3b3o3b2o28b2o7b2o
361bo5bo$40b2o157bo5bo30bob9obo395bo2bo9bo2bo$40b2o156bo7bo33b2ob2o35b
2ob2o358bob4ob2ob2ob4obo$40b3o197bo3bo35bo3bo359b3o11b3o$36b2obo3b2o
150b3o9b3o28bo2bobo2bo32bo5bo132bo6bo35b2o37b3o2b4o2b3o133bo9bo$36b2ob
o3b2o194bobobobo34bo3bo132bobo4bobo30b2obo2bob2o32bo3bob4obo3bo$39bo
201bobo173bobo4bobo30b2o6b2o31bo6bo2bo6bo129b2o11b2o$39bo2bo152b3o9b3o
31bobo174bo6bo31bobo4bobo31bo3b2o6b2o3bo128bo15bo$39bo2bo155b2o5b2o33b
2ob2o214b2o2b2o35bo12bo131bo2bo7bo2bo$39bob2o154b2o2b3o2b2o209b3o4b3o
31b2ob2ob2o31bobo14bobo132bo5bo$39b2o153b3o2b2obob2o2b3o206b4o2b4o33bo
2bo32b2obob2o8b2obob2o128bobo7bobo$202bo217bo2bo34bo6bo29bobobobo10bob
obobo$201bobo213b3ob2ob3o31bo6bo28b2o3bobob2o4b2obobo3b2o127bo9bo$44bo
156bobo213b2o6b2o66bo3bobobob2o4b2obobobo3bo124bo2bo7bo2bo$40bobo373b
2o8b2o30b8o30bo4bobobo2bobobo4bo127bo2bo7bo2bo$38b2obobob2o410b2o6b2o
26b2o6bo2bo4bo2bo6b2o126bo9bo$39bobobobo369bo12bo73b3o4b3o$40b2ob2o
368bo2bo10bo2bo30b2o182b2o11b2o$39bo5bo367bo2bo10bo2bo29bo2bo41b4o137b
o11bo$38bobo3bobo459b2o137bobo9bobo$42bo373b3o6b3o32bo2bo180bobo11bobo
$42bo373bo10bo28b3ob4ob3o176b4o9b4o$39b2o3bo373bo6bo29bo12bo174b2ob3o
7b3ob2o$39b2o375b3o6b3o28bob2o4b2obo178bo2bo5bo2bo$38b3o2b2o415b4o183b
2o7b2o$37b2ob2o377bob2obo32bo2b4o2bo180b3o5b3o$37bo5bo376bo2bo34b2ob2o
b2o182bobo3bobo$416bob2ob2ob2obo29bob6obo180b2ob2ob2ob2o$37bo7b2o369b
3o6b3o29bo8bo181bobo3bobo$37b2ob4obo$39bob4o371bobo6bobo27bo5b2o5bo
175b2o13b2o$43bobo370bobo6bobo26b2o3b2o2b2o3b2o174b3o11b3o$44bo369b3ob
3o2b3ob3o23bo2b4o4b4o2bo173bo2b2o7b2o2bo$457bobo4bobo179bo3bo3bo3bo$
199b2o3b2o36bo34b3o5b3o168b3o6b3o181b3ob3o$197b2o2bobo2b2o33b3o33bobo
5bobo168bo10bo176bo2bobobobobobo2bo$241b3o33bobo5bobo356b3o11b3o$201bo
bo71bob2o3bo3b2obo354bo15bo$196bo4bobo4bo28b3o5b3o27b2o4bobo4b2o355b3o
9b3o$196bo3bo3bo3bo70b2obob2o359b3o9b3o$196bo2bo5bo2bo28bobo5bobo30bo
7bo359b3o7b3o$237bobo5bobo30bobo3bobo362b2o3b2o$196bo11bo29bo7bo27b5o
7b5o354b2o11b2o$196bo2b2o3b2o2bo28bo2bo3bo2bo25bo2bo11bo2bo353bo3bobob
obo3bo$195bo3b2o3b2o3bo28bob2ob2obo27bob3o7b3obo353bo2b2o7b2o2bo$196bo
2bobobobo2bo26bo4bo3bo4bo26bob2o5b2obo358b2o2bobo2b2o$196b2o3bobo3b2o
26b6o3b6o25b2obobo3bobob2o358bob2ob2obo$199bobobobo29bo4bo3bo4bo25b3ob
o5bob3o$199bobobobo30b2obo5bob2o400b2o3b2o$198b2obobob2o33bo3bo34b2o3b
2o362bo2bobo2bo$201bobo32bo11bo32bobo363bobobobobobo$200b2ob2o31bo3bo
3bo3bo29bo7bo357b4obobobobob4o$237bo2bo3bo2bo30b2o5b2o356bo4bo2bobo2bo
4bo$237bo2bo3bo2bo27b2o11b2o354bobo4bobo4bobo$41b2o35b2o122bo29b3o3bob
o3bobo3b3o20bob2o11b2obo126bo6bo29bo12bo177b3o7b3o$43bobo29b2ob2o118bo
b2ob2obo24bo2bo3b9o3bo2bo19b2o2b2o7b2o2b2o125bobo4bobo28bo12bo179bob2o
b2obo$40bo3bob2o24b4o2bobo117b2obobob2o24bo2bo2b2ob5ob2o2bo2bo19bo2bo
2bo5bo2bo2bo124bo2bo4bo2bo26bobo10bobo174bo4b2o3b2o4bo$41b5o25bo4bo4bo
115bob2obob2obo30b2o2bo2b2o27bo4bo5bo4bo126b2o6b2o28bo12bo174b2o4bo5bo
4b2o$72b2o7bo116bo7bo30b2o3bo3b2o26bo2bo2bo3bo2bo2bo164bo12bo174b2o15b
2o$81bo116bo7bo30b2o7b2o23bo5bo9bo5bo119bo5bo4bo5bo25bo3b4o3bo176bo2b
2o2bobo2b2o2bo$43bo33b3o116b2o3b3o3b2o31b2ob2o27bobo15bobo119bobo3bo6b
o3bobo28b4o183b4o3b4o$42bobo31bo119bo11bo28bo3bobo3bo28bo11bo122bo2bo
3b2o4b2o3bo2bo23b4o4b4o180b2o5b2o$38bo2bo34bobo116b2o11b2o27bo3bobo3bo
24bo3bobo7bobo3bo118bo2b2o3bo4bo3b2o2bo217bo3bo$37b2o2bo33b2o125bo34b
2o2bobo2b2o24bo2bo3bo5bo3bo2bo165bo6bo180b2obo5bob2o$37bo3bo32b3o117bo
2b3o5b3o2bo28b3ob3o27b2o2b2o7b2o2b2o167b2o2b2o180bobo2bo3bo2bobo$41bo
3bo30bobo116bo13bo25b2ob2o5b2ob2o27bo9bo358b2ob2o3b2ob2o$42bobo33b2o
154bo2b2o7b2o2bo$44bo31bo3bo118bo5bo27bo17bo25b5ob5o358bob3o3b3obo$40b
ob2o32bo122b2obob2o28bob3o7b3obo19bo6b2ob2ob2ob2o6bo351b2o9b2o$39bo4bo
29b3o118b4o7b4o27bo2bo3bo2bo21b3o7bo5bo7b3o350bo11bo$39bo3bo29bo2bo
118b3o2b5o2b3o28b3o3b3o22bo2b2o5bo5bo5b2o2bo$38bo33bo126bo5bo29b2o4bob
o4b2o21bo3b5o5b5o3bo350b3o11b3o$38b2o155b2ob3obob3ob2o30bo3bo31bob2o5b
2obo$38b2o2b2o28bob2obo118bo2bo5bo2bo27bo4bobo4bo21bo3bo15bo3bo350b6o
3b6o$42b2o28bo3b3o117bo11bo24bo6b2ob2o6bo18bob2o2bo11bo2b2obo350b2obo
2bobo2bob2o$41bo2bo30bo3bo152b2o2b3obo3bob3o2b2o17bob4o13b4obo351bobo
2bobo2bobo$42b2o29bo123bo4bo4bo23bo5b4o3b4o5bo19bo17bo354bobobo3bobobo
$45bo28bobo121b2o5b2o25bo3b2o2bo3bo2b2o3bo393bo2bo5bo2bo$42bobo28b2ob
3o119b2o5b2o26b3o2bobo3bobo2b3o19bo21bo352bo2b2o3b2o2bo$42bo3b2o24bobo
bob2o190bobo19bobo355bo3bo$43b4o24b2obobo3bo115bo3bo3bo3bo29b3o3b3o22b
o25bo349bo5bobo5bo$74bo120bo4bo3bo4bo27b2o7b2o21bo3bo17bo3bo349b2o2bob
obobo2b2o$71b2obobo118b3obo5bob3o26b2o9b2o25bo15bo357b2obobob2o$40b4ob
o30bo159bobo7bobo20b2o23b2o353bobobobo$40bo5bo25bo4bo159bo9bo23bo3bo2b
o7bo2bo3bo250b3o10b3o90bo3bo$46bo25bo2bo2b2o118bo7bo31bobo3bobo24bo3bo
bobo5bobobo3bo250bo2bo8bo2bo90b2ob2o$40bo4bo30b3o118b2o7b2o30bobo3bobo
24bo5bob2o3b2obo5bo250bo14bo88bobo3bobo$40b6o152bo7bo30bo9bo23bo3b2obo
7bob2o3bo250bo3bo6bo3bo89bo5bo$40bo2b2o151b3o7b3o28bo9bo27b2o11b2o254b
o3bo6bo3bo90bo3bo$40bo32b2o120bobo9bobo27bo3bobo3bo25bo17bo253bo3bo4bo
3bo90b3ob3o$40bo31bo2b2o161bo2bobo2bo25bo19bo257bo2bo93b3obobob3o$75b
2o118b3o9b3o28bo2bobo2bo25bo4bo9bo4bo258b2o94bobobobobobo$40bo35bo119b
o11bo62b2o3b2o9b2o3b2o254bobo2bobo92bo2bobo2bo$39bobo154b3o7b3o30b3ob
3o25b2o3bobo7bobo3b2o254bo6bo92bo2bobo2bo$39bo2b4o26b2o2bo162bobobobo
25b2o3b2o3b3o3b2o3b2o255b2o2b2o92b3obobob3o$39bob3o29b3o164b5o26b3o2b
3obo3bob3o2b3o253bo8bo89bo4bobo4bo$46bo27bo122bo9bo26b3o11b3o24bob2obo
3bob2obo257b10o90bo3bobo3bo$41b2o3bo27bobo118b2obo7bob2o24b3o11b3o20b
2o3b2obo5bob2o3b2o252bo3bo2bo3bo90bo7bo$46bo27bobo118bo3bo5bo3bo22bo3b
o11bo3bo19bob2o3bobobobo3b2obo253bobobo2bobobo87bobo9bobo$37b2obo33bo
119b3obo7bob3o25bo11bo31bobobo260b2obo2b2o2bob2o87b2o9b2o$37b2o2bo33bo
121b2o7b2o29bo9bo29bo9bo260b8o88bo15bo$38bobobo152bob2o7b2obo22bo3bo3b
obobo3bo3bo24b3o5b3o257bobo8bobo86bo2bo7bo2bo$41b3o152b3o7b3o24b2o4bo
5bo4b2o27b2obob2o259bobo8bobo88bobo5bobo$40b3o155bo7bo27bo15bo28b7o
264bo2bo94bo7bo$41bo2bo151bobo7bobo26b3o9b3o27b3o5b3o262b4o$41b2o2bo
153b2o3b2o30bo5bo5bo27b2obobobobob2o355b3o11b3o$45bo152b4ob4o34b3o31bo
3bo5bo3bo261b2o93b3o7b3o$42bobobo149bo2bobobobo2bo31b2ob2o35b2ob2o264b
2o2b2o91bo2bo5bo2bo$200bo3bo35b5o29bo2bobobobobobo2bo257bo6bo$42b2o
155b2o3b2o31b3o2bo2b3o27b4o7b4o258bo6bo90bo11bo$42b2o155b2o3b2o29bo13b
o28bo7bo260bo8bo89bobo7bobo$41bob2o190bobo9bobo28bo7bo261bo6bo91b3o5b
3o$42b3o155bo3bo32bo9bo27b2obo2bobo2bob2o259b6o93b2o5b2o$44bo154bobobo
bo28bobo11bobo397bobo3bobo$44bobo151bo7bo26bo2bo11bo2bo26b2o5b2o362bo
5bo$41b3o154bo7bo27b2o13b2o$42b2ob2o152bo5bo$45bo232bo7bo$43b2o155b2ob
2o73b3o3b3o$44bo155bo3bo72bo2bo3bo2bo$41b3o156bo3bo73bo7bo$41bo3bo155b
3o73bo2bo3bo2bo$41b2o157bo3bo75b2ob2o$199b2o3b2o75bobo$42bo236bobobobo
$42bobo233bo3bo3bo$38b3o2b3o232bo7bo$37bo3b2ob2o149b2o3bo3bo3b2o71bobo
$41b5o150b4o5b4o67b2obo5bob2o$38bo158b2o7b2o68b2o2bo3bo2b2o$40bobo233b
o11bo$42b2o233bo9bo$40b3o232bobo9bobo$39bob2o231b4o9b4o$38b2obob2o229b
2obobo5bobob2o353b2o13b2o25bob3o3b3obo30b3ob3o$38bo4b3o227bo2bo11bo2bo
354bobo7bobo26b2ob2obobob2ob2o28bo2bobo2bo$37b3o6bo231bobo3bobo356bo3b
ob2o3b2obo3bo22bo2b2o2bobo2b2o2bo26bo3bobo3bo$36bo8bo231b2obo3bob2o
356b5o7b5o27bo2bobo2bo30bo9bo$37bobo3bo229bo2bo3b2ob2o3bo2bo392bo4bobo
bobo4bo28bo5bo$39bob2o235bo2bobo2bo396b2o2bobobobobobo2b2o24bobo7bobo$
275bo2bob2ob2obo2bo354bobo11bobo22b2o6bobo6b2o23b2obob2ob2obob2o$43b4o
229bobobobobobobo355bo3bobo3bobo3bo23bobo3b2ob2o3bobo23bobobo2bobo2bob
obo$42b2o2bo230b2o2bobo2b2o356bo3b3o3b3o3bo24b2o2bobobobo2b2o23b2obo4b
obo4bob2o$41bobobo232bobo3bobo363bo3bo29b2o2b2obobob2o2b2o21bo3bob2obo
bob2obo3bo$40b2obob2o232b2o3b2o361bobo5bobo33bobo32bob3o3b3obo$38b2ob
2o2b2o229b2o9b2o360bo5bo29bo5bobo5bo22b2o3bo2b2ob2o2bo3b2o$43bobo230b
3o7b3o361b2ob2o29bobo3b2ob2o3bobo25b2o9b2o$37bo2bo4bo230bobo7bobo362bo
bo35bobobobo30bo11bo$43bo230b2o2bo7bo2b2o357b2obobob2o27bo3b2obobob2o
3bo24bobo9bobo$38b2o2b2o230b2o13b2o356bo3bobo3bo26bobo4bobo4bobo23bo
15bo$38b3obo237bo3bo359b2o5bobo5b2o25bo4bobo4bo27bo11bo$38bo2b2ob2o
229bo4bo3bo4bo353bobo5bobo5bobo21b2o6bobo6b2o21b2obo11bob2o$40bo4bo
229b2o3bo3bo3b2o354b2o2b2obobob2o2b2o26b3obobob3o24bo3b2o9b2o3bo$37b2o
2b2obo231bo2bo5bo2bo355bo3b2obobob2o3bo24bo4b2ob2o4bo23bo2bo11bo2bo$
276b3o7b3o355b2o5bobo5b2o22b2o6bobo6b2o26b2o5b2o$43bo231bobo9bobo354bo
15bo22bobo2b2obobob2o2bobo23b2ob2o5b2ob2o$43bo2bo228b2o11b2o355bo4bo3b
o4bo31bobo31b4o7b4o$43bo2bo228bobo4bo4bobo360bo3bo32b2o2bobo2b2o26b2o
4b2ob2o4b2o$44bobo228b2o4b3o4b2o360b2ob2o31b2o2bo3bo2b2o29bob2ob2obo$
44bo230b2o3bo3bo3b2o400b2ob2o32b5ob5o$42b2o230b3o4b3o4b3o357b2o5b2o29b
2o9b2o28b2o7b2o$42b2o2bo225b2o17b2o355b2o5b2o29b2o9b2o$42b2obo225bo5b
2o2bobo2b2o5bo352bo11bo26bobo9bobo30b2ob2o$42bo603bobo7bobo25bo15bo29b
o3bo$40b4o227bo2bob3ob2ob2ob3obo2bo127b2o223bobo7bobo25bo15bo28bo5bo$
45bo231b3o5b3o132bo2bo260bo15bo29bo3bo$40b2o237b3ob3o134bo2bo221bobob
2o3b2obobo26b3o7b3o$43bobo228bo4b2obob2o4bo128bo4bo221b3ob2ob2ob3o30bo
5bo$43bobo234bo3bo134bo4bo222bob3ob3obo29bobo5bobo$42bob2o374b4o222b2o
9b2o30b2o3b2o$42bo237b2ob2o134b2o2b2o222b5ob5o30bob2ob2obo$42bo376bo4b
o219bob3o2bobo2b3obo26bo3bobo3bo$419bo4bo219b3o3b2ob2o3b3o26bo2bo3bo2b
o$43bobo600bo2b2o3b2o2bo$38b2o2b3o602b2o7b2o31b2o3b2o$39bob2o377b4o
264bo2bobo2bo$39b2obo378b2o225b2obobob2o34bobo$40b2o605bo3bobo3bo30b2o
bobob2o$39bo608b2obobob2o31b2obobob2o$39bobo604bobob2ob2obobo28b2o2bob
o2b2o$38bo3bo602bo3bo5bo3bo29bo5bo$37bo2b3o603b2o9b2o$37bo610bo7bo$
646bo11bo$41bob2o195bo3bo74bo5bo318b2o13b2o$39b2o2b3o192b9o71b3o3b3o
317bo2bo9bo2bo$41b3o2bo270b2o2bobo2b2o315bo17bo$41bo5bo193b3o73b2o2bob
o2b2o316bo4b2o3b2o4bo$40b2o3b2o193b5o73bo2bobo2bo319b2ob2o3b2ob2o$41b
2o194b2o7b2o69bo3bobo3bo322b2ob2o$39bo3bo192b3o7b3o68bo4bo4bo$39bo4bo
190bo13bo67bo9bo321b3ob3o$40bo3bo272bo9bo$40bo2bo194b3o3b3o70bo9bo$
235b2o11b2o67bo3b3o3bo$39b2o2b2o190b2o4bobo4b2o69bo2bo2bo$39b2o2b2o
193bobo3bobo72bobobobo$37b2o6b2o190b2o7b2o71bo5bo$36bob2o4b2obo190bobo
3bobo69bo2bo5bo2bo$36bo10bo189bo2bo3bo2bo67b2o11b2o$37bo8bo190bobobobo
bobo70b2o5b2o$36b2o2b4o2b2o188b3o7b3o65bob2ob2o3b2ob2obo$37bobo4bobo
189b3o7b3o65bo5b2ob2o5bo$38b2o4b2o190b3o7b3o70bo5bo$37bo3b2o3bo190b2o
7b2o70bo2bobo2bo$37bo8bo190b2o7b2o71bobobobo$36bo10bo190b3o3b3o73bo3bo
$37bo8bo191b3obob3o$241bobo$40b2o2bo194bob3obo$40bo3b2o193bo5bo$38bo3b
2o195bo5bo$38bo3b2o192b3obo3bob3o$37bo6b2o190bo2bob3obo2bo$36bo2bo2b4o
190bob2o5b2obo400bo5bo69b3o9b3o$37b2o2bo3bo602bobo3bobo68bo2bo7bo2bo$
42bo604bo2bo3bo2bo66b2o13b2o$648b2o5b2o65b2obo3bo5bo3bob2o$725b3ob2o3b
2ob3o$644bo5bo3bo5bo60bo21bo$643bobo3bo5bo3bobo60bobob5o3b5obobo$642bo
2bo3b2o3b2o3bo2bo59bo3bo2b2o3b2o2bo3bo$642bo2b2o3bo3bo3b2o2bo59bo3b3o
7b3o3bo$722bo4bo9bo4bo$726b3o7b3o$725bo2b2o5b2o2bo$728b2o5b2o$724b2o4b
o3bo4b2o$723bo3bo3bobo3bo3bo$720b2ob3obobobobobobob3ob2o$719bo5b2o4bob
o4b2o5bo$718bo4b2o15b2o4bo$718b3o8bo5bo8b3o$727b2o7b2o$282bo445bo2bobo
2bo$281bobo436bo8b2o3b2o8bo$280bo3bo437bo6bo5bo6bo$281b3o434bo3b2o17b
2o3bo$719bo25bo$279b2o3b2o434b2o2bo15bo2b2o$276b2o3bobo3b2o430bo3bo17b
o3bo$276b2o3bobo3b2o432b2obo15bob2o$274b2o5bobo5b2o427bo2bo2b2o13b2o2b
o2bo$278b2obobob2o432b2obo3b2o9b2o3bob2o$44bo229bo6bobo6bo428b2o2b2ob
2o9b2ob2o2b2o$43bobo231b2o2bobo2b2o437b3o9b3o$42bo2bo229bo2bobo3bobo2b
o435bo13bo$43b2o230b2o11b2o434bob2o9b2obo$275b2o11b2o436bo11bo$39bo5bo
232bo7bo440bo9bo$38bobo3bo233b3o3b3o439bo11bo$37bo2bo3b2o234bo3bo440b
2ob2o5b2ob2o$37bo2b2o3bo231b2obo3bob2o440b2o5b2o$279b2o3b2o440bo2bo5bo
2bo$279bobobobo438bo15bo$728b2o5b2o$279bo2bo2bo438bob2o9b2obo$280b2ob
2o$279b2o3b2o440b3o7b3o$725b3o9b3o$278bo2b3o2bo437bo3b4ob4o3bo$277b11o
438b4obobob4o$277b2obo3bob2o437b2obo2bobo2bob2o$725b2obo2bobo2bob2o$
728bob2ob2obo$730bo3bo$729bo5bo2$724b3o11b3o$725bo13bo$725bo13bo$723bo
bo13bobo$724bo15bo12$319bo5bo$318b3o3b3o$317bo2bo3bo2bo$316b3o7b3o$
317bobo5bobo$319b2o3b2o$315bo4bo3bo4bo$320bo3bo$315b2o3bo3bo3b2o$317bo
2bo3bo2bo$319bo5bo364bo3bo73b3o3b3o$690bo3bo73bo2bobo2bo$322bo366bobob
obo71bo3bobo3bo$320b2ob2o444bobobobo$688bo7bo72bo5bo$320b2ob2o360bob2o
2bobo2b2obo69b2o3b2o$319bo2bo2bo359bobo2b2ob2o2bobo70b2ob2o$319bobobob
o358bob2obobobobob2obo69b2ob2o$317b2o3bo3b2o441bo5bo$317b2ob5ob2o362bo
3bo70b3o9b3o$320b2ob2o439bo2b2o7b2o2bo$317bobo5bobo358b2ob2o3b2ob2o65b
o15bo$318bobo3bobo359b2o9b2o69bo7bo$320b2ob2o364b2o3b2o69bo2bo7bo2bo$
320b2ob2o365bo3bo70bobo9bobo$689bo5bo69b2o11b2o$322bo365bobo3bobo66bo
3b3o5b3o3bo$322bo364b4o3b4o65bo5bo5bo5bo$320bobobo361bo2bo5bo2bo69b2o
5b2o$319b2o3b2o360bob2o5b2obo66bo5bobo5bo$688bo7bo71bob2ob2obo$317bo9b
o360b2o5b2o70bo3bobo3bo$317bo9bo441b2o3b2o$318bo7bo363bo3bo73b3o3b3o$
320bo3bo364bo5bo72bobo3bobo$689bo5bo71bo9bo$768bobo3bobo$689b2o3b2o73b
o5bo$689bobobobo74bo3bo$690b2ob2o73b4ob4o$691bobo74bo7bo$691bobo75bo5b
o$688b2obobob2o72bo5bo$688b2obobob2o$687bo3bobo3bo68b3ob2ob2ob3o$686b
3ob2ob2ob3o66bo3b2o3b2o3bo$686b2o9b2o65bo2bo2bo3bo2bo2bo$686b3o7b3o65b
2o3b2o3b2o3b2o$686bo2bo5bo2bo65bob5o3b5obo$684b2o3b2o3b2o3b2o69b2ob2o$
685b2ob3o3b3ob2o64b5o7b5o$686bo2bo5bo2bo64b4ob2o5b2ob4o$687bo2bo3bo2bo
65b3o3b2o3b2o3b3o$687b2ob2ob2ob2o70bob2ob2obo$689bobobobo74b2ob2o$685b
obo2bo3bo2bobo67bobo5bobo$685bo2bo7bo2bo66bob2o5b2obo$689bo5bo69b2o2bo
5bo2b2o$764b2o13b2o$688bobo3bobo70bo2b2ob2o2bo$690bo3bo69b2o4b2ob2o4b
2o$688bobo3bobo73bo3bo$687bo2bo3bo2bo69b4o3b4o$688bo7bo69bo4bobo4bo$
689bo5bo70bob2obobob2obo$765b2ob2obobob2ob2o$684b2o2b2o5b2o2b2o63b3o
11b3o$684b3o3bo3bo3b3o65bo11bo$687b4o3b4o68bo11bo$686bo4bobo4bo65b3o
11b3o$687bo2bo3bo2bo69b3o5b3o$687bo9bo70b2o5b2o2$767b3o5b3o$767b2o7b2o
$769bo5bo$768b2obobob2o$767bo9bo$767bo3bobo3bo2$767b3o5b3o$766bo11bo$
767bobo5bobo$765bo2bobo3bobo2bo$765b4obo3bob4o$764bo3bob2ob2obo3bo$
764bo2b2o7b2o2bo$763b2obo3b2ob2o3bob2o$766bob2obobob2obo$763b5obo5bob
5o$763bo6bo3bo6bo$768bo7bo$767bo2bo3bo2bo$771bobo$771bobo$768b2obobob
2o$768bo2bobo2bo$768bo2bobo2bo2$767b2o7b2o$767b2o7b2o$767b2o7b2o3$766b
o2bo5bo2bo!

Known spaceships by height

Velocity minimum height
(1,0)c/2 8
(1,0)c/3 5
(1,0)c/4 8
(2,0)c/4 6
(1,0)c/5 8
(2,0)c/5 11
(1,0)c/6 9
(2,0)c/6 7
(3,0)c/6 9
(1,0)c/7 8
(2,0)c/7 8
(3,0)c/7 7

All results checked by Matthias Merzenich using WLS. 

x = 65, y = 70, rule = B3/S23
6bo17bo$5b3o15b3o$3b2ob3o13b3ob2o$4bo2bob2o4bo4b2obo2bo$b2obo4bobob2ob
2obobo4bob2o$b2obobo2bobo7bobo2bobob2o$bo8b3obobob3o8bo$2o7b2o9b2o7b2o
13$15bo$8b2ob3ob3o$8b2o4bo2b2ob2o$7bo2bob2o3bo2b2o$19bo2bo16$3bo53bo$
3bo7b3o11b3o28b3o$2bobo4b2o5b3o36b2obo$9b5ob5o4bo2bo27b3o$7bobo2bo2bo
3bo5bo30b2o$3b6o3bo2b2o4b6o$4b2o6bobo2b2o3bo$14bo6bo13$11bo7bo33bo$5b
2obobob2o3b2obobob2o26b3o$2b3obob3o9b3obob3o22bo3bo$2bo3bobo5bobo5bobo
3bo22b2ob2o5bo$6b2o6bobo6b2o36b2o$3b2o9bobo9b2o22b4obo5bob2o$3b2ob2o
15b2ob2o23bo2bo2b3o2bo$7bo15bo33b3o$61bo$61bob2o!

See also

References

  1. ↑ 1.0 1.1 Tim Coe (December 18, 2015). "Re: 3c/7 othogonal and 2c/9 diagonal spaceships". Retrieved on December 18, 2015.
  2. ↑ Aidan F. Pierce (May 13, 2017). "Re: Spaceship Discussion Thread". Retrieved on May 24, 2017.
  3. ↑ 3.00 3.01 3.02 3.03 3.04 3.05 3.06 3.07 3.08 3.09 3.10 3.11 3.12 3.13 3.14 3.15 3.16 3.17 3.18 Matthias Merzenich (March 14, 2021). Re: Spaceship Discussion Thread (discussion thread) at the ConwayLife.com forums
  4. ↑ 4.0 4.1 Tim Coe (April 13, 2016). "Re: Spaceship Discussion Thread". Retrieved on April 13, 2016.
  5. ↑ Tim Coe (January 30, 2016). "Re: 3c/7 othogonal and 2c/9 diagonal spaceships". Retrieved on January 30, 2016.
  6. ↑ 6.0 6.1 Tim Coe (June 11, 2016). "Re: Spaceship Discussion Thread". Retrieved on June 11, 2016.
  7. ↑ 7.0 7.1 7.2 Matthias Merzenich (December 24, 2016). "Re: Spaceship Discussion Thread". Retrieved on December 24, 2016.
  8. ↑ Matthias Merzenich (June 14, 2017). "Re: Spaceship Discussion Thread". Retrieved on November 20, 2017.
  9. ↑ Tomas Rokicki (March 1, 2018). "Re: Spaceship Discussion Thread". Retrieved on March 3, 2018.
  10. ↑ 10.0 10.1 10.2 Andrew J. Wade (January 5, 2020). "Re: Spaceship Discussion Thread". Retrieved on January 6, 2020.
  11. ↑ Andrew J. Wade (January 1, 2020). "Re: Spaceship Discussion Thread". Retrieved on January 1, 2020.
  12. ↑ 12.0 12.1 12.2 12.3 Checked with knight2.c
  13. ↑ 13.0 13.1 AforAmpere (December 21, 2020). "Re: Spaceship Discussion Thread". Retrieved on December 21, 2020.
  14. ↑ Checked by Paul Tooke with gfind
  15. ↑ Andrew J. Wade (January 1, 2020). "Re: Spaceship Discussion Thread". Retrieved on January 6, 2020.
  16. ↑ 16.0 16.1 16.2 16.3 Tim Coe (April 17, 2016). "Re: Spaceship Discussion Thread". Retrieved on April 17, 2016.
  17. ↑ 17.0 17.1 Arie Paap (January 16, 2017). "Re: Spaceship Discussion Thread". Retrieved on January 16, 2017.
  18. ↑ Arie Paap (March 16, 2017). "Re: Spaceship Discussion Thread". Retrieved on March 16, 2017.
  19. ↑ Arie Paap (March 19, 2017). "Re: Spaceship Discussion Thread". Retrieved on May 24, 2017.
  20. ↑ 20.0 20.1 20.2 Tim Coe (April 21, 2016). "Re: Spaceship Discussion Thread". Retrieved on April 21, 2016.
  21. ↑ AforAmpere (January 9, 2020). Re: Spaceship Discussion Thread (discussion thread) at the ConwayLife.com forums
  22. ↑ AforAmpere (January 6, 2020). "Re: Spaceship Discussion Thread". Retrieved on January 6, 2020.
  23. ↑ 23.0 23.1 23.2 AforAmpere (November 5, 2017). "Re: Spaceship Discussion Thread". Retrieved on November 20, 2017.
  24. ↑ 24.0 24.1 Aidan F. Pierce (December 27, 2016). "Re: Spaceship Discussion Thread". Retrieved on December 27, 2016.
  25. ↑ 25.0 25.1 Aidan F. Pierce (December 28, 2016). "Re: Spaceship Discussion Thread". Retrieved on December 29, 2016.
  26. ↑ Aidan F. Pierce (December 25, 2016). "Re: Spaceship Discussion Thread". Retrieved on December 25, 2016.
  27. ↑ 27.0 27.1 27.2 Tim Coe (March 1, 2016). "Re: Spaceship Discussion Thread". Retrieved on March 24, 2016.
  28. ↑ 28.0 28.1 28.2 28.3 28.4 28.5 28.6 Aidan F. Pierce (January 5, 2017). "Re: Spaceship Discussion Thread". Retrieved on January 16, 2017.
  29. ↑ 29.0 29.1 AforAmpere (November 13, 2017). "Re: Spaceship Discussion Thread". Retrieved on November 20, 2017.
  30. ↑ AforAmpere (December 10, 2017). "Re: Spaceship Discussion Thread". Retrieved on December 10, 2017.
  31. ↑ AforAmpere (November 5, 2017). "Re: Spaceship Discussion Thread". Retrieved on November 20, 2017.
  32. ↑ 32.0 32.1 Tim Coe (February 1, 2016). "Re: 3c/7 othogonal and 2c/9 diagonal spaceships". Retrieved on March 5, 2016.
  33. ↑ 33.0 33.1 33.2 33.3 Aidan F. Pierce (December 25, 2016). "Re: Spaceship Discussion Thread". Retrieved on December 25, 2016.
  34. ↑ 34.0 34.1 34.2 34.3 34.4 Andrew J. Wade (January 8, 2020). "Re: Spaceship Discussion Thread". Retrieved on January 8, 2020.
  35. ↑ Ivan Fomichev using gfind under OS X 10.9.5
Retrieved from "https://conwaylife.com/w/index.php?title=LifeWiki:Spaceship_Search_Status_Page&oldid=78265"