Adjustable knightwise ((2,1)c/5) wickstretcher in OT rule!
Code: Select all
x = 444, y = 319, rule = B3568/S34678
21$157b2o$156b3o$155b6o$154b2obo$155b2o2bo$17b4o134b2obo$16bobobo136b
3o$16b2o3bo134bob2o129b3o$15bob3obo134b3obo127bob3o$16b3o138b2ob2o125b
4obo$19b2o135b2obob3o123bo2b2obo$18b2obo136b7o126bo$17b4o138b3o2bo123b
4o$17b3obo137bob2o125bo3bo$16b2ob3ob2o134b3ob3o123bobobo$19b6o133bob4o
bo123b2ob3o$19bob3o2bo131b3ob3o124b2ob3o$21b2o2bobo132bo2bobo124b2o2b
4o$19bob3obo135bob2o125b2ob3obo$19b8o133b4obo127b4o$20bob4o136bobo126b
3obo2bo$23b2obo133b3o128b4ob2o$21bo2b3o134bo2bobo124bob4obo$22bo138bob
o3b3o123b2o3bo$21bobo2bo134bo2bo2b2obo122bobobo$22bobobo135bobo2b4o
123b3obo$22b2o2bobo135bobob4ob2o119bo2bo$23b2obob3o138b5obo120bo$22b2o
bo3bobo138bob6o116b2o2bo$23b3ob5o137b6o2bo116b3o3b2o$23bo2bo2bob2ob2o
132bob9o114bo3b6o$30bo2b5o131bo4bob3obo118bobobo$31b4o2bo135bob2o2bo
119bob2o$30b2ob2ob2o140b4o114bobo3b2ob3o$30b10o138bob2o119bob4obo$30b
5ob6o137b2o2b2o117b8o$35bo2bob2o137b6obo115bob4o$32bo5b2ob2o137b5obo
115bo3bo3b3o$41bo137bob6o116b2obo2b3o$40bob3o134bob9o117b5ob2o$40b6o
133bob7obo120b2o2bo$41b3ob4o131b2ob9o119bob3o$41b6obo135b3ob3o120bob6o
$41b9o133b5o2b3o119b5obo$41b9obo133b2obo2bo121b5ob2o$41b2o2b4ob2o140bo
120b6ob2o$45b4obobo140bo117bobob5obo$44b5obobo137b4obo117bob7obo$45b2o
5b3o135b5o118b3ob6o$45bob2o3b2o138bob4o117b5o2b4o$50bob2o136b5o2bo120b
2o2b3o$51bob3o135bo2b5o119b2o3b2o$52bo2bobo132b6obo$52b3o2bo134b3ob2o
127b3o$56b4o132bobo2bobo123bobobo$51b7o138b4o123b4obo$52b7o141bo124b2o
b2o$51b5o2bo139b3o123b2o$53bo4b2o139b2o122b2o2bo2b2o$56bob3o263bob3o$
55bo3b2o140bo122bobob3o$56b2o2b3o136b4o123bo2bobo$199bo3b2o125b4o$61b
2o135b2o2bo128b3o$62bo135b3obo130b2o$61bob2o136b2o128b3o$60b3obo133b3o
bo130bo$60bob3o134bo3b4o127b2o$60b2ob3o133b2o2bo2b2o125b4o$60b4o135b4o
b5o123b2o2bo$59b2o139b7o124bo2bo$60bo2bo138b5ob2o121b6o$60b2o2b5o135bo
b3o123b2ob2o$61b2ob4obo135b2o125b2obob2o$62bob5obo133b2o127b8o$63bo2b
3o135b5o122b2o3b2obobo$62b2ob2ob3o133bo3b3o121b3obob2o$65b2o136b7o122b
9obo$65b4o136b2o128b4ob2o$66b2o2bo135b3o128bo3b2o$65b6o135b4o129bo$65b
o2b3o135bobob2o125b3o$65bob3o138b3obo123b2ob3o$68bo2bo135b6o126bobo$
66b5o135b6o125bob5o$70b2o135b3obo127bob2o$69bob2o135b4o128b3o$68bob4o
134bo2bob2o123b3ob2o$68b4obo134b5obo125bo2b2o$68b4o139b4o125bob2obo$
69b3obo134bob2o3bo123bob5o$69b5o135b3o2b4o121b5o$72b5o133b3o2b2o122bob
5o$69bob4o135b5obobo125bo$70b3ob2obo132b4obo2bo121b2o3b2o$70b3ob4o133b
3ob5o122b2obob2o$71b4ob2o134bob2obo123b4ob3o$71b4ob3o133b7o126bob2o$
72b4ob3o133bob4o123b3o2bo$74b2o2bo134b7o123b2ob3obo$73b3ob4o136b3o122b
ob2ob3o$73bo2b4o137b4o122b9o$74b6o137b3o123bobob2ob2o$75b6o140bo125b6o
$77b4o139b2o123bob5o$78b4o136bo2b2o124b5o$77bob3o138b4o123b6o$77bo3b2o
136bob4o122b6o$79b3o137b2obo126bob3o$80b3o137b2o128bobo$81bob2o133b3ob
o128b2o$81bob2o136b2o130b2o$81bo2bo137bo129b3obo$79b3o138b2o130b4obo$
80b2o2bo134b2o131b4o$82b2o137b3o128bob2o$82bo137b2obo127b2o2bo$81b3o
138b3o127b4o$81bo140b2o128b5o$81b3o140b2o127b3o$83b2o139bo127b3o$82b2o
139bobo127b2o$84b2o136bo129b4o$85bo137b2o129bo$85bo135b2ob2o131bo$84b
3o136b5o127bob2o$84b2o137b3obo129bo$83bobo136b5o129b2o$83bobobo134b6o
129bo$83b3obo133b7o$86b2o135b6o125bob3o$83b7o135b4o126b3o$82bob5o134b
7o127b2o$83b6o135bob4o126b3obo$83bob5o134bob5o124b5o$85b5o135b6o124b6o
$84bob5o134b7o124b5o$85b6o135b6o124b6o$86b6o135b6o125b4o$86b6o134bob5o
124b6o$87b6o134b7o123bob4o$87b6o136b5o124b6o$88b6o133b2ob5o122bob5o$
88b6o135b6o123b7o$89b6o134b7o122bob5o$89b6o135b6o124b6o$90b6o134b7o
123b6o$90b6o134b7o123bob5o$92b2o137b7o123b6o$231b7o123b7o$232b7o124b5o
$232b7o123b7o$233b7o123b6o$233b7o123b7o$235b3o125b7o$233b3o128b7o$233b
5o126bob5o$234b4o126bob6o$234b2o129b7o$364b9o$366b7o$368b6o$366b8o$
367bob6o$367bob6o$368b8o$368b8o$369b8o$370b7o$369bob7o$370b8o$372b7o$
370b2ob6o$372b8o$372b8o$373b8o$373b8o$375b7o$374b8o$374bob7o$375b8o$
374bob8o$375b9o$375bob8o$377b8o$377b9o$377bob7o$378b9o$378b9o$380b8o$
379b9o$380b9o$380b9o$380b10o$381b9o$381bob8o$381bob8o$382b10o$381b11o$
383b10o$385b8o$383b11o$384bob8o$384bob9o$385b10o$385b11o$386b10o$387b
10o$386bob9o$387b11o$389b9o$387b2ob9o$389b10o$389b11o$390b10o$390b11o$
392b9o$391b11o$391bob9o$392b11o$391bob10o$392b12o$392bob10o$394b11o$
394b11o$394bob10o$395b11o$395b12o$397b10o$396b12o$397b11o$397b12o$397b
12o$398b12o$398bob10o$398bob11o$399b12o$398b14o$400b12o$402b11o$400b
13o$401bob11o$401bob11o$402b13o$402b13o$403b13o$404b12o$403bob12o$404b
13o$406b12o$404b2ob11o$406b13o$406b13o$407b13o$407b13o$409b12o$408b13o
$408bob12o$409b13o$408bob13o$409b14o$409bob13o$411b13o$411b14o$411bob
12o$412b14o$412b14o$414b13o$413b14o$414b14o$413bob13o$414b15o$415b14o$
415b15o$416b14o$416b13o$417b12o$417b11o$418b10o$418b9o$419b8o$419b6o$
421b2o!
[[ ZOOM 1 ]]
Also, 1-cell near-misses:
Code: Select all
x = 531, y = 206, rule = B3568/S34678
14$418b3o$417bob3o$269b2o145b4obo$268b3o145bo2b2obo$128b3o136b6o147bo$
127bob3o134b2obo147b4o$126b4obo135b2o2bo145bo3bo$126bo2b2obo134b2obo
147bobobo$130bo138b3o146b2ob3o$127b4o137bob2o146b2ob3o$127bo3bo136b3ob
o146b2o2b4o$128bobobo136b2ob2o145b2ob3obo$128b2ob3o134b2obob3o146b4o$
128b2ob3o136b7o143b3obo2bo$129b2o2b4o134b3o2bo143b4ob2o$129b2ob3obo
134bob2o145bob4obo$132b4o135b3ob3o144b2o3bo$130b3obo2bo132bob4obo144bo
bobo$130b4ob2o133b3ob3o146b3obo$7b4o119bob4obo134bo2bobo145bo2bo$6bobo
bo121b2o3bo135bob2o148bo$6b2o3bo120bobobo135b4obo145b2o2bo$5bob3obo
121b3obo136bobo146b3o3b2o$6b3o124bo2bo135b3o147bo3b6o$9b2o124bo137bo2b
obo149bobobo$8b2obo121b2o2bo135bobo3b3o146bob2o$7b4o122b3o3b2o132bo2bo
2b2obo142bobo3b2ob3o$7b3obo120bo3b6o132bobo2b4o147bob4obo$6b2ob3ob2o
123bobobo133bobob4ob2o144b8o$9b6o123bob2o139b5obo143bob4o$9bob3o2bo
118bobo3b2ob3o135bob6o141bo3bo3b3o$11b2o2bobo122bob4obo133b6o2bo142b2o
bo2b3o$9bob3obo125b8o131bob9o145b5ob2o$9b8o124bob4o134bo4bob3obo146b2o
2bo$10bob4o125bo3bo3b3o133bob2o2bo148bob3o$13b2obo125b2obo2b3o139b4o
146bob6o$11bo2b3o129b5ob2o136bob2o147b5obo$12bo136b2o2bo137b2o2b2o145b
5ob2o$11bobo2bo133bob3o136b6obo143b6ob2o$12bobobo133bob6o134b5obo141bo
bob5obo$12b2o2bobo132b5obo133bob6o143bob7obo$13b2obob3o131b5ob2o131bob
9o140b3ob6o$12b2obo3bobo130b6ob2o130bob7obo142b5o2b4o$13b3ob5o128bobob
5obo131b2ob9o143b2o2b3o$13bo2bo2bob2ob2o126bob7obo133b3ob3o144b2o3b2o$
20bo2b5o124b3ob6o133b5o2b3o$21b4o2bo126b5o2b4o132b2obo2bo150b3o$20b2ob
2ob2o129b2o2b3o140bo147bobobo$20b10o127b2o3b2o141bo146b4obo$20b5ob6o
270b4obo146b2ob2o$25bo2bob2o132b3o135b5o146b2o$22bo5b2ob2o129bobobo
137bob4o142b2o2bo2b2o$31bo130b4obo134b5o2bo143bob3o$30bob3o129b2ob2o
134bo2b5o142bobob3o$30b6o127b2o137b6obo145bo2bobo$31b3ob4o123b2o2bo2b
2o133b3ob2o149b4o$31b6obo124bob3o136bobo2bobo148b3o$31b9o123bobob3o
138b4o150b2o$31b9obo123bo2bobo141bo147b3o$31b2o2b4ob2o127b4o137b3o149b
o$35b4obobo127b3o138b2o150b2o$34b5obobo129b2o288b4o$35b2o5b3o125b3o
140bo147b2o2bo$35bob2o3b2o128bo138b4o145bo2bo$40bob2o129b2o136bo3b2o
143b6o$41bob3o126b4o134b2o2bo146b2ob2o$42bo2bobo123b2o2bo134b3obo146b
2obob2o$42b3o2bo122bo2bo139b2o147b8o$46b4o120b6o134b3obo145b2o3b2obobo
$41b7o123b2ob2o135bo3b4o142b3obob2o$42b7o122b2obob2o133b2o2bo2b2o141b
9obo$41b5o2bo123b8o131b4ob5o143b4ob2o$43bo4b2o120b2o3b2obobo131b7o147b
o3b2o$46bob3o120b3obob2o135b5ob2o146bo$45bo3b2o120b9obo134bob3o145b3o$
46b2o2b3o121b4ob2o136b2o146b2ob3o$176bo3b2o134b2o150bobo$51b2o125bo
137b5o145bob5o$52bo123b3o137bo3b3o145bob2o$51bob2o120b2ob3o134b7o147b
3o$50b3obo123bobo136b2o148b3ob2o$50bob3o121bob5o135b3o148bo2b2o$50b2ob
3o122bob2o136b4o147bob2obo$50b4o125b3o136bobob2o144bob5o$49b2o126b3ob
2o137b3obo143b5o$50bo2bo125bo2b2o135b6o143bob5o$50b2o2b5o120bob2obo
133b6o149bo$51b2ob4obo118bob5o134b3obo145b2o3b2o$52bob5obo117b5o137b4o
147b2obob2o$53bo2b3o119bob5o135bo2bob2o143b4ob3o$52b2ob2ob3o122bo136b
5obo147bob2o$55b2o122b2o3b2o137b4o144b3o2bo$55b4o122b2obob2o132bob2o3b
o144b2ob3obo$56b2o2bo119b4ob3o133b3o2b4o141bob2ob3o$55b6o123bob2o134b
3o2b2o143b9o$55bo2b3o120b3o2bo135b5obobo141bobob2ob2o$55bob3o122b2ob3o
bo132b4obo2bo145b6o$58bo2bo119bob2ob3o134b3ob5o142bob5o$56b5o121b9o
133bob2obo146b5o$60b2o120bobob2ob2o133b7o145b6o$59bob2o123b6o133bob4o
145b6o$58bob4o120bob5o134b7o146bob3o$58b4obo122b5o138b3o147bobo$58b4o
124b6o137b4o147b2o$59b3obo122b6o137b3o150b2o$59b5o124bob3o140bo147b3ob
o$62b5o122bobo140b2o147b4obo$59bob4o125b2o138bo2b2o146b4o$60b3ob2obo
124b2o138b4o145bob2o$60b3ob4o123b3obo135bob4o143b2o2bo$61b4ob2o123b4ob
o134b2obo146b4o$61b4ob3o122b4o137b2o147b5o$62b4ob3o121bob2o135b3obo
147b3o$64b2o2bo121b2o2bo138b2o146b3o$63b3ob4o120b4o139bo147b2o$63bo2b
4o121b5o136b2o147b4o$64b6o122b3o136b2o150bo$65b6o120b3o139b3o150bo$67b
4o121b2o138b2obo148bob2o$68b4o119b4o139b3o149bo$67bob3o121bo140b2o149b
2o$67bo3b2o123bo139b2o148bo$69b3o122bob2o138bo$70b3o123bo138bobo145bob
3o$195b2o137bo149b3o$72bobo121bo138b2o149b2o$333b2ob2o147b3obo$193bob
3o137b5o144b5o$194b3o138b3obo144b6o$196b2o136b5o146b5o$195b3obo134b6o
145b6o$194b5o134b7o147b4o$194b6o135b6o145b6o$195b5o137b4o145bob4o$195b
6o134b7o145b6o$197b4o135bob4o144bob5o$196bob4o134bob5o144b7o$196bo2b3o
135b6o144bob5o$198b5o134b7o145b6o$197b6o135b6o145b6o$198b6o135b6o144bo
b5o$197b7o134bob5o145b6o$197b8o134b7o144b7o$200b5o136b5o146b5o$199bob
5o133b2ob5o144b7o$199b7o135b6o145b6o$201bob3o135b7o143bob6o$201b2o139b
6o144b7o$202b2o138b7o144b7o$204bo137b7o144b7o$343b7o145b6o$204b4o135b
7o146b2ob2o$205bobo136bob5o146bob3o$205bobo136b3ob3o150b2o$206b5o135bo
2bo150bob2o$207b2obo138bob2o148bo$207b3ob2o138b4o148b2o$207b6o137b2obo
147b2obo$208b4obo138b2o147b3o$208b5o139b2o147bobobo$209b5o138bobo148bo
$209b3obo138bo2bo147b2o$210b4o138bob2o$210b5o288b2o$213bo139bo149b3o$
212bobo288b3o$213bo289bob2o$505b2o$505bobo$505b3o2$508bobo$508b3o$508b
2ob2o$508b4o$510bobo$511bobo$512b2obo$513bobo$513bob2o$514b4o$515b4o$
516bo2bo$516b4o$518bo2bo$518bo2bo$520b2o$520bo!
[[ LOOP 5 THEME 0 TRACK -1/5 -2/5 ZOOM 1 GPS 20 ]]
Edit: I got to the depth of 500!
Code: Select all
# 137472 iterations (70990 problems, 368649 subproblems, 66482 solutions) completed: queuesize = 79; heapsize = 12754; treesize = 88095
#C depth = 504
#C breadth = 12
#CLL state-numbering golly
x = 121, y = 205, rule = B3568/S34678
2b4o$bobobo$b2o3bo$ob3obo$b3o$4b2o$3b2obo$2b4o$2b3obo$b2ob3ob2o$4b
6o$4bob3o2bo$6b2o2bobo$4bob3obo$4b8o$5bob4o$8b2obo$6bo2b3o$7bo$6bo
bo2bo$7bobobo$7b2o2bobo$8b2obob3o$7b2obo3bobo$8b3ob5o$8bo2bo2bob2o
b2o$15bo2b5o$16b4o2bo$15b2ob2ob2o$15b10o$15b5ob6o$20bo2bob2o$17bo
5b2ob2o$26bo$25bob3o$25b6o$26b3ob4o$26b6obo$26b9o$26b9obo$26b2o2b
4ob2o$30b4obobo$29b5obobo$30b2o5b3o$30bob2o3b2o$35bob2o$36bob3o$
37bo2bobo$37b3o2bo$41b4o$36b7o$37b7o$36b5o2bo$38bo4b2o$41bob3o$40b
o3b2o$41b2o2b3o2$46b2o$47bo$46bob2o$45b3obo$45bob3o$45b2ob3o$45b4o
$44b2o$45bo2bo$45b2o2b5o$46b2ob4obo$47bob5obo$48bo2b3o$47b2ob2ob3o
$50b2o$50b4o$51b2o2bo$50b6o$50bo2b3o$50bob3o$53bo2bo$51b5o$55b2o$
54bob2o$53bob4o$53b4obo$53b4o$54b3obo$54b5o$57b5o$54bob4o$55b3ob2o
bo$55b3ob4o$56b4ob2o$56b4ob3o$57b4ob3o$59b2o2bo$58b3ob4o$58bo2b4o$
59b6o$60b6o$62b4o$63b4o$62bob3o$62bo3b2o$64b3o$65b3o$66bob2o$66bob
2o$66bo2bo$64b3o$65b2o2bo$67b2o$67bo$66b3o$66bo$66b3o$68b2o$67b2o$
69b2o$70bo$70bo$69b3o$69b2o$68bobo$68bobobo$68b3obo$71b2o$68b7o$
67bob5o$68b6o$68bob5o$70b5o$70b6o$70bob4o$71b6o$71b6o$73b5o$72b6o$
73b6o$73b6o$73b7o$74b6o$74bob5o$74bob5o$75b7o$74b8o$76b7o$78b5o$
77b7o$77b7o$79b6o$79bob4o$79bo2bo$82b2obobo$84b4o$84b3obo$85bo2bo$
85b3o$87b2o$87b2o$87b2o$86bobo2$88bo$88b3o$88bobo$88b2obo$89b2o$
89b3o$89b3o$90b3o$90bo$92bobo$94b2o$93b3o$93b2o$95b2o$95b4o$96bo2b
o$96b2ob2o$98bo$98bobo$99bob3o$99bob3o$102b3o$101b2o$105bo$102bob
2o$101b2o3bo$104bo3bo$106b4o$107bo$107b5o$109bobo$108bob2o$110bo2b
o$110b3ob2o$113b2o$112bob3o$112b6o$112bobobo$114b6o$113bob2obo$
113b2obo2b2o$113b2o3bo$114bobo!
Edit 2: wait, another wickstretcher?
Code: Select all
x = 96, y = 175, rule = B3568/S34678
2b4o$bobobo$b2o3bo$ob3obo$b3o$4b2o$3b2obo$2b4o$2b3obo$b2ob3ob2o$4b6o$
4bob3o2bo$6b2o2bobo$4bob3obo$4b8o$5bob4o$8b2obo$6bo2b3o$7bo$6bobo2bo$
7bobobo$7b2o2bobo$8b2obob3o$7b2obo3bobo$8b3ob5o$8bo2bo2bob2ob2o$15bo2b
5o$16b4o2bo$15b2ob2ob2o$15b10o$15b5ob6o$20bo2bob2o$17bo5b2ob2o$26bo$
25bob3o$25b6o$26b3ob4o$26b6obo$26b9o$26b9obo$26b2o2b4ob2o$30b4obobo$
29b5obobo$30b2o5b3o$30bob2o3b2o$35bob2o$36bob3o$37bo2bobo$37b3o2bo$41b
4o$36b7o$37b7o$36b5o2bo$38bo4b2o$41bob3o$40bo3b2o$41b2o2b3o2$46b2o$47b
o$46bob2o$45b3obo$45bob3o$45b2ob3o$45b4o$44b2o$45bo2bo$45b2o2b5o$46b2o
b4obo$47bob5obo$48bo2b3o$47b2ob2ob3o$50b2o$50b4o$51b2o2bo$50b6o$50bo2b
3o$50bob3o$53bo2bo$51b5o$55b2o$54bob2o$53bob4o$53b4obo$53b4o$54b3obo$
54b5o$57b5o$54bob4o$55b3ob2obo$55b3ob4o$56b4ob2o$56b4ob3o$57b4ob3o$59b
2o2bo$58b3ob4o$58bo2b4o$59b6o$60b6o$62b4o$63b4o$62bob3o$62bo3b2o$64b3o
$65b3o$66bob2o$66bob2o$66bo2bo$64b3o$65b2o2bo$67b2o$67bo$66b3o$66bo$
66b3o$68b2o$67b2o$69b2o$70bo$70bo$69b3o$69b2o$68bobo$68bobobo$68b3obo$
71b2o$68b7o$67bob5o$68b6o$68bob5o$70b5o$70b6o$70bob4o$71b6o$71b6o$73b
5o$72b6o$73b6o$73b6o$73b2ob4o$74b6o$74bo2b4o$74bobob3o$74bo3b4o$78b3ob
o$79b4o$81bo$81bobo$80bobo$82b2o$81b3o$82b2o$81b3obo$83bo2bo$83bob2o$
85b3o$84b3o2bo$85bob3o$85bob4o$86b4ob2o$87b4obo$87b6o$88b3o$88b5o$89b
3o$89b3o$90b3o$90b3o$91b3o$91b3o$92b3o$92b3o$91b5o$91b5o$93bo!
[[ ZOOM 2 ]]
I reached depth 578:
Code: Select all
#C depth = 578
#C breadth = 13
#CLL state-numbering golly
x = 130, y = 237, rule = B3568/S34678
2b4o$bobobo$b2o3bo$ob3obo$b3o$4b2o$3b2obo$2b4o$2b3obo$b2ob3ob2o$4b
6o$4bob3o2bo$6b2o2bobo$4bob3obo$4b8o$5bob4o$8b2obo$6bo2b3o$7bo$6bo
bo2bo$7bobobo$7b2o2bobo$8b2obob3o$7b2obo3bobo$8b3ob5o$8bo2bo2bob2o
b2o$15bo2b5o$16b4o2bo$15b2ob2ob2o$15b10o$15b5ob6o$20bo2bob2o$17bo
5b2ob2o$26bo$25bob3o$25b6o$26b3ob4o$26b6obo$26b9o$26b9obo$26b2o2b
4ob2o$30b4obobo$29b5obobo$30b2o5b3o$30bob2o3b2o$35bob2o$36bob3o$
37bo2bobo$37b3o2bo$41b4o$36b7o$37b7o$36b5o2bo$38bo4b2o$41bob3o$40b
o3b2o$41b2o2b3o2$46b2o$47bo$46bob2o$45b3obo$45bob3o$45b2ob3o$45b4o
$44b2o$45bo2bo$45b2o2b5o$46b2ob4obo$47bob5obo$48bo2b3o$47b2ob2ob3o
$50b2o$50b4o$51b2o2bo$50b6o$50bo2b3o$50bob3o$53bo2bo$51b5o$55b2o$
54bob2o$53bob4o$53b4obo$53b4o$54b3obo$54b5o$57b5o$54bob4o$55b3ob2o
bo$55b3ob4o$56b4ob2o$56b4ob3o$57b4ob3o$59b2o2bo$58b3ob4o$58bo2b4o$
59b6o$60b6o$62b4o$63b4o$62bob3o$62bo3b2o$64b3o$65b3o$66bob2o$66bob
2o$66bo2bo$64b3o$65b2o2bo$67b2o$67bo$66b3o$66bo$66b3o$68b2o$67b2o$
69b2o$70bo$70bo$69b3o$69b2o$68bobo$68bobobo$68b3obo$71b2o$68b7o$
67bob5o$68b6o$68bob5o$70b5o$70b6o$70bob4o$71b6o$71b6o$73b5o$72b6o$
73b6o$73b6o$73b7o$74b6o$74bob5o$74bob5o$75b7o$74b8o$76b7o$78b5o$
77b7o$77b7o$79b6o$79bob4o$79bo2bo$82b2obobo$84b4o$84b3obo$85bo2bo$
85b3o$87b2o$87b2o$87b2o$86bobo2$88bo$88b3o$88bobo$88b2obo$89b2o$
89b3o$89b3o$90b3o$90bo$92bobo$94b2o$93b3o$93b2o$95b2o$95b4o$96bo$
97b2ob2o$100b3o$98bobobo$100b3o$101bob2o$101bo$102bo$100b5o$99bob
3o$99bob3o$100b5o$100b4o$102b2o$100bo2bo$100b3o$103bo2b2o$102bob5o
$103bobob2o$105bo2bo$105bobo$106bob2o$110b2o$108b4o$111b2o$108b2ob
o2bo$108bob6o$110b2obobo$111b2ob3o$112b4o$112b2obobo$114b4o$112b2o
b2ob2o$113b2obobo$113b3ob3o$115b4obo$117bo$118b3o$116b5o$117b4obo$
118bo3bo$117b4obo$118b6o$118bob2o$119bo2bo$118b7o$119b2o3bo$124bo$
119b2ob4o$121b2ob2o$121b2obo$122b2ob3o$123b2ob2o$123bo2bo$125bob2o
$123b7o$124bobobo$123b2ob2obo$124b3o$124bobo!
# 105728 iterations (56669 problems, 251203 subproblems, 49059 solutions) completed: queuesize = 79; heapsize = 10515; treesize = 156853
# 105984 iterations (56811 problems, 251716 subproblems, 49173 solutions) completed: queuesize = 80; heapsize = 10492; treesize = 156981
# 106240 iterations (56954 problems, 252242 subproblems, 49286 solutions) completed: queuesize = 79; heapsize = 10460; treesize = 157102
# 106496 iterations (57099 problems, 252720 subproblems, 49397 solutions) completed: queuesize = 80; heapsize = 10427; treesize = 157225
# solvers invoked: trivial=33815, cadical=16582, kissat=202339
# 106752 iterations (57241 problems, 253164 subproblems, 49511 solutions) completed: queuesize = 80; heapsize = 10394; treesize = 157342
# 107008 iterations (57380 problems, 253686 subproblems, 49628 solutions) completed: queuesize = 79; heapsize = 10382; treesize = 157476
# 107264 iterations (57515 problems, 254282 subproblems, 49749 solutions) completed: queuesize = 79; heapsize = 10383; treesize = 157621
# 107520 iterations (57651 problems, 255005 subproblems, 49869 solutions) completed: queuesize = 80; heapsize = 10380; treesize = 157759
# 107776 iterations (57796 problems, 255658 subproblems, 49980 solutions) completed: queuesize = 79; heapsize = 10344; treesize = 157883
# 108032 iterations (57946 problems, 256103 subproblems, 50086 solutions) completed: queuesize = 79; heapsize = 10291; treesize = 157994
# 108288 iterations (58086 problems, 256431 subproblems, 50202 solutions) completed: queuesize = 79; heapsize = 10273; treesize = 158128
# 108544 iterations (58232 problems, 256860 subproblems, 50312 solutions) completed: queuesize = 79; heapsize = 10237; treesize = 158249
# 108800 iterations (58374 problems, 257181 subproblems, 50426 solutions) completed: queuesize = 79; heapsize = 10210; treesize = 158371
# 109056 iterations (58508 problems, 257499 subproblems, 50548 solutions) completed: queuesize = 79; heapsize = 10205; treesize = 158508
# 109312 iterations (58643 problems, 257856 subproblems, 50669 solutions) completed: queuesize = 79; heapsize = 10200; treesize = 158644
# 109568 iterations (58787 problems, 258248 subproblems, 50781 solutions) completed: queuesize = 80; heapsize = 10181; treesize = 158783
# 109824 iterations (58901 problems, 258764 subproblems, 50923 solutions) completed: queuesize = 79; heapsize = 10258; treesize = 158976
# 110080 iterations (59021 problems, 259595 subproblems, 51059 solutions) completed: queuesize = 80; heapsize = 10316; treesize = 159160
# 110336 iterations (59143 problems, 260541 subproblems, 51193 solutions) completed: queuesize = 80; heapsize = 10363; treesize = 159334
# 110592 iterations (59268 problems, 261458 subproblems, 51324 solutions) completed: queuesize = 79; heapsize = 10398; treesize = 159498
# solvers invoked: trivial=34851, cadical=17178, kissat=209446