prospero.jit/prospero.vm at main · CRefice/prospero.jit · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
# Text of a monologue from The Tempest
_0 const 2.95
_1 var-x
_2 const 8.13008
_3 mul _1 _2
_4 add _0 _3
_5 const 3.675
_6 add _5 _3
_7 neg _6
_8 max _4 _7
_9 const 0.175
_a neg _4
_b square _a
_c const 6.025
_d var-y
_e mul _d _2
_f add _c _e
_10 square _f
_11 add _b _10
_12 sqrt _11
_13 sub _9 _12
_14 max _8 _13
_15 const 0.275
_16 sub _12 _15
_17 max _14 _16
_18 const 5.3
_19 add _18 _e
_1a max _17 _19
_1b const 6.3
_1c add _1b _e
_1d neg _1c
_1e max _1a _1d
_1f const 4.025
_20 add _1f _3
_21 const 4.125
_22 add _21 _3
_23 neg _22
_24 max _20 _23
_25 max _24 _19
_26 max _25 _1d
_27 min _1e _26
_28 const 4.275
_29 add _28 _3
_2a const 4.375
_2b add _2a _3
_2c neg _2b
_2d max _29 _2c
_2e max _2d _19
_2f max _2e _1d
_30 min _27 _2f
_31 const 5.5
_32 add _31 _e
_33 const 5.75
_34 add _33 _e
_35 neg _34
_36 max _32 _35
_37 const 4.5
_38 add _37 _3
_39 max _36 _38
_3a const 4.6
_3b add _3a _3
_3c neg _3b
_3d max _39 _3c
_3e min _30 _3d
_3f const 5.4
_40 add _3f _e
_41 neg _40
_42 const 4.7
_43 add _42 _3
_44 max _41 _43
_45 const 5.2
_46 add _45 _3
_47 neg _46
_48 max _44 _47
_49 max _48 _19
_4a min _3e _49
_4b max _43 _47
_4c const 6.2
_4d add _4c _e
_4e max _4b _4d
_4f max _4e _1d
_50 min _4a _4f
_51 const 4.9
_52 add _51 _3
_53 const 5
_54 add _53 _3
_55 neg _54
_56 max _52 _55
_57 max _56 _19
_58 max _57 _1d
_59 min _50 _58
_5a const 4.2
_5b add _5a _e
_5c const 5.2
_5d add _5c _e
_5e neg _5d
_5f max _5b _5e
_60 const 5.7205
_61 sub _60 _3
_62 max _5f _61
_63 const 5.8205
_64 sub _3 _63
_65 max _62 _64
_66 min _59 _65
_67 const 4.65
_68 add _67 _e
_69 const 4.75
_6a add _69 _e
_6b neg _6a
_6c max _68 _6b
_6d const 5.54551
_6e sub _6d _3
_6f max _6c _6e
_70 const 5.7205
_71 sub _3 _70
_72 max _6f _71
_73 min _66 _72
_74 max _5e _6e
_75 max _74 _71
_76 const 5.1
_77 add _76 _e
_78 max _75 _77
_79 min _73 _78
_7a const 1.53565
_7b const 2.84553
_7c mul _d _7b
_7d add _7a _7c
_7e const 4.47154
_7f mul _1 _7e
_80 sub _7d _7f
_81 const 0.90565
_82 const 2.03252
_83 mul _d _82
_84 add _81 _83
_85 sub _7f _84
_86 max _80 _85
_87 const 0.575
_88 const 0.813008
_89 mul _d _88
_8a add _87 _89
_8b neg _8a
_8c max _86 _8b
_8d min _79 _8c
_8e const 2.24435
_8f add _83 _8e
_90 add _8f _7f
_91 neg _90
_92 const 2.81935
_93 add _92 _7c
_94 add _93 _7f
_95 max _91 _94
_96 const 0.63
_97 const 0.813008
_98 mul _d _97
_99 add _96 _98
_9a neg _99
_9b max _95 _9a
_9c min _8d _9b
_9d const 2.81935
_9e add _9d _7c
_9f add _9e _7f
_a0 neg _9f
_a1 max _90 _a0
_a2 max _a1 _99
_a3 min _9c _a2
_a4 const 2.18935
_a5 add _83 _a4
_a6 add _a5 _7f
_a7 max _a0 _a6
_a8 max _a7 _8a
_a9 min _a3 _a8
_aa neg _a6
_ab max _94 _aa
_ac max _ab _8b
_ad min _a9 _ac
_ae const 1.842
_af add _ae _3
_b0 square _af
_b1 add _b0 _10
_b2 sqrt _b1
_b3 sub _9 _b2
_b4 sub _b2 _15
_b5 max _b3 _b4
_b6 min _ad _b5
_b7 const 2.475
_b8 add _b7 _3
_b9 const 2.575
_ba add _b9 _3
_bb neg _ba
_bc max _b8 _bb
_bd max _bc _34
_be max _bd _1d
_bf min _b6 _be
_c0 const 3.12857
_c1 const 11.6144
_c2 mul _1 _c1
_c3 add _c0 _c2
_c4 const 3.67857
_c5 add _c4 _c2
_c6 neg _c5
_c7 max _c3 _c6
_c8 const 0.45
_c9 square _1c
_ca const 3.91072
_cb const 14.518
_cc mul _1 _cb
_cd add _ca _cc
_ce square _cd
_cf add _c9 _ce
_d0 sqrt _cf
_d1 sub _c8 _d0
_d2 max _c7 _d1
_d3 square _c3
_d4 add _c9 _d3
_d5 sqrt _d4
_d6 const 0.55
_d7 sub _d5 _d6
_d8 max _d2 _d7
_d9 max _d8 _34
_da max _d9 _1d
_db min _bf _da
_dc const 2.775
_dd add _dc _3
_de neg _dd
_df const 2.675
_e0 add _df _3
_e1 max _de _e0
_e2 max _e1 _19
_e3 max _e2 _1d
_e4 min _db _e3
_e5 max _dd _a
_e6 max _e5 _34
_e7 const 5.85
_e8 add _e7 _e
_e9 neg _e8
_ea max _e6 _e9
_eb min _e4 _ea
_ec max _e5 _4d
_ed max _ec _1d
_ee min _eb _ed
_ef const 1.33245
_f0 const 3.61337
_f1 mul _1 _f0
_f2 sub _ef _f1
_f3 square _f2
_f4 const 4.815
_f5 add _f4 _e
_f6 neg _f5
_f7 square _f6
_f8 add _f3 _f7
_f9 sqrt _f8
_fa const 0.0625
_fb sub _f9 _fa
_fc const 4.975
_fd add _fc _e
_fe neg _fd
_ff const 4.8125
_100 add _ff _e
_101 max _fe _100
_102 const 2.00117
_103 const 5.42005
_104 mul _1 _103
_105 sub _102 _104
_106 max _101 _105
_107 const 2.16367
_108 sub _104 _107
_109 max _106 _108
_10a min _fb _109
_10b neg _10a
_10c const 4.8125
_10d add _10c _e
_10e neg _10d
_10f square _10e
_110 square _105
_111 add _10f _110
_112 sqrt _111
_113 const 0.1625
_114 sub _112 _113
_115 max _10b _114
_116 min _ee _115
_117 const 5.0375
_118 add _117 _e
_119 neg _118
_11a const 2.00117
_11b sub _104 _11a
_11c max _119 _11b
_11d const 1.83867
_11e sub _11d _104
_11f max _11c _11e
_120 const 4.875
_121 add _120 _e
_122 max _11f _121
_123 const 5.035
_124 add _123 _e
_125 square _124
_126 const 1.33578
_127 sub _f1 _126
_128 square _127
_129 add _125 _128
_12a sqrt _129
_12b sub _12a _fa
_12c min _122 _12b
_12d neg _12c
_12e const 5.0375
_12f add _12e _e
_130 square _12f
_131 square _11b
_132 add _130 _131
_133 sqrt _132
_134 sub _133 _113
_135 max _12d _134
_136 min _116 _135
_137 const 4.95
_138 add _137 _e
_139 neg _138
_13a max _5b _139
_13b const 1.808
_13c sub _3 _13b
_13d max _13a _13c
_13e const 1.708
_13f sub _13e _3
_140 max _13d _13f
_141 min _136 _140
_142 const 4.55
_143 add _142 _e
_144 neg _68
_145 max _143 _144
_146 const 1.958
_147 sub _3 _146
_148 max _145 _147
_149 const 1.558
_14a sub _149 _3
_14b max _148 _14a
_14c min _141 _14b
_14d max _5e _138
_14e max _14d _147
_14f max _14e _14a
_150 const 0.15
_151 square _138
_152 square _147
_153 add _151 _152
_154 sqrt _153
_155 sub _150 _154
_156 max _14f _155
_157 const 0.25
_158 sub _154 _157
_159 max _156 _158
_15a min _14c _159
_15b const 4.8205
_15c sub _15b _3
_15d max _5f _15c
_15e const 5.5455
_15f sub _3 _15e
_160 max _15d _15f
_161 const 4.925
_162 add _161 _e
_163 square _162
_164 square _6e
_165 add _163 _164
_166 sqrt _165
_167 sub _9 _166
_168 max _160 _167
_169 sub _166 _15
_16a max _168 _169
_16b min _15a _16a
_16c max _5e _121
_16d const 5.1955
_16e sub _3 _16d
_16f max _16c _16e
_170 const 5.0955
_171 sub _170 _3
_172 max _16f _171
_173 min _16b _172
_174 max _5e _68
_175 const 4.7455
_176 sub _3 _175
_177 max _174 _176
_178 const 4.6455
_179 sub _178 _3
_17a max _177 _179
_17b min _173 _17a
_17c max _68 _16e
_17d max _17c _179
_17e neg _121
_17f max _17d _17e
_180 const 4.9205
_181 sub _3 _180
_182 square _181
_183 add _163 _182
_184 sqrt _183
_185 sub _9 _184
_186 max _17f _185
_187 sub _184 _15
_188 max _186 _187
_189 min _17b _188
_18a const 4.5455
_18b sub _3 _18a
_18c max _174 _18b
_18d const 4.4455
_18e sub _18d _3
_18f max _18c _18e
_190 min _189 _18f
_191 const 4.925
_192 add _191 _e
_193 neg _192
_194 max _68 _193
_195 const 4.0955
_196 sub _3 _195
_197 max _194 _196
_198 const 3.9955
_199 sub _198 _3
_19a max _197 _199
_19b min _190 _19a
_19c max _5e _162
_19d max _19c _18b
_19e max _19d _199
_19f const 4.2705
_1a0 sub _3 _19f
_1a1 square _1a0
_1a2 add _163 _1a1
_1a3 sqrt _1a2
_1a4 sub _9 _1a3
_1a5 max _19e _1a4
_1a6 sub _1a3 _15
_1a7 max _1a5 _1a6
_1a8 min _19b _1a7
_1a9 const 3.6205
_1aa sub _3 _1a9
_1ab square _1aa
_1ac add _163 _1ab
_1ad sqrt _1ac
_1ae sub _9 _1ad
_1af sub _1ad _15
_1b0 max _1ae _1af
_1b1 min _1a8 _1b0
_1b2 const 0.142001
_1b3 add _1b2 _3
_1b4 max _5e _1b3
_1b5 const 0.242001
_1b6 add _1b5 _3
_1b7 neg _1b6
_1b8 max _1b4 _1b7
_1b9 const 4.85
_1ba add _1b9 _e
_1bb max _1b8 _1ba
_1bc min _1b1 _1bb
_1bd const 0.392001
_1be add _1bd _3
_1bf max _5e _1be
_1c0 const 0.492001
_1c1 add _1c0 _3
_1c2 neg _1c1
_1c3 max _1bf _1c2
_1c4 const 4.675
_1c5 add _1c4 _e
_1c6 max _1c3 _1c5
_1c7 min _1bc _1c6
_1c8 max _143 _1c2
_1c9 const 0.157999
_1ca sub _3 _1c9
_1cb max _1c8 _1ca
_1cc const 0.075
_1cd const 0.0670004
_1ce add _1cd _3
_1cf square _1ce
_1d0 square _1ba
_1d1 add _1cf _1d0
_1d2 sqrt _1d1
_1d3 sub _1cc _1d2
_1d4 sub _1d2 _9
_1d5 max _1d3 _1d4
_1d6 const 0.317
_1d7 add _1d6 _3
_1d8 square _1d7
_1d9 add _1d8 _1d0
_1da sqrt _1d9
_1db sub _1cc _1da
_1dc sub _1da _9
_1dd max _1db _1dc
_1de min _1d5 _1dd
_1df max _1cb _1de
_1e0 const 4.85
_1e1 add _1e0 _e
_1e2 neg _1e1
_1e3 max _1df _1e2
_1e4 min _1c7 _1e3
_1e5 const 0.592
_1e6 add _1e5 _3
_1e7 max _174 _1e6
_1e8 const 0.692001
_1e9 add _1e8 _3
_1ea neg _1e9
_1eb max _1e7 _1ea
_1ec min _1e4 _1eb
_1ed const 1.042
_1ee add _1ed _3
_1ef max _194 _1ee
_1f0 const 1.142
_1f1 add _1f0 _3
_1f2 neg _1f1
_1f3 max _1ef _1f2
_1f4 min _1ec _1f3
_1f5 max _19c _1e6
_1f6 max _1f5 _1f2
_1f7 const 0.867001
_1f8 add _1f7 _3
_1f9 square _1f8
_1fa add _163 _1f9
_1fb sqrt _1fa
_1fc sub _9 _1fb
_1fd max _1f6 _1fc
_1fe sub _1fb _15
_1ff max _1fd _1fe
_200 min _1f4 _1ff
_201 const 1.267
_202 add _201 _3
_203 max _5f _202
_204 const 1.367
_205 add _204 _3
_206 neg _205
_207 max _203 _206
_208 min _200 _207
_209 const 5.575
_20a add _209 _e
_20b neg _20a
_20c max _68 _20b
_20d const 1.942
_20e add _20d _3
_20f max _20c _20e
_210 const 2.042
_211 add _210 _3
_212 neg _211
_213 max _20f _212
_214 min _208 _213
_215 const 4.885
_216 add _215 _e
_217 const 4.975
_218 add _217 _e
_219 neg _218
_21a max _216 _219
_21b const 1.458
_21c sub _3 _21b
_21d max _21a _21c
_21e const 0.958001
_21f sub _21e _3
_220 max _21d _21f
_221 const 1.183
_222 sub _3 _221
_223 square _222
_224 add _163 _223
_225 sqrt _224
_226 sub _225 _15
_227 const 3.20125
_228 const 5.28455
_229 mul _d _228
_22a add _227 _229
_22b const 2.23577
_22c mul _1 _22b
_22d const 1.1947
_22e const 1.21951
_22f mul _d _22e
_230 add _22d _22f
_231 sub _22c _230
_232 max _22a _231
_233 const 2.1853
_234 add _233 _22c
_235 const 4.06504
_236 mul _d _235
_237 add _234 _236
_238 neg _237
_239 max _232 _238
_23a const 2.1853
_23b add _23a _22c
_23c add _23b _236
_23d sub _230 _22c
_23e max _23c _23d
_23f neg _22a
_240 max _23e _23f
_241 min _239 _240
_242 neg _241
_243 max _226 _242
_244 sub _9 _225
_245 max _243 _244
_246 min _220 _245
_247 max _226 _246
_248 min _214 _247
_249 max _5e _1ba
_24a const 0.808001
_24b sub _3 _24a
_24c max _249 _24b
_24d const 0.708
_24e sub _24d _3
_24f max _24c _24e
_250 min _248 _24f
_251 const 0.558001
_252 sub _3 _251
_253 max _249 _252
_254 const 0.458
_255 sub _254 _3
_256 max _253 _255
_257 min _250 _256
_258 max _5e _1c5
_259 const 0.308001
_25a sub _3 _259
_25b max _258 _25a
_25c const 0.208
_25d sub _25c _3
_25e max _25b _25d
_25f min _257 _25e
_260 max _143 _25d
_261 max _260 _1e2
_262 const 0.858
_263 sub _3 _262
_264 max _261 _263
_265 const 0.633
_266 sub _3 _265
_267 square _266
_268 add _1d0 _267
_269 sqrt _268
_26a sub _1cc _269
_26b sub _269 _9
_26c max _26a _26b
_26d const 0.383
_26e sub _3 _26d
_26f square _26e
_270 add _1d0 _26f
_271 sqrt _270
_272 sub _1cc _271
_273 sub _271 _9
_274 max _272 _273
_275 min _26c _274
_276 max _264 _275
_277 min _25f _276
_278 const 0.108
_279 sub _3 _278
_27a max _249 _279
_27b const 0.00799942
_27c sub _27b _3
_27d max _27a _27c
_27e min _277 _27d
_27f const 1.767
_280 add _27f _3
_281 square _280
_282 add _163 _281
_283 sqrt _282
_284 sub _9 _283
_285 sub _283 _15
_286 max _284 _285
_287 min _27e _286
_288 const 4.13
_289 add _7c _288
_28a add _289 _7f
_28b const 0.52
_28c add _28b _98
_28d neg _28c
_28e max _28a _28d
_28f const 3.665
_290 add _83 _28f
_291 add _290 _7f
_292 neg _291
_293 max _28e _292
_294 min _287 _293
_295 neg _28a
_296 max _295 _28c
_297 max _296 _291
_298 min _294 _297
_299 const 3.61
_29a add _83 _299
_29b add _29a _7f
_29c max _295 _29b
_29d const 0.465
_29e add _29d _89
_29f max _29c _29e
_2a0 min _298 _29f
_2a1 neg _29b
_2a2 max _28a _2a1
_2a3 neg _29e
_2a4 max _2a2 _2a3
_2a5 min _2a0 _2a4
_2a6 add _67 _3
_2a7 max _21a _2a6
_2a8 const 5.15
_2a9 add _2a8 _3
_2aa neg _2a9
_2ab max _2a7 _2aa
_2ac const 4.925
_2ad add _2ac _3
_2ae square _2ad
_2af add _163 _2ae
_2b0 sqrt _2af
_2b1 sub _2b0 _15
_2b2 const 0.485
_2b3 add _2b2 _22c
_2b4 sub _2b3 _22f
_2b5 max _22a _2b4
_2b6 const 3.865
_2b7 add _22c _2b6
_2b8 add _2b7 _236
_2b9 neg _2b8
_2ba max _2b5 _2b9
_2bb const 3.865
_2bc add _22c _2bb
_2bd add _2bc _236
_2be max _23f _2bd
_2bf sub _22f _2b3
_2c0 max _2be _2bf
_2c1 min _2ba _2c0
_2c2 neg _2c1
_2c3 max _2b1 _2c2
_2c4 sub _9 _2b0
_2c5 max _2c3 _2c4
_2c6 min _2ab _2c5
_2c7 max _2b1 _2c6
_2c8 min _2a5 _2c7
_2c9 const 3.1
_2ca add _2c9 _e
_2cb const 4.1
_2cc add _2cb _e
_2cd neg _2cc
_2ce max _2ca _2cd
_2cf const 7.531
_2d0 sub _2cf _3
_2d1 max _2ce _2d0
_2d2 const 7.631
_2d3 sub _3 _2d2
_2d4 max _2d1 _2d3
_2d5 min _2c8 _2d4
_2d6 const 3.55
_2d7 add _2d6 _e
_2d8 const 3.65
_2d9 add _2d8 _e
_2da neg _2d9
_2db max _2d7 _2da
_2dc const 7.35601
_2dd sub _2dc _3
_2de max _2db _2dd
_2df const 7.531
_2e0 sub _3 _2df
_2e1 max _2de _2e0
_2e2 min _2d5 _2e1
_2e3 max _2cd _2dd
_2e4 max _2e3 _2e0
_2e5 const 4
_2e6 add _2e5 _e
_2e7 max _2e4 _2e6
_2e8 min _2e2 _2e7
_2e9 const 6.631
_2ea sub _2e9 _3
_2eb max _2ce _2ea
_2ec const 7.356
_2ed sub _3 _2ec
_2ee max _2eb _2ed
_2ef const 3.825
_2f0 add _2ef _e
_2f1 square _2f0
_2f2 square _2dd
_2f3 add _2f1 _2f2
_2f4 sqrt _2f3
_2f5 sub _9 _2f4
_2f6 max _2ee _2f5
_2f7 sub _2f4 _15
_2f8 max _2f6 _2f7
_2f9 min _2e8 _2f8
_2fa add _2c9 _3
_2fb max _174 _2fa
_2fc const 3.2
_2fd add _2fc _3
_2fe neg _2fd
_2ff max _2fb _2fe
_300 min _2f9 _2ff
_301 const 4.02143
_302 add _301 _c2
_303 max _174 _302
_304 const 4.57143
_305 add _304 _c2
_306 neg _305
_307 max _303 _306
_308 square _5d
_309 const 5.02679
_30a add _309 _cc
_30b square _30a
_30c add _308 _30b
_30d sqrt _30c
_30e sub _c8 _30d
_30f max _307 _30e
_310 square _302
_311 add _308 _310
_312 sqrt _311
_313 sub _312 _d6
_314 max _30f _313
_315 min _300 _314
_316 const 3.3
_317 add _316 _3
_318 max _21a _317
_319 const 3.8
_31a add _319 _3
_31b neg _31a
_31c max _318 _31b
_31d const 3.575
_31e add _31d _3
_31f square _31e
_320 add _163 _31f
_321 sqrt _320
_322 sub _321 _15
_323 const 0.11375
_324 add _323 _22c
_325 sub _324 _22f
_326 max _22a _325
_327 const 3.49375
_328 add _22c _327
_329 add _328 _236
_32a neg _329
_32b max _326 _32a
_32c const 3.49375
_32d add _22c _32c
_32e add _32d _236
_32f max _23f _32e
_330 sub _22f _324
_331 max _32f _330
_332 min _32b _331
_333 neg _332
_334 max _322 _333
_335 sub _9 _321
_336 max _334 _335
_337 min _31c _336
_338 max _322 _337
_339 min _315 _338
_33a const 1.01
_33b add _33a _7f
_33c sub _33b _83
_33d max _28d _33c
_33e const 0.545
_33f add _33e _7f
_340 sub _7c _33f
_341 max _33d _340
_342 min _339 _341
_343 sub _33f _7c
_344 max _28c _343
_345 sub _83 _33b
_346 max _344 _345
_347 min _342 _346
_348 max _343 _29e
_349 const 1.065
_34a add _349 _7f
_34b sub _83 _34a
_34c max _348 _34b
_34d min _347 _34c
_34e sub _34a _83
_34f max _340 _34e
_350 max _34f _2a3
_351 min _34d _350
_352 const 6.225
_353 add _352 _e
_354 square _353
_355 const 5.733
_356 sub _3 _355
_357 square _356
_358 add _354 _357
_359 sqrt _358
_35a sub _359 _1cc
_35b min _351 _35a
_35c const 2.65
_35d add _35c _236
_35e mul _1 _235
_35f const 2.829
_360 sub _35e _35f
_361 max _35d _360
_362 const 0.0709989
_363 add _1 _d
_364 mul _363 _235
_365 add _362 _364
_366 neg _365
_367 max _361 _366
_368 sub _35f _35e
_369 max _365 _368
_36a neg _35d
_36b max _369 _36a
_36c min _367 _36b
_36d const 0.813008
_36e mul _d _36d
_36f const 6.188
_370 add _36e _36f
_371 sub _3 _370
_372 const 0.0706995
_373 const 2.60163
_374 mul _d _373
_375 add _372 _374
_376 mul _1 _7b
_377 add _375 _376
_378 neg _377
_379 max _371 _378
_37a const 3.41463
_37b mul _d _37a
_37c const 5.9037
_37d add _37b _37c
_37e mul _1 _228
_37f sub _37d _37e
_380 max _379 _37f
_381 min _36c _380
_382 const 5.9037
_383 add _37b _382
_384 sub _37e _383
_385 const 0.0706992
_386 add _385 _374
_387 add _386 _376
_388 max _384 _387
_389 sub _370 _3
_38a max _388 _389
_38b min _381 _38a
_38c const 1.728
_38d const 2.19512
_38e mul _d _38d
_38f add _38c _38e
_390 neg _38f
_391 const 1.8053
_392 sub _391 _376
_393 max _390 _392
_394 add _38e _376
_395 const 0.171801
_396 sub _394 _395
_397 max _393 _396
_398 min _38b _397
_399 sub _395 _394
_39a max _38f _399
_39b sub _376 _391
_39c max _39a _39b
_39d min _398 _39c
_39e const 2.12
_39f const 3.25203
_3a0 mul _d _39f
_3a1 add _39e _3a0
_3a2 const 5.1769
_3a3 add _3a0 _3a2
_3a4 sub _7f _3a3
_3a5 max _3a1 _3a4
_3a6 const 2.8369
_3a7 sub _3a6 _7f
_3a8 max _3a5 _3a7
_3a9 min _39d _3a8
_3aa sub _7f _3a6
_3ab sub _3a3 _7f
_3ac max _3aa _3ab
_3ad neg _3a1
_3ae max _3ac _3ad
_3af min _3a9 _3ae
_3b0 neg _3af
_3b1 max _3b0 _19
_3b2 max _3b1 _1d
_3b3 const 5.558
_3b4 sub _3 _3b3
_3b5 max _3b2 _3b4
_3b6 const 5.058
_3b7 sub _3b6 _3
_3b8 max _3b5 _3b7
_3b9 min _35b _3b8
_3ba const 4.683
_3bb sub _3 _3ba
_3bc square _3bb
_3bd add _10 _3bc
_3be sqrt _3bd
_3bf sub _9 _3be
_3c0 sub _3be _15
_3c1 max _3bf _3c0
_3c2 min _3b9 _3c1
_3c3 const 4.033
_3c4 sub _3 _3c3
_3c5 square _3c4
_3c6 add _10 _3c5
_3c7 sqrt _3c6
_3c8 sub _9 _3c7
_3c9 sub _3c7 _15
_3ca max _3c8 _3c9
_3cb min _3c2 _3ca
_3cc const 3.233
_3cd sub _3 _3cc
_3ce const 3.133
_3cf sub _3ce _3
_3d0 max _3cd _3cf
_3d1 max _3d0 _19
_3d2 max _3d1 _1d
_3d3 min _3cb _3d2
_3d4 max _34 _e9
_3d5 const 3.408
_3d6 sub _3 _3d5
_3d7 max _3d4 _3d6
_3d8 const 3.233
_3d9 sub _3d8 _3
_3da max _3d7 _3d9
_3db min _3d3 _3da
_3dc max _3d6 _3d9
_3dd max _3dc _4d
_3de max _3dd _1d
_3df min _3db _3de
_3e0 const 4.133
_3e1 sub _3 _3e0
_3e2 const 3.408
_3e3 sub _3e2 _3
_3e4 max _3e1 _3e3
_3e5 square _3d6
_3e6 add _10 _3e5