SyncTeX Version:1
Input:1:C:/drorbn\AcademicPensieve\Projects\OneCo-1604\AoBranch\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\AoBranch\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\AoBranch\ImplementationShowcase.out
Input:63:C:\drorbn\AcademicPensieve\Projects\OneCo-1604\AoBranch\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:
!4880
{1
[1,99:4736286,51395167:34338078,46658881,0
h1,99:4736286,4736286:0,0,0
[1,99:4736286,4736286:0,0,0
(1,99:4736286,1118290:0,0,0
k1,99:4736286,1118290:3617996
)
]
[1,99:4736286,51395167:34338078,46658881,0
[1,99:1184071,51395167:37890293,50211096,0
[1,99:1184071,1184071:37890293,0,0
(1,99:1184071,1184071:37890293,0,0
h1,99:1184071,1184071:37890293,0,0
)
]
[1,99: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:25829564,1642823:964060
$1,48:25829564,1642823
x1,48:26655316,1642823
g1,48:26655316,1642823
x1,48:26861754,1642823
g1,48:26861754,1642823
x1,48:27068192,1642823
g1,48:27068192,1642823
x1,48:27274630,1642823
g1,48:27274630,1642823
x1,48:28513258,1642823
g1,48:28513258,1642823
x1,48:28719696,1642823
g1,48:28719696,1642823
x1,48:29339010,1642823
g1,48:29339010,1642823
x1,48:29545448,1642823
g1,48:29545448,1642823
x1,48:32848456,1642823
g1,48:32848456,1642823
x1,48:33054894,1642823
g1,48:33054894,1642823
x1,48:34706398,1642823
g1,48:34706398,1642823
x1,48:34912836,1642823
g1,48:34912836,1642823
x1,48:36151464,1642823
(1,48:36151464,1701805:32768,0,0
)
x1,48:37009984,1642823
g1,48:37009984,1642823
x1,48:37216422,1642823
g1,48:37216422,1642823
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,99:1184071,50915081:37890293,48125246,156081
[1,99: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,20678426:18617466,16974782,0
h1,61:1184071,20678426:0,0,0
(1,61:1184071,20678426:19240936,16974782,0
(1,61:1184071,20678426:19240936,16974782,0
(1,61:1184071,20678426:19240984,16974823,0
(1,61:1184071,20678426:19240984,16974823,0
(1,61:1184071,20678426:0,26115359,0
(1,61:1184071,20678426:29601792,26115359,0
)
k1,61:1184071,20678426:-29601792
)
)
)
)
)
g1,62:20425007,20678426
g1,62:20425007,20678426
)
(1,63:1184071,21010313:18617466,65536,0
h1,62:1184071,21010313:0,0,0
(1,62:1184071,21010313:18617466,65536,0
r1,62:19801537,21010313:18617466,65536,0
)
g1,63:19801537,21010313
g1,63:19801537,21010313
)
(1,66:1184071,21901603:18617466,320775,0
h1,65:1184071,21901603:0,0,0
k1,65:19125541,21901603:17941470
$1,65:19125541,21901603
x1,65:19801537,21901603
$1,65:19801537,21901603
g1,66:19801537,21901603
g1,66:19801537,21901603
)
(1,67:1184071,32209980:18617466,10988712,0
h1,66:1184071,32209980:0,0,0
(1,66:1184071,32209980:16376175,10988712,0
(1,66:1184071,32209980:16376175,10988712,0
(1,66:1184071,32209980:16376215,10988739,0
(1,66:1184071,32209980:16376215,10988739,0
(1,66:1184071,32209980:0,16905912,0
(1,66:1184071,32209980:25194414,16905912,0
)
k1,66:1184071,32209980:-25194414
)
)
)
)
)
k1,67:19801537,32209980:2241291
g1,67:19801537,32209980
)
(1,68:1184071,32541867:18617466,65536,0
h1,67:1184071,32541867:0,0,0
(1,67:1184071,32541867:18617466,65536,0
r1,67:19801537,32541867:18617466,65536,0
)
g1,68:19801537,32541867
g1,68:19801537,32541867
)
(1,72:1184071,33433157:18617466,489774,7534
h1,70:1184071,33433157:0,0,0
k1,70:15024358,33433157:13840287
x1,70:15861102,33433157
x1,70:16260097,33433157
x1,70:16818403,33433157
x1,70:17935015,33433157
g1,70:18114419,33433157
x1,70:18712195,33433157
g1,70:18891599,33433157
$1,70:18891599,33433157
x1,70:19091096,33433157
x1,70:19622133,33433157
$1,70:19622133,33433157
x1,70:19801537,33433157
g1,70:19801537,33433157
)
(1,72:1184071,41117086:18617466,7610859,0
(1,71:1184071,41117086:16718235,7610859,0
(1,71:1184071,41117086:16718235,7610859,0
(1,71:1184071,41117086:16718277,7610877,0
(1,71:1184071,41117086:16718277,7610877,0
(1,71:1184071,41117086:0,11709153,0
(1,71:1184071,41117086:25720668,11709153,0
)
k1,71:1184071,41117086:-25720668
)
)
)
)
)
k1,72:19801537,41117086:1899231
g1,72:19801537,41117086
)
(1,73:1184071,41448973:18617466,65536,0
h1,72:1184071,41448973:0,0,0
(1,72:1184071,41448973:18617466,65536,0
r1,72:19801537,41448973:18617466,65536,0
)
g1,73:19801537,41448973
g1,73:19801537,41448973
)
(1,77:1184071,42340263:18617466,489774,7534
h1,75:1184071,42340263:0,0,0
k1,75:14877962,42340263:13693891
x1,75:15714706,42340263
x1,75:16113701,42340263
x1,75:16672007,42340263
x1,75:17788619,42340263
g1,75:17968023,42340263
x1,75:18565799,42340263
g1,75:18745203,42340263
$1,75:18745203,42340263
x1,75:19622133,42340263
$1,75:19622133,42340263
x1,75:19801537,42340263
g1,75:19801537,42340263
)
(1,77:1184071,50836587:18617466,8423254,0
(1,76:1184071,50836587:19326452,8423254,0
(1,76:1184071,50836587:19326452,8423254,0
(1,76:1184071,50836587:19326499,8423275,0
(1,76:1184071,50836587:19326499,8423275,0
(1,76:1184071,50836587:0,12959007,0
(1,76:1184071,50836587:29733356,12959007,0
)
k1,76:1184071,50836587:-29733356
)
)
)
)
)
g1,77:20510523,50836587
g1,77:20510523,50836587
)
]
k1,99:20129218,50915081:327681
r1,99:20129218,50915081:0,48281327,156081
k1,99:20456898,50915081:327680
[1,99:20456898,50915081:18617466,48125246,0
(1,78:20456898,3510731:18617466,65536,0
h1,77:20456898,3510731:0,0,0
(1,77:20456898,3510731:18617466,65536,0
r1,77:39074364,3510731:18617466,65536,0
)
g1,78:39074364,3510731
g1,78:39074364,3510731
)
(1,82:20456898,4402021:18617466,489774,11840
h1,80:20456898,4402021:0,0,0
k1,80:34141463,4402021:13684565
x1,80:34978207,4402021
x1,80:35377202,4402021
x1,80:35935508,4402021
x1,80:37052120,4402021
g1,80:37231524,4402021
x1,80:37829300,4402021
g1,80:38008704,4402021
$1,80:38008704,4402021
x1,80:38567010,4402021
x1,80:38894960,4402021
$1,80:38894960,4402021
x1,80:39074364,4402021
g1,80:39074364,4402021
)
(1,82:20456898,14612956:18617466,10133559,0
(1,81:20456898,14612956:19454724,10133559,0
(1,81:20456898,14612956:19454724,10133559,0
(1,81:20456898,14612956:19454772,10133584,0
(1,81:20456898,14612956:19454772,10133584,0
(1,81:20456898,14612956:0,15590277,0
(1,81:20456898,14612956:29930701,15590277,0
)
k1,81:20456899,14612956:-29930700
)
)
)
)
)
g1,82:39911622,14612956
g1,82:39911622,14612956
)
(1,83:20456898,14944843:18617466,65536,0
h1,82:20456898,14944843:0,0,0
(1,82:20456898,14944843:18617466,65536,0
r1,82:39074364,14944843:18617466,65536,0
)
g1,83:39074364,14944843
g1,83:39074364,14944843
)
(1,86:20456898,15836133:18617466,489774,11840
h1,85:20456898,15836133:0,0,0
k1,85:34131413,15836133:13674515
x1,85:34968157,15836133
x1,85:35367152,15836133
x1,85:35925458,15836133
x1,85:37042070,15836133
g1,85:37221474,15836133
x1,85:37819250,15836133
g1,85:37998654,15836133
$1,85:37998654,15836133
x1,85:38357463,15836133
x1,85:38894960,15836133
$1,85:38894960,15836133
x1,85:39074364,15836133
g1,86:39074364,15836133
g1,86:39074364,15836133
)
(1,87:20456898,16749670:18617466,1582032,0
h1,86:20456898,16749670:0,0,0
(1,86:20456898,16749670:14452081,1582032,0
(1,86:20456898,16749670:14452081,1582032,0
(1,86:20456898,16749670:14452117,1582036,0
(1,86:20456898,16749670:14452117,1582036,0
(1,86:20456898,16749670:0,2433925,0
(1,86:20456898,16749670:22234235,2433925,0
)
k1,86:20456897,16749670:-22234236
)
)
)
)
)
k1,87:39074364,16749670:4165385
g1,87:39074364,16749670
)
(1,88:20456898,17081557:18617466,65536,0
h1,87:20456898,17081557:0,0,0
(1,87:20456898,17081557:18617466,65536,0
r1,87:39074364,17081557:18617466,65536,0
)
g1,88:39074364,17081557
g1,88:39074364,17081557
)
(1,96:20456898,17972847:18617466,489774,7534
h1,95:20456898,17972847:0,0,0
k1,95:34456497,17972847:13999599
x1,95:35293241,17972847
x1,95:35692236,17972847
x1,95:36250542,17972847
x1,95:37367154,17972847
g1,95:37546558,17972847
x1,95:38144334,17972847
g1,95:38323738,17972847
$1,95:38323738,17972847
x1,95:38523235,17972847
x1,95:38894960,17972847
$1,95:38894960,17972847
x1,95:39074364,17972847
g1,96:39074364,17972847
g1,96:39074364,17972847
)
(1,97:20456898,35129980:18617466,17829934,0
h1,96:20456898,35129980:0,0,0
(1,96:20456898,35129980:17915450,17829934,0
(1,96:20456898,35129980:17915450,17829934,0
(1,96:20456898,35129980:17915493,17829978,0
(1,96:20456898,35129980:17915493,17829978,0
(1,96:20456898,35129980:0,27430994,0
(1,96:20456898,35129980:27562557,27430994,0
)
k1,96:20456899,35129980:-27562556
)
)
)
)
)
k1,97:39074364,35129980:702016
g1,97:39074364,35129980
)
(1,98:20456898,35461867:18617466,65536,0
h1,97:20456898,35461867:0,0,0
(1,97:20456898,35461867:18617466,65536,0
r1,97:39074364,35461867:18617466,65536,0
)
g1,98:39074364,35461867
g1,98:39074364,35461867
)
]
(1,99:39074364,50915081:0,326516,156081
h1,99:39074364,50915081:358809,326516,156081
k1,99:39074364,50915081:-358809
)
)
]
(1,99:1184071,51395167:37890293,480086,0
(1,99:1184071,51395167:37890293,480086,0
k1,99:19949813,51395167:18765742
x1,99:20308622,51395167
k1,99:39074364,51395167:18765742
)
)
]
]
]
!10353
}1
!10
{2
[1,127:4736286,51395167:34338078,46658881,0
[1,127:4736286,4736286:0,0,0
(1,127:4736286,1118290:0,0,0
k1,127:4736286,1118290:3617996
)
]
[1,127:4736286,51395167:34338078,46658881,0
[1,127:1184071,51395167:37890293,50211096,0
[1,127:1184071,1184071:37890293,0,0
(1,127:1184071,1184071:37890293,0,0
h1,127:1184071,1184071:37890293,0,0
)
]
[1,127:1184071,50915081:37890293,49731010,0
(1,125:1184071,37345826:37890293,36161755,156081
[1,125:1184071,37345826:18617466,36161755,0
(1,101:1184071,1904967:18617466,489774,7534
h1,100:1184071,1904967:0,0,0
k1,100:14824861,1904967:13640790
x1,100:15661605,1904967
x1,100:16060600,1904967
x1,100:16618906,1904967
x1,100:17735518,1904967
g1,100:17914922,1904967
x1,100:18512698,1904967
g1,100:18692102,1904967
$1,100:18692102,1904967
x1,100:18891599,1904967
x1,100:19622133,1904967
$1,100:19622133,1904967
x1,100:19801537,1904967
g1,101:19801537,1904967
g1,101:19801537,1904967
)
(1,102:1184071,35310003:18617466,34077837,0
h1,101:1184071,35310003:0,0,0
(1,101:1184071,35310003:19069906,34077837,0
(1,101:1184071,35310003:19069906,34077837,0
(1,101:1184071,35310003:19069953,34077920,0
(1,101:1184071,35310003:19069953,34077920,0
(1,101:1184071,35310003:0,52428063,0
(1,101:1184071,35310003:29338665,52428063,0
)
k1,101:1184072,35310003:-29338664
)
)
)
)
)
g1,102:20253977,35310003
g1,102:20253977,35310003
)
(1,103:1184071,35641890:18617466,65536,0
h1,102:1184071,35641890:0,0,0
(1,102:1184071,35641890:18617466,65536,0
r1,125:19801537,35641890:18617466,65536,0
)
g1,103:19801537,35641890
g1,103:19801537,35641890
)
]
k1,125:20129218,37345826:327681
r1,125:20129218,37345826:0,36317836,156081
k1,125:20456898,37345826:327680
[1,125:20456898,37345826:18617466,36161755,0
(1,106:20456898,1904967:18617466,489774,7534
h1,105:20456898,1904967:0,0,0
k1,105:34310101,1904967:13853203
x1,105:35146845,1904967
x1,105:35545840,1904967
x1,105:36104146,1904967
x1,105:37220758,1904967
g1,105:37400162,1904967
x1,105:37997938,1904967
g1,105:38177342,1904967
$1,105:38177342,1904967
x1,105:38894960,1904967
$1,105:38894960,1904967
x1,105:39074364,1904967
g1,106:39074364,1904967
g1,106:39074364,1904967
)
(1,107:20456898,22482712:18617466,21250546,0
h1,106:20456898,22482712:0,0,0
(1,106:20456898,22482712:19283694,21250546,0
(1,106:20456898,22482712:19283694,21250546,0
(1,106:20456898,22482712:19283742,21250598,0
(1,106:20456898,22482712:19283742,21250598,0
(1,106:20456898,22482712:0,32693535,0
(1,106:20456898,22482712:29667574,32693535,0
)
k1,106:20456898,22482712:-29667574
)
)
)
)
)
g1,107:39740592,22482712
g1,107:39740592,22482712
)
(1,108:20456898,22814599:18617466,65536,0
h1,107:20456898,22814599:0,0,0
(1,107:20456898,22814599:18617466,65536,0
r1,125:39074364,22814599:18617466,65536,0
)
g1,108:39074364,22814599
g1,108:39074364,22814599
)
(1,113:20456898,23705889:18617466,484392,107642
h1,110:20456898,23705889:0,0,0
$1,110:20456898,23705889
x1,110:20815707,23705889
(1,110:20815707,23813531:294912,350748,0
x1,110:21077851,23813531
)
x1,110:21469428,23705889
(1,110:21469428,23813531:294912,350748,0
x1,110:21731572,23813531
)
x1,110:21963837,23705889
(1,110:21963837,23813531:294912,350748,0
x1,110:22225981,23813531
)
x1,110:22458246,23705889
(1,110:22458246,23813531:294912,350748,0
x1,110:22720390,23813531
)
g1,110:22952493,23705889
x1,110:23644277,23705889
g1,110:23843612,23705889
x1,110:24202421,23705889
(1,110:24202421,23813531:294912,350748,0
x1,110:24464565,23813531
)
x1,110:24856142,23705889
(1,110:24856142,23813531:294912,350748,0
x1,110:25118286,23813531
)
x1,110:25350551,23705889
(1,110:25350551,23813531:294912,350748,0
x1,110:25612695,23813531
)
x1,110:25844960,23705889
(1,110:25844960,23813531:294912,350748,0
x1,110:26107104,23813531
)
g1,110:26339207,23705889
x1,110:27030991,23705889
g1,110:27230326,23705889
x1,110:27589135,23705889
(1,110:27589135,23813531:294912,350748,0
x1,110:27851279,23813531
)
x1,110:28242856,23705889
(1,110:28242856,23813531:294912,350748,0
x1,110:28505000,23813531
)
x1,110:28737265,23705889
(1,110:28737265,23813531:294912,350748,0
x1,110:28999409,23813531
)
x1,110:29231674,23705889
(1,110:29231674,23813531:294912,350748,0
x1,110:29493818,23813531
)
g1,110:29725921,23705889
x1,110:30417705,23705889
g1,110:30617040,23705889
x1,110:30975849,23705889
(1,110:30975849,23813531:294912,350748,0
x1,110:31237993,23813531
)
x1,110:31629570,23705889
(1,110:31629570,23813531:294912,350748,0
x1,110:31891714,23813531
)
x1,110:32123979,23705889
(1,110:32123979,23813531:294912,350748,0
x1,110:32386123,23813531
)
x1,110:32618388,23705889
(1,110:32618388,23813531:294912,350748,0
x1,110:32880532,23813531
)
g1,110:33112635,23705889
x1,110:33804419,23705889
g1,110:34003754,23705889
x1,110:34362563,23705889
(1,110:34362563,23813531:294912,350748,0
x1,110:34624707,23813531
)
x1,110:35016284,23705889
(1,110:35016284,23813531:294912,350748,0
x1,110:35278428,23813531
)
x1,110:35510693,23705889
(1,110:35510693,23813531:294912,350748,0
x1,110:35772837,23813531
)
x1,110:36005102,23705889
(1,110:36005102,23813531:294912,350748,0
x1,110:36267246,23813531
)
$1,110:36300014,23705889
x1,110:36499511,23705889
g1,110:36721972,23705889
k1,111:38157966,23705889:1435994
$1,111:38157966,23705889
x1,111:38516775,23705889
x1,111:38894960,23705889
$1,111:38894960,23705889
x1,111:39074364,23705889
g1,111:39074364,23705889
)
(1,113:20456898,29736863:18617466,5857796,0
(1,112:20456898,29736863:18685087,5857796,0
(1,112:20456898,29736863:18685087,5857796,0
(1,112:20456898,29736863:18685133,5857810,0
(1,112:20456898,29736863:18685133,5857810,0
(1,112:20456898,29736863:0,9012101,0
(1,112:20456898,29736863:28746629,9012101,0
)
k1,112:20456899,29736863:-28746628
)
)
)
)
)
g1,113:39141985,29736863
g1,113:39141985,29736863
)
(1,114:20456898,30068750:18617466,65536,0
h1,113:20456898,30068750:0,0,0
(1,113:20456898,30068750:18617466,65536,0
r1,125:39074364,30068750:18617466,65536,0
)
g1,114:39074364,30068750
g1,114:39074364,30068750
)
(1,117:20456898,30960040:18617466,489774,7534
h1,116:20456898,30960040:0,0,0
k1,116:35494885,30960040:15037987
x1,116:36610782,30960040
g1,116:36790186,30960040
x1,116:38384017,30960040
x1,116:39074364,30960040
g1,117:39074364,30960040
g1,117:39074364,30960040
)
(1,118:20456898,37000187:18617466,6712948,0
h1,117:20456898,37000187:0,0,0
(1,117:20456898,37000187:18471299,6712948,0
(1,117:20456898,37000187:18471299,6712948,0
(1,117:20456898,37000187:18471344,6712965,0
(1,117:20456898,37000187:18471344,6712965,0
(1,117:20456898,37000187:0,10327736,0
(1,117:20456898,37000187:28417720,10327736,0
)
k1,117:20456898,37000187:-28417720
)
)
)
)
)
k1,118:39074364,37000187:146167
g1,118:39074364,37000187
)
(1,119:20456898,37332074:18617466,65536,0
h1,118:20456898,37332074:0,0,0
(1,118:20456898,37332074:18617466,65536,0
r1,125:39074364,37332074:18617466,65536,0
)
g1,119:39074364,37332074
g1,119:39074364,37332074
)
]
(1,125:39074364,37345826:0,326516,156081
h1,125:39074364,37345826:358809,326516,156081
k1,125:39074364,37345826:-358809
)
)
]
(1,127:1184071,51395167:37890293,480086,0
(1,127:1184071,51395167:37890293,480086,0
k1,127:19949813,51395167:18765742
x1,127:20308622,51395167
k1,127:39074364,51395167:18765742
)
)
]
]
]
!7151
}2
!9
{3
[1,162:4736286,51395167:34338078,46658881,9687
[1,162:4736286,4736286:0,0,0
(1,162:4736286,1118290:0,0,0
k1,162:4736286,1118290:3617996
)
]
[1,162:4736286,51395167:34338078,46658881,9687
[1,162:1184071,51395167:37890293,50211096,9687
[1,162:1184071,1184071:37890293,0,0
(1,162:1184071,1184071:37890293,0,0
h1,162:1184071,1184071:37890293,0,0
)
]
[1,162:1184071,50915081:37890293,49731010,0
(1,129:1184071,1904967:37890293,65536,0
h1,128:1184071,1904967:0,0,0
(1,128:1184071,1904967:37890293,65536,0
r1,128:39074364,1904967:37890293,65536,0
)
g1,129:39074364,1904967
g1,129:39074364,1904967
)
(1,130:1184071,2796257:37890293,489774,7534
h1,129:1184071,2796257:0,0,0
k1,129:34496683,2796257:33312612
x1,129:35333427,2796257
x1,129:37407340,2796257
g1,129:37586744,2796257
x1,129:38184520,2796257
g1,129:38363924,2796257
$1,129:38363924,2796257
x1,129:38882044,2796257
$1,129:38894960,2796257
x1,129:39074364,2796257
g1,130:39074364,2796257
g1,130:39074364,2796257
)
(1,132:1184071,38580283:37890293,36643295,0
h1,130:1184071,38580283:0,0,0
(1,130:1184071,38580283:37840510,36643295,0
(1,130:1184071,38580283:37840510,36643295,0
(1,130:1184071,38580283:37840602,36643385,0
(1,130:1184071,38580283:37840602,36643385,0
(1,130:1184071,38580283:0,56374968,0
(1,130:1184071,38580283:58216858,56374968,0
)
k1,130:1184073,38580283:-58216856
)
)
)
)
)
k1,132:39074364,38580283:49783
g1,132:39074364,38580283
)
]
(1,162:1184071,51395167:37890293,480086,9687
(1,162:1184071,51395167:37890293,480086,9687
k1,162:19949813,51395167:18765742
x1,162:20308622,51395167
k1,162:39074364,51395167:18765742
)
)
]
]
]
!1600
}3
Input:70:C:\drorbn\AcademicPensieve\Projects\OneCo-1604\AoBranch\ImplementationShowcase.aux
!101
Postamble:
Count:615
!26
Post scriptum: