/
democratic-republican_dem_topic_19.html
4457 lines (4372 loc) · 702 KB
/
democratic-republican_dem_topic_19.html
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
<!-- some code adapted from www.degeneratestate.org/static/metal_lyrics/metal_line.html -->
<!-- <!DOCTYPE html>
<meta content="utf-8"> -->
<style> /* set the CSS */
body {
font: 12px Arial;
}
path {
stroke: steelblue;
stroke-width: 2;
fill: none;
}
.axis path,
.axis lineper {
fill: none;
stroke: grey;
stroke-width: 1;
shape-rendering: crispEdges;
}
div.tooltip {
position: absolute;
text-align: center;
width: 150px;
height: 28px;
padding: 2px;
font: 12px sans-serif;
background: lightsteelblue;
border: 0px;
border-radius: 8px;
pointer-events: none;
}
div.tooltipscore {
position: absolute;
text-align: center;
width: 150px;
height: 42px;
padding: 2px;
font: 10px sans-serif;
background: lightsteelblue;
border: 0px;
border-radius: 8px;
pointer-events: none;
}
.category_header {
font: 12px sans-serif;
font-weight: bolder;
text-decoration: underline;
}
div.label {
color: rgb(252, 251, 253);
color: rgb(63, 0, 125);
color: rgb(158, 155, 201);
position: absolute;
text-align: left;
padding: 1px;
border-spacing: 1px;
font: 10px sans-serif;
border: 0;
pointer-events: none;
}
input {
border: 1px dotted #ccc;
background: white;
font-family: monospace;
padding: 10px 20px;
font-size: 14px;
margin: 20px 10px 30px 0;
color: darkred;
}
.alert {
font-family: monospace;
padding: 10px 20px;
font-size: 14px;
margin: 20px 10px 30px 0;
color: darkred;
}
ul.top_terms li {
padding-right: 20px;
font-size: 30pt;
color: red;
}
input:focus {
background-color: lightyellow;
outline: none;
}
.snippet {
padding-bottom: 10px;
padding-left: 5px;
padding-right: 5px;
}
.snippet_header {
font: 20px sans-serif;
font-weight: bolder;
#text-decoration: underline;
text-align: center;
border-bottom-width: 10px;
border-bottom-color: #888888;
padding-bottom: 10px;
}
.text_header {
font: 18px sans-serif;
font-weight: bolder;
text-decoration: underline;
text-align: center;
color: darkblue;
padding-bottom: 10px;
}
.text_subheader {
font: 14px sans-serif;
text-align: center;
}
.snippet_meta {
border-top: 3px solid #4588ba;
font: 12px sans-serif;
color: darkblue;
}
.left_contexts {
width: 45%;
float: left;
}
.right_contexts {
width: 45%;
float: left;
}
.small_label {
font-size: 10px;
}
#cat {
}
#notcat {
}
</style>
<script src="https://d3js.org/d3.v4.min.js" charset="utf-8"></script>
<script src="https://d3js.org/d3-scale-chromatic.v1.min.js" charset="utf-8"></script>
<div id="d3-div-1"> </div>
<form name="termForm" onSubmit="handleSearch(); return false;">
<input name="Submit" type="submit" value="Search for term">
<input type="text" id="searchTerm" placeholder="Type a word or two…">
<span id="alertMessage" class="alert"></span>
</form>
<a name="snippets"></a>
<a name="snippetsalt"></a>
<div id="termstats"></div>
<div id="d3-div-2">
<div class="snippet_header left_contexts" id="cathead"></div>
<div class="snippet_header right_contexts" id="notcathead"></div>
<div class="snippet left_contexts" id="cat"></div>
<div class="snippet right_contexts" id="notcat"></div>
</div>
<script>
// Created using Cozy: https://github.com/uwplse/cozy
function Rectangle(ax1, ay1, ax2, ay2) {
this.ax1 = ax1;
this.ay1 = ay1;
this.ax2 = ax2;
this.ay2 = ay2;
this._left7 = undefined;
this._right8 = undefined;
this._parent9 = undefined;
this._min_ax12 = undefined;
this._min_ay13 = undefined;
this._max_ay24 = undefined;
this._height10 = undefined;
}
function RectangleHolder() {
this.my_size = 0;
(this)._root1 = null;
}
RectangleHolder.prototype.size = function () {
return this.my_size;
};
RectangleHolder.prototype.add = function (x) {
++this.my_size;
var _idx69 = (x).ax2;
(x)._left7 = null;
(x)._right8 = null;
(x)._min_ax12 = (x).ax1;
(x)._min_ay13 = (x).ay1;
(x)._max_ay24 = (x).ay2;
(x)._height10 = 0;
var _previous70 = null;
var _current71 = (this)._root1;
var _is_left72 = false;
while (!((_current71) == null)) {
_previous70 = _current71;
if ((_idx69) < ((_current71).ax2)) {
_current71 = (_current71)._left7;
_is_left72 = true;
} else {
_current71 = (_current71)._right8;
_is_left72 = false;
}
}
if ((_previous70) == null) {
(this)._root1 = x;
} else {
(x)._parent9 = _previous70;
if (_is_left72) {
(_previous70)._left7 = x;
} else {
(_previous70)._right8 = x;
}
}
var _cursor73 = (x)._parent9;
var _changed74 = true;
while ((_changed74) && (!((_cursor73) == (null)))) {
var _old__min_ax1275 = (_cursor73)._min_ax12;
var _old__min_ay1376 = (_cursor73)._min_ay13;
var _old__max_ay2477 = (_cursor73)._max_ay24;
var _old_height78 = (_cursor73)._height10;
/* _min_ax12 is min of ax1 */
var _augval79 = (_cursor73).ax1;
var _child80 = (_cursor73)._left7;
if (!((_child80) == null)) {
var _val81 = (_child80)._min_ax12;
_augval79 = ((_augval79) < (_val81)) ? (_augval79) : (_val81);
}
var _child82 = (_cursor73)._right8;
if (!((_child82) == null)) {
var _val83 = (_child82)._min_ax12;
_augval79 = ((_augval79) < (_val83)) ? (_augval79) : (_val83);
}
(_cursor73)._min_ax12 = _augval79;
/* _min_ay13 is min of ay1 */
var _augval84 = (_cursor73).ay1;
var _child85 = (_cursor73)._left7;
if (!((_child85) == null)) {
var _val86 = (_child85)._min_ay13;
_augval84 = ((_augval84) < (_val86)) ? (_augval84) : (_val86);
}
var _child87 = (_cursor73)._right8;
if (!((_child87) == null)) {
var _val88 = (_child87)._min_ay13;
_augval84 = ((_augval84) < (_val88)) ? (_augval84) : (_val88);
}
(_cursor73)._min_ay13 = _augval84;
/* _max_ay24 is max of ay2 */
var _augval89 = (_cursor73).ay2;
var _child90 = (_cursor73)._left7;
if (!((_child90) == null)) {
var _val91 = (_child90)._max_ay24;
_augval89 = ((_augval89) < (_val91)) ? (_val91) : (_augval89);
}
var _child92 = (_cursor73)._right8;
if (!((_child92) == null)) {
var _val93 = (_child92)._max_ay24;
_augval89 = ((_augval89) < (_val93)) ? (_val93) : (_augval89);
}
(_cursor73)._max_ay24 = _augval89;
(_cursor73)._height10 = 1 + ((((((_cursor73)._left7) == null) ? (-1) : (((_cursor73)._left7)._height10)) > ((((_cursor73)._right8) == null) ? (-1) : (((_cursor73)._right8)._height10))) ? ((((_cursor73)._left7) == null) ? (-1) : (((_cursor73)._left7)._height10)) : ((((_cursor73)._right8) == null) ? (-1) : (((_cursor73)._right8)._height10)));
_changed74 = false;
_changed74 = (_changed74) || (!((_old__min_ax1275) == ((_cursor73)._min_ax12)));
_changed74 = (_changed74) || (!((_old__min_ay1376) == ((_cursor73)._min_ay13)));
_changed74 = (_changed74) || (!((_old__max_ay2477) == ((_cursor73)._max_ay24)));
_changed74 = (_changed74) || (!((_old_height78) == ((_cursor73)._height10)));
_cursor73 = (_cursor73)._parent9;
}
/* rebalance AVL tree */
var _cursor94 = x;
var _imbalance95;
while (!(((_cursor94)._parent9) == null)) {
_cursor94 = (_cursor94)._parent9;
(_cursor94)._height10 = 1 + ((((((_cursor94)._left7) == null) ? (-1) : (((_cursor94)._left7)._height10)) > ((((_cursor94)._right8) == null) ? (-1) : (((_cursor94)._right8)._height10))) ? ((((_cursor94)._left7) == null) ? (-1) : (((_cursor94)._left7)._height10)) : ((((_cursor94)._right8) == null) ? (-1) : (((_cursor94)._right8)._height10)));
_imbalance95 = ((((_cursor94)._left7) == null) ? (-1) : (((_cursor94)._left7)._height10)) - ((((_cursor94)._right8) == null) ? (-1) : (((_cursor94)._right8)._height10));
if ((_imbalance95) > (1)) {
if ((((((_cursor94)._left7)._left7) == null) ? (-1) : ((((_cursor94)._left7)._left7)._height10)) < (((((_cursor94)._left7)._right8) == null) ? (-1) : ((((_cursor94)._left7)._right8)._height10))) {
/* rotate ((_cursor94)._left7)._right8 */
var _a96 = (_cursor94)._left7;
var _b97 = (_a96)._right8;
var _c98 = (_b97)._left7;
/* replace _a96 with _b97 in (_a96)._parent9 */
if (!(((_a96)._parent9) == null)) {
if ((((_a96)._parent9)._left7) == (_a96)) {
((_a96)._parent9)._left7 = _b97;
} else {
((_a96)._parent9)._right8 = _b97;
}
}
if (!((_b97) == null)) {
(_b97)._parent9 = (_a96)._parent9;
}
/* replace _c98 with _a96 in _b97 */
(_b97)._left7 = _a96;
if (!((_a96) == null)) {
(_a96)._parent9 = _b97;
}
/* replace _b97 with _c98 in _a96 */
(_a96)._right8 = _c98;
if (!((_c98) == null)) {
(_c98)._parent9 = _a96;
}
/* _min_ax12 is min of ax1 */
var _augval99 = (_a96).ax1;
var _child100 = (_a96)._left7;
if (!((_child100) == null)) {
var _val101 = (_child100)._min_ax12;
_augval99 = ((_augval99) < (_val101)) ? (_augval99) : (_val101);
}
var _child102 = (_a96)._right8;
if (!((_child102) == null)) {
var _val103 = (_child102)._min_ax12;
_augval99 = ((_augval99) < (_val103)) ? (_augval99) : (_val103);
}
(_a96)._min_ax12 = _augval99;
/* _min_ay13 is min of ay1 */
var _augval104 = (_a96).ay1;
var _child105 = (_a96)._left7;
if (!((_child105) == null)) {
var _val106 = (_child105)._min_ay13;
_augval104 = ((_augval104) < (_val106)) ? (_augval104) : (_val106);
}
var _child107 = (_a96)._right8;
if (!((_child107) == null)) {
var _val108 = (_child107)._min_ay13;
_augval104 = ((_augval104) < (_val108)) ? (_augval104) : (_val108);
}
(_a96)._min_ay13 = _augval104;
/* _max_ay24 is max of ay2 */
var _augval109 = (_a96).ay2;
var _child110 = (_a96)._left7;
if (!((_child110) == null)) {
var _val111 = (_child110)._max_ay24;
_augval109 = ((_augval109) < (_val111)) ? (_val111) : (_augval109);
}
var _child112 = (_a96)._right8;
if (!((_child112) == null)) {
var _val113 = (_child112)._max_ay24;
_augval109 = ((_augval109) < (_val113)) ? (_val113) : (_augval109);
}
(_a96)._max_ay24 = _augval109;
(_a96)._height10 = 1 + ((((((_a96)._left7) == null) ? (-1) : (((_a96)._left7)._height10)) > ((((_a96)._right8) == null) ? (-1) : (((_a96)._right8)._height10))) ? ((((_a96)._left7) == null) ? (-1) : (((_a96)._left7)._height10)) : ((((_a96)._right8) == null) ? (-1) : (((_a96)._right8)._height10)));
/* _min_ax12 is min of ax1 */
var _augval114 = (_b97).ax1;
var _child115 = (_b97)._left7;
if (!((_child115) == null)) {
var _val116 = (_child115)._min_ax12;
_augval114 = ((_augval114) < (_val116)) ? (_augval114) : (_val116);
}
var _child117 = (_b97)._right8;
if (!((_child117) == null)) {
var _val118 = (_child117)._min_ax12;
_augval114 = ((_augval114) < (_val118)) ? (_augval114) : (_val118);
}
(_b97)._min_ax12 = _augval114;
/* _min_ay13 is min of ay1 */
var _augval119 = (_b97).ay1;
var _child120 = (_b97)._left7;
if (!((_child120) == null)) {
var _val121 = (_child120)._min_ay13;
_augval119 = ((_augval119) < (_val121)) ? (_augval119) : (_val121);
}
var _child122 = (_b97)._right8;
if (!((_child122) == null)) {
var _val123 = (_child122)._min_ay13;
_augval119 = ((_augval119) < (_val123)) ? (_augval119) : (_val123);
}
(_b97)._min_ay13 = _augval119;
/* _max_ay24 is max of ay2 */
var _augval124 = (_b97).ay2;
var _child125 = (_b97)._left7;
if (!((_child125) == null)) {
var _val126 = (_child125)._max_ay24;
_augval124 = ((_augval124) < (_val126)) ? (_val126) : (_augval124);
}
var _child127 = (_b97)._right8;
if (!((_child127) == null)) {
var _val128 = (_child127)._max_ay24;
_augval124 = ((_augval124) < (_val128)) ? (_val128) : (_augval124);
}
(_b97)._max_ay24 = _augval124;
(_b97)._height10 = 1 + ((((((_b97)._left7) == null) ? (-1) : (((_b97)._left7)._height10)) > ((((_b97)._right8) == null) ? (-1) : (((_b97)._right8)._height10))) ? ((((_b97)._left7) == null) ? (-1) : (((_b97)._left7)._height10)) : ((((_b97)._right8) == null) ? (-1) : (((_b97)._right8)._height10)));
if (!(((_b97)._parent9) == null)) {
/* _min_ax12 is min of ax1 */
var _augval129 = ((_b97)._parent9).ax1;
var _child130 = ((_b97)._parent9)._left7;
if (!((_child130) == null)) {
var _val131 = (_child130)._min_ax12;
_augval129 = ((_augval129) < (_val131)) ? (_augval129) : (_val131);
}
var _child132 = ((_b97)._parent9)._right8;
if (!((_child132) == null)) {
var _val133 = (_child132)._min_ax12;
_augval129 = ((_augval129) < (_val133)) ? (_augval129) : (_val133);
}
((_b97)._parent9)._min_ax12 = _augval129;
/* _min_ay13 is min of ay1 */
var _augval134 = ((_b97)._parent9).ay1;
var _child135 = ((_b97)._parent9)._left7;
if (!((_child135) == null)) {
var _val136 = (_child135)._min_ay13;
_augval134 = ((_augval134) < (_val136)) ? (_augval134) : (_val136);
}
var _child137 = ((_b97)._parent9)._right8;
if (!((_child137) == null)) {
var _val138 = (_child137)._min_ay13;
_augval134 = ((_augval134) < (_val138)) ? (_augval134) : (_val138);
}
((_b97)._parent9)._min_ay13 = _augval134;
/* _max_ay24 is max of ay2 */
var _augval139 = ((_b97)._parent9).ay2;
var _child140 = ((_b97)._parent9)._left7;
if (!((_child140) == null)) {
var _val141 = (_child140)._max_ay24;
_augval139 = ((_augval139) < (_val141)) ? (_val141) : (_augval139);
}
var _child142 = ((_b97)._parent9)._right8;
if (!((_child142) == null)) {
var _val143 = (_child142)._max_ay24;
_augval139 = ((_augval139) < (_val143)) ? (_val143) : (_augval139);
}
((_b97)._parent9)._max_ay24 = _augval139;
((_b97)._parent9)._height10 = 1 + (((((((_b97)._parent9)._left7) == null) ? (-1) : ((((_b97)._parent9)._left7)._height10)) > (((((_b97)._parent9)._right8) == null) ? (-1) : ((((_b97)._parent9)._right8)._height10))) ? (((((_b97)._parent9)._left7) == null) ? (-1) : ((((_b97)._parent9)._left7)._height10)) : (((((_b97)._parent9)._right8) == null) ? (-1) : ((((_b97)._parent9)._right8)._height10)));
} else {
(this)._root1 = _b97;
}
}
/* rotate (_cursor94)._left7 */
var _a144 = _cursor94;
var _b145 = (_a144)._left7;
var _c146 = (_b145)._right8;
/* replace _a144 with _b145 in (_a144)._parent9 */
if (!(((_a144)._parent9) == null)) {
if ((((_a144)._parent9)._left7) == (_a144)) {
((_a144)._parent9)._left7 = _b145;
} else {
((_a144)._parent9)._right8 = _b145;
}
}
if (!((_b145) == null)) {
(_b145)._parent9 = (_a144)._parent9;
}
/* replace _c146 with _a144 in _b145 */
(_b145)._right8 = _a144;
if (!((_a144) == null)) {
(_a144)._parent9 = _b145;
}
/* replace _b145 with _c146 in _a144 */
(_a144)._left7 = _c146;
if (!((_c146) == null)) {
(_c146)._parent9 = _a144;
}
/* _min_ax12 is min of ax1 */
var _augval147 = (_a144).ax1;
var _child148 = (_a144)._left7;
if (!((_child148) == null)) {
var _val149 = (_child148)._min_ax12;
_augval147 = ((_augval147) < (_val149)) ? (_augval147) : (_val149);
}
var _child150 = (_a144)._right8;
if (!((_child150) == null)) {
var _val151 = (_child150)._min_ax12;
_augval147 = ((_augval147) < (_val151)) ? (_augval147) : (_val151);
}
(_a144)._min_ax12 = _augval147;
/* _min_ay13 is min of ay1 */
var _augval152 = (_a144).ay1;
var _child153 = (_a144)._left7;
if (!((_child153) == null)) {
var _val154 = (_child153)._min_ay13;
_augval152 = ((_augval152) < (_val154)) ? (_augval152) : (_val154);
}
var _child155 = (_a144)._right8;
if (!((_child155) == null)) {
var _val156 = (_child155)._min_ay13;
_augval152 = ((_augval152) < (_val156)) ? (_augval152) : (_val156);
}
(_a144)._min_ay13 = _augval152;
/* _max_ay24 is max of ay2 */
var _augval157 = (_a144).ay2;
var _child158 = (_a144)._left7;
if (!((_child158) == null)) {
var _val159 = (_child158)._max_ay24;
_augval157 = ((_augval157) < (_val159)) ? (_val159) : (_augval157);
}
var _child160 = (_a144)._right8;
if (!((_child160) == null)) {
var _val161 = (_child160)._max_ay24;
_augval157 = ((_augval157) < (_val161)) ? (_val161) : (_augval157);
}
(_a144)._max_ay24 = _augval157;
(_a144)._height10 = 1 + ((((((_a144)._left7) == null) ? (-1) : (((_a144)._left7)._height10)) > ((((_a144)._right8) == null) ? (-1) : (((_a144)._right8)._height10))) ? ((((_a144)._left7) == null) ? (-1) : (((_a144)._left7)._height10)) : ((((_a144)._right8) == null) ? (-1) : (((_a144)._right8)._height10)));
/* _min_ax12 is min of ax1 */
var _augval162 = (_b145).ax1;
var _child163 = (_b145)._left7;
if (!((_child163) == null)) {
var _val164 = (_child163)._min_ax12;
_augval162 = ((_augval162) < (_val164)) ? (_augval162) : (_val164);
}
var _child165 = (_b145)._right8;
if (!((_child165) == null)) {
var _val166 = (_child165)._min_ax12;
_augval162 = ((_augval162) < (_val166)) ? (_augval162) : (_val166);
}
(_b145)._min_ax12 = _augval162;
/* _min_ay13 is min of ay1 */
var _augval167 = (_b145).ay1;
var _child168 = (_b145)._left7;
if (!((_child168) == null)) {
var _val169 = (_child168)._min_ay13;
_augval167 = ((_augval167) < (_val169)) ? (_augval167) : (_val169);
}
var _child170 = (_b145)._right8;
if (!((_child170) == null)) {
var _val171 = (_child170)._min_ay13;
_augval167 = ((_augval167) < (_val171)) ? (_augval167) : (_val171);
}
(_b145)._min_ay13 = _augval167;
/* _max_ay24 is max of ay2 */
var _augval172 = (_b145).ay2;
var _child173 = (_b145)._left7;
if (!((_child173) == null)) {
var _val174 = (_child173)._max_ay24;
_augval172 = ((_augval172) < (_val174)) ? (_val174) : (_augval172);
}
var _child175 = (_b145)._right8;
if (!((_child175) == null)) {
var _val176 = (_child175)._max_ay24;
_augval172 = ((_augval172) < (_val176)) ? (_val176) : (_augval172);
}
(_b145)._max_ay24 = _augval172;
(_b145)._height10 = 1 + ((((((_b145)._left7) == null) ? (-1) : (((_b145)._left7)._height10)) > ((((_b145)._right8) == null) ? (-1) : (((_b145)._right8)._height10))) ? ((((_b145)._left7) == null) ? (-1) : (((_b145)._left7)._height10)) : ((((_b145)._right8) == null) ? (-1) : (((_b145)._right8)._height10)));
if (!(((_b145)._parent9) == null)) {
/* _min_ax12 is min of ax1 */
var _augval177 = ((_b145)._parent9).ax1;
var _child178 = ((_b145)._parent9)._left7;
if (!((_child178) == null)) {
var _val179 = (_child178)._min_ax12;
_augval177 = ((_augval177) < (_val179)) ? (_augval177) : (_val179);
}
var _child180 = ((_b145)._parent9)._right8;
if (!((_child180) == null)) {
var _val181 = (_child180)._min_ax12;
_augval177 = ((_augval177) < (_val181)) ? (_augval177) : (_val181);
}
((_b145)._parent9)._min_ax12 = _augval177;
/* _min_ay13 is min of ay1 */
var _augval182 = ((_b145)._parent9).ay1;
var _child183 = ((_b145)._parent9)._left7;
if (!((_child183) == null)) {
var _val184 = (_child183)._min_ay13;
_augval182 = ((_augval182) < (_val184)) ? (_augval182) : (_val184);
}
var _child185 = ((_b145)._parent9)._right8;
if (!((_child185) == null)) {
var _val186 = (_child185)._min_ay13;
_augval182 = ((_augval182) < (_val186)) ? (_augval182) : (_val186);
}
((_b145)._parent9)._min_ay13 = _augval182;
/* _max_ay24 is max of ay2 */
var _augval187 = ((_b145)._parent9).ay2;
var _child188 = ((_b145)._parent9)._left7;
if (!((_child188) == null)) {
var _val189 = (_child188)._max_ay24;
_augval187 = ((_augval187) < (_val189)) ? (_val189) : (_augval187);
}
var _child190 = ((_b145)._parent9)._right8;
if (!((_child190) == null)) {
var _val191 = (_child190)._max_ay24;
_augval187 = ((_augval187) < (_val191)) ? (_val191) : (_augval187);
}
((_b145)._parent9)._max_ay24 = _augval187;
((_b145)._parent9)._height10 = 1 + (((((((_b145)._parent9)._left7) == null) ? (-1) : ((((_b145)._parent9)._left7)._height10)) > (((((_b145)._parent9)._right8) == null) ? (-1) : ((((_b145)._parent9)._right8)._height10))) ? (((((_b145)._parent9)._left7) == null) ? (-1) : ((((_b145)._parent9)._left7)._height10)) : (((((_b145)._parent9)._right8) == null) ? (-1) : ((((_b145)._parent9)._right8)._height10)));
} else {
(this)._root1 = _b145;
}
_cursor94 = (_cursor94)._parent9;
} else if ((_imbalance95) < (-1)) {
if ((((((_cursor94)._right8)._left7) == null) ? (-1) : ((((_cursor94)._right8)._left7)._height10)) > (((((_cursor94)._right8)._right8) == null) ? (-1) : ((((_cursor94)._right8)._right8)._height10))) {
/* rotate ((_cursor94)._right8)._left7 */
var _a192 = (_cursor94)._right8;
var _b193 = (_a192)._left7;
var _c194 = (_b193)._right8;
/* replace _a192 with _b193 in (_a192)._parent9 */
if (!(((_a192)._parent9) == null)) {
if ((((_a192)._parent9)._left7) == (_a192)) {
((_a192)._parent9)._left7 = _b193;
} else {
((_a192)._parent9)._right8 = _b193;
}
}
if (!((_b193) == null)) {
(_b193)._parent9 = (_a192)._parent9;
}
/* replace _c194 with _a192 in _b193 */
(_b193)._right8 = _a192;
if (!((_a192) == null)) {
(_a192)._parent9 = _b193;
}
/* replace _b193 with _c194 in _a192 */
(_a192)._left7 = _c194;
if (!((_c194) == null)) {
(_c194)._parent9 = _a192;
}
/* _min_ax12 is min of ax1 */
var _augval195 = (_a192).ax1;
var _child196 = (_a192)._left7;
if (!((_child196) == null)) {
var _val197 = (_child196)._min_ax12;
_augval195 = ((_augval195) < (_val197)) ? (_augval195) : (_val197);
}
var _child198 = (_a192)._right8;
if (!((_child198) == null)) {
var _val199 = (_child198)._min_ax12;
_augval195 = ((_augval195) < (_val199)) ? (_augval195) : (_val199);
}
(_a192)._min_ax12 = _augval195;
/* _min_ay13 is min of ay1 */
var _augval200 = (_a192).ay1;
var _child201 = (_a192)._left7;
if (!((_child201) == null)) {
var _val202 = (_child201)._min_ay13;
_augval200 = ((_augval200) < (_val202)) ? (_augval200) : (_val202);
}
var _child203 = (_a192)._right8;
if (!((_child203) == null)) {
var _val204 = (_child203)._min_ay13;
_augval200 = ((_augval200) < (_val204)) ? (_augval200) : (_val204);
}
(_a192)._min_ay13 = _augval200;
/* _max_ay24 is max of ay2 */
var _augval205 = (_a192).ay2;
var _child206 = (_a192)._left7;
if (!((_child206) == null)) {
var _val207 = (_child206)._max_ay24;
_augval205 = ((_augval205) < (_val207)) ? (_val207) : (_augval205);
}
var _child208 = (_a192)._right8;
if (!((_child208) == null)) {
var _val209 = (_child208)._max_ay24;
_augval205 = ((_augval205) < (_val209)) ? (_val209) : (_augval205);
}
(_a192)._max_ay24 = _augval205;
(_a192)._height10 = 1 + ((((((_a192)._left7) == null) ? (-1) : (((_a192)._left7)._height10)) > ((((_a192)._right8) == null) ? (-1) : (((_a192)._right8)._height10))) ? ((((_a192)._left7) == null) ? (-1) : (((_a192)._left7)._height10)) : ((((_a192)._right8) == null) ? (-1) : (((_a192)._right8)._height10)));
/* _min_ax12 is min of ax1 */
var _augval210 = (_b193).ax1;
var _child211 = (_b193)._left7;
if (!((_child211) == null)) {
var _val212 = (_child211)._min_ax12;
_augval210 = ((_augval210) < (_val212)) ? (_augval210) : (_val212);
}
var _child213 = (_b193)._right8;
if (!((_child213) == null)) {
var _val214 = (_child213)._min_ax12;
_augval210 = ((_augval210) < (_val214)) ? (_augval210) : (_val214);
}
(_b193)._min_ax12 = _augval210;
/* _min_ay13 is min of ay1 */
var _augval215 = (_b193).ay1;
var _child216 = (_b193)._left7;
if (!((_child216) == null)) {
var _val217 = (_child216)._min_ay13;
_augval215 = ((_augval215) < (_val217)) ? (_augval215) : (_val217);
}
var _child218 = (_b193)._right8;
if (!((_child218) == null)) {
var _val219 = (_child218)._min_ay13;
_augval215 = ((_augval215) < (_val219)) ? (_augval215) : (_val219);
}
(_b193)._min_ay13 = _augval215;
/* _max_ay24 is max of ay2 */
var _augval220 = (_b193).ay2;
var _child221 = (_b193)._left7;
if (!((_child221) == null)) {
var _val222 = (_child221)._max_ay24;
_augval220 = ((_augval220) < (_val222)) ? (_val222) : (_augval220);
}
var _child223 = (_b193)._right8;
if (!((_child223) == null)) {
var _val224 = (_child223)._max_ay24;
_augval220 = ((_augval220) < (_val224)) ? (_val224) : (_augval220);
}
(_b193)._max_ay24 = _augval220;
(_b193)._height10 = 1 + ((((((_b193)._left7) == null) ? (-1) : (((_b193)._left7)._height10)) > ((((_b193)._right8) == null) ? (-1) : (((_b193)._right8)._height10))) ? ((((_b193)._left7) == null) ? (-1) : (((_b193)._left7)._height10)) : ((((_b193)._right8) == null) ? (-1) : (((_b193)._right8)._height10)));
if (!(((_b193)._parent9) == null)) {
/* _min_ax12 is min of ax1 */
var _augval225 = ((_b193)._parent9).ax1;
var _child226 = ((_b193)._parent9)._left7;
if (!((_child226) == null)) {
var _val227 = (_child226)._min_ax12;
_augval225 = ((_augval225) < (_val227)) ? (_augval225) : (_val227);
}
var _child228 = ((_b193)._parent9)._right8;
if (!((_child228) == null)) {
var _val229 = (_child228)._min_ax12;
_augval225 = ((_augval225) < (_val229)) ? (_augval225) : (_val229);
}
((_b193)._parent9)._min_ax12 = _augval225;
/* _min_ay13 is min of ay1 */
var _augval230 = ((_b193)._parent9).ay1;
var _child231 = ((_b193)._parent9)._left7;
if (!((_child231) == null)) {
var _val232 = (_child231)._min_ay13;
_augval230 = ((_augval230) < (_val232)) ? (_augval230) : (_val232);
}
var _child233 = ((_b193)._parent9)._right8;
if (!((_child233) == null)) {
var _val234 = (_child233)._min_ay13;
_augval230 = ((_augval230) < (_val234)) ? (_augval230) : (_val234);
}
((_b193)._parent9)._min_ay13 = _augval230;
/* _max_ay24 is max of ay2 */
var _augval235 = ((_b193)._parent9).ay2;
var _child236 = ((_b193)._parent9)._left7;
if (!((_child236) == null)) {
var _val237 = (_child236)._max_ay24;
_augval235 = ((_augval235) < (_val237)) ? (_val237) : (_augval235);
}
var _child238 = ((_b193)._parent9)._right8;
if (!((_child238) == null)) {
var _val239 = (_child238)._max_ay24;
_augval235 = ((_augval235) < (_val239)) ? (_val239) : (_augval235);
}
((_b193)._parent9)._max_ay24 = _augval235;
((_b193)._parent9)._height10 = 1 + (((((((_b193)._parent9)._left7) == null) ? (-1) : ((((_b193)._parent9)._left7)._height10)) > (((((_b193)._parent9)._right8) == null) ? (-1) : ((((_b193)._parent9)._right8)._height10))) ? (((((_b193)._parent9)._left7) == null) ? (-1) : ((((_b193)._parent9)._left7)._height10)) : (((((_b193)._parent9)._right8) == null) ? (-1) : ((((_b193)._parent9)._right8)._height10)));
} else {
(this)._root1 = _b193;
}
}
/* rotate (_cursor94)._right8 */
var _a240 = _cursor94;
var _b241 = (_a240)._right8;
var _c242 = (_b241)._left7;
/* replace _a240 with _b241 in (_a240)._parent9 */
if (!(((_a240)._parent9) == null)) {
if ((((_a240)._parent9)._left7) == (_a240)) {
((_a240)._parent9)._left7 = _b241;
} else {
((_a240)._parent9)._right8 = _b241;
}
}
if (!((_b241) == null)) {
(_b241)._parent9 = (_a240)._parent9;
}
/* replace _c242 with _a240 in _b241 */
(_b241)._left7 = _a240;
if (!((_a240) == null)) {
(_a240)._parent9 = _b241;
}
/* replace _b241 with _c242 in _a240 */
(_a240)._right8 = _c242;
if (!((_c242) == null)) {
(_c242)._parent9 = _a240;
}
/* _min_ax12 is min of ax1 */
var _augval243 = (_a240).ax1;
var _child244 = (_a240)._left7;
if (!((_child244) == null)) {
var _val245 = (_child244)._min_ax12;
_augval243 = ((_augval243) < (_val245)) ? (_augval243) : (_val245);
}
var _child246 = (_a240)._right8;
if (!((_child246) == null)) {
var _val247 = (_child246)._min_ax12;
_augval243 = ((_augval243) < (_val247)) ? (_augval243) : (_val247);
}
(_a240)._min_ax12 = _augval243;
/* _min_ay13 is min of ay1 */
var _augval248 = (_a240).ay1;
var _child249 = (_a240)._left7;
if (!((_child249) == null)) {
var _val250 = (_child249)._min_ay13;
_augval248 = ((_augval248) < (_val250)) ? (_augval248) : (_val250);
}
var _child251 = (_a240)._right8;
if (!((_child251) == null)) {
var _val252 = (_child251)._min_ay13;
_augval248 = ((_augval248) < (_val252)) ? (_augval248) : (_val252);
}
(_a240)._min_ay13 = _augval248;
/* _max_ay24 is max of ay2 */
var _augval253 = (_a240).ay2;
var _child254 = (_a240)._left7;
if (!((_child254) == null)) {
var _val255 = (_child254)._max_ay24;
_augval253 = ((_augval253) < (_val255)) ? (_val255) : (_augval253);
}
var _child256 = (_a240)._right8;
if (!((_child256) == null)) {
var _val257 = (_child256)._max_ay24;
_augval253 = ((_augval253) < (_val257)) ? (_val257) : (_augval253);
}
(_a240)._max_ay24 = _augval253;
(_a240)._height10 = 1 + ((((((_a240)._left7) == null) ? (-1) : (((_a240)._left7)._height10)) > ((((_a240)._right8) == null) ? (-1) : (((_a240)._right8)._height10))) ? ((((_a240)._left7) == null) ? (-1) : (((_a240)._left7)._height10)) : ((((_a240)._right8) == null) ? (-1) : (((_a240)._right8)._height10)));
/* _min_ax12 is min of ax1 */
var _augval258 = (_b241).ax1;
var _child259 = (_b241)._left7;
if (!((_child259) == null)) {
var _val260 = (_child259)._min_ax12;
_augval258 = ((_augval258) < (_val260)) ? (_augval258) : (_val260);
}
var _child261 = (_b241)._right8;
if (!((_child261) == null)) {
var _val262 = (_child261)._min_ax12;
_augval258 = ((_augval258) < (_val262)) ? (_augval258) : (_val262);
}
(_b241)._min_ax12 = _augval258;
/* _min_ay13 is min of ay1 */
var _augval263 = (_b241).ay1;
var _child264 = (_b241)._left7;
if (!((_child264) == null)) {
var _val265 = (_child264)._min_ay13;
_augval263 = ((_augval263) < (_val265)) ? (_augval263) : (_val265);
}
var _child266 = (_b241)._right8;
if (!((_child266) == null)) {
var _val267 = (_child266)._min_ay13;
_augval263 = ((_augval263) < (_val267)) ? (_augval263) : (_val267);
}
(_b241)._min_ay13 = _augval263;
/* _max_ay24 is max of ay2 */
var _augval268 = (_b241).ay2;
var _child269 = (_b241)._left7;
if (!((_child269) == null)) {
var _val270 = (_child269)._max_ay24;
_augval268 = ((_augval268) < (_val270)) ? (_val270) : (_augval268);
}
var _child271 = (_b241)._right8;
if (!((_child271) == null)) {
var _val272 = (_child271)._max_ay24;
_augval268 = ((_augval268) < (_val272)) ? (_val272) : (_augval268);
}
(_b241)._max_ay24 = _augval268;
(_b241)._height10 = 1 + ((((((_b241)._left7) == null) ? (-1) : (((_b241)._left7)._height10)) > ((((_b241)._right8) == null) ? (-1) : (((_b241)._right8)._height10))) ? ((((_b241)._left7) == null) ? (-1) : (((_b241)._left7)._height10)) : ((((_b241)._right8) == null) ? (-1) : (((_b241)._right8)._height10)));
if (!(((_b241)._parent9) == null)) {
/* _min_ax12 is min of ax1 */
var _augval273 = ((_b241)._parent9).ax1;
var _child274 = ((_b241)._parent9)._left7;
if (!((_child274) == null)) {
var _val275 = (_child274)._min_ax12;
_augval273 = ((_augval273) < (_val275)) ? (_augval273) : (_val275);
}
var _child276 = ((_b241)._parent9)._right8;
if (!((_child276) == null)) {
var _val277 = (_child276)._min_ax12;
_augval273 = ((_augval273) < (_val277)) ? (_augval273) : (_val277);
}
((_b241)._parent9)._min_ax12 = _augval273;
/* _min_ay13 is min of ay1 */
var _augval278 = ((_b241)._parent9).ay1;
var _child279 = ((_b241)._parent9)._left7;
if (!((_child279) == null)) {
var _val280 = (_child279)._min_ay13;
_augval278 = ((_augval278) < (_val280)) ? (_augval278) : (_val280);
}
var _child281 = ((_b241)._parent9)._right8;
if (!((_child281) == null)) {
var _val282 = (_child281)._min_ay13;
_augval278 = ((_augval278) < (_val282)) ? (_augval278) : (_val282);
}
((_b241)._parent9)._min_ay13 = _augval278;
/* _max_ay24 is max of ay2 */
var _augval283 = ((_b241)._parent9).ay2;
var _child284 = ((_b241)._parent9)._left7;
if (!((_child284) == null)) {
var _val285 = (_child284)._max_ay24;
_augval283 = ((_augval283) < (_val285)) ? (_val285) : (_augval283);
}
var _child286 = ((_b241)._parent9)._right8;
if (!((_child286) == null)) {
var _val287 = (_child286)._max_ay24;
_augval283 = ((_augval283) < (_val287)) ? (_val287) : (_augval283);
}
((_b241)._parent9)._max_ay24 = _augval283;
((_b241)._parent9)._height10 = 1 + (((((((_b241)._parent9)._left7) == null) ? (-1) : ((((_b241)._parent9)._left7)._height10)) > (((((_b241)._parent9)._right8) == null) ? (-1) : ((((_b241)._parent9)._right8)._height10))) ? (((((_b241)._parent9)._left7) == null) ? (-1) : ((((_b241)._parent9)._left7)._height10)) : (((((_b241)._parent9)._right8) == null) ? (-1) : ((((_b241)._parent9)._right8)._height10)));
} else {
(this)._root1 = _b241;
}
_cursor94 = (_cursor94)._parent9;
}
}
};
RectangleHolder.prototype.remove = function (x) {
--this.my_size;
var _parent288 = (x)._parent9;
var _left289 = (x)._left7;
var _right290 = (x)._right8;
var _new_x291;
if (((_left289) == null) && ((_right290) == null)) {
_new_x291 = null;
/* replace x with _new_x291 in _parent288 */
if (!((_parent288) == null)) {
if (((_parent288)._left7) == (x)) {
(_parent288)._left7 = _new_x291;
} else {
(_parent288)._right8 = _new_x291;
}
}
if (!((_new_x291) == null)) {
(_new_x291)._parent9 = _parent288;
}
} else if ((!((_left289) == null)) && ((_right290) == null)) {
_new_x291 = _left289;
/* replace x with _new_x291 in _parent288 */
if (!((_parent288) == null)) {
if (((_parent288)._left7) == (x)) {
(_parent288)._left7 = _new_x291;
} else {
(_parent288)._right8 = _new_x291;
}
}
if (!((_new_x291) == null)) {
(_new_x291)._parent9 = _parent288;
}
} else if (((_left289) == null) && (!((_right290) == null))) {
_new_x291 = _right290;
/* replace x with _new_x291 in _parent288 */
if (!((_parent288) == null)) {
if (((_parent288)._left7) == (x)) {
(_parent288)._left7 = _new_x291;
} else {
(_parent288)._right8 = _new_x291;
}
}
if (!((_new_x291) == null)) {
(_new_x291)._parent9 = _parent288;
}
} else {
var _root292 = (x)._right8;
var _x293 = _root292;
var _descend294 = true;
var _from_left295 = true;
while (true) {
if ((_x293) == null) {
_x293 = null;
break;
}
if (_descend294) {
/* too small? */
if (false) {
if ((!(((_x293)._right8) == null)) && (true)) {
if ((_x293) == (_root292)) {
_root292 = (_x293)._right8;
}
_x293 = (_x293)._right8;
} else if ((_x293) == (_root292)) {
_x293 = null;
break;
} else {
_descend294 = false;
_from_left295 = (!(((_x293)._parent9) == null)) && ((_x293) == (((_x293)._parent9)._left7));
_x293 = (_x293)._parent9;
}
} else if ((!(((_x293)._left7) == null)) && (true)) {
_x293 = (_x293)._left7;
/* too large? */
} else if (false) {
if ((_x293) == (_root292)) {
_x293 = null;
break;
} else {
_descend294 = false;
_from_left295 = (!(((_x293)._parent9) == null)) && ((_x293) == (((_x293)._parent9)._left7));
_x293 = (_x293)._parent9;
}
/* node ok? */
} else if (true) {
break;
} else if ((_x293) == (_root292)) {
_root292 = (_x293)._right8;
_x293 = (_x293)._right8;
} else {
if ((!(((_x293)._right8) == null)) && (true)) {
if ((_x293) == (_root292)) {
_root292 = (_x293)._right8;
}
_x293 = (_x293)._right8;
} else {
_descend294 = false;
_from_left295 = (!(((_x293)._parent9) == null)) && ((_x293) == (((_x293)._parent9)._left7));
_x293 = (_x293)._parent9;
}
}
} else if (_from_left295) {
if (false) {
_x293 = null;