SyncTeX Version:1
Input:1:C:/drorbn\AcademicPensieve\Projects\SL2Invariant\CS-SL2Invariant.tex
Input:2:C:\Program Files\MiKTeX 2.9\tex\latex\base\article.cls
Input:3:C:\Program Files\MiKTeX 2.9\tex\latex\base\size10.clo
Input:4:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amsmath.sty
Input:5:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amstext.sty
Input:6:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amsgen.sty
Input:7:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amsbsy.sty
Input:8:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amsopn.sty
Input:9:C:\Program Files\MiKTeX 2.9\tex\latex\graphics\graphicx.sty
Input:10:C:\Program Files\MiKTeX 2.9\tex\latex\graphics\keyval.sty
Input:11:C:\Program Files\MiKTeX 2.9\tex\latex\graphics\graphics.sty
Input:12:C:\Program Files\MiKTeX 2.9\tex\latex\graphics\trig.sty
Input:13:C:\Program Files\MiKTeX 2.9\tex\latex\00miktex\graphics.cfg
Input:14:C:\Program Files\MiKTeX 2.9\tex\latex\pdftex-def\pdftex.def
Input:15:C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\infwarerr.sty
Input:16:C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\ltxcmds.sty
Input:17:C:\Program Files\MiKTeX 2.9\tex\latex\amsfonts\amssymb.sty
Input:18:C:\Program Files\MiKTeX 2.9\tex\latex\amsfonts\amsfonts.sty
Input:19:C:\Program Files\MiKTeX 2.9\tex\latex\stmaryrd\stmaryrd.sty
Input:20:C:\Program Files\MiKTeX 2.9\tex\latex\datetime\datetime.sty
Input:21:C:\Program Files\MiKTeX 2.9\tex\latex\etoolbox\etoolbox.sty
Input:22:C:\Program Files\MiKTeX 2.9\tex\latex\fmtcount\fmtcount.sty
Input:23:C:\Program Files\MiKTeX 2.9\tex\latex\base\ifthen.sty
Input:24:C:\Program Files\MiKTeX 2.9\tex\latex\xkeyval\xkeyval.sty
Input:25:C:\Program Files\MiKTeX 2.9\tex\generic\xkeyval\xkeyval.tex
Input:26:C:\Program Files\MiKTeX 2.9\tex\generic\xkeyval\xkvutils.tex
Input:27:C:\Program Files\MiKTeX 2.9\tex\latex\fmtcount\fcprefix.sty
Input:28:C:\Program Files\MiKTeX 2.9\tex\latex\fmtcount\fcnumparser.sty
Input:29:C:\Program Files\MiKTeX 2.9\tex\generic\ifxetex\ifxetex.sty
Input:30:C:\Program Files\MiKTeX 2.9\tex\latex\fmtcount\fc-english.def
Input:31:C:\Program Files\MiKTeX 2.9\tex\latex\datetime\datetime-defaults.sty
Input:32:C:\Program Files\MiKTeX 2.9\tex\latex\tools\multicol.sty
Input:33:C:\Program Files\MiKTeX 2.9\tex\latex\tools\calc.sty
Input:34:C:\Program Files\MiKTeX 2.9\tex\latex\import\import.sty
Input:35:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amscd.sty
Input:36:C:\Program Files\MiKTeX 2.9\tex\latex\picins\picins.sty
Input:37:C:\Program Files\MiKTeX 2.9\tex\latex\enumitem\enumitem.sty
Input:38:C:\Program Files\MiKTeX 2.9\tex\latex\needspace\needspace.sty
Input:39:C:\Program Files\MiKTeX 2.9\tex\latex\mathtools\mathtools.sty
Input:40:C:\Program Files\MiKTeX 2.9\tex\latex\mathtools\mhsetup.sty
Input:41:C:\Program Files\MiKTeX 2.9\tex\latex\jknappen\mathbbol.sty
Input:42:C:\Program Files\MiKTeX 2.9\tex\latex\xcolor\xcolor.sty
Input:43:C:\Program Files\MiKTeX 2.9\tex\latex\00miktex\color.cfg
Input:44:C:\Program Files\MiKTeX 2.9\tex\latex\graphics\dvipsnam.def
Input:45:C:\Program Files\MiKTeX 2.9\tex\latex\hyperref\hyperref.sty
Input:46:C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\hobsub-hyperref.sty
Input:47:C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\hobsub-generic.sty
Input:48:C:\Program Files\MiKTeX 2.9\tex\latex\oberdiek\auxhook.sty
Input:49:C:\Program Files\MiKTeX 2.9\tex\latex\oberdiek\kvoptions.sty
Input:50:C:\Program Files\MiKTeX 2.9\tex\latex\hyperref\pd1enc.def
Input:51:C:\Program Files\MiKTeX 2.9\tex\latex\00miktex\hyperref.cfg
Input:52:C:\Program Files\MiKTeX 2.9\tex\latex\url\url.sty
Input:53:C:\Program Files\MiKTeX 2.9\tex\latex\hyperref\hpdftex.def
Input:54:C:\Program Files\MiKTeX 2.9\tex\latex\oberdiek\rerunfilecheck.sty
Input:55:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xy.sty
Input:56:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xy.tex
Input:57:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xyrecat.tex
Input:58:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xyidioms.tex
Input:59:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xyall.tex
Input:60:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xycurve.tex
Input:61:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xyframe.tex
Input:62:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xycmtip.tex
Input:63:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xytips.tex
Input:64:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xyline.tex
Input:65:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xyrotate.tex
Input:66:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xycolor.tex
Input:67:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xymatrix.tex
Input:68:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xyarrow.tex
Input:69:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xygraph.tex
Input:70:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xypdf.tex
Input:71:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xypdf-co.tex
Input:72:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xypdf-cu.tex
Input:73:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xypdf-fr.tex
Input:74:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xypdf-li.tex
Input:75:C:\Program Files\MiKTeX 2.9\tex\generic\xypic\xypdf-ro.tex
Input:76:C:\Program Files\MiKTeX 2.9\tex\latex\pstricks\pstricks.sty
Input:77:C:\Program Files\MiKTeX 2.9\tex\generic\pstricks\base\pstricks.tex
Input:78:C:\Program Files\MiKTeX 2.9\tex\generic\xkeyval\pst-xkey.tex
Input:79:C:\Program Files\MiKTeX 2.9\tex\generic\pstricks\base\pst-fp.tex
Input:80:C:\Program Files\MiKTeX 2.9\tex\generic\pgf\utilities\pgfutil-common.tex
Input:81:C:\Program Files\MiKTeX 2.9\tex\generic\pgf\utilities\pgfutil-common-lists.tex
Input:82:C:\Program Files\MiKTeX 2.9\tex\generic\pgf\utilities\pgfkeys.code.tex
Input:83:C:\Program Files\MiKTeX 2.9\tex\generic\pgf\utilities\pgfkeysfiltered.code.tex
Input:84:C:\Program Files\MiKTeX 2.9\tex\generic\pgf\utilities\pgffor.code.tex
Input:85:C:\Program Files\MiKTeX 2.9\tex\generic\pgf\math\pgfmath.code.tex
Input:86:C:\Program Files\MiKTeX 2.9\tex\generic\pgf\math\pgfmathcalc.code.tex
Input:87:C:\Program Files\MiKTeX 2.9\tex\generic\pgf\math\pgfmathutil.code.tex
Input:88:C:\Program Files\MiKTeX 2.9\tex\generic\pgf\math\pgfmathparser.code.tex
Input:89:C:\Program Files\MiKTeX 2.9\tex\generic\pgf\math\pgfmathfunctions.code.tex
Input:90:C:\Program Files\MiKTeX 2.9\tex\generic\pgf\math\pgfmathfunctions.basic.code.tex
Input:91:C:\Program Files\MiKTeX 2.9\tex\generic\pgf\math\pgfmathfunctions.trigonometric.code.tex
Input:92:C:\Program Files\MiKTeX 2.9\tex\generic\pgf\math\pgfmathfunctions.random.code.tex
Input:93:C:\Program Files\MiKTeX 2.9\tex\generic\pgf\math\pgfmathfunctions.comparison.code.tex
Input:94:C:\Program Files\MiKTeX 2.9\tex\generic\pgf\math\pgfmathfunctions.base.code.tex
Input:95:C:\Program Files\MiKTeX 2.9\tex\generic\pgf\math\pgfmathfunctions.round.code.tex
Input:96:C:\Program Files\MiKTeX 2.9\tex\generic\pgf\math\pgfmathfunctions.misc.code.tex
Input:97:C:\Program Files\MiKTeX 2.9\tex\generic\pgf\math\pgfmathfunctions.integerarithmetics.code.tex
Input:98:C:\Program Files\MiKTeX 2.9\tex\generic\pgf\math\pgfmathfloat.code.tex
Input:99:C:\Program Files\MiKTeX 2.9\tex\generic\pstricks\base\pstricks.con
Input:100:C:\Program Files\MiKTeX 2.9\tex\generic\pstricks\base\pst-fp.tex
Input:101:C:\drorbn\AcademicPensieve\Projects\SL2Invariant\CS-SL2Invariant.aux
Input:102:C:\Program Files\MiKTeX 2.9\tex\context\base\supp-pdf.mkii
Input:103:C:\Program Files\MiKTeX 2.9\tex\latex\hyperref\nameref.sty
Input:104:C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\gettitlestring.sty
Input:105:C:\drorbn\AcademicPensieve\Projects\SL2Invariant\CS-SL2Invariant.out
Input:106:C:\drorbn\AcademicPensieve\Projects\SL2Invariant\CS-SL2Invariant.out
Input:107:C:\Program Files\MiKTeX 2.9\tex\latex\amsfonts\umsa.fd
Input:108:C:\Program Files\MiKTeX 2.9\tex\latex\amsfonts\umsb.fd
Input:109:C:\Program Files\MiKTeX 2.9\tex\latex\stmaryrd\ustmry.fd
Input:110:C:\Program Files\MiKTeX 2.9\tex\latex\bbold\ubbold.fd
Input:111:C:\Program Files\MiKTeX 2.9\tex\latex\base\omscmr.fd
Output:pdf
Magnification:1000
Unit:1
X Offset:0
Y Offset:0
Content:
!8033
{1
[1,154:4736286,50915081:34338078,46178795,0
h1,154:4736286,4736286:0,0,0
[1,154:4736286,4736286:0,0,0
(1,154:4736286,1118290:0,0,0
k1,154:4736286,1118290:3617996
)
]
[1,154:4736286,50915081:34338078,46178795,0
[1,154:1184071,50915081:37890293,49731010,0
[1,154:1184071,1184071:37890293,0,0
(1,154:1184071,1184071:37890293,0,0
h1,154:1184071,1184071:37890293,0,0
)
]
[1,154:1184071,50915081:37890293,49731010,0
(1,115:1184071,1970503:37890293,786432,169868
h1,109:1184071,1970503:0,0,0
x1,109:4508055,1970503
g1,109:4932728,1970503
x1,109:8006364,1970503
g1,109:8431037,1970503
$1,109:8431037,1970503
x1,109:9283653,1970503
(1,109:9283653,2140371:417788,506811,0
x1,109:9668673,2140371
)
$1,109:9701441,1970503
x1,109:10126114,1970503
x1,109:11308383,1970503
x1,109:11945392,1970503
x1,109:14695281,1970503
x1,109:15155343,1970503
k1,109:16634575,1970503:1479232
x1,109:17799662,1970503
g1,109:18018115,1970503
$1,109:18018115,1970503
x1,109:18520861,1970503
(1,109:18520861,2068806:294003,295640,0
x1,109:18782096,2068806
)
$1,109:18814864,1970503
g1,109:19033317,1970503
x1,109:19397407,1970503
x1,109:21474541,1970503
g1,109:21692994,1970503
x1,109:22748855,1970503
g1,109:22967308,1970503
x1,109:23513443,1970503
x1,109:23841124,1970503
x1,109:25262895,1970503
x1,109:25754416,1970503
k1,109:27233648,1970503:1479232
[1,114:27233648,1970503:11840716,786432,81920
h1,114:27233648,1184071:0,0,0
(1,114:27233648,1577287:11840716,227555,72817
h1,114:27233648,1577287:0,0,0
k1,114:29151690,1577287:1918042
$1,114:29151690,1577287
x1,114:29848018,1577287
g1,114:29848018,1577287
x1,114:30022100,1577287
g1,114:30022100,1577287
x1,114:30196182,1577287
g1,114:30196182,1577287
x1,114:30370264,1577287
g1,114:30370264,1577287
x1,114:31414756,1577287
g1,114:31414756,1577287
x1,114:31588838,1577287
g1,114:31588838,1577287
x1,114:32111084,1577287
g1,114:32111084,1577287
x1,114:32285166,1577287
g1,114:32285166,1577287
x1,114:35070478,1577287
g1,114:35070478,1577287
x1,114:35244560,1577287
g1,114:35244560,1577287
x1,114:36637216,1577287
g1,114:36637216,1577287
x1,114:36811298,1577287
g1,114:36811298,1577287
x1,114:39074364,1577287
$1,114:39074364,1577287
g1,114:39074364,1577287
g1,114:39074364,1577287
)
(1,114:27233648,1970503:11840716,245760,81920
h1,114:27233648,1970503:0,0,0
k1,114:34577798,1970503:7344150
x1,114:35160350,1970503
x1,114:36270836,1970503
g1,114:36425576,1970503
x1,114:37895608,1970503
g1,114:38050348,1970503
x1,114:39074364,1970503
g1,114:39074364,1970503
g1,114:39074364,1970503
)
]
g1,115:39074364,1970503
g1,115:39074364,1970503
)
(1,119:1184071,2197532:37890293,65536,0
h1,117:1184071,2197532:0,0,0
(1,117:1184071,2197532:37890293,65536,0
r1,117:39074364,2197532:37890293,65536,0
)
g1,117:39074364,2197532
)
(1,119:1184071,2983964:37890293,0,0
k1,119:39074363,2983964:37890292
g1,119:39074363,2983964
)
(1,154:1184071,50915081:37890293,48505356,127431
[1,154:1184071,50915081:18617466,48505356,0
(1,123:1184071,3065085:18617466,551306,127431
h1,122:1184071,3065085:0,0,0
x1,122:2168926,3065085
x1,122:3921185,3065085
g1,122:4212456,3065085
x1,122:5068067,3065085
g1,122:5286520,3065085
x1,122:6162155,3065085
g1,122:6380608,3065085
x1,122:6908539,3065085
g1,122:7126992,3065085
x1,122:8037216,3065085
g1,122:8255669,3065085
x1,122:9586418,3065085
g1,122:9804871,3065085
$1,122:9804871,3065085
x1,122:10114349,3065085
(1,122:10114349,2827260:1207359,313481,89201
x1,122:11288940,2827260
)
x1,122:11742458,3065085
$1,122:11833481,3065085
x1,122:12015526,3065085
g1,122:12233979,3065085
x1,122:13910610,3065085
k1,123:19801537,3065085:5890927
g1,123:19801537,3065085
)
(1,128:1839432,3851517:17962105,491524,187504
(1,124:1839432,3851517:0,291271,0
g1,124:1839432,3851517
g1,124:1511751,3851517
g1,124:1184071,3851517
(1,124:1184071,3851517:327681,291271,0
k1,124:1511752,3851517:327681
(1,124:1511752,3851517:0,291271,0
k1,124:1184071,3851517:-327681
x1,124:1511752,3851517
)
)
g1,124:1839432,3851517
)
$1,124:1839432,3851517
x1,124:2285442,3851517
$1,124:2285442,3851517
k1,124:2682164,3851517:396722
x1,124:3122712,3851517
k1,124:3519434,3851517:396722
x1,124:3847115,3851517
k1,124:4243837,3851517:396722
x1,124:6958126,3851517
k1,124:7354848,3851517:396722
x1,124:7882779,3851517
k1,124:8279500,3851517:396721
x1,124:9189724,3851517
k1,124:9586446,3851517:396722
x1,124:10917195,3851517
k1,124:11313917,3851517:396722
$1,124:11313917,3851517
(1,124:11313917,3359993:691771,0,655368
x1,124:12005688,3359993
)
k1,124:12114912,3851517:109224
x1,124:12310458,3851517
(1,124:12310458,3949820:570200,318577,89201
x1,124:12560848,3949820
x1,124:12818138,3949820
)
x1,124:13185433,3851517
x1,124:13500977,3851517
$1,124:13549332,3851517
x1,124:13731377,3851517
k1,124:14172665,3851517:441288
x1,124:15849296,3851517
k1,125:16246018,3851517:396722
$1,125:16246018,3851517
x1,125:16550793,3851517
$1,125:16579616,3851517
k1,125:16976338,3851517:396722
x1,125:18219704,3851517
k1,125:18616426,3851517:396722
x1,125:18944107,3851517
x1,125:19271788,3851517
x1,125:19801537,3851517
k1,125:19801537,3851517:0
)
(1,128:1839432,4637949:17962105,491520,187504
x1,128:2403771,4637949
(1,125:2403771,4736252:218188,303558,0
x1,125:2589191,4736252
)
x1,125:2804004,4637949
g1,125:2913228,4637949
x1,125:3332463,4637949
(1,125:3332463,4736252:218188,303558,0
x1,125:3517883,4736252
)
x1,125:3878332,4637949
(1,125:3878332,4736252:918242,313481,34716
x1,125:4738730,4736252
)
$1,125:4796574,4637949
g1,125:5015027,4637949
x1,125:6070888,4637949
g1,125:6289341,4637949
$1,125:6289341,4637949
x1,125:6576062,4637949
$1,125:6624417,4637949
g1,125:6842870,4637949
x1,125:7170551,4637949
x1,125:7498232,4637949
x1,125:8027981,4637949
g1,125:8246434,4637949
$1,126:8246434,4637949
x1,126:8860608,4637949
(1,126:8860608,4736252:218188,303558,0
x1,126:9046028,4736252
)
x1,126:9260841,4637949
g1,126:9370065,4637949
x1,126:9716481,4637949
(1,126:9716481,4736252:218188,303558,0
x1,126:9901901,4736252
)
x1,126:10262350,4637949
(1,126:10262350,4736252:918242,313481,34716
x1,126:11122748,4736252
)
$1,126:11180592,4637949
x1,126:11362637,4637949
g1,126:11581090,4637949
x1,126:12855404,4637949
g1,126:13073857,4637949
x1,126:13255902,4637949
x1,126:13619992,4637949
x1,126:14147921,4637949
x1,126:15023556,4637949
g1,126:15242009,4637949
x1,126:15533280,4637949
x1,126:15860961,4637949
x1,126:16170437,4637949
x1,126:16716572,4637949
x1,126:17845249,4637949
x1,126:18340410,4637949
g1,127:18558863,4637949
$1,127:18558863,4637949
x1,127:18754409,4637949
(1,127:18754409,4736252:570200,318577,89201
x1,127:19004799,4736252
x1,127:19262089,4736252
)
$1,127:19324609,4637949
x1,127:19506654,4637949
k1,128:19801537,4637949:294883
g1,128:19801537,4637949
)
(1,132:1839432,5555453:17962105,491524,187504
(1,128:1839432,5555453:0,291271,0
g1,128:1839432,5555453
g1,128:1511751,5555453
g1,128:1184071,5555453
(1,128:1184071,5555453:327681,291271,0
k1,128:1511752,5555453:327681
(1,128:1511752,5555453:0,291271,0
k1,128:1184071,5555453:-327681
x1,128:1511752,5555453
)
)
g1,128:1839432,5555453
)
$1,128:1839432,5555453
x1,128:2357530,5555453
$1,128:2357530,5555453
k1,128:2739221,5555453:381691
x1,128:3179769,5555453
k1,128:3561459,5555453:381690
x1,128:3889140,5555453
k1,128:4270830,5555453:381690
x1,128:6985119,5555453
k1,128:7366810,5555453:381691
x1,128:7894741,5555453
k1,128:8276431,5555453:381690
x1,128:9186655,5555453
k1,128:9568346,5555453:381691
x1,128:10899095,5555453
k1,128:11280786,5555453:381691
$1,128:11280786,5555453
(1,128:11280786,5063929:691771,0,655368
x1,128:11972557,5063929
)
k1,128:12081781,5555453:109224
x1,128:12374342,5555453
(1,128:12374342,5653756:570200,318577,89201
x1,128:12624732,5653756
x1,128:12882022,5653756
)
x1,128:13249317,5555453
x1,128:13564861,5555453
$1,128:13613216,5555453
x1,128:13795261,5555453
k1,128:14217760,5555453:422499
x1,128:15894391,5555453
k1,128:16276081,5555453:381690
$1,128:16276081,5555453
x1,128:16580856,5555453
$1,128:16609679,5555453
k1,128:16991370,5555453:381691
x1,128:18234736,5555453
k1,129:18616426,5555453:381690
x1,129:18944107,5555453
x1,129:19271788,5555453
x1,129:19801537,5555453
k1,129:19801537,5555453:0
)
(1,132:1839432,6341885:17962105,491520,187504
x1,132:2541669,6341885
(1,129:2541669,6440188:218188,303558,0
x1,129:2727089,6440188
)
x1,129:2941902,6341885
k1,129:3051126,6341885:109224
x1,129:3376532,6341885
(1,129:3376532,6440188:218188,303558,0
x1,129:3561952,6440188
)
x1,129:3922401,6341885
(1,129:3922401,6440188:918242,313481,34716
x1,129:4782799,6440188
)
$1,129:4840643,6341885
k1,129:5127810,6341885:287167
x1,129:6183671,6341885
k1,129:6470839,6341885:287168
$1,129:6470839,6341885
x1,129:6757560,6341885
$1,129:6805915,6341885
k1,129:7093082,6341885:287167
x1,129:7420763,6341885
x1,129:7748444,6341885
x1,129:8278193,6341885
k1,129:8565361,6341885:287168
$1,130:8565361,6341885
x1,130:9179763,6341885
(1,130:9179763,6440188:218188,303558,0
x1,130:9365183,6440188
)
x1,130:9579996,6341885
k1,130:9689220,6341885:109224
x1,130:10010531,6341885
(1,130:10010531,6440188:218188,303558,0
x1,130:10195951,6440188
)
x1,130:10556400,6341885
(1,130:10556400,6440188:918242,313481,34716
x1,130:11416798,6440188
)
$1,130:11474642,6341885
x1,130:11656687,6341885
k1,130:11961032,6341885:304345
x1,130:13235346,6341885
k1,130:13522514,6341885:287168
x1,130:13813785,6341885
x1,130:14141466,6341885
x1,130:14450942,6341885
x1,130:14997077,6341885
x1,130:16125754,6341885
x1,130:16620915,6341885
k1,130:16908082,6341885:287167
$1,130:16908082,6341885
x1,130:17200643,6341885
(1,130:17200643,6440188:570200,318577,89201
x1,130:17451033,6440188
x1,130:17708323,6440188
)
$1,130:17770843,6341885
k1,130:18058011,6341885:287168
x1,130:18604146,6341885
k1,130:18891313,6341885:287167
x1,130:19801537,6341885
k1,130:19801537,6341885:0
)
(1,132:1839432,7128317:17962105,491520,163840
x1,132:2969931,7128317
g1,130:3188384,7128317
$1,130:3188384,7128317
x1,130:3685992,7128317
(1,130:3685992,7226620:379655,313481,0
x1,130:4007803,7226620
)
$1,130:4065647,7128317
g1,130:4284100,7128317
x1,130:4812031,7128317
g1,130:5030484,7128317
x1,130:5614848,7128317
x1,130:6379437,7128317
x1,130:7253253,7128317
g1,130:7471706,7128317
x1,130:8691407,7128317
x1,130:10078589,7128317
g1,131:10297042,7128317
x1,131:10843177,7128317
g1,131:11061630,7128317
$1,131:11061630,7128317
x1,131:11772287,7128317
(1,131:11772287,7226620:218188,303558,0
x1,131:11957707,7226620
)
x1,131:12172520,7128317
g1,131:12281744,7128317
x1,131:12805030,7128317
(1,131:12805030,7226620:218188,303558,0
x1,131:12990450,7226620
)
x1,131:13350899,7128317
(1,131:13350899,7226620:918242,313481,34716
x1,131:14211297,7226620
)
$1,131:14269141,7128317
x1,131:14451186,7128317
k1,132:19801537,7128317:5350351
g1,132:19801537,7128317
)
(1,134:1839432,8045821:17962105,556402,163844
(1,132:1839432,8045821:0,291271,0
g1,132:1839432,8045821
g1,132:1511751,8045821
g1,132:1184071,8045821
(1,132:1184071,8045821:327681,291271,0
k1,132:1511752,8045821:327681
(1,132:1511752,8045821:0,291271,0
k1,132:1184071,8045821:-327681
x1,132:1511752,8045821
)
)
g1,132:1839432,8045821
)
$1,132:1839432,8045821
x1,132:2260182,8045821
k1,132:2533245,8045821:182040
x1,132:3042971,8045821
k1,132:3225011,8045821:182040
(1,132:3225011,7554297:691771,0,655368
x1,132:3916782,7554297
)
k1,132:4026006,8045821:109224
x1,132:4292019,8045821
(1,132:4292019,7807996:322448,318577,0
x1,132:4570625,7807996
)
x1,132:5035217,8045821
(1,132:5035217,8144124:322448,318577,0
x1,132:5313823,8144124
)
$1,132:5357665,8045821
k1,132:5545106,8045821:187441
x1,132:5985654,8045821
k1,132:6173095,8045821:187441
x1,132:6864866,8045821
x1,132:7829703,8045821
k1,132:8017143,8045821:187440
x1,132:8272006,8045821
$1,132:8272006,8045821
(1,132:8272006,8045821:992143,455111,127431
x1,132:9255048,8045821
)
k1,132:9373373,8045821:109224
x1,132:9794123,8045821
(1,132:9794123,8144124:322448,318577,0
x1,132:10072729,8144124
)
k1,132:10298611,8045821:182040
x1,132:10808337,8045821
k1,132:10990377,8045821:182040
x1,132:11659241,8045821
$1,132:11679872,8045821
x1,132:11934735,8045821
k1,132:12122176,8045821:187441
x1,132:12668311,8045821
k1,132:12855752,8045821:187441
$1,132:12855752,8045821
x1,132:13504744,8045821
(1,132:13504744,8144124:218188,303558,0
x1,132:13690164,8144124
)
x1,132:13904977,8045821
k1,132:14014201,8045821:109224
x1,132:14360617,8045821
(1,132:14360617,8144124:218188,303558,0
x1,132:14546037,8144124
)
x1,132:14760850,8045821
k1,132:14870074,8045821:109224
x1,132:15244630,8045821
(1,132:15244630,8144124:218188,303558,0
x1,132:15430050,8144124
)
x1,132:15644863,8045821
k1,132:15754087,8045821:109224
x1,132:16079493,8045821
(1,132:16079493,8144124:218188,303558,0
x1,132:16264913,8144124
)
x1,132:16479726,8045821
k1,132:16588950,8045821:109224
x1,132:16875671,8045821
(1,132:16875671,8144124:218188,303558,0
x1,132:17061091,8144124
)
x1,132:17421540,8045821
(1,132:17421540,8144124:918242,313481,34716
x1,132:18281938,8144124
)
$1,132:18339782,8045821
k1,132:18527223,8045821:187441
x1,132:19801537,8045821
k1,132:19801537,8045821:0
)
(1,134:1839432,8832253:17962105,491520,163840
x1,134:2130703,8832253
x1,134:2458384,8832253
x1,134:2767860,8832253
x1,134:3313995,8832253
x1,134:4442672,8832253
x1,134:4937833,8832253
k1,132:5083817,8832253:145984
x1,132:5629952,8832253
k1,132:5775937,8832253:145985
$1,132:5775937,8832253
x1,132:6273545,8832253
(1,132:6273545,8930556:379655,313481,0
x1,132:6595356,8930556
)
$1,132:6653200,8832253
x1,132:6835245,8832253
k1,132:6995723,8832253:160478
x1,132:8051584,8832253
k1,133:8197569,8832253:145985
x1,133:9874200,8832253
k1,133:10020184,8832253:145984
$1,133:10020184,8832253
(1,133:10020184,8832253:992143,455111,127431
x1,133:11003226,8832253
)
x1,133:11588501,8832253
(1,133:11588501,8930556:218188,303558,0
x1,133:11773921,8930556
)
x1,133:11988734,8832253
k1,133:12097958,8832253:109224
x1,133:12444374,8832253
(1,133:12444374,8930556:218188,303558,0
x1,133:12629794,8930556
)
x1,133:12844607,8832253
k1,133:12953831,8832253:109224
x1,133:13328387,8832253
(1,133:13328387,8930556:218188,303558,0
x1,133:13513807,8930556
)
x1,133:13728620,8832253
k1,133:13837844,8832253:109224
x1,133:14163250,8832253
(1,133:14163250,8930556:218188,303558,0
x1,133:14348670,8930556
)
x1,133:14563483,8832253
k1,133:14672707,8832253:109224
x1,133:14959428,8832253
(1,133:14959428,8930556:218188,303558,0
x1,133:15144848,8930556
)
x1,133:15432479,8832253
k1,133:15614519,8832253:182040
x1,133:16124245,8832253
k1,133:16306285,8832253:182040
x1,133:17070874,8832253
k1,133:17180098,8832253:109224
x1,133:17689824,8832253
k1,133:17799048,8832253:109224
x1,133:18308774,8832253
k1,133:18417998,8832253:109224
x1,133:18927724,8832253
k1,133:19036948,8832253:109224
x1,133:19619492,8832253
$1,133:19619492,8832253
x1,133:19801537,8832253
k1,134:19801537,8832253:0
k1,134:19801537,8832253:0
)
(1,137:1184071,9618685:18617466,455111,145636
h1,136:1184071,9618685:0,0,0
x1,136:1888579,9618685
g1,136:2139799,9618685
x1,136:8542247,9618685
g1,136:8833518,9618685
x1,136:10296248,9618685
x1,136:11428567,9618685
g1,136:11647020,9618685
x1,136:12229564,9618685
g1,136:12448017,9618685
x1,136:12995971,9618685
x1,136:13869787,9618685
x1,136:14197468,9618685
x1,136:14470534,9618685
g1,136:14688987,9618685
$1,136:14688987,9618685
x1,136:15043065,9618685
$1,136:15043065,9618685
g1,136:15261518,9618685
x1,136:16317379,9618685
g1,136:16535832,9618685
$1,136:16535832,9618685
x1,136:16875132,9618685
$1,136:16911540,9618685
x1,136:17093585,9618685
k1,137:19801537,9618685:2707952
g1,137:19801537,9618685
)
(1,139:1184071,10405117:18617466,491520,163840
h1,138:1184071,10405117:0,0,0
x1,138:1959576,10405117
k1,138:2193117,10405117:233541
x1,138:3813317,10405117
k1,138:4046857,10405117:233540
x1,138:4410947,10405117
x1,138:4720423,10405117
x1,138:6435284,10405117
k1,138:6668825,10405117:233541
x1,138:7196756,10405117
k1,138:7430297,10405117:233541
x1,138:8340521,10405117
k1,138:8574062,10405117:233541
x1,138:11093560,10405117
x1,138:11912762,10405117
x1,138:12367873,10405117
k1,138:12601413,10405117:233540
x1,138:13293184,10405117
x1,138:13875728,10405117
x1,138:15006227,10405117
x1,138:16721090,10405117
k1,138:16954631,10405117:233541
$1,138:16954631,10405117
x1,138:17530805,10405117
x1,138:17736363,10405117
k1,138:17845587,10405117:109224
x1,138:18308890,10405117
k1,138:18418114,10405117:109224
x1,138:18938990,10405117
k1,138:19146176,10405117:207186
x1,138:19801537,10405117
k1,139:19801537,10405117:0
)
(1,139:1184071,11191549:18617466,491520,163840
x1,139:2269971,11191549
x1,138:2475529,11191549
g1,138:2584753,11191549
x1,138:3557782,11191549
g1,138:3667006,11191549
x1,138:4697608,11191549
$1,138:4697608,11191549
x1,138:5007084,11191549
k1,139:19801537,11191549:14794453
g1,139:19801537,11191549
)
(1,154:1184071,12439230:18617466,1018305,0
h1,154:1184071,12439230:0,0,0
(1,154:1184071,12439230:5430964,1018305,0
(1,154:1184071,12439230:5430964,1018305,0
(1,154:1184071,12439230:5430977,1018308,0
(1,154:1184071,12439230:5430977,1018308,0
(1,154:1184071,12439230:0,1578762,0
(1,154:1184071,12439230:8420065,1578762,0
)
k1,154:1184071,12439230:-8420065
)
)
)
)
)
k1,154:19801537,12439230:13186502
g1,154:19801537,12439230
)
(1,154:1184071,13310923:18617466,806157,0
h1,154:1184071,13310923:0,0,0
(1,154:1184071,13310923:4370229,806157,0
(1,154:1184071,13310923:4370229,806157,0
(1,154:1184071,13310923:4370239,806160,0
(1,154:1184071,13310923:4370239,806160,0
(1,154:1184071,13310923:0,1249853,0
(1,154:1184071,13310923:6775521,1249853,0
)
k1,154:1184071,13310923:-6775521
)
)
)
)
)
k1,154:19801537,13310923:14247237
g1,154:19801537,13310923
)
(1,154:1184071,24747541:18617466,11371082,0
h1,154:1184071,24747541:0,0,0
(1,154:1184071,24747541:16759617,11371082,0
(1,154:1184071,24747541:16759617,11371082,0
(1,154:1184071,24747541:16759658,11371110,0
(1,154:1184071,24747541:16759658,11371110,0
(1,154:1184071,24747541:0,17629512,0
(1,154:1184071,24747541:25983795,17629512,0
)
k1,154:1184070,24747541:-25983796
)
)
)
)
)
k1,154:19801537,24747541:1857849
g1,154:19801537,24747541
)
(1,154:1184071,25619234:18617466,806157,0
h1,154:1184071,25619234:0,0,0
(1,154:1184071,25619234:4539946,806157,0
(1,154:1184071,25619234:4539946,806157,0
(1,154:1184071,25619234:4539958,806160,0
(1,154:1184071,25619234:4539958,806160,0
(1,154:1184071,25619234:0,1249853,0
(1,154:1184071,25619234:7038648,1249853,0
)
k1,154:1184071,25619234:-7038648
)
)
)
)
)
k1,154:19801537,25619234:14077520
g1,154:19801537,25619234
)
(1,154:1184071,26405666:18617466,721299,0
h1,154:1184071,26405666:0,0,0
(1,154:1184071,26405666:9419329,721299,0
(1,154:1184071,26405666:9419329,721299,0
(1,154:1184071,26405666:9419352,721301,0
(1,154:1184071,26405666:9419352,721301,0
(1,154:1184071,26405666:0,1118290,0
(1,154:1184071,26405666:14603551,1118290,0
)
k1,154:1184071,26405666:-14603551
)
)
)
)
)
k1,154:19801537,26405666:9198137
g1,154:19801537,26405666
)
(1,154:1184071,28210807:18617466,1739605,0
h1,154:1184071,28210807:0,0,0
(1,154:1184071,28210807:16250464,1739605,0
(1,154:1184071,28210807:16250464,1739605,0
(1,154:1184071,28210807:16250504,1739610,0
(1,154:1184071,28210807:16250504,1739610,0
(1,154:1184071,28210807:0,2697052,0
(1,154:1184071,28210807:25194414,2697052,0
)
k1,154:1184071,28210807:-25194414
)
)
)
)
)
k1,154:19801537,28210807:2367002
g1,154:19801537,28210807
)
(1,154:1184071,32222277:18617466,3945934,0
h1,154:1184071,32222277:0,0,0
(1,154:1184071,32222277:16886905,3945934,0
(1,154:1184071,32222277:16886905,3945934,0
(1,154:1184071,32222277:16886947,3945945,0
(1,154:1184071,32222277:16886947,3945945,0
(1,154:1184071,32222277:0,6117704,0
(1,154:1184071,32222277:26181140,6117704,0
)
k1,154:1184071,32222277:-26181140
)
)
)
)
)
k1,154:19801537,32222277:1730561
g1,154:19801537,32222277
)
(1,154:1184071,39967536:18617466,7679723,0
h1,154:1184071,39967536:0,0,0
(1,154:1184071,39967536:15614023,7679723,0
(1,154:1184071,39967536:15614023,7679723,0
(1,154:1184071,39967536:15614062,7679742,0
(1,154:1184071,39967536:15614062,7679742,0
(1,154:1184071,39967536:0,11906499,0
(1,154:1184071,39967536:24207688,11906499,0
)
k1,154:1184071,39967536:-24207688
)
)
)
)
)
k1,154:19801537,39967536:3003443
g1,154:19801537,39967536
)
(1,154:1184071,41051377:18617466,1018305,0
h1,154:1184071,41051377:0,0,0
(1,154:1184071,41051377:4285370,1018305,0
(1,154:1184071,41051377:4285370,1018305,0
(1,154:1184071,41051377:4285381,1018308,0
(1,154:1184071,41051377:4285381,1018308,0
(1,154:1184071,41051377:0,1578762,0
(1,154:1184071,41051377:6643958,1578762,0
)
k1,154:1184071,41051377:-6643958
)
)
)
)
)
k1,154:19801537,41051377:14332096
g1,154:19801537,41051377
)
(1,154:1184071,41923070:18617466,806157,0
h1,154:1184071,41923070:0,0,0
(1,154:1184071,41923070:6746275,806157,0
(1,154:1184071,41923070:6746275,806157,0
(1,154:1184071,41923070:6746293,806160,0
(1,154:1184071,41923070:6746293,806160,0
(1,154:1184071,41923070:0,1249853,0
(1,154:1184071,41923070:10459300,1249853,0
)
k1,154:1184071,41923070:-10459300
)
)
)
)
)
k1,154:19801537,41923070:11871191
g1,154:19801537,41923070
)
(1,154:1184071,44364652:18617466,2376046,0
h1,154:1184071,44364652:0,0,0
(1,154:1184071,44364652:12686394,2376046,0
(1,154:1184071,44364652:12686394,2376046,0
(1,154:1184071,44364652:12686425,2376053,0
(1,154:1184071,44364652:12686425,2376053,0
(1,154:1184071,44364652:0,3683779,0
(1,154:1184071,44364652:19668746,3683779,0
)
k1,154:1184071,44364652:-19668746
)
)
)
)
)
k1,154:19801537,44364652:5931072
g1,154:19801537,44364652
)
(1,154:1184071,45236345:18617466,806157,0
h1,154:1184071,45236345:0,0,0
(1,154:1184071,45236345:2927628,806157,0
(1,154:1184071,45236345:2927628,806157,0
(1,154:1184071,45236345:2927636,806160,0
(1,154:1184071,45236345:2927636,806160,0
(1,154:1184071,45236345:0,1249853,0
(1,154:1184071,45236345:4538941,1249853,0
)
k1,154:1184071,45236345:-4538941
)
)
)
)
)
k1,154:19801537,45236345:15689838
g1,154:19801537,45236345
)
(1,154:1184071,49375103:18617466,4073222,0
h1,154:1184071,49375103:0,0,0
(1,154:1184071,49375103:17650634,4073222,0
(1,154:1184071,49375103:17650634,4073222,0
(1,154:1184071,49375103:17650678,4073233,0
(1,154:1184071,49375103:17650678,4073233,0
(1,154:1184071,49375103:0,6315049,0
(1,154:1184071,49375103:27365212,6315049,0
)
k1,154:1184071,49375103:-27365212
)
)
)
)
)
k1,154:19801537,49375103:966832
g1,154:19801537,49375103
)
]
k1,154:20129218,50915081:327681
r1,154:20129218,50915081:0,48632787,127431
k1,154:20456898,50915081:327680
[1,154:20456898,50915081:18617466,48505356,0
(1,154:20456898,4149330:18617466,1739605,0
h1,154:20456898,4149330:0,0,0
(1,154:20456898,4149330:17693064,1739605,0
(1,154:20456898,4149330:17693064,1739605,0
(1,154:20456898,4149330:17693108,1739610,0
(1,154:20456898,4149330:17693108,1739610,0
(1,154:20456898,4149330:0,2697052,0
(1,154:20456898,4149330:27430994,2697052,0
)
k1,154:20456898,4149330:-27430994
)
)
)
)
)
k1,154:39074364,4149330:924402
g1,154:39074364,4149330
)
(1,154:20456898,13761483:18617466,9546617,0
h1,154:20456898,13761483:0,0,0
(1,154:20456898,13761483:17608205,9546617,0
(1,154:20456898,13761483:17608205,9546617,0
(1,154:20456898,13761483:17608248,9546641,0
(1,154:20456898,13761483:17608248,9546641,0
(1,154:20456898,13761483:0,14800896,0
(1,154:20456898,13761483:27299430,14800896,0
)
k1,154:20456898,13761483:-27299430
)
)
)
)
)
k1,154:39074364,13761483:1009261
g1,154:39074364,13761483
)
(1,154:20456898,14633176:18617466,806157,0
h1,154:20456898,14633176:0,0,0
(1,154:20456898,14633176:9376899,806157,0
(1,154:20456898,14633176:9376899,806157,0
(1,154:20456898,14633176:9376923,806160,0
(1,154:20456898,14633176:9376923,806160,0
(1,154:20456898,14633176:0,1249853,0
(1,154:20456898,14633176:14537769,1249853,0
)
k1,154:20456898,14633176:-14537769
)
)
)
)
)
k1,154:39074364,14633176:9240567
g1,154:39074364,14633176
)
(1,154:20456898,19832669:18617466,5133957,0
h1,154:20456898,19832669:0,0,0
(1,154:20456898,19832669:14765435,5133957,0
(1,154:20456898,19832669:14765435,5133957,0
(1,154:20456898,19832669:14765471,5133971,0
(1,154:20456898,19832669:14765471,5133971,0
(1,154:20456898,19832669:0,7959593,0
(1,154:20456898,19832669:22892052,7959593,0
)
k1,154:20456898,19832669:-22892052
)
)
)
)
)
k1,154:39074364,19832669:3852031
g1,154:39074364,19832669
)
(1,154:20456898,22571257:18617466,2673052,0
h1,154:20456898,22571257:0,0,0
(1,154:20456898,22571257:17650634,2673052,0
(1,154:20456898,22571257:17650634,2673052,0
(1,154:20456898,22571257:17650678,2673059,0
(1,154:20456898,22571257:17650678,2673059,0
(1,154:20456898,22571257:0,4144251,0
(1,154:20456898,22571257:27365212,4144251,0
)
k1,154:20456898,22571257:-27365212
)
)
)
)
)
k1,154:39074364,22571257:966832
g1,154:39074364,22571257
)
(1,154:20456898,23357689:18617466,455111,127431
x1,154:21745311,23357689
g1,154:21996531,23357689
x1,154:23085151,23357689
x1,154:24508731,23357689
g1,154:24759951,23357689
x1,154:26048364,23357689
x1,154:26425194,23357689
x1,154:27918407,23357689
g1,154:28209678,23357689
x1,154:28646586,23357689
g1,154:28865039,23357689
$1,154:28865039,23357689
x1,154:29285789,23357689
$1,154:29376812,23357689
g1,154:29595265,23357689
x1,154:30545539,23357689
g1,154:30763992,23357689
x1,154:31091673,23357689
g1,154:31310126,23357689
x1,154:31674216,23357689
x1,154:32766485,23357689
g1,154:32984938,23357689
$1,154:32984938,23357689
x1,154:33271659,23357689
$1,154:33320014,23357689
x1,154:33538467,23357689
x1,154:35542779,23357689
k1,154:39074364,23357689:3531585
g1,154:39074364,23357689
)
(1,154:20456898,24642017:18617466,753669,573445
g1,154:20456898,24642017
(1,154:20456898,24642017:18617466,753669,573445
(1,154:20456898,24642017:18617466,753669,573445
k1,154:28891122,24642017:8434224
(1,154:28891122,24642017:0,550500,235932
[1,154:28891122,24642017:0,550500,235932
(1,103:28891122,24642017:0,550500,235932
r1,154:28891122,24642017:0,786432,235932
)
]
)
$1,154:28891122,24642017
h1,154:28891122,24642017:0,0,0
k1,154:20456898,24642017:-8434224
g1,154:21112258,24642017
g1,154:21221482,24642017
(1,154:21221482,24642017:8463224,753669,425990
(1,154:21221482,23914561:400498,26213,1153446
x1,154:21621980,23914561
)
x1,154:22042730,24642017
x1,154:22693391,24642017
(1,154:22693391,24740320:218188,303558,0
x1,154:22878811,24740320
)
x1,154:23093624,24642017
g1,154:23202848,24642017
x1,154:23489569,24642017
(1,154:23537924,24371424:276140,303558,89201
x1,154:23754787,24371424
)
x1,154:24378405,24642017
(1,154:24378405,24371424:4905803,416162,194786
x1,154:25284954,24371424
(1,154:25301414,24173650:207608,218388,0
x1,154:25476254,24173650
)
x1,154:25759412,24371424
(1,154:25759412,24436960:207608,218388,0
x1,154:25934252,24436960
)
x1,154:26635127,24371424
(1,154:26635127,24436960:244833,218388,63715
x1,154:26827867,24436960
)
x1,154:27118439,24371424
(1,154:27148191,24173650:244833,218388,63715
x1,154:27340931,24173650
)
x1,154:28035545,24371424
[1,154:28035545,24502495:244833,547233,63715
(1,154:28052005,24173650:207608,218388,0
x1,154:28226845,24173650
)
(1,154:28035545,24502495:244833,218388,63715
x1,154:28228285,24502495
)
]
x1,154:28530768,24371424
(1,154:28530768,24436960:207608,218388,0
x1,154:28705608,24436960
)
x1,154:28976855,24371424
(1,154:29006607,24173650:244833,218388,63715
x1,154:29199347,24173650
)
)
(1,154:29284208,23914561:400498,26213,1153446
x1,154:29684706,23914561
)
)
(1,154:29684706,25100774:955434,349459,114688
x1,154:30127986,25100774
(1,154:30157738,24969703:244833,218388,63715
x1,154:30350478,24969703
)
x1,154:30607372,25100774
)
$1,154:30640140,24642017
k1,154:39074364,24642017:8434224
)
)
g1,154:39074364,24642017
)
(1,154:20456898,26231275:18617466,753669,573445
g1,154:20456898,26231275
(1,154:20456898,26231275:18617466,753669,573445
(1,154:20456898,26231275:18617466,753669,573445
k1,154:24653005,26231275:4196107
(1,154:24653005,26231275:0,550500,235932
[1,154:24653005,26231275:0,550500,235932
(1,103:24653005,26231275:0,550500,235932
r1,154:24653005,26231275:0,786432,235932
)
]
)
$1,154:24653005,26231275
h1,154:24653005,26231275:0,0,0
g1,154:24835045,26231275
x1,154:25344771,26231275
g1,154:25526811,26231275
x1,154:25708856,26231275
[1,154:25708856,26231275:316074,437688,127431
(1,154:25757668,26231275:0,437688,0
x1,154:26085349,26231275
)
(1,154:25708856,26231275:316074,282168,127431
x1,154:26001417,26231275
)
]
x1,154:26516453,26231275
(1,154:26516453,25960682:2258823,425329,131071
x1,154:27423002,25960682
(1,154:27439462,25762908:207608,218388,0
x1,154:27614302,25762908
)
[1,154:27647070,25960682:543156,425329,131071
(1,154:27687109,25960682:0,308566,0
x1,154:27948344,25960682
)
(1,154:27647070,25960682:543156,425329,131071
x1,154:27887271,25960682
[1,154:27887271,26091753:302955,556400,0
(1,154:27903731,25762908:286495,227555,0
x1,154:28152149,25762908
)
(1,154:27887271,26091753:207608,218388,0
x1,154:28062111,26091753
)
]
)
]
x1,154:28456013,25960682
(1,154:28456013,26030223:286495,227555,0
x1,154:28704431,26030223
)
)
g1,154:28884500,26231275
(1,154:28884500,26231275:8287801,753669,425990
(1,154:28884500,25503819:400498,26213,1153446
x1,154:29284998,25503819
)
x1,154:29705748,26231275
g1,154:29905995,26231275
(1,154:29905995,26231275:6865808,753669,425990
(1,154:29905995,25503819:391396,26213,1153446
x1,154:30297391,25503819
)
[1,154:30297391,26231275:638522,589170,162016
(1,154:30346203,26231275:0,437688,0
x1,154:30673884,26231275
)
(1,154:30297391,26231275:638522,589170,162016
x1,154:30589952,26231275
[1,154:30589952,26393291:345961,751186,0
(1,154:30613465,25960682:322448,318577,0
x1,154:30892071,25960682
)
(1,154:30589952,26393291:218188,303558,0
x1,154:30775372,26393291
)
]
)
]
x1,154:31495551,26231275
(1,154:31495551,26329578:322448,318577,0
x1,154:31774157,26329578
)
g1,154:31963631,26231275
x1,154:32473357,26231275
g1,154:32618989,26231275
x1,154:32940300,26231275
(1,154:32940300,26329578:322448,318577,0
x1,154:33218906,26329578
)
x1,154:33699656,26231275
g1,154:33808880,26231275
x1,154:34095601,26231275
(1,154:34143956,25960682:276140,303558,89201
x1,154:34360819,25960682
)
g1,154:34565728,26231275
x1,154:35075454,26231275
g1,154:35221086,26231275
x1,154:35546492,26231275
(1,154:35570005,25960682:218188,303558,0
x1,154:35755425,25960682
)
[1,154:35788193,26231275:592214,618493,182676
(1,154:35837005,26231275:0,437688,0
x1,154:36164686,26231275
)
(1,154:35788193,26231275:592214,618493,182676
x1,154:36080754,26231275
[1,154:36080754,26413951:299653,801169,0
(1,154:36104267,25916340:276140,303558,89201
x1,154:36321130,25916340
)
(1,154:36080754,26413951:218188,303558,0
x1,154:36266174,26413951
)
]
)
]
(1,154:36380407,25503819:391396,26213,1153446
x1,154:36771803,25503819
)
)
(1,154:36771803,25503819:400498,26213,1153446
x1,154:37172301,25503819
)
)
(1,154:37172301,26690032:955434,349459,114688
x1,154:37615581,26690032
(1,154:37645333,26558961:244833,218388,63715
x1,154:37838073,26558961
)
x1,154:38094967,26690032
)
g1,154:38236959,26231275
x1,154:38419004,26231275
g1,154:39074364,26231275
k1,154:34878257,26231275:-4196107
$1,154:34878257,26231275
k1,154:39074364,26231275:4196107
)
)
g1,154:39074364,26231275
)
(1,154:20456898,27629833:18617466,618493,259786
x1,154:22133529,27629833
g1,154:22351982,27629833
$1,154:22351982,27629833
[1,154:22351982,27629833:316074,437688,127431
(1,154:22400794,27629833:0,437688,0
x1,154:22728475,27629833
)
(1,154:22351982,27629833:316074,282168,127431
x1,154:22644543,27629833
)
]
$1,154:22668056,27629833
g1,154:22886509,27629833
x1,154:23327057,27629833
g1,154:23545510,27629833
x1,154:24455734,27629833
g1,154:24674187,27629833
x1,154:24856232,27629833
x1,154:25220322,27629833
x1,154:25548003,27629833
x1,154:26627526,27629833
g1,154:26845979,27629833
x1,154:27719795,27629833
x1,154:28759272,27629833
g1,154:28977725,27629833
x1,154:29505656,27629833
g1,154:29724109,27629833
$1,154:29724109,27629833
x1,154:30051790,27629833
g1,154:30197422,27629833
x1,154:30707148,27629833
g1,154:30852780,27629833
x1,154:31145341,27629833
$1,154:31168854,27629833
x1,154:31350899,27629833
g1,154:31642170,27629833
$1,154:31642170,27629833
x1,154:32188304,27629833
[1,154:32188304,27800418:276140,711968,89201
(1,154:32213107,27392008:218188,303558,0
x1,154:32398527,27392008
)
(1,154:32188304,27800418:276140,303558,89201
x1,154:32405167,27800418
)
]
g1,154:32610076,27629833
x1,154:33119802,27629833
g1,154:33265434,27629833
x1,154:33557995,27629833
[1,154:33557995,27800418:276140,711968,89201
(1,154:33581508,27392008:218188,303558,0
x1,154:33766928,27392008
)
(1,154:33557995,27800418:276140,303558,89201
x1,154:33774858,27800418
)
]
x1,154:34088998,27629833
[1,154:34088998,27629833:615009,618493,197695
(1,154:34137810,27629833:0,437688,0
x1,154:34465491,27629833
)
(1,154:34088998,27629833:615009,618493,197695
x1,154:34381559,27629833
[1,154:34381559,27827528:322448,816188,0
(1,154:34405072,27314898:276140,303558,89201
x1,154:34621935,27314898
)
(1,154:34381559,27827528:322448,318577,0
x1,154:34660165,27827528
)
]
)
]
g1,154:34886047,27629833
x1,154:35395773,27629833
g1,154:35577813,27629833
x1,154:35869084,27629833
[1,154:35869084,27815437:322448,726987,0
(1,154:35893887,27392008:218188,303558,0
x1,154:36079307,27392008
)
(1,154:35869084,27815437:322448,318577,0
x1,154:36147690,27815437
)
]
$1,154:36191532,27629833
x1,154:36373577,27629833
k1,154:39074364,27629833:2700787
g1,154:39074364,27629833
)
(1,154:20456898,50654890:18617466,22699735,0
h1,154:20456898,50654890:0,0,0
(1,154:20456898,50654890:17693064,22699735,0
(1,154:20456898,50654890:17693064,22699735,0
(1,154:20456898,50654890:17693108,22699791,0
(1,154:20456898,50654890:17693108,22699791,0
(1,154:20456898,50654890:0,35193242,0
(1,154:20456898,50654890:27430994,35193242,0
)
k1,154:20456898,50654890:-27430994
)
)
)
)
)
k1,154:39074364,50654890:924402
g1,154:39074364,50654890
)
]
(1,154:39074364,50915081:0,282168,127431
h1,154:39074364,50915081:364090,282168,127431
k1,154:39074364,50915081:-364090
)
)
]
(1,154:1184071,50915081:37890293,0,0
h1,154:1184071,50915081:37890293,0,0
)
]
]
]
!33769
}1
!10
{2
[1,154:4736286,50915081:34338078,46178795,0
[1,154:4736286,4736286:0,0,0
(1,154:4736286,1118290:0,0,0
k1,154:4736286,1118290:3617996
)
]
[1,154:4736286,50915081:34338078,46178795,0
[1,154:1184071,50915081:37890293,49731010,0
[1,154:1184071,1184071:37890293,0,0
(1,154:1184071,1184071:37890293,0,0
h1,154:1184071,1184071:37890293,0,0
)
]
[1,154:1184071,50915081:37890293,49731010,0
(1,154:1184071,50915081:37890293,49731010,127431
[1,154:1184071,50915081:18617466,49731010,0
(1,154:1184071,8736506:18617466,7552435,0
h1,154:1184071,8736506:0,0,0
(1,154:1184071,8736506:17396059,7552435,0
(1,154:1184071,8736506:17396059,7552435,0
(1,154:1184071,8736506:17396101,7552453,0
(1,154:1184071,8736506:17396101,7552453,0
(1,154:1184071,8736506:0,11709153,0
(1,154:1184071,8736506:26970522,11709153,0
)
k1,154:1184071,8736506:-26970522
)
)
)
)
)
k1,154:19801537,8736506:1221407
g1,154:19801537,8736506
)
(1,154:1184071,9820347:18617466,1018305,0
h1,154:1184071,9820347:0,0,0
(1,154:1184071,9820347:12686394,1018305,0
(1,154:1184071,9820347:12686394,1018305,0
(1,154:1184071,9820347:12686425,1018308,0
(1,154:1184071,9820347:12686425,1018308,0
(1,154:1184071,9820347:0,1578762,0
(1,154:1184071,9820347:19668746,1578762,0
)
k1,154:1184071,9820347:-19668746
)
)
)
)
)
k1,154:19801537,9820347:5931072
g1,154:19801537,9820347
)
(1,154:1184071,19093064:18617466,9207181,0
h1,154:1184071,19093064:0,0,0
(1,154:1184071,19093064:16759617,9207181,0
(1,154:1184071,19093064:16759617,9207181,0
(1,154:1184071,19093064:16759658,9207205,0
(1,154:1184071,19093064:16759658,9207205,0
(1,154:1184071,19093064:0,14274642,0
(1,154:1184071,19093064:25983795,14274642,0
)
k1,154:1184070,19093064:-25983796
)
)
)
)
)
k1,154:19801537,19093064:1857849
g1,154:19801537,19093064
)
(1,154:1184071,20176905:18617466,1018305,0
h1,154:1184071,20176905:0,0,0
(1,154:1184071,20176905:4709664,1018305,0
(1,154:1184071,20176905:4709664,1018305,0
(1,154:1184071,20176905:4709676,1018308,0
(1,154:1184071,20176905:4709676,1018308,0
(1,154:1184071,20176905:0,1578762,0
(1,154:1184071,20176905:7301775,1578762,0
)
k1,154:1184071,20176905:-7301775
)
)
)
)
)
k1,154:19801537,20176905:13907802
g1,154:19801537,20176905
)
(1,154:1184071,22915493:18617466,2673052,0
h1,154:1184071,22915493:0,0,0
(1,154:1184071,22915493:18117359,2673052,0
(1,154:1184071,22915493:18117359,2673052,0
(1,154:1184071,22915493:18117403,2673059,0
(1,154:1184071,22915493:18117403,2673059,0
(1,154:1184071,22915493:0,4144251,0
(1,154:1184071,22915493:28088812,4144251,0
)
k1,154:1184071,22915493:-28088812
)
)
)
)
)
k1,154:19801537,22915493:500107
g1,154:19801537,22915493
)
(1,154:1184071,34861264:18617466,11880235,0
h1,154:1184071,34861264:0,0,0
(1,154:1184071,34861264:17226341,11880235,0
(1,154:1184071,34861264:17226341,11880235,0
(1,154:1184071,34861264:17226383,11880264,0
(1,154:1184071,34861264:17226383,11880264,0
(1,154:1184071,34861264:0,18418893,0
(1,154:1184071,34861264:26707395,18418893,0
)
k1,154:1184070,34861264:-26707396
)
)
)
)
)
k1,154:19801537,34861264:1391125
g1,154:19801537,34861264
)
(1,154:1184071,35945105:18617466,1018305,0
h1,154:1184071,35945105:0,0,0
(1,154:1184071,35945105:3818646,1018305,0
(1,154:1184071,35945105:3818646,1018305,0
(1,154:1184071,35945105:3818656,1018308,0
(1,154:1184071,35945105:3818656,1018308,0
(1,154:1184071,35945105:0,1578762,0
(1,154:1184071,35945105:5920358,1578762,0
)
k1,154:1184071,35945105:-5920358
)
)
)
)
)
k1,154:19801537,35945105:14798820
g1,154:19801537,35945105
)
(1,154:1184071,36731537:18617466,636440,0
h1,154:1184071,36731537:0,0,0
(1,154:1184071,36731537:5303675,636440,0
(1,154:1184071,36731537:5303675,636440,0
(1,154:1184071,36731537:5303689,636442,0
(1,154:1184071,36731537:5303689,636442,0
(1,154:1184071,36731537:0,986726,0
(1,154:1184071,36731537:8222720,986726,0
)
k1,154:1184071,36731537:-8222720
)
)
)
)
)
k1,154:19801537,36731537:13313791
g1,154:19801537,36731537
)
(1,154:1184071,39088261:18617466,2291188,0
h1,154:1184071,39088261:0,0,0
(1,154:1184071,39088261:17608205,2291188,0
(1,154:1184071,39088261:17608205,2291188,0
(1,154:1184071,39088261:17608248,2291193,0
(1,154:1184071,39088261:17608248,2291193,0
(1,154:1184071,39088261:0,3552215,0
(1,154:1184071,39088261:27299430,3552215,0
)
k1,154:1184071,39088261:-27299430
)
)
)
)
)
k1,154:19801537,39088261:1009261
g1,154:19801537,39088261
)
(1,154:1184071,50482449:18617466,11328652,0
h1,154:1184071,50482449:0,0,0
(1,154:1184071,50482449:17608205,11328652,0
(1,154:1184071,50482449:17608205,11328652,0
(1,154:1184071,50482449:17608248,11328680,0
(1,154:1184071,50482449:17608248,11328680,0
(1,154:1184071,50482449:0,17563730,0
(1,154:1184071,50482449:27299430,17563730,0
)
k1,154:1184071,50482449:-27299430
)
)
)
)
)
k1,154:19801537,50482449:1009261
g1,154:19801537,50482449
)
]
k1,154:20129218,50915081:327681
r1,154:20129218,50915081:0,49858441,127431
k1,154:20456898,50915081:327680
[1,154:20456898,50915081:18617466,49731010,0
(1,154:20456898,4705711:18617466,3521640,0
h1,154:20456898,4705711:0,0,0
(1,154:20456898,4705711:14553288,3521640,0
(1,154:20456898,4705711:14553288,3521640,0
(1,154:20456898,4705711:14553324,3521649,0
(1,154:20456898,4705711:14553324,3521649,0
(1,154:20456898,4705711:0,5459886,0
(1,154:20456898,4705711:22563144,5459886,0
)
k1,154:20456898,4705711:-22563144
)
)
)
)
)
k1,154:39074364,4705711:4064178
g1,154:39074364,4705711
)
(1,154:20456898,8038311:18617466,3267064,0
h1,154:20456898,8038311:0,0,0
(1,154:20456898,8038311:10777070,3267064,0
(1,154:20456898,8038311:10777070,3267064,0
(1,154:20456898,8038311:10777097,3267073,0
(1,154:20456898,8038311:10777097,3267073,0
(1,154:20456898,8038311:0,5065196,0
(1,154:20456898,8038311:16708567,5065196,0
)
k1,154:20456898,8038311:-16708567
)
)
)
)
)
k1,154:39074364,8038311:7840396
g1,154:39074364,8038311
)
(1,154:20456898,14892552:18617466,6788705,0
h1,154:20456898,14892552:0,0,0
(1,154:20456898,14892552:16759617,6788705,0
(1,154:20456898,14892552:16759617,6788705,0
(1,154:20456898,14892552:16759658,6788722,0
(1,154:20456898,14892552:16759658,6788722,0
(1,154:20456898,14892552:0,10525082,0
(1,154:20456898,14892552:25983795,10525082,0
)
k1,154:20456897,14892552:-25983796
)
)
)
)
)
k1,154:39074364,14892552:1857849
g1,154:39074364,14892552
)
(1,154:20456898,18607016:18617466,3648928,0
h1,154:20456898,18607016:0,0,0
(1,154:20456898,18607016:11668087,3648928,0
(1,154:20456898,18607016:11668087,3648928,0
(1,154:20456898,18607016:11668116,3648938,0
(1,154:20456898,18607016:11668116,3648938,0
(1,154:20456898,18607016:0,5657231,0
(1,154:20456898,18607016:18089984,5657231,0
)
k1,154:20456898,18607016:-18089984
)
)
)
)
)
k1,154:39074364,18607016:6949379
g1,154:39074364,18607016
)
(1,154:20456898,19478709:18617466,806157,0
h1,154:20456898,19478709:0,0,0
(1,154:20456898,19478709:10310346,806157,0
(1,154:20456898,19478709:10310346,806157,0
(1,154:20456898,19478709:10310372,806160,0
(1,154:20456898,19478709:10310372,806160,0
(1,154:20456898,19478709:0,1249853,0
(1,154:20456898,19478709:15984968,1249853,0
)
k1,154:20456898,19478709:-15984968
)
)
)
)
)
k1,154:39074364,19478709:8307120
g1,154:39074364,19478709
)
(1,154:20456898,22217297:18617466,2673052,0
h1,154:20456898,22217297:0,0,0
(1,154:20456898,22217297:15911029,2673052,0
(1,154:20456898,22217297:15911029,2673052,0
(1,154:20456898,22217297:15911068,2673059,0
(1,154:20456898,22217297:15911068,2673059,0
(1,154:20456898,22217297:0,4144251,0
(1,154:20456898,22217297:24668160,4144251,0
)
k1,154:20456898,22217297:-24668160
)
)
)
)
)
k1,154:39074364,22217297:2706437
g1,154:39074364,22217297
)
(1,154:20456898,28901821:18617466,6618988,0
h1,154:20456898,28901821:0,0,0
(1,154:20456898,28901821:14298711,6618988,0
(1,154:20456898,28901821:14298711,6618988,0
(1,154:20456898,28901821:14298746,6619004,0
(1,154:20456898,28901821:14298746,6619004,0
(1,154:20456898,28901821:0,10261955,0
(1,154:20456898,28901821:22168453,10261955,0
)
k1,154:20456899,28901821:-22168452
)
)
)
)
)
k1,154:39074364,28901821:4318755
g1,154:39074364,28901821
)
(1,154:20456898,30706962:18617466,1739605,0
h1,154:20456898,30706962:0,0,0
(1,154:20456898,30706962:15741311,1739605,0
(1,154:20456898,30706962:15741311,1739605,0
(1,154:20456898,30706962:15741350,1739610,0
(1,154:20456898,30706962:15741350,1739610,0
(1,154:20456898,30706962:0,2697052,0
(1,154:20456898,30706962:24405033,2697052,0
)
k1,154:20456899,30706962:-24405032
)
)
)
)
)
k1,154:39074364,30706962:2876155
g1,154:39074364,30706962
)
(1,154:20456898,41611723:18617466,10839225,0
(1,154:20456898,41611723:18617466,10839225,0
(1,154:20456898,41611723:18617638,10839252,0
(1,154:20456898,41611723:18617638,10839252,0
(1,154:20456898,41611723:0,19368030,0
(1,154:20456898,41611723:33266776,19368030,0
)
k1,154:20456898,41611723:-33266776
)
)
)
)
g1,154:39074364,41611723
g1,154:39074364,41611723
)
(1,154:20456898,48720541:18617466,7043282,0
h1,154:20456898,48720541:0,0,0
(1,154:20456898,48720541:15274588,7043282,0
(1,154:20456898,48720541:15274588,7043282,0
(1,154:20456898,48720541:15274626,7043299,0
(1,154:20456898,48720541:15274626,7043299,0
(1,154:20456898,48720541:0,10919772,0
(1,154:20456898,48720541:23681434,10919772,0
)
k1,154:20456898,48720541:-23681434
)
)
)
)
)
k1,154:39074364,48720541:3342878
g1,154:39074364,48720541
)
]
(1,154:39074364,50915081:0,282168,127431
h1,154:39074364,50915081:364090,282168,127431
k1,154:39074364,50915081:-364090
)
)
]
(1,154:1184071,50915081:37890293,0,0
h1,154:1184071,50915081:37890293,0,0
)
]
]
]
!9408
}2
!9
{3
[1,162:4736286,50915081:34338078,46178795,0
[1,162:4736286,4736286:0,0,0
(1,162:4736286,1118290:0,0,0
k1,162:4736286,1118290:3617996
)
]
[1,162:4736286,50915081:34338078,46178795,0
[1,162:1184071,50915081:37890293,49731010,0
[1,162:1184071,1184071:37890293,0,0
(1,162:1184071,1184071:37890293,0,0
h1,162:1184071,1184071:37890293,0,0
)
]
[1,162:1184071,50915081:37890293,49731010,0
(1,162:1184071,50915081:37890293,49731010,127431
[1,162:1184071,50915081:18617466,49731010,0
(1,154:1184071,12682441:18617466,11498370,0
h1,154:1184071,12682441:0,0,0
(1,154:1184071,12682441:17480917,11498370,0
(1,154:1184071,12682441:17480917,11498370,0
(1,154:1184071,12682441:17480960,11498398,0
(1,154:1184071,12682441:17480960,11498398,0
(1,154:1184071,12682441:0,17826857,0
(1,154:1184071,12682441:27102085,17826857,0
)
k1,154:1184072,12682441:-27102084
)
)
)
)
)
k1,154:19801537,12682441:1136549
g1,154:19801537,12682441
)
(1,155:1184071,16227188:18617466,3479211,0
h1,154:1184071,16227188:0,0,0
(1,154:1184071,16227188:17693064,3479211,0
(1,154:1184071,16227188:17693064,3479211,0
(1,154:1184071,16227188:17693108,3479220,0
(1,154:1184071,16227188:17693108,3479220,0
(1,154:1184071,16227188:0,5394104,0
(1,154:1184071,16227188:27430994,5394104,0
)
k1,154:1184071,16227188:-27430994
)
)
)
)
)
k1,155:19801537,16227188:924402
g1,155:19801537,16227188
)
(1,157:1184071,17013620:18617466,636440,0
h1,156:1184071,17013620:0,0,0
(1,156:1184071,17013620:9037464,636440,0
(1,156:1184071,17013620:9037464,636440,0
(1,156:1184071,17013620:9037487,636442,0
(1,156:1184071,17013620:9037487,636442,0
(1,156:1184071,17013620:0,986726,0
(1,156:1184071,17013620:14011515,986726,0
)
k1,156:1184071,17013620:-14011515
)
)
)
)
)
k1,157:19801537,17013620:9580002
g1,157:19801537,17013620
)
(1,158:1184071,29977696:18617466,12898540,0
h1,157:1184071,29977696:0,0,0
(1,157:1184071,29977696:18244646,12898540,0
(1,157:1184071,29977696:18244646,12898540,0
(1,157:1184071,29977696:18244692,12898572,0
(1,157:1184071,29977696:18244692,12898572,0
(1,157:1184071,29977696:0,19997655,0
(1,157:1184071,29977696:28286157,19997655,0
)
k1,157:1184072,29977696:-28286156
)
)
)
)
)
k1,158:19801537,29977696:372820
g1,158:19801537,29977696
)
(1,160:1184071,30764128:18617466,636440,0
h1,159:1184071,30764128:0,0,0
(1,159:1184071,30764128:4327800,636440,0
(1,159:1184071,30764128:4327800,636440,0
(1,159:1184071,30764128:4327810,636442,0
(1,159:1184071,30764128:4327810,636442,0
(1,159:1184071,30764128:0,986726,0
(1,159:1184071,30764128:6709740,986726,0
)
k1,159:1184071,30764128:-6709740
)
)
)
)
)
k1,160:19801537,30764128:14289666
g1,160:19801537,30764128
)
]
k1,162:20129218,50915081:327681
r1,162:20129218,50915081:0,49858441,127431
k1,162:20456898,50915081:327680
[1,162:20456898,50915081:18617466,49731010,0
(1,161:20456898,50915081:18617466,49731010,0
h1,160:20456898,50915081:0,0,0
(1,160:20456898,50915081:15691175,49731010,0
(1,160:20456898,50915081:15691214,49731717,0
(1,160:20456898,50915081:15691214,49731717,0
(1,160:20456898,50915081:0,76306842,0
(1,160:20456898,50915081:24076124,76306842,0
)
k1,160:20456898,50915081:-24076124
)
)
)
)
k1,161:39074364,50915081:2926291
g1,161:39074364,50915081
)
]
(1,162:39074364,50915081:0,282168,127431
h1,162:39074364,50915081:364090,282168,127431
k1,162:39074364,50915081:-364090
)
)
]
(1,162:1184071,50915081:37890293,0,0
h1,162:1184071,50915081:37890293,0,0
)
]
]
]
!3382
}3
Input:112:C:\drorbn\AcademicPensieve\Projects\SL2Invariant\CS-SL2Invariant.aux
!88
Postamble:
Count:1498
!26
Post scriptum: