-
Notifications
You must be signed in to change notification settings - Fork 0
/
fptaylor.js
5888 lines (5888 loc) · 325 KB
/
fptaylor.js
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
// Generated by js_of_ocaml 3.7.0
(function(v){"use strict";var
rx="success",qG="const double low[] = {",qH=0x0000FFFF,h2="inv(",sq="Invalid_argument",lN="??",hB="Map.bal",rw="Variable ",kW="@[",eP=" / ",sp="Inexact constant: %s; err = %s",hA="rnd32",qF="\\",ld="user.cfg",qE=1000000010,lo="atan(%a)",fT=123,eR="\nSolving the exact optimization problem",hR="sqrt(",ln="sin(%a)",so="%ni",kV="export-options",h1="abs",sn="sqrt_form",hQ="acos",ti="0.0",qC="rnd32_0",qD=268,eT="fp-power2-model",ck=0xff,th="mpfr",lc="error-bounds",qB=" (low = ",tg="min(%a, %a)",qA="NULL",hy="atanh",hz="cosh",sm="rounded_sub_form",lm="acos(",kU="cos(%a)",sl=290,lM=122,fY="maxima-simplification",f1=" (",lL="atan(",bl="0",ru="_clear(",rv=" Display this list of options",sk="rnd128_0",tf="max(%a, %a)",lK="acosh(%a)",te="const_form",lJ="interval",aE=128,qy="static ",qz="Sys_blocked_io",rt="fd ",td="start",hx="inv(%a)",X=248,d8=" + ",tc=">",tb=1027,b3=0xFF,ta="rounded_form",qx="rel-error",fN=246,qv=" %s_init(%s);@.",qw=" return ",rs="-inf",qt="min(",qu="%u",dw="var_",ll=" (parameter = ",rr="%s = %s",kT="min = ",s_="tan_form",s$="_bigarray",eL=127,rq="A computer algebra system Maxima is not installed. Simplifications are disabled. Go to http://maxima.sourceforge.net/ to install Maxima.",sj="rnd128",eQ=1024,s9="Cannot parse Maxima output: '",kS="@{",si=", f_rel_tol = ",h0="fma",fS=-2147483648,rp="rnd64_up",f0="e",qs=" : flags Open_rdonly and Open_wronly are not compatible",ro="\n*************************************",hZ="asin",rn="([^/]*)",fZ="(-(",aZ="-",s8="\nCorresponding original subexpressions:",lk=" is already defined",ic="atan",lj="-total2",qr=" : file already exists",li="atanh(",cm=0xffffff,rm="{low = %.20e; high = %.20e}",fR="%.20e",s7=-43,qq="Try intermediate-opt = true or manually split intervals of input variables.",hw="(%a + %a)",rl="Out_of_memory",ea=" ",hP="\nSolving the approximate optimization probelm",lI="cosh(",s6="[%s, %s]",qp="ref_",lb="index out of bounds",sh="float16",A=83322498,s5="*************************************\n",kR="cos(",la="_bigarr02",eO="))",rk="acosh_form",ib=100.,d$=-53,bw=" double ",c5=-1.,hO="}",k$="gelpia",fX=2147483647,qo="div_form",rj=" >= ",sg=0x7F,ia="floor_power2",cj=0xffff,lH="tanh(%a)",by=" float ",qn=12520,h$="sub2",lG="asin(",qm="rnd128_down",lF="max = ",s4="infinity",kQ="acos(%a)",ri="\nULP errors:",cE=1000,sf="{",ql="cos_form",i="",c4="^",lE="sub2(",fQ="(-(%a))",qk="r_op",eK=0x3f,k_=124,hN=-11,qi="fptaylor.ml",qj="rnd16_down",se="pow(",lD=112,qh="Match_failure",rh="unused",hM="): ",hv="opt",qg="ref_%d",fM=16777215,rg="; err = ",qf="abs(",k9="develop",sd="%-*s %s (%h)",k8=252,sc="\nRelative errors:",qe="&c_",bv=0x00,s3="\nComputing relative errors",qd='";',bx=".",c3="+",lC="int64_of_big_int",rf=0xf0,sb=-55,qc="\nComputing absolute errors",fL="data",kP="tan(%a)",qb="const double high[] = {%a};@.",hL="(%a / %a)",r$="Unknown option: ",sa=304,qa="%li",lh="input.txt",hY="total2: ",r_="add_form",s2="-c",p_="Cannot parse Maxima output: '%s'",p$="; high = ",fP="max",re=4294967296,hu="opt-approx",p9="%-*s %s",rd="neg_form",rc="Resetting input_parser_env",r9=", lower = ",d9=65536,s0=", f_abs_tol = ",s1="{low = ",lB=-32,sZ="abs_form",ht="tanh",b5=1023,k7="exp(%a)",hX=")",kO="floor_power2(",fW="nan",r8="max(",p8=0xe0,rb="%.12g",kN="sinh(",dz="%s",r7=0xdfff,bk="/",sX="Assert_failure",sY="Str.replace: reference to unmatched group",sW="atan_form",hK="cos",r6=1073741823,fK=250,ra="\nSolving the approximate optimization problem",kM=";",q_="tanh_form",q$="_nat",bj="ne",lA="sub2(%a, %a)",cD="up",q9='"',sV=",",q8="float128",h_=0.01,p7=".\n",kL=1255,r5="max_form",q7=0x800,dx=255,d_=" * ",kK="jsError",cC=0x8000,hI=-1074,hJ="(%a * %a)",a8=", MPFR_RNDN);",sU="precise_const_rnd_form",kJ="abs_err(",r4="a float",lz="cosh(%a)",cG=256,hs="c_",bT=815031438,hH="--help",q6="Building Taylor forms...",r3="End_of_file",p6="float64",r1="..",r2="Failure",kI="asinh(%a)",hG="acosh",lg="asinh(",sT="rnd64_0",r0=247,q5="const double high[] = {",sS="log_form",hr="sqrt(%a)",k6=0xf,p5=-48,rZ=0xdc00,d7=125,rY="Worker.onmessage is undefined",rX="FPTaylorJS: Proof certificates cannot be created",sR="f_high",hq="(%a - %a)",aD="camlinternalFormat.ml",q4="Division_by_zero",dy="interval2.ml",rW="Sys_error",q3="Proof certificates (proof-record = true) are not implemented for the improved rounding model (fp-power2-model = true).",sQ="Inexact constant: ",p4=" %s_clear(%s);@.",h9="asinh",k5=") in",eN=": ",sP="Constraint form",sO="%d",bi=" = ",sN=1900,hp="print-precision",sM="e+",hW="int_of_string",p3="asinh_form",q2="Simplification failed (unknown error)",lf="abs_err(%a, %a)",kG=120,kH="}@.",k4=102,kF=512,q1="exp_form",rV="v_",p2=0x7ff0,sL="(%.20e)",ly="sys_big_int_of_string",rU="sinh_form",sK="\nCannot compute the relative error: values of the function are close to zero",q0=101,hE="bb-eval",hF="min",sJ="Proof certificates (proof-record = true) are not implemented for some features of the development mode (develop = true).",lx="floor_power2(%a)",kE="tanh(",rT="rnd16",kD="exp(",kC="0x",qZ="const_rnd_form",rS="')",fV="var_%s",sG="var_rnd_form",sH=", iters = ",sI="real",dv="\n",qY="%s@. return %s;@.}@.",sF="Simplifying Taylor forms...",lw="log(%a)",h8="rnd64",n=254,rR="ulp-error",lv="tan(",ac=100,lu="asin(%a)",k3="ref~",rQ="end",p1="rnd64_down",eM=" - ",qX=" : flags Open_text and Open_binary are not compatible",rP="%Li",lt="*",rO="inv_form",U=0.5,kB="-opt-bound",pZ="Division by zero",p0="rnd32_up",hV="more_num.ml",ls="log(",pY="%s >= %s, %s <= %s",qW="t_",qV="mpfi",pX="str.ml",hU="sin",cF="down",fJ="log",fU="exp",k2="acosh(",sE=-969,rN="uncertainty",pW="\nComputing ULP errors",sD="Unix.Unix_error",rM="./default.cfg",sC="num_of_float: ",lr="config-out",fO="-help",sB="rnd16_up",kA="bb",pV="fma(",sA="Stack_overflow",hD="inv",hC="@ ",B=");",cB="zero",qT=1000000000,k1=-97,qU="-------------------------------------------------------------------------------",sz="atanh_form",k0=65599,eS="};",sy="Not_found",pU="rnd16_0",pT=" = -",qS="%d: exp = %d: %s",sx="rounded_add_form",pS="asin_form",du=" not implemented",k=", ",rL="static/",sw="rnd32_down",pQ=": exp = ",pR="{task}",dt=") (",pP=0xFE,rK="abs(%a)",pO="float32",sv=32752,qQ="sub_form",qR="f",qO="\nAbsolute errors:",qP=0x3FFFFFFF,pN="num_of_float: %e",su=1026,qN="cosh_form",lq="atanh(%a)",h7="false",rH="mul_form",rI="min_form",rJ="an integer",kZ="sinh(%a)",M=-364068301,st="fma(%a, %a, %a)",kY="proof-record",ao=858743897,rF="\nCannot compute the ULP error: values of the function are close to zero",rG="sin_form",cl=" ",h6="sinh",b4=0x80,rD="const double low[] = {%a};@.",rE="Undefined_recursive_module",qM="%f",hT=1074,rC="static %s %a;@.",kX=":",qL="Elapsed time: ",qK="var_form",ss="rnd128_up",pM="\n****** Approximating constraints *******\n",hS="total2: %s",le="sin(",h4="opt-exact",h5="tan",h3="_",qJ="taylor_form.ml",sr="acos_form",lp="compare: functional value",rA=-1021,rB=" in",rz="%i",ho="sqrt",ry="_init(",pL=" <= ",qI="true",pK="Q(",pJ="+inf";function
f$(d,e,g,f){var
a=f;for(var
b=0;b<g;b++){var
c=(d.data[e+b]>>>0)+a;d.data[e+b]=c|0;if(c==c>>>0){a=0;break}else
a=1}return a}function
ie(d,e,h,i,j,c,g){var
b=g;for(var
a=0;a<c;a++){var
f=(d.data[e+a]>>>0)+(i.data[j+a]>>>0)+b;d.data[e+a]=f;if(f==f>>>0)b=0;else
b=1}return f$(d,e+c,h-c,b)}function
ad(c,e,d,f,b){for(var
a=0;a<b;a++)c.data[e+a]=d.data[f+a];return 0}function
ZF(d,b,e,c,f){if(c<=b)for(var
a=1;a<=f;a++)e[c+a]=d[b+a];else
for(var
a=f;a>=1;a--)e[c+a]=d[b+a];return 0}function
ZG(a){var
c=[0];while(a!==0){var
d=a[1];for(var
b=1;b<d.length;b++)c.push(d[b]);a=a[2]}return c}function
_q(b,a){throw[0,b,a]}function
e1(b,a){if(b==0)return i;if(a.repeat)return a.repeat(b);var
d=i,c=0;for(;;){if(b&1)d+=a;b>>=1;if(b==0)return d;a+=a;c++;if(c==9)a.slice(0,1)}}function
iq(c,b,a){var
d=String.fromCharCode;if(b==0&&a<=4096&&a==c.length)return d.apply(null,c);var
e=i;for(;0<a;b+=eQ,a-=eQ)e+=d.apply(null,c.slice(b,b+Math.min(a,eQ)));return e}function
c9(a){if(a.t==2)a.c+=e1(a.l-a.c.length,"\0");else
a.c=iq(a.c,0,a.c.length);a.t=0}function
tZ(a){if(a.length<24){for(var
b=0;b<a.length;b++)if(a.charCodeAt(b)>eL)return false;return true}else
return!/[^\x00-\x7f]/.test(a)}function
l7(e){for(var
k=i,c=i,g,f,h,a,b=0,j=e.length;b<j;b++){f=e.charCodeAt(b);if(f<b4){for(var
d=b+1;d<j&&(f=e.charCodeAt(d))<b4;d++);if(d-b>kF){c.substr(0,1);k+=c;c=i;k+=e.slice(b,d)}else
c+=e.slice(b,d);if(d==j)break;b=d}a=1;if(++b<j&&((h=e.charCodeAt(b))&-64)==aE){g=h+(f<<6);if(f<p8){a=g-0x3080;if(a<b4)a=1}else{a=2;if(++b<j&&((h=e.charCodeAt(b))&-64)==aE){g=h+(g<<6);if(f<rf){a=g-0xe2080;if(a<q7||a>=0xd7ff&&a<0xe000)a=2}else{a=3;if(++b<j&&((h=e.charCodeAt(b))&-64)==aE&&f<0xf5){a=h-0x3c82080+(g<<6);if(a<0x10000||a>0x10ffff)a=3}}}}}if(a<4){b-=a;c+="\ufffd"}else
if(a>cj)c+=String.fromCharCode(0xd7c0+(a>>10),rZ+(a&0x3FF));else
c+=String.fromCharCode(a);if(c.length>eQ){c.substr(0,1);k+=c;c=i}}return k+c}function
c6(c,a,b){this.t=c;this.c=a;this.l=b}c6.prototype.toString=function(){switch(this.t){case
9:return this.c;default:c9(this);case
0:if(tZ(this.c)){this.t=9;return this.c}this.t=8;case
8:return this.c}};c6.prototype.toUtf16=function(){var
a=this.toString();if(this.t==9)return a;return l7(a)};c6.prototype.slice=function(){var
a=this.t==4?this.c.slice():this.c;return new
c6(this.t,a,this.l)};function
ty(a){return new
c6(0,a,a.length)}function
a(a){return ty(a)}function
l5(c,b){_q(c,a(b))}var
ae=[0];function
ar(a){l5(ae.Invalid_argument,a)}function
eb(){ar(lb)}function
lO(b,a){if(a<0||a>=b.length-1)eb();return b[a+1]}function
tn(b,a,c){if(a<0||a>=b.length-1)eb();b[a+1]=c;return 0}function
to(e,f,d){var
a=new
Array(d+1);a[0]=0;for(var
b=1,c=f+1;b<=d;b++,c++)a[b]=e[c];return a}function
ig(b){if(v.Uint8Array)var
c=new(v.Uint8Array)(b.l);else
var
c=new
Array(b.l);var
e=b.c,d=e.length,a=0;for(;a<d;a++)c[a]=e.charCodeAt(a);for(d=b.l;a<d;a++)c[a]=0;b.c=c;b.t=4;return c}function
c7(d,e,b,f,c){if(c==0)return 0;if(f==0&&(c>=b.l||b.t==2&&c>=b.c.length)){b.c=d.t==4?iq(d.c,e,c):e==0&&d.c.length==c?d.c:d.c.substr(e,c);b.t=b.c.length==b.l?0:2}else
if(b.t==2&&f==b.c.length){b.c+=d.t==4?iq(d.c,e,c):e==0&&d.c.length==c?d.c:d.c.substr(e,c);b.t=b.c.length==b.l?0:2}else{if(b.t!=4)ig(b);var
g=d.c,h=b.c;if(d.t==4)if(f<=e)for(var
a=0;a<c;a++)h[f+a]=g[e+a];else
for(var
a=c-1;a>=0;a--)h[f+a]=g[e+a];else{var
i=Math.min(c,g.length-e);for(var
a=0;a<i;a++)h[f+a]=g.charCodeAt(e+a);for(;a<c;a++)h[f+a]=0}}return 0}function
bz(a){return a}function
c8(a,b,c,d,e){c7(bz(a),b,c,d,e);return 0}function
tx(a,b){if(a===b)return 1;a.t&6&&c9(a);b.t&6&&c9(b);return a.c==b.c?1:0}function
tv(){ar(lb)}function
dC(a,b){switch(a.t&6){default:if(b>=a.c.length)return 0;case
0:return a.c.charCodeAt(b);case
4:return a.c[b]}}function
dB(b,a){if(a>>>0>=b.l)tv();return dC(b,a)}function
ak(a,c,b){b&=ck;if(a.t!=4){if(c==a.c.length){a.c+=String.fromCharCode(b);if(c+1==a.l)a.t=0;return 0}ig(a)}a.c[c]=b;return 0}function
b7(b,a,c){if(a>>>0>=b.l)tv();return ak(b,a,c)}function
b8(c,a){if(c.fun)return b8(c.fun,a);if(typeof
c!=="function")return c;var
b=c.length|0;if(b===0)return c.apply(null,a);var
e=a.length|0,d=b-e|0;if(d==0)return c.apply(null,a);else
if(d<0)return b8(c.apply(null,a.slice(0,b)),a.slice(b));else
return function(){var
e=arguments.length==0?1:arguments.length,d=new
Array(a.length+e);for(var
b=0;b<a.length;b++)d[b]=a[b];for(var
b=0;b<arguments.length;b++)d[a.length+b]=arguments[b];return b8(c,d)}}function
o(a,b){if(b>>>0>=a.length-1)eb();return a}function
dD(a){if(isFinite(a)){if(Math.abs(a)>=2.2250738585072014e-308)return 0;if(a!=0)return 1;return 2}return isNaN(a)?4:3}function
aX(a){if((a.t&6)!=0)c9(a);return a.c}var
_N=Math.log2&&Math.log2(1.1235582092889474E+307)==1020;function
tY(a){if(_N)return Math.floor(Math.log2(a));var
b=0;if(a==0)return-Infinity;if(a>=1)while(a>=2){a/=2;b++}else
while(a<1){a*=2;b--}return b}function
lV(c){var
a=new(v.Float32Array)(1);a[0]=c;var
b=new(v.Int32Array)(a.buffer);return b[0]|0}var
f7=Math.pow(2,-24);function
l4(a){throw a}function
ip(){l4(ae.Division_by_zero)}function
w(b,c,a){this.lo=b&cm;this.mi=c&cm;this.hi=a&cj}w.prototype.caml_custom="_j";w.prototype.copy=function(){return new
w(this.lo,this.mi,this.hi)};w.prototype.ucompare=function(a){if(this.hi>a.hi)return 1;if(this.hi<a.hi)return-1;if(this.mi>a.mi)return 1;if(this.mi<a.mi)return-1;if(this.lo>a.lo)return 1;if(this.lo<a.lo)return-1;return 0};w.prototype.compare=function(a){var
b=this.hi<<16,c=a.hi<<16;if(b>c)return 1;if(b<c)return-1;if(this.mi>a.mi)return 1;if(this.mi<a.mi)return-1;if(this.lo>a.lo)return 1;if(this.lo<a.lo)return-1;return 0};w.prototype.neg=function(){var
a=-this.lo,b=-this.mi+(a>>24),c=-this.hi+(b>>24);return new
w(a,b,c)};w.prototype.add=function(a){var
b=this.lo+a.lo,c=this.mi+a.mi+(b>>24),d=this.hi+a.hi+(c>>24);return new
w(b,c,d)};w.prototype.sub=function(a){var
b=this.lo-a.lo,c=this.mi-a.mi+(b>>24),d=this.hi-a.hi+(c>>24);return new
w(b,c,d)};w.prototype.mul=function(a){var
b=this.lo*a.lo,c=(b*f7|0)+this.mi*a.lo+this.lo*a.mi,d=(c*f7|0)+this.hi*a.lo+this.mi*a.mi+this.lo*a.hi;return new
w(b,c,d)};w.prototype.isZero=function(){return(this.lo|this.mi|this.hi)==0};w.prototype.isNeg=function(){return this.hi<<16<0};w.prototype.and=function(a){return new
w(this.lo&a.lo,this.mi&a.mi,this.hi&a.hi)};w.prototype.or=function(a){return new
w(this.lo|a.lo,this.mi|a.mi,this.hi|a.hi)};w.prototype.xor=function(a){return new
w(this.lo^a.lo,this.mi^a.mi,this.hi^a.hi)};w.prototype.shift_left=function(a){a=a&63;if(a==0)return this;if(a<24)return new
w(this.lo<<a,this.mi<<a|this.lo>>24-a,this.hi<<a|this.mi>>24-a);if(a<48)return new
w(0,this.lo<<a-24,this.mi<<a-24|this.lo>>48-a);return new
w(0,0,this.lo<<a-48)};w.prototype.shift_right_unsigned=function(a){a=a&63;if(a==0)return this;if(a<24)return new
w(this.lo>>a|this.mi<<24-a,this.mi>>a|this.hi<<24-a,this.hi>>a);if(a<48)return new
w(this.mi>>a-24|this.hi<<48-a,this.hi>>a-24,0);return new
w(this.hi>>a-48,0,0)};w.prototype.shift_right=function(a){a=a&63;if(a==0)return this;var
c=this.hi<<16>>16;if(a<24)return new
w(this.lo>>a|this.mi<<24-a,this.mi>>a|c<<24-a,this.hi<<16>>a>>>16);var
b=this.hi<<16>>31;if(a<48)return new
w(this.mi>>a-24|this.hi<<48-a,this.hi<<16>>a-24>>16,b&cj);return new
w(this.hi<<16>>a-32,b,b)};w.prototype.lsl1=function(){this.hi=this.hi<<1|this.mi>>23;this.mi=(this.mi<<1|this.lo>>23)&cm;this.lo=this.lo<<1&cm};w.prototype.lsr1=function(){this.lo=(this.lo>>>1|this.mi<<23)&cm;this.mi=(this.mi>>>1|this.hi<<23)&cm;this.hi=this.hi>>>1};w.prototype.udivmod=function(e){var
c=0,b=this.copy(),a=e.copy(),d=new
w(0,0,0);while(b.ucompare(a)>0){c++;a.lsl1()}while(c>=0){c--;d.lsl1();if(b.ucompare(a)>=0){d.lo++;b=b.sub(a)}a.lsr1()}return{quotient:d,modulus:b}};w.prototype.div=function(a){var
b=this;if(a.isZero())ip();var
d=b.hi^a.hi;if(b.hi&cC)b=b.neg();if(a.hi&cC)a=a.neg();var
c=b.udivmod(a).quotient;if(d&cC)c=c.neg();return c};w.prototype.mod=function(b){var
a=this;if(b.isZero())ip();var
d=a.hi;if(a.hi&cC)a=a.neg();if(b.hi&cC)b=b.neg();var
c=a.udivmod(b).modulus;if(d&cC)c=c.neg();return c};w.prototype.toInt=function(){return this.lo|this.mi<<24};w.prototype.toFloat=function(){return(this.hi<<16)*Math.pow(2,32)+this.mi*Math.pow(2,24)+this.lo};w.prototype.toArray=function(){return[this.hi>>8,this.hi&ck,this.mi>>16,this.mi>>8&ck,this.mi&ck,this.lo>>16,this.lo>>8&ck,this.lo&ck]};w.prototype.lo32=function(){return this.lo|(this.mi&ck)<<24};w.prototype.hi32=function(){return this.mi>>>8&cj|this.hi<<16};function
aW(b,c,a){return new
w(b,c,a)}function
f5(a){if(!isFinite(a)){if(isNaN(a))return aW(1,0,p2);return a>0?aW(0,0,p2):aW(0,0,0xfff0)}var
f=a==0&&1/a==-Infinity?cC:a>=0?0:cC;if(f)a=-a;var
b=tY(a)+b5;if(b<=0){b=0;a/=Math.pow(2,-su)}else{a/=Math.pow(2,b-tb);if(a<16){a*=2;b-=1}if(b==0)a/=2}var
d=Math.pow(2,24),c=a|0;a=(a-c)*d;var
e=a|0;a=(a-e)*d;var
g=a|0;c=c&k6|f|b<<4;return aW(g,e,c)}function
eW(a){return a.toArray()}function
tu(c,b,g){c.write(32,b.dims.length);c.write(32,b.kind|b.layout<<8);if(b.caml_custom==la)for(var
a=0;a<b.dims.length;a++)if(b.dims[a]<cj)c.write(16,b.dims[a]);else{c.write(16,cj);c.write(32,0);c.write(32,b.dims[a])}else
for(var
a=0;a<b.dims.length;a++)c.write(32,b.dims[a]);switch(b.kind){case
2:case
3:case
12:for(var
a=0;a<b.data.length;a++)c.write(8,b.data[a]);break;case
4:case
5:for(var
a=0;a<b.data.length;a++)c.write(16,b.data[a]);break;case
6:for(var
a=0;a<b.data.length;a++)c.write(32,b.data[a]);break;case
8:case
9:c.write(8,0);for(var
a=0;a<b.data.length;a++)c.write(32,b.data[a]);break;case
7:for(var
a=0;a<b.data.length/2;a++){var
e=eW(b.get(a));for(var
d=0;d<8;d++)c.write(8,e[d])}break;case
1:for(var
a=0;a<b.data.length;a++){var
e=eW(f5(b.get(a)));for(var
d=0;d<8;d++)c.write(8,e[d])}break;case
0:for(var
a=0;a<b.data.length;a++){var
e=lV(b.get(a));c.write(32,e)}break;case
10:for(var
a=0;a<b.data.length/2;a++){var
d=b.get(a);c.write(32,lV(d[1]));c.write(32,lV(d[2]))}break;case
11:for(var
a=0;a<b.data.length/2;a++){var
f=b.get(a),e=eW(f5(f[1]));for(var
d=0;d<8;d++)c.write(8,e[d]);var
e=eW(f5(f[2]));for(var
d=0;d<8;d++)c.write(8,e[d])}break}g[0]=(4+b.dims.length)*4;g[1]=(4+b.dims.length)*8}function
ts(a){switch(a){case
7:case
10:case
11:return 2;default:return 1}}function
ZH(c,e){var
b=v,a;switch(c){case
0:a=b.Float32Array;break;case
1:a=b.Float64Array;break;case
2:a=b.Int8Array;break;case
3:a=b.Uint8Array;break;case
4:a=b.Int16Array;break;case
5:a=b.Uint16Array;break;case
6:a=b.Int32Array;break;case
7:a=b.Int32Array;break;case
8:a=b.Int32Array;break;case
9:a=b.Int32Array;break;case
10:a=b.Float32Array;break;case
11:a=b.Float64Array;break;case
12:a=b.Uint8Array;break}if(!a)ar("Bigarray.create: unsupported kind");var
d=new
a(e*ts(c));return d}function
lW(c){var
a=new(v.Int32Array)(1);a[0]=c;var
b=new(v.Float32Array)(a.buffer);return b[0]}function
f6(a){return new
w(a[7]<<0|a[6]<<8|a[5]<<16,a[4]<<0|a[3]<<8|a[2]<<16,a[1]<<0|a[0]<<8)}function
dG(d){var
f=d.lo,g=d.mi,b=d.hi,c=(b&0x7fff)>>4;if(c==2047)return(f|g|b&k6)==0?b&cC?-Infinity:Infinity:NaN;var
e=Math.pow(2,-24),a=(f*e+g)*e+(b&k6);if(c>0){a+=16;a*=Math.pow(2,c-tb)}else
a*=Math.pow(2,-su);if(b&cC)a=-a;return a}function
lP(b){var
d=b.length,c=1;for(var
a=0;a<d;a++){if(b[a]<0)ar("Bigarray.create: negative dimension");c=c*b[a]}return c}function
ZZ(b,a){return new
w(b&cm,b>>>24&ck|(a&cj)<<8,a>>>16&cj)}function
lX(a){return a.hi32()}function
lY(a){return a.lo32()}var
ZI=s$;function
dA(c,d,b,a){this.kind=c;this.layout=d;this.dims=b;this.data=a}dA.prototype.caml_custom=ZI;dA.prototype.offset=function(b){var
c=0;if(typeof
b==="number")b=[b];if(!(b
instanceof
Array))ar("bigarray.js: invalid offset");if(this.dims.length!=b.length)ar("Bigarray.get/set: bad number of dimensions");if(this.layout==0)for(var
a=0;a<this.dims.length;a++){if(b[a]<0||b[a]>=this.dims[a])eb();c=c*this.dims[a]+b[a]}else
for(var
a=this.dims.length-1;a>=0;a--){if(b[a]<1||b[a]>this.dims[a])eb();c=c*this.dims[a]+(b[a]-1)}return c};dA.prototype.get=function(a){switch(this.kind){case
7:var
d=this.data[a*2+0],b=this.data[a*2+1];return ZZ(d,b);case
10:case
11:var
e=this.data[a*2+0],c=this.data[a*2+1];return[n,e,c];default:return this.data[a]}};dA.prototype.set=function(a,b){switch(this.kind){case
7:this.data[a*2+0]=lY(b);this.data[a*2+1]=lX(b);break;case
10:case
11:this.data[a*2+0]=b[1];this.data[a*2+1]=b[2];break;default:this.data[a]=b;break}return 0};dA.prototype.fill=function(b){switch(this.kind){case
7:var
c=lY(b),e=lX(b);if(c==e)this.data.fill(c);else
for(var
a=0;a<this.data.length;a++)this.data[a]=a%2==0?c:e;break;case
10:case
11:var
d=b[1],f=b[2];if(d==f)this.data.fill(d);else
for(var
a=0;a<this.data.length;a++)this.data[a]=a%2==0?d:f;break;default:this.data.fill(b);break}};dA.prototype.compare=function(b,g){if(this.layout!=b.layout||this.kind!=b.kind){var
e=this.kind|this.layout<<8,f=b.kind|b.layout<<8;return f-e}if(this.dims.length!=b.dims.length)return b.dims.length-this.dims.length;for(var
a=0;a<this.dims.length;a++)if(this.dims[a]!=b.dims[a])return this.dims[a]<b.dims[a]?-1:1;switch(this.kind){case
0:case
1:case
10:case
11:var
c,d;for(var
a=0;a<this.data.length;a++){c=this.data[a];d=b.data[a];if(c<d)return-1;if(c>d)return 1;if(c!=d){if(!g)return NaN;if(c==c)return 1;if(d==d)return-1}}break;case
7:for(var
a=0;a<this.data.length;a+=2){if(this.data[a+1]<b.data[a+1])return-1;if(this.data[a+1]>b.data[a+1])return 1;if(this.data[a]>>>0<b.data[a]>>>0)return-1;if(this.data[a]>>>0>b.data[a]>>>0)return 1}break;case
2:case
3:case
4:case
5:case
6:case
8:case
9:case
12:for(var
a=0;a<this.data.length;a++){if(this.data[a]<b.data[a])return-1;if(this.data[a]>b.data[a])return 1}break}return 0};function
eU(c,d,b,a){this.kind=c;this.layout=d;this.dims=b;this.data=a}eU.prototype=new
dA();eU.prototype.offset=function(a){if(typeof
a!=="number")if(a
instanceof
Array&&a.length==1)a=a[0];else
ar("Ml_Bigarray_c_1_1.offset");if(a<0||a>=this.dims[0])eb();return a};eU.prototype.get=function(a){return this.data[a]};eU.prototype.set=function(a,b){this.data[a]=b;return 0};eU.prototype.fill=function(a){this.data.fill(a);return 0};function
tq(c,d,a,b){var
e=ts(c);if(lP(a)*e!=b.length)ar("length doesn't match dims");if(d==0&&a.length==1&&e==1)return new
eU(c,d,a,b);return new
dA(c,d,a,b)}function
aq(a){l5(ae.Failure,a)}function
tr(b,w,s){var
i=b.read32s();if(i<0||i>16)aq("input_value: wrong number of bigarray dimensions");var
q=b.read32s(),j=q&ck,p=q>>8&1,h=[];if(s==la)for(var
a=0;a<i;a++){var
o=b.read16u();if(o==cj){var
u=b.read32u(),v=b.read32u();if(u!=0)aq("input_value: bigarray dimension overflow in 32bit");o=v}h.push(o)}else
for(var
a=0;a<i;a++)h.push(b.read32u());var
d=lP(h),f=ZH(j,d),g=tq(j,p,h,f);switch(j){case
2:for(var
a=0;a<d;a++)f[a]=b.read8s();break;case
3:case
12:for(var
a=0;a<d;a++)f[a]=b.read8u();break;case
4:for(var
a=0;a<d;a++)f[a]=b.read16s();break;case
5:for(var
a=0;a<d;a++)f[a]=b.read16u();break;case
6:for(var
a=0;a<d;a++)f[a]=b.read32s();break;case
8:case
9:var
t=b.read8u();if(t)aq("input_value: cannot read bigarray with 64-bit OCaml ints");for(var
a=0;a<d;a++)f[a]=b.read32s();break;case
7:var
e=new
Array(8);for(var
a=0;a<d;a++){for(var
c=0;c<8;c++)e[c]=b.read8u();var
r=f6(e);g.set(a,r)}break;case
1:var
e=new
Array(8);for(var
a=0;a<d;a++){for(var
c=0;c<8;c++)e[c]=b.read8u();var
k=dG(f6(e));g.set(a,k)}break;case
0:for(var
a=0;a<d;a++){var
k=lW(b.read32s());g.set(a,k)}break;case
10:for(var
a=0;a<d;a++){var
m=lW(b.read32s()),l=lW(b.read32s());g.set(a,[n,m,l])}break;case
11:var
e=new
Array(8);for(var
a=0;a<d;a++){for(var
c=0;c<8;c++)e[c]=b.read8u();var
m=dG(f6(e));for(var
c=0;c<8;c++)e[c]=b.read8u();var
l=dG(f6(e));g.set(a,[n,m,l])}break}w[0]=(4+i)*4;return tq(j,p,h,f)}function
tp(a,b,c){return a.compare(b,c)}function
cn(a,b){return Math.imul(a,b)}function
aV(b,a){a=cn(a,0xcc9e2d51|0);a=a<<15|a>>>32-15;a=cn(a,0x1b873593);b^=a;b=b<<13|b>>>32-13;return(b+(b<<2)|0)+(0xe6546b64|0)|0}function
ZS(a,b){a=aV(a,lY(b));a=aV(a,lX(b));return a}function
lT(a,b){return ZS(a,f5(b))}function
tt(c){var
b=lP(c.dims),d=0;switch(c.kind){case
2:case
3:case
12:if(b>cG)b=cG;var
e=0,a=0;for(a=0;a+4<=c.data.length;a+=4){e=c.data[a+0]|c.data[a+1]<<8|c.data[a+2]<<16|c.data[a+3]<<24;d=aV(d,e)}e=0;switch(b&3){case
3:e=c.data[a+2]<<16;case
2:e|=c.data[a+1]<<8;case
1:e|=c.data[a+0];d=aV(d,e)}break;case
4:case
5:if(b>aE)b=aE;var
e=0,a=0;for(a=0;a+2<=c.data.length;a+=2){e=c.data[a+0]|c.data[a+1]<<16;d=aV(d,e)}if((b&1)!=0)d=aV(d,c.data[a]);break;case
6:if(b>64)b=64;for(var
a=0;a<b;a++)d=aV(d,c.data[a]);break;case
8:case
9:if(b>64)b=64;for(var
a=0;a<b;a++)d=aV(d,c.data[a]);break;case
7:if(b>32)b=32;b*=2;for(var
a=0;a<b;a++)d=aV(d,c.data[a]);break;case
10:b*=2;case
0:if(b>64)b=64;for(var
a=0;a<b;a++)d=lT(d,c.data[a]);break;case
11:b*=2;case
1:if(b>32)b=32;for(var
a=0;a<b;a++)d=lT(d,c.data[a]);break}return d}function
ZX(a,b){b[0]=4;return a.read32s()}function
_j(a,b){switch(a.read8u()){case
1:b[0]=4;return a.read32s();case
2:aq("input_value: native integer value too large");default:aq("input_value: ill-formed native integer")}}function
Z7(c,d){var
b=new
Array(8);for(var
a=0;a<8;a++)b[a]=c.read8u();d[0]=8;return f6(b)}function
Z4(e,d,b){var
c=eW(d);for(var
a=0;a<8;a++)e.write(8,c[a]);b[0]=8;b[1]=8}function
ZY(a,b,c){return a.compare(b)}function
Z1(a){return a.lo32()^a.hi32()}var
c_={"_j":{deserialize:Z7,serialize:Z4,fixed_length:8,compare:ZY,hash:Z1},"_i":{deserialize:ZX,fixed_length:4},"_n":{deserialize:_j,fixed_length:4},"_bigarray":{deserialize:function(a,b){return tr(a,b,s$)},serialize:tu,compare:tp,hash:tt},"_bigarr02":{deserialize:function(a,b){return tr(a,b,la)},serialize:tu,compare:tp,hash:tt}};function
lQ(a){return c_[a.caml_custom]&&c_[a.caml_custom].compare}function
tz(f,c,d,e){var
b=lQ(c);if(b){var
a=d>0?b(c,f,e):b(f,c,e);if(e&&a!=a)return d;if(+a!=+a)return+a;if((a|0)!=0)return a|0}return d}function
eX(a){return a
instanceof
c6}function
f8(a){return eX(a)}function
tA(a){if(typeof
a==="number")return cE;else
if(eX(a))return k8;else
if(f8(a))return 1252;else
if(a
instanceof
Array&&a[0]===a[0]>>>0&&a[0]<=dx){var
b=a[0]|0;return b==n?0:b}else
if(a
instanceof
String)return qn;else
if(typeof
a=="string")return qn;else
if(a
instanceof
Number)return cE;else
if(a&&a.caml_custom)return kL;else
if(a&&a.compare)return 1256;else
if(typeof
a=="function")return 1247;else
if(typeof
a=="symbol")return 1251;return 1001}function
tF(a,b){if(a<b)return-1;if(a==b)return 0;return 1}function
tw(a,b){a.t&6&&c9(a);b.t&6&&c9(b);return a.c<b.c?-1:a.c>b.c?1:0}function
tR(a,b){return tw(a,b)}function
ec(a,b,d){var
e=[];for(;;){if(!(d&&a===b)){var
f=tA(a);if(f==fK){a=a[1];continue}var
g=tA(b);if(g==fK){b=b[1];continue}if(f!==g){if(f==cE){if(g==kL)return tz(a,b,-1,d);return-1}if(g==cE){if(f==kL)return tz(b,a,1,d);return 1}return f<g?-1:1}switch(f){case
247:ar(lp);break;case
248:var
c=tF(a[2],b[2]);if(c!=0)return c|0;break;case
249:ar(lp);break;case
250:ar("equal: got Forward_tag, should not happen");break;case
251:ar("equal: abstract value");break;case
252:if(a!==b){var
c=tw(a,b);if(c!=0)return c|0}break;case
253:ar("equal: got Double_tag, should not happen");break;case
254:ar("equal: got Double_array_tag, should not happen");break;case
255:ar("equal: got Custom_tag, should not happen");break;case
1247:ar(lp);break;case
1255:var
i=lQ(a);if(i!=lQ(b))return a.caml_custom<b.caml_custom?-1:1;if(!i)ar("compare: abstract value");var
c=i(a,b,d);if(c!=c)return d?-1:c;if(c!==(c|0))return-1;if(c!=0)return c|0;break;case
1256:var
c=a.compare(b,d);if(c!=c)return d?-1:c;if(c!==(c|0))return-1;if(c!=0)return c|0;break;case
1000:a=+a;b=+b;if(a<b)return-1;if(a>b)return 1;if(a!=b){if(!d)return NaN;if(a==a)return 1;if(b==b)return-1}break;case
1001:if(a<b)return-1;if(a>b)return 1;if(a!=b){if(!d)return NaN;if(a==a)return 1;if(b==b)return-1}break;case
1251:if(a!==b){if(!d)return NaN;return 1}break;case
1252:var
a=aX(a),b=aX(b);if(a!==b){if(a<b)return-1;if(a>b)return 1}break;case
12520:var
a=a.toString(),b=b.toString();if(a!==b){if(a<b)return-1;if(a>b)return 1}break;case
246:case
254:default:if(a.length!=b.length)return a.length<b.length?-1:1;if(a.length>1)e.push(a,b,1);break}}if(e.length==0)return 0;var
h=e.pop();b=e.pop();a=e.pop();if(h+1<a.length)e.push(a,b,h+1);a=a[h];b=b[h]}}function
ap(a,b){return ec(a,b,true)}function
ZL(a){return(Math.exp(a)+Math.exp(-a))/2}function
Z(a){if(a<0)ar("Bytes.create");return new
c6(a?2:9,i,a)}function
dI(a){return a.toUtf16()}if(v.process&&v.process.cwd)var
f3=v.process.cwd().replace(/\\/g,bk);else
var
f3="/static";if(f3.slice(-1)!==bk)f3+=bk;function
_a(a){a=dI(a);if(a.charCodeAt(0)!=47)a=f3+a;var
d=a.split(bk),b=[];for(var
c=0;c<d.length;c++)switch(d[c]){case"..":if(b.length>1)b.pop();break;case".":break;case"":if(b.length==0)b.push(i);break;default:b.push(d[c]);break}b.orig=a;return b}function
ZJ(a){return new
c6(4,a,a.length)}function
_E(e){for(var
f=i,b=f,a,h,c=0,g=e.length;c<g;c++){a=e.charCodeAt(c);if(a<b4){for(var
d=c+1;d<g&&(a=e.charCodeAt(d))<b4;d++);if(d-c>kF){b.substr(0,1);f+=b;b=i;f+=e.slice(c,d)}else
b+=e.slice(c,d);if(d==g)break;c=d}if(a<q7){b+=String.fromCharCode(0xc0|a>>6);b+=String.fromCharCode(b4|a&eK)}else
if(a<0xd800||a>=r7)b+=String.fromCharCode(p8|a>>12,b4|a>>6&eK,b4|a&eK);else
if(a>=0xdbff||c+1==g||(h=e.charCodeAt(c+1))<rZ||h>r7)b+="\xef\xbf\xbd";else{c++;a=(a<<10)+h-0x35fdc00;b+=String.fromCharCode(rf|a>>18,b4|a>>12&eK,b4|a>>6&eK,b4|a&eK)}if(b.length>eQ){b.substr(0,1);f+=b;b=i}}return f+b}function
ZK(a){var
b=9;if(!tZ(a))b=8,a=_E(a);return new
c6(b,a,a.length)}function
bB(a){return ZK(a)}function
ah(a){l5(ae.Sys_error,a)}function
tO(a){a=aX(a);ah(a+": No such file or directory")}function
ay(a){return a.l}function
tj(){}function
aL(a){this.data=a}aL.prototype=new
tj();aL.prototype.truncate=function(a){var
b=this.data;this.data=Z(a|0);c7(b,0,this.data,0,a)};aL.prototype.length=function(){return ay(this.data)};aL.prototype.write=function(b,d,g,a){var
c=this.length();if(b+a>=c){var
e=Z(b+a),f=this.data;this.data=e;c7(f,0,this.data,0,c)}c8(d,g,this.data,b,a);return 0};aL.prototype.read=function(c,a,d,b){var
e=this.length();c7(this.data,c,a,d,b);return 0};aL.prototype.read_one=function(a){return dB(this.data,a)};aL.prototype.close=function(){};aL.prototype.constructor=aL;function
b6(b,a){this.content={};this.root=b;this.lookupFun=a}b6.prototype.nm=function(a){return this.root+a};b6.prototype.lookup=function(b){if(!this.content[b]&&this.lookupFun){var
c=this.lookupFun(a(this.root),a(b));if(c!==0)this.content[b]=new
aL(bz(c[1]))}};b6.prototype.exists=function(a){if(a==i)return 1;var
c=a+bk,d=new
RegExp(c4+c);for(var
b
in
this.content)if(b.match(d))return 1;this.lookup(a);return this.content[a]?1:0};b6.prototype.readdir=function(c){var
f=c==i?i:c+bk,g=new
RegExp(c4+f+rn),d={},b=[];for(var
e
in
this.content){var
a=e.match(g);if(a&&!d[a[1]]){d[a[1]]=true;b.push(a[1])}}return b};b6.prototype.is_dir=function(a){var
d=a==i?i:a+bk,e=new
RegExp(c4+d+rn),f=[];for(var
c
in
this.content){var
b=c.match(e);if(b)return 1}return 0};b6.prototype.unlink=function(a){var
b=this.content[a]?true:false;delete
this.content[a];return b};b6.prototype.open=function(a,b){if(b.rdonly&&b.wronly)ah(this.nm(a)+qs);if(b.text&&b.binary)ah(this.nm(a)+qX);this.lookup(a);if(this.content[a]){if(this.is_dir(a))ah(this.nm(a)+" : is a directory");if(b.create&&b.excl)ah(this.nm(a)+qr);var
c=this.content[a];if(b.truncate)c.truncate();return c}else
if(b.create){this.content[a]=new
aL(Z(0));return this.content[a]}else
tO(this.nm(a))};b6.prototype.register=function(b,a){if(this.content[b])ah(this.nm(b)+qr);if(eX(a))this.content[b]=new
aL(a);if(f8(a))this.content[b]=new
aL(bz(a));else
if(a
instanceof
Array)this.content[b]=new
aL(ZJ(a));else
if(typeof
a==="string")this.content[b]=new
aL(ty(a));else
if(a.toString){var
c=bz(bB(a.toString()));this.content[b]=new
aL(c)}else
ah(this.nm(b)+" : registering file with invalid content type")};b6.prototype.constructor=b6;function
l(a){return ay(a)}function
co(b,a){return dC(b,a)}function
tm(d){var
c=l(d),b=new
Array(c),a=0;for(;a<c;a++)b[a]=co(d,a);return b}function
tl(a){if(a.t!=4)ig(a);return a.c}function
cI(a){this.fs=require("fs");this.fd=a}cI.prototype=new
tj();cI.prototype.truncate=function(a){try{this.fs.ftruncateSync(this.fd,a|0)}catch(a){ah(a.toString())}};cI.prototype.length=function(){try{return this.fs.fstatSync(this.fd).size}catch(a){ah(a.toString())}};cI.prototype.write=function(f,b,c,e){var
a=tm(b);if(!(a
instanceof
v.Uint8Array))a=new(v.Uint8Array)(a);var
d=v.Buffer.from(a);try{this.fs.writeSync(this.fd,d,c,e,f)}catch(a){ah(a.toString())}return 0};cI.prototype.read=function(g,d,c,f){var
a=tl(d);if(!(a
instanceof
v.Uint8Array))a=new(v.Uint8Array)(a);var
e=v.Buffer.from(a);try{this.fs.readSync(this.fd,e,c,f,g)}catch(a){ah(a.toString())}for(var
b=0;b<f;b++)b7(d,c+b,e[c+b]);return 0};cI.prototype.read_one=function(c){var
b=new(v.Uint8Array)(1),a=v.Buffer.from(b);try{this.fs.readSync(this.fd,a,0,1,c)}catch(a){ah(a.toString())}return a[0]};cI.prototype.close=function(){try{this.fs.closeSync(this.fd)}catch(a){ah(a.toString())}};cI.prototype.constructor=cI;function
cH(a){this.fs=require("fs");this.root=a}cH.prototype.nm=function(a){return this.root+a};cH.prototype.exists=function(a){try{return this.fs.existsSync(this.nm(a))?1:0}catch(a){ah(a.toString())}};cH.prototype.readdir=function(a){try{return this.fs.readdirSync(this.nm(a))}catch(a){ah(a.toString())}};cH.prototype.is_dir=function(a){try{return this.fs.statSync(this.nm(a)).isDirectory()?1:0}catch(a){ah(a.toString())}};cH.prototype.unlink=function(a){try{var
b=this.fs.existsSync(this.nm(a))?1:0;this.fs.unlinkSync(this.nm(a))}catch(a){ah(a.toString())}return b};cH.prototype.open=function(f,c){var
a=require("constants"),b=0;for(var
e
in
c)switch(e){case"rdonly":b|=a.O_RDONLY;break;case"wronly":b|=a.O_WRONLY;break;case"append":b|=a.O_WRONLY|a.O_APPEND;break;case"create":b|=a.O_CREAT;break;case"truncate":b|=a.O_TRUNC;break;case"excl":b|=a.O_EXCL;break;case"binary":b|=a.O_BINARY;break;case"text":b|=a.O_TEXT;break;case"nonblock":b|=a.O_NONBLOCK;break}try{var
d=this.fs.openSync(this.nm(f),b);return new
cI(d)}catch(a){ah(a.toString())}};cH.prototype.rename=function(b,a){try{this.fs.renameSync(this.nm(b),this.nm(a))}catch(a){ah(a.toString())}};cH.prototype.constructor=cH;var
e0=f3.match(/[^\/]*\//)[0];function
_G(){return typeof
v.process!=="undefined"&&typeof
v.process.versions!=="undefined"&&typeof
v.process.versions.node!=="undefined"&&v.process.platform!=="browser"}var
ga=[];if(_G())ga.push({path:e0,device:new
cH(e0)});else
ga.push({path:e0,device:new
b6(e0)});ga.push({path:e0+rL,device:new
b6(e0+rL)});function
gb(b){var
f=_a(b),b=f.join(bk),e=b+bk,c;for(var
d=0;d<ga.length;d++){var
a=ga[d];if(e.search(a.path)==0&&(!c||c.path.length<a.path.length))c={path:a.path,device:a.device,rest:b.substring(a.path.length,b.length)}}return c}function
f2(c,b){var
c=typeof
c=="string"?a(c):c,b=typeof
b=="string"?a(b):b,d=gb(c);if(!d.device.register)aq("cannot register file");d.device.register(d.rest,b);return 0}function
lR(b,a){if(a==0)ip();return b/a|0}function
dE(a,b){return+(ec(a,b,false)==0)}function
ZM(a,c,b,d){if(b>0)if(c==0&&(b>=a.l||a.t==2&&b>=a.c.length))if(d==0){a.c=i;a.t=2}else{a.c=e1(b,String.fromCharCode(d));a.t=b==a.l?0:2}else{if(a.t!=4)ig(a);for(b+=c;c<b;c++)a.c[c]=d}return 0}function
ZN(a,b){if(a===b)return 0;if(a<b)return-1;if(a>b)return 1;if(a===a)return 1;if(b===b)return-1;return 0}function
f4(a){var
b;a=aX(a);b=+a;if(a.length>0&&b===b)return b;a=a.replace(/_/g,i);b=+a;if(a.length>0&&b===b||/^[+-]?nan$/i.test(a))return b;var
c=/^ *([+-]?)0x([0-9a-f]+)\.?([0-9a-f]*)p([+-]?[0-9]+)/i.exec(a);if(c){var
d=c[3].replace(/0+$/,i),f=parseInt(c[1]+c[2]+d,16),e=(c[4]|0)-4*d.length;b=f*Math.pow(2,e);return b}if(/^\+?inf(inity)?$/i.test(a))return Infinity;if(/^-inf(inity)?$/i.test(a))return-Infinity;aq("float_of_string")}function
l3(d){d=aX(d);var
e=d.length;if(e>31)ar("format_int: format too long");var
a={justify:c3,signstyle:aZ,filler:cl,alternate:false,base:0,signedconv:false,width:0,uppercase:false,sign:1,prec:-1,conv:qR};for(var
c=0;c<e;c++){var
b=d.charAt(c);switch(b){case"-":a.justify=aZ;break;case"+":case" ":a.signstyle=b;break;case"0":a.filler=bl;break;case"#":a.alternate=true;break;case"1":case"2":case"3":case"4":case"5":case"6":case"7":case"8":case"9":a.width=0;while(b=d.charCodeAt(c)-48,b>=0&&b<=9){a.width=a.width*10+b;c++}c--;break;case".":a.prec=0;c++;while(b=d.charCodeAt(c)-48,b>=0&&b<=9){a.prec=a.prec*10+b;c++}c--;case"d":case"i":a.signedconv=true;case"u":a.base=10;break;case"x":a.base=16;break;case"X":a.base=16;a.uppercase=true;break;case"o":a.base=8;break;case"e":case"f":case"g":a.signedconv=true;a.conv=b;break;case"E":case"F":case"G":a.signedconv=true;a.uppercase=true;a.conv=b.toLowerCase();break}}return a}function
lS(b,f){if(b.uppercase)f=f.toUpperCase();var
e=f.length;if(b.signedconv&&(b.sign<0||b.signstyle!=aZ))e++;if(b.alternate){if(b.base==8)e+=1;if(b.base==16)e+=2}var
c=i;if(b.justify==c3&&b.filler==cl)for(var
d=e;d<b.width;d++)c+=cl;if(b.signedconv)if(b.sign<0)c+=aZ;else
if(b.signstyle!=aZ)c+=b.signstyle;if(b.alternate&&b.base==8)c+=bl;if(b.alternate&&b.base==16)c+=kC;if(b.justify==c3&&b.filler==bl)for(var
d=e;d<b.width;d++)c+=bl;c+=f;if(b.justify==aZ)for(var
d=e;d<b.width;d++)c+=cl;return a(c)}function
tB(i,c){function
j(a,b){if(Math.abs(a)<1.0)return a.toFixed(b);else{var
c=parseInt(a.toString().split(c3)[1]);if(c>20){c-=20;a/=Math.pow(10,c);a+=new
Array(c+1).join(bl);if(b>0)a=a+bx+new
Array(b+1).join(bl);return a}else
return a.toFixed(b)}}var
a,e=l3(i),d=e.prec<0?6:e.prec;if(c<0||c==0&&1/c==-Infinity){e.sign=-1;c=-c}if(isNaN(c)){a=fW;e.filler=cl}else
if(!isFinite(c)){a="inf";e.filler=cl}else
switch(e.conv){case"e":var
a=c.toExponential(d),b=a.length;if(a.charAt(b-3)==f0)a=a.slice(0,b-1)+bl+a.slice(b-1);break;case"f":a=j(c,d);break;case"g":d=d?d:1;a=c.toExponential(d-1);var
h=a.indexOf(f0),g=+a.slice(h+1);if(g<-4||c>=1e21||c.toFixed(0).length>d){var
b=h-1;while(a.charAt(b)==bl)b--;if(a.charAt(b)==bx)b--;a=a.slice(0,b+1)+a.slice(h);b=a.length;if(a.charAt(b-3)==f0)a=a.slice(0,b-1)+bl+a.slice(b-1);break}else{var
f=d;if(g<0){f-=g+1;a=c.toFixed(f)}else
while(a=c.toFixed(f),a.length>d+1)f--;if(f){var
b=a.length-1;while(a.charAt(b)==bl)b--;if(a.charAt(b)==bx)b--;a=a.slice(0,b+1)}}break}return lS(e,a)}function
ih(e,c){if(aX(e)==sO)return a(i+c);var
b=l3(e);if(c<0)if(b.signedconv){b.sign=-1;c=-c}else
c>>>=0;var
d=c.toString(b.base);if(b.prec>=0){b.filler=cl;var
f=b.prec-d.length;if(f>0)d=e1(f,bl)+d}return lS(b,d)}var
_l=0;function
a9(){return _l++}function
eV(a){if(a==0||!isFinite(a))return[0,a,0];var
c=a<0;if(c)a=-a;var
b=Math.max(-b5,tY(a)+1);a*=Math.pow(2,-b);while(a<U){a*=2;b--}while(a>=1){a*=U;b++}if(c)a=-a;return[0,a,b]}function
ZO(){var
b=v.caml_fs_tmp;if(b)for(var
a=0;a<b.length;a++)f2(b[a].name,b[a].content);v.caml_create_file=f2;v.caml_fs_tmp=[];return 0}function
ii(a,b){return+(ec(a,b,false)>=0)}function
tC(a,b){return+(ec(a,b,false)>0)}function
lU(d,b){var
e=b.length,a,c;for(a=0;a+4<=e;a+=4){c=b.charCodeAt(a)|b.charCodeAt(a+1)<<8|b.charCodeAt(a+2)<<16|b.charCodeAt(a+3)<<24;d=aV(d,c)}c=0;switch(e&3){case
3:c=b.charCodeAt(a+2)<<16;case
2:c|=b.charCodeAt(a+1)<<8;case
1:c|=b.charCodeAt(a);d=aV(d,c)}d^=e;return d}function
ZT(a,b){return lU(a,aX(b))}function
ZQ(d,b){var
e=b.length,a,c;for(a=0;a+4<=e;a+=4){c=b[a]|b[a+1]<<8|b[a+2]<<16|b[a+3]<<24;d=aV(d,c)}c=0;switch(e&3){case
3:c=b[a+2]<<16;case
2:c|=b[a+1]<<8;case
1:c|=b[a];d=aV(d,c)}d^=e;return d}function
ZP(a,b){switch(b.t&6){default:c9(b);case
0:a=lU(a,b.c);break;case
2:a=ZQ(a,b.c)}return a}function
ZR(a){a^=a>>>16;a=cn(a,0x85ebca6b|0);a^=a>>>13;a=cn(a,0xc2b2ae35|0);a^=a>>>16;return a}function
dF(j,l,n,m){var
f,g,h,d,c,b,a,e,i;d=l;if(d<0||d>cG)d=cG;c=j;b=n;f=[m];g=0;h=1;while(g<h&&c>0){a=f[g++];if(a&&a.caml_custom){if(c_[a.caml_custom]&&c_[a.caml_custom].hash){var
k=c_[a.caml_custom].hash(a);b=aV(b,k);c--}}else
if(a
instanceof
Array&&a[0]===(a[0]|0))switch(a[0]){case
248:b=aV(b,a[2]);c--;break;case
250:f[--g]=a[1];break;default:var
o=a.length-1<<10|a[0];b=aV(b,o);for(e=1,i=a.length;e<i;e++){if(h>=d)break;f[h++]=a[e]}break}else
if(eX(a)){b=ZP(b,a);c--}else
if(f8(a)){b=ZT(b,a);c--}else
if(typeof
a==="string"){b=lU(b,a);c--}else
if(a===(a|0)){b=aV(b,a+a+1);c--}else
if(a===+a){b=lT(b,a);c--}}b=ZR(b);return b&qP}function
ZV(e,h,a){var
c=0;function
g(a){h--;if(e<0||h<0)return;if(a
instanceof
Array&&a[0]===(a[0]|0))switch(a[0]){case
248:e--;c=c*k0+a[2]|0;break;case
250:h++;g(a);break;default:e--;c=c*19+a[0]|0;for(var
b=a.length-1;b>0;b--)g(a[b])}else
if(eX(a)){e--;switch(a.t&6){default:c9(a);case
0:for(var
f=a.c,d=ay(a),b=0;b<d;b++)c=c*19+f.charCodeAt(b)|0;break;case
2:for(var
j=a.c,d=ay(a),b=0;b<d;b++)c=c*19+j[b]|0}}else
if(f8(a)){var
i=aX(a);for(var
f=i,d=i.length,b=0;b<d;b++)c=c*19+f.charCodeAt(b)|0}else
if(typeof
a==="string")for(var
f=a,d=a.length,b=0;b<d;b++)c=c*19+f.charCodeAt(b)|0;else
if(a===(a|0)){e--;c=c*k0+a|0}else
if(a===+a){e--;var
l=eW(f5(a));for(var
b=7;b>=0;b--)c=c*19+l[b]|0}else
if(a&&a.caml_custom)if(c_[a.caml_custom]&&c_[a.caml_custom].hash){var
k=c_[a.caml_custom].hash(a)|0;c=c*k0+k|0}}g(a);return c&qP}function
ZW(a,c,l){if(!isFinite(a)){if(isNaN(a))return bB(fW);return bB(a>0?s4:"-infinity")}var
j=a==0&&1/a==-Infinity?1:a>=0?0:1;if(j)a=-a;var
d=0;if(a==0);else
if(a<1)while(a<1&&d>-1022){a*=2;d--}else
while(a>=2){a/=2;d++}var
k=d<0?i:c3,e=i;if(j)e=aZ;else
switch(l){case
43:e=c3;break;case
32:e=cl;break;default:break}if(c>=0&&c<13){var
g=Math.pow(2,c*4);a=Math.round(a*g)/g}var
b=a.toString(16);if(c>=0){var
h=b.indexOf(bx);if(h<0)b+=bx+e1(c,bl);else{var
f=h+1+c;if(b.length<f)b+=e1(f-b.length,bl);else
b=b.substr(0,f)}}return bB(e+kC+b+"p"+k+d.toString(10))}function
tD(a,b){return a.and(b)}function
Z3(a){return+a.isZero()}function
ik(a){return new
w(a&cm,a>>24&cm,a>>31&cj)}function
l0(a){return a.toInt()}function
Z2(a){return+a.isNeg()}function
lZ(a){return a.neg()}function
Z0(g,c){var
a=l3(g);if(a.signedconv&&Z2(c)){a.sign=-1;c=lZ(c)}var
b=i,h=ik(a.base),f="0123456789abcdef";do{var
e=c.udivmod(h);c=e.quotient;b=f.charAt(l0(e.modulus))+b}while(!Z3(c));if(a.prec>=0){a.filler=cl;var
d=a.prec-b.length;if(d>0)b=e1(d,bl)+b}return lS(a,b)}function
ij(a){if(a<0)a=Math.ceil(a);return new
w(a&cm,Math.floor(a*f7)&cm,Math.floor(a*f7*f7)&cj)}function
tE(a,b){return a.or(b)}function
Z5(b,a){return b.shift_left(a)}function
Z6(b,a){return b.shift_right(a)}function
dH(a){return a.toFloat()}function
_n(c){var
a=0,e=l(c),b=10,d=1;if(e>0)switch(co(c,a)){case
45:a++;d=-1;break;case
43:a++;d=1;break}if(a+1<e&&co(c,a)==48)switch(co(c,a+1)){case
120:case
88:b=16;a+=2;break;case
111:case
79:b=8;a+=2;break;case
98:case
66:b=2;a+=2;break;case
117:case
85:a+=2;break}return[a,d,b]}function
tN(a){if(a>=48&&a<=57)return a-48;if(a>=65&&a<=90)return a-55;if(a>=97&&a<=lM)return a-87;return-1}function
c$(f){var
h=_n(f),c=h[0],i=h[1],d=h[2],g=l(f),j=-1>>>0,e=c<g?co(f,c):0,b=tN(e);if(b<0||b>=d)aq(hW);var
a=b;for(c++;c<g;c++){e=co(f,c);if(e==95)continue;b=tN(e);if(b<0||b>=d)break;a=d*a+b;if(a>j)aq(hW)}if(c!=g)aq(hW);a=i*a;if(d==10&&(a|0)!=a)aq(hW);return a|0}function
eY(a){return a.slice(1)}function
tG(d){return function(){var
b=arguments.length;if(b>0){var
c=new
Array(b);for(var
a=0;a<b;a++)c[a]=arguments[a];return b8(d,c)}else
return b8(d,[undefined])}}function
_(b,a){a|=0;if(a>b5){a-=b5;b*=Math.pow(2,b5);if(a>b5){a-=b5;b*=Math.pow(2,b5)}}if(a<-b5){a+=b5;b*=Math.pow(2,-b5)}b*=Math.pow(2,a);return b}function
Z8(a,b){return+(ec(a,b,false)<=0)}function
Z9(a,b){return+(ec(a,b,false)<0)}function
bA(b){b=aX(b);var
d=b.length/2,c=new
Array(d);for(var
a=0;a<d;a++)c[a]=(b.charCodeAt(2*a)|b.charCodeAt(2*a+1)<<8)<<16>>16;return c}function
Z_(b,t,a){var
n=2,o=3,r=5,d=6,h=7,g=8,j=9,m=1,l=2,q=3,s=4,p=5;if(!b.lex_default){b.lex_base=bA(b[m]);b.lex_backtrk=bA(b[l]);b.lex_check=bA(b[p]);b.lex_trans=bA(b[s]);b.lex_default=bA(b[q])}var
e,c=t,k=tl(a[n]);if(c>=0){a[h]=a[r]=a[d];a[g]=-1}else
c=-c-1;for(;;){var
f=b.lex_base[c];if(f<0)return-f-1;var
i=b.lex_backtrk[c];if(i>=0){a[h]=a[d];a[g]=i}if(a[d]>=a[o])if(a[j]==0)return-c-1;else
e=cG;else{e=k[a[d]];a[d]++}if(b.lex_check[f+e]==c)c=b.lex_trans[f+e];else
c=b.lex_default[c];if(c<0){a[d]=a[h];if(a[g]==-1)aq("lexing: empty token");else
return a[g]}else
if(e==cG)a[j]=0}}function
Z$(c){var
b=0;for(var
a=c.length-1;a>=0;a--){var
d=c[a];b=[0,d,b]}return b}function
ax(a,d){if(a<0)eb();var
a=a+1|0,b=new
Array(a);b[0]=0;for(var
c=1;c<a;c++)b[c]=d;return b}function
_u(b){return a(iq(b,0,b.length))}var
_b=function(){function
l(a,b){return a+b|0}function
a(d,a,c,f,b,e){a=l(l(a,d),l(f,e));return l(a<<b|a>>>32-b,c)}function
g(c,b,d,e,h,f,g){return a(b&d|~b&e,c,b,h,f,g)}function
h(d,b,e,c,h,f,g){return a(b&c|e&~c,d,b,h,f,g)}function
i(c,b,d,e,h,f,g){return a(b^d^e,c,b,h,f,g)}function
j(c,b,d,e,h,f,g){return a(d^(b|~e),c,b,h,f,g)}function
k(f,n){var
e=n;f[e>>2]|=b4<<8*(e&3);for(e=(e&~0x3)+8;(e&0x3F)<60;e+=4)f[(e>>2)-1]=0;f[(e>>2)-1]=n<<3;f[e>>2]=n>>29&0x1FFFFFFF;var
k=[0x67452301,0xEFCDAB89,0x98BADCFE,0x10325476];for(e=0;e<f.length;e+=16){var
a=k[0],b=k[1],c=k[2],d=k[3];a=g(a,b,c,d,f[e+0],7,0xD76AA478);d=g(d,a,b,c,f[e+1],12,0xE8C7B756);c=g(c,d,a,b,f[e+2],17,0x242070DB);b=g(b,c,d,a,f[e+3],22,0xC1BDCEEE);a=g(a,b,c,d,f[e+4],7,0xF57C0FAF);d=g(d,a,b,c,f[e+5],12,0x4787C62A);c=g(c,d,a,b,f[e+6],17,0xA8304613);b=g(b,c,d,a,f[e+7],22,0xFD469501);a=g(a,b,c,d,f[e+8],7,0x698098D8);d=g(d,a,b,c,f[e+9],12,0x8B44F7AF);c=g(c,d,a,b,f[e+10],17,0xFFFF5BB1);b=g(b,c,d,a,f[e+11],22,0x895CD7BE);a=g(a,b,c,d,f[e+12],7,0x6B901122);d=g(d,a,b,c,f[e+13],12,0xFD987193);c=g(c,d,a,b,f[e+14],17,0xA679438E);b=g(b,c,d,a,f[e+15],22,0x49B40821);a=h(a,b,c,d,f[e+1],5,0xF61E2562);d=h(d,a,b,c,f[e+6],9,0xC040B340);c=h(c,d,a,b,f[e+11],14,0x265E5A51);b=h(b,c,d,a,f[e+0],20,0xE9B6C7AA);a=h(a,b,c,d,f[e+5],5,0xD62F105D);d=h(d,a,b,c,f[e+10],9,0x02441453);c=h(c,d,a,b,f[e+15],14,0xD8A1E681);b=h(b,c,d,a,f[e+4],20,0xE7D3FBC8);a=h(a,b,c,d,f[e+9],5,0x21E1CDE6);d=h(d,a,b,c,f[e+14],9,0xC33707D6);c=h(c,d,a,b,f[e+3],14,0xF4D50D87);b=h(b,c,d,a,f[e+8],20,0x455A14ED);a=h(a,b,c,d,f[e+13],5,0xA9E3E905);d=h(d,a,b,c,f[e+2],9,0xFCEFA3F8);c=h(c,d,a,b,f[e+7],14,0x676F02D9);b=h(b,c,d,a,f[e+12],20,0x8D2A4C8A);a=i(a,b,c,d,f[e+5],4,0xFFFA3942);d=i(d,a,b,c,f[e+8],11,0x8771F681);c=i(c,d,a,b,f[e+11],16,0x6D9D6122);b=i(b,c,d,a,f[e+14],23,0xFDE5380C);a=i(a,b,c,d,f[e+1],4,0xA4BEEA44);d=i(d,a,b,c,f[e+4],11,0x4BDECFA9);c=i(c,d,a,b,f[e+7],16,0xF6BB4B60);b=i(b,c,d,a,f[e+10],23,0xBEBFBC70);a=i(a,b,c,d,f[e+13],4,0x289B7EC6);d=i(d,a,b,c,f[e+0],11,0xEAA127FA);c=i(c,d,a,b,f[e+3],16,0xD4EF3085);b=i(b,c,d,a,f[e+6],23,0x04881D05);a=i(a,b,c,d,f[e+9],4,0xD9D4D039);d=i(d,a,b,c,f[e+12],11,0xE6DB99E5);c=i(c,d,a,b,f[e+15],16,0x1FA27CF8);b=i(b,c,d,a,f[e+2],23,0xC4AC5665);a=j(a,b,c,d,f[e+0],6,0xF4292244);d=j(d,a,b,c,f[e+7],10,0x432AFF97);c=j(c,d,a,b,f[e+14],15,0xAB9423A7);b=j(b,c,d,a,f[e+5],21,0xFC93A039);a=j(a,b,c,d,f[e+12],6,0x655B59C3);d=j(d,a,b,c,f[e+3],10,0x8F0CCC92);c=j(c,d,a,b,f[e+10],15,0xFFEFF47D);b=j(b,c,d,a,f[e+1],21,0x85845DD1);a=j(a,b,c,d,f[e+8],6,0x6FA87E4F);d=j(d,a,b,c,f[e+15],10,0xFE2CE6E0);c=j(c,d,a,b,f[e+6],15,0xA3014314);b=j(b,c,d,a,f[e+13],21,0x4E0811A1);a=j(a,b,c,d,f[e+4],6,0xF7537E82);d=j(d,a,b,c,f[e+11],10,0xBD3AF235);c=j(c,d,a,b,f[e+2],15,0x2AD7D2BB);b=j(b,c,d,a,f[e+9],21,0xEB86D391);k[0]=l(a,k[0]);k[1]=l(b,k[1]);k[2]=l(c,k[2]);k[3]=l(d,k[3])}var
o=new
Array(16);for(var
e=0;e<4;e++)for(var
m=0;m<4;m++)o[e*4+m]=k[e]>>8*m&b3;return o}return function(h,g,f){var
e=[];switch(h.t&6){default:c9(h);case
0:var
d=h.c;for(var
a=0;a<f;a+=4){var
b=a+g;e[a>>2]=d.charCodeAt(b)|d.charCodeAt(b+1)<<8|d.charCodeAt(b+2)<<16|d.charCodeAt(b+3)<<24}for(;a<f;a++)e[a>>2]|=d.charCodeAt(a+g)<<8*(a&3);break;case
4:var
c=h.c;for(var
a=0;a<f;a+=4){var
b=a+g;e[a>>2]=c[b]|c[b+1]<<8|c[b+2]<<16|c[b+3]<<24}for(;a<f;a++)e[a>>2]|=c[a+g]<<8*(a&3)}return _u(k(e,f))}}();function
_c(c,b,a){return _b(bz(c),b,a)}function
tS(a){delete
ae.fds[a];return 0}var
a_=new
Array();function
eZ(c){var
a=a_[c];if(!a.opened)ah("Cannot flush a closed channel");if(!a.buffer||a.buffer==i)return 0;if(a.fd&&ae.fds[a.fd]&&ae.fds[a.fd].output){var
b=ae.fds[a.fd].output;switch(b.length){case
2:b(c,a.buffer);break;default:b(a.buffer)}}a.buffer=i;return 0}function
il(b){var
a=a_[b];eZ(b);a.opened=false;a.file.close();tS(a.fd);return 0}function
tJ(a){var
c=a.refill(),b=l(c);if(b==0)a.refill=null;a.file.write(a.file.length(),c,0,b);return b}function
tH(d,f,e,b){var
a=a_[d],c=a.file.length()-a.offset;if(c==0&&a.refill!=null)c=tJ(a);if(c<b)b=c;a.file.read(a.offset,f,e,b);a.offset+=b;return b}function
tI(b){var
a=a_[b];if(a.refill==null)return;if(a.file.length()!=a.offset)return;tJ(a)}function
_o(){l4(ae.End_of_file)}function
_d(b){var
a=a_[b];tI(b);if(a.offset>=a.file.length())_o();var
c=a.file.read_one(a.offset);a.offset++;return c}function
_e(c){var
b=a_[c];tI(c);var
a=b.offset,d=b.file.length();if(a>=d)return 0;while(true){if(a>=d)return-(a-b.offset);if(b.file.read_one(a)==10)return a-b.offset+1;a++}}function
tQ(e,f){var
b=a_[e],d=a(f),c=l(d);b.file.write(b.offset,d,0,c);b.offset+=c;return 0}function
_K(a){var
a=l7(a),b=v;if(b.process&&b.process.stdout&&b.process.stdout.write)b.process.stderr.write(a);else{if(a.charCodeAt(a.length-1)==10)a=a.substr(0,a.length-1);var
c=b.console;c&&c.error&&c.error(a)}}function
_L(a){var
a=l7(a),b=v;if(b.process&&b.process.stdout&&b.process.stdout.write)b.process.stdout.write(a);else{if(a.charCodeAt(a.length-1)==10)a=a.substr(0,a.length-1);var
c=b.console;c&&c.log&&c.log(a)}}function
ir(c,e,d,a){if(ae.fds===undefined)ae.fds=new
Array();a=a?a:{};var
b={};b.file=d;b.offset=a.append?d.length():0;b.flags=a;b.output=e;ae.fds[c]=b;if(!ae.fd_last_idx||c>ae.fd_last_idx)ae.fd_last_idx=c;return c}function
l6(c,b,g){var
a={};while(b){switch(b[1]){case
0:a.rdonly=1;break;case
1:a.wronly=1;break;case
2:a.append=1;break;case
3:a.create=1;break;case
4:a.truncate=1;break;case
5:a.excl=1;break;case
6:a.binary=1;break;case
7:a.text=1;break;case
8:a.nonblock=1;break}b=b[2]}if(a.rdonly&&a.wronly)ah(aX(c)+qs);if(a.text&&a.binary)ah(aX(c)+qX);var
d=gb(c),e=d.device.open(d.rest,a),f=ae.fd_last_idx?ae.fd_last_idx:0;return ir(f+1,tQ,e,a)}ir(0,tQ,new
aL(Z(0)));ir(1,_L,new
aL(Z(0)));ir(2,_K,new
aL(Z(0)));function
l1(c){var
b=ae.fds[c];if(b.flags.wronly)ah(rt+c+" is writeonly");var
a={file:b.file,offset:b.offset,fd:c,opened:true,out:false,refill:null};a_[a.fd]=a;return a.fd}function
im(c){var
b=ae.fds[c];if(b.flags.rdonly)ah(rt+c+" is readonly");var
a={file:b.file,offset:b.offset,fd:c,opened:true,out:true,buffer:i};a_[a.fd]=a;return a.fd}function
_f(){var
b=0;for(var
a=0;a<a_.length;a++)if(a_[a]&&a_[a].opened&&a_[a].out)b=[0,a_[a].fd,b];return b}function
as(a){return a}function
_g(g,d,h,f){var
b=a_[g];if(!b.opened)ah("Cannot output to a closed channel");var
a;if(h==0&&ay(d)==f)a=d;else{a=Z(f);c7(d,h,a,0,f)}var
i=as(a),c=aX(i),e=c.lastIndexOf("\n");if(e<0)b.buffer+=c;else{b.buffer+=c.substr(0,e+1);eZ(g);b.buffer+=c.substr(e+1)}return 0}function
l2(b,a,d,c){return _g(b,bz(a),d,c)}function
_h(c,b){var
d=a(String.fromCharCode(b));l2(c,d,0,1);return 0}function
tK(){return 0}function
_i(b,c){var
a=a_[b];ae.fds[a.fd].output=c;return 0}function
f9(b,a){if(a==0)ip();return b%a}function
f_(a,b){return+(ec(a,b,false)!=0)}function
_k(b,a){b[0]=a;return 0}function
io(a){if(a
instanceof
Array&&a[0]==a[0]>>>0)return a[0];else
if(eX(a))return k8;else
if(f8(a))return k8;else
if(a
instanceof
Function||typeof
a=="function")return r0;else
if(a&&a.caml_custom)return dx;else
return cE}function
_m(b,a,h,l){var
v=cG,u=6,$=7,O=8,P=9,D=10,I=0,r=1,G=2,H=3,F=4,E=5,o=1,C=2,B=3,p=4,z=5,L=6,f=7,t=8,N=9,M=10,w=11,J=12,K=13,y=14,A=15,x=16,_=2,Z=3,V=4,U=5,R=6,S=7,X=8,W=9,T=10,q=11,Y=12,Q=13;if(!b.dgoto){b.defred=bA(b[R]);b.sindex=bA(b[X]);b.check=bA(b[Q]);b.rindex=bA(b[W]);b.table=bA(b[Y]);b.len=bA(b[U]);b.lhs=bA(b[V]);b.gindex=bA(b[T]);b.dgoto=bA(b[S])}var
k=0,j,e,d,n,c=a[y],g=a[A],i=a[x];exit:for(;;)switch(h){case
0:g=0;i=0;case
6:j=b.defred[g];if(j!=0){h=D;break}if(a[f]>=0){h=$;break}k=I;break exit;case
1:if(l
instanceof
Array){a[f]=b[Z][l[0]+1];a[t]=l[1]}else{a[f]=b[_][l+1];a[t]=0}case
7:e=b.sindex[g];d=e+a[f];if(e!=0&&d>=0&&d<=b[q]&&b.check[d]==a[f]){h=O;break}e=b.rindex[g];d=e+a[f];if(e!=0&&d>=0&&d<=b[q]&&b.check[d]==a[f]){j=b.table[d];h=D;break}if(i<=0){k=E;break exit}case
5:if(i<3){i=3;for(;;){n=a[o][c+1];e=b.sindex[n];d=e+v;if(e!=0&&d>=0&&d<=b[q]&&b.check[d]==v){h=P;break}else{if(c<=a[L])return r;c--}}}else{if(a[f]==0)return r;a[f]=-1;h=u;break}case
8:a[f]=-1;if(i>0)i--;case
9:g=b.table[d];c++;if(c>=a[z]){k=G;break exit}case
2:a[o][c+1]=g;a[C][c+1]=a[t];a[B][c+1]=a[N];a[p][c+1]=a[M];h=u;break;case
10:var
m=b.len[j];a[w]=c;a[K]=j;a[J]=m;c=c-m+1;m=b.lhs[j];n=a[o][c];e=b.gindex[m];d=e+n;if(e!=0&&d>=0&&d<=b[q]&&b.check[d]==n)g=b.table[d];else
g=b.dgoto[m];if(c>=a[z]){k=H;break exit}case
3:k=F;break exit;case
4:a[o][c+1]=g;a[C][c+1]=l;var
s=a[w];a[p][c+1]=a[p][s+1];if(c>s)a[B][c+1]=a[p][s+1];h=u;break;default:return r}a[y]=c;a[A]=g;a[x]=i;return k}function
b9(b,c,a){if(a&&v.toplevelReloc)b=v.toplevelReloc(a);ae[b+1]=c;if(a)ae[a]=c}var
tM={};function
_r(a,b){tM[aX(a)]=b;return 0}function
_s(a){return(Math.exp(a)-Math.exp(-a))/2}function
aM(a,b){return tx(a,b)}function
_t(){ar(lb)}function
u(b,a){if(a>>>0>=l(b))_t();return co(b,a)}function
q(a,b){return 1-aM(a,b)}function
_v(){return[0,a("js_of_ocaml")]}function
_w(){return 0x7FFFFFFF/4|0}function
tT(b){var
a=v;if(a.quit)a.quit(b);if(a.process&&a.process.exit)a.process.exit(b);ar("Function 'exit' not implemented")}function
tU(b){var
a=gb(b);return a.device.exists(a.rest)}var
tk=function(){var
a=v,f="a.out",b=[];if(a.process&&a.process.argv&&a.process.argv.length>1){var
e=a.process.argv;f=e[1];b=e.slice(2)}var
g=bB(f),d=[0,g];for(var
c=0;c<b.length;c++)d.push(bB(b[c]));return d}();function
_x(a){return[0,tk[1],tk]}function
_y(){return[0,a("Unix"),32,0]}function
_p(){l4(ae.Not_found)}function
dJ(c){var
a=v,b=dI(c);if(a.process&&a.process.env&&a.process.env[b]!=undefined)return bB(a.process.env[b]);if(v.jsoo_static_env&&v.jsoo_static_env[b])return bB(v.jsoo_static_env[b]);_p()}function
_z(c){var
a=gb(c),b=a.device.is_dir(a.rest);return b?1:0}function
_A(){var
a=new
Date().getTime(),b=a^0xffffffff*Math.random();return[0,b]}function
_B(a){var
b=gb(a),c=b.device.unlink(b.rest);if(c==0)tO(a);return 0}function
_C(a){var
a=dI(a);if(typeof
require!="undefined"&&require("child_process")&&require("child_process").execSync)try{require("child_process").execSync(a,{stdio:"inherit"});return 0}catch(a){return 1}else
return eL}function
_D(a){var
b=Math.exp(a),c=Math.exp(-a);return(b-c)/(b+c)}function
e2(a){var
b=1;while(a&&a.joo_tramp){a=a.joo_tramp.apply(null,a.joo_args);b++}return a}function
ai(b,a){return{joo_tramp:b,joo_args:a}}function
tP(a){return a}function
tL(a){return tM[a]}function
m(a){if(a
instanceof
Array)return a;if(v.RangeError&&a
instanceof
v.RangeError&&a.message&&a.message.match(/maximum call stack/i))return tP(ae.Stack_overflow);if(v.InternalError&&a
instanceof
v.InternalError&&a.message&&a.message.match(/too much recursion/i))return tP(ae.Stack_overflow);if(a
instanceof
v.Error&&tL(kK))return[0,tL(kK),a];return[0,ae.Failure,bB(String(a))]}function
aN(c,d,b){for(var
a=b-1;a>=0;a--)if(c.data[d+a]!=0)return a+1;return 1}function
cJ(b,d,h,c,e,i){var
f=aN(b,d,h),g=aN(c,e,i);if(f>g)return 1;if(f<g)return-1;for(var
a=h-1;a>=0;a--){if(b.data[d+a]>>>0>c.data[e+a]>>>0)return 1;if(b.data[d+a]>>>0<c.data[e+a]>>>0)return-1}return 0}function
id(a){this.data=new(v.Int32Array)(a);this.length=this.data.length+2}id.prototype.caml_custom=q$;function
aF(c){var
b=new
id(c);for(var
a=0;a<c;a++)b.data[a]=-1;return b}function
is(c,d,g,f){var
a=f==1?0:1;for(var
b=0;b<g;b++){var
e=(c.data[d+b]>>>0)-a;c.data[d+b]=e;if(e>=0){a=0;break}else
a=1}return a==1?0:1}function
tV(e,b,a){var
d=e*d9+(b>>>16),f=Math.floor(d/a)*d9,g=d%a*d9,c=g+(b&qH);return[f+Math.floor(c/a),c%a]}function
l8(h,k,i,l,d,e,c,g,j){var
b=d.data[e+c-1]>>>0;for(var
a=c-2;a>=0;a--){var
f=tV(b,d.data[e+a]>>>0,g.data[j]>>>0);h.data[k+a]=f[0];b=f[1]}i.data[l]=b;return 0}function
t0(c,d){var
a=c.data[d],b=0;if(a&0xFFFF0000){b+=16;a>>>=16}if(a&0xFF00){b+=8;a>>>=8}if(a&0xF0){b+=4;a>>>=4}if(a&12){b+=2;a>>>=2}if(a&2){b+=1;a>>>=1}if(a&1)b+=1;return 32-b}function
l$(e,g,i,f,h,b){if(b==0){f.data[h]=0;return 0}var
c=0;for(var
a=0;a<i;a++){var
d=e.data[g+a]>>>0;e.data[g+a]=d<<b|c;c=d>>>32-b}f.data[h]=c;return 0}function
ma(e,g,i,f,h,b){if(b==0){f.data[h]=0;return 0}var
c=0;for(var
a=i-1;a>=0;a--){var
d=e.data[g+a]>>>0;e.data[g+a]=d>>>b|c;c=d<<32-b}f.data[h]=c;return 0}function
cL(c,d,b){for(var
a=0;a<b;a++)c.data[d+a]=0;return 0}function
e3(a){return new
id(a)}function
cK(d,e,g,h,i,c,l,m){var
a=0,f=l.data[m]>>>0;for(var
b=0;b<c;b++){var
n=(d.data[e+b]>>>0)+(h.data[i+b]>>>0)*(f&qH)+a,j=(h.data[i+b]>>>0)*(f>>>16);a=Math.floor(j/d9);var
k=n+j%d9*d9;d.data[e+b]=k;a+=Math.floor(k/re)}return c<g&&a?ie(d,e+c,g-c,e3([a]),0,1,0):a}function
gc(d,e,h,i,j,c,g){var
b=g==1?0:1;for(var
a=0;a<c;a++){var
f=(d.data[e+a]>>>0)-(i.data[j+a]>>>0)-b;d.data[e+a]=f;if(f>=0)b=0;else
b=1}return is(d,e+c,h-c,b==1?0:1)}function
tW(b,c,j,e,f,a){if(a==1){l8(b,c+1,b,c,b,c,j,e,f);return 0}var
h=t0(e,f+a-1);l$(e,f,a,e3([0]),0,h);l$(b,c,j,e3([0]),0,h);var
k=(e.data[f+a-1]>>>0)+1,i=aF(a+1);for(var
d=j-1;d>=a;d--){var
g=k==re?b.data[c+d]>>>0:tV(b.data[c+d]>>>0,b.data[c+d-1]>>>0,k)[0];cL(i,0,a+1);cK(i,0,a+1,e,f,a,e3([g]),0);gc(b,c+d-a,a+1,i,0,a+1,1);while(b.data[c+d]!=0||cJ(b,c+d-a,a,e,f,a)>=0){g=g+1;gc(b,c+d-a,a+1,e,f,a,1)}b.data[c+d]=g}ma(b,c,a,e3([0]),0,h);ma(e,f,a,e3([0]),0,h);return 0}function
_R(e,c,d){var
a=c.data.length;e.write(32,a);for(var
b=0;b<a;b++)e.write(32,c.data[b]);d[0]=a*4;d[1]=a*8}function
_F(d,e){var
b=d.read32s(),c=new
id(b);for(var
a=0;a<b;a++)c.data[a]=d.read32s();e[0]=b*4;return c}function
ZU(c){var
d=aN(c,0,c.data.length),a=0;for(var
b=0;b<d;b++)a=aV(a,c.data[b]);return a}function
_H(){c_[q$]={deserialize:_F,serialize:_R,hash:ZU}}function
tX(a,b){if(a.data[b]>=0)return 1;return 0}function
_I(a,b){if(a.data[b]&1)return 1;return 0}function
_J(a,b){if(a.data[b]==0)return 1;return 0}function
_M(a,c,b,d){a.data[c]&=b.data[d];return 0}function
it(f,i,c,g,j,d,h,k,e){var
b=0;for(var
a=0;a<e;a++)b+=cK(f,i+a,c-a,g,j,d,h,k+a);return b}function
iu(a,b){return a.data[b]}function
l9(a,b){return a.data[b]}function
_O(c,g,h){var
c=aX(c),l=c.length,h=aX(h),d=i,f=0,b,j,k,e;while(f<l){b=c.charAt(f++);if(b!=qF)d+=b;else{if(f==l)aq("Str.replace: illegal backslash sequence");b=c.charAt(f++);switch(b){case"\\":d+=b;break;case"0":case"1":case"2":case"3":case"4":case"5":case"6":case"7":case"8":case"9":e=+b;if(e*2>=g.length-1)aq(sY);j=lO(g,e*2);k=lO(g,e*2+1);if(j==-1)aq(sY);d+=h.slice(j,k);break;default:d+=qF+b}}}return a(d)}var
t1=function(){var
b=[bv,bv,bv,bv,bv,bv,b3,0x03,pP,b3,b3,0x87,pP,b3,b3,0x07,bv,bv,bv,bv,bv,bv,bv,bv,b3,b3,sg,b3,b3,b3,sg,b3],c={CHAR:0,CHARNORM:1,STRING:2,STRINGNORM:3,CHARCLASS:4,BOL:5,EOL:6,WORDBOUNDARY:7,BEGGROUP:8,ENDGROUP:9,REFGROUP:10,ACCEPT:11,SIMPLEOPT:12,SIMPLESTAR:13,SIMPLEPLUS:14,GOTO:15,PUSHBACK:16,SETMARK:17,CHECKPROGRESS:18};function
r(a){return b[a>>3]>>(a&7)&1}function
o(b,a){return u(b,a>>3)>>(a&7)&1}function
a(m,b,a,B){var
w=eY(m[1]),k=eY(m[2]),v=aX(m[3]),y=m[4]|0,z=m[5]|0,C=m[6]|0,b=tm(b),l=0,x=false,t=[],i=new
Array(y),q=new
Array(z);for(var
f=0;f<i.length;f++)i[f]={start:-1,end:-1};i[0].start=a;function
e(){while(t.length){var
b=t.pop();if(b.undo)b.undo.obj[b.undo.prop]=b.undo.value;else
if(b.pos){l=b.pos.pc;a=b.pos.txt;return}}x=true}function