Objective:

Minimize: flag(3:3) + flag(0:3)

\[F_{3}^{3} + F_{0}^{3}\]

where $F_{0}^{3}=$ and $F_{3}^{3}=$ .

Flag expression of the objective.
1
0.5
0.4
0.25
0.35
0.2
0.35
0.35
0.25
0.3
0.2
0.3
0.3
0.3
0.5
0.2
0.4
0.25
0.35
0.2
0.35
0.2
0.3
0.2
0.4
0.2
0.4
0.15
0.2
0.3
0.15
0.25
0.4
0.25
0.15
0.35
0.25
0.45
0.25
0.25
0.25
0.4
0.15
0.25
0.15
0.3
0.15
0.35
0.3
0.35
0.2
0.25
0.55
0.25
0.2
0.35
0.35
0.55
0.3
0.15
0.2
0.2
0.3
0.3
0.3
0.5
0.35
0.55
0.15
0.25
0.45
0.35
0.65
0.25
0.2
0.2
0.35
0.2
0.2
0.15
0.25
0.2
0.1
0.5
0.3
0.35
0.4
0.1
0.2
0.3
0.3
0.5
0.1
0.2
0.1
0.3
0.65
0.2
0.1
0.4
0.4
0.8
0.8
0.35
0.25
0.3
0.45
0.2
0.15
0.2
0.15
0.25
0.1
0.2
0.6
0.4
0.2
0.35
0.2
0.2
0.15
0.25
0.3
0.25
0.15
0.3
0.2
0.1
0.3
0.2
0.4
0.15
0.25
0.25
0.35
0.15
0.1
0.25
0.1
0.15
0.25
0.4
0.25
0.35
0.45
0.3
0.6
0.1
0.3
0.55
0.1
0.1
0.4
0.4
0.5
1

Inequalities

Σ F = 1

\[\sum_{F\in S_1\subseteq\mathcal{F}_{6}}F = 1\]

See the definition of $S_1$.

$S_1$ contains the following flags:

4.999999551423858
Contribution.
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
4.999999551423858
is at least 4.999999551423858.

flag(:6) ≥ 0

\[\forall H\in \mathcal{F}_{6},\quad H \geq 0\]

0.00000004978461920251637 0.000000028646046227995404 0.00000006591236612625446 0.000000035777816961523544 0.00000000631418390917427 0.00000005333717467438494 0.0000000255879388379965 0.00000008674533091831263 0.00000006577875345173516 0.00000002603897793970553 0.00000035971010851470535 0.00000002558940665796642 0.00000005639272228550923 0.00000002505829423950881 0.00000005188588010852011 0.0000005506327114989215 0.0000001221311892946382 0.0000009480388082802445 0.00000008914860480505706 0.00000017026581842976961 0.00000004102879363418542 0.00000013210812128490265 0.0000008666175071696118 0.00000000007351698059646242 0.00000007021999261220558 0.000000020394920043272444 0.000000008327876234722068 0.000000002859306061677101 0.00000024342677618572966 0.000000045695291931147855 0.00000012809571054258614 0.00000007749287087498113 0.00000039102967043276676 0.00000035651105844931083 0.00000002771291175768409 0.000000011055671020555469 0.000000043918641533607906 0.00000017849461281712234 0.00000026465170618515656 0.00000023169452488324668 0.000000041169135956365005 0.00000030515754617038767 0.00000034062811199966477 0.00000006198841957165017 0.00000016043604024478422 0.00000122322771234508 0.000000036296336753891084 0.0000001456712345295123 0.000000023656684147879594 0.00000004035962147278254 0.00000021631344744976173 0.00000004348585781889911 0.00000005981591373893464 0.00000025814628168218453 0.00000006246758646131535 0.00000022039719396370684 0.00000076798773483543 0.0000006595067853447493 0.00000021364655237130374 0.0000006036016385894904 0.00000012909702044197123 0.00000037028808646918453 0.00000015230760778410223 0.00000034036811119797484 0.0000006022802399892662 0.00000025134099571389904 0.0000000342949914344318 0.00000000022664350412960843 0.00000034090948916156624 0.00000009895036765967239 0.000000390978162453122 0.00000020249395344024066 0.0000000017665952000753994 0.00000000006646248946953076 0.00000000013864461317293228 0.0000005070748434924712 0.00000020182327670177594 0.00000003738252799662677 0.0000001956394529495647 0.0000007203087948409187 0.0000004939065918520022 0.00000008365680683255999 0.000000714437951542949 0.00000000017181442882112927 0.00000016831283090737258 0.00000012981833132241215
Contribution.
0.00000004978461920251637
0.000000028646046227995404
0.00000006591236612625446
0.000000035777816961523544
0.00000005333717467438494
0.0000000255879388379965
0.00000008674533091831263
0.00000006577875345173516
0.00000002603897793970553
0.00000035971010851470535
0.00000002558940665796642
0.00000005639272228550923
0.00000002505829423950881
0.00000005188588010852011
0.0000005506327114989215
0.0000001221311892946382
0.0000009480388082802445
0.00000008914860480505706
0.00000017026581842976961
0.00000004102879363418542
0.00000013210812128490265
0.0000008666175071696118
0.00000007021999261220558
0.000000020394920043272444
0.00000024342677618572966
0.000000045695291931147855
0.00000012809571054258614
0.00000007749287087498113
0.00000039102967043276676
0.00000035651105844931083
0.00000002771291175768409
0.000000011055671020555469
0.000000043918641533607906
0.00000017849461281712234
0.00000026465170618515656
0.00000023169452488324668
0.000000041169135956365005
0.00000030515754617038767
0.00000034062811199966477
0.00000006198841957165017
0.00000016043604024478422
0.00000122322771234508
0.000000036296336753891084
0.0000001456712345295123
0.000000023656684147879594
0.00000004035962147278254
0.00000021631344744976173
0.00000004348585781889911
0.00000005981591373893464
0.00000025814628168218453
0.00000006246758646131535
0.00000022039719396370684
0.00000076798773483543
0.0000006595067853447493
0.00000021364655237130374
0.0000006036016385894904
0.00000012909702044197123
0.00000037028808646918453
0.00000015230760778410223
0.00000034036811119797484
0.0000006022802399892662
0.00000025134099571389904
0.0000000342949914344318
0.00000034090948916156624
0.00000009895036765967239
0.000000390978162453122
0.00000020249395344024066
0.0000005070748434924712
0.00000020182327670177594
0.00000003738252799662677
0.0000001956394529495647
0.0000007203087948409187
0.0000004939065918520022
0.00000008365680683255999
0.000000714437951542949
0.00000016831283090737258
0.00000012981833132241215
is at least 0.

