SyncTeX Version:1
Input:1:C:/drorbn/AcademicPensieve/2014-05/GoodFormulas/AbstractForMFO.tex
Input:2:C:\drorbn\AcademicPensieve\2014-05\GoodFormulas\owrart.cls
Input:3:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\ifthen.sty
Input:4:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\ams\classes\amsart.cls
Input:5:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\ams\math\amsmath.sty
Input:6:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\ams\math\amstext.sty
Input:7:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\ams\math\amsgen.sty
Input:8:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\ams\math\amsbsy.sty
Input:9:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\ams\math\amsopn.sty
Input:10:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsfonts\umsa.fd
Input:11:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsfonts\amsfonts.sty
Input:12:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\hyperref\hyperref.sty
Input:13:C:\Program Files (x86)\MiKTeX 2.9\tex\generic\oberdiek\hobsub-hyperref.sty
Input:14:C:\Program Files (x86)\MiKTeX 2.9\tex\generic\oberdiek\hobsub-generic.sty
Input:15:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\graphics\keyval.sty
Input:16:C:\Program Files (x86)\MiKTeX 2.9\tex\generic\ifxetex\ifxetex.sty
Input:17:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\oberdiek\kvoptions.sty
Input:18:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\hyperref\pd1enc.def
Input:19:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\00miktex\hyperref.cfg
Input:20:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\ltxmisc\url.sty
Input:21:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\hyperref\hpdftex.def
Input:22:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\oberdiek\rerunfilecheck.sty
Input:23:C:\drorbn\AcademicPensieve\2014-05\GoodFormulas\AbstractForMFO.aux
Input:24:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsfonts\umsa.fd
Input:25:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsfonts\umsb.fd
Input:26:C:\Program Files (x86)\MiKTeX 2.9\tex\latex\hyperref\nameref.sty
Input:27:C:\Program Files (x86)\MiKTeX 2.9\tex\generic\oberdiek\gettitlestring.sty
Input:28:C:\drorbn\AcademicPensieve\2014-05\GoodFormulas\AbstractForMFO.out
Input:29:C:\drorbn\AcademicPensieve\2014-05\GoodFormulas\AbstractForMFO.out
Output:pdf
Magnification:1000
Unit:1
X Offset:0
Y Offset:0
Content:
!2241
{1
[1,112:4736286,46599437:26497101,41863151,0
v1,112:4736286,4736286:0,0,0
[1,112:4736286,46599437:26497101,41863151,0
[1,112:4736286,4736286:0,0,0
(1,112:4736286,8977916:0,0,0
k1,112:4736286,8977916:-3122822
)
]
[1,112:4736286,46599437:26497101,41863151,0
[1,112:7924889,46599437:23308498,37555740,0
[1,112:7924889,9830129:23308498,786432,0
h1,112:7924889,9830129:23308498,0,0
]
[1,112:7924889,45813005:23308498,35065372,0
(1,102:7924889,11402993:23308498,537394,0
k1,102:9517235,11402993:1592346
(1,102:9517235,11402993:0,0,0
g1,102:9517235,11402993
g1,102:9517235,11402993
g1,102:9189555,11402993
h1,102:9189555,11402993:0,0,0
g1,102:9517235,11402993
)
x1,102:10777264,11402993
x1,102:13180238,11402993
x1,102:15936229,11402993
g1,102:16233322,11402993
x1,102:16793650,11402993
x1,102:24074882,11402993
g1,102:24371975,11402993
x1,102:26404453,11402993
x1,102:26991653,11402993
x1,102:28298872,11402993
x1,102:28711310,11402993
x1,102:29641042,11402993
g1,102:29641042,11402993
k1,102:31233387,11402993:1592345
)
(1,102:7924889,15138545:23308498,538214,179404
k1,102:16403670,15138545:8478781
h1,102:16403670,15138545:0,0,0
x1,102:17649538,15138545
x1,102:18588425,15138545
g1,102:18827631,15138545
x1,102:19923995,15138545
g1,102:20242936,15138545
x1,102:22754606,15138545
g1,102:22754606,15138545
k1,102:31233387,15138545:8478781
)
(1,102:7924889,16711409:23308498,538214,179404
k1,102:14984377,16711409:7059488
h1,102:14984377,16711409:0,0,0
x1,102:16549188,16711409
g1,102:16788394,16711409
x1,102:20057553,16711409
x1,102:24173900,16711409
g1,102:24173900,16711409
k1,102:31233387,16711409:7059487
)
(1,102:7924889,18813201:23308498,546132,152916
k1,102:9672142,18813201:1747253
h1,102:9672142,18813201:0,0,0
x1,102:13353991,18813201
g1,102:13648903,18813201
x1,102:17680188,18813201
g1,102:17975100,18813201
x1,102:18712380,18813201
g1,102:19007292,18813201
x1,102:19981230,18813201
x1,102:20890542,18813201
x1,102:25651369,18813201
g1,102:25946281,18813201
x1,102:26561590,18813201
x1,102:27421750,18813201
x1,102:29486134,18813201
g1,102:29486134,18813201
k1,102:31233387,18813201:1747253
)
(1,102:7924889,20189457:23308498,409600,114688
k1,102:17825402,20189457:9900513
h1,102:17825402,20189457:0,0,0
x1,102:20490924,20189457
g1,102:20692992,20189457
x1,102:21029772,20189457
x1,102:21332874,20189457
g1,102:21332874,20189457
k1,102:31233387,20189457:9900513
)
(1,102:7924889,20910353:23308498,409600,114688
k1,102:15268629,20910353:7343740
h1,102:15268629,20910353:0,0,0
x1,102:16694846,20910353
g1,102:16896914,20910353
x1,102:18265514,20910353
x1,102:18585455,20910353
g1,102:18787523,20910353
x1,102:19898805,20910353
x1,102:21565866,20910353
g1,102:21767934,20910353
x1,102:23889648,20910353
g1,102:23889648,20910353
k1,102:31233387,20910353:7343739
)
(1,102:7924889,21631249:23308498,409600,114688
k1,102:14639601,21631249:6714712
h1,102:14639601,21631249:0,0,0
x1,102:15094162,21631249
x1,102:16481696,21631249
g1,102:16683764,21631249
x1,102:18199501,21631249
x1,102:18940417,21631249
x1,102:19260358,21631249
g1,102:19462426,21631249
x1,102:20657903,21631249
x1,102:21753803,21631249
x1,102:22225295,21631249
g1,102:22427363,21631249
x1,102:24097700,21631249
x1,102:24518675,21631249
g1,102:24518675,21631249
k1,102:31233387,21631249:6714712
)
(1,102:7924889,22352145:23308498,409600,114688
k1,102:16075240,22352145:8150351
h1,102:16075240,22352145:0,0,0
x1,102:17153071,22352145
x1,102:17371978,22352145
g1,102:17574046,22352145
x1,102:18154945,22352145
g1,102:18357013,22352145
x1,102:19471117,22352145
g1,102:19673185,22352145
x1,102:20574025,22352145
x1,102:23083036,22352145
g1,102:23083036,22352145
k1,102:31233387,22352145:8150351
)
(1,102:7924889,23138577:23308498,409600,114688
k1,102:15211241,23138577:7286352
h1,102:15211241,23138577:0,0,0
x1,102:16297310,23138577
x1,102:17056657,23138577
g1,102:17258725,23138577
x1,102:17864929,23138577
x1,102:21116675,23138577
g1,102:21318743,23138577
x1,102:22480769,23138577
g1,102:22682837,23138577
x1,102:23137398,23138577
x1,102:23947035,23138577
g1,102:23947035,23138577
k1,102:31233387,23138577:7286352
)
(1,102:7924889,25235729:23308498,490372,139537
k1,102:15991039,25235729:8066150
h1,102:15991039,25235729:0,0,0
x1,102:16708659,25235729
g1,102:16947865,25235729
x1,102:17964494,25235729
x1,102:18323304,25235729
g1,102:18562510,25235729
x1,102:18921320,25235729
g1,102:19160526,25235729
x1,102:19878146,25235729
g1,102:20117352,25235729
x1,102:21133981,25235729
x1,102:21492791,25235729
g1,102:21731997,25235729
x1,102:23167237,25235729
g1,102:23167237,25235729
k1,102:31233387,25235729:8066150
)
[1,99:7924889,26546449:20949202,0,1350768
(1,99:10284185,27025225:18589906,364089,101945
(1,93:10284185,27025225:3021340,358263,0
g1,93:10284185,27025225
g1,93:10284185,27025225
g1,93:9956505,27025225
(1,93:9956505,27025225:3021340,358263,0
g1,93:9956505,27025225
g1,93:10284185,27025225
x1,93:12202195,27025225
x1,93:12977845,27025225
)
g1,93:13305525,27025225
)
x1,93:13815621,27025225
k1,97:13305525,27025225:-15474
x1,97:14094153,27025225
x1,97:15301580,27025225
x1,97:15722473,27025225
k1,97:15906886,27025225:184413
x1,97:16355632,27025225
k1,97:16540045,27025225:184413
x1,97:17344693,27025225
x1,97:19186099,27025225
k1,97:19370511,27025225:184412
x1,97:20893153,27025225
k1,97:21077566,27025225:184413
x1,97:21526312,27025225
k1,97:21710725,27025225:184413
x1,97:24158712,27025225
k1,97:24343125,27025225:184413
x1,97:25581500,27025225
k1,97:25765912,27025225:184412
x1,97:26508664,27025225
x1,97:26787196,27025225
k1,97:26971609,27025225:184413
x1,97:27250141,27025225
k1,97:27434554,27025225:184413
x1,97:28177306,27025225
x1,97:28874091,27025225
k1,97:28874091,27025225:0
)
(1,99:10284185,27680585:18589906,364089,101945
x1,99:11182132,27680585
g1,97:11367820,27680585
x1,97:11832040,27680585
g1,98:12017728,27680585
x1,98:13069960,27680585
x1,98:13348492,27680585
g1,98:13534180,27680585
x1,98:14930390,27680585
g1,98:15116078,27680585
x1,98:15580298,27680585
g1,98:15765986,27680585
x1,98:18149892,27680585
g1,98:18335580,27680585
x1,98:18490320,27680585
x1,98:18737904,27680585
x1,98:18985488,27680585
k1,99:28874091,27680585:9795759
g1,99:28874091,27680585
)
]
(1,103:7924889,29994369:23308498,498346,139537
k1,103:13961961,29994369:6037072
x1,103:14733397,29994369
x1,103:15783905,29994369
x1,103:18511836,29994369
g1,103:18786921,29994369
x1,103:19245397,29994369
x1,103:19658025,29994369
g1,103:19933110,29994369
x1,103:21090762,29994369
g1,103:21365847,29994369
x1,103:25196315,29994369
k1,103:31233387,29994369:6037072
)
(1,112:7924889,31331301:23308498,455111,127431
x1,112:9053566,31331301
k1,107:9341443,31331301:287877
x1,107:9814759,31331301
x1,107:12041168,31331301
k1,107:12329046,31331301:287878
x1,107:15253025,31331301
k1,107:15551366,31331301:298341
x1,107:16087302,31331301
k1,107:16385644,31331301:298342
x1,107:17273287,31331301
x1,107:18077190,31331301
x1,107:18847595,31331301
x1,107:19316538,31331301
k1,107:19614880,31331301:298342
x1,107:20217808,31331301
x1,107:20820734,31331301
x1,107:21356668,31331301
k1,107:21655009,31331301:298341
x1,107:22190945,31331301
k1,107:22489287,31331301:298342
x1,107:25403438,31331301
k1,107:25701779,31331301:298341
x1,107:26530803,31331301
x1,107:26798769,31331301
x1,107:27248780,31331301
k1,107:27554014,31331301:305234
x1,107:30253739,31331301
k1,108:30541616,31331301:287877
x1,108:30905706,31331301
x1,108:31233387,31331301
k1,108:31233387,31331301:0
)
(1,112:7924889,32117733:23308498,491520,163840
x1,112:9199204,32117733
k1,108:9441584,32117733:242380
x1,108:11467742,32117733
k1,108:11710121,32117733:242379
x1,108:12565732,32117733
x1,108:12911618,32117733
x1,108:13585183,32117733
x1,108:14841292,32117733
k1,108:15083672,32117733:242380
x1,108:16139533,32117733
k1,108:16381912,32117733:242379
x1,108:17392262,32117733
k1,108:17634642,32117733:242380
x1,108:18262697,32117733
k1,108:18505076,32117733:242379
x1,108:20707819,32117733
k1,108:20950199,32117733:242380
x1,108:22461170,32117733
k1,108:22703549,32117733:242379
x1,108:23195070,32117733
x1,108:24325569,32117733
k1,108:24567949,32117733:242380
x1,108:25041265,32117733
k1,109:24567949,32117733:-18205
x1,109:25609244,32117733
k1,109:25851623,32117733:242379
x1,109:26324939,32117733
x1,109:26962095,32117733
k1,109:27204475,32117733:242380
x1,109:29716694,32117733
k1,109:29959073,32117733:242379
x1,109:31233387,32117733
k1,109:31233387,32117733:0
)
(1,112:7924889,32904165:23308498,455111,127431
x1,112:8252570,32904165
x1,109:8580251,32904165
x1,109:9110000,32904165
k1,109:9259936,32904165:149936
x1,109:9915298,32904165
k1,109:10065234,32904165:149936
x1,109:12979773,32904165
x1,109:13474934,32904165
k1,109:13624870,32904165:149936
x1,109:14899184,32904165
k1,109:15049120,32904165:149936
x1,109:16689345,32904165
k1,109:16839281,32904165:149936
x1,109:19899455,32904165
k1,109:20049391,32904165:149936
x1,109:22423253,32904165
k1,110:20049391,32904165:-18205
x1,110:24116271,32904165
k1,110:24266207,32904165:149936
x1,110:25596956,32904165
k1,110:25746891,32904165:149935
x1,110:26438662,32904165
k1,110:26588598,32904165:149936
x1,110:27571640,32904165
x1,110:29009794,32904165
x1,110:29687000,32904165
k1,110:29955433,32904165:268433
x1,110:31233387,32904165
k1,110:31233387,32904165:0
)
(1,112:7924889,33690597:23308498,455111,127431
x1,112:8398205,33690597
x1,110:10624614,33690597
g1,110:10843067,33690597
x1,110:11316383,33690597
x1,110:11884362,33690597
g1,110:12102815,33690597
x1,110:12430496,33690597
g1,110:12648949,33690597
x1,110:13777626,33690597
g1,110:13996079,33690597
x1,110:15561665,33690597
g1,110:15780118,33690597
x1,110:16308049,33690597
g1,110:16526502,33690597
x1,110:18499865,33690597
k1,111:16526502,33690597:-18205
x1,111:19652207,33690597
g1,111:19870660,33690597
x1,111:21144974,33690597
g1,111:21363427,33690597
x1,111:21709313,33690597
x1,111:23389587,33690597
g1,111:23608040,33690597
x1,111:24591082,33690597
x1,111:27181581,33690597
g1,111:27400034,33690597
x1,111:27582079,33690597
x1,111:27873350,33690597
x1,111:28164621,33690597
k1,112:31233387,33690597:2959540
g1,112:31233387,33690597
)
]
h1,112:7924889,46599437:23308498,0,0
]
]
]
]
!10118
}1
!10
{2
(1,112:4736286,46599437:26497101,41863151,0
[1,112:4736286,46599437:26497101,41863151,0
[1,112:4736286,4736286:0,0,0
(1,112:4736286,8977916:0,0,0
k1,112:4736286,8977916:-3122822
)
]
[1,112:4736286,46599437:26497101,41863151,0
[1,112:7924889,46599437:23308498,37555740,0
[1,112:7924889,9830129:23308498,786432,0
h1,112:7924889,9830129:23308498,0,0
]
[1,112:7924889,45813005:0,35065372,0
h1,112:7924889,11402993:0,0,0
]
h1,112:7924889,46599437:23308498,0,0
]
]
]
)
!470
}2
Input:30:C:\drorbn\AcademicPensieve\2014-05\GoodFormulas\AbstractForMFO.mt
!83
{3
(1,114:4736286,46599437:26497101,41863151,0
[1,114:4736286,46599437:26497101,41863151,0
[1,114:4736286,4736286:0,0,0
(1,114:4736286,8977916:0,0,0
k1,114:4736286,8977916:-3122822
)
]
[1,114:4736286,46599437:26497101,41863151,0
[1,114:7924889,46599437:23308498,37555740,0
[1,114:7924889,9830129:23308498,786432,0
(1,114:7924889,9830129:23308498,786432,0
g1,114:7924889,9830129
(1,114:7924889,9830129:23308498,786432,0
[1,114:7924889,9830129:23308498,786432,0
(1,114:7924889,9594197:23308498,550500,235932
(1,114:7924889,9594197:0,550500,235932
[1,114:7924889,9594197:23308498,550500,235932
(1,114:7924889,9594197:23308498,550500,235932
h1,114:7924889,9594197:0,0,0
x1,114:10639177,9594197
g1,114:10857630,9594197
x1,114:13814037,9594197
g1,114:14032490,9594197
x1,114:14578625,9594197
g1,114:14797078,9594197
x1,114:15534360,9594197
x1,114:16207924,9594197
x1,114:19734133,9594197
g1,114:19952586,9594197
x1,114:20425902,9594197
x1,114:21063059,9594197
x1,114:22592238,9594197
r1,114:22592238,9594197:0,786432,235932
k1,114:26912813,9594197:4320575
k1,114:31233387,9594197:4320574
)
]
k1,114:7924889,9594197:-23308498
)
g1,114:7924889,9594197
[1,114:7924889,9594197:23308498,550500,235932
(1,114:7924889,9594197:23308498,550500,235932
k1,114:19579138,9594197:11654249
h1,114:19579138,9594197:0,0,0
r1,114:19579138,9594197:0,786432,235932
g1,114:19579138,9594197
k1,114:31233387,9594197:11654249
)
]
g1,114:31233387,9594197
(1,114:31233387,9594197:0,550500,235932
k1,114:7924889,9594197:-23308498
[1,114:7924889,9594197:23308498,550500,235932
(1,114:7924889,9594197:23308498,550500,235932
k1,114:30905705,9594197:22980816
h1,114:30905705,9594197:0,0,0
x1,114:31233386,9594197
r1,114:31233386,9594197:0,786432,235932
g1,114:31233386,9594197
g1,114:31233386,9594197
)
]
)
)
]
)
)
]
[1,114:7924889,45813005:23308498,35065372,0
(1,114:7924889,12935296:23308498,498346,139537
x1,114:8778053,12935296
x1,114:11781668,12935296
g1,114:12148448,12935296
x1,114:15588015,12935296
g1,114:15863100,12935296
x1,114:19630678,12935296
g1,114:19905763,12935296
x1,114:20593477,12935296
g1,114:20868562,12935296
x1,114:21777540,12935296
x1,114:22625720,12935296
x1,114:27068551,12935296
g1,114:27343636,12935296
x1,114:27917727,12935296
x1,114:28720059,12935296
x1,114:30645656,12935296
k1,114:31233387,12935296:587731
g1,114:31233387,12935296
)
(1,114:7924889,14272228:23308498,498346,0
x1,114:8498980,14272228
x1,114:9897331,14272228
g1,114:10172416,14272228
x1,114:10837206,14272228
g1,114:11112291,14272228
x1,114:12579414,14272228
x1,114:13714142,14272228
x1,114:14337669,14272228
g1,114:14556122,14272228
k1,114:31233387,14272228:16677265
g1,114:31233387,14272228
)
(30,1:7924889,16550403:23308498,447828,0
g30,1:8907930,16550403
h30,1:8907930,16550403:0,0,0
h30,1:8907930,16550403:0,0,0
g30,1:7924889,16550403
x30,1:9266559,16550403
g30,1:9485012,16550403
x30,1:10752044,16550403
x30,1:12517880,16550403
g30,1:29889896,16550403
(30,1:29889896,16550403:1343492,0,0
k30,1:31233388,16550403:1343492
)
g30,1:29267305,16550403
g30,1:31233388,16550403
)
(30,1:7924889,17336835:23308498,455111,127431
g30,1:8907930,17336835
h30,1:8907930,17336835:983041,0,0
h30,1:9890971,17336835:0,0,0
g30,1:8907930,17336835
x30,1:10448745,17336835
g30,1:10683216,17336835
x30,1:11880694,17336835
g30,1:12115165,17336835
x30,1:12751588,17336835
x30,1:13053051,17336835
x30,1:13354514,17336835
g30,1:13588985,17336835
x30,1:16059314,17336835
g30,1:16293785,17336835
x30,1:17106062,17336835
g30,1:17340533,17336835
x30,1:18194679,17336835
g30,1:18429150,17336835
x30,1:18916298,17336835
x30,1:21288685,17336835
g30,1:21523156,17336835
x30,1:21858116,17336835
x30,1:24588038,17336835
g30,1:24806491,17336835
(30,1:24964093,17336835:327677,69176,0
$30,1:24964093,17336835
(30,1:25036909,17336835:182045,69176,0
x30,1:25218954,17336835
)
$30,1:25291770,17336835
)
(30,1:25291770,17336835:327677,69176,0
(30,1:25364586,17336835:182045,69176,0
x30,1:25546631,17336835
)
)
(30,1:25619447,17336835:327677,69176,0
(30,1:25692263,17336835:182045,69176,0
x30,1:25874308,17336835
)
)
(30,1:25947124,17336835:327677,69176,0
(30,1:26019940,17336835:182045,69176,0
x30,1:26201985,17336835
)
)
(30,1:26274801,17336835:327677,69176,0
(30,1:26347617,17336835:182045,69176,0
x30,1:26529662,17336835
)
)
(30,1:26602478,17336835:327677,69176,0
(30,1:26675294,17336835:182045,69176,0
x30,1:26857339,17336835
)
)
(30,1:26930155,17336835:327677,69176,0
(30,1:27002971,17336835:182045,69176,0
x30,1:27185016,17336835
)
)
(30,1:27257832,17336835:327677,69176,0
(30,1:27330648,17336835:182045,69176,0
x30,1:27512693,17336835
)
)
(30,1:27585509,17336835:327677,69176,0
(30,1:27658325,17336835:182045,69176,0
x30,1:27840370,17336835
)
)
(30,1:27913186,17336835:327677,69176,0
(30,1:27986002,17336835:182045,69176,0
x30,1:28168047,17336835
)
)
(30,1:28240863,17336835:327677,69176,0
(30,1:28313679,17336835:182045,69176,0
x30,1:28495724,17336835
)
)
(30,1:28568540,17336835:327677,69176,0
(30,1:28641356,17336835:182045,69176,0
x30,1:28823401,17336835
)
)
(30,1:28896217,17336835:327677,69176,0
(30,1:28969033,17336835:182045,69176,0
x30,1:29151078,17336835
)
)
(30,1:29223894,17336835:327677,69176,0
(30,1:29296710,17336835:182045,69176,0
x30,1:29478755,17336835
)
)
(30,1:29551571,17336835:327677,69176,0
(30,1:29624387,17336835:182045,69176,0
x30,1:29806432,17336835
)
)
(30,1:29889895,17336835:1343492,422343,0
k30,1:30905706,17336835:1015811
x30,1:31233387,17336835
)
g30,1:29922665,17336835
g30,1:31233387,17336835
)
(30,2:7924889,18398517:23308498,455111,127431
g30,2:8907930,18398517
h30,2:8907930,18398517:0,0,0
h30,2:8907930,18398517:0,0,0
g30,2:7924889,18398517
x30,2:9199204,18398517
g30,2:9417657,18398517
x30,2:10018405,18398517
x30,2:10364291,18398517
x30,2:11476584,18398517
g30,2:11695037,18398517
x30,2:12141047,18398517
x30,2:13216930,18398517
g30,2:13435383,18398517
x30,2:17063537,18398517
g30,2:29889895,18398517
(30,2:29889895,18398517:1343492,0,0
k30,2:31233387,18398517:1343492
)
g30,2:29267304,18398517
g30,2:31233387,18398517
)
(30,2:7924889,19184949:23308498,455111,127431
g30,2:8907930,19184949
h30,2:8907930,19184949:983041,0,0
h30,2:9890971,19184949:0,0,0
g30,2:8907930,19184949
x30,2:12023055,19184949
g30,2:12257526,19184949
x30,2:13722973,19184949
g30,2:13957444,19184949
x30,2:16829723,19184949
g30,2:17064194,19184949
x30,2:17600130,19184949
g30,2:17834601,19184949
x30,2:18722244,19184949
x30,2:19526147,19184949
x30,2:20296552,19184949
x30,2:20765495,19184949
g30,2:20999966,19184949
x30,2:21602894,19184949
x30,2:22205820,19184949
x30,2:22741754,19184949
g30,2:22976225,19184949
x30,2:23512161,19184949
g30,2:23746632,19184949
x30,2:26660783,19184949
g30,2:26895254,19184949
x30,2:27724278,19184949
x30,2:27992244,19184949
x30,2:28260210,19184949
g30,2:28478663,19184949
(30,2:28568540,19184949:327677,69176,0
$30,2:28568540,19184949
(30,2:28641356,19184949:182045,69176,0
x30,2:28823401,19184949
)
$30,2:28896217,19184949
)
(30,2:28896217,19184949:327677,69176,0
(30,2:28969033,19184949:182045,69176,0
x30,2:29151078,19184949
)
)
(30,2:29223894,19184949:327677,69176,0
(30,2:29296710,19184949:182045,69176,0
x30,2:29478755,19184949
)
)
(30,2:29551571,19184949:327677,69176,0
(30,2:29624387,19184949:182045,69176,0
x30,2:29806432,19184949
)
)
(30,2:29889895,19184949:1343492,422343,0
k30,2:30905706,19184949:1015811
x30,2:31233387,19184949
)
g30,2:29922665,19184949
g30,2:31233387,19184949
)
]
h1,114:7924889,46599437:23308498,0,0
]
]
]
)
!7419
}3
!9
{4
(1,114:4736286,46599437:26497101,41863151,0
[1,114:4736286,46599437:26497101,41863151,0
[1,114:4736286,4736286:0,0,0
(1,114:4736286,8977916:0,0,0
k1,114:4736286,8977916:-3122822
)
]
[1,114:4736286,46599437:26497101,41863151,0
[1,114:7924889,46599437:23308498,37555740,0
[1,114:7924889,9830129:23308498,786432,0
h1,114:7924889,9830129:23308498,0,0
]
[1,114:7924889,45813005:0,35065372,0
h1,114:7924889,11402993:0,0,0
]
h1,114:7924889,46599437:23308498,0,0
]
]
]
)
!469
}4
!8
{5
(1,196:4736286,46599437:26497101,41863151,0
[1,196:4736286,46599437:26497101,41863151,0
[1,196:4736286,4736286:0,0,0
(1,196:4736286,8977916:0,0,0
k1,196:4736286,8977916:-3122822
)
]
[1,196:4736286,46599437:26497101,41863151,0
[1,196:7924889,46599437:23308498,37555740,0
[1,196:7924889,9830129:23308498,786432,0
(1,196:7924889,9830129:23308498,786432,0
g1,196:7924889,9830129
(1,196:7924889,9830129:23308498,786432,0
[1,196:7924889,9830129:23308498,786432,0
(1,196:7924889,9594197:23308498,550500,235932
(1,196:7924889,9594197:0,550500,235932
[1,196:7924889,9594197:23308498,550500,235932
(1,196:7924889,9594197:23308498,550500,235932
h1,196:7924889,9594197:0,0,0
x1,196:10639177,9594197
g1,196:10857630,9594197
x1,196:13814037,9594197
g1,196:14032490,9594197
x1,196:14578625,9594197
g1,196:14797078,9594197
x1,196:15534360,9594197
x1,196:16207924,9594197
x1,196:19734133,9594197
g1,196:19952586,9594197
x1,196:20425902,9594197
x1,196:21063059,9594197
x1,196:22592238,9594197
r1,196:22592238,9594197:0,786432,235932
k1,196:26912813,9594197:4320575
k1,196:31233387,9594197:4320574
)
]
k1,196:7924889,9594197:-23308498
)
g1,196:7924889,9594197
[1,196:7924889,9594197:23308498,550500,235932
(1,196:7924889,9594197:23308498,550500,235932
k1,196:19579138,9594197:11654249
h1,196:19579138,9594197:0,0,0
r1,196:19579138,9594197:0,786432,235932
g1,196:19579138,9594197
k1,196:31233387,9594197:11654249
)
]
g1,196:31233387,9594197
(1,196:31233387,9594197:0,550500,235932
k1,196:7924889,9594197:-23308498
[1,196:7924889,9594197:23308498,550500,235932
(1,196:7924889,9594197:23308498,550500,235932
k1,196:30905705,9594197:22980816
h1,196:30905705,9594197:0,0,0
x1,196:31233386,9594197
r1,196:31233386,9594197:0,786432,235932
g1,196:31233386,9594197
g1,196:31233386,9594197
)
]
)
)
]
)
)
]
[1,196:7924889,45813005:23308498,35065372,0
(1,116:7924889,11402993:23308498,546132,0
k1,116:17713955,11402993:9789066
(1,116:17713955,11402993:0,0,0
g1,116:17713955,11402993
g1,116:17713955,11402993
g1,116:17386275,11402993
h1,116:17386275,11402993:0,0,0
g1,116:17713955,11402993
)
x1,116:21444321,11402993
g1,116:21444321,11402993
k1,116:31233387,11402993:9789066
)
(1,141:7924889,13698203:23308498,991049,663369
$1,141:7924889,13698203
[1,141:7924889,13698203:23308498,991049,663369
(1,141:7924889,13299890:23308498,455111,127431
k1,141:10402053,13299890:2477164
(1,141:10402053,13299890:0,0,0
g1,141:10402053,13299890
g1,141:10402053,13299890
g1,141:10074373,13299890
h1,141:10074373,13299890:0,0,0
g1,141:10402053,13299890
)
x1,141:12171061,13299890
g1,141:12422281,13299890
x1,141:12820046,13299890
x1,141:13852689,13299890
g1,141:14103909,13299890
x1,141:14857569,13299890
x1,141:15255334,13299890
x1,141:15694969,13299890
g1,141:15946189,13299890
x1,141:17491739,13299890
x1,141:18762491,13299890
g1,141:19013711,13299890
x1,141:19931211,13299890
g1,141:20182431,13299890
x1,141:21239649,13299890
g1,141:21490869,13299890
x1,141:24872782,13299890
g1,141:25124002,13299890
x1,141:25542702,13299890
x1,141:28756223,13299890
g1,141:28756223,13299890
k1,141:31233387,13299890:2477164
)
(1,141:7924889,14223947:23308498,447828,0
k1,141:16684467,14223947:8759578
h1,141:16684467,14223947:0,0,0
x1,141:17622536,14223947
x1,141:18419159,14223947
g1,141:18666737,14223947
x1,141:20216107,14223947
x1,141:21151445,14223947
x1,141:21495141,14223947
x1,141:22255355,14223947
g1,141:22473808,14223947
g1,141:22473808,14223947
k1,141:31233386,14223947:8759578
)
]
$1,141:31233387,13698203
g1,141:31233387,13698203
g1,141:31233387,13698203
)
(1,145:7924889,15469128:23308498,491520,163840
x1,145:8161547,15469128
k1,144:8342908,15469128:181361
x1,144:9362359,15469128
k1,144:9543756,15469128:181397
x1,144:11551709,15469128
x1,144:11861185,15469128
k1,144:12042582,15469128:181397
x1,144:13466172,15469128
k1,144:13647569,15469128:181397
x1,144:13993455,15469128
x1,144:14869090,15469128
k1,144:15050487,15469128:181397
x1,144:15705849,15469128
x1,144:16051735,15469128
x1,144:16434030,15469128
k1,144:16615428,15469128:181398
x1,144:17946177,15469128
x1,144:19060291,15469128
k1,144:19241688,15469128:181397
x1,144:20026302,15469128
k1,144:20207699,15469128:181397
x1,144:20535380,15469128
k1,144:20716777,15469128:181397
x1,144:22884933,15469128
k1,144:23066331,15469128:181398
x1,144:24235059,15469128
k1,144:24416456,15469128:181397
x1,144:26533636,15469128
x1,144:26879522,15469128
x1,144:28372290,15469128
k1,144:28553687,15469128:181397
x1,144:31233387,15469128
k1,144:31233387,15469128:0
)
(1,145:7924889,16255560:23308498,455111,127431
x1,145:8452820,16255560
k1,144:8769288,16255560:316468
x1,144:9679512,16255560
k1,144:9995980,16255560:316468
x1,144:12910518,16255560
k1,144:13226986,16255560:316468
x1,144:13591076,16255560
x1,144:16758660,16255560
k1,144:17075129,16255560:316469
x1,144:17657673,16255560
k1,144:17974141,16255560:316468
x1,144:20162320,16255560
k1,144:20503291,16255560:340971
x1,144:21777605,16255560
k1,144:22094073,16255560:316468
x1,144:22680257,16255560
x1,144:23007938,16255560
k1,144:23324407,16255560:316469
x1,144:24525904,16255560
k1,144:24842372,16255560:316468
x1,144:25479529,16255560
x1,144:27847933,16255560
k1,144:28164401,16255560:316468
x1,144:30334375,16255560
k1,144:30650843,16255560:316468
x1,144:31233387,16255560
k1,144:31233387,16255560:0
)
(1,145:7924889,17041992:23308498,455111,127431
x1,145:9838182,17041992
k1,144:10103998,17041992:265816
x1,144:12292177,17041992
k1,144:12569834,17041992:277657
x1,144:13844148,17041992
k1,144:14109964,17041992:265816
x1,144:16278120,17041992
k1,144:16543936,17041992:265816
x1,144:17126480,17041992
k1,144:17392296,17041992:265816
x1,144:19271000,17041992
k1,144:19536816,17041992:265816
x1,144:21739560,17041992
k1,144:22005376,17041992:265816
x1,144:23388918,17041992
x1,144:24357397,17041992
k1,144:24623214,17041992:265817
x1,144:25679075,17041992
k1,144:25944891,17041992:265816
x1,144:26636662,17041992
x1,144:27605141,17041992
k1,144:27870957,17041992:265816
x1,144:28417092,17041992
k1,144:28682908,17041992:265816
x1,144:29693257,17041992
k1,144:29959073,17041992:265816
x1,144:31233387,17041992
k1,144:31233387,17041992:0
)
(1,145:7924889,17828424:23308498,491520,163840
x1,145:8835113,17828424
k1,144:9100516,17828424:265403
x1,144:10813558,17828424
k1,144:11078961,17828424:265403
x1,144:12611777,17828424
k1,144:12877180,17828424:265403
x1,144:15047154,17828424
k1,144:15312557,17828424:265403
x1,144:15895101,17828424
k1,144:16160504,17828424:265403
x1,144:17454842,17828424
k1,144:17720244,17828424:265402
x1,144:18603161,17828424
k1,144:18868564,17828424:265403
x1,144:21204199,17828424
k1,144:21469602,17828424:265403
x1,144:22638330,17828424
k1,144:22903733,17828424:265403
x1,144:24487522,17828424
k1,144:24752925,17828424:265403
x1,144:25226241,17828424
x1,144:26851901,17828424
k1,144:27129041,17828424:277140
x1,144:28184902,17828424
k1,144:28450305,17828424:265403
x1,144:29360529,17828424
k1,144:29625932,17828424:265403
x1,144:31233387,17828424
k1,144:31233387,17828424:0
)
(1,145:7924889,18614856:23308498,455111,127431
x1,145:8365437,18614856
k1,144:8690240,18614856:324803
x1,144:9017921,18614856
k1,144:9342725,18614856:324804
x1,144:10598836,18614856
x1,144:11896814,18614856
k1,144:12221617,18614856:324803
x1,144:13677976,18614856
k1,144:14002779,18614856:324803
x1,144:14257642,18614856
x1,144:14949413,18614856
x1,144:15258889,18614856
k1,144:15583692,18614856:324803
x1,144:16111623,18614856
k1,144:16436427,18614856:324804
x1,144:17346651,18614856
k1,144:17671454,18614856:324803
x1,144:19874198,18614856
k1,144:20199001,18614856:324803
x1,144:20890772,18614856
x1,144:22223338,18614856
k1,144:22548141,18614856:324803
x1,144:23094276,18614856
k1,144:23419080,18614856:324804
x1,144:24114491,18614856
k1,144:24439294,18614856:324803
x1,144:26733061,18614856
k1,144:27343383,18614856:610322
x1,144:27816699,18614856
x1,144:29309468,18614856
k1,144:29634271,18614856:324803
x1,144:29961952,18614856
k1,144:30286755,18614856:324803
x1,144:31233387,18614856
k1,144:31233387,18614856:0
)
(1,145:7924889,19401288:23308498,491520,163840
x1,145:9255638,19401288
k1,144:9557345,19401288:301707
x1,144:10467569,19401288
k1,144:10769276,19401288:301707
x1,144:11661297,19401288
k1,144:11962919,19401288:301622
x1,144:12909553,19401288
x1,144:15075888,19401288
k1,144:15377595,19401288:301707
x1,144:16779341,19401288
x1,144:17926224,19401288
k1,144:18227931,19401288:301707
x1,144:19429427,19401288
k1,144:19731134,19401288:301707
x1,144:21571608,19401288
x1,144:21699039,19401288
k1,144:22021559,19401288:322520
x1,144:22658716,19401288
x1,144:25027120,19401288
k1,144:25328826,19401288:301706
x1,144:27189325,19401288
k1,144:27491032,19401288:301707
x1,144:29402503,19401288
k1,144:29704210,19401288:301707
x1,144:31233387,19401288
k1,144:31233387,19401288:0
)
(1,145:7924889,20187720:23308498,491520,163840
x1,145:9348479,20187720
k1,144:9570515,20187720:222036
x1,144:10444331,20187720
x1,144:11008671,20187720
x1,144:13633758,20187720
k1,144:13855793,20187720:222035
x1,144:14438337,20187720
k1,144:14660373,20187720:222036
x1,144:17232668,20187720
k1,144:17454704,20187720:222036
x1,144:18073656,20187720
x1,144:21190264,20187720
x1,144:21517945,20187720
k1,144:21739980,20187720:222035
x1,144:23291003,20187720
k1,144:23513039,20187720:222036
x1,144:24059174,20187720
k1,144:24281210,20187720:222036
x1,144:26853505,20187720
k1,144:27075540,20187720:222035
x1,144:29955490,20187720
k1,144:30177526,20187720:222036
x1,144:31233387,20187720
k1,144:31233387,20187720:0
)
(1,145:7924889,20974152:23308498,455111,127431
x1,145:8471024,20974152
k1,144:8762261,20974152:291237
x1,144:11751438,20974152
k1,144:12060871,20974152:309433
x1,144:12643415,20974152
k1,144:12934652,20974152:291237
x1,144:15506947,20974152
k1,144:15798183,20974152:291236
x1,144:16344317,20974152
x1,144:17895340,20974152
k1,144:18186577,20974152:291237
x1,144:18732712,20974152
k1,144:19023949,20974152:291237
x1,144:20034298,20974152
k1,144:20325535,20974152:291237
x1,144:21408703,20974152
k1,144:21699940,20974152:291237
x1,144:23119890,20974152
k1,144:23411127,20974152:291237
x1,144:23851675,20974152
k1,144:24142912,20974152:291237
x1,144:25728523,20974152
k1,144:26019760,20974152:291237
x1,144:27548938,20974152
k1,144:27840175,20974152:291237
x1,144:28531946,20974152
k1,144:28823183,20974152:291237
x1,144:29263731,20974152
k1,144:29554968,20974152:291237
x1,144:30614469,20974152
k1,144:30905706,20974152:291237
x1,144:31233387,20974152
k1,144:31233387,20974152:0
)
(1,145:7924889,21760584:23308498,403098,127431
x1,145:8471024,21760584
x1,144:10205911,21760584
x1,144:10333342,21760584
k1,145:31233386,21760584:20900044
g1,145:31233386,21760584
)
(1,147:7924889,22547016:23308498,455111,145636
h1,146:7924889,22547016:786432,0,0
x1,146:9657955,22547016
k1,146:9844394,22547016:186439
x1,146:11395417,22547016
k1,146:11581856,22547016:186439
x1,146:14130486,22547016
k1,146:14323328,22547016:192842
x1,146:16016346,22547016
k1,146:16209188,22547016:192842
x1,146:17265049,22547016
k1,146:17451489,22547016:186440
x1,146:19439419,22547016
k1,146:19625858,22547016:186439
x1,146:20958427,22547016
k1,146:21144866,22547016:186439
x1,146:22020501,22547016
k1,146:22206940,22547016:186439
x1,146:22789484,22547016
k1,146:22975923,22547016:186439
$1,146:22975923,22547016
x1,146:24352167,22547016
k1,146:24352167,22547016:0
x1,146:24696228,22547016
k1,146:24696228,22547016:0
x1,146:25040289,22547016
k1,146:25040289,22547016:0
x1,146:25384350,22547016
k1,146:25384350,22547016:0
x1,146:26416533,22547016
k1,146:26416533,22547016:0
x1,146:26760594,22547016
k1,146:26760594,22547016:0
x1,146:28136838,22547016
k1,146:28136838,22547016:0
x1,146:28480899,22547016
k1,146:28480899,22547016:0
x1,146:30889326,22547016
k1,146:30889326,22547016:0
x1,146:31233387,22547016
k1,147:31233387,22547016:0
)
(1,147:7924889,23333448:23308498,455111,126974
x1,147:8957072,23333448
g1,146:8957072,23333448
x1,146:9301133,23333448
g1,146:9301133,23333448
(1,146:9301133,23460422:344061,400498,0
$1,146:9301133,23460422
x1,146:9645194,23460422
$1,146:9645194,23460422
)
x1,146:11709560,23333448
g1,146:11709560,23333448
x1,146:12053621,23333448
g1,146:12053621,23333448
x1,146:13773926,23333448
g1,146:13773926,23333448
x1,146:14117987,23333448
g1,146:14117987,23333448
x1,146:18246719,23333448
(1,146:18246719,23431751:32768,0,0
)
x1,146:19999792,23333448
$1,146:19999792,23333448
x1,146:20181837,23333448
k1,147:31233387,23333448:11051550
g1,147:31233387,23333448
)
(1,175:7924889,25681723:23308498,1054765,727084
$1,175:7924889,25681723
[1,175:7924889,25681723:23308498,1054765,727084
(1,175:7924889,25219694:23308498,455111,127431
k1,175:8318432,25219694:393543
(1,175:8318432,25219694:0,0,0
g1,175:8318432,25219694
g1,175:8318432,25219694
g1,175:7990752,25219694
h1,175:7990752,25219694:0,0,0
g1,175:8318432,25219694
)
x1,175:12002992,25219694
g1,175:12254212,25219694
x1,175:13998645,25219694
g1,175:14249865,25219694
x1,175:14877915,25219694
x1,175:15254745,25219694
x1,175:16884032,25219694
x1,175:17453463,25219694
g1,175:17704683,25219694
x1,175:18311798,25219694
g1,175:18563018,25219694
x1,175:19651638,25219694
x1,175:22132434,25219694
g1,175:22383654,25219694
x1,175:24443655,25219694
g1,175:24694875,25219694
x1,175:25301990,25219694
g1,175:25553210,25219694
x1,175:28875594,25219694
g1,175:29126814,25219694
x1,175:30839845,25219694
g1,175:30839845,25219694
k1,175:31233387,25219694:393542
)
(1,175:7924889,26143751:23308498,492301,127431
k1,175:14039562,26143751:6114673
h1,175:14039562,26143751:0,0,0
x1,175:15491539,26143751
g1,175:15739117,26143751
x1,175:16387188,26143751
(1,175:16407032,26089138:362265,437688,0
x1,175:16769297,26089138
)
x1,175:18431535,26143751
g1,175:18679113,26143751
x1,175:20678311,26143751
g1,175:20925889,26143751
x1,175:25118715,26143751
g1,175:25118715,26143751
k1,175:31233387,26143751:6114672
)
]
$1,175:31233387,25681723
g1,175:31233387,25681723
g1,175:31233387,25681723
)
(1,185:7924889,27479954:23308498,455111,127431
x1,185:9053566,27479954
g1,184:9272019,27479954
x1,184:12876509,27479954
g1,184:13094962,27479954
x1,184:13622893,27479954
g1,184:13841346,27479954
x1,184:14387481,27479954
k1,185:31233387,27479954:16845906
g1,185:31233387,27479954
)
(1,189:7924889,45685574:23308498,455111,127431
h1,188:7924889,45685574:786432,0,0
k1,188:20052197,45685574:11340876
g1,188:20270650,45685574
x1,188:21408429,45685574
x1,188:22995860,45685574
g1,188:23214313,45685574
x1,188:23705834,45685574
x1,188:25205883,45685574
g1,188:25424336,45685574
x1,188:27062740,45685574
x1,188:27863737,45685574
x1,188:28209622,45685574
g1,188:28428075,45685574
x1,188:29720594,45685574
x1,188:30905706,45685574
x1,188:31233387,45685574
g1,189:31233387,45685574
g1,189:31233387,45685574
)
]
h1,196:7924889,46599437:23308498,0,0
]
]
]
)
!14733
}5
Input:31:C:\drorbn\AcademicPensieve\2014-05\GoodFormulas\AbstractForMFO.aux
!86
Postamble:
Count:792
!25
Post scriptum: