Loading oracles/tests/CollectBrakets5501_0.txt +118 −49 Original line number Diff line number Diff line 3 0.499999999956 0 <gs|c'|P1> 0 3 0.42605038185 0 <gs|c'|P2> 0 3 -0.58602119663 0 <gs|c'|P3> 0 3 0.500000000065 0 <gs|c'|P1> 0 3 0.426050381841 0 <gs|c'|P2> 0 3 -0.586021196803 0 <gs|c'|P3> 0 3 0 0 <P2|c'|P2> 0.929487398915 3 0 0 <P3|c'|P3> 1.20076451029 3 0 0 <P2|c'|P3> -0.442177173024 4 0 0 <gs|c'|P1> 0 4 0.0641606368436 0 <gs|c'|P2> 0 4 -0.0148276089935 0 <gs|c'|P3> 0 4 0.0641606368311 0 <gs|c'|P2> 0 4 -0.0148276089769 0 <gs|c'|P3> 0 4 0 0 <P2|c'|P2> 0.929487398917 4 0 0 <P3|c'|P3> 1.20076451029 4 0 0 <P2|c'|P3> -0.442177173021 5 0 0 <gs|c'|P1> 0 5 0.000824484011877 0 <gs|c'|P2> 0 5 0.00926933994269 0 <gs|c'|P3> 0 5 0.000829319631774 0 <gs|c'|P2> 0 5 0.00927123532465 0 <gs|c'|P3> 0 5 0 0 <P2|c'|P2> 0.929490415459 5 0 0 <P3|c'|P3> 1.20076281553 5 0 0 <P2|c'|P3> -0.442174627072 6 0 0 <gs|c'|P1> 0 7 0 0 <gs|c'|P1> 0 6 -0.00124809547134 0 <gs|c'|P2> 0 7 -0.000164569140913 0 <gs|c'|P2> 0 6 0.00058893562926 0 <gs|c'|P3> 0 7 -8.83227047498e-05 0 <gs|c'|P3> 0 6 -0.00124868199482 0 <gs|c'|P2> 0 7 -0.000164598958111 0 <gs|c'|P2> 0 6 0.000579342833603 0 <gs|c'|P3> 0 7 -8.80555966267e-05 0 <gs|c'|P3> 0 6 0 0 <P2|c'|P2> 0.929760451308 7 0 0 <P2|c'|P2> 0.929760451308 6 0 0 <P3|c'|P3> 1.20049191047 7 0 0 <P3|c'|P3> 1.20049191047 6 0 0 <P2|c'|P3> -0.44230793272 7 0 0 <P2|c'|P3> -0.44230793272 7 0 0 <gs|c'|P1> 0 7 -0.00124809547134 0 <gs|c'|P2> 0 7 0.00058893562926 0 <gs|c'|P3> 0 7 -0.00124868199482 0 <gs|c'|P2> 0 7 0.000579342833603 0 <gs|c'|P3> 0 7 0 0 <P2|c'|P2> 0.929760451308 7 0 0 <P3|c'|P3> 1.20049191047 7 0 0 <P2|c'|P3> -0.44230793272 6 0 0 <gs|c'|P1> 0 6 -0.00125259050563 0 <gs|c'|P2> 0 6 0.000577738640945 0 <gs|c'|P3> 0 6 -0.00125509702607 0 <gs|c'|P2> 0 6 0.000576744751679 0 <gs|c'|P3> 0 6 0 0 <P2|c'|P2> 0.929490415459 6 0 0 <P3|c'|P3> 1.20076281553 6 0 0 <P2|c'|P3> -0.442174627072 7 0 0 <gs|c'|P1> 0 7 -0.00125259050563 0 <gs|c'|P2> 0 7 0.000577738640945 0 <gs|c'|P3> 0 7 -0.00125509702607 0 <gs|c'|P2> 0 7 0.000576744751679 0 <gs|c'|P3> 0 7 0 0 <P2|c'|P2> 0.929490415459 7 0 0 <P3|c'|P3> 1.20076281553 7 0 0 <P2|c'|P3> -0.442174627072 5 0 0 <gs|c'|P1> 0 5 0.000822828019879 0 <gs|c'|P2> 0 5 0.00926872482639 0 <gs|c'|P3> 0 5 0.000822828018835 0 <gs|c'|P2> 0 5 0.00926872483076 0 <gs|c'|P3> 0 5 0 0 <P2|c'|P2> 0.929487398915 5 0 0 <P3|c'|P3> 1.20076451029 5 0 0 <P2|c'|P3> -0.442177173025 4 0 0 <gs|c'|P1> 0 4 0.0641606368437 0 <gs|c'|P2> 0 4 -0.0148276089925 0 <gs|c'|P3> 0 3 0.499999999956 0 <gs|c'|P1> 0 3 0.42605038185 0 <gs|c'|P2> 0 3 -0.58602119663 0 <gs|c'|P3> 0 4 0.0641606368308 0 <gs|c'|P2> 0 4 -0.0148276089821 0 <gs|c'|P3> 0 4 0 0 <P2|c'|P2> 0.929487398914 4 0 0 <P3|c'|P3> 1.20076451029 4 0 0 <P2|c'|P3> -0.442177173026 3 0.500000000065 0 <gs|c'|P1> 0 3 0.426050381842 0 <gs|c'|P2> 0 3 -0.586021196802 0 <gs|c'|P3> 0 3 0 0 <P2|c'|P2> 0.929487398917 3 0 0 <P3|c'|P3> 1.20076451029 3 0 0 <P2|c'|P3> -0.442177173022 2 0 0 <gs|c'|P1> 0 2 0.0254276211293 0 <gs|c'|P2> 0 2 -0.0282202069435 0 <gs|c'|P3> 0 2 0.0254269247045 0 <gs|c'|P2> 0 2 -0.0282206162621 0 <gs|c'|P3> 0 2 0 0 <P2|c'|P2> 0.929486922019 2 0 0 <P3|c'|P3> 1.20076483462 2 0 0 <P2|c'|P3> -0.442177564098 1 0 0 <gs|c'|P1> 0 0 0 0 <gs|c'|P1> 0 1 0.00146908180611 0 <gs|c'|P2> 0 0 0.000231627773964 0 <gs|c'|P2> 0 1 0.0143303510984 0 <gs|c'|P3> 0 0 0.00221723815702 0 <gs|c'|P3> 0 1 0.0014697410243 0 <gs|c'|P2> 0 0 0.000231651840104 0 <gs|c'|P2> 0 1 0.0143154962865 0 <gs|c'|P3> 0 0 0.00221120280612 0 <gs|c'|P3> 0 1 0 0 <P2|c'|P2> 0.929479902999 0 0 0 <P2|c'|P2> 0.929479902999 1 0 0 <P3|c'|P3> 1.20077188563 0 0 0 <P3|c'|P3> 1.20077188563 1 0 0 <P2|c'|P3> -0.442201710284 0 0 0 <P2|c'|P3> -0.442201710284 0 0 0 <gs|c'|P1> 0 0 0.00146908180611 0 <gs|c'|P2> 0 0 0.0143303510984 0 <gs|c'|P3> 0 0 0.0014697410243 0 <gs|c'|P2> 0 0 0.0143154962865 0 <gs|c'|P3> 0 0 0 0 <P2|c'|P2> 0.929479902999 0 0 0 <P3|c'|P3> 1.20077188563 0 0 0 <P2|c'|P3> -0.442201710284 1 0 0 <gs|c'|P1> 0 1 0.00146857883606 0 <gs|c'|P2> 0 1 0.0143183060814 0 <gs|c'|P3> 0 1 0.00147024250296 0 <gs|c'|P2> 0 1 0.014319142696 0 <gs|c'|P3> 0 1 0 0 <P2|c'|P2> 0.929486922019 1 0 0 <P3|c'|P3> 1.20076483462 1 0 0 <P2|c'|P3> -0.442177564098 2 0 0 <gs|c'|P1> 0 2 0.0254310697979 0 <gs|c'|P2> 0 2 -0.0282184525258 0 <gs|c'|P3> 0 3 0.499999999956 0 <gs|c'|P1> 0 3 0.42605038185 0 <gs|c'|P2> 0 3 -0.58602119663 0 <gs|c'|P3> 0 2 0.0254310698 0 <gs|c'|P2> 0 2 -0.0282184525385 0 <gs|c'|P3> 0 2 0 0 <P2|c'|P2> 0.929487398917 2 0 0 <P3|c'|P3> 1.20076451029 2 0 0 <P2|c'|P3> -0.442177173022 3 0.500000000065 0 <gs|c'|P1> 0 3 0.426050381842 0 <gs|c'|P2> 0 3 -0.586021196802 0 <gs|c'|P3> 0 3 0 0 <P2|c'|P2> 0.929487398917 3 0 0 <P3|c'|P3> 1.20076451029 3 0 0 <P2|c'|P3> -0.442177173022 4 0 0 <gs|c'|P1> 0 4 0.0641606368437 0 <gs|c'|P2> 0 4 -0.0148276089923 0 <gs|c'|P3> 0 4 0.064160636831 0 <gs|c'|P2> 0 4 -0.0148276089799 0 <gs|c'|P3> 0 4 0 0 <P2|c'|P2> 0.929487398916 4 0 0 <P3|c'|P3> 1.20076451029 4 0 0 <P2|c'|P3> -0.442177173024 5 0 0 <gs|c'|P1> 0 5 0.000823351112035 0 <gs|c'|P2> 0 5 0.00926899108859 0 <gs|c'|P3> 0 5 0.000829319630672 0 <gs|c'|P2> 0 5 0.00927123531924 0 <gs|c'|P3> 0 5 0 0 <P2|c'|P2> 0.929490415459 5 0 0 <P3|c'|P3> 1.20076281552 5 0 0 <P2|c'|P3> -0.442174627074 6 0 0 <gs|c'|P1> 0 7 0 0 <gs|c'|P1> 0 6 -0.00125089087519 0 <gs|c'|P2> 0 7 -0.000167166842087 0 <gs|c'|P2> 0 6 0.000587754695662 0 <gs|c'|P3> 0 7 -8.0820706402e-05 0 <gs|c'|P3> 0 6 -0.001248230848 0 <gs|c'|P2> 0 7 -0.000164398408644 0 <gs|c'|P2> 0 6 0.000578655166772 0 <gs|c'|P3> 0 7 -8.83546357901e-05 0 <gs|c'|P3> 0 6 0 0 <P2|c'|P2> 0.929760441906 7 0 0 <P2|c'|P2> 0.929760441906 6 0 0 <P3|c'|P3> 1.20049191903 7 0 0 <P3|c'|P3> 1.20049191903 6 0 0 <P2|c'|P3> -0.442307987743 7 0 0 <P2|c'|P3> -0.442307987743 7 0 0 <gs|c'|P1> 0 7 -0.00125089087519 0 <gs|c'|P2> 0 7 0.000587754695662 0 <gs|c'|P3> 0 7 -0.001248230848 0 <gs|c'|P2> 0 7 0.000578655166772 0 <gs|c'|P3> 0 7 0 0 <P2|c'|P2> 0.929760441906 7 0 0 <P3|c'|P3> 1.20049191903 7 0 0 <P2|c'|P3> -0.442307987743 oracles/tests/CollectBrakets63_0.txt +134 −65 Original line number Diff line number Diff line 3 0.190551616998 0 <gs|z|P1> 0 3 0.550093063206 0 <gs|z|P2> 0 3 0.140708694 0 <gs|z|P3> 0 4 -0.111726322659 0 <gs|z|P1> 0 3 0.550093063205 0 <gs|z|P2> 0 3 0.140708694001 0 <gs|z|P3> 0 3 0 0 <P2|z|P2> 3.9423013002 3 0 0 <P3|z|P3> 2.93386198985 3 0 0 <P2|z|P3> 0.915734998582 4 -0.11172632266 0 <gs|z|P1> 0 4 -0.438929174072 0 <gs|z|P2> 0 4 0.0598670085291 0 <gs|z|P3> 0 5 -0.0173426770483 0 <gs|z|P1> 0 5 -0.177552831105 0 <gs|z|P2> 0 5 -0.186496423373 0 <gs|z|P3> 0 6 0.0129507758123 0 <gs|z|P1> 0 7 -0.0393229643574 0 <gs|z|P1> 0 6 0.028006848749 0 <gs|z|P2> 0 7 -0.0829044265912 0 <gs|z|P2> 0 6 -0.13253831408 0 <gs|z|P3> 0 7 0.461157423423 0 <gs|z|P3> 0 7 0.0129507758123 0 <gs|z|P1> 0 7 0.028006848749 0 <gs|z|P2> 0 7 -0.13253831408 0 <gs|z|P3> 0 6 0.0129507758123 0 <gs|z|P1> 0 6 0.0280082585197 0 <gs|z|P2> 0 6 -0.132542093027 0 <gs|z|P3> 0 7 0.0129507758123 0 <gs|z|P1> 0 7 0.0280082585197 0 <gs|z|P2> 0 7 -0.132542093027 0 <gs|z|P3> 0 5 -0.0173426770483 0 <gs|z|P1> 0 5 -0.177551952058 0 <gs|z|P2> 0 5 -0.186499595382 0 <gs|z|P3> 0 4 -0.111726322659 0 <gs|z|P1> 0 4 -0.438929174072 0 <gs|z|P2> 0 4 0.0598670085298 0 <gs|z|P3> 0 4 0.0598670085266 0 <gs|z|P3> 0 4 0 0 <P2|z|P2> 3.9423013002 4 0 0 <P3|z|P3> 2.93386198985 4 0 0 <P2|z|P3> 0.915734998582 5 -0.017342677048 0 <gs|z|P1> 0 5 -0.177552443807 0 <gs|z|P2> 0 5 -0.186497315782 0 <gs|z|P3> 0 5 -2.53115059078e-06 0 <P2|z|P2> 3.94229131721 5 -6.61577238339e-06 0 <P3|z|P3> 2.93387195385 5 5.83826093154e-06 0 <P2|z|P3> 0.915735174583 6 0.0129507758114 0 <gs|z|P1> 0 7 -0.0393229643565 0 <gs|z|P1> 0 6 0.0280077210066 0 <gs|z|P2> 0 7 -0.0829045436142 0 <gs|z|P2> 0 6 -0.132537603159 0 <gs|z|P3> 0 7 0.461156638829 0 <gs|z|P3> 0 6 -2.02629117531e-05 0 <P2|z|P2> 3.94228983464 7 3.60394533953e-05 0 <P2|z|P2> 3.94228983464 6 9.48233514243e-06 0 <P3|z|P3> 2.93387340505 7 -6.06607968912e-06 0 <P3|z|P3> 2.93387340505 6 3.73762926254e-06 0 <P2|z|P3> 0.915745202284 7 -1.73813119101e-05 0 <P2|z|P3> 0.915745202284 7 0.0129507758114 0 <gs|z|P1> 0 7 0.0280077210066 0 <gs|z|P2> 0 7 -0.132537603159 0 <gs|z|P3> 0 7 -2.02629117531e-05 0 <P2|z|P2> 3.94228983464 7 9.48233514243e-06 0 <P3|z|P3> 2.93387340505 7 3.73762926254e-06 0 <P2|z|P3> 0.915745202284 6 0.0129507758114 0 <gs|z|P1> 0 6 0.0280077211213 0 <gs|z|P2> 0 6 -0.132541002709 0 <gs|z|P3> 0 6 1.49344374621e-06 0 <P2|z|P2> 3.94229131721 6 5.81371487121e-06 0 <P3|z|P3> 2.93387195385 6 -2.24655963454e-06 0 <P2|z|P3> 0.915735174583 7 0.0129507758114 0 <gs|z|P1> 0 7 0.0280077211213 0 <gs|z|P2> 0 7 -0.132541002709 0 <gs|z|P3> 0 7 1.49344374621e-06 0 <P2|z|P2> 3.94229131721 7 5.81371487121e-06 0 <P3|z|P3> 2.93387195385 7 -2.24655963454e-06 0 <P2|z|P3> 0.915735174583 5 -0.017342677048 0 <gs|z|P1> 0 5 -0.177551952056 0 <gs|z|P2> 0 5 -0.186499595379 0 <gs|z|P3> 0 5 0 0 <P2|z|P2> 3.9423013002 5 0 0 <P3|z|P3> 2.93386198985 5 0 0 <P2|z|P3> 0.915734998582 4 -0.11172632266 0 <gs|z|P1> 0 4 -0.438929174071 0 <gs|z|P2> 0 4 0.0598670085276 0 <gs|z|P3> 0 4 0 0 <P2|z|P2> 3.94230130021 4 0 0 <P3|z|P3> 2.93386198985 4 0 0 <P2|z|P3> 0.915734998582 3 0.190551616998 0 <gs|z|P1> 0 3 0.550093063206 0 <gs|z|P2> 0 3 0.140708694 0 <gs|z|P3> 0 2 -0.0513574390701 0 <gs|z|P1> 0 2 0.226296059701 0 <gs|z|P2> 0 2 -0.0208509768992 0 <gs|z|P3> 0 1 -0.0109423592835 0 <gs|z|P1> 0 0 0.027189369608 0 <gs|z|P1> 0 1 -0.00817025202155 0 <gs|z|P2> 0 0 -0.0968388949131 0 <gs|z|P2> 0 1 0.0506498125825 0 <gs|z|P3> 0 0 -0.372491909077 0 <gs|z|P3> 0 0 -0.0109423592835 0 <gs|z|P1> 0 0 -0.00817025202155 0 <gs|z|P2> 0 0 0.0506498125825 0 <gs|z|P3> 0 1 -0.0109423592835 0 <gs|z|P1> 0 1 -0.0081734885842 0 <gs|z|P2> 0 1 0.0506458899428 0 <gs|z|P3> 0 2 -0.0513574390701 0 <gs|z|P1> 0 2 0.226296541802 0 <gs|z|P2> 0 2 -0.0208518476205 0 <gs|z|P3> 0 3 0.550093063205 0 <gs|z|P2> 0 3 0.140708694001 0 <gs|z|P3> 0 3 0 0 <P2|z|P2> 3.94230130021 3 0 0 <P3|z|P3> 2.93386198985 3 0 0 <P2|z|P3> 0.915734998582 2 -0.0513574390694 0 <gs|z|P1> 0 2 0.226296073351 0 <gs|z|P2> 0 2 -0.0208510107599 0 <gs|z|P3> 0 2 0 0 <P2|z|P2> 3.94230098181 2 0 0 <P3|z|P3> 2.93386227057 2 0 0 <P2|z|P3> 0.915734568712 1 -0.0109423592833 0 <gs|z|P1> 0 0 0.0271893696073 0 <gs|z|P1> 0 1 -0.008178168689 0 <gs|z|P2> 0 0 -0.0968351811166 0 <gs|z|P2> 0 1 0.0506493066711 0 <gs|z|P3> 0 0 -0.372491332746 0 <gs|z|P3> 0 1 -7.2640411819e-05 0 <P2|z|P2> 3.94230031572 0 0.000182663236174 0 <P2|z|P2> 3.94230031572 1 0 0 <P3|z|P3> 2.93386291423 0 2.71370412648e-05 0 <P3|z|P3> 2.93386291423 1 2.99423499223e-05 0 <P2|z|P3> 0.915729358147 0 -2.10984980699e-05 0 <P2|z|P3> 0.915729358147 0 -0.0109423592833 0 <gs|z|P1> 0 0 -0.008178168689 0 <gs|z|P2> 0 0 0.0506493066711 0 <gs|z|P3> 0 0 -7.2640411819e-05 0 <P2|z|P2> 3.94230031572 0 0 0 <P3|z|P3> 2.93386291423 0 2.99423499223e-05 0 <P2|z|P3> 0.915729358147 1 -0.0109423592833 0 <gs|z|P1> 0 1 -0.00817368501226 0 <gs|z|P2> 0 1 0.0506461657466 0 <gs|z|P3> 0 1 0 0 <P2|z|P2> 3.94230098181 1 0 0 <P3|z|P3> 2.93386227057 1 0 0 <P2|z|P3> 0.915734568712 2 -0.0513574390694 0 <gs|z|P1> 0 2 0.226296541805 0 <gs|z|P2> 0 2 -0.0208518476174 0 <gs|z|P3> 0 2 0 0 <P2|z|P2> 3.94230130021 2 0 0 <P3|z|P3> 2.93386198985 2 0 0 <P2|z|P3> 0.915734998582 3 0.190551616998 0 <gs|z|P1> 0 3 0.550093063206 0 <gs|z|P2> 0 3 0.140708694 0 <gs|z|P3> 0 4 -0.111726322659 0 <gs|z|P1> 0 4 -0.438929174071 0 <gs|z|P2> 0 4 0.0598670085303 0 <gs|z|P3> 0 5 -0.0173426770483 0 <gs|z|P1> 0 5 -0.177552831104 0 <gs|z|P2> 0 5 -0.18649642337 0 <gs|z|P3> 0 6 0.0129507758123 0 <gs|z|P1> 0 7 -0.0393229643574 0 <gs|z|P1> 0 6 0.0280068487498 0 <gs|z|P2> 0 7 -0.0829044265903 0 <gs|z|P2> 0 6 -0.132538314077 0 <gs|z|P3> 0 7 0.461157423421 0 <gs|z|P3> 0 7 0.0129507758123 0 <gs|z|P1> 0 7 0.0280068487498 0 <gs|z|P2> 0 7 -0.132538314077 0 <gs|z|P3> 0 3 0.550093063204 0 <gs|z|P2> 0 3 0.140708694001 0 <gs|z|P3> 0 3 0 0 <P2|z|P2> 3.9423013002 3 0 0 <P3|z|P3> 2.93386198985 3 0 0 <P2|z|P3> 0.915734998582 4 -0.11172632266 0 <gs|z|P1> 0 4 -0.438929174072 0 <gs|z|P2> 0 4 0.059867008527 0 <gs|z|P3> 0 4 0 0 <P2|z|P2> 3.9423013002 4 0 0 <P3|z|P3> 2.93386198985 4 0 0 <P2|z|P3> 0.915734998582 5 -0.017342677048 0 <gs|z|P1> 0 5 -0.177552443807 0 <gs|z|P2> 0 5 -0.186497315782 0 <gs|z|P3> 0 5 -2.53114863747e-06 0 <P2|z|P2> 3.94229131721 5 -6.61577394e-06 0 <P3|z|P3> 2.93387195385 5 5.83826147642e-06 0 <P2|z|P3> 0.915735174584 6 0.0129507758114 0 <gs|z|P1> 0 7 -0.0393229643565 0 <gs|z|P1> 0 6 0.0280077210054 0 <gs|z|P2> 0 7 -0.0829045436117 0 <gs|z|P2> 0 6 -0.132537603157 0 <gs|z|P3> 0 7 0.461156638831 0 <gs|z|P3> 0 6 -2.02628773056e-05 0 <P2|z|P2> 3.94228983463 7 3.60392667324e-05 0 <P2|z|P2> 3.94228983463 6 9.48233250895e-06 0 <P3|z|P3> 2.93387340505 7 -6.06647070152e-06 0 <P3|z|P3> 2.93387340505 6 3.73765698209e-06 0 <P2|z|P3> 0.915745202283 7 -1.73815842049e-05 0 <P2|z|P3> 0.915745202283 7 0.0129507758114 0 <gs|z|P1> 0 7 0.0280077210054 0 <gs|z|P2> 0 7 -0.132537603157 0 <gs|z|P3> 0 7 -2.02628773056e-05 0 <P2|z|P2> 3.94228983463 7 9.48233250895e-06 0 <P3|z|P3> 2.93387340505 7 3.73765698209e-06 0 <P2|z|P3> 0.915745202283 Loading
oracles/tests/CollectBrakets5501_0.txt +118 −49 Original line number Diff line number Diff line 3 0.499999999956 0 <gs|c'|P1> 0 3 0.42605038185 0 <gs|c'|P2> 0 3 -0.58602119663 0 <gs|c'|P3> 0 3 0.500000000065 0 <gs|c'|P1> 0 3 0.426050381841 0 <gs|c'|P2> 0 3 -0.586021196803 0 <gs|c'|P3> 0 3 0 0 <P2|c'|P2> 0.929487398915 3 0 0 <P3|c'|P3> 1.20076451029 3 0 0 <P2|c'|P3> -0.442177173024 4 0 0 <gs|c'|P1> 0 4 0.0641606368436 0 <gs|c'|P2> 0 4 -0.0148276089935 0 <gs|c'|P3> 0 4 0.0641606368311 0 <gs|c'|P2> 0 4 -0.0148276089769 0 <gs|c'|P3> 0 4 0 0 <P2|c'|P2> 0.929487398917 4 0 0 <P3|c'|P3> 1.20076451029 4 0 0 <P2|c'|P3> -0.442177173021 5 0 0 <gs|c'|P1> 0 5 0.000824484011877 0 <gs|c'|P2> 0 5 0.00926933994269 0 <gs|c'|P3> 0 5 0.000829319631774 0 <gs|c'|P2> 0 5 0.00927123532465 0 <gs|c'|P3> 0 5 0 0 <P2|c'|P2> 0.929490415459 5 0 0 <P3|c'|P3> 1.20076281553 5 0 0 <P2|c'|P3> -0.442174627072 6 0 0 <gs|c'|P1> 0 7 0 0 <gs|c'|P1> 0 6 -0.00124809547134 0 <gs|c'|P2> 0 7 -0.000164569140913 0 <gs|c'|P2> 0 6 0.00058893562926 0 <gs|c'|P3> 0 7 -8.83227047498e-05 0 <gs|c'|P3> 0 6 -0.00124868199482 0 <gs|c'|P2> 0 7 -0.000164598958111 0 <gs|c'|P2> 0 6 0.000579342833603 0 <gs|c'|P3> 0 7 -8.80555966267e-05 0 <gs|c'|P3> 0 6 0 0 <P2|c'|P2> 0.929760451308 7 0 0 <P2|c'|P2> 0.929760451308 6 0 0 <P3|c'|P3> 1.20049191047 7 0 0 <P3|c'|P3> 1.20049191047 6 0 0 <P2|c'|P3> -0.44230793272 7 0 0 <P2|c'|P3> -0.44230793272 7 0 0 <gs|c'|P1> 0 7 -0.00124809547134 0 <gs|c'|P2> 0 7 0.00058893562926 0 <gs|c'|P3> 0 7 -0.00124868199482 0 <gs|c'|P2> 0 7 0.000579342833603 0 <gs|c'|P3> 0 7 0 0 <P2|c'|P2> 0.929760451308 7 0 0 <P3|c'|P3> 1.20049191047 7 0 0 <P2|c'|P3> -0.44230793272 6 0 0 <gs|c'|P1> 0 6 -0.00125259050563 0 <gs|c'|P2> 0 6 0.000577738640945 0 <gs|c'|P3> 0 6 -0.00125509702607 0 <gs|c'|P2> 0 6 0.000576744751679 0 <gs|c'|P3> 0 6 0 0 <P2|c'|P2> 0.929490415459 6 0 0 <P3|c'|P3> 1.20076281553 6 0 0 <P2|c'|P3> -0.442174627072 7 0 0 <gs|c'|P1> 0 7 -0.00125259050563 0 <gs|c'|P2> 0 7 0.000577738640945 0 <gs|c'|P3> 0 7 -0.00125509702607 0 <gs|c'|P2> 0 7 0.000576744751679 0 <gs|c'|P3> 0 7 0 0 <P2|c'|P2> 0.929490415459 7 0 0 <P3|c'|P3> 1.20076281553 7 0 0 <P2|c'|P3> -0.442174627072 5 0 0 <gs|c'|P1> 0 5 0.000822828019879 0 <gs|c'|P2> 0 5 0.00926872482639 0 <gs|c'|P3> 0 5 0.000822828018835 0 <gs|c'|P2> 0 5 0.00926872483076 0 <gs|c'|P3> 0 5 0 0 <P2|c'|P2> 0.929487398915 5 0 0 <P3|c'|P3> 1.20076451029 5 0 0 <P2|c'|P3> -0.442177173025 4 0 0 <gs|c'|P1> 0 4 0.0641606368437 0 <gs|c'|P2> 0 4 -0.0148276089925 0 <gs|c'|P3> 0 3 0.499999999956 0 <gs|c'|P1> 0 3 0.42605038185 0 <gs|c'|P2> 0 3 -0.58602119663 0 <gs|c'|P3> 0 4 0.0641606368308 0 <gs|c'|P2> 0 4 -0.0148276089821 0 <gs|c'|P3> 0 4 0 0 <P2|c'|P2> 0.929487398914 4 0 0 <P3|c'|P3> 1.20076451029 4 0 0 <P2|c'|P3> -0.442177173026 3 0.500000000065 0 <gs|c'|P1> 0 3 0.426050381842 0 <gs|c'|P2> 0 3 -0.586021196802 0 <gs|c'|P3> 0 3 0 0 <P2|c'|P2> 0.929487398917 3 0 0 <P3|c'|P3> 1.20076451029 3 0 0 <P2|c'|P3> -0.442177173022 2 0 0 <gs|c'|P1> 0 2 0.0254276211293 0 <gs|c'|P2> 0 2 -0.0282202069435 0 <gs|c'|P3> 0 2 0.0254269247045 0 <gs|c'|P2> 0 2 -0.0282206162621 0 <gs|c'|P3> 0 2 0 0 <P2|c'|P2> 0.929486922019 2 0 0 <P3|c'|P3> 1.20076483462 2 0 0 <P2|c'|P3> -0.442177564098 1 0 0 <gs|c'|P1> 0 0 0 0 <gs|c'|P1> 0 1 0.00146908180611 0 <gs|c'|P2> 0 0 0.000231627773964 0 <gs|c'|P2> 0 1 0.0143303510984 0 <gs|c'|P3> 0 0 0.00221723815702 0 <gs|c'|P3> 0 1 0.0014697410243 0 <gs|c'|P2> 0 0 0.000231651840104 0 <gs|c'|P2> 0 1 0.0143154962865 0 <gs|c'|P3> 0 0 0.00221120280612 0 <gs|c'|P3> 0 1 0 0 <P2|c'|P2> 0.929479902999 0 0 0 <P2|c'|P2> 0.929479902999 1 0 0 <P3|c'|P3> 1.20077188563 0 0 0 <P3|c'|P3> 1.20077188563 1 0 0 <P2|c'|P3> -0.442201710284 0 0 0 <P2|c'|P3> -0.442201710284 0 0 0 <gs|c'|P1> 0 0 0.00146908180611 0 <gs|c'|P2> 0 0 0.0143303510984 0 <gs|c'|P3> 0 0 0.0014697410243 0 <gs|c'|P2> 0 0 0.0143154962865 0 <gs|c'|P3> 0 0 0 0 <P2|c'|P2> 0.929479902999 0 0 0 <P3|c'|P3> 1.20077188563 0 0 0 <P2|c'|P3> -0.442201710284 1 0 0 <gs|c'|P1> 0 1 0.00146857883606 0 <gs|c'|P2> 0 1 0.0143183060814 0 <gs|c'|P3> 0 1 0.00147024250296 0 <gs|c'|P2> 0 1 0.014319142696 0 <gs|c'|P3> 0 1 0 0 <P2|c'|P2> 0.929486922019 1 0 0 <P3|c'|P3> 1.20076483462 1 0 0 <P2|c'|P3> -0.442177564098 2 0 0 <gs|c'|P1> 0 2 0.0254310697979 0 <gs|c'|P2> 0 2 -0.0282184525258 0 <gs|c'|P3> 0 3 0.499999999956 0 <gs|c'|P1> 0 3 0.42605038185 0 <gs|c'|P2> 0 3 -0.58602119663 0 <gs|c'|P3> 0 2 0.0254310698 0 <gs|c'|P2> 0 2 -0.0282184525385 0 <gs|c'|P3> 0 2 0 0 <P2|c'|P2> 0.929487398917 2 0 0 <P3|c'|P3> 1.20076451029 2 0 0 <P2|c'|P3> -0.442177173022 3 0.500000000065 0 <gs|c'|P1> 0 3 0.426050381842 0 <gs|c'|P2> 0 3 -0.586021196802 0 <gs|c'|P3> 0 3 0 0 <P2|c'|P2> 0.929487398917 3 0 0 <P3|c'|P3> 1.20076451029 3 0 0 <P2|c'|P3> -0.442177173022 4 0 0 <gs|c'|P1> 0 4 0.0641606368437 0 <gs|c'|P2> 0 4 -0.0148276089923 0 <gs|c'|P3> 0 4 0.064160636831 0 <gs|c'|P2> 0 4 -0.0148276089799 0 <gs|c'|P3> 0 4 0 0 <P2|c'|P2> 0.929487398916 4 0 0 <P3|c'|P3> 1.20076451029 4 0 0 <P2|c'|P3> -0.442177173024 5 0 0 <gs|c'|P1> 0 5 0.000823351112035 0 <gs|c'|P2> 0 5 0.00926899108859 0 <gs|c'|P3> 0 5 0.000829319630672 0 <gs|c'|P2> 0 5 0.00927123531924 0 <gs|c'|P3> 0 5 0 0 <P2|c'|P2> 0.929490415459 5 0 0 <P3|c'|P3> 1.20076281552 5 0 0 <P2|c'|P3> -0.442174627074 6 0 0 <gs|c'|P1> 0 7 0 0 <gs|c'|P1> 0 6 -0.00125089087519 0 <gs|c'|P2> 0 7 -0.000167166842087 0 <gs|c'|P2> 0 6 0.000587754695662 0 <gs|c'|P3> 0 7 -8.0820706402e-05 0 <gs|c'|P3> 0 6 -0.001248230848 0 <gs|c'|P2> 0 7 -0.000164398408644 0 <gs|c'|P2> 0 6 0.000578655166772 0 <gs|c'|P3> 0 7 -8.83546357901e-05 0 <gs|c'|P3> 0 6 0 0 <P2|c'|P2> 0.929760441906 7 0 0 <P2|c'|P2> 0.929760441906 6 0 0 <P3|c'|P3> 1.20049191903 7 0 0 <P3|c'|P3> 1.20049191903 6 0 0 <P2|c'|P3> -0.442307987743 7 0 0 <P2|c'|P3> -0.442307987743 7 0 0 <gs|c'|P1> 0 7 -0.00125089087519 0 <gs|c'|P2> 0 7 0.000587754695662 0 <gs|c'|P3> 0 7 -0.001248230848 0 <gs|c'|P2> 0 7 0.000578655166772 0 <gs|c'|P3> 0 7 0 0 <P2|c'|P2> 0.929760441906 7 0 0 <P3|c'|P3> 1.20049191903 7 0 0 <P2|c'|P3> -0.442307987743
oracles/tests/CollectBrakets63_0.txt +134 −65 Original line number Diff line number Diff line 3 0.190551616998 0 <gs|z|P1> 0 3 0.550093063206 0 <gs|z|P2> 0 3 0.140708694 0 <gs|z|P3> 0 4 -0.111726322659 0 <gs|z|P1> 0 3 0.550093063205 0 <gs|z|P2> 0 3 0.140708694001 0 <gs|z|P3> 0 3 0 0 <P2|z|P2> 3.9423013002 3 0 0 <P3|z|P3> 2.93386198985 3 0 0 <P2|z|P3> 0.915734998582 4 -0.11172632266 0 <gs|z|P1> 0 4 -0.438929174072 0 <gs|z|P2> 0 4 0.0598670085291 0 <gs|z|P3> 0 5 -0.0173426770483 0 <gs|z|P1> 0 5 -0.177552831105 0 <gs|z|P2> 0 5 -0.186496423373 0 <gs|z|P3> 0 6 0.0129507758123 0 <gs|z|P1> 0 7 -0.0393229643574 0 <gs|z|P1> 0 6 0.028006848749 0 <gs|z|P2> 0 7 -0.0829044265912 0 <gs|z|P2> 0 6 -0.13253831408 0 <gs|z|P3> 0 7 0.461157423423 0 <gs|z|P3> 0 7 0.0129507758123 0 <gs|z|P1> 0 7 0.028006848749 0 <gs|z|P2> 0 7 -0.13253831408 0 <gs|z|P3> 0 6 0.0129507758123 0 <gs|z|P1> 0 6 0.0280082585197 0 <gs|z|P2> 0 6 -0.132542093027 0 <gs|z|P3> 0 7 0.0129507758123 0 <gs|z|P1> 0 7 0.0280082585197 0 <gs|z|P2> 0 7 -0.132542093027 0 <gs|z|P3> 0 5 -0.0173426770483 0 <gs|z|P1> 0 5 -0.177551952058 0 <gs|z|P2> 0 5 -0.186499595382 0 <gs|z|P3> 0 4 -0.111726322659 0 <gs|z|P1> 0 4 -0.438929174072 0 <gs|z|P2> 0 4 0.0598670085298 0 <gs|z|P3> 0 4 0.0598670085266 0 <gs|z|P3> 0 4 0 0 <P2|z|P2> 3.9423013002 4 0 0 <P3|z|P3> 2.93386198985 4 0 0 <P2|z|P3> 0.915734998582 5 -0.017342677048 0 <gs|z|P1> 0 5 -0.177552443807 0 <gs|z|P2> 0 5 -0.186497315782 0 <gs|z|P3> 0 5 -2.53115059078e-06 0 <P2|z|P2> 3.94229131721 5 -6.61577238339e-06 0 <P3|z|P3> 2.93387195385 5 5.83826093154e-06 0 <P2|z|P3> 0.915735174583 6 0.0129507758114 0 <gs|z|P1> 0 7 -0.0393229643565 0 <gs|z|P1> 0 6 0.0280077210066 0 <gs|z|P2> 0 7 -0.0829045436142 0 <gs|z|P2> 0 6 -0.132537603159 0 <gs|z|P3> 0 7 0.461156638829 0 <gs|z|P3> 0 6 -2.02629117531e-05 0 <P2|z|P2> 3.94228983464 7 3.60394533953e-05 0 <P2|z|P2> 3.94228983464 6 9.48233514243e-06 0 <P3|z|P3> 2.93387340505 7 -6.06607968912e-06 0 <P3|z|P3> 2.93387340505 6 3.73762926254e-06 0 <P2|z|P3> 0.915745202284 7 -1.73813119101e-05 0 <P2|z|P3> 0.915745202284 7 0.0129507758114 0 <gs|z|P1> 0 7 0.0280077210066 0 <gs|z|P2> 0 7 -0.132537603159 0 <gs|z|P3> 0 7 -2.02629117531e-05 0 <P2|z|P2> 3.94228983464 7 9.48233514243e-06 0 <P3|z|P3> 2.93387340505 7 3.73762926254e-06 0 <P2|z|P3> 0.915745202284 6 0.0129507758114 0 <gs|z|P1> 0 6 0.0280077211213 0 <gs|z|P2> 0 6 -0.132541002709 0 <gs|z|P3> 0 6 1.49344374621e-06 0 <P2|z|P2> 3.94229131721 6 5.81371487121e-06 0 <P3|z|P3> 2.93387195385 6 -2.24655963454e-06 0 <P2|z|P3> 0.915735174583 7 0.0129507758114 0 <gs|z|P1> 0 7 0.0280077211213 0 <gs|z|P2> 0 7 -0.132541002709 0 <gs|z|P3> 0 7 1.49344374621e-06 0 <P2|z|P2> 3.94229131721 7 5.81371487121e-06 0 <P3|z|P3> 2.93387195385 7 -2.24655963454e-06 0 <P2|z|P3> 0.915735174583 5 -0.017342677048 0 <gs|z|P1> 0 5 -0.177551952056 0 <gs|z|P2> 0 5 -0.186499595379 0 <gs|z|P3> 0 5 0 0 <P2|z|P2> 3.9423013002 5 0 0 <P3|z|P3> 2.93386198985 5 0 0 <P2|z|P3> 0.915734998582 4 -0.11172632266 0 <gs|z|P1> 0 4 -0.438929174071 0 <gs|z|P2> 0 4 0.0598670085276 0 <gs|z|P3> 0 4 0 0 <P2|z|P2> 3.94230130021 4 0 0 <P3|z|P3> 2.93386198985 4 0 0 <P2|z|P3> 0.915734998582 3 0.190551616998 0 <gs|z|P1> 0 3 0.550093063206 0 <gs|z|P2> 0 3 0.140708694 0 <gs|z|P3> 0 2 -0.0513574390701 0 <gs|z|P1> 0 2 0.226296059701 0 <gs|z|P2> 0 2 -0.0208509768992 0 <gs|z|P3> 0 1 -0.0109423592835 0 <gs|z|P1> 0 0 0.027189369608 0 <gs|z|P1> 0 1 -0.00817025202155 0 <gs|z|P2> 0 0 -0.0968388949131 0 <gs|z|P2> 0 1 0.0506498125825 0 <gs|z|P3> 0 0 -0.372491909077 0 <gs|z|P3> 0 0 -0.0109423592835 0 <gs|z|P1> 0 0 -0.00817025202155 0 <gs|z|P2> 0 0 0.0506498125825 0 <gs|z|P3> 0 1 -0.0109423592835 0 <gs|z|P1> 0 1 -0.0081734885842 0 <gs|z|P2> 0 1 0.0506458899428 0 <gs|z|P3> 0 2 -0.0513574390701 0 <gs|z|P1> 0 2 0.226296541802 0 <gs|z|P2> 0 2 -0.0208518476205 0 <gs|z|P3> 0 3 0.550093063205 0 <gs|z|P2> 0 3 0.140708694001 0 <gs|z|P3> 0 3 0 0 <P2|z|P2> 3.94230130021 3 0 0 <P3|z|P3> 2.93386198985 3 0 0 <P2|z|P3> 0.915734998582 2 -0.0513574390694 0 <gs|z|P1> 0 2 0.226296073351 0 <gs|z|P2> 0 2 -0.0208510107599 0 <gs|z|P3> 0 2 0 0 <P2|z|P2> 3.94230098181 2 0 0 <P3|z|P3> 2.93386227057 2 0 0 <P2|z|P3> 0.915734568712 1 -0.0109423592833 0 <gs|z|P1> 0 0 0.0271893696073 0 <gs|z|P1> 0 1 -0.008178168689 0 <gs|z|P2> 0 0 -0.0968351811166 0 <gs|z|P2> 0 1 0.0506493066711 0 <gs|z|P3> 0 0 -0.372491332746 0 <gs|z|P3> 0 1 -7.2640411819e-05 0 <P2|z|P2> 3.94230031572 0 0.000182663236174 0 <P2|z|P2> 3.94230031572 1 0 0 <P3|z|P3> 2.93386291423 0 2.71370412648e-05 0 <P3|z|P3> 2.93386291423 1 2.99423499223e-05 0 <P2|z|P3> 0.915729358147 0 -2.10984980699e-05 0 <P2|z|P3> 0.915729358147 0 -0.0109423592833 0 <gs|z|P1> 0 0 -0.008178168689 0 <gs|z|P2> 0 0 0.0506493066711 0 <gs|z|P3> 0 0 -7.2640411819e-05 0 <P2|z|P2> 3.94230031572 0 0 0 <P3|z|P3> 2.93386291423 0 2.99423499223e-05 0 <P2|z|P3> 0.915729358147 1 -0.0109423592833 0 <gs|z|P1> 0 1 -0.00817368501226 0 <gs|z|P2> 0 1 0.0506461657466 0 <gs|z|P3> 0 1 0 0 <P2|z|P2> 3.94230098181 1 0 0 <P3|z|P3> 2.93386227057 1 0 0 <P2|z|P3> 0.915734568712 2 -0.0513574390694 0 <gs|z|P1> 0 2 0.226296541805 0 <gs|z|P2> 0 2 -0.0208518476174 0 <gs|z|P3> 0 2 0 0 <P2|z|P2> 3.94230130021 2 0 0 <P3|z|P3> 2.93386198985 2 0 0 <P2|z|P3> 0.915734998582 3 0.190551616998 0 <gs|z|P1> 0 3 0.550093063206 0 <gs|z|P2> 0 3 0.140708694 0 <gs|z|P3> 0 4 -0.111726322659 0 <gs|z|P1> 0 4 -0.438929174071 0 <gs|z|P2> 0 4 0.0598670085303 0 <gs|z|P3> 0 5 -0.0173426770483 0 <gs|z|P1> 0 5 -0.177552831104 0 <gs|z|P2> 0 5 -0.18649642337 0 <gs|z|P3> 0 6 0.0129507758123 0 <gs|z|P1> 0 7 -0.0393229643574 0 <gs|z|P1> 0 6 0.0280068487498 0 <gs|z|P2> 0 7 -0.0829044265903 0 <gs|z|P2> 0 6 -0.132538314077 0 <gs|z|P3> 0 7 0.461157423421 0 <gs|z|P3> 0 7 0.0129507758123 0 <gs|z|P1> 0 7 0.0280068487498 0 <gs|z|P2> 0 7 -0.132538314077 0 <gs|z|P3> 0 3 0.550093063204 0 <gs|z|P2> 0 3 0.140708694001 0 <gs|z|P3> 0 3 0 0 <P2|z|P2> 3.9423013002 3 0 0 <P3|z|P3> 2.93386198985 3 0 0 <P2|z|P3> 0.915734998582 4 -0.11172632266 0 <gs|z|P1> 0 4 -0.438929174072 0 <gs|z|P2> 0 4 0.059867008527 0 <gs|z|P3> 0 4 0 0 <P2|z|P2> 3.9423013002 4 0 0 <P3|z|P3> 2.93386198985 4 0 0 <P2|z|P3> 0.915734998582 5 -0.017342677048 0 <gs|z|P1> 0 5 -0.177552443807 0 <gs|z|P2> 0 5 -0.186497315782 0 <gs|z|P3> 0 5 -2.53114863747e-06 0 <P2|z|P2> 3.94229131721 5 -6.61577394e-06 0 <P3|z|P3> 2.93387195385 5 5.83826147642e-06 0 <P2|z|P3> 0.915735174584 6 0.0129507758114 0 <gs|z|P1> 0 7 -0.0393229643565 0 <gs|z|P1> 0 6 0.0280077210054 0 <gs|z|P2> 0 7 -0.0829045436117 0 <gs|z|P2> 0 6 -0.132537603157 0 <gs|z|P3> 0 7 0.461156638831 0 <gs|z|P3> 0 6 -2.02628773056e-05 0 <P2|z|P2> 3.94228983463 7 3.60392667324e-05 0 <P2|z|P2> 3.94228983463 6 9.48233250895e-06 0 <P3|z|P3> 2.93387340505 7 -6.06647070152e-06 0 <P3|z|P3> 2.93387340505 6 3.73765698209e-06 0 <P2|z|P3> 0.915745202283 7 -1.73815842049e-05 0 <P2|z|P3> 0.915745202283 7 0.0129507758114 0 <gs|z|P1> 0 7 0.0280077210054 0 <gs|z|P2> 0 7 -0.132537603157 0 <gs|z|P3> 0 7 -2.02628773056e-05 0 <P2|z|P2> 3.94228983463 7 9.48233250895e-06 0 <P3|z|P3> 2.93387340505 7 3.73765698209e-06 0 <P2|z|P3> 0.915745202283