Cauchy-Schwarz

Mul. and unlabel: 4x4; Type of size 2 (id 0) -> Empty type (id 0) invariant

0.08333333590986054 -0.06345759299098706 -0.06842387835721651 -0.07339042565286844 0.07836448906716423 0.0733905699041188 -0.07339534623844825 0.07339542750027789 -0.0733901547911301 0.06842133653138689 -0.0783618610016689 0.07339548834846712 0.06344723741577805 -0.08333344475834009 -0.06345759299098706 0.7102148115676659 0.5485293651961567 0.3868334593471884 -0.22514263601529633 -0.38682756753323394 0.38684398945529264 -0.3868391259391833 0.3868461550057984 -0.5485290636735953 0.22514697604731138 -0.38683292378864587 -0.7102205352679531 0.06345234168264474 -0.06842387835721651 0.5485293651961567 0.4285067406885262 0.3084763459401547 -0.18844707924257045 -0.30847196362735846 0.30848243388527913 -0.30847880675046385 0.30848579480391153 -0.4285073969749791 0.18845119244889336 -0.3084741676165319 -0.5485371373421158 0.06841997969029208 -0.07339042565286844 0.3868334593471884 0.3084763459401547 0.23011416367556867 -0.15174910478492348 -0.23011128835043076 0.23011577954900922 -0.2301133884729075 0.23012036202448316 -0.3084779666946922 0.1517530105005267 -0.2301103060955629 -0.38684331659597565 0.07338788997836136 0.07836448906716423 -0.22514263601529633 -0.18844707924257045 -0.15174910478492348 0.11505802823328624 0.15174774244676345 -0.15175542092216265 0.15175426665952593 -0.15175207350561543 0.1884451026003748 -0.11505714336406284 0.1517527619952313 0.22513631501687437 -0.07836325780476117 0.0733905699041188 -0.38682756753323394 -0.30847196362735846 -0.23011128835043076 0.15174774244676345 0.2301084259246598 -0.23011291324078237 0.2301105200575262 -0.23011748283383623 0.3084735981654114 -0.15175163529771776 0.23010743728528532 0.38683744322806457 -0.07338802378016589 -0.07339534623844825 0.38684398945529264 0.30848243388527913 0.23011577954900922 -0.15175542092216265 -0.23011291324078237 0.23012351135496412 -0.23012111549036773 0.2301219919581177 -0.3084810230547907 0.1517562720383729 -0.23011804057612678 -0.3868416929037511 0.07339276719790451 0.07339542750027789 -0.3868391259391833 -0.30847880675046385 -0.2301133884729075 0.15175426665952593 0.2301105200575262 -0.23012111549036773 0.23011872274613787 -0.23011959963871598 0.3084773924897912 -0.151755119105568 0.23011565073501192 0.3868368238164118 -0.07339285192596758 -0.0733901547911301 0.3868461550057984 0.30848579480391153 0.23012036202448316 -0.15175207350561543 -0.23011748283383623 0.2301219919581177 -0.23011959963871598 0.23012656511843368 -0.308487407454311 0.15175597547605515 -0.230116517789949 -0.38685598775370267 0.07338761719448432 0.06842133653138689 -0.5485290636735953 -0.4285073969749791 -0.3084779666946922 0.1884451026003748 0.3084735981654114 -0.3084810230547907 0.3084773924897912 -0.308487407454311 0.4285095874581991 -0.18845071956024365 0.3084727487080763 0.5485429302764437 -0.06841743870883667 -0.0783618610016689 0.22514697604731138 0.18845119244889336 0.1517530105005267 -0.11505714336406284 -0.15175163529771776 0.1517562720383729 -0.151755119105568 0.15175597547605515 -0.18845071956024365 0.11505779210370475 -0.15175360739038957 -0.22514670629443034 0.07836065823266566 0.07339548834846712 -0.38683292378864587 -0.3084741676165319 -0.2301103060955629 0.1517527619952313 0.23010743728528532 -0.23011804057612678 0.23011565073501192 -0.230116517789949 0.3084727487080763 -0.15175360739038957 0.2301125845705336 0.3868306048912197 -0.07339291059405705 0.06344723741577805 -0.7102205352679531 -0.5485371373421158 -0.38684331659597565 0.22513631501687437 0.38683744322806457 -0.3868416929037511 0.3868368238164118 -0.38685598775370267 0.5485429302764437 -0.22514670629443034 0.3868306048912197 0.7102505748330048 -0.06344202324080592 -0.08333344475834009 0.06345234168264474 0.06841997969029208 0.07338788997836136 -0.07836325780476117 -0.07338802378016589 0.07339276719790451 -0.07339285192596758 0.07338761719448432 -0.06841743870883667 0.07836065823266566 -0.07339291059405705 -0.06344202324080592 0.08333357007283371
Eigenvalue decomposition 0.00000000000015997260572800916 0.0000000000005769033867245761 0.0000000000020830288952163184 0.000000000004302858329364507 0.000000000006301821500302858 0.000000000019180307763838027 0.000000000038586775328045115 0.00000000015884729510152874 0.000000007527146629712543 0.000000010721469684162899 0.00000005109118587420264 0.000022812690244412003 0.2539603852765692 3.8009851467207234 -0.09090479620722247 -0.03608512975101741 -0.16648902779666702 0.05450368853843524 -0.05681202242432712 0.21490543968744993 0.26646089242983634 -0.6202270855518102 -0.2056588175784665 -0.24210666618740426 0.2869012975696329 0.0010182353039842348 0.5170735339038849 -0.06372061186405016 -0.16986062479131842 -0.07061468528995715 0.0432012820631124 0.2873695044722039 0.045374322253424915 -0.10945694499829178 -0.30676787484440565 0.3092783084496021 -0.09202852177062344 -0.11221961652236022 0.3453788615409075 -0.5159149209575699 0.301001240037049 0.425200067180837 0.2516043504499121 0.5714721328954818 -0.13732474792777538 -0.3783094205522526 -0.0732058444018673 0.09234874808526725 0.38799571910378344 0.17681262172503634 -0.043041762785859077 0.2783280944419462 0.18690006908500897 -0.12949928428864052 0.09650830698206474 0.33483324901167466 -0.08397443341046837 -0.2346811722658807 0.6970338729081759 -0.290306269132868 0.12352005711648917 0.005444723125553265 0.24828562497291587 0.05985278907416197 -0.15224334565180853 -0.20172300993403586 0.29134685947301087 0.25893340177275803 -0.10799746541463605 0.24446057748331693 0.5606070957305791 -0.5116930856060552 -0.19848738618264994 -0.05012367180426858 -0.08251762582980317 -0.08559181316125469 0.16794295793256536 0.36716871138688123 0.1753433549292316 -0.04276068499283783 0.18476361561432067 0.12914805483127914 0.31255992847391617 -0.1540880842543056 -0.3603906561259099 -0.1770240085797085 0.13027284956238516 -0.031061659952131497 0.21791708993467307 -0.1449415803119696 0.29380436911361735 -0.08335390215340746 0.43610523168234167 0.5485972287345527 0.1712250999087069 -0.2592129431232927 0.10800461063271766 -0.24445727662066596 -0.04975253619691634 -0.09159633866596945 -0.041369610536635015 -0.033361922881578736 0.026492039172441324 0.4616532172026547 0.23235477308852734 0.020776117977179057 0.5726292848834722 -0.4301945121800252 -0.2590442309009806 -0.2579845559478803 -0.10802710833381292 0.244464736804143 -0.27584550896323856 0.07886790690385447 0.06840212885913964 0.21262335413140737 -0.2088547267448468 0.670025411476606 -0.03971942235520259 0.4134237620492505 -0.07201934878879734 0.18261511052003182 0.16177131926216787 0.2580941709317191 0.10803279682699901 -0.24446199471164312 0.2645013826548355 0.13999907445224327 0.19256994500902347 0.33843795349972666 -0.3358127628606546 -0.023491716737862586 -0.21409263082807403 -0.3151611652215297 0.47348245496248653 0.1567335707410775 0.33715093979650157 0.2578471066926645 -0.10798224706894027 0.24446770516819974 0.3599348486785616 0.24808929182996686 0.10260385461593546 0.021569713217873543 0.6620632553055921 0.2349285982230759 -0.2285987098926988 -0.047332543653532504 0.06218090190485292 -0.1273524174509189 0.3029731517909089 -0.12876100343495825 -0.09652899850318167 -0.3348339697185222 -0.24000152627480204 -0.2548312169993123 -0.4911524907649445 -0.4596517467988193 0.03684766021355003 0.12136233391558701 -0.3103544179920769 -0.07744732005130235 0.05451635525905534 0.04391330828985347 0.40458868832167383 0.1285740568335936 -0.31253389216746713 0.1540914085991859 -0.32232715292306857 0.3915536419218171 -0.11297916180058146 -0.03692612650397664 -0.037187185080008775 -0.4095062856306146 0.0753699276322928 0.24293570845047957 0.3005508646516955 -0.47039415877343566 0.21169588895427865 0.25891559516850904 0.10803972858862654 -0.24445847991749015 0.09340925730479496 -0.003699532200680545 0.17135604336297777 -0.1798557246274495 -0.5550764373245914 -0.0006415228548789327 0.004653477375980523 -0.037538754793599666 -0.0865111749470487 -0.15428575525010726 0.2256611311739183 -0.516081637029548 -0.30109243760562165 -0.4252068169684083 -0.008033608467180592 -0.06973880631829206 -0.26827878089009377 0.5265516125810137 0.11631710684930789 -0.06868183970810124 0.5024920360459139 0.060964803706239155 -0.2033255621557916 -0.04052454259158392 0.2386699984493361 0.001276006607951999 -0.51707985468859 0.0637176722196912
Eigenvectors λ = 0.000000010721469684162899

-0.24210666618740426
-0.11221961652236022
0.2783280944419462
0.2783280944419462
-0.20172300993403586
-0.04276068499283783
0.5485972287345527
-0.4301945121800252
0.18261511052003182
0.1567335707410775
-0.1273524174509189
0.04391330828985347
-0.04276068499283783
0.5485972287345527
-0.4301945121800252
-0.1273524174509189
0.04391330828985347
-0.47039415877343566
-0.15428575525010726
-0.04052454259158392

λ = 0.00000005109118587420264

0.2869012975696329
0.3453788615409075
0.18690006908500897
0.18690006908500897
0.29134685947301087
0.18476361561432067
0.1712250999087069
-0.2590442309009806
0.16177131926216787
0.33715093979650157
0.3029731517909089
0.40458868832167383
0.18476361561432067
0.1712250999087069
-0.2590442309009806
0.3029731517909089
0.40458868832167383
0.21169588895427865
0.2256611311739183
0.2386699984493361

λ = 0.000022812690244412003

0.0010182353039842348
-0.5159149209575699
-0.12949928428864052
-0.12949928428864052
0.25893340177275803
0.12914805483127914
-0.2592129431232927
-0.2579845559478803
0.2580941709317191
0.2578471066926645
-0.12876100343495825
0.1285740568335936
0.12914805483127914
-0.2592129431232927
-0.2579845559478803
-0.12876100343495825
0.1285740568335936
0.25891559516850904
-0.516081637029548
0.001276006607951999

