WireWorld and Oscar

Has something gone haywire? Let us know about it!
Post Reply
137ben
Posts: 343
Joined: June 18th, 2010, 8:18 pm

WireWorld and Oscar

Post by 137ben » October 27th, 2010, 8:06 am

Whenever I use oscar.py in a ww pattern, it returns a period far lower than the true period. For example:

Code: Select all

x = 29, y = 15, rule = WireWorld
29C$C27.C$C27.C$C27.C$C27.C$C27.C$C27.C$17C11.C$17.C10.C$16.3C9.C$17.
C10.C$16.C.11C$14.2C$13.C2.C$14.BA!
Is p144, but oscar consistently says it is p6.

Code: Select all

x = 29, y = 16, rule = WireWorld
29C$C27.C$C27.C$C27.C$C27.C$C27.C$C27.C$17C11.C$17.C10.C$16.3C9.C$17.
C10.C$16.C.11C$14.2C$13.C2.C$13.C2.C$14.BA!
is also p144 but oscar says p8.

Code: Select all

x = 33, y = 16, rule = WireWorld
33C$C31.C$C31.C$C31.C$C31.C$C31.C$C31.C$21C11.C$21.C10.C$20.3C9.C$21.
C10.C$20.C.11C$14.6C$13.C6.C$13.C6.C$14.4CBA!
Is p160 but oscar says p16

Code: Select all

x = 43, y = 33, rule = WireWorld
43C$C26.C14.C$C26.C14.C$C26.C14.C$C26.C14.C$C26.C14.C$C26.C14.C$C26.C
14.C$C26.C14.C$C26.C14.C$C23.4C14.C$C23.C17.C$C24.C16.C$C25.C15.C$C
26.C14.C$C26.C14.C$C26.C14.C$C26.C14.C$C26.C14.C$C26.C14.C$C26.C14.C$
C26.C14.C$C26.C14.C$C26.C14.C$C26.C14.C$11C15.3C13.C$11.C15.C14.C$10.
3C13.C.C13.C$11.C14.C.C13.C$10.C.16C.14C$8.2C16.C$7.C2.C$8.BA!
is p222 but oscar says p6.

I realize that all of these contain clocks of the period that oscar gives, but that shouldn't be the full period.

User avatar
calcyman
Moderator
Posts: 2932
Joined: June 1st, 2009, 4:32 pm

Re: WireWorld and Oscar

Post by calcyman » October 27th, 2010, 8:33 am

I've heard Andrew mentioning this before, attributing it to a vanilla hash function for multi-state algorithms. It might be repaired in time for Golly 2.2.
What do you do with ill crystallographers? Take them to the mono-clinic!

User avatar
Andrew
Moderator
Posts: 919
Joined: June 2nd, 2009, 2:08 am
Location: Melbourne, Australia
Contact:

Re: WireWorld and Oscar

Post by Andrew » October 27th, 2010, 9:18 am

Yep, the multi-state hash() command has been improved and fixes the above problem. I'm hoping to release a beta version of 2.2 in the next few days, so stay tuned.
Use Glu to explore CA rules on non-periodic tilings: DominoLife and HatLife

User avatar
Extrementhusiast
Posts: 1966
Joined: June 16th, 2009, 11:24 pm
Location: USA

Re: WireWorld and Oscar

Post by Extrementhusiast » October 27th, 2010, 10:18 am

I saw a similar problem with this pattern in one of my rules:

Code: Select all

x = 8, y = 10, rule = 24567/36/3
4.2A$4.A$3.2A$7A$3A.A2.A$3A.A2.A$.6A$.A.2A$4.A$4.2A!
This pattern is p16, but Oscar.pl reports that the pattern is stable (!)
I Like My Heisenburps! (and others)

137ben
Posts: 343
Joined: June 18th, 2010, 8:18 pm

Re: WireWorld and Oscar

Post by 137ben » January 23rd, 2011, 5:56 pm

For most WW patterns oscar.py now gives the correct period (in version 2.2 anyways), but it still gives the incorrect period for the following glider loop:

Code: Select all

x = 2320, y = 2397, rule = B3/S23
1024b2o$1025bo$1025bobo$1026b2o6$1025b2o$1025b2o4b2o$1031b2o4$1030b2o$
1026b2o2b2o$1025bobo11b2o$1025bo12bobo$1024b2o12bo$1037b2o$1030b2o$
1031bo2b2o$1031bobobo$1032bo2$1034bo$1033bobo$1034bo$1031b3o$612bo418b
o$600bo11b3o$598b3o14bo$582bo14bo16b2o$582b3o12b2o$585bo52bo$584b2o50b
3o13bo$635bo16b3o$635b2o18bo$585b2o67b2o$585b2o17b2o$604b2o72bo$676b3o
13bo348bo$675bo16b3o345bobo$675b2o18bo343bo2bo$694b2o344b2o$644b2o$
601b2o41b2o72bo$601bo19b2o93b3o13bo$602b3o15bobo92bo16b3o$604bo15bo94b
2o18bo326b2o$598b2o19b2o10b2o101b2o326b2o$598bo33bo51b2o372b2o$599b3o
27b3o9b2o41b2o72bo299b2o$601bo27bo11bo19b2o93b3o13bo271b2o$642bo17bobo
92bo16b3o269b2o$641b2o17bo94b2o18bo$659b2o10b2o101b2o$582b2o88bo51b2o$
581bobo85b3o9b2o41b2o72bo$581bo87bo11bo19b2o93b3o13bo229bo$580b2o100bo
17bobo92bo16b3o217b2o7bobo$681b2o17bo94b2o18bo23b2o191b2o7bobo$699b2o
10b2o101b2o23bo202bo11b2o$712bo51b2o71bobo122b2o90bo$709b3o9b2o41b2o
67b2o2b2o124bo91b3o$709bo11bo19b2o90b2o127bo94bo$722bo17bobo219b2o12bo
75b2o$590b2o129b2o17bo219b2o12b3o75b2o$590b2o147b2o10b2o206bo2b4o7bo$
752bo51b2o153bobo4bo6b2o$597bob2o148b3o9b2o41b2o151b3ob2o2b2o$597b2obo
148bo11bo19b2o173bo$762bo17bobo170bo2b4ob2o$761b2o17bo172b3o3bob2o$
579b2o198b2o10b2o163bo$580bo211bo162b2o$580bobo206b3o9b2o36b2o156b2o$
581b2o206bo11bo19b2o16bobo90b2o63bo$802bo17bobo18bo91bo61bobo$801b2o
17bo20b2o89bo58b2o2b2o$595b2o222b2o4b2o105b2o57b2o$595bobo226bobo97bo$
597bo226bo99b3o172b2o$597b2o224b2o7b2o93bo172bo$832b2o92b2o172bobo$
1101b2o$935b2o$935b2o2$901b2o$592b2o307b2o5b2o$592bo249b2o64b2o57b2o
28b2o101b2o$593b3o246bo118b2o4bobo9b2o16bobo100b2o4b2o$595bo244bobo44b
o74bo6bo8bobo18bo106b2o$840b2o35b2o8b3o16b2o37b2o12b3o7b2o7bo20b2o$
877b2o11bo15b2o38bo12bo17b2o4b2o$889b2o21b2o29b3o36bobo$576b2o334b2o
29bo38bo122b2o$575bobo293b2o68bobo37b2o7b2o109b2o2b2o$575bo246b2o47b2o
68b2o47b2o108bobo11b2o$574b2o247bo51b2o223bo12bobo$823bobo49b2o222b2o
12bo$824b2o91b2o193b2o$816bo100bobob2o18b2o162b2o$810b2o4b3o100bob2o
18bobo162bo2b2o$811bo7bo50b2o46bo24bo162bobobo$811bobo4b2o50b2o46b2ob
2o20b2o162bo$584b2o226b2o25b2o78bobo$584b2o253bo79bobo187bo$806b2o29bo
bo80b2ob2o183bobo$591bob2o212bo29b2o76b2o5bobo184bo$591b2obo212bobo
105bo6bo183b3o$808b2o103bobo5b2o56b2o125bo$913b2o65bo$573b2o405bobo$
574bo406b2o$574bobo376bo$575b2o299b2o73b3o$875bobo72bo$875bo74b2o$589b
2o283b2o$589bobo298b2o$591bo298bobo33bo$591b2o299bo33b3o66b2o$892b2o
35bo62b2o2bo119bo$912b2o14b2o23b2o37bob2o119bobo$896b2o14b2o36b2o2bo
39bo119bo2bo$897bo22b2o28bob2o32b2o4bobo120b2o$894b3o23bo31bo33bo5b2o$
894bo23bobo31bo34bo$586b2o330b2o7b2o18b2obob2o32b2o$586bo295b2o19bo22b
obo18b2ob2o2bo$587b3o292b2o19b3o20bo26bo183b2o$589bo316bo18b2o20b2ob3o
184b2o$873b2obo28b2o41bobo182b2o$873bob2o71bo184b2o$945b2ob2o169b2o$
570b2o229b2o142bobo98b2o71b2o$569bobo230bo144bo99bo$569bo232bobo142b2o
97bo$568b2o233b2o241b2o12bo$827b2o215b2o12b3o$827b2o49bo164bo2b4o7bo
59bo$877bobo163bobo4bo6b2o48b2o7bobo$877b2o162b3ob2o2b2o56b2o7bobo$
898b2o140bo76bo11b2o$898b2o137bo2b4ob2o82bo$578b2o457b3o3bob2o83b3o$
578b2o245b2o173bo39bo91bo$825bo174b3o36b2o86b2o$585bob2o237b3o74b2o98b
o12bo64b2o44b2o$585b2obo239bo74b2o97b2o12b3o7b2o53bo$826b2o71b2o118bo
6bo52bobo$826bo72b2o72bo8b2o34b2o4bobo48b2o2b2o$567b2o255bobo90b2o21b
2o22b2o7b3o5bob3o38b2o49b2o$568bo255b2o90bobo21b2o23bo10bo4bo4bo$568bo
bo334b2o9bo17b2o28bo10bo3bobo3b2o11b2o$569b2o334b2o8b2o17b2o28b2o8bo3b
obo17b2o$901b2o46bo6bo17b2o3bo$901b2o45bobo5b3o$583b2o221b2o89b2o37b2o
10bobo8bo$583bobo221bo89b2o30b2o5b2o8b3ob2o6b2o$585bo221bobo73b2o44b2o
14bo$585b2o221b2o73b2o61b3ob2o15b2o$948bob2o15b2o$1051b2o28b2o$1045b2o
4bobo9b2o16bobo$1046bo6bo8bobo18bo$881bo161b3o7b2o7bo20b2o$871b2o7bobo
62b2o96bo17b2o4b2o$580b2o289b2o7bobo63bo65b2o52bobo$580bo300bo11b2o51b
obo64bo52bo$581b3o309bo53b2o50b2o9b3o3bob2o45b2o7b2o$583bo310b3o102bob
o8bo2b4ob2o54b2o$896bo104bo11bo$809b2o15b2o63b2o108b2o12b2ob2o2b2o6b2o
614b2o$809b2o15bobo62b2o123bobo4bo6bobo613bo2bobo$564b2o235b2o25bo187b
o2b4o9bo615b2ob3o$563bobo236bo25b2o175bo11bobo2bobo7b2o620bo$563bo238b
obo199bobo11bo4b2o623b2ob3o$562b2o239b2o199bobo641b2obo$990b2o11b2ob3o
618b2o$956b2o32b2o17bo617bobo$850bo106bo45b2ob3o179b2o438bo$822bo27b3o
103bo10b2o34b2obo182bo$820b3o30bo63b2o37b2o5b2o2b2o220bobo$819bo32b2o
63bo44bobo98b2o125b2o$572b2o245b2o94bobo44bo101bo$572b2o251bo47bo37b2o
2b2o44b2o101bobo$823b3o47b3o35b2o59b2o91b2o490b2o60b2o$579bob2o239bo
53bo95b2o583b2o20bo39bobo$579b2obo239b2o51b2o11b2o687b3o40bo$888b2o
299b2o385bo$966b2o46b2o173b2o4b2o379b2o$561b2o403b2o46b2o179b2o$562bo
407b2o$562bobo405b2o$563b2o260b2o252b2o468b2o60b2o$806b2o17b2o249b2o2b
o113b2o353b2o60bobo$806b2o268bob2o110b2o2b2o416bo58bo$577b2o338b2o46b
2o111bo110bobo11b2o464b3o$577bobo319b2o16bobo45b2o34b2o67b2o4bobo110bo
12bobo463bo$579bo225b2o91bobo18bo81bo68bo5b2o110b2o12bo438bo26b2o$579b
2o225bo91bo20b2o81b3o66bo129b2o437bobo$803b3o12b2o77b2o4b2o99bo65b2o
122b2o445b2o$803bo14bo83bobo290bo2b2o403b2o$819b3o45b2o33bo292bobobo
387bo15bobo$821bo39b2o5bo32b2o7b2o284bo388b3o16bo$861bobob3o20b2o20b2o
672bo93bo$854b2o7bobo22bo309bo385b2o90b3o$574b2o278b2o7b2o24b3o305bobo
433bo41bo$574bo316bo306bo433bobo40b2o$575b3o393b2o222b3o435b2o18b2o$
577bo392bobo222bo399b2o56b2o$970bo624bobo$920b2o47b2o625bo$920bo64b2o$
558b2o358bobo64bobo$557bobo358b2o67bo637bo$557bo429b2o635bobo38b2o$
556b2o1067b2o38b2o$1679b2o$1679b2o$1683b2o$1683b2o$1205bo$977b2o225bob
o410bo$566b2o409b2o224bo2bo409bobo$566b2o636b2o411b2o$968b2obo689b2o$
573bob2o391bob2o688bo2bo$573b2obo1084bobo$896b2o243b2o519bo$897bo244bo
83b2o$555b2o340bobo241bo84b2o396bo$556bo341b2o241b2o12bo66b2o387b2o5bo
5b3o$556bobo363b2o215b2o12b3o66b2o387b2o5b3o6bo20b2o$557b2o363b2o49bo
164bo2b4o7bo55b2o411bo4b2o20bo$972bobo163bobo4bo6b2o54b2o410b2o24bobo$
972b2o162b3ob2o2b2o500b2o$571b2o562bo$571bobo558bo2b4ob2o495b2o$573bo
558b3o3bob2o487b2o6b2o$573b2o345b2o173bo39bo70bo396b2o24b2o$920bo174b
3o36b2o60b2o7bobo395b2o8b2o$921b3o174bo12bo64b2o18b2o7bobo405b2o10b2o$
923bo173b2o12b3o7b2o53bo29bo11b2o405bobo$921b2o191bo6bo52bobo41bo407bo
$921bo146bo8b2o34b2o4bobo48b2o2b2o43b3o416b2o$919bobo137b2o7b3o5bob3o
38b2o49b2o49bo417bo$568b2o349b2o139bo10bo4bo4bo134b2o418b3o$568bo490bo
10bo3bobo3b2o11b2o121b2o407b2o9bo$569b3o487b2o8bo3bobo17b2o504b2o6bo
17bo$571bo424b2o46bo6bo17b2o3bo524b2o5bobo17b3o$996b2o45bobo5b3o553bo
20bo$901b2o89b2o49bobo8bo$902bo89b2o47b3ob2o6b2o$552b2o348bobo73b2o60b
o$551bobo349b2o73b2o61b3ob2o15b2o526b2o73b2o$551bo491bob2o15b2o526b2o
73b2o$550b2o594b2o28b2o$1140b2o4bobo9b2o16bobo$1141bo6bo8bobo18bo433b
2o$976bo161b3o7b2o7bo20b2o432bo$767b2o197b2o7bobo62b2o96bo17b2o4b2o
449b3o$767b2o197b2o7bobo63bo65b2o52bobo451bo32b2o$976bo11b2o51bobo64bo
52bo487bo$560b2o426bo53b2o50b2o9b3o3bob2o45b2o7b2o478bobo$560b2o427b3o
102bobo8bo2b4ob2o54b2o479b2o$991bo104bo11bo$567bob2o333b2o15b2o63b2o
108b2o12b2ob2o2b2o6b2o466b2o$567b2obo333b2o15bobo62b2o123bobo4bo6bobo
123b2o341bo$896b2o25bo187bo2b4o9bo124bo338b3o$741bo155bo25b2o175bo11bo
bo2bobo7b2o123bobo336bo$549b2o189bobo154bobo199bobo11bo4b2o133b2o$550b
o189bobo155b2o199bobo$550bobo186b2ob2o16b2o323b2o11b2ob3o$551b2o207b2o
289b2o32b2o17bo541b2o$739b2ob2o201bo106bo45b2ob3o541bobo$740bob2o34b2o
137bo27b3o103bo10b2o34b2obo543bo$565b2o171bo39bobo134b3o30bo63b2o37b2o
5b2o2b2o188b2o390b2o$565bobo170b2o40bo133bo32b2o63bo44bobo98b2o92b2o4b
2o337b2o4b2o49b2o17b2o$567bo212b2o132b2o94bobo44bo101bo98b2o337b2o4b2o
49b2o18bo$567b2o351bo47bo37b2o2b2o44b2o101bobo509b3o$746b2o170b3o47b3o
35b2o59b2o91b2o509bo$740b2o4b2o169bo53bo95b2o$739bobo27b2o146b2o51b2o
11b2o272b2o343b2o60b2o$739bo29bobo211b2o268b2o2b2o339b2o2b2o60b2o$738b
2o31bo289b2o46b2o141bobo11b2o329bobo$746b2o23b2o288b2o46b2o141bo12bobo
329bo$562b2o182b2o317b2o184b2o12bo330b2o50b2o$562bo502b2o197b2o382bo$
563b3o354b2o252b2o81b2o390b3o$565bo186bo148b2o17b2o249b2o2bo82bo2b2o
388bo$751bobo147b2o268bob2o83bobobo391b2o$752bo259b2o46b2o111bo85bo
395bo$994b2o16bobo45b2o34b2o67b2o4bobo430b2o49bobo$546b2o352b2o91bobo
18bo81bo68bo5b2o88bo343bo4b2o44b2o$545bobo353bo91bo20b2o81b3o66bo93bob
o339b3o4bobo60bo$545bo352b3o12b2o77b2o4b2o99bo65b2o94bo340bo6bo21b2o
37b3o$544b2o352bo14bo83bobo258b3o347b2o21bobo35bo$914b3o45b2o33bo260bo
374bo35b2o$916bo39b2o5bo32b2o7b2o626b2o$956bobob3o20b2o20b2o$949b2o7bo
bo22bo$949b2o7b2o24b3o650b2o$986bo651bo$554b2o510b2o550b2o18bobo$554b
2o509bobo550b2o7b2o10b2o$1065bo561bo$561bob2o450b2o47b2o559bobo$561b2o
bo450bo64b2o131b2o410b2o4b2o$1013bobo64bobo131bo394b2o20bo44b2o$1013b
2o67bo130bo54bo341bo18bobo44b2o$543b2o537b2o129b2o12bo39bobo340bobo16b
2o$544bo666b2o12b3o38bo2bo341b2o$544bobo663bo2b4o7bo42b2o$545b2o663bob
o4bo6b2o445b2o$1208b3ob2o2b2o453b2o$1207bo467b2o$559b2o643bo2b4ob2o
461b2o$559bobo510b2o130b3o3bob2o75b2o$561bo510b2o133bo81b2o$561b2o643b
2o77b2o353b2o27b2o$1063b2obo181b2o35b2o353b2o11b2o14b2o$1063bob2o181bo
22b2o380bo$1246bobo22b2o344b2o35b3o$991b2o195b2o52b2o2b2o365b2o2b2o37b
o$992bo195b2o52b2o368bobo$992bobo617bo$556b2o435b2o616b2o$556bo460b2o
163b2o85bo$557b3o457b2o49bo113b2o75b2o7bobo$559bo507bobo116b2o71b2o7bo
bo$1067b2o117b2o81bo11b2o$886b2o393bo$886b2o394b3o$540b2o742bo$539bobo
473b2o164b2o96b2o$539bo475bo165b2o35b2o28b2o29b2o$538b2o476b3o193b2o4b
obo9b2o16bobo$1018bo194bo6bo8bobo18bo$1016b2o192b3o7b2o7bo20b2o$1016bo
193bo17b2o4b2o$860bo153bobo216bobo$859bobo152b2o217bo$859bobo370b2o7b
2o$548b2o308b2ob2o16b2o360b2o223bo$548b2o329b2o210b2o372bobo$858b2ob2o
228b2o373b2o$555bob2o300bob2o34b2o97b2o89b2o98b2o$555b2obo298bo39bobo
97bo89b2o97bobo$857b2o40bo97bobo73b2o111bo$899b2o97b2o73b2o110b2o$537b
2o662b2o$538bo326b2o334bobo254bo$538bobo318b2o4b2o336bo253bobo$539b2o
317bobo27b2o313b2o253b2o$858bo29bobo180bo$857b2o31bo170b2o7bobo$553b2o
310b2o23b2o169b2o7bobo157b2o$553bobo309b2o204bo11b2o146bo$555bo527bo
147bobo$555b2o527b3o145b2o216bo$871bo214bo106b2o254bobo$870bobo126b2o
15b2o63b2o110b2o255b2o$871bo127b2o15bobo62b2o$991b2o25bo165b2obo$992bo
25b2o164bob2o$992bobo207b2o$550b2o441b2o207bo$550bo649bobo43b2o194bo$
551b3o646b2o41b2o2bo193bobo$553bo486bo202bob2o195b2o$1012bo27b3o142bo
59bo$1010b3o30bo63b2o76b3o49b2o4bobo$1009bo32b2o63bo68bo11bo48bo5b2o$
534b2o473b2o94bobo68b3o8b2o14bo34bo$533bobo479bo47bo37b2o2b2o72bo22bob
o32b2o$533bo479b3o47b3o35b2o59b2o14b2o23bo230bo$532b2o478bo53bo95b2o
269bobo$1012b2o51b2o11b2o354b2o$1078b2o$1156b2o$1156b2o$1160b2o$1160b
2o36b2o$542b2o471b2o181bobo225bo$542b2o452b2o17b2o183bo224bobo$996b2o
193b2o7b2o224b2o$549bob2o554b2o46b2o34bo196b2o$549b2obo536b2o16bobo45b
2o35b3o193bobo$995b2o91bobo18bo84bo194bo$996bo91bo20b2o$993b3o12b2o77b
2o4b2o$993bo14bo83bobo323bo$1009b3o45b2o33bo324bobo$1011bo39b2o5bo32b
2o7b2o316b2o$547bo503bobob3o20b2o20b2o278b2o$546bobo495b2o7bobo22bo
301bobo$547b2o495b2o7b2o24b3o299bo$1081bo$1161b2o$1160bobo247bo$1160bo
248bobo$1110b2o47b2o249b2o$1110bo64b2o195b2o$1004b2o102bobo64bobo194bo
bo$1004b2o102b2o67bo195bo$1177b2o2$1402bo$1401bobo$1402b2o$523b2o839b
2o$523b2o839bobo$527b2o449bo188b2o196bo$527b2o448bobo187b2o$541b2o434b
obo$541b2o433b2ob2o16b2o159b2obo232bo$997b2o159bob2o231bobo$976b2ob2o
413b2o$977bob2o34b2o69b2o268b2o$975bo39bobo69bo268bobo$544bo430b2o40bo
69bobo267bo$543bobo7b2o462b2o69b2o$543bobo7b2o557b2o$531b2o11bo438b2o
127b2o49bo222bo$532bo444b2o4b2o177bobo220bobo$529b3o444bobo27b2o154b2o
222b2o$529bo52bo393bo29bobo339b2o$533b2o45b3o392b2o31bo339bobo$533b2o
44bo403b2o23b2o339bo$569b2o8b2o402b2o125b2o$570bo539bo$570bobo538b3o
264bo$571b2o416bo123bo263bobo$585b2o401bobo120b2o265b2o$585b2o402bo
121bo228b2o$1109bobo228bobo$527bo581b2o230bo$519bo6bobo$519b3o5bo57b2o
$515b2o5bo62b2o599b2o182bo$516bo4b2o663b2o181bobo$516bobo572b2o89b2o
186b2o$517b2o573bo89b2o148b2o$1092bobo73b2o162bobo200b2o$561b2o530b2o
73b2o163bo201b2o$561b2o25b2o$513b2o25b2o46bo$514bo25b2o44bobo773bo170b
2o$514bobo69b2o773bobo169b2o$515b2o649bo195b2o156b2o$1156b2o7bobo156b
2o195bo$1156b2o7bobo156bobo194bobo$528b2o636bo11b2o145bo196b2o$528bobo
6b2o639bo339b2o$530bo6bo641b3o336b2o$530b2o6bo642bo172bo$537b2o555b2o
15b2o63b2o175bobo$1094b2o15bobo62b2o176b2o$1086b2o25bo202b2o$1087bo25b
2o201bobo$567b2obo516bobo227bo$526b2o39bob2o517b2o441b2o$526bobo1002b
2o$528bo817bo177b2o$528b2o53b2o550bo209bobo175bo2bo15b2o$583bobo521bo
27b3o208b2o176b2o15bo2bo$585bo519b3o30bo63b2o104b2o231bobo24b2o$576b2o
7b2o517bo32b2o63bo105bobo231bo26bo$576b2o526b2o94bobo106bo256b3o$1110b
o47bo37b2o2b2o364bo$1108b3o47b3o35b2o$535b2o570bo53bo176bo220bo3b2o$
535bo571b2o51b2o11b2o162bobo218bobo3bo$516b2o15bobo637b2o163b2o184b2o
31bobo3bo$516b2o15b2o301bo463b2o222b2o31bo4bo12b2o$566b2o267bobo462bob
o253b2o5b3o4b2o3b2o$567bo268bo464bo263bo4b2o$567bobo$568b2o540b2o$830b
2o259b2o17b2o218bo238b2o12b2o$830b2o23b2o234b2o236bobo238bo5b2o5bo$
822b2o31bo346b2o126b2o235b3o6b2o6b3o$587bo235bo29bobo328b2o16bobo87b2o
221bo51bo18bo$585b3o235bobo27b2o86b2o147b2o91bobo18bo87bobo220b3o$584b
o239b2o4b2o108bo2bo147bo91bo20b2o87bo224bo14bo$584b2o244b2o109b2o145b
3o12b2o77b2o4b2o327b2o12b3o$515b2o571bo14bo83bobo295b2o43bo$514bobo
347b2o238b3o45b2o33bo134bo161bobo43b2o$514bo307b2o40bo241bo39b2o5bo32b
2o7b2o124bobo158b3o$513b2o307bo39bobo281bobob3o20b2o20b2o125b2o157bo3b
o$824bob2o34b2o275b2o7bobo22bo110b2o195b2ob2o43b2o$823b2ob2o311b2o7b2o
24b3o107bobo223b2o17b2o$589b2o253b2o330bo108bo224b2o$589bo233b2ob2o16b
2o$531b2o54bobo234bobo$531bobo53b2o235bobo487bo164b2obo$533bo291bo379b
2o106bobo163bob2o$472bo60b2o670bo108b2o$472b3o98b2o628bobo70b2o235b2o$
475bo96bobo628b2o71bobo235bo$474b2o96bo704bo216b2o15b3o$469bo34bo66b2o
379b2o540bo16bo$467b3o32b3o447bobo540b3o18b2o$466bo34bo452bo351bo190bo
19bo$466b2o33b2o20b2o64b2obo258b2o101b2o349bobo206b3o$456b2o65b2o64bob
2o258b2o453b2o206bo$457bo56b2o575b2o175b2o272b2o79b2o$457bobo54bo2bo
64b2o507b2o175bobo271bo80b2o$458b2o4b2o44b2o4b2o64b2o341bo343bo270bobo
$463bo2bo44bo20b2o354b2o7b2o24b3o614b2o$464b2o45bobo18bo355b2o7bobo22b
o698b2o$476b2o34b2o16bobo362bobob3o20b2o20b2o352bo322b2o$476b2o52b2o
323bo39b2o5bo32b2o7b2o351bobo215bo92b2o$853b3o45b2o33bo361b2o215b3o91b
o$837bo14bo83bobo321b2o256bo90bobo$572b2o263b3o12b2o77b2o4b2o126bo126b
2o66bobo254b2o91b2o$573bo266bo91bo20b2o109bobo124bo2bo66bo277b2o65b2o$
573bobo263b2o91bobo18bo110bobo125b2o345bobo64b2o$574b2o357b2o16bobo
109b2ob2o16b2o455bo$951b2o131b2o204bo250bobob2o$462b2o3b2o32b2o337b2o
221b2ob2o221bobo224b2o18b2obobob2obo$463bo3bo20b2o11b2o337b2o17b2o203b
ob2o34b2o186b2o223bobo18b2ob2obo$460b3o5b3o18bo103bo265b2o201bo39bobo
147b2o261bo26bo$460bo9bo15b3o35b2o65b3o468b2o40bo147bobo259b2o20b2ob3o
$486bo37b2o2b2o60bo513b2o147bo283bobo79b2o$528bobo59b2o945bobo79b2o$
505b2o23bo539b2o462b2ob2o73b2o$506bo23b2o390b2o140b2o4b2o210bo74bo176b
obo74bo2bo15b2o$503b3o350b2o51b2o11b2o139bobo27b2o186bobo71b3o11bo166b
o75b2o15bo2bo$503bo352bo53bo152bo29bobo186b2o70bo14b3o107bo20bo35b2o
91bobo24b2o$857b3o47b3o35b2o115b2o31bo148b2o108b2o16bo14bo90bobo7bo11b
3o127bo26bo$859bo47bo37b2o2b2o119b2o23b2o147bobo124b2o12b3o91bo6b3o14b
o150b3o$595b2o256b2o94bobo118b2o173bo138bo83bo16bo16b2o150bo$595bo257b
o32b2o63bo432b2o82b3o14b2o$593bobo258b3o30bo63b2o518bo175bo3b2o$593b2o
261bo27b3o189bo197bo195b2o174bobo3bo$884bo190bobo195bobo107b2o227b2o
31bobo3bo$1076bo197b2o88b2o17b2o227b2o31bo4bo12b2o$579b2o655b2o126b2o
278b2o5b3o4b2o3b2o$578bobo256b2o397bobo98bo127b2o25b2o159bo4b2o$578bo
257bobo398bo98bobo127bo25b2o$577b2o257bo25b2o472bobo127bobo$835b2o25bo
474bo129b2o188b2o12b2o$843b2o15bobo62b2o339bo391bo5b2o5bo$595b2obo244b
2o15b2o63b2o338bobo99b2o160b2o124b3o6b2o6b3o$595bob2o331bo335b2o100bo
111b2o24b2o21b2o124bo18bo$928b3o297b2o135b3o45b2o65bobo6b2o16bo15b2o$
588b2o337bo300bobo134bo47b2o67bo6bo14b3o16b2o$588b2o325bo11b2o300bo
140b2o110b2o6bo13bo$905b2o7bobo454bo117b2o$905b2o7bobo451b3o40b2o112b
2o$915bo342bo109bo42b2o105b2o5b2o$1257bobo138b2o118b2o$725bo532b2o139b
o$724bobo493b2o177bobo76b2o114bo$578b2o145bo494bobo177b2o46bo29bobo
113b3o$579bo262b2o73b2o302bo174b2o50b3o29bo116bo14bo$579bobo259bobo73b
2o442b2o33b2o53bo28b2o114b2o12b3o$580b2o137b2o120bo89b2o429bo87b2o112b
2o43bo$719b2o23b2o94b2o89b2o317bo111bobo15b2o181bobo43b2o$711b2o31bo
190b2o312bobo111b2o15b2o179b3o$712bo29bobo190b2o313b2o308bo3bo$712bobo
27b2o468b2o346b2ob2o43b2o$576bobo134b2o4b2o491bobo374b2o17b2o$576b2obo
139b2o137b2o353bo195b2o178b2o$579b3o276bobo548b2o29b2o$576b2o4bo170b2o
105bo541b2o36b2o$576bob5o128b2o40bo106b2o380bo158bo2bo153b2obo$484b2o
92bo132bo39bobo108bo378bobo158b2o154bob2o$477b2o5b2o91bo3b2o130bob2o
34b2o107b3o379b2o185bo$477b2o97bo3bobo129b2ob2o142bo344b2o222bobo46b2o
113b2o$576b2o3bo151b2o124b2o343bobo221b2o24b2o21b2o114bo$516b2o44bo
149b2ob2o16b2o470bo175b2o54b2o16bo15b2o100b2o15b3o$479b2o17b2o8b2o6bo
31bo13b3o35b2o111bobo665bobo53bo14b3o16b2o100bo16bo$479b2o17bo9b2o4bob
o29b3o16bo34b2o111bobo667bo54bo13bo121b3o18b2o$473b2o21bobo15b2o4b2o
23bo18b2o148bo196b2o321bo148b2o52b2o137bo19bo$473b2o21b2o21bobo23b2o
364bobo319bobo166b2o69b2o118b3o$517b3obobo337b2o49bo321b2o166b2o62b2o
5b2o118bo$516bo5b2o2b2o67b2o264b2o333b2o268b2o153b2o$516b2o8b2o67b2o
240b2o357bobo422bo$599b2o235bobo358bo167b2o252bobo$599b2o235bo527bobo
252b2o$504b2o329b2o527bo$504b2o49b2o183b2o484bo136b2o$555b2o36b2o145b
2o165bob2o314bobo134bo231bo$578b2o13b2o312b2obo315b2o134b3o229b3o$578b
obo607b2o175bo231bo$492b2o86bo335b2o270bobo173b2o230b2o$492b2o3bo70b2o
10b2o334b2o271bo428b2o$496bobo69bo1049bobo$497bobo58b2o9b3o1048bo$499b
o38b2o19bo11bo646bo401bobob2o$499b2o37bobo17bo658bobo375b2o18b2obobob
2obo$540bo17b2o658b2o142b2o230bobo18b2ob2obo$540b2o638b2o180b2o230bo
26bo$926b2o252bobo203b2o205b2o20b2ob3o103b2o$532b2o323b2o67bo254bo204b
obo227bobo105b2o$532bo324bobo64bobo461bo227bobo$466b2o65b3o323bo64b2o
462b2o223b2ob2o$467bo58b2o7bo323b2o47b2o300bo402bobo106b2o$467bobo56b
2o381bo299bobo403bo106b2o$468b2o439bobo298b2o403b2o92b2o$492b2o416b2o
260b2o536bo$492b2o27b2o307bo341bobo535bobo$521bobo269b2o7b2o24b3o342bo
537b2o$523bo269b2o7bobo22bo756bo122b2o$523b2o275bobob3o20b2o20b2o733b
3o120b2o$760bo39b2o5bo32b2o7b2o351bo384bo$510b2o246b3o45b2o33bo359bobo
382b2o$490b2o18b2o230bo14bo83bobo100b2o256b2o$490bo251b3o12b2o77b2o4b
2o100bo219b2o$491b3o251bo91bo20b2o82bobo219bobo444bo$493bo250b2o91bobo
18bo79b2o2b2o221bo443b3o$491b2o345b2o16bobo45b2o32b2o668bo111b2o$491bo
364b2o46b2o677b2o23b2o110b2o$489bobo253b2o447bo388bo2b2o125b2o$489b2o
254b2o17b2o427bobo388b2obo124bo2bo15b2o$474bo114b2o173b2o428b2o389bo
127b2o15bo2bo$474b3o112b2o5b2o311b2o70b2o173b2o427bo144bobo24b2o$477bo
118b2o311b2o71bo173bobo235bo189b2obob2o18b2o120bo26bo$476b2o82b2o343b
2o74bo5b2o168bo236b3o24b2o7b2o151bo2b2ob2o18bobo143b3o$561bo343b2o74b
2o4bobo407bo22bobo7b2o152bo26bo143bo$548bo11bo33b2o231b2o160bo384b2o
20b2o20b3obobo27bo132b3ob2o20b2o$548b3o9b2o32b2o165b2o51b2o11b2o158bob
2o195bo187b2o7b2o32bo5b2o25b3o11bo103b2o17bobo158bo3b2o$551bo48b2o159b
o53bo95b2o31b2o41b2o2bo193bobo195bo33b2o30bo14b3o101b2o19bo157bobo3bo$
538b2o10b2o48b2o160b3o47b3o35b2o59b2o13b2o16bobo43b2o194b2o193bobo65b
2o16bo14bo105b2ob2o120b2o31bobo3bo$539bo224bo47bo37b2o2b2o69bobo18bo
201b2o231b2o4b2o77b2o12b3o107bobo120b2o31bo4bo12b2o$539bobo216b2o94bob
o68bo20b2o200bobo214b2o20bo91bo110bo154b2o5b3o4b2o3b2o$498bo41b2o216bo
32b2o63bo67b2o4b2o217bo179bo36bo18bobo91b2o108b2o163bo4b2o$498b3o62b2o
194b3o30bo63b2o70bo2bo397b3o34bobo16b2o193bo$501bo19bo41b2o196bo27b3o
136b2o402bo34b2o210bobo$469b2o29b2o19b3o5b2o258bo147b2o239bo152b2o145b
2o99bobo176b2o12b2o$469b2o53bo4b2o406b2o238bobo279b2o17b2o98b2ob3o175b
o5b2o5bo$523b2o451b2o200b2o279b2o123bo171b3o6b2o6b3o$742b2o231bobo162b
2o416b2o18b2ob3o172bo18bo$741bobo231bo164bobo416bo18b2obo29b2o$474b2o
48b2o56b2ob2o154bo25b2o205b2o165bo417bobo25bo23bobo$474b2o48b2o3b2o42b
2o6bobobobo16bo135b2o25bo554bo237b2o25b3o23bo$470b2o57b2o23b2o18bo6bob
o2bo15b3o143b2o15bobo62b2o490b3o71b2o192bo22b2o$470b2o82bo16b3o6b2obo
17bo146b2o15b2o63b2o115b2o221bo154bo70b2o11b2o51b2o125b2o14b2o$555b3o
13bo7bo3b2o16b2o232bo111bo221bobo152b2o83bo53bo141b2o$557bo22bobo2bobo
245b3o109bobo222b2o174b2o25b2o35b3o47b3o45b2o$476b2o101b2ob2o2b2o244bo
112b2o185b2o212b2o21b2o2b2o37bo47bo47b2o$476b2o14b2o326bo11b2o95b2o
201bobo233bobo94b2o$493bo316b2o7bobo108bo202bo234bo23b2o38b2o32bo$490b
3o317b2o7bobo108bobo434b2o23bo39bo30b3o40b2o$490bo329bo110b2o460b3o37b
3o27bo42b2o$606b2o554bo232bo39bo57b2o85b2o$606bo554bobo170b2o158bo85b
2o$496b2o43b2o61bobo378b2o175b2o170b2o158bobo192bo$495bobo43b2o61b2o
370b2o7b2o137b2o369b2o46bo145b3o$495bo251b2o73b2o153bo146bobo364b2o50b
3o146bo14bo$494b2o250bobo73b2o153bobo145bo330b2o33b2o53bo59b2o83b2o12b
3o$590b2o154bo89b2o116bo17b2o4b2o477bo87b2o59bobo50b2o43bo$589bobo153b
2o89b2o116b3o7b2o7bo20b2o24b2o435bobo15b2o131bo49bobo43b2o$497b2o45bo
44bo250b2o115bo6bo8bobo18bo25b2o132bo303b2o15b2o131b2o46b3o$498bo43b3o
43b2o250b2o114b2o4bobo9b2o16bobo30bo127bobo161bo291bo45bo3bo$495b3o43b
o383b2o35b2o28b2o29b3o128b2o160bobo287b3o46b2ob2o43b2o$495bo44bobo382b
2o95bo93b2o199bo287bo78b2o17b2o$502b2o37bo64b2obo153b2o245bo11b2o92bob
o385b2o98bobo77b2o$503bo16b2o84bob2o153bobo234b2o7bobo105bo386b2o29b2o
68bo$500b3o16bobo243bo234b2o7bobo485b2o36b2o$500bo18bo19b2o58b2o164b2o
163b2o78bo310b2o3b2o168bo2bo107bo45b2obo$518b2o19b2o58b2o166bo162b2o
214bo174b2o3b2o169b2o105bobobo44bob2o$535b2o228b3o158b2o217bobo376bo
79b2o2bo$535bo228bo161b2o218b2o375bobo46b2o34b2o77b2o$536b3o225b2o342b
2o222b2obo187b2o24b2o21b2o114bo$538bo110bo362b2o94bobo221b2ob3o138b2o
54b2o16bo15b2o100b2o15b3o$648bobo281b2o52b2o24b2o95bo215b2o11bo137bobo
53bo14b3o16b2o100bo16bo$649bo215b2o65b2o52b2o2b2o34b2o298bo5b2ob3o140b
o54bo13bo121b3o18b2o$589b2o225b2o48bo123bobo33b2o295b3o4bo2bobo142b2o
52b2o43b2o19b2o71bo19bo115b2o$590bo225bobo46bo5b2o119bo37b2o106bo184bo
6b2o165b2o69b2o7b2o19b2o88b3o116b2o$590bobo50b2o121b2o49bo47b2o4bobo
118b2o36b2o105bobo357b2o62b2o5b2o118bo$591b2o50b2o23b2o96b2o105bo76b2o
186b2o421b2o42bob2o107b2o$635b2o31bo73b2o127bob2o76bo148b2o474b2o27b2o
bo107bo88b2o$636bo29bobo72bobo127b2o2bo72b3o3bob2o142bobo357b2o115bo
136bobo88b2o$636bobo27b2o73bo132b2o72bo2b4ob2o143bo357bobo112b3o137b2o
76b2o$610bo26b2o4b2o95b2o209bo56b2o449bo114bo218bo$608b3o32b2o307b3ob
2o2b2o45bo2bo447b2o333bobo$607bo204bob2o138bobo4bo6b2o38bobo119bo326bo
143b2o86bo104b2o$607b2o68b2o133b2obo138bo2b4o7bo40bo119bobo325b3o141bo
bo85b3o98b2o$635b2o40bo277b2o12b3o158b2o328bo116bob2o22bo88bo97b2o$
635bo39bobo143b2o134b2o12bo120b2o365b2o116b2obo22b2o86b2o$637bob2o34b
2o144b2o134bo134bobo618b2o$636b2ob2o219b2o96bo134bo619bobo$657b2o200bo
bo95b2o756bo$636b2ob2o16b2o200bo855bobob2o$612b2o23bobo218b2o262bo475b
2obo88b2o18b2obobob2obo$612bo24bobo481bobo333b2o139b2ob3o85bobo18b2ob
2obo86b2o$610bobo25bo483b2o333b2o145bo84bo26bo86b2o$610b2o219b2o251b2o
395b2o107b2o6b2ob3o84b2o20b2ob3o80b2o$762b2o67bo252bobo394bobo106bo8bo
bo109bobo81bo2bo15b2o$762bobo64bobo167bo85bo397bo107b3o5bobo109bobo82b
2o15bo2bo$596b2o166bo64b2o168b3o481b2o108bo6bo107b2ob2o100bobo24b2o$
595bobo166b2o47b2o187bo705bobo103bo26bo$595bo218bo186bobo110bo595bo
127b3o$594b2o218bobo185bo110bobo594b2o126bo$664b2o149b2o297b2o$664b2o
69bo264bo75b2o753bo3b2o$612b2obo82b2o7b2o24b3o263bobobo72bobo751bobo3b
o$612bob2o82b2o7bobo22bo136b2o128bo2b2o73bo601bo116b2o31bobo3bo$705bob
ob3o20b2o20b2o104b2o7b2o127b2o679b3o114b2o31bo4bo12b2o$605b2o58bo39b2o
5bo32b2o7b2o105bo143b2o174b2o499bo145b2o5b3o4b2o3b2o$605b2o56b3o45b2o
33bo114bobo128b2o12bo99bo74b2o498b2o154bo4b2o$647bo14bo83bobo89bo17b2o
4b2o129bo12bobo96bobo$647b3o12b2o77b2o4b2o89b3o7b2o7bo20b2o113bobo11b
2o97b2o$650bo91bo20b2o76bo6bo8bobo18bo115b2o2b2o68b2o113b2o521bo134b2o
12b2o$649b2o91bobo18bo76b2o4bobo9b2o16bobo119b2o68bobo112b2o519b3o135b
o5b2o5bo$743b2o16bobo45b2o35b2o28b2o191bo126b2o505bo135b3o6b2o6b3o$
761b2o46b2o385bo481b2o23b2o134bo18bo$595b2o53b2o542bobo481bo2b2o$596bo
53b2o17b2o328b2o97bo95b2o483b2obo$596bobo70b2o322b2o4b2o96bobo98b2o
480bo$597b2o215b2o177b2o103b2o98b2o480bo$814b2o244b2o427bo189b2obob2o
18b2o$810b2o248bobo369bo56b3o24b2o7b2o151bo2b2ob2o18bobo$810b2o249bo
370b3o57bo22bobo7b2o152bo26bo$616bo115b2o701bo33b2o20b2o20b3obobo27bo
132b3ob2o20b2o$614b3o49b2o51b2o11b2o700b2o33b2o7b2o32bo5b2o25b3o11bo
103b2o17bobo$613bo52bo53bo95b2o52b2o122b2o94bo387bo33b2o30bo14b3o101b
2o19bo$613b2o52b3o47b3o35b2o59b2o52b2o2b2o117bobo93bobo93b2o289bobo65b
2o16bo14bo105b2ob2o$669bo47bo37b2o2b2o113bobo116bo96b2o93b2o289b2o4b2o
77b2o12b3o107bobo$663b2o94bobo114bo115b2o58b2o138b2o266b2o20bo91bo110b
o$663bo32b2o63bo114b2o174bobo119b2o15bo2bo266bo18bobo91b2o108b2o$664b
3o30bo63b2o71b2o217bo119bo2bo15b2o231bo35bobo16b2o193bo$666bo27b3o138b
o312b2o24bobo248b3o34b2o210bobo$694bo137b3o3bob2o306bo26bo252bo144b2o
99bobo$618b2o212bo2b4ob2o240bo66b3o275b2o125b2o17b2o98b2ob3o$618bo216b
o245bobo67bo297b2o103b2o123bo$616bobo28b2o187b3ob2o2b2o236b2o365b2o
202b2o18b2ob3o$616b2o28bobo189bobo4bo6b2o190b2o107b2o3bo495bo18b2obo
29b2o$646bo25b2o164bo2b4o7bo191bobo106bo3bobo494bobo25bo23bobo$645b2o
25bo166b2o12b3o189bo108bo3bobo31b2o461b2o25b3o23bo$602b2o49b2o15bobo
62b2o104b2o12bo285b2o12bo4bo31b2o297b2o192bo22b2o53bo$601bobo49b2o15b
2o63b2o104bo299b2o3b2o4b3o5b2o329b2o11b2o51b2o125b2o14b2o61b3o$601bo
138bo101bo231bo71b2o4bo284b2o65bo53bo141b2o64bo14bo$600b2o136b3o100b2o
230bobo361b2o29b2o35b3o47b3o45b2o160b2o12b3o$737bo336b2o388b2o2b2o37bo
47bo47b2o128b2o43bo$725bo11b2o297b2o95b2o12b2o50bo263bobo94b2o170bobo
43b2o$618b2obo93b2o7bobo309bobo95bo5b2o5bo49b3o263bo23b2o38b2o32bo168b
3o$618bob2o93b2o7bobo310bo93b3o6b2o6b3o30bo14bo265b2o23bo39bo30b3o40b
2o126bo3bo$725bo405bo18bo30b3o12b2o290b3o37b3o27bo42b2o126b2ob2o43b2o$
611b2o571bo43b2o260bo39bo57b2o85b2o81b2o17b2o$611b2o453bo116b2o43bobo
189bo168bo85b2o81b2o$1065bobo162b3o186bobo167bobo$1066b2o161bo3bo186bo
169b2o46bo$652b2o73b2o299b2o154b2o43b2ob2o352b2o50b3o86b2obo$651bobo
73b2o217b2o80bobo153b2o17b2o346b2o33b2o53bo59b2o24bob2o$651bo89b2o203b
2o81bo173b2o347bo87b2o59bobo$650b2o89b2o208bo472b2o3b2o121bobo15b2o
131bo57b2o$601b2o142b2o202b3o472b2o3b2o122b2o15b2o131b2o57bo$602bo142b
2o201bo109bo173bob2o468bo37b2o15b3o$602bobo331bo11b2o107bobo172b2obo
465b3o38bo16bo$603b2o321b2o7bobo120b2o375b2obo261bo42b3o18b2o$668b2o
256b2o7bobo82b2o178b2o233b2ob3o158b2o98bobo43bo19bo$668bobo265bo83bobo
177bo227b2o11bo157b2o29b2o68bo61b3o$670bo350bo179b3o15b2o208bo5b2ob3o
151b2o36b2o130bo$622bo47b2o531bo16bo205b3o4bo2bobo152bo2bo107bo87b2o$
620b3o49bo524b2o18b3o206bo6b2o157b2o105bobobo86bo$619bo50b3o377bo146bo
19bo401bo79b2o2bo84bobo$619b2o48bo268b2o109bobo146b3o417bobo46b2o34b2o
83b2o$669b2o267b2o110b2o148bo417b2o24b2o21b2o$952b2o58b2o157b2o398b2o
54b2o16bo15b2o$765b2o185b2o58bobo157bo398bobo53bo14b3o16b2o100bo$765b
2o189b2o55bo158bobo398bo54bo13bo120b3o$721b2o233b2o215b2o398b2o52b2o
43b2o19b2o71bo$721bobo868b2o69b2o7b2o19b2o70b2o$624b2o45b2o49bo319bo
549b2o62b2o5b2o122b2o$624bo46b2o368bobo155bo456b2o42bob2o83bobo$622bob
o22b2o128bo264b2o153b3o471b2o27b2obo85bo$622b2o22bobo127bobo155b2o68b
2o190bo358b2o115bo116bobob2o$646bo129bobo154bo2bo67bobo189b2o356bobo
112b3o92b2o18b2obobob2obo$645b2o128b2ob3o153bobo68bo168b2o378bo114bo
93bobo18b2ob2obo$608b2o171bo153bo237bobo377b2o208bo26bo$607bobo107bob
2o34b2o18b2ob3o392bo378bo143b2o64b2o20b2ob3o$607bo109b2obo35bo18b2obo
255bo133b2obobo378b3o141bobo86bobo$606b2o148bobo274bobo52b2o78bob2obob
ob2o18b2o356bo116bob2o22bo86bobo$726b2o29b2o275b2o52b2o82bob2ob2o18bob
o354b2o116b2obo22b2o82b2ob2o$726b2o268b2o174bo26bo149bo432bobo$624b2ob
o368bobo174b3ob2o20b2o136bo11b3o374bo4b2o51bo$624bob2o369bo92b2o83bobo
157b3o14bo372bobo2bobo7b2o42b2o$1090b2o83bobo141bo14bo16b2o371bo2b4o9b
o$617b2o484b2o71b2ob2o138b3o12b2o357b2obo27bobo4bo6bobo$617b2o407bo76b
o74bobo141bo229b2o139b2ob3o24b2ob2o2b2o6b2o$1025bobo73bobo74bo142b2o
229b2o145bo21bo$736b2o187bo100b2o73b2o74b2o35bo361b2o107b2o6b2ob3o19bo
2b4ob2o$667b2o67bo188b3o60b2o115b2o105b3o11bo349bobo106bo8bobo21b3o3bo
b2o$667bobo64bobo40b2o149bo59bobo114b2o104bo14b3o93b2o254bo107b3o5bobo
24bo40b2o$669bo64b2o41b2o148bobo59bo221b2o16bo14bo77b2o17b2o235b2o108b
o6bo24b2o39bobo$669b2o47b2o208bo299b2o12b3o96b2o408bo9bo$607b2o110bo
521bo127bo381b3o5b3o$608bo110bobo204bo91bo222b2o125bobo383bo3bo$608bob
o109b2o203bobobo87bobo348bobo331b2o49b2o3b2o$609b2o314bo2b2o88b2o349bo
332b2o$924b2o54b2o110b2o146b2o$825b2o104b2o47bobo109b2o127b2o17b2o96b
2o$659b2o165bo91b2o12bo48bo117b2o120b2o115bo357b2o$628bo21b2o7b2o93b2o
69bo5b2o86bo12bobo146b2o15bo2bo190b2o45b3o354b2o72b2o$626b3o22bo101bob
o69b2o4bobo85bobo11b2o145bo2bo15b2o191b2o47bo358b2o68b2o$625bo25bobo
89bo9bo39b2o38bo86b2o2b2o84bo44b2o24bobo251b2o363b2o$625b2o19b2o4b2o
89b3o5b3o39bo37bob2o89b2o83bobo43bo26bo101b2o149bo441bob2o$631bo15bo
20b2o76bo3bo40bobo37b2o2bo174b2o44b3o125b2o21b2o85b2o40b3o438b2obo$
629b3o15bobo18bo76b2o3b2o20bo18b2ob2o38b2o136b2o84bo131b2o15bo16b2o68b
2o42bo$628bo19b2o16bobo45b2o54b3o21bo177bobo215b2o16b3o14bo81b2o386b2o
$628b2o36b2o46b2o53bo24bobo128b2o46bo86b2o3bo144bo12bo83bo387b2o35b2o$
769bob2o20b2ob3o120b2o4b2o133bo3bobo156b2o80bobo418b2o4bobo$770bobo26b
o119b2o140bo3bobo31b2o87b2o37b2o29bo46b2o420bo6bo38b2o$762b2o8bobo18b
2ob2o2bo201bo45b2o12bo4bo31b2o87b2o5b2o31bo27b3o50b2o413b3o7b2o37bobo$
719b2o41b2o7bob2o18b2obob2o201bobo44b2o3b2o4b3o5b2o126b2o28b3o27bo53b
2o33b2o378bo50bo$719b2o50bo26bo203b2o49b2o4bo165bo29b2o87bo239bo162b2o
26b2o$631b2o82b2o52bobo26bo21b2o142b2o359b2o15bobo239b3o24b2o7b2o126bo
$612b2o17b2o82b2o52b2o25bob2o19bobo142bobo358b2o15b2o243bo22bobo7b2o
123b3o3bob2o$612b2o182b2o2bo18bo100b2o43bo74b2o12b2o508b2o20b2o20b3obo
bo27bo87bo14bo2b4ob2o$774b2o23b2o17b2o99bobo119bo5b2o5bo509b2o7b2o32bo
5b2o25b3o11bo73b3o17bo$721b2o52bo143bo118b3o6b2o6b3o515bo33b2o30bo14b
3o70bo21b3ob2o$611b2o47b2o59b2o49b3o143b2o74bo43bo18bo238b2o273bobo65b
2o16bo14bo29b2o23b2o22b2o2bo$612bo47b2o2b2o99b2o5bo220bobo269b2o29b2o
273b2o4b2o77b2o12b3o30bo50b2o$609b3o12b2o38bobo98bobo226b2o269b2o36b2o
250b2o20bo91bo30b3o44bo$609bo14bo16b2o23bo100bo188b2o344bo2bo250bo18bo
bo91b2o29bo44b3o$625b3o14bo23b2o71b2o26b2o27b2o158bobo344b2o251bobo16b
2o167bo$627bo11b3o98bo32b2o21bo160bo319bo279b2o172b2o11b2o14b2o$639bo
97b3o3bob2o27bo22b3o428b2o46bobo389b2o61b2o27b2o$737bo2b4ob2o27bobo22b
o428b2o21b2o24b2o370b2o17b2o$740bo34b2o209bo247b2o15bo16b2o54b2o323b2o
$741b3ob2o238bobo246b2o16b3o14bo53bobo440b2o$743b2o2bo238b2o266bo13bo
54bo442b2o$746b2o81b2o117b2o318b2o52b2o438b2o$820b2o7b2o117bobo281b2o
69b2o395b2o21b2o37b2o$821bo127bo282b2o5b2o62b2o281b2o112b2o21bobo$821b
obo415b2o345b2o11b2o51b2o52b2o17bo$798bo17b2o4b2o39b2o734bo53bo52b2o
17b2o$798b3o7b2o7bo20b2o23b2o113bo361b2o221b2o35b3o47b3o45b2o67b2o$
801bo6bo8bobo18bo29bo108bobo360bobo216b2o2b2o37bo47bo47b2o67b2o$800b2o
4bobo9b2o16bobo27b3o109b2o362bo161bo53bobo94b2o47b2o$769b2o35b2o28b2o
27bo74b2o400b2o160b3o51bo23b2o38b2o32bo47b2o5b2o$769b2o82bo11b2o73bobo
401bo162bo49b2o23bo39bo30b3o40b2o13b2o$843b2o7bobo86bo400b3o161b2o75b
3o37b3o27bo42b2o32b2o$843b2o7bobo486bo243bo39bo57b2o44bobo$853bo487b2o
341bo44bo$774b2o194bo713bobo41b2o$774b2o193bobo713b2o46bo$770b2o198b2o
709b2o50b3o$770b2o160b2o563bo148b2o33b2o53bo$855b2o75bobo562b3o147bo
87b2o24b2o$855b2o76bo409b2o155bo146bobo15b2o94bobo$776b2o52b2o37b2o
472b2o154b2o147b2o15b2o96bo$776b2o52b2o2b2o33b2o448b2o200b2o240b2o$
834bobo36b2o87bo355bobo200b2o$836bo36b2o86bobo354bo$836b2o124b2o353b2o
375b2o$794b2o128b2o768b2o29b2o$795bo128bobo760b2o36b2o$792b3o3bob2o
123bo760bo2bo$792bo2b4ob2o49b2o656b2o176b2o$795bo54bo2bo294bo360b2o
203bo$796b3ob2o2b2o45bobo100bo191b3o564bobo46b2o$798bobo4bo6b2o38bo
100bobo174bo14bo567b2o24b2o21b2o$798bo2b4o7bo141b2o174b3o12b2o519b2o
54b2o16bo15b2o$799b2o12b3o100b2o215bo43b2o487bobo53bo14b3o16b2o$801b2o
12bo100bobo86b2o125b2o43bobo488bo54bo13bo$801bo115bo87b2o172b3o486b2o
52b2o$802bo375bo3bo309bo194b2o69b2o$801b2o330b2o43b2ob2o308bobo193b2o
62b2o5b2o$946bo60b2o124b2o17b2o338bo258b2o$945bobo59b2o143b2o$946b2o
72b2o628b2o$908b2o110bo628bobo$908bobo107bobo160bob2o311b2o3b2o146bo$
842bo66bo108b2o161b2obo181bo129b2o3b2o145b2o$842b3o177b2o340b3o280bo$
845bo176b2o125b2o161bo50bo283b3o$844bobo91bo210bo125b2o7b2o24b3o50b2o
142b2obo139bo$845bo91bobo210b3o15b2o105b2o7bobo22bo197b2ob3o136b2o$
938b2o212bo16bo84bo27bobob3o20b2o20b2o167b2o11bo$843bo56b2o244b2o18b3o
73bo11b3o25b2o5bo32b2o7b2o168bo5b2ob3o$842bobobo53bobo243bo19bo73b3o
14bo30b2o33bo174b3o4bo2bobo$842bo2b2o54bo245b3o74bo14bo16b2o65bobo172b
o6b2o$841b2o166b2o138bo74b3o12b2o77b2o4b2o47bo$848b2o159b2o109b2o105bo
91bo20b2o29b3o273b2o$835b2o12bo80bo85b2o103bo104b2o91bobo18bo29bo276b
2o$836bo12bobo77bobo66b2o15bo2bo102bobo196b2o16bobo29b2o299b2o$15b2o
819bobo11b2o78b2o65bo2bo15b2o104b2o214b2o8b2o321bobo$15b2o820b2o2b2o
49b2o78b2o24bobo226b2o119b2o323bo$841b2o49bobo77bo26bo227b2o17b2o425b
2o$893bo79b3o172bo97b2o$975bo170b3o$1145bo$842b2o78bo54b2o3bo162b2o$
836b2o4b2o77bobo53bo3bobo139b2o235b2o$836b2o84b2o54bo3bobo31b2o104bobo
184b2o49b2o$884b2o79b2o12bo4bo31b2o104bo120b2o51b2o11b2o455bo$2o882bob
o78b2o3b2o4b3o5b2o131b2obobo120bo53bo466b3o11bo$2o883bo84b2o4bo140bob
2obobob2o18b2o49b2o45b3o47b3o35b2o429bo14b3o$1121bob2ob2o18bobo48b2o
47bo47bo37b2o2b2o412bo12b2o16bo14bo$1022bo98bo26bo91b2o94bobo409b3o29b
2o12b3o$837b2o75bo42b2o12b2o47b3o99b3ob2o20b2o90bo32b2o38b2o23bo408bo
45bo$836bobo74bobo42bo5b2o5bo32bo14bo104bobo72b2o40b3o30bo39bo23b2o38b
o368b2o44b2o$836bo77b2o39b3o6b2o6b3o29b3o12b2o103bobo72b2o42bo27b3o37b
3o63bobo920b2o$835b2o39b2o77bo18bo32bo43b2o72b2ob2o82b2o57bo39bo66bo
921b2o5b2o$876bobo127b2o43bobo73bobo82bo579b2o513b2o$877bo175b3o71bo
82bobo560b2o17b2o477b2o$1052bo3bo69b2o35bo46b2o561b2o497bo$20b2o985b2o
43b2ob2o104b3o50b2o152b2o3b2o884bo11bo14b2o17b2o$20bo885bo100b2o17b2o
132bo53b2o33b2o117b2o3b2o884b3o9b2o14bo17b2o$21b3o881bobo118b2o132b2o
87bo429bo582bo24bobo21b2o$23bo882b2o322b2o15bobo429b3o24b2o7b2o532b2o
10b2o25b2o21b2o$868b2o360b2o15b2o111bob2o318bo22bobo7b2o507bo9bo15bo$
868bobo184bob2o299b3ob2o295b2o20b2o20b3obobo66b2o446b3o5b3o15bobo$869b
o185b2obo298bo11b2o288b2o7b2o32bo5b2o45b2o20bo449bo3bo19b2o$4b2o1352b
3ob2o5bo298bo33b2o51bo18b3o449b2o3b2o41b2o$3bobo1017b2o176b2o157bobo2b
o4b3o293bobo87b3o15bo499b2o$3bo894bo124bo146b2o29b2o161b2o6bo293b2o4b
2o84bo20b2o$2b2o893bobo124b3o15b2o126b2o36b2o440b2o20bo107bo$898b2o
126bo16bo163bo2bo440bo18bobo104b3o$860b2o158b2o18b3o165b2o441bobo16b2o
79b2o24bo$860bobo157bo19bo141bo469b2o97bobo$32bo34bo793bo159b3o109b2o
46bobo569bo$32b3o32b3o953bo109b2o21b2o24b2o569b2o485b2o$35bo34bo923b2o
143b2o15bo16b2o54b2o564b2o443b2o23b2o$12b2o20b2o33b2o819bo104bo143b2o
16b3o14bo53bobo564bobo430b2o35bo$12b2o7b2o56b2o808bobo103bobo161bo13bo
54bo521b2o45bo429bo2bo35b3o$21bo57bo810b2o104b2o175b2o52b2o521bo46b2o
423b2o4b2o38bo$19bobo55bobo772b2o283b2o69b2o541b3o467bobo$19b2o4b2o44b
2o4b2o773bobo282b2o5b2o62b2o471b2o70bo467bo$3b2o20bo44bo2bo779bo168bo
121b2o535b2o11b2o49b2o473b2o$4bo18bobo45b2o947b3o671bo50bo484b2o$4bobo
16b2o34b2o958bo225b2o411b2o35b3o48b3o481bo$5b2o52b2o821bo136b2o224bobo
406b2o2b2o37bo50bo482b3o84b2o$881bobo113b2o248bo405bobo131b2o444bo84bo
$882b2o112bobo248b2o404bo23b2o38b2o68b2o527bobo$844b2o150bo252bo402b2o
23bo39bo598b2o$844bobo144b2obobo250b3o428b3o37b3o57b2obo510b2o$845bo
145bob2obobob2o18b2o224bo433bo39bo57bob2o474bo35b2o$995bob2ob2o18bobo
17b2o4bo199b2o1008b3o$995bo26bo8b2o7bobo2bobo1211bo$34b2o32b2o3b2o799b
o121b3ob2o20b2o8bo9b4o2bo749b2o458b2o$34b2o11b2o20bo3bo799bobo122bobo
31bobo6bo4bobo749bo440bo$47bo18b3o5b3o797b2o122bobo32b2o6b2o2b2ob2o
746bobo440b3o$11b2o35b3o15bo9bo759b2o161b2ob2o47bo744b2o444bo51b2o$7b
2o2b2o37bo785bobo162bobo41b2ob4o2bo193b2o991bo15b2o36bo$6bobo828bo163b
o43b2obo3b3o193b2o991b2o14b2o33b3o$6bo23b2o968b2o49bo172b2o556b2o453b
2o53bo$5b2o23bo1020b2o170bobo555bobo454bo29b2o23b2o$31b3o701bo130bo
356bo557bo456bobo27bobo23bo$33bo701b3o127bobo354b2o556b2o457b2o29bo23b
obo$738bo127b2o1402b2o23b2o$737bobo88b2o1436b2o43bo$738bo89bobo1436bo
41b3o$829bo1436bo41bo$2233b2o32b3o38b2o$739b2o1492b2o34bo$739b2o117bo
926b2o462b2o$857bobo220bo494bo210bo462bo$710bo147b2o219bobo493b3o205b
3o464b3o$710b3o107b2o257bobo496bo204bo438b2o28bo8b2o14bo9bo$713bo24b2o
80bobo242b2o11b2ob3o493b2o644bo23b2o12bobo13b3o5b3o$712b2o24b2o81bo
185b2o56b2o17bo1138bobo21bo15bo16bo3bo$1007b2o21b2o46b2ob3o1140b2o19bo
bo15b3o13b2o3b2o$732b2o279b2o15bo8b2o37b2obo719b2o442b2o19bo$733bo116b
o162b2o16b3o4bobo4b2o754bobo461b2o$687b2o44bobo113bobo181bo4bo6bo757bo
511b2o$687b2o45b2o114b2o185b2o7b3ob2o516bo234b2o510b2o$812b2o197b2o30b
3o2bobo517b3o$812bobo196b2o5b2o22bo4bo2bo520bo$681b2o130bo204b2o22b2o
4b2o520b2o$681b2o351bo182bo374b2o668b2o46b2o$685b2o347b3o143b2o7b2o24b
3o374b2o668b2o46b2o$685b2o155bo194bo51b2o89b2o7bobo22bo1099b2o$841bobo
192b2o51b2o68bo27bobob3o20b2o20b2o555b2o519b2o$759b2o81b2o303bo11b3o
25b2o5bo32b2o7b2o555b2o$759bo44b2o239b2o98b3o14bo30b2o33bo1004b2o$680b
2o78b3o41bobo238b2o82bo14bo16b2o65bobo553b2obo441b2o2b2o73b2o$680b2o
80bo42bo323b3o12b2o77b2o4b2o349b2o202bob2o440bobo62b2o13b2o$1132bo91bo
20b2o333b2o646bo23b2o19bo6b2o11bobo$751b2o378b2o91bobo18bo981b2o23bo
18b3o6b2o13bo$751b2o81bo241b2o147b2o16bobo558b2o447b3o14bo24b2o$727b2o
104bobo240bo166b2o559bo450bo14b2o$721b2o5bo105b2o241b3o52b2o668bobo$
721bobob3o68b2o257b2o22bo52b2o17b2o649b2o$714b2o7bobo70bobo257bo94b2o
134bo$714b2o7b2o72bo255b3o229b3o275bo$1053bo230bo277bobo223b2o$1051bob
o230b2o277bo223bobo$687b2o137bo224b2o734bo$688bo57b2o77bobo386b2o570b
2o$685b3o58bo79b2o320b2o51b2o11b2o$685bo61b3o277b2o119bo53bo364b2o3b2o
$700b2o47bo277bobob2o18b2o49b2o45b3o47b3o35b2o328b2o3b2o$700bobo326bob
2o18bobo48b2o47bo47bo37b2o2b2o51bo$702bo325bo24bo91b2o94bobo48b3o$702b
2o324b2ob2o20b2o90bo32b2o38b2o23bo47bo286b2obo$783b2o33bo210bobo72b2o
40b3o30bo39bo23b2o46b2o285b2ob3o207b2o$783b2o32bobo209bobo72b2o42bo27b
3o37b3o50b2o300b2o11bo207bo$818b2o210b2ob2o82b2o57bo39bo52b2o301bo5b2o
b3o205b3o$1032bobo82bo451b3o4bo2bobo207bo$650b2o129b2o249bo82bobo451bo
6b2o$650b2o130bo248b2o35bo46b2o$692b2o88bobo281b3o50b2o$692b2o89b2o
280bo53b2o33b2o651b2o$648b2o33b2o95bo46b2o236b2o87bo126b2o524bobo$648b
2o33bo2bo92bobo45bo307b2o15bobo126b2o526bo$635b2o42b2o4b2o92bobo43bobo
307b2o15b2o655b2o$636bo43bo20b2o74b3ob2o42b2o$636bobo41bobo18bo74bo$
637b2o42b2o16bobo75b3ob2o$633b2o64b2o68b2o8bob2o323b2o$633b2o135bo304b
2o29b2o$770bobo302b2o36b2o184bo$771b2o2b2o335bo2bo182bobo498b2o$775b2o
336b2o184bo499b2o$1087bo$1038b2o46bobo701b2obo$1038b2o21b2o24b2o701bob
2o$646b2o128b2o266b2o15bo16b2o54b2o153b2o3b2o$646b2o122b2o4b2o266b2o
16b3o14bo53bobo153b2o3b2o$639b2o129b2o292bo13bo54bo676b2o$638bo2bo15b
2o34b2o383b2o52b2o676bo$639b2o15bo2bo33b2o2b2o38bo4b2o298b2o69b2o166bo
b2o523bobo$656bobo23b2o13bobo36bobo2bobo7b2o289b2o5b2o62b2o164b3ob2o
523b2o$657bo20bo3b2o15bo35bo2b4o9bo297b2o227bo11b2o$677bobo19b2o34bobo
4bo6bobo527b3ob2o5bo$676bobo55b2ob2o2b2o6b2o399b2o129bobo2bo4b3o500b2o
$676bo55bo29bo387bobo132b2o6bo499bobo$675b2o52bo2b4ob2o23b3o387bo640bo
$729b3o3bob2o26bo386b2o638b2o$639b2o91bo31b2o388bo$639b2o90b2o419b3o$
778b2o371bo$778bo372b2o$779b3o$781bo$1797b2o$639b2o68bo1088bo$639bo69b
3o5b2o1076b3o$637bobo53bob2o15bo4b2o434b2o640bo$637b2o54b2obo14b2o440b
2o$1129b2o$691b5o432bobo$691bo4bo15b2o62b2o350bo684b2o$694bo2bob2o11b
2o3b2o57b2o349b2o684bobo$666bo27b2obobo17b2o1096bo$666b3o10b2o10bo5bob
o1115b2o$642b2o25bo9b2o9bobo4bob2o42b2o$642b2o14b2o8b2o20bo2bo2b2obo
37b2o4bobo9b2o$659bo31b2o6bo38bo6bo8bobo$654b2o3bobo37b3o33b3o7b2o7bo$
654bo5b2o40bo32bo17b2o$652bobo46b2o$652b2o1151b2o$656b2o1147b2o$656bob
ob2o$658bob2o67b2o1065b2obo$657bo71b2o1065bob2o$657b2ob2o$658bobo30b2o
$623b2o33bobo30b2o480bo642b2o$623b2o34bo105b2o404b3o642bo$732bo33bo3bo
4b2o393bo643bobo$730b3o30b3o3bobo2bobo7b2o384b2o642b2o$628b2o99bo33bo
4bo2b4o9bo$629bo53b2o43bobo37bobo4bo6bobo337bo$626b3o54b2o3b2o39bo37b
2ob2o2b2o6b2o301b2o7b2o24b3o677b2o$626bo61bo19b2o55bo65b2o252b2o7bobo
22bo679bobo$689b3o15bobo52bo2b4ob2o60bo231bo27bobob3o20b2o20b2o656bo$
685bo5bo15bo19b2o33b3o3bob2o38b2o20bobo217bo11b3o25b2o5bo32b2o7b2o37bo
617b2o$684bobo19b2o19b2o36bo45bo6b2o13b2o215b3o14bo30b2o33bo44b3o$644b
2o39bo37b2o39b2o45bobo4b2o214bo14bo16b2o65bobo41bo$644bobo39b3o34bo82b
2o4b2o220b3o12b2o77b2o4b2o41b2o$619b2o25bo41bo35b3o79bobo228bo91bo20b
2o3b2o$620bo25b2o78bo77bobob3o43b2o180b2o91bobo18bo4b2o$620bobo15b2o
106b2o52b2o2b2o5bo42b2o274b2o16bobo$621b2o15b2o106b2o52b2o8b2o336b2o
653b2o$1037b2o765bo$1037b2o17b2o743b3o$740b2o80b2o232b2o743bo$740b2o
80b2o343b2o$744b2o421b2o$744b2o$1819b2o$834b2o283b2o698bobo$830bo3b2o
217b2o51b2o11b2o700bo$739b2o88bobo221bo53bo713b2o$739b2o35b2o50bobo
223b3o47b3o35b2o$639b2o40bo88b2o4bobo9b2o38bo227bo47bo37b2o2b2o37bo$
639bobo38bobo88bo6bo8bobo37b2o15b2o204b2o94bobo35bobo$641bo38bo2bo84b
3o7b2o7bo56b2o204bo32b2o38b2o23bo36bo$641b2o38b2o85bo17b2o263b3o30bo
39bo23b2o$1053bo27b3o37b3o$794b2o53b2o230bo39bo689b2o$758b2o35bo53b2o
324b2o3b2o629b2o$758b2o32b3o380b2o3b2o$552bo70b2o34b2o131bo7b2o232b2o
766b2obo$552b3o67bobo34b2o139b2o45b2o184bobo766bob2o$555bo66bo40b2o81b
2o12bo86b2o184bo133bob2o$554b2o65b2o40b2o82bo11bobo72b2o42b2o152b2o
131b3ob2o$677b2o65b3o13bo44b2o28bo43bo284bo11b2o644b2o$677b2o65bo16b3o
40bobo28bobo41bobo283b3ob2o5bo645bo$763bo40bo31b2o42b2o285bobo2bo4b3o
640bobo$803b2o27b2o337b2o6bo640b2o$832b2o102b2o$545bo270b2o118b2o$545b
3o83b2o183b2o83b2o139b2o762b2o$548bo82b2o56b2o210b2o45b2o92b2o7b2o752b
obo$547b2o140b2o236b2o19b2o101bo753bo$569b2o67bob2o25b2o258b2o120bobo
752b2o$569b2o67b2obo26bo380b2o4b2o$665b3o177b2o186b2o20bo17b2o$665bo
179b2o187bo18bobo17bo$669b2o167b2o194bobo16b2o19bo11bo$669b2o166bo2bo
15b2o96b2o79b2o36b2o9b3o$838b2o15bo2bo94bo2bo126bo$557b2o296bobo23b2o
71b2o127b2o10b2o712b2o$557b2o77bo219bo20bo3b2o212bo17b2o695bo$635bobo
119bo118bobo214bobo17bo693b3o$636b2o118bobo116bobo215b2o19bo11bo680bo$
756bo2bo115bo194b2o41b2o9b3o$757b2o115b2o15b2o177b2o51bo$891b2o230b2o
10b2o$838b2o295bo17b2o670b2o$540bo297b2o293bobo17bo671bobo$539bobo369b
o29b2o98b2o90b2o19bo11bo660bo$540bo194b2o174b3o27bo95b2o2b2o67b2o41b2o
9b3o660b2o$735b2o177bo27b3o91bobo71b2o51bo$739b2o172b2o29bo91bo23b2o
101b2o10b2o$739b2o294b2o23bo18b2o94bo17b2o$544b2o3b2o202b2o139bo166b3o
16bo92bobo17bo$544b2o3b2o202b2o139b3o166bo13b3o93b2o19bo11bo$897bo179b
o72b2o41b2o9b3o$612b2o266b2o14b2o11b2o239b2o51bo613b2o$555b2obo53b2o
213bo52b2o27b2o189b2o101b2o10b2o591b2o7b2o$555b2ob3o55b2o209b3o270bo
18b2o94bo593bo$548b2o11bo54b2o212bo14bo255b3o16bo92bobo593bobo$549bo5b
2ob3o69b2o133b2o62b2o12b3o28b2o227bo13b3o93b2o13b2o49b2o523b2o4b2o$
546b3o4bo2bobo71b2o133b2o30b2o43bo31b2o241bo72b2o36b2o42b2o5b2o505b2o
17bo20b2o$546bo6b2o188b2o51bobo43b2o34b2o310b2o80b2o513bo17bobo18bo$
744bo49b3o81b2o37b2o21b2o198b2o166b2o464bo11bo19b2o16bobo$741b3o49bo3b
o118bobo21b2o198bo18b2o73b2o72bo465b3o9b2o36b2o$741bo51b2ob2o43b2o73bo
17b2o205b3o16bo73b2o38b2o33bo11bo455bo$633bo111b2o75b2o17b2o72b2o17b2o
207bo13b3o70b2o42b2o32b2o9b3o442b2o10b2o$632bobo7b2o101b2o75b2o49b2o
282bo72b2o36b2o48bo427b2o17bo$632bobo7b2o229b2o393b2o48b2o10b2o415bo
17bobo$620b2o11bo302b2o242b2o148bo17b2o384bo11bo19b2o$621bo172bo134b2o
5b2o242bo18b2o127bobo17bo385b3o9b2o41b2o$618b3o171b3o134b2o250b3o16bo
34b2o91b2o19bo11bo375bo51b2o$618bo172bo118b2o271bo13b3o35b2o68b2o41b2o
9b3o46bo315b2o10b2o$605b2o15b2o167b2o32b2o83bobo284bo107b2o51bo47b3o
297b2o17bo$606bo15b2o202bo85bo298b2o3bo141b2o10b2o33bo301bo17bobo$606b
obo197b2o15b3o86b2o297bo3bobo152bo15bo18b2o7b2o3b2o273bo11bo19b2o90b2o
$607b2o52b2o143bo16bo388bo3b2o150bobo15b3o25b2o3b2o273b3o9b2o41b2o67b
2o2b2o$661b2o5b2o137b3o18b2o383bo154b2o19bo307bo51b2o71bobo$601bo66b2o
139bo19bo381bob5o127b2o41b2o294b2o10b2o101b2o23bo$601b3o222b3o51b2o
329b2o4bo65b2ob2o57b2o79b2o238b2o17bo94b2o18bo23b2o$604bo221bo54bo332b
3o48bo16bobobobo6b2o129bo240bo17bobo92bo16b3o$603bobo60b2o210b3o330b2o
bo50b3o15bo2bobo6bo18b2o108bobo227bo11bo19b2o93b3o13bo$604bo61b2o210bo
332bobo54bo17bob2o6b3o16bo108b2o228b3o9b2o41b2o72bo$633bo38b2o219b2o
372b2o16b2o3bo7bo13b3o342bo51b2o$633b3o6b2o28b2o170b2o47bobo386bobo2bo
bo22bo72b2o257b2o10b2o101b2o$605b2o18b2o9bo5b2o200bobo48bo386b2o2b2ob
2o94b2o239b2o17bo94b2o18bo$605b2o19bo8b2o209bo48b2o438b2o290bo17bobo
92bo16b3o$626bobo217b2o367b2o118bo18b2o258bo11bo19b2o93b3o13bo$627bobo
584bobo119b3o16bo258b3o9b2o41b2o72bo$628bo3b2o2b2o576bo123bo13b3o66b2o
194bo51b2o$632b2o2b2o3b2o570b2o47b2o88bo68bo182b2o10b2o101b2o$641b2o
620bo128b2o28b3o161b2o17bo94b2o18bo$1263bobo109b2o15bo31bo162bo17bobo
92bo16b3o$885b2o377b2o109bo17bo180bo11bo19b2o93b3o13bo$836b2o47b2o489b
3o13b2o180b3o9b2o41b2o72bo$602bo224b2o7b2o540bo198bo51b2o$594bo6bobo
72bo151bo47b2obo398b2o284b2o10b2o101b2o$594b3o5bo71b3o151bobo45bob2o
343b2o53bobo265b2o17bo94b2o18bo$590b2o5bo75bo149b2o4b2o392b2o55bo266bo
17bobo92bo16b3o$591bo4b2o75b2o130bo18bo20b2o433b2o126b2o124bo11bo19b2o
93b3o13bo$591bobo211b3o16bobo18bo50b2o332bob2o174b2o124b3o9b2o41b2o72b
o$592b2o214bo16b2o16bobo50bo333b2obo303bo51b2o$807b2o34b2o49bobo363bob
2o260b2o10b2o101b2o$894b2o364b2obo242b2o17bo94b2o18bo$1212b2o293bo17bo
bo92bo16b3o$588b2o25b2o596bo55b2o223bo11bo19b2o93b3o13bo$589bo25b2o61b
2o175b2o23b2o331bobo53b2o223b3o9b2o41b2o72bo$589bobo86bo177bo22bobo
332b2o215b2o64bo51b2o$590b2o84bobo177bobo20bo551b2o51b2o10b2o101b2o$
676b2o121b2o56b2o19b2o586b2o17bo94b2o18bo$800bo427b2o237bo17bobo92bo
16b3o$603b2o25b2o168bobo425bobo235bo19b2o93b3o13bo$603bobo6b2o17bo30b
2o137b2o427bo235b2o41b2o72bo$605bo6bo15b3o30bobo173b2o391b2o47b2o176b
2o50b2o$605b2o6bo14bo32bo175b2o2b2o436bo177bobo99b2o$612b2o46b2o133bo
45bobo433bobo178bo81b2o18bo$776bo18b3o45bo39b2o392b2o152b2o107bo16b3o$
776b3o19bo44b2o39bo312b2o231bo2bo107b3o13bo$678b2obo97bo17b2o82b3o313b
o233b2o36b2o72bo$678bob2o96b2o101bo313bobo5b2o233b2o29b2o$601b2o591bob
o6b2o20b2o32bo146b2o30b2o79b2o$601bobo67b2o517b2o3bo29bo33b3o144b2o92b
2o18bo$603bo67b2o517b2o34b3o33bo237bo16b3o$603b2o294b2o285b2o40bo32b2o
134b2obo100b3o13bo$899bobo285bo209bob2o102bo$704b2o127bo67bo285bobo
192bo$704b2o64b2o61b3o13bo51b2o285b2o64b2o124b3o96b2o$743bo27bo64bo12b
3o41b2o360bo100bo22bo45b2o53bo$640b2o101b3o25bobo61b2o15bo40b2o360bobo
86bo11b3o20b2o44b2o50b3o$641bo60b2o42bo25b2o77b2o403b2o84b3o14bo69b2o
46bo$610b2o26b3o61b2o41b2o58b2o519bo14bo16b2o38bo29bobo$610bo27bo50b2o
115bo408b2o4b2o103b3o12b2o55b3o27bo$591b2o15bobo79bo75bo36b3o409b2o4b
2o106bo59bo11bo25b2o$591b2o15b2o80bobo73b3o34bo524b2o59b3o8b2o14bo23b
2o$691b2o76bo483b2o19b2o116bo22bobo22b2o$687b2o79b2o57b2o424b2o19b2o
115b2o23bo$687b2o139bo387b2o111b2o$681b2o145bobo385b2o2b2o25bo81b2o17b
2o92b2o$681bo147b2o389bobo24b3o25b2o71b2o92b2o$679bobo540bo27bo24bo
137b2o$679b2o213b2o296b2o28b2o25b2o25b3o134bobo$823bo31b2o37bobo296bo
84bo136bo$804bo18b3o30bo39bo293b3o83b2o137b2o$700b2o87b2o13b3o19bo26b
3o40b2o292bo85bo134b2o$700b2o88bo16bo17b2o26bo420bobo4bo63b2o32b2o30bo
$590b2o198bobo13b2o466b2o3b3o63bo20b2o11b2o23b2o6b3o$589bobo119b2o78b
2o485bo68bo19bo36bo9bo$589bo120bo2bo62b2o500b2o66b2o16b3o38b3o$588b2o
120bobo23b2o39bo564b2o20bo42bo$711bo20bo3b2o36b3o85b2o478bo$731bobo26b
2o12bo82b2o3b2o380b2o97b3o$730bobo21b2o5bo95b2o385b2o99bo$387b2o272b2o
15b2o50bo23bobob3o37b2o479b2o$387b2o217b2o52bobo15b2o49b2o16b2o7bobo
40bo479b2o$606bobo51bo86b2o7b2o41bobo54b2o$608bo50b2o32b2o105b2o55bo4b
2o462b2o$547bo60b2o83b2o138b2o19b3o5b2o6b2o21b2o375b2o53bobo$547b3o
284bo19bo14bobo21b2o375b2o53bo25b2o$550bo118bo124bo36b3o35bo17b2o304b
2o129b2o25bo$549b2o118b3o103b2o17b3o34bo36b2o17b2o24b2o277bobo137b2o
15bobo$544bo34bo92bo54bo48bo20bo115b2o277bo29b2o108b2o15b2o$542b3o32b
3o91b2o54b3o5b2o38bo20b2o393b2o29bobo36bo$541bo34bo153bo4b2o38b2o112b
2o333bo36b3o16bo$405b2o134b2o33b2o20b2o129b2o151b2o5b2o306b2o25b2o38bo
13b3o$373b2o30bobo123b2o65b2o282b2o312bobo4b2o58bobo11bo$372bobo32bo
124bo56b2o311b2o292bo7bo59bo12b2o$322bo49bo34b2o123bobo54bo2bo137b2o
171bo291b2o4b3o$322b3o46b2o160b2o4b2o44b2o4b2o137b2o3b2o13b2o151bobo
295bo$325bo212bo2bo44bo20b2o126b2o13b2o26b2o124b2o303b2o30b2o7b2o13b2o
$324b2o213b2o45bobo18bo170b2o428bobo29bobo7b2o13b2o$551b2o34b2o16bobo
600bo29b3obobo$551b2o52b2o96bo213b2o288b2o28bo5b2o$351b2o7b2o302b2o35b
3o213bobo317b2o92b2o$351b2o7bobo29b2o270b2o34bo103b2o113bo410bobo$358b
obob3o27bo307b2o103bo113b2o409bo$358b2o5bo27b3o406b3o524b2o$364b2o29bo
350bo41b2o12bo481b2o$669b2o74bobo41bo494b2o$669b2o74bo2bo24b2o11b3o$
313bo223b2o3b2o32b2o87b2o79b2o25b2o11bo$313b3o173bo48bo3bo20b2o11b2o
87b2o248b2o$316bo172b3o43b3o5b3o18bo299bo20bo29bobo361b2o$299b2o14b2o
11b2o162bo42bo9bo15b3o35b2o108b2o48b2o102bobo7bo11b3o29bo361b2o$299b2o
27b2o161b2o68bo37b2o2b2o66b2o36b2o49bo103bo6b3o14bo28b2o364b2o$603bobo
65b2o13b2o69b3o93bo16bo16b2o321b2o21b2o48b2o56b2o$513bo66b2o23bo79bobo
59b2o8bo95b3o14b2o338b2o21bobo105b2o$293b2o218b3o65bo23b2o78bo61b2o20b
2o85bo359b2o17bo117b2o$293b2o221bo61b3o103b2o10b2o71bo85b2o359b2o17b2o
40b2o74bobo$297b2o92b2o122b2o61bo118bo72b3o504b2o76bo$297b2o92b2o301b
3o9b2o64bo582b2o$385b2o307bo11bo19b2o486b2o$385b2o320bo17bobo122b2o25b
2o335b2o5b2o107b2o$706b2o17bo125bo25b2o342b2o29b2o77bo19b2o$292b2o186b
o243b2o125bobo398bo78bobo17bo$292b2o93b2o91b3o369b2o399b3o76b2o15bobo$
380b2o5b2o94bo771bo88bo4b2o$349b2o29b2o84b2o14b2o11b2o394b2o21b2o427bo
bo$350bo115b2o27b2o368b2o23bobo21b2o427bobo$329b2o16b3o515bobo6b2o14bo
17b2o422b2o10bo$329bobo15bo519bo6bo14b2o17b2o421bobo$331bo128b2o405b2o
6bo455bo$331b2o127b2o65b2o191b2o152b2o454b2o$464b2o61b2o191b2o188b2o
433b2o$464b2o250bo186b2o5b2o433bo$716b3o184b2o441b3o$299b2o418bo628bo$
300bo205b2o210b2o143b2o$297b3o49b2o108b2o44bobo232b2o121bobo$297bo50bo
bo108b2o44bo234b2o123bo$348bo155b2o359b2o$347b2o2$496b2o$496bobo$498bo
229b2o117b2o$498b2o228b2o116bobo$319b2o173bo39bo179b2o130bo$319bobo44b
2o124b3o37b3o179b2o129b2o$321bo44bo124bo39bo178b2o$304b2o15b2o41bobo
99b2o23b2o23b2o13b2o177b2o$304b2o58b2o101bo49bo$464b3o44bo2b3o$295b2ob
o165bo44b3o2bo$295bob2o209bo47b2o$331b2o162b2o11b2o46b2o174b2o121b2o$
332bo162b2o234bo2bo120b2o$311b2obo17bobo396bobo$311bob2o18b2o227b2o
168bo129bob2o$562b2o298b2obo$558b2o$375bo182b2o227b2o$373b3o17b2o69b2o
21b2o298b2o55b2o$372bo20bo70b2o21bobo355bo$359b2o11b2o20bo11bo63b2o17b
o284b2o69bobo$359b2o32b2o9b3o63b2o17b2o72b2o210bo70b2o$403bo159b2o210b
obo$403b2o10b2o359b2o$415bo52b2o390b2o$295b2o116bobo52b2o5b2o383bobo$
294bobo116b2o13b2o45b2o39b2o253b2o89bo$294bo95b2o36b2o64b2o20bo5b2o
247b2o89b2o$293b2o95b2o101bobo21b3obobo$319b2o13b2o157bo25bobo7b2o$
319b2o13b2o11b2o85b2o56b2o26b2o7b2o207bo$347bo86b2o300b3o$348b3o79b2o
303bo21b2o$350bo79b2o124b2o176bobo3b2o16bo57b2o7b2o$556bo178bo5bo16bob
o37b2o16b2o7bobo29b2o$295b2o260b3o179bo19b2o38bo23bobob3o27bo$295b2o
61b2o39b2o158bo179b2o58bobo21b2o5bo27b3o$357bobo40bo34b2o106b2o188b2o
65bobo26b2o29bo$321b2o34bo39b3o35b2o105bobo188b2o66bo3b2o$321bo34b2o
39bo64b2o78bo262b2o$295b2o25b3o86b2o3bo45b2o77b2o$295b2o27bo86bo3bobo
292bo$309b2o101bo3b2o291bobo30b2o$309bobo101bo295bobo30b2o49b2o$311bo
99bob5o289b3ob2o80b2o$301b2o8b2o98b2o4bo56bo231bo$302bo111b3o56bobo
231b3ob2o$299b3o109b2obo58bobo75b2o156bob2o58b2o8b2o$299bo111bobo58b2o
b3o73b2o218b2o2b2o5bo$395b2o81bo296bobob3o51b2o21b2o$395bobo54b2o18b2o
b3o80bob2o190b2o23bobo52bobo21b2o$397bo55bo18b2obo82b2obo149b2o40bo23b
2o4b2o47bo17b2o$397b2o54bobo254bobo37b3o29bobo4b2o40b2o17b2o$415b2o37b
2o254bo31b2o6bo31bo6b2o$414bobo123b2o167b2o8b2o20bo2bo2b2obo30b2o$414b
o126bo178bo9b2o9bobo4bobob2o98b2o$413b2o126bobo173b3o10b2o10bo5bob2obo
91b2o5b2o$542b2o173bo27b2obo65b2o29b2o$745bo2bo66bo$742bo4bo64b3o$556b
2o184b5o65bo$556bobo$558bo185bo$423b2o49b2o82b2o183bobo$423b2o49b2o
268bo2$430bob2o$430b2obo$531b2ob2o2b2o$532bobo2bobo$523bo7bo3b2o16b2o$
523b3o6b2obo17bo$487bo38bo6bobo2bo15b3o$485b3o37b2o6bobobobo16bo$428bo
55bo49b2ob2o$427bobo54b2o20bo$428b2o58b2o16b3o$489bo19bo$487bo20b2o11b
2o$487b2o32b2o2$294bo$292b3o$268bo22bo167b2o$256bo11b3o20b2o166b2o7b2o
$254b3o14bo196bo21b2o60b2o$238bo14bo16b2o39b2o153bobo2b2o17b2o60b2o$
238b3o12b2o56b2o5b2o146b2o3b2o73b2o$241bo76b2o226b2o$240b2o285b2o$404b
2o42b2o20b2o52b2o2bo2b2o$297b2o17b2o86b2o43bo21bo52b2obo3bo16b2o$241b
2o55bo17b2o90b2o39bobo16b3o12b2o42bobobo9b2o5b2o$241b2o17b2o36bobo21b
2o84b2o40b2o16bo14bo16b2o22b2obob2o10b2o$260b2o37b2o21b2o98b2o60b3o14b
o16b2o4bo2bo$422b2o62bo11b3o17b2o6b2o$464b2o32bo$346b2o116bobo$346b2o
118bo$466b2o$257b2o32b2o113b2o$257bo20b2o11b2o51b2o60bo27b2o$259bo19bo
64b2o61b3o24b2o$258b2o16b3o52b2o76bo2b2o$254b2o20bo55bo80bo$254bo77bob
o72b6o$255b3o75b2o46bo25bo2bo50b2o$257bo67b2o2b2o50b3o21bobo6b2o45bo$
325bo3b2o53bo20b2o7b2o46b3o$323bobo57b2o79bo$323b2o$238b2o174bo$237bob
o174b3o$237bo25b2o152bo$236b2o25bo152b2o11b2o$244b2o15bobo78b2o85b2o$
244b2o15b2o79b2o29b2o$373b2o3$362bo$361bobo73b2o21b2o$305b2o15b2o37b2o
73bobo21b2o$304bobo15b2o46b2o32b2o30bo17b2o$304bo65bo20b2o11b2o29b2o
17b2o$303b2o66bo20bo$370b2o17b3o$335b2o52bo66b2o$243b2o68bo21b2o112b2o
5b2o$242bobo68b3o92b2o39b2o$242bo73bo92bo$241b2o72b2o89b3o20b2o$406bo
22bo$430b3o$432bo6$253b2o$253b2o92bo$265b2o41b2o35b3o58b2o$265bobo40b
2o34bo61b2o5b2o$267bo76b2o31bo35b2o$267b2o108b3o7b2o$380bo6bo3b2o$242b
2o69b2o64b2o4bobo4bo18b2o$243bo19b2o48b2o70b2o5bobo16b2o$243bobo17bo
45b2o82b2o22b2o$244b2o15bobo45b2o106b2o$256bo4b2o$255bobo95b2o$255bobo
57b2o36b2o$244b2o10bo58b2o13b2o$243bobo83bobo$243bo85bo$242b2o84b2o10b
2o$257b2o82bo$257bo80b3o9b2o$258b3o77bo11bo$260bo90bo$350b2o$420b2o$
373b2o45bo$374bo43bobo$371b3o3bob2o37b2o$371bo2b4ob2o46bo$374bo50b3o4b
2o$376b2ob2o2b2o6b2o31bo7bo$377bobo4bo6bobo30b2o4bobo$377bo2b4o9bo9b2o
25b2o$378bobo2bobo7b2o9bo$379bo4b2o18bobo29b2o$405b2o29bo$434bobo$434b
2o12$435bo$433b3o$432bo$432b2o8$411bo$409b3o$408bo$408b2o29b2o$439b2o
4$434b2o$434b2o$438b2o$438b2o3$432b2o$416b2o14b2o$370b2o44bo$371bo45b
3o$371bobo45bo$372b2o2b2o$376b2o$412b2o$412bobo$414bo$414b2o22bo$438b
3o$441bo$411b2o27b2o$411bo$412b3o$414bo$370b2o34b2o$369bobo16b2o16bo$
369bo18bobo16b3o$368b2o20bo18bo$384b2o4b2o$384bo2bo$386b2o40b2o$377b2o
50bo$377b2o50bobo$415b2o13b2o$86b2o14bo312b2o$61b2o24bo14b3o$62bo13b2o
6b3o18bo23b2o$62bobo11b2o6bo19b2o23bo279b2o40b2o$48b2o13b2o62bobo279b
2o40b2o$48b2o73b2o2b2o238b2o44b2o$123b2o243bo44b2o$368bobo$42b2o325b2o
$42b2o$46b2o46b2o312b2o$46b2o46b2o312b2o4$41b2o348b2o$41b2o348bo$91b2o
296bobo47b2o$91bo19b2o276b2ob2o46bo$72b2o3b2o13b3o15bobo19b2o258bo44b
3o$73bo3bo16bo15bo21bobo257bobo42bo$70b3o5b3o13bobo12b2o23bo234b2o20b
2ob3o$70bo9bo14b2o8bo28b2o234bo26bo$105b3o262bobo18b2ob2o2bo15b2o$108b
o262b2o18b2obob2o17bo$107b2o287bo15b3o$88bo34b2o271bo15bo15b2o$48b2o
38b3o32b2o269bob2o6bo23bobo$49bo41bo302b2o2bo5b3o23bo$46b3o41bo281b2o
23b2o8bo22b2o$46bo43b2o281bo32b2o14b2o$61b2o23b2o282b3o49b2o$61bobo23b
o29b2o251bo$63bo23bobo27bobo$63b2o23b2o29bo$65bo53b2o273b2o$63b3o33b2o
14b2o277bo$62bo36b2o15bo278b3o$62b2o51bo281bo$116b3o250bo$118bo250b3o$
98b2o272bo$98bo272b2o$99b3o321b2o$64b2o35bo321bobo$64b2o359bo$40b2o
383b2o$39bobo$39bo84bo264b2o$38b2o84b3o262bo$127bo259bobo$126b2o259b2o
18b2o$136b2o268bobo23bo$136bo269bo23b3o$134bobo233b2o33b2o22bo$89bo38b
2o4b2o234b2o15b2o24b2o14b2o$89b3o35bo2bo256bobo23b2o$92bo35b2o259bo$
91b2o23b2o271b2o$116b2o3$370b2o$370bo$368bobo$368b2o$82b2o52b2o$82b2o
41b2o3b2o3b2o$105b2o19bo3bo6bo274b2o$105bobo15b3o5b3o251b2obo22bobo$
107bo15bo9bo251bob2o22bo$45b2o21b2o25b2o10b2o301b2o$45b2o21bobo24bo
282b2o$51b2o17bo14b2o9b3o279b2o$51b2o17b2o14bo11bo$85bo$85b2o341b2o$
49b2o377bobo$49b2o5b2o372bo$56b2o372b2o$368b2o$369bo$369bobo$370b2o3$
420b2o$389bo30b2o$387b3o21b2o$386bo24bo2bo$386b2o19b2o4b2o$390b2o16bo
20b2o$391bo16bobo18bo$389bo19b2o16bobo$389b2o36b2o6$392b2o$373b2o17b2o
$373b2o3$372b2o47b2o$373bo47b2o2b2o$370b3o12b2o38bobo$370bo14bo16b2o
23bo$386b3o14bo23b2o$388bo11b3o$400bo197$753bo$751b3o$750bo$750b2o$
735b2o$736bo$736bobo$737b2o10bo$748bobo$748bobo$749bo4b2o$737b2o15bobo
$736bobo17bo$736bo19b2o$735b2o6$746b2o$746b2o9$734b2o$735bo$735bobo$
736b2o12$737b2o15b2o$737b2o15bobo$729b2o25bo$730bo25b2o$730bobo$731b2o
4$750bo$748b3o$747bo$747b2o19b2o$753bo15bo$751b3o15bobo$750bo19b2o$
750b2o3$791b2o$791b2o2$753b2o$734b2o17b2o$734b2o3$733b2o$734bo$731b3o
12b2o$731bo14bo16b2o$747b3o14bo$749bo11b3o$761bo$781b2o$781b2o379$860b
o$860b3o$830bo32bo$828b3o31b2o$827bo49b2o$827b2o48bo$875bobo$810bo53bo
10b2o$810b3o50bobo$813bo49bobo$812b2o44b2o4bo$857bobo15b2o$857bo17bobo
$813b2o19b2o20b2o19bo$813b2o19b2o41b2o3$843bo$841b3o$840bo6b2o$840b2o
5bo18b2o$844b2obo18b2o$844bobo3$826b2o$826bo$827b3o$829bo$832b2o45bo$
831bobo43b3o$831bo44bo$810b2o18b2o44b2o$809bobo$809bo$808b2o$851b2o$
844b2o5bo$844b2o3bobo$849b2o30b2o$881bo$829b2o48bobo$818b2o10bo48b2o$
818b2o7b3o$827bo$825bobo37b2o$825b2o9bobo25bobo$835bob2o25bo$835bo5b2o
20b2o$834b2o6bo$808b2o29b3o$808bobo28bo41b2obo$810bo70bob2o$810b2o$
874b2o$874b2o2$829b2o$829bo$827bobo$810b2o15b2o$810b2o3$827b2o$827bobo
$829bo52bo$829b2o49b3o$879bo$879b2o3$843b2o7b2o$811b2o29bobo7b2o$812bo
27b3obobo$809b3o27bo5b2o$809bo29b2o4$886b2o$886b2o4$881b2o$881b2o$885b
2o$812b2o21b2o48b2o$812b2o21bobo$818b2o17bo$818b2o17b2o40b2o$879b2o2$
816b2o$816b2o5b2o$823b2o29b2o$854bo$855b3o$857bo!
The correct period is 27178, but oscar.py says that it is p32.

