Top-Philic-Zprime: Top_Philic_UFO_gen.nb

File Top_Philic_UFO_gen.nb, 117.4 KB (added by Jeong Han Kim, 6 years ago)
Line 
1(* Content-type: application/mathematica *)
2
3(*** Wolfram Notebook File ***)
4(* http://www.wolfram.com/nb *)
5
6(* CreatedBy='Mathematica 6.0' *)
7
8(*CacheID: 234*)
9(* Internal cache information:
10NotebookFileLineBreakTest
11NotebookFileLineBreakTest
12NotebookDataPosition[ 145, 7]
13NotebookDataLength[ 120062, 2432]
14NotebookOptionsPosition[ 106369, 2221]
15NotebookOutlinePosition[ 106747, 2238]
16CellTagsIndexPosition[ 106704, 2235]
17WindowFrame->Normal*)
18
19(* Beginning of Notebook Content *)
20Notebook[{
21Cell[BoxData[
22 RowBox[{"Quit", "[", "]"}]], "Input",
23 CellChangeTimes->{{3.4921467751527157`*^9, 3.492146776183146*^9}, {
24 3.569655655299555*^9,
25 3.569655656468893*^9}},ExpressionUUID->"9a9eddcf-a65b-48d3-9c0a-\
26530dbabf8851"],
27
28Cell[CellGroupData[{
29
30Cell["Setting a Path", "Subsubsection",
31 CellChangeTimes->{{3.578382355069495*^9, 3.578382356090843*^9}, {
32 3.675606814001116*^9, 3.675606817526205*^9}, {3.740986929612624*^9,
33 3.7409869325222063`*^9}},ExpressionUUID->"2236e9e3-ce4b-4c63-8b1d-\
348fe1e0b7052f"],
35
36Cell[CellGroupData[{
37
38Cell[BoxData[
39 RowBox[{"$FeynRulesPath", "=",
40 RowBox[{
41 "SetDirectory", "[", "\"\</Users/Han/feynrules-current_2\>\"",
42 "]"}]}]], "Input",
43 CellChangeTimes->{{3.41265862251538*^9, 3.412658649947229*^9}, {
44 3.423415585782702*^9, 3.423415597189939*^9}, {3.4234163173467493`*^9,
45 3.4234163227881193`*^9}, {3.569593920256028*^9, 3.5695939561647587`*^9}, {
46 3.57353128307874*^9, 3.573531291530204*^9}, {3.57353134365405*^9,
47 3.573531385685854*^9}, {3.5735317694380817`*^9, 3.573531782019915*^9}, {
48 3.5922113808532763`*^9, 3.592211412881894*^9}, {3.5925564077909718`*^9,
49 3.5925564136209*^9}, {3.675605754576425*^9, 3.675605758128098*^9}, {
50 3.740983025238201*^9,
51 3.7409830370296097`*^9}},ExpressionUUID->"34783483-4100-4d33-a9bf-\
526009fae692b7"],
53
54Cell[BoxData["\<\"/Users/Han/feynrules-current_2\"\>"], "Output",
55 CellChangeTimes->{
56 3.573879501788704*^9, 3.57831355008143*^9, 3.5783154778528423`*^9,
57 3.578354969924489*^9, 3.578355753610523*^9, 3.5783598444520607`*^9,
58 3.578360252968184*^9, 3.578360606299459*^9, 3.578360713623214*^9,
59 3.578364021530334*^9, 3.578364260637825*^9, 3.578364529925997*^9,
60 3.5783648962760153`*^9, 3.57836590304775*^9, 3.5783661548486443`*^9,
61 3.578366380142478*^9, 3.578366822472226*^9, 3.578367028922147*^9,
62 3.578367834950704*^9, 3.578368066611207*^9, 3.578368487953837*^9,
63 3.578369158254409*^9, {3.578369381256175*^9, 3.578369392223258*^9},
64 3.5783707067486973`*^9, 3.578370983523628*^9, 3.578371129165917*^9,
65 3.578371462179497*^9, 3.578371928307959*^9, 3.578375921097824*^9,
66 3.5783765882508287`*^9, 3.578376793329894*^9, 3.578377050928402*^9,
67 3.578377334206471*^9, 3.5783778537935038`*^9, {3.578378365139114*^9,
68 3.578378372679097*^9}, 3.578379331600116*^9, 3.578381988099574*^9,
69 3.578382361579468*^9, 3.578383500794579*^9, 3.5783906893387537`*^9,
70 3.578393158114304*^9, 3.5783932232729692`*^9, 3.5783937158882227`*^9,
71 3.578393828066988*^9, 3.5783940061134443`*^9, 3.578394100151807*^9,
72 3.578394222932344*^9, 3.578394319767742*^9, 3.578394382443565*^9,
73 3.578396444375806*^9, 3.5783966429222107`*^9, 3.57839710375823*^9,
74 3.578454764957678*^9, 3.578454881021104*^9, 3.5800026737639637`*^9, {
75 3.5800027076309566`*^9, 3.580002721746533*^9}, 3.580002941831051*^9,
76 3.580003099494595*^9, 3.5800032055253277`*^9, 3.580003245754045*^9,
77 3.580003307687833*^9, 3.580003380724359*^9, 3.5800034378354*^9,
78 3.580003804230142*^9, 3.580003965312114*^9, 3.5800040979542933`*^9,
79 3.5800102233884*^9, 3.580010400498232*^9, 3.580010783339333*^9,
80 3.580010845088707*^9, 3.580010931657948*^9, 3.580011026602125*^9,
81 3.5800111264199133`*^9, 3.5800111660119963`*^9, 3.580011212370987*^9,
82 3.580011273248681*^9, 3.580012164958866*^9, 3.58001269186436*^9,
83 3.5800129496321774`*^9, 3.590450512307303*^9, 3.590450767108445*^9,
84 3.590716845944804*^9, 3.590717936569585*^9, 3.590718434251587*^9,
85 3.590718668469211*^9, 3.590719202662074*^9, 3.590734312660626*^9,
86 3.590735886977797*^9, 3.590736211635819*^9, 3.5907376780570908`*^9,
87 3.590746494627097*^9, 3.590812523905909*^9, 3.591482326578474*^9,
88 3.5914831169381647`*^9, 3.5914831596298037`*^9, 3.591495126722907*^9, {
89 3.592211406450739*^9, 3.5922114136647243`*^9}, 3.592218649458314*^9,
90 3.592296522510178*^9, 3.592467218040882*^9, 3.59247860620679*^9,
91 3.592556421020809*^9, 3.594025367921008*^9, {3.60100927030669*^9,
92 3.601009291117422*^9}, 3.601014824083036*^9, {3.601420185267074*^9,
93 3.6014202180180893`*^9}, 3.6014203447787027`*^9, 3.60145468380961*^9,
94 3.601454929584209*^9, 3.601454974926536*^9, 3.601455132046113*^9,
95 3.6014552191851597`*^9, 3.6017866169614697`*^9, 3.6017870259542828`*^9,
96 3.6063946086887712`*^9, 3.606395657596521*^9, 3.644794158715912*^9,
97 3.644794942644308*^9, 3.644796887272855*^9, 3.675605760940153*^9,
98 3.675606836334063*^9, {3.740983009870482*^9, 3.740983041225761*^9},
99 3.740984573599008*^9, 3.7409849219772043`*^9, 3.740985662368744*^9,
100 3.7409860316535873`*^9,
101 3.740989056609584*^9},ExpressionUUID->"34ce306e-d9c2-4e3e-afdc-\
1024faee60d93da"]
103}, Open ]],
104
105Cell[CellGroupData[{
106
107Cell[BoxData[
108 RowBox[{"<<", "FeynRules`"}]], "Input",ExpressionUUID->"6c55d96c-63b8-4f9e-9cde-0ae49829d043"],
109
110Cell[CellGroupData[{
111
112Cell[BoxData["\<\" - FeynRules - \"\>"], "Print",
113 CellChangeTimes->{3.7409830430822563`*^9, 3.7409845742452602`*^9,
114 3.74098492247499*^9, 3.740985663612544*^9, 3.740986031770698*^9,
115 3.740989057160656*^9},ExpressionUUID->"2fc5e2ef-ddc7-4024-b0d9-\
1167c5707952857"],
117
118Cell[BoxData[
119 InterpretationBox[
120 RowBox[{"\<\"Version: \"\>", "\[InvisibleSpace]", "\<\"2.3.22\"\>",
121 "\[InvisibleSpace]",
122 RowBox[{"\<\" (\"\>", " ", "\<\"04 May 2016\"\>"}],
123 "\[InvisibleSpace]", "\<\").\"\>"}],
124 SequenceForm["Version: ", "2.3.22", " (" "04 May 2016", ")."],
125 Editable->False]], "Print",
126 CellChangeTimes->{3.7409830430822563`*^9, 3.7409845742452602`*^9,
127 3.74098492247499*^9, 3.740985663612544*^9, 3.740986031770698*^9,
128 3.740989057170556*^9},ExpressionUUID->"31ee9abb-3028-4b85-bc29-\
1296f8e19dd5fea"],
130
131Cell[BoxData["\<\"Authors: A. Alloul, N. Christensen, C. Degrande, C. Duhr, \
132B. Fuks\"\>"], "Print",
133 CellChangeTimes->{3.7409830430822563`*^9, 3.7409845742452602`*^9,
134 3.74098492247499*^9, 3.740985663612544*^9, 3.740986031770698*^9,
135 3.740989057180182*^9},ExpressionUUID->"c121ac54-2ac0-450e-b803-\
136ccbbe041a760"],
137
138Cell[BoxData["\<\" \"\>"], "Print",
139 CellChangeTimes->{3.7409830430822563`*^9, 3.7409845742452602`*^9,
140 3.74098492247499*^9, 3.740985663612544*^9, 3.740986031770698*^9,
141 3.740989057190007*^9},ExpressionUUID->"c8a9f754-7215-4a57-8fd5-\
142a0fd87034c4a"],
143
144Cell[BoxData["\<\"Please cite:\"\>"], "Print",
145 CellChangeTimes->{3.7409830430822563`*^9, 3.7409845742452602`*^9,
146 3.74098492247499*^9, 3.740985663612544*^9, 3.740986031770698*^9,
147 3.740989057199719*^9},ExpressionUUID->"7d3ef03f-45bd-4afa-943d-\
14834f3c17bd2dd"],
149
150Cell[BoxData["\<\" - Comput.Phys.Commun.185:2250-2300,2014 \
151(arXiv:1310.1921);\"\>"], "Print",
152 CellChangeTimes->{3.7409830430822563`*^9, 3.7409845742452602`*^9,
153 3.74098492247499*^9, 3.740985663612544*^9, 3.740986031770698*^9,
154 3.740989057209261*^9},ExpressionUUID->"9a028a0f-ea3c-473b-9437-\
155484b205c9b95"],
156
157Cell[BoxData["\<\" - Comput.Phys.Commun.180:1614-1641,2009 \
158(arXiv:0806.4194).\"\>"], "Print",
159 CellChangeTimes->{3.7409830430822563`*^9, 3.7409845742452602`*^9,
160 3.74098492247499*^9, 3.740985663612544*^9, 3.740986031770698*^9,
161 3.740989057218957*^9},ExpressionUUID->"0e3b617a-81c6-495c-8834-\
162e9c840805c44"],
163
164Cell[BoxData["\<\" \"\>"], "Print",
165 CellChangeTimes->{3.7409830430822563`*^9, 3.7409845742452602`*^9,
166 3.74098492247499*^9, 3.740985663612544*^9, 3.740986031770698*^9,
167 3.74098905722861*^9},ExpressionUUID->"f4031b3f-736f-469c-834d-1aeebb72e386"],
168
169Cell[BoxData["\<\"http://feynrules.phys.ucl.ac.be\"\>"], "Print",
170 CellChangeTimes->{3.7409830430822563`*^9, 3.7409845742452602`*^9,
171 3.74098492247499*^9, 3.740985663612544*^9, 3.740986031770698*^9,
172 3.740989057238248*^9},ExpressionUUID->"af075ea8-5aa8-41d8-985e-\
173b71e52d97c4b"],
174
175Cell[BoxData["\<\" \"\>"], "Print",
176 CellChangeTimes->{3.7409830430822563`*^9, 3.7409845742452602`*^9,
177 3.74098492247499*^9, 3.740985663612544*^9, 3.740986031770698*^9,
178 3.7409890572477007`*^9},ExpressionUUID->"44550818-0329-4d44-9ce1-\
17981a037fa2976"],
180
181Cell[BoxData["\<\"The FeynRules palette can be opened using the command \
182FRPalette[].\"\>"], "Print",
183 CellChangeTimes->{3.7409830430822563`*^9, 3.7409845742452602`*^9,
184 3.74098492247499*^9, 3.740985663612544*^9, 3.740986031770698*^9,
185 3.7409890572577763`*^9},ExpressionUUID->"9d0292fc-cd24-4c26-9d7d-\
186c33e41202317"]
187}, Open ]]
188}, Open ]],
189
190Cell[BoxData[
191 RowBox[{
192 RowBox[{"SetDirectory", "[",
193 RowBox[{"$FeynRulesPath", "<>", "\"\</Models/Top_Philic\>\""}], "]"}],
194 ";"}]], "Input",
195 CellChangeTimes->{{3.419073170860696*^9, 3.419073182827229*^9}, {
196 3.5695939666521587`*^9, 3.569593975189637*^9}, {3.571998624557815*^9,
197 3.571998628157531*^9}, {3.5722426658955507`*^9, 3.5722426665661163`*^9}, {
198 3.573879374917307*^9, 3.573879376357258*^9}, {3.578313558977684*^9,
199 3.578313577671748*^9}, {3.5783958510376463`*^9, 3.578395852019607*^9}, {
200 3.57845474229674*^9, 3.57845474238172*^9}, {3.580002678626459*^9,
201 3.58000268068469*^9}, {3.58001269859027*^9, 3.580012698716407*^9}, {
202 3.580012953536817*^9, 3.580012954384448*^9}, {3.590450576207986*^9,
203 3.590450580073546*^9}, 3.5914823222094383`*^9, {3.591495102494793*^9,
204 3.5914951043532743`*^9}, {3.591502813763657*^9, 3.5915028139718447`*^9}, {
205 3.592211456187504*^9, 3.592211456681547*^9}, {3.601009303079486*^9,
206 3.601009308809808*^9}, {3.6014546991792994`*^9, 3.601454701850648*^9}, {
207 3.644794475707807*^9, 3.644794476878982*^9}, {3.644794950026976*^9,
208 3.644794955044138*^9}},ExpressionUUID->"5a8df67e-cb24-4d05-8d54-\
209a0955363ae47"]
210}, Open ]],
211
212Cell[CellGroupData[{
213
214Cell["The Model", "Title",
215 CellChangeTimes->{{3.569657484010581*^9, 3.5696574842398787`*^9}, {
216 3.675606226913138*^9,
217 3.6756062277029867`*^9}},ExpressionUUID->"2af559c6-f0b3-41c3-bdab-\
218f227e6962e9c"],
219
220Cell[TextData[StyleBox["Based on arXiv:1604.07421",
221 FontWeight->"Bold",
222 FontColor->RGBColor[1, 0, 0]]], "Text",
223 CellChangeTimes->{{3.740986942357329*^9,
224 3.74098694809825*^9}},ExpressionUUID->"a8b3c9c0-90bb-4471-ae50-\
225acebbac792c6"],
226
227Cell[CellGroupData[{
228
229Cell[BoxData[
230 RowBox[{"LoadModel", "[",
231 RowBox[{"\"\<SM.fr\>\"", ",", "\"\<Top_Philic.fr\>\""}], "]"}]], "Input",
232 CellChangeTimes->{{3.5914823628501673`*^9, 3.5914823648460817`*^9}, {
233 3.591483062085964*^9, 3.591483080533391*^9}, {3.591483137199366*^9,
234 3.5914831528553057`*^9}, {3.591495112219393*^9, 3.591495114242382*^9}, {
235 3.5915028172845383`*^9, 3.591502817395191*^9}, {3.592138550162439*^9,
236 3.5921385515508413`*^9}, {3.59221155842371*^9, 3.592211558735021*^9},
237 3.592218659046937*^9, {3.5924672329863853`*^9, 3.592467243914006*^9}, {
238 3.601014731996669*^9, 3.601014735058919*^9}, 3.601420231831354*^9, {
239 3.601454713322173*^9, 3.601454720635404*^9}, {3.606394619637165*^9,
240 3.606394620164872*^9}, {3.64479497404101*^9, 3.6447949895066833`*^9}, {
241 3.6447967889582443`*^9, 3.644796818852543*^9}, {3.6756058298610697`*^9,
242 3.67560583280477*^9}, 3.675606823592696*^9,
243 3.740984587976025*^9},ExpressionUUID->"3fa72bc5-b536-41d7-93cb-\
244c58c2299ca2d"],
245
246Cell[CellGroupData[{
247
248Cell[BoxData["\<\"Merging model-files...\"\>"], "Print",
249 CellChangeTimes->{
250 3.60145516248629*^9, 3.6014552492063713`*^9, 3.601786657559167*^9,
251 3.601787055416771*^9, 3.6063946400865517`*^9, 3.606395682141714*^9,
252 3.644794187954862*^9, 3.644794991447109*^9, {3.644796873429204*^9,
253 3.6447968991720467`*^9}, 3.675605833929427*^9, {3.67560682744254*^9,
254 3.6756068420846653`*^9}, 3.7409830693146772`*^9, 3.740984588914421*^9,
255 3.740984931208309*^9, 3.740985670513588*^9, 3.740986038373316*^9,
256 3.7409890647218323`*^9},ExpressionUUID->"888052b3-b002-4c10-9559-\
25783bb9f262f81"],
258
259Cell[BoxData["\<\"This model implementation was created by\"\>"], "Print",
260 CellChangeTimes->{
261 3.60145516248629*^9, 3.6014552492063713`*^9, 3.601786657559167*^9,
262 3.601787055416771*^9, 3.6063946400865517`*^9, 3.606395682141714*^9,
263 3.644794187954862*^9, 3.644794991447109*^9, {3.644796873429204*^9,
264 3.6447968991720467`*^9}, 3.675605833929427*^9, {3.67560682744254*^9,
265 3.6756068420846653`*^9}, 3.7409830693146772`*^9, 3.740984588914421*^9,
266 3.740984931208309*^9, 3.740985670513588*^9, 3.740986038373316*^9,
267 3.74098906473146*^9},ExpressionUUID->"03fdbfa7-e1dc-464f-8f64-\
2686530995bd30f"],
269
270Cell[BoxData["\<\"Jeong Han Kim\"\>"], "Print",
271 CellChangeTimes->{
272 3.60145516248629*^9, 3.6014552492063713`*^9, 3.601786657559167*^9,
273 3.601787055416771*^9, 3.6063946400865517`*^9, 3.606395682141714*^9,
274 3.644794187954862*^9, 3.644794991447109*^9, {3.644796873429204*^9,
275 3.6447968991720467`*^9}, 3.675605833929427*^9, {3.67560682744254*^9,
276 3.6756068420846653`*^9}, 3.7409830693146772`*^9, 3.740984588914421*^9,
277 3.740984931208309*^9, 3.740985670513588*^9, 3.740986038373316*^9,
278 3.740989064741556*^9},ExpressionUUID->"4ac7dfae-1db3-494a-8280-\
27974efc7eb5fc0"],
280
281Cell[BoxData["\<\"G. Mohlabeng\"\>"], "Print",
282 CellChangeTimes->{
283 3.60145516248629*^9, 3.6014552492063713`*^9, 3.601786657559167*^9,
284 3.601787055416771*^9, 3.6063946400865517`*^9, 3.606395682141714*^9,
285 3.644794187954862*^9, 3.644794991447109*^9, {3.644796873429204*^9,
286 3.6447968991720467`*^9}, 3.675605833929427*^9, {3.67560682744254*^9,
287 3.6756068420846653`*^9}, 3.7409830693146772`*^9, 3.740984588914421*^9,
288 3.740984931208309*^9, 3.740985670513588*^9, 3.740986038373316*^9,
289 3.7409890647530813`*^9},ExpressionUUID->"71be5579-bde9-40f7-bbdf-\
290b4fc5088c301"],
291
292Cell[BoxData[
293 InterpretationBox[
294 RowBox[{"\<\"Model Version: \"\>", "\[InvisibleSpace]", "\<\"1.0.0\"\>"}],
295 SequenceForm["Model Version: ", "1.0.0"],
296 Editable->False]], "Print",
297 CellChangeTimes->{
298 3.60145516248629*^9, 3.6014552492063713`*^9, 3.601786657559167*^9,
299 3.601787055416771*^9, 3.6063946400865517`*^9, 3.606395682141714*^9,
300 3.644794187954862*^9, 3.644794991447109*^9, {3.644796873429204*^9,
301 3.6447968991720467`*^9}, 3.675605833929427*^9, {3.67560682744254*^9,
302 3.6756068420846653`*^9}, 3.7409830693146772`*^9, 3.740984588914421*^9,
303 3.740984931208309*^9, 3.740985670513588*^9, 3.740986038373316*^9,
304 3.740989064762763*^9},ExpressionUUID->"508bf887-0572-415a-ba12-\
30530ca09d1104e"],
306
307Cell[BoxData["\<\"For more information, type ModelInformation[].\"\>"], \
308"Print",
309 CellChangeTimes->{
310 3.60145516248629*^9, 3.6014552492063713`*^9, 3.601786657559167*^9,
311 3.601787055416771*^9, 3.6063946400865517`*^9, 3.606395682141714*^9,
312 3.644794187954862*^9, 3.644794991447109*^9, {3.644796873429204*^9,
313 3.6447968991720467`*^9}, 3.675605833929427*^9, {3.67560682744254*^9,
314 3.6756068420846653`*^9}, 3.7409830693146772`*^9, 3.740984588914421*^9,
315 3.740984931208309*^9, 3.740985670513588*^9, 3.740986038373316*^9,
316 3.740989064773342*^9},ExpressionUUID->"444fa0cc-9ef8-479e-9049-\
3172054e1b7f8a3"],
318
319Cell[BoxData["\<\"\"\>"], "Print",
320 CellChangeTimes->{
321 3.60145516248629*^9, 3.6014552492063713`*^9, 3.601786657559167*^9,
322 3.601787055416771*^9, 3.6063946400865517`*^9, 3.606395682141714*^9,
323 3.644794187954862*^9, 3.644794991447109*^9, {3.644796873429204*^9,
324 3.6447968991720467`*^9}, 3.675605833929427*^9, {3.67560682744254*^9,
325 3.6756068420846653`*^9}, 3.7409830693146772`*^9, 3.740984588914421*^9,
326 3.740984931208309*^9, 3.740985670513588*^9, 3.740986038373316*^9,
327 3.7409890647830467`*^9},ExpressionUUID->"a37ba8f7-7b39-4f48-88ea-\
32892a91ab34835"],
329
330Cell[BoxData["\<\" - Loading particle classes.\"\>"], "Print",
331 CellChangeTimes->{
332 3.60145516248629*^9, 3.6014552492063713`*^9, 3.601786657559167*^9,
333 3.601787055416771*^9, 3.6063946400865517`*^9, 3.606395682141714*^9,
334 3.644794187954862*^9, 3.644794991447109*^9, {3.644796873429204*^9,
335 3.6447968991720467`*^9}, 3.675605833929427*^9, {3.67560682744254*^9,
336 3.6756068420846653`*^9}, 3.7409830693146772`*^9, 3.740984588914421*^9,
337 3.740984931208309*^9, 3.740985670513588*^9, 3.740986038373316*^9,
338 3.740989064792671*^9},ExpressionUUID->"6bc8a473-59ab-47c9-9a26-\
3391d7d4a01b0fd"],
340
341Cell[BoxData["\<\" - Loading gauge group classes.\"\>"], "Print",
342 CellChangeTimes->{
343 3.60145516248629*^9, 3.6014552492063713`*^9, 3.601786657559167*^9,
344 3.601787055416771*^9, 3.6063946400865517`*^9, 3.606395682141714*^9,
345 3.644794187954862*^9, 3.644794991447109*^9, {3.644796873429204*^9,
346 3.6447968991720467`*^9}, 3.675605833929427*^9, {3.67560682744254*^9,
347 3.6756068420846653`*^9}, 3.7409830693146772`*^9, 3.740984588914421*^9,
348 3.740984931208309*^9, 3.740985670513588*^9, 3.740986038373316*^9,
349 3.740989064841514*^9},ExpressionUUID->"fc5bbc4e-c88e-458a-86d3-\
350bd588d322a74"],
351
352Cell[BoxData["\<\" - Loading parameter classes.\"\>"], "Print",
353 CellChangeTimes->{
354 3.60145516248629*^9, 3.6014552492063713`*^9, 3.601786657559167*^9,
355 3.601787055416771*^9, 3.6063946400865517`*^9, 3.606395682141714*^9,
356 3.644794187954862*^9, 3.644794991447109*^9, {3.644796873429204*^9,
357 3.6447968991720467`*^9}, 3.675605833929427*^9, {3.67560682744254*^9,
358 3.6756068420846653`*^9}, 3.7409830693146772`*^9, 3.740984588914421*^9,
359 3.740984931208309*^9, 3.740985670513588*^9, 3.740986038373316*^9,
360 3.740989064851119*^9},ExpressionUUID->"62624519-56c8-4b49-ac46-\
361caa044b25786"],
362
363Cell[BoxData[
364 InterpretationBox[
365 RowBox[{"\<\"\\nModel \"\>", "\[InvisibleSpace]", "\<\"Top_Philic\"\>",
366 "\[InvisibleSpace]", "\<\" loaded.\"\>"}],
367 SequenceForm["\nModel ", "Top_Philic", " loaded."],
368 Editable->False]], "Print",
369 CellChangeTimes->{
370 3.60145516248629*^9, 3.6014552492063713`*^9, 3.601786657559167*^9,
371 3.601787055416771*^9, 3.6063946400865517`*^9, 3.606395682141714*^9,
372 3.644794187954862*^9, 3.644794991447109*^9, {3.644796873429204*^9,
373 3.6447968991720467`*^9}, 3.675605833929427*^9, {3.67560682744254*^9,
374 3.6756068420846653`*^9}, 3.7409830693146772`*^9, 3.740984588914421*^9,
375 3.740984931208309*^9, 3.740985670513588*^9, 3.740986038373316*^9,
376 3.740989064948797*^9},ExpressionUUID->"8ee1dc0d-932f-473a-ac75-\
37709ec41442531"]
378}, Open ]]
379}, Open ]],
380
381Cell[CellGroupData[{
382
383Cell[BoxData[
384 RowBox[{"Timing", "[",
385 RowBox[{"LoadRestriction", "[",
386 RowBox[{
387 "\"\<Cabibbo.rst\>\"", ",", "\"\<Massless.rst\>\"", ",",
388 "\"\<DiagonalCKM.rst\>\""}], "]"}], "]"}]], "Input",
389 CellChangeTimes->{{3.453790588503598*^9, 3.4537906008856297`*^9}, {
390 3.569594098070581*^9, 3.5695941074665422`*^9}, {3.592556510623576*^9,
391 3.5925565158875637`*^9}},ExpressionUUID->"96babad4-4f4b-4299-ae95-\
3925951d9b123d5"],
393
394Cell[CellGroupData[{
395
396Cell[BoxData[
397 InterpretationBox[
398 RowBox[{"\<\"Loading restrictions from \"\>",
399 "\[InvisibleSpace]", "\<\"Cabibbo.rst\"\>",
400 "\[InvisibleSpace]", "\<\" : \"\>", "\[InvisibleSpace]",
401 DynamicBox[ToBoxes[PRIVATE`FR$restrictionCounter, StandardForm],
402 ImageSizeCache->{7., {0., 8.}}], "\[InvisibleSpace]", "\<\" / \"\>",
403 "\[InvisibleSpace]", "6"}],
404 SequenceForm["Loading restrictions from ", "Cabibbo.rst", " : ",
405 Dynamic[PRIVATE`FR$restrictionCounter], " / ", 6],
406 Editable->False]], "Print",
407 CellChangeTimes->{3.601455292860381*^9, 3.6017866994433126`*^9,
408 3.601787095326725*^9, 3.606394660238613*^9, 3.6063956986661043`*^9,
409 3.644794234728908*^9, 3.6447949974988117`*^9, 3.644796904757834*^9,
410 3.675605839085737*^9, 3.6756068460398903`*^9, 3.740983072676756*^9,
411 3.7409845931558228`*^9, 3.740985673152114*^9, 3.7409860410242033`*^9,
412 3.7409890672471647`*^9},ExpressionUUID->"bdd4e6d3-9da6-4eed-9427-\
41361f43051f7c6"],
414
415Cell[BoxData[
416 InterpretationBox[
417 RowBox[{"\<\"Loading restrictions from \"\>",
418 "\[InvisibleSpace]", "\<\"Massless.rst\"\>",
419 "\[InvisibleSpace]", "\<\" : \"\>", "\[InvisibleSpace]",
420 DynamicBox[ToBoxes[PRIVATE`FR$restrictionCounter, StandardForm],
421 ImageSizeCache->{7., {0., 8.}}], "\[InvisibleSpace]", "\<\" / \"\>",
422 "\[InvisibleSpace]", "18"}],
423 SequenceForm["Loading restrictions from ", "Massless.rst", " : ",
424 Dynamic[PRIVATE`FR$restrictionCounter], " / ", 18],
425 Editable->False]], "Print",
426 CellChangeTimes->{3.601455292860381*^9, 3.6017866994433126`*^9,
427 3.601787095326725*^9, 3.606394660238613*^9, 3.6063956986661043`*^9,
428 3.644794234728908*^9, 3.6447949974988117`*^9, 3.644796904757834*^9,
429 3.675605839085737*^9, 3.6756068460398903`*^9, 3.740983072676756*^9,
430 3.7409845931558228`*^9, 3.740985673152114*^9, 3.7409860410242033`*^9,
431 3.7409890674422092`*^9},ExpressionUUID->"6fe3aa28-331b-4fe1-9e33-\
4321a125e37dba1"],
433
434Cell[BoxData[
435 InterpretationBox[
436 RowBox[{"\<\"Loading restrictions from \"\>",
437 "\[InvisibleSpace]", "\<\"DiagonalCKM.rst\"\>",
438 "\[InvisibleSpace]", "\<\" : \"\>", "\[InvisibleSpace]",
439 DynamicBox[ToBoxes[PRIVATE`FR$restrictionCounter, StandardForm],
440 ImageSizeCache->{7., {0., 8.}}], "\[InvisibleSpace]", "\<\" / \"\>",
441 "\[InvisibleSpace]", "3"}],
442 SequenceForm["Loading restrictions from ", "DiagonalCKM.rst", " : ",
443 Dynamic[PRIVATE`FR$restrictionCounter], " / ", 3],
444 Editable->False]], "Print",
445 CellChangeTimes->{3.601455292860381*^9, 3.6017866994433126`*^9,
446 3.601787095326725*^9, 3.606394660238613*^9, 3.6063956986661043`*^9,
447 3.644794234728908*^9, 3.6447949974988117`*^9, 3.644796904757834*^9,
448 3.675605839085737*^9, 3.6756068460398903`*^9, 3.740983072676756*^9,
449 3.7409845931558228`*^9, 3.740985673152114*^9, 3.7409860410242033`*^9,
450 3.740989067672357*^9},ExpressionUUID->"1e74d853-90c7-40e7-98e3-\
451a6ef96fbff74"],
452
453Cell[BoxData["\<\"Restrictions loaded.\"\>"], "Print",
454 CellChangeTimes->{3.601455292860381*^9, 3.6017866994433126`*^9,
455 3.601787095326725*^9, 3.606394660238613*^9, 3.6063956986661043`*^9,
456 3.644794234728908*^9, 3.6447949974988117`*^9, 3.644796904757834*^9,
457 3.675605839085737*^9, 3.6756068460398903`*^9, 3.740983072676756*^9,
458 3.7409845931558228`*^9, 3.740985673152114*^9, 3.7409860410242033`*^9,
459 3.740989067747057*^9},ExpressionUUID->"b9ce3dc4-46cf-4701-a3c5-\
4603d750a0f014f"]
461}, Open ]],
462
463Cell[BoxData[
464 RowBox[{"{",
465 RowBox[{"1.304811`", ",", "Null"}], "}"}]], "Output",
466 CellChangeTimes->{3.601455438490341*^9, 3.601786844925991*^9,
467 3.601787238482038*^9, 3.6063947078559237`*^9, 3.6063957468698874`*^9,
468 3.6447942840487623`*^9, 3.644794997882559*^9, 3.6447969049961843`*^9,
469 3.675605839390239*^9, 3.6756068463606567`*^9, 3.740983073217482*^9,
470 3.740984593687017*^9, 3.740985673705535*^9, 3.740986041575634*^9,
471 3.740989067756805*^9},ExpressionUUID->"057e0f5a-7f38-435f-b450-\
4722b6540762a00"]
473}, Open ]],
474
475Cell[TextData[StyleBox["Print the Lagrangian",
476 FontWeight->"Bold",
477 FontColor->RGBColor[1, 0, 0]]], "Text",
478 CellChangeTimes->{{3.740986942357329*^9,
479 3.7409869761299057`*^9}},ExpressionUUID->"0db0d3e5-0289-4717-bee3-\
48087e98e7d09f1"],
481
482Cell[CellGroupData[{
483
484Cell[BoxData["Lv1"], "Input",
485 CellChangeTimes->{{3.6756058676459093`*^9,
486 3.675605867647004*^9}},ExpressionUUID->"76d8349c-eabf-4c01-9d24-\
4870c01e627caf9"],
488
489Cell[BoxData[
490 RowBox[{
491 SubscriptBox["C", "t1"], " ",
492 RowBox[{
493 OverscriptBox["t", "\<\"-\"\>"], ".",
494 TemplateBox[{"\[Gamma]","mu"},
495 "Superscript"], ".",
496 RowBox[{"(",
497 RowBox[{
498 RowBox[{
499 SubscriptBox["P", "\<\"-\"\>"], " ",
500 RowBox[{"Cos", "[",
501 SubscriptBox["\[Theta]", "1"], "]"}]}], "+",
502 RowBox[{
503 SubscriptBox["P", "\<\"+\"\>"], " ",
504 RowBox[{"Sin", "[",
505 SubscriptBox["\[Theta]", "1"], "]"}]}]}], ")"}], ".", "t"}], " ",
506 SubscriptBox["v1", "mu"]}]], "Output",
507 CellChangeTimes->{
508 3.675605868177342*^9, 3.67560685831286*^9, 3.7409845952542467`*^9, {
509 3.7409856756971493`*^9, 3.7409856864473133`*^9},
510 3.740986043249672*^9},ExpressionUUID->"86bf899e-9183-4c2f-a279-\
511d13b2e3c8c3a"]
512}, Open ]],
513
514Cell[CellGroupData[{
515
516Cell["Checking the Lagrangian (arXiv:1604.07421)", "Section",
517 CellChangeTimes->{{3.411910065227421*^9, 3.411910071535137*^9},
518 3.56965763460078*^9, {3.7409858130582237`*^9, 3.740985844015819*^9}, {
519 3.740986902500684*^9,
520 3.7409869057236223`*^9}},ExpressionUUID->"487ca974-4a6c-48db-9635-\
521b02ddbf0d1cb"],
522
523Cell[BoxData[
524 RowBox[{
525 RowBox[{"FeynmanGauge", " ", "=", " ", "False"}], ";"}]], "Input",
526 CellChangeTimes->{{3.5406575402120543`*^9,
527 3.540657546439702*^9}},ExpressionUUID->"d4a7fcb3-091a-43f9-8fe8-\
528352c3053145b"],
529
530Cell[CellGroupData[{
531
532Cell["Checking hermiticity", "Subsection",
533 CellChangeTimes->{{3.4234156831783743`*^9,
534 3.423415689540821*^9}},ExpressionUUID->"ca127d09-0b43-4447-ab0b-\
535a0c7020d5ed8"],
536
537Cell["The hermiticity of the Lagrangian can be checked via", "Text",
538 CellChangeTimes->{{3.423415694323595*^9,
539 3.423415707867804*^9}},ExpressionUUID->"b040f9d0-2e7b-4627-8bd5-\
5404ec881d2a6fa"],
541
542Cell[CellGroupData[{
543
544Cell[BoxData[
545 RowBox[{"CheckHermiticity", "[", "Lv1", "]"}]], "Input",
546 CellChangeTimes->{{3.414763473002973*^9, 3.4147634845507174`*^9}, {
547 3.5884182415538187`*^9, 3.5884182416874647`*^9}, {3.645272619452579*^9,
548 3.645272624344407*^9}, {3.648474506052671*^9, 3.6484745091236353`*^9}, {
549 3.648577278499804*^9, 3.648577280807659*^9}, {3.648946651210244*^9,
550 3.648946682020995*^9}, {3.649000607211097*^9, 3.649000610495351*^9}, {
551 3.649078837157568*^9, 3.649078845450428*^9}, {3.667491761324419*^9,
552 3.667491767595119*^9}, {3.672683680296179*^9, 3.672683680358691*^9}, {
553 3.673873929927452*^9, 3.67387393099113*^9}, {3.673874494179491*^9,
554 3.6738744958029423`*^9}, {3.673876131252974*^9, 3.673876131666979*^9}, {
555 3.673881346926963*^9, 3.673881348725006*^9}, {3.673883389758706*^9,
556 3.6738833933322067`*^9}, {3.673884991690379*^9, 3.673884993753655*^9}, {
557 3.673885128643969*^9, 3.673885129010468*^9},
558 3.675605945451625*^9},ExpressionUUID->"0b7086a8-5057-41cd-9eee-\
55931f0a57e89f8"],
560
561Cell[CellGroupData[{
562
563Cell[BoxData["\<\"Checking for hermiticity by calculating the Feynman rules \
564contained in L-HC[L].\"\>"], "Print",
565 CellChangeTimes->{
566 3.644773168592648*^9, 3.6452726274292727`*^9, 3.645707638159724*^9,
567 3.6483124003901653`*^9, 3.6483821293672333`*^9, 3.6484745120137444`*^9,
568 3.6485772848282127`*^9, 3.64894669749399*^9, 3.649000625446762*^9,
569 3.649078849877396*^9, 3.652705720637269*^9, 3.654342079336636*^9,
570 3.667491771033383*^9, 3.669112012567482*^9, 3.669339578328498*^9,
571 3.6726836835120373`*^9, 3.672684447528275*^9, 3.672739851682497*^9,
572 3.672764444816256*^9, 3.672765027904311*^9, 3.672765183002973*^9,
573 3.672778000637538*^9, 3.67282264717301*^9, 3.673175620280954*^9,
574 3.673873933854293*^9, 3.673874173247109*^9, 3.673874569722929*^9, {
575 3.6738761233818827`*^9, 3.6738761336449757`*^9}, 3.67388134911267*^9, {
576 3.6738833949354963`*^9, 3.673883400192733*^9}, 3.673884994745006*^9,
577 3.673885285521969*^9, 3.673885525946775*^9, 3.6756059460299177`*^9,
578 3.675606868337083*^9,
579 3.740985695085124*^9},ExpressionUUID->"7b5269d8-81a5-4baa-b1c6-\
580e99e07437a26"],
581
582Cell[BoxData["\<\"If the lagrangian is hermitian, then the number of vertices \
583should be zero.\"\>"], "Print",
584 CellChangeTimes->{
585 3.644773168592648*^9, 3.6452726274292727`*^9, 3.645707638159724*^9,
586 3.6483124003901653`*^9, 3.6483821293672333`*^9, 3.6484745120137444`*^9,
587 3.6485772848282127`*^9, 3.64894669749399*^9, 3.649000625446762*^9,
588 3.649078849877396*^9, 3.652705720637269*^9, 3.654342079336636*^9,
589 3.667491771033383*^9, 3.669112012567482*^9, 3.669339578328498*^9,
590 3.6726836835120373`*^9, 3.672684447528275*^9, 3.672739851682497*^9,
591 3.672764444816256*^9, 3.672765027904311*^9, 3.672765183002973*^9,
592 3.672778000637538*^9, 3.67282264717301*^9, 3.673175620280954*^9,
593 3.673873933854293*^9, 3.673874173247109*^9, 3.673874569722929*^9, {
594 3.6738761233818827`*^9, 3.6738761336449757`*^9}, 3.67388134911267*^9, {
595 3.6738833949354963`*^9, 3.673883400192733*^9}, 3.673884994745006*^9,
596 3.673885285521969*^9, 3.673885525946775*^9, 3.6756059460299177`*^9,
597 3.675606868337083*^9,
598 3.740985695094656*^9},ExpressionUUID->"4c779a80-7dc2-4038-bd1e-\
59995dccb1f55ab"],
600
601Cell[BoxData[
602 StyleBox["\<\"Starting Feynman rule calculation.\"\>",
603 StripOnInput->False,
604 LineColor->RGBColor[1, 0.5, 0],
605 FrontFaceColor->RGBColor[1, 0.5, 0],
606 BackFaceColor->RGBColor[1, 0.5, 0],
607 GraphicsColor->RGBColor[1, 0.5, 0],
608 FontWeight->Bold,
609 FontColor->RGBColor[1, 0.5, 0]]], "Print",
610 CellChangeTimes->{
611 3.644773168592648*^9, 3.6452726274292727`*^9, 3.645707638159724*^9,
612 3.6483124003901653`*^9, 3.6483821293672333`*^9, 3.6484745120137444`*^9,
613 3.6485772848282127`*^9, 3.64894669749399*^9, 3.649000625446762*^9,
614 3.649078849877396*^9, 3.652705720637269*^9, 3.654342079336636*^9,
615 3.667491771033383*^9, 3.669112012567482*^9, 3.669339578328498*^9,
616 3.6726836835120373`*^9, 3.672684447528275*^9, 3.672739851682497*^9,
617 3.672764444816256*^9, 3.672765027904311*^9, 3.672765183002973*^9,
618 3.672778000637538*^9, 3.67282264717301*^9, 3.673175620280954*^9,
619 3.673873933854293*^9, 3.673874173247109*^9, 3.673874569722929*^9, {
620 3.6738761233818827`*^9, 3.6738761336449757`*^9}, 3.67388134911267*^9, {
621 3.6738833949354963`*^9, 3.673883400192733*^9}, 3.673884994745006*^9,
622 3.673885285521969*^9, 3.673885525946775*^9, 3.6756059460299177`*^9,
623 3.675606868337083*^9,
624 3.740985695195629*^9},ExpressionUUID->"6f24f8fe-2a40-4b88-bfaf-\
625fb2207371c35"],
626
627Cell[BoxData["\<\"Expanding the Lagrangian...\"\>"], "Print",
628 CellChangeTimes->{
629 3.644773168592648*^9, 3.6452726274292727`*^9, 3.645707638159724*^9,
630 3.6483124003901653`*^9, 3.6483821293672333`*^9, 3.6484745120137444`*^9,
631 3.6485772848282127`*^9, 3.64894669749399*^9, 3.649000625446762*^9,
632 3.649078849877396*^9, 3.652705720637269*^9, 3.654342079336636*^9,
633 3.667491771033383*^9, 3.669112012567482*^9, 3.669339578328498*^9,
634 3.6726836835120373`*^9, 3.672684447528275*^9, 3.672739851682497*^9,
635 3.672764444816256*^9, 3.672765027904311*^9, 3.672765183002973*^9,
636 3.672778000637538*^9, 3.67282264717301*^9, 3.673175620280954*^9,
637 3.673873933854293*^9, 3.673874173247109*^9, 3.673874569722929*^9, {
638 3.6738761233818827`*^9, 3.6738761336449757`*^9}, 3.67388134911267*^9, {
639 3.6738833949354963`*^9, 3.673883400192733*^9}, 3.673884994745006*^9,
640 3.673885285521969*^9, 3.673885525946775*^9, 3.6756059460299177`*^9,
641 3.675606868337083*^9,
642 3.740985695206471*^9},ExpressionUUID->"3c5ee63f-ed00-4b32-bcd7-\
6439fd484c3689a"],
644
645Cell[BoxData["\<\"No vertices found.\"\>"], "Print",
646 CellChangeTimes->{
647 3.644773168592648*^9, 3.6452726274292727`*^9, 3.645707638159724*^9,
648 3.6483124003901653`*^9, 3.6483821293672333`*^9, 3.6484745120137444`*^9,
649 3.6485772848282127`*^9, 3.64894669749399*^9, 3.649000625446762*^9,
650 3.649078849877396*^9, 3.652705720637269*^9, 3.654342079336636*^9,
651 3.667491771033383*^9, 3.669112012567482*^9, 3.669339578328498*^9,
652 3.6726836835120373`*^9, 3.672684447528275*^9, 3.672739851682497*^9,
653 3.672764444816256*^9, 3.672765027904311*^9, 3.672765183002973*^9,
654 3.672778000637538*^9, 3.67282264717301*^9, 3.673175620280954*^9,
655 3.673873933854293*^9, 3.673874173247109*^9, 3.673874569722929*^9, {
656 3.6738761233818827`*^9, 3.6738761336449757`*^9}, 3.67388134911267*^9, {
657 3.6738833949354963`*^9, 3.673883400192733*^9}, 3.673884994745006*^9,
658 3.673885285521969*^9, 3.673885525946775*^9, 3.6756059460299177`*^9,
659 3.675606868337083*^9,
660 3.7409856952161283`*^9},ExpressionUUID->"6542c0fa-fb3c-425f-9f42-\
6612d9937322a04"],
662
663Cell[BoxData[
664 InterpretationBox[
665 RowBox[{"0", "\[InvisibleSpace]", "\<\" vertices obtained.\"\>"}],
666 SequenceForm[0, " vertices obtained."],
667 Editable->False]], "Print",
668 CellChangeTimes->{
669 3.644773168592648*^9, 3.6452726274292727`*^9, 3.645707638159724*^9,
670 3.6483124003901653`*^9, 3.6483821293672333`*^9, 3.6484745120137444`*^9,
671 3.6485772848282127`*^9, 3.64894669749399*^9, 3.649000625446762*^9,
672 3.649078849877396*^9, 3.652705720637269*^9, 3.654342079336636*^9,
673 3.667491771033383*^9, 3.669112012567482*^9, 3.669339578328498*^9,
674 3.6726836835120373`*^9, 3.672684447528275*^9, 3.672739851682497*^9,
675 3.672764444816256*^9, 3.672765027904311*^9, 3.672765183002973*^9,
676 3.672778000637538*^9, 3.67282264717301*^9, 3.673175620280954*^9,
677 3.673873933854293*^9, 3.673874173247109*^9, 3.673874569722929*^9, {
678 3.6738761233818827`*^9, 3.6738761336449757`*^9}, 3.67388134911267*^9, {
679 3.6738833949354963`*^9, 3.673883400192733*^9}, 3.673884994745006*^9,
680 3.673885285521969*^9, 3.673885525946775*^9, 3.6756059460299177`*^9,
681 3.675606868337083*^9,
682 3.740985695225507*^9},ExpressionUUID->"43603478-6059-499a-bbc9-\
683d0143bb51874"],
684
685Cell[BoxData["\<\"The lagrangian is hermitian.\"\>"], "Print",
686 CellChangeTimes->{
687 3.644773168592648*^9, 3.6452726274292727`*^9, 3.645707638159724*^9,
688 3.6483124003901653`*^9, 3.6483821293672333`*^9, 3.6484745120137444`*^9,
689 3.6485772848282127`*^9, 3.64894669749399*^9, 3.649000625446762*^9,
690 3.649078849877396*^9, 3.652705720637269*^9, 3.654342079336636*^9,
691 3.667491771033383*^9, 3.669112012567482*^9, 3.669339578328498*^9,
692 3.6726836835120373`*^9, 3.672684447528275*^9, 3.672739851682497*^9,
693 3.672764444816256*^9, 3.672765027904311*^9, 3.672765183002973*^9,
694 3.672778000637538*^9, 3.67282264717301*^9, 3.673175620280954*^9,
695 3.673873933854293*^9, 3.673874173247109*^9, 3.673874569722929*^9, {
696 3.6738761233818827`*^9, 3.6738761336449757`*^9}, 3.67388134911267*^9, {
697 3.6738833949354963`*^9, 3.673883400192733*^9}, 3.673884994745006*^9,
698 3.673885285521969*^9, 3.673885525946775*^9, 3.6756059460299177`*^9,
699 3.675606868337083*^9,
700 3.74098569523495*^9},ExpressionUUID->"144182f3-4a7e-465e-add3-\
701f4d6d5cf0f4a"]
702}, Open ]],
703
704Cell[BoxData[
705 RowBox[{"{", "}"}]], "Output",
706 CellChangeTimes->{
707 3.644773185013188*^9, 3.645272637942464*^9, 3.645707650931437*^9,
708 3.648312426650044*^9, 3.6483821405918207`*^9, 3.648474526163392*^9,
709 3.64857729951048*^9, 3.6489467142411423`*^9, 3.649000641143311*^9,
710 3.649078867540442*^9, 3.652705731014285*^9, 3.654342091121242*^9,
711 3.667491778761985*^9, 3.6691120205860767`*^9, 3.669339594021774*^9,
712 3.672683691647408*^9, 3.672684455722678*^9, 3.6727398601704903`*^9,
713 3.672764453198152*^9, 3.672765036017075*^9, 3.672765190940927*^9,
714 3.672778008577319*^9, 3.672822654776629*^9, 3.673175628520755*^9,
715 3.673873942323084*^9, 3.673874205437208*^9, 3.673874570417692*^9, {
716 3.673876124084189*^9, 3.6738761341914454`*^9}, 3.673881349208651*^9, {
717 3.6738833954579973`*^9, 3.673883400835807*^9}, 3.673884999429962*^9,
718 3.673885286674212*^9, 3.67388599096632*^9, 3.6756059462939663`*^9,
719 3.675606868488936*^9,
720 3.740985695245943*^9},ExpressionUUID->"09f9645b-47bb-47fa-9e13-\
721d6a26c34bc83"]
722}, Open ]]
723}, Open ]],
724
725Cell[CellGroupData[{
726
727Cell["Checking the kinetic terms", "Subsection",
728 CellChangeTimes->{{3.423415843532096*^9,
729 3.42341584850035*^9}},ExpressionUUID->"2bbaad75-62b6-4ca1-a629-\
730469f22a36c50"],
731
732Cell["\<\
733In the same way, FeynRules can check whether all kinetic terms are correctly \
734normalized :\
735\>", "Text",
736 CellChangeTimes->{{3.423415798800013*^9,
737 3.423415817964087*^9}},ExpressionUUID->"685d0054-0d81-4c9e-a668-\
738844d8781408e"],
739
740Cell[CellGroupData[{
741
742Cell[BoxData[
743 RowBox[{"CheckKineticTermNormalisation", "[",
744 RowBox[{"LSM", "+", "Lv1"}], "]"}]], "Input",
745 CellChangeTimes->{{3.4147636651636972`*^9, 3.414763667250185*^9}, {
746 3.645272718117766*^9, 3.645272720699003*^9}, {3.667491813720992*^9,
747 3.6674918147292128`*^9},
748 3.675606077446086*^9},ExpressionUUID->"57f7eee1-829b-46fd-a13c-\
749a9d69680626b"],
750
751Cell[CellGroupData[{
752
753Cell[BoxData[
754 InterpretationBox[
755 RowBox[{"\<\"Neglecting all terms with more than \"\>",
756 "\[InvisibleSpace]", "\<\"2\"\>",
757 "\[InvisibleSpace]", "\<\" particles.\"\>"}],
758 SequenceForm["Neglecting all terms with more than ", "2", " particles."],
759 Editable->False]], "Print",
760 CellChangeTimes->{3.644773279452509*^9, 3.645272726409737*^9,
761 3.64570772418742*^9, 3.667491834615438*^9, 3.66933965146412*^9,
762 3.675606082920841*^9, 3.675606889111458*^9,
763 3.740985733713356*^9},ExpressionUUID->"cf11a547-f99b-4a77-9b42-\
7643e67a610bb70"],
765
766Cell[BoxData["\<\"All kinetic terms are diagonal.\"\>"], "Print",
767 CellChangeTimes->{3.644773279452509*^9, 3.645272726409737*^9,
768 3.64570772418742*^9, 3.667491834615438*^9, 3.66933965146412*^9,
769 3.675606082920841*^9, 3.675606889111458*^9,
770 3.740985733819943*^9},ExpressionUUID->"04a5a3f4-468c-4dde-95aa-\
77173964742ebe1"],
772
773Cell[BoxData["\<\"All kinetic terms are correctly normalized.\"\>"], "Print",
774 CellChangeTimes->{3.644773279452509*^9, 3.645272726409737*^9,
775 3.64570772418742*^9, 3.667491834615438*^9, 3.66933965146412*^9,
776 3.675606082920841*^9, 3.675606889111458*^9,
777 3.740985736444448*^9},ExpressionUUID->"91fc0445-7051-4614-9982-\
7783d5cc275973f"]
779}, Open ]],
780
781Cell[BoxData["True"], "Output",
782 CellChangeTimes->{
783 3.74098573645601*^9},ExpressionUUID->"1954bc59-4a88-414e-91e2-10bc96c9e50f"]
784}, Open ]]
785}, Open ]],
786
787Cell[CellGroupData[{
788
789Cell["Decay Width", "Subsection",
790 CellChangeTimes->{{3.6756062696623507`*^9,
791 3.6756062743170633`*^9}},ExpressionUUID->"67459bf3-fe05-407c-8d2e-\
792524f1f025cd0"],
793
794Cell[CellGroupData[{
795
796Cell[BoxData[
797 RowBox[{"FeynmanRules", "[", "Lv1", "]"}]], "Input",
798 CellChangeTimes->{{3.649007514564241*^9, 3.6490075892578297`*^9},
799 3.649078997877944*^9, {3.667491845401843*^9, 3.667491850351368*^9}, {
800 3.672764508200699*^9, 3.672764509174398*^9}, {3.672765426086227*^9,
801 3.672765433978984*^9}, {3.673175681395782*^9, 3.673175686841549*^9},
802 3.6756062865361767`*^9},ExpressionUUID->"78e49f55-97ee-464c-bc9c-\
803c544f46f5b00"],
804
805Cell[CellGroupData[{
806
807Cell[BoxData[
808 StyleBox["\<\"Starting Feynman rule calculation.\"\>",
809 StripOnInput->False,
810 LineColor->RGBColor[1, 0.5, 0],
811 FrontFaceColor->RGBColor[1, 0.5, 0],
812 BackFaceColor->RGBColor[1, 0.5, 0],
813 GraphicsColor->RGBColor[1, 0.5, 0],
814 FontWeight->Bold,
815 FontColor->RGBColor[1, 0.5, 0]]], "Print",
816 CellChangeTimes->{3.649007590804017*^9, 3.652705781840035*^9,
817 3.667491851437766*^9, 3.669113407434478*^9, 3.6727645098394823`*^9,
818 3.6727650635425797`*^9, 3.672765240990141*^9, 3.672765435244398*^9,
819 3.6727780416576633`*^9, 3.6728226717351103`*^9, 3.673175688299732*^9,
820 3.673881400163583*^9, 3.67560628694026*^9, 3.740985744338359*^9,
821 3.740986051684906*^9},ExpressionUUID->"9f3ef338-3ada-46fb-999e-\
822f792d47a3079"],
823
824Cell[BoxData["\<\"Expanding the Lagrangian...\"\>"], "Print",
825 CellChangeTimes->{3.649007590804017*^9, 3.652705781840035*^9,
826 3.667491851437766*^9, 3.669113407434478*^9, 3.6727645098394823`*^9,
827 3.6727650635425797`*^9, 3.672765240990141*^9, 3.672765435244398*^9,
828 3.6727780416576633`*^9, 3.6728226717351103`*^9, 3.673175688299732*^9,
829 3.673881400163583*^9, 3.67560628694026*^9, 3.740985744338359*^9,
830 3.7409860516943808`*^9},ExpressionUUID->"f72aa08f-895d-4dcc-8f77-\
831957127362dc3"],
832
833Cell[BoxData["\<\"Collecting the different structures that enter the \
834vertex.\"\>"], "Print",
835 CellChangeTimes->{3.649007590804017*^9, 3.652705781840035*^9,
836 3.667491851437766*^9, 3.669113407434478*^9, 3.6727645098394823`*^9,
837 3.6727650635425797`*^9, 3.672765240990141*^9, 3.672765435244398*^9,
838 3.6727780416576633`*^9, 3.6728226717351103`*^9, 3.673175688299732*^9,
839 3.673881400163583*^9, 3.67560628694026*^9, 3.740985744338359*^9,
840 3.7409860517456923`*^9},ExpressionUUID->"bfe0ba49-b9ed-4d2e-b53e-\
841fa827076d237"],
842
843Cell[BoxData[
844 InterpretationBox[
845 RowBox[{
846 "1", "\[InvisibleSpace]", "\<\" possible non-zero vertices have been found \
847-> starting the computation: \"\>", "\[InvisibleSpace]",
848 DynamicBox[ToBoxes[FeynRules`FR$FeynmanRules, StandardForm],
849 ImageSizeCache->{108., {3., 9.}}], "\[InvisibleSpace]", "\<\" / \"\>",
850 "\[InvisibleSpace]", "1", "\[InvisibleSpace]", "\<\".\"\>"}],
851 SequenceForm[
852 1, " possible non-zero vertices have been found -> starting the \
853computation: ",
854 Dynamic[FeynRules`FR$FeynmanRules], " / ", 1, "."],
855 Editable->False]], "Print",
856 CellChangeTimes->{3.649007590804017*^9, 3.652705781840035*^9,
857 3.667491851437766*^9, 3.669113407434478*^9, 3.6727645098394823`*^9,
858 3.6727650635425797`*^9, 3.672765240990141*^9, 3.672765435244398*^9,
859 3.6727780416576633`*^9, 3.6728226717351103`*^9, 3.673175688299732*^9,
860 3.673881400163583*^9, 3.67560628694026*^9, 3.740985744338359*^9,
861 3.7409860517582493`*^9},ExpressionUUID->"8481b4ea-6bd5-4756-a4b5-\
8623418a81a963b"],
863
864Cell[BoxData["\<\"1 vertex obtained.\"\>"], "Print",
865 CellChangeTimes->{3.649007590804017*^9, 3.652705781840035*^9,
866 3.667491851437766*^9, 3.669113407434478*^9, 3.6727645098394823`*^9,
867 3.6727650635425797`*^9, 3.672765240990141*^9, 3.672765435244398*^9,
868 3.6727780416576633`*^9, 3.6728226717351103`*^9, 3.673175688299732*^9,
869 3.673881400163583*^9, 3.67560628694026*^9, 3.740985744338359*^9,
870 3.740986051768338*^9},ExpressionUUID->"a7105e2b-1a73-4e89-b07a-\
871ce50c68fc160"]
872}, Open ]],
873
874Cell[BoxData[
875 RowBox[{"{",
876 RowBox[{"{",
877 RowBox[{
878 RowBox[{"{",
879 RowBox[{
880 RowBox[{"{",
881 RowBox[{
882 OverscriptBox["t", "\<\"-\"\>"], ",", "1"}], "}"}], ",",
883 RowBox[{"{",
884 RowBox[{"t", ",", "2"}], "}"}], ",",
885 RowBox[{"{",
886 RowBox[{"v1", ",", "3"}], "}"}]}], "}"}], ",",
887 RowBox[{
888 RowBox[{"\[ImaginaryI]", " ",
889 SubscriptBox["C", "t1"], " ",
890 RowBox[{"Cos", "[",
891 SubscriptBox["\[Theta]", "1"], "]"}], " ",
892 SubscriptBox["\[Delta]",
893 RowBox[{
894 SubscriptBox["\<\"m\"\>", "1"], ",",
895 SubscriptBox["\<\"m\"\>", "2"]}]], " ",
896 SubscriptBox[
897 RowBox[{
898 TemplateBox[{"\[Gamma]",SubscriptBox["\"\[Mu]\"", "3"]},
899 "Superscript"], ".",
900 SubscriptBox["P", "\<\"-\"\>"]}],
901 RowBox[{
902 SubscriptBox["\<\"s\"\>", "1"], ",",
903 SubscriptBox["\<\"s\"\>", "2"]}]]}], "+",
904 RowBox[{"\[ImaginaryI]", " ",
905 SubscriptBox["C", "t1"], " ",
906 SubscriptBox["\[Delta]",
907 RowBox[{
908 SubscriptBox["\<\"m\"\>", "1"], ",",
909 SubscriptBox["\<\"m\"\>", "2"]}]], " ",
910 RowBox[{"Sin", "[",
911 SubscriptBox["\[Theta]", "1"], "]"}], " ",
912 SubscriptBox[
913 RowBox[{
914 TemplateBox[{"\[Gamma]",SubscriptBox["\"\[Mu]\"", "3"]},
915 "Superscript"], ".",
916 SubscriptBox["P", "\<\"+\"\>"]}],
917 RowBox[{
918 SubscriptBox["\<\"s\"\>", "1"], ",",
919 SubscriptBox["\<\"s\"\>", "2"]}]]}]}]}], "}"}], "}"}]], "Output",
920 CellChangeTimes->{3.649007591171782*^9, 3.652705782286191*^9,
921 3.667491851489443*^9, 3.669113407604361*^9, 3.6727645099677963`*^9,
922 3.672765063730905*^9, 3.672765241130969*^9, 3.672765435491198*^9,
923 3.672778041925177*^9, 3.672822672043209*^9, 3.673175688472657*^9,
924 3.673881400212654*^9, 3.6756062870678043`*^9, 3.740985744439678*^9,
925 3.7409860517822533`*^9},ExpressionUUID->"c91c4e66-debf-4ceb-a2d3-\
9265190266b9308"]
927}, Open ]],
928
929Cell[CellGroupData[{
930
931Cell[BoxData[
932 RowBox[{
933 RowBox[{"vertexes", "=",
934 RowBox[{"FeynmanRules", "[", "Lv1", "]"}]}], ";"}]], "Input",
935 CellChangeTimes->{{3.6490076051090517`*^9, 3.649007640414425*^9}, {
936 3.649079007961914*^9, 3.649079008536003*^9}, {3.66749186407227*^9,
937 3.667491867349753*^9}, {3.67276452984871*^9, 3.6727645299332333`*^9}, {
938 3.672765451484128*^9, 3.6727654543625097`*^9}, {3.6731756944659033`*^9,
939 3.673175694953231*^9},
940 3.675606292280395*^9},ExpressionUUID->"ae7d9451-537a-40e3-97e0-\
9415c70eca46be1"],
942
943Cell[CellGroupData[{
944
945Cell[BoxData[
946 StyleBox["\<\"Starting Feynman rule calculation.\"\>",
947 StripOnInput->False,
948 LineColor->RGBColor[1, 0.5, 0],
949 FrontFaceColor->RGBColor[1, 0.5, 0],
950 BackFaceColor->RGBColor[1, 0.5, 0],
951 GraphicsColor->RGBColor[1, 0.5, 0],
952 FontWeight->Bold,
953 FontColor->RGBColor[1, 0.5, 0]]], "Print",
954 CellChangeTimes->{
955 3.6490082499584923`*^9, 3.649079024654687*^9, 3.649091014379156*^9,
956 3.652705790512706*^9, 3.6674918679744053`*^9, 3.669113423867724*^9,
957 3.672764530685598*^9, 3.672765116782412*^9, 3.672765251334023*^9,
958 3.672765455747913*^9, 3.672778044124208*^9, 3.6728226721673193`*^9,
959 3.673175695995907*^9, 3.673881407481183*^9, 3.6756062929793243`*^9,
960 3.7409857510428677`*^9, {3.740986023707655*^9,
961 3.740986053334502*^9}},ExpressionUUID->"2d28abac-fa46-4ff7-a1a3-\
962326799043523"],
963
964Cell[BoxData["\<\"Expanding the Lagrangian...\"\>"], "Print",
965 CellChangeTimes->{
966 3.6490082499584923`*^9, 3.649079024654687*^9, 3.649091014379156*^9,
967 3.652705790512706*^9, 3.6674918679744053`*^9, 3.669113423867724*^9,
968 3.672764530685598*^9, 3.672765116782412*^9, 3.672765251334023*^9,
969 3.672765455747913*^9, 3.672778044124208*^9, 3.6728226721673193`*^9,
970 3.673175695995907*^9, 3.673881407481183*^9, 3.6756062929793243`*^9,
971 3.7409857510428677`*^9, {3.740986023707655*^9,
972 3.740986053344449*^9}},ExpressionUUID->"f0a10ef7-7ac7-483c-b814-\
973c2c38227f22d"],
974
975Cell[BoxData["\<\"Collecting the different structures that enter the \
976vertex.\"\>"], "Print",
977 CellChangeTimes->{
978 3.6490082499584923`*^9, 3.649079024654687*^9, 3.649091014379156*^9,
979 3.652705790512706*^9, 3.6674918679744053`*^9, 3.669113423867724*^9,
980 3.672764530685598*^9, 3.672765116782412*^9, 3.672765251334023*^9,
981 3.672765455747913*^9, 3.672778044124208*^9, 3.6728226721673193`*^9,
982 3.673175695995907*^9, 3.673881407481183*^9, 3.6756062929793243`*^9,
983 3.7409857510428677`*^9, {3.740986023707655*^9,
984 3.74098605335422*^9}},ExpressionUUID->"235e569b-5470-4498-9f1a-\
9852b8df0de1554"],
986
987Cell[BoxData[
988 InterpretationBox[
989 RowBox[{
990 "1", "\[InvisibleSpace]", "\<\" possible non-zero vertices have been found \
991-> starting the computation: \"\>", "\[InvisibleSpace]",
992 DynamicBox[ToBoxes[FeynRules`FR$FeynmanRules, StandardForm],
993 ImageSizeCache->{7., {0., 8.}}], "\[InvisibleSpace]", "\<\" / \"\>",
994 "\[InvisibleSpace]", "1", "\[InvisibleSpace]", "\<\".\"\>"}],
995 SequenceForm[
996 1, " possible non-zero vertices have been found -> starting the \
997computation: ",
998 Dynamic[FeynRules`FR$FeynmanRules], " / ", 1, "."],
999 Editable->False]], "Print",
1000 CellChangeTimes->{
1001 3.6490082499584923`*^9, 3.649079024654687*^9, 3.649091014379156*^9,
1002 3.652705790512706*^9, 3.6674918679744053`*^9, 3.669113423867724*^9,
1003 3.672764530685598*^9, 3.672765116782412*^9, 3.672765251334023*^9,
1004 3.672765455747913*^9, 3.672778044124208*^9, 3.6728226721673193`*^9,
1005 3.673175695995907*^9, 3.673881407481183*^9, 3.6756062929793243`*^9,
1006 3.7409857510428677`*^9, {3.740986023707655*^9,
1007 3.740986053364599*^9}},ExpressionUUID->"5df597bb-732c-43d9-94b7-\
100818f17c64ee99"],
1009
1010Cell[BoxData["\<\"1 vertex obtained.\"\>"], "Print",
1011 CellChangeTimes->{
1012 3.6490082499584923`*^9, 3.649079024654687*^9, 3.649091014379156*^9,
1013 3.652705790512706*^9, 3.6674918679744053`*^9, 3.669113423867724*^9,
1014 3.672764530685598*^9, 3.672765116782412*^9, 3.672765251334023*^9,
1015 3.672765455747913*^9, 3.672778044124208*^9, 3.6728226721673193`*^9,
1016 3.673175695995907*^9, 3.673881407481183*^9, 3.6756062929793243`*^9,
1017 3.7409857510428677`*^9, {3.740986023707655*^9,
1018 3.7409860533747377`*^9}},ExpressionUUID->"6640a85a-3c0c-421f-8f12-\
101946a83d8d1ac3"]
1020}, Open ]]
1021}, Open ]],
1022
1023Cell[CellGroupData[{
1024
1025Cell[BoxData[
1026 RowBox[{"decays", "=",
1027 RowBox[{"ComputeWidths", "[", "vertexes", "]"}]}]], "Input",
1028 CellChangeTimes->{{3.649007654243157*^9,
1029 3.649007667006296*^9}},ExpressionUUID->"3e297325-bb4f-4017-a537-\
1030c138f6f2e251"],
1031
1032Cell[CellGroupData[{
1033
1034Cell[BoxData[
1035 InterpretationBox[
1036 RowBox[{"\<\"Flavor expansion of the vertices: \"\>", "\[InvisibleSpace]",
1037 DynamicBox[ToBoxes[FeynRules`FR$Count1, StandardForm],
1038 ImageSizeCache->{14., {0., 8.}}], "\[InvisibleSpace]", "\<\" / \"\>",
1039 "\[InvisibleSpace]", "1"}],
1040 SequenceForm["Flavor expansion of the vertices: ",
1041 Dynamic[FeynRules`FR$Count1], " / ", 1],
1042 Editable->False]], "Print",
1043 CellChangeTimes->{
1044 3.649007667872319*^9, 3.649008252619555*^9, 3.649079029355054*^9,
1045 3.649091018699396*^9, 3.6527057954499807`*^9, 3.6674918813898287`*^9, {
1046 3.667492489965334*^9, 3.667492510263709*^9}, 3.669113425719366*^9,
1047 3.672764538062931*^9, 3.672765118885231*^9, 3.672765253070011*^9,
1048 3.672765459457488*^9, 3.672778048086872*^9, 3.672822675864388*^9,
1049 3.6731757144200068`*^9, 3.673881410446287*^9, 3.6756062988173313`*^9,
1050 3.740985753399325*^9, {3.740986018741704*^9, 3.740986025486402*^9},
1051 3.740986055659212*^9},ExpressionUUID->"791ce2e8-05f0-47ae-9403-\
10525f9115cddc16"],
1053
1054Cell[BoxData[
1055 StyleBox["\<\"Computing the squared matrix elements relevant for the 1->2 \
1056decays: \"\>",
1057 StripOnInput->False,
1058 LineColor->RGBColor[1, 0.5, 0],
1059 FrontFaceColor->RGBColor[1, 0.5, 0],
1060 BackFaceColor->RGBColor[1, 0.5, 0],
1061 GraphicsColor->RGBColor[1, 0.5, 0],
1062 FontWeight->Bold,
1063 FontColor->RGBColor[1, 0.5, 0]]], "Print",
1064 CellChangeTimes->{
1065 3.649007667872319*^9, 3.649008252619555*^9, 3.649079029355054*^9,
1066 3.649091018699396*^9, 3.6527057954499807`*^9, 3.6674918813898287`*^9, {
1067 3.667492489965334*^9, 3.667492510263709*^9}, 3.669113425719366*^9,
1068 3.672764538062931*^9, 3.672765118885231*^9, 3.672765253070011*^9,
1069 3.672765459457488*^9, 3.672778048086872*^9, 3.672822675864388*^9,
1070 3.6731757144200068`*^9, 3.673881410446287*^9, 3.6756062988173313`*^9,
1071 3.740985753399325*^9, {3.740986018741704*^9, 3.740986025486402*^9},
1072 3.740986055693122*^9},ExpressionUUID->"71984a10-f11d-4cf2-935d-\
1073d8f94ad62873"],
1074
1075Cell[BoxData[
1076 InterpretationBox[
1077 RowBox[{
1078 DynamicBox[ToBoxes[FeynRules`FR$DecayCounter, StandardForm],
1079 ImageSizeCache->{14., {0., 8.}}], "\[InvisibleSpace]", "\<\" / \"\>",
1080 "\[InvisibleSpace]", "1"}],
1081 SequenceForm[
1082 Dynamic[FeynRules`FR$DecayCounter], " / ", 1],
1083 Editable->False]], "Print",
1084 CellChangeTimes->{
1085 3.649007667872319*^9, 3.649008252619555*^9, 3.649079029355054*^9,
1086 3.649091018699396*^9, 3.6527057954499807`*^9, 3.6674918813898287`*^9, {
1087 3.667492489965334*^9, 3.667492510263709*^9}, 3.669113425719366*^9,
1088 3.672764538062931*^9, 3.672765118885231*^9, 3.672765253070011*^9,
1089 3.672765459457488*^9, 3.672778048086872*^9, 3.672822675864388*^9,
1090 3.6731757144200068`*^9, 3.673881410446287*^9, 3.6756062988173313`*^9,
1091 3.740985753399325*^9, {3.740986018741704*^9, 3.740986025486402*^9},
1092 3.740986055704536*^9},ExpressionUUID->"0e51bde3-8115-4873-8ec1-\
10937d87d51eaf2f"]
1094}, Open ]],
1095
1096Cell[BoxData[
1097 RowBox[{"{",
1098 RowBox[{"{",
1099 RowBox[{
1100 RowBox[{"{",
1101 RowBox[{"v1", ",", "t", ",",
1102 OverscriptBox["t", "\<\"-\"\>"]}], "}"}], ",",
1103 FractionBox[
1104 RowBox[{
1105 SubsuperscriptBox["C", "t1", "2"], " ",
1106 SqrtBox[
1107 RowBox[{
1108 RowBox[{
1109 RowBox[{"-", "4"}], " ",
1110 SuperscriptBox["MT", "2"], " ",
1111 SuperscriptBox["Mv1", "2"]}], "+",
1112 SuperscriptBox["Mv1", "4"]}]], " ",
1113 RowBox[{"(",
1114 RowBox[{
1115 RowBox[{"-",
1116 SuperscriptBox["MT", "2"]}], "+",
1117 SuperscriptBox["Mv1", "2"], "+",
1118 RowBox[{"3", " ",
1119 SuperscriptBox["MT", "2"], " ",
1120 RowBox[{"Sin", "[",
1121 RowBox[{"2", " ",
1122 SubscriptBox["\[Theta]", "1"]}], "]"}]}]}], ")"}]}],
1123 RowBox[{"8", " ", "\[Pi]", " ",
1124 SuperscriptBox[
1125 RowBox[{"Abs", "[", "Mv1", "]"}], "3"]}]]}], "}"}], "}"}]], "Output",
1126 CellChangeTimes->{
1127 3.667491881487854*^9, {3.667492490029159*^9, 3.667492510316111*^9},
1128 3.6691134259028997`*^9, 3.672764538167389*^9, 3.672765119052307*^9,
1129 3.672765253187193*^9, 3.672765459686406*^9, 3.672778048348898*^9,
1130 3.672822676132321*^9, 3.673175714548808*^9, 3.673881410557761*^9,
1131 3.6756062989970303`*^9, 3.7409857535199137`*^9, {3.7409860188432503`*^9,
1132 3.740986025592284*^9},
1133 3.740986055759667*^9},ExpressionUUID->"44ccb184-70fa-497b-862d-\
1134bb95f069740f"]
1135}, Open ]],
1136
1137Cell[TextData[StyleBox["Eq.(2.2) in arXiv:1604.07421",
1138 FontWeight->"Bold",
1139 FontColor->RGBColor[1, 0, 0]]], "Text",
1140 CellChangeTimes->{{3.7409866048447313`*^9,
1141 3.7409866145251713`*^9}},ExpressionUUID->"749014d9-cf45-49ab-af20-\
114241d0854d3d8e"],
1143
1144Cell[CellGroupData[{
1145
1146Cell[BoxData[
1147 RowBox[{"width", "=",
1148 RowBox[{"decays", "[",
1149 RowBox[{"[",
1150 RowBox[{"1", ",", "2"}], "]"}], "]"}]}]], "Input",
1151 CellChangeTimes->{{3.6674924998447943`*^9, 3.66749250172573*^9}, {
1152 3.740986013636043*^9, 3.740986014299575*^9}, {3.7409860600446863`*^9,
1153 3.740986072641944*^9}},ExpressionUUID->"84471270-b49a-4e84-a93f-\
11549b35059d5eb6"],
1155
1156Cell[BoxData[
1157 FractionBox[
1158 RowBox[{
1159 SubsuperscriptBox["C", "t1", "2"], " ",
1160 SqrtBox[
1161 RowBox[{
1162 RowBox[{
1163 RowBox[{"-", "4"}], " ",
1164 SuperscriptBox["MT", "2"], " ",
1165 SuperscriptBox["Mv1", "2"]}], "+",
1166 SuperscriptBox["Mv1", "4"]}]], " ",
1167 RowBox[{"(",
1168 RowBox[{
1169 RowBox[{"-",
1170 SuperscriptBox["MT", "2"]}], "+",
1171 SuperscriptBox["Mv1", "2"], "+",
1172 RowBox[{"3", " ",
1173 SuperscriptBox["MT", "2"], " ",
1174 RowBox[{"Sin", "[",
1175 RowBox[{"2", " ",
1176 SubscriptBox["\[Theta]", "1"]}], "]"}]}]}], ")"}]}],
1177 RowBox[{"8", " ", "\[Pi]", " ",
1178 SuperscriptBox[
1179 RowBox[{"Abs", "[", "Mv1", "]"}], "3"]}]]], "Output",
1180 CellChangeTimes->{{3.6674924838870173`*^9, 3.667492515533375*^9},
1181 3.673175740723462*^9, 3.675606306134489*^9, 3.7409857584072733`*^9,
1182 3.740986014721623*^9, {3.740986060574749*^9,
1183 3.740986073372387*^9}},ExpressionUUID->"36e1489d-1055-4482-8c2a-\
1184b10a706a02ff"]
1185}, Open ]],
1186
1187Cell[TextData[StyleBox["Numerical value",
1188 FontWeight->"Bold",
1189 FontColor->RGBColor[1, 0, 0]]], "Text",
1190 CellChangeTimes->{{3.7409866048447313`*^9,
1191 3.74098664541048*^9}},ExpressionUUID->"163c73c4-af94-4249-9f6d-\
1192004cdafad0b9"],
1193
1194Cell[CellGroupData[{
1195
1196Cell[BoxData[
1197 RowBox[{"width", "/.",
1198 RowBox[{"{",
1199 RowBox[{
1200 RowBox[{"ct1", "\[Rule]", " ", "1.0"}], ",",
1201 RowBox[{
1202 FormBox["Mv1",
1203 TraditionalForm], "\[Rule]", " ", "1000"}], ",",
1204 RowBox[{
1205 FormBox["MT",
1206 TraditionalForm], "\[Rule]", " ", "172"}], ",",
1207 RowBox[{"theta1", "\[Rule]", " ",
1208 RowBox[{"\[Pi]", "/", "2"}]}]}], "}"}]}]], "Input",
1209 CellChangeTimes->{{3.667492345267787*^9, 3.667492467862061*^9}, {
1210 3.667492519747223*^9, 3.667492523573892*^9}, {3.7409857646428556`*^9,
1211 3.7409857648101597`*^9}},ExpressionUUID->"f027b521-66dd-4400-8b53-\
1212a4d1d5446d43"],
1213
1214Cell[BoxData["36.25514470192431`"], "Output",
1215 CellChangeTimes->{3.649007668396553*^9, 3.6490082529700327`*^9,
1216 3.649079030103982*^9, 3.649091019597814*^9, 3.65270579611791*^9,
1217 3.667492370205737*^9, 3.667492469805489*^9, 3.667492524582057*^9,
1218 3.740985766959201*^9},ExpressionUUID->"09b0a6f4-daab-4861-a330-\
1219226d6e2adfea"]
1220}, Open ]],
1221
1222Cell[TextData[StyleBox["I checked this value with the numerical result of \
1223MadGraph, i.e. simply typing\n \[OpenCurlyDoubleQuote]set param_card Wv1 Auto\
1224\[CloseCurlyDoubleQuote].\n ",
1225 FontWeight->"Bold",
1226 FontColor->RGBColor[1, 0, 0]]], "Text",
1227 CellChangeTimes->{{3.740986735058714*^9,
1228 3.740986856156866*^9}},ExpressionUUID->"7c647911-84e5-482d-8c4d-\
1229973d8011026f"]
1230}, Open ]]
1231}, Open ]],
1232
1233Cell[CellGroupData[{
1234
1235Cell["Writing UFO", "Section",
1236 CellChangeTimes->{{3.6756062445581427`*^9,
1237 3.6756062513742332`*^9}},ExpressionUUID->"2c5ac4fc-05bc-4cee-af9c-\
1238983f2b88ca76"],
1239
1240Cell[CellGroupData[{
1241
1242Cell[BoxData[
1243 RowBox[{"Timing", "[",
1244 RowBox[{"WriteUFO", "[",
1245 RowBox[{"LSM", ",", "Lv1"}], "]"}], "]"}]], "Input",
1246 CellChangeTimes->{{3.573734532526009*^9, 3.5737345482721024`*^9}, {
1247 3.573879369501131*^9, 3.5738793702602386`*^9}, {3.578315571404697*^9,
1248 3.578315576024173*^9}, {3.591483721426413*^9, 3.591483726434258*^9},
1249 3.592218676777197*^9, {3.644795071205782*^9, 3.644795102145712*^9}, {
1250 3.644796936865158*^9, 3.64479695694236*^9}, {3.6756063882931423`*^9,
1251 3.6756063924311666`*^9}},ExpressionUUID->"13b25c41-890d-4c26-a7ef-\
1252d58263aa84b2"],
1253
1254Cell[CellGroupData[{
1255
1256Cell[BoxData["\<\" --- Universal FeynRules Output (UFO) v 1.1 ---\"\>"], \
1257"Print",
1258 CellChangeTimes->CompressedData["
12591:eJwV0WtI02EYBfClYMzCrFw6M21tZS2rbc41t7Z6yy8uobA5Nm94aaNEawna
1260IHWglC4oSzTNRcgizVhYQ9QszFu2pmlaRtbUmlPoP3OBYsFKep4Ph9/HA+ew
1261ci4ma9fRaDQ1RJiRmW5posiQTHMptJUi84FX8sJArrCqeT/od76UHgMalPXS
1262g2D4ZU4RKihPMvJAMTvIhxbfDdvOBxsDu0SoTTFWgEYQbyX6WadcRJnPlXQB
1263WGWIl6O3vZoa1CLOakNdtT1nYsG0E0IDuvK1w4SmRm2yoY+zA36iEeaQ2Tgw
1264qLBCIALNCk4SOqd/nY922D9VoyzNu/eo8nrAlsNgUt+yCXV3qyfF4GrtQ/94
1265ULe4uQatWH+IIcOeUr1CDko00050oyTXjc7s5NOOgcZTkWa0d9CRnQ6e9R0t
1266QK8WeMWnrbDPykAyWnhuRIeKptj1aHtuYg8a3s+YQI3bZHPoU1W1VgkG71n9
1267gDoSbKEpYELWgzh0X11Ln6yXIk1/tcPokdjirleg4fu4vBfk942XoOpIeiNa
12683j3lRBtsN2V2MHprit9bcEi/yEUZEp0LlbcX8UbBOyfZxUvgn90yrqgffuBt
1269eCkFOcfNjs4BivDkP8qGwdSFDBd7kCJrpi++RPBJiI4f+oYiUfdvMEs+UsQ+
1270ei+TO0mRvcGPDkjBb26HzwmqfvlipkEvd9dS8wxFrv025beA1gvWTne0h4yz
1271xnbMg5XCZf8FsEzV0Naa4yH/pl6402Y95JlnxZIO5tWtjaDMW2QiE/wPF3Zw
1272xw==
1273 "],ExpressionUUID->"00ca5c88-c8b5-414b-9e30-2a2569f083b0"],
1274
1275Cell[BoxData[
1276 StyleBox["\<\"Starting Feynman rule calculation.\"\>",
1277 StripOnInput->False,
1278 LineColor->RGBColor[1, 0.5, 0],
1279 FrontFaceColor->RGBColor[1, 0.5, 0],
1280 BackFaceColor->RGBColor[1, 0.5, 0],
1281 GraphicsColor->RGBColor[1, 0.5, 0],
1282 FontWeight->Bold,
1283 FontColor->RGBColor[1, 0.5, 0]]], "Print",
1284 CellChangeTimes->CompressedData["
12851:eJwV0WtI02EYBfClYMzCrDQvmba2spbVNuea2lZv2gdNKGyOTad4aaPE1RK0
1286QepIKV1QkmiaixAjzVhYQ9QsbF6yNU3TMlpNLZ1C/y0XOCxYSc/z4fD7eOAc
1287Rv7FdOU6Go0mg/CzcxStLRQZEckvhXRQZNH/SmEoyObXtO0Hfc6X02NAraQx
12888SAYfplVgvIq03QcUMgM8KKld0O3c8Fm/14BakqdUKMRxF2NflZJXGjYcwmd
1289B9Zo48Xobbe8Dm0V5nai8/X9Z2LBrCS+FvV87dajmVGbTOjjPL+faIQhaC4O
1290DCiu4glAQyorDV3QvC5Cuy2falGG/N17VHLDb8thMG1gRY86+mTTQnC1/qFv
1291PKhyba5Dq9YfChZhT7kmVQwmyGfs6MaEAgc6u5NLOwbqTkUaUPOwNU8BnvUe
1292VaPX1G7haSPs4xlKR4vPjalQgY3ZiHYVpPSj4YPBU6hum2gBfSqtVUrAwD2r
1293H1BrsikkA0zOfRCH7mtoHxCZKdLyVzmKHokt7X0Far9Pis0gd2CyDJVF0pvR
1294yj6bHW0y3RJZwOitGT5vwRGNi40GJ6jmUXFXCWccvHOSWboM/tktYgsG4QfO
1295hpeJIOu4wdozRBGO+EfFKJi5lD3PHKbImv6LNwV8EqTihryhSNT9m2FlHyli
1296Gb+Xw56myN7ARwcSwW8Oq9cOSn95Y2ZAN3vXctssRa7/1he1g8YLxh5HtJNM
1297MiZ2LILV/BXfJbBC2tTZke8k/2wvHFlzTvLM6WlVgIUNa2PoVe6JqRzwPxg1
1298cNQ=
1299 "],ExpressionUUID->"63a5eefb-eb7d-4973-9ee6-f9b2aaf4b1df"],
1300
1301Cell[BoxData["\<\"Expanding the Lagrangian...\"\>"], "Print",
1302 CellChangeTimes->CompressedData["
13031:eJwV0WtI02EYBfClYMzCrFxTM81mWctqm3PN2VZv2QfXoLA5Ni/DS44SLRO0
1304QepAKV1QkmiaixAjbbGwhqhZ2LxkNk3TMlpNrTmF/lsucFiwkp7nw+H38cA5
13050bmXUvPX0Wg0JYSfpc5sa6XIiFh1mWmkyGLg1YJQkM2vbd8P+l2ooMeBWnlT
13060kEw/EpMKcqrkuk4oJAV5EPL7oZu54Itgb0C1CydLEIjiKcG/ayRu9Gw53I6
1307D6zVJkrQ2x5VPdomzO5EHQ39Z+PBjBN8Ler92q1H06M2mdHHOQE/0QhDyHwC
1308GFRSzROABmmMDF0ofl2Ido9+qkOjVe/eo/IbAVsOg7KBFT3q7FPOCMHVhof+
1309iaDGvbkerV5/iCHGnopiqQQUqWbt6EZRnhOd28mlHQN1pyMNqGXYmpMJnvMd
1310LUKvFXmEZ0ywj3coFS05P65BBTZWE9qVl9KPhg8yplHdNvEC+lRRly8Hg/es
1311fkCtyWZmGpic/SAB3dfYMSC2UKT1b/4YeiS+rPcVqP0+JbGA3IGpclQZSW9B
1312q/psdrTZfEs8CsZuTfN7C44Uu9koQ6RxoJKuUs4EeOcUq2wZ/LNbzBYMwg+c
1313DS+TwJjjBmvPEEU4kh+VY2D6UpaDNUyRNf0XXwr4JETDZb6hSNT9m2HlHyky
1314OnFPzZ6hyN7gRweSwG9Oq88OKn754mZBD3vXcvscRa7/1hd2gKaLph5nrItM
1315RU/uWARr+Cv+S2ClornTmOsi/2wvnBnzLvLM5W3LBAsa18bREuPJaTX4HxsF
1316cT0=
1317 "],ExpressionUUID->"7b52a900-f33c-4126-a07b-65584a4b4191"],
1318
1319Cell[BoxData[
1320 InterpretationBox[
1321 RowBox[{"\<\"Expanding the indices over \"\>", "\[InvisibleSpace]", "4",
1322 "\[InvisibleSpace]", "\<\" cores\"\>"}],
1323 SequenceForm["Expanding the indices over ", 4, " cores"],
1324 Editable->False]], "Print",
1325 CellChangeTimes->CompressedData["
13261:eJwV0WtI02EYBfClYGhhVi4vmWazrGW1zbnm1lZvSeAaFDZl8zK8tFHiygRt
1327kDpQSheUJJrmImSRZiysIWoWNi/ZmqbNMlpNLZ1C/y0XKBaspOf5cPh9PHBO
1328bP6lNNU6Go0mh3BzlNnGVoqMiBSXwzooshB0tTAcZHJr2/aDfhcqAhNAraxJ
1329eBCMvBJXinKqpDoWyGcE+9Cyu+Hb2WBLUC8PNUsmNGgU8dagn9UyDxrxXBbI
1330AWu1yWL0tldRjxr5uZ3oXEP/2UQw6wRXi6587dajmTGbzOjjvICfaJQhdDYJ
1331DC6p5vBAgyROis4Xvy5Cu62f6tBYxbv3qOxGwJbDoHRgWY+6+uRTfHC14aF/
1332Mqj2bK5Hq9cfoouwp6JYIgYFimknulFQ4EJndrJpx0Dd6WgDahm25WWD53xH
1333Neg1jZd/xgT7rAyloSXnx9Qoz8FoQrsKUvvRyEH6JKrbJppHn2bUqWRgyJ7V
1334D6gtxRyWDqbkPkhC9zW2D4gsFGn9qxpFjySW9b4Ctd/tYgvIHrCXo/LowBa0
1335qs/hRJvNt0RWMH5rut9bcKTYw0TpAvUcKu4qZY2Dd04xypbAP7tFTN4g/MDa
13368FIIxh032HqGKMIS/6gcBTMXc+YYwxRZ03/xpYJPQtXssDcUibl/M6L8I0Ws
13374/eUzCmK7A15dEAIfnPZfE4w45cvYRr0Mncttc1Q5PpvfVE7aLpo6nHFu4k9
1338dmLHAljDXfZfBCszmjs78t3kn+OFK2vWTZ65V4zZYGHj2hjq4Z6cVIL/ARuo
1339cUM=
1340 "],ExpressionUUID->"d6557ab2-fca0-4bd8-9f64-2fa20264b705"],
1341
1342Cell[BoxData["\<\"Collecting the different structures that enter the \
1343vertex.\"\>"], "Print",
1344 CellChangeTimes->CompressedData["
13451:eJwV0WtI02EYBfClYMzCrNSpmba2spbVpnNN11Zv+cU1KGyK0zm8tFGiZYJr
1346kBdQSheUJJqXRcgkzVhYQ9QszFu2pmmzjCwvNafQf8sFDgtW0vN8OPw+HjiH
1347mXslRb2JRqOlQ/hZKqWxlSJjYsVVRidFlv2v54eCHH5N+yHQ51IZPQbUyRtF
1348R8Dwa+wSNLZSVsEFhawAL6ptDt3FA1v8+wSoWTpViEYQdzX6WSN3oWHP5fRY
1349sEaXIEHvuhV1qFGY3YXa6wfOx4GZp/k61PO1R49mRG0zo49z/H6iEYagxXgw
1350oLgqVgAapGwZulT0ugDtsXyqRZmKd+9R+S2/HcdA2dCaHnX0p88IwfX6h74J
1351oMa1vQ6t2nw0WIw9ZUVSCZiomJ9DtybmOdCFPTzaSbDibKQBHRy15ijBC94T
1352heiNQrfwnAn28YykoMUXJzSoYJbViHbnJQ+g4cPB02hFiHgJfZpWq5aDgfvX
1353P6DWJDMjFUzKbotHDzZ0DIkHKdL6Vz2OHo/T9r0Cdd9tkkGQN2QrRdMj6S1o
1354Zf/sHNpkviO2gNE7U33egmNFLg4anKixo5LuEu4keO8MS7sK/tkn5giG4Qfu
1355lpcikH3KYO0doQhX8qN8HMxYybKzRimyof/iTQafBGl4jDcUiXpwO6z0I0Us
1356k/dVnBmKHAh8dFgEfnNYvXNg2i9vzDzo5uxdbV+gyM3f+oIO0HTZ1OuIdhIb
1357c2r3MljNX/NdAcvTmro6c53k3+wLR+aikzxzeoxKML9hYwINaW6bVoH/ARnp
1358cS8=
1359 "],ExpressionUUID->"641a66d4-7766-49c4-8273-8c1ea2da3cd2"],
1360
1361Cell[BoxData[
1362 InterpretationBox[
1363 RowBox[{
1364 "27", "\[InvisibleSpace]", "\<\" possible non-zero vertices have been found \
1365-> starting the computation: \"\>", "\[InvisibleSpace]",
1366 DynamicBox[ToBoxes[FeynRules`FR$FeynmanRules, StandardForm],
1367 ImageSizeCache->{7., {0., 8.}}], "\[InvisibleSpace]", "\<\" / \"\>",
1368 "\[InvisibleSpace]", "27", "\[InvisibleSpace]", "\<\".\"\>"}],
1369 SequenceForm[
1370 27, " possible non-zero vertices have been found -> starting the \
1371computation: ",
1372 Dynamic[FeynRules`FR$FeynmanRules], " / ", 27, "."],
1373 Editable->False]], "Print",
1374 CellChangeTimes->CompressedData["
13751:eJwV0WtI02EYBfClYGhhVpqXTFtbWctqm3PNra3eEsI1KGyK8zK8tFHiygTX
1376IHWglC4oSTQvi5CFmrGwhqhZmFOzNU2bZWR5KZ1C/5kLHBaspOf5cPh9PHAO
1377PfdKsmoDjUZLg/CylJmmZooMixVXQ9spshhwPT8MZPGqWg+CPpdK/WNBnbxe
1378dBiMuMYsRrnlMj0bFDACvai2MWwnB2wK6OGjFum4Bo0k7kr0s1q+jIY/l/tz
1379wSpdggS961bUoCZBdgc6X9t3Pg7MOMXToZ6vXQY0PXqLBX2c4/cTjTQGz8WD
1380gUUVXD5olDJl6ELh6wK0y/apGqUr3r1H5bf8th0FZdZVA+rsTZsUgGu1Lb4J
1381oHp5aw1asfFIiBh7SgulElComJlGNwvznOjsbg7tBKg/G2VE+4fsOZngBe9x
1382DXpD4xacM8M+nsFktOjiqBrlTzHq0c68pD40YiBkAtXvEC+gT1OrVXIwaN/a
1383B9SeaAlNAROzH8ajB+rarOJ+ijT/VY2gx+K0Pa9A3XeHpB/kWB0laFqUfxNa
13843js1jTZY7ohtYMz2FJ+34HDhMgsNEarnUUlnMXsMvHeGoV0B/+wVs/gD8AN7
138500sRyDxptHcPUoQt+VE2AqYvZc0zhiiybvjiTQKfBKs5oW8oEv3gdnjJR4rY
1386xu4rWZMU2R/06JAI/Oa0e6fB1F/e2BnQzdqz0jpLkZu/DQVtoPmyudsZ4yIO
1387+viuRbCSt+q7BJalNnS057rIv6kXzow5F3nm8pgywfy69VG093TLhBL8DxzX
1388cYM=
1389 "],ExpressionUUID->"a91dcea0-4ae5-40a0-a5ce-ffd30be1452c"],
1390
1391Cell[BoxData[
1392 InterpretationBox[
1393 RowBox[{"25", "\[InvisibleSpace]", "\<\" vertices obtained.\"\>"}],
1394 SequenceForm[25, " vertices obtained."],
1395 Editable->False]], "Print",
1396 CellChangeTimes->CompressedData["
13971:eJwV0V1I02EYBfClYGhhVi4/Ms1mWctq07nmbKu3vNFGhc2x6Rx+tFHiagmu
1398QepAKV1QkmiaixBDzVhYQ9QsbFMzm6ZpWa2mlk6h/8wFDgtW0vNcHH6XB86J
1399zruUrlxHo9GkEE62Qt7cRJEhgexySDtFFgKuFoSCTE5V637Q50KpfxyoE9cn
1400HwTDr8QUo/HlIj0L5DECvaj2buh2NtgY0MNFzWnjajSCuCvRzyrxEhr2TOwf
1401D1bpkoTobbesBm3m5XSgc7V9ZxPArBMcHer52mVAM6M2mdFHuX4/0Qhj8Gwi
1402GFhUEc8FjWkxInRe86oQ7Rr+WI1Gy96+Q8U3/LYcBkXWFQPq7JVO8cDV2hbf
1403JFC1tLkGrVh/iC7AnlJNmhDky6Yd6EZ+vhOd2cmmHQP1pyONqGXQlisHz3mP
1404qtFrajfvjAn28Qyko0XnR1Uo186oRzvzU/vQ8H76JKrfJphHn0iqlWIwaM/q
1405e9SWYg7JAFNyHiSi++rarAILRZr+KkfQIwnanpeg7vuE0AKyrRMlqDTSvxEt
140677U70AbzLcEwGLs1w+cNOKRZYqJ0vmoOFXYWs8bAOycZ2mXwz24Bk9sPP7A2
1407vEgGY44bbd0DFGEJf5SNgJmL2XOMQYqsGb54U8HHwSp2yGuKRN2/GVbygSLD
1408Y/cUzCmK7A16eCAZ/Oa0eR2g5Jc3bhp0M3ctt85Q5PpvQ2EbaLpo6nbGushE
14099PiOBbCSs+K7CJZJGjra81zkn/25M2vWRZ66PM1ysKBubRQ91fJpUgH+Bx01
1410cac=
1411 "],ExpressionUUID->"29aae52c-2717-44f5-8cab-580bf9da5c2e"],
1412
1413Cell[BoxData[
1414 StyleBox["\<\"Starting Feynman rule calculation.\"\>",
1415 StripOnInput->False,
1416 LineColor->RGBColor[1, 0.5, 0],
1417 FrontFaceColor->RGBColor[1, 0.5, 0],
1418 BackFaceColor->RGBColor[1, 0.5, 0],
1419 GraphicsColor->RGBColor[1, 0.5, 0],
1420 FontWeight->Bold,
1421 FontColor->RGBColor[1, 0.5, 0]]], "Print",
1422 CellChangeTimes->CompressedData["
14231:eJwV0WtI02EYBfClYGhhVpqXTFtbWctq07nm1lZv+UUbFDbF6RxecpRoLUEb
1424pA6U0gUlieZlEbJIMxbWEDWL5dTMpmmzrKypNafQf8sFDg1W0vN8OPw+HjiH
1425nnc5tWADjUbLgHCzFXJ9G0VGRLIroZ0UWQy4VhgGsri17QdBn4sV/rGgWtok
1426PAxGXGWWonFVEg0b5DMCvWhZS9hODtga0MdDjSmTxWgkcdegX5RSFxr+XOof
1427B9aqE8XoHbesHtXzc7pQe4PpXDyYdYqrRj3ferRoZvQWI/o41+8XGqkLnk8A
1428A0uq43igLoUpQRdUr4vQntFPdShd9u49Kr3pt+0oKDGvaFFHf8Y0H1xteOib
1429CCpdW+vR6o1HQkTYU6FKEYMC2awN3SzId6Bzuzm0E6DmTJQOHRi25MrB897j
1430xej1Yjf/rAH28QyloiUXxpUob4bRhHbnJ5vQiMGQKVSzQ7SAPk2vK5CCQftW
1431P6CWJGNoGpiU8yABPdDYYRYNUKTtb8EYeiy+rO8VqP5hFQ+AHLO1HM2I8m9F
1432q/pnbGiz8bZoFIzZnubzFhxRuVhoiEBpR8XdpewJ8O5pRtky+GeviMUbhB/Y
1433m14KQeZJnaV3iCJs8c/KMTBzKdvOGKbIuvarNxl8EqzkhL6hSPT9W+HlHyky
1434OnFPwZqmyP6gR4eE4HeHxWsD0397Y2dBN2vPcvscRW6saYs6QMMlQ68jxkms
14359Mldi2ANd8V3CaxMb+7qzHOSfzMvHFnzTvLM6dHLwcLG9XHUtPZ5SgH+ByLz
1436cmk=
1437 "],ExpressionUUID->"8e43020a-7859-4374-8b84-c51c4cef6e32"],
1438
1439Cell[BoxData["\<\"Expanding the Lagrangian...\"\>"], "Print",
1440 CellChangeTimes->CompressedData["
14411:eJwV0WtI02EYBfClYMzCrFxTM81mWctqm3NN11Zv2QdNKGwOp3N4aaPE1RJc
1442g9SBUrqgJNE0FyFGmrGwhqhZmLdsTdNmGa68lE6h/5YLFBNW0vN8OPw+Hjgn
1443MvdKqmoDjUZLh/CzlIqmRooMieVXma0UWfC/nh8MsvmVzQdBn0sl9BhQL60T
1444HQZDr0UVobyyFAMHFLICvKjufvBOLtjg3yVALcljGjSMeCrQSbXUjYa8lNJ5
1445YKU+XoLe9cir0SZhdhs6V9NzPhbMPMXXoyvfOoxoRsQWC/o0x+8XGmYKmo0D
1446AwrLeQLQlByVgs5r3xagHdYvVWik/MNHVHrLb9tRMKVv2Yg6u9MnhOBqzWPf
1447eFDt3lqNlm88whBjT4k2WQImyKen0M0JeU50ZjeXdgI0nA03ob2DthwFeMF7
1448XIPe0HiE58ywz8pAKlp4cUSNChysOrQ9L6kHDe1njKOGHeJ59LmsSiUFA/et
1449fkJtiRZmGpiY/SgOPVDb0ifupUjjX9UweixW1/UG1P+wS3pBbp+9GE0Ppzeg
1450Zd2OKbTeckdsBaO3p/m8B4e0bjbKSFDPoZL2Is4oeO8MS7cEru0VswX98ANn
145102sRGHXSZOscoAhH8rN0GMxYzJpjDVJk3fjVmwQ+C1Jzme8oEvHwdkjxZ4pY
1452Rx8o2RMU2R/45JAI/O60eadA2W9vzDToYe9Zap6hyM0/xoIW0HzZ3OmMdhF7
14535NiuBbCCv+y7CJbK6ttac13kn+OVM3PWRV64VpoUYH7t+gi6dnpyXAn+Bx/r
1454cfI=
1455 "],ExpressionUUID->"234449ec-8d77-46e8-86a8-e3943c6fb03e"],
1456
1457Cell[BoxData["\<\"Collecting the different structures that enter the \
1458vertex.\"\>"], "Print",
1459 CellChangeTimes->CompressedData["
14601:eJwV0WtI02EYBfClYMzCrLSpmbZmWctq07mmttVbfnENCptj0zm85ChxZYJr
1461kDpQShekJJrmImSRZiysIWoWNi/ZmqZpGa28lE6h/8wFDgtWo+f5cPh9PHAO
1462M+9yesEGGo0mh/CyVUpTK0VGhIorjA6KLAVeKwwD2byatoOg38Vyehyokzal
1463HAYjrsaUovGVEj0HFLCCvKj2bthOLtgS2MtHLeIJDRpJ3NXoZ7V0BQ1/LqXH
1464gzW6JBF6262oR02CnE50oaH/XAKYdYqnQz1fuw1oZvQWC/o4N+AnGmkMmU8E
1465g0qq4vmgURwjQReLXxeh3bZPdShT8e49Kr0ZsO0oKBlYM6DOPvm0AFxveOif
1466BKpXttajVRuPhAqxp7xYLAKTFbMz6ObkfCc6t5tLOwHqz0QZUeuwPVcJnvce
146716DXNW7BWTPs4xlKR0sujKlRvoPVhHblp/WjEYOhU6h+h3ARfSqrK5CCwfvW
1468P6D2VAsjA0zNeZCIHmhsHxBaKdL6t2AUPZag7X0F6r5Piqwgd2CyDJVH0VvQ
1469yj7HDNpsqRXawNjtGX5vwZHiFTYamqxeQEVdpZxx8M5plnYV/LNXyOYPwg+c
1470TS9TwJiTRnvPEEU4oh8Vo2DmcvYCa5giPsMXbxr4JETNZbyhSPT9W+FlHyli
1471G7+nYk9TZH/wo0Mp4Den3TsDyn5542ZBN3vPatscRW78NhS1g+ZL5h5nrItM
1472Mid2LYHVvDX/ZbBC1tzZkeci/xwvnFnzLvLM5TEpwcJG3xjqq3VMqcD/IiBy
1473Qg==
1474 "],ExpressionUUID->"947d5291-2e79-4300-aa13-1cea15c425e2"],
1475
1476Cell[BoxData[
1477 InterpretationBox[
1478 RowBox[{
1479 "1", "\[InvisibleSpace]", "\<\" possible non-zero vertices have been found \
1480-> starting the computation: \"\>", "\[InvisibleSpace]",
1481 DynamicBox[ToBoxes[FeynRules`FR$FeynmanRules, StandardForm],
1482 ImageSizeCache->{7., {0., 8.}}], "\[InvisibleSpace]", "\<\" / \"\>",
1483 "\[InvisibleSpace]", "1", "\[InvisibleSpace]", "\<\".\"\>"}],
1484 SequenceForm[
1485 1, " possible non-zero vertices have been found -> starting the \
1486computation: ",
1487 Dynamic[FeynRules`FR$FeynmanRules], " / ", 1, "."],
1488 Editable->False]], "Print",
1489 CellChangeTimes->CompressedData["
14901:eJwV0WtI02EYBfClYMzCrLSpmWZbWctqm3NN11Zv+UUbFDbH5g0vbZS4WoI2
1491yAsopQtKEs3LImSRZiysIWoWtqnZmqbNMlp5KZ1C/5kLHBaspOf5cPh9PHBO
1492TP7lNNUGGo2mgPCzc7KMbRQZESuvMDopshh4rTAMZPNr2w+CfhfL6XGgTtYk
1493OgxGXGWVoLwqaSUHFDKDfGhpS9hOLtga2CdAzakTGjSSeGrQz2rZMhr+XEbn
1494gbW6RAl6x6OsR43C3C50vmHgXDyYeYqvQ71fe/RoRvQWM/o4L+AnGmkImUsA
1495g4qreQLQkMqSogva10Voj+1THRqjfPceld0M2HYUlFpX9airXzElBNcaHvon
1496gurlrfVo9cYjoWLsKdemSsAk5cw0ujmpwIXO7ubSToCVZ6IMqGXYnpcFnvcd
149716DXNR7hWRPs4x1KQ4svjKlRgZPZhHYXpAygEYOhk2jlDvEC+lRep5KBwfvW
1498PqD2ZDMjHUzOfZCAHmjssIotFGn7qxpFj8WX9r0Cdd8dEgvItTrKUEUUvRWt
14996ndOo83m22IbGLs93e8tOKJdZqOhSep5VNJdwhkH755mlq6Af/aK2YJB+IGz
15006aUIZJ002HuHKMKR/KgYBTOWsueZwxRZ13/xpYBPQtRcxhuKRN+/FV72kSK2
15018Xs57CmK7A9+dEgEfnPZfdOg/Jcvbgb0sPestM9S5MZvfVEHaLpk6nXFuokj
1502ZmLXIljDX/VfAivkzV2d+W7yz/nClTnnJs/cXmMWWNi4PoZWuZyTOeB/IJpy
1503HA==
1504 "],ExpressionUUID->"439f8ebf-c030-473d-af0f-7afa5c877ae0"],
1505
1506Cell[BoxData["\<\"1 vertex obtained.\"\>"], "Print",
1507 CellChangeTimes->CompressedData["
15081:eJwV0WtI02EYBfClYGhhVi4vmba2spblpnPNra3e8os2KGwO5w0vbZS4WoJr
1509kDpQSheUJJrmJGSRZiysIWoW5i2zadoso9nU0in033KBYsFKep4Ph9/HA+cw
15108q+kKjfRaLR0CC87J8vUQpERseJqSDtFlgKuF4aCbF5162HQ51KZfwyokzWI
1511joLh11glaFyFVM8BBcxAL6q9H7qbCzYF9PBRS8qkGo0gnir0i0rmRsNeyPzj
1512wGpdogS961HUoiZBbge6UNd3Ph7MPM3ToWtfuwxoRtQ2C/okz+8nGmEMnk8A
1513A4sr4/igMYUlRRc1b4rQrtHPNShD8f4DKrvlt+MYKB1YNaDO3vRpAbhe98g3
1514EVS5t9eilZtj6WLsKdOkSEChYtaBbhUWONG5vVzaSVB/NtKI9g9b87LAC94T
1515avSG2iM4Z4Z91oZS0eKL4yqUb2c2oJ0FyX1o+CB9CtXvEi+iz+Q1ShkYdGD9
1516I2pNsoSkgUm5DxPQQ/VtA+J+irT8VY6hx+O1Pa9B3XebpB/kDthK0fRI/ya0
1517otfuQBstd8SjYPTONJ934IjGzUbpQtUCKuks4UyA984wtSvgn/1iNn8QfuBs
1518eSUCWaeM1u4hinAkP8rHwIzl7AXmMEU2DDPeZPBpsIob8pYiUQ9uh5V+osjo
1519RHMOe5oiB4MeHxGB35xWrwOU//LGzIIe9r6V1jmK3PxtKGoDzZfN3c5oF7Ex
1520JvcsgVW8Vd9lsFze2NGe7yL/7C+dmfMu8ty1ZsoCC+s3xtHm2JmpHPA/HH1x
1521gg==
1522 "],ExpressionUUID->"b3750a4a-0071-4f76-b069-2aaf7db7502d"],
1523
1524Cell[BoxData[
1525 InterpretationBox[
1526 RowBox[{"\<\"Flavor expansion of the vertices: \"\>", "\[InvisibleSpace]",
1527 DynamicBox[ToBoxes[FeynRules`FR$Count1, StandardForm],
1528 ImageSizeCache->{14., {0., 8.}}], "\[InvisibleSpace]", "\<\" / \"\>",
1529 "\[InvisibleSpace]", "26"}],
1530 SequenceForm["Flavor expansion of the vertices: ",
1531 Dynamic[FeynRules`FR$Count1], " / ", 26],
1532 Editable->False]], "Print",
1533 CellChangeTimes->CompressedData["
15341:eJwV0WtI02EYBfClYMzCrFxeMm1tZS2rbc41ta3e8otLKGwOp1O8tFHiygTX
1535IC+glC4oSTTNRcgizTCsIWoWNi/ZnKZtZbTyUjqF/lsucFiwkp7nw+H38cA5
1536zPzLaaoNNBotAyLIzlEaWykyKlZcCe2gyFLgtcIwkCOobTsI+l0sp8eCOllT
15370mEw4iq7FOVXpVZyQREryIdq74Xt5IEtgX1C1CSd0qCRxFODflbL3Gj4Cxmd
1538D9bqEiToHY+iHjWKcrvQhYaBc3Fg1imBDvV+7dGjmdFbTOiTvICfaKQhZD4e
1539DCqp5gtBg5Sdii4WvylCeyyf6lCm4t17VHYzYNtRMHVwVY86+zOmReBawyP/
1540BFDt3lqPVm88whBjT3mxVAImKmZn0M2JBU50bjePdgKsPBNlQM0j1jwleN53
1541XINe13hEZzthH+9wGlpyYUKNCh2sJrS7IGUAjRhi2NHKHeJF9Jm8TiUDg/et
1542fUCtyabQdDA592E8eqCxfVBspkjrX9U4eixO2/ca1H23Scwgb9BWhmZE0VvQ
1543qn7HDNpsui22gDHb0/3GwNFiNwdlJKoXUEl3KXcSvHuapV0B/+wVc4RD8AN3
154406skkH3SYO0dpghX8qNiHMxczl5gjVBkXf/FlwI+DVHzQt9SJPrBrfCyjxSx
1545TN7P4UxTZH/w40NJ4Den1TcDyn/5YmdBD2fPStscRW781he1g52XOnudMS5i
1546Y07tWgJrBKv+y2CFvLmrI99F/jleOrPmXeS5y2tUgoWN6xOofcxtzwH/AyLP
1547cmQ=
1548 "],ExpressionUUID->"1b0d4642-01e9-4a29-90d2-cb718d93eb31"],
1549
1550Cell[BoxData["\<\" - Saved vertices in InterfaceRun[ 1 ].\"\>"], "Print",
1551 CellChangeTimes->CompressedData["
15521:eJwV0WtI02EYBfClYGhhVq6pmWazrGW16VxzttVbfnEJhs2x6Rxe2ijRWoJr
1553kDpQSheUJN4XIUaasbCGqFmYt2xN08yMrKk1p9B/ywUOC1bS83w4/D4eOCcq
155470q6ahONRpNBuNlKRVsrRcaE8quMToosB1wvCAFZ3Or2w6DPpTL/WFAnaUw6
1555CoZdiy5B4ypS9WyQzwz0otrmkN0csCWgj4eaxVNFaDhxV6Gf1RIXGvpc4h8H
1556VusSRehdt7wWbePndKH2uoHz8WDWGa4O9XztMaCZkdvM6ONcv59ouDF4MQEM
1557LK6M44FGcXQquqR5XYj2WD7VoFHyd+9RyS2/HcfB1KE1A+rol83ywfW6h76J
1558oNq1vRat3HyMLsSeMo1YBArk8zZ0qyDfgS7s5dBOgfq0CCM6OGrNVYAXvCeL
15590BtFbv45E+zjGUlHiy9OqFHeHLMR7c5PGUDDhukfUP0u4RL6VFqjkoBBB9Zn
1560UGuymZEBJuc8SEAP1XcMCQcp0vpXNY6eiNf2vQJ136dFgyBnaLoUlUX4t6AV
1561/XM2tMl8R2gBY3Zm+LwFxzQuFkoXqO2oqLuEPQk2nGVqV8E/+4Us3jD8wN7y
1562MgmMPm209o5QhC36UT4OZq5k25mjFNkwfPGmgE+C1RzGG4pE3r8dWvqRIpbJ
1563e0rWLEUOBj06kgR+c1i9NlD6yxs7D7pZ+1bbFyhy87ehsAM0XTb1OmKcZDpq
1564as8yWMVd810By6VNXZ15TvJv7oUja9FJnjk9bQqwoH5jAm1Ii5xRgv8BGNBw
15654g==
1566 "],ExpressionUUID->"352aa278-7178-4a99-93dc-59c8164f9ff3"],
1567
1568Cell[BoxData[
1569 StyleBox["\<\"Computing the squared matrix elements relevant for the 1->2 \
1570decays: \"\>",
1571 StripOnInput->False,
1572 LineColor->RGBColor[1, 0.5, 0],
1573 FrontFaceColor->RGBColor[1, 0.5, 0],
1574 BackFaceColor->RGBColor[1, 0.5, 0],
1575 GraphicsColor->RGBColor[1, 0.5, 0],
1576 FontWeight->Bold,
1577 FontColor->RGBColor[1, 0.5, 0]]], "Print",
1578 CellChangeTimes->CompressedData["
15791:eJwV0WtI02EYBfClYMzCrFxTM5dtZS2rbc41t7Z6yw+5BoXN4bwML22UaJmg
1580DVIHSumCkkTTXIQs0oyFNUTNwuYls2mamZHlpeYU+s9c4LBgJT3Ph8Pv44Fz
1581orIvJenW0Wi0FIgwQ5tuaaLIoExzmdlKkYXAq7mhIFdY1bwf9LtQSo8BDap6
15826UEw/AqnCBWUK408UMwO8qHFd0O388HGwC4RalOM5aMRxFOJftarltCw5yq6
1583AKwyxMvR2x5NDWoRZ7ahztqes7Fg2gmhAfV+7TChqaxNNvRxVsBPNMIcMhcH
1584BhVWCESgWcFRovMFr/PQjqFP1WiU5t17VHUjYMthUNm7YkJd3SmTYnC19qF/
1585PKhf2lyDVqw/xJBhT2mBQg5KNDPT6EZJjgud3cmnHQONpyPNqH3AkZUOnvMd
1586zUev5XvEZ6ywj7c/CS08P6JHRVPserQ9J7EHDe9jfECN22Tz6FN1tU4FBu9Z
1587nUAdCTZmMpiQ+SAO3VfX0iuzU6Tpr24YPRJb3PUKNHwfl9tBfu94CZoSSW9E
1588y7unptEG2y3ZEBi9NdnvLThYsMRFGRK9E5W3F/FGwTun2MXL4J/dMq6oD37g
1589bXgpBTnHzY7Oforw5D/KhsHUxQwne4Aia6YvvkTwSYiez3xDEdb9m2ElHyky
1590NHpPy52kyN7gRwek4DeXwzcNqn/5YmZAD3fXcvMsRa7/NuW1gNaL1k5XtJuM
1591R43tWAArhSv+i2CZuqGtNdtN/k29cKXNuckzt9eSDubWrY2gJ5tZE1rwPxjB
1592cOs=
1593 "],ExpressionUUID->"fa03a6fc-ed2c-45a4-9e48-04a23093e65f"],
1594
1595Cell[BoxData[
1596 InterpretationBox[
1597 RowBox[{
1598 DynamicBox[ToBoxes[FeynRules`FR$DecayCounter, StandardForm],
1599 ImageSizeCache->{14., {0., 8.}}], "\[InvisibleSpace]", "\<\" / \"\>",
1600 "\[InvisibleSpace]", "26"}],
1601 SequenceForm[
1602 Dynamic[FeynRules`FR$DecayCounter], " / ", 26],
1603 Editable->False]], "Print",
1604 CellChangeTimes->CompressedData["
16051:eJwV0WtI02EYBfClYGhhVpqXzGWzrGW1zbnm1lZv+UUTCpvD6RxecpRoLcE1
1606SB0opQtKEs3LImSVZhjWEDUL29RsTdPMjFZTa06h/5YLFCtW0vN8OPw+Hjgn
1607Ou9iWsE6Go2WAeFmK+SGVoqMiGSXQjsoshBwpTAMZHJr2vaDPufL/eNAjaRR
1608eBCMuBxTinIqU7UskM8I9KLq5rDtbLAloI+HGlMmitFI4qlGPyklbjT8mcSf
1609A9ZoEsXoLY+sDjXwc7pQR/3AmXgw6wRXg6586dGhmfRNRvRRrt8PNFIfPJcA
1610BpZUcXigPiUmFZ1XvSpCeywfa9Fo2dt3qOS635bDYKp5WYc6+zOm+eBq/QPf
1611RFDp3lyHVq0/FCLCnnJVihgUyGbs6EZBvhOd3cmmHQO1p6L0qGnYmisHz3qP
1612FqNXiz38052wz8pQGlpybkyJ8myMRrQ7P3kAjRgMeY9qt4nm0SfS2gIJGLRn
1613dQq1JhlD08GknHsJ6L6GdrPIRJHWvwWj6JF4dd9LUPNtUmwC2ebJMjQjyr8F
1614rey32dEm402RBYzdmu7zBhxRuZloiEDpQMXdpaxx8PZJhnoJ/L1bxOQNwg+s
1615DS+EYMxxvbV3iCIs8feKUTBzMdvBGKbImu6zNxl8HKxkh76mCP3ujfCyDxSx
1616jN9RMKcpsjfo4QEh+NVp9dpB6U9v3AzoYe5aapulyLVfuqJ2sPNCZ68z1kUm
1617oyd2LIDV3GXfRbBC2tTVkeci/2zPnVlzLvLUtWKQg4UNa2Po/T/0KQX4Hx3m
1618cZo=
1619 "],ExpressionUUID->"d7d9b21e-11a6-41aa-a4bc-66633ebeb527"],
1620
1621Cell[BoxData[
1622 InterpretationBox[
1623 RowBox[{"\<\"Squared matrix elent compute in \"\>", "\[InvisibleSpace]",
1624 "0.728404`", "\[InvisibleSpace]", "\<\" seconds.\"\>"}],
1625 SequenceForm["Squared matrix elent compute in ", 0.728404, " seconds."],
1626 Editable->False]], "Print",
1627 CellChangeTimes->CompressedData["
16281:eJwV0V1I02EYBfClYMzErFxTM81mWctq07nm1lZveeMSCpvD6Rx+tFGitQRt
1629kDpQSheUJJofixAjzViYQ9QszKnZmqaZGVlTa06h/8wFDgtW0vNcHH6XB86J
1630yr2Sqt5Eo9HSIbwslbK1hSKjYsVVZgdFlvyv54eAbF512yHQ51IZPRbUyRpE
1631R8Cwa9HFaFxFip4DCliBXrSkKWQXF2z27+OjZulkIRpO3FXoZ41sBQ19LqPH
1632gdW6RAl6162oRVsF2Z2oo27gfDyYeZqnQz1fewxoRuRWM/okx+8nGm4MXkgA
1633A4sq4/igURqdgi5qXxegPdZPNWiU4t17VHbLb/sxMMWyZkCd/ekzAnC97pFv
1634IqhZ2VaLVm4+yhBjT5lWKgGFijk7GiDMc6Lze7i0k6D+bIQRHRyx5SjBC94T
1635heiNQrfgnAn28QynokUXxzUof5bVgHbnJQ+gYUOMD6h+p3gRfSavUcvAoP3r
163606gtycxMA5OyHyagB+vbLeJBirT8VY+hx+NL+l6Buu9TkkGQa5kqRdMj6M1o
1637Rf+sHW003xFbwZgdaT5vwVHtChtlCDUOVNJdzJkA751hlayCf/aJ2fwh+IGz
16385aUIjD5ltPUOU4Qj+VE+BmYsZzlYIxTZMHzxJoNPgzVc5huKRD64HVr6kSLW
1639ifsq9gxFDgQ9PiwCvzltXjso/+WNnQPd7L2rbfMUufnbUNAOmi6bep0xLjIV
1640Nbl7Cazirfkug+Xyxs6OXBf5N/vCmbngIl0uT6sSzK/fGEcDuvjTKvA/F7hw
16410Q==
1642 "],ExpressionUUID->"e25cf684-db20-417c-88d9-6458702ed57e"],
1643
1644Cell[BoxData[
1645 InterpretationBox[
1646 RowBox[{"\<\"Decay widths computed in \"\>", "\[InvisibleSpace]",
1647 "0.004869`", "\[InvisibleSpace]", "\<\" seconds.\"\>"}],
1648 SequenceForm["Decay widths computed in ", 0.004869, " seconds."],
1649 Editable->False]], "Print",
1650 CellChangeTimes->CompressedData["
16511:eJwV0WtI02EYBfClYGhhVi4vmWazrGW1zTnn1lZv+cU1KGwO52V4aaPE1RJc
1652g9SBUrqgJNG8LEKMNMOwhqhZmLdsTdPMlFZTa06h/8wFDgtW0vN8OPw+Hjgn
1653Ou9KqmoTjUZLh3CzlVktzRQZFSmuhrRTZCngekEoyORWtR4GfS6V+seBelm9
16548CgYfi2mGOWUSw0skM8I9KK6xtDdbLApoJeHmiWTGjSCuCvRz2rZChr2QubP
1655Aav0SWL0rltRg7bwczpRR23/+Xgw8zRXj3q+dhvRjKhtZvRJrt9PNMIUvJAA
1656BhZVcHigSRIjRRe1bwrRbstsNRqteP8Bld3y25EISgfXjKizL32GD67XPvJN
1657AtUr22vQis3H6CLsKdVKxKBAMWdHtwrynej8XjbtJGg4G2lCB0asuVngBe8J
1658DXpD4+af64B9PMOpaNHFcTXKszHq0a78lH40fIj+ETXsEi2iz+TVKhkYdGB9
1659GrUmm0PSwOSchwnoobq2QdEARZr/qsbQ4/G63teg/vuUeABkD06VoOmR/k1o
1660eZ/NjjaY74gsYOzONJ934Kh2hYnSBWoHKu4qZk2A984wdKvgn/0iJm8IfmBt
1661eSUEY06ZrD3DFGGJf5SNgRnL2Q7GCEU2jF+8KeDTYDU75C1Foh7cDiv5RBHL
1662xH0lc4YiB4MeHxGC35xWrx2U//LGzYFu5r7V1nmK3PxtLGwDOy539DhjXWQq
1663enLPEljJXfNdBsvkDZ3teS7yz/bSmbngIs9dnpYssKBuYxyd9UmcVoL/ARlF
1664cO0=
1665 "],ExpressionUUID->"73d3eb53-fdac-41d5-99b9-b3f4a9b94b7a"],
1666
1667Cell[BoxData["\<\"Preparing Python output.\"\>"], "Print",
1668 CellChangeTimes->CompressedData["
16691:eJwV0WtI02EYBfClYMzCrFxTM822spbVNuecsy3f8osmFDrHpnN4yVHiagmu
1670QepAKV1QkmiaixAjzTCsIWoWNi/ZmqYtM7K81JxC/5kLFAtW0vN8OPw+Hjgn
1671Mu9SWsEmGo2mgAiy1aqWZoqMSJSXme0UWfS/WhgMcgTVrYdBnwtl9GjQIGtI
1672OAqGXmGXoPyKVCMXFLECvKj+bvBuHtjk3ytELSkTWjSMeKrQzxrZMhryXEbn
1673g9WGeCl626OsRVtEOZ2os64/PQbMOiUwoGtfu01oZsQ2C/o41+8nGmYOmo8F
1674A4or+ULQnMJORRd0r4vQbtunGjRS+e49KrvhtyMOTB1YNaGuPsWUCFyve+gb
1675D2qWt9eilZuPMSTYU6ZLkYJi5ewMulWc70Ln9vJoiaDxTLgZtQ7bc1XgOe8J
1676LXpN6xGd7YB91obS0OLzYxpUOM1qQLvyk/vR0EHGB9S4S7KAPpXXFMjAwAPr
1677k6g9ycLMAJNyHsSih+rbBiRWijT/LRhFj8foe1+Bhu8OqRXkDThKUUU4vQmt
16786JueQRsttyQ2MGpnhs9bcES3zEEZYo0TlXaVcMfBO6dZ+hXwz34JRzgIP3C3
1679vEwA2SfN9p4hinClP8pHwcylbCdrmCIbpi/eZPBJkIbHfEORiPs3Q0o/UsQ2
1680fk/NmaLIwcBHRxLAby67dwaU//JGz4Iezr6V1jmKXP9tKmoDOy529Lii3MQR
1681ObFnEawSrPougeXyxs72PDf5N/3ClTXvJs/cay0qsLB+YwxNTI+bVIP/ARbM
1682cKg=
1683 "],ExpressionUUID->"22a57518-acd8-4c3a-8be4-0f6e7a1df825"],
1684
1685Cell[BoxData["\<\" - Splitting vertices into building blocks.\"\>"], \
1686"Print",
1687 CellChangeTimes->CompressedData["
16881:eJwV0V9Ik3EYBeClYMzCrFxTM23NspbVpnNNbatfeeMSCpvidA7/tFHiagna
1689IHWglC4oSTTNScgizVhYY6hZ2KZmNk1bZmRNrTmFvpkLFAtW0vteHJ7LA+ew
1690Ci6nKzfQaLQsCD9XITe2UWRYJLvC7KTIQuC1olCQw69tPwj6Xaygx4JaaVPy
1691YTD8anQpGleVpuOCQnaQDy27F7qTB7YE9gpQs2RCjUYQbw36WSVdQsOeS+lx
1692YK02UYze8crqUaMwrwt1NfSfiwdzTvG16OrXbj2aHbXFjD7OD/iJRhhC5hLA
1693oJLqOAFokESnofOa18Vo98inOpQle/celd4M2HYUTLOt6FF3X9aUEFxreOif
1694CKqWttaj1RuPMETYU6GRiMEk2YwT3ZxU6EZnd/NoJ0DdmUgDah2y58vB877j
1695avS62is8a4J9VgfT0ZILYypUMM1uQi2Fqf1o+ADjA6rbIZpHn2bWKaVg8L61
1696SdSeYmZmgCl5DxLQA40dNpGVIm1/laPosfiy3leg9rtDbAV5Nkc5mhVJb0Gr
1697+qadaLP5tmgEjNme4fcWHNYscVBGksqFii2l3HHw7ml22TL4Z6+IIxiAH7ib
1698XiaD0ScN9p5BinDFPypHwezFXBd7iCLr+i++VPBJiIrHfEORqPu3wso/UmRk
1699vFXBmaLI/uBHh5LBb267zwlm/vLFzoBezp7l9lmK3PitL+4ATZdMPe4YD3Gw
1700JnYtgDX8Ff9FsDKzuauzwEP+Tb9w58x5yDPPqlEOFjWuj6GWVuGkAvwPHHFx
1701Zg==
1702 "],ExpressionUUID->"a1a12d95-6317-4e7f-a6d4-2c75cea66afb"],
1703
1704Cell[BoxData[
1705 InterpretationBox[
1706 RowBox[{"\<\"Splitting of vertices distributed over \"\>",
1707 "\[InvisibleSpace]", "4", "\[InvisibleSpace]", "\<\" kernels.\"\>"}],
1708 SequenceForm["Splitting of vertices distributed over ", 4, " kernels."],
1709 Editable->False]], "Print",
1710 CellChangeTimes->CompressedData["
17111:eJwV0WtI02EYBfClYMzCrFxTM822spbVpnPNra3e8otrUNgczsvw0kaJlgmu
1712QepAKV1QkmiaixAjzVhYQ9QszFu2prnMjFZeSqfRf8sFDgtW0vN8OPw+Hjgn
1713OvdiimYdjUZLg/Cz1JktzRQZkaguMdspshh4JT8U5PCrW/eDfufL6LGgXtEg
1714PgiGX2aXoHEVcgMXFLKCfKjuTuh2HtgU2CNALTJ7IRpBPFXoJ63CjYY9U9Dj
1715wGp9ohS95VHVoi3C7A50vq7vTDyYcYKvR71fuoxoetQmC/ooJ+AnGmEKmUsA
1716g4or4wSgScaWowtFrwrQLuvHGjRa9fYdqrgesOUwKB9YMaLO3rQpIbha98A/
1717EdS6N9eilesPMSTYU1Ykk4Ii1cw0ulGU50Rnd/Jox0DDqUgT2j9sy8kEz/qO
1718FqJXCz3C02bYxzuUghafG9OiAgerAe3MS+5DwwcZ71HDNskC+kRZo1GAwXtW
1719J1FbkoWZCiZl309A99W3DUj6KdL8VzOKHonX9bwE9d8mpP0gb2CiFE2LpDeh
1720Fb2OabTRclNiBWO2pvq9AUeK3ByUIdLOo9LOEu44ePskS7cM/tkt4QgG4Qfu
1721hhdikH3cZOseoghX+qN8FExfyppnDVNkzfjZlww+DtHymK8pEnXvRljpB4pY
1722x++qOVMU2Rv88IAY/Oq0+aZB5S9f7Azo4exabp2lyLXfxoI20HzB3O2McZGJ
1723aPuORbCKv+K/BJYrGzvac13kn+O5M2PORZ66vC2ZYH792hhq/y6cVIP/AR9W
1724ccw=
1725 "],ExpressionUUID->"5a72bc03-8efd-4fac-bf06-602cec27fc87"],
1726
1727Cell[BoxData[
1728 InterpretationBox[
1729 RowBox[{"\<\" - Optimizing: \"\>", "\[InvisibleSpace]",
1730 DynamicBox[ToBoxes[PRIVATE`PY$SplitVertexCounter, StandardForm],
1731 ImageSizeCache->{14., {0., 8.}}], "\[InvisibleSpace]", "\<\"/\"\>",
1732 "\[InvisibleSpace]", "42", "\[InvisibleSpace]", "\<\" .\"\>"}],
1733 SequenceForm[" - Optimizing: ",
1734 Dynamic[PRIVATE`PY$SplitVertexCounter], "/", 42, " ."],
1735 Editable->False]], "Print",
1736 CellChangeTimes->CompressedData["
17371:eJwV0V1I02EYBfClYMzCrNSpmWZbWctq07nm1lZveTMbFDbF+TH8aKPElQna
1738IHWglC4oSTTNRcgizVhYQ9QszKnZmqYtM7Kmlk6h/5YLHBaspOe5OPwuD5wT
1739W3ApTbWBRqNlQni5yhxjG0VGxYrLjE6KLAVeLQoH2by69gOg34VKejyolTeL
1740DoGRV1hlaEK1TMcBBcwgH1p+N3wHF2wN7OOj5tRJDRpFPLXoZ7XcjUY8l9MT
1741wDptsgS97VE0oEZBXhe60DhwNhHMPsnTot6vPXo0K2aLGX2cH/ATjTKEzCeB
1742QaU1CXzQkMqSoYslr4vRHuunejRW8e49Kr8RsO0IKLOs6lFnf+a0AFxrfOif
1743DKrdWxvQmo2HQ8XYU1mSKgGFilkHullY6ETndnFpx0Hd6WgDOjhiy88Bz/mO
1744adBrGo/gjAn28Q6noaXnx9Uof4bZjHYXSgfQyKHQD6guTLyIPs2oV8nB4L1r
1745U6gtxcxIB1PyHiSh+5s6LOJBirT9VY2hRxPL+16B2u92ySDItdgr0Mxoeita
17463T/jQFvMt8RWMG57ut9bcLTEzUZDheoFVNJdxpkA75xilq+Af/aI2fwh+IGz
17476aUIZJ0w2HqHKcKR/KgaA7OWcxeYIxRZ13/xScEnIWou4w1FYu7fjKj4SBHr
1748xD0le5oi+4IfHRSB35w2nwPM+OWLnwU97N0r7XMUuf5bX9wBmi6aep1xLmKP
1749ndy5BNbyVv2XwaqMlq7OAhf5N/PCmT3vIs9cXmMOWNS0Po6GKaRTSvA/FhJw
1750lg==
1751 "],ExpressionUUID->"b25f6639-59b7-4c5e-a509-32938176bf0a"],
1752
1753Cell[BoxData["\<\" - Writing files.\"\>"], "Print",
1754 CellChangeTimes->CompressedData["
17551:eJwV0WtI02EYBfClYMzCrFxeMm1tZS2rTeea2lZvSuAaFDZl84aXNkq0TNAG
1756qQOldEVJomkuQhZpxsIaomZhm5qtaZqZ0Wpq6RT6b7nAYcFKep4Ph9/HA+cw
17578y+mKtfRaDQ5hJ+dk6Vvo8iISHEpuJMii/5XCkNADr+ufT/oc76SHg2qZc2J
1758B8Gwy+wyNKZaquGCQlaAFy2/G7KdB7b69wlQo2SiGA0n7lr0s0rmQkOfy+gx
1759YJ06XozedisaUL0wtwudbxw4EwtmJvHVqOdrjxbNiNxkRB/n+f1Ew3VBc3Fg
1760QGlNjADUSdhSdKHkdRHaY/lUjzIV796jsut+Ww6DUvOKFnX0y6eF4GrjQ994
1761UOXa3IDWrD/EEGFPZYlEDCYoZuzoxoQCBzq7k0c7BmpORehQ07A1Lws86z1a
1762jF4tdgtPG2Afz1AqWnpuTIUKbKxmtLsgZQANG2R8QDXbRAvo0/R6pQwM3LM6
1763hVqTjcFpYHLugzh0X1OHWWSiSNtf5Sh6JLa87xWo/j4pNoE882QFKo+gt6LV
1764/TY72mK8JbKAUVvTfN6CIyUuDspIUM2j4u4y7jh45ySrfBn8s1vEEQzCD9wN
1765LxNB9nGdtXeIIlzxj6pRMGMpe541TJE17RdvCvgkSMULfkORyPs3Qys+UsQy
1766fi+HM02RvYGPDiSC3xxWrx1M/+WNngHdnF3L7bMUufZbW9QBGi4Yeh1RTjLJ
1767nNixCNbyV3yXwKr0lq7OfCf5Z3vhyJxzkmdOjz4LLGxaG0NP3JBM5YD/ARj2
1768cPk=
1769 "],ExpressionUUID->"88c4bbac-32f2-4288-b66b-1bd5e3349a93"],
1770
1771Cell[BoxData["\<\"Done!\"\>"], "Print",
1772 CellChangeTimes->CompressedData["
17731:eJwV0WtI02EYBfClYMzCrDQvmba2spbVNueaW1u96ReXVNhcTqd4yVHiygRt
1774kDpQyi0oSTTNRcgizVhYQ9QszKmZTdPMjCwvNafQf8sFDgtW0vN8OPw+HjiH
1775kXspJX8djUZLg/Azs1SmZooMSZSXQ9oosuh/tSAUZPP1LftBnwvl9BhQK28Q
1776HwTDr7BKUF5lso4DCpkBXrT0buh2Ltjk3y1ALbJxDRpB3NXoZ7XchYY9l9N5
1777oF4bL0Vvu5W1qEmY3Y7a63rPxIIZCXwt6vnaaUDTozZZ0Mc5fj/RCGPQfBwY
1778UFzFE4BGGSsZXSh6XYh2Dn+qQRnKd+9R+Q2/LYfBZOuKAXX0pE0JwdW6h77x
1779oNq1uRatWn8oWII95UUyKShSzs6gG0V5DnRuJ5d2DNSdijSifYO2HBV4zntU
1780g17TuIWnzbCPZyAFLT4/qkYF08wGtCMvqRcN7w/+gOq2SRbQp4qafDkYuGd1
1781ErUlWkJSwcTsB3HovvpWq6SPIs1/80fQI7Gl3a9A7fcJaR/ItU6UoWmR9Ca0
1782smd6Bm203JIMg9FbU33egkNFLjYaLFLbUWlHCWcMvHOCWboM/tktYQv64QfO
1783hpdikHXcaOsaoAhH+qNiBExfyrQzBymyZvjiTQKfBKm5IW8oEnX/ZljZR4oM
1784j93LYk9RZG/gowNi8JvD5p0BFb+8MbOgm71ruWWOItd/GwpbQfNFc5cj2kkm
1785GOM7FsFq/orvElihaGxvy3WSf9MvHBnzTvLM6TGpwIL6tVH0rP7kZBb4HxmB
1786cQs=
1787 "],ExpressionUUID->"7514fd48-eddf-4028-9c88-4c5e347ed963"]
1788}, Open ]],
1789
1790Cell[BoxData[
1791 RowBox[{"{",
1792 RowBox[{"8.313997`", ",", "Null"}], "}"}]], "Output",
1793 CellChangeTimes->{3.6014216956335487`*^9, 3.60145563777833*^9,
1794 3.601786977403122*^9, 3.6017874025691843`*^9, 3.6063948248249283`*^9,
1795 3.606395835690023*^9, 3.644794390592321*^9, 3.6447951605843*^9,
1796 3.6447969633395023`*^9, 3.675606409980679*^9, 3.7409830861646767`*^9,
1797 3.740984607729792*^9, 3.740984946005069*^9,
1798 3.740989082466289*^9},ExpressionUUID->"87fb2e22-e938-41d6-9f56-\
1799cb0204ea2eff"]
1800}, Open ]]
1801}, Open ]],
1802
1803Cell[CellGroupData[{
1804
1805Cell[TextData[{
1806 "Example process ( p p \[LongRightArrow] ",
1807 StyleBox["t",
1808 FontSlant->"Italic"],
1809 " ",
1810 Cell[BoxData[
1811 FormBox[
1812 OverscriptBox["t", "_"], TraditionalForm]],
1813 FormatType->"TraditionalForm",ExpressionUUID->
1814 "2631158b-18d5-4d7d-9244-4412ce944d31"],
1815 " ",
1816 StyleBox["t",
1817 FontSlant->"Italic"],
1818 " ",
1819 Cell[BoxData[
1820 FormBox[
1821 OverscriptBox["t", "_"], TraditionalForm]],
1822 FormatType->"TraditionalForm",ExpressionUUID->
1823 "d6190bd0-d9d9-46e0-8aa4-020d4b05deeb"],
1824 " )"
1825}], "Section",
1826 CellChangeTimes->{{3.740987096103485*^9, 3.740987104722731*^9}, {
1827 3.740987503462904*^9,
1828 3.7409875501466637`*^9}},ExpressionUUID->"453420bb-6e87-4437-856c-\
18295580ffe18b46"],
1830
1831Cell[CellGroupData[{
1832
1833Cell["Just type \[OpenCurlyDoubleQuote]Shift+Enter\[CloseCurlyDoubleQuote] to \
1834generate the script", "Subsection",
1835 CellChangeTimes->{{3.655625479682742*^9, 3.655625482385438*^9}, {
1836 3.656726499362267*^9, 3.656726502226275*^9}, {3.656805968752857*^9,
1837 3.656805969623584*^9}, {3.658668423397647*^9, 3.6586684244836273`*^9}, {
1838 3.667459412871728*^9, 3.667459417433291*^9}, {3.740987235092021*^9,
1839 3.740987279369536*^9}},ExpressionUUID->"a8d18927-77b6-4fc7-9377-\
18406c801f220599"],
1841
1842Cell[BoxData[
1843 RowBox[{
1844 RowBox[{"processname", "=",
1845 RowBox[{"ToString", "[", "\"\<Top_Philic_example\>\"", "]"}]}],
1846 ";"}]], "Input",
1847 CellChangeTimes->{{3.6496384352329617`*^9, 3.649638437980591*^9}, {
1848 3.649638563109305*^9, 3.649638564797917*^9}, 3.649638978119852*^9,
1849 3.656825419822209*^9, {3.657035140257846*^9, 3.657035140727289*^9}, {
1850 3.658668384306283*^9, 3.658668387732682*^9}, {3.658668428187173*^9,
1851 3.658668431541951*^9}, {3.667550775057249*^9, 3.667550775180711*^9}, {
1852 3.667578934398881*^9, 3.6675789560688763`*^9}, 3.6675793848996468`*^9, {
1853 3.740987112895705*^9,
1854 3.7409871167021513`*^9}},ExpressionUUID->"16e3bca2-bc8e-4ccb-a81e-\
185564a055dfe52d"],
1856
1857Cell[BoxData[
1858 RowBox[{
1859 RowBox[{"head", "=",
1860 RowBox[{
1861 "\"\<import model Top_Philic_UFO\ngenerate p p > t t~ v1/v1 , v1 > t t~\n\
1862output \>\"", " ", "<>", "processname", "<>", "\"\<\\n\>\""}]}],
1863 ";"}]], "Input",
1864 CellChangeTimes->{{3.591608644389022*^9, 3.5916086821046257`*^9},
1865 3.591608738988839*^9, {3.591608832925962*^9, 3.591608865190431*^9}, {
1866 3.591608908138093*^9, 3.591608914652011*^9}, {3.5917385629265738`*^9,
1867 3.5917385834266024`*^9}, {3.592115176525766*^9, 3.592115177820568*^9}, {
1868 3.592115217382238*^9, 3.5921152319682636`*^9}, 3.592115277707544*^9, {
1869 3.5921153100464005`*^9, 3.5921153402792535`*^9}, {3.5921154158613863`*^9,
1870 3.5921154405562296`*^9}, {3.592115588600092*^9, 3.5921155964937057`*^9}, {
1871 3.59211572729994*^9, 3.59211574419477*^9}, {3.592489037122981*^9,
1872 3.592489040122985*^9}, {3.592489273237321*^9, 3.5924894200475264`*^9}, {
1873 3.592489450167568*^9, 3.592489462617586*^9}, {3.5924895025276413`*^9,
1874 3.5924895140576577`*^9}, {3.592489555407716*^9, 3.59248955880772*^9}, {
1875 3.592489594687771*^9, 3.5924896246378126`*^9}, {3.5925340525796127`*^9,
1876 3.5925340622828293`*^9}, {3.592534693818739*^9, 3.5925347445812273`*^9}, {
1877 3.5925349443739796`*^9, 3.592535034448538*^9}, {3.592535069314599*^9,
1878 3.5925350739946074`*^9}, {3.5925351057562633`*^9, 3.592535154085148*^9}, {
1879 3.5925351921492147`*^9, 3.5925352097616463`*^9}, {3.592631827406259*^9,
1880 3.592631834516737*^9}, {3.592631875701412*^9, 3.5926318819313717`*^9}, {
1881 3.59331580019188*^9, 3.5933158022354836`*^9}, {3.593315904275263*^9,
1882 3.593315969296177*^9}, {3.593316002321435*^9, 3.5933161081676207`*^9}, {
1883 3.59331788753334*^9, 3.5933178908233447`*^9}, {3.593317926753395*^9,
1884 3.593317946353422*^9}, {3.5933180048335047`*^9, 3.5933180260035343`*^9},
1885 3.593318100543638*^9, {3.5933181447637005`*^9, 3.5933181976737742`*^9}, {
1886 3.5933182586338596`*^9, 3.593318268463873*^9}, 3.5933352991933603`*^9, {
1887 3.593335334153022*^9, 3.5933353411418343`*^9}, {3.5933797560551863`*^9,
1888 3.5933797675992064`*^9}, {3.5933798006712646`*^9, 3.5933798325733204`*^9},
1889 3.593379899934239*^9, {3.5933989248850307`*^9, 3.593398950325066*^9}, {
1890 3.593399785706236*^9, 3.5933997899862413`*^9}, {3.5933998470163217`*^9,
1891 3.593399865876348*^9}, {3.593400000286536*^9, 3.593400035286585*^9}, {
1892 3.593400077586644*^9, 3.593400112276693*^9}, {3.5934001963868103`*^9,
1893 3.593400196776811*^9}, {3.593424597046548*^9, 3.593424597546549*^9}, {
1894 3.5934246802666645`*^9, 3.5934246830866685`*^9}, {3.593424715716714*^9,
1895 3.5934248067368417`*^9}, {3.593425196547387*^9, 3.5934252025773954`*^9}, {
1896 3.593425274387496*^9, 3.5934253794676433`*^9}, {3.5934254425377316`*^9,
1897 3.593425452777746*^9}, 3.5936699574002557`*^9, {3.5936719075809913`*^9,
1898 3.5936719260910172`*^9}, {3.5936719600910645`*^9, 3.593672015731143*^9}, {
1899 3.593672080071233*^9, 3.5936720842312384`*^9}, {3.5937442630529857`*^9,
1900 3.593744281851019*^9}, {3.5937690582606063`*^9, 3.5937690686106205`*^9}, {
1901 3.594553827701724*^9, 3.5945538277329245`*^9}, {3.5945542534144726`*^9,
1902 3.594554271900505*^9}, {3.594555498955861*^9, 3.5945555049150715`*^9},
1903 3.594556912599144*^9, {3.5946187595660725`*^9, 3.5946187629200783`*^9}, {
1904 3.5946200070378633`*^9, 3.594620037005516*^9}, {3.5946200679715705`*^9,
1905 3.594620132040883*^9}, {3.5946202816071453`*^9, 3.594620286411954*^9}, {
1906 3.594620568179649*^9, 3.5946205917512903`*^9}, {3.594620681045847*^9,
1907 3.5946206831362505`*^9}, {3.594620726551127*^9, 3.5946207284699306`*^9},
1908 3.594694394282547*^9, {3.601456046786872*^9, 3.6014561827723103`*^9}, {
1909 3.601456301304119*^9, 3.601456383812664*^9}, 3.601456727762068*^9, {
1910 3.604839989651716*^9, 3.604840067849715*^9}, {3.604840291811432*^9,
1911 3.604840304034184*^9}, {3.644805814248506*^9, 3.644805836168743*^9}, {
1912 3.644806474975388*^9, 3.644806500410037*^9}, {3.6448068544319887`*^9,
1913 3.644806872642951*^9}, 3.64480707254172*^9, {3.644808633627316*^9,
1914 3.644808647754312*^9}, {3.6448094040445004`*^9, 3.644809404930126*^9}, {
1915 3.6448095949446487`*^9, 3.6448095966783524`*^9}, 3.648641396469462*^9, {
1916 3.64921778109228*^9, 3.6492177811410227`*^9}, {3.652765102975128*^9,
1917 3.6527651117823677`*^9}, {3.655625053633609*^9, 3.65562510242038*^9}, {
1918 3.655625186167478*^9, 3.655625223574005*^9}, {3.65562525904158*^9,
1919 3.655625280647654*^9}, {3.655625328257716*^9, 3.655625399079811*^9}, {
1920 3.655625718554661*^9, 3.655625729732356*^9}, {3.6556491606126547`*^9,
1921 3.655649180142568*^9}, {3.6568256341283693`*^9, 3.656825641878642*^9},
1922 3.657035133032629*^9, {3.658668442880075*^9, 3.658668443390081*^9}, {
1923 3.65986999514287*^9, 3.659869999597781*^9}, {3.6675507797512913`*^9,
1924 3.667550786748271*^9}, {3.6675510092461*^9, 3.667551010515251*^9}, {
1925 3.6675789665060177`*^9, 3.6675789774893503`*^9}, {3.7409871284985123`*^9,
1926 3.740987139261211*^9}},ExpressionUUID->"d112b89e-a0ac-4edd-b5ea-\
19270e85aa7edfca"],
1928
1929Cell[BoxData[
1930 RowBox[{
1931 RowBox[{"Launchftn", "[",
1932 RowBox[{"M_", ",", "ct_", ",", "ag_"}], "]"}], ":=",
1933 RowBox[{"\"\<launch -n \>\"", "<>",
1934 RowBox[{"ToString", "[", "M", "]"}], "<>", "\"\<_\>\"", "<>",
1935 RowBox[{"ToString", "[", "ct", "]"}], "<>", "\"\<_\>\"", "<>",
1936 RowBox[{"ToString", "[", "ag", "]"}], "<>",
1937 "\"\<\n0\nset run_card nevents 10000\nset run_card ebeam1 6500\nset \
1938run_card ebeam2 6500\nset run_card ptj 15\nset run_card ptb 15\nset run_card \
1939etaj 5\nset run_card etab 5\nset param_card Wv1 Auto\nset param_card Mv1 \
1940\>\"", "<>",
1941 RowBox[{"ToString", "[", "M", "]"}], "<>", "\"\<\nset param_card ct1 \>\"",
1942 "<>",
1943 RowBox[{"ToString", "[", "ct", "]"}], "<>",
1944 "\"\<\nset param_card theta1 \>\"", "<>",
1945 RowBox[{"ToString", "[", "ag", "]"}], "<>", "\"\<\\n\>\""}]}]], "Input",
1946 CellChangeTimes->{{3.591608881413459*^9, 3.5916089426185093`*^9}, {
1947 3.5916089764139442`*^9, 3.591608984181841*^9}, {3.5916094388366985`*^9,
1948 3.5916094397267*^9}, {3.5924898696861663`*^9, 3.5924898771961765`*^9}, {
1949 3.5924899118462253`*^9, 3.592489934626257*^9}, {3.5924900410264063`*^9,
1950 3.5924900684864445`*^9}, {3.5924903368668203`*^9,
1951 3.5924903370868206`*^9}, {3.5924903950069017`*^9, 3.592490395526902*^9}, {
1952 3.5924904815770226`*^9, 3.5924904879770317`*^9}, 3.5924905816071625`*^9, {
1953 3.592490691181323*^9, 3.5924906949913282`*^9}, {3.5924907461514*^9,
1954 3.5924907548914127`*^9}, {3.592490808271487*^9, 3.5924908085314875`*^9}, {
1955 3.59249111735192*^9, 3.5924911228019276`*^9}, {3.592492070463254*^9,
1956 3.5924921037333007`*^9}, {3.5925490547752657`*^9, 3.592549116161374*^9}, {
1957 3.592549150965035*^9, 3.5925492492608075`*^9}, {3.5925493854970474`*^9,
1958 3.592549608000238*^9}, {3.5925496712115493`*^9, 3.5925497197276344`*^9}, {
1959 3.592631807235079*^9, 3.592631807999572*^9}, {3.5945565840469666`*^9,
1960 3.5945566115654154`*^9}, {3.6014564049351015`*^9, 3.60145641557432*^9}, {
1961 3.60145647273282*^9, 3.6014565970338383`*^9}, {3.604840120710033*^9,
1962 3.604840128202614*^9}, {3.604840192275465*^9, 3.604840261579953*^9}, {
1963 3.6448065146758738`*^9, 3.64480652213912*^9}, {3.6448066669892807`*^9,
1964 3.6448067326908216`*^9}, {3.6448085431161203`*^9,
1965 3.6448085494172087`*^9}, {3.6448086048836412`*^9, 3.644808620979801*^9}, {
1966 3.644808712809244*^9, 3.644808713111957*^9}, {3.644808927860618*^9,
1967 3.6448089334662437`*^9}, {3.64864144795794*^9, 3.648641454935459*^9}, {
1968 3.64864156194562*^9, 3.648641565652988*^9}, {3.6486416145941467`*^9,
1969 3.648641616249875*^9}, {3.652765133457983*^9, 3.652765164930368*^9}, {
1970 3.655625814990261*^9, 3.655625815270228*^9}, {3.655718988650882*^9,
1971 3.6557190007311707`*^9}, {3.655719210918*^9, 3.655719212118081*^9}, {
1972 3.655719274309569*^9, 3.65571927563074*^9}, {3.656805972584817*^9,
1973 3.656805975024791*^9}, {3.6568138802647333`*^9, 3.656813880792889*^9},
1974 3.6568139180003366`*^9, {3.656826022790547*^9, 3.656826023765188*^9}, {
1975 3.65682608821697*^9, 3.656826112594905*^9}, {3.656827376499395*^9,
1976 3.6568273784659157`*^9}, 3.657035260525297*^9, {3.65703586362428*^9,
1977 3.65703587630442*^9}, {3.6604879250594263`*^9, 3.6604879256509523`*^9}, {
1978 3.6675507965644608`*^9, 3.6675508142993793`*^9}, {3.667578997204494*^9,
1979 3.66757900473116*^9}, {3.667579102167099*^9, 3.667579102958521*^9},
1980 3.667579174196974*^9, {3.740987144981882*^9, 3.740987225389525*^9}, {
1981 3.740987478678368*^9,
1982 3.740987478932995*^9}},ExpressionUUID->"8d270e46-08cf-4e1f-a179-\
19836341b22618b8"],
1984
1985Cell[CellGroupData[{
1986
1987Cell[BoxData[{
1988 RowBox[{"Launchftn", "[",
1989 RowBox[{"1000", ",", "1", ",",
1990 RowBox[{
1991 RowBox[{"N", "[", "Pi", "]"}], "/", "2"}]}], "]"}], "\[IndentingNewLine]",
1992 RowBox[{
1993 RowBox[{"StringJoin", "@@", "%"}], ";"}], "\[IndentingNewLine]",
1994 RowBox[{
1995 RowBox[{"head", "<>", "%"}], ";"}], "\[IndentingNewLine]",
1996 RowBox[{"Export", "[",
1997 RowBox[{
1998 RowBox[{"processname", "<>", "\"\<.ms\>\""}], ",", "%", ",",
1999 "\"\<text\>\""}], "]"}]}], "Input",
2000 CellChangeTimes->{{3.740987422051646*^9, 3.740987466420822*^9}, {
2001 3.740987708592598*^9,
2002 3.740987708718474*^9}},ExpressionUUID->"490c7969-1e86-453a-9f69-\
20031f4222133c80"],
2004
2005Cell[BoxData["\<\"launch -n 1000_1_1.5708\\n0\\nset run_card nevents \
200610000\\nset run_card ebeam1 6500\\nset run_card ebeam2 6500\\nset run_card \
2007ptj 15\\nset run_card ptb 15\\nset run_card etaj 5\\nset run_card etab \
20085\\nset param_card Wv1 Auto\\nset param_card Mv1 1000\\nset param_card ct1 \
20091\\nset param_card theta1 1.5708\\n\"\>"], "Output",
2010 CellChangeTimes->{{3.740987424804735*^9, 3.740987480748589*^9},
2011 3.740987714842636*^9},ExpressionUUID->"17912cc0-d9a6-4413-b2d8-\
2012ab4a6332f8ea"],
2013
2014Cell[BoxData["\<\"Top_Philic_example.ms\"\>"], "Output",
2015 CellChangeTimes->{{3.740987424804735*^9, 3.740987480748589*^9},
2016 3.740987714856367*^9},ExpressionUUID->"9987c56e-b6af-428b-b7bf-\
20175b7aff3c6884"]
2018}, Open ]]
2019}, Open ]],
2020
2021Cell["\<\
2022Put this script into MadGraph.
2023Run MadGraph with the following command:
2024./bin/mg5_aMC -f Top_Philic_example.ms\
2025\>", "Subsection",
2026 CellChangeTimes->{{3.7409876144497137`*^9,
2027 3.740987650151738*^9}},ExpressionUUID->"d72b00bc-6465-4d9f-962b-\
2028bbc3b2370125"],
2029
2030Cell[CellGroupData[{
2031
2032Cell["Just type \[OpenCurlyDoubleQuote]Shift+Enter\[CloseCurlyDoubleQuote] to \
2033generate the script", "Subsection",
2034 CellChangeTimes->{{3.655625479682742*^9, 3.655625482385438*^9}, {
2035 3.656726499362267*^9, 3.656726502226275*^9}, {3.656805968752857*^9,
2036 3.656805969623584*^9}, {3.658668423397647*^9, 3.6586684244836273`*^9}, {
2037 3.667459412871728*^9, 3.667459417433291*^9}, {3.740987235092021*^9,
2038 3.740987279369536*^9}},ExpressionUUID->"6bf16db4-2fdd-49ce-bb36-\
2039bc6782990c37"],
2040
2041Cell[BoxData[
2042 RowBox[{
2043 RowBox[{"processname", "=",
2044 RowBox[{"ToString", "[", "\"\<Top_Philic_example\>\"", "]"}]}],
2045 ";"}]], "Input",
2046 CellChangeTimes->{{3.6496384352329617`*^9, 3.649638437980591*^9}, {
2047 3.649638563109305*^9, 3.649638564797917*^9}, 3.649638978119852*^9,
2048 3.656825419822209*^9, {3.657035140257846*^9, 3.657035140727289*^9}, {
2049 3.658668384306283*^9, 3.658668387732682*^9}, {3.658668428187173*^9,
2050 3.658668431541951*^9}, {3.667550775057249*^9, 3.667550775180711*^9}, {
2051 3.667578934398881*^9, 3.6675789560688763`*^9}, 3.6675793848996468`*^9, {
2052 3.740987112895705*^9,
2053 3.7409871167021513`*^9}},ExpressionUUID->"32d07b75-f552-4f7a-93e5-\
20543d0d24010863"],
2055
2056Cell[BoxData[
2057 RowBox[{
2058 RowBox[{"head", "=",
2059 RowBox[{
2060 "\"\<import model Top_Philic_UFO\ngenerate p p > t t~ v1/v1 , v1 > t t~\n\
2061output \>\"", " ", "<>", "processname", "<>", "\"\<\\n\>\""}]}],
2062 ";"}]], "Input",
2063 CellChangeTimes->{{3.591608644389022*^9, 3.5916086821046257`*^9},
2064 3.591608738988839*^9, {3.591608832925962*^9, 3.591608865190431*^9}, {
2065 3.591608908138093*^9, 3.591608914652011*^9}, {3.5917385629265738`*^9,
2066 3.5917385834266024`*^9}, {3.592115176525766*^9, 3.592115177820568*^9}, {
2067 3.592115217382238*^9, 3.5921152319682636`*^9}, 3.592115277707544*^9, {
2068 3.5921153100464005`*^9, 3.5921153402792535`*^9}, {3.5921154158613863`*^9,
2069 3.5921154405562296`*^9}, {3.592115588600092*^9, 3.5921155964937057`*^9}, {
2070 3.59211572729994*^9, 3.59211574419477*^9}, {3.592489037122981*^9,
2071 3.592489040122985*^9}, {3.592489273237321*^9, 3.5924894200475264`*^9}, {
2072 3.592489450167568*^9, 3.592489462617586*^9}, {3.5924895025276413`*^9,
2073 3.5924895140576577`*^9}, {3.592489555407716*^9, 3.59248955880772*^9}, {
2074 3.592489594687771*^9, 3.5924896246378126`*^9}, {3.5925340525796127`*^9,
2075 3.5925340622828293`*^9}, {3.592534693818739*^9, 3.5925347445812273`*^9}, {
2076 3.5925349443739796`*^9, 3.592535034448538*^9}, {3.592535069314599*^9,
2077 3.5925350739946074`*^9}, {3.5925351057562633`*^9, 3.592535154085148*^9}, {
2078 3.5925351921492147`*^9, 3.5925352097616463`*^9}, {3.592631827406259*^9,
2079 3.592631834516737*^9}, {3.592631875701412*^9, 3.5926318819313717`*^9}, {
2080 3.59331580019188*^9, 3.5933158022354836`*^9}, {3.593315904275263*^9,
2081 3.593315969296177*^9}, {3.593316002321435*^9, 3.5933161081676207`*^9}, {
2082 3.59331788753334*^9, 3.5933178908233447`*^9}, {3.593317926753395*^9,
2083 3.593317946353422*^9}, {3.5933180048335047`*^9, 3.5933180260035343`*^9},
2084 3.593318100543638*^9, {3.5933181447637005`*^9, 3.5933181976737742`*^9}, {
2085 3.5933182586338596`*^9, 3.593318268463873*^9}, 3.5933352991933603`*^9, {
2086 3.593335334153022*^9, 3.5933353411418343`*^9}, {3.5933797560551863`*^9,
2087 3.5933797675992064`*^9}, {3.5933798006712646`*^9, 3.5933798325733204`*^9},
2088 3.593379899934239*^9, {3.5933989248850307`*^9, 3.593398950325066*^9}, {
2089 3.593399785706236*^9, 3.5933997899862413`*^9}, {3.5933998470163217`*^9,
2090 3.593399865876348*^9}, {3.593400000286536*^9, 3.593400035286585*^9}, {
2091 3.593400077586644*^9, 3.593400112276693*^9}, {3.5934001963868103`*^9,
2092 3.593400196776811*^9}, {3.593424597046548*^9, 3.593424597546549*^9}, {
2093 3.5934246802666645`*^9, 3.5934246830866685`*^9}, {3.593424715716714*^9,
2094 3.5934248067368417`*^9}, {3.593425196547387*^9, 3.5934252025773954`*^9}, {
2095 3.593425274387496*^9, 3.5934253794676433`*^9}, {3.5934254425377316`*^9,
2096 3.593425452777746*^9}, 3.5936699574002557`*^9, {3.5936719075809913`*^9,
2097 3.5936719260910172`*^9}, {3.5936719600910645`*^9, 3.593672015731143*^9}, {
2098 3.593672080071233*^9, 3.5936720842312384`*^9}, {3.5937442630529857`*^9,
2099 3.593744281851019*^9}, {3.5937690582606063`*^9, 3.5937690686106205`*^9}, {
2100 3.594553827701724*^9, 3.5945538277329245`*^9}, {3.5945542534144726`*^9,
2101 3.594554271900505*^9}, {3.594555498955861*^9, 3.5945555049150715`*^9},
2102 3.594556912599144*^9, {3.5946187595660725`*^9, 3.5946187629200783`*^9}, {
2103 3.5946200070378633`*^9, 3.594620037005516*^9}, {3.5946200679715705`*^9,
2104 3.594620132040883*^9}, {3.5946202816071453`*^9, 3.594620286411954*^9}, {
2105 3.594620568179649*^9, 3.5946205917512903`*^9}, {3.594620681045847*^9,
2106 3.5946206831362505`*^9}, {3.594620726551127*^9, 3.5946207284699306`*^9},
2107 3.594694394282547*^9, {3.601456046786872*^9, 3.6014561827723103`*^9}, {
2108 3.601456301304119*^9, 3.601456383812664*^9}, 3.601456727762068*^9, {
2109 3.604839989651716*^9, 3.604840067849715*^9}, {3.604840291811432*^9,
2110 3.604840304034184*^9}, {3.644805814248506*^9, 3.644805836168743*^9}, {
2111 3.644806474975388*^9, 3.644806500410037*^9}, {3.6448068544319887`*^9,
2112 3.644806872642951*^9}, 3.64480707254172*^9, {3.644808633627316*^9,
2113 3.644808647754312*^9}, {3.6448094040445004`*^9, 3.644809404930126*^9}, {
2114 3.6448095949446487`*^9, 3.6448095966783524`*^9}, 3.648641396469462*^9, {
2115 3.64921778109228*^9, 3.6492177811410227`*^9}, {3.652765102975128*^9,
2116 3.6527651117823677`*^9}, {3.655625053633609*^9, 3.65562510242038*^9}, {
2117 3.655625186167478*^9, 3.655625223574005*^9}, {3.65562525904158*^9,
2118 3.655625280647654*^9}, {3.655625328257716*^9, 3.655625399079811*^9}, {
2119 3.655625718554661*^9, 3.655625729732356*^9}, {3.6556491606126547`*^9,
2120 3.655649180142568*^9}, {3.6568256341283693`*^9, 3.656825641878642*^9},
2121 3.657035133032629*^9, {3.658668442880075*^9, 3.658668443390081*^9}, {
2122 3.65986999514287*^9, 3.659869999597781*^9}, {3.6675507797512913`*^9,
2123 3.667550786748271*^9}, {3.6675510092461*^9, 3.667551010515251*^9}, {
2124 3.6675789665060177`*^9, 3.6675789774893503`*^9}, {3.7409871284985123`*^9,
2125 3.740987139261211*^9}},ExpressionUUID->"5224b1a8-e755-4d92-82c2-\
212671bf84a525ee"],
2127
2128Cell[BoxData[
2129 RowBox[{
2130 RowBox[{"Launchftn", "[",
2131 RowBox[{"M_", ",", "ct_", ",", "ag_"}], "]"}], ":=",
2132 RowBox[{"\"\<launch -n \>\"", "<>",
2133 RowBox[{"ToString", "[", "M", "]"}], "<>", "\"\<_\>\"", "<>",
2134 RowBox[{"ToString", "[", "ct", "]"}], "<>", "\"\<_\>\"", "<>",
2135 RowBox[{"ToString", "[", "ag", "]"}], "<>",
2136 "\"\<\n0\nset run_card nevents 10000\nset run_card ebeam1 6500\nset \
2137run_card ebeam2 6500\nset run_card ptj 15\nset run_card ptb 15\nset run_card \
2138etaj 5\nset run_card etab 5\nset param_card Wv1 Auto\nset param_card Mv1 \
2139\>\"", "<>",
2140 RowBox[{"ToString", "[", "M", "]"}], "<>", "\"\<\nset param_card ct1 \>\"",
2141 "<>",
2142 RowBox[{"ToString", "[", "ct", "]"}], "<>",
2143 "\"\<\nset param_card theta1 \>\"", "<>",
2144 RowBox[{"ToString", "[", "ag", "]"}], "<>", "\"\<\\n\>\""}]}]], "Input",
2145 CellChangeTimes->{{3.591608881413459*^9, 3.5916089426185093`*^9}, {
2146 3.5916089764139442`*^9, 3.591608984181841*^9}, {3.5916094388366985`*^9,
2147 3.5916094397267*^9}, {3.5924898696861663`*^9, 3.5924898771961765`*^9}, {
2148 3.5924899118462253`*^9, 3.592489934626257*^9}, {3.5924900410264063`*^9,
2149 3.5924900684864445`*^9}, {3.5924903368668203`*^9,
2150 3.5924903370868206`*^9}, {3.5924903950069017`*^9, 3.592490395526902*^9}, {
2151 3.5924904815770226`*^9, 3.5924904879770317`*^9}, 3.5924905816071625`*^9, {
2152 3.592490691181323*^9, 3.5924906949913282`*^9}, {3.5924907461514*^9,
2153 3.5924907548914127`*^9}, {3.592490808271487*^9, 3.5924908085314875`*^9}, {
2154 3.59249111735192*^9, 3.5924911228019276`*^9}, {3.592492070463254*^9,
2155 3.5924921037333007`*^9}, {3.5925490547752657`*^9, 3.592549116161374*^9}, {
2156 3.592549150965035*^9, 3.5925492492608075`*^9}, {3.5925493854970474`*^9,
2157 3.592549608000238*^9}, {3.5925496712115493`*^9, 3.5925497197276344`*^9}, {
2158 3.592631807235079*^9, 3.592631807999572*^9}, {3.5945565840469666`*^9,
2159 3.5945566115654154`*^9}, {3.6014564049351015`*^9, 3.60145641557432*^9}, {
2160 3.60145647273282*^9, 3.6014565970338383`*^9}, {3.604840120710033*^9,
2161 3.604840128202614*^9}, {3.604840192275465*^9, 3.604840261579953*^9}, {
2162 3.6448065146758738`*^9, 3.64480652213912*^9}, {3.6448066669892807`*^9,
2163 3.6448067326908216`*^9}, {3.6448085431161203`*^9,
2164 3.6448085494172087`*^9}, {3.6448086048836412`*^9, 3.644808620979801*^9}, {
2165 3.644808712809244*^9, 3.644808713111957*^9}, {3.644808927860618*^9,
2166 3.6448089334662437`*^9}, {3.64864144795794*^9, 3.648641454935459*^9}, {
2167 3.64864156194562*^9, 3.648641565652988*^9}, {3.6486416145941467`*^9,
2168 3.648641616249875*^9}, {3.652765133457983*^9, 3.652765164930368*^9}, {
2169 3.655625814990261*^9, 3.655625815270228*^9}, {3.655718988650882*^9,
2170 3.6557190007311707`*^9}, {3.655719210918*^9, 3.655719212118081*^9}, {
2171 3.655719274309569*^9, 3.65571927563074*^9}, {3.656805972584817*^9,
2172 3.656805975024791*^9}, {3.6568138802647333`*^9, 3.656813880792889*^9},
2173 3.6568139180003366`*^9, {3.656826022790547*^9, 3.656826023765188*^9}, {
2174 3.65682608821697*^9, 3.656826112594905*^9}, {3.656827376499395*^9,
2175 3.6568273784659157`*^9}, 3.657035260525297*^9, {3.65703586362428*^9,
2176 3.65703587630442*^9}, {3.6604879250594263`*^9, 3.6604879256509523`*^9}, {
2177 3.6675507965644608`*^9, 3.6675508142993793`*^9}, {3.667578997204494*^9,
2178 3.66757900473116*^9}, {3.667579102167099*^9, 3.667579102958521*^9},
2179 3.667579174196974*^9, {3.740987144981882*^9, 3.740987225389525*^9}, {
2180 3.740987478678368*^9,
2181 3.740987478932995*^9}},ExpressionUUID->"5ccc317a-9e64-48f6-b8d2-\
21829954b0f4e020"],
2183
2184Cell[CellGroupData[{
2185
2186Cell[BoxData[{
2187 RowBox[{"Launchftn", "[",
2188 RowBox[{"1000", ",", "1", ",",
2189 RowBox[{
2190 RowBox[{"N", "[", "Pi", "]"}], "/", "2"}]}], "]"}], "\[IndentingNewLine]",
2191 RowBox[{
2192 RowBox[{"StringJoin", "@@", "%"}], ";"}], "\[IndentingNewLine]",
2193 RowBox[{
2194 RowBox[{"head", "<>", "%"}], ";"}], "\[IndentingNewLine]",
2195 RowBox[{"Export", "[",
2196 RowBox[{
2197 RowBox[{"processname", "<>", "\"\<.ms\>\""}], ",", "%", ",",
2198 "\"\<text\>\""}], "]"}]}], "Input",
2199 CellChangeTimes->{{3.740987422051646*^9, 3.740987466420822*^9}, {
2200 3.740987708592598*^9,
2201 3.740987708718474*^9}},ExpressionUUID->"71a7d2cf-9f8a-4c68-b795-\
22025f90e6d73a24"],
2203
2204Cell[BoxData["\<\"launch -n 1000_1_1.5708\\n0\\nset run_card nevents \
220510000\\nset run_card ebeam1 6500\\nset run_card ebeam2 6500\\nset run_card \
2206ptj 15\\nset run_card ptb 15\\nset run_card etaj 5\\nset run_card etab \
22075\\nset param_card Wv1 Auto\\nset param_card Mv1 1000\\nset param_card ct1 \
22081\\nset param_card theta1 1.5708\\n\"\>"], "Output",
2209 CellChangeTimes->{{3.740987424804735*^9, 3.740987480748589*^9},
2210 3.740987714842636*^9},ExpressionUUID->"9e529c91-2d43-4eed-89cd-\
22119fa4b539043f"],
2212
2213Cell[BoxData["\<\"Top_Philic_example.ms\"\>"], "Output",
2214 CellChangeTimes->{{3.740987424804735*^9, 3.740987480748589*^9},
2215 3.740987714856367*^9},ExpressionUUID->"d30fe0db-9f62-4d12-94b2-\
2216865dcde1a81d"]
2217}, Open ]]
2218}, Open ]]
2219}, Open ]]
2220}, Open ]]
2221},
2222WindowSize->{979, 801},
2223WindowMargins->{{1, Automatic}, {Automatic, 0}},
2224ShowSelection->True,
2225FrontEndVersion->"11.2 for Mac OS X x86 (32-bit, 64-bit Kernel) (September \
222610, 2017)",
2227StyleDefinitions->"Default.nb"
2228]
2229(* End of Notebook Content *)
2230
2231(* Internal cache information *)
2232(*CellTagsOutline
2233CellTagsIndex->{}
2234*)
2235(*CellTagsIndex
2236CellTagsIndex->{}
2237*)
2238(*NotebookFileOutline
2239Notebook[{
2240Cell[545, 20, 229, 5, 30, "Input",ExpressionUUID->"9a9eddcf-a65b-48d3-9c0a-530dbabf8851"],
2241Cell[CellGroupData[{
2242Cell[799, 29, 262, 4, 45, "Subsubsection",ExpressionUUID->"2236e9e3-ce4b-4c63-8b1d-8fe1e0b7052f"],
2243Cell[CellGroupData[{
2244Cell[1086, 37, 761, 14, 30, "Input",ExpressionUUID->"34783483-4100-4d33-a9bf-6009fae692b7"],
2245Cell[1850, 53, 3338, 48, 34, "Output",ExpressionUUID->"34ce306e-d9c2-4e3e-afdc-4faee60d93da"]
2246}, Open ]],
2247Cell[CellGroupData[{
2248Cell[5225, 106, 109, 1, 30, "Input",ExpressionUUID->"6c55d96c-63b8-4f9e-9cde-0ae49829d043"],
2249Cell[CellGroupData[{
2250Cell[5359, 111, 267, 4, 24, "Print",ExpressionUUID->"2fc5e2ef-ddc7-4024-b0d9-7c5707952857"],
2251Cell[5629, 117, 538, 11, 24, "Print",ExpressionUUID->"31ee9abb-3028-4b85-bc29-6f8e19dd5fea"],
2252Cell[6170, 130, 319, 5, 24, "Print",ExpressionUUID->"c121ac54-2ac0-450e-b803-ccbbe041a760"],
2253Cell[6492, 137, 253, 4, 24, "Print",ExpressionUUID->"c8a9f754-7215-4a57-8fd5-a0fd87034c4a"],
2254Cell[6748, 143, 264, 4, 24, "Print",ExpressionUUID->"7d3ef03f-45bd-4afa-943d-34f3c17bd2dd"],
2255Cell[7015, 149, 316, 5, 24, "Print",ExpressionUUID->"9a028a0f-ea3c-473b-9437-484b205c9b95"],
2256Cell[7334, 156, 316, 5, 24, "Print",ExpressionUUID->"0e3b617a-81c6-495c-8834-e9c840805c44"],
2257Cell[7653, 163, 250, 3, 24, "Print",ExpressionUUID->"f4031b3f-736f-469c-834d-1aeebb72e386"],
2258Cell[7906, 168, 283, 4, 24, "Print",ExpressionUUID->"af075ea8-5aa8-41d8-985e-b71e52d97c4b"],
2259Cell[8192, 174, 255, 4, 24, "Print",ExpressionUUID->"44550818-0329-4d44-9ce1-81a037fa2976"],
2260Cell[8450, 180, 322, 5, 24, "Print",ExpressionUUID->"9d0292fc-cd24-4c26-9d7d-c33e41202317"]
2261}, Open ]]
2262}, Open ]],
2263Cell[8799, 189, 1186, 19, 30, "Input",ExpressionUUID->"5a8df67e-cb24-4d05-8d54-a0955363ae47"]
2264}, Open ]],
2265Cell[CellGroupData[{
2266Cell[10022, 213, 205, 4, 98, "Title",ExpressionUUID->"2af559c6-f0b3-41c3-bdab-f227e6962e9c"],
2267Cell[10230, 219, 238, 5, 35, "Text",ExpressionUUID->"a8b3c9c0-90bb-4471-ae50-acebbac792c6"],
2268Cell[CellGroupData[{
2269Cell[10493, 228, 985, 15, 30, "Input",ExpressionUUID->"3fa72bc5-b536-41d7-93cb-c58c2299ca2d"],
2270Cell[CellGroupData[{
2271Cell[11503, 247, 592, 9, 24, "Print",ExpressionUUID->"888052b3-b002-4c10-9559-83bb9f262f81"],
2272Cell[12098, 258, 607, 9, 24, "Print",ExpressionUUID->"03fdbfa7-e1dc-464f-8f64-6530995bd30f"],
2273Cell[12708, 269, 581, 9, 24, "Print",ExpressionUUID->"4ac7dfae-1db3-494a-8280-74efc7eb5fc0"],
2274Cell[13292, 280, 582, 9, 24, "Print",ExpressionUUID->"71be5579-bde9-40f7-bbdf-b4fc5088c301"],
2275Cell[13877, 291, 718, 13, 24, "Print",ExpressionUUID->"508bf887-0572-415a-ba12-30ca09d1104e"],
2276Cell[14598, 306, 616, 10, 24, "Print",ExpressionUUID->"444fa0cc-9ef8-479e-9049-2054e1b7f8a3"],
2277Cell[15217, 318, 570, 9, 24, "Print",ExpressionUUID->"a37ba8f7-7b39-4f48-88ea-92a91ab34835"],
2278Cell[15790, 329, 598, 9, 24, "Print",ExpressionUUID->"6bc8a473-59ab-47c9-9a26-1d7d4a01b0fd"],
2279Cell[16391, 340, 601, 9, 24, "Print",ExpressionUUID->"fc5bbc4e-c88e-458a-86d3-bd588d322a74"],
2280Cell[16995, 351, 599, 9, 24, "Print",ExpressionUUID->"62624519-56c8-4b49-ac46-caa044b25786"],
2281Cell[17597, 362, 772, 14, 44, "Print",ExpressionUUID->"8ee1dc0d-932f-473a-ac75-09ec41442531"]
2282}, Open ]]
2283}, Open ]],
2284Cell[CellGroupData[{
2285Cell[18418, 382, 430, 9, 30, "Input",ExpressionUUID->"96babad4-4f4b-4299-ae95-5951d9b123d5"],
2286Cell[CellGroupData[{
2287Cell[18873, 395, 952, 17, 24, "Print",ExpressionUUID->"bdd4e6d3-9da6-4eed-9427-61f43051f7c6"],
2288Cell[19828, 414, 956, 17, 24, "Print",ExpressionUUID->"6fe3aa28-331b-4fe1-9e33-1a125e37dba1"],
2289Cell[20787, 433, 958, 17, 24, "Print",ExpressionUUID->"1e74d853-90c7-40e7-98e3-a6ef96fbff74"],
2290Cell[21748, 452, 488, 7, 24, "Print",ExpressionUUID->"b9ce3dc4-46cf-4701-a3c5-3d750a0f014f"]
2291}, Open ]],
2292Cell[22251, 462, 516, 9, 34, "Output",ExpressionUUID->"057e0f5a-7f38-435f-b450-2b6540762a00"]
2293}, Open ]],
2294Cell[22782, 474, 236, 5, 35, "Text",ExpressionUUID->"0db0d3e5-0289-4717-bee3-87e98e7d09f1"],
2295Cell[CellGroupData[{
2296Cell[23043, 483, 157, 3, 30, "Input",ExpressionUUID->"76d8349c-eabf-4c01-9d24-0c01e627caf9"],
2297Cell[23203, 488, 764, 22, 39, "Output",ExpressionUUID->"86bf899e-9183-4c2f-a279-d13b2e3c8c3a"]
2298}, Open ]],
2299Cell[CellGroupData[{
2300Cell[24004, 515, 313, 5, 67, "Section",ExpressionUUID->"487ca974-4a6c-48db-9635-b02ddbf0d1cb"],
2301Cell[24320, 522, 220, 5, 30, "Input",ExpressionUUID->"d4a7fcb3-091a-43f9-8fe8-352c3053145b"],
2302Cell[CellGroupData[{
2303Cell[24565, 531, 170, 3, 54, "Subsection",ExpressionUUID->"ca127d09-0b43-4447-ab0b-a0c7020d5ed8"],
2304Cell[24738, 536, 194, 3, 35, "Text",ExpressionUUID->"b040f9d0-2e7b-4627-8bd5-4ec881d2a6fa"],
2305Cell[CellGroupData[{
2306Cell[24957, 543, 1011, 15, 30, "Input",ExpressionUUID->"0b7086a8-5057-41cd-9eee-31f0a57e89f8"],
2307Cell[CellGroupData[{
2308Cell[25993, 562, 1104, 17, 24, "Print",ExpressionUUID->"7b5269d8-81a5-4baa-b1c6-e99e07437a26"],
2309Cell[27100, 581, 1100, 17, 24, "Print",ExpressionUUID->"4c779a80-7dc2-4038-bd1e-95dccb1f55ab"],
2310Cell[28203, 600, 1295, 24, 24, "Print",ExpressionUUID->"6f24f8fe-2a40-4b88-bfaf-fb2207371c35"],
2311Cell[29501, 626, 1050, 16, 24, "Print",ExpressionUUID->"3c5ee63f-ed00-4b32-bcd7-9fd484c3689a"],
2312Cell[30554, 644, 1043, 16, 24, "Print",ExpressionUUID->"6542c0fa-fb3c-425f-9f42-2d9937322a04"],
2313Cell[31600, 662, 1163, 20, 24, "Print",ExpressionUUID->"43603478-6059-499a-bbc9-d0143bb51874"],
2314Cell[32766, 684, 1050, 16, 24, "Print",ExpressionUUID->"144182f3-4a7e-465e-add3-f4d6d5cf0f4a"]
2315}, Open ]],
2316Cell[33831, 703, 1029, 17, 34, "Output",ExpressionUUID->"09f9645b-47bb-47fa-9e13-d6a26c34bc83"]
2317}, Open ]]
2318}, Open ]],
2319Cell[CellGroupData[{
2320Cell[34909, 726, 173, 3, 54, "Subsection",ExpressionUUID->"2bbaad75-62b6-4ca1-a629-469f22a36c50"],
2321Cell[35085, 731, 241, 6, 35, "Text",ExpressionUUID->"685d0054-0d81-4c9e-a668-844d8781408e"],
2322Cell[CellGroupData[{
2323Cell[35351, 741, 362, 7, 30, "Input",ExpressionUUID->"57f7eee1-829b-46fd-a13c-a9d69680626b"],
2324Cell[CellGroupData[{
2325Cell[35738, 752, 545, 11, 24, "Print",ExpressionUUID->"cf11a547-f99b-4a77-9b42-3e67a610bb70"],
2326Cell[36286, 765, 325, 5, 24, "Print",ExpressionUUID->"04a5a3f4-468c-4dde-95aa-73964742ebe1"],
2327Cell[36614, 772, 337, 5, 24, "Print",ExpressionUUID->"91fc0445-7051-4614-9982-3d5cc275973f"]
2328}, Open ]],
2329Cell[36966, 780, 130, 2, 34, "Output",ExpressionUUID->"1954bc59-4a88-414e-91e2-10bc96c9e50f"]
2330}, Open ]]
2331}, Open ]],
2332Cell[CellGroupData[{
2333Cell[37145, 788, 163, 3, 54, "Subsection",ExpressionUUID->"67459bf3-fe05-407c-8d2e-524f1f025cd0"],
2334Cell[CellGroupData[{
2335Cell[37333, 795, 438, 7, 30, "Input",ExpressionUUID->"78e49f55-97ee-464c-bc9c-c544f46f5b00"],
2336Cell[CellGroupData[{
2337Cell[37796, 806, 735, 15, 24, "Print",ExpressionUUID->"9f3ef338-3ada-46fb-999e-f792d47a3079"],
2338Cell[38534, 823, 492, 7, 24, "Print",ExpressionUUID->"f72aa08f-895d-4dcc-8f77-957127362dc3"],
2339Cell[39029, 832, 525, 8, 24, "Print",ExpressionUUID->"bfe0ba49-b9ed-4d2e-b53e-fa827076d237"],
2340Cell[39557, 842, 1003, 19, 24, "Print",ExpressionUUID->"8481b4ea-6bd5-4756-a4b5-3418a81a963b"],
2341Cell[40563, 863, 481, 7, 24, "Print",ExpressionUUID->"a7105e2b-1a73-4e89-b07a-ce50c68fc160"]
2342}, Open ]],
2343Cell[41059, 873, 1958, 52, 45, "Output",ExpressionUUID->"c91c4e66-debf-4ceb-a2d3-5190266b9308"]
2344}, Open ]],
2345Cell[CellGroupData[{
2346Cell[43054, 930, 517, 10, 30, "Input",ExpressionUUID->"ae7d9451-537a-40e3-97e0-5c70eca46be1"],
2347Cell[CellGroupData[{
2348Cell[43596, 944, 818, 17, 24, "Print",ExpressionUUID->"2d28abac-fa46-4ff7-a1a3-326799043523"],
2349Cell[44417, 963, 573, 9, 24, "Print",ExpressionUUID->"f0a10ef7-7ac7-483c-b814-c2c38227f22d"],
2350Cell[44993, 974, 605, 10, 24, "Print",ExpressionUUID->"235e569b-5470-4498-9f1a-2b8df0de1554"],
2351Cell[45601, 986, 1082, 21, 24, "Print",ExpressionUUID->"5df597bb-732c-43d9-94b7-18f17c64ee99"],
2352Cell[46686, 1009, 566, 9, 24, "Print",ExpressionUUID->"6640a85a-3c0c-421f-8f12-46a83d8d1ac3"]
2353}, Open ]]
2354}, Open ]],
2355Cell[CellGroupData[{
2356Cell[47301, 1024, 227, 5, 30, "Input",ExpressionUUID->"3e297325-bb4f-4017-a537-c138f6f2e251"],
2357Cell[CellGroupData[{
2358Cell[47553, 1033, 1007, 18, 24, "Print",ExpressionUUID->"791ce2e8-05f0-47ae-9403-5f9115cddc16"],
2359Cell[48563, 1053, 946, 19, 24, "Print",ExpressionUUID->"71984a10-f11d-4cf2-935d-d8f94ad62873"],
2360Cell[49512, 1074, 914, 18, 24, "Print",ExpressionUUID->"0e51bde3-8115-4873-8ec1-7d87d51eaf2f"]
2361}, Open ]],
2362Cell[50441, 1095, 1420, 38, 66, "Output",ExpressionUUID->"44ccb184-70fa-497b-862d-bb95f069740f"]
2363}, Open ]],
2364Cell[51876, 1136, 246, 5, 35, "Text",ExpressionUUID->"749014d9-cf45-49ab-af20-41d0854d3d8e"],
2365Cell[CellGroupData[{
2366Cell[52147, 1145, 359, 8, 30, "Input",ExpressionUUID->"84471270-b49a-4e84-a93f-9b35059d5eb6"],
2367Cell[52509, 1155, 968, 28, 66, "Output",ExpressionUUID->"36e1489d-1055-4482-8c2a-b10a706a02ff"]
2368}, Open ]],
2369Cell[53492, 1186, 230, 5, 35, "Text",ExpressionUUID->"163c73c4-af94-4249-9f6d-004cdafad0b9"],
2370Cell[CellGroupData[{
2371Cell[53747, 1195, 613, 16, 30, "Input",ExpressionUUID->"f027b521-66dd-4400-8b53-a4d1d5446d43"],
2372Cell[54363, 1213, 330, 5, 34, "Output",ExpressionUUID->"09b0a6f4-daab-4861-a330-226d6e2adfea"]
2373}, Open ]],
2374Cell[54708, 1221, 373, 7, 81, "Text",ExpressionUUID->"7c647911-84e5-482d-8c4d-973d8011026f"]
2375}, Open ]]
2376}, Open ]],
2377Cell[CellGroupData[{
2378Cell[55130, 1234, 160, 3, 67, "Section",ExpressionUUID->"2c5ac4fc-05bc-4cee-af9c-983f2b88ca76"],
2379Cell[CellGroupData[{
2380Cell[55315, 1241, 570, 10, 30, "Input",ExpressionUUID->"13b25c41-890d-4c26-a7ef-d58263aa84b2"],
2381Cell[CellGroupData[{
2382Cell[55910, 1255, 979, 17, 24, "Print",ExpressionUUID->"00ca5c88-c8b5-414b-9e30-2a2569f083b0"],
2383Cell[56892, 1274, 1202, 24, 24, "Print",ExpressionUUID->"63a5eefb-eb7d-4973-9ee6-f9b2aaf4b1df"],
2384Cell[58097, 1300, 957, 16, 24, "Print",ExpressionUUID->"7b52a900-f33c-4126-a07b-65584a4b4191"],
2385Cell[59057, 1318, 1139, 21, 24, "Print",ExpressionUUID->"d6557ab2-fca0-4bd8-9f64-2fa20264b705"],
2386Cell[60199, 1341, 990, 17, 24, "Print",ExpressionUUID->"641a66d4-7766-49c4-8273-8c1ea2da3cd2"],
2387Cell[61192, 1360, 1470, 28, 24, "Print",ExpressionUUID->"a91dcea0-4ae5-40a0-a5ce-ffd30be1452c"],
2388Cell[62665, 1390, 1072, 20, 24, "Print",ExpressionUUID->"29aae52c-2717-44f5-8cab-580bf9da5c2e"],
2389Cell[63740, 1412, 1202, 24, 24, "Print",ExpressionUUID->"8e43020a-7859-4374-8b84-c51c4cef6e32"],
2390Cell[64945, 1438, 957, 16, 24, "Print",ExpressionUUID->"234449ec-8d77-46e8-86a8-e3943c6fb03e"],
2391Cell[65905, 1456, 990, 17, 24, "Print",ExpressionUUID->"947d5291-2e79-4300-aa13-1cea15c425e2"],
2392Cell[66898, 1475, 1466, 28, 24, "Print",ExpressionUUID->"439f8ebf-c030-473d-af0f-7afa5c877ae0"],
2393Cell[68367, 1505, 948, 16, 24, "Print",ExpressionUUID->"b3750a4a-0071-4f76-b069-2aaf7db7502d"],
2394Cell[69318, 1523, 1301, 24, 24, "Print",ExpressionUUID->"1b0d4642-01e9-4a29-90d2-cb718d93eb31"],
2395Cell[70622, 1549, 971, 16, 24, "Print",ExpressionUUID->"352aa278-7178-4a99-93dc-59c8164f9ff3"],
2396Cell[71596, 1567, 1238, 25, 24, "Print",ExpressionUUID->"fa03a6fc-ed2c-45a4-9e48-04a23093e65f"],
2397Cell[72837, 1594, 1208, 24, 24, "Print",ExpressionUUID->"d7d9b21e-11a6-41aa-a4bc-66633ebeb527"],
2398Cell[74048, 1620, 1170, 21, 24, "Print",ExpressionUUID->"e25cf684-db20-417c-88d9-6458702ed57e"],
2399Cell[75221, 1643, 1156, 21, 24, "Print",ExpressionUUID->"73d3eb53-fdac-41d5-99b9-b3f4a9b94b7a"],
2400Cell[76380, 1666, 954, 16, 24, "Print",ExpressionUUID->"22a57518-acd8-4c3a-8be4-0f6e7a1df825"],
2401Cell[77337, 1684, 978, 17, 24, "Print",ExpressionUUID->"a1a12d95-6317-4e7f-a6d4-2c75cea66afb"],
2402Cell[78318, 1703, 1169, 21, 24, "Print",ExpressionUUID->"5a72bc03-8efd-4fac-bf06-602cec27fc87"],
2403Cell[79490, 1726, 1326, 24, 24, "Print",ExpressionUUID->"b25f6639-59b7-4c5e-a509-32938176bf0a"],
2404Cell[80819, 1752, 950, 16, 24, "Print",ExpressionUUID->"88c4bbac-32f2-4288-b66b-1bd5e3349a93"],
2405Cell[81772, 1770, 935, 16, 24, "Print",ExpressionUUID->"7514fd48-eddf-4028-9c88-4c5e347ed963"]
2406}, Open ]],
2407Cell[82722, 1789, 491, 9, 34, "Output",ExpressionUUID->"87fb2e22-e938-41d6-9f56-cb0204ea2eff"]
2408}, Open ]]
2409}, Open ]],
2410Cell[CellGroupData[{
2411Cell[83262, 1804, 684, 24, 68, "Section",ExpressionUUID->"453420bb-6e87-4437-856c-5580ffe18b46"],
2412Cell[CellGroupData[{
2413Cell[83971, 1832, 482, 7, 54, "Subsection",ExpressionUUID->"a8d18927-77b6-4fc7-9377-6c801f220599"],
2414Cell[84456, 1841, 688, 13, 30, "Input",ExpressionUUID->"16e3bca2-bc8e-4ccb-a81e-64a055dfe52d"],
2415Cell[85147, 1856, 4957, 70, 73, "Input",ExpressionUUID->"d112b89e-a0ac-4edd-b5ea-0e85aa7edfca"],
2416Cell[90107, 1928, 3509, 54, 283, "Input",ExpressionUUID->"8d270e46-08cf-4e1f-a179-6341b22618b8"],
2417Cell[CellGroupData[{
2418Cell[93641, 1986, 633, 16, 94, "Input",ExpressionUUID->"490c7969-1e86-453a-9f69-1f4222133c80"],
2419Cell[94277, 2004, 499, 7, 308, "Output",ExpressionUUID->"17912cc0-d9a6-4413-b2d8-ab4a6332f8ea"],
2420Cell[94779, 2013, 205, 3, 34, "Output",ExpressionUUID->"9987c56e-b6af-428b-b7bf-5b7aff3c6884"]
2421}, Open ]]
2422}, Open ]],
2423Cell[95011, 2020, 268, 7, 108, "Subsection",ExpressionUUID->"d72b00bc-6465-4d9f-962b-bbc3b2370125"],
2424Cell[CellGroupData[{
2425Cell[95304, 2031, 482, 7, 38, "Subsection",ExpressionUUID->"6bf16db4-2fdd-49ce-bb36-bc6782990c37"],
2426Cell[95789, 2040, 688, 13, 30, "Input",ExpressionUUID->"32d07b75-f552-4f7a-93e5-3d0d24010863"],
2427Cell[96480, 2055, 4957, 70, 73, "Input",ExpressionUUID->"5224b1a8-e755-4d92-82c2-71bf84a525ee"],
2428Cell[101440, 2127, 3509, 54, 283, "Input",ExpressionUUID->"5ccc317a-9e64-48f6-b8d2-9954b0f4e020"],
2429Cell[CellGroupData[{
2430Cell[104974, 2185, 633, 16, 94, "Input",ExpressionUUID->"71a7d2cf-9f8a-4c68-b795-5f90e6d73a24"],
2431Cell[105610, 2203, 499, 7, 308, "Output",ExpressionUUID->"9e529c91-2d43-4eed-89cd-9fa4b539043f"],
2432Cell[106112, 2212, 205, 3, 34, "Output",ExpressionUUID->"d30fe0db-9f62-4d12-94b2-865dcde1a81d"]
2433}, Open ]]
2434}, Open ]]
2435}, Open ]]
2436}, Open ]]
2437}
2438]
2439*)
2440