Une suite finie sur le thème
Skolem-Langford
J’ai
envoyé ceci fin août 2008 à la liste Math-Fun
et sur le forum rec.puzzles :
Hello Math-Fun,
We are looking for an 18-digit integer
(like
946131483695200285) where we have
"d" digits
between two d's (here: one digit between
two
1's, zero digit between the two 0's, nine
digits between the two 9's, etc.)
Those 18 digits form thus 9 pairs of
digits --
the 9 pairs being different one from
another.
Now cut this integer in chunks so to make
a finite monotonically increasing sequence
(like this one, for instance, among
others):
9,46,131,483,695,200285
We sum the terms:
9+46+131+483+695+200285 = 201649
Question:
Find the integer which, properly chunked,
will
give the smallest possible sum.
---
Example #2:
849362432856900151 could give:
8+49+362+432+856+900151 = 901858
... but if we move the first digit
"8" to the
end (which is still sound),
849362432856900151
becomes 493624328569001518
... which, properly chunked, will give:
4+9+362+432+856+900+1518 = 4080
This is my personal best so far.
Regards,
E.
---
P.S.
a 20-digit integer such as described is
impossible
for parity reasons. I'll be delighted to
receive
the full b-file list of all such 18-digit
integers
(if someone would be kind enough to
compute it).
L’unique réponse reçue me vint de Dan Hoey :
> The best is 456784151637283200, which
can be chunked into
>
4+5+6+7+8+41+51+63+72+83+200 = 540.
>
> (...) There are 10216 such 18-digit
strings, or 9060 such
>
integers if we prohibit leading zeroes.
Dan m’a envoyé le programme en Java
qui lui a permis de trouver la réponse, voir plus bas. Merci Dan !
J’ai mentionné sa suite finie sur SeqFan et reçu un courrier privé de Maximilian Hasler :
(...)
I have some questions:
* is there the same thing for digits 0..8,
0..7, ... ?
* would it be more natural, in that case,
to consider the problem in
base 9, resp. base 8, etc. ? (would it
make much difference ? - i.e.
different "optimal" solutions
depending on the base ?)
* in that present case, the best chunking
is obtained by a "greedy" approach
(i.e. 1st term=1st digit, then subsequent
terms are given by the least
number of digits making up a bigger
number, with digits remaining in
the end appended to the last number)
Will this always be the case for the
"minimal" solution ?
* will the best solution always have the
00 in the end ? have the last
term of the form x00 ?
have only 1 or 2-digit terms before that ?
Since leading zeros are not allowed, the
sequence must have one term
of the form x00 (or much larger), and x
cannot be 1 (this would
require the penultimate term to be of the
form 1?, and thus earlier
terms only single digits, which is
impossible).
So it seems that the last term cannot be
smaller than 200.
Will there always be a solution ending
with 200 ?
* Do you know whether Dan Hoey has an
intelligent algorithm to
construct the best sequence, or does he
use "brute force" exhaustive
search over all generated possibilities ?
But even in the latter case, his program
would probably quickly give
the answers to these questions.
It would be nice to have them on your web
page.
Regards,
Maximilian
J’ai fait suivre ce courrier à Dan, lequel a répondu :
> * is there the same thing for digits
0..8, 0..7, ... ?
If the digits are 0..8 or 0..7, there
exist Skolem sequences using all
the digits. Here is the output indicating how many
sequences there
are, how many sequences do not begin with
zero, and the minimum
separation of a sequence into increasing
chunks.
dan% java SkolemLike 9 8
print|wc
2656
2656 53120
dan% java SkolemLike 9 8
print|grep -v '^0'|wc
2356
2356 47120
dan% java SkolemLike 9 8 sep
Best separation:
574=4+5+6+7+8+41+51+63+72+83+200 (base 9)
dan% java SkolemLike 8 7
print|wc
504
504 9072
dan% java SkolemLike 8 7
print|grep -v '^0'|wc
452
452 8136
dan% java SkolemLike 8 7 sep
Best separation: 1213=4+7+12+14+25+67+300+536
(base 8)
In each case, the first argument to
SkolemLike is the number of digit
pairs, and the second argument is the
maximum digit value.
> * would it be more natural, in that
case, to consider the problem in
> base 9, resp. base 8, etc. ? (would
it make much difference ? - i.e.
> different "optimal"
solutions depending on the base ?)
In each case I use the base
that is the maximum digit plus one. I
haven't examined using other
bases. Note that in base 2, the only
Skolemlike sequence is
"00", which does not admit a separation into
chunks.
> * in that present case, the best
chunking is obtained by a "greedy" approach
> (i.e. 1st term=1st digit, then
subsequent terms are given by the least
> number of digits making up a bigger
number, with digits remaining in
> the end appended to the last number)
> Will this always be the case for the
"minimal" solution ?
I don't know.
> * will the best solution always have
the 00 in the end ? have the last
> term of the form x00 ?
> have only 1 or 2-digit terms before
that ?
Evidently not.
> Since leading zeros are not allowed,
the sequence must have one term
> of the form x00 (or much larger), and
x cannot be 1 (this would
> require the penultimate term to be of
the form 1?, and thus earlier
> terms only single digits, which is
impossible).
> So it seems that the last term cannot
be smaller than 200.
> Will there always be a solution
ending with 200 ?
>
> * Do you know whether Dan Hoey has an
intelligent algorithm to
> construct the best sequence, or does
he use "brute force" exhaustive
> search over all generated
possibilities ?
> But even in the latter case, his
program would probably quickly give
> the answers to these questions.
I use backtracking to
generate all the sequences. For the
first unused
position /p/ of the
sequence, I choose each unused digit /d/ in turn,
provided that the position
1+/d/+/p/ lies within the sequence and is not
previously used; I then
assign digit /d/ to that position as well.
After examining all possible
continuations, I then mark positions /p/
and 1+/d/+/p/ unused and try
the next digit.
When finding optimal
separations, I take the first digit as a singleton
(provided it is not zero)
and try all continuations. I then append
the
second digit to make a two
digit number (in the appropriate base) and
try all continuations,
etc. Of course, I require that each
chunk exceed
the previous value, so that
the sequence is increasing. I cut off
the
search when the partial sum
exceeds a solution already discovered.
I attach the Java program,
slightly modified from the one I originally
sent to Eric. I hope you
find it useful. Please let me know if you
have any comments on the
program, particularly if you discover a bug.
Cheers,
Dan
__________
Voici le programme Java de Dan :
/*
*
SkolemLike.java
*
Author: Dan Hoey
*
2008 Aug 27
* *
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
*
Usage: compile with "javac SkolemLike.java"
*
To list all 9-pair Skolem numbers with max digit 9, "java SkolemLike 9 9
print"
*
To find best separation into chunks, "java SkolemLike 9 9 sep"
*
*
Solves the following puzzle:
* *
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
*
From: "Eric A."
*
Newsgroups: rec.puzzles
*
Subject: (again ?) Skolem-like puzzle sequence
*
*
(...)
*/
import java.util.*;
class SkolemLike
{
int nPairs;
BitSet avail;
int numberBase;
int[] seq;
ArrayList<int[]>seqs;
public
SkolemLike(int nPairs, BitSet avail)
{
this.nPairs=nPairs;
this.avail=(BitSet)avail.clone();
numberBase = avail.length();
}
ArrayList<int[]> calcSequences()
{
seqs = new ArrayList<int[]>();
seq = new int[2*nPairs];
Arrays.fill(seq,-1);
calcSequences(0);
return seqs;
}
void calcSequences(int ind)
{
for (int i=ind; i< seq.length; ++i)
{
if(seq[i]==-1)
{
for(int
val=avail.nextSetBit(0);
val>=0 &&
i+val+1 < seq.length;
val=avail.nextSetBit(val+1))
{
if(seq[i+val+1]==-1)
{
avail.clear(val);
seq[i]=val;
seq[i+val+1]=val;
calcSequences(i+1);
seq[i+val+1]=-1;
seq[i]=-1;
avail.set(val);
}
}
return;
}
}
seqs.add(seq.clone());
}
static void printSequences(ArrayList<int[]>seqs)
{
for(int[] seq : seqs)
{
for(int i:seq) System.out.print(Integer.toString(i,36));
System.out.println();
}
}
int[]bestSepAnswer = null;
int[] bestSep(int[] seq)
{
bestSepAnswer = null;
int[]workSeq=new int[1+2*nPairs];
workSeq[0]=0;
bestSep(seq,0,workSeq,1);
return bestSepAnswer;
}
void bestSep(int[]seq, int seqInd, int[] workSeq, int wInd)
{
if(seqInd==seq.length)
{
bestSepAnswer=new int[wInd];
System.arraycopy(workSeq,0,bestSepAnswer,0,wInd);
return;
}
if(seq[seqInd]==0) return;
workSeq[wInd]=0;
for(int i=seqInd; i<seq.length; ++i)
{
workSeq[wInd]=workSeq[wInd]*numberBase + seq[i];
if(wInd>1 && workSeq[wInd]<=workSeq[wInd-1]) continue;
if(bestSepAnswer != null && workSeq[0]+workSeq[wInd] >=
bestSepAnswer[0]) return;
workSeq[0]+=workSeq[wInd];
bestSep(seq, i+1, workSeq, wInd+1);
workSeq[0]-=workSeq[wInd];
}
}
public static void main(String[] args)
{
if(args.length!=3)
{
System.out.println("Usage: java SkolemLike <nPairs>
<maxDigit> [print|sep]");
return;
}
int nPairs=Integer.valueOf(args[0]);
int maxDigit=Integer.valueOf(args[1]);
BitSet avail=new BitSet(maxDigit+1);
avail.set(0,maxDigit+1);
SkolemLike s=new SkolemLike(nPairs,avail);
ArrayList<int[]>seqs=s.calcSequences();
if(args[2].equalsIgnoreCase("print"))
{
printSequences(seqs);
}
else if (args[2].equalsIgnoreCase("sep"))
{
int[] best=null;
for (int[]seq : seqs)
{
int[] bSep=s.bestSep(seq);
if(best==null || (bSep != null
&& bSep[0]<best[0]))
{
best=bSep;
}
}
if(best!=null)
{
System.out.print("Best
separation: "
+Integer.toString(best[0],s.numberBase)
+"=");
String sep="";
for(int
i=1;i<best.length;++i)
{
System.out.print(sep+Integer.toString(best[i],s.numberBase));
sep="+";
}
System.out.println(" (base
"+s.numberBase+")");
}
}
}
}
__________
J’ai
envoyé la suite de Dan à l’OEIS ;
elle porte désormais le numéro Axxxxxx.
Voici
la liste de tous les nombres de 18 chiffres qui (auto)décrivent la quantité d de chiffres placés
entre deux d (cette
liste commence par d’impossibles « nombres » à deux zéros initiaux).
David Wilson
avait déjà publié ce résultat (et plus encore — ce sont tous les nombres de ce
type, quelle qu’en soit la longueur), là : <D. Wilson, Complete
table of n, a(n) for n = 1..20120>. Ce lien figure à l’entrée A108116
de l’OEIS. Le nombre ayant produit
la suite-réponse au problème posé est surligné de jaune ci-après :
001316738524627548
001316834752642857
001316835724625847
001316837425624875
001317538642572468
001317835264275846
001318536724528647
001318637245268475
001415684735263287
001415784365237286
001415864725326837
001416894352632859
001418594623528369
001418634753268257
001418694253268359
001418954263258396
001419584362532986
001419684235263985
001514678542362738
001516478534623728
001516738543627428
001516782542637483
001517368534276248
001517386532472684
001518473564328726
001518496524328639
001518627523468374
001518692542368439
001518934563248296
001518936523428694
001519468524326938
001519682532463984
001613758364257248
001613784365247285
001613857362452874
001615847365432872
001615893465324829
001617285263475384
001617483564372582
001617892462374839
001617895264275849
001617938463274298
001617948562472598
001618257263458374
001618274265348735
001618493564328529
001618497364238279
001618934763248297
001618942562438593
001618972362438794
001618974265248795
001619485264235983
001619538463524928
001619582462534983
001619584762542987
001619758264257948
001619782362437984
001619784265247985
001712682537463584
001712852467354836
001712852637453864
001712862357436854
001713568347526428
001713845367425826
001714586347532682
001714683547362582
001714853647352862
001714968347236298
001716285247635483
001716384537642582
001718246257438653
001718394637248269
001718926327438694
001719628427364938
001812692453864359
001812692534863549
001812952463854396
001812962345836495
001813475364825726
001813697342862479
001813796324827649
001813974362842796
001814637543862572
001814697542862579
001814956742852697
001814962542836593
001815267245836473
001815374635842762
001815396435824629
001815926425834693
001817296234873649
001817926425874695
001819425624835963
001819625724865947
001819627425864975
001819724625847965
001912582463594386
001912842635493865
001913468354296258
001913485364295286
001913847362492876
001913862352496854
001914578642592768
001914586742592687
001914738643297268
001914786245297685
001914862742396837
001914867245296875
001915268245396438
001915286235493684
001916278234693748
001916728524697548
001916825724695847
001916827425694875
001918236253498654
001918247263498376
001918273264398746
001918372632498764
001918426724398637
001918526724598647
002362834756141857
002382436754181657
002382437564181576
002382736151487654
002382936415184695
002392538641519468
002392638514169548
002392834615149865
002452684753161387
002452864751316837
002462584736513187
002462784516137583
002462894356131859
002472864151736853
002472894631713869
002482374635181765
002482794613187369
002482934563181596
002482964713186397
002492684713169387
002492854161359836
002562948536413198
002572368534716148
002572638543761418
002572834563741816
002572861514736843
002572968541716498
002582396534181649
002582473564381716
002582796514187649
002582961513486394
002592386531419684
002592483564319186
002592486514139683
002592678514169748
002592681513469384
002592847561419876
002632783561417584
002632853764151847
002642783465317185
002642895461315839
002642958463151398
002672485364735181
002672815164735843
002672895364735849
002672938463714198
002672958463754398
002682171465384735
002682493564381519
002682497564181579
002682537463584171
002682597463584379
002682793564387549
002682915163485394
002682945763485397
002682973465384795
002682975161485794
002692483764319187
002692578364539748
002692584763549387
002692814165349835
002692847161439873
002692847365439875
002692853764359847
002692857161459874
002732583467514186
002742853467351816
002752683457364181
002752894657141869
002782345637485161
002782916137483694
002782961517486594
002792348637419168
002792618147369438
002792681517469584
002792814167349836
002792841617439863
002792851617459864
002812156734853647
002812157463854376
002812164753846357
002812167345836475
002812174635843765
002812175364835746
002832463754816157
002832793641817469
002832963741816497
002832973461814796
002842367435816175
002842796451817659
002842935463815196
002842975461815796
002852467354836171
002852496354831619
002852637453864171
002852697453864379
002852716154837643
002852734653847161
002852794653847369
002852796354837649
002852964753846397
002862171456834753
002862357436854171
002862394536841519
002862397436814179
002862915146835493
002862971416834793
002892171364839746
002892356734859647
002892374635849765
002892416154839653
002892471614839763
002892617145869475
002932483564191586
002932863151496854
002932863714196847
002942386435191685
002942786415197685
002942837463191876
002942861415396835
002942867415196875
002952478654191768
002952486754191687
002952748653497368
002952786151497684
002952863754396847
002952867151496874
002962181536493584
002962348536491518
002962718146397438
002962781516497584
002962817136493874
002972181463794386
002972368534796548
002972386435794685
002972815164795846
003171358642752468
003171368524726548
003171384562742586
003171386425724685
003181346752482657
003181347562482576
003181367245286475
003181375264285746
003456384752612187
003458394651218269
003467384516172582
003468394256218159
003468394516128529
003469384726121987
003478324625718165
003485374265281716
003485374615182762
003486374151682752
003489324625181965
003495384265219186
003497384161279286
003564378546121728
003568327526418174
003568347526428171
003568371516428724
003569348526421918
003569384516142982
003574386541712682
003578396524728649
003579368524726948
003579384562742986
003582372564181746
003586371514682742
003586392542681419
003586397542682479
003589342562481916
003589347562482976
003596328524619148
003596378524629748
003627328564171548
003628327561418574
003645378465121728
003648397461218279
003672382465714185
003679384161742982
003681315764285247
003681317465284275
003681317562482574
003682392564181549
003685397465284279
003689317162482974
003689342762481917
003689347161482972
003692382561419584
003695384265249181
003695384765249287
003697318164279248
003697382562479584
003726328457614158
003746385427625181
003748396417128629
003749368417126928
003758316157428624
003758394657248269
003782342567481516
003782392647181469
003784395647285269
003784396247281619
003789325627485964
003789341617482962
003794358647259268
003796318147629428
003825327465814176
003829327461814976
003845367425826171
003845396425821619
003847326425871615
003847362452876151
003847396452872659
003849352462851916
003849357462852976
003849361415826925
003849367425826975
003852362754816147
003857316154872642
003861315746825427
003862352746851417
003862392456814159
003869314156842952
003869324726841917
003891316724829647
003894316145829625
003894352642859161
003895324625849161
003925328645191468
003928326151498654
003928326714198647
003945386415192682
003946378452692758
003956382452694181
003958342652498161
003958372652498764
003961318456294258
003962382746191487
003964378246291718
003964385246295181
003964385746295287
003968327526498574
003971318642792468
003974386141792682
004161748356237258
004161748526327538
004161845726325837
004181742562387536
004181943562382596
004181945263285396
004181946235283695
004191548623529368
004191648253269358
004191843625329865
004257248653171368
004258246751318637
004268243756318157
004268247516138573
004269248356131958
004275248635713168
004278246151738653
004279248631713968
004289245161385936
004297248613179368
004538943561218296
004567348536271218
004567841516372832
004567948536273298
004568941516238293
004568943526328191
004569348536121928
004569748516127928
004569748526327938
004578141563728326
004578942562718196
004582942563181396
004586347532682171
004586941513682392
004586942532683191
004589141562382936
004589742562387936
004592842561319836
004597842562379836
004617148562372538
004618147365238275
004635843765121827
004637843265271815
004638943265218195
004638943761218297
004672842365731815
004673948362712198
004678942362738191
004678942562738593
004682542763581317
004682942763181397
004683547362582171
004689141762382937
004689243265381915
004689247265181975
004689542762581917
004689547161582972
004692842761319837
004695248265319138
004695843765329827
004695847265239873
004716148537623528
004718143567328526
004718146257238653
004738543627528161
004738643257268151
004738943267218196
004752842657131863
004753648357261218
004758141657238263
004758946257238693
004759648257261918
004782542637583161
004782942567181596
004783945367285296
004783946317182692
004786941517682592
004789243267381916
004789245267385936
004789541617582962
004792842617139863
004793648357269258
004796248257619158
004796348537629528
004815146735823627
004819147362832976
004835743625827161
004837943562872596
004839643151862952
004839643752862957
004839743161827926
004839743625827965
004852642753861317
004853647352862171
004853946351812692
004857141653872362
004857946151872692
004859141652832963
004859642752861917
004859647151862972
004859742652837963
004862742356837151
004862942736813197
004863945326825191
004867941516872592
004869141356832952
004869141736823927
004869345736825927
004892342635819165
004892642753869357
004893642352869151
004895247265819176
004895346735829627
004897342632879161
004915148635293268
004918142562398536
004918147263298376
004935843265291816
004935843615192862
004936843151692852
004936843752692857
004956248253691318
004956842752691817
004956847151692872
004962842756191857
004963748356297258
004963847316192872
004968141756298257
004968243256398151
004968347236298171
004972842635793865
004973842362791816
004975841615792862
004978342632798161
005161785246237483
005161845736423827
005161895426324839
005171835463724826
005181365734286247
005181375632482764
005181495634283269
005181725623487364
005181935463284296
005191485364239286
005191835623429864
005247285463171386
005248275461318736
005269285416134983
005278295641718469
005279285461714986
005283275364181746
005284295643181369
005286235743681417
005289265714186947
005296285141639483
005296285741619487
005348935461218296
005364835746121827
005374835641712862
005378235264718146
005378435624728161
005386935141682492
005386935742682497
005389235264181946
005389435264281916
005389435614182962
005389735264287946
005396835724629847
005397835264279846
005618145763428327
005618175264238743
005618195364238249
005619185362432984
005628425764318137
005647895462372839
005671815364732842
005673485364712182
005678295264718149
005679485364732982
005683495364281219
005683795364287249
005683945362482191
005683975362482794
005689235263481914
005689415164382932
005691815264239843
005697285263479384
005697485264279181
005716185347632482
005724825647131863
005728325637418164
005746385437612182
005746825427631813
005746895427621819
005746895437623829
005748625427368131
005749685417162982
005781915467284296
005784265247386131
005784965247286191
005786295247681419
005786915147682492
005786925427684191
005789245267481916
005789345637482962
005791815627429864
005793845367429826
005794685247269181
005796285247639483
005814165743826327
005814175642832763
005817135643872462
005817195642872469
005819135463824926
005819165724826947
005823725364817146
005824625743861317
005827425634873161
005827925463874396
005829425364831916
005829625734863947
005829725364837946
005841715463827326
005849735463827926
005861915346832492
005863795346827429
005864275246831713
005864975346832792
005867295246871419
005867915146872492
005867925426874191
005893475364829726
005893625324869141
005897425624879161
005916185742692487
005918125623498364
005918175264298746
005923825364191846
005926825734693847
005941815462392836
005946385432692181
005963825326491814
005964785246297181
005964815146392832
005974835643792862
005978425624798161
006151748653427328
006151847652432873
006151894652342839
006171825624735843
006171834653742852
006171894652742859
006171895624725849
006171958642752498
006181395634285249
006181473654382752
006181497634283279
006181537643582472
006181597642582479
006181792642387439
006181925623485394
006181972632483794
006191358634259248
006191384635249285
006191478624329738
006191538643529428
006191578624529748
006191582642539483
006191824625349835
006191837623429874
006191842652439853
006191847625429875
006237283645171485
006238273651418754
006257248653471318
006258237653418174
006258293654318149
006274258643751318
006275284635743181
006278234653748151
006278294653748359
006279258634753948
006279284635743985
006284273645381715
006284297643181379
006285247635483171
006285293645381419
006285297645181479
006289247635483975
006294278641319738
006294283645319185
006297248653479358
006297281613479384
006297283645379485
006357438654271218
006357832652471814
006358932652418194
006359438654121928
006374938642712198
006378131645728425
006379438624721918
006382932645181495
006384537642582171
006389131652482954
006389437614182972
006389531614582942
006389732652487954
006392832651419854
006395831615429824
006395837625429874
006397438654279258
006397832652479854
006417184635273285
006418174625328735
006457894652372839
006471814635723825
006471814652732853
006475384635712182
006475824625731813
006475894625721819
006475894635723829
006478924625718195
006478934623728191
006479384631712982
006481914635283295
006485394635281219
006485724625387131
006485974615182792
006489724625387935
006491814625329835
006497384635279285
006497824625379835
006714185647235283
006718193647328429
006718194657248259
006719148637423928
006719185627425984
006734583647512182
006734893647121829
006738593647528429
006738923627418194
006738943627428191
006751814657342832
006752842657431813
006781913647382492
006782592647581419
006782942637483191
006789141657482952
006791518647529428
006792382637419184
006792582647539483
006792842657439853
006794181647239283
006814157643852372
006814195643825329
006819125624835943
006819134653842952
006825924635843191
006827325634875141
006829324635841915
006829721614837943
006831713645827425
006834953642852191
006834973641812792
006835793645827429
006851914653842392
006852472654831713
006852792654817149
006892352634859141
006892472654839753
006894171645829725
006914178642392738
006915183645392482
006918127623498374
006918172652498754
006924528643591318
006924823645391815
006924827645191875
006925728645397438
006925827635493874
006928121645398435
006928121653498354
006928423654398151
006931813652492854
006934583642592181
006934783645297285
006935823625491814
006938523624598141
006951718654297248
006951813654392842
006951817652492874
006952782653497384
006952832653491814
006972482634793181
006974181643792382
006975181645792482
007131683475264285
007131683572462584
007131853672452864
007141568473526328
007141586472532683
007141863475326825
007161893476324829
007161958476254298
007181495674285269
007181962572486594
007191458674259268
007191486274239683
007191682572469584
007191842672439863
007191852672459864
007236283475614185
007238243675418165
007245268475316138
007245286475131683
007246258473651318
007248296471318639
007249268471316938
007263285376415184
007268294576348539
007269248376431918
007269258476354938
007269285376435984
007281215673485364
007281216475384635
007283246375481615
007283296374181649
007285296475384639
007289235673485964
007293286371419684
007295248675419168
007295286375439684
007318134675248265
007345638475261218
007346938472612198
007368131576428524
007368934276248191
007369538476524928
007385236275481614
007386131574682542
007386235274685141
007386932472684191
007389131672482964
007392832671419864
007396238274619148
007396438574629528
007416184572632583
007425824675131863
007426824375631815
007463584376512182
007463894376121829
007468254276358131
007468294276318139
007468914176238293
007468954276258191
007469284276131983
007469584376532982
007481514673582362
007483964375286295
007485264275386131
007485964275286191
007486294273681319
007486914173682392
007486934573682592
007489264275386935
007489534673582962
007493684375269285
007495684275269181
007496284275619185
007496814175629825
007516184573642382
007518136573428624
007528623574368141
007528926571418694
007529628574161948
007536483574612182
007538693574268249
007539683572462984
007561814576342832
007562842576431813
007581416574382632
007581916572482694
007582462574386131
007582962573486394
007591618574269248
007592682573469384
007812162574836543
007813156374852642
007815196475824629
007819134673842962
007823625374865141
007825926475834693
007829425674835963
007831613574862542
007839453674852962
007839613174862942
007841916472832693
007842692473861319
007842962475816195
007849161475826925
007861914576842592
007862952476854191
007891216274839643
007892452674859161
007913168374296248
007913186372492684
007926428574691518
007928121673498364
007928423674398161
007931813672492864
007935843675492862
007936483574692582
007936813174692842
007942862475396835
007946181473692382
007962582476594181
008121625748365437
008121627538463574
008121724568347536
008121726358437654
008131563748526427
008131573468524726
008131693458264259
008131743568427526
008131953468254296
008131963528426594
008141596438523629
008141673458362752
008141697438263279
008141796428327639
008151697458264279
008151794658247269
008151946358432692
008151964758246297
008171396438724629
008171926428734693
008191246258439653
008191274268349736
008191346738429627
008191627528469574
008236253748651417
008236293458614159
008237243568471516
008237293648171469
008246257438653171
008246297438613179
008247263458376151
008247296458171659
008249253468351916
008249257468151976
008249267418136973
008253267358416174
008256297458614179
008257296458374639
008259264758346937
008259267358436974
008271215648735463
008271216458734653
008273264358746151
008274295648715169
008274296348731619
008291214568349536
008291216358439654
008293247368419176
008294253648359161
008294256748359637
008296217148639473
008297216158479654
008316135748625427
008319135628425964
008346935428625191
008347935468275296
008347936418172692
008349637418162972
008352732658417164
008357236258471614
008372632458764151
008372932468714196
008379131468724926
008379234268741916
008394536748529627
008394637248269171
008396131748629427
008396234258649151
008397236258479654
008416174358632752
008416194538623529
008417194638273269
008419164258236953
008419164728326937
008426724358637151
008426924738613197
008427524638573161
008427924568171596
008429524368531916
008429624758161957
008429724618137963
008451714658237263
008453694358261219
008456274258631713
008456974358632792
008457264258376131
008457964258276191
008459614158362932
008473964328726191
008479254268751916
008479264258736953
008479354638752962
008479614158762952
008491614758269257
008493574368529726
008496274258639753
008497524628579161
008514167548236273
008519167528426974
008524926548131693
008526924538643191
008527326538471614
008527926538473694
008529627538463974
008529724568347936
008534693548261219
008536793548627429
008539623528461914
008539743568427926
008572692548761419
008572962548736493
008591316538429624
008613175368425724
008619145768425927
008619147368432972
008623925368415194
008627923468374191
008629524768541917
008629527468534973
008631713568427524
008637943568472592
008639253268451914
008639713168427924
008641915468235293
008642572468531713
008642752468357131
008642792468317139
008642972468131793
008649151468352932
008671914568742592
008672952468754191
008693171368429724
008912162748396437
008912172468394736
008912172638493764
008913146358492652
008914173648392762
008923726358497654
008924526748591617
008924723648397161
008926327438694171
008931513648592462
008934573648592762
008942572468591716
008946171458692752
008952742658497161
009121628453964358
009121628534963548
009121824635943865
009121825364935846
009131683742962487
009131863724926847
009141678452962758
009141786425927685
009141835463925826
009141857462952876
009141862452936853
009141867425926875
009151486354932682
009151834653942862
009161285246935483
009161378436924728
009161384536942582
009161827426934873
009181267245986475
009181275264985746
009235283465914186
009247268453976358
009247285463975386
009247286435973685
009248237463918176
009248257463958376
009253268354916148
009258216154938643
009258234653948161
009263258346951418
009264278346931718
009264285346935181
009264285746915187
009268217146938473
009281216734983647
009281217463984376
009283267345986475
009283275364985746
009284235643985161
009284236743981617
009317138642972468
009318136724928647
009347832462971816
009348632452968151
009358436754928627
009364738546927528
009364835746925827
009367238246971418
009368131746928427
009368234256948151
009382432564981516
009382732564987546
009382732645987465
009384236245981615
009384732642987161
009385131645982462
009417184562972586
009418134563928526
009418174625928765
009425824365931816
009427824635973865
009428324635918165
009428624753968357
009451814652932863
009453684352962181
009457834653972862
009461814356932852
009461814736923827
009463784326927181
009467284236973181
009467384536972582
009467814156972852
009468274256938753
009485274265981716
009485374635982762
009485724625987161
009514168543926328
009514186542932683
009518126524938643
009524628543961318
009528427564918176
009534683542962181
009538473564928726
009538623524968141
009561718546927428
009562782546937483
009567181546972482
009581316534982642
009582362534986141
009582472564981716
009615178465924728
009623728364917148
009623824365941815
009625824765941817
009625827465934873
009627428564971518
009628121564938543
009628427364938171
009628427564938573
009631813465924825
009637483564972582
009637813164972842
009638253264958141
009641718463927328
009641817462932873
009642782465917185
009647181463972382
009648171465928725
009681417564982572
009683171364982742
009713168347926428
009714168547926528
009714186347932682
009723628347961418
009723824367941816
009724628547961518
009724825647935863
009728121647938463
009728324637948161
009731813467924826
009734683547962582
009734853647952862
009741815467925826
009742682437963181
009742852467951816
009742862457936853
009751814657942862
009752682457964181
121325738645007468
121325837465004876
121327835600475864
121328436754008657
121328437564008576
121328637500468574
121328934560048596
121329638450064958
121425894635003869
121426784500637583
121426834753600857
121427864005376835
121427894630073869
121428374635008765
121428574600538763
121428674005368735
121428694500368539
121428934563008596
121428974360038796
121429684730063987
121429784360037986
121524786540037683
121524867540036873
121524968543006398
121526378534600748
121526938543600498
121527483564370086
121527968540076498
121528396534008649
121528697540068479
121528946500438693
121528974560048796
121529368534006948
121529483564300986
121529784560047986
121623578364500748
121623847365400875
121623895364005849
121625748365437008
121625897465004879
121625948365430098
121625978465004798
121627538463574008
121627800465374835
121628453764358007
121628497564008579
121628534763548007
121628570064538743
121628950063458394
121629483764300987
121629485764005987
121723584367540086
121723648357460058
121723968347006498
121724568347536008
121724893647300869
121724895647005869
121724968547006598
121726358437654008
121726800457634853
121728004567348536
121728006357438654
121728500647538463
121728690047368439
121728946007438693
121728956007458694
121729348637400968
121729680037463984
121729685007465984
121820056734853647
121820057463854376
121820064753846357
121820067345836475
121820074635843765
121820075364835746
121823457364850076
121823496354800659
121824635743865007
121824936743800697
121825364735846007
121825394635840069
121825700645837463
121825960045836493
121827900463874396
121827960045876495
121829004635843965
121829005364835946
121829460054836953
121829467004836973
121829600734863947
121829700364837946
121829750064857946
121923786300497684
121923867300496874
121924538643590068
121924860045396835
121925348635490068
121925786005497684
121925800465394836
121925800635493864
121925867005496874
121926008453694358
121926008534693548
121926780045697485
121926800734693847
121928003564398546
121928003645398465
121928400564398536
121928470064398736
121928570064598746
131263278456004758
131263285746005487
131283267500486574
131283275600485764
131283295640085469
131283296450084659
131293258640059468
131293284560049586
131453864750026827
131453894652002869
131463584726520087
131463894256200859
131473684500762582
131473824625700865
131473854600752862
131473864005726825
131483574600582762
131483794600287269
131483964005286295
131483964700286297
131493684005269285
131493684700269287
131493824625009865
131563748526427008
131563827526400874
131563948526420098
131573468524726008
131573628524760048
131583700564287246
131583742562487006
131583942562480096
131583946500482692
131623728564007548
131623825764005847
131623827465004875
131643857460052872
131643895460025829
131643897462002879
131643978462002798
131673258264750048
131673284265740085
131673800465724825
131673850064752842
131673852462754800
131683005764285247
131683007465284275
131683007562482574
131683247265480075
131683475264285700
131683495264285009
131683497264280079
131683570064582742
131683572462584700
131683592462584009
131683742562487500
131683790064287249
131683900465284295
131683900562482594
131683942762480097
131683970062482794
131693278264009748
131693458264259008
131693840065429825
131723528647500468
131743568427526008
131753286257400684
131753860057426824
131753864257246800
131783245267485006
131783500647582462
131783526427584600
131783900467284296
131783946007482692
131793800627429864
131793840067429826
131823426754800657
131823427564800576
131843627425860075
131843692452860059
131843752462857006
131843796400827629
131843926425800695
131843952462850096
131843956400852692
131843972462800796
131853296254800649
131853670054862742
131853672452864700
131853692452864009
131863005746825427
131863294256840059
131863297246800479
131863724526847500
131863790046827429
131863924726840097
131863950046852492
131863974006842792
131893006724829647
131893400564829526
131893470064829726
131923728640097468
131923825600495864
131923827460094876
131943582462590086
131943586400592682
131953468254296008
131953800652492864
131963008456294258
131963248256490058
131963528426594008
131963580046592482
131963840056492852
131963847006492872
131973008642792468
131973428624790068
131973486004792682
141006478352632758
141006485723625387
141007468253276358
141007483562372586
141007485263275386
141007486235273685
141008457263258376
141008473625328765
141358436750028627
141359438652002968
141367438256270058
141369438256200958
141375438625720068
141378436005728625
141385437265280076
141386432752680057
141386437500682572
141396438500629528
141397438600279268
141528427563008376
141538473560028726
141539483562002986
141567428526370038
141568473526328700
141568493526328009
141569428526300938
141572482563700386
141578400563728326
141578436523728600
141578496500728629
141579468500726928
141579482562700986
141586472532683700
141586492532683009
141589400562382936
141592482563009386
141596438523629008
141596478500629728
141628427560038573
141635483765200287
141637483265270085
141637483560072582
141638493560028529
141639483265200985
141639483762002987
141672482365730085
141673458362752008
141678490063728329
141678492362738009
141679480062732983
141685470065382732
141685497265280079
141689400762382937
141689435263285900
141692482560039583
141692482763009387
141693478360029728
141695480065239283
141697438263279008
141697480065279285
141700458637253268
141700468357236258
141700468527326538
141700485367235286
141726428357630058
141729428637003968
141738453267258006
141739483267200986
141753486357002682
141758400657238263
141792482567009586
141796428327639008
141800495623825369
141800496352832659
141825427365830076
141829425600835963
141835463725826007
141835493625820069
141837423625870065
141839423625800965
141839453600852962
141839463005826925
141839463700826927
141852492653800369
141857400653872362
141857492652870069
141859400652832963
141859462352836900
141862452736853007
141862492356830059
141863475326825700
141863495326825009
141863497326820079
141869400356832952
141869400736823927
141869425326835900
141869457006852972
141892472600839763
141893452362859006
141895426325839600
141895470065829726
141900468253296358
141900483562392586
141900485263295386
141900486235293685
141928426005398635
141928426700398637
141928426750098657
141928427560098576
141935483265290086
141936483500692582
141953486350092682
141956480053692382
141956482752690087
141958436253298600
141968400756298257
141968423526398500
141968423726398007
141973482362790086
141973486300792682
141975428625790068
141975486005792682
151006958342632498
151006958423624398
151007458634273268
151007852462374836
151007852632473864
151008456724328637
151008457364238276
151008652742368437
151008954263248396
151009658234263948
151248257463008376
151274258643700368
151278256004738643
151289257460084976
151294258643009368
151297258640079468
151467854006372832
151467854236273800
151468954006238293
151486354732682007
151486954003682392
151489354630082962
151493854360029826
151496854700629827
151600758364237248
151600854762342837
151600857362432874
151647853462372800
151649758460027928
151670058463724328
151673458364720028
151673854362742800
151678254263748300
151679258264700948
151682452764380037
151683752362487004
151683952362480094
151689450064382932
151690058364239248
151692852764009847
151697458264279008
151700853467324826
151734853647002862
151736853427624800
151738653247268400
151742852467300836
151746358437620028
151746958427620098
151780053647382462
151782352637480064
151786950047682492
151794658247269008
151800456734823627
151800752642837463
151834653742862007
151837253264870046
151839253264800946
151839653004862942
151842952463800396
151847356432872600
151847952462870096
151847956400872692
151849652432863900
151849657400862972
151860057346832472
151862752346837400
151862952746800497
151864257246830073
151867950046872492
151869254236843900
151890052642839463
151890056724829647
151892452364839006
151893456324829600
151893652342869400
151894652742869007
151900458634293268
151900852462394836
151900852632493864
151934853640092862
151936853004692842
151938453264298006
151946358432692008
151946852432693800
151946857400692872
151964258246390038
151964758246297008
151964850046392832
151968253246398400
151970058642792468
161004786345237285
161004856742352837
161005786245237483
161005846735423827
161005896425324839
161007386435274285
161007386532472584
161007826425374835
161007896234273849
161008356734258247
161008476254238753
161008496354238259
161008496524328539
161008536743528427
161008936523428594
161008946723428397
161248276450038753
161248296453008359
161249286435003985
161259286450034983
161273286345700485
161274286345730085
161279286400734983
161285246735483007
161293286345009485
161294286540039583
161294286743009387
161295286745009487
161297286003479384
161297286500479584
161347836450072852
161375836425724800
161378436524728500
161384536742582007
161384736245287005
161384936245280095
161384936540082592
161385736245287400
161389536004582942
161394836740029827
161395836005429824
161500786523427384
161528926540038493
161570086542732483
161578426524738003
161578496524728009
161580096534283249
161580096542382439
161584736543287200
161584976540082792
161589346532482900
161590086523429384
161700586347532482
161700846357432852
161700896427324839
161723826357400854
161728526347538400
161748006457238253
161748356437258200
161748526427538003
161748596427528009
161749386437002982
161750086457234283
161758246257438003
161759286257400984
161780096457284259
161783926327480094
161784006547382532
161784296247380039
161789246237483900
161789526427584900
161790086247239483
161790086527429584
161793846327429800
161794856247259800
161800376435824725
161800476354832752
161800496534823529
161800726524837543
161800796524827549
161800956742852497
161800976425824795
161823926345800495
161824726345837005
161824926345830095
161824926743800397
161825726345837400
161825926745800497
161827326435874005
161827426534873500
161829326734800947
161829426754800957
161829726004837943
161840076435823725
161840076452832753
161845396435820029
161845726425837003
161845796425827009
161845926425830093
161847006453872352
161847396432872009
161847926425870095
161849006435823925
161849006452832953
161849356432852900
161849736423827900
161850076354832742
161850096453824329
161853496354820029
161857296254870049
161859006354832942
161890026524839543
161890036743829427
161893006345829425
161893476324829700
161894006743829327
161894256243859300
161895006745829427
161897236243879400
161897426524879500
161900386435294285
161900386532492584
161900486734293287
161900586742592487
161900786245297485
161900826425394835
161900846752492857
161940086435293285
161948526423598300
161953846352492800
161958006754298247
161958236253498004
161958246253498300
161958476254298700
161974286245790085
161975826425794800
161978236243798400
161978426524798500
171004568743526328
171004586742532683
171004863745326825
171005683745362482
171006825724635843
171006834753642852
171006894752642859
171006895724625849
171006958742652498
171008346735428625
171008496724328639
171008526724538643
171008596724528649
171008692742368439
171008934763248296
171008936723428694
171008946725428695
171009468724326938
171009568724526948
171009584762542986
171009648752462958
171009682732463984
171236283745600485
171258296754008649
171259268754006948
171264258746350038
171268253746358400
171269248756400958
171284263745386005
171285246735483600
171285263745386400
171286235743685400
171294286740039683
171294286745009685
171356438754620028
171356834752642800
171358632752468004
171362832756400854
171364538746520028
171364938746200298
171380035764285246
171380036752482654
171382532764580046
171384536742582600
171384936740082692
171392832764009846
171396438724629008
171400684735263285
171400854762352836
171400864725326835
171425824765300836
171428924763008396
171458634753268200
171459684750062982
171468004756238253
171468354736258200
171468524726538003
171468594726528009
171469384736002982
171485364735286200
171486004753682352
171486394732682009
171486924725680095
171489004762382936
171496834723629800
171600485764235283
171600584763542382
171600835763425824
171600853764352842
171600894762342839
171628524763548300
171629428764300938
171629528764500948
171638453764258200
171639483764002982
171680095764285249
171682492764380039
171682592764580049
171682932763480094
171682942765480095
171689003764382942
171689400764382932
171689500764582942
171690048763429328
171690058764259248
171690084765249285
171695800765429824
171800356734852642
171800496734823629
171800962742836493
171824625743865300
171824926745800695
171825924765840096
171830063745826425
171834693742862009
171839463724826900
171852462754836003
171852692754860049
171859600754862942
171860095746825429
171869004756842952
171890026724839643
171892452764859006
171892632743869400
171894006745829625
171900368734296248
171900386732492684
171900468754296258
171900485764295286
171900862752496854
171926328734690048
171926428734693008
171926428754690058
171928423764398006
171938003764298246
171950068754296248
171950086752492684
171956800754692842
171960083746392482
171962382736490084
171962842736493800
171964800746392832
181002672485364735
181002752683457364
181003695384265249
181003746385427625
181003956382452694
181003964385246295
181005697485264279
181005794685247269
181005946385432692
181005964785246297
181006275284635743
181006934583642592
181006972482634793
181007495684275269
181007962582476594
181009264285346935
181009453684352962
181009463784326927
181009467284236973
181009534683542962
181009742682437963
181009752682457964
181235273685400764
181236253784650047
181236293584600549
181237243685470065
181239243685400965
181239263784006947
181245296485300639
181246297483600379
181247263485376005
181249267480036973
181249267485006975
181263257386450074
181267293486374009
181269245386435900
181269253486354900
181273264385746005
181273296384700649
181275294685740069
181279260084736943
181295246385439600
181296200584639543
181296234583649500
181296234783649007
181296270084639743
181297200683479364
181300635784265247
181300637485264275
181300637582462574
181300734685247265
181345936485002692
181347536482572600
181347936480072692
181349637480062972
181362932586400594
181367235286475004
181369237286400974
181369730086427924
181369734286247900
181370036485724625
181372632485764005
181379630084762942
181379632482764900
181390034685249265
181396234285649005
181397436284279600
181400564783526327
181400574682532763
181400694582362539
181400964385236295
181425624785360037
181426724385637005
181426924385630095
181426924783600397
181429724680037963
181429724685007965
181463594386520029
181463754386257200
181463974386002792
181467004586372532
181467294286370039
181469754286257900
181470054683752362
181473694382762009
181475264285736003
181479004682732963
181495004685239263
181495674285269700
181496004783629327
181496254283659300
181497004685279265
181500467584236273
181500647583462372
181500673584362742
181500736583427624
181500946582432693
181526427584630073
181526724583647300
181536493584620029
181537463584276200
181539643582462900
181560074586342732
181562742586437003
181562942586430093
181562972586400794
181569004586342932
181569700586427924
181572462584736003
181572692584760049
181579600584762942
181590036583429624
181592632583469004
181592642583469300
181700596487524629
181700946387432692
181723625387465004
181723926387400694
181729623487364900
181730063587426524
181740056487352632
181742562487536003
181742692487360039
181749600487362932
181792642587469500
181793006387429624
181900267283496374
181900473684392762
181920025683495364
181920026485394635
181926425784695007
181930063784296247
181930073682492764
181935263285496004
181936003584692542
181940067485296275
181942562483596300
181945006485392632
181946007483692372
181960047586492572
181962572486594700
181962742586497500
181972462584796500
181973006384792642
191002682539463584
191002852469354836
191002852639453864
191002862359436854
191003568349526428
191003784369247286
191003786329427684
191003845369425826
191003867329426874
191004586349532682
191004683549362582
191004685749265287
191004758649257268
191004786249237683
191004853649352862
191004863749326827
191004867249236873
191006285249635483
191006378439624728
191006384539642582
191006827429634873
191007268249376438
191007286239473684
191007825629475864
191008246259438653
191008274269348736
191008346739428627
191008627529468574
191236283749600487
191246258439653008
191246278459600758
191247283469370086
191248253469358006
191253286359400684
191256284759640087
191257248659470068
191258246359438600
191273284369740086
191274258649750068
191274268349736008
191278200649738463
191283245369485006
191283247369480076
191284263549386500
191284263749386007
191300638459264258
191300835629425864
191346738429627008
191346835429625800
191348536429528600
191352832659400864
191378234269748006
191380037469284276
191382532469584006
191384736249287600
191386235249685400
191400684739263287
191400784369237286
191400864259236853
191400864729326837
191426824759600857
191428524369538006
191456284259630083
191457864259276800
191458004659238263
191458674259268700
191473864329726800
191478004569728526
191478254269758006
191478624529768500
191480064759286257
191486274239683700
191486724529687500
191500683549362482
191500784569247286
191500786529427684
191500867529426874
191524628549360038
191526824539643800
191528623549368400
191538623529468004
191570068549726428
191582362539486004
191582742569487006
191584006549382632
191586007549682472
191600578469524728
191600748569427528
191600845769425827
191600847369432872
191623827369400874
191627528469574008
191627823469374800
191628524769548007
191637283269470084
191638003569428524
191638253269458004
191640085469235283
191642582469530083
191647800469372832
191648007469238273
191670084569742582
191672852469754800
191680047569482572
191682572469584700
191682742569487500
191800267249836473
191800374639842762
191820025649835463
191820026459834653
191823625349865400
191823724369847006
191824625749865007
191824726349837600
191827326439874600
191830053649852462
191830063749826427
191830073469824726
191837003649872462
191837263249876400
191840075469825726
191842672439863700
191842752469857006
191847006459872652
191850074659842762
191852672459864700
200235683745161487
200236893451614859
200237483564171586
200237863151476854
200238593641518469
200238673151468754
200238693514168549
200238943561418596
200239583461514986
200239683415164985
200245783465317186
200245786415137683
200245867415136873
200246738453617158
200246897431613879
200246978431613798
200247386435171685
200247861415376835
200247968413176398
200248537463518176
200248671415368735
200248697413168379
200248973461318796
200249638453161958
200249783461317986
200253678354161748
200253786351417684
200253867351416874
200256478354631718
200256834753641817
200256897451614879
200256938453614198
200256978451614798
200258493654318169
200258617153468374
200258946151438693
200258946751418697
200259748651417968
200263748356417158
200263894356141859
200263958346151498
200264578346531718
200264853746351817
200264897346131879
200264978346131798
200267181536473584
200267348536471518
200267891416374839
200267893456374859
200267948536473598
200268151746358437
200268171356438754
200268517146538473
200268597346538479
200268941516438593
200268953746358497
200268971316438794
200269384736141987
200269581416534983
200269584736543987
200269748356437958
200269781316437984
200271618453764358
200271618534763548
200271814635743865
200271815364735846
200273468354716158
200273485364715186
200273968341716498
200274638543761518
200274895641715869
200274968541716598
200275894635743869
200275968345736498
200278416154738653
200278496354738659
200278691514768549
200278914163748396
200278934563748596
200279458634753968
200279468354736958
200279485364735986
200279618134763948
200279638453764958
200279681415764985
200281516734583647
200281517463584376
200281713564387546
200281713645387465
200283496354181659
200283796314187649
200284536743581617
200284716145387635
200284796141387639
200284936743181697
200285161745386437
200285171465384736
200285171635483764
200285346735481617
200285793645387469
200285916135483694
200285946735483697
200285963745386497
200285973465384796
200286191453684359
200286191534683549
200286497534683579
200286791514687549
200286935743685497
200286971415684795
200289141635483965
200289367131486974
200289415164385936
200289461714386937
200289463754386957
200289537463584976
200289561714586947
200289713164387946
200289731613487964
200289741615487965
200293678314169748
200293847361419876
200294538643519168
200294578641519768
200294586141539683
200294586741519687
200294678141369738
200295348635419168
200295618145369438
200295683745369487
200295814165349836
200295841615439863
200295847365439876
200296181345639485
200296478354639758
200296481514639583
200296834753649857
200296851714659847
200297386131479684
200297483564379586
200297538643579468
200297813164379846
200297831613479864
200297841615479865
231213678450064758
231213685740065487
231213758640057468
231213784560047586
231213857460054876
231213864750046857
234253748650017168
234263948516100598
234273648151760058
234273648500761518
234273841615700865
234283546700581617
234283547161580076
234283946005181695
234283946700181697
234293548600519168
234293841615009865
234293847161009876
235243785460017186
235263785006417184
235273685400764181
235273815164700846
235283465714186007
235283495614180069
235283745161487006
235283745600487161
235283795640087469
235283945161480096
235283965740086497
235283975460084796
235293685740069487
235293815164009846
236253478654001718
236253748651417008
236253784650047181
236253894650041819
236253948651410098
236273181645700485
236273891614700849
236273894600741819
236283007645181475
236283475614185700
236283495614185009
236283497614180079
236283591614580049
236283741615487005
236283900645181495
236283941615480095
236283945600485191
236283975600485794
236293181645009485
236293458614159008
236293478654009758
236293584600549181
236293800651419854
236293857600459874
237213168574006548
237213186475004685
237243568471516008
237243685470065181
237243968470016198
237263181576400584
237263850076451814
237263948576400598
237283141675480065
237283560074586141
237293648171469008
237293800671419864
238213146758400657
238213147568400576
238213195648005469
238213196458004659
238243675418165700
238243695418165009
238243697418160079
238243756418157600
238243796458007659
238243975468005796
238253171658400764
238253617158460074
238253670058461714
238253700658417164
238253916158400694
238253946758400697
238253960058416194
238273004568741516
238273151468754006
238273191648700469
238273600458764151
238273615148765400
238273690048761419
238273691418764009
238273900468714196
238273914168740096
238273964008746191
238293514168549006
238293640058469151
238293641518469500
238293641718469007
238293647008469171
238293670058469754
239243678400961718
239243681415960085
239243685400965181
239253478654900768
239253486754900687
239253618154960048
239253864151946800
239263008456914158
239263181746900487
239263784006947181
239263851416954800
239283400564981516
239283415164985006
239283417164980076
239283460054986151
239283461514986500
239283461714986007
239283467004986171
239283470064981716
239283700564987546
239283700645987465
241215478635003768
241215486735003687
241217468500376538
241218436753008657
241218437563008576
241218456700358637
241218496350038659
241219458630053968
241219468350036958
241219485360035986
245268475316138700
245268495006318139
245268495316138009
245269485006131983
245269485716100987
245269485736003987
245273485361710086
245278495600718169
245279485161700986
245283475360081716
245286475131683700
245286495003681319
245286495131683009
245289465700386937
245293485360019186
245296485300639181
245296485700619187
246237483615170085
246238493650018159
246239483615100985
246257438653171008
246258437653008171
246258473651318700
246258493651318009
246258497650018179
246258497653008379
246259438653001918
246271418653700358
246275481615730083
246278451613758300
246279438653700958
246279458600751918
246279481615700985
246279485600735983
246285491615380039
246285497615180079
246289435613185900
246291418653009358
246297438613179008
246297483600379181
247200458673151368
247200468571316538
247200486375131685
247238453670058161
247238493670018169
247261418576300538
247263458376151008
247263485376005181
247268450076358131
247268490076318139
247269418176300938
247269480076131983
247281413675380065
247283496370081619
247285460075386131
247285493675380069
247286415173685300
247286490073681319
247286495171685009
247289400675181965
247289460075386935
247289463171386900
247291418673009368
247293486375009685
247296458171659008
247296480075619185
248200463758316157
248200467518136573
248200475618135763
248200496358131659
248237463518176500
248237493618170069
248239463758006957
248251416758300637
248253467358006171
248253496358001619
248256417158630073
248256470058631713
248256497358630079
248257460058376131
248257493658370069
248259400658131963
248271415368735006
248273496358700659
248279400368731916
248279450068751916
248279460058736953
248279461318736900
248291416758009657
248291417568009576
248293456318159600
248296400358639151
248296400758619157
248296451718659007
248296457008659171
248296470058639753
248296471318639700
248297400568379536
248297413168379006
249200478631913768
249200486731913687
249237483161970086
249238453161958006
249238453600958161
249251418653900368
249253468351916008
249257438653970068
249257468151976008
249261418356930058
249263478356900758
249267418136973008
249267418156970058
249267480036973181
249267485006975181
249268400356938151
249268400756918157
249268451716958007
249268457006958171
249268470056938753
249268471316938700
249283461315986005
249283467300986171
249285400635983161
249285416135983600
249285417165980076
249285461715986007
249285467005986171
249285470065981716
251214758643007368
251216857400634873
251218356734008647
251218657003468374
251218956300438694
251219458634003968
251219658400364938
253248357460018176
253267358416174008
253268354716148007
253268357006418174
253274358641710068
253278350064718146
253278354161748006
253278354600748161
253284356740081617
253286351714680047
253286357400684171
253289350064181946
253289357460084976
253294358640019168
253296358004619148
253297358640079468
256200758641317438
256200857631413874
256218157640038473
256219158634003948
256237853600471814
256238953600418194
256270058634713148
256274958641710098
256274958643700398
256278451614738003
256278954600748191
256279358634700948
256290058641319438
256294853641319800
256294857640039873
256297458614179008
257216158374630048
257236853471614800
257238453674008161
257238653171468004
257246958471610098
257246958473600398
257248956470038693
257249658470061918
257260058476314138
257263854376141800
257268151376438004
257268950076418194
257283456374181600
257286151473684300
257296458374639008
257296850074639843
257296854171649800
258200653748361417
258200953468314196
258200956418134693
258214156748300637
258216154738643007
258217153468374006
258219157468004976
258234653748161007
258234753648007161
258236953748600497
258239653008461914
258239653418164900
258246357438600171
258246751418637003
258246951418630093
258247151468370036
258247356438171600
258247953468370096
258249151468300936
258270054638743161
258273954368740096
258274151648730063
258279651418764900
258293651318469004
258294650048369131
258294653748369007
258296151348639400
258296354738649007
259200458634913168
259200758641917468
259200857461914876
259214158643900368
259218156004938643
259238653004968141
259238653141968400
259248356431918600
259248651413968300
259248657400968171
259260058346931418
259264758346937008
259264850046931813
259267358436974008
259267851416974800
259268151346938400
259268354736948007
259280056734983647
259280057463984376
259283151364980046
259283457364980076
259284756141987600
261213786345007485
261214586743500387
261214786540037583
261217896400374839
261217896450074859
261218396534008549
261218576004538743
261218936743008497
261218946500438593
261218956003458394
261218956740058497
261218976300438794
261219386435004985
261219486734003987
261219586400534983
261219786300437984
263247386415170085
263248396450018159
263249386415100985
263257386151470084
263257386450074181
263258346751418007
263259386151400984
263278356004758141
263278356141758400
263278396004718149
263284396540081519
263285376005481714
263285376415184700
263285396415184009
263289346005481915
263289346700481917
263294386740019187
263295386005419184
263295386745009487
263297386500479584
264218146753008357
264258946350038191
264258946750018197
264258946753008397
264275846005731813
264278346531718500
264278946005718195
264278946300738191
264278946500738593
264280046753181357
264283746315187005
264283746350087151
264283946315180095
264285346735181007
264285746005387131
264285946715180097
264289346730081917
264289546131583900
264289546700581917
264289746005387935
264295846315139800
264297846005379835
267200486574131583
267200846375431815
267200896374131849
267200896471314839
267215186375430084
267218146375438005
267218196574008549
267219186470034983
267219186475004985
267241816475300835
267245896475001819
267245896475300839
267248006475318135
267248536473518100
267248596471518009
267248936473008191
267248956470058191
267280036573481514
267280096574181549
267281516473584300
267283496374181009
267283596374580049
267283946375480095
267285006475384131
267285916175480094
267289006475384935
267289536473584900
267290086571419584
267293486374009181
267293846371419800
267295846375439800
268200596348531419
268200746358437151
268200946738413197
268200956748151497
268200976418134793
268213176358400754
268214156748350037
268214196548300539
268217146538473500
268219146758400957
268240076458131753
268247396438171009
268247596438573009
268249006458131953
268249356438151900
268249756418157900
268250076358431714
268250096458314139
268251716358437004
268251916358430094
268253746358417100
268253946358400191
268253976358400794
268257006458374131
268257916158470094
268259006358431914
268259746358437900
268270096348731419
268270096458714159
268274006548731513
268274916148730093
268279006458734953
268279356438754900
268290046358439151
268290046758419157
268290056748359437
268290076358439754
268291516348539400
268293006358419154
268294006748319137
268294516148539003
268294576348539700
268297316138479004
268297346538479500
268297516148579400
269200386435914185
269200486734913187
269200786141937483
269200786345937485
269200856734953847
269213186345900485
269214186345930085
269214186743900387
269215186745900487
269218176004938743
269240086435913185
269245386435900181
269247386435970085
269248376431918700
269251816754900847
269253486354900181
269257836453974800
269258006354938141
269258006754918147
269258416154938003
269258476354938700
269280036453984151
269280036743981417
269281316435984005
269281316734980047
269281416534983500
269281416734983007
269281416754980057
269283006345981415
269284006743981317
269284716143987300
269284716145987005
269284736543987500
269285006745981417
269285376435984700
269285716145987400
271214683745360085
271214968743006398
271215386735400684
271215648735463008
271215968745006498
271216358734650048
271216384735640085
271216458734653008
271216938743600498
271218396734008649
271218453764358006
271218496754008659
271218534763548006
271218600745368435
271218600753468354
271218946700438693
271218956700458694
271219368734006948
271219468754006958
271219483764300986
271219485764005986
271219685700465984
273258346751418600
273258396754008649
273259368754006948
273264358746151008
273264385746005181
273268300756418154
273268351716458004
273268394716148009
273269348756400958
273269381716400984
273284396740081619
273285361715486004
273286300745681415
273286391714680049
273289300764181946
273294386745009685
273296384700649181
274200648753161358
274200845761315836
274216148753600358
274218146750038653
274235843765001816
274238543761518006
274238643715168005
274238643750068151
274238943760018196
274256948751610098
274256948753600398
274258946750038693
274259648750061918
274268541716538003
274269348736001918
274285141765380036
274285346735181600
274285943765380096
274286141735683005
274286941715680095
274286945700685191
274295648715169008
274296348731619008
275200865714136843
275260085736413184
275260085746131483
275264895746001819
275264895746300839
275268345736418100
275269385736400984
275280045763481316
275281415764380036
275284965740086191
275286005734683141
275286395734680049
275286495734683009
275289005764181946
275289465714186900
275291815764009846
275294685740069181
278200356738451614
278200693748361419
278200695748365439
278200945768415196
278200956738453694
278214196748300639
278216194738643009
278216194758640059
278230063758416154
278231613758460054
278234563748516100
278234693748161009
278234963748006191
278250046758431613
278250064758346131
278251916758400694
278259600758461914
278290046758439653
278291514768549006
278291613748369400
278294600748369131
278296004758649151
278296151748659400
279200368734916148
279200468754916158
279200485764915186
279200638743961418
279200834763941816
279200861714936843
279214186745900685
279215184765940086
279218134763948006
279231813764900846
279234683745960085
279234863741916800
279238003764918146
279238453764958006
279250068754916148
279251618754960048
279258006754938643
279258600754968141
279260058746951418
279260084736943181
279260085746935483
279261814736943800
279264181746930083
279264800746931813
279268004756948151
279268151746958400
279281415764985006
279281416734983600
279284006745981615
279284161743986300
279284161745986005
279285161745986400
281213596384500649
281213647385460075
281213796384007649
281213946385400695
281215673485364700
281215693485364009
281215746385437600
281215946785400697
281216475384635700
281216495384635009
281216497384630079
281216497584600579
281216700584637543
281216734583647500
281216934783640097
281217005683475364
281217006485374635
281217463584376500
281217493684370069
281217536483574600
281217960083476394
281219560084536943
281219600485364935
283200356784151647
283200367581416574
283200374685141765
283200375681415764
283245367485006171
283245396485001619
283246375481615700
283246395481615009
283246397481610079
283247396480071619
283249367485006975
283261317586400574
283267300586471514
283267315186475004
283269317186400974
283269350086451914
283271314685740065
283275394685740069
283279364181746900
283291316784009647
283295300685419164
283296300784619147
283296314185649005
283296350084659141
283296374181649700
283297346181479600
284200743685317165
284200946385131695
284215146785300637
284216147385630075
284217143685370065
284219143685300965
284219145680035963
284235643785161007
284235743685007161
284236743581617500
284236943781610097
284239643780061917
284239743685007965
284260045786315137
284260047586131573
284263547386500171
284263945386005191
284269141786300937
284269540086531913
284270046385731615
284273946385700695
284275141685730063
284279141685700965
284279640085761915
284279645181765900
284290043685319165
284290046781319637
284293546381519600
284293647380069171
284295640085369131
284295643785369007
284296141385639005
284297546181579600
285200465784316137
285200475684131763
285200645783461317
285200735683417164
285216195384630049
285217135683470064
285219135683400964
285219165784006947
285246735483617100
285246795481617009
285246935483600191
285247965480076191
285249635483161900
285260075386431714
285260095486314139
285261715386437004
285261915386430094
285263745386417100
285263945386400191
285263975386400794
285267005486374131
285267915186470094
285269005386431914
285269745386437900
285270065384736141
285271415684730063
285271615483764300
285273465384716100
285273695384760049
285279465384736900
285279635483764900
285290035683419164
285290075681419764
285296005384639141
285296005784619147
285296415184639003
285296475384639700
285297005683479364
286200495684315139
286200594683541319
286200753684357141
286200793684317149
286200935683415194
286200974685141795
286200975681415794
286215147685430073
286215194685340039
286217135683475004
286217145683475300
286217193684370049
286219137683400974
286219147685400975
286235743685417100
286235943685400191
286235973685400794
286237493684171009
286237593684570049
286237943685470095
286239453684151900
286239743681417900
286270094683741319
286270095684715149
286271415684735003
286271914685740095
286279004685741915
286279005684735943
286279400684731913
286290037683419174
286290047685419175
286290053684359141
286290057683459374
286290074685349735
286291514683549300
286295004685349131
286295007685419174
286295141685439003
286297003684379141
286297131683479004
286297141683479300
286297141685479005
286297400684379131
286297500684579141
289200161584936543
289200456784951617
289200467384936171
289200467584936573
289200475684935763
289200637483964171
289200716184937643
289200734683947161
289213164385946005
289215164785946007
289217136483974600
289230063784916147
289231613485964005
289231613784960047
289235673485964700
289237463584976500
289240067485916175
289241615483965300
289241617485960075
289245006485931613
289245161485936003
289247006485971615
289247161483976300
289247161485976005
289260057486954171
289261714586947500
291213584369540086
291213648359460058
291213847369400876
291214568349536008
291214578649500768
291214586749500687
291214683749360087
291216358439654008
291216384739640087
291216780049637483
291216800459634853
291217348639470068
291217800469374836
291217800639473864
291217860059476854
291218004569348536
291218006359438654
291218500649538463
291218600749368437
291218670059468754
293200358649151468
293200384569141586
293246378459600758
293247368419176008
293248356419158600
293256384759640087
293257348659470068
293258300659418164
293271318649700468
293274358649750068
293278314169748006
293286300459684151
293286300749681417
293286315149685400
293286371419684700
294200548639513168
294200845619135863
294200847369131876
294216148359630058
294218146759008657
294218147569008576
294236843759600857
294238643519168500
294238643719168007
294253648359161008
294256748359637008
294256840059631813
294258640059368131
294258643759368007
294270048639713168
294273648359760058
294278141369738006
294278640059768151
294278641519768500
294280043569381516
294280046759181657
294280047569181576
294283547369580076
294283746319187600
294286141539683500
294286141739683007
294286141759680057
294286345739685007
294286740059687151
294286741519687500
295200685749161487
295200845369431816
295216185749600487
295218145369438006
295241815469300836
295246385439600181
295247865419176800
295248005469318136
295248675419168700
295270085469714186
295274865349736800
295278005649738463
295278615149768400
295280045639483161
295280065749386437
295280075469384736
295280075639483764
295281315639480064
295283745369487006
295286005749681417
295286375439684700
295286715149687400
296200385639415184
296200584639543181
296200748659417158
296200758649357438
296200857639453874
296214158649350038
296214178649300738
296217148639473008
296217148659470058
296218153649358400
296231813659400854
296234583649500181
296234783649007181
296234853649151800
296238003659418154
296251817659400874
296257181659470084
296257800659471814
296258004659348131
296258007659418174
296258141659438003
296270058649751418
296270084639743181
296270085649735483
296271814639743800
296274181649730083
296274800649731813
296278004659748151
296278151649758400
296280047639483171
296281315639485004
296281317639480074
296281713649387400
296284005649385131
296284700649387131
297200586479534683
297200648579461518
297200683479364181
297200845679435863
297213186379400684
297216158479654008
297218146379438600
297231813679400864
297236853479654800
297238003679418164
297238613179468004
297238643579468500
297240068479316138
297240086479131683
297241618479360038
297246181479630083
297246800479631813
297248600479368131
297280045679485161
297281516479584600
297283006379481614
297283161379486004
300236278451614758
300236285741615487
300237268514176548
300237286415174685
300238246751418657
300238247561418576
300238256714158647
300238274615148765
300435784265217186
300435864715126827
300435894625121869
300437824625171865
300437894612172869
300438574161528726
300438694151268259
300438954161258296
300438974261218796
300439684712162987
300439784261217986
300534968541216298
300536478524621718
300536728524617148
300537486514172682
300537842562471816
300538496514128629
300538691514268249
300538926521418694
300538942562418196
300539468514126928
300539628524161948
300539681512462984
300632782561417584
300632852764151847
300635784265247181
300635894265241819
300637181465274285
300637181562472584
300637485264275181
300637582462574181
300637895264275849
300637948562472598
300638151764258247
300638247265418175
300638457264258171
300638497264218179
300638914165248295
300638942762418197
300638974265248795
300639258264151948
300639284265141985
300639285261415984
300639458264251918
300639584161542982
300639584762542987
300639748161427928
300639758264257948
300639784265247985
300731618457264258
300731815627425864
300732582467514186
300734685247265181
300734968247216198
300736258247651418
300736814157642852
300736891417624829
300736928427614198
300738141567428526
300738524627548161
300738914167248296
300738916127428694
300739284267141986
300831914562842596
300831916425824695
300832462754816157
300832792641817469
300832962741816497
300832972461814796
300834267245816175
300834692542861519
300834697542862579
300834716145827625
300834752642857161
300834792642817169
300834796141827629
300834956141852692
300834956742852697
300834962742816197
300835161745826427
300835171465824726
300835274265841716
300835617145862472
300835627425864171
300835724625847161
300837191642872469
300837416154872652
300837425624875161
300837926425874695
300839161724826947
300839415164825926
300839451614852962
300839461714826927
300839625724865947
300839627425864975
300839724625847965
300931518642592468
300931815264295846
300932482564191586
300932862151496854
300932862714196847
300934286245191685
300934578642592768
300934586141592682
300934586742592687
300934786245297685
300934867245296875
300935181465294286
300935841615492862
300936181742692487
300936428524691518
300936481514692582
300936728524697548
300936825724695847
300936827425694875
300938171264298746
300938417164298276
300938526724598647
312132678450064758
312132685740065487
312132758640057468
312132784560047586
312132857460054876
312132864750046857
314135847265200876
314136748500627528
314136842752600857
314136845700625827
314138546700528627
314138647005268275
314138942562008596
314138946720028697
314139748620027968
315134865740026827
315134895642002869
315136485724620087
315136825724600847
315136895400624829
315137485264270086
315137845600472862
315138275264008746
315138695004268249
315139485264200986
315139685002462984
316132782645007485
316134857640052872
316134895640025829
316134897642002879
316134978642002798
316135748625427008
316135827625400874
316135948625420098
316137528624570048
316137800652472854
316139528624500948
316139584600542982
316139728624007948
316139748600427928
317132842675400865
317135286275400684
317135860075426824
317135864275246800
317136258274650048
317136284275640085
317136800475624825
317136850074652842
317136852472654800
317138004675248265
317138296274008649
317138456274258600
317138642572468500
317138690074268249
317139268274006948
317139680072462984
318130057468254276
318130064758246257
318130067528426574
318130075628425764
318132592648500469
318132642758460057
318132792648007469
318132942568400596
318132962748006497
318132972468004796
318134675248265700
318134695248265009
318134697248260079
318134756248257600
318136005748625427
318136294258640059
318136297248600479
318136724528647500
318136790048627429
318136924728640097
318136950048652492
318136974008642792
318137245268475006
318137500648572462
318137526428574600
318137900468274296
318137946008472692
318139005628425964
318139247268400976
318139500468524926
318139640058462952
318139647008462972
318139700628427964
318139740068427926
319130058642952468
319130068524926548
319130084562942586
319130086425924685
319132482564900586
319134286245900685
319134682742960087
319134860045926825
319135284265940086
319135628425964008
319135680045962482
319135800465924826
319137008642972468
319137428624970068
319137486004972682
319138006724928647
319138400564928526
319138470064928726
340035478625121768
340035486725121687
340037468151276258
340037482562171586
340037485161275286
340038457161258276
340038496251218659
340039458612152968
340039468251216958
340039485261215986
342632485760015187
342732458617150068
342832456700851617
342832457161850076
342832467005816175
342832471615800765
342832495600815169
342832496151800659
342932478600191768
342932486005191685
342932486700191687
345638475261218700
345638495261218009
345639485161002982
345639485762002987
345736485007612182
345738425627008161
345739485267200986
345837415162872006
345839465121826900
345839465700826927
345936485002692181
345938425620098161
346131478652002758
346731418657200258
346738451617258200
346739428627001918
346739481617002982
346831417625820075
346832492651810059
346835427625800171
346835491615820029
346835497625820079
346837400652872151
346837491612872009
346837492652870059
346839400625821915
346839400651812952
346839425621815900
346839427625800975
346839451612852900
346839457600852972
346932482615190085
346935428625191008
346938427620098171
346938472612198700
347131468570026528
347131486275200685
347536482572600181
347538496570028629
347539468570026928
347832462571816500
347832492671810069
347835400675812162
347835460075826121
347839400671812962
347839460075826925
347935468275296008
347936418172692008
347936480072692181
347938400675298265
348131457268250076
348131496258200659
348531417568200276
348532472568001716
348536427528600171
348536491518620029
348536497528620079
348537400568271216
348537426528171600
348537461518276200
348539400568121926
348631417568002572
348632452768151007
348632492568001519
348637415168275200
348637490068271219
348637495268275009
348639400768121927
348639417168002972
348931415268295006
348931417268290076
348932462518196500
348932462718196007
348936425728695007
348936470058692752
349131468500926528
349131482562900586
349532482561910086
349537482562970086
349537486500972682
349538426521918600
349632482761910087
349635418165920028
349635480065912182
349637418162972008
349637480062972181
349638452762958007
349638470065928725
349731418627920068
349732482567900586
349738400567928526
349738400627928161
349738416127928600
350034758641217268
350036758141627428
350037851612472864
350038456714128627
350038457264218176
350038651714268247
350038954161248296
350038956121428694
350039458624121968
352632854760041817
352632857161400874
352632958460014198
352732658417164008
352732851617400864
352832651714860047
352832657400864171
352832750064817146
352832754161847006
352832754600847161
352832954161840096
352932458614190068
352932758640097468
352932850064191846
352932857460094876
356131758640027428
356131958642002498
356237258614170048
356237258640071418
356238257600418174
356239258614100948
356437854612172800
356438954620028191
356730058647121428
356734958647200298
356738151627428004
356830057641812472
356832752641817400
356834752642817100
356834952642800191
356837151642872400
356837451614872002
356932852600491814
356934852642191800
356934857640092872
356938451614298200
357131458674200268
357131658274260048
357131852672400864
357131854670042862
357236258471614008
357238254670048161
357438654171268200
357830054672842161
357832452674800161
357839650074862942
357839652472864900
357936258274690048
357936850074692842
357936852472694800
357938456274298600
358131754268247006
358131756008427624
358131954268240096
358234256748001617
358237251618470064
358237256008471614
358237256418174600
358239251618400964
358239257468004976
358436754008627121
358436954008612192
358436954728620097
358437254268171006
358437954268270096
358439254268001916
358630054768241217
358632952468004191
358637151468274200
358639254268141900
358639257268400974
358639750068427924
358639754268247900
358930057468294276
358934256248191600
358934756248297600
359131458624920068
359131854600942862
359234258641910068
359238250064918146
359238254161948006
359238254600948161
359437854600972862
359438254261918006
359632852461914800
359632852764900847
359637258264970048
359637850064972842
359637852462974800
359638450064928121
359738254267948006
360034586742512187
360034786245217185
360035846725421817
360035896415124829
360037286245171485
360037486514172582
360037586141572482
360037816152472854
360037846151472852
360038276251418754
360038496254218159
360038496514128529
360038526724518147
360038596141528429
360038926521418594
360038976121428794
360039486724121987
360039786121427984
362532786500417184
362532896514100849
362732816157400854
362732856007451814
362732856417154800
362732896457004859
362832756004857141
362832756141857400
362832796004817149
362832916145800495
362832956400854191
362932486714190087
362932586400594181
362932786500497584
362932846005491815
362932846700491817
364131846752002857
364238246750018157
364537846512172800
364538946520028191
364738246257008151
364738546007528121
364830046752812157
364835746005827121
364835946005812192
364835946725820097
364837946002872191
364837946500872592
364839746005827925
364839746121827900
364938246215198005
364938246250098151
367131486574002582
367131896274200849
367131896470024829
367235286475004181
367238246571418500
367238256171458004
367238296574008549
367239286171400984
367239286475004985
367530086572412184
367531816574002842
367539486574002982
367835006475824121
367839006475824925
367930086475294285
367930086572492584
367935286275490084
367938006274298141
367938246275498005
367938416174298200
368131276258400754
368131576428524700
368131596428524009
368131746528427500
368131756248257400
368131926528400594
368131946728420097
368234256748151007
368234296548001519
368237216158470054
368237296418174009
368239216158400954
368239246758400957
368239256008451914
368239256418154900
368530076528421714
368530096548121429
368531716528427004
368531916528420094
368531916548002492
368534976548002792
368537926528470094
368539006528421914
368539746528427900
368930026528491514
368931216258490054
368931716248297400
368934006748291217
368934276248191700
368934516148592002
368934716148297200
369131286245900485
369131486724920087
369131826724900847
369131856004952842
369234286741910087
369235286745900487
369237286400974181
369238256004958141
369238256141958400
369530086541912482
369538006524928141
369538426524918100
369538476524928700
369730086427924181
369731816427924800
369734286247900181
369738256247958400
370032682745161485
370032852764151846
370032862751416854
370034586741512682
370034968741216298
370035861715426824
370036485724625181
370036824725641815
370036851714652842
370036894752642859
370036895724625849
370036958742652498
370038151764258246
370038496714128629
370038596724528649
370038642752468151
370038691714268249
370038926721418694
370038942762418196
370038946725428695
370039468714126928
370039568724526948
370039584762542986
370039628724161948
370039648752462958
370039681712462984
372432584761510086
372432684715160085
372432854760051816
372632458764151008
372632485764005181
372632845761415800
372632894760041819
372632895764005849
372632948761410098
372832005764815146
372832151764850046
372832496754800659
372832600745861415
372832691714860049
372832964700846191
372932468714196008
372932800764191846
374131845760025826
374236248751610058
374632842765001815
374635948765200298
374638542762518100
374638942762008191
374830046725821615
374830046751812652
374832942761810096
374835141765820026
374835641715862002
374839641712862900
374932842760091816
374936841712692800
374938542762598006
375131485764200286
375131685740062482
375131865700426824
375238245761418006
375630085762412184
375631815764002842
375639485764002982
375830065724826141
375831415764820026
375831615742862400
375834695742862009
375839465724826900
375938005764298246
378131625728465004
378131926728400694
378231216758400654
378234256748151600
378234296748001619
378236294758640059
378239264718146900
378430054768251216
378431514768520026
378431914768200296
378436004758612152
378436924728600191
378439004768121926
378439564728526900
378439624728161900
378630045768425121
378630094768241219
378631514768542002
378632942768400191
378632952768450094
378639005768425924
378930026728491614
378930046758492652
378932562748596400
378934161748296200
379131468724926008
379131628724960048
379234268741916008
379234286745900685
379235284765940086
379238200764918146
379430084762912186
379435864725926800
379438624725968005
379630084762942181
379631418764920028
379631814762942800
379632482764900181
379638400764928121
380031615784265247
380031617485264275
380031617582462574
380031714685247265
380032562784516147
380032692584161549
380032742685417165
380032962581416594
380035267285416174
380035697485264279
380035716185427624
380035794685247269
380035964285246191
380035964785246297
380036171485624725
380036274285641715
380036295284615149
380036952482654191
380036974181642792
380037246285471615
380037296284171649
380037495684275269
380037496284271619
380037516184572642
380037916182472694
380037946181472692
380037962582476594
380039151682452964
380039267281416974
380039617182462974
380039642782461917
380039647181462972
380039752682457964
382432564781516007
382432594681510069
382432694580061519
382432754680057161
382432794680017169
382432964780016197
382532467584006171
382532496584001619
382532746581417600
382532796584007649
382532964580046191
382732005687415164
382732151687450064
382732594687540069
382732600587461514
382732615187465004
382732916187400694
382732960087416194
382932006784191647
382932141685490065
382932560084596141
382932746181497600
384131647285260075
384131647580062572
384131946285200695
384131946782002697
384235246785001617
384236245781615007
384237245680075161
384536742582617100
384536942582600191
384537946580072692
384539642582161900
384539647580062972
384732542687500161
384732642587161500
384736245287615100
384736940087612192
384739141687002962
384739645287265900
384930046285291615
384932742680097161
384935246285191600
384935746285297600
384936141582692500
384936141782692007
384936247285690075
384936742582697500
385131475684002762
385131495684200269
385131645782462007
385131695284260049
385236275481614700
385236295481614009
385237265181476004
385239265784006947
385730045687412162
385731615487264200
385736005487624121
385930045682492161
385930065284296141
385930065784296247
385930075682492764
385936415184692002
386131497684200279
386131574682542700
386131594682542009
386131752682457004
386131952682450094
386131972682400794
386131974680042792
386235247685400171
386235274685141700
386235294685141009
386239245681415900
386239247685400975
386430074685121725
386431914685200295
386435974685002792
386437004685271215
386437594682572009
386439004685121925
386730045687425121
386730094687241219
386731514687542002
386732942687400191
386732952687450094
386739005687425924
386930047682492171
386930072682491714
386931415684295200
386931712682497004
386932472684191700
386932742685497005
386935141685492002
389131006485924625
389131264285946005
389131600584962542
389131670084962742
389131672482964700
389231214685940065
389231216784900647
389235264785946007
389237260084976141
389430054682952161
389430074681912762
389431614582962500
389431614782962007
389435004685912162
389435264285916100
389435614185962002
389437004682972161
389437264285976005
389532462584916100
389537006584972642
390031618459264258
390031815629425864
390032582469514186
390032682749161487
390034678249261718
390034685249265181
390034685749265287
390034758649257268
390036258249651418
390036718149627428
390036814159642852
390036824729641817
390037181469274286
390037825629475864
390037841619472862
390038141569428526
390038171629428764
390038247269418176
390038524629548161
390038627529468574
392432684719160087
392432784569007586
392432864759006857
392532681519460084
392532847569400876
392532864519146800
392632181569400584
392632584769540087
392632780069417184
392632817169400874
392632850069451814
392832004569841516
392832007469814176
392832151469854006
392832600459864151
392832600749861417
392832615149865400
392832671419864700
392832714169847006
394131548629520068
394131648259260058
394131847269200876
394237248619170068
394238246759008657
394238247569008576
394532842569001816
394536748529627008
394538641519268200
394630048569121528
394632842769001817
394637248269171008
394637845269275800
394638247269008171
394638540069528121
394830045629825161
394830046729821617
394832642759860057
394837245269875006
395131825629400864
395131865009426824
395236285749600487
395637285269470084
395638245269418100
395830065749826427
395830075469824726
395834005649812162
395834265249816100
395834615149862002
395837005649872462
395837265249876400
396131748629427008
396131827629400874
396131845629425800
396234258649151008
396234278649001718
396234285649005181
396237248659470058
396237281619470084
396238200659418154
396238251619458004
396238274619148700
396431814659002852
396437824629171800
396438524629518100
396438574629528700
396830057649852472
396830074659842752
396832752649857400
396834005649825121
396834007649812172
396834151649852002
396834700649827121
397131286279400684
397131860079426824
397131864279246800
397236258479654008
397238200679418164
397431814679002862
397436284279600181
397438614179268200
397532682579460084
397538006579428624
400264278356131758
400284236753181657
400284237563181576
400284275161385736
400284295613185369
400294258613159368
400294283561319586
400294286315139685
400354738651217268
400364738256217158
400364738516127528
400364835716125827
400364938526121598
400374835161725826
400384731615287265
400384932562181596
400384935161285296
400384936712182697
400394638151269258
400394837261219876
400534783561217286
400564378536121728
400564728526317138
400564781516237283
400564783526327181
400564827526131873
400564893526321819
400564897526121879
400564978526121798
400574386531712682
400574628523761318
400574681513762382
400574682532763181
400574968523726398
400584171562382736
400584936513182692
400584972562181796
400584973562382796
400624728561317538
400624825761315837
400624827365131875
400634583762512187
400634783265217185
400674181562732583
400674258263751318
400674892362731819
400674895161725829
400684191562382539
400684273265381715
400684297263181379
400684517163582372
400684792562387539
400684935263285191
400684935763285297
400684973161382792
400694181365239285
400694278261319738
400694283265319185
400694518163529328
400694578161529728
400694582362539181
400694582762519187
400694813165329825
400694852762359837
400714158637253268
400714168357236258
400714168527326538
400714185367235286
400724528637513168
400724825617135863
400734683517162582
400734853267251816
400734853617152862
400734893627121869
400754268257316138
400754286257131683
400754968257216198
400754968357236298
400784191637283269
400784263257386151
400784296257181659
400784395637285269
400784396237281619
400784915167285296
400794181367239286
400794283267319186
400794286217139683
400794358637259268
400794528627519168
400794618157269258
400794628527369538
400794813167329826
400814195623825369
400814196352832659
400824726151837653
400824926731813697
400834673151862752
400834723625817165
400854161753826327
400854171652832763
400854617153862372
400854792652817169
400854796151827629
400854916152832693
400854962352836191
400854962752816197
400864171356832752
400864191536823529
400864257236853171
400864297236813179
400864791516827529
400864925326835191
400864925726815197
400864971316832792
400894131563829526
400894171625829765
400894237263819176
400894257263859376
400894316135829625
400894352632859161
400914168253296358
400914183562392586
400914185263295386
400914186235293685
400924728613197368
400924825161395836
400934783161297286
400934823625191865
400954738653297268
400954862752396837
400964181736293287
400964278256191758
400964378236291718
400964385236295181
400964385736295287
400964718156297258
400964728526397538
400964813156392852
400964823726391817
400964825726395837
400974181562792586
400974268253796358
400974285263795386
400974286235793685
400974386131792682
400974831613792862
413154378652002768
413154386752002687
413164378256200758
413174368500726528
413174382562700586
413184367005286275
413184395600285269
413194358600259268
413194378620029768
413194382562009586
413194386720029687
415164385736200287
415164785006237283
415164825726300837
415174285263700386
415174685003762382
415184375630082762
415184735263287006
415184795600287269
415184935263280096
415184965700286297
415194285263009386
415194685700269287
415194825620039863
416124728653007358
416124827635003875
416134893652002859
416154837653002872
416154892652300839
416154897652002879
416154938653200298
416154978652002798
416174358632752008
416174800635723825
416174800652732853
416174835623725800
416174852632753800
416174892652700859
416174895600725829
416174928623700398
416174938623720098
416184007635283275
416184572632583700
416184592632583009
416184723625387005
416184900635283295
416184923625380095
416184973600382792
416194378630029728
416194538623529008
416194578600529728
416194800625329835
416194827620039873
416194827625009875
417124528673500368
417124823675300865
417124825670035863
417134683275260085
417134683570062582
417134853670052862
417134893672002869
417164258276350038
417164850076352832
417164958276250098
417184263275386005
417184500673582362
417184592672580069
417184960075286295
417194286270039683
417194286275009685
417194638273269008
417194680075269285
418124527368530076
418124623758360057
418124923568300596
418124926738003697
418134563728526007
418134593628520069
418134693258260059
418134753268257006
418134953268250096
418134973268200796
418154296258300639
418154670058362732
418154697258260079
418154700658237263
418154960058236293
418174006358732652
418174256238753600
418174296258700659
418174956008752692
418194003568329526
418194006258239653
418194006728329637
418194007368239276
418194253268359006
418194356238259600
418194526328539600
418194570068529726
418194600758269257
418194623528369500
418194623728369007
419124825600935863
419134683500962582
419134823625900865
419134853600952862
419134863005926825
419134863700926827
419154680053962382
419154682752960087
419154800652932863
419154862352936800
419164008536923528
419164258236953008
419164278256900758
419164728326937008
419164800356932852
419164800736923827
419164825326935800
419164857006952872
419184006752982657
419184007562982576
419184235263985006
419184237263980076
419184362532986500
419184362732986007
420024578631513768
420024586731513687
420024685713165387
420024758613157368
420024783561317586
420024786315137685
420024863751316857
420024867315136875
423624385760015187
423724358617150068
423824356700851617
423824357161850076
423824367005816175
423824371615800765
423824395600815169
423824396151800659
423924378600191768
423924386005191685
423924386700191687
425624785360037181
425624835763001817
425624895161300839
425624895360031819
425724815167300836
425724865317136800
425724895617100869
425724895637003869
425824365731816007
425824395631810069
425824675131863700
425824695003861319
425824695131863009
425824795600817169
425824915163800396
425824965300836191
425824965700816197
425824975161800796
425924865700396837
426324738650017158
426324837615100875
426724358637151008
426724385637005181
426724581617530083
426724800657131853
426724891617300839
426724893657300859
426724958617150098
426824007635813175
426824191653800359
426824375631815700
426824395631815009
426824397631810079
426824751613857300
426824900635813195
426824971615800795
426824975600835793
426924008653191358
426924378630091718
426924385630095181
426924578600591718
426924738613197008
426924783600397181
426924835613195800
427324538671510068
427324638570061518
427524638573161008
427524863571316800
427524968570016198
427524968573006398
427824006375831615
427824161375836005
427824191673800369
427824615173865300
427824690073861319
427824695171865009
427824916175800695
427824960075816195
427924008673191368
427924538673590068
427924568171596008
427924800675191865
427924860075396835
427924863171396800
428324635718165007
428324936718100697
428524171568300736
428524367538006171
428524396538001619
428524691518360039
428524697518160079
428524700568317136
428524973568300796
428624005768315137
428624007568131573
428624151768350037
428624191568300539
428624517168530073
428624570068531713
428624597368530079
428624750068357131
428624790068317139
428624900568131593
428624953768350097
428624970068131793
428924003568391516
428924006758191657
428924007568191576
428924500638593161
428924516138593600
428924517168590076
428924561718596007
428924567008596171
428924570068591716
428924700568397536
428924713168397006
429324638151960058
429324638500961518
429324738600917168
429324831615900865
429324837161900876
429524181563900386
429524368531916008
429524678500961718
429524786500937683
429524837563900876
429524867500936873
429624181365930085
429624181763900387
429624758161957008
429624780065917185
429624800365931815
429624817165900875
429724008637913168
429724181367930086
429724181567900586
429724358637950068
429724618137963008
429724618157960058
429724680037963181
429724685007965181
429724800367931816
429724850067951816
429724860057936853
429724861317936800
450064853726321817
450064857316132872
450064958236213198
450074358632712168
450074851612732863
450074852362731816
450084257263181376
450084956712182697
450094358631219268
450094852612139863
450094853161329826
450094857261219876
451614852762300837
451614857360032872
451614958263200398
451714358637200268
451714658237263008
451814257263800376
451814652732863007
451814657003862372
451814750063827326
451814752362837006
451814952362830096
451814956002832693
451814956300832692
451914758600297268
451914850062392836
451914853600392862
453674358161720028
453684352762181007
453694358261219008
453784350067281216
453864351716820027
453864357006812172
453894356121829600
453894356700829627
453964358006291218
456004758613127328
456004857612132873
456004958623121398
456004958631213298
456274258631713008
456284257630083171
456294258600319138
456714158627320038
456734853627121800
456784151637283200
456794853627329800
456834753600827121
456834953600812192
456894151623829300
456894352632819100
456934853612192800
456974358632792008
456974851612792800
456974852632793800
457004658273261318
457004852672131863
457004853671312862
457264258376131008
457294258670019168
457294258673009368
457814152672830063
457814156372832600
457834653171862002
457864151376832002
457864950076812192
457894256271819600
457934853670092862
457964258276191008
457964258276390038
457964850076392832
458004356738121627
458004657238263171
458004751618237263
458004753628327161
458004956318132692
458004956728121697
458274251618730063
458274256008731613
458294250068319136
458294256318139600
458614153768320027
458614157268230073
458634753268217100
458634953268200191
458634953768200297
458674151368732002
458674950068712192
458694151268239003
458694151368239200
458694253268319100
458694257268009171
458914156008392632
458914156238293600
458914157268290076
458934253268191006
458934753268297006
458974256238793600
459004358632912168
459004758623927368
459004851612932863
459004852362931816
459004857362932876
459284250063981316
459284256131983600
459284256700981617
459284257161980076
459614158362932008
459684151762982007
459714158627920068
459784256237983600
460054786151237283
460054836753121827
460074286235713185
460074386531712582
460074816135723825
460074816152732853
460074826325731815
460074896131723829
460074896352732859
460084296253181359
460084376235281715
460084526723581317
460084736253287151
460084796151287259
460084796253287359
460084916135283295
460084926723181397
460084936513182592
460084976235283795
460094386235219185
460094386731219287
460094586723529387
460094816125329835
460094826721319837
460094836713129827
461314836752002857
461514786500237283
461514896530023829
461714386537002582
461714856007352832
461714856237253800
461714896257200859
461814296253800359
461814356732852007
461814726325837005
461814736523827500
461814796003827329
461814796500827529
461814926325830095
461814926723800397
461814936723820097
461814956003852392
461814976002832793
461814976300832792
461914386235290085
461914386530092582
461914586003592382
461914786005297285
463574386500712182
463584376512182700
463584396500281219
463584396512182009
463594386520029181
463754386257200181
463784326527181500
463784396007281219
463784396257280059
463824326751810057
463854396151820029
463894316125829005
463894326521819500
463894326721819007
463894376005829725
463894376121829700
463974386002792181
463974386500792582
467004586372532181
467004856171352832
467284216175380035
467284236573181500
467284296171380039
467284296570081519
467294286370039181
467294286570039583
467384236275181005
467384536171582002
467384936275280095
467384936570082592
467394836271219800
467514186573002382
467524826570031813
467584006572382131
467814196372832009
467824926171830093
467824926375830095
467894236273819100
467894256273859300
467914186275290085
467914186570092582
468004276258131753
468004356738251217
468004396538121529
468004716158237253
468004796258217159
468004796358237259
468004796518127529
468004796528327539
468004926528131593
468004956238253191
468004956738253297
468004976318132792
468254276358131700
468254296358131009
468274216158730053
468274296358730059
468294256008359131
468294256718159007
468294276318139700
468314136758200257
468354736258217100
468354936258200191
468354936758200297
468374236258700151
468374936008712192
468394236258009151
468394536008529121
468394536728529007
468514196528320039
468524726518137003
468524926518130093
468524926538003191
468574006538723121
468574396538720029
468574926528700191
468574926528730093
468594006528329131
468914126728390037
468914176008392732
468914176238293700
468924326538191500
468924326738191007
468924526738593007
468924726008397131
468924726518197500
468954006758291217
468954276258191700
468954716158297200
468974316138792002
469004286235913185
469004386531912582
469004386732912187
469004816135923825
469004816152932853
469004826325931815
469004836723921817
469254286151930083
469254286751910087
469254286753900387
469284216135983005
469284236753980057
469284276005981715
469284276131983700
469524826500931813
469524826531913800
469584376532982700
469584726523987300
469724826007931813
469754286257900181
469754286257930083
469784316137982002
470024628753161358
470024825761315836
470034583762512186
470034863715126825
470054638753261218
470054683752362181
470054968751216298
470064358736251218
470064851716352832
470064893726321819
470064895716125829
470064895726325839
470064958736253298
470084926725181695
470084935763285296
470084936713182692
470084961715286295
470094582762519186
470094638753269258
470094681715269285
470094852762359836
471214268753006358
471214285763005386
471214286735003685
471314835760025826
471614538763520028
471614582762530083
471614853762352800
471614892762300839
471614895760025829
471614938763200298
471814005763825326
471814006735823625
471814006752832653
471814356732852600
471814600753862352
471814625723865300
471814692732863009
471814692752860059
471814926725800695
471814952762850096
471814956700852692
471914386730092682
471914582762590086
471914586700592682
471914800762392836
473004368751216258
473004385761215286
473004386725121685
473684300765281215
473684392762181009
473694382762009181
473824325761815006
473854362752816100
473864300756812152
473864325726815100
473864351716852002
473864391716820029
473864395726825009
473894326721819600
473894352762859006
473954386750092682
473964328726191008
475004685713162382
475004835763121826
475264285716130083
475264285736003181
475284235763181006
475284265700386131
475284265713186300
475294285760019186
475294285763009386
475364835726121800
475394835760029826
475614185763002382
475624825760031813
475684005762382131
475814135763820026
475814165723826300
475824925761810096
475824925763800396
475864005736823121
475864395736820029
475864925726800191
475864925726830093
475894005763829326
475894625723869300
475924825760091816
475964825726191800
478004161758236253
478004396738121629
478004526728531613
478004596728521619
478004596738523629
478004625728365131
478004926728131693
478004956718152692
478004961718236293
478004963728326191
478234253768151006
478234263758006151
478254263758316100
478254296758001619
478254296758300639
478294200768319136
478294253768359006
478294256718159600
478314136758002652
478354936758002692
478394536728529600
478394631718269200
478614153768352002
478614193768320029
478624923768300191
478624925768005191
478634593768520029
478694003768329121
478694151768259200
478694500768529121
478924121768390036
478924326738191600
478924526738593600
478934003768291216
478954006758392632
478954161758296200
479004386731912682
479004628723961318
479004681713962382
479004682732963181
479004835763925826
479004852762951816
479004861715926825
479004862752936853
479234283761910086
479254268751916008
479264258736953008
479264281716930083
479284200763981316
479284235763985006
479284261713986300
479284261715986005
479354638752962008
479364835726925800
479384131762982006
479614138763920028
479614158762952008
479614182762930083
479624825761915800
479634853762952800
479684131763982002
480014156782352637
480014167385236275
480024723685317165
480024926385131695
480034573681512762
480034593682512169
480034673285261715
480034793681217269
480034963285216195
480034963781216297
480064295286315139
480064793586327529
480064915186235293
480064975286235793
480074151683752362
480074692582761519
480074916182732693
480074956181752692
480074962382736191
480074962582736593
480094536783529627
480094572682539763
480094617185269275
480094637283269171
481214267580036573
481214273685300765
481214275680035763
481214295683005369
481314637285260075
481314637580062572
481314936285200695
481314936782002697
481514673582362700
481514692582360039
481514693582362009
481514796580027629
481514936583002692
481714005687235263
481714296287300639
481714600587362532
481714695287265009
481714960087236293
481914006782392637
481914263285396005
481914500683592362
481914562782596007
481914700685297265
481914736283297600
483004367285216175
483004395681215269
483564397586200279
483574362582716100
483724325687005161
483794356287259600
483924325680095161
483924326780091617
483964300786291217
483964315186295200
483964375286295700
483974300682792161
483974316182792600
483974362582796500
485004635783261217
485004675181362732
485004695283261319
485004795681217269
485004965181236293
485004965781216297
485264275386131700
485264295386131009
485274235683700161
485274265181736003
485274295681710069
485274295683700369
485294235683009161
485294275680039763
485364735286217100
485364935286200191
485364935786200297
485374635181762002
485394635181269200
485714165287236003
485714165387236200
485714195687200269
485794005687239263
485794615187269200
485914165283296300
485914175680092762
485924725680097161
485964005786291217
485964275286191700
485964715186297200
485974005682792161
485974005683792362
485974265283796300
486004537683512172
486004572682531713
486004597682512179
486004752682357131
486004792682317139
486004953682352191
486004972682131793
486004973681312792
486234273685001715
486274235683715100
486274295681715009
486294200685319135
486294237683009171
486294257680059171
486294273681319700
486314137685200275
486374131685720025
486374932682700191
486394532682519100
486714153687352002
486714193687320029
486724923687300191
486724925687005191
486734593687520029
486794003687329121
486794151687259200
486794500687529121
486914135683295200
486914173682392700
486924121685390035
486924723685397005
486934003685291215
486934573682592700
486974131683792002
489004151683952362
489004161783926327
489004171682932763
489004267285916175
489004617183962372
489004637583962572
489004716185927625
489004752682957161
489234263581916500
489234263781916007
489234273685900765
489264200586931513
489264215186935003
489264217186930073
489264270086931713
489264275386935700
489364131786920027
489364235286915100
489364237286900171
489364730086927121
489514162582936003
489524726581917600
489534673582962700
489564007586912172
489564700586927121
489724121687930063
489734003687912162
489734263287916100
489734613187962002
490014158639253268
490014168359236258
490014168529326538
490014185369235286
490024528639513168
490024825619135863
490024827369131876
490034683519162582
490034783269217186
490034853269251816
490034853619152862
490034863719126827
490054268259316138
490054286259131683
490054678259261718
490054786259237683
490054863759326827
490054867259236873
490074268259716158
490074285269715186
490074368539726528
490074628529761518
490074681519762582
490074815169725826
490074825629735863
490074851619752862
490084161759286257
490084263259386151
490084273269381716
490084275269385736
490084367239286171
490084526729581617
490084571619582762
490084723629387161
491214278639003768
491214283569300586
491214286739003687
491314538629520068
491314638259260058
491314837269200876
491514386539002682
491514628529360038
491514863529326800
491614258269350038
491614278269300738
491614758269257008
491614780069237283
491614850069352832
491814006359832652
491814006739823627
491814256239853600
491814257269850076
491814625729865007
491814670059862752
491814700569827526
491814726329837600
493004368259216158
493004368519126528
493004378629121768
493004385269215186
493004386729121687
493574368529726008
493584300569281216
493584326529181600
493584361519286200
493624328569001518
493674318169720028
493674380069712182
493684300769281217
493684315169285200
493684375269285700
493824326759800657
493824327569800576
493854300659812162
493854360059826121
495004685239263181
495004685739263287
495004785269217186
495004785369237286
495004825629131863
495004865719126827
495004865729326837
495274285369730086
495284215169380036
495284265009386131
495284265719186007
495384235269181006
495384735269287006
495614185269230083
495614185769200287
495624825369131800
495624825769001817
495624825769300837
495674285269700181
495674285269730083
495684005769281217
495684275269181700
495684715169287200
495814125629830063
495814165729826007
495824325639800161
495824625739863007
495824725369837006
496004358639251218
496004378639121728
496004578629521718
496004578639523728
496004728629317138
496004781619237283
496004783629327181
496004827629131873
496004851619352832
496004857619152872
496254278659001718
496254278659300738
496254283659300181
496274258639753008
496274281619730083
496284275619185700
496314138659200258
496354837659002872
496374835629725800
496384531619582002
496384731619287200
496814125629835003
496814127629830073
496814175629825700
496824121659830053
496824325639815100
496824327639800171
496824721619837003
496834003659812152
496834723629817100
496854007659812172
496854700659827121
497004268279316138
497004286279131683
497004586379532682
497004683579362582
497004685279265181
497004853679352862
497284260079386131
497284263579386500
497314138679200268
497384236279181600
497514186579002682
497524628579161008
497524628579360038
497584006579382632
497584161579286200
497824121679830063
497834003679812162
497834263279816100
497834613179862002
500161578426324738
500161584736243287
500181537463284276
500181562742386437
500181572462384736
500181572632483764
500181593642382469
500181596234283649
500191548623429368
500191584263249386
500348537461218276
500367538246271418
500369538416124928
500374538642712168
500386532742681417
500386537141682472
500389531612482964
500394538641219268
500396538141629428
500467584236273181
500468524726318137
500469584316132982
500469584726121987
500473584362712186
500478514163728326
500478534623728161
500478594623728369
500479584362732986
500486524723681317
500489514162382936
500489534263281916
500489534613182962
500493584361219286
500496584723629387
500497584161279286
500497584263279386
500628523764318147
500629528364131948
500629528461314938
500638573161428724
500638593264218149
500647538463271218
500647583462372181
500648592462318139
500648597461218279
500649538463121928
500649582462131983
500649583461312982
500671518463724328
500673584362742181
500679538463724928
500679582462734983
500679584161742982
500682542763481317
500683547362482171
500683572362481714
500689513164382942
500689517162482974
500689542762481917
500689547161482972
500691518364239248
500693582362419184
500697518164279248
500726528347631418
500736583427624181
500738523627418164
500738543627428161
500748596417128629
500748596427328639
500749568417126928
500749568427326938
500781513647382462
500782542637483161
500782592647181469
500783526327481614
500784516147382632
500784596247281619
500789541617482962
500793584367249286
500793586327429684
500794586247239683
500796518147629428
500829527461814976
500834573641812762
500834593642812169
500837593642872469
500839563724826947
500861517346832472
500862592346831419
500869524726841917
500869527426834973
500891512642839463
500891516724829647
500892572364839746
500894536743829627
500894572642839763
500924528643191368
500928521613498364
500928526714198647
500936583141692482
500936583742692487
500938513164298246
500938573264298746
500942582463191386
500946528423691318
500946581413692382
500946582432693181
500948537463298276
500948572462398736
500962582746191487
500964578246291718
500971518642792468
500972582463794386
500974586141792682
512162583746300487
512172538643700468
512172586400734683
512182567003486374
512182596400384639
512192538643009468
512192586300439684
514167548236273008
514168543726328007
514168547006238273
514178540063728326
514178542362738006
514186542732683007
514186547003682372
514189540062382936
514189543600382962
514196548003629328
514197548600279268
516128527640038473
516129528634003948
516137583640072482
516138573600428724
516138593640028429
516174538643720028
516174582642730083
516178524623748300
516179528624700948
516179584600742982
516184573642382700
516184592642380039
516184593642382009
516189542632483900
516189547600482972
516192582640039483
516194578640029728
517100568374236248
517100586372432684
517126528374630048
517146538473620028
517146582472630083
517148596470028629
517149568470026928
517162582376430084
517163548376420028
517168594276248009
517182532673480064
517183546372482600
517183562372486004
517186592472684009
517189500672482964
518100546738423627
518100563748326427
518100567248236473
518100573468324726
518100594638243269
518100596428324639
518124526748300637
518126524738643007
518127523468374006
518129527468004976
518134573648002762
518134593648200269
518136573428624700
518136593428624009
518137523628470064
518137563248276400
518139523628400964
518139563008426924
518142572468300736
518146527428630073
518146597428620079
518149563428326900
518172562348736400
518172592648700469
518179500468724926
518192542368439006
518193546328429600
518194500648239263
518196500748629427
518196524728649007
519124528643900368
519128526004938643
519142582463900386
519147582462970086
519147586400972682
519148500463928326
519148536423928600
519162582746900487
519167528426974008
519167580046972482
519168500746928427
519168524726948007
519182532463984006
519183562342986400
519184500643982362
519184562742986007
520027538643171468
520027568141376438
520027586131473684
520028574161348736
520028593641318469
520028594613148369
520028596314138649
520029548631413968
520029568314136948
520029583461314986
524627548161370038
524628543761318007
524628547360038171
524629548161300938
524629548360031918
524728540067318136
524728546317138600
524729548617100968
524729548637003968
524823547361810076
524827540063871316
524827546131873600
524829547161800976
524926548003691318
524926548131693008
524928543161398006
524928543600398161
524928546700398637
526121578634003748
526327538614170048
526327538640071418
526328537600418174
526329538614100948
526427584630073181
526428594600318139
526429584600131983
526721518647300438
526724583647300181
526728541617438003
526728594617148009
526729581617400984
526824537643800171
526824597641810079
526824597643800379
526827500634873141
526827591614870049
526924538643191008
526924578640091718
526928531613498004
526928541613498300
526928547600498171
527121548673400368
527121586470034683
527326538471614008
527328534670048161
527426584171630083
527428534673008161
527428594670018169
527428594673008369
527823596374800649
527829560074836943
527829564171846900
527926518174690048
527926538473694008
527928500673498364
527928546171498600
528121547368430076
528121593648300469
528324536748001617
528327531618470064
528327536008471614
528327536418174600
528329531618400964
528329537468004976
528423574368001716
528426574008631713
528427514168370036
528427564008376131
528427594618170069
528429514168300936
528429564318136900
528621514768340037
528621517368430074
528623547368400171
528623574368141700
528623594368141009
528627500468374131
528627593468374009
528629500368431914
528629517168400974
528629540068431913
528921513468394006
528923547368490076
528923561318496004
528924560048396131
528924563748396007
528926500748691417
528926571418694700
529121538643900468
529121586400934683
529324538641910068
529328530064918146
529328534161948006
529328534600948161
529423584361910086
529427584161970086
529428574600938763
529621518364930048
529623578364900748
529627518164970048
529627538463974008
529628500364938141
529628500764918147
529628514163948300
529628534763948007
529628570064938743
529628574161948700
529721518647900468
529723584367940086
529724568347936008
529728500647938463
529728514167948006
530063578416124728
530073568141726428
530073582462714186
530083526724181647
530083561714286247
530083571612482764
530083592642181469
530093584161249286
530093586121429684
531613578264200748
531613578460024728
531713548627420068
531713584267240086
531813526724800647
531813574600842762
531813592642800469
531813596400824629
531913568004296248
531913586002492684
534673548161720028
534683542762181007
534693548261219008
534783540067281216
534863541716820027
534863547006812172
534893546121829600
534893546700829627
534963548006291218
536003578624121748
536473584600712182
536483574612182700
536483594600281219
536483594612182009
536493584620029181
536723528647001418
536783541617482002
536793548627429008
536893500624829141
536923528614190048
536923528640091418
536973528624790048
537003548672412168
537003568274216148
537463584276200181
537483564171286200
537823526471814600
537843562472816100
537863500476824121
537863514176842002
537943586470092682
538003546728421617
538003574268241716
538003574618142762
538003596418124629
538473514168720026
538473524628700161
538473564008726121
538473594628720069
538493524628009161
538623524768141007
538623527468004171
538643597468200279
538673500468724121
538673514168742002
538693514168249200
538693540068429121
538693570068429724
538693574268249700
538923521618490064
538923526008491614
538923526418194600
538943500468291216
538943526428191600
538943561418296200
538973500648792462
538973526428794600
539003568141926428
539003582462914186
539463584006912182
539463584726920087
539483514162982006
539483574600982762
539623528461914008
539643582462900181
539683570064982742
539683572462984700
539723528647900468
539743568427926008
539783500647982462
539783526427984600
560028526741318437
560047586413172382
560048596413128329
560049586412132983
560073586341712482
560074586342732181
560078526324738141
560078596141728429
560081516734283247
560081516742382437
560083576314182742
560084536743281217
560084576141382732
560084596243281319
560089526724181947
560094586141239283
560094586741219287
561318536740028427
561713586327420084
561713586347002482
561714586247230083
561718526327438004
561813596324820049
561814536743820027
561814576342832700
561814596342832009
561817526423874300
561819526724800947
561819536423824900
561913586340092482
561918536243298400
562382536714180047
562382536740081417
562742586417130083
562742586437003181
562782516137483004
562782596417184009
562792586007419184
562842576400831713
562842576431813700
562842596431813009
562892576004839743
562942586430093181
562972586400794181
564008546713128327
564783546317182002
564789546007382932
564789546237283900
564800546723821317
564893546300829121
567003586372412184
567008516173428324
567008516174238243
567008596274218149
567008596374238249
567009586372432984
567141586473002382
567181536473284200
567181596274280049
567348536470028121
567348536471218200
567800536473824121
567800596473824329
567823526374800141
567829526471814900
567841516472832003
567928526171498004
567948536473298200
568003576328421714
568003596348121429
568004576248231713
568004596348231219
568007516148372432
568007526428374131
568007596248271419
568009516138423924
568009526328431914
568009546728421917
568009546738423927
568121526748300437
568141596428320039
568171526428734003
568171596428724009
568191526328439004
568191546728429007
568191576008429724
568300536748121427
568347536418172002
568349536428121900
568379536428724900
568394536248219100
568397536248279400
568900516148392432
568900526428394131
568923526348191400
568924526748191007
568924526748390037
568941516438293200
568974516148792002
569003586341912482
569004586342932181
569004586742912187
569007586141972482
569008526324938141
569008526724918147
569008536743928427
569181526423984300
569181526724980047
569181576004982742
569348536400928121
569384536141982002
569384536742982007
569700586347932482
569700586427924181
569728526347938400
569748526427918100
569748526427938003
569784516147982002
570026528734613148
570028523764318146
570028526714138643
570036583741612482
570062582736413184
570062582746131483
570064583746312182
570068524726348131
570068593746328429
570069548726421918
570069548736423928
570069584716142982
570082542763481316
570084562742386131
570084596742382639
570086592742681419
570089542762481916
570096528724619148
570096538743629428
570096582742639483
571316538724620048
571318536700428624
571419584762002986
571612582763400384
571618500763428324
571618500764238243
571618534763248200
571618542762438003
571619582762400984
571619584760042982
571814562742836003
571914586740092682
571916528724690048
571918500764298246
571918542762498006
572002568741316438
572002584763141386
572002586731413684
572362538746001418
572382536700481614
572462584716130083
572462584736003181
572482534763181006
572482564700386131
572482564713186300
572492584760019186
572492584763009386
572632583761410084
572682500763481314
572682593764380049
572692548761419008
572692584760049181
572832563741816400
572862500746831413
572862594736843009
572892500764819146
572892534763849006
572962548736493008
572962581716490084
574006548723621318
574008542762318136
574161548726320038
574181542762380036
574181543762382006
574181546700382632
574600548762312138
574600548763121328
574638543760028121
574638543761218200
574682542763181300
574689542762181900
574689543762382900
574862542736813100
574892542761819006
574968541716298200
578001516738423624
578004563748326121
578004596748121629
578009561718426924
578121524768340036
578131543768420026
578131563728426004
578191546728429600
578300534768241216
578300536728421614
578400564728326131
578426524738613100
578429524768001916
578429524768300936
578496524728619100
578496524728639003
578600594768241219
578629524768141900
578631513768420024
578691514768249200
578692542768419100
578692542768439003
578900526728491614
578924526748191600
578934563748296200
579004568743926328
579004586741912682
579004586742932683
579008526724938643
579181562742986400
579364538746920028
579382532764980046
579384536742982600
579400584762912186
579428524761918006
579468524726918100
579468524726938003
579481514762982006
579600584762942181
579600584763942382
579628524763948300
580026524783641317
580037543682472161
580037563284276141
580039543681412962
580039563181426924
580046537483612172
580046572482631713
580046597482612179
580047562482376131
580047596482372639
580061517486234273
580062572386431714
580062592486314139
580063547386412172
580063594386241219
580069514186342932
580069547386432972
580071514683742362
580071516384732642
580072562384736141
580079534683742962
580091516284239643
580092532683419164
580092572681419764
580097542682479161
581316534782642007
581317532682470064
581319532682400964
581319534680042962
581416534783620027
581416574382632700
581416594382632009
581417564283276300
581419534683002962
581419564780026927
581712542687430063
581712562387436004
581713564387246200
581719560087426924
581719564287246900
581912532683490064
581913546382492600
581913562382496004
581916570084692742
581916572482694700
582002563784316147
582002594683141369
582002596384131649
582002596481314639
582362534786141007
582362537486004171
582372536481714600
582392534680049161
582392536784009647
582462574386131700
582462594386131009
582472534683700161
582472564181736003
582472594681710069
582472594683700369
582492534683009161
582492574680039763
582732543687400161
582742563487316100
582742596487001619
582742596487300639
582792500687419164
582792546387439600
582932563181496004
582942536483191600
582942567480096171
582962500486394131
582962517186490074
582962570086491714
582962573486394700
582972536483794600
582972560084796141
584006547382632171
584007543682372161
584007546181372632
584009542682131963
584009543681312962
584161543786320027
584161547286230073
584171542682730063
584171546382732600
584191546780029627
584700543687312162
584700546287231613
584739543687002962
584792542687009161
584796540087629121
584900543682392161
584900546181392632
584900546782392637
584936543181692002
584936543782692007
584962542786191007
584962542786390037
584973546382792600
586002572684131743
586009542682431913
586009547681412972
586009547682432973
586121527683400374
586131573684002742
586131593684200249
586171534683742002
586171594682742009
586191500683429324
586191500684239243
586191534683249200
586191542682439003
586300537682412174
586372532684700141
586379534682742900
586392532681419004
586392532684009141
586397532682479004
586400574681312732
586400594682312139
586400594683121329
586427524683171300
586429524680031913
586471514682732003
586497534683279200
586700594687241219
586729524687141900
586731513687420024
586791514687249200
586792542687419100
586792542687439003
586900547682492171
586900547683492372
586900572682491714
586900573684392742
586931513682492004
589001514683942362
589001516384932642
589002562384936141
589002562784916147
589007516184972642
589121526784900647
589141562482936003
589300534682942161
589347536482972600
589362532486914100
589400534683912162
589400564783926327
589400574681912762
589400574682932763
589461514386932002
589461514786920027
589467514186972002
589742562487916100
589742562487936003
590026528349631418
590027528649171468
590036583429624181
590037583469274286
590038523629418164
590038543629428161
590038573629428764
590046578429621718
590046578439623728
590047586419172682
590048573469328726
590072582469714186
590073568349726428
590074586349732682
590078524629748161
590081513649382462
590081517469284276
590082542639483161
590082562749386437
590082572469384736
590082572639483764
590083526329481614
590084516149382632
590084567249286171
590084573649382762
590086517149682472
590086527429684171
591314538649200268
591316538429624008
591318534269248006
591318536009428624
591413584369200286
591416584729620087
591417584269270086
591612582369430084
591613548369420028
591618570069428724
591618574269248700
591812562349836400
591817500649872462
591817526429874600
592002548639413168
592002583469314186
592002586419134683
592372538649700468
592382531619480064
592382536009481614
592382536419184600
592472584369730086
592482514169380036
592482564009386131
592482564719186007
592632583469004181
592642578469001718
592642578469300738
592642583469300181
592682500469384131
592682517169480074
592682570069481714
592682573469384700
592842561419836003
594007548639273268
594008541619238263
594008543629328161
594008546719128627
594008546729328637
594008547269218176
594008547369238276
594171548629720068
594181546009382632
594181546239283600
594181547269280076
594600548369231218
594638543269218100
594673548369720028
594678540069728121
594682542769181007
594682542769380037
594800546729821617
594800546739823627
596002582639413184
596002582649131483
596004578649121728
596004583649312182
596007583649372482
596008524629348131
596008527629418174
596008547629428171
596008571619428724
596121528649300438
596131583629420084
596131583649002482
596181500649382432
596181527629480074
596300538649121428
596374538649720028
596382532649181400
596428524619138003
596478524629718100
596478524629738003
596481514639283200
596824527649800171
596824527649830073
597008516179428624
597141586479002682
597346538479620028
597382532679480064
597428524679008161
597483564379286200
597486514179682002
597842562479816100
597842562479836003
600151768354237248
600151864752342837
600151867352432874
600171468534723528
600171862452734853
600171968342732498
600171968423724398
600181365734285247
600181367435284275
600181367532482574
600181962532483594
600181963742382497
600191468354239258
600191468524329538
600191862352439854
600191863724329847
600247268453171358
600258263754318147
600259268354131948
600259268451314938
600275268345731418
600278261514738543
600279268451714958
600283267345181475
600285263745381417
600289261415384935
600289265714185947
600289267131483974
600289267415184975
600294268541319538
600297268141379438
600297268514179548
600457864151372832
600458964151238293
600458964751218297
600473864325721815
600473864351712852
600485364735281217
600485964235283191
600485964735283297
600489364235281915
600493864315129825
600495864715129827
600495864725329837
600517168534273248
600517168542372438
600518167523428374
600537863514172842
600574862542731813
600574968542712198
600578962542738493
600579468524721918
600579468534723928
600584762542387131
600584963542382191
600589362532481914
600589367532482974
600589461514382932
600589467514182972
600592862514139843
600597368534279248
600719168427324938
600738263257418154
600738963527428594
600742862457131853
600748161457238253
600748961417238293
600748963427328191
600749368437121928
600749568427521918
600749568437523928
600752862357431814
600758264257348131
600758964257248191
600782362537481514
600782962537483594
600784161547382532
600784265247385131
600784963547382592
600784965247285191
600792862357439854
600793568347529428
600793861317429824
600794268247319138
600814165743825327
600814167542832573
600815167345832472
600819162452834953
600819164752842957
600819165724825947
600819167425824975
600834963541812592
600834963742812197
600835963425824191
600837263245871415
600837963141872492
600839463724821917
600842962435813195
600845367435812172
600847161453872352
600847961413872392
600847962432873191
600849161435823925
600849161452832953
600849367431812972
600849761415827925
600849762452837953
600852762354837141
600853467354812172
600853964352842191
600857962452874191
600859161354832942
600859467354832972
600892362734819147
600892462354839151
600892462754819157
600893161345829425
600893467324829171
600894161743829327
600894267245819175
600895161745829427
600895267245839473
600914168542392538
600918162742398437
600918167245298475
600934863245291815
600938463254298151
600938463754298257
600945368435291218
600945861415392832
600945867415192872
600948367435298275
600952862754191847
600953468354291218
600953768354297248
600953862352491814
600953867352492874
600958161754298247
600958263254398141
600958267253498374
600958467254298171
600973861314792842
600974268243791318
600975268245791418
612142768453007358
612142867435003875
612152863754300847
612152867450034873
612152968453004398
612172368534700548
612172468354730058
612172865004735843
612182463754380057
612182760045387435
612182760053487354
612182965003485394
612182965740085497
612192368534009548
612192864005349835
612192864700349837
612192864750049857
612192867300439874
613149368452002958
613157368254270048
613159368254200948
613159368450024928
613175368425724008
613178360045728425
613179368400724928
613184367245280075
613184367540082572
613189360052482954
613189367002482974
613194368540029528
613197368004279248
615147865400372832
615148965400238293
615174865342732800
615180065734283247
615180065742382437
615183965340082492
615184765243287300
615189465004382932
615189465234283900
615193865300429824
615194865740029827
617100568473524328
617100863475324825
617100865274235843
617142862475300835
617145968475200298
617148562472538003
617180063574382542
617182562473584300
617183465374285200
617183962372480094
617189460074382932
617189465274285900
617189560074582942
617189562472584900
617190068374239248
617195860075429824
617195864275249800
618100567348532472
618100964738243297
618100965248235493
618134563748520027
618134963548002592
618134963748200297
618137263258470054
618139263258400954
618139563428524900
618139763008427924
618147365438275200
618149367438002972
618149763428327900
618150067458234273
618152762358437004
618152962358430094
618153764358247200
618159267258400974
618159760058427924
618159764258247900
618174265248735003
618179264238743900
618190063748329427
618190064758249257
618190067248239473
618190067528429574
618192562348539400
618197263248379400
619100468534923528
619100768524927548
619100862452934853
619100864752942857
619100865724925847
619100867425924875
619135863425924800
619137863004972842
619138463524928500
619138463724928007
619145368435920028
619145768425927008
619147368432972008
619147862432973800
619150068453924328
619152862754900847
619153468354920028
619153864352942800
619157268254970048
619157860054972842
619157862452974800
619158264253948300
619182362435984005
619182362734980047
619182462534983500
619182462734983007
619182462754980057
619183762342987400
619184265243985300
619184267245980075
619184762542987500
620024768541317538
620024865741315837
620024867345131875
620025867415134873
620025968345131498
620027368534171548
620027861415374835
620027968413174398
620028367531418574
620028463754318157
620028467514138573
620028567141538473
620028963741318497
620028964713148397
620029468354131958
620029768314137948
623428364750018157
623527368514170048
623527368540071418
623528367500418174
623529368514100948
623724368547001518
623728360057418154
623728364517148500
623729368457004958
623824365741815007
623827360045871415
623827361415874005
623827365004875141
623827365141875400
623829361714800947
623829364005841915
623829364700841917
623924368540091518
623925368415194008
623928367500498574
625121865734003847
625724865347131800
625728965007418194
625820065734813147
625823765341817400
625824765141837003
625824965141830093
625824965741810097
625824965743800397
625827965400874191
625829365431814900
625829365734800947
625829465004831913
625829765004837943
625923865300491814
625924865740091817
625928365131498004
625928465004398131
625928465714198007
627121468574300538
627121568374530048
627121968473004398
627423864375001815
627425864375131800
627428564171538003
627428964370038191
627428964570038593
627528463574318100
627528964570048191
627529468574001918
627529468574300938
627820065374835141
627823465374815100
627823964375840095
627825161475834003
627829460074831913
627829465374835900
627920068574191548
627923468374191008
627923568374590048
627925860075491814
627925863475394800
627928460074398131
627928463574398500
627928560074598141
628121367538400574
628121564738543007
628121963748300497
628121965748005497
628423764358007151
628427364538171500
628429364738001917
628429564008531913
628429764318137900
628520067538413174
628520067548131473
628524763548317100
628524963548300191
628527161538473004
628527961518470094
628529364538141900
628529367538400974
628529764518147900
628920063458394151
628920063748391417
628920065748395437
628920067538493574
628923161358490054
628923761318497004
628924161748390037
628924760048397131
628924763548397500
629121368534900548
629121468354930058
629121865004935843
629121867400934873
629425864005931813
629427864005971815
629427864131973800
629428364531918500
629428364731918007
629520068534913148
629524768541917008
629527368534970048
629527468534973008
629528461514938003
629720068347931418
629720068457914158
629724860047931813
629724865347935800
629728161347938400
629728364537948500
630043768451217258
630043867425121875
630053768254217148
630053968451214298
630073468524721518
630073861415724825
630073864151742852
630083267245181475
630083467514182572
630083562742581417
630083567141582472
630083961415284295
630083961512482594
630083962742181497
630093468254219158
630093468514129528
630093568141529428
630093867121429874
631413864752002857
631513768540027428
631513968542002498
631713568427524008
631713865007425824
631713968247200498
631813267245800475
631813465724825007
631813760045827425
631813962742800497
631813964500842592
631913468254290058
631913768004297248
631913860052492854
631913867002492874
635003865724121847
635283265714180047
635283265740081417
635743865427121800
635783265247181400
635793865007429824
635813165724820047
635843765400827121
635843965400812192
635893265241819400
635893465004829121
635893465724829007
635943865412192800
635973865004792842
637003468574121528
637003864275241815
637003865171425824
637003968471214298
637283265171485004
637293268574009548
637483264275181005
637483564171582002
637483964275280095
637483964570082592
637493864271219800
637513168574200248
637583161572482004
637583962572480094
637813164572842500
637843161475820025
637843962472800191
637893264275849005
637893460074829121
637913168274290048
637943568472592008
637943862472191800
638003567428524171
638003761518427524
638003764258247151
638003964518142592
638253264758141007
638253267458004171
638293260058419154
638293264518149500
638293264718149007
638293267008419174
638413164758200257
638453764258217100
638453964258200191
638453964758200297
638473264258700151
638473964008712192
638493264258009151
638493564008529121
638493564728529007
638513167528420074
638513167548002472
638593161528429004
638913165248295400
638943561418592002
638943761418297200
638953161458294200
638953267258490074
638973265248795400
639003468524921518
639003768141927428
639003768524927548
639003861415924825
639003864151942852
639003864752942857
639003865724925847
639003867425924875
639243268451910058
639253268451914008
639283260045981415
639283261415984005
639283261714980047
639283265004985141
639283265141985400
639283267400984171
639513168524920048
639583161542982400
639583461514982002
639583762542987400
639713168427924008
639743865427925800
639783265247985400
640038463751218257
640057468253271318
640058462752318137
640058467151238273
640073468352712158
640078462352738151
640079468131723928
640079468352732958
640082462753181357
640085467235283171
640089461712382937
640089462752181957
640089463151382952
640089463752382957
640089467235283975
640093468351219258
640097468151279258
640097468253279358
641518467500238273
641519468530023928
641713468357200258
641718460057238253
641718463527328500
641719468257200958
641812462753800357
641813467325820075
641817460053872352
641817462532873500
641819460035823925
641819460052832953
641819462752800957
641819465700825927
641819467002832973
641819467300832972
641915468235293008
641918467005298275
642572468531713008
642582467530083171
642592468500319138
642752468357131008
642782465007385131
642792468007319138
642792468317139008
642832463751810057
642852467151830073
642892461315839005
642892467005819175
642892467300839171
642892467500839573
642952468151390038
642972468003791318
642972468131793008
642972468151790058
642972468500791518
645008465713128327
645783465317182002
645789465007382932
645789465237283900
645800465723821317
645893465300829121
647005468375231218
647181463572382500
647181465273285300
647191468570029528
647500468572312138
647500468573121328
647538463570028121
647538463571218200
647582462573181300
647589462572181900
647589463572382900
647800462572831513
647892462171839003
647892462375839005
647892462571819500
647893462372819100
647895460075829121
647900468273291318
647900468572392538
647938463171298200
647938463275298005
648007461518372532
648009463728321917
648009465718125927
648009465728325937
648009467318132972
648131463758200257
648151463758320027
648151467258230073
648191460058239253
648191463528329500
648191463728329007
648191467008239273
648537463518172002
648539463528121900
648572462538713100
648592462518139003
648597461518279200
648900461518392532
648900467238293171
648900467518192572
648952462758191007
648952462758390037
648972462538793500
648973461318792002
649003468352912158
649008461713928327
649008462352938151
649008462752918157
649151468352932008
649181460053982352
649181462532983500
649181462732983007
649181462752980057
649181467003982372
649181467500982572
649500468523921318
649538463500928121
649700468527921518
649700468537923528
649738463007928121
649738463527928500
649753468357920028
649758460057928121
649782462537983500
649783461317982002
670018163745328425
670034863745121825
670035863725421814
670038563724528141
670052862754131843
670058161753428324
670058161754238243
670058463754328121
670058962752418194
670059468754121928
670082562734583141
670082962745181495
670084963742382191
670085161745382432
670085963745382492
670089161752482954
670089362732481914
670089461714382932
670089463754382952
670089561714582942
670092862714139843
670092862751419854
670094568743529328
670094863745329825
670095861715429824
671215268745300438
671219268734003948
671418564723528300
671418964700238293
671810064753842352
671812462754830053
671812962745800495
671814962742830093
671815364735842002
671819364732842900
671819465724825900
671910068734293248
671910068742392438
671914568742592008
671914863742392800
671918362732498004
671918562742598400
672002568734513148
672002865714135843
672452864750031813
672482364735181005
672482964715180095
672482964730083191
672492864750039853
672812164735843005
672832463754800151
672832963745800495
672852161754830043
672892364735849005
672892461714839003
672932863700491814
672952468754191008
672952468754390038
673005368745121428
673008362752418154
673009368724121948
673151368754200248
673181362752480054
673191368740029428
673458364750028121
673458364751218200
673485364715182002
673489364712182900
673489364750082952
673800364752842151
673800365724825141
673852362754800141
673859364752842900
673892362741819400
673894362742819100
673958362752498004
675004865741312832
675008465724328131
675008965723428394
675181365732482004
675181465734283200
675181965740082492
675191865700429824
675284265743181300
675289265700481914
675800365734812142
675800465734823121
675800965741812492
675800965742832493
675814165742832003
675890065724829141
675900865714192842
678002562748531413
678002962738413194
678002962748131493
678004963748312192
678004965748235293
678009161738423924
678009365738425924
678131963728420094
678131963748002492
678191364738249200
678239263758400954
678259264758141900
678294263748319100
678400564738523121
678419164758002952
678450064758231213
678450064758312132
678490064728329131
678490064758239253
678900161748392432
678912162738493004
678912162758490054
678914163748392002
678914165748295200
678934563748592002
679004862742931813
679008161745928425
679151468754920028
679151864752942800
679200268734913148
679238263741918400
679258264753948300
679284265743985300
679400864725921815
679400864735923825
679400864751912852
679400864752932853
679418164723928300
679418164725928005
679480064752982151
679480064753982352
679485364735982002
680015167485234273
680017163584372542
680019163485324925
680019164782342937
680019165284235943
680019167382432974
680037963485274295
680037963582472594
680039463784121927
680039763181427924
680042762485317135
680045763485327121
680045963485312192
680047963482372191
680049562482531913
680049567481512972
680049567482532973
680049763485327925
680072462584731513
680072962485714195
680073465384725121
680073964382742191
680079161384732942
680079161485724925
680079264285741915
680079265284735943
680092462784319137
680092562384539141
680092562784519147
680095264285349131
680095267285419174
680097263284379141
681215264785340037
681215267385430074
681217263485374005
681219263784300947
681219265784005947
681219267480034973
681219267485004975
681413964385200295
681415764285237003
681415764385237200
681415964285230093
681415964785200297
681417264285370035
681417964285270095
681417964580072592
681419264285300935
681419564382532900
681512962583400394
681517463584372002
681517962582470094
681519467584002972
681710064587342532
681712562487534003
681712962387430094
681712962587400594
681713564387542002
681910063584392542
681910065784295247
681910067485294275
681910067582492574
681912462784390037
681912562483594300
681912562784590047
681913465384295200
681913762382497004
681915267285490074
682002465784315137
682002467584131573
682002564783541317
682002963485314195
682002964783141397
682472964181730093
682472964385730095
682492564181539003
682492564781519007
682512167583400374
682532763581417004
682532763584007141
682532963581410094
682572161584730043
682592463584319100
682592467584009171
682712165387435004
682732563487514100
682732963487004191
682732963587400594
682742963487300191
682742965487005191
682792161387439004
682912163485394005
682912163784390047
682932463584191500
682932463784191007
682932563784590047
682932763181497004
682942161485390035
682942763485397005
682972161483794300
682972161485794005
683005364785241217
683007362582471514
683007365284275141
683009364285241915
683009365181425924
683141367485200275
683171364582742500
683191364285249005
683495364285219100
683497364181279200
683497364285279005
683500367582412174
683572362584700141
683579364582742900
683592362581419004
683592362584009141
683597362582479004
683900362582491514
683900365284295141
683900365784295247
683900367485294275
683900367582492574
683942362485191005
683972362485794005
685003965382412194
685007265283471314
685009265284131943
685009465284231913
685009465784121927
685009765181427924
685009765284237943
685141965483002392
685171265284730043
685171465384732002
685191465284239003
685191465384239200
685247265483171300
685249265480031913
685273265384700141
685279265481714900
685293265381419004
685293265384009141
685297265181479004
685700965487234293
685713165387420024
685740065487231213
685740065487312132
685900265283491314
685900465784291217
685900765284297141
685913165382492004
685940065482392131
685973465384792002
689002462584931513
689002762384937141
689002762584937543
689003465384925121
689003467384912172
689007161584972542
689007265284975141
689131463784920027
689141762482937003
689200264783941317
689200265384935141
689200265784915147
689200267485914175
689235263485914100
689237263485974005
689245267485900171
689245267485930073
689247265483975300
689413164385920025
689415164385932002
689415164785920027
689417164582972500
689500467584912172
689512162584930043
689530063584912142
689537463584972002
689712162487934003
689713164387942002
689730063487924121
689740065487925121
690017168459274258
690018163749328427
690018164759248257
690018167249238473
690018167529428574
690034863749121827
690038263259418154
690038563749528427
690042862459131853
690047368439271218
690047861419372832
690047863459372852
690048161459238253
690048567429528171
690052862359431814
690058264259348131
690058267259418174
690072862459734853
690073864359742852
690078264259748151
690082362539481514
690082562749581417
690083567349582472
690084161549382532
690084265249385131
691214268549300538
691413864359002852
691417864009372832
691417864239273800
691418564729528007
691514867549002872
691518364539248200
691810065749825427
691810067349832472
691812762349837400
691814265249835003
691814267249830073
691817265249875400
692002568349531418
692002864759141857
692002867419134873
692452864359131800
692452864759001817
692452864759300837
692472864009731813
692482364539181500
692482364739181007
692482564739583007
692482764009387131
692482764519187500
692512168549300438
692572864539743800
692582161539483004
692582367539480074
692582761519487004
692582763549387400
692812164539843500
692812164739843007
692812164759840057
692812165349835400
692842161459830053
692842365439815100
692842367439800171
692842761419837003
692852161459834003
693004368549121528
693007368249271418
693007368459274258
693008361519428524
693008364259248151
693008364759248257
693008367529428574
693141368459200258
693171368429724008
693181365249285400
693458364259218100
693478364009728121
693478364529728500
693500368549121428
693574368549720028
693582362549181400
693800365749825427
693800367429824171
693842362459800151
693847361419872002
693852362459814100
695003865329421814
695004865249231813
695004865749121827
695171865429724800
695181265239483004
695181365439284200
695181765249287400
695248265419138003
695278265349738400
695283265349181400
695284265749181007
695284265749380037
695800265249831413
695800365439824121
695814165349832002
695814165749820027
695840065439823121
695847365439872002
697002862379431814
697003865379425824
697008161579428524
697008264279348131
697141568479520028
697181265279485004
697200268479314138
697248263479318100
697283265379485004
697400864279231813
697418164279238003
697418164379238200
697480064579382532
697483564379582002
697500864579342832
697518164579248200
697812162479834003
697813164379842002
697830063479824121
697840065479825121
700141687435263285
700141857462352836
700141867425326835
700151847652432863
700151867254236843
700161587346532482
700161847356432852
700161897426324839
700181267245386435
700181267253486354
700181497634283269
700181537643582462
700181597642582469
700181937463284296
700181947562482596
700181967245286495
700191487364239286
700191687245269485
700191837623429864
700191847625429865
700191857264259846
700246287435613185
700258237653418164
700264287546131583
700268247356438151
700269287416134983
700284297643181369
700285247635483161
700285297645181469
700286237453684151
700286297453684359
700286297534683549
700289247635483965
700289267151486954
700296287141639483
700296287345639485
700345837465121826
700346837425621815
700346837451612852
700348937461218296
700358637254268141
700368237256418154
700368937526428594
700384537642582161
700385937465284296
700386237245681415
700386937141682492
700389237264181946
700389437264281916
700389437614182962
700395837625429864
700516187542632483
700518147563428326
700528427564318136
700561817536423824
700564897546121829
700568347536428121
700568927526418194
700568947526428191
700586937543682492
700596487524629181
700596827524639843
700615187465234283
700618137563428524
700618197364238249
700619187362432984
700625827365431814
700628527364538141
700628927561418594
700645897465121829
700648537463528121
700648597463528329
700649587461512982
700649587462532983
700681417564382532
700681917465284295
700681917562482594
700683497364281219
700683947362482191
700689237263481914
700689247265481915
700689417164382932
700689517164582942
700691817264239843
700693847365429825
700695287265419184
700695817165429824
700813167345826425
700814157643852362
700819137463824926
700823627345861415
700825927465814196
700829427364831916
700841617453862352
700845367435826121
700845967425826191
700849367435826925
700849627425861915
700849637453862952
700853467354826121
700859267254836943
700859617154862942
700861917346832492
700863957346852492
700891417564829526
700893627324869141
700915187465294286
700918127623498364
700923827364191846
700924827645191865
700925827465394836
700925827635493864
700928427564398536
700941817462392836
700946387432692181
700946827425691815
700946837453692852
700951817652492864
700956817154692842
700963587346592482
700963827326491814
700963847356492852
700964817146392832
700968247256498151
712142587463500386
712142867450036853
712152837653400864
712162387536400584
712162897456004859
712182347635480065
712182537463584006
712182967003486394
712182967500486594
712192487564009586
712192687003469384
712192687500469584
712192847600439863
712192857600459864
713128327564008546
713128327645008465
713145387465200286
713146387425620085
713149387462002986
713164387546002582
713168347526428500
713168357246258400
713184367245286005
713185327625480064
713185367245286400
713186327425684005
713189347600482962
714156847352632800
714158647253268300
714163847356002852
714168947006238293
714180047562382536
714180047635283265
714183547362582006
714185247265380036
714185947265280096
714186247235683005
714186347532682500
714186947003682392
714186947500682592
714189347630082962
714189547600582962
714193847360029826
714196847005629825
716100587642532483
716100847635423825
716100847652432853
716124827645300835
716128927640038493
716128927645008495
716158007653428324
716158007654238243
716159487654002982
716180047653482352
716180097634283249
716180097642382439
716184537643582002
716184597642582009
716185007645382432
716185347635482002
716185927625480094
716189007652482954
716189347632482900
716190087623429384
716195847625429800
718100367538426524
718100697458264259
718100957468254296
718100967248236493
718100967528426594
718123627358460054
718124527648530063
718129327638400964
718140067458236253
718146357438652002
718146397438620029
718146927428630093
718149567428526900
718153647358462002
718190047568429526
718193627328469004
718194007648239263
718196257248659400
719100837463924826
719123827364900846
719124827645900865
719128427364938006
719145867425926800
719148007463928326
719148627423968300
719148627425968005
719160087346932482
719164287246930083
719168257246958400
719180037643982462
719184007643982362
719184267243986300
719184267245986005
719185007645982462
719185267245986400
720023687345161485
720023857364151846
720023867351416854
720025847365431816
720026387435614185
720026897451614859
720028347635418165
720028597641518469
720028617145368435
720028617153468354
720028697141368439
720028697514168549
720028947561418596
720029487364131986
720029587461514986
720029687131463984
720029687415164985
723528347561418006
723625387465004181
723628347561418500
723628357161458004
723628397564008549
723629387161400984
723629387465004985
723821317564800546
723821317645800465
723824367541816500
723824397641810069
723825397645800469
723829317164800946
723926387400694181
723928347161498006
723928347600498161
724121847635003865
724526847500631813
724526847531613800
724528647500368131
724528647513168300
724528947560018196
724528947563008396
724623847365001815
724625847365131800
724628547161538003
724628947360038191
724628947560038593
724820047635813165
724823947361810096
724825347635800161
724825947365830096
724829347635800965
724829647005861915
724829647131863900
724923847360091816
724926847005691815
724926847131693800
724928347630098161
724928547161598006
724928547600598161
726121837653400854
726121897634003849
726324837645001815
726328437654008151
726328537641518400
726328937600418194
726328937645008495
726820057634853141
726820097634813149
726821417654830053
726821917645800495
726824937643800191
726825007645831413
726829457634853900
726920087645191485
726924837643191800
726925387635490084
726925847635493800
726928007645398435
726928007653498354
726928347635498005
726928537643598400
728121357638450064
728121567348536400
728121597648500469
728121647538463500
728121947368430096
728121947568400596
728324537648500161
728324637548161500
728329637008461914
728329637418164900
728521617538463004
728524697548161009
728524697548360039
728524967548006191
728526007548631413
728529647538463900
728620047568431513
728620057468354131
728620097468314139
728621517468534003
728621917368430094
728621917568400594
728623947368400191
728623957368450094
728629007368431914
728920047568491516
728920047638493161
728921317638490064
728921517468594006
728923567348596400
728926007458694151
729121487364930086
729121487564900586
729121867004936843
729324837645900865
729328637004968141
729328637141968400
729521817564900846
729524867541916800
729528007564918146
729528637543968400
729620087465914185
729623487364900181
729628007364938141
729628007564938543
729628417164938003
730043587462512186
730043867415126825
730053847651412862
730053867151426824
730063587426524181
730063897416124829
730083467254286151
730083597642582469
730083947562482596
730083967245286495
730093487264219186
730093687245269485
730093827621419864
730093847161429826
730093847625429865
730093857264259846
731513487564200286
731513687540062482
731513867500426824
731613487564002582
731613897264200849
731613897460024829
731813257264850046
731813467524826500
731813497624820069
731813627425864005
731913487264290086
731913847600492862
734003847625121865
734283247560081516
734283247615180065
734563847526121800
734593847560029826
734683247265181005
734683547161582002
734683947265280095
734683947560082592
734693847261219800
734813147625820065
734853647151862002
734863247256800151
734863947006812192
734893247261819006
734953847650092862
736003587641512482
736003847625421815
736003847651412852
736003857614152842
736003897624121849
736253287651410084
736283297614180049
736283297640081419
736293287600419184
736293287645009485
736813157642852400
736813197624820049
736823427654800151
736823927645800495
736853007654812142
736853497654820029
736893007624829141
736893007645829425
736893427624819100
736913187640092482
736923827600491814
736953847652492800
738003267258416154
738003627528461514
738003697248261419
738003697458264259
738003957468254296
738003967528426594
738243257468151006
738243267458006151
738253247658400161
738513147568420026
738513167528426004
738523627548161400
738593627528469004
738613157468254200
738623527468514100
738623927468004191
738623927568400594
738643597468520029
738693007568429524
738693247268419100
738693257268459004
738913127628490064
738913167248296400
738923527468594006
738943007468291216
738953267258496004
739003687141962482
739243287461910086
739283217164980046
739283267004986141
739283267141986400
739523827564900846
739623827461914800
739643857462952800
739683007564982542
739683417164982002
740028427561318536
740056487352632181
740058497651218269
740068417156238253
740068497256218159
740068497356238259
740068497516128529
740068497526328539
740069487316132982
740081417562382536
740081417635283265
740085497635283269
740086417153682352
740089417162382936
740089427625181965
740089437263281916
740089437613182962
740093487361219286
740095487265219186
740095487365239286
741318437560028526
741519487562002986
741613487365200285
741615487265230083
741618457263258300
741618497560028529
741619487265200985
741619487360032982
741813457362852006
741813467325826005
741815427625830063
741815497625820069
741819427625800965
741819457600852962
741819467005826925
741915487265290086
741916487003692382
741916487500692582
741918437263298006
742382437560081516
742382437615180065
742562487516130083
742562487536003181
742582437563181006
742582467500386131
742582467513186300
742592487560019186
742592487563009386
742682417165380035
742682437563181500
742682497161380039
742682497560081519
742692487360039181
742692487560039583
742852437653800161
742852467151836003
742852497651810069
742852497653800369
742862417156830053
742862497356830059
742892457161859006
742892457600859161
746008427625318135
746008497613128329
746008497651218259
746009487612132983
746009487625121985
746151487653002382
746181427625380035
746191487600239283
746358437650028121
746358437651218200
746385437615182002
746389437612182900
746389437650082952
746800437653812152
746800497623821319
746800497652812159
746825427635813100
746829427600831913
746829427631813900
746851417652832003
746891417623829300
746891417625829005
746895427625819100
746895427625839003
746900487613192382
746900487635293285
746928427600398131
746928427613198300
746928427615198005
746928427650098151
746958437653298200
748003457368251216
748006427528631513
748006497528621519
748006497538623529
748009427628131963
748009457268251916
748009457618152962
748009467258236953
748121427568300536
748151467258236003
748151467358236200
748151497658200269
748191457268259006
748300437568121526
748359437658002962
748396437008629121
748396437528629500
748500467528326131
748526427538613100
748529427568001916
748529427568300936
748596427528619100
748596427528639003
748600497368231219
748600497568121529
748629427368131900
748691417268239003
748691417368239200
748693457368259200
748900467258296151
748923427368191006
748926427538693500
748953467358296200
748956417158692002
749003487362912186
749008417163928326
749008427625918165
749008437563928526
749008437623928161
749181427625980065
749368437006928121
749368437526928500
749500487562912186
749528427561918006
749568427526918100
749568427526938003
749581417562982006
749600487362932181
749600487561912582
749600487562932583
749628427161938003
749628427365938005
749628427561918500
749681417562982500
749685417165982002
750018157364238246
750018157623428364
750048957461218296
750063857326421814
750064857246231813
750068957246238493
750083457364281216
750086257234683141
750086957141682492
750089257264181946
750089357632482964
750089457264281916
750089457614182962
751218257640038463
751613857364002842
751618457264238003
751618457364238200
751810057463824326
751810057642832463
751813457364820026
751813657342862400
751819257264800946
751819657004862942
751914857640092862
751916857004692842
751918457264298006
752002857364131846
752002857461314836
752002857631413864
752642857460031813
752682957161480094
752682957460084191
752812157364830046
752842957461810096
752842957463800396
752862357436814100
752892457364839006
752892657004869141
752892657141869400
752942857460091816
752962857006491814
752962857416194800
753008357264218146
753181357264280046
753181357640082462
753648357460028121
753648357461218200
753800357641812462
753869357426824900
753968357246298400
756004857641312832
756008457624328131
756008957623428394
756181357632482004
756181457634283200
756181957640082492
756191857600429824
756284257643181300
756289257600481914
756800357634812142
756800457634823121
756800957641812492
756800957642832493
756814157642832003
756890057624829141
756900857614192842
758006257248631413
758006357438624121
758006957348632492
758006957428624191
758141657438263200
758141957468200296
758191657248269400
758200257468314136
758200257638413164
758200257648131463
758246257438613100
758249257468001916
758249257468300936
758294257648009161
758296257348639400
758600957468234293
758613157368420024
758640057468231213
758640057468312132
758940057468291216
758946357438692002
759004857641912862
759004857642932863
759008257264918146
759008457624928161
759161857426924800
759181257264980046
759248257461918006
759268257346938400
759283257364980046
759600857364932842
759683457364982002
780016197483624329
780019147682432963
780019157682452964
780019167284236943
780025627485364131
780026427584631513
780026927485614195
780029427684131963
780029627485364935
780045697485261219
780045967485236293
780046937483612192
780046957482652191
780046957483652392
780061917486234293
780063947386412192
780069247286431913
780069257286451914
780091417684239263
780096257284659141
781215247685430063
781215267385436004
781216257483654300
781216297384630049
781216297584600549
781219237683400964
781219247685400965
781315637485264200
781319437684002962
781510067583426324
781510067584236243
781516497584620029
781519647582462900
781910047683492362
781913467384296200
781915267285496004
781916007584692542
782002567384536141
782002637583461514
782002697584161549
782002967581416594
782342637485161005
782362537486514100
782362937486004191
782362937586400594
782392437684009161
782392637181469004
782562947586400191
782562947586430093
782592637583469004
782592647583469300
782912137683490064
782912147685490065
782942567483596300
782962007486394131
782962007586491514
783005347685412162
783009347681412962
783009357682452964
783009367181426924
783161357486254200
783526327584600141
783561317586420024
783900347682492161
783900367284296141
783925327685490064
783926327485694005
783945367485296200
783961317486294200
784003647385261215
784006947382632191
784006947581612592
784006947582632593
784009547681512962
784009547682532963
784009647181362932
784009647285261915
784161547386532002
784161947286230093
784161947586002592
784191647283269300
784191647285269005
784269247386131900
784295247685009161
784296247181639003
784296247385639005
784296247581619500
784500647582362131
784516147582632003
784560047586231213
784560047586312132
784900547682592161
784900547683592362
784916147582692500
784960047586392532
784963547386592002
786005947685412192
786009457684352932
786121527684530043
786121927683400394
786191007683429324
786191007684239243
786191457684259200
786200257683451314
786295247685419100
786295247685439003
786300537684512142
786300937682412194
786315137685420024
786319137684002942
786915147685492002
786920027683491314
789001617584962542
789003467384926121
789121427684930063
789121627483964300
789121627485964005
789141637483962002
789200267384936141
789200267584936543
789245267485916100
789245267485936003
789261217486934003
789300437684912162
789300637584962542
789345637485962002
789360037486924121
789500467584926121
790016187349632482
790018147569428526
790024827649131863
790026827459634853
790028327639418164
790028527649538463
790046387439612182
790046827429631813
790048627429368131
790053867359426824
790081517649582462
790084267249386131
791218247369438006
791314837649002862
791316837429624800
791318637249268400
791518627529468004
791610087469234283
791618007569428524
791618247269438003
791618257269458004
791810057649852462
791814267249836003
792002587469514186
792002687539463584
792002847369431816
792002857469354836
792002857639453864
792002867359436854
792342837469001816
792352837659400864
792382537469584006
792582367539486004
792612187369430084
792612187569400584
792642587469500181
792642587469530083
792642857469151800
792682007469384131
792682007569481514
792812157469854006
792812167349836400
792842367439816100
793006387429624181
793008327629418164
793008347569428526
793008347629428161
793141387469200286
793181327629480064
793181367249286400
793584367549286200
793648357469258200
793681317469284200
793800357649852462
793824327649800161
793841317469820026
794003847369121826
794006847359632852
794008247269318136
794008547629528161
794008647259268151
794151847659002862
794181247269380036
794258247659008161
794283247369181006
794286247539683500
794500847569121826
794580047569281216
794586347539682002
794600847269231813
794618147269238003
794618147369238200
794680047569382532
794683547369582002
794800347639812162
794813147369820026
794850047659812162
794853647359862002
796001817639423824
796004587649512182
796004857649352832
796008347639428121
796121827659400854
796181007649382432
796181347639482002
796200287639413184
796200287649131483
796258247659418100
796258247659438003
796281217639483004
796281217659480054
796300837629421814
796318137629428004
796384537649582002
796814157649852002
796820027649831413
800131673852462754
800131753864257246
800151467854236273
800151647853462372
800151673854362742
800151736853427624
800151946852432693
800161375836425724
800161793846327429
800161794856247259
800161953846352492
800161975826425794
800171356834752642
800171496834723629
800171962842736493
800191346835429625
800191457864259276
800191473864329726
800191526824539643
800191627823469374
800191672852469754
800239253864151946
800239263851416954
800256294853641319
800257236853471614
800257263854376141
800257296854171649
800259267851416974
800264295846315139
800267293846371419
800267295846375439
800269257836453974
800279234863741916
800279261814736943
800295247865419176
800295274865349736
800296234853649151
800296271814639743
800297236853479654
800317135864275246
800317136852472654
800356437854612172
800356934852642191
800357936852472694
800359632852461914
800359637852462974
800362732856417154
800364537846512172
800369731816427924
800372632845761415
800374936841712692
800379435864725926
800379631814762942
800392532864519146
800394637845269275
800396131845629425
800396437824629171
800397131864279246
800416174835623725
800416174852632753
800419154862352936
800419164825326935
800425724865317136
800426924835613195
800427524863571316
800427924863171396
800429724861317936
800456734853627121
800456794853627329
800456934853612192
800456974851612792
800456974852632793
800461714856237253
800467394836271219
800469524826531913
800471614853762352
800475364835726121
800475964825726191
800479364835726925
800479624825761915
800479634853762952
800491514863529326
800495624825369131
800496374835629725
800615174865342732
800617195864275249
800619135863425924
800619147862432973
800619153864352942
800619157862452974
800625724865347131
800627425864375131
800627925863475394
800629427864131973
800629724865347935
800635743865427121
800635943865412192
800637493864271219
800637943862472191
800639743865427925
800671914863742392
800679151864752942
800691417864239273
800692452864359131
800692572864539743
800695171865429724
800714156847352632
800716195847625429
800719145867425926
800724526847531613
800724625847365131
800724926847131693
800726924837643191
800726925847635493
800729524867541916
800734563847526121
800734693847261219
800736953847652492
800739623827461914
800739643857462952
800752962857416194
800759161857426924
800791316837429624
800792642857469151
800912162845396435
800912162853496354
800914167845296275
800916137843692472
800924726845397635
800925326835491614
800926325834695141
800926427834693171
800931713864297246
800936473854692752
800936723824697141
800951416854392632
800952462854396131
800956171854692742
800961517846592472
800962372836491714
800962742856497151
800964171846392732
800971316834792642
800971416854792652
800972362834796141
800972462854796151
812132573864500746
812132963845006495
812152496854300639
812152637853460074
812152693854360049
812152796854007649
812152936853400694
812162357836450074
812162574836543700
812162594836543009
812162597846500479
812162753846357400
812172364835746005
812172396834700649
812172456834753600
812172496854700659
812172635843765400
812172934863740096
812192453864359006
812192534863549006
812192600845369435
812192600853469354
813126327845600475
813129325864005946
813156374852642700
813156394852642009
813157346852472600
813157362852476004
813162372856400754
813164397846200279
813167325826475004
813169327826400974
813169345826425900
813172352864750046
813174356842752600
813192372864009746
813195346825429600
813196300845629425
813196324825649005
813196352842659400
813197300864279246
813197342862479006
814100647835263275
814100746825327635
814135943865200296
814136743825627005
814136943825620095
814137543862572006
814139643850062952
814139743860027926
814156742852637003
814156942852630093
814157946850072692
814159643852362900
814159647850062972
814167345836275200
814169347836002972
814169743826327900
814170045863725326
814170046835723625
814170046852732653
814172642835763005
814172942863700396
814179642832763900
814190046825329635
814197542862579006
815100695834263249
815100695842362439
815100745863427326
815100965823426394
815127425864370036
815129425864300936
815129725864007946
815160075836423724
815164975846002792
815167005846372432
815167345836472002
815167925826470094
815169005836423924
815169745826427900
815174635843762002
815174695842762009
815179465824726900
815190045863429326
815194635843269200
815196425824639003
815196475824629700
815197005864279246
817100456874352632
817100695874265249
817100946872432693
817100956872452694
817100964875246295
817125926875400694
817126425874635003
817126924875640095
817135643875462002
817136453874652002
817136493874620029
817139643872462900
817162942876430093
817162952876450094
817169004876342932
817169005876425924
817190036873429624
817190046875429625
817192632873469004
817192642873469300
817192642875469005
817195006875429624
819100356834952642
819100475864925726
819100637843962472
819100726824937643
819124625843965300
819124627845960075
819125724865947006
819127425864975006
819127426834973600
819130063845926425
819134673842962700
819152462854936003
819157006854972642
819160057846952472
819160074856942752
819162752846957400
820024673845361715
820024697843161379
820024796841317639
820024963845316195
820025367835416174
820025647835463171
820025693845361419
820025697845161479
820025974865141796
820026374835641715
820026395834615149
820026457834653171
820026497834613179
820026734853647151
820026794853647359
820026974835643795
820027161845376435
820027161853476354
820027346835471615
820027396834171649
820027463854376151
820027496854171659
820027596834573649
820027945863475396
820027946835473695
820027961813476394
820027963845376495
820029367831416974
820029453864351916
820029457864151976
820029467814136973
820029534863541916
820029561814536943
820029647835463975
820029753864357946
823121367845006475
823121375864005746
823425374865001716
823426394851610059
823427364815176005
823427364850076151
823429354860051916
823625347865400171
823625374865141700
823625394865141009
823629345861415900
823629347865400975
823721316857400654
823724356847151600
823724396847001619
823726394857640059
823729364817146900
823924367840096171
823925347865490076
823925361815496004
823926300845691415
824121547863500376
824121746850037653
824121945863005396
824121946835003695
824625743865317100
824625943865300191
824627141865370035
824627943865370095
824627945860075191
824629141865300935
824629743861317900
824720045867315136
824720046857131653
824726141857630053
824726345837615100
824726941817630093
824729141867300936
824729645817165900
824920047863191376
824925141865390036
824925346835191600
824925743865397006
824925746815197600
824926141835693005
824926347835690075
824926741813697300
824926741815697005
825121475864300736
825121945863400396
825121965840036493
825326735841617400
825327435864171006
825329435864001916
825329635800461914
825329735864007946
825620075864131743
825621915863400394
825627005863471314
825627495864171009
825627495864370039
825627935863470094
825629005864131943
825629745861417900
825721615837463004
825724695847161009
825724695847360039
825724965847006191
825726005847631413
825729645837463900
825920045863491316
825920075864191746
825921415864390036
825926005834693141
825926475834693700
825926735843697400
827121496874300639
827121564873546300
827121596874500649
827121635873465004
827121645873465300
827121693874360049
827121936873400694
827121946875400695
827325936875400694
827326435874615100
827326934875640095
827420064875316135
827421614875360035
827425694875161009
827425694875360039
827425964875006191
827426934873600191
827429564871516900
827429634873161900
827920036873491614
827920046875491615
827920063874396141
827925006875491614
827925161875496004
827926005874695141
829121364835946005
829121456834953600
829121457864950076
829121635843965400
829121734863947006
829320035864915146
829324637845960075
829324736841917600
829325734865947006
829327131864970046
829327435864975006
829420054863951316
829421614835963005
829425364835916100
829425674835963700
829427004863971316
829427364835976005
829620074865941715
829620075864935743
829621415864935003
829621417864930073
829621714863947300
829621714865947005
829627005864975141
829720064857946151
829721615847965400
829724006847931613
829724161847936003
830023627845161475
830023726851417654
830053496854121629
830053647852462171
830053672852461714
830053946851412692
830053962852416194
830063794856247259
830063925826415194
830063945826425191
830063974816142792
830063975826425794
830073161845726425
830073496824721619
830073625824765141
830073692842761419
830093151864259246
830093457864259276
830093642852469151
830093672852469754
831213267845006475
831213275864005746
831413674850062752
831413974862002796
831613497864200279
831613574862542700
831613594862542009
831613752862457004
831613952862450094
831613972862400794
831613974860042792
831713625827465004
831713926827400694
831913005864295246
831913006852492654
831913562842596400
831913700864297246
831913742862497006
834003547862512176
834003746815127625
834003945861215296
834003946825121695
834273245861715006
834293247860019176
834613147865200275
834673141865720025
834673942862700191
834693542862519100
834713146857002652
834753946857002692
834793546827529600
834793641817269200
834913146850092652
834963541816592002
834963741816297200
834973141862792006
835003475864121726
835003675814162742
835003945862412196
835263295846001419
835273265841716400
835293245861419006
835293275864009746
835613175864002742
835613195864200249
835623725861417004
835623725864007141
835623925861410094
835673005864712142
835673495864720029
835713145867420026
835713165827426004
835723625847161400
835793625827469004
835913145862492006
835923425864191006
835963725826497004
837003496874121629
837003695874265249
837003946871412692
837003956872452694
837003962872416194
837003964875246295
837263245876415100
837263294876141009
837293246871419600
837423624875161005
837463594876520029
837913146872492600
837913162872496004
837923426874191600
837963141876492002
839003161845926425
839003467824926171
839003475864925726
839003625824965141
839003671814962742
839413154862952006
839413164825926005
839423724861917006
839453674852962700
839463004856912152
839463724826917100
839613174862942700
839623425864915100
839623427864900171
839623724865947005
839723625847965400
840026427835613175
840029425861315936
840035473865121726
840036473825621715
840036473851612752
840036493852612159
840039463815126925
840056437853612172
840056472852631713
840056497852612179
840057462852376131
840057496852372639
840062472856131753
840067425826375131
840069427826131973
840069451816352932
840069457816152972
840071415863725326
840071416835723625
840071416852732653
840072452863751316
840075426825731613
840075496825721619
840075496835723629
840079435863725926
840079452862751916
840079461815726925
840079462852736953
840091416825329635
840092472861319736
840095473865329726
840096427825619175
840096437823629171
840096471815629725
840096472852639753
840097426825379635
841315437865200276
841316437825620075
841317436850072652
841319435860025926
841319437862002976
841612472865300735
841615493865320029
841615497865200279
841617435863275200
841617492862370039
841617493862372009
841619437863002972
841619453862352900
841619457860052972
841712452867350036
841716425827635003
841716495827625009
841719463827326900
841916400853692352
841916425823695300
841916427825690075
841916472832693700
842002457863151376
842002475861315736
842372435861715006
842392437860019176
842632473865001715
842672435863715100
842672495861715009
842692400865319135
842692437863009171
842692457860059171
842692473861319700
842732453867151006
842732463857006151
842752463857316100
842752496857001619
842752496857300639
842792400867319136
842792453867359006
842792456817159600
842932463815196005
842932463850096151
842932473860091716
842952436853191600
842952467850096171
842962475816195700
842972400863791316
842972435863795006
842972461813796300
842972461815796005
845006495823621319
845007435863271216
845009435863121926
845161495826320039
845171435863720026
845171465823726300
845191475860029726
845367435816172002
845369435826121900
845396435800629121
845600475861312732
845600495862312139
845600495863121329
845627425863171300
845629425860031913
845671415862732003
845697435863279200
845700465827326131
845726425837613100
845729425867001916
845729425867300936
845796425827619100
845796425827639003
845900435863291216
845900475862392736
845961415836293200
845971415862792006
847002462875316135
847005463875326121
847005496875121629
847006435873625121
847006495873625329
847009463875326925
847121426875300635
847161453876352002
847161493876320029
847300436875121625
847396432872619100
847900462872396131
847925426875191600
847926425873695300
847935463875296200
847961413876392002
847961415876295200
849001415863925326
849001416835923625
849001416852932653
849002452863951316
849005426825931613
849005467825926171
849007426825971615
849007436853972652
849007462852976151
849121427863900376
849131453862952006
849131463825926005
849151462852936003
849161425826935003
849161427826930073
849161475826925700
849300436825921615
849300436851912652
849300437862912176
849357436852972600
849362432856900151
849367431816972002
849600435863925121
849600437863912172
849600457862952171
849600457863952372
849600472862931713
849625427865900171
849625427865930073
849627425863975300
849631413865920025
849700426827931613
849731413867920026
849752462857916100
849752462857936003
850016157842632473
850019154862342936
850036753824627141
850036953841612492
850037453864271216
850039453864121926
850039653814162942
850062952836413194
850062952846131493
850064753846327121
850064953846312192
850067151846372432
850067953846372492
850069151836423924
850069751816427924
850072652834763141
850074956841712692
850074956842732693
850079651814762942
850092452864319136
850094652842369131
850096457824629171
850097151864279246
851217253864370046
851219253864300946
851416754823627300
851419654800362932
851419754860027926
851612952863400394
851617453864372002
851617952862470094
851619457864002972
851710056837423624
851712652837463004
851714653847362002
851714956847002692