SMEFT: SMEFTsim-setB.nb

File SMEFTsim-setB.nb, 97.6 KB (added by YunJiang, 14 months ago)
Line 
1(* Content-type: application/vnd.wolfram.mathematica *)
2
3(*** Wolfram Notebook File ***)
4(* http://www.wolfram.com/nb *)
5
6(* CreatedBy='Mathematica 9.0' *)
7
8(*CacheID: 234*)
9(* Internal cache information:
10NotebookFileLineBreakTest
11NotebookFileLineBreakTest
12NotebookDataPosition[       157,          7]
13NotebookDataLength[     99766,       1719]
14NotebookOptionsPosition[     96961,       1632]
15NotebookOutlinePosition[     97319,       1648]
16CellTagsIndexPosition[     97276,       1645]
17WindowFrame->Normal*)
18
19(* Beginning of Notebook Content *)
20Notebook[{
21
22Cell[CellGroupData[{
23Cell["Setup", "Section",
24 CellChangeTimes->{{3.5817002707890997`*^9,
25  3.581700271197218*^9}},ExpressionUUID->"21c1a9f3-4377-48a1-9abe-\
26c43cbfb3864b"],
27
28Cell[CellGroupData[{
29
30Cell[BoxData[{
31 RowBox[{
32  RowBox[{"$OldDir", "=",
33   RowBox[{"NotebookDirectory", "[", "]"}]}], ";"}], "\[IndentingNewLine]",
34 RowBox[{
35  RowBox[{"$FeynRulesPath", "=",
36   RowBox[{
37   "SetDirectory", "[", "\"\<<<Set FR directory on your machine>>\>\"",
38    "]"}]}], ";"}], "\[IndentingNewLine]",
39 RowBox[{
40  RowBox[{"<<", "FeynRules`"}], ";"}], "\[IndentingNewLine]",
41 RowBox[{
42  RowBox[{
43  "SetDirectory", "[",
44   "\"\<<<Set FR directory on your \
45machine>>/feynrules_v2.3/Models/SMEFTsim-setB\>\"", "]"}], ";"}]}], "Input",
46 CellChangeTimes->{{3.581700209879122*^9, 3.581700260936915*^9}, {
47   3.581700376890725*^9, 3.58170037821945*^9}, {3.581702836763228*^9,
48   3.581702837338793*^9}, {3.5818481249015427`*^9, 3.581848143347954*^9}, {
49   3.582995204405798*^9, 3.58299521528404*^9}, {3.583038702741356*^9,
50   3.583038709578618*^9}, 3.583076573840444*^9, {3.584182000911727*^9,
51   3.58418200121646*^9}, {3.584182161492667*^9, 3.584182163564756*^9}, {
52   3.584182282715509*^9, 3.584182284105041*^9}, {3.584182399637722*^9,
53   3.584182404861476*^9}, 3.584182460107353*^9, {3.584182514313562*^9,
54   3.584182515436211*^9}, {3.5841828579996443`*^9, 3.584182858494486*^9}, {
55   3.591369267589684*^9, 3.591369308504643*^9}, {3.6037025183316298`*^9,
56   3.603702520287414*^9}, {3.683632916400043*^9, 3.683632930400113*^9}, {
57   3.683633027541326*^9, 3.683633028618945*^9}, {3.683633800259823*^9,
58   3.6836338199551077`*^9}, {3.687175278692705*^9, 3.687175302362956*^9}, {
59   3.68717606903841*^9, 3.687176069979477*^9}, {3.687180807515279*^9,
60   3.687180808561013*^9}, {3.697135769548976*^9, 3.69713578436649*^9}, {
61   3.7028485605215673`*^9, 3.702848561798502*^9}, {3.707044377286273*^9,
62   3.707044377657403*^9}, {3.7070461594443073`*^9, 3.7070461610993958`*^9}, {
63   3.707047852977832*^9, 3.707047854396884*^9}, {3.707216834151765*^9,
64   3.7072168369224043`*^9}, {3.707216986982338*^9, 3.707216988212804*^9}, {
65   3.712145203267868*^9, 3.712145212630657*^9}, 3.7132761491404133`*^9, {
66   3.713617730934443*^9, 3.713617732663074*^9}, {3.714894992114047*^9,
67   3.714895049285067*^9}, {3.714895247710936*^9, 3.714895285323146*^9}},
68 ExpressionUUID -> "c93923ba-9248-4807-94fa-e4aae5269abc"],
69
70Cell[CellGroupData[{
71
72Cell[BoxData["\<\" - FeynRules - \"\>"], "Print",
73 CellChangeTimes->{
74  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
75   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9,
76   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9,
77   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9,
78   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9,
79   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9,
80   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9,
81   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9,
82   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9},
83   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9,
84   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
85   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9,
86   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9,
87   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9,
88   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
89   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9,
90   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9,
91   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9,
92   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9,
93   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9,
94   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9,
95   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9,
96   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9,
97   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9,
98   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9,
99   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9,
100   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9,
101   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9,
102   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9,
103   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9,
104   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9,
105   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9,
106   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9,
107   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9,
108   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9,
109   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9,
110   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9,
111   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9,
112   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9,
113   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9,
114   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9,
115   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9,
116   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9,
117   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9,
118   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9,
119   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9,
120   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9,
121   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9,
122   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9,
123   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9,
124   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9,
125   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9,
126   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9,
127   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9,
128   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9,
129   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9,
130   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9,
131   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
132   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
133   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9,
134   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9,
135   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9,
136   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9,
137   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9,
138   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9,
139   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9,
140   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9,
141   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9,
142   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9,
143   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9,
144   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9,
145   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9,
146   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9,
147   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
148   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9,
149   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9,
150   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9,
151   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9,
152   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9,
153   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9,
154   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9,
155   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9,
156   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
157   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9,
158   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9,
159   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9,
160   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9,
161   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9,
162   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9,
163   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9,
164   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9,
165   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9,
166   3.7148571049895153`*^9,
167   3.714857139344968*^9},ExpressionUUID->"7e7c4510-8194-44eb-a212-\
168337602288049"],
169
170Cell[BoxData[
171 InterpretationBox[
172  RowBox[{"\<\"Version: \"\>", "\[InvisibleSpace]", "\<\"2.3.24\"\>",
173   "\[InvisibleSpace]",
174   RowBox[{"\<\" (\"\>", " ", "\<\"12 August 2016\"\>"}],
175   "\[InvisibleSpace]", "\<\").\"\>"}],
176  SequenceForm["Version: ", "2.3.24", " (" "12 August 2016", ")."],
177  Editable->False]], "Print",
178 CellChangeTimes->{
179  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
180   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9,
181   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9,
182   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9,
183   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9,
184   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9,
185   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9,
186   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9,
187   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9},
188   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9,
189   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
190   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9,
191   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9,
192   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9,
193   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
194   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9,
195   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9,
196   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9,
197   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9,
198   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9,
199   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9,
200   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9,
201   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9,
202   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9,
203   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9,
204   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9,
205   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9,
206   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9,
207   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9,
208   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9,
209   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9,
210   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9,
211   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9,
212   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9,
213   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9,
214   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9,
215   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9,
216   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9,
217   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9,
218   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9,
219   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9,
220   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9,
221   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9,
222   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9,
223   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9,
224   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9,
225   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9,
226   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9,
227   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9,
228   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9,
229   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9,
230   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9,
231   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9,
232   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9,
233   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9,
234   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9,
235   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9,
236   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
237   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
238   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9,
239   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9,
240   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9,
241   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9,
242   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9,
243   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9,
244   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9,
245   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9,
246   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9,
247   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9,
248   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9,
249   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9,
250   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9,
251   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9,
252   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
253   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9,
254   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9,
255   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9,
256   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9,
257   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9,
258   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9,
259   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9,
260   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9,
261   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
262   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9,
263   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9,
264   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9,
265   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9,
266   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9,
267   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9,
268   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9,
269   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9,
270   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9,
271   3.7148571049895153`*^9,
272   3.71485713935854*^9},ExpressionUUID->"9775ca84-de7c-4dc7-b39c-\
2735606206cd1b8"],
274
275Cell[BoxData["\<\"Authors: A. Alloul, N. Christensen, C. Degrande, C. Duhr, \
276B. Fuks\"\>"], "Print",
277 CellChangeTimes->{
278  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
279   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9,
280   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9,
281   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9,
282   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9,
283   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9,
284   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9,
285   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9,
286   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9},
287   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9,
288   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
289   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9,
290   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9,
291   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9,
292   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
293   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9,
294   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9,
295   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9,
296   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9,
297   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9,
298   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9,
299   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9,
300   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9,
301   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9,
302   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9,
303   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9,
304   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9,
305   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9,
306   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9,
307   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9,
308   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9,
309   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9,
310   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9,
311   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9,
312   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9,
313   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9,
314   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9,
315   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9,
316   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9,
317   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9,
318   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9,
319   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9,
320   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9,
321   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9,
322   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9,
323   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9,
324   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9,
325   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9,
326   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9,
327   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9,
328   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9,
329   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9,
330   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9,
331   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9,
332   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9,
333   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9,
334   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9,
335   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
336   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
337   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9,
338   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9,
339   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9,
340   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9,
341   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9,
342   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9,
343   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9,
344   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9,
345   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9,
346   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9,
347   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9,
348   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9,
349   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9,
350   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9,
351   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
352   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9,
353   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9,
354   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9,
355   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9,
356   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9,
357   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9,
358   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9,
359   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9,
360   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
361   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9,
362   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9,
363   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9,
364   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9,
365   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9,
366   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9,
367   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9,
368   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9,
369   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9,
370   3.7148571049895153`*^9,
371   3.714857139372229*^9},ExpressionUUID->"5dc81b6f-8b2c-41a0-a3aa-\
3725188ed61295a"],
373
374Cell[BoxData["\<\" \"\>"], "Print",
375 CellChangeTimes->{
376  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
377   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9,
378   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9,
379   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9,
380   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9,
381   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9,
382   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9,
383   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9,
384   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9},
385   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9,
386   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
387   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9,
388   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9,
389   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9,
390   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
391   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9,
392   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9,
393   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9,
394   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9,
395   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9,
396   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9,
397   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9,
398   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9,
399   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9,
400   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9,
401   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9,
402   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9,
403   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9,
404   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9,
405   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9,
406   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9,
407   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9,
408   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9,
409   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9,
410   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9,
411   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9,
412   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9,
413   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9,
414   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9,
415   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9,
416   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9,
417   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9,
418   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9,
419   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9,
420   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9,
421   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9,
422   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9,
423   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9,
424   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9,
425   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9,
426   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9,
427   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9,
428   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9,
429   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9,
430   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9,
431   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9,
432   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9,
433   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
434   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
435   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9,
436   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9,
437   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9,
438   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9,
439   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9,
440   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9,
441   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9,
442   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9,
443   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9,
444   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9,
445   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9,
446   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9,
447   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9,
448   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9,
449   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
450   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9,
451   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9,
452   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9,
453   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9,
454   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9,
455   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9,
456   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9,
457   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9,
458   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
459   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9,
460   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9,
461   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9,
462   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9,
463   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9,
464   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9,
465   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9,
466   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9,
467   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9,
468   3.7148571049895153`*^9,
469   3.71485713938575*^9},ExpressionUUID->"fae7a2a8-f0a9-4f5b-ae09-\
470928324d9c51a"],
471
472Cell[BoxData["\<\"Please cite:\"\>"], "Print",
473 CellChangeTimes->{
474  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
475   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9,
476   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9,
477   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9,
478   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9,
479   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9,
480   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9,
481   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9,
482   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9},
483   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9,
484   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
485   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9,
486   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9,
487   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9,
488   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
489   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9,
490   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9,
491   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9,
492   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9,
493   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9,
494   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9,
495   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9,
496   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9,
497   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9,
498   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9,
499   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9,
500   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9,
501   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9,
502   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9,
503   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9,
504   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9,
505   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9,
506   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9,
507   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9,
508   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9,
509   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9,
510   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9,
511   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9,
512   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9,
513   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9,
514   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9,
515   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9,
516   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9,
517   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9,
518   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9,
519   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9,
520   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9,
521   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9,
522   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9,
523   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9,
524   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9,
525   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9,
526   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9,
527   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9,
528   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9,
529   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9,
530   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9,
531   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
532   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
533   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9,
534   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9,
535   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9,
536   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9,
537   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9,
538   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9,
539   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9,
540   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9,
541   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9,
542   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9,
543   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9,
544   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9,
545   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9,
546   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9,
547   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
548   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9,
549   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9,
550   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9,
551   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9,
552   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9,
553   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9,
554   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9,
555   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9,
556   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
557   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9,
558   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9,
559   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9,
560   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9,
561   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9,
562   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9,
563   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9,
564   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9,
565   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9,
566   3.7148571049895153`*^9,
567   3.714857139399394*^9},ExpressionUUID->"2754ca97-9a66-4c49-a018-\
568527efc47d809"],
569
570Cell[BoxData["\<\"    - Comput.Phys.Commun.185:2250-2300,2014 \
571(arXiv:1310.1921);\"\>"], "Print",
572 CellChangeTimes->{
573  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
574   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9,
575   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9,
576   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9,
577   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9,
578   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9,
579   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9,
580   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9,
581   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9},
582   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9,
583   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
584   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9,
585   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9,
586   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9,
587   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
588   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9,
589   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9,
590   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9,
591   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9,
592   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9,
593   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9,
594   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9,
595   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9,
596   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9,
597   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9,
598   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9,
599   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9,
600   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9,
601   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9,
602   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9,
603   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9,
604   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9,
605   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9,
606   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9,
607   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9,
608   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9,
609   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9,
610   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9,
611   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9,
612   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9,
613   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9,
614   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9,
615   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9,
616   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9,
617   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9,
618   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9,
619   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9,
620   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9,
621   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9,
622   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9,
623   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9,
624   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9,
625   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9,
626   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9,
627   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9,
628   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9,
629   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9,
630   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
631   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
632   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9,
633   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9,
634   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9,
635   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9,
636   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9,
637   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9,
638   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9,
639   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9,
640   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9,
641   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9,
642   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9,
643   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9,
644   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9,
645   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9,
646   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
647   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9,
648   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9,
649   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9,
650   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9,
651   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9,
652   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9,
653   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9,
654   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9,
655   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
656   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9,
657   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9,
658   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9,
659   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9,
660   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9,
661   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9,
662   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9,
663   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9,
664   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9,
665   3.7148571049895153`*^9,
666   3.71485713941329*^9},ExpressionUUID->"d4a28709-7a3a-41f7-9985-\
667637855f2387d"],
668
669Cell[BoxData["\<\"    - Comput.Phys.Commun.180:1614-1641,2009 \
670(arXiv:0806.4194).\"\>"], "Print",
671 CellChangeTimes->{
672  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
673   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9,
674   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9,
675   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9,
676   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9,
677   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9,
678   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9,
679   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9,
680   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9},
681   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9,
682   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
683   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9,
684   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9,
685   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9,
686   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
687   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9,
688   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9,
689   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9,
690   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9,
691   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9,
692   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9,
693   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9,
694   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9,
695   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9,
696   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9,
697   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9,
698   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9,
699   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9,
700   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9,
701   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9,
702   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9,
703   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9,
704   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9,
705   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9,
706   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9,
707   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9,
708   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9,
709   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9,
710   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9,
711   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9,
712   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9,
713   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9,
714   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9,
715   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9,
716   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9,
717   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9,
718   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9,
719   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9,
720   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9,
721   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9,
722   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9,
723   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9,
724   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9,
725   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9,
726   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9,
727   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9,
728   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9,
729   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
730   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
731   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9,
732   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9,
733   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9,
734   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9,
735   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9,
736   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9,
737   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9,
738   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9,
739   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9,
740   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9,
741   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9,
742   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9,
743   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9,
744   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9,
745   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
746   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9,
747   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9,
748   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9,
749   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9,
750   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9,
751   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9,
752   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9,
753   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9,
754   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
755   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9,
756   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9,
757   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9,
758   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9,
759   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9,
760   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9,
761   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9,
762   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9,
763   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9,
764   3.7148571049895153`*^9,
765   3.714857139426849*^9},ExpressionUUID->"4350ced7-809c-4cc6-b399-\
766598d4ed26a62"],
767
768Cell[BoxData["\<\" \"\>"], "Print",
769 CellChangeTimes->{
770  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
771   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9,
772   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9,
773   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9,
774   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9,
775   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9,
776   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9,
777   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9,
778   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9},
779   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9,
780   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
781   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9,
782   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9,
783   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9,
784   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
785   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9,
786   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9,
787   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9,
788   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9,
789   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9,
790   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9,
791   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9,
792   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9,
793   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9,
794   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9,
795   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9,
796   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9,
797   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9,
798   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9,
799   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9,
800   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9,
801   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9,
802   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9,
803   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9,
804   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9,
805   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9,
806   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9,
807   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9,
808   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9,
809   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9,
810   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9,
811   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9,
812   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9,
813   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9,
814   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9,
815   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9,
816   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9,
817   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9,
818   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9,
819   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9,
820   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9,
821   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9,
822   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9,
823   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9,
824   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9,
825   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9,
826   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9,
827   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
828   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
829   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9,
830   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9,
831   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9,
832   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9,
833   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9,
834   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9,
835   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9,
836   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9,
837   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9,
838   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9,
839   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9,
840   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9,
841   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9,
842   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9,
843   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
844   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9,
845   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9,
846   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9,
847   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9,
848   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9,
849   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9,
850   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9,
851   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9,
852   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
853   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9,
854   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9,
855   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9,
856   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9,
857   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9,
858   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9,
859   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9,
860   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9,
861   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9,
862   3.7148571049895153`*^9,
863   3.714857139439921*^9},ExpressionUUID->"beaa0937-db00-4722-bdce-\
864d0d93fef589b"],
865
866Cell[BoxData["\<\"http://feynrules.phys.ucl.ac.be\"\>"], "Print",
867 CellChangeTimes->{
868  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
869   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9,
870   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9,
871   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9,
872   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9,
873   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9,
874   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9,
875   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9,
876   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9},
877   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9,
878   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
879   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9,
880   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9,
881   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9,
882   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
883   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9,
884   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9,
885   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9,
886   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9,
887   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9,
888   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9,
889   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9,
890   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9,
891   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9,
892   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9,
893   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9,
894   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9,
895   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9,
896   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9,
897   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9,
898   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9,
899   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9,
900   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9,
901   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9,
902   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9,
903   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9,
904   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9,
905   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9,
906   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9,
907   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9,
908   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9,
909   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9,
910   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9,
911   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9,
912   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9,
913   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9,
914   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9,
915   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9,
916   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9,
917   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9,
918   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9,
919   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9,
920   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9,
921   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9,
922   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9,
923   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9,
924   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9,
925   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
926   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
927   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9,
928   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9,
929   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9,
930   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9,
931   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9,
932   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9,
933   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9,
934   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9,
935   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9,
936   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9,
937   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9,
938   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9,
939   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9,
940   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9,
941   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
942   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9,
943   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9,
944   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9,
945   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9,
946   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9,
947   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9,
948   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9,
949   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9,
950   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
951   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9,
952   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9,
953   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9,
954   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9,
955   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9,
956   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9,
957   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9,
958   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9,
959   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9,
960   3.7148571049895153`*^9,
961   3.714857139453253*^9},ExpressionUUID->"dc6013a6-0641-46f0-86d7-\
962bdd49fe180d7"],
963
964Cell[BoxData["\<\" \"\>"], "Print",
965 CellChangeTimes->{
966  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
967   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9,
968   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9,
969   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9,
970   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9,
971   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9,
972   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9,
973   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9,
974   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9},
975   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9,
976   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
977   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9,
978   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9,
979   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9,
980   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
981   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9,
982   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9,
983   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9,
984   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9,
985   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9,
986   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9,
987   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9,
988   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9,
989   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9,
990   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9,
991   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9,
992   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9,
993   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9,
994   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9,
995   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9,
996   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9,
997   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9,
998   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9,
999   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9,
1000   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9,
1001   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9,
1002   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9,
1003   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9,
1004   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9,
1005   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9,
1006   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9,
1007   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9,
1008   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9,
1009   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9,
1010   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9,
1011   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9,
1012   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9,
1013   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9,
1014   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9,
1015   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9,
1016   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9,
1017   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9,
1018   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9,
1019   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9,
1020   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9,
1021   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9,
1022   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9,
1023   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
1024   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
1025   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9,
1026   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9,
1027   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9,
1028   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9,
1029   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9,
1030   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9,
1031   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9,
1032   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9,
1033   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9,
1034   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9,
1035   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9,
1036   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9,
1037   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9,
1038   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9,
1039   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
1040   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9,
1041   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9,
1042   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9,
1043   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9,
1044   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9,
1045   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9,
1046   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9,
1047   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9,
1048   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
1049   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9,
1050   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9,
1051   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9,
1052   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9,
1053   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9,
1054   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9,
1055   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9,
1056   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9,
1057   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9,
1058   3.7148571049895153`*^9,
1059   3.714857139466283*^9},ExpressionUUID->"40492d3b-d27d-44f9-b810-\
10607fd70baca57f"],
1061
1062Cell[BoxData["\<\"The FeynRules palette can be opened using the command \
1063FRPalette[].\"\>"], "Print",
1064 CellChangeTimes->{
1065  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
1066   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9,
1067   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9,
1068   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9,
1069   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9,
1070   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9,
1071   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9,
1072   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9,
1073   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9},
1074   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9,
1075   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
1076   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9,
1077   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9,
1078   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9,
1079   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
1080   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9,
1081   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9,
1082   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9,
1083   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9,
1084   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9,
1085   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9,
1086   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9,
1087   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9,
1088   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9,
1089   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9,
1090   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9,
1091   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9,
1092   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9,
1093   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9,
1094   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9,
1095   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9,
1096   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9,
1097   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9,
1098   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9,
1099   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9,
1100   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9,
1101   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9,
1102   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9,
1103   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9,
1104   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9,
1105   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9,
1106   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9,
1107   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9,
1108   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9,
1109   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9,
1110   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9,
1111   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9,
1112   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9,
1113   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9,
1114   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9,
1115   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9,
1116   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9,
1117   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9,
1118   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9,
1119   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9,
1120   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9,
1121   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9,
1122   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
1123   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
1124   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9,
1125   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9,
1126   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9,
1127   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9,
1128   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9,
1129   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9,
1130   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9,
1131   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9,
1132   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9,
1133   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9,
1134   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9,
1135   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9,
1136   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9,
1137   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9,
1138   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
1139   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9,
1140   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9,
1141   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9,
1142   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9,
1143   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9,
1144   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9,
1145   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9,
1146   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9,
1147   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
1148   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9,
1149   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9,
1150   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9,
1151   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9,
1152   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9,
1153   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9,
1154   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9,
1155   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9,
1156   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9,
1157   3.7148571049895153`*^9,
1158   3.714857139479334*^9},ExpressionUUID->"d0ffec50-434b-4a5f-8361-\
11592579d3ab8f5f"]
1160}, Open  ]]
1161}, Open  ]],
1162
1163Cell[BoxData[
1164 RowBox[{"(*", " ",
1165  RowBox[{
1166  "It", " ", "takes", " ", "about", " ", "35", " ", "minutes", " ", "in", " ",
1167    "loading", " ", "the", " ", "flavor", " ", "general", " ",
1168   RowBox[{"model", "."}]}], " ", "*)"}]], "Input",
1169 CellChangeTimes->{{3.707121100288376*^9, 3.7071211825847797`*^9}, {
1170   3.707121923840089*^9, 3.707121957806115*^9}, {3.7071231976285954`*^9,
1171   3.7071232474580803`*^9}, {3.7123385424509068`*^9, 3.712338543084435*^9}, {
1172   3.7125097608421993`*^9, 3.712509761044367*^9}, 3.7132775111161633`*^9, {
1173   3.714145721924699*^9,
1174   3.714145742915227*^9}},ExpressionUUID->"ec53db1d-6206-441d-bd54-\
1175e44da41d3b21"],
1176
1177Cell["\<\
1178Before loading the model, please specify in the master code two flags: Input \
1179Scheme and Flavor limit\
1180\>", "SubitemParagraph",
1181 CellChangeTimes->{{3.713625561363282*^9, 3.7136256184218884`*^9}},
1182 Background->RGBColor[
1183  1, 1, 0.85],ExpressionUUID->"053d675b-070f-453d-bb43-41a6c1eec64f"],
1184
1185Cell[CellGroupData[{
1186
1187Cell[BoxData[
1188 RowBox[{"LoadModel", "[", "\"\<SMEFT.fr\>\"", "]"}]], "Input",
1189 CellChangeTimes->{{3.707043633621306*^9, 3.707043633785348*^9}, {
1190   3.7070440983931837`*^9, 3.70704410108887*^9}, {3.707046119835746*^9,
1191   3.707046123863381*^9}, {3.7070580447585993`*^9, 3.70705804532724*^9},
1192   3.707119804885477*^9, {3.707120793108892*^9, 3.707120795738831*^9},
1193   3.7071210636532927`*^9, 3.707121292888097*^9, {3.70712242801046*^9,
1194   3.70712243235433*^9}, 3.707217022806114*^9, 3.7120468882425528`*^9,
1195   3.7121452318841887`*^9, {3.71214835231743*^9, 3.712148353979909*^9}, {
1196   3.71248355923149*^9, 3.712483559792983*^9}, {3.712580037227171*^9,
1197   3.71258003789824*^9}, 3.713617772893939*^9, {3.714857023229405*^9,
1198   3.714857024043989*^9}, {3.714857073777337*^9,
1199   3.7148570739209948`*^9}},ExpressionUUID->"e7508085-4939-4438-a9db-\
12000fb5e008bca0"],
1201
1202Cell[CellGroupData[{
1203
1204Cell[BoxData["\<\"This model implementation was created by\"\>"], "Print",
1205 CellChangeTimes->{
1206  3.714857149695292*^9},ExpressionUUID->"7ae16741-f58c-410c-b9f5-\
1207340c94a67361"],
1208
1209Cell[BoxData["\<\"I. Bravio, Y. Jiang and M. Trott\"\>"], "Print",
1210 CellChangeTimes->{
1211  3.714857149707168*^9},ExpressionUUID->"1f3fdd8d-c8d4-4d80-ba92-\
121238793bb90636"],
1213
1214Cell[BoxData[
1215 InterpretationBox[
1216  RowBox[{"\<\"Model Version: \"\>", "\[InvisibleSpace]", "\<\"1.0\"\>"}],
1217  SequenceForm["Model Version: ", "1.0"],
1218  Editable->False]], "Print",
1219 CellChangeTimes->{
1220  3.714857149721714*^9},ExpressionUUID->"44e47dc8-2ba7-4d43-89f4-\
12216a05cee884e3"],
1222
1223Cell[BoxData["\<\"Please cite\"\>"], "Print",
1224 CellChangeTimes->{
1225  3.71485714973552*^9},ExpressionUUID->"6462f186-5b05-42e7-8ea5-1446826cde94"],
1226
1227Cell[BoxData["\<\"I. Bravio, Y. Jiang and M. Trott, The SMEFTsim package, \
1228theory and tools, arXiv:1709.06492\"\>"], "Print",
1229 CellChangeTimes->{
1230  3.714857149749666*^9},ExpressionUUID->"1b75dcce-043a-45ad-9422-\
1231775d78a282b8"],
1232
1233Cell[BoxData["\<\"https://feynrules.irmp.ucl.ac.be/wiki/SMEFT\"\>"], "Print",
1234 CellChangeTimes->{
1235  3.714857149763296*^9},ExpressionUUID->"1ca2a6a0-f3ce-451e-8a4e-\
1236740560488acb"],
1237
1238Cell[BoxData["\<\"For more information, type ModelInformation[].\"\>"], \
1239"Print",
1240 CellChangeTimes->{
1241  3.71485714977837*^9},ExpressionUUID->"8e456451-1099-4329-ba4a-2dab7668dab9"],
1242
1243Cell[BoxData["\<\"\"\>"], "Print",
1244 CellChangeTimes->{
1245  3.714857149794093*^9},ExpressionUUID->"3f924078-8b4f-4835-b297-\
12469d7a88dbc163"],
1247
1248Cell[BoxData["\<\"   - Loading particle classes.\"\>"], "Print",
1249 CellChangeTimes->{
1250  3.714857149809836*^9},ExpressionUUID->"5e4b70a2-7d69-4117-a850-\
12519a3914975cef"],
1252
1253Cell[BoxData["\<\"   - Loading gauge group classes.\"\>"], "Print",
1254 CellChangeTimes->{
1255  3.71485714990038*^9},ExpressionUUID->"faf34925-a84e-4798-a0e0-5c238effabc1"],
1256
1257Cell[BoxData["\<\"   - Loading parameter classes.\"\>"], "Print",
1258 CellChangeTimes->{
1259  3.714857149914817*^9},ExpressionUUID->"8544365c-9f6b-49f2-adf1-\
1260a54e18ccc526"],
1261
1262Cell[BoxData[
1263 InterpretationBox[
1264  RowBox[{"\<\"\\nModel \"\>", "\[InvisibleSpace]", "\<\"SMEFTsim\"\>",
1265   "\[InvisibleSpace]", "\<\" loaded.\"\>"}],
1266  SequenceForm["\nModel ", "SMEFTsim", " loaded."],
1267  Editable->False]], "Print",
1268 CellChangeTimes->{
1269  3.7148571536482162`*^9},ExpressionUUID->"f97cfa46-9547-4331-9814-\
127095c1baf585bf"]
1271}, Open  ]]
1272}, Open  ]],
1273
1274Cell[BoxData[
1275 RowBox[{"(*", " ",
1276  RowBox[{"LoadRestriction", "[", "\"\<Cabibbo.rst\>\"", "]"}], " ",
1277  "*)"}]], "Input",
1278 CellChangeTimes->{{3.713493464482696*^9, 3.713493469303619*^9}, {
1279  3.713495821117641*^9, 3.713495824372287*^9}, {3.713615756504122*^9,
1280  3.713615757334991*^9}},ExpressionUUID->"62ecf4e9-7dd6-45e6-b9f2-\
1281818e81b9fe3f"],
1282
1283Cell["\<\
1284Check the Input Scheme and Flavor limit of the model that has been loaded\
1285\>", "SubitemParagraph",
1286 CellChangeTimes->{{3.713625561363282*^9, 3.7136256184218884`*^9}, {
1287  3.713625671941028*^9, 3.713625697074753*^9}},
1288 Background->RGBColor[
1289  1, 1, 0.85],ExpressionUUID->"43aace39-1476-457e-bad1-73477287bf62"],
1290
1291Cell[CellGroupData[{
1292
1293Cell[BoxData[{"Scheme", "\[IndentingNewLine]", "Flavor"}], "Input",
1294 CellChangeTimes->{{3.712150850782395*^9, 3.7121508566158543`*^9}, {
1295  3.7125811849805737`*^9,
1296  3.71258118718775*^9}},ExpressionUUID->"dd0f5638-904e-4c22-a089-\
1297e4224ba81323"],
1298
1299Cell[BoxData["1"], "Output",
1300 CellChangeTimes->{3.7121508569628696`*^9, 3.712165016664995*^9,
1301  3.712314726398013*^9, 3.712315722826281*^9, 3.7123158890435257`*^9,
1302  3.712320163478222*^9, 3.712320428108179*^9, 3.71232235805413*^9,
1303  3.712325470491984*^9, 3.712329563120764*^9, 3.71233989072227*^9,
1304  3.71234496744199*^9, 3.712389041576448*^9, 3.712485012615335*^9,
1305  3.712509788823175*^9, 3.712581187700712*^9, 3.712613703239553*^9,
1306  3.713277576880416*^9, 3.713499305629855*^9, 3.7135096102721148`*^9,
1307  3.7138482142632847`*^9, 3.713849065350614*^9, 3.7141321655848207`*^9,
1308  3.714138141451785*^9, 3.714145767474256*^9,
1309  3.714857178650236*^9},ExpressionUUID->"ba638457-c2a4-49ac-bc4c-\
1310b15eb88cdb8d"],
1311
1312Cell[BoxData["3"], "Output",
1313 CellChangeTimes->{3.7121508569628696`*^9, 3.712165016664995*^9,
1314  3.712314726398013*^9, 3.712315722826281*^9, 3.7123158890435257`*^9,
1315  3.712320163478222*^9, 3.712320428108179*^9, 3.71232235805413*^9,
1316  3.712325470491984*^9, 3.712329563120764*^9, 3.71233989072227*^9,
1317  3.71234496744199*^9, 3.712389041576448*^9, 3.712485012615335*^9,
1318  3.712509788823175*^9, 3.712581187700712*^9, 3.712613703239553*^9,
1319  3.713277576880416*^9, 3.713499305629855*^9, 3.7135096102721148`*^9,
1320  3.7138482142632847`*^9, 3.713849065350614*^9, 3.7141321655848207`*^9,
1321  3.714138141451785*^9, 3.714145767474256*^9,
1322  3.7148571786657553`*^9},ExpressionUUID->"1668a930-780e-4f8d-9ea0-\
13239fb206e0f3a7"]
1324}, Open  ]],
1325
1326Cell[CellGroupData[{
1327
1328Cell["Full SMEFT Lagrangian", "Subsection",
1329 CellChangeTimes->{{3.592050781311898*^9, 3.592050792370556*^9}, {
1330  3.690632127712682*^9, 3.69063216217411*^9}, {3.690632366182378*^9,
1331  3.69063237653393*^9}, {3.7136261185636*^9,
1332  3.713626122962193*^9}},ExpressionUUID->"9adbe363-353a-4911-972d-\
1333e96510f4395f"],
1334
1335Cell[BoxData[
1336 RowBox[{"(*",
1337  RowBox[{
1338  "This", " ", "step", " ", "takes", " ", "about", " ", "2.5", " ", "hours"}],
1339   " ", "*)"}]], "Input",
1340 CellChangeTimes->{{3.707120365182248*^9, 3.707120380440012*^9}, {
1341  3.70712614631332*^9, 3.707126146608179*^9}, {3.707127896959361*^9,
1342  3.707127898047299*^9}, {3.707218090578179*^9, 3.707218092074006*^9}, {
1343  3.712166747539626*^9, 3.7121667484384937`*^9}, {3.712518477455298*^9,
1344  3.7125184811564493`*^9}, {3.7126503366207314`*^9,
1345  3.712650336811854*^9}},ExpressionUUID->"84730076-adec-4274-bd87-\
1346040b0976fb21"],
1347
1348Cell[CellGroupData[{
1349
1350Cell[BoxData[
1351 RowBox[{"Which", "[",
1352  RowBox[{
1353   RowBox[{
1354    RowBox[{"Scheme", "\[Equal]", "1"}], " ", "&&", " ",
1355    RowBox[{"Flavor", "\[Equal]", "1"}]}], " ", ",",
1356   RowBox[{"WriteUFO", "[",
1357    RowBox[{"LagSMEFT", ",",
1358     RowBox[{"Output", "\[Rule]", "\"\<SMEFT_alpha_UFO\>\""}]}], "]"}], ",",
1359   "\[IndentingNewLine]",
1360   RowBox[{
1361    RowBox[{"Scheme", "\[Equal]", "1"}], " ", "&&", " ",
1362    RowBox[{"Flavor", "\[Equal]", "2"}]}], " ", ",",
1363   RowBox[{"WriteUFO", "[",
1364    RowBox[{"LagSMEFT", ",",
1365     RowBox[{"Output", "\[Rule]", "\"\<SMEFT_alpha_MFV_UFO\>\""}]}], "]"}],
1366   ",", "\[IndentingNewLine]",
1367   RowBox[{
1368    RowBox[{"Scheme", "\[Equal]", "1"}], " ", "&&", " ",
1369    RowBox[{"Flavor", "\[Equal]", "3"}]}], " ", ",",
1370   RowBox[{"WriteUFO", "[",
1371    RowBox[{"LagSMEFT", ",",
1372     RowBox[{"Output", "\[Rule]", "\"\<SMEFT_alpha_FLU_UFO\>\""}]}], "]"}],
1373   ",", "\[IndentingNewLine]",
1374   RowBox[{
1375    RowBox[{"Scheme", "\[Equal]", "2"}], " ", "&&", " ",
1376    RowBox[{"Flavor", "\[Equal]", "1"}]}], " ", ",",
1377   RowBox[{"WriteUFO", "[",
1378    RowBox[{"LagSMEFT", ",",
1379     RowBox[{"Output", "\[Rule]", "\"\<SMEFT_mW_UFO\>\""}]}], "]"}], ",",
1380   "\[IndentingNewLine]",
1381   RowBox[{
1382    RowBox[{"Scheme", "\[Equal]", "2"}], " ", "&&", " ",
1383    RowBox[{"Flavor", "\[Equal]", "2"}]}], " ", ",",
1384   RowBox[{"WriteUFO", "[",
1385    RowBox[{"LagSMEFT", ",",
1386     RowBox[{"Output", "\[Rule]", "\"\<SMEFT_mW_MFV_UFO\>\""}]}], "]"}], ",",
1387   "\[IndentingNewLine]",
1388   RowBox[{
1389    RowBox[{"Scheme", "\[Equal]", "2"}], " ", "&&", " ",
1390    RowBox[{"Flavor", "\[Equal]", "3"}]}], " ", ",",
1391   RowBox[{"WriteUFO", "[",
1392    RowBox[{"LagSMEFT", ",",
1393     RowBox[{"Output", "\[Rule]", "\"\<SMEFT_mW_FLU_UFO\>\""}]}], "]"}]}],
1394  "]"}]], "Input",
1395 CellChangeTimes->{{3.592050954724972*^9, 3.592050976242144*^9}, {
1396   3.592917046397978*^9, 3.592917051726028*^9}, {3.690559066245864*^9,
1397   3.690559090771997*^9}, {3.690635206654697*^9, 3.690635251222814*^9},
1398   3.694179603248775*^9, {3.697532476419245*^9, 3.69753248093821*^9},
1399   3.697544395406517*^9, 3.697882281658991*^9, {3.698052884581242*^9,
1400   3.6980529135150433`*^9}, 3.702194003154537*^9, {3.702850190553439*^9,
1401   3.7028501964010057`*^9}, {3.7053130989289427`*^9, 3.705313100664968*^9}, {
1402   3.707058076030693*^9, 3.7070581136692753`*^9}, {3.707064152624481*^9,
1403   3.7070641528160343`*^9}, {3.707064314315763*^9, 3.707064319399392*^9}, {
1404   3.7070694230781393`*^9, 3.707069427357242*^9}, {3.7070839220663977`*^9,
1405   3.707083952620563*^9}, 3.707119850223012*^9, {3.707120410016737*^9,
1406   3.707120414446883*^9}, {3.707123727851462*^9, 3.7071237341448517`*^9}, {
1407   3.7072171174345007`*^9, 3.7072171210484543`*^9}, 3.7121509313089857`*^9, {
1408   3.712165519190444*^9, 3.712165519645192*^9}, {3.7121671478498898`*^9,
1409   3.712167147981661*^9}, 3.712314748075243*^9, 3.712320819842203*^9, {
1410   3.712327724999515*^9, 3.712327725190146*^9}, {3.712329583982894*^9,
1411   3.712329585484972*^9}, {3.712339898139542*^9, 3.7123398986274433`*^9}, {
1412   3.712344983848916*^9, 3.712344984364946*^9}, {3.712389050816577*^9,
1413   3.712389050986454*^9}, {3.713615835293625*^9, 3.71361585394905*^9}, {
1414   3.7136257381544533`*^9, 3.713625902506837*^9}, {3.7138482883446617`*^9,
1415   3.713848296862842*^9}, {3.7138483827411127`*^9,
1416   3.71384840681039*^9}},ExpressionUUID->"1121271b-8bb8-49fe-bf46-\
1417f1683431a803"],
1418
1419Cell[CellGroupData[{
1420
1421Cell[BoxData["\<\" --- Universal FeynRules Output (UFO) v 1.1 ---\"\>"], \
1422"Print",
1423 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1424  3.714139009381372*^9,
1425  3.714146519723297*^9},ExpressionUUID->"fd0b2f89-6c88-46f4-aed2-\
14264de58954bbb4"],
1427
1428Cell[BoxData[
1429 StyleBox["\<\"Starting Feynman rule calculation.\"\>",
1430  StripOnInput->False,
1431  LineColor->RGBColor[1, 0.5, 0],
1432  FrontFaceColor->RGBColor[1, 0.5, 0],
1433  BackFaceColor->RGBColor[1, 0.5, 0],
1434  GraphicsColor->RGBColor[1, 0.5, 0],
1435  FontWeight->Bold,
1436  FontColor->RGBColor[1, 0.5, 0]]], "Print",
1437 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1438  3.714139009381372*^9,
1439  3.7141466108731728`*^9},ExpressionUUID->"259096ed-3ebe-403c-82f8-\
14408728091a0d04"],
1441
1442Cell[BoxData["\<\"Expanding the Lagrangian...\"\>"], "Print",
1443 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1444  3.714139009381372*^9,
1445  3.714146610880265*^9},ExpressionUUID->"a9786162-ac5d-448c-916f-\
144607459699151b"],
1447
1448Cell[BoxData[
1449 InterpretationBox[
1450  RowBox[{"\<\"Expanding the indices over \"\>", "\[InvisibleSpace]", "4",
1451   "\[InvisibleSpace]", "\<\" cores\"\>"}],
1452  SequenceForm["Expanding the indices over ", 4, " cores"],
1453  Editable->False]], "Print",
1454 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1455  3.714139009381372*^9,
1456  3.7141466108840714`*^9},ExpressionUUID->"1d6ebbfc-9ef6-48ff-be90-\
1457809fc58f745b"],
1458
1459Cell[BoxData["\<\"Collecting the different structures that enter the \
1460vertex.\"\>"], "Print",
1461 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1462  3.714139009381372*^9,
1463  3.714146692794492*^9},ExpressionUUID->"b62d74fa-148e-46b0-8fa8-\
146471a215509fee"],
1465
1466Cell[BoxData[
1467 InterpretationBox[
1468  RowBox[{
1469  "143", "\[InvisibleSpace]", "\<\" possible non-zero vertices have been \
1470found -> starting the computation: \"\>", "\[InvisibleSpace]",
1471   DynamicBox[ToBoxes[FeynRules`FR$FeynmanRules, StandardForm],
1472    ImageSizeCache->{180., {3., 9.}}], "\[InvisibleSpace]", "\<\" / \"\>",
1473   "\[InvisibleSpace]", "143", "\[InvisibleSpace]", "\<\".\"\>"}],
1474  SequenceForm[
1475  143, " possible non-zero vertices have been found -> starting the \
1476computation: ",
1477   Dynamic[FeynRules`FR$FeynmanRules], " / ", 143, "."],
1478  Editable->False]], "Print",
1479 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1480  3.714139009381372*^9, 3.714146693620097*^9},
1481 ExpressionUUID -> "f49486cf-a1c8-4685-ad12-ff28c08a74a0"],
1482
1483Cell[BoxData[
1484 InterpretationBox[
1485  RowBox[{"143", "\[InvisibleSpace]", "\<\" vertices obtained.\"\>"}],
1486  SequenceForm[143, " vertices obtained."],
1487  Editable->False]], "Print",
1488 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1489  3.714139009381372*^9,
1490  3.714147438319216*^9},ExpressionUUID->"0ad9c8c1-6be3-4f5c-9998-\
14916c078e62e471"],
1492
1493Cell[BoxData[
1494 InterpretationBox[
1495  RowBox[{"\<\"Flavor expansion of the vertices distributed over \"\>",
1496   "\[InvisibleSpace]", "4", "\[InvisibleSpace]", "\<\" cores: \"\>",
1497   "\[InvisibleSpace]",
1498   DynamicBox[ToBoxes[FeynRules`FR$Count1, StandardForm],
1499    ImageSizeCache->{137., {3., 9.}}], "\[InvisibleSpace]", "\<\" / \"\>",
1500   "\[InvisibleSpace]", "143"}],
1501  SequenceForm[
1502  "Flavor expansion of the vertices distributed over ", 4, " cores: ",
1503   Dynamic[FeynRules`FR$Count1], " / ", 143],
1504  Editable->False]], "Print",
1505 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1506  3.714139009381372*^9, 3.7141501721829*^9},
1507 ExpressionUUID -> "d9352694-9c26-44fc-b8e2-e66c5a926543"],
1508
1509Cell[BoxData["\<\"   - Saved vertices in InterfaceRun[ 1 ].\"\>"], "Print",
1510 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1511  3.714139009381372*^9,
1512  3.714150671203101*^9},ExpressionUUID->"b33c7455-6ce1-4be3-87e9-\
1513925fab8aaa4b"],
1514
1515Cell[BoxData[
1516 StyleBox["\<\"Computing the squared matrix elements relevant for the 1->2 \
1517decays: \"\>",
1518  StripOnInput->False,
1519  LineColor->RGBColor[1, 0.5, 0],
1520  FrontFaceColor->RGBColor[1, 0.5, 0],
1521  BackFaceColor->RGBColor[1, 0.5, 0],
1522  GraphicsColor->RGBColor[1, 0.5, 0],
1523  FontWeight->Bold,
1524  FontColor->RGBColor[1, 0.5, 0]]], "Print",
1525 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1526  3.714139009381372*^9,
1527  3.714150674061142*^9},ExpressionUUID->"c20c0cd0-21b6-4ccf-b5d5-\
15287339eb946ddc"],
1529
1530Cell[BoxData[
1531 InterpretationBox[
1532  RowBox[{
1533   DynamicBox[ToBoxes[PRIVATE`mycounter, StandardForm],
1534    ImageSizeCache->{122., {3., 9.}}], "\[InvisibleSpace]", "\<\" / \"\>",
1535   "\[InvisibleSpace]", "144"}],
1536  SequenceForm[
1537   Dynamic[PRIVATE`mycounter], " / ", 144],
1538  Editable->False]], "Print",
1539 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1540  3.714139009381372*^9,
1541  3.714150674072543*^9},ExpressionUUID->"2e7f932c-e12a-457f-9452-\
15425057379f9085"],
1543
1544Cell[BoxData[
1545 InterpretationBox[
1546  RowBox[{"\<\"Squared matrix elent compute in \"\>", "\[InvisibleSpace]",
1547   "1984.372168`", "\[InvisibleSpace]", "\<\" seconds.\"\>"}],
1548  SequenceForm["Squared matrix elent compute in ", 1984.372168, " seconds."],
1549  Editable->False]], "Print",
1550 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1551  3.714139009381372*^9,
1552  3.714153633292227*^9},ExpressionUUID->"e5c7b6b8-f85f-4175-aea3-\
15534e26e7f6413f"],
1554
1555Cell[BoxData[
1556 InterpretationBox[
1557  RowBox[{
1558   DynamicBox[ToBoxes[PRIVATE`mycounter, StandardForm],
1559    ImageSizeCache->{122., {3., 9.}}], "\[InvisibleSpace]", "\<\" / \"\>",
1560   "\[InvisibleSpace]", "181"}],
1561  SequenceForm[
1562   Dynamic[PRIVATE`mycounter], " / ", 181],
1563  Editable->False]], "Print",
1564 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1565  3.714139009381372*^9,
1566  3.714153633296123*^9},ExpressionUUID->"bac97a40-64bb-41bc-9f3e-\
156780ebad161b81"],
1568
1569Cell[BoxData[
1570 InterpretationBox[
1571  RowBox[{"\<\"Decay widths computed in \"\>", "\[InvisibleSpace]",
1572   "86.081339`", "\[InvisibleSpace]", "\<\" seconds.\"\>"}],
1573  SequenceForm["Decay widths computed in ", 86.081339, " seconds."],
1574  Editable->False]], "Print",
1575 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1576  3.714139009381372*^9,
1577  3.714153722153268*^9},ExpressionUUID->"bd9e11c2-a5a8-4948-8fbe-\
1578c40f09511236"],
1579
1580Cell[BoxData["\<\"Preparing Python output.\"\>"], "Print",
1581 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1582  3.714139009381372*^9,
1583  3.714153722157188*^9},ExpressionUUID->"1b2ec139-1c24-4fa7-8c44-\
15840927d814e620"],
1585
1586Cell[BoxData["\<\"    - Splitting vertices into building blocks.\"\>"], \
1587"Print",
1588 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1589  3.714139009381372*^9,
1590  3.714153731584157*^9},ExpressionUUID->"6fa8bac6-d937-4109-a616-\
159150ba6edb3470"],
1592
1593Cell[BoxData[
1594 InterpretationBox[
1595  RowBox[{"\<\"Splitting of vertices distributed over \"\>",
1596   "\[InvisibleSpace]", "4", "\[InvisibleSpace]", "\<\" kernels.\"\>"}],
1597  SequenceForm["Splitting of vertices distributed over ", 4, " kernels."],
1598  Editable->False]], "Print",
1599 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1600  3.714139009381372*^9,
1601  3.714153733161229*^9},ExpressionUUID->"9016cab2-9fe2-403a-8e4c-\
16029a8ef3e5c6bb"],
1603
1604Cell[BoxData[
1605 InterpretationBox[
1606  RowBox[{"\<\"    - Optimizing: \"\>", "\[InvisibleSpace]",
1607   DynamicBox[ToBoxes[PRIVATE`PY$SplitVertexCounter, StandardForm],
1608    ImageSizeCache->{209., {3., 9.}}], "\[InvisibleSpace]", "\<\"/\"\>",
1609   "\[InvisibleSpace]", "1523", "\[InvisibleSpace]", "\<\" .\"\>"}],
1610  SequenceForm["    - Optimizing: ",
1611   Dynamic[PRIVATE`PY$SplitVertexCounter], "/", 1523, " ."],
1612  Editable->False]], "Print",
1613 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1614  3.714139009381372*^9, 3.714153765531219*^9},
1615 ExpressionUUID -> "4f8cb71b-524c-4345-8ca2-7502849470d5"],
1616
1617Cell[BoxData["\<\"    - Writing files.\"\>"], "Print",
1618 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1619  3.714139009381372*^9,
1620  3.714153852089164*^9},ExpressionUUID->"71a70336-cc61-4928-9560-\
16218a886ae8c9e2"],
1622
1623Cell[BoxData["\<\"Done!\"\>"], "Print",
1624 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9,
1625  3.714139009381372*^9,
1626  3.714154211837989*^9},ExpressionUUID->"0e41963e-efc1-4a91-86d6-\
162786658bea9cc2"]
1628}, Open  ]]
1629}, Open  ]]
1630}, Open  ]]
1631}, Open  ]]
1632},
1633WindowSize->{912, 1126},
1634WindowMargins->{{508, Automatic}, {-278, Automatic}},
1635FrontEndVersion->"10.2 for Mac OS X x86 (32-bit, 64-bit Kernel) (July 29, \
16362015)",
1637StyleDefinitions->"Default.nb"
1638]
1639(* End of Notebook Content *)
1640
1641(* Internal cache information *)
1642(*CellTagsOutline
1643CellTagsIndex->{}
1644*)
1645(*CellTagsIndex
1646CellTagsIndex->{}
1647*)
1648(*NotebookFileOutline
1649Notebook[{
1650Cell[CellGroupData[{
1651Cell[579, 22, 152, 3, 64, "Section"],
1652Cell[CellGroupData[{
1653Cell[756, 29, 2201, 38, 80, "Input"],
1654Cell[CellGroupData[{
1655Cell[2982, 71, 6761, 96, 22, "Print"],
1656Cell[9746, 169, 7037, 103, 22, "Print"],
1657Cell[16786, 274, 6813, 97, 22, "Print"],
1658Cell[23602, 373, 6746, 96, 21, "Print"],
1659Cell[30351, 471, 6758, 96, 21, "Print"],
1660Cell[37112, 569, 6809, 97, 22, "Print"],
1661Cell[43924, 668, 6810, 97, 22, "Print"],
1662Cell[50737, 767, 6747, 96, 21, "Print"],
1663Cell[57487, 865, 6777, 96, 22, "Print"],
1664Cell[64267, 963, 6747, 96, 21, "Print"],
1665Cell[71017, 1061, 6814, 97, 22, "Print"]
1666}, Open  ]]
1667}, Open  ]],
1668Cell[77858, 1162, 647, 12, 28, "Input"],
1669Cell[78508, 1176, 299, 6, 37, "SubitemParagraph"],
1670Cell[CellGroupData[{
1671Cell[78832, 1186, 859, 13, 28, "Input"],
1672Cell[CellGroupData[{
1673Cell[79716, 1203, 176, 3, 22, "Print"],
1674Cell[79895, 1208, 168, 3, 22, "Print"],
1675Cell[80066, 1213, 282, 7, 21, "Print"],
1676Cell[80351, 1222, 144, 2, 21, "Print"],
1677Cell[80498, 1226, 228, 4, 22, "Print"],
1678Cell[80729, 1232, 179, 3, 22, "Print"],
1679Cell[80911, 1237, 181, 3, 22, "Print"],
1680Cell[81095, 1242, 136, 3, 21, "Print"],
1681Cell[81234, 1247, 166, 3, 22, "Print"],
1682Cell[81403, 1252, 166, 2, 22, "Print"],
1683Cell[81572, 1256, 167, 3, 22, "Print"],
1684Cell[81742, 1261, 338, 8, 37, "Print"]
1685}, Open  ]]
1686}, Open  ]],
1687Cell[82107, 1273, 345, 7, 28, "Input"],
1688Cell[82455, 1282, 319, 6, 37, "SubitemParagraph"],
1689Cell[CellGroupData[{
1690Cell[82799, 1292, 245, 4, 46, "Input"],
1691Cell[83047, 1298, 711, 11, 28, "Output"],
1692Cell[83761, 1311, 713, 11, 28, "Output"]
1693}, Open  ]],
1694Cell[CellGroupData[{
1695Cell[84511, 1327, 309, 5, 44, "Subsection"],
1696Cell[84823, 1334, 564, 11, 28, "Input"],
1697Cell[CellGroupData[{
1698Cell[85412, 1349, 3380, 67, 114, "Input"],
1699Cell[CellGroupData[{
1700Cell[88817, 1420, 256, 5, 22, "Print"],
1701Cell[89076, 1427, 481, 12, 22, "Print"],
1702Cell[89560, 1441, 234, 4, 22, "Print"],
1703Cell[89797, 1447, 418, 9, 22, "Print"],
1704Cell[90218, 1458, 267, 5, 22, "Print"],
1705Cell[90488, 1465, 752, 15, 22, "Print"],
1706Cell[91243, 1482, 351, 8, 21, "Print"],
1707Cell[91597, 1492, 703, 14, 22, "Print"],
1708Cell[92303, 1508, 248, 4, 21, "Print"],
1709Cell[92554, 1514, 515, 13, 22, "Print"],
1710Cell[93072, 1529, 472, 12, 22, "Print"],
1711Cell[93547, 1543, 453, 9, 22, "Print"],
1712Cell[94003, 1554, 472, 12, 22, "Print"],
1713Cell[94478, 1568, 435, 9, 22, "Print"],
1714Cell[94916, 1579, 231, 4, 22, "Print"],
1715Cell[95150, 1585, 255, 5, 22, "Print"],
1716Cell[95408, 1592, 446, 9, 22, "Print"],
1717Cell[95857, 1603, 607, 11, 22, "Print"],
1718Cell[96467, 1616, 227, 4, 22, "Print"],
1719Cell[96697, 1622, 212, 4, 21, "Print"]
1720}, Open  ]]
1721}, Open  ]]
1722}, Open  ]]
1723}, Open  ]]
1724}
1725]
1726*)
1727