SyncTeX Version:1
Input:1:C:/drorbn\AcademicPensieve\Projects\OneCo-1604\ImplementationShowcase.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\size11.clo
Input:4:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amsmath.sty
Input:5:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amstext.sty
Input:6:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amsgen.sty
Input:7:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amsbsy.sty
Input:8:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amsopn.sty
Input:9:C:\Program Files\MiKTeX 2.9\tex\latex\graphics\graphicx.sty
Input:10:C:\Program Files\MiKTeX 2.9\tex\latex\graphics\keyval.sty
Input:11:C:\Program Files\MiKTeX 2.9\tex\latex\graphics\graphics.sty
Input:12:C:\Program Files\MiKTeX 2.9\tex\latex\graphics\trig.sty
Input:13:C:\Program Files\MiKTeX 2.9\tex\latex\00miktex\graphics.cfg
Input:14:C:\Program Files\MiKTeX 2.9\tex\latex\pdftex-def\pdftex.def
Input:15:C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\infwarerr.sty
Input:16:C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\ltxcmds.sty
Input:17:C:\Program Files\MiKTeX 2.9\tex\latex\amsfonts\amssymb.sty
Input:18:C:\Program Files\MiKTeX 2.9\tex\latex\amsfonts\amsfonts.sty
Input:19:C:\Program Files\MiKTeX 2.9\tex\latex\stmaryrd\stmaryrd.sty
Input:20:C:\Program Files\MiKTeX 2.9\tex\latex\datetime2\datetime2.sty
Input:21:C:\Program Files\MiKTeX 2.9\tex\latex\tracklang\tracklang.sty
Input:22:C:\Program Files\MiKTeX 2.9\tex\generic\tracklang\tracklang.tex
Input:23:C:\Program Files\MiKTeX 2.9\tex\latex\etoolbox\etoolbox.sty
Input:24:C:\Program Files\MiKTeX 2.9\tex\latex\xkeyval\xkeyval.sty
Input:25:C:\Program Files\MiKTeX 2.9\tex\generic\xkeyval\xkeyval.tex
Input:26:C:\Program Files\MiKTeX 2.9\tex\generic\xkeyval\xkvutils.tex
Input:27:C:\Program Files\MiKTeX 2.9\tex\latex\amsmath\amscd.sty
Input:28:C:\Program Files\MiKTeX 2.9\tex\latex\tools\multicol.sty
Input:29:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\txfonts.sty
Input:30:C:\Program Files\MiKTeX 2.9\tex\latex\needspace\needspace.sty
Input:31:C:\Program Files\MiKTeX 2.9\tex\latex\xcolor\xcolor.sty
Input:32:C:\Program Files\MiKTeX 2.9\tex\latex\00miktex\color.cfg
Input:33:C:\Program Files\MiKTeX 2.9\tex\latex\graphics\dvipsnam.def
Input:34:C:\Program Files\MiKTeX 2.9\tex\latex\hyperref\hyperref.sty
Input:35:C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\hobsub-hyperref.sty
Input:36:C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\hobsub-generic.sty
Input:37:C:\Program Files\MiKTeX 2.9\tex\generic\ifxetex\ifxetex.sty
Input:38:C:\Program Files\MiKTeX 2.9\tex\latex\oberdiek\auxhook.sty
Input:39:C:\Program Files\MiKTeX 2.9\tex\latex\oberdiek\kvoptions.sty
Input:40:C:\Program Files\MiKTeX 2.9\tex\latex\hyperref\pd1enc.def
Input:41:C:\Program Files\MiKTeX 2.9\tex\latex\00miktex\hyperref.cfg
Input:42:C:\Program Files\MiKTeX 2.9\tex\latex\url\url.sty
Input:43:C:\Program Files\MiKTeX 2.9\tex\latex\hyperref\hpdftex.def
Input:44:C:\Program Files\MiKTeX 2.9\tex\latex\oberdiek\rerunfilecheck.sty
Input:45:C:\Program Files\MiKTeX 2.9\tex\generic\babel\babel.sty
Input:46:C:\Program Files\MiKTeX 2.9\tex\latex\00miktex\bblopts.cfg
Input:47:C:\Program Files\MiKTeX 2.9\tex\latex\babel-greek\greek.ldf
Input:48:C:\Program Files\MiKTeX 2.9\tex\generic\babel\babel.def
Input:49:C:\Program Files\MiKTeX 2.9\tex\latex\greek-fontenc\lgrenc.def
Input:50:C:\Program Files\MiKTeX 2.9\tex\latex\greek-fontenc\greek-fontenc.def
Input:51:C:\Program Files\MiKTeX 2.9\tex\latex\babel-english\english.ldf
Input:52:C:\drorbn\AcademicPensieve\Projects\OneCo-1604\ImplementationShowcase.aux
Input:53:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\omltxmi.fd
Input:54:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\omstxsy.fd
Input:55:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\omxtxex.fd
Input:56:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\utxexa.fd
Input:57:C:\Program Files\MiKTeX 2.9\tex\latex\cbfonts-fd\lgrcmr.fd
Input:58:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\ot1txr.fd
Input:59:C:\Program Files\MiKTeX 2.9\tex\context\base\supp-pdf.mkii
Input:60:C:\Program Files\MiKTeX 2.9\tex\latex\hyperref\nameref.sty
Input:61:C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\gettitlestring.sty
Input:62:C:\drorbn\AcademicPensieve\Projects\OneCo-1604\ImplementationShowcase.out
Input:63:C:\drorbn\AcademicPensieve\Projects\OneCo-1604\ImplementationShowcase.out
Input:64:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\ot1txtt.fd
Input:65:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\utxsya.fd
Input:66:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\utxsyb.fd
Input:67:C:\Program Files\MiKTeX 2.9\tex\latex\stmaryrd\ustmry.fd
Input:68:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\utxmia.fd
Input:69:C:\Program Files\MiKTeX 2.9\tex\latex\txfonts\utxsyc.fd
Output:pdf
Magnification:1000
Unit:1
X Offset:0
Y Offset:0
Content:
!4844
{1
[1,107:4736286,51395167:34338078,46658881,0
h1,107:4736286,4736286:0,0,0
[1,107:4736286,4736286:0,0,0
(1,107:4736286,1118290:0,0,0
k1,107:4736286,1118290:3617996
)
]
[1,107:4736286,51395167:34338078,46658881,0
[1,107:1184071,51395167:37890293,50211096,0
[1,107:1184071,1184071:37890293,0,0
(1,107:1184071,1184071:37890293,0,0
h1,107:1184071,1184071:37890293,0,0
)
]
[1,107:1184071,50915081:37890293,49731010,0
(1,49:1184071,2101575:37890293,917504,232154
h1,43:1184071,2101575:0,0,0
x1,43:4958565,2101575
x1,43:7223489,2101575
g1,43:7506604,2101575
x1,43:15244713,2101575
g1,43:15527828,2101575
x1,43:17353355,2101575
x1,43:20172051,2101575
k1,43:24865504,2101575:4693453
[1,48:24865504,2101575:14208860,917504,55443
h1,48:24865504,1184071:0,0,0
(1,48:24865504,1642823:14208860,262864,69599
h1,48:24865504,1642823:0,0,0
k1,48:27687506,1642823:2822002
$1,48:27687506,1642823
x1,48:28513258,1642823
g1,48:28513258,1642823
x1,48:28719696,1642823
g1,48:28719696,1642823
x1,48:28926134,1642823
g1,48:28926134,1642823
x1,48:29132572,1642823
g1,48:29132572,1642823
x1,48:30371200,1642823
g1,48:30371200,1642823
x1,48:30577638,1642823
g1,48:30577638,1642823
x1,48:31196952,1642823
g1,48:31196952,1642823
x1,48:31403390,1642823
g1,48:31403390,1642823
x1,48:34706398,1642823
g1,48:34706398,1642823
x1,48:34912836,1642823
g1,48:34912836,1642823
x1,48:36564340,1642823
g1,48:36564340,1642823
x1,48:36770778,1642823
g1,48:36770778,1642823
x1,48:38009406,1642823
(1,48:38009406,1701805:32768,0,0
)
x1,48:39074364,1642823
$1,48:39074364,1642823
g1,48:39074364,1642823
g1,48:39074364,1642823
)
(1,48:24865504,2101575:14208860,268369,55443
h1,48:24865504,2101575:0,0,0
k1,48:29965122,2101575:5099618
x1,48:31079103,2101575
g1,48:31177407,2101575
x1,48:32094780,2101575
x1,48:32618937,2101575
x1,48:33121467,2101575
g1,48:33219771,2101575
x1,48:34028223,2101575
x1,48:34618047,2101575
g1,48:34716351,2101575
x1,48:35633724,2101575
x1,48:36157881,2101575
x1,48:36551097,2101575
g1,48:36649401,2101575
x1,48:38178618,2101575
x1,48:39074364,2101575
g1,48:39074364,2101575
g1,48:39074364,2101575
)
]
g1,49:39074364,2101575
g1,49:39074364,2101575
)
(1,53:1184071,2433462:37890293,65536,0
h1,51:1184071,2433462:0,0,0
(1,51:1184071,2433462:37890293,65536,0
r1,51:39074364,2433462:37890293,65536,0
)
g1,51:39074364,2433462
)
(1,53:1184071,3324752:37890293,0,0
k1,53:39074363,3324752:37890292
g1,53:39074363,3324752
)
(1,107:1184071,50915081:37890293,48125246,156081
[1,107:1184071,50915081:18617466,48125246,0
(1,59:1184071,3510731:18617466,491568,127377
h1,58:1184071,3510731:0,0,0
x1,58:1781847,3510731
g1,58:1961251,3510731
$1,58:1961251,3510731
x1,58:2604955,3510731
x1,58:3301762,3510731
x1,58:3595985,3510731
g1,58:3755453,3510731
x1,58:4211858,3510731
g1,58:4371326,3510731
x1,58:5015030,3510731
x1,58:5819480,3510731
x1,58:6090739,3510731
$1,58:6090739,3510731
g1,58:6270143,3510731
x1,58:6947575,3510731
x1,58:7306384,3510731
x1,58:7636488,3510731
x1,58:8303155,3510731
x1,58:9878324,3510731
k1,58:16154603,3510731:6276279
x1,58:17350156,3510731
x1,58:17668779,3510731
x1,58:18425866,3510731
x1,58:18625363,3510731
x1,58:19801537,3510731
g1,59:19801537,3510731
g1,59:19801537,3510731
)
(1,62:1184071,23243884:18617466,19540240,0
h1,61:1184071,23243884:0,0,0
(1,61:1184071,23243884:19155421,19540240,0
(1,61:1184071,23243884:19155421,19540240,0
(1,61:1184071,23243884:19155468,19540288,0
(1,61:1184071,23243884:19155468,19540288,0
(1,61:1184071,23243884:0,30062264,0
(1,61:1184071,23243884:29470228,30062264,0
)
k1,61:1184071,23243884:-29470228
)
)
)
)
)
g1,62:20339492,23243884
g1,62:20339492,23243884
)
(1,63:1184071,23575771:18617466,65536,0
h1,62:1184071,23575771:0,0,0
(1,62:1184071,23575771:18617466,65536,0
r1,62:19801537,23575771:18617466,65536,0
)
g1,63:19801537,23575771
g1,63:19801537,23575771
)
(1,66:1184071,24467061:18617466,320775,0
h1,65:1184071,24467061:0,0,0
k1,65:19125541,24467061:17941470
$1,65:19125541,24467061
x1,65:19801537,24467061
$1,65:19801537,24467061
g1,66:19801537,24467061
g1,66:19801537,24467061
)
(1,67:1184071,33065132:18617466,9278406,0
h1,66:1184071,33065132:0,0,0
(1,66:1184071,33065132:16547205,9278406,0
(1,66:1184071,33065132:16547205,9278406,0
(1,66:1184071,33065132:16547246,9278430,0
(1,66:1184071,33065132:16547246,9278430,0
(1,66:1184071,33065132:0,14274642,0
(1,66:1184071,33065132:25457541,14274642,0
)
k1,66:1184072,33065132:-25457540
)
)
)
)
)
k1,67:19801537,33065132:2070261
g1,67:19801537,33065132
)
(1,68:1184071,33397019:18617466,65536,0
h1,67:1184071,33397019:0,0,0
(1,67:1184071,33397019:18617466,65536,0
r1,67:19801537,33397019:18617466,65536,0
)
g1,68:19801537,33397019
g1,68:19801537,33397019
)
(1,71:1184071,34288309:18617466,644421,7534
h1,70:1184071,34288309:0,0,0
k1,70:17559699,34288309:16375628
x1,70:18476815,34288309
x1,70:19801537,34288309
g1,71:19801537,34288309
g1,71:19801537,34288309
)
(1,72:1184071,46314526:18617466,12699018,0
h1,71:1184071,46314526:0,0,0
(1,71:1184071,46314526:15606537,12699018,0
(1,71:1184071,46314526:15606537,12699018,0
(1,71:1184071,46314526:15606575,12699049,0
(1,71:1184071,46314526:15606575,12699049,0
(1,71:1184071,46314526:0,19537183,0
(1,71:1184071,46314526:24010342,19537183,0
)
k1,71:1184071,46314526:-24010342
)
)
)
)
)
k1,72:19801537,46314526:3010929
g1,72:19801537,46314526
)
(1,73:1184071,46646413:18617466,65536,0
h1,72:1184071,46646413:0,0,0
(1,72:1184071,46646413:18617466,65536,0
r1,72:19801537,46646413:18617466,65536,0
)
g1,73:19801537,46646413
g1,73:19801537,46646413
)
]
k1,107:20129218,50915081:327681
r1,107:20129218,50915081:0,48281327,156081
k1,107:20456898,50915081:327680
[1,107:20456898,50915081:18617466,48125246,0
(1,77:20456898,3510731:18617466,489774,11840
h1,75:20456898,3510731:0,0,0
k1,75:35192771,3510731:14735873
$1,75:35192771,3510731
x1,75:36244081,3510731
$1,75:36244081,3510731
g1,75:36423485,3510731
x1,75:36981075,3510731
x1,75:37499195,3510731
x1,75:39074364,3510731
g1,75:39074364,3510731
)
(1,77:20456898,15431972:18617466,11843865,0
(1,76:20456898,15431972:17958207,11843865,0
(1,76:20456898,15431972:17958207,11843865,0
(1,76:20456898,15431972:17958251,11843894,0
(1,76:20456898,15431972:17958251,11843894,0
(1,76:20456898,15431972:0,18221548,0
(1,76:20456898,15431972:27628339,18221548,0
)
k1,76:20456897,15431972:-27628340
)
)
)
)
)
k1,77:39074364,15431972:659259
g1,77:39074364,15431972
)
(1,78:20456898,15763859:18617466,65536,0
h1,77:20456898,15763859:0,0,0
(1,77:20456898,15763859:18617466,65536,0
r1,77:39074364,15763859:18617466,65536,0
)
g1,78:39074364,15763859
g1,78:39074364,15763859
)
(1,82:20456898,16655149:18617466,489774,7534
h1,80:20456898,16655149:0,0,0
k1,80:34297185,16655149:13840287
x1,80:35133929,16655149
x1,80:35532924,16655149
x1,80:36091230,16655149
x1,80:37207842,16655149
g1,80:37387246,16655149
x1,80:37985022,16655149
g1,80:38164426,16655149
$1,80:38164426,16655149
x1,80:38363923,16655149
x1,80:38894960,16655149
$1,80:38894960,16655149
x1,80:39074364,16655149
g1,80:39074364,16655149
)
(1,82:20456898,23483924:18617466,6755705,0
(1,81:20456898,23483924:17958207,6755705,0
(1,81:20456898,23483924:17958207,6755705,0
(1,81:20456898,23483924:17958251,6755723,0
(1,81:20456898,23483924:17958251,6755723,0
(1,81:20456898,23483924:0,10393518,0
(1,81:20456898,23483924:27628339,10393518,0
)
k1,81:20456897,23483924:-27628340
)
)
)
)
)
k1,82:39074364,23483924:659259
g1,82:39074364,23483924
)
(1,83:20456898,23815811:18617466,65536,0
h1,82:20456898,23815811:0,0,0
(1,82:20456898,23815811:18617466,65536,0
r1,82:39074364,23815811:18617466,65536,0
)
g1,83:39074364,23815811
g1,83:39074364,23815811
)
(1,87:20456898,24707101:18617466,489774,7534
h1,85:20456898,24707101:0,0,0
k1,85:34150789,24707101:13693891
x1,85:34987533,24707101
x1,85:35386528,24707101
x1,85:35944834,24707101
x1,85:37061446,24707101
g1,85:37240850,24707101
x1,85:37838626,24707101
g1,85:38018030,24707101
$1,85:38018030,24707101
x1,85:38894960,24707101
$1,85:38894960,24707101
x1,85:39074364,24707101
g1,85:39074364,24707101
)
(1,87:20456898,30637967:18617466,5857796,0
(1,86:20456898,30637967:19326452,5857796,0
(1,86:20456898,30637967:19326452,5857796,0
(1,86:20456898,30637967:19326499,5857810,0
(1,86:20456898,30637967:19326499,5857810,0
(1,86:20456898,30637967:0,9012101,0
(1,86:20456898,30637967:29733356,9012101,0
)
k1,86:20456898,30637967:-29733356
)
)
)
)
)
g1,87:39783350,30637967
g1,87:39783350,30637967
)
(1,88:20456898,30969854:18617466,65536,0
h1,87:20456898,30969854:0,0,0
(1,87:20456898,30969854:18617466,65536,0
r1,87:39074364,30969854:18617466,65536,0
)
g1,88:39074364,30969854
g1,88:39074364,30969854
)
(1,92:20456898,31861144:18617466,489774,11840
h1,90:20456898,31861144:0,0,0
k1,90:34141463,31861144:13684565
x1,90:34978207,31861144
x1,90:35377202,31861144
x1,90:35935508,31861144
x1,90:37052120,31861144
g1,90:37231524,31861144
x1,90:37829300,31861144
g1,90:38008704,31861144
$1,90:38008704,31861144
x1,90:38567010,31861144
x1,90:38894960,31861144
$1,90:38894960,31861144
x1,90:39074364,31861144
g1,90:39074364,31861144
)
(1,92:20456898,41216926:18617466,9278406,0
(1,91:20456898,41216926:19540240,9278406,0
(1,91:20456898,41216926:19540240,9278406,0
(1,91:20456898,41216926:19540288,9278430,0
(1,91:20456898,41216926:19540288,9278430,0
(1,91:20456898,41216926:0,14274642,0
(1,91:20456898,41216926:30062264,14274642,0
)
k1,91:20456898,41216926:-30062264
)
)
)
)
)
g1,92:39997138,41216926
g1,92:39997138,41216926
)
(1,93:20456898,41548813:18617466,65536,0
h1,92:20456898,41548813:0,0,0
(1,92:20456898,41548813:18617466,65536,0
r1,92:39074364,41548813:18617466,65536,0
)
g1,93:39074364,41548813
g1,93:39074364,41548813
)
(1,96:20456898,42440103:18617466,489774,11840
h1,95:20456898,42440103:0,0,0
k1,95:34131413,42440103:13674515
x1,95:34968157,42440103
x1,95:35367152,42440103
x1,95:35925458,42440103
x1,95:37042070,42440103
g1,95:37221474,42440103
x1,95:37819250,42440103
g1,95:37998654,42440103
$1,95:37998654,42440103
x1,95:38357463,42440103
x1,95:38894960,42440103
$1,95:38894960,42440103
x1,95:39074364,42440103
g1,96:39074364,42440103
g1,96:39074364,42440103
)
(1,97:20456898,43353640:18617466,1582032,0
h1,96:20456898,43353640:0,0,0
(1,96:20456898,43353640:14452081,1582032,0
(1,96:20456898,43353640:14452081,1582032,0
(1,96:20456898,43353640:14452117,1582036,0
(1,96:20456898,43353640:14452117,1582036,0
(1,96:20456898,43353640:0,2433925,0
(1,96:20456898,43353640:22234235,2433925,0
)
k1,96:20456897,43353640:-22234236
)
)
)
)
)
k1,97:39074364,43353640:4165385
g1,97:39074364,43353640
)
(1,98:20456898,43685527:18617466,65536,0
h1,97:20456898,43685527:0,0,0
(1,97:20456898,43685527:18617466,65536,0
r1,97:39074364,43685527:18617466,65536,0
)
g1,98:39074364,43685527
g1,98:39074364,43685527
)
]
(1,107:39074364,50915081:0,326516,156081
h1,107:39074364,50915081:358809,326516,156081
k1,107:39074364,50915081:-358809
)
)
]
(1,107:1184071,51395167:37890293,480086,0
(1,107:1184071,51395167:37890293,480086,0
k1,107:19949813,51395167:18765742
x1,107:20308622,51395167
k1,107:39074364,51395167:18765742
)
)
]
]
]
!10967
}1
!10
{2
[1,135:4736286,51395167:34338078,46658881,0
[1,135:4736286,4736286:0,0,0
(1,135:4736286,1118290:0,0,0
k1,135:4736286,1118290:3617996
)
]
[1,135:4736286,51395167:34338078,46658881,0
[1,135:1184071,51395167:37890293,50211096,0
[1,135:1184071,1184071:37890293,0,0
(1,135:1184071,1184071:37890293,0,0
h1,135:1184071,1184071:37890293,0,0
)
]
[1,135:1184071,50915081:37890293,49731010,0
(1,135:1184071,50632093:37890293,49448022,156081
[1,135:1184071,50632093:18617466,49448022,0
(1,106:1184071,1904967:18617466,489774,7534
h1,105:1184071,1904967:0,0,0
k1,105:15183670,1904967:13999599
x1,105:16020414,1904967
x1,105:16419409,1904967
x1,105:16977715,1904967
x1,105:18094327,1904967
g1,105:18273731,1904967
x1,105:18871507,1904967
g1,105:19050911,1904967
$1,105:19050911,1904967
x1,105:19250408,1904967
x1,105:19622133,1904967
$1,105:19622133,1904967
x1,105:19801537,1904967
g1,106:19801537,1904967
g1,106:19801537,1904967
)
(1,107:1184071,15641489:18617466,14409323,0
h1,106:1184071,15641489:0,0,0
(1,106:1184071,15641489:18343026,14409323,0
(1,106:1184071,15641489:18343026,14409323,0
(1,106:1184071,15641489:18343071,14409359,0
(1,106:1184071,15641489:18343071,14409359,0
(1,106:1184071,15641489:0,22168453,0
(1,106:1184071,15641489:28220375,22168453,0
)
k1,106:1184070,15641489:-28220376
)
)
)
)
)
k1,107:19801537,15641489:274440
g1,107:19801537,15641489
)
(1,108:1184071,15973376:18617466,65536,0
h1,107:1184071,15973376:0,0,0
(1,107:1184071,15973376:18617466,65536,0
r1,135:19801537,15973376:18617466,65536,0
)
g1,108:19801537,15973376
g1,108:19801537,15973376
)
(1,111:1184071,16864666:18617466,489774,7534
h1,110:1184071,16864666:0,0,0
k1,110:14824861,16864666:13640790
x1,110:15661605,16864666
x1,110:16060600,16864666
x1,110:16618906,16864666
x1,110:17735518,16864666
g1,110:17914922,16864666
x1,110:18512698,16864666
g1,110:18692102,16864666
$1,110:18692102,16864666
x1,110:18891599,16864666
x1,110:19622133,16864666
$1,110:19622133,16864666
x1,110:19801537,16864666
g1,111:19801537,16864666
g1,111:19801537,16864666
)
(1,112:1184071,40863022:18617466,24671157,0
h1,111:1184071,40863022:0,0,0
(1,111:1184071,40863022:18941633,24671157,0
(1,111:1184071,40863022:18941633,24671157,0
(1,111:1184071,40863022:18941680,24671217,0
(1,111:1184071,40863022:18941680,24671217,0
(1,111:1184071,40863022:0,37956076,0
(1,111:1184071,40863022:29141320,37956076,0
)
k1,111:1184071,40863022:-29141320
)
)
)
)
)
g1,112:20125704,40863022
g1,112:20125704,40863022
)
(1,113:1184071,41194909:18617466,65536,0
h1,112:1184071,41194909:0,0,0
(1,112:1184071,41194909:18617466,65536,0
r1,135:19801537,41194909:18617466,65536,0
)
g1,113:19801537,41194909
g1,113:19801537,41194909
)
]
k1,135:20129218,50632093:327681
r1,135:20129218,50632093:0,49604103,156081
k1,135:20456898,50632093:327680
[1,135:20456898,50632093:18617466,49448022,0
(1,116:20456898,1904967:18617466,489774,7534
h1,115:20456898,1904967:0,0,0
k1,115:34310101,1904967:13853203
x1,115:35146845,1904967
x1,115:35545840,1904967
x1,115:36104146,1904967
x1,115:37220758,1904967
g1,115:37400162,1904967
x1,115:37997938,1904967
g1,115:38177342,1904967
$1,115:38177342,1904967
x1,115:38894960,1904967
$1,115:38894960,1904967
x1,115:39074364,1904967
g1,116:39074364,1904967
g1,116:39074364,1904967
)
(1,117:20456898,17351795:18617466,16119629,0
h1,116:20456898,17351795:0,0,0
(1,116:20456898,17351795:16632721,16119629,0
(1,116:20456898,17351795:16632721,16119629,0
(1,116:20456898,17351795:16632762,16119669,0
(1,116:20456898,17351795:16632762,16119669,0
(1,116:20456898,17351795:0,24799724,0
(1,116:20456898,17351795:25589105,24799724,0
)
k1,116:20456899,17351795:-25589104
)
)
)
)
)
k1,117:39074364,17351795:1984745
g1,117:39074364,17351795
)
(1,118:20456898,17683682:18617466,65536,0
h1,117:20456898,17683682:0,0,0
(1,117:20456898,17683682:18617466,65536,0
r1,135:39074364,17683682:18617466,65536,0
)
g1,118:39074364,17683682
g1,118:39074364,17683682
)
(1,123:20456898,18574972:18617466,484392,107642
h1,120:20456898,18574972:0,0,0
$1,120:20456898,18574972
x1,120:20815707,18574972
(1,120:20815707,18682614:294912,350748,0
x1,120:21077851,18682614
)
x1,120:21469428,18574972
(1,120:21469428,18682614:294912,350748,0
x1,120:21731572,18682614
)
x1,120:21963837,18574972
(1,120:21963837,18682614:294912,350748,0
x1,120:22225981,18682614
)
x1,120:22458246,18574972
(1,120:22458246,18682614:294912,350748,0
x1,120:22720390,18682614
)
g1,120:22952493,18574972
x1,120:23644277,18574972
g1,120:23843612,18574972
x1,120:24202421,18574972
(1,120:24202421,18682614:294912,350748,0
x1,120:24464565,18682614
)
x1,120:24856142,18574972
(1,120:24856142,18682614:294912,350748,0
x1,120:25118286,18682614
)
x1,120:25350551,18574972
(1,120:25350551,18682614:294912,350748,0
x1,120:25612695,18682614
)
x1,120:25844960,18574972
(1,120:25844960,18682614:294912,350748,0
x1,120:26107104,18682614
)
g1,120:26339207,18574972
x1,120:27030991,18574972
g1,120:27230326,18574972
x1,120:27589135,18574972
(1,120:27589135,18682614:294912,350748,0
x1,120:27851279,18682614
)
x1,120:28242856,18574972
(1,120:28242856,18682614:294912,350748,0
x1,120:28505000,18682614
)
x1,120:28737265,18574972
(1,120:28737265,18682614:294912,350748,0
x1,120:28999409,18682614
)
x1,120:29231674,18574972
(1,120:29231674,18682614:294912,350748,0
x1,120:29493818,18682614
)
g1,120:29725921,18574972
x1,120:30417705,18574972
g1,120:30617040,18574972
x1,120:30975849,18574972
(1,120:30975849,18682614:294912,350748,0
x1,120:31237993,18682614
)
x1,120:31629570,18574972
(1,120:31629570,18682614:294912,350748,0
x1,120:31891714,18682614
)
x1,120:32123979,18574972
(1,120:32123979,18682614:294912,350748,0
x1,120:32386123,18682614
)
x1,120:32618388,18574972
(1,120:32618388,18682614:294912,350748,0
x1,120:32880532,18682614
)
g1,120:33112635,18574972
x1,120:33804419,18574972
g1,120:34003754,18574972
x1,120:34362563,18574972
(1,120:34362563,18682614:294912,350748,0
x1,120:34624707,18682614
)
x1,120:35016284,18574972
(1,120:35016284,18682614:294912,350748,0
x1,120:35278428,18682614
)
x1,120:35510693,18574972
(1,120:35510693,18682614:294912,350748,0
x1,120:35772837,18682614
)
x1,120:36005102,18574972
(1,120:36005102,18682614:294912,350748,0
x1,120:36267246,18682614
)
$1,120:36300014,18574972
x1,120:36499511,18574972
g1,120:36721972,18574972
k1,121:38157966,18574972:1435994
$1,121:38157966,18574972
x1,121:38516775,18574972
x1,121:38894960,18574972
$1,121:38894960,18574972
x1,121:39074364,18574972
g1,121:39074364,18574972
)
(1,123:20456898,24605946:18617466,5857796,0
(1,122:20456898,24605946:18685087,5857796,0
(1,122:20456898,24605946:18685087,5857796,0
(1,122:20456898,24605946:18685133,5857810,0
(1,122:20456898,24605946:18685133,5857810,0
(1,122:20456898,24605946:0,9012101,0
(1,122:20456898,24605946:28746629,9012101,0
)
k1,122:20456899,24605946:-28746628
)
)
)
)
)
g1,123:39141985,24605946
g1,123:39141985,24605946
)
(1,124:20456898,24937833:18617466,65536,0
h1,123:20456898,24937833:0,0,0
(1,123:20456898,24937833:18617466,65536,0
r1,135:39074364,24937833:18617466,65536,0
)
g1,124:39074364,24937833
g1,124:39074364,24937833
)
(1,127:20456898,25829123:18617466,489774,7534
h1,126:20456898,25829123:0,0,0
k1,126:35494885,25829123:15037987
x1,126:36610782,25829123
g1,126:36790186,25829123
x1,126:38384017,25829123
x1,126:39074364,25829123
g1,127:39074364,25829123
g1,127:39074364,25829123
)
(1,128:20456898,31869270:18617466,6712948,0
h1,127:20456898,31869270:0,0,0
(1,127:20456898,31869270:18471299,6712948,0
(1,127:20456898,31869270:18471299,6712948,0
(1,127:20456898,31869270:18471344,6712965,0
(1,127:20456898,31869270:18471344,6712965,0
(1,127:20456898,31869270:0,10327736,0
(1,127:20456898,31869270:28417720,10327736,0
)
k1,127:20456898,31869270:-28417720
)
)
)
)
)
k1,128:39074364,31869270:146167
g1,128:39074364,31869270
)
(1,129:20456898,32201157:18617466,65536,0
h1,128:20456898,32201157:0,0,0
(1,128:20456898,32201157:18617466,65536,0
r1,135:39074364,32201157:18617466,65536,0
)
g1,129:39074364,32201157
g1,129:39074364,32201157
)
(1,132:20456898,33092447:18617466,480086,9687
h1,131:20456898,33092447:0,0,0
k1,131:37459724,33092447:17002826
x1,131:38057500,33092447
x1,131:39074364,33092447
g1,132:39074364,33092447
g1,132:39074364,33092447
)
(1,133:20456898,50294491:18617466,17872692,0
h1,132:20456898,50294491:0,0,0
(1,132:20456898,50294491:19112664,17872692,0
(1,132:20456898,50294491:19112664,17872692,0
(1,132:20456898,50294491:19112711,17872736,0
(1,132:20456898,50294491:19112711,17872736,0
(1,132:20456898,50294491:0,27496776,0
(1,132:20456898,50294491:29404447,27496776,0
)
k1,132:20456897,50294491:-29404448
)
)
)
)
)
g1,133:39569562,50294491
g1,133:39569562,50294491
)
(1,134:20456898,50626378:18617466,65536,0
h1,133:20456898,50626378:0,0,0
(1,133:20456898,50626378:18617466,65536,0
r1,135:39074364,50626378:18617466,65536,0
)
g1,134:39074364,50626378
g1,134:39074364,50626378
)
]
(1,135:39074364,50632093:0,326516,156081
h1,135:39074364,50632093:358809,326516,156081
k1,135:39074364,50632093:-358809
)
)
]
(1,135:1184071,51395167:37890293,480086,0
(1,135:1184071,51395167:37890293,480086,0
k1,135:19949813,51395167:18765742
x1,135:20308622,51395167
k1,135:39074364,51395167:18765742
)
)
]
]
]
!9126
}2
!9
{3
[1,174:4736286,51395167:34338078,46658881,9687
[1,174:4736286,4736286:0,0,0
(1,174:4736286,1118290:0,0,0
k1,174:4736286,1118290:3617996
)
]
[1,174:4736286,51395167:34338078,46658881,9687
[1,174:1184071,51395167:37890293,50211096,9687
[1,174:1184071,1184071:37890293,0,0
(1,174:1184071,1184071:37890293,0,0
h1,174:1184071,1184071:37890293,0,0
)
]
[1,174:1184071,50915081:37890293,49731010,0
(1,139:1184071,1904967:37890293,65536,0
h1,138:1184071,1904967:0,0,0
(1,138:1184071,1904967:37890293,65536,0
r1,138:39074364,1904967:37890293,65536,0
)
g1,139:39074364,1904967
g1,139:39074364,1904967
)
(1,140:1184071,2796257:37890293,489774,7534
h1,139:1184071,2796257:0,0,0
k1,139:34496683,2796257:33312612
x1,139:35333427,2796257
x1,139:37407340,2796257
g1,139:37586744,2796257
x1,139:38184520,2796257
g1,139:38363924,2796257
$1,139:38363924,2796257
x1,139:38882044,2796257
$1,139:38894960,2796257
x1,139:39074364,2796257
g1,140:39074364,2796257
g1,140:39074364,2796257
)
(1,142:1184071,22332381:37890293,20395393,0
h1,140:1184071,22332381:0,0,0
(1,140:1184071,22332381:28946921,20395393,0
(1,140:1184071,22332381:28946921,20395393,0
(1,140:1184071,22332381:28946991,20395443,0
(1,140:1184071,22332381:28946991,20395443,0
(1,140:1184071,22332381:0,31377900,0
(1,140:1184071,22332381:44534252,31377900,0
)
k1,140:1184071,22332381:-44534252
)
)
)
)
)
k1,142:39074364,22332381:8943372
g1,142:39074364,22332381
)
(1,174:1184071,50915081:37890293,27625874,156081
[1,174:1184071,50915081:18617466,27625874,0
(1,147:1184071,24010103:18617466,489774,9687
h1,146:1184071,24010103:0,0,0
k1,146:14021843,24010103:12837772
x1,146:15975199,24010103
g1,146:16154603,24010103
x1,146:17350156,24010103
x1,146:17668779,24010103
x1,146:18425866,24010103
x1,146:18625363,24010103
x1,146:19801537,24010103
g1,147:19801537,24010103
g1,147:19801537,24010103
)
(1,148:1184071,30950314:18617466,7610859,0
h1,147:1184071,30950314:0,0,0
(1,147:1184071,30950314:18642329,7610859,0
(1,147:1184071,30950314:18642329,7610859,0
(1,147:1184071,30950314:18642375,7610877,0
(1,147:1184071,30950314:18642375,7610877,0
(1,147:1184071,30950314:0,11709153,0
(1,147:1184071,30950314:28680847,11709153,0
)
k1,147:1184070,30950314:-28680848
)
)
)
)
)
g1,148:19826400,30950314
g1,148:19826400,30950314
)
(1,149:1184071,31282201:18617466,65536,0
h1,148:1184071,31282201:0,0,0
(1,148:1184071,31282201:18617466,65536,0
r1,148:19801537,31282201:18617466,65536,0
)
g1,149:19801537,31282201
g1,149:19801537,31282201
)
(1,152:1184071,32173491:18617466,489774,156081
h1,151:1184071,32173491:0,0,0
k1,151:15561852,32173491:14377781
$1,151:15561852,32173491
x1,151:16532789,32173491
$1,151:16532789,32173491
g1,151:16712193,32173491
x1,151:17947931,32173491
x1,151:18466051,32173491
x1,151:19801537,32173491
g1,152:19801537,32173491
g1,152:19801537,32173491
)
(1,153:1184071,41782796:18617466,10133559,0
h1,152:1184071,41782796:0,0,0
(1,152:1184071,41782796:18685087,10133559,0
(1,152:1184071,41782796:18685087,10133559,0
(1,152:1184071,41782796:18685133,10133584,0
(1,152:1184071,41782796:18685133,10133584,0
(1,152:1184071,41782796:0,15590277,0
(1,152:1184071,41782796:28746629,15590277,0
)
k1,152:1184072,41782796:-28746628
)
)
)
)
)
g1,153:19869158,41782796
g1,153:19869158,41782796
)
(1,154:1184071,42114683:18617466,65536,0
h1,153:1184071,42114683:0,0,0
(1,153:1184071,42114683:18617466,65536,0
r1,153:19801537,42114683:18617466,65536,0
)
g1,154:19801537,42114683
g1,154:19801537,42114683
)
]
k1,174:20129218,50915081:327681
r1,174:20129218,50915081:0,27781955,156081
k1,174:20456898,50915081:327680
[1,174:20456898,50915081:18617466,27625874,0
(1,158:20456898,24010103:18617466,489774,156081
h1,156:20456898,24010103:0,0,0
k1,156:31864457,24010103:11407559
x1,156:32661731,24010103
x1,156:33379349,24010103
x1,156:34415590,24010103
x1,156:34814584,24010103
x1,156:35332704,24010103
x1,156:36249819,24010103
g1,156:36429223,24010103
x1,156:37106655,24010103
g1,156:37286059,24010103
x1,156:37604682,24010103
x1,156:38441425,24010103
x1,156:38941605,24010103
x1,156:39074364,24010103
g1,156:39074364,24010103
)
(1,158:20456898,38213467:18617466,13981747,0
(1,157:20456898,38213467:17872692,13981747,0
(1,157:20456898,38213467:17872692,13981747,0
(1,157:20456898,38213467:17872736,13981782,0
(1,157:20456898,38213467:17872736,13981782,0
(1,157:20456898,38213467:0,21510636,0
(1,157:20456898,38213467:27496776,21510636,0
)
k1,157:20456898,38213467:-27496776
)
)
)
)
)
k1,158:39074364,38213467:744774
g1,158:39074364,38213467
)
(1,159:20456898,38545354:18617466,65536,0
h1,158:20456898,38545354:0,0,0
(1,158:20456898,38545354:18617466,65536,0
r1,158:39074364,38545354:18617466,65536,0
)
g1,159:39074364,38545354
g1,159:39074364,38545354
)
(1,167:20456898,39436644:18617466,489774,9687
h1,166:20456898,39436644:0,0,0
k1,166:33087997,39436644:12631099
x1,166:34203894,39436644
g1,166:34383298,39436644
x1,166:35539380,39436644
g1,166:35718784,39436644
x1,166:36037407,39436644
x1,166:36381863,39436644
x1,166:37081539,39436644
x1,166:38277091,39436644
g1,166:38456495,39436644
$1,166:38456495,39436644
x1,166:38894960,39436644
$1,166:38894960,39436644
x1,166:39074364,39436644
g1,167:39074364,39436644
g1,167:39074364,39436644
)
(1,168:20456898,49113343:18617466,10347347,0
h1,167:20456898,49113343:0,0,0
(1,167:20456898,49113343:18171995,10347347,0
(1,167:20456898,49113343:18171995,10347347,0
(1,167:20456898,49113343:18172040,10347373,0
(1,167:20456898,49113343:18172040,10347373,0
(1,167:20456898,49113343:0,15919186,0
(1,167:20456898,49113343:27957248,15919186,0
)
k1,167:20456898,49113343:-27957248
)
)
)
)
)
k1,168:39074364,49113343:445471
g1,168:39074364,49113343
)
(1,169:20456898,49445230:18617466,65536,0
h1,168:20456898,49445230:0,0,0
(1,168:20456898,49445230:18617466,65536,0
r1,168:39074364,49445230:18617466,65536,0
)
g1,169:39074364,49445230
g1,169:39074364,49445230
)
]
(1,174:39074364,50915081:0,326516,156081
h1,174:39074364,50915081:358809,326516,156081
k1,174:39074364,50915081:-358809
)
)
]
(1,174:1184071,51395167:37890293,480086,9687
(1,174:1184071,51395167:37890293,480086,9687
k1,174:19949813,51395167:18765742
x1,174:20308622,51395167
k1,174:39074364,51395167:18765742
)
)
]
]
]
!6152
}3
!9
{4
[1,177:4736286,51395167:34338078,46658881,0
[1,177:4736286,4736286:0,0,0
(1,177:4736286,1118290:0,0,0
k1,177:4736286,1118290:3617996
)
]
[1,177:4736286,51395167:34338078,46658881,0
[1,177:1184071,51395167:37890293,50211096,0
[1,177:1184071,1184071:37890293,0,0
(1,177:1184071,1184071:37890293,0,0
h1,177:1184071,1184071:37890293,0,0
)
]
[1,177:1184071,50915081:37890293,49731010,0
(1,175:1184071,18075182:37890293,16891111,156081
[1,175:1184071,18075182:18617466,16891111,0
(1,174:1184071,1904967:18617466,489774,156081
h1,171:1184071,1904967:0,0,0
k1,171:13685279,1904967:12501208
x1,171:14482553,1904967
x1,171:15159985,1904967
x1,171:15508029,1904967
x1,171:16413663,1904967
g1,171:16593067,1904967
x1,171:17788619,1904967
x1,171:19801537,1904967
g1,172:19801537,1904967
g1,174:19801537,1904967
)
(1,174:1184071,18075182:18617466,15948598,0
(1,172:1184071,18075182:17872692,15948598,0
(1,172:1184071,18075182:17872692,15948598,0
(1,172:1184071,18075182:17872736,15948637,0
(1,172:1184071,18075182:17872736,15948637,0
(1,172:1184071,18075182:0,24536596,0
(1,172:1184071,18075182:27496776,24536596,0
)
k1,172:1184071,18075182:-27496776
)
)
)
)
)
k1,173:19801537,18075182:744774
g1,174:19801537,18075182
)
]
k1,175:20129218,18075182:327681
r1,175:20129218,18075182:0,17047192,156081
k1,175:20456898,18075182:327680
[1,175:20456898,18075182:18617466,16891111,0
(1,174:20456898,13027936:18617466,11843865,0
(1,173:20456898,13027936:15007930,11843865,0
(1,173:20456898,13027936:15007930,11843865,0
(1,173:20456898,13027936:15007967,11843894,0
(1,173:20456898,13027936:15007967,11843894,0
(1,173:20456898,13027936:0,18221548,0
(1,173:20456898,13027936:23089398,18221548,0
)
k1,173:20456898,13027936:-23089398
)
)
)
)
)
k1,174:39074364,13027936:3609536
g1,174:39074364,13027936
)
]
(1,175:39074364,18075182:0,326516,156081
h1,175:39074364,18075182:358809,326516,156081
k1,175:39074364,18075182:-358809
)
)
]
(1,177:1184071,51395167:37890293,480086,0
(1,177:1184071,51395167:37890293,480086,0
k1,177:19949813,51395167:18765742
x1,177:20308622,51395167
k1,177:39074364,51395167:18765742
)
)
]
]
]
!2096
}4
Input:70:C:\drorbn\AcademicPensieve\Projects\OneCo-1604\ImplementationShowcase.aux
!92
Postamble:
Count:932
!25
Post scriptum: