|context> => |context: simple wave-fn collapse idea with bigger example>

tweak |*> #=> normalize ("" |_self> + 0.1 weighted-pick-elt "" |_self>)
|s0> => normalize range(|x: 1>,|x: 100>)


|s1> => tweak |s0>
|s2> => tweak |s1>
|s3> => tweak |s2>
|s4> => tweak |s3>
|s5> => tweak |s4>
|s6> => tweak |s5>
|s7> => tweak |s6>
|s8> => tweak |s7>
|s9> => tweak |s8>
|s10> => tweak |s9>
|s11> => tweak |s10>
|s12> => tweak |s11>
|s13> => tweak |s12>
|s14> => tweak |s13>
|s15> => tweak |s14>
|s16> => tweak |s15>
|s17> => tweak |s16>
|s18> => tweak |s17>
|s19> => tweak |s18>
|s20> => tweak |s19>
|s21> => tweak |s20>
|s22> => tweak |s21>
|s23> => tweak |s22>
|s24> => tweak |s23>
|s25> => tweak |s24>
|s26> => tweak |s25>
|s27> => tweak |s26>
|s28> => tweak |s27>
|s29> => tweak |s28>
|s30> => tweak |s29>
|s31> => tweak |s30>
|s32> => tweak |s31>
|s33> => tweak |s32>
|s34> => tweak |s33>
|s35> => tweak |s34>
|s36> => tweak |s35>
|s37> => tweak |s36>
|s38> => tweak |s37>
|s39> => tweak |s38>
|s40> => tweak |s39>
|s41> => tweak |s40>
|s42> => tweak |s41>
|s43> => tweak |s42>
|s44> => tweak |s43>
|s45> => tweak |s44>
|s46> => tweak |s45>
|s47> => tweak |s46>
|s48> => tweak |s47>
|s49> => tweak |s48>
|s50> => tweak |s49>
|s51> => tweak |s50>
|s52> => tweak |s51>
|s53> => tweak |s52>
|s54> => tweak |s53>
|s55> => tweak |s54>
|s56> => tweak |s55>
|s57> => tweak |s56>
|s58> => tweak |s57>
|s59> => tweak |s58>
|s60> => tweak |s59>
|s61> => tweak |s60>
|s62> => tweak |s61>
|s63> => tweak |s62>
|s64> => tweak |s63>
|s65> => tweak |s64>
|s66> => tweak |s65>
|s67> => tweak |s66>
|s68> => tweak |s67>
|s69> => tweak |s68>
|s70> => tweak |s69>
|s71> => tweak |s70>
|s72> => tweak |s71>
|s73> => tweak |s72>
|s74> => tweak |s73>
|s75> => tweak |s74>
|s76> => tweak |s75>
|s77> => tweak |s76>
|s78> => tweak |s77>
|s79> => tweak |s78>
|s80> => tweak |s79>
|s81> => tweak |s80>
|s82> => tweak |s81>
|s83> => tweak |s82>
|s84> => tweak |s83>
|s85> => tweak |s84>
|s86> => tweak |s85>
|s87> => tweak |s86>
|s88> => tweak |s87>
|s89> => tweak |s88>
|s90> => tweak |s89>
|s91> => tweak |s90>
|s92> => tweak |s91>
|s93> => tweak |s92>
|s94> => tweak |s93>
|s95> => tweak |s94>
|s96> => tweak |s95>
|s97> => tweak |s96>
|s98> => tweak |s97>
|s99> => tweak |s98>
|s100> => tweak |s99>
|s101> => tweak |s100>
|s102> => tweak |s101>
|s103> => tweak |s102>
|s104> => tweak |s103>
|s105> => tweak |s104>
|s106> => tweak |s105>
|s107> => tweak |s106>
|s108> => tweak |s107>
|s109> => tweak |s108>
|s110> => tweak |s109>
|s111> => tweak |s110>
|s112> => tweak |s111>
|s113> => tweak |s112>
|s114> => tweak |s113>
|s115> => tweak |s114>
|s116> => tweak |s115>
|s117> => tweak |s116>
|s118> => tweak |s117>
|s119> => tweak |s118>
|s120> => tweak |s119>
|s121> => tweak |s120>
|s122> => tweak |s121>
|s123> => tweak |s122>
|s124> => tweak |s123>
|s125> => tweak |s124>
|s126> => tweak |s125>
|s127> => tweak |s126>
|s128> => tweak |s127>
|s129> => tweak |s128>
|s130> => tweak |s129>
|s131> => tweak |s130>
|s132> => tweak |s131>
|s133> => tweak |s132>
|s134> => tweak |s133>
|s135> => tweak |s134>
|s136> => tweak |s135>
|s137> => tweak |s136>
|s138> => tweak |s137>
|s139> => tweak |s138>
|s140> => tweak |s139>
|s141> => tweak |s140>
|s142> => tweak |s141>
|s143> => tweak |s142>
|s144> => tweak |s143>
|s145> => tweak |s144>
|s146> => tweak |s145>
|s147> => tweak |s146>
|s148> => tweak |s147>
|s149> => tweak |s148>
|s150> => tweak |s149>
|s151> => tweak |s150>
|s152> => tweak |s151>
|s153> => tweak |s152>
|s154> => tweak |s153>
|s155> => tweak |s154>
|s156> => tweak |s155>
|s157> => tweak |s156>
|s158> => tweak |s157>
|s159> => tweak |s158>
|s160> => tweak |s159>
|s161> => tweak |s160>
|s162> => tweak |s161>
|s163> => tweak |s162>
|s164> => tweak |s163>
|s165> => tweak |s164>
|s166> => tweak |s165>
|s167> => tweak |s166>
|s168> => tweak |s167>
|s169> => tweak |s168>
|s170> => tweak |s169>
|s171> => tweak |s170>
|s172> => tweak |s171>
|s173> => tweak |s172>
|s174> => tweak |s173>
|s175> => tweak |s174>
|s176> => tweak |s175>
|s177> => tweak |s176>
|s178> => tweak |s177>
|s179> => tweak |s178>
|s180> => tweak |s179>
|s181> => tweak |s180>
|s182> => tweak |s181>
|s183> => tweak |s182>
|s184> => tweak |s183>
|s185> => tweak |s184>
|s186> => tweak |s185>
|s187> => tweak |s186>
|s188> => tweak |s187>
|s189> => tweak |s188>
|s190> => tweak |s189>
|s191> => tweak |s190>
|s192> => tweak |s191>
|s193> => tweak |s192>
|s194> => tweak |s193>
|s195> => tweak |s194>
|s196> => tweak |s195>
|s197> => tweak |s196>
|s198> => tweak |s197>
|s199> => tweak |s198>
|s200> => tweak |s199>
|s201> => tweak |s200>
|s202> => tweak |s201>
|s203> => tweak |s202>
|s204> => tweak |s203>
|s205> => tweak |s204>
|s206> => tweak |s205>
|s207> => tweak |s206>
|s208> => tweak |s207>
|s209> => tweak |s208>
|s210> => tweak |s209>
|s211> => tweak |s210>
|s212> => tweak |s211>
|s213> => tweak |s212>
|s214> => tweak |s213>
|s215> => tweak |s214>
|s216> => tweak |s215>
|s217> => tweak |s216>
|s218> => tweak |s217>
|s219> => tweak |s218>
|s220> => tweak |s219>
|s221> => tweak |s220>
|s222> => tweak |s221>
|s223> => tweak |s222>
|s224> => tweak |s223>
|s225> => tweak |s224>
|s226> => tweak |s225>
|s227> => tweak |s226>
|s228> => tweak |s227>
|s229> => tweak |s228>
|s230> => tweak |s229>
|s231> => tweak |s230>
|s232> => tweak |s231>
|s233> => tweak |s232>
|s234> => tweak |s233>
|s235> => tweak |s234>
|s236> => tweak |s235>
|s237> => tweak |s236>
|s238> => tweak |s237>
|s239> => tweak |s238>
|s240> => tweak |s239>
|s241> => tweak |s240>
|s242> => tweak |s241>
|s243> => tweak |s242>
|s244> => tweak |s243>
|s245> => tweak |s244>
|s246> => tweak |s245>
|s247> => tweak |s246>
|s248> => tweak |s247>
|s249> => tweak |s248>
|s250> => tweak |s249>
|s251> => tweak |s250>
|s252> => tweak |s251>
|s253> => tweak |s252>
|s254> => tweak |s253>
|s255> => tweak |s254>
|s256> => tweak |s255>
|s257> => tweak |s256>
|s258> => tweak |s257>
|s259> => tweak |s258>
|s260> => tweak |s259>
|s261> => tweak |s260>
|s262> => tweak |s261>
|s263> => tweak |s262>
|s264> => tweak |s263>
|s265> => tweak |s264>
|s266> => tweak |s265>
|s267> => tweak |s266>
|s268> => tweak |s267>
|s269> => tweak |s268>
|s270> => tweak |s269>
|s271> => tweak |s270>
|s272> => tweak |s271>
|s273> => tweak |s272>
|s274> => tweak |s273>
|s275> => tweak |s274>
|s276> => tweak |s275>
|s277> => tweak |s276>
|s278> => tweak |s277>
|s279> => tweak |s278>
|s280> => tweak |s279>
|s281> => tweak |s280>
|s282> => tweak |s281>
|s283> => tweak |s282>
|s284> => tweak |s283>
|s285> => tweak |s284>
|s286> => tweak |s285>
|s287> => tweak |s286>
|s288> => tweak |s287>
|s289> => tweak |s288>
|s290> => tweak |s289>
|s291> => tweak |s290>
|s292> => tweak |s291>
|s293> => tweak |s292>
|s294> => tweak |s293>
|s295> => tweak |s294>
|s296> => tweak |s295>
|s297> => tweak |s296>
|s298> => tweak |s297>
|s299> => tweak |s298>
|s300> => tweak |s299>
|s301> => tweak |s300>
|s302> => tweak |s301>
|s303> => tweak |s302>
|s304> => tweak |s303>
|s305> => tweak |s304>
|s306> => tweak |s305>
|s307> => tweak |s306>
|s308> => tweak |s307>
|s309> => tweak |s308>
|s310> => tweak |s309>
|s311> => tweak |s310>
|s312> => tweak |s311>
|s313> => tweak |s312>
|s314> => tweak |s313>
|s315> => tweak |s314>
|s316> => tweak |s315>
|s317> => tweak |s316>
|s318> => tweak |s317>
|s319> => tweak |s318>
|s320> => tweak |s319>
|s321> => tweak |s320>
|s322> => tweak |s321>
|s323> => tweak |s322>
|s324> => tweak |s323>
|s325> => tweak |s324>
|s326> => tweak |s325>
|s327> => tweak |s326>
|s328> => tweak |s327>
|s329> => tweak |s328>
|s330> => tweak |s329>
|s331> => tweak |s330>
|s332> => tweak |s331>
|s333> => tweak |s332>
|s334> => tweak |s333>
|s335> => tweak |s334>
|s336> => tweak |s335>
|s337> => tweak |s336>
|s338> => tweak |s337>
|s339> => tweak |s338>
|s340> => tweak |s339>
|s341> => tweak |s340>
|s342> => tweak |s341>
|s343> => tweak |s342>
|s344> => tweak |s343>
|s345> => tweak |s344>
|s346> => tweak |s345>
|s347> => tweak |s346>
|s348> => tweak |s347>
|s349> => tweak |s348>
|s350> => tweak |s349>
|s351> => tweak |s350>
|s352> => tweak |s351>
|s353> => tweak |s352>
|s354> => tweak |s353>
|s355> => tweak |s354>
|s356> => tweak |s355>
|s357> => tweak |s356>
|s358> => tweak |s357>
|s359> => tweak |s358>
|s360> => tweak |s359>
|s361> => tweak |s360>
|s362> => tweak |s361>
|s363> => tweak |s362>
|s364> => tweak |s363>
|s365> => tweak |s364>
|s366> => tweak |s365>
|s367> => tweak |s366>
|s368> => tweak |s367>
|s369> => tweak |s368>
|s370> => tweak |s369>
|s371> => tweak |s370>
|s372> => tweak |s371>
|s373> => tweak |s372>
|s374> => tweak |s373>
|s375> => tweak |s374>
|s376> => tweak |s375>
|s377> => tweak |s376>
|s378> => tweak |s377>
|s379> => tweak |s378>
|s380> => tweak |s379>
|s381> => tweak |s380>
|s382> => tweak |s381>
|s383> => tweak |s382>
|s384> => tweak |s383>
|s385> => tweak |s384>
|s386> => tweak |s385>
|s387> => tweak |s386>
|s388> => tweak |s387>
|s389> => tweak |s388>
|s390> => tweak |s389>
|s391> => tweak |s390>
|s392> => tweak |s391>
|s393> => tweak |s392>
|s394> => tweak |s393>
|s395> => tweak |s394>
|s396> => tweak |s395>
|s397> => tweak |s396>
|s398> => tweak |s397>
|s399> => tweak |s398>
|s400> => tweak |s399>
|s401> => tweak |s400>
|s402> => tweak |s401>
|s403> => tweak |s402>
|s404> => tweak |s403>
|s405> => tweak |s404>
|s406> => tweak |s405>
|s407> => tweak |s406>
|s408> => tweak |s407>
|s409> => tweak |s408>
|s410> => tweak |s409>
|s411> => tweak |s410>
|s412> => tweak |s411>
|s413> => tweak |s412>
|s414> => tweak |s413>
|s415> => tweak |s414>
|s416> => tweak |s415>
|s417> => tweak |s416>
|s418> => tweak |s417>
|s419> => tweak |s418>
|s420> => tweak |s419>
|s421> => tweak |s420>
|s422> => tweak |s421>
|s423> => tweak |s422>
|s424> => tweak |s423>
|s425> => tweak |s424>
|s426> => tweak |s425>
|s427> => tweak |s426>
|s428> => tweak |s427>
|s429> => tweak |s428>
|s430> => tweak |s429>
|s431> => tweak |s430>
|s432> => tweak |s431>
|s433> => tweak |s432>
|s434> => tweak |s433>
|s435> => tweak |s434>
|s436> => tweak |s435>
|s437> => tweak |s436>
|s438> => tweak |s437>
|s439> => tweak |s438>
|s440> => tweak |s439>
|s441> => tweak |s440>
|s442> => tweak |s441>
|s443> => tweak |s442>
|s444> => tweak |s443>
|s445> => tweak |s444>
|s446> => tweak |s445>
|s447> => tweak |s446>
|s448> => tweak |s447>
|s449> => tweak |s448>
|s450> => tweak |s449>
|s451> => tweak |s450>
|s452> => tweak |s451>
|s453> => tweak |s452>
|s454> => tweak |s453>
|s455> => tweak |s454>
|s456> => tweak |s455>
|s457> => tweak |s456>
|s458> => tweak |s457>
|s459> => tweak |s458>
|s460> => tweak |s459>
|s461> => tweak |s460>
|s462> => tweak |s461>
|s463> => tweak |s462>
|s464> => tweak |s463>
|s465> => tweak |s464>
|s466> => tweak |s465>
|s467> => tweak |s466>
|s468> => tweak |s467>
|s469> => tweak |s468>
|s470> => tweak |s469>
|s471> => tweak |s470>
|s472> => tweak |s471>
|s473> => tweak |s472>
|s474> => tweak |s473>
|s475> => tweak |s474>
|s476> => tweak |s475>
|s477> => tweak |s476>
|s478> => tweak |s477>
|s479> => tweak |s478>
|s480> => tweak |s479>
|s481> => tweak |s480>
|s482> => tweak |s481>
|s483> => tweak |s482>
|s484> => tweak |s483>
|s485> => tweak |s484>
|s486> => tweak |s485>
|s487> => tweak |s486>
|s488> => tweak |s487>
|s489> => tweak |s488>
|s490> => tweak |s489>
|s491> => tweak |s490>
|s492> => tweak |s491>
|s493> => tweak |s492>
|s494> => tweak |s493>
|s495> => tweak |s494>
|s496> => tweak |s495>
|s497> => tweak |s496>
|s498> => tweak |s497>
|s499> => tweak |s498>
|s500> => tweak |s499>
|s501> => tweak |s500>
|s502> => tweak |s501>
|s503> => tweak |s502>
|s504> => tweak |s503>
|s505> => tweak |s504>
|s506> => tweak |s505>
|s507> => tweak |s506>
|s508> => tweak |s507>
|s509> => tweak |s508>
|s510> => tweak |s509>
|s511> => tweak |s510>
|s512> => tweak |s511>
|s513> => tweak |s512>
|s514> => tweak |s513>
|s515> => tweak |s514>
|s516> => tweak |s515>
|s517> => tweak |s516>
|s518> => tweak |s517>
|s519> => tweak |s518>
|s520> => tweak |s519>
|s521> => tweak |s520>
|s522> => tweak |s521>
|s523> => tweak |s522>
|s524> => tweak |s523>
|s525> => tweak |s524>
|s526> => tweak |s525>
|s527> => tweak |s526>
|s528> => tweak |s527>
|s529> => tweak |s528>
|s530> => tweak |s529>
|s531> => tweak |s530>
|s532> => tweak |s531>
|s533> => tweak |s532>
|s534> => tweak |s533>
|s535> => tweak |s534>
|s536> => tweak |s535>
|s537> => tweak |s536>
|s538> => tweak |s537>
|s539> => tweak |s538>
|s540> => tweak |s539>
|s541> => tweak |s540>
|s542> => tweak |s541>
|s543> => tweak |s542>
|s544> => tweak |s543>
|s545> => tweak |s544>
|s546> => tweak |s545>
|s547> => tweak |s546>
|s548> => tweak |s547>
|s549> => tweak |s548>
|s550> => tweak |s549>
|s551> => tweak |s550>
|s552> => tweak |s551>
|s553> => tweak |s552>
|s554> => tweak |s553>
|s555> => tweak |s554>
|s556> => tweak |s555>
|s557> => tweak |s556>
|s558> => tweak |s557>
|s559> => tweak |s558>
|s560> => tweak |s559>
|s561> => tweak |s560>
|s562> => tweak |s561>
|s563> => tweak |s562>
|s564> => tweak |s563>
|s565> => tweak |s564>
|s566> => tweak |s565>
|s567> => tweak |s566>
|s568> => tweak |s567>
|s569> => tweak |s568>
|s570> => tweak |s569>
|s571> => tweak |s570>
|s572> => tweak |s571>
|s573> => tweak |s572>
|s574> => tweak |s573>
|s575> => tweak |s574>
|s576> => tweak |s575>
|s577> => tweak |s576>
|s578> => tweak |s577>
|s579> => tweak |s578>
|s580> => tweak |s579>
|s581> => tweak |s580>
|s582> => tweak |s581>
|s583> => tweak |s582>
|s584> => tweak |s583>
|s585> => tweak |s584>
|s586> => tweak |s585>
|s587> => tweak |s586>
|s588> => tweak |s587>
|s589> => tweak |s588>
|s590> => tweak |s589>
|s591> => tweak |s590>
|s592> => tweak |s591>
|s593> => tweak |s592>
|s594> => tweak |s593>
|s595> => tweak |s594>
|s596> => tweak |s595>
|s597> => tweak |s596>
|s598> => tweak |s597>
|s599> => tweak |s598>
|s600> => tweak |s599>
|s601> => tweak |s600>
|s602> => tweak |s601>
|s603> => tweak |s602>
|s604> => tweak |s603>
|s605> => tweak |s604>
|s606> => tweak |s605>
|s607> => tweak |s606>
|s608> => tweak |s607>
|s609> => tweak |s608>
|s610> => tweak |s609>
|s611> => tweak |s610>
|s612> => tweak |s611>
|s613> => tweak |s612>
|s614> => tweak |s613>
|s615> => tweak |s614>
|s616> => tweak |s615>
|s617> => tweak |s616>
|s618> => tweak |s617>
|s619> => tweak |s618>
|s620> => tweak |s619>
|s621> => tweak |s620>
|s622> => tweak |s621>
|s623> => tweak |s622>
|s624> => tweak |s623>
|s625> => tweak |s624>
|s626> => tweak |s625>
|s627> => tweak |s626>
|s628> => tweak |s627>
|s629> => tweak |s628>
|s630> => tweak |s629>
|s631> => tweak |s630>
|s632> => tweak |s631>
|s633> => tweak |s632>
|s634> => tweak |s633>
|s635> => tweak |s634>
|s636> => tweak |s635>
|s637> => tweak |s636>
|s638> => tweak |s637>
|s639> => tweak |s638>
|s640> => tweak |s639>
|s641> => tweak |s640>
|s642> => tweak |s641>
|s643> => tweak |s642>
|s644> => tweak |s643>
|s645> => tweak |s644>
|s646> => tweak |s645>
|s647> => tweak |s646>
|s648> => tweak |s647>
|s649> => tweak |s648>
|s650> => tweak |s649>
|s651> => tweak |s650>
|s652> => tweak |s651>
|s653> => tweak |s652>
|s654> => tweak |s653>
|s655> => tweak |s654>
|s656> => tweak |s655>
|s657> => tweak |s656>
|s658> => tweak |s657>
|s659> => tweak |s658>
|s660> => tweak |s659>
|s661> => tweak |s660>
|s662> => tweak |s661>
|s663> => tweak |s662>
|s664> => tweak |s663>
|s665> => tweak |s664>
|s666> => tweak |s665>
|s667> => tweak |s666>
|s668> => tweak |s667>
|s669> => tweak |s668>
|s670> => tweak |s669>
|s671> => tweak |s670>
|s672> => tweak |s671>
|s673> => tweak |s672>
|s674> => tweak |s673>
|s675> => tweak |s674>
|s676> => tweak |s675>
|s677> => tweak |s676>
|s678> => tweak |s677>
|s679> => tweak |s678>
|s680> => tweak |s679>
|s681> => tweak |s680>
|s682> => tweak |s681>
|s683> => tweak |s682>
|s684> => tweak |s683>
|s685> => tweak |s684>
|s686> => tweak |s685>
|s687> => tweak |s686>
|s688> => tweak |s687>
|s689> => tweak |s688>
|s690> => tweak |s689>
|s691> => tweak |s690>
|s692> => tweak |s691>
|s693> => tweak |s692>
|s694> => tweak |s693>
|s695> => tweak |s694>
|s696> => tweak |s695>
|s697> => tweak |s696>
|s698> => tweak |s697>
|s699> => tweak |s698>
|s700> => tweak |s699>
|s701> => tweak |s700>
|s702> => tweak |s701>
|s703> => tweak |s702>
|s704> => tweak |s703>
|s705> => tweak |s704>
|s706> => tweak |s705>
|s707> => tweak |s706>
|s708> => tweak |s707>
|s709> => tweak |s708>
|s710> => tweak |s709>
|s711> => tweak |s710>
|s712> => tweak |s711>
|s713> => tweak |s712>
|s714> => tweak |s713>
|s715> => tweak |s714>
|s716> => tweak |s715>
|s717> => tweak |s716>
|s718> => tweak |s717>
|s719> => tweak |s718>
|s720> => tweak |s719>
|s721> => tweak |s720>
|s722> => tweak |s721>
|s723> => tweak |s722>
|s724> => tweak |s723>
|s725> => tweak |s724>
|s726> => tweak |s725>
|s727> => tweak |s726>
|s728> => tweak |s727>
|s729> => tweak |s728>
|s730> => tweak |s729>
|s731> => tweak |s730>
|s732> => tweak |s731>
|s733> => tweak |s732>
|s734> => tweak |s733>
|s735> => tweak |s734>
|s736> => tweak |s735>
|s737> => tweak |s736>
|s738> => tweak |s737>
|s739> => tweak |s738>
|s740> => tweak |s739>
|s741> => tweak |s740>
|s742> => tweak |s741>
|s743> => tweak |s742>
|s744> => tweak |s743>
|s745> => tweak |s744>
|s746> => tweak |s745>
|s747> => tweak |s746>
|s748> => tweak |s747>
|s749> => tweak |s748>
|s750> => tweak |s749>
|s751> => tweak |s750>
|s752> => tweak |s751>
|s753> => tweak |s752>
|s754> => tweak |s753>
|s755> => tweak |s754>
|s756> => tweak |s755>
|s757> => tweak |s756>
|s758> => tweak |s757>
|s759> => tweak |s758>
|s760> => tweak |s759>
|s761> => tweak |s760>
|s762> => tweak |s761>
|s763> => tweak |s762>
|s764> => tweak |s763>
|s765> => tweak |s764>
|s766> => tweak |s765>
|s767> => tweak |s766>
|s768> => tweak |s767>
|s769> => tweak |s768>
|s770> => tweak |s769>
|s771> => tweak |s770>
|s772> => tweak |s771>
|s773> => tweak |s772>
|s774> => tweak |s773>
|s775> => tweak |s774>
|s776> => tweak |s775>
|s777> => tweak |s776>
|s778> => tweak |s777>
|s779> => tweak |s778>
|s780> => tweak |s779>
|s781> => tweak |s780>
|s782> => tweak |s781>
|s783> => tweak |s782>
|s784> => tweak |s783>
|s785> => tweak |s784>
|s786> => tweak |s785>
|s787> => tweak |s786>
|s788> => tweak |s787>
|s789> => tweak |s788>
|s790> => tweak |s789>
|s791> => tweak |s790>
|s792> => tweak |s791>
|s793> => tweak |s792>
|s794> => tweak |s793>
|s795> => tweak |s794>
|s796> => tweak |s795>
|s797> => tweak |s796>
|s798> => tweak |s797>
|s799> => tweak |s798>
|s800> => tweak |s799>
|s801> => tweak |s800>
|s802> => tweak |s801>
|s803> => tweak |s802>
|s804> => tweak |s803>
|s805> => tweak |s804>
|s806> => tweak |s805>
|s807> => tweak |s806>
|s808> => tweak |s807>
|s809> => tweak |s808>
|s810> => tweak |s809>
|s811> => tweak |s810>
|s812> => tweak |s811>
|s813> => tweak |s812>
|s814> => tweak |s813>
|s815> => tweak |s814>
|s816> => tweak |s815>
|s817> => tweak |s816>
|s818> => tweak |s817>
|s819> => tweak |s818>
|s820> => tweak |s819>
|s821> => tweak |s820>
|s822> => tweak |s821>
|s823> => tweak |s822>
|s824> => tweak |s823>
|s825> => tweak |s824>
|s826> => tweak |s825>
|s827> => tweak |s826>
|s828> => tweak |s827>
|s829> => tweak |s828>
|s830> => tweak |s829>
|s831> => tweak |s830>
|s832> => tweak |s831>
|s833> => tweak |s832>
|s834> => tweak |s833>
|s835> => tweak |s834>
|s836> => tweak |s835>
|s837> => tweak |s836>
|s838> => tweak |s837>
|s839> => tweak |s838>
|s840> => tweak |s839>
|s841> => tweak |s840>
|s842> => tweak |s841>
|s843> => tweak |s842>
|s844> => tweak |s843>
|s845> => tweak |s844>
|s846> => tweak |s845>
|s847> => tweak |s846>
|s848> => tweak |s847>
|s849> => tweak |s848>
|s850> => tweak |s849>
|s851> => tweak |s850>
|s852> => tweak |s851>
|s853> => tweak |s852>
|s854> => tweak |s853>
|s855> => tweak |s854>
|s856> => tweak |s855>
|s857> => tweak |s856>
|s858> => tweak |s857>
|s859> => tweak |s858>
|s860> => tweak |s859>
|s861> => tweak |s860>
|s862> => tweak |s861>
|s863> => tweak |s862>
|s864> => tweak |s863>
|s865> => tweak |s864>
|s866> => tweak |s865>
|s867> => tweak |s866>
|s868> => tweak |s867>
|s869> => tweak |s868>
|s870> => tweak |s869>
|s871> => tweak |s870>
|s872> => tweak |s871>
|s873> => tweak |s872>
|s874> => tweak |s873>
|s875> => tweak |s874>
|s876> => tweak |s875>
|s877> => tweak |s876>
|s878> => tweak |s877>
|s879> => tweak |s878>
|s880> => tweak |s879>
|s881> => tweak |s880>
|s882> => tweak |s881>
|s883> => tweak |s882>
|s884> => tweak |s883>
|s885> => tweak |s884>
|s886> => tweak |s885>
|s887> => tweak |s886>
|s888> => tweak |s887>
|s889> => tweak |s888>
|s890> => tweak |s889>
|s891> => tweak |s890>
|s892> => tweak |s891>
|s893> => tweak |s892>
|s894> => tweak |s893>
|s895> => tweak |s894>
|s896> => tweak |s895>
|s897> => tweak |s896>
|s898> => tweak |s897>
|s899> => tweak |s898>
|s900> => tweak |s899>
|s901> => tweak |s900>
|s902> => tweak |s901>
|s903> => tweak |s902>
|s904> => tweak |s903>
|s905> => tweak |s904>
|s906> => tweak |s905>
|s907> => tweak |s906>
|s908> => tweak |s907>
|s909> => tweak |s908>
|s910> => tweak |s909>
|s911> => tweak |s910>
|s912> => tweak |s911>
|s913> => tweak |s912>
|s914> => tweak |s913>
|s915> => tweak |s914>
|s916> => tweak |s915>
|s917> => tweak |s916>
|s918> => tweak |s917>
|s919> => tweak |s918>
|s920> => tweak |s919>
|s921> => tweak |s920>
|s922> => tweak |s921>
|s923> => tweak |s922>
|s924> => tweak |s923>
|s925> => tweak |s924>
|s926> => tweak |s925>
|s927> => tweak |s926>
|s928> => tweak |s927>
|s929> => tweak |s928>
|s930> => tweak |s929>
|s931> => tweak |s930>
|s932> => tweak |s931>
|s933> => tweak |s932>
|s934> => tweak |s933>
|s935> => tweak |s934>
|s936> => tweak |s935>
|s937> => tweak |s936>
|s938> => tweak |s937>
|s939> => tweak |s938>
|s940> => tweak |s939>
|s941> => tweak |s940>
|s942> => tweak |s941>
|s943> => tweak |s942>
|s944> => tweak |s943>
|s945> => tweak |s944>
|s946> => tweak |s945>
|s947> => tweak |s946>
|s948> => tweak |s947>
|s949> => tweak |s948>
|s950> => tweak |s949>
|s951> => tweak |s950>
|s952> => tweak |s951>
|s953> => tweak |s952>
|s954> => tweak |s953>
|s955> => tweak |s954>
|s956> => tweak |s955>
|s957> => tweak |s956>
|s958> => tweak |s957>
|s959> => tweak |s958>
|s960> => tweak |s959>
|s961> => tweak |s960>
|s962> => tweak |s961>
|s963> => tweak |s962>
|s964> => tweak |s963>
|s965> => tweak |s964>
|s966> => tweak |s965>
|s967> => tweak |s966>
|s968> => tweak |s967>
|s969> => tweak |s968>
|s970> => tweak |s969>
|s971> => tweak |s970>
|s972> => tweak |s971>
|s973> => tweak |s972>
|s974> => tweak |s973>
|s975> => tweak |s974>
|s976> => tweak |s975>
|s977> => tweak |s976>
|s978> => tweak |s977>
|s979> => tweak |s978>
|s980> => tweak |s979>
|s981> => tweak |s980>
|s982> => tweak |s981>
|s983> => tweak |s982>
|s984> => tweak |s983>
|s985> => tweak |s984>
|s986> => tweak |s985>
|s987> => tweak |s986>
|s988> => tweak |s987>
|s989> => tweak |s988>
|s990> => tweak |s989>
|s991> => tweak |s990>
|s992> => tweak |s991>
|s993> => tweak |s992>
|s994> => tweak |s993>
|s995> => tweak |s994>
|s996> => tweak |s995>
|s997> => tweak |s996>
|s998> => tweak |s997>
|s999> => tweak |s998>
|s1000> => tweak |s999>
|s1001> => tweak |s1000>