*** t0=4503624108947888 m=22,=23
*** t0=4503882911465244 m=22,=26
*** t0=4505254974774575 m=21,=22
*** t0=4505801968659230 m=24,=22
*** t0=4506016291810608 m=21,=21
*** t0=4508702494954571 m=23,=21
*** t0=4509179716936987 m=21,=21
*** t0=4509912321631025 m=24,=23
*** t0=4512542848204764 m=21,=21
*** t0=4512914841073230 m=25,=21
*** t0=4514620190706763 m=21,=21
*** t0=4516342562172090 m=23,=21
*** t0=4516364605173637 m=22,=22
*** t0=4516908871913984 m=24,=22
*** t0=4517693014342246 m=22,=21
*** t0=4518305910822177 m=21,=21
*** t0=4522169531096970 m=21,=22
*** t0=4525245082137539 m=22,=23
*** t0=4531116352484949 m=21,=23
*** t0=4533053615026895 m=21,=21
*** t0=4536435451751475 m=22,=21
*** t0=4536796475638242 m=21,=21
*** t0=4536924384158424 m=22,=23
*** t0=4540335858427154 m=24,=21
*** t0=4541221373230177 m=21,=22
*** t0=4543721880300170 m=21,=21
*** t0=4544420289585775 m=23,=21
*** t0=4547819269791061 m=21,=25
*** t0=4547871353421131 m=21,=27
*** t0=4548063643475459 m=21,=22
*** t0=4549612497996939 m=23,=21
*** t0=4550043920158850 m=22,=21
*** t0=4550301736393468 m=22,=22
*** t0=4551711624074514 m=21,=21
*** t0=4551928441032411 m=21,=21
*** t0=4551982326652597 m=23,=23
*** t0=4554084325541902 m=21,=22
*** t0=4555035470433384 m=21,=22
*** t0=4555343315239581 m=24,=24
*** t0=4555411529700081 m=23,=21
*** t0=4558080907111444 m=21,=21
*** t0=4558817067349365 m=22,=21
*** t0=4559492306851328 m=21,=21
*** t0=4560355650613598 m=22,=21
*** t0=4560436460211017 m=22,=21
*** t0=4560626114683254 m=23,=23
*** t0=4561523183282498 m=21,=23
*** t0=4562829112191892 m=21,=21
*** t0=4563024191226851 m=22,=21
*** t0=4563358512992026 m=23,=21
*** t0=4566495048911114 m=22,=23
*** t0=4566624165813823 m=22,=21
*** t0=4569228318534933 m=21,=24
*** t0=4569501162867101 m=21,=21
*** t0=4571523377733797 m=21,=21
*** t0=4571982072016039 m=21,=22
*** t0=4572406432230160 m=21,=21
*** t0=4573673304010803 m=23,=23
*** t0=4573693151829091 m=22,=22
*** t0=4575425607514420 m=22,=25
*** t0=4577083532806595 m=21,=22
*** t0=4579293745263024 m=21,=21
*** t0=4579716289415823 m=21,=21
*** t0=4579852281615556 m=22,=22
*** t0=4581638316418794 m=21,=21
*** t0=4582501059508011 m=21,=22
*** t0=4583576811396398 m=23,=21
*** t0=4584274852713998 m=22,=25
*** t0=4584303518416775 m=21,=25
*** t0=4585684676932809 m=23,=21
*** t0=4586326002658136 m=21,=21
*** t0=4586383376446918 m=21,=21
*** t0=4586902480099105 m=21,=22
*** t0=4587612706393166 m=23,=22
*** t0=4587883065454815 m=21,=24
*** t0=4588478664317838 m=25,=21
*** t0=4591389360504889 m=21,=22
*** t0=4595540130066714 m=21,=21
*** t0=4595857369238116 m=22,=21
*** t0=4597775539624631 m=21,=21
*** t0=4598532546620439 m=21,=21
*** t0=4601515593620501 m=22,=21
*** t0=4602441991096726 m=25,=22
*** t0=4604261311911288 m=22,=21
*** t0=4604412555828051 m=21,=32
*** t0=4604457442495774 m=22,=21
*** t0=4607417187784564 m=23,=21
*** t0=4607790807292143 m=22,=21
*** t0=4608652792000256 m=21,=26
*** t0=4609931101952677 m=21,=25
*** t0=4611900840762714 m=23,=21
*** t0=4614425052494117 m=21,=25
*** t0=4615765242985150 m=21,=21
*** t0=4617046852986546 m=23,=23
*** t0=4617866749653881 m=21,=21
*** t0=4619028650952377 m=21,=24
*** t0=4619138119525649 m=21,=21
*** t0=4620134474350305 m=23,=23
*** t0=4620499081674204 m=23,=24
*** t0=4620548888316976 m=21,=21
*** t0=4620589196974832 m=21,=23
*** t0=4620871546763475 m=22,=22
*** t0=4621767489281623 m=22,=21
*** t0=4621919127610488 m=22,=22
*** t0=4622861643167916 m=22,=22
*** t0=4624760892917485 m=23,=21
*** t0=4624772581040677 m=24,=22
*** t0=4624831794449343 m=22,=21
*** t0=4628392568833942 m=21,=23
*** t0=4628482090161360 m=21,=22
*** t0=4628986560188225 m=23,=26
*** t0=4629340212698138 m=21,=22
*** t0=4630384023344875 m=22,=25
*** t0=4631217011974921 m=21,=21
*** t0=4632772295300638 m=23,=23
*** t0=4634164069250277 m=21,=21
*** t0=4634203975705315 m=24,=21
*** t0=4636573859809036 m=23,=25
*** t0=4636885458043603 m=21,=21
*** t0=4638324715124332 m=22,=21
*** t0=4639141487258240 m=21,=22
*** t0=4639168628299838 m=22,=21
*** t0=4640010029721910 m=21,=21
*** t0=4643984349454914 m=21,=21
*** t0=4644306886452477 m=21,=21
*** t0=4645958723191893 m=22,=21
*** t0=4646198259263687 m=22,=21
*** t0=4646752192262720 m=23,=22
*** t0=4647296721165750 m=21,=21
*** t0=4650729861199270 m=23,=21
*** t0=4651835479322740 m=21,=21
*** t0=4652191099168717 m=21,=22
*** t0=4652192949493029 m=21,=21
*** t0=4654256341172127 m=25,=21
*** t0=4655519806248352 m=23,=22
*** t0=4655763893972314 m=21,=31
*** t0=4656482411822516 m=23,=22
*** t0=4659451413599418 m=21,=22
*** t0=4659847638772233 m=23,=21
*** t0=4660126292676558 m=21,=24
*** t0=4660225065683310 m=21,=22
*** t0=4660480817654788 m=22,=22
*** t0=4660768684675825 m=21,=21
*** t0=4660860573949832 m=22,=22
*** t0=4661111004417520 m=21,=21
*** t0=4661983899423885 m=21,=22
*** t0=4662700683536726 m=22,=26
*** t0=4662990360976074 m=21,=22
*** t0=4666859370703645 m=21,=21
*** t0=4668620250011246 m=22,=21
*** t0=4670267072916755 m=22,=21
*** t0=4670340122649405 m=21,=23
*** t0=4671373028431077 m=22,=21
*** t0=4673939691418559 m=21,=25
*** t0=4674350161763732 m=23,=23
*** t0=4674566006102200 m=21,=21
*** t0=4674708610630302 m=22,=21
*** t0=4675035383219726 m=21,=21
*** t0=4676674125698953 m=21,=21
*** t0=4678015302401111 m=21,=21
*** t0=4678248110667292 m=22,=22
*** t0=4680293426018162 m=22,=21
*** t0=4681607447113672 m=21,=21
*** t0=4682686827927554 m=21,=22
*** t0=4686172032288598 m=21,=21
*** t0=4688383009118077 m=22,=22
*** t0=4688732032118555 m=21,=23
*** t0=4689043969127209 m=24,=24
*** t0=4690415331971135 m=21,=22
*** t0=4691478854645842 m=21,=22
*** t0=4692656865589309 m=22,=21
*** t0=4692879436329555 m=25,=21
*** t0=4692902604616840 m=24,=21
*** t0=4693380261380014 m=22,=21
*** t0=4693627741485558 m=22,=22
*** t0=4695192011377773 m=21,=23
*** t0=4695365011219214 m=22,=21
*** t0=4695858736179905 m=22,=21
*** t0=4695981277394516 m=24,=22
*** t0=4698600080154736 m=21,=21
*** t0=4702122651965851 m=22,=21
*** t0=4702616780589574 m=23,=22
*** t0=4703788580213043 m=21,=21
*** t0=4703965299114106 m=24,=25
*** t0=4704325118798768 m=23,=23
*** t0=4704949153371216 m=22,=22
*** t0=4707357188226613 m=22,=21
*** t0=4708277107873768 m=22,=22
*** t0=4708508923090272 m=21,=22
*** t0=4710047656379514 m=22,=22
*** t0=4710745374582366 m=23,=24
*** t0=4711199971828768 m=21,=21
*** t0=4711337126504229 m=21,=21
*** t0=4713104601554059 m=23,=21
*** t0=4713804591088502 m=22,=22
*** t0=4713906019309392 m=21,=21
*** t0=4714266428553183 m=21,=21
*** t0=4714709219259145 m=21,=22
*** t0=4714844526209877 m=21,=24
*** t0=4715942927898178 m=22,=21
*** t0=4716757567471201 m=23,=21
*** t0=4718326062357053 m=23,=21
*** t0=4718423475839647 m=24,=26
*** t0=4719949241913086 m=22,=21
*** t0=4721479452617827 m=22,=22
*** t0=4722033923631375 m=22,=21
*** t0=4723796467509363 m=26,=21
*** t0=4726632647156957 m=22,=21
*** t0=4726638783038348 m=21,=22
*** t0=4727246634739320 m=22,=22
*** t0=4727352588646130 m=21,=23
*** t0=4727417520325299 m=23,=21
*** t0=4727421823549043 m=21,=21
*** t0=4727489622744987 m=25,=21
*** t0=4729928653349024 m=22,=25
*** t0=4730162038504105 m=23,=21
*** t0=4730829454066460 m=21,=24
*** t0=4731315379619544 m=21,=23
*** t0=4731592486025601 m=23,=22
*** t0=4733521786017223 m=22,=21
*** t0=4733835141481439 m=22,=21
*** t0=4734970981072602 m=21,=25
*** t0=4735097909811353 m=21,=21
*** t0=4735157423368966 m=21,=21
*** t0=4735849059330250 m=21,=21
*** t0=4736642179702297 m=31,=22
*** t0=4737499038968486 m=21,=21
*** t0=4739044546141369 m=23,=22
*** t0=4739547412415739 m=22,=21
*** t0=4742526509851896 m=21,=21
*** t0=4743016411340320 m=23,=21
*** t0=4744750118377847 m=22,=22
*** t0=4746391078365627 m=21,=26
*** t0=4747592648078021 m=24,=21
*** t0=4749667678462164 m=23,=26
*** t0=4749897648081711 m=25,=21
*** t0=4750034802442529 m=21,=21
*** t0=4750631892997453 m=21,=21
*** t0=4753334716932079 m=21,=26
*** t0=4756507246818889 m=21,=22
*** t0=4758248016965852 m=21,=21
*** t0=4758425819884965 m=21,=27
*** t0=4761021976148137 m=23,=21
*** t0=4761729269740333 m=23,=21
*** t0=4761781652669163 m=22,=21
*** t0=4763101389174034 m=21,=21
*** t0=4763789626148873 m=24,=21
*** t0=4764423340774025 m=23,=23
*** t0=4765237335669122 m=24,=22
*** t0=4765878841960282 m=22,=22
*** t0=4766416269240528 m=21,=22
*** t0=4767521491757782 m=24,=21
*** t0=4767793359689854 m=24,=21
*** t0=4768549133926126 m=23,=21
*** t0=4772443208896710 m=21,=22
*** t0=4773659697737305 m=21,=22
*** t0=4774078816129148 m=24,=21
*** t0=4775734723313661 m=26,=21
*** t0=4777590833199346 m=21,=22
*** t0=4777715742369365 m=21,=23
*** t0=4778189089819740 m=22,=23
*** t0=4781423891959113 m=21,=21
*** t0=4781491902039208 m=21,=21
*** t0=4781515989095003 m=21,=23
*** t0=4782001759369640 m=21,=21
*** t0=4784732229708864 m=22,=23
*** t0=4784862574028935 m=21,=23
*** t0=4785551936039487 m=22,=21
*** t0=4786819799882725 m=21,=21
*** t0=4786945882340035 m=23,=21
*** t0=4787946458268340 m=27,=21
*** t0=4789533306071261 m=23,=24
*** t0=4790029788004932 m=24,=22
*** t0=4790703472120663 m=21,=24
*** t0=4793349886691059 m=22,=25
*** t0=4795118483487704 m=23,=25
*** t0=4798005956362640 m=22,=21
*** t0=4798529825655398 m=25,=22
*** t0=4798554149465568 m=24,=21
*** t0=4799600535502173 m=21,=24
*** t0=4799821604077442 m=24,=23
*** t0=4800185698922471 m=21,=21
*** t0=4802839433297141 m=21,=22
*** t0=4802949994846841 m=22,=23
*** t0=4803299739263291 m=23,=22
*** t0=4804196545945683 m=23,=21
*** t0=4804846513198506 m=23,=21
*** t0=4806408694021259 m=22,=25
*** t0=4806702845311706 m=21,=26
*** t0=4806805468444853 m=24,=24
*** t0=4808789124680646 m=22,=24
*** t0=4810878881609455 m=21,=21
*** t0=4811438237012839 m=22,=22
*** t0=4811515536858388 m=21,=22
*** t0=4813200869031949 m=22,=23
*** t0=4813966872165314 m=24,=23
*** t0=4814284565162234 m=22,=24
*** t0=4814330927868336 m=21,=21
*** t0=4814796588863336 m=21,=21
*** t0=4814953847497196 m=22,=22
*** t0=4815583178638711 m=23,=21
*** t0=4820287866624680 m=21,=22
*** t0=4821531152345550 m=21,=22
*** t0=4822422050640371 m=24,=21
*** t0=4822638415655458 m=22,=27
*** t0=4822701969177923 m=29,=22
*** t0=4823097899261579 m=25,=21
*** t0=4826241269720315 m=21,=22
*** t0=4827421927564748 m=25,=22
*** t0=4828268849022111 m=23,=21
*** t0=4829100174714379 m=23,=21
*** t0=4830953739521634 m=24,=21
*** t0=4832125601396316 m=21,=21
*** t0=4832481323661577 m=22,=21
*** t0=4832647960099790 m=21,=22
*** t0=4833296270690034 m=21,=21
*** t0=4833415924048003 m=24,=21
*** t0=4833682522960734 m=22,=21
*** t0=4834585003909156 m=21,=22
*** t0=4836771469492465 m=24,=22
*** t0=4839388726556604 m=22,=24
*** t0=4840194982541347 m=22,=21
*** t0=4841057012036956 m=23,=24
*** t0=4841491108347994 m=21,=21
*** t0=4841932851720432 m=21,=21
*** t0=4844117668586008 m=22,=22
*** t0=4844653775756738 m=23,=24
*** t0=4844842089532303 m=22,=25
*** t0=4847037877902699 m=25,=22
*** t0=4847359033521463 m=25,=21
*** t0=4847579898304343 m=21,=22
*** t0=4847975483014948 m=22,=22
*** t0=4849104967628390 m=22,=21
*** t0=4849309184294527 m=22,=23
*** t0=4850831603651622 m=22,=22
*** t0=4853175298590191 m=21,=21
*** t0=4853944098001491 m=21,=22
*** t0=4854896081685097 m=23,=24
*** t0=4856395591174828 m=21,=22
*** t0=4858045825174599 m=21,=24
*** t0=4858113600236680 m=21,=23
*** t0=4859015848318249 m=21,=21
*** t0=4859441413406346 m=23,=23
*** t0=4862458207284019 m=22,=21
*** t0=4867369450257120 m=21,=21
*** t0=4867630384275738 m=22,=21
*** t0=4872158713731914 m=22,=21
*** t0=4872579136191216 m=23,=22
*** t0=4873566224034785 m=22,=21
*** t0=4875204388042580 m=23,=21
*** t0=4876670710537371 m=21,=24
*** t0=4877863773444468 m=22,=24
*** t0=4878406936991542 m=21,=21
*** t0=4879307656324200 m=23,=21
*** t0=4879470828125121 m=21,=22
*** t0=4880525497043611 m=21,=23
*** t0=4881029733762486 m=21,=22
*** t0=4881585635716223 m=24,=21
*** t0=4886165876309494 m=21,=21
*** t0=4887425533284772 m=21,=21
*** t0=4888014205036000 m=21,=23
*** t0=4889096332671478 m=22,=21
*** t0=4890089173493619 m=22,=22
*** t0=4890498268041042 m=22,=24
*** t0=4891451759703637 m=21,=21
*** t0=4893140748030637 m=22,=21
*** t0=4894281611049619 m=26,=21
*** t0=4894577444286278 m=25,=21
*** t0=4895035948318261 m=22,=21
*** t0=4897237277799227 m=21,=21
*** t0=4898833391631256 m=21,=26
*** t0=4899615726823669 m=21,=21
*** t0=4900897385266908 m=23,=21
*** t0=4901495262961558 m=24,=21
*** t0=4902082421676447 m=24,=21
*** t0=4902701991463798 m=21,=24
*** t0=4903988129102527 m=21,=21
*** t0=4905129017004826 m=21,=24
*** t0=4905926022713484 m=21,=21
*** t0=4907699916536295 m=21,=23
*** t0=4908777685098314 m=22,=21
*** t0=4911847255372265 m=21,=24
*** t0=4913386325019902 m=21,=25
*** t0=4914883654661041 m=23,=22
*** t0=4915507612057964 m=22,=22
*** t0=4917957504272030 m=21,=21
*** t0=4919596522748662 m=21,=22
*** t0=4921196868940874 m=28,=21
*** t0=4921440049888488 m=21,=22
*** t0=4921597664666310 m=21,=22
*** t0=4923177658115410 m=22,=23
*** t0=4923516275111388 m=21,=23
*** t0=4925328182373368 m=22,=23
*** t0=4925972906282339 m=23,=22
*** t0=4926127668401876 m=22,=21
*** t0=4926225030125506 m=21,=21
*** t0=4929067072710513 m=24,=21
*** t0=4929987413748971 m=22,=21
*** t0=4931363487850463 m=23,=21
*** t0=4931783965196331 m=21,=22
*** t0=4932460560869890 m=21,=21
*** t0=4933036454796291 m=22,=21
*** t0=4934318787257973 m=24,=22
*** t0=4935094914664637 m=21,=22
*** t0=4937458754387114 m=22,=21
*** t0=4938955895651526 m=21,=21
*** t0=4940632669969612 m=21,=21
*** t0=4941718516461883 m=21,=21
*** t0=4942363599466708 m=24,=21
*** t0=4943925705590108 m=21,=21
*** t0=4945672359533914 m=22,=21
*** t0=4946594113219062 m=21,=21
*** t0=4946789476683824 m=21,=22
*** t0=4949303627058980 m=22,=22
*** t0=4953989126248547 m=21,=28
*** t0=4954114478486491 m=23,=23
*** t0=4954184624168271 m=21,=22
*** t0=4956165869366009 m=21,=21
*** t0=4958357122331099 m=24,=21
*** t0=4959502894204687 m=21,=21
*** t0=4960514974650487 m=26,=22
*** t0=4961179541126631 m=21,=25
*** t0=4964983853622453 m=21,=27
*** t0=4965523658027302 m=21,=22
*** t0=4968408791158843 m=23,=21
*** t0=4969254461498442 m=21,=21
*** t0=4969604601687424 m=21,=23
*** t0=4970660300049501 m=21,=21
*** t0=4971383224695783 m=21,=21
*** t0=4972340101902600 m=22,=21
*** t0=4972522610764795 m=21,=21
*** t0=4974717430250481 m=22,=22
*** t0=4974821421358351 m=24,=22
*** t0=4975248071101733 m=22,=21
*** t0=4978363850214913 m=22,=22
*** t0=4979290370801482 m=22,=21
*** t0=4979434538414034 m=23,=24
*** t0=4980466662684155 m=21,=26
*** t0=4980721821267533 m=23,=21
*** t0=4980939016860245 m=23,=22
*** t0=4981169483797274 m=24,=21
*** t0=4981763044339033 m=22,=21
*** t0=4981827595524344 m=22,=21
*** t0=4982119435101938 m=21,=28
*** t0=4982793624078385 m=21,=21
*** t0=4984159781851400 m=21,=22
*** t0=4985206756020345 m=22,=22
*** t0=4985585802501423 m=21,=21
*** t0=4988827627281664 m=24,=25
*** t0=4988903530081755 m=22,=21
*** t0=4990024212007609 m=23,=21
*** t0=4990149229960569 m=29,=21
*** t0=4990725960135062 m=21,=24
*** t0=4990888233973995 m=22,=21
*** t0=4991206444573463 m=21,=21
*** t0=4992394963019475 m=24,=22
*** t0=4995002810721293 m=23,=22
*** t0=4997194670827298 m=21,=21
*** t0=4998562390296394 m=22,=23
*** t0=4998766023522917 m=22,=21
*** t0=5000072202283499 m=25,=22
*** t0=5005122732865831 m=22,=21
*** t0=5007730599083604 m=21,=24
*** t0=5007785751449803 m=21,=21
*** t0=5008225080898953 m=22,=21
*** t0=5008289315296892 m=22,=23
*** t0=5008429045431776 m=24,=22
*** t0=5009512552745135 m=24,=23
*** t0=5009588581412387 m=21,=21
*** t0=5010576843306789 m=21,=22
*** t0=5013892776300233 m=21,=22
*** t0=5014928397266360 m=21,=21
*** t0=5015525617538404 m=22,=22
*** t0=5017620360572810 m=23,=26
*** t0=5018447896417526 m=21,=23
*** t0=5021431424542834 m=22,=24
*** t0=5023610909407169 m=21,=21
*** t0=5023736579137922 m=22,=26
*** t0=5025539706911239 m=22,=21
*** t0=5027160742574398 m=23,=23
*** t0=5027876986896610 m=21,=21
*** t0=5028603159275834 m=21,=22
*** t0=5030624841039905 m=21,=21
*** t0=5031860338078445 m=21,=23
*** t0=5035162469503784 m=21,=22
*** t0=5035313801462939 m=21,=21
*** t0=5036998627215953 m=21,=21
*** t0=5039558091699908 m=22,=22
*** t0=5040614321181126 m=23,=22
*** t0=5040834913375213 m=23,=23
*** t0=5042145939872681 m=21,=21
*** t0=5043741683439926 m=22,=22
*** t0=5044535409201958 m=25,=21
*** t0=5044603304882195 m=21,=24
*** t0=5046845406998432 m=21,=23
*** t0=5049651544148263 m=21,=22
*** t0=5049708822553341 m=23,=21
*** t0=5050732536451806 m=21,=24
*** t0=5051432446897162 m=21,=21
*** t0=5051710838993128 m=21,=22
*** t0=5052154033177268 m=21,=22
*** t0=5053826174353841 m=25,=21
*** t0=5054181992643582 m=22,=23
*** t0=5056543512272307 m=23,=21
*** t0=5057742584179010 m=21,=21
*** t0=5058006230213307 m=22,=21
*** t0=5058885988771818 m=23,=21
*** t0=5061077650676797 m=21,=22
*** t0=5061213405117324 m=25,=27
*** t0=5061284449169914 m=21,=21
*** t0=5062356055616425 m=21,=21
*** t0=5064750536271046 m=21,=21
*** t0=5065213159346155 m=21,=25
*** t0=5066194671687754 m=21,=22
*** t0=5066980094309233 m=21,=22
*** t0=5067877256164065 m=21,=22
*** t0=5071014750213752 m=22,=23
*** t0=5071133140254366 m=21,=21
*** t0=5073012424060027 m=23,=21
*** t0=5074941450388759 m=21,=22
*** t0=5076501119952920 m=21,=22
*** t0=5077579051987725 m=21,=21
*** t0=5077792415370527 m=22,=21
*** t0=5080056113100504 m=21,=22
*** t0=5081030938591543 m=21,=22
*** t0=5083156335917388 m=21,=21
*** t0=5083584448162045 m=25,=21
*** t0=5084968760826601 m=24,=21
*** t0=5085511463063914 m=21,=22
*** t0=5088284065346831 m=23,=22
*** t0=5088868907276450 m=23,=21
*** t0=5089166107771085 m=21,=21
*** t0=5089401331261613 m=22,=24
*** t0=5090225431570074 m=22,=22
*** t0=5090563629094673 m=21,=22
*** t0=5090886005021243 m=21,=22
*** t0=5091836049732103 m=21,=31
*** t0=5093049485377257 m=22,=21
*** t0=5093854381822800 m=23,=23
*** t0=5094576787919192 m=21,=21
*** t0=5094879101285113 m=21,=22
*** t0=5097044100319770 m=22,=23
*** t0=5101307861039507 m=21,=26
*** t0=5101811086098054 m=22,=21
*** t0=5101963908436252 m=21,=23
*** t0=5104661163622724 m=22,=21
*** t0=5106505128808110 m=22,=23
*** t0=5113718401378171 m=27,=21
*** t0=5115965176175382 m=23,=21
*** t0=5116652244642296 m=21,=21
*** t0=5118020942853043 m=21,=21
*** t0=5119481691781930 m=21,=21
*** t0=5121772607163406 m=21,=22
*** t0=5126332006784089 m=22,=21
*** t0=5128524588895831 m=21,=22
*** t0=5128685005257318 m=23,=28
*** t0=5129244339156876 m=21,=22
*** t0=5130042019252837 m=21,=21
*** t0=5131368994642189 m=21,=21
*** t0=5133370291717834 m=21,=23
*** t0=5133696761962940 m=21,=24
*** t0=5133903766629290 m=21,=23
*** t0=5134183036488047 m=23,=22
*** t0=5135342099024016 m=21,=21
*** t0=5135414497046877 m=22,=22
*** t0=5136120480277374 m=21,=23
*** t0=5140125242799705 m=21,=21
*** t0=5140572879200176 m=22,=24
*** t0=5140682706351381 m=21,=23
*** t0=5142439810086251 m=21,=21
*** t0=5144545106137540 m=21,=27
*** t0=5144970793006929 m=21,=21
*** t0=5145652088889936 m=21,=22
*** t0=5146880100251413 m=21,=21
*** t0=5148914756797960 m=21,=22
*** t0=5150585161955817 m=21,=21
*** t0=5151384004110682 m=22,=21
*** t0=5152817017033222 m=21,=21
*** t0=5153310264273264 m=22,=21
*** t0=5154314626140522 m=27,=22
*** t0=5154935658456423 m=24,=22
*** t0=5156132583510926 m=23,=23
*** t0=5156264232005323 m=21,=24
*** t0=5156446995656305 m=23,=21
*** t0=5156519216205427 m=21,=21
*** t0=5156745454357189 m=23,=22
*** t0=5157673892937521 m=21,=26
*** t0=5158901919496382 m=22,=22
*** t0=5160527365235219 m=21,=24
*** t0=5160702484699911 m=22,=21
*** t0=5161081046695961 m=25,=27
*** t0=5162700964477479 m=24,=25
*** t0=5163964448859192 m=25,=23
*** t0=5167052122400957 m=21,=22
*** t0=5167362964418206 m=25,=21
*** t0=5167888449945250 m=21,=30
*** t0=5168348461224492 m=24,=21
*** t0=5171161805043079 m=21,=21
*** t0=5171244101490765 m=24,=21
*** t0=5171701363262890 m=25,=22
*** t0=5171792970808305 m=25,=21
*** t0=5173394457291346 m=21,=22
*** t0=5173822358034401 m=21,=27
*** t0=5174341309302929 m=22,=21
*** t0=5174416790397159 m=22,=21
*** t0=5174947689303059 m=26,=21
*** t0=5175594037021974 m=21,=22
*** t0=5176625702696170 m=23,=21
*** t0=5176869720687847 m=25,=22
*** t0=5179876981571237 m=22,=23
*** t0=5179960348844196 m=28,=21
*** t0=5182872072785451 m=21,=21
*** t0=5184339078910803 m=22,=21
*** t0=5185142585343695 m=21,=22
*** t0=5186002172065943 m=22,=26
*** t0=5187208755524170 m=21,=22
*** t0=5188423986987621 m=21,=25
*** t0=5190205105376816 m=21,=23
*** t0=5190288103386560 m=22,=23
*** t0=5190923078906794 m=21,=21
*** t0=5192049861505609 m=22,=21
*** t0=5193593044280177 m=21,=22
*** t0=5194498775459939 m=22,=21
*** t0=5195235718958914 m=25,=21
*** t0=5195789042451741 m=21,=24
*** t0=5197455809901020 m=21,=21
*** t0=5197824048317318 m=22,=21
*** t0=5197979578522354 m=22,=21
*** t0=5198659748422252 m=22,=23
*** t0=5198769544614790 m=21,=24
*** t0=5199279176513155 m=22,=24
*** t0=5199582285219275 m=23,=21
*** t0=5199911184076913 m=21,=21
*** t0=5201393199847324 m=22,=21
*** t0=5201633976583697 m=24,=25
*** t0=5202340236133091 m=21,=21
*** t0=5207276594714836 m=23,=21
*** t0=5207835207273884 m=22,=22
*** t0=5208908387999010 m=21,=27
*** t0=5209269789446154 m=21,=23
*** t0=5212724402590364 m=22,=21
*** t0=5213874451590388 m=21,=21
*** t0=5214043857321033 m=21,=21
*** t0=5214335330168388 m=23,=24
*** t0=5214802670540619 m=21,=21
*** t0=5215665187342815 m=21,=22
*** t0=5216395743033084 m=21,=24
*** t0=5217140924488121 m=21,=21
*** t0=5217439083430561 m=26,=21
*** t0=5218269132859733 m=27,=22
*** t0=5218598192796126 m=21,=21
*** t0=5218875391065308 m=21,=21
*** t0=5219945918088607 m=21,=22
*** t0=5220748170490487 m=21,=21
*** t0=5220837363234489 m=21,=22
*** t0=5220890727190859 m=21,=22
*** t0=5220972405934352 m=22,=25
*** t0=5221002775847135 m=21,=21
*** t0=5221114089938185 m=21,=21
*** t0=5222560852426891 m=22,=22
*** t0=5222893574967055 m=22,=21
*** t0=5223936290471313 m=25,=21
*** t0=5225391171544689 m=21,=21
*** t0=5225582557831642 m=26,=22
*** t0=5228223304657443 m=25,=21
*** t0=5232203795384869 m=24,=25
*** t0=5235802997334783 m=21,=21
*** t0=5236111051843516 m=22,=22
*** t0=5236935844963578 m=23,=21
*** t0=5238758528676218 m=21,=21
*** t0=5239076169254896 m=21,=22
*** t0=5239788536194056 m=22,=21
*** t0=5241485022662979 m=22,=22
*** t0=5241521339393687 m=22,=24
*** t0=5242637803375189 m=21,=24
*** t0=5246393747902165 m=21,=25
*** t0=5247126339600921 m=22,=21
*** t0=5248065396066479 m=22,=22
*** t0=5248105771531469 m=27,=21
*** t0=5250194608292882 m=21,=21
*** t0=5251476472860953 m=21,=21
*** t0=5252094829749892 m=21,=23
*** t0=5252495722972633 m=21,=23
*** t0=5254017338921117 m=22,=21
*** t0=5254164716809644 m=23,=21
*** t0=5255101406141321 m=21,=24
*** t0=5255869681994781 m=21,=21
*** t0=5255956361000737 m=21,=22
*** t0=5256214774785178 m=23,=21
*** t0=5257577309325924 m=21,=21
*** t0=5257589169061144 m=21,=22
*** t0=5258838997828874 m=23,=21
*** t0=5260231624647047 m=21,=22
*** t0=5260674149563686 m=22,=22
*** t0=5260792525960668 m=22,=21
*** t0=5260824891818992 m=22,=23
*** t0=5261103395088544 m=22,=21
*** t0=5261448976535487 m=22,=21
*** t0=5262147550038094 m=21,=22
*** t0=5262369574953381 m=21,=22
*** t0=5263820430166055 m=22,=21
*** t0=5264407816508963 m=21,=22
*** t0=5264473975520374 m=21,=22
*** t0=5267090723962832 m=23,=21
*** t0=5267097978925164 m=21,=22
*** t0=5267535852921537 m=24,=22
*** t0=5268098264863335 m=22,=21
*** t0=5268676912568525 m=23,=22
*** t0=5269685421631627 m=24,=22
*** t0=5270089609105453 m=21,=22
*** t0=5271477777144501 m=23,=21
*** t0=5271681107478684 m=21,=21
*** t0=5272333894168115 m=25,=24
*** t0=5273051868352479 m=24,=22
*** t0=5273150317890677 m=21,=22
*** t0=5275301302678828 m=26,=21
*** t0=5275605544946954 m=21,=24
*** t0=5277712940034082 m=21,=24
*** t0=5277744372752429 m=25,=22
*** t0=5283242273069522 m=21,=23
*** t0=5284462073408289 m=22,=21
*** t0=5284708850876805 m=21,=22
*** t0=5285342749196876 m=23,=23
*** t0=5287123806192478 m=24,=27
*** t0=5289272464448138 m=21,=21
*** t0=5293074796364200 m=21,=21
*** t0=5294267892769589 m=21,=21
*** t0=5294656018236358 m=21,=22
*** t0=5295151831166817 m=25,=22
*** t0=5296675932430750 m=23,=21
*** t0=5297266280776432 m=21,=24
*** t0=5300999770573622 m=23,=23
*** t0=5301648117967569 m=21,=21
*** t0=5302274609416795 m=25,=25
*** t0=5303988242552531 m=22,=21
*** t0=5304233795924056 m=23,=21
*** t0=5304510369479650 m=22,=21
*** t0=5306832796745499 m=21,=21
*** t0=5310079250995409 m=21,=26
*** t0=5312683397790072 m=21,=21
*** t0=5313511640128564 m=22,=21
*** t0=5317389767559351 m=22,=21
*** t0=5320798649448593 m=21,=23
*** t0=5323401576897691 m=22,=21
*** t0=5326344260974041 m=21,=21
*** t0=5327099567068797 m=27,=21
*** t0=5328531947941850 m=21,=29
*** t0=5328700171594407 m=24,=21
*** t0=5334525314111650 m=22,=22
*** t0=5336356106416763 m=22,=22
*** t0=5337650294356857 m=22,=21
*** t0=5337908307697362 m=21,=21
*** t0=5341471422618617 m=21,=22
*** t0=5341875405576212 m=21,=23
*** t0=5342206701953917 m=21,=21
*** t0=5343393647445456 m=21,=21
*** t0=5345109162435952 m=23,=21
*** t0=5345431302878938 m=21,=22
*** t0=5348972267986838 m=23,=21
*** t0=5350010684965116 m=24,=21
*** t0=5350508829972560 m=21,=22
*** t0=5353042612269337 m=22,=26
*** t0=5354000003038187 m=22,=21
*** t0=5355564405085451 m=24,=21
*** t0=5355971528631800 m=22,=21
*** t0=5357803390412537 m=21,=21
*** t0=5359074139953650 m=24,=22
*** t0=5360069606285389 m=25,=21
*** t0=5362224606302025 m=21,=21
*** t0=5363144927436292 m=22,=21
*** t0=5364304937984662 m=21,=21
*** t0=5364717658730403 m=22,=21
*** t0=5365373191566770 m=22,=22
*** t0=5366354443792469 m=21,=21
*** t0=5366824029876450 m=25,=21
*** t0=5367564677072344 m=21,=23
*** t0=5367593640536005 m=28,=22
*** t0=5368116369755214 m=22,=21
*** t0=5368711473540699 m=21,=21
*** t0=5369676077983962 m=22,=22
*** t0=5370151705543448 m=21,=22
*** t0=5370423114647886 m=21,=22
*** t0=5371731761417834 m=21,=23
*** t0=5373107493364742 m=23,=21
*** t0=5373230153164445 m=21,=27
*** t0=5373616672460274 m=22,=22
*** t0=5373676774008279 m=23,=21
*** t0=5376176947175499 m=21,=23
*** t0=5380557007044982 m=22,=21
*** t0=5381017354166051 m=22,=22
*** t0=5381727682631965 m=21,=21
*** t0=5382059927894555 m=26,=21
*** t0=5382976021084418 m=21,=22
*** t0=5384414481131160 m=21,=23
*** t0=5386693112940527 m=21,=24
*** t0=5386792318825791 m=23,=21
*** t0=5389964400904331 m=22,=26
*** t0=5392921555571329 m=21,=25
*** t0=5393181201838293 m=21,=21
*** t0=5396180703266689 m=21,=21
*** t0=5401448347666846 m=21,=23
*** t0=5402401518342008 m=21,=21
*** t0=5402631794768191 m=22,=22
*** t0=5402802850234666 m=21,=21
*** t0=5404108689688514 m=21,=21
*** t0=5405953372191339 m=24,=21
*** t0=5406004118846545 m=21,=21
*** t0=5406176526666383 m=22,=21
*** t0=5410058042059214 m=23,=22
*** t0=5410091298240703 m=21,=21
*** t0=5413694682083529 m=21,=22
*** t0=5413928604520250 m=23,=24
*** t0=5414379530751971 m=21,=24
*** t0=5415376140168697 m=25,=25
*** t0=5416467837175996 m=23,=21
*** t0=5416554107178831 m=21,=23
*** t0=5417338725008044 m=24,=21
*** t0=5417483446806122 m=22,=23
*** t0=5417670405383059 m=21,=21
*** t0=5418268551262592 m=22,=21
*** t0=5422577949850652 m=22,=21
*** t0=5422863197841867 m=21,=23
*** t0=5423544532355832 m=21,=21
*** t0=5425661077674126 m=22,=21
*** t0=5427110563276758 m=21,=22
*** t0=5427388605661463 m=24,=21
*** t0=5429984965523139 m=22,=21
*** t0=5430436643749176 m=21,=21
*** t0=5431491692555205 m=21,=22
*** t0=5431735933392079 m=24,=23
*** t0=5434228003657189 m=22,=21
*** t0=5435432835567304 m=21,=21
*** t0=5435926878257881 m=21,=21
*** t0=5436187982521645 m=22,=21
*** t0=5436427628367004 m=24,=21
*** t0=5438086552392979 m=22,=21
*** t0=5438484676163736 m=21,=21
*** t0=5438683901931741 m=21,=21
*** t0=5439241791435424 m=21,=24
*** t0=5439481297674118 m=24,=21
*** t0=5440811741362640 m=22,=21
*** t0=5441838411741735 m=22,=23
*** t0=5442280862131605 m=23,=21
*** t0=5444168414358401 m=21,=21
*** t0=5444994519889351 m=22,=21
*** t0=5446867916873974 m=21,=26
*** t0=5448081287562286 m=22,=21
*** t0=5448780459422108 m=23,=21
*** t0=5449417200932746 m=26,=21
*** t0=5449677897367692 m=21,=23
*** t0=5449905382000690 m=24,=22
*** t0=5449930276619890 m=21,=22
*** t0=5450055236672842 m=21,=21
*** t0=5450939817679133 m=21,=24
*** t0=5451037717245211 m=23,=21
*** t0=5451266056323977 m=21,=24
*** t0=5451403173139915 m=22,=23
*** t0=5451549375700135 m=21,=26
*** t0=5452423849544164 m=21,=21
*** t0=5460418455721758 m=21,=22
*** t0=5461800053754267 m=22,=25
*** t0=5463589925061300 m=21,=23
*** t0=5464306379901657 m=22,=24
*** t0=5468853242114340 m=21,=21
*** t0=5470639318057254 m=22,=21
*** t0=5470685401393884 m=21,=22
*** t0=5472326550688057 m=24,=24
*** t0=5476406416881620 m=25,=21
*** t0=5476631468110637 m=22,=23
*** t0=5478858513546051 m=21,=22
*** t0=5479385075180877 m=23,=21
*** t0=5479477677930746 m=21,=24
*** t0=5479983688842249 m=22,=21
*** t0=5480187172133822 m=22,=22
*** t0=5480985809398820 m=26,=21
*** t0=5481015658999659 m=22,=21
*** t0=5483220553268128 m=22,=21
*** t0=5484015593657792 m=24,=22
*** t0=5485381756216318 m=23,=21
*** t0=5485388685592512 m=21,=21
*** t0=5486096105570492 m=21,=21
*** t0=5489539088662335 m=23,=22
*** t0=5490462197471273 m=22,=21
*** t0=5491069103611222 m=21,=21
*** t0=5491120779942486 m=21,=21
*** t0=5491594510262287 m=21,=21
*** t0=5492417250587157 m=21,=22
*** t0=5493131224187349 m=23,=22
*** t0=5494396781813027 m=21,=28
*** t0=5500797097807005 m=22,=21
*** t0=5502066941891332 m=21,=22
*** t0=5504421393213218 m=22,=21
*** t0=5507024925718817 m=25,=21
*** t0=5507836158111739 m=21,=22
*** t0=5508893972397158 m=22,=23
*** t0=5511037110625995 m=22,=22
*** t0=5512137066499421 m=22,=22
*** t0=5512918176716416 m=22,=25
*** t0=5513493183235662 m=21,=21
*** t0=5516989040971050 m=25,=22
*** t0=5517403010550515 m=21,=21
*** t0=5518732056235757 m=21,=21
*** t0=5519117443212723 m=21,=22
*** t0=5519287147499807 m=22,=21
*** t0=5519712851014852 m=22,=22
*** t0=5520130570413912 m=21,=21
*** t0=5520766745499316 m=22,=22
*** t0=5520927467337650 m=21,=22
*** t0=5521734812357842 m=21,=21
*** t0=5523333240381957 m=21,=21
*** t0=5523563128006225 m=21,=22
*** t0=5523755105141165 m=23,=23
*** t0=5523778819891248 m=24,=24
*** t0=5524022068565475 m=21,=21
*** t0=5524914743138940 m=22,=21
*** t0=5525139394664162 m=21,=22
*** t0=5525278707519789 m=22,=21
*** t0=5526544873990884 m=21,=26
*** t0=5528463794396658 m=21,=24
*** t0=5530129586480513 m=22,=23
*** t0=5530208059619850 m=21,=21
*** t0=5531056575592155 m=21,=21
*** t0=5532893213152332 m=21,=22
*** t0=5533137416307416 m=23,=22
*** t0=5536571142192618 m=22,=27
*** t0=5537192368556869 m=23,=23
*** t0=5538899107126814 m=22,=21
*** t0=5540153074246509 m=22,=22
*** t0=5540278638607693 m=21,=21
*** t0=5540997906925780 m=22,=22
*** t0=5542441140571430 m=23,=21
*** t0=5543553356053513 m=22,=23
*** t0=5544712244320408 m=21,=25
*** t0=5545214234925087 m=21,=21
*** t0=5546197428740101 m=21,=22
*** t0=5546368146073362 m=21,=21
*** t0=5547304942097423 m=25,=21
*** t0=5547515603030867 m=21,=21
*** t0=5547824365439393 m=21,=24
*** t0=5552019444899635 m=24,=21
*** t0=5552287472295239 m=21,=22
*** t0=5552814479807441 m=21,=22
*** t0=5553173975678564 m=25,=23
*** t0=5553424416277634 m=22,=21
*** t0=5555671786178674 m=23,=22
*** t0=5556846976569997 m=22,=22
*** t0=5557342523106191 m=21,=21
*** t0=5558842012396743 m=23,=21
*** t0=5559847033638750 m=21,=23
*** t0=5562316234757662 m=27,=22
*** t0=5566277217513508 m=23,=22
*** t0=5566908731646756 m=24,=24
*** t0=5569851507262326 m=21,=21
*** t0=5571211664611892 m=21,=22
*** t0=5572347697300961 m=25,=22
*** t0=5573440047123879 m=25,=25
*** t0=5574599391917816 m=22,=22
*** t0=5574802292917949 m=24,=23
*** t0=5575885103257692 m=22,=23
*** t0=5576710588692322 m=21,=21
*** t0=5578563194904755 m=24,=22
*** t0=5579970487731532 m=22,=26
*** t0=5583211570411291 m=21,=23
*** t0=5583525825209321 m=21,=21
*** t0=5587587861649933 m=24,=22
*** t0=5588161445421579 m=21,=22
*** t0=5590083983591637 m=21,=22
*** t0=5592143222438080 m=21,=22
*** t0=5592329668524565 m=22,=21
*** t0=5595863346094444 m=21,=21
*** t0=5596496976809765 m=21,=23
*** t0=5597459447200734 m=21,=21
*** t0=5597595049540782 m=23,=22
*** t0=5597830606201809 m=21,=21
*** t0=5599077683538377 m=21,=21
*** t0=5601715018029887 m=21,=22
*** t0=5601901269463780 m=21,=23
*** t0=5602054435366355 m=21,=21
*** t0=5605319527849011 m=22,=23
*** t0=5605849058580610 m=27,=22
*** t0=5605859071179133 m=23,=22
*** t0=5606112766056966 m=21,=21
*** t0=5606176162214720 m=22,=21
*** t0=5607695531074286 m=21,=21
*** t0=5609219230098289 m=21,=22
*** t0=5610438557090633 m=21,=23
*** t0=5612371219894114 m=21,=21
*** t0=5613222395224435 m=24,=21
*** t0=5613376431898334 m=22,=23
*** t0=5614040396218345 m=21,=24
*** t0=5615628191686761 m=22,=21
*** t0=5616942801718564 m=21,=24
*** t0=5618438187553117 m=21,=26
*** t0=5620300778769403 m=21,=24
*** t0=5620526240068736 m=21,=21
*** t0=5620955951219137 m=21,=24
*** t0=5624141214541577 m=21,=21
*** t0=5624505321132864 m=21,=24
*** t0=5627475050349448 m=21,=22
*** t0=5627580034531579 m=24,=22
*** t0=5628051212435709 m=22,=25
*** t0=5630587769487855 m=25,=21
*** t0=5630842968973151 m=21,=21
*** t0=5632163352879253 m=22,=21
*** t0=5632662009800625 m=24,=21
*** t0=5633022670228964 m=22,=25
*** t0=5634434211461163 m=21,=21
*** t0=5635130700733279 m=21,=22
*** t0=5635244123244253 m=21,=21
*** t0=5636480988484252 m=22,=23
*** t0=5637549197713404 m=22,=22
*** t0=5638453763489251 m=21,=21
*** t0=5638765083378387 m=21,=24
*** t0=5639610104269786 m=22,=21
*** t0=5640833898301458 m=21,=21
*** t0=5642682755669545 m=22,=21
*** t0=5643306141611942 m=24,=21
*** t0=5644883563904101 m=24,=21
*** t0=5646889928685065 m=21,=21
*** t0=5648650884182700 m=21,=24
*** t0=5649365931714882 m=21,=22
*** t0=5649770325300778 m=21,=22
*** t0=5650472973029223 m=22,=23
*** t0=5650495579245106 m=22,=24
*** t0=5651352387991528 m=21,=22
*** t0=5653246543314774 m=21,=21
*** t0=5657016640097807 m=21,=21
*** t0=5657274444905855 m=21,=22
*** t0=5657300850402505 m=22,=27
*** t0=5660454845270594 m=22,=21
*** t0=5660734251574801 m=21,=22
*** t0=5661432416540335 m=21,=23
*** t0=5662814808175408 m=21,=24
*** t0=5663909947329917 m=22,=21
*** t0=5664331920165386 m=22,=25
*** t0=5667496004157448 m=21,=22
*** t0=5668981746368303 m=21,=21
*** t0=5669457147625270 m=21,=21
*** t0=5669610486117767 m=24,=23
*** t0=5670944168424862 m=21,=23
*** t0=5671825486497439 m=22,=21
*** t0=5672176401760982 m=23,=23
*** t0=5674222186809019 m=21,=21
*** t0=5675233619815418 m=24,=22
*** t0=5676891103806092 m=21,=21
*** t0=5680369952044216 m=22,=23
*** t0=5680438262971075 m=21,=26
*** t0=5686565298799283 m=21,=22
*** t0=5687185059199926 m=24,=21
*** t0=5687691850501794 m=21,=21
*** t0=5689340868447744 m=24,=22
*** t0=5693329209141684 m=22,=21
*** t0=5693360103974147 m=22,=22
*** t0=5696090381970020 m=22,=21
*** t0=5696500269073467 m=22,=22
*** t0=5698206893063339 m=23,=21
*** t0=5699402322208196 m=23,=21
*** t0=5699719279312788 m=26,=22
*** t0=5700952991847092 m=21,=21
*** t0=5701342622480884 m=24,=21
*** t0=5701507181322959 m=21,=21
*** t0=5701675527564364 m=21,=22
*** t0=5702498039238932 m=21,=21
*** t0=5702765661279645 m=22,=21
*** t0=5705242458932554 m=21,=22
*** t0=5705645286243013 m=21,=21
*** t0=5706304547687682 m=22,=21
*** t0=5707040590809464 m=21,=21
*** t0=5707244714380889 m=21,=23
*** t0=5707933477131795 m=26,=21
*** t0=5708194044619809 m=22,=21
*** t0=5709209670918263 m=21,=21
*** t0=5710548115782022 m=22,=22
*** t0=5712478611507551 m=21,=23
*** t0=5714251372669483 m=23,=21
*** t0=5714499432667697 m=21,=22
*** t0=5716430178498764 m=22,=23
*** t0=5718024507347912 m=21,=22
*** t0=5718188755151403 m=21,=21
*** t0=5718385213836458 m=21,=21
*** t0=5719350907896540 m=22,=22
*** t0=5719554441470162 m=21,=22
*** t0=5720645282181886 m=22,=21
*** t0=5724196334554751 m=24,=27
*** t0=5724720564148906 m=24,=21
*** t0=5725763826706840 m=22,=21
*** t0=5725768114581112 m=21,=21
*** t0=5727711300086963 m=22,=21
*** t0=5728988725006152 m=21,=21
*** t0=5730507734286317 m=22,=21
*** t0=5733235322596548 m=23,=22
*** t0=5734641846708161 m=23,=21
*** t0=5735099840407879 m=22,=21
*** t0=5736118620182642 m=21,=21
*** t0=5737201967600299 m=21,=21
*** t0=5737741477914102 m=21,=23
*** t0=5739548059563470 m=21,=24
*** t0=5741315085956867 m=21,=22
*** t0=5741567139192114 m=22,=22
*** t0=5742024819416582 m=23,=21
*** t0=5747341177596932 m=21,=22
*** t0=5747758172161880 m=22,=21
*** t0=5748421492434115 m=22,=22
*** t0=5748772269834098 m=21,=23
*** t0=5749134215418941 m=21,=21
*** t0=5749967831945858 m=22,=23
*** t0=5751944867476221 m=22,=22
*** t0=5751967284859197 m=21,=21
*** t0=5754233217281643 m=22,=22
*** t0=5754290944459688 m=23,=21
*** t0=5754567981596112 m=21,=21
*** t0=5755924242308369 m=22,=21
*** t0=5756664826993081 m=22,=21
*** t0=5756803251893331 m=24,=23
*** t0=5757202530588328 m=21,=21
*** t0=5757947543285846 m=21,=22
*** t0=5759549333846043 m=22,=22
*** t0=5760438608098394 m=21,=21
*** t0=5760903083982525 m=21,=21
*** t0=5761806573402285 m=22,=21
*** t0=5762074856535664 m=21,=23
*** t0=5765975681772322 m=21,=21
*** t0=5766001864245380 m=25,=21
*** t0=5767208509718933 m=22,=22
*** t0=5769595560464067 m=22,=23
*** t0=5769791118433585 m=24,=21
*** t0=5771835225579283 m=21,=23
*** t0=5773062901386414 m=21,=22
*** t0=5775045479757781 m=21,=21
*** t0=5776033309237947 m=21,=21
*** t0=5778318891989452 m=21,=22
*** t0=5781752515572147 m=22,=22
*** t0=5782039963116440 m=21,=21
*** t0=5782798993743485 m=23,=21
*** t0=5783631598970738 m=23,=22
*** t0=5783732746100162 m=23,=21
*** t0=5783954269999324 m=21,=23
*** t0=5784641204718701 m=23,=21
*** t0=5786298189865950 m=21,=21
*** t0=5787067208417560 m=22,=21
*** t0=5788496436131769 m=21,=21
*** t0=5789143246704419 m=22,=24
*** t0=5792464142021257 m=21,=22
*** t0=5793445103310328 m=21,=21
*** t0=5794922947409295 m=24,=22
*** t0=5795611381806124 m=22,=22
*** t0=5796528825214187 m=21,=21
*** t0=5797879906676301 m=23,=23
*** t0=5798179862254060 m=22,=21
*** t0=5798189900157842 m=21,=23
*** t0=5802279479603410 m=25,=28
*** t0=5802290037158661 m=21,=21
*** t0=5803080119233826 m=21,=21
*** t0=5804386877866404 m=21,=21
*** t0=5805509245807531 m=25,=21
*** t0=5805762561243536 m=21,=22
*** t0=5806487185393418 m=22,=22
*** t0=5806610165717154 m=21,=22
*** t0=5809148044839995 m=21,=26
*** t0=5811429773102273 m=21,=22
*** t0=5813561717369150 m=22,=21
*** t0=5814621263301070 m=26,=21
*** t0=5814801186166364 m=23,=21
*** t0=5817977317923773 m=21,=25
*** t0=5823231611497777 m=22,=21
*** t0=5823465649414415 m=21,=21
*** t0=5823776622215969 m=23,=22
*** t0=5825277297162070 m=21,=23
*** t0=5826057681706629 m=21,=25
*** t0=5826476123250639 m=21,=21
*** t0=5828615831564841 m=21,=21
*** t0=5829746983764999 m=21,=24
*** t0=5830631495091663 m=22,=21
*** t0=5831696826636348 m=22,=23
*** t0=5831786953801551 m=21,=21
*** t0=5833344507756065 m=21,=23
*** t0=5835012788928173 m=21,=21
*** t0=5835338388985505 m=21,=21
*** t0=5837193121780791 m=21,=23
*** t0=5838410761150147 m=22,=21
*** t0=5839355528076951 m=21,=22
*** t0=5839418644453355 m=22,=23
*** t0=5839774445480782 m=21,=21
*** t0=5840551541510598 m=21,=21
*** t0=5841178437943130 m=24,=22
*** t0=5841668767168529 m=24,=23
*** t0=5842475890827278 m=22,=21
*** t0=5842783717770767 m=24,=22
*** t0=5843764080385498 m=22,=21
*** t0=5844118715464143 m=21,=21
*** t0=5844192671172270 m=21,=22
*** t0=5844464139798318 m=23,=21
*** t0=5845102801639165 m=21,=22
*** t0=5845261891344338 m=22,=22
*** t0=5846258159858259 m=22,=21
*** t0=5846669090132659 m=21,=22
*** t0=5847775957881484 m=24,=26
*** t0=5848650158063927 m=22,=22
*** t0=5848980866175483 m=22,=21
*** t0=5848997537093702 m=21,=21
*** t0=5850125818261197 m=23,=21
*** t0=5852271420513470 m=26,=22
*** t0=5852587653421060 m=22,=23
*** t0=5853253389437252 m=29,=21
*** t0=5856714642258423 m=21,=22
*** t0=5857053177807356 m=23,=21
*** t0=5857370241318192 m=23,=21
*** t0=5859125388436133 m=21,=21
*** t0=5859550752872300 m=23,=22
*** t0=5862346278633703 m=21,=22
*** t0=5863299097251280 m=21,=22
*** t0=5864873949390869 m=24,=21
*** t0=5865028110810697 m=21,=27
*** t0=5865066359108184 m=21,=21
*** t0=5865622085096160 m=21,=22
*** t0=5866500579695532 m=21,=23
*** t0=5867001836054323 m=21,=21
*** t0=5867684995929790 m=23,=21
*** t0=5868843248682342 m=21,=22
*** t0=5870525643702763 m=22,=29
*** t0=5871661817104684 m=25,=25
*** t0=5871686157295329 m=23,=23
*** t0=5872231588430609 m=24,=25
*** t0=5873392769954826 m=22,=25
*** t0=5874044007671896 m=22,=21
*** t0=5874322191751935 m=21,=24
*** t0=5874372627642142 m=21,=21
*** t0=5874981724414023 m=21,=21
*** t0=5875125912144786 m=23,=23
*** t0=5875254636748134 m=24,=21
*** t0=5875596834471798 m=21,=21
*** t0=5875605674357123 m=21,=22
*** t0=5875616220115296 m=22,=21
*** t0=5875625466120263 m=21,=22
*** t0=5876593384227342 m=21,=21
*** t0=5877167154091208 m=21,=22
*** t0=5878492555994372 m=21,=21
*** t0=5878553454830588 m=22,=22
*** t0=5881701060959461 m=21,=21
*** t0=5882943141125335 m=21,=21
*** t0=5883729879520808 m=27,=24
*** t0=5885046164285569 m=22,=22
*** t0=5885642887642573 m=21,=23
*** t0=5885690462713087 m=23,=22
*** t0=5885824716124921 m=21,=21
*** t0=5886109295921840 m=22,=21
*** t0=5887628711812404 m=21,=22
*** t0=5887834332880298 m=22,=21
*** t0=5888247581766746 m=21,=22
*** t0=5889402440633324 m=23,=21
*** t0=5889789980022361 m=27,=21
*** t0=5890979497233658 m=21,=21
*** t0=5896399649244434 m=21,=21
*** t0=5896918267067029 m=26,=25
*** t0=5898175424994278 m=23,=21
*** t0=5901125103514184 m=21,=21
*** t0=5901139835704667 m=24,=21
*** t0=5901313767377538 m=21,=22
*** t0=5902946433020484 m=21,=21
*** t0=5903078295497702 m=21,=22
*** t0=5904621168547006 m=21,=21
*** t0=5904959953562271 m=21,=22
*** t0=5906298804671061 m=21,=23
*** t0=5908978090822471 m=21,=23
*** t0=5909865578835613 m=24,=21
*** t0=5909891950131177 m=21,=21
*** t0=5910164250892243 m=22,=21
*** t0=5910288203046470 m=21,=21
*** t0=5910485715482210 m=21,=21
*** t0=5910713104578561 m=22,=23
*** t0=5911135490407908 m=22,=21
*** t0=5912265442778336 m=22,=21
*** t0=5912790377234235 m=22,=21
*** t0=5913277958437720 m=23,=22
*** t0=5914419514426426 m=21,=23
*** t0=5914649343272867 m=21,=22
*** t0=5915412038243565 m=23,=21
*** t0=5916485589562976 m=21,=27
*** t0=5917418289567237 m=21,=21
*** t0=5918230695815442 m=22,=22
*** t0=5919297439247072 m=22,=23
*** t0=5919611555383406 m=24,=21
*** t0=5920446619849373 m=22,=22
*** t0=5921622764978468 m=23,=21
*** t0=5925299713640078 m=21,=26
*** t0=5925535473029053 m=22,=23
*** t0=5930445753143882 m=21,=21
*** t0=5935733024179551 m=21,=22
*** t0=5936114545387737 m=22,=22
*** t0=5937350610467654 m=22,=22
*** t0=5937933925682221 m=21,=21
*** t0=5939245404830334 m=23,=21
*** t0=5943528411204357 m=21,=23
*** t0=5945197020040523 m=27,=22
*** t0=5946652801701603 m=23,=21
*** t0=5946723246593944 m=22,=21
*** t0=5947887659132229 m=23,=21
*** t0=5950976912392224 m=21,=21
*** t0=5951397208597247 m=22,=23
*** t0=5952146112070852 m=23,=22
*** t0=5952818483595899 m=22,=23
*** t0=5954409364756388 m=22,=23
*** t0=5954506479094657 m=21,=21
*** t0=5955237909538472 m=23,=21
*** t0=5956311805834877 m=21,=21
*** t0=5957190314238499 m=22,=21
*** t0=5958474978038340 m=22,=22
*** t0=5958643426045921 m=23,=22
*** t0=5960314520716106 m=23,=21
*** t0=5961887075137177 m=23,=21
*** t0=5962410436410647 m=21,=21
*** t0=5963055783262540 m=24,=21
*** t0=5964388200504887 m=21,=21
*** t0=5965172960063303 m=21,=21
*** t0=5968134859796181 m=21,=24
*** t0=5968207326539941 m=21,=21
*** t0=5969286586013862 m=23,=22
*** t0=5970118140775407 m=21,=25
*** t0=5970221565665389 m=22,=25
*** t0=5971681224004666 m=21,=23
*** t0=5971924048889584 m=21,=24
*** t0=5972281070531624 m=21,=22
*** t0=5973227689944403 m=21,=24
*** t0=5973434924505282 m=21,=21
*** t0=5975855982673888 m=21,=21
*** t0=5978710024012171 m=22,=21
*** t0=5978800132823940 m=21,=23
*** t0=5978973026246996 m=21,=25
*** t0=5979986411685299 m=21,=21
*** t0=5980214530080487 m=22,=21
*** t0=5980272996630379 m=23,=23
*** t0=5980651638437319 m=21,=21
*** t0=5981240743574032 m=21,=22
*** t0=5983292372408809 m=21,=21
*** t0=5983347390847032 m=21,=21
*** t0=5984258816053918 m=22,=21
*** t0=5984647501916088 m=23,=22
*** t0=5986979592387332 m=23,=21
*** t0=5989273423565069 m=21,=23
*** t0=5990759618870998 m=23,=24
*** t0=5991876006972829 m=21,=23
*** t0=5992088100681442 m=21,=22
*** t0=5992548398747132 m=23,=21
*** t0=5994841337625158 m=21,=21
*** t0=5995501783502891 m=21,=22
*** t0=5998153052936306 m=22,=21
*** t0=5998482098037181 m=23,=21
*** t0=6001906713397313 m=22,=21
*** t0=6001978839025364 m=22,=21
*** t0=6002377474023324 m=21,=21
*** t0=6002409610705082 m=21,=23
*** t0=6002592753576554 m=21,=21
*** t0=6004150227124076 m=21,=21
*** t0=6006266374886455 m=24,=21
*** t0=6007429417668887 m=22,=21
*** t0=6007965437881336 m=23,=23
*** t0=6009087829716962 m=21,=22
*** t0=6009099711352188 m=21,=22
*** t0=6009879589349764 m=22,=22
*** t0=6009936286224838 m=21,=21
*** t0=6010965018093784 m=26,=22
*** t0=6011486945362981 m=21,=22
*** t0=6011775810992563 m=21,=21
*** t0=6014397624037797 m=23,=21
*** t0=6015522040553486 m=22,=23
*** t0=6017023915747646 m=23,=21
*** t0=6017358187727268 m=21,=21
*** t0=6021034479113337 m=21,=21
*** t0=6021717247141789 m=21,=21
*** t0=6022153465061349 m=21,=21
*** t0=6024113471525224 m=21,=22
*** t0=6024420649641414 m=27,=25
*** t0=6025951355400580 m=23,=22
*** t0=6027741413609412 m=21,=23
*** t0=6028247851269227 m=21,=21
*** t0=6028392075078946 m=22,=21
*** t0=6029392522516226 m=21,=24
*** t0=6029571283355775 m=21,=23
*** t0=6029649865934187 m=21,=26
*** t0=6031464900439938 m=21,=21
*** t0=6032343152217139 m=23,=22
*** t0=6033574609561055 m=21,=21
*** t0=6035274131981847 m=22,=22
*** t0=6035292490194813 m=21,=21
*** t0=6037071245330427 m=21,=23
*** t0=6038205324350544 m=21,=21
*** t0=6038562263481823 m=23,=23
*** t0=6040030381090774 m=22,=24
*** t0=6040931320426568 m=21,=21
*** t0=6041266992896115 m=22,=23
*** t0=6041917016938364 m=21,=22
*** t0=6046756992673049 m=21,=21
*** t0=6048916741329994 m=21,=22
*** t0=6048995998509927 m=25,=22
*** t0=6049775890251233 m=23,=21
*** t0=6051337444350933 m=23,=23
*** t0=6053345899084652 m=22,=22
*** t0=6053563103257868 m=22,=26
*** t0=6054272251381268 m=27,=23
*** t0=6054468447746572 m=21,=22
*** t0=6054769082070521 m=27,=22
*** t0=6055070178217404 m=22,=22
*** t0=6055718399221657 m=24,=22
*** t0=6058118820303127 m=22,=23
*** t0=6058509219844774 m=21,=21
*** t0=6059201302936030 m=21,=21
*** t0=6061403893433374 m=24,=22
*** t0=6062467448305480 m=22,=21
*** t0=6062483960270765 m=24,=21
*** t0=6062639679964678 m=21,=23
*** t0=6069853197789425 m=22,=24
*** t0=6070104729889478 m=21,=22
*** t0=6070701228616500 m=22,=21
*** t0=6070888356910951 m=21,=21
*** t0=6072777198400328 m=21,=25
*** t0=6073487377505635 m=21,=23
*** t0=6073957932777136 m=21,=21
*** t0=6074967839776308 m=23,=23
*** t0=6076786765826433 m=22,=21
*** t0=6077277952515408 m=21,=24
*** t0=6077918793794458 m=21,=22
*** t0=6078032414431737 m=21,=24
*** t0=6079467662695798 m=21,=22
*** t0=6079561753503916 m=21,=21
*** t0=6079969666933465 m=21,=21
*** t0=6080301399579249 m=23,=21
*** t0=6084296119750558 m=22,=24
*** t0=6087099787984901 m=22,=21
*** t0=6087686428359724 m=22,=21
*** t0=6089225014384479 m=21,=23
*** t0=6091002158667838 m=21,=24
*** t0=6091002225453422 m=21,=22
*** t0=6091979008479589 m=21,=24
*** t0=6094012417312044 m=21,=26
*** t0=6095249063919883 m=21,=21
*** t0=6097051388025184 m=22,=21
*** t0=6098476272618438 m=22,=21
*** t0=6098820259082004 m=21,=22
*** t0=6100589700212386 m=22,=21
*** t0=6100988120015682 m=21,=21
*** t0=6103657819681828 m=22,=21
*** t0=6103743742266976 m=21,=23
*** t0=6104801770921377 m=24,=23
*** t0=6104964410733325 m=23,=21
*** t0=6105330619492692 m=21,=21
*** t0=6110724638821833 m=23,=24
*** t0=6112142249021873 m=24,=21
*** t0=6113760276820616 m=22,=23
*** t0=6115701436960916 m=21,=25
*** t0=6115903945638730 m=25,=21
*** t0=6116246392348412 m=21,=21
*** t0=6117875062839922 m=23,=21
*** t0=6118600816247786 m=21,=21
*** t0=6119755692458960 m=21,=28
*** t0=6119910892565446 m=21,=22
*** t0=6120934177618881 m=21,=21
*** t0=6122010449097677 m=21,=25
*** t0=6122265896250183 m=21,=23
*** t0=6122937226988642 m=28,=24
*** t0=6123616744528390 m=23,=21
*** t0=6124861019835881 m=21,=21
*** t0=6126569103895187 m=21,=21
*** t0=6127888387301281 m=23,=25
*** t0=6128464837997049 m=21,=21
*** t0=6128941283370933 m=24,=22
*** t0=6130302719104001 m=23,=21
*** t0=6130383999916765 m=22,=23
*** t0=6131248006196837 m=22,=21
*** t0=6131296751978744 m=23,=23
*** t0=6132111228870549 m=23,=21
*** t0=6132740507827863 m=21,=22
*** t0=6132866521732765 m=24,=21
*** t0=6138363193813935 m=23,=22
*** t0=6138371944535745 m=24,=23
*** t0=6139574680719360 m=21,=26
*** t0=6141869256925977 m=21,=22
*** t0=6142074205237191 m=22,=21
*** t0=6142623824386348 m=26,=29
*** t0=6142753752957684 m=21,=21
*** t0=6143808846872132 m=22,=24
*** t0=6143961224294763 m=23,=21
*** t0=6144756454066550 m=23,=25
*** t0=6145127359341002 m=21,=21
*** t0=6145485137225852 m=22,=21
*** t0=6145636210054200 m=21,=23
*** t0=6146579328769608 m=21,=22
*** t0=6146723370405426 m=22,=22
*** t0=6148804215322140 m=21,=21
*** t0=6149236008458842 m=21,=21
*** t0=6149319833374213 m=22,=21
*** t0=6149593110204489 m=23,=21
*** t0=6150159213262728 m=21,=22
*** t0=6150233126781898 m=21,=24
*** t0=6151580313853071 m=23,=23
*** t0=6152203396773103 m=24,=21
*** t0=6152366814174950 m=21,=21
*** t0=6152954407632571 m=22,=24
*** t0=6153982973066442 m=24,=21
*** t0=6154584224374719 m=21,=21
*** t0=6154896586138729 m=24,=21
*** t0=6155869303335218 m=23,=21
*** t0=6157029963192868 m=25,=22
*** t0=6157947232462412 m=21,=23
*** t0=6158170624505790 m=23,=22
*** t0=6158956054247853 m=21,=22
*** t0=6159536591329373 m=25,=24
*** t0=6160188769277906 m=24,=21
*** t0=6160565873622968 m=21,=23
*** t0=6161371317608205 m=21,=23
*** t0=6166677711261261 m=22,=22
*** t0=6167318234830583 m=21,=21
*** t0=6169570457331446 m=25,=22
*** t0=6173822145487154 m=22,=22
*** t0=6174440268912145 m=21,=22
*** t0=6175205874152093 m=22,=26
*** t0=6177297663109398 m=24,=22
*** t0=6178726076285545 m=21,=21
*** t0=6178819303817371 m=27,=21
*** t0=6179297837300887 m=21,=21
*** t0=6179587295646216 m=21,=21
*** t0=6179868062320435 m=24,=23
*** t0=6183481333583080 m=23,=24
*** t0=6183536900159576 m=23,=22
*** t0=6183841891152718 m=21,=23
*** t0=6183845628009385 m=21,=23
*** t0=6184122314017807 m=21,=21
*** t0=6184580498317287 m=23,=21
*** t0=6184794978654947 m=22,=22
*** t0=6186734587239556 m=21,=23
*** t0=6192367824273898 m=21,=22
*** t0=6192554533442401 m=23,=21
*** t0=6193016420978053 m=24,=21
*** t0=6198543164030857 m=21,=21
*** t0=6199152622168756 m=21,=21
*** t0=6202040861278318 m=23,=22
*** t0=6202079867438839 m=21,=23
*** t0=6202362882961859 m=22,=23
*** t0=6203809349484473 m=23,=22
*** t0=6206139992502107 m=21,=21
*** t0=6206722370993915 m=23,=22
*** t0=6212444081333067 m=21,=23
*** t0=6213167262922510 m=22,=21
*** t0=6214392650943810 m=21,=23
*** t0=6215574202290427 m=21,=24
*** t0=6216210753943580 m=21,=21
*** t0=6217016027207850 m=21,=22
*** t0=6217080209959668 m=21,=23
*** t0=6217949546297353 m=21,=24
*** t0=6218759138362849 m=22,=22
*** t0=6219022623916640 m=21,=26
*** t0=6219048083585246 m=21,=26
*** t0=6220951369702906 m=21,=22
*** t0=6228148905805210 m=21,=25
*** t0=6228175171488327 m=23,=21
*** t0=6228760157895815 m=24,=22
*** t0=6230139745154208 m=24,=22
*** t0=6232270465785330 m=21,=21
*** t0=6232798261903463 m=21,=21
*** t0=6235216566299124 m=21,=21
*** t0=6236327482056103 m=22,=22
*** t0=6237816410396061 m=21,=24
*** t0=6238403245782534 m=22,=21
*** t0=6239234241936636 m=22,=21
*** t0=6241372072762321 m=21,=22
*** t0=6242120831906103 m=23,=21
*** t0=6242622071490589 m=21,=21
*** t0=6244893169816990 m=21,=21
*** t0=6245377536267615 m=21,=22
*** t0=6245812263624549 m=24,=22
*** t0=6246335513252494 m=23,=21
*** t0=6247462410656131 m=21,=24
*** t0=6248429694462126 m=22,=26
*** t0=6250352017207602 m=22,=22
*** t0=6255527729743458 m=23,=21
*** t0=6255995156377455 m=21,=21
*** t0=6256577128305687 m=21,=23
*** t0=6257151734310532 m=21,=23
*** t0=6257487511751393 m=22,=21
*** t0=6257918161802471 m=21,=21
*** t0=6260058243664880 m=21,=24
*** t0=6260201234594604 m=22,=23
*** t0=6260996867911700 m=22,=24
*** t0=6262503876022663 m=23,=21
*** t0=6264193127458377 m=21,=22
*** t0=6264927732633571 m=21,=22
*** t0=6273864107480117 m=22,=29
*** t0=6275381897475721 m=22,=22
*** t0=6275566591375396 m=21,=30
*** t0=6278463732624166 m=23,=21
*** t0=6279344450090416 m=24,=21
*** t0=6280587858202515 m=24,=22
*** t0=6280638301817994 m=22,=21
*** t0=6281357273465741 m=22,=22
*** t0=6281808790101465 m=21,=22
*** t0=6283012871476619 m=21,=21
*** t0=6283256222630562 m=22,=21
*** t0=6284175338902721 m=21,=21
*** t0=6285716533748402 m=23,=22
*** t0=6285985336962371 m=21,=21
*** t0=6286289866327421 m=22,=22
*** t0=6287219221587840 m=21,=21
*** t0=6289323731818624 m=22,=21
*** t0=6292168426514631 m=21,=21
*** t0=6292310707049841 m=22,=22
*** t0=6293533081148084 m=22,=22
*** t0=6293955480199969 m=24,=22
*** t0=6294794889170579 m=21,=21
*** t0=6295413388861579 m=21,=21
*** t0=6296692501262227 m=21,=21
*** t0=6298569448492589 m=22,=21
*** t0=6299487024353186 m=21,=21
*** t0=6299620954700147 m=21,=23
*** t0=6301000562947656 m=24,=21
*** t0=6303002587864132 m=22,=21
*** t0=6303253950481032 m=21,=21
*** t0=6303946817424774 m=21,=21
*** t0=6305457200930773 m=21,=22
*** t0=6306168956504078 m=22,=21
*** t0=6306437956286657 m=23,=22
*** t0=6306698801987848 m=21,=23
*** t0=6308112124670275 m=21,=24
*** t0=6309600907180683 m=21,=22
*** t0=6310188354197143 m=21,=22
*** t0=6315483403802091 m=22,=21
*** t0=6315819833912568 m=21,=23
*** t0=6318620569292130 m=21,=23
*** t0=6319540359674927 m=24,=21
*** t0=6321441853262290 m=21,=22
*** t0=6323133907845419 m=21,=22
*** t0=6323591951648573 m=23,=22
*** t0=6324729402546319 m=23,=21
*** t0=6326935514209879 m=21,=22
*** t0=6327480138104763 m=23,=21
*** t0=6329100003276103 m=21,=21
*** t0=6329119154284760 m=21,=22
*** t0=6330382459671215 m=21,=21
*** t0=6331424945649850 m=21,=21
*** t0=6332470937865603 m=23,=21
*** t0=6333013834796394 m=21,=22
*** t0=6333241228193544 m=22,=22
*** t0=6333735712300498 m=26,=23
*** t0=6333949287296620 m=21,=21
*** t0=6334963144613344 m=21,=21
*** t0=6335322593183800 m=24,=23
*** t0=6335935933169655 m=21,=21
*** t0=6337110007418748 m=24,=24
*** t0=6338908131695144 m=25,=22
*** t0=6342014089891238 m=21,=21
*** t0=6342441658596231 m=21,=22
*** t0=6343001887019781 m=22,=21
*** t0=6343533109055996 m=21,=21
*** t0=6344011834295175 m=21,=23
*** t0=6346958374898005 m=22,=23
*** t0=6351133540660572 m=26,=21
*** t0=6351286543240990 m=24,=23
*** t0=6352070793763857 m=21,=21
*** t0=6352343213806069 m=21,=22
*** t0=6355074832186035 m=22,=22
*** t0=6355671494359016 m=22,=22
*** t0=6356369567221864 m=25,=23
*** t0=6357193889563641 m=21,=21
*** t0=6357233759480731 m=22,=23
*** t0=6358042483596574 m=21,=24
*** t0=6359022356860615 m=22,=21
*** t0=6360891590059368 m=23,=22
*** t0=6361130383313953 m=21,=21
*** t0=6362605750025211 m=22,=21
*** t0=6363432599652844 m=23,=26
*** t0=6366450850282732 m=21,=22
*** t0=6366521179150907 m=22,=21
*** t0=6368241137492287 m=21,=21
*** t0=6368374403339697 m=21,=21
*** t0=6368785202662971 m=23,=21
*** t0=6369053961690740 m=21,=21
*** t0=6369426870153992 m=21,=22
*** t0=6369942341526193 m=21,=23
*** t0=6370123009273507 m=23,=24
*** t0=6372251320799321 m=21,=21
*** t0=6372632418995135 m=21,=23
*** t0=6372916178413411 m=21,=21
*** t0=6372921173363029 m=21,=21
*** t0=6377658728789645 m=22,=21
*** t0=6379198920726934 m=22,=24
*** t0=6379326799375558 m=23,=23
*** t0=6379545805207039 m=21,=23
*** t0=6380369220083499 m=24,=21
*** t0=6380571239061249 m=22,=22
*** t0=6381795025864311 m=21,=21
*** t0=6382548626114383 m=24,=22
*** t0=6383069944001391 m=22,=21
*** t0=6383407135482000 m=21,=24
*** t0=6384342820750812 m=25,=21
*** t0=6385120601413055 m=21,=21
*** t0=6386453155206677 m=21,=21
*** t0=6386724698049653 m=21,=21
*** t0=6387102682952882 m=22,=21
*** t0=6387129542807259 m=21,=23
*** t0=6387590286862932 m=21,=22
*** t0=6389462727758647 m=22,=21
*** t0=6390497762306638 m=24,=21
*** t0=6391089889899969 m=21,=21
*** t0=6394934329108702 m=21,=22
*** t0=6395890721576207 m=27,=21
*** t0=6399279926098341 m=21,=21
*** t0=6400079155274413 m=22,=21
*** t0=6402246315873009 m=21,=22
*** t0=6402519207676642 m=21,=21
*** t0=6402586399323083 m=21,=24
*** t0=6403016688811375 m=22,=22
*** t0=6403087645087406 m=22,=21
*** t0=6403525307809915 m=21,=21
*** t0=6404136094555397 m=23,=27
*** t0=6404339683747580 m=23,=22
*** t0=6404361471085180 m=21,=21
*** t0=6404362762569055 m=21,=23
*** t0=6405009553243235 m=21,=23
*** t0=6405258273995941 m=23,=22
*** t0=6405314209619912 m=21,=21
*** t0=6406347325825583 m=21,=21
*** t0=6406868900330045 m=21,=25
*** t0=6408989460605772 m=21,=21
*** t0=6409400388190423 m=21,=21
*** t0=6409607642082170 m=21,=23
*** t0=6410356005539119 m=22,=21
*** t0=6412001465845529 m=21,=21
*** t0=6412498017239148 m=21,=21
*** t0=6416080989766675 m=21,=21
*** t0=6416085040503397 m=21,=22
*** t0=6416457415042168 m=21,=25
*** t0=6416540336676245 m=24,=22
*** t0=6418850220880539 m=21,=21
*** t0=6419638866057248 m=21,=21
*** t0=6420566040820193 m=21,=22
*** t0=6421285264308620 m=24,=22
*** t0=6424967537123898 m=25,=21
*** t0=6426210947676799 m=22,=22
*** t0=6426644468596723 m=22,=22
*** t0=6427837523689987 m=22,=22
*** t0=6428307355458134 m=23,=21
*** t0=6430878728817774 m=23,=21
*** t0=6433457543500136 m=24,=21
*** t0=6434267236624103 m=25,=22
*** t0=6434493117269062 m=22,=22
*** t0=6435844866259700 m=22,=26
*** t0=6437857897692407 m=21,=23
*** t0=6437977471702992 m=21,=21
*** t0=6438108683772847 m=24,=21
*** t0=6438365451293233 m=23,=22
*** t0=6438813162298257 m=21,=21
*** t0=6440381079491307 m=21,=23
*** t0=6444599551195959 m=22,=22
*** t0=6444872372643192 m=21,=23
*** t0=6446016720643579 m=22,=21
*** t0=6446716043177933 m=22,=22
*** t0=6447062991783496 m=22,=22
*** t0=6447329471156590 m=25,=23
*** t0=6449430125729862 m=22,=21
*** t0=6450494867702923 m=21,=24
*** t0=6452119832798713 m=22,=24
*** t0=6453919373559525 m=21,=21
*** t0=6454253300453043 m=21,=21
*** t0=6455556847319868 m=21,=21
*** t0=6455680791065748 m=21,=21
*** t0=6459182798388084 m=21,=21
*** t0=6459430904001788 m=24,=22
*** t0=6460125794133508 m=21,=22
*** t0=6460157832292689 m=21,=22
*** t0=6460490704624102 m=28,=22
*** t0=6460726164359737 m=22,=22
*** t0=6465090747269435 m=21,=21
*** t0=6465596895987671 m=21,=23
*** t0=6466494101865385 m=22,=21
*** t0=6466686623019328 m=25,=23
*** t0=6469534120335832 m=24,=21
*** t0=6472272473182025 m=23,=24
*** t0=6472571563462976 m=22,=21
*** t0=6474127486404044 m=23,=22
*** t0=6476271542400684 m=21,=23
*** t0=6477408017114746 m=22,=21
*** t0=6482203985568017 m=26,=21
*** t0=6483824192181766 m=25,=22
*** t0=6483825461604271 m=21,=21
*** t0=6484818661912696 m=24,=22
*** t0=6486134810392929 m=22,=21
*** t0=6490166323633296 m=21,=26
*** t0=6491546553002185 m=21,=21
*** t0=6494015193928348 m=21,=21
*** t0=6498615408388176 m=21,=21
*** t0=6500940557258227 m=22,=21
*** t0=6501157258548279 m=21,=22
*** t0=6503541166410295 m=21,=21
*** t0=6506059309873934 m=21,=21
*** t0=6506361242500870 m=21,=21
*** t0=6506375132508306 m=29,=21
*** t0=6507213338154077 m=21,=22
*** t0=6507268641337797 m=32,=21
*** t0=6507338131744366 m=22,=23
*** t0=6507850440934257 m=21,=22
*** t0=6507975577684937 m=21,=21
*** t0=6510041366661781 m=21,=21
*** t0=6510352089047823 m=22,=21
*** t0=6511082343160379 m=21,=21
*** t0=6511120320260208 m=21,=21
*** t0=6511942702878672 m=21,=22
*** t0=6512722748715342 m=22,=24
*** t0=6513574659591091 m=21,=21
*** t0=6514497720773625 m=23,=22
*** t0=6514908928220896 m=22,=23
*** t0=6515326696929388 m=21,=21
*** t0=6515527451829249 m=23,=21
*** t0=6516316820406048 m=22,=23
*** t0=6516480499913074 m=24,=22
*** t0=6520263158744420 m=24,=22
*** t0=6520934248149408 m=22,=21
*** t0=6520992891327453 m=26,=21
*** t0=6521913677025641 m=21,=24
*** t0=6522988153636954 m=32,=22
*** t0=6524921048667788 m=21,=21
*** t0=6526700562883476 m=22,=22
*** t0=6528092310971252 m=24,=21
*** t0=6528391474355228 m=23,=22
*** t0=6528842765418430 m=22,=22
*** t0=6529750622720115 m=21,=23
*** t0=6531869539583927 m=21,=21
*** t0=6533223996590520 m=21,=27
*** t0=6533641629216616 m=23,=24
*** t0=6534416578452475 m=22,=23
*** t0=6534727264573127 m=22,=22
*** t0=6535706882698925 m=21,=21
*** t0=6537233575857410 m=21,=24
*** t0=6537467146208554 m=24,=22
*** t0=6538223257967054 m=21,=22
*** t0=6538584984384095 m=22,=26
*** t0=6538914851822608 m=22,=21
*** t0=6540609505145574 m=22,=21
*** t0=6540628809152864 m=21,=24
*** t0=6541336800641904 m=21,=22
*** t0=6542654587360508 m=22,=21
*** t0=6542694604090970 m=23,=22
*** t0=6545461544565727 m=21,=21
*** t0=6546000271074500 m=22,=21
*** t0=6547327697996339 m=22,=21
*** t0=6548288110740534 m=21,=22
*** t0=6550438467392728 m=21,=23
*** t0=6551200003310565 m=22,=27
*** t0=6551414244942356 m=23,=24
*** t0=6551590776367843 m=21,=22
*** t0=6552050237613735 m=21,=21
*** t0=6553397099848348 m=21,=21
*** t0=6553399776344013 m=21,=21
*** t0=6553455663033714 m=22,=21
*** t0=6554373171018206 m=25,=21
*** t0=6556836341607242 m=21,=22
*** t0=6557743942235236 m=23,=22
*** t0=6558651314292869 m=22,=21
*** t0=6559606272600929 m=22,=22
*** t0=6560348071638493 m=21,=23
*** t0=6561142907067363 m=23,=22
*** t0=6564466808924481 m=22,=21
*** t0=6565690251139395 m=32,=21
*** t0=6566633402863066 m=21,=23
*** t0=6568031339082146 m=24,=23
*** t0=6569527161541644 m=23,=23
*** t0=6570142865280133 m=22,=21
*** t0=6570710069462517 m=21,=22
*** t0=6570820348140254 m=21,=21
*** t0=6571215011504742 m=25,=21
*** t0=6576785312458914 m=22,=21
*** t0=6577118562226537 m=21,=22
*** t0=6578124466797231 m=23,=23
*** t0=6578464597988253 m=21,=23
*** t0=6579379232280794 m=22,=27
*** t0=6580050892716722 m=21,=21
*** t0=6580286880105086 m=21,=24
*** t0=6580745470768462 m=23,=22
*** t0=6584053227860427 m=22,=21
*** t0=6585118989538791 m=26,=22
*** t0=6585890458809332 m=27,=21
*** t0=6588137331463709 m=25,=22
*** t0=6588825106994414 m=22,=27
*** t0=6590567525285194 m=21,=22
*** t0=6593015385703626 m=22,=21
*** t0=6594108647846809 m=21,=21
*** t0=6595386539186272 m=21,=22
*** t0=6595435950809047 m=22,=23
*** t0=6597468023491314 m=25,=21
*** t0=6597922793893388 m=22,=21
*** t0=6598641990015719 m=26,=21
*** t0=6601048023977455 m=23,=21
*** t0=6601705483646876 m=22,=21
*** t0=6602488445916542 m=21,=21
*** t0=6604722621563178 m=21,=25
*** t0=6607745381631699 m=21,=21
*** t0=6609106748029692 m=21,=22
*** t0=6610822317010075 m=25,=24
*** t0=6611945708409053 m=24,=21
*** t0=6617167212847562 m=27,=21
*** t0=6619077969715313 m=22,=21
*** t0=6621779563146140 m=24,=25
*** t0=6622213440026540 m=22,=21
*** t0=6623044296269701 m=25,=21
*** t0=6624950403276417 m=23,=21
*** t0=6625006902174817 m=21,=21
*** t0=6626322640948211 m=22,=22
*** t0=6626477038953260 m=21,=21
*** t0=6627014041469376 m=21,=23
*** t0=6627203079676091 m=21,=21
*** t0=6628870012641151 m=21,=22
*** t0=6628953566143367 m=21,=23
*** t0=6629770863342437 m=25,=21
*** t0=6632362308083969 m=23,=21
*** t0=6632720760219460 m=22,=21
*** t0=6639056265668771 m=22,=23
*** t0=6640186306832587 m=22,=25
*** t0=6640235539587444 m=21,=22
*** t0=6640322654233986 m=22,=21
*** t0=6640547165751607 m=22,=21
*** t0=6643200793846192 m=21,=23
*** t0=6643255351017472 m=21,=21
*** t0=6644977516480155 m=21,=22
*** t0=6645273608665478 m=21,=21
*** t0=6646301021351064 m=21,=21
*** t0=6648268659581129 m=21,=22
*** t0=6648678188559823 m=22,=23
*** t0=6649793117156584 m=23,=22
*** t0=6652302003070508 m=22,=21
*** t0=6652530643565246 m=21,=21
*** t0=6655657853261881 m=21,=21
*** t0=6655890480094017 m=21,=21
*** t0=6656197785006552 m=21,=21
*** t0=6657276894402938 m=21,=30
*** t0=6657437747794272 m=21,=23
*** t0=6658159962989702 m=21,=23
*** t0=6658196280566037 m=21,=22
*** t0=6658524238987757 m=22,=21
*** t0=6658786406770326 m=23,=21
*** t0=6661088949411503 m=21,=22
*** t0=6661374704525856 m=21,=21
*** t0=6662433930453625 m=23,=24
*** t0=6663033453356464 m=22,=21
*** t0=6663429052073378 m=22,=22
*** t0=6665678948843443 m=24,=25
*** t0=6668469683334011 m=24,=21
*** t0=6669397177610604 m=21,=22
*** t0=6669740216736095 m=21,=21
*** t0=6669816412293815 m=26,=21
*** t0=6670534962692840 m=21,=22
*** t0=6674780128716773 m=22,=22
*** t0=6676120844824502 m=21,=21
*** t0=6678063740133171 m=22,=21
*** t0=6678534713872730 m=22,=23
*** t0=6679308655750445 m=23,=25
*** t0=6679965501911393 m=21,=21
*** t0=6679969773443998 m=24,=22
*** t0=6680043986834344 m=21,=21
*** t0=6683115143850417 m=21,=22
*** t0=6683836414150650 m=21,=21
*** t0=6684388037859581 m=24,=28
*** t0=6685538515965715 m=21,=23
*** t0=6685739302512330 m=21,=21
*** t0=6686192686825378 m=22,=27
*** t0=6686926507116888 m=21,=24
*** t0=6687202865410091 m=21,=21
*** t0=6687276819047512 m=21,=22
*** t0=6688138903599797 m=21,=21
*** t0=6691427549518271 m=25,=22
*** t0=6693449608830175 m=21,=22
*** t0=6694049764888758 m=21,=24
*** t0=6694203850328546 m=21,=22
*** t0=6694625869326545 m=21,=21
*** t0=6694870063955053 m=21,=22
*** t0=6694971206389225 m=25,=21
*** t0=6694994349241698 m=21,=21
*** t0=6696747366532496 m=21,=22
*** t0=6699070289052071 m=22,=21
*** t0=6704765833760110 m=21,=21
*** t0=6708092074214335 m=22,=22
*** t0=6708122514741330 m=24,=22
*** t0=6709604889729426 m=21,=21
*** t0=6710823041403261 m=22,=23
*** t0=6712127579136165 m=21,=21
*** t0=6713285592282629 m=21,=21
*** t0=6714558080158984 m=24,=21
*** t0=6717412206589478 m=21,=22
*** t0=6717702675742780 m=24,=21
*** t0=6719234808645534 m=23,=22
*** t0=6720457416625818 m=21,=22
*** t0=6722564155820203 m=21,=22
*** t0=6724560806882277 m=23,=24
*** t0=6724607467103851 m=22,=23
*** t0=6725360298752685 m=23,=21
*** t0=6726209974808113 m=22,=24
*** t0=6726445294991864 m=23,=21
*** t0=6727770917597029 m=23,=22
*** t0=6728989180499038 m=23,=22
*** t0=6729646859464128 m=21,=23
*** t0=6729686450630995 m=21,=24
*** t0=6730358449112604 m=23,=21
*** t0=6730360998387388 m=21,=22
*** t0=6731173013225553 m=21,=21
*** t0=6732025167516029 m=23,=21
*** t0=6732361676138271 m=21,=22
*** t0=6732545230999993 m=22,=25
*** t0=6733937744772674 m=21,=22
*** t0=6734867068005717 m=25,=22
*** t0=6735955922129580 m=24,=22
*** t0=6740665470445249 m=23,=21
*** t0=6741792105677477 m=21,=26
*** t0=6742886096189226 m=22,=24
*** t0=6744073965459798 m=22,=23
*** t0=6744834532925483 m=22,=21
*** t0=6746847245310382 m=22,=22
*** t0=6748505473440781 m=21,=21
*** t0=6748911247791384 m=21,=21
*** t0=6749408507345942 m=23,=21
*** t0=6749579671076307 m=21,=21
*** t0=6751966027032912 m=21,=21
*** t0=6754117074753454 m=22,=22
*** t0=6754308397717759 m=21,=21
*** t0=6757110007729318 m=21,=22
*** t0=6758562360086148 m=21,=22
*** t0=6758653170751617 m=21,=22
*** t0=6761276187804717 m=21,=21
*** t0=6761508771747611 m=21,=22
*** t0=6766552834474489 m=22,=21
*** t0=6767296990413043 m=23,=21
*** t0=6768401095085286 m=21,=25
*** t0=6768613643521682 m=21,=22
*** t0=6768698993687184 m=21,=21
*** t0=6771204434501029 m=21,=22
*** t0=6772655163163489 m=21,=21
*** t0=6772884087836596 m=21,=23
*** t0=6775662170535624 m=23,=21
*** t0=6778362899716037 m=22,=22
*** t0=6779069538639095 m=23,=21
*** t0=6779347005940149 m=21,=21
*** t0=6779399407561305 m=22,=21
*** t0=6780774348333212 m=21,=21
*** t0=6781353793419125 m=21,=23
*** t0=6781713890010947 m=27,=22
*** t0=6782703126974136 m=22,=23
*** t0=6783082452212212 m=21,=21
*** t0=6783673507226374 m=24,=22
*** t0=6783796998479997 m=21,=23
*** t0=6785540155150707 m=21,=22
*** t0=6786904369894894 m=21,=22
*** t0=6787056666511096 m=21,=22
*** t0=6787443183724543 m=22,=21
*** t0=6787866295966047 m=21,=22
*** t0=6790377352880211 m=22,=25
*** t0=6791037022028826 m=21,=22
*** t0=6792606404707248 m=24,=22
*** t0=6793124181376886 m=23,=21
*** t0=6795234935253744 m=21,=21
*** t0=6798351382949582 m=21,=27
*** t0=6800440314105527 m=22,=24
*** t0=6802875767495547 m=21,=22
*** t0=6803030486648819 m=23,=24
*** t0=6803720476760072 m=21,=29
*** t0=6803881168622261 m=21,=21
*** t0=6804258400701911 m=21,=22
*** t0=6804652709774642 m=22,=22
*** t0=6804782084565685 m=21,=21
*** t0=6805206642150610 m=21,=21
*** t0=6808013986180942 m=21,=21
*** t0=6808211586518438 m=23,=21
*** t0=6809098542297470 m=22,=22
*** t0=6809545108106604 m=21,=21
*** t0=6810447685908879 m=21,=26
*** t0=6811071065362789 m=21,=22
*** t0=6812635619260001 m=21,=27
*** t0=6814696566415956 m=21,=22
*** t0=6816913112714649 m=27,=21
*** t0=6816977578965464 m=22,=21
*** t0=6817844782411451 m=24,=21
*** t0=6817947168466746 m=22,=21
*** t0=6818160853092530 m=24,=21
*** t0=6818340350789006 m=21,=22
*** t0=6820260220830773 m=22,=21
*** t0=6820261637317350 m=21,=21
*** t0=6822261342180124 m=21,=21
*** t0=6822407936244908 m=21,=22
*** t0=6823142414423993 m=21,=21
*** t0=6823362611400876 m=22,=21
*** t0=6824264904264683 m=21,=21
*** t0=6824791483780843 m=21,=23
*** t0=6827492175099650 m=21,=22
*** t0=6827988843684915 m=21,=21
*** t0=6828142938030655 m=21,=21
*** t0=6828263983208886 m=21,=23
*** t0=6828306611097604 m=21,=22
*** t0=6828774693407331 m=21,=24
*** t0=6830053137987365 m=21,=26
*** t0=6830127925288501 m=27,=22
*** t0=6830247577843418 m=22,=21
*** t0=6830429054826110 m=24,=21
*** t0=6830562817122724 m=21,=21
*** t0=6833998534554444 m=23,=22
*** t0=6834014645765842 m=22,=21
*** t0=6835002141545110 m=23,=22
*** t0=6836165887683153 m=24,=22
*** t0=6837134222409885 m=21,=22
*** t0=6837714143042927 m=21,=22
*** t0=6838084474514723 m=23,=22
*** t0=6838447592015386 m=26,=21
*** t0=6841042041383707 m=21,=24
*** t0=6841755907940022 m=21,=21
*** t0=6841978340824287 m=22,=21
*** t0=6842058174209207 m=25,=22
*** t0=6842152500634929 m=21,=26
*** t0=6842274701563752 m=22,=21
*** t0=6843778803245699 m=21,=26
*** t0=6846608176436254 m=22,=21
*** t0=6846894209141399 m=24,=23
*** t0=6847615725860028 m=23,=21
*** t0=6847652373935088 m=21,=22
*** t0=6850387614295096 m=24,=23
*** t0=6851669996961455 m=24,=21
*** t0=6852214798256112 m=21,=21
*** t0=6853355934010356 m=23,=21
*** t0=6855102357272196 m=21,=22
*** t0=6856473183273223 m=21,=26
*** t0=6857012913566140 m=21,=21
*** t0=6857417976402306 m=22,=22
*** t0=6858752939246572 m=21,=22
*** t0=6858762819986414 m=22,=23
*** t0=6863910570898781 m=22,=21
*** t0=6865411848967293 m=21,=21
*** t0=6866593685649388 m=23,=22
*** t0=6871218690164570 m=22,=21
*** t0=6875235455297666 m=21,=21
*** t0=6877804169642620 m=22,=21
*** t0=6877865133392494 m=21,=22
*** t0=6879349925931736 m=21,=21
*** t0=6880119758362716 m=21,=22
*** t0=6880310536748830 m=21,=23
*** t0=6881083262495970 m=21,=21
*** t0=6882704048864310 m=21,=21
*** t0=6882845346865089 m=21,=21
*** t0=6883007310048940 m=27,=21
*** t0=6886504393063818 m=23,=22
*** t0=6886946632580887 m=21,=26
*** t0=6887546681651463 m=22,=22
*** t0=6887579950015321 m=22,=22
*** t0=6889632306576578 m=21,=23
*** t0=6889688873235383 m=21,=23
*** t0=6889876595979276 m=21,=23
*** t0=6890095717269108 m=21,=22
*** t0=6890171425271371 m=22,=21
*** t0=6891991121899324 m=22,=22
*** t0=6892577202664626 m=21,=22
*** t0=6894690595839285 m=21,=21
*** t0=6894863240007673 m=22,=21
*** t0=6895665708377277 m=24,=22
*** t0=6895727380848724 m=22,=24
*** t0=6898137918660344 m=21,=21
*** t0=6898678978925605 m=21,=21
*** t0=6899841458008113 m=22,=21
*** t0=6902045239654296 m=21,=22
*** t0=6905157313138830 m=22,=23
*** t0=6905793662374319 m=21,=22
*** t0=6909078099067936 m=24,=21
*** t0=6910858085204129 m=22,=21
*** t0=6911395106862197 m=21,=24
*** t0=6913333448698462 m=21,=22
*** t0=6913813114590841 m=22,=21
*** t0=6915274453157241 m=28,=22
*** t0=6915278561743811 m=21,=21
*** t0=6916385788787640 m=21,=21
*** t0=6917214188558845 m=21,=21
*** t0=6917362543532110 m=21,=21
*** t0=6920764574306165 m=27,=22
*** t0=6924707339224284 m=21,=24
*** t0=6925973064162327 m=22,=22
*** t0=6926666431983573 m=21,=21
*** t0=6931121990565075 m=22,=21
*** t0=6932539031981071 m=22,=21
*** t0=6933485796180521 m=21,=25
*** t0=6936911204835216 m=21,=21
*** t0=6937079762515240 m=23,=22
*** t0=6937099133224101 m=24,=25
*** t0=6938927756614755 m=21,=24
*** t0=6941438981176510 m=21,=21
*** t0=6944897389706559 m=22,=21
*** t0=6946656694467420 m=21,=22
*** t0=6947823267358599 m=22,=23
*** t0=6948591883484352 m=23,=22
*** t0=6949235392025413 m=22,=21
*** t0=6949308249938367 m=21,=21
*** t0=6950170486173186 m=21,=21
*** t0=6950686564884431 m=22,=21
*** t0=6951461959117608 m=21,=21
*** t0=6951471465834500 m=25,=21
*** t0=6953598583858224 m=21,=21
*** t0=6955640327340523 m=24,=21
*** t0=6955852969515000 m=22,=22
*** t0=6959908860287645 m=21,=21
*** t0=6960804508208114 m=22,=24
*** t0=6961044370676919 m=21,=25
*** t0=6962080677851757 m=22,=25
*** t0=6963087202202703 m=21,=21
*** t0=6963600572408612 m=21,=21
*** t0=6966945891340824 m=21,=21
*** t0=6968839741944495 m=22,=22
*** t0=6970500853852275 m=21,=22
*** t0=6970590858137816 m=25,=22
*** t0=6970897858205367 m=22,=21
*** t0=6972595717320293 m=23,=21
*** t0=6973452657573864 m=21,=21
*** t0=6975319474992884 m=22,=21
*** t0=6975602008102290 m=21,=21
*** t0=6977356517999140 m=23,=22
*** t0=6978255123101516 m=21,=21
*** t0=6980752831501745 m=21,=21
*** t0=6981191180120472 m=21,=24
*** t0=6981661605964450 m=23,=21
*** t0=6982195351307395 m=24,=21
*** t0=6983237733812610 m=22,=21
*** t0=6986436559489148 m=21,=23
*** t0=6986825115231003 m=21,=21
*** t0=6986980967681115 m=22,=21
*** t0=6987026099245596 m=23,=21
*** t0=6989177860225316 m=25,=21
*** t0=6989380659085165 m=21,=24
*** t0=6990223804409198 m=22,=22
*** t0=6994492495469317 m=22,=21
*** t0=6995002702406409 m=23,=23
*** t0=6995870813922675 m=21,=21
*** t0=6996428289436599 m=21,=21
*** t0=6996606850133444 m=21,=21
*** t0=6996977007605060 m=21,=23
*** t0=6997128907696530 m=21,=21
*** t0=6997265566004917 m=22,=23
*** t0=6997530744808001 m=23,=23
*** t0=6998793793517603 m=23,=22
*** t0=7000976873061536 m=22,=22
*** t0=7001072473066293 m=24,=21
*** t0=7002039567706214 m=21,=22
*** t0=7004013979214049 m=21,=23
*** t0=7004220221338252 m=21,=22
*** t0=7004715772821259 m=23,=21
*** t0=7004749482240057 m=22,=22
*** t0=7005734432492658 m=24,=21
*** t0=7006417760867150 m=21,=21
*** t0=7009517239588940 m=21,=21
*** t0=7011833682655741 m=21,=23
*** t0=7012346358005900 m=22,=21
*** t0=7012683389913260 m=21,=25
*** t0=7015488603934641 m=22,=22
*** t0=7016912170494795 m=21,=22
*** t0=7019129022022716 m=21,=23
*** t0=7020144725789971 m=21,=21
*** t0=7021295617302127 m=23,=23
*** t0=7021481386807939 m=22,=21
*** t0=7022867481983373 m=22,=21
*** t0=7024487740886879 m=23,=24
*** t0=7024495836173156 m=22,=21
*** t0=7025051480113547 m=21,=26
*** t0=7025758092892346 m=22,=22
*** t0=7025894103059400 m=22,=21
*** t0=7026996503248953 m=22,=22
*** t0=7027487900477608 m=21,=22
*** t0=7030991276006474 m=22,=21
*** t0=7032208376987429 m=22,=22
*** t0=7033047709002262 m=21,=22
*** t0=7034742769687981 m=23,=21
*** t0=7036098488505167 m=22,=21
*** t0=7041147402629231 m=21,=24
*** t0=7041511987805140 m=21,=21
*** t0=7041673385799243 m=21,=21
*** t0=7041812734601973 m=28,=21
*** t0=7042950340373053 m=22,=23
*** t0=7043426177278703 m=23,=21
*** t0=7047736507261950 m=22,=22
*** t0=7048894513962738 m=21,=23
*** t0=7048913240189404 m=21,=21
*** t0=7051847142508626 m=22,=23
*** t0=7052315529316788 m=21,=21
*** t0=7054045783015657 m=21,=21
*** t0=7054694290979686 m=21,=28
*** t0=7058263583573727 m=23,=21
*** t0=7058969503512428 m=22,=21
*** t0=7059363647167196 m=22,=24
*** t0=7063394900762160 m=21,=25
*** t0=7064963701513922 m=21,=22
*** t0=7065680759073830 m=21,=22
*** t0=7067746918594083 m=23,=21
*** t0=7067748040646411 m=21,=23
*** t0=7068544334085076 m=21,=21
*** t0=7068739944833225 m=23,=24
*** t0=7068886103488120 m=21,=21
*** t0=7073227588878129 m=21,=21
*** t0=7074717333930536 m=23,=22
*** t0=7075974602421478 m=21,=23
*** t0=7076678864502694 m=21,=21
*** t0=7077212800764858 m=21,=21
*** t0=7077685913923481 m=21,=21
*** t0=7078947938954620 m=21,=21
*** t0=7079668454956776 m=21,=21
*** t0=7079915123494521 m=21,=21
*** t0=7080387252125095 m=21,=21
*** t0=7081522325683723 m=21,=23
*** t0=7081737316274277 m=21,=22
*** t0=7082337044757944 m=21,=22
*** t0=7082922220450433 m=21,=22
*** t0=7085679499128044 m=21,=21
*** t0=7086441833086463 m=22,=21
*** t0=7088338276591968 m=21,=23
*** t0=7091751031123155 m=21,=25
*** t0=7091917711263600 m=21,=21
*** t0=7092524551548489 m=21,=21
*** t0=7092725270577872 m=22,=23
*** t0=7092875719763693 m=21,=21
*** t0=7094563209126914 m=22,=22
*** t0=7097633061520597 m=21,=22
*** t0=7099185130605658 m=22,=24
*** t0=7100112529221768 m=22,=22
*** t0=7101031683033670 m=21,=22
*** t0=7101210063444424 m=22,=29
*** t0=7101281213304657 m=24,=21
*** t0=7101927782204255 m=21,=21
*** t0=7102692418122399 m=23,=22
*** t0=7102855692328027 m=21,=23
*** t0=7104601508798006 m=24,=23
*** t0=7105236310650693 m=22,=21
*** t0=7105301349429262 m=22,=22
*** t0=7108353083889402 m=21,=24
*** t0=7109138847919527 m=21,=22
*** t0=7109397188586276 m=21,=22
*** t0=7111217716147463 m=22,=25
*** t0=7112652988275465 m=22,=21
*** t0=7115144968888873 m=21,=21
*** t0=7117727982397204 m=21,=21
*** t0=7118787029388972 m=22,=23
*** t0=7120200673330504 m=22,=21
*** t0=7121549974906352 m=21,=21
*** t0=7123423362194705 m=22,=21
*** t0=7124122950370910 m=24,=25
*** t0=7125124783005858 m=23,=23
*** t0=7126114662630067 m=21,=21
*** t0=7126389697132291 m=24,=21
*** t0=7129751822979581 m=24,=21
*** t0=7129993667642932 m=22,=21
*** t0=7130794858721591 m=21,=22
*** t0=7131205932740254 m=21,=23
*** t0=7133763839219264 m=23,=21
*** t0=7135667814102763 m=23,=21
*** t0=7136249898690675 m=24,=21
*** t0=7136480110973768 m=22,=22
*** t0=7137187423301622 m=23,=21
*** t0=7138970059532790 m=21,=21
*** t0=7138994814419964 m=22,=22
*** t0=7139048196724596 m=22,=22
*** t0=7140354431276864 m=21,=23
*** t0=7142239671923700 m=25,=22
*** t0=7142650327751811 m=21,=22
*** t0=7145293241894766 m=21,=21
*** t0=7149343526641647 m=22,=21
*** t0=7149640596633608 m=22,=21
*** t0=7149694093031608 m=22,=22
*** t0=7151424537953381 m=24,=21
*** t0=7151444741551001 m=21,=22
*** t0=7152706462798303 m=23,=21
*** t0=7153572639201612 m=21,=25
*** t0=7154432346576462 m=21,=23
*** t0=7155476313643679 m=21,=23
*** t0=7157194040997501 m=21,=22
*** t0=7157768143895183 m=23,=23
*** t0=7158437494828842 m=24,=21
*** t0=7158541129436701 m=21,=21
*** t0=7161021810230915 m=22,=21
*** t0=7162491752613936 m=22,=21
*** t0=7163993725545218 m=22,=21
*** t0=7164108226409083 m=22,=22
*** t0=7164785808057161 m=24,=22
*** t0=7164914557360224 m=21,=22
*** t0=7166534444154939 m=21,=21
*** t0=7167057302768020 m=21,=21
*** t0=7167210448067096 m=21,=22
*** t0=7168940302030174 m=26,=22
*** t0=7169090566836708 m=21,=30
*** t0=7169564566083173 m=22,=25
*** t0=7171168517706015 m=22,=22
*** t0=7174089301217596 m=22,=21
*** t0=7174553052510377 m=22,=21
*** t0=7175340674626108 m=22,=21
*** t0=7178982216068671 m=25,=22
*** t0=7179309066314442 m=21,=22
*** t0=7179376125980094 m=22,=23
*** t0=7180377003255301 m=21,=21
*** t0=7182202743622154 m=24,=21
*** t0=7182313095090573 m=21,=21
*** t0=7183952550139272 m=21,=22
*** t0=7184982979326378 m=21,=21
*** t0=7186129428861388 m=22,=21
*** t0=7186268519520224 m=21,=22
*** t0=7187177514387009 m=21,=22
*** t0=7187187800878341 m=21,=21
*** t0=7188193588714865 m=23,=23
*** t0=7188972453302568 m=22,=22
*** t0=7190086747688036 m=22,=23
*** t0=7192209229798631 m=21,=22
*** t0=7192316410042014 m=22,=21
*** t0=7194209088996876 m=21,=21
*** t0=7194391636995495 m=21,=21
*** t0=7197080087624047 m=22,=24
*** t0=7198146729551929 m=22,=24
*** t0=7198195184517125 m=22,=21
*** t0=7199472844570137 m=21,=21
*** t0=7200902594446552 m=22,=24
*** t0=7201772639320784 m=22,=21
*** t0=7202132387474617 m=22,=22
*** t0=7204833548304083 m=21,=22
*** t0=7205777609318184 m=21,=21
*** t0=7206708057577154 m=23,=22
*** t0=7207911481160355 m=23,=21
*** t0=7208800158402855 m=24,=22
*** t0=7209396870108848 m=21,=21
*** t0=7209530634633948 m=22,=21
*** t0=7210644518018613 m=22,=21
*** t0=7213659755751823 m=25,=22
*** t0=7214733447807235 m=21,=21
*** t0=7215379574142880 m=23,=21
*** t0=7219073235836507 m=21,=22
*** t0=7220349337270946 m=23,=21
*** t0=7221757218481639 m=23,=22
*** t0=7223622741006085 m=22,=21
*** t0=7224060980884796 m=21,=21
*** t0=7224286721425643 m=21,=24
*** t0=7224510569367905 m=25,=21
*** t0=7225048938696127 m=26,=21
*** t0=7225339451128466 m=22,=21
*** t0=7225505426574077 m=21,=24
*** t0=7228851518334795 m=24,=21
*** t0=7230267214439382 m=21,=21
*** t0=7232147139181558 m=22,=21
*** t0=7233025774675170 m=21,=22
*** t0=7233225504010594 m=21,=22
*** t0=7236504443201026 m=22,=22
*** t0=7237755744826868 m=21,=24
*** t0=7238483188330056 m=24,=21
*** t0=7238931612184703 m=23,=22
*** t0=7240081700112865 m=21,=24
*** t0=7240323139840018 m=21,=22
*** t0=7240675451626105 m=22,=22
*** t0=7240690239192733 m=22,=21
*** t0=7242346283848139 m=21,=21
*** t0=7243605612675038 m=23,=25
*** t0=7244137307526128 m=21,=22
*** t0=7244246893141813 m=22,=21
*** t0=7244529231135239 m=22,=21
*** t0=7244988934192835 m=21,=21
*** t0=7246069374035347 m=22,=21
*** t0=7246736161638200 m=21,=21
*** t0=7247697640083839 m=21,=21
*** t0=7247776389030798 m=22,=22
*** t0=7247928503820147 m=22,=21
*** t0=7249974244414460 m=21,=21
*** t0=7250610405625832 m=21,=22
*** t0=7250621884623508 m=21,=21
*** t0=7251149443306502 m=22,=21
*** t0=7251302811719333 m=21,=21
*** t0=7251331165534799 m=22,=24
*** t0=7252192213871352 m=22,=28
*** t0=7252865707163404 m=22,=21
*** t0=7253895749943096 m=21,=21
*** t0=7254366705734378 m=22,=21
*** t0=7254599891758711 m=21,=22
*** t0=7254889523960866 m=22,=23
*** t0=7255584286891016 m=24,=22
*** t0=7257768310261020 m=21,=21
*** t0=7257901771965217 m=21,=23
*** t0=7259074575976472 m=21,=21
*** t0=7260027644689219 m=21,=21
*** t0=7261236351443015 m=22,=24
*** t0=7262171945816401 m=22,=21
*** t0=7262296024056123 m=21,=21
*** t0=7266321054707211 m=22,=21
*** t0=7266432175580272 m=22,=24
*** t0=7270039030192387 m=25,=22
*** t0=7270424325072355 m=23,=24
*** t0=7273499508654157 m=21,=22
*** t0=7274796490194487 m=22,=21
*** t0=7274971533534066 m=21,=21
*** t0=7276566256172830 m=21,=23
*** t0=7276658762534405 m=25,=21
*** t0=7278603462168129 m=22,=21
*** t0=7279292086481913 m=21,=21
*** t0=7280680858984330 m=21,=22
*** t0=7281947789176981 m=21,=21
*** t0=7282171525897802 m=21,=21
*** t0=7283434449399667 m=24,=22
*** t0=7284613814426002 m=21,=24
*** t0=7287689993293634 m=21,=22
*** t0=7288171218516307 m=22,=21
*** t0=7289885885005099 m=24,=21
*** t0=7290362863175912 m=21,=23
*** t0=7291115974996679 m=21,=21
*** t0=7291466532204510 m=22,=24
*** t0=7292290562860546 m=23,=23
*** t0=7292723060600908 m=21,=21
*** t0=7293579243400733 m=24,=21
*** t0=7293620097628912 m=22,=21
*** t0=7296480881826395 m=21,=21
*** t0=7296713670205605 m=21,=21
*** t0=7297134336821925 m=21,=22
*** t0=7298022726271316 m=23,=21
*** t0=7298162064969073 m=23,=21
*** t0=7299570845567951 m=22,=22
*** t0=7300921691374877 m=22,=22
*** t0=7301039794459074 m=21,=21
*** t0=7302355731737537 m=21,=21
*** t0=7303014220125983 m=23,=21
*** t0=7303236743863075 m=21,=22
*** t0=7306019443739113 m=23,=22
*** t0=7307462636927065 m=22,=24
*** t0=7308739306897606 m=22,=21
*** t0=7310292374165198 m=24,=21
*** t0=7310973624127820 m=24,=21
*** t0=7311168982258066 m=23,=21
*** t0=7312885153517536 m=22,=23
*** t0=7313246165216247 m=21,=22
*** t0=7314004452568476 m=22,=21
*** t0=7314043846809140 m=21,=21
*** t0=7314190035794478 m=21,=23
*** t0=7315466196704995 m=24,=24
*** t0=7316633715758466 m=22,=23
*** t0=7317620416599723 m=21,=21
*** t0=7319957139348455 m=22,=21
*** t0=7320740987423079 m=22,=21
*** t0=7323993708867843 m=21,=22
*** t0=7324370371955986 m=21,=21
*** t0=7327264492788085 m=21,=28
*** t0=7328670835624817 m=21,=24
*** t0=7328824748129993 m=23,=21
*** t0=7329163770947758 m=23,=21
*** t0=7330307789962616 m=23,=22
*** t0=7330626325016899 m=24,=29
*** t0=7330948779810071 m=22,=21
*** t0=7331374517021296 m=22,=22
*** t0=7331955321816604 m=21,=21
*** t0=7332255960255893 m=22,=22
*** t0=7335194402384918 m=22,=21
*** t0=7335703026167128 m=21,=24
*** t0=7335761396088909 m=21,=22
*** t0=7336884878971793 m=21,=23
*** t0=7337683406159806 m=21,=21
*** t0=7337727578681108 m=23,=21
*** t0=7339012997595725 m=23,=22
*** t0=7339840738965732 m=21,=22
*** t0=7340058757374545 m=26,=23
*** t0=7340355840577986 m=23,=21
*** t0=7340632794635857 m=21,=23
*** t0=7340741780880665 m=22,=21
*** t0=7341778866071515 m=22,=21
*** t0=7342756747823587 m=21,=21
*** t0=7342851666634421 m=24,=22
*** t0=7343217814236805 m=21,=25
*** t0=7346080234567796 m=21,=22
*** t0=7346496692415227 m=24,=21
*** t0=7346935201974389 m=21,=21
*** t0=7348279300124136 m=24,=23
*** t0=7349647419854178 m=21,=21
*** t0=7350398766048827 m=22,=23
*** t0=7351196058336344 m=22,=22
*** t0=7352813265142291 m=24,=21
*** t0=7352843365350651 m=21,=23
*** t0=7353273527058423 m=23,=22
*** t0=7353413685425723 m=23,=21
*** t0=7355064857710407 m=22,=23
*** t0=7356879391779722 m=21,=22
*** t0=7358623513921033 m=23,=21
*** t0=7359244684758879 m=22,=21
*** t0=7360231073663019 m=23,=26
*** t0=7365746237637427 m=23,=21
*** t0=7365807196653872 m=26,=21
*** t0=7367630652644078 m=22,=22
*** t0=7374905924560661 m=22,=22
*** t0=7375497848060267 m=21,=22
*** t0=7376150015200417 m=24,=21
*** t0=7376226511119481 m=29,=21
*** t0=7376232087880925 m=21,=21
*** t0=7376689387070263 m=21,=21
*** t0=7378361029297821 m=22,=22
*** t0=7380494426278172 m=24,=21
*** t0=7380854450718700 m=22,=22
*** t0=7380938750547095 m=21,=22
*** t0=7382279795675529 m=21,=21
*** t0=7384198083058701 m=21,=22
*** t0=7391622273265082 m=22,=21
*** t0=7394417291673875 m=23,=22
*** t0=7395657980958308 m=27,=24
*** t0=7396062517408515 m=21,=21
*** t0=7396201911981619 m=22,=21
*** t0=7397502154697092 m=21,=21
*** t0=7397729401368186 m=21,=21
*** t0=7397846433968325 m=21,=21
*** t0=7398120132478810 m=21,=29
*** t0=7399412072025311 m=22,=21
*** t0=7399608573128236 m=21,=21
*** t0=7403389432980317 m=27,=25
*** t0=7403759036287207 m=21,=25
*** t0=7405327240006817 m=25,=22
*** t0=7409685688592686 m=22,=23
*** t0=7410365699907365 m=22,=23
*** t0=7411430491608800 m=21,=31
*** t0=7413054494496849 m=21,=21
*** t0=7413251247713916 m=21,=21
*** t0=7413814277595924 m=21,=26
*** t0=7414773022842946 m=23,=22
*** t0=7415030727619383 m=23,=24
*** t0=7415103697359477 m=22,=21
*** t0=7415606688280045 m=26,=21
*** t0=7416562703269076 m=22,=27
*** t0=7420639513942483 m=22,=22
*** t0=7421926190307181 m=21,=21
*** t0=7422236466984195 m=26,=22
*** t0=7423589452776475 m=21,=23
*** t0=7425128650678516 m=24,=21
*** t0=7425594298958071 m=21,=22
*** t0=7426243573452880 m=22,=23
*** t0=7426305538637637 m=22,=21
*** t0=7428233795649975 m=21,=21
*** t0=7428427366611832 m=21,=21
*** t0=7429232934870148 m=24,=21
*** t0=7429758449500753 m=23,=21
*** t0=7432188571742286 m=21,=21
*** t0=7434453965049472 m=21,=22
*** t0=7434502770071315 m=21,=25
*** t0=7435318933180501 m=21,=21
*** t0=7436236443144421 m=21,=21
*** t0=7436446186681045 m=21,=21
*** t0=7436601721316241 m=21,=24
*** t0=7439374785684951 m=22,=21
*** t0=7439693855639145 m=25,=24
*** t0=7440508668099563 m=23,=25
*** t0=7443285426734476 m=23,=22
*** t0=7444408956287457 m=21,=21
*** t0=7445481856353024 m=22,=21
*** t0=7446751746482560 m=21,=21
*** t0=7446950828685357 m=21,=21
*** t0=7449085629813705 m=23,=22
*** t0=7450681690564305 m=26,=21
*** t0=7450694162424147 m=23,=21
*** t0=7451153846505446 m=21,=21
*** t0=7452551146350947 m=24,=21
*** t0=7453961549682299 m=21,=21
*** t0=7456874897306703 m=22,=22
*** t0=7457766958134920 m=21,=21
*** t0=7458527295494988 m=21,=22
*** t0=7459394231124387 m=23,=24
*** t0=7461426034599532 m=21,=22
*** t0=7461576844053601 m=22,=23
*** t0=7463284431701234 m=24,=22
*** t0=7465456716746422 m=22,=22
*** t0=7465987715015270 m=21,=21
*** t0=7466983764896691 m=21,=21
*** t0=7467554340762130 m=21,=24
*** t0=7468198054938910 m=21,=22
*** t0=7469660902805399 m=22,=21
*** t0=7469979234967040 m=24,=24
*** t0=7470940625576386 m=21,=26
*** t0=7474060147108653 m=21,=21
*** t0=7477532618883412 m=22,=21
*** t0=7478106876606103 m=22,=21
*** t0=7478645318677834 m=22,=23
*** t0=7478652701940124 m=23,=22
*** t0=7479190906830873 m=21,=21
*** t0=7479816478091352 m=21,=21
*** t0=7483924294845366 m=21,=21
*** t0=7484328035310524 m=21,=26
*** t0=7484437527563055 m=22,=21
*** t0=7485351784559603 m=22,=25
*** t0=7487233075409235 m=22,=21
*** t0=7488727426572458 m=24,=26
*** t0=7491032633641212 m=21,=25
*** t0=7491380721292708 m=22,=23
*** t0=7493454254141625 m=23,=21
*** t0=7494263961386988 m=24,=21
*** t0=7495493999099342 m=24,=22
*** t0=7496529031461288 m=21,=22
*** t0=7497677050715876 m=22,=21
*** t0=7498391348415033 m=22,=21
*** t0=7499104473758664 m=21,=21
*** t0=7500653975971595 m=22,=24
*** t0=7501695515011484 m=21,=22
*** t0=7502810492436630 m=22,=22
*** t0=7503170554516670 m=21,=21
*** t0=7503331545168267 m=22,=21
*** t0=7503487056146809 m=22,=21
*** t0=7503813311302913 m=23,=21
*** t0=7505196597987355 m=22,=21
*** t0=7505397383508760 m=21,=23
*** t0=7505494268838998 m=21,=21
*** t0=7507807534194852 m=23,=21
*** t0=7508096377772802 m=21,=21
*** t0=7509425082990132 m=21,=22
*** t0=7509591366344352 m=21,=22
*** t0=7510143588299715 m=21,=21
*** t0=7510201245859823 m=23,=21
*** t0=7510399384557800 m=22,=21
*** t0=7510715011893758 m=21,=21
*** t0=7511255176367536 m=21,=21
*** t0=7511423263201781 m=21,=22
*** t0=7513620488719746 m=22,=21
*** t0=7515552558229650 m=21,=26
*** t0=7516102928553596 m=21,=22
*** t0=7516989239846004 m=21,=21
*** t0=7518635804442479 m=21,=21
*** t0=7518690331795762 m=21,=21
*** t0=7521292789819039 m=22,=24
*** t0=7522164271253411 m=21,=21
*** t0=7522180359554650 m=21,=21
*** t0=7525063306529213 m=22,=22
*** t0=7525991492555462 m=25,=22
*** t0=7527406735694179 m=21,=25
*** t0=7527947438098843 m=21,=30
*** t0=7530093115833282 m=22,=22
*** t0=7530595925749128 m=22,=21
*** t0=7531988460361755 m=22,=21
*** t0=7532236104567379 m=23,=21
*** t0=7533201653780779 m=22,=22
*** t0=7534891636830598 m=21,=21
*** t0=7538126185598477 m=22,=24
*** t0=7538972913226368 m=24,=25
*** t0=7540220841928068 m=23,=24
*** t0=7540945711749414 m=21,=22
*** t0=7544262136969253 m=23,=21
*** t0=7544268019772399 m=22,=22
*** t0=7544332347734526 m=22,=22
*** t0=7547115942418195 m=21,=21
*** t0=7548177376927117 m=22,=23
*** t0=7549507954086792 m=21,=22
*** t0=7550704041818871 m=21,=22
*** t0=7551317538831350 m=21,=21
*** t0=7552102401662290 m=22,=21
*** t0=7552575354352981 m=22,=22
*** t0=7553550160809323 m=22,=27
*** t0=7556157648104061 m=21,=24
*** t0=7556341702726583 m=21,=24
*** t0=7556823185756532 m=23,=21
*** t0=7561012999894178 m=21,=24
*** t0=7561134663268086 m=21,=24
*** t0=7561263458701895 m=22,=22
*** t0=7561516894831841 m=21,=23
*** t0=7561936103551847 m=22,=23
*** t0=7563012218272303 m=21,=21
*** t0=7564201326937949 m=24,=22
*** t0=7564614745139645 m=21,=30
*** t0=7565007943815395 m=21,=21
*** t0=7565321132765968 m=23,=22
*** t0=7566045876916624 m=22,=26
*** t0=7566047381983364 m=22,=21
*** t0=7567374846276402 m=21,=22
*** t0=7568006071884793 m=21,=22
*** t0=7568041394556129 m=22,=22
*** t0=7568453851976833 m=21,=22
*** t0=7571332730279300 m=23,=22
*** t0=7571400648174125 m=24,=25
*** t0=7571686054428640 m=30,=21
*** t0=7573665455209262 m=21,=22
*** t0=7574338502648467 m=22,=22
*** t0=7574714945060827 m=21,=22
*** t0=7575065751658002 m=22,=21
*** t0=7578052207925900 m=21,=21
*** t0=7579726773078227 m=27,=22
*** t0=7582453875588482 m=21,=21
*** t0=7582455305092879 m=21,=21
*** t0=7583872377472658 m=21,=28
*** t0=7584199991413078 m=22,=22
*** t0=7584261652709247 m=22,=22
*** t0=7584485059445796 m=22,=22
*** t0=7586829491843788 m=21,=21
*** t0=7587108347708459 m=21,=22
*** t0=7587629216867930 m=26,=24
*** t0=7587800567185482 m=24,=22
*** t0=7588934185078712 m=22,=23
*** t0=7589258895240219 m=22,=23
*** t0=7590197727646869 m=21,=22
*** t0=7590214759472224 m=23,=23
*** t0=7592385690789058 m=21,=24
*** t0=7593436340238868 m=21,=24
*** t0=7594630533245736 m=22,=21
*** t0=7596145666038756 m=22,=21
*** t0=7596747088111617 m=21,=22
*** t0=7596897596139985 m=21,=22
*** t0=7597832994207124 m=21,=21
*** t0=7599175192068316 m=23,=21
*** t0=7600758604068106 m=22,=21
*** t0=7602166525366635 m=22,=21
*** t0=7603834552301540 m=21,=21
*** t0=7604453290874054 m=21,=21
*** t0=7605252559481271 m=23,=21
*** t0=7605348308193220 m=21,=26
*** t0=7606244770984839 m=21,=21
*** t0=7614629233836273 m=21,=21
*** t0=7614883702863622 m=24,=23
*** t0=7615449669993486 m=21,=23
*** t0=7615748155051920 m=22,=23
*** t0=7616110787154319 m=21,=24
*** t0=7617204782474376 m=21,=21
*** t0=7617518394196132 m=21,=21
*** t0=7618938876217401 m=21,=23
*** t0=7621141946792694 m=24,=26
*** t0=7625180104703552 m=21,=23
*** t0=7626492916166292 m=21,=22
*** t0=7626523693784972 m=23,=23
*** t0=7628078063636772 m=21,=22
*** t0=7630884259731156 m=21,=21
*** t0=7633017144406956 m=21,=21
*** t0=7633611564379162 m=23,=25
*** t0=7633880058745640 m=21,=21
*** t0=7634635351695402 m=23,=22
*** t0=7634734767003203 m=21,=21
*** t0=7635995091990952 m=22,=22
*** t0=7636159922400257 m=22,=21
*** t0=7636364830562456 m=22,=21
*** t0=7637208297428543 m=21,=22
*** t0=7637369419099119 m=25,=21
*** t0=7638279879690740 m=21,=22
*** t0=7638315424213248 m=21,=26
*** t0=7638543285425886 m=22,=21
*** t0=7639851234282756 m=21,=24
*** t0=7640307571727114 m=22,=23
*** t0=7642583261137715 m=21,=21
*** t0=7642767790484937 m=22,=22
*** t0=7643640435694434 m=21,=21
*** t0=7644838079236239 m=21,=21
*** t0=7645860944338444 m=21,=22
*** t0=7646907457180903 m=24,=26
*** t0=7647116480211431 m=24,=21
*** t0=7648007283805712 m=22,=21
*** t0=7649707462794559 m=21,=24
*** t0=7650381936338751 m=21,=21
*** t0=7650496267695632 m=21,=22
*** t0=7651175789881536 m=21,=21
*** t0=7651455709325034 m=21,=21
*** t0=7651869998205181 m=21,=24
*** t0=7652956420103909 m=21,=21
*** t0=7653375308166944 m=21,=21
*** t0=7654093636384137 m=22,=24
*** t0=7654368505891756 m=24,=22
*** t0=7654470905083785 m=22,=22
*** t0=7657178080568008 m=22,=21
*** t0=7657223848688494 m=24,=26
*** t0=7659556422914764 m=22,=23
*** t0=7667364476686159 m=21,=25
*** t0=7667777570767142 m=23,=22
*** t0=7669639007652645 m=21,=21
*** t0=7670441430061906 m=23,=22
*** t0=7671131738452774 m=22,=22
*** t0=7671883890141319 m=22,=22
*** t0=7672583148717995 m=25,=24
*** t0=7674180277503733 m=21,=22
*** t0=7675289752288592 m=21,=23
*** t0=7675463771720255 m=22,=26
*** t0=7676779886759751 m=22,=22
*** t0=7677159701773759 m=21,=21
*** t0=7678118164694905 m=21,=22
*** t0=7679482038261430 m=23,=21
*** t0=7680321193487924 m=22,=22
*** t0=7680590144674153 m=21,=22
*** t0=7681113917689446 m=21,=21
*** t0=7681635636389049 m=21,=23
*** t0=7682552169623163 m=23,=21
*** t0=7682779767601396 m=22,=22
*** t0=7683494652976483 m=21,=21
*** t0=7683977277180151 m=22,=21
*** t0=7684576703573122 m=23,=24
*** t0=7684870073708343 m=21,=21
*** t0=7685104957095671 m=22,=21
*** t0=7688100566593000 m=22,=23
*** t0=7688162945450553 m=22,=21
*** t0=7688331313901740 m=22,=21
*** t0=7692403063008684 m=21,=23
*** t0=7694805152194551 m=21,=23
*** t0=7694832261914709 m=21,=21
*** t0=7695921235129060 m=22,=21
*** t0=7696814717240760 m=22,=21
*** t0=7697023018700085 m=23,=22
*** t0=7697373961623783 m=22,=21
*** t0=7697558704424616 m=22,=23
*** t0=7701075379581276 m=21,=21
*** t0=7701116325237875 m=21,=22
*** t0=7701284954797650 m=21,=23
*** t0=7701379020264283 m=21,=22
*** t0=7702303802616962 m=23,=22
*** t0=7703034004164075 m=21,=21
*** t0=7703098440722148 m=23,=23
*** t0=7704906932048018 m=21,=23
*** t0=7705309549516080 m=21,=21
*** t0=7705558097865865 m=22,=23
*** t0=7705650229822533 m=21,=22
*** t0=7705741230507370 m=21,=22
*** t0=7706479438998072 m=22,=21
*** t0=7706976210165108 m=21,=21
*** t0=7707102777878136 m=25,=27
*** t0=7709634511185322 m=22,=23
*** t0=7710459357877807 m=23,=21
*** t0=7710485401631222 m=22,=21
*** t0=7712684462581458 m=21,=21
*** t0=7712919443629433 m=22,=22
*** t0=7712923217484989 m=21,=21
*** t0=7713528005298229 m=25,=29
*** t0=7714971597737847 m=22,=22
*** t0=7715276411793146 m=22,=24
*** t0=7716186478096082 m=22,=22
*** t0=7717968764062163 m=21,=21
*** t0=7719457426564912 m=21,=22
*** t0=7719819911102870 m=22,=22
*** t0=7720991841046683 m=21,=23
*** t0=7721972318469137 m=21,=21
*** t0=7723075383818573 m=24,=21
*** t0=7724281539213102 m=24,=21
*** t0=7725263650490885 m=21,=23
*** t0=7726543133468158 m=22,=21
*** t0=7729216651597448 m=23,=22
*** t0=7730081552992468 m=22,=21
*** t0=7730708555551569 m=21,=23
*** t0=7734530753035321 m=24,=24
*** t0=7736357793272477 m=21,=21
*** t0=7736646872613718 m=21,=23
*** t0=7737063782143387 m=21,=21
*** t0=7739093009355223 m=24,=21
*** t0=7739744425123581 m=22,=21
*** t0=7740631123532767 m=21,=24
*** t0=7744956253237158 m=21,=21
*** t0=7746893152886925 m=21,=23
*** t0=7747394372717354 m=22,=21
*** t0=7747989056201227 m=22,=21
*** t0=7748052798367773 m=24,=22
*** t0=7749127734805982 m=30,=21
*** t0=7750769423261830 m=21,=24
*** t0=7753149037986081 m=21,=21
*** t0=7753309316125556 m=21,=24
*** t0=7754854784208256 m=21,=21
*** t0=7754932092918204 m=21,=21
*** t0=7755713718476645 m=21,=22
*** t0=7758593666595731 m=21,=21
*** t0=7758731179590771 m=23,=21
*** t0=7760751988190213 m=21,=21
*** t0=7761125184038154 m=23,=22
*** t0=7761327758661561 m=22,=22
*** t0=7761999393356040 m=21,=21
*** t0=7762130932583132 m=21,=21
*** t0=7762496755106372 m=23,=21
*** t0=7764924303522779 m=21,=23
*** t0=7765417464274116 m=22,=22
*** t0=7765813433038324 m=21,=21
*** t0=7765987213477198 m=22,=21
*** t0=7767591718217511 m=22,=22
*** t0=7769672743314134 m=21,=22
*** t0=7770290113474507 m=21,=23
*** t0=7772773032504831 m=21,=21
*** t0=7773002331884592 m=21,=21
*** t0=7773417056859161 m=21,=21
*** t0=7774379646282589 m=27,=21
*** t0=7774429954790215 m=21,=22
*** t0=7774878457169921 m=22,=22
*** t0=7774884196182629 m=21,=21
*** t0=7776543085273866 m=22,=21
*** t0=7776981140677017 m=21,=26
*** t0=7777080036218304 m=23,=25
*** t0=7778623614863948 m=21,=21
*** t0=7778927367883151 m=22,=22
*** t0=7779136907972051 m=23,=21
*** t0=7781173965122823 m=21,=21
*** t0=7781409177760222 m=23,=22
*** t0=7782310773813481 m=22,=23
*** t0=7783750008147520 m=21,=23
*** t0=7783927526280785 m=22,=22
*** t0=7785150912197131 m=22,=21
*** t0=7785828661970088 m=22,=22
*** t0=7785849339480754 m=23,=21
*** t0=7787187689081251 m=22,=23
*** t0=7787958021680625 m=23,=21
*** t0=7789458626595747 m=22,=24
*** t0=7790722905676821 m=24,=22
*** t0=7790832803029225 m=25,=24
*** t0=7793450892808762 m=22,=27
*** t0=7793866557379558 m=23,=21
*** t0=7794607294798440 m=23,=21
*** t0=7795795266929760 m=21,=23
*** t0=7795836301951590 m=22,=22
*** t0=7795863643551826 m=21,=23
*** t0=7796704128496693 m=21,=21
*** t0=7797203075551159 m=22,=21
*** t0=7799256658511226 m=21,=22
*** t0=7799275132522901 m=22,=22
*** t0=7801321516677541 m=21,=25
*** t0=7804521139824853 m=21,=21
*** t0=7805816534639283 m=24,=21
*** t0=7805995395533516 m=22,=21
*** t0=7806741557240306 m=22,=23
*** t0=7807296651027358 m=28,=23
*** t0=7807498812292608 m=24,=21
*** t0=7808371080619072 m=21,=21
*** t0=7808893373130502 m=23,=21
*** t0=7809114237637846 m=21,=21
*** t0=7810122005345443 m=21,=21
*** t0=7811066544190210 m=21,=21
*** t0=7811624142644380 m=24,=21
*** t0=7812265842575517 m=21,=28
*** t0=7814179832081802 m=21,=22
*** t0=7814267726488829 m=23,=22
*** t0=7815715706988313 m=21,=24
*** t0=7815822133675311 m=22,=23
*** t0=7816096123660759 m=21,=21
*** t0=7816370709058950 m=21,=21
*** t0=7817816575879701 m=21,=21
*** t0=7819764893676180 m=22,=23
*** t0=7819829754586146 m=21,=22
*** t0=7820509865843889 m=21,=21
*** t0=7822611104057937 m=21,=21
*** t0=7826014465909090 m=21,=21
*** t0=7828531879837849 m=21,=22
*** t0=7829155249666462 m=21,=25
*** t0=7830702943747474 m=21,=21
*** t0=7832402891293369 m=24,=21
*** t0=7833701645985979 m=21,=22
*** t0=7835516829815665 m=21,=22
*** t0=7835756273516421 m=22,=23
*** t0=7835843360420391 m=21,=23
*** t0=7835911210520576 m=21,=21
*** t0=7836939582782163 m=23,=22
*** t0=7837009012314613 m=24,=21
*** t0=7837231563992425 m=21,=22
*** t0=7839910665388669 m=33,=23
*** t0=7840571185229380 m=21,=21
*** t0=7841678463114060 m=22,=21
*** t0=7843163192583110 m=22,=21
*** t0=7843825749337813 m=28,=23
*** t0=7844543349623613 m=22,=21
*** t0=7844616074129993 m=22,=22
*** t0=7845153728198307 m=24,=21
*** t0=7846007985733398 m=23,=24
*** t0=7849448150440506 m=23,=22
*** t0=7849830662203437 m=23,=21
*** t0=7851301722206816 m=21,=21
*** t0=7852089192240476 m=21,=21
*** t0=7854329418899971 m=21,=21
*** t0=7855302497888400 m=22,=22
*** t0=7855373773538574 m=21,=21
*** t0=7855604304556247 m=22,=21
*** t0=7856342957553765 m=21,=21
*** t0=7857124847103260 m=21,=22
*** t0=7857247033611083 m=21,=25
*** t0=7859130476268132 m=21,=22
*** t0=7859404425916583 m=22,=22
*** t0=7862447380053602 m=21,=21
*** t0=7862583796609393 m=22,=23
*** t0=7864632910161132 m=22,=22
*** t0=7868398444818732 m=24,=21
*** t0=7868563730973343 m=21,=22
*** t0=7869455955835623 m=21,=22
*** t0=7870817159467136 m=22,=22
*** t0=7871234009337855 m=24,=21
*** t0=7871601424340904 m=22,=22
*** t0=7872029497532391 m=21,=22
*** t0=7874493180524563 m=22,=23
*** t0=7874560896386631 m=22,=24
*** t0=7875497857201448 m=21,=22
*** t0=7876054434237837 m=21,=21
*** t0=7876750883481039 m=21,=21
*** t0=7877651605061313 m=22,=22
*** t0=7877817020898900 m=22,=21
*** t0=7878819630348919 m=23,=23
*** t0=7881501991500756 m=24,=21
*** t0=7881797225242751 m=25,=29
*** t0=7881894018955827 m=22,=24
*** t0=7884305900314937 m=21,=21
*** t0=7884356185213721 m=21,=21
*** t0=7885170866690297 m=21,=21
*** t0=7887048253244315 m=23,=23
*** t0=7887205087059371 m=23,=22
*** t0=7887853245720217 m=21,=23
*** t0=7887952305166162 m=21,=21
*** t0=7888101038264503 m=21,=21
*** t0=7889002394140262 m=21,=22
*** t0=7889641859001754 m=24,=23
*** t0=7892065921560569 m=21,=21
*** t0=7892623906281513 m=26,=24
*** t0=7893251715038842 m=21,=21
*** t0=7894145518913702 m=21,=21
*** t0=7894372099398757 m=22,=21
*** t0=7896292418167264 m=21,=21
*** t0=7896539995678967 m=23,=22
*** t0=7897907191840440 m=22,=22
*** t0=7897943392638848 m=23,=22
*** t0=7897967568461640 m=25,=21
*** t0=7898357427967501 m=21,=23
*** t0=7898593550802394 m=21,=21
*** t0=7900597523393221 m=21,=21
*** t0=7902619528374315 m=21,=23
*** t0=7904893814356114 m=21,=21
*** t0=7905604097423320 m=23,=22
*** t0=7908301716926797 m=21,=21
*** t0=7908740279676941 m=21,=21
*** t0=7911395629183517 m=22,=21
*** t0=7912685465809463 m=22,=21
*** t0=7914776696887639 m=21,=23
*** t0=7916592460043227 m=23,=21
*** t0=7917342380048690 m=22,=21
*** t0=7918364757717074 m=23,=21
*** t0=7919175307880611 m=21,=21
*** t0=7919290972157856 m=21,=22
*** t0=7919515813000805 m=21,=22
*** t0=7919633146065870 m=25,=24
*** t0=7919875577429390 m=22,=23
*** t0=7919890420453306 m=22,=21
*** t0=7920335931865019 m=21,=21
*** t0=7922000392933010 m=23,=24
*** t0=7922043177850503 m=25,=21
*** t0=7923212265797880 m=21,=22
*** t0=7924492279256990 m=22,=21
*** t0=7924507272766022 m=22,=22
*** t0=7926605303346213 m=21,=22
*** t0=7929020343763570 m=21,=22
*** t0=7929368647288545 m=21,=22
*** t0=7929906578865454 m=21,=21
*** t0=7932191052171646 m=22,=22
*** t0=7934938441014128 m=21,=22
*** t0=7935502135800956 m=21,=21
*** t0=7935729304958114 m=22,=22
*** t0=7937936961925300 m=21,=23
*** t0=7938139557679806 m=21,=22
*** t0=7938626826938529 m=22,=22
*** t0=7940445887017445 m=21,=21
*** t0=7941935239413570 m=23,=22
*** t0=7942990829208252 m=21,=22
*** t0=7943628004923722 m=21,=21
*** t0=7944646003103115 m=22,=22
*** t0=7944693059300223 m=22,=21
*** t0=7945403268757793 m=21,=23
*** t0=7946669459297342 m=21,=21
*** t0=7947705450753475 m=23,=21
*** t0=7948379477228080 m=23,=21
*** t0=7948520328762255 m=27,=22
*** t0=7949999067157589 m=21,=21
*** t0=7950114049959817 m=21,=21
*** t0=7950813313112846 m=24,=21
*** t0=7951449669449105 m=22,=21
*** t0=7951549990994426 m=21,=24
*** t0=7951995694552928 m=22,=22
*** t0=7952777762500051 m=23,=23
*** t0=7953047115154619 m=23,=21
*** t0=7955047552234033 m=25,=24
*** t0=7955763402580959 m=22,=21
*** t0=7956908554547444 m=22,=22
*** t0=7957458968935363 m=21,=24
*** t0=7958061528075100 m=22,=23
*** t0=7960065292816857 m=22,=23
*** t0=7960155575785039 m=21,=22
*** t0=7961382645021502 m=21,=23
*** t0=7963034127707337 m=21,=23
*** t0=7963386940708938 m=23,=21
*** t0=7963413379227411 m=22,=21
*** t0=7963950702657056 m=22,=21
*** t0=7964733182846088 m=22,=21
*** t0=7964911079379425 m=22,=24
*** t0=7966547220577686 m=23,=23
*** t0=7968059006033724 m=23,=21
*** t0=7968882088803159 m=27,=21
*** t0=7969085682134113 m=24,=22
*** t0=7969895942613302 m=21,=21
*** t0=7970384762857750 m=21,=27
*** t0=7971260926470573 m=21,=21
*** t0=7975082532757744 m=21,=22
*** t0=7979927578421936 m=22,=22
*** t0=7980841702334758 m=22,=21
*** t0=7982183114089450 m=21,=21
*** t0=7982434002143305 m=21,=22
*** t0=7983352486248934 m=21,=21
*** t0=7985506679265454 m=23,=22
*** t0=7986021969920133 m=21,=24
*** t0=7989942595555689 m=21,=21
*** t0=7989949900493179 m=21,=22
*** t0=7991427778880510 m=21,=22
*** t0=7992934247498158 m=21,=21
*** t0=7995014381454562 m=21,=22
*** t0=7995423030952108 m=21,=23
*** t0=7996670477088173 m=21,=24
*** t0=7997008687699516 m=21,=22
*** t0=7997538038497382 m=21,=22
*** t0=7998848380817942 m=21,=22
*** t0=7998886143623004 m=22,=25
*** t0=7998920637425392 m=21,=23
*** t0=8002940822454853 m=22,=23
*** t0=8003215147277803 m=22,=26
*** t0=8004175819441974 m=22,=21
*** t0=8004754896547222 m=21,=23
*** t0=8005407802272540 m=22,=22
*** t0=8006852911459089 m=23,=21
*** t0=8008775860935371 m=21,=21
*** t0=8009475023661342 m=21,=23
*** t0=8009915062539585 m=21,=23
*** t0=8011458163478707 m=25,=22
*** t0=8012683158368654 m=22,=22
*** t0=8014097506190514 m=21,=21
*** t0=8015637026588436 m=22,=23
*** t0=8017400281515631 m=21,=21
*** t0=8017434587879494 m=22,=21
*** t0=8018038711617517 m=23,=21
*** t0=8019454846938780 m=22,=21
*** t0=8019993352500133 m=23,=22
*** t0=8020521909895517 m=23,=22
*** t0=8020575345953265 m=23,=22
*** t0=8021917523110532 m=21,=21
*** t0=8022799406305953 m=21,=21
*** t0=8023200413141698 m=21,=21
*** t0=8027712931749160 m=21,=22
*** t0=8030011939498161 m=21,=22
*** t0=8031478317451206 m=25,=23
*** t0=8032705289233247 m=21,=21
*** t0=8033344966197610 m=21,=22
*** t0=8035573977163774 m=21,=23
*** t0=8036486679012996 m=22,=22
*** t0=8037024851174199 m=21,=21
*** t0=8038108571236002 m=23,=23
*** t0=8038999705474162 m=23,=21
*** t0=8039996050732874 m=22,=22
*** t0=8040529939465097 m=23,=21
*** t0=8040772741646603 m=21,=24
*** t0=8042572185812104 m=24,=24
*** t0=8044834432691424 m=22,=23
*** t0=8045023427959408 m=21,=21
*** t0=8045240854308516 m=21,=24
*** t0=8046089986477123 m=21,=24
*** t0=8047610241853439 m=22,=22
*** t0=8048194382909554 m=21,=21
*** t0=8048208107404326 m=22,=21
*** t0=8048329188944409 m=21,=23
*** t0=8051008915612668 m=21,=22
*** t0=8051022144744828 m=21,=23
*** t0=8051301119470646 m=22,=21
*** t0=8053718543879539 m=21,=21
*** t0=8054216470270099 m=21,=21
*** t0=8055233163321811 m=22,=21
*** t0=8055795269610121 m=21,=21
*** t0=8055828482337489 m=21,=21
*** t0=8057035585510962 m=23,=21
*** t0=8058716599306856 m=23,=21
*** t0=8060469861835766 m=21,=25
*** t0=8060596476413033 m=22,=22
*** t0=8060748151270171 m=21,=21
*** t0=8060749357529294 m=21,=22
*** t0=8061170100718432 m=28,=21
*** t0=8062357059928463 m=21,=26
*** t0=8063965460195961 m=21,=22
*** t0=8064003912661364 m=21,=22
*** t0=8064031558877740 m=21,=21
*** t0=8064053661311388 m=21,=26
*** t0=8069121650026943 m=24,=21
*** t0=8069345902548101 m=23,=21
*** t0=8070764489385752 m=22,=21
*** t0=8073305800996145 m=23,=22
*** t0=8074754683645814 m=21,=21
*** t0=8075250709311228 m=22,=21
*** t0=8076116326051558 m=23,=28
*** t0=8078735617714577 m=30,=21
*** t0=8080483804984201 m=21,=21
*** t0=8081875559045769 m=27,=23
*** t0=8081934503529449 m=23,=22
*** t0=8081972462483148 m=21,=23
*** t0=8082290458668963 m=21,=22
*** t0=8082357124896956 m=21,=21
*** t0=8083651831113994 m=24,=24
*** t0=8084776633386376 m=21,=21
*** t0=8091893759145430 m=25,=23
*** t0=8092830151479824 m=25,=22
*** t0=8093583596689228 m=22,=21
*** t0=8093602939616156 m=21,=23
*** t0=8094765040514192 m=21,=24
*** t0=8094929587757035 m=21,=21
*** t0=8095245914411649 m=21,=22
*** t0=8098807618372188 m=23,=21
*** t0=8100024198370170 m=23,=21
*** t0=8100431272309210 m=21,=21
*** t0=8103152786599499 m=22,=25
*** t0=8103585203291742 m=21,=21
*** t0=8105463813165957 m=23,=25
*** t0=8105606971502909 m=22,=25
*** t0=8106426271161562 m=22,=22
*** t0=8108767527052031 m=21,=22
*** t0=8109811998397850 m=21,=22
*** t0=8111911817753015 m=22,=21
*** t0=8112350719199376 m=21,=25
*** t0=8112935048323746 m=21,=22
*** t0=8113923501256918 m=23,=21
*** t0=8116033474527861 m=22,=23
*** t0=8117537934509111 m=21,=21
*** t0=8117679945406553 m=22,=21
*** t0=8119303897562816 m=22,=23
*** t0=8120588099267014 m=21,=22
*** t0=8120865793191529 m=21,=23
*** t0=8121090319648237 m=29,=23
*** t0=8122892198247021 m=21,=21
*** t0=8123703994302168 m=23,=21
*** t0=8125772576136602 m=22,=22
*** t0=8126796949264249 m=21,=21
*** t0=8128144114143330 m=24,=21
*** t0=8128504618155162 m=26,=21
*** t0=8128914882326191 m=22,=21
*** t0=8129948884850737 m=21,=21
*** t0=8130533584071316 m=21,=24
*** t0=8132309156877260 m=21,=21
*** t0=8133151612526418 m=22,=22
*** t0=8133667287252832 m=22,=22
*** t0=8133693512119021 m=22,=22
*** t0=8133833675378878 m=23,=21
*** t0=8134025196574602 m=22,=22
*** t0=8135050154208399 m=21,=22
*** t0=8136109544634836 m=21,=22
*** t0=8136743435706733 m=21,=22
*** t0=8137445136292668 m=21,=21
*** t0=8140324986639142 m=21,=21
*** t0=8141300430214468 m=22,=23
*** t0=8143031886002359 m=21,=21
*** t0=8143933996819362 m=21,=21
*** t0=8144874852008916 m=22,=21
*** t0=8145685086851988 m=21,=23
*** t0=8146573997159551 m=23,=22
*** t0=8147296268927353 m=22,=21
*** t0=8147484511048617 m=21,=22
*** t0=8147967458741761 m=21,=25
*** t0=8148292149883570 m=21,=22
*** t0=8148691891003549 m=21,=22
*** t0=8149017767412078 m=22,=21
*** t0=8149619938478257 m=21,=21
*** t0=8152016558163137 m=21,=22
*** t0=8152115075543891 m=22,=21
*** t0=8152808266538678 m=21,=21
*** t0=8154167831139976 m=22,=21
*** t0=8155116438870240 m=27,=23
*** t0=8155866202599269 m=22,=22
*** t0=8157666075658250 m=22,=25
*** t0=8158054432756601 m=23,=21
*** t0=8158239975868013 m=22,=21
*** t0=8161004360734950 m=22,=21
*** t0=8162255680113288 m=21,=21
*** t0=8162775936883907 m=21,=21
*** t0=8163857119493131 m=21,=22
*** t0=8167196092259313 m=29,=22
*** t0=8167580665668019 m=22,=21
*** t0=8168073318397272 m=21,=23
*** t0=8168475484626354 m=22,=22
*** t0=8170718405518737 m=21,=21
*** t0=8170860743717589 m=23,=24
*** t0=8171160823696075 m=21,=21
*** t0=8171241031174575 m=21,=21
*** t0=8172858331327094 m=24,=22
*** t0=8173285711636042 m=23,=22
*** t0=8173752883682698 m=21,=25
*** t0=8174958354804597 m=24,=22
*** t0=8175385870578368 m=22,=25
*** t0=8175895702036490 m=21,=21
*** t0=8175998586790665 m=21,=21
*** t0=8176013375832165 m=23,=21
*** t0=8176410255929302 m=23,=22
*** t0=8176505272433627 m=22,=22
*** t0=8177114750752963 m=21,=21
*** t0=8177601603114993 m=22,=21
*** t0=8179834529635984 m=21,=21
*** t0=8180134808053628 m=21,=22
*** t0=8180222941011095 m=22,=27
*** t0=8185298334157214 m=21,=22
*** t0=8185365535785779 m=22,=21
*** t0=8185603260086908 m=23,=21
*** t0=8185630325249878 m=23,=22
*** t0=8190352589625647 m=21,=21
*** t0=8192026940160904 m=21,=22
*** t0=8194348360332454 m=22,=21
*** t0=8194774634830251 m=21,=26
*** t0=8194794863861338 m=22,=21
*** t0=8198009484179055 m=21,=22
*** t0=8198726274655948 m=22,=21
*** t0=8199820493599697 m=21,=22
*** t0=8202296034421091 m=23,=21
*** t0=8203933349366517 m=22,=25
*** t0=8204293042541048 m=23,=22
*** t0=8205686627107664 m=24,=21
*** t0=8206921181973104 m=21,=22
*** t0=8207561051653583 m=21,=25
*** t0=8208179844034794 m=21,=22
*** t0=8209840358769868 m=26,=22
*** t0=8215989301117071 m=24,=21
*** t0=8221984308627022 m=21,=21
*** t0=8223018777496447 m=22,=26
*** t0=8223638426420952 m=22,=25
*** t0=8224282774999058 m=21,=21
*** t0=8224528049027837 m=22,=21
*** t0=8225965242660740 m=25,=22
*** t0=8226320272978297 m=21,=24
*** t0=8226879296019824 m=21,=23
*** t0=8227045605328785 m=21,=21
*** t0=8227552576861127 m=22,=21
*** t0=8230552842846942 m=21,=24
*** t0=8232547512059411 m=22,=22
*** t0=8234051150684419 m=21,=22
*** t0=8235307243642963 m=23,=23
*** t0=8235520947098920 m=25,=24
*** t0=8235945378575109 m=21,=21
*** t0=8237104313616880 m=23,=21
*** t0=8237192164789239 m=22,=22
*** t0=8238065047629310 m=21,=22
*** t0=8239897992867161 m=21,=21
*** t0=8240715545321585 m=23,=22
*** t0=8240924686319972 m=24,=21
*** t0=8241625456902399 m=21,=21
*** t0=8241741358662956 m=21,=22
*** t0=8243673014340991 m=22,=23
*** t0=8243734525409354 m=22,=22
*** t0=8244632094072981 m=22,=22
*** t0=8245155619011079 m=24,=21
*** t0=8246278610253761 m=21,=22
*** t0=8246482424804489 m=21,=21
*** t0=8248188319432208 m=21,=21
*** t0=8249344759650604 m=21,=22
*** t0=8250227645588973 m=28,=22
*** t0=8251449053825404 m=22,=21
*** t0=8251696829320556 m=21,=22
*** t0=8252541919006956 m=23,=23
*** t0=8253972316618735 m=22,=21
*** t0=8257246619958038 m=21,=22
*** t0=8257262593174546 m=24,=22
*** t0=8257984041571749 m=22,=21
*** t0=8258525749393884 m=21,=22
*** t0=8260531190694304 m=21,=21
*** t0=8260709562340656 m=21,=21
*** t0=8263135134961984 m=21,=23
*** t0=8263604775381325 m=21,=22
*** t0=8264640220598570 m=22,=21
*** t0=8266484799678001 m=25,=21
*** t0=8268326851972793 m=22,=21
*** t0=8268791644024221 m=22,=21
*** t0=8272421937571633 m=21,=21
*** t0=8273346358214492 m=22,=22
*** t0=8273934729573203 m=21,=27
*** t0=8276630317878043 m=22,=21
*** t0=8276712192991595 m=21,=21
*** t0=8279700797281798 m=22,=21
*** t0=8281595235597756 m=23,=22
*** t0=8282240044509084 m=21,=22
*** t0=8283266712025782 m=21,=21
*** t0=8284104749740608 m=22,=21
*** t0=8284740140342235 m=21,=21
*** t0=8285050581561063 m=23,=21
*** t0=8285503507708281 m=22,=21
*** t0=8285745623265194 m=21,=21
*** t0=8287779924492216 m=21,=21
*** t0=8288172060917970 m=22,=23
*** t0=8288422866796072 m=22,=22
*** t0=8288461575504009 m=21,=21
*** t0=8291180258333822 m=22,=22
*** t0=8293042447207832 m=21,=21
*** t0=8297193732276746 m=21,=22
*** t0=8300158175322518 m=21,=21
*** t0=8300281917991644 m=23,=21
*** t0=8301801731275307 m=21,=21
*** t0=8306540394880172 m=26,=21
*** t0=8306696103233249 m=21,=22
*** t0=8306707517180838 m=21,=24
*** t0=8310731172170803 m=21,=25
*** t0=8310922345919208 m=21,=21
*** t0=8311608086419225 m=21,=21
*** t0=8313416700426291 m=21,=23
*** t0=8313548108103422 m=25,=24
*** t0=8314911329308466 m=23,=21
*** t0=8317196356596614 m=25,=21
*** t0=8318969923758110 m=22,=21
*** t0=8319092103358919 m=22,=21
*** t0=8323089483348608 m=22,=25
*** t0=8323704496438773 m=22,=21
*** t0=8324447115994635 m=21,=23
*** t0=8324469634489387 m=25,=22
*** t0=8326166633144010 m=21,=21
*** t0=8326937979964845 m=23,=22
*** t0=8327483245402768 m=21,=21
*** t0=8328873007031487 m=22,=21
*** t0=8328906127854675 m=21,=22
*** t0=8330597423968509 m=22,=21
*** t0=8331218819914593 m=21,=21
*** t0=8331229259611041 m=22,=22
*** t0=8332078967417123 m=21,=23
*** t0=8332867562683277 m=21,=21
*** t0=8336043528941264 m=21,=21
*** t0=8336517548411222 m=22,=21
*** t0=8336610523361583 m=21,=21
*** t0=8336935793742617 m=22,=21
*** t0=8337387387171996 m=21,=21
*** t0=8338159311836100 m=21,=23
*** t0=8338711865250271 m=22,=22
*** t0=8339008423248587 m=22,=21
*** t0=8339008958836920 m=23,=22
*** t0=8340012613721075 m=21,=21
*** t0=8341078707318906 m=21,=23
*** t0=8343239367773816 m=21,=21
*** t0=8346733527037245 m=23,=23
*** t0=8347084538878918 m=23,=22
*** t0=8347404653983602 m=21,=21
*** t0=8348391628835777 m=21,=21
*** t0=8351390978521320 m=21,=21
*** t0=8352874078195374 m=21,=22
*** t0=8353171041541479 m=22,=21
*** t0=8353427498837590 m=21,=22
*** t0=8354611803646445 m=21,=27
*** t0=8356541651879315 m=22,=22
*** t0=8356599930455408 m=23,=21
*** t0=8360903383024288 m=23,=23
*** t0=8362718150353724 m=23,=22
*** t0=8363015580551767 m=23,=21
*** t0=8363439170853148 m=21,=22
*** t0=8365088049923747 m=22,=22
*** t0=8367150205159743 m=21,=21
*** t0=8367469452826533 m=22,=26
*** t0=8368469508825285 m=21,=21
*** t0=8369890499713463 m=28,=21
*** t0=8371849122382063 m=24,=21
*** t0=8373194934112219 m=21,=21
*** t0=8373319638709658 m=24,=21
*** t0=8375080341257336 m=22,=21
*** t0=8380656170414700 m=21,=21
*** t0=8381415551609124 m=25,=22
*** t0=8381746803199032 m=24,=22
*** t0=8382375807976977 m=21,=22
*** t0=8382411328395958 m=22,=21
*** t0=8383595838461246 m=21,=31
*** t0=8385317636981191 m=22,=21
*** t0=8385637805308082 m=22,=27
*** t0=8387015955965916 m=21,=22
*** t0=8391346051785196 m=21,=21
*** t0=8391444159888310 m=22,=21
*** t0=8392536498597794 m=22,=22
*** t0=8393004731602913 m=23,=21
*** t0=8393166086056802 m=24,=21
*** t0=8393317228300959 m=21,=21
*** t0=8394550364462573 m=22,=23
*** t0=8395227405587991 m=21,=21
*** t0=8395698815732715 m=21,=23
*** t0=8396288787903146 m=22,=22
*** t0=8397344118661859 m=21,=22
*** t0=8397955254447688 m=21,=21
*** t0=8398734129700385 m=23,=22
*** t0=8399430686545762 m=21,=23
*** t0=8400627402503130 m=21,=22
*** t0=8403578126098333 m=21,=24
*** t0=8403632536721971 m=23,=22
*** t0=8404888366319451 m=21,=22
*** t0=8406921260297256 m=21,=23
*** t0=8407147584948785 m=23,=23
*** t0=8409113154560621 m=21,=21
*** t0=8410217452912542 m=21,=23
*** t0=8410491478273841 m=22,=22
*** t0=8411764097095578 m=21,=21
*** t0=8412375453102937 m=22,=22
*** t0=8413579879134925 m=22,=22
*** t0=8414198623301074 m=23,=21
*** t0=8415251672073607 m=22,=22
*** t0=8416027206997697 m=22,=21
*** t0=8416296073783898 m=21,=23
*** t0=8417040189635386 m=22,=21
*** t0=8417480850597002 m=21,=21
*** t0=8417527159825780 m=23,=21
*** t0=8418601453631718 m=22,=22
*** t0=8418810081356828 m=22,=22
*** t0=8418878401739063 m=21,=22
*** t0=8419016498559385 m=21,=23
*** t0=8420213746062478 m=24,=22
*** t0=8421686885411614 m=21,=21
*** t0=8421782015622301 m=21,=22
*** t0=8421857704886294 m=21,=21
*** t0=8421882726202912 m=24,=21
*** t0=8423613488553087 m=21,=21
*** t0=8424523963036542 m=22,=21
*** t0=8425322871461095 m=21,=21
*** t0=8425355286004251 m=22,=21
*** t0=8425464000869568 m=21,=21
*** t0=8426795517546659 m=22,=22
*** t0=8429249479327161 m=21,=25
*** t0=8429286356362873 m=22,=22
*** t0=8429525412295753 m=22,=22
*** t0=8431660722320445 m=21,=22
*** t0=8431702826870320 m=21,=21
*** t0=8431713194199528 m=22,=21
*** t0=8435555014950619 m=25,=22
*** t0=8436074439488207 m=23,=21
*** t0=8436987341668281 m=22,=21
*** t0=8437046025844172 m=22,=22
*** t0=8439557784785874 m=23,=22
*** t0=8440971915376126 m=23,=24
*** t0=8441272484004688 m=22,=23
*** t0=8442702082628717 m=21,=21
*** t0=8443971513590510 m=21,=21
*** t0=8444716292781435 m=22,=21
*** t0=8447890173593817 m=24,=24
*** t0=8447929637354887 m=21,=21
*** t0=8448434274967920 m=23,=23
*** t0=8450333121620701 m=21,=22
*** t0=8452246995167543 m=22,=25
*** t0=8452276506736147 m=23,=22
*** t0=8453697329430629 m=21,=24
*** t0=8454977420291752 m=22,=22
*** t0=8455743873953674 m=22,=21
*** t0=8456531819213244 m=21,=26
*** t0=8456668200833686 m=22,=21
*** t0=8457400166488903 m=27,=23
*** t0=8459024801394520 m=23,=21
*** t0=8460523073338555 m=23,=21
*** t0=8460823384567584 m=21,=24
*** t0=8461633541380535 m=21,=21
*** t0=8461890723136147 m=24,=22
*** t0=8462716703911848 m=21,=24
*** t0=8463927261192202 m=22,=21
*** t0=8465028438870237 m=21,=26
*** t0=8466087867537841 m=21,=21
*** t0=8466549278282895 m=24,=22
*** t0=8467113543752746 m=21,=21
*** t0=8467748098991238 m=21,=21
*** t0=8469648318305503 m=22,=21
*** t0=8470727440054088 m=21,=22
*** t0=8471604276781331 m=22,=21
*** t0=8472581125481946 m=23,=23
*** t0=8472929262919712 m=21,=21
*** t0=8473365042904594 m=21,=21
*** t0=8475342546146831 m=25,=21
*** t0=8476569739833764 m=21,=24
*** t0=8477015648850554 m=23,=22
*** t0=8478836938701273 m=21,=21
*** t0=8478907700029393 m=21,=21
*** t0=8479002221998458 m=23,=21
*** t0=8479142748449126 m=23,=25
*** t0=8479615423584944 m=23,=22
*** t0=8479910324188291 m=23,=25
*** t0=8480680551553319 m=21,=21
*** t0=8482300295971181 m=22,=21
*** t0=8482765047020362 m=23,=22
*** t0=8483039730002575 m=24,=23
*** t0=8485108133886932 m=21,=22
*** t0=8488208243422667 m=21,=23
*** t0=8493318680874522 m=24,=22
*** t0=8493436881648341 m=22,=21
*** t0=8494638868440768 m=21,=23
*** t0=8494953967653935 m=24,=22
*** t0=8496783454591404 m=25,=21
*** t0=8498167785095161 m=23,=21
*** t0=8500874215154507 m=25,=22
*** t0=8501958196357491 m=21,=23
*** t0=8502117058358355 m=22,=24
*** t0=8503781188608028 m=23,=21
*** t0=8504121247718758 m=21,=22
*** t0=8504371072806679 m=21,=21
*** t0=8505570749673203 m=23,=21
*** t0=8505791586001704 m=23,=22
*** t0=8506618408282473 m=21,=23
*** t0=8507689952601630 m=24,=22
*** t0=8508032000666736 m=21,=21
*** t0=8508830605032598 m=21,=22
*** t0=8509473724264148 m=21,=23
*** t0=8509846165038299 m=23,=24
*** t0=8511955424392204 m=22,=21
*** t0=8513357220647134 m=24,=22
*** t0=8513986979694320 m=22,=21
*** t0=8514802025592835 m=23,=29
*** t0=8515247997213042 m=23,=21
*** t0=8515359538349684 m=22,=23
*** t0=8515387777727726 m=21,=21
*** t0=8516153484159292 m=21,=22
*** t0=8516673155932418 m=21,=23
*** t0=8517423363912026 m=22,=21
*** t0=8517889775691037 m=21,=23
*** t0=8518904259800281 m=21,=21
*** t0=8519054515791440 m=21,=22
*** t0=8519863224201214 m=23,=24
*** t0=8520949495695844 m=21,=23
*** t0=8521127402379237 m=21,=24
*** t0=8522500462795709 m=21,=21
*** t0=8522649438178818 m=21,=22
*** t0=8524712383149863 m=21,=21
*** t0=8524921028613265 m=21,=21
*** t0=8525554771994452 m=21,=22
*** t0=8526377798826687 m=21,=23
*** t0=8527311888501000 m=22,=25
*** t0=8528194548712544 m=21,=22
*** t0=8528546615631724 m=21,=21
*** t0=8528621002614225 m=21,=21
*** t0=8530170539384182 m=23,=23
*** t0=8531200506815272 m=26,=21
*** t0=8531207083319622 m=21,=21
*** t0=8531443320899292 m=24,=23
*** t0=8531466722664153 m=21,=22
*** t0=8533302080409413 m=22,=23
*** t0=8533585889001100 m=21,=21
*** t0=8536535588731803 m=23,=23
*** t0=8537084089788326 m=21,=21
*** t0=8539145272121963 m=22,=22
*** t0=8539704589373350 m=22,=21
*** t0=8539825720054847 m=21,=25
*** t0=8548349030747688 m=21,=22
*** t0=8548350556209651 m=22,=21
*** t0=8548489965682613 m=21,=22
*** t0=8548974530011564 m=21,=21
*** t0=8549676402298957 m=21,=22
*** t0=8550364871403246 m=21,=22
*** t0=8551675117908447 m=21,=21
*** t0=8552115948538197 m=22,=23
*** t0=8554561181407202 m=22,=24
*** t0=8556211151094926 m=25,=21
*** t0=8556719453693095 m=21,=23
*** t0=8558251647872767 m=21,=21
*** t0=8560656288160348 m=21,=21
*** t0=8561863665713646 m=23,=23
*** t0=8562143653947842 m=22,=21
*** t0=8562242799824978 m=27,=21
*** t0=8563090008383629 m=23,=22
*** t0=8566604532311022 m=21,=21
*** t0=8569199741918375 m=23,=23
*** t0=8571056426493710 m=21,=21
*** t0=8573901680237867 m=21,=21
*** t0=8576366365384155 m=21,=21
*** t0=8581294698893703 m=26,=21
*** t0=8581326268060355 m=22,=21
*** t0=8581734501506198 m=23,=21
*** t0=8582649398312769 m=21,=21
*** t0=8584903673935795 m=22,=21
*** t0=8585444147546037 m=22,=21
*** t0=8586113916044199 m=22,=22
*** t0=8586357999320231 m=22,=24
*** t0=8586883878420604 m=21,=22
*** t0=8587192774828278 m=21,=24
*** t0=8587452665527709 m=21,=22
*** t0=8587699597152138 m=24,=21
*** t0=8587849351222594 m=21,=30
*** t0=8588998111684573 m=23,=23
*** t0=8590382012270805 m=21,=22
*** t0=8594304011977570 m=21,=23
*** t0=8595087796461081 m=21,=22
*** t0=8595473294452109 m=22,=23
*** t0=8595929066910885 m=21,=21
*** t0=8597133398617248 m=25,=22
*** t0=8599374280098320 m=27,=24
*** t0=8601118834781201 m=22,=24
*** t0=8601252315770500 m=23,=21
*** t0=8601869433744673 m=24,=21
*** t0=8602124695951007 m=22,=21
*** t0=8602230217709204 m=23,=22
*** t0=8602458888226739 m=21,=22
*** t0=8603222547798253 m=21,=21
*** t0=8603636626192531 m=25,=22
*** t0=8606879998176067 m=21,=21
*** t0=8606996978019377 m=21,=21
*** t0=8607344543800420 m=24,=21
*** t0=8607962814202648 m=21,=21
*** t0=8608231173001356 m=23,=27
*** t0=8609786933502268 m=21,=23
*** t0=8610608033179312 m=23,=23
*** t0=8611303691960513 m=21,=22
*** t0=8611386672954591 m=22,=23
*** t0=8612891843910868 m=22,=21
*** t0=8616967234774682 m=21,=22
*** t0=8617632015496165 m=21,=27
*** t0=8618340974535793 m=22,=21
*** t0=8619866999893321 m=21,=24
*** t0=8620874833695783 m=21,=21
*** t0=8623234755210334 m=21,=21
*** t0=8623583445086470 m=21,=22
*** t0=8623656433556969 m=27,=22
*** t0=8624173098627218 m=21,=22
*** t0=8626118103574868 m=22,=21
*** t0=8626481888071820 m=21,=21
*** t0=8627027593445918 m=21,=21
*** t0=8627603847574524 m=23,=22
*** t0=8628113493196870 m=22,=22
*** t0=8629555092847165 m=23,=23
*** t0=8629599777330631 m=24,=21
*** t0=8632833769630501 m=22,=21
*** t0=8633568542729258 m=21,=21
*** t0=8633966141499836 m=23,=21
*** t0=8635622874530234 m=22,=22
*** t0=8637140911043561 m=21,=23
*** t0=8637909220342435 m=21,=22
*** t0=8641415893768066 m=21,=21
*** t0=8642863874171999 m=21,=21
*** t0=8643942942035954 m=21,=22
*** t0=8644573589077035 m=21,=21
*** t0=8645205427051074 m=24,=21
*** t0=8648985331625102 m=21,=24
*** t0=8649293650145836 m=22,=22
*** t0=8649462967995888 m=22,=21
*** t0=8649711848981625 m=22,=22
*** t0=8650382083031169 m=22,=21
*** t0=8650455795668985 m=21,=24
*** t0=8650564624586447 m=21,=22
*** t0=8652888183733530 m=25,=21
*** t0=8654972633880137 m=21,=21
*** t0=8655529863912959 m=23,=21
*** t0=8655889223756055 m=21,=22
*** t0=8656322947169084 m=21,=21
*** t0=8657729998425998 m=21,=23
*** t0=8657795458273636 m=22,=25
*** t0=8658217583947510 m=26,=21
*** t0=8660805633493251 m=22,=21
*** t0=8661114024491115 m=24,=21
*** t0=8661440207756917 m=21,=22
*** t0=8662218384586527 m=21,=22
*** t0=8663100635542171 m=21,=27
*** t0=8664120991850170 m=21,=21
*** t0=8664831253063379 m=21,=22
*** t0=8664926590922458 m=23,=22
*** t0=8664989054244794 m=21,=24
*** t0=8665349699879108 m=21,=22
*** t0=8667200946856327 m=21,=24
*** t0=8667386079252761 m=21,=24
*** t0=8667504158566341 m=21,=21
*** t0=8667567893296151 m=21,=21
*** t0=8667889350881517 m=26,=23
*** t0=8669112999894126 m=22,=21
*** t0=8669953883473731 m=23,=23
*** t0=8671968252948544 m=21,=24
*** t0=8673421795784346 m=22,=21
*** t0=8674326654262923 m=21,=22
*** t0=8677871375383307 m=21,=21
*** t0=8678408285709919 m=21,=21
*** t0=8678830729435596 m=24,=21
*** t0=8679663663211236 m=21,=21
*** t0=8680326584804923 m=22,=22
*** t0=8680827680077946 m=23,=21
*** t0=8681144953504786 m=25,=24
*** t0=8682012474153301 m=23,=24
*** t0=8683133644011941 m=23,=22
*** t0=8683292067819793 m=21,=21
*** t0=8686885080851115 m=21,=22
*** t0=8686909319098098 m=21,=21
*** t0=8687239040534080 m=21,=21
*** t0=8687355317594826 m=21,=21
*** t0=8688076560174788 m=26,=21
*** t0=8689639732818447 m=21,=24
*** t0=8691483954433407 m=22,=21
*** t0=8692638022428298 m=22,=21
*** t0=8695390394244234 m=23,=21
*** t0=8695943442232627 m=22,=22
*** t0=8696401215290629 m=21,=21
*** t0=8697085587525796 m=21,=21
*** t0=8700827629514448 m=25,=21
*** t0=8701434545525502 m=21,=25
*** t0=8703483318513808 m=21,=21
*** t0=8703503452661463 m=21,=21
*** t0=8704191946488756 m=22,=21
*** t0=8704572541339031 m=22,=21
*** t0=8704654296434669 m=23,=21
*** t0=8705249473969462 m=23,=22
*** t0=8706162785632214 m=25,=21
*** t0=8706252684550241 m=21,=21
*** t0=8706561362558862 m=21,=22
*** t0=8706989186619243 m=24,=22
*** t0=8708584432357590 m=23,=21
*** t0=8709307396872437 m=22,=22
*** t0=8711305612819727 m=21,=21
*** t0=8717483304263827 m=23,=22
*** t0=8717894463457569 m=21,=22
*** t0=8718342169148808 m=26,=23
*** t0=8718750392770040 m=22,=22
*** t0=8719324612843259 m=22,=21
*** t0=8719552222073703 m=21,=21
*** t0=8723379853339934 m=21,=21
*** t0=8724469077448295 m=21,=21
*** t0=8724733258166738 m=21,=22
*** t0=8724876033118960 m=22,=21
*** t0=8725182346561048 m=23,=21
*** t0=8726606417180657 m=21,=23
*** t0=8729876481619649 m=21,=21
*** t0=8730798602586660 m=21,=21
*** t0=8731140450073626 m=21,=22
*** t0=8732171364068800 m=21,=22
*** t0=8735687972039028 m=25,=22
*** t0=8736447851783651 m=28,=27
*** t0=8736993105424356 m=23,=21
*** t0=8737671690045638 m=21,=21
*** t0=8738173302224727 m=25,=24
*** t0=8738725366977101 m=21,=22
*** t0=8741712570052746 m=22,=22
*** t0=8741717592816746 m=21,=21
*** t0=8743232034524366 m=22,=22
*** t0=8745047395367520 m=21,=26
*** t0=8745657035269381 m=27,=22
*** t0=8746929765756482 m=26,=22
*** t0=8747372985466006 m=21,=21
*** t0=8748258427825040 m=21,=21
*** t0=8748819959448272 m=22,=21
*** t0=8749568268187827 m=22,=22
*** t0=8752061053613104 m=21,=23
*** t0=8752335141976475 m=24,=22
*** t0=8753074886757966 m=21,=21
*** t0=8754087895964874 m=22,=23
*** t0=8756630002035408 m=21,=22
*** t0=8756759395326533 m=21,=21
*** t0=8756997786515236 m=21,=22
*** t0=8757034092526792 m=24,=22
*** t0=8758117669173130 m=21,=22
*** t0=8758451644587617 m=23,=22
*** t0=8758917973760200 m=25,=22
*** t0=8759678886710371 m=21,=24
*** t0=8761906162850954 m=21,=23
*** t0=8762461292495128 m=23,=23
*** t0=8763086997147804 m=21,=23
*** t0=8763571211882216 m=22,=24
*** t0=8764121845260697 m=21,=22
*** t0=8764233279813482 m=23,=22
*** t0=8764650124123240 m=21,=22
*** t0=8764751424084585 m=21,=21
*** t0=8767706730323666 m=21,=25
*** t0=8767757941344944 m=23,=21
*** t0=8767882982780970 m=21,=22
*** t0=8768823017586589 m=23,=21
*** t0=8768948064054709 m=22,=21
*** t0=8769976817928717 m=22,=22
*** t0=8771599252808127 m=21,=23
*** t0=8771980699751735 m=21,=21
*** t0=8772846043964484 m=21,=22
*** t0=8774040844121697 m=21,=21
*** t0=8774509314632371 m=23,=21
*** t0=8777458026632927 m=21,=23
*** t0=8778252868241100 m=27,=21
*** t0=8778273206422895 m=21,=22
*** t0=8779954904290258 m=22,=22
*** t0=8781411316175816 m=23,=21
*** t0=8785784854492582 m=21,=21
*** t0=8786842974021019 m=21,=21
*** t0=8787645094945641 m=21,=22
*** t0=8789475957932609 m=21,=25
*** t0=8790140536047831 m=21,=21
*** t0=8792253066750848 m=22,=21
*** t0=8795771652374417 m=21,=22
*** t0=8795821838333599 m=21,=21
*** t0=8797658805922140 m=24,=21
*** t0=8798717278625915 m=22,=22
*** t0=8802969843867177 m=21,=22
*** t0=8804897070546089 m=21,=23
*** t0=8805405437711072 m=21,=21
*** t0=8806905760112203 m=25,=22
*** t0=8809536334953321 m=23,=22
*** t0=8810800005875765 m=23,=21
*** t0=8811560315942745 m=22,=23
*** t0=8811741412787269 m=23,=26
*** t0=8813419942442170 m=22,=23
*** t0=8814437411577808 m=22,=21
*** t0=8816084864455304 m=27,=23
*** t0=8816212040431146 m=21,=21
*** t0=8817752509031854 m=23,=21
*** t0=8818121196943515 m=21,=21
*** t0=8818467297320870 m=21,=22
*** t0=8818547626467241 m=22,=21
*** t0=8818652099913396 m=21,=27
*** t0=8819953886741698 m=21,=22
*** t0=8821215744166460 m=23,=22
*** t0=8823132113968719 m=22,=22
*** t0=8823706510205949 m=22,=23
*** t0=8823983143200871 m=21,=26
*** t0=8824490372565134 m=21,=23
*** t0=8826267032479789 m=21,=21
*** t0=8826753907712784 m=21,=22
*** t0=8826843044315081 m=27,=23
*** t0=8826914849417756 m=21,=21
*** t0=8827082979481157 m=22,=21
*** t0=8827408778559553 m=21,=21
*** t0=8829994267409359 m=21,=21
*** t0=8830253385753017 m=23,=21
*** t0=8831905350376818 m=21,=23
*** t0=8831918780018577 m=22,=21
*** t0=8832016794573108 m=22,=22
*** t0=8833754216080017 m=21,=24
*** t0=8834622683509622 m=21,=23
*** t0=8835269261667440 m=21,=22
*** t0=8836080466773108 m=26,=22
*** t0=8836421057574559 m=22,=21
*** t0=8837193096595411 m=21,=21
*** t0=8837925217693690 m=21,=21
*** t0=8837985548707977 m=21,=21
*** t0=8838264443270972 m=21,=24
*** t0=8839068519354892 m=22,=27
*** t0=8839169086304506 m=21,=21
*** t0=8839236832219700 m=21,=22
*** t0=8839269034593161 m=25,=21
*** t0=8840821233617193 m=23,=21
*** t0=8841309433491994 m=21,=21
*** t0=8841461898452754 m=21,=21
*** t0=8843435096664178 m=22,=21
*** t0=8844863348421436 m=21,=21
*** t0=8844878845585297 m=21,=21
*** t0=8847947852434182 m=23,=22
*** t0=8849351896250399 m=21,=26
*** t0=8849951199193468 m=23,=22
*** t0=8850126062611302 m=22,=23
*** t0=8850749748400095 m=22,=25
*** t0=8851700201398997 m=24,=27
*** t0=8851923003141547 m=21,=21
*** t0=8852225653156229 m=22,=22
*** t0=8853720171534862 m=23,=23
*** t0=8856323153847994 m=23,=24
*** t0=8858958659586775 m=21,=21
*** t0=8863180566921013 m=21,=21
*** t0=8865021519800406 m=21,=24
*** t0=8866118347339545 m=21,=21
*** t0=8867328858122315 m=21,=21
*** t0=8868115711596430 m=22,=21
*** t0=8870713143626136 m=21,=22
*** t0=8870897107696213 m=21,=21
*** t0=8871065415707313 m=21,=23
*** t0=8871357613960859 m=22,=25
*** t0=8872788965535742 m=21,=21
*** t0=8873543320926257 m=21,=26
*** t0=8874870274250561 m=21,=21
*** t0=8875900390517835 m=21,=22
*** t0=8876237605122528 m=24,=21
*** t0=8877396998601037 m=21,=22
*** t0=8878490626981625 m=21,=21
*** t0=8879269373653831 m=21,=24
*** t0=8880013500791847 m=21,=22
*** t0=8883540966950147 m=22,=21
*** t0=8884329184932372 m=21,=21
*** t0=8885256536789487 m=21,=21
*** t0=8887497242373788 m=23,=22
*** t0=8890777747165748 m=22,=23
*** t0=8892158762086650 m=22,=22
*** t0=8893125459987006 m=21,=22
*** t0=8893589319676154 m=22,=22
*** t0=8895050109849645 m=23,=23
*** t0=8897561796348444 m=22,=21
*** t0=8898931774161386 m=21,=21
*** t0=8900567496543013 m=23,=31
*** t0=8900979853697458 m=22,=21
*** t0=8902774443448988 m=21,=25
*** t0=8903195390299398 m=22,=24
*** t0=8903819545050453 m=23,=21
*** t0=8904127066641543 m=21,=22
*** t0=8904571643580277 m=21,=24
*** t0=8906239017344462 m=21,=21
*** t0=8906766874925155 m=21,=26
*** t0=8909126809242763 m=21,=22
*** t0=8909274359913796 m=21,=21
*** t0=8910205936870755 m=21,=21
*** t0=8910223097429174 m=22,=21
*** t0=8913115770908381 m=26,=25
*** t0=8915624638104490 m=22,=21
*** t0=8916954941369494 m=25,=26
*** t0=8917086909019719 m=22,=22
*** t0=8917221667531339 m=25,=22
*** t0=8917973540133287 m=23,=23
*** t0=8918394547323284 m=24,=24
*** t0=8919995212852509 m=23,=21
*** t0=8920356777065540 m=22,=22
*** t0=8921438266978582 m=21,=22
*** t0=8923557792951756 m=22,=25
*** t0=8923591031973100 m=24,=21
*** t0=8925971582607525 m=23,=24
*** t0=8928991206126412 m=22,=25
*** t0=8929392221225742 m=21,=21
*** t0=8930807048500946 m=22,=21
*** t0=8935068867771959 m=21,=21
*** t0=8935104955165717 m=24,=21
*** t0=8935268771803789 m=22,=24
*** t0=8936285262735025 m=23,=22
*** t0=8937927274940746 m=22,=21
*** t0=8938645576874147 m=21,=21
*** t0=8939402129380848 m=22,=24
*** t0=8939470881420288 m=22,=22
*** t0=8939681767759967 m=22,=25
*** t0=8941126983650265 m=21,=24
*** t0=8945501465358727 m=23,=25
*** t0=8945582200407564 m=21,=21
*** t0=8945840455784791 m=23,=21
*** t0=8949644618614454 m=21,=21
*** t0=8952534438598464 m=21,=21
*** t0=8953077612479123 m=21,=27
*** t0=8953794327694788 m=22,=21
*** t0=8955584176849056 m=21,=21
*** t0=8956694476096228 m=27,=21
*** t0=8957898108286257 m=22,=21
*** t0=8958484518894775 m=21,=23
*** t0=8960028758586903 m=21,=22
*** t0=8960085803967586 m=25,=21
*** t0=8964180631637895 m=22,=22
*** t0=8966354523632972 m=21,=22
*** t0=8967478827798772 m=22,=21
*** t0=8968497962214964 m=21,=22
*** t0=8969172149158029 m=21,=21
*** t0=8971003836683639 m=24,=23
*** t0=8971470699860833 m=21,=21
*** t0=8972152158837263 m=24,=23
*** t0=8975396238876535 m=22,=21
*** t0=8976258238506189 m=21,=23
*** t0=8979542375448262 m=22,=21
*** t0=8980678439543624 m=22,=24
*** t0=8981762254331263 m=21,=22
*** t0=8988070522144377 m=21,=21
*** t0=8988803725189101 m=25,=22
*** t0=8989192521236826 m=30,=23
*** t0=8990315452280308 m=25,=21
*** t0=8990582719589336 m=21,=21
*** t0=8993169046432815 m=21,=22
*** t0=8994412202378054 m=24,=26
*** t0=8994994096710325 m=21,=21
*** t0=8995244151262895 m=24,=23
*** t0=8996465223557645 m=21,=21
*** t0=8996835491263192 m=21,=21
*** t0=8998099833946552 m=23,=22
*** t0=8998105993839437 m=22,=23
*** t0=8999187834285091 m=21,=21
*** t0=9001332713368172 m=23,=22
*** t0=9002416647322365 m=22,=24
*** t0=9002488411159431 m=21,=22
*** t0=9002638654702284 m=23,=21
*** t0=9004467595438594 m=22,=22
*** t0=9006376204504704 m=21,=28