SMEFT: SMEFTsim-setB.nb

File SMEFTsim-setB.nb, 97.6 KB (added by YunJiang, 7 years 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