--- /dev/null
+$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
+