User avatar
Andrew
Moderator
Posts: 919
Joined: June 2nd, 2009, 2:08 am
Location: Melbourne, Australia
Contact:

Re: WireWorld and Oscar

Post by Andrew » March 28th, 2011, 3:20 am

137ben wrote:The correct period is 27178, but oscar.py says that it is p32.
Sorry for the very late reply but I've only just noticed this post! I've fixed the problem and the next release will have a more robust hash() command. Thanks for the report.
Use Glu to explore CA rules on non-periodic tilings: DominoLife and HatLife

User avatar
PHPBB12345
Posts: 1096
Joined: August 5th, 2015, 11:55 pm
Contact:

Re: WireWorld and Oscar

Post by PHPBB12345 » May 27th, 2016, 10:57 am

for example:

Code: Select all

x = 1000000000, y = 6, rule = B3/S23
2o6b2o$999999998b2o$bo3bo999999992b2o$6bo$2bo3bo$3b4o511322162bo!
but oscar consistently says it is c.

User avatar
PHPBB12345
Posts: 1096
Joined: August 5th, 2015, 11:55 pm
Contact:

Re: WireWorld and Oscar

Post by PHPBB12345 » May 27th, 2016, 11:08 am

Code: Select all

x = 1000000000, y = 11, rule = B3/S23
2o14bobobob2o$bo10b3o999999983b2o$bobo999999994b2o$2b2o2bo$5bo$5bo3bo$
5b4o3$2o$2o141250668bo!
This pattern is p2, but Oscar reports that the pattern is stable (!)