λ = 0.2539603852765692

0.5170735339038849
0.301001240037049
0.09650830698206474
0.09650830698206474
-0.10799746541463605
0.31255992847391617
0.10800461063271766
-0.10802710833381292
0.10803279682699901
-0.10798224706894027
-0.09652899850318167
-0.31253389216746713
0.31255992847391617
0.10800461063271766
-0.10802710833381292
-0.09652899850318167
-0.31253389216746713
0.10803972858862654
-0.30109243760562165
-0.51707985468859

λ = 3.8009851467207234

-0.06372061186405016
0.425200067180837
0.33483324901167466
0.33483324901167466
0.24446057748331693
-0.1540880842543056
-0.24445727662066596
0.244464736804143
-0.24446199471164312
0.24446770516819974
-0.3348339697185222
0.1540914085991859
-0.1540880842543056
-0.24445727662066596
0.244464736804143
-0.3348339697185222
0.1540914085991859
-0.24445847991749015
-0.4252068169684083
0.0637176722196912

Contribution.
15.000000463774898
-8.806851078344213
-6.284010397218963
5.483150959525011
-1.8010687738032845
12.807006850201052
3.6421153008310596
0.11941120672160838
6.990689966042638
1.920489294611578
10.045536245887067
3.4280742180058086
6.951168869657685
3.0948063098547367
-2.2842937610249483
21.091220452402027
9.045477182227135
9.577746699725381
4.642037339867465
10.125098647167153
4.5625784689959605
-3.840863168487699
-2.428019667531146
11.966097555159607
-2.7766337765400837
12.886545050320397
5.697006887275804
1.6420655739745942
0.8409973640949004
-2.507478530437775
6.990560069167529
4.308822641948225
5.776640860967583
6.483061722018791
-5.56268547547217
-2.56258002444374
4.975454831810738
3.8958497246904016
-4.308706554957027
-6.895876249709193
-7.403546515042271
1.4128483655403783
-8.816303966036962
-9.5776067133602
2.9754082326283613
-0.9999234776689148
4.895905055291518
0.1987031465844853
-0.9203644112185971
1.8011984401988756
0.9204495837361704
7.403582674674908
2.357662891824817
3.6422082497079145
-13.807105869629408
-3.642114718560706
-2.6419409795091173
2.641964039221009
-8.6172625395771
3.5626059759272977
2.761463569018156
-3.7613580316145074
-1.920375557515023
2.1743072934098775
-3.094718233108517
7.284301057841899
-1.642131399695093
3.642100216863768
-6.896005337868862
6.895928505922352
0.10379482022247677
3.8013231564194183
1.880655797583976
-6.482925191044757
-1.9205191853865204
-2.9999137338818267
3.721725584837453
1.84080613601914
-1.840966429032834
-8.990645642272586
-5.562520165062465
2.8409430624773044
-15.632780013407615
3.079472606254498
1.9999143879536703
1.8808328912548338
1.5871747331528274
-3.174508382118736
1.9998837230610529
3.507669548082522
7.935720846409159
1.9204438276595324
-18.98129113346375
-12.965989992946339
12.63264893708632
-2.094632184393999
6.119165570415224
12.807282514458112
0.1742072461025153
-2.697386647830129
9.284472799747764
1.0000028408740045
10.000008842337383
4.642176170273387
-4.975526254304533
-6.93561906505785
4.721838880285382
-13.886805882245946
-12.244478034237114
-11.12513162003272
-5.9753450567096715
-7.736677500313986
-1.7464030509842439
-2.8409024604573334
6.174472624828182
-7.52270733468532
-16.886678802748342
5.64217198422061
-22.091627087075302
-13.807110280120021
6.816378991839008
-3.642095188146314
4.094732367395114
-5.483017573534365
10.244380194573953
-1.1742638954795024
-11.045627723142765
15.981339063685462
2.920580572449742
15.886577407336514
2.507563716503071
-4.975557423376344
5.562572668695061
-6.990651944187842
-1.721670376261247
3.9753233931931002
-6.761334871687934
6.070217775987581
-1.2539820166868807
-3.642254720389003
-6.070276438520059
0.4923162540428238
7.736858588800635
-2.642017583245771
-0.7216050242679044
9.617666530454395
0.825800935238892
-27.852718794910245
-5.95092406969912
3.3574722205369376
24.85299444650063
3.7610734033968285
10.523012579744067
-6.045942669715625
13.807410681297847

