forked from smsharma/semi-visible-jets
-
Notifications
You must be signed in to change notification settings - Fork 4
/
DMsimp_tchannel.nb
2013 lines (1951 loc) · 123 KB
/
DMsimp_tchannel.nb
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
(* Content-type: application/vnd.wolfram.mathematica *)
(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)
(* CreatedBy='Mathematica 11.1' *)
(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[ 158, 7]
NotebookDataLength[ 126263, 2005]
NotebookOptionsPosition[ 123734, 1929]
NotebookOutlinePosition[ 124090, 1945]
CellTagsIndexPosition[ 124047, 1942]
WindowFrame->Normal*)
(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[{
RowBox[{"ClearAll", "[", "\"\<Global`*\>\"", "]"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"ClearAll", "[",
RowBox[{"Evaluate", "[",
RowBox[{"$Context", "<>", "\"\<*\>\""}], "]"}], "]"}], ";"}]}], "Input",
CellChangeTimes->{3.7045930705444603`*^9},
ExpressionUUID -> "0dd3db8e-cccd-4f66-85a0-de8a9cd26e37"],
Cell[BoxData[
RowBox[{
RowBox[{"Quit", "[", "]"}], "\[IndentingNewLine]"}]], "Input",
CellChangeTimes->{{3.4921467751527157`*^9, 3.492146776183146*^9},
3.704413174045697*^9, {3.704592864897822*^9, 3.704592885035091*^9}},
ExpressionUUID -> "786e1b05-7a32-4ee7-9d4e-75c58fb06a46"],
Cell[CellGroupData[{
Cell[BoxData[{
RowBox[{"$FeynRulesPath", "=",
RowBox[{
"SetDirectory", "[", "\"\<~/feynrules-current/\>\"",
"]"}]}], "\[IndentingNewLine]",
RowBox[{"<<", "FeynRules`"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"SetDirectory", "[",
RowBox[{"$FeynRulesPath", "<>", "\"\</Models/SM\>\""}], "]"}],
";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"LoadModel", "[",
RowBox[{"\"\<SM.fr\>\"", ",", "\"\<DMsimp_tchannel.fr\>\""}], "]"}],
";"}]}], "Input",
CellChangeTimes->{{3.41265862251538*^9, 3.412658649947229*^9}, {
3.423415585782702*^9, 3.423415597189939*^9}, {3.4234163173467493`*^9,
3.4234163227881193`*^9}, {3.704413195146665*^9, 3.70441320907726*^9}, {
3.704414940161038*^9, 3.704414940934361*^9}, {3.704939797028366*^9,
3.70493979739987*^9}, {3.704940006063283*^9, 3.704940009325398*^9}, {
3.7049407184179897`*^9, 3.7049407195426207`*^9}, {3.705048676764983*^9,
3.7050486772305403`*^9}, {3.705056442764091*^9, 3.705056443720085*^9}, {
3.705510132684026*^9, 3.7055101402532063`*^9}, {3.7056145503354797`*^9,
3.705614566774439*^9}, {3.708087769073393*^9, 3.70808778330013*^9}},
ExpressionUUID -> "117fe526-22bf-4717-ab4c-45c329bacce3"],
Cell[BoxData["\<\"/Users/smsharma/feynrules-current\"\>"], "Output",
CellChangeTimes->{{3.704413199377861*^9, 3.7044132094156027`*^9},
3.7044132644059477`*^9, 3.704414541030117*^9, 3.704414650750168*^9, {
3.704414691734762*^9, 3.704414710853396*^9}, 3.704414790073596*^9, {
3.704414844114843*^9, 3.704414864114348*^9}, 3.7044149449829283`*^9,
3.7044150123692007`*^9, 3.704415052922291*^9, 3.704415108783135*^9,
3.704415564456347*^9, 3.704415658393549*^9, {3.704419240345138*^9,
3.704419275942532*^9}, 3.7044195433699627`*^9, 3.704419638493767*^9,
3.704573312599784*^9, 3.704573448798827*^9, 3.704575264567374*^9,
3.704575519073215*^9, 3.7045755924609547`*^9, {3.7045788498548203`*^9,
3.704578864016481*^9}, 3.704578987327639*^9, 3.704579023955591*^9, {
3.704579115024191*^9, 3.7045791421922197`*^9}, 3.7045792015340776`*^9, {
3.704579503011792*^9, 3.7045795184469223`*^9}, 3.704579834564996*^9,
3.70457991837227*^9, 3.7045799710161047`*^9, 3.7045801098075247`*^9,
3.70458043400113*^9, 3.704580584241322*^9, 3.704580699103671*^9,
3.704580879919929*^9, 3.704581694832053*^9, 3.704581971551073*^9, {
3.7045820192971497`*^9, 3.7045820385251217`*^9}, {3.704582719749991*^9,
3.7045827366438837`*^9}, 3.704582885899755*^9, 3.7045835024229937`*^9,
3.704583780487836*^9, {3.704588127931156*^9, 3.70458814613137*^9},
3.704588197890286*^9, {3.7045882283339243`*^9, 3.704588255625107*^9},
3.7045883477359333`*^9, 3.704588422410843*^9, 3.7045886066072474`*^9,
3.704588784803335*^9, 3.704589576252913*^9, 3.704589645650144*^9,
3.70458973664704*^9, 3.704590029164877*^9, 3.704590493334031*^9, {
3.7045909257410803`*^9, 3.7045909374302797`*^9}, 3.7045916781276617`*^9, {
3.704591930152527*^9, 3.704591936567246*^9}, 3.70459202394092*^9,
3.704592170833726*^9, 3.704592242094241*^9, {3.7045928709156713`*^9,
3.704592895408855*^9}, 3.7045929894920473`*^9, 3.704593076881517*^9,
3.704593122328149*^9, {3.7045932806194344`*^9, 3.704593291339383*^9},
3.704938775677395*^9, 3.704938882946542*^9, 3.704938949597641*^9,
3.704939105685296*^9, 3.704939746906495*^9, 3.7049397981442747`*^9,
3.7049398783343678`*^9, 3.704940009994144*^9, 3.704940231417485*^9, {
3.704940708658224*^9, 3.70494072834863*^9}, 3.704946851205556*^9, {
3.704948395148851*^9, 3.704948416083815*^9}, 3.704949340295567*^9,
3.70494943902913*^9, 3.7049495937390738`*^9, 3.704949758154684*^9,
3.704949816722436*^9, 3.70494987394349*^9, {3.704950210222188*^9,
3.7049502294800243`*^9}, 3.704953839161549*^9, 3.704954072095935*^9,
3.704954114341814*^9, 3.70495414804852*^9, 3.704954272973865*^9,
3.704954492664384*^9, 3.704954639367792*^9, 3.704954947619837*^9,
3.704955116021694*^9, 3.704955318556184*^9, 3.704955439217494*^9,
3.70495548926755*^9, 3.704955588884205*^9, 3.704955967855234*^9,
3.704956046615961*^9, 3.705042353423018*^9, 3.705043977598144*^9,
3.705044229609614*^9, 3.7050442757821627`*^9, 3.705044340377825*^9,
3.705044838163896*^9, 3.7050449160676203`*^9, 3.705045164033854*^9,
3.70504535286942*^9, 3.705045511177802*^9, 3.705045553648836*^9,
3.705045661628003*^9, 3.7050462276092043`*^9, 3.705046365363809*^9,
3.705046833699568*^9, 3.705047777744562*^9, 3.705047831403022*^9,
3.705047967198188*^9, {3.7050486690139112`*^9, 3.705048681068183*^9},
3.705048736861301*^9, 3.705048901877734*^9, 3.705049020538*^9,
3.705055831115114*^9, 3.705055879540511*^9, 3.7050561903865843`*^9,
3.705056325640992*^9, {3.705056440130619*^9, 3.705056465906064*^9},
3.705056560693084*^9, 3.705056750763199*^9, {3.705125828826653*^9,
3.705125849041857*^9}, {3.7055101300663357`*^9, 3.705510147255555*^9},
3.7056145673797083`*^9, {3.705614618358588*^9, 3.705614645482826*^9}, {
3.705617972462434*^9, 3.705618030750381*^9}, 3.705759587305953*^9,
3.705759866838163*^9, 3.705760355065544*^9, 3.705760471488103*^9,
3.705760721933487*^9, 3.7057607952044163`*^9, 3.7057612599384403`*^9,
3.705761329129838*^9, 3.7057614371019573`*^9, 3.705761546725082*^9,
3.705764250555213*^9, {3.705764291683303*^9, 3.705764320339624*^9},
3.7057648675488873`*^9, {3.705772411806088*^9, 3.70577243605101*^9}, {
3.7057757898716288`*^9, 3.705775832693859*^9}, 3.705776087543853*^9,
3.7057772865776787`*^9, 3.708087783800486*^9, {3.7080878416260223`*^9,
3.708087850651388*^9}},
ExpressionUUID -> "bf97b1a3-3260-43c2-b188-82c30c4c65e2"],
Cell[CellGroupData[{
Cell[BoxData["\<\" - FeynRules - \"\>"], "Print",
CellChangeTimes->{
3.7044132094195957`*^9, 3.704413264408217*^9, 3.704414541034732*^9,
3.704414650755134*^9, {3.704414691738298*^9, 3.7044147108577147`*^9},
3.704414790077848*^9, {3.704414844119544*^9, 3.7044148641188993`*^9},
3.704414944984359*^9, 3.704415012372919*^9, 3.704415052925768*^9,
3.704415108788506*^9, 3.704415564461265*^9, 3.7044156583977633`*^9, {
3.704419240350746*^9, 3.7044192759443693`*^9}, 3.7044195433744373`*^9,
3.7044196384973497`*^9, 3.70457331260196*^9, 3.70457344880124*^9,
3.7045752645709267`*^9, 3.7045755190750523`*^9, 3.704575592464501*^9, {
3.704578849856484*^9, 3.704578864020545*^9}, 3.7045789873313723`*^9,
3.704579023980057*^9, {3.704579115025671*^9, 3.704579142197197*^9},
3.704579201535778*^9, {3.704579503014247*^9, 3.704579518448435*^9},
3.7045798345677233`*^9, 3.704579918380909*^9, 3.7045799710198317`*^9,
3.7045801098981113`*^9, 3.704580434004944*^9, 3.704580584245228*^9,
3.704580699108005*^9, 3.704580879922472*^9, 3.704581694836545*^9,
3.704581971555172*^9, {3.704582019302738*^9, 3.7045820385312767`*^9}, {
3.70458271975609*^9, 3.704582736648645*^9}, 3.704582885918647*^9,
3.704583502428563*^9, 3.704583780492453*^9, {3.704588127966569*^9,
3.704588146133047*^9}, 3.704588197921611*^9, {3.704588228335585*^9,
3.7045882556263323`*^9}, 3.704588347761943*^9, 3.7045884224271917`*^9,
3.704588606625126*^9, 3.704588784836694*^9, 3.70458957625655*^9,
3.704589645651396*^9, 3.7045897366492167`*^9, 3.70459002918904*^9,
3.70459049333539*^9, {3.704590925744289*^9, 3.7045909374347754`*^9},
3.7045916781313753`*^9, {3.704591930153611*^9, 3.704591936572785*^9},
3.704592023946804*^9, 3.704592170841959*^9, 3.704592242097231*^9, {
3.704592870922179*^9, 3.704592895431686*^9}, 3.704592989493719*^9,
3.704593076885316*^9, 3.704593122332162*^9, {3.704593280634919*^9,
3.704593291342414*^9}, 3.704938775681532*^9, 3.704938883001266*^9,
3.704938949602173*^9, 3.704939105692699*^9, 3.704939746911167*^9,
3.7049397981457376`*^9, 3.704939878336171*^9, 3.704940009999756*^9,
3.704940231419537*^9, {3.704940708664029*^9, 3.7049407283538857`*^9},
3.704946851212509*^9, {3.704948395150319*^9, 3.704948416086624*^9},
3.704949340297007*^9, 3.7049494390351677`*^9, 3.70494959374431*^9,
3.704949758159998*^9, 3.70494981672404*^9, 3.704949873949861*^9, {
3.7049502102305403`*^9, 3.704950229481907*^9}, 3.704953839167294*^9,
3.704954072149756*^9, 3.7049541143473053`*^9, 3.7049541480542717`*^9,
3.704954273028307*^9, 3.704954492668929*^9, 3.7049546393694553`*^9,
3.7049549476263027`*^9, 3.704955116027474*^9, 3.704955318562537*^9,
3.70495543921972*^9, 3.70495548932235*^9, 3.704955588937714*^9,
3.704955967858595*^9, 3.704956046644533*^9, 3.705042353442609*^9,
3.705043977603547*^9, 3.7050442296336737`*^9, 3.70504427580651*^9,
3.7050443404019403`*^9, 3.705044838165955*^9, 3.705044916069456*^9,
3.705045164038917*^9, 3.705045352874115*^9, 3.7050455111822643`*^9,
3.7050455536560926`*^9, 3.705045661632008*^9, 3.705046227611903*^9,
3.705046365370185*^9, 3.705046833721774*^9, 3.7050477777728043`*^9,
3.705047831425062*^9, 3.7050479672182417`*^9, {3.705048669069083*^9,
3.705048681070435*^9}, 3.7050487369149523`*^9, 3.7050489018815327`*^9,
3.705049020539977*^9, 3.705055831117333*^9, 3.705055879545123*^9,
3.705056190390334*^9, 3.705056325644312*^9, {3.705056440133562*^9,
3.705056465907724*^9}, 3.705056560695212*^9, 3.705056750764864*^9, {
3.705125828832037*^9, 3.705125849045906*^9}, {3.7055101300680237`*^9,
3.705510147257675*^9}, 3.705614567392969*^9, {3.7056146183684072`*^9,
3.70561464549529*^9}, {3.705617972521853*^9, 3.7056180307941093`*^9},
3.705759587366529*^9, 3.7057598668862343`*^9, 3.705760355117454*^9,
3.705760471497671*^9, 3.705760722010803*^9, 3.705760795213711*^9,
3.705761259988858*^9, 3.705761329165917*^9, 3.705761437111134*^9,
3.7057615467626038`*^9, 3.705764250621766*^9, {3.7057642917542343`*^9,
3.705764320399474*^9}, 3.7057648676058073`*^9, {3.705772411821048*^9,
3.7057724360968018`*^9}, {3.705775789949156*^9, 3.705775832764956*^9},
3.7057760875645123`*^9, 3.705777286628708*^9, 3.708087783880077*^9, {
3.7080878416357603`*^9, 3.7080878506967916`*^9}},
ExpressionUUID -> "269a38f2-dfca-43e1-82eb-2f43b2eaa79b"],
Cell[BoxData[
InterpretationBox[
RowBox[{"\<\"Version: \"\>", "\[InvisibleSpace]", "\<\"2.3.28\"\>",
"\[InvisibleSpace]",
RowBox[{"\<\" (\"\>", " ", "\<\"21 May 2017\"\>"}],
"\[InvisibleSpace]", "\<\").\"\>"}],
SequenceForm["Version: ", "2.3.28", " (" "21 May 2017", ")."],
Editable->False]], "Print",
CellChangeTimes->{
3.7044132094195957`*^9, 3.704413264408217*^9, 3.704414541034732*^9,
3.704414650755134*^9, {3.704414691738298*^9, 3.7044147108577147`*^9},
3.704414790077848*^9, {3.704414844119544*^9, 3.7044148641188993`*^9},
3.704414944984359*^9, 3.704415012372919*^9, 3.704415052925768*^9,
3.704415108788506*^9, 3.704415564461265*^9, 3.7044156583977633`*^9, {
3.704419240350746*^9, 3.7044192759443693`*^9}, 3.7044195433744373`*^9,
3.7044196384973497`*^9, 3.70457331260196*^9, 3.70457344880124*^9,
3.7045752645709267`*^9, 3.7045755190750523`*^9, 3.704575592464501*^9, {
3.704578849856484*^9, 3.704578864020545*^9}, 3.7045789873313723`*^9,
3.704579023980057*^9, {3.704579115025671*^9, 3.704579142197197*^9},
3.704579201535778*^9, {3.704579503014247*^9, 3.704579518448435*^9},
3.7045798345677233`*^9, 3.704579918380909*^9, 3.7045799710198317`*^9,
3.7045801098981113`*^9, 3.704580434004944*^9, 3.704580584245228*^9,
3.704580699108005*^9, 3.704580879922472*^9, 3.704581694836545*^9,
3.704581971555172*^9, {3.704582019302738*^9, 3.7045820385312767`*^9}, {
3.70458271975609*^9, 3.704582736648645*^9}, 3.704582885918647*^9,
3.704583502428563*^9, 3.704583780492453*^9, {3.704588127966569*^9,
3.704588146133047*^9}, 3.704588197921611*^9, {3.704588228335585*^9,
3.7045882556263323`*^9}, 3.704588347761943*^9, 3.7045884224271917`*^9,
3.704588606625126*^9, 3.704588784836694*^9, 3.70458957625655*^9,
3.704589645651396*^9, 3.7045897366492167`*^9, 3.70459002918904*^9,
3.70459049333539*^9, {3.704590925744289*^9, 3.7045909374347754`*^9},
3.7045916781313753`*^9, {3.704591930153611*^9, 3.704591936572785*^9},
3.704592023946804*^9, 3.704592170841959*^9, 3.704592242097231*^9, {
3.704592870922179*^9, 3.704592895431686*^9}, 3.704592989493719*^9,
3.704593076885316*^9, 3.704593122332162*^9, {3.704593280634919*^9,
3.704593291342414*^9}, 3.704938775681532*^9, 3.704938883001266*^9,
3.704938949602173*^9, 3.704939105692699*^9, 3.704939746911167*^9,
3.7049397981457376`*^9, 3.704939878336171*^9, 3.704940009999756*^9,
3.704940231419537*^9, {3.704940708664029*^9, 3.7049407283538857`*^9},
3.704946851212509*^9, {3.704948395150319*^9, 3.704948416086624*^9},
3.704949340297007*^9, 3.7049494390351677`*^9, 3.70494959374431*^9,
3.704949758159998*^9, 3.70494981672404*^9, 3.704949873949861*^9, {
3.7049502102305403`*^9, 3.704950229481907*^9}, 3.704953839167294*^9,
3.704954072149756*^9, 3.7049541143473053`*^9, 3.7049541480542717`*^9,
3.704954273028307*^9, 3.704954492668929*^9, 3.7049546393694553`*^9,
3.7049549476263027`*^9, 3.704955116027474*^9, 3.704955318562537*^9,
3.70495543921972*^9, 3.70495548932235*^9, 3.704955588937714*^9,
3.704955967858595*^9, 3.704956046644533*^9, 3.705042353442609*^9,
3.705043977603547*^9, 3.7050442296336737`*^9, 3.70504427580651*^9,
3.7050443404019403`*^9, 3.705044838165955*^9, 3.705044916069456*^9,
3.705045164038917*^9, 3.705045352874115*^9, 3.7050455111822643`*^9,
3.7050455536560926`*^9, 3.705045661632008*^9, 3.705046227611903*^9,
3.705046365370185*^9, 3.705046833721774*^9, 3.7050477777728043`*^9,
3.705047831425062*^9, 3.7050479672182417`*^9, {3.705048669069083*^9,
3.705048681070435*^9}, 3.7050487369149523`*^9, 3.7050489018815327`*^9,
3.705049020539977*^9, 3.705055831117333*^9, 3.705055879545123*^9,
3.705056190390334*^9, 3.705056325644312*^9, {3.705056440133562*^9,
3.705056465907724*^9}, 3.705056560695212*^9, 3.705056750764864*^9, {
3.705125828832037*^9, 3.705125849045906*^9}, {3.7055101300680237`*^9,
3.705510147257675*^9}, 3.705614567392969*^9, {3.7056146183684072`*^9,
3.70561464549529*^9}, {3.705617972521853*^9, 3.7056180307941093`*^9},
3.705759587366529*^9, 3.7057598668862343`*^9, 3.705760355117454*^9,
3.705760471497671*^9, 3.705760722010803*^9, 3.705760795213711*^9,
3.705761259988858*^9, 3.705761329165917*^9, 3.705761437111134*^9,
3.7057615467626038`*^9, 3.705764250621766*^9, {3.7057642917542343`*^9,
3.705764320399474*^9}, 3.7057648676058073`*^9, {3.705772411821048*^9,
3.7057724360968018`*^9}, {3.705775789949156*^9, 3.705775832764956*^9},
3.7057760875645123`*^9, 3.705777286628708*^9, 3.708087783880077*^9, {
3.7080878416357603`*^9, 3.708087850706417*^9}},
ExpressionUUID -> "269a38f2-dfca-43e1-82eb-2f43b2eaa79b"],
Cell[BoxData["\<\"Authors: A. Alloul, N. Christensen, C. Degrande, C. Duhr, \
B. Fuks\"\>"], "Print",
CellChangeTimes->{
3.7044132094195957`*^9, 3.704413264408217*^9, 3.704414541034732*^9,
3.704414650755134*^9, {3.704414691738298*^9, 3.7044147108577147`*^9},
3.704414790077848*^9, {3.704414844119544*^9, 3.7044148641188993`*^9},
3.704414944984359*^9, 3.704415012372919*^9, 3.704415052925768*^9,
3.704415108788506*^9, 3.704415564461265*^9, 3.7044156583977633`*^9, {
3.704419240350746*^9, 3.7044192759443693`*^9}, 3.7044195433744373`*^9,
3.7044196384973497`*^9, 3.70457331260196*^9, 3.70457344880124*^9,
3.7045752645709267`*^9, 3.7045755190750523`*^9, 3.704575592464501*^9, {
3.704578849856484*^9, 3.704578864020545*^9}, 3.7045789873313723`*^9,
3.704579023980057*^9, {3.704579115025671*^9, 3.704579142197197*^9},
3.704579201535778*^9, {3.704579503014247*^9, 3.704579518448435*^9},
3.7045798345677233`*^9, 3.704579918380909*^9, 3.7045799710198317`*^9,
3.7045801098981113`*^9, 3.704580434004944*^9, 3.704580584245228*^9,
3.704580699108005*^9, 3.704580879922472*^9, 3.704581694836545*^9,
3.704581971555172*^9, {3.704582019302738*^9, 3.7045820385312767`*^9}, {
3.70458271975609*^9, 3.704582736648645*^9}, 3.704582885918647*^9,
3.704583502428563*^9, 3.704583780492453*^9, {3.704588127966569*^9,
3.704588146133047*^9}, 3.704588197921611*^9, {3.704588228335585*^9,
3.7045882556263323`*^9}, 3.704588347761943*^9, 3.7045884224271917`*^9,
3.704588606625126*^9, 3.704588784836694*^9, 3.70458957625655*^9,
3.704589645651396*^9, 3.7045897366492167`*^9, 3.70459002918904*^9,
3.70459049333539*^9, {3.704590925744289*^9, 3.7045909374347754`*^9},
3.7045916781313753`*^9, {3.704591930153611*^9, 3.704591936572785*^9},
3.704592023946804*^9, 3.704592170841959*^9, 3.704592242097231*^9, {
3.704592870922179*^9, 3.704592895431686*^9}, 3.704592989493719*^9,
3.704593076885316*^9, 3.704593122332162*^9, {3.704593280634919*^9,
3.704593291342414*^9}, 3.704938775681532*^9, 3.704938883001266*^9,
3.704938949602173*^9, 3.704939105692699*^9, 3.704939746911167*^9,
3.7049397981457376`*^9, 3.704939878336171*^9, 3.704940009999756*^9,
3.704940231419537*^9, {3.704940708664029*^9, 3.7049407283538857`*^9},
3.704946851212509*^9, {3.704948395150319*^9, 3.704948416086624*^9},
3.704949340297007*^9, 3.7049494390351677`*^9, 3.70494959374431*^9,
3.704949758159998*^9, 3.70494981672404*^9, 3.704949873949861*^9, {
3.7049502102305403`*^9, 3.704950229481907*^9}, 3.704953839167294*^9,
3.704954072149756*^9, 3.7049541143473053`*^9, 3.7049541480542717`*^9,
3.704954273028307*^9, 3.704954492668929*^9, 3.7049546393694553`*^9,
3.7049549476263027`*^9, 3.704955116027474*^9, 3.704955318562537*^9,
3.70495543921972*^9, 3.70495548932235*^9, 3.704955588937714*^9,
3.704955967858595*^9, 3.704956046644533*^9, 3.705042353442609*^9,
3.705043977603547*^9, 3.7050442296336737`*^9, 3.70504427580651*^9,
3.7050443404019403`*^9, 3.705044838165955*^9, 3.705044916069456*^9,
3.705045164038917*^9, 3.705045352874115*^9, 3.7050455111822643`*^9,
3.7050455536560926`*^9, 3.705045661632008*^9, 3.705046227611903*^9,
3.705046365370185*^9, 3.705046833721774*^9, 3.7050477777728043`*^9,
3.705047831425062*^9, 3.7050479672182417`*^9, {3.705048669069083*^9,
3.705048681070435*^9}, 3.7050487369149523`*^9, 3.7050489018815327`*^9,
3.705049020539977*^9, 3.705055831117333*^9, 3.705055879545123*^9,
3.705056190390334*^9, 3.705056325644312*^9, {3.705056440133562*^9,
3.705056465907724*^9}, 3.705056560695212*^9, 3.705056750764864*^9, {
3.705125828832037*^9, 3.705125849045906*^9}, {3.7055101300680237`*^9,
3.705510147257675*^9}, 3.705614567392969*^9, {3.7056146183684072`*^9,
3.70561464549529*^9}, {3.705617972521853*^9, 3.7056180307941093`*^9},
3.705759587366529*^9, 3.7057598668862343`*^9, 3.705760355117454*^9,
3.705760471497671*^9, 3.705760722010803*^9, 3.705760795213711*^9,
3.705761259988858*^9, 3.705761329165917*^9, 3.705761437111134*^9,
3.7057615467626038`*^9, 3.705764250621766*^9, {3.7057642917542343`*^9,
3.705764320399474*^9}, 3.7057648676058073`*^9, {3.705772411821048*^9,
3.7057724360968018`*^9}, {3.705775789949156*^9, 3.705775832764956*^9},
3.7057760875645123`*^9, 3.705777286628708*^9, 3.708087783880077*^9, {
3.7080878416357603`*^9, 3.7080878507191668`*^9}},
ExpressionUUID -> "269a38f2-dfca-43e1-82eb-2f43b2eaa79b"],
Cell[BoxData["\<\" \"\>"], "Print",
CellChangeTimes->{
3.7044132094195957`*^9, 3.704413264408217*^9, 3.704414541034732*^9,
3.704414650755134*^9, {3.704414691738298*^9, 3.7044147108577147`*^9},
3.704414790077848*^9, {3.704414844119544*^9, 3.7044148641188993`*^9},
3.704414944984359*^9, 3.704415012372919*^9, 3.704415052925768*^9,
3.704415108788506*^9, 3.704415564461265*^9, 3.7044156583977633`*^9, {
3.704419240350746*^9, 3.7044192759443693`*^9}, 3.7044195433744373`*^9,
3.7044196384973497`*^9, 3.70457331260196*^9, 3.70457344880124*^9,
3.7045752645709267`*^9, 3.7045755190750523`*^9, 3.704575592464501*^9, {
3.704578849856484*^9, 3.704578864020545*^9}, 3.7045789873313723`*^9,
3.704579023980057*^9, {3.704579115025671*^9, 3.704579142197197*^9},
3.704579201535778*^9, {3.704579503014247*^9, 3.704579518448435*^9},
3.7045798345677233`*^9, 3.704579918380909*^9, 3.7045799710198317`*^9,
3.7045801098981113`*^9, 3.704580434004944*^9, 3.704580584245228*^9,
3.704580699108005*^9, 3.704580879922472*^9, 3.704581694836545*^9,
3.704581971555172*^9, {3.704582019302738*^9, 3.7045820385312767`*^9}, {
3.70458271975609*^9, 3.704582736648645*^9}, 3.704582885918647*^9,
3.704583502428563*^9, 3.704583780492453*^9, {3.704588127966569*^9,
3.704588146133047*^9}, 3.704588197921611*^9, {3.704588228335585*^9,
3.7045882556263323`*^9}, 3.704588347761943*^9, 3.7045884224271917`*^9,
3.704588606625126*^9, 3.704588784836694*^9, 3.70458957625655*^9,
3.704589645651396*^9, 3.7045897366492167`*^9, 3.70459002918904*^9,
3.70459049333539*^9, {3.704590925744289*^9, 3.7045909374347754`*^9},
3.7045916781313753`*^9, {3.704591930153611*^9, 3.704591936572785*^9},
3.704592023946804*^9, 3.704592170841959*^9, 3.704592242097231*^9, {
3.704592870922179*^9, 3.704592895431686*^9}, 3.704592989493719*^9,
3.704593076885316*^9, 3.704593122332162*^9, {3.704593280634919*^9,
3.704593291342414*^9}, 3.704938775681532*^9, 3.704938883001266*^9,
3.704938949602173*^9, 3.704939105692699*^9, 3.704939746911167*^9,
3.7049397981457376`*^9, 3.704939878336171*^9, 3.704940009999756*^9,
3.704940231419537*^9, {3.704940708664029*^9, 3.7049407283538857`*^9},
3.704946851212509*^9, {3.704948395150319*^9, 3.704948416086624*^9},
3.704949340297007*^9, 3.7049494390351677`*^9, 3.70494959374431*^9,
3.704949758159998*^9, 3.70494981672404*^9, 3.704949873949861*^9, {
3.7049502102305403`*^9, 3.704950229481907*^9}, 3.704953839167294*^9,
3.704954072149756*^9, 3.7049541143473053`*^9, 3.7049541480542717`*^9,
3.704954273028307*^9, 3.704954492668929*^9, 3.7049546393694553`*^9,
3.7049549476263027`*^9, 3.704955116027474*^9, 3.704955318562537*^9,
3.70495543921972*^9, 3.70495548932235*^9, 3.704955588937714*^9,
3.704955967858595*^9, 3.704956046644533*^9, 3.705042353442609*^9,
3.705043977603547*^9, 3.7050442296336737`*^9, 3.70504427580651*^9,
3.7050443404019403`*^9, 3.705044838165955*^9, 3.705044916069456*^9,
3.705045164038917*^9, 3.705045352874115*^9, 3.7050455111822643`*^9,
3.7050455536560926`*^9, 3.705045661632008*^9, 3.705046227611903*^9,
3.705046365370185*^9, 3.705046833721774*^9, 3.7050477777728043`*^9,
3.705047831425062*^9, 3.7050479672182417`*^9, {3.705048669069083*^9,
3.705048681070435*^9}, 3.7050487369149523`*^9, 3.7050489018815327`*^9,
3.705049020539977*^9, 3.705055831117333*^9, 3.705055879545123*^9,
3.705056190390334*^9, 3.705056325644312*^9, {3.705056440133562*^9,
3.705056465907724*^9}, 3.705056560695212*^9, 3.705056750764864*^9, {
3.705125828832037*^9, 3.705125849045906*^9}, {3.7055101300680237`*^9,
3.705510147257675*^9}, 3.705614567392969*^9, {3.7056146183684072`*^9,
3.70561464549529*^9}, {3.705617972521853*^9, 3.7056180307941093`*^9},
3.705759587366529*^9, 3.7057598668862343`*^9, 3.705760355117454*^9,
3.705760471497671*^9, 3.705760722010803*^9, 3.705760795213711*^9,
3.705761259988858*^9, 3.705761329165917*^9, 3.705761437111134*^9,
3.7057615467626038`*^9, 3.705764250621766*^9, {3.7057642917542343`*^9,
3.705764320399474*^9}, 3.7057648676058073`*^9, {3.705772411821048*^9,
3.7057724360968018`*^9}, {3.705775789949156*^9, 3.705775832764956*^9},
3.7057760875645123`*^9, 3.705777286628708*^9, 3.708087783880077*^9, {
3.7080878416357603`*^9, 3.708087850731883*^9}},
ExpressionUUID -> "269a38f2-dfca-43e1-82eb-2f43b2eaa79b"],
Cell[BoxData["\<\"Please cite:\"\>"], "Print",
CellChangeTimes->{
3.7044132094195957`*^9, 3.704413264408217*^9, 3.704414541034732*^9,
3.704414650755134*^9, {3.704414691738298*^9, 3.7044147108577147`*^9},
3.704414790077848*^9, {3.704414844119544*^9, 3.7044148641188993`*^9},
3.704414944984359*^9, 3.704415012372919*^9, 3.704415052925768*^9,
3.704415108788506*^9, 3.704415564461265*^9, 3.7044156583977633`*^9, {
3.704419240350746*^9, 3.7044192759443693`*^9}, 3.7044195433744373`*^9,
3.7044196384973497`*^9, 3.70457331260196*^9, 3.70457344880124*^9,
3.7045752645709267`*^9, 3.7045755190750523`*^9, 3.704575592464501*^9, {
3.704578849856484*^9, 3.704578864020545*^9}, 3.7045789873313723`*^9,
3.704579023980057*^9, {3.704579115025671*^9, 3.704579142197197*^9},
3.704579201535778*^9, {3.704579503014247*^9, 3.704579518448435*^9},
3.7045798345677233`*^9, 3.704579918380909*^9, 3.7045799710198317`*^9,
3.7045801098981113`*^9, 3.704580434004944*^9, 3.704580584245228*^9,
3.704580699108005*^9, 3.704580879922472*^9, 3.704581694836545*^9,
3.704581971555172*^9, {3.704582019302738*^9, 3.7045820385312767`*^9}, {
3.70458271975609*^9, 3.704582736648645*^9}, 3.704582885918647*^9,
3.704583502428563*^9, 3.704583780492453*^9, {3.704588127966569*^9,
3.704588146133047*^9}, 3.704588197921611*^9, {3.704588228335585*^9,
3.7045882556263323`*^9}, 3.704588347761943*^9, 3.7045884224271917`*^9,
3.704588606625126*^9, 3.704588784836694*^9, 3.70458957625655*^9,
3.704589645651396*^9, 3.7045897366492167`*^9, 3.70459002918904*^9,
3.70459049333539*^9, {3.704590925744289*^9, 3.7045909374347754`*^9},
3.7045916781313753`*^9, {3.704591930153611*^9, 3.704591936572785*^9},
3.704592023946804*^9, 3.704592170841959*^9, 3.704592242097231*^9, {
3.704592870922179*^9, 3.704592895431686*^9}, 3.704592989493719*^9,
3.704593076885316*^9, 3.704593122332162*^9, {3.704593280634919*^9,
3.704593291342414*^9}, 3.704938775681532*^9, 3.704938883001266*^9,
3.704938949602173*^9, 3.704939105692699*^9, 3.704939746911167*^9,
3.7049397981457376`*^9, 3.704939878336171*^9, 3.704940009999756*^9,
3.704940231419537*^9, {3.704940708664029*^9, 3.7049407283538857`*^9},
3.704946851212509*^9, {3.704948395150319*^9, 3.704948416086624*^9},
3.704949340297007*^9, 3.7049494390351677`*^9, 3.70494959374431*^9,
3.704949758159998*^9, 3.70494981672404*^9, 3.704949873949861*^9, {
3.7049502102305403`*^9, 3.704950229481907*^9}, 3.704953839167294*^9,
3.704954072149756*^9, 3.7049541143473053`*^9, 3.7049541480542717`*^9,
3.704954273028307*^9, 3.704954492668929*^9, 3.7049546393694553`*^9,
3.7049549476263027`*^9, 3.704955116027474*^9, 3.704955318562537*^9,
3.70495543921972*^9, 3.70495548932235*^9, 3.704955588937714*^9,
3.704955967858595*^9, 3.704956046644533*^9, 3.705042353442609*^9,
3.705043977603547*^9, 3.7050442296336737`*^9, 3.70504427580651*^9,
3.7050443404019403`*^9, 3.705044838165955*^9, 3.705044916069456*^9,
3.705045164038917*^9, 3.705045352874115*^9, 3.7050455111822643`*^9,
3.7050455536560926`*^9, 3.705045661632008*^9, 3.705046227611903*^9,
3.705046365370185*^9, 3.705046833721774*^9, 3.7050477777728043`*^9,
3.705047831425062*^9, 3.7050479672182417`*^9, {3.705048669069083*^9,
3.705048681070435*^9}, 3.7050487369149523`*^9, 3.7050489018815327`*^9,
3.705049020539977*^9, 3.705055831117333*^9, 3.705055879545123*^9,
3.705056190390334*^9, 3.705056325644312*^9, {3.705056440133562*^9,
3.705056465907724*^9}, 3.705056560695212*^9, 3.705056750764864*^9, {
3.705125828832037*^9, 3.705125849045906*^9}, {3.7055101300680237`*^9,
3.705510147257675*^9}, 3.705614567392969*^9, {3.7056146183684072`*^9,
3.70561464549529*^9}, {3.705617972521853*^9, 3.7056180307941093`*^9},
3.705759587366529*^9, 3.7057598668862343`*^9, 3.705760355117454*^9,
3.705760471497671*^9, 3.705760722010803*^9, 3.705760795213711*^9,
3.705761259988858*^9, 3.705761329165917*^9, 3.705761437111134*^9,
3.7057615467626038`*^9, 3.705764250621766*^9, {3.7057642917542343`*^9,
3.705764320399474*^9}, 3.7057648676058073`*^9, {3.705772411821048*^9,
3.7057724360968018`*^9}, {3.705775789949156*^9, 3.705775832764956*^9},
3.7057760875645123`*^9, 3.705777286628708*^9, 3.708087783880077*^9, {
3.7080878416357603`*^9, 3.708087850744841*^9}},
ExpressionUUID -> "269a38f2-dfca-43e1-82eb-2f43b2eaa79b"],
Cell[BoxData["\<\" - Comput.Phys.Commun.185:2250-2300,2014 \
(arXiv:1310.1921);\"\>"], "Print",
CellChangeTimes->{
3.7044132094195957`*^9, 3.704413264408217*^9, 3.704414541034732*^9,
3.704414650755134*^9, {3.704414691738298*^9, 3.7044147108577147`*^9},
3.704414790077848*^9, {3.704414844119544*^9, 3.7044148641188993`*^9},
3.704414944984359*^9, 3.704415012372919*^9, 3.704415052925768*^9,
3.704415108788506*^9, 3.704415564461265*^9, 3.7044156583977633`*^9, {
3.704419240350746*^9, 3.7044192759443693`*^9}, 3.7044195433744373`*^9,
3.7044196384973497`*^9, 3.70457331260196*^9, 3.70457344880124*^9,
3.7045752645709267`*^9, 3.7045755190750523`*^9, 3.704575592464501*^9, {
3.704578849856484*^9, 3.704578864020545*^9}, 3.7045789873313723`*^9,
3.704579023980057*^9, {3.704579115025671*^9, 3.704579142197197*^9},
3.704579201535778*^9, {3.704579503014247*^9, 3.704579518448435*^9},
3.7045798345677233`*^9, 3.704579918380909*^9, 3.7045799710198317`*^9,
3.7045801098981113`*^9, 3.704580434004944*^9, 3.704580584245228*^9,
3.704580699108005*^9, 3.704580879922472*^9, 3.704581694836545*^9,
3.704581971555172*^9, {3.704582019302738*^9, 3.7045820385312767`*^9}, {
3.70458271975609*^9, 3.704582736648645*^9}, 3.704582885918647*^9,
3.704583502428563*^9, 3.704583780492453*^9, {3.704588127966569*^9,
3.704588146133047*^9}, 3.704588197921611*^9, {3.704588228335585*^9,
3.7045882556263323`*^9}, 3.704588347761943*^9, 3.7045884224271917`*^9,
3.704588606625126*^9, 3.704588784836694*^9, 3.70458957625655*^9,
3.704589645651396*^9, 3.7045897366492167`*^9, 3.70459002918904*^9,
3.70459049333539*^9, {3.704590925744289*^9, 3.7045909374347754`*^9},
3.7045916781313753`*^9, {3.704591930153611*^9, 3.704591936572785*^9},
3.704592023946804*^9, 3.704592170841959*^9, 3.704592242097231*^9, {
3.704592870922179*^9, 3.704592895431686*^9}, 3.704592989493719*^9,
3.704593076885316*^9, 3.704593122332162*^9, {3.704593280634919*^9,
3.704593291342414*^9}, 3.704938775681532*^9, 3.704938883001266*^9,
3.704938949602173*^9, 3.704939105692699*^9, 3.704939746911167*^9,
3.7049397981457376`*^9, 3.704939878336171*^9, 3.704940009999756*^9,
3.704940231419537*^9, {3.704940708664029*^9, 3.7049407283538857`*^9},
3.704946851212509*^9, {3.704948395150319*^9, 3.704948416086624*^9},
3.704949340297007*^9, 3.7049494390351677`*^9, 3.70494959374431*^9,
3.704949758159998*^9, 3.70494981672404*^9, 3.704949873949861*^9, {
3.7049502102305403`*^9, 3.704950229481907*^9}, 3.704953839167294*^9,
3.704954072149756*^9, 3.7049541143473053`*^9, 3.7049541480542717`*^9,
3.704954273028307*^9, 3.704954492668929*^9, 3.7049546393694553`*^9,
3.7049549476263027`*^9, 3.704955116027474*^9, 3.704955318562537*^9,
3.70495543921972*^9, 3.70495548932235*^9, 3.704955588937714*^9,
3.704955967858595*^9, 3.704956046644533*^9, 3.705042353442609*^9,
3.705043977603547*^9, 3.7050442296336737`*^9, 3.70504427580651*^9,
3.7050443404019403`*^9, 3.705044838165955*^9, 3.705044916069456*^9,
3.705045164038917*^9, 3.705045352874115*^9, 3.7050455111822643`*^9,
3.7050455536560926`*^9, 3.705045661632008*^9, 3.705046227611903*^9,
3.705046365370185*^9, 3.705046833721774*^9, 3.7050477777728043`*^9,
3.705047831425062*^9, 3.7050479672182417`*^9, {3.705048669069083*^9,
3.705048681070435*^9}, 3.7050487369149523`*^9, 3.7050489018815327`*^9,
3.705049020539977*^9, 3.705055831117333*^9, 3.705055879545123*^9,
3.705056190390334*^9, 3.705056325644312*^9, {3.705056440133562*^9,
3.705056465907724*^9}, 3.705056560695212*^9, 3.705056750764864*^9, {
3.705125828832037*^9, 3.705125849045906*^9}, {3.7055101300680237`*^9,
3.705510147257675*^9}, 3.705614567392969*^9, {3.7056146183684072`*^9,
3.70561464549529*^9}, {3.705617972521853*^9, 3.7056180307941093`*^9},
3.705759587366529*^9, 3.7057598668862343`*^9, 3.705760355117454*^9,
3.705760471497671*^9, 3.705760722010803*^9, 3.705760795213711*^9,
3.705761259988858*^9, 3.705761329165917*^9, 3.705761437111134*^9,
3.7057615467626038`*^9, 3.705764250621766*^9, {3.7057642917542343`*^9,
3.705764320399474*^9}, 3.7057648676058073`*^9, {3.705772411821048*^9,
3.7057724360968018`*^9}, {3.705775789949156*^9, 3.705775832764956*^9},
3.7057760875645123`*^9, 3.705777286628708*^9, 3.708087783880077*^9, {
3.7080878416357603`*^9, 3.7080878507575617`*^9}},
ExpressionUUID -> "269a38f2-dfca-43e1-82eb-2f43b2eaa79b"],
Cell[BoxData["\<\" - Comput.Phys.Commun.180:1614-1641,2009 \
(arXiv:0806.4194).\"\>"], "Print",
CellChangeTimes->{
3.7044132094195957`*^9, 3.704413264408217*^9, 3.704414541034732*^9,
3.704414650755134*^9, {3.704414691738298*^9, 3.7044147108577147`*^9},
3.704414790077848*^9, {3.704414844119544*^9, 3.7044148641188993`*^9},
3.704414944984359*^9, 3.704415012372919*^9, 3.704415052925768*^9,
3.704415108788506*^9, 3.704415564461265*^9, 3.7044156583977633`*^9, {
3.704419240350746*^9, 3.7044192759443693`*^9}, 3.7044195433744373`*^9,
3.7044196384973497`*^9, 3.70457331260196*^9, 3.70457344880124*^9,
3.7045752645709267`*^9, 3.7045755190750523`*^9, 3.704575592464501*^9, {
3.704578849856484*^9, 3.704578864020545*^9}, 3.7045789873313723`*^9,
3.704579023980057*^9, {3.704579115025671*^9, 3.704579142197197*^9},
3.704579201535778*^9, {3.704579503014247*^9, 3.704579518448435*^9},
3.7045798345677233`*^9, 3.704579918380909*^9, 3.7045799710198317`*^9,
3.7045801098981113`*^9, 3.704580434004944*^9, 3.704580584245228*^9,
3.704580699108005*^9, 3.704580879922472*^9, 3.704581694836545*^9,
3.704581971555172*^9, {3.704582019302738*^9, 3.7045820385312767`*^9}, {
3.70458271975609*^9, 3.704582736648645*^9}, 3.704582885918647*^9,
3.704583502428563*^9, 3.704583780492453*^9, {3.704588127966569*^9,
3.704588146133047*^9}, 3.704588197921611*^9, {3.704588228335585*^9,
3.7045882556263323`*^9}, 3.704588347761943*^9, 3.7045884224271917`*^9,
3.704588606625126*^9, 3.704588784836694*^9, 3.70458957625655*^9,
3.704589645651396*^9, 3.7045897366492167`*^9, 3.70459002918904*^9,
3.70459049333539*^9, {3.704590925744289*^9, 3.7045909374347754`*^9},
3.7045916781313753`*^9, {3.704591930153611*^9, 3.704591936572785*^9},
3.704592023946804*^9, 3.704592170841959*^9, 3.704592242097231*^9, {
3.704592870922179*^9, 3.704592895431686*^9}, 3.704592989493719*^9,
3.704593076885316*^9, 3.704593122332162*^9, {3.704593280634919*^9,
3.704593291342414*^9}, 3.704938775681532*^9, 3.704938883001266*^9,
3.704938949602173*^9, 3.704939105692699*^9, 3.704939746911167*^9,
3.7049397981457376`*^9, 3.704939878336171*^9, 3.704940009999756*^9,
3.704940231419537*^9, {3.704940708664029*^9, 3.7049407283538857`*^9},
3.704946851212509*^9, {3.704948395150319*^9, 3.704948416086624*^9},
3.704949340297007*^9, 3.7049494390351677`*^9, 3.70494959374431*^9,
3.704949758159998*^9, 3.70494981672404*^9, 3.704949873949861*^9, {
3.7049502102305403`*^9, 3.704950229481907*^9}, 3.704953839167294*^9,
3.704954072149756*^9, 3.7049541143473053`*^9, 3.7049541480542717`*^9,
3.704954273028307*^9, 3.704954492668929*^9, 3.7049546393694553`*^9,
3.7049549476263027`*^9, 3.704955116027474*^9, 3.704955318562537*^9,
3.70495543921972*^9, 3.70495548932235*^9, 3.704955588937714*^9,
3.704955967858595*^9, 3.704956046644533*^9, 3.705042353442609*^9,
3.705043977603547*^9, 3.7050442296336737`*^9, 3.70504427580651*^9,
3.7050443404019403`*^9, 3.705044838165955*^9, 3.705044916069456*^9,
3.705045164038917*^9, 3.705045352874115*^9, 3.7050455111822643`*^9,
3.7050455536560926`*^9, 3.705045661632008*^9, 3.705046227611903*^9,
3.705046365370185*^9, 3.705046833721774*^9, 3.7050477777728043`*^9,
3.705047831425062*^9, 3.7050479672182417`*^9, {3.705048669069083*^9,
3.705048681070435*^9}, 3.7050487369149523`*^9, 3.7050489018815327`*^9,
3.705049020539977*^9, 3.705055831117333*^9, 3.705055879545123*^9,
3.705056190390334*^9, 3.705056325644312*^9, {3.705056440133562*^9,
3.705056465907724*^9}, 3.705056560695212*^9, 3.705056750764864*^9, {
3.705125828832037*^9, 3.705125849045906*^9}, {3.7055101300680237`*^9,
3.705510147257675*^9}, 3.705614567392969*^9, {3.7056146183684072`*^9,
3.70561464549529*^9}, {3.705617972521853*^9, 3.7056180307941093`*^9},
3.705759587366529*^9, 3.7057598668862343`*^9, 3.705760355117454*^9,
3.705760471497671*^9, 3.705760722010803*^9, 3.705760795213711*^9,
3.705761259988858*^9, 3.705761329165917*^9, 3.705761437111134*^9,
3.7057615467626038`*^9, 3.705764250621766*^9, {3.7057642917542343`*^9,
3.705764320399474*^9}, 3.7057648676058073`*^9, {3.705772411821048*^9,
3.7057724360968018`*^9}, {3.705775789949156*^9, 3.705775832764956*^9},
3.7057760875645123`*^9, 3.705777286628708*^9, 3.708087783880077*^9, {
3.7080878416357603`*^9, 3.708087850770966*^9}},
ExpressionUUID -> "269a38f2-dfca-43e1-82eb-2f43b2eaa79b"],
Cell[BoxData["\<\" \"\>"], "Print",
CellChangeTimes->{
3.7044132094195957`*^9, 3.704413264408217*^9, 3.704414541034732*^9,
3.704414650755134*^9, {3.704414691738298*^9, 3.7044147108577147`*^9},
3.704414790077848*^9, {3.704414844119544*^9, 3.7044148641188993`*^9},
3.704414944984359*^9, 3.704415012372919*^9, 3.704415052925768*^9,
3.704415108788506*^9, 3.704415564461265*^9, 3.7044156583977633`*^9, {
3.704419240350746*^9, 3.7044192759443693`*^9}, 3.7044195433744373`*^9,
3.7044196384973497`*^9, 3.70457331260196*^9, 3.70457344880124*^9,
3.7045752645709267`*^9, 3.7045755190750523`*^9, 3.704575592464501*^9, {
3.704578849856484*^9, 3.704578864020545*^9}, 3.7045789873313723`*^9,
3.704579023980057*^9, {3.704579115025671*^9, 3.704579142197197*^9},
3.704579201535778*^9, {3.704579503014247*^9, 3.704579518448435*^9},
3.7045798345677233`*^9, 3.704579918380909*^9, 3.7045799710198317`*^9,
3.7045801098981113`*^9, 3.704580434004944*^9, 3.704580584245228*^9,
3.704580699108005*^9, 3.704580879922472*^9, 3.704581694836545*^9,
3.704581971555172*^9, {3.704582019302738*^9, 3.7045820385312767`*^9}, {
3.70458271975609*^9, 3.704582736648645*^9}, 3.704582885918647*^9,
3.704583502428563*^9, 3.704583780492453*^9, {3.704588127966569*^9,
3.704588146133047*^9}, 3.704588197921611*^9, {3.704588228335585*^9,
3.7045882556263323`*^9}, 3.704588347761943*^9, 3.7045884224271917`*^9,
3.704588606625126*^9, 3.704588784836694*^9, 3.70458957625655*^9,
3.704589645651396*^9, 3.7045897366492167`*^9, 3.70459002918904*^9,
3.70459049333539*^9, {3.704590925744289*^9, 3.7045909374347754`*^9},
3.7045916781313753`*^9, {3.704591930153611*^9, 3.704591936572785*^9},
3.704592023946804*^9, 3.704592170841959*^9, 3.704592242097231*^9, {
3.704592870922179*^9, 3.704592895431686*^9}, 3.704592989493719*^9,
3.704593076885316*^9, 3.704593122332162*^9, {3.704593280634919*^9,
3.704593291342414*^9}, 3.704938775681532*^9, 3.704938883001266*^9,
3.704938949602173*^9, 3.704939105692699*^9, 3.704939746911167*^9,
3.7049397981457376`*^9, 3.704939878336171*^9, 3.704940009999756*^9,
3.704940231419537*^9, {3.704940708664029*^9, 3.7049407283538857`*^9},
3.704946851212509*^9, {3.704948395150319*^9, 3.704948416086624*^9},
3.704949340297007*^9, 3.7049494390351677`*^9, 3.70494959374431*^9,
3.704949758159998*^9, 3.70494981672404*^9, 3.704949873949861*^9, {
3.7049502102305403`*^9, 3.704950229481907*^9}, 3.704953839167294*^9,
3.704954072149756*^9, 3.7049541143473053`*^9, 3.7049541480542717`*^9,
3.704954273028307*^9, 3.704954492668929*^9, 3.7049546393694553`*^9,
3.7049549476263027`*^9, 3.704955116027474*^9, 3.704955318562537*^9,
3.70495543921972*^9, 3.70495548932235*^9, 3.704955588937714*^9,
3.704955967858595*^9, 3.704956046644533*^9, 3.705042353442609*^9,
3.705043977603547*^9, 3.7050442296336737`*^9, 3.70504427580651*^9,
3.7050443404019403`*^9, 3.705044838165955*^9, 3.705044916069456*^9,
3.705045164038917*^9, 3.705045352874115*^9, 3.7050455111822643`*^9,
3.7050455536560926`*^9, 3.705045661632008*^9, 3.705046227611903*^9,
3.705046365370185*^9, 3.705046833721774*^9, 3.7050477777728043`*^9,
3.705047831425062*^9, 3.7050479672182417`*^9, {3.705048669069083*^9,
3.705048681070435*^9}, 3.7050487369149523`*^9, 3.7050489018815327`*^9,
3.705049020539977*^9, 3.705055831117333*^9, 3.705055879545123*^9,
3.705056190390334*^9, 3.705056325644312*^9, {3.705056440133562*^9,
3.705056465907724*^9}, 3.705056560695212*^9, 3.705056750764864*^9, {
3.705125828832037*^9, 3.705125849045906*^9}, {3.7055101300680237`*^9,
3.705510147257675*^9}, 3.705614567392969*^9, {3.7056146183684072`*^9,
3.70561464549529*^9}, {3.705617972521853*^9, 3.7056180307941093`*^9},
3.705759587366529*^9, 3.7057598668862343`*^9, 3.705760355117454*^9,
3.705760471497671*^9, 3.705760722010803*^9, 3.705760795213711*^9,
3.705761259988858*^9, 3.705761329165917*^9, 3.705761437111134*^9,
3.7057615467626038`*^9, 3.705764250621766*^9, {3.7057642917542343`*^9,
3.705764320399474*^9}, 3.7057648676058073`*^9, {3.705772411821048*^9,
3.7057724360968018`*^9}, {3.705775789949156*^9, 3.705775832764956*^9},
3.7057760875645123`*^9, 3.705777286628708*^9, 3.708087783880077*^9, {
3.7080878416357603`*^9, 3.708087850784258*^9}},
ExpressionUUID -> "269a38f2-dfca-43e1-82eb-2f43b2eaa79b"],
Cell[BoxData["\<\"http://feynrules.phys.ucl.ac.be\"\>"], "Print",
CellChangeTimes->{
3.7044132094195957`*^9, 3.704413264408217*^9, 3.704414541034732*^9,
3.704414650755134*^9, {3.704414691738298*^9, 3.7044147108577147`*^9},
3.704414790077848*^9, {3.704414844119544*^9, 3.7044148641188993`*^9},
3.704414944984359*^9, 3.704415012372919*^9, 3.704415052925768*^9,
3.704415108788506*^9, 3.704415564461265*^9, 3.7044156583977633`*^9, {
3.704419240350746*^9, 3.7044192759443693`*^9}, 3.7044195433744373`*^9,
3.7044196384973497`*^9, 3.70457331260196*^9, 3.70457344880124*^9,
3.7045752645709267`*^9, 3.7045755190750523`*^9, 3.704575592464501*^9, {
3.704578849856484*^9, 3.704578864020545*^9}, 3.7045789873313723`*^9,
3.704579023980057*^9, {3.704579115025671*^9, 3.704579142197197*^9},
3.704579201535778*^9, {3.704579503014247*^9, 3.704579518448435*^9},
3.7045798345677233`*^9, 3.704579918380909*^9, 3.7045799710198317`*^9,
3.7045801098981113`*^9, 3.704580434004944*^9, 3.704580584245228*^9,
3.704580699108005*^9, 3.704580879922472*^9, 3.704581694836545*^9,
3.704581971555172*^9, {3.704582019302738*^9, 3.7045820385312767`*^9}, {
3.70458271975609*^9, 3.704582736648645*^9}, 3.704582885918647*^9,
3.704583502428563*^9, 3.704583780492453*^9, {3.704588127966569*^9,
3.704588146133047*^9}, 3.704588197921611*^9, {3.704588228335585*^9,
3.7045882556263323`*^9}, 3.704588347761943*^9, 3.7045884224271917`*^9,
3.704588606625126*^9, 3.704588784836694*^9, 3.70458957625655*^9,
3.704589645651396*^9, 3.7045897366492167`*^9, 3.70459002918904*^9,
3.70459049333539*^9, {3.704590925744289*^9, 3.7045909374347754`*^9},
3.7045916781313753`*^9, {3.704591930153611*^9, 3.704591936572785*^9},
3.704592023946804*^9, 3.704592170841959*^9, 3.704592242097231*^9, {
3.704592870922179*^9, 3.704592895431686*^9}, 3.704592989493719*^9,
3.704593076885316*^9, 3.704593122332162*^9, {3.704593280634919*^9,
3.704593291342414*^9}, 3.704938775681532*^9, 3.704938883001266*^9,
3.704938949602173*^9, 3.704939105692699*^9, 3.704939746911167*^9,
3.7049397981457376`*^9, 3.704939878336171*^9, 3.704940009999756*^9,
3.704940231419537*^9, {3.704940708664029*^9, 3.7049407283538857`*^9},
3.704946851212509*^9, {3.704948395150319*^9, 3.704948416086624*^9},
3.704949340297007*^9, 3.7049494390351677`*^9, 3.70494959374431*^9,
3.704949758159998*^9, 3.70494981672404*^9, 3.704949873949861*^9, {
3.7049502102305403`*^9, 3.704950229481907*^9}, 3.704953839167294*^9,
3.704954072149756*^9, 3.7049541143473053`*^9, 3.7049541480542717`*^9,
3.704954273028307*^9, 3.704954492668929*^9, 3.7049546393694553`*^9,
3.7049549476263027`*^9, 3.704955116027474*^9, 3.704955318562537*^9,
3.70495543921972*^9, 3.70495548932235*^9, 3.704955588937714*^9,
3.704955967858595*^9, 3.704956046644533*^9, 3.705042353442609*^9,
3.705043977603547*^9, 3.7050442296336737`*^9, 3.70504427580651*^9,
3.7050443404019403`*^9, 3.705044838165955*^9, 3.705044916069456*^9,
3.705045164038917*^9, 3.705045352874115*^9, 3.7050455111822643`*^9,
3.7050455536560926`*^9, 3.705045661632008*^9, 3.705046227611903*^9,
3.705046365370185*^9, 3.705046833721774*^9, 3.7050477777728043`*^9,
3.705047831425062*^9, 3.7050479672182417`*^9, {3.705048669069083*^9,
3.705048681070435*^9}, 3.7050487369149523`*^9, 3.7050489018815327`*^9,
3.705049020539977*^9, 3.705055831117333*^9, 3.705055879545123*^9,
3.705056190390334*^9, 3.705056325644312*^9, {3.705056440133562*^9,
3.705056465907724*^9}, 3.705056560695212*^9, 3.705056750764864*^9, {
3.705125828832037*^9, 3.705125849045906*^9}, {3.7055101300680237`*^9,
3.705510147257675*^9}, 3.705614567392969*^9, {3.7056146183684072`*^9,
3.70561464549529*^9}, {3.705617972521853*^9, 3.7056180307941093`*^9},
3.705759587366529*^9, 3.7057598668862343`*^9, 3.705760355117454*^9,
3.705760471497671*^9, 3.705760722010803*^9, 3.705760795213711*^9,
3.705761259988858*^9, 3.705761329165917*^9, 3.705761437111134*^9,
3.7057615467626038`*^9, 3.705764250621766*^9, {3.7057642917542343`*^9,
3.705764320399474*^9}, 3.7057648676058073`*^9, {3.705772411821048*^9,
3.7057724360968018`*^9}, {3.705775789949156*^9, 3.705775832764956*^9},
3.7057760875645123`*^9, 3.705777286628708*^9, 3.708087783880077*^9, {
3.7080878416357603`*^9, 3.708087850797761*^9}},
ExpressionUUID -> "269a38f2-dfca-43e1-82eb-2f43b2eaa79b"],
Cell[BoxData["\<\" \"\>"], "Print",
CellChangeTimes->{
3.7044132094195957`*^9, 3.704413264408217*^9, 3.704414541034732*^9,
3.704414650755134*^9, {3.704414691738298*^9, 3.7044147108577147`*^9},
3.704414790077848*^9, {3.704414844119544*^9, 3.7044148641188993`*^9},
3.704414944984359*^9, 3.704415012372919*^9, 3.704415052925768*^9,
3.704415108788506*^9, 3.704415564461265*^9, 3.7044156583977633`*^9, {
3.704419240350746*^9, 3.7044192759443693`*^9}, 3.7044195433744373`*^9,
3.7044196384973497`*^9, 3.70457331260196*^9, 3.70457344880124*^9,
3.7045752645709267`*^9, 3.7045755190750523`*^9, 3.704575592464501*^9, {
3.704578849856484*^9, 3.704578864020545*^9}, 3.7045789873313723`*^9,
3.704579023980057*^9, {3.704579115025671*^9, 3.704579142197197*^9},
3.704579201535778*^9, {3.704579503014247*^9, 3.704579518448435*^9},
3.7045798345677233`*^9, 3.704579918380909*^9, 3.7045799710198317`*^9,
3.7045801098981113`*^9, 3.704580434004944*^9, 3.704580584245228*^9,
3.704580699108005*^9, 3.704580879922472*^9, 3.704581694836545*^9,
3.704581971555172*^9, {3.704582019302738*^9, 3.7045820385312767`*^9}, {
3.70458271975609*^9, 3.704582736648645*^9}, 3.704582885918647*^9,
3.704583502428563*^9, 3.704583780492453*^9, {3.704588127966569*^9,
3.704588146133047*^9}, 3.704588197921611*^9, {3.704588228335585*^9,
3.7045882556263323`*^9}, 3.704588347761943*^9, 3.7045884224271917`*^9,
3.704588606625126*^9, 3.704588784836694*^9, 3.70458957625655*^9,
3.704589645651396*^9, 3.7045897366492167`*^9, 3.70459002918904*^9,
3.70459049333539*^9, {3.704590925744289*^9, 3.7045909374347754`*^9},
3.7045916781313753`*^9, {3.704591930153611*^9, 3.704591936572785*^9},
3.704592023946804*^9, 3.704592170841959*^9, 3.704592242097231*^9, {
3.704592870922179*^9, 3.704592895431686*^9}, 3.704592989493719*^9,
3.704593076885316*^9, 3.704593122332162*^9, {3.704593280634919*^9,
3.704593291342414*^9}, 3.704938775681532*^9, 3.704938883001266*^9,
3.704938949602173*^9, 3.704939105692699*^9, 3.704939746911167*^9,
3.7049397981457376`*^9, 3.704939878336171*^9, 3.704940009999756*^9,
3.704940231419537*^9, {3.704940708664029*^9, 3.7049407283538857`*^9},
3.704946851212509*^9, {3.704948395150319*^9, 3.704948416086624*^9},
3.704949340297007*^9, 3.7049494390351677`*^9, 3.70494959374431*^9,
3.704949758159998*^9, 3.70494981672404*^9, 3.704949873949861*^9, {
3.7049502102305403`*^9, 3.704950229481907*^9}, 3.704953839167294*^9,
3.704954072149756*^9, 3.7049541143473053`*^9, 3.7049541480542717`*^9,
3.704954273028307*^9, 3.704954492668929*^9, 3.7049546393694553`*^9,
3.7049549476263027`*^9, 3.704955116027474*^9, 3.704955318562537*^9,
3.70495543921972*^9, 3.70495548932235*^9, 3.704955588937714*^9,
3.704955967858595*^9, 3.704956046644533*^9, 3.705042353442609*^9,
3.705043977603547*^9, 3.7050442296336737`*^9, 3.70504427580651*^9,
3.7050443404019403`*^9, 3.705044838165955*^9, 3.705044916069456*^9,
3.705045164038917*^9, 3.705045352874115*^9, 3.7050455111822643`*^9,
3.7050455536560926`*^9, 3.705045661632008*^9, 3.705046227611903*^9,
3.705046365370185*^9, 3.705046833721774*^9, 3.7050477777728043`*^9,
3.705047831425062*^9, 3.7050479672182417`*^9, {3.705048669069083*^9,
3.705048681070435*^9}, 3.7050487369149523`*^9, 3.7050489018815327`*^9,
3.705049020539977*^9, 3.705055831117333*^9, 3.705055879545123*^9,
3.705056190390334*^9, 3.705056325644312*^9, {3.705056440133562*^9,
3.705056465907724*^9}, 3.705056560695212*^9, 3.705056750764864*^9, {
3.705125828832037*^9, 3.705125849045906*^9}, {3.7055101300680237`*^9,
3.705510147257675*^9}, 3.705614567392969*^9, {3.7056146183684072`*^9,
3.70561464549529*^9}, {3.705617972521853*^9, 3.7056180307941093`*^9},
3.705759587366529*^9, 3.7057598668862343`*^9, 3.705760355117454*^9,
3.705760471497671*^9, 3.705760722010803*^9, 3.705760795213711*^9,
3.705761259988858*^9, 3.705761329165917*^9, 3.705761437111134*^9,
3.7057615467626038`*^9, 3.705764250621766*^9, {3.7057642917542343`*^9,
3.705764320399474*^9}, 3.7057648676058073`*^9, {3.705772411821048*^9,
3.7057724360968018`*^9}, {3.705775789949156*^9, 3.705775832764956*^9},
3.7057760875645123`*^9, 3.705777286628708*^9, 3.708087783880077*^9, {
3.7080878416357603`*^9, 3.708087850811083*^9}},
ExpressionUUID -> "269a38f2-dfca-43e1-82eb-2f43b2eaa79b"],
Cell[BoxData["\<\"The FeynRules palette can be opened using the command \
FRPalette[].\"\>"], "Print",
CellChangeTimes->{
3.7044132094195957`*^9, 3.704413264408217*^9, 3.704414541034732*^9,
3.704414650755134*^9, {3.704414691738298*^9, 3.7044147108577147`*^9},
3.704414790077848*^9, {3.704414844119544*^9, 3.7044148641188993`*^9},
3.704414944984359*^9, 3.704415012372919*^9, 3.704415052925768*^9,
3.704415108788506*^9, 3.704415564461265*^9, 3.7044156583977633`*^9, {
3.704419240350746*^9, 3.7044192759443693`*^9}, 3.7044195433744373`*^9,
3.7044196384973497`*^9, 3.70457331260196*^9, 3.70457344880124*^9,
3.7045752645709267`*^9, 3.7045755190750523`*^9, 3.704575592464501*^9, {
3.704578849856484*^9, 3.704578864020545*^9}, 3.7045789873313723`*^9,
3.704579023980057*^9, {3.704579115025671*^9, 3.704579142197197*^9},
3.704579201535778*^9, {3.704579503014247*^9, 3.704579518448435*^9},
3.7045798345677233`*^9, 3.704579918380909*^9, 3.7045799710198317`*^9,
3.7045801098981113`*^9, 3.704580434004944*^9, 3.704580584245228*^9,
3.704580699108005*^9, 3.704580879922472*^9, 3.704581694836545*^9,
3.704581971555172*^9, {3.704582019302738*^9, 3.7045820385312767`*^9}, {
3.70458271975609*^9, 3.704582736648645*^9}, 3.704582885918647*^9,
3.704583502428563*^9, 3.704583780492453*^9, {3.704588127966569*^9,
3.704588146133047*^9}, 3.704588197921611*^9, {3.704588228335585*^9,
3.7045882556263323`*^9}, 3.704588347761943*^9, 3.7045884224271917`*^9,
3.704588606625126*^9, 3.704588784836694*^9, 3.70458957625655*^9,
3.704589645651396*^9, 3.7045897366492167`*^9, 3.70459002918904*^9,
3.70459049333539*^9, {3.704590925744289*^9, 3.7045909374347754`*^9},
3.7045916781313753`*^9, {3.704591930153611*^9, 3.704591936572785*^9},
3.704592023946804*^9, 3.704592170841959*^9, 3.704592242097231*^9, {
3.704592870922179*^9, 3.704592895431686*^9}, 3.704592989493719*^9,
3.704593076885316*^9, 3.704593122332162*^9, {3.704593280634919*^9,
3.704593291342414*^9}, 3.704938775681532*^9, 3.704938883001266*^9,
3.704938949602173*^9, 3.704939105692699*^9, 3.704939746911167*^9,
3.7049397981457376`*^9, 3.704939878336171*^9, 3.704940009999756*^9,
3.704940231419537*^9, {3.704940708664029*^9, 3.7049407283538857`*^9},
3.704946851212509*^9, {3.704948395150319*^9, 3.704948416086624*^9},
3.704949340297007*^9, 3.7049494390351677`*^9, 3.70494959374431*^9,
3.704949758159998*^9, 3.70494981672404*^9, 3.704949873949861*^9, {
3.7049502102305403`*^9, 3.704950229481907*^9}, 3.704953839167294*^9,
3.704954072149756*^9, 3.7049541143473053`*^9, 3.7049541480542717`*^9,
3.704954273028307*^9, 3.704954492668929*^9, 3.7049546393694553`*^9,
3.7049549476263027`*^9, 3.704955116027474*^9, 3.704955318562537*^9,
3.70495543921972*^9, 3.70495548932235*^9, 3.704955588937714*^9,
3.704955967858595*^9, 3.704956046644533*^9, 3.705042353442609*^9,
3.705043977603547*^9, 3.7050442296336737`*^9, 3.70504427580651*^9,
3.7050443404019403`*^9, 3.705044838165955*^9, 3.705044916069456*^9,
3.705045164038917*^9, 3.705045352874115*^9, 3.7050455111822643`*^9,
3.7050455536560926`*^9, 3.705045661632008*^9, 3.705046227611903*^9,
3.705046365370185*^9, 3.705046833721774*^9, 3.7050477777728043`*^9,
3.705047831425062*^9, 3.7050479672182417`*^9, {3.705048669069083*^9,
3.705048681070435*^9}, 3.7050487369149523`*^9, 3.7050489018815327`*^9,
3.705049020539977*^9, 3.705055831117333*^9, 3.705055879545123*^9,
3.705056190390334*^9, 3.705056325644312*^9, {3.705056440133562*^9,
3.705056465907724*^9}, 3.705056560695212*^9, 3.705056750764864*^9, {
3.705125828832037*^9, 3.705125849045906*^9}, {3.7055101300680237`*^9,
3.705510147257675*^9}, 3.705614567392969*^9, {3.7056146183684072`*^9,
3.70561464549529*^9}, {3.705617972521853*^9, 3.7056180307941093`*^9},
3.705759587366529*^9, 3.7057598668862343`*^9, 3.705760355117454*^9,
3.705760471497671*^9, 3.705760722010803*^9, 3.705760795213711*^9,
3.705761259988858*^9, 3.705761329165917*^9, 3.705761437111134*^9,
3.7057615467626038`*^9, 3.705764250621766*^9, {3.7057642917542343`*^9,
3.705764320399474*^9}, 3.7057648676058073`*^9, {3.705772411821048*^9,
3.7057724360968018`*^9}, {3.705775789949156*^9, 3.705775832764956*^9},
3.7057760875645123`*^9, 3.705777286628708*^9, 3.708087783880077*^9, {
3.7080878416357603`*^9, 3.708087850823738*^9}},
ExpressionUUID -> "269a38f2-dfca-43e1-82eb-2f43b2eaa79b"],
Cell[BoxData["\<\"Merging model-files...\"\>"], "Print",
CellChangeTimes->{
3.7044132094195957`*^9, 3.704413264408217*^9, 3.704414541034732*^9,
3.704414650755134*^9, {3.704414691738298*^9, 3.7044147108577147`*^9},
3.704414790077848*^9, {3.704414844119544*^9, 3.7044148641188993`*^9},
3.704414944984359*^9, 3.704415012372919*^9, 3.704415052925768*^9,
3.704415108788506*^9, 3.704415564461265*^9, 3.7044156583977633`*^9, {
3.704419240350746*^9, 3.7044192759443693`*^9}, 3.7044195433744373`*^9,
3.7044196384973497`*^9, 3.70457331260196*^9, 3.70457344880124*^9,
3.7045752645709267`*^9, 3.7045755190750523`*^9, 3.704575592464501*^9, {
3.704578849856484*^9, 3.704578864020545*^9}, 3.7045789873313723`*^9,
3.704579023980057*^9, {3.704579115025671*^9, 3.704579142197197*^9},
3.704579201535778*^9, {3.704579503014247*^9, 3.704579518448435*^9},
3.7045798345677233`*^9, 3.704579918380909*^9, 3.7045799710198317`*^9,
3.7045801098981113`*^9, 3.704580434004944*^9, 3.704580584245228*^9,
3.704580699108005*^9, 3.704580879922472*^9, 3.704581694836545*^9,
3.704581971555172*^9, {3.704582019302738*^9, 3.7045820385312767`*^9}, {
3.70458271975609*^9, 3.704582736648645*^9}, 3.704582885918647*^9,
3.704583502428563*^9, 3.704583780492453*^9, {3.704588127966569*^9,
3.704588146133047*^9}, 3.704588197921611*^9, {3.704588228335585*^9,
3.7045882556263323`*^9}, 3.704588347761943*^9, 3.7045884224271917`*^9,
3.704588606625126*^9, 3.704588784836694*^9, 3.70458957625655*^9,
3.704589645651396*^9, 3.7045897366492167`*^9, 3.70459002918904*^9,
3.70459049333539*^9, {3.704590925744289*^9, 3.7045909374347754`*^9},
3.7045916781313753`*^9, {3.704591930153611*^9, 3.704591936572785*^9},
3.704592023946804*^9, 3.704592170841959*^9, 3.704592242097231*^9, {
3.704592870922179*^9, 3.704592895431686*^9}, 3.704592989493719*^9,
3.704593076885316*^9, 3.704593122332162*^9, {3.704593280634919*^9,
3.704593291342414*^9}, 3.704938775681532*^9, 3.704938883001266*^9,
3.704938949602173*^9, 3.704939105692699*^9, 3.704939746911167*^9,
3.7049397981457376`*^9, 3.704939878336171*^9, 3.704940009999756*^9,
3.704940231419537*^9, {3.704940708664029*^9, 3.7049407283538857`*^9},
3.704946851212509*^9, {3.704948395150319*^9, 3.704948416086624*^9},
3.704949340297007*^9, 3.7049494390351677`*^9, 3.70494959374431*^9,
3.704949758159998*^9, 3.70494981672404*^9, 3.704949873949861*^9, {
3.7049502102305403`*^9, 3.704950229481907*^9}, 3.704953839167294*^9,
3.704954072149756*^9, 3.7049541143473053`*^9, 3.7049541480542717`*^9,
3.704954273028307*^9, 3.704954492668929*^9, 3.7049546393694553`*^9,
3.7049549476263027`*^9, 3.704955116027474*^9, 3.704955318562537*^9,
3.70495543921972*^9, 3.70495548932235*^9, 3.704955588937714*^9,
3.704955967858595*^9, 3.704956046644533*^9, 3.705042353442609*^9,
3.705043977603547*^9, 3.7050442296336737`*^9, 3.70504427580651*^9,
3.7050443404019403`*^9, 3.705044838165955*^9, 3.705044916069456*^9,
3.705045164038917*^9, 3.705045352874115*^9, 3.7050455111822643`*^9,
3.7050455536560926`*^9, 3.705045661632008*^9, 3.705046227611903*^9,
3.705046365370185*^9, 3.705046833721774*^9, 3.7050477777728043`*^9,
3.705047831425062*^9, 3.7050479672182417`*^9, {3.705048669069083*^9,
3.705048681070435*^9}, 3.7050487369149523`*^9, 3.7050489018815327`*^9,
3.705049020539977*^9, 3.705055831117333*^9, 3.705055879545123*^9,
3.705056190390334*^9, 3.705056325644312*^9, {3.705056440133562*^9,
3.705056465907724*^9}, 3.705056560695212*^9, 3.705056750764864*^9, {
3.705125828832037*^9, 3.705125849045906*^9}, {3.7055101300680237`*^9,
3.705510147257675*^9}, 3.705614567392969*^9, {3.7056146183684072`*^9,
3.70561464549529*^9}, {3.705617972521853*^9, 3.7056180307941093`*^9},
3.705759587366529*^9, 3.7057598668862343`*^9, 3.705760355117454*^9,
3.705760471497671*^9, 3.705760722010803*^9, 3.705760795213711*^9,
3.705761259988858*^9, 3.705761329165917*^9, 3.705761437111134*^9,
3.7057615467626038`*^9, 3.705764250621766*^9, {3.7057642917542343`*^9,
3.705764320399474*^9}, 3.7057648676058073`*^9, {3.705772411821048*^9,
3.7057724360968018`*^9}, {3.705775789949156*^9, 3.705775832764956*^9},
3.7057760875645123`*^9, 3.705777286628708*^9, 3.708087783880077*^9, {
3.7080878416357603`*^9, 3.708087853943226*^9}},
ExpressionUUID -> "269a38f2-dfca-43e1-82eb-2f43b2eaa79b"],
Cell[BoxData["\<\"This model implementation was created by\"\>"], "Print",
CellChangeTimes->{
3.7044132094195957`*^9, 3.704413264408217*^9, 3.704414541034732*^9,
3.704414650755134*^9, {3.704414691738298*^9, 3.7044147108577147`*^9},
3.704414790077848*^9, {3.704414844119544*^9, 3.7044148641188993`*^9},
3.704414944984359*^9, 3.704415012372919*^9, 3.704415052925768*^9,
3.704415108788506*^9, 3.704415564461265*^9, 3.7044156583977633`*^9, {
3.704419240350746*^9, 3.7044192759443693`*^9}, 3.7044195433744373`*^9,
3.7044196384973497`*^9, 3.70457331260196*^9, 3.70457344880124*^9,
3.7045752645709267`*^9, 3.7045755190750523`*^9, 3.704575592464501*^9, {
3.704578849856484*^9, 3.704578864020545*^9}, 3.7045789873313723`*^9,
3.704579023980057*^9, {3.704579115025671*^9, 3.704579142197197*^9},
3.704579201535778*^9, {3.704579503014247*^9, 3.704579518448435*^9},
3.7045798345677233`*^9, 3.704579918380909*^9, 3.7045799710198317`*^9,
3.7045801098981113`*^9, 3.704580434004944*^9, 3.704580584245228*^9,
3.704580699108005*^9, 3.704580879922472*^9, 3.704581694836545*^9,
3.704581971555172*^9, {3.704582019302738*^9, 3.7045820385312767`*^9}, {
3.70458271975609*^9, 3.704582736648645*^9}, 3.704582885918647*^9,
3.704583502428563*^9, 3.704583780492453*^9, {3.704588127966569*^9,
3.704588146133047*^9}, 3.704588197921611*^9, {3.704588228335585*^9,
3.7045882556263323`*^9}, 3.704588347761943*^9, 3.7045884224271917`*^9,
3.704588606625126*^9, 3.704588784836694*^9, 3.70458957625655*^9,
3.704589645651396*^9, 3.7045897366492167`*^9, 3.70459002918904*^9,
3.70459049333539*^9, {3.704590925744289*^9, 3.7045909374347754`*^9},
3.7045916781313753`*^9, {3.704591930153611*^9, 3.704591936572785*^9},
3.704592023946804*^9, 3.704592170841959*^9, 3.704592242097231*^9, {
3.704592870922179*^9, 3.704592895431686*^9}, 3.704592989493719*^9,
3.704593076885316*^9, 3.704593122332162*^9, {3.704593280634919*^9,
3.704593291342414*^9}, 3.704938775681532*^9, 3.704938883001266*^9,
3.704938949602173*^9, 3.704939105692699*^9, 3.704939746911167*^9,
3.7049397981457376`*^9, 3.704939878336171*^9, 3.704940009999756*^9,
3.704940231419537*^9, {3.704940708664029*^9, 3.7049407283538857`*^9},
3.704946851212509*^9, {3.704948395150319*^9, 3.704948416086624*^9},
3.704949340297007*^9, 3.7049494390351677`*^9, 3.70494959374431*^9,
3.704949758159998*^9, 3.70494981672404*^9, 3.704949873949861*^9, {
3.7049502102305403`*^9, 3.704950229481907*^9}, 3.704953839167294*^9,
3.704954072149756*^9, 3.7049541143473053`*^9, 3.7049541480542717`*^9,
3.704954273028307*^9, 3.704954492668929*^9, 3.7049546393694553`*^9,
3.7049549476263027`*^9, 3.704955116027474*^9, 3.704955318562537*^9,
3.70495543921972*^9, 3.70495548932235*^9, 3.704955588937714*^9,
3.704955967858595*^9, 3.704956046644533*^9, 3.705042353442609*^9,
3.705043977603547*^9, 3.7050442296336737`*^9, 3.70504427580651*^9,
3.7050443404019403`*^9, 3.705044838165955*^9, 3.705044916069456*^9,
3.705045164038917*^9, 3.705045352874115*^9, 3.7050455111822643`*^9,
3.7050455536560926`*^9, 3.705045661632008*^9, 3.705046227611903*^9,
3.705046365370185*^9, 3.705046833721774*^9, 3.7050477777728043`*^9,
3.705047831425062*^9, 3.7050479672182417`*^9, {3.705048669069083*^9,
3.705048681070435*^9}, 3.7050487369149523`*^9, 3.7050489018815327`*^9,
3.705049020539977*^9, 3.705055831117333*^9, 3.705055879545123*^9,
3.705056190390334*^9, 3.705056325644312*^9, {3.705056440133562*^9,
3.705056465907724*^9}, 3.705056560695212*^9, 3.705056750764864*^9, {
3.705125828832037*^9, 3.705125849045906*^9}, {3.7055101300680237`*^9,
3.705510147257675*^9}, 3.705614567392969*^9, {3.7056146183684072`*^9,
3.70561464549529*^9}, {3.705617972521853*^9, 3.7056180307941093`*^9},
3.705759587366529*^9, 3.7057598668862343`*^9, 3.705760355117454*^9,
3.705760471497671*^9, 3.705760722010803*^9, 3.705760795213711*^9,
3.705761259988858*^9, 3.705761329165917*^9, 3.705761437111134*^9,
3.7057615467626038`*^9, 3.705764250621766*^9, {3.7057642917542343`*^9,
3.705764320399474*^9}, 3.7057648676058073`*^9, {3.705772411821048*^9,
3.7057724360968018`*^9}, {3.705775789949156*^9, 3.705775832764956*^9},
3.7057760875645123`*^9, 3.705777286628708*^9, 3.708087783880077*^9, {
3.7080878416357603`*^9, 3.708087853956778*^9}},
ExpressionUUID -> "269a38f2-dfca-43e1-82eb-2f43b2eaa79b"],
Cell[BoxData["\<\"T. Lou\"\>"], "Print",
CellChangeTimes->{
3.7044132094195957`*^9, 3.704413264408217*^9, 3.704414541034732*^9,
3.704414650755134*^9, {3.704414691738298*^9, 3.7044147108577147`*^9},
3.704414790077848*^9, {3.704414844119544*^9, 3.7044148641188993`*^9},
3.704414944984359*^9, 3.704415012372919*^9, 3.704415052925768*^9,
3.704415108788506*^9, 3.704415564461265*^9, 3.7044156583977633`*^9, {
3.704419240350746*^9, 3.7044192759443693`*^9}, 3.7044195433744373`*^9,
3.7044196384973497`*^9, 3.70457331260196*^9, 3.70457344880124*^9,
3.7045752645709267`*^9, 3.7045755190750523`*^9, 3.704575592464501*^9, {
3.704578849856484*^9, 3.704578864020545*^9}, 3.7045789873313723`*^9,
3.704579023980057*^9, {3.704579115025671*^9, 3.704579142197197*^9},
3.704579201535778*^9, {3.704579503014247*^9, 3.704579518448435*^9},
3.7045798345677233`*^9, 3.704579918380909*^9, 3.7045799710198317`*^9,
3.7045801098981113`*^9, 3.704580434004944*^9, 3.704580584245228*^9,
3.704580699108005*^9, 3.704580879922472*^9, 3.704581694836545*^9,
3.704581971555172*^9, {3.704582019302738*^9, 3.7045820385312767`*^9}, {
3.70458271975609*^9, 3.704582736648645*^9}, 3.704582885918647*^9,
3.704583502428563*^9, 3.704583780492453*^9, {3.704588127966569*^9,
3.704588146133047*^9}, 3.704588197921611*^9, {3.704588228335585*^9,
3.7045882556263323`*^9}, 3.704588347761943*^9, 3.7045884224271917`*^9,
3.704588606625126*^9, 3.704588784836694*^9, 3.70458957625655*^9,
3.704589645651396*^9, 3.7045897366492167`*^9, 3.70459002918904*^9,
3.70459049333539*^9, {3.704590925744289*^9, 3.7045909374347754`*^9},
3.7045916781313753`*^9, {3.704591930153611*^9, 3.704591936572785*^9},
3.704592023946804*^9, 3.704592170841959*^9, 3.704592242097231*^9, {
3.704592870922179*^9, 3.704592895431686*^9}, 3.704592989493719*^9,
3.704593076885316*^9, 3.704593122332162*^9, {3.704593280634919*^9,