User avatar
Andrew
Moderator
Posts: 919
Joined: June 2nd, 2009, 2:08 am
Location: Melbourne, Australia
Contact:

Re: WireWorld and Oscar

Post by Andrew » May 27th, 2016, 7:24 pm

PHPBB12345 wrote:This pattern is p2, but Oscar reports that the pattern is stable (!)
It's been fixed in the latest version.
Use Glu to explore CA rules on non-periodic tilings: DominoLife and HatLife

User avatar
PHPBB12345
Posts: 1096
Joined: August 5th, 2015, 11:55 pm
Contact:

Re: WireWorld and Oscar

Post by PHPBB12345 » May 28th, 2016, 12:09 am

Andrew wrote:
PHPBB12345 wrote:This pattern is p2, but Oscar reports that the pattern is stable (!)
It's been fixed in the latest version.

Code: Select all

x = 1000000000, y = 20, rule = B3/S23
2o11bo5bo5b2ob2ob2o2b2o$bo999999996b2o$bobo11b3o3b3o999999974b2o$2b2o
2bo7bo3bobo3bo$5bo8bo3bobo3bo$5bo3bo4bo3bobo3bo$o4b4o6b3o3b3o2$o14b3o
3b3o$14bo3bobo3bo$o13bo3bobo3bo$14bo3bobo3bo$o14b3o3b3o2$o4$2o$2o
302630383bo!
The correct period is 3, but oscar.py says that it is p4.

User avatar
Andrew
Moderator
Posts: 919
Joined: June 2nd, 2009, 2:08 am
Location: Melbourne, Australia
Contact:

Re: WireWorld and Oscar

Post by Andrew » May 28th, 2016, 1:08 am

PHPBB12345 wrote:The correct period is 3, but oscar.py says that it is p4.
Ah, I see what you're up to. Yes, it's always possible to create a pattern that can fool oscar into reporting a false positive due to a hash collision. We could add code to oscar to avoid that (eg. saving the end pattern, running for another alleged period and then comparing the two patterns) but it doesn't seem worth it. Feel free to create your own version of oscar with those changes.
Use Glu to explore CA rules on non-periodic tilings: DominoLife and HatLife

Post Reply