Mul. and unlabel: 4x4; Type of size 2 (id 1) -> Empty type (id 1) invariant

0.08333263441668347 -0.06347428873959585 -0.06843660114251533 -0.07339903020385637 0.07836811837736571 0.07339901256938765 -0.07340343910270286 0.07340356394046745 -0.073398862575558 0.06843424276104465 -0.0783659133154674 0.07340355741599393 0.06346483993792358 -0.08333297675838018 -0.06347428873959585 0.7102270481634617 0.5485321979022658 0.386833853773701 -0.22515807204071947 -0.3868361430667417 0.38684986424727136 -0.38684651145901666 0.3868416481120298 -0.5485329673141086 0.225149389857468 -0.38684713829432926 -0.7102213989798366 0.06345698600394346 -0.06843660114251533 0.5485321979022658 0.4285042580359843 0.30847372980170057 -0.18845721562324755 -0.30847543881859724 0.30848380007590026 -0.3084813073051763 0.30847953560287833 -0.4285057649765543 0.18845167723935857 -0.30848178546159777 -0.5485316901990256 0.06842371837976495 -0.07339903020385637 0.386833853773701 0.30847372980170057 0.23011193519314574 -0.15175556698321616 -0.2301130582617188 0.23011603776064074 -0.2301144132367615 0.230115744028972 -0.30847598032999113 0.15175318802260904 -0.23011474046448874 -0.3868385021020966 0.07339055912714745 0.07836811837736571 -0.22515807204071947 -0.18845721562324755 -0.15175556698321616 0.11506456137575516 0.15175612881164838 -0.15176288245572403 0.1517621334913687 -0.15175739401838165 0.18845563974609644 -0.11506073315084019 0.15176228706778513 0.2251495809910583 -0.07836405509404026 0.07339901256938765 -0.3868361430667417 -0.30847543881859724 -0.2301130582617188 0.15175612881164838 0.2301141921561017 -0.2301171759423345 0.23011555159257005 -0.23011687537248088 0.3084776955845195 -0.1517537361725563 0.2301158796360539 0.3868407964245056 -0.0733905428598962 -0.07340343910270286 0.38684986424727136 0.30848380007590026 0.23011603776064074 -0.15176288245572403 -0.2301171759423345 0.23012624668874984 -0.23012462500264552 0.2301198566783251 -0.30848300940194967 0.15175743925116256 -0.23012493794695676 -0.38684234434070475 0.07339496772447833 0.07340356394046745 -0.38684651145901666 -0.3084813073051763 -0.2301144132367615 0.1517621334913687 0.23011555159257005 -0.23012462500264552 0.23012301105832358 -0.2301182284639012 0.30848051493664147 -0.1517566874133144 0.23012332164845758 0.3868389663548564 -0.07339508470977557 -0.073398862575558 0.3868416481120298 0.30847953560287833 0.230115744028972 -0.15175739401838165 -0.23011687537248088 0.2301198566783251 -0.2301182284639012 0.23011956114381493 -0.30848179194691067 0.1517550060232818 -0.230118557405926 -0.3868463132648909 0.07339039604551607 0.06843424276104465 -0.5485329673141086 -0.4285057649765543 -0.30847598032999113 0.18845563974609644 0.3084776955845195 -0.30848300940194967 0.30848051493664147 -0.30848179194691067 0.42850880422955956 -0.18845161980356367 0.30848100144137114 0.5485385660931684 -0.06842136209200206 -0.0783659133154674 0.225149389857468 0.18845167723935857 0.15175318802260904 -0.11506073315084019 -0.1517537361725563 0.15175743925116256 -0.1517566874133144 0.1517550060232818 -0.18845161980356367 0.11505844635005699 -0.15175684842315287 -0.22514698842974776 0.07836185122282116 0.07340355741599393 -0.38684713829432926 -0.30848178546159777 -0.23011474046448874 0.15176228706778513 0.2301158796360539 -0.23012493794695676 0.23012332164845758 -0.230118557405926 0.30848100144137114 -0.15175684842315287 0.2301236359415522 0.38683962899350105 -0.07339508528778514 0.06346483993792358 -0.7102213989798366 -0.5485316901990256 -0.3868385021020966 0.2251495809910583 0.3868407964245056 -0.38684234434070475 0.3868389663548564 -0.3868463132648909 0.5485385660931684 -0.22514698842974776 0.38683962899350105 0.7102401653722671 -0.06344755987392409 -0.08333297675838018 0.06345698600394346 0.06842371837976495 0.07339055912714745 -0.07836405509404026 -0.0733905428598962 0.07339496772447833 -0.07339508470977557 0.07339039604551607 -0.06842136209200206 0.07836185122282116 -0.07339508528778514 -0.06344755987392409 0.08333333588938917
Eigenvalue decomposition 0.000000000000021876599358187145 0.0000000000006916682258354777 0.000000000001437360124416059 0.0000000000036064383803382157 0.000000000005222702682374274 0.000000000019255425361718685 0.000000000027451677818678564 0.00000000014580120970887375 0.000000005239828116157499 0.000000011610817351358629 0.00000003318165714213263 0.000022857044570965667 0.25394940777604297 3.801015520958439 0.19412529386980887 -0.18134574865586095 -0.1636410849490726 0.054825557522105925 -0.0863284781575021 0.053309621754417995 0.4898811848618513 -0.23066566322908286 -0.21170015169232562 -0.5285547178293188 0.023579081704255753 0.00047653346445832137 0.5170641481299962 -0.06373005939579127 0.008942702436393165 -0.014804682096344059 0.07252814107642838 0.1505067762220087 -0.41414769341201113 -0.2624104377661091 -0.3498585113634865 -0.11932891292280398 -0.10616601289056546 0.06480659648434478 0.2024516089400017 -0.5166277417015067 0.3010180485771537 0.42520165923518716 -0.32034826766147406 0.1649334099509263 0.014789289446217992 0.29177183639966237 0.6639749879652322 0.16895353744797625 -0.08791091319277468 -0.15223612908606166 0.2087241726992003 -0.2775345794649446 0.16023881673227516 -0.12968658749547465 0.09650959531884991 0.33483095070863306 0.09473105267109816 -0.12755703929082293 0.506387262441492 -0.4474627332454197 0.012387741303979495 0.12726622906091722 0.026953985267264592 -0.12904036384689338 -0.12755152173917467 -0.09103542577925872 0.5671557172132713 0.2583198935640393 -0.10800331870346841 0.2444582968295768 -0.26185782998704793 0.30854670003380374 -0.262275469170799 -0.3675144671897361 0.19787864468219726 -0.38832104954450375 -0.18887618211907656 0.3235731826625622 -0.3435069193243127 -0.07573569065229602 0.2003504855685436 0.1294053904883562 0.3125487264939942 -0.15409547738031104 0.31353326909956103 -0.43312044613500345 -0.093457544335873 -0.28256766752502827 0.19822551065338856 0.22311460889448378 -0.5204624686701249 0.16590407480305405 0.1956603964270499 -0.246229102203402 -0.033222017985957544 -0.2580810335696547 0.10800077441891334 -0.2444595932519902 0.07621001763165604 0.3350638415348137 0.08152410866605568 -0.39839549676024966 -0.13487995046750284 -0.15744683592034484 0.2815716370526543 0.2795048991400765 0.4734398660715857 -0.34201252941910104 -0.1930201125162785 -0.2576127265381075 -0.1080237449612459 0.24446540309302614 0.1915066601129073 0.41746851176844124 0.38680784205334084 0.40805210507201095 -0.22220504589848908 0.12200235864989284 -0.2997122397642943 0.2328669713962686 0.021503314121455883 -0.3525928238093233 0.03962965538675561 0.25849024800172204 0.10802812698876361 -0.2444635283167803 -0.03727491359868409 -0.5333265456820063 0.012579768733936798 0.3217754449874522 0.03220535639085464 -0.41477653339755577 0.07756269156577802 0.5027071701570823 0.08668737873676627 -0.16177804959799058 0.08178973375661223 0.2585872493913786 -0.10799395335891135 0.24446268058574444 -0.7498816118169281 -0.20298230932869113 0.053990980869497655 -0.03892643947483753 -0.36155339488393873 0.1467738842241621 0.006750016593571322 -0.022705992876809685 0.14416305670456322 -0.2418040924958124 0.14829378423437153 -0.12863469485033607 -0.09653012795896848 -0.33483234393114186 0.16337323408701285 0.15459323753775514 -0.677905872441959 0.07730518705112353 -0.2406786773049418 0.23212005702613842 -0.06970064298221734 0.022044417159093364 0.09369826804127951 -0.1282541177445879 0.4510309872018009 0.12901612796422782 -0.3125392308857066 0.15409154170826175 0.08844111377412078 0.0004515981820153958 -0.04155538436898058 -0.009608962667203043 0.005950369643145226 -0.5151231046151235 -0.11603836703213626 -0.4965883433980113 0.5491964020267741 0.02294402322113595 0.15889292588607518 0.2570682404072599 0.10802742424842511 -0.2444638938109351 0.20749300202987958 0.06733342087455492 0.11356780414192226 0.18975547829635026 0.2092301911442129 -0.22813753669177883 0.2700838057007178 0.08364735023848961 -0.1153227371235456 0.015417778859160928 0.41938166970045077 -0.5165957049273783 -0.30109103832670964 -0.4252022634343545 -0.002273932373097962 -0.0025504564552021702 -0.01646558647445186 -0.04148534003997525 0.022336041274042793 -0.2800874728505449 -0.23699222695530228 -0.34762055015956855 -0.38883914820173904 -0.47074789130756034 -0.3127402897541565 0.00023822985990900453 -0.5170847461941627 0.0637203344996469
Eigenvectors λ = 0.000000011610817351358629

