path: root/misc/vcd/real-analog.vcd

$date Thu Jan  2 20:39:07 2020 $end
$version libsigrok 0.6.0-git-2826441d6f05 $end
$comment
  Acquisition with 13/13 channels at 200 kHz
  generated by means of this command:
    sigrok-cli -d demo --samples 1000 -O vcd -o file.vcd
  demonstrates: mixed signal (logic and analog channels),
    input samplerate (200kHz) cannot get expressed in VCD,
    which results in "stair case" artifacts on re-import
$end
$timescale 1 us $end
$scope module libsigrok $end
$var wire 1 ! D0 $end
$var wire 1 " D1 $end
$var wire 1 # D2 $end
$var wire 1 $ D3 $end
$var wire 1 % D4 $end
$var wire 1 & D5 $end
$var wire 1 ' D6 $end
$var wire 1 ( D7 $end
$var real 64 ) A0 $end
$var real 64 * A1 $end
$var real 64 + A2 $end
$var real 64 , A3 $end
$var real 64 - A4 $end
$upscope $end
$enddefinitions $end

#0 1! 0" 0# 1$ 1% 0& 1' 1( r-10 ) r0 * r0 + r-2.340000152587891 - r0 ,
#5 0! 1" 1# 0$ 1& 0' r3.090169906616211 * r2 + r7.719999313354492 - r1 ,
#10 r5.877852439880371 * r4 + r5.539999961853027 - r2 ,
#15 r8.090169906616211 * r6 + r8.299999237060547 - r3 ,
#20 1! 0" 1$ 0% 0& 1' r9.510564804077148 * r8 + r5.859999656677246 - r4 ,
#25 1" 1% 1& r10 ) r10 * r10 + r-3.300000190734863 - r5 ,
#30 r9.510564804077148 * r8 + r-2.28000020980835 - r6 ,
#35 r8.090169906616211 * r6 + r-0.1599998474121094 - r7 ,
#40 0! 0' r5.877852439880371 * r4 + r2.979999542236328 - r8 ,
#45 0" 0# 0$ 0% 0& r3.090169906616211 * r2 + r-1.579999923706055 - r9 ,
#50 r-10 ) r-3.216245298855018e-15 * r-2.047525331859532e-15 + r-2.760000228881836 - r-10 ,
#55 1" 1# 1$ 1% 1& r-3.090169906616211 * r-2 + r-9.460000038146973 - r-9 ,
#60 1! 1' r-5.877852439880371 * r-4 + r3.799999237060547 - r-8 ,
#65 r-8.090169906616211 * r-6 + r-8.819999694824219 - r-7 ,
#70 r-9.510564804077148 * r-8 + r5.25999927520752 - r-6 ,
#75 r10 ) r-10 * r-10 + r8.520000457763672 - r-5 ,
#80 0" 0# 0$ 0% 0& r-9.510564804077148 * r-8 + r0.8000001907348633 - r-4 ,
#85 0! 1" 1# 1$ 1% 1& 0' r-8.090169906616211 * r-6 + r-1.480000495910645 - r-3 ,
#90 r-5.877852439880371 * r-4 + r-6.560000419616699 - r-2 ,
#95 0$ r-3.090169906616211 * r-2 + r4.719999313354492 - r-1 ,
#100 1! 0" 0% 0& 1' r-10 ) r6.432490597710035e-15 * r4.095050663719063e-15 + r-5.78000020980835 - r0 ,
#105 1" 1$ 1% 1& r3.090169906616211 * r2 + r-2.640000343322754 - r1 ,
#110 r5.877852439880371 * r4 + r1.340000152587891 - r2 ,
#115 r8.090169906616211 * r6 + r-1.420000076293945 - r3 ,
#120 0! 0" 0# 0$ 0% 0& 0' r9.510564804077148 * r8 + r5.639999389648438 - r4 ,
#125 1" 1# 1% 1& 1' r10 ) r10 * r10 + r0.5999994277954102 - r5 ,
#130 r9.510564804077148 * r8 + r7.239999771118164 - r6 ,
#135 0% r8.090169906616211 * r6 + r-7.539999961853027 - r7 ,
#140 1! 0" 0# 1$ 1% 0& 0' r5.877852439880371 * r4 + r-8.659999847412109 - r8 ,
#145 1" 1# 1& 1' r3.090169906616211 * r2 + r-7.300000190734863 - r9 ,
#150 r-10 ) r3.673940187178589e-15 * r2.338903183407353e-15 + r8.579999923706055 - r10 ,
#155 r-3.090169906616211 * r-2 + r6.039999008178711 - r-9 ,
#160 0" 0# 0$ 0% 0& r-5.877852439880371 * r-4 + r-9.560000419616699 - r-8 ,
#165 0! 1" 1# 1$ 1% 1& 0' r-8.090169906616211 * r-6 + r-8.840000152587891 - r-7 ,
#170 r-9.510564804077148 * r-8 + r-8.619999885559082 - r-6 ,
#175 r10 ) r-10 * r-10 + r-6.659999847412109 - r-5 ,
#180 1! 0" 0# 0$ 0% 0& 1' r-9.510564804077148 * r-8 + r-2.140000343322754 - r-4 ,
#185 1" 1# 1$ 1% 1& r-8.090169906616211 * r-6 + r-0.880000114440918 - r-3 ,
#190 r-5.877852439880371 * r-4 + r-9.779999732971191 - r-2 ,
#195 r-3.090169906616211 * r-2 + r-9.159999847412109 - r-1 ,
#200 0! 0" 0# 0$ 0% 0& 0' r-10 ) r1.286498119542007e-14 * r8.190101327438127e-15 + r-5.420000076293945 - r0 ,
#205 1! 1" 1# 1% 1& 1' r3.090169906616211 * r2 + r-2.539999961853027 - r1 ,
#210 0# 1$ 0% r5.877852439880371 * r4 + r-1.579999923706055 - r2 ,
#215 0" 1# 1% 0& r8.090169906616211 * r6 + r8.379999160766602 - r3 ,
#220 0! 1" 1& 0' r9.510564804077148 * r8 + r5.679999351501465 - r4 ,
#225 1! 1' r10 ) r10 * r10 + r0.7399997711181641 - r5 ,
#230 r9.510564804077148 * r8 + r-6.039999961853027 - r6 ,
#235 r8.090169906616211 * r6 + r-3.519999980926514 - r7 ,
#240 r5.877852439880371 * r4 + r-3.700000286102295 - r8 ,
#245 r3.090169906616211 * r2 + r-2.600000381469727 - r9 ,
#250 r-10 ) r6.123233786469806e-15 * r3.898171831173431e-15 + r-1.739999771118164 - r-10 ,
#255 r-3.090169906616211 * r-2 + r0.5199995040893555 - r-9 ,
#260 r-5.877852439880371 * r-4 + r-8.180000305175781 - r-8 ,
#265 r-8.090169906616211 * r-6 + r9.600000381469727 - r-7 ,
#270 r-9.510564804077148 * r-8 + r9.119998931884766 - r-6 ,
#275 r10 ) r-10 * r-10 + r7.459999084472656 - r-5 ,
#280 0! 0" 0# 0$ 0% 0' r-9.510564804077148 * r-8 + r7.239999771118164 - r-4 ,
#285 r-8.090169906616211 * r-6 + r-6.600000381469727 - r-3 ,
#290 1! 1" 1# 1$ 1% 1' r-5.877852439880371 * r-4 + r9.920000076293945 - r-2 ,
#295 r-3.090169906616211 * r-2 + r-4.380000114440918 - r-1 ,
#300 r-10 ) r-7.347880374357178e-15 * r-4.677806366814707e-15 + r-3.900000095367432 - r-8.881784197001252e-15 ,
#305 r3.090169906616211 * r2 + r8.5 - r1 ,
#310 r5.877852439880371 * r4 + r-8.319999694824219 - r2 ,
#315 r8.090169906616211 * r6 + r-3.460000038146973 - r3 ,
#320 0" 0# 0& r9.510564804077148 * r8 + r-3.28000020980835 - r4 ,
#325 0! 1" 1# 0$ 1& 0' r10 ) r10 * r10 + r0.09999942779541016 - r5 ,
#330 r9.510564804077148 * r8 + r6.920000076293945 - r6 ,
#335 r8.090169906616211 * r6 + r4.579999923706055 - r7 ,
#340 1! 0" 1$ 0% 0& 1' r5.877852439880371 * r4 + r-3.740000247955322 - r8 ,
#345 1" 1% 1& r3.090169906616211 * r2 + r7.139999389648438 - r9 ,
#350 r-10 ) r8.572527385761024e-15 * r5.457440478939509e-15 + r-7.519999980926514 - r-10 ,
#355 r-3.090169906616211 * r-2 + r7.899999618530273 - r-9 ,
#360 0! 0' r-5.877852439880371 * r-4 + r1.639999389648438 - r-8 ,
#365 0" 0# 0$ 0% 0& r-8.090169906616211 * r-6 + r0.8999996185302734 - r-7 ,
#370 r-9.510564804077148 * r-8 + r6.279998779296875 - r-6 ,
#375 1" 1# 1$ 1% 1& r10 ) r-10 * r-10 + r-2.660000324249268 - r-5 ,
#380 1! 1' r-9.510564804077148 * r-8 + r-1.320000648498535 - r-4 ,
#385 r-8.090169906616211 * r-6 + r-2.720000267028809 - r-3 ,
#390 r-5.877852439880371 * r-4 + r-9.140000343322754 - r-2 ,
#395 r-3.090169906616211 * r-2 + r5 - r-1 ,
#400 0" 0# 0$ 0% 0& r-10 ) r2.572996239084014e-14 * r1.638020265487625e-14 + r-8.260000228881836 - r0 ,
#405 0! 1" 1# 1$ 1% 1& 0' r3.090169906616211 * r2 + r6.159999847412109 - r1 ,
#410 r5.877852439880371 * r4 + r-4.480000019073486 - r2 ,
#415 0$ r8.090169906616211 * r6 + r-6.440000057220459 - r3 ,
#420 1! 0" 0% 0& 1' r9.510564804077148 * r8 + r5.75999927520752 - r4 ,
#425 1" 1$ 1% 1& r10 ) r10 * r10 + r1.679999351501465 - r5 ,
#430 r9.510564804077148 * r8 + r-1.940000534057617 - r6 ,
#435 r8.090169906616211 * r6 + r3.019999504089355 - r7 ,
#440 0! 0" 0# 0$ 0% 0& 0' r5.877852439880371 * r4 + r5.079999923706055 - r8 ,
#445 1" 1# 1% 1& 1' r3.090169906616211 * r2 + r-2.019999980926514 - r9 ,
#450 r-10 ) r1.102182140856871e-14 * r7.016709126705586e-15 + r8.639999389648438 - r-10 ,
#455 0% r-3.090169906616211 * r-2 + r-8.800000190734863 - r-9 ,
#460 1! 0" 0# 1$ 1% 0& 0' r-5.877852439880371 * r-4 + r3.519999504089355 - r-8 ,
#465 1" 1# 1& 1' r-8.090169906616211 * r-6 + r-2.640000343322754 - r-7 ,
#470 r-9.510564804077148 * r-8 + r4.779999732971191 - r-6 ,
#475 r10 ) r-10 * r-10 + r-9.760000228881836 - r-5 ,
#480 0" 0# 0$ 0% 0& r-9.510564804077148 * r-8 + r-5.480000019073486 - r-4 ,
#485 0! 1" 1# 1$ 1% 1& 0' r-8.090169906616211 * r-6 + r1.719999313354492 - r-3 ,
#490 r-5.877852439880371 * r-4 + r-8.119999885559082 - r-2 ,
#495 r-3.090169906616211 * r-2 + r0.7799997329711914 - r-1 ,
#500 1! 0" 0# 0$ 0% 0& 1' r-10 ) r-1.224646757293961e-14 * r-7.796343662346862e-15 + r5.899999618530273 - r0 ,
#505 1" 1# 1$ 1% 1& r3.090169906616211 * r2 + r1.399999618530273 - r1 ,
#510 r5.877852439880371 * r4 + r-1.320000648498535 - r2 ,
#515 r8.090169906616211 * r6 + r-2.440000057220459 - r3 ,
#520 0! 0" 0# 0$ 0% 0& 0' r9.510564804077148 * r8 + r-0.6599998474121094 - r4 ,
#525 1! 1" 1# 1% 1& 1' r10 ) r10 * r10 + r2.019999504089355 - r5 ,
#530 0# 1$ 0% r9.510564804077148 * r8 + r-8.060000419616699 - r6 ,
#535 0" 1# 1% 0& r8.090169906616211 * r6 + r8.039999008178711 - r7 ,
#540 0! 1" 1& 0' r5.877852439880371 * r4 + r-3.660000324249268 - r8 ,
#545 1! 1' r3.090169906616211 * r2 + r-0.1599998474121094 - r9 ,
#550 r-10 ) r-2.20560213566286e-14 * r-1.404129989498537e-14 + r3.039999961853027 - r-10 ,
#555 r-3.090169906616211 * r-2 + r5.119999885559082 - r-9 ,
#560 r-5.877852439880371 * r-4 + r-3.980000019073486 - r-8 ,
#565 r-8.090169906616211 * r-6 + r-4.400000095367432 - r-7 ,
#570 r-9.510564804077148 * r-8 + r-4.28000020980835 - r-6 ,
#575 r10 ) r-10 * r-10 + r-1.180000305175781 - r-5 ,
#580 r-9.510564804077148 * r-8 + r7.299999237060547 - r-4 ,
#585 r-8.090169906616211 * r-6 + r3.779999732971191 - r-3 ,
#590 r-5.877852439880371 * r-4 + r-1.119999885559082 - r-2 ,
#595 r-3.090169906616211 * r-2 + r2.380000114440918 - r-1 ,
#600 0! 0" 0# 0$ 0% 0' r-10 ) r-1.469576074871436e-14 * r-9.355612733629413e-15 + r-1.199999809265137 - r-1.77635683940025e-14 ,
#605 r3.090169906616211 * r2 + r4.579999923706055 - r1 ,
#610 1! 1" 1# 1$ 1% 1' r5.877852439880371 * r4 + r-9.380000114440918 - r2 ,
#615 r8.090169906616211 * r6 + r-7.659999847412109 - r3 ,
#620 r9.510564804077148 * r8 + r-8.060000419616699 - r4 ,
#625 r10 ) r10 * r10 + r5.420000076293945 - r5 ,
#630 r9.510564804077148 * r8 + r-0.380000114440918 - r6 ,
#635 r8.090169906616211 * r6 + r3.5 - r7 ,
#640 0" 0# 0& r5.877852439880371 * r4 + r4.179999351501465 - r8 ,
#645 0! 1" 1# 0$ 1& 0' r3.090169906616211 * r2 + r8.539999008178711 - r9 ,
#650 r-10 ) r5.144754454812321e-14 * r3.275252451521125e-14 + r1.340000152587891 - r-10 ,
#655 r-3.090169906616211 * r-2 + r7.119998931884766 - r-9 ,
#660 1! 0" 1$ 0% 0& 1' r-5.877852439880371 * r-4 + r-0.06000041961669922 - r-8 ,
#665 1" 1% 1& r-8.090169906616211 * r-6 + r-2.940000057220459 - r-7 ,
#670 r-9.510564804077148 * r-8 + r1.719999313354492 - r-6 ,
#675 r10 ) r-10 * r-10 + r9.299999237060547 - r-5 ,
#680 0! 0' r-9.510564804077148 * r-8 + r-3.880000114440918 - r-4 ,
#685 0" 0# 0$ 0% 0& r-8.090169906616211 * r-6 + r3.659999847412109 - r-3 ,
#690 r-5.877852439880371 * r-4 + r-5.619999885559082 - r-2 ,
#695 1" 1# 1$ 1% 1& r-3.090169906616211 * r-2 + r2.479999542236328 - r-1 ,
#700 1! 1' r-10 ) r-1.714505477152205e-14 * r-1.091488095787902e-14 + r0.5599994659423828 - r0 ,
#705 r3.090169906616211 * r2 + r7.420000076293945 - r1 ,
#710 r5.877852439880371 * r4 + r4.639999389648438 - r2 ,
#715 r8.090169906616211 * r6 + r6.579999923706055 - r3 ,
#720 0" 0# 0$ 0% 0& r9.510564804077148 * r8 + r0.05999946594238281 - r4 ,
#725 0! 1" 1# 1$ 1% 1& 0' r10 ) r10 * r10 + r-9.619999885559082 - r5 ,
#730 r9.510564804077148 * r8 + r-4.599999904632568 - r6 ,
#735 0$ r8.090169906616211 * r6 + r-2.640000343322754 - r7 ,
#740 1! 0" 0% 0& 1' r5.877852439880371 * r4 + r4.159999847412109 - r8 ,
#745 1" 1$ 1% 1& r3.090169906616211 * r2 + r4.299999237060547 - r9 ,
#750 r-10 ) r-1.715743500507912e-14 * r-1.092276259945322e-14 + r-3.200000286102295 - r-10 ,
#755 r-3.090169906616211 * r-2 + r-7.019999980926514 - r-9 ,
#760 0! 0" 0# 0$ 0% 0& 0' r-5.877852439880371 * r-4 + r5.920000076293945 - r-8 ,
#765 1" 1# 1% 1& 1' r-8.090169906616211 * r-6 + r4.460000038146973 - r-7 ,
#770 r-9.510564804077148 * r-8 + r2.359999656677246 - r-6 ,
#775 0% r10 ) r-10 * r-10 + r-5.099999904632568 - r-5 ,
#780 1! 0" 0# 1$ 1% 0& 0' r-9.510564804077148 * r-8 + r6.920000076293945 - r-4 ,
#785 1" 1# 1& 1' r-8.090169906616211 * r-6 + r-0.9800004959106445 - r-3 ,
#790 r-5.877852439880371 * r-4 + r8.420000076293945 - r-2 ,
#795 r-3.090169906616211 * r-2 + r1.09999942779541 - r-1 ,
#800 0" 0# 0$ 0% 0& r-10 ) r5.145992478168028e-14 * r3.276040530975251e-14 + r-2.420000076293945 - r0 ,
#805 0! 1" 1# 1$ 1% 1& 0' r3.090169906616211 * r2 + r-0.2399997711181641 - r1 ,
#810 r5.877852439880371 * r4 + r5.279999732971191 - r2 ,
#815 r8.090169906616211 * r6 + r-5.440000057220459 - r3 ,
#820 1! 0" 0# 0$ 0% 0& 1' r9.510564804077148 * r8 + r6.819999694824219 - r4 ,
#825 1" 1# 1$ 1% 1& r10 ) r10 * r10 + r-3 - r5 ,
#830 r9.510564804077148 * r8 + r-6.140000343322754 - r6 ,
#835 r8.090169906616211 * r6 + r0 - r7 ,
#840 0! 0" 0# 0$ 0% 0& 0' r5.877852439880371 * r4 + r-9.319999694824219 - r8 ,
#845 1! 1" 1# 1% 1& 1' r3.090169906616211 * r2 + r5.279999732971191 - r9 ,
#850 0# 1$ 0% r-10 ) r5.634613259373859e-14 * r3.587106265777636e-14 + r-7.519999980926514 - r-10 ,
#855 0" 1# 1% 0& r-3.090169906616211 * r-2 + r8.279998779296875 - r-9 ,
#860 0! 1" 1& 0' r-5.877852439880371 * r-4 + r9.739999771118164 - r-8 ,
#865 1! 1' r-8.090169906616211 * r-6 + r7.119998931884766 - r-7 ,
#870 r-9.510564804077148 * r-8 + r4.859999656677246 - r-6 ,
#875 r10 ) r-10 * r-10 + r-0.1800003051757812 - r-5 ,
#880 r-9.510564804077148 * r-8 + r-5.460000038146973 - r-4 ,
#885 r-8.090169906616211 * r-6 + r-2.700000286102295 - r-3 ,
#890 r-5.877852439880371 * r-4 + r7.180000305175781 - r-2 ,
#895 r-3.090169906616211 * r-2 + r8.719999313354492 - r-1 ,
#900 r-10 ) r-2.204364281713743e-14 * r-1.403341825341117e-14 + r-1.360000610351562 - r0 ,
#905 r3.090169906616211 * r2 + r1.019999504089355 - r1 ,
#910 r5.877852439880371 * r4 + r-1.260000228881836 - r2 ,
#915 r8.090169906616211 * r6 + r-5.440000057220459 - r3 ,
#920 0! 0" 0# 0$ 0% 0' r9.510564804077148 * r8 + r-4.5 - r4 ,
#925 r10 ) r10 * r10 + r-1.860000610351562 - r5 ,
#930 1! 1" 1# 1$ 1% 1' r9.510564804077148 * r8 + r-0.5200004577636719 - r6 ,
#935 r8.090169906616211 * r6 + r-7.579999923706055 - r7 ,
#940 r5.877852439880371 * r4 + r7.159999847412109 - r8 ,
#945 r3.090169906616211 * r2 + r-2.100000381469727 - r9 ,
#950 r-10 ) r-1.225884780649668e-14 * r-7.804224456888116e-15 + r-9.420000076293945 - r-10 ,
#955 r-3.090169906616211 * r-2 + r-5.260000228881836 - r-9 ,
#960 0" 0# 0& r-5.877852439880371 * r-4 + r-5.300000190734863 - r-8 ,
#965 0! 1" 1# 0$ 1& 0' r-8.090169906616211 * r-6 + r5.859999656677246 - r-7 ,
#970 r-9.510564804077148 * r-8 + r6.35999870300293 - r-6 ,
#975 r10 ) r-10 * r-10 + r-1.440000534057617 - r-5 ,
#980 1! 0" 1$ 0% 0& 1' r-9.510564804077148 * r-8 + r-7.140000343322754 - r-4 ,
#985 1" 1% 1& r-8.090169906616211 * r-6 + r-9.779999732971191 - r-3 ,
#990 r-5.877852439880371 * r-4 + r8.559999465942383 - r-2 ,
#995 r-3.090169906616211 * r-2 + r0.5799999237060547 - r-1 ,
#1000 0! 0' r-10 ) r-2.449293514587923e-14 * r-1.559268732469372e-14 + r5.519999504089355 - r0 ,
#1005 0" 0# 0$ 0% 0& r3.090169906616211 * r2 + r-1.920000076293945 - r1 ,
#1010 r5.877852439880371 * r4 + r-1.140000343322754 - r2 ,
#1015 1" 1# 1$ 1% 1& r8.090169906616211 * r6 + r5.25999927520752 - r3 ,
#1020 1! 1' r9.510564804077148 * r8 + r2.25999927520752 - r4 ,
#1025 r10 ) r10 * r10 + r0.7600002288818359 - r5 ,
#1030 r9.510564804077148 * r8 + r2.119999885559082 - r6 ,
#1035 r8.090169906616211 * r6 + r6.799999237060547 - r7 ,
#1040 0" 0# 0$ 0% 0& r5.877852439880371 * r4 + r8.079999923706055 - r8 ,
#1045 0! 1" 1# 1$ 1% 1& 0' r3.090169906616211 * r2 + r6.35999870300293 - r9 ,
#1050 r-10 ) r-9.809553783688991e-15 * r-6.244956232638512e-15 + r-7.440000057220459 - r-10 ,
#1055 0$ r-3.090169906616211 * r-2 + r3.75999927520752 - r-9 ,
#1060 1! 0" 0% 0& 1' r-5.877852439880371 * r-4 + r-2.62000036239624 - r-8 ,
#1065 1" 1$ 1% 1& r-8.090169906616211 * r-6 + r8.340000152587891 - r-7 ,
#1070 r-9.510564804077148 * r-8 + r-6 ,
#1075 r10 ) r-10 * r-10 + r9.920000076293945 - r-5 ,
#1080 0! 0" 0# 0$ 0% 0& 0' r-9.510564804077148 * r-8 + r-3.519999980926514 - r-4 ,
#1085 1" 1# 1% 1& 1' r-8.090169906616211 * r-6 + r4.859999656677246 - r-3 ,
#1090 r-5.877852439880371 * r-4 + r-0.6000003814697266 - r-2 ,
#1095 0% r-3.090169906616211 * r-2 + r-6.340000152587891 - r-1 ,
#1100 1! 0" 0# 1$ 1% 0& 0' r-10 ) r4.411204271325721e-14 * r2.808259978997075e-14 + r-0.1999998092651367 - r0 ,
#1105 1" 1# 1& 1' r3.090169906616211 * r2 + r-0.02000045776367188 - r1 ,
#1110 r5.877852439880371 * r4 + r5.439999580383301 - r2 ,
#1115 r8.090169906616211 * r6 + r4.5 - r3 ,
#1120 0" 0# 0$ 0% 0& r9.510564804077148 * r8 + r2.880000114440918 - r4 ,
#1125 0! 1" 1# 1$ 1% 1& 0' r10 ) r10 * r10 + r1.800000190734863 - r5 ,
#1130 r9.510564804077148 * r8 + r0.09999942779541016 - r6 ,
#1135 r8.090169906616211 * r6 + r-7.220000267028809 - r7 ,
#1140 1! 0" 0# 0$ 0% 0& 1' r5.877852439880371 * r4 + r9.079999923706055 - r8 ,
#1145 1" 1# 1$ 1% 1& r3.090169906616211 * r2 + r5.719999313354492 - r9 ,
#1150 r-10 ) r6.369401127402988e-14 * r4.054886648349222e-14 + r3.380000114440918 - r-10 ,
#1155 r-3.090169906616211 * r-2 + r-8.359999656677246 - r-9 ,
#1160 0! 0" 0# 0$ 0% 0& 0' r-5.877852439880371 * r-4 + r0.8400001525878906 - r-8 ,
#1165 1! 1" 1# 1% 1& 1' r-8.090169906616211 * r-6 + r-0.7200002670288086 - r-7 ,
#1170 0# 1$ 0% r-9.510564804077148 * r-8 + r-6.060000419616699 - r-6 ,
#1175 0" 1# 1% 0& r10 ) r-10 * r-10 + r0.1399993896484375 - r-5 ,
#1180 0! 1" 1& 0' r-9.510564804077148 * r-8 + r-2.900000095367432 - r-4 ,
#1185 1! 1' r-8.090169906616211 * r-6 + r6.079999923706055 - r-3 ,
#1190 r-5.877852439880371 * r-4 + r-3.039999961853027 - r-2 ,
#1195 r-3.090169906616211 * r-2 + r2.219999313354492 - r-1 ,
#1200 r-10 ) r-2.939152149742871e-14 * r-1.871122546725883e-14 + r2.439999580383301 - r-3.552713678800501e-14 ,
#1205 r3.090169906616211 * r2 + r6.559999465942383 - r1 ,
#1210 r5.877852439880371 * r4 + r-4.019999980926514 - r2 ,
#1215 r8.090169906616211 * r6 + r-3.140000343322754 - r3 ,
#1220 r9.510564804077148 * r8 + r4.920000076293945 - r4 ,
#1225 r10 ) r10 * r10 + r1.359999656677246 - r5 ,
#1230 r9.510564804077148 * r8 + r-3.200000286102295 - r6 ,
#1235 r8.090169906616211 * r6 + r-1.560000419616699 - r7 ,
#1240 0! 0" 0# 0$ 0% 0' r5.877852439880371 * r4 + r-3.78000020980835 - r8 ,
#1245 r3.090169906616211 * r2 + r6.19999885559082 - r9 ,
#1250 1! 1" 1# 1$ 1% 1' r-10 ) r-4.91096700862303e-15 * r-3.126418513589883e-15 + r2.09999942779541 - r-10 ,
#1255 r-3.090169906616211 * r-2 + r6.020000457763672 - r-9 ,
#1260 r-5.877852439880371 * r-4 + r3.219999313354492 - r-8 ,
#1265 r-8.090169906616211 * r-6 + r4.59999942779541 - r-7 ,
#1270 r-9.510564804077148 * r-8 + r7.559999465942383 - r-6 ,
#1275 r10 ) r-10 * r-10 + r-3.900000095367432 - r-5 ,
#1280 0" 0# 0& r-9.510564804077148 * r-8 + r-3.600000381469727 - r-4 ,
#1285 0! 1" 1# 0$ 1& 0' r-8.090169906616211 * r-6 + r4.719999313354492 - r-3 ,
#1290 r-5.877852439880371 * r-4 + r-1.119999885559082 - r-2 ,
#1295 r-3.090169906616211 * r-2 + r2.519999504089355 - r-1 ,
#1300 1! 0" 1$ 0% 0& 1' r-10 ) r-1.028950890962464e-13 * r-6.550504903042251e-14 + r0.4399995803833008 - r0 ,
#1305 1" 1% 1& r3.090169906616211 * r2 + r-0.6999998092651367 - r1 ,
#1310 r5.877852439880371 * r4 + r4.159999847412109 - r2 ,
#1315 r8.090169906616211 * r6 + r-1.680000305175781 - r3 ,
#1320 0! 0' r9.510564804077148 * r8 + r-4.360000133514404 - r4 ,
#1325 0" 0# 0$ 0% 0& r10 ) r10 * r10 + r-4.840000152587891 - r5 ,
#1330 r9.510564804077148 * r8 + r8.479999542236328 - r6 ,
#1335 1" 1# 1$ 1% 1& r8.090169906616211 * r6 + r2.739999771118164 - r7 ,
#1340 1! 1' r5.877852439880371 * r4 + r-8.760000228881836 - r8 ,
#1345 r3.090169906616211 * r2 + r2.479999542236328 - r9 ,
#1350 r-10 ) r-7.351594783237478e-14 * r-4.680170435770493e-14 + r2 - r-10 ,
#1355 r-3.090169906616211 * r-2 + r-9.279999732971191 - r-9 ,
#1360 0" 0# 0$ 0% 0& r-5.877852439880371 * r-4 + r-0.9600000381469727 - r-8 ,
#1365 0! 1" 1# 1$ 1% 1& 0' r-8.090169906616211 * r-6 + r7.979999542236328 - r-7 ,
#1370 r-9.510564804077148 * r-8 + r-2.420000076293945 - r-6 ,
#1375 0$ r10 ) r-10 * r-10 + r1 - r-5 ,
#1380 1! 0" 0% 0& 1' r-9.510564804077148 * r-8 + r-0.6400003433227539 - r-4 ,
#1385 1" 1$ 1% 1& r-8.090169906616211 * r-6 + r-8.579999923706055 - r-3 ,
#1390 r-5.877852439880371 * r-4 + r9.459999084472656 - r-2 ,
#1395 r-3.090169906616211 * r-2 + r-7.380000114440918 - r-1 ,
#1400 0! 0" 0# 0$ 0% 0& 0' r-10 ) r-3.429010954304409e-14 * r-2.182976191575803e-14 + r7.619998931884766 - r0 ,
#1405 1" 1# 1% 1& 1' r3.090169906616211 * r2 + r8.600000381469727 - r1 ,
#1410 r5.877852439880371 * r4 + r8.659999847412109 - r2 ,
#1415 0% r8.090169906616211 * r6 + r7.879999160766602 - r3 ,
#1420 1! 0" 0# 1$ 1% 0& 0' r9.510564804077148 * r8 + r3.199999809265137 - r4 ,
#1425 1" 1# 1& 1' r10 ) r10 * r10 + r-6.739999771118164 - r5 ,
#1430 r9.510564804077148 * r8 + r-6.019999980926514 - r6 ,
#1435 r8.090169906616211 * r6 + r9.619998931884766 - r7 ,
#1440 0" 0# 0$ 0% 0& r5.877852439880371 * r4 + r7.979999542236328 - r8 ,
#1445 0! 1" 1# 1$ 1% 1& 0' r3.090169906616211 * r2 + r9.920000076293945 - r9 ,
#1450 r-10 ) r1.420961736947265e-13 * r9.0461228189221e-14 + r9.180000305175781 - r10 ,
#1455 r-3.090169906616211 * r-2 + r5.460000038146973 - r-9 ,
#1460 1! 0" 0# 0$ 0% 0& 1' r-5.877852439880371 * r-4 + r6.260000228881836 - r-8 ,
#1465 1" 1# 1$ 1% 1& r-8.090169906616211 * r-6 + r3.359999656677246 - r-7 ,
#1470 r-9.510564804077148 * r-8 + r-6.199999809265137 - r-6 ,
#1475 r10 ) r-10 * r-10 + r-8.100000381469727 - r-5 ,
#1480 0! 0" 0# 0$ 0% 0& 0' r-9.510564804077148 * r-8 + r8.520000457763672 - r-4 ,
#1485 1! 1" 1# 1% 1& 1' r-8.090169906616211 * r-6 + r-0.6800003051757812 - r-3 ,
#1490 0# 1$ 0% r-5.877852439880371 * r-4 + r-8.319999694824219 - r-2 ,
#1495 0" 1# 1% 0& r-3.090169906616211 * r-2 + r-3.200000286102295 - r-1 ,
#1500 0! 1" 1& 0' r-10 ) r3.431487001015823e-14 * r2.184552519890644e-14 + r-8.199999809265137 - r0 ,
#1505 1! 1' r3.090169906616211 * r2 + r3.679999351501465 - r1 ,
#1510 r5.877852439880371 * r4 + r-2.480000019073486 - r2 ,
#1515 r8.090169906616211 * r6 + r0.8400001525878906 - r3 ,
#1520 r9.510564804077148 * r8 + r8.719999313354492 - r4 ,
#1525 r10 ) r10 * r10 + r-7.860000133514404 - r5 ,
#1530 r9.510564804077148 * r8 + r-1.100000381469727 - r6 ,
#1535 r8.090169906616211 * r6 + r5.119999885559082 - r7 ,
#1540 r5.877852439880371 * r4 + r-6.420000076293945 - r8 ,
#1545 r3.090169906616211 * r2 + r-1.640000343322754 - r9 ,
#1550 r-10 ) r7.349118736526064e-14 * r4.678594276862243e-14 + r7.739999771118164 - r-10 ,
#1555 r-3.090169906616211 * r-2 + r-1.760000228881836 - r-9 ,
#1560 0! 0" 0# 0$ 0% 0' r-5.877852439880371 * r-4 + r-3.039999961853027 - r-8 ,
#1565 r-8.090169906616211 * r-6 + r-6.560000419616699 - r-7 ,
#1570 1! 1" 1# 1$ 1% 1' r-9.510564804077148 * r-8 + r3.179999351501465 - r-6 ,
#1575 r10 ) r-10 * r-10 + r-9.819999694824219 - r-5 ,
#1580 r-9.510564804077148 * r-8 + r-3.28000020980835 - r-4 ,
#1585 r-8.090169906616211 * r-6 + r-5.800000190734863 - r-3 ,
#1590 r-5.877852439880371 * r-4 + r-3.160000324249268 - r-2 ,
#1595 r-3.090169906616211 * r-2 + r1.739999771118164 - r-1 ,
#1600 0" 0# 0& r-10 ) r1.029198495633606e-13 * r6.552081061950502e-14 + r-5.880000114440918 - r0 ,
#1605 0! 1" 1# 0$ 1& 0' r3.090169906616211 * r2 + r-3.980000019073486 - r1 ,
#1610 r5.877852439880371 * r4 + r4.25999927520752 - r2 ,
#1615 r8.090169906616211 * r6 + r-2.559999942779541 - r3 ,
#1620 1! 0" 1$ 0% 0& 1' r9.510564804077148 * r8 + r-3.579999923706055 - r4 ,
#1625 1" 1% 1& r10 ) r10 * r10 + r-4.900000095367432 - r5 ,
#1630 r9.510564804077148 * r8 + r6.379999160766602 - r6 ,
#1635 r8.090169906616211 * r6 + r1.979999542236328 - r7 ,
#1640 0! 0' r5.877852439880371 * r4 + r4.420000076293945 - r8 ,
#1645 0" 0# 0$ 0% 0& r3.090169906616211 * r2 + r8.079999923706055 - r9 ,
#1650 r-10 ) r4.886207388541839e-15 * r3.110656289232665e-15 + r8.779998779296875 - r-10 ,
#1655 1" 1# 1$ 1% 1& r-3.090169906616211 * r-2 + r6.219999313354492 - r-9 ,
#1660 1! 1' r-5.877852439880371 * r-4 + r8.799999237060547 - r-8 ,
#1665 r-8.090169906616211 * r-6 + r3.340000152587891 - r-7 ,
#1670 r-9.510564804077148 * r-8 + r4.09999942779541 - r-6 ,
#1675 r10 ) r-10 * r-10 + r-5.440000057220459 - r-5 ,
#1680 0" 0# 0$ 0% 0& r-9.510564804077148 * r-8 + r-7.460000038146973 - r-4 ,
#1685 0! 1" 1# 1$ 1% 1& 0' r-8.090169906616211 * r-6 + r-7 - r-3 ,
#1690 r-5.877852439880371 * r-4 + r9.680000305175781 - r-2 ,
#1695 0$ r-3.090169906616211 * r-2 + r3.159999847412109 - r-1 ,
#1700 1! 0" 0% 0& 1' r-10 ) r-1.126922651874772e-13 * r-7.174212531555271e-14 + r8.399999618530273 - r0 ,
#1705 1" 1$ 1% 1& r3.090169906616211 * r2 + r-5.519999980926514 - r1 ,
#1710 r5.877852439880371 * r4 + r-1.560000419616699 - r2 ,
#1715 r8.090169906616211 * r6 + r-4.619999885559082 - r3 ,
#1720 0! 0" 0# 0$ 0% 0& 0' r9.510564804077148 * r8 + r-2.080000400543213 - r4 ,
#1725 1" 1# 1% 1& 1' r10 ) r10 * r10 + r-8.380000114440918 - r5 ,
#1730 r9.510564804077148 * r8 + r2.59999942779541 - r6 ,
#1735 0% r8.090169906616211 * r6 + r-8.319999694824219 - r7 ,
#1740 1! 0" 0# 1$ 1% 0& 0' r5.877852439880371 * r4 + r-4.160000324249268 - r8 ,
#1745 1" 1# 1& 1' r3.090169906616211 * r2 + r9.439998626708984 - r9 ,
#1750 r-10 ) r-6.371877174114401e-14 * r-4.056463146070652e-14 + r3.439999580383301 - r-10 ,
#1755 r-3.090169906616211 * r-2 + r7 - r-9 ,
#1760 0" 0# 0$ 0% 0& r-5.877852439880371 * r-4 + r2.5 - r-8 ,
#1765 0! 1" 1# 1$ 1% 1& 0' r-8.090169906616211 * r-6 + r-2.300000190734863 - r-7 ,
#1770 r-9.510564804077148 * r-8 + r-5.559999942779541 - r-6 ,
#1775 r10 ) r-10 * r-10 + r-4.019999980926514 - r-5 ,
#1780 1! 0" 0# 0$ 0% 0& 1' r-9.510564804077148 * r-8 + r2.799999237060547 - r-4 ,
#1785 1" 1# 1$ 1% 1& r-8.090169906616211 * r-6 + r-9.159999847412109 - r-3 ,
#1790 r-5.877852439880371 * r-4 + r7.959999084472656 - r-2 ,
#1795 r-3.090169906616211 * r-2 + r4.25999927520752 - r-1 ,
#1800 0! 0" 0# 0$ 0% 0& 0' r-10 ) r-4.408728563427486e-14 * r-2.806683650682235e-14 + r-4.039999961853027 - r0 ,
#1805 1! 1" 1# 1% 1& 1' r3.090169906616211 * r2 + r-6.199999809265137 - r1 ,
#1810 0# 1$ 0% r5.877852439880371 * r4 + r0.4799995422363281 - r2 ,
#1815 0" 1# 1% 0& r8.090169906616211 * r6 + r1.800000190734863 - r3 ,
#1820 0! 1" 1& 0' r9.510564804077148 * r8 + r-5.820000171661377 - r4 ,
#1825 1! 1' r10 ) r10 * r10 + r1.619999885559082 - r5 ,
#1830 r9.510564804077148 * r8 + r6.379999160766602 - r6 ,
#1835 r8.090169906616211 * r6 + r-3.28000020980835 - r7 ,
#1840 r5.877852439880371 * r4 + r4.639999389648438 - r8 ,
#1845 r3.090169906616211 * r2 + r-6.900000095367432 - r9 ,
#1850 r-10 ) r9.784795010640748e-15 * r6.229193796523057e-15 + r9.879999160766602 - r-10 ,
#1855 r-3.090169906616211 * r-2 + r-9.920000076293945 - r-9 ,
#1860 r-5.877852439880371 * r-4 + r-2.420000076293945 - r-8 ,
#1865 r-8.090169906616211 * r-6 + r5.380000114440918 - r-7 ,
#1870 r-9.510564804077148 * r-8 + r-4.539999961853027 - r-6 ,
#1875 r10 ) r-10 * r-10 + r5.519999504089355 - r-5 ,
#1880 0! 0" 0# 0$ 0% 0' r-9.510564804077148 * r-8 + r7 - r-4 ,
#1885 r-8.090169906616211 * r-6 + r-4.900000095367432 - r-3 ,
#1890 1! 1" 1# 1$ 1% 1' r-5.877852439880371 * r-4 + r7.19999885559082 - r-2 ,
#1895 r-3.090169906616211 * r-2 + r-7.159999847412109 - r-1 ,
#1900 r-10 ) r2.451769561299336e-14 * r1.560844891377623e-14 + r1.579999923706055 - r0 ,
#1905 r3.090169906616211 * r2 + r7.680000305175781 - r1 ,
#1910 r5.877852439880371 * r4 + r9.85999870300293 - r2 ,
#1915 r8.090169906616211 * r6 + r-5.900000095367432 - r3 ,
#1920 0" 0# 0& r9.510564804077148 * r8 + r2.420000076293945 - r4 ,
#1925 0! 1" 1# 0$ 1& 0' r10 ) r10 * r10 + r1.340000152587891 - r5 ,
#1930 r9.510564804077148 * r8 + r0.07999992370605469 - r6 ,
#1935 r8.090169906616211 * r6 + r2.25999927520752 - r7 ,
#1940 1! 0" 1$ 0% 0& 1' r5.877852439880371 * r4 + r9.219999313354492 - r8 ,
#1945 1" 1% 1& r3.090169906616211 * r2 + r5.079999923706055 - r9 ,
#1950 r-10 ) r8.32883634564914e-14 * r5.302301905375263e-14 + r-3.480000019073486 - r-10 ,
#1955 r-3.090169906616211 * r-2 + r-4.820000171661377 - r-9 ,
#1960 0! 0' r-5.877852439880371 * r-4 + r8.879999160766602 - r-8 ,
#1965 0" 0# 0$ 0% 0& r-8.090169906616211 * r-6 + r-5.960000038146973 - r-7 ,
#1970 r-9.510564804077148 * r-8 + r-6 ,
#1975 1" 1# 1$ 1% 1& r10 ) r-10 * r-10 + r0.119999885559082 - r-5 ,
#1980 1! 1' r-9.510564804077148 * r-8 + r5.679999351501465 - r-4 ,
#1985 r-8.090169906616211 * r-6 + r-9.579999923706055 - r-3 ,
#1990 r-5.877852439880371 * r-4 + r6.840000152587891 - r-2 ,
#1995 r-3.090169906616211 * r-2 + r7.35999870300293 - r-1 ,
#2000 0" 0# 0$ 0% 0& r-10 ) r-4.898587029175845e-14 * r-3.118537464938745e-14 + r0.5599994659423828 - r0 ,
#2005 0! 1" 1# 1$ 1% 1& 0' r3.090169906616211 * r2 + r-6.220000267028809 - r1 ,
#2010 r5.877852439880371 * r4 + r7.440000534057617 - r2 ,
#2015 0$ r8.090169906616211 * r6 + r8.159999847412109 - r3 ,
#2020 1! 0" 0% 0& 1' r9.510564804077148 * r8 + r9.159999847412109 - r4 ,
#2025 1" 1$ 1% 1& r10 ) r10 * r10 + r-0.03999996185302734 - r5 ,
#2030 r9.510564804077148 * r8 + r-9.279999732971191 - r6 ,
#2035 r8.090169906616211 * r6 + r6.159999847412109 - r7 ,
#2040 0! 0" 0# 0$ 0% 0& 0' r5.877852439880371 * r4 + r5.059999465942383 - r8 ,
#2045 1" 1# 1% 1& 1' r3.090169906616211 * r2 + r-5.039999961853027 - r9 ,
#2050 r-10 ) r-1.274251700249945e-13 * r-8.112138212687178e-14 + r-3.940000057220459 - r-10 ,
#2055 0% r-3.090169906616211 * r-2 + r-3.340000152587891 - r-9 ,
#2060 1! 0" 0# 1$ 1% 0& 0' r-5.877852439880371 * r-4 + r-7.340000152587891 - r-8 ,
#2065 1" 1# 1& 1' r-8.090169906616211 * r-6 + r2.960000038146973 - r-7 ,
#2070 r-9.510564804077148 * r-8 + r7.799999237060547 - r-6 ,
#2075 r10 ) r-10 * r-10 + r5.079999923706055 - r-5 ,
#2080 0" 0# 0$ 0% 0& r-9.510564804077148 * r-8 + r1.340000152587891 - r-4 ,
#2085 0! 1" 1# 1$ 1% 1& 0' r-8.090169906616211 * r-6 + r4.920000076293945 - r-3 ,
#2090 r-5.877852439880371 * r-4 + r-2.640000343322754 - r-2 ,
#2095 r-3.090169906616211 * r-2 + r0.5799999237060547 - r-1 ,
#2100 1! 0" 0# 0$ 0% 0& 1' r-10 ) r1.961910756737798e-14 * r1.248991246527702e-14 + r0 - r0 ,
#2105 1" 1# 1$ 1% 1& r3.090169906616211 * r2 + r-9.079999923706055 - r1 ,
#2110 r5.877852439880371 * r4 + r5.75999927520752 - r2 ,
#2115 r8.090169906616211 * r6 + r5.939999580383301 - r3 ,
#2120 0! 0" 0# 0$ 0% 0& 0' r9.510564804077148 * r8 + r-5.019999980926514 - r4 ,
#2125 1! 1" 1# 1% 1& 1' r10 ) r10 * r10 + r9.799999237060547 - r5 ,
#2130 0# 1$ 0% r9.510564804077148 * r8 + r-3.940000057220459 - r6 ,
#2135 0" 1# 1% 0& r8.090169906616211 * r6 + r-9.340000152587891 - r7 ,
#2140 0! 1" 1& 0' r5.877852439880371 * r4 + r-2.740000247955322 - r8 ,
#2145 1! 1' r3.090169906616211 * r2 + r-0.06000041961669922 - r9 ,
#2150 r-10 ) r8.818695150210679e-14 * r5.614155380818595e-14 + r-4.940000057220459 - r-10 ,
#2155 r-3.090169906616211 * r-2 + r7.840000152587891 - r-9 ,
#2160 r-5.877852439880371 * r-4 + r3.719999313354492 - r-8 ,
#2165 r-8.090169906616211 * r-6 + r-7.5 - r-7 ,
#2170 r-9.510564804077148 * r-8 + r-6.960000038146973 - r-6 ,
#2175 r10 ) r-10 * r-10 + r9.920000076293945 - r-5 ,
#2180 r-9.510564804077148 * r-8 + r9.5 - r-4 ,
#2185 r-8.090169906616211 * r-6 + r-6.239999771118164 - r-3 ,
#2190 r-5.877852439880371 * r-4 + r-6.860000133514404 - r-2 ,
#2195 r-3.090169906616211 * r-2 + r4.579999923706055 - r-1 ,
#2200 0! 0" 0# 0$ 0% 0' r-10 ) r8.822408542651441e-14 * r5.61651995799415e-14 + r-1.279999732971191 - r0 ,
#2205 r3.090169906616211 * r2 + r-0.8000001907348633 - r1 ,
#2210 1! 1" 1# 1$ 1% 1' r5.877852439880371 * r4 + r-1.720000267028809 - r2 ,
#2215 r8.090169906616211 * r6 + r8.420000076293945 - r3 ,
#2220 r9.510564804077148 * r8 + r-0.8000001907348633 - r4 ,
#2225 r10 ) r10 * r10 + r-3.920000076293945 - r5 ,
#2230 r9.510564804077148 * r8 + r-9.439999580383301 - r6 ,
#2235 r8.090169906616211 * r6 + r-9.460000038146973 - r7 ,
#2240 0" 0# 0& r5.877852439880371 * r4 + r-9 - r8 ,
#2245 0! 1" 1# 0$ 1& 0' r3.090169906616211 * r2 + r4.960000038146973 - r9 ,
#2250 r-10 ) r1.958196856077267e-14 * r1.246626838758737e-14 + r1.119999885559082 - r-10 ,
#2255 r-3.090169906616211 * r-2 + r8.039999008178711 - r-9 ,
#2260 1! 0" 1$ 0% 0& 1' r-5.877852439880371 * r-4 + r5.880000114440918 - r-8 ,
#2265 1" 1% 1& r-8.090169906616211 * r-6 + r3.939999580383301 - r-7 ,
#2270 r-9.510564804077148 * r-8 + r3.979999542236328 - r-6 ,
#2275 r10 ) r-10 * r-10 + r-9.140000343322754 - r-5 ,
#2280 0! 0' r-9.510564804077148 * r-8 + r-9.220000267028809 - r-4 ,
#2285 0" 0# 0$ 0% 0& r-8.090169906616211 * r-6 + r-9.960000038146973 - r-3 ,
#2290 r-5.877852439880371 * r-4 + r-1.440000534057617 - r-2 ,
#2295 1" 1# 1$ 1% 1& r-3.090169906616211 * r-2 + r-1.940000534057617 - r-1 ,
#2300 1! 1' r-10 ) r-1.273880225480598e-13 * r-8.109773296698444e-14 + r0 - r0 ,
#2305 r3.090169906616211 * r2 + r3.619999885559082 - r1 ,
#2310 r5.877852439880371 * r4 + r2.939999580383301 - r2 ,
#2315 r8.090169906616211 * r6 + r0.7600002288818359 - r3 ,
#2320 0" 0# 0$ 0% 0& r9.510564804077148 * r8 + r-6.820000171661377 - r4 ,
#2325 0! 1" 1# 1$ 1% 1& 0' r10 ) r10 * r10 + r-6.980000019073486 - r5 ,
#2330 r9.510564804077148 * r8 + r0.6999998092651367 - r6 ,
#2335 0$ r8.090169906616211 * r6 + r-7.320000171661377 - r7 ,
#2340 1! 0" 0% 0& 1' r5.877852439880371 * r4 + r-3.220000267028809 - r8 ,
#2345 1" 1$ 1% 1& r3.090169906616211 * r2 + r3.840000152587891 - r9 ,
#2350 r-10 ) r-4.902301099242966e-14 * r-3.120901703301121e-14 + r-5.700000286102295 - r-10 ,
#2355 r-3.090169906616211 * r-2 + r-7.460000038146973 - r-9 ,
#2360 0! 0" 0# 0$ 0% 0& 0' r-5.877852439880371 * r-4 + r0.07999992370605469 - r-8 ,
#2365 1" 1# 1% 1& 1' r-8.090169906616211 * r-6 + r2.579999923706055 - r-7 ,
#2370 r-9.510564804077148 * r-8 + r-9.020000457763672 - r-6 ,
#2375 0% r10 ) r-10 * r-10 + r9.279998779296875 - r-5 ,
#2380 1! 0" 0# 1$ 1% 0& 0' r-9.510564804077148 * r-8 + r-4.300000190734863 - r-4 ,
#2385 1" 1# 1& 1' r-8.090169906616211 * r-6 + r-1.420000076293945 - r-3 ,
#2390 r-5.877852439880371 * r-4 + r-3.140000343322754 - r-2 ,
#2395 r-3.090169906616211 * r-2 + r-3.300000190734863 - r-1 ,
#2400 0" 0# 0$ 0% 0& r-10 ) r-5.878304299485743e-14 * r-3.742245093451765e-14 + r-6.460000038146973 - r-7.105427357601002e-14 ,
#2405 0! 1" 1# 1$ 1% 1& 0' r3.090169906616211 * r2 + r8 - r1 ,
#2410 r5.877852439880371 * r4 + r-5.240000247955322 - r2 ,
#2415 r8.090169906616211 * r6 + r9.420000076293945 - r3 ,
#2420 1! 0" 0# 0$ 0% 0& 1' r9.510564804077148 * r8 + r8.979999542236328 - r4 ,
#2425 1" 1# 1$ 1% 1& r10 ) r10 * r10 + r-4.220000267028809 - r5 ,
#2430 r9.510564804077148 * r8 + r-2.660000324249268 - r6 ,
#2435 r8.090169906616211 * r6 + r9.760000228881836 - r7 ,
#2440 0! 0" 0# 0$ 0% 0& 0' r5.877852439880371 * r4 + r-4.160000324249268 - r8 ,
#2445 1! 1" 1# 1% 1& 1' r3.090169906616211 * r2 + r5.899999618530273 - r9 ,
#2450 0# 1$ 0% r-10 ) r1.665891003702763e-13 * r1.060539189020465e-13 + r4.859999656677246 - r-10 ,
#2455 0" 1# 1% 0& r-3.090169906616211 * r-2 + r-7.119999885559082 - r-9 ,
#2460 0! 1" 1& 0' r-5.877852439880371 * r-4 + r6.579999923706055 - r-8 ,
#2465 1! 1' r-8.090169906616211 * r-6 + r-2.200000286102295 - r-7 ,
#2470 r-9.510564804077148 * r-8 + r3.639999389648438 - r-6 ,
#2475 r10 ) r-10 * r-10 + r-3.200000286102295 - r-5 ,
#2480 r-9.510564804077148 * r-8 + r0.8199996948242188 - r-4 ,
#2485 r-8.090169906616211 * r-6 + r1.380000114440918 - r-3 ,
#2490 r-5.877852439880371 * r-4 + r6.520000457763672 - r-2 ,
#2495 r-3.090169906616211 * r-2 + r-5.360000133514404 - r-1 ,
#2500 r-10 ) r9.82193401724606e-15 * r6.252837027179766e-15 + r-4.78000020980835 - r0 ,
#2505 r3.090169906616211 * r2 + r-9.159999847412109 - r1 ,
#2510 r5.877852439880371 * r4 + r-2.800000190734863 - r2 ,
#2515 r8.090169906616211 * r6 + r-7.659999847412109 - r3 ,
#2520 0! 0" 0# 0$ 0% 0' r9.510564804077148 * r8 + r-9.539999961853027 - r4 ,
#2525 r10 ) r10 * r10 + r5.219999313354492 - r5 ,
#2530 1! 1" 1# 1$ 1% 1' r9.510564804077148 * r8 + r-8.380000114440918 - r6 ,
#2535 r8.090169906616211 * r6 + r-3.820000171661377 - r7 ,
#2540 r5.877852439880371 * r4 + r-6.199999809265137 - r8 ,
#2545 r3.090169906616211 * r2 + r-1.5 - r9 ,
#2550 r-10 ) r-1.862329734869661e-13 * r-1.185595946504719e-13 + r9.920000076293945 - r-10 ,
#2555 r-3.090169906616211 * r-2 + r-2.660000324249268 - r-9 ,
#2560 0" 0# 0& r-5.877852439880371 * r-4 + r3.539999961853027 - r-8 ,
#2565 0! 1" 1# 0$ 1& 0' r-8.090169906616211 * r-6 + r-5.320000171661377 - r-7 ,
#2570 r-9.510564804077148 * r-8 + r3.799999237060547 - r-6 ,
#2575 r10 ) r-10 * r-10 + r2.519999504089355 - r-5 ,
#2580 1! 0" 1$ 0% 0& 1' r-9.510564804077148 * r-8 + r0.4799995422363281 - r-4 ,
#2585 1" 1% 1& r-8.090169906616211 * r-6 + r-8.859999656677246 - r-3 ,
#2590 r-5.877852439880371 * r-4 + r2.279999732971191 - r-2 ,
#2595 r-3.090169906616211 * r-2 + r-6.640000343322754 - r-1 ,
#2600 0! 0' r-10 ) r-2.057901781924928e-13 * r-1.31010098060845e-13 + r-5.900000095367432 - r0 ,
#2605 0" 0# 0$ 0% 0& r3.090169906616211 * r2 + r-2.840000152587891 - r1 ,
#2610 r5.877852439880371 * r4 + r-3.760000228881836 - r2 ,
#2615 1" 1# 1$ 1% 1& r8.090169906616211 * r6 + r-2.28000020980835 - r3 ,
#2620 1! 1' r9.510564804077148 * r8 + r-8 - r4 ,
#2625 r10 ) r10 * r10 + r-3.079999923706055 - r5 ,
#2630 r9.510564804077148 * r8 + r4.519999504089355 - r6 ,
#2635 r8.090169906616211 * r6 + r9.879999160766602 - r7 ,
#2640 0" 0# 0$ 0% 0& r5.877852439880371 * r4 + r8.319999694824219 - r8 ,
#2645 0! 1" 1# 1$ 1% 1& 0' r3.090169906616211 * r2 + r1.039999961853027 - r9 ,
#2650 r-10 ) r2.937914465200343e-14 * r1.870334297865168e-14 + r1.559999465942383 - r-10 ,
#2655 0$ r-3.090169906616211 * r-2 + r0.5799999237060547 - r-9 ,
#2660 1! 0" 0% 0& 1' r-5.877852439880371 * r-4 + r8.920000076293945 - r-8 ,
#2665 1" 1$ 1% 1& r-8.090169906616211 * r-6 + r-4.200000286102295 - r-7 ,
#2670 r-9.510564804077148 * r-8 + r2.939999580383301 - r-6 ,
#2675 r10 ) r-10 * r-10 + r9.399999618530273 - r-5 ,
#2680 0! 0" 0# 0$ 0% 0& 0' r-9.510564804077148 * r-8 + r-8.979999542236328 - r-4 ,
#2685 1" 1# 1% 1& 1' r-8.090169906616211 * r-6 + r-8.399999618530273 - r-3 ,
#2690 r-5.877852439880371 * r-4 + r2.619999885559082 - r-2 ,
#2695 0% r-3.090169906616211 * r-2 + r1.859999656677246 - r-1 ,
#2700 1! 0" 0# 1$ 1% 0& 0' r-10 ) r1.470318956647496e-13 * r9.360340871540987e-14 + r7.139999389648438 - r0 ,
#2705 1" 1# 1& 1' r3.090169906616211 * r2 + r2.539999961853027 - r1 ,
#2710 r5.877852439880371 * r4 + r-3.760000228881836 - r2 ,
#2715 r8.090169906616211 * r6 + r7.719999313354492 - r3 ,
#2720 0" 0# 0$ 0% 0& r9.510564804077148 * r8 + r-5.720000267028809 - r4 ,
#2725 0! 1" 1# 1$ 1% 1& 0' r10 ) r10 * r10 + r-2.900000095367432 - r5 ,
#2730 r9.510564804077148 * r8 + r0.2399997711181641 - r6 ,
#2735 r8.090169906616211 * r6 + r-8.199999809265137 - r7 ,
#2740 1! 0" 0# 0$ 0% 0& 1' r5.877852439880371 * r4 + r-1.760000228881836 - r8 ,
#2745 1" 1# 1$ 1% 1& r3.090169906616211 * r2 + r-0.4200000762939453 - r9 ,
#2750 r-10 ) r2.449912560147094e-13 * r1.559662772196435e-13 + r2.199999809265137 - r-10 ,
#2755 r-3.090169906616211 * r-2 + r9.379999160766602 - r-9 ,
#2760 0! 0" 0# 0$ 0% 0& 0' r-5.877852439880371 * r-4 + r-6.220000267028809 - r-8 ,
#2765 1! 1" 1# 1% 1& 1' r-8.090169906616211 * r-6 + r-4.519999980926514 - r-7 ,
#2770 0# 1$ 0% r-9.510564804077148 * r-8 + r-2.900000095367432 - r-6 ,
#2775 0" 1# 1% 0& r10 ) r-10 * r-10 + r2.819999694824219 - r-5 ,
#2780 0! 1" 1& 0' r-9.510564804077148 * r-8 + r2.399999618530273 - r-4 ,
#2785 1! 1' r-8.090169906616211 * r-6 + r-1.340000152587891 - r-3 ,
#2790 r-5.877852439880371 * r-4 + r9.739999771118164 - r-2 ,
#2795 r-3.090169906616211 * r-2 + r7.760000228881836 - r-1 ,
#2800 r-10 ) r-6.858021908608819e-14 * r-4.365952383151607e-14 + r-3.240000247955322 - r0 ,
#2805 r3.090169906616211 * r2 + r1.319999694824219 - r1 ,
#2810 r5.877852439880371 * r4 + r5.399999618530273 - r2 ,
#2815 r8.090169906616211 * r6 + r-4.320000171661377 - r3 ,
#2820 r9.510564804077148 * r8 + r7.119998931884766 - r4 ,
#2825 r10 ) r10 * r10 + r-1.659999847412109 - r5 ,
#2830 r9.510564804077148 * r8 + r2.119999885559082 - r6 ,
#2835 r8.090169906616211 * r6 + r-4.800000190734863 - r7 ,
#2840 0! 0" 0# 0$ 0% 0' r5.877852439880371 * r4 + r6.979999542236328 - r8 ,
#2845 r3.090169906616211 * r2 + r-5.260000228881836 - r9 ,
#2850 1! 1" 1# 1$ 1% 1' r-10 ) r-1.07830817842533e-13 * r-6.864722955661137e-14 + r-5.900000095367432 - r-10 ,
#2855 r-3.090169906616211 * r-2 + r-8.819999694824219 - r-9 ,
#2860 r-5.877852439880371 * r-4 + r-5.660000324249268 - r-8 ,
#2865 r-8.090169906616211 * r-6 + r0.3599996566772461 - r-7 ,
#2870 r-9.510564804077148 * r-8 + r8.899999618530273 - r-6 ,
#2875 r10 ) r-10 * r-10 + r5.659999847412109 - r-5 ,
#2880 0" 0# 0& r-9.510564804077148 * r-8 + r7.459999084472656 - r-4 ,
#2885 0! 1" 1# 0$ 1& 0' r-8.090169906616211 * r-6 + r-0.8400001525878906 - r-3 ,
#2890 r-5.877852439880371 * r-4 + r7.459999084472656 - r-2 ,
#2895 r-3.090169906616211 * r-2 + r2.739999771118164 - r-1 ,
#2900 1! 0" 1$ 0% 0& 1' r-10 ) r-2.841923473894531e-13 * r-1.80922456378442e-13 + r-4.220000267028809 - r-7.105427357601002e-14 ,
#2905 1" 1% 1& r3.090169906616211 * r2 + r-0.3400001525878906 - r1 ,
#2910 r5.877852439880371 * r4 + r2.139999389648438 - r2 ,
#2915 r8.090169906616211 * r6 + r-0.4400005340576172 - r3 ,
#2920 0! 0' r9.510564804077148 * r8 + r5.139999389648438 - r4 ,
#2925 0" 0# 0$ 0% 0& r10 ) r10 * r10 + r-3.720000267028809 - r5 ,
#2930 r9.510564804077148 * r8 + r-0.5799999237060547 - r6 ,
#2935 1" 1# 1$ 1% 1& r8.090169906616211 * r6 + r4.579999923706055 - r7 ,
#2940 1! 1' r5.877852439880371 * r4 + r-8 - r8 ,
#2945 r3.090169906616211 * r2 + r-0.8200006484985352 - r9 ,
#2950 r-10 ) r1.077812969083047e-13 * r6.861570637844636e-14 + r2.359999656677246 - r-10 ,
#2955 r-3.090169906616211 * r-2 + r-1.239999771118164 - r-9 ,
#2960 0" 0# 0$ 0% 0& r-5.877852439880371 * r-4 + r-9.5 - r-8 ,
#2965 0! 1" 1# 1$ 1% 1& 0' r-8.090169906616211 * r-6 + r-2.240000247955322 - r-7 ,
#2970 r-9.510564804077148 * r-8 + r-8.520000457763672 - r-6 ,
#2975 0$ r10 ) r-10 * r-10 + r-5.340000152587891 - r-5 ,
#2980 1! 0" 0% 0& 1' r-9.510564804077148 * r-8 + r-6.860000133514404 - r-4 ,
#2985 1" 1$ 1% 1& r-8.090169906616211 * r-6 + r3.619999885559082 - r-3 ,
#2990 r-5.877852439880371 * r-4 + r-0.1400003433227539 - r-2 ,
#2995 r-3.090169906616211 * r-2 + r-2.840000152587891 - r-1 ,
#3000 0! 0" 0# 0$ 0% 0& 0' r-10 ) r6.862974002031647e-14 * r4.369105039781288e-14 + r-4.599999904632568 - r0 ,
#3005 1" 1# 1% 1& 1' r3.090169906616211 * r2 + r3.979999542236328 - r1 ,
#3010 r5.877852439880371 * r4 + r-1.659999847412109 - r2 ,
#3015 0% r8.090169906616211 * r6 + r6.779998779296875 - r3 ,
#3020 1! 0" 0# 1$ 1% 0& 0' r9.510564804077148 * r8 + r1.380000114440918 - r4 ,
#3025 1" 1# 1& 1' r10 ) r10 * r10 + r-2.740000247955322 - r5 ,
#3030 r9.510564804077148 * r8 + r2.439999580383301 - r6 ,
#3035 r8.090169906616211 * r6 + r5.880000114440918 - r7 ,
#3040 0" 0# 0$ 0% 0& r5.877852439880371 * r4 + r-6.539999961853027 - r8 ,
#3045 0! 1" 1# 1$ 1% 1& 0' r3.090169906616211 * r2 + r6.940000534057617 - r9 ,
#3050 r-10 ) r3.917631735510241e-14 * r2.494041926378188e-14 + r-1.380000114440918 - r-10 ,
#3055 r-3.090169906616211 * r-2 + r-0.7600002288818359 - r-9 ,
#3060 1! 0" 0# 0$ 0% 0& 1' r-5.877852439880371 * r-4 + r3.639999389648438 - r-8 ,
#3065 1" 1# 1$ 1% 1& r-8.090169906616211 * r-6 + r-2.200000286102295 - r-7 ,
#3070 r-9.510564804077148 * r-8 + r-4.160000324249268 - r-6 ,
#3075 r10 ) r-10 * r-10 + r5.819999694824219 - r-5 ,
#3080 0! 0" 0# 0$ 0% 0& 0' r-9.510564804077148 * r-8 + r-8.859999656677246 - r-4 ,
#3085 1! 1" 1# 1% 1& 1' r-8.090169906616211 * r-6 + r-7.699999809265137 - r-3 ,
#3090 0# 1$ 0% r-5.877852439880371 * r-4 + r0.4200000762939453 - r-2 ,
#3095 0" 1# 1% 0& r-3.090169906616211 * r-2 + r-6.860000133514404 - r-1 ,
#3100 0! 1" 1& 0' r-10 ) r-1.469823747305213e-13 * r-9.357188553724485e-14 + r1.479999542236328 - r0 ,
#3105 1! 1' r3.090169906616211 * r2 + r-0.1800003051757812 - r1 ,
#3110 r5.877852439880371 * r4 + r8.939998626708984 - r2 ,
#3115 r8.090169906616211 * r6 + r9.020000457763672 - r3 ,
#3120 r9.510564804077148 * r8 + r-5.380000114440918 - r4 ,
#3125 r10 ) r10 * r10 + r-9.579999923706055 - r5 ,
#3130 r9.510564804077148 * r8 + r0.7399997711181641 - r6 ,
#3135 r8.090169906616211 * r6 + r4.799999237060547 - r7 ,
#3140 r5.877852439880371 * r4 + r-8.920000076293945 - r8 ,
#3145 r3.090169906616211 * r2 + r-9.399999618530273 - r9 ,
#3150 r-10 ) r-2.942866219809992e-14 * r-1.873486785088259e-14 + r-8.039999961853027 - r-10 ,
#3155 r-3.090169906616211 * r-2 + r-3.5 - r-9 ,
#3160 0! 0" 0# 0$ 0% 0' r-5.877852439880371 * r-4 + r-8.380000114440918 - r-8 ,
#3165 r-8.090169906616211 * r-6 + r0.3199996948242188 - r-7 ,
#3170 1! 1" 1# 1$ 1% 1' r-9.510564804077148 * r-8 + r-6 ,
#3175 r10 ) r-10 * r-10 + r-9.960000038146973 - r-5 ,
#3180 r-9.510564804077148 * r-8 + r-5.380000114440918 - r-4 ,
#3185 r-8.090169906616211 * r-6 + r-7.220000267028809 - r-3 ,
#3190 r-5.877852439880371 * r-4 + r5.920000076293945 - r-2 ,
#3195 r-3.090169906616211 * r-2 + r-1.920000076293945 - r-1 ,
#3200 0" 0# 0& r-10 ) r2.058396991267211e-13 * r1.3104162123901e-13 + r-3.240000247955322 - r0 ,
#3205 0! 1" 1# 0$ 1& 0' r3.090169906616211 * r2 + r1.59999942779541 - r1 ,
#3210 r5.877852439880371 * r4 + r-5.639999866485596 - r2 ,
#3215 r8.090169906616211 * r6 + r-9.579999923706055 - r3 ,
#3220 1! 0" 1$ 0% 0& 1' r9.510564804077148 * r8 + r9.399999618530273 - r4 ,
#3225 1" 1% 1& r10 ) r10 * r10 + r7.239999771118164 - r5 ,
#3230 r9.510564804077148 * r8 + r6.239999771118164 - r6 ,
#3235 r8.090169906616211 * r6 + r-2.420000076293945 - r7 ,
#3240 0! 0' r5.877852439880371 * r4 + r9.539999008178711 - r8 ,
#3245 0" 0# 0$ 0% 0& r3.090169906616211 * r2 + r3.699999809265137 - r9 ,
#3250 r-10 ) r1.861834525527378e-13 * r1.185280714723069e-13 + r0.7199993133544922 - r-10 ,
#3255 1" 1# 1$ 1% 1& r-3.090169906616211 * r-2 + r8.079999923706055 - r-9 ,
#3260 1! 1' r-5.877852439880371 * r-4 + r-6.480000019073486 - r-8 ,
#3265 r-8.090169906616211 * r-6 + r-0.3400001525878906 - r-7 ,
#3270 r-9.510564804077148 * r-8 + r-5.860000133514404 - r-6 ,
#3275 r10 ) r-10 * r-10 + r5.179999351501465 - r-5 ,
#3280 0" 0# 0$ 0% 0& r-9.510564804077148 * r-8 + r7.139999389648438 - r-4 ,
#3285 0! 1" 1# 1$ 1% 1& 0' r-8.090169906616211 * r-6 + r4.880000114440918 - r-3 ,
#3290 r-5.877852439880371 * r-4 + r-0.02000045776367188 - r-2 ,
#3295 0$ r-3.090169906616211 * r-2 + r8.219999313354492 - r-1 ,
#3300 1! 0" 0% 0& 1' r-10 ) r-9.772414777083679e-15 * r-6.221312578465329e-15 + r-7.460000038146973 - r0 ,
#3305 1" 1$ 1% 1& r3.090169906616211 * r2 + r9 - r1 ,
#3310 r5.877852439880371 * r4 + r-5.28000020980835 - r2 ,
#3315 r8.090169906616211 * r6 + r1.199999809265137 - r3 ,
#3320 0! 0" 0# 0$ 0% 0& 0' r9.510564804077148 * r8 + r6.35999870300293 - r4 ,
#3325 1" 1# 1% 1& 1' r10 ) r10 * r10 + r-7.900000095367432 - r5 ,
#3330 r9.510564804077148 * r8 + r1.25999927520752 - r6 ,
#3335 0% r8.090169906616211 * r6 + r-9.020000457763672 - r7 ,
#3340 1! 0" 0# 1$ 1% 0& 0' r5.877852439880371 * r4 + r-5.119999885559082 - r8 ,
#3345 1" 1# 1& 1' r3.090169906616211 * r2 + r4.219999313354492 - r9 ,
#3350 r-10 ) r-1.666386213045046e-13 * r-1.060854420802115e-13 + r6.100000381469727 - r-10 ,
#3355 r-3.090169906616211 * r-2 + r8.680000305175781 - r-9 ,
#3360 0" 0# 0$ 0% 0& r-5.877852439880371 * r-4 + r-4.180000305175781 - r-8 ,
#3365 0! 1" 1# 1$ 1% 1& 0' r-8.090169906616211 * r-6 + r-2.5 - r-7 ,
#3370 r-9.510564804077148 * r-8 + r9.100000381469727 - r-6 ,
#3375 r10 ) r-10 * r-10 + r2.279999732971191 - r-5 ,
#3380 1! 0" 0# 0$ 0% 0& 1' r-9.510564804077148 * r-8 + r1.779999732971191 - r-4 ,
#3385 1" 1# 1$ 1% 1& r-8.090169906616211 * r-6 + r5.359999656677246 - r-3 ,
#3390 r-5.877852439880371 * r-4 + r9.85999870300293 - r-2 ,
#3395 r-3.090169906616211 * r-2 + r8.35999870300293 - r-1 ,
#3400 0! 0" 0# 0$ 0% 0& 0' r-10 ) r-2.253845303749544e-13 * r-1.434842506311054e-13 + r6.100000381469727 - r0 ,
#3405 1! 1" 1# 1% 1& 1' r3.090169906616211 * r2 + r7.639999389648438 - r1 ,
#3410 0# 1$ 0% r5.877852439880371 * r4 + r6.440000534057617 - r2 ,
#3415 0" 1# 1% 0& r8.090169906616211 * r6 + r9.639999389648438 - r3 ,
#3420 0! 1" 1& 0' r9.510564804077148 * r8 + r4.340000152587891 - r4 ,
#3425 1! 1' r10 ) r10 * r10 + r-9.399999618530273 - r5 ,
#3430 r9.510564804077148 * r8 + r-8.140000343322754 - r6 ,
#3435 r8.090169906616211 * r6 + r1.479999542236328 - r7 ,
#3440 r5.877852439880371 * r4 + r-7.480000019073486 - r8 ,
#3445 r3.090169906616211 * r2 + r1.859999656677246 - r9 ,
#3450 r-10 ) r4.897349344633317e-14 * r3.117749385484619e-14 + r-0.2800006866455078 - r-10 ,
#3455 r-3.090169906616211 * r-2 + r-4.940000057220459 - r-9 ,
#3460 r-5.877852439880371 * r-4 + r0.8599996566772461 - r-8 ,
#3465 r-8.090169906616211 * r-6 + r-8.520000457763672 - r-7 ,
#3470 r-9.510564804077148 * r-8 + r6.279998779296875 - r-6 ,
#3475 r10 ) r-10 * r-10 + r4.25999927520752 - r-5 ,
#3480 0! 0" 0# 0$ 0% 0' r-9.510564804077148 * r-8 + r-6.420000076293945 - r-4 ,
#3485 r-8.090169906616211 * r-6 + r-2.460000038146973 - r-3 ,
#3490 1! 1" 1# 1$ 1% 1' r-5.877852439880371 * r-4 + r5.239999771118164 - r-2 ,
#3495 r-3.090169906616211 * r-2 + r5.5 - r-1 ,
#3500 r-10 ) r1.27437543482288e-13 * r8.112926292141304e-14 + r-8.239999771118164 - r0 ,
#3505 r3.090169906616211 * r2 + r8.379999160766602 - r1 ,
#3510 r5.877852439880371 * r4 + r4.199999809265137 - r2 ,
#3515 r8.090169906616211 * r6 + r4.639999389648438 - r3 ,
#3520 0" 0# 0& r9.510564804077148 * r8 + r-4.12000036239624 - r4 ,
#3525 0! 1" 1# 0$ 1& 0' r10 ) r10 * r10 + r-9.659999847412109 - r5 ,
#3530 r9.510564804077148 * r8 + r-3.079999923706055 - r6 ,
#3535 r8.090169906616211 * r6 + r-5.300000190734863 - r7 ,
#3540 1! 0" 1$ 0% 0& 1' r5.877852439880371 * r4 + r-7.260000228881836 - r8 ,
#3545 1" 1% 1& r3.090169906616211 * r2 + r3.819999694824219 - r9 ,
#3550 r-10 ) r-1.963148780093505e-14 * r-1.249779325981828e-14 + r-6.940000057220459 - r-10 ,
#3555 r-3.090169906616211 * r-2 + r8.85999870300293 - r-9 ,
#3560 0! 0' r-5.877852439880371 * r-4 + r1.460000038146973 - r-8 ,
#3565 0" 0# 0$ 0% 0& r-8.090169906616211 * r-6 + r-3.440000057220459 - r-7 ,
#3570 r-9.510564804077148 * r-8 + r8.5 - r-6 ,
#3575 1" 1# 1$ 1% 1& r10 ) r-10 * r-10 + r-4.180000305175781 - r-5 ,
#3580 1! 1' r-9.510564804077148 * r-8 + r4.199999809265137 - r-4 ,
#3585 r-8.090169906616211 * r-6 + r-9.640000343322754 - r-3 ,
#3590 r-5.877852439880371 * r-4 + r-5.660000324249268 - r-2 ,
#3595 r-3.090169906616211 * r-2 + r6.719999313354492 - r-1 ,
#3600 0" 0# 0$ 0% 0& r-10 ) r-8.817457126854972e-14 * r-5.613367301364469e-14 + r9.260000228881836 - r0 ,
#3605 0! 1" 1# 1$ 1% 1& 0' r3.090169906616211 * r2 + r-8.899999618530273 - r1 ,
#3610 r5.877852439880371 * r4 + r-8.199999809265137 - r2 ,
#3615 0$ r8.090169906616211 * r6 + r7.159999847412109 - r3 ,
#3620 1! 0" 0% 0& 1' r9.510564804077148 * r8 + r-7.400000095367432 - r4 ,
#3625 1" 1$ 1% 1& r10 ) r10 * r10 + r8.079999923706055 - r5 ,
#3630 r9.510564804077148 * r8 + r1.420000076293945 - r6 ,
#3635 r8.090169906616211 * r6 + r3.219999313354492 - r7 ,
#3640 0! 0" 0# 0$ 0% 0& 0' r5.877852439880371 * r4 + r2.659999847412109 - r8 ,
#3645 1" 1# 1% 1& 1' r3.090169906616211 * r2 + r3.699999809265137 - r9 ,
#3650 r-10 ) r-8.823646566007148e-14 * r-5.617308037448275e-14 + r5.779999732971191 - r-10 ,
#3655 0% r-3.090169906616211 * r-2 + r-8.539999961853027 - r-9 ,
#3660 1! 0" 0# 1$ 1% 0& 0' r-5.877852439880371 * r-4 + r2.079999923706055 - r-8 ,
#3665 1" 1# 1& 1' r-8.090169906616211 * r-6 + r7.020000457763672 - r-7 ,
#3670 r-9.510564804077148 * r-8 + r6.100000381469727 - r-6 ,
#3675 r10 ) r-10 * r-10 + r-5 - r-5 ,
#3680 0" 0# 0$ 0% 0& r-9.510564804077148 * r-8 + r7.35999870300293 - r-4 ,
#3685 0! 1" 1# 1$ 1% 1& 0' r-8.090169906616211 * r-6 + r0.05999946594238281 - r-3 ,
#3690 r-5.877852439880371 * r-4 + r-0.3000001907348633 - r-2 ,
#3695 r-3.090169906616211 * r-2 + r-9.880000114440918 - r-1 ,
#3700 1! 0" 0# 0$ 0% 0& 1' r-10 ) r-1.95695900212815e-14 * r-1.245838759304611e-14 + r-6.100000381469727 - r0 ,
#3705 1" 1# 1$ 1% 1& r3.090169906616211 * r2 + r2.779999732971191 - r1 ,
#3710 r5.877852439880371 * r4 + r8.979999542236328 - r2 ,
#3715 r8.090169906616211 * r6 + r-7.600000381469727 - r3 ,
#3720 0! 0" 0# 0$ 0% 0& 0' r9.510564804077148 * r8 + r9.340000152587891 - r4 ,
#3725 1! 1" 1# 1% 1& 1' r10 ) r10 * r10 + r-5.480000019073486 - r5 ,
#3730 0# 1$ 0% r9.510564804077148 * r8 + r5.25999927520752 - r6 ,
#3735 0" 1# 1% 0& r8.090169906616211 * r6 + r3.539999961853027 - r7 ,
#3740 0! 1" 1& 0' r5.877852439880371 * r4 + r1.920000076293945 - r8 ,
#3745 1! 1' r3.090169906616211 * r2 + r9.619998931884766 - r9 ,
#3750 r-10 ) r1.273756490907663e-13 * r8.108985217244319e-14 + r7.299999237060547 - r-10 ,
#3755 r-3.090169906616211 * r-2 + r1.199999809265137 - r-9 ,
#3760 r-5.877852439880371 * r-4 + r-9.279999732971191 - r-8 ,
#3765 r-8.090169906616211 * r-6 + r9.100000381469727 - r-7 ,
#3770 r-9.510564804077148 * r-8 + r5.399999618530273 - r-6 ,
#3775 r10 ) r-10 * r-10 + r0.3599996566772461 - r-5 ,
#3780 r-9.510564804077148 * r-8 + r-5.78000020980835 - r-4 ,
#3785 r-8.090169906616211 * r-6 + r-3.160000324249268 - r-3 ,
#3790 r-5.877852439880371 * r-4 + r0.6399993896484375 - r-2 ,
#3795 r-3.090169906616211 * r-2 + r-6.079999923706055 - r-1 ,
#3800 0! 0" 0# 0$ 0% 0' r-10 ) r4.903539122598673e-14 * r3.121689782755246e-14 + r-2.420000076293945 - r0 ,
#3805 r3.090169906616211 * r2 + r-3.579999923706055 - r1 ,
#3810 1! 1" 1# 1$ 1% 1' r5.877852439880371 * r4 + r-4.599999904632568 - r2 ,
#3815 r8.090169906616211 * r6 + r9.680000305175781 - r3 ,
#3820 r9.510564804077148 * r8 + r-6.560000419616699 - r4 ,
#3825 r10 ) r10 * r10 + r-1.460000038146973 - r5 ,
#3830 r9.510564804077148 * r8 + r-5.320000171661377 - r6 ,
#3835 r8.090169906616211 * r6 + r-9.199999809265137 - r7 ,
#3840 0" 0# 0& r5.877852439880371 * r4 + r-4.340000152587891 - r8 ,
#3845 0! 1" 1# 0$ 1& 0' r3.090169906616211 * r2 + r-8.560000419616699 - r9 ,
#3850 r-10 ) r5.877066953756394e-14 * r3.74145701399764e-14 + r-2.039999961853027 - r-10 ,
#3855 r-3.090169906616211 * r-2 + r6.600000381469727 - r-9 ,
#3860 1! 0" 1$ 0% 0& 1' r-5.877852439880371 * r-4 + r-8.739999771118164 - r-8 ,
#3865 1" 1% 1& r-8.090169906616211 * r-6 + r-3.059999942779541 - r-7 ,
#3870 r-9.510564804077148 * r-8 + r9 - r-6 ,
#3875 r10 ) r-10 * r-10 + r-9.399999618530273 - r-5 ,
#3880 0! 0' r-9.510564804077148 * r-8 + r1.460000038146973 - r-4 ,
#3885 0" 0# 0$ 0% 0& r-8.090169906616211 * r-6 + r4.279999732971191 - r-3 ,
#3890 r-5.877852439880371 * r-4 + r-8.819999694824219 - r-2 ,
#3895 1" 1# 1$ 1% 1& r-3.090169906616211 * r-2 + r0.4399995803833008 - r-1 ,
#3900 1! 1' r-10 ) r-1.665767269129828e-13 * r-1.060460381075053e-13 + r-9.060000419616699 - r0 ,
#3905 r3.090169906616211 * r2 + r8.479999542236328 - r1 ,
#3910 r5.877852439880371 * r4 + r-8.359999656677246 - r2 ,
#3915 r8.090169906616211 * r6 + r-1.300000190734863 - r3 ,
#3920 0" 0# 0$ 0% 0& r9.510564804077148 * r8 + r-5.360000133514404 - r4 ,
#3925 0! 1" 1# 1$ 1% 1& 0' r10 ) r10 * r10 + r-5.920000076293945 - r5 ,
#3930 r9.510564804077148 * r8 + r9.079999923706055 - r6 ,
#3935 0$ r8.090169906616211 * r6 + r-1.140000343322754 - r7 ,
#3940 1! 0" 0% 0& 1' r5.877852439880371 * r4 + r7.959999084472656 - r8 ,
#3945 1" 1$ 1% 1& r3.090169906616211 * r2 + r-0.2800006866455078 - r9 ,
#3950 r-10 ) r-2.940514043196785e-13 * r-1.871989434125421e-13 + r2.799999237060547 - r-10 ,
#3955 r-3.090169906616211 * r-2 + r-4.440000057220459 - r-9 ,
#3960 0! 0" 0# 0$ 0% 0& 0' r-5.877852439880371 * r-4 + r-6.820000171661377 - r-8 ,
#3965 1" 1# 1% 1& 1' r-8.090169906616211 * r-6 + r-4.760000228881836 - r-7 ,
#3970 r-9.510564804077148 * r-8 + r-6 ,
#3975 0% r10 ) r-10 * r-10 + r3.659999847412109 - r-5 ,
#3980 1! 0" 0# 1$ 1% 0& 0' r-9.510564804077148 * r-8 + r-9.180000305175781 - r-4 ,
#3985 1" 1# 1& 1' r-8.090169906616211 * r-6 + r6.959999084472656 - r-3 ,
#3990 r-5.877852439880371 * r-4 + r4.460000038146973 - r-2 ,
#3995 r-3.090169906616211 * r-2 + r-3.519999980926514 - r-1 ,
#4000 0" 0# 0$ 0% 0& r-10 ) r-9.79717405835169e-14 * r-6.23707492987749e-14 + r-4.559999942779541 - r0 ,
#4005 0! 1" 1# 1$ 1% 1& 0' r3.090169906616211 * r2 + r-7.559999942779541 - r1 ,
#4010 r5.877852439880371 * r4 + r-6.920000076293945 - r2 ,
#4015 r8.090169906616211 * r6 + r-3.300000190734863 - r3 ,
#4020 1! 0" 0# 0$ 0% 0& 1' r9.510564804077148 * r8 + r6.420000076293945 - r4 ,
#4025 1" 1# 1$ 1% 1& r10 ) r10 * r10 + r-0.8600006103515625 - r5 ,
#4030 r9.510564804077148 * r8 + r-2.700000286102295 - r6 ,
#4035 r8.090169906616211 * r6 + r4.939999580383301 - r7 ,
#4040 0! 0" 0# 0$ 0% 0& 0' r5.877852439880371 * r4 + r-6.579999923706055 - r8 ,
#4045 1! 1" 1# 1% 1& 1' r3.090169906616211 * r2 + r5.519999504089355 - r9 ,
#4050 0# 1$ 0% r-10 ) r2.057778047351994e-13 * r1.310022104900402e-13 + r-4.619999885559082 - r-10 ,
#4055 0" 1# 1% 0& r-3.090169906616211 * r-2 + r-5.639999866485596 - r-9 ,
#4060 0! 1" 1& 0' r-5.877852439880371 * r-4 + r4.019999504089355 - r-8 ,
#4065 1! 1' r-8.090169906616211 * r-6 + r4.059999465942383 - r-7 ,
#4070 r-9.510564804077148 * r-8 + r3.059999465942383 - r-6 ,
#4075 r10 ) r-10 * r-10 + r8.659999847412109 - r-5 ,
#4080 r-9.510564804077148 * r-8 + r8.139999389648438 - r-4 ,
#4085 r-8.090169906616211 * r-6 + r9.180000305175781 - r-3 ,
#4090 r-5.877852439880371 * r-4 + r4.559999465942383 - r-2 ,
#4095 r-3.090169906616211 * r-2 + r6.119998931884766 - r-1 ,
#4100 r-10 ) r2.548503400499891e-13 * r1.622427642537436e-13 + r5.939999580383301 - r0 ,
#4105 r3.090169906616211 * r2 + r4.399999618530273 - r1 ,
#4110 r5.877852439880371 * r4 + r-8.319999694824219 - r2 ,
#4115 r8.090169906616211 * r6 + r-3.840000152587891 - r3 ,
#4120 0! 0" 0# 0$ 0% 0' r9.510564804077148 * r8 + r-3.320000171661377 - r4 ,
#4125 r10 ) r10 * r10 + r3.960000038146973 - r5 ,
#4130 1! 1" 1# 1$ 1% 1' r9.510564804077148 * r8 + r9.819999694824219 - r6 ,
#4135 r8.090169906616211 * r6 + r-2.480000019073486 - r7 ,
#4140 r5.877852439880371 * r4 + r7.959999084472656 - r8 ,
#4145 r3.090169906616211 * r2 + r4.299999237060547 - r9 ,
#4150 r-10 ) r-1.47044269122043e-13 * r-9.361128950995112e-14 + r-8.960000038146973 - r-10 ,
#4155 r-3.090169906616211 * r-2 + r-6.579999923706055 - r-9 ,
#4160 0" 0# 0& r-5.877852439880371 * r-4 + r-6.220000267028809 - r-8 ,
#4165 0! 1" 1# 0$ 1& 0' r-8.090169906616211 * r-6 + r1.179999351501465 - r-7 ,
#4170 r-9.510564804077148 * r-8 + r0.119999885559082 - r-6 ,
#4175 r10 ) r-10 * r-10 + r-9.800000190734863 - r-5 ,
#4180 1! 0" 1$ 0% 0& 1' r-9.510564804077148 * r-8 + r-9.680000305175781 - r-4 ,
#4185 1" 1% 1& r-8.090169906616211 * r-6 + r-5.519999980926514 - r-3 ,
#4190 r-5.877852439880371 * r-4 + r-7.819999694824219 - r-2 ,
#4195 r-3.090169906616211 * r-2 + r0.7799997329711914 - r-1 ,
#4200 0! 0' r-10 ) r3.923821513475596e-14 * r2.497982493055405e-14 + r-10 - r0 ,
#4205 0" 0# 0$ 0% 0& r3.090169906616211 * r2 + r-2.440000057220459 - r1 ,
#4210 r5.877852439880371 * r4 + r-7.819999694824219 - r2 ,
#4215 1" 1# 1$ 1% 1& r8.090169906616211 * r6 + r-8.940000534057617 - r3 ,
#4220 1! 1' r9.510564804077148 * r8 + r-8.380000114440918 - r4 ,
#4225 r10 ) r10 * r10 + r-7.720000267028809 - r5 ,
#4230 r9.510564804077148 * r8 + r-3.240000247955322 - r6 ,
#4235 r8.090169906616211 * r6 + r9.779998779296875 - r7 ,
#4240 0" 0# 0$ 0% 0& r5.877852439880371 * r4 + r-1.480000495910645 - r8 ,
#4245 0! 1" 1# 1$ 1% 1& 0' r3.090169906616211 * r2 + r-8.659999847412109 - r9 ,
#4250 r-10 ) r6.856783885253112e-14 * r4.365164303697482e-14 + r-7.060000419616699 - r-10 ,
#4255 0$ r-3.090169906616211 * r-2 + r-5.539999961853027 - r-9 ,
#4260 1! 0" 0% 0& 1' r-5.877852439880371 * r-4 + r5.739999771118164 - r-8 ,
#4265 1" 1$ 1% 1& r-8.090169906616211 * r-6 + r-5.380000114440918 - r-7 ,
#4270 r-9.510564804077148 * r-8 + r0.6399993896484375 - r-6 ,
#4275 r10 ) r-10 * r-10 + r-7.559999942779541 - r-5 ,
#4280 0! 0" 0# 0$ 0% 0& 0' r-9.510564804077148 * r-8 + r-4.380000114440918 - r-4 ,
#4285 1" 1# 1% 1& 1' r-8.090169906616211 * r-6 + r7.5 - r-3 ,
#4290 r-5.877852439880371 * r-4 + r7 - r-2 ,
#4295 0% r-3.090169906616211 * r-2 + r-6.420000076293945 - r-1 ,
#4300 1! 0" 0# 1$ 1% 0& 0' r-10 ) r-1.763739030042136e-13 * r-1.122831076163719e-13 + r1.800000190734863 - r0 ,
#4305 1" 1# 1& 1' r3.090169906616211 * r2 + r-4.920000076293945 - r1 ,
#4310 r5.877852439880371 * r4 + r-3 - r2 ,
#4315 r8.090169906616211 * r6 + r-7.380000114440918 - r3 ,
#4320 0" 0# 0$ 0% 0& r9.510564804077148 * r8 + r6.260000228881836 - r4 ,
#4325 0! 1" 1# 1$ 1% 1& 0' r10 ) r10 * r10 + r7.139999389648438 - r5 ,
#4330 r9.510564804077148 * r8 + r-0.119999885559082 - r6 ,
#4335 r8.090169906616211 * r6 + r-6.380000114440918 - r7 ,
#4340 1! 0" 0# 0$ 0% 0& 1' r5.877852439880371 * r4 + r-8.380000114440918 - r8 ,
#4345 1" 1# 1$ 1% 1& r3.090169906616211 * r2 + r2.059999465942383 - r9 ,
#4350 r-10 ) r2.841799603796324e-13 * r1.809145823601643e-13 + r4.399999618530273 - r-10 ,
#4355 r-3.090169906616211 * r-2 + r-1.340000152587891 - r-9 ,
#4360 0! 0" 0# 0$ 0% 0& 0' r-5.877852439880371 * r-4 + r9.639999389648438 - r-8 ,
#4365 1! 1" 1# 1% 1& 1' r-8.090169906616211 * r-6 + r-6.380000114440918 - r-7 ,
#4370 0# 1$ 0% r-9.510564804077148 * r-8 + r-0.2600002288818359 - r-6 ,
#4375 0" 1# 1% 0& r10 ) r-10 * r-10 + r-1.699999809265137 - r-5 ,
#4380 0! 1" 1& 0' r-9.510564804077148 * r-8 + r-4.079999923706055 - r-4 ,
#4385 1! 1' r-8.090169906616211 * r-6 + r6.5 - r-3 ,
#4390 r-5.877852439880371 * r-4 + r-1.920000076293945 - r-2 ,
#4395 r-3.090169906616211 * r-2 + r4.439999580383301 - r-1 ,
#4400 r-10 ) r1.764481708530288e-13 * r1.12330399159883e-13 + r7.840000152587891 - r0 ,
#4405 r3.090169906616211 * r2 + r1.019999504089355 - r1 ,
#4410 r5.877852439880371 * r4 + r-4.059999942779541 - r2 ,
#4415 r8.090169906616211 * r6 + r-9.359999656677246 - r3 ,
#4420 r9.510564804077148 * r8 + r-7.320000171661377 - r4 ,
#4425 r10 ) r10 * r10 + r-6.380000114440918 - r5 ,
#4430 r9.510564804077148 * r8 + r0.119999885559082 - r6 ,
#4435 r8.090169906616211 * r6 + r-1.699999809265137 - r7 ,
#4440 0! 0" 0# 0$ 0% 0' r5.877852439880371 * r4 + r-8.859999656677246 - r8 ,
#4445 r3.090169906616211 * r2 + r4.159999847412109 - r9 ,
#4450 1! 1" 1# 1$ 1% 1' r-10 ) r-6.864212025387353e-14 * r-4.369893119235413e-14 + r1.899999618530273 - r-10 ,
#4455 r-3.090169906616211 * r-2 + r9.979999542236328 - r-9 ,
#4460 r-5.877852439880371 * r-4 + r9.239999771118164 - r-8 ,
#4465 r-8.090169906616211 * r-6 + r-4.059999942779541 - r-7 ,
#4470 r-9.510564804077148 * r-8 + r-0.3400001525878906 - r-6 ,
#4475 r10 ) r-10 * r-10 + r5.519999504089355 - r-5 ,
#4480 0" 0# 0& r-9.510564804077148 * r-8 + r-6.920000076293945 - r-4 ,
#4485 0! 1" 1# 0$ 1& 0' r-8.090169906616211 * r-6 + r9.539999008178711 - r-3 ,
#4490 r-5.877852439880371 * r-4 + r-3.820000171661377 - r-2 ,
#4495 r-3.090169906616211 * r-2 + r1.739999771118164 - r-1 ,
#4500 1! 0" 1$ 0% 0& 1' r-10 ) r-3.916393712154534e-14 * r-2.493253677517474e-14 + r8.639999389648438 - r0 ,
#4505 1" 1% 1& r3.090169906616211 * r2 + r-2.360000133514404 - r1 ,
#4510 r5.877852439880371 * r4 + r-9.579999923706055 - r2 ,
#4515 r8.090169906616211 * r6 + r-4.680000305175781 - r3 ,
#4520 0! 0' r9.510564804077148 * r8 + r1.25999927520752 - r4 ,
#4525 0" 0# 0$ 0% 0& r10 ) r10 * r10 + r7.19999885559082 - r5 ,
#4530 r9.510564804077148 * r8 + r3.639999389648438 - r6 ,
#4535 1" 1# 1$ 1% 1& r8.090169906616211 * r6 + r-5.78000020980835 - r7 ,
#4540 1! 1' r5.877852439880371 * r4 + r3.699999809265137 - r8 ,
#4545 r3.090169906616211 * r2 + r-8.279999732971191 - r9 ,
#4550 r-10 ) r1.469700012732278e-13 * r9.35640047427036e-14 + r-4.300000190734863 - r-10 ,
#4555 r-3.090169906616211 * r-2 + r8.600000381469727 - r-9 ,
#4560 0" 0# 0$ 0% 0& r-5.877852439880371 * r-4 + r9.799999237060547 - r-8 ,
#4565 0! 1" 1# 1$ 1% 1& 0' r-8.090169906616211 * r-6 + r1.659999847412109 - r-7 ,
#4570 r-9.510564804077148 * r-8 + r-3.720000267028809 - r-6 ,
#4575 0$ r10 ) r-10 * r-10 + r-0.4800004959106445 - r-5 ,
#4580 1! 0" 0% 0& 1' r-9.510564804077148 * r-8 + r-7.680000305175781 - r-4 ,
#4585 1" 1$ 1% 1& r-8.090169906616211 * r-6 + r6.399999618530273 - r-3 ,
#4590 r-5.877852439880371 * r-4 + r7.840000152587891 - r-2 ,
#4595 r-3.090169906616211 * r-2 + r0.5 - r-1 ,
#4600 0! 0" 0# 0$ 0% 0& 0' r-10 ) r-2.547760450961195e-13 * r-1.621954659339689e-13 + r0.5599994659423828 - r0 ,
#4605 1" 1# 1% 1& 1' r3.090169906616211 * r2 + r6.779998779296875 - r1 ,
#4610 r5.877852439880371 * r4 + r0.5 - r2 ,
#4615 0% r8.090169906616211 * r6 + r-0.1999998092651367 - r3 ,
#4620 1! 0" 0# 1$ 1% 0& 0' r9.510564804077148 * r8 + r-7.279999732971191 - r4 ,
#4625 1" 1# 1& 1' r10 ) r10 * r10 + r-2.800000190734863 - r5 ,
#4630 r9.510564804077148 * r8 + r2.359999656677246 - r6 ,
#4635 r8.090169906616211 * r6 + r2.859999656677246 - r7 ,
#4640 0" 0# 0$ 0% 0& r5.877852439880371 * r4 + r-3.260000228881836 - r8 ,
#4645 0! 1" 1# 1$ 1% 1& 0' r3.090169906616211 * r2 + r8.559999465942383 - r9 ,
#4650 r-10 ) r3.625821160240655e-13 * r2.308269406777613e-13 + r1.639999389648438 - r10 ,
#4655 r-3.090169906616211 * r-2 + r2.420000076293945 - r-9 ,
#4660 1! 0" 0# 0$ 0% 0& 1' r-5.877852439880371 * r-4 + r-3.800000190734863 - r-8 ,
#4665 1" 1# 1$ 1% 1& r-8.090169906616211 * r-6 + r9.100000381469727 - r-7 ,
#4670 r-9.510564804077148 * r-8 + r7.760000228881836 - r-6 ,
#4675 r10 ) r-10 * r-10 + r-5.5 - r-5 ,
#4680 0! 0" 0# 0$ 0% 0& 0' r-9.510564804077148 * r-8 + r6.299999237060547 - r-4 ,
#4685 1! 1" 1# 1% 1& 1' r-8.090169906616211 * r-6 + r1.399999618530273 - r-3 ,
#4690 0# 1$ 0% r-5.877852439880371 * r-4 + r-1.260000228881836 - r-2 ,
#4695 0" 1# 1% 0& r-3.090169906616211 * r-2 + r7.059999465942383 - r-1 ,
#4700 0! 1" 1& 0' r-10 ) r9.804602198485932e-14 * r6.241803406602242e-14 + r-9.840000152587891 - r0 ,
#4705 1! 1' r3.090169906616211 * r2 + r4.439999580383301 - r1 ,
#4710 r5.877852439880371 * r4 + r5.659999847412109 - r2 ,
#4715 r8.090169906616211 * r6 + r-3 - r3 ,
#4720 r9.510564804077148 * r8 + r3.139999389648438 - r4 ,
#4725 r10 ) r10 * r10 + r-8.060000419616699 - r5 ,
#4730 r9.510564804077148 * r8 + r6.539999008178711 - r6 ,
#4735 r8.090169906616211 * r6 + r-7.480000019073486 - r7 ,
#4740 r5.877852439880371 * r4 + r-4.619999885559082 - r8 ,
#4745 r3.090169906616211 * r2 + r-8.579999923706055 - r9 ,
#4750 r-10 ) r9.760035390559557e-15 * r6.213431783924075e-15 + r3.019999504089355 - r-10 ,
#4755 r-3.090169906616211 * r-2 + r-7.019999980926514 - r-9 ,
#4760 0! 0" 0# 0$ 0% 0' r-5.877852439880371 * r-4 + r8.19999885559082 - r-8 ,
#4765 r-8.090169906616211 * r-6 + r0.5599994659423828 - r-7 ,
#4770 1! 1" 1# 1$ 1% 1' r-9.510564804077148 * r-8 + r2.779999732971191 - r-6 ,
#4775 r10 ) r-10 * r-10 + r-2.039999961853027 - r-5 ,
#4780 r-9.510564804077148 * r-8 + r7.760000228881836 - r-4 ,
#4785 r-8.090169906616211 * r-6 + r2.199999809265137 - r-3 ,
#4790 r-5.877852439880371 * r-4 + r-2.140000343322754 - r-2 ,
#4795 r-3.090169906616211 * r-2 + r1.539999961853027 - r-1 ,
#4800 0" 0# 0& r-10 ) r-1.175660859897149e-13 * r-7.484490186903531e-14 + r7.799999237060547 - r-1.4210854715202e-13 ,
#4805 0! 1" 1# 0$ 1& 0' r3.090169906616211 * r2 + r9.520000457763672 - r1 ,
#4810 r5.877852439880371 * r4 + r-6.019999980926514 - r2 ,
#4815 r8.090169906616211 * r6 + r1.039999961853027 - r3 ,
#4820 1! 0" 1$ 0% 0& 1' r9.510564804077148 * r8 + r8.619998931884766 - r4 ,
#4825 1" 1% 1& r10 ) r10 * r10 + r-8.260000228881836 - r5 ,
#4830 r9.510564804077148 * r8 + r5.539999961853027 - r6 ,
#4835 r8.090169906616211 * r6 + r-8.020000457763672 - r7 ,
#4840 0! 0' r5.877852439880371 * r4 + r3.139999389648438 - r8 ,
#4845 0" 0# 0$ 0% 0& r3.090169906616211 * r2 + r1.319999694824219 - r9 ,
#4850 r-10 ) r2.253721433651337e-13 * r1.434763630603006e-13 + r9.039999008178711 - r-10 ,
#4855 1" 1# 1$ 1% 1& r-3.090169906616211 * r-2 + r-9.659999847412109 - r-9 ,
#4860 1! 1' r-5.877852439880371 * r-4 + r2.819999694824219 - r-8 ,
#4865 r-8.090169906616211 * r-6 + r4.699999809265137 - r-7 ,
#4870 r-9.510564804077148 * r-8 + r-2.640000343322754 - r-6 ,
#4875 r10 ) r-10 * r-10 + r-4.039999961853027 - r-5 ,
#4880 0" 0# 0$ 0% 0& r-9.510564804077148 * r-8 + r-6.320000171661377 - r-4 ,
#4885 0! 1" 1# 1$ 1% 1& 0' r-8.090169906616211 * r-6 + r-6.100000381469727 - r-3 ,
#4890 r-5.877852439880371 * r-4 + r5.519999504089355 - r-2 ,
#4895 0$ r-3.090169906616211 * r-2 + r6.100000381469727 - r-1 ,
#4900 1! 0" 0% 0& 1' r-10 ) r-3.331782007405526e-13 * r-2.12107837804093e-13 + r-4.680000305175781 - r0 ,
#4905 1" 1$ 1% 1& r3.090169906616211 * r2 + r-1.440000534057617 - r1 ,
#4910 r5.877852439880371 * r4 + r9.079999923706055 - r2 ,
#4915 r8.090169906616211 * r6 + r0.5599994659423828 - r3 ,
#4920 0! 0" 0# 0$ 0% 0& 0' r9.510564804077148 * r8 + r-3.840000152587891 - r4 ,
#4925 1" 1# 1% 1& 1' r10 ) r10 * r10 + r1.859999656677246 - r5 ,
#4930 r9.510564804077148 * r8 + r-4.440000057220459 - r6 ,
#4935 0% r8.090169906616211 * r6 + r-6.060000419616699 - r7 ,
#4940 1! 0" 0# 1$ 1% 0& 0' r5.877852439880371 * r4 + r1.09999942779541 - r8 ,
#4945 1" 1# 1& 1' r3.090169906616211 * r2 + r3.439999580383301 - r9 ,
#4950 r-10 ) r-1.274499304921087e-13 * r-8.113714371595429e-14 + r5.479999542236328 - r-10 ,
#4955 r-3.090169906616211 * r-2 + r-1.100000381469727 - r-9 ,
#4960 0" 0# 0$ 0% 0& r-5.877852439880371 * r-4 + r-10 - r-8 ,
#4965 0! 1" 1# 1$ 1% 1& 0' r-8.090169906616211 * r-6 + r-3.5 - r-7 ,
#4970 r-9.510564804077148 * r-8 + r9.939998626708984 - r-6 ,
#4975 r10 ) r-10 * r-10 + r-4.340000152587891 - r-5 ,
#4980 1! 0" 0# 0$ 0% 0& 1' r-9.510564804077148 * r-8 + r-1.760000228881836 - r-4 ,
#4985 1" 1# 1$ 1% 1& r-8.090169906616211 * r-6 + r-7.460000038146973 - r-3 ,
#4990 r-5.877852439880371 * r-4 + r-2.360000133514404 - r-2 ,
#4995 r-3.090169906616211 * r-2 + r-1.579999923706055 - r-1 ,
#5000