-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathCA-HepTh.lgz
24828 lines (24828 loc) · 236 KB
/
CA-HepTh.lgz
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
8638,24827,u,graph,2,Int64,simplegraph
1,2961
1,8563
2,259
2,292
2,1042
2,1109
2,1501
2,1577
2,1590
2,2010
2,2501
2,3152
2,3471
2,4231
2,5378
2,5437
2,5786
2,6101
2,6242
2,6966
2,7264
2,7631
3,210
3,649
3,1081
3,1617
3,2426
3,3991
3,5720
4,2007
5,1862
6,2659
7,5288
8,7090
8,7873
9,120
9,3141
9,3304
9,3375
9,8488
10,3199
11,316
11,1785
11,2557
11,4170
12,3517
12,4988
12,6711
13,1523
13,2318
13,3682
13,4362
13,6315
14,2590
14,3508
15,1452
15,2682
15,5590
15,6664
15,7432
16,200
16,228
16,233
16,266
16,452
16,1608
16,2173
16,2605
16,2848
16,3377
16,3981
16,5368
16,6264
16,8136
16,8353
16,8481
17,3091
17,5522
18,74
18,1756
18,4231
19,477
19,8531
20,616
20,8542
21,2387
21,4185
22,1242
22,5923
22,6395
22,6605
22,7133
23,6115
24,2218
24,5608
24,6653
24,7991
25,5438
25,5737
26,442
26,862
26,1700
26,2042
26,2109
26,4783
26,5243
26,5907
26,6116
26,7580
26,7637
26,8020
27,7046
28,197
28,2378
28,4769
28,5262
28,7687
29,407
30,8037
30,8211
31,5716
31,5956
32,6818
33,1350
33,1823
33,3165
33,8152
34,513
35,219
35,241
35,328
35,862
35,1755
35,1884
35,5872
35,7176
35,7295
35,8481
35,8532
36,1524
36,2113
36,2441
36,2442
36,3531
36,3754
36,4326
36,4514
36,4842
36,5986
36,6435
36,7877
36,8396
37,86
37,876
37,945
37,1339
37,2668
37,2711
37,2935
37,2995
37,3951
37,4064
37,4342
37,4530
37,5300
37,5493
37,6436
37,6920
37,6923
37,8158
38,80
38,815
38,911
38,1010
38,1378
38,1475
38,3892
38,4099
38,4473
38,5029
38,5813
38,6289
38,7010
38,7202
38,7890
39,4885
39,7585
40,5706
41,500
41,621
41,1158
41,3049
41,4275
41,6074
41,7601
41,8223
41,8559
42,2089
42,8070
43,485
43,6083
43,6100
44,852
44,1096
44,3899
44,4203
44,5331
44,5892
44,6762
44,8265
44,8364
45,1388
45,1653
45,1805
45,4541
45,5799
45,6939
46,2245
46,2843
46,7204
46,8177
47,430
47,6338
48,3921
48,5442
48,7701
49,1044
49,1052
49,1309
49,1817
49,2886
49,3497
49,3733
49,4193
49,4592
49,4817
49,7126
49,7466
49,7812
49,8050
49,8209
50,3343
50,4362
51,1299
51,1847
51,2578
51,2853
51,7018
51,7698
52,1732
52,2249
52,7918
53,1448
53,2545
53,4226
53,6237
53,6371
53,6579
53,6957
53,8285
53,8311
53,8632
54,2321
54,4576
54,5961
55,1999
55,2142
55,4738
55,6910
56,625
56,3879
56,5885
56,6017
56,6597
57,327
57,4557
57,7520
58,2197
59,1808
59,5443
59,5689
59,7419
59,7473
59,7880
60,5293
61,5443
61,6142
61,6376
61,6590
62,2372
62,2610
62,3517
62,4477
62,4571
63,3257
64,3342
64,6768
64,7291
65,1625
65,1910
65,2499
65,3886
65,4326
65,8262
65,8429
66,1872
66,3532
66,3638
66,3896
66,5540
66,6421
67,99
67,2227
67,2318
68,876
68,4073
68,4449
68,5883
68,6316
68,8055
69,1186
70,1051
70,5926
71,6643
71,7680
72,2527
72,6712
72,7815
73,512
73,3893
73,4059
73,5441
73,5669
74,451
74,1042
74,1756
74,2100
74,2471
74,2868
74,4069
74,4231
74,5875
74,5884
74,7339
74,7545
74,8163
74,8522
75,138
75,280
75,6094
76,515
76,2874
76,3047
76,5809
77,1385
77,2476
77,3072
77,4669
78,430
78,501
78,787
78,804
78,1422
78,2570
78,3899
78,4893
78,6118
78,6174
78,6762
78,6877
78,6957
78,7095
78,7439
78,7494
78,7525
78,7564
78,7657
78,8011
78,8439
78,8440
78,8552
79,1603
79,7658
80,120
80,323
80,420
80,1010
80,2233
80,3892
80,4099
80,4965
80,5029
80,5356
80,5573
80,5813
80,5908
80,6289
80,6683
81,1666
81,7272
81,7552
82,1282
82,5937
82,6235
83,5538
84,1901
84,2649
85,6394
85,7200
86,876
86,945
86,1339
86,2668
86,2711
86,2935
86,2995
86,3118
86,3951
86,4064
86,4342
86,4530
86,5300
86,5493
86,6436
86,6920
86,6923
86,8006
86,8158
86,8500
87,7850
87,8092
88,7775
89,1791
89,5454
90,2385
91,489
91,2302
91,2616
91,2915
91,7935
92,372
92,799
92,2328
92,3318
92,3748
92,8016
93,283
93,544
93,549
93,656
93,1715
93,2290
93,2607
93,2894
93,3019
93,3321
93,3513
93,3879
93,4231
93,6229
93,6284
93,6316
93,8529
94,253
94,354
94,1209
94,5185
94,5904
94,6365
94,7433
94,7664
94,8061
95,1678
95,3332
95,3538
95,4743
95,7079
96,6655
97,1213
97,1270
97,3073
97,4880
97,5202
97,5233
97,6222
97,6483
97,6968
97,8032
98,3167
98,5485
98,6720
99,2227
99,2318
100,382
100,518
100,1140
100,1970
100,2122
100,2172
100,2475
100,2580
100,3617
100,3642
100,4272
100,4382
100,4465
100,4677
100,6293
100,6367
100,6999
100,7164
100,8164
100,8476
101,3394
102,196
102,1397
102,5621
102,5665
102,5843
102,6116
102,6715
102,7413
103,296
103,6839
103,7107
104,128
104,231
104,347
104,615
104,734
104,1159
104,2439
104,2501
104,2562
104,2764
104,2960
104,2981
104,3796
104,3797
104,3860
104,4251
104,4383
104,5124
104,5538
104,6023
104,6025
104,6279
104,7010
104,7398
104,7515
104,7811
104,8481
105,7519
106,325
106,711
106,1017
106,3427
106,3616
106,5812
106,6087
106,8020
106,8498
107,1577
107,1995
107,4076
107,5362
107,5392
107,6652
107,7501
108,2092
108,2513
108,2801
108,3319
108,3755
108,3847
108,7280
109,557
109,7791
110,821
110,1788
110,2038
110,2619
110,2738
110,4554
110,4610
110,5375
110,5409
110,6024
110,6215
110,6418
110,7841
111,1490
111,3026
111,4842
111,5576
112,3779
112,3803
112,4279
112,4582
113,396
113,713
113,4028
113,4102
113,4233
113,5500
113,7087
113,8487
114,3319
115,226
115,550
115,1294
115,1610
115,2156
115,2216
115,2269
115,2501
115,2558
115,3445
115,4154
115,4313
115,5031
115,5046
115,5453
115,5768
115,5797
115,5977
115,8308
115,8395
116,1412
116,3645
117,509
117,767
117,1207
117,1297
117,1418
117,1697
117,1723
117,1747
117,1893
117,2311
117,2548
117,2596
117,2744
117,2953
117,3530
117,3561
117,4122
117,4595
117,4630
117,4683
117,4851
117,5162
117,5414
117,5661
117,5844
117,6275
117,6546
117,6626
117,6967
117,7219
117,7292
118,1189
119,5771
120,3375
120,4276
120,5029
120,5213
120,5813
120,6627
121,279
121,5523
121,6115
122,4102
122,5723
122,7817
123,5181
123,8433
124,661
125,1175
125,1798
125,7820
126,6932
126,7328
127,5014
127,7525
128,205
128,461
128,678
128,685
128,2518
128,2886
128,3015
128,3256
128,3511
128,3856
128,5005
128,5463
128,5916
128,5950
128,6316
128,6520
128,6803
128,6888
128,7521
128,7545
128,7736
128,8175
129,1056
129,1488
129,2313
129,2340
129,3175
129,6066
129,6651
129,7113
129,7836
129,8529
130,1028
130,3313
131,8415
132,4072
132,8539
133,2931
133,4101
134,7015
135,1785
135,6803
136,275
136,1163
136,1310
136,2296
136,2601
136,3263
136,3805
136,3941
136,3945
136,4325
136,5479
136,5929
136,5965
136,6453
136,7015
136,7812
136,8208
136,8397
137,2416
137,4542
137,6426
138,219
138,848
138,1999
138,2368
138,2607
138,3359
138,5913
138,6094
138,6942
138,7023
138,7728
138,8072
138,8347
138,8481
138,8597
139,1389
139,1876
139,1896
139,4589
139,6240
139,7342
139,7782
139,7868
139,8396
139,8527
140,400
140,791
140,1503
140,1513
140,4883
140,6412
141,903
141,1585
141,3846
141,4400
141,8214
142,1829
142,3643
142,4384
142,4440
142,5388
142,5434
142,5474
142,6112
142,6669
142,7443
143,428
143,1596
143,2749
143,2911
143,6159
143,7503
144,2017
144,2430
144,5078
145,1084
146,5485
147,4220
148,279
148,2508
148,3636
148,4405
148,4896
148,5099
148,5150
148,5851
148,6062
148,6419
148,6471
148,6694
148,8293
148,8548
149,1314
149,2168
149,4464
149,5220
149,5346
149,6240
149,6943
149,7083
149,7175
149,7960
149,7968
150,1646
150,2145
150,3392
150,7253
151,5934
151,6427
151,7313
152,5405
152,5468
153,1090
154,2113
154,2137
154,3573
154,3947
154,7844
155,1378
155,6644
155,7202
156,711
156,1293
156,2204
156,3500
156,3635
156,5507
156,5767
156,5934
156,5973
156,7220
156,7684
157,1780
157,1840
157,1887
157,6599
157,7731
157,7802
158,413
159,1610
159,5768
159,8395
160,3417
160,5995
160,6950
160,7583
161,798
162,2895
163,946
163,1307
163,1958
164,1929
164,4095
164,4488
164,6416
164,7235
165,3242
166,2071
166,3223
166,5229
167,290
167,4038
167,4751
167,5058
167,5179
167,6639
167,7369
167,7457
168,6878
169,2893
170,1663
170,2653
170,3363
170,3529
170,3761
170,3843
170,4562
170,5484
170,8337
171,3169
172,2063
172,2344
172,5333
172,5347
172,6746
172,7852
173,7476
173,7679
174,208
174,997
174,4127
175,2998
175,3076
175,5279
175,7113
175,8529
176,6213
177,8134
178,372
178,6548
179,467
179,562
179,2774
179,2872
179,3858
179,4341
179,5457
179,5656
179,6132
179,6676
179,7759
179,8457
180,318
180,2605
181,4227
181,5132
181,5752
181,6426
181,7166
182,3496
183,2534
183,6659
184,1396
184,2040
184,2051
184,2196
184,2396
184,3980
184,4798
184,5385
184,5897
184,6268
185,417
185,3022
186,1327
186,2379
186,4212
186,4724
187,8209
188,2526
188,3086
188,4482
189,7060
189,8576
189,8621
190,5333
190,5886
190,7156
190,7695
190,8349
190,8587
191,279
191,1543
191,1657
191,2361
191,4629
191,6576
192,536
192,907
192,2107
192,2588
192,4148
192,5053
192,5077
192,5203
192,6160
192,8008
193,253
194,2051
194,8307
195,545