-0.5285547178293188
0.06480659648434478
-0.2775345794649446
-0.2775345794649446
-0.09103542577925872
-0.07573569065229602
-0.246229102203402
-0.34201252941910104
-0.3525928238093233
-0.16177804959799058
-0.2418040924958124
-0.1282541177445879
-0.07573569065229602
-0.246229102203402
-0.34201252941910104
-0.2418040924958124
-0.1282541177445879
0.02294402322113595
0.015417778859160928
-0.47074789130756034

λ = 0.00000003318165714213263

0.023579081704255753
0.2024516089400017
0.16023881673227516
0.16023881673227516
0.5671557172132713
0.2003504855685436
-0.033222017985957544
-0.1930201125162785
0.03962965538675561
0.08178973375661223
0.14829378423437153
0.4510309872018009
0.2003504855685436
-0.033222017985957544
-0.1930201125162785
0.14829378423437153
0.4510309872018009
0.15889292588607518
0.41938166970045077
-0.3127402897541565

λ = 0.000022857044570965667

0.00047653346445832137
-0.5166277417015067
-0.12968658749547465
-0.12968658749547465
0.2583198935640393
0.1294053904883562
-0.2580810335696547
-0.2576127265381075
0.25849024800172204
0.2585872493913786
-0.12863469485033607
0.12901612796422782
0.1294053904883562
-0.2580810335696547
-0.2576127265381075
-0.12863469485033607
0.12901612796422782
0.2570682404072599
-0.5165957049273783
0.00023822985990900453

