SyncTeX Version:1
Input:1:C:/drorbn\AcademicPensieve\2015-08\Bott\OnOnInvariants.tex
Input:2:C:\Program Files\MiKTeX 2.9\tex\latex\amscls\amsart.cls
Input:3:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amsmath.sty
Input:4:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amstext.sty
Input:5:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amsgen.sty
Input:6:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amsbsy.sty
Input:7:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amsopn.sty
Input:8:C:\Program Files\MiKTeX 2.9\tex\latex\amsfonts\umsa.fd
Input:9:C:\Program Files\MiKTeX 2.9\tex\latex\amsfonts\amsfonts.sty
Input:10:C:\Program Files\MiKTeX 2.9\tex\latex\preprint\fullpage.sty
Input:11:C:\Program Files\MiKTeX 2.9\tex\latex\graphics\graphicx.sty
Input:12:C:\Program Files\MiKTeX 2.9\tex\latex\graphics\keyval.sty
Input:13:C:\Program Files\MiKTeX 2.9\tex\latex\graphics\graphics.sty
Input:14:C:\Program Files\MiKTeX 2.9\tex\latex\graphics\trig.sty
Input:15:C:\Program Files\MiKTeX 2.9\tex\latex\00miktex\graphics.cfg
Input:16:C:\Program Files\MiKTeX 2.9\tex\latex\pdftex-def\pdftex.def
Input:17:C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\infwarerr.sty
Input:18:C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\ltxcmds.sty
Input:19:C:\Program Files\MiKTeX 2.9\tex\latex\amsfonts\amssymb.sty
Input:20:C:\Program Files\MiKTeX 2.9\tex\latex\picins\picins.sty
Input:21:C:\Program Files\MiKTeX 2.9\tex\latex\tools\multicol.sty
Input:22:C:\Program Files\MiKTeX 2.9\tex\latex\mathtools\mathtools.sty
Input:23:C:\Program Files\MiKTeX 2.9\tex\latex\tools\calc.sty
Input:24:C:\Program Files\MiKTeX 2.9\tex\latex\mathtools\mhsetup.sty
Input:25:C:\Program Files\MiKTeX 2.9\tex\latex\stmaryrd\stmaryrd.sty
Input:26:C:\Program Files\MiKTeX 2.9\tex\latex\xcolor\xcolor.sty
Input:27:C:\Program Files\MiKTeX 2.9\tex\latex\00miktex\color.cfg
Input:28:C:\Program Files\MiKTeX 2.9\tex\latex\enumitem\enumitem.sty
Input:29:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xy.sty
Input:30:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xy.tex
Input:31:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xyrecat.tex
Input:32:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xyidioms.tex
Input:33:C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\ifpdf.sty
Input:34:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xyall.tex
Input:35:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xycurve.tex
Input:36:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xyframe.tex
Input:37:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xycmtip.tex
Input:38:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xytips.tex
Input:39:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xyline.tex
Input:40:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xyrotate.tex
Input:41:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xycolor.tex
Input:42:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xymatrix.tex
Input:43:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xyarrow.tex
Input:44:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xygraph.tex
Input:45:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xypdf.tex
Input:46:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xypdf-co.tex
Input:47:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xypdf-cu.tex
Input:48:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xypdf-fr.tex
Input:49:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xypdf-li.tex
Input:50:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xypdf-ro.tex
Input:51:C:\Program Files\MiKTeX 2.9\tex\latex\hyperref\hyperref.sty
Input:52:C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\hobsub-hyperref.sty
Input:53:C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\hobsub-generic.sty
Input:54:C:\Program Files\MiKTeX 2.9\tex\generic\ifxetex\ifxetex.sty
Input:55:C:\Program Files\MiKTeX 2.9\tex\latex\oberdiek\auxhook.sty
Input:56:C:\Program Files\MiKTeX 2.9\tex\latex\oberdiek\kvoptions.sty
Input:57:C:\Program Files\MiKTeX 2.9\tex\latex\hyperref\pd1enc.def
Input:58:C:\Program Files\MiKTeX 2.9\tex\latex\00miktex\hyperref.cfg
Input:59:C:\Program Files\MiKTeX 2.9\tex\latex\url\url.sty
Input:60:C:\Program Files\MiKTeX 2.9\tex\latex\hyperref\hpdftex.def
Input:61:C:\Program Files\MiKTeX 2.9\tex\latex\oberdiek\rerunfilecheck.sty
Input:62:C:\drorbn\AcademicPensieve\2015-08\Bott\OnOnInvariants.aux
Input:63:C:\Program Files\MiKTeX 2.9\tex\latex\amsfonts\umsa.fd
Input:64:C:\Program Files\MiKTeX 2.9\tex\latex\amsfonts\umsb.fd
Input:65:C:\Program Files\MiKTeX 2.9\tex\latex\stmaryrd\ustmry.fd
Input:66:C:\Program Files\MiKTeX 2.9\tex\context\base\supp-pdf.mkii
Input:67:C:\Program Files\MiKTeX 2.9\tex\latex\hyperref\nameref.sty
Input:68:C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\gettitlestring.sty
Input:69:C:\drorbn\AcademicPensieve\2015-08\Bott\OnOnInvariants.out
Input:70:C:\drorbn\AcademicPensieve\2015-08\Bott\OnOnInvariants.out
Output:pdf
Magnification:1000
Unit:1
X Offset:0
Y Offset:0
Content:
!4811
{1
[1,59:4736286,47362867:30785865,42626581,0
h1,59:4736286,4736286:0,0,0
[1,59:4736286,4736286:0,0,0
(1,59:4736286,4670505:0,0,0
k1,59:4736286,4670505:65781
)
]
[1,59:4736286,47362867:30785865,42626581,0
[1,59:4736286,47362867:30785865,42626581,0
[1,59:4736286,4736286:30785865,0,0
(1,59:4736286,4736286:30785865,0,0
(1,59:4736286,4736286:30785865,0,0
k1,59:35522150,4736286:30785864
)
)
]
[1,59:4736286,46576435:30785865,41840149,0
(1,41:4736286,7488798:30785865,546132,0
k1,41:8010427,7488798:3274141
(1,41:8010427,7488798:0,0,0
g1,41:8010427,7488798
g1,41:8010427,7488798
g1,41:7682747,7488798
(1,41:7682747,7488798:0,0,0
)
g1,41:8010427,7488798
)
x1,41:9366658,7488798
g1,41:9750044,7488798
x1,41:11078059,7488798
x1,41:12929451,7488798
g1,41:13312837,7488798
x1,41:16574160,7488798
g1,41:16957546,7488798
x1,41:18770709,7488798
g1,41:19154095,7488798
x1,41:20843469,7488798
x1,41:24869383,7488798
g1,41:25252769,7488798
x1,41:26473376,7488798
g1,41:26856762,7488798
x1,41:29941508,7488798
x1,41:31791079,7488798
x1,41:32248011,7488798
g1,41:32248011,7488798
k1,41:35522151,7488798:3274140
)
(1,41:4736286,9454878:30785865,447828,0
k1,41:17048112,9454878:12311826
(1,41:17048112,9454878:0,0,0
g1,41:17048112,9454878
g1,41:17048112,9454878
g1,41:16720432,9454878
(1,41:16720432,9454878:0,0,0
)
g1,41:17048112,9454878
)
x1,41:18031153,9454878
x1,41:19005092,9454878
g1,41:19223545,9454878
x1,41:20880152,9454878
x1,41:21863194,9454878
x1,41:22281896,9454878
x1,41:23210324,9454878
g1,41:23210324,9454878
k1,41:35522150,9454878:12311826
)
(1,59:4736286,44593320:30785865,34903167,196608
[1,59:4736286,44593320:15065252,34903167,139537
(1,45:4736286,12442665:15065252,546132,152916
h1,44:4736286,12442665:786432,0,0
x1,44:6656115,12442665
k1,44:6887018,12442665:230903
x1,44:7999298,12442665
k1,44:8230201,12442665:230903
x1,44:9603439,12442665
k1,44:9834342,12442665:230903
x1,44:10647162,12442665
x1,44:11181912,12442665
k1,44:11412815,12442665:230903
x1,44:12097295,12442665
k1,44:12328199,12442665:230904
x1,44:12542099,12442665
x1,44:12969899,12442665
x1,44:13547429,12442665
x1,44:13932449,12442665
x1,44:15493919,12442665
k1,44:15724822,12442665:230903
x1,44:16109842,12442665
k1,44:16340745,12442665:230903
x1,44:16982445,12442665
x1,44:18501135,12442665
k1,44:18732038,12442665:230903
x1,44:19544858,12442665
x1,44:19801538,12442665
k1,45:19801538,12442665:0
)
(1,45:4736286,13360169:15065252,589824,196608
x1,45:5164086,13360169
x1,45:5827176,13360169
k1,44:6142843,13360169:315667
x1,44:6356743,13360169
(1,44:6356743,13360169:545309,537395,0
x1,44:6902052,13360169
)
x1,44:7329852,13360169
k1,44:7849053,13360169:519201
x1,44:8661873,13360169
k1,44:8977540,13360169:315667
x1,44:11030980,13360169
k1,44:11346647,13360169:315667
x1,44:12886727,13360169
k1,44:13202394,13360169:315667
x1,44:14571354,13360169
x1,44:15983094,13360169
x1,44:16261164,13360169
x1,44:17287884,13360169
k1,44:17603551,13360169:315667
x1,44:18416371,13360169
k1,44:18732038,13360169:315667
x1,44:19801538,13360169
k1,44:19801538,13360169:0
)
(1,45:4736286,14277673:15065252,546132,152916
x1,45:5549106,14277673
x1,45:5976906,14277673
x1,45:6639996,14277673
k1,44:6855343,14277673:215347
x1,44:7544101,14277673
k1,44:7759447,14277673:215346
x1,44:9898447,14277673
k1,44:10122061,14277673:223614
x1,44:10399858,14277673
k1,44:10615163,14277673:215305
x1,44:11813003,14277673
k1,44:12028350,14277673:215347
x1,44:13183410,14277673
x1,44:13867890,14277673
x1,44:14295690,14277673
x1,44:15899940,14277673
k1,44:16115287,14277673:215347
x1,44:16928107,14277673
k1,44:17143453,14277673:215346
x1,44:17785153,14277673
x1,44:18170173,14277673
k1,44:18385520,14277673:215347
x1,44:19117058,14277673
x1,44:19801538,14277673
k1,45:19801538,14277673:0
)
(1,45:4736286,15195177:15065252,546132,152916
x1,45:5656056,15195177
x1,45:6575826,15195177
x1,45:6896676,15195177
k1,44:7148310,15195177:251634
x1,44:8667000,15195177
k1,44:8918634,15195177:251634
x1,44:9538944,15195177
k1,44:9790579,15195177:251635
x1,44:11056867,15195177
k1,44:11308501,15195177:251634
x1,44:12463561,15195177
k1,44:12715195,15195177:251634
x1,44:14212495,15195177
x1,44:16137595,15195177
k1,44:16389229,15195177:251634
x1,44:17159269,15195177
k1,44:17410904,15195177:251635
x1,44:17795924,15195177
k1,44:18047558,15195177:251634
x1,44:19544858,15195177
x1,44:19801538,15195177
k1,45:19801538,15195177:0
)
(1,45:4736286,16112681:15065252,546132,152916
x1,45:6661386,16112681
k1,44:6989402,16112681:328016
x1,44:8529482,16112681
x1,44:8935892,16112681
k1,44:9263908,16112681:328016
x1,44:9541705,16112681
k1,44:9869649,16112681:327944
x1,44:11645019,16112681
k1,44:11973035,16112681:328016
x1,44:12250832,16112681
k1,44:12578776,16112681:327944
x1,44:13220476,16112681
x1,44:14076076,16112681
x1,44:15958396,16112681
k1,44:16286412,16112681:328016
x1,44:17527032,16112681
k1,44:17855048,16112681:328016
x1,44:19395128,16112681
x1,44:19801538,16112681
k1,44:19801538,16112681:0
)
(1,45:4736286,17030185:15065252,546132,152916
x1,45:6704166,17030185
k1,44:6907916,17030185:203750
x1,44:7763516,17030185
k1,44:7967266,17030185:203750
x1,44:8608966,17030185
x1,44:9464566,17030185
x1,44:10576846,17030185
x1,44:11603566,17030185
k1,44:11807316,17030185:203750
x1,44:12791256,17030185
k1,44:12995007,17030185:203751
x1,44:13401417,17030185
x1,44:14428137,17030185
k1,44:14631887,17030185:203750
x1,44:16792277,17030185
x1,44:16942007,17030185
k1,44:17266603,17030185:324596
x1,44:17843860,17030185
k1,44:18047558,17030185:203698
x1,44:19544858,17030185
x1,44:19801538,17030185
k1,45:19801538,17030185:0
)
(1,45:4736286,17947689:15065252,546132,152916
x1,45:6661386,17947689
k1,44:7069361,17947689:407975
x1,44:7347158,17947689
k1,44:7754982,17947689:407824
x1,44:8781702,17947689
k1,44:9189677,17947689:407975
x1,44:10562915,17947689
k1,44:10970890,17947689:407975
x1,44:12949329,17947689
k1,44:13357305,17947689:407976
x1,44:13913445,17947689
x1,44:14580813,17947689
k1,44:14988788,17947689:407975
x1,44:15844388,17947689
x1,44:17213348,17947689
x1,44:18432578,17947689
x1,44:19801538,17947689
k1,44:19801538,17947689:0
)
(1,45:4736286,18865193:15065252,546132,152916
x1,45:6105246,18865193
x1,45:7345866,18865193
k1,44:7739416,18865193:393550
x1,44:8659186,18865193
k1,44:9025361,18865193:366175
x1,44:9709841,18865193
k1,44:10076017,18865193:366176
x1,44:11145517,18865193
k1,44:11511693,18865193:366176
x1,44:13008993,18865193
k1,44:13375169,18865193:366176
x1,44:14145209,18865193
k1,44:14511384,18865193:366175
x1,44:15067524,18865193
x1,44:15734892,18865193
k1,44:16101068,18865193:366176
x1,44:16956668,18865193
x1,44:18325628,18865193
x1,44:19544858,18865193
x1,44:19801538,18865193
k1,45:19801538,18865193:0
)
(1,45:4736286,19782697:15065252,546132,152916
x1,45:6105246,19782697
k1,44:6432915,19782697:327669
x1,44:7930215,19782697
k1,44:8257885,19782697:327670
x1,44:9203323,19782697
k1,44:9530992,19782697:327669
x1,44:10386592,19782697
x1,44:11456092,19782697
x1,44:13299910,19782697
x1,44:14326630,19782697
k1,44:14654299,19782697:327669
x1,44:15274609,19782697
k1,44:15602279,19782697:327670
x1,44:16671779,19782697
k1,44:16999448,19782697:327669
x1,44:17855048,19782697
x1,44:18924548,19782697
x1,44:19544858,19782697
x1,44:19801538,19782697
k1,45:19801538,19782697:0
)
(1,45:4736286,20700201:15065252,546132,152916
x1,45:5763006,20700201
k1,44:6175323,20700201:412317
x1,44:7929303,20700201
x1,44:8271543,20700201
x1,44:9597723,20700201
x1,44:10457601,20700201
k1,44:10869917,20700201:412316
x1,44:11558675,20700201
k1,44:11970992,20700201:412317
x1,44:12248789,20700201
k1,44:12660949,20700201:412160
x1,44:13473769,20700201
x1,44:13858789,20700201
x1,44:14179639,20700201
k1,44:14591955,20700201:412316
x1,44:15340605,20700201
x1,44:17779065,20700201
k1,44:18191382,20700201:412317
x1,44:18704742,20700201
k1,44:19117058,20700201:412316
x1,44:19801538,20700201
k1,44:19801538,20700201:0
)
(1,45:4736286,21617705:15065252,589824,196608
x1,45:6019686,21617705
k1,44:6357762,21617705:338076
x1,44:6571662,21617705
(1,44:6571662,21617705:1122566,537395,0
x1,44:7694228,21617705
)
x1,44:7908128,21617705
k1,44:8246204,21617705:338076
x1,44:9016244,21617705
k1,44:9354320,21617705:338076
x1,44:10209920,21617705
x1,44:11578880,21617705
x1,44:12798110,21617705
x1,44:14167070,21617705
k1,44:14505146,21617705:338076
x1,44:16900826,21617705
k1,44:17238902,21617705:338076
x1,44:17923382,21617705
k1,44:18261458,21617705:338076
x1,44:19801538,21617705
k1,44:19801538,21617705:0
)
(1,45:4736286,22535209:15065252,589824,196608
x1,45:7089186,22535209
k1,44:7377640,22535209:288454
x1,44:9174400,22535209
k1,44:9462855,22535209:288455
x1,44:10018995,22535209
x1,44:11195445,22535209
x1,44:12162273,22535209
k1,44:12450727,22535209:288454
x1,44:13695625,22535209
k1,44:13984079,22535209:288454
x1,44:14925239,22535209
k1,44:15213694,22535209:288455
x1,44:15834004,22535209
k1,44:16122458,22535209:288454
x1,44:17876438,22535209
x1,44:18218678,22535209
x1,44:19544858,22535209
x1,44:19801538,22535209
k1,45:19801538,22535209:0
)
(1,45:4736286,23452713:15065252,589824,196608
x1,45:5596164,23452713
k1,44:5812859,23452713:216695
x1,44:6454559,23452713
k1,44:6671254,23452713:216695
x1,44:7616692,23452713
k1,44:7833387,23452713:216695
x1,44:8218407,23452713
x1,44:9180957,23452713
k1,44:9397652,23452713:216695
x1,44:10424372,23452713
x1,44:12349472,23452713
k1,44:12566167,23452713:216695
x1,44:12780067,23452713
(1,44:12780067,23452713:1101449,537395,0
x1,44:13881516,23452713
)
x1,44:14309316,23452713
k1,44:14534008,23452713:224692
x1,44:15967138,23452713
x1,44:16993858,23452713
k1,44:17210553,23452713:216695
x1,44:17852253,23452713
x1,44:18237273,23452713
k1,44:18453968,23452713:216695
x1,44:18838988,23452713
x1,44:19801538,23452713
k1,44:19801538,23452713:0
)
(1,45:4736286,24370217:15065252,546132,152916
x1,45:5292426,24370217
x1,44:6361926,24370217
g1,44:6618606,24370217
x1,44:7987566,24370217
x1,44:10233516,24370217
g1,44:10490196,24370217
x1,44:11303016,24370217
x1,44:11991774,24370217
x1,44:13403514,24370217
k1,45:19801538,24370217:6398024
g1,45:19801538,24370217
)
(1,47:4736286,25287721:15065252,546132,0
h1,46:4736286,25287721:786432,0,0
x1,46:7501157,25287721
k1,46:7959805,25287721:458648
x1,46:9850681,25287721
k1,46:10309328,25287721:458647
x1,46:11806628,25287721
k1,46:12265276,25287721:458648
x1,46:12650296,25287721
k1,46:13108943,25287721:458647
x1,46:13536743,25287721
x1,46:14713193,25287721
x1,46:15226553,25287721
x1,46:16103543,25287721
k1,46:16562191,25287721:458648
x1,46:17203891,25287721
x1,46:18722581,25287721
k1,46:19181228,25287721:458647
x1,46:19801538,25287721
k1,46:19801538,25287721:0
)
(1,47:4736286,26205225:15065252,546132,152916
x1,47:5805786,26205225
k1,46:5988871,26205225:183085
x1,46:6940590,26205225
x1,46:7796190,26205225
k1,46:7979274,26205225:183084
x1,46:8321514,26205225
x1,46:9412404,26205225
x1,46:10139664,26205225
x1,46:11080824,26205225
x1,46:11598462,26205225
x1,46:12667962,26205225
k1,46:12865766,26205225:197804
x1,46:13389685,26205225
x1,46:13753315,26205225
x1,46:14181115,26205225
x1,46:15165055,26205225
x1,46:15528685,26205225
x1,46:16555405,26205225
k1,46:16738490,26205225:183085
x1,46:17166290,26205225
x1,46:17572700,26205225
x1,46:18214400,26205225
x1,46:18620810,26205225
x1,46:19801538,26205225
k1,46:19801538,26205225:0
)
(1,47:4736286,27122729:15065252,546132,152916
x1,47:5976906,27122729
k1,46:6282834,27122729:305928
x1,46:7352334,27122729
k1,46:7658263,27122729:305929
x1,46:8299963,27122729
x1,46:9929881,27122729
k1,46:10235809,27122729:305928
x1,46:10856119,27122729
k1,46:11162048,27122729:305929
x1,46:11718188,27122729
x1,46:12573788,27122729
x1,46:13429388,27122729
k1,46:13735316,27122729:305928
x1,46:14120336,27122729
x1,46:14548136,27122729
x1,46:15211226,27122729
x1,46:15596246,27122729
x1,46:17097824,27122729
k1,46:17587809,27122729:489985
x1,46:18111728,27122729
x1,46:18518138,27122729
x1,46:19544858,27122729
x1,46:19801538,27122729
k1,47:19801538,27122729:0
)
(1,47:4736286,28040233:15065252,546132,152916
x1,47:6490266,28040233
k1,46:6815696,28040233:325430
x1,46:7333334,28040233
k1,46:7658764,28040233:325430
x1,46:8347522,28040233
k1,46:8672951,28040233:325429
x1,46:10003409,28040233
x1,46:11137079,28040233
k1,46:11462509,28040233:325430
x1,46:12703129,28040233
k1,46:13028559,28040233:325430
x1,46:13841379,28040233
x1,46:14376129,28040233
x1,46:15402849,28040233
k1,46:15728279,28040233:325430
x1,46:16883339,28040233
k1,46:17208768,28040233:325429
x1,46:18235488,28040233
x1,46:18620508,28040233
k1,46:18945938,28040233:325430
x1,46:19544858,28040233
x1,46:19801538,28040233
k1,47:19801538,28040233:0
)
(1,47:4736286,28957737:15065252,546132,152916
x1,47:6366204,28957737
k1,46:6668469,28957737:302265
x1,46:7827807,28957737
x1,46:8918697,28957737
x1,46:9239547,28957737
k1,46:9541811,28957737:302264
x1,46:11599529,28957737
k1,46:11901794,28957737:302265
x1,46:12586274,28957737
k1,46:12888539,28957737:302265
x1,46:13316339,28957737
x1,46:13679969,28957737
k1,46:13982233,28957737:302264
x1,46:15201463,28957737
x1,46:16228183,28957737
k1,46:16707177,28957737:478994
x1,46:18675057,28957737
k1,46:18988718,28957737:313661
x1,46:19801538,28957737
k1,46:19801538,28957737:0
)
(1,47:4736286,29875241:15065252,546132,152916
x1,47:6276366,29875241
k1,46:6571230,29875241:294864
x1,46:7555170,29875241
k1,46:7859580,29875241:304410
x1,46:9874518,29875241
k1,46:10169383,29875241:294865
x1,46:11238883,29875241
k1,46:11533747,29875241:294864
x1,46:13031047,29875241
x1,46:14956147,29875241
k1,46:15251011,29875241:294864
x1,46:15528808,29875241
k1,46:15823634,29875241:294826
x1,46:17325212,29875241
k1,46:17620076,29875241:294864
x1,46:18304556,29875241
k1,46:18599420,29875241:294864
x1,46:19544858,29875241
x1,46:19801538,29875241
k1,47:19801538,29875241:0
)
(1,47:4736286,30792745:15065252,338603,0
x1,47:6327702,30792745
k1,47:19801538,30792745:13473836
g1,47:19801538,30792745
)
(1,50:6157186,32665768:12223452,498346,139537
(1,48:6157186,32665768:0,0,0
g1,48:6157186,32665768
g1,48:4001794,32665768
g1,48:3674114,32665768
(1,48:3674114,32665768:2155392,0,0
k1,48:5829506,32665768:2155392
)
g1,48:6157186,32665768
)
x1,48:6356525,32665768
k1,49:6157186,32665768:119603
x1,49:6675467,32665768
x1,49:6994409,32665768
x1,49:7771830,32665768
k1,49:8140605,32665768:368775
x1,49:8778490,32665768
x1,49:10652277,32665768
x1,49:11609104,32665768
k1,49:11977879,32665768:368775
x1,49:12615764,32665768
k1,49:12984539,32665768:368775
x1,49:14603172,32665768
k1,49:14971946,32665768:368774
x1,49:16008509,32665768
k1,49:16377284,32665768:368775
x1,49:17373979,32665768
k1,49:17742754,32665768:368775
x1,49:18141432,32665768
x1,49:18380638,32665768
k1,50:18380638,32665768:0
)
(1,50:6157186,33583272:12223452,498346,139537
x1,50:7353220,33583272
k1,49:7690499,33583272:337279
x1,49:8288516,33583272
x1,49:9604153,33583272
x1,49:11402190,33583272
k1,49:11739469,33583272:337279
x1,49:12778025,33583272
x1,49:14374730,33583272
k1,49:14712009,33583272:337279
x1,49:15310026,33583272
k1,49:15647305,33583272:337279
x1,49:16807458,33583272
k1,49:17144737,33583272:337279
x1,49:17742754,33583272
x1,49:18141432,33583272
x1,49:18380638,33583272
k1,50:18380638,33583272:0
)
(1,50:6157186,34500776:12223452,498346,139537
x1,50:7353220,34500776
k1,49:7672160,34500776:318940
x1,49:8270177,34500776
x1,49:9585814,34500776
x1,49:11383851,34500776
k1,49:11702791,34500776:318940
x1,49:12380543,34500776
x1,49:12779221,34500776
x1,49:14214462,34500776
k1,49:14553334,34500776:338872
x1,49:15629764,34500776
k1,49:15948704,34500776:318940
x1,49:16666324,34500776
x1,49:17742754,34500776
x1,49:18380638,34500776
k1,50:18380638,34500776:0
)
(1,50:6157186,35418280:12223452,498346,0
x1,50:7319332,35418280
k1,49:7585591,35418280:266259
x1,49:8343079,35418280
k1,49:8609337,35418280:266258
x1,49:9606032,35418280
k1,49:9872291,35418280:266259
x1,49:11269657,35418280
k1,49:11535915,35418280:266258
x1,49:12492742,35418280
x1,49:12831618,35418280
x1,49:13473489,35418280
k1,49:13739748,35418280:266259
x1,49:15174988,35418280
x1,49:15553731,35418280
k1,49:15819989,35418280:266258
x1,49:16178799,35418280
x1,49:16537609,35418280
x1,49:17117684,35418280
k1,49:17383943,35418280:266259
x1,49:18380638,35418280
k1,49:18380638,35418280:0
)
(1,50:6157186,36335784:12223452,498346,139537
x1,50:6535931,36335784
x1,49:7757877,36335784
k1,49:7974822,36335784:216945
x1,49:8971517,36335784
k1,49:9188463,36335784:216946
x1,49:10504100,36335784
k1,49:10721045,36335784:216945
x1,49:11717740,36335784
x1,49:12076550,36335784
x1,49:13402154,36335784
k1,49:13619100,36335784:216946
x1,49:14376588,36335784
x1,49:14735398,36335784
x1,49:15034405,36335784
k1,49:15251350,36335784:216945
x1,49:17525807,36335784
k1,49:17742753,36335784:216946
x1,49:18380638,36335784
k1,49:18380638,36335784:0
)
(1,50:6157186,37253288:12223452,498346,111084
x1,50:6515996,37253288
x1,50:6874806,37253288
x1,50:7454881,37253288
x1,50:9248931,37253288
k1,49:9886883,37253288:637952
x1,49:10544701,37253288
x1,49:11979941,37253288
k1,49:12325485,37253288:345544
x1,49:13322180,37253288
k1,49:13667723,37253288:345543
x1,49:14807941,37253288
x1,49:16047829,37253288
k1,49:16393372,37253288:345543
x1,49:16971455,37253288
k1,49:17316998,37253288:345543
$1,49:17316998,37253288
x1,49:17757038,37253288
(1,49:17757038,37364372:623600,358263,0
x1,49:18292028,37364372
)
$1,49:18380638,37253288
k1,50:18380638,37253288:0
)
(1,50:6157186,38170792:12223452,498346,139537
x1,50:6795071,38170792
k1,49:7165578,38170792:370507
$1,49:7165578,38170792
x1,49:7597979,38170792
$1,49:7597979,38170792
k1,49:7968487,38170792:370508
x1,49:9609047,38170792
k1,49:9979554,38170792:370507
x1,49:11016117,38170792
k1,49:11386624,38170792:370507
x1,49:12024509,38170792
k1,49:12395016,38170792:370507
x1,49:12793694,38170792
x1,49:13132570,38170792
k1,49:13503078,38170792:370508
x1,49:14220698,38170792
x1,49:15297128,38170792
x1,49:15897138,38170792
x1,49:16853965,38170792
k1,49:17224472,38170792:370507
x1,49:18380638,38170792
k1,49:18380638,38170792:0
)
(1,50:6157186,39088296:12223452,498346,139537
x1,50:7153881,39088296
k1,49:7511892,39088296:358011
x1,49:7980339,39088296
x1,49:9694653,39088296
k1,49:10052664,39088296:358011
x1,49:10541044,39088296
x1,49:11278597,39088296
x1,49:11876614,39088296
k1,49:12234625,39088296:358011
x1,49:12914371,39088296
x1,49:13273181,39088296
x1,49:13930999,39088296
x1,49:15611426,39088296
k1,49:15969437,39088296:358011
x1,49:16726925,39088296
x1,49:17085735,39088296
x1,49:17384742,39088296
k1,49:17742753,39088296:358011
x1,49:18380638,39088296
k1,49:18380638,39088296:0
)
(1,50:6157186,40005800:12223452,498346,139537
x1,50:6555864,40005800
x1,49:6894740,40005800
k1,49:7171570,40005800:276830
x1,49:7929058,40005800
x1,49:9643373,40005800
k1,49:10075188,40005800:431815
x1,49:10543635,40005800
x1,49:11123710,40005800
k1,49:11400540,40005800:276830
x1,49:12560693,40005800
k1,49:12837523,40005800:276830
x1,49:13915947,40005800
x1,49:14314625,40005800
x1,49:15295372,40005800
k1,49:15572203,40005800:276831
x1,49:16329691,40005800
k1,49:16606521,40005800:276830
x1,49:17742754,40005800
x1,49:18141432,40005800
x1,49:18380638,40005800
k1,50:18380638,40005800:0
)
(1,50:6157186,40923304:12223452,498346,139537
x1,50:7375148,40923304
k1,49:7571125,40923304:195977
x1,49:8617654,40923304
x1,49:10371837,40923304
k1,49:10567815,40923304:195978
x1,49:12128639,40923304
x1,49:13605741,40923304
k1,49:13810364,40923304:204623
$1,49:13810364,40923304
x1,49:14152645,40923304
$1,49:14178392,40923304
x1,49:14377731,40923304
k1,49:14582354,40923304:204623
x1,49:15339842,40923304
k1,49:15535819,40923304:195977
$1,49:15535819,40923304
x1,49:16232010,40923304
$1,49:16310249,40923304
k1,49:16506227,40923304:195978
x1,49:17546776,40923304
k1,49:17742753,40923304:195977
x1,49:18380638,40923304
k1,49:18380638,40923304:0
)
(1,50:6157186,41840808:12223452,498346,139537
x1,50:6555864,41840808
x1,49:6894740,41840808
k1,49:7074144,41840808:179404
x1,49:7393086,41840808
x1,49:8130639,41840808
x1,49:9330659,41840808
k1,49:9522023,41840808:191364
x1,49:10678189,41840808
k1,49:10857593,41840808:179404
x1,49:12252965,41840808
k1,49:12432369,41840808:179404
x1,49:13592522,41840808
k1,49:13771926,41840808:179404
x1,49:14090868,41840808
x1,49:15665644,41840808
k1,49:15845048,41840808:179404
x1,49:16327448,41840808
k1,49:16506852,41840808:179404
x1,49:18380638,41840808
k1,49:18380638,41840808:0
)
(1,50:6157186,42758312:12223452,538214,179404
x1,50:6616248,42758312
(1,49:6616248,42875222:205256,364089,0
x1,49:6782517,42875222
)
x1,49:7796770,42758312
x1,49:8034480,42758312
k1,49:8154081,42758312:119601
x1,49:8865557,42758312
$1,49:8865557,42758312
k1,49:9059611,42758312:194054
x1,49:9542011,42758312
k1,49:9736064,42758312:194053
x1,49:11055687,42758312
k1,49:11249741,42758312:194054
x1,49:11887626,42758312
k1,49:12081679,42758312:194053
x1,49:13417251,42758312
x1,49:13716258,42758312
k1,49:13910312,42758312:194054
x1,49:15712335,42758312
k1,49:15915419,42758312:203084
x1,49:16991850,42758312
k1,49:17185903,42758312:194053
x1,49:17827774,42758312
k1,49:18021828,42758312:194054
x1,49:18380638,42758312
k1,49:18380638,42758312:0
)
(1,50:6157186,43675816:12223452,498346,139537
x1,50:6535931,43675816
x1,49:7494751,43675816
k1,49:7728971,43675816:234220
x1,49:9004740,43675816
x1,49:9802096,43675816
x1,49:11476543,43675816
k1,49:11710763,43675816:234220
x1,49:11910102,43675816
x1,49:12308780,43675816
x1,49:12886862,43675816
x1,49:14084889,43675816
k1,49:14319110,43675816:234221
x1,49:14518449,43675816
x1,49:14917127,43675816
x1,49:15275937,43675816
x1,49:16192896,43675816
x1,49:17149723,43675816
k1,49:17383943,43675816:234220
x1,49:18380638,43675816
k1,49:18380638,43675816:0
)
(1,50:6157186,44593320:12223452,498346,139537
x1,50:8520349,44593320
k1,49:8761174,44593320:240825
x1,49:9119984,44593320
x1,49:9518662,44593320
x1,49:10138606,44593320
x1,49:10497416,44593320
x1,49:11416369,44593320
k1,49:11657193,44593320:240824
x1,49:12235276,44593320
k1,49:12476101,44593320:240825
x1,49:13472796,44593320
k1,49:13713620,44593320:240824
x1,49:15477770,44593320
x1,49:16753539,44593320
k1,49:16994363,44593320:240824
x1,49:17572446,44593320
k1,49:17813271,44593320:240825
$1,49:17813271,44593320
x1,49:18155552,44593320
$1,49:18181299,44593320
x1,49:18380638,44593320
k1,49:18380638,44593320:0
)
]
k1,59:20129219,44593320:327681
r1,59:20129219,44593320:0,35099775,196608
k1,59:20456899,44593320:327680
[1,59:20456899,44593320:15065252,34903167,196608
(1,50:21877799,12442665:12223452,498346,139537
x1,50:22416014,12442665
x1,49:22675154,12442665
k1,49:22912366,12442665:237212
x1,49:24072519,12442665
k1,49:24309731,12442665:237212
x1,49:25908429,12442665
k1,49:26145641,12442665:237212
x1,49:27222071,12442665
k1,49:27459283,12442665:237212
x1,49:28499832,12442665
k1,49:28737044,12442665:237212
x1,49:29374929,12442665
k1,49:29612141,12442665:237212
x1,49:30652690,12442665
x1,49:31151036,12442665
k1,49:31388248,12442665:237212
x1,49:32703886,12442665
k1,49:32941098,12442665:237212
x1,49:34101251,12442665
k1,49:34101251,12442665:0
)
(1,50:21877799,13360169:12223452,498346,139537
x1,50:22077138,13360169
x1,50:22475816,13360169
x1,50:23053898,13360169
x1,50:24251925,13360169
k1,49:24500765,13360169:248840
x1,49:24983165,13360169
k1,49:25232005,13360169:248840
x1,49:25830022,13360169
x1,49:26547642,13360169
x1,49:26946320,13360169
x1,49:27683874,13360169
x1,49:28800172,13360169
x1,49:29059312,13360169
k1,49:29308152,13360169:248840
x1,49:29886235,13360169
k1,49:30135075,13360169:248840
x1,49:31131770,13360169
k1,49:31380610,13360169:248840
x1,49:31699552,13360169
x1,49:33274328,13360169
k1,49:33523168,13360169:248840
x1,49:34101251,13360169
k1,49:34101251,13360169:0
)
(1,50:21877799,14277673:12223452,498346,139537
x1,50:22220080,14277673
$1,49:22245827,14277673
x1,49:22445166,14277673
k1,49:22874869,14277673:429703
x1,49:24031035,14277673
k1,49:24422640,14277673:391605
x1,49:25419335,14277673
k1,49:25810940,14277673:391605
x1,49:26608296,14277673
x1,49:27449506,14277673
x1,49:28812984,14277673
k1,49:29204588,14277673:391604
x1,49:29962076,14277673
x1,49:30320886,14277673
x1,49:30619893,14277673
k1,49:31011498,14277673:391605
x1,49:31729118,14277673
x1,49:32107863,14277673
x1,49:32606209,14277673
x1,49:33363697,14277673
x1,49:34101251,14277673
k1,49:34101251,14277673:0
)
(1,50:21877799,15195177:12223452,498346,139537
x1,50:22736950,15195177
x1,50:23893116,15195177
k1,49:24281028,15195177:387912
x1,49:24960774,15195177
x1,49:25319584,15195177
x1,49:25977402,15195177
x1,49:27657829,15195177
k1,49:28045740,15195177:387911
x1,49:28683625,15195177
k1,49:29071537,15195177:387912
x1,49:30112086,15195177
x1,49:30610432,15195177
k1,49:30998343,15195177:387911
x1,49:32158496,15195177
k1,49:32546408,15195177:387912
x1,49:33144425,15195177
x1,49:33862045,15195177
x1,49:34101251,15195177
k1,50:34101251,15195177:0
)
(1,50:21877799,16112681:12223452,498346,139537
x1,50:22276477,16112681
x1,50:23014031,16112681
x1,50:24768213,16112681
k1,49:24948113,16112681:179900
x1,49:25665734,16112681
k1,49:25845635,16112681:179901
x1,49:27639685,16112681
k1,49:27819585,16112681:179900
x1,49:30211653,16112681
k1,49:30391554,16112681:179901
x1,49:30590893,16112681
x1,49:30989571,16112681
x1,49:31348381,16112681
x1,49:32147730,16112681
x1,49:33543102,16112681
x1,49:34101251,16112681
k1,49:34101251,16112681:0
)
(1,50:21877799,17030185:12223452,498346,139537
x1,50:22774824,17030185
x1,50:23273170,17030185
x1,50:23950922,17030185
x1,50:24530997,17030185
k1,49:24857627,17030185:326630
x1,49:25336041,17030185
k1,49:25662671,17030185:326630
x1,49:26145071,17030185
k1,49:26471701,17030185:326630
x1,49:27807273,17030185
k1,49:28133902,17030185:326629
x1,49:29130597,17030185
k1,49:29457227,17030185:326630
x1,49:30057237,17030185
x1,49:31093799,17030185
x1,49:31352939,17030185
k1,49:31679569,17030185:326630
x1,49:32197850,17030185
x1,49:33196538,17030185
k1,49:33523168,17030185:326630
x1,49:34101251,17030185
k1,49:34101251,17030185:0
)
(1,50:21877799,17947689:12223452,538214,179404
x1,50:23346927,17947689
k1,49:23659412,17947689:312485
x1,49:25046811,17947689
x1,49:26980399,17947689
k1,49:27292884,17947689:312485
x1,49:27492223,17947689
(1,49:27492223,17947689:1046530,490372,0
x1,49:28538753,17947689
)
x1,49:28937431,17947689
k1,49:29268234,17947689:330803
x1,49:30424400,17947689
k1,49:30736885,17947689:312485
x1,49:31653845,17947689
x1,49:32172126,17947689
x1,49:32812004,17947689
x1,49:33230616,17947689
k1,49:33543101,17947689:312485
x1,49:34101251,17947689
k1,49:34101251,17947689:0
)
(1,50:21877799,18865193:12223452,538214,179404
x1,50:23833314,18865193
k1,49:24073316,18865193:240002
x1,49:24272655,18865193
(1,49:24272655,18865193:936893,490372,0
x1,49:25209548,18865193
)
x1,49:25408887,18865193
k1,49:25648889,18865193:240002
x1,49:26964527,18865193
k1,49:27204528,18865193:240001
x1,49:29124162,18865193
k1,49:29364164,18865193:240002
x1,49:30962862,18865193
k1,49:31202864,18865193:240002
x1,49:32582288,18865193
x1,49:34101251,18865193
k1,49:34101251,18865193:0
)
(1,50:21877799,19782697:12223452,498346,139537
x1,50:22475816,19782697
x1,49:23093766,19782697
g1,49:23332972,19782697
x1,49:24770206,19782697
x1,49:25390150,19782697
g1,49:25629356,19782697
x1,49:27263936,19782697
x1,49:27582878,19782697
x1,49:28818780,19782697
x1,49:29018119,19782697
x1,49:29895210,19782697
g1,49:30134416,19782697
x1,49:31790923,19782697
g1,49:32109864,19782697
x1,49:32309203,19782697
x1,49:32628145,19782697
x1,49:32947087,19782697
k1,50:34101251,19782697:1034561
g1,50:34101251,19782697
)
(1,53:20456899,21655720:15065252,546132,152916
h1,52:20456899,21655720:786432,0,0
x1,52:22569511,21655720
k1,52:22852820,21655720:283309
x1,52:23280620,21655720
x1,52:24756530,21655720
x1,52:25141550,21655720
k1,52:25424858,21655720:283308
x1,52:26665478,21655720
k1,52:26948787,21655720:283309
x1,52:28279245,21655720
x1,52:29412915,21655720
x1,52:30790431,21655720
k1,52:31073740,21655720:283309
x1,52:32100460,21655720
k1,52:32383768,21655720:283308
x1,52:34137748,21655720
k1,52:34559874,21655720:422126
x1,52:35265471,21655720
x1,52:35522151,21655720
k1,53:35522151,21655720:0
)
(1,53:20456899,22573224:15065252,546132,152916
x1,53:22215157,22573224
k1,52:22571798,22573224:356641
x1,52:23127938,22573224
x1,52:23448788,22573224
k1,52:23805429,22573224:356641
x1,52:24832149,22573224
k1,52:25188790,22573224:356641
x1,52:25830490,22573224
x1,52:28572688,22573224
k1,52:28929330,22573224:356642
x1,52:29613810,22573224
k1,52:29970451,22573224:356641
x1,52:30804661,22573224
x1,52:31403581,22573224
x1,52:31938331,22573224
k1,52:32294972,22573224:356641
x1,52:33364472,22573224
k1,52:33721113,22573224:356641
x1,52:35522151,22573224
k1,52:35522151,22573224:0
)
(1,53:20456899,23490728:15065252,546132,152916
x1,53:21145657,23490728
k1,52:21449697,23490728:304040
x1,52:22433637,23490728
x1,52:24187617,23490728
k1,52:24491657,23490728:304040
x1,52:24919457,23490728
x1,52:25304477,23490728
k1,52:25608516,23490728:304039
x1,52:26678016,23490728
k1,52:26982056,23490728:304040
x1,52:28996994,23490728
k1,52:29301034,23490728:304040
x1,52:30712774,23490728
k1,52:31016814,23490728:304040
x1,52:32043534,23490728
k1,52:32347573,23490728:304039
x1,52:33160393,23490728
x1,52:33566803,23490728
x1,52:33951823,23490728
x1,52:34272673,23490728
k1,52:34576713,23490728:304040
x1,52:35522151,23490728
k1,52:35522151,23490728:0
)
(1,53:20456899,24408232:15065252,546132,152916
x1,53:20799139,24408232
x1,52:21590569,24408232
x1,52:22642957,24408232
k1,52:23004210,24408232:361253
x1,52:23389230,24408232
k1,52:23750483,24408232:361253
x1,52:25033883,24408232
x1,52:25889483,24408232
k1,52:26250735,24408232:361252
$1,52:26250735,24408232
x1,52:26619462,24408232
$1,52:26647679,24408232
x1,52:26861579,24408232
k1,52:27248975,24408232:387396
x1,52:28960175,24408232
k1,52:29321428,24408232:361253
x1,52:30112858,24408232
x1,52:31139578,24408232
k1,52:31500831,24408232:361253
x1,52:32869791,24408232
x1,52:33725391,24408232
x1,52:35522151,24408232
k1,52:35522151,24408232:0
)
(1,53:20456899,25325736:15065252,546132,152916
x1,53:20670799,25325736
x1,53:21098599,25325736
x1,53:21718909,25325736
x1,53:23306047,25325736
x1,53:23904967,25325736
g1,52:24161647,25325736
x1,52:25402267,25325736
g1,52:25658947,25325736
x1,52:26493157,25325736
x1,52:27092077,25325736
x1,52:27626827,25325736
g1,52:27883507,25325736
x1,52:29188297,25325736
x1,52:30428917,25325736
g1,52:30685597,25325736
x1,52:31412857,25325736
x1,52:31797877,25325736
x1,52:32503747,25325736
x1,52:34304785,25325736
x1,52:34903705,25325736
k1,53:35522151,25325736:618446
g1,53:35522151,25325736
)
(1,55:20456899,26243240:15065252,546132,152916
h1,54:20456899,26243240:786432,0,0
x1,54:22911751,26243240
k1,54:23523646,26243240:611895
x1,54:24079786,26243240
x1,54:24747154,26243240
k1,54:25359050,26243240:611896
x1,54:26000750,26243240
x1,54:26385770,26243240
k1,54:26997665,26243240:611895
x1,54:28773035,26243240
k1,54:30180921,26243240:1407886
x1,54:30683450,26243240
x1,54:31303760,26243240
k1,54:31915656,26243240:611896
x1,54:32985156,26243240
k1,54:33597051,26243240:611895
x1,54:35522151,26243240
k1,54:35522151,26243240:0
)
(1,55:20456899,27160744:15065252,546132,152916
x1,55:20863309,27160744
x1,54:21868639,27160744
k1,54:22240377,27160744:371738
x1,54:22668177,27160744
x1,54:23031807,27160744
x1,54:24507717,27160744
k1,54:24908220,27160744:400503
x1,54:25549920,27160744
k1,54:25921659,27160744:371739
x1,54:27376179,27160744
x1,54:27761199,27160744
k1,54:28132937,27160744:371738
x1,54:29758577,27160744
x1,54:31089035,27160744
k1,54:31460774,27160744:371739
x1,54:32958074,27160744
k1,54:33329812,27160744:371738
x1,54:35522151,27160744
k1,54:35522151,27160744:0
)
(1,55:20456899,28078248:15065252,546132,152916
x1,55:20734696,28078248
k1,54:21465534,28078248:730838
x1,54:22278354,28078248
x1,54:22663374,28078248
x1,54:22984224,28078248
k1,54:23715539,28078248:731315
x1,54:24357239,28078248
x1,54:24785039,28078248
x1,54:25833149,28078248
x1,54:27223499,28078248
k1,54:27954815,28078248:731316
x1,54:28703465,28078248
x1,54:31141925,28078248
k1,54:31873240,28078248:731315
x1,54:32514940,28078248
x1,54:32899960,28078248
k1,54:33631275,28078248:731315
x1,54:34700775,28078248
x1,54:35522151,28078248
k1,54:35522151,28078248:0
)
(1,55:20456899,28995752:15065252,589824,196608
x1,55:21141379,28995752
k1,54:21688706,28995752:547327
x1,54:22972106,28995752
k1,54:23519433,28995752:547327
x1,54:23818893,28995752
x1,54:25234911,28995752
k1,54:25782238,28995752:547327
x1,54:26470996,28995752
k1,54:27018323,28995752:547327
x1,54:28177661,28995752
x1,54:29375501,28995752
k1,54:29995489,28995752:619988
x1,54:30401899,28995752
x1,54:31193329,28995752
k1,54:31740656,28995752:547327
x1,54:33006944,28995752
k1,54:33554271,28995752:547327
x1,54:34388481,28995752
x1,54:34987401,28995752
x1,54:35522151,28995752
k1,54:35522151,28995752:0
)
(1,55:20456899,29913256:15065252,546132,152916
x1,55:21526399,29913256
k1,54:22079216,29913256:552817
x1,54:22581745,29913256
x1,54:25405225,29913256
x1,54:25907754,29913256
x1,54:28431774,29913256
x1,54:28955693,29913256
x1,54:29747123,29913256
x1,54:30153533,29913256
x1,54:30795233,29913256
x1,54:32367262,29913256
x1,54:33244252,29913256
x1,54:35522151,29913256
k1,55:35522151,29913256:0
)
(1,55:20456899,30830760:15065252,546132,152916
x1,55:22253659,30830760
k1,54:22886505,30830760:632846
x1,54:24687543,30830760
k1,54:25414430,30830760:726887
x1,54:27600488,30830760
k1,54:28233334,30830760:632846
x1,54:29645074,30830760
k1,54:30277920,30830760:632846
x1,54:31390200,30830760
k1,54:32023045,30830760:632845
x1,54:32707525,30830760
k1,54:33340371,30830760:632846
x1,54:34195971,30830760
x1,54:35265471,30830760
x1,54:35522151,30830760
k1,55:35522151,30830760:0
)
(1,55:20456899,31748264:15065252,589824,196608
x1,55:22664347,31748264
x1,55:23562727,31748264
k1,54:23771944,31748264:209217
x1,54:25012564,31748264
k1,54:25209916,31748264:197352
x1,54:25979956,31748264
k1,54:26177308,31748264:197352
x1,54:26819008,31748264
x1,54:27246808,31748264
x1,54:28294918,31748264
x1,54:29685268,31748264
k1,54:29882620,31748264:197352
x1,54:30524320,31748264
x1,54:32261188,31748264
k1,54:32458539,31748264:197351
x1,54:33143019,31748264
k1,54:33340371,31748264:197352
x1,54:34195971,31748264
x1,54:35265471,31748264
x1,54:35522151,31748264
k1,55:35522151,31748264:0
)
(1,55:20456899,32665768:15065252,546132,152916
x1,55:22514617,32665768
k1,54:22832677,32665768:318060
x1,54:24158857,32665768
k1,54:24342996,32665768:184139
x1,54:26631726,32665768
k1,54:26815865,32665768:184139
x1,54:28313165,32665768
x1,54:30238265,32665768
k1,54:30422404,32665768:184139
x1,54:31064104,32665768
x1,54:32073712,32665768
k1,54:32257852,32665768:184140
x1,54:33070672,32665768
x1,54:33455692,32665768
x1,54:33776542,32665768
k1,54:33960681,32665768:184139
x1,54:34388481,32665768
x1,54:35522151,32665768
k1,54:35522151,32665768:0
)
(1,55:20456899,33583272:15065252,546132,152916
x1,55:21825859,33583272
x1,55:22895359,33583272
g1,54:23152039,33583272
x1,54:24906019,33583272
g1,54:25162699,33583272
x1,54:25932739,33583272
g1,54:26189419,33583272
x1,54:27472819,33583272
x1,54:27900619,33583272
x1,54:29290969,33583272
x1,54:30125179,33583272
g1,54:30381859,33583272
x1,54:31412857,33583272
x1,54:32482357,33583272
x1,54:34535797,33583272
k1,55:35522151,33583272:986354
g1,55:35522151,33583272
)
(1,57:20456899,34500776:15065252,546132,152916
h1,56:20456899,34500776:786432,0,0
x1,56:22515900,34500776
k1,56:22944356,34500776:428456
x1,56:23633114,34500776
x1,56:24467324,34500776
k1,56:24895779,34500776:428455
x1,56:25516089,34500776
x1,56:26671149,34500776
k1,56:27142549,34500776:471400
x1,56:28087987,34500776
k1,56:28516443,34500776:428456
x1,56:29158143,34500776
x1,56:31348479,34500776
k1,56:31776934,34500776:428455
x1,56:32333074,34500776
x1,56:33338404,34500776
k1,56:34195971,34500776:857567
x1,56:35522151,34500776
k1,56:35522151,34500776:0
)
(1,57:20456899,35418280:15065252,546132,152916
x1,57:21937087,35418280
x1,57:23263267,35418280
k1,56:23546571,35418280:283304
x1,56:24102711,35418280
x1,56:24770079,35418280
k1,56:25053383,35418280:283304
x1,56:25438403,35418280
k1,56:25721707,35418280:283304
x1,56:27201895,35418280
x1,56:28528075,35418280
k1,56:28811379,35418280:283304
x1,56:29453079,35418280
k1,56:29736383,35418280:283304
x1,56:30848663,35418280
x1,56:31468973,35418280
x1,56:32645423,35418280
k1,56:32928727,35418280:283304
x1,56:34169347,35418280
k1,56:34452651,35418280:283304
x1,56:35522151,35418280
k1,56:35522151,35418280:0
)
(1,57:20456899,36335784:15065252,546132,152916
x1,57:21697519,36335784
x1,56:23246155,36335784
x1,56:23631175,36335784
k1,56:23868032,36335784:236857
x1,56:24813470,36335784
x1,56:25198490,36335784
x1,56:25840190,36335784
x1,56:27166370,36335784
k1,56:27403227,36335784:236857
x1,56:29803185,36335784
k1,56:30040042,36335784:236857
x1,56:30724522,36335784
k1,56:30961380,36335784:236858
x1,56:32244780,36335784
k1,56:32481637,36335784:236857
x1,56:33166117,36335784
k1,56:33402974,36335784:236857
x1,56:33830774,36335784
x1,56:34194404,36335784
k1,56:34431261,36335784:236857
x1,56:35115741,36335784
x1,56:35522151,36335784
k1,56:35522151,36335784:0
)
(1,57:20456899,37253288:15065252,546132,152916
x1,57:21825859,37253288
x1,57:22681459,37253288
x1,57:24692119,37253288
k1,56:25105215,37253288:413096
x1,56:25836753,37253288
x1,56:26863473,37253288
k1,56:27245286,37253288:381813
x1,56:27929766,37253288
x1,56:28853814,37253288
k1,56:29235627,37253288:381813
x1,56:30647367,37253288
k1,56:31029180,37253288:381813
x1,56:33429138,37253288
k1,56:33810951,37253288:381813
x1,56:34452651,37253288
x1,56:35265471,37253288
x1,56:35522151,37253288
k1,57:35522151,37253288:0
)
(1,57:20456899,38170792:15065252,546132,152916
x1,57:21569179,38170792
x1,57:22510339,38170792
x1,57:23537059,38170792
k1,56:23766168,38170792:229109
x1,56:24685938,38170792
k1,56:24915048,38170792:229110
x1,56:25984548,38170792
k1,56:26213657,38170792:229109
x1,56:26945195,38170792
x1,56:27372995,38170792
x1,56:28635005,38170792
k1,56:28864115,38170792:229110
x1,56:30190295,38170792
x1,56:31345355,38170792
k1,56:31678405,38170792:333050
x1,56:33111262,38170792
k1,56:33340371,38170792:229109
x1,56:33982071,38170792
x1,56:35522151,38170792
k1,56:35522151,38170792:0
)
(1,57:20456899,39088296:15065252,546132,152916
x1,57:22253659,39088296
k1,56:22499075,39088296:245416
x1,56:23996375,39088296
k1,56:24241792,39088296:245417
x1,56:24797932,39088296
x1,56:25974382,39088296
x1,56:26855650,39088296
k1,56:27103319,39088296:247669
x1,56:29081758,39088296
k1,56:29327174,39088296:245416
x1,56:29883314,39088296
x1,56:30550682,39088296
k1,56:30796098,39088296:245416
x1,56:32165058,39088296
k1,56:32410475,39088296:245417
x1,56:33094955,39088296
k1,56:33340371,39088296:245416
x1,56:33982071,39088296
x1,56:35522151,39088296
k1,56:35522151,39088296:0
)
(1,57:20456899,40005800:15065252,546132,152916
x1,57:21526399,40005800
k1,56:21715033,40005800:188634
x1,56:23469013,40005800
x1,56:24324613,40005800
x1,56:26121373,40005800
k1,56:26310008,40005800:188635
x1,56:26523908,40005800
x1,56:26951708,40005800
x1,56:27572018,40005800
x1,56:29159156,40005800
x1,56:29544176,40005800
k1,56:29732810,40005800:188634
x1,56:30417290,40005800
k1,56:30605924,40005800:188634
x1,56:31675424,40005800
k1,56:31864059,40005800:188635
x1,56:32077959,40005800
x1,56:32505759,40005800
x1,56:33126069,40005800
x1,56:34713207,40005800
k1,56:34901841,40005800:188634
x1,56:35522151,40005800
k1,56:35522151,40005800:0
)
(1,57:20456899,40923304:15065252,546132,152916
x1,57:21740299,40923304
x1,57:22895359,40923304
x1,57:23584117,40923304
k1,56:23817307,40923304:233190
x1,56:24437617,40923304
k1,56:24670808,40923304:233191
x1,56:25077218,40923304
x1,56:25654748,40923304
x1,56:27066488,40923304
k1,56:27299678,40923304:233190
x1,56:29164886,40923304
k1,56:29398076,40923304:233190
x1,56:30018386,40923304
k1,56:30251576,40923304:233190
x1,56:32698592,40923304
k1,56:32931783,40923304:233191
x1,56:33616263,40923304
k1,56:33849453,40923304:233190
x1,56:35522151,40923304
k1,56:35522151,40923304:0
)
(1,57:20456899,41840808:15065252,546132,152916
x1,57:21611959,41840808
x1,57:22424779,41840808
x1,57:22852579,41840808
x1,57:23537059,41840808
x1,57:24863239,41840808
k1,56:25107477,41840808:244238
x1,56:27212253,41840808
k1,56:27456491,41840808:244238
x1,56:28076801,41840808
k1,56:28321039,41840808:244238
x1,56:28748839,41840808
x1,56:29796949,41840808
x1,56:30378757,41840808
k1,56:30622995,41840808:244238
x1,56:31435815,41840808
k1,56:31680053,41840808:244238
$1,56:31680053,41840808
x1,56:32425019,41840808
$1,56:32507167,41840808
x1,56:32721067,41840808
k1,56:32967793,41840808:246726
x1,56:34208413,41840808
k1,56:34452651,41840808:244238
x1,56:35522151,41840808
k1,56:35522151,41840808:0
)
(1,57:20456899,42758312:15065252,546132,152916
x1,57:22553119,42758312
x1,56:22938139,42758312
k1,56:23284284,42758312:346145
x1,56:24589074,42758312
x1,56:25829694,42758312
k1,56:26175839,42758312:346145
x1,56:26903099,42758312
x1,56:27288119,42758312
x1,56:27993989,42758312
x1,56:29795027,42758312
x1,56:30180047,42758312
k1,56:30526193,42758312:346146
x1,56:30953993,42758312
x1,56:31317623,42758312
x1,56:33028823,42758312
k1,56:33374968,42758312:346145
x1,56:33759988,42758312
k1,56:34106133,42758312:346145
x1,56:35265471,42758312
x1,56:35522151,42758312
k1,57:35522151,42758312:0
)
(1,57:20456899,43675816:15065252,546132,152916
x1,57:21440839,43675816
k1,56:21618778,43675816:177939
x1,56:22431598,43675816
x1,56:23287198,43675816
x1,56:24014458,43675816
x1,56:25340638,43675816
k1,56:25518578,43675816:177940
x1,56:26138888,43675816
k1,56:26316827,43675816:177939
x1,56:26701847,43675816
k1,56:26879786,43675816:177939
x1,56:27735386,43675816
x1,56:28655156,43675816
x1,56:30071174,43675816
k1,56:30249114,43675816:177940
x1,56:31767804,43675816
x1,56:32606292,43675816
k1,56:32784231,43675816:177939
x1,56:33853731,43675816
x1,56:34238751,43675816
x1,56:35522151,43675816
k1,56:35522151,43675816:0
)
(1,57:20456899,44593320:15065252,589824,196608
x1,57:21744577,44593320
k1,56:21958537,44593320:213960
x1,56:22172437,44593320
(1,56:22172437,44593320:1101449,537395,0
x1,56:23273886,44593320
)
x1,56:23701686,44593320
k1,56:23924191,44593320:222505
x1,56:25164811,44593320
k1,56:25378771,44593320:213960
x1,56:25763791,44593320
k1,56:25977752,44593320:213961
x1,56:27646172,44593320
k1,56:27860132,44593320:213960
x1,56:29229092,44593320
x1,56:30854732,44593320
k1,56:31068693,44593320:213961
x1,56:31817343,44593320
x1,56:32245143,44593320
x1,56:32651553,44593320
x1,56:33169191,44593320
x1,56:34495371,44593320
k1,56:34709331,44593320:213960
x1,56:35137131,44593320
x1,56:35522151,44593320
k1,56:35522151,44593320:0
)
]
(1,59:35522151,44593320:0,338603,152916
h1,59:35522151,44593320:427800,338603,152916
k1,59:35522151,44593320:-427800
)
)
(1,41:4736286,45790003:30785865,550500,235932
h1,41:4736286,45790003:786432,0,0
(1,41:5522718,45790003:0,533465,0
r1,41:5522718,45790003:0,533465,0
)
x1,41:6871657,45790003
x1,41:7102945,45790003
g1,41:7321398,45790003
x1,41:9382146,45790003
g1,41:9600599,45790003
x1,41:11093368,45790003
g1,41:11384639,45790003
x1,41:11857955,45790003
x1,41:12131022,45790003
g1,41:12349475,45790003
x1,41:13405336,45790003
x1,41:14299176,45790003
g1,41:14517629,45790003
x1,41:15063764,45790003
g1,41:15282217,45790003
x1,41:15946680,45790003
g1,41:16165133,45790003
x1,41:17907303,45790003
g1,41:18125756,45790003
x1,41:20601564,45790003
g1,41:20820017,45790003
x1,41:21293333,45790003
x1,41:22645926,45790003
g1,41:22864379,45790003
x1,41:23210265,45790003
x1,41:23883831,45790003
g1,41:24102284,45790003
x1,41:24612010,45790003
r1,41:24612010,45790003:0,786432,235932
k1,41:35522151,45790003:10910141
g1,41:35522151,45790003
)
(1,41:4736286,46576435:30785865,550500,235932
h1,41:4736286,46576435:786432,0,0
(1,41:5522718,46576435:0,533465,0
r1,41:5522718,46576435:0,533465,0
)
x1,41:6651395,46576435
g1,41:6869848,46576435
x1,41:8764936,46576435
g1,41:8983389,46576435
x1,41:9456705,46576435
x1,41:10024684,46576435
g1,41:10243137,46576435
x1,41:12666156,46576435
g1,41:12884609,46576435
x1,41:14235382,46576435
x1,41:15748175,46576435
g1,41:15966628,46576435
x1,41:16330718,46576435
x1,41:16658399,46576435
g1,41:16876852,46576435
x1,41:18660891,46576435
x1,41:19116002,46576435
g1,41:19334455,46576435
x1,41:20610590,46576435
x1,41:20847248,46576435
g1,41:21065701,46576435
x1,41:21548119,46576435
x1,41:23218379,46576435
g1,41:23436832,46576435
x1,41:25584963,46576435
r1,41:25584963,46576435:0,786432,235932
k1,41:35522151,46576435:9937188
g1,41:35522151,46576435
)
]
(1,59:4736286,47362867:30785865,380108,0
(1,59:4736286,47362867:30785865,380108,0
k1,59:19977668,47362867:15241382
x1,59:20280770,47362867
k1,59:35522152,47362867:15241382
)
)
]
]
]
!44643
}1
!10
{2
[1,91:4736286,47362867:30785865,42626581,0
[1,91:4736286,4736286:0,0,0
(1,91:4736286,4670505:0,0,0
k1,91:4736286,4670505:65781
)
]
[1,91:4736286,47362867:30785865,42626581,0
[1,91:4736286,47362867:30785865,42626581,0
[1,91:4736286,4736286:30785865,0,0
(1,91:4736286,4736286:30785865,0,0
h1,91:4736286,4736286:30785865,0,0
)
]
[1,91:4736286,46576435:30785865,41840149,0
(1,89:4736286,18944488:30785865,14208202,163840
[1,89:4736286,18944488:15065252,14208202,163840
(1,57:4736286,5391646:15065252,589824,196608
x1,57:5538275,5391646
k1,56:5801992,5391646:263717
x1,56:6785932,5391646
x1,56:9121720,5391646
k1,56:9385438,5391646:263718
x1,56:9599338,5391646
(1,56:9599338,5391646:983940,546132,0
x1,56:10583278,5391646
)
x1,56:11310538,5391646
k1,56:11673889,5391646:363351
x1,56:12785896,5391646
k1,56:13049614,5391646:263718
x1,56:14076334,5391646
x1,56:15145834,5391646
k1,56:15409551,5391646:263717
x1,56:15965691,5391646
x1,56:17035191,5391646
k1,56:17298908,5391646:263717
x1,56:17726708,5391646
x1,56:18090338,5391646
x1,56:19801538,5391646
k1,56:19801538,5391646:0
)
(1,57:4736286,6309150:15065252,546132,0
x1,57:5549106,6309150
x1,57:6237864,6309150
x1,57:7649604,6309150
k1,57:19801538,6309150:12151934
g1,57:19801538,6309150
)
(1,59:4736286,7226654:15065252,546132,152916
h1,58:4736286,7226654:786432,0,0
x1,58:5800515,7226654
k1,58:6020907,7226654:220392
x1,58:8459367,7226654
k1,58:8679795,7226654:220428
x1,58:10352493,7226654
x1,58:12106473,7226654
k1,58:12326900,7226654:220427
x1,58:13888370,7226654
k1,58:14108798,7226654:220428
x1,58:15353696,7226654
k1,58:15574124,7226654:220428
x1,58:17268212,7226654
x1,58:17417942,7226654
k1,58:17748098,7226654:330156
x1,58:19544858,7226654
x1,58:19801538,7226654
k1,59:19801538,7226654:0
)
(1,59:4736286,8144158:15065252,546132,152916
x1,59:6490266,8144158
k1,58:6842890,8144158:352624
x1,58:7655710,8144158
x1,58:8789380,8144158
k1,58:9142005,8144158:352625
x1,58:10301343,8144158
x1,58:11499183,8144158
x1,58:12012543,8144158
x1,58:12397563,8144158
k1,58:12750187,8144158:352624
x1,58:13520227,8144158
k1,58:13872851,8144158:352624
x1,58:14685671,8144158
x1,58:15819341,8144158
k1,58:16171966,8144158:352625
x1,58:17840386,8144158
k1,58:18193010,8144158:352624
x1,58:18877490,8144158
x1,58:19801538,8144158
k1,58:19801538,8144158:0
)
(1,59:4736286,9061662:15065252,546132,152916
x1,59:5763006,9061662
k1,58:5998712,9061662:235706
x1,58:6811532,9061662
x1,58:7923812,9061662
x1,58:8864972,9061662
x1,58:9891692,9061662
k1,58:10127398,9061662:235706
x1,58:11047168,9061662
k1,58:11282875,9061662:235707
x1,58:12951295,9061662
k1,58:13187001,9061662:235706
x1,58:14727081,9061662
x1,58:16138821,9061662
k1,58:16378722,9061662:239901
x1,58:17619342,9061662
k1,58:17855048,9061662:235706
x1,58:18667868,9061662
x1,58:19801538,9061662
k1,58:19801538,9061662:0
)
(1,59:4736286,9979166:15065252,546132,152916
x1,59:5549106,9979166
x1,58:6083856,9979166
k1,58:6391025,9979166:307169
x1,58:7931105,9979166
k1,58:8238274,9979166:307169
x1,58:9393334,9979166
k1,58:9700502,9979166:307168
x1,58:11886560,9979166
k1,58:12193729,9979166:307169
x1,58:12749869,9979166
x1,58:14033269,9979166
k1,58:14353060,9979166:319791
x1,58:15593680,9979166
k1,58:15900849,9979166:307169
x1,58:16713669,9979166
x1,58:17248419,9979166
k1,58:17555588,9979166:307169
x1,58:17983388,9979166
x1,58:18774818,9979166
x1,58:19117058,9979166
x1,58:19544858,9979166
x1,58:19801538,9979166
k1,59:19801538,9979166:0
)
(1,59:4736286,10896670:15065252,546132,152916
x1,59:5891346,10896670
k1,58:6105929,10896670:214583
x1,58:6619289,10896670
k1,58:6833872,10896670:214583
x1,58:7565410,10896670
k1,58:7788412,10896670:223002
x1,58:8472892,10896670
k1,58:8687475,10896670:214583
x1,58:9970875,10896670
k1,58:10185458,10896670:214583
x1,58:11254958,10896670
k1,58:11469541,10896670:214583
x1,58:13180741,10896670
x1,58:13458811,10896670
x1,58:13843831,10896670
k1,58:14058413,10896670:214582
x1,58:14871233,10896670
x1,58:15731111,10896670
x1,58:16351421,10896670
k1,58:16566004,10896670:214583
x1,58:17250484,10896670
k1,58:17465067,10896670:214583
x1,58:17850087,10896670
k1,58:18064670,10896670:214583
x1,58:19544858,10896670
x1,58:19801538,10896670
k1,59:19801538,10896670:0
)
(1,59:4736286,11814174:15065252,546132,152916
x1,59:6276366,11814174
k1,58:6568866,11814174:292500
x1,58:8622306,11814174
k1,58:8907643,11814174:285337
x1,58:10447723,11814174
k1,58:10733059,11814174:285336
x1,58:11999347,11814174
k1,58:12284683,11814174:285336
x1,58:13097503,11814174
k1,58:13382839,11814174:285336
x1,58:14195659,11814174
x1,58:15055537,11814174
x1,58:15675847,11814174
k1,58:15961184,11814174:285337
x1,58:17372924,11814174
k1,58:17658260,11814174:285336
x1,58:18214400,11814174
x1,58:19801538,11814174
k1,58:19801538,11814174:0
)
(1,59:4736286,12731678:15065252,546132,152916
x1,59:5014083,12731678
k1,58:5310876,12731678:296793
x1,58:6555774,12731678
k1,58:6852606,12731678:296832
x1,58:8521026,12731678
k1,58:8817859,12731678:296833
x1,58:10507669,12731678
k1,58:10804502,12731678:296833
x1,58:12023732,12731678
x1,58:12451532,12731678
x1,58:13585202,12731678
k1,58:13882035,12731678:296833
x1,58:15550455,12731678
k1,58:15847288,12731678:296833
x1,58:16745395,12731678
x1,58:17066245,12731678
k1,58:17363078,12731678:296833
x1,58:19801538,12731678
k1,58:19801538,12731678:0
)
(1,59:4736286,13649182:15065252,546132,152916
x1,59:5506326,13649182
k1,58:5730952,13649182:224626
x1,58:6158752,13649182
x1,58:6821842,13649182
x1,58:8366200,13649182
k1,58:8590825,13649182:224625
x1,58:9104185,13649182
k1,58:9328811,13649182:224626
x1,58:9846449,13649182
k1,58:10071074,13649182:224625
x1,58:10926674,13649182
x1,58:11354474,13649182
x1,58:12064622,13649182
x1,58:12582260,13649182
x1,58:13566200,13649182
k1,58:13790826,13649182:224626
x1,58:14560866,13649182
k1,58:14785491,13649182:224625
x1,58:15191901,13649182
x1,58:15812211,13649182
k1,58:16036837,13649182:224626
x1,58:16550197,13649182
k1,58:16774822,13649182:224625
x1,58:18015442,13649182
k1,58:18240068,13649182:224626
x1,58:18667868,13649182
x1,58:19801538,13649182
k1,58:19801538,13649182:0
)
(1,59:4736286,14566686:15065252,546132,152916
x1,59:6190806,14566686
x1,59:7217526,14566686
g1,58:7474206,14566686
x1,58:8458146,14566686
g1,58:8714826,14566686
x1,58:9463476,14566686
x1,58:10083786,14566686
g1,58:10340466,14566686
x1,58:12184284,14566686
k1,59:19801538,14566686:7617254
g1,59:19801538,14566686
)
(1,60:4736286,16126440:15065252,537394,0
k1,60:9976039,16126440:5239753
(1,60:9976039,16126440:0,0,0
g1,60:9976039,16126440
)
(1,60:9976039,16126440:0,0,0
(1,60:9976039,16126440:0,0,0
(1,60:9976039,15208936:0,0,0
)
)
g1,60:9976039,16126440
)
x1,60:14561786,16126440
g1,60:14561786,16126440
k1,60:19801538,16126440:5239752
)
(1,65:6711473,17371624:13090065,491520,163840
(1,62:6711473,17371624:0,491520,163840
g1,62:6711473,17371624
g1,62:5063966,17371624
g1,62:4736286,17371624
(1,62:4736286,17371624:1647507,491520,163840
g1,62:4736286,17371624
(1,62:4736286,17371624:0,0,0
(1,62:4736286,16585192:0,0,0
)
)
x1,62:5955987,17371624
k1,62:6383793,17371624:427806
)
g1,62:6711473,17371624
)
x1,62:7257608,17371624
k1,62:7583130,17371624:325522
x1,62:8420537,17371624
x1,62:8893853,17371624
x1,62:9478217,17371624
x1,62:9860512,17371624
k1,62:10186034,17371624:325522
x1,62:11241895,17371624
k1,62:11567418,17371624:325523
x1,62:11986121,17371624
k1,62:12311643,17371624:325522
x1,62:13094436,17371624
k1,62:13419958,17371624:325522
x1,62:15387863,17371624
k1,62:15740152,17371624:352289
x1,62:17724786,17371624
x1,62:19801538,17371624
k1,63:19801538,17371624:0
)
(1,65:6711473,18158056:13090065,455111,127431
x1,65:7733827,18158056
x1,65:8579599,18158056
x1,65:8881062,18158056
x1,65:9182525,18158056
x1,65:10304640,18158056
k1,63:10550356,18158056:245716
x1,63:11354259,18158056
x1,63:11655722,18158056
x1,63:12752713,18158056
k1,63:12986445,18158056:233732
x1,63:14016819,18158056
k1,64:12986445,18158056:18205
x1,64:14508340,18158056
k1,64:14739016,18158056:230676
x1,64:16341011,18158056
k1,64:16571687,18158056:230676
x1,64:18187334,18158056
k1,64:18417998,18158056:230664
x1,64:19583085,18158056
x1,64:19801538,18158056
k1,65:19801538,18158056:0
)
(1,65:6711473,18944488:13090065,491520,163840
x1,65:7459677,18944488
x1,65:8697580,18944488
k1,64:9183588,18944488:486008
x1,64:10694559,18944488
k1,64:11180567,18944488:486008
x1,64:11672088,18944488
x1,64:12729769,18944488
k1,64:13282664,18944488:552895
x1,64:14848251,18944488
k1,64:15334259,18944488:486008
x1,64:16135257,18944488
k1,64:16621265,18944488:486008
x1,64:18259669,18944488
k1,64:18745677,18944488:486008
x1,64:19801538,18944488
k1,64:19801538,18944488:0
)
]
k1,89:20129219,18944488:327681
r1,89:20129219,18944488:0,14372042,163840
k1,89:20456899,18944488:327680
[1,89:20456899,18944488:15065252,14208202,0
(1,65:22432086,5391646:13090065,491520,163840
x1,65:23105652,5391646
k1,64:23367951,5391646:262299
x1,64:24178050,5391646
x1,64:24487526,5391646
x1,64:25343137,5391646
k1,64:25616397,5391646:273260
x1,64:26967169,5391646
k1,64:27229467,5391646:262298
x1,64:27903033,5391646
x1,64:28978918,5391646
k1,64:29241217,5391646:262299
x1,64:30078623,5391646
x1,64:30369894,5391646
x1,64:30733984,5391646
x1,64:31152687,5391646
x1,64:31990093,5391646
k1,64:32263353,5391646:273260
x1,64:33756122,5391646
k1,64:34029382,5391646:273260
x1,64:34357063,5391646
x1,64:34684744,5391646
x1,64:35522151,5391646
k1,64:35522151,5391646:0
)
(1,65:22432086,6178078:13090065,491520,163840
x1,65:24217947,6178078
x1,65:25455851,6178078
x1,65:28696252,6178078
x1,65:28878297,6178078
k1,65:35522151,6178078:6643854
g1,65:35522151,6178078
)
(1,69:22432086,6964510:13090065,491520,163840
(1,66:22432086,6964510:0,491520,163840
g1,66:22432086,6964510
g1,66:20784579,6964510
g1,66:20456899,6964510
(1,66:20456899,6964510:1647507,491520,163840
g1,66:20456899,6964510
(1,66:20456899,6964510:0,0,0
(1,66:20456899,6178078:0,0,0
)
)
x1,66:21776725,6964510
k1,66:22104406,6964510:327681
)
g1,66:22432086,6964510
)
x1,66:23114754,6964510
k1,66:23574703,6964510:459949
x1,66:24841735,6964510
x1,66:26789616,6964510
k1,66:27309938,6964510:520322
x1,66:28332292,6964510
x1,66:29178064,6964510
x1,66:29479527,6964510
x1,66:29780990,6964510
x1,66:30802615,6964510
k1,67:31259263,6964510:456648
x1,67:31862191,6964510
x1,67:32197151,6964510
x1,67:32465117,6964510
x1,67:33218774,6964510
k1,67:33675421,6964510:456647
x1,67:34211357,6964510
k1,67:34668005,6964510:456648
x1,67:35522151,6964510
k1,67:35522151,6964510:0
)
(1,69:22432086,7750942:13090065,455111,127431
x1,69:24416720,7750942
x1,69:26493472,7750942
k1,67:26837186,7750942:343714
x1,67:27724829,7750942
x1,67:28026292,7750942
x1,67:28528732,7750942
x1,67:28796698,7750942
x1,67:28997674,7750942
x1,67:29299137,7750942
x1,67:29768080,7750942
k1,67:30111794,7750942:343714
x1,67:31468381,7750942
x1,67:32573748,7750942
k1,67:32917461,7750942:343713
x1,67:34089820,7750942
k1,67:34433534,7750942:343714
x1,67:34986217,7750942
x1,67:35522151,7750942
k1,69:35522151,7750942:0
)
(1,69:22432086,8537374:13090065,455111,127431
x1,69:23543643,8537374
k1,67:23736469,8537374:192826
x1,67:25411282,8537374
k1,68:25597701,8537374:186419
x1,68:26507925,8537374
x1,68:27389021,8537374
k1,68:27581847,8537374:192826
x1,68:29413217,8537374
x1,68:30359851,8537374
k1,68:30546271,8537374:186420
x1,68:32293903,8537374
k1,68:32486729,8537374:192826
x1,68:33842963,8537374
k1,68:34029382,8537374:186419
x1,68:35522151,8537374
k1,69:35522151,8537374:0
k1,69:35522151,8537374:0
)
(1,78:22432086,9323806:13090065,491520,163840
(1,75:22432086,9323806:0,491520,163840
g1,75:22432086,9323806
g1,75:20784579,9323806
g1,75:20456899,9323806
(1,75:20456899,9323806:1647507,491520,163840
g1,75:20456899,9323806
(1,75:20456899,9323806:0,0,0
(1,75:20456899,8537374:0,0,0
)
)
x1,75:21285204,9323806
k1,75:22104406,9323806:819202
)
g1,75:22432086,9323806
)
x1,75:23096549,9323806
k1,75:23319119,9323806:222570
x1,75:24802786,9323806
k1,75:25026384,9323806:223598
x1,75:25897280,9323806
k1,76:26135538,9323806:238258
x1,76:26756670,9323806
x1,76:27870410,9323806
x1,76:29059517,9323806
k1,76:29297776,9323806:238259
x1,76:29833712,9323806
k1,76:30071970,9323806:238258
x1,76:31363022,9323806
x1,76:31563998,9323806
x1,76:33071318,9323806
k1,76:33294916,9323806:223598
x1,76:33841051,9323806
k1,77:34063621,9323806:222570
x1,77:34986217,9323806
x1,77:35287680,9323806
x1,77:35522151,9323806
k1,78:35522151,9323806:0
)
(1,78:22432086,10110238:13090065,491520,163840
x1,78:23378346,10110238
k1,77:23605184,10110238:226838
x1,77:25046966,10110238
x1,77:25381926,10110238
x1,77:25951357,10110238
k1,77:26178196,10110238:226839
x1,77:26747628,10110238
k1,77:26974466,10110238:226838
x1,77:28314305,10110238
x1,77:29422221,10110238
k1,77:29649060,10110238:226839
x1,77:30136208,10110238
x1,77:30990355,10110238
x1,77:31308566,10110238
x1,77:32045478,10110238
k1,77:32272316,10110238:226838
x1,77:34132070,10110238
x1,77:34400036,10110238
x1,77:35522151,10110238
k1,77:35522151,10110238:0
)
(1,78:22432086,10896670:13090065,491520,163840
x1,78:23464271,10896670
k1,77:23647549,10896670:183278
x1,77:25437402,10896670
k1,77:25611339,10896670:173937
x1,77:27013085,10896670
k1,77:27175892,10896670:162807
x1,77:27703823,10896670
k1,77:27866630,10896670:162807
x1,77:29596057,10896670
k1,77:29758864,10896670:162807
x1,77:31288042,10896670
k1,77:31450850,10896670:162808
x1,77:32581340,10896670
k1,77:32744147,10896670:162807
x1,77:34575517,10896670
x1,77:35522151,10896670
k1,77:35522151,10896670:0
)
(1,78:22432086,11683102:13090065,491520,163840
x1,78:23997673,11683102
g1,77:24216126,11683102
x1,77:25727096,11683102
g1,77:25945549,11683102
x1,77:27765999,11683102
g1,77:27984452,11683102
x1,77:28639814,11683102
x1,77:28967495,11683102
x1,77:29804902,11683102
k1,78:35522151,11683102:5717249
g1,78:35522151,11683102
)
(1,82:22432086,12469534:13090065,491520,163840
(1,79:22432086,12469534:0,491520,163840
g1,79:22432086,12469534
g1,79:20784579,12469534
g1,79:20456899,12469534
(1,79:20456899,12469534:1647507,491520,163840
g1,79:20456899,12469534
(1,79:20456899,12469534:0,0,0
(1,79:20456899,11683102:0,0,0
)
)
x1,79:21758520,12469534
k1,79:22104406,12469534:345886
)
g1,79:22432086,12469534
)
x1,79:23096549,12469534
k1,79:23321230,12469534:224681
x1,79:24622852,12469534
k1,79:24847533,12469534:224681
x1,79:25903394,12469534
k1,79:26128075,12469534:224681
x1,79:26783436,12469534
k1,79:27008117,12469534:224681
x1,79:27481433,12469534
x1,79:28482680,12469534
x1,79:29232704,12469534
k1,79:29458942,12469534:226238
x1,79:30329838,12469534
k1,80:30570039,12469534:240201
x1,80:31424185,12469534
k1,80:31664386,12469534:240201
x1,80:32836744,12469534
x1,80:34746014,12469534
k1,80:34986215,12469534:240201
x1,80:35522151,12469534
k1,80:35522151,12469534:0
)
(1,82:22432086,13255966:13090065,491520,163840
x1,82:24123632,13255966
g1,80:24342085,13255966
x1,80:25809367,13255966
g1,81:26027820,13255966
x1,81:27757247,13255966
g1,81:27975700,13255966
x1,81:28785800,13255966
x1,81:29554029,13255966
g1,81:29772482,13255966
x1,81:30526142,13255966
g1,81:30744595,13255966
x1,81:32747090,13255966
k1,82:35522151,13255966:2775061
g1,82:35522151,13255966
)
(1,86:22432086,14042398:13090065,491520,163840
(1,83:22432086,14042398:0,491520,163840
g1,83:22432086,14042398
g1,83:20784579,14042398
g1,83:20456899,14042398
(1,83:20456899,14042398:1647507,491520,163840
g1,83:20456899,14042398
(1,83:20456899,14042398:0,0,0
(1,83:20456899,13255966:0,0,0
)
)
x1,83:21658395,14042398
k1,83:22104406,14042398:446011
)
g1,83:22432086,14042398
)
x1,83:23114754,14042398
k1,83:23618016,14042398:503262
x1,83:24455422,14042398
x1,83:26445172,14042398
k1,83:27019635,14042398:574463
x1,83:27640767,14042398
x1,83:27858490,14042398
x1,83:28159953,14042398
x1,83:28704260,14042398
x1,83:29173203,14042398
k1,84:29669698,14042398:496495
x1,84:30275174,14042398
x1,84:30886475,14042398
x1,84:31422409,14042398
x1,84:32862737,14042398
k1,84:33359233,14042398:496496
x1,84:34171510,14042398
k1,84:34668005,14042398:496495
x1,84:35522151,14042398
k1,84:35522151,14042398:0
)
(1,86:22432086,14828830:13090065,455111,127431
x1,86:22919234,14828830
x1,86:23471918,14828830
x1,86:24912244,14828830
k1,84:25555717,14828830:643473
x1,84:26778319,14828830
k1,84:27421792,14828830:643473
x1,84:27991224,14828830
x1,84:29104964,14828830
x1,84:30495047,14828830
k1,84:31269206,14828830:774159
x1,84:32345091,14828830
x1,84:32690977,14828830
x1,84:33603022,14828830
k1,85:34266042,14828830:663020
x1,85:35303698,14828830
x1,85:35522151,14828830
k1,86:35522151,14828830:0
)
(1,86:22432086,15615262:13090065,455111,127431
x1,86:22777972,15615262
x1,86:23307721,15615262
x1,86:24003132,15615262
x1,86:24330813,15615262
k1,85:24889715,15615262:558902
x1,85:25439489,15615262
x1,85:26569988,15615262
k1,85:27128890,15615262:558902
x1,85:28039114,15615262
x1,85:28920210,15615262
k1,85:29564223,15615262:644013
x1,85:31040607,15615262
k1,85:31599508,15615262:558901
x1,85:33092277,15615262
k1,85:33736290,15615262:644013
x1,85:35522151,15615262
k1,86:35522151,15615262:0
)
(1,86:22432086,16401694:13090065,491520,163840
x1,86:27729595,16401694
x1,86:27911640,16401694
k1,86:35522151,16401694:7610511
g1,86:35522151,16401694
)
]
(1,89:35522151,18944488:0,338603,152916
h1,89:35522151,18944488:427800,338603,152916
k1,89:35522151,18944488:-427800
)
)
(1,91:4736286,21067852:30785865,447828,127431
h1,91:4736286,21067852:786432,0,0
x1,91:6797202,21067852
x1,91:7550134,21067852
x1,91:9538047,21067852
k1,91:9760410,21067852:222363
x1,91:10527907,21067852
k1,91:10750271,21067852:222364
x1,91:11800295,21067852
x1,91:13802773,21067852
x1,91:15241276,21067852
k1,91:15468682,21067852:227406
x1,91:19051662,21067852
k1,91:19274025,21067852:222363
x1,91:20041522,21067852
k1,91:20263885,21067852:222363
x1,91:21590253,21067852
x1,91:23407410,21067852
k1,91:23634817,21067852:227407
x1,91:24961185,21067852
x1,91:26568994,21067852
k1,91:26791357,21067852:222363
x1,91:28134108,21067852
x1,91:29501619,21067852
k1,91:29723982,21067852:222363
x1,91:31134811,21067852
k1,91:31357150,21067852:222339
x1,91:32777081,21067852
k1,91:33004487,21067852:227406
x1,91:35134762,21067852
x1,91:35522151,21067852
k1,91:35522151,21067852:0
k1,91:35522151,21067852:0
)
(1,91:4736286,21854284:30785865,455111,0
h1,91:4736286,21854284:786432,0,0
x1,91:6201739,21854284
x1,91:7441091,21854284
g1,91:7675562,21854284
x1,91:8956783,21854284
x1,91:9760685,21854284
x1,91:9996523,21854284
g1,91:10287794,21854284
x1,91:18201197,21854284
k1,91:35522151,21854284:17320954
g1,91:35522151,21854284
)
(1,91:4736286,22640716:30785865,455111,145636
h1,91:4736286,22640716:786432,0,0
x1,91:6898965,22640716
x1,91:7081010,22640716
k1,91:7226645,22640716:145635
$1,91:7226645,22640716
x1,91:8602889,22640716
k1,91:8602889,22640716:0
x1,91:8946950,22640716
k1,91:8946950,22640716:0
x1,91:9291011,22640716
k1,91:9291011,22640716:0
x1,91:9635072,22640716
k1,91:9635072,22640716:0
x1,91:10667255,22640716
k1,91:10667255,22640716:0
x1,91:11011316,22640716
k1,91:11011316,22640716:0
x1,91:12387560,22640716
k1,91:12387560,22640716:0
x1,91:12731621,22640716
k1,91:12731621,22640716:0
x1,91:15140048,22640716
k1,91:15140048,22640716:0
x1,91:15484109,22640716
k1,91:15484109,22640716:0
x1,91:16516292,22640716
k1,91:16516292,22640716:0
x1,91:16860353,22640716
k1,91:16860353,22640716:0
(1,91:16860353,22767690:344061,400498,0
$1,91:16860353,22767690
x1,91:17204414,22767690
$1,91:17204414,22767690
)
x1,91:19268780,22640716
$1,91:19268780,22640716
k1,91:19612841,22640716:344061
x1,91:20668702,22640716
k1,91:21012763,22640716:344061
$1,91:21012763,22640716
x1,91:22389007,22640716
k1,91:22389007,22640716:0
x1,91:22733068,22640716
k1,91:22733068,22640716:0
x1,91:23077129,22640716
k1,91:23077129,22640716:0
x1,91:23421190,22640716
k1,91:23421190,22640716:0
x1,91:25485556,22640716
k1,91:25485556,22640716:0
x1,91:25829617,22640716
k1,91:25829617,22640716:0
x1,91:26861800,22640716
k1,91:26861800,22640716:0
x1,91:27205861,22640716
k1,91:27205861,22640716:0
x1,91:32710837,22640716
k1,91:32710837,22640716:0
x1,91:33054898,22640716
k1,91:33054898,22640716:0
x1,91:34775203,22640716
(1,91:34775203,22739019:32768,0,0
)
x1,91:35496093,22640716
k1,91:35496093,22640716:0
x1,91:35840154,22640716
k1,91:35840154,22640716:0
)
(1,91:4736286,23427148:30785865,455111,54611
x1,91:6456591,23427148
$1,91:6456591,23427148
x1,91:6800652,23427148
k1,91:35522152,23427148:28721500
g1,91:35522152,23427148
)
]
(1,91:4736286,47362867:30785865,380108,0
(1,91:4736286,47362867:30785865,380108,0
k1,91:19977668,47362867:15241382
x1,91:20280770,47362867
k1,91:35522152,47362867:15241382
)
)
]
]
]
!20524
}2
Input:71:C:\drorbn\AcademicPensieve\2015-08\Bott\OnOnInvariants.aux
!78
Postamble:
Count:1225
!26
Post scriptum: