@@ -0,0 +1,825 @@
1+∀ α β γ δ ε ζ η.
2+( α.mkDerivation =
3+ { installPhase = String;
4+ name = β;
5+ preferLocalBuild = Bool;
6+ setupHook = Path;
7+ src = γ;
8+ } ->
9+ δ,
10+ α.lib = ε,
11+ ε.mapAttrs =
12+ (β -> ζ -> δ) ->
13+ { ABMP15_3_nnlo = String;
14+ ABMP15_4_nnlo = String;
15+ ABMP15_5_nnlo = String;
16+ ABMP16_3_nlo = String;
17+ ABMP16_3_nnlo = String;
18+ ABMP16_4_nlo = String;
19+ ABMP16_4_nnlo = String;
20+ ABMP16_5_nlo = String;
21+ ABMP16_5_nnlo = String;
22+ ABMP16als112_5_nnlo = String;
23+ ABMP16als113_5_nnlo = String;
24+ ABMP16als114_5_nlo = String;
25+ ABMP16als114_5_nnlo = String;
26+ ABMP16als115_5_nlo = String;
27+ ABMP16als115_5_nnlo = String;
28+ ABMP16als116_5_nlo = String;
29+ ABMP16als116_5_nnlo = String;
30+ ABMP16als117_5_nlo = String;
31+ ABMP16als117_5_nnlo = String;
32+ ABMP16als118_5_nlo = String;
33+ ABMP16als118_5_nnlo = String;
34+ ABMP16als119_5_nlo = String;
35+ ABMP16als119_5_nnlo = String;
36+ ABMP16als120_5_nlo = String;
37+ ABMP16als120_5_nnlo = String;
38+ ABMP16als121_5_nlo = String;
39+ ABMP16als122_5_nlo = String;
40+ ABMP16als123_5_nlo = String;
41+ ABMP16free_3_nlo = String;
42+ ABMP16free_4_nlo = String;
43+ ABMP16free_5_nlo = String;
44+ ATLAS-epWZ12-EIG = String;
45+ ATLAS-epWZ12-VAR = String;
46+ ATLAS-epWZ16-EIG = String;
47+ ATLAS-epWZ16-THEO = String;
48+ ATLAS-epWZ16-VAR = String;
49+ ATLAS-epWZtop18-EIG = String;
50+ ATLAS-epWZtop18-VAR = String;
51+ CJ12max = String;
52+ CJ12mid = String;
53+ CJ12min = String;
54+ CJ15lo = String;
55+ CJ15nlo = String;
56+ CSKK_nnlo_EIG = String;
57+ CSKK_nnlo_THEO = String;
58+ CSKK_nnlo_VAR = String;
59+ CT09MC1 = String;
60+ CT09MC2 = String;
61+ CT09MCS = String;
62+ CT10 = String;
63+ CT10as = String;
64+ CT10f3 = String;
65+ CT10f4 = String;
66+ CT10nlo = String;
67+ CT10nlo_as_0112 = String;
68+ CT10nlo_as_0113 = String;
69+ CT10nlo_as_0114 = String;
70+ CT10nlo_as_0115 = String;
71+ CT10nlo_as_0116 = String;
72+ CT10nlo_as_0117 = String;
73+ CT10nlo_as_0118 = String;
74+ CT10nlo_as_0119 = String;
75+ CT10nlo_as_0120 = String;
76+ CT10nlo_as_0121 = String;
77+ CT10nlo_as_0122 = String;
78+ CT10nlo_as_0123 = String;
79+ CT10nlo_as_0124 = String;
80+ CT10nlo_as_0125 = String;
81+ CT10nlo_as_0126 = String;
82+ CT10nlo_as_0127 = String;
83+ CT10nlo_nf3 = String;
84+ CT10nlo_nf4 = String;
85+ CT10nnlo = String;
86+ CT10nnlo_as_0110 = String;
87+ CT10nnlo_as_0111 = String;
88+ CT10nnlo_as_0112 = String;
89+ CT10nnlo_as_0113 = String;
90+ CT10nnlo_as_0114 = String;
91+ CT10nnlo_as_0115 = String;
92+ CT10nnlo_as_0116 = String;
93+ CT10nnlo_as_0117 = String;
94+ CT10nnlo_as_0118 = String;
95+ CT10nnlo_as_0119 = String;
96+ CT10nnlo_as_0120 = String;
97+ CT10nnlo_as_0121 = String;
98+ CT10nnlo_as_0122 = String;
99+ CT10nnlo_as_0123 = String;
100+ CT10nnlo_as_0124 = String;
101+ CT10nnlo_as_0125 = String;
102+ CT10nnlo_as_0126 = String;
103+ CT10nnlo_as_0127 = String;
104+ CT10nnlo_as_0128 = String;
105+ CT10nnlo_as_0129 = String;
106+ CT10nnlo_as_0130 = String;
107+ CT10w = String;
108+ CT10was = String;
109+ CT10wf3 = String;
110+ CT10wf4 = String;
111+ CT10wnlo = String;
112+ CT10wnlo_as_0112 = String;
113+ CT10wnlo_as_0113 = String;
114+ CT10wnlo_as_0114 = String;
115+ CT10wnlo_as_0115 = String;
116+ CT10wnlo_as_0116 = String;
117+ CT10wnlo_as_0117 = String;
118+ CT10wnlo_as_0118 = String;
119+ CT10wnlo_as_0119 = String;
120+ CT10wnlo_as_0120 = String;
121+ CT10wnlo_as_0121 = String;
122+ CT10wnlo_as_0122 = String;
123+ CT10wnlo_as_0123 = String;
124+ CT10wnlo_as_0124 = String;
125+ CT10wnlo_as_0125 = String;
126+ CT10wnlo_as_0126 = String;
127+ CT10wnlo_as_0127 = String;
128+ CT10wnlo_nf3 = String;
129+ CT10wnlo_nf4 = String;
130+ CT14MC1nlo = String;
131+ CT14MC1nnlo = String;
132+ CT14MC2nlo = String;
133+ CT14MC2nnlo = String;
134+ CT14llo = String;
135+ CT14llo_NF3 = String;
136+ CT14llo_NF4 = String;
137+ CT14llo_NF6 = String;
138+ CT14lo = String;
139+ CT14lo_NF3 = String;
140+ CT14lo_NF4 = String;
141+ CT14lo_NF6 = String;
142+ CT14nlo = String;
143+ CT14nlo_NF3 = String;
144+ CT14nlo_NF4 = String;
145+ CT14nlo_NF6 = String;
146+ CT14nlo_as_0111 = String;
147+ CT14nlo_as_0112 = String;
148+ CT14nlo_as_0113 = String;
149+ CT14nlo_as_0114 = String;
150+ CT14nlo_as_0115 = String;
151+ CT14nlo_as_0116 = String;
152+ CT14nlo_as_0117 = String;
153+ CT14nlo_as_0118 = String;
154+ CT14nlo_as_0119 = String;
155+ CT14nlo_as_0120 = String;
156+ CT14nlo_as_0121 = String;
157+ CT14nlo_as_0122 = String;
158+ CT14nlo_as_0123 = String;
159+ CT14nnlo = String;
160+ CT14nnloIC = String;
161+ CT14nnlo_NF3 = String;
162+ CT14nnlo_NF4 = String;
163+ CT14nnlo_NF6 = String;
164+ CT14nnlo_as_0111 = String;
165+ CT14nnlo_as_0112 = String;
166+ CT14nnlo_as_0113 = String;
167+ CT14nnlo_as_0114 = String;
168+ CT14nnlo_as_0115 = String;
169+ CT14nnlo_as_0116 = String;
170+ CT14nnlo_as_0117 = String;
171+ CT14nnlo_as_0118 = String;
172+ CT14nnlo_as_0119 = String;
173+ CT14nnlo_as_0120 = String;
174+ CT14nnlo_as_0121 = String;
175+ CT14nnlo_as_0122 = String;
176+ CT14nnlo_as_0123 = String;
177+ CT14qed_inc_neutron = String;
178+ CT14qed_inc_proton = String;
179+ CT14qed_neutron = String;
180+ CT14qed_proton = String;
181+ EPPS16nlo_CT14nlo_Ag108 = String;
182+ EPPS16nlo_CT14nlo_Al27 = String;
183+ EPPS16nlo_CT14nlo_Au197 = String;
184+ EPPS16nlo_CT14nlo_Be9 = String;
185+ EPPS16nlo_CT14nlo_C12 = String;
186+ EPPS16nlo_CT14nlo_Ca40 = String;
187+ EPPS16nlo_CT14nlo_Cu64 = String;
188+ EPPS16nlo_CT14nlo_Fe56 = String;
189+ EPPS16nlo_CT14nlo_He4 = String;
190+ EPPS16nlo_CT14nlo_Li6 = String;
191+ EPPS16nlo_CT14nlo_Pb208 = String;
192+ EPPS16nlo_CT14nlo_Pt195 = String;
193+ EPPS16nlo_CT14nlo_Sn119 = String;
194+ EPPS16nlo_CT14nlo_W184 = String;
195+ GKG18_DPDF_FitA_LO = String;
196+ GKG18_DPDF_FitA_NLO = String;
197+ GKG18_DPDF_FitB_LO = String;
198+ GKG18_DPDF_FitB_NLO = String;
199+ GRVPI0 = String;
200+ GRVPI1 = String;
201+ H1PDF2017 = String;
202+ HERAPDF15LO_EIG = String;
203+ HERAPDF15NLO_ALPHAS = String;
204+ HERAPDF15NLO_EIG = String;
205+ HERAPDF15NLO_VAR = String;
206+ HERAPDF15NNLO_ALPHAS = String;
207+ HERAPDF15NNLO_EIG = String;
208+ HERAPDF15NNLO_VAR = String;
209+ HERAPDF20_AG_NLO_EIG = String;
210+ HERAPDF20_AG_NNLO_EIG = String;
211+ HERAPDF20_HiQ2_NLO_EIG = String;
212+ HERAPDF20_HiQ2_NLO_VAR = String;
213+ HERAPDF20_HiQ2_NNLO_EIG = String;
214+ HERAPDF20_HiQ2_NNLO_VAR = String;
215+ HERAPDF20_Jets_NLO_EIG = String;
216+ HERAPDF20_Jets_NLO_VAR_Duv = String;
217+ HERAPDF20_Jets_NLO_VAR_fsdn = String;
218+ HERAPDF20_Jets_NLO_VAR_fshdn = String;
219+ HERAPDF20_Jets_NLO_VAR_fshup = String;
220+ HERAPDF20_Jets_NLO_VAR_fsup = String;
221+ HERAPDF20_Jets_NLO_VAR_haddn = String;
222+ HERAPDF20_Jets_NLO_VAR_hadup = String;
223+ HERAPDF20_Jets_NLO_VAR_mbdn = String;
224+ HERAPDF20_Jets_NLO_VAR_mbup = String;
225+ HERAPDF20_Jets_NLO_VAR_mcdn = String;
226+ HERAPDF20_Jets_NLO_VAR_mcup = String;
227+ HERAPDF20_Jets_NLO_VAR_q0dn = String;
228+ HERAPDF20_Jets_NLO_VAR_q0up = String;
229+ HERAPDF20_Jets_NLO_VAR_q2mdn = String;
230+ HERAPDF20_Jets_NLO_VAR_q2mup = String;
231+ HERAPDF20_LO_EIG = String;
232+ HERAPDF20_NLO_ALPHAS_110 = String;
233+ HERAPDF20_NLO_ALPHAS_111 = String;
234+ HERAPDF20_NLO_ALPHAS_112 = String;
235+ HERAPDF20_NLO_ALPHAS_113 = String;
236+ HERAPDF20_NLO_ALPHAS_114 = String;
237+ HERAPDF20_NLO_ALPHAS_115 = String;
238+ HERAPDF20_NLO_ALPHAS_116 = String;
239+ HERAPDF20_NLO_ALPHAS_117 = String;
240+ HERAPDF20_NLO_ALPHAS_118 = String;
241+ HERAPDF20_NLO_ALPHAS_119 = String;
242+ HERAPDF20_NLO_ALPHAS_120 = String;
243+ HERAPDF20_NLO_ALPHAS_121 = String;
244+ HERAPDF20_NLO_ALPHAS_122 = String;
245+ HERAPDF20_NLO_ALPHAS_123 = String;
246+ HERAPDF20_NLO_ALPHAS_124 = String;
247+ HERAPDF20_NLO_ALPHAS_125 = String;
248+ HERAPDF20_NLO_ALPHAS_126 = String;
249+ HERAPDF20_NLO_ALPHAS_127 = String;
250+ HERAPDF20_NLO_ALPHAS_128 = String;
251+ HERAPDF20_NLO_ALPHAS_129 = String;
252+ HERAPDF20_NLO_ALPHAS_130 = String;
253+ HERAPDF20_NLO_EIG = String;
254+ HERAPDF20_NLO_FF3A_EIG = String;
255+ HERAPDF20_NLO_FF3A_VAR = String;
256+ HERAPDF20_NLO_FF3B_EIG = String;
257+ HERAPDF20_NLO_FF3B_VAR = String;
258+ HERAPDF20_NLO_VAR = String;
259+ HERAPDF20_NNLO_ALPHAS_110 = String;
260+ HERAPDF20_NNLO_ALPHAS_111 = String;
261+ HERAPDF20_NNLO_ALPHAS_112 = String;
262+ HERAPDF20_NNLO_ALPHAS_113 = String;
263+ HERAPDF20_NNLO_ALPHAS_114 = String;
264+ HERAPDF20_NNLO_ALPHAS_115 = String;
265+ HERAPDF20_NNLO_ALPHAS_116 = String;
266+ HERAPDF20_NNLO_ALPHAS_117 = String;
267+ HERAPDF20_NNLO_ALPHAS_118 = String;
268+ HERAPDF20_NNLO_ALPHAS_119 = String;
269+ HERAPDF20_NNLO_ALPHAS_120 = String;
270+ HERAPDF20_NNLO_ALPHAS_121 = String;
271+ HERAPDF20_NNLO_ALPHAS_122 = String;
272+ HERAPDF20_NNLO_ALPHAS_123 = String;
273+ HERAPDF20_NNLO_ALPHAS_124 = String;
274+ HERAPDF20_NNLO_ALPHAS_125 = String;
275+ HERAPDF20_NNLO_ALPHAS_126 = String;
276+ HERAPDF20_NNLO_ALPHAS_127 = String;
277+ HERAPDF20_NNLO_ALPHAS_128 = String;
278+ HERAPDF20_NNLO_ALPHAS_129 = String;
279+ HERAPDF20_NNLO_ALPHAS_130 = String;
280+ HERAPDF20_NNLO_EIG = String;
281+ HERAPDF20_NNLO_VAR = String;
282+ JR14NLO08FF = String;
283+ JR14NLO08VF = String;
284+ JR14NNLO08FF = String;
285+ JR14NNLO08VF = String;
286+ JR14NNLO20FF = String;
287+ JR14NNLO20VF = String;
288+ LUXqed17_plus_PDF4LHC15_nnlo_100 = String;
289+ LUXqed17_plus_PDF4LHC15_nnlo_30 = String;
290+ LUXqed_plus_PDF4LHC15_nnlo_100 = String;
291+ METAv10LHC = String;
292+ METAv10LHCH = String;
293+ METAv10LHCHfull = String;
294+ METAv10LHCas0116 = String;
295+ METAv10LHCas0120 = String;
296+ MMHT2014lo68cl = String;
297+ MMHT2014lo_asmzsmallrange = String;
298+ MMHT2014nlo68cl = String;
299+ MMHT2014nlo68cl_nf3 = String;
300+ MMHT2014nlo68cl_nf4 = String;
301+ MMHT2014nlo68cl_nf4as5 = String;
302+ MMHT2014nlo68clas118 = String;
303+ MMHT2014nlo68clas118_nf3 = String;
304+ MMHT2014nlo68clas118_nf4 = String;
305+ MMHT2014nlo68clas118_nf4as5 = String;
306+ MMHT2014nlo_asmzlargerange = String;
307+ MMHT2014nlo_asmzsmallrange = String;
308+ MMHT2014nlo_asmzsmallrange_nf3 = String;
309+ MMHT2014nlo_asmzsmallrange_nf4 = String;
310+ MMHT2014nlo_mbrange_nf3 = String;
311+ MMHT2014nlo_mbrange_nf4 = String;
312+ MMHT2014nlo_mbrange_nf5 = String;
313+ MMHT2014nlo_mcrange_nf3 = String;
314+ MMHT2014nlo_mcrange_nf4 = String;
315+ MMHT2014nlo_mcrange_nf5 = String;
316+ MMHT2014nloas118_mbrange_nf3 = String;
317+ MMHT2014nloas118_mbrange_nf4 = String;
318+ MMHT2014nloas118_mbrange_nf5 = String;
319+ MMHT2014nloas118_mcrange_nf3 = String;
320+ MMHT2014nloas118_mcrange_nf4 = String;
321+ MMHT2014nloas118_mcrange_nf5 = String;
322+ MMHT2014nnlo68cl = String;
323+ MMHT2014nnlo68cl_nf3 = String;
324+ MMHT2014nnlo68cl_nf4 = String;
325+ MMHT2014nnlo68cl_nf4as5 = String;
326+ MMHT2014nnlo_asmzlargerange = String;
327+ MMHT2014nnlo_asmzsmallrange = String;
328+ MMHT2014nnlo_asmzsmallrange_nf3 = String;
329+ MMHT2014nnlo_asmzsmallrange_nf4 = String;
330+ MMHT2014nnlo_mbrange_nf3 = String;
331+ MMHT2014nnlo_mbrange_nf4 = String;
332+ MMHT2014nnlo_mbrange_nf5 = String;
333+ MMHT2014nnlo_mcrange_nf3 = String;
334+ MMHT2014nnlo_mcrange_nf4 = String;
335+ MMHT2014nnlo_mcrange_nf5 = String;
336+ MRST2004qed = String;
337+ MRST2004qed_neutron = String;
338+ MRST2004qed_proton = String;
339+ MRST2007lomod = String;
340+ MRSTMCal = String;
341+ MSTW2008CPdeutnlo68cl = String;
342+ MSTW2008CPdeutnnlo68cl = String;
343+ MSTW2008lo68cl = String;
344+ MSTW2008lo68cl_nf3 = String;
345+ MSTW2008lo68cl_nf4 = String;
346+ MSTW2008lo68cl_nf4as5 = String;
347+ MSTW2008lo90cl = String;
348+ MSTW2008lo90cl_nf3 = String;
349+ MSTW2008lo90cl_nf4 = String;
350+ MSTW2008lo90cl_nf4as5 = String;
351+ MSTW2008nlo68cl = String;
352+ MSTW2008nlo68cl_asmz+68cl = String;
353+ MSTW2008nlo68cl_asmz+68clhalf = String;
354+ MSTW2008nlo68cl_asmz-68cl = String;
355+ MSTW2008nlo68cl_asmz-68clhalf = String;
356+ MSTW2008nlo68cl_nf3 = String;
357+ MSTW2008nlo68cl_nf4 = String;
358+ MSTW2008nlo68cl_nf4as5 = String;
359+ MSTW2008nlo90cl = String;
360+ MSTW2008nlo90cl_asmz+90cl = String;
361+ MSTW2008nlo90cl_asmz+90clhalf = String;
362+ MSTW2008nlo90cl_asmz-90cl = String;
363+ MSTW2008nlo90cl_asmz-90clhalf = String;
364+ MSTW2008nlo90cl_nf3 = String;
365+ MSTW2008nlo90cl_nf4 = String;
366+ MSTW2008nlo90cl_nf4as5 = String;
367+ MSTW2008nlo_asmzrange = String;
368+ MSTW2008nlo_mbrange = String;
369+ MSTW2008nlo_mbrange_nf4 = String;
370+ MSTW2008nlo_mcrange = String;
371+ MSTW2008nlo_mcrange_fixasmz = String;
372+ MSTW2008nlo_mcrange_fixasmz_nf3 = String;
373+ MSTW2008nlo_mcrange_nf3 = String;
374+ MSTW2008nnlo68cl = String;
375+ MSTW2008nnlo68cl_asmz+68cl = String;
376+ MSTW2008nnlo68cl_asmz+68clhalf = String;
377+ MSTW2008nnlo68cl_asmz-68cl = String;
378+ MSTW2008nnlo68cl_asmz-68clhalf = String;
379+ MSTW2008nnlo68cl_nf3 = String;
380+ MSTW2008nnlo68cl_nf4 = String;
381+ MSTW2008nnlo68cl_nf4as5 = String;
382+ MSTW2008nnlo90cl = String;
383+ MSTW2008nnlo90cl_asmz+90cl = String;
384+ MSTW2008nnlo90cl_asmz+90clhalf = String;
385+ MSTW2008nnlo90cl_asmz-90cl = String;
386+ MSTW2008nnlo90cl_asmz-90clhalf = String;
387+ MSTW2008nnlo90cl_nf3 = String;
388+ MSTW2008nnlo90cl_nf4 = String;
389+ MSTW2008nnlo90cl_nf4as5 = String;
390+ MSTW2008nnlo_asmzrange = String;
391+ MSTW2008nnlo_mbrange = String;
392+ MSTW2008nnlo_mbrange_nf4 = String;
393+ MSTW2008nnlo_mcrange = String;
394+ MSTW2008nnlo_mcrange_fixasmz = String;
395+ MSTW2008nnlo_mcrange_fixasmz_nf3 = String;
396+ MSTW2008nnlo_mcrange_nf3 = String;
397+ NNFF10_KAm_lo = String;
398+ NNFF10_KAm_nlo = String;
399+ NNFF10_KAm_nnlo = String;
400+ NNFF10_KAp_lo = String;
401+ NNFF10_KAp_nlo = String;
402+ NNFF10_KAp_nnlo = String;
403+ NNFF10_KAsum_lo = String;
404+ NNFF10_KAsum_nlo = String;
405+ NNFF10_KAsum_nnlo = String;
406+ NNFF10_PIm_lo = String;
407+ NNFF10_PIm_nlo = String;
408+ NNFF10_PIm_nnlo = String;
409+ NNFF10_PIp_lo = String;
410+ NNFF10_PIp_nlo = String;
411+ NNFF10_PIp_nnlo = String;
412+ NNFF10_PIsum_lo = String;
413+ NNFF10_PIsum_nlo = String;
414+ NNFF10_PIsum_nnlo = String;
415+ NNFF10_PRm_lo = String;
416+ NNFF10_PRm_nlo = String;
417+ NNFF10_PRm_nnlo = String;
418+ NNFF10_PRp_lo = String;
419+ NNFF10_PRp_nlo = String;
420+ NNFF10_PRp_nnlo = String;
421+ NNFF10_PRsum_lo = String;
422+ NNFF10_PRsum_nlo = String;
423+ NNFF10_PRsum_nnlo = String;
424+ NNFF11_HadronSum_nlo = String;
425+ NNPDF21_lo_as_0119_100 = String;
426+ NNPDF21_lo_as_0130_100 = String;
427+ NNPDF21_lostar_as_0119_100 = String;
428+ NNPDF21_lostar_as_0130_100 = String;
429+ NNPDF23_lo_as_0119_qed = String;
430+ NNPDF23_lo_as_0130_qed = String;
431+ NNPDF23_nlo_FFN_NF4_as_0116 = String;
432+ NNPDF23_nlo_FFN_NF4_as_0116_mc = String;
433+ NNPDF23_nlo_FFN_NF4_as_0117 = String;
434+ NNPDF23_nlo_FFN_NF4_as_0117_mc = String;
435+ NNPDF23_nlo_FFN_NF4_as_0118 = String;
436+ NNPDF23_nlo_FFN_NF4_as_0118_mc = String;
437+ NNPDF23_nlo_FFN_NF4_as_0119 = String;
438+ NNPDF23_nlo_FFN_NF4_as_0119_mc = String;
439+ NNPDF23_nlo_FFN_NF4_as_0120 = String;
440+ NNPDF23_nlo_FFN_NF4_as_0120_mc = String;
441+ NNPDF23_nlo_FFN_NF5_as_0116 = String;
442+ NNPDF23_nlo_FFN_NF5_as_0116_mc = String;
443+ NNPDF23_nlo_FFN_NF5_as_0117 = String;
444+ NNPDF23_nlo_FFN_NF5_as_0117_mc = String;
445+ NNPDF23_nlo_FFN_NF5_as_0118 = String;
446+ NNPDF23_nlo_FFN_NF5_as_0118_mc = String;
447+ NNPDF23_nlo_FFN_NF5_as_0119 = String;
448+ NNPDF23_nlo_FFN_NF5_as_0119_mc = String;
449+ NNPDF23_nlo_FFN_NF5_as_0120 = String;
450+ NNPDF23_nlo_FFN_NF5_as_0120_mc = String;
451+ NNPDF23_nlo_as_0114 = String;
452+ NNPDF23_nlo_as_0115 = String;
453+ NNPDF23_nlo_as_0116 = String;
454+ NNPDF23_nlo_as_0116_mc = String;
455+ NNPDF23_nlo_as_0117 = String;
456+ NNPDF23_nlo_as_0117_mc = String;
457+ NNPDF23_nlo_as_0117_qed = String;
458+ NNPDF23_nlo_as_0117_qed_neutron = String;
459+ NNPDF23_nlo_as_0118 = String;
460+ NNPDF23_nlo_as_0118_mc = String;
461+ NNPDF23_nlo_as_0118_qed = String;
462+ NNPDF23_nlo_as_0118_qed_neutron = String;
463+ NNPDF23_nlo_as_0119 = String;
464+ NNPDF23_nlo_as_0119_mc = String;
465+ NNPDF23_nlo_as_0119_qed = String;
466+ NNPDF23_nlo_as_0119_qed_mc = String;
467+ NNPDF23_nlo_as_0119_qed_neutron = String;
468+ NNPDF23_nlo_as_0120 = String;
469+ NNPDF23_nlo_as_0120_mc = String;
470+ NNPDF23_nlo_as_0121 = String;
471+ NNPDF23_nlo_as_0122 = String;
472+ NNPDF23_nlo_as_0123 = String;
473+ NNPDF23_nlo_as_0124 = String;
474+ NNPDF23_nlo_collider_as_0116 = String;
475+ NNPDF23_nlo_collider_as_0117 = String;
476+ NNPDF23_nlo_collider_as_0118 = String;
477+ NNPDF23_nlo_collider_as_0119 = String;
478+ NNPDF23_nlo_collider_as_0120 = String;
479+ NNPDF23_nlo_noLHC_as_0116 = String;
480+ NNPDF23_nlo_noLHC_as_0117 = String;
481+ NNPDF23_nlo_noLHC_as_0118 = String;
482+ NNPDF23_nlo_noLHC_as_0119 = String;
483+ NNPDF23_nlo_noLHC_as_0120 = String;
484+ NNPDF23_nnlo_FFN_NF4_as_0116 = String;
485+ NNPDF23_nnlo_FFN_NF4_as_0117 = String;
486+ NNPDF23_nnlo_FFN_NF4_as_0118 = String;
487+ NNPDF23_nnlo_FFN_NF4_as_0119 = String;
488+ NNPDF23_nnlo_FFN_NF4_as_0120 = String;
489+ NNPDF23_nnlo_FFN_NF5_as_0116 = String;
490+ NNPDF23_nnlo_FFN_NF5_as_0117 = String;
491+ NNPDF23_nnlo_FFN_NF5_as_0118 = String;
492+ NNPDF23_nnlo_FFN_NF5_as_0119 = String;
493+ NNPDF23_nnlo_FFN_NF5_as_0120 = String;
494+ NNPDF23_nnlo_as_0114 = String;
495+ NNPDF23_nnlo_as_0115 = String;
496+ NNPDF23_nnlo_as_0116 = String;
497+ NNPDF23_nnlo_as_0117 = String;
498+ NNPDF23_nnlo_as_0117_qed = String;
499+ NNPDF23_nnlo_as_0117_qed_neutron = String;
500+ NNPDF23_nnlo_as_0118 = String;
501+ NNPDF23_nnlo_as_0118_qed = String;
502+ NNPDF23_nnlo_as_0118_qed_neutron = String;
503+ NNPDF23_nnlo_as_0119 = String;
504+ NNPDF23_nnlo_as_0119_qed = String;
505+ NNPDF23_nnlo_as_0119_qed_mc = String;
506+ NNPDF23_nnlo_as_0119_qed_neutron = String;
507+ NNPDF23_nnlo_as_0120 = String;
508+ NNPDF23_nnlo_as_0121 = String;
509+ NNPDF23_nnlo_as_0122 = String;
510+ NNPDF23_nnlo_as_0123 = String;
511+ NNPDF23_nnlo_as_0124 = String;
512+ NNPDF23_nnlo_collider_as_0116 = String;
513+ NNPDF23_nnlo_collider_as_0117 = String;
514+ NNPDF23_nnlo_collider_as_0118 = String;
515+ NNPDF23_nnlo_collider_as_0119 = String;
516+ NNPDF23_nnlo_collider_as_0120 = String;
517+ NNPDF23_nnlo_noLHC_as_0116 = String;
518+ NNPDF23_nnlo_noLHC_as_0117 = String;
519+ NNPDF23_nnlo_noLHC_as_0118 = String;
520+ NNPDF23_nnlo_noLHC_as_0119 = String;
521+ NNPDF23_nnlo_noLHC_as_0120 = String;
522+ NNPDF30_lo_as_0118 = String;
523+ NNPDF30_lo_as_0118_nf_3 = String;
524+ NNPDF30_lo_as_0118_nf_4 = String;
525+ NNPDF30_lo_as_0118_nf_6 = String;
526+ NNPDF30_lo_as_0130 = String;
527+ NNPDF30_lo_as_0130_nf_3 = String;
528+ NNPDF30_lo_as_0130_nf_4 = String;
529+ NNPDF30_lo_as_0130_nf_6 = String;
530+ NNPDF30_nlo_as_0115 = String;
531+ NNPDF30_nlo_as_0115_nf_3 = String;
532+ NNPDF30_nlo_as_0115_nf_4 = String;
533+ NNPDF30_nlo_as_0115_nf_6 = String;
534+ NNPDF30_nlo_as_0117 = String;
535+ NNPDF30_nlo_as_0117_atlas = String;
536+ NNPDF30_nlo_as_0117_cms = String;
537+ NNPDF30_nlo_as_0117_cons = String;
538+ NNPDF30_nlo_as_0117_hera = String;
539+ NNPDF30_nlo_as_0117_nf_3 = String;
540+ NNPDF30_nlo_as_0117_nf_4 = String;
541+ NNPDF30_nlo_as_0117_nf_6 = String;
542+ NNPDF30_nlo_as_0117_nojet = String;
543+ NNPDF30_nlo_as_0117_nolhc = String;
544+ NNPDF30_nlo_as_0118 = String;
545+ NNPDF30_nlo_as_0118_1000 = String;
546+ NNPDF30_nlo_as_0118_atlas = String;
547+ NNPDF30_nlo_as_0118_cms = String;
548+ NNPDF30_nlo_as_0118_cons = String;
549+ NNPDF30_nlo_as_0118_hera = String;
550+ NNPDF30_nlo_as_0118_hera_1000 = String;
551+ NNPDF30_nlo_as_0118_hessian = String;
552+ NNPDF30_nlo_as_0118_mc = String;
553+ NNPDF30_nlo_as_0118_nf_3 = String;
554+ NNPDF30_nlo_as_0118_nf_4 = String;
555+ NNPDF30_nlo_as_0118_nf_6 = String;
556+ NNPDF30_nlo_as_0118_nojet = String;
557+ NNPDF30_nlo_as_0118_nolhc = String;
558+ NNPDF30_nlo_as_0118_nolhc_1000 = String;
559+ NNPDF30_nlo_as_0119 = String;
560+ NNPDF30_nlo_as_0119_atlas = String;
561+ NNPDF30_nlo_as_0119_cms = String;
562+ NNPDF30_nlo_as_0119_cons = String;
563+ NNPDF30_nlo_as_0119_hera = String;
564+ NNPDF30_nlo_as_0119_nf_3 = String;
565+ NNPDF30_nlo_as_0119_nf_4 = String;
566+ NNPDF30_nlo_as_0119_nf_6 = String;
567+ NNPDF30_nlo_as_0119_nojet = String;
568+ NNPDF30_nlo_as_0119_nolhc = String;
569+ NNPDF30_nlo_as_0121 = String;
570+ NNPDF30_nlo_as_0121_nf_3 = String;
571+ NNPDF30_nlo_as_0121_nf_4 = String;
572+ NNPDF30_nlo_as_0121_nf_6 = String;
573+ NNPDF30_nlo_nf_4_pdfas = String;
574+ NNPDF30_nlo_nf_5_pdfas = String;
575+ NNPDF30_nnlo_as_0115 = String;
576+ NNPDF30_nnlo_as_0115_nf_3 = String;
577+ NNPDF30_nnlo_as_0115_nf_4 = String;
578+ NNPDF30_nnlo_as_0115_nf_6 = String;
579+ NNPDF30_nnlo_as_0117 = String;
580+ NNPDF30_nnlo_as_0117_atlas = String;
581+ NNPDF30_nnlo_as_0117_cms = String;
582+ NNPDF30_nnlo_as_0117_cons = String;
583+ NNPDF30_nnlo_as_0117_hera = String;
584+ NNPDF30_nnlo_as_0117_nf_3 = String;
585+ NNPDF30_nnlo_as_0117_nf_4 = String;
586+ NNPDF30_nnlo_as_0117_nf_6 = String;
587+ NNPDF30_nnlo_as_0117_nojet = String;
588+ NNPDF30_nnlo_as_0117_nolhc = String;
589+ NNPDF30_nnlo_as_0118 = String;
590+ NNPDF30_nnlo_as_0118_1000 = String;
591+ NNPDF30_nnlo_as_0118_atlas = String;
592+ NNPDF30_nnlo_as_0118_cms = String;
593+ NNPDF30_nnlo_as_0118_cons = String;
594+ NNPDF30_nnlo_as_0118_hera = String;
595+ NNPDF30_nnlo_as_0118_hera_1000 = String;
596+ NNPDF30_nnlo_as_0118_hessian = String;
597+ NNPDF30_nnlo_as_0118_mc = String;
598+ NNPDF30_nnlo_as_0118_nf_3 = String;
599+ NNPDF30_nnlo_as_0118_nf_4 = String;
600+ NNPDF30_nnlo_as_0118_nf_6 = String;
601+ NNPDF30_nnlo_as_0118_nojet = String;
602+ NNPDF30_nnlo_as_0118_nolhc = String;
603+ NNPDF30_nnlo_as_0118_nolhc_1000 = String;
604+ NNPDF30_nnlo_as_0119 = String;
605+ NNPDF30_nnlo_as_0119_atlas = String;
606+ NNPDF30_nnlo_as_0119_cms = String;
607+ NNPDF30_nnlo_as_0119_cons = String;
608+ NNPDF30_nnlo_as_0119_hera = String;
609+ NNPDF30_nnlo_as_0119_nf_3 = String;
610+ NNPDF30_nnlo_as_0119_nf_4 = String;
611+ NNPDF30_nnlo_as_0119_nf_6 = String;
612+ NNPDF30_nnlo_as_0119_nojet = String;
613+ NNPDF30_nnlo_as_0119_nolhc = String;
614+ NNPDF30_nnlo_as_0121 = String;
615+ NNPDF30_nnlo_as_0121_nf_3 = String;
616+ NNPDF30_nnlo_as_0121_nf_4 = String;
617+ NNPDF30_nnlo_as_0121_nf_6 = String;
618+ NNPDF30_nnlo_nf_4_pdfas = String;
619+ NNPDF30_nnlo_nf_5_pdfas = String;
620+ NNPDF31_lo_as_0118 = String;
621+ NNPDF31_lo_as_0130 = String;
622+ NNPDF31_lo_pch_as_0118 = String;
623+ NNPDF31_lo_pch_as_0130 = String;
624+ NNPDF31_nlo_as_0116 = String;
625+ NNPDF31_nlo_as_0118 = String;
626+ NNPDF31_nlo_as_0118_1000 = String;
627+ NNPDF31_nlo_as_0118_C1p6 = String;
628+ NNPDF31_nlo_as_0118_hessian = String;
629+ NNPDF31_nlo_as_0118_luxqed = String;
630+ NNPDF31_nlo_as_0118_mc = String;
631+ NNPDF31_nlo_as_0118_nf_4 = String;
632+ NNPDF31_nlo_as_0118_nf_6 = String;
633+ NNPDF31_nlo_as_0120 = String;
634+ NNPDF31_nlo_hessian_pdfas = String;
635+ NNPDF31_nlo_pch_as_0116 = String;
636+ NNPDF31_nlo_pch_as_0118 = String;
637+ NNPDF31_nlo_pch_as_0118_1000 = String;
638+ NNPDF31_nlo_pch_as_0118_hessian = String;
639+ NNPDF31_nlo_pch_as_0118_mc = String;
640+ NNPDF31_nlo_pch_as_0118_nf_3 = String;
641+ NNPDF31_nlo_pch_as_0118_nf_4 = String;
642+ NNPDF31_nlo_pch_as_0118_nf_6 = String;
643+ NNPDF31_nlo_pch_as_0120 = String;
644+ NNPDF31_nlo_pch_hessian_pdfas = String;
645+ NNPDF31_nlo_pch_pdfas = String;
646+ NNPDF31_nlo_pdfas = String;
647+ NNPDF31_nnlo_as_0108 = String;
648+ NNPDF31_nnlo_as_0110 = String;
649+ NNPDF31_nnlo_as_0112 = String;
650+ NNPDF31_nnlo_as_0114 = String;
651+ NNPDF31_nnlo_as_0116 = String;
652+ NNPDF31_nnlo_as_0117 = String;
653+ NNPDF31_nnlo_as_0118 = String;
654+ NNPDF31_nnlo_as_0118_1000 = String;
655+ NNPDF31_nnlo_as_0118_CMSW1 = String;
656+ NNPDF31_nnlo_as_0118_CMSW2 = String;
657+ NNPDF31_nnlo_as_0118_CMSW3 = String;
658+ NNPDF31_nnlo_as_0118_CMSW4 = String;
659+ NNPDF31_nnlo_as_0118_collider = String;
660+ NNPDF31_nnlo_as_0118_hessian = String;
661+ NNPDF31_nnlo_as_0118_luxqed = String;
662+ NNPDF31_nnlo_as_0118_mc = String;
663+ NNPDF31_nnlo_as_0118_mc_138 = String;
664+ NNPDF31_nnlo_as_0118_mc_164 = String;
665+ NNPDF31_nnlo_as_0118_mc_hessian_pdfas = String;
666+ NNPDF31_nnlo_as_0118_nf_4 = String;
667+ NNPDF31_nnlo_as_0118_nf_6 = String;
668+ NNPDF31_nnlo_as_0118_noLHC = String;
669+ NNPDF31_nnlo_as_0118_noZpt = String;
670+ NNPDF31_nnlo_as_0118_nojets = String;
671+ NNPDF31_nnlo_as_0118_notop = String;
672+ NNPDF31_nnlo_as_0118_proton = String;
673+ NNPDF31_nnlo_as_0118_wEMC = String;
674+ NNPDF31_nnlo_as_0119 = String;
675+ NNPDF31_nnlo_as_0120 = String;
676+ NNPDF31_nnlo_as_0122 = String;
677+ NNPDF31_nnlo_as_0124 = String;
678+ NNPDF31_nnlo_hessian_pdfas = String;
679+ NNPDF31_nnlo_pch_as_0116 = String;
680+ NNPDF31_nnlo_pch_as_0118 = String;
681+ NNPDF31_nnlo_pch_as_0118_1000 = String;
682+ NNPDF31_nnlo_pch_as_0118_hessian = String;
683+ NNPDF31_nnlo_pch_as_0118_mc = String;
684+ NNPDF31_nnlo_pch_as_0118_mc_138 = String;
685+ NNPDF31_nnlo_pch_as_0118_mc_164 = String;
686+ NNPDF31_nnlo_pch_as_0118_nf_3 = String;
687+ NNPDF31_nnlo_pch_as_0118_nf_4 = String;
688+ NNPDF31_nnlo_pch_as_0118_nf_6 = String;
689+ NNPDF31_nnlo_pch_as_0120 = String;
690+ NNPDF31_nnlo_pch_hessian_pdfas = String;
691+ NNPDF31_nnlo_pch_pdfas = String;
692+ NNPDF31_nnlo_pdfas = String;
693+ NNPDFpol10_100 = String;
694+ NNPDFpol11_100 = String;
695+ PDF4LHC15_nlo_100 = String;
696+ PDF4LHC15_nlo_100_pdfas = String;
697+ PDF4LHC15_nlo_30 = String;
698+ PDF4LHC15_nlo_30_pdfas = String;
699+ PDF4LHC15_nlo_asvar = String;
700+ PDF4LHC15_nlo_mc = String;
701+ PDF4LHC15_nlo_mc_pdfas = String;
702+ PDF4LHC15_nlo_nf4_30 = String;
703+ PDF4LHC15_nnlo_100 = String;
704+ PDF4LHC15_nnlo_100_pdfas = String;
705+ PDF4LHC15_nnlo_30 = String;
706+ PDF4LHC15_nnlo_30_pdfas = String;
707+ PDF4LHC15_nnlo_asvar = String;
708+ PDF4LHC15_nnlo_mc = String;
709+ PDF4LHC15_nnlo_mc_pdfas = String;
710+ abkm09_3_nlo = String;
711+ abkm09_3_nnlo = String;
712+ abkm09_4_nlo = String;
713+ abkm09_4_nnlo = String;
714+ abkm09_5_nlo = String;
715+ abkm09_5_nnlo = String;
716+ abm11_3n_nlo = String;
717+ abm11_3n_nnlo = String;
718+ abm11_4n_nlo = String;
719+ abm11_4n_nnlo = String;
720+ abm11_5n_as_nlo = String;
721+ abm11_5n_as_nnlo = String;
722+ abm11_5n_nlo = String;
723+ abm11_5n_nnlo = String;
724+ abm12lhc_3_nnlo = String;
725+ abm12lhc_4_nnlo = String;
726+ abm12lhc_5_nnlo = String;
727+ cteq6 = String;
728+ cteq66 = String;
729+ cteq6l1 = String;
730+ nCTEQ15FullNuc_108_54 = String;
731+ nCTEQ15FullNuc_119_59 = String;
732+ nCTEQ15FullNuc_12_6 = String;
733+ nCTEQ15FullNuc_131_54 = String;
734+ nCTEQ15FullNuc_14_7 = String;
735+ nCTEQ15FullNuc_184_74 = String;
736+ nCTEQ15FullNuc_197_79 = String;
737+ nCTEQ15FullNuc_197_98 = String;
738+ nCTEQ15FullNuc_1_1 = String;
739+ nCTEQ15FullNuc_207_103 = String;
740+ nCTEQ15FullNuc_208_82 = String;
741+ nCTEQ15FullNuc_20_10 = String;
742+ nCTEQ15FullNuc_27_13 = String;
743+ nCTEQ15FullNuc_3_2 = String;
744+ nCTEQ15FullNuc_40_18 = String;
745+ nCTEQ15FullNuc_40_20 = String;
746+ nCTEQ15FullNuc_4_2 = String;
747+ nCTEQ15FullNuc_56_26 = String;
748+ nCTEQ15FullNuc_64_32 = String;
749+ nCTEQ15FullNuc_6_3 = String;
750+ nCTEQ15FullNuc_7_3 = String;
751+ nCTEQ15FullNuc_84_42 = String;
752+ nCTEQ15FullNuc_9_4 = String;
753+ nCTEQ15_108_54 = String;
754+ nCTEQ15_119_59 = String;
755+ nCTEQ15_12_6 = String;
756+ nCTEQ15_131_54 = String;
757+ nCTEQ15_14_7 = String;
758+ nCTEQ15_184_74 = String;
759+ nCTEQ15_197_79 = String;
760+ nCTEQ15_197_98 = String;
761+ nCTEQ15_1_1 = String;
762+ nCTEQ15_207_103 = String;
763+ nCTEQ15_208_82 = String;
764+ nCTEQ15_20_10 = String;
765+ nCTEQ15_27_13 = String;
766+ nCTEQ15_3_2 = String;
767+ nCTEQ15_40_18 = String;
768+ nCTEQ15_40_20 = String;
769+ nCTEQ15_4_2 = String;
770+ nCTEQ15_56_26 = String;
771+ nCTEQ15_64_32 = String;
772+ nCTEQ15_6_3 = String;
773+ nCTEQ15_7_3 = String;
774+ nCTEQ15_84_42 = String;
775+ nCTEQ15_9_4 = String;
776+ nCTEQ15npFullNuc_108_54 = String;
777+ nCTEQ15npFullNuc_119_59 = String;
778+ nCTEQ15npFullNuc_12_6 = String;
779+ nCTEQ15npFullNuc_131_54 = String;
780+ nCTEQ15npFullNuc_14_7 = String;
781+ nCTEQ15npFullNuc_184_74 = String;
782+ nCTEQ15npFullNuc_197_79 = String;
783+ nCTEQ15npFullNuc_197_98 = String;
784+ nCTEQ15npFullNuc_1_1 = String;
785+ nCTEQ15npFullNuc_207_103 = String;
786+ nCTEQ15npFullNuc_208_82 = String;
787+ nCTEQ15npFullNuc_20_10 = String;
788+ nCTEQ15npFullNuc_27_13 = String;
789+ nCTEQ15npFullNuc_3_2 = String;
790+ nCTEQ15npFullNuc_40_18 = String;
791+ nCTEQ15npFullNuc_40_20 = String;
792+ nCTEQ15npFullNuc_4_2 = String;
793+ nCTEQ15npFullNuc_56_26 = String;
794+ nCTEQ15npFullNuc_64_32 = String;
795+ nCTEQ15npFullNuc_6_3 = String;
796+ nCTEQ15npFullNuc_7_3 = String;
797+ nCTEQ15npFullNuc_84_42 = String;
798+ nCTEQ15npFullNuc_9_4 = String;
799+ nCTEQ15np_108_54 = String;
800+ nCTEQ15np_119_59 = String;
801+ nCTEQ15np_12_6 = String;
802+ nCTEQ15np_131_54 = String;
803+ nCTEQ15np_14_7 = String;
804+ nCTEQ15np_184_74 = String;
805+ nCTEQ15np_197_79 = String;
806+ nCTEQ15np_197_98 = String;
807+ nCTEQ15np_1_1 = String;
808+ nCTEQ15np_207_103 = String;
809+ nCTEQ15np_208_82 = String;
810+ nCTEQ15np_20_10 = String;
811+ nCTEQ15np_27_13 = String;
812+ nCTEQ15np_3_2 = String;
813+ nCTEQ15np_40_18 = String;
814+ nCTEQ15np_40_20 = String;
815+ nCTEQ15np_4_2 = String;
816+ nCTEQ15np_56_26 = String;
817+ nCTEQ15np_64_32 = String;
818+ nCTEQ15np_6_3 = String;
819+ nCTEQ15np_7_3 = String;
820+ nCTEQ15np_84_42 = String;
821+ nCTEQ15np_9_4 = String;
822+ } ->
823+ η
824+) =>
825+{fetchurl = {sha256 = ζ; url = String;} -> γ; stdenv = α;} -> η