λ = 0.25394940777604297

0.5170641481299962
0.3010180485771537
0.09650959531884991
0.09650959531884991
-0.10800331870346841
0.3125487264939942
0.10800077441891334
-0.1080237449612459
0.10802812698876361
-0.10799395335891135
-0.09653012795896848
-0.3125392308857066
0.3125487264939942
0.10800077441891334
-0.1080237449612459
-0.09653012795896848
-0.3125392308857066
0.10802742424842511
-0.30109103832670964
-0.5170847461941627

λ = 3.801015520958439

-0.06373005939579127
0.42520165923518716
0.33483095070863306
0.33483095070863306
0.2444582968295768
-0.15409547738031104
-0.2444595932519902
0.24446540309302614
-0.2444635283167803
0.24446268058574444
-0.33483234393114186
0.15409154170826175
-0.15409547738031104
-0.2444595932519902
0.24446540309302614
-0.33483234393114186
0.15409154170826175
-0.2444638938109351
-0.4252022634343545
0.0637203344996469

Contribution.
13.806851529366103
9.284010832020618
-5.483150518679519
3.8010692034226246
-13.807006377916192
-1.6421149340779015
1.8805892310570513
-6.990689515977239
-0.9204887991666191
-11.045535784035659
-2.4280737572478612
-5.951168411265172
-2.0948058417427236
7.284294182959123
-22.091220035758163
-6.045476688098201
-9.577746169011055
-2.642036927673644
-11.125098176141904
-2.562578047926314
2.8408635861085405
3.428020210095699
-12.96609706227591
5.776634262399681
-13.886544584831368
-2.697006390981491
-3.642065115675662
-1.8409968879764227
3.507478976364557
-8.990559639557377
-4.308822175647263
-2.7766403933462263
-6.48306126193499
3.5626860052126617
4.562580535099298
-4.975454416351543
0.10415072682078763
4.3087070134932635
6.895876689004165
7.4035469587736165
1.5871521141220455
6.816304322730142
9.577607077072967
-4.975407742804772
1.9999237994644432
-6.895904637002544
1.8012973605259492
1.9203648960044677
0.19880188317776548
-1.9204491660706888
-7.4035823278293424
3.642337623850776
-3.6422078214027582
12.80710631406438
5.6421151681576625
4.641941467946978
3.3580364387865735
9.617262979205147
-5.562605921386096
-3.7614630865396457
2.7613584049964626
2.9203760948491237
-1.1743068630157496
4.0947186505659365
-2.284301094913248
3.6421318086199355
2.357899268070539
4.89600568155327
-6.895928205467605
3.8962056082806757
-1.801322807154812
6.119343796806735
6.4829256851838295
0.9205195490730752
1.999914161668052
-1.7217251609031528
-2.8408057153662942
0.8409669155183563
6.990645877865187
5.562520580390351
-3.8409426815762022
12.632780511372722
1.9205278316656398
-0.9999140074613734
0.11916720150383897
1.4128253292908206
0.17450883186186494
-2.999883223899436
-2.507669083434533
-6.935720411264401
3.079556472464834
15.981291597654728
11.965990109187448
-15.632648832190991
3.094632602489795
1.880834841056777
-13.807282359049243
-3.1742071790490853
5.697387020405757
-6.284472545553135
9.999996403107334
0.9999916130002016
-2.6421757086579265
4.975526559726656
7.935619497788151
-0.7218384545379374
12.886806145850993
10.244478447696235
10.125132088240415
3.975345271149145
7.7366778705826995
-1.253596422971457
1.84090293132016
0.8255278407501686
10.522707803961943
15.88667925679107
-3.642171746423247
21.09162676725069
12.807110107717612
-8.816378681353745
3.6420949947403827
-3.094732048585857
5.483017678572525
-12.24437989397454
2.1742639923231315
10.045627588551692
-18.98133891909494
-1.9205801248925578
-16.886576857313443
0.4924368174128044
2.9755575335603934
-5.562572308275195
6.990651993682182
3.7216706532050363
-5.975322937302979
3.761335390865347
-6.070217346120553
-1.7460180666241758
1.642255010289285
6.070276949617348
2.507684162815237
-7.73685834087483
4.6420172817746845
4.721604973117479
-8.61766623300566
6.174198817042889
24.85271931997434
6.950924303605098
2.6425280669757814
-27.852993957191707
-6.761073035488619
-7.523012187109291
9.04594308299338
-8.807410234534217
15.00000046009005