RLE:Hyperoptimizedsnarkmaker

x = 8023, y = 8022, rule = B3/S23 12b2o$12bo$10bobo$11bo2$2bo$bo6$2bo$3bo$3o$o18$30b2o$30b2o2b3o$34bo$35b o31$69bo$68b2o$68bobo22$91b3o$91bo$92bo24$118b2o$117b2o$119bo25$144b3o $144bo$145bo26$174bo$173b2o$173bobo21$196b2o$196bobo$196bo24$223bo$222b 2o$222bobo24$248b2o$247b2o$249bo27$278bo$277b2o$277bobo24$302b3o$302b o$303bo22$326b3o$326bo$327bo21$349b3o$349bo$350bo32$384b2o$384bobo$384b o36$422b2o$421b2o$423bo35$458b3o$458bo$459bo30$491b2o$490b2o$492bo25$ 518b2o$517b2o$519bo21$540b3o$540bo$541bo27$569b3o$569bo$570bo36$608b2o $608bobo$608bo35$646bo$645b2o$645bobo30$678bo$677b2o$677bobo27$706b2o $705b2o$707bo48$757bo$756b2o$756bobo30$789bo$788b2o$788bobo30$821bo$820b 2o$820bobo28$851bo$850b2o$850bobo26$878b2o$877b2o$879bo26$906b2o$906b obo$906bo39$946b3o$946bo$947bo26$976bo$975b2o$975bobo21$998b2o$997b2o $999bo21$1020b3o$1020bo$1021bo34$1057b2o$1057bobo$1057bo30$1089b2o$1088b 2o$1090bo24$1114b3o$1114bo$1115bo27$1144b2o$1144bobo$1144bo32$1178b2o $1177b2o$1179bo42$1222b2o$1221b2o$1223bo29$1253b2o$1252b2o$1254bo43$1298b 2o$1297b2o$1299bo22$1322b2o$1321b2o$1323bo25$1349b2o$1348b2o$1350bo52$ 1404bo$1403b2o$1403bobo21$1426b2o$1426bobo$1426bo21$1448b3o$1448bo$1449b o25$1477bo$1476b2o$1476bobo26$1504b2o$1504bobo$1504bo23$1529b2o$1528b 2o$1530bo24$1555b2o$1554b2o$1556bo48$1606bo$1605b2o$1605bobo42$1649b2o $1648b2o$1650bo32$1682b3o$1682bo$1683bo25$1711bo$1710b2o$1710bobo52$1764b 2o$1763b2o$1765bo27$1793b2o$1792b2o$1794bo21$1817bo$1816b2o$1816bobo44$ 1862b2o$1861b2o$1863bo21$1884b3o$1884bo$1885bo21$1908b2o$1907b2o$1909b o45$1956bo$1955b2o$1955bobo24$1981b2o$1981bobo$1981bo25$2007b3o$2007b o$2008bo21$2032bo$2031b2o$2031bobo22$2056bo$2055b2o$2055bobo28$2084b3o $2084bo$2085bo20$2108bo$2107b2o$2107bobo29$2138b2o$2137b2o$2139bo25$2166b o$2165b2o$2165bobo35$2202b2o$2202bobo$2202bo27$2232bo$2231b2o$2231bob o21$2254b2o$2254bobo$2254bo28$2284b2o$2284bobo$2284bo21$2307b2o$2307b obo$2307bo24$2334bo$2333b2o$2333bobo36$2370b3o$2370bo$2371bo25$2397b3o $2397bo$2398bo27$2428bo$2427b2o$2427bobo24$2453b2o$2452b2o$2454bo24$2480b o$2479b2o$2479bobo30$2511b2o$2510b2o$2512bo29$2542b2o$2541b2o$2543bo24$ 2569bo$2568b2o$2568bobo30$2601bo$2600b2o$2600bobo36$2638b2o$2637b2o$2639b o30$2671bo$2670b2o$2670bobo31$2704bo$2703b2o$2703bobo32$2737b2o$2736b 2o$2738bo20$2760bo$2759b2o$2759bobo48$2808b3o$2808bo$2809bo22$2834bo$ 2833b2o$2833bobo31$2867bo$2866b2o$2866bobo21$2889b2o$2889bobo$2889bo38$ 2930bo$2929b2o$2929bobo35$2966b2o$2965b2o$2967bo23$2991b2o$2990b2o$2992b o25$3018b2o$3017b2o$3019bo34$3054b2o$3054bobo$3054bo22$3079bo$3078b2o $3078bobo33$3113b2o$3112b2o$3114bo23$3138b2o$3137b2o$3139bo23$3163b2o $3163bobo$3163bo40$3205b2o$3204b2o$3206bo21$3227b3o$3227bo$3228bo43$3274b o$3273b2o$3273bobo33$3309bo$3308b2o$3308bobo21$3331b2o$3330b2o$3332bo 21$3355bo$3354b2o$3354bobo23$3379b2o$3379bobo$3379bo21$3403bo$3402b2o $3402bobo23$3428bo$3427b2o$3427bobo25$3453b3o$3453bo$3454bo23$3479b2o $3479bobo$3479bo36$3518bo$3517b2o$3517bobo25$3543b3o$3543bo$3544bo21$ 3566b3o$3566bo$3567bo28$3597b2o$3596b2o$3598bo21$3620b2o$3619b2o$3621b o20$3643bo$3642b2o$3642bobo23$3667b2o$3667bobo$3667bo22$3691b2o$3691b obo$3691bo22$3716bo$3715b2o$3715bobo27$3745bo$3744b2o$3744bobo21$3767b 2o$3767bobo$3767bo46$3816bo$3815b2o$3815bobo22$3839b2o$3838b2o$3840bo 21$3861b3o$3861bo$3862bo27$3891b2o$3890b2o$3892bo23$3916b2o$3915b2o$3917b o24$3941b3o$3941bo$3942bo28$3972b2o$3972bobo$3972bo28$4003bo$4002b2o$ 4002bobo21$4025b2o$4024b2o$4026bo25$4052b2o$4052bobo$4052bo49$4104bo$ 4103b2o$4103bobo21$4126b2o$4125b2o$4127bo24$4152b2o$4152bobo$4152bo26$ 4179b3o$4179bo$4180bo21$4203b2o$4202b2o$4204bo56$4261b2o$4260b2o$4262b o25$4288b2o$4287b2o$4289bo23$4313b2o$4312b2o$4314bo21$4336b2o$4336bob o$4336bo34$4373bo$4372b2o$4372bobo28$4402b2o$4401b2o$4403bo24$4429bo$ 4428b2o$4428bobo21$4451b2o$4450b2o$4452bo23$4476b2o$4476bobo$4476bo36$ 4514b2o$4513b2o$4515bo31$4548bo$4547b2o$4547bobo27$4575b3o$4575bo$4576b o33$4611b2o$4610b2o$4612bo22$4635b2o$4634b2o$4636bo21$4657b3o$4657bo$ 4658bo28$4689bo$4688b2o$4688bobo21$4711b2o$4711bobo$4711bo26$4739b2o$ 4738b2o$4740bo20$4762bo$4761b2o$4761bobo24$4787b2o$4786b2o$4788bo22$4810b 3o$4810bo$4811bo24$4837b2o$4836b2o$4838bo21$4860b2o$4860bobo$4860bo25$ 4887b2o$4886b2o$4888bo28$4918bo$4917b2o$4917bobo39$4958b2o$4957b2o$4959b o20$4981bo$4980b2o$4980bobo27$5009b2o$5008b2o$5010bo22$5033b2o$5032b2o $5034bo21$5056b2o$5055b2o$5057bo26$5085bo$5084b2o$5084bobo30$5116b2o$ 5116bobo$5116bo25$5144bo$5143b2o$5143bobo30$5175b2o$5174b2o$5176bo22$ 5200bo$5199b2o$5199bobo32$5233b2o$5233bobo$5233bo22$5257b2o$5256b2o$5258b o33$5292b2o$5292bobo$5292bo27$5320b3o$5320bo$5321bo22$5345b2o$5345bob o$5345bo29$5376b2o$5376bobo$5376bo24$5401b3o$5401bo$5402bo35$5438b3o$ 5438bo$5439bo30$5471b2o$5470b2o$5472bo21$5493b3o$5493bo$5494bo21$5516b 3o$5516bo$5517bo32$5550b3o$5550bo$5551bo24$5578bo$5577b2o$5577bobo61$ 5639b3o$5639bo$5640bo43$5685b2o$5684b2o$5686bo21$5708b2o$5708bobo$5708b o33$5744bo$5743b2o$5743bobo25$5770b2o$5769b2o$5771bo25$5797b2o$5797bo bo$5797bo23$5821b3o$5821bo$5822bo26$5850b2o$5849b2o$5851bo22$5873b3o$ 5873bo$5874bo30$5905b3o$5905bo$5906bo25$5932b3o$5932bo$5933bo60$5995b 2o$5995bobo$5995bo24$6022bo$6021b2o$6021bobo23$6046b2o$6045b2o$6047bo 25$6073b2o$6073bobo$6073bo23$6098b2o$6098bobo$6098bo22$6122b2o$6122bo bo$6122bo41$6164b3o$6164bo$6165bo21$6188b2o$6188bobo$6188bo22$6212b2o $6211b2o$6213bo23$6238bo$6237b2o$6237bobo24$6262b3o$6262bo$6263bo49$6314b 2o$6314bobo$6314bo23$6338b3o$6338bo$6339bo23$6363b3o$6363bo$6364bo40$ 6406b2o$6406bobo$6406bo26$6434b2o$6433b2o$6435bo36$6472b2o$6471b2o$6473b o40$6514b2o$6514bobo$6514bo22$6539bo$6538b2o$6538bobo34$6573b3o$6573b o$6574bo44$6620b2o$6620bobo$6620bo23$6645b2o$6645bobo$6645bo23$6671bo $6670b2o$6670bobo22$6694b2o$6693b2o$6695bo22$6718b2o$6717b2o$6719bo22$ 6741b3o$6741bo$6742bo25$6769b2o$6769bobo$6769bo22$6793b2o$6792b2o$6794b o31$6827bo$6826b2o$6826bobo26$6854b2o$6854bobo$6854bo23$6878b3o$6878b o$6879bo26$6908bo$6907b2o$6907bobo21$6930b2o$6930bobo$6930bo21$6953b2o $6952b2o$6954bo22$6977b2o$6976b2o$6978bo23$7003bo$7002b2o$7002bobo23$ 7027b2o$7026b2o$7028bo22$7052bo$7051b2o$7051bobo24$7076b3o$7076bo$7077b o41$7121bo$7120b2o$7120bobo37$7160bo$7159b2o$7159bobo58$7219b2o$7218b 2o$7220bo23$7244b2o$7243b2o$7245bo23$7268b3o$7268bo$7269bo41$7311b3o$ 7311bo$7312bo27$7340b3o$7340bo$7341bo28$7371b2o$7371bobo$7371bo51$7424b 2o$7424bobo$7424bo35$7460b3o$7460bo$7461bo22$7484b3o$7484bo$7485bo32$ 7519b2o$7519bobo$7519bo36$7557b2o$7557bobo$7557bo23$7583bo$7582b2o$7582b obo24$7609bo$7608b2o$7608bobo22$7633bo$7632b2o$7632bobo23$7657b2o$7656b 2o$7658bo31$7689b3o$7689bo$7690bo32$7724b2o$7724bobo$7724bo30$7756b2o $7755b2o$7757bo24$7781b3o$7781bo$7782bo21$7805b2o$7805bobo$7805bo30$7838b o$7837b2o$7837bobo22$7862bo$7861b2o$7861bobo28$7892bo$7891b2o$7891bob o35$7928b2o$7928bobo$7928bo23$7952b3o$7952bo$7953bo33$7988b2o$7988bob o$7988bo30$8020b2o$8020bobo$8020bo!