SyncTeX Version:1 Input:1:C:/drorbn\AcademicPensieve\Classes\15-344-Combinatorics\Final-15-344.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\size12.clo Input:4:C:\Program Files\MiKTeX 2.9\tex\latex\preprint\fullpage.sty Input:5:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amsmath.sty Input:6:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amstext.sty Input:7:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amsgen.sty Input:8:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amsbsy.sty Input:9:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amsopn.sty Input:10:C:\Program Files\MiKTeX 2.9\tex\latex\amsfonts\amssymb.sty Input:11:C:\Program Files\MiKTeX 2.9\tex\latex\amsfonts\amsfonts.sty Input:12:C:\Program Files\MiKTeX 2.9\tex\latex\graphics\graphicx.sty Input:13:C:\Program Files\MiKTeX 2.9\tex\latex\graphics\keyval.sty Input:14:C:\Program Files\MiKTeX 2.9\tex\latex\graphics\graphics.sty Input:15:C:\Program Files\MiKTeX 2.9\tex\latex\graphics\trig.sty Input:16:C:\Program Files\MiKTeX 2.9\tex\latex\00miktex\graphics.cfg Input:17:C:\Program Files\MiKTeX 2.9\tex\latex\pdftex-def\pdftex.def Input:18:C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\infwarerr.sty Input:19:C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\ltxcmds.sty Input:20:C:\Program Files\MiKTeX 2.9\tex\latex\enumitem\enumitem.sty Input:21:C:\Program Files\MiKTeX 2.9\tex\latex\graphics\color.sty Input:22:C:\Program Files\MiKTeX 2.9\tex\latex\00miktex\color.cfg Input:23:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\txfonts.sty Input:24:C:\Program Files\MiKTeX 2.9\tex\latex\picins\picins.sty Input:25:C:\drorbn\AcademicPensieve\Classes\15-344-Combinatorics\Final-15-344.aux Input:26:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\omltxmi.fd Input:27:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\omstxsy.fd Input:28:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\omxtxex.fd Input:29:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\utxexa.fd Input:30:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\ot1txr.fd Input:31:C:\Program Files\MiKTeX 2.9\tex\context\base\supp-pdf.mkii Input:32:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\utxsya.fd Input:33:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\utxsyb.fd Input:34:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\utxmia.fd Input:35:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\utxsyc.fd Output:pdf Magnification:1000 Unit:1 X Offset:0 Y Offset:0 Content: !2445 {1 [1,70:4736286,47362867:30785865,42626581,0 [1,70:4736286,47362867:30785865,42626581,0 [1,70:4736286,4736286:30785865,0,0 (1,70:4736286,4736286:30785865,0,0 h1,70:4736286,4736286:30785865,0,0 ) ] [1,70:4736286,45396787:30785865,40660501,0 (1,19:4736286,5522718:30785865,757616,15287 k1,19:13063794,5522718:8327508 (1,18:13063794,5522718:0,0,0 g1,18:13063794,5522718 g1,18:13063794,5522718 g1,18:12678774,5522718 (1,18:12678774,5522718:0,0,0 ) g1,18:13063794,5522718 ) x1,18:19857429,5522718 g1,19:20140544,5522718 x1,19:21587829,5522718 g1,19:21870944,5522718 x1,19:22562878,5522718 x1,19:24115482,5522718 x1,19:26397391,5522718 x1,19:27194644,5522718 g1,19:27194644,5522718 k1,19:35522151,5522718:8327507 ) (1,21:4736286,6845925:30785865,644087,205258 k1,21:14710866,6845925:9974580 h1,21:14710866,6845925:0,0,0 x1,21:15235572,6845925 x1,21:17527861,6845925 g1,21:17763790,6845925 x1,21:18549907,6845925 g1,21:18785836,6845925 x1,21:20410917,6845925 g1,21:20646846,6845925 x1,21:22009575,6845925 g1,21:22245504,6845925 x1,21:25547572,6845925 g1,21:25547572,6845925 k1,21:35522152,6845925:9974580 ) (1,23:4736286,8262559:30785865,772905,15287 k1,23:11373029,8262559:6636743 h1,23:11373029,8262559:0,0,0 x1,23:17539279,8262559 g1,23:17822394,8262559 x1,23:22351107,8262559 x1,23:23129108,8262559 x1,23:26337370,8262559 g1,23:26620485,8262559 x1,23:28885409,8262559 g1,23:28885409,8262559 k1,23:35522151,8262559:6636742 ) (1,26:4736286,9585766:30785865,772905,15287 k1,26:10298888,9585766:5562602 h1,25:10298888,9585766:0,0,0 x1,25:12689514,9585766 g1,25:12972629,9585766 x1,25:16055190,9585766 g1,25:16338305,9585766 x1,25:23007370,9585766 g1,25:23290485,9585766 x1,25:24422947,9585766 g1,25:24706062,9585766 x1,25:27034402,9585766 g1,25:27317517,9585766 x1,25:29959550,9585766 g1,26:29959550,9585766 k1,26:35522151,9585766:5562601 ) (1,29:4736286,10908973:30785865,526122,8257 k1,29:17658642,10908973:12922356 h1,29:17658642,10908973:0,0,0 x1,29:19143426,10908973 g1,29:19340034,10908973 x1,29:20475642,10908973 x1,29:20721795,10908973 x1,29:22599795,10908973 g1,29:22599795,10908973 k1,29:35522151,10908973:12922356 ) (1,30:4736286,11859245:30785865,536739,110886 k1,30:17038934,11859245:12302648 h1,30:17038934,11859245:0,0,0 x1,30:20270384,11859245 g1,30:20466992,11859245 x1,30:21450032,11859245 g1,30:21646640,11859245 x1,30:23219504,11859245 g1,30:23219504,11859245 k1,30:35522152,11859245:12302648 ) (1,36:4736286,15339722:30785865,539492,171048 h1,35:4736286,15339722:1155060,0,0 x1,35:7333662,15339722 x1,35:7674973,15339722 k1,35:7874050,15339722:199077 x1,35:8267266,15339722 k1,35:8466344,15339722:199078 x1,35:9121442,15339722 k1,35:9320519,15339722:199077 x1,35:10368833,15339722 k1,35:10567910,15339722:199077 x1,35:10829792,15339722 x1,35:12033819,15339722 x1,35:13642858,15339722 k1,35:13841936,15339722:199078 x1,35:14235152,15339722 k1,35:14434229,15339722:199077 x1,35:17777351,15339722 k1,35:18028553,15339722:251202 x1,35:18552317,15339722 k1,35:18751394,15339722:199077 x1,35:19931042,15339722 k1,35:20130120,15339722:199078 x1,35:21441102,15339722 x1,35:21778481,15339722 k1,35:21977558,15339722:199077 x1,35:23593676,15339722 k1,35:23792753,15339722:199077 x1,35:25146989,15339722 k1,35:25346067,15339722:199078 x1,35:25739283,15339722 k1,35:25938360,15339722:199077 x1,35:28909500,15339722 k1,35:29108577,15339722:199077 x1,35:31598421,15339722 k1,35:31797499,15339722:199078 x1,35:32190715,15339722 x1,35:33183192,15339722 k1,35:33382269,15339722:199077 x1,35:35522151,15339722 k1,35:35522151,15339722:0 ) (1,36:4736286,16289994:30785865,536739,171048 x1,36:6090522,16289994 x1,35:6638665,16289994 k1,35:6791871,16289994:153206 x1,35:8713911,16289994 k1,35:8867117,16289994:153206 x1,35:9827351,16289994 k1,35:9980557,16289994:153206 x1,35:10941577,16289994 k1,35:11094783,16289994:153206 x1,35:12536313,16289994 k1,35:12689519,16289994:153206 x1,35:13869167,16289994 k1,35:14022373,16289994:153206 x1,35:15202021,16289994 k1,35:15355227,16289994:153206 x1,35:15923031,16289994 x1,35:16876186,16289994 k1,35:17029392,16289994:153206 x1,35:18645510,16289994 x1,35:19576645,16289994 k1,35:19738532,16289994:161887 x1,35:20393630,16289994 k1,35:20546836,16289994:153206 x1,35:21769738,16289994 k1,35:21922944,16289994:153206 x1,35:22272120,16289994 k1,35:22425326,16289994:153206 x1,35:24827876,16289994 k1,35:24981082,16289994:153206 x1,35:26116690,16289994 k1,35:26269896,16289994:153206 x1,35:27493584,16289994 k1,35:27646790,16289994:153206 x1,35:28389182,16289994 k1,35:28542388,16289994:153206 x1,35:29590702,16289994 k1,35:29743908,16289994:153206 x1,35:30945576,16289994 k1,35:31174903,16289994:229327 x1,35:32397805,16289994 k1,35:32551011,16289994:153206 x1,35:35522151,16289994 k1,35:35522151,16289994:0 ) (1,36:4736286,17240266:30785865,536739,171048 x1,36:5696520,17240266 g1,35:5893128,17240266 x1,35:6548226,17240266 g1,35:6744834,17240266 x1,35:8448246,17240266 g1,35:8644854,17240266 x1,35:9038070,17240266 x1,35:10328605,17240266 g1,35:10525213,17240266 x1,35:11180311,17240266 g1,35:11376919,17240266 x1,35:12163351,17240266 g1,35:12359959,17240266 x1,35:14282785,17240266 g1,35:14479393,17240266 x1,35:16116745,17240266 k1,36:35522151,17240266:19405406 g1,36:35522151,17240266 ) (1,40:4736286,19868774:30785865,539492,10617 x1,40:7991328,19868774 g1,39:8235122,19868774 g1,39:8478916,19868774 x1,39:9046720,19868774 x1,39:9746644,19868774 g1,39:9943252,19868774 x1,39:10685644,19868774 x1,39:11063131,19868774 x1,39:11400510,19868774 g1,39:11597118,19868774 x1,39:11990334,19868774 g1,39:12186942,19868774 x1,39:13934394,19868774 g1,39:14131002,19868774 x1,39:14742846,19868774 g1,39:14939454,19868774 x1,39:16555572,19868774 g1,39:16752180,19868774 x1,39:17888574,19868774 g1,39:18085182,19868774 x1,39:18434358,19868774 x1,39:19973405,19868774 k1,40:35522151,19868774:15548746 g1,40:35522151,19868774 ) (1,44:4736286,21191981:30785865,539492,10617 x1,44:6134562,21191981 x1,43:7480933,21191981 g1,43:7677541,21191981 x1,43:10800463,21191981 g1,43:11044257,21191981 g1,43:11288051,21191981 x1,43:13188071,21191981 k1,44:35522151,21191981:22334080 g1,44:35522151,21191981 ) (1,47:4736286,23820490:30785865,647390,16514 k1,47:17703866,23820490:12967580 x1,47:19906502,23820490 g1,47:20142431,23820490 x1,47:22554571,23820490 k1,47:35522151,23820490:12967580 ) (1,52:4736286,27300966:30785865,536739,171048 k1,52:5845254,27300966:1108968 (1,51:5845254,27300966:0,0,0 g1,51:5845254,27300966 g1,51:5845254,27300966 g1,51:5460234,27300966 (1,51:5460234,27300966:0,0,0 ) g1,51:5845254,27300966 ) x1,51:7767294,27300966 g1,52:7963902,27300966 x1,52:8924922,27300966 g1,52:9121530,27300966 x1,52:9514746,27300966 g1,52:9711354,27300966 x1,52:12682494,27300966 g1,52:12879102,27300966 x1,52:14058750,27300966 g1,52:14255358,27300966 x1,52:15435006,27300966 g1,52:15631614,27300966 x1,52:16199418,27300966 x1,52:17152573,27300966 g1,52:17349181,27300966 x1,52:18965299,27300966 x1,52:19699826,27300966 g1,52:19896434,27300966 x1,52:20682866,27300966 g1,52:20879474,27300966 x1,52:23937122,27300966 g1,52:24133730,27300966 x1,52:25793888,27300966 g1,52:25990496,27300966 x1,52:28698182,27300966 g1,52:28894790,27300966 x1,52:29288006,27300966 g1,52:29484614,27300966 x1,52:30708302,27300966 g1,52:30904910,27300966 x1,52:31647302,27300966 g1,52:31843910,27300966 x1,52:33460028,27300966 x1,52:34413183,27300966 g1,52:34413183,27300966 k1,52:35522151,27300966:1108968 ) (1,68:4736286,35797306:30785865,7473324,7069097 k1,68:10561047,35797306:5824761 h1,56:10561047,35797306:0,0,0 (1,67:10561047,35797306:19136344,7473324,7069097 $1,67:10561047,35797306 [1,67:10561047,35797306:19136344,7473324,7069097 (1,59:10561047,30345757:19136344,1995561,855252 g1,58:10561047,30345757 (1,58:10561047,30345757:3044326,1995561,855252 r1,58:10561047,30345757:0,2850813,855252 g1,58:10547940,30345757 r1,58:10574154,30345757:26214,2850813,855252 g1,58:10561047,30345757 g1,58:10954263,30345757 g1,58:10954263,30345757 g1,58:11886602,30345757 x1,58:12279818,30345757 g1,58:13212157,30345757 g1,58:13212157,30345757 g1,58:13605373,30345757 g1,58:13592266,30345757 r1,58:13618480,30345757:26214,2850813,855252 g1,58:13605373,30345757 ) g1,58:13605373,30345757 (1,58:13605373,30345757:6523846,1995561,855252 g1,58:13998589,30345757 g1,58:13998589,30345757 g1,58:13998590,30345757 (1,58:13998590,30345757:4736286,0,0 k1,58:18734876,30345757:4736286 ) x1,58:19736003,30345757 g1,58:20129219,30345757 g1,58:20116112,30345757 r1,58:20142326,30345757:26214,2850813,855252 g1,58:20129219,30345757 ) g1,58:20129219,30345757 (1,59:20129219,30345757:3044326,1995561,855252 g1,59:20522435,30345757 g1,59:20522435,30345757 g1,59:21454774,30345757 x1,59:21847990,30345757 g1,59:22780329,30345757 g1,59:22780329,30345757 g1,59:23173545,30345757 g1,59:23160438,30345757 r1,59:23186652,30345757:26214,2850813,855252 g1,59:23173545,30345757 ) g1,59:23173545,30345757 (1,59:23173545,30345757:6523846,1995561,855252 g1,59:23566761,30345757 g1,59:23566761,30345757 g1,59:23566762,30345757 (1,59:23566762,30345757:4736286,0,0 k1,59:28303048,30345757:4736286 ) x1,59:29304175,30345757 g1,59:29697391,30345757 g1,59:29684284,30345757 r1,59:29710498,30345757:26214,2850813,855252 g1,59:29697391,30345757 ) g1,59:29697391,30345757 ) (1,61:10561047,33222784:19136344,1995561,855252 g1,60:10561047,33222784 (1,60:10561047,33222784:3044326,1995561,855252 r1,60:10561047,33222784:0,2850813,855252 g1,60:10547940,33222784 r1,60:10574154,33222784:26214,2850813,855252 g1,60:10561047,33222784 g1,60:10954263,33222784 k1,60:11886602,33222784:932339 x1,60:12279818,33222784 k1,60:13212157,33222784:932339 g1,60:13605373,33222784 g1,60:13592266,33222784 r1,60:13618480,33222784:26214,2850813,855252 g1,60:13605373,33222784 ) g1,60:13605373,33222784 (1,60:13605373,33222784:6523846,1995561,855252 g1,60:13998589,33222784 g1,60:13998589,33222784 g1,60:13998590,33222784 (1,60:13998590,33222784:4736286,0,0 k1,60:18734876,33222784:4736286 ) x1,60:19736003,33222784 g1,60:20129219,33222784 g1,60:20116112,33222784 r1,60:20142326,33222784:26214,2850813,855252 g1,60:20129219,33222784 ) g1,60:20129219,33222784 (1,61:20129219,33222784:3044326,1995561,855252 g1,61:20522435,33222784 k1,61:21454774,33222784:932339 x1,61:21847990,33222784 k1,61:22780329,33222784:932339 g1,61:23173545,33222784 g1,61:23160438,33222784 r1,61:23186652,33222784:26214,2850813,855252 g1,61:23173545,33222784 ) g1,61:23173545,33222784 (1,61:23173545,33222784:6523846,1995561,855252 g1,61:23566761,33222784 g1,61:23566761,33222784 g1,61:23566762,33222784 (1,61:23566762,33222784:4736286,0,0 k1,61:28303048,33222784:4736286 ) x1,61:29304175,33222784 g1,61:29697391,33222784 g1,61:29684284,33222784 r1,61:29710498,33222784:26214,2850813,855252 g1,61:29697391,33222784 ) g1,61:29697391,33222784 ) (1,63:10561047,36099811:19136344,1995561,855252 g1,62:10561047,36099811 (1,62:10561047,36099811:3044326,1995561,855252 r1,62:10561047,36099811:0,2850813,855252 g1,62:10547940,36099811 r1,62:10574154,36099811:26214,2850813,855252 g1,62:10561047,36099811 g1,62:10954263,36099811 k1,62:11886602,36099811:932339 x1,62:12279818,36099811 k1,62:13212157,36099811:932339 g1,62:13605373,36099811 g1,62:13592266,36099811 r1,62:13618480,36099811:26214,2850813,855252 g1,62:13605373,36099811 ) g1,62:13605373,36099811 (1,62:13605373,36099811:6523846,1995561,855252 g1,62:13998589,36099811 g1,62:13998589,36099811 g1,62:13998590,36099811 (1,62:13998590,36099811:4736286,0,0 k1,62:18734876,36099811:4736286 ) x1,62:19736003,36099811 g1,62:20129219,36099811 g1,62:20116112,36099811 r1,62:20142326,36099811:26214,2850813,855252 g1,62:20129219,36099811 ) g1,62:20129219,36099811 (1,63:20129219,36099811:3044326,1995561,855252 g1,63:20522435,36099811 k1,63:21454774,36099811:932339 x1,63:21847990,36099811 k1,63:22780329,36099811:932339 g1,63:23173545,36099811 g1,63:23160438,36099811 r1,63:23186652,36099811:26214,2850813,855252 g1,63:23173545,36099811 ) g1,63:23173545,36099811 (1,63:23173545,36099811:6523846,1995561,855252 g1,63:23566761,36099811 g1,63:23566761,36099811 g1,63:23566762,36099811 (1,63:23566762,36099811:4736286,0,0 k1,63:28303048,36099811:4736286 ) x1,63:29304175,36099811 g1,63:29697391,36099811 g1,63:29684284,36099811 r1,63:29710498,36099811:26214,2850813,855252 g1,63:29697391,36099811 ) g1,63:29697391,36099811 ) (1,65:10561047,38976838:19136344,1995561,855252 g1,64:10561047,38976838 (1,64:10561047,38976838:3044326,1995561,855252 r1,64:10561047,38976838:0,2850813,855252 g1,64:10547940,38976838 r1,64:10574154,38976838:26214,2850813,855252 g1,64:10561047,38976838 g1,64:10954263,38976838 k1,64:11886602,38976838:932339 x1,64:12279818,38976838 k1,64:13212157,38976838:932339 g1,64:13605373,38976838 g1,64:13592266,38976838 r1,64:13618480,38976838:26214,2850813,855252 g1,64:13605373,38976838 ) g1,64:13605373,38976838 (1,64:13605373,38976838:6523846,1995561,855252 g1,64:13998589,38976838 g1,64:13998589,38976838 g1,64:13998590,38976838 (1,64:13998590,38976838:4736286,0,0 k1,64:18734876,38976838:4736286 ) x1,64:19736003,38976838 g1,64:20129219,38976838 g1,64:20116112,38976838 r1,64:20142326,38976838:26214,2850813,855252 g1,64:20129219,38976838 ) g1,64:20129219,38976838 (1,65:20129219,38976838:3044326,1995561,855252 g1,65:20522435,38976838 k1,65:22780329,38976838:2257894 g1,65:23173545,38976838 g1,65:23160438,38976838 r1,65:23186652,38976838:26214,2850813,855252 g1,65:23173545,38976838 ) g1,65:23173545,38976838 (1,65:23173545,38976838:6523846,1995561,855252 g1,65:23566761,38976838 k1,65:29304175,38976838:5737414 g1,65:29697391,38976838 g1,65:29684284,38976838 r1,65:29710498,38976838:26214,2850813,855252 g1,65:29697391,38976838 ) g1,65:29697391,38976838 ) (1,66:10561047,41984937:19136344,1995561,855252 g1,66:10561047,41984937 (1,66:10561047,41984937:3044326,1995561,855252 r1,66:10561047,41984937:0,2850813,855252 g1,66:10547940,41984937 r1,66:10574154,41984937:26214,2850813,855252 g1,66:10561047,41984937 g1,66:10954263,41984937 k1,66:11284589,41984937:330326 x1,66:11765099,41984937 x1,66:12881832,41984937 k1,66:13212157,41984937:330325 g1,66:13605373,41984937 g1,66:13592266,41984937 r1,66:13618480,41984937:26214,2850813,855252 g1,66:13605373,41984937 ) g1,66:13605373,41984937 (1,66:13605373,41984937:6523846,1995561,855252 r1,66:13605373,41984937:0,2850813,855252 g1,66:13592266,41984937 r1,66:13618480,41984937:26214,2850813,855252 g1,66:13605373,41984937 g1,66:13998589,41984937 k1,66:23173545,41984937:9174956 g1,66:23173546,41984937 (1,66:23173546,41984937:4736286,0,0 k1,66:27909832,41984937:4736286 ) x1,66:29304175,41984937 g1,66:29697391,41984937 g1,66:29684284,41984937 r1,66:29710498,41984937:26214,2850813,855252 g1,66:29697391,41984937 h1,66:29697391,41984937:0,0,0 ) g1,67:20129219,41984937 h1,67:20129219,41984937:3044326,0,0 g1,67:23173545,41984937 h1,67:23173545,41984937:6523846,0,0 g1,66:29697391,41984937 ) ] $1,67:29697391,35797306 ) g1,68:29697391,35797306 k1,68:35522151,35797306:5824760 ) ] (1,70:4736286,47362867:30785865,526122,0 (1,70:4736286,47362867:30785865,526122,0 k1,70:19932610,47362867:15196324 x1,70:20325826,47362867 k1,70:35522150,47362867:15196324 ) ) ] ] !15074 }1 !10 {2 [1,113:4736286,47362867:30785865,42626581,0 [1,113:4736286,47362867:30785865,42626581,0 [1,113:4736286,4736286:30785865,0,0 (1,113:4736286,4736286:30785865,0,0 h1,113:4736286,4736286:30785865,0,0 ) ] [1,113:4736286,45396787:30785865,40660501,0 (1,74:4736286,5522718:30785865,539492,171048 x1,74:6178602,5522718 x1,72:6519913,5522718 g1,72:6716521,5522718 x1,72:7109737,5522718 g1,72:7306345,5522718 x1,72:7961443,5522718 g1,72:8158051,5522718 x1,72:9206365,5522718 g1,72:9402973,5522718 x1,72:9664855,5522718 x1,72:10868882,5522718 x1,72:12477921,5522718 g1,72:12674529,5522718 x1,72:13067745,5522718 g1,72:13264353,5522718 x1,72:14050785,5522718 x1,72:16592533,5522718 g1,72:16836327,5522718 g1,72:17080121,5522718 x1,72:18652199,5522718 g1,72:18848807,5522718 x1,72:21469985,5522718 g1,72:21666593,5522718 x1,72:22191143,5522718 g1,72:22387751,5522718 x1,72:22955555,5522718 x1,72:24214632,5522718 g1,72:24411240,5522718 x1,72:25197672,5522718 g1,73:25394280,5522718 x1,73:27513714,5522718 g1,73:27757508,5522718 x1,73:28325312,5522718 x1,73:29025236,5522718 g1,73:29221844,5522718 x1,73:29964236,5522718 x1,73:30341723,5522718 x1,73:30679102,5522718 g1,73:30875710,5522718 x1,73:32447788,5522718 g1,73:32644396,5522718 x1,73:34588456,5522718 k1,74:35522151,5522718:933695 g1,74:35522151,5522718 ) (1,76:4736286,7796804:30785865,492286,156081 x1,76:5214937,7796804 x1,75:5979916,7796804 k1,75:6328685,7796804:348769 k1,75:6677455,7796804:348770 x1,75:8152161,7796804 x1,75:8338741,7796804 k1,75:8560248,7796804:221507 x1,75:9795985,7796804 k1,75:10017492,7796804:221507 x1,75:10535613,7796804 x1,75:12641103,7796804 k1,75:12989872,7796804:348769 x1,75:14464578,7796804 k1,75:14686085,7796804:221507 x1,75:15563014,7796804 k1,75:15784521,7796804:221507 x1,75:17538380,7796804 k1,75:17759886,7796804:221506 x1,75:18078509,7796804 x1,75:19303483,7796804 k1,75:19524990,7796804:221507 x1,75:20821006,7796804 k1,75:21169776,7796804:348770 x1,75:21687897,7796804 x1,75:22326577,7796804 k1,75:22548084,7796804:221507 x1,75:23783823,7796804 k1,75:24005329,7796804:221506 x1,75:25360909,7796804 k1,75:25582416,7796804:221507 x1,75:26140722,7796804 k1,75:26362229,7796804:221507 x1,75:27597966,7796804 k1,75:27819473,7796804:221507 x1,75:29095397,7796804 k1,75:29316904,7796804:221507 x1,75:30193833,7796804 k1,75:30415339,7796804:221506 x1,75:33126498,7796804 k1,75:33348005,7796804:221507 x1,75:34424431,7796804 k1,75:34645938,7796804:221507 x1,75:35522151,7796804 k1,75:35522151,7796804:0 ) (1,76:4736286,8747076:30785865,489774,156081 x1,76:6649455,8747076 g1,75:6828859,8747076 x1,75:7665602,8747076 g1,75:7845006,8747076 x1,75:9100837,8747076 k1,76:35522151,8747076:26421314 g1,76:35522151,8747076 ) (1,78:4736286,11021163:30785865,492286,156081 x1,78:5214937,11021163 x1,77:5979916,11021163 g1,77:6202377,11021163 g1,77:6424838,11021163 x1,77:9194844,11021163 g1,77:9374248,11021163 x1,77:12523155,11021163 g1,77:12702559,11021163 x1,77:13738800,11021163 g1,77:13918204,11021163 x1,77:14515980,11021163 x1,77:14861872,11021163 x1,77:17489070,11021163 g1,77:17668474,11021163 x1,77:19442425,11021163 g1,77:19621829,11021163 x1,77:20856851,11021163 g1,77:21036255,11021163 x1,77:22072496,11021163 g1,77:22251900,11021163 x1,77:22570523,11021163 x1,77:22911391,11021163 x1,77:25570168,11021163 g1,77:25749572,11021163 x1,77:27104435,11021163 k1,78:35522151,11021163:8417716 g1,78:35522151,11021163 ) (1,81:4736286,19710018:30785865,6750208,0 r1,81:4736286,19710018:0,6750208,0 g1,81:27919975,19710018 g1,81:27919975,19710018 (1,81:27919975,19710018:7602176,6750208,0 (1,81:27919975,19710018:7602176,6750208,0 (1,81:27919975,19710018:7602176,6750208,0 g1,81:27919975,19710018 (1,81:27919975,19710018:0,6750208,0 (1,81:27919975,19710018:0,6750208,0 [1,81:27919975,19710018:7602176,6750208,0 (1,81:27919975,19714443:7602176,6759059,0 k1,81:27897508,19714443:-22467 (1,81:27897508,19714443:7647110,6759059,0 (1,81:27897508,19714443:7647110,6759059,0 (1,81:27897508,19714443:7647110,6759059,0 (1,81:27897508,19714443:7647129,6759075,0 (1,81:27897508,19714443:7647129,6759075,0 (1,81:27897508,19714443:0,9012101,0 (1,81:27897508,19714443:10196173,9012101,0 ) k1,81:27897508,19714443:-10196173 ) ) ) ) ) ) k1,81:35522151,19714443:-22467 ) ] k1,81:27919975,19710018:-7602176 ) ) k1,81:35522151,19710018:7602176 ) ) ) g1,81:35522151,19710018 g1,81:35522151,19710018 ) (1,88:4736286,17450330:22368715,4718919,4314693 $1,87:4736286,17450330 [1,87:4736286,17450330:21313290,4718919,4314693 (1,87:4736286,13270903:21313290,539492,171048 h1,87:4736286,13270903:0,0,0 x1,87:5565972,13270903 x1,87:7605190,13270903 k1,87:7848390,13270903:243200 x1,87:8438214,13270903 k1,87:8821786,13270903:383572 x1,87:9870100,13270903 k1,87:10113300,13270903:243200 $1,87:10113300,13270903 x1,87:10681104,13270903 $1,87:10681104,13270903 k1,87:10924305,13270903:243201 x1,87:11666697,13270903 k1,87:11909897,13270903:243200 x1,87:12652289,13270903 k1,87:12895489,13270903:243200 x1,87:15603175,13270903 k1,87:15846376,13270903:243201 x1,87:17833690,13270903 k1,87:18088538,13270903:254848 x1,87:19224146,13270903 k1,87:19467347,13270903:243201 x1,87:20384327,13270903 k1,87:20627527,13270903:243200 x1,87:20976703,13270903 k1,87:21219904,13270903:243201 x1,87:23403826,13270903 k1,87:23647026,13270903:243200 x1,87:26049576,13270903 k1,87:26049576,13270903:0 ) (1,87:4736286,14221175:21313290,536739,171048 x1,87:5129502,14221175 $1,87:5129502,14221175 k1,87:5329210,14221175:199708 x1,87:6115642,14221175 k1,87:6315350,14221175:199708 $1,87:6315350,14221175 x1,87:6839900,14221175 (1,87:6839900,14339139:294912,231735,3932 x1,87:7102044,14339139 ) $1,87:7134812,14221175 k1,87:7334521,14221175:199709 x1,87:9431149,14221175 k1,87:9630857,14221175:199708 x1,87:10591877,14221175 k1,87:10791585,14221175:199708 x1,87:12582291,14221175 k1,87:12781999,14221175:199708 x1,87:13437097,14221175 k1,87:13636806,14221175:199709 x1,87:14030022,14221175 x1,87:16070813,14221175 k1,87:16270521,14221175:199708 x1,87:17406129,14221175 k1,87:17605837,14221175:199708 x1,87:19396543,14221175 k1,87:19596251,14221175:199708 x1,87:20251349,14221175 k1,87:20451058,14221175:199709 x1,87:21412078,14221175 k1,87:21611786,14221175:199708 $1,87:21611786,14221175 x1,87:22005002,14221175 $1,87:22005002,14221175 k1,87:22204710,14221175:199708 x1,87:26049576,14221175 k1,87:26049576,14221175:0 ) (1,87:4736286,15171447:21313290,536739,171048 x1,87:6221070,15171447 g1,87:6417678,15171447 x1,87:7640580,15171447 g1,87:7837188,15171447 x1,87:9190638,15171447 g1,87:9387246,15171447 $1,87:9387246,15171447 x1,87:9780462,15171447 g1,87:9998912,15171447 x1,87:10499082,15171447 g1,87:10717532,15171447 x1,87:11110748,15171447 $1,87:11110748,15171447 g1,87:11307356,15171447 x1,87:11831906,15171447 g1,87:12028514,15171447 x1,87:14692946,15171447 g1,87:14889554,15171447 x1,87:15675986,15171447 g1,87:15872594,15171447 x1,87:16833614,15171447 g1,87:17030222,15171447 x1,87:18974282,15171447 k1,87:26049576,15171447:7075294 g1,87:26049576,15171447 ) (1,87:6661386,16777079:19388190,536739,171048 (1,87:6661386,16777079:0,526122,8257 g1,87:6661386,16777079 g1,87:5121306,16777079 g1,87:4736286,16777079 (1,87:4736286,16777079:1540080,526122,8257 k1,87:6276366,16777079:1540080 (1,87:6276366,16777079:0,526122,8257 k1,87:5686542,16777079:-589824 x1,87:6276366,16777079 ) ) g1,87:6661386,16777079 ) x1,87:7316484,16777079 k1,87:7553668,16777079:237184 x1,87:9738376,16777079 k1,87:9975560,16777079:237184 x1,87:10892540,16777079 x1,87:12072188,16777079 k1,87:12309372,16777079:237184 x1,87:13400940,16777079 k1,87:13638124,16777079:237184 x1,87:15341536,16777079 k1,87:15578720,16777079:237184 x1,87:17588054,16777079 x1,87:17937230,16777079 k1,87:18174414,16777079:237184 x1,87:19310022,16777079 k1,87:19547206,16777079:237184 x1,87:20245558,16777079 k1,87:20482742,16777079:237184 x1,87:23453882,16777079 k1,87:23691066,16777079:237184 x1,87:25700400,16777079 x1,87:26049576,16777079 k1,87:26049576,16777079:0 ) (1,87:6661386,17727351:19388190,536739,12975 x1,87:7273230,17727351 g1,87:7469838,17727351 $1,87:7469838,17727351 x1,87:8037642,17727351 $1,87:8037642,17727351 x1,87:8234250,17727351 k1,87:26049576,17727351:17815326 g1,87:26049576,17727351 ) (1,87:6661386,19332983:19388190,536739,171048 (1,87:6661386,19332983:0,526122,8257 g1,87:6661386,19332983 g1,87:5121306,19332983 g1,87:4736286,19332983 (1,87:4736286,19332983:1540080,526122,8257 k1,87:6276366,19332983:1540080 (1,87:6276366,19332983:0,526122,8257 k1,87:5686542,19332983:-589824 x1,87:6276366,19332983 ) ) g1,87:6661386,19332983 ) x1,87:7316484,19332983 g1,87:7513092,19332983 x1,87:9697800,19332983 g1,87:9894408,19332983 x1,87:10986762,19332983 x1,87:11368181,19332983 x1,87:11705560,19332983 g1,87:11902168,19332983 x1,87:13081816,19332983 g1,87:13278424,19332983 $1,87:13278424,19332983 x1,87:13802974,19332983 (1,87:13802974,19450947:294912,231735,3932 x1,87:14065118,19450947 ) $1,87:14097886,19332983 g1,87:14294494,19332983 x1,87:14862298,19332983 x1,87:15422237,19332983 x1,87:16462686,19332983 g1,87:16659294,19332983 x1,87:17707608,19332983 g1,87:17904216,19332983 x1,87:18253392,19332983 g1,87:18450000,19332983 x1,87:21421140,19332983 g1,87:21617748,19332983 x1,87:23823690,19332983 k1,87:26049576,19332983:2225886 g1,87:26049576,19332983 ) (1,87:6661386,20938615:19388190,536739,171048 (1,87:6661386,20938615:0,526122,10616 g1,87:6661386,20938615 g1,87:5121306,20938615 g1,87:4736286,20938615 (1,87:4736286,20938615:1540080,526122,10616 k1,87:6276366,20938615:1540080 (1,87:6276366,20938615:0,526122,10616 k1,87:5686542,20938615:-589824 x1,87:6276366,20938615 ) ) g1,87:6661386,20938615 ) x1,87:7316484,20938615 k1,87:7481920,20938615:165436 x1,87:9666628,20938615 k1,87:9832065,20938615:165437 x1,87:10269321,20938615 x1,87:10912622,20938615 k1,87:11078058,20938615:165436 x1,87:13000098,20938615 k1,87:13165534,20938615:165436 x1,87:13558750,20938615 x1,87:15155207,20938615 k1,87:15320644,20938615:165437 x1,87:15975742,20938615 k1,87:16141178,20938615:165436 $1,87:16141178,20938615 x1,87:16534394,20938615 $1,87:16534394,20938615 k1,87:16699830,20938615:165436 x1,87:18141360,20938615 k1,87:18306797,20938615:165437 $1,87:18306797,20938615 x1,87:18831347,20938615 (1,87:18831347,21056579:294912,231735,3932 x1,87:19093491,21056579 ) $1,87:19126259,20938615 k1,87:19291695,20938615:165436 x1,87:20034087,20938615 x1,87:20411574,20938615 x1,87:20748953,20938615 k1,87:20914389,20938615:165436 x1,87:21656781,20938615 k1,87:21822218,20938615:165437 x1,87:23525630,20938615 k1,87:23691066,20938615:165436 x1,87:26049576,20938615 k1,87:26049576,20938615:0 k1,87:26049576,20938615:0 ) ] $1,87:26049576,17450330 k1,88:27105001,17450330:1055425 g1,88:27105001,17450330 ) (1,90:4736286,23646659:30785865,492286,156081 x1,90:5214937,23646659 x1,89:5979916,23646659 g1,89:6202377,23646659 g1,89:6424838,23646659 x1,89:8178697,23646659 g1,89:8358101,23646659 x1,89:9035533,23646659 x1,89:9383577,23646659 g1,89:9562981,23646659 x1,89:11914616,23646659 g1,89:12094020,23646659 x1,89:13170447,23646659 g1,89:13349851,23646659 x1,89:14545403,23646659 k1,90:35522151,23646659:20976748 g1,90:35522151,23646659 ) (1,94:4736286,25920745:30785865,539492,171048 x1,94:5565972,25920745 x1,93:7605190,25920745 k1,93:7864262,25920745:259072 x1,93:8454086,25920745 k1,93:8885271,25920745:431185 x1,93:9977625,25920745 x1,93:10359044,25920745 x1,93:10915051,25920745 k1,93:11283773,25920745:368722 x1,93:11807537,25920745 k1,93:12066609,25920745:259072 $1,93:12066609,25920745 x1,93:12634413,25920745 $1,93:12634413,25920745 k1,93:12893485,25920745:259072 x1,93:13418035,25920745 k1,93:13677107,25920745:259072 x1,93:14026283,25920745 k1,93:14285355,25920745:259072 x1,93:17473551,25920745 k1,93:17732623,25920745:259072 x1,93:19523329,25920745 k1,93:19782400,25920745:259071 x1,93:20918008,25920745 k1,93:21177080,25920745:259072 $1,93:21177080,25920745 x1,93:21646580,25920745 $1,93:21707135,25920745 k1,93:21966207,25920745:259072 x1,93:23101815,25920745 k1,93:23360887,25920745:259072 $1,93:23360887,25920745 x1,93:23830387,25920745 (1,93:23890942,25635271:214696,246939,0 x1,93:24072870,25635271 ) $1,93:24105638,25920745 k1,93:24364710,25920745:259072 x1,93:25324944,25920745 k1,93:25584016,25920745:259072 x1,93:28423822,25920745 k1,93:28682894,25920745:259072 x1,93:30167678,25920745 k1,93:30426750,25920745:259072 x1,93:31038594,25920745 k1,93:31297665,25920745:259071 $1,93:31297665,25920745 x1,93:31865469,25920745 $1,93:31865469,25920745 x1,93:32062077,25920745 k1,93:32336765,25920745:274688 x1,93:33691001,25920745 k1,93:33950073,25920745:259072 x1,93:35522151,25920745 k1,93:35522151,25920745:0 ) (1,94:4736286,26871017:30785865,536739,171048 x1,94:5085462,26871017 x1,93:6515981,26871017 k1,93:6691919,26871017:175938 x1,93:7041095,26871017 k1,93:7217033,26871017:175938 x1,93:10099307,26871017 k1,93:10275245,26871017:175938 $1,93:10275245,26871017 x1,93:10744745,26871017 (1,93:10744745,26988981:294912,350748,7077 x1,93:11006889,26988981 ) $1,93:11039657,26871017 x1,93:11236265,26871017 k1,93:11416337,26871017:180072 $1,93:11416337,26871017 x1,93:11885837,26871017 (1,93:11885837,26988981:294912,350748,0 x1,93:12147981,26988981 ) $1,93:12180749,26871017 x1,93:12377357,26871017 k1,93:12557430,26871017:180073 $1,93:12557430,26871017 x1,93:13026930,26871017 (1,93:13026930,26988981:294912,350748,0 x1,93:13289074,26988981 ) $1,93:13321842,26871017 x1,93:13518450,26871017 k1,93:13698522,26871017:180072 x1,93:13895130,26871017 x1,93:14209702,26871017 x1,93:14524274,26871017 x1,93:14838846,26871017 k1,93:15018918,26871017:180072 $1,93:15018918,26871017 x1,93:15488418,26871017 (1,93:15488418,26988981:294912,231735,3932 x1,93:15750562,26988981 ) $1,93:15783330,26871017 k1,93:15959268,26871017:175938 x1,93:16614366,26871017 k1,93:16790304,26871017:175938 x1,93:19630110,26871017 k1,93:19806048,26871017:175938 x1,93:21290832,26871017 k1,93:21466770,26871017:175938 x1,93:22078614,26871017 k1,93:22254552,26871017:175938 $1,93:22254552,26871017 x1,93:22822356,26871017 $1,93:22822356,26871017 k1,93:22998294,26871017:175938 x1,93:24439824,26871017 k1,93:24615762,26871017:175938 x1,93:25795410,26871017 k1,93:25971348,26871017:175938 $1,93:25971348,26871017 x1,93:26440848,26871017 (1,93:26440848,26988981:294912,350748,7077 x1,93:26702992,26988981 ) k1,93:26954210,26871017:218450 x1,93:27454380,26871017 k1,93:27672830,26871017:218450 x1,93:28142330,26871017 $1,93:28202885,26871017 x1,93:28399493,26871017 k1,93:28579566,26871017:180073 $1,93:28579566,26871017 x1,93:29049066,26871017 (1,93:29049066,26988981:294912,231735,3932 x1,93:29311210,26988981 ) k1,93:29562428,26871017:218450 x1,93:30062598,26871017 k1,93:30281048,26871017:218450 x1,93:30750548,26871017 (1,93:30811103,26585543:214696,246939,0 x1,93:30993031,26585543 ) $1,93:31025799,26871017 x1,93:31222407,26871017 k1,93:31402479,26871017:180072 x1,93:32538087,26871017 k1,93:32714025,26871017:175938 x1,93:33631005,26871017 k1,93:33806943,26871017:175938 x1,93:34156119,26871017 x1,93:34529674,26871017 x1,93:35522151,26871017 k1,93:35522151,26871017:0 ) (1,94:4736286,27821289:30785865,536739,171048 x1,94:5129502,27821289 g1,93:5347952,27821289 x1,93:5848122,27821289 g1,93:6066572,27821289 x1,93:6415748,27821289 g1,93:6647567,27821289 x1,93:7147737,27821289 g1,93:7366187,27821289 x1,93:7759403,27821289 $1,93:7759403,27821289 x1,93:7956011,27821289 g1,93:8152619,27821289 x1,93:9113639,27821289 g1,93:9310247,27821289 x1,93:10489109,27821289 g1,93:10685717,27821289 $1,93:10685717,27821289 x1,93:11155217,27821289 (1,93:11155217,27939253:274465,353894,3932 x1,93:11388001,27939253 ) $1,93:11429682,27821289 g1,93:11626290,27821289 x1,93:12150840,27821289 g1,93:12347448,27821289 x1,93:15055920,27821289 g1,93:15252528,27821289 x1,93:16781352,27821289 g1,93:16977960,27821289 $1,93:16977960,27821289 x1,93:17447460,27821289 (1,93:17447460,27939253:870056,353894,3932 x1,93:17680244,27939253 x1,93:18284748,27939253 ) $1,93:18317516,27821289 g1,93:18514124,27821289 x1,93:19300556,27821289 g1,93:19497164,27821289 x1,93:21637832,27821289 g1,93:21834440,27821289 x1,93:22970048,27821289 g1,93:23166656,27821289 x1,93:24651440,27821289 g1,93:24848048,27821289 x1,93:25983656,27821289 g1,93:26180264,27821289 x1,93:27796382,27821289 x1,93:29182861,27821289 g1,93:29379469,27821289 x1,93:30515077,27821289 g1,93:30711685,27821289 x1,93:32393077,27821289 k1,94:35522151,27821289:3129074 g1,94:35522151,27821289 ) (1,100:4736286,30095376:30785865,539492,171048 x1,100:5565972,30095376 x1,98:7605190,30095376 k1,98:7892248,30095376:287058 x1,98:8482072,30095376 k1,98:8997214,30095376:515142 x1,98:9958234,30095376 x1,98:10506377,30095376 k1,98:10793435,30095376:287058 x1,98:12147671,30095376 x1,98:12529090,30095376 k1,98:12816147,30095376:287057 x1,98:13383951,30095376 x1,98:14424400,30095376 k1,98:14711458,30095376:287058 x1,98:15671692,30095376 k1,98:15958749,30095376:287057 x1,98:17530827,30095376 k1,98:17817885,30095376:287058 x1,98:18429729,30095376 k1,98:18716786,30095376:287057 x1,98:20376158,30095376 k1,98:20663216,30095376:287058 x1,98:21056432,30095376 k1,98:21343489,30095376:287057 x1,98:22916353,30095376 k1,98:23203411,30095376:287058 x1,98:23989843,30095376 k1,98:24276900,30095376:287057 x1,98:25237920,30095376 k1,98:25524978,30095376:287058 x1,98:26835174,30095376 k1,98:27122231,30095376:287057 x1,98:29262899,30095376 k1,98:29549957,30095376:287058 x1,98:30205055,30095376 k1,98:30492112,30095376:287057 x1,98:31933642,30095376 k1,98:32220700,30095376:287058 x1,98:33706270,30095376 k1,98:33993327,30095376:287057 x1,98:35522151,30095376 k1,98:35522151,30095376:0 ) (1,100:4736286,31045648:30785865,536739,171048 x1,100:5347344,31045648 x1,98:8088059,31045648 g1,98:8284667,31045648 x1,98:9245687,31045648 g1,98:9442295,31045648 x1,98:11714297,31045648 g1,98:11910905,31045648 x1,98:12391415,31045648 k1,100:35522151,31045648:23130736 g1,100:35522151,31045648 ) (1,101:6661386,32651280:28860765,536739,171048 (1,100:6661386,32651280:0,526122,8257 g1,100:6661386,32651280 g1,100:5121306,32651280 g1,100:4736286,32651280 (1,100:4736286,32651280:1540080,526122,8257 k1,100:6276366,32651280:1540080 (1,100:6276366,32651280:0,526122,8257 k1,100:5686542,32651280:-589824 x1,100:6276366,32651280 ) ) g1,100:6661386,32651280 ) x1,100:7316484,32651280 g1,100:7513092,32651280 x1,100:9697800,32651280 g1,100:9894408,32651280 x1,100:10855428,32651280 g1,100:11052036,32651280 x1,100:12624900,32651280 g1,100:12821508,32651280 x1,100:13781742,32651280 g1,100:13978350,32651280 x1,100:17035998,32651280 k1,101:35522150,32651280:18486152 g1,101:35522150,32651280 ) (1,102:6661386,34256912:28860765,536739,171048 (1,101:6661386,34256912:0,526122,8257 g1,101:6661386,34256912 g1,101:5121306,34256912 g1,101:4736286,34256912 (1,101:4736286,34256912:1540080,526122,8257 k1,101:6276366,34256912:1540080 (1,101:6276366,34256912:0,526122,8257 k1,101:5686542,34256912:-589824 x1,101:6276366,34256912 ) ) g1,101:6661386,34256912 ) x1,101:7316484,34256912 g1,101:7513092,34256912 x1,101:9697800,34256912 g1,101:9894408,34256912 x1,101:10855428,34256912 g1,101:11052036,34256912 x1,101:12624900,34256912 g1,101:12821508,34256912 x1,101:13781742,34256912 g1,101:13978350,34256912 x1,101:14590194,34256912 x1,101:16634131,34256912 g1,101:16830739,34256912 x1,101:17966347,34256912 g1,101:18162955,34256912 x1,101:19123975,34256912 g1,101:19320583,34256912 x1,101:20979955,34256912 g1,101:21176563,34256912 x1,101:21831661,34256912 g1,101:22028269,34256912 x1,101:22989289,34256912 g1,101:23185897,34256912 x1,101:24758761,34256912 g1,101:24955369,34256912 x1,101:25741801,34256912 g1,101:25938409,34256912 x1,101:26287585,34256912 g1,101:26484193,34256912 x1,101:28318939,34256912 g1,101:28515547,34256912 x1,101:29957077,34256912 g1,101:30153685,34256912 x1,101:31158745,34256912 g1,101:31355353,34256912 x1,101:33713863,34256912 k1,102:35522151,34256912:1808288 g1,102:35522151,34256912 ) (1,103:6661386,35862544:28860765,536739,171048 (1,102:6661386,35862544:0,526122,10616 g1,102:6661386,35862544 g1,102:5121306,35862544 g1,102:4736286,35862544 (1,102:4736286,35862544:1540080,526122,10616 k1,102:6276366,35862544:1540080 (1,102:6276366,35862544:0,526122,10616 k1,102:5686542,35862544:-589824 x1,102:6276366,35862544 ) ) g1,102:6661386,35862544 ) x1,102:7316484,35862544 g1,102:7513092,35862544 x1,102:9697800,35862544 g1,102:9894408,35862544 x1,102:10855428,35862544 g1,102:11052036,35862544 x1,102:12624900,35862544 g1,102:12821508,35862544 x1,102:13781742,35862544 g1,102:13978350,35862544 x1,102:14590194,35862544 x1,102:16634131,35862544 g1,102:16830739,35862544 x1,102:17966347,35862544 g1,102:18162955,35862544 x1,102:19123975,35862544 g1,102:19320583,35862544 x1,102:20979955,35862544 g1,102:21176563,35862544 x1,102:21831661,35862544 g1,102:22028269,35862544 x1,102:23601133,35862544 g1,102:23797741,35862544 x1,102:24584173,35862544 g1,102:24780781,35862544 x1,102:25129957,35862544 g1,102:25326565,35862544 x1,102:27161311,35862544 g1,102:27357919,35862544 x1,102:28799449,35862544 g1,102:28996057,35862544 x1,102:31354567,35862544 k1,103:35522151,35862544:4167584 g1,103:35522151,35862544 ) (1,106:4736286,38791990:30785865,706136,337281 x1,106:5214937,38791990 x1,105:5979916,38791990 k1,105:6200593,38791990:220677 k1,105:6421270,38791990:220677 x1,105:8932217,38791990 k1,105:9106268,38791990:174051 x1,105:9664574,38791990 k1,105:9838625,38791990:174051 x1,105:10715554,38791990 k1,105:10889606,38791990:174052 x1,105:12284656,38791990 k1,105:12458707,38791990:174051 x1,105:12777330,38791990 $1,105:12777330,38791990 (1,105:12777330,38791990:773088,706136,337281 (1,105:12777330,38791990:773088,706136,337281 (1,105:12777330,38126040:255472,40186,1003231 x1,105:13032802,38126040 ) [1,105:13032802,38791990:262144,669371,254655 (1,105:13032802,38473367:262144,350748,4456 x1,105:13294946,38473367 ) (1,105:13032802,39039568:262144,350748,7077 x1,105:13294946,39039568 ) ] (1,105:13294946,38126040:255472,40186,1003231 x1,105:13550418,38126040 ) ) ) k1,105:13690061,38791990:139643 x1,105:13869465,38791990 k1,105:14009109,38791990:139644 x1,105:14367918,38791990 k1,105:14507561,38791990:139643 x1,105:14686965,38791990 k1,105:14826609,38791990:139644 x1,105:15185418,38791990 k1,105:15325061,38791990:139643 x1,105:15504465,38791990 k1,105:15644109,38791990:139644 x1,105:16002918,38791990 $1,105:16002918,38791990 x1,105:16321541,38791990 k1,105:16495592,38791990:174051 x1,105:17371805,38791990 k1,105:17545857,38791990:174052 x1,105:20574207,38791990 k1,105:20748258,38791990:174051 x1,105:21425689,38791990 k1,105:21599740,38791990:174051 x1,105:23830816,38791990 k1,105:24004868,38791990:174052 x1,105:24722487,38791990 k1,105:24896538,38791990:174051 x1,105:26331057,38791990 k1,105:26505108,38791990:174051 x1,105:26983758,38791990 k1,105:27157809,38791990:174051 x1,105:27875427,38791990 k1,105:28049479,38791990:174052 x1,105:29404343,38791990 k1,105:29578394,38791990:174051 x1,105:30136700,38791990 k1,105:30310751,38791990:174051 x1,105:31427364,38791990 k1,105:31601416,38791990:174052 x1,105:32478345,38791990 k1,105:32652396,38791990:174051 x1,105:35522151,38791990 k1,105:35522151,38791990:0 ) (1,106:4736286,39742262:30785865,489774,156081 x1,106:5095095,39742262 x1,105:6272706,39742262 g1,105:6452110,39742262 x1,105:7049886,39742262 g1,105:7229290,39742262 x1,105:8544684,39742262 g1,105:8724088,39742262 x1,105:9401520,39742262 g1,105:9580924,39742262 x1,105:9899547,39742262 x1,105:12818815,39742262 k1,106:35522151,39742262:22703336 g1,106:35522151,39742262 ) (1,110:4736286,42016348:30785865,539492,139591 x1,110:5565972,42016348 x1,109:7605190,42016348 k1,109:7873725,42016348:268535 x1,109:8463549,42016348 k1,109:8923123,42016348:459574 x1,109:9971437,42016348 k1,109:10239971,42016348:268534 $1,109:10239971,42016348 x1,109:10764521,42016348 (1,109:10764521,42134312:294912,231735,3932 x1,109:11026665,42134312 ) $1,109:11059433,42016348 k1,109:11327968,42016348:268535 x1,109:12070360,42016348 k1,109:12338895,42016348:268535 x1,109:13299915,42016348 k1,109:13568449,42016348:268534 x1,109:15970999,42016348 k1,109:16239534,42016348:268535 x1,109:16894632,42016348 k1,109:17163167,42016348:268535 x1,109:19520891,42016348 k1,109:19789426,42016348:268535 x1,109:22454644,42016348 x1,109:22803820,42016348 k1,109:23072354,42016348:268534 x1,109:24252002,42016348 k1,109:24520537,42016348:268535 x1,109:25874773,42016348 k1,109:26143308,42016348:268535 x1,109:26711112,42016348 k1,109:26979646,42016348:268534 $1,109:26979646,42016348 x1,109:27831352,42016348 k1,109:27962422,42016348:131070 x1,109:28617520,42016348 $1,109:28617520,42016348 x1,109:28814128,42016348 k1,109:29100645,42016348:286517 x1,109:30236253,42016348 k1,109:30504787,42016348:268534 x1,109:31116631,42016348 k1,109:31385166,42016348:268535 $1,109:31385166,42016348 x1,109:32236872,42016348 k1,109:32367942,42016348:131070 x1,109:33023040,42016348 $1,109:33023040,42016348 x1,109:33219648,42016348 k1,109:33506164,42016348:286516 x1,109:34641772,42016348 k1,109:34910307,42016348:268535 x1,109:35522151,42016348 k1,109:35522151,42016348:0 ) (1,110:4736286,42966620:30785865,773848,369623 x1,110:6658326,42966620 g1,109:6854934,42966620 x1,109:7815954,42966620 g1,109:8012562,42966620 x1,109:9236250,42966620 g1,109:9432858,42966620 x1,109:10961682,42966620 g1,109:11158290,42966620 x1,109:11682840,42966620 g1,109:11879448,42966620 x1,109:12621840,42966620 x1,109:12995395,42966620 x1,109:13594656,42966620 g1,109:13791264,42966620 x1,109:16128540,42966620 g1,109:16372334,42966620 x1,109:17596022,42966620 x1,109:18144165,42966620 g1,109:18340773,42966620 x1,109:19127205,42966620 g1,109:19323813,42966620 x1,109:21201813,42966620 x1,109:21575368,42966620 x1,109:22174629,42966620 g1,109:22371237,42966620 x1,109:24380571,42966620 g1,109:24577179,42966620 x1,109:25756827,42966620 g1,109:25953435,42966620 x1,109:27439005,42966620 g1,109:27635613,42966620 x1,109:28815261,42966620 g1,109:29011869,42966620 $1,109:29011869,42966620 x1,109:29536419,42966620 (1,109:29536419,43084584:294912,231735,3932 x1,109:29798563,43084584 ) g1,109:30049781,42966620 x1,109:30549951,42966620 g1,109:30768401,42966620 (1,109:30768401,42966620:1015021,660602,275251 (1,109:30768401,42966620:1015021,660602,275251 h1,109:30768401,42966620:78643,0,0 [1,109:30847044,42966620:857735,660602,275251 (1,109:30847044,42656766:857735,350748,0 k1,109:31144840,42656766:297796 x1,109:31406984,42656766 k1,109:31704779,42656766:297795 ) (1,109:30847044,43237939:857735,350748,3932 x1,109:31704779,43237939 ) ] h1,109:31704779,42966620:78643,0,0 ) ) (1,109:31783422,42966620:1084226,773848,369623 (1,109:31783422,42966620:1084226,773848,369623 (1,109:31783422,42236812:279969,44040,1099431 x1,109:32063391,42236812 ) [1,109:32063391,42966620:524288,699924,275251 (1,109:32063391,42617444:524288,350748,3932 x1,109:32587679,42617444 ) (1,109:32063391,43237939:524288,231735,3932 k1,109:32194463,43237939:131072 x1,109:32456607,43237939 k1,109:32587679,43237939:131072 ) ] (1,109:32587679,42236812:279969,44040,1099431 x1,109:32867648,42236812 ) ) ) $1,109:32867648,42966620 x1,109:33064256,42966620 k1,110:35522151,42966620:2457895 g1,110:35522151,42966620 ) (1,112:4736286,45240706:30785865,492286,156081 x1,112:5214937,45240706 x1,111:5979916,45240706 g1,111:6202377,45240706 g1,111:6424838,45240706 x1,111:7022614,45240706 g1,111:7202018,45240706 x1,111:8876221,45240706 x1,111:10132051,45240706 g1,111:10311455,45240706 x1,111:11626849,45240706 x1,111:12127029,45240706 x1,111:12445652,45240706 g1,111:12625056,45240706 x1,111:14458571,45240706 g1,111:14637975,45240706 x1,111:15913183,45240706 x1,111:16261227,45240706 x1,111:16569085,45240706 x1,111:17067112,45240706 k1,112:35522152,45240706:18455040 g1,112:35522152,45240706 ) ] (1,113:4736286,47362867:30785865,526122,0 (1,113:4736286,47362867:30785865,526122,0 k1,113:19932610,47362867:15196324 x1,113:20325826,47362867 k1,113:35522150,47362867:15196324 ) ) ] ] !27905 }2 !10 {3 [1,145:4736286,47362867:30785865,42626581,10616 [1,145:4736286,47362867:30785865,42626581,10616 [1,145:4736286,4736286:30785865,0,0 (1,145:4736286,4736286:30785865,0,0 h1,145:4736286,4736286:30785865,0,0 ) ] [1,145:4736286,45396787:30785865,40660501,0 (1,117:4736286,5522718:30785865,526515,10617 x1,117:5565972,5522718 x1,115:7605190,5522718 g1,115:7801798,5522718 x1,115:8391622,5522718 k1,117:35522150,5522718:27130528 g1,117:35522150,5522718 ) (1,118:6661386,7128350:28860765,639368,201325 (1,117:6661386,7128350:0,526122,8257 g1,117:6661386,7128350 g1,117:5121306,7128350 g1,117:4736286,7128350 (1,117:4736286,7128350:1540080,526122,8257 k1,117:6276366,7128350:1540080 (1,117:6276366,7128350:0,526122,8257 k1,117:5686542,7128350:-589824 x1,117:6276366,7128350 ) ) g1,117:6661386,7128350 ) x1,117:7316484,7128350 k1,117:7465906,7128350:149422 x1,117:9650614,7128350 k1,117:9800036,7128350:149422 x1,117:11023724,7128350 x1,117:11571867,7128350 k1,117:11721289,7128350:149422 x1,117:12900937,7128350 k1,117:13050359,7128350:149422 x1,117:13530869,7128350 k1,117:13680291,7128350:149422 $1,117:13680291,7128350 x1,117:14016884,7128350 $1,117:14131703,7128350 k1,117:14281125,7128350:149422 x1,117:14805675,7128350 k1,117:14955097,7128350:149422 x1,117:15916117,7128350 k1,117:16065539,7128350:149422 x1,117:17201147,7128350 x1,117:17550323,7128350 x1,117:18380009,7128350 x1,117:19385069,7128350 k1,117:19534491,7128350:149422 x1,117:20931981,7128350 x1,117:22155669,7128350 k1,117:22305091,7128350:149422 x1,117:22960189,7128350 k1,117:23109611,7128350:149422 x1,117:23458787,7128350 k1,117:23608209,7128350:149422 x1,117:24263307,7128350 x1,117:26490483,7128350 k1,117:26639905,7128350:149422 $1,117:26639905,7128350 x1,117:27033121,7128350 (1,117:27033121,7246314:274465,353894,3932 x1,117:27265905,7246314 ) $1,117:27307586,7128350 x1,117:27504194,7128350 k1,117:27663054,7128350:158860 x1,117:29978310,7128350 k1,117:30127732,7128350:149422 $1,117:30127732,7128350 x1,117:30464325,7128350 x1,117:31229523,7128350 x1,117:31493764,7128350 k1,117:31712214,7128350:218450 x1,117:32212384,7128350 k1,117:32430834,7128350:218450 (1,117:32430834,6587875:635436,0,676725 x1,117:33066270,6587875 ) [1,117:33066270,7322598:870056,766704,7077 (1,117:33066270,6790250:479985,234356,0 x1,117:33513487,6790250 ) (1,117:33066270,7322598:870056,353894,7077 x1,117:33299054,7322598 x1,117:33903558,7322598 ) ] k1,117:34067396,7128350:131070 x1,117:34460612,7128350 (1,117:34460612,7246314:274465,353894,3932 x1,117:34693396,7246314 ) x1,117:35123574,7128350 (1,117:35125933,6842876:274465,353894,3932 x1,117:35358717,6842876 ) $1,117:35400398,7128350 x1,117:35597006,7128350 k1,117:35597006,7128350:0 ) (1,118:6661386,8078622:28860765,536739,171048 x1,118:8015622,8078622 g1,117:8212230,8078622 $1,117:8212230,8078622 x1,117:8600727,8078622 x1,117:8939679,8078622 (1,117:9054498,7793148:214696,246939,0 x1,117:9236426,7793148 ) $1,117:9269194,8078622 g1,117:9465802,8078622 x1,117:9990352,8078622 g1,117:10186960,8078622 x1,117:11147980,8078622 g1,117:11344588,8078622 x1,117:12480196,8078622 x1,117:12829372,8078622 x1,117:13659058,8078622 x1,117:14664118,8078622 g1,117:14860726,8078622 x1,117:16258216,8078622 x1,117:17481904,8078622 g1,117:17678512,8078622 x1,117:18333610,8078622 g1,117:18530218,8078622 x1,117:19491238,8078622 g1,117:19687846,8078622 x1,117:20342944,8078622 x1,117:22570120,8078622 g1,117:22766728,8078622 $1,117:22766728,8078622 x1,117:23115904,8078622 x1,117:23522489,8078622 (1,117:23522489,8196586:274465,353894,3932 x1,117:23755273,8196586 ) $1,117:23796954,8078622 x1,117:23993562,8078622 k1,118:35522151,8078622:11528589 g1,118:35522151,8078622 ) (1,119:6661386,9684254:28860765,773848,369623 (1,118:6661386,9684254:0,526122,8257 g1,118:6661386,9684254 g1,118:5121306,9684254 g1,118:4736286,9684254 (1,118:4736286,9684254:1540080,526122,8257 k1,118:6276366,9684254:1540080 (1,118:6276366,9684254:0,526122,8257 k1,118:5686542,9684254:-589824 x1,118:6276366,9684254 ) ) g1,118:6661386,9684254 ) x1,118:7316484,9684254 k1,118:7485303,9684254:168819 x1,118:9670011,9684254 k1,118:9838829,9684254:168818 x1,118:10276085,9684254 x1,118:10919386,9684254 k1,118:11088205,9684254:168819 x1,118:12748363,9684254 k1,118:12917182,9684254:168819 x1,118:13747654,9684254 x1,118:14478249,9684254 k1,118:14647067,9684254:168818 x1,118:16830989,9684254 k1,118:16999808,9684254:168819 x1,118:19402358,9684254 k1,118:19571177,9684254:168819 $1,118:19571177,9684254 x1,118:19964393,9684254 $1,118:19964393,9684254 x1,118:20161001,9684254 k1,118:20335377,9684254:174376 x1,118:21559065,9684254 k1,118:21727884,9684254:168819 x1,118:22688904,9684254 k1,118:22857723,9684254:168819 x1,118:26177253,9684254 k1,118:26346071,9684254:168818 x1,118:28967249,9684254 k1,118:29136068,9684254:168819 x1,118:29791166,9684254 k1,118:29959985,9684254:168819 x1,118:30921005,9684254 k1,118:31089823,9684254:168818 x1,118:33972097,9684254 k1,118:34140916,9684254:168819 $1,118:34140916,9684254 x1,118:34490092,9684254 (1,118:34503461,9684254:822082,773848,369623 (1,118:34503461,9684254:822082,773848,369623 (1,118:34503461,8954446:279969,44040,1099431 x1,118:34783430,8954446 ) [1,118:34783430,9684254:262144,580911,275251 (1,118:34783430,9335078:262144,231735,3932 x1,118:35045574,9335078 ) (1,118:34783430,9955573:262144,353894,3932 k1,118:34793654,9955573:10224 x1,118:35026438,9955573 k1,118:35045574,9955573:10223 ) ] (1,118:35045574,8954446:279969,44040,1099431 x1,118:35325543,8954446 ) ) ) $1,118:35325543,9684254 x1,118:35522151,9684254 k1,119:35522151,9684254:0 k1,119:35522151,9684254:0 ) (1,120:6661386,11548621:28860765,773848,369623 (1,119:6661386,11548621:0,526122,10616 g1,119:6661386,11548621 g1,119:5121306,11548621 g1,119:4736286,11548621 (1,119:4736286,11548621:1540080,526122,10616 k1,119:6276366,11548621:1540080 (1,119:6276366,11548621:0,526122,10616 k1,119:5686542,11548621:-589824 x1,119:6276366,11548621 ) ) g1,119:6661386,11548621 ) x1,119:7316484,11548621 g1,119:7513092,11548621 x1,119:9697800,11548621 g1,119:9894408,11548621 x1,119:10986762,11548621 x1,119:11328073,11548621 x1,119:12749942,11548621 g1,119:12946550,11548621 x1,119:14170238,11548621 g1,119:14366846,11548621 x1,119:15327866,11548621 g1,119:15524474,11548621 x1,119:18844004,11548621 g1,119:19040612,11548621 x1,119:21661790,11548621 g1,119:21858398,11548621 x1,119:22513496,11548621 g1,119:22710104,11548621 x1,119:23671124,11548621 g1,119:23867732,11548621 x1,119:26750006,11548621 g1,119:26946614,11548621 $1,119:26946614,11548621 x1,119:27295790,11548621 (1,119:27309159,11263147:294912,350748,0 x1,119:27571303,11263147 ) (1,119:27604071,11548621:822082,773848,369623 (1,119:27604071,11548621:822082,773848,369623 (1,119:27604071,10818813:279969,44040,1099431 x1,119:27884040,10818813 ) [1,119:27884040,11548621:262144,580911,275251 (1,119:27884040,11199445:262144,231735,3932 x1,119:28146184,11199445 ) (1,119:27884040,11819940:262144,353894,3932 k1,119:27894264,11819940:10224 x1,119:28127048,11819940 k1,119:28146184,11819940:10223 ) ] (1,119:28146184,10818813:279969,44040,1099431 x1,119:28426153,10818813 ) ) ) $1,119:28426153,11548621 x1,119:28622761,11548621 k1,120:35522151,11548621:6899390 g1,120:35522151,11548621 ) (1,121:6661386,13412988:28860765,773848,369623 (1,120:6661386,13412988:0,526122,8257 g1,120:6661386,13412988 g1,120:5121306,13412988 g1,120:4736286,13412988 (1,120:4736286,13412988:1540080,526122,8257 k1,120:6276366,13412988:1540080 (1,120:6276366,13412988:0,526122,8257 k1,120:5686542,13412988:-589824 x1,120:6276366,13412988 ) ) g1,120:6661386,13412988 ) x1,120:7316484,13412988 g1,120:7513092,13412988 x1,120:9697800,13412988 g1,120:9894408,13412988 x1,120:12778254,13412988 g1,120:12974862,13412988 x1,120:13935882,13412988 g1,120:14132490,13412988 x1,120:15443472,13412988 g1,120:15640080,13412988 $1,120:15640080,13412988 (1,120:15640080,12872513:635436,0,676725 x1,120:16275516,12872513 ) [1,120:16275516,13608874:870056,765721,7077 (1,120:16275516,13074888:294912,231735,3932 x1,120:16537660,13074888 ) (1,120:16275516,13608874:870056,353894,7077 x1,120:16508300,13608874 x1,120:17112804,13608874 ) ] g1,120:17276642,13412988 x1,120:17625818,13412988 (1,120:17639187,13127514:294912,350748,0 x1,120:17901331,13127514 ) (1,120:17934099,13412988:822082,773848,369623 (1,120:17934099,13412988:822082,773848,369623 (1,120:17934099,12683180:279969,44040,1099431 x1,120:18214068,12683180 ) [1,120:18214068,13412988:262144,580911,275251 (1,120:18214068,13063812:262144,231735,3932 x1,120:18476212,13063812 ) (1,120:18214068,13684307:262144,353894,3932 k1,120:18224292,13684307:10224 x1,120:18457076,13684307 k1,120:18476212,13684307:10223 ) ] (1,120:18476212,12683180:279969,44040,1099431 x1,120:18756181,12683180 ) ) ) $1,120:18756181,13412988 x1,120:18952789,13412988 k1,121:35522151,13412988:16569362 g1,121:35522151,13412988 ) (1,125:4736286,23317984:30785865,6553600,0 r1,125:4736286,23317984:0,6553600,0 g1,125:27264615,23317984 g1,125:27264615,23317984 (1,125:27264615,23317984:8257536,6553600,0 (1,125:27264615,23317984:8257536,6553600,0 (1,125:27264615,23317984:8257536,6553600,0 g1,125:27264615,23317984 (1,125:27264615,23317984:0,6553600,0 (1,125:27264615,23317984:0,6553600,0 [1,125:27264615,23317984:8257536,6553600,0 (1,125:27264615,23330276:8257536,6578184,0 k1,125:27262283,23330276:-2332 (1,125:27262283,23330276:8262199,6578184,0 (1,125:27262283,23330276:8262199,6578184,0 (1,125:27262283,23330276:8262199,6578184,0 (1,125:27262283,23330276:8262220,6578201,0 (1,125:27262283,23330276:8262220,6578201,0 (1,125:27262283,23330276:0,8222720,0 (1,125:27262283,23330276:10327736,8222720,0 ) k1,125:27262283,23330276:-10327736 ) ) ) ) ) ) k1,125:35522151,23330276:-2331 ) ] k1,125:27264615,23317984:-8257536 ) ) k1,125:35522151,23317984:8257536 ) ) ) g1,125:35522151,23317984 g1,125:35522151,23317984 ) (1,132:4736286,22336899:21753626,5816647,5412421 $1,131:4736286,22336899 [1,131:4736286,22336899:21313290,5816647,5412421 (1,131:4736286,17059744:21313290,539492,171048 h1,131:4736286,17059744:0,0,0 x1,131:5565972,17059744 x1,131:7605190,17059744 g1,131:7801798,17059744 x1,131:8391622,17059744 g1,131:8635416,17059744 x1,131:11475222,17059744 g1,131:11671830,17059744 x1,131:12109086,17059744 x1,131:13931249,17059744 x1,131:14193917,17059744 g1,131:14390525,17059744 x1,131:16793075,17059744 g1,131:16989683,17059744 x1,131:17907449,17059744 x1,131:18045860,17059744 g1,131:18242468,17059744 x1,131:18897566,17059744 g1,131:19094174,17059744 x1,131:21758606,17059744 g1,131:21955214,17059744 x1,131:22741646,17059744 g1,131:22938254,17059744 x1,131:23899274,17059744 g1,131:24095882,17059744 x1,131:25778060,17059744 k1,131:26049576,17059744:271516 g1,131:26049576,17059744 ) (1,131:6661386,18665376:19388190,536739,171048 (1,131:6661386,18665376:0,526122,8257 g1,131:6661386,18665376 g1,131:5121306,18665376 g1,131:4736286,18665376 (1,131:4736286,18665376:1540080,526122,8257 k1,131:6276366,18665376:1540080 (1,131:6276366,18665376:0,526122,8257 k1,131:5686542,18665376:-589824 x1,131:6276366,18665376 ) ) g1,131:6661386,18665376 ) x1,131:7709700,18665376 k1,131:8029727,18665376:320027 x1,131:10214435,18665376 k1,131:10534463,18665376:320028 x1,131:11758151,18665376 x1,131:12306294,18665376 k1,131:12626321,18665376:320027 x1,131:13805969,18665376 k1,131:14125997,18665376:320028 x1,131:15087017,18665376 k1,131:15407044,18665376:320027 x1,131:16718026,18665376 k1,131:17038053,18665376:320027 x1,131:17693151,18665376 k1,131:18013179,18665376:320028 x1,131:18362355,18665376 x1,131:18735910,18665376 x1,131:19728387,18665376 k1,131:20048414,18665376:320027 x1,131:20441630,18665376 x1,131:20779009,18665376 x1,131:21478147,18665376 x1,131:22395127,18665376 k1,131:22715155,18665376:320028 x1,131:23676175,18665376 x1,131:25074451,18665376 k1,131:25394478,18665376:320027 x1,131:26049576,18665376 k1,131:26049576,18665376:0 ) (1,131:6661386,19615648:19388190,536739,171048 x1,131:8059662,19615648 x1,131:9369858,19615648 k1,131:9533525,19615648:163667 x1,131:10145369,19615648 k1,131:10309036,19615648:163667 x1,131:11226802,19615648 k1,131:11390437,19615648:163635 x1,131:11914987,19615648 k1,131:12078654,19615648:163667 x1,131:13039674,19615648 k1,131:13203341,19615648:163667 x1,131:14601617,19615648 x1,131:15605891,19615648 k1,131:15769558,19615648:163667 x1,131:16511950,19615648 x1,131:17123794,19615648 x1,131:17671937,19615648 k1,131:17835604,19615648:163667 x1,131:18272860,19615648 k1,131:18436527,19615648:163667 x1,131:19572135,19615648 k1,131:19735802,19615648:163667 x1,131:20347646,19615648 k1,131:20511314,19615648:163668 x1,131:21472334,19615648 k1,131:21636001,19615648:163667 x1,131:23318179,19615648 k1,131:23550993,19615648:232814 x1,131:24250131,19615648 x1,131:24893432,19615648 k1,131:25057099,19615648:163667 x1,131:25406275,19615648 x1,131:25787694,19615648 x1,131:26049576,19615648 k1,131:26049576,19615648:0 ) (1,131:6661386,20565920:19388190,536739,171048 x1,131:7622406,20565920 x1,131:8780034,20565920 k1,131:8986459,20565920:206425 x1,131:9903439,20565920 k1,131:10107900,20565920:204461 x1,131:11068920,20565920 k1,131:11273381,20565920:204461 x1,131:12234401,20565920 x1,131:13632677,20565920 k1,131:13837138,20565920:204461 x1,131:14536276,20565920 x1,131:17375296,20565920 k1,131:17579758,20565920:204462 x1,131:18366190,20565920 k1,131:18570651,20565920:204461 x1,131:18919827,20565920 k1,131:19124288,20565920:204461 x1,131:20303150,20565920 x1,131:21045542,20565920 x1,131:22006562,20565920 k1,131:22211023,20565920:204461 x1,131:22997455,20565920 k1,131:23201917,20565920:204462 x1,131:24162937,20565920 k1,131:24367398,20565920:204461 x1,131:26049576,20565920 k1,131:26049576,20565920:0 ) (1,131:6661386,21516192:19388190,536739,110886 x1,131:7622406,21516192 k1,131:7815402,21516192:192996 x1,131:9126384,21516192 k1,131:9319379,21516192:192995 x1,131:9843929,21516192 k1,131:10036925,21516192:192996 $1,131:10036925,21516192 x1,131:10430141,21516192 k1,131:10591521,21516192:161380 x1,131:11091691,21516192 k1,131:11253072,21516192:161381 x1,131:11646288,21516192 k1,131:11807669,21516192:161381 x1,131:12307839,21516192 k1,131:12469220,21516192:161381 x1,131:13255652,21516192 k1,131:13417032,21516192:161380 x1,131:13917202,21516192 k1,131:14078583,21516192:161381 x1,131:14865015,21516192 k1,131:15083465,21516192:218450 x1,131:15583635,21516192 k1,131:15802085,21516192:218450 x1,131:16588517,21516192 $1,131:16588517,21516192 x1,131:16785125,21516192 k1,131:16978843,21516192:193718 x1,131:17633941,21516192 k1,131:17826937,21516192:192996 x1,131:18613369,21516192 x1,131:19355761,21516192 x1,131:21190507,21516192 k1,131:21383502,21516192:192995 x1,131:22125894,21516192 x1,131:22737738,21516192 x1,131:23285881,21516192 k1,131:23478877,21516192:192996 x1,131:23916133,21516192 k1,131:24109128,21516192:192995 x1,131:25244736,21516192 k1,131:25437732,21516192:192996 x1,131:26049576,21516192 k1,131:26049576,21516192:0 ) (1,131:6661386,22466464:19388190,536739,171048 x1,131:7622406,22466464 g1,131:7819014,22466464 x1,131:9763074,22466464 k1,131:26049576,22466464:16286502 g1,131:26049576,22466464 ) (1,131:6661386,24072096:19388190,536739,171048 (1,131:6661386,24072096:0,526122,8257 g1,131:6661386,24072096 g1,131:5121306,24072096 g1,131:4736286,24072096 (1,131:4736286,24072096:1540080,526122,8257 k1,131:6276366,24072096:1540080 (1,131:6276366,24072096:0,526122,8257 k1,131:5686542,24072096:-589824 x1,131:6276366,24072096 ) ) g1,131:6661386,24072096 ) x1,131:7709700,24072096 k1,131:7968533,24072096:258833 x1,131:10153241,24072096 k1,131:10412075,24072096:258834 x1,131:11635763,24072096 x1,131:12183906,24072096 k1,131:12442739,24072096:258833 x1,131:13622387,24072096 k1,131:13881220,24072096:258833 x1,131:14842240,24072096 k1,131:15101073,24072096:258833 x1,131:16412055,24072096 k1,131:16670889,24072096:258834 x1,131:17325987,24072096 k1,131:17584820,24072096:258833 x1,131:17933996,24072096 x1,131:18307551,24072096 x1,131:19300028,24072096 k1,131:19558861,24072096:258833 x1,131:21262273,24072096 x1,131:22564604,24072096 k1,131:22823438,24072096:258834 x1,131:23959046,24072096 k1,131:24217879,24072096:258833 x1,131:24829723,24072096 k1,131:25088556,24072096:258833 x1,131:26049576,24072096 k1,131:26049576,24072096:0 ) (1,131:6661386,25022368:19388190,536739,171048 x1,131:8146956,25022368 x1,131:8496132,25022368 k1,131:8667841,25022368:171709 x1,131:11376313,25022368 k1,131:11548021,25022368:171708 x1,131:13251433,25022368 k1,131:13423142,25022368:171709 x1,131:14078240,25022368 k1,131:14249949,25022368:171709 x1,131:16958421,25022368 k1,131:17130129,25022368:171708 x1,131:17741973,25022368 k1,131:17913682,25022368:171709 x1,131:18831448,25022368 k1,131:19003132,25022368:171684 x1,131:19527682,25022368 k1,131:19699391,25022368:171709 x1,131:20048567,25022368 k1,131:20220275,25022368:171708 x1,131:23321963,25022368 k1,131:23493672,25022368:171709 x1,131:25896222,25022368 x1,131:26049576,25022368 k1,131:26049576,25022368:0 ) (1,131:6661386,25972640:19388190,536739,171048 x1,131:7360524,25972640 x1,131:8003825,25972640 k1,131:8177591,25972640:173766 x1,131:8526767,25972640 x1,131:11026834,25972640 k1,131:11205169,25972640:178335 x1,131:12122149,25972640 k1,131:12295915,25972640:173766 x1,131:13256935,25972640 k1,131:13430700,25972640:173765 x1,131:16139172,25972640 k1,131:16312938,25972640:173766 x1,131:19851096,25972640 k1,131:20024862,25972640:173766 x1,131:20811294,25972640 k1,131:20985060,25972640:173766 x1,131:21727452,25972640 k1,131:21901218,25972640:173766 x1,131:23954592,25972640 k1,131:24128358,25972640:173766 x1,131:24914790,25972640 k1,131:25088556,25972640:173766 x1,131:26049576,25972640 k1,131:26049576,25972640:0 ) (1,131:6661386,26922912:19388190,536739,171048 x1,131:8343564,26922912 g1,131:8540172,26922912 x1,131:9501192,26922912 g1,131:9697800,26922912 x1,131:11008782,26922912 g1,131:11205390,26922912 x1,131:11729940,26922912 g1,131:11926548,26922912 $1,131:11926548,26922912 x1,131:12319764,26922912 g1,131:12494524,26922912 x1,131:12994694,26922912 g1,131:13169454,26922912 x1,131:13562670,26922912 g1,131:13737430,26922912 x1,131:14237600,26922912 g1,131:14412360,26922912 x1,131:14805576,26922912 g1,131:14980336,26922912 x1,131:15480506,26922912 g1,131:15655266,26922912 x1,131:16048482,26922912 g1,131:16266932,26922912 x1,131:16767102,26922912 g1,131:16985552,26922912 x1,131:17771984,26922912 $1,131:17771984,26922912 x1,131:17968592,26922912 g1,131:18165200,26922912 x1,131:20087240,26922912 g1,131:20283848,26922912 x1,131:20808398,26922912 g1,131:21005006,26922912 $1,131:21005006,26922912 x1,131:21524837,26922912 (1,131:21524837,27040876:294912,357826,7077 x1,131:21786981,27040876 ) $1,131:21819749,26922912 x1,131:22278239,26922912 k1,131:26049576,26922912:3771337 g1,131:26049576,26922912 ) ] $1,131:26049576,22336899 k1,132:26489912,22336899:440336 g1,132:26489912,22336899 ) (1,137:4736286,30209033:21753626,526515,10617 x1,137:5565972,30209033 x1,135:7605190,30209033 g1,135:7801798,30209033 x1,135:8391622,30209033 k1,137:26489912,30209033:18098290 g1,137:26489912,30209033 ) (1,138:6661386,31814665:28860765,536739,171048 (1,137:6661386,31814665:0,526122,8257 g1,137:6661386,31814665 g1,137:5121306,31814665 g1,137:4736286,31814665 (1,137:4736286,31814665:1540080,526122,8257 k1,137:6276366,31814665:1540080 (1,137:6276366,31814665:0,526122,8257 k1,137:5686542,31814665:-589824 x1,137:6276366,31814665 ) ) g1,137:6661386,31814665 ) x1,137:7709700,31814665 k1,137:7904491,31814665:194791 x1,137:10089199,31814665 k1,137:10283990,31814665:194791 x1,137:11332304,31814665 k1,137:11527095,31814665:194791 $1,137:11527095,31814665 x1,137:12046926,31814665 (1,137:12046926,31932629:294912,231735,3932 x1,137:12309070,31932629 ) $1,137:12341838,31814665 k1,137:12536629,31814665:194791 x1,137:13279021,31814665 k1,137:13473812,31814665:194791 x1,137:14434832,31814665 k1,137:14629623,31814665:194791 x1,137:17731311,31814665 k1,137:17926101,31814665:194790 x1,137:21004983,31814665 k1,137:21200138,31814665:195155 x1,137:21942530,31814665 x1,137:23515394,31814665 k1,137:23710185,31814665:194791 x1,137:24496617,31814665 k1,137:24691408,31814665:194791 $1,137:24691408,31814665 x1,137:25211239,31814665 (1,137:25211239,31932629:294912,350748,7077 x1,137:25473383,31932629 ) k1,137:25724601,31814665:218450 x1,137:26224771,31814665 k1,137:26443221,31814665:218450 x1,137:26963052,31814665 (1,137:26963052,31932629:294912,350748,0 x1,137:27225196,31932629 ) k1,137:27476414,31814665:218450 x1,137:27976584,31814665 k1,137:28195034,31814665:218450 x1,137:28588250,31814665 $1,137:28588250,31814665 k1,137:28783041,31814665:194791 x1,137:29918649,31814665 k1,137:30113440,31814665:194791 $1,137:30113440,31814665 x1,137:30633271,31814665 (1,137:30633271,31932629:294912,231735,3932 x1,137:30895415,31932629 ) k1,137:31146633,31814665:218450 x1,137:31646803,31814665 k1,137:31865253,31814665:218450 x1,137:32385084,31814665 (1,137:32385084,31932629:890503,350748,3932 x1,137:33242819,31932629 ) k1,137:33443617,31814665:168030 x1,137:33943787,31814665 k1,137:34111817,31814665:168030 x1,137:34631648,31814665 (1,137:34631648,31932629:890503,350748,3932 x1,137:35489383,31932629 ) $1,137:35522151,31814665 k1,138:35522151,31814665:0 ) (1,138:6661386,32764937:28860765,536739,171048 x1,138:7578366,32764937 k1,137:7780277,32764937:201911 $1,137:7780277,32764937 x1,137:8173493,32764937 k1,137:8401763,32764937:228270 x1,137:8901933,32764937 k1,137:9130203,32764937:228270 x1,137:9523419,32764937 $1,137:9523419,32764937 k1,137:9725330,32764937:201911 x1,137:10686350,32764937 k1,137:10888261,32764937:201911 $1,137:10888261,32764937 x1,137:11408092,32764937 (1,137:11408092,32882901:294912,231735,3932 x1,137:11670236,32882901 ) k1,137:11931274,32764937:228270 x1,137:12431444,32764937 k1,137:12659714,32764937:228270 x1,137:13511420,32764937 k1,137:13642490,32764937:131070 x1,137:14232314,32764937 k1,137:14363384,32764937:131070 x1,137:14953208,32764937 k1,137:15084278,32764937:131070 x1,137:15674102,32764937 k1,137:15805172,32764937:131070 x1,137:16394996,32764937 k1,137:16526066,32764937:131070 x1,137:17115890,32764937 k1,137:17246960,32764937:131070 x1,137:18230000,32764937 k1,137:18361070,32764937:131070 (1,137:18361070,32764937:851964,79429,9830 x1,137:18557678,32764937 g1,137:18688748,32764937 x1,137:18885356,32764937 g1,137:19016426,32764937 x1,137:19213034,32764937 ) x1,137:19474916,32764937 $1,137:19474916,32764937 x1,137:19933406,32764937 k1,137:20193108,32764937:259702 x1,137:22071894,32764937 k1,137:22273805,32764937:201911 x1,137:24151805,32764937 x1,137:24525360,32764937 x1,137:25124621,32764937 k1,137:25326532,32764937:201911 x1,137:27335866,32764937 k1,137:27537777,32764937:201911 x1,137:28717425,32764937 k1,137:28919336,32764937:201911 x1,137:30601514,32764937 k1,137:30804750,32764937:203236 x1,137:32028438,32764937 k1,137:32230349,32764937:201911 x1,137:32972741,32764937 k1,137:33174652,32764937:201911 x1,137:33523828,32764937 x1,137:35522151,32764937 k1,137:35522151,32764937:0 ) (1,138:6661386,33715209:28860765,572456,201325 x1,138:9151230,33715209 g1,137:9347838,33715209 x1,137:10264818,33715209 g1,137:10461426,33715209 x1,137:11422446,33715209 g1,137:11619054,33715209 x1,137:14938584,33715209 g1,137:15135192,33715209 x1,137:17756370,33715209 g1,137:17952978,33715209 x1,137:18608076,33715209 g1,137:18804684,33715209 x1,137:19941078,33715209 g1,137:20137686,33715209 x1,137:23216568,33715209 g1,137:23413176,33715209 $1,137:23413176,33715209 x1,137:23749769,33715209 x1,137:24514967,33715209 x1,137:24779208,33715209 g1,137:24997658,33715209 x1,137:25663766,33715209 g1,137:25882216,33715209 (1,137:25882216,33174734:635436,0,676725 x1,137:26517652,33174734 ) [1,137:26517652,33909457:890503,766704,7077 (1,137:26517652,33377109:479985,234356,0 x1,137:26964869,33377109 ) (1,137:26517652,33909457:890503,350748,7077 x1,137:27375387,33909457 ) ] g1,137:27539225,33715209 x1,137:28059056,33715209 (1,137:28059056,33833173:294912,231735,3932 x1,137:28321200,33833173 ) x1,137:28742465,33715209 (1,137:28744824,33429735:294912,231735,3932 x1,137:29006968,33429735 ) $1,137:29039736,33715209 x1,137:29236344,33715209 k1,138:35522151,33715209:6285807 g1,138:35522151,33715209 ) (1,139:6661386,35320841:28860765,536739,171048 (1,138:6661386,35320841:0,526122,8257 g1,138:6661386,35320841 g1,138:5121306,35320841 g1,138:4736286,35320841 (1,138:4736286,35320841:1540080,526122,8257 k1,138:6276366,35320841:1540080 (1,138:6276366,35320841:0,526122,8257 k1,138:5686542,35320841:-589824 x1,138:6276366,35320841 ) ) g1,138:6661386,35320841 ) x1,138:7316484,35320841 k1,138:7516736,35320841:200252 x1,138:9701444,35320841 k1,138:9901695,35320841:200251 x1,138:10950009,35320841 k1,138:11150261,35320841:200252 $1,138:11150261,35320841 x1,138:11718065,35320841 (1,138:11718065,35438805:294912,231735,3932 x1,138:11980209,35438805 ) $1,138:12012977,35320841 k1,138:12213229,35320841:200252 x1,138:12955621,35320841 k1,138:13155873,35320841:200252 x1,138:14116893,35320841 k1,138:14317144,35320841:200251 x1,138:17199418,35320841 k1,138:17399670,35320841:200252 x1,138:18142062,35320841 x1,138:19714926,35320841 k1,138:19915178,35320841:200252 x1,138:20701610,35320841 k1,138:20901862,35320841:200252 $1,138:20901862,35320841 x1,138:21469666,35320841 (1,138:21469666,35438805:294912,350748,7077 x1,138:21731810,35438805 ) k1,138:21989775,35320841:225197 x1,138:22489945,35320841 k1,138:22715143,35320841:225198 x1,138:23282947,35320841 (1,138:23282947,35438805:294912,350748,0 x1,138:23545091,35438805 ) k1,138:23803057,35320841:225198 x1,138:24303227,35320841 k1,138:24528424,35320841:225197 x1,138:24921640,35320841 $1,138:24921640,35320841 x1,138:25118248,35320841 k1,138:25319411,35320841:201163 $1,138:25319411,35320841 x1,138:25887215,35320841 (1,138:25887215,35438805:294912,350748,0 x1,138:26149359,35438805 ) k1,138:26407325,35320841:225198 x1,138:26907495,35320841 k1,138:27132692,35320841:225197 x1,138:27525908,35320841 $1,138:27525908,35320841 x1,138:27722516,35320841 k1,138:27923679,35320841:201163 x1,138:29059287,35320841 k1,138:29259539,35320841:200252 $1,138:29259539,35320841 x1,138:29827343,35320841 (1,138:29827343,35438805:294912,231735,3932 x1,138:30089487,35438805 ) k1,138:30347452,35320841:225197 x1,138:30847622,35320841 k1,138:31072820,35320841:225198 x1,138:31640624,35320841 (1,138:31640624,35438805:890503,350748,3932 x1,138:32498359,35438805 ) k1,138:32708586,35320841:177459 x1,138:33208756,35320841 k1,138:33386215,35320841:177459 x1,138:33954019,35320841 (1,138:33954019,35438805:890503,350748,3932 x1,138:34811754,35438805 ) k1,138:35021981,35320841:177459 x1,138:35522151,35320841 k1,139:35522151,35320841:0 ) (1,139:6661386,36271113:28860765,536739,171048 x1,139:7229190,36271113 (1,138:7229190,36389077:890503,350748,7077 x1,138:8086925,36389077 ) $1,138:8119693,36271113 k1,138:8343291,36271113:223598 x1,138:9260271,36271113 k1,138:9483869,36271113:223598 $1,138:9483869,36271113 x1,138:9877085,36271113 k1,138:10145517,36271113:268432 x1,138:10645687,36271113 k1,138:10914118,36271113:268431 x1,138:11307334,36271113 $1,138:11307334,36271113 k1,138:11530933,36271113:223599 x1,138:12491953,36271113 k1,138:12715551,36271113:223598 $1,138:12715551,36271113 x1,138:13283355,36271113 (1,138:13283355,36389077:294912,231735,3932 x1,138:13545499,36389077 ) k1,138:13846698,36271113:268431 x1,138:14346868,36271113 k1,138:14615300,36271113:268432 x1,138:15467006,36271113 k1,138:15598076,36271113:131070 x1,138:16187900,36271113 k1,138:16318970,36271113:131070 x1,138:16908794,36271113 k1,138:17039864,36271113:131070 x1,138:17629688,36271113 k1,138:17760758,36271113:131070 x1,138:18350582,36271113 k1,138:18481652,36271113:131070 x1,138:19464692,36271113 k1,138:19595762,36271113:131070 x1,138:20578802,36271113 k1,138:20709872,36271113:131070 (1,138:20709872,36271113:851964,79429,9830 x1,138:20906480,36271113 g1,138:21037550,36271113 x1,138:21234158,36271113 g1,138:21365228,36271113 x1,138:21561836,36271113 ) x1,138:21823718,36271113 $1,138:21823718,36271113 x1,138:22282208,36271113 k1,138:22606972,36271113:324764 x1,138:24485758,36271113 k1,138:24709356,36271113:223598 x1,138:26587356,36271113 x1,138:26960911,36271113 x1,138:27560172,36271113 k1,138:27783771,36271113:223599 x1,138:29793105,36271113 k1,138:30016703,36271113:223598 x1,138:31196351,36271113 k1,138:31419949,36271113:223598 x1,138:33102127,36271113 k1,138:33332473,36271113:230346 x1,138:34556161,36271113 k1,138:34779759,36271113:223598 x1,138:35522151,36271113 k1,138:35522151,36271113:0 ) (1,139:6661386,37221385:28860765,572456,201325 x1,139:7010562,37221385 x1,138:9008885,37221385 g1,138:9205493,37221385 x1,138:11695337,37221385 g1,138:11891945,37221385 x1,138:12808925,37221385 g1,138:13005533,37221385 x1,138:13966553,37221385 g1,138:14163161,37221385 x1,138:17482691,37221385 g1,138:17679299,37221385 x1,138:20300477,37221385 g1,138:20497085,37221385 x1,138:21152183,37221385 g1,138:21348791,37221385 x1,138:22485185,37221385 g1,138:22681793,37221385 x1,138:25760675,37221385 g1,138:25957283,37221385 $1,138:25957283,37221385 x1,138:27000878,37221385 x1,138:27265119,37221385 g1,138:27483569,37221385 x1,138:28149677,37221385 g1,138:28368127,37221385 (1,138:28368127,36680910:635436,0,676725 x1,138:29003563,36680910 ) [1,138:29003563,37415633:890503,766704,7077 (1,138:29003563,36883285:479985,234356,0 x1,138:29450780,36883285 ) (1,138:29003563,37415633:890503,350748,7077 x1,138:29861298,37415633 ) ] g1,138:30025136,37221385 x1,138:30592940,37221385 (1,138:30592940,37339349:294912,231735,3932 x1,138:30855084,37339349 ) x1,138:31276349,37221385 (1,138:31278708,36935911:294912,231735,3932 x1,138:31540852,36935911 ) $1,138:31573620,37221385 x1,138:31770228,37221385 k1,139:35522151,37221385:3751923 g1,139:35522151,37221385 ) (1,142:4736286,40694678:30785865,492286,156081 x1,142:5214937,40694678 x1,141:5979916,40694678 g1,141:6202377,40694678 g1,141:6424838,40694678 x1,141:7022614,40694678 g1,141:7202018,40694678 x1,141:8637254,40694678 g1,141:8816658,40694678 x1,141:9135281,40694678 x1,141:10818812,40694678 g1,141:10998216,40694678 x1,141:11316839,40694678 x1,141:12433452,40694678 x1,141:12752075,40694678 g1,141:12931479,40694678 x1,141:14764994,40694678 g1,141:14944398,40694678 x1,141:15263021,40694678 x1,141:16379634,40694678 g1,141:16559038,40694678 x1,141:17595279,40694678 g1,141:17774683,40694678 x1,141:18093306,40694678 x1,141:19876585,40694678 g1,141:20055989,40694678 x1,141:20773607,40694678 x1,141:21273787,40694678 g1,141:21453191,40694678 x1,141:22529618,40694678 g1,141:22709022,40694678 x1,141:24383225,40694678 x1,141:24881252,40694678 k1,142:35522151,40694678:10640899 g1,142:35522151,40694678 ) (1,143:4736286,43512612:30785865,647390,16514 k1,143:17703866,43512612:12967580 x1,143:19906502,43512612 g1,143:20142431,43512612 x1,143:22554571,43512612 k1,143:35522151,43512612:12967580 ) ] (1,145:4736286,47362867:30785865,526122,10616 (1,145:4736286,47362867:30785865,526122,10616 k1,145:19932610,47362867:15196324 x1,145:20325826,47362867 k1,145:35522150,47362867:15196324 ) ) ] ] !31036 }3 Input:36:C:\drorbn\AcademicPensieve\Classes\15-344-Combinatorics\Final-15-344.aux !92 Postamble: Count:1833 !26 Post scriptum: